FAILED
ERROR: unsatisfied constraint on line 0
	83886000014934=83886000000000

Falsified constraint is:
+78125*x1226[=0] +156250*x1227[=1] +312500*x1228[=1] +625000*x1229[=1] +1250000*x1230[=0] +2500000*x1231[=1] +5000000*x1232[=1] +10000000*x1233[=1] +20000000*x1234[=1] +40000000*x1235[=1] +80000000*x1236[=1] +160000000*x1237[=0] +320000000*x1238[=1] +640000000*x1239[=0] +1280000000*x1240[=0] +2560000000*x1241[=1] +5120000000*x1242[=1] +10240000000*x1243[=1] +20480000000*x1244[=0] +40960000000*x1245[=1] +81920000000*x1246[=1] +163840000000*x1247[=1] +327680000000*x1248[=0] +655360000000*x1249[=0] +1310720000000*x1250[=0] +2621440000000*x1251[=0] +5242880000000*x1252[=0] +10485760000000*x1253[=0] +20971520000000*x1254[=0] +41943040000000*x1255[=0] +83886080000000*x1256[=1] -14168983680*x1257[=0] -16537751040*x1258[=0] -18906518400*x1259[=0] -21275285760*x1260[=0] -23644053120*x1261[=0] -26012820480*x1262[=0] -28381587840*x1263[=0] -30750355200*x1264[=0] -33119122560*x1265[=0] -35487889920*x1266[=0] -27490527360*x1267[=0] -31945582080*x1268[=0] -36400636800*x1269[=0] -40855691520*x1270[=0] -45310746240*x1271[=0] -49765800960*x1272[=0] -54220855680*x1273[=0] -15106985472*x1274[=0] -17566076416*x1275[=0] -20025167360*x1276[=0] -22484258304*x1277[=0] -24943349248*x1278[=0] -27402440192*x1279[=0] -29861531136*x1280[=0] -32320622080*x1281[=0] -34779713024*x1282[=0] -37238803968*x1283[=0] -30213970944*x1284[=0] -35132152832*x1285[=0] -40050334720*x1286[=0] -44968516608*x1287[=0] -49886698496*x1288[=0] -54804880384*x1289[=0] -59723062272*x1290[=0] -14775926016*x1291[=0] -17203138048*x1292[=0] -19630350080*x1293[=0] -22057562112*x1294[=0] -24484774144*x1295[=0] -26911986176*x1296[=0] -29339198208*x1297[=0] -31766410240*x1298[=0] -34193622272*x1299[=0] -36620834304*x1300[=0] -29551852032*x1301[=0] -34406276096*x1302[=0] -39260700160*x1303[=0] -44115124224*x1304[=0] -48969548288*x1305[=0] -53823972352*x1306[=0] -58678396416*x1307[=0] -63532820480*x1308[=0] -11721422976*x1309[=0] -13653628928*x1310[=0] -15585834880*x1311[=0] -17518040832*x1312[=0] -19450246784*x1313[=0] -21382452736*x1314[=0] -23314658688*x1315[=0] -25246864640*x1316[=0] -23442845952*x1317[=0] -27307257856*x1318[=0] -31171669760*x1319[=0] -35036081664*x1320[=0] -38900493568*x1321[=0] -42764905472*x1322[=0] -8391037056*x1323[=0] -9801671168*x1324[=0] -11212305280*x1325[=0] -12622939392*x1326[=0] -14033573504*x1327[=0] -15444207616*x1328[=0] -16854841728*x1329[=0] -18265475840*x1330[=0] -16782074112*x1331[=0] -19603342336*x1332[=0] -22424610560*x1333[=0] -25245878784*x1334[=0] -28067147008*x1335[=0] -30888415232*x1336[=0] -4067472768*x1337[=0] -4860898304*x1338[=0] -5654323840*x1339[=0] -6447749376*x1340[=0] -7241174912*x1341[=0] -7287505536*x1342[=0] -8591876608*x1343[=0] -9896247680*x1344[=0] -11200618752*x1345[=0] -14720749440*x1346[=0] -17142648320*x1347[=0] -19564547200*x1348[=0] -21986446080*x1349[=0] -24408344960*x1350[=0] -26830243840*x1351[=0] -29252142720*x1352[=0] -31674041600*x1353[=0] -34095940480*x1354[=0] -36517839360*x1355[=0] -29441498880*x1356[=0] -34285296640*x1357[=0] -39129094400*x1358[=0] -43972892160*x1359[=0] -48816689920*x1360[=0] -53660487680*x1361[=0] -58504285440*x1362[=0] -63348083200*x1363[=0] -18271841664*x1364[=0] -21236564992*x1365[=0] -24201288320*x1366[=0] -27166011648*x1367[=0] -30130734976*x1368[=0] -33095458304*x1369[=0] -36060181632*x1370[=0] -39024904960*x1371[=0] -36543683328*x1372[=0] -42473129984*x1373[=0] -48402576640*x1374[=0] -54332023296*x1375[=0] -60261469952*x1376[=0] -66190916608*x1377[=0] -10893774336*x1378[=0] -12746283008*x1379[=0] -14598791680*x1380[=0] -16451300352*x1381[=0] -18303809024*x1382[=0] -20156317696*x1383[=0] -22008826368*x1384[=0] -23861335040*x1385[=0] -20940108672*x1386[=0] -24362646016*x1387[=0] -27785183360*x1388[=0] -31207720704*x1389[=0] -34630258048*x1390[=0] -38052795392*x1391[=0] -7784094720*x1401[=0] -9136284160*x1402[=0] -10488473600*x1403[=0] -11840663040*x1404[=0] -13192852480*x1405[=0] -14545041920*x1406[=0] -15568189440*x1407[=0] -18272568320*x1408[=0] -20976947200*x1409[=0] -23681326080*x1410[=0] -26385704960*x1411[=0] -7232328960*x1421[=0] -8531386880*x1422[=0] -9830444800*x1423[=0] -11129502720*x1424[=0] -12428560640*x1425[=0] -13727618560*x1426[=0] -13617217920*x1427[=0] -15932853760*x1428[=0] -18248489600*x1429[=0] -20564125440*x1430[=0] -22879761280*x1431[=0] -14058630528*x1432[=0] -16416771584*x1433[=0] -18774912640*x1434[=0] -21133053696*x1435[=0] -23491194752*x1436[=0] -25849335808*x1437[=0] -28207476864*x1438[=0] -30565617920*x1439[=0] -28117261056*x1440[=0] -32833543168*x1441[=0] -37549825280*x1442[=0] -42266107392*x1443[=0] -46982389504*x1444[=0] -51698671616*x1445[=0] -16837250688*x1446[=0] -19663832064*x1447[=0] -22490413440*x1448[=0] -25316994816*x1449[=0] -28143576192*x1450[=0] -30970157568*x1451[=0] -33796738944*x1452[=0] -36623320320*x1453[=0] -32827061376*x1454[=0] -38197744128*x1455[=0] -43568426880*x1456[=0] -48939109632*x1457[=0] -54309792384*x1458[=0] -59680475136*x1459[=0] -16782074112*x1460[=0] -19603342336*x1461[=0] -22424610560*x1462[=0] -25245878784*x1463[=0] -28067147008*x1464[=0] -30888415232*x1465[=0] -33709683456*x1466[=0] -36530951680*x1467[=0] -32716708224*x1468[=0] -38076764672*x1469[=0] -43436821120*x1470[=0] -48796877568*x1471[=0] -54156934016*x1472[=0] -59516990464*x1473[=0] -16285484928*x1474[=0] -19058934784*x1475[=0] -21832384640*x1476[=0] -24605834496*x1477[=0] -27379284352*x1478[=0] -30152734208*x1479[=0] -32926184064*x1480[=0] -35699633920*x1481[=0] -38473083776*x1482[=0] -41246533632*x1483[=0] -31723529856*x1484[=0] -36987949568*x1485[=0] -42252369280*x1486[=0] -47516788992*x1487[=0] -52781208704*x1488[=0] -58045628416*x1489[=0] -63310048128*x1490[=0] -68574467840*x1491[=0] -17554546176*x1492[=0] -20450198528*x1493[=0] -23345850880*x1494[=0] -26241503232*x1495[=0] -29137155584*x1496[=0] -32032807936*x1497[=0] -34928460288*x1498[=0] -37824112640*x1499[=0] -34261652352*x1500[=0] -39770477056*x1501[=0] -45279301760*x1502[=0] -50788126464*x1503[=0] -56296951168*x1504[=0] -61805775872*x1505[=0] -14996632320*x1506[=0] -17445096960*x1507[=0] -19893561600*x1508[=0] -22342026240*x1509[=0] -24790490880*x1510[=0] -27238955520*x1511[=0] -29687420160*x1512[=0] -32135884800*x1513[=0] -34584349440*x1514[=0] -37032814080*x1515[=0] -29993264640*x1516[=0] -34890193920*x1517[=0] -39787123200*x1518[=0] -44684052480*x1519[=0] -49580981760*x1520[=0] -54477911040*x1521[=0] -59374840320*x1522[=0] -64271769600*x1523[=0] -16947603840*x1524[=0] -19784811520*x1525[=0] -22622019200*x1526[=0] -25459226880*x1527[=0] -28296434560*x1528[=0] -31133642240*x1529[=0] -33970849920*x1530[=0] -36808057600*x1531[=0] -39645265280*x1532[=0] -42482472960*x1533[=0] -33895207680*x1534[=0] -39569623040*x1535[=0] -45244038400*x1536[=0] -50918453760*x1537[=0] -56592869120*x1538[=0] -62267284480*x1539[=0] -67941699840*x1540[=0] -73616115200*x1541[=0] -5171004288*x1542[=0] -6070692864*x1543[=0] -6970381440*x1544[=0] -7870070016*x1545[=0] -8769758592*x1546[=0] -9669447168*x1547[=0] -10342008576*x1548[=0] -12141385728*x1549[=0] -13940762880*x1550[=0] -15740140032*x1551[=0] -17539517184*x1552[=0] -14224160256*x1553[=0] -16598240768*x1554[=0] -18972321280*x1555[=0] -21346401792*x1556[=0] -23720482304*x1557[=0] -26094562816*x1558[=0] -28468643328*x1559[=0] -30842723840*x1560[=0] -33216804352*x1561[=0] -35590884864*x1562[=0] -27600880512*x1563[=0] -32066561536*x1564[=0] -36532242560*x1565[=0] -40997923584*x1566[=0] -45463604608*x1567[=0] -49929285632*x1568[=0] -54394966656*x1569[=0] -15106985472*x1570[=0] -17566076416*x1571[=0] -20025167360*x1572[=0] -22484258304*x1573[=0] -24943349248*x1574[=0] -27402440192*x1575[=0] -29861531136*x1576[=0] -32320622080*x1577[=0] -30213970944*x1578[=0] -35132152832*x1579[=0] -40050334720*x1580[=0] -44968516608*x1581[=0] -49886698496*x1582[=0] -54804880384*x1583[=0] -15788895744*x1584[=0] -18514527232*x1585[=0] -21240158720*x1586[=0] -23965790208*x1587[=0] -26691421696*x1588[=0] -29417053184*x1589[=0] -32142684672*x1590[=0] -34868316160*x1591[=0] -30730351488*x1592[=0] -35899134464*x1593[=0] -41067917440*x1594[=0] -46236700416*x1595[=0] -51405483392*x1596[=0] -56574266368*x1597[=0] -15548398080*x1598[=0] -18049994240*x1599[=0] -20551590400*x1600[=0] -23053186560*x1601[=0] -25554782720*x1602[=0] -28056378880*x1603[=0] -30557975040*x1604[=0] -33059571200*x1605[=0] -35561167360*x1606[=0] -38062763520*x1607[=0] -31096796160*x1608[=0] -36099988480*x1609[=0] -41103180800*x1610[=0] -46106373120*x1611[=0] -51109565440*x1612[=0] -56112757760*x1613[=0] -61115950080*x1614[=0] -8225507328*x1624[=0] -9620201984*x1625[=0] -11014896640*x1626[=0] -12409591296*x1627[=0] -13804285952*x1628[=0] -16451014656*x1629[=0] -19240403968*x1630[=0] -22029793280*x1631[=0] -24819182592*x1632[=0] -10507538304*x1633[=0] -12322854912*x1634[=0] -14138171520*x1635[=0] -15953488128*x1636[=0] -17768804736*x1637[=0] -19584121344*x1638[=0] -21399437952*x1639[=0] -23214754560*x1640[=0] -20167636608*x1641[=0] -23515789824*x1642[=0] -26863943040*x1643[=0] -30212096256*x1644[=0] -33560249472*x1645[=0] -36908402688*x1646[=0] -12789569280*x1647[=0] -15025507840*x1648[=0] -17261446400*x1649[=0] -19497384960*x1650[=0] -21733323520*x1651[=0] -23969262080*x1652[=0] -26205200640*x1653[=0] -28441139200*x1654[=0] -24731698560*x1655[=0] -28921095680*x1656[=0] -33110492800*x1657[=0] -37299889920*x1658[=0] -41489287040*x1659[=0] -45678684160*x1660[=0] -16782074112*x1661[=0] -19603342336*x1662[=0] -22424610560*x1663[=0] -25245878784*x1664[=0] -28067147008*x1665[=0] -30888415232*x1666[=0] -33709683456*x1667[=0] -36530951680*x1668[=0] -39352219904*x1669[=0] -42173488128*x1670[=0] -32716708224*x1671[=0] -38076764672*x1672[=0] -43436821120*x1673[=0] -48796877568*x1674[=0] -54156934016*x1675[=0] -59516990464*x1676[=0] -64877046912*x1677[=0] -70237103360*x1678[=0] -13617217920*x1679[=0] -15932853760*x1680[=0] -18248489600*x1681[=0] -20564125440*x1682[=0] -22879761280*x1683[=0] -25195397120*x1684[=0] -27511032960*x1685[=0] -29826668800*x1686[=0] -26386995840*x1687[=0] -30735787520*x1688[=0] -35084579200*x1689[=0] -39433370880*x1690[=0] -43782162560*x1691[=0] -48130954240*x1692[=0] -17278663296*x1693[=0] -20147749888*x1694[=0] -23016836480*x1695[=0] -25885923072*x1696[=0] -28755009664*x1697[=0] -31624096256*x1698[=0] -34493182848*x1699[=0] -37362269440*x1700[=0] -34557326592*x1701[=0] -40295499776*x1702[=0] -46033672960*x1703[=0] -51771846144*x1704[=0] -57510019328*x1705[=0] -63248192512*x1706[=0] -7342682112*x1707[=0] -8652366336*x1708[=0] -9962050560*x1709[=0] -11271734784*x1710[=0] -12581419008*x1711[=0] -13891103232*x1712[=0] -15200787456*x1713[=0] -16510471680*x1714[=0] -13837924224*x1715[=0] -16174812672*x1716[=0] -18511701120*x1717[=0] -20848589568*x1718[=0] -23185478016*x1719[=0] -25522366464*x1720[=0] -8722096512*x1721[=0] -10164609536*x1722[=0] -11607122560*x1723[=0] -13049635584*x1724[=0] -14492148608*x1725[=0] -15934661632*x1726[=0] -17377174656*x1727[=0] -17444193024*x1728[=0] -20329219072*x1729[=0] -23214245120*x1730[=0] -26099271168*x1731[=0] -28984297216*x1732[=0] -6956446080*x1733[=0] -8228938240*x1734[=0] -9501430400*x1735[=0] -10773922560*x1736[=0] -12046414720*x1737[=0] -13065452160*x1738[=0] -15327956480*x1739[=0] -17590460800*x1740[=0] -19852965120*x1741[=0] -17554546176*x1898[=0] -20450198528*x1899[=0] -23345850880*x1900[=0] -26241503232*x1901[=0] -29137155584*x1902[=0] -32032807936*x1903[=0] -34928460288*x1904[=0] -37824112640*x1905[=0] -40719764992*x1906[=0] -43615417344*x1907[=0] -35109092352*x1908[=0] -40900397056*x1909[=0] -46691701760*x1910[=0] -52483006464*x1911[=0] -58274311168*x1912[=0] -64065615872*x1913[=0] -69856920576*x1914[=0] -16671720960*x2277[=0] -19482362880*x2278[=0] -22293004800*x2279[=0] -25103646720*x2280[=0] -27914288640*x2281[=0] -30724930560*x2282[=0] -33535572480*x2283[=0] -36346214400*x2284[=0] -39156856320*x2285[=0] -41967498240*x2286[=0] -32496001920*x2287[=0] -37834805760*x2288[=0] -43173609600*x2289[=0] -48512413440*x2290[=0] -53851217280*x2291[=0] -59190021120*x2292[=0] -64528824960*x2293[=0] -19339987968*x2432[=0] -22608443904*x2433[=0] -25876899840*x2434[=0] -29145355776*x2435[=0] -32413811712*x2436[=0] -35682267648*x2437[=0] -38950723584*x2438[=0] -42219179520*x2439[=0] -45487635456*x2440[=0] -48756091392*x2441[=0] -37832535936*x2442[=0] -44086967808*x2443[=0] -50341399680*x2444[=0] -56595831552*x2445[=0] -62850263424*x2446[=0] -69104695296*x2447[=0] -75359127168*x2448[=0] -17609722752*x2794[=0] -20510688256*x2795[=0] -23411653760*x2796[=0] -26312619264*x2797[=0] -29213584768*x2798[=0] -32114550272*x2799[=0] -35015515776*x2800[=0] -37916481280*x2801[=0] -40817446784*x2802[=0] -43718412288*x2803[=0] -35219445504*x2804[=0] -41021376512*x2805[=0] -46823307520*x2806[=0] -52625238528*x2807[=0] -58427169536*x2808[=0] -64229100544*x2809[=0] -70031031552*x2810[=0] -17278663296*x2994[=0] -20147749888*x2995[=0] -23016836480*x2996[=0] -25885923072*x2997[=0] -28755009664*x2998[=0] -31624096256*x2999[=0] -34493182848*x3000[=0] -37362269440*x3001[=0] -40231356032*x3002[=0] -43100442624*x3003[=0] -34557326592*x3004[=0] -40295499776*x3005[=0] -46033672960*x3006[=0] -51771846144*x3007[=0] -57510019328*x3008[=0] -63248192512*x3009[=0] -68986365696*x3010[=0] -74724538880*x3011[=0] -15106985472*x3100[=0] -17566076416*x3101[=0] -20025167360*x3102[=0] -22484258304*x3103[=0] -24943349248*x3104[=0] -27402440192*x3105[=0] -29861531136*x3106[=0] -32320622080*x3107[=0] -30213970944*x3108[=0] -35132152832*x3109[=0] -40050334720*x3110[=0] -44968516608*x3111[=0] -49886698496*x3112[=0] -54804880384*x3113[=0] -19836577152*x3290[=0] -23152851456*x3291[=0] -26469125760*x3292[=0] -29785400064*x3293[=0] -33101674368*x3294[=0] -36417948672*x3295[=0] -39734222976*x3296[=0] -43050497280*x3297[=0] -38825714304*x3298[=0] -45175782912*x3299[=0] -51525851520*x3300[=0] -57875920128*x3301[=0] -64225988736*x3302[=0] -70576057344*x3303[=0] -17664899328*x3417[=0] -20571177984*x3418[=0] -23477456640*x3419[=0] -26383735296*x3420[=0] -29290013952*x3421[=0] -32196292608*x3422[=0] -35102571264*x3423[=0] -38008849920*x3424[=0] -35329798656*x3425[=0] -41142355968*x3426[=0] -46954913280*x3427[=0] -52767470592*x3428[=0] -58580027904*x3429[=0] -64392585216*x3430[=0] -14224160256*x3431[=0] -16598240768*x3432[=0] -18972321280*x3433[=0] -21346401792*x3434[=0] -23720482304*x3435[=0] -26094562816*x3436[=0] -28468643328*x3437[=0] -30842723840*x3438[=0] -27600880512*x3439[=0] -32066561536*x3440[=0] -36532242560*x3441[=0] -40997923584*x3442[=0] -45463604608*x3443[=0] -49929285632*x3444[=0] -14334513408*x3593[=0] -16719220224*x3594[=0] -19103927040*x3595[=0] -21488633856*x3596[=0] -23873340672*x3597[=0] -26258047488*x3598[=0] -28642754304*x3599[=0] -31027461120*x3600[=0] -28669026816*x3601[=0] -33438440448*x3602[=0] -38207854080*x3603[=0] -42977267712*x3604[=0] -47746681344*x3605[=0] -52516094976*x3606[=0] -10893774336*x3607[=0] -12746283008*x3608[=0] -14598791680*x3609[=0] -16451300352*x3610[=0] -18303809024*x3611[=0] -20156317696*x3612[=0] -22008826368*x3613[=0] -23861335040*x3614[=0] -21787548672*x3615[=0] -25492566016*x3616[=0] -29197583360*x3617[=0] -32902600704*x3618[=0] -36607618048*x3619[=0] -40312635392*x3620[=0] -15051808896*x3646[=0] -17505586688*x3647[=0] -19959364480*x3648[=0] -22413142272*x3649[=0] -24866920064*x3650[=0] -30103617792*x3651[=0] -35011173376*x3652[=0] -39918728960*x3653[=0] -44826284544*x3654[=0] -10010949120*x3817[=0] -11778447360*x3818[=0] -13545945600*x3819[=0] -15313443840*x3820[=0] -17080942080*x3821[=0] -19174458240*x3822[=0] -22426974720*x3823[=0] -25679491200*x3824[=0] -28932007680*x3825[=0] -6570210048*x3826[=0] -7805510144*x3827[=0] -9040810240*x3828[=0] -10276110336*x3829[=0] -11511410432*x3830[=0] -12292980096*x3831[=0] -14481100288*x3832[=0] -16669220480*x3833[=0] -18857340672*x3834[=0] -17223486720*x4048[=0] -20087260160*x4049[=0] -22951033600*x4050[=0] -25814807040*x4051[=0] -28678580480*x4052[=0] -31542353920*x4053[=0] -34406127360*x4054[=0] -37269900800*x4055[=0] -40133674240*x4056[=0] -42997447680*x4057[=0] -34446973440*x4058[=0] -40174520320*x4059[=0] -45902067200*x4060[=0] -51629614080*x4061[=0] -57357160960*x4062[=0] -63084707840*x4063[=0] -68812254720*x4064[=0] -74539801600*x4065[=0] -14279336832*x4066[=0] -16658730496*x4067[=0] -19038124160*x4068[=0] -21417517824*x4069[=0] -23796911488*x4070[=0] -26176305152*x4071[=0] -28555698816*x4072[=0] -30935092480*x4073[=0] -28558673664*x4074[=0] -33317460992*x4075[=0] -38076248320*x4076[=0] -42835035648*x4077[=0] -47593822976*x4078[=0] -52352610304*x4079[=0] -18161488512*x4243[=0] -21115585536*x4244[=0] -24069682560*x4245[=0] -27023779584*x4246[=0] -29977876608*x4247[=0] -32931973632*x4248[=0] -35886070656*x4249[=0] -38840167680*x4250[=0] -36322977024*x4251[=0] -42231171072*x4252[=0] -48139365120*x4253[=0] -54047559168*x4254[=0] -59955753216*x4255[=0] -65863947264*x4256[=0] -16837250688*x4364[=0] -19663832064*x4365[=0] -22490413440*x4366[=0] -25316994816*x4367[=0] -28143576192*x4368[=0] -30970157568*x4369[=0] -33796738944*x4370[=0] -36623320320*x4371[=0] -32827061376*x4372[=0] -38197744128*x4373[=0] -43568426880*x4374[=0] -48939109632*x4375[=0] -54309792384*x4376[=0] -59680475136*x4377[=0] -13396511616*x4378[=0] -15690894848*x4379[=0] -17985278080*x4380[=0] -20279661312*x4381[=0] -22574044544*x4382[=0] -24868427776*x4383[=0] -27162811008*x4384[=0] -29457194240*x4385[=0] -25945583232*x4386[=0] -30251869696*x4387[=0] -34558156160*x4388[=0] -38864442624*x4389[=0] -43170729088*x4390[=0] -47477015552*x4391[=0] -11169657216*x4392[=0] -13048731648*x4393[=0] -14927806080*x4394[=0] -16806880512*x4395[=0] -18685954944*x4396[=0] -20565029376*x4397[=0] -22339314432*x4398[=0] -26097463296*x4399[=0] -29855612160*x4400[=0] -33613761024*x4401[=0] -37371909888*x4402[=0] -19229634816*x4411[=0] -22487464448*x4412[=0] -25745294080*x4413[=0] -29003123712*x4414[=0] -32260953344*x4415[=0] -35518782976*x4416[=0] -38776612608*x4417[=0] -42034442240*x4418[=0] -45292271872*x4419[=0] -48550101504*x4420[=0] -37611829632*x4421[=0] -43845008896*x4422[=0] -50078188160*x4423[=0] -56311367424*x4424[=0] -62544546688*x4425[=0] -68777725952*x4426[=0] -75010905216*x4427[=0] -81244084480*x4428[=0] -9404006784*x4429[=0] -11113060352*x4430[=0] -12822113920*x4431[=0] -14531167488*x4432[=0] -16240221056*x4433[=0] -17949274624*x4434[=0] -17960573568*x4435[=0] -21096200704*x4436[=0] -24231827840*x4437[=0] -27367454976*x4438[=0] -30503082112*x4439[=0] -19781400576*x4440[=0] -23092361728*x4441[=0] -26403322880*x4442[=0] -29714284032*x4443[=0] -33025245184*x4444[=0] -36336206336*x4445[=0] -39647167488*x4446[=0] -42958128640*x4447[=0] -46269089792*x4448[=0] -49580050944*x4449[=0] -38715361152*x4450[=0] -45054803456*x4451[=0] -51394245760*x4452[=0] -57733688064*x4453[=0] -64073130368*x4454[=0] -70412572672*x4455[=0] -76752014976*x4456[=0] -6128797440*x4457[=0] -7321592320*x4458[=0] -8514387200*x4459[=0] -9707182080*x4460[=0] -10899976960*x4461[=0] -11410154880*x4462[=0] -13513264640*x4463[=0] -15616374400*x4464[=0] -17719484160*x4465[=1] -13893100800*x4466[=0] -16235302400*x4467[=0] -18577504000*x4468[=0] -20919705600*x4469[=0] -23261907200*x4470[=0] -25604108800*x4471[=0] -27946310400*x4472[=0] -30288512000*x4473[=0] -27786201600*x4474[=0] -32470604800*x4475[=0] -37155008000*x4476[=0] -41839411200*x4477[=0] -46523814400*x4478[=0] -51208217600*x4479[=0] -16175131776*x4480[=0] -18937955328*x4481[=0] -21700778880*x4482[=0] -24463602432*x4483[=0] -27226425984*x4484[=0] -29989249536*x4485[=0] -32752073088*x4486[=0] -35514896640*x4487[=0] -31502823552*x4488[=0] -36745990656*x4489[=0] -41989157760*x4490[=0] -47232324864*x4491[=0] -52475491968*x4492[=0] -57718659072*x4493[=0] -12955099008*x4494[=0] -15206977024*x4495[=0] -17458855040*x4496[=0] -19710733056*x4497[=0] -21962611072*x4498[=0] -24214489088*x4499[=0] -26466367104*x4500[=0] -25062758016*x4501[=0] -29284034048*x4502[=0] -33505310080*x4503[=0] -37726586112*x4504[=0] -41947862144*x4505[=0] -10342008576*x4506[=0] -12141385728*x4507[=0] -13940762880*x4508[=0] -15740140032*x4509[=0] -17539517184*x4510[=0] -19836577152*x4511[=0] -23152851456*x4512[=0] -26469125760*x4513[=0] -29785400064*x4514[=0] -19615870848*x4523[=0] -22910892544*x4524[=0] -26205914240*x4525[=0] -29500935936*x4526[=0] -32795957632*x4527[=0] -36090979328*x4528[=0] -38384301696*x4529[=0] -44691865088*x4530[=0] -50999428480*x4531[=0] -57306991872*x4532[=0] -63614555264*x4533[=0] -15051808896*x4706[=0] -17505586688*x4707[=0] -19959364480*x4708[=0] -22413142272*x4709[=0] -24866920064*x4710[=0] -27320697856*x4711[=0] -30103617792*x4712[=0] -35011173376*x4713[=0] -39918728960*x4714[=0] -44826284544*x4715[=0] -49733840128*x4716[=0] -13727571072*x4783[=0] -16053833216*x4784[=0] -18380095360*x4785[=0] -20706357504*x4786[=0] -23032619648*x4787[=0] -25358881792*x4788[=0] -26607702144*x4789[=0] -30977746432*x4790[=0] -35347790720*x4791[=0] -39717835008*x4792[=0] -44087879296*x4793[=0] -10286832000*x4794[=0] -12080896000*x4795[=0] -13874960000*x4796[=0] -15669024000*x4797[=0] -17463088000*x4798[=0] -19257152000*x4799[=0] -19726224000*x4800[=0] -23031872000*x4801[=0] -26337520000*x4802[=0] -29643168000*x4803[=0] -32948816000*x4804[=0] -18216665088*x4805[=0] -21176075264*x4806[=0] -24135485440*x4807[=0] -27094895616*x4808[=0] -30054305792*x4809[=0] -33013715968*x4810[=0] -36433330176*x4811[=0] -42352150528*x4812[=0] -48270970880*x4813[=0] -54189791232*x4814[=0] -60108611584*x4815[=0] -17002780416*x4816[=0] -19845301248*x4817[=0] -22687822080*x4818[=0] -25530342912*x4819[=0] -28372863744*x4820[=0] -31215384576*x4821[=0] -33158120832*x4822[=0] -38560682496*x4823[=0] -43963244160*x4824[=0] -49365805824*x4825[=0] -54768367488*x4826[=0] -13727571072*x4827[=0] -16053833216*x4828[=0] -18380095360*x4829[=0] -20706357504*x4830[=0] -23032619648*x4831[=0] -26607702144*x4832[=0] -30977746432*x4833[=0] -35347790720*x4834[=0] -39717835008*x4835[=0] -19174458240*x4842[=0] -22426974720*x4843[=0] -25679491200*x4844[=0] -28932007680*x4845[=0] -32184524160*x4846[=0] -35437040640*x4847[=0] -38689557120*x4848[=0] -41942073600*x4849[=0] -37501476480*x4850[=0] -43724029440*x4851[=0] -49946582400*x4852[=0] -56169135360*x4853[=0] -62391688320*x4854[=0] -68614241280*x4855[=0] -17940782208*x4856[=0] -20873626624*x4857[=0] -23806471040*x4858[=0] -26739315456*x4859[=0] -29672159872*x4860[=0] -35881564416*x4861[=0] -41747253248*x4862[=0] -47612942080*x4863[=0] -53478630912*x4864[=0] -13175805312*x5055[=0] -15448935936*x5056[=0] -17722066560*x5057[=0] -19995197184*x5058[=0] -22268327808*x5059[=0] -24541458432*x5060[=0] -25504170624*x5061[=0] -29767951872*x5062[=0] -34031733120*x5063[=0] -38295514368*x5064[=0] -42559295616*x5065[=0] -9735066240*x5066[=0] -11475998720*x5067[=0] -13216931200*x5068[=0] -14957863680*x5069[=0] -16698796160*x5070[=0] -18439728640*x5071[=0] -18622692480*x5072[=0] -21822077440*x5073[=0] -25021462400*x5074[=0] -28220847360*x5075[=0] -31420232320*x5076[=0] -16561367808*x5237[=0] -19361383424*x5238[=0] -22161399040*x5239[=0] -24961414656*x5240[=0] -27761430272*x5241[=0] -30561445888*x5242[=0] -33361461504*x5243[=0] -36161477120*x5244[=0] -32275295616*x5245[=0] -37592846848*x5246[=0] -42910398080*x5247[=0] -48227949312*x5248[=0] -53545500544*x5249[=0] -58863051776*x5250[=0] -18492547968*x5251[=0] -21478523904*x5252[=0] -24464499840*x5253[=0] -27450475776*x5254[=0] -30436451712*x5255[=0] -33422427648*x5256[=0] -36408403584*x5257[=0] -39394379520*x5258[=0] -36985095936*x5259[=0] -42957047808*x5260[=0] -48928999680*x5261[=0] -54900951552*x5262[=0] -60872903424*x5263[=0] -66844855296*x5264[=0] -18437371392*x5414[=0] -21418034176*x5415[=0] -24398696960*x5416[=0] -27379359744*x5417[=0] -30360022528*x5418[=0] -33340685312*x5419[=0] -36321348096*x5420[=0] -39302010880*x5421[=0] -36874742784*x5422[=0] -42836068352*x5423[=0] -48797393920*x5424[=0] -54758719488*x5425[=0] -60720045056*x5426[=0] -66681370624*x5427[=0] -17940782208*x5704[=0] -20873626624*x5705[=0] -23806471040*x5706[=0] -26739315456*x5707[=0] -29672159872*x5708[=0] -32605004288*x5709[=0] -35537848704*x5710[=0] -38470693120*x5711[=0] -41403537536*x5712[=0] -44336381952*x5713[=0] -35881564416*x5714[=0] -41747253248*x5715[=0] -47612942080*x5716[=0] -53478630912*x5717[=0] -59344319744*x5718[=0] -65210008576*x5719[=0] -71075697408*x5720[=0] -76941386240*x5721[=0] -17499369600*x5990[=0] -20389708800*x5991[=0] -23280048000*x5992[=0] -26170387200*x5993[=0] -29060726400*x5994[=0] -31951065600*x5995[=0] -34841404800*x5996[=0] -37731744000*x5997[=0] -40622083200*x5998[=0] -43512422400*x5999[=0] -34998739200*x6000[=0] -40779417600*x6001[=0] -46560096000*x6002[=0] -52340774400*x6003[=0] -58121452800*x6004[=0] -63902131200*x6005[=0] -69682809600*x6006[=0] -75463488000*x6007[=0] -13286158464*x6087[=0] -15569915392*x6088[=0] -17853672320*x6089[=0] -20137429248*x6090[=0] -22421186176*x6091[=0] -24704943104*x6092[=0] -25724876928*x6093[=0] -30009910784*x6094[=0] -34294944640*x6095[=0] -38579978496*x6096[=0] -42865012352*x6097[=0] -11114480640*x6206[=0] -12988241920*x6207[=0] -14862003200*x6208[=0] -16735764480*x6209[=0] -18609525760*x6210[=0] -20483287040*x6211[=0] -22228961280*x6212[=0] -25976483840*x6213[=0] -29724006400*x6214[=0] -33471528960*x6215[=0] -37219051520*x6216[=0] -7673741568*x6217[=0] -9015304704*x6218[=0] -10356867840*x6219[=0] -11698430976*x6220[=0] -13039994112*x6221[=0] -14381557248*x6222[=0] -15347483136*x6223[=0] -18030609408*x6224[=0] -20713735680*x6225[=0] -23396861952*x6226[=0] -26079988224*x6227[=0] -16726897536*x6313[=0] -19542852608*x6314[=0] -22358807680*x6315[=0] -25174762752*x6316[=0] -27990717824*x6317[=0] -30806672896*x6318[=0] -33622627968*x6319[=0] -36438583040*x6320[=0] -39254538112*x6321[=0] -42070493184*x6322[=0] -32606355072*x6323[=0] -37955785216*x6324[=0] -43305215360*x6325[=0] -48654645504*x6326[=0] -54004075648*x6327[=0] -59353505792*x6328[=0] -64702935936*x6329[=0] -17609722752*x6431[=0] -20510688256*x6432[=0] -23411653760*x6433[=0] -26312619264*x6434[=0] -29213584768*x6435[=0] -32114550272*x6436[=0] -35015515776*x6437[=0] -37916481280*x6438[=0] -35219445504*x6439[=0] -41021376512*x6440[=0] -46823307520*x6441[=0] -52625238528*x6442[=0] -58427169536*x6443[=0] -64229100544*x6444[=0] -17444193024*x6445[=0] -20329219072*x6446[=0] -23214245120*x6447[=0] -26099271168*x6448[=0] -28984297216*x6449[=0] -31869323264*x6450[=0] -34754349312*x6451[=0] -37639375360*x6452[=0] -34888386048*x6453[=0] -40658438144*x6454[=0] -46428490240*x6455[=0] -52198542336*x6456[=0] -57968594432*x6457[=0] -63738646528*x6458[=0] -18051135360*x6631[=0] -20994606080*x6632[=0] -23938076800*x6633[=0] -26881547520*x6634[=0] -29825018240*x6635[=0] -32768488960*x6636[=0] -35711959680*x6637[=0] -38655430400*x6638[=0] -41598901120*x6639[=0] -44542371840*x6640[=0] -36102270720*x6641[=0] -41989212160*x6642[=0] -47876153600*x6643[=0] -53763095040*x6644[=0] -59650036480*x6645[=0] -65536977920*x6646[=0] -71423919360*x6647[=0] -10010949120*x6648[=0] -11778447360*x6649[=0] -13545945600*x6650[=0] -15313443840*x6651[=0] -17080942080*x6652[=0] -19174458240*x6653[=0] -22426974720*x6654[=0] -25679491200*x6655[=0] -28932007680*x6656[=0] -7839271296*x6769[=0] -9196773888*x6770[=0] -10554276480*x6771[=0] -11911779072*x6772[=0] -13269281664*x6773[=0] -15678542592*x6774[=0] -18393547776*x6775[=0] -21108552960*x6776[=0] -23823558144*x6777[=0] -4398532224*x6778[=0] -5223836672*x6779[=0] -6049141120*x6780[=0] -6874445568*x6781[=0] -7699750016*x6782[=0] -8797064448*x6783[=0] -10447673344*x6784[=0] -12098282240*x6785[=0] -13748891136*x6786[=0] -17775252480*x6787[=0] -20692157440*x6788[=0] -23609062400*x6789[=0] -26525967360*x6790[=0] -29442872320*x6791[=0] -32359777280*x6792[=0] -35276682240*x6793[=0] -38193587200*x6794[=0] -35550504960*x6795[=0] -41384314880*x6796[=0] -47218124800*x6797[=0] -53051934720*x6798[=0] -58885744640*x6799[=0] -64719554560*x6800[=0] -16837250688*x6801[=0] -19663832064*x6802[=0] -22490413440*x6803[=0] -25316994816*x6804[=0] -28143576192*x6805[=0] -30970157568*x6806[=0] -33796738944*x6807[=0] -32827061376*x6808[=0] -38197744128*x6809[=0] -43568426880*x6810[=0] -48939109632*x6811[=0] -54309792384*x6812[=0] -14224160256*x6813[=0] -16598240768*x6814[=0] -18972321280*x6815[=0] -21346401792*x6816[=0] -23720482304*x6817[=0] -28448320512*x6818[=0] -33196481536*x6819[=0] -37944642560*x6820[=0] -42692803584*x6821[=0] -14168983680*x6877[=0] -16537751040*x6878[=0] -18906518400*x6879[=0] -21275285760*x6880[=0] -23644053120*x6881[=0] -28337967360*x6882[=0] -33075502080*x6883[=0] -37813036800*x6884[=0] -42550571520*x6885[=0] -10728244608*x6886[=0] -12564813824*x6887[=0] -14401383040*x6888[=0] -16237952256*x6889[=0] -18074521472*x6890[=0] -21456489216*x6891[=0] -25129627648*x6892[=0] -28802766080*x6893[=0] -32475904512*x6894[=0] -16451014656*x6951[=0] -19240403968*x6952[=0] -22029793280*x6953[=0] -24819182592*x6954[=0] -27608571904*x6955[=0] -30397961216*x6956[=0] -33187350528*x6957[=0] -35976739840*x6958[=0] -32054589312*x6959[=0] -37350887936*x6960[=0] -42647186560*x6961[=0] -47943485184*x6962[=0] -53239783808*x6963[=0] -58536082432*x6964[=0] -13010275584*x6965[=0] -15267466752*x6966[=0] -17524657920*x6967[=0] -19781849088*x6968[=0] -22039040256*x6969[=0] -24296231424*x6970[=0] -26553422592*x6971[=0] -28810613760*x6972[=0] -25173111168*x6973[=0] -29405013504*x6974[=0] -33636915840*x6975[=0] -37868818176*x6976[=0] -42100720512*x6977[=0] -46332622848*x6978[=0] -17885605632*x7063[=0] -20813136896*x7064[=0] -23740668160*x7065[=0] -26668199424*x7066[=0] -29595730688*x7067[=0] -32523261952*x7068[=0] -35450793216*x7069[=0] -38378324480*x7070[=0] -35771211264*x7071[=0] -41626273792*x7072[=0] -47481336320*x7073[=0] -53336398848*x7074[=0] -59191461376*x7075[=0] -65046523904*x7076[=0] -14444866560*x7077[=0] -16840199680*x7078[=0] -19235532800*x7079[=0] -21630865920*x7080[=0] -24026199040*x7081[=0] -26421532160*x7082[=0] -28816865280*x7083[=0] -31212198400*x7084[=0] -28889733120*x7085[=0] -33680399360*x7086[=0] -38471065600*x7087[=0] -43261731840*x7088[=0] -48052398080*x7089[=0] -52843064320*x7090[=0] -19284811392*x7109[=0] -22547954176*x7110[=0] -25811096960*x7111[=0] -29074239744*x7112[=0] -32337382528*x7113[=0] -35600525312*x7114[=0] -38863668096*x7115[=0] -42126810880*x7116[=0] -45389953664*x7117[=0] -48653096448*x7118[=0] -37722182784*x7119[=0] -43965988352*x7120[=0] -50209793920*x7121[=0] -56453599488*x7122[=0] -62697405056*x7123[=0] -68941210624*x7124[=0] -75185016192*x7125[=0] -81428821760*x7126[=0] -16119955200*x7155[=0] -18877465600*x7156[=0] -21634976000*x7157[=0] -24392486400*x7158[=0] -27149996800*x7159[=0] -29907507200*x7160[=0] -32665017600*x7161[=0] -35422528000*x7162[=0] -31392470400*x7163[=0] -36625011200*x7164[=0] -41857552000*x7165[=0] -47090092800*x7166[=0] -52322633600*x7167[=0] -57555174400*x7168[=0] -13286158464*x7197[=0] -15569915392*x7198[=0] -17853672320*x7199[=0] -20137429248*x7200[=0] -22421186176*x7201[=0] -24704943104*x7202[=0] -26988700032*x7203[=0] -29272456960*x7204[=0] -25724876928*x7205[=0] -30009910784*x7206[=0] -34294944640*x7207[=0] -38579978496*x7208[=0] -42865012352*x7209[=0] -47150046208*x7210[=0] -9845419392*x7211[=0] -11596978176*x7212[=0] -13348536960*x7213[=0] -15100095744*x7214[=0] -16851654528*x7215[=0] -18603213312*x7216[=0] -20354772096*x7217[=0] -22106330880*x7218[=0] -18843398784*x7219[=0] -22064036352*x7220[=0] -25284673920*x7221[=0] -28505311488*x7222[=0] -31725949056*x7223[=0] -34946586624*x7224[=0] -14665572864*x7237[=0] -17082158592*x7238[=0] -19498744320*x7239[=0] -21915330048*x7240[=0] -24331915776*x7241[=0] -26748501504*x7242[=0] -29165087232*x7243[=0] -29331145728*x7244[=0] -34164317184*x7245[=0] -38997488640*x7246[=0] -43830660096*x7247[=0] -48663831552*x7248[=0] -11224833792*x7249[=0] -13109221376*x7250[=0] -14993608960*x7251[=0] -16877996544*x7252[=0] -18762384128*x7253[=0] -20646771712*x7254[=0] -22531159296*x7255[=0] -22449667584*x7256[=0] -26218442752*x7257[=0] -29987217920*x7258[=0] -33755993088*x7259[=0] -37524768256*x7260[=0] -12899922432*x7261[=0] -15146487296*x7262[=0] -17393052160*x7263[=0] -19639617024*x7264[=0] -21886181888*x7265[=0] -24952404864*x7266[=0] -29163054592*x7267[=0] -33373704320*x7268[=0] -37584354048*x7269[=0] -8611743360*x7270[=0] -10043630080*x7271[=0] -11475516800*x7272[=0] -12907403520*x7273[=0] -14339290240*x7274[=0] -17223486720*x7275[=0] -20087260160*x7276[=0] -22951033600*x7277[=0] -25814807040*x7278[=0] -4233002496*x1392[=0] -5042367488*x1393[=0] -5851732480*x1394[=0] -6661097472*x1395[=0] -7470462464*x1396[=0] -8466004992*x1397[=0] -10084734976*x1398[=0] -11703464960*x1399[=0] -13322194944*x1400[=0] -12679216128*x1412[=0] -14904528384*x1413[=0] -17129840640*x1414[=0] -19355152896*x1415[=0] -21580465152*x1416[=0] -24510992256*x1417[=0] -28679136768*x1418[=0] -32847281280*x1419[=0] -37015425792*x1420[=0] -8115154176*x1615[=0] -9499222528*x1616[=0] -10883290880*x1617[=0] -12267359232*x1618[=0] -13651427584*x1619[=0] -16230308352*x1620[=0] -18998445056*x1621[=0] -21766581760*x1622[=0] -24534718464*x1623[=0] -6790916352*x1742[=0] -8047469056*x1743[=0] -9304021760*x1744[=0] -10560574464*x1745[=0] -11817127168*x1746[=0] -12734392704*x1747[=0] -14965018112*x1748[=0] -17195643520*x1749[=0] -19426268928*x1750[=0] -3350177280*x1751[=0] -4074531840*x1752[=0] -4798886400*x1753[=0] -5523240960*x1754[=0] -6247595520*x1755[=0] -5852914560*x1756[=0] -7019143680*x1757[=0] -8185372800*x1758[=0] -9351601920*x1759[=0] -7728918144*x2908[=0] -9075794432*x2909[=0] -10422670720*x2910[=0] -11769547008*x2911[=0] -13116423296*x2912[=0] -14463299584*x2913[=0] -15810175872*x2914[=0] -17157052160*x2915[=0] -18503928448*x2916[=0] -19850804736*x2917[=0] -15457836288*x2918[=0] -18151588864*x2919[=0] -20845341440*x2920[=0] -23539094016*x2921[=0] -26232846592*x2922[=0] -28926599168*x2923[=0] -31620351744*x2924[=0] -34314104320*x2925[=0] -4674415104*x3259[=0] -5526285312*x3260[=0] -6378155520*x3261[=0] -7230025728*x3262[=0] -8081895936*x3263[=0] -8933766144*x3264[=0] -9785636352*x3265[=0] -10637506560*x3266[=0] -11489376768*x3267[=0] -12341246976*x3268[=0] -9348830208*x3269[=0] -11052570624*x3270[=0] -12756311040*x3271[=0] -14460051456*x3272[=0] -16163791872*x3273[=0] -17867532288*x3274[=0] -19571272704*x3275[=0] -14444866560*x3497[=0] -16840199680*x3498[=0] -19235532800*x3499[=0] -21630865920*x3500[=0] -24026199040*x3501[=0] -26421532160*x3502[=0] -28816865280*x3503[=0] -31212198400*x3504[=0] -33607531520*x3505[=0] -36002864640*x3506[=0] -28889733120*x3507[=0] -33680399360*x3508[=0] -38471065600*x3509[=0] -43261731840*x3510[=0] -48052398080*x3511[=0] -52843064320*x3512[=0] -57633730560*x3513[=0] -14610396288*x3514[=0] -17021668864*x3515[=0] -19432941440*x3516[=0] -21844214016*x3517[=0] -24255486592*x3518[=0] -26666759168*x3519[=0] -29078031744*x3520[=0] -31489304320*x3521[=0] -33900576896*x3522[=0] -36311849472*x3523[=0] -29220792576*x3524[=0] -34043337728*x3525[=0] -38865882880*x3526[=0] -43688428032*x3527[=0] -48510973184*x3528[=0] -53333518336*x3529[=0] -58156063488*x3530[=0] -16671720960*x3748[=0] -19482362880*x3749[=0] -22293004800*x3750[=0] -25103646720*x3751[=0] -27914288640*x3752[=0] -30724930560*x3753[=0] -33535572480*x3754[=0] -36346214400*x3755[=0] -39156856320*x3756[=0] -41967498240*x3757[=0] -32496001920*x3758[=0] -37834805760*x3759[=0] -43173609600*x3760[=0] -48512413440*x3761[=0] -53851217280*x3762[=0] -59190021120*x3763[=0] -64528824960*x3764[=0] -7673741568*x3948[=0] -9015304704*x3949[=0] -10356867840*x3950[=0] -11698430976*x3951[=0] -13039994112*x3952[=0] -14381557248*x3953[=0] -15723120384*x3954[=0] -17064683520*x3955[=0] -18406246656*x3956[=0] -19747809792*x3957[=0] -15347483136*x3958[=0] -18030609408*x3959[=0] -20713735680*x3960[=0] -23396861952*x3961[=0] -26079988224*x3962[=0] -28763114496*x3963[=0] -31446240768*x3964[=0] -34129367040*x3965[=0] -12955099008*x4195[=0] -15206977024*x4196[=0] -17458855040*x4197[=0] -19710733056*x4198[=0] -21962611072*x4199[=0] -24214489088*x4200[=0] -26466367104*x4201[=0] -28718245120*x4202[=0] -30970123136*x4203[=0] -33222001152*x4204[=0] -25062758016*x4205[=0] -29284034048*x4206[=0] -33505310080*x4207[=0] -37726586112*x4208[=0] -41947862144*x4209[=0] -46169138176*x4210[=0] -50390414208*x4211[=0] -16947603840*x4212[=0] -19784811520*x4213[=0] -22622019200*x4214[=0] -25459226880*x4215[=0] -28296434560*x4216[=0] -31133642240*x4217[=0] -33970849920*x4218[=0] -36808057600*x4219[=0] -39645265280*x4220[=0] -42482472960*x4221[=0] -33047767680*x4222[=0] -38439703040*x4223[=0] -43831638400*x4224[=0] -49223573760*x4225[=0] -54615509120*x4226[=0] -60007444480*x4227[=0] -65399379840*x4228[=0] -13837924224*x4678[=0] -16174812672*x4679[=0] -18511701120*x4680[=0] -20848589568*x4681[=0] -23185478016*x4682[=0] -25522366464*x4683[=0] -27859254912*x4684[=0] -30196143360*x4685[=0] -32533031808*x4686[=0] -34869920256*x4687[=0] -26828408448*x4688[=0] -31219705344*x4689[=0] -35611002240*x4690[=0] -40002299136*x4691[=0] -44393596032*x4692[=0] -48784892928*x4693[=0] -53176189824*x4694[=0] -10010949120*x4962[=0] -11778447360*x4963[=0] -13545945600*x4964[=0] -15313443840*x4965[=0] -17080942080*x4966[=0] -18848440320*x4967[=0] -20615938560*x4968[=0] -22383436800*x4969[=0] -24150935040*x4970[=0] -25918433280*x4971[=0] -19174458240*x4972[=1] -22426974720*x4973[=0] -25679491200*x4974[=0] -28932007680*x4975[=0] -32184524160*x4976[=0] -35437040640*x4977[=0] -38689557120*x4978[=0] -9790242816*x5139[=0] -11536488448*x5140[=0] -13282734080*x5141[=0] -15028979712*x5142[=0] -16775225344*x5143[=0] -18521470976*x5144[=0] -20267716608*x5145[=0] -22013962240*x5146[=0] -23760207872*x5147[=0] -25506453504*x5148[=0] -18733045632*x5149[=0] -21943056896*x5150[=0] -25153068160*x5151[=0] -28363079424*x5152[=0] -31573090688*x5153[=0] -34783101952*x5154[=0] -37993113216*x5155[=0] -9735066240*x5324[=0] -11475998720*x5325[=0] -13216931200*x5326[=0] -14957863680*x5327[=0] -16698796160*x5328[=0] -18439728640*x5329[=0] -20180661120*x5330[=0] -21921593600*x5331[=0] -23662526080*x5332[=0] -25403458560*x5333[=0] -18622692480*x5334[=0] -21822077440*x5335[=0] -25021462400*x5336[=0] -28220847360*x5337[=0] -31420232320*x5338[=0] -34619617280*x5339[=0] -37819002240*x5340[=0] -9238477056*x5518[=0] -10931591168*x5519[=0] -12624705280*x5520[=0] -14317819392*x5521[=0] -16010933504*x5522[=0] -17704047616*x5523[=0] -19397161728*x5524[=0] -21090275840*x5525[=0] -22783389952*x5526[=0] -24476504064*x5527[=0] -17629514112*x5528[=0] -20733262336*x5529[=0] -23837010560*x5530[=0] -26940758784*x5531[=0] -30044507008*x5532[=0] -33148255232*x5533[=0] -36252003456*x5534[=0] -39355751680*x5535[=0] -10507538304*x5536[=0] -12322854912*x5537[=0] -14138171520*x5538[=0] -15953488128*x5539[=0] -17768804736*x5540[=0] -19584121344*x5541[=0] -21399437952*x5542[=0] -23214754560*x5543[=0] -25030071168*x5544[=0] -26845387776*x5545[=0] -20167636608*x5546[=0] -23515789824*x5547[=0] -26863943040*x5548[=0] -30212096256*x5549[=0] -33560249472*x5550[=0] -36908402688*x5551[=0] -40256555904*x5552[=0] -7949624448*x5808[=0] -9317753344*x5809[=0] -10685882240*x5810[=0] -12054011136*x5811[=0] -13422140032*x5812[=0] -14790268928*x5813[=0] -16158397824*x5814[=0] -17526526720*x5815[=0] -18894655616*x5816[=0] -20262784512*x5817[=0] -15899248896*x5818[=0] -18635506688*x5819[=0] -21371764480*x5820[=0] -24108022272*x5821[=0] -26844280064*x5822[=0] -29580537856*x5823[=0] -32316795648*x5824[=0] -35053053440*x5825[=0] -9900595968*x5826[=0] -11657467904*x5827[=0] -13414339840*x5828[=0] -15171211776*x5829[=0] -16928083712*x5830[=0] -18684955648*x5831[=0] -20441827584*x5832[=0] -22198699520*x5833[=0] -23955571456*x5834[=0] -25712443392*x5835[=0] -18953751936*x5836[=0] -22185015808*x5837[=0] -25416279680*x5838[=0] -28647543552*x5839[=0] -31878807424*x5840[=0] -35110071296*x5841[=0] -38341335168*x5842[=0] -41572599040*x5843[=0] -11224833792*x6059[=0] -13109221376*x6060[=0] -14993608960*x6061[=0] -16877996544*x6062[=0] -18762384128*x6063[=0] -20646771712*x6064[=0] -22531159296*x6065[=0] -24415546880*x6066[=0] -26299934464*x6067[=0] -28184322048*x6068[=0] -22449667584*x6069[=0] -26218442752*x6070[=0] -29987217920*x6071[=0] -33755993088*x6072[=0] -37524768256*x6073[=0] -41293543424*x6074[=0] -45062318592*x6075[=0] -8059977600*x6330[=0] -9438732800*x6331[=0] -10817488000*x6332[=0] -12196243200*x6333[=0] -13574998400*x6334[=0] -14953753600*x6335[=0] -16332508800*x6336[=0] -17711264000*x6337[=0] -19090019200*x6338[=0] -20468774400*x6339[=0] -16119955200*x6340[=0] -18877465600*x6341[=0] -21634976000*x6342[=0] -24392486400*x6343[=0] -27149996800*x6344[=0] -29907507200*x6345[=0] -32665017600*x6346[=0] -14500043136*x6459[=0] -16900689408*x6460[=0] -19301335680*x6461[=0] -21701981952*x6462[=0] -24102628224*x6463[=0] -26503274496*x6464[=0] -28903920768*x6465[=0] -31304567040*x6466[=0] -33705213312*x6467[=0] -36105859584*x6468[=0] -29000086272*x6469[=0] -33801378816*x6470[=0] -38602671360*x6471[=0] -43403963904*x6472[=0] -48205256448*x6473[=0] -53006548992*x6474[=0] -57807841536*x6475[=0] -16561367808*x6476[=0] -19361383424*x6477[=0] -22161399040*x6478[=0] -24961414656*x6479[=0] -27761430272*x6480[=0] -30561445888*x6481[=0] -33361461504*x6482[=0] -36161477120*x6483[=0] -38961492736*x6484[=0] -41761508352*x6485[=0] -32275295616*x6486[=0] -37592846848*x6487[=0] -42910398080*x6488[=0] -48227949312*x6489[=0] -53545500544*x6490[=0] -58863051776*x6491[=0] -64180603008*x6492[=0] -11059304064*x6493[=0] -12927752192*x6494[=0] -14796200320*x6495[=0] -16664648448*x6496[=0] -18533096576*x6497[=0] -20401544704*x6498[=0] -22269992832*x6499[=0] -24138440960*x6500[=0] -26006889088*x6501[=0] -27875337216*x6502[=0] -22118608128*x6503[=0] -25855504384*x6504[=0] -29592400640*x6505[=0] -33329296896*x6506[=0] -37066193152*x6507[=0] -40803089408*x6508[=0] -44539985664*x6509[=0] -13837924224*x6510[=0] -16174812672*x6511[=0] -18511701120*x6512[=0] -20848589568*x6513[=0] -23185478016*x6514[=0] -25522366464*x6515[=0] -27859254912*x6516[=0] -30196143360*x6517[=0] -32533031808*x6518[=0] -34869920256*x6519[=0] -27675848448*x6520[=0] -32349625344*x6521[=0] -37023402240*x6522[=0] -41697179136*x6523[=0] -46370956032*x6524[=0] -51044732928*x6525[=0] -55718509824*x6526[=0] -60392286720*x6527[=0] -9735066240*x6528[=0] -11475998720*x6529[=0] -13216931200*x6530[=0] -14957863680*x6531[=0] -16698796160*x6532[=0] -18439728640*x6533[=0] -20180661120*x6534[=0] -21921593600*x6535[=0] -23662526080*x6536[=0] -25403458560*x6537[=0] -18622692480*x6538[=0] -21822077440*x6539[=0] -25021462400*x6540[=0] -28220847360*x6541[=0] -31420232320*x6542[=0] -34619617280*x6543[=0] -37819002240*x6544[=0] -41018387200*x6545[=0] -6570210048*x6546[=0] -7805510144*x6547[=0] -9040810240*x6548[=0] -10276110336*x6549[=0] -11511410432*x6550[=0] -12746710528*x6551[=0] -13982010624*x6552[=0] -15217310720*x6553[=0] -16452610816*x6554[=0] -17687910912*x6555[=0] -12292980096*x6556[=0] -14481100288*x6557[=0] -16669220480*x6558[=0] -18857340672*x6559[=0] -21045460864*x6560[=0] -23233581056*x6561[=0] -25421701248*x6562[=0] -13396511616*x6563[=0] -15690894848*x6564[=0] -17985278080*x6565[=0] -20279661312*x6566[=0] -22574044544*x6567[=0] -24868427776*x6568[=0] -27162811008*x6569[=0] -29457194240*x6570[=0] -31751577472*x6571[=0] -34045960704*x6572[=0] -25945583232*x6573[=0] -30251869696*x6574[=0] -34558156160*x6575[=0] -38864442624*x6576[=0] -43170729088*x6577[=0] -47477015552*x6578[=0] -51783302016*x6579[=0] -16506191232*x6580[=0] -19300893696*x6581[=0] -22095596160*x6582[=0] -24890298624*x6583[=0] -27685001088*x6584[=0] -30479703552*x6585[=0] -33274406016*x6586[=0] -36069108480*x6587[=0] -38863810944*x6588[=0] -41658513408*x6589[=0] -32164942464*x6590[=0] -37471867392*x6591[=0] -42778792320*x6592[=0] -48085717248*x6593[=0] -53392642176*x6594[=0] -58699567104*x6595[=0] -64006492032*x6596[=0] -7673741568*x6597[=0] -9015304704*x6598[=0] -10356867840*x6599[=0] -11698430976*x6600[=0] -13039994112*x6601[=0] -14381557248*x6602[=0] -15723120384*x6603[=0] -17064683520*x6604[=0] -18406246656*x6605[=0] -19747809792*x6606[=0] -15347483136*x6607[=0] -18030609408*x6608[=0] -20713735680*x6609[=0] -23396861952*x6610[=0] -26079988224*x6611[=0] -28763114496*x6612[=0] -31446240768*x6613[=0] -18713254272*x6614[=0] -21720482816*x6615[=0] -24727711360*x6616[=0] -27734939904*x6617[=0] -30742168448*x6618[=0] -33749396992*x6619[=0] -36756625536*x6620[=0] -39763854080*x6621[=0] -42771082624*x6622[=0] -45778311168*x6623[=0] -37426508544*x6624[=0] -43440965632*x6625[=0] -49455422720*x6626[=0] -55469879808*x6627[=0] -61484336896*x6628[=0] -67498793984*x6629[=0] -73513251072*x6630[=0] -6349503744*x1760[=0] -7563551232*x1761[=0] -8777598720*x1762[=0] -9991646208*x1763[=0] -11205693696*x1764[=0] -12419741184*x1765[=0] -13633788672*x1766[=0] -14847836160*x1767[=0] -16061883648*x1768[=0] -17275931136*x1769[=0] -11851567488*x1770[=0] -13997182464*x1771[=0] -16142797440*x1772[=0] -18288412416*x1773[=0] -20434027392*x1774[=0] -22579642368*x1775[=0] -24725257344*x1776[=0] -26870872320*x1777[=0] -3295000704*x1778[=0] -4014042112*x1779[=0] -4733083520*x1780[=0] -5452124928*x1781[=0] -6171166336*x1782[=0] -6890207744*x1783[=0] -7609249152*x1784[=0] -8328290560*x1785[=0] -9047331968*x1786[=0] -9766373376*x1787[=0] -5742561408*x1788[=0] -6898164224*x1789[=0] -8053767040*x1790[=0] -9209369856*x1791[=0] -10364972672*x1792[=0] -11520575488*x1793[=0] -12676178304*x1794[=0] -13065452160*x1795[=0] -15327956480*x1796[=0] -17590460800*x1797[=0] -19852965120*x1798[=0] -22115469440*x1799[=0] -24377973760*x1800[=0] -26640478080*x1801[=0] -28902982400*x1802[=0] -31165486720*x1803[=0] -33427991040*x1804[=0] -25283464320*x1805[=0] -29525992960*x1806[=0] -33768521600*x1807[=0] -38011050240*x1808[=0] -42253578880*x1809[=0] -46496107520*x1810[=0] -50738636160*x1811[=0] -13230981888*x1812[=0] -15509425664*x1813[=0] -17787869440*x1814[=0] -20066313216*x1815[=0] -22344756992*x1816[=0] -24623200768*x1817[=0] -26901644544*x1818[=0] -29180088320*x1819[=0] -31458532096*x1820[=0] -33736975872*x1821[=0] -25614523776*x1822[=0] -29888931328*x1823[=0] -34163338880*x1824[=0] -38437746432*x1825[=0] -42712153984*x1826[=0] -46986561536*x1827[=0] -51260969088*x1828[=0] -14444866560*x1829[=0] -16840199680*x1830[=0] -19235532800*x1831[=0] -21630865920*x1832[=0] -24026199040*x1833[=0] -26421532160*x1834[=0] -28816865280*x1835[=0] -31212198400*x1836[=0] -33607531520*x1837[=0] -36002864640*x1838[=0] -28889733120*x1839[=0] -33680399360*x1840[=0] -38471065600*x1841[=0] -43261731840*x1842[=0] -48052398080*x1843[=0] -52843064320*x1844[=0] -57633730560*x1845[=0] -6294327168*x1846[=0] -7503061504*x1847[=0] -8711795840*x1848[=0] -9920530176*x1849[=0] -11129264512*x1850[=0] -12337998848*x1851[=0] -13546733184*x1852[=0] -14755467520*x1853[=0] -15964201856*x1854[=0] -17172936192*x1855[=0] -11741214336*x1856[=0] -13876203008*x1857[=0] -16011191680*x1858[=0] -18146180352*x1859[=0] -20281169024*x1860[=0] -22416157696*x1861[=0] -24551146368*x1862[=0] -26686135040*x1863[=0] -10728244608*x1864[=0] -12564813824*x1865[=0] -14401383040*x1866[=0] -16237952256*x1867[=0] -18074521472*x1868[=0] -19911090688*x1869[=0] -21747659904*x1870[=0] -23584229120*x1871[=0] -25420798336*x1872[=0] -27257367552*x1873[=0] -21456489216*x1874[=0] -25129627648*x1875[=0] -28802766080*x1876[=0] -32475904512*x1877[=0] -36149042944*x1878[=0] -39822181376*x1879[=0] -43495319808*x1880[=0] -14720749440*x1881[=0] -17142648320*x1882[=0] -19564547200*x1883[=0] -21986446080*x1884[=0] -24408344960*x1885[=0] -26830243840*x1886[=0] -29252142720*x1887[=0] -31674041600*x1888[=0] -34095940480*x1889[=0] -36517839360*x1890[=0] -29441498880*x1891[=0] -34285296640*x1892[=0] -39129094400*x1893[=0] -43972892160*x1894[=0] -48816689920*x1895[=0] -53660487680*x1896[=0] -58504285440*x1897[=0] -11611069824*x1915[=0] -13532649472*x1916[=0] -15454229120*x1917[=0] -17375808768*x1918[=0] -19297388416*x1919[=0] -21218968064*x1920[=0] -23140547712*x1921[=0] -25062127360*x1922[=0] -26983707008*x1923[=0] -28905286656*x1924[=0] -23222139648*x1925[=0] -27065298944*x1926[=0] -30908458240*x1927[=0] -34751617536*x1928[=0] -38594776832*x1929[=0] -42437936128*x1930[=0] -46281095424*x1931[=0] -7784094720*x1932[=0] -9136284160*x1933[=0] -10488473600*x1934[=0] -11840663040*x1935[=0] -13192852480*x1936[=0] -14545041920*x1937[=0] -15897231360*x1938[=0] -17249420800*x1939[=0] -18601610240*x1940[=0] -19953799680*x1941[=1] -15568189440*x1942[=0] -18272568320*x1943[=0] -20976947200*x1944[=0] -23681326080*x1945[=0] -26385704960*x1946[=0] -29090083840*x1947[=0] -31794462720*x1948[=0] -7563388416*x1949[=0] -8894325248*x1950[=0] -10225262080*x1951[=0] -11556198912*x1952[=0] -12887135744*x1953[=0] -14218072576*x1954[=0] -15549009408*x1955[=0] -16879946240*x1956[=0] -18210883072*x1957[=0] -19541819904*x1958[=0] -15126776832*x1959[=0] -17788650496*x1960[=0] -20450524160*x1961[=0] -23112397824*x1962[=0] -25774271488*x1963[=0] -28436145152*x1964[=0] -31098018816*x1965[=0] -7508211840*x1966[=0] -8833835520*x1967[=0] -10159459200*x1968[=0] -11485082880*x1969[=0] -12810706560*x1970[=0] -14136330240*x1971[=0] -15461953920*x1972[=0] -16787577600*x1973[=0] -18113201280*x1974[=0] -19438824960*x1975[=0] -15016423680*x1976[=0] -17667671040*x1977[=0] -20318918400*x1978[=0] -22970165760*x1979[=0] -25621413120*x1980[=0] -28272660480*x1981[=0] -30923907840*x1982[=0] -7011622656*x1983[=0] -8289427968*x1984[=0] -9567233280*x1985[=0] -10845038592*x1986[=0] -12122843904*x1987[=0] -13400649216*x1988[=0] -14678454528*x1989[=0] -15956259840*x1990[=0] -17234065152*x1991[=0] -18511870464*x1992[=0] -14023245312*x1993[=0] -16578855936*x1994[=0] -19134466560*x1995[=0] -21690077184*x1996[=0] -24245687808*x1997[=0] -26801298432*x1998[=0] -29356909056*x1999[=0] -31912519680*x2000[=0] -8280683904*x2001[=0] -9680691712*x2002[=0] -11080699520*x2003[=0] -12480707328*x2004[=0] -13880715136*x2005[=0] -15280722944*x2006[=0] -16680730752*x2007[=0] -18080738560*x2008[=0] -19480746368*x2009[=0] -20880754176*x2010[=0] -16561367808*x2011[=0] -19361383424*x2012[=0] -22161399040*x2013[=0] -24961414656*x2014[=0] -27761430272*x2015[=0] -30561445888*x2016[=0] -33361461504*x2017[=0] -6570210048*x2018[=0] -7805510144*x2019[=0] -9040810240*x2020[=0] -10276110336*x2021[=0] -11511410432*x2022[=0] -12746710528*x2023[=0] -13982010624*x2024[=0] -15217310720*x2025[=0] -16452610816*x2026[=0] -17687910912*x2027[=0] -12292980096*x2028[=0] -14481100288*x2029[=0] -16669220480*x2030[=0] -18857340672*x2031[=0] -21045460864*x2032[=0] -23233581056*x2033[=0] -25421701248*x2034[=0] -27609821440*x2035[=0] -8521181568*x2036[=0] -10145224704*x2037[=0] -11769267840*x2038[=0] -13393310976*x2039[=0] -15017354112*x2040[=0] -16641397248*x2041[=0] -18265440384*x2042[=0] -19889483520*x2043[=0] -21513526656*x2044[=0] -23137569792*x2045[=0] -16194923136*x2046[=0] -19160529408*x2047[=0] -22126135680*x2048[=0] -25091741952*x2049[=0] -28057348224*x2050[=0] -31022954496*x2051[=0] -33988560768*x2052[=0] -36954167040*x2053[=0] -9845419392*x2054[=0] -11596978176*x2055[=0] -13348536960*x2056[=0] -15100095744*x2057[=0] -16851654528*x2058[=0] -18603213312*x2059[=0] -20354772096*x2060[=0] -22106330880*x2061[=0] -23857889664*x2062[=0] -25609448448*x2063[=0] -18843398784*x2064[=0] -22064036352*x2065[=0] -25284673920*x2066[=0] -28505311488*x2067[=0] -31725949056*x2068[=0] -34946586624*x2069[=0] -38167224192*x2070[=0] -6680563200*x2071[=0] -7926489600*x2072[=0] -9172416000*x2073[=0] -10418342400*x2074[=0] -11664268800*x2075[=0] -12910195200*x2076[=0] -14156121600*x2077[=0] -15402048000*x2078[=0] -16647974400*x2079[=0] -17893900800*x2080[=0] -12513686400*x2081[=0] -14723059200*x2082[=0] -16932432000*x2083[=0] -19141804800*x2084[=0] -21351177600*x2085[=0] -23560550400*x2086[=0] -25769923200*x2087[=0] -13120628736*x2088[=0] -15388446208*x2089[=0] -17656263680*x2090[=0] -19924081152*x2091[=0] -22191898624*x2092[=0] -24459716096*x2093[=0] -26727533568*x2094[=0] -28995351040*x2095[=0] -31263168512*x2096[=0] -33530985984*x2097[=0] -25393817472*x2098[=0] -29646972416*x2099[=0] -33900127360*x2100[=0] -38153282304*x2101[=0] -42406437248*x2102[=0] -46659592192*x2103[=0] -50912747136*x2104[=0] -18602901120*x2105[=0] -21599503360*x2106[=0] -24596105600*x2107[=0] -27592707840*x2108[=0] -30589310080*x2109[=0] -33585912320*x2110[=0] -36582514560*x2111[=0] -39579116800*x2112[=0] -42575719040*x2113[=0] -45572321280*x2114[=0] -37205802240*x2115[=0] -43199006720*x2116[=0] -49192211200*x2117[=0] -55185415680*x2118[=0] -61178620160*x2119[=0] -67171824640*x2120[=0] -73165029120*x2121[=0] -14334513408*x2122[=0] -16719220224*x2123[=0] -19103927040*x2124[=0] -21488633856*x2125[=0] -23873340672*x2126[=0] -26258047488*x2127[=0] -28642754304*x2128[=0] -31027461120*x2129[=0] -33412167936*x2130[=0] -35796874752*x2131[=0] -28669026816*x2132[=0] -33438440448*x2133[=0] -38207854080*x2134[=0] -42977267712*x2135[=0] -47746681344*x2136[=0] -52516094976*x2137[=0] -57285508608*x2138[=0] -9679889664*x2139[=0] -11415508992*x2140[=0] -13151128320*x2141[=0] -14886747648*x2142[=0] -16622366976*x2143[=0] -18357986304*x2144[=0] -20093605632*x2145[=0] -21829224960*x2146[=0] -23564844288*x2147[=0] -25300463616*x2148[=0] -18512339328*x2149[=0] -21701097984*x2150[=0] -24889856640*x2151[=0] -28078615296*x2152[=0] -31267373952*x2153[=0] -34456132608*x2154[=0] -37644891264*x2155[=0] -12458509824*x2156[=0] -14662569472*x2157[=0] -16866629120*x2158[=0] -19070688768*x2159[=0] -21274748416*x2160[=0] -23478808064*x2161[=0] -25682867712*x2162[=0] -27886927360*x2163[=0] -30090987008*x2164[=0] -32295046656*x2165[=0] -24069579648*x2166[=0] -28195218944*x2167[=0] -32320858240*x2168[=0] -36446497536*x2169[=0] -40572136832*x2170[=0] -44697776128*x2171[=0] -48823415424*x2172[=0] -52949054720*x2173[=0] -7508211840*x2174[=0] -8833835520*x2175[=0] -10159459200*x2176[=0] -11485082880*x2177[=0] -12810706560*x2178[=0] -14136330240*x2179[=0] -15461953920*x2180[=0] -16787577600*x2181[=0] -18113201280*x2182[=0] -19438824960*x2183[=0] -15016423680*x2184[=0] -17667671040*x2185[=0] -20318918400*x2186[=0] -22970165760*x2187[=0] -25621413120*x2188[=0] -28272660480*x2189[=0] -30923907840*x2190[=0] -33575155200*x2191[=0] -4343355648*x2192[=0] -5163346944*x2193[=0] -5983338240*x2194[=0] -6803329536*x2195[=0] -7623320832*x2196[=0] -8443312128*x2197[=0] -9263303424*x2198[=0] -10083294720*x2199[=0] -10903286016*x2200[=0] -11723277312*x2201[=0] -8686711296*x2202[=0] -10326693888*x2203[=0] -11966676480*x2204[=0] -13606659072*x2205[=0] -15246641664*x2206[=0] -16886624256*x2207[=0] -18526606848*x2208[=0] -11169657216*x2209[=0] -13048731648*x2210[=0] -14927806080*x2211[=0] -16806880512*x2212[=0] -18685954944*x2213[=0] -20565029376*x2214[=0] -22444103808*x2215[=0] -24323178240*x2216[=0] -26202252672*x2217[=0] -28081327104*x2218[=0] -22339314432*x2219[=0] -26097463296*x2220[=0] -29855612160*x2221[=0] -33613761024*x2222[=0] -37371909888*x2223[=0] -41130058752*x2224[=0] -44888207616*x2225[=0] -14279336832*x2226[=0] -16658730496*x2227[=0] -19038124160*x2228[=0] -21417517824*x2229[=0] -23796911488*x2230[=0] -26176305152*x2231[=0] -28555698816*x2232[=0] -30935092480*x2233[=0] -33314486144*x2234[=0] -35693879808*x2235[=0] -28558673664*x2236[=0] -33317460992*x2237[=0] -38076248320*x2238[=0] -42835035648*x2239[=0] -47593822976*x2240[=0] -52352610304*x2241[=0] -57111397632*x2242[=0] -6294327168*x2243[=0] -7503061504*x2244[=0] -8711795840*x2245[=0] -9920530176*x2246[=0] -11129264512*x2247[=0] -12337998848*x2248[=0] -13546733184*x2249[=0] -14755467520*x2250[=0] -15964201856*x2251[=0] -17172936192*x2252[=0] -11741214336*x2253[=0] -13876203008*x2254[=0] -16011191680*x2255[=0] -18146180352*x2256[=0] -20281169024*x2257[=0] -22416157696*x2258[=0] -24551146368*x2259[=0] -17333839872*x2260[=0] -20208239616*x2261[=0] -23082639360*x2262[=0] -25957039104*x2263[=0] -28831438848*x2264[=0] -31705838592*x2265[=0] -34580238336*x2266[=0] -37454638080*x2267[=0] -40329037824*x2268[=0] -43203437568*x2269[=0] -33820239744*x2270[=0] -39286559232*x2271[=0] -44752878720*x2272[=0] -50219198208*x2273[=0] -55685517696*x2274[=0] -61151837184*x2275[=0] -66618156672*x2276[=0] -7287505536*x2294[=1] -8591876608*x2295[=0] -9896247680*x2296[=0] -11200618752*x2297[=0] -12504989824*x2298[=0] -13809360896*x2299[=0] -15113731968*x2300[=0] -16418103040*x2301[=0] -17722474112*x2302[=0] -19026845184*x2303[=0] -14575011072*x2304[=0] -17183753216*x2305[=0] -19792495360*x2306[=0] -22401237504*x2307[=0] -25009979648*x2308[=0] -27618721792*x2309[=0] -30227463936*x2310[=0] -32836206080*x2311[=0] -4233002496*x2312[=0] -5042367488*x2313[=0] -5851732480*x2314[=0] -6661097472*x2315[=0] -7470462464*x2316[=0] -8279827456*x2317[=0] -9089192448*x2318[=0] -9898557440*x2319[=0] -10707922432*x2320[=0] -11517287424*x2321[=0] -8466004992*x2322[=0] -10084734976*x2323[=0] -11703464960*x2324[=0] -13322194944*x2325[=0] -14940924928*x2326[=0] -16559654912*x2327[=0] -18178384896*x2328[=0] -14003453952*x2329[=0] -16356281856*x2330[=0] -18709109760*x2331[=0] -21061937664*x2332[=0] -23414765568*x2333[=0] -25767593472*x2334[=0] -28120421376*x2335[=0] -30473249280*x2336[=0] -32826077184*x2337[=0] -35178905088*x2338[=0] -27159467904*x2339[=0] -31582643712*x2340[=0] -36005819520*x2341[=0] -40428995328*x2342[=0] -44852171136*x2343[=0] -49275346944*x2344[=0] -53698522752*x2345[=0] -14168983680*x2346[=0] -16537751040*x2347[=0] -18906518400*x2348[=0] -21275285760*x2349[=0] -23644053120*x2350[=0] -26012820480*x2351[=0] -28381587840*x2352[=0] -30750355200*x2353[=0] -33119122560*x2354[=0] -35487889920*x2355[=0] -28337967360*x2356[=0] -33075502080*x2357[=0] -37813036800*x2358[=0] -42550571520*x2359[=0] -47288106240*x2360[=0] -52025640960*x2361[=0] -56763175680*x2362[=0] -15382868352*x2363[=0] -17868525056*x2364[=0] -20354181760*x2365[=0] -22839838464*x2366[=0] -25325495168*x2367[=0] -27811151872*x2368[=0] -30296808576*x2369[=0] -32782465280*x2370[=0] -35268121984*x2371[=0] -37753778688*x2372[=0] -30765736704*x2373[=0] -35737050112*x2374[=0] -40708363520*x2375[=0] -45679676928*x2376[=0] -50650990336*x2377[=0] -55622303744*x2378[=0] -60593617152*x2379[=0] -7232328960*x2380[=0] -8531386880*x2381[=0] -9830444800*x2382[=0] -11129502720*x2383[=0] -12428560640*x2384[=0] -13727618560*x2385[=0] -15026676480*x2386[=0] -16325734400*x2387[=0] -17624792320*x2388[=0] -18923850240*x2389[=0] -14464657920*x2390[=0] -17062773760*x2391[=0] -19660889600*x2392[=0] -22259005440*x2393[=0] -24857121280*x2394[=0] -27455237120*x2395[=0] -30053352960*x2396[=0] -32651468800*x2397[=0] -12513686400*x2398[=0] -14723059200*x2399[=0] -16932432000*x2400[=0] -19141804800*x2401[=0] -21351177600*x2402[=0] -23560550400*x2403[=0] -25769923200*x2404[=0] -27979296000*x2405[=0] -30188668800*x2406[=0] -32398041600*x2407[=0] -24179932800*x2408[=0] -28316198400*x2409[=0] -32452464000*x2410[=0] -36588729600*x2411[=0] -40724995200*x2412[=0] -44861260800*x2413[=0] -48997526400*x2414[=0] -16506191232*x2415[=0] -19300893696*x2416[=0] -22095596160*x2417[=0] -24890298624*x2418[=0] -27685001088*x2419[=0] -30479703552*x2420[=0] -33274406016*x2421[=0] -36069108480*x2422[=0] -38863810944*x2423[=0] -41658513408*x2424[=0] -32164942464*x2425[=0] -37471867392*x2426[=0] -42778792320*x2427[=0] -48085717248*x2428[=0] -53392642176*x2429[=0] -58699567104*x2430[=0] -64006492032*x2431[=0] -13396511616*x2449[=0] -15690894848*x2450[=0] -17985278080*x2451[=0] -20279661312*x2452[=0] -22574044544*x2453[=0] -24868427776*x2454[=0] -27162811008*x2455[=0] -29457194240*x2456[=0] -31751577472*x2457[=0] -34045960704*x2458[=0] -25945583232*x2459[=0] -30251869696*x2460[=0] -34558156160*x2461[=0] -38864442624*x2462[=0] -43170729088*x2463[=0] -47477015552*x2464[=0] -51783302016*x2465[=0] -9569536512*x2466[=0] -11294529536*x2467[=0] -13019522560*x2468[=0] -14744515584*x2469[=0] -16469508608*x2470[=0] -18194501632*x2471[=0] -19919494656*x2472[=0] -21644487680*x2473[=0] -23369480704*x2474[=0] -25094473728*x2475[=0] -18291633024*x2476[=0] -21459139072*x2477[=0] -24626645120*x2478[=0] -27794151168*x2479[=0] -30961657216*x2480[=0] -34129163264*x2481[=0] -37296669312*x2482[=0] -9348830208*x2483[=0] -11052570624*x2484[=0] -12756311040*x2485[=0] -14460051456*x2486[=0] -16163791872*x2487[=0] -17867532288*x2488[=0] -19571272704*x2489[=0] -21275013120*x2490[=0] -22978753536*x2491[=0] -24682493952*x2492[=0] -17850220416*x2493[=0] -20975221248*x2494[=0] -24100222080*x2495[=0] -27225222912*x2496[=0] -30350223744*x2497[=0] -33475224576*x2498[=0] -36600225408*x2499[=0] -9293653632*x2500[=0] -10992080896*x2501[=0] -12690508160*x2502[=0] -14388935424*x2503[=0] -16087362688*x2504[=0] -17785789952*x2505[=0] -19484217216*x2506[=0] -21182644480*x2507[=0] -22881071744*x2508[=0] -24579499008*x2509[=0] -17739867264*x2510[=0] -20854241792*x2511[=0] -23968616320*x2512[=0] -27082990848*x2513[=0] -30197365376*x2514[=0] -33311739904*x2515[=0] -36426114432*x2516[=0] -8797064448*x2517[=0] -10447673344*x2518[=0] -12098282240*x2519[=0] -13748891136*x2520[=0] -15399500032*x2521[=0] -17050108928*x2522[=0] -18700717824*x2523[=0] -20351326720*x2524[=0] -22001935616*x2525[=0] -23652544512*x2526[=0] -16746688896*x2527[=0] -19765426688*x2528[=0] -22784164480*x2529[=0] -25802902272*x2530[=0] -28821640064*x2531[=0] -31840377856*x2532[=0] -34859115648*x2533[=0] -37877853440*x2534[=0] -10066125696*x2535[=0] -11838937088*x2536[=0] -13611748480*x2537[=0] -15384559872*x2538[=0] -17157371264*x2539[=0] -18930182656*x2540[=0] -20702994048*x2541[=0] -22475805440*x2542[=0] -24248616832*x2543[=0] -26021428224*x2544[=0] -19284811392*x2545[=0] -22547954176*x2546[=0] -25811096960*x2547[=0] -29074239744*x2548[=0] -32337382528*x2549[=0] -35600525312*x2550[=0] -38863668096*x2551[=0] -7508211840*x2552[=0] -8833835520*x2553[=0] -10159459200*x2554[=0] -11485082880*x2555[=0] -12810706560*x2556[=0] -14136330240*x2557[=0] -15461953920*x2558[=0] -16787577600*x2559[=0] -18113201280*x2560[=0] -19438824960*x2561[=0] -15016423680*x2562[=0] -17667671040*x2563[=0] -20318918400*x2564[=0] -22970165760*x2565[=0] -25621413120*x2566[=0] -28272660480*x2567[=0] -30923907840*x2568[=0] -33575155200*x2569[=0] -9459183360*x2570[=0] -11173550080*x2571[=0] -12887916800*x2572[=0] -14602283520*x2573[=0] -16316650240*x2574[=0] -18031016960*x2575[=0] -19745383680*x2576[=0] -21459750400*x2577[=0] -23174117120*x2578[=0] -24888483840*x2579[=0] -18070926720*x2580[=0] -21217180160*x2581[=0] -24363433600*x2582[=0] -27509687040*x2583[=0] -30655940480*x2584[=0] -33802193920*x2585[=0] -36948447360*x2586[=0] -40094700800*x2587[=0] -10783421184*x2588[=0] -12625303552*x2589[=0] -14467185920*x2590[=0] -16309068288*x2591[=0] -18150950656*x2592[=0] -19992833024*x2593[=0] -21834715392*x2594[=0] -23676597760*x2595[=0] -25518480128*x2596[=0] -27360362496*x2597[=0] -20719402368*x2598[=0] -24120687104*x2599[=0] -27521971840*x2600[=0] -30923256576*x2601[=0] -34324541312*x2602[=0] -37725826048*x2603[=0] -41127110784*x2604[=0] -7618564992*x2605[=0] -8954814976*x2606[=0] -10291064960*x2607[=0] -11627314944*x2608[=0] -12963564928*x2609[=0] -14299814912*x2610[=0] -15636064896*x2611[=0] -16972314880*x2612[=0] -18308564864*x2613[=0] -19644814848*x2614[=0] -15237129984*x2615[=0] -17909629952*x2616[=0] -20582129920*x2617[=0] -23254629888*x2618[=0] -25927129856*x2619[=0] -28599629824*x2620[=0] -31272129792*x2621[=0] -14058630528*x2622[=0] -16416771584*x2623[=0] -18774912640*x2624[=0] -21133053696*x2625[=0] -23491194752*x2626[=0] -25849335808*x2627[=0] -28207476864*x2628[=0] -30565617920*x2629[=0] -32923758976*x2630[=0] -35281900032*x2631[=0] -27269821056*x2632[=0] -31703623168*x2633[=0] -36137425280*x2634[=0] -40571227392*x2635[=0] -45005029504*x2636[=0] -49438831616*x2637[=0] -53872633728*x2638[=0] -16119955200*x2639[=0] -18877465600*x2640[=0] -21634976000*x2641[=0] -24392486400*x2642[=0] -27149996800*x2643[=0] -29907507200*x2644[=0] -32665017600*x2645[=0] -35422528000*x2646[=0] -38180038400*x2647[=0] -40937548800*x2648[=0] -31392470400*x2649[=0] -36625011200*x2650[=0] -41857552000*x2651[=0] -47090092800*x2652[=0] -52322633600*x2653[=0] -57555174400*x2654[=0] -62787715200*x2655[=0] -10617891456*x2656[=0] -12443834368*x2657[=0] -14269777280*x2658[=0] -16095720192*x2659[=0] -17921663104*x2660[=0] -19747606016*x2661[=0] -21573548928*x2662[=0] -23399491840*x2663[=0] -25225434752*x2664[=0] -27051377664*x2665[=0] -21235782912*x2666[=0] -24887668736*x2667[=0] -28539554560*x2668[=0] -32191440384*x2669[=0] -35843326208*x2670[=0] -39495212032*x2671[=0] -43147097856*x2672[=0] -13396511616*x2673[=0] -15690894848*x2674[=0] -17985278080*x2675[=0] -20279661312*x2676[=0] -22574044544*x2677[=0] -24868427776*x2678[=0] -27162811008*x2679[=0] -29457194240*x2680[=0] -31751577472*x2681[=1] -34045960704*x2682[=0] -26793023232*x2683[=0] -31381789696*x2684[=0] -35970556160*x2685[=0] -40559322624*x2686[=0] -45148089088*x2687[=0] -49736855552*x2688[=0] -54325622016*x2689[=0] -58914388480*x2690[=0] -9293653632*x2691[=0] -10992080896*x2692[=0] -12690508160*x2693[=0] -14388935424*x2694[=0] -16087362688*x2695[=0] -17785789952*x2696[=0] -19484217216*x2697[=0] -21182644480*x2698[=0] -22881071744*x2699[=0] -24579499008*x2700[=0] -17739867264*x2701[=0] -20854241792*x2702[=0] -23968616320*x2703[=0] -27082990848*x2704[=0] -30197365376*x2705[=0] -33311739904*x2706[=0] -36426114432*x2707[=0] -39540488960*x2708[=0] -6128797440*x2709[=0] -7321592320*x2710[=0] -8514387200*x2711[=0] -9707182080*x2712[=0] -10899976960*x2713[=0] -12092771840*x2714[=0] -13285566720*x2715[=0] -14478361600*x2716[=0] -15671156480*x2717[=0] -16863951360*x2718[=0] -11410154880*x2719[=0] -13513264640*x2720[=0] -15616374400*x2721[=0] -17719484160*x2722[=0] -19822593920*x2723[=0] -21925703680*x2724[=0] -24028813440*x2725[=0] -12955099008*x2726[=0] -15206977024*x2727[=0] -17458855040*x2728[=0] -19710733056*x2729[=0] -21962611072*x2730[=0] -24214489088*x2731[=0] -26466367104*x2732[=0] -28718245120*x2733[=0] -30970123136*x2734[=0] -33222001152*x2735[=0] -25062758016*x2736[=0] -29284034048*x2737[=0] -33505310080*x2738[=0] -37726586112*x2739[=0] -41947862144*x2740[=0] -46169138176*x2741[=0] -50390414208*x2742[=0] -16064778624*x2743[=0] -18816975872*x2744[=0] -21569173120*x2745[=0] -24321370368*x2746[=0] -27073567616*x2747[=0] -29825764864*x2748[=0] -32577962112*x2749[=0] -35330159360*x2750[=0] -38082356608*x2751[=0] -40834553856*x2752[=0] -31282117248*x2753[=0] -36504031744*x2754[=0] -41725946240*x2755[=0] -46947860736*x2756[=0] -52169775232*x2757[=0] -57391689728*x2758[=0] -62613604224*x2759[=0] -7232328960*x2760[=0] -8531386880*x2761[=0] -9830444800*x2762[=0] -11129502720*x2763[=0] -12428560640*x2764[=0] -13727618560*x2765[=0] -15026676480*x2766[=0] -16325734400*x2767[=0] -17624792320*x2768[=0] -18923850240*x2769[=0] -13617217920*x2770[=0] -15932853760*x2771[=0] -18248489600*x2772[=0] -20564125440*x2773[=0] -22879761280*x2774[=0] -25195397120*x2775[=0] -27511032960*x2776[=0] -18271841664*x2777[=0] -21236564992*x2778[=0] -24201288320*x2779[=0] -27166011648*x2780[=0] -30130734976*x2781[=0] -33095458304*x2782[=0] -36060181632*x2783[=0] -39024904960*x2784[=0] -41989628288*x2785[=0] -44954351616*x2786[=0] -36543683328*x2787[=0] -42473129984*x2788[=0] -48402576640*x2789[=0] -54332023296*x2790[=0] -60261469952*x2791[=0] -66190916608*x2792[=0] -72120363264*x2793[=0] -3901943040*x2811[=0] -4679429120*x2812[=0] -5456915200*x2813[=0] -6234401280*x2814[=0] -7011887360*x2815[=0] -7789373440*x2816[=0] -8566859520*x2817[=0] -9344345600*x2818[=0] -10121831680*x2819[=0] -10899317760*x2820[=0] -7803886080*x2821[=0] -9358858240*x2822[=0] -10913830400*x2823[=0] -12468802560*x2824[=0] -14023774720*x2825[=0] -15578746880*x2826[=0] -17133719040*x2827[=0] -18688691200*x2828[=0] -10176478848*x2829[=0] -11959916544*x2830[=0] -13743354240*x2831[=0] -15526791936*x2832[=0] -17310229632*x2833[=0] -19093667328*x2834[=0] -20877105024*x2835[=0] -22660542720*x2836[=0] -20352957696*x2837[=0] -23919833088*x2838[=0] -27486708480*x2839[=0] -31053583872*x2840[=0] -34620459264*x2841[=0] -38187334656*x2842[=0] -13065452160*x2843[=0] -15327956480*x2844[=0] -17590460800*x2845[=0] -19852965120*x2846[=0] -22115469440*x2847[=0] -24377973760*x2848[=0] -26640478080*x2849[=0] -28902982400*x2850[=0] -31165486720*x2851[=0] -33427991040*x2852[=0] -25283464320*x2853[=0] -29525992960*x2854[=0] -33768521600*x2855[=0] -38011050240*x2856[=0] -42253578880*x2857[=0] -46496107520*x2858[=0] -50738636160*x2859[=0] -54981164800*x2860[=0] -6956446080*x2861[=0] -8228938240*x2862[=0] -9501430400*x2863[=0] -10773922560*x2864[=0] -12046414720*x2865[=0] -13318906880*x2866[=0] -14591399040*x2867[=0] -15863891200*x2868[=0] -13065452160*x2869[=0] -15327956480*x2870[=0] -17590460800*x2871[=0] -19852965120*x2872[=0] -22115469440*x2873[=0] -24377973760*x2874[=0] -3681236736*x2875[=1] -4437470208*x2876[=0] -5193703680*x2877[=0] -5949937152*x2878[=0] -6706170624*x2879[=0] -6515033472*x2880[=0] -7745020416*x2881[=0] -8975007360*x2882[=0] -10204994304*x2883[=0] -10452361728*x2890[=0] -12262365184*x2891[=0] -14072368640*x2892[=0] -15882372096*x2893[=0] -17692375552*x2894[=0] -19502379008*x2895[=0] -21312382464*x2896[=0] -23122385920*x2897[=0] -24932389376*x2898[=0] -26742392832*x2899[=0] -20904723456*x2900[=0] -24524730368*x2901[=0] -28144737280*x2902[=0] -31764744192*x2903[=0] -35384751104*x2904[=0] -39004758016*x2905[=0] -42624764928*x2906[=0] -46244771840*x2907[=0] -13727571072*x2926[=0] -16053833216*x2927[=0] -18380095360*x2928[=0] -20706357504*x2929[=0] -23032619648*x2930[=0] -25358881792*x2931[=0] -27685143936*x2932[=0] -30011406080*x2933[=0] -32337668224*x2934[=0] -34663930368*x2935[=0] -26607702144*x2936[=0] -30977746432*x2937[=0] -35347790720*x2938[=0] -39717835008*x2939[=0] -44087879296*x2940[=0] -48457923584*x2941[=0] -52827967872*x2942[=0] -57198012160*x2943[=0] -9128123904*x2944[=0] -10810611712*x2945[=0] -12493099520*x2946[=0] -14175587328*x2947[=0] -15858075136*x2948[=0] -17540562944*x2949[=0] -19223050752*x2950[=0] -20905538560*x2951[=0] -17408807808*x2952[=0] -20491303424*x2953[=0] -23573799040*x2954[=0] -26656294656*x2955[=0] -29738790272*x2956[=0] -32821285888*x2957[=0] -6901269504*x2958[=0] -8168448512*x2959[=0] -9435627520*x2960[=0] -10702806528*x2961[=0] -11969985536*x2962[=0] -13237164544*x2963[=0] -14504343552*x2964[=0] -15771522560*x2965[=0] -17038701568*x2966[=0] -18305880576*x2967[=0] -13802539008*x2968[=0] -16336897024*x2969[=0] -18871255040*x2970[=0] -21405613056*x2971[=0] -23939971072*x2972[=0] -26474329088*x2973[=0] -29008687104*x2974[=0] -31543045120*x2975[=0] -17940782208*x2976[=0] -20873626624*x2977[=0] -23806471040*x2978[=0] -26739315456*x2979[=0] -29672159872*x2980[=0] -32605004288*x2981[=0] -35537848704*x2982[=0] -38470693120*x2983[=0] -41403537536*x2984[=0] -44336381952*x2985[=0] -35881564416*x2986[=0] -41747253248*x2987[=0] -47612942080*x2988[=0] -53478630912*x2989[=0] -59344319744*x2990[=0] -65210008576*x2991[=0] -71075697408*x2992[=0] -76941386240*x2993[=0] -5908091136*x3346[=0] -7079633408*x3347[=0] -8251175680*x3348[=0] -9422717952*x3349[=0] -10594260224*x3350[=0] -11765802496*x3351[=0] -12937344768*x3352[=0] -14108887040*x3353[=0] -15280429312*x3354[=0] -16451971584*x3355[=0] -10968742272*x3356[=0] -13029346816*x3357[=0] -15089951360*x3358[=0] -17150555904*x3359[=0] -19211160448*x3360[=0] -21271764992*x3361[=0] -23332369536*x3362[=0] -25392974080*x3363[=0] -17223486720*x3719[=0] -20087260160*x3720[=0] -22951033600*x3721[=0] -25814807040*x3722[=0] -28678580480*x3723[=0] -31542353920*x3724[=0] -34406127360*x3725[=0] -37269900800*x3726[=0] -40133674240*x3727[=0] -42997447680*x3728[=0] -34446973440*x3729[=0] -40174520320*x3730[=0] -45902067200*x3731[=0] -51629614080*x3732[=0] -57357160960*x3733[=0] -63084707840*x3734[=0] -68812254720*x3735[=0] -74539801600*x3736[=0] -4288179072*x3907[=0] -5102857216*x3908[=0] -5917535360*x3909[=0] -6732213504*x3910[=0] -7546891648*x3911[=0] -8576358144*x3912[=1] -10205714432*x3913[=0] -11835070720*x3914[=0] -13464427008*x3915[=0] -12348156672*x4119[=0] -14541590016*x4120[=0] -16735023360*x4121[=0] -18928456704*x4122[=0] -21121890048*x4123[=0] -23315323392*x4124[=0] -25508756736*x4125[=0] -27702190080*x4126[=0] -23848873344*x4127[=0] -27953260032*x4128[=0] -32057646720*x4129[=0] -36162033408*x4130[=0] -40266420096*x4131[=0] -44370806784*x4132[=0] -12182626944*x4280[=0] -14360120832*x4281[=0] -16537614720*x4282[=0] -18715108608*x4283[=0] -20892602496*x4284[=0] -23070096384*x4285[=0] -25247590272*x4286[=0] -27425084160*x4287[=0] -23517813888*x4288[=0] -27590321664*x4289[=0] -31662829440*x4290[=0] -35735337216*x4291[=0] -39807844992*x4292[=0] -43880352768*x4293[=0] -14389689984*x4623[=0] -16779709952*x4624[=0] -19169729920*x4625[=0] -21559749888*x4626[=0] -23949769856*x4627[=0] -26339789824*x4628[=0] -28729809792*x4629[=0] -31119829760*x4630[=0] -33509849728*x4631[=0] -35899869696*x4632[=0] -28779379968*x4633[=0] -33559419904*x4634[=0] -38339459840*x4635[=0] -43119499776*x4636[=0] -47899539712*x4637[=0] -52679579648*x4638[=0] -57459619584*x4639[=0] -62239659520*x4640[=0] -14224160256*x4728[=0] -16598240768*x4729[=0] -18972321280*x4730[=0] -21346401792*x4731[=0] -23720482304*x4732[=0] -26094562816*x4733[=0] -28468643328*x4734[=0] -30842723840*x4735[=0] -33216804352*x4736[=0] -35590884864*x4737[=0] -28448320512*x4738[=0] -33196481536*x4739[=0] -37944642560*x4740[=0] -42692803584*x4741[=0] -47440964608*x4742[=0] -52189125632*x4743[=0] -56937286656*x4744[=0] -61685447680*x4745[=0] -10562714880*x4944[=0] -12383344640*x4945[=0] -14203974400*x4946[=0] -16024604160*x4947[=0] -17845233920*x4948[=0] -19665863680*x4949[=0] -21486493440*x4950[=0] -23307123200*x4951[=0] -25127752960*x4952[=0] -26948382720*x4953[=0] -21125429760*x4954[=0] -24766689280*x4955[=0] -28407948800*x4956[=0] -32049208320*x4957[=0] -35690467840*x4958[=0] -39331727360*x4959[=0] -42972986880*x4960[=0] -46614246400*x4961[=0] -9183300480*x5097[=0] -10871101440*x5098[=0] -12558902400*x5099[=0] -14246703360*x5100[=0] -15934504320*x5101[=0] -17622305280*x5102[=0] -19310106240*x5103[=0] -20997907200*x5104[=0] -17519160960*x5105[=0] -20612282880*x5106[=0] -23705404800*x5107[=0] -26798526720*x5108[=0] -29891648640*x5109[=0] -32984770560*x5110[=0] -9128123904*x5279[=0] -10810611712*x5280[=0] -12493099520*x5281[=0] -14175587328*x5282[=0] -15858075136*x5283[=0] -17540562944*x5284[=0] -19223050752*x5285[=0] -20905538560*x5286[=0] -17408807808*x5287[=0] -20491303424*x5288[=0] -23573799040*x5289[=0] -26656294656*x5290[=0] -29738790272*x5291[=0] -32821285888*x5292[=0] -8115154176*x5355[=0] -9499222528*x5356[=0] -10883290880*x5357[=0] -12267359232*x5358[=0] -13651427584*x5359[=0] -15035495936*x5360[=0] -16419564288*x5361[=0] -17803632640*x5362[=0] -16230308352*x5363[=1] -18998445056*x5364[=0] -21766581760*x5365[=0] -24534718464*x5366[=0] -27302855168*x5367[=0] -30070991872*x5368[=0] -5852914560*x5428[=0] -7019143680*x5429[=0] -8185372800*x5430[=0] -9351601920*x5431[=0] -10517831040*x5432[=0] -10858389120*x5433[=1] -12908367360*x5434[=0] -14958345600*x5435[=0] -17008323840*x5436[=0] -4839944832*x5599[=0] -5707754496*x5600[=0] -6575564160*x5601[=0] -7443373824*x5602[=0] -8311183488*x5603[=0] -9679889664*x5604[=1] -11415508992*x5605[=0] -13151128320*x5606[=0] -14886747648*x5607[=0] -12624039552*x5740[=0] -14844038656*x5741[=0] -17064037760*x5742[=0] -19284036864*x5743[=0] -21504035968*x5744[=0] -23724035072*x5745[=0] -25944034176*x5746[=0] -28164033280*x5747[=0] -30384032384*x5748[=0] -32604031488*x5749[=0] -24400639104*x5750[=0] -28558157312*x5751[=0] -32715675520*x5752[=0] -36873193728*x5753[=0] -41030711936*x5754[=0] -45188230144*x5755[=0] -49345748352*x5756[=0] -53503266560*x5757[=0] -7728918144*x5776[=0] -9075794432*x5777[=0] -10422670720*x5778[=0] -11769547008*x5779[=0] -13116423296*x5780[=0] -14463299584*x5781[=0] -15810175872*x5782[=0] -17157052160*x5783[=0] -18503928448*x5784[=0] -19850804736*x5785[=0] -15457836288*x5786[=0] -18151588864*x5787[=0] -20845341440*x5788[=0] -23539094016*x5789[=0] -26232846592*x5790[=0] -28926599168*x5791[=0] -31620351744*x5792[=0] -34314104320*x5793[=0] -7453035264*x5794[=0] -8773345792*x5795[=0] -10093656320*x5796[=0] -11413966848*x5797[=0] -12734277376*x5798[=0] -14054587904*x5799[=0] -15374898432*x5800[=0] -16695208960*x5801[=0] -14906070528*x5802[=0] -17546691584*x5803[=0] -20187312640*x5804[=0] -22827933696*x5805[=0] -25468554752*x5806[=0] -28109175808*x5807[=0] -15899248896*x5862[=0] -18635506688*x5863[=0] -21371764480*x5864[=0] -24108022272*x5865[=0] -26844280064*x5866[=0] -29580537856*x5867[=0] -32316795648*x5868[=0] -35053053440*x5869[=0] -37789311232*x5870[=0] -40525569024*x5871[=0] -30951057792*x5872[=0] -36141093376*x5873[=0] -41331128960*x5874[=0] -46521164544*x5875[=0] -51711200128*x5876[=0] -56901235712*x5877[=0] -62091271296*x5878[=0] -67281306880*x5879[=0] -10452361728*x5898[=0] -12262365184*x5899[=0] -14072368640*x5900[=0] -15882372096*x5901[=0] -17692375552*x5902[=0] -19502379008*x5903[=0] -21312382464*x5904[=0] -23122385920*x5905[=0] -20904723456*x5906[=0] -24524730368*x5907[=0] -28144737280*x5908[=0] -31764744192*x5909[=0] -35384751104*x5910[=0] -39004758016*x5911[=0] -9072947328*x5954[=0] -10750121984*x5955[=0] -12427296640*x5956[=0] -14104471296*x5957[=0] -15781645952*x5958[=0] -17458820608*x5959[=0] -19135995264*x5960[=0] -20813169920*x5961[=0] -22490344576*x5962[=0] -24167519232*x5963[=0] -17298454656*x5964[=0] -20370323968*x5965[=0] -23442193280*x5966[=0] -26514062592*x5967[=0] -29585931904*x5968[=0] -32657801216*x5969[=0] -35729670528*x5970[=0] -38801539840*x5971[=0] -11611069824*x6137[=0] -13532649472*x6138[=0] -15454229120*x6139[=0] -17375808768*x6140[=0] -19297388416*x6141[=0] -21218968064*x6142[=0] -23140547712*x6143[=0] -25062127360*x6144[=0] -26983707008*x6145[=0] -28905286656*x6146[=0] -23222139648*x6147[=0] -27065298944*x6148[=0] -30908458240*x6149[=0] -34751617536*x6150[=0] -38594776832*x6151[=0] -42437936128*x6152[=0] -46281095424*x6153[=0] -50124254720*x6154[=0] -14886279168*x6691[=0] -17324117504*x6692[=0] -19761955840*x6693[=0] -22199794176*x6694[=0] -24637632512*x6695[=0] -27075470848*x6696[=0] -29513309184*x6697[=0] -31951147520*x6698[=0] -34388985856*x6699[=0] -36826824192*x6700[=0] -29772558336*x6701[=0] -34648235008*x6702[=0] -39523911680*x6703[=0] -44399588352*x6704[=0] -49275265024*x6705[=0] -54150941696*x6706[=0] -59026618368*x6707[=0] -63902295040*x6708[=0] -10286832000*x6979[=0] -12080896000*x6980[=0] -13874960000*x6981[=0] -15669024000*x6982[=0] -17463088000*x6983[=0] -19257152000*x6984[=0] -21051216000*x6985[=0] -22845280000*x6986[=0] -20573664000*x6987[=0] -24161792000*x6988[=0] -27749920000*x6989[=0] -31338048000*x6990[=0] -34926176000*x6991[=0] -38514304000*x6992[=0] -8059977600*x7091[=0] -9438732800*x7092[=0] -10817488000*x7093[=0] -12196243200*x7094[=0] -13574998400*x7095[=0] -14953753600*x7096[=0] -16332508800*x7097[=0] -17711264000*x7098[=0] -19090019200*x7099[=0] -20468774400*x7100[=0] -16119955200*x7101[=0] -18877465600*x7102[=0] -21634976000*x7103[=0] -24392486400*x7104[=0] -27149996800*x7105[=0] -29907507200*x7106[=0] -32665017600*x7107[=0] -35422528000*x7108[=0] -3019117824*x2884[=0] -3711593472*x2885[=0] -4404069120*x2886[=0] -5190795648*x2887[=0] -6293266944*x2888[=0] -7395738240*x2889[=0] -10783421184*x3026[=0] -12625303552*x3027[=0] -14467185920*x3028[=0] -16309068288*x3029[=0] -18150950656*x3030[=0] -19992833024*x3031[=0] -21834715392*x3032[=0] -23676597760*x3033[=0] -21566842368*x3034[=0] -25250607104*x3035[=0] -28934371840*x3036[=0] -32618136576*x3037[=0] -36301901312*x3038[=0] -39985666048*x3039[=0] -3846766464*x3054[=0] -4618939392*x3055[=0] -5391112320*x3056[=0] -6163285248*x3057[=0] -6935458176*x3058[=0] -7707631104*x3059[=0] -8479804032*x3060[=0] -9251976960*x3061[=0] -10024149888*x3062[=0] -10796322816*x3063[=0] -7693532928*x3064[=0] -9237878784*x3065[=0] -10782224640*x3066[=0] -12326570496*x3067[=0] -13870916352*x3068[=0] -15415262208*x3069[=0] -16959608064*x3070[=0] -18503953920*x3071[=0] -9128123904*x3072[=0] -10810611712*x3073[=0] -12493099520*x3074[=0] -14175587328*x3075[=0] -15858075136*x3076[=0] -17540562944*x3077[=0] -19223050752*x3078[=0] -20905538560*x3079[=0] -17408807808*x3080[=0] -20491303424*x3081[=0] -23573799040*x3082[=0] -26656294656*x3083[=0] -29738790272*x3084[=0] -32821285888*x3085[=0] -5115827712*x3142[=0] -6010203136*x3143[=0] -6904578560*x3144[=0] -7798953984*x3145[=0] -8693329408*x3146[=0] -9587704832*x3147[=0] -10482080256*x3148[=0] -11376455680*x3149[=0] -10231655424*x3150[=0] -12020406272*x3151[=0] -13809157120*x3152[=0] -15597907968*x3153[=0] -17386658816*x3154[=0] -19175409664*x3155[=0] -5060651136*x3156[=0] -5949713408*x3157[=0] -6838775680*x3158[=0] -7727837952*x3159[=0] -8616900224*x3160[=0] -9505962496*x3161[=0] -10121302272*x3162[=0] -11899426816*x3163[=0] -13677551360*x3164[=0] -15455675904*x3165[=0] -17233800448*x3166[=0] -4564061952*x3167[=0] -5405305856*x3168[=0] -6246549760*x3169[=0] -7087793664*x3170[=0] -7929037568*x3171[=0] -8770281472*x3172[=0] -9611525376*x3173[=0] -10452769280*x3174[=0] -11294013184*x3175[=0] -12135257088*x3176[=0] -9128123904*x3177[=0] -10810611712*x3178[=0] -12493099520*x3179[=0] -14175587328*x3180[=0] -15858075136*x3181[=0] -17540562944*x3182[=0] -19223050752*x3183[=0] -20905538560*x3184[=0] -6680563200*x3185[=0] -7926489600*x3186[=0] -9172416000*x3187[=0] -10418342400*x3188[=0] -11664268800*x3189[=0] -12910195200*x3190[=0] -14156121600*x3191[=0] -15402048000*x3192[=0] -12513686400*x3193[=0] -14723059200*x3194[=0] -16932432000*x3195[=0] -19141804800*x3196[=0] -21351177600*x3197[=0] -23560550400*x3198[=0] -4122649344*x3199[=0] -4921388032*x3200[=0] -5720126720*x3201[=0] -6518865408*x3202[=0] -7317604096*x3203[=0] -8116342784*x3204[=0] -8915081472*x3205[=0] -9713820160*x3206[=0] -10512558848*x3207[=0] -11311297536*x3208[=0] -8245298688*x3209[=0] -9842776064*x3210[=0] -11440253440*x3211[=0] -13037730816*x3212[=0] -14635208192*x3213[=0] -16232685568*x3214[=0] -17830162944*x3215[=0] -19427640320*x3216[=0] -4233002496*x3248[=0] -5042367488*x3249[=0] -5851732480*x3250[=0] -6661097472*x3251[=0] -7470462464*x3252[=0] -8279827456*x3253[=0] -8466004992*x3254[=0] -10084734976*x3255[=0] -11703464960*x3256[=0] -13322194944*x3257[=0] -14940924928*x3258[=0] -7232328960*x3332[=0] -8531386880*x3333[=0] -9830444800*x3334[=0] -11129502720*x3335[=0] -12428560640*x3336[=0] -13727618560*x3337[=0] -15026676480*x3338[=0] -16325734400*x3339[=0] -13617217920*x3340[=1] -15932853760*x3341[=0] -18248489600*x3342[=0] -20564125440*x3343[=0] -22879761280*x3344[=0] -25195397120*x3345[=0] -2743234944*x3364[=0] -3409144832*x3365[=0] -4075054720*x3366[=0] -4740964608*x3367[=0] -5406874496*x3368[=0] -6072784384*x3369[=0] -4639029888*x3370[=1] -5688369664*x3371[=0] -6737709440*x3372[=0] -7787049216*x3373[=0] -8836388992*x3374[=0] -13893100800*x3465[=0] -16235302400*x3466[=0] -18577504000*x3467[=0] -20919705600*x3468[=0] -23261907200*x3469[=0] -25604108800*x3470[=0] -27946310400*x3471[=0] -30288512000*x3472[=0] -32630713600*x3473[=0] -34972915200*x3474[=0] -26938761600*x3475[=0] -31340684800*x3476[=0] -35742608000*x3477[=0] -40144531200*x3478[=0] -44546454400*x3479[=0] -48948377600*x3480[=0] -53350300800*x3481[=0] -57752224000*x3482[=0] -17057956992*x3655[=0] -19905790976*x3656[=0] -22753624960*x3657[=0] -25601458944*x3658[=0] -28449292928*x3659[=0] -31297126912*x3660[=0] -34144960896*x3661[=0] -36992794880*x3662[=0] -33268473984*x3663[=0] -38681661952*x3664[=0] -44094849920*x3665[=0] -49508037888*x3666[=0] -54921225856*x3667[=0] -60334413824*x3668[=0] -16561367808*x3669[=0] -19361383424*x3670[=0] -22161399040*x3671[=0] -24961414656*x3672[=0] -27761430272*x3673[=0] -30561445888*x3674[=0] -33361461504*x3675[=0] -36161477120*x3676[=0] -38961492736*x3677[=0] -41761508352*x3678[=0] -32275295616*x3679[=0] -37592846848*x3680[=0] -42910398080*x3681[=0] -48227949312*x3682[=0] -53545500544*x3683[=0] -58863051776*x3684[=0] -64180603008*x3685[=0] -69498154240*x3686[=0] -17830429056*x3687[=0] -20752647168*x3688[=0] -23674865280*x3689[=0] -26597083392*x3690[=0] -29519301504*x3691[=0] -32441519616*x3692[=0] -35363737728*x3693[=0] -38285955840*x3694[=0] -35660858112*x3695[=0] -41505294336*x3696[=0] -47349730560*x3697[=0] -53194166784*x3698[=0] -59038603008*x3699[=0] -64883039232*x3700[=0] -15272515200*x3701[=0] -17747545600*x3702[=0] -20222576000*x3703[=0] -22697606400*x3704[=0] -25172636800*x3705[=0] -27647667200*x3706[=0] -30122697600*x3707[=0] -32597728000*x3708[=0] -35072758400*x3709[=0] -37547788800*x3710[=0] -30545030400*x3711[=0] -35495091200*x3712[=0] -40445152000*x3713[=0] -45395212800*x3714[=0] -50345273600*x3715[=0] -55295334400*x3716[=0] -60245395200*x3717[=0] -65195456000*x3718[=0] -13010275584*x3861[=0] -15267466752*x3862[=0] -17524657920*x3863[=0] -19781849088*x3864[=0] -22039040256*x3865[=0] -24296231424*x3866[=0] -26553422592*x3867[=0] -28810613760*x3868[=0] -31067804928*x3869[=0] -33324996096*x3870[=0] -25173111168*x3871[=0] -29405013504*x3872[=0] -33636915840*x3873[=0] -37868818176*x3874[=0] -42100720512*x3875[=0] -46332622848*x3876[=0] -50564525184*x3877[=0] -54796427520*x3878[=0] -16561367808*x3879[=0] -19361383424*x3880[=0] -22161399040*x3881[=0] -24961414656*x3882[=0] -27761430272*x3883[=0] -30561445888*x3884[=0] -33361461504*x3885[=0] -36161477120*x3886[=0] -32275295616*x3887[=0] -37592846848*x3888[=0] -42910398080*x3889[=0] -48227949312*x3890[=0] -53545500544*x3891[=0] -58863051776*x3892[=0] -10397185152*x3916[=0] -12201875456*x3917[=0] -14006565760*x3918[=0] -15811256064*x3919[=0] -17615946368*x3920[=0] -19420636672*x3921[=0] -21225326976*x3922[=0] -23030017280*x3923[=0] -24834707584*x3924[=0] -26639397888*x3925[=0] -19946930304*x3926[=0] -23273830912*x3927[=0] -26600731520*x3928[=0] -29927632128*x3929[=0] -33254532736*x3930[=0] -36581433344*x3931[=0] -39908333952*x3932[=0] -43235234560*x3933[=0] -13948277376*x3934[=0] -16295792128*x3935[=0] -18643306880*x3936[=0] -20990821632*x3937[=0] -23338336384*x3938[=0] -25685851136*x3939[=0] -28033365888*x3940[=0] -30380880640*x3941[=0] -27049114752*x3942[=0] -31461664256*x3943[=0] -35874213760*x3944[=0] -40286763264*x3945[=0] -44699312768*x3946[=0] -49111862272*x3947[=0] -13672394496*x3966[=0] -15993343488*x3967[=0] -18314292480*x3968[=0] -20635241472*x3969[=0] -22956190464*x3970[=0] -25277139456*x3971[=0] -27598088448*x3972[=0] -29919037440*x3973[=0] -32239986432*x3974[=0] -34560935424*x3975[=0] -26497348992*x3976[=0] -30856766976*x3977[=0] -35216184960*x3978[=0] -39575602944*x3979[=0] -43935020928*x3980[=0] -48294438912*x3981[=0] -52653856896*x3982[=0] -57013274880*x3983[=0] -17223486720*x3984[=0] -20087260160*x3985[=0] -22951033600*x3986[=0] -25814807040*x3987[=0] -28678580480*x3988[=0] -31542353920*x3989[=0] -34406127360*x3990[=0] -37269900800*x3991[=0] -33599533440*x3992[=0] -39044600320*x3993[=0] -44489667200*x3994[=0] -49934734080*x3995[=0] -55379800960*x3996[=0] -60824867840*x3997[=0] -6846092928*x4012[=0] -8107958784*x4013[=0] -9369824640*x4014[=0] -10631690496*x4015[=0] -11893556352*x4016[=0] -13155422208*x4017[=0] -14417288064*x4018[=0] -15679153920*x4019[=0] -16941019776*x4020[=0] -18202885632*x4021[=0] -12844745856*x4022[=0] -15085997568*x4023[=0] -17327249280*x4024[=0] -19568500992*x4025[=0] -21809752704*x4026[=0] -24051004416*x4027[=0] -26292256128*x4028[=0] -28533507840*x4029[=0] -17885605632*x4030[=0] -20813136896*x4031[=0] -23740668160*x4032[=0] -26668199424*x4033[=0] -29595730688*x4034[=0] -32523261952*x4035[=0] -35450793216*x4036[=0] -38378324480*x4037[=0] -41305855744*x4038[=0] -44233387008*x4039[=0] -35771211264*x4040[=0] -41626273792*x4041[=0] -47481336320*x4042[=0] -53336398848*x4043[=0] -59191461376*x4044[=0] -65046523904*x4045[=0] -70901586432*x4046[=0] -76756648960*x4047[=0] -10783421184*x4147[=0] -12625303552*x4148[=0] -14467185920*x4149[=0] -16309068288*x4150[=0] -18150950656*x4151[=0] -19992833024*x4152[=0] -21834715392*x4153[=0] -23676597760*x4154[=0] -25518480128*x4155[=0] -27360362496*x4156[=0] -21566842368*x4157[=0] -25250607104*x4158[=0] -28934371840*x4159[=0] -32618136576*x4160[=0] -36301901312*x4161[=0] -39985666048*x4162[=0] -43669430784*x4163[=0] -11280010368*x4336[=0] -13169711104*x4337[=0] -15059411840*x4338[=0] -16949112576*x4339[=0] -18838813312*x4340[=0] -20728514048*x4341[=0] -22618214784*x4342[=0] -24507915520*x4343[=0] -22560020736*x4344[=0] -26339422208*x4345[=0] -30118823680*x4346[=0] -33898225152*x4347[=0] -37677626624*x4348[=0] -41457028096*x4349[=0] -14279336832*x4545[=0] -16658730496*x4546[=0] -19038124160*x4547[=0] -21417517824*x4548[=0] -23796911488*x4549[=0] -26176305152*x4550[=0] -28555698816*x4551[=0] -30935092480*x4552[=0] -28558673664*x4553[=0] -33317460992*x4554[=0] -38076248320*x4555[=0] -42835035648*x4556[=0] -47593822976*x4557[=0] -52352610304*x4558[=0] -14224160256*x4559[=0] -16598240768*x4560[=0] -18972321280*x4561[=0] -21346401792*x4562[=0] -23720482304*x4563[=0] -26094562816*x4564[=0] -28468643328*x4565[=0] -30842723840*x4566[=0] -28448320512*x4567[=0] -33196481536*x4568[=0] -37944642560*x4569[=0] -42692803584*x4570[=0] -47440964608*x4571[=0] -52189125632*x4572[=0] -13727571072*x4573[=0] -16053833216*x4574[=0] -18380095360*x4575[=0] -20706357504*x4576[=0] -23032619648*x4577[=0] -25358881792*x4578[=0] -27685143936*x4579[=0] -30011406080*x4580[=0] -32337668224*x4581[=0] -34663930368*x4582[=0] -27455142144*x4583[=0] -32107666432*x4584[=0] -36760190720*x4585[=0] -41412715008*x4586[=0] -46065239296*x4587[=0] -50717763584*x4588[=0] -55370287872*x4589[=0] -60022812160*x4590[=0] -14996632320*x4591[=0] -17445096960*x4592[=0] -19893561600*x4593[=0] -22342026240*x4594[=0] -24790490880*x4595[=0] -27238955520*x4596[=0] -29687420160*x4597[=0] -32135884800*x4598[=0] -29993264640*x4599[=0] -34890193920*x4600[=0] -39787123200*x4601[=0] -44684052480*x4602[=0] -49580981760*x4603[=0] -54477911040*x4604[=0] -13286158464*x4605[=0] -15569915392*x4606[=0] -17853672320*x4607[=0] -20137429248*x4608[=0] -22421186176*x4609[=0] -24704943104*x4610[=0] -26988700032*x4611[=0] -29272456960*x4612[=0] -31556213888*x4613[=0] -33839970816*x4614[=0] -25724876928*x4615[=0] -30009910784*x4616[=0] -34294944640*x4617[=0] -38579978496*x4618[=0] -42865012352*x4619[=0] -47150046208*x4620[=0] -51435080064*x4621[=0] -55720113920*x4622[=0] -13396511616*x4664[=0] -15690894848*x4665[=0] -17985278080*x4666[=0] -20279661312*x4667[=0] -22574044544*x4668[=0] -24868427776*x4669[=0] -27162811008*x4670[=0] -29457194240*x4671[=0] -25945583232*x4672[=0] -30251869696*x4673[=0] -34558156160*x4674[=0] -38864442624*x4675[=0] -43170729088*x4676[=0] -47477015552*x4677[=0] -11059304064*x4746[=0] -12927752192*x4747[=0] -14796200320*x4748[=0] -16664648448*x4749[=0] -18533096576*x4750[=0] -20401544704*x4751[=0] -22269992832*x4752[=0] -24138440960*x4753[=0] -22118608128*x4754[=0] -25855504384*x4755[=0] -29592400640*x4756[=0] -33329296896*x4757[=0] -37066193152*x4758[=0] -40803089408*x4759[=0] -10397185152*x4880[=0] -12201875456*x4881[=0] -14006565760*x4882[=0] -15811256064*x4883[=0] -17615946368*x4884[=0] -19420636672*x4885[=0] -21225326976*x4886[=0] -23030017280*x4887[=0] -19946930304*x4888[=1] -23273830912*x4889[=0] -26600731520*x4890[=0] -29927632128*x4891[=0] -33254532736*x4892[=0] -36581433344*x4893[=0] -9900595968*x4894[=0] -11657467904*x4895[=0] -13414339840*x4896[=0] -15171211776*x4897[=0] -16928083712*x4898[=0] -18684955648*x4899[=0] -20441827584*x4900[=0] -22198699520*x4901[=0] -23955571456*x4902[=0] -25712443392*x4903[=0] -18953751936*x4904[=0] -22185015808*x4905[=0] -25416279680*x4906[=0] -28647543552*x4907[=0] -31878807424*x4908[=0] -35110071296*x4909[=0] -38341335168*x4910[=0] -41572599040*x4911[=0] -11169657216*x4912[=0] -13048731648*x4913[=0] -14927806080*x4914[=0] -16806880512*x4915[=0] -18685954944*x4916[=0] -20565029376*x4917[=0] -22444103808*x4918[=0] -24323178240*x4919[=0] -22339314432*x4920[=0] -26097463296*x4921[=0] -29855612160*x4922[=0] -33613761024*x4923[=0] -37371909888*x4924[=0] -41130058752*x4925[=0] -9459183360*x4926[=0] -11173550080*x4927[=0] -12887916800*x4928[=0] -14602283520*x4929[=0] -16316650240*x4930[=0] -18031016960*x4931[=0] -19745383680*x4932[=0] -21459750400*x4933[=0] -23174117120*x4934[=0] -24888483840*x4935[=0] -18070926720*x4936[=0] -21217180160*x4937[=0] -24363433600*x4938[=0] -27509687040*x4939[=0] -30655940480*x4940[=0] -33802193920*x4941[=0] -36948447360*x4942[=0] -40094700800*x4943[=0] -11721422976*x5018[=0] -13653628928*x5019[=0] -15585834880*x5020[=0] -17518040832*x5021[=0] -19450246784*x5022[=0] -21382452736*x5023[=0] -23314658688*x5024[=0] -25246864640*x5025[=0] -23442845952*x5026[=0] -27307257856*x5027[=0] -31171669760*x5028[=0] -35036081664*x5029[=0] -38900493568*x5030[=0] -42764905472*x5031[=0] -11666246400*x5125[=0] -13593139200*x5126[=0] -15520032000*x5127[=0] -17446924800*x5128[=0] -19373817600*x5129[=0] -21300710400*x5130[=0] -23227603200*x5131[=0] -25154496000*x5132[=0] -23332492800*x5133[=0] -27186278400*x5134[=0] -31040064000*x5135[=0] -34893849600*x5136[=0] -38747635200*x5137[=0] -42601420800*x5138[=0] -14941455744*x5170[=0] -17384607232*x5171[=0] -19827758720*x5172[=0] -22270910208*x5173[=0] -24714061696*x5174[=0] -27157213184*x5175[=0] -29600364672*x5176[=0] -32043516160*x5177[=0] -29882911488*x5178[=0] -34769214464*x5179[=0] -39655517440*x5180[=0] -44541820416*x5181[=0] -49428123392*x5182[=0] -54314426368*x5183[=0] -8115154176*x5195[=0] -9499222528*x5196[=0] -10883290880*x5197[=0] -12267359232*x5198[=0] -13651427584*x5199[=0] -15035495936*x5200[=0] -16419564288*x5201[=0] -17803632640*x5202[=0] -16230308352*x5203[=0] -18998445056*x5204[=0] -21766581760*x5205[=0] -24534718464*x5206[=0] -27302855168*x5207[=0] -30070991872*x5208[=0] -20002106880*x5223[=0] -23334320640*x5224[=0] -26666534400*x5225[=0] -29998748160*x5226[=0] -33330961920*x5227[=0] -36663175680*x5228[=0] -39995389440*x5229[=0] -43327603200*x5230[=0] -39156773760*x5231[=0] -45538721280*x5232[=0] -51920668800*x5233[=0] -58302616320*x5234[=0] -64684563840*x5235[=0] -71066511360*x5236[=0] -11611069824*x5293[=0] -13532649472*x5294[=0] -15454229120*x5295[=0] -17375808768*x5296[=0] -19297388416*x5297[=0] -21218968064*x5298[=0] -23140547712*x5299[=0] -25062127360*x5300[=0] -23222139648*x5301[=0] -27065298944*x5302[=0] -30908458240*x5303[=0] -34751617536*x5304[=0] -38594776832*x5305[=0] -42437936128*x5306[=0] -7563388416*x5307[=0] -8894325248*x5308[=0] -10225262080*x5309[=0] -11556198912*x5310[=0] -12887135744*x5311[=0] -14218072576*x5312[=0] -15549009408*x5313[=0] -16879946240*x5314[=0] -18210883072*x5315[=0] -19541819904*x5316[=0] -15126776832*x5317[=0] -17788650496*x5318[=0] -20450524160*x5319[=0] -23112397824*x5320[=0] -25774271488*x5321[=0] -28436145152*x5322[=0] -31098018816*x5323[=0] -14886279168*x5341[=0] -17324117504*x5342[=0] -19761955840*x5343[=0] -22199794176*x5344[=0] -24637632512*x5345[=0] -27075470848*x5346[=0] -29513309184*x5347[=0] -31951147520*x5348[=0] -29772558336*x5349[=0] -34648235008*x5350[=0] -39523911680*x5351[=0] -44399588352*x5352[=0] -49275265024*x5353[=0] -54150941696*x5354[=0] -13782747648*x5372[=0] -16114322944*x5373[=0] -18445898240*x5374[=0] -20777473536*x5375[=0] -23109048832*x5376[=0] -25440624128*x5377[=0] -27772199424*x5378[=0] -30103774720*x5379[=0] -26718055296*x5380[=0] -31098725888*x5381[=0] -35479396480*x5382[=0] -39860067072*x5383[=0] -44240737664*x5384[=0] -48621408256*x5385[=0] -8059977600*x5386[=0] -9438732800*x5387[=0] -10817488000*x5388[=0] -12196243200*x5389[=0] -13574998400*x5390[=0] -14953753600*x5391[=0] -16332508800*x5392[=0] -17711264000*x5393[=0] -16119955200*x5394[=0] -18877465600*x5395[=0] -21634976000*x5396[=0] -24392486400*x5397[=0] -27149996800*x5398[=0] -29907507200*x5399[=0] -19946930304*x5400[=0] -23273830912*x5401[=0] -26600731520*x5402[=0] -29927632128*x5403[=0] -33254532736*x5404[=0] -36581433344*x5405[=0] -39908333952*x5406[=0] -43235234560*x5407[=0] -39046420608*x5408[=0] -45417741824*x5409[=0] -51789063040*x5410[=0] -58160384256*x5411[=0] -64531705472*x5412[=0] -70903026688*x5413[=0] -11114480640*x5437[=0] -12988241920*x5438[=0] -14862003200*x5439[=0] -16735764480*x5440[=0] -18609525760*x5441[=0] -20483287040*x5442[=0] -22357048320*x5443[=0] -24230809600*x5444[=0] -26104570880*x5445[=0] -27978332160*x5446[=0] -22228961280*x5447[=0] -25976483840*x5448[=0] -29724006400*x5449[=0] -33471528960*x5450[=0] -37219051520*x5451[=0] -40966574080*x5452[=0] -44714096640*x5453[=0] -48461619200*x5454[=0] -13230981888*x5455[=0] -15509425664*x5456[=0] -17787869440*x5457[=0] -20066313216*x5458[=0] -22344756992*x5459[=0] -24623200768*x5460[=0] -26901644544*x5461[=0] -29180088320*x5462[=0] -25614523776*x5463[=0] -29888931328*x5464[=0] -34163338880*x5465[=0] -38437746432*x5466[=0] -42712153984*x5467[=0] -46986561536*x5468[=0] -7066799232*x5469[=0] -8349917696*x5470[=0] -9633036160*x5471[=0] -10916154624*x5472[=0] -12199273088*x5473[=0] -13482391552*x5474[=0] -14765510016*x5475[=0] -16048628480*x5476[=0] -17331746944*x5477[=0] -18614865408*x5478[=0] -14133598464*x5479[=0] -16699835392*x5480[=0] -19266072320*x5481[=0] -21832309248*x5482[=0] -24398546176*x5483[=0] -26964783104*x5484[=0] -29531020032*x5485[=0] -32097256960*x5486[=0] -8335860480*x5487[=0] -9741181440*x5488[=0] -11146502400*x5489[=0] -12551823360*x5490[=0] -13957144320*x5491[=0] -15362465280*x5492[=0] -16767786240*x5493[=0] -18173107200*x5494[=0] -19578428160*x5495[=0] -20983749120*x5496[=0] -16671720960*x5497[=0] -19482362880*x5498[=0] -22293004800*x5499[=0] -25103646720*x5500[=0] -27914288640*x5501[=0] -30724930560*x5502[=0] -33535572480*x5503[=0] -14389689984*x5553[=0] -16779709952*x5554[=0] -19169729920*x5555[=0] -21559749888*x5556[=0] -23949769856*x5557[=0] -26339789824*x5558[=0] -28729809792*x5559[=0] -31119829760*x5560[=0] -33509849728*x5561[=0] -35899869696*x5562[=0] -28779379968*x5563[=0] -33559419904*x5564[=0] -38339459840*x5565[=0] -43119499776*x5566[=0] -47899539712*x5567[=0] -52679579648*x5568[=0] -57459619584*x5569[=0] -62239659520*x5570[=0] -16506191232*x5571[=0] -19300893696*x5572[=0] -22095596160*x5573[=0] -24890298624*x5574[=0] -27685001088*x5575[=0] -30479703552*x5576[=0] -33274406016*x5577[=0] -36069108480*x5578[=0] -32164942464*x5579[=0] -37471867392*x5580[=0] -42778792320*x5581[=0] -48085717248*x5582[=0] -53392642176*x5583[=0] -58699567104*x5584[=0] -13286158464*x5636[=0] -15569915392*x5637[=0] -17853672320*x5638[=0] -20137429248*x5639[=0] -22421186176*x5640[=0] -24704943104*x5641[=0] -26988700032*x5642[=0] -29272456960*x5643[=0] -31556213888*x5644[=0] -33839970816*x5645[=0] -25724876928*x5646[=0] -30009910784*x5647[=0] -34294944640*x5648[=0] -38579978496*x5649[=0] -42865012352*x5650[=0] -47150046208*x5651[=0] -51435080064*x5652[=0] -55720113920*x5653[=0] -7563388416*x5654[=0] -8894325248*x5655[=0] -10225262080*x5656[=0] -11556198912*x5657[=0] -12887135744*x5658[=0] -14218072576*x5659[=0] -15549009408*x5660[=0] -16879946240*x5661[=0] -18210883072*x5662[=0] -19541819904*x5663[=0] -15126776832*x5664[=0] -17788650496*x5665[=0] -20450524160*x5666[=0] -23112397824*x5667[=0] -25774271488*x5668[=0] -28436145152*x5669[=0] -31098018816*x5670[=0] -33759892480*x5671[=0] -9679889664*x5672[=0] -11415508992*x5673[=0] -13151128320*x5674[=0] -14886747648*x5675[=0] -16622366976*x5676[=0] -18357986304*x5677[=0] -20093605632*x5678[=0] -21829224960*x5679[=0] -18512339328*x5680[=0] -21701097984*x5681[=0] -24889856640*x5682[=0] -28078615296*x5683[=0] -31267373952*x5684[=0] -34456132608*x5685[=0] -19450341120*x5686[=0] -22729423360*x5687[=0] -26008505600*x5688[=0] -29287587840*x5689[=0] -32566670080*x5690[=0] -35845752320*x5691[=0] -39124834560*x5692[=0] -42403916800*x5693[=0] -45682999040*x5694[=0] -48962081280*x5695[=0] -38053242240*x5696[=0] -44328926720*x5697[=0] -50604611200*x5698[=0] -56880295680*x5699[=0] -63155980160*x5700[=0] -69431664640*x5701[=0] -75707349120*x5702[=0] -81983033600*x5703[=0] -10673068032*x5722[=0] -12504324096*x5723[=0] -14335580160*x5724[=0] -16166836224*x5725[=0] -17998092288*x5726[=0] -19829348352*x5727[=0] -21660604416*x5728[=0] -23491860480*x5729[=0] -25323116544*x5730[=0] -27154372608*x5731[=0] -20498696064*x5732[=0] -23878728192*x5733[=0] -27258760320*x5734[=0] -30638792448*x5735[=0] -34018824576*x5736[=0] -37398856704*x5737[=0] -40778888832*x5738[=0] -44158920960*x5739[=0] -6625386624*x5758[=0] -7865999872*x5759[=0] -9106613120*x5760[=0] -10347226368*x5761[=0] -11587839616*x5762[=0] -12828452864*x5763[=0] -14069066112*x5764[=0] -15309679360*x5765[=0] -16550292608*x5766[=0] -17790905856*x5767[=0] -12403333248*x5768[=0] -14602079744*x5769[=0] -16800826240*x5770[=0] -18999572736*x5771[=0] -21198319232*x5772[=0] -23397065728*x5773[=0] -25595812224*x5774[=0] -27794558720*x5775[=0] -13948277376*x5844[=0] -16295792128*x5845[=0] -18643306880*x5846[=0] -20990821632*x5847[=0] -23338336384*x5848[=0] -25685851136*x5849[=0] -28033365888*x5850[=0] -30380880640*x5851[=0] -32728395392*x5852[=0] -35075910144*x5853[=0] -27049114752*x5854[=0] -31461664256*x5855[=0] -35874213760*x5856[=0] -40286763264*x5857[=0] -44699312768*x5858[=0] -49111862272*x5859[=0] -53524411776*x5860[=0] -57936961280*x5861[=0] -16009602048*x5880[=0] -18756486144*x5881[=0] -21503370240*x5882[=0] -24250254336*x5883[=0] -26997138432*x5884[=0] -29744022528*x5885[=0] -32490906624*x5886[=0] -35237790720*x5887[=0] -37984674816*x5888[=0] -40731558912*x5889[=0] -31171764096*x5890[=0] -36383052288*x5891[=0] -41594340480*x5892[=0] -46805628672*x5893[=0] -52016916864*x5894[=0] -57228205056*x5895[=0] -62439493248*x5896[=0] -67650781440*x5897[=0] -12844745856*x5918[=0] -15085997568*x5919[=0] -17327249280*x5920[=0] -19568500992*x5921[=0] -21809752704*x5922[=0] -24051004416*x5923[=0] -26292256128*x5924[=0] -28533507840*x5925[=0] -30774759552*x5926[=0] -33016011264*x5927[=0] -24842051712*x5928[=0] -29042075136*x5929[=0] -33242098560*x5930[=0] -37442121984*x5931[=0] -41642145408*x5932[=0] -45842168832*x5933[=0] -50042192256*x5934[=0] -54242215680*x5935[=0] -7121975808*x5936[=0] -8410407424*x5937[=0] -9698839040*x5938[=0] -10987270656*x5939[=0] -12275702272*x5940[=0] -13564133888*x5941[=0] -14852565504*x5942[=0] -16140997120*x5943[=0] -17429428736*x5944[=0] -18717860352*x5945[=0] -13396511616*x5946[=1] -15690894848*x5947[=0] -17985278080*x5948[=0] -20279661312*x5949[=0] -22574044544*x5950[=0] -24868427776*x5951[=0] -27162811008*x5952[=0] -29457194240*x5953[=0] -18161488512*x5972[=0] -21115585536*x5973[=0] -24069682560*x5974[=0] -27023779584*x5975[=0] -29977876608*x5976[=0] -32931973632*x5977[=0] -35886070656*x5978[=0] -38840167680*x5979[=0] -41794264704*x5980[=0] -44748361728*x5981[=0] -36322977024*x5982[=0] -42231171072*x5983[=0] -48139365120*x5984[=0] -54047559168*x5985[=0] -59955753216*x5986[=0] -65863947264*x5987[=0] -71772141312*x5988[=0] -77680335360*x5989[=0] -10783421184*x6031[=0] -12625303552*x6032[=0] -14467185920*x6033[=0] -16309068288*x6034[=0] -18150950656*x6035[=0] -19992833024*x6036[=0] -21834715392*x6037[=0] -23676597760*x6038[=0] -20719402368*x6039[=0] -24120687104*x6040[=0] -27521971840*x6041[=0] -30923256576*x6042[=0] -34324541312*x6043[=0] -37725826048*x6044[=0] -8446213632*x6155[=0] -9862160896*x6156[=0] -11278108160*x6157[=0] -12694055424*x6158[=0] -14110002688*x6159[=0] -15525949952*x6160[=0] -16941897216*x6161[=0] -18357844480*x6162[=0] -16892427264*x6163[=0] -19724321792*x6164[=0] -22556216320*x6165[=0] -25388110848*x6166[=0] -28220005376*x6167[=0] -31051899904*x6168[=0] -9735066240*x6262[=0] -11475998720*x6263[=0] -13216931200*x6264[=0] -14957863680*x6265[=0] -16698796160*x6266[=0] -18439728640*x6267[=0] -20180661120*x6268[=0] -21921593600*x6269[=0] -23662526080*x6270[=0] -25403458560*x6271[=0] -18622692480*x6272[=0] -21822077440*x6273[=0] -25021462400*x6274[=0] -28220847360*x6275[=0] -31420232320*x6276[=0] -34619617280*x6277[=0] -37819002240*x6278[=0] -14058630528*x6347[=0] -16416771584*x6348[=0] -18774912640*x6349[=0] -21133053696*x6350[=0] -23491194752*x6351[=0] -25849335808*x6352[=0] -28207476864*x6353[=0] -30565617920*x6354[=0] -27269821056*x6355[=0] -31703623168*x6356[=0] -36137425280*x6357[=0] -40571227392*x6358[=0] -45005029504*x6359[=0] -49438831616*x6360[=0] -7232328960*x6389[=0] -8531386880*x6390[=0] -9830444800*x6391[=0] -11129502720*x6392[=0] -12428560640*x6393[=0] -13727618560*x6394[=0] -15026676480*x6395[=0] -16325734400*x6396[=0] -13617217920*x6397[=0] -15932853760*x6398[=0] -18248489600*x6399[=0] -20564125440*x6400[=0] -22879761280*x6401[=0] -25195397120*x6402[=0] -18271841664*x6403[=0] -21236564992*x6404[=0] -24201288320*x6405[=0] -27166011648*x6406[=0] -30130734976*x6407[=0] -33095458304*x6408[=0] -36060181632*x6409[=0] -39024904960*x6410[=0] -36543683328*x6411[=0] -42473129984*x6412[=0] -48402576640*x6413[=0] -54332023296*x6414[=0] -60261469952*x6415[=0] -66190916608*x6416[=0] -11721422976*x6709[=0] -13653628928*x6710[=0] -15585834880*x6711[=0] -17518040832*x6712[=0] -19450246784*x6713[=0] -21382452736*x6714[=0] -23314658688*x6715[=0] -25246864640*x6716[=0] -23442845952*x6717[=0] -27307257856*x6718[=0] -31171669760*x6719[=0] -35036081664*x6720[=0] -38900493568*x6721[=0] -42764905472*x6722[=0] -13782747648*x6895[=0] -16114322944*x6896[=0] -18445898240*x6897[=0] -20777473536*x6898[=0] -23109048832*x6899[=0] -25440624128*x6900[=0] -27772199424*x6901[=0] -30103774720*x6902[=0] -26718055296*x6903[=0] -31098725888*x6904[=0] -35479396480*x6905[=0] -39860067072*x6906[=0] -44240737664*x6907[=0] -48621408256*x6908[=0] -10231655424*x7021[=0] -12020406272*x7022[=0] -13809157120*x7023[=0] -15597907968*x7024[=0] -17386658816*x7025[=0] -19175409664*x7026[=0] -20964160512*x7027[=0] -22752911360*x7028[=0] -19615870848*x7029[=0] -22910892544*x7030[=0] -26205914240*x7031[=0] -29500935936*x7032[=0] -32795957632*x7033[=0] -36090979328*x7034[=0] -4895121408*x7127[=0] -5768244224*x7128[=0] -6641367040*x7129[=0] -7514489856*x7130[=0] -8387612672*x7131[=0] -9260735488*x7132[=0] -10133858304*x7133[=0] -11006981120*x7134[=0] -9790242816*x7135[=0] -11536488448*x7136[=0] -13282734080*x7137[=0] -15028979712*x7138[=0] -16775225344*x7139[=0] -18521470976*x7140[=0] -16782074112*x7141[=0] -19603342336*x7142[=0] -22424610560*x7143[=0] -25245878784*x7144[=0] -28067147008*x7145[=0] -30888415232*x7146[=0] -33709683456*x7147[=0] -36530951680*x7148[=0] -32716708224*x7149[=0] -38076764672*x7150[=0] -43436821120*x7151[=0] -48796877568*x7152[=0] -54156934016*x7153[=0] -59516990464*x7154[=0] -10617891456*x3012[=0] -12443834368*x3013[=0] -14269777280*x3014[=0] -16095720192*x3015[=0] -17921663104*x3016[=0] -19747606016*x3017[=0] -21573548928*x3018[=0] -23399491840*x3019[=0] -20388342912*x3020[=0] -23757748736*x3021[=0] -27127154560*x3022[=0] -30496560384*x3023[=0] -33865966208*x3024[=0] -37235372032*x3025[=0] -11997305856*x3040[=0] -13956077568*x3041[=0] -15914849280*x3042[=0] -17873620992*x3043[=0] -19832392704*x3044[=0] -21791164416*x3045[=0] -23749936128*x3046[=0] -25708707840*x3047[=0] -23994611712*x3048[=0] -27912155136*x3049[=0] -31829698560*x3050[=0] -35747241984*x3051[=0] -39664785408*x3052[=0] -43582328832*x3053[=0] -12273188736*x3086[=0] -14258526208*x3087[=0] -16243863680*x3088[=0] -18229201152*x3089[=0] -20214538624*x3090[=0] -22199876096*x3091[=0] -24185213568*x3092[=0] -26170551040*x3093[=0] -24546377472*x3094[=0] -28517052416*x3095[=0] -32487727360*x3096[=0] -36458402304*x3097[=0] -40429077248*x3098[=0] -44399752192*x3099[=0] -10010949120*x3114[=0] -11778447360*x3115[=0] -13545945600*x3116[=0] -15313443840*x3117[=0] -17080942080*x3118[=0] -18848440320*x3119[=0] -20615938560*x3120[=0] -22383436800*x3121[=0] -19174458240*x3122[=0] -22426974720*x3123[=0] -25679491200*x3124[=0] -28932007680*x3125[=0] -32184524160*x3126[=0] -35437040640*x3127[=0] -5336534016*x3128[=0] -6252162048*x3129[=0] -7167790080*x3130[=0] -8083418112*x3131[=0] -8999046144*x3132[=0] -9914674176*x3133[=0] -10830302208*x3134[=0] -11745930240*x3135[=0] -10673068032*x3136[=1] -12504324096*x3137[=0] -14335580160*x3138[=0] -16166836224*x3139[=0] -17998092288*x3140[=0] -19829348352*x3141[=0] -7397858688*x3217[=0] -8712856064*x3218[=0] -10027853440*x3219[=0] -11342850816*x3220[=0] -12657848192*x3221[=0] -13972845568*x3222[=0] -15287842944*x3223[=0] -16602840320*x3224[=0] -13948277376*x3225[=0] -16295792128*x3226[=0] -18643306880*x3227[=0] -20990821632*x3228[=0] -23338336384*x3229[=0] -25685851136*x3230[=0] -10673068032*x3276[=0] -12504324096*x3277[=0] -14335580160*x3278[=0] -16166836224*x3279[=0] -17998092288*x3280[=0] -19829348352*x3281[=0] -21660604416*x3282[=0] -23491860480*x3283[=0] -20498696064*x3284[=0] -23878728192*x3285[=0] -27258760320*x3286[=0] -30638792448*x3287[=0] -34018824576*x3288[=0] -37398856704*x3289[=0] -17002780416*x3304[=0] -19845301248*x3305[=0] -22687822080*x3306[=0] -25530342912*x3307[=0] -28372863744*x3308[=0] -31215384576*x3309[=0] -34057905408*x3310[=0] -36900426240*x3311[=0] -33158120832*x3312[=0] -38560682496*x3313[=0] -43963244160*x3314[=0] -49365805824*x3315[=0] -54768367488*x3316[=0] -60170929152*x3317[=0] -11886952704*x3318[=0] -13835098112*x3319[=0] -15783243520*x3320[=0] -17731388928*x3321[=0] -19679534336*x3322[=0] -21627679744*x3323[=0] -23575825152*x3324[=0] -25523970560*x3325[=0] -23773905408*x3326[=0] -27670196224*x3327[=0] -31566487040*x3328[=0] -35462777856*x3329[=0] -39359068672*x3330[=0] -43255359488*x3331[=0] -8722096512*x3375[=0] -10164609536*x3376[=0] -11607122560*x3377[=0] -13049635584*x3378[=0] -14492148608*x3379[=0] -15934661632*x3380[=0] -17377174656*x3381[=0] -18819687680*x3382[=0] -17444193024*x3383[=0] -20329219072*x3384[=0] -23214245120*x3385[=0] -26099271168*x3386[=0] -28984297216*x3387[=0] -31869323264*x3388[=0] -3846766464*x3389[=0] -4618939392*x3390[=0] -5391112320*x3391[=0] -6163285248*x3392[=0] -6935458176*x3393[=0] -7707631104*x3394[=0] -8479804032*x3395[=0] -9251976960*x3396[=0] -6846092928*x3397[=0] -8107958784*x3398[=0] -9369824640*x3399[=0] -10631690496*x3400[=0] -11893556352*x3401[=0] -13155422208*x3402[=0] -14886279168*x3403[=0] -17324117504*x3404[=0] -19761955840*x3405[=0] -22199794176*x3406[=0] -24637632512*x3407[=0] -27075470848*x3408[=0] -29513309184*x3409[=0] -31951147520*x3410[=0] -29772558336*x3411[=0] -34648235008*x3412[=0] -39523911680*x3413[=0] -44399588352*x3414[=0] -49275265024*x3415[=0] -54150941696*x3416[=0] -14775926016*x4164[=0] -17203138048*x4165[=0] -19630350080*x4166[=0] -22057562112*x4167[=0] -24484774144*x4168[=0] -26911986176*x4169[=0] -29339198208*x4170[=0] -31766410240*x4171[=0] -34193622272*x4172[=0] -36620834304*x4173[=0] -29551852032*x4174[=0] -34406276096*x4175[=0] -39260700160*x4176[=0] -44115124224*x4177[=0] -48969548288*x4178[=0] -53823972352*x4179[=0] -58678396416*x4180[=0] -11666246400*x4647[=0] -13593139200*x4648[=0] -15520032000*x4649[=0] -17446924800*x4650[=0] -19373817600*x4651[=0] -21300710400*x4652[=0] -23227603200*x4653[=0] -25154496000*x4654[=0] -27081388800*x4655[=0] -29008281600*x4656[=0] -23332492800*x4657[=0] -27186278400*x4658[=0] -31040064000*x4659[=0] -34893849600*x4660[=0] -38747635200*x4661[=0] -42601420800*x4662[=0] -46455206400*x4663[=0] -9900595968*x6014[=0] -11657467904*x6015[=0] -13414339840*x6016[=0] -15171211776*x6017[=0] -16928083712*x6018[=0] -18684955648*x6019[=0] -20441827584*x6020[=0] -22198699520*x6021[=0] -23955571456*x6022[=0] -25712443392*x6023[=0] -18953751936*x6024[=0] -22185015808*x6025[=0] -25416279680*x6026[=0] -28647543552*x6027[=0] -31878807424*x6028[=0] -35110071296*x6029[=0] -38341335168*x6030[=0] -12328365312*x6228[=0] -14319015936*x6229[=0] -16309666560*x6230[=0] -18300317184*x6231[=0] -20290967808*x6232[=0] -22281618432*x6233[=0] -24272269056*x6234[=0] -26262919680*x6235[=0] -28253570304*x6236[=0] -30244220928*x6237[=0] -24656730624*x6238[=0] -28638031872*x6239[=0] -32619333120*x6240[=0] -36600634368*x6241[=0] -40581935616*x6242[=0] -44563236864*x6243[=0] -48544538112*x6244[=0] -14389689984*x6245[=0] -16779709952*x6246[=0] -19169729920*x6247[=0] -21559749888*x6248[=0] -23949769856*x6249[=0] -26339789824*x6250[=0] -28729809792*x6251[=0] -31119829760*x6252[=0] -33509849728*x6253[=0] -35899869696*x6254[=0] -28779379968*x6255[=0] -33559419904*x6256[=0] -38339459840*x6257[=0] -43119499776*x6258[=0] -47899539712*x6259[=0] -52679579648*x6260[=0] -57459619584*x6261[=0] -6349503744*x6279[=0] -7563551232*x6280[=0] -8777598720*x6281[=0] -9991646208*x6282[=0] -11205693696*x6283[=0] -12419741184*x6284[=0] -13633788672*x6285[=0] -14847836160*x6286[=0] -16061883648*x6287[=0] -17275931136*x6288[=0] -11851567488*x6289[=0] -13997182464*x6290[=0] -16142797440*x6291[=0] -18288412416*x6292[=0] -20434027392*x6293[=0] -22579642368*x6294[=0] -24725257344*x6295[=0] -17389016448*x6296[=0] -20268729344*x6297[=0] -23148442240*x6298[=0] -26028155136*x6299[=0] -28907868032*x6300[=0] -31787580928*x6301[=0] -34667293824*x6302[=0] -37547006720*x6303[=0] -40426719616*x6304[=0] -43306432512*x6305[=0] -33930592896*x6306[=0] -39407538688*x6307[=0] -44884484480*x6308[=0] -50361430272*x6309[=0] -55838376064*x6310[=0] -61315321856*x6311[=0] -66792267648*x6312[=0] -3350177280*x3231[=0] -4074531840*x3232[=0] -4798886400*x3233[=0] -5523240960*x3234[=0] -6247595520*x3235[=0] -6971950080*x3236[=0] -7696304640*x3237[=0] -8420659200*x3238[=0] -9145013760*x3239[=0] -9869368320*x3240[=0] -5852914560*x3241[=0] -7019143680*x3242[=0] -8185372800*x3243[=0] -9351601920*x3244[=0] -10517831040*x3245[=0] -11684060160*x3246[=0] -12850289280*x3247[=0] -3350177280*x3445[=0] -4074531840*x3446[=0] -4798886400*x3447[=0] -5852914560*x3448[=1] -7019143680*x3449[=0] -8185372800*x3450[=0] -9845419392*x3451[=0] -11596978176*x3452[=0] -13348536960*x3453[=0] -15100095744*x3454[=0] -16851654528*x3455[=0] -18603213312*x3456[=0] -20354772096*x3457[=0] -22106330880*x3458[=0] -18843398784*x3459[=0] -22064036352*x3460[=0] -25284673920*x3461[=0] -28505311488*x3462[=0] -31725949056*x3463[=0] -34946586624*x3464[=0] -4398532224*x3556[=0] -5223836672*x3557[=0] -6049141120*x3558[=0] -6874445568*x3559[=0] -7699750016*x3560[=0] -8797064448*x3561[=0] -10447673344*x3562[=0] -12098282240*x3563[=0] -13748891136*x3564[=0] -11169657216*x3621[=0] -13048731648*x3622[=0] -14927806080*x3623[=0] -16806880512*x3624[=0] -18685954944*x3625[=0] -20565029376*x3626[=0] -22444103808*x3627[=0] -24323178240*x3628[=0] -22339314432*x3629[=0] -26097463296*x3630[=0] -29855612160*x3631[=0] -33613761024*x3632[=0] -37371909888*x3633[=0] -41130058752*x3634[=0] -13065452160*x3785[=0] -15327956480*x3786[=0] -17590460800*x3787[=0] -19852965120*x3788[=0] -22115469440*x3789[=0] -24377973760*x3790[=0] -26640478080*x3791[=0] -28902982400*x3792[=0] -25283464320*x3793[=0] -29525992960*x3794[=0] -33768521600*x3795[=0] -38011050240*x3796[=0] -42253578880*x3797[=0] -46496107520*x3798[=0] -7784094720*x4080[=0] -9136284160*x4081[=0] -10488473600*x4082[=0] -11840663040*x4083[=0] -13192852480*x4084[=0] -14545041920*x4085[=0] -15897231360*x4086[=0] -17249420800*x4087[=0] -14720749440*x4088[=0] -17142648320*x4089[=0] -19564547200*x4090[=0] -21986446080*x4091[=0] -24408344960*x4092[=0] -26830243840*x4093[=0] -6570210048*x4133[=0] -7805510144*x4134[=0] -9040810240*x4135[=0] -10276110336*x4136[=0] -11511410432*x4137[=0] -12746710528*x4138[=0] -13982010624*x4139[=0] -15217310720*x4140[=0] -12292980096*x4141[=0] -14481100288*x4142[=0] -16669220480*x4143[=0] -18857340672*x4144[=0] -21045460864*x4145[=0] -23233581056*x4146[=0] -9845419392*x4229[=0] -11596978176*x4230[=0] -13348536960*x4231[=0] -15100095744*x4232[=0] -16851654528*x4233[=0] -18603213312*x4234[=0] -20354772096*x4235[=0] -22106330880*x4236[=0] -18843398784*x4237[=0] -22064036352*x4238[=0] -25284673920*x4239[=0] -28505311488*x4240[=0] -31725949056*x4241[=0] -34946586624*x4242[=0] -15327691776*x4257[=0] -17808035328*x4258[=0] -20288378880*x4259[=0] -22768722432*x4260[=0] -25249065984*x4261[=0] -27729409536*x4262[=0] -30209753088*x4263[=0] -32690096640*x4264[=0] -30655383552*x4265[=0] -35616070656*x4266[=0] -40576757760*x4267[=0] -45537444864*x4268[=0] -50498131968*x4269[=0] -55458819072*x4270[=0] -4398532224*x4308[=0] -5223836672*x4309[=0] -6049141120*x4310[=0] -6874445568*x4311[=0] -7699750016*x4312[=0] -8525054464*x4313[=0] -9350358912*x4314[=0] -10175663360*x4315[=0] -7949624448*x4316[=0] -9317753344*x4317[=0] -10685882240*x4318[=0] -12054011136*x4319[=0] -13422140032*x4320[=0] -14790268928*x4321[=0] -10121302272*x4322[=0] -11899426816*x4323[=0] -13677551360*x4324[=0] -15455675904*x4325[=0] -17233800448*x4326[=0] -19011924992*x4327[=0] -20790049536*x4328[=0] -22568174080*x4329[=0] -19395164544*x4330[=0] -22668933632*x4331[=0] -25942702720*x4332[=0] -29216471808*x4333[=0] -32490240896*x4334[=0] -35764009984*x4335[=0] -14058630528*x4350[=0] -16416771584*x4351[=0] -18774912640*x4352[=0] -21133053696*x4353[=0] -23491194752*x4354[=0] -25849335808*x4355[=0] -28207476864*x4356[=0] -30565617920*x4357[=0] -27269821056*x4358[=0] -31703623168*x4359[=0] -36137425280*x4360[=0] -40571227392*x4361[=0] -45005029504*x4362[=0] -49438831616*x4363[=0] -9679889664*x5004[=0] -11415508992*x5005[=0] -13151128320*x5006[=0] -14886747648*x5007[=0] -16622366976*x5008[=0] -18357986304*x5009[=0] -20093605632*x5010[=0] -21829224960*x5011[=0] -18512339328*x5012[=0] -21701097984*x5013[=0] -24889856640*x5014[=0] -28078615296*x5015[=0] -31267373952*x5016[=0] -34456132608*x5017[=0] -9735066240*x5111[=0] -11475998720*x5112[=0] -13216931200*x5113[=0] -14957863680*x5114[=0] -16698796160*x5115[=0] -18439728640*x5116[=0] -20180661120*x5117[=0] -21921593600*x5118[=0] -18622692480*x5119[=0] -21822077440*x5120[=0] -25021462400*x5121[=0] -28220847360*x5122[=0] -31420232320*x5123[=0] -34619617280*x5124[=0] -13010275584*x5156[=0] -15267466752*x5157[=0] -17524657920*x5158[=0] -19781849088*x5159[=0] -22039040256*x5160[=0] -24296231424*x5161[=0] -26553422592*x5162[=0] -28810613760*x5163[=0] -25173111168*x5164[=0] -29405013504*x5165[=0] -33636915840*x5166[=0] -37868818176*x5167[=0] -42100720512*x5168[=0] -46332622848*x5169[=0] -17223486720*x5209[=0] -20087260160*x5210[=0] -22951033600*x5211[=0] -25814807040*x5212[=0] -28678580480*x5213[=0] -31542353920*x5214[=0] -34406127360*x5215[=0] -37269900800*x5216[=0] -33599533440*x5217[=0] -39044600320*x5218[=0] -44489667200*x5219[=0] -49934734080*x5220[=0] -55379800960*x5221[=0] -60824867840*x5222[=0] -10893774336*x5622[=0] -12746283008*x5623[=0] -14598791680*x5624[=0] -16451300352*x5625[=0] -18303809024*x5626[=0] -20156317696*x5627[=0] -22008826368*x5628[=0] -23861335040*x5629[=0] -21787548672*x5630[=0] -25492566016*x5631[=0] -29197583360*x5632[=0] -32902600704*x5633[=0] -36607618048*x5634[=0] -40312635392*x5635[=0] -10617891456*x6045[=0] -12443834368*x6046[=0] -14269777280*x6047[=0] -16095720192*x6048[=0] -17921663104*x6049[=0] -19747606016*x6050[=0] -21573548928*x6051[=0] -23399491840*x6052[=0] -21235782912*x6053[=0] -24887668736*x6054[=0] -28539554560*x6055[=0] -32191440384*x6056[=0] -35843326208*x6057[=0] -39495212032*x6058[=0] -7618564992*x6123[=0] -8954814976*x6124[=0] -10291064960*x6125[=0] -11627314944*x6126[=0] -12963564928*x6127[=0] -14299814912*x6128[=0] -15636064896*x6129[=0] -16972314880*x6130[=0] -15237129984*x6131[=0] -17909629952*x6132[=0] -20582129920*x6133[=0] -23254629888*x6134[=0] -25927129856*x6135[=0] -28599629824*x6136[=0] -13893100800*x6361[=0] -16235302400*x6362[=0] -18577504000*x6363[=0] -20919705600*x6364[=0] -23261907200*x6365[=0] -25604108800*x6366[=0] -27946310400*x6367[=0] -30288512000*x6368[=0] -27786201600*x6369[=0] -32470604800*x6370[=0] -37155008000*x6371[=0] -41839411200*x6372[=0] -46523814400*x6373[=0] -51208217600*x6374[=0] -18106311936*x6417[=0] -21055095808*x6418[=0] -24003879680*x6419[=0] -26952663552*x6420[=0] -29901447424*x6421[=0] -32850231296*x6422[=0] -35799015168*x6423[=0] -38747799040*x6424[=0] -36212623872*x6425[=0] -42110191616*x6426[=0] -48007759360*x6427[=0] -53905327104*x6428[=0] -59802894848*x6429[=0] -65700462592*x6430[=0] -10893774336*x6677[=0] -12746283008*x6678[=0] -14598791680*x6679[=0] -16451300352*x6680[=0] -18303809024*x6681[=0] -20156317696*x6682[=0] -22008826368*x6683[=0] -23861335040*x6684[=0] -21787548672*x6685[=0] -25492566016*x6686[=0] -29197583360*x6687[=0] -32902600704*x6688[=0] -36607618048*x6689[=0] -40312635392*x6690[=0] -16230308352*x6723[=0] -18998445056*x6724[=0] -21766581760*x6725[=0] -24534718464*x6726[=0] -27302855168*x6727[=0] -30070991872*x6728[=0] -32839128576*x6729[=0] -35607265280*x6730[=0] -31613176704*x6731[=0] -36866970112*x6732[=0] -42120763520*x6733[=0] -47374556928*x6734[=0] -52628350336*x6735[=0] -57882143744*x6736[=0] -17223486720*x6845[=0] -20087260160*x6846[=0] -22951033600*x6847[=0] -25814807040*x6848[=0] -28678580480*x6849[=0] -31542353920*x6850[=0] -34406127360*x6851[=0] -37269900800*x6852[=0] -34446973440*x6853[=0] -40174520320*x6854[=0] -45902067200*x6855[=0] -51629614080*x6856[=0] -57357160960*x6857[=0] -63084707840*x6858[=0] -6294327168*x7007[=0] -7503061504*x7008[=0] -8711795840*x7009[=0] -9920530176*x7010[=0] -11129264512*x7011[=0] -12337998848*x7012[=0] -13546733184*x7013[=0] -14755467520*x7014[=0] -11741214336*x7015[=0] -13876203008*x7016[=0] -16011191680*x7017[=0] -18146180352*x7018[=0] -20281169024*x7019[=0] -22416157696*x7020[=0] -11169657216*x7035[=0] -13048731648*x7036[=0] -14927806080*x7037[=0] -16806880512*x7038[=0] -18685954944*x7039[=0] -20565029376*x7040[=0] -22444103808*x7041[=0] -24323178240*x7042[=0] -22339314432*x7043[=0] -26097463296*x7044[=0] -29855612160*x7045[=0] -33613761024*x7046[=0] -37371909888*x7047[=0] -41130058752*x7048[=0] -15106985472*x7049[=0] -17566076416*x7050[=0] -20025167360*x7051[=0] -22484258304*x7052[=0] -24943349248*x7053[=0] -27402440192*x7054[=0] -29861531136*x7055[=0] -32320622080*x7056[=0] -30213970944*x7057[=0] -35132152832*x7058[=0] -40050334720*x7059[=0] -44968516608*x7060[=0] -49886698496*x7061[=0] -54804880384*x7062[=0] -2963941248*x3545[=0] -3651103744*x3546[=0] -4338266240*x3547[=0] -5025428736*x3548[=0] -5712591232*x3549[=0] -6399753728*x3550[=0] -5080442496*x3551[=0] -6172287488*x3552[=0] -7264132480*x3553[=0] -8355977472*x3554[=0] -9447822464*x3555[=1] -10783421184*x3771[=0] -12625303552*x3772[=0] -14467185920*x3773[=0] -16309068288*x3774[=0] -18150950656*x3775[=0] -19992833024*x3776[=0] -21834715392*x3777[=0] -23676597760*x3778[=0] -21566842368*x3779[=0] -25250607104*x3780[=0] -28934371840*x3781[=0] -32618136576*x3782[=0] -36301901312*x3783[=0] -39985666048*x3784[=0] -7397858688*x4990[=0] -8712856064*x4991[=0] -10027853440*x4992[=0] -11342850816*x4993[=0] -12657848192*x4994[=0] -13972845568*x4995[=0] -15287842944*x4996[=0] -16602840320*x4997[=0] -13948277376*x4998[=0] -16295792128*x4999[=0] -18643306880*x5000[=0] -20990821632*x5001[=0] -23338336384*x5002[=0] -25685851136*x5003[=0] -6183974016*x6109[=0] -7382082048*x6110[=0] -8580190080*x6111[=0] -9778298112*x6112[=0] -10976406144*x6113[=0] -12174514176*x6114[=0] -13372622208*x6115[=0] -14570730240*x6116[=0] -11520508032*x6117[=0] -13634244096*x6118[=0] -15747980160*x6119[=0] -17861716224*x6120[=0] -19975452288*x6121[=0] -22089188352*x6122[=0] -8611743360*x6663[=0] -10043630080*x6664[=0] -11475516800*x6665[=0] -12907403520*x6666[=0] -14339290240*x6667[=0] -15771176960*x6668[=0] -17203063680*x6669[=0] -18634950400*x6670[=0] -17223486720*x6671[=0] -20087260160*x6672[=0] -22951033600*x6673[=0] -25814807040*x6674[=0] -28678580480*x6675[=0] -31542353920*x6676[=0] -14941455744*x6831[=0] -17384607232*x6832[=0] -19827758720*x6833[=0] -22270910208*x6834[=0] -24714061696*x6835[=0] -27157213184*x6836[=0] -29600364672*x6837[=0] -32043516160*x6838[=0] -29882911488*x6839[=0] -34769214464*x6840[=0] -39655517440*x6841[=0] -44541820416*x6842[=0] -49428123392*x6843[=0] -54314426368*x6844[=0] -4012296192*x6909[=0] -4800408576*x6910[=0] -5588520960*x6911[=0] -6376633344*x6912[=0] -7164745728*x6913[=0] -7952858112*x6914[=0] -8740970496*x6915[=0] -9529082880*x6916[=0] -7177152384*x6917[=0] -8470897152*x6918[=0] -9764641920*x6919[=0] -11058386688*x6920[=0] -12352131456*x6921[=0] -13645876224*x6922[=0] -9735066240*x6923[=0] -11475998720*x6924[=0] -13216931200*x6925[=0] -14957863680*x6926[=0] -16698796160*x6927[=0] -18439728640*x6928[=0] -20180661120*x6929[=0] -21921593600*x6930[=0] -18622692480*x6931[=0] -21822077440*x6932[=0] -25021462400*x6933[=0] -28220847360*x6934[=0] -31420232320*x6935[=0] -34619617280*x6936[=0] -13672394496*x6937[=0] -15993343488*x6938[=0] -18314292480*x6939[=0] -20635241472*x6940[=0] -22956190464*x6941[=0] -25277139456*x6942[=0] -27598088448*x6943[=0] -29919037440*x6944[=0] -26497348992*x6945[=0] -30856766976*x6946[=0] -35216184960*x6947[=0] -39575602944*x6948[=0] -43935020928*x6949[=0] -48294438912*x6950[=0] -4067472768*x3483[=0] -4860898304*x3484[=0] -5654323840*x3485[=0] -6447749376*x3486[=0] -7241174912*x3487[=0] -8034600448*x3488[=0] -8828025984*x3489[=0] -9621451520*x3490[=0] -7287505536*x3491[=0] -8591876608*x3492[=0] -9896247680*x3493[=0] -11200618752*x3494[=0] -12504989824*x3495[=0] -13809360896*x3496[=0] -7342682112*x3531[=0] -8652366336*x3532[=0] -9962050560*x3533[=0] -11271734784*x3534[=0] -12581419008*x3535[=0] -13891103232*x3536[=0] -15200787456*x3537[=0] -16510471680*x3538[=0] -13837924224*x3539[=0] -16174812672*x3540[=0] -18511701120*x3541[=0] -20848589568*x3542[=0] -23185478016*x3543[=0] -25522366464*x3544[=1] -7618564992*x3565[=0] -8954814976*x3566[=0] -10291064960*x3567[=0] -11627314944*x3568[=0] -12963564928*x3569[=0] -14299814912*x3570[=0] -15636064896*x3571[=0] -16972314880*x3572[=0] -14389689984*x3573[=0] -16779709952*x3574[=0] -19169729920*x3575[=0] -21559749888*x3576[=0] -23949769856*x3577[=0] -26339789824*x3578[=0] -11555893248*x3579[=0] -13472159744*x3580[=0] -15388426240*x3581[=0] -17304692736*x3582[=0] -19220959232*x3583[=0] -21137225728*x3584[=0] -23053492224*x3585[=0] -24969758720*x3586[=0] -23111786496*x3587[=0] -26944319488*x3588[=0] -30776852480*x3589[=0] -34609385472*x3590[=0] -38441918464*x3591[=0] -42274451456*x3592[=0] -8059977600*x3635[=0] -9438732800*x3636[=0] -10817488000*x3637[=0] -12196243200*x3638[=0] -13574998400*x3639[=0] -14953753600*x3640[=0] -16119955200*x3641[=0] -18877465600*x3642[=0] -21634976000*x3643[=0] -24392486400*x3644[=0] -27149996800*x3645[=0] -5446887168*x3737[=0] -6373141504*x3738[=0] -7299395840*x3739[=0] -8225650176*x3740[=0] -9151904512*x3741[=0] -10078158848*x3742[=0] -10893774336*x3743[=0] -12746283008*x3744[=0] -14598791680*x3745[=0] -16451300352*x3746[=0] -18303809024*x3747[=0] -2171677824*x3765[=0] -2581673472*x3766[=0] -2991669120*x3767[=0] -3401664768*x3768[=0] -4343355648*x3769[=0] -5163346944*x3770[=0] -8997979392*x3799[=0] -10467058176*x3800[=0] -11936136960*x3801[=0] -13405215744*x3802[=0] -14874294528*x3803[=0] -16343373312*x3804[=0] -17812452096*x3805[=0] -17995958784*x3806[=0] -20934116352*x3807[=0] -23872273920*x3808[=0] -26810431488*x3809[=0] -29748589056*x3810[=0] -13065452160*x4717[=0] -15327956480*x4718[=0] -17590460800*x4719[=0] -19852965120*x4720[=0] -22115469440*x4721[=0] -24377973760*x4722[=0] -25283464320*x4723[=0] -29525992960*x4724[=0] -33768521600*x4725[=0] -38011050240*x4726[=0] -42253578880*x4727[=0] -10948950912*x4772[=0] -12806772736*x4773[=0] -14664594560*x4774[=0] -16522416384*x4775[=0] -18380238208*x4776[=0] -20238060032*x4777[=0] -21050461824*x4778[=0] -24483625472*x4779[=0] -27916789120*x4780[=0] -31349952768*x4781[=0] -34783116416*x4782[=0] -10397185152*x5044[=0] -12201875456*x5045[=0] -14006565760*x5046[=0] -15811256064*x5047[=0] -17615946368*x5048[=0] -19420636672*x5049[=0] -19946930304*x5050[=0] -23273830912*x5051[=0] -26600731520*x5052[=0] -29927632128*x5053[=0] -33254532736*x5054[=0] -10452361728*x6098[=0] -12262365184*x6099[=0] -14072368640*x6100[=0] -15882372096*x6101[=0] -17692375552*x6102[=0] -19502379008*x6103[=0] -20057283456*x6104[=0] -23394810368*x6105[=0] -26732337280*x6106[=0] -30069864192*x6107[=0] -33407391104*x6108[=0] -8335860480*x6195[=0] -9741181440*x6196[=0] -11146502400*x6197[=0] -12551823360*x6198[=0] -13957144320*x6199[=0] -15362465280*x6200[=0] -16671720960*x6201[=0] -19482362880*x6202[=0] -22293004800*x6203[=0] -25103646720*x6204[=0] -27914288640*x6205[=0] -7177152384*x6657[=1] -8470897152*x6658[=0] -9764641920*x6659[=0] -11058386688*x6660[=0] -13506864768*x6661[=0] -15811874304*x6662[=0] -5060651136*x6763[=0] -5949713408*x6764[=0] -6838775680*x6765[=0] -7727837952*x6766[=0] -10121302272*x6767[=0] -11899426816*x6768[=0] -14003453952*x6859[=0] -16356281856*x6860[=0] -18709109760*x6861[=0] -21061937664*x6862[=0] -23414765568*x6863[=0] -25767593472*x6864[=0] -28120421376*x6865[=0] -27159467904*x6866[=0] -31582643712*x6867[=0] -36005819520*x6868[=0] -40428995328*x6869[=0] -44852171136*x6870[=0] -10507538304*x7183[=0] -12322854912*x7184[=0] -14138171520*x7185[=0] -15953488128*x7186[=0] -17768804736*x7187[=0] -19584121344*x7188[=0] -21399437952*x7189[=0] -23214754560*x7190[=0] -20167636608*x7191[=0] -23515789824*x7192[=0] -26863943040*x7193[=0] -30212096256*x7194[=0] -33560249472*x7195[=0] -36908402688*x7196[=0] -11886952704*x7225[=0] -13835098112*x7226[=0] -15783243520*x7227[=0] -17731388928*x7228[=0] -19679534336*x7229[=0] -21627679744*x7230[=0] -23575825152*x7231[=0] -23773905408*x7232[=0] -27670196224*x7233[=0] -31566487040*x7234[=0] -35462777856*x7235[=0] -39359068672*x7236[=0] -3736413312*x3811[=0] -4497959936*x3812[=0] -5259506560*x3813[=0] -6021053184*x3814[=0] -6625386624*x3815[=0] -7865999872*x3816[=0] -3350177280*x3835[=0] -4074531840*x3836[=0] -4798886400*x3837[=0] -5523240960*x3838[=0] -5852914560*x3839[=0] -7019143680*x3840[=0] -4674415104*x5077[=1] -5526285312*x5078[=0] -6378155520*x5079[=0] -7230025728*x5080[=0] -9348830208*x5081[=0] -11052570624*x5082[=0] -3019117824*x3841[=0] -3711593472*x3842[=0] -4404069120*x3843[=0] -5096544768*x3844[=0] -5190795648*x3845[=0] -6293266944*x3846[=0] -8907417600*x3847[=0] -10568652800*x3848[=0] -12229888000*x3849[=0] -13891123200*x3850[=0] -15552358400*x3851[=0] -17213593600*x3852[=0] -18874828800*x3853[=0] -20536064000*x3854[=0] -16967395200*x3855[=0] -20007385600*x3856[=0] -23047376000*x3857[=0] -26087366400*x3858[=0] -29127356800*x3859[=0] -32167347200*x3860[=0] -4839944832*x3893[=0] -5707754496*x3894[=0] -6575564160*x3895[=0] -7443373824*x3896[=0] -8311183488*x3897[=0] -9178993152*x3898[=0] -10046802816*x3899[=0] -10914612480*x3900[=0] -9679889664*x3901[=0] -11415508992*x3902[=0] -13151128320*x3903[=0] -14886747648*x3904[=0] -16622366976*x3905[=0] -18357986304*x3906[=0] -7011622656*x3998[=0] -8289427968*x3999[=0] -9567233280*x4000[=0] -10845038592*x4001[=0] -12122843904*x4002[=0] -13400649216*x4003[=0] -14678454528*x4004[=0] -15956259840*x4005[=0] -13175805312*x4006[=0] -15448935936*x4007[=0] -17722066560*x4008[=0] -19995197184*x4009[=0] -22268327808*x4010[=0] -24541458432*x4011[=0] -4012296192*x4094[=0] -4800408576*x4095[=0] -5588520960*x4096[=0] -6376633344*x4097[=0] -7164745728*x4098[=0] -7952858112*x4099[=0] -8024592384*x4100[=0] -9600817152*x4101[=0] -11177041920*x4102[=0] -12753266688*x4103[=0] -14329491456*x4104[=0] -7342682112*x4105[=0] -8652366336*x4106[=0] -9962050560*x4107[=0] -11271734784*x4108[=0] -12581419008*x4109[=0] -13891103232*x4110[=0] -15200787456*x4111[=0] -16510471680*x4112[=0] -14685364224*x4113[=0] -17304732672*x4114[=0] -19924101120*x4115[=0] -22543469568*x4116[=0] -25162838016*x4117[=0] -27782206464*x4118[=0] -5742561408*x4181[=0] -6898164224*x4182[=0] -8053767040*x4183[=0] -9209369856*x4184[=0] -10364972672*x4185[=0] -11520575488*x4186[=0] -12676178304*x4187[=0] -13831781120*x4188[=0] -10637682816*x4189[=0] -12666408448*x4190[=0] -14695134080*x4191[=0] -16723859712*x4192[=0] -18752585344*x4193[=0] -20781310976*x4194[=0] -2743234944*x4271[=0] -3409144832*x4272[=0] -4075054720*x4273[=0] -4740964608*x4274[=0] -5406874496*x4275[=0] -4639029888*x4276[=0] -5688369664*x4277[=0] -6737709440*x4278[=0] -7787049216*x4279[=1] -7232328960*x4294[=0] -8531386880*x4295[=0] -9830444800*x4296[=0] -11129502720*x4297[=0] -12428560640*x4298[=0] -13727618560*x4299[=0] -15026676480*x4300[=0] -16325734400*x4301[=0] -14464657920*x4302[=0] -17062773760*x4303[=0] -19660889600*x4304[=0] -22259005440*x4305[=0] -24857121280*x4306[=0] -27455237120*x4307[=0] -8446213632*x4403[=1] -9862160896*x4404[=0] -11278108160*x4405[=0] -12694055424*x4406[=0] -16892427264*x4407[=0] -19724321792*x4408[=0] -22556216320*x4409[=0] -25388110848*x4410[=0] -3405353856*x4515[=1] -4135021568*x4516[=0] -4864689280*x4517[=0] -5594356992*x4518[=0] -5963267712*x4519[=0] -7140123136*x4520[=0] -8316978560*x4521[=0] -9493833984*x4522[=0] -10176478848*x4871[=0] -11959916544*x4872[=0] -13743354240*x4873[=0] -15526791936*x4874[=0] -17310229632*x4875[=0] -19505517696*x4876[=0] -22789913088*x4877[=0] -26074308480*x4878[=0] -29358703872*x4879[=0] -6459856896*x6822[=0] -7684530688*x6823[=0] -8909204480*x6824[=0] -10133878272*x6825[=0] -11358552064*x6826[=0] -12072273792*x6827[=0] -14239141376*x6828[=0] -16406008960*x6829[=0] -18572876544*x6830[=0] -4288179072*x7279[=0] -5102857216*x7280[=0] -5917535360*x7281[=0] -6732213504*x7282[=0] -7546891648*x7283[=0] -8576358144*x7284[=0] -10205714432*x7285[=0] -11835070720*x7286[=0] -13464427008*x7287[=0] -4674415104*x4534[=0] -5526285312*x4535[=0] -6378155520*x4536[=0] -7230025728*x4537[=0] -8081895936*x4538[=0] -8933766144*x4539[=0] -9348830208*x4540[=0] -11052570624*x4541[=0] -12756311040*x4542[=0] -14460051456*x4543[=0] -16163791872*x4544[=0] -3460530432*x4641[=0] -4195511296*x4642[=0] -4930492160*x4643[=0] -6073620864*x4644[=1] -7261102592*x4645[=0] -8448584320*x4646[=0] -6735739776*x4695[=0] -7986979328*x4696[=0] -9238218880*x4697[=0] -10489458432*x4698[=0] -11740697984*x4699[=0] -12991937536*x4700[=0] -12624039552*x4701[=0] -14844038656*x4702[=0] -17064037760*x4703[=0] -19284036864*x4704[=0] -21504035968*x4705[=0] -7011622656*x4760[=0] -8289427968*x4761[=0] -9567233280*x4762[=0] -10845038592*x4763[=0] -12122843904*x4764[=0] -13400649216*x4765[=0] -14678454528*x4766[=0] -13175805312*x4767[=0] -15448935936*x4768[=0] -17722066560*x4769[=0] -19995197184*x4770[=0] -22268327808*x4771[=0] -4564061952*x4836[=0] -5405305856*x4837[=0] -6246549760*x4838[=0] -7087793664*x4839[=0] -9128123904*x4840[=0] -10810611712*x4841[=0] -6735739776*x4865[=0] -7986979328*x4866[=0] -9238218880*x4867[=0] -10489458432*x4868[=0] -12624039552*x4869[=0] -14844038656*x4870[=0] -5336534016*x4979[=0] -6252162048*x4980[=0] -7167790080*x4981[=0] -8083418112*x4982[=0] -8999046144*x4983[=0] -9914674176*x4984[=0] -10673068032*x4985[=0] -12504324096*x4986[=0] -14335580160*x4987[=0] -16166836224*x4988[=0] -17998092288*x4989[=0] -4398532224*x6183[=0] -5223836672*x6184[=0] -6049141120*x6185[=0] -6874445568*x6186[=0] -7699750016*x6187[=0] -8525054464*x6188[=0] -9350358912*x6189[=0] -7949624448*x6190[=0] -9317753344*x6191[=0] -10685882240*x6192[=0] -12054011136*x6193[=0] -13422140032*x6194[=1] -7673741568*x6751[=0] -9015304704*x6752[=0] -10356867840*x6753[=0] -11698430976*x6754[=0] -13039994112*x6755[=0] -14381557248*x6756[=0] -15723120384*x6757[=0] -14500043136*x6758[=0] -16900689408*x6759[=0] -19301335680*x6760[=0] -21701981952*x6761[=0] -24102628224*x6762[=0] -6570210048*x7169[=0] -7805510144*x7170[=0] -9040810240*x7171[=0] -10276110336*x7172[=0] -11511410432*x7173[=0] -12746710528*x7174[=0] -13982010624*x7175[=0] -15217310720*x7176[=0] -12292980096*x7177[=0] -14481100288*x7178[=0] -16669220480*x7179[=0] -18857340672*x7180[=0] -21045460864*x7181[=0] -23233581056*x7182[=0] -3184647552*x5032[=1] -3893062656*x5033[=0] -4601477760*x5034[=0] -5309892864*x5035[=0] -6018307968*x5036[=0] -6726723072*x5037[=0] -7435138176*x5038[=0] -5521855104*x5039[=0] -6656205312*x5040[=0] -7790555520*x5041[=0] -8924905728*x5042[=0] -10059255936*x5043[=0] -4122649344*x5265[=0] -4921388032*x5266[=0] -5720126720*x5267[=0] -6518865408*x5268[=0] -7317604096*x5269[=0] -8116342784*x5270[=0] -8915081472*x5271[=0] -9713820160*x5272[=0] -8245298688*x5273[=0] -9842776064*x5274[=0] -11440253440*x5275[=0] -13037730816*x5276[=0] -14635208192*x5277[=0] -16232685568*x5278[=0] -4012296192*x5369[=0] -7177152384*x5370[=0] -8470897152*x5371[=0] -4177825920*x5083[=0] -4981877760*x5084[=0] -5785929600*x5085[=0] -6589981440*x5086[=0] -7394033280*x5087[=0] -8198085120*x5088[=0] -9002136960*x5089[=0] -9806188800*x5090[=0] -8355651840*x5091[=0] -9963755520*x5092[=0] -11571859200*x5093[=0] -13179962880*x5094[=0] -14788066560*x5095[=0] -16396170240*x5096[=0] -6294327168*x5585[=0] -7503061504*x5586[=0] -8711795840*x5587[=0] -9920530176*x5588[=0] -11129264512*x5589[=0] -12337998848*x5590[=0] -13546733184*x5591[=0] -14755467520*x5592[=0] -11741214336*x5593[=0] -13876203008*x5594[=0] -16011191680*x5595[=0] -18146180352*x5596[=0] -20281169024*x5597[=0] -22416157696*x5598[=0] -3846766464*x6375[=0] -4618939392*x6376[=0] -5391112320*x6377[=0] -6163285248*x6378[=0] -6935458176*x6379[=0] -7707631104*x6380[=0] -8479804032*x6381[=0] -9251976960*x6382[=0] -6846092928*x6383[=0] -8107958784*x6384[=0] -9369824640*x6385[=0] -10631690496*x6386[=0] -11893556352*x6387[=0] -13155422208*x6388[=0] -5336534016*x6993[=0] -6252162048*x6994[=0] -7167790080*x6995[=0] -8083418112*x6996[=0] -8999046144*x6997[=0] -9914674176*x6998[=0] -10830302208*x6999[=0] -11745930240*x7000[=0] -10673068032*x7001[=0] -12504324096*x7002[=0] -14335580160*x7003[=0] -16166836224*x7004[=0] -17998092288*x7005[=0] -19829348352*x7006[=0] -2963941248*x5184[=0] -3651103744*x5185[=0] -4338266240*x5186[=0] -5025428736*x5187[=0] -5712591232*x5188[=0] -6399753728*x5189[=0] -5080442496*x5190[=0] -6172287488*x5191[=0] -7264132480*x5192[=0] -8355977472*x5193[=0] -9447822464*x5194[=0] -3295000704*x5504[=0] -4014042112*x5505[=0] -4733083520*x5506[=0] -5452124928*x5507[=0] -6171166336*x5508[=0] -6890207744*x5509[=0] -7609249152*x5510[=0] -8328290560*x5511[=0] -5742561408*x5512[=0] -6898164224*x5513[=0] -8053767040*x5514[=0] -9209369856*x5515[=0] -10364972672*x5516[=0] -11520575488*x5517[=0] -4784768256*x5608[=0] -5647264768*x5609[=0] -6509761280*x5610[=0] -7372257792*x5611[=0] -8234754304*x5612[=0] -9097250816*x5613[=0] -9959747328*x5614[=0] -10822243840*x5615[=0] -9569536512*x5616[=0] -11294529536*x5617[=0] -13019522560*x5618[=0] -14744515584*x5619[=0] -16469508608*x5620[=0] -18194501632*x5621[=0] -3405353856*x5912[=0] -4135021568*x5913[=0] -4864689280*x5914[=0] -5963267712*x5915[=0] -7140123136*x5916[=0] -8316978560*x5917[=0] -3019117824*x6008[=1] -3711593472*x6009[=0] -4404069120*x6010[=0] -5096544768*x6011[=0] -5190795648*x6012[=0] -6293266944*x6013[=0] -4122649344*x6076[=0] -4921388032*x6077[=0] -5720126720*x6078[=0] -6518865408*x6079[=0] -7317604096*x6080[=0] -8116342784*x6081[=0] -7397858688*x6082[=0] -8712856064*x6083[=0] -10027853440*x6084[=0] -11342850816*x6085[=0] -12657848192*x6086[=0] -6294327168*x6737[=0] -7503061504*x6738[=0] -8711795840*x6739[=0] -9920530176*x6740[=0] -11129264512*x6741[=0] -12337998848*x6742[=0] -13546733184*x6743[=0] -14755467520*x6744[=0] -11741214336*x6745[=0] -13876203008*x6746[=0] -16011191680*x6747[=0] -18146180352*x6748[=0] -20281169024*x6749[=0] -22416157696*x6750[=0] -3019117824*x6169[=0] -3711593472*x6170[=0] -4404069120*x6171[=0] -5096544768*x6172[=0] -5789020416*x6173[=0] -6481496064*x6174[=0] -7173971712*x6175[=0] -7866447360*x6176[=0] -5190795648*x6177[=0] -6293266944*x6178[=0] -7395738240*x6179[=0] -8498209536*x6180[=0] -9600680832*x6181[=0] -10703152128*x6182[=0] -2963941248*x6871[=0] -3651103744*x6872[=0] -4338266240*x6873[=0] -5025428736*x6874[=0] -5080442496*x6875[=0] -6172287488*x6876[=0] = 83886000000000