1 1 inpt 1 0 >sa0 >sa1
2 2 inpt 1 0 >sa0 >sa1
3 3 inpt 1 0 >sa0 >sa1
4 4 inpt 1 0 >sa0 >sa1
5 5 inpt 1 0 >sa0 >sa1
6 6 inpt 1 0 >sa0 >sa1
7 7 inpt 1 0 >sa0 >sa1
8 8 inpt 2 0 >sa0 >sa1
358 9 from 8 >sa0 >sa1
359 10 from 8 >sa0 >sa1
11 11 inpt 1 0 >sa0 >sa1
14 14 inpt 1 0 >sa0 >sa1
15 15 inpt 1 0 >sa0 >sa1
16 16 inpt 2 0 >sa0 >sa1
362 17 from 16 >sa0 >sa1
363 18 from 16 >sa0 >sa1
19 19 inpt 1 0 >sa0 >sa1
20 20 inpt 1 0 >sa0 >sa1
21 21 inpt 1 0 >sa0 >sa1
22 22 inpt 1 0 >sa0 >sa1
23 23 inpt 1 0 >sa0 >sa1
24 24 inpt 1 0 >sa0 >sa1
25 25 inpt 1 0 >sa0 >sa1
26 26 inpt 1 0 >sa0 >sa1
27 27 inpt 1 0 >sa0 >sa1
28 28 inpt 1 0 >sa0 >sa1
29 29 inpt 2 0 >sa0 >sa1
364 30 from 29 >sa0 >sa1
365 31 from 29 >sa0 >sa1
32 32 inpt 1 0 >sa0 >sa1
33 33 inpt 1 0 >sa0 >sa1
34 34 inpt 1 0 >sa0 >sa1
35 35 inpt 1 0 >sa0 >sa1
36 36 inpt 1 0 >sa0 >sa1
37 37 inpt 1 0 >sa0 >sa1
40 40 inpt 2 0 >sa0 >sa1
368 41 from 40 >sa0 >sa1
369 42 from 40 >sa0 >sa1
43 43 inpt 1 0 >sa0 >sa1
44 44 inpt 2 0 >sa0 >sa1
370 45 from 44 >sa0 >sa1
371 46 from 44 >sa0 >sa1
47 47 inpt 1 0 >sa0 >sa1
48 48 inpt 1 0 >sa0 >sa1
49 49 inpt 1 0 >sa0 >sa1
50 50 inpt 1 0 >sa0 >sa1
51 51 inpt 1 0 >sa0 >sa1
52 52 inpt 1 0 >sa0 >sa1
53 53 inpt 1 0 >sa0 >sa1
54 54 inpt 1 0 >sa0 >sa1
55 55 inpt 1 0 >sa0 >sa1
56 56 inpt 1 0 >sa0 >sa1
57 57 inpt 2 0 >sa0 >sa1
372 58 from 57 >sa0 >sa1
373 59 from 57 >sa0 >sa1
60 60 inpt 1 0 >sa0 >sa1
61 61 inpt 1 0 >sa0 >sa1
62 62 inpt 1 0 >sa0 >sa1
63 63 inpt 1 0 >sa0 >sa1
64 64 inpt 1 0 >sa0 >sa1
65 65 inpt 1 0 >sa0 >sa1
66 66 inpt 1 0 >sa0 >sa1
67 67 inpt 1 0 >sa0 >sa1
68 68 inpt 1 0 >sa0 >sa1
69 69 inpt 2 0 >sa0 >sa1
374 70 from 69 >sa0 >sa1
375 71 from 69 >sa0 >sa1
72 72 inpt 1 0 >sa0 >sa1
73 73 inpt 1 0 >sa0 >sa1
74 74 inpt 1 0 >sa0 >sa1
75 75 inpt 1 0 >sa0 >sa1
76 76 inpt 1 0 >sa0 >sa1
77 77 inpt 1 0 >sa0 >sa1
78 78 inpt 1 0 >sa0 >sa1
79 79 inpt 1 0 >sa0 >sa1
80 80 inpt 1 0 >sa0 >sa1
81 81 inpt 1 0 >sa0 >sa1
82 82 inpt 2 0 >sa0 >sa1
376 83 from 82 >sa0 >sa1
377 84 from 82 >sa0 >sa1
85 85 inpt 1 0 >sa0 >sa1
86 86 inpt 1 0 >sa0 >sa1
87 87 inpt 1 0 >sa0 >sa1
88 88 inpt 1 0 >sa0 >sa1
89 89 inpt 1 0 >sa0 >sa1
90 90 inpt 1 0 >sa0 >sa1
91 91 inpt 1 0 >sa0 >sa1
92 92 inpt 1 0 >sa0 >sa1
93 93 inpt 1 0 >sa0 >sa1
94 94 inpt 1 0 >sa0 >sa1
95 95 inpt 1 0 >sa0 >sa1
96 96 inpt 2 0 >sa0 >sa1
378 97 from 96 >sa0 >sa1
379 98 from 96 >sa0 >sa1
99 99 inpt 1 0 >sa0 >sa1
100 100 inpt 1 0 >sa0 >sa1
101 101 inpt 1 0 >sa0 >sa1
102 102 inpt 1 0 >sa0 >sa1
103 103 inpt 1 0 >sa0 >sa1
104 104 inpt 1 0 >sa0 >sa1
105 105 inpt 1 0 >sa0 >sa1
106 106 inpt 1 0 >sa0 >sa1
107 107 inpt 1 0 >sa0 >sa1
108 108 inpt 2 0 >sa0 >sa1
380 109 from 108 >sa0 >sa1
381 110 from 108 >sa0 >sa1
111 111 inpt 1 0 >sa0 >sa1
112 112 inpt 1 0 >sa0 >sa1
113 113 inpt 1 0 >sa0 >sa1
114 114 inpt 1 0 >sa0 >sa1
115 115 inpt 1 0 >sa0 >sa1
116 116 inpt 1 0 >sa0 >sa1
117 117 inpt 1 0 >sa0 >sa1
118 118 inpt 1 0 >sa0 >sa1
119 119 inpt 1 0 >sa0 >sa1
120 120 inpt 2 0 >sa0 >sa1
382 121 from 120 >sa0 >sa1
383 122 from 120 >sa0 >sa1
123 123 inpt 1 0 >sa0 >sa1
124 124 inpt 1 0 >sa0 >sa1
125 125 inpt 1 0 >sa0 >sa1
126 126 inpt 1 0 >sa0 >sa1
127 127 inpt 1 0 >sa0 >sa1
128 128 inpt 1 0 >sa0 >sa1
129 129 inpt 1 0 >sa0 >sa1
130 130 inpt 1 0 >sa0 >sa1
131 131 inpt 1 0 >sa0 >sa1
132 132 inpt 2 0 >sa0 >sa1
384 133 from 132 >sa0 >sa1
385 134 from 132 >sa0 >sa1
135 135 inpt 1 0 >sa0 >sa1
136 136 inpt 1 0 >sa0 >sa1
137 137 inpt 1 0 >sa0 >sa1
138 138 inpt 1 0 >sa0 >sa1
139 139 inpt 1 0 >sa0 >sa1
140 140 inpt 1 0 >sa0 >sa1
141 141 inpt 1 0 >sa0 >sa1
142 142 inpt 1 0 >sa0 >sa1
143 169 inpt 0 0 >sa0 >sa1
144 174 inpt 0 0 >sa0 >sa1
145 177 inpt 0 0 >sa0 >sa1
146 178 inpt 0 0 >sa0 >sa1
147 179 inpt 0 0 >sa0 >sa1
148 180 inpt 0 0 >sa0 >sa1
149 181 inpt 0 0 >sa0 >sa1
150 182 inpt 0 0 >sa0 >sa1
151 183 inpt 0 0 >sa0 >sa1
152 184 inpt 0 0 >sa0 >sa1
153 185 inpt 0 0 >sa0 >sa1
154 186 inpt 0 0 >sa0 >sa1
155 189 inpt 0 0 >sa0 >sa1
156 190 inpt 0 0 >sa0 >sa1
157 191 inpt 0 0 >sa0 >sa1
158 192 inpt 0 0 >sa0 >sa1
159 193 inpt 0 0 >sa0 >sa1
160 194 inpt 0 0 >sa0 >sa1
161 195 inpt 0 0 >sa0 >sa1
162 196 inpt 0 0 >sa0 >sa1
163 197 inpt 0 0 >sa0 >sa1
164 198 inpt 0 0 >sa0 >sa1
165 199 inpt 0 0 >sa0 >sa1
166 200 inpt 0 0 >sa0 >sa1
167 201 inpt 0 0 >sa0 >sa1
168 202 inpt 0 0 >sa0 >sa1
169 203 inpt 0 0 >sa0 >sa1
170 204 inpt 0 0 >sa0 >sa1
171 205 inpt 0 0 >sa0 >sa1
172 206 inpt 0 0 >sa0 >sa1
173 207 inpt 0 0 >sa0 >sa1
174 208 inpt 0 0 >sa0 >sa1
175 209 inpt 0 0 >sa0 >sa1
176 210 inpt 0 0 >sa0 >sa1
177 211 inpt 0 0 >sa0 >sa1
178 212 inpt 0 0 >sa0 >sa1
179 213 inpt 0 0 >sa0 >sa1
180 214 inpt 0 0 >sa0 >sa1
181 215 inpt 0 0 >sa0 >sa1
182 239 inpt 0 0 >sa0 >sa1
183 240 inpt 0 0 >sa0 >sa1
184 241 inpt 0 0 >sa0 >sa1
185 242 inpt 0 0 >sa0 >sa1
186 243 inpt 0 0 >sa0 >sa1
187 244 inpt 0 0 >sa0 >sa1
188 245 inpt 0 0 >sa0 >sa1
189 246 inpt 0 0 >sa0 >sa1
190 247 inpt 0 0 >sa0 >sa1
191 248 inpt 0 0 >sa0 >sa1
192 249 inpt 0 0 >sa0 >sa1
193 250 inpt 0 0 >sa0 >sa1
194 251 inpt 0 0 >sa0 >sa1
195 252 inpt 0 0 >sa0 >sa1
196 253 inpt 0 0 >sa0 >sa1
197 254 inpt 0 0 >sa0 >sa1
198 255 inpt 0 0 >sa0 >sa1
199 256 inpt 0 0 >sa0 >sa1
200 257 inpt 0 0 >sa0 >sa1
201 262 inpt 0 0 >sa0 >sa1
202 263 inpt 0 0 >sa0 >sa1
203 264 inpt 0 0 >sa0 >sa1
204 265 inpt 0 0 >sa0 >sa1
205 266 inpt 0 0 >sa0 >sa1
206 267 inpt 0 0 >sa0 >sa1
207 268 inpt 0 0 >sa0 >sa1
208 269 inpt 0 0 >sa0 >sa1
209 270 inpt 0 0 >sa0 >sa1
210 271 inpt 0 0 >sa0 >sa1
211 272 inpt 0 0 >sa0 >sa1
212 273 inpt 0 0 >sa0 >sa1
213 274 inpt 0 0 >sa0 >sa1
214 275 inpt 0 0 >sa0 >sa1
215 276 inpt 0 0 >sa0 >sa1
216 277 inpt 0 0 >sa0 >sa1
217 278 inpt 0 0 >sa0 >sa1
218 279 inpt 0 0 >sa0 >sa1
219 452 inpt 4 0 >sa0 >sa1
220 f01350 from 452 >sa0 >sa1
399 453 from 452 >sa0 >sa1
222 f03335 from 452 >sa0 >sa1
223 f04409 from 452 >sa0 >sa1
224 483 inpt 2 0 >sa0 >sa1
393 485 from 483 >sa0 >sa1
394 484 from 483 >sa0 >sa1
227 543 inpt 2 0 >sa0 >sa1
403 544 from 543 >sa0 >sa1
404 545 from 543 >sa0 >sa1
230 559 inpt 1 0 >sa0 >sa1
231 567 inpt 2 0 >sa0 >sa1
396 232 from 567 >sa0 >sa1
407 568 from 567 >sa0 >sa1
234 651 inpt 2 0 >sa0 >sa1
409 652 from 651 >sa0 >sa1
410 653 from 651 >sa0 >sa1
237 661 inpt 3 0 >sa0 >sa1
397 662 from 661 >sa0 >sa1
402 479 from 661 >sa0 >sa1
411 663 from 661 >sa0 >sa1
241 860 inpt 2 0 >sa0 >sa1
386 863 from 860 >sa0 >sa1
412 864 from 860 >sa0 >sa1
246 868 inpt 5 0 >sa0 >sa1
413 869 from 868 >sa0 >sa1
414 870 from 868 >sa0 >sa1
416 872 from 868 >sa0 >sa1
417 873 from 868 >sa0 >sa1
418 874 from 868 >sa0 >sa1
253 1083 inpt 2 0 >sa0 >sa1
254 f01369 from 1083 >sa0 >sa1
255 f02367 from 1083 >sa0 >sa1
256 1341 inpt 2 0 >sa0 >sa1
421 1342 from 1341 >sa0 >sa1
422 1343 from 1341 >sa0 >sa1
259 1348 inpt 2 0 >sa0 >sa1
423 1349 from 1348 >sa0 >sa1
424 1350 from 1348 >sa0 >sa1
262 1384 inpt 1 0 >sa0 >sa1
263 1956 inpt 2 0 >sa0 >sa1
438 1957 from 1956 >sa0 >sa1
439 1958 from 1956 >sa0 >sa1
266 1961 inpt 2 0 >sa0 >sa1
440 1962 from 1961 >sa0 >sa1
441 1963 from 1961 >sa0 >sa1
269 1966 inpt 2 0 >sa0 >sa1
442 1967 from 1966 >sa0 >sa1
443 1968 from 1966 >sa0 >sa1
272 1971 inpt 2 0 >sa0 >sa1
444 1972 from 1971 >sa0 >sa1
445 1973 from 1971 >sa0 >sa1
275 1976 inpt 2 0 >sa0 >sa1
446 1977 from 1976 >sa0 >sa1
447 1978 from 1976 >sa0 >sa1
278 1981 inpt 2 0 >sa0 >sa1
448 1982 from 1981 >sa0 >sa1
449 1983 from 1981 >sa0 >sa1
281 1986 inpt 2 0 >sa0 >sa1
450 1987 from 1986 >sa0 >sa1
451 1988 from 1986 >sa0 >sa1
284 1991 inpt 2 0 >sa0 >sa1
452 1992 from 1991 >sa0 >sa1
453 1993 from 1991 >sa0 >sa1
287 1996 inpt 2 0 >sa0 >sa1
454 1997 from 1996 >sa0 >sa1
455 1998 from 1996 >sa0 >sa1
290 2066 inpt 3 0 >sa0 >sa1
291 f01411 from 2066 >sa0 >sa1
292 f02337 from 2066 >sa0 >sa1
293 f03384 from 2066 >sa0 >sa1
294 2067 inpt 2 0 >sa0 >sa1
459 2068 from 2067 >sa0 >sa1
460 2069 from 2067 >sa0 >sa1
297 2072 inpt 3 0 >sa0 >sa1
392 2073 from 2072 >sa0 >sa1
461 2074 from 2072 >sa0 >sa1
462 2075 from 2072 >sa0 >sa1
301 2078 inpt 3 0 >sa0 >sa1
391 2080 from 2078 >sa0 >sa1
463 2079 from 2078 >sa0 >sa1
464 2081 from 2078 >sa0 >sa1
305 2084 inpt 3 0 >sa0 >sa1
390 2086 from 2084 >sa0 >sa1
465 2085 from 2084 >sa0 >sa1
466 2087 from 2084 >sa0 >sa1
309 2090 inpt 3 0 >sa0 >sa1
389 2092 from 2090 >sa0 >sa1
467 2091 from 2090 >sa0 >sa1
468 2093 from 2090 >sa0 >sa1
313 2096 inpt 2 0 >sa0 >sa1
469 2097 from 2096 >sa0 >sa1
470 2098 from 2096 >sa0 >sa1
316 2100 inpt 2 0 >sa0 >sa1
471 2101 from 2100 >sa0 >sa1
472 2102 from 2100 >sa0 >sa1
319 2104 inpt 2 0 >sa0 >sa1
426 1393 from 2104 >sa0 >sa1
435 1630 from 2104 >sa0 >sa1
322 2105 inpt 2 0 >sa0 >sa1
427 1417 from 2105 >sa0 >sa1
436 1654 from 2105 >sa0 >sa1
325 2106 inpt 2 0 >sa0 >sa1
395 1390 from 2106 >sa0 >sa1
406 1392 from 2106 >sa0 >sa1
328 2427 inpt 2 0 >sa0 >sa1
429 2429 from 2427 >sa0 >sa1
473 2428 from 2427 >sa0 >sa1
331 2430 inpt 2 0 >sa0 >sa1
428 2431 from 2430 >sa0 >sa1
474 2432 from 2430 >sa0 >sa1
334 2435 inpt 2 0 >sa0 >sa1
431 2437 from 2435 >sa0 >sa1
475 2436 from 2435 >sa0 >sa1
337 2438 inpt 2 0 >sa0 >sa1
430 2439 from 2438 >sa0 >sa1
476 2440 from 2438 >sa0 >sa1
340 2443 inpt 2 0 >sa0 >sa1
433 2445 from 2443 >sa0 >sa1
477 2444 from 2443 >sa0 >sa1
343 2446 inpt 2 0 >sa0 >sa1
432 2447 from 2446 >sa0 >sa1
478 2448 from 2446 >sa0 >sa1
346 2451 inpt 2 0 >sa0 >sa1
479 2452 from 2451 >sa0 >sa1
480 2453 from 2451 >sa0 >sa1
349 2454 inpt 2 0 >sa0 >sa1
481 2455 from 2454 >sa0 >sa1
482 2456 from 2454 >sa0 >sa1
352 2474 inpt 2 0 >sa0 >sa1
434 2475 from 2474 >sa0 >sa1
483 2476 from 2474 >sa0 >sa1
355 2678 inpt 2 0 >sa0 >sa1
437 2679 from 2678 >sa0 >sa1
484 2680 from 2678 >sa0 >sa1
398 350 buff 0 1 >sa0 >sa1
220 
400 335 buff 0 1 >sa0 >sa1
222 
401 409 buff 0 1 >sa0 >sa1
223 
405 546 and 1 2 >sa0 >sa1
1 3 
408 560 not 1 1 >sa0 >sa1
230 
419 369 buff 0 1 >sa0 >sa1
254 
420 367 buff 0 1 >sa0 >sa1
255 
425 1385 not 1 1 >sa0 >sa1
262 
456 411 buff 0 1 >sa0 >sa1
291 
457 337 buff 0 1 >sa0 >sa1
292 
458 384 buff 0 1 >sa0 >sa1
293 
485 157 and 1 4 >sa0 >sa1
389 390 391 392 
486 547 not 1 1 >sa0 >sa1
405 
487 218 not 0 1 >sa0 >sa1
370 
488 219 not 0 1 >sa0 >sa1
384 
489 220 not 0 1 >sa0 >sa1
376 
490 221 not 0 1 >sa0 >sa1
378 
491 235 not 0 1 >sa0 >sa1
374 
492 236 not 0 1 >sa0 >sa1
383 
493 237 not 0 1 >sa0 >sa1
372 
494 238 not 0 1 >sa0 >sa1
380 
495 258 and 1 3 >sa0 >sa1
2 15 397 
496 480 buff 2 1 >sa0 >sa1
402 
794 482 from 480 >sa0 >sa1
795 481 from 480 >sa0 >sa1
499 486 buff 1 1 >sa0 >sa1
37 
500 654 buff 2 1 >sa0 >sa1
399 
793 172 from 654 >sa0 >sa1
502 f02391 from 654 >sa0 >sa1
503 655 buff 1 1 >sa0 >sa1
358 
506 658 buff 1 1 >sa0 >sa1
359 
509 772 buff 11 1 >sa0 >sa1
403 
812 773 from 772 >sa0 >sa1
813 774 from 772 >sa0 >sa1
814 775 from 772 >sa0 >sa1
815 776 from 772 >sa0 >sa1
816 777 from 772 >sa0 >sa1
817 778 from 772 >sa0 >sa1
818 779 from 772 >sa0 >sa1
819 780 from 772 >sa0 >sa1
820 781 from 772 >sa0 >sa1
821 782 from 772 >sa0 >sa1
822 783 from 772 >sa0 >sa1
521 795 buff 11 1 >sa0 >sa1
409 
823 796 from 795 >sa0 >sa1
824 797 from 795 >sa0 >sa1
825 798 from 795 >sa0 >sa1
826 799 from 795 >sa0 >sa1
827 800 from 795 >sa0 >sa1
828 801 from 795 >sa0 >sa1
829 802 from 795 >sa0 >sa1
830 803 from 795 >sa0 >sa1
831 804 from 795 >sa0 >sa1
832 805 from 795 >sa0 >sa1
833 806 from 795 >sa0 >sa1
533 865 not 3 1 >sa0 >sa1
412 
789 866 from 865 >sa0 >sa1
790 867 from 865 >sa0 >sa1
791 151 from 865 >sa0 >sa1
537 875 not 4 1 >sa0 >sa1
418 
835 877 from 875 >sa0 >sa1
836 878 from 875 >sa0 >sa1
837 879 from 875 >sa0 >sa1
838 880 from 875 >sa0 >sa1
543 882 buff 1 1 >sa0 >sa1
11 
544 1251 and 2 4 >sa0 >sa1
385 377 379 371 
804 557 from 1251 >sa0 >sa1
845 1252 from 1251 >sa0 >sa1
547 1254 and 2 4 >sa0 >sa1
382 373 381 375 
803 556 from 1254 >sa0 >sa1
846 1255 from 1254 >sa0 >sa1
550 1261 buff 10 1 >sa0 >sa1
404 
847 1262 from 1261 >sa0 >sa1
848 1263 from 1261 >sa0 >sa1
849 1264 from 1261 >sa0 >sa1
850 1265 from 1261 >sa0 >sa1
851 1266 from 1261 >sa0 >sa1
852 1267 from 1261 >sa0 >sa1
853 1268 from 1261 >sa0 >sa1
854 1269 from 1261 >sa0 >sa1
855 1270 from 1261 >sa0 >sa1
857 1272 from 1261 >sa0 >sa1
562 1284 buff 11 1 >sa0 >sa1
410 
858 1285 from 1284 >sa0 >sa1
859 1286 from 1284 >sa0 >sa1
860 1287 from 1284 >sa0 >sa1
861 1288 from 1284 >sa0 >sa1
862 1289 from 1284 >sa0 >sa1
863 1290 from 1284 >sa0 >sa1
864 1291 from 1284 >sa0 >sa1
865 1292 from 1284 >sa0 >sa1
866 1293 from 1284 >sa0 >sa1
867 1294 from 1284 >sa0 >sa1
868 1295 from 1284 >sa0 >sa1
574 1344 not 2 1 >sa0 >sa1
422 
840 1346 from 1344 >sa0 >sa1
869 1347 from 1344 >sa0 >sa1
578 1351 not 2 1 >sa0 >sa1
424 
870 1352 from 1351 >sa0 >sa1
872 1354 from 1351 >sa0 >sa1
582 1394 buff 9 1 >sa0 >sa1
426 
878 1395 from 1394 >sa0 >sa1
879 1396 from 1394 >sa0 >sa1
880 1397 from 1394 >sa0 >sa1
881 1398 from 1394 >sa0 >sa1
884 1401 from 1394 >sa0 >sa1
885 1402 from 1394 >sa0 >sa1
886 1403 from 1394 >sa0 >sa1
887 1404 from 1394 >sa0 >sa1
888 1405 from 1394 >sa0 >sa1
594 1418 buff 9 1 >sa0 >sa1
427 
889 1419 from 1418 >sa0 >sa1
890 1420 from 1418 >sa0 >sa1
891 1421 from 1418 >sa0 >sa1
892 1422 from 1418 >sa0 >sa1
894 1424 from 1418 >sa0 >sa1
895 1425 from 1418 >sa0 >sa1
896 1426 from 1418 >sa0 >sa1
897 1427 from 1418 >sa0 >sa1
899 1429 from 1418 >sa0 >sa1
606 2433 not 1 1 >sa0 >sa1
473 
607 2434 not 1 1 >sa0 >sa1
474 
608 2441 not 1 1 >sa0 >sa1
475 
609 2442 not 1 1 >sa0 >sa1
476 
610 2449 not 1 1 >sa0 >sa1
477 
611 2450 not 1 1 >sa0 >sa1
478 
612 2478 not 1 1 >sa0 >sa1
483 
613 1631 buff 11 1 >sa0 >sa1
435 
916 1632 from 1631 >sa0 >sa1
917 1633 from 1631 >sa0 >sa1
918 1634 from 1631 >sa0 >sa1
919 1635 from 1631 >sa0 >sa1
920 1636 from 1631 >sa0 >sa1
921 1637 from 1631 >sa0 >sa1
922 1638 from 1631 >sa0 >sa1
923 1639 from 1631 >sa0 >sa1
924 1640 from 1631 >sa0 >sa1
925 1641 from 1631 >sa0 >sa1
926 1642 from 1631 >sa0 >sa1
625 1655 buff 11 1 >sa0 >sa1
436 
927 1656 from 1655 >sa0 >sa1
928 1657 from 1655 >sa0 >sa1
929 1658 from 1655 >sa0 >sa1
930 1659 from 1655 >sa0 >sa1
931 1660 from 1655 >sa0 >sa1
932 1661 from 1655 >sa0 >sa1
933 1662 from 1655 >sa0 >sa1
934 1663 from 1655 >sa0 >sa1
935 1664 from 1655 >sa0 >sa1
936 1665 from 1655 >sa0 >sa1
937 1666 from 1655 >sa0 >sa1
637 1710 buff 5 1 >sa0 >sa1
362 
938 1711 from 1710 >sa0 >sa1
939 1712 from 1710 >sa0 >sa1
940 1713 from 1710 >sa0 >sa1
941 1714 from 1710 >sa0 >sa1
942 1715 from 1710 >sa0 >sa1
643 1721 buff 6 1 >sa0 >sa1
363 
943 1722 from 1721 >sa0 >sa1
944 1723 from 1721 >sa0 >sa1
945 1724 from 1721 >sa0 >sa1
946 1725 from 1721 >sa0 >sa1
947 1726 from 1721 >sa0 >sa1
948 1727 from 1721 >sa0 >sa1
650 2682 not 1 1 >sa0 >sa1
484 
651 1955 and 3 2 >sa0 >sa1
7 411 
796 1391 from 1955 >sa0 >sa1
797 222 from 1955 >sa0 >sa1
798 233 from 1955 >sa0 >sa1
655 1959 not 2 1 >sa0 >sa1
439 
913 1618 from 1959 >sa0 >sa1
974 1960 from 1959 >sa0 >sa1
659 1964 not 2 1 >sa0 >sa1
441 
915 1622 from 1964 >sa0 >sa1
975 1965 from 1964 >sa0 >sa1
663 1969 not 2 1 >sa0 >sa1
443 
965 1919 from 1969 >sa0 >sa1
976 1970 from 1969 >sa0 >sa1
667 1974 not 2 1 >sa0 >sa1
445 
967 1924 from 1974 >sa0 >sa1
977 1975 from 1974 >sa0 >sa1
671 1979 not 2 1 >sa0 >sa1
447 
968 1927 from 1979 >sa0 >sa1
978 1980 from 1979 >sa0 >sa1
675 1984 not 2 1 >sa0 >sa1
449 
969 1929 from 1984 >sa0 >sa1
979 1985 from 1984 >sa0 >sa1
679 1989 not 2 1 >sa0 >sa1
451 
970 1931 from 1989 >sa0 >sa1
980 1990 from 1989 >sa0 >sa1
683 1994 not 2 1 >sa0 >sa1
453 
971 1933 from 1994 >sa0 >sa1
981 1995 from 1994 >sa0 >sa1
687 1999 not 3 1 >sa0 >sa1
455 
839 1612 from 1999 >sa0 >sa1
972 1935 from 1999 >sa0 >sa1
982 2000 from 1999 >sa0 >sa1
693 2001 buff 5 1 >sa0 >sa1
364 
983 2002 from 2001 >sa0 >sa1
984 2003 from 2001 >sa0 >sa1
985 2004 from 2001 >sa0 >sa1
986 2005 from 2001 >sa0 >sa1
987 2006 from 2001 >sa0 >sa1
699 2012 buff 5 1 >sa0 >sa1
365 
988 2013 from 2012 >sa0 >sa1
989 2014 from 2012 >sa0 >sa1
990 2015 from 2012 >sa0 >sa1
991 2016 from 2012 >sa0 >sa1
992 2017 from 2012 >sa0 >sa1
705 2070 not 3 1 >sa0 >sa1
460 
911 1613 from 2070 >sa0 >sa1
973 1937 from 2070 >sa0 >sa1
993 2071 from 2070 >sa0 >sa1
711 2076 not 2 1 >sa0 >sa1
462 
912 1616 from 2076 >sa0 >sa1
994 2077 from 2076 >sa0 >sa1
715 2082 not 2 1 >sa0 >sa1
464 
914 1620 from 2082 >sa0 >sa1
995 2083 from 2082 >sa0 >sa1
719 2088 not 2 1 >sa0 >sa1
466 
964 1917 from 2088 >sa0 >sa1
996 2089 from 2088 >sa0 >sa1
723 2094 not 2 1 >sa0 >sa1
468 
966 1922 from 2094 >sa0 >sa1
997 2095 from 2094 >sa0 >sa1
727 2099 not 2 1 >sa0 >sa1
470 
841 1211 from 2099 >sa0 >sa1
843 1224 from 2099 >sa0 >sa1
730 2103 not 1 1 >sa0 >sa1
472 
733 2457 not 1 1 >sa0 >sa1
479 
734 2458 not 1 1 >sa0 >sa1
482 
735 2461 buff 2 1 >sa0 >sa1
423 
1000 2462 from 2461 >sa0 >sa1
1001 2463 from 2461 >sa0 >sa1
738 2464 buff 2 1 >sa0 >sa1
421 
1002 2465 from 2464 >sa0 >sa1
1003 2466 from 2464 >sa0 >sa1
741 2471 buff 2 1 >sa0 >sa1
438 
906 2473 from 2471 >sa0 >sa1
1004 2472 from 2471 >sa0 >sa1
744 2479 buff 2 1 >sa0 >sa1
442 
908 2481 from 2479 >sa0 >sa1
1005 2480 from 2479 >sa0 >sa1
747 2482 buff 2 1 >sa0 >sa1
440 
907 2483 from 2482 >sa0 >sa1
1006 2484 from 2482 >sa0 >sa1
750 2487 buff 2 1 >sa0 >sa1
446 
910 2489 from 2487 >sa0 >sa1
1007 2488 from 2487 >sa0 >sa1
753 2490 buff 2 1 >sa0 >sa1
444 
909 2491 from 2490 >sa0 >sa1
1008 2492 from 2490 >sa0 >sa1
756 2495 buff 2 1 >sa0 >sa1
450 
1009 2496 from 2495 >sa0 >sa1
1010 2497 from 2495 >sa0 >sa1
759 2498 buff 2 1 >sa0 >sa1
448 
1011 2499 from 2498 >sa0 >sa1
1012 2500 from 2498 >sa0 >sa1
762 2505 buff 2 1 >sa0 >sa1
454 
1013 2506 from 2505 >sa0 >sa1
1014 2507 from 2505 >sa0 >sa1
765 2508 buff 2 1 >sa0 >sa1
452 
1015 2509 from 2508 >sa0 >sa1
1016 2510 from 2508 >sa0 >sa1
768 2675 buff 2 1 >sa0 >sa1
459 
949 2677 from 2675 >sa0 >sa1
1017 2676 from 2675 >sa0 >sa1
771 2683 buff 2 1 >sa0 >sa1
463 
951 2685 from 2683 >sa0 >sa1
1018 2684 from 2683 >sa0 >sa1
774 2686 buff 2 1 >sa0 >sa1
461 
950 2687 from 2686 >sa0 >sa1
1019 2688 from 2686 >sa0 >sa1
777 2691 buff 2 1 >sa0 >sa1
467 
953 2693 from 2691 >sa0 >sa1
1020 2692 from 2691 >sa0 >sa1
780 2694 buff 2 1 >sa0 >sa1
465 
952 2695 from 2694 >sa0 >sa1
1021 2696 from 2694 >sa0 >sa1
783 2699 buff 2 1 >sa0 >sa1
471 
1022 2700 from 2699 >sa0 >sa1
1023 2701 from 2699 >sa0 >sa1
786 2702 buff 2 1 >sa0 >sa1
469 
1024 2703 from 2702 >sa0 >sa1
1025 2704 from 2702 >sa0 >sa1
792 158 not 0 1 >sa0 >sa1
485 
799 259 not 0 1 >sa0 >sa1
495 
800 487 not 2 1 >sa0 >sa1
499 
1030 488 from 487 >sa0 >sa1
1031 489 from 487 >sa0 >sa1
805 391 buff 0 1 >sa0 >sa1
502 
900 1475 nand 1 2 >sa0 >sa1
428 606 
901 1476 nand 1 2 >sa0 >sa1
429 607 
902 1484 nand 1 2 >sa0 >sa1
430 608 
903 1485 nand 1 2 >sa0 >sa1
431 609 
904 1493 nand 1 2 >sa0 >sa1
432 610 
905 1494 nand 1 2 >sa0 >sa1
433 611 
998 2459 nand 1 2 >sa0 >sa1
481 733 
999 2460 nand 1 2 >sa0 >sa1
480 734 
1026 173 and 0 2 >sa0 >sa1
94 793 
1027 216 and 1 2 >sa0 >sa1
395 796 
1028 223 not 0 1 >sa0 >sa1
797 
1029 234 nand 0 2 >sa0 >sa1
396 798 
1032 1253 not 1 1 >sa0 >sa1
845 
1033 1256 not 1 1 >sa0 >sa1
846 
1034 558 and 2 2 >sa0 >sa1
803 804 
1270 260 from 558 >sa0 >sa1
1036 f02325 from 558 >sa0 >sa1
1042 784 not 10 1 >sa0 >sa1
822 
1282 785 from 784 >sa0 >sa1
1283 786 from 784 >sa0 >sa1
1284 787 from 784 >sa0 >sa1
1285 788 from 784 >sa0 >sa1
1286 789 from 784 >sa0 >sa1
1287 790 from 784 >sa0 >sa1
1288 791 from 784 >sa0 >sa1
1289 792 from 784 >sa0 >sa1
1290 793 from 784 >sa0 >sa1
1291 794 from 784 >sa0 >sa1
1053 807 not 10 1 >sa0 >sa1
833 
1292 808 from 807 >sa0 >sa1
1293 809 from 807 >sa0 >sa1
1294 810 from 807 >sa0 >sa1
1295 811 from 807 >sa0 >sa1
1296 812 from 807 >sa0 >sa1
1297 813 from 807 >sa0 >sa1
1298 814 from 807 >sa0 >sa1
1299 815 from 807 >sa0 >sa1
1300 816 from 807 >sa0 >sa1
1301 817 from 807 >sa0 >sa1
1064 821 and 1 3 >sa0 >sa1
80 815 826 
1065 825 and 1 3 >sa0 >sa1
68 813 824 
1066 829 and 1 3 >sa0 >sa1
79 821 831 
1067 833 and 1 3 >sa0 >sa1
78 819 829 
1068 837 and 1 3 >sa0 >sa1
77 817 832 
1070 994 buff 4 1 >sa0 >sa1
503 
1278 694 from 994 >sa0 >sa1
1279 700 from 994 >sa0 >sa1
1280 706 from 994 >sa0 >sa1
1281 712 from 994 >sa0 >sa1
1075 1273 not 10 1 >sa0 >sa1
857 
1303 1274 from 1273 >sa0 >sa1
1304 1275 from 1273 >sa0 >sa1
1305 1276 from 1273 >sa0 >sa1
1306 1277 from 1273 >sa0 >sa1
1307 1278 from 1273 >sa0 >sa1
1308 1279 from 1273 >sa0 >sa1
1309 1280 from 1273 >sa0 >sa1
1310 1281 from 1273 >sa0 >sa1
1311 1282 from 1273 >sa0 >sa1
1312 1283 from 1273 >sa0 >sa1
1086 1296 not 9 1 >sa0 >sa1
868 
1313 1297 from 1296 >sa0 >sa1
1314 1298 from 1296 >sa0 >sa1
1315 1299 from 1296 >sa0 >sa1
1316 1300 from 1296 >sa0 >sa1
1318 1302 from 1296 >sa0 >sa1
1319 1303 from 1296 >sa0 >sa1
1320 1304 from 1296 >sa0 >sa1
1321 1305 from 1296 >sa0 >sa1
1322 1306 from 1296 >sa0 >sa1
1097 1310 and 1 3 >sa0 >sa1
76 850 861 
1098 1314 and 1 3 >sa0 >sa1
75 848 859 
1099 1318 and 1 2 >sa0 >sa1
74 866 
1100 1322 and 1 3 >sa0 >sa1
73 854 864 
1101 1326 and 1 3 >sa0 >sa1
72 852 867 
1102 1406 not 8 1 >sa0 >sa1
888 
1323 1407 from 1406 >sa0 >sa1
1324 1408 from 1406 >sa0 >sa1
1325 1409 from 1406 >sa0 >sa1
1326 1410 from 1406 >sa0 >sa1
1327 1411 from 1406 >sa0 >sa1
1328 1412 from 1406 >sa0 >sa1
1329 1413 from 1406 >sa0 >sa1
1330 1414 from 1406 >sa0 >sa1
1113 1430 not 8 1 >sa0 >sa1
899 
1333 1431 from 1430 >sa0 >sa1
1334 1432 from 1430 >sa0 >sa1
1335 1433 from 1430 >sa0 >sa1
1336 1434 from 1430 >sa0 >sa1
1337 1435 from 1430 >sa0 >sa1
1338 1436 from 1430 >sa0 >sa1
1339 1437 from 1430 >sa0 >sa1
1340 1438 from 1430 >sa0 >sa1
1124 1444 and 1 3 >sa0 >sa1
114 881 892 
1125 1448 and 1 3 >sa0 >sa1
113 879 890 
1126 1452 and 1 3 >sa0 >sa1
112 887 897 
1127 1456 and 1 3 >sa0 >sa1
111 885 895 
1129 1477 nand 3 2 >sa0 >sa1
900 901 
1343 1478 from 1477 >sa0 >sa1
1344 1479 from 1477 >sa0 >sa1
1345 1480 from 1477 >sa0 >sa1
1133 1486 nand 3 2 >sa0 >sa1
902 903 
1346 1487 from 1486 >sa0 >sa1
1347 1488 from 1486 >sa0 >sa1
1348 1489 from 1486 >sa0 >sa1
1137 1495 nand 2 2 >sa0 >sa1
904 905 
1349 1496 from 1495 >sa0 >sa1
1350 1497 from 1495 >sa0 >sa1
1140 2477 not 1 1 >sa0 >sa1
1004 
1141 1499 nand 1 2 >sa0 >sa1
906 612 
1142 2485 not 1 1 >sa0 >sa1
1005 
1143 2486 not 1 1 >sa0 >sa1
1006 
1144 2493 not 1 1 >sa0 >sa1
1007 
1145 2494 not 1 1 >sa0 >sa1
1008 
1146 1643 not 10 1 >sa0 >sa1
926 
1366 1644 from 1643 >sa0 >sa1
1367 1645 from 1643 >sa0 >sa1
1368 1646 from 1643 >sa0 >sa1
1369 1647 from 1643 >sa0 >sa1
1370 1648 from 1643 >sa0 >sa1
1371 1649 from 1643 >sa0 >sa1
1372 1650 from 1643 >sa0 >sa1
1373 1651 from 1643 >sa0 >sa1
1374 1652 from 1643 >sa0 >sa1
1375 1653 from 1643 >sa0 >sa1
1157 1667 not 10 1 >sa0 >sa1
937 
1376 1668 from 1667 >sa0 >sa1
1377 1669 from 1667 >sa0 >sa1
1378 1670 from 1667 >sa0 >sa1
1379 1671 from 1667 >sa0 >sa1
1380 1672 from 1667 >sa0 >sa1
1381 1673 from 1667 >sa0 >sa1
1382 1674 from 1667 >sa0 >sa1
1383 1675 from 1667 >sa0 >sa1
1384 1676 from 1667 >sa0 >sa1
1385 1677 from 1667 >sa0 >sa1
1168 1681 and 1 3 >sa0 >sa1
118 919 930 
1169 1685 and 1 3 >sa0 >sa1
107 917 928 
1170 1689 and 1 3 >sa0 >sa1
117 925 935 
1171 1693 and 1 3 >sa0 >sa1
116 923 933 
1172 1697 and 1 3 >sa0 >sa1
115 921 936 
1173 1716 not 4 1 >sa0 >sa1
942 
1386 1717 from 1716 >sa0 >sa1
1387 1718 from 1716 >sa0 >sa1
1388 1719 from 1716 >sa0 >sa1
1389 1720 from 1716 >sa0 >sa1
1178 1728 not 5 1 >sa0 >sa1
948 
1390 1729 from 1728 >sa0 >sa1
1391 1730 from 1728 >sa0 >sa1
1392 1731 from 1728 >sa0 >sa1
1393 1732 from 1728 >sa0 >sa1
1394 1733 from 1728 >sa0 >sa1
1184 2681 not 1 1 >sa0 >sa1
1017 
1185 1776 nand 1 2 >sa0 >sa1
949 650 
1186 2689 not 1 1 >sa0 >sa1
1018 
1187 2690 not 1 1 >sa0 >sa1
1019 
1188 2697 not 1 1 >sa0 >sa1
1020 
1189 2698 not 1 1 >sa0 >sa1
1021 
1195 1893 buff 4 1 >sa0 >sa1
506 
1404 1894 from 1893 >sa0 >sa1
1405 1895 from 1893 >sa0 >sa1
1406 1896 from 1893 >sa0 >sa1
1407 1897 from 1893 >sa0 >sa1
1200 2007 not 4 1 >sa0 >sa1
987 
1408 2008 from 2007 >sa0 >sa1
1409 2009 from 2007 >sa0 >sa1
1410 2010 from 2007 >sa0 >sa1
1411 2011 from 2007 >sa0 >sa1
1205 2018 not 4 1 >sa0 >sa1
992 
1412 2019 from 2018 >sa0 >sa1
1413 2020 from 2018 >sa0 >sa1
1414 2021 from 2018 >sa0 >sa1
1415 2022 from 2018 >sa0 >sa1
1210 2467 not 1 1 >sa0 >sa1
1000 
1211 2468 not 1 1 >sa0 >sa1
1003 
1212 2501 not 1 1 >sa0 >sa1
1009 
1213 2502 not 1 1 >sa0 >sa1
1012 
1214 2511 not 1 1 >sa0 >sa1
1013 
1215 2512 not 1 1 >sa0 >sa1
1016 
1216 2518 nand 2 2 >sa0 >sa1
998 999 
1428 2519 from 2518 >sa0 >sa1
1429 2520 from 2518 >sa0 >sa1
1219 2551 buff 2 1 >sa0 >sa1
869 
1356 2553 from 2551 >sa0 >sa1
1430 2552 from 2551 >sa0 >sa1
1222 2559 buff 2 1 >sa0 >sa1
872 
1357 2561 from 2559 >sa0 >sa1
1431 2560 from 2559 >sa0 >sa1
1225 2567 buff 2 1 >sa0 >sa1
974 
1358 2569 from 2567 >sa0 >sa1
1432 2568 from 2567 >sa0 >sa1
1228 2575 buff 2 1 >sa0 >sa1
975 
1359 2577 from 2575 >sa0 >sa1
1433 2576 from 2575 >sa0 >sa1
1231 2583 buff 2 1 >sa0 >sa1
976 
1360 2585 from 2583 >sa0 >sa1
1434 2584 from 2583 >sa0 >sa1
1234 2591 buff 2 1 >sa0 >sa1
977 
1361 2593 from 2591 >sa0 >sa1
1435 2592 from 2591 >sa0 >sa1
1237 2599 buff 2 1 >sa0 >sa1
978 
1362 2601 from 2599 >sa0 >sa1
1436 2600 from 2599 >sa0 >sa1
1240 2607 buff 2 1 >sa0 >sa1
979 
1363 2609 from 2607 >sa0 >sa1
1437 2608 from 2607 >sa0 >sa1
1243 2615 buff 2 1 >sa0 >sa1
980 
1364 2617 from 2615 >sa0 >sa1
1438 2616 from 2615 >sa0 >sa1
1246 2623 buff 2 1 >sa0 >sa1
981 
1365 2625 from 2623 >sa0 >sa1
1439 2624 from 2623 >sa0 >sa1
1249 2705 not 1 1 >sa0 >sa1
1022 
1250 2706 not 1 1 >sa0 >sa1
1025 
1251 2735 buff 2 1 >sa0 >sa1
982 
1416 2737 from 2735 >sa0 >sa1
1442 2736 from 2735 >sa0 >sa1
1254 2743 buff 2 1 >sa0 >sa1
993 
1417 2745 from 2743 >sa0 >sa1
1443 2744 from 2743 >sa0 >sa1
1257 2751 buff 2 1 >sa0 >sa1
994 
1418 2753 from 2751 >sa0 >sa1
1444 2752 from 2751 >sa0 >sa1
1260 2759 buff 2 1 >sa0 >sa1
995 
1419 2761 from 2759 >sa0 >sa1
1445 2760 from 2759 >sa0 >sa1
1263 2767 buff 2 1 >sa0 >sa1
996 
1420 2769 from 2767 >sa0 >sa1
1446 2768 from 2767 >sa0 >sa1
1266 2775 buff 2 1 >sa0 >sa1
997 
1421 2777 from 2775 >sa0 >sa1
1447 2776 from 2775 >sa0 >sa1
1269 217 not 0 1 >sa0 >sa1
1027 
1275 550 and 1 2 >sa0 >sa1
406 1032 
1276 552 and 1 2 >sa0 >sa1
407 1033 
1277 325 buff 0 1 >sa0 >sa1
1036 
1302 894 buff 1 1 >sa0 >sa1
543 
1351 1498 nand 1 2 >sa0 >sa1
434 1140 
1352 1507 nand 1 2 >sa0 >sa1
907 1142 
1353 1508 nand 1 2 >sa0 >sa1
908 1143 
1354 1516 nand 1 2 >sa0 >sa1
909 1144 
1355 1517 nand 1 2 >sa0 >sa1
910 1145 
1395 1775 nand 1 2 >sa0 >sa1
437 1184 
1396 1784 nand 1 2 >sa0 >sa1
950 1186 
1397 1785 nand 1 2 >sa0 >sa1
951 1187 
1398 1793 nand 1 2 >sa0 >sa1
952 1188 
1399 1794 nand 1 2 >sa0 >sa1
953 1189 
1422 2469 nand 1 2 >sa0 >sa1
1002 1210 
1423 2470 nand 1 2 >sa0 >sa1
1001 1211 
1424 2503 nand 1 2 >sa0 >sa1
1011 1212 
1425 2504 nand 1 2 >sa0 >sa1
1010 1213 
1426 2513 nand 1 2 >sa0 >sa1
1015 1214 
1427 2514 nand 1 2 >sa0 >sa1
1014 1215 
1440 2707 nand 1 2 >sa0 >sa1
1024 1249 
1441 2708 nand 1 2 >sa0 >sa1
1023 1250 
1448 261 not 0 1 >sa0 >sa1
1270 
1449 551 not 1 1 >sa0 >sa1
1275 
1450 553 not 1 1 >sa0 >sa1
1276 
1451 818 and 1 3 >sa0 >sa1
93 1282 1292 
1452 819 and 1 3 >sa0 >sa1
55 814 1293 
1453 820 and 1 3 >sa0 >sa1
67 1283 825 
1454 822 and 1 3 >sa0 >sa1
81 1284 1294 
1455 823 and 1 3 >sa0 >sa1
43 812 1295 
1456 824 and 1 3 >sa0 >sa1
56 1285 823 
1457 826 and 1 3 >sa0 >sa1
92 1286 1296 
1458 827 and 1 3 >sa0 >sa1
54 820 1297 
1459 828 and 1 3 >sa0 >sa1
66 1287 830 
1460 830 and 1 3 >sa0 >sa1
91 1288 1298 
1461 831 and 1 3 >sa0 >sa1
53 818 1299 
1462 832 and 1 3 >sa0 >sa1
65 1289 828 
1463 834 and 1 3 >sa0 >sa1
90 1290 1300 
1464 835 and 1 3 >sa0 >sa1
52 816 1301 
1465 836 and 1 3 >sa0 >sa1
64 1291 827 
1466 1307 and 1 3 >sa0 >sa1
89 1303 1313 
1467 1308 and 1 3 >sa0 >sa1
51 849 1314 
1468 1309 and 1 3 >sa0 >sa1
63 1304 860 
1469 1311 and 1 3 >sa0 >sa1
88 1305 1315 
1470 1312 and 1 3 >sa0 >sa1
50 847 1316 
1471 1313 and 1 3 >sa0 >sa1
62 1306 858 
1472 1315 and 1 2 >sa0 >sa1
87 1307 
1473 1316 and 1 3 >sa0 >sa1
49 855 1318 
1474 1317 and 1 2 >sa0 >sa1
1308 865 
1475 1319 and 1 3 >sa0 >sa1
86 1309 1319 
1476 1320 and 1 3 >sa0 >sa1
48 853 1320 
1477 1321 and 1 3 >sa0 >sa1
61 1310 863 
1478 1323 and 1 3 >sa0 >sa1
85 1311 1321 
1479 1324 and 1 3 >sa0 >sa1
47 851 1322 
1480 1325 and 1 3 >sa0 >sa1
60 1312 862 
1481 1441 and 1 3 >sa0 >sa1
138 1323 1333 
1482 1442 and 1 3 >sa0 >sa1
102 880 1334 
1483 1443 and 1 3 >sa0 >sa1
126 1324 891 
1484 1445 and 1 3 >sa0 >sa1
137 1325 1335 
1485 1446 and 1 3 >sa0 >sa1
101 878 1336 
1486 1447 and 1 3 >sa0 >sa1
125 1326 889 
1487 1449 and 1 3 >sa0 >sa1
136 1327 1337 
1488 1450 and 1 3 >sa0 >sa1
100 886 1338 
1489 1451 and 1 3 >sa0 >sa1
124 1328 896 
1490 1453 and 1 3 >sa0 >sa1
135 1329 1339 
1491 1454 and 1 3 >sa0 >sa1
99 884 1340 
1492 1455 and 1 3 >sa0 >sa1
123 1330 894 
1496 1481 not 2 1 >sa0 >sa1
1345 
1660 1482 from 1481 >sa0 >sa1
1661 1483 from 1481 >sa0 >sa1
1499 1490 not 2 1 >sa0 >sa1
1348 
1662 1491 from 1490 >sa0 >sa1
1663 1492 from 1490 >sa0 >sa1
1502 1500 nand 3 2 >sa0 >sa1
1351 1141 
1664 1501 from 1500 >sa0 >sa1
1665 1502 from 1500 >sa0 >sa1
1666 1503 from 1500 >sa0 >sa1
1506 1509 nand 3 2 >sa0 >sa1
1352 1353 
1667 1510 from 1509 >sa0 >sa1
1668 1511 from 1509 >sa0 >sa1
1669 1512 from 1509 >sa0 >sa1
1510 1518 nand 2 2 >sa0 >sa1
1354 1355 
1670 1519 from 1518 >sa0 >sa1
1671 1520 from 1518 >sa0 >sa1
1513 1521 buff 2 1 >sa0 >sa1
1350 
1672 1522 from 1521 >sa0 >sa1
1673 1523 from 1521 >sa0 >sa1
1516 1525 buff 2 1 >sa0 >sa1
1349 
1674 1526 from 1525 >sa0 >sa1
1675 1527 from 1525 >sa0 >sa1
1519 2557 not 1 1 >sa0 >sa1
1430 
1520 2565 not 1 1 >sa0 >sa1
1431 
1521 2573 not 1 1 >sa0 >sa1
1432 
1522 2581 not 1 1 >sa0 >sa1
1433 
1523 2589 not 1 1 >sa0 >sa1
1434 
1524 2597 not 1 1 >sa0 >sa1
1435 
1525 2605 not 1 1 >sa0 >sa1
1436 
1526 2613 not 1 1 >sa0 >sa1
1437 
1527 2621 not 1 1 >sa0 >sa1
1438 
1528 2629 not 1 1 >sa0 >sa1
1439 
1529 1678 and 1 3 >sa0 >sa1
142 1366 1376 
1530 1679 and 1 3 >sa0 >sa1
106 918 1377 
1531 1680 and 1 3 >sa0 >sa1
130 1367 929 
1532 1682 and 1 3 >sa0 >sa1
131 1368 1378 
1533 1683 and 1 3 >sa0 >sa1
95 916 1379 
1534 1684 and 1 3 >sa0 >sa1
119 1369 927 
1535 1686 and 1 3 >sa0 >sa1
141 1370 1380 
1536 1687 and 1 3 >sa0 >sa1
105 924 1381 
1537 1688 and 1 3 >sa0 >sa1
129 1371 934 
1538 1690 and 1 3 >sa0 >sa1
140 1372 1382 
1539 1691 and 1 3 >sa0 >sa1
104 922 1383 
1540 1692 and 1 3 >sa0 >sa1
128 1373 932 
1541 1694 and 1 3 >sa0 >sa1
139 1374 1384 
1542 1695 and 1 3 >sa0 >sa1
103 920 1385 
1543 1696 and 1 3 >sa0 >sa1
127 1375 931 
1544 1734 and 1 2 >sa0 >sa1
19 1386 
1545 1736 and 1 2 >sa0 >sa1
4 1388 
1546 1738 and 1 2 >sa0 >sa1
20 1387 
1547 1740 and 1 2 >sa0 >sa1
5 1389 
1548 1742 and 1 2 >sa0 >sa1
21 1390 
1549 1744 and 1 2 >sa0 >sa1
22 1391 
1550 1746 and 1 2 >sa0 >sa1
23 1392 
1551 1748 and 1 2 >sa0 >sa1
6 1393 
1552 1750 and 1 2 >sa0 >sa1
24 1394 
1553 1777 nand 3 2 >sa0 >sa1
1395 1185 
1693 1778 from 1777 >sa0 >sa1
1694 1779 from 1777 >sa0 >sa1
1695 1780 from 1777 >sa0 >sa1
1557 1786 nand 3 2 >sa0 >sa1
1396 1397 
1696 1787 from 1786 >sa0 >sa1
1697 1788 from 1786 >sa0 >sa1
1698 1789 from 1786 >sa0 >sa1
1561 1795 nand 2 2 >sa0 >sa1
1398 1399 
1699 1796 from 1795 >sa0 >sa1
1700 1797 from 1795 >sa0 >sa1
1564 2023 and 1 2 >sa0 >sa1
25 1408 
1565 2025 and 1 2 >sa0 >sa1
32 1410 
1566 2027 and 1 2 >sa0 >sa1
26 1409 
1567 2029 and 1 2 >sa0 >sa1
33 1411 
1568 2031 and 1 2 >sa0 >sa1
27 1412 
1569 2033 and 1 2 >sa0 >sa1
34 1413 
1570 2035 and 1 2 >sa0 >sa1
35 1414 
1571 2037 and 1 2 >sa0 >sa1
28 1415 
1572 2741 not 1 1 >sa0 >sa1
1442 
1573 2749 not 1 1 >sa0 >sa1
1443 
1574 2757 not 1 1 >sa0 >sa1
1444 
1575 2765 not 1 1 >sa0 >sa1
1445 
1576 2773 not 1 1 >sa0 >sa1
1446 
1577 2781 not 1 1 >sa0 >sa1
1447 
1578 2515 nand 2 2 >sa0 >sa1
1422 1423 
1702 2516 from 2515 >sa0 >sa1
1703 2517 from 2515 >sa0 >sa1
1581 2522 not 1 1 >sa0 >sa1
1429 
1582 2525 nand 2 2 >sa0 >sa1
1426 1427 
1704 2526 from 2525 >sa0 >sa1
1705 2527 from 2525 >sa0 >sa1
1585 2528 nand 2 2 >sa0 >sa1
1424 1425 
1706 2529 from 2528 >sa0 >sa1
1707 2530 from 2528 >sa0 >sa1
1588 2730 nand 2 2 >sa0 >sa1
1440 1441 
1701 2731 from 2730 >sa0 >sa1
1711 2732 from 2730 >sa0 >sa1
1591 554 and 4 2 >sa0 >sa1
1449 1450 
1721 549 from 554 >sa0 >sa1
1722 548 from 554 >sa0 >sa1
1594 f03319 from 554 >sa0 >sa1
1727 555 from 554 >sa0 >sa1
1596 838 or 3 4 >sa0 >sa1
1451 1452 1453 1064 
1712 839 from 838 >sa0 >sa1
1725 515 from 838 >sa0 >sa1
1730 840 from 838 >sa0 >sa1
1600 841 or 5 4 >sa0 >sa1
1454 1455 1456 1065 
1714 842 from 841 >sa0 >sa1
1731 843 from 841 >sa0 >sa1
1732 844 from 841 >sa0 >sa1
1733 845 from 841 >sa0 >sa1
1734 692 from 841 >sa0 >sa1
1606 846 or 5 4 >sa0 >sa1
1457 1458 1459 1066 
1713 847 from 846 >sa0 >sa1
1735 848 from 846 >sa0 >sa1
1736 849 from 846 >sa0 >sa1
1737 850 from 846 >sa0 >sa1
1738 851 from 846 >sa0 >sa1
1612 854 or 2 4 >sa0 >sa1
1460 1461 1462 1067 
1739 855 from 854 >sa0 >sa1
1740 856 from 854 >sa0 >sa1
1615 857 or 3 4 >sa0 >sa1
1463 1464 1465 1068 
1720 170 from 857 >sa0 >sa1
1741 858 from 857 >sa0 >sa1
1742 859 from 857 >sa0 >sa1
1619 1327 or 4 4 >sa0 >sa1
1466 1467 1468 1097 
1719 167 from 1327 >sa0 >sa1
1743 892 from 1327 >sa0 >sa1
1744 1056 from 1327 >sa0 >sa1
1754 1328 from 1327 >sa0 >sa1
1624 1329 or 3 4 >sa0 >sa1
1469 1470 1471 1098 
1718 165 from 1329 >sa0 >sa1
1745 1059 from 1329 >sa0 >sa1
1755 1330 from 1329 >sa0 >sa1
1628 1331 or 2 4 >sa0 >sa1
1472 1473 1474 1099 
1746 1065 from 1331 >sa0 >sa1
1756 1332 from 1331 >sa0 >sa1
1631 1333 or 2 4 >sa0 >sa1
1475 1476 1477 1100 
1747 1071 from 1333 >sa0 >sa1
1757 1334 from 1333 >sa0 >sa1
1634 1335 or 2 4 >sa0 >sa1
1478 1479 1480 1101 
1748 1077 from 1335 >sa0 >sa1
1758 1336 from 1335 >sa0 >sa1
1637 1461 or 4 4 >sa0 >sa1
1481 1482 1483 1124 
1717 163 from 1461 >sa0 >sa1
1759 1386 from 1461 >sa0 >sa1
1761 1462 from 1461 >sa0 >sa1
1762 1463 from 1461 >sa0 >sa1
1642 1464 or 4 4 >sa0 >sa1
1484 1485 1486 1125 
1715 159 from 1464 >sa0 >sa1
1760 1388 from 1464 >sa0 >sa1
1763 1465 from 1464 >sa0 >sa1
1764 1466 from 1464 >sa0 >sa1
1647 1467 or 3 4 >sa0 >sa1
1487 1488 1489 1126 
1716 161 from 1467 >sa0 >sa1
1765 1468 from 1467 >sa0 >sa1
1766 1469 from 1467 >sa0 >sa1
1651 1470 or 4 4 >sa0 >sa1
1490 1491 1492 1127 
1749 1212 from 1470 >sa0 >sa1
1751 1226 from 1470 >sa0 >sa1
1767 1471 from 1470 >sa0 >sa1
1768 1472 from 1470 >sa0 >sa1
1676 1698 or 3 4 >sa0 >sa1
1532 1533 1534 1169 
1728 1022 from 1698 >sa0 >sa1
1786 1699 from 1698 >sa0 >sa1
1787 1700 from 1698 >sa0 >sa1
1681 1701 or 3 4 >sa0 >sa1
1535 1536 1537 1170 
1729 1023 from 1701 >sa0 >sa1
1788 1702 from 1701 >sa0 >sa1
1789 1703 from 1701 >sa0 >sa1
1686 1704 or 3 4 >sa0 >sa1
1538 1539 1540 1171 
1753 1249 from 1704 >sa0 >sa1
1790 1705 from 1704 >sa0 >sa1
1791 1706 from 1704 >sa0 >sa1
1690 1707 or 2 4 >sa0 >sa1
1541 1542 1543 1172 
1792 1708 from 1707 >sa0 >sa1
1793 1709 from 1707 >sa0 >sa1
1708 2634 or 2 4 >sa0 >sa1
1529 1530 1531 1168 
1794 2635 from 2634 >sa0 >sa1
1812 2636 from 2634 >sa0 >sa1
1726 319 buff 0 1 >sa0 >sa1
1594 
1770 1504 not 2 1 >sa0 >sa1
1666 
1900 1505 from 1504 >sa0 >sa1
1901 1506 from 1504 >sa0 >sa1
1773 1513 not 2 1 >sa0 >sa1
1669 
1902 1514 from 1513 >sa0 >sa1
1903 1515 from 1513 >sa0 >sa1
1776 1524 not 1 1 >sa0 >sa1
1673 
1777 1528 not 1 1 >sa0 >sa1
1675 
1778 1529 buff 2 1 >sa0 >sa1
1671 
1904 1530 from 1529 >sa0 >sa1
1905 1531 from 1529 >sa0 >sa1
1781 1533 buff 2 1 >sa0 >sa1
1670 
1906 1534 from 1533 >sa0 >sa1
1907 1535 from 1533 >sa0 >sa1
1784 1538 and 1 3 >sa0 >sa1
1347 1344 1672 
1785 1541 and 1 3 >sa0 >sa1
1663 1660 1674 
1795 1781 not 2 1 >sa0 >sa1
1695 
1920 1782 from 1781 >sa0 >sa1
1921 1783 from 1781 >sa0 >sa1
1798 1790 not 2 1 >sa0 >sa1
1698 
1922 1791 from 1790 >sa0 >sa1
1923 1792 from 1790 >sa0 >sa1
1801 1806 buff 2 1 >sa0 >sa1
1700 
1924 1807 from 1806 >sa0 >sa1
1925 1808 from 1806 >sa0 >sa1
1804 1810 buff 2 1 >sa0 >sa1
1699 
1926 1811 from 1810 >sa0 >sa1
1927 1812 from 1810 >sa0 >sa1
1807 2734 not 1 1 >sa0 >sa1
1711 
1808 2521 not 1 1 >sa0 >sa1
1702 
1809 2524 nand 1 2 >sa0 >sa1
1703 1581 
1810 2531 not 1 1 >sa0 >sa1
1704 
1811 2532 not 1 1 >sa0 >sa1
1707 
1813 144 and 1 2 >sa0 >sa1
1712 386 
1814 147 buff 1 1 >sa0 >sa1
1713 
1815 152 buff 1 1 >sa0 >sa1
1714 
1816 160 not 0 1 >sa0 >sa1
1715 
1817 162 not 0 1 >sa0 >sa1
1716 
1818 164 not 0 1 >sa0 >sa1
1717 
1819 166 not 0 1 >sa0 >sa1
1718 
1820 168 not 0 1 >sa0 >sa1
1719 
1821 171 not 0 1 >sa0 >sa1
1720 
1822 175 and 1 4 >sa0 >sa1
794 393 36 1721 
1823 187 and 1 4 >sa0 >sa1
795 394 1722 486 
1824 516 buff 2 1 >sa0 >sa1
1725 
1978 517 from 516 >sa0 >sa1
1979 518 from 516 >sa0 >sa1
1827 852 not 2 1 >sa0 >sa1
1738 
1982 561 from 852 >sa0 >sa1
1993 853 from 852 >sa0 >sa1
1830 885 and 1 2 >sa0 >sa1
1731 836 
1831 887 and 1 2 >sa0 >sa1
1735 837 
1832 893 and 1 2 >sa0 >sa1
1743 416 
1833 1028 not 2 1 >sa0 >sa1
1730 
2000 1029 from 1028 >sa0 >sa1
2001 1030 from 1028 >sa0 >sa1
1836 1031 not 3 1 >sa0 >sa1
1732 
2002 1032 from 1031 >sa0 >sa1
2003 1033 from 1031 >sa0 >sa1
2004 1034 from 1031 >sa0 >sa1
1841 1035 not 4 1 >sa0 >sa1
1736 
2005 1036 from 1035 >sa0 >sa1
2006 1037 from 1035 >sa0 >sa1
2007 1038 from 1035 >sa0 >sa1
2009 1040 from 1035 >sa0 >sa1
1848 1041 buff 3 1 >sa0 >sa1
1739 
1995 890 from 1041 >sa0 >sa1
1850 f02299 from 1041 >sa0 >sa1
2011 1042 from 1041 >sa0 >sa1
1852 1049 buff 3 1 >sa0 >sa1
1741 
1994 888 from 1049 >sa0 >sa1
1854 f02301 from 1049 >sa0 >sa1
2013 1050 from 1049 >sa0 >sa1
1856 1057 buff 3 1 >sa0 >sa1
1744 
1997 1013 from 1057 >sa0 >sa1
1861 f05286 from 1057 >sa0 >sa1
2015 1058 from 1057 >sa0 >sa1
1863 1060 buff 3 1 >sa0 >sa1
1745 
1999 1017 from 1060 >sa0 >sa1
1868 f05303 from 1060 >sa0 >sa1
2017 1061 from 1060 >sa0 >sa1
1870 1066 buff 3 1 >sa0 >sa1
1746 
1985 1019 from 1066 >sa0 >sa1
1873 f03288 from 1066 >sa0 >sa1
2019 1067 from 1066 >sa0 >sa1
1875 1072 buff 3 1 >sa0 >sa1
1747 
1986 1020 from 1072 >sa0 >sa1
1878 f03305 from 1072 >sa0 >sa1
2021 1073 from 1072 >sa0 >sa1
1880 1078 buff 3 1 >sa0 >sa1
1748 
1987 1021 from 1078 >sa0 >sa1
1883 f03290 from 1078 >sa0 >sa1
2023 1079 from 1078 >sa0 >sa1
1885 1213 nand 2 2 >sa0 >sa1
841 1749 
2024 1214 from 1213 >sa0 >sa1
2025 1215 from 1213 >sa0 >sa1
1888 1218 not 1 1 >sa0 >sa1
730 
1891 1250 buff 1 1 >sa0 >sa1
1753 
1894 1387 and 1 2 >sa0 >sa1
1759 425 
1897 1389 not 2 1 >sa0 >sa1
1760 
1972 454 from 1389 >sa0 >sa1
1975 467 from 1389 >sa0 >sa1
1908 1537 and 1 3 >sa0 >sa1
1661 1346 1776 
1909 1540 and 1 3 >sa0 >sa1
1343 1662 1777 
1910 1735 and 1 2 >sa0 >sa1
1733 938 
1911 1737 and 1 2 >sa0 >sa1
1737 941 
1912 1739 and 1 2 >sa0 >sa1
1740 940 
1913 1741 and 1 2 >sa0 >sa1
1742 939 
1914 1743 and 1 2 >sa0 >sa1
1754 945 
1915 1745 and 1 2 >sa0 >sa1
1755 944 
1916 1747 and 1 2 >sa0 >sa1
1756 943 
1917 1749 and 1 2 >sa0 >sa1
1757 947 
1918 1751 and 1 2 >sa0 >sa1
1758 946 
1919 2638 not 1 1 >sa0 >sa1
1812 
1928 2024 and 1 2 >sa0 >sa1
1786 983 
1929 2026 and 1 2 >sa0 >sa1
1789 986 
1930 2028 and 1 2 >sa0 >sa1
1791 985 
1931 2030 and 1 2 >sa0 >sa1
1792 984 
1932 2032 and 1 2 >sa0 >sa1
1762 990 
1933 2034 and 1 2 >sa0 >sa1
1763 989 
1934 2036 and 1 2 >sa0 >sa1
1766 988 
1935 2038 and 1 2 >sa0 >sa1
1767 991 
1936 2154 buff 2 1 >sa0 >sa1
1734 
2044 2155 from 2154 >sa0 >sa1
2045 2156 from 2154 >sa0 >sa1
1939 2523 nand 1 2 >sa0 >sa1
1428 1808 
1940 2533 nand 1 2 >sa0 >sa1
1706 1810 
1941 2534 nand 1 2 >sa0 >sa1
1705 1811 
1942 2631 buff 2 1 >sa0 >sa1
1787 
2035 2633 from 2631 >sa0 >sa1
2082 2632 from 2631 >sa0 >sa1
1945 2639 buff 2 1 >sa0 >sa1
1790 
2037 2641 from 2639 >sa0 >sa1
2083 2640 from 2639 >sa0 >sa1
1948 2642 buff 2 1 >sa0 >sa1
1788 
2036 2643 from 2642 >sa0 >sa1
2084 2644 from 2642 >sa0 >sa1
1951 2647 buff 2 1 >sa0 >sa1
1761 
2039 2649 from 2647 >sa0 >sa1
2085 2648 from 2647 >sa0 >sa1
1954 2650 buff 2 1 >sa0 >sa1
1793 
2038 2651 from 2650 >sa0 >sa1
2086 2652 from 2650 >sa0 >sa1
1957 2655 buff 2 1 >sa0 >sa1
1765 
2087 2656 from 2655 >sa0 >sa1
2088 2657 from 2655 >sa0 >sa1
1960 2658 buff 2 1 >sa0 >sa1
1764 
2089 2659 from 2658 >sa0 >sa1
2090 2660 from 2658 >sa0 >sa1
1966 2668 buff 1 1 >sa0 >sa1
1768 
1969 153 or 0 2 >sa0 >sa1
791 1815 
1970 176 not 0 1 >sa0 >sa1
1822 
1971 188 not 0 1 >sa0 >sa1
1823 
2010 299 buff 0 1 >sa0 >sa1
1850 
2012 301 buff 0 1 >sa0 >sa1
1854 
2014 286 buff 0 1 >sa0 >sa1
1861 
2016 303 buff 0 1 >sa0 >sa1
1868 
2018 288 buff 0 1 >sa0 >sa1
1873 
2020 305 buff 0 1 >sa0 >sa1
1878 
2022 290 buff 0 1 >sa0 >sa1
1883 
2028 1532 not 1 1 >sa0 >sa1
1905 
2029 1536 not 1 1 >sa0 >sa1
1907 
2030 1539 nor 1 2 >sa0 >sa1
1908 1784 
2031 1542 nor 1 2 >sa0 >sa1
1909 1785 
2032 1544 and 1 3 >sa0 >sa1
1668 1665 1904 
2033 1547 and 1 3 >sa0 >sa1
1903 1901 1906 
2034 2065 or 1 2 >sa0 >sa1
1571 1935 
2040 1809 not 1 1 >sa0 >sa1
1925 
2041 1813 not 1 1 >sa0 >sa1
1927 
2042 1821 and 1 3 >sa0 >sa1
1697 1694 1924 
2043 1824 and 1 3 >sa0 >sa1
1923 1921 1926 
2046 2538 nand 2 2 >sa0 >sa1
1939 1809 
2159 2539 from 2538 >sa0 >sa1
2222 2540 from 2538 >sa0 >sa1
2049 2546 nand 2 2 >sa0 >sa1
1940 1941 
2160 2547 from 2546 >sa0 >sa1
2223 2548 from 2546 >sa0 >sa1
2052 2554 or 2 2 >sa0 >sa1
1544 1910 
2161 2555 from 2554 >sa0 >sa1
2224 2556 from 2554 >sa0 >sa1
2055 2562 or 2 2 >sa0 >sa1
1545 1911 
2162 2563 from 2562 >sa0 >sa1
2225 2564 from 2562 >sa0 >sa1
2058 2570 or 2 2 >sa0 >sa1
1546 1912 
2163 2571 from 2570 >sa0 >sa1
2226 2572 from 2570 >sa0 >sa1
2061 2578 or 2 2 >sa0 >sa1
1547 1913 
2164 2579 from 2578 >sa0 >sa1
2227 2580 from 2578 >sa0 >sa1
2064 2586 or 2 2 >sa0 >sa1
1548 1914 
2165 2587 from 2586 >sa0 >sa1
2228 2588 from 2586 >sa0 >sa1
2067 2594 or 2 2 >sa0 >sa1
1549 1915 
2166 2595 from 2594 >sa0 >sa1
2229 2596 from 2594 >sa0 >sa1
2070 2602 or 2 2 >sa0 >sa1
1550 1916 
2167 2603 from 2602 >sa0 >sa1
2230 2604 from 2602 >sa0 >sa1
2073 2610 or 2 2 >sa0 >sa1
1551 1917 
2168 2611 from 2610 >sa0 >sa1
2231 2612 from 2610 >sa0 >sa1
2076 2618 or 2 2 >sa0 >sa1
1552 1918 
2169 2619 from 2618 >sa0 >sa1
2232 2620 from 2618 >sa0 >sa1
2079 2626 or 2 2 >sa0 >sa1
1564 1928 
2170 2627 from 2626 >sa0 >sa1
2233 2628 from 2626 >sa0 >sa1
2095 2738 or 2 2 >sa0 >sa1
1565 1929 
2179 2739 from 2738 >sa0 >sa1
2238 2740 from 2738 >sa0 >sa1
2098 2746 or 2 2 >sa0 >sa1
1566 1930 
2180 2747 from 2746 >sa0 >sa1
2239 2748 from 2746 >sa0 >sa1
2101 2754 or 2 2 >sa0 >sa1
1567 1931 
2181 2755 from 2754 >sa0 >sa1
2240 2756 from 2754 >sa0 >sa1
2104 2762 or 2 2 >sa0 >sa1
1568 1932 
2182 2763 from 2762 >sa0 >sa1
2241 2764 from 2762 >sa0 >sa1
2107 2770 or 2 2 >sa0 >sa1
1569 1933 
2183 2771 from 2770 >sa0 >sa1
2242 2772 from 2770 >sa0 >sa1
2110 2778 or 2 2 >sa0 >sa1
1570 1934 
2184 2779 from 2778 >sa0 >sa1
2243 2780 from 2778 >sa0 >sa1
2113 456 and 3 3 >sa0 >sa1
1972 1894 368 
2245 457 from 456 >sa0 >sa1
2246 458 from 456 >sa0 >sa1
2249 461 from 456 >sa0 >sa1
2120 562 nand 4 2 >sa0 >sa1
408 1982 
2244 565 from 562 >sa0 >sa1
2253 563 from 562 >sa0 >sa1
2254 564 from 562 >sa0 >sa1
2255 566 from 562 >sa0 >sa1
2125 883 and 1 2 >sa0 >sa1
1979 835 
2126 889 and 1 2 >sa0 >sa1
1994 417 
2127 891 and 1 2 >sa0 >sa1
1995 838 
2128 1043 not 4 1 >sa0 >sa1
2011 
2273 1044 from 1043 >sa0 >sa1
2274 1045 from 1043 >sa0 >sa1
2275 1046 from 1043 >sa0 >sa1
2277 1048 from 1043 >sa0 >sa1
2135 1051 not 3 1 >sa0 >sa1
2013 
2278 1052 from 1051 >sa0 >sa1
2279 1053 from 1051 >sa0 >sa1
2281 1055 from 1051 >sa0 >sa1
2141 1062 not 2 1 >sa0 >sa1
2017 
2282 1063 from 1062 >sa0 >sa1
2283 1064 from 1062 >sa0 >sa1
2144 1068 not 2 1 >sa0 >sa1
2019 
2284 1069 from 1068 >sa0 >sa1
2285 1070 from 1068 >sa0 >sa1
2147 1074 not 2 1 >sa0 >sa1
2021 
2286 1075 from 1074 >sa0 >sa1
2287 1076 from 1074 >sa0 >sa1
2150 1080 not 2 1 >sa0 >sa1
2023 
2288 1081 from 1080 >sa0 >sa1
2289 1082 from 1080 >sa0 >sa1
2153 1225 and 1 2 >sa0 >sa1
843 2024 
2154 1227 and 1 2 >sa0 >sa1
2025 1751 
2156 1234 buff 1 1 >sa0 >sa1
1888 
2157 1543 and 1 3 >sa0 >sa1
1900 1667 2028 
2158 1546 and 1 3 >sa0 >sa1
1664 1902 2029 
2171 2637 not 1 1 >sa0 >sa1
2082 
2172 1753 nand 1 2 >sa0 >sa1
2035 1919 
2173 2645 not 1 1 >sa0 >sa1
2083 
2174 2646 not 1 1 >sa0 >sa1
2084 
2175 2653 not 1 1 >sa0 >sa1
2085 
2176 2654 not 1 1 >sa0 >sa1
2086 
2177 1820 and 1 3 >sa0 >sa1
1920 1696 2040 
2178 1823 and 1 3 >sa0 >sa1
1693 1922 2041 
2185 2107 buff 2 1 >sa0 >sa1
2003 
2257 2109 from 2107 >sa0 >sa1
2341 2108 from 2107 >sa0 >sa1
2188 2110 buff 2 1 >sa0 >sa1
2000 
2256 2111 from 2110 >sa0 >sa1
2342 2112 from 2110 >sa0 >sa1
2191 2118 buff 2 1 >sa0 >sa1
2007 
2258 2119 from 2118 >sa0 >sa1
2343 2120 from 2118 >sa0 >sa1
2194 2123 not 2 1 >sa0 >sa1
2015 
2259 2125 from 2123 >sa0 >sa1
2344 2124 from 2123 >sa0 >sa1
2197 2151 not 2 1 >sa0 >sa1
1993 
2345 2152 from 2151 >sa0 >sa1
2346 2153 from 2151 >sa0 >sa1
2200 2158 not 1 1 >sa0 >sa1
2045 
2201 2161 buff 2 1 >sa0 >sa1
2004 
2261 2163 from 2161 >sa0 >sa1
2347 2162 from 2161 >sa0 >sa1
2204 2164 buff 2 1 >sa0 >sa1
2001 
2260 2165 from 2164 >sa0 >sa1
2348 2166 from 2164 >sa0 >sa1
2207 2172 buff 2 1 >sa0 >sa1
2009 
2262 2173 from 2172 >sa0 >sa1
2349 2174 from 2172 >sa0 >sa1
2210 2235 buff 2 1 >sa0 >sa1
1978 
2263 2237 from 2235 >sa0 >sa1
2350 2236 from 2235 >sa0 >sa1
2216 2350 buff 1 1 >sa0 >sa1
2006 
2219 2535 nand 2 2 >sa0 >sa1
2031 2030 
2299 2537 from 2535 >sa0 >sa1
2353 2536 from 2535 >sa0 >sa1
2234 2661 not 1 1 >sa0 >sa1
2087 
2235 2662 not 1 1 >sa0 >sa1
2090 
2237 2672 not 1 1 >sa0 >sa1
1966 
2250 468 and 2 2 >sa0 >sa1
369 1975 
2362 469 from 468 >sa0 >sa1
2363 470 from 468 >sa0 >sa1
2266 897 or 2 2 >sa0 >sa1
1831 2126 
2267 f01284 from 897 >sa0 >sa1
2268 f02321 from 897 >sa0 >sa1
2269 898 or 2 2 >sa0 >sa1
2127 1832 
2270 f01297 from 898 >sa0 >sa1
2271 f02280 from 898 >sa0 >sa1
2291 1228 or 1 2 >sa0 >sa1
2153 2154 
2294 1235 buff 1 1 >sa0 >sa1
2156 
2297 1545 nor 1 2 >sa0 >sa1
2157 2032 
2298 1548 nor 1 2 >sa0 >sa1
2158 2033 
2300 2542 not 1 1 >sa0 >sa1
2222 
2301 2550 not 1 1 >sa0 >sa1
2223 
2302 1561 nand 1 2 >sa0 >sa1
2161 1519 
2303 2558 not 1 1 >sa0 >sa1
2224 
2304 1565 nand 1 2 >sa0 >sa1
2162 1520 
2305 2566 not 1 1 >sa0 >sa1
2225 
2306 1569 nand 1 2 >sa0 >sa1
2163 1521 
2307 2574 not 1 1 >sa0 >sa1
2226 
2308 1573 nand 1 2 >sa0 >sa1
2164 1522 
2309 2582 not 1 1 >sa0 >sa1
2227 
2310 1577 nand 1 2 >sa0 >sa1
2165 1523 
2311 2590 not 1 1 >sa0 >sa1
2228 
2312 1581 nand 1 2 >sa0 >sa1
2166 1524 
2313 2598 not 1 1 >sa0 >sa1
2229 
2314 1585 nand 1 2 >sa0 >sa1
2167 1525 
2315 2606 not 1 1 >sa0 >sa1
2230 
2316 1589 nand 1 2 >sa0 >sa1
2168 1526 
2317 2614 not 1 1 >sa0 >sa1
2231 
2318 1593 nand 1 2 >sa0 >sa1
2169 1527 
2319 2622 not 1 1 >sa0 >sa1
2232 
2320 1597 nand 1 2 >sa0 >sa1
2170 1528 
2321 2630 not 1 1 >sa0 >sa1
2233 
2322 1752 nand 1 2 >sa0 >sa1
1794 2171 
2323 1761 nand 1 2 >sa0 >sa1
2036 2173 
2324 1762 nand 1 2 >sa0 >sa1
2037 2174 
2325 1770 nand 1 2 >sa0 >sa1
2038 2175 
2326 1771 nand 1 2 >sa0 >sa1
2039 2176 
2327 1822 nor 1 2 >sa0 >sa1
2177 2042 
2328 1825 nor 1 2 >sa0 >sa1
2178 2043 
2329 2039 nand 1 2 >sa0 >sa1
2179 1572 
2330 2742 not 1 1 >sa0 >sa1
2238 
2331 2043 nand 1 2 >sa0 >sa1
2180 1573 
2332 2750 not 1 1 >sa0 >sa1
2239 
2333 2047 nand 1 2 >sa0 >sa1
2181 1574 
2334 2758 not 1 1 >sa0 >sa1
2240 
2335 2051 nand 1 2 >sa0 >sa1
2182 1575 
2336 2766 not 1 1 >sa0 >sa1
2241 
2337 2055 nand 1 2 >sa0 >sa1
2183 1576 
2338 2774 not 1 1 >sa0 >sa1
2242 
2339 2059 nand 1 2 >sa0 >sa1
2184 1577 
2340 2782 not 1 1 >sa0 >sa1
2243 
2354 2663 nand 1 2 >sa0 >sa1
2089 2234 
2355 2664 nand 1 2 >sa0 >sa1
2088 2235 
2357 2674 not 1 1 >sa0 >sa1
2237 
2358 146 and 1 2 >sa0 >sa1
2244 790 
2359 462 not 1 1 >sa0 >sa1
2249 
2364 2113 not 1 1 >sa0 >sa1
2341 
2365 2114 not 1 1 >sa0 >sa1
2342 
2366 2122 not 1 1 >sa0 >sa1
2343 
2367 2129 not 1 1 >sa0 >sa1
2344 
2368 592 buff 3 1 >sa0 >sa1
2254 
2507 593 from 592 >sa0 >sa1
2508 594 from 592 >sa0 >sa1
2509 595 from 592 >sa0 >sa1
2372 2167 not 1 1 >sa0 >sa1
2347 
2373 2168 not 1 1 >sa0 >sa1
2348 
2374 2176 not 1 1 >sa0 >sa1
2349 
2375 2241 not 1 1 >sa0 >sa1
2350 
2386 886 and 1 2 >sa0 >sa1
2255 413 
2387 284 buff 0 1 >sa0 >sa1
2267 
2388 321 buff 0 1 >sa0 >sa1
2268 
2389 297 buff 0 1 >sa0 >sa1
2270 
2390 280 buff 0 1 >sa0 >sa1
2271 
2391 995 buff 1 1 >sa0 >sa1
2245 
2395 1006 not 4 1 >sa0 >sa1
2246 
2514 1007 from 1006 >sa0 >sa1
2515 1008 from 1006 >sa0 >sa1
2516 1009 from 1006 >sa0 >sa1
2517 1010 from 1006 >sa0 >sa1
2400 1550 nand 1 2 >sa0 >sa1
2299 2300 
2406 2541 not 1 1 >sa0 >sa1
2353 
2407 1562 nand 1 2 >sa0 >sa1
1356 2303 
2408 1566 nand 1 2 >sa0 >sa1
1357 2305 
2409 1570 nand 1 2 >sa0 >sa1
1358 2307 
2410 1574 nand 1 2 >sa0 >sa1
1359 2309 
2411 1578 nand 1 2 >sa0 >sa1
1360 2311 
2412 1582 nand 1 2 >sa0 >sa1
1361 2313 
2413 1586 nand 1 2 >sa0 >sa1
1362 2315 
2414 1590 nand 1 2 >sa0 >sa1
1363 2317 
2415 1594 nand 1 2 >sa0 >sa1
1364 2319 
2416 1598 nand 1 2 >sa0 >sa1
1365 2321 
2417 1754 nand 3 2 >sa0 >sa1
2322 2172 
2554 1755 from 1754 >sa0 >sa1
2555 1756 from 1754 >sa0 >sa1
2556 1757 from 1754 >sa0 >sa1
2421 1763 nand 3 2 >sa0 >sa1
2323 2324 
2557 1764 from 1763 >sa0 >sa1
2558 1765 from 1763 >sa0 >sa1
2559 1766 from 1763 >sa0 >sa1
2425 1772 nand 2 2 >sa0 >sa1
2325 2326 
2560 1773 from 1772 >sa0 >sa1
2561 1774 from 1772 >sa0 >sa1
2428 2040 nand 1 2 >sa0 >sa1
1416 2330 
2429 2044 nand 1 2 >sa0 >sa1
1417 2332 
2430 2048 nand 1 2 >sa0 >sa1
1418 2334 
2431 2052 nand 1 2 >sa0 >sa1
1419 2336 
2432 2056 nand 1 2 >sa0 >sa1
1420 2338 
2433 2060 nand 1 2 >sa0 >sa1
1421 2340 
2434 2115 buff 2 1 >sa0 >sa1
2275 
2505 2117 from 2115 >sa0 >sa1
2569 2116 from 2115 >sa0 >sa1
2437 2126 buff 2 1 >sa0 >sa1
2281 
2506 2127 from 2126 >sa0 >sa1
2570 2128 from 2126 >sa0 >sa1
2440 2131 buff 2 1 >sa0 >sa1
2284 
2571 2132 from 2131 >sa0 >sa1
2572 2133 from 2131 >sa0 >sa1
2443 2134 buff 2 1 >sa0 >sa1
2282 
2573 2135 from 2134 >sa0 >sa1
2574 2136 from 2134 >sa0 >sa1
2446 2141 buff 2 1 >sa0 >sa1
2288 
2575 2142 from 2141 >sa0 >sa1
2576 2143 from 2141 >sa0 >sa1
2449 2144 buff 2 1 >sa0 >sa1
2286 
2577 2145 from 2144 >sa0 >sa1
2578 2146 from 2144 >sa0 >sa1
2452 2157 not 1 1 >sa0 >sa1
2345 
2453 2160 nand 1 2 >sa0 >sa1
2346 2200 
2454 2169 buff 2 1 >sa0 >sa1
2277 
2512 2171 from 2169 >sa0 >sa1
2580 2170 from 2169 >sa0 >sa1
2457 2177 buff 2 1 >sa0 >sa1
2285 
2581 2178 from 2177 >sa0 >sa1
2582 2179 from 2177 >sa0 >sa1
2460 2180 buff 2 1 >sa0 >sa1
2283 
2583 2181 from 2180 >sa0 >sa1
2584 2182 from 2180 >sa0 >sa1
2463 2187 buff 2 1 >sa0 >sa1
2289 
2585 2188 from 2187 >sa0 >sa1
2586 2189 from 2187 >sa0 >sa1
2466 2190 buff 2 1 >sa0 >sa1
2287 
2587 2191 from 2190 >sa0 >sa1
2588 2192 from 2190 >sa0 >sa1
2469 2207 not 2 1 >sa0 >sa1
2253 
2589 2208 from 2207 >sa0 >sa1
2590 2209 from 2207 >sa0 >sa1
2478 2342 buff 1 1 >sa0 >sa1
2274 
2481 2422 buff 1 1 >sa0 >sa1
2279 
2484 2543 nand 2 2 >sa0 >sa1
2298 2297 
2543 2545 from 2543 >sa0 >sa1
2595 2544 from 2543 >sa0 >sa1
2487 2709 not 2 1 >sa0 >sa1
2357 
2596 2710 from 2709 >sa0 >sa1
2597 2711 from 2709 >sa0 >sa1
2490 2712 nand 2 2 >sa0 >sa1
2354 2355 
2598 2713 from 2712 >sa0 >sa1
2599 2714 from 2712 >sa0 >sa1
2493 2727 nand 2 2 >sa0 >sa1
2328 2327 
2562 2729 from 2727 >sa0 >sa1
2600 2728 from 2727 >sa0 >sa1
2496 148 or 0 2 >sa0 >sa1
2358 1814 
2503 569 nand 1 2 >sa0 >sa1
2256 2364 
2504 570 nand 1 2 >sa0 >sa1
2257 2365 
2510 599 nand 1 2 >sa0 >sa1
2260 2372 
2511 600 nand 1 2 >sa0 >sa1
2261 2373 
2521 896 or 2 2 >sa0 >sa1
1830 2386 
2522 f01282 from 896 >sa0 >sa1
2523 f02323 from 896 >sa0 >sa1
2528 1549 nand 1 2 >sa0 >sa1
2159 2406 
2531 1243 not 1 1 >sa0 >sa1
2291 
2534 1245 not 1 1 >sa0 >sa1
2294 
2537 1257 buff 1 1 >sa0 >sa1
2362 
2540 1258 buff 1 1 >sa0 >sa1
2363 
2544 1563 nand 1 2 >sa0 >sa1
2302 2407 
2545 1567 nand 1 2 >sa0 >sa1
2304 2408 
2546 1571 nand 1 2 >sa0 >sa1
2306 2409 
2547 1575 nand 1 2 >sa0 >sa1
2308 2410 
2548 1579 nand 1 2 >sa0 >sa1
2310 2411 
2549 1583 nand 1 2 >sa0 >sa1
2312 2412 
2550 1587 nand 1 2 >sa0 >sa1
2314 2413 
2551 1591 nand 1 2 >sa0 >sa1
2316 2414 
2552 1595 nand 1 2 >sa0 >sa1
2318 2415 
2553 1599 nand 1 2 >sa0 >sa1
2320 2416 
2563 2041 nand 1 2 >sa0 >sa1
2329 2428 
2564 2045 nand 1 2 >sa0 >sa1
2331 2429 
2565 2049 nand 1 2 >sa0 >sa1
2333 2430 
2566 2053 nand 1 2 >sa0 >sa1
2335 2431 
2567 2057 nand 1 2 >sa0 >sa1
2337 2432 
2568 2061 nand 1 2 >sa0 >sa1
2339 2433 
2579 2159 nand 1 2 >sa0 >sa1
2044 2452 
2613 571 nand 3 2 >sa0 >sa1
2503 2504 
2716 572 from 571 >sa0 >sa1
2717 573 from 571 >sa0 >sa1
2718 574 from 571 >sa0 >sa1
2617 2121 not 1 1 >sa0 >sa1
2569 
2618 579 nand 1 2 >sa0 >sa1
2505 2366 
2619 587 nand 1 2 >sa0 >sa1
2506 2367 
2620 2130 not 1 1 >sa0 >sa1
2570 
2621 596 not 2 1 >sa0 >sa1
2509 
2721 597 from 596 >sa0 >sa1
2722 598 from 596 >sa0 >sa1
2624 601 nand 3 2 >sa0 >sa1
2510 2511 
2723 602 from 601 >sa0 >sa1
2724 603 from 601 >sa0 >sa1
2725 604 from 601 >sa0 >sa1
2628 2175 not 1 1 >sa0 >sa1
2580 
2629 609 nand 1 2 >sa0 >sa1
2512 2374 
2631 1014 buff 1 1 >sa0 >sa1
1997 
2632 1018 buff 1 1 >sa0 >sa1
1999 
2633 717 and 1 2 >sa0 >sa1
1987 2514 
2634 723 and 1 2 >sa0 >sa1
1728 2515 
2635 729 and 1 2 >sa0 >sa1
1729 2516 
2636 735 and 1 2 >sa0 >sa1
1891 2517 
2643 282 buff 0 1 >sa0 >sa1
2522 
2644 323 buff 0 1 >sa0 >sa1
2523 
2646 999 not 2 1 >sa0 >sa1
2391 
2727 1001 from 999 >sa0 >sa1
2728 1003 from 999 >sa0 >sa1
2652 1091 nand 1 2 >sa0 >sa1
2528 2400 
2659 1337 buff 3 1 >sa0 >sa1
2359 
2744 1338 from 1337 >sa0 >sa1
2745 1339 from 1337 >sa0 >sa1
2746 1340 from 1337 >sa0 >sa1
2663 2549 not 1 1 >sa0 >sa1
2595 
2664 1552 nand 1 2 >sa0 >sa1
2543 2301 
2665 1600 not 1 1 >sa0 >sa1
2553 
2666 1596 not 1 1 >sa0 >sa1
2552 
2667 1592 not 1 1 >sa0 >sa1
2551 
2668 1588 not 1 1 >sa0 >sa1
2550 
2669 1584 not 1 1 >sa0 >sa1
2549 
2670 1580 not 1 1 >sa0 >sa1
2548 
2671 1576 not 1 1 >sa0 >sa1
2547 
2672 1572 not 1 1 >sa0 >sa1
2546 
2673 1568 not 1 1 >sa0 >sa1
2545 
2674 1564 not 1 1 >sa0 >sa1
2544 
2675 2062 not 1 1 >sa0 >sa1
2568 
2676 2058 not 1 1 >sa0 >sa1
2567 
2677 2054 not 1 1 >sa0 >sa1
2566 
2678 2050 not 1 1 >sa0 >sa1
2565 
2679 2046 not 1 1 >sa0 >sa1
2564 
2680 2042 not 1 1 >sa0 >sa1
2563 
2681 1758 not 2 1 >sa0 >sa1
2556 
2752 1759 from 1758 >sa0 >sa1
2753 1760 from 1758 >sa0 >sa1
2684 1767 not 2 1 >sa0 >sa1
2559 
2754 1768 from 1767 >sa0 >sa1
2755 1769 from 1767 >sa0 >sa1
2687 1798 buff 2 1 >sa0 >sa1
2561 
2756 1799 from 1798 >sa0 >sa1
2757 1800 from 1798 >sa0 >sa1
2690 1802 buff 2 1 >sa0 >sa1
2560 
2758 1803 from 1802 >sa0 >sa1
2759 1804 from 1802 >sa0 >sa1
2693 2733 not 1 1 >sa0 >sa1
2600 
2694 1829 nand 1 2 >sa0 >sa1
2562 1807 
2695 2137 not 1 1 >sa0 >sa1
2571 
2696 2138 not 1 1 >sa0 >sa1
2574 
2697 2147 not 1 1 >sa0 >sa1
2575 
2698 2148 not 1 1 >sa0 >sa1
2578 
2699 2183 not 1 1 >sa0 >sa1
2581 
2700 2184 not 1 1 >sa0 >sa1
2584 
2701 2193 not 1 1 >sa0 >sa1
2585 
2702 2194 not 1 1 >sa0 >sa1
2588 
2703 2210 nand 2 2 >sa0 >sa1
2579 2453 
2779 2211 from 2210 >sa0 >sa1
2780 2212 from 2210 >sa0 >sa1
2706 2213 not 1 1 >sa0 >sa1
2589 
2707 2715 not 1 1 >sa0 >sa1
2596 
2708 2716 not 1 1 >sa0 >sa1
2599 
2719 578 nand 1 2 >sa0 >sa1
2258 2617 
2720 588 nand 1 2 >sa0 >sa1
2259 2620 
2726 608 nand 1 2 >sa0 >sa1
2262 2628 
2738 1005 buff 4 1 >sa0 >sa1
2537 
2813 718 from 1005 >sa0 >sa1
2814 724 from 1005 >sa0 >sa1
2815 730 from 1005 >sa0 >sa1
2816 736 from 1005 >sa0 >sa1
2743 1092 not 1 1 >sa0 >sa1
2652 
2747 1551 nand 1 2 >sa0 >sa1
2160 2663 
2748 1554 and 1 5 >sa0 >sa1
2665 2666 2667 2668 2669 
2749 1555 and 1 5 >sa0 >sa1
2670 2671 2672 2673 2674 
2750 1557 and 1 2 >sa0 >sa1
2034 2675 
2751 1558 and 1 5 >sa0 >sa1
2676 2677 2678 2679 2680 
2760 1828 nand 1 2 >sa0 >sa1
1701 2693 
2766 1907 buff 4 1 >sa0 >sa1
2540 
2865 1908 from 1907 >sa0 >sa1
2866 1909 from 1907 >sa0 >sa1
2867 1910 from 1907 >sa0 >sa1
2868 1911 from 1907 >sa0 >sa1
2771 2139 nand 1 2 >sa0 >sa1
2573 2695 
2772 2140 nand 1 2 >sa0 >sa1
2572 2696 
2773 2149 nand 1 2 >sa0 >sa1
2577 2697 
2774 2150 nand 1 2 >sa0 >sa1
2576 2698 
2775 2185 nand 1 2 >sa0 >sa1
2583 2699 
2776 2186 nand 1 2 >sa0 >sa1
2582 2700 
2777 2195 nand 1 2 >sa0 >sa1
2587 2701 
2778 2196 nand 1 2 >sa0 >sa1
2586 2702 
2781 2717 nand 1 2 >sa0 >sa1
2598 2707 
2782 2718 nand 1 2 >sa0 >sa1
2597 2708 
2783 154 buff 1 1 >sa0 >sa1
2534 
2784 155 buff 1 1 >sa0 >sa1
2531 
2793 575 not 2 1 >sa0 >sa1
2718 
2902 576 from 575 >sa0 >sa1
2903 577 from 575 >sa0 >sa1
2796 580 nand 3 2 >sa0 >sa1
2719 2618 
2904 581 from 580 >sa0 >sa1
2905 582 from 580 >sa0 >sa1
2906 583 from 580 >sa0 >sa1
2800 589 nand 2 2 >sa0 >sa1
2619 2720 
2907 590 from 589 >sa0 >sa1
2908 591 from 589 >sa0 >sa1
2803 605 not 2 1 >sa0 >sa1
2725 
2909 606 from 605 >sa0 >sa1
2910 607 from 605 >sa0 >sa1
2806 610 nand 2 2 >sa0 >sa1
2726 2629 
2911 611 from 610 >sa0 >sa1
2912 612 from 610 >sa0 >sa1
2811 705 and 1 2 >sa0 >sa1
1985 2727 
2812 711 and 1 2 >sa0 >sa1
1986 2728 
2817 1093 and 2 2 >sa0 >sa1
2743 14 
2923 1090 from 1093 >sa0 >sa1
2819 f02401 from 1093 >sa0 >sa1
2826 1553 nand 2 2 >sa0 >sa1
2747 2664 
2893 228 from 1553 >sa0 >sa1
2924 1086 from 1553 >sa0 >sa1
2829 1556 and 1 2 >sa0 >sa1
2748 2749 
2830 1559 and 1 2 >sa0 >sa1
2750 2751 
2831 1601 buff 5 1 >sa0 >sa1
2746 
2926 1603 from 1601 >sa0 >sa1
2934 1602 from 1601 >sa0 >sa1
2935 1604 from 1601 >sa0 >sa1
2936 1605 from 1601 >sa0 >sa1
2937 1606 from 1601 >sa0 >sa1
2837 1801 not 1 1 >sa0 >sa1
2757 
2838 1805 not 1 1 >sa0 >sa1
2759 
2839 1815 and 1 3 >sa0 >sa1
2558 2555 2756 
2840 1818 and 1 3 >sa0 >sa1
2755 2752 2758 
2841 1830 nand 2 2 >sa0 >sa1
2760 2694 
2892 226 from 1830 >sa0 >sa1
2922 1084 from 1830 >sa0 >sa1
2859 1898 buff 5 1 >sa0 >sa1
2744 
2950 1899 from 1898 >sa0 >sa1
2951 1900 from 1898 >sa0 >sa1
2952 1901 from 1898 >sa0 >sa1
2953 1902 from 1898 >sa0 >sa1
2954 1903 from 1898 >sa0 >sa1
2869 1912 buff 4 1 >sa0 >sa1
2745 
2955 1913 from 1912 >sa0 >sa1
2956 1914 from 1912 >sa0 >sa1
2957 1915 from 1912 >sa0 >sa1
2958 1916 from 1912 >sa0 >sa1
2874 2197 nand 2 2 >sa0 >sa1
2773 2774 
2959 2198 from 2197 >sa0 >sa1
2960 2199 from 2197 >sa0 >sa1
2877 2200 nand 2 2 >sa0 >sa1
2771 2772 
2961 2201 from 2200 >sa0 >sa1
2962 2202 from 2200 >sa0 >sa1
2880 2214 not 1 1 >sa0 >sa1
2780 
2881 2215 nand 1 2 >sa0 >sa1
2779 2706 
2882 2217 nand 2 2 >sa0 >sa1
2777 2778 
2964 2218 from 2217 >sa0 >sa1
2965 2219 from 2217 >sa0 >sa1
2885 2220 nand 2 2 >sa0 >sa1
2775 2776 
2966 2221 from 2220 >sa0 >sa1
2967 2222 from 2220 >sa0 >sa1
2888 2722 nand 2 2 >sa0 >sa1
2781 2782 
2940 2723 from 2722 >sa0 >sa1
2968 2724 from 2722 >sa0 >sa1
2891 156 nand 0 2 >sa0 >sa1
2783 2784 
2914 693 buff 1 1 >sa0 >sa1
2631 
2915 699 buff 1 1 >sa0 >sa1
2632 
2916 707 and 1 2 >sa0 >sa1
2811 1280 
2917 713 and 1 2 >sa0 >sa1
2812 1281 
2918 719 and 1 2 >sa0 >sa1
2633 2813 
2919 725 and 1 2 >sa0 >sa1
2634 2814 
2920 731 and 1 2 >sa0 >sa1
2635 2815 
2921 737 and 1 2 >sa0 >sa1
2636 2816 
2925 401 buff 0 1 >sa0 >sa1
2819 
2931 1560 and 2 3 >sa0 >sa1
2829 2830 1302 
2969 149 from 1560 >sa0 >sa1
2933 f02311 from 1560 >sa0 >sa1
2938 1814 and 1 3 >sa0 >sa1
2753 2557 2837 
2939 1817 and 1 3 >sa0 >sa1
2554 2754 2838 
2963 2216 nand 1 2 >sa0 >sa1
2590 2880 
2970 227 not 0 1 >sa0 >sa1
2892 
2971 229 not 0 1 >sa0 >sa1
2893 
2992 584 not 2 1 >sa0 >sa1
2906 
3098 585 from 584 >sa0 >sa1
3099 586 from 584 >sa0 >sa1
2995 613 buff 2 1 >sa0 >sa1
2908 
3100 614 from 613 >sa0 >sa1
3101 615 from 613 >sa0 >sa1
2998 617 buff 2 1 >sa0 >sa1
2907 
3102 618 from 617 >sa0 >sa1
3103 619 from 617 >sa0 >sa1
3001 621 buff 2 1 >sa0 >sa1
2911 
3104 622 from 621 >sa0 >sa1
3105 623 from 621 >sa0 >sa1
3004 625 buff 2 1 >sa0 >sa1
2912 
3106 626 from 625 >sa0 >sa1
3107 627 from 625 >sa0 >sa1
3008 695 and 1 2 >sa0 >sa1
2914 1278 
3009 701 and 1 2 >sa0 >sa1
2915 1279 
3010 708 not 2 1 >sa0 >sa1
2916 
3116 709 from 708 >sa0 >sa1
3117 710 from 708 >sa0 >sa1
3013 714 not 2 1 >sa0 >sa1
2917 
3118 715 from 714 >sa0 >sa1
3119 716 from 714 >sa0 >sa1
3016 720 not 2 1 >sa0 >sa1
2918 
3120 721 from 720 >sa0 >sa1
3121 722 from 720 >sa0 >sa1
3019 726 not 2 1 >sa0 >sa1
2919 
3122 727 from 726 >sa0 >sa1
3123 728 from 726 >sa0 >sa1
3022 732 not 2 1 >sa0 >sa1
2920 
3124 733 from 732 >sa0 >sa1
3125 734 from 732 >sa0 >sa1
3025 738 not 2 1 >sa0 >sa1
2921 
3126 739 from 738 >sa0 >sa1
3127 740 from 738 >sa0 >sa1
3028 1087 not 1 1 >sa0 >sa1
2923 
3029 1108 and 1 2 >sa0 >sa1
840 2926 
3038 311 buff 0 1 >sa0 >sa1
2933 
3039 1607 not 4 1 >sa0 >sa1
2937 
3128 1608 from 1607 >sa0 >sa1
3132 1609 from 1607 >sa0 >sa1
3133 1610 from 1607 >sa0 >sa1
3134 1611 from 1607 >sa0 >sa1
3044 1615 and 1 2 >sa0 >sa1
870 2934 
3045 1619 and 1 2 >sa0 >sa1
913 2936 
3046 1623 and 1 2 >sa0 >sa1
915 2935 
3047 1816 nor 1 2 >sa0 >sa1
2938 2839 
3048 1819 nor 1 2 >sa0 >sa1
2939 2840 
3049 2726 not 1 1 >sa0 >sa1
2968 
3061 1904 not 2 1 >sa0 >sa1
2954 
3155 1905 from 1904 >sa0 >sa1
3156 1906 from 1904 >sa0 >sa1
3064 1920 and 1 2 >sa0 >sa1
965 2951 
3065 1925 and 1 2 >sa0 >sa1
967 2950 
3066 1928 and 1 2 >sa0 >sa1
968 2953 
3067 1930 and 1 2 >sa0 >sa1
969 2952 
3068 1932 and 1 2 >sa0 >sa1
970 2957 
3069 1934 and 1 2 >sa0 >sa1
971 2956 
3070 1936 and 1 2 >sa0 >sa1
972 2955 
3071 1938 and 1 2 >sa0 >sa1
973 2958 
3072 2203 not 1 1 >sa0 >sa1
2959 
3073 2204 not 1 1 >sa0 >sa1
2962 
3074 2223 not 1 1 >sa0 >sa1
2964 
3075 2224 not 1 1 >sa0 >sa1
2967 
3076 2238 nand 2 2 >sa0 >sa1
2881 2963 
3108 2239 from 2238 >sa0 >sa1
3179 2240 from 2238 >sa0 >sa1
3079 150 not 0 1 >sa0 >sa1
2969 
3110 696 not 2 1 >sa0 >sa1
3008 
3198 697 from 696 >sa0 >sa1
3199 698 from 696 >sa0 >sa1
3113 702 not 2 1 >sa0 >sa1
3009 
3200 703 from 702 >sa0 >sa1
3201 704 from 702 >sa0 >sa1
3157 1943 and 2 2 >sa0 >sa1
3066 1405 
3214 1163 from 1943 >sa0 >sa1
3232 1944 from 1943 >sa0 >sa1
3160 1945 and 2 2 >sa0 >sa1
3067 1404 
3213 1154 from 1945 >sa0 >sa1
3233 1946 from 1945 >sa0 >sa1
3163 1947 and 2 2 >sa0 >sa1
3068 2867 
3212 1141 from 1947 >sa0 >sa1
3234 1948 from 1947 >sa0 >sa1
3166 1949 and 2 2 >sa0 >sa1
3069 2866 
3211 1139 from 1949 >sa0 >sa1
3235 1950 from 1949 >sa0 >sa1
3169 1951 and 2 2 >sa0 >sa1
3070 2865 
3210 1132 from 1951 >sa0 >sa1
3236 1952 from 1951 >sa0 >sa1
3172 1953 and 2 2 >sa0 >sa1
3071 2868 
3209 1124 from 1953 >sa0 >sa1
3237 1954 from 1953 >sa0 >sa1
3175 2205 nand 1 2 >sa0 >sa1
2961 3072 
3176 2206 nand 1 2 >sa0 >sa1
2960 3073 
3177 2225 nand 1 2 >sa0 >sa1
2966 3074 
3178 2226 nand 1 2 >sa0 >sa1
2965 3075 
3180 2719 nand 2 2 >sa0 >sa1
3048 3047 
3221 2721 from 2719 >sa0 >sa1
3280 2720 from 2719 >sa0 >sa1
3187 616 not 1 1 >sa0 >sa1
3101 
3188 620 not 1 1 >sa0 >sa1
3103 
3189 624 not 1 1 >sa0 >sa1
3105 
3190 628 not 1 1 >sa0 >sa1
3107 
3191 630 and 1 3 >sa0 >sa1
2905 2717 3100 
3192 633 and 1 3 >sa0 >sa1
3099 2902 3102 
3193 636 and 1 3 >sa0 >sa1
2724 2508 3104 
3194 639 and 1 3 >sa0 >sa1
2910 2722 3106 
3195 645 nand 1 2 >sa0 >sa1
3108 2375 
3196 2242 not 1 1 >sa0 >sa1
3179 
3208 1107 and 1 2 >sa0 >sa1
839 3128 
3218 1614 and 1 2 >sa0 >sa1
911 3132 
3219 1617 and 1 2 >sa0 >sa1
912 3133 
3220 1621 and 1 2 >sa0 >sa1
914 3134 
3230 1918 and 1 2 >sa0 >sa1
964 3155 
3231 1923 and 1 2 >sa0 >sa1
966 3156 
3238 2230 nand 2 2 >sa0 >sa1
3175 3176 
3285 2231 from 2230 >sa0 >sa1
3338 2232 from 2230 >sa0 >sa1
3241 2246 nand 2 2 >sa0 >sa1
3177 3178 
3287 2247 from 2246 >sa0 >sa1
3339 2248 from 2246 >sa0 >sa1
3262 2358 buff 1 1 >sa0 >sa1
3127 
3265 2366 buff 1 1 >sa0 >sa1
3125 
3268 2374 buff 1 1 >sa0 >sa1
3123 
3271 2382 buff 1 1 >sa0 >sa1
3121 
3274 2390 buff 1 1 >sa0 >sa1
3119 
3277 2398 buff 1 1 >sa0 >sa1
3117 
3281 629 and 1 3 >sa0 >sa1
2903 2904 3187 
3282 632 and 1 3 >sa0 >sa1
2716 3098 3188 
3283 635 and 1 3 >sa0 >sa1
2721 2723 3189 
3284 638 and 1 3 >sa0 >sa1
2507 2909 3190 
3286 646 nand 1 2 >sa0 >sa1
2263 3196 
3289 1827 nand 1 2 >sa0 >sa1
3221 3049 
3302 1109 or 1 2 >sa0 >sa1
3208 3029 
3304 1125 and 1 2 >sa0 >sa1
3209 3126 
3306 1133 and 1 2 >sa0 >sa1
3210 3124 
3308 1140 and 1 2 >sa0 >sa1
3211 3122 
3309 1142 and 1 2 >sa0 >sa1
3120 3212 
3312 1155 and 1 2 >sa0 >sa1
3213 3118 
3314 1164 and 1 2 >sa0 >sa1
3214 3116 
3324 1624 or 2 2 >sa0 >sa1
3218 3044 
3427 1105 from 1624 >sa0 >sa1
3447 1625 from 1624 >sa0 >sa1
3327 1626 or 2 2 >sa0 >sa1
3219 3045 
3426 1103 from 1626 >sa0 >sa1
3448 1627 from 1626 >sa0 >sa1
3330 1628 or 2 2 >sa0 >sa1
3220 3046 
3443 1183 from 1628 >sa0 >sa1
3449 1629 from 1628 >sa0 >sa1
3333 2725 not 1 1 >sa0 >sa1
3280 
3336 1921 or 1 2 >sa0 >sa1
3230 3064 
3337 1926 or 1 2 >sa0 >sa1
3231 3065 
3370 2355 buff 1 1 >sa0 >sa1
3237 
3374 2363 buff 1 1 >sa0 >sa1
3236 
3378 2371 buff 1 1 >sa0 >sa1
3235 
3382 2379 buff 1 1 >sa0 >sa1
3234 
3386 2387 buff 1 1 >sa0 >sa1
3233 
3390 2395 buff 1 1 >sa0 >sa1
3232 
3394 2406 buff 1 1 >sa0 >sa1
3201 
3397 2414 buff 1 1 >sa0 >sa1
3198 
3400 647 nand 1 2 >sa0 >sa1
3195 3286 
3401 631 nor 1 2 >sa0 >sa1
3281 3191 
3402 634 nor 1 2 >sa0 >sa1
3282 3192 
3403 637 nor 1 2 >sa0 >sa1
3283 3193 
3404 640 nor 1 2 >sa0 >sa1
3284 3194 
3405 2234 not 1 1 >sa0 >sa1
3338 
3406 2250 not 1 1 >sa0 >sa1
3339 
3410 1826 nand 1 2 >sa0 >sa1
2940 3333 
3428 1110 and 1 2 >sa0 >sa1
3302 2002 
3456 1939 and 2 2 >sa0 >sa1
3336 1407 
3516 1178 from 1939 >sa0 >sa1
3520 1940 from 1939 >sa0 >sa1
3459 1941 and 2 2 >sa0 >sa1
3337 1406 
3514 1171 from 1941 >sa0 >sa1
3521 1942 from 1941 >sa0 >sa1
3478 143 and 1 2 >sa0 >sa1
3400 789 
3481 686 nand 1 2 >sa0 >sa1
3410 3289 
3499 1104 and 1 2 >sa0 >sa1
3426 2273 
3500 1106 and 1 2 >sa0 >sa1
3427 2005 
3502 1118 not 1 1 >sa0 >sa1
3370 
3504 1127 not 1 1 >sa0 >sa1
3374 
3506 1135 not 1 1 >sa0 >sa1
3378 
3508 1144 not 1 1 >sa0 >sa1
3382 
3510 1147 not 1 1 >sa0 >sa1
3386 
3512 1157 not 1 1 >sa0 >sa1
3390 
3517 1184 and 1 2 >sa0 >sa1
3443 2278 
3522 2227 nand 2 2 >sa0 >sa1
3402 3401 
3547 2229 from 2227 >sa0 >sa1
3572 2228 from 2227 >sa0 >sa1
3525 2243 nand 2 2 >sa0 >sa1
3404 3403 
3548 2245 from 2243 >sa0 >sa1
3573 2244 from 2243 >sa0 >sa1
3537 2339 buff 1 1 >sa0 >sa1
3448 
3540 2347 buff 1 1 >sa0 >sa1
3447 
3543 2419 buff 1 1 >sa0 >sa1
3449 
3546 145 or 0 2 >sa0 >sa1
3478 1813 
3551 687 not 1 1 >sa0 >sa1
3481 
3563 1117 not 1 1 >sa0 >sa1
3262 
3564 1126 not 1 1 >sa0 >sa1
3265 
3565 1134 not 1 1 >sa0 >sa1
3268 
3566 1143 not 1 1 >sa0 >sa1
3271 
3567 1146 not 1 1 >sa0 >sa1
3274 
3568 1156 not 1 1 >sa0 >sa1
3277 
3569 1172 and 1 2 >sa0 >sa1
3514 3200 
3570 1179 and 1 2 >sa0 >sa1
3516 3199 
3585 2403 buff 1 1 >sa0 >sa1
3521 
3588 2411 buff 1 1 >sa0 >sa1
3520 
3592 2233 not 1 1 >sa0 >sa1
3572 
3593 642 nand 1 2 >sa0 >sa1
3547 3405 
3594 2249 not 1 1 >sa0 >sa1
3573 
3595 649 nand 1 2 >sa0 >sa1
3548 3406 
3600 688 and 2 2 >sa0 >sa1
3551 1030 
3601 f01395 from 688 >sa0 >sa1
3672 689 from 688 >sa0 >sa1
3632 1099 not 1 1 >sa0 >sa1
3537 
3633 1115 not 1 1 >sa0 >sa1
3540 
3635 1119 nand 4 2 >sa0 >sa1
3563 3502 
3698 1120 from 1119 >sa0 >sa1
3699 1121 from 1119 >sa0 >sa1
3700 1122 from 1119 >sa0 >sa1
3701 1123 from 1119 >sa0 >sa1
3640 1128 nand 3 2 >sa0 >sa1
3564 3504 
3702 1129 from 1128 >sa0 >sa1
3703 1130 from 1128 >sa0 >sa1
3704 1131 from 1128 >sa0 >sa1
3644 1136 nand 2 2 >sa0 >sa1
3565 3506 
3705 1137 from 1136 >sa0 >sa1
3706 1138 from 1136 >sa0 >sa1
3647 1145 nand 1 2 >sa0 >sa1
3566 3508 
3648 1148 nand 5 2 >sa0 >sa1
3567 3510 
3707 1149 from 1148 >sa0 >sa1
3708 1150 from 1148 >sa0 >sa1
3709 1151 from 1148 >sa0 >sa1
3710 1152 from 1148 >sa0 >sa1
3711 1153 from 1148 >sa0 >sa1
3654 1158 nand 4 2 >sa0 >sa1
3568 3512 
3712 1159 from 1158 >sa0 >sa1
3713 1160 from 1158 >sa0 >sa1
3714 1161 from 1158 >sa0 >sa1
3715 1162 from 1158 >sa0 >sa1
3662 1181 not 1 1 >sa0 >sa1
3543 
3667 641 nand 1 2 >sa0 >sa1
3285 3592 
3668 648 nand 1 2 >sa0 >sa1
3287 3594 
3671 395 buff 0 1 >sa0 >sa1
3601 
3696 1098 not 1 1 >sa0 >sa1
2478 
3697 1114 not 1 1 >sa0 >sa1
2216 
3717 1166 not 1 1 >sa0 >sa1
3585 
3719 1174 not 1 1 >sa0 >sa1
3588 
3720 1180 not 1 1 >sa0 >sa1
2481 
3721 643 nand 1 2 >sa0 >sa1
3667 3593 
3722 650 nand 1 2 >sa0 >sa1
3668 3595 
3727 690 not 1 1 >sa0 >sa1
3672 
3737 1100 nand 2 2 >sa0 >sa1
3696 3632 
3765 1101 from 1100 >sa0 >sa1
3766 1102 from 1100 >sa0 >sa1
3740 1112 nand 1 2 >sa0 >sa1
3697 3633 
3741 1165 not 1 1 >sa0 >sa1
3394 
3742 1173 not 1 1 >sa0 >sa1
3397 
3743 1182 nand 1 2 >sa0 >sa1
3720 3662 
3744 1185 and 1 4 >sa0 >sa1
3704 3647 3705 3701 
3745 1187 and 1 2 >sa0 >sa1
3698 3306 
3746 1188 and 1 3 >sa0 >sa1
3702 3699 3308 
3747 1189 and 1 4 >sa0 >sa1
3706 3700 3309 3703 
3748 1195 and 1 2 >sa0 >sa1
3708 3314 
3749 1196 and 1 3 >sa0 >sa1
3712 3709 3569 
3750 644 not 1 1 >sa0 >sa1
3721 
3753 884 and 1 2 >sa0 >sa1
3722 414 
3767 1167 nand 3 2 >sa0 >sa1
3741 3717 
3795 1168 from 1167 >sa0 >sa1
3796 1169 from 1167 >sa0 >sa1
3797 1170 from 1167 >sa0 >sa1
3771 1175 nand 2 2 >sa0 >sa1
3742 3719 
3798 1176 from 1175 >sa0 >sa1
3799 1177 from 1175 >sa0 >sa1
3774 1186 not 1 1 >sa0 >sa1
3744 
3775 1190 or 1 4 >sa0 >sa1
3304 3745 3746 3747 
3780 895 or 2 2 >sa0 >sa1
2125 3753 
3781 f01295 from 895 >sa0 >sa1
3782 f02331 from 895 >sa0 >sa1
3790 1025 and 2 2 >sa0 >sa1
3750 1031 
3791 f01397 from 1025 >sa0 >sa1
3810 1026 from 1025 >sa0 >sa1
3793 1111 and 1 2 >sa0 >sa1
3765 3500 
3794 1113 and 1 3 >sa0 >sa1
3740 3766 3428 
3803 295 buff 0 1 >sa0 >sa1
3781 
3804 331 buff 0 1 >sa0 >sa1
3782 
3809 397 buff 0 1 >sa0 >sa1
3791 
3811 1116 or 1 3 >sa0 >sa1
3499 3793 3794 
3813 1194 and 1 5 >sa0 >sa1
3715 3743 3797 3707 3798 
3814 1197 and 1 4 >sa0 >sa1
3795 3710 3570 3713 
3815 1198 and 1 5 >sa0 >sa1
3799 3796 3711 3517 3714 
3819 1027 not 1 1 >sa0 >sa1
3810 
3820 1199 or 1 5 >sa0 >sa1
3312 3748 3749 3814 3815 
3821 1200 and 1 2 >sa0 >sa1
3813 3811 
3822 1205 not 1 1 >sa0 >sa1
3774 
3826 1085 and 1 3 >sa0 >sa1
3727 3819 2922 
3827 1201 or 1 2 >sa0 >sa1
3820 3821 
3837 1207 and 1 2 >sa0 >sa1
3822 3827 
3839 1206 buff 1 1 >sa0 >sa1
3775 
3843 1208 or 1 2 >sa0 >sa1
3839 3837 
3851 329 buff 0 1 >sa0 >sa1
3843 
3876 1088 and 1 2 >sa0 >sa1
2924 3028 
3877 1089 and 2 3 >sa0 >sa1
3826 3876 1727 
3880 224 from 1089 >sa0 >sa1
3879 f02308 from 1089 >sa0 >sa1
3881 308 buff 0 1 >sa0 >sa1
3879 
3882 225 not 0 1 >sa0 >sa1
3880