
	Operations performed by `decada' are being recorded here
				 in the order of execution

		 ------------------------------------------ 


Supermal controllable normal fsm 1 as input file 1:
	 ../data/supconnorm_plant.data 
and fsm 2 as input file 2:
	 ../data/supconnorm_spec.data 
Output supremal controllable fsm output file:
	 ../data/supconnorm.results 


