my_demux.in.d.d[5].t my_demux.my_demux.demux._en2_X_t[0] my_demux.in.d.d[2].f my_demux.my_demux.demux._out1_a_BX_f[0] my_demux.my_demux.demux._out2_a_BX_t[0] my_demux.in.d.d[5].f my_demux.my_demux.demux._out1_a_B my_demux.my_demux.demux._en1_X_t[0] my_demux.my_demux.demux._out_v my_demux.in.d.d[1].f my_demux.my_demux.demux._out2_a_BX_f[0] my_demux.my_demux.demux._en1_X_f[0] my_demux.in.d.d[6].f my_demux.in.d.d[2].t my_demux.my_demux.demux.vc.OR2_tf[2]._y my_demux.my_demux.demux.out1_a_B_buf_t.buf2._y my_demux.in.d.d[0].f my_demux.my_demux.demux._c_f_buf[0] my_demux.my_demux.demux.vc.ct.in[1] my_demux.my_demux.demux._out1_a_BX_t[0] my_demux.my_demux.demux._c_t_buf[0] my_demux.out1.a my_demux.my_demux.demux.out2_a_B_buf_f.buf2._y my_demux.my_demux.demux.vc.ct.tmp[8] my_demux.in.d.d[4].f my_demux.in.d.d[4].t my_demux.my_demux.demux._in_c_v_ my_demux.my_demux.demux.out_or._y my_demux.my_demux.demux._c_v my_demux.my_demux.demux._en2_X_f[0] my_demux.my_demux.demux.vc.ct.in[6] my_demux.in.d.d[6].t my_demux.in.d.d[1].t my_demux.in.d.d[0].t my_demux.my_demux.demux._out2_a_B my_demux.in.d.d[3].f my_demux.out2.a my_demux.in.v my_demux.my_demux.demux.vc.OR2_tf[1]._y my_demux.my_demux.demux.vc.ct.C3Els[0]._y my_demux.my_demux.demux.vc.ct.C2Els[1]._y my_demux.my_demux.demux._en my_demux.in.d.d[3].t my_demux.my_demux.demux.vc.ct.tmp[9] my_demux.my_demux.demux.vc.ct.in[5] my_demux.my_demux.demux.vc.ct.in[4] my_demux.my_demux.demux.vc.ct.in[2] my_demux.out2.v my_demux.my_demux.demux.vc.ct.C3Els[1]._y my_demux.my_demux.demux.vc.ct.C2Els[0]._y my_demux.my_demux.demux.vc.OR2_tf[0]._y my_demux.my_demux.demux.vc.ct.in[3] my_demux.my_demux.demux.c_buf_f.buf2._y my_demux.my_demux.demux.vc.ct.tmp[7] my_demux.my_demux.demux.vc.OR2_tf[6]._y my_demux.my_demux.demux.vc.ct.in[0] my_demux.my_demux.demux._in_v my_demux.my_demux.demux.c_buf_t.buf2._y my_demux.out1.v my_demux.my_demux.demux.out2_a_B_buf_t.buf2._y my_demux.my_demux.demux.vc.OR2_tf[5]._y my_demux.my_demux.demux.c_el._y my_demux.my_demux.demux.out2_en_buf_t.buf2._y my_demux.my_demux.demux.in_v_buf._y my_demux.my_demux.demux.vc.OR2_tf[4]._y my_demux.my_demux.demux.c_f_c_t_or._y my_demux.my_demux.demux.out1_en_buf_f.buf2._y my_demux.my_demux.demux.out2_en_buf_f.buf2._y my_demux.my_demux.demux.out1_en_buf_t.buf2._y my_demux.my_demux.demux.out1_a_B_buf_f.buf2._y my_demux.my_demux.demux.vc.OR2_tf[3]._y 
	    119199 my_demux.in.d.d[0].f : 0
	    119199 my_demux.in.d.d[0].t : 0
	    119199 my_demux.in.d.d[1].f : 0
	    119199 my_demux.in.d.d[3].f : 0
	    119199 my_demux.in.d.d[7].f : 0
	    119199 my_demux.in.d.d[6].t : 0
	    119199 my_demux.out2.v : 0
	    119199 my_demux.out2.a : 0
	    119199 my_demux.out1.v : 0
	    119199 my_demux.in.d.d[2].t : 0
	    119199 my_demux.in.d.d[6].f : 0
	    119199 my_demux.out1.a : 0
	    119199 my_demux.in.d.d[5].t : 0
	    119199 my_demux.in.d.d[7].t : 0
	    119199 my_demux.in.d.d[2].f : 0
	    119199 my_demux.in.d.d[5].f : 0
	    119199 my_demux.in.d.d[4].t : 0
	    119199 my_demux.in.d.d[1].t : 0
	    119199 my_demux.in.d.d[4].f : 0
	    119199 my_demux.in.d.d[3].t : 0
	    119200 my_demux.my_demux.demux.c_buf_f.buf2._y : 1  [by my_demux.in.d.d[0].f:=0]
	    119200 my_demux.my_demux.demux.vc.OR2_tf[5]._y : 1  [by my_demux.in.d.d[5].f:=0]
	    119236 my_demux.my_demux.demux.c_buf_t.buf2._y : 1  [by my_demux.in.d.d[0].t:=0]
	    119239 my_demux.my_demux.demux.out_or._y : 1  [by my_demux.out1.v:=0]
	    119286 my_demux.my_demux.demux._out1_a_B : 1  [by my_demux.out1.a:=0]
	    119308 my_demux.my_demux.demux.out1_a_B_buf_t.buf2._y : 0  [by my_demux.my_demux.demux._out1_a_B:=1]
	    119311 my_demux.my_demux.demux.vc.OR2_tf[0]._y : 1  [by my_demux.in.d.d[0].t:=0]
	    119378 my_demux.my_demux.demux.vc.ct.in[5] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[5]._y:=1]
	    119403 my_demux.my_demux.demux._out_v : 0  [by my_demux.my_demux.demux.out_or._y:=1]
	    119456 my_demux.my_demux.demux.vc.OR2_tf[6]._y : 1  [by my_demux.in.d.d[6].f:=0]
	    119493 my_demux.my_demux.demux.vc.OR2_tf[2]._y : 1  [by my_demux.in.d.d[2].f:=0]
	    119536 my_demux.my_demux.demux._en : 1  [by my_demux.my_demux.demux._out_v:=0]
	    119543 my_demux.my_demux.demux.out2_en_buf_t.buf2._y : 0  [by my_demux.my_demux.demux._en:=1]
	    119566 my_demux.my_demux.demux.out1_en_buf_f.buf2._y : 0  [by my_demux.my_demux.demux._en:=1]
	    119757 my_demux.my_demux.demux.out1_en_buf_t.buf2._y : 0  [by my_demux.my_demux.demux._en:=1]
	    119790 my_demux.my_demux.demux._c_f_buf[0] : 0  [by my_demux.my_demux.demux.c_buf_f.buf2._y:=1]
	    119848 my_demux.my_demux.demux._en1_X_t[0] : 1  [by my_demux.my_demux.demux.out1_en_buf_t.buf2._y:=0]
	    119852 my_demux.my_demux.demux.vc.ct.in[2] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[2]._y:=1]
	    119938 my_demux.my_demux.demux.c_f_c_t_or._y : 1  [by my_demux.in.d.d[0].t:=0]
	    120039 my_demux.my_demux.demux._c_t_buf[0] : 0  [by my_demux.my_demux.demux.c_buf_t.buf2._y:=1]
	    120155 my_demux.my_demux.demux._out1_a_BX_f[0] : 1  [by my_demux.my_demux.demux.out1_a_B_buf_t.buf2._y:=0]
	    120408 my_demux.my_demux.demux.vc.OR2_tf[3]._y : 1  [by my_demux.in.d.d[3].t:=0]
	    120415 my_demux.my_demux.demux.vc.ct.in[3] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[3]._y:=1]
	    121005 my_demux.my_demux.demux.vc.OR2_tf[1]._y : 1  [by my_demux.in.d.d[1].t:=0]
	    121111 my_demux.my_demux.demux.vc.ct.in[1] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[1]._y:=1]
	    121206 my_demux.my_demux.demux.vc.OR2_tf[4]._y : 1  [by my_demux.in.d.d[4].f:=0]
	    121284 my_demux.my_demux.demux.vc.ct.in[4] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[4]._y:=1]
	    121481 my_demux.my_demux.demux.out1_a_B_buf_f.buf2._y : 0  [by my_demux.my_demux.demux._out1_a_B:=1]
	    121756 my_demux.my_demux.demux._out1_a_BX_t[0] : 1  [by my_demux.my_demux.demux.out1_a_B_buf_f.buf2._y:=0]
	    122127 my_demux.my_demux.demux._c_v : 0  [by my_demux.my_demux.demux.c_f_c_t_or._y:=1]
	    123202 my_demux.my_demux.demux.vc.ct.C2Els[1]._y : 1  [by my_demux.my_demux.demux.vc.ct.in[3]:=0]
	    126256 my_demux.my_demux.demux._en2_X_t[0] : 1  [by my_demux.my_demux.demux.out2_en_buf_t.buf2._y:=0]
	    133652 my_demux.my_demux.demux.out2_en_buf_f.buf2._y : 0  [by my_demux.my_demux.demux._en:=1]
	    134107 my_demux.my_demux.demux._en2_X_f[0] : 1  [by my_demux.my_demux.demux.out2_en_buf_f.buf2._y:=0]
	    135118 my_demux.my_demux.demux.vc.ct.in[6] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[6]._y:=1]
	    135130 my_demux.my_demux.demux.vc.ct.C3Els[0]._y : 1  [by my_demux.my_demux.demux.vc.ct.in[6]:=0]
	    135534 my_demux.my_demux.demux.vc.ct.tmp[9] : 0  [by my_demux.my_demux.demux.vc.ct.C3Els[0]._y:=1]
	    142198 my_demux.my_demux.demux.vc.ct.tmp[8] : 0  [by my_demux.my_demux.demux.vc.ct.C2Els[1]._y:=1]
	    149439 my_demux.my_demux.demux.vc.ct.in[0] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[0]._y:=1]
	    149451 my_demux.my_demux.demux.vc.ct.C2Els[0]._y : 1  [by my_demux.my_demux.demux.vc.ct.in[0]:=0]
	    155367 my_demux.my_demux.demux.vc.ct.tmp[7] : 0  [by my_demux.my_demux.demux.vc.ct.C2Els[0]._y:=1]
	    159643 my_demux.my_demux.demux.vc.ct.C3Els[1]._y : 1  [by my_demux.my_demux.demux.vc.ct.tmp[7]:=0]
	    162542 my_demux.my_demux.demux._in_v : 0  [by my_demux.my_demux.demux.vc.ct.C3Els[1]._y:=1]
	    162544 my_demux.my_demux.demux.c_el._y : 1  [by my_demux.my_demux.demux._in_v:=0]
	    166711 my_demux.my_demux.demux._out2_a_B : 1  [by my_demux.out2.a:=0]
	    166837 my_demux.my_demux.demux.in_v_buf._y : 1  [by my_demux.my_demux.demux._in_v:=0]
	    167003 my_demux.in.v : 0  [by my_demux.my_demux.demux.in_v_buf._y:=1]
	    167079 my_demux.my_demux.demux._in_c_v_ : 0  [by my_demux.my_demux.demux.c_el._y:=1]
	    167960 my_demux.my_demux.demux.out2_a_B_buf_t.buf2._y : 0  [by my_demux.my_demux.demux._out2_a_B:=1]
	    168035 my_demux.my_demux.demux._out2_a_BX_f[0] : 1  [by my_demux.my_demux.demux.out2_a_B_buf_t.buf2._y:=0]
	    170210 my_demux.my_demux.demux.out2_a_B_buf_f.buf2._y : 0  [by my_demux.my_demux.demux._out2_a_B:=1]
	    170555 my_demux.my_demux.demux._out2_a_BX_t[0] : 1  [by my_demux.my_demux.demux.out2_a_B_buf_f.buf2._y:=0]
	    177027 my_demux.my_demux.demux._en1_X_f[0] : 1  [by my_demux.my_demux.demux.out1_en_buf_f.buf2._y:=0]
System initialized
	    177027 Reset : 0
	    177165 my_demux._reset_B : 1  [by Reset:=0]
	    182428 my_demux.my_demux.demux.reset_buf._y : 0  [by my_demux._reset_B:=1]
	    182430 my_demux.my_demux.demux._reset_BX : 1  [by my_demux.my_demux.demux.reset_buf._y:=0]
	    226347 my_demux.my_demux.demux.reset_bufarray.buf4._y : 0  [by my_demux.my_demux.demux._reset_BX:=1]
	    226348 my_demux.my_demux.demux._reset_BXX[0] : 1  [by my_demux.my_demux.demux.reset_bufarray.buf4._y:=0]
System reset completed

Output neutral checked
	    226348 my_demux.in.d.d[0].t : 1
	    226348 my_demux.in.d.d[7].t : 1
	    226348 my_demux.in.d.d[2].t : 1
	    226348 my_demux.in.d.d[6].t : 1
	    226348 my_demux.in.d.d[5].t : 1
	    226348 my_demux.in.d.d[1].t : 1
	    226348 my_demux.in.d.d[4].t : 1
	    226348 my_demux.in.d.d[3].t : 1
	    226359 my_demux.my_demux.demux.c_f_c_t_or._y : 0  [by my_demux.in.d.d[0].t:=1]
	    226364 my_demux.my_demux.demux.vc.OR2_tf[5]._y : 0  [by my_demux.in.d.d[5].t:=1]
	    226415 my_demux.my_demux.demux.vc.OR2_tf[2]._y : 0  [by my_demux.in.d.d[2].t:=1]
	    226718 my_demux.my_demux.demux.vc.OR2_tf[0]._y : 0  [by my_demux.in.d.d[0].t:=1]
	    226720 my_demux.my_demux.demux.vc.ct.in[0] : 1  [by my_demux.my_demux.demux.vc.OR2_tf[0]._y:=0]
	    226876 my_demux.my_demux.demux.vc.OR2_tf[4]._y : 0  [by my_demux.in.d.d[4].t:=1]
	    226896 my_demux.my_demux.demux.c_buf_t.buf2._y : 0  [by my_demux.in.d.d[0].t:=1]
	    226899 my_demux.my_demux.demux._c_t_buf[0] : 1  [by my_demux.my_demux.demux.c_buf_t.buf2._y:=0]
	    226928 my_demux.my_demux.demux.out1_t_buf_func[0]._y : 0  [by my_demux.my_demux.demux._c_t_buf[0]:=1]
	    226929 my_demux.out1.d.d[0].t : 1  [by my_demux.my_demux.demux.out1_t_buf_func[0]._y:=0]
	    226943 my_demux.my_demux.demux.out1_t_buf_func[4]._y : 0  [by my_demux.my_demux.demux._c_t_buf[0]:=1]
	    227052 my_demux.my_demux.demux.out1_t_buf_func[3]._y : 0  [by my_demux.my_demux.demux._c_t_buf[0]:=1]
	    227074 my_demux.out1.d.d[3].t : 1  [by my_demux.my_demux.demux.out1_t_buf_func[3]._y:=0]
	    227160 my_demux.out1.d.d[4].t : 1  [by my_demux.my_demux.demux.out1_t_buf_func[4]._y:=0]
	    227216 my_demux.my_demux.demux.out1_t_buf_func[1]._y : 0  [by my_demux.my_demux.demux._c_t_buf[0]:=1]
	    227217 my_demux.out1.d.d[1].t : 1  [by my_demux.my_demux.demux.out1_t_buf_func[1]._y:=0]
	    228500 my_demux.my_demux.demux.out1_t_buf_func[2]._y : 0  [by my_demux.my_demux.demux._c_t_buf[0]:=1]
	    228783 my_demux.my_demux.demux.vc.OR2_tf[3]._y : 0  [by my_demux.in.d.d[3].t:=1]
	    228989 my_demux.my_demux.demux.vc.OR2_tf[6]._y : 0  [by my_demux.in.d.d[6].t:=1]
	    229148 my_demux.my_demux.demux.vc.ct.in[6] : 1  [by my_demux.my_demux.demux.vc.OR2_tf[6]._y:=0]
	    229660 my_demux.my_demux.demux.out1_t_buf_func[5]._y : 0  [by my_demux.my_demux.demux._c_t_buf[0]:=1]
	    230081 my_demux.out1.d.d[2].t : 1  [by my_demux.my_demux.demux.out1_t_buf_func[2]._y:=0]
	    230910 my_demux.my_demux.demux.vc.OR2_tf[1]._y : 0  [by my_demux.in.d.d[1].t:=1]
	    232197 my_demux.my_demux.demux.vc.ct.in[1] : 1  [by my_demux.my_demux.demux.vc.OR2_tf[1]._y:=0]
	    234429 my_demux.my_demux.demux.vc.ct.C2Els[0]._y : 0  [by my_demux.my_demux.demux.vc.ct.in[1]:=1]
	    234574 my_demux.my_demux.demux.vc.ct.tmp[7] : 1  [by my_demux.my_demux.demux.vc.ct.C2Els[0]._y:=0]
	    238128 my_demux.my_demux.demux.vc.ct.in[3] : 1  [by my_demux.my_demux.demux.vc.OR2_tf[3]._y:=0]
	    239456 my_demux.my_demux.demux.vc.ct.in[2] : 1  [by my_demux.my_demux.demux.vc.OR2_tf[2]._y:=0]
	    240582 my_demux.my_demux.demux.out1_t_buf_func[6]._y : 0  [by my_demux.my_demux.demux._c_t_buf[0]:=1]
	    242288 my_demux.my_demux.demux.vc.ct.C2Els[1]._y : 0  [by my_demux.my_demux.demux.vc.ct.in[2]:=1]
	    242289 my_demux.my_demux.demux.vc.ct.tmp[8] : 1  [by my_demux.my_demux.demux.vc.ct.C2Els[1]._y:=0]
	    246936 my_demux.out1.d.d[6].t : 1  [by my_demux.my_demux.demux.out1_t_buf_func[6]._y:=0]
	    249336 my_demux.out1.d.d[5].t : 1  [by my_demux.my_demux.demux.out1_t_buf_func[5]._y:=0]
	    250289 my_demux.my_demux.demux.vc.ct.in[5] : 1  [by my_demux.my_demux.demux.vc.OR2_tf[5]._y:=0]
	    253239 my_demux.my_demux.demux._c_v : 1  [by my_demux.my_demux.demux.c_f_c_t_or._y:=0]
	    287834 my_demux.my_demux.demux.vc.ct.in[4] : 1  [by my_demux.my_demux.demux.vc.OR2_tf[4]._y:=0]
	    327118 my_demux.my_demux.demux.vc.ct.C3Els[0]._y : 0  [by my_demux.my_demux.demux.vc.ct.in[4]:=1]
	    327280 my_demux.my_demux.demux.vc.ct.tmp[9] : 1  [by my_demux.my_demux.demux.vc.ct.C3Els[0]._y:=0]
	    334649 my_demux.my_demux.demux.vc.ct.C3Els[1]._y : 0  [by my_demux.my_demux.demux.vc.ct.tmp[9]:=1]
	    334663 my_demux.my_demux.demux._in_v : 1  [by my_demux.my_demux.demux.vc.ct.C3Els[1]._y:=0]
	    334670 my_demux.my_demux.demux.in_v_buf._y : 0  [by my_demux.my_demux.demux._in_v:=1]
	    334823 my_demux.my_demux.demux.c_el._y : 0  [by my_demux.my_demux.demux._in_v:=1]
	    334824 my_demux.my_demux.demux._in_c_v_ : 1  [by my_demux.my_demux.demux.c_el._y:=0]
	    356227 my_demux.in.v : 1  [by my_demux.my_demux.demux.in_v_buf._y:=0]
	    356227 my_demux.out1.v : 1
	    356228 my_demux.my_demux.demux.out_or._y : 0  [by my_demux.out1.v:=1]
	    356229 my_demux.my_demux.demux._out_v : 1  [by my_demux.my_demux.demux.out_or._y:=0]
	    358472 my_demux.my_demux.demux.inack_ctl._y : 0  [by my_demux.my_demux.demux._out_v:=1]
	    358659 my_demux.in.a : 1  [by my_demux.my_demux.demux.inack_ctl._y:=0]
	    358660 my_demux.my_demux.demux._en : 0  [by my_demux.in.a:=1]
	    358661 my_demux.my_demux.demux.out2_en_buf_t.buf2._y : 1  [by my_demux.my_demux.demux._en:=0]
	    358666 my_demux.my_demux.demux._en2_X_t[0] : 0  [by my_demux.my_demux.demux.out2_en_buf_t.buf2._y:=1]
	    359513 my_demux.my_demux.demux.out1_en_buf_f.buf2._y : 1  [by my_demux.my_demux.demux._en:=0]
	    360404 my_demux.my_demux.demux._en1_X_f[0] : 0  [by my_demux.my_demux.demux.out1_en_buf_f.buf2._y:=1]
	    362842 my_demux.my_demux.demux.out2_en_buf_f.buf2._y : 1  [by my_demux.my_demux.demux._en:=0]
	    362843 my_demux.my_demux.demux._en2_X_f[0] : 0  [by my_demux.my_demux.demux.out2_en_buf_f.buf2._y:=1]
	    393442 my_demux.my_demux.demux.out1_en_buf_t.buf2._y : 1  [by my_demux.my_demux.demux._en:=0]
	    393459 my_demux.my_demux.demux._en1_X_t[0] : 0  [by my_demux.my_demux.demux.out1_en_buf_t.buf2._y:=1]
	    393459 my_demux.in.d.d[0].t : 0
	    393459 my_demux.in.d.d[7].t : 0
	    393459 my_demux.in.d.d[2].t : 0
	    393459 my_demux.in.d.d[6].t : 0
	    393459 my_demux.in.d.d[5].t : 0
	    393459 my_demux.in.d.d[1].t : 0
	    393459 my_demux.in.d.d[4].t : 0
	    393459 my_demux.in.d.d[3].t : 0
	    393460 my_demux.my_demux.demux.vc.OR2_tf[5]._y : 1  [by my_demux.in.d.d[5].t:=0]
	    393462 my_demux.my_demux.demux.vc.OR2_tf[0]._y : 1  [by my_demux.in.d.d[0].t:=0]
	    393501 my_demux.my_demux.demux.vc.OR2_tf[1]._y : 1  [by my_demux.in.d.d[1].t:=0]
	    393509 my_demux.my_demux.demux.vc.ct.in[1] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[1]._y:=1]
	    393555 my_demux.my_demux.demux.vc.ct.in[5] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[5]._y:=1]
	    393797 my_demux.my_demux.demux.vc.ct.in[0] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[0]._y:=1]
	    393831 my_demux.my_demux.demux.vc.ct.C2Els[0]._y : 1  [by my_demux.my_demux.demux.vc.ct.in[0]:=0]
	    394400 my_demux.my_demux.demux.vc.OR2_tf[2]._y : 1  [by my_demux.in.d.d[2].t:=0]
	    395318 my_demux.my_demux.demux.vc.ct.in[2] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[2]._y:=1]
	    396032 my_demux.my_demux.demux.c_buf_t.buf2._y : 1  [by my_demux.in.d.d[0].t:=0]
	    396036 my_demux.my_demux.demux._c_t_buf[0] : 0  [by my_demux.my_demux.demux.c_buf_t.buf2._y:=1]
	    396276 my_demux.my_demux.demux.vc.OR2_tf[4]._y : 1  [by my_demux.in.d.d[4].t:=0]
	    401820 my_demux.my_demux.demux.c_f_c_t_or._y : 1  [by my_demux.in.d.d[0].t:=0]
	    404218 my_demux.my_demux.demux._c_v : 0  [by my_demux.my_demux.demux.c_f_c_t_or._y:=1]
	    407192 my_demux.my_demux.demux.vc.OR2_tf[3]._y : 1  [by my_demux.in.d.d[3].t:=0]
	    407718 my_demux.my_demux.demux.vc.ct.tmp[7] : 0  [by my_demux.my_demux.demux.vc.ct.C2Els[0]._y:=1]
	    410407 my_demux.my_demux.demux.vc.ct.in[3] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[3]._y:=1]
	    442654 my_demux.my_demux.demux.vc.ct.in[4] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[4]._y:=1]
	    452421 my_demux.my_demux.demux.vc.OR2_tf[6]._y : 1  [by my_demux.in.d.d[6].t:=0]
	    452469 my_demux.my_demux.demux.vc.ct.in[6] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[6]._y:=1]
	    452472 my_demux.my_demux.demux.vc.ct.C3Els[0]._y : 1  [by my_demux.my_demux.demux.vc.ct.in[6]:=0]
	    452650 my_demux.my_demux.demux.vc.ct.tmp[9] : 0  [by my_demux.my_demux.demux.vc.ct.C3Els[0]._y:=1]
	    457526 my_demux.my_demux.demux.vc.ct.C2Els[1]._y : 1  [by my_demux.my_demux.demux.vc.ct.in[3]:=0]
	    478503 my_demux.my_demux.demux.vc.ct.tmp[8] : 0  [by my_demux.my_demux.demux.vc.ct.C2Els[1]._y:=1]
	    490402 my_demux.my_demux.demux.vc.ct.C3Els[1]._y : 1  [by my_demux.my_demux.demux.vc.ct.tmp[8]:=0]
	    496353 my_demux.my_demux.demux._in_v : 0  [by my_demux.my_demux.demux.vc.ct.C3Els[1]._y:=1]
	    497180 my_demux.my_demux.demux.c_el._y : 1  [by my_demux.my_demux.demux._in_v:=0]
	    497353 my_demux.my_demux.demux._in_c_v_ : 0  [by my_demux.my_demux.demux.c_el._y:=1]
	    535838 my_demux.my_demux.demux.in_v_buf._y : 1  [by my_demux.my_demux.demux._in_v:=0]
	    536022 my_demux.in.v : 0  [by my_demux.my_demux.demux.in_v_buf._y:=1]
First Cond Checked
	    536022 my_demux.out1.a : 1
	    536023 my_demux.my_demux.demux._out1_a_B : 0  [by my_demux.out1.a:=1]
	    536027 my_demux.my_demux.demux.out1_a_B_buf_t.buf2._y : 1  [by my_demux.my_demux.demux._out1_a_B:=0]
	    536096 my_demux.my_demux.demux.out1_a_B_buf_f.buf2._y : 1  [by my_demux.my_demux.demux._out1_a_B:=0]
	    536192 my_demux.my_demux.demux._out1_a_BX_t[0] : 0  [by my_demux.my_demux.demux.out1_a_B_buf_f.buf2._y:=1]
	    536193 my_demux.my_demux.demux.out1_t_buf_func[1]._y : 1  [by my_demux.my_demux.demux._out1_a_BX_t[0]:=0]
	    536204 my_demux.my_demux.demux.out1_t_buf_func[5]._y : 1  [by my_demux.my_demux.demux._out1_a_BX_t[0]:=0]
	    536205 my_demux.out1.d.d[5].t : 0  [by my_demux.my_demux.demux.out1_t_buf_func[5]._y:=1]
	    536328 my_demux.my_demux.demux.out1_t_buf_func[0]._y : 1  [by my_demux.my_demux.demux._out1_a_BX_t[0]:=0]
	    536384 my_demux.out1.d.d[0].t : 0  [by my_demux.my_demux.demux.out1_t_buf_func[0]._y:=1]
	    536433 my_demux.my_demux.demux.out1_t_buf_func[3]._y : 1  [by my_demux.my_demux.demux._out1_a_BX_t[0]:=0]
	    537222 my_demux.out1.d.d[1].t : 0  [by my_demux.my_demux.demux.out1_t_buf_func[1]._y:=1]
	    540092 my_demux.my_demux.demux.out1_t_buf_func[6]._y : 1  [by my_demux.my_demux.demux._out1_a_BX_t[0]:=0]
	    540093 my_demux.out1.d.d[6].t : 0  [by my_demux.my_demux.demux.out1_t_buf_func[6]._y:=1]
	    540151 my_demux.my_demux.demux.out1_t_buf_func[4]._y : 1  [by my_demux.my_demux.demux._out1_a_BX_t[0]:=0]
	    540188 my_demux.out1.d.d[4].t : 0  [by my_demux.my_demux.demux.out1_t_buf_func[4]._y:=1]
	    555238 my_demux.my_demux.demux.out1_t_buf_func[2]._y : 1  [by my_demux.my_demux.demux._out1_a_BX_t[0]:=0]
	    573315 my_demux.my_demux.demux._out1_a_BX_f[0] : 0  [by my_demux.my_demux.demux.out1_a_B_buf_t.buf2._y:=1]
	    578613 my_demux.out1.d.d[2].t : 0  [by my_demux.my_demux.demux.out1_t_buf_func[2]._y:=1]
	    581439 my_demux.out1.d.d[3].t : 0  [by my_demux.my_demux.demux.out1_t_buf_func[3]._y:=1]
System reset completed

Output neutral checked
	    581439 my_demux.out1.a : 0
	    581439 my_demux.out1.v : 0
	    581440 my_demux.my_demux.demux._out1_a_B : 1  [by my_demux.out1.a:=0]
	    581453 my_demux.my_demux.demux.out1_a_B_buf_t.buf2._y : 0  [by my_demux.my_demux.demux._out1_a_B:=1]
	    583132 my_demux.my_demux.demux.out1_a_B_buf_f.buf2._y : 0  [by my_demux.my_demux.demux._out1_a_B:=1]
	    583489 my_demux.my_demux.demux._out1_a_BX_t[0] : 1  [by my_demux.my_demux.demux.out1_a_B_buf_f.buf2._y:=0]
	    585003 my_demux.my_demux.demux.out_or._y : 1  [by my_demux.out1.v:=0]
	    585028 my_demux.my_demux.demux._out_v : 0  [by my_demux.my_demux.demux.out_or._y:=1]
	    585049 my_demux.my_demux.demux.inack_ctl._y : 1  [by my_demux.my_demux.demux._out_v:=0]
	    585050 my_demux.in.a : 0  [by my_demux.my_demux.demux.inack_ctl._y:=1]
	    594698 my_demux.my_demux.demux._en : 1  [by my_demux.in.a:=0]
	    594699 my_demux.my_demux.demux.out2_en_buf_f.buf2._y : 0  [by my_demux.my_demux.demux._en:=1]
	    594699 my_demux.my_demux.demux.out1_en_buf_t.buf2._y : 0  [by my_demux.my_demux.demux._en:=1]
	    594704 my_demux.my_demux.demux._en2_X_f[0] : 1  [by my_demux.my_demux.demux.out2_en_buf_f.buf2._y:=0]
	    594859 my_demux.my_demux.demux.out2_en_buf_t.buf2._y : 0  [by my_demux.my_demux.demux._en:=1]
	    595267 my_demux.my_demux.demux._en2_X_t[0] : 1  [by my_demux.my_demux.demux.out2_en_buf_t.buf2._y:=0]
	    595280 my_demux.my_demux.demux._en1_X_t[0] : 1  [by my_demux.my_demux.demux.out1_en_buf_t.buf2._y:=0]
	    595735 my_demux.my_demux.demux.out1_en_buf_f.buf2._y : 0  [by my_demux.my_demux.demux._en:=1]
	    595746 my_demux.my_demux.demux._en1_X_f[0] : 1  [by my_demux.my_demux.demux.out1_en_buf_f.buf2._y:=0]
	    598437 my_demux.my_demux.demux._out1_a_BX_f[0] : 1  [by my_demux.my_demux.demux.out1_a_B_buf_t.buf2._y:=0]
	    598437 my_demux.in.d.d[0].f : 1
	    598437 my_demux.in.d.d[7].f : 1
	    598437 my_demux.in.d.d[2].t : 1
	    598437 my_demux.in.d.d[6].t : 1
	    598437 my_demux.in.d.d[5].t : 1
	    598437 my_demux.in.d.d[1].f : 1
	    598437 my_demux.in.d.d[4].f : 1
	    598437 my_demux.in.d.d[3].f : 1
	    598441 my_demux.my_demux.demux.vc.OR2_tf[2]._y : 0  [by my_demux.in.d.d[2].t:=1]
	    598451 my_demux.my_demux.demux.c_buf_f.buf2._y : 0  [by my_demux.in.d.d[0].f:=1]
	    598455 my_demux.my_demux.demux.vc.OR2_tf[0]._y : 0  [by my_demux.in.d.d[0].f:=1]
	    598525 my_demux.my_demux.demux.vc.ct.in[0] : 1  [by my_demux.my_demux.demux.vc.OR2_tf[0]._y:=0]
	    598541 my_demux.my_demux.demux.vc.OR2_tf[6]._y : 0  [by my_demux.in.d.d[6].t:=1]
	    598665 my_demux.my_demux.demux.vc.OR2_tf[3]._y : 0  [by my_demux.in.d.d[3].f:=1]
	    598676 my_demux.my_demux.demux.vc.ct.in[3] : 1  [by my_demux.my_demux.demux.vc.OR2_tf[3]._y:=0]
	    599284 my_demux.my_demux.demux.vc.ct.in[2] : 1  [by my_demux.my_demux.demux.vc.OR2_tf[2]._y:=0]
	    599287 my_demux.my_demux.demux.vc.ct.C2Els[1]._y : 0  [by my_demux.my_demux.demux.vc.ct.in[2]:=1]
	    599341 my_demux.my_demux.demux.vc.ct.tmp[8] : 1  [by my_demux.my_demux.demux.vc.ct.C2Els[1]._y:=0]
	    599484 my_demux.my_demux.demux.c_f_c_t_or._y : 0  [by my_demux.in.d.d[0].f:=1]
	    599641 my_demux.my_demux.demux.vc.OR2_tf[1]._y : 0  [by my_demux.in.d.d[1].f:=1]
	    599910 my_demux.my_demux.demux._c_f_buf[0] : 1  [by my_demux.my_demux.demux.c_buf_f.buf2._y:=0]
	    599991 my_demux.my_demux.demux.out2_t_buf_func[5]._y : 0  [by my_demux.my_demux.demux._c_f_buf[0]:=1]
	    600002 my_demux.my_demux.demux.out2_f_buf_func[1]._y : 0  [by my_demux.my_demux.demux._c_f_buf[0]:=1]
	    600604 my_demux.out2.d.d[5].t : 1  [by my_demux.my_demux.demux.out2_t_buf_func[5]._y:=0]
	    600632 my_demux.my_demux.demux._c_v : 1  [by my_demux.my_demux.demux.c_f_c_t_or._y:=0]
	    600802 my_demux.my_demux.demux.vc.ct.in[1] : 1  [by my_demux.my_demux.demux.vc.OR2_tf[1]._y:=0]
	    600847 my_demux.my_demux.demux.vc.ct.C2Els[0]._y : 0  [by my_demux.my_demux.demux.vc.ct.in[1]:=1]
	    601654 my_demux.my_demux.demux.out2_f_buf_func[4]._y : 0  [by my_demux.my_demux.demux._c_f_buf[0]:=1]
	    601844 my_demux.my_demux.demux.vc.ct.tmp[7] : 1  [by my_demux.my_demux.demux.vc.ct.C2Els[0]._y:=0]
	    603303 my_demux.out2.d.d[4].f : 1  [by my_demux.my_demux.demux.out2_f_buf_func[4]._y:=0]
	    606892 my_demux.my_demux.demux.vc.OR2_tf[4]._y : 0  [by my_demux.in.d.d[4].f:=1]
	    607417 my_demux.my_demux.demux.vc.ct.in[4] : 1  [by my_demux.my_demux.demux.vc.OR2_tf[4]._y:=0]
	    608221 my_demux.my_demux.demux.out2_f_buf_func[3]._y : 0  [by my_demux.my_demux.demux._c_f_buf[0]:=1]
	    608562 my_demux.my_demux.demux.out2_t_buf_func[2]._y : 0  [by my_demux.my_demux.demux._c_f_buf[0]:=1]
	    608614 my_demux.out2.d.d[2].t : 1  [by my_demux.my_demux.demux.out2_t_buf_func[2]._y:=0]
	    609121 my_demux.out2.d.d[3].f : 1  [by my_demux.my_demux.demux.out2_f_buf_func[3]._y:=0]
	    610987 my_demux.my_demux.demux.out2_t_buf_func[6]._y : 0  [by my_demux.my_demux.demux._c_f_buf[0]:=1]
	    610994 my_demux.out2.d.d[6].t : 1  [by my_demux.my_demux.demux.out2_t_buf_func[6]._y:=0]
	    614024 my_demux.out2.d.d[1].f : 1  [by my_demux.my_demux.demux.out2_f_buf_func[1]._y:=0]
	    617893 my_demux.my_demux.demux.out2_f_buf_func[0]._y : 0  [by my_demux.my_demux.demux._c_f_buf[0]:=1]
	    629881 my_demux.my_demux.demux.vc.OR2_tf[5]._y : 0  [by my_demux.in.d.d[5].t:=1]
	    633505 my_demux.out2.d.d[0].f : 1  [by my_demux.my_demux.demux.out2_f_buf_func[0]._y:=0]
	    636348 my_demux.my_demux.demux.vc.ct.in[5] : 1  [by my_demux.my_demux.demux.vc.OR2_tf[5]._y:=0]
	    648963 my_demux.my_demux.demux.vc.ct.in[6] : 1  [by my_demux.my_demux.demux.vc.OR2_tf[6]._y:=0]
	    648965 my_demux.my_demux.demux.vc.ct.C3Els[0]._y : 0  [by my_demux.my_demux.demux.vc.ct.in[6]:=1]
	    649319 my_demux.my_demux.demux.vc.ct.tmp[9] : 1  [by my_demux.my_demux.demux.vc.ct.C3Els[0]._y:=0]
	    649452 my_demux.my_demux.demux.vc.ct.C3Els[1]._y : 0  [by my_demux.my_demux.demux.vc.ct.tmp[9]:=1]
	    649453 my_demux.my_demux.demux._in_v : 1  [by my_demux.my_demux.demux.vc.ct.C3Els[1]._y:=0]
	    649457 my_demux.my_demux.demux.in_v_buf._y : 0  [by my_demux.my_demux.demux._in_v:=1]
	    649999 my_demux.my_demux.demux.c_el._y : 0  [by my_demux.my_demux.demux._in_v:=1]
	    650000 my_demux.my_demux.demux._in_c_v_ : 1  [by my_demux.my_demux.demux.c_el._y:=0]
	    695020 my_demux.in.v : 1  [by my_demux.my_demux.demux.in_v_buf._y:=0]
	    695020 my_demux.out2.v : 1
	    707398 my_demux.my_demux.demux.out_or._y : 0  [by my_demux.out2.v:=1]
	    707477 my_demux.my_demux.demux._out_v : 1  [by my_demux.my_demux.demux.out_or._y:=0]
	    709910 my_demux.my_demux.demux.inack_ctl._y : 0  [by my_demux.my_demux.demux._out_v:=1]
	    709998 my_demux.in.a : 1  [by my_demux.my_demux.demux.inack_ctl._y:=0]
	    717780 my_demux.my_demux.demux._en : 0  [by my_demux.in.a:=1]
	    717810 my_demux.my_demux.demux.out2_en_buf_t.buf2._y : 1  [by my_demux.my_demux.demux._en:=0]
	    717839 my_demux.my_demux.demux.out1_en_buf_t.buf2._y : 1  [by my_demux.my_demux.demux._en:=0]
	    719247 my_demux.my_demux.demux.out1_en_buf_f.buf2._y : 1  [by my_demux.my_demux.demux._en:=0]
	    719932 my_demux.my_demux.demux._en1_X_f[0] : 0  [by my_demux.my_demux.demux.out1_en_buf_f.buf2._y:=1]
	    737223 my_demux.my_demux.demux._en1_X_t[0] : 0  [by my_demux.my_demux.demux.out1_en_buf_t.buf2._y:=1]
	    746107 my_demux.my_demux.demux.out2_en_buf_f.buf2._y : 1  [by my_demux.my_demux.demux._en:=0]
	    762822 my_demux.my_demux.demux._en2_X_f[0] : 0  [by my_demux.my_demux.demux.out2_en_buf_f.buf2._y:=1]
	    777314 my_demux.my_demux.demux._en2_X_t[0] : 0  [by my_demux.my_demux.demux.out2_en_buf_t.buf2._y:=1]
	    777314 my_demux.in.d.d[0].f : 0
	    777314 my_demux.in.d.d[6].t : 0
	    777314 my_demux.in.d.d[2].t : 0
	    777314 my_demux.in.d.d[5].t : 0
	    777314 my_demux.in.d.d[1].f : 0
	    777314 my_demux.in.d.d[4].f : 0
	    777314 my_demux.in.d.d[3].f : 0
	    777315 my_demux.my_demux.demux.vc.OR2_tf[3]._y : 1  [by my_demux.in.d.d[3].f:=0]
	    777317 my_demux.my_demux.demux.vc.OR2_tf[1]._y : 1  [by my_demux.in.d.d[1].f:=0]
	    777326 my_demux.my_demux.demux.vc.OR2_tf[6]._y : 1  [by my_demux.in.d.d[6].t:=0]
	    777352 my_demux.my_demux.demux.vc.OR2_tf[4]._y : 1  [by my_demux.in.d.d[4].f:=0]
	    777354 my_demux.my_demux.demux.vc.ct.in[4] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[4]._y:=1]
	    777357 my_demux.my_demux.demux.vc.OR2_tf[0]._y : 1  [by my_demux.in.d.d[0].f:=0]
	    777358 my_demux.my_demux.demux.vc.ct.in[0] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[0]._y:=1]
	    777409 my_demux.my_demux.demux.vc.ct.in[1] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[1]._y:=1]
	    777441 my_demux.my_demux.demux.c_f_c_t_or._y : 1  [by my_demux.in.d.d[0].f:=0]
	    777443 my_demux.my_demux.demux._c_v : 0  [by my_demux.my_demux.demux.c_f_c_t_or._y:=1]
	    777483 my_demux.my_demux.demux.c_buf_f.buf2._y : 1  [by my_demux.in.d.d[0].f:=0]
	    777501 my_demux.my_demux.demux._c_f_buf[0] : 0  [by my_demux.my_demux.demux.c_buf_f.buf2._y:=1]
	    777547 my_demux.my_demux.demux.vc.OR2_tf[5]._y : 1  [by my_demux.in.d.d[5].t:=0]
	    777666 my_demux.my_demux.demux.vc.ct.in[5] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[5]._y:=1]
	    778593 my_demux.my_demux.demux.vc.OR2_tf[2]._y : 1  [by my_demux.in.d.d[2].t:=0]
	    778910 my_demux.my_demux.demux.vc.ct.C2Els[0]._y : 1  [by my_demux.my_demux.demux.vc.ct.in[1]:=0]
	    778918 my_demux.my_demux.demux.vc.ct.tmp[7] : 0  [by my_demux.my_demux.demux.vc.ct.C2Els[0]._y:=1]
	    780053 my_demux.my_demux.demux.vc.ct.in[6] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[6]._y:=1]
	    780107 my_demux.my_demux.demux.vc.ct.C3Els[0]._y : 1  [by my_demux.my_demux.demux.vc.ct.in[6]:=0]
	    784313 my_demux.my_demux.demux.vc.ct.in[2] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[2]._y:=1]
	    790067 my_demux.my_demux.demux.vc.ct.in[3] : 0  [by my_demux.my_demux.demux.vc.OR2_tf[3]._y:=1]
	    790072 my_demux.my_demux.demux.vc.ct.C2Els[1]._y : 1  [by my_demux.my_demux.demux.vc.ct.in[3]:=0]
	    791139 my_demux.my_demux.demux.vc.ct.tmp[8] : 0  [by my_demux.my_demux.demux.vc.ct.C2Els[1]._y:=1]
	    830645 my_demux.my_demux.demux.vc.ct.tmp[9] : 0  [by my_demux.my_demux.demux.vc.ct.C3Els[0]._y:=1]
	    830646 my_demux.my_demux.demux.vc.ct.C3Els[1]._y : 1  [by my_demux.my_demux.demux.vc.ct.tmp[9]:=0]
	    830784 my_demux.my_demux.demux._in_v : 0  [by my_demux.my_demux.demux.vc.ct.C3Els[1]._y:=1]
	    830785 my_demux.my_demux.demux.in_v_buf._y : 1  [by my_demux.my_demux.demux._in_v:=0]
	    830848 my_demux.my_demux.demux.c_el._y : 1  [by my_demux.my_demux.demux._in_v:=0]
	    830850 my_demux.my_demux.demux._in_c_v_ : 0  [by my_demux.my_demux.demux.c_el._y:=1]
	    830908 my_demux.in.v : 0  [by my_demux.my_demux.demux.in_v_buf._y:=1]
Second Cond Checked
