e.in.d.d[2].t e.in.d.d[1].f e.in.d.d[0].f e.in.d.d[2].f e.decoder.addr_buf._in_v e.in.d.d[1].t e.decoder.addr_buf.vc.ct.in[0] e.decoder.addr_buf.vc.ct.in[1] e.in.d.d[0].t e.decoder.addr_buf.vc.ct.C3Els[0]._y e.decoder.addr_buf.vc.OR2_tf[0]._y e.in.v e.decoder.addr_buf.in_v_buf._y e.decoder.addr_buf.vc.ct.in[2] e.decoder.addr_buf.vc.OR2_tf[2]._y e.decoder.addr_buf.vc.OR2_tf[1]._y 
	    162088 e.in.d.d[0].f : 0
	    162088 e.in.d.d[2].t : 0
	    162088 e.in.d.d[2].f : 0
	    162088 e.in.d.d[1].t : 0
	    162088 e.in.d.d[1].f : 0
	    162088 e.in.d.d[0].t : 0
	    162104 e.decoder.addr_buf.vc.OR2_tf[1]._y : 1  [by e.in.d.d[1].f:=0]
	    162632 e.decoder.addr_buf.vc.ct.in[1] : 0  [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=1]
	    164729 e.decoder.addr_buf.vc.OR2_tf[2]._y : 1  [by e.in.d.d[2].f:=0]
	    166650 e.decoder.addr_buf.vc.OR2_tf[0]._y : 1  [by e.in.d.d[0].t:=0]
	    167164 e.decoder.addr_buf.vc.ct.in[2] : 0  [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=1]
	    193530 e.decoder.addr_buf.vc.ct.in[0] : 0  [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=1]
	    217455 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 1  [by e.decoder.addr_buf.vc.ct.in[0]:=0]
	    230496 e.decoder.addr_buf._in_v : 0  [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=1]
	    230498 e.decoder.addr_buf.in_v_buf._y : 1  [by e.decoder.addr_buf._in_v:=0]
	    291456 e.in.v : 0  [by e.decoder.addr_buf.in_v_buf._y:=1]
[] Set reset 0

	    291456 Reset : 0
	    291459 e._reset_B : 1  [by Reset:=0]
	    291488 e.decoder.addr_buf.reset_buf._y : 0  [by e._reset_B:=1]
	    291805 e.decoder.addr_buf._reset_BX : 1  [by e.decoder.addr_buf.reset_buf._y:=0]
	    293406 e.decoder.addr_buf.reset_bufarray.buf1._y : 0  [by e.decoder.addr_buf._reset_BX:=1]
	    293559 e.decoder.addr_buf._reset_BXX[0] : 1  [by e.decoder.addr_buf.reset_bufarray.buf1._y:=0]
[] Sending in a 7 packet
	    293559 e.in.d.d[0].t : 1
	    293559 e.in.d.d[2].t : 1
	    293559 e.in.d.d[1].t : 1
	    293560 e.decoder.addr_buf.t_buf_func[2]._y : 0  [by e.in.d.d[2].t:=1]
	    293561 e.decoder.d_dr_y.in_tX[1].in : 1  [by e.decoder.addr_buf.t_buf_func[2]._y:=0]
	    293581 e.decoder.addr_buf.t_buf_func[1]._y : 0  [by e.in.d.d[1].t:=1]
	    293603 e.decoder.addr_buf.vc.OR2_tf[0]._y : 0  [by e.in.d.d[0].t:=1]
	    293740 e.decoder.d_dr_y.in_tX[0].in : 1  [by e.decoder.addr_buf.t_buf_func[1]._y:=0]
	    293776 e.decoder.addr_buf.vc.OR2_tf[1]._y : 0  [by e.in.d.d[1].t:=1]
	    293921 e.decoder.addr_buf.vc.ct.in[1] : 1  [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=0]
	    295027 e.decoder.d_dr_y.in_tX[0].buf1._y : 0  [by e.decoder.d_dr_y.in_tX[0].in:=1]
	    295142 e.decoder.d_dr_y.in_tX[1].buf1._y : 0  [by e.decoder.d_dr_y.in_tX[1].in:=1]
	    295972 e.decoder.vtree_y.OR2_tf[0]._y : 0  [by e.decoder.d_dr_y.in_tX[0].in:=1]
	    295973 e.decoder.vtree_y.ct.in[0] : 1  [by e.decoder.vtree_y.OR2_tf[0]._y:=0]
	    296320 e.decoder.addr_buf.t_buf_func[0]._y : 0  [by e.in.d.d[0].t:=1]
	    297859 e.decoder.d_dr_y.atree[1].in[0] : 1  [by e.decoder.d_dr_y.in_tX[0].buf1._y:=0]
	    301496 e.decoder.d_dr_y.atree[2].in[1] : 1  [by e.decoder.d_dr_y.in_tX[1].buf1._y:=0]
	    301658 e.decoder.d_dr_y.atree[3].and2s[0]._y : 0  [by e.decoder.d_dr_y.atree[2].in[1]:=1]
	    302906 e.decoder.vtree_y.OR2_tf[1]._y : 0  [by e.decoder.d_dr_y.in_tX[1].in:=1]
	    302920 e.decoder.vtree_y.ct.in[1] : 1  [by e.decoder.vtree_y.OR2_tf[1]._y:=0]
	    302927 e.decoder.vtree_y.ct.C2Els[0]._y : 0  [by e.decoder.vtree_y.ct.in[1]:=1]
	    303087 e.decoder.vtree_y.out : 1  [by e.decoder.vtree_y.ct.C2Els[0]._y:=0]
	    307242 e.decoder.addr_buf.vc.OR2_tf[2]._y : 0  [by e.in.d.d[2].t:=1]
	    309027 e.decoder.d_dr_y.out[3] : 1  [by e.decoder.d_dr_y.atree[3].and2s[0]._y:=0]
	    309028 e.decoder._and_grid.ybuf[3].buf1._y : 0  [by e.decoder.d_dr_y.out[3]:=1]
	    309029 e.decoder._and_grid.ands[6].b : 1  [by e.decoder._and_grid.ybuf[3].buf1._y:=0]
	    313279 e.decoder.addr_buf.vc.ct.in[0] : 1  [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=0]
	    328799 e.decoder.addr_buf.vc.ct.in[2] : 1  [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=0]
	    328800 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 0  [by e.decoder.addr_buf.vc.ct.in[2]:=1]
	    331043 e.decoder.addr_buf._in_v : 1  [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=0]
	    331230 e.decoder.addr_buf.in_v_buf._y : 0  [by e.decoder.addr_buf._in_v:=1]
	    331231 e.in.v : 1  [by e.decoder.addr_buf.in_v_buf._y:=0]
	    335604 e.decoder.d_dr_x.in_tX[0].in : 1  [by e.decoder.addr_buf.t_buf_func[0]._y:=0]
	    339786 e.decoder.d_dr_x.in_tX[0].buf1._y : 0  [by e.decoder.d_dr_x.in_tX[0].in:=1]
	    339787 e.decoder.d_dr_x.atree[1].in[0] : 1  [by e.decoder.d_dr_x.in_tX[0].buf1._y:=0]
	    340640 e.decoder.d_dr_x.atree[1].b._y : 0  [by e.decoder.d_dr_x.atree[1].in[0]:=1]
	    340645 e.decoder.d_dr_x.out[1] : 1  [by e.decoder.d_dr_x.atree[1].b._y:=0]
	    340646 e.decoder.d_dr_xX[1].buf2._y : 0  [by e.decoder.d_dr_x.out[1]:=1]
	    340663 e.decoder.pu_ANDs[1].a : 1  [by e.decoder.d_dr_xX[1].buf2._y:=0]
	    341536 e.decoder._and_grid.xbuf[1].buf1._y : 0  [by e.decoder.d_dr_x.out[1]:=1]
	    343236 e.decoder.pu_ANDs[1]._y : 0  [by e.decoder.pu_ANDs[1].a:=1]
	    343239 e.decoder.pu[1].a : 1  [by e.decoder.pu_ANDs[1]._y:=0]
	    349897 e.decoder._and_grid.ands[1].a : 1  [by e.decoder._and_grid.xbuf[1].buf1._y:=0]
	    350838 e.decoder._and_grid.ands[7]._y : 0  [by e.decoder._and_grid.ands[1].a:=1]
	    370386 e.decoder.vtree_x.OR2_tf[0]._y : 0  [by e.decoder.d_dr_x.in_tX[0].in:=1]
	    370387 e.decoder.vtree_x.ct.in[0] : 1  [by e.decoder.vtree_x.OR2_tf[0]._y:=0]
	    370429 e.decoder.vtree_x.ct.b._y : 0  [by e.decoder.vtree_x.ct.in[0]:=1]
	    373246 e.decoder.vtree_x.out : 1  [by e.decoder.vtree_x.ct.b._y:=0]
	    386979 e.decoder.valid_Cel._y : 0  [by e.decoder.vtree_x.out:=1]
	    387074 e.decoder.valid_Cel.y : 1  [by e.decoder.valid_Cel._y:=0]
	    387409 e.decoder.addr_buf.inack_ctl._y : 0  [by e.decoder.valid_Cel.y:=1]
	    387417 e.in.a : 1  [by e.decoder.addr_buf.inack_ctl._y:=0]
	    387451 e.decoder.addr_buf._en : 0  [by e.in.a:=1]
	    388369 e.decoder.addr_buf.en_buf_t.buf1._y : 1  [by e.decoder.addr_buf._en:=0]
	    388373 e.decoder.addr_buf._en_X_t[0] : 0  [by e.decoder.addr_buf.en_buf_t.buf1._y:=1]
	    401338 e.decoder.addr_buf.en_buf_f.buf1._y : 1  [by e.decoder.addr_buf._en:=0]
	    409800 e.out[7].r : 1  [by e.decoder._and_grid.ands[7]._y:=0]
	    412198 e.synapses[7].y : 0  [by e.out[7].r:=1]
	    447716 e.decoder.addr_buf._en_X_f[0] : 0  [by e.decoder.addr_buf.en_buf_f.buf1._y:=1]
[] Removing input
[] Synapse [7] gives ack
	    447716 e.in.d.d[0].t : 0
	    447716 e.out[7].a : 1
	    447716 e.in.d.d[2].t : 0
	    447716 e.in.d.d[1].t : 0
	    447719 e.decoder.addr_buf.vc.OR2_tf[1]._y : 1  [by e.in.d.d[1].t:=0]
	    447764 e.decoder.addr_buf.vc.OR2_tf[2]._y : 1  [by e.in.d.d[2].t:=0]
	    447897 e.decoder.addr_buf.vc.ct.in[1] : 0  [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=1]
	    450931 e.decoder.addr_buf.vc.OR2_tf[0]._y : 1  [by e.in.d.d[0].t:=0]
	    462830 e.decoder.addr_buf.vc.ct.in[0] : 0  [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=1]
	    468741 e.decoder.addr_buf.vc.ct.in[2] : 0  [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=1]
	    474692 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 1  [by e.decoder.addr_buf.vc.ct.in[2]:=0]
	    494835 e.decoder._out_acksB[1] : 0  [by e.out[7].a:=1]
	    495662 e.decoder._ortree.in[1] : 1  [by e.decoder._out_acksB[1]:=0]
	    495835 e.decoder._ortree.or2s[0]._y : 0  [by e.decoder._ortree.in[1]:=1]
	    496019 e.decoder._ortree.out : 1  [by e.decoder._ortree.or2s[0]._y:=0]
	    496020 e.decoder.buf_ack_Cel._y : 0  [by e.decoder._ortree.out:=1]
	    496093 e.decoder.buf_ack_Cel.y : 1  [by e.decoder.buf_ack_Cel._y:=0]
	    496097 e.decoder.addr_buf._out_a_B : 0  [by e.decoder.buf_ack_Cel.y:=1]
	    496193 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 1  [by e.decoder.addr_buf._out_a_B:=0]
	    496329 e.decoder.addr_buf._out_a_BX_t[0] : 0  [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=1]
	    496330 e.decoder.addr_buf.t_buf_func[0]._y : 1  [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
	    496570 e.decoder.addr_buf.t_buf_func[2]._y : 1  [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
	    496582 e.decoder.d_dr_y.in_tX[1].in : 0  [by e.decoder.addr_buf.t_buf_func[2]._y:=1]
	    497611 e.decoder.vtree_y.OR2_tf[1]._y : 1  [by e.decoder.d_dr_y.in_tX[1].in:=0]
	    497612 e.decoder.vtree_y.ct.in[1] : 0  [by e.decoder.vtree_y.OR2_tf[1]._y:=1]
	    500289 e.decoder.d_dr_x.in_tX[0].in : 0  [by e.decoder.addr_buf.t_buf_func[0]._y:=1]
	    500345 e.decoder.d_dr_x.in_tX[0].buf1._y : 1  [by e.decoder.d_dr_x.in_tX[0].in:=0]
	    500346 e.decoder.d_dr_x.atree[1].in[0] : 0  [by e.decoder.d_dr_x.in_tX[0].buf1._y:=1]
	    500383 e.decoder.d_dr_x.atree[1].b._y : 1  [by e.decoder.d_dr_x.atree[1].in[0]:=0]
	    500482 e.decoder.d_dr_y.in_tX[1].buf1._y : 1  [by e.decoder.d_dr_y.in_tX[1].in:=0]
	    500483 e.decoder.d_dr_y.atree[2].in[1] : 0  [by e.decoder.d_dr_y.in_tX[1].buf1._y:=1]
	    504047 e.decoder.d_dr_y.atree[3].and2s[0]._y : 1  [by e.decoder.d_dr_y.atree[2].in[1]:=0]
	    505739 e.decoder.d_dr_y.out[3] : 0  [by e.decoder.d_dr_y.atree[3].and2s[0]._y:=1]
	    505752 e.decoder._and_grid.ybuf[3].buf1._y : 1  [by e.decoder.d_dr_y.out[3]:=0]
	    514177 e.decoder.addr_buf._in_v : 0  [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=1]
	    514534 e.decoder.addr_buf.in_v_buf._y : 1  [by e.decoder.addr_buf._in_v:=0]
	    514559 e.in.v : 0  [by e.decoder.addr_buf.in_v_buf._y:=1]
	    515375 e.decoder.addr_buf.t_buf_func[1]._y : 1  [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
	    515396 e.decoder.d_dr_y.in_tX[0].in : 0  [by e.decoder.addr_buf.t_buf_func[1]._y:=1]
	    515397 e.decoder.d_dr_y.in_tX[0].buf1._y : 1  [by e.decoder.d_dr_y.in_tX[0].in:=0]
	    515398 e.decoder.d_dr_y.atree[1].in[0] : 0  [by e.decoder.d_dr_y.in_tX[0].buf1._y:=1]
	    522736 e.decoder._and_grid.ands[6].b : 0  [by e.decoder._and_grid.ybuf[3].buf1._y:=1]
	    522737 e.decoder._and_grid.ands[7]._y : 1  [by e.decoder._and_grid.ands[6].b:=0]
	    522898 e.out[7].r : 0  [by e.decoder._and_grid.ands[7]._y:=1]
	    523758 e.decoder.d_dr_x.out[1] : 0  [by e.decoder.d_dr_x.atree[1].b._y:=1]
	    523763 e.decoder._and_grid.xbuf[1].buf1._y : 1  [by e.decoder.d_dr_x.out[1]:=0]
	    523935 e.synapses[7].y : 1  [by e.out[7].r:=0]
	    523946 e.out[7].a : 0  [by e.synapses[7].y:=1]
	    524171 e.decoder._and_grid.ands[1].a : 0  [by e.decoder._and_grid.xbuf[1].buf1._y:=1]
	    524339 e.decoder.d_dr_xX[1].buf2._y : 1  [by e.decoder.d_dr_x.out[1]:=0]
	    525044 e.decoder.vtree_y.OR2_tf[0]._y : 1  [by e.decoder.d_dr_y.in_tX[0].in:=0]
	    525058 e.decoder.vtree_y.ct.in[0] : 0  [by e.decoder.vtree_y.OR2_tf[0]._y:=1]
	    525076 e.decoder.vtree_y.ct.C2Els[0]._y : 1  [by e.decoder.vtree_y.ct.in[0]:=0]
	    525080 e.decoder.vtree_y.out : 0  [by e.decoder.vtree_y.ct.C2Els[0]._y:=1]
	    525386 e.decoder.pu_ANDs[1].a : 0  [by e.decoder.d_dr_xX[1].buf2._y:=1]
	    525490 e.decoder.pu_ANDs[1]._y : 1  [by e.decoder.pu_ANDs[1].a:=0]
	    533385 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 1  [by e.decoder.addr_buf._out_a_B:=0]
	    534589 e.decoder.addr_buf._out_a_BX_f[0] : 0  [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=1]
	    545295 e.decoder.vtree_x.OR2_tf[0]._y : 1  [by e.decoder.d_dr_x.in_tX[0].in:=0]
	    553750 e.decoder.vtree_x.ct.in[0] : 0  [by e.decoder.vtree_x.OR2_tf[0]._y:=1]
	    553978 e.decoder.vtree_x.ct.b._y : 1  [by e.decoder.vtree_x.ct.in[0]:=0]
	    554821 e.decoder.vtree_x.out : 0  [by e.decoder.vtree_x.ct.b._y:=1]
	    556280 e.decoder.valid_Cel._y : 1  [by e.decoder.vtree_x.out:=0]
	    556350 e.decoder.valid_Cel.y : 0  [by e.decoder.valid_Cel._y:=1]
	    556934 e.decoder.pu[1].a : 0  [by e.decoder.pu_ANDs[1]._y:=1]
	    556945 e.decoder._out_acksB[1] : 1  [by e.decoder.pu[1].a:=0]
	    556948 e.decoder._ortree.in[1] : 0  [by e.decoder._out_acksB[1]:=1]
	    557002 e.decoder._ortree.or2s[0]._y : 1  [by e.decoder._ortree.in[1]:=0]
	    558150 e.decoder._ortree.out : 0  [by e.decoder._ortree.or2s[0]._y:=1]
	    559311 e.decoder.buf_ack_Cel._y : 1  [by e.decoder._ortree.out:=0]
	    567963 e.decoder.buf_ack_Cel.y : 0  [by e.decoder.buf_ack_Cel._y:=1]
	    568044 e.decoder.addr_buf._out_a_B : 1  [by e.decoder.buf_ack_Cel.y:=0]
	    579121 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 0  [by e.decoder.addr_buf._out_a_B:=1]
	    579213 e.decoder.addr_buf._out_a_BX_f[0] : 1  [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=0]
	    586027 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 0  [by e.decoder.addr_buf._out_a_B:=1]
	    594338 e.decoder.addr_buf._out_a_BX_t[0] : 1  [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=0]
	    606772 e.decoder.addr_buf.inack_ctl._y : 1  [by e.decoder.valid_Cel.y:=0]
	    608516 e.in.a : 0  [by e.decoder.addr_buf.inack_ctl._y:=1]
	    609129 e.decoder.addr_buf._en : 1  [by e.in.a:=0]
	    609174 e.decoder.addr_buf.en_buf_t.buf1._y : 0  [by e.decoder.addr_buf._en:=1]
	    610171 e.decoder.addr_buf._en_X_t[0] : 1  [by e.decoder.addr_buf.en_buf_t.buf1._y:=0]
	    623151 e.decoder.addr_buf.en_buf_f.buf1._y : 0  [by e.decoder.addr_buf._en:=1]
	    624800 e.decoder.addr_buf._en_X_f[0] : 1  [by e.decoder.addr_buf.en_buf_f.buf1._y:=0]
[] Sending in a 5 packet
	    624800 e.in.d.d[0].t : 1
	    624800 e.in.d.d[2].t : 1
	    624800 e.in.d.d[1].f : 1
	    624807 e.decoder.addr_buf.t_buf_func[2]._y : 0  [by e.in.d.d[2].t:=1]
	    624809 e.decoder.d_dr_y.in_tX[1].in : 1  [by e.decoder.addr_buf.t_buf_func[2]._y:=0]
	    624852 e.decoder.addr_buf.vc.OR2_tf[2]._y : 0  [by e.in.d.d[2].t:=1]
	    624853 e.decoder.addr_buf.vc.ct.in[2] : 1  [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=0]
	    624942 e.decoder.vtree_y.OR2_tf[1]._y : 0  [by e.decoder.d_dr_y.in_tX[1].in:=1]
	    624946 e.decoder.vtree_y.ct.in[1] : 1  [by e.decoder.vtree_y.OR2_tf[1]._y:=0]
	    625163 e.decoder.d_dr_y.in_tX[1].buf1._y : 0  [by e.decoder.d_dr_y.in_tX[1].in:=1]
	    625325 e.decoder.addr_buf.vc.OR2_tf[0]._y : 0  [by e.in.d.d[0].t:=1]
	    625700 e.decoder.addr_buf.t_buf_func[0]._y : 0  [by e.in.d.d[0].t:=1]
	    625701 e.decoder.d_dr_x.in_tX[0].in : 1  [by e.decoder.addr_buf.t_buf_func[0]._y:=0]
	    625709 e.decoder.d_dr_y.atree[2].in[1] : 1  [by e.decoder.d_dr_y.in_tX[1].buf1._y:=0]
	    625780 e.decoder.vtree_x.OR2_tf[0]._y : 0  [by e.decoder.d_dr_x.in_tX[0].in:=1]
	    628213 e.decoder.vtree_x.ct.in[0] : 1  [by e.decoder.vtree_x.OR2_tf[0]._y:=0]
	    628301 e.decoder.vtree_x.ct.b._y : 0  [by e.decoder.vtree_x.ct.in[0]:=1]
	    631267 e.decoder.addr_buf.f_buf_func[1]._y : 0  [by e.in.d.d[1].f:=1]
	    636083 e.decoder.vtree_x.out : 1  [by e.decoder.vtree_x.ct.b._y:=0]
	    638079 e.decoder.d_dr_x.in_tX[0].buf1._y : 0  [by e.decoder.d_dr_x.in_tX[0].in:=1]
	    638138 e.decoder.d_dr_x.atree[1].in[0] : 1  [by e.decoder.d_dr_x.in_tX[0].buf1._y:=0]
	    638168 e.decoder.d_dr_x.atree[1].b._y : 0  [by e.decoder.d_dr_x.atree[1].in[0]:=1]
	    639635 e.decoder.d_dr_x.out[1] : 1  [by e.decoder.d_dr_x.atree[1].b._y:=0]
	    640412 e.decoder.addr_buf.vc.OR2_tf[1]._y : 0  [by e.in.d.d[1].f:=1]
	    641097 e.decoder.addr_buf.vc.ct.in[1] : 1  [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=0]
	    659019 e.decoder.d_dr_xX[1].buf2._y : 0  [by e.decoder.d_dr_x.out[1]:=1]
	    659594 e.decoder.d_dr_y.in_fX[0].in : 1  [by e.decoder.addr_buf.f_buf_func[1]._y:=0]
	    659721 e.decoder.d_dr_y.in_fX[0].buf1._y : 0  [by e.decoder.d_dr_y.in_fX[0].in:=1]
	    659763 e.decoder.vtree_y.OR2_tf[0]._y : 0  [by e.decoder.d_dr_y.in_fX[0].in:=1]
	    659764 e.decoder.d_dr_y.atree[0].in[0] : 1  [by e.decoder.d_dr_y.in_fX[0].buf1._y:=0]
	    659775 e.decoder.vtree_y.ct.in[0] : 1  [by e.decoder.vtree_y.OR2_tf[0]._y:=0]
	    660008 e.decoder.vtree_y.ct.C2Els[0]._y : 0  [by e.decoder.vtree_y.ct.in[0]:=1]
	    660011 e.decoder.vtree_y.out : 1  [by e.decoder.vtree_y.ct.C2Els[0]._y:=0]
	    660049 e.decoder.valid_Cel._y : 0  [by e.decoder.vtree_y.out:=1]
	    660050 e.decoder.valid_Cel.y : 1  [by e.decoder.valid_Cel._y:=0]
	    661043 e.decoder.d_dr_y.atree[2].and2s[0]._y : 0  [by e.decoder.d_dr_y.atree[0].in[0]:=1]
	    670888 e.decoder.addr_buf.vc.ct.in[0] : 1  [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=0]
	    670980 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 0  [by e.decoder.addr_buf.vc.ct.in[0]:=1]
	    673707 e.decoder.addr_buf._in_v : 1  [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=0]
	    673709 e.decoder.addr_buf.in_v_buf._y : 0  [by e.decoder.addr_buf._in_v:=1]
	    673710 e.in.v : 1  [by e.decoder.addr_buf.in_v_buf._y:=0]
	    673795 e.decoder.d_dr_y.out[2] : 1  [by e.decoder.d_dr_y.atree[2].and2s[0]._y:=0]
	    673797 e.decoder._and_grid.ybuf[2].buf1._y : 0  [by e.decoder.d_dr_y.out[2]:=1]
	    673815 e.decoder._and_grid.ands[4].b : 1  [by e.decoder._and_grid.ybuf[2].buf1._y:=0]
	    675211 e.decoder.addr_buf.inack_ctl._y : 0  [by e.in.v:=1]
	    675330 e.in.a : 1  [by e.decoder.addr_buf.inack_ctl._y:=0]
	    675734 e.decoder.pu_ANDs[1].a : 1  [by e.decoder.d_dr_xX[1].buf2._y:=0]
	    675742 e.decoder.pu_ANDs[1]._y : 0  [by e.decoder.pu_ANDs[1].a:=1]
	    675796 e.decoder.pu[1].a : 1  [by e.decoder.pu_ANDs[1]._y:=0]
	    681050 e.decoder.addr_buf._en : 0  [by e.in.a:=1]
	    681055 e.decoder.addr_buf.en_buf_t.buf1._y : 1  [by e.decoder.addr_buf._en:=0]
	    682122 e.decoder.addr_buf._en_X_t[0] : 0  [by e.decoder.addr_buf.en_buf_t.buf1._y:=1]
	    699139 e.decoder._and_grid.xbuf[1].buf1._y : 0  [by e.decoder.d_dr_x.out[1]:=1]
	    699140 e.decoder._and_grid.ands[1].a : 1  [by e.decoder._and_grid.xbuf[1].buf1._y:=0]
	    699278 e.decoder._and_grid.ands[5]._y : 0  [by e.decoder._and_grid.ands[1].a:=1]
	    699279 e.out[5].r : 1  [by e.decoder._and_grid.ands[5]._y:=0]
	    699343 e.synapses[5].y : 0  [by e.out[5].r:=1]
	    731588 e.decoder.addr_buf.en_buf_f.buf1._y : 1  [by e.decoder.addr_buf._en:=0]
	    731711 e.decoder.addr_buf._en_X_f[0] : 0  [by e.decoder.addr_buf.en_buf_f.buf1._y:=1]
[] Removing input
[] Synapse [5] gives ack
	    731711 e.in.d.d[0].t : 0
	    731711 e.out[5].a : 1
	    731711 e.in.d.d[2].t : 0
	    731711 e.in.d.d[1].f : 0
	    731713 e.decoder.addr_buf.vc.OR2_tf[0]._y : 1  [by e.in.d.d[0].t:=0]
	    731748 e.decoder._out_acksB[1] : 0  [by e.out[5].a:=1]
	    731759 e.decoder._ortree.in[1] : 1  [by e.decoder._out_acksB[1]:=0]
	    731760 e.decoder._ortree.or2s[0]._y : 0  [by e.decoder._ortree.in[1]:=1]
	    731762 e.decoder.addr_buf.vc.OR2_tf[1]._y : 1  [by e.in.d.d[1].f:=0]
	    731769 e.decoder._ortree.out : 1  [by e.decoder._ortree.or2s[0]._y:=0]
	    731787 e.decoder.addr_buf.vc.ct.in[1] : 0  [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=1]
	    731854 e.decoder.addr_buf.vc.OR2_tf[2]._y : 1  [by e.in.d.d[2].t:=0]
	    732155 e.decoder.addr_buf.vc.ct.in[0] : 0  [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=1]
	    735375 e.decoder.addr_buf.vc.ct.in[2] : 0  [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=1]
	    735520 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 1  [by e.decoder.addr_buf.vc.ct.in[2]:=0]
	    742022 e.decoder.buf_ack_Cel._y : 0  [by e.decoder._ortree.out:=1]
	    742252 e.decoder.buf_ack_Cel.y : 1  [by e.decoder.buf_ack_Cel._y:=0]
	    742943 e.decoder.addr_buf._out_a_B : 0  [by e.decoder.buf_ack_Cel.y:=1]
	    742957 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 1  [by e.decoder.addr_buf._out_a_B:=0]
	    744486 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 1  [by e.decoder.addr_buf._out_a_B:=0]
	    744568 e.decoder.addr_buf._out_a_BX_f[0] : 0  [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=1]
	    744579 e.decoder.addr_buf.f_buf_func[1]._y : 1  [by e.decoder.addr_buf._out_a_BX_f[0]:=0]
	    744580 e.decoder.d_dr_y.in_fX[0].in : 0  [by e.decoder.addr_buf.f_buf_func[1]._y:=1]
	    744581 e.decoder.d_dr_y.in_fX[0].buf1._y : 1  [by e.decoder.d_dr_y.in_fX[0].in:=0]
	    745220 e.decoder.d_dr_y.atree[0].in[0] : 0  [by e.decoder.d_dr_y.in_fX[0].buf1._y:=1]
	    747013 e.decoder.d_dr_y.atree[2].and2s[0]._y : 1  [by e.decoder.d_dr_y.atree[0].in[0]:=0]
	    747145 e.decoder.d_dr_y.out[2] : 0  [by e.decoder.d_dr_y.atree[2].and2s[0]._y:=1]
	    747146 e.decoder._and_grid.ybuf[2].buf1._y : 1  [by e.decoder.d_dr_y.out[2]:=0]
	    747163 e.decoder._and_grid.ands[4].b : 0  [by e.decoder._and_grid.ybuf[2].buf1._y:=1]
	    747315 e.decoder._and_grid.ands[5]._y : 1  [by e.decoder._and_grid.ands[4].b:=0]
	    750298 e.out[5].r : 0  [by e.decoder._and_grid.ands[5]._y:=1]
	    750301 e.synapses[5].y : 1  [by e.out[5].r:=0]
	    750725 e.out[5].a : 0  [by e.synapses[5].y:=1]
	    751081 e.decoder.vtree_y.OR2_tf[0]._y : 1  [by e.decoder.d_dr_y.in_fX[0].in:=0]
	    751087 e.decoder.vtree_y.ct.in[0] : 0  [by e.decoder.vtree_y.OR2_tf[0]._y:=1]
	    751688 e.decoder.addr_buf._in_v : 0  [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=1]
	    754276 e.decoder.addr_buf.in_v_buf._y : 1  [by e.decoder.addr_buf._in_v:=0]
	    756737 e.in.v : 0  [by e.decoder.addr_buf.in_v_buf._y:=1]
	    761998 e.decoder.addr_buf._out_a_BX_t[0] : 0  [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=1]
	    762828 e.decoder.addr_buf.t_buf_func[0]._y : 1  [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
	    762830 e.decoder.d_dr_x.in_tX[0].in : 0  [by e.decoder.addr_buf.t_buf_func[0]._y:=1]
	    763024 e.decoder.d_dr_x.in_tX[0].buf1._y : 1  [by e.decoder.d_dr_x.in_tX[0].in:=0]
	    763162 e.decoder.d_dr_x.atree[1].in[0] : 0  [by e.decoder.d_dr_x.in_tX[0].buf1._y:=1]
	    763179 e.decoder.d_dr_x.atree[1].b._y : 1  [by e.decoder.d_dr_x.atree[1].in[0]:=0]
	    763196 e.decoder.d_dr_x.out[1] : 0  [by e.decoder.d_dr_x.atree[1].b._y:=1]
	    763197 e.decoder.d_dr_xX[1].buf2._y : 1  [by e.decoder.d_dr_x.out[1]:=0]
	    763198 e.decoder.pu_ANDs[1].a : 0  [by e.decoder.d_dr_xX[1].buf2._y:=1]
	    763433 e.decoder.vtree_x.OR2_tf[0]._y : 1  [by e.decoder.d_dr_x.in_tX[0].in:=0]
	    763434 e.decoder.vtree_x.ct.in[0] : 0  [by e.decoder.vtree_x.OR2_tf[0]._y:=1]
	    763453 e.decoder.vtree_x.ct.b._y : 1  [by e.decoder.vtree_x.ct.in[0]:=0]
	    763621 e.decoder.vtree_x.out : 0  [by e.decoder.vtree_x.ct.b._y:=1]
	    763622 e.decoder._and_grid.xbuf[1].buf1._y : 1  [by e.decoder.d_dr_x.out[1]:=0]
	    764161 e.decoder._and_grid.ands[1].a : 0  [by e.decoder._and_grid.xbuf[1].buf1._y:=1]
	    764224 e.decoder.pu_ANDs[1]._y : 1  [by e.decoder.pu_ANDs[1].a:=0]
	    764385 e.decoder.pu[1].a : 0  [by e.decoder.pu_ANDs[1]._y:=1]
	    764558 e.decoder._out_acksB[1] : 1  [by e.decoder.pu[1].a:=0]
	    767105 e.decoder._ortree.in[1] : 0  [by e.decoder._out_acksB[1]:=1]
	    782166 e.decoder._ortree.or2s[0]._y : 1  [by e.decoder._ortree.in[1]:=0]
	    782167 e.decoder._ortree.out : 0  [by e.decoder._ortree.or2s[0]._y:=1]
	    784930 e.decoder.addr_buf.t_buf_func[2]._y : 1  [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
	    784931 e.decoder.d_dr_y.in_tX[1].in : 0  [by e.decoder.addr_buf.t_buf_func[2]._y:=1]
	    785138 e.decoder.vtree_y.OR2_tf[1]._y : 1  [by e.decoder.d_dr_y.in_tX[1].in:=0]
	    785321 e.decoder.d_dr_y.in_tX[1].buf1._y : 1  [by e.decoder.d_dr_y.in_tX[1].in:=0]
	    785349 e.decoder.d_dr_y.atree[2].in[1] : 0  [by e.decoder.d_dr_y.in_tX[1].buf1._y:=1]
	    785971 e.decoder.vtree_y.ct.in[1] : 0  [by e.decoder.vtree_y.OR2_tf[1]._y:=1]
	    785978 e.decoder.vtree_y.ct.C2Els[0]._y : 1  [by e.decoder.vtree_y.ct.in[1]:=0]
	    786392 e.decoder.vtree_y.out : 0  [by e.decoder.vtree_y.ct.C2Els[0]._y:=1]
	    786396 e.decoder.valid_Cel._y : 1  [by e.decoder.vtree_y.out:=0]
	    788175 e.decoder.valid_Cel.y : 0  [by e.decoder.valid_Cel._y:=1]
	    788341 e.decoder.addr_buf.inack_ctl._y : 1  [by e.decoder.valid_Cel.y:=0]
	    811049 e.decoder.buf_ack_Cel._y : 1  [by e.decoder.valid_Cel.y:=0]
	    819694 e.decoder.buf_ack_Cel.y : 0  [by e.decoder.buf_ack_Cel._y:=1]
	    820627 e.decoder.addr_buf._out_a_B : 1  [by e.decoder.buf_ack_Cel.y:=0]
	    820766 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 0  [by e.decoder.addr_buf._out_a_B:=1]
	    821483 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 0  [by e.decoder.addr_buf._out_a_B:=1]
	    821678 e.decoder.addr_buf._out_a_BX_f[0] : 1  [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=0]
	    828211 e.in.a : 0  [by e.decoder.addr_buf.inack_ctl._y:=1]
	    828213 e.decoder.addr_buf._en : 1  [by e.in.a:=0]
	    828219 e.decoder.addr_buf.en_buf_t.buf1._y : 0  [by e.decoder.addr_buf._en:=1]
	    828473 e.decoder.addr_buf._en_X_t[0] : 1  [by e.decoder.addr_buf.en_buf_t.buf1._y:=0]
	    846975 e.decoder.addr_buf._out_a_BX_t[0] : 1  [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=0]
	    881662 e.decoder.addr_buf.en_buf_f.buf1._y : 0  [by e.decoder.addr_buf._en:=1]
	    881670 e.decoder.addr_buf._en_X_f[0] : 1  [by e.decoder.addr_buf.en_buf_f.buf1._y:=0]
[] Sending in a 1 packet
	    881670 e.in.d.d[0].t : 1
	    881670 e.in.d.d[2].f : 1
	    881670 e.in.d.d[1].f : 1
	    881671 e.decoder.addr_buf.vc.OR2_tf[0]._y : 0  [by e.in.d.d[0].t:=1]
	    881672 e.decoder.addr_buf.vc.ct.in[0] : 1  [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=0]
	    881676 e.decoder.addr_buf.t_buf_func[0]._y : 0  [by e.in.d.d[0].t:=1]
	    881682 e.decoder.d_dr_x.in_tX[0].in : 1  [by e.decoder.addr_buf.t_buf_func[0]._y:=0]
	    881684 e.decoder.d_dr_x.in_tX[0].buf1._y : 0  [by e.decoder.d_dr_x.in_tX[0].in:=1]
	    881699 e.decoder.d_dr_x.atree[1].in[0] : 1  [by e.decoder.d_dr_x.in_tX[0].buf1._y:=0]
	    881896 e.decoder.addr_buf.vc.OR2_tf[1]._y : 0  [by e.in.d.d[1].f:=1]
	    882003 e.decoder.addr_buf.vc.ct.in[1] : 1  [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=0]
	    882489 e.decoder.addr_buf.f_buf_func[1]._y : 0  [by e.in.d.d[1].f:=1]
	    882582 e.decoder.d_dr_y.in_fX[0].in : 1  [by e.decoder.addr_buf.f_buf_func[1]._y:=0]
	    884234 e.decoder.d_dr_y.in_fX[0].buf1._y : 0  [by e.decoder.d_dr_y.in_fX[0].in:=1]
	    884760 e.decoder.addr_buf.f_buf_func[2]._y : 0  [by e.in.d.d[2].f:=1]
	    884992 e.decoder.d_dr_y.atree[0].in[0] : 1  [by e.decoder.d_dr_y.in_fX[0].buf1._y:=0]
	    885244 e.decoder.vtree_x.OR2_tf[0]._y : 0  [by e.decoder.d_dr_x.in_tX[0].in:=1]
	    885960 e.decoder.vtree_x.ct.in[0] : 1  [by e.decoder.vtree_x.OR2_tf[0]._y:=0]
	    885961 e.decoder.vtree_x.ct.b._y : 0  [by e.decoder.vtree_x.ct.in[0]:=1]
	    886521 e.decoder.vtree_y.OR2_tf[0]._y : 0  [by e.decoder.d_dr_y.in_fX[0].in:=1]
	    886522 e.decoder.vtree_y.ct.in[0] : 1  [by e.decoder.vtree_y.OR2_tf[0]._y:=0]
	    887383 e.decoder.d_dr_y.in_fX[1].in : 1  [by e.decoder.addr_buf.f_buf_func[2]._y:=0]
	    887701 e.decoder.vtree_x.out : 1  [by e.decoder.vtree_x.ct.b._y:=0]
	    899535 e.decoder.d_dr_y.in_fX[1].buf1._y : 0  [by e.decoder.d_dr_y.in_fX[1].in:=1]
	    899536 e.decoder.d_dr_y.atree[0].in[1] : 1  [by e.decoder.d_dr_y.in_fX[1].buf1._y:=0]
	    899542 e.decoder.d_dr_y.atree[0].and2s[0]._y : 0  [by e.decoder.d_dr_y.atree[0].in[1]:=1]
	    899543 e.decoder.d_dr_y.out[0] : 1  [by e.decoder.d_dr_y.atree[0].and2s[0]._y:=0]
	    902500 e.decoder.d_dr_x.atree[1].b._y : 0  [by e.decoder.d_dr_x.atree[1].in[0]:=1]
	    915582 e.decoder.vtree_y.OR2_tf[1]._y : 0  [by e.decoder.d_dr_y.in_fX[1].in:=1]
	    915604 e.decoder.vtree_y.ct.in[1] : 1  [by e.decoder.vtree_y.OR2_tf[1]._y:=0]
	    924099 e.decoder.d_dr_x.out[1] : 1  [by e.decoder.d_dr_x.atree[1].b._y:=0]
	    924106 e.decoder._and_grid.xbuf[1].buf1._y : 0  [by e.decoder.d_dr_x.out[1]:=1]
	    924119 e.decoder._and_grid.ands[1].a : 1  [by e.decoder._and_grid.xbuf[1].buf1._y:=0]
	    924164 e.decoder.d_dr_xX[1].buf2._y : 0  [by e.decoder.d_dr_x.out[1]:=1]
	    925288 e.decoder.pu_ANDs[1].a : 1  [by e.decoder.d_dr_xX[1].buf2._y:=0]
	    925392 e.decoder.pu_ANDs[1]._y : 0  [by e.decoder.pu_ANDs[1].a:=1]
	    925433 e.decoder.pu[1].a : 1  [by e.decoder.pu_ANDs[1]._y:=0]
	    932706 e.decoder.addr_buf.vc.OR2_tf[2]._y : 0  [by e.in.d.d[2].f:=1]
	    932707 e.decoder.addr_buf.vc.ct.in[2] : 1  [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=0]
	    932708 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 0  [by e.decoder.addr_buf.vc.ct.in[2]:=1]
	    938112 e.decoder.vtree_y.ct.C2Els[0]._y : 0  [by e.decoder.vtree_y.ct.in[1]:=1]
	    939032 e.decoder._and_grid.ybuf[0].buf1._y : 0  [by e.decoder.d_dr_y.out[0]:=1]
	    939033 e.decoder._and_grid.ands[0].b : 1  [by e.decoder._and_grid.ybuf[0].buf1._y:=0]
	    951284 e.decoder.vtree_y.out : 1  [by e.decoder.vtree_y.ct.C2Els[0]._y:=0]
	    954420 e.decoder.valid_Cel._y : 0  [by e.decoder.vtree_y.out:=1]
	    955246 e.decoder.valid_Cel.y : 1  [by e.decoder.valid_Cel._y:=0]
	    958858 e.decoder._and_grid.ands[1]._y : 0  [by e.decoder._and_grid.ands[0].b:=1]
	    960691 e.out[1].r : 1  [by e.decoder._and_grid.ands[1]._y:=0]
	    977239 e.synapses[1].y : 0  [by e.out[1].r:=1]
	    997086 e.decoder.addr_buf._in_v : 1  [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=0]
	    997144 e.decoder.addr_buf.in_v_buf._y : 0  [by e.decoder.addr_buf._in_v:=1]
	    999587 e.in.v : 1  [by e.decoder.addr_buf.in_v_buf._y:=0]
	   1016360 e.decoder.addr_buf.inack_ctl._y : 0  [by e.in.v:=1]
	   1053559 e.in.a : 1  [by e.decoder.addr_buf.inack_ctl._y:=0]
	   1053573 e.decoder.addr_buf._en : 0  [by e.in.a:=1]
	   1053929 e.decoder.addr_buf.en_buf_f.buf1._y : 1  [by e.decoder.addr_buf._en:=0]
	   1054034 e.decoder.addr_buf._en_X_f[0] : 0  [by e.decoder.addr_buf.en_buf_f.buf1._y:=1]
	   1089411 e.decoder.addr_buf.en_buf_t.buf1._y : 1  [by e.decoder.addr_buf._en:=0]
	   1089520 e.decoder.addr_buf._en_X_t[0] : 0  [by e.decoder.addr_buf.en_buf_t.buf1._y:=1]
[] Synapse [5] gives ack
	   1089520 e.out[1].a : 1
	   1089521 e.decoder._out_acksB[1] : 0  [by e.out[1].a:=1]
	   1089530 e.decoder._ortree.in[1] : 1  [by e.decoder._out_acksB[1]:=0]
	   1127483 e.decoder._ortree.or2s[0]._y : 0  [by e.decoder._ortree.in[1]:=1]
	   1127484 e.decoder._ortree.out : 1  [by e.decoder._ortree.or2s[0]._y:=0]
	   1163878 e.decoder.buf_ack_Cel._y : 0  [by e.decoder._ortree.out:=1]
	   1163879 e.decoder.buf_ack_Cel.y : 1  [by e.decoder.buf_ack_Cel._y:=0]
	   1166968 e.decoder.addr_buf._out_a_B : 0  [by e.decoder.buf_ack_Cel.y:=1]
	   1167718 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 1  [by e.decoder.addr_buf._out_a_B:=0]
	   1174473 e.decoder.addr_buf._out_a_BX_t[0] : 0  [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=1]
	   1174524 e.decoder.addr_buf.t_buf_func[0]._y : 1  [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
	   1174534 e.decoder.d_dr_x.in_tX[0].in : 0  [by e.decoder.addr_buf.t_buf_func[0]._y:=1]
	   1174854 e.decoder.d_dr_x.in_tX[0].buf1._y : 1  [by e.decoder.d_dr_x.in_tX[0].in:=0]
	   1174855 e.decoder.d_dr_x.atree[1].in[0] : 0  [by e.decoder.d_dr_x.in_tX[0].buf1._y:=1]
	   1174856 e.decoder.d_dr_x.atree[1].b._y : 1  [by e.decoder.d_dr_x.atree[1].in[0]:=0]
	   1176586 e.decoder.d_dr_x.out[1] : 0  [by e.decoder.d_dr_x.atree[1].b._y:=1]
	   1176601 e.decoder.d_dr_xX[1].buf2._y : 1  [by e.decoder.d_dr_x.out[1]:=0]
	   1178273 e.decoder._and_grid.xbuf[1].buf1._y : 1  [by e.decoder.d_dr_x.out[1]:=0]
	   1178727 e.decoder._and_grid.ands[1].a : 0  [by e.decoder._and_grid.xbuf[1].buf1._y:=1]
	   1179043 e.decoder._and_grid.ands[1]._y : 1  [by e.decoder._and_grid.ands[1].a:=0]
	   1179044 e.out[1].r : 0  [by e.decoder._and_grid.ands[1]._y:=1]
	   1179427 e.synapses[1].y : 1  [by e.out[1].r:=0]
	   1182116 e.decoder.vtree_x.OR2_tf[0]._y : 1  [by e.decoder.d_dr_x.in_tX[0].in:=0]
	   1182136 e.decoder.vtree_x.ct.in[0] : 0  [by e.decoder.vtree_x.OR2_tf[0]._y:=1]
	   1183459 e.decoder.vtree_x.ct.b._y : 1  [by e.decoder.vtree_x.ct.in[0]:=0]
	   1183546 e.decoder.vtree_x.out : 0  [by e.decoder.vtree_x.ct.b._y:=1]
	   1186890 e.out[1].a : 0  [by e.synapses[1].y:=1]
	   1200875 e.decoder.pu_ANDs[1].a : 0  [by e.decoder.d_dr_xX[1].buf2._y:=1]
	   1207597 e.decoder.pu_ANDs[1]._y : 1  [by e.decoder.pu_ANDs[1].a:=0]
	   1207609 e.decoder.pu[1].a : 0  [by e.decoder.pu_ANDs[1]._y:=1]
	   1207754 e.decoder._out_acksB[1] : 1  [by e.decoder.pu[1].a:=0]
	   1208655 e.decoder._ortree.in[1] : 0  [by e.decoder._out_acksB[1]:=1]
	   1210004 e.decoder._ortree.or2s[0]._y : 1  [by e.decoder._ortree.in[1]:=0]
	   1210223 e.decoder._ortree.out : 0  [by e.decoder._ortree.or2s[0]._y:=1]
	   1215694 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 1  [by e.decoder.addr_buf._out_a_B:=0]
	   1224025 e.decoder.addr_buf._out_a_BX_f[0] : 0  [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=1]
	   1224043 e.decoder.addr_buf.f_buf_func[2]._y : 1  [by e.decoder.addr_buf._out_a_BX_f[0]:=0]
	   1226237 e.decoder.d_dr_y.in_fX[1].in : 0  [by e.decoder.addr_buf.f_buf_func[2]._y:=1]
	   1226357 e.decoder.vtree_y.OR2_tf[1]._y : 1  [by e.decoder.d_dr_y.in_fX[1].in:=0]
	   1232672 e.decoder.vtree_y.ct.in[1] : 0  [by e.decoder.vtree_y.OR2_tf[1]._y:=1]
	   1255606 e.decoder.addr_buf.f_buf_func[1]._y : 1  [by e.decoder.addr_buf._out_a_BX_f[0]:=0]
	   1257670 e.decoder.d_dr_y.in_fX[0].in : 0  [by e.decoder.addr_buf.f_buf_func[1]._y:=1]
	   1257677 e.decoder.vtree_y.OR2_tf[0]._y : 1  [by e.decoder.d_dr_y.in_fX[0].in:=0]
	   1257678 e.decoder.vtree_y.ct.in[0] : 0  [by e.decoder.vtree_y.OR2_tf[0]._y:=1]
	   1257802 e.decoder.vtree_y.ct.C2Els[0]._y : 1  [by e.decoder.vtree_y.ct.in[0]:=0]
	   1258262 e.decoder.d_dr_y.in_fX[0].buf1._y : 1  [by e.decoder.d_dr_y.in_fX[0].in:=0]
	   1259314 e.decoder.d_dr_y.atree[0].in[0] : 0  [by e.decoder.d_dr_y.in_fX[0].buf1._y:=1]
	   1259674 e.decoder.d_dr_y.atree[0].and2s[0]._y : 1  [by e.decoder.d_dr_y.atree[0].in[0]:=0]
	   1263732 e.decoder.vtree_y.out : 0  [by e.decoder.vtree_y.ct.C2Els[0]._y:=1]
	   1264209 e.decoder.d_dr_y.in_fX[1].buf1._y : 1  [by e.decoder.d_dr_y.in_fX[1].in:=0]
	   1264829 e.decoder.valid_Cel._y : 1  [by e.decoder.vtree_y.out:=0]
	   1264833 e.decoder.valid_Cel.y : 0  [by e.decoder.valid_Cel._y:=1]
	   1269868 e.decoder.d_dr_y.out[0] : 0  [by e.decoder.d_dr_y.atree[0].and2s[0]._y:=1]
	   1276497 e.decoder.buf_ack_Cel._y : 1  [by e.decoder.valid_Cel.y:=0]
	   1284101 e.decoder.d_dr_y.atree[0].in[1] : 0  [by e.decoder.d_dr_y.in_fX[1].buf1._y:=1]
	   1294158 e.decoder.buf_ack_Cel.y : 0  [by e.decoder.buf_ack_Cel._y:=1]
	   1297539 e.decoder.addr_buf._out_a_B : 1  [by e.decoder.buf_ack_Cel.y:=0]
	   1297795 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 0  [by e.decoder.addr_buf._out_a_B:=1]
	   1297832 e.decoder.addr_buf._out_a_BX_f[0] : 1  [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=0]
	   1307787 e.decoder._and_grid.ybuf[0].buf1._y : 1  [by e.decoder.d_dr_y.out[0]:=0]
	   1307799 e.decoder._and_grid.ands[0].b : 0  [by e.decoder._and_grid.ybuf[0].buf1._y:=1]
	   1312469 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 0  [by e.decoder.addr_buf._out_a_B:=1]
	   1312478 e.decoder.addr_buf._out_a_BX_t[0] : 1  [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=0]
[] Removing input
	   1312478 e.in.d.d[0].t : 0
	   1312478 e.in.d.d[2].f : 0
	   1312478 e.in.d.d[1].f : 0
	   1312720 e.decoder.addr_buf.vc.OR2_tf[2]._y : 1  [by e.in.d.d[2].f:=0]
	   1312905 e.decoder.addr_buf.vc.OR2_tf[0]._y : 1  [by e.in.d.d[0].t:=0]
	   1313313 e.decoder.addr_buf.vc.OR2_tf[1]._y : 1  [by e.in.d.d[1].f:=0]
	   1314465 e.decoder.addr_buf.vc.ct.in[0] : 0  [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=1]
	   1350406 e.decoder.addr_buf.vc.ct.in[1] : 0  [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=1]
	   1359456 e.decoder.addr_buf.vc.ct.in[2] : 0  [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=1]
	   1359716 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 1  [by e.decoder.addr_buf.vc.ct.in[2]:=0]
	   1368704 e.decoder.addr_buf._in_v : 0  [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=1]
	   1368705 e.decoder.addr_buf.in_v_buf._y : 1  [by e.decoder.addr_buf._in_v:=0]
	   1404755 e.in.v : 0  [by e.decoder.addr_buf.in_v_buf._y:=1]
	   1405139 e.decoder.addr_buf.inack_ctl._y : 1  [by e.in.v:=0]
	   1405158 e.in.a : 0  [by e.decoder.addr_buf.inack_ctl._y:=1]
	   1405167 e.decoder.addr_buf._en : 1  [by e.in.a:=0]
	   1405355 e.decoder.addr_buf.en_buf_t.buf1._y : 0  [by e.decoder.addr_buf._en:=1]
	   1427121 e.decoder.addr_buf.en_buf_f.buf1._y : 0  [by e.decoder.addr_buf._en:=1]
	   1430721 e.decoder.addr_buf._en_X_f[0] : 1  [by e.decoder.addr_buf.en_buf_f.buf1._y:=0]
	   1451131 e.decoder.addr_buf._en_X_t[0] : 1  [by e.decoder.addr_buf.en_buf_t.buf1._y:=0]
