x1&~~x2&x3&~x4&~~x5|~~x6|~~x7&(~x8&~x9|~~x10|~~x11&~x12&(~x13&x14&~~x15|~~x16)|(~x17&~~x18|x19)&x20)&~x21&~x22&~~x23|x24&x25|~~x26|~~x27&x28|x29&~x30&(~~x31|x32&(~~x33|(~x34|x35|x36|(~~x37|~x38&x39)&x40)|(x41&(~~x42|~~x43&~~x44)&~~x45|x46&(x47|x48&~x49|(~~x50&~x51&~x52|x53&x54)|~~x55)&~x56|~x57|~x58&(~x59&x60&~~x61&~~x62)&x63&~x64&~x65|x66&~x67&(~x68&(~x69&x70&x71&x72&~x73&(~~x74|~~x75|~~x76|~~x77|x78&(~x79|(~~x80&~~x81&x82|(x83&x84&~x85&x86)|~x87&x88&(~~x89|x90|x91&~x92|~~x93&(~x94&~x95)&(~x96&~~x97|~~x98|~~x99&(x100|~~x101&~~x102)&~x103&x104&x105&x106)|(x107|x108)|~~x109&x110|~~x111|~~x112&x113|~x114|~~x115)&~~x116|x117|~~x118&~~x119|~x120|x121|~x122)|~x123&x124|x125&x126|~~x127|x128&~~x129)&x130&(~x131&~~x132&~~x133&~x134&~x135&~~x136|x137&x138|x139&x140|~~x141&(~~x142&~x143)|~x144)|x145&~~x146)&(~~x147|~x148&(~x149|~x150&x151|~~x152)&~~x153|~~x154)|~x155|~~x156|~~x157)|x158&~~x159|~x160&~x161&(~~x162&~~x163&~x164|~x165|~~x166&~x167&x168|(~~x169|(~~x170|x171|~x172|(x173&~~x174)&(x175|x176)|~~x177|~~x178|~x179|~x180)&(~x181|~x182&~~x183|~~x184&(~x185&x186&~x187|x188|(~x189&(~x190|~x191|(~~x192|x193|x194)|(~x195|~x196|~~x197&~x198)|(~~x199|~x200|~~x201|x202&~x203|~x204)&~x205&(~~x206|~~x207|~x208|~~x209|x210|~~x211|x212&(~~x213&~~x214|~~x215|x216&(x217&x218|(x219&~~x220|~~x221&~~x222&~x223&~x224)|x225)|~x226&~~x227|~~x228|x229|~x230)&x231&~~x232|~x233|x234&(x235&~~x236&~~x237&~~x238)&~x239&~~x240|(~x241&~~x242)|~~x243&x244|~x245&x246|x247|x248&~~x249&~~x250)|~~x251&~x252)|(x253|(~x254|~~x255&x256|~x257&x258&~x259)&(x260&(~x261|(~~x262&x263|x264&(~~x265&(~x266&(~~x267|~x268&~x269)&(~x270|x271)&x272&(~x273&x274)|~x275|x276)&~~x277&x278)|x279&x280|~~x281)&(~~x282|~~x283)|~~x284|(~~x285|x286&~~x287|x288&~x289&x290&~~x291&~x292|x293)&x294&x295&~x296)|~x297&(x298|~~x299|x300|x301|x302)|~x303|(x304&x305|(~x306&~x307)|~x308|~x309)|x310&(x311|x312&x313|(x314&x315&x316)|~x317|~x318&~x319|~x320&(~~x321|x322&x323|x324)&~~x325|~~x326|(x327|~~x328|(~x329&~x330&(~x331&x332&~x333|~~x334|x335&x336|x337|~~x338)&x339&(~x340|~~x341&~~x342&~x343|~~x344|x345&~~x346|x347)&x348&~x349)|(~~x350|x351|~~x352|~~x353)&x354|(~~x355&x356)&~~x357)|~~x358|~x359&(~x360&~~x361)&~x362|x363)|x364&~x365|~~x366|~x367|x368|~x369)|x370|~~x371|x372&x373)|x374)|~x375&x376|~~x377&~~x378)|x379)|x380|~x381|(~~x382|(~~x383|~x384)&~x385|~x386)|~x387|~x388)&x389|x390)|(~~x391|(~~x392|~~x393)|x394|~~x395&~x396)&(~x397&~x398|~x399&x400|~x401&~~x402&x403&~~x404|~~x405&~~x406|~~x407|~x408|x409&(x410|(x411&~x412|(~~x413|x414&~~x415|~~x416&(~x417&(~~x418|x419)&x420|~~x421)|x422|~~x423|x424&(~x425&x426&(x427|x428)&~x429)&(~x430|x431&~x432|(~~x433&x434)&(~x435&~x436&(x437|x438|~x439&x440&(~x441|~~x442|~~x443|~x444|(x445&~x446&(~x447&~x448&~~x449)&~x450&~~x451)&~x452|(~~x453&~x454|x455|x456&~~x457|~x458|x459&(~x460&x461|~~x462&(~x463|(~~x464|(~~x465&x466|~~x467)&~x468|~~x469)|x470|(~x471|x472|~~x473|x474&(~~x475|x476&~x477|~~x478|~x479&x480|x481|~~x482)&x483&x484&x485|~~x486)|~~x487)&x488|~~x489&(~x490&~x491|x492|~x493|(~~x494|x495|~~x496&~x497|~x498)&x499|~x500)|~x501)|~x502|~~x503)&(x504&~~x505&~~x506|x507|x508&~x509|x510&~x511|~~x512&~x513|~~x514)&~x515|x516&~~x517&(~x518|~~x519)&~x520|x521&(~~x522&~x523|~x524&~x525&x526|~~x527)|~~x528&x529&~x530|~x531&~x532|~x533)&(x534|~~x535&~~x536|~x537)|~x538|x539|~~x540)|~x541|(~~x542|x543&~~x544&~x545|~x546|~~x547)&~~x548&x549|(~x550&~x551)&~~x552&x553|x554|~x555|x556&x557&~x558&~~x559&~x560&~x561|~x562&x563)|x564|~~x565&x566|(x567|~x568)|~~x569&(x570|x571|(~~x572&~~x573)&~x574|x575)&(~~x576|(~~x577|~x578|x579)&~~x580|~x581&~~x582&(x583&~x584)&x585|~x586)|(~x587&(~x588|x589&(~~x590|~~x591&~x592)|~~x593&x594)|~x595|~x596|(x597|~~x598)|~~x599&(~x600&(~x601&x602|(~~x603|x604&~~x605)|~~x606&~x607)|~~x608|(x609|~x610|x611|~~x612&(~~x613&(~~x614|~~x615|~~x616|~~x617|x618)&(~x619|x620|x621&~x622&~x623)|x624)&~x625&~x626&x627|(x628|x629)|~~x630&~~x631|~x632&(x633|(~x634&x635&~~x636|~x637&x638|~~x639|~~x640&x641)|x642&~x643&(~~x644|~x645&x646)&~x647|~x648&x649&~x650|x651|(x652&x653)&x654)|(~x655|x656&~x657)&(x658&~~x659)|~~x660|~~x661|~x662&(~~x663|~x664&~x665)|~~x666)|(x667&x668|~x669&x670)|(~~x671|x672&(~x673|~x674)|x675&~~x676&~~x677&~x678&~~x679|~x680|~~x681&x682&~~x683|x684|~~x685&~~x686)|(x687&(~~x688|~x689&x690|(~~x691&(~~x692&~x693|(x694&(~~x695|(~~x696|~x697&x698&~~x699|(~x700|~x701&(~x702|~~x703&(~~x704&~x705)&x706&~x707|x708&~x709&~~x710|~x711&x712|~x713|~~x714|~~x715|~x716)|~~x717&(~~x718|x719)|~x720&x721)|(x722|~~x723|x724)&(~~x725|x726&~x727)&(~x728|~x729|(~~x730&(x731|(x732|~~x733&x734)&~~x735&~~x736&~x737|x738&~x739&x740&(~x741|~x742&~x743&x744|(~x745&~~x746)|~~x747&(x748|~~x749&(~x750&(x751|x752&~x753|(x754&(x755&x756|~~x757&(~x758&x759&~x760|x761|(~x762|x763&~x764|~~x765|x766|~x767|(~x768|x769&~~x770|x771|x772|x773&~x774|(~~x775&x776&~x777)&~x778|x779)&x780)|x781|~~x782)|~x783&~x784&(~x785&~x786|~x787)&~~x788&~x789)&x790&~x791&~~x792&~~x793|~x794|~~x795)&x796&~~x797&x798|~x799|~x800&(~x801&(~~x802&~~x803&x804&x805&(x806|~~x807&~x808|~~x809)&~~x810|~x811|x812&~~x813|x814|(x815|~x816|x817|~x818&x819|(~x820&~x821|x822&~~x823|x824|~~x825)&~~x826|x827|x828|(~x829|~~x830)|(x831&~~x832&~~x833&~x834)&~x835&(x836&x837&x838|~~x839)|(~~x840&(~~x841|~~x842|~x843)|~~x844&~x845)|~~x846|~x847&~x848)&x849|~x850&x851|~x852|~~x853)|(~x854|x855|(~~x856|(~~x857&~~x858)|~x859&x860)&~~x861)&x862)|~~x863|~~x864|(~x865&~~x866)|(x867&x868&~x869&~~x870|~~x871|~~x872|~x873)&~~x874&~x875&x876|~x877)&x878|(~~x879&~~x880|(~x881|~x882)&(~x883&x884|~x885&x886)&x887)|~x888&~~x889)|~~x890|~~x891)|(x892&~x893&~~x894|~x895|~~x896|~~x897)|~x898&x899|(~~x900&x901&~~x902|~x903&x904&~~x905|~~x906)&~x907|(~x908&x909&~x910|x911|~~x912&~~x913|(x914&(x915&~x916&~~x917&x918&~~x919)&~x920&x921)&~~x922|(~x923&~~x924&(~~x925&~x926|x927)&~x928|~~x929)&x930)&~x931&(~~x932&x933&~x934|x935&x936&~x937|~~x938|x939&(x940|x941|~x942|x943|~x944&~x945)&~x946&x947&x948)&~~x949&x950)|(~~x951&(~~x952&(~~x953|x954&~x955&x956&~~x957|x958&~x959&x960|(~x961|x962|(~x963|(~x964|(~x965|x966)&~x967&(~x968|x969&~x970&~x971|~x972|~~x973|~~x974|x975|~~x976&~~x977&~x978|x979&~x980|~~x981&~x982)|x983&~x984|~x985&x986)&~x987&~x988&~x989|~x990|x991)&x992|x993|~x994|(~x995|x996|~~x997|~x998|~~x999|~~x1000|~~x1001&~x1002|x1003)|x1004)|x1005|(x1006|~x1007|x1008|~~x1009)&x1010&~~x1011&~~x1012)|x1013|x1014)|x1015&(x1016&(~x1017|(~~x1018|~x1019&x1020&(x1021&~x1022&(~x1023|~~x1024|~x1025&x1026|x1027)&x1028|~~x1029|x1030&~~x1031)|~x1032&(x1033|(x1034&~x1035&(~~x1036|~x1037&~~x1038|x1039&(x1040|~x1041&~~x1042&(x1043|~x1044|~x1045|x1046|~x1047&x1048|~x1049)|~~x1050|~x1051|x1052|~x1053|(~~x1054|~x1055&x1056&~x1057)|(~x1058&~~x1059&x1060|x1061|x1062|~x1063|~~x1064&~~x1065&x1066&~~x1067)|(~x1068&(x1069&~x1070|~x1071&(~~x1072&~x1073|~~x1074|~x1075)|~x1076|~~x1077)&~~x1078|~~x1079|~x1080&(~x1081|~~x1082)&x1083&~~x1084|~~x1085&~~x1086&~x1087&~x1088)|~~x1089|x1090&(~~x1091&x1092&~~x1093|x1094|~~x1095)|~x1096)&~~x1097|(x1098|~~x1099|~x1100)&~~x1101)&x1102|~~x1103)|(x1104&x1105&~x1106&x1107|(x1108|~~x1109|~x1110)|x1111|~~x1112|x1113&~~x1114&~x1115&~~x1116)&~x1117&~~x1118&~x1119&~x1120)&x1121|x1122&~x1123|~x1124&(x1125|~~x1126)&x1127|x1128)|(x1129|~~x1130&~~x1131&~x1132)|~x1133|x1134&~x1135|x1136)&~~x1137|~x1138&(~x1139&(~~x1140&(x1141&x1142|x1143)&~x1144|(~~x1145&~x1146|~x1147|(~x1148&~x1149&~x1150|~x1151&x1152)|~x1153&~~x1154&(~~x1155&(~~x1156&x1157&~~x1158&(~x1159|~~x1160)|~~x1161|(~x1162&x1163|~~x1164&~~x1165|x1166|(x1167|~~x1168|x1169)&x1170)&x1171|~~x1172&~x1173)&~~x1174)|x1175&x1176&~x1177)&~x1178)&~~x1179|~~x1180)|x1181|x1182)|~x1183|~~x1184)|~~x1185&~~x1186)|~~x1187|(~~x1188|x1189)&~~x1190&~~x1191)|~~x1192)|~~x1193)&~~x1194|~x1195&(~x1196&x1197|~x1198)|~~x1199|~x1200&~~x1201&(x1202|x1203&(~x1204|~~x1205|~x1206|x1207&(~~x1208|(x1209|(x1210&x1211|~x1212&~x1213|~~x1214)&~~x1215&x1216)&(x1217|~~x1218|x1219|~~x1220|x1221|x1222)|(x1223|~~x1224)&x1225|~~x1226)|~x1227&~x1228)|~x1229&(~x1230&x1231|~x1232&~~x1233|~x1234|x1235&~x1236&~~x1237&~x1238)&~~x1239&x1240)&~x1241|~x1242&~x1243|~x1244|~x1245&~~x1246|x1247)|~x1248)|~x1249)&(x1250&x1251)&~x1252|x1253|x1254|x1255|~x1256&~x1257|x1258&~~x1259|~x1260)|x1261)|~~x1262|x1263|~x1264)&x1265|~~x1266)|x1267)&(~~x1268&~x1269&~~x1270|~~x1271|~~x1272|x1273)|~x1274&~~x1275|~x1276&~x1277)|~x1278)|x1279|~~x1280&(~x1281&~x1282|x1283)|x1284&~~x1285|~~x1286|~x1287|x1288&~x1289|~~x1290)&~x1291)&(~x1292|~x1293)|(~x1294&~x1295|x1296|~x1297|~~x1298)|~~x1299|x1300&~~x1301&~~x1302)&~~x1303|~x1304&~~x1305|~x1306)|~x1307|x1308|~~x1309|x1310|~~x1311|x1312|~~x1313|~~x1314|~x1315&~x1316|~x1317|~x1318&(x1319|(~x1320&(~~x1321|~x1322&~x1323|~~x1324|x1325|~x1326&~x1327&~x1328)|(~~x1329&x1330)|~~x1331|~~x1332|x1333&(~x1334&~x1335|(~x1336&~x1337&~x1338)|~x1339)|(~~x1340|~x1341&~~x1342|x1343&x1344&~~x1345&~x1346&~x1347&x1348)|(~x1349|(~x1350&x1351|(~~x1352|(~x1353&x1354|x1355&~x1356&~~x1357|~x1358&x1359&(x1360|x1361&~~x1362|~x1363&(~x1364&~~x1365|~x1366|x1367&~~x1368|~~x1369|(~~x1370|(~x1371|(~~x1372|~x1373)&x1374&(x1375&(~x1376|~x1377&~~x1378)|x1379&x1380|(~~x1381&~x1382|~x1383&~~x1384)&(x1385|(~~x1386|~x1387&~~x1388&x1389)|~x1390&(~x1391|(~x1392&(~x1393&(x1394&~~x1395)|~x1396|(~x1397|(~~x1398&~~x1399|~~x1400)&(~~x1401&x1402)|(~x1403&x1404)&x1405)&(~x1406|(x1407|~~x1408)&(~~x1409&~~x1410|~x1411)|~~x1412|~~x1413)|~~x1414&~~x1415&~~x1416)&x1417)&~~x1418)&x1419|(~x1420&x1421|x1422&~x1423&(x1424|~~x1425)|x1426)&~~x1427&x1428&~x1429)|~~x1430)&~x1431|~x1432&~~x1433)&~~x1434&x1435|~~x1436)|(~~x1437&~~x1438|x1439|~~x1440)|~~x1441)&x1442)|~~x1443|~~x1444|(~x1445|(x1446&~x1447&~x1448&~x1449|(~~x1450|~x1451|~x1452|x1453&x1454|~x1455&(~x1456&~~x1457|x1458|~x1459&(~~x1460|~~x1461|~x1462)&~~x1463)&~~x1464)|(x1465&(~x1466|~~x1467)&~~x1468)&x1469&~x1470|x1471&~~x1472&x1473&x1474&(x1475&x1476)&x1477)&(~x1478&~x1479&x1480|~~x1481)|x1482|(~x1483&~~x1484|~~x1485)|(~x1486|x1487|~~x1488)&~~x1489|~x1490&x1491&x1492&~x1493&~x1494&~~x1495&x1496|x1497|~~x1498|x1499|~x1500&~~x1501&(x1502&(~~x1503|x1504|x1505)&x1506|~~x1507&~~x1508&~~x1509&~x1510)|~x1511|~~x1512)&~x1513|~~x1514)&x1515|x1516|~~x1517&~~x1518)&~~x1519&~x1520|x1521|x1522&~~x1523&x1524&~~x1525|(~x1526&~x1527|~x1528|~x1529&x1530&~~x1531&(~x1532|~~x1533&~x1534|~x1535&~x1536|~x1537|~~x1538&(~x1539&x1540&(~~x1541&~~x1542&(~x1543&~x1544|(~~x1545&~~x1546)|(~x1547&~~x1548&~~x1549)&~x1550|~x1551&(~x1552|~x1553|(~~x1554&(~x1555|~x1556|x1557&~~x1558)|~x1559)&~~x1560&~x1561|~~x1562|x1563|x1564|~x1565|(~x1566&~~x1567|(~~x1568&x1569)&x1570&~x1571|~~x1572|(~~x1573&~x1574)|~~x1575&~~x1576&x1577|x1578&~~x1579|(~x1580&(~~x1581&~x1582&~~x1583)|~~x1584&x1585&x1586)|x1587&(~~x1588&~x1589&(x1590&x1591&~~x1592|x1593)|~~x1594|x1595|(~~x1596|~~x1597|(~~x1598|x1599|(~x1600&~~x1601|x1602&x1603&~~x1604)&x1605)|~x1606)&~x1607)&~~x1608|~~x1609&(x1610&~x1611)&~~x1612|~x1613|x1614&~x1615|x1616&~x1617|x1618)|~~x1619|~x1620&(~~x1621|x1622&~x1623)&~x1624)&x1625|~x1626&~~x1627|~x1628&x1629&~~x1630)|~x1631&x1632)&~x1633)|~x1634|(x1635|x1636&~x1637)|(~x1638|~~x1639&~~x1640|(~~x1641|x1642|~~x1643)&~~x1644&~~x1645)|~~x1646)&~~x1647)&(~~x1648&(~~x1649|(~~x1650&(x1651|x1652|(~~x1653|x1654&(~~x1655|~~x1656)|(x1657&x1658)&~~x1659&~x1660)|~x1661|~x1662|x1663)|x1664|~~x1665|~x1666|x1667|(~~x1668|~x1669&(~~x1670|x1671)&(x1672|~x1673|~~x1674|~~x1675&x1676|(~~x1677&~x1678&(~~x1679|~~x1680|~~x1681&~~x1682&~x1683)&(x1684&x1685&~x1686|~~x1687|~x1688)&~~x1689|~~x1690&x1691)|x1692|~x1693&x1694|~x1695)|x1696|~~x1697|~x1698|~x1699)&(~x1700&(x1701|~~x1702&~~x1703|~x1704|x1705|(~~x1706|~~x1707&x1708&~~x1709|~~x1710|~~x1711&x1712&~x1713&~~x1714&x1715&~~x1716&~x1717|(~x1718&x1719&x1720|~x1721|~~x1722|~~x1723&~~x1724&(x1725|x1726|~x1727|~~x1728)|(x1729&(~x1730&~x1731|~~x1732|x1733&~x1734|(x1735&~x1736&~~x1737)|~~x1738)&(~~x1739|x1740)|~~x1741|x1742)&(~~x1743&(~~x1744|~x1745&~x1746)&(~x1747&x1748&(~x1749&(~~x1750&x1751&(x1752&~~x1753&(~x1754|~x1755&(~~x1756|~x1757)&~~x1758)&(~x1759&x1760&~x1761&x1762)|x1763|~x1764|~~x1765&(x1766|~~x1767|x1768&~~x1769|~x1770)&~x1771|(~x1772|x1773|x1774)|x1775|~x1776|~x1777|x1778&(~x1779|~x1780|x1781)|~x1782)|~~x1783&~x1784&(x1785|~~x1786)&~x1787)&~~x1788|(~~x1789&x1790)&x1791&x1792|~x1793&~x1794)|~~x1795|~~x1796&~~x1797&x1798&x1799)&(~x1800&(x1801|~x1802&~~x1803|~x1804|x1805)|(~~x1806|x1807)&(~x1808|~x1809|x1810&(x1811&x1812)&x1813)|(~~x1814|~x1815)&x1816&~x1817&(~x1818|(~~x1819&~~x1820&~x1821)&x1822)&(x1823|x1824&~~x1825)|~~x1826|~x1827)|x1828)&~x1829)&x1830|~x1831|x1832&~x1833|~x1834|~x1835&~~x1836&~x1837&x1838)|~~x1839&x1840|(~x1841|x1842&(~~x1843|~x1844)|x1845&x1846&~~x1847|(~~x1848&~x1849&x1850|(~~x1851|x1852)&x1853&x1854|x1855&x1856|x1857&~~x1858)|x1859&x1860|~~x1861)|~x1862|(~~x1863|~x1864|~~x1865&(~x1866&~~x1867&~x1868&(~x1869&~x1870)&x1871)&~~x1872&(x1873|x1874|~x1875|~~x1876|~x1877|x1878&(~~x1879&(~x1880|~x1881|~~x1882&x1883&x1884|x1885&~x1886&x1887&~x1888&~~x1889&x1890)|~~x1891&~~x1892|x1893)|~~x1894|x1895)&~~x1896)|~~x1897)|~x1898|~~x1899|~~x1900|~x1901|(~~x1902|~x1903)&(~~x1904|x1905|~x1906&~~x1907)&~x1908|~~x1909|~~x1910&~~x1911|~~x1912|x1913|x1914)|~x1915)|(x1916|~x1917)&x1918|~~x1919&~~x1920)&x1921|~x1922&(~~x1923|x1924|~x1925&~x1926&(~x1927|~x1928|(~x1929|~x1930&x1931&x1932|~~x1933)&~~x1934&x1935|x1936|x1937|~~x1938&~x1939&(~~x1940|~x1941|~x1942&x1943&~x1944|~x1945|~x1946&~~x1947&~x1948&x1949)&~~x1950&~~x1951|x1952&~x1953&x1954&~x1955&x1956)|x1957|~~x1958&~x1959&~x1960)&(~x1961|x1962|x1963)&~~x1964&~x1965&~~x1966)|(~~x1967|(~x1968|~x1969)|~~x1970|~x1971|x1972)|~~x1973)&x1974&~x1975)&~~x1976)|~~x1977|x1978)|~~x1979|~~x1980)|~x1981&x1982|(~~x1983&x1984)|~x1985)&~~x1986&~~x1987&~~x1988&~~x1989|~x1990|(~~x1991|x1992&x1993|x1994|(x1995&~x1996|x1997)&~~x1998)|x1999|~~x2000|(~~x2001|x2002&~x2003&(~x2004|~~x2005)&x2006&~x2007&(x2008|~x2009)|~~x2010&~~x2011)&(~x2012|x2013)&(x2014|~~x2015&x2016&~~x2017|~~x2018|x2019)&x2020|(~~x2021|x2022|(~x2023|~~x2024|~~x2025)&(~x2026|x2027&~x2028)&(x2029&(~x2030&x2031&~x2032|~~x2033|~x2034)&~~x2035|~x2036&(~~x2037&~~x2038|x2039|x2040|(~x2041&(~~x2042&~~x2043)&~~x2044&x2045|(~x2046&x2047)|~~x2048&~x2049|x2050)&(~x2051|~~x2052|~x2053|x2054)&x2055|(x2056|x2057|x2058|~x2059|~x2060&(~x2061&~x2062&~x2063|x2064|(~~x2065&~x2066)&x2067)|x2068)&(~~x2069|(x2070|~x2071|~~x2072&~x2073&~~x2074|x2075|x2076)|~x2077&~x2078|~~x2079&(~~x2080|(x2081&~x2082|~~x2083|~~x2084|(~~x2085|x2086&~~x2087)|x2088&~x2089&~~x2090|(x2091|~x2092|~x2093&~x2094)|~x2095&~~x2096&(~~x2097&(~x2098|x2099|x2100&(x2101&(~x2102&~~x2103)&x2104&~x2105&x2106|~~x2107&~x2108&~~x2109&(~x2110&~x2111&~x2112|x2113)|(~x2114&~~x2115)&~~x2116&~x2117&~x2118|~~x2119)&~~x2120|(~x2121&x2122&~~x2123&(~x2124|~~x2125)|x2126&~x2127)|~~x2128|~x2129|(x2130|~x2131)|~~x2132&~x2133)&~~x2134|~x2135|~~x2136&~x2137|~x2138)&~~x2139&x2140|x2141|x2142|(~x2143&(~x2144|~~x2145|(~~x2146&x2147|~~x2148)&~x2149|x2150|~~x2151&(x2152&x2153|x2154)|x2155|~~x2156&(~~x2157&~~x2158&~~x2159&(~~x2160|(~x2161&~x2162)|~x2163|x2164&~~x2165)|x2166&~~x2167|~x2168)|~~x2169)&x2170)|(x2171|~x2172)|~x2173&~x2174&~x2175|~~x2176)|x2177|(~x2178|~~x2179&~x2180&(~~x2181&~~x2182|(x2183|x2184|~~x2185)&x2186&x2187&x2188|x2189|~~x2190)&x2191)&~x2192|~x2193)|x2194)&~~x2195&x2196)&~x2197)|x2198|~x2199|~x2200|x2201&~~x2202|~~x2203|x2204)&~~x2205)|~x2206&(~~x2207|x2208|~x2209|~x2210|x2211)&~x2212&~~x2213&(x2214|~x2215&~x2216&(~~x2217&(~~x2218|(~~x2219|~~x2220&(x2221|~~x2222|~x2223)&~x2224|x2225)|~x2226|~~x2227|~x2228)|x2229|~~x2230|~~x2231|~x2232)&x2233|x2234&(~~x2235|~~x2236)|~x2237|~~x2238|~x2239&x2240&~x2241&~x2242&x2243&~x2244)|x2245&x2246&(x2247&(~~x2248|~x2249&(x2250&(~x2251|(~~x2252|~x2253)|x2254&~~x2255&(~~x2256&x2257&~~x2258|~~x2259&x2260|x2261&x2262)|~x2263|~x2264|~x2265)&(~x2266|x2267|x2268|~~x2269)&~~x2270)&~~x2271|~x2272|x2273|(x2274|x2275)&~~x2276&(~~x2277&(~x2278&~x2279|~x2280)|x2281)&(x2282&(~x2283|~x2284)|~~x2285&~x2286)&x2287|x2288)&~x2289&~x2290)&x2291|~~x2292|~x2293&~~x2294|(~~x2295|(x2296&(~x2297|x2298)|~~x2299|x2300|x2301)|~~x2302|~~x2303|x2304|~~x2305|(x2306&x2307)&~x2308|(~~x2309|(~~x2310|~~x2311)&~~x2312&x2313&~x2314|~~x2315|(x2316|(x2317&~x2318)|~x2319&(~~x2320|~~x2321)&x2322)|~x2323)|x2324)|x2325|(x2326&~x2327&x2328|~x2329|~~x2330)&x2331|~~x2332&x2333&~x2334&x2335|~x2336|~x2337|(~x2338&~x2339)|~~x2340&~x2341|~x2342|~~x2343|~~x2344&~~x2345&x2346&~x2347&x2348&(x2349|(~~x2350|x2351|x2352)|~~x2353)&~~x2354&(~x2355&~~x2356|~~x2357&~x2358|~x2359)&~~x2360&~~x2361&(x2362&~~x2363&~x2364)|x2365|~~x2366&~x2367|x2368|x2369&~~x2370&(x2371|~~x2372|~x2373&(~x2374|~~x2375&~x2376)&x2377&(~x2378&~x2379&x2380|x2381|~x2382&~x2383|~~x2384)|~~x2385&(~~x2386|~x2387&~x2388&x2389&(~~x2390&~~x2391&~~x2392|x2393)&(~~x2394|x2395|~~x2396|~~x2397&~x2398&(~x2399|(~x2400|~x2401)|~x2402)&~~x2403&~x2404|~~x2405|~~x2406|x2407&x2408|~~x2409&~x2410&(~x2411&~~x2412|~~x2413|~x2414)&x2415&x2416&x2417&~~x2418|(~~x2419&(~~x2420|(~~x2421&~~x2422&~x2423&~~x2424)&~x2425&~~x2426)&~x2427&x2428)&x2429&x2430&~x2431|x2432&~~x2433&~~x2434|(~~x2435|x2436&~~x2437)&x2438|~~x2439|(~~x2440&x2441)|~~x2442)|~~x2443&x2444&~~x2445)&~~x2446|~x2447&~~x2448|~~x2449&x2450|(~~x2451|~x2452)&(~~x2453&~~x2454&~x2455)&x2456|x2457)|~~x2458|x2459&~x2460&x2461|(x2462&~~x2463&~~x2464|(x2465|x2466|~~x2467&~~x2468|~x2469)|~x2470|~x2471&x2472&x2473|~~x2474|(~~x2475&~x2476|~~x2477&~x2478|(x2479|(x2480|x2481&~~x2482|x2483&~~x2484|~~x2485|x2486|~x2487&x2488&(x2489&~x2490)&x2491|~~x2492)|(x2493|~~x2494&~~x2495&x2496|(~x2497|x2498&(x2499|~~x2500|~x2501)&~x2502&(~~x2503&~~x2504&~x2505&x2506&(~x2507&x2508|~x2509|~x2510|~x2511)|x2512|(x2513&~x2514&x2515|~x2516&x2517|~~x2518&~x2519)|(x2520|(x2521&(x2522|~x2523)|~~x2524|~~x2525&~~x2526|~~x2527|~~x2528&x2529&~~x2530)|~x2531&~x2532)&~~x2533)&x2534)|~x2535|~~x2536&~~x2537)&~x2538&x2539|~x2540)&(~~x2541|~~x2542|~~x2543&x2544|x2545&~~x2546|x2547&~x2548&(~x2549&~~x2550&x2551|~~x2552)|(~x2553|(~x2554|x2555)|(~~x2556|~~x2557|x2558&x2559)|~x2560&(~x2561&(~~x2562&(~x2563|x2564&x2565|~~x2566&x2567&~~x2568|~x2569|~x2570)&~~x2571|~x2572&~~x2573)&(x2574|~x2575|x2576|x2577&~x2578&x2579|(x2580&x2581&x2582&x2583&~x2584|~x2585&x2586&~x2587&x2588|~~x2589|~~x2590|~~x2591|~x2592&~~x2593|(x2594&x2595&~~x2596&~~x2597|~x2598)&~x2599&(x2600&~x2601&~~x2602)&x2603&~x2604)&x2605)&~x2606|~~x2607|~x2608&~~x2609|x2610|(~x2611|~x2612)|~x2613&~~x2614&~x2615|~~x2616)|~x2617&~~x2618|(~x2619&x2620&~~x2621)&~~x2622&(x2623&x2624)&(~x2625&(~~x2626|x2627|(x2628|~x2629&~x2630&x2631&(~~x2632&~~x2633&~~x2634)|(~x2635&x2636)&~x2637)|~x2638|(~~x2639&x2640)|(~x2641|x2642)|~x2643&~x2644&x2645&x2646&~x2647|x2648)|x2649|x2650|~~x2651&~x2652&~x2653|~~x2654&~~x2655&(~~x2656|~~x2657&~~x2658&~~x2659)|(~~x2660|(~x2661|(~x2662|x2663&x2664)&x2665&x2666)&(~x2667|~x2668&~x2669)&(~~x2670&x2671&~~x2672&x2673|~x2674&(~x2675|x2676)&~x2677&(~x2678&~x2679)&(x2680&~~x2681&x2682&x2683)&x2684&~x2685&~x2686)&~~x2687|~~x2688&(~x2689&~~x2690)&(~~x2691&~x2692|~~x2693)|~~x2694&(~x2695|~x2696|(x2697&~~x2698)|~x2699&~~x2700)&x2701|~~x2702&x2703&x2704|x2705&~~x2706|~x2707|~x2708)&x2709&x2710|x2711&~x2712|(x2713&x2714&~~x2715)|~~x2716|~x2717&x2718)|~x2719&~x2720&~~x2721)|(x2722|~~x2723)&x2724&x2725&~x2726|x2727)&x2728)&(~x2729&(~x2730|~x2731|~x2732|x2733&x2734&x2735)&~x2736|~~x2737&~x2738&x2739&~x2740|~x2741&~x2742&~~x2743&x2744&x2745|~~x2746)&~x2747|~~x2748)&(x2749&(~x2750|(~x2751&~~x2752&(~~x2753|~~x2754|(~x2755&(x2756&x2757&~~x2758&x2759&~x2760|x2761|x2762|~x2763)|~~x2764&~x2765|~x2766|~~x2767|~x2768|x2769&~~x2770|~~x2771&~~x2772)&x2773|x2774)|~~x2775&x2776&x2777|~~x2778)|~~x2779&x2780&x2781&~x2782|x2783&x2784&~x2785&~~x2786&~x2787|(~x2788&(~~x2789&~x2790|~~x2791|~~x2792|(x2793&~~x2794|x2795&x2796)&~~x2797&x2798&(x2799&x2800|x2801|~~x2802|~~x2803&~~x2804|x2805)&(x2806&~~x2807|~~x2808|~~x2809&x2810&~x2811&(~~x2812&~x2813)&(~~x2814&(~x2815&(x2816&x2817&~x2818|~x2819|~x2820|~x2821)&~x2822)|(x2823&x2824)&~x2825)&~x2826|x2827|~x2828)&~~x2829|~x2830&~~x2831&x2832|~~x2833&x2834&x2835&x2836&(x2837|(x2838|x2839)|~x2840&x2841)|~~x2842&~~x2843&~~x2844&~x2845&(~~x2846|(~x2847&~x2848&(x2849|~x2850)&x2851&~~x2852|(~~x2853|~~x2854|~x2855|(x2856|(~x2857|~x2858|x2859|(x2860&~~x2861&x2862|~~x2863&~~x2864&(~~x2865&~x2866&x2867|x2868&(~x2869|x2870&(~x2871|(x2872|~~x2873&x2874)|x2875)|(~~x2876&~~x2877|x2878|~~x2879|(x2880|(~~x2881&~x2882&x2883|(x2884|~~x2885|(~x2886&x2887&x2888|~x2889)|~~x2890|~x2891|~x2892|(~~x2893|~x2894)|x2895)&~~x2896|x2897|x2898&(x2899&~~x2900|x2901&(~~x2902|x2903&(~x2904|x2905&~x2906|~x2907)&~x2908)&~~x2909&~x2910&~x2911)|x2912&x2913&(x2914|(~x2915&~~x2916&~x2917)|~~x2918|x2919|x2920|~~x2921)&~x2922|~x2923&(~~x2924|~~x2925|x2926|~~x2927&x2928|~x2929&~x2930|~~x2931&x2932)&~x2933&~x2934|x2935)&~~x2936|~x2937|~~x2938)&x2939|x2940)&~~x2941&~x2942&x2943&~~x2944&~x2945)|x2946&(~x2947&~~x2948&x2949|x2950)&~x2951&x2952|x2953)&(~~x2954&~x2955|x2956)|x2957&~~x2958&x2959)&(~x2960&~~x2961&x2962&~x2963|x2964&~~x2965)&~~x2966)|~x2967)|x2968)&~x2969|x2970|(~~x2971|~~x2972&~x2973)&~x2974|x2975)|~x2976)&~~x2977)&(x2978&~~x2979&(~~x2980|x2981|~~x2982&(x2983|~~x2984|~x2985&x2986|(~x2987&x2988|~x2989&x2990|(~~x2991|~x2992)|~x2993)|~~x2994&x2995&x2996&~~x2997&~x2998|x2999&x3000|x3001|x3002|~~x3003&~x3004&~~x3005|~~x3006)|~~x3007&~~x3008&x3009|~~x3010|x3011|(x3012&(x3013|(~x3014|(x3015&~~x3016&(x3017|(~~x3018&~~x3019&x3020|x3021|x3022)|x3023|x3024|(~~x3025&x3026)&~x3027|~x3028&~~x3029&~~x3030&~~x3031|~x3032)|~~x3033)&~x3034&(~~x3035&~~x3036&~~x3037&x3038|~~x3039|~~x3040&(x3041|x3042|(x3043&~~x3044|~~x3045&~~x3046|x3047)&~x3048&~~x3049|x3050&x3051&x3052&~x3053|~~x3054|x3055&~x3056|x3057|~x3058|~x3059&x3060&x3061&~x3062&~~x3063|~x3064|x3065)|~x3066)&x3067&~~x3068|~x3069)|~~x3070)&(~x3071&~~x3072|~x3073)&~x3074&~~x3075|(~x3076|~x3077&(~x3078&~~x3079|~~x3080|x3081&~~x3082)&~~x3083|~x3084&(~~x3085&~x3086)&(~~x3087|~x3088|~~x3089)&~x3090&(~x3091|(~~x3092&x3093|~x3094&x3095|(~x3096&x3097&~x3098)|~x3099|~x3100)|(~~x3101&~x3102&~x3103|~x3104|~x3105)|x3106&x3107)&~~x3108&x3109|~~x3110|~~x3111|x3112)&x3113&~x3114)|~~x3115|~~x3116|~x3117&~x3118)&~x3119|~~x3120|x3121|(x3122|(~~x3123&(x3124|~x3125)&~x3126|~~x3127)&x3128&~x3129|x3130|~~x3131&x3132&~x3133)|(~x3134&x3135)&~x3136|x3137&(x3138&(~~x3139|x3140&~~x3141&~x3142&~~x3143&(~x3144|(x3145|~~x3146&x3147|x3148)|~~x3149)&x3150&~~x3151)&x3152&~x3153|x3154)&(x3155|~x3156&~x3157&(~x3158&~x3159&~x3160|x3161)&x3162&x3163|x3164)&~~x3165&~x3166|~x3167&~~x3168|~~x3169)|(~~x3170|~x3171)&x3172&(~x3173&~x3174)|x3175|(~~x3176|(x3177|~x3178)&(~x3179&~x3180&~x3181&x3182&~x3183)|~x3184&~~x3185|~~x3186)&~~x3187&~~x3188|x3189|~~x3190)&x3191|~x3192|~~x3193&~x3194&~x3195|x3196&(x3197|x3198|x3199|(x3200|~~x3201)&~x3202|x3203&x3204|~~x3205&(x3206&~x3207|x3208|(x3209|x3210|~~x3211&~~x3212&x3213|~~x3214)|~x3215&~x3216)|x3217)&(~x3218&~x3219)&~~x3220)|~~x3221)&(~~x3222|x3223&x3224&~~x3225)|x3226|(~~x3227|x3228|~~x3229|~x3230|x3231|~~x3232|~~x3233&x3234)|(x3235&x3236&x3237)|(~x3238&~~x3239|~x3240&x3241|~~x3242&(x3243&~x3244)|x3245)|x3246|(x3247|x3248|~~x3249|~x3250|~x3251|~~x3252)&(x3253|~~x3254|~x3255&~~x3256&~~x3257&~x3258&~~x3259|x3260)&(x3261|(~~x3262|~~x3263)&x3264|~x3265)&x3266|x3267|~~x3268&x3269&~~x3270|~~x3271|~x3272&~~x3273|(~x3274&(~x3275|~~x3276&x3277)&~x3278|~x3279&(~x3280|~x3281)|x3282)&x3283|x3284|(x3285|x3286)|x3287&(~x3288|~x3289&(~x3290&~x3291|~~x3292|~~x3293&(x3294|~~x3295)|x3296|~x3297)|(~~x3298&x3299|(~~x3300|~x3301&~~x3302&x3303|~~x3304&x3305&~~x3306&~~x3307&x3308|x3309&~x3310)|x3311&~x3312|~x3313&(~x3314&~~x3315|~~x3316)|~~x3317&(x3318|~x3319&(~x3320|~x3321)|~x3322&~x3323&~~x3324)&x3325&~~x3326)&(~x3327|x3328&(x3329&~~x3330)&(~x3331|~x3332&~~x3333|~~x3334&~~x3335&~~x3336|~~x3337|~x3338|x3339&x3340|(~x3341&x3342|~~x3343)|(~x3344|~x3345)|x3346&(~x3347|~~x3348&~x3349|~x3350&(~x3351&~~x3352&~x3353)&~~x3354&x3355&~x3356|x3357&(x3358&~~x3359)&~~x3360&~~x3361&~x3362)|(~~x3363&~~x3364|~~x3365)&x3366|(~x3367&~~x3368)&x3369|(~~x3370&(x3371&x3372&(~x3373&~x3374&(~~x3375|~x3376)&~x3377)|x3378|~x3379|~~x3380|x3381)&x3382)|~~x3383|~~x3384|x3385&~~x3386|~x3387)|(~~x3388|~x3389&x3390|x3391)|x3392&~~x3393|x3394)&~x3395&~~x3396|x3397|x3398&~~x3399|(~x3400&x3401&~x3402|~~x3403&~x3404&x3405&~x3406|~~x3407)|~~x3408&x3409|x3410|x3411)&~~x3412&(~x3413|~x3414|x3415&~~x3416|x3417|x3418|x3419&~~x3420&x3421|(~x3422|x3423|~~x3424)|(x3425&x3426&(~~x3427|~~x3428&(x3429|(x3430&~~x3431|~x3432|(x3433&x3434&~x3435)|~~x3436|x3437|(~x3438&(~~x3439&~~x3440|(~~x3441&~~x3442|x3443|x3444|x3445&x3446|(~~x3447|x3448|x3449|(~~x3450|~x3451|x3452)|x3453)&~x3454|(~~x3455|(~x3456&(~x3457|~x3458&x3459|x3460)|~~x3461|(~x3462|~~x3463)&~~x3464)&~x3465&~~x3466&~x3467&~~x3468|x3469)|~~x3470&~~x3471)|~~x3472|~~x3473&x3474|(x3475|~x3476|x3477&~x3478|(x3479|(~~x3480|~~x3481&~x3482|~~x3483&x3484)&~~x3485)|x3486|~~x3487&x3488)|~~x3489&~~x3490|~x3491&x3492)|(~x3493&~~x3494)|~x3495&(x3496|~x3497&x3498&~x3499|~~x3500)|(~~x3501&~~x3502|x3503)&~x3504)|x3505|(x3506|(~x3507&x3508|~~x3509|(x3510|~~x3511|x3512|~x3513|~~x3514|x3515|(x3516&~~x3517&~x3518|~x3519|~x3520)&x3521)&x3522)|x3523)&x3524&x3525&~x3526|~~x3527&(~x3528&x3529&(x3530&~~x3531)&~x3532)|~~x3533)&x3534&x3535&(x3536|~~x3537&~x3538)&~x3539|~x3540)&~~x3541&~~x3542)&x3543)|~x3544&~~x3545&~x3546&~x3547|~~x3548&~x3549&~~x3550&x3551)|~x3552|x3553|(~x3554|~~x3555|~~x3556|(~~x3557|x3558&x3559&~~x3560)&~x3561|x3562&x3563)&(~x3564&(~x3565&~x3566&~x3567&~x3568&(~~x3569|(x3570|x3571&~x3572)|x3573&~~x3574&x3575)|x3576&~x3577|x3578)&(x3579&x3580|~~x3581|~x3582)|(~x3583|(x3584|x3585|~x3586|~x3587&~~x3588)|x3589)|~~x3590&~~x3591|x3592)|(~~x3593|~x3594)|x3595|~x3596|~~x3597|(~~x3598|x3599&~~x3600)&~~x3601&x3602&x3603&x3604|~x3605&~~x3606&x3607&(~~x3608|(~x3609|~x3610)&x3611)&(~x3612|~~x3613&x3614|(~~x3615|~x3616|x3617&~x3618&~x3619|~x3620&(~~x3621&(~~x3622&x3623)|(~x3624|~~x3625)|x3626&(~x3627&~~x3628)&~x3629&~~x3630&~~x3631&~~x3632)|(~x3633&~~x3634|(x3635|x3636&(x3637&x3638|~~x3639|(~x3640|~~x3641&(x3642|~~x3643&~x3644)&~x3645&~x3646|(~~x3647|~~x3648&~~x3649)&~~x3650)|~~x3651|~x3652|~x3653&~x3654&~x3655&~x3656|~x3657|~x3658|~x3659&~x3660&(~~x3661&x3662|~x3663|~x3664|(~x3665&~~x3666)|(~~x3667&~~x3668)&x3669|(x3670&(~~x3671&~x3672|(x3673&(~~x3674|(~x3675&(~~x3676&(~~x3677|x3678&~~x3679)|x3680|x3681&~~x3682|~~x3683&~~x3684)|~x3685)|~~x3686|~x3687&~x3688)|~x3689&~~x3690&~x3691)&~x3692|~x3693|x3694&~x3695|~~x3696|~~x3697|x3698&(~~x3699&(~x3700&~~x3701)|(~~x3702&~~x3703|x3704&~x3705)&~~x3706)&(~~x3707&(~x3708|x3709&(x3710|x3711)|~x3712)|~x3713|~~x3714|~~x3715&~~x3716&~~x3717)&x3718|~x3719)|~x3720|(~x3721&(x3722|(x3723|~~x3724)|(~x3725|~~x3726&x3727&x3728|x3729&x3730&(~x3731|(~x3732|x3733)&x3734|(~~x3735&~x3736&x3737|~x3738)|~x3739)|~x3740|x3741)&x3742)&x3743&~x3744&(~x3745|x3746&x3747&~~x3748|(~~x3749&x3750|x3751&~x3752)&~~x3753)|~~x3754|~x3755&~x3756&x3757&(~~x3758|x3759)&~x3760)&(~x3761|x3762|~~x3763&(~~x3764&~~x3765|~x3766|x3767&~~x3768|x3769|(~~x3770&~~x3771|~~x3772|x3773|x3774)&(~~x3775&x3776&~~x3777&~~x3778&~~x3779&(~x3780&x3781&x3782&~x3783)&(x3784|~x3785&~~x3786|x3787)|~~x3788&(~x3789&~x3790&~~x3791|~~x3792&~x3793|~x3794|x3795&~x3796|(~~x3797|(~~x3798|~~x3799)|x3800&~x3801|x3802)|x3803&~~x3804)|x3805)&~~x3806|~~x3807)&x3808)|~~x3809&~~x3810|x3811)|(x3812|(~x3813|x3814|~~x3815|~~x3816|(~~x3817|(x3818|~x3819)&~~x3820)|x3821&~~x3822&~x3823&x3824)&~~x3825)|x3826)|~x3827|x3828)&x3829|~x3830&~x3831&~x3832|~~x3833&~x3834&(~x3835&~~x3836&(~x3837|~x3838|x3839)&x3840)&x3841&~x3842|(~x3843&~~x3844)&~~x3845)&~~x3846)&~~x3847&x3848|x3849&(x3850|~~x3851)|~x3852)|(~x3853|x3854&x3855&~~x3856&~~x3857&~~x3858&~~x3859)&(x3860&x3861|~~x3862&~x3863&x3864&x3865&~~x3866&~~x3867|x3868&~x3869)&~~x3870|x3871)|(~~x3872&x3873&~x3874|~~x3875&x3876)|(~~x3877|x3878)|~x3879|(~x3880|~~x3881|x3882&~~x3883&(~~x3884&~x3885|~~x3886|x3887&x3888|~x3889&~x3890)&(~x3891|(~~x3892&x3893&~x3894&~~x3895)|~~x3896&~~x3897|~x3898)&~~x3899)|~~x3900|(~x3901&~x3902)&~x3903&(~~x3904&~x3905)&(~~x3906&~~x3907)&~~x3908|x3909|(x3910&~~x3911)|~x3912&~x3913|~x3914&~x3915|~x3916&(x3917|~~x3918|~~x3919)&~x3920&~~x3921|~~x3922|(~x3923&~x3924&~~x3925|~~x3926|~~x3927&~x3928&~~x3929&x3930|(x3931&~x3932)|~x3933&~x3934&x3935&~x3936&(~x3937|~x3938&~x3939|(~x3940|~x3941)&~x3942)|x3943)&(~~x3944&x3945&~x3946)|~x3947&~~x3948|~x3949|~x3950|~x3951&x3952&~~x3953|x3954&~~x3955&~~x3956&x3957&~~x3958|~~x3959|(x3960&~x3961&~x3962&x3963&(~~x3964|~x3965|~~x3966|x3967&~~x3968&~x3969)&~~x3970&~x3971|~x3972|x3973)