/*** * 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): Z. Vasicek and L. Sekanina, "Evolutionary Approach to Approximate Digital Circuits Design" in IEEE Transactions on Evolutionary Computation, vol. 19, no. 3, pp. 432-444, June 2015. doi: 10.1109/TEVC.2014.2336175 * This file contains a circuit from a sub-set of pareto optimal circuits with respect to the pwr and ep parameters ***/ // MAE% = 1.39 % // MAE = 59650503 // WCE% = 22.22 % // WCE = 954408050 // WCRE% = 22.22 % // EP% = 80.98 % // MRE% = 3.32 % // MSE = 27897.246e12 // PDK45_PWR = 1.984 mW // PDK45_AREA = 3094.1 um2 // PDK45_DELAY = 3.23 ns #include #include uint32_t mul16u_0Z6(const uint16_t A,const uint16_t B) { uint8_t dout_32, dout_33, dout_34, dout_35, dout_36, dout_37, dout_38, dout_39, dout_40, dout_41, dout_42, dout_43, dout_44, dout_45, dout_46, dout_47, dout_48, dout_49, dout_50, dout_51, dout_56, dout_58, dout_63, dout_65, dout_66, dout_67, dout_69, dout_71, dout_75, dout_80, dout_82, dout_83, dout_85, dout_98, dout_100, dout_102, dout_104, dout_105, dout_106, dout_107, dout_108, dout_109, dout_111, dout_113, dout_117, dout_122, dout_123, dout_124, dout_125, dout_127, dout_136, dout_137, dout_138, dout_139, dout_140, dout_141, dout_142, dout_143, dout_144, dout_145, dout_146, dout_147, dout_148, dout_149, dout_150, dout_151, dout_152, dout_153, dout_154, dout_155, dout_160, dout_162, dout_167, dout_169, dout_170, dout_171, dout_173, dout_175, dout_179, dout_184, dout_186, dout_187, dout_189, dout_202, dout_204, dout_206, dout_208, dout_209, dout_210, dout_211, dout_212, dout_213, dout_215, dout_217, dout_221, dout_226, dout_227, dout_228, dout_229, dout_231, dout_240, dout_241, dout_242, dout_243, dout_244, dout_245, dout_246, dout_247, dout_248, dout_249, dout_250, dout_251, dout_252, dout_253, dout_254, dout_255, dout_256, dout_257, dout_258, dout_259, dout_264, dout_266, dout_271, dout_273, dout_274, dout_275, dout_277, dout_279, dout_283, dout_288, dout_290, dout_291, dout_293, dout_306, dout_308, dout_310, dout_312, dout_313, dout_314, dout_315, dout_316, dout_317, dout_319, dout_321, dout_325, dout_330, dout_331, dout_332, dout_333, dout_335, dout_344, dout_345, dout_346, dout_347, dout_348, dout_349, dout_350, dout_351, dout_352, dout_353, dout_354, dout_355, dout_356, dout_357, dout_358, dout_359, dout_360, dout_361, dout_362, dout_363, dout_368, dout_370, dout_375, dout_377, dout_378, dout_379, dout_381, dout_383, dout_387, dout_392, dout_394, dout_395, dout_397, dout_410, dout_412, dout_414, dout_416, dout_417, dout_418, dout_419, dout_420, dout_421, dout_423, dout_425, dout_429, dout_434, dout_435, dout_436, dout_437, dout_439, dout_460, dout_462, dout_464, dout_466, dout_467, dout_468, dout_469, dout_470, dout_471, dout_472, dout_473, dout_474, dout_475, dout_476, dout_477, dout_478, dout_479, dout_480, dout_481, dout_482, dout_483, dout_484, dout_485, dout_486, dout_487, dout_488, dout_489, dout_490, dout_491, dout_492, dout_494, dout_499, dout_502, dout_506, dout_509, dout_510, dout_511, dout_512, dout_515, dout_516, dout_517, dout_519, dout_520, dout_521, dout_550, dout_552, dout_554, dout_556, dout_557, dout_558, dout_559, dout_560, dout_561, dout_562, dout_563, dout_564, dout_565, dout_566, dout_567, dout_568, dout_569, dout_570, dout_571, dout_572, dout_573, dout_574, dout_575, dout_576, dout_577, dout_578, dout_579, dout_580, dout_581, dout_582, dout_584, dout_589, dout_592, dout_596, dout_599, dout_600, dout_601, dout_602, dout_605, dout_606, dout_607, dout_609, dout_610, dout_611, dout_628, dout_629, dout_630, dout_631, dout_632, dout_633, dout_634, dout_635, dout_636, dout_637, dout_638, dout_639, dout_640, dout_641, dout_642, dout_643, dout_644, dout_645, dout_646, dout_647, dout_652, dout_654, dout_659, dout_661, dout_662, dout_663, dout_665, dout_667, dout_671, dout_676, dout_678, dout_679, dout_681, dout_694, dout_696, dout_698, dout_700, dout_701, dout_702, dout_703, dout_704, dout_705, dout_707, dout_709, dout_713, dout_718, dout_719, dout_720, dout_721, dout_723, dout_732, dout_733, dout_734, dout_735, dout_736, dout_737, dout_738, dout_739, dout_740, dout_741, dout_742, dout_743, dout_744, dout_745, dout_746, dout_747, dout_748, dout_749, dout_750, dout_751, dout_756, dout_758, dout_763, dout_765, dout_766, dout_767, dout_769, dout_771, dout_775, dout_780, dout_782, dout_783, dout_785, dout_798, dout_800, dout_802, dout_804, dout_805, dout_806, dout_807, dout_808, dout_809, dout_811, dout_813, dout_817, dout_822, dout_823, dout_824, dout_825, dout_827, dout_836, dout_837, dout_838, dout_839, dout_840, dout_841, dout_842, dout_843, dout_844, dout_845, dout_846, dout_847, dout_848, dout_849, dout_850, dout_851, dout_852, dout_853, dout_854, dout_855, dout_860, dout_862, dout_867, dout_869, dout_870, dout_871, dout_873, dout_875, dout_879, dout_884, dout_886, dout_887, dout_889, dout_902, dout_904, dout_906, dout_908, dout_909, dout_910, dout_911, dout_912, dout_913, dout_915, dout_917, dout_921, dout_926, dout_927, dout_928, dout_929, dout_931, dout_940, dout_941, dout_942, dout_943, dout_944, dout_945, dout_946, dout_947, dout_948, dout_949, dout_950, dout_951, dout_952, dout_953, dout_954, dout_955, dout_956, dout_957, dout_958, dout_959, dout_964, dout_966, dout_971, dout_973, dout_974, dout_975, dout_977, dout_979, dout_983, dout_988, dout_990, dout_991, dout_993, dout_1006, dout_1008, dout_1010, dout_1012, dout_1013, dout_1014, dout_1015, dout_1016, dout_1017, dout_1019, dout_1021, dout_1025, dout_1030, dout_1031, dout_1032, dout_1033, dout_1035, dout_1056, dout_1058, dout_1060, dout_1062, dout_1063, dout_1064, dout_1065, dout_1066, dout_1067, dout_1068, dout_1069, dout_1070, dout_1071, dout_1072, dout_1073, dout_1074, dout_1075, dout_1076, dout_1077, dout_1078, dout_1079, dout_1080, dout_1081, dout_1082, dout_1083, dout_1084, dout_1085, dout_1086, dout_1087, dout_1088, dout_1090, dout_1095, dout_1098, dout_1102, dout_1105, dout_1106, dout_1107, dout_1108, dout_1111, dout_1112, dout_1113, dout_1115, dout_1116, dout_1117, dout_1146, dout_1148, dout_1150, dout_1152, dout_1153, dout_1154, dout_1155, dout_1156, dout_1157, dout_1158, dout_1159, dout_1160, dout_1161, dout_1162, dout_1163, dout_1164, dout_1165, dout_1166, dout_1167, dout_1168, dout_1169, dout_1170, dout_1171, dout_1172, dout_1173, dout_1174, dout_1175, dout_1176, dout_1177, dout_1178, dout_1180, dout_1185, dout_1188, dout_1192, dout_1195, dout_1196, dout_1197, dout_1198, dout_1201, dout_1202, dout_1203, dout_1205, dout_1206, dout_1207, dout_1224, dout_1225, dout_1226, dout_1227, dout_1228, dout_1229, dout_1230, dout_1231, dout_1232, dout_1233, dout_1234, dout_1235, dout_1236, dout_1237, dout_1238, dout_1239, dout_1240, dout_1241, dout_1242, dout_1243, dout_1248, dout_1250, dout_1255, dout_1257, dout_1258, dout_1259, dout_1261, dout_1263, dout_1267, dout_1272, dout_1274, dout_1275, dout_1277, dout_1290, dout_1292, dout_1294, dout_1296, dout_1297, dout_1298, dout_1299, dout_1300, dout_1301, dout_1303, dout_1305, dout_1309, dout_1314, dout_1315, dout_1316, dout_1317, dout_1319, dout_1328, dout_1329, dout_1330, dout_1331, dout_1332, dout_1333, dout_1334, dout_1335, dout_1336, dout_1337, dout_1338, dout_1339, dout_1340, dout_1341, dout_1342, dout_1343, dout_1344, dout_1345, dout_1346, dout_1347, dout_1352, dout_1354, dout_1359, dout_1361, dout_1362, dout_1363, dout_1365, dout_1367, dout_1371, dout_1376, dout_1378, dout_1379, dout_1381, dout_1394, dout_1396, dout_1398, dout_1400, dout_1401, dout_1402, dout_1403, dout_1404, dout_1405, dout_1407, dout_1409, dout_1413, dout_1418, dout_1419, dout_1420, dout_1421, dout_1423, dout_1432, dout_1433, dout_1434, dout_1435, dout_1436, dout_1437, dout_1438, dout_1439, dout_1440, dout_1441, dout_1442, dout_1443, dout_1444, dout_1445, dout_1446, dout_1447, dout_1448, dout_1449, dout_1450, dout_1451, dout_1456, dout_1458, dout_1463, dout_1465, dout_1466, dout_1467, dout_1469, dout_1471, dout_1475, dout_1480, dout_1482, dout_1483, dout_1485, dout_1498, dout_1500, dout_1502, dout_1504, dout_1505, dout_1506, dout_1507, dout_1508, dout_1509, dout_1511, dout_1513, dout_1517, dout_1522, dout_1523, dout_1524, dout_1525, dout_1527, dout_1536, dout_1537, dout_1538, dout_1539, dout_1540, dout_1541, dout_1542, dout_1543, dout_1544, dout_1545, dout_1546, dout_1547, dout_1548, dout_1549, dout_1550, dout_1551, dout_1552, dout_1553, dout_1554, dout_1555, dout_1560, dout_1562, dout_1567, dout_1569, dout_1570, dout_1571, dout_1573, dout_1575, dout_1579, dout_1584, dout_1586, dout_1587, dout_1589, dout_1602, dout_1604, dout_1606, dout_1608, dout_1609, dout_1610, dout_1611, dout_1612, dout_1613, dout_1615, dout_1617, dout_1621, dout_1626, dout_1627, dout_1628, dout_1629, dout_1631, dout_1652, dout_1654, dout_1656, dout_1658, dout_1659, dout_1660, dout_1661, dout_1662, dout_1663, dout_1664, dout_1665, dout_1666, dout_1667, dout_1668, dout_1669, dout_1670, dout_1671, dout_1672, dout_1673, dout_1674, dout_1675, dout_1676, dout_1677, dout_1678, dout_1679, dout_1680, dout_1681, dout_1682, dout_1683, dout_1684, dout_1686, dout_1691, dout_1694, dout_1698, dout_1701, dout_1702, dout_1703, dout_1704, dout_1707, dout_1708, dout_1709, dout_1711, dout_1712, dout_1713, dout_1742, dout_1744, dout_1746, dout_1748, dout_1749, dout_1750, dout_1751, dout_1752, dout_1753, dout_1754, dout_1755, dout_1756, dout_1757, dout_1758, dout_1759, dout_1760, dout_1761, dout_1762, dout_1763, dout_1764, dout_1765, dout_1766, dout_1767, dout_1768, dout_1769, dout_1770, dout_1771, dout_1772, dout_1773, dout_1774, dout_1776, dout_1781, dout_1784, dout_1788, dout_1791, dout_1792, dout_1793, dout_1794, dout_1797, dout_1798, dout_1799, dout_1801, dout_1802, dout_1803, dout_1820, dout_1821, dout_1822, dout_1823, dout_1824, dout_1825, dout_1826, dout_1827, dout_1828, dout_1829, dout_1830, dout_1831, dout_1832, dout_1833, dout_1834, dout_1835, dout_1836, dout_1837, dout_1838, dout_1839, dout_1844, dout_1846, dout_1851, dout_1853, dout_1854, dout_1855, dout_1857, dout_1859, dout_1863, dout_1868, dout_1870, dout_1871, dout_1873, dout_1886, dout_1888, dout_1890, dout_1892, dout_1893, dout_1894, dout_1895, dout_1896, dout_1897, dout_1899, dout_1901, dout_1905, dout_1910, dout_1911, dout_1912, dout_1913, dout_1915, dout_1924, dout_1925, dout_1926, dout_1927, dout_1928, dout_1929, dout_1930, dout_1931, dout_1932, dout_1933, dout_1934, dout_1935, dout_1936, dout_1937, dout_1938, dout_1939, dout_1940, dout_1941, dout_1942, dout_1943, dout_1948, dout_1950, dout_1955, dout_1957, dout_1958, dout_1959, dout_1961, dout_1963, dout_1967, dout_1972, dout_1974, dout_1975, dout_1977, dout_1990, dout_1992, dout_1994, dout_1996, dout_1997, dout_1998, dout_1999, dout_2000, dout_2001, dout_2003, dout_2005, dout_2009, dout_2014, dout_2015, dout_2016, dout_2017, dout_2019, dout_2028, dout_2029, dout_2030, dout_2031, dout_2032, dout_2033, dout_2034, dout_2035, dout_2036, dout_2037, dout_2038, dout_2039, dout_2040, dout_2041, dout_2042, dout_2043, dout_2044, dout_2045, dout_2046, dout_2047, dout_2052, dout_2054, dout_2059, dout_2061, dout_2062, dout_2063, dout_2065, dout_2067, dout_2071, dout_2076, dout_2078, dout_2079, dout_2081, dout_2094, dout_2096, dout_2098, dout_2100, dout_2101, dout_2102, dout_2103, dout_2104, dout_2105, dout_2107, dout_2109, dout_2113, dout_2118, dout_2119, dout_2120, dout_2121, dout_2123, dout_2132, dout_2133, dout_2134, dout_2135, dout_2136, dout_2137, dout_2138, dout_2139, dout_2140, dout_2141, dout_2142, dout_2143, dout_2144, dout_2145, dout_2146, dout_2147, dout_2148, dout_2149, dout_2150, dout_2151, dout_2156, dout_2158, dout_2163, dout_2165, dout_2166, dout_2167, dout_2169, dout_2171, dout_2175, dout_2180, dout_2182, dout_2183, dout_2185, dout_2198, dout_2200, dout_2202, dout_2204, dout_2205, dout_2206, dout_2207, dout_2208, dout_2209, dout_2211, dout_2213, dout_2217, dout_2222, dout_2223, dout_2224, dout_2225, dout_2227, dout_2248, dout_2250, dout_2252, dout_2254, dout_2255, dout_2256, dout_2257, dout_2258, dout_2259, dout_2260, dout_2261, dout_2262, dout_2263, dout_2264, dout_2265, dout_2266, dout_2267, dout_2268, dout_2269, dout_2270, dout_2271, dout_2272, dout_2273, dout_2274, dout_2275, dout_2276, dout_2277, dout_2278, dout_2279, dout_2280, dout_2282, dout_2287, dout_2290, dout_2294, dout_2297, dout_2298, dout_2299, dout_2300, dout_2303, dout_2304, dout_2305, dout_2307, dout_2308, dout_2309, dout_2338, dout_2340, dout_2342, dout_2344, dout_2345, dout_2346, dout_2347, dout_2348, dout_2349, dout_2350, dout_2351, dout_2352, dout_2353, dout_2354, dout_2355, dout_2356, dout_2357, dout_2358, dout_2359, dout_2360, dout_2361, dout_2362, dout_2363, dout_2364, dout_2365, dout_2366, dout_2367, dout_2368, dout_2369, dout_2370, dout_2372, dout_2377, dout_2380, dout_2384, dout_2387, dout_2388, dout_2389, dout_2390, dout_2393, dout_2394, dout_2395, dout_2397, dout_2398, dout_2399, dout_2432, dout_2433, dout_2434, dout_2435, dout_2436, dout_2437, dout_2438, dout_2439, dout_2440, dout_2441, dout_2442, dout_2443, dout_2444, dout_2445, dout_2446, dout_2447, dout_2448, dout_2449, dout_2450, dout_2451, dout_2452, dout_2453, dout_2454, dout_2455, dout_2456, dout_2457, dout_2458, dout_2459, dout_2460, dout_2461, dout_2462, dout_2463, dout_2503, dout_2504, dout_2505, dout_2506, dout_2507, dout_2508, dout_2509, dout_2510, dout_2511, dout_2512, dout_2513, dout_2514, dout_2515, dout_2516, dout_2517, dout_2518, dout_2519, dout_2520, dout_2521, dout_2522, dout_2523, dout_2524, dout_2525, dout_2526, dout_2527, dout_2528, dout_2529, dout_2530, dout_2531, dout_2532, dout_2533, dout_2534, dout_2535, dout_2536, dout_2537, dout_2538, dout_2539, dout_2540, dout_2541, dout_2542, dout_2543, dout_2544, dout_2545, dout_2546, dout_2547, dout_2548, dout_2549, dout_2551, dout_2552, dout_2554, dout_2555, dout_2557, dout_2558, dout_2560, dout_2561, dout_2563, dout_2564, dout_2566, dout_2567, dout_2569, dout_2586, dout_2587, dout_2588, dout_2589, dout_2590, dout_2591, dout_2592, dout_2593, dout_2594, dout_2595, dout_2596, dout_2597, dout_2598, dout_2599, dout_2600, dout_2601, dout_2602, dout_2603, dout_2604, dout_2605, dout_2606, dout_2607, dout_2608, dout_2609, dout_2610, dout_2611, dout_2612, dout_2613, dout_2614, dout_2615, dout_2616, dout_2617, dout_2657, dout_2658, dout_2659, dout_2660, dout_2661, dout_2662, dout_2663, dout_2664, dout_2665, dout_2666, dout_2667, dout_2668, dout_2669, dout_2670, dout_2671, dout_2672, dout_2673, dout_2674, dout_2675, dout_2676, dout_2677, dout_2678, dout_2679, dout_2680, dout_2681, dout_2682, dout_2683, dout_2684, dout_2685, dout_2686, dout_2687, dout_2688, dout_2689, dout_2690, dout_2691, dout_2692, dout_2693, dout_2694, dout_2695, dout_2696, dout_2697, dout_2698, dout_2699, dout_2700, dout_2701, dout_2702, dout_2703, dout_2705, dout_2706, dout_2708, dout_2709, dout_2711, dout_2712, dout_2714, dout_2715, dout_2717, dout_2718, dout_2720, dout_2721, dout_2723; uint32_t O; dout_32=((A >> 1)&1)&((B >> 0)&1); dout_33=((A >> 1)&1)&((B >> 1)&1); dout_34=((B >> 1)&1)&((A >> 0)&1); dout_35=((A >> 0)&1)&((B >> 0)&1); dout_36=dout_34|dout_32; dout_37=((A >> 3)&1)&((B >> 0)&1); dout_38=((A >> 3)&1)&((B >> 1)&1); dout_39=((B >> 1)&1)&((A >> 2)&1); dout_40=((A >> 2)&1)&((B >> 0)&1); dout_41=dout_39|dout_37; dout_42=((A >> 1)&1)&((B >> 2)&1); dout_43=((A >> 1)&1)&((B >> 3)&1); dout_44=((B >> 3)&1)&((A >> 0)&1); dout_45=((A >> 0)&1)&((B >> 2)&1); dout_46=dout_44|dout_42; dout_47=((A >> 3)&1)&((B >> 2)&1); dout_48=((A >> 3)&1)&((B >> 3)&1); dout_49=((B >> 3)&1)&((A >> 2)&1); dout_50=((A >> 2)&1)&((B >> 2)&1); dout_51=dout_49|dout_47; dout_56=dout_40^dout_33; dout_58=dout_40&dout_33; dout_63=dout_41&dout_58; dout_65=dout_38^dout_50; dout_66=dout_38&dout_50; dout_67=dout_65&dout_63; dout_69=dout_66|dout_67; dout_71=dout_51&dout_69; dout_75=dout_48&dout_71; dout_80=dout_65^dout_63; dout_82=dout_48^dout_71; dout_83=dout_51^dout_69; dout_85=dout_41^dout_58; dout_98=dout_45^dout_56; dout_100=dout_45&dout_56; dout_102=dout_46^dout_85; dout_104=dout_46&dout_85; dout_105=dout_102&dout_100; dout_106=dout_104|dout_105; dout_107=dout_43^dout_80; dout_108=dout_43&dout_80; dout_109=dout_107&dout_106; dout_111=dout_108|dout_109; dout_113=dout_83&dout_111; dout_117=dout_82&dout_113; dout_122=dout_107^dout_106; dout_123=dout_75^dout_117; dout_124=dout_82^dout_113; dout_125=dout_83^dout_111; dout_127=dout_102^dout_100; dout_136=((A >> 5)&1)&((B >> 0)&1); dout_137=((A >> 5)&1)&((B >> 1)&1); dout_138=((B >> 1)&1)&((A >> 4)&1); dout_139=((A >> 4)&1)&((B >> 0)&1); dout_140=dout_138|dout_136; dout_141=((A >> 7)&1)&((B >> 0)&1); dout_142=((A >> 7)&1)&((B >> 1)&1); dout_143=((B >> 1)&1)&((A >> 6)&1); dout_144=((A >> 6)&1)&((B >> 0)&1); dout_145=dout_143|dout_141; dout_146=((A >> 5)&1)&((B >> 2)&1); dout_147=((A >> 5)&1)&((B >> 3)&1); dout_148=((B >> 3)&1)&((A >> 4)&1); dout_149=((A >> 4)&1)&((B >> 2)&1); dout_150=dout_148|dout_146; dout_151=((A >> 7)&1)&((B >> 2)&1); dout_152=((A >> 7)&1)&((B >> 3)&1); dout_153=((B >> 3)&1)&((A >> 6)&1); dout_154=((A >> 6)&1)&((B >> 2)&1); dout_155=dout_153|dout_151; dout_160=dout_144^dout_137; dout_162=dout_144&dout_137; dout_167=dout_145&dout_162; dout_169=dout_142^dout_154; dout_170=dout_142&dout_154; dout_171=dout_169&dout_167; dout_173=dout_170|dout_171; dout_175=dout_155&dout_173; dout_179=dout_152&dout_175; dout_184=dout_169^dout_167; dout_186=dout_152^dout_175; dout_187=dout_155^dout_173; dout_189=dout_145^dout_162; dout_202=dout_149^dout_160; dout_204=dout_149&dout_160; dout_206=dout_150^dout_189; dout_208=dout_150&dout_189; dout_209=dout_206&dout_204; dout_210=dout_208|dout_209; dout_211=dout_147^dout_184; dout_212=dout_147&dout_184; dout_213=dout_211&dout_210; dout_215=dout_212|dout_213; dout_217=dout_187&dout_215; dout_221=dout_186&dout_217; dout_226=dout_211^dout_210; dout_227=dout_179^dout_221; dout_228=dout_186^dout_217; dout_229=dout_187^dout_215; dout_231=dout_206^dout_204; dout_240=((A >> 1)&1)&((B >> 4)&1); dout_241=((A >> 1)&1)&((B >> 5)&1); dout_242=((B >> 5)&1)&((A >> 0)&1); dout_243=((A >> 0)&1)&((B >> 4)&1); dout_244=dout_242|dout_240; dout_245=((A >> 3)&1)&((B >> 4)&1); dout_246=((A >> 3)&1)&((B >> 5)&1); dout_247=((B >> 5)&1)&((A >> 2)&1); dout_248=((A >> 2)&1)&((B >> 4)&1); dout_249=dout_247|dout_245; dout_250=((A >> 1)&1)&((B >> 6)&1); dout_251=((A >> 1)&1)&((B >> 7)&1); dout_252=((B >> 7)&1)&((A >> 0)&1); dout_253=((A >> 0)&1)&((B >> 6)&1); dout_254=dout_252|dout_250; dout_255=((A >> 3)&1)&((B >> 6)&1); dout_256=((A >> 3)&1)&((B >> 7)&1); dout_257=((B >> 7)&1)&((A >> 2)&1); dout_258=((A >> 2)&1)&((B >> 6)&1); dout_259=dout_257|dout_255; dout_264=dout_248^dout_241; dout_266=dout_248&dout_241; dout_271=dout_249&dout_266; dout_273=dout_246^dout_258; dout_274=dout_246&dout_258; dout_275=dout_273&dout_271; dout_277=dout_274|dout_275; dout_279=dout_259&dout_277; dout_283=dout_256&dout_279; dout_288=dout_273^dout_271; dout_290=dout_256^dout_279; dout_291=dout_259^dout_277; dout_293=dout_249^dout_266; dout_306=dout_253^dout_264; dout_308=dout_253&dout_264; dout_310=dout_254^dout_293; dout_312=dout_254&dout_293; dout_313=dout_310&dout_308; dout_314=dout_312|dout_313; dout_315=dout_251^dout_288; dout_316=dout_251&dout_288; dout_317=dout_315&dout_314; dout_319=dout_316|dout_317; dout_321=dout_291&dout_319; dout_325=dout_290&dout_321; dout_330=dout_315^dout_314; dout_331=dout_283^dout_325; dout_332=dout_290^dout_321; dout_333=dout_291^dout_319; dout_335=dout_310^dout_308; dout_344=((A >> 5)&1)&((B >> 4)&1); dout_345=((A >> 5)&1)&((B >> 5)&1); dout_346=((B >> 5)&1)&((A >> 4)&1); dout_347=((A >> 4)&1)&((B >> 4)&1); dout_348=dout_346|dout_344; dout_349=((A >> 7)&1)&((B >> 4)&1); dout_350=((A >> 7)&1)&((B >> 5)&1); dout_351=((B >> 5)&1)&((A >> 6)&1); dout_352=((A >> 6)&1)&((B >> 4)&1); dout_353=dout_351|dout_349; dout_354=((A >> 5)&1)&((B >> 6)&1); dout_355=((A >> 5)&1)&((B >> 7)&1); dout_356=((B >> 7)&1)&((A >> 4)&1); dout_357=((A >> 4)&1)&((B >> 6)&1); dout_358=dout_356|dout_354; dout_359=((A >> 7)&1)&((B >> 6)&1); dout_360=((A >> 7)&1)&((B >> 7)&1); dout_361=((B >> 7)&1)&((A >> 6)&1); dout_362=((A >> 6)&1)&((B >> 6)&1); dout_363=dout_361|dout_359; dout_368=dout_352^dout_345; dout_370=dout_352&dout_345; dout_375=dout_353&dout_370; dout_377=dout_350^dout_362; dout_378=dout_350&dout_362; dout_379=dout_377&dout_375; dout_381=dout_378|dout_379; dout_383=dout_363&dout_381; dout_387=dout_360&dout_383; dout_392=dout_377^dout_375; dout_394=dout_360^dout_383; dout_395=dout_363^dout_381; dout_397=dout_353^dout_370; dout_410=dout_357^dout_368; dout_412=dout_357&dout_368; dout_414=dout_358^dout_397; dout_416=dout_358&dout_397; dout_417=dout_414&dout_412; dout_418=dout_416|dout_417; dout_419=dout_355^dout_392; dout_420=dout_355&dout_392; dout_421=dout_419&dout_418; dout_423=dout_420|dout_421; dout_425=dout_395&dout_423; dout_429=dout_394&dout_425; dout_434=dout_419^dout_418; dout_435=dout_387^dout_429; dout_436=dout_394^dout_425; dout_437=dout_395^dout_423; dout_439=dout_414^dout_412; dout_460=dout_139^dout_122; dout_462=dout_139&dout_122; dout_464=dout_140^dout_125; dout_466=dout_464&dout_462; dout_467=dout_140&dout_125; dout_468=dout_467|dout_466; dout_469=dout_202^dout_124; dout_470=dout_469&dout_468; dout_471=dout_202&dout_124; dout_472=dout_471|dout_470; dout_473=dout_231^dout_123; dout_474=dout_473&dout_472; dout_475=dout_231&dout_123; dout_476=dout_226^dout_347; dout_477=dout_475|dout_474; dout_478=dout_226&dout_347; dout_479=dout_476&dout_477; dout_480=dout_229^dout_348; dout_481=dout_478|dout_479; dout_482=dout_229&dout_348; dout_483=dout_480&dout_481; dout_484=dout_228^dout_410; dout_485=dout_482|dout_483; dout_486=dout_484&dout_485; dout_487=dout_228&dout_410; dout_488=dout_487|dout_486; dout_489=dout_227^dout_439; dout_490=dout_489&dout_488; dout_491=dout_227&dout_439; dout_492=dout_491|dout_490; dout_494=dout_434&dout_492; dout_499=dout_437&dout_494; dout_502=dout_436&dout_499; dout_506=dout_464^dout_462; dout_509=dout_484^dout_485; dout_510=dout_469^dout_468; dout_511=dout_489^dout_488; dout_512=dout_434^dout_492; dout_515=dout_437^dout_494; dout_516=dout_436^dout_499; dout_517=dout_480^dout_481; dout_519=dout_435^dout_502; dout_520=dout_476^dout_477; dout_521=dout_473^dout_472; dout_550=dout_243^dout_460; dout_552=dout_243&dout_460; dout_554=dout_244^dout_506; dout_556=dout_554&dout_552; dout_557=dout_244&dout_506; dout_558=dout_557|dout_556; dout_559=dout_306^dout_510; dout_560=dout_559&dout_558; dout_561=dout_306&dout_510; dout_562=dout_561|dout_560; dout_563=dout_335^dout_521; dout_564=dout_563&dout_562; dout_565=dout_335&dout_521; dout_566=dout_330^dout_520; dout_567=dout_565|dout_564; dout_568=dout_330&dout_520; dout_569=dout_566&dout_567; dout_570=dout_333^dout_517; dout_571=dout_568|dout_569; dout_572=dout_333&dout_517; dout_573=dout_570&dout_571; dout_574=dout_332^dout_509; dout_575=dout_572|dout_573; dout_576=dout_574&dout_575; dout_577=dout_332&dout_509; dout_578=dout_577|dout_576; dout_579=dout_331^dout_511; dout_580=dout_579&dout_578; dout_581=dout_331&dout_511; dout_582=dout_581|dout_580; dout_584=dout_512&dout_582; dout_589=dout_515&dout_584; dout_592=dout_516&dout_589; dout_596=dout_554^dout_552; dout_599=dout_574^dout_575; dout_600=dout_559^dout_558; dout_601=dout_579^dout_578; dout_602=dout_512^dout_582; dout_605=dout_515^dout_584; dout_606=dout_516^dout_589; dout_607=dout_570^dout_571; dout_609=dout_519^dout_592; dout_610=dout_566^dout_567; dout_611=dout_563^dout_562; dout_628=((A >> 9)&1)&((B >> 0)&1); dout_629=((A >> 9)&1)&((B >> 1)&1); dout_630=((B >> 1)&1)&((A >> 8)&1); dout_631=((A >> 8)&1)&((B >> 0)&1); dout_632=dout_630|dout_628; dout_633=((A >> 11)&1)&((B >> 0)&1); dout_634=((A >> 11)&1)&((B >> 1)&1); dout_635=((B >> 1)&1)&((A >> 10)&1); dout_636=((A >> 10)&1)&((B >> 0)&1); dout_637=dout_635|dout_633; dout_638=((A >> 9)&1)&((B >> 2)&1); dout_639=((A >> 9)&1)&((B >> 3)&1); dout_640=((B >> 3)&1)&((A >> 8)&1); dout_641=((A >> 8)&1)&((B >> 2)&1); dout_642=dout_640|dout_638; dout_643=((A >> 11)&1)&((B >> 2)&1); dout_644=((A >> 11)&1)&((B >> 3)&1); dout_645=((B >> 3)&1)&((A >> 10)&1); dout_646=((A >> 10)&1)&((B >> 2)&1); dout_647=dout_645|dout_643; dout_652=dout_636^dout_629; dout_654=dout_636&dout_629; dout_659=dout_637&dout_654; dout_661=dout_634^dout_646; dout_662=dout_634&dout_646; dout_663=dout_661&dout_659; dout_665=dout_662|dout_663; dout_667=dout_647&dout_665; dout_671=dout_644&dout_667; dout_676=dout_661^dout_659; dout_678=dout_644^dout_667; dout_679=dout_647^dout_665; dout_681=dout_637^dout_654; dout_694=dout_641^dout_652; dout_696=dout_641&dout_652; dout_698=dout_642^dout_681; dout_700=dout_642&dout_681; dout_701=dout_698&dout_696; dout_702=dout_700|dout_701; dout_703=dout_639^dout_676; dout_704=dout_639&dout_676; dout_705=dout_703&dout_702; dout_707=dout_704|dout_705; dout_709=dout_679&dout_707; dout_713=dout_678&dout_709; dout_718=dout_703^dout_702; dout_719=dout_671^dout_713; dout_720=dout_678^dout_709; dout_721=dout_679^dout_707; dout_723=dout_698^dout_696; dout_732=((A >> 13)&1)&((B >> 0)&1); dout_733=((A >> 13)&1)&((B >> 1)&1); dout_734=((B >> 1)&1)&((A >> 12)&1); dout_735=((A >> 12)&1)&((B >> 0)&1); dout_736=dout_734|dout_732; dout_737=((A >> 15)&1)&((B >> 0)&1); dout_738=((A >> 15)&1)&((B >> 1)&1); dout_739=((B >> 1)&1)&((A >> 14)&1); dout_740=((A >> 14)&1)&((B >> 0)&1); dout_741=dout_739|dout_737; dout_742=((A >> 13)&1)&((B >> 2)&1); dout_743=((A >> 13)&1)&((B >> 3)&1); dout_744=((B >> 3)&1)&((A >> 12)&1); dout_745=((A >> 12)&1)&((B >> 2)&1); dout_746=dout_744|dout_742; dout_747=((A >> 15)&1)&((B >> 2)&1); dout_748=((A >> 15)&1)&((B >> 3)&1); dout_749=((B >> 3)&1)&((A >> 14)&1); dout_750=((A >> 14)&1)&((B >> 2)&1); dout_751=dout_749|dout_747; dout_756=dout_740^dout_733; dout_758=dout_740&dout_733; dout_763=dout_741&dout_758; dout_765=dout_738^dout_750; dout_766=dout_738&dout_750; dout_767=dout_765&dout_763; dout_769=dout_766|dout_767; dout_771=dout_751&dout_769; dout_775=dout_748&dout_771; dout_780=dout_765^dout_763; dout_782=dout_748^dout_771; dout_783=dout_751^dout_769; dout_785=dout_741^dout_758; dout_798=dout_745^dout_756; dout_800=dout_745&dout_756; dout_802=dout_746^dout_785; dout_804=dout_746&dout_785; dout_805=dout_802&dout_800; dout_806=dout_804|dout_805; dout_807=dout_743^dout_780; dout_808=dout_743&dout_780; dout_809=dout_807&dout_806; dout_811=dout_808|dout_809; dout_813=dout_783&dout_811; dout_817=dout_782&dout_813; dout_822=dout_807^dout_806; dout_823=dout_775^dout_817; dout_824=dout_782^dout_813; dout_825=dout_783^dout_811; dout_827=dout_802^dout_800; dout_836=((A >> 9)&1)&((B >> 4)&1); dout_837=((A >> 9)&1)&((B >> 5)&1); dout_838=((B >> 5)&1)&((A >> 8)&1); dout_839=((A >> 8)&1)&((B >> 4)&1); dout_840=dout_838|dout_836; dout_841=((A >> 11)&1)&((B >> 4)&1); dout_842=((A >> 11)&1)&((B >> 5)&1); dout_843=((B >> 5)&1)&((A >> 10)&1); dout_844=((A >> 10)&1)&((B >> 4)&1); dout_845=dout_843|dout_841; dout_846=((A >> 9)&1)&((B >> 6)&1); dout_847=((A >> 9)&1)&((B >> 7)&1); dout_848=((B >> 7)&1)&((A >> 8)&1); dout_849=((A >> 8)&1)&((B >> 6)&1); dout_850=dout_848|dout_846; dout_851=((A >> 11)&1)&((B >> 6)&1); dout_852=((A >> 11)&1)&((B >> 7)&1); dout_853=((B >> 7)&1)&((A >> 10)&1); dout_854=((A >> 10)&1)&((B >> 6)&1); dout_855=dout_853|dout_851; dout_860=dout_844^dout_837; dout_862=dout_844&dout_837; dout_867=dout_845&dout_862; dout_869=dout_842^dout_854; dout_870=dout_842&dout_854; dout_871=dout_869&dout_867; dout_873=dout_870|dout_871; dout_875=dout_855&dout_873; dout_879=dout_852&dout_875; dout_884=dout_869^dout_867; dout_886=dout_852^dout_875; dout_887=dout_855^dout_873; dout_889=dout_845^dout_862; dout_902=dout_849^dout_860; dout_904=dout_849&dout_860; dout_906=dout_850^dout_889; dout_908=dout_850&dout_889; dout_909=dout_906&dout_904; dout_910=dout_908|dout_909; dout_911=dout_847^dout_884; dout_912=dout_847&dout_884; dout_913=dout_911&dout_910; dout_915=dout_912|dout_913; dout_917=dout_887&dout_915; dout_921=dout_886&dout_917; dout_926=dout_911^dout_910; dout_927=dout_879^dout_921; dout_928=dout_886^dout_917; dout_929=dout_887^dout_915; dout_931=dout_906^dout_904; dout_940=((A >> 13)&1)&((B >> 4)&1); dout_941=((A >> 13)&1)&((B >> 5)&1); dout_942=((B >> 5)&1)&((A >> 12)&1); dout_943=((A >> 12)&1)&((B >> 4)&1); dout_944=dout_942|dout_940; dout_945=((A >> 15)&1)&((B >> 4)&1); dout_946=((A >> 15)&1)&((B >> 5)&1); dout_947=((B >> 5)&1)&((A >> 14)&1); dout_948=((A >> 14)&1)&((B >> 4)&1); dout_949=dout_947|dout_945; dout_950=((A >> 13)&1)&((B >> 6)&1); dout_951=((A >> 13)&1)&((B >> 7)&1); dout_952=((B >> 7)&1)&((A >> 12)&1); dout_953=((A >> 12)&1)&((B >> 6)&1); dout_954=dout_952|dout_950; dout_955=((A >> 15)&1)&((B >> 6)&1); dout_956=((A >> 15)&1)&((B >> 7)&1); dout_957=((B >> 7)&1)&((A >> 14)&1); dout_958=((A >> 14)&1)&((B >> 6)&1); dout_959=dout_957|dout_955; dout_964=dout_948^dout_941; dout_966=dout_948&dout_941; dout_971=dout_949&dout_966; dout_973=dout_946^dout_958; dout_974=dout_946&dout_958; dout_975=dout_973&dout_971; dout_977=dout_974|dout_975; dout_979=dout_959&dout_977; dout_983=dout_956&dout_979; dout_988=dout_973^dout_971; dout_990=dout_956^dout_979; dout_991=dout_959^dout_977; dout_993=dout_949^dout_966; dout_1006=dout_953^dout_964; dout_1008=dout_953&dout_964; dout_1010=dout_954^dout_993; dout_1012=dout_954&dout_993; dout_1013=dout_1010&dout_1008; dout_1014=dout_1012|dout_1013; dout_1015=dout_951^dout_988; dout_1016=dout_951&dout_988; dout_1017=dout_1015&dout_1014; dout_1019=dout_1016|dout_1017; dout_1021=dout_991&dout_1019; dout_1025=dout_990&dout_1021; dout_1030=dout_1015^dout_1014; dout_1031=dout_983^dout_1025; dout_1032=dout_990^dout_1021; dout_1033=dout_991^dout_1019; dout_1035=dout_1010^dout_1008; dout_1056=dout_735^dout_718; dout_1058=dout_735&dout_718; dout_1060=dout_736^dout_721; dout_1062=dout_1060&dout_1058; dout_1063=dout_736&dout_721; dout_1064=dout_1063|dout_1062; dout_1065=dout_798^dout_720; dout_1066=dout_1065&dout_1064; dout_1067=dout_798&dout_720; dout_1068=dout_1067|dout_1066; dout_1069=dout_827^dout_719; dout_1070=dout_1069&dout_1068; dout_1071=dout_827&dout_719; dout_1072=dout_822^dout_943; dout_1073=dout_1071|dout_1070; dout_1074=dout_822&dout_943; dout_1075=dout_1072&dout_1073; dout_1076=dout_825^dout_944; dout_1077=dout_1074|dout_1075; dout_1078=dout_825&dout_944; dout_1079=dout_1076&dout_1077; dout_1080=dout_824^dout_1006; dout_1081=dout_1078|dout_1079; dout_1082=dout_1080&dout_1081; dout_1083=dout_824&dout_1006; dout_1084=dout_1083|dout_1082; dout_1085=dout_823^dout_1035; dout_1086=dout_1085&dout_1084; dout_1087=dout_823&dout_1035; dout_1088=dout_1087|dout_1086; dout_1090=dout_1030&dout_1088; dout_1095=dout_1033&dout_1090; dout_1098=dout_1032&dout_1095; dout_1102=dout_1060^dout_1058; dout_1105=dout_1080^dout_1081; dout_1106=dout_1065^dout_1064; dout_1107=dout_1085^dout_1084; dout_1108=dout_1030^dout_1088; dout_1111=dout_1033^dout_1090; dout_1112=dout_1032^dout_1095; dout_1113=dout_1076^dout_1077; dout_1115=dout_1031^dout_1098; dout_1116=dout_1072^dout_1073; dout_1117=dout_1069^dout_1068; dout_1146=dout_839^dout_1056; dout_1148=dout_839&dout_1056; dout_1150=dout_840^dout_1102; dout_1152=dout_1150&dout_1148; dout_1153=dout_840&dout_1102; dout_1154=dout_1153|dout_1152; dout_1155=dout_902^dout_1106; dout_1156=dout_1155&dout_1154; dout_1157=dout_902&dout_1106; dout_1158=dout_1157|dout_1156; dout_1159=dout_931^dout_1117; dout_1160=dout_1159&dout_1158; dout_1161=dout_931&dout_1117; dout_1162=dout_926^dout_1116; dout_1163=dout_1161|dout_1160; dout_1164=dout_926&dout_1116; dout_1165=dout_1162&dout_1163; dout_1166=dout_929^dout_1113; dout_1167=dout_1164|dout_1165; dout_1168=dout_929&dout_1113; dout_1169=dout_1166&dout_1167; dout_1170=dout_928^dout_1105; dout_1171=dout_1168|dout_1169; dout_1172=dout_1170&dout_1171; dout_1173=dout_928&dout_1105; dout_1174=dout_1173|dout_1172; dout_1175=dout_927^dout_1107; dout_1176=dout_1175&dout_1174; dout_1177=dout_927&dout_1107; dout_1178=dout_1177|dout_1176; dout_1180=dout_1108&dout_1178; dout_1185=dout_1111&dout_1180; dout_1188=dout_1112&dout_1185; dout_1192=dout_1150^dout_1148; dout_1195=dout_1170^dout_1171; dout_1196=dout_1155^dout_1154; dout_1197=dout_1175^dout_1174; dout_1198=dout_1108^dout_1178; dout_1201=dout_1111^dout_1180; dout_1202=dout_1112^dout_1185; dout_1203=dout_1166^dout_1167; dout_1205=dout_1115^dout_1188; dout_1206=dout_1162^dout_1163; dout_1207=dout_1159^dout_1158; dout_1224=((A >> 1)&1)&((B >> 8)&1); dout_1225=((A >> 1)&1)&((B >> 9)&1); dout_1226=((B >> 9)&1)&((A >> 0)&1); dout_1227=((A >> 0)&1)&((B >> 8)&1); dout_1228=dout_1226|dout_1224; dout_1229=((A >> 3)&1)&((B >> 8)&1); dout_1230=((A >> 3)&1)&((B >> 9)&1); dout_1231=((B >> 9)&1)&((A >> 2)&1); dout_1232=((A >> 2)&1)&((B >> 8)&1); dout_1233=dout_1231|dout_1229; dout_1234=((A >> 1)&1)&((B >> 10)&1); dout_1235=((A >> 1)&1)&((B >> 11)&1); dout_1236=((B >> 11)&1)&((A >> 0)&1); dout_1237=((A >> 0)&1)&((B >> 10)&1); dout_1238=dout_1236|dout_1234; dout_1239=((A >> 3)&1)&((B >> 10)&1); dout_1240=((A >> 3)&1)&((B >> 11)&1); dout_1241=((B >> 11)&1)&((A >> 2)&1); dout_1242=((A >> 2)&1)&((B >> 10)&1); dout_1243=dout_1241|dout_1239; dout_1248=dout_1232^dout_1225; dout_1250=dout_1232&dout_1225; dout_1255=dout_1233&dout_1250; dout_1257=dout_1230^dout_1242; dout_1258=dout_1230&dout_1242; dout_1259=dout_1257&dout_1255; dout_1261=dout_1258|dout_1259; dout_1263=dout_1243&dout_1261; dout_1267=dout_1240&dout_1263; dout_1272=dout_1257^dout_1255; dout_1274=dout_1240^dout_1263; dout_1275=dout_1243^dout_1261; dout_1277=dout_1233^dout_1250; dout_1290=dout_1237^dout_1248; dout_1292=dout_1237&dout_1248; dout_1294=dout_1238^dout_1277; dout_1296=dout_1238&dout_1277; dout_1297=dout_1294&dout_1292; dout_1298=dout_1296|dout_1297; dout_1299=dout_1235^dout_1272; dout_1300=dout_1235&dout_1272; dout_1301=dout_1299&dout_1298; dout_1303=dout_1300|dout_1301; dout_1305=dout_1275&dout_1303; dout_1309=dout_1274&dout_1305; dout_1314=dout_1299^dout_1298; dout_1315=dout_1267^dout_1309; dout_1316=dout_1274^dout_1305; dout_1317=dout_1275^dout_1303; dout_1319=dout_1294^dout_1292; dout_1328=((A >> 5)&1)&((B >> 8)&1); dout_1329=((A >> 5)&1)&((B >> 9)&1); dout_1330=((B >> 9)&1)&((A >> 4)&1); dout_1331=((A >> 4)&1)&((B >> 8)&1); dout_1332=dout_1330|dout_1328; dout_1333=((A >> 7)&1)&((B >> 8)&1); dout_1334=((A >> 7)&1)&((B >> 9)&1); dout_1335=((B >> 9)&1)&((A >> 6)&1); dout_1336=((A >> 6)&1)&((B >> 8)&1); dout_1337=dout_1335|dout_1333; dout_1338=((A >> 5)&1)&((B >> 10)&1); dout_1339=((A >> 5)&1)&((B >> 11)&1); dout_1340=((B >> 11)&1)&((A >> 4)&1); dout_1341=((A >> 4)&1)&((B >> 10)&1); dout_1342=dout_1340|dout_1338; dout_1343=((A >> 7)&1)&((B >> 10)&1); dout_1344=((A >> 7)&1)&((B >> 11)&1); dout_1345=((B >> 11)&1)&((A >> 6)&1); dout_1346=((A >> 6)&1)&((B >> 10)&1); dout_1347=dout_1345|dout_1343; dout_1352=dout_1336^dout_1329; dout_1354=dout_1336&dout_1329; dout_1359=dout_1337&dout_1354; dout_1361=dout_1334^dout_1346; dout_1362=dout_1334&dout_1346; dout_1363=dout_1361&dout_1359; dout_1365=dout_1362|dout_1363; dout_1367=dout_1347&dout_1365; dout_1371=dout_1344&dout_1367; dout_1376=dout_1361^dout_1359; dout_1378=dout_1344^dout_1367; dout_1379=dout_1347^dout_1365; dout_1381=dout_1337^dout_1354; dout_1394=dout_1341^dout_1352; dout_1396=dout_1341&dout_1352; dout_1398=dout_1342^dout_1381; dout_1400=dout_1342&dout_1381; dout_1401=dout_1398&dout_1396; dout_1402=dout_1400|dout_1401; dout_1403=dout_1339^dout_1376; dout_1404=dout_1339&dout_1376; dout_1405=dout_1403&dout_1402; dout_1407=dout_1404|dout_1405; dout_1409=dout_1379&dout_1407; dout_1413=dout_1378&dout_1409; dout_1418=dout_1403^dout_1402; dout_1419=dout_1371^dout_1413; dout_1420=dout_1378^dout_1409; dout_1421=dout_1379^dout_1407; dout_1423=dout_1398^dout_1396; dout_1432=((A >> 1)&1)&((B >> 12)&1); dout_1433=((A >> 1)&1)&((B >> 13)&1); dout_1434=((B >> 13)&1)&((A >> 0)&1); dout_1435=((A >> 0)&1)&((B >> 12)&1); dout_1436=dout_1434|dout_1432; dout_1437=((A >> 3)&1)&((B >> 12)&1); dout_1438=((A >> 3)&1)&((B >> 13)&1); dout_1439=((B >> 13)&1)&((A >> 2)&1); dout_1440=((A >> 2)&1)&((B >> 12)&1); dout_1441=dout_1439|dout_1437; dout_1442=((A >> 1)&1)&((B >> 14)&1); dout_1443=((A >> 1)&1)&((B >> 15)&1); dout_1444=((B >> 15)&1)&((A >> 0)&1); dout_1445=((A >> 0)&1)&((B >> 14)&1); dout_1446=dout_1444|dout_1442; dout_1447=((A >> 3)&1)&((B >> 14)&1); dout_1448=((A >> 3)&1)&((B >> 15)&1); dout_1449=((B >> 15)&1)&((A >> 2)&1); dout_1450=((A >> 2)&1)&((B >> 14)&1); dout_1451=dout_1449|dout_1447; dout_1456=dout_1440^dout_1433; dout_1458=dout_1440&dout_1433; dout_1463=dout_1441&dout_1458; dout_1465=dout_1438^dout_1450; dout_1466=dout_1438&dout_1450; dout_1467=dout_1465&dout_1463; dout_1469=dout_1466|dout_1467; dout_1471=dout_1451&dout_1469; dout_1475=dout_1448&dout_1471; dout_1480=dout_1465^dout_1463; dout_1482=dout_1448^dout_1471; dout_1483=dout_1451^dout_1469; dout_1485=dout_1441^dout_1458; dout_1498=dout_1445^dout_1456; dout_1500=dout_1445&dout_1456; dout_1502=dout_1446^dout_1485; dout_1504=dout_1446&dout_1485; dout_1505=dout_1502&dout_1500; dout_1506=dout_1504|dout_1505; dout_1507=dout_1443^dout_1480; dout_1508=dout_1443&dout_1480; dout_1509=dout_1507&dout_1506; dout_1511=dout_1508|dout_1509; dout_1513=dout_1483&dout_1511; dout_1517=dout_1482&dout_1513; dout_1522=dout_1507^dout_1506; dout_1523=dout_1475^dout_1517; dout_1524=dout_1482^dout_1513; dout_1525=dout_1483^dout_1511; dout_1527=dout_1502^dout_1500; dout_1536=((A >> 5)&1)&((B >> 12)&1); dout_1537=((A >> 5)&1)&((B >> 13)&1); dout_1538=((B >> 13)&1)&((A >> 4)&1); dout_1539=((A >> 4)&1)&((B >> 12)&1); dout_1540=dout_1538|dout_1536; dout_1541=((A >> 7)&1)&((B >> 12)&1); dout_1542=((A >> 7)&1)&((B >> 13)&1); dout_1543=((B >> 13)&1)&((A >> 6)&1); dout_1544=((A >> 6)&1)&((B >> 12)&1); dout_1545=dout_1543|dout_1541; dout_1546=((A >> 5)&1)&((B >> 14)&1); dout_1547=((A >> 5)&1)&((B >> 15)&1); dout_1548=((B >> 15)&1)&((A >> 4)&1); dout_1549=((A >> 4)&1)&((B >> 14)&1); dout_1550=dout_1548|dout_1546; dout_1551=((A >> 7)&1)&((B >> 14)&1); dout_1552=((A >> 7)&1)&((B >> 15)&1); dout_1553=((B >> 15)&1)&((A >> 6)&1); dout_1554=((A >> 6)&1)&((B >> 14)&1); dout_1555=dout_1553|dout_1551; dout_1560=dout_1544^dout_1537; dout_1562=dout_1544&dout_1537; dout_1567=dout_1545&dout_1562; dout_1569=dout_1542^dout_1554; dout_1570=dout_1542&dout_1554; dout_1571=dout_1569&dout_1567; dout_1573=dout_1570|dout_1571; dout_1575=dout_1555&dout_1573; dout_1579=dout_1552&dout_1575; dout_1584=dout_1569^dout_1567; dout_1586=dout_1552^dout_1575; dout_1587=dout_1555^dout_1573; dout_1589=dout_1545^dout_1562; dout_1602=dout_1549^dout_1560; dout_1604=dout_1549&dout_1560; dout_1606=dout_1550^dout_1589; dout_1608=dout_1550&dout_1589; dout_1609=dout_1606&dout_1604; dout_1610=dout_1608|dout_1609; dout_1611=dout_1547^dout_1584; dout_1612=dout_1547&dout_1584; dout_1613=dout_1611&dout_1610; dout_1615=dout_1612|dout_1613; dout_1617=dout_1587&dout_1615; dout_1621=dout_1586&dout_1617; dout_1626=dout_1611^dout_1610; dout_1627=dout_1579^dout_1621; dout_1628=dout_1586^dout_1617; dout_1629=dout_1587^dout_1615; dout_1631=dout_1606^dout_1604; dout_1652=dout_1331^dout_1314; dout_1654=dout_1331&dout_1314; dout_1656=dout_1332^dout_1317; dout_1658=dout_1656&dout_1654; dout_1659=dout_1332&dout_1317; dout_1660=dout_1659|dout_1658; dout_1661=dout_1394^dout_1316; dout_1662=dout_1661&dout_1660; dout_1663=dout_1394&dout_1316; dout_1664=dout_1663|dout_1662; dout_1665=dout_1423^dout_1315; dout_1666=dout_1665&dout_1664; dout_1667=dout_1423&dout_1315; dout_1668=dout_1418^dout_1539; dout_1669=dout_1667|dout_1666; dout_1670=dout_1418&dout_1539; dout_1671=dout_1668&dout_1669; dout_1672=dout_1421^dout_1540; dout_1673=dout_1670|dout_1671; dout_1674=dout_1421&dout_1540; dout_1675=dout_1672&dout_1673; dout_1676=dout_1420^dout_1602; dout_1677=dout_1674|dout_1675; dout_1678=dout_1676&dout_1677; dout_1679=dout_1420&dout_1602; dout_1680=dout_1679|dout_1678; dout_1681=dout_1419^dout_1631; dout_1682=dout_1681&dout_1680; dout_1683=dout_1419&dout_1631; dout_1684=dout_1683|dout_1682; dout_1686=dout_1626&dout_1684; dout_1691=dout_1629&dout_1686; dout_1694=dout_1628&dout_1691; dout_1698=dout_1656^dout_1654; dout_1701=dout_1676^dout_1677; dout_1702=dout_1661^dout_1660; dout_1703=dout_1681^dout_1680; dout_1704=dout_1626^dout_1684; dout_1707=dout_1629^dout_1686; dout_1708=dout_1628^dout_1691; dout_1709=dout_1672^dout_1673; dout_1711=dout_1627^dout_1694; dout_1712=dout_1668^dout_1669; dout_1713=dout_1665^dout_1664; dout_1742=dout_1435^dout_1652; dout_1744=dout_1435&dout_1652; dout_1746=dout_1436^dout_1698; dout_1748=dout_1746&dout_1744; dout_1749=dout_1436&dout_1698; dout_1750=dout_1749|dout_1748; dout_1751=dout_1498^dout_1702; dout_1752=dout_1751&dout_1750; dout_1753=dout_1498&dout_1702; dout_1754=dout_1753|dout_1752; dout_1755=dout_1527^dout_1713; dout_1756=dout_1755&dout_1754; dout_1757=dout_1527&dout_1713; dout_1758=dout_1522^dout_1712; dout_1759=dout_1757|dout_1756; dout_1760=dout_1522&dout_1712; dout_1761=dout_1758&dout_1759; dout_1762=dout_1525^dout_1709; dout_1763=dout_1760|dout_1761; dout_1764=dout_1525&dout_1709; dout_1765=dout_1762&dout_1763; dout_1766=dout_1524^dout_1701; dout_1767=dout_1764|dout_1765; dout_1768=dout_1766&dout_1767; dout_1769=dout_1524&dout_1701; dout_1770=dout_1769|dout_1768; dout_1771=dout_1523^dout_1703; dout_1772=dout_1771&dout_1770; dout_1773=dout_1523&dout_1703; dout_1774=dout_1773|dout_1772; dout_1776=dout_1704&dout_1774; dout_1781=dout_1707&dout_1776; dout_1784=dout_1708&dout_1781; dout_1788=dout_1746^dout_1744; dout_1791=dout_1766^dout_1767; dout_1792=dout_1751^dout_1750; dout_1793=dout_1771^dout_1770; dout_1794=dout_1704^dout_1774; dout_1797=dout_1707^dout_1776; dout_1798=dout_1708^dout_1781; dout_1799=dout_1762^dout_1763; dout_1801=dout_1711^dout_1784; dout_1802=dout_1758^dout_1759; dout_1803=dout_1755^dout_1754; dout_1820=((A >> 9)&1)&((B >> 8)&1); dout_1821=((A >> 9)&1)&((B >> 9)&1); dout_1822=((B >> 9)&1)&((A >> 8)&1); dout_1823=((A >> 8)&1)&((B >> 8)&1); dout_1824=dout_1822|dout_1820; dout_1825=((A >> 11)&1)&((B >> 8)&1); dout_1826=((A >> 11)&1)&((B >> 9)&1); dout_1827=((B >> 9)&1)&((A >> 10)&1); dout_1828=((A >> 10)&1)&((B >> 8)&1); dout_1829=dout_1827|dout_1825; dout_1830=((A >> 9)&1)&((B >> 10)&1); dout_1831=((A >> 9)&1)&((B >> 11)&1); dout_1832=((B >> 11)&1)&((A >> 8)&1); dout_1833=((A >> 8)&1)&((B >> 10)&1); dout_1834=dout_1832|dout_1830; dout_1835=((A >> 11)&1)&((B >> 10)&1); dout_1836=((A >> 11)&1)&((B >> 11)&1); dout_1837=((B >> 11)&1)&((A >> 10)&1); dout_1838=((A >> 10)&1)&((B >> 10)&1); dout_1839=dout_1837|dout_1835; dout_1844=dout_1828^dout_1821; dout_1846=dout_1828&dout_1821; dout_1851=dout_1829&dout_1846; dout_1853=dout_1826^dout_1838; dout_1854=dout_1826&dout_1838; dout_1855=dout_1853&dout_1851; dout_1857=dout_1854|dout_1855; dout_1859=dout_1839&dout_1857; dout_1863=dout_1836&dout_1859; dout_1868=dout_1853^dout_1851; dout_1870=dout_1836^dout_1859; dout_1871=dout_1839^dout_1857; dout_1873=dout_1829^dout_1846; dout_1886=dout_1833^dout_1844; dout_1888=dout_1833&dout_1844; dout_1890=dout_1834^dout_1873; dout_1892=dout_1834&dout_1873; dout_1893=dout_1890&dout_1888; dout_1894=dout_1892|dout_1893; dout_1895=dout_1831^dout_1868; dout_1896=dout_1831&dout_1868; dout_1897=dout_1895&dout_1894; dout_1899=dout_1896|dout_1897; dout_1901=dout_1871&dout_1899; dout_1905=dout_1870&dout_1901; dout_1910=dout_1895^dout_1894; dout_1911=dout_1863^dout_1905; dout_1912=dout_1870^dout_1901; dout_1913=dout_1871^dout_1899; dout_1915=dout_1890^dout_1888; dout_1924=((A >> 13)&1)&((B >> 8)&1); dout_1925=((A >> 13)&1)&((B >> 9)&1); dout_1926=((B >> 9)&1)&((A >> 12)&1); dout_1927=((A >> 12)&1)&((B >> 8)&1); dout_1928=dout_1926|dout_1924; dout_1929=((A >> 15)&1)&((B >> 8)&1); dout_1930=((A >> 15)&1)&((B >> 9)&1); dout_1931=((B >> 9)&1)&((A >> 14)&1); dout_1932=((A >> 14)&1)&((B >> 8)&1); dout_1933=dout_1931|dout_1929; dout_1934=((A >> 13)&1)&((B >> 10)&1); dout_1935=((A >> 13)&1)&((B >> 11)&1); dout_1936=((B >> 11)&1)&((A >> 12)&1); dout_1937=((A >> 12)&1)&((B >> 10)&1); dout_1938=dout_1936|dout_1934; dout_1939=((A >> 15)&1)&((B >> 10)&1); dout_1940=((A >> 15)&1)&((B >> 11)&1); dout_1941=((B >> 11)&1)&((A >> 14)&1); dout_1942=((A >> 14)&1)&((B >> 10)&1); dout_1943=dout_1941|dout_1939; dout_1948=dout_1932^dout_1925; dout_1950=dout_1932&dout_1925; dout_1955=dout_1933&dout_1950; dout_1957=dout_1930^dout_1942; dout_1958=dout_1930&dout_1942; dout_1959=dout_1957&dout_1955; dout_1961=dout_1958|dout_1959; dout_1963=dout_1943&dout_1961; dout_1967=dout_1940&dout_1963; dout_1972=dout_1957^dout_1955; dout_1974=dout_1940^dout_1963; dout_1975=dout_1943^dout_1961; dout_1977=dout_1933^dout_1950; dout_1990=dout_1937^dout_1948; dout_1992=dout_1937&dout_1948; dout_1994=dout_1938^dout_1977; dout_1996=dout_1938&dout_1977; dout_1997=dout_1994&dout_1992; dout_1998=dout_1996|dout_1997; dout_1999=dout_1935^dout_1972; dout_2000=dout_1935&dout_1972; dout_2001=dout_1999&dout_1998; dout_2003=dout_2000|dout_2001; dout_2005=dout_1975&dout_2003; dout_2009=dout_1974&dout_2005; dout_2014=dout_1999^dout_1998; dout_2015=dout_1967^dout_2009; dout_2016=dout_1974^dout_2005; dout_2017=dout_1975^dout_2003; dout_2019=dout_1994^dout_1992; dout_2028=((A >> 9)&1)&((B >> 12)&1); dout_2029=((A >> 9)&1)&((B >> 13)&1); dout_2030=((B >> 13)&1)&((A >> 8)&1); dout_2031=((A >> 8)&1)&((B >> 12)&1); dout_2032=dout_2030|dout_2028; dout_2033=((A >> 11)&1)&((B >> 12)&1); dout_2034=((A >> 11)&1)&((B >> 13)&1); dout_2035=((B >> 13)&1)&((A >> 10)&1); dout_2036=((A >> 10)&1)&((B >> 12)&1); dout_2037=dout_2035|dout_2033; dout_2038=((A >> 9)&1)&((B >> 14)&1); dout_2039=((A >> 9)&1)&((B >> 15)&1); dout_2040=((B >> 15)&1)&((A >> 8)&1); dout_2041=((A >> 8)&1)&((B >> 14)&1); dout_2042=dout_2040|dout_2038; dout_2043=((A >> 11)&1)&((B >> 14)&1); dout_2044=((A >> 11)&1)&((B >> 15)&1); dout_2045=((B >> 15)&1)&((A >> 10)&1); dout_2046=((A >> 10)&1)&((B >> 14)&1); dout_2047=dout_2045|dout_2043; dout_2052=dout_2036^dout_2029; dout_2054=dout_2036&dout_2029; dout_2059=dout_2037&dout_2054; dout_2061=dout_2034^dout_2046; dout_2062=dout_2034&dout_2046; dout_2063=dout_2061&dout_2059; dout_2065=dout_2062|dout_2063; dout_2067=dout_2047&dout_2065; dout_2071=dout_2044&dout_2067; dout_2076=dout_2061^dout_2059; dout_2078=dout_2044^dout_2067; dout_2079=dout_2047^dout_2065; dout_2081=dout_2037^dout_2054; dout_2094=dout_2041^dout_2052; dout_2096=dout_2041&dout_2052; dout_2098=dout_2042^dout_2081; dout_2100=dout_2042&dout_2081; dout_2101=dout_2098&dout_2096; dout_2102=dout_2100|dout_2101; dout_2103=dout_2039^dout_2076; dout_2104=dout_2039&dout_2076; dout_2105=dout_2103&dout_2102; dout_2107=dout_2104|dout_2105; dout_2109=dout_2079&dout_2107; dout_2113=dout_2078&dout_2109; dout_2118=dout_2103^dout_2102; dout_2119=dout_2071^dout_2113; dout_2120=dout_2078^dout_2109; dout_2121=dout_2079^dout_2107; dout_2123=dout_2098^dout_2096; dout_2132=((A >> 13)&1)&((B >> 12)&1); dout_2133=((A >> 13)&1)&((B >> 13)&1); dout_2134=((B >> 13)&1)&((A >> 12)&1); dout_2135=((A >> 12)&1)&((B >> 12)&1); dout_2136=dout_2134|dout_2132; dout_2137=((A >> 15)&1)&((B >> 12)&1); dout_2138=((A >> 15)&1)&((B >> 13)&1); dout_2139=((B >> 13)&1)&((A >> 14)&1); dout_2140=((A >> 14)&1)&((B >> 12)&1); dout_2141=dout_2139|dout_2137; dout_2142=((A >> 13)&1)&((B >> 14)&1); dout_2143=((A >> 13)&1)&((B >> 15)&1); dout_2144=((B >> 15)&1)&((A >> 12)&1); dout_2145=((A >> 12)&1)&((B >> 14)&1); dout_2146=dout_2144|dout_2142; dout_2147=((A >> 15)&1)&((B >> 14)&1); dout_2148=((A >> 15)&1)&((B >> 15)&1); dout_2149=((B >> 15)&1)&((A >> 14)&1); dout_2150=((A >> 14)&1)&((B >> 14)&1); dout_2151=dout_2149|dout_2147; dout_2156=dout_2140^dout_2133; dout_2158=dout_2140&dout_2133; dout_2163=dout_2141&dout_2158; dout_2165=dout_2138^dout_2150; dout_2166=dout_2138&dout_2150; dout_2167=dout_2165&dout_2163; dout_2169=dout_2166|dout_2167; dout_2171=dout_2151&dout_2169; dout_2175=dout_2148&dout_2171; dout_2180=dout_2165^dout_2163; dout_2182=dout_2148^dout_2171; dout_2183=dout_2151^dout_2169; dout_2185=dout_2141^dout_2158; dout_2198=dout_2145^dout_2156; dout_2200=dout_2145&dout_2156; dout_2202=dout_2146^dout_2185; dout_2204=dout_2146&dout_2185; dout_2205=dout_2202&dout_2200; dout_2206=dout_2204|dout_2205; dout_2207=dout_2143^dout_2180; dout_2208=dout_2143&dout_2180; dout_2209=dout_2207&dout_2206; dout_2211=dout_2208|dout_2209; dout_2213=dout_2183&dout_2211; dout_2217=dout_2182&dout_2213; dout_2222=dout_2207^dout_2206; dout_2223=dout_2175^dout_2217; dout_2224=dout_2182^dout_2213; dout_2225=dout_2183^dout_2211; dout_2227=dout_2202^dout_2200; dout_2248=dout_1927^dout_1910; dout_2250=dout_1927&dout_1910; dout_2252=dout_1928^dout_1913; dout_2254=dout_2252&dout_2250; dout_2255=dout_1928&dout_1913; dout_2256=dout_2255|dout_2254; dout_2257=dout_1990^dout_1912; dout_2258=dout_2257&dout_2256; dout_2259=dout_1990&dout_1912; dout_2260=dout_2259|dout_2258; dout_2261=dout_2019^dout_1911; dout_2262=dout_2261&dout_2260; dout_2263=dout_2019&dout_1911; dout_2264=dout_2014^dout_2135; dout_2265=dout_2263|dout_2262; dout_2266=dout_2014&dout_2135; dout_2267=dout_2264&dout_2265; dout_2268=dout_2017^dout_2136; dout_2269=dout_2266|dout_2267; dout_2270=dout_2017&dout_2136; dout_2271=dout_2268&dout_2269; dout_2272=dout_2016^dout_2198; dout_2273=dout_2270|dout_2271; dout_2274=dout_2272&dout_2273; dout_2275=dout_2016&dout_2198; dout_2276=dout_2275|dout_2274; dout_2277=dout_2015^dout_2227; dout_2278=dout_2277&dout_2276; dout_2279=dout_2015&dout_2227; dout_2280=dout_2279|dout_2278; dout_2282=dout_2222&dout_2280; dout_2287=dout_2225&dout_2282; dout_2290=dout_2224&dout_2287; dout_2294=dout_2252^dout_2250; dout_2297=dout_2272^dout_2273; dout_2298=dout_2257^dout_2256; dout_2299=dout_2277^dout_2276; dout_2300=dout_2222^dout_2280; dout_2303=dout_2225^dout_2282; dout_2304=dout_2224^dout_2287; dout_2305=dout_2268^dout_2269; dout_2307=dout_2223^dout_2290; dout_2308=dout_2264^dout_2265; dout_2309=dout_2261^dout_2260; dout_2338=dout_2031^dout_2248; dout_2340=dout_2031&dout_2248; dout_2342=dout_2032^dout_2294; dout_2344=dout_2342&dout_2340; dout_2345=dout_2032&dout_2294; dout_2346=dout_2345|dout_2344; dout_2347=dout_2094^dout_2298; dout_2348=dout_2347&dout_2346; dout_2349=dout_2094&dout_2298; dout_2350=dout_2349|dout_2348; dout_2351=dout_2123^dout_2309; dout_2352=dout_2351&dout_2350; dout_2353=dout_2123&dout_2309; dout_2354=dout_2118^dout_2308; dout_2355=dout_2353|dout_2352; dout_2356=dout_2118&dout_2308; dout_2357=dout_2354&dout_2355; dout_2358=dout_2121^dout_2305; dout_2359=dout_2356|dout_2357; dout_2360=dout_2121&dout_2305; dout_2361=dout_2358&dout_2359; dout_2362=dout_2120^dout_2297; dout_2363=dout_2360|dout_2361; dout_2364=dout_2362&dout_2363; dout_2365=dout_2120&dout_2297; dout_2366=dout_2365|dout_2364; dout_2367=dout_2119^dout_2299; dout_2368=dout_2367&dout_2366; dout_2369=dout_2119&dout_2299; dout_2370=dout_2369|dout_2368; dout_2372=dout_2300&dout_2370; dout_2377=dout_2303&dout_2372; dout_2380=dout_2304&dout_2377; dout_2384=dout_2342^dout_2340; dout_2387=dout_2362^dout_2363; dout_2388=dout_2347^dout_2346; dout_2389=dout_2367^dout_2366; dout_2390=dout_2300^dout_2370; dout_2393=dout_2303^dout_2372; dout_2394=dout_2304^dout_2377; dout_2395=dout_2358^dout_2359; dout_2397=dout_2307^dout_2380; dout_2398=dout_2354^dout_2355; dout_2399=dout_2351^dout_2350; dout_2432=dout_631^dout_610; dout_2433=dout_631&dout_610; dout_2434=dout_632^dout_607; dout_2435=dout_632&dout_607; dout_2436=dout_694^dout_599; dout_2437=dout_694&dout_599; dout_2438=dout_723^dout_601; dout_2439=dout_723&dout_601; dout_2440=dout_1146^dout_602; dout_2441=dout_1146&dout_602; dout_2442=dout_1192^dout_605; dout_2443=dout_1192&dout_605; dout_2444=dout_1196^dout_606; dout_2445=dout_1196&dout_606; dout_2446=dout_1207^dout_609; dout_2447=dout_1207&dout_609; dout_2448=dout_1206^dout_1823; dout_2449=dout_1206&dout_1823; dout_2450=dout_1203^dout_1824; dout_2451=dout_1203&dout_1824; dout_2452=dout_1195^dout_1886; dout_2453=dout_1195&dout_1886; dout_2454=dout_1197^dout_1915; dout_2455=dout_1197&dout_1915; dout_2456=dout_1198^dout_2338; dout_2457=dout_1198&dout_2338; dout_2458=dout_1201^dout_2384; dout_2459=dout_1201&dout_2384; dout_2460=dout_1202^dout_2388; dout_2461=dout_1202&dout_2388; dout_2462=dout_1205^dout_2399; dout_2463=dout_1205&dout_2399; dout_2503=dout_2434^dout_2433; dout_2504=dout_2434&dout_2433; dout_2505=dout_2435|dout_2504; dout_2506=dout_2436^dout_2505; dout_2507=dout_2436&dout_2505; dout_2508=dout_2437|dout_2507; dout_2509=dout_2438^dout_2508; dout_2510=dout_2438&dout_2508; dout_2511=dout_2439|dout_2510; dout_2512=dout_2440^dout_2511; dout_2513=dout_2440&dout_2511; dout_2514=dout_2441|dout_2513; dout_2515=dout_2442^dout_2514; dout_2516=dout_2442&dout_2514; dout_2517=dout_2443|dout_2516; dout_2518=dout_2444^dout_2517; dout_2519=dout_2444&dout_2517; dout_2520=dout_2445|dout_2519; dout_2521=dout_2446^dout_2520; dout_2522=dout_2446&dout_2520; dout_2523=dout_2447|dout_2522; dout_2524=dout_2448^dout_2523; dout_2525=dout_2448&dout_2523; dout_2526=dout_2449|dout_2525; dout_2527=dout_2450^dout_2526; dout_2528=dout_2450&dout_2526; dout_2529=dout_2451|dout_2528; dout_2530=dout_2452^dout_2529; dout_2531=dout_2452&dout_2529; dout_2532=dout_2453|dout_2531; dout_2533=dout_2454^dout_2532; dout_2534=dout_2454&dout_2532; dout_2535=dout_2455|dout_2534; dout_2536=dout_2456^dout_2535; dout_2537=dout_2456&dout_2535; dout_2538=dout_2457|dout_2537; dout_2539=dout_2458^dout_2538; dout_2540=dout_2458&dout_2538; dout_2541=dout_2459|dout_2540; dout_2542=dout_2460^dout_2541; dout_2543=dout_2460&dout_2541; dout_2544=dout_2461|dout_2543; dout_2545=dout_2462^dout_2544; dout_2546=dout_2462&dout_2544; dout_2547=dout_2463|dout_2546; dout_2548=dout_2398^dout_2547; dout_2549=dout_2398&dout_2547; dout_2551=dout_2395^dout_2549; dout_2552=dout_2395&dout_2549; dout_2554=dout_2387^dout_2552; dout_2555=dout_2387&dout_2552; dout_2557=dout_2389^dout_2555; dout_2558=dout_2389&dout_2555; dout_2560=dout_2390^dout_2558; dout_2561=dout_2390&dout_2558; dout_2563=dout_2393^dout_2561; dout_2564=dout_2393&dout_2561; dout_2566=dout_2394^dout_2564; dout_2567=dout_2394&dout_2564; dout_2569=dout_2397^dout_2567; dout_2586=dout_1227^dout_2432; dout_2587=dout_1227&dout_2432; dout_2588=dout_1228^dout_2503; dout_2589=dout_1228&dout_2503; dout_2590=dout_1290^dout_2506; dout_2591=dout_1290&dout_2506; dout_2592=dout_1319^dout_2509; dout_2593=dout_1319&dout_2509; dout_2594=dout_1742^dout_2512; dout_2595=dout_1742&dout_2512; dout_2596=dout_1788^dout_2515; dout_2597=dout_1788&dout_2515; dout_2598=dout_1792^dout_2518; dout_2599=dout_1792&dout_2518; dout_2600=dout_1803^dout_2521; dout_2601=dout_1803&dout_2521; dout_2602=dout_1802^dout_2524; dout_2603=dout_1802&dout_2524; dout_2604=dout_1799^dout_2527; dout_2605=dout_1799&dout_2527; dout_2606=dout_1791^dout_2530; dout_2607=dout_1791&dout_2530; dout_2608=dout_1793^dout_2533; dout_2609=dout_1793&dout_2533; dout_2610=dout_1794^dout_2536; dout_2611=dout_1794&dout_2536; dout_2612=dout_1797^dout_2539; dout_2613=dout_1797&dout_2539; dout_2614=dout_1798^dout_2542; dout_2615=dout_1798&dout_2542; dout_2616=dout_1801^dout_2545; dout_2617=dout_1801&dout_2545; dout_2657=dout_2588^dout_2587; dout_2658=dout_2588&dout_2587; dout_2659=dout_2589|dout_2658; dout_2660=dout_2590^dout_2659; dout_2661=dout_2590&dout_2659; dout_2662=dout_2591|dout_2661; dout_2663=dout_2592^dout_2662; dout_2664=dout_2592&dout_2662; dout_2665=dout_2593|dout_2664; dout_2666=dout_2594^dout_2665; dout_2667=dout_2594&dout_2665; dout_2668=dout_2595|dout_2667; dout_2669=dout_2596^dout_2668; dout_2670=dout_2596&dout_2668; dout_2671=dout_2597|dout_2670; dout_2672=dout_2598^dout_2671; dout_2673=dout_2598&dout_2671; dout_2674=dout_2599|dout_2673; dout_2675=dout_2600^dout_2674; dout_2676=dout_2600&dout_2674; dout_2677=dout_2601|dout_2676; dout_2678=dout_2602^dout_2677; dout_2679=dout_2602&dout_2677; dout_2680=dout_2603|dout_2679; dout_2681=dout_2604^dout_2680; dout_2682=dout_2604&dout_2680; dout_2683=dout_2605|dout_2682; dout_2684=dout_2606^dout_2683; dout_2685=dout_2606&dout_2683; dout_2686=dout_2607|dout_2685; dout_2687=dout_2608^dout_2686; dout_2688=dout_2608&dout_2686; dout_2689=dout_2609|dout_2688; dout_2690=dout_2610^dout_2689; dout_2691=dout_2610&dout_2689; dout_2692=dout_2611|dout_2691; dout_2693=dout_2612^dout_2692; dout_2694=dout_2612&dout_2692; dout_2695=dout_2613|dout_2694; dout_2696=dout_2614^dout_2695; dout_2697=dout_2614&dout_2695; dout_2698=dout_2615|dout_2697; dout_2699=dout_2616^dout_2698; dout_2700=dout_2616&dout_2698; dout_2701=dout_2617|dout_2700; dout_2702=dout_2548^dout_2701; dout_2703=dout_2548&dout_2701; dout_2705=dout_2551^dout_2703; dout_2706=dout_2551&dout_2703; dout_2708=dout_2554^dout_2706; dout_2709=dout_2554&dout_2706; dout_2711=dout_2557^dout_2709; dout_2712=dout_2557&dout_2709; dout_2714=dout_2560^dout_2712; dout_2715=dout_2560&dout_2712; dout_2717=dout_2563^dout_2715; dout_2718=dout_2563&dout_2715; dout_2720=dout_2566^dout_2718; dout_2721=dout_2566&dout_2718; dout_2723=dout_2569^dout_2721; O = 0; O |= (dout_35&1) << 0; O |= (dout_36&1) << 1; O |= (dout_98&1) << 2; O |= (dout_127&1) << 3; O |= (dout_550&1) << 4; O |= (dout_596&1) << 5; O |= (dout_600&1) << 6; O |= (dout_611&1) << 7; O |= (dout_2586&1) << 8; O |= (dout_2657&1) << 9; O |= (dout_2660&1) << 10; O |= (dout_2663&1) << 11; O |= (dout_2666&1) << 12; O |= (dout_2669&1) << 13; O |= (dout_2672&1) << 14; O |= (dout_2675&1) << 15; O |= (dout_2678&1) << 16; O |= (dout_2681&1) << 17; O |= (dout_2684&1) << 18; O |= (dout_2687&1) << 19; O |= (dout_2690&1) << 20; O |= (dout_2693&1) << 21; O |= (dout_2696&1) << 22; O |= (dout_2699&1) << 23; O |= (dout_2702&1) << 24; O |= (dout_2705&1) << 25; O |= (dout_2708&1) << 26; O |= (dout_2711&1) << 27; O |= (dout_2714&1) << 28; O |= (dout_2717&1) << 29; O |= (dout_2720&1) << 30; O |= (dout_2723&1) << 31; return O; }