EvoApproxLib^LITE

/***
* This code is a part of EvoApproxLib library (ehw.fit.vutbr.cz/approxlib) distributed under The MIT License.
* When used, please cite the following article(s): V. Mrazek, Z. Vasicek and R. Hrbacek, "Role of circuit representation in evolutionary design of energy-efficient approximate circuits" in IET Computers & Digital Techniques, vol. 12, no. 4, pp. 139-149, 7 2018. doi: 10.1049/iet-cdt.2017.0188 
* This file contains a circuit from a sub-set of pareto optimal circuits with respect to the pwr and mae parameters
***/
// MAE% = 0.0058 %
// MAE = 971 
// WCE% = 0.025 %
// WCE = 4176 
// WCRE% = 3601.79 %
// EP% = 99.99 %
// MRE% = 0.30 %
// MSE = 14611.25e2 
// PDK45_PWR = 0.817 mW
// PDK45_AREA = 1131.5 um2
// PDK45_DELAY = 2.88 ns
#include <stdint.h>
#include <stdlib.h>

uint64_t mul12u_10C(uint64_t a, uint64_t b) {
  uint64_t o = 0;
  int n_1192=0, n_1750=0, n_1206=0, n_1613=0, n_1612=0, n_1200=0, n_1817=0, n_1816=0, n_1684=0, n_1685=0;
  int n_894=0, n_1295=0, n_1294=0, n_154=0, n_155=0, n_1866=0, n_1867=0, n_728=0, n_720=0, n_1758=0;
  int n_2032=0, n_2033=0, n_1323=0, n_554=0, n_126=0, n_120=0, n_1032=0, n_1402=0, n_1969=0, n_1968=0;
  int n_18=0, n_19=0, n_16=0, n_17=0, n_14=0, n_15=0, n_12=0, n_13=0, n_10=0, n_11=0;
  int n_880=0, n_888=0, n_1532=0, n_1714=0, n_1084=0, n_902=0, n_1337=0, n_1497=0, n_1496=0, n_1491=0;
  int n_1322=0, n_85=0, n_84=0, n_1916=0, n_1910=0, n_1149=0, n_1148=0, n_1662=0, n_1663=0, n_1143=0;
  int n_1142=0, n_1394=0, n_1983=0, n_1982=0, n_1822=0, n_1823=0, n_569=0, n_568=0, n_562=0, n_953=0;
  int n_169=0, n_168=0, n_286=0, n_287=0, n_301=0, n_300=0, n_642=0, n_794=0, n_604=0, n_605=0;
  int n_795=0, n_947=0, n_946=0, n_1366=0, n_1946=0, n_45=0, n_44=0, n_47=0, n_46=0, n_41=0;
  int n_40=0, n_43=0, n_42=0, n_1040=0, n_866=0, n_49=0, n_48=0, n_1894=0, n_996=0, n_460=0;
  int n_461=0, n_997=0, n_1562=0, n_468=0, n_469=0, n_1446=0, n_1447=0, n_453=0, n_1568=0, n_1626=0;
  int n_1627=0, n_1620=0, n_1621=0, n_1214=0, n_1742=0, n_1693=0, n_1692=0, n_1134=0, n_1135=0, n_1874=0;
  int n_1511=0, n_635=0, n_634=0, n_2027=0, n_2026=0, n_648=0, n_649=0, n_526=0, n_134=0, n_643=0;
  int n_822=0, n_823=0, n_983=0, n_982=0, n_1554=0, n_452=0, n_358=0, n_991=0, n_736=0, n_1526=0;
  int n_1250=0, n_1700=0, n_1706=0, n_1258=0, n_1991=0, n_916=0, n_910=0, n_858=0, n_1316=0, n_1317=0;
  int n_1902=0, n_1416=0, n_1598=0, n_1410=0, n_1794=0, n_1795=0, n_1170=0, n_1171=0, n_1772=0, n_1679=0;
  int n_1678=0, n_1778=0, n_1670=0, n_1388=0, n_1380=0, n_1831=0, n_1830=0, n_1837=0, n_1836=0, n_318=0;
  int n_706=0, n_380=0, n_2018=0, n_2019=0, n_388=0, n_2010=0, n_2011=0, n_778=0, n_779=0, n_952=0;
  int n_1054=0, n_1358=0, n_1424=0, n_1352=0, n_30=0, n_31=0, n_32=0, n_33=0, n_34=0, n_35=0;
  int n_36=0, n_37=0, n_38=0, n_39=0, n_1584=0, n_817=0, n_816=0, n_1048=0, n_1049=0, n_787=0;
  int n_1510=0, n_786=0, n_1952=0, n_1453=0, n_1452=0, n_1518=0, n_1519=0, n_1635=0, n_1634=0, n_1228=0;
  int n_1220=0, n_1736=0, n_1590=0, n_1642=0, n_1643=0, n_1127=0, n_1126=0, n_1648=0, n_1120=0, n_1844=0;
  int n_1845=0, n_626=0, n_627=0, n_192=0, n_193=0, n_1961=0, n_1960=0, n_1649=0, n_105=0, n_104=0;
  int n_366=0, n_446=0, n_1540=0, n_692=0, n_2041=0, n_2040=0, n_214=0, n_745=0, n_744=0, n_1301=0;
  int n_1300=0, n_1309=0, n_1308=0, n_969=0, n_968=0, n_1068=0, n_961=0, n_960=0, n_1062=0, n_1938=0;
  int n_1932=0, n_62=0, n_61=0, n_60=0, n_1460=0, n_1461=0, n_990=0, n_1671=0, n_1468=0, n_1469=0;
  int n_1787=0, n_1786=0, n_1163=0, n_1162=0, n_8=0, n_9=0, n_4=0, n_5=0, n_6=0, n_7=0;
  int n_0=0, n_1=0, n_2=0, n_3=0, n_1764=0, n_1604=0, n_1800=0, n_1801=0, n_1808=0, n_1809=0;
  int n_1242=0, n_548=0, n_540=0, n_1990=0, n_1112=0, n_1286=0, n_1287=0, n_143=0, n_142=0, n_714=0;
  int n_620=0, n_394=0, n_395=0, n_2005=0, n_2004=0, n_1439=0, n_1438=0, n_1345=0, n_1432=0, n_23=0;
  int n_22=0, n_21=0, n_20=0, n_27=0, n_26=0, n_25=0, n_24=0, n_1974=0, n_1975=0, n_29=0;
  int n_28=0, n_1505=0, n_1504=0, n_1490=0, n_482=0, n_1236=0, n_1728=0, n_1482=0, n_1483=0, n_1336=0;
  int n_1720=0, n_1330=0, n_1331=0, n_1657=0, n_1656=0, n_1156=0, n_1157=0, n_1996=0, n_1997=0, n_1859=0;
  int n_1858=0, n_1853=0, n_1852=0, n_613=0, n_612=0, n_1344=0, n_112=0, n_113=0, n_295=0, n_294=0;
  int n_808=0, n_809=0, n_273=0, n_272=0, n_374=0, n_279=0, n_278=0, n_1576=0, n_800=0, n_1548=0;
  int n_801=0, n_200=0, n_206=0, n_1279=0, n_1278=0, n_1374=0, n_1273=0, n_1272=0, n_447=0, n_1924=0;
  int n_1888=0, n_874=0, n_1076=0, n_1880=0, n_974=0, n_975=0, n_52=0, n_53=0, n_475=0, n_474=0;
  int n_1475=0, n_1474=0;
  n_0 = (a >> 0) & 0x1;
  n_1 = (a >> 0) & 0x1;
  n_2 = (a >> 1) & 0x1;
  n_3 = (a >> 1) & 0x1;
  n_4 = (a >> 2) & 0x1;
  n_5 = (a >> 2) & 0x1;
  n_6 = (a >> 3) & 0x1;
  n_7 = (a >> 3) & 0x1;
  n_8 = (a >> 4) & 0x1;
  n_9 = (a >> 4) & 0x1;
  n_10 = (a >> 5) & 0x1;
  n_11 = (a >> 5) & 0x1;
  n_12 = (a >> 6) & 0x1;
  n_13 = (a >> 6) & 0x1;
  n_14 = (a >> 7) & 0x1;
  n_15 = (a >> 7) & 0x1;
  n_16 = (a >> 8) & 0x1;
  n_17 = (a >> 8) & 0x1;
  n_18 = (a >> 9) & 0x1;
  n_19 = (a >> 9) & 0x1;
  n_20 = (a >> 10) & 0x1;
  n_21 = (a >> 10) & 0x1;
  n_22 = (a >> 11) & 0x1;
  n_23 = (a >> 11) & 0x1;
  n_24 = (b >> 0) & 0x1;
  n_25 = (b >> 0) & 0x1;
  n_26 = (b >> 1) & 0x1;
  n_27 = (b >> 1) & 0x1;
  n_28 = (b >> 2) & 0x1;
  n_29 = (b >> 2) & 0x1;
  n_30 = (b >> 3) & 0x1;
  n_31 = (b >> 3) & 0x1;
  n_32 = (b >> 4) & 0x1;
  n_33 = (b >> 4) & 0x1;
  n_34 = (b >> 5) & 0x1;
  n_35 = (b >> 5) & 0x1;
  n_36 = (b >> 6) & 0x1;
  n_37 = (b >> 6) & 0x1;
  n_38 = (b >> 7) & 0x1;
  n_39 = (b >> 7) & 0x1;
  n_40 = (b >> 8) & 0x1;
  n_41 = (b >> 8) & 0x1;
  n_42 = (b >> 9) & 0x1;
  n_43 = (b >> 9) & 0x1;
  n_44 = (b >> 10) & 0x1;
  n_45 = (b >> 10) & 0x1;
  n_46 = (b >> 11) & 0x1;
  n_47 = (b >> 11) & 0x1;
  n_48 = ~(n_34 | n_44 | n_6);
  n_49 = n_48;
  n_52 = ~(n_34 & n_49);
  n_53 = n_52;
  n_60 = ~n_53;
  n_61 = n_60;
  n_62 = n_6 & n_24;
  n_84 = n_26 & n_62;
  n_85 = n_84;
  n_104 = n_49 & n_62;
  n_105 = n_104;
  n_112 = n_18 & n_62;
  n_113 = n_112;
  n_120 = n_20 & n_24;
  n_126 = n_22 & n_24;
  n_134 = n_46 & n_60;
  n_142 = ~n_61;
  n_143 = n_142;
  n_154 = ~n_53;
  n_155 = n_154;
  n_168 = n_105;
  n_169 = n_168;
  n_192 = ~n_169;
  n_193 = n_192;
  n_200 = n_18 & n_26;
  n_206 = n_20 & n_26;
  n_214 = n_22 & n_26;
  n_272 = n_193 & n_143;
  n_273 = n_272;
  n_278 = n_112 ^ n_192;
  n_279 = n_112 & n_192;
  n_286 = n_120 ^ n_200 ^n_113;
  n_287 = (n_120 & n_200) | (n_200 & n_113) | (n_120 & n_113);
  n_294 = n_126 ^ n_206 ^n_287;
  n_295 = (n_126 & n_206) | (n_206 & n_287) | (n_126 & n_287);
  n_300 = n_295 ^ n_214;
  n_301 = n_295 & n_214;
  n_318 = n_61;
  n_358 = n_85 & n_28;
  n_366 = n_16 & n_28;
  n_374 = n_18 & n_28;
  n_380 = n_20 & n_28;
  n_388 = n_22 & n_28;
  n_394 = ~n_273;
  n_395 = n_394;
  n_446 = n_278 & n_358;
  n_447 = n_446;
  n_452 = n_286 ^ n_366 ^n_447;
  n_453 = (n_286 & n_366) | (n_366 & n_447) | (n_286 & n_447);
  n_460 = n_294 ^ n_374 ^n_453;
  n_461 = (n_294 & n_374) | (n_374 & n_453) | (n_294 & n_453);
  n_468 = n_300 ^ n_380 ^n_461;
  n_469 = (n_300 & n_380) | (n_380 & n_461) | (n_300 & n_461);
  n_474 = n_301 ^ n_388 ^n_469;
  n_475 = (n_301 & n_388) | (n_388 & n_469) | (n_301 & n_469);
  n_482 = ~n_395;
  n_526 = n_12 & n_30;
  n_540 = n_16 & n_30;
  n_548 = n_18 & n_30;
  n_554 = n_20 & n_30;
  n_562 = n_22 & n_30;
  n_568 = n_193;
  n_569 = n_568;
  n_604 = n_61 ^ n_358 ^n_155;
  n_605 = (n_61 & n_358) | (n_358 & n_155) | (n_61 & n_155);
  n_612 = n_605 ^ n_526 ^n_605;
  n_613 = (n_605 & n_526) | (n_526 & n_605) | (n_605 & n_605);
  n_620 = n_452 ^ n_134;
  n_626 = n_460 ^ n_540;
  n_627 = n_460 & n_540;
  n_634 = n_468 ^ n_548 ^n_627;
  n_635 = (n_468 & n_548) | (n_548 & n_627) | (n_468 & n_627);
  n_642 = n_474 ^ n_554 ^n_635;
  n_643 = (n_474 & n_554) | (n_554 & n_635) | (n_474 & n_635);
  n_648 = n_475 ^ n_562 ^n_643;
  n_649 = (n_475 & n_562) | (n_562 & n_643) | (n_475 & n_643);
  n_692 = n_10 & n_32;
  n_706 = n_14 & n_32;
  n_714 = n_16 & n_32;
  n_720 = n_18 & n_32;
  n_728 = n_20 & n_32;
  n_736 = n_22 & n_32;
  n_744 = n_169;
  n_745 = n_744;
  n_778 = n_612 ^ n_692;
  n_779 = n_612 & n_692;
  n_786 = n_620 ^ n_272 ^n_779;
  n_787 = (n_620 & n_272) | (n_272 & n_779) | (n_620 & n_779);
  n_794 = n_626 ^ n_706 ^n_787;
  n_795 = (n_626 & n_706) | (n_706 & n_787) | (n_626 & n_787);
  n_800 = n_634 ^ n_714 ^n_795;
  n_801 = (n_634 & n_714) | (n_714 & n_795) | (n_634 & n_795);
  n_808 = n_642 ^ n_720 ^n_801;
  n_809 = (n_642 & n_720) | (n_720 & n_801) | (n_642 & n_801);
  n_816 = n_648 ^ n_728 ^n_809;
  n_817 = (n_648 & n_728) | (n_728 & n_809) | (n_648 & n_809);
  n_822 = n_649 ^ n_736 ^n_817;
  n_823 = (n_649 & n_736) | (n_736 & n_817) | (n_649 & n_817);
  n_858 = n_8 & n_34;
  n_866 = n_10 & n_34;
  n_874 = n_12 & n_34;
  n_880 = n_14 & n_34;
  n_888 = n_16 & n_34;
  n_894 = n_18 & n_34;
  n_902 = n_20 & n_34;
  n_910 = n_22 & n_34;
  n_916 = ~(n_10 | n_482);
  n_946 = n_778 | n_858;
  n_947 = n_946;
  n_952 = n_786 ^ n_866 ^n_947;
  n_953 = (n_786 & n_866) | (n_866 & n_947) | (n_786 & n_947);
  n_960 = n_794 ^ n_874 ^n_953;
  n_961 = (n_794 & n_874) | (n_874 & n_953) | (n_794 & n_953);
  n_968 = n_800 ^ n_880 ^n_961;
  n_969 = (n_800 & n_880) | (n_880 & n_961) | (n_800 & n_961);
  n_974 = n_808 ^ n_888 ^n_969;
  n_975 = (n_808 & n_888) | (n_888 & n_969) | (n_808 & n_969);
  n_982 = n_816 ^ n_894 ^n_975;
  n_983 = (n_816 & n_894) | (n_894 & n_975) | (n_816 & n_975);
  n_990 = n_822 ^ n_902 ^n_983;
  n_991 = (n_822 & n_902) | (n_902 & n_983) | (n_822 & n_983);
  n_996 = n_823 ^ n_910 ^n_991;
  n_997 = (n_823 & n_910) | (n_910 & n_991) | (n_823 & n_991);
  n_1032 = n_8 & n_36;
  n_1040 = n_10 & n_36;
  n_1048 = n_12 & n_36;
  n_1049 = n_1048;
  n_1054 = n_14 & n_36;
  n_1062 = n_16 & n_36;
  n_1068 = n_18 & n_36;
  n_1076 = n_20 & n_36;
  n_1084 = n_22 & n_36;
  n_1112 = n_1049;
  n_1120 = n_952 & n_1032;
  n_1126 = n_960 ^ n_1040 ^n_14;
  n_1127 = (n_960 & n_1040) | (n_1040 & n_14) | (n_960 & n_14);
  n_1134 = n_968 ^ n_1048 ^n_1127;
  n_1135 = (n_968 & n_1048) | (n_1048 & n_1127) | (n_968 & n_1127);
  n_1142 = n_974 ^ n_1054 ^n_1135;
  n_1143 = (n_974 & n_1054) | (n_1054 & n_1135) | (n_974 & n_1135);
  n_1148 = n_982 ^ n_1062 ^n_1143;
  n_1149 = (n_982 & n_1062) | (n_1062 & n_1143) | (n_982 & n_1143);
  n_1156 = n_990 ^ n_1068 ^n_1149;
  n_1157 = (n_990 & n_1068) | (n_1068 & n_1149) | (n_990 & n_1149);
  n_1162 = n_996 ^ n_1076 ^n_1157;
  n_1163 = (n_996 & n_1076) | (n_1076 & n_1157) | (n_996 & n_1157);
  n_1170 = n_997 ^ n_1084 ^n_1163;
  n_1171 = (n_997 & n_1084) | (n_1084 & n_1163) | (n_997 & n_1163);
  n_1192 = n_4 & n_38;
  n_1200 = n_6 & n_38;
  n_1206 = n_8 & n_38;
  n_1214 = n_10 & n_38;
  n_1220 = n_12 & n_38;
  n_1228 = n_14 & n_38;
  n_1236 = n_16 & n_38;
  n_1242 = n_18 & n_38;
  n_1250 = n_20 & n_38;
  n_1258 = n_22 & n_38;
  n_1272 = n_745;
  n_1273 = n_1272;
  n_1278 = n_1112 ^ n_1192 ^n_1273;
  n_1279 = (n_1112 & n_1192) | (n_1192 & n_1273) | (n_1112 & n_1273);
  n_1286 = n_1120 ^ n_1200 ^n_1279;
  n_1287 = (n_1120 & n_1200) | (n_1200 & n_1279) | (n_1120 & n_1279);
  n_1294 = n_1126 ^ n_1206 ^n_1287;
  n_1295 = (n_1126 & n_1206) | (n_1206 & n_1287) | (n_1126 & n_1287);
  n_1300 = n_1134 ^ n_1214 ^n_1295;
  n_1301 = (n_1134 & n_1214) | (n_1214 & n_1295) | (n_1134 & n_1295);
  n_1308 = n_1142 ^ n_1220 ^n_1301;
  n_1309 = (n_1142 & n_1220) | (n_1220 & n_1301) | (n_1142 & n_1301);
  n_1316 = n_1148 ^ n_1228 ^n_1309;
  n_1317 = (n_1148 & n_1228) | (n_1228 & n_1309) | (n_1148 & n_1309);
  n_1322 = n_1156 ^ n_1236 ^n_1317;
  n_1323 = (n_1156 & n_1236) | (n_1236 & n_1317) | (n_1156 & n_1317);
  n_1330 = n_1162 ^ n_1242 ^n_1323;
  n_1331 = (n_1162 & n_1242) | (n_1242 & n_1323) | (n_1162 & n_1323);
  n_1336 = n_1170 ^ n_1250 ^n_1331;
  n_1337 = (n_1170 & n_1250) | (n_1250 & n_1331) | (n_1170 & n_1331);
  n_1344 = n_1171 ^ n_1258 ^n_1337;
  n_1345 = (n_1171 & n_1258) | (n_1258 & n_1337) | (n_1171 & n_1337);
  n_1352 = n_0 & n_40;
  n_1358 = n_2 & n_40;
  n_1366 = n_4 & n_40;
  n_1374 = n_6 & n_40;
  n_1380 = n_8 & n_40;
  n_1388 = n_10 & n_40;
  n_1394 = n_12 & n_40;
  n_1402 = n_14 & n_40;
  n_1410 = n_16 & n_40;
  n_1416 = n_18 & n_40;
  n_1424 = n_20 & n_40;
  n_1432 = n_22 & n_40;
  n_1438 = n_1272 ^ n_1352;
  n_1439 = n_1272 & n_1352;
  n_1446 = n_1278 ^ n_1358 ^n_169;
  n_1447 = (n_1278 & n_1358) | (n_1358 & n_169) | (n_1278 & n_169);
  n_1452 = n_1286 ^ n_1366 ^n_1447;
  n_1453 = (n_1286 & n_1366) | (n_1366 & n_1447) | (n_1286 & n_1447);
  n_1460 = n_1294 ^ n_1374 ^n_1453;
  n_1461 = (n_1294 & n_1374) | (n_1374 & n_1453) | (n_1294 & n_1453);
  n_1468 = n_1300 ^ n_1380 ^n_1461;
  n_1469 = (n_1300 & n_1380) | (n_1380 & n_1461) | (n_1300 & n_1461);
  n_1474 = n_1308 ^ n_1388 ^n_1469;
  n_1475 = (n_1308 & n_1388) | (n_1388 & n_1469) | (n_1308 & n_1469);
  n_1482 = n_1316 ^ n_1394 ^n_1475;
  n_1483 = (n_1316 & n_1394) | (n_1394 & n_1475) | (n_1316 & n_1475);
  n_1490 = n_1322 ^ n_1402 ^n_1483;
  n_1491 = (n_1322 & n_1402) | (n_1402 & n_1483) | (n_1322 & n_1483);
  n_1496 = n_1330 ^ n_1410 ^n_1491;
  n_1497 = (n_1330 & n_1410) | (n_1410 & n_1491) | (n_1330 & n_1491);
  n_1504 = n_1336 ^ n_1416 ^n_1497;
  n_1505 = (n_1336 & n_1416) | (n_1416 & n_1497) | (n_1336 & n_1497);
  n_1510 = n_1344 ^ n_1424 ^n_1505;
  n_1511 = (n_1344 & n_1424) | (n_1424 & n_1505) | (n_1344 & n_1505);
  n_1518 = n_1345 ^ n_1432 ^n_1511;
  n_1519 = (n_1345 & n_1432) | (n_1432 & n_1511) | (n_1345 & n_1511);
  n_1526 = n_0 & n_42;
  n_1532 = n_2 & n_42;
  n_1540 = n_4 & n_42;
  n_1548 = n_6 & n_42;
  n_1554 = n_8 & n_42;
  n_1562 = n_10 & n_42;
  n_1568 = n_12 & n_42;
  n_1576 = n_14 & n_42;
  n_1584 = n_16 & n_42;
  n_1590 = n_18 & n_42;
  n_1598 = n_20 & n_42;
  n_1604 = n_22 & n_42;
  n_1612 = n_1446 ^ n_1526;
  n_1613 = n_1446 & n_1526;
  n_1620 = n_1452 ^ n_1532 ^n_1613;
  n_1621 = (n_1452 & n_1532) | (n_1532 & n_1613) | (n_1452 & n_1613);
  n_1626 = n_1460 ^ n_1540 ^n_1621;
  n_1627 = (n_1460 & n_1540) | (n_1540 & n_1621) | (n_1460 & n_1621);
  n_1634 = n_1468 ^ n_1548 ^n_1627;
  n_1635 = (n_1468 & n_1548) | (n_1548 & n_1627) | (n_1468 & n_1627);
  n_1642 = n_1474 ^ n_1554 ^n_1635;
  n_1643 = (n_1474 & n_1554) | (n_1554 & n_1635) | (n_1474 & n_1635);
  n_1648 = n_1482 ^ n_1562 ^n_1643;
  n_1649 = (n_1482 & n_1562) | (n_1562 & n_1643) | (n_1482 & n_1643);
  n_1656 = n_1490 ^ n_1568 ^n_1649;
  n_1657 = (n_1490 & n_1568) | (n_1568 & n_1649) | (n_1490 & n_1649);
  n_1662 = n_1496 ^ n_1576 ^n_1657;
  n_1663 = (n_1496 & n_1576) | (n_1576 & n_1657) | (n_1496 & n_1657);
  n_1670 = n_1504 ^ n_1584 ^n_1663;
  n_1671 = (n_1504 & n_1584) | (n_1584 & n_1663) | (n_1504 & n_1663);
  n_1678 = n_1510 ^ n_1590 ^n_1671;
  n_1679 = (n_1510 & n_1590) | (n_1590 & n_1671) | (n_1510 & n_1671);
  n_1684 = n_1518 ^ n_1598 ^n_1679;
  n_1685 = (n_1518 & n_1598) | (n_1598 & n_1679) | (n_1518 & n_1679);
  n_1692 = n_1519 ^ n_1604 ^n_1685;
  n_1693 = (n_1519 & n_1604) | (n_1604 & n_1685) | (n_1519 & n_1685);
  n_1700 = n_0 & n_44;
  n_1706 = n_2 & n_44;
  n_1714 = n_4 & n_44;
  n_1720 = n_6 & n_44;
  n_1728 = n_8 & n_44;
  n_1736 = n_10 & n_44;
  n_1742 = n_12 & n_44;
  n_1750 = n_14 & n_44;
  n_1758 = n_16 & n_44;
  n_1764 = n_18 & n_44;
  n_1772 = n_20 & n_44;
  n_1778 = n_22 & n_44;
  n_1786 = n_1620 ^ n_1700;
  n_1787 = n_1620 & n_1700;
  n_1794 = n_1626 ^ n_1706 ^n_1787;
  n_1795 = (n_1626 & n_1706) | (n_1706 & n_1787) | (n_1626 & n_1787);
  n_1800 = n_1634 ^ n_1714 ^n_1795;
  n_1801 = (n_1634 & n_1714) | (n_1714 & n_1795) | (n_1634 & n_1795);
  n_1808 = n_1642 ^ n_1720 ^n_1801;
  n_1809 = (n_1642 & n_1720) | (n_1720 & n_1801) | (n_1642 & n_1801);
  n_1816 = n_1648 ^ n_1728 ^n_1809;
  n_1817 = (n_1648 & n_1728) | (n_1728 & n_1809) | (n_1648 & n_1809);
  n_1822 = n_1656 ^ n_1736 ^n_1817;
  n_1823 = (n_1656 & n_1736) | (n_1736 & n_1817) | (n_1656 & n_1817);
  n_1830 = n_1662 ^ n_1742 ^n_1823;
  n_1831 = (n_1662 & n_1742) | (n_1742 & n_1823) | (n_1662 & n_1823);
  n_1836 = n_1670 ^ n_1750 ^n_1831;
  n_1837 = (n_1670 & n_1750) | (n_1750 & n_1831) | (n_1670 & n_1831);
  n_1844 = n_1678 ^ n_1758 ^n_1837;
  n_1845 = (n_1678 & n_1758) | (n_1758 & n_1837) | (n_1678 & n_1837);
  n_1852 = n_1684 ^ n_1764 ^n_1845;
  n_1853 = (n_1684 & n_1764) | (n_1764 & n_1845) | (n_1684 & n_1845);
  n_1858 = n_1692 ^ n_1772 ^n_1853;
  n_1859 = (n_1692 & n_1772) | (n_1772 & n_1853) | (n_1692 & n_1853);
  n_1866 = n_1693 ^ n_1778 ^n_1859;
  n_1867 = (n_1693 & n_1778) | (n_1778 & n_1859) | (n_1693 & n_1859);
  n_1874 = n_0 & n_46;
  n_1880 = n_2 & n_46;
  n_1888 = n_4 & n_46;
  n_1894 = n_6 & n_46;
  n_1902 = n_8 & n_46;
  n_1910 = n_10 & n_46;
  n_1916 = n_12 & n_46;
  n_1924 = n_14 & n_46;
  n_1932 = n_16 & n_46;
  n_1938 = n_18 & n_46;
  n_1946 = n_20 & n_46;
  n_1952 = n_22 & n_46;
  n_1960 = n_1794 ^ n_1874;
  n_1961 = n_1794 & n_1874;
  n_1968 = n_1800 ^ n_1880 ^n_1961;
  n_1969 = (n_1800 & n_1880) | (n_1880 & n_1961) | (n_1800 & n_1961);
  n_1974 = n_1808 ^ n_1888 ^n_1969;
  n_1975 = (n_1808 & n_1888) | (n_1888 & n_1969) | (n_1808 & n_1969);
  n_1982 = n_1816 ^ n_1894 ^n_1975;
  n_1983 = (n_1816 & n_1894) | (n_1894 & n_1975) | (n_1816 & n_1975);
  n_1990 = n_1822 ^ n_1902 ^n_1983;
  n_1991 = (n_1822 & n_1902) | (n_1902 & n_1983) | (n_1822 & n_1983);
  n_1996 = n_1830 ^ n_1910 ^n_1991;
  n_1997 = (n_1830 & n_1910) | (n_1910 & n_1991) | (n_1830 & n_1991);
  n_2004 = n_1836 ^ n_1916 ^n_1997;
  n_2005 = (n_1836 & n_1916) | (n_1916 & n_1997) | (n_1836 & n_1997);
  n_2010 = n_1844 ^ n_1924 ^n_2005;
  n_2011 = (n_1844 & n_1924) | (n_1924 & n_2005) | (n_1844 & n_2005);
  n_2018 = n_1852 ^ n_1932 ^n_2011;
  n_2019 = (n_1852 & n_1932) | (n_1932 & n_2011) | (n_1852 & n_2011);
  n_2026 = n_1858 ^ n_1938 ^n_2019;
  n_2027 = (n_1858 & n_1938) | (n_1938 & n_2019) | (n_1858 & n_2019);
  n_2032 = n_1866 ^ n_1946 ^n_2027;
  n_2033 = (n_1866 & n_1946) | (n_1946 & n_2027) | (n_1866 & n_2027);
  n_2040 = n_1867 ^ n_1952 ^n_2033;
  n_2041 = (n_1867 & n_1952) | (n_1952 & n_2033) | (n_1867 & n_2033);
  o |= (n_569 & 0x01) << 0;
  o |= (n_318 & 0x01) << 1;
  o |= (n_394 & 0x01) << 2;
  o |= (n_568 & 0x01) << 3;
  o |= (n_26 & 0x01) << 4;
  o |= (n_916 & 0x01) << 5;
  o |= (n_1295 & 0x01) << 6;
  o |= (n_8 & 0x01) << 7;
  o |= (n_1438 & 0x01) << 8;
  o |= (n_1612 & 0x01) << 9;
  o |= (n_1786 & 0x01) << 10;
  o |= (n_1960 & 0x01) << 11;
  o |= (n_1968 & 0x01) << 12;
  o |= (n_1974 & 0x01) << 13;
  o |= (n_1982 & 0x01) << 14;
  o |= (n_1990 & 0x01) << 15;
  o |= (n_1996 & 0x01) << 16;
  o |= (n_2004 & 0x01) << 17;
  o |= (n_2010 & 0x01) << 18;
  o |= (n_2018 & 0x01) << 19;
  o |= (n_2026 & 0x01) << 20;
  o |= (n_2032 & 0x01) << 21;
  o |= (n_2040 & 0x01) << 22;
  o |= (n_2041 & 0x01) << 23;
  return o;
}