t.in[0] t.at.tmp[22] t.in[5] t.in[2] t.at.tmp[15] t.in[3] t.at.tmp[23] t.at.C2Els[0]._y t.in[7] t.in[6] t.at.C2Els[3]._y t.in[4] t.at.C3Els[0]._y t.in[12] t.out t.at.tmp[21] t.at.C2Els[6]._y t.in[11] t.at.tmp[17] t.in[14] t.in[1] t.in[10] t.in[9] t.at.C2Els[5]._y t.at.tmp[19] t.at.tmp[20] t.at.tmp[24] t.in[13] t.at.tmp[16] t.at.C2Els[4]._y t.in[8] t.at.tmp[18] t.at.C2Els[2]._y t.at.C3Els[2]._y t.at.C2Els[1]._y t.at.C2Els[7]._y t.at.C3Els[1]._y 0 1 0 t.in[0] : 0 0 t.in[14] : 0 0 t.in[2] : 0 0 t.in[6] : 0 0 t.in[13] : 0 0 t.in[5] : 0 0 t.in[12] : 0 0 t.in[11] : 0 0 t.in[1] : 0 0 t.in[4] : 0 0 t.in[10] : 0 0 t.in[9] : 0 0 t.in[3] : 0 0 t.in[8] : 0 0 t.in[7] : 0 1 t.at.C2Els[0]._y : 1 [by t.in[0]:=0] 2 t.at.C2Els[3]._y : 1 [by t.in[6]:=0] 114 t.at.C2Els[4]._y : 1 [by t.in[9]:=0] 153 t.at.tmp[19] : 0 [by t.at.C2Els[4]._y:=1] 168 t.at.C3Els[1]._y : 1 [by t.at.tmp[19]:=0] 659 t.at.tmp[24] : 0 [by t.at.C3Els[1]._y:=1] 672 t.at.C3Els[2]._y : 1 [by t.at.tmp[24]:=0] 712 t.out : 0 [by t.at.C3Els[2]._y:=1] 1137 t.at.C2Els[5]._y : 1 [by t.in[11]:=0] 1552 t.at.tmp[20] : 0 [by t.at.C2Els[5]._y:=1] 1728 t.at.tmp[18] : 0 [by t.at.C2Els[3]._y:=1] 1748 t.at.C2Els[7]._y : 1 [by t.at.tmp[18]:=0] 4753 t.at.C2Els[2]._y : 1 [by t.in[5]:=0] 4800 t.at.tmp[17] : 0 [by t.at.C2Els[2]._y:=1] 7092 t.at.C3Els[0]._y : 1 [by t.in[14]:=0] 7108 t.at.tmp[21] : 0 [by t.at.C3Els[0]._y:=1] 7809 t.at.tmp[23] : 0 [by t.at.C2Els[7]._y:=1] 10467 t.at.C2Els[1]._y : 1 [by t.in[2]:=0] 54565 t.at.tmp[16] : 0 [by t.at.C2Els[1]._y:=1] 65367 t.at.tmp[15] : 0 [by t.at.C2Els[0]._y:=1] 68289 t.at.C2Els[6]._y : 1 [by t.at.tmp[16]:=0] 68293 t.at.tmp[22] : 0 [by t.at.C2Els[6]._y:=1] [] setting some bits high 68293 t.in[0] : 1 68293 t.in[11] : 1 68293 t.in[10] : 1 68293 t.in[9] : 1 68293 t.in[2] : 1 68293 t.in[8] : 1 68293 t.in[7] : 1 68293 t.in[6] : 1 68293 t.in[5] : 1 68293 t.in[1] : 1 68293 t.in[4] : 1 68293 t.in[3] : 1 68308 t.at.C2Els[4]._y : 0 [by t.in[8]:=1] 68348 t.at.C2Els[2]._y : 0 [by t.in[4]:=1] 77422 t.at.C2Els[5]._y : 0 [by t.in[10]:=1] 82197 t.at.tmp[17] : 1 [by t.at.C2Els[2]._y:=0] 98088 t.at.tmp[19] : 1 [by t.at.C2Els[4]._y:=0] 102234 t.at.tmp[20] : 1 [by t.at.C2Els[5]._y:=0] 105224 t.at.C2Els[0]._y : 0 [by t.in[1]:=1] 111541 t.at.C2Els[3]._y : 0 [by t.in[6]:=1] 111963 t.at.tmp[18] : 1 [by t.at.C2Els[3]._y:=0] 119567 t.at.tmp[15] : 1 [by t.at.C2Els[0]._y:=0] 119946 t.at.C2Els[1]._y : 0 [by t.in[3]:=1] 119947 t.at.tmp[16] : 1 [by t.at.C2Els[1]._y:=0] 119948 t.at.C2Els[6]._y : 0 [by t.at.tmp[16]:=1] 140153 t.at.tmp[22] : 1 [by t.at.C2Els[6]._y:=0] 160677 t.at.C2Els[7]._y : 0 [by t.at.tmp[18]:=1] 160959 t.at.tmp[23] : 1 [by t.at.C2Els[7]._y:=0] [] setting all bits high 160959 t.in[12] : 1 160959 t.in[14] : 1 160959 t.in[13] : 1 161727 t.at.C3Els[0]._y : 0 [by t.in[13]:=1] 161730 t.at.tmp[21] : 1 [by t.at.C3Els[0]._y:=0] 184171 t.at.C3Els[1]._y : 0 [by t.at.tmp[21]:=1] 184722 t.at.tmp[24] : 1 [by t.at.C3Els[1]._y:=0] 185793 t.at.C3Els[2]._y : 0 [by t.at.tmp[24]:=1] 186747 t.out : 1 [by t.at.C3Els[2]._y:=0] [] setting some low 186747 t.in[10] : 0 187828 t.at.C2Els[5]._y : 1 [by t.in[10]:=0] 242298 t.at.tmp[20] : 0 [by t.at.C2Els[5]._y:=1] 243280 t.at.C3Els[1]._y : 1 [by t.at.tmp[20]:=0] 243298 t.at.tmp[24] : 0 [by t.at.C3Els[1]._y:=1] 247311 t.at.C3Els[2]._y : 1 [by t.at.tmp[24]:=0] 251314 t.out : 0 [by t.at.C3Els[2]._y:=1] [] setting all low 251314 t.in[0] : 0 251314 t.in[14] : 0 251314 t.in[2] : 0 251314 t.in[6] : 0 251314 t.in[5] : 0 251314 t.in[13] : 0 251314 t.in[12] : 0 251314 t.in[1] : 0 251314 t.in[4] : 0 251314 t.in[11] : 0 251314 t.in[9] : 0 251314 t.in[3] : 0 251314 t.in[8] : 0 251314 t.in[7] : 0 251517 t.at.C2Els[2]._y : 1 [by t.in[5]:=0] 251656 t.at.tmp[17] : 0 [by t.at.C2Els[2]._y:=1] 251816 t.at.C2Els[3]._y : 1 [by t.in[6]:=0] 251885 t.at.tmp[18] : 0 [by t.at.C2Els[3]._y:=1] 253168 t.at.C2Els[4]._y : 1 [by t.in[9]:=0] 253179 t.at.tmp[19] : 0 [by t.at.C2Els[4]._y:=1] 256074 t.at.C2Els[1]._y : 1 [by t.in[2]:=0] 272898 t.at.C3Els[0]._y : 1 [by t.in[14]:=0] 273102 t.at.tmp[21] : 0 [by t.at.C3Els[0]._y:=1] 288002 t.at.C2Els[7]._y : 1 [by t.at.tmp[17]:=0] 288017 t.at.tmp[23] : 0 [by t.at.C2Els[7]._y:=1] 296215 t.at.C2Els[0]._y : 1 [by t.in[0]:=0] 296216 t.at.tmp[15] : 0 [by t.at.C2Els[0]._y:=1] 296253 t.at.C2Els[6]._y : 1 [by t.at.tmp[15]:=0] 296992 t.at.tmp[22] : 0 [by t.at.C2Els[6]._y:=1] 307860 t.at.tmp[16] : 0 [by t.at.C2Els[1]._y:=1]