1 1 inpt 11 0 >sa0 >sa1
353 2 from 1 >sa0 >sa1
354 3 from 1 >sa0 >sa1
355 4 from 1 >sa0 >sa1
356 5 from 1 >sa0 >sa1
357 6 from 1 >sa0 >sa1
358 7 from 1 >sa0 >sa1
359 8 from 1 >sa0 >sa1
360 9 from 1 >sa0 >sa1
361 10 from 1 >sa0 >sa1
362 11 from 1 >sa0 >sa1
363 12 from 1 >sa0 >sa1
13 13 inpt 6 0 >sa0 >sa1
364 14 from 13 >sa0 >sa1
365 15 from 13 >sa0 >sa1
366 16 from 13 >sa0 >sa1
367 17 from 13 >sa0 >sa1
368 18 from 13 >sa0 >sa1
369 19 from 13 >sa0 >sa1
20 20 inpt 12 0 >sa0 >sa1
370 21 from 20 >sa0 >sa1
371 22 from 20 >sa0 >sa1
372 23 from 20 >sa0 >sa1
373 24 from 20 >sa0 >sa1
374 25 from 20 >sa0 >sa1
375 26 from 20 >sa0 >sa1
376 27 from 20 >sa0 >sa1
377 28 from 20 >sa0 >sa1
378 29 from 20 >sa0 >sa1
379 30 from 20 >sa0 >sa1
380 31 from 20 >sa0 >sa1
381 32 from 20 >sa0 >sa1
33 33 inpt 7 0 >sa0 >sa1
382 34 from 33 >sa0 >sa1
383 35 from 33 >sa0 >sa1
384 36 from 33 >sa0 >sa1
385 37 from 33 >sa0 >sa1
386 38 from 33 >sa0 >sa1
387 39 from 33 >sa0 >sa1
388 40 from 33 >sa0 >sa1
41 41 inpt 3 0 >sa0 >sa1
389 42 from 41 >sa0 >sa1
390 43 from 41 >sa0 >sa1
391 44 from 41 >sa0 >sa1
45 45 inpt 4 0 >sa0 >sa1
392 46 from 45 >sa0 >sa1
393 47 from 45 >sa0 >sa1
394 48 from 45 >sa0 >sa1
395 49 from 45 >sa0 >sa1
50 50 inpt 7 0 >sa0 >sa1
396 51 from 50 >sa0 >sa1
397 52 from 50 >sa0 >sa1
398 53 from 50 >sa0 >sa1
399 54 from 50 >sa0 >sa1
400 55 from 50 >sa0 >sa1
401 56 from 50 >sa0 >sa1
402 57 from 50 >sa0 >sa1
58 58 inpt 9 0 >sa0 >sa1
403 59 from 58 >sa0 >sa1
404 60 from 58 >sa0 >sa1
405 61 from 58 >sa0 >sa1
406 62 from 58 >sa0 >sa1
407 63 from 58 >sa0 >sa1
408 64 from 58 >sa0 >sa1
409 65 from 58 >sa0 >sa1
410 66 from 58 >sa0 >sa1
411 67 from 58 >sa0 >sa1
68 68 inpt 8 0 >sa0 >sa1
412 69 from 68 >sa0 >sa1
413 70 from 68 >sa0 >sa1
414 71 from 68 >sa0 >sa1
415 72 from 68 >sa0 >sa1
416 73 from 68 >sa0 >sa1
417 74 from 68 >sa0 >sa1
418 75 from 68 >sa0 >sa1
419 76 from 68 >sa0 >sa1
77 77 inpt 9 0 >sa0 >sa1
420 78 from 77 >sa0 >sa1
421 79 from 77 >sa0 >sa1
422 80 from 77 >sa0 >sa1
423 81 from 77 >sa0 >sa1
424 82 from 77 >sa0 >sa1
425 83 from 77 >sa0 >sa1
426 84 from 77 >sa0 >sa1
427 85 from 77 >sa0 >sa1
428 86 from 77 >sa0 >sa1
87 87 inpt 9 0 >sa0 >sa1
429 88 from 87 >sa0 >sa1
430 89 from 87 >sa0 >sa1
431 90 from 87 >sa0 >sa1
432 91 from 87 >sa0 >sa1
433 92 from 87 >sa0 >sa1
434 93 from 87 >sa0 >sa1
435 94 from 87 >sa0 >sa1
436 95 from 87 >sa0 >sa1
437 96 from 87 >sa0 >sa1
97 97 inpt 9 0 >sa0 >sa1
438 98 from 97 >sa0 >sa1
439 99 from 97 >sa0 >sa1
440 100 from 97 >sa0 >sa1
441 101 from 97 >sa0 >sa1
442 102 from 97 >sa0 >sa1
443 103 from 97 >sa0 >sa1
444 104 from 97 >sa0 >sa1
445 105 from 97 >sa0 >sa1
446 106 from 97 >sa0 >sa1
107 107 inpt 8 0 >sa0 >sa1
447 108 from 107 >sa0 >sa1
448 109 from 107 >sa0 >sa1
449 110 from 107 >sa0 >sa1
450 111 from 107 >sa0 >sa1
451 112 from 107 >sa0 >sa1
452 113 from 107 >sa0 >sa1
453 114 from 107 >sa0 >sa1
454 115 from 107 >sa0 >sa1
116 116 inpt 7 0 >sa0 >sa1
455 117 from 116 >sa0 >sa1
456 118 from 116 >sa0 >sa1
457 119 from 116 >sa0 >sa1
458 120 from 116 >sa0 >sa1
459 121 from 116 >sa0 >sa1
460 122 from 116 >sa0 >sa1
461 123 from 116 >sa0 >sa1
124 124 inpt 1 0 >sa0 >sa1
125 125 inpt 2 0 >sa0 >sa1
462 126 from 125 >sa0 >sa1
463 127 from 125 >sa0 >sa1
128 128 inpt 3 0 >sa0 >sa1
464 129 from 128 >sa0 >sa1
465 130 from 128 >sa0 >sa1
466 131 from 128 >sa0 >sa1
132 132 inpt 4 0 >sa0 >sa1
467 133 from 132 >sa0 >sa1
468 134 from 132 >sa0 >sa1
469 135 from 132 >sa0 >sa1
470 136 from 132 >sa0 >sa1
137 137 inpt 5 0 >sa0 >sa1
471 138 from 137 >sa0 >sa1
472 139 from 137 >sa0 >sa1
473 140 from 137 >sa0 >sa1
474 141 from 137 >sa0 >sa1
475 142 from 137 >sa0 >sa1
143 143 inpt 6 0 >sa0 >sa1
476 144 from 143 >sa0 >sa1
477 145 from 143 >sa0 >sa1
478 146 from 143 >sa0 >sa1
479 147 from 143 >sa0 >sa1
480 148 from 143 >sa0 >sa1
481 149 from 143 >sa0 >sa1
150 150 inpt 8 0 >sa0 >sa1
482 151 from 150 >sa0 >sa1
483 152 from 150 >sa0 >sa1
484 153 from 150 >sa0 >sa1
485 154 from 150 >sa0 >sa1
486 155 from 150 >sa0 >sa1
487 156 from 150 >sa0 >sa1
488 157 from 150 >sa0 >sa1
489 158 from 150 >sa0 >sa1
159 159 inpt 9 0 >sa0 >sa1
490 160 from 159 >sa0 >sa1
491 161 from 159 >sa0 >sa1
492 162 from 159 >sa0 >sa1
493 163 from 159 >sa0 >sa1
494 164 from 159 >sa0 >sa1
495 165 from 159 >sa0 >sa1
496 166 from 159 >sa0 >sa1
497 167 from 159 >sa0 >sa1
498 168 from 159 >sa0 >sa1
169 169 inpt 9 0 >sa0 >sa1
499 170 from 169 >sa0 >sa1
500 171 from 169 >sa0 >sa1
501 172 from 169 >sa0 >sa1
502 173 from 169 >sa0 >sa1
503 174 from 169 >sa0 >sa1
504 175 from 169 >sa0 >sa1
505 176 from 169 >sa0 >sa1
506 177 from 169 >sa0 >sa1
507 178 from 169 >sa0 >sa1
179 179 inpt 10 0 >sa0 >sa1
508 180 from 179 >sa0 >sa1
509 181 from 179 >sa0 >sa1
510 182 from 179 >sa0 >sa1
511 183 from 179 >sa0 >sa1
512 184 from 179 >sa0 >sa1
513 185 from 179 >sa0 >sa1
514 186 from 179 >sa0 >sa1
515 187 from 179 >sa0 >sa1
516 188 from 179 >sa0 >sa1
517 189 from 179 >sa0 >sa1
190 190 inpt 9 0 >sa0 >sa1
518 191 from 190 >sa0 >sa1
519 192 from 190 >sa0 >sa1
520 193 from 190 >sa0 >sa1
521 194 from 190 >sa0 >sa1
522 195 from 190 >sa0 >sa1
523 196 from 190 >sa0 >sa1
524 197 from 190 >sa0 >sa1
525 198 from 190 >sa0 >sa1
526 199 from 190 >sa0 >sa1
200 200 inpt 12 0 >sa0 >sa1
527 201 from 200 >sa0 >sa1
528 202 from 200 >sa0 >sa1
529 203 from 200 >sa0 >sa1
530 204 from 200 >sa0 >sa1
531 205 from 200 >sa0 >sa1
532 206 from 200 >sa0 >sa1
533 207 from 200 >sa0 >sa1
534 208 from 200 >sa0 >sa1
535 209 from 200 >sa0 >sa1
536 210 from 200 >sa0 >sa1
537 211 from 200 >sa0 >sa1
538 212 from 200 >sa0 >sa1
213 213 inpt 8 0 >sa0 >sa1
539 214 from 213 >sa0 >sa1
540 215 from 213 >sa0 >sa1
541 216 from 213 >sa0 >sa1
542 217 from 213 >sa0 >sa1
543 218 from 213 >sa0 >sa1
544 219 from 213 >sa0 >sa1
545 220 from 213 >sa0 >sa1
546 221 from 213 >sa0 >sa1
222 222 inpt 1 0 >sa0 >sa1
223 223 inpt 2 0 >sa0 >sa1
547 224 from 223 >sa0 >sa1
548 225 from 223 >sa0 >sa1
226 226 inpt 5 0 >sa0 >sa1
549 227 from 226 >sa0 >sa1
550 228 from 226 >sa0 >sa1
551 229 from 226 >sa0 >sa1
552 230 from 226 >sa0 >sa1
553 231 from 226 >sa0 >sa1
232 232 inpt 5 0 >sa0 >sa1
554 233 from 232 >sa0 >sa1
555 234 from 232 >sa0 >sa1
556 235 from 232 >sa0 >sa1
557 236 from 232 >sa0 >sa1
558 237 from 232 >sa0 >sa1
238 238 inpt 5 0 >sa0 >sa1
559 239 from 238 >sa0 >sa1
560 240 from 238 >sa0 >sa1
561 241 from 238 >sa0 >sa1
562 242 from 238 >sa0 >sa1
563 243 from 238 >sa0 >sa1
244 244 inpt 5 0 >sa0 >sa1
564 245 from 244 >sa0 >sa1
565 246 from 244 >sa0 >sa1
566 247 from 244 >sa0 >sa1
567 248 from 244 >sa0 >sa1
568 249 from 244 >sa0 >sa1
250 250 inpt 6 0 >sa0 >sa1
569 251 from 250 >sa0 >sa1
570 252 from 250 >sa0 >sa1
571 253 from 250 >sa0 >sa1
572 254 from 250 >sa0 >sa1
573 255 from 250 >sa0 >sa1
574 256 from 250 >sa0 >sa1
257 257 inpt 6 0 >sa0 >sa1
575 258 from 257 >sa0 >sa1
576 259 from 257 >sa0 >sa1
577 260 from 257 >sa0 >sa1
578 261 from 257 >sa0 >sa1
579 262 from 257 >sa0 >sa1
580 263 from 257 >sa0 >sa1
264 264 inpt 5 0 >sa0 >sa1
581 265 from 264 >sa0 >sa1
582 266 from 264 >sa0 >sa1
583 267 from 264 >sa0 >sa1
584 268 from 264 >sa0 >sa1
585 269 from 264 >sa0 >sa1
270 270 inpt 3 0 >sa0 >sa1
586 271 from 270 >sa0 >sa1
587 272 from 270 >sa0 >sa1
588 273 from 270 >sa0 >sa1
274 274 inpt 8 0 >sa0 >sa1
589 275 from 274 >sa0 >sa1
590 276 from 274 >sa0 >sa1
591 277 from 274 >sa0 >sa1
592 278 from 274 >sa0 >sa1
593 279 from 274 >sa0 >sa1
594 280 from 274 >sa0 >sa1
595 281 from 274 >sa0 >sa1
596 282 from 274 >sa0 >sa1
283 283 inpt 10 0 >sa0 >sa1
597 284 from 283 >sa0 >sa1
598 285 from 283 >sa0 >sa1
599 286 from 283 >sa0 >sa1
600 287 from 283 >sa0 >sa1
601 288 from 283 >sa0 >sa1
602 289 from 283 >sa0 >sa1
603 290 from 283 >sa0 >sa1
604 291 from 283 >sa0 >sa1
605 292 from 283 >sa0 >sa1
606 293 from 283 >sa0 >sa1
294 294 inpt 8 0 >sa0 >sa1
607 295 from 294 >sa0 >sa1
608 296 from 294 >sa0 >sa1
609 297 from 294 >sa0 >sa1
610 298 from 294 >sa0 >sa1
611 299 from 294 >sa0 >sa1
612 300 from 294 >sa0 >sa1
613 301 from 294 >sa0 >sa1
614 302 from 294 >sa0 >sa1
303 303 inpt 7 0 >sa0 >sa1
615 304 from 303 >sa0 >sa1
616 305 from 303 >sa0 >sa1
617 306 from 303 >sa0 >sa1
618 307 from 303 >sa0 >sa1
619 308 from 303 >sa0 >sa1
620 309 from 303 >sa0 >sa1
621 310 from 303 >sa0 >sa1
311 311 inpt 5 0 >sa0 >sa1
622 312 from 311 >sa0 >sa1
623 313 from 311 >sa0 >sa1
624 314 from 311 >sa0 >sa1
625 315 from 311 >sa0 >sa1
626 316 from 311 >sa0 >sa1
317 317 inpt 4 0 >sa0 >sa1
627 318 from 317 >sa0 >sa1
628 319 from 317 >sa0 >sa1
629 320 from 317 >sa0 >sa1
630 321 from 317 >sa0 >sa1
322 322 inpt 3 0 >sa0 >sa1
631 323 from 322 >sa0 >sa1
632 324 from 322 >sa0 >sa1
633 325 from 322 >sa0 >sa1
326 326 inpt 2 0 >sa0 >sa1
634 327 from 326 >sa0 >sa1
635 328 from 326 >sa0 >sa1
329 329 inpt 1 0 >sa0 >sa1
330 330 inpt 12 0 >sa0 >sa1
636 331 from 330 >sa0 >sa1
637 332 from 330 >sa0 >sa1
638 333 from 330 >sa0 >sa1
639 334 from 330 >sa0 >sa1
640 335 from 330 >sa0 >sa1
641 336 from 330 >sa0 >sa1
642 337 from 330 >sa0 >sa1
643 338 from 330 >sa0 >sa1
644 339 from 330 >sa0 >sa1
645 340 from 330 >sa0 >sa1
646 341 from 330 >sa0 >sa1
647 342 from 330 >sa0 >sa1
343 343 inpt 5 0 >sa0 >sa1
648 344 from 343 >sa0 >sa1
649 345 from 343 >sa0 >sa1
650 346 from 343 >sa0 >sa1
651 347 from 343 >sa0 >sa1
652 348 from 343 >sa0 >sa1
349 1698 inpt 1 0 >sa0 >sa1
350 2897 inpt 2 0 >sa0 >sa1
653 2898 from 2897 >sa0 >sa1
654 2899 from 2897 >sa0 >sa1
655 432 buff 9 1 >sa0 >sa1
396 
969 433 from 432 >sa0 >sa1
970 434 from 432 >sa0 >sa1
971 435 from 432 >sa0 >sa1
972 436 from 432 >sa0 >sa1
973 437 from 432 >sa0 >sa1
974 438 from 432 >sa0 >sa1
975 439 from 432 >sa0 >sa1
976 440 from 432 >sa0 >sa1
977 441 from 432 >sa0 >sa1
665 442 not 4 1 >sa0 >sa1
397 
978 443 from 442 >sa0 >sa1
979 444 from 442 >sa0 >sa1
980 445 from 442 >sa0 >sa1
981 446 from 442 >sa0 >sa1
670 447 buff 8 1 >sa0 >sa1
403 
982 448 from 447 >sa0 >sa1
983 449 from 447 >sa0 >sa1
984 450 from 447 >sa0 >sa1
985 451 from 447 >sa0 >sa1
986 452 from 447 >sa0 >sa1
987 453 from 447 >sa0 >sa1
988 454 from 447 >sa0 >sa1
989 455 from 447 >sa0 >sa1
679 456 not 3 1 >sa0 >sa1
404 
990 457 from 456 >sa0 >sa1
991 458 from 456 >sa0 >sa1
992 459 from 456 >sa0 >sa1
683 460 buff 2 1 >sa0 >sa1
412 
993 461 from 460 >sa0 >sa1
994 462 from 460 >sa0 >sa1
686 463 not 3 1 >sa0 >sa1
413 
995 464 from 463 >sa0 >sa1
996 465 from 463 >sa0 >sa1
997 466 from 463 >sa0 >sa1
690 467 buff 8 1 >sa0 >sa1
414 
998 468 from 467 >sa0 >sa1
999 469 from 467 >sa0 >sa1
1000 470 from 467 >sa0 >sa1
1001 471 from 467 >sa0 >sa1
1002 472 from 467 >sa0 >sa1
1003 473 from 467 >sa0 >sa1
1004 474 from 467 >sa0 >sa1
1005 475 from 467 >sa0 >sa1
699 476 buff 2 1 >sa0 >sa1
420 
1006 477 from 476 >sa0 >sa1
1007 478 from 476 >sa0 >sa1
702 479 not 3 1 >sa0 >sa1
421 
968 481 from 479 >sa0 >sa1
1008 480 from 479 >sa0 >sa1
1009 482 from 479 >sa0 >sa1
706 483 buff 8 1 >sa0 >sa1
422 
1010 484 from 483 >sa0 >sa1
1011 485 from 483 >sa0 >sa1
1012 486 from 483 >sa0 >sa1
1013 487 from 483 >sa0 >sa1
1014 488 from 483 >sa0 >sa1
1015 489 from 483 >sa0 >sa1
1016 490 from 483 >sa0 >sa1
1017 491 from 483 >sa0 >sa1
715 492 buff 8 1 >sa0 >sa1
429 
1018 493 from 492 >sa0 >sa1
1019 494 from 492 >sa0 >sa1
1020 495 from 492 >sa0 >sa1
1021 496 from 492 >sa0 >sa1
1022 497 from 492 >sa0 >sa1
1023 498 from 492 >sa0 >sa1
1024 499 from 492 >sa0 >sa1
1025 500 from 492 >sa0 >sa1
724 501 not 2 1 >sa0 >sa1
430 
1026 502 from 501 >sa0 >sa1
1027 503 from 501 >sa0 >sa1
727 504 buff 8 1 >sa0 >sa1
438 
1028 505 from 504 >sa0 >sa1
1029 506 from 504 >sa0 >sa1
1030 507 from 504 >sa0 >sa1
1031 508 from 504 >sa0 >sa1
1032 509 from 504 >sa0 >sa1
1033 510 from 504 >sa0 >sa1
1034 511 from 504 >sa0 >sa1
1035 512 from 504 >sa0 >sa1
736 513 not 3 1 >sa0 >sa1
439 
1036 514 from 513 >sa0 >sa1
1037 515 from 513 >sa0 >sa1
1038 516 from 513 >sa0 >sa1
740 517 buff 8 1 >sa0 >sa1
447 
1039 518 from 517 >sa0 >sa1
1040 519 from 517 >sa0 >sa1
1041 520 from 517 >sa0 >sa1
1042 521 from 517 >sa0 >sa1
1043 522 from 517 >sa0 >sa1
1044 523 from 517 >sa0 >sa1
1045 524 from 517 >sa0 >sa1
1046 525 from 517 >sa0 >sa1
749 526 not 3 1 >sa0 >sa1
448 
1047 527 from 526 >sa0 >sa1
1048 528 from 526 >sa0 >sa1
1049 529 from 526 >sa0 >sa1
753 530 buff 9 1 >sa0 >sa1
455 
1050 531 from 530 >sa0 >sa1
1051 532 from 530 >sa0 >sa1
1052 533 from 530 >sa0 >sa1
1053 534 from 530 >sa0 >sa1
1054 535 from 530 >sa0 >sa1
1055 536 from 530 >sa0 >sa1
1056 537 from 530 >sa0 >sa1
1057 538 from 530 >sa0 >sa1
1058 539 from 530 >sa0 >sa1
763 540 not 4 1 >sa0 >sa1
456 
1059 541 from 540 >sa0 >sa1
1060 542 from 540 >sa0 >sa1
1061 543 from 540 >sa0 >sa1
1062 544 from 540 >sa0 >sa1
768 587 or 1 2 >sa0 >sa1
577 583 
769 704 not 2 1 >sa0 >sa1
354 
1075 705 from 704 >sa0 >sa1
1076 706 from 704 >sa0 >sa1
772 707 buff 4 1 >sa0 >sa1
353 
1077 708 from 707 >sa0 >sa1
1079 710 from 707 >sa0 >sa1
1080 711 from 707 >sa0 >sa1
1081 712 from 707 >sa0 >sa1
779 714 not 2 1 >sa0 >sa1
356 
1083 715 from 714 >sa0 >sa1
1084 716 from 714 >sa0 >sa1
782 717 buff 3 1 >sa0 >sa1
365 
1085 718 from 717 >sa0 >sa1
1086 719 from 717 >sa0 >sa1
1087 720 from 717 >sa0 >sa1
786 724 not 6 1 >sa0 >sa1
366 
1088 725 from 724 >sa0 >sa1
1089 726 from 724 >sa0 >sa1
1090 727 from 724 >sa0 >sa1
1091 728 from 724 >sa0 >sa1
1092 729 from 724 >sa0 >sa1
1093 730 from 724 >sa0 >sa1
793 731 and 1 2 >sa0 >sa1
364 370 
794 732 not 3 1 >sa0 >sa1
372 
1094 733 from 732 >sa0 >sa1
1095 734 from 732 >sa0 >sa1
1096 735 from 732 >sa0 >sa1
798 736 buff 4 1 >sa0 >sa1
371 
1097 737 from 736 >sa0 >sa1
1098 738 from 736 >sa0 >sa1
1099 739 from 736 >sa0 >sa1
1100 740 from 736 >sa0 >sa1
803 741 not 16 1 >sa0 >sa1
373 
1101 742 from 741 >sa0 >sa1
1102 743 from 741 >sa0 >sa1
1103 744 from 741 >sa0 >sa1
1104 745 from 741 >sa0 >sa1
1105 746 from 741 >sa0 >sa1
1106 747 from 741 >sa0 >sa1
1107 748 from 741 >sa0 >sa1
1108 749 from 741 >sa0 >sa1
1109 750 from 741 >sa0 >sa1
1110 751 from 741 >sa0 >sa1
1111 752 from 741 >sa0 >sa1
1112 753 from 741 >sa0 >sa1
1113 754 from 741 >sa0 >sa1
1114 755 from 741 >sa0 >sa1
1115 756 from 741 >sa0 >sa1
1116 757 from 741 >sa0 >sa1
820 758 not 1 1 >sa0 >sa1
383 
821 776 buff 3 1 >sa0 >sa1
384 
1134 777 from 776 >sa0 >sa1
1135 778 from 776 >sa0 >sa1
1136 779 from 776 >sa0 >sa1
825 780 not 3 1 >sa0 >sa1
385 
1137 781 from 780 >sa0 >sa1
1138 782 from 780 >sa0 >sa1
1139 783 from 780 >sa0 >sa1
829 788 and 2 2 >sa0 >sa1
382 389 
1140 789 from 788 >sa0 >sa1
1141 790 from 788 >sa0 >sa1
832 791 not 2 1 >sa0 >sa1
390 
1142 792 from 791 >sa0 >sa1
1143 793 from 791 >sa0 >sa1
835 798 or 1 2 >sa0 >sa1
391 392 
836 799 buff 2 1 >sa0 >sa1
393 
1144 800 from 799 >sa0 >sa1
1145 801 from 799 >sa0 >sa1
839 802 not 2 1 >sa0 >sa1
394 
1073 656 from 802 >sa0 >sa1
1074 674 from 802 >sa0 >sa1
842 826 not 2 1 >sa0 >sa1
400 
1068 622 from 826 >sa0 >sa1
1146 827 from 826 >sa0 >sa1
845 828 buff 2 1 >sa0 >sa1
406 
1147 829 from 828 >sa0 >sa1
1148 830 from 828 >sa0 >sa1
848 831 not 2 1 >sa0 >sa1
407 
1069 623 from 831 >sa0 >sa1
1149 832 from 831 >sa0 >sa1
851 833 buff 2 1 >sa0 >sa1
415 
1150 834 from 833 >sa0 >sa1
1151 835 from 833 >sa0 >sa1
854 836 not 3 1 >sa0 >sa1
416 
1070 624 from 836 >sa0 >sa1
1152 837 from 836 >sa0 >sa1
1153 838 from 836 >sa0 >sa1
858 839 buff 2 1 >sa0 >sa1
433 
1154 840 from 839 >sa0 >sa1
1155 841 from 839 >sa0 >sa1
861 842 not 2 1 >sa0 >sa1
434 
1156 843 from 842 >sa0 >sa1
1157 844 from 842 >sa0 >sa1
864 845 buff 2 1 >sa0 >sa1
440 
1158 846 from 845 >sa0 >sa1
1159 847 from 845 >sa0 >sa1
867 848 not 2 1 >sa0 >sa1
441 
1160 849 from 848 >sa0 >sa1
1161 850 from 848 >sa0 >sa1
870 851 not 3 1 >sa0 >sa1
450 
1162 852 from 851 >sa0 >sa1
1163 853 from 851 >sa0 >sa1
1164 854 from 851 >sa0 >sa1
874 890 buff 2 1 >sa0 >sa1
355 
1165 891 from 890 >sa0 >sa1
1166 892 from 890 >sa0 >sa1
877 898 buff 2 1 >sa0 >sa1
417 
1167 899 from 898 >sa0 >sa1
1168 900 from 898 >sa0 >sa1
880 907 buff 2 1 >sa0 >sa1
451 
1170 908 from 907 >sa0 >sa1
1171 909 from 907 >sa0 >sa1
883 1032 not 2 1 >sa0 >sa1
375 
1173 1033 from 1032 >sa0 >sa1
1174 1034 from 1032 >sa0 >sa1
886 1035 buff 2 1 >sa0 >sa1
518 
1175 1036 from 1035 >sa0 >sa1
1176 1037 from 1035 >sa0 >sa1
889 1048 not 1 1 >sa0 >sa1
528 
890 1049 and 1 2 >sa0 >sa1
376 529 
891 1050 nand 1 2 >sa0 >sa1
377 530 
892 1051 and 2 2 >sa0 >sa1
378 508 
1177 1052 from 1051 >sa0 >sa1
1178 1053 from 1051 >sa0 >sa1
895 1540 not 1 1 >sa0 >sa1
379 
896 1699 or 16 2 >sa0 >sa1
349 386 
1180 1700 from 1699 >sa0 >sa1
1181 1701 from 1699 >sa0 >sa1
1182 1702 from 1699 >sa0 >sa1
1183 1703 from 1699 >sa0 >sa1
1184 1704 from 1699 >sa0 >sa1
1185 1705 from 1699 >sa0 >sa1
1186 1706 from 1699 >sa0 >sa1
1187 1707 from 1699 >sa0 >sa1
1188 1708 from 1699 >sa0 >sa1
1189 1709 from 1699 >sa0 >sa1
1190 1710 from 1699 >sa0 >sa1
1191 1711 from 1699 >sa0 >sa1
1192 1712 from 1699 >sa0 >sa1
1193 1713 from 1699 >sa0 >sa1
1194 1714 from 1699 >sa0 >sa1
1195 1715 from 1699 >sa0 >sa1
913 1826 nand 1 2 >sa0 >sa1
360 369 
914 1827 nand 1 3 >sa0 >sa1
361 380 387 
915 1828 not 1 1 >sa0 >sa1
381 
916 2051 not 1 1 >sa0 >sa1
388 
917 2478 buff 2 1 >sa0 >sa1
517 
1224 2479 from 2478 >sa0 >sa1
1225 2480 from 2478 >sa0 >sa1
920 2865 not 2 1 >sa0 >sa1
545 
1227 2866 from 2865 >sa0 >sa1
1228 2867 from 2865 >sa0 >sa1
923 2868 buff 2 1 >sa0 >sa1
652 
1229 2869 from 2868 >sa0 >sa1
1230 2870 from 2868 >sa0 >sa1
926 2931 buff 2 1 >sa0 >sa1
550 
1064 2933 from 2931 >sa0 >sa1
1231 2932 from 2931 >sa0 >sa1
929 2934 buff 2 1 >sa0 >sa1
555 
1063 2935 from 2934 >sa0 >sa1
1232 2936 from 2934 >sa0 >sa1
932 2939 buff 2 1 >sa0 >sa1
560 
1066 2941 from 2939 >sa0 >sa1
1233 2940 from 2939 >sa0 >sa1
935 2942 buff 2 1 >sa0 >sa1
565 
1065 2943 from 2942 >sa0 >sa1
1234 2944 from 2942 >sa0 >sa1
938 2947 buff 2 1 >sa0 >sa1
570 
1235 2948 from 2947 >sa0 >sa1
1236 2949 from 2947 >sa0 >sa1
941 2950 buff 2 1 >sa0 >sa1
576 
1237 2951 from 2950 >sa0 >sa1
1238 2952 from 2950 >sa0 >sa1
944 2957 buff 2 1 >sa0 >sa1
582 
1239 2958 from 2957 >sa0 >sa1
1240 2959 from 2957 >sa0 >sa1
947 2960 buff 2 1 >sa0 >sa1
587 
1241 2961 from 2960 >sa0 >sa1
1242 2962 from 2960 >sa0 >sa1
950 3007 buff 2 1 >sa0 >sa1
398 
1243 3008 from 3007 >sa0 >sa1
1244 3009 from 3007 >sa0 >sa1
953 3079 buff 2 1 >sa0 >sa1
408 
1071 3081 from 3079 >sa0 >sa1
1245 3080 from 3079 >sa0 >sa1
956 3087 buff 2 1 >sa0 >sa1
409 
1169 3089 from 3087 >sa0 >sa1
1246 3088 from 3087 >sa0 >sa1
959 3095 buff 2 1 >sa0 >sa1
442 
1072 3097 from 3095 >sa0 >sa1
1247 3096 from 3095 >sa0 >sa1
962 3103 buff 2 1 >sa0 >sa1
443 
1172 3105 from 3103 >sa0 >sa1
1248 3104 from 3103 >sa0 >sa1
965 3419 buff 1 1 >sa0 >sa1
644 
1067 588 and 1 2 >sa0 >sa1
571 768 
1117 759 or 16 2 >sa0 >sa1
820 374 
1282 760 from 759 >sa0 >sa1
1283 761 from 759 >sa0 >sa1
1284 762 from 759 >sa0 >sa1
1285 763 from 759 >sa0 >sa1
1286 764 from 759 >sa0 >sa1
1287 765 from 759 >sa0 >sa1
1288 766 from 759 >sa0 >sa1
1289 767 from 759 >sa0 >sa1
1290 768 from 759 >sa0 >sa1
1291 769 from 759 >sa0 >sa1
1292 770 from 759 >sa0 >sa1
1293 771 from 759 >sa0 >sa1
1294 772 from 759 >sa0 >sa1
1295 773 from 759 >sa0 >sa1
1296 774 from 759 >sa0 >sa1
1297 775 from 759 >sa0 >sa1
1179 1541 or 1 2 >sa0 >sa1
895 499 
1196 1772 not 1 1 >sa0 >sa1
793 
1197 1829 or 4 2 >sa0 >sa1
915 362 
1428 1830 from 1829 >sa0 >sa1
1429 1831 from 1829 >sa0 >sa1
1430 1832 from 1829 >sa0 >sa1
1431 1833 from 1829 >sa0 >sa1
1202 1834 and 16 2 >sa0 >sa1
913 914 
1432 1835 from 1834 >sa0 >sa1
1433 1836 from 1834 >sa0 >sa1
1434 1837 from 1834 >sa0 >sa1
1435 1838 from 1834 >sa0 >sa1
1436 1839 from 1834 >sa0 >sa1
1437 1840 from 1834 >sa0 >sa1
1438 1841 from 1834 >sa0 >sa1
1439 1842 from 1834 >sa0 >sa1
1440 1843 from 1834 >sa0 >sa1
1441 1844 from 1834 >sa0 >sa1
1442 1845 from 1834 >sa0 >sa1
1443 1846 from 1834 >sa0 >sa1
1444 1847 from 1834 >sa0 >sa1
1445 1848 from 1834 >sa0 >sa1
1446 1849 from 1834 >sa0 >sa1
1447 1850 from 1834 >sa0 >sa1
1219 2052 or 4 2 >sa0 >sa1
916 363 
1448 2053 from 2052 >sa0 >sa1
1449 2054 from 2052 >sa0 >sa1
1450 2055 from 2052 >sa0 >sa1
1451 2056 from 2052 >sa0 >sa1
1250 625 and 1 3 >sa0 >sa1
1068 1069 1070 
1251 545 nand 1 2 >sa0 >sa1
549 969 
1252 546 nand 1 2 >sa0 >sa1
554 982 
1253 547 nand 1 2 >sa0 >sa1
559 998 
1254 548 nand 1 2 >sa0 >sa1
564 1010 
1255 549 nand 1 2 >sa0 >sa1
569 1018 
1256 550 nand 1 2 >sa0 >sa1
575 1028 
1257 551 nand 1 2 >sa0 >sa1
581 1039 
1258 552 nand 1 2 >sa0 >sa1
586 1050 
1259 2937 not 1 1 >sa0 >sa1
1231 
1260 2938 not 1 1 >sa0 >sa1
1232 
1261 2945 not 1 1 >sa0 >sa1
1233 
1262 2946 not 1 1 >sa0 >sa1
1234 
1263 621 nand 1 2 >sa0 >sa1
991 996 
1264 626 nand 2 2 >sa0 >sa1
1037 1048 
1506 627 from 626 >sa0 >sa1
1513 628 from 626 >sa0 >sa1
1267 635 nand 1 2 >sa0 >sa1
993 1006 
1268 636 buff 2 1 >sa0 >sa1
978 
1516 637 from 636 >sa0 >sa1
1517 638 from 636 >sa0 >sa1
1271 3085 not 1 1 >sa0 >sa1
1245 
1272 3101 not 1 1 >sa0 >sa1
1247 
1273 657 buff 2 1 >sa0 >sa1
1073 
1524 658 from 657 >sa0 >sa1
1525 659 from 657 >sa0 >sa1
1276 675 buff 2 1 >sa0 >sa1
1074 
1526 676 from 675 >sa0 >sa1
1527 677 from 675 >sa0 >sa1
1279 721 buff 2 1 >sa0 >sa1
1085 
1528 722 from 721 >sa0 >sa1
1529 723 from 721 >sa0 >sa1
1298 784 buff 3 1 >sa0 >sa1
1137 
1530 785 from 784 >sa0 >sa1
1531 786 from 784 >sa0 >sa1
1532 787 from 784 >sa0 >sa1
1302 794 buff 3 1 >sa0 >sa1
1142 
1533 795 from 794 >sa0 >sa1
1534 796 from 794 >sa0 >sa1
1535 797 from 794 >sa0 >sa1
1306 807 and 8 2 >sa0 >sa1
1084 835 
1538 808 from 807 >sa0 >sa1
1539 809 from 807 >sa0 >sa1
1540 810 from 807 >sa0 >sa1
1541 811 from 807 >sa0 >sa1
1542 812 from 807 >sa0 >sa1
1543 813 from 807 >sa0 >sa1
1544 814 from 807 >sa0 >sa1
1545 815 from 807 >sa0 >sa1
1315 816 and 6 3 >sa0 >sa1
1083 1144 1143 
1546 817 from 816 >sa0 >sa1
1547 818 from 816 >sa0 >sa1
1548 819 from 816 >sa0 >sa1
1549 820 from 816 >sa0 >sa1
1550 821 from 816 >sa0 >sa1
1551 822 from 816 >sa0 >sa1
1322 823 and 2 2 >sa0 >sa1
1075 1145 
1552 824 from 823 >sa0 >sa1
1553 825 from 823 >sa0 >sa1
1325 860 and 2 2 >sa0 >sa1
1088 1098 
1536 803 from 860 >sa0 >sa1
1537 805 from 860 >sa0 >sa1
1328 861 nand 2 3 >sa0 >sa1
1079 1089 1099 
1554 862 from 861 >sa0 >sa1
1555 863 from 861 >sa0 >sa1
1331 864 nand 2 2 >sa0 >sa1
1080 1090 
1556 865 from 864 >sa0 >sa1
1557 866 from 864 >sa0 >sa1
1334 893 buff 2 1 >sa0 >sa1
1166 
1558 894 from 893 >sa0 >sa1
1559 895 from 893 >sa0 >sa1
1337 896 nand 1 3 >sa0 >sa1
1086 1095 395 
1338 897 nand 1 3 >sa0 >sa1
1146 1149 1152 
1339 3093 not 1 1 >sa0 >sa1
1246 
1340 905 and 2 3 >sa0 >sa1
1156 1160 1162 
1514 629 from 905 >sa0 >sa1
1515 633 from 905 >sa0 >sa1
1343 906 nand 1 3 >sa0 >sa1
1157 1161 1163 
1344 3109 not 1 1 >sa0 >sa1
1248 
1345 973 not 1 1 >sa0 >sa1
1101 
1346 980 not 1 1 >sa0 >sa1
1103 
1347 987 not 1 1 >sa0 >sa1
1105 
1348 994 not 1 1 >sa0 >sa1
1107 
1349 1001 not 1 1 >sa0 >sa1
1109 
1350 1008 not 1 1 >sa0 >sa1
1111 
1351 1015 not 1 1 >sa0 >sa1
1113 
1352 1022 not 1 1 >sa0 >sa1
1115 
1353 1038 or 4 2 >sa0 >sa1
1173 1175 
1601 1039 from 1038 >sa0 >sa1
1602 1040 from 1038 >sa0 >sa1
1603 1041 from 1038 >sa0 >sa1
1604 1042 from 1038 >sa0 >sa1
1358 1043 nor 4 2 >sa0 >sa1
1174 1176 
1605 1044 from 1043 >sa0 >sa1
1606 1045 from 1043 >sa0 >sa1
1607 1046 from 1043 >sa0 >sa1
1608 1047 from 1043 >sa0 >sa1
1363 1054 buff 2 1 >sa0 >sa1
1177 
1609 1055 from 1054 >sa0 >sa1
1610 1056 from 1054 >sa0 >sa1
1366 1057 not 2 1 >sa0 >sa1
1178 
1611 1058 from 1057 >sa0 >sa1
1612 1059 from 1057 >sa0 >sa1
1369 1512 buff 14 1 >sa0 >sa1
1136 
1613 1513 from 1512 >sa0 >sa1
1614 1514 from 1512 >sa0 >sa1
1615 1515 from 1512 >sa0 >sa1
1616 1516 from 1512 >sa0 >sa1
1617 1517 from 1512 >sa0 >sa1
1618 1518 from 1512 >sa0 >sa1
1619 1519 from 1512 >sa0 >sa1
1620 1520 from 1512 >sa0 >sa1
1621 1521 from 1512 >sa0 >sa1
1622 1522 from 1512 >sa0 >sa1
1623 1523 from 1512 >sa0 >sa1
1624 1524 from 1512 >sa0 >sa1
1625 1525 from 1512 >sa0 >sa1
1626 1526 from 1512 >sa0 >sa1
1384 1681 buff 16 1 >sa0 >sa1
1139 
1627 1682 from 1681 >sa0 >sa1
1628 1683 from 1681 >sa0 >sa1
1629 1684 from 1681 >sa0 >sa1
1630 1685 from 1681 >sa0 >sa1
1631 1686 from 1681 >sa0 >sa1
1632 1687 from 1681 >sa0 >sa1
1633 1688 from 1681 >sa0 >sa1
1634 1689 from 1681 >sa0 >sa1
1635 1690 from 1681 >sa0 >sa1
1636 1691 from 1681 >sa0 >sa1
1637 1692 from 1681 >sa0 >sa1
1638 1693 from 1681 >sa0 >sa1
1639 1694 from 1681 >sa0 >sa1
1640 1695 from 1681 >sa0 >sa1
1641 1696 from 1681 >sa0 >sa1
1642 1697 from 1681 >sa0 >sa1
1401 1717 not 1 1 >sa0 >sa1
1180 
1402 1724 not 1 1 >sa0 >sa1
1182 
1403 1731 not 1 1 >sa0 >sa1
1184 
1404 1738 not 1 1 >sa0 >sa1
1186 
1405 1745 not 1 1 >sa0 >sa1
1188 
1406 1752 not 1 1 >sa0 >sa1
1190 
1407 1759 not 1 1 >sa0 >sa1
1192 
1408 1766 not 1 1 >sa0 >sa1
1194 
1409 1773 or 12 2 >sa0 >sa1
357 1196 
1651 1774 from 1773 >sa0 >sa1
1653 1776 from 1773 >sa0 >sa1
1655 1778 from 1773 >sa0 >sa1
1657 1780 from 1773 >sa0 >sa1
1659 1782 from 1773 >sa0 >sa1
1660 1783 from 1773 >sa0 >sa1
1661 1784 from 1773 >sa0 >sa1
1662 1785 from 1773 >sa0 >sa1
1663 1786 from 1773 >sa0 >sa1
1664 1787 from 1773 >sa0 >sa1
1665 1788 from 1773 >sa0 >sa1
1666 1789 from 1773 >sa0 >sa1
1426 1790 not 1 1 >sa0 >sa1
1140 
1427 1808 not 1 1 >sa0 >sa1
1141 
1452 2278 and 6 3 >sa0 >sa1
1076 1087 1096 
1681 2279 from 2278 >sa0 >sa1
1682 2280 from 2278 >sa0 >sa1
1683 2281 from 2278 >sa0 >sa1
1684 2282 from 2278 >sa0 >sa1
1685 2283 from 2278 >sa0 >sa1
1686 2284 from 2278 >sa0 >sa1
1459 2481 not 1 1 >sa0 >sa1
1224 
1460 3425 not 1 1 >sa0 >sa1
965 
1461 2871 or 2 2 >sa0 >sa1
1227 1229 
1687 2872 from 2871 >sa0 >sa1
1688 2873 from 2871 >sa0 >sa1
1464 2874 nor 2 2 >sa0 >sa1
1228 1230 
1689 2875 from 2874 >sa0 >sa1
1690 2876 from 2874 >sa0 >sa1
1467 2953 not 1 1 >sa0 >sa1
1235 
1468 2954 not 1 1 >sa0 >sa1
1238 
1469 2963 not 1 1 >sa0 >sa1
1239 
1470 2964 not 1 1 >sa0 >sa1
1242 
1471 3010 buff 2 1 >sa0 >sa1
990 
1695 3011 from 3010 >sa0 >sa1
1696 3012 from 3010 >sa0 >sa1
1474 3013 not 1 1 >sa0 >sa1
1243 
1475 3017 buff 2 1 >sa0 >sa1
995 
1697 3018 from 3017 >sa0 >sa1
1698 3019 from 3017 >sa0 >sa1
1478 3020 buff 2 1 >sa0 >sa1
1008 
1699 3021 from 3020 >sa0 >sa1
1700 3022 from 3020 >sa0 >sa1
1481 3027 buff 2 1 >sa0 >sa1
1026 
1701 3028 from 3027 >sa0 >sa1
1702 3029 from 3027 >sa0 >sa1
1484 3030 buff 2 1 >sa0 >sa1
1036 
1703 3031 from 3030 >sa0 >sa1
1704 3032 from 3030 >sa0 >sa1
1487 3037 buff 2 1 >sa0 >sa1
1047 
1705 3038 from 3037 >sa0 >sa1
1706 3039 from 3037 >sa0 >sa1
1490 3040 buff 2 1 >sa0 >sa1
1059 
1707 3041 from 3040 >sa0 >sa1
1708 3042 from 3040 >sa0 >sa1
1493 3082 buff 2 1 >sa0 >sa1
1167 
1518 3083 from 3082 >sa0 >sa1
1709 3084 from 3082 >sa0 >sa1
1496 3090 buff 2 1 >sa0 >sa1
1168 
1560 3091 from 3090 >sa0 >sa1
1710 3092 from 3090 >sa0 >sa1
1499 3098 buff 2 1 >sa0 >sa1
1170 
1519 3099 from 3098 >sa0 >sa1
1711 3100 from 3098 >sa0 >sa1
1502 3106 buff 2 1 >sa0 >sa1
1171 
1561 3107 from 3106 >sa0 >sa1
1712 3108 from 3106 >sa0 >sa1
1505 352 nand 1 2 >sa0 >sa1
968 1250 
1507 553 and 1 4 >sa0 >sa1
1251 1252 1253 1254 
1508 554 and 1 4 >sa0 >sa1
1255 1256 1257 1258 
1509 555 nand 1 2 >sa0 >sa1
1063 1259 
1510 556 nand 1 2 >sa0 >sa1
1064 1260 
1511 560 nand 1 2 >sa0 >sa1
1065 1261 
1512 561 nand 1 2 >sa0 >sa1
1066 1262 
1520 650 and 3 2 >sa0 >sa1
970 1263 
1732 651 from 650 >sa0 >sa1
1733 652 from 650 >sa0 >sa1
1734 653 from 650 >sa0 >sa1
1562 956 and 16 2 >sa0 >sa1
1165 1337 
1771 957 from 956 >sa0 >sa1
1772 958 from 956 >sa0 >sa1
1773 959 from 956 >sa0 >sa1
1774 960 from 956 >sa0 >sa1
1775 961 from 956 >sa0 >sa1
1776 962 from 956 >sa0 >sa1
1777 963 from 956 >sa0 >sa1
1778 964 from 956 >sa0 >sa1
1779 965 from 956 >sa0 >sa1
1780 966 from 956 >sa0 >sa1
1781 967 from 956 >sa0 >sa1
1782 968 from 956 >sa0 >sa1
1783 969 from 956 >sa0 >sa1
1784 970 from 956 >sa0 >sa1
1785 971 from 956 >sa0 >sa1
1786 972 from 956 >sa0 >sa1
1579 974 not 1 1 >sa0 >sa1
1282 
1580 975 and 1 2 >sa0 >sa1
1102 1283 
1581 976 and 1 2 >sa0 >sa1
1338 1345 
1582 981 not 1 1 >sa0 >sa1
1284 
1583 982 and 1 2 >sa0 >sa1
1104 1285 
1584 988 not 1 1 >sa0 >sa1
1286 
1585 989 and 1 2 >sa0 >sa1
1106 1287 
1586 990 and 1 2 >sa0 >sa1
1153 1347 
1587 995 not 1 1 >sa0 >sa1
1288 
1588 996 and 1 2 >sa0 >sa1
1108 1289 
1589 997 and 1 2 >sa0 >sa1
424 1348 
1590 1002 not 1 1 >sa0 >sa1
1290 
1591 1003 and 1 2 >sa0 >sa1
1110 1291 
1592 1004 and 1 2 >sa0 >sa1
1343 1349 
1593 1009 not 1 1 >sa0 >sa1
1292 
1594 1010 and 1 2 >sa0 >sa1
1112 1293 
1595 1016 not 1 1 >sa0 >sa1
1294 
1596 1017 and 1 2 >sa0 >sa1
1114 1295 
1597 1018 and 1 2 >sa0 >sa1
1164 1351 
1598 1023 not 1 1 >sa0 >sa1
1296 
1599 1024 and 1 2 >sa0 >sa1
1116 1297 
1600 1025 and 1 2 >sa0 >sa1
458 1352 
1643 1720 and 1 2 >sa0 >sa1
222 1401 
1644 1727 and 1 2 >sa0 >sa1
548 1402 
1645 1734 and 1 2 >sa0 >sa1
552 1403 
1646 1741 and 1 2 >sa0 >sa1
557 1404 
1647 1748 and 1 2 >sa0 >sa1
562 1405 
1648 1755 and 1 2 >sa0 >sa1
567 1406 
1649 1762 and 1 2 >sa0 >sa1
573 1407 
1650 1769 and 1 2 >sa0 >sa1
579 1408 
1667 1791 and 2 3 >sa0 >sa1
358 367 1426 
1865 1792 from 1791 >sa0 >sa1
1866 1793 from 1791 >sa0 >sa1
1670 1809 and 2 3 >sa0 >sa1
359 368 1427 
1867 1810 from 1809 >sa0 >sa1
1868 1811 from 1809 >sa0 >sa1
1673 1851 not 1 1 >sa0 >sa1
1432 
1674 1901 not 1 1 >sa0 >sa1
1434 
1675 1952 not 1 1 >sa0 >sa1
1436 
1676 2002 not 1 1 >sa0 >sa1
1438 
1677 2057 not 1 1 >sa0 >sa1
1440 
1678 2109 not 1 1 >sa0 >sa1
1442 
1679 2162 not 1 1 >sa0 >sa1
1444 
1680 2214 not 1 1 >sa0 >sa1
1446 
1691 2955 nand 1 2 >sa0 >sa1
1237 1467 
1692 2956 nand 1 2 >sa0 >sa1
1236 1468 
1693 2965 nand 1 2 >sa0 >sa1
1241 1469 
1694 2966 nand 1 2 >sa0 >sa1
1240 1470 
1713 353 not 0 1 >sa0 >sa1
1505 
1714 354 and 1 2 >sa0 >sa1
431 1506 
1715 557 nand 2 2 >sa0 >sa1
1509 1510 
1948 558 from 557 >sa0 >sa1
1949 559 from 557 >sa0 >sa1
1718 562 nand 2 2 >sa0 >sa1
1511 1512 
1950 563 from 562 >sa0 >sa1
1951 564 from 562 >sa0 >sa1
1721 586 nand 1 2 >sa0 >sa1
1507 1508 
1722 630 and 2 2 >sa0 >sa1
1060 1514 
1958 631 from 630 >sa0 >sa1
1959 632 from 630 >sa0 >sa1
1725 634 nand 1 2 >sa0 >sa1
1061 1515 
1726 639 not 1 1 >sa0 >sa1
1516 
1727 642 nand 1 2 >sa0 >sa1
1518 1271 
1728 3086 not 1 1 >sa0 >sa1
1709 
1729 644 and 1 2 >sa0 >sa1
994 1517 
1730 646 nand 1 2 >sa0 >sa1
1519 1272 
1731 3102 not 1 1 >sa0 >sa1
1711 
1735 654 nand 1 2 >sa0 >sa1
432 1513 
1736 660 not 1 1 >sa0 >sa1
1524 
1737 678 not 1 1 >sa0 >sa1
1526 
1738 804 nand 8 2 >sa0 >sa1
1536 1135 
1954 609 from 804 >sa0 >sa1
1955 611 from 804 >sa0 >sa1
1962 664 from 804 >sa0 >sa1
1963 666 from 804 >sa0 >sa1
1967 682 from 804 >sa0 >sa1
1969 686 from 804 >sa0 >sa1
1971 693 from 804 >sa0 >sa1
1973 697 from 804 >sa0 >sa1
1747 806 nand 6 2 >sa0 >sa1
1537 1138 
1957 615 from 806 >sa0 >sa1
1965 670 from 806 >sa0 >sa1
1968 684 from 806 >sa0 >sa1
1970 687 from 806 >sa0 >sa1
1972 695 from 806 >sa0 >sa1
1974 698 from 806 >sa0 >sa1
1756 855 nand 4 3 >sa0 >sa1
1077 1528 1097 
1975 856 from 855 >sa0 >sa1
1976 857 from 855 >sa0 >sa1
1977 858 from 855 >sa0 >sa1
1978 859 from 855 >sa0 >sa1
1761 867 nand 2 4 >sa0 >sa1
1081 1091 1100 1533 
1979 868 from 867 >sa0 >sa1
1980 869 from 867 >sa0 >sa1
1764 903 nand 1 2 >sa0 >sa1
1560 1339 
1765 3094 not 1 1 >sa0 >sa1
1710 
1766 912 nand 1 2 >sa0 >sa1
1561 1344 
1767 3110 not 1 1 >sa0 >sa1
1712 
1768 915 not 1 1 >sa0 >sa1
1554 
1769 927 not 1 1 >sa0 >sa1
1558 
1770 941 not 1 1 >sa0 >sa1
1556 
1787 977 and 1 2 >sa0 >sa1
1147 1579 
1788 978 and 1 2 >sa0 >sa1
482 1580 
1789 984 and 1 2 >sa0 >sa1
1150 1582 
1790 985 and 1 2 >sa0 >sa1
490 1583 
1791 991 and 1 2 >sa0 >sa1
423 1584 
1792 992 and 1 2 >sa0 >sa1
399 1585 
1793 998 and 1 2 >sa0 >sa1
1154 1587 
1794 999 and 1 2 >sa0 >sa1
1148 1588 
1795 1005 and 1 2 >sa0 >sa1
1158 1590 
1796 1006 and 1 2 >sa0 >sa1
1151 1591 
1797 1012 and 1 2 >sa0 >sa1
449 1593 
1798 1013 and 1 2 >sa0 >sa1
425 1594 
1799 1019 and 1 2 >sa0 >sa1
457 1595 
1800 1020 and 1 2 >sa0 >sa1
1155 1596 
1801 1026 and 1 2 >sa0 >sa1
597 1598 
1802 1027 and 1 2 >sa0 >sa1
1159 1599 
1803 1060 and 2 2 >sa0 >sa1
527 1609 
1992 1061 from 1060 >sa0 >sa1
1993 1062 from 1060 >sa0 >sa1
1806 1063 and 2 2 >sa0 >sa1
889 1610 
1994 1064 from 1063 >sa0 >sa1
1995 1065 from 1063 >sa0 >sa1
1809 1066 and 2 2 >sa0 >sa1
890 1611 
1996 1067 from 1066 >sa0 >sa1
1997 1068 from 1066 >sa0 >sa1
1812 1069 and 2 2 >sa0 >sa1
891 1612 
1998 1070 from 1069 >sa0 >sa1
1999 1071 from 1069 >sa0 >sa1
1815 1527 nand 2 2 >sa0 >sa1
1530 1534 
2000 1528 from 1527 >sa0 >sa1
2001 1529 from 1527 >sa0 >sa1
1818 1530 nand 2 2 >sa0 >sa1
1134 1535 
2002 1531 from 1530 >sa0 >sa1
2003 1532 from 1530 >sa0 >sa1
1821 1542 nand 2 2 >sa0 >sa1
1529 1179 
2004 1543 from 1542 >sa0 >sa1
2005 1544 from 1542 >sa0 >sa1
1824 1563 nand 8 3 >sa0 >sa1
1092 1094 1531 
2006 1564 from 1563 >sa0 >sa1
2007 1565 from 1563 >sa0 >sa1
2008 1566 from 1563 >sa0 >sa1
2009 1567 from 1563 >sa0 >sa1
2010 1568 from 1563 >sa0 >sa1
2011 1569 from 1563 >sa0 >sa1
2012 1570 from 1563 >sa0 >sa1
2013 1571 from 1563 >sa0 >sa1
1833 1572 nand 8 2 >sa0 >sa1
1093 1532 
2014 1573 from 1572 >sa0 >sa1
2015 1574 from 1572 >sa0 >sa1
2016 1575 from 1572 >sa0 >sa1
2017 1576 from 1572 >sa0 >sa1
2018 1577 from 1572 >sa0 >sa1
2019 1578 from 1572 >sa0 >sa1
2020 1579 from 1572 >sa0 >sa1
2021 1580 from 1572 >sa0 >sa1
1842 1581 not 1 1 >sa0 >sa1
1613 
1843 1585 not 1 1 >sa0 >sa1
1615 
1844 1589 not 1 1 >sa0 >sa1
1617 
1845 1593 not 1 1 >sa0 >sa1
1619 
1846 1597 not 1 1 >sa0 >sa1
1621 
1847 1601 not 1 1 >sa0 >sa1
1623 
1848 1605 not 1 1 >sa0 >sa1
1625 
1849 1716 not 1 1 >sa0 >sa1
1627 
1850 1718 and 1 2 >sa0 >sa1
1628 1181 
1851 1723 not 1 1 >sa0 >sa1
1629 
1852 1725 and 1 2 >sa0 >sa1
1630 1183 
1853 1730 not 1 1 >sa0 >sa1
1631 
1854 1732 and 1 2 >sa0 >sa1
1632 1185 
1855 1737 not 1 1 >sa0 >sa1
1633 
1856 1739 and 1 2 >sa0 >sa1
1634 1187 
1857 1744 not 1 1 >sa0 >sa1
1635 
1858 1746 and 1 2 >sa0 >sa1
1636 1189 
1859 1751 not 1 1 >sa0 >sa1
1637 
1860 1753 and 1 2 >sa0 >sa1
1638 1191 
1861 1758 not 1 1 >sa0 >sa1
1639 
1862 1760 and 1 2 >sa0 >sa1
1640 1193 
1863 1765 not 1 1 >sa0 >sa1
1641 
1864 1767 and 1 2 >sa0 >sa1
1642 1195 
1869 1852 buff 1 1 >sa0 >sa1
1433 
1870 1856 nor 2 2 >sa0 >sa1
401 1651 
2066 1857 from 1856 >sa0 >sa1
2067 1858 from 1856 >sa0 >sa1
1873 1870 not 1 1 >sa0 >sa1
1538 
1874 1902 buff 1 1 >sa0 >sa1
1435 
1875 1906 nor 2 2 >sa0 >sa1
410 1653 
2071 1907 from 1906 >sa0 >sa1
2072 1908 from 1906 >sa0 >sa1
1878 1920 not 1 1 >sa0 >sa1
1540 
1879 1953 buff 1 1 >sa0 >sa1
1437 
1880 1957 nor 2 2 >sa0 >sa1
418 1655 
2076 1958 from 1957 >sa0 >sa1
2077 1959 from 1957 >sa0 >sa1
1883 1971 not 1 1 >sa0 >sa1
1542 
1884 2003 buff 1 1 >sa0 >sa1
1439 
1885 2007 nor 2 2 >sa0 >sa1
427 1657 
2081 2008 from 2007 >sa0 >sa1
2082 2009 from 2007 >sa0 >sa1
1888 2021 not 1 1 >sa0 >sa1
1544 
1889 2058 and 1 2 >sa0 >sa1
1441 1660 
1890 2062 nor 2 2 >sa0 >sa1
436 1659 
2086 2063 from 2062 >sa0 >sa1
2087 2064 from 2062 >sa0 >sa1
1893 2076 not 1 1 >sa0 >sa1
1552 
1894 2110 and 1 2 >sa0 >sa1
1443 1662 
1895 2114 nor 2 2 >sa0 >sa1
445 1661 
2091 2115 from 2114 >sa0 >sa1
2092 2116 from 2114 >sa0 >sa1
1898 2128 not 1 1 >sa0 >sa1
1546 
1899 2163 and 1 2 >sa0 >sa1
1445 1664 
1900 2167 nor 2 2 >sa0 >sa1
453 1663 
2096 2168 from 2167 >sa0 >sa1
2097 2169 from 2167 >sa0 >sa1
1903 2181 not 1 1 >sa0 >sa1
1548 
1904 2215 and 1 2 >sa0 >sa1
1447 1666 
1905 2219 nor 2 2 >sa0 >sa1
460 1665 
2101 2220 from 2219 >sa0 >sa1
2102 2221 from 2219 >sa0 >sa1
1908 2233 not 1 1 >sa0 >sa1
1550 
1909 2285 and 2 2 >sa0 >sa1
1681 539 
2106 2286 from 2285 >sa0 >sa1
2107 2287 from 2285 >sa0 >sa1
1912 2288 nand 1 2 >sa0 >sa1
1682 540 
1913 2289 and 3 3 >sa0 >sa1
1683 541 648 
2108 2290 from 2289 >sa0 >sa1
2109 2291 from 2289 >sa0 >sa1
2110 2292 from 2289 >sa0 >sa1
1917 2293 nand 4 3 >sa0 >sa1
1684 542 649 
2111 2294 from 2293 >sa0 >sa1
2112 2295 from 2293 >sa0 >sa1
2113 2296 from 2293 >sa0 >sa1
2114 2297 from 2293 >sa0 >sa1
1922 2298 and 3 3 >sa0 >sa1
1685 543 650 
2115 2299 from 2298 >sa0 >sa1
2116 2300 from 2298 >sa0 >sa1
2117 2301 from 2298 >sa0 >sa1
1926 2302 nand 3 3 >sa0 >sa1
1686 544 651 
2118 2303 from 2302 >sa0 >sa1
2119 2304 from 2302 >sa0 >sa1
2120 2305 from 2302 >sa0 >sa1
1930 2877 buff 2 1 >sa0 >sa1
1689 
2129 2878 from 2877 >sa0 >sa1
2130 2879 from 2877 >sa0 >sa1
1933 2983 nand 2 2 >sa0 >sa1
1691 1692 
1953 2985 from 2983 >sa0 >sa1
2131 2984 from 2983 >sa0 >sa1
1936 2986 nand 2 2 >sa0 >sa1
1693 1694 
1952 2987 from 2986 >sa0 >sa1
2132 2988 from 2986 >sa0 >sa1
1939 3014 not 1 1 >sa0 >sa1
1696 
1940 3015 nand 1 2 >sa0 >sa1
1695 1474 
1941 3023 not 1 1 >sa0 >sa1
1697 
1942 3024 not 1 1 >sa0 >sa1
1700 
1943 3033 not 1 1 >sa0 >sa1
1701 
1944 3034 not 1 1 >sa0 >sa1
1704 
1945 3043 not 1 1 >sa0 >sa1
1705 
1946 3044 not 1 1 >sa0 >sa1
1708 
1947 355 not 0 1 >sa0 >sa1
1714 
1960 643 nand 1 2 >sa0 >sa1
1071 1728 
1961 647 nand 1 2 >sa0 >sa1
1072 1731 
1966 680 and 1 2 >sa0 >sa1
1732 1527 
1981 904 nand 1 2 >sa0 >sa1
1169 1765 
1982 913 nand 1 2 >sa0 >sa1
1172 1767 
1983 920 and 1 2 >sa0 >sa1
1067 1768 
1986 979 or 1 3 >sa0 >sa1
1581 1787 1788 
1987 993 or 1 3 >sa0 >sa1
1586 1791 1792 
1988 1000 or 1 3 >sa0 >sa1
1589 1793 1794 
1989 1007 or 1 3 >sa0 >sa1
1592 1795 1796 
1990 1021 or 1 3 >sa0 >sa1
1597 1799 1800 
1991 1028 or 1 3 >sa0 >sa1
1600 1801 1802 
2022 1719 and 1 2 >sa0 >sa1
426 1849 
2023 1721 and 1 2 >sa0 >sa1
547 1850 
2024 1726 and 1 2 >sa0 >sa1
435 1851 
2025 1728 and 1 2 >sa0 >sa1
551 1852 
2026 1733 and 1 2 >sa0 >sa1
444 1853 
2027 1735 and 1 2 >sa0 >sa1
556 1854 
2028 1740 and 1 2 >sa0 >sa1
452 1855 
2029 1742 and 1 2 >sa0 >sa1
561 1856 
2030 1747 and 1 2 >sa0 >sa1
459 1857 
2031 1749 and 1 2 >sa0 >sa1
566 1858 
2032 1754 and 1 2 >sa0 >sa1
606 1859 
2033 1756 and 1 2 >sa0 >sa1
572 1860 
2034 1761 and 1 2 >sa0 >sa1
614 1861 
2035 1763 and 1 2 >sa0 >sa1
578 1862 
2036 1768 and 1 2 >sa0 >sa1
621 1863 
2037 1770 and 1 2 >sa0 >sa1
584 1864 
2038 1794 buff 4 1 >sa0 >sa1
1865 
2246 1795 from 1794 >sa0 >sa1
2247 1796 from 1794 >sa0 >sa1
2248 1797 from 1794 >sa0 >sa1
2249 1798 from 1794 >sa0 >sa1
2043 1799 not 4 1 >sa0 >sa1
1866 
2250 1800 from 1799 >sa0 >sa1
2252 1802 from 1799 >sa0 >sa1
2254 1804 from 1799 >sa0 >sa1
2256 1806 from 1799 >sa0 >sa1
2052 1812 buff 4 1 >sa0 >sa1
1867 
2258 1813 from 1812 >sa0 >sa1
2259 1814 from 1812 >sa0 >sa1
2260 1815 from 1812 >sa0 >sa1
2261 1816 from 1812 >sa0 >sa1
2057 1817 not 4 1 >sa0 >sa1
1868 
2262 1818 from 1817 >sa0 >sa1
2264 1820 from 1817 >sa0 >sa1
2266 1822 from 1817 >sa0 >sa1
2268 1824 from 1817 >sa0 >sa1
2068 1859 and 2 3 >sa0 >sa1
402 1428 1869 
2273 1860 from 1859 >sa0 >sa1
2274 1861 from 1859 >sa0 >sa1
2073 1909 and 2 3 >sa0 >sa1
411 1429 1874 
2275 1910 from 1909 >sa0 >sa1
2276 1911 from 1909 >sa0 >sa1
2078 1960 and 2 3 >sa0 >sa1
419 1430 1879 
2280 1961 from 1960 >sa0 >sa1
2281 1962 from 1960 >sa0 >sa1
2083 2010 and 2 3 >sa0 >sa1
428 1431 1884 
2285 2011 from 2010 >sa0 >sa1
2286 2012 from 2010 >sa0 >sa1
2088 2065 and 2 3 >sa0 >sa1
437 1448 1889 
2290 2066 from 2065 >sa0 >sa1
2291 2067 from 2065 >sa0 >sa1
2093 2117 and 2 3 >sa0 >sa1
446 1449 1894 
2292 2118 from 2117 >sa0 >sa1
2293 2119 from 2117 >sa0 >sa1
2098 2170 and 2 3 >sa0 >sa1
454 1450 1899 
2297 2171 from 2170 >sa0 >sa1
2298 2172 from 2170 >sa0 >sa1
2103 2222 and 2 3 >sa0 >sa1
461 1451 1904 
2302 2223 from 2222 >sa0 >sa1
2303 2224 from 2222 >sa0 >sa1
2121 2678 not 1 1 >sa0 >sa1
1771 
2122 2697 not 1 1 >sa0 >sa1
1773 
2123 2716 not 1 1 >sa0 >sa1
1775 
2124 2733 not 1 1 >sa0 >sa1
1777 
2125 2751 not 1 1 >sa0 >sa1
1779 
2126 2768 not 1 1 >sa0 >sa1
1781 
2127 2785 not 1 1 >sa0 >sa1
1783 
2128 2802 not 1 1 >sa0 >sa1
1785 
2133 3016 nand 1 2 >sa0 >sa1
1244 1939 
2134 3025 nand 1 2 >sa0 >sa1
1699 1941 
2135 3026 nand 1 2 >sa0 >sa1
1698 1942 
2136 3035 nand 1 2 >sa0 >sa1
1703 1943 
2137 3036 nand 1 2 >sa0 >sa1
1702 1944 
2138 3045 nand 1 2 >sa0 >sa1
1707 1945 
2139 3046 nand 1 2 >sa0 >sa1
1706 1946 
2141 2989 not 1 1 >sa0 >sa1
2131 
2142 2990 not 1 1 >sa0 >sa1
2132 
2143 610 not 1 1 >sa0 >sa1
1954 
2144 613 buff 1 1 >sa0 >sa1
1955 
2145 616 not 1 1 >sa0 >sa1
1957 
2146 640 nand 1 2 >sa0 >sa1
1727 1960 
2147 648 nand 1 2 >sa0 >sa1
1730 1961 
2148 655 and 1 4 >sa0 >sa1
1958 1267 979 405 
2149 665 not 1 1 >sa0 >sa1
1962 
2150 668 buff 1 1 >sa0 >sa1
1963 
2151 671 not 1 1 >sa0 >sa1
1965 
2152 683 not 1 1 >sa0 >sa1
1967 
2153 685 not 1 1 >sa0 >sa1
1968 
2154 688 and 1 2 >sa0 >sa1
1969 1970 
2155 694 not 1 1 >sa0 >sa1
1971 
2156 696 not 1 1 >sa0 >sa1
1972 
2157 699 and 1 2 >sa0 >sa1
1973 1974 
2158 870 buff 16 1 >sa0 >sa1
1979 
2356 871 from 870 >sa0 >sa1
2357 872 from 870 >sa0 >sa1
2358 873 from 870 >sa0 >sa1
2359 874 from 870 >sa0 >sa1
2360 875 from 870 >sa0 >sa1
2361 876 from 870 >sa0 >sa1
2362 877 from 870 >sa0 >sa1
2363 878 from 870 >sa0 >sa1
2364 879 from 870 >sa0 >sa1
2365 880 from 870 >sa0 >sa1
2366 881 from 870 >sa0 >sa1
2367 882 from 870 >sa0 >sa1
2368 883 from 870 >sa0 >sa1
2369 884 from 870 >sa0 >sa1
2370 885 from 870 >sa0 >sa1
2371 886 from 870 >sa0 >sa1
2175 887 buff 2 1 >sa0 >sa1
1980 
2372 888 from 887 >sa0 >sa1
2373 889 from 887 >sa0 >sa1
2178 901 nand 1 2 >sa0 >sa1
1764 1981 
2179 910 nand 1 2 >sa0 >sa1
1766 1982 
2180 914 not 1 1 >sa0 >sa1
1975 
2181 916 and 1 2 >sa0 >sa1
1976 1555 
2183 942 not 1 1 >sa0 >sa1
1977 
2184 943 and 1 2 >sa0 >sa1
1557 1978 
2185 1072 nand 2 2 >sa0 >sa1
1605 1998 
2382 1073 from 1072 >sa0 >sa1
2383 1074 from 1072 >sa0 >sa1
2188 1084 nand 2 2 >sa0 >sa1
1606 1996 
2384 1085 from 1084 >sa0 >sa1
2385 1086 from 1084 >sa0 >sa1
2191 1096 nand 2 2 >sa0 >sa1
1601 1999 
2386 1097 from 1096 >sa0 >sa1
2387 1098 from 1096 >sa0 >sa1
2194 1108 nand 2 2 >sa0 >sa1
1602 1997 
2388 1109 from 1108 >sa0 >sa1
2389 1110 from 1108 >sa0 >sa1
2197 1120 nand 2 2 >sa0 >sa1
1607 1994 
2390 1121 from 1120 >sa0 >sa1
2391 1122 from 1120 >sa0 >sa1
2200 1132 nand 2 2 >sa0 >sa1
1608 1992 
2392 1133 from 1132 >sa0 >sa1
2393 1134 from 1132 >sa0 >sa1
2203 1144 nand 2 2 >sa0 >sa1
1603 1995 
2394 1145 from 1144 >sa0 >sa1
2395 1146 from 1144 >sa0 >sa1
2206 1156 nand 2 2 >sa0 >sa1
1604 1993 
2396 1157 from 1156 >sa0 >sa1
2397 1158 from 1156 >sa0 >sa1
2209 1533 not 1 1 >sa0 >sa1
2000 
2210 1534 not 1 1 >sa0 >sa1
2002 
2211 1535 and 1 2 >sa0 >sa1
2001 2003 
2212 1545 buff 8 1 >sa0 >sa1
2004 
2399 1546 from 1545 >sa0 >sa1
2400 1547 from 1545 >sa0 >sa1
2401 1548 from 1545 >sa0 >sa1
2402 1549 from 1545 >sa0 >sa1
2403 1550 from 1545 >sa0 >sa1
2404 1551 from 1545 >sa0 >sa1
2405 1552 from 1545 >sa0 >sa1
2406 1553 from 1545 >sa0 >sa1
2221 1554 buff 8 1 >sa0 >sa1
2005 
2407 1555 from 1554 >sa0 >sa1
2408 1556 from 1554 >sa0 >sa1
2409 1557 from 1554 >sa0 >sa1
2410 1558 from 1554 >sa0 >sa1
2411 1559 from 1554 >sa0 >sa1
2412 1560 from 1554 >sa0 >sa1
2413 1561 from 1554 >sa0 >sa1
2414 1562 from 1554 >sa0 >sa1
2230 1610 not 1 1 >sa0 >sa1
2014 
2231 1619 not 1 1 >sa0 >sa1
2016 
2232 1628 not 1 1 >sa0 >sa1
2018 
2233 1637 not 1 1 >sa0 >sa1
2020 
2234 1646 not 1 1 >sa0 >sa1
2006 
2235 1655 not 1 1 >sa0 >sa1
2008 
2236 1664 not 1 1 >sa0 >sa1
2010 
2237 1673 not 1 1 >sa0 >sa1
2012 
2238 1722 or 1 3 >sa0 >sa1
2022 1643 2023 
2239 1729 or 1 3 >sa0 >sa1
2024 1644 2025 
2240 1736 or 1 3 >sa0 >sa1
2026 1645 2027 
2241 1743 or 1 3 >sa0 >sa1
2028 1646 2029 
2242 1750 or 1 3 >sa0 >sa1
2030 1647 2031 
2243 1757 or 1 3 >sa0 >sa1
2032 1648 2033 
2244 1764 or 1 3 >sa0 >sa1
2034 1649 2035 
2245 1771 or 1 3 >sa0 >sa1
2036 1650 2037 
2270 1853 and 2 2 >sa0 >sa1
1986 1673 
2415 1854 from 1853 >sa0 >sa1
2416 1855 from 1853 >sa0 >sa1
2277 1954 and 2 2 >sa0 >sa1
1987 1675 
2423 1955 from 1954 >sa0 >sa1
2424 1956 from 1954 >sa0 >sa1
2282 2004 and 2 2 >sa0 >sa1
1988 1676 
2428 2005 from 2004 >sa0 >sa1
2429 2006 from 2004 >sa0 >sa1
2287 2059 and 2 2 >sa0 >sa1
1989 1677 
2433 2060 from 2059 >sa0 >sa1
2434 2061 from 2059 >sa0 >sa1
2294 2164 and 2 2 >sa0 >sa1
1990 1679 
2441 2165 from 2164 >sa0 >sa1
2442 2166 from 2164 >sa0 >sa1
2299 2216 and 2 2 >sa0 >sa1
1991 1680 
2446 2217 from 2216 >sa0 >sa1
2447 2218 from 2216 >sa0 >sa1
2304 2485 buff 2 1 >sa0 >sa1
2114 
2451 2486 from 2485 >sa0 >sa1
2452 2487 from 2485 >sa0 >sa1
2307 2900 and 1 2 >sa0 >sa1
2129 653 
2310 2903 nand 1 2 >sa0 >sa1
2130 654 
2313 2967 buff 2 1 >sa0 >sa1
1948 
2338 2969 from 2967 >sa0 >sa1
2457 2968 from 2967 >sa0 >sa1
2316 2970 buff 2 1 >sa0 >sa1
1950 
2337 2971 from 2970 >sa0 >sa1
2458 2972 from 2970 >sa0 >sa1
2319 2975 buff 2 1 >sa0 >sa1
1949 
2340 2977 from 2975 >sa0 >sa1
2459 2976 from 2975 >sa0 >sa1
2322 2978 buff 2 1 >sa0 >sa1
1951 
2339 2979 from 2978 >sa0 >sa1
2460 2980 from 2978 >sa0 >sa1
2325 3047 nand 2 2 >sa0 >sa1
1940 2133 
2344 3049 from 3047 >sa0 >sa1
2461 3048 from 3047 >sa0 >sa1
2328 3050 nand 2 2 >sa0 >sa1
2134 2135 
2343 3051 from 3050 >sa0 >sa1
2462 3052 from 3050 >sa0 >sa1
2331 3055 nand 2 2 >sa0 >sa1
2136 2137 
2346 3057 from 3055 >sa0 >sa1
2463 3056 from 3055 >sa0 >sa1
2334 3058 nand 2 2 >sa0 >sa1
2138 2139 
2345 3059 from 3058 >sa0 >sa1
2464 3060 from 3058 >sa0 >sa1
2341 574 nand 1 2 >sa0 >sa1
1952 2141 
2342 575 nand 1 2 >sa0 >sa1
1953 2142 
2347 617 and 1 2 >sa0 >sa1
1027 2144 
2348 641 and 1 3 >sa0 >sa1
2146 1007 1726 
2349 649 and 1 2 >sa0 >sa1
1051 2147 
2350 662 and 1 2 >sa0 >sa1
2148 1525 
2351 672 and 1 2 >sa0 >sa1
1038 2150 
2352 690 and 1 2 >sa0 >sa1
1735 2153 
2353 691 and 1 2 >sa0 >sa1
1062 2154 
2354 701 and 1 2 >sa0 >sa1
1725 2156 
2355 702 and 1 2 >sa0 >sa1
1049 2157 
2374 902 not 1 1 >sa0 >sa1
2178 
2375 911 not 1 1 >sa0 >sa1
2179 
2376 917 and 1 2 >sa0 >sa1
1733 2180 
2379 923 and 1 2 >sa0 >sa1
1721 2181 
2398 1538 and 1 2 >sa0 >sa1
980 2211 
2417 1871 and 1 3 >sa0 >sa1
2262 553 1873 
2418 1872 and 1 2 >sa0 >sa1
589 1539 
2419 1873 and 1 2 >sa0 >sa1
2258 2238 
2420 1921 and 1 3 >sa0 >sa1
2264 558 1878 
2421 1922 and 1 2 >sa0 >sa1
590 1541 
2422 1923 and 1 2 >sa0 >sa1
2259 2239 
2425 1972 and 1 3 >sa0 >sa1
2266 563 1883 
2426 1973 and 1 2 >sa0 >sa1
591 1543 
2427 1974 and 1 2 >sa0 >sa1
2260 2240 
2430 2022 and 1 3 >sa0 >sa1
2268 568 1888 
2431 2023 and 1 2 >sa0 >sa1
592 1545 
2432 2024 and 1 2 >sa0 >sa1
2261 2241 
2435 2077 and 1 3 >sa0 >sa1
2250 574 1893 
2436 2078 and 1 2 >sa0 >sa1
593 1553 
2437 2079 and 1 2 >sa0 >sa1
2246 2242 
2438 2129 and 1 3 >sa0 >sa1
2252 580 1898 
2439 2130 and 1 2 >sa0 >sa1
594 1547 
2440 2131 and 1 2 >sa0 >sa1
2247 2243 
2443 2182 and 1 3 >sa0 >sa1
2254 585 1903 
2444 2183 and 1 2 >sa0 >sa1
595 1549 
2445 2184 and 1 2 >sa0 >sa1
2248 2244 
2448 2234 and 1 3 >sa0 >sa1
2256 588 1908 
2449 2235 and 1 2 >sa0 >sa1
596 1551 
2450 2236 and 1 2 >sa0 >sa1
2249 2245 
2467 2973 not 1 1 >sa0 >sa1
2457 
2468 2974 not 1 1 >sa0 >sa1
2458 
2469 2981 not 1 1 >sa0 >sa1
2459 
2470 2982 not 1 1 >sa0 >sa1
2460 
2471 576 nand 2 2 >sa0 >sa1
2341 2342 
2752 577 from 576 >sa0 >sa1
2753 578 from 576 >sa0 >sa1
2474 3053 not 1 1 >sa0 >sa1
2461 
2475 3054 not 1 1 >sa0 >sa1
2462 
2476 3061 not 1 1 >sa0 >sa1
2463 
2477 3062 not 1 1 >sa0 >sa1
2464 
2478 645 or 1 2 >sa0 >sa1
2348 1729 
2481 926 not 1 1 >sa0 >sa1
2372 
2482 928 and 1 2 >sa0 >sa1
2373 1559 
2483 947 and 1 2 >sa0 >sa1
2349 2183 
2486 983 and 1 2 >sa0 >sa1
2374 1346 
2487 1011 and 1 2 >sa0 >sa1
2375 1350 
2488 1075 buff 8 1 >sa0 >sa1
2382 
2770 1076 from 1075 >sa0 >sa1
2771 1077 from 1075 >sa0 >sa1
2772 1078 from 1075 >sa0 >sa1
2773 1079 from 1075 >sa0 >sa1
2774 1080 from 1075 >sa0 >sa1
2775 1081 from 1075 >sa0 >sa1
2776 1082 from 1075 >sa0 >sa1
2777 1083 from 1075 >sa0 >sa1
2497 1087 buff 8 1 >sa0 >sa1
2384 
2778 1088 from 1087 >sa0 >sa1
2779 1089 from 1087 >sa0 >sa1
2780 1090 from 1087 >sa0 >sa1
2781 1091 from 1087 >sa0 >sa1
2782 1092 from 1087 >sa0 >sa1
2783 1093 from 1087 >sa0 >sa1
2784 1094 from 1087 >sa0 >sa1
2785 1095 from 1087 >sa0 >sa1
2506 1099 buff 8 1 >sa0 >sa1
2386 
2786 1100 from 1099 >sa0 >sa1
2787 1101 from 1099 >sa0 >sa1
2788 1102 from 1099 >sa0 >sa1
2789 1103 from 1099 >sa0 >sa1
2790 1104 from 1099 >sa0 >sa1
2791 1105 from 1099 >sa0 >sa1
2792 1106 from 1099 >sa0 >sa1
2793 1107 from 1099 >sa0 >sa1
2515 1111 buff 8 1 >sa0 >sa1
2388 
2794 1112 from 1111 >sa0 >sa1
2795 1113 from 1111 >sa0 >sa1
2796 1114 from 1111 >sa0 >sa1
2797 1115 from 1111 >sa0 >sa1
2798 1116 from 1111 >sa0 >sa1
2799 1117 from 1111 >sa0 >sa1
2800 1118 from 1111 >sa0 >sa1
2801 1119 from 1111 >sa0 >sa1
2524 1123 buff 8 1 >sa0 >sa1
2390 
2802 1124 from 1123 >sa0 >sa1
2803 1125 from 1123 >sa0 >sa1
2804 1126 from 1123 >sa0 >sa1
2805 1127 from 1123 >sa0 >sa1
2806 1128 from 1123 >sa0 >sa1
2807 1129 from 1123 >sa0 >sa1
2808 1130 from 1123 >sa0 >sa1
2809 1131 from 1123 >sa0 >sa1
2533 1135 buff 8 1 >sa0 >sa1
2392 
2810 1136 from 1135 >sa0 >sa1
2811 1137 from 1135 >sa0 >sa1
2812 1138 from 1135 >sa0 >sa1
2813 1139 from 1135 >sa0 >sa1
2814 1140 from 1135 >sa0 >sa1
2815 1141 from 1135 >sa0 >sa1
2816 1142 from 1135 >sa0 >sa1
2817 1143 from 1135 >sa0 >sa1
2542 1147 buff 8 1 >sa0 >sa1
2394 
2818 1148 from 1147 >sa0 >sa1
2819 1149 from 1147 >sa0 >sa1
2820 1150 from 1147 >sa0 >sa1
2821 1151 from 1147 >sa0 >sa1
2822 1152 from 1147 >sa0 >sa1
2823 1153 from 1147 >sa0 >sa1
2824 1154 from 1147 >sa0 >sa1
2825 1155 from 1147 >sa0 >sa1
2551 1159 buff 8 1 >sa0 >sa1
2396 
2826 1160 from 1159 >sa0 >sa1
2827 1161 from 1159 >sa0 >sa1
2828 1162 from 1159 >sa0 >sa1
2829 1163 from 1159 >sa0 >sa1
2830 1164 from 1159 >sa0 >sa1
2831 1165 from 1159 >sa0 >sa1
2832 1166 from 1159 >sa0 >sa1
2833 1167 from 1159 >sa0 >sa1
2560 1168 buff 8 1 >sa0 >sa1
2383 
2834 1169 from 1168 >sa0 >sa1
2835 1170 from 1168 >sa0 >sa1
2836 1171 from 1168 >sa0 >sa1
2837 1172 from 1168 >sa0 >sa1
2838 1173 from 1168 >sa0 >sa1
2839 1174 from 1168 >sa0 >sa1
2840 1175 from 1168 >sa0 >sa1
2841 1176 from 1168 >sa0 >sa1
2569 1177 buff 8 1 >sa0 >sa1
2385 
2842 1178 from 1177 >sa0 >sa1
2843 1179 from 1177 >sa0 >sa1
2844 1180 from 1177 >sa0 >sa1
2845 1181 from 1177 >sa0 >sa1
2846 1182 from 1177 >sa0 >sa1
2847 1183 from 1177 >sa0 >sa1
2848 1184 from 1177 >sa0 >sa1
2849 1185 from 1177 >sa0 >sa1
2578 1186 buff 8 1 >sa0 >sa1
2387 
2850 1187 from 1186 >sa0 >sa1
2851 1188 from 1186 >sa0 >sa1
2852 1189 from 1186 >sa0 >sa1
2853 1190 from 1186 >sa0 >sa1
2854 1191 from 1186 >sa0 >sa1
2855 1192 from 1186 >sa0 >sa1
2856 1193 from 1186 >sa0 >sa1
2857 1194 from 1186 >sa0 >sa1
2587 1195 buff 8 1 >sa0 >sa1
2389 
2858 1196 from 1195 >sa0 >sa1
2859 1197 from 1195 >sa0 >sa1
2860 1198 from 1195 >sa0 >sa1
2861 1199 from 1195 >sa0 >sa1
2862 1200 from 1195 >sa0 >sa1
2863 1201 from 1195 >sa0 >sa1
2864 1202 from 1195 >sa0 >sa1
2865 1203 from 1195 >sa0 >sa1
2596 1204 buff 8 1 >sa0 >sa1
2391 
2866 1205 from 1204 >sa0 >sa1
2867 1206 from 1204 >sa0 >sa1
2868 1207 from 1204 >sa0 >sa1
2869 1208 from 1204 >sa0 >sa1
2870 1209 from 1204 >sa0 >sa1
2871 1210 from 1204 >sa0 >sa1
2872 1211 from 1204 >sa0 >sa1
2873 1212 from 1204 >sa0 >sa1
2605 1213 buff 8 1 >sa0 >sa1
2393 
2874 1214 from 1213 >sa0 >sa1
2875 1215 from 1213 >sa0 >sa1
2876 1216 from 1213 >sa0 >sa1
2877 1217 from 1213 >sa0 >sa1
2878 1218 from 1213 >sa0 >sa1
2879 1219 from 1213 >sa0 >sa1
2880 1220 from 1213 >sa0 >sa1
2881 1221 from 1213 >sa0 >sa1
2614 1222 buff 8 1 >sa0 >sa1
2395 
2882 1223 from 1222 >sa0 >sa1
2883 1224 from 1222 >sa0 >sa1
2884 1225 from 1222 >sa0 >sa1
2885 1226 from 1222 >sa0 >sa1
2886 1227 from 1222 >sa0 >sa1
2887 1228 from 1222 >sa0 >sa1
2888 1229 from 1222 >sa0 >sa1
2889 1230 from 1222 >sa0 >sa1
2623 1231 buff 8 1 >sa0 >sa1
2397 
2890 1232 from 1231 >sa0 >sa1
2891 1233 from 1231 >sa0 >sa1
2892 1234 from 1231 >sa0 >sa1
2893 1235 from 1231 >sa0 >sa1
2894 1236 from 1231 >sa0 >sa1
2895 1237 from 1231 >sa0 >sa1
2896 1238 from 1231 >sa0 >sa1
2897 1239 from 1231 >sa0 >sa1
2632 1609 not 1 1 >sa0 >sa1
2399 
2633 1611 and 1 2 >sa0 >sa1
2400 2015 
2634 1618 not 1 1 >sa0 >sa1
2401 
2635 1620 and 1 2 >sa0 >sa1
2402 2017 
2636 1627 not 1 1 >sa0 >sa1
2403 
2637 1629 and 1 2 >sa0 >sa1
2404 2019 
2638 1636 not 1 1 >sa0 >sa1
2405 
2639 1638 and 1 2 >sa0 >sa1
2406 2021 
2640 1645 not 1 1 >sa0 >sa1
2407 
2641 1647 and 1 2 >sa0 >sa1
2408 2007 
2642 1654 not 1 1 >sa0 >sa1
2409 
2643 1656 and 1 2 >sa0 >sa1
2410 2009 
2644 1663 not 1 1 >sa0 >sa1
2411 
2645 1665 and 1 2 >sa0 >sa1
2412 2011 
2646 1672 not 1 1 >sa0 >sa1
2413 
2647 1674 and 1 2 >sa0 >sa1
2414 2013 
2648 1862 or 3 3 >sa0 >sa1
2415 2066 2273 
2902 1863 from 1862 >sa0 >sa1
2903 1864 from 1862 >sa0 >sa1
2904 1865 from 1862 >sa0 >sa1
2652 1866 nor 1 3 >sa0 >sa1
2416 2067 2274 
2656 1874 or 2 3 >sa0 >sa1
2417 2418 2419 
2908 1875 from 1874 >sa0 >sa1
2909 1876 from 1874 >sa0 >sa1
2659 1924 or 2 3 >sa0 >sa1
2420 2421 2422 
2910 1925 from 1924 >sa0 >sa1
2911 1926 from 1924 >sa0 >sa1
2662 1963 or 3 3 >sa0 >sa1
2423 2076 2280 
2912 1964 from 1963 >sa0 >sa1
2913 1965 from 1963 >sa0 >sa1
2914 1966 from 1963 >sa0 >sa1
2666 1967 nor 1 3 >sa0 >sa1
2424 2077 2281 
2670 1975 or 2 3 >sa0 >sa1
2425 2426 2427 
2918 1976 from 1975 >sa0 >sa1
2919 1977 from 1975 >sa0 >sa1
2673 2013 or 3 3 >sa0 >sa1
2428 2081 2285 
2920 2014 from 2013 >sa0 >sa1
2921 2015 from 2013 >sa0 >sa1
2922 2016 from 2013 >sa0 >sa1
2677 2017 nor 1 3 >sa0 >sa1
2429 2082 2286 
2681 2025 or 2 3 >sa0 >sa1
2430 2431 2432 
2926 2026 from 2025 >sa0 >sa1
2927 2027 from 2025 >sa0 >sa1
2684 2068 or 3 3 >sa0 >sa1
2433 2086 2290 
2928 2069 from 2068 >sa0 >sa1
2929 2070 from 2068 >sa0 >sa1
2930 2071 from 2068 >sa0 >sa1
2688 2072 nor 1 3 >sa0 >sa1
2434 2087 2291 
2692 2080 or 4 3 >sa0 >sa1
2435 2436 2437 
2934 2081 from 2080 >sa0 >sa1
2935 2082 from 2080 >sa0 >sa1
2936 2083 from 2080 >sa0 >sa1
2937 2084 from 2080 >sa0 >sa1
2697 2132 or 4 3 >sa0 >sa1
2438 2439 2440 
2938 2133 from 2132 >sa0 >sa1
2939 2134 from 2132 >sa0 >sa1
2940 2135 from 2132 >sa0 >sa1
2941 2136 from 2132 >sa0 >sa1
2702 2173 or 3 3 >sa0 >sa1
2441 2096 2297 
2942 2174 from 2173 >sa0 >sa1
2943 2175 from 2173 >sa0 >sa1
2944 2176 from 2173 >sa0 >sa1
2706 2177 nor 1 3 >sa0 >sa1
2442 2097 2298 
2710 2185 or 4 3 >sa0 >sa1
2443 2444 2445 
2948 2186 from 2185 >sa0 >sa1
2949 2187 from 2185 >sa0 >sa1
2950 2188 from 2185 >sa0 >sa1
2951 2189 from 2185 >sa0 >sa1
2715 2225 or 3 3 >sa0 >sa1
2446 2101 2302 
2952 2226 from 2225 >sa0 >sa1
2953 2227 from 2225 >sa0 >sa1
2954 2228 from 2225 >sa0 >sa1
2719 2229 nor 1 3 >sa0 >sa1
2447 2102 2303 
2723 2237 or 4 3 >sa0 >sa1
2448 2449 2450 
2958 2238 from 2237 >sa0 >sa1
2959 2239 from 2237 >sa0 >sa1
2960 2240 from 2237 >sa0 >sa1
2961 2241 from 2237 >sa0 >sa1
2728 2488 not 1 1 >sa0 >sa1
2451 
2729 2679 not 1 1 >sa0 >sa1
2356 
2730 2680 and 1 2 >sa0 >sa1
1772 2357 
2731 2698 not 1 1 >sa0 >sa1
2358 
2732 2699 and 1 2 >sa0 >sa1
1774 2359 
2733 2717 not 1 1 >sa0 >sa1
2360 
2734 2718 and 1 2 >sa0 >sa1
1776 2361 
2735 2734 not 1 1 >sa0 >sa1
2362 
2736 2735 and 1 2 >sa0 >sa1
1778 2363 
2737 2752 not 1 1 >sa0 >sa1
2364 
2738 2753 and 1 2 >sa0 >sa1
1780 2365 
2739 2769 not 1 1 >sa0 >sa1
2366 
2740 2770 and 1 2 >sa0 >sa1
1782 2367 
2741 2786 not 1 1 >sa0 >sa1
2368 
2742 2787 and 1 2 >sa0 >sa1
1784 2369 
2743 2803 not 1 1 >sa0 >sa1
2370 
2744 2804 and 1 2 >sa0 >sa1
1786 2371 
2746 1029 nor 1 3 >sa0 >sa1
2376 1983 2379 
2748 565 nand 1 2 >sa0 >sa1
2337 2467 
2749 566 nand 1 2 >sa0 >sa1
2338 2468 
2750 569 nand 1 2 >sa0 >sa1
2339 2469 
2751 570 nand 1 2 >sa0 >sa1
2340 2470 
2754 589 nand 1 2 >sa0 >sa1
2343 2474 
2755 590 nand 1 2 >sa0 >sa1
2344 2475 
2756 595 nand 1 2 >sa0 >sa1
2345 2476 
2757 596 nand 1 2 >sa0 >sa1
2346 2477 
2758 929 and 1 2 >sa0 >sa1
1734 2481 
2761 938 and 1 2 >sa0 >sa1
1959 2482 
2764 944 and 1 2 >sa0 >sa1
2478 1770 
2768 986 or 1 3 >sa0 >sa1
2486 1789 1790 
2769 1014 or 1 3 >sa0 >sa1
2487 1797 1798 
2898 1616 and 1 2 >sa0 >sa1
981 2633 
2899 1625 and 1 2 >sa0 >sa1
992 2635 
2900 1634 and 1 2 >sa0 >sa1
997 2637 
2901 1643 and 1 2 >sa0 >sa1
1009 2639 
2962 360 not 1 1 >sa0 >sa1
2746 
2966 567 nand 1 2 >sa0 >sa1
2748 2749 
2967 571 nand 2 2 >sa0 >sa1
2750 2751 
3197 572 from 571 >sa0 >sa1
3198 573 from 571 >sa0 >sa1
2970 579 buff 2 1 >sa0 >sa1
2752 
3199 580 from 579 >sa0 >sa1
3200 581 from 579 >sa0 >sa1
2973 591 nand 2 2 >sa0 >sa1
2754 2755 
3201 592 from 591 >sa0 >sa1
3203 594 from 591 >sa0 >sa1
2977 597 nand 2 2 >sa0 >sa1
2756 2757 
3204 598 from 597 >sa0 >sa1
3205 599 from 597 >sa0 >sa1
2980 614 and 1 2 >sa0 >sa1
2753 2143 
2984 1240 not 1 1 >sa0 >sa1
2770 
2985 1241 not 1 1 >sa0 >sa1
2778 
2986 1242 not 1 1 >sa0 >sa1
2786 
2987 1243 not 1 1 >sa0 >sa1
2794 
2988 1244 not 1 1 >sa0 >sa1
2802 
2989 1245 not 1 1 >sa0 >sa1
2810 
2990 1246 not 1 1 >sa0 >sa1
2818 
2991 1247 not 1 1 >sa0 >sa1
2826 
2992 1257 not 1 1 >sa0 >sa1
2771 
2993 1258 not 1 1 >sa0 >sa1
2779 
2994 1259 not 1 1 >sa0 >sa1
2787 
2995 1260 not 1 1 >sa0 >sa1
2795 
2996 1261 not 1 1 >sa0 >sa1
2803 
2997 1262 not 1 1 >sa0 >sa1
2811 
2998 1263 not 1 1 >sa0 >sa1
2819 
2999 1264 not 1 1 >sa0 >sa1
2827 
3000 1274 not 1 1 >sa0 >sa1
2772 
3001 1275 not 1 1 >sa0 >sa1
2780 
3002 1276 not 1 1 >sa0 >sa1
2788 
3003 1277 not 1 1 >sa0 >sa1
2796 
3004 1278 not 1 1 >sa0 >sa1
2804 
3005 1279 not 1 1 >sa0 >sa1
2812 
3006 1280 not 1 1 >sa0 >sa1
2820 
3007 1281 not 1 1 >sa0 >sa1
2828 
3008 1291 not 1 1 >sa0 >sa1
2773 
3009 1292 not 1 1 >sa0 >sa1
2781 
3010 1293 not 1 1 >sa0 >sa1
2789 
3011 1294 not 1 1 >sa0 >sa1
2797 
3012 1295 not 1 1 >sa0 >sa1
2805 
3013 1296 not 1 1 >sa0 >sa1
2813 
3014 1297 not 1 1 >sa0 >sa1
2821 
3015 1298 not 1 1 >sa0 >sa1
2829 
3016 1308 not 1 1 >sa0 >sa1
2774 
3017 1309 not 1 1 >sa0 >sa1
2782 
3018 1310 not 1 1 >sa0 >sa1
2790 
3019 1311 not 1 1 >sa0 >sa1
2798 
3020 1312 not 1 1 >sa0 >sa1
2806 
3021 1313 not 1 1 >sa0 >sa1
2814 
3022 1314 not 1 1 >sa0 >sa1
2822 
3023 1315 not 1 1 >sa0 >sa1
2830 
3024 1325 not 1 1 >sa0 >sa1
2775 
3025 1326 not 1 1 >sa0 >sa1
2783 
3026 1327 not 1 1 >sa0 >sa1
2791 
3027 1328 not 1 1 >sa0 >sa1
2799 
3028 1329 not 1 1 >sa0 >sa1
2807 
3029 1330 not 1 1 >sa0 >sa1
2815 
3030 1331 not 1 1 >sa0 >sa1
2823 
3031 1332 not 1 1 >sa0 >sa1
2831 
3032 1342 not 1 1 >sa0 >sa1
2776 
3033 1343 not 1 1 >sa0 >sa1
2784 
3034 1344 not 1 1 >sa0 >sa1
2792 
3035 1345 not 1 1 >sa0 >sa1
2800 
3036 1346 not 1 1 >sa0 >sa1
2808 
3037 1347 not 1 1 >sa0 >sa1
2816 
3038 1348 not 1 1 >sa0 >sa1
2824 
3039 1349 not 1 1 >sa0 >sa1
2832 
3040 1359 not 1 1 >sa0 >sa1
2777 
3041 1360 not 1 1 >sa0 >sa1
2785 
3042 1361 not 1 1 >sa0 >sa1
2793 
3043 1362 not 1 1 >sa0 >sa1
2801 
3044 1363 not 1 1 >sa0 >sa1
2809 
3045 1364 not 1 1 >sa0 >sa1
2817 
3046 1365 not 1 1 >sa0 >sa1
2825 
3047 1366 not 1 1 >sa0 >sa1
2833 
3048 1376 not 1 1 >sa0 >sa1
2834 
3049 1377 not 1 1 >sa0 >sa1
2842 
3050 1378 not 1 1 >sa0 >sa1
2850 
3051 1379 not 1 1 >sa0 >sa1
2858 
3052 1380 not 1 1 >sa0 >sa1
2866 
3053 1381 not 1 1 >sa0 >sa1
2874 
3054 1382 not 1 1 >sa0 >sa1
2882 
3055 1383 not 1 1 >sa0 >sa1
2890 
3056 1393 not 1 1 >sa0 >sa1
2835 
3057 1394 not 1 1 >sa0 >sa1
2843 
3058 1395 not 1 1 >sa0 >sa1
2851 
3059 1396 not 1 1 >sa0 >sa1
2859 
3060 1397 not 1 1 >sa0 >sa1
2867 
3061 1398 not 1 1 >sa0 >sa1
2875 
3062 1399 not 1 1 >sa0 >sa1
2883 
3063 1400 not 1 1 >sa0 >sa1
2891 
3064 1410 not 1 1 >sa0 >sa1
2836 
3065 1411 not 1 1 >sa0 >sa1
2844 
3066 1412 not 1 1 >sa0 >sa1
2852 
3067 1413 not 1 1 >sa0 >sa1
2860 
3068 1414 not 1 1 >sa0 >sa1
2868 
3069 1415 not 1 1 >sa0 >sa1
2876 
3070 1416 not 1 1 >sa0 >sa1
2884 
3071 1417 not 1 1 >sa0 >sa1
2892 
3072 1427 not 1 1 >sa0 >sa1
2837 
3073 1428 not 1 1 >sa0 >sa1
2845 
3074 1429 not 1 1 >sa0 >sa1
2853 
3075 1430 not 1 1 >sa0 >sa1
2861 
3076 1431 not 1 1 >sa0 >sa1
2869 
3077 1432 not 1 1 >sa0 >sa1
2877 
3078 1433 not 1 1 >sa0 >sa1
2885 
3079 1434 not 1 1 >sa0 >sa1
2893 
3080 1444 not 1 1 >sa0 >sa1
2838 
3081 1445 not 1 1 >sa0 >sa1
2846 
3082 1446 not 1 1 >sa0 >sa1
2854 
3083 1447 not 1 1 >sa0 >sa1
2862 
3084 1448 not 1 1 >sa0 >sa1
2870 
3085 1449 not 1 1 >sa0 >sa1
2878 
3086 1450 not 1 1 >sa0 >sa1
2886 
3087 1451 not 1 1 >sa0 >sa1
2894 
3088 1461 not 1 1 >sa0 >sa1
2839 
3089 1462 not 1 1 >sa0 >sa1
2847 
3090 1463 not 1 1 >sa0 >sa1
2855 
3091 1464 not 1 1 >sa0 >sa1
2863 
3092 1465 not 1 1 >sa0 >sa1
2871 
3093 1466 not 1 1 >sa0 >sa1
2879 
3094 1467 not 1 1 >sa0 >sa1
2887 
3095 1468 not 1 1 >sa0 >sa1
2895 
3096 1478 not 1 1 >sa0 >sa1
2840 
3097 1479 not 1 1 >sa0 >sa1
2848 
3098 1480 not 1 1 >sa0 >sa1
2856 
3099 1481 not 1 1 >sa0 >sa1
2864 
3100 1482 not 1 1 >sa0 >sa1
2872 
3101 1483 not 1 1 >sa0 >sa1
2880 
3102 1484 not 1 1 >sa0 >sa1
2888 
3103 1485 not 1 1 >sa0 >sa1
2896 
3104 1495 not 1 1 >sa0 >sa1
2841 
3105 1496 not 1 1 >sa0 >sa1
2849 
3106 1497 not 1 1 >sa0 >sa1
2857 
3107 1498 not 1 1 >sa0 >sa1
2865 
3108 1499 not 1 1 >sa0 >sa1
2873 
3109 1500 not 1 1 >sa0 >sa1
2881 
3110 1501 not 1 1 >sa0 >sa1
2889 
3111 1502 not 1 1 >sa0 >sa1
2897 
3112 1877 buff 2 1 >sa0 >sa1
2908 
3335 1878 from 1877 >sa0 >sa1
3336 1879 from 1877 >sa0 >sa1
3115 1880 not 2 1 >sa0 >sa1
2909 
3337 1881 from 1880 >sa0 >sa1
3338 1882 from 1880 >sa0 >sa1
3118 1891 not 1 1 >sa0 >sa1
2652 
3119 1903 and 2 2 >sa0 >sa1
2768 1674 
3339 1904 from 1903 >sa0 >sa1
3340 1905 from 1903 >sa0 >sa1
3122 1927 buff 2 1 >sa0 >sa1
2910 
3341 1928 from 1927 >sa0 >sa1
3342 1929 from 1927 >sa0 >sa1
3125 1930 not 2 1 >sa0 >sa1
2911 
3343 1931 from 1930 >sa0 >sa1
3344 1932 from 1930 >sa0 >sa1
3128 1978 buff 2 1 >sa0 >sa1
2918 
3345 1979 from 1978 >sa0 >sa1
3346 1980 from 1978 >sa0 >sa1
3131 1981 not 2 1 >sa0 >sa1
2919 
3347 1982 from 1981 >sa0 >sa1
3348 1983 from 1981 >sa0 >sa1
3134 1992 not 1 1 >sa0 >sa1
2666 
3135 2028 buff 2 1 >sa0 >sa1
2926 
3349 2029 from 2028 >sa0 >sa1
3350 2030 from 2028 >sa0 >sa1
3138 2031 not 2 1 >sa0 >sa1
2927 
3351 2032 from 2031 >sa0 >sa1
3352 2033 from 2031 >sa0 >sa1
3141 2042 not 1 1 >sa0 >sa1
2677 
3142 2085 buff 2 1 >sa0 >sa1
2934 
3353 2086 from 2085 >sa0 >sa1
3354 2087 from 2085 >sa0 >sa1
3145 2088 not 2 1 >sa0 >sa1
2935 
3355 2089 from 2088 >sa0 >sa1
3356 2090 from 2088 >sa0 >sa1
3148 2099 not 1 1 >sa0 >sa1
2688 
3149 2111 and 2 2 >sa0 >sa1
2769 1678 
3357 2112 from 2111 >sa0 >sa1
3358 2113 from 2111 >sa0 >sa1
3152 2137 buff 2 1 >sa0 >sa1
2938 
3359 2138 from 2137 >sa0 >sa1
3360 2139 from 2137 >sa0 >sa1
3155 2140 not 2 1 >sa0 >sa1
2939 
3361 2141 from 2140 >sa0 >sa1
3362 2142 from 2140 >sa0 >sa1
3158 2190 buff 2 1 >sa0 >sa1
2948 
3363 2191 from 2190 >sa0 >sa1
3364 2192 from 2190 >sa0 >sa1
3161 2193 not 2 1 >sa0 >sa1
2949 
3365 2194 from 2193 >sa0 >sa1
3366 2195 from 2193 >sa0 >sa1
3164 2204 not 1 1 >sa0 >sa1
2706 
3165 2242 buff 2 1 >sa0 >sa1
2958 
3367 2243 from 2242 >sa0 >sa1
3368 2244 from 2242 >sa0 >sa1
3168 2245 not 2 1 >sa0 >sa1
2959 
3369 2246 from 2245 >sa0 >sa1
3370 2247 from 2245 >sa0 >sa1
3171 2256 not 1 1 >sa0 >sa1
2719 
3172 2320 and 1 2 >sa0 >sa1
2106 2904 
3175 2341 and 1 2 >sa0 >sa1
2108 2914 
3178 2354 and 1 2 >sa0 >sa1
2109 2922 
3181 2367 and 1 2 >sa0 >sa1
2110 2930 
3184 2383 and 1 2 >sa0 >sa1
2116 2944 
3187 2391 and 1 2 >sa0 >sa1
2117 2954 
3190 2474 not 1 1 >sa0 >sa1
2937 
3191 2475 not 1 1 >sa0 >sa1
2941 
3192 2476 not 1 1 >sa0 >sa1
2951 
3193 2477 not 1 1 >sa0 >sa1
2961 
3194 2482 and 1 5 >sa0 >sa1
2936 2940 2950 2960 1459 
3195 361 not 0 1 >sa0 >sa1
2962 
3196 568 not 1 1 >sa0 >sa1
2966 
3206 618 or 1 3 >sa0 >sa1
2980 2145 2347 
3207 1248 and 1 2 >sa0 >sa1
124 2984 
3208 1249 and 1 2 >sa0 >sa1
491 2985 
3209 1250 and 1 2 >sa0 >sa1
483 2986 
3210 1251 and 1 2 >sa0 >sa1
476 2987 
3211 1252 and 1 2 >sa0 >sa1
471 2988 
3212 1253 and 1 2 >sa0 >sa1
467 2989 
3213 1254 and 1 2 >sa0 >sa1
464 2990 
3214 1255 and 1 2 >sa0 >sa1
462 2991 
3215 1265 and 1 2 >sa0 >sa1
463 2992 
3216 1266 and 1 2 >sa0 >sa1
971 2993 
3217 1267 and 1 2 >sa0 >sa1
492 2994 
3218 1268 and 1 2 >sa0 >sa1
484 2995 
3219 1269 and 1 2 >sa0 >sa1
477 2996 
3220 1270 and 1 2 >sa0 >sa1
472 2997 
3221 1271 and 1 2 >sa0 >sa1
468 2998 
3222 1272 and 1 2 >sa0 >sa1
465 2999 
3223 1282 and 1 2 >sa0 >sa1
466 3000 
3224 1283 and 1 2 >sa0 >sa1
983 3001 
3225 1284 and 1 2 >sa0 >sa1
972 3002 
3226 1285 and 1 2 >sa0 >sa1
493 3003 
3227 1286 and 1 2 >sa0 >sa1
485 3004 
3228 1287 and 1 2 >sa0 >sa1
478 3005 
3229 1288 and 1 2 >sa0 >sa1
473 3006 
3230 1289 and 1 2 >sa0 >sa1
469 3007 
3231 1299 and 1 2 >sa0 >sa1
470 3008 
3232 1300 and 1 2 >sa0 >sa1
999 3009 
3233 1301 and 1 2 >sa0 >sa1
984 3010 
3234 1302 and 1 2 >sa0 >sa1
973 3011 
3235 1303 and 1 2 >sa0 >sa1
494 3012 
3236 1304 and 1 2 >sa0 >sa1
486 3013 
3237 1305 and 1 2 >sa0 >sa1
479 3014 
3238 1306 and 1 2 >sa0 >sa1
474 3015 
3239 1316 and 1 2 >sa0 >sa1
475 3016 
3240 1317 and 1 2 >sa0 >sa1
1011 3017 
3241 1318 and 1 2 >sa0 >sa1
1000 3018 
3242 1319 and 1 2 >sa0 >sa1
985 3019 
3243 1320 and 1 2 >sa0 >sa1
974 3020 
3244 1321 and 1 2 >sa0 >sa1
495 3021 
3245 1322 and 1 2 >sa0 >sa1
487 3022 
3246 1323 and 1 2 >sa0 >sa1
480 3023 
3247 1333 and 1 2 >sa0 >sa1
481 3024 
3248 1334 and 1 2 >sa0 >sa1
1019 3025 
3249 1335 and 1 2 >sa0 >sa1
1012 3026 
3250 1336 and 1 2 >sa0 >sa1
1001 3027 
3251 1337 and 1 2 >sa0 >sa1
986 3028 
3252 1338 and 1 2 >sa0 >sa1
975 3029 
3253 1339 and 1 2 >sa0 >sa1
496 3030 
3254 1340 and 1 2 >sa0 >sa1
488 3031 
3255 1350 and 1 2 >sa0 >sa1
489 3032 
3256 1351 and 1 2 >sa0 >sa1
1029 3033 
3257 1352 and 1 2 >sa0 >sa1
1020 3034 
3258 1353 and 1 2 >sa0 >sa1
1013 3035 
3259 1354 and 1 2 >sa0 >sa1
1002 3036 
3260 1355 and 1 2 >sa0 >sa1
987 3037 
3261 1356 and 1 2 >sa0 >sa1
976 3038 
3262 1357 and 1 2 >sa0 >sa1
497 3039 
3263 1367 and 1 2 >sa0 >sa1
498 3040 
3264 1368 and 1 2 >sa0 >sa1
1040 3041 
3265 1369 and 1 2 >sa0 >sa1
1030 3042 
3266 1370 and 1 2 >sa0 >sa1
1021 3043 
3267 1371 and 1 2 >sa0 >sa1
1014 3044 
3268 1372 and 1 2 >sa0 >sa1
1003 3045 
3269 1373 and 1 2 >sa0 >sa1
988 3046 
3270 1374 and 1 2 >sa0 >sa1
977 3047 
3271 1384 and 1 2 >sa0 >sa1
598 3048 
3272 1385 and 1 2 >sa0 >sa1
989 3049 
3273 1386 and 1 2 >sa0 >sa1
1004 3050 
3274 1387 and 1 2 >sa0 >sa1
1015 3051 
3275 1388 and 1 2 >sa0 >sa1
1022 3052 
3276 1389 and 1 2 >sa0 >sa1
1031 3053 
3277 1390 and 1 2 >sa0 >sa1
1041 3054 
3278 1391 and 1 2 >sa0 >sa1
1052 3055 
3279 1401 and 1 2 >sa0 >sa1
607 3056 
3280 1402 and 1 2 >sa0 >sa1
1005 3057 
3281 1403 and 1 2 >sa0 >sa1
1016 3058 
3282 1404 and 1 2 >sa0 >sa1
1023 3059 
3283 1405 and 1 2 >sa0 >sa1
1032 3060 
3284 1406 and 1 2 >sa0 >sa1
1042 3061 
3285 1407 and 1 2 >sa0 >sa1
1053 3062 
3286 1408 and 1 2 >sa0 >sa1
599 3063 
3287 1418 and 1 2 >sa0 >sa1
615 3064 
3288 1419 and 1 2 >sa0 >sa1
1017 3065 
3289 1420 and 1 2 >sa0 >sa1
1024 3066 
3290 1421 and 1 2 >sa0 >sa1
1033 3067 
3291 1422 and 1 2 >sa0 >sa1
1043 3068 
3292 1423 and 1 2 >sa0 >sa1
1054 3069 
3293 1424 and 1 2 >sa0 >sa1
600 3070 
3294 1425 and 1 2 >sa0 >sa1
608 3071 
3295 1435 and 1 2 >sa0 >sa1
622 3072 
3296 1436 and 1 2 >sa0 >sa1
1025 3073 
3297 1437 and 1 2 >sa0 >sa1
1034 3074 
3298 1438 and 1 2 >sa0 >sa1
1044 3075 
3299 1439 and 1 2 >sa0 >sa1
1055 3076 
3300 1440 and 1 2 >sa0 >sa1
601 3077 
3301 1441 and 1 2 >sa0 >sa1
609 3078 
3302 1442 and 1 2 >sa0 >sa1
616 3079 
3303 1452 and 1 2 >sa0 >sa1
627 3080 
3304 1453 and 1 2 >sa0 >sa1
1035 3081 
3305 1454 and 1 2 >sa0 >sa1
1045 3082 
3306 1455 and 1 2 >sa0 >sa1
1056 3083 
3307 1456 and 1 2 >sa0 >sa1
602 3084 
3308 1457 and 1 2 >sa0 >sa1
610 3085 
3309 1458 and 1 2 >sa0 >sa1
617 3086 
3310 1459 and 1 2 >sa0 >sa1
623 3087 
3311 1469 and 1 2 >sa0 >sa1
631 3088 
3312 1470 and 1 2 >sa0 >sa1
1046 3089 
3313 1471 and 1 2 >sa0 >sa1
1057 3090 
3314 1472 and 1 2 >sa0 >sa1
603 3091 
3315 1473 and 1 2 >sa0 >sa1
611 3092 
3316 1474 and 1 2 >sa0 >sa1
618 3093 
3317 1475 and 1 2 >sa0 >sa1
624 3094 
3318 1476 and 1 2 >sa0 >sa1
628 3095 
3319 1486 and 1 2 >sa0 >sa1
634 3096 
3320 1487 and 1 2 >sa0 >sa1
1058 3097 
3321 1488 and 1 2 >sa0 >sa1
604 3098 
3322 1489 and 1 2 >sa0 >sa1
612 3099 
3323 1490 and 1 2 >sa0 >sa1
619 3100 
3324 1491 and 1 2 >sa0 >sa1
625 3101 
3325 1492 and 1 2 >sa0 >sa1
629 3102 
3326 1493 and 1 2 >sa0 >sa1
632 3103 
3327 1503 and 1 2 >sa0 >sa1
329 3104 
3328 1504 and 1 2 >sa0 >sa1
605 3105 
3329 1505 and 1 2 >sa0 >sa1
613 3106 
3330 1506 and 1 2 >sa0 >sa1
620 3107 
3331 1507 and 1 2 >sa0 >sa1
626 3108 
3332 1508 and 1 2 >sa0 >sa1
630 3109 
3333 1509 and 1 2 >sa0 >sa1
633 3110 
3334 1510 and 1 2 >sa0 >sa1
635 3111 
3383 2483 and 1 5 >sa0 >sa1
3190 3191 3192 3193 1225 
3384 600 buff 1 1 >sa0 >sa1
3204 
3387 661 and 1 2 >sa0 >sa1
3196 1736 
3388 669 and 1 2 >sa0 >sa1
3205 2149 
3389 679 and 1 2 >sa0 >sa1
3203 1737 
3390 1256 nor 1 8 >sa0 >sa1
3207 3208 3209 3210 3211 3212 3213 3214 
3391 1273 nor 1 8 >sa0 >sa1
3215 3216 3217 3218 3219 3220 3221 3222 
3392 1290 nor 1 8 >sa0 >sa1
3223 3224 3225 3226 3227 3228 3229 3230 
3393 1307 nor 1 8 >sa0 >sa1
3231 3232 3233 3234 3235 3236 3237 3238 
3394 1324 nor 1 8 >sa0 >sa1
3239 3240 3241 3242 3243 3244 3245 3246 
3395 1341 nor 1 8 >sa0 >sa1
3247 3248 3249 3250 3251 3252 3253 3254 
3396 1358 nor 1 8 >sa0 >sa1
3255 3256 3257 3258 3259 3260 3261 3262 
3397 1375 nor 1 8 >sa0 >sa1
3263 3264 3265 3266 3267 3268 3269 3270 
3398 1392 nor 1 8 >sa0 >sa1
3271 3272 3273 3274 3275 3276 3277 3278 
3399 1409 nor 1 8 >sa0 >sa1
3279 3280 3281 3282 3283 3284 3285 3286 
3400 1426 nor 1 8 >sa0 >sa1
3287 3288 3289 3290 3291 3292 3293 3294 
3401 1443 nor 1 8 >sa0 >sa1
3295 3296 3297 3298 3299 3300 3301 3302 
3402 1460 nor 1 8 >sa0 >sa1
3303 3304 3305 3306 3307 3308 3309 3310 
3403 1477 nor 1 8 >sa0 >sa1
3311 3312 3313 3314 3315 3316 3317 3318 
3404 1494 nor 1 8 >sa0 >sa1
3319 3320 3321 3322 3323 3324 3325 3326 
3405 1511 nor 1 8 >sa0 >sa1
3327 3328 3329 3330 3331 3332 3333 3334 
3406 1652 and 1 2 >sa0 >sa1
3206 2641 
3407 1883 and 2 3 >sa0 >sa1
500 2902 3335 
3553 1884 from 1883 >sa0 >sa1
3554 1885 from 1883 >sa0 >sa1
3410 1886 and 2 3 >sa0 >sa1
509 2903 3337 
3555 1887 from 1886 >sa0 >sa1
3556 1888 from 1886 >sa0 >sa1
3413 1889 and 1 2 >sa0 >sa1
519 3338 
3414 1890 and 1 2 >sa0 >sa1
531 3336 
3415 1912 or 3 3 >sa0 >sa1
3339 2071 2275 
3558 1913 from 1912 >sa0 >sa1
3559 1914 from 1912 >sa0 >sa1
3560 1915 from 1912 >sa0 >sa1
3419 1916 nor 1 3 >sa0 >sa1
3340 2072 2276 
3423 1984 and 2 3 >sa0 >sa1
502 2912 3345 
3564 1985 from 1984 >sa0 >sa1
3565 1986 from 1984 >sa0 >sa1
3426 1987 and 2 3 >sa0 >sa1
511 2913 3347 
3566 1988 from 1987 >sa0 >sa1
3567 1989 from 1987 >sa0 >sa1
3429 1990 and 1 2 >sa0 >sa1
521 3348 
3430 1991 and 1 2 >sa0 >sa1
533 3346 
3431 2034 and 2 3 >sa0 >sa1
503 2920 3349 
3569 2035 from 2034 >sa0 >sa1
3570 2036 from 2034 >sa0 >sa1
3434 2037 and 2 3 >sa0 >sa1
512 2921 3351 
3571 2038 from 2037 >sa0 >sa1
3572 2039 from 2037 >sa0 >sa1
3437 2040 and 1 2 >sa0 >sa1
522 3352 
3438 2041 and 1 2 >sa0 >sa1
534 3350 
3439 2091 and 2 3 >sa0 >sa1
504 2928 3353 
3574 2092 from 2091 >sa0 >sa1
3575 2093 from 2091 >sa0 >sa1
3442 2094 and 2 3 >sa0 >sa1
513 2929 3355 
3576 2095 from 2094 >sa0 >sa1
3577 2096 from 2094 >sa0 >sa1
3445 2097 and 1 2 >sa0 >sa1
523 3356 
3446 2098 and 1 2 >sa0 >sa1
535 3354 
3447 2120 or 3 3 >sa0 >sa1
3357 2091 2292 
3579 2121 from 2120 >sa0 >sa1
3580 2122 from 2120 >sa0 >sa1
3581 2123 from 2120 >sa0 >sa1
3451 2124 nor 1 3 >sa0 >sa1
3358 2092 2293 
3455 2196 and 2 3 >sa0 >sa1
506 2942 3363 
3585 2197 from 2196 >sa0 >sa1
3586 2198 from 2196 >sa0 >sa1
3458 2199 and 2 3 >sa0 >sa1
515 2943 3365 
3587 2200 from 2199 >sa0 >sa1
3588 2201 from 2199 >sa0 >sa1
3461 2202 and 1 2 >sa0 >sa1
525 3366 
3462 2203 and 1 2 >sa0 >sa1
537 3364 
3463 2248 and 2 3 >sa0 >sa1
507 2952 3367 
3590 2249 from 2248 >sa0 >sa1
3591 2250 from 2248 >sa0 >sa1
3466 2251 and 2 3 >sa0 >sa1
516 2953 3369 
3592 2252 from 2251 >sa0 >sa1
3593 2253 from 2251 >sa0 >sa1
3469 2254 and 1 2 >sa0 >sa1
526 3370 
3470 2255 and 1 2 >sa0 >sa1
538 3368 
3471 2484 or 1 2 >sa0 >sa1
3194 3383 
3472 2991 buff 1 1 >sa0 >sa1
3197 
3475 2994 buff 1 1 >sa0 >sa1
3199 
3478 2999 buff 1 1 >sa0 >sa1
3198 
3481 3002 buff 1 1 >sa0 >sa1
3200 
3484 3063 buff 2 1 >sa0 >sa1
3201 
3531 3065 from 3063 >sa0 >sa1
3610 3064 from 3063 >sa0 >sa1
3490 3124 buff 2 1 >sa0 >sa1
3172 
3612 3125 from 3124 >sa0 >sa1
3613 3126 from 3124 >sa0 >sa1
3496 3158 buff 2 1 >sa0 >sa1
3175 
3596 3159 from 3158 >sa0 >sa1
3615 3160 from 3158 >sa0 >sa1
3502 3174 buff 2 1 >sa0 >sa1
3178 
3598 3175 from 3174 >sa0 >sa1
3617 3176 from 3174 >sa0 >sa1
3508 3190 buff 2 1 >sa0 >sa1
3181 
3619 3191 from 3190 >sa0 >sa1
3620 3192 from 3190 >sa0 >sa1
3514 3224 buff 2 1 >sa0 >sa1
3184 
3604 3225 from 3224 >sa0 >sa1
3622 3226 from 3224 >sa0 >sa1
3520 3240 buff 2 1 >sa0 >sa1
3187 
3602 3241 from 3240 >sa0 >sa1
3624 3242 from 3240 >sa0 >sa1
3534 663 nor 1 2 >sa0 >sa1
3387 2350 
3535 673 or 1 3 >sa0 >sa1
3388 2151 2351 
3536 681 nor 1 2 >sa0 >sa1
3389 1966 
3537 1536 and 1 2 >sa0 >sa1
3390 2209 
3538 1537 and 1 2 >sa0 >sa1
3398 2210 
3539 1582 and 1 2 >sa0 >sa1
3391 1842 
3540 1583 and 1 2 >sa0 >sa1
3399 1614 
3541 1586 and 1 2 >sa0 >sa1
3392 1843 
3542 1587 and 1 2 >sa0 >sa1
3400 1616 
3543 1590 and 1 2 >sa0 >sa1
3393 1844 
3544 1591 and 1 2 >sa0 >sa1
3401 1618 
3545 1594 and 1 2 >sa0 >sa1
3394 1845 
3546 1595 and 1 2 >sa0 >sa1
3402 1620 
3547 1598 and 1 2 >sa0 >sa1
3395 1846 
3548 1599 and 1 2 >sa0 >sa1
3403 1622 
3549 1602 and 1 2 >sa0 >sa1
3396 1847 
3550 1603 and 1 2 >sa0 >sa1
3404 1624 
3551 1606 and 1 2 >sa0 >sa1
3397 1848 
3552 1607 and 1 2 >sa0 >sa1
3405 1626 
3557 1894 or 1 3 >sa0 >sa1
3413 3414 3118 
3568 1997 or 1 3 >sa0 >sa1
3429 3430 3134 
3573 2047 or 1 3 >sa0 >sa1
3437 3438 3141 
3578 2102 or 1 3 >sa0 >sa1
3445 3446 3148 
3589 2209 or 1 3 >sa0 >sa1
3461 3462 3164 
3594 2261 or 1 3 >sa0 >sa1
3469 3470 3171 
3605 2489 and 1 2 >sa0 >sa1
3471 2728 
3629 3069 not 1 1 >sa0 >sa1
3610 
3630 2997 not 1 1 >sa0 >sa1
3472 
3631 2998 not 1 1 >sa0 >sa1
3475 
3632 689 and 1 2 >sa0 >sa1
3536 2152 
3633 700 and 1 2 >sa0 >sa1
3534 2155 
3634 1539 or 1 3 >sa0 >sa1
3537 3538 2398 
3635 1584 or 1 2 >sa0 >sa1
3539 3540 
3636 1588 or 1 2 >sa0 >sa1
3541 3542 
3637 1592 or 1 2 >sa0 >sa1
3543 3544 
3638 1596 or 1 2 >sa0 >sa1
3545 3546 
3639 1600 or 1 2 >sa0 >sa1
3547 3548 
3640 1604 or 1 2 >sa0 >sa1
3549 3550 
3641 1608 or 1 2 >sa0 >sa1
3551 3552 
3642 1661 and 1 2 >sa0 >sa1
3535 2643 
3643 1892 or 1 2 >sa0 >sa1
3553 3555 
3644 1893 nor 1 2 >sa0 >sa1
3554 3556 
3645 1933 and 2 3 >sa0 >sa1
501 3558 3341 
3727 1934 from 1933 >sa0 >sa1
3728 1935 from 1933 >sa0 >sa1
3648 1936 and 2 3 >sa0 >sa1
510 3559 3343 
3729 1937 from 1936 >sa0 >sa1
3730 1938 from 1936 >sa0 >sa1
3651 1939 and 1 2 >sa0 >sa1
520 3344 
3652 1940 and 1 2 >sa0 >sa1
532 3342 
3653 1941 not 1 1 >sa0 >sa1
3419 
3654 1993 or 2 2 >sa0 >sa1
3564 3566 
3732 1994 from 1993 >sa0 >sa1
3733 1995 from 1993 >sa0 >sa1
3657 1996 nor 1 2 >sa0 >sa1
3565 3567 
3658 2043 or 2 2 >sa0 >sa1
3569 3571 
3738 2044 from 2043 >sa0 >sa1
3739 2045 from 2043 >sa0 >sa1
3661 2046 nor 1 2 >sa0 >sa1
3570 3572 
3662 2100 or 1 2 >sa0 >sa1
3574 3576 
3663 2101 nor 1 2 >sa0 >sa1
3575 3577 
3664 2143 and 2 3 >sa0 >sa1
505 3579 3359 
3749 2144 from 2143 >sa0 >sa1
3750 2145 from 2143 >sa0 >sa1
3667 2146 and 2 3 >sa0 >sa1
514 3580 3361 
3751 2147 from 2146 >sa0 >sa1
3752 2148 from 2146 >sa0 >sa1
3670 2149 and 1 2 >sa0 >sa1
524 3362 
3671 2150 and 1 2 >sa0 >sa1
536 3360 
3672 2151 not 1 1 >sa0 >sa1
3451 
3673 2205 or 2 2 >sa0 >sa1
3585 3587 
3754 2206 from 2205 >sa0 >sa1
3755 2207 from 2205 >sa0 >sa1
3676 2208 nor 1 2 >sa0 >sa1
3586 3588 
3677 2257 or 2 2 >sa0 >sa1
3590 3592 
3760 2258 from 2257 >sa0 >sa1
3761 2259 from 2257 >sa0 >sa1
3680 2260 nor 1 2 >sa0 >sa1
3591 3593 
3682 2328 and 1 2 >sa0 >sa1
2107 3560 
3685 3162 not 1 1 >sa0 >sa1
3615 
3687 3178 not 1 1 >sa0 >sa1
3617 
3690 2375 and 1 2 >sa0 >sa1
2115 3581 
3694 3244 not 1 1 >sa0 >sa1
3624 
3696 3228 not 1 1 >sa0 >sa1
3622 
3697 3066 buff 2 1 >sa0 >sa1
3384 
3710 3067 from 3066 >sa0 >sa1
3771 3068 from 3066 >sa0 >sa1
3703 3128 not 1 1 >sa0 >sa1
3613 
3704 3194 not 1 1 >sa0 >sa1
3620 
3705 619 not 1 1 >sa0 >sa1
3630 
3706 620 not 1 1 >sa0 >sa1
3631 
3707 582 not 1 1 >sa0 >sa1
3481 
3708 583 not 1 1 >sa0 >sa1
3478 
3711 692 or 1 3 >sa0 >sa1
3632 2352 2353 
3712 703 or 1 3 >sa0 >sa1
3633 2354 2355 
3713 1612 and 1 2 >sa0 >sa1
3634 2632 
3714 1621 and 1 2 >sa0 >sa1
3635 2634 
3715 1630 and 1 2 >sa0 >sa1
3636 2636 
3716 1639 and 1 2 >sa0 >sa1
3637 2638 
3717 1648 and 1 2 >sa0 >sa1
3638 2640 
3718 1657 and 1 2 >sa0 >sa1
3639 2642 
3719 1666 and 1 2 >sa0 >sa1
3640 2644 
3720 1675 and 1 2 >sa0 >sa1
3641 2646 
3721 1895 and 5 2 >sa0 >sa1
3644 3557 
3781 1896 from 1895 >sa0 >sa1
3782 1897 from 1895 >sa0 >sa1
3783 1898 from 1895 >sa0 >sa1
3784 1899 from 1895 >sa0 >sa1
3785 1900 from 1895 >sa0 >sa1
3731 1946 or 1 3 >sa0 >sa1
3651 3652 3653 
3734 1998 and 3 2 >sa0 >sa1
3657 3568 
3790 1999 from 1998 >sa0 >sa1
3791 2000 from 1998 >sa0 >sa1
3792 2001 from 1998 >sa0 >sa1
3740 2048 and 2 2 >sa0 >sa1
3661 3573 
3793 2049 from 2048 >sa0 >sa1
3794 2050 from 2048 >sa0 >sa1
3743 2103 and 5 2 >sa0 >sa1
3663 3578 
3795 2104 from 2103 >sa0 >sa1
3796 2105 from 2103 >sa0 >sa1
3797 2106 from 2103 >sa0 >sa1
3798 2107 from 2103 >sa0 >sa1
3799 2108 from 2103 >sa0 >sa1
3753 2156 or 1 3 >sa0 >sa1
3670 3671 3672 
3756 2210 and 3 2 >sa0 >sa1
3676 3589 
3804 2211 from 2210 >sa0 >sa1
3805 2212 from 2210 >sa0 >sa1
3806 2213 from 2210 >sa0 >sa1
3762 2262 and 2 2 >sa0 >sa1
3680 3594 
3807 2263 from 2262 >sa0 >sa1
3808 2264 from 2262 >sa0 >sa1
3765 2271 not 1 1 >sa0 >sa1
3643 
3766 2311 not 1 1 >sa0 >sa1
3662 
3773 356 nand 1 2 >sa0 >sa1
3705 3706 
3774 357 nand 1 2 >sa0 >sa1
3707 3708 
3777 606 nand 1 2 >sa0 >sa1
3710 3629 
3778 3070 not 1 1 >sa0 >sa1
3771 
3779 1670 and 1 2 >sa0 >sa1
3712 2645 
3780 1679 and 1 2 >sa0 >sa1
3711 2647 
3786 1942 or 2 2 >sa0 >sa1
3727 3729 
3836 1943 from 1942 >sa0 >sa1
3837 1944 from 1942 >sa0 >sa1
3789 1945 nor 1 2 >sa0 >sa1
3728 3730 
3800 2152 or 2 2 >sa0 >sa1
3749 3751 
3843 2153 from 2152 >sa0 >sa1
3844 2154 from 2152 >sa0 >sa1
3803 2155 nor 1 2 >sa0 >sa1
3750 3752 
3809 2445 and 2 2 >sa0 >sa1
3733 2111 
3872 2446 from 2445 >sa0 >sa1
3873 2447 from 2445 >sa0 >sa1
3812 2448 and 2 2 >sa0 >sa1
3739 2112 
3874 2449 from 2448 >sa0 >sa1
3875 2450 from 2448 >sa0 >sa1
3815 2455 and 2 2 >sa0 >sa1
3755 2118 
3876 2456 from 2455 >sa0 >sa1
3877 2457 from 2455 >sa0 >sa1
3818 2458 and 2 2 >sa0 >sa1
3761 2119 
3878 2459 from 2458 >sa0 >sa1
3879 2460 from 2458 >sa0 >sa1
3821 3142 buff 2 1 >sa0 >sa1
3682 
3853 3143 from 3142 >sa0 >sa1
3880 3144 from 3142 >sa0 >sa1
3827 3208 buff 2 1 >sa0 >sa1
3690 
3871 3209 from 3208 >sa0 >sa1
3882 3210 from 3208 >sa0 >sa1
3833 358 nand 0 2 >sa0 >sa1
3773 3774 
3835 607 nand 1 2 >sa0 >sa1
3531 3778 
3838 1947 and 4 2 >sa0 >sa1
3789 3731 
3886 1948 from 1947 >sa0 >sa1
3887 1949 from 1947 >sa0 >sa1
3888 1950 from 1947 >sa0 >sa1
3889 1951 from 1947 >sa0 >sa1
3845 2157 and 4 2 >sa0 >sa1
3803 3753 
3890 2158 from 2157 >sa0 >sa1
3891 2159 from 2157 >sa0 >sa1
3892 2160 from 2157 >sa0 >sa1
3893 2161 from 2157 >sa0 >sa1
3850 2317 buff 2 1 >sa0 >sa1
3785 
3896 2318 from 2317 >sa0 >sa1
3897 2319 from 2317 >sa0 >sa1
3855 2338 buff 2 1 >sa0 >sa1
3792 
3900 2339 from 2338 >sa0 >sa1
3901 2340 from 2338 >sa0 >sa1
3858 2351 buff 2 1 >sa0 >sa1
3794 
3902 2352 from 2351 >sa0 >sa1
3903 2353 from 2351 >sa0 >sa1
3861 2364 buff 2 1 >sa0 >sa1
3799 
3904 2365 from 2364 >sa0 >sa1
3905 2366 from 2364 >sa0 >sa1
3865 2380 buff 2 1 >sa0 >sa1
3806 
3907 2381 from 2380 >sa0 >sa1
3908 2382 from 2380 >sa0 >sa1
3868 2388 buff 2 1 >sa0 >sa1
3808 
3909 2389 from 2388 >sa0 >sa1
3910 2390 from 2388 >sa0 >sa1
3885 608 nand 1 2 >sa0 >sa1
3777 3835 
3894 2272 nand 1 2 >sa0 >sa1
3782 3836 
3895 2312 nand 1 2 >sa0 >sa1
3796 3843 
3898 3146 not 1 1 >sa0 >sa1
3880 
3911 3212 not 1 1 >sa0 >sa1
3882 
3912 2444 and 1 2 >sa0 >sa1
3837 1912 
3913 2451 buff 2 1 >sa0 >sa1
3874 
3943 2452 from 2451 >sa0 >sa1
3944 2453 from 2451 >sa0 >sa1
3916 2454 and 1 2 >sa0 >sa1
3844 2113 
3917 2461 buff 2 1 >sa0 >sa1
3878 
3945 2462 from 2461 >sa0 >sa1
3946 2463 from 2461 >sa0 >sa1
3920 2530 not 1 1 >sa0 >sa1
3873 
3921 3323 buff 2 1 >sa0 >sa1
3879 
3949 3325 from 3323 >sa0 >sa1
3986 3324 from 3323 >sa0 >sa1
3925 350 not 1 1 >sa0 >sa1
3885 
3926 2265 and 3 4 >sa0 >sa1
3781 3886 3790 3793 
3989 371 from 2265 >sa0 >sa1
3990 2266 from 2265 >sa0 >sa1
3991 2267 from 2265 >sa0 >sa1
3930 2273 nand 1 3 >sa0 >sa1
3783 3887 3732 
3931 2274 nand 1 4 >sa0 >sa1
3738 3888 3791 3784 
3932 2309 and 2 4 >sa0 >sa1
3795 3890 3804 3807 
3988 370 from 2309 >sa0 >sa1
3995 2310 from 2309 >sa0 >sa1
3935 2313 nand 1 3 >sa0 >sa1
3797 3891 3754 
3936 2314 nand 1 4 >sa0 >sa1
3760 3892 3805 3798 
3937 2325 buff 2 1 >sa0 >sa1
3889 
4000 2326 from 2325 >sa0 >sa1
4001 2327 from 2325 >sa0 >sa1
3940 2372 buff 2 1 >sa0 >sa1
3893 
4007 2373 from 2372 >sa0 >sa1
4008 2374 from 2372 >sa0 >sa1
3947 2523 not 1 1 >sa0 >sa1
3912 
3948 2533 not 1 1 >sa0 >sa1
3916 
3950 3121 buff 2 1 >sa0 >sa1
3896 
4014 3122 from 3121 >sa0 >sa1
4015 3123 from 3121 >sa0 >sa1
3953 3131 buff 1 1 >sa0 >sa1
3897 
3956 3155 buff 2 1 >sa0 >sa1
3900 
4002 3157 from 3155 >sa0 >sa1
4017 3156 from 3155 >sa0 >sa1
3959 3163 buff 1 1 >sa0 >sa1
3901 
3962 3171 buff 2 1 >sa0 >sa1
3902 
4004 3173 from 3171 >sa0 >sa1
4019 3172 from 3171 >sa0 >sa1
3965 3179 buff 1 1 >sa0 >sa1
3903 
3968 3187 buff 2 1 >sa0 >sa1
3904 
4021 3188 from 3187 >sa0 >sa1
4022 3189 from 3187 >sa0 >sa1
3971 3197 buff 1 1 >sa0 >sa1
3905 
3974 3221 buff 2 1 >sa0 >sa1
3907 
4012 3223 from 3221 >sa0 >sa1
4024 3222 from 3221 >sa0 >sa1
3977 3229 buff 1 1 >sa0 >sa1
3908 
3980 3237 buff 2 1 >sa0 >sa1
3909 
4010 3239 from 3237 >sa0 >sa1
4026 3238 from 3237 >sa0 >sa1
3983 3245 buff 1 1 >sa0 >sa1
3910 
3987 351 not 0 1 >sa0 >sa1
3925 
3992 2275 nand 2 4 >sa0 >sa1
3765 3894 3930 3931 
4038 2276 from 2275 >sa0 >sa1
4039 2277 from 2275 >sa0 >sa1
3996 2315 nand 2 4 >sa0 >sa1
3766 3895 3935 3936 
4040 2306 from 2315 >sa0 >sa1
4041 2316 from 2315 >sa0 >sa1
4013 3329 not 1 1 >sa0 >sa1
3986 
4028 372 and 0 2 >sa0 >sa1
3988 3989 
4029 2324 not 1 1 >sa0 >sa1
3953 
4030 2350 not 1 1 >sa0 >sa1
3959 
4031 2363 not 1 1 >sa0 >sa1
3965 
4032 2371 not 1 1 >sa0 >sa1
3971 
4033 2387 not 1 1 >sa0 >sa1
3977 
4034 2400 not 1 1 >sa0 >sa1
3983 
4035 2268 buff 2 1 >sa0 >sa1
3990 
4081 2269 from 2268 >sa0 >sa1
4082 2270 from 2268 >sa0 >sa1
4043 3161 not 1 1 >sa0 >sa1
4017 
4044 2345 nand 1 2 >sa0 >sa1
4002 3685 
4046 3177 not 1 1 >sa0 >sa1
4019 
4047 2358 nand 1 2 >sa0 >sa1
4004 3687 
4051 3243 not 1 1 >sa0 >sa1
4026 
4052 2395 nand 1 2 >sa0 >sa1
4010 3694 
4054 3227 not 1 1 >sa0 >sa1
4024 
4055 2432 nand 1 2 >sa0 >sa1
4012 3696 
4056 2490 and 1 2 >sa0 >sa1
3995 2452 
4057 3127 not 1 1 >sa0 >sa1
4014 
4058 3130 nand 1 2 >sa0 >sa1
4015 3703 
4059 3139 buff 2 1 >sa0 >sa1
4000 
4083 3141 from 3139 >sa0 >sa1
4099 3140 from 3139 >sa0 >sa1
4062 3147 buff 1 1 >sa0 >sa1
4001 
4065 3193 not 1 1 >sa0 >sa1
4021 
4066 3196 nand 1 2 >sa0 >sa1
4022 3704 
4067 3205 buff 2 1 >sa0 >sa1
4007 
4089 3207 from 3205 >sa0 >sa1
4102 3206 from 3205 >sa0 >sa1
4070 3213 buff 1 1 >sa0 >sa1
4008 
4073 2307 nand 1 2 >sa0 >sa1
3991 4040 
4074 2308 not 1 1 >sa0 >sa1
4038 
4085 2344 nand 1 2 >sa0 >sa1
3596 4043 
4086 2357 nand 1 2 >sa0 >sa1
3598 4046 
4088 2394 nand 1 2 >sa0 >sa1
3602 4051 
4090 2431 nand 1 2 >sa0 >sa1
3604 4054 
4091 2464 and 2 2 >sa0 >sa1
4041 2120 
4134 2465 from 2464 >sa0 >sa1
4135 2466 from 2464 >sa0 >sa1
4094 2491 or 3 2 >sa0 >sa1
3605 4056 
4136 2492 from 2491 >sa0 >sa1
4137 2493 from 2491 >sa0 >sa1
4138 2494 from 2491 >sa0 >sa1
4098 3129 nand 1 2 >sa0 >sa1
3612 4057 
4101 3195 nand 1 2 >sa0 >sa1
3619 4065 
4104 368 and 1 2 >sa0 >sa1
4073 4074 
4105 1615 not 1 1 >sa0 >sa1
4029 
4106 2337 not 1 1 >sa0 >sa1
4062 
4107 1633 not 1 1 >sa0 >sa1
4030 
4108 1642 not 1 1 >sa0 >sa1
4031 
4109 1651 not 1 1 >sa0 >sa1
4032 
4110 2379 not 1 1 >sa0 >sa1
4070 
4111 1669 not 1 1 >sa0 >sa1
4033 
4112 1678 not 1 1 >sa0 >sa1
4034 
4113 3145 not 1 1 >sa0 >sa1
4099 
4114 2332 nand 1 2 >sa0 >sa1
4083 3898 
4116 2346 nand 2 2 >sa0 >sa1
4085 4044 
4155 2347 from 2346 >sa0 >sa1
4156 2348 from 2346 >sa0 >sa1
4119 2359 nand 2 2 >sa0 >sa1
4086 4047 
4157 2360 from 2359 >sa0 >sa1
4158 2361 from 2359 >sa0 >sa1
4123 2396 nand 2 2 >sa0 >sa1
4088 4052 
4159 2397 from 2396 >sa0 >sa1
4160 2398 from 2396 >sa0 >sa1
4126 3211 not 1 1 >sa0 >sa1
4102 
4127 2425 nand 1 2 >sa0 >sa1
4089 3911 
4128 2433 nand 5 2 >sa0 >sa1
4090 4055 
4162 2434 from 2433 >sa0 >sa1
4163 2435 from 2433 >sa0 >sa1
4164 2436 from 2433 >sa0 >sa1
4165 2437 from 2433 >sa0 >sa1
4166 2438 from 2433 >sa0 >sa1
4139 3272 nand 2 2 >sa0 >sa1
4098 4058 
4179 3273 from 3272 >sa0 >sa1
4181 3274 from 3272 >sa0 >sa1
4142 3308 nand 2 2 >sa0 >sa1
4101 4066 
4180 3309 from 3308 >sa0 >sa1
4185 3310 from 3308 >sa0 >sa1
4145 369 not 0 1 >sa0 >sa1
4104 
4146 1613 not 1 1 >sa0 >sa1
4105 
4148 1631 not 1 1 >sa0 >sa1
4107 
4149 1640 not 1 1 >sa0 >sa1
4108 
4150 1649 not 1 1 >sa0 >sa1
4109 
4152 1667 not 1 1 >sa0 >sa1
4111 
4153 1676 not 1 1 >sa0 >sa1
4112 
4154 2331 nand 1 2 >sa0 >sa1
3853 4113 
4161 2424 nand 1 2 >sa0 >sa1
3871 4126 
4167 2467 buff 5 1 >sa0 >sa1
4134 
4228 2468 from 2467 >sa0 >sa1
4229 2469 from 2467 >sa0 >sa1
4230 2470 from 2467 >sa0 >sa1
4231 2471 from 2467 >sa0 >sa1
4233 2473 from 2467 >sa0 >sa1
4174 2495 buff 4 1 >sa0 >sa1
4136 
4234 2496 from 2495 >sa0 >sa1
4235 2497 from 2495 >sa0 >sa1
4236 2498 from 2495 >sa0 >sa1
4237 2499 from 2495 >sa0 >sa1
4182 3295 buff 2 1 >sa0 >sa1
4135 
4245 3296 from 3295 >sa0 >sa1
4246 3297 from 3295 >sa0 >sa1
4186 3374 and 2 2 >sa0 >sa1
640 4137 
4240 3375 from 3374 >sa0 >sa1
4250 3376 from 3374 >sa0 >sa1
4189 1614 and 1 2 >sa0 >sa1
4146 2230 
4190 1624 not 1 1 >sa0 >sa1
4106 
4191 1632 and 1 2 >sa0 >sa1
4148 2232 
4192 1641 and 1 2 >sa0 >sa1
4149 2233 
4193 1650 and 1 2 >sa0 >sa1
4150 2234 
4194 1660 not 1 1 >sa0 >sa1
4110 
4195 1668 and 1 2 >sa0 >sa1
4152 2236 
4196 1677 and 1 2 >sa0 >sa1
4153 2237 
4197 2333 nand 2 2 >sa0 >sa1
4154 4114 
4259 2334 from 2333 >sa0 >sa1
4260 2335 from 2333 >sa0 >sa1
4200 2406 buff 2 1 >sa0 >sa1
4155 
4261 2407 from 2406 >sa0 >sa1
4262 2408 from 2406 >sa0 >sa1
4203 2409 buff 5 1 >sa0 >sa1
4156 
4263 2410 from 2409 >sa0 >sa1
4264 2411 from 2409 >sa0 >sa1
4265 2412 from 2409 >sa0 >sa1
4266 2413 from 2409 >sa0 >sa1
4267 2414 from 2409 >sa0 >sa1
4209 2415 buff 3 1 >sa0 >sa1
4157 
4268 2416 from 2415 >sa0 >sa1
4269 2417 from 2415 >sa0 >sa1
4270 2418 from 2415 >sa0 >sa1
4213 2419 buff 4 1 >sa0 >sa1
4158 
4271 2420 from 2419 >sa0 >sa1
4272 2421 from 2419 >sa0 >sa1
4273 2422 from 2419 >sa0 >sa1
4274 2423 from 2419 >sa0 >sa1
4218 2426 nand 4 2 >sa0 >sa1
4161 4127 
4275 2427 from 2426 >sa0 >sa1
4276 2428 from 2426 >sa0 >sa1
4277 2429 from 2426 >sa0 >sa1
4278 2430 from 2426 >sa0 >sa1
4223 2439 buff 3 1 >sa0 >sa1
4159 
4279 2440 from 2439 >sa0 >sa1
4280 2441 from 2439 >sa0 >sa1
4282 2443 from 2439 >sa0 >sa1
4238 2518 and 1 2 >sa0 >sa1
4164 3945 
4239 3276 not 1 1 >sa0 >sa1
4181 
4241 3312 not 1 1 >sa0 >sa1
4185 
4242 2612 and 2 2 >sa0 >sa1
643 4160 
4293 2613 from 2612 >sa0 >sa1
4294 2614 from 2612 >sa0 >sa1
4247 3326 buff 2 1 >sa0 >sa1
4166 
4292 3327 from 3326 >sa0 >sa1
4300 3328 from 3326 >sa0 >sa1
4251 1617 nor 1 3 >sa0 >sa1
3713 4189 2898 
4252 1622 not 1 1 >sa0 >sa1
4190 
4253 1635 nor 1 3 >sa0 >sa1
3715 4191 2900 
4254 1644 nor 1 3 >sa0 >sa1
3716 4192 2901 
4255 1653 nor 1 3 >sa0 >sa1
3717 4193 3406 
4256 1658 not 1 1 >sa0 >sa1
4194 
4257 1671 nor 1 3 >sa0 >sa1
3719 4195 3779 
4258 1680 nor 1 3 >sa0 >sa1
3720 4196 3780 
4283 2500 and 1 2 >sa0 >sa1
4228 4081 
4284 2505 and 2 2 >sa0 >sa1
4234 4082 
4314 2506 from 2505 >sa0 >sa1
4315 2507 from 2505 >sa0 >sa1
4287 2519 or 2 2 >sa0 >sa1
3877 4238 
4323 2520 from 2519 >sa0 >sa1
4324 2521 from 2519 >sa0 >sa1
4291 3378 not 1 1 >sa0 >sa1
4250 
4296 2645 buff 2 1 >sa0 >sa1
4233 
4302 937 from 2645 >sa0 >sa1
4334 2646 from 2645 >sa0 >sa1
4299 3301 not 1 1 >sa0 >sa1
4245 
4303 1623 and 1 2 >sa0 >sa1
4252 2231 
4304 1659 and 1 2 >sa0 >sa1
4256 2235 
4305 2401 buff 4 1 >sa0 >sa1
4260 
4378 2402 from 2401 >sa0 >sa1
4379 2403 from 2401 >sa0 >sa1
4380 2404 from 2401 >sa0 >sa1
4381 2405 from 2401 >sa0 >sa1
4310 2501 or 2 2 >sa0 >sa1
4039 4283 
4382 2502 from 2501 >sa0 >sa1
4383 2503 from 2501 >sa0 >sa1
4316 2511 and 1 3 >sa0 >sa1
4236 4272 4264 
4317 2512 and 1 2 >sa0 >sa1
4237 4268 
4318 2513 and 1 3 >sa0 >sa1
4279 4162 4275 
4319 2514 and 2 2 >sa0 >sa1
4280 4163 
4374 2516 from 2514 >sa0 >sa1
4385 2515 from 2514 >sa0 >sa1
4322 2517 and 1 2 >sa0 >sa1
4229 4269 
4325 2531 nand 1 2 >sa0 >sa1
4265 3944 
4326 2532 nand 1 3 >sa0 >sa1
4266 4274 4231 
4327 2534 nand 1 2 >sa0 >sa1
4276 3876 
4328 2535 nand 1 3 >sa0 >sa1
4277 4165 3946 
4329 2607 nand 1 2 >sa0 >sa1
4292 4013 
4330 3330 not 1 1 >sa0 >sa1
4300 
4331 2643 and 2 2 >sa0 >sa1
646 4138 
4375 936 from 2643 >sa0 >sa1
4397 2644 from 2643 >sa0 >sa1
4335 2687 and 2 2 >sa0 >sa1
4251 2730 
4401 2688 from 2687 >sa0 >sa1
4402 2689 from 2687 >sa0 >sa1
4338 2725 and 2 2 >sa0 >sa1
4253 2734 
4403 2726 from 2725 >sa0 >sa1
4404 2727 from 2725 >sa0 >sa1
4341 2742 and 2 2 >sa0 >sa1
4254 2736 
4405 2743 from 2742 >sa0 >sa1
4406 2744 from 2742 >sa0 >sa1
4344 2760 and 2 2 >sa0 >sa1
4255 2738 
4407 2761 from 2760 >sa0 >sa1
4408 2762 from 2760 >sa0 >sa1
4347 2794 and 2 2 >sa0 >sa1
4257 2742 
4409 2795 from 2794 >sa0 >sa1
4410 2796 from 2794 >sa0 >sa1
4350 2811 and 2 2 >sa0 >sa1
4258 2744 
4411 2812 from 2811 >sa0 >sa1
4412 2813 from 2811 >sa0 >sa1
4353 3280 buff 2 1 >sa0 >sa1
4259 
4419 3281 from 3280 >sa0 >sa1
4420 3282 from 3280 >sa0 >sa1
4356 3290 buff 2 1 >sa0 >sa1
4267 
4386 3291 from 3290 >sa0 >sa1
4424 3292 from 3290 >sa0 >sa1
4359 3298 buff 2 1 >sa0 >sa1
4270 
4425 3299 from 3298 >sa0 >sa1
4426 3300 from 3298 >sa0 >sa1
4362 3316 buff 2 1 >sa0 >sa1
4278 
4433 3317 from 3316 >sa0 >sa1
4434 3318 from 3316 >sa0 >sa1
4365 3406 buff 2 1 >sa0 >sa1
4293 
4394 3407 from 3406 >sa0 >sa1
4438 3408 from 3406 >sa0 >sa1
4368 3414 buff 2 1 >sa0 >sa1
4294 
4395 3415 from 3414 >sa0 >sa1
4439 3416 from 3414 >sa0 >sa1
4371 3422 buff 1 1 >sa0 >sa1
4282 
4376 1626 nor 1 3 >sa0 >sa1
3714 4303 2899 
4377 1662 nor 1 3 >sa0 >sa1
3718 4304 3642 
4387 2567 and 2 2 >sa0 >sa1
639 4317 
4453 2568 from 2567 >sa0 >sa1
4454 2569 from 2567 >sa0 >sa1
4390 2589 and 2 2 >sa0 >sa1
641 4318 
4456 2590 from 2589 >sa0 >sa1
4457 2591 from 2589 >sa0 >sa1
4393 2608 nand 1 2 >sa0 >sa1
3949 4330 
4398 2654 buff 1 1 >sa0 >sa1
4324 
4413 3253 buff 2 1 >sa0 >sa1
4314 
4449 3255 from 3253 >sa0 >sa1
4478 3254 from 3253 >sa0 >sa1
4416 3277 nand 2 3 >sa0 >sa1
3920 4325 4326 
4482 3278 from 3277 >sa0 >sa1
4483 3279 from 3277 >sa0 >sa1
4421 3287 or 2 2 >sa0 >sa1
3875 4322 
4451 3289 from 3287 >sa0 >sa1
4485 3288 from 3287 >sa0 >sa1
4427 3305 nand 2 3 >sa0 >sa1
3948 4327 4328 
4455 3307 from 3305 >sa0 >sa1
4488 3306 from 3305 >sa0 >sa1
4430 3313 buff 2 1 >sa0 >sa1
4323 
4489 3314 from 3313 >sa0 >sa1
4490 3315 from 3313 >sa0 >sa1
4435 3350 and 2 2 >sa0 >sa1
638 4316 
4450 3351 from 3350 >sa0 >sa1
4492 3352 from 3350 >sa0 >sa1
4442 932 or 1 2 >sa0 >sa1
4375 4302 
4443 2508 and 2 4 >sa0 >sa1
4235 4378 4263 4271 
4501 2509 from 2508 >sa0 >sa1
4502 2510 from 2508 >sa0 >sa1
4446 2524 nand 1 2 >sa0 >sa1
4379 3872 
4447 2525 nand 1 3 >sa0 >sa1
4380 4261 3943 
4448 2526 nand 1 4 >sa0 >sa1
4381 4262 4273 4230 
4452 3294 not 1 1 >sa0 >sa1
4424 
4458 2609 nand 2 2 >sa0 >sa1
4329 4393 
4513 2610 from 2609 >sa0 >sa1
4514 2611 from 2609 >sa0 >sa1
4461 3410 not 1 1 >sa0 >sa1
4438 
4462 3418 not 1 1 >sa0 >sa1
4439 
4463 2624 not 1 1 >sa0 >sa1
1460 
4464 3426 not 1 1 >sa0 >sa1
4371 
4465 2629 buff 1 1 >sa0 >sa1
4383 
4468 2647 nor 2 2 >sa0 >sa1
4397 4334 
4518 2648 from 2647 >sa0 >sa1
4519 2649 from 2647 >sa0 >sa1
4472 2706 and 2 2 >sa0 >sa1
4376 2732 
4520 2707 from 2706 >sa0 >sa1
4521 2708 from 2706 >sa0 >sa1
4475 2777 and 2 2 >sa0 >sa1
4377 2740 
4522 2778 from 2777 >sa0 >sa1
4523 2779 from 2777 >sa0 >sa1
4479 3264 buff 2 1 >sa0 >sa1
4382 
4524 3265 from 3264 >sa0 >sa1
4525 3266 from 3264 >sa0 >sa1
4484 3284 not 1 1 >sa0 >sa1
4420 
4486 3302 not 1 1 >sa0 >sa1
4426 
4487 3303 nand 1 2 >sa0 >sa1
4425 4299 
4491 3320 not 1 1 >sa0 >sa1
4434 
4493 3398 and 2 2 >sa0 >sa1
642 4385 
4512 3399 from 3398 >sa0 >sa1
4543 3400 from 3398 >sa0 >sa1
4497 398 buff 1 1 >sa0 >sa1
4398 
4498 933 and 1 2 >sa0 >sa1
4442 1769 
4503 2527 nand 2 4 >sa0 >sa1
3947 4446 4447 4448 
4547 2528 from 2527 >sa0 >sa1
4548 2529 from 2527 >sa0 >sa1
4506 3259 not 1 1 >sa0 >sa1
4478 
4507 3354 not 1 1 >sa0 >sa1
4492 
4508 3293 not 1 1 >sa0 >sa1
4485 
4509 2563 nand 1 2 >sa0 >sa1
4451 4452 
4510 3311 not 1 1 >sa0 >sa1
4488 
4511 2585 nand 1 2 >sa0 >sa1
4455 4241 
4515 2625 not 1 1 >sa0 >sa1
4464 
4526 3283 not 1 1 >sa0 >sa1
4482 
4527 3286 nand 1 2 >sa0 >sa1
4483 4484 
4528 3304 nand 1 2 >sa0 >sa1
4246 4486 
4529 3319 not 1 1 >sa0 >sa1
4489 
4530 3322 nand 1 2 >sa0 >sa1
4490 4491 
4531 3358 buff 2 1 >sa0 >sa1
4453 
4553 3359 from 3358 >sa0 >sa1
4574 3360 from 3358 >sa0 >sa1
4534 3366 buff 2 1 >sa0 >sa1
4454 
4554 3367 from 3366 >sa0 >sa1
4575 3368 from 3366 >sa0 >sa1
4537 3382 buff 2 1 >sa0 >sa1
4456 
4556 3383 from 3382 >sa0 >sa1
4579 3384 from 3382 >sa0 >sa1
4540 3390 buff 2 1 >sa0 >sa1
4457 
4557 3391 from 3390 >sa0 >sa1
4580 3392 from 3390 >sa0 >sa1
4545 397 and 1 2 >sa0 >sa1
647 4374 
4549 2544 and 2 2 >sa0 >sa1
637 4502 
4591 2545 from 2544 >sa0 >sa1
4592 2546 from 2544 >sa0 >sa1
4552 2562 nand 1 2 >sa0 >sa1
4386 4508 
4555 2584 nand 1 2 >sa0 >sa1
4180 4510 
4558 3402 not 1 1 >sa0 >sa1
4543 
4559 2626 nand 2 2 >sa0 >sa1
4463 4515 
4606 2627 from 2626 >sa0 >sa1
4607 2628 from 2626 >sa0 >sa1
4563 2634 buff 1 1 >sa0 >sa1
4465 
4564 2650 buff 2 1 >sa0 >sa1
4518 
4609 2651 from 2650 >sa0 >sa1
4611 2653 from 2650 >sa0 >sa1
4568 3268 not 1 1 >sa0 >sa1
4525 
4569 3256 buff 2 1 >sa0 >sa1
4501 
4590 3257 from 3256 >sa0 >sa1
4612 3258 from 3256 >sa0 >sa1
4572 3285 nand 1 2 >sa0 >sa1
4419 4526 
4573 3321 nand 1 2 >sa0 >sa1
4433 4529 
4576 3371 nand 2 2 >sa0 >sa1
4487 4528 
4598 3373 from 3371 >sa0 >sa1
4622 3372 from 3371 >sa0 >sa1
4581 3403 buff 2 1 >sa0 >sa1
4513 
4604 3405 from 3403 >sa0 >sa1
4626 3404 from 3403 >sa0 >sa1
4584 3411 buff 2 1 >sa0 >sa1
4514 
4605 3413 from 3411 >sa0 >sa1
4627 3412 from 3411 >sa0 >sa1
4588 1030 nor 1 3 >sa0 >sa1
2758 4498 2761 
4589 399 or 0 2 >sa0 >sa1
4545 4497 
4593 2564 nand 2 2 >sa0 >sa1
4552 4509 
4633 2565 from 2564 >sa0 >sa1
4634 2566 from 2564 >sa0 >sa1
4596 3362 not 1 1 >sa0 >sa1
4574 
4597 3370 not 1 1 >sa0 >sa1
4575 
4599 2586 nand 2 2 >sa0 >sa1
4555 4511 
4637 2587 from 2586 >sa0 >sa1
4638 2588 from 2586 >sa0 >sa1
4602 3386 not 1 1 >sa0 >sa1
4579 
4603 3394 not 1 1 >sa0 >sa1
4580 
4608 2633 and 1 2 >sa0 >sa1
645 4315 
4613 3261 buff 2 1 >sa0 >sa1
4547 
4653 3263 from 3261 >sa0 >sa1
4654 3262 from 3261 >sa0 >sa1
4616 3269 buff 2 1 >sa0 >sa1
4548 
4631 3271 from 3269 >sa0 >sa1
4655 3270 from 3269 >sa0 >sa1
4619 3347 nand 2 2 >sa0 >sa1
4572 4527 
4632 3349 from 3347 >sa0 >sa1
4662 3348 from 3347 >sa0 >sa1
4623 3395 nand 2 2 >sa0 >sa1
4573 4530 
4639 3397 from 3395 >sa0 >sa1
4663 3396 from 3395 >sa0 >sa1
4628 363 not 1 1 >sa0 >sa1
4588 
4629 2536 nand 1 2 >sa0 >sa1
4590 4506 
4630 3260 not 1 1 >sa0 >sa1
4612 
4635 3377 not 1 1 >sa0 >sa1
4622 
4636 2580 nand 1 2 >sa0 >sa1
4598 4291 
4640 3409 not 1 1 >sa0 >sa1
4626 
4641 2616 nand 1 2 >sa0 >sa1
4604 4461 
4642 3417 not 1 1 >sa0 >sa1
4627 
4643 2622 nand 1 2 >sa0 >sa1
4605 4462 
4644 2635 nor 2 2 >sa0 >sa1
4608 4563 
4680 2636 from 2635 >sa0 >sa1
4681 2637 from 2635 >sa0 >sa1
4647 2805 and 2 2 >sa0 >sa1
4606 2128 
4683 2806 from 2805 >sa0 >sa1
4684 2807 from 2805 >sa0 >sa1
4650 2808 and 2 2 >sa0 >sa1
4607 2743 
4685 2809 from 2808 >sa0 >sa1
4686 2810 from 2808 >sa0 >sa1
4656 3334 buff 2 1 >sa0 >sa1
4591 
4671 3335 from 3334 >sa0 >sa1
4689 3336 from 3334 >sa0 >sa1
4659 3342 buff 2 1 >sa0 >sa1
4592 
4672 3343 from 3342 >sa0 >sa1
4690 3344 from 3342 >sa0 >sa1
4664 3454 buff 2 1 >sa0 >sa1
4611 
4682 3455 from 3454 >sa0 >sa1
4703 3456 from 3454 >sa0 >sa1
4667 364 buff 0 1 >sa0 >sa1
4628 
4668 2537 nand 1 2 >sa0 >sa1
4449 4630 
4669 3275 not 1 1 >sa0 >sa1
4655 
4670 2540 nand 1 2 >sa0 >sa1
4631 4239 
4673 3353 not 1 1 >sa0 >sa1
4662 
4674 2557 nand 1 2 >sa0 >sa1
4632 4507 
4675 2579 nand 1 2 >sa0 >sa1
4240 4635 
4676 3401 not 1 1 >sa0 >sa1
4663 
4677 2602 nand 1 2 >sa0 >sa1
4639 4558 
4678 2615 nand 1 2 >sa0 >sa1
4394 4640 
4679 2621 nand 1 2 >sa0 >sa1
4395 4642 
4687 3267 not 1 1 >sa0 >sa1
4654 
4688 3112 nand 1 2 >sa0 >sa1
4653 4568 
4691 3355 buff 2 1 >sa0 >sa1
4633 
4709 3357 from 3355 >sa0 >sa1
4734 3356 from 3355 >sa0 >sa1
4694 3363 buff 2 1 >sa0 >sa1
4634 
4710 3365 from 3363 >sa0 >sa1
4735 3364 from 3363 >sa0 >sa1
4697 3379 buff 2 1 >sa0 >sa1
4637 
4714 3381 from 3379 >sa0 >sa1
4736 3380 from 3379 >sa0 >sa1
4700 3387 buff 2 1 >sa0 >sa1
4638 
4715 3389 from 3387 >sa0 >sa1
4737 3388 from 3387 >sa0 >sa1
4704 2538 nand 1 2 >sa0 >sa1
4629 4668 
4705 2539 nand 1 2 >sa0 >sa1
4179 4669 
4706 3338 not 1 1 >sa0 >sa1
4689 
4707 3346 not 1 1 >sa0 >sa1
4690 
4708 2556 nand 1 2 >sa0 >sa1
4450 4673 
4711 2581 nand 2 2 >sa0 >sa1
4675 4636 
4751 2582 from 2581 >sa0 >sa1
4752 2583 from 2581 >sa0 >sa1
4716 2601 nand 1 2 >sa0 >sa1
4512 4676 
4717 2617 nand 3 2 >sa0 >sa1
4678 4641 
4761 2618 from 2617 >sa0 >sa1
4762 2619 from 2617 >sa0 >sa1
4763 2620 from 2617 >sa0 >sa1
4721 2623 nand 1 2 >sa0 >sa1
4679 4643 
4722 2638 buff 2 1 >sa0 >sa1
4680 
4764 2639 from 2638 >sa0 >sa1
4766 2641 from 2638 >sa0 >sa1
4726 3458 not 1 1 >sa0 >sa1
4703 
4727 2814 or 1 3 >sa0 >sa1
4683 4685 4411 
4730 2816 nor 2 3 >sa0 >sa1
4684 4686 4412 
4738 2817 from 2816 >sa0 >sa1
4768 2818 from 2816 >sa0 >sa1
4733 3111 nand 1 2 >sa0 >sa1
4524 4687 
4740 2541 nand 2 2 >sa0 >sa1
4705 4670 
4781 2542 from 2541 >sa0 >sa1
4782 2543 from 2541 >sa0 >sa1
4743 2558 nand 3 2 >sa0 >sa1
4708 4674 
4783 2559 from 2558 >sa0 >sa1
4784 2560 from 2558 >sa0 >sa1
4785 2561 from 2558 >sa0 >sa1
4747 3361 not 1 1 >sa0 >sa1
4734 
4748 2571 nand 1 2 >sa0 >sa1
4709 4596 
4749 3369 not 1 1 >sa0 >sa1
4735 
4750 2577 nand 1 2 >sa0 >sa1
4710 4597 
4753 3385 not 1 1 >sa0 >sa1
4736 
4754 2593 nand 1 2 >sa0 >sa1
4714 4602 
4755 3393 not 1 1 >sa0 >sa1
4737 
4756 2598 nand 1 2 >sa0 >sa1
4715 4603 
4757 2603 nand 3 2 >sa0 >sa1
4716 4677 
4790 2604 from 2603 >sa0 >sa1
4791 2605 from 2603 >sa0 >sa1
4792 2606 from 2603 >sa0 >sa1
4769 3113 nand 2 2 >sa0 >sa1
4733 4688 
4780 3115 from 3113 >sa0 >sa1
4803 3114 from 3113 >sa0 >sa1
4772 3116 and 2 2 >sa0 >sa1
636 4704 
4779 3117 from 3116 >sa0 >sa1
4804 3118 from 3116 >sa0 >sa1
4775 3451 not 2 1 >sa0 >sa1
4721 
4793 3453 from 3451 >sa0 >sa1
4811 3452 from 3451 >sa0 >sa1
4778 395 not 1 1 >sa0 >sa1
4738 
4786 2570 nand 1 2 >sa0 >sa1
4553 4747 
4787 2576 nand 1 2 >sa0 >sa1
4554 4749 
4788 2592 nand 1 2 >sa0 >sa1
4556 4753 
4789 2597 nand 1 2 >sa0 >sa1
4557 4755 
4794 2736 and 2 2 >sa0 >sa1
4751 2124 
4834 2737 from 2736 >sa0 >sa1
4835 2738 from 2736 >sa0 >sa1
4797 2739 and 2 2 >sa0 >sa1
4752 2735 
4836 2740 from 2739 >sa0 >sa1
4837 2741 from 2739 >sa0 >sa1
4800 2788 and 2 2 >sa0 >sa1
4763 2127 
4841 2789 from 2788 >sa0 >sa1
4842 2790 from 2788 >sa0 >sa1
4805 3438 buff 2 1 >sa0 >sa1
4766 
4827 3439 from 3438 >sa0 >sa1
4853 3440 from 3438 >sa0 >sa1
4808 3446 and 2 2 >sa0 >sa1
4762 4519 
4828 3447 from 3446 >sa0 >sa1
4857 3448 from 3446 >sa0 >sa1
4812 3459 buff 2 1 >sa0 >sa1
4727 
4843 3461 from 3459 >sa0 >sa1
4858 3460 from 3459 >sa0 >sa1
4815 396 buff 0 1 >sa0 >sa1
4778 
4816 3119 not 1 1 >sa0 >sa1
4803 
4817 3120 not 1 1 >sa0 >sa1
4804 
4818 2572 nand 3 2 >sa0 >sa1
4786 4748 
4863 2573 from 2572 >sa0 >sa1
4864 2574 from 2572 >sa0 >sa1
4865 2575 from 2572 >sa0 >sa1
4822 2578 nand 1 2 >sa0 >sa1
4787 4750 
4823 2594 nand 2 2 >sa0 >sa1
4788 4754 
4866 2595 from 2594 >sa0 >sa1
4867 2596 from 2594 >sa0 >sa1
4826 2599 nand 1 2 >sa0 >sa1
4789 4756 
4829 2677 nand 1 2 >sa0 >sa1
4793 4726 
4830 3457 not 1 1 >sa0 >sa1
4811 
4831 2700 and 2 2 >sa0 >sa1
4785 2122 
4874 2701 from 2700 >sa0 >sa1
4875 2702 from 2700 >sa0 >sa1
4838 2771 and 2 2 >sa0 >sa1
4792 2126 
4883 2772 from 2771 >sa0 >sa1
4884 2773 from 2771 >sa0 >sa1
4844 3331 buff 2 1 >sa0 >sa1
4781 
4861 3333 from 3331 >sa0 >sa1
4886 3332 from 3331 >sa0 >sa1
4847 3339 buff 2 1 >sa0 >sa1
4782 
4862 3341 from 3339 >sa0 >sa1
4887 3340 from 3339 >sa0 >sa1
4850 3427 buff 2 1 >sa0 >sa1
4784 
4869 3429 from 3427 >sa0 >sa1
4888 3428 from 3427 >sa0 >sa1
4854 3443 buff 2 1 >sa0 >sa1
4791 
4871 3445 from 3443 >sa0 >sa1
4892 3444 from 3443 >sa0 >sa1
4859 954 nand 1 2 >sa0 >sa1
4779 4816 
4860 955 nand 1 2 >sa0 >sa1
4780 4817 
4868 2600 not 1 1 >sa0 >sa1
4826 
4870 3442 not 1 1 >sa0 >sa1
4853 
4872 3450 not 1 1 >sa0 >sa1
4857 
4873 2676 nand 1 2 >sa0 >sa1
4682 4830 
4876 2745 or 2 3 >sa0 >sa1
4834 4836 4405 
4910 2746 from 2745 >sa0 >sa1
4911 2747 from 2745 >sa0 >sa1
4880 2748 nor 2 3 >sa0 >sa1
4835 4837 4406 
4893 2749 from 2748 >sa0 >sa1
4912 2750 from 2748 >sa0 >sa1
4885 3465 not 1 1 >sa0 >sa1
4858 
4889 3435 not 2 1 >sa0 >sa1
4822 
4903 3437 from 3435 >sa0 >sa1
4919 3436 from 3435 >sa0 >sa1
4895 950 nand 1 2 >sa0 >sa1
4859 4860 
4896 3337 not 1 1 >sa0 >sa1
4886 
4897 2548 nand 1 2 >sa0 >sa1
4861 4706 
4898 3345 not 1 1 >sa0 >sa1
4887 
4899 2553 nand 1 2 >sa0 >sa1
4862 4707 
4900 2661 nor 1 2 >sa0 >sa1
4868 4609 
4901 2662 and 1 3 >sa0 >sa1
4761 4790 4866 
4902 3433 not 1 1 >sa0 >sa1
4888 
4904 3449 not 1 1 >sa0 >sa1
4892 
4905 2672 nand 1 2 >sa0 >sa1
4871 4872 
4906 2674 nand 1 2 >sa0 >sa1
4873 4829 
4907 2719 and 2 2 >sa0 >sa1
4865 2123 
4932 2720 from 2719 >sa0 >sa1
4933 2721 from 2719 >sa0 >sa1
4913 2754 and 2 2 >sa0 >sa1
4867 2125 
4934 2755 from 2754 >sa0 >sa1
4935 2756 from 2754 >sa0 >sa1
4916 3430 and 2 2 >sa0 >sa1
4864 4681 
4927 3431 from 3430 >sa0 >sa1
4936 3432 from 3430 >sa0 >sa1
4920 383 not 1 1 >sa0 >sa1
4893 
4921 951 and 1 2 >sa0 >sa1
4895 2184 
4924 2547 nand 1 2 >sa0 >sa1
4671 4896 
4925 2552 nand 1 2 >sa0 >sa1
4672 4898 
4926 2663 or 1 2 >sa0 >sa1
4900 4901 
4928 2670 nand 1 2 >sa0 >sa1
4903 4870 
4929 3441 not 1 1 >sa0 >sa1
4919 
4930 2671 nand 1 2 >sa0 >sa1
4828 4904 
4931 2675 not 1 1 >sa0 >sa1
4906 
4937 3491 buff 2 1 >sa0 >sa1
4910 
4960 3493 from 3491 >sa0 >sa1
4962 3492 from 3491 >sa0 >sa1
4940 3499 buff 2 1 >sa0 >sa1
4911 
4961 3501 from 3499 >sa0 >sa1
4963 3500 from 3499 >sa0 >sa1
4944 384 buff 0 1 >sa0 >sa1
4920 
4946 2549 nand 2 2 >sa0 >sa1
4924 4897 
4966 2550 from 2549 >sa0 >sa1
4967 2551 from 2549 >sa0 >sa1
4949 2554 nand 1 2 >sa0 >sa1
4925 4899 
4950 2664 nand 1 2 >sa0 >sa1
4927 4902 
4951 3434 not 1 1 >sa0 >sa1
4936 
4952 2669 nand 1 2 >sa0 >sa1
4827 4929 
4953 2673 nand 1 2 >sa0 >sa1
4930 4905 
4954 2757 and 2 2 >sa0 >sa1
4926 2737 
4971 2758 from 2757 >sa0 >sa1
4972 2759 from 2757 >sa0 >sa1
4957 2791 and 2 2 >sa0 >sa1
4931 2741 
4976 2792 from 2791 >sa0 >sa1
4977 2793 from 2791 >sa0 >sa1
4965 1031 nor 1 3 >sa0 >sa1
2764 2483 4921 
4968 2555 not 1 1 >sa0 >sa1
4949 
4969 2665 nand 1 2 >sa0 >sa1
4869 4951 
4970 2667 nand 1 2 >sa0 >sa1
4952 4928 
4973 2774 and 2 2 >sa0 >sa1
4953 2739 
4994 2775 from 2774 >sa0 >sa1
4995 2776 from 2774 >sa0 >sa1
4978 3497 not 1 1 >sa0 >sa1
4962 
4979 3505 not 1 1 >sa0 >sa1
4963 
4980 366 not 1 1 >sa0 >sa1
4965 
4981 2658 nor 1 2 >sa0 >sa1
4968 4764 
4982 2659 and 1 3 >sa0 >sa1
4863 4783 4966 
4983 2666 nand 1 2 >sa0 >sa1
4950 4969 
4984 2668 not 1 1 >sa0 >sa1
4970 
4985 2681 and 2 2 >sa0 >sa1
4967 2121 
5008 2682 from 2681 >sa0 >sa1
5009 2683 from 2681 >sa0 >sa1
4988 2763 or 1 3 >sa0 >sa1
4934 4971 4407 
4991 2765 nor 2 3 >sa0 >sa1
4935 4972 4408 
5003 2766 from 2765 >sa0 >sa1
5017 2767 from 2765 >sa0 >sa1
4996 2797 or 1 3 >sa0 >sa1
4841 4976 4409 
4999 2799 nor 2 3 >sa0 >sa1
4842 4977 4410 
5005 2800 from 2799 >sa0 >sa1
5025 2801 from 2799 >sa0 >sa1
5002 367 buff 0 1 >sa0 >sa1
4980 
5007 2660 or 1 2 >sa0 >sa1
4981 4982 
5010 2703 and 2 2 >sa0 >sa1
4983 2731 
5033 2704 from 2703 >sa0 >sa1
5034 2705 from 2703 >sa0 >sa1
5013 2722 and 2 2 >sa0 >sa1
4984 2733 
5035 2723 from 2722 >sa0 >sa1
5036 2724 from 2722 >sa0 >sa1
5018 2780 or 1 3 >sa0 >sa1
4883 4994 4522 
5021 2782 nor 2 3 >sa0 >sa1
4884 4995 4523 
5027 2783 from 2782 >sa0 >sa1
5038 2784 from 2782 >sa0 >sa1
5026 386 not 1 1 >sa0 >sa1
5003 
5029 392 not 1 1 >sa0 >sa1
5005 
5030 2684 and 2 2 >sa0 >sa1
5007 2729 
5048 2685 from 2684 >sa0 >sa1
5049 2686 from 2684 >sa0 >sa1
5039 3462 buff 2 1 >sa0 >sa1
4996 
5064 3463 from 3462 >sa0 >sa1
5069 3464 from 3462 >sa0 >sa1
5042 3470 buff 2 1 >sa0 >sa1
4988 
5065 3471 from 3470 >sa0 >sa1
5073 3472 from 3470 >sa0 >sa1
5045 387 buff 0 1 >sa0 >sa1
5026 
5046 389 not 1 1 >sa0 >sa1
5027 
5047 393 buff 0 1 >sa0 >sa1
5029 
5050 2709 or 3 3 >sa0 >sa1
4874 5033 4520 
5075 377 from 2709 >sa0 >sa1
5088 2711 from 2709 >sa0 >sa1
5089 2712 from 2709 >sa0 >sa1
5055 2713 nor 2 3 >sa0 >sa1
4875 5034 4521 
5090 2714 from 2713 >sa0 >sa1
5091 2715 from 2713 >sa0 >sa1
5058 2728 or 1 3 >sa0 >sa1
4932 5035 4403 
5061 2730 nor 2 3 >sa0 >sa1
4933 5036 4404 
5076 2731 from 2730 >sa0 >sa1
5093 2732 from 2730 >sa0 >sa1
5066 2922 and 2 4 >sa0 >sa1
4768 5025 5038 5017 
5079 2924 from 2922 >sa0 >sa1
5098 2923 from 2922 >sa0 >sa1
5070 3467 buff 2 1 >sa0 >sa1
5018 
5096 3469 from 3467 >sa0 >sa1
5099 3468 from 3467 >sa0 >sa1
5078 390 buff 0 1 >sa0 >sa1
5046 
5080 2690 or 3 3 >sa0 >sa1
5008 5048 4401 
5101 374 from 2690 >sa0 >sa1
5104 2692 from 2690 >sa0 >sa1
5105 2693 from 2690 >sa0 >sa1
5085 2694 nor 2 3 >sa0 >sa1
5009 5049 4402 
5106 2695 from 2694 >sa0 >sa1
5107 2696 from 2694 >sa0 >sa1
5094 2821 nand 1 2 >sa0 >sa1
5064 4885 
5095 3466 not 1 1 >sa0 >sa1
5069 
5097 3474 not 1 1 >sa0 >sa1
5073 
5102 378 buff 0 1 >sa0 >sa1
5075 
5103 380 not 1 1 >sa0 >sa1
5076 
5108 2822 nand 1 2 >sa0 >sa1
4843 5095 
5109 3473 not 1 1 >sa0 >sa1
5099 
5110 2827 nand 1 2 >sa0 >sa1
5096 5097 
5111 2839 buff 2 1 >sa0 >sa1
5058 
5126 2840 from 2839 >sa0 >sa1
5127 2841 from 2839 >sa0 >sa1
5114 2883 and 2 2 >sa0 >sa1
5089 1688 
5131 2884 from 2883 >sa0 >sa1
5132 2885 from 2883 >sa0 >sa1
5117 3507 buff 2 1 >sa0 >sa1
5088 
5137 3508 from 3507 >sa0 >sa1
5138 3509 from 3507 >sa0 >sa1
5120 375 buff 0 1 >sa0 >sa1
5101 
5121 381 buff 0 1 >sa0 >sa1
5103 
5122 2823 nand 2 2 >sa0 >sa1
5094 5108 
5143 2824 from 2823 >sa0 >sa1
5144 2825 from 2823 >sa0 >sa1
5125 2826 nand 1 2 >sa0 >sa1
5065 5109 
5128 2880 and 2 2 >sa0 >sa1
1687 5105 
5148 2881 from 2880 >sa0 >sa1
5149 2882 from 2880 >sa0 >sa1
5133 2925 and 2 4 >sa0 >sa1
4912 5093 5090 5106 
5142 2927 from 2925 >sa0 >sa1
5150 2926 from 2925 >sa0 >sa1
5136 2928 and 1 3 >sa0 >sa1
5091 5107 1690 
5139 3510 buff 2 1 >sa0 >sa1
5104 
5157 3511 from 3510 >sa0 >sa1
5158 3512 from 3510 >sa0 >sa1
5145 2828 nand 2 2 >sa0 >sa1
5125 5110 
5167 2829 from 2828 >sa0 >sa1
5168 2830 from 2828 >sa0 >sa1
5151 3494 buff 2 1 >sa0 >sa1
5126 
5169 3495 from 3494 >sa0 >sa1
5180 3496 from 3494 >sa0 >sa1
5154 3502 buff 2 1 >sa0 >sa1
5127 
5170 3503 from 3502 >sa0 >sa1
5181 3504 from 3502 >sa0 >sa1
5159 3513 not 1 1 >sa0 >sa1
5137 
5160 3544 buff 2 1 >sa0 >sa1
5131 
5171 3545 from 3544 >sa0 >sa1
5187 3546 from 3544 >sa0 >sa1
5163 3552 buff 2 1 >sa0 >sa1
5132 
5172 3553 from 3552 >sa0 >sa1
5191 3554 from 3552 >sa0 >sa1
5166 406 and 1 2 >sa0 >sa1
5079 5142 
5173 2929 and 1 2 >sa0 >sa1
5098 5150 
5174 3475 buff 2 1 >sa0 >sa1
5143 
5194 3477 from 3475 >sa0 >sa1
5204 3476 from 3475 >sa0 >sa1
5177 3483 buff 2 1 >sa0 >sa1
5144 
5195 3485 from 3483 >sa0 >sa1
5208 3484 from 3483 >sa0 >sa1
5182 3514 not 1 1 >sa0 >sa1
5158 
5183 3515 nand 1 2 >sa0 >sa1
5157 5159 
5184 3541 buff 2 1 >sa0 >sa1
5148 
5200 3543 from 3541 >sa0 >sa1
5213 3542 from 3541 >sa0 >sa1
5188 3549 buff 2 1 >sa0 >sa1
5149 
5202 3551 from 3549 >sa0 >sa1
5214 3550 from 3549 >sa0 >sa1
5192 407 not 0 1 >sa0 >sa1
5166 
5193 2930 nor 1 2 >sa0 >sa1
5136 5173 
5196 2842 nand 1 2 >sa0 >sa1
5169 4978 
5197 3498 not 1 1 >sa0 >sa1
5180 
5198 2852 nand 1 2 >sa0 >sa1
5170 4979 
5199 3506 not 1 1 >sa0 >sa1
5181 
5201 3548 not 1 1 >sa0 >sa1
5187 
5203 3556 not 1 1 >sa0 >sa1
5191 
5205 3478 buff 2 1 >sa0 >sa1
5167 
5216 3479 from 3478 >sa0 >sa1
5226 3480 from 3478 >sa0 >sa1
5209 3486 buff 2 1 >sa0 >sa1
5168 
5218 3487 from 3486 >sa0 >sa1
5227 3488 from 3486 >sa0 >sa1
5212 3516 nand 1 2 >sa0 >sa1
5138 5182 
5215 408 and 1 2 >sa0 >sa1
546 5193 
5217 3481 not 1 1 >sa0 >sa1
5204 
5219 3489 not 1 1 >sa0 >sa1
5208 
5220 2843 nand 1 2 >sa0 >sa1
4960 5197 
5221 2853 nand 1 2 >sa0 >sa1
4961 5199 
5222 3547 not 1 1 >sa0 >sa1
5213 
5223 2887 nand 1 2 >sa0 >sa1
5200 5201 
5224 2896 nand 1 2 >sa0 >sa1
5202 5203 
5225 3555 not 1 1 >sa0 >sa1
5214 
5228 3520 nand 2 2 >sa0 >sa1
5183 5212 
5241 3521 from 3520 >sa0 >sa1
5244 3522 from 3520 >sa0 >sa1
5231 409 not 0 1 >sa0 >sa1
5215 
5232 2831 nand 1 2 >sa0 >sa1
5216 5217 
5233 3482 not 1 1 >sa0 >sa1
5226 
5234 2836 nand 1 2 >sa0 >sa1
5218 5219 
5235 3490 not 1 1 >sa0 >sa1
5227 
5236 2844 nand 2 2 >sa0 >sa1
5196 5220 
5247 2845 from 2844 >sa0 >sa1
5249 2847 from 2844 >sa0 >sa1
5240 2848 nand 1 2 >sa0 >sa1
5198 5221 
5242 2886 nand 1 2 >sa0 >sa1
5171 5222 
5243 2895 nand 1 2 >sa0 >sa1
5172 5225 
5245 2832 nand 1 2 >sa0 >sa1
5194 5233 
5246 2837 nand 1 2 >sa0 >sa1
5195 5235 
5250 2849 not 2 1 >sa0 >sa1
5240 
5262 2850 from 2849 >sa0 >sa1
5263 2851 from 2849 >sa0 >sa1
5253 3524 not 1 1 >sa0 >sa1
5244 
5254 2888 nand 1 2 >sa0 >sa1
5242 5223 
5257 2891 nand 1 2 >sa0 >sa1
5243 5224 
5258 2833 nand 2 2 >sa0 >sa1
5232 5245 
5272 2834 from 2833 >sa0 >sa1
5273 2835 from 2833 >sa0 >sa1
5261 2838 nand 1 2 >sa0 >sa1
5234 5246 
5266 2892 not 1 1 >sa0 >sa1
5257 
5269 3517 buff 2 1 >sa0 >sa1
5247 
5274 3519 from 3517 >sa0 >sa1
5282 3518 from 3517 >sa0 >sa1
5278 2908 and 1 2 >sa0 >sa1
5262 5254 
5279 2913 not 2 1 >sa0 >sa1
5261 
5287 2914 from 2913 >sa0 >sa1
5288 2915 from 2913 >sa0 >sa1
5283 3523 not 1 1 >sa0 >sa1
5282 
5284 2855 nand 1 2 >sa0 >sa1
5274 5253 
5285 2907 and 1 3 >sa0 >sa1
5249 5266 2310 
5286 2909 and 1 2 >sa0 >sa1
5263 2307 
5289 3525 buff 1 1 >sa0 >sa1
5272 
5292 3533 buff 1 1 >sa0 >sa1
5273 
5295 2854 nand 1 2 >sa0 >sa1
5241 5283 
5298 2910 or 2 3 >sa0 >sa1
5285 5278 5286 
5314 2911 from 2910 >sa0 >sa1
5315 2912 from 2910 >sa0 >sa1
5303 3560 buff 1 1 >sa0 >sa1
5287 
5306 3568 buff 1 1 >sa0 >sa1
5288 
5309 2856 nand 2 2 >sa0 >sa1
5295 5284 
5320 2857 from 2856 >sa0 >sa1
5321 2858 from 2856 >sa0 >sa1
5313 3531 not 1 1 >sa0 >sa1
5289 
5323 3564 not 1 1 >sa0 >sa1
5303 
5324 3557 buff 1 1 >sa0 >sa1
5314 
5327 3565 buff 1 1 >sa0 >sa1
5315 
5332 3528 buff 1 1 >sa0 >sa1
5320 
5335 3536 buff 1 1 >sa0 >sa1
5321 
5340 2921 not 1 1 >sa0 >sa1
5323 
5341 2917 not 1 1 >sa0 >sa1
5327 
5345 3563 not 1 1 >sa0 >sa1
5324 
5348 2863 not 1 1 >sa0 >sa1
5313 
5349 2859 not 1 1 >sa0 >sa1
5335 
5350 2920 not 1 1 >sa0 >sa1
5345 
5351 2916 not 1 1 >sa0 >sa1
5306 
5353 3532 not 1 1 >sa0 >sa1
5332 
5354 2864 not 1 1 >sa0 >sa1
5353 
5355 2860 not 1 1 >sa0 >sa1
5292 
5356 403 nand 1 2 >sa0 >sa1
5350 5340 
5357 404 nand 1 2 >sa0 >sa1
5351 5341 
5358 400 nand 1 2 >sa0 >sa1
5348 5354 
5359 401 nand 1 2 >sa0 >sa1
5349 5355 
5360 405 and 0 2 >sa0 >sa1
5356 5357 
5361 402 nand 0 2 >sa0 >sa1
5358 5359