t.in[0] t.out t.in[2] t.in[3] t.at.tmp[6] t.at.tmp[5] t.at.tmp[8] t.in[4] t.at.arbs[1]._y t.in[1] t.at.arbs[2]._y t.at.arbs[3]._y t.at.arbs[0]._y 
0
1
	         0 t.in[0] : 0
	         0 t.in[4] : 0
	         0 t.in[3] : 0
	         0 t.in[2] : 0
	         0 t.in[1] : 0
	         1 t.at.arbs[1]._y : 1  [by t.in[2]:=0]
	      7092 t.at.arbs[0]._y : 1  [by t.in[1]:=0]
	      7094 t.at.tmp[5] : 0  [by t.at.arbs[0]._y:=1]
	     10468 t.at.tmp[6] : 0  [by t.at.arbs[1]._y:=1]
	     15221 t.at.arbs[2]._y : 1  [by t.at.tmp[6]:=0]
	     16358 t.at.tmp[8] : 0  [by t.at.arbs[2]._y:=1]
	     16472 t.at.arbs[3]._y : 1  [by t.at.tmp[8]:=0]
	     81838 t.out : 0  [by t.at.arbs[3]._y:=1]
[] setting all low
[] setting bit 0 high
	     81838 t.in[0] : 1
	     83564 t.at.arbs[0]._y : 0  [by t.in[0]:=1]
	     83603 t.at.tmp[5] : 1  [by t.at.arbs[0]._y:=0]
	     83618 t.at.arbs[2]._y : 0  [by t.at.tmp[5]:=1]
	     84109 t.at.tmp[8] : 1  [by t.at.arbs[2]._y:=0]
	     84122 t.at.arbs[3]._y : 0  [by t.at.tmp[8]:=1]
	     84162 t.out : 1  [by t.at.arbs[3]._y:=0]
[] setting all low
	     84162 t.in[0] : 0
	     84577 t.at.arbs[0]._y : 1  [by t.in[0]:=0]
	     84597 t.at.tmp[5] : 0  [by t.at.arbs[0]._y:=1]
	     90658 t.at.arbs[2]._y : 1  [by t.at.tmp[5]:=0]
	     90705 t.at.tmp[8] : 0  [by t.at.arbs[2]._y:=1]
	     90721 t.at.arbs[3]._y : 1  [by t.at.tmp[8]:=0]
	    134819 t.out : 0  [by t.at.arbs[3]._y:=1]
[] setting bit 1 high
	    134819 t.in[1] : 1
	    148543 t.at.arbs[0]._y : 0  [by t.in[1]:=1]
	    148547 t.at.tmp[5] : 1  [by t.at.arbs[0]._y:=0]
	    157676 t.at.arbs[2]._y : 0  [by t.at.tmp[5]:=1]
	    157691 t.at.tmp[8] : 1  [by t.at.arbs[2]._y:=0]
	    200939 t.at.arbs[3]._y : 0  [by t.at.tmp[8]:=1]
	    237870 t.out : 1  [by t.at.arbs[3]._y:=0]
[] setting all low
	    237870 t.in[1] : 0
	    237925 t.at.arbs[0]._y : 1  [by t.in[1]:=0]
	    289578 t.at.tmp[5] : 0  [by t.at.arbs[0]._y:=1]
	    319358 t.at.arbs[2]._y : 1  [by t.at.tmp[5]:=0]
	    333207 t.at.tmp[8] : 0  [by t.at.arbs[2]._y:=1]
	    358019 t.at.arbs[3]._y : 1  [by t.at.tmp[8]:=0]
	    372362 t.out : 0  [by t.at.arbs[3]._y:=1]
[] setting bit 2 high
	    372362 t.in[2] : 1
	    372784 t.at.arbs[1]._y : 0  [by t.in[2]:=1]
	    421498 t.at.tmp[6] : 1  [by t.at.arbs[1]._y:=0]
	    421499 t.at.arbs[2]._y : 0  [by t.at.tmp[6]:=1]
	    421500 t.at.tmp[8] : 1  [by t.at.arbs[2]._y:=0]
	    441705 t.at.arbs[3]._y : 0  [by t.at.tmp[8]:=1]
	    441987 t.out : 1  [by t.at.arbs[3]._y:=0]
[] setting all low
	    441987 t.in[2] : 0
	    442755 t.at.arbs[1]._y : 1  [by t.in[2]:=0]
	    442758 t.at.tmp[6] : 0  [by t.at.arbs[1]._y:=1]
	    465199 t.at.arbs[2]._y : 1  [by t.at.tmp[6]:=0]
	    465750 t.at.tmp[8] : 0  [by t.at.arbs[2]._y:=1]
	    466821 t.at.arbs[3]._y : 1  [by t.at.tmp[8]:=0]
	    467775 t.out : 0  [by t.at.arbs[3]._y:=1]
[] setting bit 3 high
	    467775 t.in[3] : 1
	    468856 t.at.arbs[1]._y : 0  [by t.in[3]:=1]
	    523326 t.at.tmp[6] : 1  [by t.at.arbs[1]._y:=0]
	    524308 t.at.arbs[2]._y : 0  [by t.at.tmp[6]:=1]
	    524326 t.at.tmp[8] : 1  [by t.at.arbs[2]._y:=0]
	    528339 t.at.arbs[3]._y : 0  [by t.at.tmp[8]:=1]
	    532342 t.out : 1  [by t.at.arbs[3]._y:=0]
[] setting all low
	    532342 t.in[3] : 0
	    577243 t.at.arbs[1]._y : 1  [by t.in[3]:=0]
	    598827 t.at.tmp[6] : 0  [by t.at.arbs[1]._y:=1]
	    603587 t.at.arbs[2]._y : 1  [by t.at.tmp[6]:=0]
	    604089 t.at.tmp[8] : 0  [by t.at.arbs[2]._y:=1]
	    604292 t.at.arbs[3]._y : 1  [by t.at.tmp[8]:=0]
	    606146 t.out : 0  [by t.at.arbs[3]._y:=1]
[] setting bit 4 high
	    606146 t.in[4] : 1
	    606285 t.at.arbs[3]._y : 0  [by t.in[4]:=1]
	    642631 t.out : 1  [by t.at.arbs[3]._y:=0]