#include <stdint.h>
#include <stdlib.h>
uint32_t mul16s_HF7(uint16_t A, uint16_t B)
{
uint32_t O;
uint8_t n1007,n1000,n1002,n538,n539,n536,n537,n534,n535,n532,n533,n530,n531,O14,n408,n409,n402,n403,n400,n401,n406,n407,n404,n405,n392,n393,n390,n391,n396,n397,n394,n395,n398,n399,n240,n241,n242,n715,n244,n245,n246,n711,n248,n249,n941,n718,n719,n764,n947,n762,n761,n1279,n1278,n1277,n1276,n1275,n1274,n1273,n1272,n1271,n1270,n1479,n1478,n1475,n1474,n1477,n1476,n1471,n1470,n1473,n1472,n662,n663,n660,n661,n666,n667,n664,n889,n886,n887,n884,n885,n882,n883,n880,n881,n864,n865,n866,n867,n860,n861,n862,n863,n1611,n1610,n1613,n1612,n868,n869,n1617,n1616,n1589,n1588,n1581,n1580,n1583,n1582,n1585,n1584,n1587,n1586,n1057,n1056,n1055,n1054,n1053,n1052,n1051,n1050,O21,n1059,n1058,O1,n1294,n1297,n1296,n1291,n1290,n1293,n1292,n1299,n1298,n1123,n1122,n1121,n1120,n1127,n1126,n1125,n1124,n1129,n1128,n1702,n745,n744,n1683,n117,n746,n1685,n528,n521,n520,n523,n522,n525,n524,n527,n526,n415,n414,n417,n416,n411,n410,n413,n412,n419,n418,n742,n389,n388,n385,n384,n387,n386,n381,n380,n383,n382,n253,n700,n251,n250,n257,n256,n255,n254,n709,n708,n259,n258,O17,n1268,n1269,n1260,n1261,n1262,n1263,n1264,n1265,n1266,n1267,n1468,n1469,n1466,n1467,n1464,n1465,n1462,n1463,n1460,n1461,O6,n899,n898,n679,n678,n891,n674,n677,n676,n671,n670,n673,n672,n877,n876,n875,n874,n873,n872,n871,n870,n1602,n1603,n1600,n1601,n1606,n1607,n879,n878,n1598,n1599,n1592,n1593,n1590,n1591,n1596,n1597,n1594,n1595,n1040,n1041,n1042,n1043,n1044,n1045,n1046,n1047,n1048,n1049,n1286,n1287,n1284,n1285,n1282,n1283,n1280,n1281,n1289,n716,n717,n714,n243,n712,n713,n1138,n1139,n1134,n1135,n1136,n247,n1130,n1131,n1132,n1133,n327,n326,n325,n324,n323,n322,n321,n320,n1574,n1575,n1576,n758,n812,n1570,n943,n1571,n1572,n1573,n759,O16,n460,n461,n462,n463,n464,n465,n466,n467,n468,n469,O18,n268,n269,n266,n267,n264,n265,n262,n263,n260,n261,n1425,n284,n285,n286,n287,n280,n281,n282,n283,n289,n1459,n1458,n1453,n1452,n1451,n1450,n1457,n1456,n1455,n1454,n608,n609,n600,n601,n602,n603,n604,n605,n606,n607,n1637,n1636,n1635,n1634,n1633,n1632,n1631,n1630,n1639,n1638,n842,n843,n840,n841,n846,n847,n844,n845,n848,n849,n149,n114,n115,n148,n110,n111,n112,n113,n833,n118,n119,n888,n665,n1703,O23,n1701,n1707,n1706,n1705,n1704,n1709,n1708,n668,n669,O7,n928,n831,n1149,n1148,n1141,n1140,n1143,n1142,n1145,n1144,n1147,n1146,n1619,n1618,n834,n1615,n1614,n1720,n473,n472,n471,n470,n477,n476,n475,n474,n479,n478,n279,n278,n271,n270,n273,n272,n275,n274,n277,n276,n356,n425,n426,n297,n296,n295,n427,n293,n292,n291,n290,n420,n1448,n1449,n299,n353,O24,n423,n619,n618,n613,n612,n611,n610,n617,n616,n615,n614,n1620,n1621,n1622,n1623,n1624,n1625,n1626,n1627,n1628,n1629,n859,n858,n855,n854,n857,n856,n851,n850,n853,n852,n1657,n107,n106,n105,n104,n103,n102,n101,n100,n109,n108,n1718,n1719,n1715,n1716,n1717,n1710,n1711,n1712,n1713,n909,n905,n774,n1295,n904,O4,n775,n1158,n1159,n1152,n1153,n1150,n1151,n1156,n1157,n1154,n1155,n1652,n777,n770,n730,n448,n449,n446,n447,n444,n445,n442,n732,n440,n441,n733,n734,n227,n224,n225,n1447,n598,n599,n590,n591,n592,n593,n594,n595,n596,n597,n1431,n1430,n1433,n1432,n1435,n1434,n1437,n1436,n914,n1438,n916,n917,n910,n911,n912,n913,n626,n627,n624,n625,n622,n623,n620,n621,n628,n629,n1389,n1388,n1387,n1386,n1385,n1384,n1383,n1382,n1381,n1380,n828,n829,n1549,n1548,n832,n820,n821,n1547,n1546,O5,n1540,n1543,n827,n1555,n1552,n1553,n132,n133,n130,n131,n136,n835,n134,n135,n138,n139,n1099,n1098,O25,n1093,n1092,n1091,n1090,n1097,n1096,n1095,n1094,n1167,n1166,n1165,n1164,n1163,n1162,n1161,n1160,n1169,n1168,n1365,n1364,n1367,n1361,n1360,n1363,n1362,n1369,n1368,n1672,n1677,n1674,n459,n458,n451,n450,n453,n452,n455,n454,n457,n456,n589,n583,n582,n581,n580,n587,n586,n585,n584,n1422,n1423,n1420,n1421,n1426,n1427,n1424,n908,n907,n906,n1428,n1429,n903,n902,n901,n900,n631,n630,n633,n632,n635,n634,n637,n636,n639,n638,n1398,n1399,n1390,n1391,n1392,n1393,n1394,n1395,n1396,n1397,n839,n838,n1559,n1556,n1557,n1554,n830,n837,n836,n1550,n1551,n129,n128,n125,n124,n127,n126,n121,n120,n123,n122,n1084,n1085,n1086,n1087,n1080,n1081,n1082,n1083,n1088,n1089,n1170,n1171,n1172,n1173,n1174,n1175,n1176,n1177,n1178,n1179,n1376,n1377,n1374,n1375,n1372,n1373,n1370,n1371,n1378,n1379,n1444,n1445,n1446,n294,n1440,n1441,n1442,n1443,n298,n1073,n529,n706,n756,n757,n938,n939,n978,n1419,n1418,n932,n933,n930,n931,n1413,n937,n934,n1410,n976,n977,n206,n975,n972,n973,n482,n483,n480,n481,n338,n339,n484,n485,n334,n335,n488,n489,n330,n331,n332,n333,n806,n807,n804,n805,n802,n803,n800,n801,n808,n809,n1569,n1568,n1563,n1562,n1561,n1560,n1567,n1566,n1565,n1564,n158,n159,n150,n151,n152,n153,n154,n155,n156,n157,O27,n69,n68,n996,n997,n1189,n1188,n1185,n1184,n1187,n1186,n1181,n1180,n1183,n1182,n1343,n1342,n1341,n1340,n1347,n1346,n1345,n1344,n998,n1349,n1348,n999,n705,n790,n1655,n1654,n1656,n1651,n1650,n1408,n1409,n1653,n1400,n1401,n1402,n1403,n1404,n1405,n1406,n1407,n499,n498,n329,n328,n495,n494,n497,n496,n491,n490,n493,n492,n811,n810,n813,n1577,n815,n814,n817,n816,n819,n818,n1578,n1579,n925,n924,n927,n926,n921,n920,n923,n922,n143,n142,n141,n140,n929,n146,n145,n144,n74,n75,n76,n77,n70,n71,n72,n79,n701,n252,n703,n702,n1198,O8,n1196,n1197,n1194,n1195,n1192,n1193,n1190,n1191,n1358,n1359,n1354,n1355,n1356,n1357,n1350,n1351,n1352,n1353,O28,n1509,n1013,n1012,n1011,n1010,n1017,n1016,n1015,n1014,n798,n799,n796,n797,n794,n795,n792,n793,n1541,n791,n558,n559,n554,n555,n556,n557,n550,n551,n552,n553,O22,n318,n319,n312,n313,n310,n311,n316,n317,n314,n315,n1500,n1503,n1502,n1505,n1504,n1507,n1506,O9,n1508,n176,n177,n174,n175,n172,n173,n170,n171,n776,n178,n179,n950,n951,n952,n953,n954,n955,n772,n773,n958,n959,n778,n779,n771,O29,n956,n957,n675,n1219,n1218,n890,n1215,n1214,n1217,n1216,n1211,n1210,n1213,n1212,n892,n895,n894,n1691,n1690,n1693,n1692,n1695,n1694,n1697,n1696,n1699,n1698,n896,n1329,n1328,n1321,n1320,n1323,n1322,n1325,n1324,n1327,n1326,n1035,n1034,n1037,n1036,n1031,n1030,n1033,n1032,n1039,n1038,n1609,O19,n1605,n789,n788,n781,n780,n783,n782,n785,n784,n787,n549,n548,n547,n546,n545,n544,n543,n542,n541,n540,n341,n340,n343,n342,n345,n344,n347,n346,n305,n304,n307,n306,n301,n300,n303,n302,n309,n308,O11,n1513,n1510,n1511,n1516,n1517,n1514,n1515,n1518,n1519,n161,n160,n163,n162,n165,n164,n167,n166,n169,n168,n767,n766,n765,n940,n763,n946,n945,n760,n949,n948,n769,n768,n1208,n1209,n1206,n1207,n1204,n1205,n1202,n1203,n1200,n1201,n1682,n1417,n1680,n1681,n1686,n1687,n1684,n1416,n1688,n1689,n1415,n1414,n936,n1412,n1411,n935,n1338,n1339,n1332,n1333,n1330,n1331,n1336,n1337,n1334,n1335,n704,n707,n1026,n1027,n1024,n1025,n1022,n1023,n1020,n1021,n1028,n1029,n971,n486,n487,n336,n337,O15,O10,n578,n579,n572,n573,n570,n571,n576,n577,n574,n575,n680,n681,n682,n684,n685,n686,n687,n688,n689,n370,n371,n372,n373,n374,n375,n376,n377,n378,n379,n1137,n1529,n1528,n1527,n1526,n1525,n1524,n1523,n1522,n1521,n1520,O20,O26,n198,n199,n194,n195,n196,n197,n190,n191,n192,n193,n752,n753,n750,n751,n208,n209,n754,n755,n204,n205,n974,n207,n200,n201,n202,n203,n994,n995,n1239,n1238,n990,n991,n992,n993,n1233,n1232,n1231,n1230,n1237,n1236,n1235,n1234,n1307,n1306,n1305,n1304,n1303,n1302,n1301,n1300,n1659,n1658,n1309,n1308,n443,n85,n84,n87,n86,n81,n80,n83,n82,n1019,n1018,n89,n88,n710,n565,n564,n567,n566,n561,n560,n563,n562,n569,n568,n897,n693,n692,n691,n690,n697,n696,n695,n694,n699,n698,n363,n362,n361,n360,n367,n366,n365,n364,n369,n368,n1538,n1539,O13,n1530,n1531,n1532,n1533,n1534,n1535,n1536,n1537,n189,n188,n187,n185,n184,n183,n182,n181,n180,n969,n968,n749,n748,n219,n218,n961,n216,n215,n214,n213,n212,n211,n210,n1224,n1225,n1226,n1227,n1220,n1221,n1222,n1223,n1228,n1229,n987,n986,n985,n984,n983,n982,n981,n980,n989,n988,n963,O2,n1310,n1311,n1312,n1313,n1642,n1643,n1640,n1641,n1318,n1319,n965,n1648,n1649,n964,n967,n919,n98,n99,n1008,n1009,n92,n1005,n90,n91,n96,n97,n94,n95,n915,n741,n510,n511,n512,n513,n514,n515,n516,n517,n518,n519,O12,n1608,n217,n960,n747,n962,n428,n429,n358,n359,n424,n357,n354,n355,n352,n421,n350,n740,n743,n966,O30,n738,n739,n228,n229,n979,n222,n223,n220,n221,n226,n735,n736,n737,n1251,n1250,n1253,n1252,n1255,n1254,n1257,n1256,n1259,n1258,n1497,n1496,n1495,n1494,n1493,n1492,n1491,n1490,n1499,n1498,n644,n645,n646,n647,n640,n641,n642,n643,n648,n649,n1673,n1545,n1671,n1670,n1676,n1544,n1679,n1678,n822,n823,n824,n825,n826,n1542,n1079,n1078,n1071,n1070,O3,n1072,n1075,n1074,n1077,n1076,n970,n1104,n1107,n1106,n1101,n1100,n1103,n1102,n1109,n1108,n137,n918,n1003,n503,n502,n500,n507,n506,n505,n504,n509,n508,n1646,n1647,n1644,n942,n1314,n1315,n1316,n1317,n349,n348,n439,n438,n437,n436,n435,n434,n433,n432,n431,n430,O31,n235,n234,n237,n236,n231,n230,n232,n239,n238,n729,n728,n723,n722,n721,n720,n727,n726,n725,n724,n1242,n1243,n1240,n1241,n1246,n1247,n1244,n1245,n1248,n1249,n1480,n1481,n1482,n1483,n1484,n1485,n1486,n1487,n1488,n1489,n944,O0,n657,n656,n655,n654,n653,n652,n651,n650,n659,n658,n1668,n1669,n1664,n1665,n1666,n1667,n1660,n1661,n1662,n1663,n1068,n1069,n1062,n1063,n1060,n1061,n1066,n1067,n1064,n1065,n1116,n1117,n1114,n1115,n1112,n1113,n1110,n1111,n1118,n1119,n1512,n731,n1004,n1006;
O0=0;
O1=0;
O2=((B >> 1)&1)&((A >> 1)&1);
n1000=((B >> 4)&1)&((A >> 14)&1);
n1020=((B >> 4)&1)&((A >> 15)&1);
n1084=((B >> 13)&1)&((A >> 6)&1);
n1092=((B >> 14)&1)&((A >> 5)&1);
n1095=((B >> 15)&1)&((A >> 4)&1);
n1097=((B >> 12)&1)&((A >> 7)&1);
n1098=((B >> 11)&1)&((A >> 8)&1);
n1099=((B >> 10)&1)&((A >> 9)&1);
n110=((B >> 3)&1)&((A >> 3)&1);
n1100=((B >> 9)&1)&((A >> 10)&1);
n1101=((B >> 8)&1)&((A >> 11)&1);
n1102=((B >> 7)&1)&((A >> 12)&1);
n1103=((B >> 6)&1)&((A >> 13)&1);
n1104=((B >> 5)&1)&((A >> 14)&1);
n112=((B >> 5)&1)&((A >> 1)&1);
n1124=((B >> 5)&1)&((A >> 15)&1);
n113=((B >> 4)&1)&((A >> 2)&1);
n114=((B >> 2)&1)&((A >> 4)&1);
n115=((B >> 1)&1)&((A >> 5)&1);
n1189=((B >> 15)&1)&((A >> 5)&1);
n1190=((B >> 14)&1)&((A >> 6)&1);
n1191=((B >> 13)&1)&((A >> 7)&1);
n1192=((B >> 12)&1)&((A >> 8)&1);
n1193=((B >> 11)&1)&((A >> 9)&1);
n1194=((B >> 10)&1)&((A >> 10)&1);
n1195=((B >> 9)&1)&((A >> 11)&1);
n1196=((B >> 8)&1)&((A >> 12)&1);
n1197=((B >> 7)&1)&((A >> 13)&1);
n1198=((B >> 6)&1)&((A >> 14)&1);
n1218=((B >> 6)&1)&((A >> 15)&1);
n1268=((B >> 13)&1)&((A >> 8)&1);
n1276=((B >> 14)&1)&((A >> 7)&1);
n1280=((B >> 15)&1)&((A >> 6)&1);
n1282=((B >> 12)&1)&((A >> 9)&1);
n1283=((B >> 11)&1)&((A >> 10)&1);
n1284=((B >> 10)&1)&((A >> 11)&1);
n1285=((B >> 9)&1)&((A >> 12)&1);
n1286=((B >> 8)&1)&((A >> 13)&1);
n1287=((B >> 7)&1)&((A >> 14)&1);
n1307=((B >> 7)&1)&((A >> 15)&1);
n1358=((B >> 15)&1)&((A >> 7)&1);
n1359=((B >> 14)&1)&((A >> 8)&1);
n1360=((B >> 13)&1)&((A >> 9)&1);
n1361=((B >> 12)&1)&((A >> 10)&1);
n1362=((B >> 11)&1)&((A >> 11)&1);
n1363=((B >> 10)&1)&((A >> 12)&1);
n1364=((B >> 9)&1)&((A >> 13)&1);
n1365=((B >> 8)&1)&((A >> 14)&1);
n1385=((B >> 8)&1)&((A >> 15)&1);
n140=((B >> 4)&1)&((A >> 3)&1);
n142=((B >> 6)&1)&((A >> 1)&1);
n1421=((B >> 13)&1)&((A >> 10)&1);
n1429=((B >> 14)&1)&((A >> 9)&1);
n143=((B >> 5)&1)&((A >> 2)&1);
n1433=((B >> 15)&1)&((A >> 8)&1);
n1435=((B >> 12)&1)&((A >> 11)&1);
n1436=((B >> 11)&1)&((A >> 12)&1);
n1437=((B >> 10)&1)&((A >> 13)&1);
n1438=((B >> 9)&1)&((A >> 14)&1);
n144=((B >> 3)&1)&((A >> 4)&1);
n145=((B >> 2)&1)&((A >> 5)&1);
n1458=((B >> 9)&1)&((A >> 15)&1);
n146=((B >> 1)&1)&((A >> 6)&1);
n1495=((B >> 15)&1)&((A >> 9)&1);
n1496=((B >> 14)&1)&((A >> 10)&1);
n1497=((B >> 13)&1)&((A >> 11)&1);
n1498=((B >> 12)&1)&((A >> 12)&1);
n1499=((B >> 11)&1)&((A >> 13)&1);
n1500=((B >> 10)&1)&((A >> 14)&1);
n1520=((B >> 10)&1)&((A >> 15)&1);
n1542=((B >> 13)&1)&((A >> 12)&1);
n1550=((B >> 14)&1)&((A >> 11)&1);
n1554=((B >> 15)&1)&((A >> 10)&1);
n1556=((B >> 12)&1)&((A >> 13)&1);
n1557=((B >> 11)&1)&((A >> 14)&1);
n1577=((B >> 11)&1)&((A >> 15)&1);
n1600=((B >> 15)&1)&((A >> 11)&1);
n1601=((B >> 14)&1)&((A >> 12)&1);
n1602=((B >> 13)&1)&((A >> 13)&1);
n1603=((B >> 12)&1)&((A >> 14)&1);
n1623=((B >> 12)&1)&((A >> 15)&1);
n1631=((B >> 13)&1)&((A >> 14)&1);
n1639=((B >> 14)&1)&((A >> 13)&1);
n1643=((B >> 15)&1)&((A >> 12)&1);
n1664=((B >> 13)&1)&((A >> 15)&1);
n1673=((B >> 15)&1)&((A >> 13)&1);
n1674=((B >> 14)&1)&((A >> 14)&1);
n1694=((B >> 14)&1)&((A >> 15)&1);
n1698=((B >> 15)&1)&((A >> 14)&1);
n1713=((B >> 15)&1)&((A >> 15)&1);
n178=((B >> 5)&1)&((A >> 3)&1);
n180=((B >> 7)&1)&((A >> 1)&1);
n181=((B >> 6)&1)&((A >> 2)&1);
n182=((B >> 4)&1)&((A >> 4)&1);
n183=((B >> 3)&1)&((A >> 5)&1);
n184=((B >> 2)&1)&((A >> 6)&1);
n185=((B >> 1)&1)&((A >> 7)&1);
n224=((B >> 6)&1)&((A >> 3)&1);
n226=((B >> 8)&1)&((A >> 1)&1);
n227=((B >> 7)&1)&((A >> 2)&1);
n228=((B >> 5)&1)&((A >> 4)&1);
n229=((B >> 4)&1)&((A >> 5)&1);
n230=((B >> 3)&1)&((A >> 6)&1);
n231=((B >> 2)&1)&((A >> 7)&1);
n232=((B >> 1)&1)&((A >> 8)&1);
n278=((B >> 7)&1)&((A >> 3)&1);
n280=((B >> 9)&1)&((A >> 1)&1);
n281=((B >> 8)&1)&((A >> 2)&1);
n282=((B >> 6)&1)&((A >> 4)&1);
n283=((B >> 5)&1)&((A >> 5)&1);
n284=((B >> 4)&1)&((A >> 6)&1);
n285=((B >> 3)&1)&((A >> 7)&1);
n286=((B >> 2)&1)&((A >> 8)&1);
n287=((B >> 1)&1)&((A >> 9)&1);
n340=((B >> 8)&1)&((A >> 3)&1);
n342=((B >> 10)&1)&((A >> 1)&1);
n343=((B >> 9)&1)&((A >> 2)&1);
n344=((B >> 7)&1)&((A >> 4)&1);
n345=((B >> 6)&1)&((A >> 5)&1);
n346=((B >> 5)&1)&((A >> 6)&1);
n347=((B >> 4)&1)&((A >> 7)&1);
n348=((B >> 3)&1)&((A >> 8)&1);
n349=((B >> 2)&1)&((A >> 9)&1);
n350=((B >> 1)&1)&((A >> 10)&1);
n410=((B >> 9)&1)&((A >> 3)&1);
n412=((B >> 11)&1)&((A >> 1)&1);
n413=((B >> 10)&1)&((A >> 2)&1);
n414=((B >> 8)&1)&((A >> 4)&1);
n415=((B >> 7)&1)&((A >> 5)&1);
n416=((B >> 6)&1)&((A >> 6)&1);
n417=((B >> 5)&1)&((A >> 7)&1);
n418=((B >> 4)&1)&((A >> 8)&1);
n419=((B >> 3)&1)&((A >> 9)&1);
n420=((B >> 2)&1)&((A >> 10)&1);
n421=((B >> 1)&1)&((A >> 11)&1);
n488=((B >> 10)&1)&((A >> 3)&1);
n490=((B >> 12)&1)&((A >> 1)&1);
n491=((B >> 11)&1)&((A >> 2)&1);
n492=((B >> 9)&1)&((A >> 4)&1);
n493=((B >> 8)&1)&((A >> 5)&1);
n494=((B >> 7)&1)&((A >> 6)&1);
n495=((B >> 6)&1)&((A >> 7)&1);
n496=((B >> 5)&1)&((A >> 8)&1);
n497=((B >> 4)&1)&((A >> 9)&1);
n498=((B >> 3)&1)&((A >> 10)&1);
n499=((B >> 2)&1)&((A >> 11)&1);
n500=((B >> 1)&1)&((A >> 12)&1);
n574=((B >> 11)&1)&((A >> 3)&1);
n576=((B >> 13)&1)&((A >> 1)&1);
n577=((B >> 12)&1)&((A >> 2)&1);
n578=((B >> 10)&1)&((A >> 4)&1);
n579=((B >> 9)&1)&((A >> 5)&1);
n580=((B >> 8)&1)&((A >> 6)&1);
n581=((B >> 7)&1)&((A >> 7)&1);
n582=((B >> 6)&1)&((A >> 8)&1);
n583=((B >> 5)&1)&((A >> 9)&1);
n584=((B >> 4)&1)&((A >> 10)&1);
n585=((B >> 3)&1)&((A >> 11)&1);
n586=((B >> 2)&1)&((A >> 12)&1);
n587=((B >> 1)&1)&((A >> 13)&1);
n668=((B >> 12)&1)&((A >> 3)&1);
n670=((B >> 14)&1)&((A >> 1)&1);
n671=((B >> 13)&1)&((A >> 2)&1);
n672=((B >> 11)&1)&((A >> 4)&1);
n673=((B >> 10)&1)&((A >> 5)&1);
n674=((B >> 9)&1)&((A >> 6)&1);
n675=((B >> 8)&1)&((A >> 7)&1);
n676=((B >> 7)&1)&((A >> 8)&1);
n677=((B >> 6)&1)&((A >> 9)&1);
n678=((B >> 5)&1)&((A >> 10)&1);
n679=((B >> 4)&1)&((A >> 11)&1);
n680=((B >> 3)&1)&((A >> 12)&1);
n681=((B >> 2)&1)&((A >> 13)&1);
n682=((B >> 1)&1)&((A >> 14)&1);
n69=((B >> 2)&1)&((A >> 2)&1);
n690=((B >> 1)&1)&((A >> 15)&1);
n71=((B >> 1)&1)&((A >> 2)&1);
n72=((B >> 2)&1)&((A >> 1)&1);
n75=((B >> 1)&1)&((A >> 3)&1);
n77=((B >> 3)&1)&((A >> 1)&1);
n771=((B >> 13)&1)&((A >> 3)&1);
n773=((B >> 15)&1)&((A >> 1)&1);
n774=((B >> 14)&1)&((A >> 2)&1);
n775=((B >> 12)&1)&((A >> 4)&1);
n776=((B >> 11)&1)&((A >> 5)&1);
n777=((B >> 10)&1)&((A >> 6)&1);
n778=((B >> 9)&1)&((A >> 7)&1);
n779=((B >> 8)&1)&((A >> 8)&1);
n780=((B >> 7)&1)&((A >> 9)&1);
n781=((B >> 6)&1)&((A >> 10)&1);
n782=((B >> 5)&1)&((A >> 11)&1);
n783=((B >> 4)&1)&((A >> 12)&1);
n784=((B >> 3)&1)&((A >> 13)&1);
n785=((B >> 2)&1)&((A >> 14)&1);
n799=((B >> 2)&1)&((A >> 15)&1);
n88=((B >> 2)&1)&((A >> 3)&1);
n880=((B >> 14)&1)&((A >> 3)&1);
n881=((B >> 15)&1)&((A >> 2)&1);
n882=((B >> 13)&1)&((A >> 4)&1);
n883=((B >> 12)&1)&((A >> 5)&1);
n884=((B >> 11)&1)&((A >> 6)&1);
n885=((B >> 10)&1)&((A >> 7)&1);
n886=((B >> 9)&1)&((A >> 8)&1);
n887=((B >> 8)&1)&((A >> 9)&1);
n888=((B >> 7)&1)&((A >> 10)&1);
n889=((B >> 6)&1)&((A >> 11)&1);
n890=((B >> 5)&1)&((A >> 12)&1);
n891=((B >> 4)&1)&((A >> 13)&1);
n892=((B >> 3)&1)&((A >> 14)&1);
n90=((B >> 4)&1)&((A >> 1)&1);
n908=((B >> 3)&1)&((A >> 15)&1);
n91=((B >> 3)&1)&((A >> 2)&1);
n92=((B >> 1)&1)&((A >> 4)&1);
n979=((B >> 13)&1)&((A >> 5)&1);
n987=((B >> 14)&1)&((A >> 4)&1);
n990=~(((A >> 3)&1)|((A >> 2)&1));
n992=((B >> 12)&1)&((A >> 6)&1);
n993=((B >> 11)&1)&((A >> 7)&1);
n994=((B >> 10)&1)&((A >> 8)&1);
n995=((B >> 9)&1)&((A >> 9)&1);
n996=((B >> 8)&1)&((A >> 10)&1);
n997=((B >> 7)&1)&((A >> 11)&1);
n998=((B >> 6)&1)&((A >> 12)&1);
n999=((B >> 5)&1)&((A >> 13)&1);
n109=n91&n90;
n111=n113^n112;
n139=n113&n112;
n141=n143^n142;
n177=n143&n142;
n179=n181^n180;
n223=n181&n180;
n225=n227^n226;
n277=n227&n226;
n279=n281^n280;
n339=n281&n280;
n341=n343^n342;
n409=n343&n342;
n411=n413^n412;
n487=n413&n412;
n489=n491^n490;
n573=n491&n490;
n575=n577^n576;
n667=n577&n576;
n669=n671^n670;
n68=n69&O2;
n70=~(n72|n71);
n76=n77^n69;
n770=n671&n670;
n772=~(n774^n773);
n87=n77&n69;
n879=n774&~n773;
n89=n91^n90;
n985=n880&n881;
n989=((B >> 15)&1)&~n990;
n991=((A >> 3)&1)&n881;
O3=~(n70|n68);
n104=n88&n87;
n105=n88&n89;
n106=n89&n87;
n108=~(n110^n109);
n1094=~(n1095|n989);
n1096=((A >> 4)&1)&n989;
n134=n110&n109;
n135=n110&n111;
n136=n111&n109;
n138=~(n140^n139);
n172=n140&n139;
n173=n140&n141;
n174=n141&n139;
n176=~(n178^n177);
n218=n178&n177;
n219=n178&n179;
n220=n179&n177;
n222=~(n224^n223);
n272=n224&n223;
n273=n224&n225;
n274=n225&n223;
n276=~(n278^n277);
n334=n278&n277;
n335=n278&n279;
n336=n279&n277;
n338=~(n340^n339);
n404=n340&n339;
n405=n340&n341;
n406=n341&n339;
n408=~(n410^n409);
n482=n410&n409;
n483=n410&n411;
n484=n411&n409;
n486=~(n488^n487);
n568=n488&n487;
n569=n488&n489;
n570=n489&n487;
n572=~(n574^n573);
n662=n574&n573;
n663=n574&n575;
n664=n575&n573;
n666=~(n668^n667);
n74=~(n75^n68);
n765=n668&n667;
n766=n668&n669;
n767=n669&n667;
n769=~(n771^n770);
n82=n75&n68;
n83=n75&n76;
n84=n76&n68;
n86=~(n88^n87);
n874=n771&n770;
n875=n771&n772;
n876=n772&n770;
n878=~(n880^n879);
n984=n880&n879;
n986=n881&n879;
n988=~n991&n989;
O4=~(n76^n74);
n103=~(n105|n104);
n107=n111^n108;
n1090=n987&n988;
n1093=~(n1096|n1094);
n1188=~(n1189^n1094);
n1279=~n1189&n1094;
n133=~(n135|n134);
n137=n141^n138;
n171=~(n173|n172);
n175=n179^n176;
n217=~(n219|n218);
n221=n225^n222;
n271=~(n273|n272);
n275=n279^n276;
n333=~(n335|n334);
n337=n341^n338;
n403=~(n405|n404);
n407=n411^n408;
n481=~(n483|n482);
n485=n489^n486;
n567=~(n569|n568);
n571=n575^n572;
n661=~(n663|n662);
n665=n669^n666;
n764=~(n766|n765);
n768=n772^n769;
n81=~(n83|n82);
n85=n89^n86;
n873=~(n875|n874);
n877=n881^n878;
n983=~(n985|n984);
n102=~n106&n103;
n1186=n1092&n1093;
n1274=n1190&n1188;
n1278=~n1280&n1279;
n128=n114&~n107;
n1281=((A >> 6)&1)&~n1279;
n132=~n136&n133;
n166=n144&~n137;
n170=~n174&n171;
n212=n182&~n175;
n216=~n220&n217;
n266=n228&~n221;
n270=~n274&n271;
n328=n282&~n275;
n332=~n336&n333;
n398=n344&~n337;
n402=~n406&n403;
n476=n414&~n407;
n480=~n484&n481;
n562=n492&~n485;
n566=~n570&n567;
n656=n578&~n571;
n660=~n664&n661;
n759=n672&~n665;
n763=~n767&n764;
n80=~n84&n81;
n868=n775&~n768;
n872=~n876&n873;
n977=n882&~n877;
n98=n92&~n85;
n982=~n986&n983;
n101=~(n107^n102);
n1089=n987&~n982;
n1091=n988&~n982;
n127=~(n107|n102);
n1277=~(n1281|n1278);
n129=n114&~n102;
n131=~(n137^n132);
n1357=~(n1358^n1278);
n1432=~n1358&n1278;
n165=~(n137|n132);
n167=n144&~n132;
n169=~(n175^n170);
n211=~(n175|n170);
n213=n182&~n170;
n215=~(n221^n216);
n265=~(n221|n216);
n267=n228&~n216;
n269=~(n275^n270);
n327=~(n275|n270);
n329=n282&~n270;
n331=~(n337^n332);
n397=~(n337|n332);
n399=n344&~n332;
n401=~(n407^n402);
n475=~(n407|n402);
n477=n414&~n402;
n479=~(n485^n480);
n561=~(n485|n480);
n563=n492&~n480;
n565=~(n571^n566);
n655=~(n571|n566);
n657=n578&~n566;
n659=~(n665^n660);
n758=~(n665|n660);
n760=n672&~n660;
n762=~(n768^n763);
n79=~(n85^n80);
n867=~(n768|n763);
n869=n775&~n763;
n871=~(n877^n872);
n97=~(n85|n80);
n976=~(n877|n872);
n978=n882&~n872;
n981=n987^n982;
n99=n92&~n80;
O5=~(n92^n79);
n100=n114^n101;
n1088=~(n1090|n1089);
n126=~(n128|n127);
n130=n144^n131;
n1355=n1276&n1277;
n1427=n1359&n1357;
n1431=~n1433&n1432;
n1434=((A >> 8)&1)&~n1432;
n164=~(n166|n165);
n168=n182^n169;
n210=~(n212|n211);
n214=n228^n215;
n264=~(n266|n265);
n268=n282^n269;
n326=~(n328|n327);
n330=n344^n331;
n396=~(n398|n397);
n400=n414^n401;
n474=~(n476|n475);
n478=n492^n479;
n560=~(n562|n561);
n564=n578^n565;
n654=~(n656|n655);
n658=n672^n659;
n757=~(n759|n758);
n761=n775^n762;
n866=~(n868|n867);
n870=n882^n871;
n96=~(n98|n97);
n975=~(n977|n976);
n980=n988^n981;
n1082=n979&~n980;
n1087=~n1091&n1088;
n122=n115&~n100;
n125=~n129&n126;
n1430=~(n1434|n1431);
n1494=~(n1495^n1431);
n1553=~n1495&n1431;
n160=n145&~n130;
n163=~n167&n164;
n206=n183&~n168;
n209=~n213&n210;
n260=n229&~n214;
n263=~n267&n264;
n322=n283&~n268;
n325=~n329&n326;
n392=n345&~n330;
n395=~n399&n396;
n470=n415&~n400;
n473=~n477&n474;
n556=n493&~n478;
n559=~n563&n560;
n650=n579&~n564;
n653=~n657&n654;
n753=n673&~n658;
n756=~n760&n757;
n862=n776&~n761;
n865=~n869&n866;
n95=~n99&n96;
n971=n883&~n870;
n974=~n978&n975;
n1081=n979&~n974;
n1083=~(n980|n974);
n1086=n1092^n1087;
n1185=n1092&~n1087;
n1187=n1093&~n1087;
n120=~(n100|n95);
n121=n115&~n95;
n124=~(n130^n125);
n1492=n1429&n1430;
n1548=n1496&n1494;
n1552=~n1554&n1553;
n1555=((A >> 10)&1)&~n1553;
n158=~(n130|n125);
n159=n145&~n125;
n162=~(n168^n163);
n204=~(n168|n163);
n205=n183&~n163;
n208=~(n214^n209);
n258=~(n214|n209);
n259=n229&~n209;
n262=~(n268^n263);
n320=~(n268|n263);
n321=n283&~n263;
n324=~(n330^n325);
n390=~(n330|n325);
n391=n345&~n325;
n394=~(n400^n395);
n468=~(n400|n395);
n469=n415&~n395;
n472=~(n478^n473);
n554=~(n478|n473);
n555=n493&~n473;
n558=~(n564^n559);
n648=~(n564|n559);
n649=n579&~n559;
n652=~(n658^n653);
n751=~(n658|n653);
n752=n673&~n653;
n755=~(n761^n756);
n860=~(n761|n756);
n861=n776&~n756;
n864=~(n870^n865);
n94=~(n100^n95);
n969=~(n870|n865);
n970=n883&~n865;
n973=n979^n974;
O6=~(n115^n94);
n1080=~(n1082|n1081);
n1085=n1093^n1086;
n1184=~(n1186|n1185);
n119=~(n121|n120);
n123=n145^n124;
n1551=~(n1555|n1552);
n157=~(n159|n158);
n1599=~(n1600^n1552);
n161=n183^n162;
n1642=~n1600&n1552;
n203=~(n205|n204);
n207=n229^n208;
n257=~(n259|n258);
n261=n283^n262;
n319=~(n321|n320);
n323=n345^n324;
n389=~(n391|n390);
n393=n415^n394;
n467=~(n469|n468);
n471=n493^n472;
n553=~(n555|n554);
n557=n579^n558;
n647=~(n649|n648);
n651=n673^n652;
n750=~(n752|n751);
n754=n776^n755;
n859=~(n861|n860);
n863=n883^n864;
n968=~(n970|n969);
n972=~(n980^n973);
n1075=n992&~n972;
n1079=~n1083&n1080;
n1179=n1084&~n1085;
n118=~n122&n119;
n1183=~n1187&n1184;
n153=n146&~n123;
n156=~n160&n157;
n1597=n1550&n1551;
n1637=n1601&n1599;
n1641=~n1643&n1642;
n1644=((A >> 12)&1)&~n1642;
n199=n184&~n161;
n202=~n206&n203;
n253=n230&~n207;
n256=~n260&n257;
n315=n284&~n261;
n318=~n322&n319;
n385=n346&~n323;
n388=~n392&n389;
n463=n416&~n393;
n466=~n470&n467;
n549=n494&~n471;
n552=~n556&n553;
n643=n580&~n557;
n646=~n650&n647;
n746=n674&~n651;
n749=~n753&n750;
n855=n777&~n754;
n858=~n862&n859;
n964=n884&~n863;
n967=~n971&n968;
n1074=~(n972|n967);
n1076=n992&~n967;
n1078=n1084^n1079;
n117=~(n123^n118);
n1178=n1084&~n1079;
n1180=~(n1085|n1079);
n1182=n1188^n1183;
n1273=n1188&~n1183;
n1275=n1190&~n1183;
n151=~(n123|n118);
n152=n146&~n118;
n155=~(n161^n156);
n1640=~(n1644|n1641);
n1672=~(n1673^n1641);
n1697=~n1673&n1641;
n197=~(n161|n156);
n198=n184&~n156;
n201=~(n207^n202);
n251=~(n207|n202);
n252=n230&~n202;
n255=~(n261^n256);
n313=~(n261|n256);
n314=n284&~n256;
n317=~(n323^n318);
n383=~(n323|n318);
n384=n346&~n318;
n387=~(n393^n388);
n461=~(n393|n388);
n462=n416&~n388;
n465=~(n471^n466);
n547=~(n471|n466);
n548=n494&~n466;
n551=~(n557^n552);
n641=~(n557|n552);
n642=n580&~n552;
n645=~(n651^n646);
n744=~(n651|n646);
n745=n674&~n646;
n748=~(n754^n749);
n853=~(n754|n749);
n854=n777&~n749;
n857=~(n863^n858);
n962=~(n863|n858);
n963=n884&~n858;
n966=~(n972^n967);
O7=~(n146^n117);
n1073=~(n1075|n1074);
n1077=~(n1085^n1078);
n1177=~(n1179|n1178);
n1181=n1190^n1182;
n1272=~(n1274|n1273);
n150=~(n152|n151);
n154=n184^n155;
n1670=n1639&n1640;
n1692=n1674&n1672;
n1696=~n1698&n1697;
n1699=((A >> 14)&1)&~n1697;
n196=~(n198|n197);
n200=n230^n201;
n250=~(n252|n251);
n254=n284^n255;
n312=~(n314|n313);
n316=n346^n317;
n382=~(n384|n383);
n386=n416^n387;
n460=~(n462|n461);
n464=n494^n465;
n546=~(n548|n547);
n550=n580^n551;
n640=~(n642|n641);
n644=n674^n645;
n743=~(n745|n744);
n747=n777^n748;
n852=~(n854|n853);
n856=n884^n857;
n961=~(n963|n962);
n965=n992^n966;
n1068=n993&~n965;
n1072=~n1076&n1073;
n1172=n1097&~n1077;
n1176=~n1180&n1177;
n1266=n1191&~n1181;
n1271=~n1275&n1272;
n149=~n153&n150;
n1695=~(n1699|n1696);
n1712=~(n1713^n1696);
n1719=n1713&n1696;
n192=n185&~n154;
n195=~n199&n196;
n246=n231&~n200;
n249=~n253&n250;
n308=n285&~n254;
n311=~n315&n312;
n378=n347&~n316;
n381=~n385&n382;
n456=n417&~n386;
n459=~n463&n460;
n542=n495&~n464;
n545=~n549&n546;
n636=n581&~n550;
n639=~n643&n640;
n739=n675&~n644;
n742=~n746&n743;
n848=n778&~n747;
n851=~n855&n852;
n957=n885&~n856;
n960=~n964&n961;
n1067=~(n965|n960);
n1069=n993&~n960;
n1071=~(n1077^n1072);
n1171=~(n1077|n1072);
n1173=n1097&~n1072;
n1175=~(n1181^n1176);
n1265=~(n1181|n1176);
n1267=n1191&~n1176;
n1270=n1276^n1271;
n1354=n1276&~n1271;
n1356=n1277&~n1271;
n148=~(n154^n149);
n1710=~n1694&n1695;
n190=~(n154|n149);
n191=n185&~n149;
n194=~(n200^n195);
n244=~(n200|n195);
n245=n231&~n195;
n248=~(n254^n249);
n306=~(n254|n249);
n307=n285&~n249;
n310=~(n316^n311);
n376=~(n316|n311);
n377=n347&~n311;
n380=~(n386^n381);
n454=~(n386|n381);
n455=n417&~n381;
n458=~(n464^n459);
n540=~(n464|n459);
n541=n495&~n459;
n544=~(n550^n545);
n634=~(n550|n545);
n635=n581&~n545;
n638=~(n644^n639);
n737=~(n644|n639);
n738=n675&~n639;
n741=~(n747^n742);
n846=~(n747|n742);
n847=n778&~n742;
n850=~(n856^n851);
n955=~(n856|n851);
n956=n885&~n851;
n959=~(n965^n960);
O8=~(n185^n148);
n1066=~(n1068|n1067);
n1070=n1097^n1071;
n1170=~(n1172|n1171);
n1174=n1191^n1175;
n1264=~(n1266|n1265);
n1269=n1277^n1270;
n1353=~(n1355|n1354);
n189=~(n191|n190);
n193=n231^n194;
n243=~(n245|n244);
n247=n285^n248;
n305=~(n307|n306);
n309=n347^n310;
n375=~(n377|n376);
n379=n417^n380;
n453=~(n455|n454);
n457=n495^n458;
n539=~(n541|n540);
n543=n581^n544;
n633=~(n635|n634);
n637=n675^n638;
n736=~(n738|n737);
n740=n778^n741;
n845=~(n847|n846);
n849=n885^n850;
n954=~(n956|n955);
n958=n993^n959;
n1061=n994&~n958;
n1065=~n1069&n1066;
n1165=n1098&~n1070;
n1169=~n1173&n1170;
n1259=n1192&~n1174;
n1263=~n1267&n1264;
n1348=n1268&~n1269;
n1352=~n1356&n1353;
n188=~n192&n189;
n239=n232&~n193;
n242=~n246&n243;
n301=n286&~n247;
n304=~n308&n305;
n371=n348&~n309;
n374=~n378&n375;
n449=n418&~n379;
n452=~n456&n453;
n535=n496&~n457;
n538=~n542&n539;
n629=n582&~n543;
n632=~n636&n633;
n732=n676&~n637;
n735=~n739&n736;
n841=n779&~n740;
n844=~n848&n845;
n950=n886&~n849;
n953=~n957&n954;
n1060=~(n958|n953);
n1062=n994&~n953;
n1064=~(n1070^n1065);
n1164=~(n1070|n1065);
n1166=n1098&~n1065;
n1168=~(n1174^n1169);
n1258=~(n1174|n1169);
n1260=n1192&~n1169;
n1262=n1268^n1263;
n1347=n1268&~n1263;
n1349=~(n1269|n1263);
n1351=n1357^n1352;
n1426=n1357&~n1352;
n1428=n1359&~n1352;
n187=~(n193^n188);
n237=~(n193|n188);
n238=n232&~n188;
n241=~(n247^n242);
n299=~(n247|n242);
n300=n286&~n242;
n303=~(n309^n304);
n369=~(n309|n304);
n370=n348&~n304;
n373=~(n379^n374);
n447=~(n379|n374);
n448=n418&~n374;
n451=~(n457^n452);
n533=~(n457|n452);
n534=n496&~n452;
n537=~(n543^n538);
n627=~(n543|n538);
n628=n582&~n538;
n631=~(n637^n632);
n730=~(n637|n632);
n731=n676&~n632;
n734=~(n740^n735);
n839=~(n740|n735);
n840=n779&~n735;
n843=~(n849^n844);
n948=~(n849|n844);
n949=n886&~n844;
n952=~(n958^n953);
O9=~(n232^n187);
n1059=~(n1061|n1060);
n1063=n1098^n1064;
n1163=~(n1165|n1164);
n1167=n1192^n1168;
n1257=~(n1259|n1258);
n1261=~(n1269^n1262);
n1346=~(n1348|n1347);
n1350=n1359^n1351;
n1425=~(n1427|n1426);
n236=~(n238|n237);
n240=n286^n241;
n298=~(n300|n299);
n302=n348^n303;
n368=~(n370|n369);
n372=n418^n373;
n446=~(n448|n447);
n450=n496^n451;
n532=~(n534|n533);
n536=n582^n537;
n626=~(n628|n627);
n630=n676^n631;
n729=~(n731|n730);
n733=n779^n734;
n838=~(n840|n839);
n842=n886^n843;
n947=~(n949|n948);
n951=n994^n952;
n1054=n995&~n951;
n1058=~n1062&n1059;
n1158=n1099&~n1063;
n1162=~n1166&n1163;
n1252=n1193&~n1167;
n1256=~n1260&n1257;
n1341=n1282&~n1261;
n1345=~n1349&n1346;
n1419=n1360&~n1350;
n1424=~n1428&n1425;
n235=~n239&n236;
n294=n287&~n240;
n297=~n301&n298;
n364=n349&~n302;
n367=~n371&n368;
n442=n419&~n372;
n445=~n449&n446;
n528=n497&~n450;
n531=~n535&n532;
n622=n583&~n536;
n625=~n629&n626;
n725=n677&~n630;
n728=~n732&n729;
n834=n780&~n733;
n837=~n841&n838;
n943=n887&~n842;
n946=~n950&n947;
n1053=~(n951|n946);
n1055=n995&~n946;
n1057=~(n1063^n1058);
n1157=~(n1063|n1058);
n1159=n1099&~n1058;
n1161=~(n1167^n1162);
n1251=~(n1167|n1162);
n1253=n1193&~n1162;
n1255=~(n1261^n1256);
n1340=~(n1261|n1256);
n1342=n1282&~n1256;
n1344=~(n1350^n1345);
n1418=~(n1350|n1345);
n1420=n1360&~n1345;
n1423=n1429^n1424;
n1491=n1429&~n1424;
n1493=n1430&~n1424;
n234=~(n240^n235);
n292=~(n240|n235);
n293=n287&~n235;
n296=~(n302^n297);
n362=~(n302|n297);
n363=n349&~n297;
n366=~(n372^n367);
n440=~(n372|n367);
n441=n419&~n367;
n444=~(n450^n445);
n526=~(n450|n445);
n527=n497&~n445;
n530=~(n536^n531);
n620=~(n536|n531);
n621=n583&~n531;
n624=~(n630^n625);
n723=~(n630|n625);
n724=n677&~n625;
n727=~(n733^n728);
n832=~(n733|n728);
n833=n780&~n728;
n836=~(n842^n837);
n941=~(n842|n837);
n942=n887&~n837;
n945=~(n951^n946);
O10=~(n287^n234);
n1052=~(n1054|n1053);
n1056=n1099^n1057;
n1156=~(n1158|n1157);
n1160=n1193^n1161;
n1250=~(n1252|n1251);
n1254=n1282^n1255;
n1339=~(n1341|n1340);
n1343=n1360^n1344;
n1417=~(n1419|n1418);
n1422=n1430^n1423;
n1490=~(n1492|n1491);
n291=~(n293|n292);
n295=n349^n296;
n361=~(n363|n362);
n365=n419^n366;
n439=~(n441|n440);
n443=n497^n444;
n525=~(n527|n526);
n529=n583^n530;
n619=~(n621|n620);
n623=n677^n624;
n722=~(n724|n723);
n726=n780^n727;
n831=~(n833|n832);
n835=n887^n836;
n940=~(n942|n941);
n944=n995^n945;
n1047=n996&~n944;
n1051=~n1055&n1052;
n1151=n1100&~n1056;
n1155=~n1159&n1156;
n1245=n1194&~n1160;
n1249=~n1253&n1250;
n1334=n1283&~n1254;
n1338=~n1342&n1339;
n1412=n1361&~n1343;
n1416=~n1420&n1417;
n1485=n1421&~n1422;
n1489=~n1493&n1490;
n290=~n294&n291;
n357=n350&~n295;
n360=~n364&n361;
n435=n420&~n365;
n438=~n442&n439;
n521=n498&~n443;
n524=~n528&n525;
n615=n584&~n529;
n618=~n622&n619;
n718=n678&~n623;
n721=~n725&n722;
n827=n781&~n726;
n830=~n834&n831;
n936=n888&~n835;
n939=~n943&n940;
n1046=~(n944|n939);
n1048=n996&~n939;
n1050=~(n1056^n1051);
n1150=~(n1056|n1051);
n1152=n1100&~n1051;
n1154=~(n1160^n1155);
n1244=~(n1160|n1155);
n1246=n1194&~n1155;
n1248=~(n1254^n1249);
n1333=~(n1254|n1249);
n1335=n1283&~n1249;
n1337=~(n1343^n1338);
n1411=~(n1343|n1338);
n1413=n1361&~n1338;
n1415=n1421^n1416;
n1484=n1421&~n1416;
n1486=~(n1422|n1416);
n1488=n1494^n1489;
n1547=n1494&~n1489;
n1549=n1496&~n1489;
n289=~(n295^n290);
n355=~(n295|n290);
n356=n350&~n290;
n359=~(n365^n360);
n433=~(n365|n360);
n434=n420&~n360;
n437=~(n443^n438);
n519=~(n443|n438);
n520=n498&~n438;
n523=~(n529^n524);
n613=~(n529|n524);
n614=n584&~n524;
n617=~(n623^n618);
n716=~(n623|n618);
n717=n678&~n618;
n720=~(n726^n721);
n825=~(n726|n721);
n826=n781&~n721;
n829=~(n835^n830);
n934=~(n835|n830);
n935=n888&~n830;
n938=~(n944^n939);
O11=~(n350^n289);
n1045=~(n1047|n1046);
n1049=n1100^n1050;
n1149=~(n1151|n1150);
n1153=n1194^n1154;
n1243=~(n1245|n1244);
n1247=n1283^n1248;
n1332=~(n1334|n1333);
n1336=n1361^n1337;
n1410=~(n1412|n1411);
n1414=~(n1422^n1415);
n1483=~(n1485|n1484);
n1487=n1496^n1488;
n1546=~(n1548|n1547);
n354=~(n356|n355);
n358=n420^n359;
n432=~(n434|n433);
n436=n498^n437;
n518=~(n520|n519);
n522=n584^n523;
n612=~(n614|n613);
n616=n678^n617;
n715=~(n717|n716);
n719=n781^n720;
n824=~(n826|n825);
n828=n888^n829;
n933=~(n935|n934);
n937=n996^n938;
n1040=n997&~n937;
n1044=~n1048&n1045;
n1144=n1101&~n1049;
n1148=~n1152&n1149;
n1238=n1195&~n1153;
n1242=~n1246&n1243;
n1327=n1284&~n1247;
n1331=~n1335&n1332;
n1405=n1362&~n1336;
n1409=~n1413&n1410;
n1478=n1435&~n1414;
n1482=~n1486&n1483;
n1540=n1497&~n1487;
n1545=~n1549&n1546;
n353=~n357&n354;
n428=n421&~n358;
n431=~n435&n432;
n514=n499&~n436;
n517=~n521&n518;
n608=n585&~n522;
n611=~n615&n612;
n711=n679&~n616;
n714=~n718&n715;
n820=n782&~n719;
n823=~n827&n824;
n929=n889&~n828;
n932=~n936&n933;
n1039=~(n937|n932);
n1041=n997&~n932;
n1043=~(n1049^n1044);
n1143=~(n1049|n1044);
n1145=n1101&~n1044;
n1147=~(n1153^n1148);
n1237=~(n1153|n1148);
n1239=n1195&~n1148;
n1241=~(n1247^n1242);
n1326=~(n1247|n1242);
n1328=n1284&~n1242;
n1330=~(n1336^n1331);
n1404=~(n1336|n1331);
n1406=n1362&~n1331;
n1408=~(n1414^n1409);
n1477=~(n1414|n1409);
n1479=n1435&~n1409;
n1481=~(n1487^n1482);
n1539=~(n1487|n1482);
n1541=n1497&~n1482;
n1544=n1550^n1545;
n1596=n1550&~n1545;
n1598=n1551&~n1545;
n352=~(n358^n353);
n426=~(n358|n353);
n427=n421&~n353;
n430=~(n436^n431);
n512=~(n436|n431);
n513=n499&~n431;
n516=~(n522^n517);
n606=~(n522|n517);
n607=n585&~n517;
n610=~(n616^n611);
n709=~(n616|n611);
n710=n679&~n611;
n713=~(n719^n714);
n818=~(n719|n714);
n819=n782&~n714;
n822=~(n828^n823);
n927=~(n828|n823);
n928=n889&~n823;
n931=~(n937^n932);
O12=~(n421^n352);
n1038=~(n1040|n1039);
n1042=n1101^n1043;
n1142=~(n1144|n1143);
n1146=n1195^n1147;
n1236=~(n1238|n1237);
n1240=n1284^n1241;
n1325=~(n1327|n1326);
n1329=n1362^n1330;
n1403=~(n1405|n1404);
n1407=n1435^n1408;
n1476=~(n1478|n1477);
n1480=n1497^n1481;
n1538=~(n1540|n1539);
n1543=n1551^n1544;
n1595=~(n1597|n1596);
n425=~(n427|n426);
n429=n499^n430;
n511=~(n513|n512);
n515=n585^n516;
n605=~(n607|n606);
n609=n679^n610;
n708=~(n710|n709);
n712=n782^n713;
n817=~(n819|n818);
n821=n889^n822;
n926=~(n928|n927);
n930=n997^n931;
n1033=n998&~n930;
n1037=~n1041&n1038;
n1137=n1102&~n1042;
n1141=~n1145&n1142;
n1231=n1196&~n1146;
n1235=~n1239&n1236;
n1320=n1285&~n1240;
n1324=~n1328&n1325;
n1398=n1363&~n1329;
n1402=~n1406&n1403;
n1471=n1436&~n1407;
n1475=~n1479&n1476;
n1533=n1498&~n1480;
n1537=~n1541&n1538;
n1590=n1542&~n1543;
n1594=~n1598&n1595;
n424=~n428&n425;
n507=n500&~n429;
n510=~n514&n511;
n601=n586&~n515;
n604=~n608&n605;
n704=n680&~n609;
n707=~n711&n708;
n813=n783&~n712;
n816=~n820&n817;
n922=n890&~n821;
n925=~n929&n926;
n1032=~(n930|n925);
n1034=n998&~n925;
n1036=~(n1042^n1037);
n1136=~(n1042|n1037);
n1138=n1102&~n1037;
n1140=~(n1146^n1141);
n1230=~(n1146|n1141);
n1232=n1196&~n1141;
n1234=~(n1240^n1235);
n1319=~(n1240|n1235);
n1321=n1285&~n1235;
n1323=~(n1329^n1324);
n1397=~(n1329|n1324);
n1399=n1363&~n1324;
n1401=~(n1407^n1402);
n1470=~(n1407|n1402);
n1472=n1436&~n1402;
n1474=~(n1480^n1475);
n1532=~(n1480|n1475);
n1534=n1498&~n1475;
n1536=n1542^n1537;
n1589=n1542&~n1537;
n1591=~(n1543|n1537);
n1593=n1599^n1594;
n1636=n1599&~n1594;
n1638=n1601&~n1594;
n423=~(n429^n424);
n505=~(n429|n424);
n506=n500&~n424;
n509=~(n515^n510);
n599=~(n515|n510);
n600=n586&~n510;
n603=~(n609^n604);
n702=~(n609|n604);
n703=n680&~n604;
n706=~(n712^n707);
n811=~(n712|n707);
n812=n783&~n707;
n815=~(n821^n816);
n920=~(n821|n816);
n921=n890&~n816;
n924=~(n930^n925);
O13=~(n500^n423);
n1031=~(n1033|n1032);
n1035=n1102^n1036;
n1135=~(n1137|n1136);
n1139=n1196^n1140;
n1229=~(n1231|n1230);
n1233=n1285^n1234;
n1318=~(n1320|n1319);
n1322=n1363^n1323;
n1396=~(n1398|n1397);
n1400=n1436^n1401;
n1469=~(n1471|n1470);
n1473=n1498^n1474;
n1531=~(n1533|n1532);
n1535=~(n1543^n1536);
n1588=~(n1590|n1589);
n1592=n1601^n1593;
n1635=~(n1637|n1636);
n504=~(n506|n505);
n508=n586^n509;
n598=~(n600|n599);
n602=n680^n603;
n701=~(n703|n702);
n705=n783^n706;
n810=~(n812|n811);
n814=n890^n815;
n919=~(n921|n920);
n923=n998^n924;
n1026=n999&~n923;
n1030=~n1034&n1031;
n1130=n1103&~n1035;
n1134=~n1138&n1135;
n1224=n1197&~n1139;
n1228=~n1232&n1229;
n1313=n1286&~n1233;
n1317=~n1321&n1318;
n1391=n1364&~n1322;
n1395=~n1399&n1396;
n1464=n1437&~n1400;
n1468=~n1472&n1469;
n1526=n1499&~n1473;
n1530=~n1534&n1531;
n1583=n1556&~n1535;
n1587=~n1591&n1588;
n1629=n1602&~n1592;
n1634=~n1638&n1635;
n503=~n507&n504;
n594=n587&~n508;
n597=~n601&n598;
n697=n681&~n602;
n700=~n704&n701;
n806=n784&~n705;
n809=~n813&n810;
n915=n891&~n814;
n918=~n922&n919;
n1025=~(n923|n918);
n1027=n999&~n918;
n1029=~(n1035^n1030);
n1129=~(n1035|n1030);
n1131=n1103&~n1030;
n1133=~(n1139^n1134);
n1223=~(n1139|n1134);
n1225=n1197&~n1134;
n1227=~(n1233^n1228);
n1312=~(n1233|n1228);
n1314=n1286&~n1228;
n1316=~(n1322^n1317);
n1390=~(n1322|n1317);
n1392=n1364&~n1317;
n1394=~(n1400^n1395);
n1463=~(n1400|n1395);
n1465=n1437&~n1395;
n1467=~(n1473^n1468);
n1525=~(n1473|n1468);
n1527=n1499&~n1468;
n1529=~(n1535^n1530);
n1582=~(n1535|n1530);
n1584=n1556&~n1530;
n1586=~(n1592^n1587);
n1628=~(n1592|n1587);
n1630=n1602&~n1587;
n1633=n1639^n1634;
n1669=n1639&~n1634;
n1671=n1640&~n1634;
n502=~(n508^n503);
n592=~(n508|n503);
n593=n587&~n503;
n596=~(n602^n597);
n695=~(n602|n597);
n696=n681&~n597;
n699=~(n705^n700);
n804=~(n705|n700);
n805=n784&~n700;
n808=~(n814^n809);
n913=~(n814|n809);
n914=n891&~n809;
n917=~(n923^n918);
O14=~(n587^n502);
n1024=~(n1026|n1025);
n1028=n1103^n1029;
n1128=~(n1130|n1129);
n1132=n1197^n1133;
n1222=~(n1224|n1223);
n1226=n1286^n1227;
n1311=~(n1313|n1312);
n1315=n1364^n1316;
n1389=~(n1391|n1390);
n1393=n1437^n1394;
n1462=~(n1464|n1463);
n1466=n1499^n1467;
n1524=~(n1526|n1525);
n1528=n1556^n1529;
n1581=~(n1583|n1582);
n1585=n1602^n1586;
n1627=~(n1629|n1628);
n1632=n1640^n1633;
n1668=~(n1670|n1669);
n591=~(n593|n592);
n595=n681^n596;
n694=~(n696|n695);
n698=n784^n699;
n803=~(n805|n804);
n807=n891^n808;
n912=~(n914|n913);
n916=n999^n917;
n1018=n1000&~n916;
n1023=~n1027&n1024;
n1122=n1104&~n1028;
n1127=~n1131&n1128;
n1216=n1198&~n1132;
n1221=~n1225&n1222;
n1305=n1287&~n1226;
n1310=~n1314&n1311;
n1383=n1365&~n1315;
n1388=~n1392&n1389;
n1456=n1438&~n1393;
n1461=~n1465&n1462;
n1518=n1500&~n1466;
n1523=~n1527&n1524;
n1575=n1557&~n1528;
n1580=~n1584&n1581;
n1621=n1603&~n1585;
n1626=~n1630&n1627;
n1662=n1631&~n1632;
n1667=~n1671&n1668;
n590=~n594&n591;
n689=n682&~n595;
n693=~n697&n694;
n798=n785&~n698;
n802=~n806&n803;
n907=n892&~n807;
n911=~n915&n912;
n1017=~(n916|n911);
n1019=n1000&~n911;
n1022=~(n1028^n1023);
n1121=~(n1028|n1023);
n1123=n1104&~n1023;
n1126=~(n1132^n1127);
n1215=~(n1132|n1127);
n1217=n1198&~n1127;
n1220=~(n1226^n1221);
n1304=~(n1226|n1221);
n1306=n1287&~n1221;
n1309=~(n1315^n1310);
n1382=~(n1315|n1310);
n1384=n1365&~n1310;
n1387=~(n1393^n1388);
n1455=~(n1393|n1388);
n1457=n1438&~n1388;
n1460=~(n1466^n1461);
n1517=~(n1466|n1461);
n1519=n1500&~n1461;
n1522=~(n1528^n1523);
n1574=~(n1528|n1523);
n1576=n1557&~n1523;
n1579=~(n1585^n1580);
n1620=~(n1585|n1580);
n1622=n1603&~n1580;
n1625=n1631^n1626;
n1661=n1631&~n1626;
n1663=~(n1632|n1626);
n1666=n1672^n1667;
n1691=n1672&~n1667;
n1693=n1674&~n1667;
n589=~(n595^n590);
n687=~(n595|n590);
n688=n682&~n590;
n692=~(n698^n693);
n796=~(n698|n693);
n797=n785&~n693;
n801=~(n807^n802);
n905=~(n807|n802);
n906=n892&~n802;
n910=~(n916^n911);
O15=~(n682^n589);
n1016=~(n1018|n1017);
n1021=n1104^n1022;
n1120=~(n1122|n1121);
n1125=n1198^n1126;
n1214=~(n1216|n1215);
n1219=n1287^n1220;
n1303=~(n1305|n1304);
n1308=n1365^n1309;
n1381=~(n1383|n1382);
n1386=n1438^n1387;
n1454=~(n1456|n1455);
n1459=n1500^n1460;
n1516=~(n1518|n1517);
n1521=n1557^n1522;
n1573=~(n1575|n1574);
n1578=n1603^n1579;
n1619=~(n1621|n1620);
n1624=~(n1632^n1625);
n1660=~(n1662|n1661);
n1665=n1674^n1666;
n1690=~(n1692|n1691);
n686=~(n688|n687);
n691=n785^n692;
n795=~(n797|n796);
n800=n892^n801;
n904=~(n906|n905);
n909=n1000^n910;
n1011=~(n908|n909);
n1015=~n1019&n1016;
n1115=~(n1020|n1021);
n1119=~n1123&n1120;
n1209=~(n1124|n1125);
n1213=~n1217&n1214;
n1298=~(n1218|n1219);
n1302=~n1306&n1303;
n1376=~(n1307|n1308);
n1380=~n1384&n1381;
n1449=~(n1385|n1386);
n1453=~n1457&n1454;
n1511=~(n1458|n1459);
n1515=~n1519&n1516;
n1568=~(n1520|n1521);
n1572=~n1576&n1573;
n1614=~(n1577|n1578);
n1618=~n1622&n1619;
n1655=~(n1623|n1624);
n1659=~n1663&n1660;
n1685=~(n1664|n1665);
n1689=~n1693&n1690;
n685=~n689&n686;
n790=~(n690|n691);
n794=~n798&n795;
n899=~(n799|n800);
n903=~n907&n904;
n1010=~(n908|n903);
n1012=~(n909|n903);
n1014=~(n1020^n1015);
n1114=~(n1020|n1015);
n1116=~(n1021|n1015);
n1118=~(n1124^n1119);
n1208=~(n1124|n1119);
n1210=~(n1125|n1119);
n1212=~(n1218^n1213);
n1297=~(n1218|n1213);
n1299=~(n1219|n1213);
n1301=~(n1307^n1302);
n1375=~(n1307|n1302);
n1377=~(n1308|n1302);
n1379=~(n1385^n1380);
n1448=~(n1385|n1380);
n1450=~(n1386|n1380);
n1452=~(n1458^n1453);
n1510=~(n1458|n1453);
n1512=~(n1459|n1453);
n1514=~(n1520^n1515);
n1567=~(n1520|n1515);
n1569=~(n1521|n1515);
n1571=~(n1577^n1572);
n1613=~(n1577|n1572);
n1615=~(n1578|n1572);
n1617=~(n1623^n1618);
n1654=~(n1623|n1618);
n1656=~(n1624|n1618);
n1658=~(n1664^n1659);
n1684=~(n1664|n1659);
n1686=~(n1665|n1659);
n1688=~(n1694^n1689);
n1709=~(n1694|n1689);
n1711=n1695&~n1689;
n684=~(n690^n685);
n789=~(n690|n685);
n791=~(n691|n685);
n793=~(n799^n794);
n898=~(n799|n794);
n900=~(n800|n794);
n902=~(n908^n903);
O16=n691^n684;
n1009=~(n1011|n1010);
n1013=~(n1021^n1014);
n1113=~(n1115|n1114);
n1117=~(n1125^n1118);
n1207=~(n1209|n1208);
n1211=~(n1219^n1212);
n1296=~(n1298|n1297);
n1300=~(n1308^n1301);
n1374=~(n1376|n1375);
n1378=~(n1386^n1379);
n1447=~(n1449|n1448);
n1451=~(n1459^n1452);
n1509=~(n1511|n1510);
n1513=~(n1521^n1514);
n1566=~(n1568|n1567);
n1570=~(n1578^n1571);
n1612=~(n1614|n1613);
n1616=~(n1624^n1617);
n1653=~(n1655|n1654);
n1657=~(n1665^n1658);
n1683=~(n1685|n1684);
n1687=n1695^n1688;
n1708=~(n1710|n1709);
n788=~(n790|n789);
n792=~(n800^n793);
n897=~(n899|n898);
n901=~(n909^n902);
n1008=~n1012&n1009;
n1112=~n1116&n1113;
n1206=~n1210&n1207;
n1295=~n1299&n1296;
n1373=~n1377&n1374;
n1446=~n1450&n1447;
n1508=~n1512&n1509;
n1565=~n1569&n1566;
n1611=~n1615&n1612;
n1652=~n1656&n1653;
n1682=~n1686&n1683;
n1707=~n1711&n1708;
n787=~n791&n788;
n896=~n900&n897;
O17=n792^n787;
n1006=~(n901|n896);
n1110=~(n1013|n1008);
n1204=~(n1117|n1112);
n1293=~(n1211|n1206);
n1371=~(n1300|n1295);
n1444=~(n1378|n1373);
n1506=~(n1451|n1446);
n1563=~(n1513|n1508);
n1609=~(n1570|n1565);
n1650=~(n1616|n1611);
n1680=~(n1657|n1652);
n1705=~(n1687|n1682);
n1718=~(n1712|n1707);
n894=~(n792|n787);
n895=~(n901^n896);
O18=~(n895^n894);
n1005=~n901&n894;
n1007=~n896&n894;
n1717=~(n1719|n1718);
n1004=~(n1006|n1005);
n1003=~n1007&n1004;
n1002=~(n1008^n1003);
n1109=~(n1008|n1003);
n1111=~(n1013|n1003);
O19=n1013^n1002;
n1108=~(n1110|n1109);
n1107=~n1111&n1108;
n1106=~(n1112^n1107);
n1203=~(n1112|n1107);
n1205=~(n1117|n1107);
O20=n1117^n1106;
n1202=~(n1204|n1203);
n1201=~n1205&n1202;
n1200=~(n1206^n1201);
n1292=~(n1206|n1201);
n1294=~(n1211|n1201);
O21=n1211^n1200;
n1291=~(n1293|n1292);
n1290=~n1294&n1291;
n1289=~(n1295^n1290);
n1370=~(n1295|n1290);
n1372=~(n1300|n1290);
O22=n1300^n1289;
n1369=~(n1371|n1370);
n1368=~n1372&n1369;
n1367=~(n1373^n1368);
n1443=~(n1373|n1368);
n1445=~(n1378|n1368);
O23=n1378^n1367;
n1442=~(n1444|n1443);
n1441=~n1445&n1442;
n1440=~(n1446^n1441);
n1505=~(n1446|n1441);
n1507=~(n1451|n1441);
O24=n1451^n1440;
n1504=~(n1506|n1505);
n1503=~n1507&n1504;
n1502=~(n1508^n1503);
n1562=~(n1508|n1503);
n1564=~(n1513|n1503);
O25=n1513^n1502;
n1561=~(n1563|n1562);
n1560=~n1564&n1561;
n1559=~(n1565^n1560);
n1608=~(n1565|n1560);
n1610=~(n1570|n1560);
O26=n1570^n1559;
n1607=~(n1609|n1608);
n1606=~n1610&n1607;
n1605=~(n1611^n1606);
n1649=~(n1611|n1606);
n1651=~(n1616|n1606);
O27=n1616^n1605;
n1648=~(n1650|n1649);
n1647=~n1651&n1648;
n1646=~(n1652^n1647);
n1679=~(n1652|n1647);
n1681=~(n1657|n1647);
O28=n1657^n1646;
n1678=~(n1680|n1679);
n1677=~n1681&n1678;
n1676=~(n1682^n1677);
n1704=~(n1682|n1677);
n1706=~(n1687|n1677);
O29=n1687^n1676;
n1703=~(n1705|n1704);
n1702=~n1706&n1703;
n1701=~(n1707^n1702);
n1716=~(n1707|n1702);
n1720=~(n1712|n1702);
O30=n1712^n1701;
n1715=n1717&~n1716;
O31=~n1720&n1715;
O = (O0 << 0)|(O1 << 1)|(O2 << 2)|(O3 << 3)|(O4 << 4)|(O5 << 5)|(O6 << 6)|(O7 << 7)|(O8 << 8)|(O9 << 9)|(O10 << 10)|(O11 << 11)|(O12 << 12)|(O13 << 13)|(O14 << 14)|(O15 << 15)|(O16 << 16)|(O17 << 17)|(O18 << 18)|(O19 << 19)|(O20 << 20)|(O21 << 21)|(O22 << 22)|(O23 << 23)|(O24 << 24)|(O25 << 25)|(O26 << 26)|(O27 << 27)|(O28 << 28)|(O29 << 29)|(O30 << 30)|(O31 << 31);
return O;
}