t.in[0] t.in[2] t.at.tmp[5] t.in[3] t.at.C2Els[0]._y t.in[4] t.at.C3Els[0]._y t.at.tmp[6] t.in[1] t.out t.at.C2Els[1]._y 
0
1
	         0 t.in[0] : 0
	         0 t.in[4] : 0
	         0 t.in[2] : 0
	         0 t.in[1] : 0
	         0 t.in[3] : 0
	         1 t.at.C2Els[0]._y : 1  [by t.in[0]:=0]
	      7092 t.at.C3Els[0]._y : 1  [by t.in[4]:=0]
	      7094 t.at.tmp[6] : 0  [by t.at.C3Els[0]._y:=1]
	     10468 t.at.tmp[5] : 0  [by t.at.C2Els[0]._y:=1]
	     11847 t.at.C2Els[1]._y : 1  [by t.at.tmp[6]:=0]
	     12984 t.out : 0  [by t.at.C2Els[1]._y:=1]
[] setting some bits high
	     12984 t.in[0] : 1
	     12984 t.in[2] : 1
	     12984 t.in[1] : 1
	     13098 t.at.C2Els[0]._y : 0  [by t.in[1]:=1]
	     78464 t.at.tmp[5] : 1  [by t.at.C2Els[0]._y:=0]
[] setting all bits high
	     78464 t.in[3] : 1
	     78464 t.in[4] : 1
	     80190 t.at.C3Els[0]._y : 0  [by t.in[4]:=1]
	     80229 t.at.tmp[6] : 1  [by t.at.C3Els[0]._y:=0]
	     80244 t.at.C2Els[1]._y : 0  [by t.at.tmp[6]:=1]
	     80735 t.out : 1  [by t.at.C2Els[1]._y:=0]
[] setting some low
	     80735 t.in[0] : 0
	     80735 t.in[1] : 0
	     80748 t.at.C2Els[0]._y : 1  [by t.in[0]:=0]
	     80788 t.at.tmp[5] : 0  [by t.at.C2Els[0]._y:=1]
	     81203 t.at.C2Els[1]._y : 1  [by t.at.tmp[5]:=0]
	     81223 t.out : 0  [by t.at.C2Els[1]._y:=1]
[] setting all low
	     81223 t.in[2] : 0
	     81223 t.in[4] : 0
	     81223 t.in[3] : 0
	     87284 t.at.C3Els[0]._y : 1  [by t.in[2]:=0]
	     87331 t.at.tmp[6] : 0  [by t.at.C3Els[0]._y:=1]