isim/SpecialCasesCheck_isim_beh.exe.sim/tmp_save/_1

XSim Save/Restore 00.01 (        	

         !"#$%&'	<00>resolution_tableQ<	and_tableQ<00>or_tableQ<00>	xor_tableQ/	not_table	8
cvt_to_x01	Acvt_to_x01z	Jcvt_to_ux01	Sbitcount<00><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>g_tmp<00><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>t_tmp<00><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>g_tmp<00><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>t_tmp<00><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>res_tmp