my_demux.my_demux.vc.ct.in[0] my_demux.my_demux.out1_f_buf_func[1].n1 my_demux.my_demux.out1_t_buf_func[1].n1 my_demux.my_demux._out1_a_BX_f[0] my_demux.my_demux.out1_en_buf_t.buf1._y my_demux.my_demux.token_a_out my_demux.my_demux._out_v my_demux.my_demux._in_v my_demux.my_demux._c_d_buf[0] my_demux.my_demux._en my_demux.my_demux.cond_inv_f my_demux.my_demux._out1_a_B my_demux.my_demux.invout_f.a my_demux.my_demux._out1_a_BX_t[0] my_demux.in.v my_demux.my_demux._c_v my_demux.my_demux.invout_t.a my_demux.my_demux.out1_f_buf_func[0].n1 my_demux.out1.v my_demux.my_demux.out1_t_buf_func[0].n1 my_demux.my_demux.cond_inv_t my_demux.out1.a my_demux.my_demux.vc.ct.in[1] my_demux.my_demux._en1_X_f[0] my_demux.my_demux.out_or._y my_demux.my_demux._en1_X_t[0] my_demux.my_demux.vc.OR2_tf[0]._y my_demux.my_demux.in_v_buf._y my_demux.token.a my_demux.my_demux.vc.OR2_tf[1]._y my_demux.my_demux._in_c_v_ my_demux.my_demux.c_buf_tk_inv._y my_demux.my_demux.c_f_c_t_or._y my_demux.my_demux.out1_en_buf_f.buf1._y my_demux.my_demux.vc.ct.C2Els[0]._y my_demux.my_demux.c_buf_d_inv.buf1._y my_demux.my_demux._c_tk_buf my_demux.my_demux.out1_a_B_buf_f.buf1._y my_demux.my_demux.c_el._y my_demux.my_demux.out1_a_B_buf_t.buf1._y 
	     83058 my_demux.my_demux.out1_f_buf_func[0].n1 : 0
	     83058 my_demux.my_demux.invout_f.a : 0
	     83058 my_demux.my_demux.invout_t.a : 0
	     83058 my_demux.my_demux.out1_f_buf_func[1].n1 : 0
	     83058 my_demux.token.a : 0
	     83058 my_demux.out1.v : 0
	     83058 my_demux.my_demux.out1_t_buf_func[0].n1 : 0
	     83058 my_demux.out1.a : 0
	     83058 my_demux.my_demux.out1_t_buf_func[1].n1 : 0
	     83062 my_demux.my_demux.c_f_c_t_or._y : 1  [by my_demux.my_demux.invout_t.a:=0]
	     83073 my_demux.my_demux.out_or._y : 1  [by my_demux.out1.v:=0]
	     83113 my_demux.my_demux.vc.OR2_tf[1]._y : 1  [by my_demux.my_demux.out1_t_buf_func[1].n1:=0]
	     92187 my_demux.my_demux.token_a_out : 1  [by my_demux.token.a:=0]
	     96782 my_demux.my_demux.cond_inv_t : 1  [by my_demux.my_demux.invout_t.a:=0]
	     96962 my_demux.my_demux.vc.ct.in[1] : 0  [by my_demux.my_demux.vc.OR2_tf[1]._y:=1]
	    112853 my_demux.my_demux._out_v : 0  [by my_demux.my_demux.out_or._y:=1]
	    119989 my_demux.my_demux._out1_a_B : 1  [by my_demux.out1.a:=0]
	    120411 my_demux.my_demux.out1_a_B_buf_f.buf1._y : 0  [by my_demux.my_demux._out1_a_B:=1]
	    120412 my_demux.my_demux._out1_a_BX_t[0] : 1  [by my_demux.my_demux.out1_a_B_buf_f.buf1._y:=0]
	    121594 my_demux.my_demux.c_buf_tk_inv._y : 0  [by my_demux.my_demux.cond_inv_t:=1]
	    121595 my_demux.my_demux._c_tk_buf : 1  [by my_demux.my_demux.c_buf_tk_inv._y:=0]
	    126306 my_demux.my_demux.vc.OR2_tf[0]._y : 1  [by my_demux.my_demux.out1_t_buf_func[0].n1:=0]
	    127156 my_demux.my_demux.cond_inv_f : 1  [by my_demux.my_demux.invout_f.a:=0]
	    127196 my_demux.my_demux._en : 1  [by my_demux.my_demux._out_v:=0]
	    127199 my_demux.my_demux.out1_en_buf_f.buf1._y : 0  [by my_demux.my_demux._en:=1]
	    127438 my_demux.my_demux.c_buf_d_inv.buf1._y : 0  [by my_demux.my_demux.cond_inv_f:=1]
	    127964 my_demux.my_demux.out1_en_buf_t.buf1._y : 0  [by my_demux.my_demux._en:=1]
	    127989 my_demux.my_demux._c_d_buf[0] : 1  [by my_demux.my_demux.c_buf_d_inv.buf1._y:=0]
	    129035 my_demux.my_demux._en1_X_t[0] : 1  [by my_demux.my_demux.out1_en_buf_t.buf1._y:=0]
	    134715 my_demux.my_demux._c_v : 0  [by my_demux.my_demux.c_f_c_t_or._y:=1]
	    146511 my_demux.my_demux.vc.ct.in[0] : 0  [by my_demux.my_demux.vc.OR2_tf[0]._y:=1]
	    147465 my_demux.my_demux.vc.ct.C2Els[0]._y : 1  [by my_demux.my_demux.vc.ct.in[0]:=0]
	    148546 my_demux.my_demux._in_v : 0  [by my_demux.my_demux.vc.ct.C2Els[0]._y:=1]
	    149528 my_demux.my_demux.c_el._y : 1  [by my_demux.my_demux._in_v:=0]
	    149546 my_demux.my_demux._in_c_v_ : 0  [by my_demux.my_demux.c_el._y:=1]
	    149640 my_demux.my_demux._en1_X_f[0] : 1  [by my_demux.my_demux.out1_en_buf_f.buf1._y:=0]
	    168703 my_demux.my_demux.out1_a_B_buf_t.buf1._y : 0  [by my_demux.my_demux._out1_a_B:=1]
	    172716 my_demux.my_demux._out1_a_BX_f[0] : 1  [by my_demux.my_demux.out1_a_B_buf_t.buf1._y:=0]
	    203016 my_demux.my_demux.in_v_buf._y : 1  [by my_demux.my_demux._in_v:=0]
	    207019 my_demux.in.v : 0  [by my_demux.my_demux.in_v_buf._y:=1]
[]System initialized
	    207019 Reset : 0
	    251920 my_demux._reset_B : 1  [by Reset:=0]
	    273504 my_demux.my_demux.reset_buf._y : 0  [by my_demux._reset_B:=1]
	    278264 my_demux.my_demux._reset_BX : 1  [by my_demux.my_demux.reset_buf._y:=0]
	    278467 my_demux.my_demux.reset_buf_token._y : 0  [by my_demux.my_demux._reset_BX:=1]
	    278766 my_demux.my_demux.reset_bufarray.buf1._y : 0  [by my_demux.my_demux._reset_BX:=1]
	    278905 my_demux.my_demux._reset_BXX[0] : 1  [by my_demux.my_demux.reset_bufarray.buf1._y:=0]
	    280321 my_demux.my_demux._reset_BXt : 1  [by my_demux.my_demux.reset_buf_token._y:=0]
[]System reset completed

[]Output neutral checked
	    280321 my_demux.my_demux.invout_t.a : 1
	    280321 my_demux.my_demux.out1_t_buf_func[1].n1 : 1
	    280321 my_demux.my_demux.out1_t_buf_func[0].n1 : 1
	    280332 my_demux.my_demux.vc.OR2_tf[1]._y : 0  [by my_demux.my_demux.out1_t_buf_func[1].n1:=1]
	    280333 my_demux.my_demux.vc.ct.in[1] : 1  [by my_demux.my_demux.vc.OR2_tf[1]._y:=0]
	    280336 my_demux.my_demux.out1_t_buf_func[0]._y : 0  [by my_demux.my_demux.out1_t_buf_func[0].n1:=1]
	    280373 my_demux.my_demux.out1_t_buf_func[0].y : 1  [by my_demux.my_demux.out1_t_buf_func[0]._y:=0]
	    280390 my_demux.my_demux.c_f_c_t_or._y : 0  [by my_demux.my_demux.invout_t.a:=1]
	    280525 my_demux.my_demux.vc.OR2_tf[0]._y : 0  [by my_demux.my_demux.out1_t_buf_func[0].n1:=1]
	    280637 my_demux.my_demux.vc.ct.in[0] : 1  [by my_demux.my_demux.vc.OR2_tf[0]._y:=0]
	    281129 my_demux.my_demux._c_v : 1  [by my_demux.my_demux.c_f_c_t_or._y:=0]
	    316667 my_demux.my_demux.cond_inv_t : 0  [by my_demux.my_demux.invout_t.a:=1]
	    316707 my_demux.my_demux.c_buf_tk_inv._y : 1  [by my_demux.my_demux.cond_inv_t:=0]
	    316964 my_demux.my_demux._c_tk_buf : 0  [by my_demux.my_demux.c_buf_tk_inv._y:=1]
	    328149 my_demux.my_demux.vc.ct.C2Els[0]._y : 0  [by my_demux.my_demux.vc.ct.in[0]:=1]
	    328236 my_demux.my_demux._in_v : 1  [by my_demux.my_demux.vc.ct.C2Els[0]._y:=0]
	    328237 my_demux.my_demux.c_el._y : 0  [by my_demux.my_demux._in_v:=1]
	    328530 my_demux.my_demux.in_v_buf._y : 0  [by my_demux.my_demux._in_v:=1]
	    330043 my_demux.my_demux._in_c_v_ : 1  [by my_demux.my_demux.c_el._y:=0]
	    330537 my_demux.in.v : 1  [by my_demux.my_demux.in_v_buf._y:=0]
	    332107 my_demux.my_demux.out1_t_buf_func[1]._y : 0  [by my_demux.my_demux.out1_t_buf_func[1].n1:=1]
	    333316 my_demux.my_demux.out1_t_buf_func[1].y : 1  [by my_demux.my_demux.out1_t_buf_func[1]._y:=0]
	    333316 my_demux.out1.v : 1
	    333906 my_demux.my_demux.out_or._y : 0  [by my_demux.out1.v:=1]
	    334084 my_demux.my_demux._out_v : 1  [by my_demux.my_demux.out_or._y:=0]
	    334887 my_demux.my_demux.inack_ctl._y : 0  [by my_demux.my_demux._out_v:=1]
	    335051 my_demux.in.a : 1  [by my_demux.my_demux.inack_ctl._y:=0]
	    337246 my_demux.my_demux._en : 0  [by my_demux.in.a:=1]
	    337268 my_demux.my_demux.out1_en_buf_t.buf1._y : 1  [by my_demux.my_demux._en:=0]
	    338093 my_demux.my_demux.out1_en_buf_f.buf1._y : 1  [by my_demux.my_demux._en:=0]
	    338226 my_demux.my_demux._en1_X_f[0] : 0  [by my_demux.my_demux.out1_en_buf_f.buf1._y:=1]
	    367396 my_demux.my_demux._en1_X_t[0] : 0  [by my_demux.my_demux.out1_en_buf_t.buf1._y:=1]
	    367396 my_demux.my_demux.out1_t_buf_func[0].n1 : 0
	    367396 my_demux.my_demux.out1_t_buf_func[1].n1 : 0
	    367755 my_demux.my_demux.vc.OR2_tf[1]._y : 1  [by my_demux.my_demux.out1_t_buf_func[1].n1:=0]
	    381871 my_demux.my_demux.vc.ct.in[1] : 0  [by my_demux.my_demux.vc.OR2_tf[1]._y:=1]
	    383058 my_demux.my_demux.vc.OR2_tf[0]._y : 1  [by my_demux.my_demux.out1_t_buf_func[0].n1:=0]
	    383279 my_demux.my_demux.vc.ct.in[0] : 0  [by my_demux.my_demux.vc.OR2_tf[0]._y:=1]
	    383286 my_demux.my_demux.vc.ct.C2Els[0]._y : 1  [by my_demux.my_demux.vc.ct.in[0]:=0]
	    383316 my_demux.my_demux._in_v : 0  [by my_demux.my_demux.vc.ct.C2Els[0]._y:=1]
	    390029 my_demux.my_demux.in_v_buf._y : 1  [by my_demux.my_demux._in_v:=0]
	    447490 my_demux.in.v : 0  [by my_demux.my_demux.in_v_buf._y:=1]
	    447490 my_demux.out1.a : 1
	    447581 my_demux.my_demux._out1_a_B : 0  [by my_demux.out1.a:=1]
	    447588 my_demux.my_demux.out1_a_B_buf_t.buf1._y : 1  [by my_demux.my_demux._out1_a_B:=0]
	    449770 my_demux.my_demux.out1_a_B_buf_f.buf1._y : 1  [by my_demux.my_demux._out1_a_B:=0]
	    449876 my_demux.my_demux._out1_a_BX_t[0] : 0  [by my_demux.my_demux.out1_a_B_buf_f.buf1._y:=1]
	    449954 my_demux.my_demux.out1_t_buf_func[0]._y : 1  [by my_demux.my_demux._out1_a_BX_t[0]:=0]
	    450151 my_demux.my_demux.out1_t_buf_func[1]._y : 1  [by my_demux.my_demux._out1_a_BX_t[0]:=0]
	    450375 my_demux.my_demux._out1_a_BX_f[0] : 0  [by my_demux.my_demux.out1_a_B_buf_t.buf1._y:=1]
	    450606 my_demux.my_demux.out1_t_buf_func[1].y : 0  [by my_demux.my_demux.out1_t_buf_func[1]._y:=1]
	    468950 my_demux.my_demux.out1_t_buf_func[0].y : 0  [by my_demux.my_demux.out1_t_buf_func[0]._y:=1]
[]First Cond Checked
	    468950 my_demux.my_demux.invout_t.a : 0
	    468950 my_demux.out1.v : 0
	    468950 my_demux.out1.a : 0
	    468962 my_demux.my_demux.cond_inv_t : 1  [by my_demux.my_demux.invout_t.a:=0]
	    468962 my_demux.my_demux.out_or._y : 1  [by my_demux.out1.v:=0]
	    469354 my_demux.my_demux.c_f_c_t_or._y : 1  [by my_demux.my_demux.invout_t.a:=0]
	    471861 my_demux.my_demux._out_v : 0  [by my_demux.my_demux.out_or._y:=1]
	    473238 my_demux.my_demux.c_buf_tk_inv._y : 0  [by my_demux.my_demux.cond_inv_t:=1]
	    473240 my_demux.my_demux._c_tk_buf : 1  [by my_demux.my_demux.c_buf_tk_inv._y:=0]
	    473649 my_demux.my_demux._c_v : 0  [by my_demux.my_demux.c_f_c_t_or._y:=1]
	    474866 my_demux.my_demux._out1_a_B : 1  [by my_demux.out1.a:=0]
	    476115 my_demux.my_demux.out1_a_B_buf_f.buf1._y : 0  [by my_demux.my_demux._out1_a_B:=1]
	    476281 my_demux.my_demux._out1_a_BX_t[0] : 1  [by my_demux.my_demux.out1_a_B_buf_f.buf1._y:=0]
	    478184 my_demux.my_demux.c_el._y : 1  [by my_demux.my_demux._c_v:=0]
	    478259 my_demux.my_demux._in_c_v_ : 0  [by my_demux.my_demux.c_el._y:=1]
	    478365 my_demux.my_demux.out1_a_B_buf_t.buf1._y : 0  [by my_demux.my_demux._out1_a_B:=1]
	    478503 my_demux.my_demux._out1_a_BX_f[0] : 1  [by my_demux.my_demux.out1_a_B_buf_t.buf1._y:=0]
	    478604 my_demux.my_demux.inack_ctl._y : 1  [by my_demux.my_demux._in_c_v_:=0]
	    483867 my_demux.in.a : 0  [by my_demux.my_demux.inack_ctl._y:=1]
	    483869 my_demux.my_demux._en : 1  [by my_demux.in.a:=0]
	    483870 my_demux.my_demux.out1_en_buf_f.buf1._y : 0  [by my_demux.my_demux._en:=1]
	    484418 my_demux.my_demux._en1_X_f[0] : 1  [by my_demux.my_demux.out1_en_buf_f.buf1._y:=0]
	    527786 my_demux.my_demux.out1_en_buf_t.buf1._y : 0  [by my_demux.my_demux._en:=1]
	    527797 my_demux.my_demux._en1_X_t[0] : 1  [by my_demux.my_demux.out1_en_buf_t.buf1._y:=0]
[]System initialized
	    527797 my_demux.my_demux.invout_f.a : 1
	    527797 my_demux.my_demux.out1_t_buf_func[1].n1 : 1
	    527797 my_demux.my_demux.out1_t_buf_func[0].n1 : 1
	    527813 my_demux.my_demux.out1_t_buf_func[1]._y : 0  [by my_demux.my_demux.out1_t_buf_func[1].n1:=1]
	    527864 my_demux.my_demux.c_f_c_t_or._y : 0  [by my_demux.my_demux.invout_f.a:=1]
	    528167 my_demux.my_demux.cond_inv_f : 0  [by my_demux.my_demux.invout_f.a:=1]
	    528325 my_demux.my_demux.out1_t_buf_func[0]._y : 0  [by my_demux.my_demux.out1_t_buf_func[0].n1:=1]
	    530248 my_demux.my_demux.out1_t_buf_func[1].y : 1  [by my_demux.my_demux.out1_t_buf_func[1]._y:=0]
	    530438 my_demux.my_demux.vc.OR2_tf[1]._y : 0  [by my_demux.my_demux.out1_t_buf_func[1].n1:=1]
	    530440 my_demux.my_demux.vc.ct.in[1] : 1  [by my_demux.my_demux.vc.OR2_tf[1]._y:=0]
	    532359 my_demux.my_demux.vc.OR2_tf[0]._y : 0  [by my_demux.my_demux.out1_t_buf_func[0].n1:=1]
	    541366 my_demux.my_demux.out1_t_buf_func[0].y : 1  [by my_demux.my_demux.out1_t_buf_func[0]._y:=0]
	    552092 my_demux.my_demux.c_buf_d_inv.buf1._y : 1  [by my_demux.my_demux.cond_inv_f:=0]
	    552095 my_demux.my_demux._c_d_buf[0] : 0  [by my_demux.my_demux.c_buf_d_inv.buf1._y:=1]
	    554744 my_demux.my_demux._c_v : 1  [by my_demux.my_demux.c_f_c_t_or._y:=0]
	    593317 my_demux.my_demux.vc.ct.in[0] : 1  [by my_demux.my_demux.vc.OR2_tf[0]._y:=0]
	    593346 my_demux.my_demux.vc.ct.C2Els[0]._y : 0  [by my_demux.my_demux.vc.ct.in[0]:=1]
	    593663 my_demux.my_demux._in_v : 1  [by my_demux.my_demux.vc.ct.C2Els[0]._y:=0]
	    593707 my_demux.my_demux.c_el._y : 0  [by my_demux.my_demux._in_v:=1]
	    593816 my_demux.my_demux.in_v_buf._y : 0  [by my_demux.my_demux._in_v:=1]
	    595264 my_demux.my_demux.token_buf._y : 0  [by my_demux.my_demux._in_v:=1]
	    595265 my_demux.token.r : 1  [by my_demux.my_demux.token_buf._y:=0]
	    595482 my_demux.my_demux.out_or._y : 0  [by my_demux.token.r:=1]
	    595504 my_demux.my_demux._out_v : 1  [by my_demux.my_demux.out_or._y:=0]
	    596468 my_demux.my_demux._in_c_v_ : 1  [by my_demux.my_demux.c_el._y:=0]
	    596469 my_demux.my_demux.inack_ctl._y : 0  [by my_demux.my_demux._in_c_v_:=1]
	    598050 my_demux.in.a : 1  [by my_demux.my_demux.inack_ctl._y:=0]
	    607395 my_demux.my_demux._en : 0  [by my_demux.in.a:=1]
	    607499 my_demux.in.v : 1  [by my_demux.my_demux.in_v_buf._y:=0]
	    607554 my_demux.my_demux.out1_en_buf_t.buf1._y : 1  [by my_demux.my_demux._en:=0]
	    608841 my_demux.my_demux._en1_X_t[0] : 0  [by my_demux.my_demux.out1_en_buf_t.buf1._y:=1]
	    627071 my_demux.my_demux.out1_en_buf_f.buf1._y : 1  [by my_demux.my_demux._en:=0]
	    629303 my_demux.my_demux._en1_X_f[0] : 0  [by my_demux.my_demux.out1_en_buf_f.buf1._y:=1]
	    629303 my_demux.token.a : 1
	    629448 my_demux.my_demux.token_a_out : 0  [by my_demux.token.a:=1]
	    632280 my_demux.my_demux.token_buf._y : 1  [by my_demux.my_demux.token_a_out:=0]
	    638634 my_demux.token.r : 0  [by my_demux.my_demux.token_buf._y:=1]
	    638635 my_demux.my_demux.out_or._y : 1  [by my_demux.token.r:=0]
	    677919 my_demux.my_demux._out_v : 0  [by my_demux.my_demux.out_or._y:=1]
	    677919 my_demux.token.a : 0
	    677919 my_demux.my_demux.out1_t_buf_func[1].n1 : 0
	    677919 my_demux.my_demux.out1_t_buf_func[0].n1 : 0
	    677933 my_demux.my_demux.vc.OR2_tf[0]._y : 1  [by my_demux.my_demux.out1_t_buf_func[0].n1:=0]
	    677940 my_demux.my_demux.vc.ct.in[0] : 0  [by my_demux.my_demux.vc.OR2_tf[0]._y:=1]
	    678081 my_demux.my_demux.token_a_out : 1  [by my_demux.token.a:=0]
	    685288 my_demux.my_demux.vc.OR2_tf[1]._y : 1  [by my_demux.my_demux.out1_t_buf_func[1].n1:=0]
	    685448 my_demux.my_demux.vc.ct.in[1] : 0  [by my_demux.my_demux.vc.OR2_tf[1]._y:=1]
	    707005 my_demux.my_demux.vc.ct.C2Els[0]._y : 1  [by my_demux.my_demux.vc.ct.in[1]:=0]
	    707006 my_demux.my_demux._in_v : 0  [by my_demux.my_demux.vc.ct.C2Els[0]._y:=1]
	    707007 my_demux.my_demux.in_v_buf._y : 1  [by my_demux.my_demux._in_v:=0]
	    707008 my_demux.in.v : 0  [by my_demux.my_demux.in_v_buf._y:=1]
	    707008 my_demux.my_demux.invout_f.a : 0
	    707195 my_demux.my_demux.c_f_c_t_or._y : 1  [by my_demux.my_demux.invout_f.a:=0]
	    707196 my_demux.my_demux._c_v : 0  [by my_demux.my_demux.c_f_c_t_or._y:=1]
	    709251 my_demux.my_demux.cond_inv_f : 1  [by my_demux.my_demux.invout_f.a:=0]
	    711378 my_demux.my_demux.c_el._y : 1  [by my_demux.my_demux._c_v:=0]
	    711379 my_demux.my_demux._in_c_v_ : 0  [by my_demux.my_demux.c_el._y:=1]
	    712232 my_demux.my_demux.inack_ctl._y : 1  [by my_demux.my_demux._in_c_v_:=0]
	    712237 my_demux.in.a : 0  [by my_demux.my_demux.inack_ctl._y:=1]
	    713128 my_demux.my_demux._en : 1  [by my_demux.in.a:=0]
	    713129 my_demux.my_demux.out1_en_buf_t.buf1._y : 0  [by my_demux.my_demux._en:=1]
	    713145 my_demux.my_demux.out1_en_buf_f.buf1._y : 0  [by my_demux.my_demux._en:=1]
	    715702 my_demux.my_demux._en1_X_t[0] : 1  [by my_demux.my_demux.out1_en_buf_t.buf1._y:=0]
	    721506 my_demux.my_demux._en1_X_f[0] : 1  [by my_demux.my_demux.out1_en_buf_f.buf1._y:=0]
	    744033 my_demux.my_demux.c_buf_d_inv.buf1._y : 0  [by my_demux.my_demux.cond_inv_f:=1]
	    744036 my_demux.my_demux._c_d_buf[0] : 1  [by my_demux.my_demux.c_buf_d_inv.buf1._y:=0]
