my_demux.my_demux.out1_f_buf_func[1].n1 my_demux.my_demux._c_tk_buf my_demux.my_demux.out1_t_buf_func[1].n1 my_demux.my_demux._c_d_buf[0] 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._en my_demux.my_demux.vc.OR2_tf[1].y my_demux.my_demux._out1_a_B my_demux.my_demux.c_buf_d.in my_demux.my_demux._out1_a_BX_t[0] my_demux.in.v my_demux.my_demux._c_v my_demux.my_demux.c_buf_tk.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.out1.a 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.c_buf_d.buf1._y my_demux.my_demux.in_v_buf._y my_demux.my_demux.vc.OR2_tf[0].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._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.myctree.C2Els[0]._y 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.c_buf_d.in : 0
	     83058 my_demux.my_demux.c_buf_tk.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.c_buf_tk.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.c_buf_tk._y : 1  [by my_demux.my_demux.c_buf_tk.a:=0]
	     96962 my_demux.my_demux.vc.OR2_tf[1].y : 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_tk_buf : 0  [by my_demux.my_demux.c_buf_tk._y:=1]
	    126306 my_demux.my_demux.vc.OR2_tf[0]._y : 1  [by my_demux.my_demux.out1_t_buf_func[0].n1:=0]
	    126307 my_demux.my_demux.vc.OR2_tf[0].y : 0  [by my_demux.my_demux.vc.OR2_tf[0]._y:=1]
	    127156 my_demux.my_demux.c_buf_d.buf1._y : 1  [by my_demux.my_demux.c_buf_d.in:=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_d_buf[0] : 0  [by my_demux.my_demux.c_buf_d.buf1._y:=1]
	    127964 my_demux.my_demux.out1_en_buf_t.buf1._y : 0  [by my_demux.my_demux._en:=1]
	    128515 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]
	    146512 my_demux.my_demux.vc.myctree.C2Els[0]._y : 1  [by my_demux.my_demux.vc.OR2_tf[0].y:=0]
	    147583 my_demux.my_demux._in_v : 0  [by my_demux.my_demux.vc.myctree.C2Els[0]._y:=1]
	    148537 my_demux.my_demux.in_v_buf._y : 1  [by my_demux.my_demux._in_v:=0]
	    148664 my_demux.my_demux.c_el._y : 1  [by my_demux.my_demux._in_v:=0]
	    149640 my_demux.my_demux._en1_X_f[0] : 1  [by my_demux.my_demux.out1_en_buf_f.buf1._y:=0]
	    149646 my_demux.my_demux._in_c_v_ : 0  [by my_demux.my_demux.c_el._y:=1]
	    168703 my_demux.my_demux.out1_a_B_buf_t.buf1._y : 0  [by my_demux.my_demux._out1_a_B:=1]
	    168721 my_demux.my_demux._out1_a_BX_f[0] : 1  [by my_demux.my_demux.out1_a_B_buf_t.buf1._y:=0]
	    203007 my_demux.in.v : 0  [by my_demux.my_demux.in_v_buf._y:=1]
System initialized
	    203007 Reset : 0
	    207020 my_demux._reset_B : 1  [by Reset:=0]
	    211023 my_demux.my_demux.reset_buf._y : 0  [by my_demux._reset_B:=1]
	    255924 my_demux.my_demux._reset_BX : 1  [by my_demux.my_demux.reset_buf._y:=0]
	    260684 my_demux.my_demux.reset_buf_token._y : 0  [by my_demux.my_demux._reset_BX:=1]
	    261186 my_demux.my_demux._reset_BXt : 1  [by my_demux.my_demux.reset_buf_token._y:=0]
	    277508 my_demux.my_demux.reset_bufarray.buf1._y : 0  [by my_demux.my_demux._reset_BX:=1]
	    277711 my_demux.my_demux._reset_BXX[0] : 1  [by my_demux.my_demux.reset_bufarray.buf1._y:=0]
System reset completed

Output neutral checked
	    277711 my_demux.my_demux.c_buf_d.in : 1
	    277711 my_demux.my_demux.out1_t_buf_func[1].n1 : 1
	    277711 my_demux.my_demux.out1_t_buf_func[0].n1 : 1
	    277780 my_demux.my_demux.vc.OR2_tf[0]._y : 0  [by my_demux.my_demux.out1_t_buf_func[0].n1:=1]
	    277791 my_demux.my_demux.vc.OR2_tf[0].y : 1  [by my_demux.my_demux.vc.OR2_tf[0]._y:=0]
	    277850 my_demux.my_demux.c_buf_d.buf1._y : 0  [by my_demux.my_demux.c_buf_d.in:=1]
	    279565 my_demux.my_demux.c_f_c_t_or._y : 0  [by my_demux.my_demux.c_buf_d.in:=1]
	    279769 my_demux.my_demux._c_v : 1  [by my_demux.my_demux.c_f_c_t_or._y:=0]
	    314057 my_demux.my_demux.vc.OR2_tf[1]._y : 0  [by my_demux.my_demux.out1_t_buf_func[1].n1:=1]
	    314072 my_demux.my_demux.vc.OR2_tf[1].y : 1  [by my_demux.my_demux.vc.OR2_tf[1]._y:=0]
	    314073 my_demux.my_demux.vc.myctree.C2Els[0]._y : 0  [by my_demux.my_demux.vc.OR2_tf[1].y:=1]
	    314110 my_demux.my_demux._in_v : 1  [by my_demux.my_demux.vc.myctree.C2Els[0]._y:=0]
	    314222 my_demux.my_demux.c_el._y : 0  [by my_demux.my_demux._in_v:=1]
	    314849 my_demux.my_demux.in_v_buf._y : 0  [by my_demux.my_demux._in_v:=1]
	    314889 my_demux.in.v : 1  [by my_demux.my_demux.in_v_buf._y:=0]
	    329636 my_demux.my_demux._c_d_buf[0] : 1  [by my_demux.my_demux.c_buf_d.buf1._y:=0]
	    329723 my_demux.my_demux.out1_t_buf_func[1]._y : 0  [by my_demux.my_demux._c_d_buf[0]:=1]
	    329893 my_demux.my_demux.out1_t_buf_func[0]._y : 0  [by my_demux.my_demux._c_d_buf[0]:=1]
	    329894 my_demux.my_demux.out1_t_buf_func[0].y : 1  [by my_demux.my_demux.out1_t_buf_func[0]._y:=0]
	    330017 my_demux.my_demux.out1_t_buf_func[1].y : 1  [by my_demux.my_demux.out1_t_buf_func[1]._y:=0]
	    361734 my_demux.my_demux._in_c_v_ : 1  [by my_demux.my_demux.c_el._y:=0]
	    361734 my_demux.out1.v : 1
	    363540 my_demux.my_demux.out_or._y : 0  [by my_demux.out1.v:=1]
	    365547 my_demux.my_demux._out_v : 1  [by my_demux.my_demux.out_or._y:=0]
	    366756 my_demux.my_demux.inack_ctl._y : 0  [by my_demux.my_demux._out_v:=1]
	    367346 my_demux.in.a : 1  [by my_demux.my_demux.inack_ctl._y:=0]
	    367524 my_demux.my_demux._en : 0  [by my_demux.in.a:=1]
	    367688 my_demux.my_demux.out1_en_buf_f.buf1._y : 1  [by my_demux.my_demux._en:=0]
	    368327 my_demux.my_demux.out1_en_buf_t.buf1._y : 1  [by my_demux.my_demux._en:=0]
	    368349 my_demux.my_demux._en1_X_t[0] : 0  [by my_demux.my_demux.out1_en_buf_t.buf1._y:=1]
	    369883 my_demux.my_demux._en1_X_f[0] : 0  [by my_demux.my_demux.out1_en_buf_f.buf1._y:=1]
	    369883 my_demux.my_demux.out1_t_buf_func[0].n1 : 0
	    369883 my_demux.my_demux.out1_t_buf_func[1].n1 : 0
	    370730 my_demux.my_demux.vc.OR2_tf[0]._y : 1  [by my_demux.my_demux.out1_t_buf_func[0].n1:=0]
	    370863 my_demux.my_demux.vc.OR2_tf[0].y : 0  [by my_demux.my_demux.vc.OR2_tf[0]._y:=1]
	    400011 my_demux.my_demux.vc.OR2_tf[1]._y : 1  [by my_demux.my_demux.out1_t_buf_func[1].n1:=0]
	    415673 my_demux.my_demux.vc.OR2_tf[1].y : 0  [by my_demux.my_demux.vc.OR2_tf[1]._y:=1]
	    416032 my_demux.my_demux.vc.myctree.C2Els[0]._y : 1  [by my_demux.my_demux.vc.OR2_tf[1].y:=0]
	    430148 my_demux.my_demux._in_v : 0  [by my_demux.my_demux.vc.myctree.C2Els[0]._y:=1]
	    430369 my_demux.my_demux.in_v_buf._y : 1  [by my_demux.my_demux._in_v:=0]
	    430376 my_demux.in.v : 0  [by my_demux.my_demux.in_v_buf._y:=1]
First Cond Checked
	    430376 my_demux.out1.a : 1
	    430376 my_demux.my_demux.c_buf_d.in : 0
	    430376 my_demux.out1.v : 0
	    430406 my_demux.my_demux._out1_a_B : 0  [by my_demux.out1.a:=1]
	    430413 my_demux.my_demux.out1_a_B_buf_t.buf1._y : 1  [by my_demux.my_demux._out1_a_B:=0]
	    430467 my_demux.my_demux.out_or._y : 1  [by my_demux.out1.v:=0]
	    430573 my_demux.my_demux._out_v : 0  [by my_demux.my_demux.out_or._y:=1]
	    432595 my_demux.my_demux.out1_a_B_buf_f.buf1._y : 1  [by my_demux.my_demux._out1_a_B:=0]
	    432673 my_demux.my_demux._out1_a_BX_t[0] : 0  [by my_demux.my_demux.out1_a_B_buf_f.buf1._y:=1]
	    432948 my_demux.my_demux.out1_t_buf_func[0]._y : 1  [by my_demux.my_demux._out1_a_BX_t[0]:=0]
	    433200 my_demux.my_demux._out1_a_BX_f[0] : 0  [by my_demux.my_demux.out1_a_B_buf_t.buf1._y:=1]
	    433403 my_demux.my_demux.out1_t_buf_func[0].y : 0  [by my_demux.my_demux.out1_t_buf_func[0]._y:=1]
	    437089 my_demux.my_demux.c_f_c_t_or._y : 1  [by my_demux.my_demux.c_buf_d.in:=0]
	    437101 my_demux.my_demux._c_v : 0  [by my_demux.my_demux.c_f_c_t_or._y:=1]
	    437505 my_demux.my_demux.c_el._y : 1  [by my_demux.my_demux._c_v:=0]
	    437517 my_demux.my_demux._in_c_v_ : 0  [by my_demux.my_demux.c_el._y:=1]
	    443433 my_demux.my_demux.inack_ctl._y : 1  [by my_demux.my_demux._in_c_v_:=0]
	    447709 my_demux.in.a : 0  [by my_demux.my_demux.inack_ctl._y:=1]
	    450608 my_demux.my_demux._en : 1  [by my_demux.in.a:=0]
	    450610 my_demux.my_demux.out1_en_buf_f.buf1._y : 0  [by my_demux.my_demux._en:=1]
	    451669 my_demux.my_demux.out1_t_buf_func[1]._y : 1  [by my_demux.my_demux._out1_a_BX_t[0]:=0]
	    452918 my_demux.my_demux.out1_t_buf_func[1].y : 0  [by my_demux.my_demux.out1_t_buf_func[1]._y:=1]
	    454903 my_demux.my_demux.out1_en_buf_t.buf1._y : 0  [by my_demux.my_demux._en:=1]
	    455145 my_demux.my_demux._en1_X_f[0] : 1  [by my_demux.my_demux.out1_en_buf_f.buf1._y:=0]
	    458402 my_demux.my_demux._en1_X_t[0] : 1  [by my_demux.my_demux.out1_en_buf_t.buf1._y:=0]
	    487837 my_demux.my_demux.c_buf_d.buf1._y : 1  [by my_demux.my_demux.c_buf_d.in:=0]
	    488003 my_demux.my_demux._c_d_buf[0] : 0  [by my_demux.my_demux.c_buf_d.buf1._y:=1]
System initialized
	    488003 my_demux.my_demux.c_buf_tk.a : 1
	    488003 my_demux.my_demux.out1_t_buf_func[1].n1 : 1
	    488003 my_demux.my_demux.out1_t_buf_func[0].n1 : 1
	    488078 my_demux.my_demux.c_buf_tk._y : 0  [by my_demux.my_demux.c_buf_tk.a:=1]
	    488080 my_demux.my_demux._c_tk_buf : 1  [by my_demux.my_demux.c_buf_tk._y:=0]
	    488141 my_demux.my_demux.vc.OR2_tf[1]._y : 0  [by my_demux.my_demux.out1_t_buf_func[1].n1:=1]
	    488348 my_demux.my_demux.c_f_c_t_or._y : 0  [by my_demux.my_demux.c_buf_tk.a:=1]
	    488349 my_demux.my_demux._c_v : 1  [by my_demux.my_demux.c_f_c_t_or._y:=0]
	    493266 my_demux.my_demux.vc.OR2_tf[0]._y : 0  [by my_demux.my_demux.out1_t_buf_func[0].n1:=1]
	    493814 my_demux.my_demux.vc.OR2_tf[0].y : 1  [by my_demux.my_demux.vc.OR2_tf[0]._y:=0]
	    532058 my_demux.my_demux.vc.OR2_tf[1].y : 1  [by my_demux.my_demux.vc.OR2_tf[1]._y:=0]
	    532069 my_demux.my_demux.vc.myctree.C2Els[0]._y : 0  [by my_demux.my_demux.vc.OR2_tf[1].y:=1]
	    532439 my_demux.my_demux._in_v : 1  [by my_demux.my_demux.vc.myctree.C2Els[0]._y:=0]
	    532455 my_demux.my_demux.c_el._y : 0  [by my_demux.my_demux._in_v:=1]
	    532506 my_demux.my_demux.token_buf._y : 0  [by my_demux.my_demux._in_v:=1]
	    533034 my_demux.token.r : 1  [by my_demux.my_demux.token_buf._y:=0]
	    535080 my_demux.my_demux.in_v_buf._y : 0  [by my_demux.my_demux._in_v:=1]
	    535469 my_demux.my_demux.out_or._y : 0  [by my_demux.token.r:=1]
	    537017 my_demux.my_demux._in_c_v_ : 1  [by my_demux.my_demux.c_el._y:=0]
	    559394 my_demux.my_demux._out_v : 1  [by my_demux.my_demux.out_or._y:=0]
	    561960 my_demux.in.v : 1  [by my_demux.my_demux.in_v_buf._y:=0]
	    572435 my_demux.my_demux.inack_ctl._y : 0  [by my_demux.my_demux._out_v:=1]
	    572437 my_demux.in.a : 1  [by my_demux.my_demux.inack_ctl._y:=0]
	    633395 my_demux.my_demux._en : 0  [by my_demux.in.a:=1]
	    633398 my_demux.my_demux.out1_en_buf_t.buf1._y : 1  [by my_demux.my_demux._en:=0]
	    633424 my_demux.my_demux.out1_en_buf_f.buf1._y : 1  [by my_demux.my_demux._en:=0]
	    633715 my_demux.my_demux._en1_X_t[0] : 0  [by my_demux.my_demux.out1_en_buf_t.buf1._y:=1]
	    635025 my_demux.my_demux._en1_X_f[0] : 0  [by my_demux.my_demux.out1_en_buf_f.buf1._y:=1]
	    635025 my_demux.token.a : 1
	    635178 my_demux.my_demux.token_a_out : 0  [by my_demux.token.a:=1]
	    635222 my_demux.my_demux.token_buf._y : 1  [by my_demux.my_demux.token_a_out:=0]
	    637983 my_demux.token.r : 0  [by my_demux.my_demux.token_buf._y:=1]
	    651666 my_demux.my_demux.out_or._y : 1  [by my_demux.token.r:=0]
	    651667 my_demux.my_demux._out_v : 0  [by my_demux.my_demux.out_or._y:=1]
	    651667 my_demux.token.a : 0
	    651667 my_demux.my_demux.out1_t_buf_func[1].n1 : 0
	    651667 my_demux.my_demux.out1_t_buf_func[0].n1 : 0
	    651668 my_demux.my_demux.vc.OR2_tf[0]._y : 1  [by my_demux.my_demux.out1_t_buf_func[0].n1:=0]
	    651689 my_demux.my_demux.vc.OR2_tf[1]._y : 1  [by my_demux.my_demux.out1_t_buf_func[1].n1:=0]
	    651884 my_demux.my_demux.token_a_out : 1  [by my_demux.token.a:=0]
	    653249 my_demux.my_demux.vc.OR2_tf[0].y : 0  [by my_demux.my_demux.vc.OR2_tf[0]._y:=1]
	    661034 my_demux.my_demux.vc.OR2_tf[1].y : 0  [by my_demux.my_demux.vc.OR2_tf[1]._y:=1]
	    661193 my_demux.my_demux.vc.myctree.C2Els[0]._y : 1  [by my_demux.my_demux.vc.OR2_tf[1].y:=0]
	    680869 my_demux.my_demux._in_v : 0  [by my_demux.my_demux.vc.myctree.C2Els[0]._y:=1]
	    682156 my_demux.my_demux.in_v_buf._y : 1  [by my_demux.my_demux._in_v:=0]
	    684388 my_demux.in.v : 0  [by my_demux.my_demux.in_v_buf._y:=1]
	    684388 my_demux.my_demux.c_buf_tk.a : 0
	    684533 my_demux.my_demux.c_buf_tk._y : 1  [by my_demux.my_demux.c_buf_tk.a:=0]
	    687220 my_demux.my_demux.c_f_c_t_or._y : 1  [by my_demux.my_demux.c_buf_tk.a:=0]
	    687221 my_demux.my_demux._c_v : 0  [by my_demux.my_demux.c_f_c_t_or._y:=1]
	    690887 my_demux.my_demux._c_tk_buf : 0  [by my_demux.my_demux.c_buf_tk._y:=1]
	    726505 my_demux.my_demux.c_el._y : 1  [by my_demux.my_demux._c_v:=0]
	    726667 my_demux.my_demux._in_c_v_ : 0  [by my_demux.my_demux.c_el._y:=1]
	    734036 my_demux.my_demux.inack_ctl._y : 1  [by my_demux.my_demux._in_c_v_:=0]
	    734050 my_demux.in.a : 0  [by my_demux.my_demux.inack_ctl._y:=1]
	    734057 my_demux.my_demux._en : 1  [by my_demux.in.a:=0]
	    734217 my_demux.my_demux.out1_en_buf_t.buf1._y : 0  [by my_demux.my_demux._en:=1]
	    734218 my_demux.my_demux._en1_X_t[0] : 1  [by my_demux.my_demux.out1_en_buf_t.buf1._y:=0]
	    755614 my_demux.my_demux.out1_en_buf_f.buf1._y : 0  [by my_demux.my_demux._en:=1]
	    755615 my_demux.my_demux._en1_X_f[0] : 1  [by my_demux.my_demux.out1_en_buf_f.buf1._y:=0]
