.subckt adder32 op0 a[31:0] by[31:0] s[31:0] z v n .connect op0 c0 X0 op0#32 by[31:0] b[31:0] xor2 X1 op0 notcin inverter X3 a30 b30 node2 nand2 X5 a30 b30 node4 nor2 X7 a29 b29 node6 nand2 X9 a29 b29 node8 nor2 X11 a28 b28 node10 nand2 X13 a28 b28 node12 nor2 X15 a27 b27 node14 nand2 X17 a27 b27 node16 nor2 X19 a26 b26 node18 nand2 X21 a26 b26 node20 nor2 X23 a25 b25 node22 nand2 X25 a25 b25 node24 nor2 X27 a24 b24 node26 nand2 X29 a24 b24 node28 nor2 X31 a23 b23 node30 nand2 X33 a23 b23 node32 nor2 X35 a22 b22 node34 nand2 X37 a22 b22 node36 nor2 X39 a21 b21 node38 nand2 X41 a21 b21 node40 nor2 X43 a20 b20 node42 nand2 X45 a20 b20 node44 nor2 X47 a19 b19 node46 nand2 X49 a19 b19 node48 nor2 X51 a18 b18 node50 nand2 X53 a18 b18 node52 nor2 X55 a17 b17 node54 nand2 X57 a17 b17 node56 nor2 X59 a16 b16 node58 nand2 X61 a16 b16 node60 nor2 X63 a15 b15 node62 nand2 X65 a15 b15 node64 nor2 X67 a14 b14 node66 nand2 X69 a14 b14 node68 nor2 X71 a13 b13 node70 nand2 X73 a13 b13 node72 nor2 X75 a12 b12 node74 nand2 X77 a12 b12 node76 nor2 X79 a11 b11 node78 nand2 X81 a11 b11 node80 nor2 X83 a10 b10 node82 nand2 X85 a10 b10 node84 nor2 X87 a9 b9 node86 nand2 X89 a9 b9 node88 nor2 X91 a8 b8 node90 nand2 X93 a8 b8 node92 nor2 X95 a7 b7 node94 nand2 X97 a7 b7 node96 nor2 X99 a6 b6 node98 nand2 X101 a6 b6 node100 nor2 X103 a5 b5 node102 nand2 X105 a5 b5 node104 nor2 X107 a4 b4 node106 nand2 X109 a4 b4 node108 nor2 X111 a3 b3 node110 nand2 X113 a3 b3 node112 nor2 X115 a2 b2 node114 nand2 X117 a2 b2 node116 nor2 X119 a1 b1 node118 nand2 X121 a1 b1 node120 nor2 X123 a0 b0 node122 nand2 X125 a0 b0 node124 nor2 X127 node2 node126 inverter X129 node6 node4 node128 nor2 X131 node128 node130 inverter X133 node10 node8 node4 node132 nor3 X135 node132 node134 inverter X137 node14 node12 node8 node4 node136 nor4 X139 node136 node138 inverter X141 node18 node16 node12 node8 node140 nor4 X143 node4 node142 inverter X145 node142 node140 node144 and2 X147 node144 node146 inverter X149 node22 node20 node16 node12 node148 nor4 X151 node8 node4 node150 nor2 X153 node150 node148 node152 and2 X155 node152 node154 inverter X157 node26 node24 node20 node16 node156 nor4 X159 node12 node8 node4 node158 nor3 X161 node158 node156 node160 and2 X163 node160 node162 inverter X165 node30 node28 node24 node20 node164 nor4 X167 node16 node12 node8 node4 node166 nor4 X169 node166 node164 node168 and2 X171 node168 node170 inverter X173 node34 node32 node28 node24 node172 nor4 X175 node20 node16 node12 node8 node174 nor4 X177 node142 node174 node172 node176 and3 X179 node176 node178 inverter X181 node38 node36 node32 node28 node180 nor4 X183 node24 node20 node16 node12 node182 nor4 X185 node150 node182 node180 node184 and3 X187 node184 node186 inverter X189 node42 node40 node36 node32 node188 nor4 X191 node28 node24 node20 node16 node190 nor4 X193 node158 node190 node188 node192 and3 X195 node192 node194 inverter X197 node46 node44 node40 node36 node196 nor4 X199 node32 node28 node24 node20 node198 nor4 X201 node166 node198 node196 node200 and3 X203 node200 node202 inverter X205 node50 node48 node44 node40 node204 nor4 X207 node36 node32 node28 node24 node206 nor4 X209 node142 node174 node206 node204 node208 and4 X211 node208 node210 inverter X213 node54 node52 node48 node44 node212 nor4 X215 node40 node36 node32 node28 node214 nor4 X217 node150 node182 node214 node212 node216 and4 X219 node216 node218 inverter X221 node58 node56 node52 node48 node220 nor4 X223 node44 node40 node36 node32 node222 nor4 X225 node158 node190 node222 node220 node224 and4 X227 node224 node226 inverter X229 node62 node60 node56 node52 node228 nor4 X231 node48 node44 node40 node36 node230 nor4 X233 node166 node198 node230 node228 node232 and4 X235 node232 node234 inverter X237 node66 node64 node60 node56 node236 nor4 X239 node52 node48 node44 node40 node238 nor4 X241 node174 node206 node238 node236 node240 and4 X243 node240 node4 node242 and2 X245 node242 node244 inverter X247 node70 node68 node64 node60 node246 nor4 X249 node56 node52 node48 node44 node248 nor4 X251 node182 node214 node248 node246 node250 and4 X253 node250 node150 node252 and2 X255 node252 node254 inverter X257 node74 node72 node68 node64 node256 nor4 X259 node60 node56 node52 node48 node258 nor4 X261 node190 node222 node258 node256 node260 and4 X263 node260 node158 node262 and2 X265 node262 node264 inverter X267 node78 node76 node72 node68 node266 nor4 X269 node64 node60 node56 node52 node268 nor4 X271 node198 node230 node268 node266 node270 and4 X273 node270 node166 node272 and2 X275 node272 node274 inverter X277 node82 node80 node76 node72 node276 nor4 X279 node68 node64 node60 node56 node278 nor4 X281 node206 node238 node278 node276 node280 and4 X283 node142 node174 node282 and2 X285 node280 node282 node284 and2 X287 node284 node286 inverter X289 node86 node84 node80 node76 node288 nor4 X291 node72 node68 node64 node60 node290 nor4 X293 node214 node248 node290 node288 node292 and4 X295 node150 node182 node294 and2 X297 node292 node294 node296 and2 X299 node296 node298 inverter X301 node90 node88 node84 node80 node300 nor4 X303 node76 node72 node68 node64 node302 nor4 X305 node222 node258 node302 node300 node304 and4 X307 node158 node190 node306 and2 X309 node304 node306 node308 and2 X311 node308 node310 inverter X313 node94 node92 node88 node84 node312 nor4 X315 node80 node76 node72 node68 node314 nor4 X317 node230 node268 node314 node312 node316 and4 X319 node166 node198 node318 and2 X321 node316 node318 node320 and2 X323 node320 node322 inverter X325 node98 node96 node92 node88 node324 nor4 X327 node84 node80 node76 node72 node326 nor4 X329 node238 node278 node326 node324 node328 and4 X331 node142 node174 node206 node330 and3 X333 node328 node330 node332 and2 X335 node332 node334 inverter X337 node102 node100 node96 node92 node336 nor4 X339 node88 node84 node80 node76 node338 nor4 X341 node248 node290 node338 node336 node340 and4 X343 node150 node182 node214 node342 and3 X345 node340 node342 node344 and2 X347 node344 node346 inverter X349 node106 node104 node100 node96 node348 nor4 X351 node92 node88 node84 node80 node350 nor4 X353 node258 node302 node350 node348 node352 and4 X355 node158 node190 node222 node354 and3 X357 node352 node354 node356 and2 X359 node356 node358 inverter X361 node110 node108 node104 node100 node360 nor4 X363 node96 node92 node88 node84 node362 nor4 X365 node268 node314 node362 node360 node364 and4 X367 node166 node198 node230 node366 and3 X369 node364 node366 node368 and2 X371 node368 node370 inverter X373 node114 node112 node108 node104 node372 nor4 X375 node100 node96 node92 node88 node374 nor4 X377 node278 node326 node374 node372 node376 and4 X379 node142 node174 node206 node238 node378 and4 X381 node376 node378 node380 and2 X383 node380 node382 inverter X385 node118 node116 node112 node108 node384 nor4 X387 node104 node100 node96 node92 node386 nor4 X389 node290 node338 node386 node384 node388 and4 X391 node150 node182 node214 node248 node390 and4 X393 node388 node390 node392 and2 X395 node392 node394 inverter X397 node122 node120 node116 node112 node396 nor4 X399 node108 node104 node100 node96 node398 nor4 X401 node302 node350 node398 node396 node400 and4 X403 node158 node190 node222 node258 node402 and4 X405 node400 node402 node404 and2 X407 node404 node406 inverter X409 notcin node124 node120 node116 node408 nor4 X411 node112 node108 node104 node100 node410 nor4 X413 node314 node362 node410 node408 node412 and4 X415 node166 node198 node230 node268 node414 and4 X417 node412 node414 node416 and2 X419 node416 node418 inverter X421 node2 node130 node134 node138 node420 nand4 X423 node146 node154 node162 node170 node422 nand4 X425 node178 node186 node194 node202 node424 nand4 X427 node210 node218 node226 node234 node426 nand4 X429 node244 node254 node264 node274 node428 nand4 X431 node286 node298 node310 node322 node430 nand4 X433 node334 node346 node358 node370 node432 nand4 X435 node382 node394 node406 node418 node434 nand4 X437 node426 node424 node422 node420 node436 or4 X439 node434 node432 node430 node428 node438 or4 X441 node436 node438 node440 or2 .connect node440 c31 X443 node6 node442 inverter X445 node10 node8 node444 nor2 X447 node444 node446 inverter X449 node14 node12 node8 node448 nor3 X451 node448 node450 inverter X453 node140 node452 inverter X455 node8 node454 inverter X457 node454 node148 node456 and2 X459 node456 node458 inverter X461 node12 node8 node460 nor2 X463 node460 node156 node462 and2 X465 node462 node464 inverter X467 node16 node12 node8 node466 nor3 X469 node466 node164 node468 and2 X471 node468 node470 inverter X473 node174 node172 node472 and2 X475 node472 node474 inverter X477 node454 node182 node180 node476 and3 X479 node476 node478 inverter X481 node460 node190 node188 node480 and3 X483 node480 node482 inverter X485 node466 node198 node196 node484 and3 X487 node484 node486 inverter X489 node174 node206 node204 node488 and3 X491 node488 node490 inverter X493 node454 node182 node214 node212 node492 and4 X495 node492 node494 inverter X497 node460 node190 node222 node220 node496 and4 X499 node496 node498 inverter X501 node466 node198 node230 node228 node500 and4 X503 node500 node502 inverter X505 node240 node504 inverter X507 node250 node8 node506 and2 X509 node506 node508 inverter X511 node260 node460 node510 and2 X513 node510 node512 inverter X515 node270 node466 node514 and2 X517 node514 node516 inverter X519 node280 node174 node518 and2 X521 node518 node520 inverter X523 node454 node182 node522 and2 X525 node292 node522 node524 and2 X527 node524 node526 inverter X529 node460 node190 node528 and2 X531 node304 node528 node530 and2 X533 node530 node532 inverter X535 node466 node198 node534 and2 X537 node316 node534 node536 and2 X539 node536 node538 inverter X541 node174 node206 node540 and2 X543 node328 node540 node542 and2 X545 node542 node544 inverter X547 node454 node182 node214 node546 and3 X549 node340 node546 node548 and2 X551 node548 node550 inverter X553 node460 node190 node222 node552 and3 X555 node352 node552 node554 and2 X557 node554 node556 inverter X559 node466 node198 node230 node558 and3 X561 node364 node558 node560 and2 X563 node560 node562 inverter X565 node174 node206 node238 node564 and3 X567 node376 node564 node566 and2 X569 node566 node568 inverter X571 node454 node182 node214 node248 node570 and4 X573 node388 node570 node572 and2 X575 node572 node574 inverter X577 node460 node190 node222 node258 node576 and4 X579 node400 node576 node578 and2 X581 node578 node580 inverter X583 node466 node198 node230 node268 node582 and4 X585 node412 node582 node584 and2 X587 node584 node586 inverter X589 node6 node446 node450 node452 node588 nand4 X591 node458 node464 node470 node474 node590 nand4 X593 node478 node482 node486 node490 node592 nand4 X595 node494 node498 node502 node504 node594 nand4 X597 node508 node512 node516 node520 node596 nand4 X599 node526 node532 node538 node544 node598 nand4 X601 node550 node556 node562 node568 node600 nand4 X603 node574 node580 node586 node602 nand3 X605 node594 node592 node590 node588 node604 or4 X607 node602 node600 node598 node596 node606 or4 X609 node604 node606 node608 or2 .connect node608 c30 X611 node10 node610 inverter X613 node14 node12 node612 nor2 X615 node612 node614 inverter X617 node18 node16 node12 node616 nor3 X619 node616 node618 inverter X621 node148 node620 inverter X623 node12 node622 inverter X625 node622 node156 node624 and2 X627 node624 node626 inverter X629 node16 node12 node628 nor2 X631 node628 node164 node630 and2 X633 node630 node632 inverter X635 node20 node16 node12 node634 nor3 X637 node634 node172 node636 and2 X639 node636 node638 inverter X641 node182 node180 node640 and2 X643 node640 node642 inverter X645 node622 node190 node188 node644 and3 X647 node644 node646 inverter X649 node628 node198 node196 node648 and3 X651 node648 node650 inverter X653 node634 node206 node204 node652 and3 X655 node652 node654 inverter X657 node182 node214 node212 node656 and3 X659 node656 node658 inverter X661 node622 node190 node222 node220 node660 and4 X663 node660 node662 inverter X665 node628 node198 node230 node228 node664 and4 X667 node664 node666 inverter X669 node634 node206 node238 node236 node668 and4 X671 node668 node670 inverter X673 node250 node672 inverter X675 node260 node12 node674 and2 X677 node674 node676 inverter X679 node270 node628 node678 and2 X681 node678 node680 inverter X683 node280 node634 node682 and2 X685 node682 node684 inverter X687 node292 node182 node686 and2 X689 node686 node688 inverter X691 node622 node190 node690 and2 X693 node304 node690 node692 and2 X695 node692 node694 inverter X697 node628 node198 node696 and2 X699 node316 node696 node698 and2 X701 node698 node700 inverter X703 node634 node206 node702 and2 X705 node328 node702 node704 and2 X707 node704 node706 inverter X709 node182 node214 node708 and2 X711 node340 node708 node710 and2 X713 node710 node712 inverter X715 node622 node190 node222 node714 and3 X717 node352 node714 node716 and2 X719 node716 node718 inverter X721 node628 node198 node230 node720 and3 X723 node364 node720 node722 and2 X725 node722 node724 inverter X727 node634 node206 node238 node726 and3 X729 node376 node726 node728 and2 X731 node728 node730 inverter X733 node182 node214 node248 node732 and3 X735 node388 node732 node734 and2 X737 node734 node736 inverter X739 node622 node190 node222 node258 node738 and4 X741 node400 node738 node740 and2 X743 node740 node742 inverter X745 node628 node198 node230 node268 node744 and4 X747 node412 node744 node746 and2 X749 node746 node748 inverter X751 node10 node614 node618 node620 node750 nand4 X753 node626 node632 node638 node642 node752 nand4 X755 node646 node650 node654 node658 node754 nand4 X757 node662 node666 node670 node672 node756 nand4 X759 node676 node680 node684 node688 node758 nand4 X761 node694 node700 node706 node712 node760 nand4 X763 node718 node724 node730 node736 node762 nand4 X765 node742 node748 node764 nand2 X767 node756 node754 node752 node750 node766 or4 X769 node764 node762 node760 node758 node768 or4 X771 node766 node768 node770 or2 .connect node770 c29 X773 node14 node772 inverter X775 node18 node16 node774 nor2 X777 node774 node776 inverter X779 node22 node20 node16 node778 nor3 X781 node778 node780 inverter X783 node156 node782 inverter X785 node16 node784 inverter X787 node784 node164 node786 and2 X789 node786 node788 inverter X791 node20 node16 node790 nor2 X793 node790 node172 node792 and2 X795 node792 node794 inverter X797 node24 node20 node16 node796 nor3 X799 node796 node180 node798 and2 X801 node798 node800 inverter X803 node190 node188 node802 and2 X805 node802 node804 inverter X807 node784 node198 node196 node806 and3 X809 node806 node808 inverter X811 node790 node206 node204 node810 and3 X813 node810 node812 inverter X815 node796 node214 node212 node814 and3 X817 node814 node816 inverter X819 node190 node222 node220 node818 and3 X821 node818 node820 inverter X823 node784 node198 node230 node228 node822 and4 X825 node822 node824 inverter X827 node790 node206 node238 node236 node826 and4 X829 node826 node828 inverter X831 node796 node214 node248 node246 node830 and4 X833 node830 node832 inverter X835 node260 node834 inverter X837 node270 node16 node836 and2 X839 node836 node838 inverter X841 node280 node790 node840 and2 X843 node840 node842 inverter X845 node292 node796 node844 and2 X847 node844 node846 inverter X849 node304 node190 node848 and2 X851 node848 node850 inverter X853 node784 node198 node852 and2 X855 node316 node852 node854 and2 X857 node854 node856 inverter X859 node790 node206 node858 and2 X861 node328 node858 node860 and2 X863 node860 node862 inverter X865 node796 node214 node864 and2 X867 node340 node864 node866 and2 X869 node866 node868 inverter X871 node190 node222 node870 and2 X873 node352 node870 node872 and2 X875 node872 node874 inverter X877 node784 node198 node230 node876 and3 X879 node364 node876 node878 and2 X881 node878 node880 inverter X883 node790 node206 node238 node882 and3 X885 node376 node882 node884 and2 X887 node884 node886 inverter X889 node796 node214 node248 node888 and3 X891 node388 node888 node890 and2 X893 node890 node892 inverter X895 node190 node222 node258 node894 and3 X897 node400 node894 node896 and2 X899 node896 node898 inverter X901 node784 node198 node230 node268 node900 and4 X903 node412 node900 node902 and2 X905 node902 node904 inverter X907 node14 node776 node780 node782 node906 nand4 X909 node788 node794 node800 node804 node908 nand4 X911 node808 node812 node816 node820 node910 nand4 X913 node824 node828 node832 node834 node912 nand4 X915 node838 node842 node846 node850 node914 nand4 X917 node856 node862 node868 node874 node916 nand4 X919 node880 node886 node892 node898 node918 nand4 X921 node904 node920 inverter X923 node912 node910 node908 node906 node922 or4 X925 node920 node918 node916 node914 node924 or4 X927 node922 node924 node926 or2 .connect node926 c28 X929 node18 node928 inverter X931 node22 node20 node930 nor2 X933 node930 node932 inverter X935 node26 node24 node20 node934 nor3 X937 node934 node936 inverter X939 node164 node938 inverter X941 node20 node940 inverter X943 node940 node172 node942 and2 X945 node942 node944 inverter X947 node24 node20 node946 nor2 X949 node946 node180 node948 and2 X951 node948 node950 inverter X953 node28 node24 node20 node952 nor3 X955 node952 node188 node954 and2 X957 node954 node956 inverter X959 node198 node196 node958 and2 X961 node958 node960 inverter X963 node940 node206 node204 node962 and3 X965 node962 node964 inverter X967 node946 node214 node212 node966 and3 X969 node966 node968 inverter X971 node952 node222 node220 node970 and3 X973 node970 node972 inverter X975 node198 node230 node228 node974 and3 X977 node974 node976 inverter X979 node940 node206 node238 node236 node978 and4 X981 node978 node980 inverter X983 node946 node214 node248 node246 node982 and4 X985 node982 node984 inverter X987 node952 node222 node258 node256 node986 and4 X989 node986 node988 inverter X991 node270 node990 inverter X993 node280 node20 node992 and2 X995 node992 node994 inverter X997 node292 node946 node996 and2 X999 node996 node998 inverter X1001 node304 node952 node1000 and2 X1003 node1000 node1002 inverter X1005 node316 node198 node1004 and2 X1007 node1004 node1006 inverter X1009 node940 node206 node1008 and2 X1011 node328 node1008 node1010 and2 X1013 node1010 node1012 inverter X1015 node946 node214 node1014 and2 X1017 node340 node1014 node1016 and2 X1019 node1016 node1018 inverter X1021 node952 node222 node1020 and2 X1023 node352 node1020 node1022 and2 X1025 node1022 node1024 inverter X1027 node198 node230 node1026 and2 X1029 node364 node1026 node1028 and2 X1031 node1028 node1030 inverter X1033 node940 node206 node238 node1032 and3 X1035 node376 node1032 node1034 and2 X1037 node1034 node1036 inverter X1039 node946 node214 node248 node1038 and3 X1041 node388 node1038 node1040 and2 X1043 node1040 node1042 inverter X1045 node952 node222 node258 node1044 and3 X1047 node400 node1044 node1046 and2 X1049 node1046 node1048 inverter X1051 node198 node230 node268 node1050 and3 X1053 node412 node1050 node1052 and2 X1055 node1052 node1054 inverter X1057 node18 node932 node936 node938 node1056 nand4 X1059 node944 node950 node956 node960 node1058 nand4 X1061 node964 node968 node972 node976 node1060 nand4 X1063 node980 node984 node988 node990 node1062 nand4 X1065 node994 node998 node1002 node1006 node1064 nand4 X1067 node1012 node1018 node1024 node1030 node1066 nand4 X1069 node1036 node1042 node1048 node1054 node1068 nand4 X1071 node1062 node1060 node1058 node1056 node1070 or4 X1073 node1068 node1066 node1064 node1072 or3 X1075 node1070 node1072 node1074 or2 .connect node1074 c27 X1077 node22 node1076 inverter X1079 node26 node24 node1078 nor2 X1081 node1078 node1080 inverter X1083 node30 node28 node24 node1082 nor3 X1085 node1082 node1084 inverter X1087 node172 node1086 inverter X1089 node24 node1088 inverter X1091 node1088 node180 node1090 and2 X1093 node1090 node1092 inverter X1095 node28 node24 node1094 nor2 X1097 node1094 node188 node1096 and2 X1099 node1096 node1098 inverter X1101 node32 node28 node24 node1100 nor3 X1103 node1100 node196 node1102 and2 X1105 node1102 node1104 inverter X1107 node206 node204 node1106 and2 X1109 node1106 node1108 inverter X1111 node1088 node214 node212 node1110 and3 X1113 node1110 node1112 inverter X1115 node1094 node222 node220 node1114 and3 X1117 node1114 node1116 inverter X1119 node1100 node230 node228 node1118 and3 X1121 node1118 node1120 inverter X1123 node206 node238 node236 node1122 and3 X1125 node1122 node1124 inverter X1127 node1088 node214 node248 node246 node1126 and4 X1129 node1126 node1128 inverter X1131 node1094 node222 node258 node256 node1130 and4 X1133 node1130 node1132 inverter X1135 node1100 node230 node268 node266 node1134 and4 X1137 node1134 node1136 inverter X1139 node280 node1138 inverter X1141 node292 node24 node1140 and2 X1143 node1140 node1142 inverter X1145 node304 node1094 node1144 and2 X1147 node1144 node1146 inverter X1149 node316 node1100 node1148 and2 X1151 node1148 node1150 inverter X1153 node328 node206 node1152 and2 X1155 node1152 node1154 inverter X1157 node1088 node214 node1156 and2 X1159 node340 node1156 node1158 and2 X1161 node1158 node1160 inverter X1163 node1094 node222 node1162 and2 X1165 node352 node1162 node1164 and2 X1167 node1164 node1166 inverter X1169 node1100 node230 node1168 and2 X1171 node364 node1168 node1170 and2 X1173 node1170 node1172 inverter X1175 node206 node238 node1174 and2 X1177 node376 node1174 node1176 and2 X1179 node1176 node1178 inverter X1181 node1088 node214 node248 node1180 and3 X1183 node388 node1180 node1182 and2 X1185 node1182 node1184 inverter X1187 node1094 node222 node258 node1186 and3 X1189 node400 node1186 node1188 and2 X1191 node1188 node1190 inverter X1193 node1100 node230 node268 node1192 and3 X1195 node412 node1192 node1194 and2 X1197 node1194 node1196 inverter X1199 node22 node1080 node1084 node1086 node1198 nand4 X1201 node1092 node1098 node1104 node1108 node1200 nand4 X1203 node1112 node1116 node1120 node1124 node1202 nand4 X1205 node1128 node1132 node1136 node1138 node1204 nand4 X1207 node1142 node1146 node1150 node1154 node1206 nand4 X1209 node1160 node1166 node1172 node1178 node1208 nand4 X1211 node1184 node1190 node1196 node1210 nand3 X1213 node1204 node1202 node1200 node1198 node1212 or4 X1215 node1210 node1208 node1206 node1214 or3 X1217 node1212 node1214 node1216 or2 .connect node1216 c26 X1219 node26 node1218 inverter X1221 node30 node28 node1220 nor2 X1223 node1220 node1222 inverter X1225 node34 node32 node28 node1224 nor3 X1227 node1224 node1226 inverter X1229 node180 node1228 inverter X1231 node28 node1230 inverter X1233 node1230 node188 node1232 and2 X1235 node1232 node1234 inverter X1237 node32 node28 node1236 nor2 X1239 node1236 node196 node1238 and2 X1241 node1238 node1240 inverter X1243 node36 node32 node28 node1242 nor3 X1245 node1242 node204 node1244 and2 X1247 node1244 node1246 inverter X1249 node214 node212 node1248 and2 X1251 node1248 node1250 inverter X1253 node1230 node222 node220 node1252 and3 X1255 node1252 node1254 inverter X1257 node1236 node230 node228 node1256 and3 X1259 node1256 node1258 inverter X1261 node1242 node238 node236 node1260 and3 X1263 node1260 node1262 inverter X1265 node214 node248 node246 node1264 and3 X1267 node1264 node1266 inverter X1269 node1230 node222 node258 node256 node1268 and4 X1271 node1268 node1270 inverter X1273 node1236 node230 node268 node266 node1272 and4 X1275 node1272 node1274 inverter X1277 node1242 node238 node278 node276 node1276 and4 X1279 node1276 node1278 inverter X1281 node292 node1280 inverter X1283 node304 node28 node1282 and2 X1285 node1282 node1284 inverter X1287 node316 node1236 node1286 and2 X1289 node1286 node1288 inverter X1291 node328 node1242 node1290 and2 X1293 node1290 node1292 inverter X1295 node340 node214 node1294 and2 X1297 node1294 node1296 inverter X1299 node1230 node222 node1298 and2 X1301 node352 node1298 node1300 and2 X1303 node1300 node1302 inverter X1305 node1236 node230 node1304 and2 X1307 node364 node1304 node1306 and2 X1309 node1306 node1308 inverter X1311 node1242 node238 node1310 and2 X1313 node376 node1310 node1312 and2 X1315 node1312 node1314 inverter X1317 node214 node248 node1316 and2 X1319 node388 node1316 node1318 and2 X1321 node1318 node1320 inverter X1323 node1230 node222 node258 node1322 and3 X1325 node400 node1322 node1324 and2 X1327 node1324 node1326 inverter X1329 node1236 node230 node268 node1328 and3 X1331 node412 node1328 node1330 and2 X1333 node1330 node1332 inverter X1335 node26 node1222 node1226 node1228 node1334 nand4 X1337 node1234 node1240 node1246 node1250 node1336 nand4 X1339 node1254 node1258 node1262 node1266 node1338 nand4 X1341 node1270 node1274 node1278 node1280 node1340 nand4 X1343 node1284 node1288 node1292 node1296 node1342 nand4 X1345 node1302 node1308 node1314 node1320 node1344 nand4 X1347 node1326 node1332 node1346 nand2 X1349 node1340 node1338 node1336 node1334 node1348 or4 X1351 node1346 node1344 node1342 node1350 or3 X1353 node1348 node1350 node1352 or2 .connect node1352 c25 X1355 node30 node1354 inverter X1357 node34 node32 node1356 nor2 X1359 node1356 node1358 inverter X1361 node38 node36 node32 node1360 nor3 X1363 node1360 node1362 inverter X1365 node188 node1364 inverter X1367 node32 node1366 inverter X1369 node1366 node196 node1368 and2 X1371 node1368 node1370 inverter X1373 node36 node32 node1372 nor2 X1375 node1372 node204 node1374 and2 X1377 node1374 node1376 inverter X1379 node40 node36 node32 node1378 nor3 X1381 node1378 node212 node1380 and2 X1383 node1380 node1382 inverter X1385 node222 node220 node1384 and2 X1387 node1384 node1386 inverter X1389 node1366 node230 node228 node1388 and3 X1391 node1388 node1390 inverter X1393 node1372 node238 node236 node1392 and3 X1395 node1392 node1394 inverter X1397 node1378 node248 node246 node1396 and3 X1399 node1396 node1398 inverter X1401 node222 node258 node256 node1400 and3 X1403 node1400 node1402 inverter X1405 node1366 node230 node268 node266 node1404 and4 X1407 node1404 node1406 inverter X1409 node1372 node238 node278 node276 node1408 and4 X1411 node1408 node1410 inverter X1413 node1378 node248 node290 node288 node1412 and4 X1415 node1412 node1414 inverter X1417 node304 node1416 inverter X1419 node316 node32 node1418 and2 X1421 node1418 node1420 inverter X1423 node328 node1372 node1422 and2 X1425 node1422 node1424 inverter X1427 node340 node1378 node1426 and2 X1429 node1426 node1428 inverter X1431 node352 node222 node1430 and2 X1433 node1430 node1432 inverter X1435 node1366 node230 node1434 and2 X1437 node364 node1434 node1436 and2 X1439 node1436 node1438 inverter X1441 node1372 node238 node1440 and2 X1443 node376 node1440 node1442 and2 X1445 node1442 node1444 inverter X1447 node1378 node248 node1446 and2 X1449 node388 node1446 node1448 and2 X1451 node1448 node1450 inverter X1453 node222 node258 node1452 and2 X1455 node400 node1452 node1454 and2 X1457 node1454 node1456 inverter X1459 node1366 node230 node268 node1458 and3 X1461 node412 node1458 node1460 and2 X1463 node1460 node1462 inverter X1465 node30 node1358 node1362 node1364 node1464 nand4 X1467 node1370 node1376 node1382 node1386 node1466 nand4 X1469 node1390 node1394 node1398 node1402 node1468 nand4 X1471 node1406 node1410 node1414 node1416 node1470 nand4 X1473 node1420 node1424 node1428 node1432 node1472 nand4 X1475 node1438 node1444 node1450 node1456 node1474 nand4 X1477 node1462 node1476 inverter X1479 node1470 node1468 node1466 node1464 node1478 or4 X1481 node1476 node1474 node1472 node1480 or3 X1483 node1478 node1480 node1482 or2 .connect node1482 c24 X1485 node34 node1484 inverter X1487 node38 node36 node1486 nor2 X1489 node1486 node1488 inverter X1491 node42 node40 node36 node1490 nor3 X1493 node1490 node1492 inverter X1495 node196 node1494 inverter X1497 node36 node1496 inverter X1499 node1496 node204 node1498 and2 X1501 node1498 node1500 inverter X1503 node40 node36 node1502 nor2 X1505 node1502 node212 node1504 and2 X1507 node1504 node1506 inverter X1509 node44 node40 node36 node1508 nor3 X1511 node1508 node220 node1510 and2 X1513 node1510 node1512 inverter X1515 node230 node228 node1514 and2 X1517 node1514 node1516 inverter X1519 node1496 node238 node236 node1518 and3 X1521 node1518 node1520 inverter X1523 node1502 node248 node246 node1522 and3 X1525 node1522 node1524 inverter X1527 node1508 node258 node256 node1526 and3 X1529 node1526 node1528 inverter X1531 node230 node268 node266 node1530 and3 X1533 node1530 node1532 inverter X1535 node1496 node238 node278 node276 node1534 and4 X1537 node1534 node1536 inverter X1539 node1502 node248 node290 node288 node1538 and4 X1541 node1538 node1540 inverter X1543 node1508 node258 node302 node300 node1542 and4 X1545 node1542 node1544 inverter X1547 node316 node1546 inverter X1549 node328 node36 node1548 and2 X1551 node1548 node1550 inverter X1553 node340 node1502 node1552 and2 X1555 node1552 node1554 inverter X1557 node352 node1508 node1556 and2 X1559 node1556 node1558 inverter X1561 node364 node230 node1560 and2 X1563 node1560 node1562 inverter X1565 node1496 node238 node1564 and2 X1567 node376 node1564 node1566 and2 X1569 node1566 node1568 inverter X1571 node1502 node248 node1570 and2 X1573 node388 node1570 node1572 and2 X1575 node1572 node1574 inverter X1577 node1508 node258 node1576 and2 X1579 node400 node1576 node1578 and2 X1581 node1578 node1580 inverter X1583 node230 node268 node1582 and2 X1585 node412 node1582 node1584 and2 X1587 node1584 node1586 inverter X1589 node34 node1488 node1492 node1494 node1588 nand4 X1591 node1500 node1506 node1512 node1516 node1590 nand4 X1593 node1520 node1524 node1528 node1532 node1592 nand4 X1595 node1536 node1540 node1544 node1546 node1594 nand4 X1597 node1550 node1554 node1558 node1562 node1596 nand4 X1599 node1568 node1574 node1580 node1586 node1598 nand4 X1601 node1594 node1592 node1590 node1588 node1600 or4 X1603 node1598 node1596 node1602 or2 X1605 node1600 node1602 node1604 or2 .connect node1604 c23 Xa221 a21 b21 a221 and2 Xa222 a21 c21 a222 and2 Xa223 b21 c21 a223 and2 Xr22 a221 a222 a223 r22 or3 .connect r22 c22 X1723 node42 node1722 inverter X1725 node46 node44 node1724 nor2 X1727 node1724 node1726 inverter X1729 node50 node48 node44 node1728 nor3 X1731 node1728 node1730 inverter X1733 node212 node1732 inverter X1735 node44 node1734 inverter X1737 node1734 node220 node1736 and2 X1739 node1736 node1738 inverter X1741 node48 node44 node1740 nor2 X1743 node1740 node228 node1742 and2 X1745 node1742 node1744 inverter X1747 node52 node48 node44 node1746 nor3 X1749 node1746 node236 node1748 and2 X1751 node1748 node1750 inverter X1753 node248 node246 node1752 and2 X1755 node1752 node1754 inverter X1757 node1734 node258 node256 node1756 and3 X1759 node1756 node1758 inverter X1761 node1740 node268 node266 node1760 and3 X1763 node1760 node1762 inverter X1765 node1746 node278 node276 node1764 and3 X1767 node1764 node1766 inverter X1769 node248 node290 node288 node1768 and3 X1771 node1768 node1770 inverter X1773 node1734 node258 node302 node300 node1772 and4 X1775 node1772 node1774 inverter X1777 node1740 node268 node314 node312 node1776 and4 X1779 node1776 node1778 inverter X1781 node1746 node278 node326 node324 node1780 and4 X1783 node1780 node1782 inverter X1785 node340 node1784 inverter X1787 node352 node44 node1786 and2 X1789 node1786 node1788 inverter X1791 node364 node1740 node1790 and2 X1793 node1790 node1792 inverter X1795 node376 node1746 node1794 and2 X1797 node1794 node1796 inverter X1799 node388 node248 node1798 and2 X1801 node1798 node1800 inverter X1803 node1734 node258 node1802 and2 X1805 node400 node1802 node1804 and2 X1807 node1804 node1806 inverter X1809 node1740 node268 node1808 and2 X1811 node412 node1808 node1810 and2 X1813 node1810 node1812 inverter X1815 node42 node1726 node1730 node1732 node1814 nand4 X1817 node1738 node1744 node1750 node1754 node1816 nand4 X1819 node1758 node1762 node1766 node1770 node1818 nand4 X1821 node1774 node1778 node1782 node1784 node1820 nand4 X1823 node1788 node1792 node1796 node1800 node1822 nand4 X1825 node1806 node1812 node1824 nand2 X1827 node1820 node1818 node1816 node1814 node1826 or4 X1829 node1824 node1822 node1828 or2 X1831 node1826 node1828 node1830 or2 .connect node1830 c21 X1833 node46 node1832 inverter X1835 node50 node48 node1834 nor2 X1837 node1834 node1836 inverter X1839 node54 node52 node48 node1838 nor3 X1841 node1838 node1840 inverter X1843 node220 node1842 inverter X1845 node48 node1844 inverter X1847 node1844 node228 node1846 and2 X1849 node1846 node1848 inverter X1851 node52 node48 node1850 nor2 X1853 node1850 node236 node1852 and2 X1855 node1852 node1854 inverter X1857 node56 node52 node48 node1856 nor3 X1859 node1856 node246 node1858 and2 X1861 node1858 node1860 inverter X1863 node258 node256 node1862 and2 X1865 node1862 node1864 inverter X1867 node1844 node268 node266 node1866 and3 X1869 node1866 node1868 inverter X1871 node1850 node278 node276 node1870 and3 X1873 node1870 node1872 inverter X1875 node1856 node290 node288 node1874 and3 X1877 node1874 node1876 inverter X1879 node258 node302 node300 node1878 and3 X1881 node1878 node1880 inverter X1883 node1844 node268 node314 node312 node1882 and4 X1885 node1882 node1884 inverter X1887 node1850 node278 node326 node324 node1886 and4 X1889 node1886 node1888 inverter X1891 node1856 node290 node338 node336 node1890 and4 X1893 node1890 node1892 inverter X1895 node352 node1894 inverter X1897 node364 node48 node1896 and2 X1899 node1896 node1898 inverter X1901 node376 node1850 node1900 and2 X1903 node1900 node1902 inverter X1905 node388 node1856 node1904 and2 X1907 node1904 node1906 inverter X1909 node400 node258 node1908 and2 X1911 node1908 node1910 inverter X1913 node1844 node268 node1912 and2 X1915 node412 node1912 node1914 and2 X1917 node1914 node1916 inverter X1919 node46 node1836 node1840 node1842 node1918 nand4 X1921 node1848 node1854 node1860 node1864 node1920 nand4 X1923 node1868 node1872 node1876 node1880 node1922 nand4 X1925 node1884 node1888 node1892 node1894 node1924 nand4 X1927 node1898 node1902 node1906 node1910 node1926 nand4 X1929 node1916 node1928 inverter X1931 node1924 node1922 node1920 node1918 node1930 or4 X1933 node1928 node1926 node1932 or2 X1935 node1930 node1932 node1934 or2 .connect node1934 c20 X1937 node50 node1936 inverter X1939 node54 node52 node1938 nor2 X1941 node1938 node1940 inverter X1943 node58 node56 node52 node1942 nor3 X1945 node1942 node1944 inverter X1947 node228 node1946 inverter X1949 node52 node1948 inverter X1951 node1948 node236 node1950 and2 X1953 node1950 node1952 inverter X1955 node56 node52 node1954 nor2 X1957 node1954 node246 node1956 and2 X1959 node1956 node1958 inverter X1961 node60 node56 node52 node1960 nor3 X1963 node1960 node256 node1962 and2 X1965 node1962 node1964 inverter X1967 node268 node266 node1966 and2 X1969 node1966 node1968 inverter X1971 node1948 node278 node276 node1970 and3 X1973 node1970 node1972 inverter X1975 node1954 node290 node288 node1974 and3 X1977 node1974 node1976 inverter X1979 node1960 node302 node300 node1978 and3 X1981 node1978 node1980 inverter X1983 node268 node314 node312 node1982 and3 X1985 node1982 node1984 inverter X1987 node1948 node278 node326 node324 node1986 and4 X1989 node1986 node1988 inverter X1991 node1954 node290 node338 node336 node1990 and4 X1993 node1990 node1992 inverter X1995 node1960 node302 node350 node348 node1994 and4 X1997 node1994 node1996 inverter X1999 node364 node1998 inverter X2001 node376 node52 node2000 and2 X2003 node2000 node2002 inverter X2005 node388 node1954 node2004 and2 X2007 node2004 node2006 inverter X2009 node400 node1960 node2008 and2 X2011 node2008 node2010 inverter X2013 node412 node268 node2012 and2 X2015 node2012 node2014 inverter X2017 node50 node1940 node1944 node1946 node2016 nand4 X2019 node1952 node1958 node1964 node1968 node2018 nand4 X2021 node1972 node1976 node1980 node1984 node2020 nand4 X2023 node1988 node1992 node1996 node1998 node2022 nand4 X2025 node2002 node2006 node2010 node2014 node2024 nand4 X2027 node2022 node2020 node2018 node2016 node2026 or4 X2029 node2026 node2024 node2028 or2 .connect node2028 c19 X2031 node54 node2030 inverter X2033 node58 node56 node2032 nor2 X2035 node2032 node2034 inverter X2037 node62 node60 node56 node2036 nor3 X2039 node2036 node2038 inverter X2041 node236 node2040 inverter X2043 node56 node2042 inverter X2045 node2042 node246 node2044 and2 X2047 node2044 node2046 inverter X2049 node60 node56 node2048 nor2 X2051 node2048 node256 node2050 and2 X2053 node2050 node2052 inverter X2055 node64 node60 node56 node2054 nor3 X2057 node2054 node266 node2056 and2 X2059 node2056 node2058 inverter X2061 node278 node276 node2060 and2 X2063 node2060 node2062 inverter X2065 node2042 node290 node288 node2064 and3 X2067 node2064 node2066 inverter X2069 node2048 node302 node300 node2068 and3 X2071 node2068 node2070 inverter X2073 node2054 node314 node312 node2072 and3 X2075 node2072 node2074 inverter X2077 node278 node326 node324 node2076 and3 X2079 node2076 node2078 inverter X2081 node2042 node290 node338 node336 node2080 and4 X2083 node2080 node2082 inverter X2085 node2048 node302 node350 node348 node2084 and4 X2087 node2084 node2086 inverter X2089 node2054 node314 node362 node360 node2088 and4 X2091 node2088 node2090 inverter X2093 node376 node2092 inverter X2095 node388 node56 node2094 and2 X2097 node2094 node2096 inverter X2099 node400 node2048 node2098 and2 X2101 node2098 node2100 inverter X2103 node412 node2054 node2102 and2 X2105 node2102 node2104 inverter X2107 node54 node2034 node2038 node2040 node2106 nand4 X2109 node2046 node2052 node2058 node2062 node2108 nand4 X2111 node2066 node2070 node2074 node2078 node2110 nand4 X2113 node2082 node2086 node2090 node2092 node2112 nand4 X2115 node2096 node2100 node2104 node2114 nand3 X2117 node2112 node2110 node2108 node2106 node2116 or4 X2119 node2116 node2114 node2118 or2 .connect node2118 c18 Xa171 a16 b16 a171 and2 Xa172 a16 c16 a172 and2 Xa173 b16 c16 a173 and2 Xr17 a171 a172 a173 r17 or3 .connect r17 c17 Xa161 a15 b15 a161 and2 Xa162 a15 c15 a162 and2 Xa163 b15 c15 a163 and2 Xr16 a161 a162 a163 r16 or3 .connect r16 c16 X2289 node66 node2288 inverter X2291 node70 node68 node2290 nor2 X2293 node2290 node2292 inverter X2295 node74 node72 node68 node2294 nor3 X2297 node2294 node2296 inverter X2299 node266 node2298 inverter X2301 node68 node2300 inverter X2303 node2300 node276 node2302 and2 X2305 node2302 node2304 inverter X2307 node72 node68 node2306 nor2 X2309 node2306 node288 node2308 and2 X2311 node2308 node2310 inverter X2313 node76 node72 node68 node2312 nor3 X2315 node2312 node300 node2314 and2 X2317 node2314 node2316 inverter X2319 node314 node312 node2318 and2 X2321 node2318 node2320 inverter X2323 node2300 node326 node324 node2322 and3 X2325 node2322 node2324 inverter X2327 node2306 node338 node336 node2326 and3 X2329 node2326 node2328 inverter X2331 node2312 node350 node348 node2330 and3 X2333 node2330 node2332 inverter X2335 node314 node362 node360 node2334 and3 X2337 node2334 node2336 inverter X2339 node2300 node326 node374 node372 node2338 and4 X2341 node2338 node2340 inverter X2343 node2306 node338 node386 node384 node2342 and4 X2345 node2342 node2344 inverter X2347 node2312 node350 node398 node396 node2346 and4 X2349 node2346 node2348 inverter X2351 node412 node2350 inverter X2353 node66 node2292 node2296 node2298 node2352 nand4 X2355 node2304 node2310 node2316 node2320 node2354 nand4 X2357 node2324 node2328 node2332 node2336 node2356 nand4 X2359 node2340 node2344 node2348 node2350 node2358 nand4 X2361 node2358 node2356 node2354 node2352 node2360 or4 .connect node2360 c15 X2363 node70 node2362 inverter X2365 node74 node72 node2364 nor2 X2367 node2364 node2366 inverter X2369 node78 node76 node72 node2368 nor3 X2371 node2368 node2370 inverter X2373 node276 node2372 inverter X2375 node72 node2374 inverter X2377 node2374 node288 node2376 and2 X2379 node2376 node2378 inverter X2381 node76 node72 node2380 nor2 X2383 node2380 node300 node2382 and2 X2385 node2382 node2384 inverter X2387 node80 node76 node72 node2386 nor3 X2389 node2386 node312 node2388 and2 X2391 node2388 node2390 inverter X2393 node326 node324 node2392 and2 X2395 node2392 node2394 inverter X2397 node2374 node338 node336 node2396 and3 X2399 node2396 node2398 inverter X2401 node2380 node350 node348 node2400 and3 X2403 node2400 node2402 inverter X2405 node2386 node362 node360 node2404 and3 X2407 node2404 node2406 inverter X2409 node326 node374 node372 node2408 and3 X2411 node2408 node2410 inverter X2413 node2374 node338 node386 node384 node2412 and4 X2415 node2412 node2414 inverter X2417 node2380 node350 node398 node396 node2416 and4 X2419 node2416 node2418 inverter X2421 node2386 node362 node410 node408 node2420 and4 X2423 node2420 node2422 inverter X2425 node70 node2366 node2370 node2372 node2424 nand4 X2427 node2378 node2384 node2390 node2394 node2426 nand4 X2429 node2398 node2402 node2406 node2410 node2428 nand4 X2431 node2414 node2418 node2422 node2430 nand3 X2433 node2430 node2428 node2426 node2424 node2432 or4 .connect node2432 c14 X2435 node74 node2434 inverter X2437 node78 node76 node2436 nor2 X2439 node2436 node2438 inverter X2441 node82 node80 node76 node2440 nor3 X2443 node2440 node2442 inverter X2445 node288 node2444 inverter X2447 node76 node2446 inverter X2449 node2446 node300 node2448 and2 X2451 node2448 node2450 inverter X2453 node80 node76 node2452 nor2 X2455 node2452 node312 node2454 and2 X2457 node2454 node2456 inverter X2459 node84 node80 node76 node2458 nor3 X2461 node2458 node324 node2460 and2 X2463 node2460 node2462 inverter X2465 node338 node336 node2464 and2 X2467 node2464 node2466 inverter X2469 node2446 node350 node348 node2468 and3 X2471 node2468 node2470 inverter X2473 node2452 node362 node360 node2472 and3 X2475 node2472 node2474 inverter X2477 node2458 node374 node372 node2476 and3 X2479 node2476 node2478 inverter X2481 node338 node386 node384 node2480 and3 X2483 node2480 node2482 inverter X2485 node2446 node350 node398 node396 node2484 and4 X2487 node2484 node2486 inverter X2489 node2452 node362 node410 node408 node2488 and4 X2491 node2488 node2490 inverter X2493 node74 node2438 node2442 node2444 node2492 nand4 X2495 node2450 node2456 node2462 node2466 node2494 nand4 X2497 node2470 node2474 node2478 node2482 node2496 nand4 X2499 node2486 node2490 node2498 nand2 X2501 node2498 node2496 node2494 node2492 node2500 or4 .connect node2500 c13 X2503 node78 node2502 inverter X2505 node82 node80 node2504 nor2 X2507 node2504 node2506 inverter X2509 node86 node84 node80 node2508 nor3 X2511 node2508 node2510 inverter X2513 node300 node2512 inverter X2515 node80 node2514 inverter X2517 node2514 node312 node2516 and2 X2519 node2516 node2518 inverter X2521 node84 node80 node2520 nor2 X2523 node2520 node324 node2522 and2 X2525 node2522 node2524 inverter X2527 node88 node84 node80 node2526 nor3 X2529 node2526 node336 node2528 and2 X2531 node2528 node2530 inverter X2533 node350 node348 node2532 and2 X2535 node2532 node2534 inverter X2537 node2514 node362 node360 node2536 and3 X2539 node2536 node2538 inverter X2541 node2520 node374 node372 node2540 and3 X2543 node2540 node2542 inverter X2545 node2526 node386 node384 node2544 and3 X2547 node2544 node2546 inverter X2549 node350 node398 node396 node2548 and3 X2551 node2548 node2550 inverter X2553 node2514 node362 node410 node408 node2552 and4 X2555 node2552 node2554 inverter X2557 node78 node2506 node2510 node2512 node2556 nand4 X2559 node2518 node2524 node2530 node2534 node2558 nand4 X2561 node2538 node2542 node2546 node2550 node2560 nand4 X2563 node2554 node2562 inverter X2565 node2562 node2560 node2558 node2556 node2564 or4 .connect node2564 c12 X2567 node82 node2566 inverter X2569 node86 node84 node2568 nor2 X2571 node2568 node2570 inverter X2573 node90 node88 node84 node2572 nor3 X2575 node2572 node2574 inverter X2577 node312 node2576 inverter X2579 node84 node2578 inverter X2581 node2578 node324 node2580 and2 X2583 node2580 node2582 inverter X2585 node88 node84 node2584 nor2 X2587 node2584 node336 node2586 and2 X2589 node2586 node2588 inverter X2591 node92 node88 node84 node2590 nor3 X2593 node2590 node348 node2592 and2 X2595 node2592 node2594 inverter X2597 node362 node360 node2596 and2 X2599 node2596 node2598 inverter X2601 node2578 node374 node372 node2600 and3 X2603 node2600 node2602 inverter X2605 node2584 node386 node384 node2604 and3 X2607 node2604 node2606 inverter X2609 node2590 node398 node396 node2608 and3 X2611 node2608 node2610 inverter X2613 node362 node410 node408 node2612 and3 X2615 node2612 node2614 inverter X2617 node82 node2570 node2574 node2576 node2616 nand4 X2619 node2582 node2588 node2594 node2598 node2618 nand4 X2621 node2602 node2606 node2610 node2614 node2620 nand4 X2623 node2620 node2618 node2616 node2622 or3 .connect node2622 c11 X2625 node86 node2624 inverter X2627 node90 node88 node2626 nor2 X2629 node2626 node2628 inverter X2631 node94 node92 node88 node2630 nor3 X2633 node2630 node2632 inverter X2635 node324 node2634 inverter X2637 node88 node2636 inverter X2639 node2636 node336 node2638 and2 X2641 node2638 node2640 inverter X2643 node92 node88 node2642 nor2 X2645 node2642 node348 node2644 and2 X2647 node2644 node2646 inverter X2649 node96 node92 node88 node2648 nor3 X2651 node2648 node360 node2650 and2 X2653 node2650 node2652 inverter X2655 node374 node372 node2654 and2 X2657 node2654 node2656 inverter X2659 node2636 node386 node384 node2658 and3 X2661 node2658 node2660 inverter X2663 node2642 node398 node396 node2662 and3 X2665 node2662 node2664 inverter X2667 node2648 node410 node408 node2666 and3 X2669 node2666 node2668 inverter X2671 node86 node2628 node2632 node2634 node2670 nand4 X2673 node2640 node2646 node2652 node2656 node2672 nand4 X2675 node2660 node2664 node2668 node2674 nand3 X2677 node2674 node2672 node2670 node2676 or3 .connect node2676 c10 X2679 node90 node2678 inverter X2681 node94 node92 node2680 nor2 X2683 node2680 node2682 inverter X2685 node98 node96 node92 node2684 nor3 X2687 node2684 node2686 inverter X2689 node336 node2688 inverter X2691 node92 node2690 inverter X2693 node2690 node348 node2692 and2 X2695 node2692 node2694 inverter X2697 node96 node92 node2696 nor2 X2699 node2696 node360 node2698 and2 X2701 node2698 node2700 inverter X2703 node100 node96 node92 node2702 nor3 X2705 node2702 node372 node2704 and2 X2707 node2704 node2706 inverter X2709 node386 node384 node2708 and2 X2711 node2708 node2710 inverter X2713 node2690 node398 node396 node2712 and3 X2715 node2712 node2714 inverter X2717 node2696 node410 node408 node2716 and3 X2719 node2716 node2718 inverter X2721 node90 node2682 node2686 node2688 node2720 nand4 X2723 node2694 node2700 node2706 node2710 node2722 nand4 X2725 node2714 node2718 node2724 nand2 X2727 node2724 node2722 node2720 node2726 or3 .connect node2726 c9 X2729 node94 node2728 inverter X2731 node98 node96 node2730 nor2 X2733 node2730 node2732 inverter X2735 node102 node100 node96 node2734 nor3 X2737 node2734 node2736 inverter X2739 node348 node2738 inverter X2741 node96 node2740 inverter X2743 node2740 node360 node2742 and2 X2745 node2742 node2744 inverter X2747 node100 node96 node2746 nor2 X2749 node2746 node372 node2748 and2 X2751 node2748 node2750 inverter X2753 node104 node100 node96 node2752 nor3 X2755 node2752 node384 node2754 and2 X2757 node2754 node2756 inverter X2759 node398 node396 node2758 and2 X2761 node2758 node2760 inverter X2763 node2740 node410 node408 node2762 and3 X2765 node2762 node2764 inverter X2767 node94 node2732 node2736 node2738 node2766 nand4 X2769 node2744 node2750 node2756 node2760 node2768 nand4 X2771 node2764 node2770 inverter X2773 node2770 node2768 node2766 node2772 or3 .connect node2772 c8 X2775 node98 node2774 inverter X2777 node102 node100 node2776 nor2 X2779 node2776 node2778 inverter X2781 node106 node104 node100 node2780 nor3 X2783 node2780 node2782 inverter X2785 node360 node2784 inverter X2787 node100 node2786 inverter X2789 node2786 node372 node2788 and2 X2791 node2788 node2790 inverter X2793 node104 node100 node2792 nor2 X2795 node2792 node384 node2794 and2 X2797 node2794 node2796 inverter X2799 node108 node104 node100 node2798 nor3 X2801 node2798 node396 node2800 and2 X2803 node2800 node2802 inverter X2805 node410 node408 node2804 and2 X2807 node2804 node2806 inverter X2809 node98 node2778 node2782 node2784 node2808 nand4 X2811 node2790 node2796 node2802 node2806 node2810 nand4 X2813 node2810 node2808 node2812 or2 .connect node2812 c7 X2815 node102 node2814 inverter X2817 node106 node104 node2816 nor2 X2819 node2816 node2818 inverter X2821 node110 node108 node104 node2820 nor3 X2823 node2820 node2822 inverter X2825 node372 node2824 inverter X2827 node104 node2826 inverter X2829 node2826 node384 node2828 and2 X2831 node2828 node2830 inverter X2833 node108 node104 node2832 nor2 X2835 node2832 node396 node2834 and2 X2837 node2834 node2836 inverter X2839 node112 node108 node104 node2838 nor3 X2841 node2838 node408 node2840 and2 X2843 node2840 node2842 inverter X2845 node102 node2818 node2822 node2824 node2844 nand4 X2847 node2830 node2836 node2842 node2846 nand3 X2849 node2846 node2844 node2848 or2 .connect node2848 c6 X2851 node106 node2850 inverter X2853 node110 node108 node2852 nor2 X2855 node2852 node2854 inverter X2857 node114 node112 node108 node2856 nor3 X2859 node2856 node2858 inverter X2861 node384 node2860 inverter X2863 node108 node2862 inverter X2865 node2862 node396 node2864 and2 X2867 node2864 node2866 inverter X2869 node112 node108 node2868 nor2 X2871 node2868 node408 node2870 and2 X2873 node2870 node2872 inverter X2875 node106 node2854 node2858 node2860 node2874 nand4 X2877 node2866 node2872 node2876 nand2 X2879 node2876 node2874 node2878 or2 .connect node2878 c5 X2881 node110 node2880 inverter X2883 node114 node112 node2882 nor2 X2885 node2882 node2884 inverter X2887 node118 node116 node112 node2886 nor3 X2889 node2886 node2888 inverter X2891 node396 node2890 inverter X2893 node112 node2892 inverter X2895 node2892 node408 node2894 and2 X2897 node2894 node2896 inverter X2899 node110 node2884 node2888 node2890 node2898 nand4 X2901 node2896 node2900 inverter X2903 node2900 node2898 node2902 or2 .connect node2902 c4 X2905 node114 node2904 inverter X2907 node118 node116 node2906 nor2 X2909 node2906 node2908 inverter X2911 node122 node120 node116 node2910 nor3 X2913 node2910 node2912 inverter X2915 node408 node2914 inverter X2917 node114 node2908 node2912 node2914 node2916 nand4 .connect node2916 c3 X2919 node118 node2918 inverter X2921 node122 node120 node2920 nor2 X2923 node2920 node2922 inverter X2925 notcin node124 node120 node2924 nor3 X2927 node2924 node2926 inverter X2929 node118 node2922 node2926 node2928 nand3 .connect node2928 c2 X2931 node122 node2930 inverter X2933 notcin node124 node2932 nor2 X2935 node2932 node2934 inverter X2937 node122 node2934 node2936 nand2 .connect node2936 c1 Xxor1 a[31:0] b[31:0] sub[31:0] xor2 Xxor2 sub[31:0] c[31:0] s[31:0] xor2 Xand1 s0 s1 s2 s3 and1 or4 Xand2 s4 s5 s6 s7 and2 or4 Xand3 s8 s9 s10 s11 and3 or4 Xand4 s12 s13 s14 s15 and4 or4 Xand5 s16 s17 s18 s19 and5 or4 Xand6 s20 s21 s22 s23 and6 or4 Xand7 s24 s25 s26 s27 and7 or4 Xand8 s28 s29 s30 s31 and8 or4 Xaand1 and1 and2 and3 and4 aand1 or4 Xaand2 and5 and6 and7 and8 aand2 or4 Xaaand3 aand1 aand2 z nor2 .connect n s31 Xvn n vn inverter Xvand a31 b31 vn vand and3 Xvnor a31 b31 vn vnor nor3 Xv vand vnor v or2 .ends .subckt compare32 op2 op1 z v n cmp[31:0] .connect cmp[31:1] 0 Xnop2 op2 nop2 inverter Xnop1 op1 nop1 inverter Xeq nop2 op1 eq and2 Xlt op2 nop1 lt and2 Xle op2 op1 le and2 Xltx n v ltx xor2 Xlex z ltx lex or2 Xequ eq z equ and2 Xltu ltx lt ltu and2 Xleu lex le leu and2 Xfinal equ ltu leu cmp0 or3 .ends