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