131 lines
8.0 KiB
Plaintext
131 lines
8.0 KiB
Plaintext
|
e.out.d[1].t e.in[6] e.in[1] e.e.ors_f[2].or2s[1]._y e.in[2] e.e.ors_t[2].tmp[4] e.e.ors_f[1].tmp[5] e.e.ors_t[1].or2s[1]._y e.in[4] e.in[5] e.e.ors_f[0].tmp[4] e.in[3] e.e.ors_f[2].tmp[4] e.e.ors_f[1].tmp[4] e.e.ors_t[0].tmp[4] e.e.ors_t[2].or2s[1]._y e.e.ors_t[2].or2s[2]._y e.out.d[1].f e.out.d[2].f e.out.d[2].t e.e.ors_t[1].or2s[0]._y e.e.ors_t[1].tmp[4] e.in[0] e.out.d[0].t e.e.ors_t[0].tmp[5] e.e.ors_t[1].tmp[5] e.e.ors_f[0].tmp[5] e.e.ors_t[2].tmp[5] e.e.ors_f[2].or2s[2]._y e.e.ors_f[1].or2s[0]._y e.e.ors_t[0].or2s[2]._y e.out.d[0].f e.e.ors_f[2].or2s[0]._y e.e.ors_f[0].or2s[0]._y e.e.ors_t[2].or2s[0]._y e.e.ors_f[2].tmp[5] e.e.ors_t[0].or2s[0]._y e.e.ors_f[1].or2s[2]._y e.e.ors_f[0].or2s[2]._y e.e.ors_t[1].or2s[2]._y e.e.ors_f[1].or2s[1]._y e.e.ors_f[0].or2s[1]._y e.e.ors_t[0].or2s[1]._y
|
||
|
0
|
||
|
0 e.in[0] : 0
|
||
|
0 e.in[6] : 0
|
||
|
0 e.in[5] : 0
|
||
|
0 e.in[2] : 0
|
||
|
0 e.in[1] : 0
|
||
|
0 e.in[4] : 0
|
||
|
0 e.in[3] : 0
|
||
|
1 e.e.ors_t[2].or2s[1]._y : 1 [by e.in[6]:=0]
|
||
|
2 e.e.ors_f[0].or2s[0]._y : 1 [by e.in[2]:=0]
|
||
|
14 e.e.ors_t[2].tmp[5] : 0 [by e.e.ors_t[2].or2s[1]._y:=1]
|
||
|
15 e.e.ors_t[1].or2s[0]._y : 1 [by e.in[3]:=0]
|
||
|
39 e.e.ors_f[2].or2s[1]._y : 1 [by e.in[3]:=0]
|
||
|
42 e.e.ors_f[0].tmp[4] : 0 [by e.e.ors_f[0].or2s[0]._y:=1]
|
||
|
59 e.e.ors_f[2].tmp[5] : 0 [by e.e.ors_f[2].or2s[1]._y:=1]
|
||
|
114 e.e.ors_t[2].or2s[0]._y : 1 [by e.in[4]:=0]
|
||
|
430 e.e.ors_t[1].tmp[4] : 0 [by e.e.ors_t[1].or2s[0]._y:=1]
|
||
|
491 e.e.ors_t[0].or2s[0]._y : 1 [by e.in[3]:=0]
|
||
|
538 e.e.ors_t[0].tmp[4] : 0 [by e.e.ors_t[0].or2s[0]._y:=1]
|
||
|
1137 e.e.ors_f[1].or2s[0]._y : 1 [by e.in[1]:=0]
|
||
|
1153 e.e.ors_f[1].tmp[4] : 0 [by e.e.ors_f[1].or2s[0]._y:=1]
|
||
|
1726 e.e.ors_f[0].or2s[1]._y : 1 [by e.in[4]:=0]
|
||
|
4753 e.e.ors_f[2].or2s[0]._y : 1 [by e.in[1]:=0]
|
||
|
6175 e.e.ors_t[2].tmp[4] : 0 [by e.e.ors_t[2].or2s[0]._y:=1]
|
||
|
6179 e.e.ors_t[2].or2s[2]._y : 1 [by e.e.ors_t[2].tmp[4]:=0]
|
||
|
7092 e.e.ors_t[1].or2s[1]._y : 1 [by e.in[6]:=0]
|
||
|
7107 e.e.ors_t[1].tmp[5] : 0 [by e.e.ors_t[1].or2s[1]._y:=1]
|
||
|
10467 e.e.ors_t[0].or2s[1]._y : 1 [by e.in[5]:=0]
|
||
|
15308 e.out.d[2].t : 0 [by e.e.ors_t[2].or2s[2]._y:=1]
|
||
|
18477 e.e.ors_f[2].tmp[4] : 0 [by e.e.ors_f[2].or2s[0]._y:=1]
|
||
|
18532 e.e.ors_f[2].or2s[2]._y : 1 [by e.e.ors_f[2].tmp[4]:=0]
|
||
|
45824 e.e.ors_f[0].tmp[5] : 0 [by e.e.ors_f[0].or2s[1]._y:=1]
|
||
|
47398 e.e.ors_t[0].tmp[5] : 0 [by e.e.ors_t[0].or2s[1]._y:=1]
|
||
|
50355 e.e.ors_t[1].or2s[2]._y : 1 [by e.e.ors_t[1].tmp[5]:=0]
|
||
|
61247 e.e.ors_t[0].or2s[2]._y : 1 [by e.e.ors_t[0].tmp[5]:=0]
|
||
|
65366 e.e.ors_f[1].or2s[1]._y : 1 [by e.in[4]:=0]
|
||
|
65788 e.e.ors_f[1].tmp[5] : 0 [by e.e.ors_f[1].or2s[1]._y:=1]
|
||
|
70185 e.out.d[2].f : 0 [by e.e.ors_f[2].or2s[2]._y:=1]
|
||
|
75167 e.out.d[1].t : 0 [by e.e.ors_t[1].or2s[2]._y:=1]
|
||
|
75590 e.out.d[0].t : 0 [by e.e.ors_t[0].or2s[2]._y:=1]
|
||
|
75604 e.e.ors_f[0].or2s[2]._y : 1 [by e.e.ors_f[0].tmp[5]:=0]
|
||
|
75605 e.out.d[0].f : 0 [by e.e.ors_f[0].or2s[2]._y:=1]
|
||
|
114502 e.e.ors_f[1].or2s[2]._y : 1 [by e.e.ors_f[1].tmp[5]:=0]
|
||
|
114503 e.out.d[1].f : 0 [by e.e.ors_f[1].or2s[2]._y:=1]
|
||
|
[] setting input 0 high
|
||
|
114503 Reset : 0
|
||
|
114503 e.in[0] : 1
|
||
|
114785 e.e.ors_f[1].or2s[0]._y : 0 [by e.in[0]:=1]
|
||
|
114788 e.e.ors_f[1].tmp[4] : 1 [by e.e.ors_f[1].or2s[0]._y:=0]
|
||
|
115271 e.e.ors_f[0].or2s[0]._y : 0 [by e.in[0]:=1]
|
||
|
115822 e.e.ors_f[0].tmp[4] : 1 [by e.e.ors_f[0].or2s[0]._y:=0]
|
||
|
116893 e.e.ors_f[0].or2s[2]._y : 0 [by e.e.ors_f[0].tmp[4]:=1]
|
||
|
117847 e.out.d[0].f : 1 [by e.e.ors_f[0].or2s[2]._y:=0]
|
||
|
134708 e.e.ors_f[2].or2s[0]._y : 0 [by e.in[0]:=1]
|
||
|
135789 e.e.ors_f[2].tmp[4] : 1 [by e.e.ors_f[2].or2s[0]._y:=0]
|
||
|
137229 e.e.ors_f[1].or2s[2]._y : 0 [by e.e.ors_f[1].tmp[4]:=1]
|
||
|
138211 e.out.d[1].f : 1 [by e.e.ors_f[1].or2s[2]._y:=0]
|
||
|
190259 e.e.ors_f[2].or2s[2]._y : 0 [by e.e.ors_f[2].tmp[4]:=1]
|
||
|
190277 e.out.d[2].f : 1 [by e.e.ors_f[2].or2s[2]._y:=0]
|
||
|
[] removing inputs
|
||
|
190277 e.in[0] : 0
|
||
|
194280 e.e.ors_f[1].or2s[0]._y : 1 [by e.in[0]:=0]
|
||
|
194290 e.e.ors_f[2].or2s[0]._y : 1 [by e.in[0]:=0]
|
||
|
199050 e.e.ors_f[2].tmp[4] : 0 [by e.e.ors_f[2].or2s[0]._y:=1]
|
||
|
199552 e.e.ors_f[2].or2s[2]._y : 1 [by e.e.ors_f[2].tmp[4]:=0]
|
||
|
199755 e.out.d[2].f : 0 [by e.e.ors_f[2].or2s[2]._y:=1]
|
||
|
215864 e.e.ors_f[1].tmp[4] : 0 [by e.e.ors_f[1].or2s[0]._y:=1]
|
||
|
217718 e.e.ors_f[1].or2s[2]._y : 1 [by e.e.ors_f[1].tmp[4]:=0]
|
||
|
217857 e.out.d[1].f : 0 [by e.e.ors_f[1].or2s[2]._y:=1]
|
||
|
235178 e.e.ors_f[0].or2s[0]._y : 1 [by e.in[0]:=0]
|
||
|
271524 e.e.ors_f[0].tmp[4] : 0 [by e.e.ors_f[0].or2s[0]._y:=1]
|
||
|
271593 e.e.ors_f[0].or2s[2]._y : 1 [by e.e.ors_f[0].tmp[4]:=0]
|
||
|
271604 e.out.d[0].f : 0 [by e.e.ors_f[0].or2s[2]._y:=1]
|
||
|
[] setting input 4 high
|
||
|
271604 e.in[4] : 1
|
||
|
271619 e.e.ors_f[0].or2s[1]._y : 0 [by e.in[4]:=1]
|
||
|
271620 e.e.ors_f[0].tmp[5] : 1 [by e.e.ors_f[0].or2s[1]._y:=0]
|
||
|
271657 e.e.ors_f[0].or2s[2]._y : 0 [by e.e.ors_f[0].tmp[5]:=1]
|
||
|
271808 e.e.ors_f[1].or2s[1]._y : 0 [by e.in[4]:=1]
|
||
|
271920 e.e.ors_f[1].tmp[5] : 1 [by e.e.ors_f[1].or2s[1]._y:=0]
|
||
|
272396 e.out.d[0].f : 1 [by e.e.ors_f[0].or2s[2]._y:=0]
|
||
|
319432 e.e.ors_f[1].or2s[2]._y : 0 [by e.e.ors_f[1].tmp[5]:=1]
|
||
|
319472 e.out.d[1].f : 1 [by e.e.ors_f[1].or2s[2]._y:=0]
|
||
|
323390 e.e.ors_t[2].or2s[0]._y : 0 [by e.in[4]:=1]
|
||
|
323647 e.e.ors_t[2].tmp[4] : 1 [by e.e.ors_t[2].or2s[0]._y:=0]
|
||
|
323734 e.e.ors_t[2].or2s[2]._y : 0 [by e.e.ors_t[2].tmp[4]:=1]
|
||
|
324028 e.out.d[2].t : 1 [by e.e.ors_t[2].or2s[2]._y:=0]
|
||
|
[] removing inputs
|
||
|
324028 e.in[4] : 0
|
||
|
324029 e.e.ors_t[2].or2s[0]._y : 1 [by e.in[4]:=0]
|
||
|
325238 e.e.ors_t[2].tmp[4] : 0 [by e.e.ors_t[2].or2s[0]._y:=1]
|
||
|
325828 e.e.ors_t[2].or2s[2]._y : 1 [by e.e.ors_t[2].tmp[4]:=0]
|
||
|
325834 e.e.ors_f[1].or2s[1]._y : 1 [by e.in[4]:=0]
|
||
|
326006 e.out.d[2].t : 0 [by e.e.ors_t[2].or2s[2]._y:=1]
|
||
|
326035 e.e.ors_f[0].or2s[1]._y : 1 [by e.in[4]:=0]
|
||
|
326199 e.e.ors_f[0].tmp[5] : 0 [by e.e.ors_f[0].or2s[1]._y:=1]
|
||
|
326637 e.e.ors_f[1].tmp[5] : 0 [by e.e.ors_f[1].or2s[1]._y:=1]
|
||
|
326659 e.e.ors_f[1].or2s[2]._y : 1 [by e.e.ors_f[1].tmp[5]:=0]
|
||
|
327506 e.out.d[1].f : 0 [by e.e.ors_f[1].or2s[2]._y:=1]
|
||
|
328394 e.e.ors_f[0].or2s[2]._y : 1 [by e.e.ors_f[0].tmp[5]:=0]
|
||
|
358522 e.out.d[0].f : 0 [by e.e.ors_f[0].or2s[2]._y:=1]
|
||
|
[] setting input 6 high
|
||
|
358522 e.in[6] : 1
|
||
|
358655 e.e.ors_t[2].or2s[1]._y : 0 [by e.in[6]:=1]
|
||
|
358881 e.e.ors_f[0].or2s[1]._y : 0 [by e.in[6]:=1]
|
||
|
359102 e.e.ors_f[0].tmp[5] : 1 [by e.e.ors_f[0].or2s[1]._y:=0]
|
||
|
359109 e.e.ors_f[0].or2s[2]._y : 0 [by e.e.ors_f[0].tmp[5]:=1]
|
||
|
359139 e.out.d[0].f : 1 [by e.e.ors_f[0].or2s[2]._y:=0]
|
||
|
372771 e.e.ors_t[2].tmp[5] : 1 [by e.e.ors_t[2].or2s[1]._y:=0]
|
||
|
374184 e.e.ors_t[1].or2s[1]._y : 0 [by e.in[6]:=1]
|
||
|
379484 e.e.ors_t[2].or2s[2]._y : 0 [by e.e.ors_t[2].tmp[5]:=1]
|
||
|
379575 e.out.d[2].t : 1 [by e.e.ors_t[2].or2s[2]._y:=0]
|
||
|
431645 e.e.ors_t[1].tmp[5] : 1 [by e.e.ors_t[1].or2s[1]._y:=0]
|
||
|
433834 e.e.ors_t[1].or2s[2]._y : 0 [by e.e.ors_t[1].tmp[5]:=1]
|
||
|
433841 e.out.d[1].t : 1 [by e.e.ors_t[1].or2s[2]._y:=0]
|
||
|
[] removing inputs
|
||
|
433841 e.in[6] : 0
|
||
|
433919 e.e.ors_f[0].or2s[1]._y : 1 [by e.in[6]:=0]
|
||
|
433947 e.e.ors_t[1].or2s[1]._y : 1 [by e.in[6]:=0]
|
||
|
434194 e.e.ors_f[0].tmp[5] : 0 [by e.e.ors_f[0].or2s[1]._y:=1]
|
||
|
434649 e.e.ors_f[0].or2s[2]._y : 1 [by e.e.ors_f[0].tmp[5]:=0]
|
||
|
434661 e.out.d[0].f : 0 [by e.e.ors_f[0].or2s[2]._y:=1]
|
||
|
436628 e.e.ors_t[2].or2s[1]._y : 1 [by e.in[6]:=0]
|
||
|
437032 e.e.ors_t[2].tmp[5] : 0 [by e.e.ors_t[2].or2s[1]._y:=1]
|
||
|
437044 e.e.ors_t[2].or2s[2]._y : 1 [by e.e.ors_t[2].tmp[5]:=0]
|
||
|
442960 e.out.d[2].t : 0 [by e.e.ors_t[2].or2s[2]._y:=1]
|
||
|
452943 e.e.ors_t[1].tmp[5] : 0 [by e.e.ors_t[1].or2s[1]._y:=1]
|
||
|
457219 e.e.ors_t[1].or2s[2]._y : 1 [by e.e.ors_t[1].tmp[5]:=0]
|
||
|
460118 e.out.d[1].t : 0 [by e.e.ors_t[1].or2s[2]._y:=1]
|