PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-swath.opb
MD5SUM	12b1872758bf5ca9bcca815eb287b5de
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	16777216000000
Number of bits of the biggest number in a constraint	44
Biggest sum of numbers in a constraint	66042304016951
Number of bits of the biggest sum of numbers	46
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.236963
Number of variables	9155
Total number of constraints	7608
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	7147
Number of constraints which are nor clauses,nor cardinality constraints	461
Minimum length of a constraint	1
Maximum length of a constraint	6754
Trace number 41150

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 07:07:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29221 boxname=wulflinc1 idbench=1005 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  12b1872758bf5ca9bcca815eb287b5de  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-swath.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-swath.opb
IDLAUNCH: 29221
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        748976 kB
Buffers:         29008 kB
Cached:         232016 kB
SwapCached:       1184 kB
Active:          43708 kB
Inactive:       219564 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        748724 kB
SwapTotal:     2097136 kB
SwapFree:      2094812 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16712 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 07:07:46 (client local time) WITH STATUS 0 IN 0.234963 SECONDS
stats: 29221 7 0.234963 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +15625*x1_bit_10 +31250*x1_bit_9 +62500*x1_bit_8 +125000*x1_bit_7 +250000*x1_bit_6 +500000*x1_bit_5 +1000000*x1_bit_4 +2000000*x1_bit_3 +4000000*x1_bit_2 +8000000*x1_bit_1 +16000000*x1_bit0 +32000000*x1_bit1 +64000000*x1_bit2 +128000000*x1_bit3 +256000000*x1_bit4 +512000000*x1_bit5 +1024000000*x1_bit6 +2048000000*x1_bit7 +4096000000*x1_bit8 +8192000000*x1_bit9 +16384000000*x1_bit10 +32768000000*x1_bit11 +65536000000*x1_bit12 +131072000000*x1_bit13 +262144000000*x1_bit14 +524288000000*x1_bit15 +1048576000000*x1_bit16 +2097152000000*x1_bit17 +4194304000000*x1_bit18 +8388608000000*x1_bit19 +16777216000000*x1_bit20 -17865084800*x82_bit0 -440960240*x83_bit0 -466029136*x84_bit0 -450440944*x85_bit0 -423564224*x86_bit0 -438042224*x87_bit0 -438938896*x88_bit0 -451037264*x89_bit0 -450185392*x90_bit0 -468760416*x91_bit0 -425739504*x92_bit0 -421252512*x93_bit0 -465026464*x94_bit0 -470574800*x95_bit0 -453503328*x96_bit0 -419763456*x97_bit0 -439338304*x98_bit0 -558935920*x99_bit0 -539597648*x100_bit0 -515455520*x101_bit0 -536219296*x102_bit0 -529039184*x103_bit0 -556984688*x104_bit0 -545626272*x105_bit0 -516653056*x106_bit0 -531665584*x107_bit0 -532635824*x108_bit0 -541350784*x109_bit0 -540405984*x110_bit0 -562068416*x111_bit0 -514675536*x112_bit0 -511507568*x113_bit0 -559328416*x114_bit0 -1383207808*x115_bit0 -1886888000*x116_bit0 -1785640000*x117_bit0 -1233374144*x118_bit0 -1318584144*x119_bit0 -1628570080*x120_bit0 -1827819840*x121_bit0 -1564168752*x122_bit0 -1775861280*x123_bit0 -1224441456*x124_bit0 -1375421040*x125_bit0 -1877701440*x126_bit0 -1822106080*x127_bit0 -1561708112*x128_bit0 -1315578016*x129_bit0 -1622051520*x130_bit0 -1747715360*x131_bit0 -1601978240*x132_bit0 -1365570816*x133_bit0 -1537480480*x134_bit0 -1477661504*x135_bit0 -1752120800*x136_bit0 -1642312640*x137_bit0 -1341570144*x138_bit0 -1368968640*x139_bit0 -1536821056*x140_bit0 -1748874880*x141_bit0 -1606705920*x142_bit0 -1659202240*x143_bit0 -1358849376*x144_bit0 -1495181216*x145_bit0 -1769526880*x146_bit0 -1250541824*x147_bit0 -995734672*x148_bit0 -836795104*x149_bit0 -1136307728*x150_bit0 -1110928224*x151_bit0 -1258823248*x152_bit0 -1062155328*x153_bit0 -871800544*x154_bit0 -846403024*x155_bit0 -1150592816*x156_bit0 -1258225984*x157_bit0 -996705280*x158_bit0 -1032097632*x159_bit0 -843956560*x160_bit0 -1084606640*x161_bit0 -1229339968*x162_bit0 -17865084800*x163_bit0 -17865084800*x164_bit0 -17865084800*x165_bit0 -17865084800*x166_bit0 -17865084800*x167_bit0 -17865084800*x168_bit0 -356876032*x169_bit0 -480404992*x170_bit0 -624841008*x171_bit0 -556878272*x172_bit0 -621578160*x173_bit0 -276077472*x174_bit0 -397935104*x175_bit0 -657927712*x176_bit0 -646090688*x177_bit0 -570798544*x178_bit0 -357589536*x179_bit0 -495537360*x180_bit0 -717511344*x181_bit0 -617682800*x182_bit0 -450062544*x183_bit0 -595757808*x184_bit0 -440990976*x185_bit0 -750963600*x186_bit0 -711682848*x187_bit0 -322554640*x188_bit0 -454041008*x189_bit0 -581802096*x190_bit0 -697162480*x191_bit0 -608110144*x192_bit0 -724153008*x193_bit0 -323131312*x194_bit0 -419376976*x195_bit0 -753708528*x196_bit0 -1204932384*x197_bit0 -1694539200*x198_bit0 -1591237248*x199_bit0 -1043113744*x200_bit0 -1124240128*x201_bit0 -1451203776*x202_bit0 -1642411040*x203_bit0 -1370529728*x204_bit0 -1581455328*x205_bit0 -1034419728*x206_bit0 -1197659760*x207_bit0 -1685440640*x208_bit0 -1636399680*x209_bit0 -1368205040*x210_bit0 -1121288752*x211_bit0 -1444263024*x212_bit0 -1558532240*x213_bit0 -1407598896*x214_bit0 -1172183440*x215_bit0 -1354538080*x216_bit0 -1293978240*x217_bit0 -1561257552*x218_bit0 -1447964672*x219_bit0 -1149037728*x220_bit0 -1175275568*x221_bit0 -1352941456*x222_bit0 -1559148896*x223_bit0 -1412298320*x224_bit0 -1464872160*x225_bit0 -1166386832*x226_bit0 -1311460096*x227_bit0 -1578709088*x228_bit0 -1145003056*x229_bit0 -937330368*x230_bit0 -730984016*x231_bit0 -995127552*x232_bit0 -965528608*x233_bit0 -1159550480*x234_bit0 -998327568*x235_bit0 -749312208*x236_bit0 -732275776*x237_bit0 -1005166128*x238_bit0 -1147805232*x239_bit0 -930931984*x240_bit0 -968904752*x241_bit0 -719499280*x242_bit0 -937254704*x243_bit0 -1129497104*x244_bit0 -194409200*x245_bit0 -17865084800*x246_bit0 -17865084800*x247_bit0 -17865084800*x248_bit0 -17865084800*x249_bit0 -17865084800*x250_bit0 -564779856*x251_bit0 -631476384*x252_bit0 -482610944*x253_bit0 -360874992*x254_bit0 -276077776*x255_bit0 -601068144*x256_bit0 -639151584*x257_bit0 -397935216*x258_bit0 -488231808*x259_bit0 -343015392*x260_bit0 -543345328*x261_bit0 -623640656*x262_bit0 -590371872*x263_bit0 -441337536*x264_bit0 -593582288*x265_bit0 -698342240*x266_bit0 -750963600*x267_bit0 -440990976*x268_bit0 -322554640*x269_bit0 -711682848*x270_bit0 -615018352*x271_bit0 -702829008*x272_bit0 -583412704*x273_bit0 -456481120*x274_bit0 -340584384*x275_bit0 -703537024*x276_bit0 -734252336*x277_bit0 -429357216*x278_bit0 -1515864688*x279_bit0 -2053834080*x280_bit0 -1971704160*x281_bit0 -1397140480*x282_bit0 -1508183552*x283_bit0 -1756075200*x284_bit0 -1972082880*x285_bit0 -1759105600*x286_bit0 -1961698720*x287_bit0 -1387568576*x288_bit0 -1507166928*x289_bit0 -2044275520*x290_bit0 -1967198400*x291_bit0 -1757364160*x292_bit0 -1506105408*x293_bit0 -1750506880*x294_bit0 -1903395200*x295_bit0 -1785803840*x296_bit0 -1540893296*x297_bit0 -1678205600*x298_bit0 -1620808160*x299_bit0 -1913555200*x300_bit0 -1825135680*x301_bit0 -1512696768*x302_bit0 -1546223696*x303_bit0 -1679771520*x304_bit0 -1906321760*x305_bit0 -1791991200*x306_bit0 -1841571200*x307_bit0 -1529513824*x308_bit0 -1638214720*x309_bit0 -1930692000*x310_bit0 -1467081120*x311_bit0 -1197087952*x312_bit0 -1056463888*x313_bit0 -1359904752*x314_bit0 -1334708448*x315_bit0 -1473334192*x316_bit0 -1264772032*x317_bit0 -1094097296*x318_bit0 -1067568704*x319_bit0 -1374363008*x320_bit0 -1476131952*x321_bit0 -1201286208*x322_bit0 -1234933824*x323_bit0 -1066631824*x324_bit0 -1308410080*x325_bit0 -1444222800*x326_bit0 -223803456*x327_bit0 -17865084800*x328_bit0 -17865084800*x329_bit0 -17865084800*x330_bit0 -17865084800*x331_bit0 -17865084800*x332_bit0 -650387504*x333_bit0 -554887136*x334_bit0 -336099840*x335_bit0 -510961440*x336_bit0 -435821744*x337_bit0 -657117760*x338_bit0 -596404496*x339_bit0 -239147552*x340_bit0 -335264176*x341_bit0 -496638080*x342_bit0 -629354048*x343_bit0 -540300320*x344_bit0 -433023520*x345_bit0 -598855680*x346_bit0 -704986352*x347_bit0 -588608576*x348_bit0 -711682848*x349_bit0 -322554640*x350_bit0 -440990976*x351_bit0 -750963600*x352_bit0 -725027808*x353_bit0 -598659968*x354_bit0 -428667440*x355_bit0 -612223584*x356_bit0 -462604624*x357_bit0 -749068064*x358_bit0 -699846560*x359_bit0 -326016960*x360_bit0 -1609022560*x361_bit0 -2120970240*x362_bit0 -2019327680*x363_bit0 -1466694816*x364_bit0 -1552021264*x365_bit0 -1853097920*x366_bit0 -2057810400*x367_bit0 -1796031680*x368_bit0 -2009586720*x369_bit0 -1457655872*x370_bit0 -1600906400*x371_bit0 -2111748640*x372_bit0 -2052304320*x373_bit0 -1793343680*x374_bit0 -1548844128*x375_bit0 -1846904320*x376_bit0 -1980185920*x377_bit0 -1836031360*x378_bit0 -1599986176*x379_bit0 -1766134240*x380_bit0 -1706904320*x381_bit0 -1985527680*x382_bit0 -1876447680*x383_bit0 -1575780944*x384_bit0 -1603407040*x385_bit0 -1766103520*x386_bit0 -1981660480*x387_bit0 -1840588800*x388_bit0 -1893371360*x389_bit0 -1593035008*x390_bit0 -1724421280*x391_bit0 -2002905600*x392_bit0 -1394657376*x393_bit0 -1103077264*x394_bit0 -998478960*x395_bit0 -1317888352*x396_bit0 -1296980064*x397_bit0 -1396368144*x398_bit0 -1171283632*x399_bit0 -1045600176*x400_bit0 -1014529008*x401_bit0 -1335845184*x402_bit0 -1407038624*x403_bit0 -1111410432*x404_bit0 -1142184768*x405_bit0 -1020781328*x406_bit0 -1273019840*x407_bit0 -1368325344*x408_bit0 -234438384*x409_bit0 -17865084800*x410_bit0 -17865084800*x411_bit0 -17865084800*x412_bit0 -17865084800*x413_bit0 -17865084800*x414_bit0 -508963360*x415_bit0 -331299936*x416_bit0 -546754864*x417_bit0 -644040000*x418_bit0 -675171888*x419_bit0 -435821664*x420_bit0 -239146912*x421_bit0 -617148544*x422_bit0 -567985840*x423_bit0 -651514960*x424_bit0 -503736048*x425_bit0 -350632560*x426_bit0 -613005168*x427_bit0 -723908640*x428_bit0 -604126272*x429_bit0 -442058656*x430_bit0 -322554640*x431_bit0 -711682848*x432_bit0 -750963600*x433_bit0 -440990976*x434_bit0 -610728208*x435_bit0 -425916112*x436_bit0 -591457152*x437_bit0 -719607200*x438_bit0 -768009472*x439_bit0 -453978784*x440_bit0 -305994976*x441_bit0 -720611072*x442_bit0 -1324347072*x443_bit0 -1777124480*x444_bit0 -1651468640*x445_bit0 -1139490832*x446_bit0 -1185451696*x447_bit0 -1570118064*x448_bit0 -1746617920*x449_bit0 -1419359248*x450_bit0 -1642097760*x451_bit0 -1131704480*x452_bit0 -1317857024*x453_bit0 -1768507360*x454_bit0 -1739993920*x455_bit0 -1415833216*x456_bit0 -1181078432*x457_bit0 -1562631216*x458_bit0 -1653757600*x459_bit0 -1472934192*x460_bit0 -1252351824*x461_bit0 -1465309584*x462_bit0 -1403842176*x463_bit0 -1650911520*x464_bit0 -1514179056*x465_bit0 -1234715760*x466_bit0 -1252959408*x467_bit0 -1461980000*x468_bit0 -1652707040*x469_bit0 -1475538000*x470_bit0 -1531499568*x471_bit0 -1252236896*x472_bit0 -1421114176*x473_bit0 -1668432640*x474_bit0 -1045163360*x475_bit0 -803640160*x476_bit0 -630461968*x477_bit0 -932248112*x478_bit0 -908182288*x479_bit0 -1054520256*x480_bit0 -868125648*x481_bit0 -665629248*x482_bit0 -639847056*x483_bit0 -947664832*x484_bit0 -1052254832*x485_bit0 -801430400*x486_bit0 -838146096*x487_bit0 -638112048*x488_bit0 -882668288*x489_bit0 -1024862896*x490_bit0 -206563088*x491_bit0 -17865084800*x492_bit0 -646446992*x493_bit0 -571311472*x494_bit0 -357927872*x495_bit0 -495676288*x496_bit0 -17865084800*x497_bit0 -17865084800*x498_bit0 -17865084800*x499_bit0 -17865084800*x500_bit0 -357233200*x501_bit0 -480534560*x502_bit0 -625163680*x503_bit0 -557364032*x504_bit0 -621257888*x505_bit0 -275735472*x506_bit0 -397352944*x507_bit0 -657498016*x508_bit0 -723833984*x509_bit0 -322808816*x510_bit0 -418825728*x511_bit0 -753299088*x512_bit0 -717834240*x513_bit0 -618206560*x514_bit0 -450447488*x515_bit0 -595905504*x516_bit0 -440404976*x517_bit0 -750536320*x518_bit0 -711374128*x519_bit0 -322244768*x520_bit0 -454438112*x521_bit0 -581940944*x522_bit0 -697453072*x523_bit0 -608609616*x524_bit0 -1341311280*x525_bit0 -1890931040*x526_bit0 -1821701760*x527_bit0 -1235700144*x528_bit0 -1363933440*x529_bit0 -1579532096*x530_bit0 -1799725920*x531_bit0 -1618203200*x532_bit0 -1811554080*x533_bit0 -1225860624*x534_bit0 -1332395536*x535_bit0 -1881202720*x536_bit0 -1795130560*x537_bit0 -1617210880*x538_bit0 -1362722592*x539_bit0 -1574196432*x540_bit0 -1735544480*x541_bit0 -1634873920*x542_bit0 -1385314464*x543_bit0 -1505494640*x544_bit0 -1449104464*x545_bit0 -1748289760*x546_bit0 -1673240320*x547_bit0 -1354636528*x548_bit0 -1391916480*x549_bit0 -1507788560*x550_bit0 -1739233120*x551_bit0 -1642183680*x552_bit0 -1689255520*x553_bit0 -1371057136*x554_bit0 -1466407344*x555_bit0 -1765242080*x556_bit0 -1440473872*x557_bit0 -1204366144*x558_bit0 -1024156096*x559_bit0 -1299952864*x560_bit0 -1270571760*x561_bit0 -1452240640*x562_bit0 -1269504640*x563_bit0 -1049258624*x564_bit0 -1029029152*x565_bit0 -1310220512*x566_bit0 -1445285808*x567_bit0 -1203027040*x568_bit0 -1239479280*x569_bit0 -1019867104*x570_bit0 -1242321552*x571_bit0 -1422348544*x572_bit0 -218161424*x573_bit0 -17865084800*x574_bit0 -488375648*x575_bit0 -343376304*x576_bit0 -543835120*x577_bit0 -623967376*x578_bit0 -17865084800*x579_bit0 -17865084800*x580_bit0 -17865084800*x581_bit0 -17865084800*x582_bit0 -565302848*x583_bit0 -631833520*x584_bit0 -482747712*x585_bit0 -361241216*x586_bit0 -275735472*x587_bit0 -600761376*x588_bit0 -638729472*x589_bit0 -397352944*x590_bit0 -340252720*x591_bit0 -703231680*x592_bit0 -733852448*x593_bit0 -428810336*x594_bit0 -590524144*x595_bit0 -441736528*x596_bit0 -594084816*x597_bit0 -698638432*x598_bit0 -750536320*x599_bit0 -440404976*x600_bit0 -322244768*x601_bit0 -711374128*x602_bit0 -615550672*x603_bit0 -703149504*x604_bit0 -583556496*x605_bit0 -456883696*x606_bit0 -1585794448*x607_bit0 -2064387040*x608_bit0 -1944211840*x609_bit0 -1419021056*x610_bit0 -1477595040*x611_bit0 -1832024800*x612_bit0 -2021821120*x613_bit0 -1712779840*x614_bit0 -1934784480*x615_bit0 -1410682496*x616_bit0 -1578469760*x617_bit0 -2055572000*x618_bit0 -2015644640*x619_bit0 -1709267360*x620_bit0 -1473429968*x621_bit0 -1825123360*x622_bit0 -1934797920*x623_bit0 -1764751360*x624_bit0 -1539756400*x625_bit0 -1735066240*x626_bit0 -1674332800*x627_bit0 -1934927840*x628_bit0 -1805873280*x629_bit0 -1519887248*x630_bit0 -1541231216*x631_bit0 -1733198560*x632_bit0 -1934689120*x633_bit0 -1767721120*x634_bit0 -1823130880*x635_bit0 -1537373968*x636_bit0 -1691792640*x637_bit0 -1952434240*x638_bit0 -1241544992*x639_bit0 -944181248*x640_bit0 -855186016*x641_bit0 -1180165056*x642_bit0 -1162022640*x643_bit0 -1241586224*x644_bit0 -1012336880*x645_bit0 -907154128*x646_bit0 -873845168*x647_bit0 -1200046080*x648_bit0 -1255196736*x649_bit0 -953531872*x650_bit0 -983479728*x651_bit0 -884373232*x652_bit0 -1139758368*x653_bit0 -1214012784*x654_bit0 -219106720*x655_bit0 -17865084800*x656_bit0 -335656048*x657_bit0 -496742592*x658_bit0 -629650304*x659_bit0 -540802416*x660_bit0 -17865084800*x661_bit0 -17865084800*x662_bit0 -17865084800*x663_bit0 -17865084800*x664_bit0 -650715344*x665_bit0 -555412368*x666_bit0 -336466800*x667_bit0 -511074512*x668_bit0 -435171616*x669_bit0 -656642704*x670_bit0 -596106080*x671_bit0 -238869264*x672_bit0 -461987408*x673_bit0 -748622960*x674_bit0 -699547808*x675_bit0 -325709872*x676_bit0 -433460384*x677_bit0 -598967920*x678_bit0 -705248560*x679_bit0 -589134048*x680_bit0 -711374128*x681_bit0 -322244768*x682_bit0 -440404976*x683_bit0 -750536320*x684_bit0 -725319088*x685_bit0 -599205392*x686_bit0 -429088528*x687_bit0 -612342384*x688_bit0 -1477314576*x689_bit0 -1930060320*x690_bit0 -1799775680*x691_bit0 -1294007520*x692_bit0 -1335219152*x693_bit0 -1723324320*x694_bit0 -1901156480*x695_bit0 -1564906016*x696_bit0 -1790534400*x697_bit0 -1286238400*x698_bit0 -1470672496*x699_bit0 -1921520960*x700_bit0 -1894537920*x701_bit0 -1561009744*x702_bit0 -1330525920*x703_bit0 -1715925600*x704_bit0 -1808088480*x705_bit0 -1622894720*x706_bit0 -1405475552*x707_bit0 -1619489920*x708_bit0 -1558072416*x709_bit0 -1804805600*x710_bit0 -1664264480*x711_bit0 -1388512816*x712_bit0 -1405727088*x713_bit0 -1616288160*x714_bit0 -1806930720*x715_bit0 -1624987680*x716_bit0 -1681648960*x717_bit0 -1406033168*x718_bit0 -1575366272*x719_bit0 -1822325120*x720_bit0 -1093894064*x721_bit0 -811001904*x722_bit0 -698403792*x723_bit0 -1021447488*x724_bit0 -1002644448*x725_bit0 -1096595008*x726_bit0 -878953568*x727_bit0 -748404816*x728_bit0 -715842864*x729_bit0 -1040860064*x730_bit0 -1105843216*x731_bit0 -816583968*x732_bit0 -849284496*x733_bit0 -725066464*x734_bit0 -980094800*x735_bit0 -1068243232*x736_bit0 -210769536*x737_bit0 -17865084800*x738_bit0 -568510192*x739_bit0 -651841984*x740_bit0 -503836608*x741_bit0 -350997136*x742_bit0 -17865084800*x743_bit0 -17865084800*x744_bit0 -17865084800*x745_bit0 -17865084800*x746_bit0 -509069888*x747_bit0 -331656384*x748_bit0 -547241968*x749_bit0 -644334432*x750_bit0 -674691392*x751_bit0 -435171616*x752_bit0 -238869264*x753_bit0 -616836048*x754_bit0 -767556496*x755_bit0 -453356656*x756_bit0 -305703088*x757_bit0 -720298304*x758_bit0 -613550576*x759_bit0 -724198464*x760_bit0 -604234528*x761_bit0 -442479408*x762_bit0 -322244768*x763_bit0 -711374128*x764_bit0 -750536320*x765_bit0 -440404976*x766_bit0 -610842384*x767_bit0 -426331376*x768_bit0 -591968736*x769_bit0 -719869584*x770_bit0 -1206615968*x771_bit0 -1741484320*x772_bit0 -1665172000*x773_bit0 -1084929520*x774_bit0 -1205463584*x775_bit0 -1448907616*x776_bit0 -1660729440*x777_bit0 -1459201216*x778_bit0 -1655071200*x779_bit0 -1075289216*x780_bit0 -1198160208*x781_bit0 -1731888800*x782_bit0 -1655692960*x783_bit0 -1458082640*x784_bit0 -1204060096*x785_bit0 -1443007744*x786_bit0 -1590694608*x787_bit0 -1478598848*x788_bit0 -1230957440*x789_bit0 -1367251872*x790_bit0 -1309318208*x791_bit0 -1600838560*x792_bit0 -1517364416*x793_bit0 -1201647584*x794_bit0 -1236932896*x795_bit0 -1368385696*x796_bit0 -1593568144*x797_bit0 -1485500320*x798_bit0 -1533560144*x799_bit0 -1218320800*x800_bit0 -1326765632*x801_bit0 -1617963040*x802_bit0 -1319569840*x803_bit0 -1110439920*x804_bit0 -906398704*x805_bit0 -1161391296*x806_bit0 -1130149296*x807_bit0 -1334692224*x808_bit0 -1172371824*x809_bit0 -922798528*x810_bit0 -907032912*x811_bit0 -1169453248*x812_bit0 -1321723552*x813_bit0 -1105016896*x814_bit0 -1142786896*x815_bit0 -892839536*x816_bit0 -1101184080*x817_bit0 -1304630800*x818_bit0 -209786672*x819_bit0 -17865084800*x820_bit0 -621579248*x821_bit0 -276079632*x822_bit0 -397937088*x823_bit0 -657929040*x824_bit0 -646091424*x825_bit0 -570799440*x826_bit0 -357590080*x827_bit0 -495537648*x828_bit0 -17865084800*x829_bit0 -17865084800*x830_bit0 -17865084800*x831_bit0 -17865084800*x832_bit0 -356876464*x833_bit0 -480405232*x834_bit0 -624841744*x835_bit0 -556879168*x836_bit0 -454041264*x837_bit0 -581802272*x838_bit0 -697163104*x839_bit0 -608110912*x840_bit0 -724155024*x841_bit0 -323132016*x842_bit0 -419378320*x843_bit0 -753710688*x844_bit0 -717511984*x845_bit0 -617683600*x846_bit0 -450062880*x847_bit0 -595758016*x848_bit0 -440988768*x849_bit0 -750963184*x850_bit0 -711682784*x851_bit0 -322552448*x852_bit0 -1605613120*x853_bit0 -2121764160*x854_bit0 -2022844160*x855_bit0 -1466763040*x856_bit0 -1555779776*x857_bit0 -1849195840*x858_bit0 -2055782560*x859_bit0 -1800886400*x860_bit0 -2013062560*x861_bit0 -1457638432*x862_bit0 -1597399664*x863_bit0 -2112490080*x864_bit0 -2050370880*x865_bit0 -1798323040*x866_bit0 -1552749248*x867_bit0 -1843100640*x868_bit0 -1979493600*x869_bit0 -1839099840*x870_bit0 -1601664480*x871_bit0 -1763636160*x872_bit0 -1704658880*x873_bit0 -1985556640*x874_bit0 -1879386720*x875_bit0 -1576872464*x876_bit0 -1605357760*x877_bit0 -1763853760*x878_bit0 -1981186720*x879_bit0 -1843884800*x880_bit0 -1896251200*x881_bit0 -1594076576*x882_bit0 -1722168640*x883_bit0 -2002906240*x884_bit0 -1411820896*x885_bit0 -1121982272*x886_bit0 -1013818784*x887_bit0 -1331907408*x888_bit0 -1310512592*x889_bit0 -1413955600*x890_bit0 -1190191552*x891_bit0 -1060000784*x892_bit0 -1029369824*x893_bit0 -1349500288*x894_bit0 -1423892720*x895_bit0 -1129967008*x896_bit0 -1161010976*x897_bit0 -1034854720*x898_bit0 -1286270672*x899_bit0 -1385798288*x900_bit0 -237206896*x901_bit0 -17865084800*x902_bit0 -276079328*x903_bit0 -601069232*x904_bit0 -639152928*x905_bit0 -397936976*x906_bit0 -488232000*x907_bit0 -343015792*x908_bit0 -543346224*x909_bit0 -623641376*x910_bit0 -17865084800*x911_bit0 -17865084800*x912_bit0 -17865084800*x913_bit0 -17865084800*x914_bit0 -564780752*x915_bit0 -631477120*x916_bit0 -482611216*x917_bit0 -360875472*x918_bit0 -615019136*x919_bit0 -702829648*x920_bit0 -583412896*x921_bit0 -456481408*x922_bit0 -340584976*x923_bit0 -703539040*x924_bit0 -734254512*x925_bit0 -429358448*x926_bit0 -590372000*x927_bit0 -441337760*x928_bit0 -593583072*x929_bit0 -698342864*x930_bit0 -750963184*x931_bit0 -440988768*x932_bit0 -322552448*x933_bit0 -711682784*x934_bit0 -1316340832*x935_bit0 -1775456000*x936_bit0 -1653019680*x937_bit0 -1135133840*x938_bit0 -1186396160*x939_bit0 -1562353040*x940_bit0 -1741484800*x941_bit0 -1422315680*x942_bit0 -1643583840*x943_bit0 -1127193472*x944_bit0 -1309705952*x945_bit0 -1766760640*x946_bit0 -1734959840*x947_bit0 -1418951200*x948_bit0 -1182217264*x949_bit0 -1554960512*x950_bit0 -1650044000*x951_bit0 -1473617584*x952_bit0 -1250629344*x953_bit0 -1458911296*x954_bit0 -1397555424*x955_bit0 -1648078240*x956_bit0 -1514770304*x957_bit0 -1232139744*x958_bit0 -1251608208*x959_bit0 -1455874288*x960_bit0 -1649258720*x961_bit0 -1476524608*x962_bit0 -1532044992*x963_bit0 -1249655792*x964_bit0 -1414875616*x965_bit0 -1665598720*x966_bit0 -1064505952*x967_bit0 -825024880*x968_bit0 -649240688*x969_bit0 -947987776*x970_bit0 -923291856*x971_bit0 -1074277872*x972_bit0 -889382816*x973_bit0 -682855344*x974_bit0 -657870480*x975_bit0 -962866224*x976_bit0 -1071248832*x977_bit0 -822625536*x978_bit0 -859417456*x979_bit0 -654993808*x980_bit0 -897426240*x981_bit0 -1044570224*x982_bit0 -188965984*x983_bit0 -17865084800*x984_bit0 -435823536*x985_bit0 -657119168*x986_bit0 -596405504*x987_bit0 -239148720*x988_bit0 -335264608*x989_bit0 -496638272*x990_bit0 -629354752*x991_bit0 -540301232*x992_bit0 -17865084800*x993_bit0 -17865084800*x994_bit0 -17865084800*x995_bit0 -17865084800*x996_bit0 -650388224*x997_bit0 -554888048*x998_bit0 -336100400*x999_bit0 -510961680*x1000_bit0 -725028416*x1001_bit0 -598660768*x1002_bit0 -428667776*x1003_bit0 -612223760*x1004_bit0 -462605968*x1005_bit0 -749070272*x1006_bit0 -699848496*x1007_bit0 -326017184*x1008_bit0 -433023760*x1009_bit0 -598855808*x1010_bit0 -704986960*x1011_bit0 -588609360*x1012_bit0 -711682784*x1013_bit0 -322552448*x1014_bit0 -440988768*x1015_bit0 -750963184*x1016_bit0 -1199031872*x1017_bit0 -1694824320*x1018_bit0 -1595049568*x1019_bit0 -1041905536*x1020_bit0 -1128556544*x1021_bit0 -1445151296*x1022_bit0 -1639030080*x1023_bit0 -1376215680*x1024_bit0 -1585216560*x1025_bit0 -1033068320*x1026_bit0 -1191606224*x1027_bit0 -1685654720*x1028_bit0 -1633134400*x1029_bit0 -1374061184*x1030_bit0 -1125820864*x1031_bit0 -1438326928*x1032_bit0 -1556812192*x1033_bit0 -1410849968*x1034_bit0 -1173471968*x1035_bit0 -1350183184*x1036_bit0 -1289865856*x1037_bit0 -1560486208*x1038_bit0 -1451036096*x1039_bit0 -1149461872*x1040_bit0 -1176958784*x1041_bit0 -1348919152*x1042_bit0 -1557715920*x1043_bit0 -1415856656*x1044_bit0 -1467862336*x1045_bit0 -1166750704*x1046_bit0 -1307367232*x1047_bit0 -1577910768*x1048_bit0 -1165505072*x1049_bit0 -958957056*x1050_bit0 -751886848*x1051_bit0 -1013417792*x1052_bit0 -983446976*x1053_bit0 -1180301552*x1054_bit0 -1019920880*x1055_bit0 -769393952*x1056_bit0 -752828496*x1057_bit0 -1023030192*x1058_bit0 -1168076832*x1059_bit0 -952524528*x1060_bit0 -990507392*x1061_bit0 -739525888*x1062_bit0 -955010592*x1063_bit0 -1150243520*x1064_bit0 -192135232*x1065_bit0 -17865084800*x1066_bit0 -675173280*x1067_bit0 -435823616*x1068_bit0 -239149376*x1069_bit0 -617149536*x1070_bit0 -567986752*x1071_bit0 -651515712*x1072_bit0 -503736336*x1073_bit0 -350633136*x1074_bit0 -17865084800*x1075_bit0 -17865084800*x1076_bit0 -17865084800*x1077_bit0 -17865084800*x1078_bit0 -508963568*x1079_bit0 -331300464*x1080_bit0 -546755776*x1081_bit0 -644040704*x1082_bit0 -610728368*x1083_bit0 -425916400*x1084_bit0 -591457952*x1085_bit0 -719607808*x1086_bit0 -768011664*x1087_bit0 -453980224*x1088_bit0 -305995280*x1089_bit0 -720613024*x1090_bit0 -613005968*x1091_bit0 -723909280*x1092_bit0 -604126480*x1093_bit0 -442059008*x1094_bit0 -322552448*x1095_bit0 -711682784*x1096_bit0 -750963184*x1097_bit0 -440988768*x1098_bit0 -1514541168*x1099_bit0 -2056302880*x1100_bit0 -1977035200*x1101_bit0 -1399766864*x1102_bit0 -1514397968*x1103_bit0 -1753896160*x1104_bit0 -1971681120*x1105_bit0 -1766028320*x1106_bit0 -1966998720*x1107_bit0 -1390125152*x1108_bit0 -1505751600*x1109_bit0 -2046698560*x1110_bit0 -1966900960*x1111_bit0 -1764413440*x1112_bit0 -1512471696*x1113_bit0 -1748440160*x1114_bit0 -1904464800*x1115_bit0 -1790891840*x1116_bit0 -1544922160*x1117_bit0 -1677628160*x1118_bit0 -1620579840*x1119_bit0 -1915367360*x1120_bit0 -1830043520*x1121_bit0 -1516167504*x1122_bit0 -1550524400*x1123_bit0 -1679457440*x1124_bit0 -1907616800*x1125_bit0 -1797302400*x1126_bit0 -1846399040*x1127_bit0 -1532902464*x1128_bit0 -1637953920*x1129_bit0 -1932456800*x1130_bit0 -1485652384*x1131_bit0 -1217245536*x1132_bit0 -1074290544*x1133_bit0 -1376024672*x1134_bit0 -1350457680*x1135_bit0 -1492235888*x1136_bit0 -1284862656*x1137_bit0 -1111095168*x1138_bit0 -1084982976*x1139_bit0 -1390147280*x1140_bit0 -1494445280*x1141_bit0 -1221198672*x1142_bit0 -1254997152*x1143_bit0 -1083445616*x1144_bit0 -1323967696*x1145_bit0 -1463062496*x1146_bit0 -239739264*x1147_bit0 -17865084800*x1148_bit0 -357232864*x1149_bit0 -480534336*x1150_bit0 -625164720*x1151_bit0 -557365472*x1152_bit0 -621257888*x1153_bit0 -275735472*x1154_bit0 -397352944*x1155_bit0 -657498016*x1156_bit0 -646445936*x1157_bit0 -571309984*x1158_bit0 -357928256*x1159_bit0 -495676544*x1160_bit0 -17865084800*x1161_bit0 -17865084800*x1162_bit0 -17865084800*x1163_bit0 -17865084800*x1164_bit0 -440404976*x1165_bit0 -750536320*x1166_bit0 -711374128*x1167_bit0 -322244768*x1168_bit0 -454438784*x1169_bit0 -581941712*x1170_bit0 -697454624*x1171_bit0 -608611312*x1172_bit0 -723833984*x1173_bit0 -322808816*x1174_bit0 -418825728*x1175_bit0 -753299088*x1176_bit0 -717832672*x1177_bit0 -618204832*x1178_bit0 -450446880*x1179_bit0 -595904768*x1180_bit0 -1497481152*x1181_bit0 -1951557760*x1182_bit0 -1821359680*x1183_bit0 -1315109952*x1184_bit0 -1356816992*x1185_bit0 -1743556960*x1186_bit0 -1922117760*x1187_bit0 -1586421248*x1188_bit0 -1812120640*x1189_bit0 -1307311696*x1190_bit0 -1490790688*x1191_bit0 -1943011200*x1192_bit0 -1915521120*x1193_bit0 -1582512128*x1194_bit0 -1352123664*x1195_bit0 -1736189760*x1196_bit0 -1829323680*x1197_bit0 -1644492480*x1198_bit0 -1426949328*x1199_bit0 -1640137280*x1200_bit0 -1578750080*x1201_bit0 -1826171840*x1202_bit0 -1685861920*x1203_bit0 -1409893824*x1204_bit0 -1427232880*x1205_bit0 -1637012960*x1206_bit0 -1828208480*x1207_bit0 -1646584960*x1208_bit0 -1703246080*x1209_bit0 -1427414560*x1210_bit0 -1596056544*x1211_bit0 -1843691680*x1212_bit0 -1106956832*x1213_bit0 -819959776*x1214_bit0 -714657824*x1215_bit0 -1038863680*x1216_bit0 -1020577136*x1217_bit0 -1108887984*x1218_bit0 -888061024*x1219_bit0 -765822032*x1220_bit0 -732768432*x1221_bit0 -1058626080*x1222_bit0 -1119432256*x1223_bit0 -826489440*x1224_bit0 -858548752*x1225_bit0 -742929264*x1226_bit0 -998326352*x1227_bit0 -1080742848*x1228_bit0 -215466960*x1229_bit0 -17865084800*x1230_bit0 -565304288*x1231_bit0 -631834592*x1232_bit0 -482747472*x1233_bit0 -361240848*x1234_bit0 -275735472*x1235_bit0 -600761376*x1236_bit0 -638729472*x1237_bit0 -397352944*x1238_bit0 -488375840*x1239_bit0 -343376624*x1240_bit0 -543833664*x1241_bit0 -623966368*x1242_bit0 -17865084800*x1243_bit0 -17865084800*x1244_bit0 -17865084800*x1245_bit0 -17865084800*x1246_bit0 -750536320*x1247_bit0 -440404976*x1248_bit0 -322244768*x1249_bit0 -711374128*x1250_bit0 -615552368*x1251_bit0 -703151072*x1252_bit0 -583557232*x1253_bit0 -456884352*x1254_bit0 -340252720*x1255_bit0 -703231680*x1256_bit0 -733852448*x1257_bit0 -428810336*x1258_bit0 -590523344*x1259_bit0 -441735824*x1260_bit0 -594083120*x1261_bit0 -698636912*x1262_bit0 -1228086176*x1263_bit0 -1762932800*x1264_bit0 -1685927520*x1265_bit0 -1106345840*x1266_bit0 -1225757712*x1267_bit0 -1470267360*x1268_bit0 -1682307840*x1269_bit0 -1479257392*x1270_bit0 -1675836000*x1271_bit0 -1096717328*x1272_bit0 -1219616144*x1273_bit0 -1753343680*x1274_bit0 -1677276320*x1275_bit0 -1478076592*x1276_bit0 -1224282416*x1277_bit0 -1464387008*x1278_bit0 -1612276160*x1279_bit0 -1499411888*x1280_bit0 -1252064832*x1281_bit0 -1388812464*x1282_bit0 -1330898864*x1283_bit0 -1622365760*x1284_bit0 -1538242208*x1285_bit0 -1222895792*x1286_bit0 -1257962512*x1287_bit0 -1389963216*x1288_bit0 -1615137120*x1289_bit0 -1506236960*x1290_bit0 -1554465360*x1291_bit0 -1239589168*x1292_bit0 -1348345024*x1293_bit0 -1639494720*x1294_bit0 -1326320944*x1295_bit0 -1111891728*x1296_bit0 -912063696*x1297_bit0 -1172018480*x1298_bit0 -1141231408*x1299_bit0 -1340772336*x1300_bit0 -1174466256*x1301_bit0 -930360512*x1302_bit0 -913594240*x1303_bit0 -1180646000*x1304_bit0 -1329028800*x1305_bit0 -1107184624*x1306_bit0 -1144767904*x1307_bit0 -900485728*x1308_bit0 -1112435104*x1309_bit0 -1310724112*x1310_bit0 -194299712*x1311_bit0 -17865084800*x1312_bit0 -650716352*x1313_bit0 -555413920*x1314_bit0 -336466416*x1315_bit0 -511074288*x1316_bit0 -435171616*x1317_bit0 -656642704*x1318_bit0 -596106080*x1319_bit0 -238869264*x1320_bit0 -335656384*x1321_bit0 -496742784*x1322_bit0 -629649328*x1323_bit0 -540800944*x1324_bit0 -17865084800*x1325_bit0 -17865084800*x1326_bit0 -17865084800*x1327_bit0 -17865084800*x1328_bit0 -711374128*x1329_bit0 -322244768*x1330_bit0 -440404976*x1331_bit0 -750536320*x1332_bit0 -725320624*x1333_bit0 -599207120*x1334_bit0 -429089152*x1335_bit0 -612343136*x1336_bit0 -461987408*x1337_bit0 -748622960*x1338_bit0 -699547808*x1339_bit0 -325709872*x1340_bit0 -433459680*x1341_bit0 -598967120*x1342_bit0 -705247040*x1343_bit0 -589132352*x1344_bit0 -1362900448*x1345_bit0 -1912276000*x1346_bit0 -1842322880*x1347_bit0 -1256926144*x1348_bit0 -1384068832*x1349_bit0 -1601063520*x1350_bit0 -1821322880*x1351_bit0 -1638147680*x1352_bit0 -1832183360*x1353_bit0 -1247098992*x1354_bit0 -1353981632*x1355_bit0 -1902554560*x1356_bit0 -1816726240*x1357_bit0 -1637098240*x1358_bit0 -1382792352*x1359_bit0 -1595737536*x1360_bit0 -1757063520*x1361_bit0 -1655532640*x1362_bit0 -1406230944*x1363_bit0 -1527092144*x1364_bit0 -1470695120*x1365_bit0 -1769724160*x1366_bit0 -1693966720*x1367_bit0 -1375695104*x1368_bit0 -1412755264*x1369_bit0 -1529382224*x1370_bit0 -1760729600*x1371_bit0 -1662769120*x1372_bit0 -1710010560*x1373_bit0 -1392140448*x1374_bit0 -1487999168*x1375_bit0 -1786684000*x1376_bit0 -1449009600*x1377_bit0 -1208713152*x1378_bit0 -1032690608*x1379_bit0 -1311991152*x1380_bit0 -1283025056*x1381_bit0 -1460170576*x1382_bit0 -1274252656*x1383_bit0 -1059259328*x1384_bit0 -1038279440*x1385_bit0 -1322718224*x1386_bit0 -1454298656*x1387_bit0 -1208015680*x1388_bit0 -1244202544*x1389_bit0 -1030020736*x1390_bit0 -1254950224*x1391_bit0 -1430334800*x1392_bit0 -217703792*x1393_bit0 -17865084800*x1394_bit0 -509069680*x1395_bit0 -331656016*x1396_bit0 -547243504*x1397_bit0 -644335424*x1398_bit0 -674691392*x1399_bit0 -435171616*x1400_bit0 -238869264*x1401_bit0 -616836048*x1402_bit0 -568508672*x1403_bit0 -651840944*x1404_bit0 -503836864*x1405_bit0 -350997536*x1406_bit0 -17865084800*x1407_bit0 -17865084800*x1408_bit0 -17865084800*x1409_bit0 -17865084800*x1410_bit0 -322244768*x1411_bit0 -711374128*x1412_bit0 -750536320*x1413_bit0 -440404976*x1414_bit0 -610843168*x1415_bit0 -426332032*x1416_bit0 -591970464*x1417_bit0 -719871104*x1418_bit0 -767556496*x1419_bit0 -453356656*x1420_bit0 -305703088*x1421_bit0 -720298304*x1422_bit0 -613548864*x1423_bit0 -724196912*x1424_bit0 -604233792*x1425_bit0 -442478800*x1426_bit0 -1606562880*x1427_bit0 -2085959840*x1428_bit0 -1965745760*x1429_bit0 -1440440976*x1430_bit0 -1499157472*x1431_bit0 -1852762080*x1432_bit0 -2043055040*x1433_bit0 -1734195360*x1434_bit0 -1956322400*x1435_bit0 -1432088224*x1436_bit0 -1599206720*x1437_bit0 -2077141760*x1438_bit0 -2036894720*x1439_bit0 -1730665600*x1440_bit0 -1494983344*x1441_bit0 -1845886240*x1442_bit0 -1956226720*x1443_bit0 -1786327200*x1444_bit0 -1561337904*x1445_bit0 -1756128960*x1446_bit0 -1695430880*x1447_bit0 -1956436480*x1448_bit0 -1827452640*x1449_bit0 -1541433552*x1450_bit0 -1562822048*x1451_bit0 -1754315520*x1452_bit0 -1956144640*x1453_bit0 -1789284640*x1454_bit0 -1844712000*x1455_bit0 -1558919008*x1456_bit0 -1712895360*x1457_bit0 -1973942080*x1458_bit0 -1255658864*x1459_bit0 -955599600*x1460_bit0 -872164672*x1461_bit0 -1197849056*x1462_bit0 -1180131488*x1463_bit0 -1255070768*x1464_bit0 -1023671952*x1465_bit0 -924940144*x1466_bit0 -891290544*x1467_bit0 -1218011328*x1468_bit0 -1269727856*x1469_bit0 -965648560*x1470_bit0 -995016704*x1471_bit0 -902500512*x1472_bit0 -1158114544*x1473_bit0 -1227697008*x1474_bit0 -236788048*x1475_bit0 -17865084800*x1476_bit0 -424330208*x1477_bit0 -522304976*x1478_bit0 -709706672*x1479_bit0 -654931152*x1480_bit0 -723833984*x1481_bit0 -340252720*x1482_bit0 -428810336*x1483_bit0 -753299088*x1484_bit0 -731307312*x1485_bit0 -670188816*x1486_bit0 -433709808*x1487_bit0 -541475232*x1488_bit0 -440404976*x1489_bit0 -750536320*x1490_bit0 -711374128*x1491_bit0 -322244768*x1492_bit0 -17865084800*x1493_bit0 -17865084800*x1494_bit0 -17865084800*x1495_bit0 -17865084800*x1496_bit0 -499970976*x1497_bit0 -613387056*x1498_bit0 -771242704*x1499_bit0 -696031120*x1500_bit0 -826775344*x1501_bit0 -275735472*x1502_bit0 -397352944*x1503_bit0 -851544320*x1504_bit0 -792413152*x1505_bit0 -707886672*x1506_bit0 -503352000*x1507_bit0 -630979232*x1508_bit0 -1578043584*x1509_bit0 -2011953760*x1510_bit0 -1870556480*x1511_bit0 -1385649824*x1512_bit0 -1410415024*x1513_bit0 -1823347520*x1514_bit0 -1993948640*x1515_bit0 -1631399680*x1516_bit0 -1861592320*x1517_bit0 -1378321744*x1518_bit0 -1571748304*x1519_bit0 -2003694560*x1520_bit0 -1987049280*x1521_bit0 -1626901120*x1522_bit0 -1405086400*x1523_bit0 -1815716320*x1524_bit0 -1896772000*x1525_bit0 -1697530720*x1526_bit0 -1489026272*x1527_bit0 -1716070880*x1528_bit0 -1654421760*x1529_bit0 -1890753280*x1530_bit0 -1739066080*x1531_bit0 -1474742880*x1532_bit0 -1488108736*x1533_bit0 -1712093280*x1534_bit0 -1894800160*x1535_bit0 -1698528800*x1536_bit0 -1756548800*x1537_bit0 -1492217856*x1538_bit0 -1671569600*x1539_bit0 -1908241440*x1540_bit0 -1070921712*x1541_bit0 -765676848*x1542_bit0 -704291584*x1543_bit0 -1032583552*x1544_bit0 -1018728144*x1545_bit0 -1068539280*x1546_bit0 -833629024*x1547_bit0 -763125136*x1548_bit0 -726936640*x1549_bit0 -1055040896*x1550_bit0 -1086367392*x1551_bit0 -776636992*x1552_bit0 -805196208*x1553_bit0 -744328592*x1554_bit0 -999274144*x1555_bit0 -1041732400*x1556_bit0 -317232480*x1557_bit0 -17865084800*x1558_bit0 -663121504*x1559_bit0 -717015872*x1560_bit0 -527026960*x1561_bit0 -431138176*x1562_bit0 -322808816*x1563_bit0 -703231680*x1564_bit0 -733852448*x1565_bit0 -418825728*x1566_bit0 -525751184*x1567_bit0 -409742176*x1568_bit0 -641959216*x1569_bit0 -706552688*x1570_bit0 -750536320*x1571_bit0 -440404976*x1572_bit0 -322244768*x1573_bit0 -711374128*x1574_bit0 -17865084800*x1575_bit0 -17865084800*x1576_bit0 -17865084800*x1577_bit0 -17865084800*x1578_bit0 -703542208*x1579_bit0 -777762624*x1580_bit0 -617058192*x1581_bit0 -505048576*x1582_bit0 -275735472*x1583_bit0 -806116144*x1584_bit0 -831706096*x1585_bit0 -397352944*x1586_bit0 -618698960*x1587_bit0 -485473520*x1588_bit0 -681909456*x1589_bit0 -770356320*x1590_bit0 -1172477056*x1591_bit0 -1727031840*x1592_bit0 -1666424960*x1593_bit0 -1073885600*x1594_bit0 -1214829072*x1595_bit0 -1410415024*x1596_bit0 -1631399680*x1597_bit0 -1470525008*x1598_bit0 -1656197600*x1599_bit0 -1063891888*x1600_bit0 -1163514336*x1601_bit0 -1717214720*x1602_bit0 -1626901120*x1603_bit0 -1470138304*x1604_bit0 -1214344112*x1605_bit0 -1405086400*x1606_bit0 -1569112256*x1607_bit0 -1479396592*x1608_bit0 -1227203616*x1609_bit0 -1337138304*x1610_bit0 -1281135568*x1611_bit0 -1583190704*x1612_bit0 -1516952000*x1613_bit0 -1194825136*x1614_bit0 -1234726480*x1615_bit0 -1339686192*x1616_bit0 -1573178208*x1617_bit0 -1487517568*x1618_bit0 -1532622624*x1619_bit0 -1210911600*x1620_bit0 -1298389840*x1621_bit0 -1600027840*x1622_bit0 -1398810784*x1623_bit0 -1200174592*x1624_bit0 -989027904*x1625_bit0 -1229581424*x1626_bit0 -1196846752*x1627_bit0 -1415534672*x1628_bit0 -1261102016*x1629_bit0 -1000907152*x1630_bit0 -987648720*x1631_bit0 -1235631872*x1632_bit0 -1399546992*x1633_bit0 -1193704448*x1634_bit0 -1231718720*x1635_bit0 -970845312*x1636_bit0 -1167374464*x1637_bit0 -1385483072*x1638_bit0 -295698240*x1639_bit0 -17865084800*x1640_bit0 -732840240*x1641_bit0 -655400256*x1642_bit0 -414922208*x1643_bit0 -551720544*x1644_bit0 -453356656*x1645_bit0 -748622960*x1646_bit0 -699547808*x1647_bit0 -305703088*x1648_bit0 -404649056*x1649_bit0 -533156880*x1650_bit0 -711303424*x1651_bit0 -639617008*x1652_bit0 -711374128*x1653_bit0 -322244768*x1654_bit0 -440404976*x1655_bit0 -750536320*x1656_bit0 -17865084800*x1657_bit0 -17865084800*x1658_bit0 -17865084800*x1659_bit0 -17865084800*x1660_bit0 -797129648*x1661_bit0 -690190832*x1662_bit0 -482185888*x1663_bit0 -643634448*x1664_bit0 -435171616*x1665_bit0 -844208848*x1666_bit0 -803069536*x1667_bit0 -238869264*x1668_bit0 -478540240*x1669_bit0 -626574320*x1670_bit0 -776132160*x1671_bit0 -677885552*x1672_bit0 -1314090368*x1673_bit0 -1879585920*x1674_bit0 -1824708160*x1675_bit0 -1229263488*x1676_bit0 -1374624160*x1677_bit0 -1547070224*x1678_bit0 -1774937600*x1679_bit0 -1630391200*x1680_bit0 -1814457440*x1681_bit0 -1219167456*x1682_bit0 -1304774816*x1683_bit0 -1869673280*x1684_bit0 -1770852320*x1685_bit0 -1630047840*x1686_bit0 -1374205648*x1687_bit0 -1542287456*x1688_bit0 -1718044000*x1689_bit0 -1637704800*x1690_bit0 -1384631664*x1691_bit0 -1481043344*x1692_bit0 -1426654016*x1693_bit0 -1734336000*x1694_bit0 -1674938400*x1695_bit0 -1351382080*x1696_bit0 -1392559504*x1697_bit0 -1484607840*x1698_bit0 -1722808800*x1699_bit0 -1646088800*x1700_bit0 -1690461440*x1701_bit0 -1367243040*x1702_bit0 -1443702896*x1703_bit0 -1750986560*x1704_bit0 -1514710672*x1705_bit0 -1289118032*x1706_bit0 -1099298192*x1707_bit0 -1362596368*x1708_bit0 -1331644032*x1709_bit0 -1528188608*x1710_bit0 -1353365248*x1711_bit0 -1119887856*x1712_bit0 -1102064784*x1713_bit0 -1371006048*x1714_bit0 -1518090976*x1715_bit0 -1286476176*x1716_bit0 -1323428896*x1717_bit0 -1090108032*x1718_bit0 -1302760816*x1719_bit0 -1498181472*x1720_bit0 -311576656*x1721_bit0 -17865084800*x1722_bit0 -547342640*x1723_bit0 -407560960*x1724_bit0 -647065792*x1725_bit0 -725754608*x1726_bit0 -767556496*x1727_bit0 -461987408*x1728_bit0 -325709872*x1729_bit0 -720298304*x1730_bit0 -667990464*x1731_bit0 -735835168*x1732_bit0 -548538848*x1733_bit0 -429170064*x1734_bit0 -322244768*x1735_bit0 -711374128*x1736_bit0 -750536320*x1737_bit0 -440404976*x1738_bit0 -17865084800*x1739_bit0 -17865084800*x1740_bit0 -17865084800*x1741_bit0 -17865084800*x1742_bit0 -640189280*x1743_bit0 -476676064*x1744_bit0 -682468304*x1745_bit0 -790826560*x1746_bit0 -863668880*x1747_bit0 -435171616*x1748_bit0 -238869264*x1749_bit0 -823830944*x1750_bit0 -704073664*x1751_bit0 -797972976*x1752_bit0 -638629904*x1753_bit0 -496848640*x1754_bit0 -1681172000*x1755_bit0 -2142163520*x1756_bit0 -2011007040*x1757_bit0 -1504177744*x1758_bit0 -1547070224*x1759_bit0 -1927492640*x1760_bit0 -2110324800*x1761_bit0 -1774937600*x1762_bit0 -2001821440*x1763_bit0 -1496238368*x1764_bit0 -1674189920*x1765_bit0 -2133602720*x1766_bit0 -2103849120*x1767_bit0 -1770852320*x1768_bit0 -1542287456*x1769_bit0 -1920325600*x1770_bit0 -2018954720*x1771_bit0 -1834747680*x1772_bit0 -1617508480*x1773_bit0 -1826630240*x1774_bit0 -1765443360*x1775_bit0 -2016371840*x1776_bit0 -1876146880*x1777_bit0 -1600168480*x1778_bit0 -1617855360*x1779_bit0 -1823955040*x1780_bit0 -2018035520*x1781_bit0 -1836683680*x1782_bit0 -1893546880*x1783_bit0 -1617689760*x1784_bit0 -1782815520*x1785_bit0 -2033892800*x1786_bit0 -1224907120*x1787_bit0 -911857168*x1788_bit0 -864291200*x1789_bit0 -1192583584*x1790_bit0 -1178586496*x1791_bit0 -1220564016*x1792_bit0 -978875760*x1793_bit0 -922843808*x1794_bit0 -886822096*x1795_bit0 -1214993792*x1796_bit0 -1241482944*x1797_bit0 -925531296*x1798_bit0 -951521984*x1799_bit0 -903578896*x1800_bit0 -1158903088*x1801_bit0 -1194514880*x1802_bit0 -332082848*x1803_bit0 -17865084800*x1804_bit0 -440990976*x1805_bit0 -750963600*x1806_bit0 -711682848*x1807_bit0 -322554640*x1808_bit0 -424072624*x1809_bit0 -522209760*x1810_bit0 -709358192*x1811_bit0 -654452320*x1812_bit0 -724153968*x1813_bit0 -340583568*x1814_bit0 -429356720*x1815_bit0 -753709424*x1816_bit0 -730927088*x1817_bit0 -669683968*x1818_bit0 -433446272*x1819_bit0 -541356720*x1820_bit0 -792064288*x1821_bit0 -707368896*x1822_bit0 -503030928*x1823_bit0 -630853504*x1824_bit0 -17865084800*x1825_bit0 -17865084800*x1826_bit0 -17865084800*x1827_bit0 -17865084800*x1828_bit0 -499649568*x1829_bit0 -613279280*x1830_bit0 -770924096*x1831_bit0 -695536400*x1832_bit0 -827094400*x1833_bit0 -276077616*x1834_bit0 -397935168*x1835_bit0 -851940096*x1836_bit0 -1134754208*x1837_bit0 -1604210720*x1838_bit0 -1493671056*x1839_bit0 -957941760*x1840_bit0 -1026197488*x1841_bit0 -1380820016*x1842_bit0 -1562402512*x1843_bit0 -1270236528*x1844_bit0 -1483982256*x1845_bit0 -949696448*x1846_bit0 -1128093456*x1847_bit0 -1595293248*x1848_bit0 -1556034416*x1849_bit0 -1267691856*x1850_bit0 -1022891120*x1851_bit0 -1373460176*x1852_bit0 -1473645536*x1853_bit0 -1311158544*x1854_bit0 -1080153264*x1855_bit0 -1278304240*x1856_bit0 -1217083488*x1857_bit0 -1473755072*x1858_bit0 -1351827520*x1859_bit0 -1059147152*x1860_bit0 -1082338208*x1861_bit0 -1275584288*x1862_bit0 -1473451824*x1863_bit0 -1315293744*x1864_bit0 -1368875456*x1865_bit0 -1076608064*x1866_bit0 -1234450224*x1867_bit0 -1491256960*x1868_bit0 -1071369296*x1869_bit0 -891686464*x1870_bit0 -665181264*x1871_bit0 -905853920*x1872_bit0 -874580480*x1873_bit0 -1088867904*x1874_bit0 -948390384*x1875_bit0 -673380656*x1876_bit0 -661621152*x1877_bit0 -913910080*x1878_bit0 -1071753760*x1879_bit0 -881453632*x1880_bit0 -919933376*x1881_bit0 -643321248*x1882_bit0 -845656016*x1883_bit0 -1058852336*x1884_bit0 -294170224*x1885_bit0 -17865084800*x1886_bit0 -750963600*x1887_bit0 -440990976*x1888_bit0 -322554640*x1889_bit0 -711682848*x1890_bit0 -662604064*x1891_bit0 -716630736*x1892_bit0 -526910368*x1893_bit0 -430852944*x1894_bit0 -323130528*x1895_bit0 -703537968*x1896_bit0 -734253232*x1897_bit0 -419376544*x1898_bit0 -525642624*x1899_bit0 -409484848*x1900_bit0 -641478704*x1901_bit0 -706201216*x1902_bit0 -618579120*x1903_bit0 -485152272*x1904_bit0 -681414192*x1905_bit0 -770034528*x1906_bit0 -17865084800*x1907_bit0 -17865084800*x1908_bit0 -17865084800*x1909_bit0 -17865084800*x1910_bit0 -703012032*x1911_bit0 -777410848*x1912_bit0 -616934400*x1913_bit0 -504707808*x1914_bit0 -276077616*x1915_bit0 -806421440*x1916_bit0 -832091088*x1917_bit0 -397935168*x1918_bit0 -1604212320*x1919_bit0 -2150008000*x1920_bit0 -2072120160*x1921_bit0 -1493672848*x1922_bit0 -1609578560*x1923_bit0 -1842160960*x1924_bit0 -2062457760*x1925_bit0 -1861164800*x1926_bit0 -2062077760*x1927_bit0 -1483984048*x1928_bit0 -1595294912*x1929_bit0 -2140369760*x1930_bit0 -2057812000*x1931_bit0 -1859530880*x1932_bit0 -1607650880*x1933_bit0 -1836886880*x1934_bit0 -1996949440*x1935_bit0 -1885927360*x1936_bit0 -1639607200*x1937_bit0 -1768256000*x1938_bit0 -1711670080*x1939_bit0 -2008551520*x1940_bit0 -1925030880*x1941_bit0 -1610580160*x1942_bit0 -1645321600*x1943_bit0 -1770421920*x1944_bit0 -2000324800*x1945_bit0 -1892386880*x1946_bit0 -1941362880*x1947_bit0 -1627267840*x1948_bit0 -1728998240*x1949_bit0 -2025597280*x1950_bit0 -1557722672*x1951_bit0 -1278836272*x1952_bit0 -1150490064*x1953_bit0 -1458340496*x1954_bit0 -1433923408*x1955_bit0 -1562432304*x1956_bit0 -1346904320*x1957_bit0 -1190600816*x1958_bit0 -1162908336*x1959_bit0 -1473489792*x1960_bit0 -1567860160*x1961_bit0 -1284850912*x1962_bit0 -1317331408*x1963_bit0 -1163652512*x1964_bit0 -1408002400*x1965_bit0 -1533650864*x1966_bit0 -324411760*x1967_bit0 -17865084800*x1968_bit0 -711682848*x1969_bit0 -322554640*x1970_bit0 -440990976*x1971_bit0 -750963600*x1972_bit0 -732480384*x1973_bit0 -654882160*x1974_bit0 -414645216*x1975_bit0 -551625216*x1976_bit0 -453978416*x1977_bit0 -749068944*x1978_bit0 -699847520*x1979_bit0 -305994064*x1980_bit0 -404375056*x1981_bit0 -533082928*x1982_bit0 -710977664*x1983_bit0 -639127376*x1984_bit0 -478189856*x1985_bit0 -626491488*x1986_bit0 -775840400*x1987_bit0 -677372112*x1988_bit0 -17865084800*x1989_bit0 -17865084800*x1990_bit0 -17865084800*x1991_bit0 -17865084800*x1992_bit0 -796804480*x1993_bit0 -689651520*x1994_bit0 -481837152*x1995_bit0 -643533408*x1996_bit0 -435821696*x1997_bit0 -844632880*x1998_bit0 -803369392*x1999_bit0 -239147232*x2000_bit0 -1691833600*x2001_bit0 -2213927680*x2002_bit0 -2117240480*x2003_bit0 -1558263584*x2004_bit0 -1650337760*x2005_bit0 -1934352320*x2006_bit0 -2144188000*x2007_bit0 -1895859520*x2008_bit0 -2107436640*x2009_bit0 -1549041600*x2010_bit0 -1683445760*x2011_bit0 -2204598080*x2012_bit0 -2138928160*x2013_bit0 -1893330720*x2014_bit0 -1647377600*x2015_bit0 -1928451200*x2016_bit0 -2069885440*x2017_bit0 -1933242240*x2018_bit0 -1694781760*x2019_bit0 -1851373600*x2020_bit0 -1792837760*x2021_bit0 -2076868960*x2022_bit0 -1973441760*x2023_bit0 -1669445120*x2024_bit0 -1698708480*x2025_bit0 -1852000480*x2026_bit0 -2071867680*x2027_bit0 -1938166880*x2028_bit0 -1990265120*x2029_bit0 -1686595200*x2030_bit0 -1810327840*x2031_bit0 -2094180640*x2032_bit0 -1490428272*x2033_bit0 -1192662080*x2034_bit0 -1098648160*x2035_bit0 -1419742256*x2036_bit0 -1399341184*x2037_bit0 -1490823104*x2038_bit0 -1260735152*x2039_bit0 -1147100640*x2040_bit0 -1115458624*x2041_bit0 -1438080000*x2042_bit0 -1503667824*x2043_bit0 -1202555968*x2044_bit0 -1232072400*x2045_bit0 -1122678432*x2046_bit0 -1375634656*x2047_bit0 -1463172624*x2048_bit0 -331837856*x2049_bit0 -17865084800*x2050_bit0 -322554640*x2051_bit0 -711682848*x2052_bit0 -750963600*x2053_bit0 -440990976*x2054_bit0 -547267200*x2055_bit0 -407314288*x2056_bit0 -646586912*x2057_bit0 -725430656*x2058_bit0 -768010352*x2059_bit0 -462604192*x2060_bit0 -326016032*x2061_bit0 -720612032*x2062_bit0 -667476992*x2063_bit0 -735479680*x2064_bit0 -548453792*x2065_bit0 -428891472*x2066_bit0 -703538576*x2067_bit0 -797653296*x2068_bit0 -638540352*x2069_bit0 -496500320*x2070_bit0 -17865084800*x2071_bit0 -17865084800*x2072_bit0 -17865084800*x2073_bit0 -17865084800*x2074_bit0 -640103344*x2075_bit0 -476348144*x2076_bit0 -681965184*x2077_bit0 -790533728*x2078_bit0 -864102384*x2079_bit0 -435821696*x2080_bit0 -239147232*x2081_bit0 -824144816*x2082_bit0 -1262149296*x2083_bit0 -1691832160*x2084_bit0 -1558261872*x2085_bit0 -1063963664*x2086_bit0 -1094207072*x2087_bit0 -1506197504*x2088_bit0 -1672314240*x2089_bit0 -1323465072*x2090_bit0 -1549039888*x2091_bit0 -1056749072*x2092_bit0 -1256298112*x2093_bit0 -1683444160*x2094_bit0 -1665352480*x2095_bit0 -1319634896*x2096_bit0 -1089381200*x2097_bit0 -1498339824*x2098_bit0 -1574797872*x2099_bit0 -1381873840*x2100_bit0 -1168037664*x2101_bit0 -1396204096*x2102_bit0 -1334472384*x2103_bit0 -1569184864*x2104_bit0 -1423291440*x2105_bit0 -1153010864*x2106_bit0 -1167575648*x2107_bit0 -1391769888*x2108_bit0 -1572896784*x2109_bit0 -1383762544*x2110_bit0 -1440702640*x2111_bit0 -1170499936*x2112_bit0 -1351513296*x2113_bit0 -1586683744*x2114_bit0 -961839072*x2115_bit0 -746786144*x2116_bit0 -545601328*x2117_bit0 -834070880*x2118_bit0 -808612320*x2119_bit0 -974209168*x2120_bit0 -807438176*x2121_bit0 -572670752*x2122_bit0 -550632608*x2123_bit0 -848264384*x2124_bit0 -966684384*x2125_bit0 -740040992*x2126_bit0 -778050160*x2127_bit0 -543960480*x2128_bit0 -782430224*x2129_bit0 -944245728*x2130_bit0 -302340032*x2131_bit0 -17865084800*x2132_bit0 -731308544*x2133_bit0 -670190400*x2134_bit0 -433709424*x2135_bit0 -541474848*x2136_bit0 -440404976*x2137_bit0 -750536320*x2138_bit0 -711374128*x2139_bit0 -322244768*x2140_bit0 -424330608*x2141_bit0 -522305344*x2142_bit0 -709705440*x2143_bit0 -654929616*x2144_bit0 -723833984*x2145_bit0 -340252720*x2146_bit0 -428810336*x2147_bit0 -753299088*x2148_bit0 -826775344*x2149_bit0 -275735472*x2150_bit0 -397352944*x2151_bit0 -851544320*x2152_bit0 -792414800*x2153_bit0 -707888448*x2154_bit0 -503352336*x2155_bit0 -630979744*x2156_bit0 -17865084800*x2157_bit0 -17865084800*x2158_bit0 -17865084800*x2159_bit0 -17865084800*x2160_bit0 -499970576*x2161_bit0 -613386512*x2162_bit0 -771241072*x2163_bit0 -696029360*x2164_bit0 -1292523008*x2165_bit0 -1858470880*x2166_bit0 -1804534560*x2167_bit0 -1208527648*x2168_bit0 -1355262400*x2169_bit0 -1525474160*x2170_bit0 -1753389600*x2171_bit0 -1611104320*x2172_bit0 -1794276960*x2173_bit0 -1198418112*x2174_bit0 -1283202896*x2175_bit0 -1848550080*x2176_bit0 -1749313120*x2177_bit0 -1610828800*x2178_bit0 -1354925312*x2179_bit0 -1520690000*x2180_bit0 -1696684640*x2181_bit0 -1617549120*x2182_bit0 -1364256384*x2183_bit0 -1459512048*x2184_bit0 -1405169072*x2185_bit0 -1713113440*x2186_bit0 -1654684320*x2187_bit0 -1330827216*x2188_bit0 -1372284800*x2189_bit0 -1463102272*x2190_bit0 -1701487840*x2191_bit0 -1626020960*x2192_bit0 -1670165920*x2193_bit0 -1346645088*x2194_bit0 -1422210720*x2195_bit0 -1729749760*x2196_bit0 -1507436320*x2197_bit0 -1286095472*x2198_bit0 -1092626288*x2199_bit0 -1352033360*x2200_bit0 -1320704192*x2201_bit0 -1521490176*x2202_bit0 -1349890448*x2203_bit0 -1111752144*x2204_bit0 -1094697120*x2205_bit0 -1359968496*x2206_bit0 -1510347552*x2207_bit0 -1282854992*x2208_bit0 -1320011808*x2209_bit0 -1081887600*x2210_bit0 -1291684656*x2211_bit0 -1491457488*x2212_bit0 -315332096*x2213_bit0 -17865084800*x2214_bit0 -525750816*x2215_bit0 -409741792*x2216_bit0 -641960768*x2217_bit0 -706553872*x2218_bit0 -750536320*x2219_bit0 -440404976*x2220_bit0 -322244768*x2221_bit0 -711374128*x2222_bit0 -663119952*x2223_bit0 -717014640*x2224_bit0 -527027344*x2225_bit0 -431138560*x2226_bit0 -322808816*x2227_bit0 -703231680*x2228_bit0 -733852448*x2229_bit0 -418825728*x2230_bit0 -275735472*x2231_bit0 -806116144*x2232_bit0 -831706096*x2233_bit0 -397352944*x2234_bit0 -618699520*x2235_bit0 -485473920*x2236_bit0 -681911216*x2237_bit0 -770357952*x2238_bit0 -17865084800*x2239_bit0 -17865084800*x2240_bit0 -17865084800*x2241_bit0 -17865084800*x2242_bit0 -703540448*x2243_bit0 -777760976*x2244_bit0 -617057664*x2245_bit0 -505048208*x2246_bit0 -1660728480*x2247_bit0 -2120661280*x2248_bit0 -1989415520*x2249_bit0 -1482983584*x2250_bit0 -1525474160*x2251_bit0 -1907033280*x2252_bit0 -2089277440*x2253_bit0 -1753389600*x2254_bit0 -1980228640*x2255_bit0 -1475066080*x2256_bit0 -1653783360*x2257_bit0 -2112106720*x2258_bit0 -2082783200*x2259_bit0 -1749313120*x2260_bit0 -1520690000*x2261_bit0 -1899839520*x2262_bit0 -1997675040*x2263_bit0 -1813151360*x2264_bit0 -1596024192*x2265_bit0 -1805822560*x2266_bit0 -1744605440*x2267_bit0 -1994981600*x2268_bit0 -1854551360*x2269_bit0 -1578759456*x2270_bit0 -1596344400*x2271_bit0 -1803084640*x2272_bit0 -1996720000*x2273_bit0 -1815085760*x2274_bit0 -1871951680*x2275_bit0 -1596280704*x2276_bit0 -1761969120*x2277_bit0 -2012502560*x2278_bit0 -1209284816*x2279_bit0 -898157600*x2280_bit0 -845415200*x2281_bit0 -1173688144*x2282_bit0 -1159316384*x2283_bit0 -1205534128*x2284_bit0 -965450768*x2285_bit0 -903456800*x2286_bit0 -867627344*x2287_bit0 -1195883632*x2288_bit0 -1225490528*x2289_bit0 -911194512*x2290_bit0 -937824352*x2291_bit0 -883888272*x2292_bit0 -1139406384*x2293_bit0 -1179255120*x2294_bit0 -316327888*x2295_bit0 -17865084800*x2296_bit0 -404648672*x2297_bit0 -533156528*x2298_bit0 -711304592*x2299_bit0 -639618576*x2300_bit0 -711374128*x2301_bit0 -322244768*x2302_bit0 -440404976*x2303_bit0 -750536320*x2304_bit0 -732839072*x2305_bit0 -655398640*x2306_bit0 -414922560*x2307_bit0 -551720912*x2308_bit0 -453356656*x2309_bit0 -748622960*x2310_bit0 -699547808*x2311_bit0 -305703088*x2312_bit0 -435171616*x2313_bit0 -844208848*x2314_bit0 -803069536*x2315_bit0 -238869264*x2316_bit0 -478540624*x2317_bit0 -626574896*x2318_bit0 -776133792*x2319_bit0 -677887312*x2320_bit0 -17865084800*x2321_bit0 -17865084800*x2322_bit0 -17865084800*x2323_bit0 -17865084800*x2324_bit0 -797128032*x2325_bit0 -690189056*x2326_bit0 -482185568*x2327_bit0 -643633904*x2328_bit0 -1558282368*x2329_bit0 -1990580320*x2330_bit0 -1848963040*x2331_bit0 -1364902832*x2332_bit0 -1388885088*x2333_bit0 -1803451520*x2334_bit0 -1973229760*x2335_bit0 -1609806240*x2336_bit0 -1840000320*x2337_bit0 -1357612976*x2338_bit0 -1552040368*x2339_bit0 -1982332160*x2340_bit0 -1966307040*x2341_bit0 -1605310720*x2342_bit0 -1383545184*x2343_bit0 -1795788640*x2344_bit0 -1875749600*x2345_bit0 -1675979360*x2346_bit0 -1467755424*x2347_bit0 -1695753120*x2348_bit0 -1634085760*x2349_bit0 -1869569280*x2350_bit0 -1717516160*x2351_bit0 -1453610064*x2352_bit0 -1466787056*x2353_bit0 -1691691200*x2354_bit0 -1873726240*x2355_bit0 -1676961920*x2356_bit0 -1735000000*x2357_bit0 -1471080464*x2358_bit0 -1651215360*x2359_bit0 -1887054560*x2360_bit0 -1056035232*x2361_bit0 -753861584*x2362_bit0 -685434752*x2363_bit0 -1013695600*x2364_bit0 -999393360*x2365_bit0 -1054389344*x2366_bit0 -821964592*x2367_bit0 -743612736*x2368_bit0 -707662512*x2369_bit0 -1035897616*x2370_bit0 -1071010960*x2371_bit0 -763912016*x2372_bit0 -793252560*x2373_bit0 -724431904*x2374_bit0 -979669984*x2375_bit0 -1027324848*x2376_bit0 -310611296*x2377_bit0 -17865084800*x2378_bit0 -667992064*x2379_bit0 -735836368*x2380_bit0 -548538464*x2381_bit0 -429169712*x2382_bit0 -322244768*x2383_bit0 -711374128*x2384_bit0 -750536320*x2385_bit0 -440404976*x2386_bit0 -547343008*x2387_bit0 -407561312*x2388_bit0 -647064176*x2389_bit0 -725753456*x2390_bit0 -767556496*x2391_bit0 -461987408*x2392_bit0 -325709872*x2393_bit0 -720298304*x2394_bit0 -863668880*x2395_bit0 -435171616*x2396_bit0 -238869264*x2397_bit0 -823830944*x2398_bit0 -704075424*x2399_bit0 -797974624*x2400_bit0 -638630432*x2401_bit0 -496848960*x2402_bit0 -17865084800*x2403_bit0 -17865084800*x2404_bit0 -17865084800*x2405_bit0 -17865084800*x2406_bit0 -640188720*x2407_bit0 -476675712*x2408_bit0 -682466528*x2409_bit0 -790824928*x2410_bit0 -1150883280*x2411_bit0 -1705788800*x2412_bit0 -1646137280*x2413_bit0 -1052921824*x2414_bit0 -1195401888*x2415_bit0 -1388885088*x2416_bit0 -1609806240*x2417_bit0 -1451194816*x2418_bit0 -1635901920*x2419_bit0 -1042911920*x2420_bit0 -1141923184*x2421_bit0 -1695963200*x2422_bit0 -1605310720*x2423_bit0 -1450883744*x2424_bit0 -1195010192*x2425_bit0 -1383545184*x2426_bit0 -1547639680*x2427_bit0 -1459111872*x2428_bit0 -1206649792*x2429_bit0 -1315544576*x2430_bit0 -1259558240*x2431_bit0 -1561836416*x2432_bit0 -1496565536*x2433_bit0 -1174074944*x2434_bit0 -1214282144*x2435_bit0 -1318101984*x2436_bit0 -1551737520*x2437_bit0 -1467328352*x2438_bit0 -1512193504*x2439_bit0 -1190119376*x2440_bit0 -1276809904*x2441_bit0 -1578662192*x2442_bit0 -1393382256*x2443_bit0 -1199938976*x2444_bit0 -985312464*x2445_bit0 -1220623808*x2446_bit0 -1187495392*x2447_bit0 -1410729008*x2448_bit0 -1260204688*x2449_bit0 -995393696*x2450_bit0 -983107056*x2451_bit0 -1226103328*x2452_bit0 -1393585856*x2453_bit0 -1192822096*x2454_bit0 -1230960064*x2455_bit0 -965335152*x2456_bit0 -1157910064*x2457_bit0 -1380697680*x2458_bit0 -309597104*x2459_bit0 -17865084800*x2460_bit0 -724154064*x2461_bit0 -340585792*x2462_bit0 -429358944*x2463_bit0 -753709792*x2464_bit0 -730927088*x2465_bit0 -669683968*x2466_bit0 -433446272*x2467_bit0 -541356720*x2468_bit0 -440988768*x2469_bit0 -750963184*x2470_bit0 -711682784*x2471_bit0 -322552448*x2472_bit0 -424072624*x2473_bit0 -522209760*x2474_bit0 -709358192*x2475_bit0 -654452320*x2476_bit0 -499649568*x2477_bit0 -613279280*x2478_bit0 -770924096*x2479_bit0 -695536400*x2480_bit0 -827095440*x2481_bit0 -276079488*x2482_bit0 -397937024*x2483_bit0 -851941312*x2484_bit0 -792064288*x2485_bit0 -707368896*x2486_bit0 -503030928*x2487_bit0 -630853504*x2488_bit0 -17865084800*x2489_bit0 -17865084800*x2490_bit0 -17865084800*x2491_bit0 -17865084800*x2492_bit0 -1689342240*x2493_bit0 -2215221280*x2494_bit0 -2121139840*x2495_bit0 -1559124640*x2496_bit0 -1654585280*x2497_bit0 -1931259200*x2498_bit0 -2142807200*x2499_bit0 -1901063840*x2500_bit0 -2111299520*x2501_bit0 -1549828336*x2502_bit0 -1680867200*x2503_bit0 -2205843840*x2504_bit0 -2137639680*x2505_bit0 -1898652480*x2506_bit0 -1651762240*x2507_bit0 -1925455360*x2508_bit0 -2069804960*x2509_bit0 -1936760960*x2510_bit0 -1697076640*x2511_bit0 -1849661440*x2512_bit0 -1791394560*x2513_bit0 -2077472640*x2514_bit0 -1976828480*x2515_bit0 -1671203040*x2516_bit0 -1701256000*x2517_bit0 -1850524160*x2518_bit0 -2071994560*x2519_bit0 -1941898400*x2520_bit0 -1993591680*x2521_bit0 -1688298720*x2522_bit0 -1808869120*x2523_bit0 -2094752000*x2524_bit0 -1507155680*x2525_bit0 -1210952880*x2526_bit0 -1113480992*x2527_bit0 -1433475072*x2528_bit0 -1412617984*x2529_bit0 -1507961296*x2530_bit0 -1279069984*x2531_bit0 -1161098128*x2532_bit0 -1129843392*x2533_bit0 -1451478640*x2534_bit0 -1520101648*x2535_bit0 -1220506320*x2536_bit0 -1250308880*x2537_bit0 -1136367728*x2538_bit0 -1388646144*x2539_bit0 -1480189648*x2540_bit0 -337013344*x2541_bit0 -17865084800*x2542_bit0 -323132800*x2543_bit0 -703538080*x2544_bit0 -734253616*x2545_bit0 -419378752*x2546_bit0 -525642624*x2547_bit0 -409484848*x2548_bit0 -641478704*x2549_bit0 -706201216*x2550_bit0 -750963184*x2551_bit0 -440988768*x2552_bit0 -322552448*x2553_bit0 -711682784*x2554_bit0 -662604064*x2555_bit0 -716630736*x2556_bit0 -526910368*x2557_bit0 -430852944*x2558_bit0 -703012032*x2559_bit0 -777410848*x2560_bit0 -616934400*x2561_bit0 -504707808*x2562_bit0 -276079488*x2563_bit0 -806422480*x2564_bit0 -832092320*x2565_bit0 -397937024*x2566_bit0 -618579120*x2567_bit0 -485152272*x2568_bit0 -681414192*x2569_bit0 -770034528*x2570_bit0 -17865084800*x2571_bit0 -17865084800*x2572_bit0 -17865084800*x2573_bit0 -17865084800*x2574_bit0 -1252635952*x2575_bit0 -1689340640*x2576_bit0 -1559122912*x2577_bit0 -1057953344*x2578_bit0 -1094033632*x2579_bit0 -1497212416*x2580_bit0 -1666181280*x2581_bit0 -1325711744*x2582_bit0 -1549826608*x2583_bit0 -1050559520*x2584_bit0 -1246627552*x2585_bit0 -1680865600*x2586_bit0 -1659317760*x2587_bit0 -1322055552*x2588_bit0 -1089416944*x2589_bit0 -1489444160*x2590_bit0 -1570078608*x2591_bit0 -1381692896*x2592_bit0 -1165038608*x2593_bit0 -1388519392*x2594_bit0 -1326833664*x2595_bit0 -1565387808*x2596_bit0 -1423040752*x2597_bit0 -1149067296*x2598_bit0 -1164978976*x2599_bit0 -1384384688*x2600_bit0 -1568454944*x2601_bit0 -1383910496*x2602_bit0 -1440414592*x2603_bit0 -1166575712*x2604_bit0 -1343944784*x2605_bit0 -1582898336*x2606_bit0 -981872352*x2607_bit0 -768417200*x2608_bit0 -565824576*x2609_bit0 -850539056*x2610_bit0 -824414944*x2611_bit0 -994614464*x2612_bit0 -829037280*x2613_bit0 -591265360*x2614_bit0 -570123264*x2615_bit0 -864126944*x2616_bit0 -986382592*x2617_bit0 -761639776*x2618_bit0 -799660608*x2619_bit0 -562289440*x2620_bit0 -797869712*x2621_bit0 -964629040*x2622_bit0 -286867008*x2623_bit0 -17865084800*x2624_bit0 -453980576*x2625_bit0 -749069408*x2626_bit0 -699847552*x2627_bit0 -305996192*x2628_bit0 -404375056*x2629_bit0 -533082928*x2630_bit0 -710977664*x2631_bit0 -639127376*x2632_bit0 -711682784*x2633_bit0 -322552448*x2634_bit0 -440988768*x2635_bit0 -750963184*x2636_bit0 -732480384*x2637_bit0 -654882160*x2638_bit0 -414645216*x2639_bit0 -551625216*x2640_bit0 -796804480*x2641_bit0 -689651520*x2642_bit0 -481837152*x2643_bit0 -643533408*x2644_bit0 -435823568*x2645_bit0 -844634144*x2646_bit0 -803370368*x2647_bit0 -239149040*x2648_bit0 -478189856*x2649_bit0 -626491488*x2650_bit0 -775840400*x2651_bit0 -677372112*x2652_bit0 -17865084800*x2653_bit0 -17865084800*x2654_bit0 -17865084800*x2655_bit0 -17865084800*x2656_bit0 -1127232416*x2657_bit0 -1603742880*x2658_bit0 -1496936560*x2659_bit0 -955155296*x2660_bit0 -1029718272*x2661_bit0 -1373478384*x2662_bit0 -1558023648*x2663_bit0 -1275447824*x2664_bit0 -1487188320*x2665_bit0 -946733152*x2666_bit0 -1120398832*x2667_bit0 -1594744864*x2668_bit0 -1551772624*x2669_bit0 -1273089488*x2670_bit0 -1026652368*x2671_bit0 -1366231792*x2672_bit0 -1470957440*x2673_bit0 -1313719312*x2674_bit0 -1080343440*x2675_bit0 -1272626416*x2676_bit0 -1211583392*x2677_bit0 -1472078592*x2678_bit0 -1354217088*x2679_bit0 -1058349984*x2680_bit0 -1082969600*x2681_bit0 -1270255696*x2682_bit0 -1471069248*x2683_bit0 -1318193024*x2684_bit0 -1371186656*x2685_bit0 -1075768832*x2686_bit0 -1228994304*x2687_bit0 -1489564048*x2688_bit0 -1092360160*x2689_bit0 -913184576*x2690_bit0 -686706368*x2691_bit0 -924919248*x2692_bit0 -893304992*x2693_bit0 -1110050592*x2694_bit0 -969984432*x2695_bit0 -694382480*x2696_bit0 -682962800*x2697_bit0 -932537488*x2698_bit0 -1092550352*x2699_bit0 -903032624*x2700_bit0 -941508960*x2701_bit0 -664330272*x2702_bit0 -864248864*x2703_bit0 -1080043920*x2704_bit0 -288964512*x2705_bit0 -17865084800*x2706_bit0 -768010800*x2707_bit0 -462606400*x2708_bit0 -326018128*x2709_bit0 -720612064*x2710_bit0 -667476992*x2711_bit0 -735479680*x2712_bit0 -548453792*x2713_bit0 -428891472*x2714_bit0 -322552448*x2715_bit0 -711682784*x2716_bit0 -750963184*x2717_bit0 -440988768*x2718_bit0 -547267200*x2719_bit0 -407314288*x2720_bit0 -646586912*x2721_bit0 -725430656*x2722_bit0 -640103344*x2723_bit0 -476348144*x2724_bit0 -681965184*x2725_bit0 -790533728*x2726_bit0 -864103648*x2727_bit0 -435823568*x2728_bit0 -239149040*x2729_bit0 -824145792*x2730_bit0 -703538576*x2731_bit0 -797653296*x2732_bit0 -638540352*x2733_bit0 -496500320*x2734_bit0 -17865084800*x2735_bit0 -17865084800*x2736_bit0 -17865084800*x2737_bit0 -17865084800*x2738_bit0 -1603744640*x2739_bit0 -2152908160*x2740_bit0 -2077740640*x2741_bit0 -1496938368*x2742_bit0 -1616110240*x2743_bit0 -1840756480*x2744_bit0 -2062656320*x2745_bit0 -1868310400*x2746_bit0 -2067670720*x2747_bit0 -1487190128*x2748_bit0 -1594746528*x2749_bit0 -2143228800*x2750_bit0 -2058111040*x2751_bit0 -1866795200*x2752_bit0 -1614323360*x2753_bit0 -1835591680*x2754_bit0 -1998564480*x2755_bit0 -1891352320*x2756_bit0 -1644109120*x2757_bit0 -1768402400*x2758_bit0 -1712171840*x2759_bit0 -2010865280*x2760_bit0 -1930279360*x2761_bit0 -1614575200*x2762_bit0 -1650073760*x2763_bit0 -1770815360*x2764_bit0 -2002152160*x2765_bit0 -1898019680*x2766_bit0 -1946532960*x2767_bit0 -1631180480*x2768_bit0 -1729461120*x2769_bit0 -2027861760*x2770_bit0 -1575850800*x2771_bit0 -1298470848*x2772_bit0 -1167692992*x2773_bit0 -1474057904*x2774_bit0 -1449281616*x2775_bit0 -1580891952*x2776_bit0 -1366500704*x2777_bit0 -1207035328*x2778_bit0 -1179722928*x2779_bit0 -1488893472*x2780_bit0 -1585736048*x2781_bit0 -1304228400*x2782_bit0 -1336884800*x2783_bit0 -1179896560*x2784_bit0 -1423171424*x2785_bit0 -1552038528*x2786_bit0 -338800544*x2787_bit0 -17865084800*x2788_bit0 -1205376816*x2789_bit0 -1516265296*x2790_bit0 -1397400512*x2791_bit0 -1043373760*x2792_bit0 -1059795504*x2793_bit0 -1291555984*x2794_bit0 -1486095872*x2795_bit0 -1296572976*x2796_bit0 -1400026304*x2797_bit0 -1042165104*x2798_bit0 -1199470848*x2799_bit0 -1514936704*x2800_bit0 -1507492608*x2801_bit0 -1317902144*x2802_bit0 -1081357600*x2803_bit0 -1312333168*x2804_bit0 -1571742384*x2805_bit0 -1287196928*x2806_bit0 -1041988432*x2807_bit0 -1387264192*x2808_bit0 -1135212592*x2809_bit0 -1604604000*x2810_bit0 -1493932880*x2811_bit0 -958201792*x2812_bit0 -1020707616*x2813_bit0 -1366900768*x2814_bit0 -1550567136*x2815_bit0 -1266267088*x2816_bit0 -1497197776*x2817_bit0 -955414928*x2818_bit0 -1127685440*x2819_bit0 -1604131360*x2820_bit0 -17865084800*x2821_bit0 -17865084800*x2822_bit0 -17865084800*x2823_bit0 -17865084800*x2824_bit0 -483456032*x2825_bit0 -630576112*x2826_bit0 -783037312*x2827_bit0 -685465504*x2828_bit0 -804382640*x2829_bit0 -257151168*x2830_bit0 -416354096*x2831_bit0 -837806064*x2832_bit0 -776507088*x2833_bit0 -689991104*x2834_bit0 -491228096*x2835_bit0 -621645936*x2836_bit0 -697546176*x2837_bit0 -634962080*x2838_bit0 -389086608*x2839_bit0 -508251952*x2840_bit0 -446779104*x2841_bit0 -705453120*x2842_bit0 -665313856*x2843_bit0 -344695696*x2844_bit0 -404924960*x2845_bit0 -502121344*x2846_bit0 -699259840*x2847_bit0 -648009488*x2848_bit0 -678267488*x2849_bit0 -354420528*x2850_bit0 -463130288*x2851_bit0 -722584928*x2852_bit0 -1339559184*x2853_bit0 -1389487168*x2854_bit0 -1147167248*x2855_bit0 -1083527280*x2856_bit0 -1048152368*x2857_bit0 -1376331120*x2858_bit0 -1409686560*x2859_bit0 -1093950912*x2860_bit0 -1119862976*x2861_bit0 -1062726864*x2862_bit0 -1318761888*x2863_bit0 -1363303776*x2864_bit0 -1393745360*x2865_bit0 -1080414208*x2866_bit0 -1027392304*x2867_bit0 -1355296496*x2868_bit0 -1050291856*x2869_bit0 -17865084800*x2870_bit0 -1694922880*x2871_bit0 -2054193760*x2872_bit0 -1971964160*x2873_bit0 -1591497280*x2874_bit0 -1629895680*x2875_bit0 -1779726880*x2876_bit0 -2007831520*x2877_bit0 -1878585440*x2878_bit0 -1977294400*x2879_bit0 -1595308960*x2880_bit0 -1695203360*x2881_bit0 -2056658400*x2882_bit0 -2029385440*x2883_bit0 -1899344640*x2884_bit0 -1650873920*x2885_bit0 -1801324640*x2886_bit0 -2075768000*x2887_bit0 -1879355680*x2888_bit0 -1627390080*x2889_bit0 -1854145600*x2890_bit0 -1604602400*x2891_bit0 -2150362720*x2892_bit0 -2072380160*x2893_bit0 -1493931088*x2894_bit0 -1606830080*x2895_bit0 -1832587040*x2896_bit0 -2054172000*x2897_bit0 -1858997760*x2898_bit0 -2078000000*x2899_bit0 -1497195968*x2900_bit0 -1604129760*x2901_bit0 -2153258880*x2902_bit0 -17865084800*x2903_bit0 -17865084800*x2904_bit0 -17865084800*x2905_bit0 -17865084800*x2906_bit0 -694941872*x2907_bit0 -790929664*x2908_bit0 -634934960*x2909_bit0 -490097344*x2910_bit0 -257151168*x2911_bit0 -825019168*x2912_bit0 -857381216*x2913_bit0 -416354096*x2914_bit0 -626097904*x2915_bit0 -497691280*x2916_bit0 -699380208*x2917_bit0 -784488848*x2918_bit0 -520070400*x2919_bit0 -408072656*x2920_bit0 -655389712*x2921_bit0 -715460720*x2922_bit0 -728125232*x2923_bit0 -460689360*x2924_bit0 -367759408*x2925_bit0 -689878416*x2926_bit0 -647961584*x2927_bit0 -699216960*x2928_bit0 -502092304*x2929_bit0 -404881600*x2930_bit0 -351088032*x2931_bit0 -674793440*x2932_bit0 -719412048*x2933_bit0 -461232736*x2934_bit0 -1496548288*x2935_bit0 -1682084960*x2936_bit0 -1496043136*x2937_bit0 -1278739136*x2938_bit0 -1258480656*x2939_bit0 -1535648736*x2940_bit0 -1674743520*x2941_bit0 -1429554384*x2942_bit0 -1465660720*x2943_bit0 -1249003424*x2944_bit0 -1467729504*x2945_bit0 -1651931360*x2946_bit0 -1670339200*x2947_bit0 -1430109104*x2948_bit0 -1254047488*x2949_bit0 -1526749728*x2950_bit0 -1593930544*x2951_bit0 -17865084800*x2952_bit0 -1777384480*x2953_bit0 -2121230240*x2954_bit0 -2019499840*x2955_bit0 -1651618720*x2956_bit0 -1679203200*x2957_bit0 -1863350880*x2958_bit0 -2081300320*x2959_bit0 -1920748320*x2960_bit0 -2023018720*x2961_bit0 -1653172640*x2962_bit0 -1775714560*x2963_bit0 -2122022880*x2964_bit0 -2102896480*x2965_bit0 -1941962080*x2966_bit0 -1700602720*x2967_bit0 -1884863360*x2968_bit0 -2156057920*x2969_bit0 -1912764800*x2970_bit0 -1666581920*x2971_bit0 -1944711840*x2972_bit0 -1692092160*x2973_bit0 -2214187680*x2974_bit0 -2117417280*x2975_bit0 -1558404224*x2976_bit0 -1645425440*x2977_bit0 -1923321760*x2978_bit0 -2134498560*x2979_bit0 -1891823040*x2980_bit0 -2121318720*x2981_bit0 -1559268464*x2982_bit0 -1689599200*x2983_bit0 -2215480000*x2984_bit0 -17865084800*x2985_bit0 -17865084800*x2986_bit0 -17865084800*x2987_bit0 -17865084800*x2988_bit0 -784488848*x2989_bit0 -699380208*x2990_bit0 -497691280*x2991_bit0 -626097904*x2992_bit0 -416354096*x2993_bit0 -857381216*x2994_bit0 -825019168*x2995_bit0 -257151168*x2996_bit0 -490097344*x2997_bit0 -634934960*x2998_bit0 -790929664*x2999_bit0 -694941872*x3000_bit0 -414148176*x3001_bit0 -508373728*x3002_bit0 -708352704*x3003_bit0 -658139472*x3004_bit0 -688842048*x3005_bit0 -364605040*x3006_bit0 -469106768*x3007_bit0 -732265824*x3008_bit0 -706454352*x3009_bit0 -645148160*x3010_bit0 -398511616*x3011_bit0 -514027664*x3012_bit0 -452542816*x3013_bit0 -715165744*x3014_bit0 -675861104*x3015_bit0 -354534368*x3016_bit0 -1639139680*x3017_bit0 -1808227840*x3018_bit0 -1609747360*x3019_bit0 -1413124352*x3020_bit0 -1390338128*x3021_bit0 -1678425600*x3022_bit0 -1805134080*x3023_bit0 -1544640928*x3024_bit0 -1579458176*x3025_bit0 -1383958000*x3026_bit0 -1610878880*x3027_bit0 -1778377920*x3028_bit0 -1798908000*x3029_bit0 -1542547312*x3030_bit0 -1383449376*x3031_bit0 -1668018080*x3032_bit0 -1657318400*x3033_bit0 -17865084800*x3034_bit0 -1324607104*x3035_bit0 -1609282560*x3036_bit0 -1466828608*x3037_bit0 -1139580256*x3038_bit0 -1139776192*x3039_bit0 -1409646576*x3040_bit0 -1587634000*x3041_bit0 -1360233648*x3042_bit0 -1466900256*x3043_bit0 -1135227456*x3044_bit0 -1316599200*x3045_bit0 -1605871680*x3046_bit0 -1608667200*x3047_bit0 -1381823120*x3048_bit0 -1161274064*x3049_bit0 -1429777120*x3050_bit0 -1679790080*x3051_bit0 -1338247280*x3052_bit0 -1107071536*x3053_bit0 -1510703600*x3054_bit0 -1262409328*x3055_bit0 -1692093760*x3056_bit0 -1558405936*x3057_bit0 -1064038048*x3058_bit0 -1085473584*x3059_bit0 -1491003104*x3060_bit0 -1659045280*x3061_bit0 -1316781056*x3062_bit0 -1559270176*x3063_bit0 -1058031920*x3064_bit0 -1252894272*x3065_bit0 -1689600800*x3066_bit0 -17865084800*x3067_bit0 -17865084800*x3068_bit0 -17865084800*x3069_bit0 -17865084800*x3070_bit0 -621645936*x3071_bit0 -491228096*x3072_bit0 -689991104*x3073_bit0 -776507088*x3074_bit0 -837806064*x3075_bit0 -416354096*x3076_bit0 -257151168*x3077_bit0 -804382640*x3078_bit0 -685465504*x3079_bit0 -783037312*x3080_bit0 -630576112*x3081_bit0 -483456032*x3082_bit0 -637842560*x3083_bit0 -690174144*x3084_bit0 -496075808*x3085_bit0 -395777424*x3086_bit0 -340995232*x3087_bit0 -664221696*x3088_bit0 -709780864*x3089_bit0 -455669808*x3090_bit0 -514055568*x3091_bit0 -398556432*x3092_bit0 -645196368*x3093_bit0 -706496624*x3094_bit0 -718365024*x3095_bit0 -454507280*x3096_bit0 -357790192*x3097_bit0 -679327280*x3098_bit0 -1499600592*x3099_bit0 -1543558768*x3100_bit0 -1297898672*x3101_bit0 -1243564080*x3102_bit0 -1208134928*x3103_bit0 -1536344128*x3104_bit0 -1565774320*x3105_bit0 -1246904656*x3106_bit0 -1271336640*x3107_bit0 -1222765776*x3108_bit0 -1478804688*x3109_bit0 -1517915584*x3110_bit0 -1549098048*x3111_bit0 -1231998272*x3112_bit0 -1187218896*x3113_bit0 -1515226528*x3114_bit0 -1144203904*x3115_bit0 -17865084800*x3116_bit0 -1394108384*x3117_bit0 -1764722560*x3118_bit0 -1703999840*x3119_bit0 -1313201808*x3120_bit0 -1363933456*x3121_bit0 -1477595136*x3122_bit0 -1712780800*x3123_bit0 -1618204160*x3124_bit0 -1711450560*x3125_bit0 -1319552256*x3126_bit0 -1395940800*x3127_bit0 -1768771200*x3128_bit0 -1734196320*x3129_bit0 -1638148640*x3130_bit0 -1384068848*x3131_bit0 -1499157568*x3132_bit0 -1774938560*x3133_bit0 -1630392160*x3134_bit0 -1374624160*x3135_bit0 -1547070352*x3136_bit0 -1300528576*x3137_bit0 -1863451200*x3138_bit0 -1806484160*x3139_bit0 -1212107568*x3140_bit0 -1355262400*x3141_bit0 -1525474272*x3142_bit0 -1753390560*x3143_bit0 -1611105280*x3144_bit0 -1814129920*x3145_bit0 -1218027248*x3146_bit0 -1301532976*x3147_bit0 -1867907840*x3148_bit0 -776595504*x3149_bit0 -690652816*x3150_bit0 -491879872*x3151_bit0 -621447936*x3152_bit0 -17865084800*x3153_bit0 -17865084800*x3154_bit0 -17865084800*x3155_bit0 -17865084800*x3156_bit0 -483645632*x3157_bit0 -630909680*x3158_bit0 -783510736*x3159_bit0 -685854928*x3160_bit0 -804919840*x3161_bit0 -256982400*x3162_bit0 -416227776*x3163_bit0 -838295952*x3164_bit0 -678936512*x3165_bit0 -355087488*x3166_bit0 -463320752*x3167_bit0 -723106896*x3168_bit0 -697714816*x3169_bit0 -635383632*x3170_bit0 -389513008*x3171_bit0 -508193856*x3172_bit0 -446648816*x3173_bit0 -705462304*x3174_bit0 -665427024*x3175_bit0 -344835472*x3176_bit0 -405091312*x3177_bit0 -502534048*x3178_bit0 -699708656*x3179_bit0 -648314224*x3180_bit0 -1201288704*x3181_bit0 -1369764240*x3182_bit0 -1181237136*x3183_bit0 -972272736*x3184_bit0 -949621584*x3185_bit0 -1240645088*x3186_bit0 -1364921312*x3187_bit0 -1114704832*x3188_bit0 -1150856032*x3189_bit0 -943153248*x3190_bit0 -1173565056*x3191_bit0 -1339741584*x3192_bit0 -1359319264*x3193_bit0 -1115434880*x3194_bit0 -943307552*x3195_bit0 -1229163664*x3196_bit0 -1309818416*x3197_bit0 -17865084800*x3198_bit0 -1745882240*x3199_bit0 -2046904800*x3200_bit0 -1906865600*x3201_bit0 -1575346592*x3202_bit0 -1579532256*x3203_bit0 -1832024960*x3204_bit0 -2021822080*x3205_bit0 -1799726880*x3206_bit0 -1906690080*x3207_bit0 -1572099728*x3208_bit0 -1739823840*x3209_bit0 -2044095200*x3210_bit0 -2043056000*x3211_bit0 -1821323840*x3212_bit0 -1601063680*x3213_bit0 -1852762400*x3214_bit0 -2110325760*x3215_bit0 -1774938560*x3216_bit0 -1547070352*x3217_bit0 -1927492960*x3218_bit0 -1674922400*x3219_bit0 -2131199200*x3220_bit0 -1997769120*x3221_bit0 -1495016128*x3222_bit0 -1525474272*x3223_bit0 -1907033600*x3224_bit0 -2089278400*x3225_bit0 -1753390560*x3226_bit0 -1998204000*x3227_bit0 -1490726448*x3228_bit0 -1667832000*x3229_bit0 -2129073760*x3230_bit0 -625545648*x3231_bit0 -497815696*x3232_bit0 -699283600*x3233_bit0 -783939712*x3234_bit0 -17865084800*x3235_bit0 -17865084800*x3236_bit0 -17865084800*x3237_bit0 -17865084800*x3238_bit0 -694570784*x3239_bit0 -790767776*x3240_bit0 -634916592*x3241_bit0 -489755024*x3242_bit0 -256982400*x3243_bit0 -824386880*x3244_bit0 -856762272*x3245_bit0 -416227776*x3246_bit0 -350403312*x3247_bit0 -674052160*x3248_bit0 -718645216*x3249_bit0 -460651264*x3250_bit0 -519682336*x3251_bit0 -407942960*x3252_bit0 -655223600*x3253_bit0 -715121808*x3254_bit0 -727869536*x3255_bit0 -460403488*x3256_bit0 -367618976*x3257_bit0 -689700192*x3258_bit0 -647698416*x3259_bit0 -699157280*x3260_bit0 -502161120*x3261_bit0 -404533520*x3262_bit0 -1775757920*x3263_bit0 -1887563360*x3264_bit0 -1660146880*x3265_bit0 -1529234544*x3266_bit0 -1499651056*x3267_bit0 -1814794880*x3268_bit0 -1897349280*x3269_bit0 -1601008800*x3270_bit0 -1631157760*x3271_bit0 -1502935712*x3272_bit0 -1750212320*x3273_bit0 -1859343680*x3274_bit0 -1885711200*x3275_bit0 -1592032032*x3276_bit0 -1485804304*x3277_bit0 -1799211520*x3278_bit0 -1581216960*x3279_bit0 -17865084800*x3280_bit0 -1638044800*x3281_bit0 -1920990400*x3282_bit0 -1769698720*x3283_bit0 -1452818880*x3284_bit0 -1448908576*x3285_bit0 -1723325280*x3286_bit0 -1901158080*x3287_bit0 -1660731200*x3288_bit0 -1768441600*x3289_bit0 -1447910096*x3290_bit0 -1630358080*x3291_bit0 -1917000480*x3292_bit0 -1922119520*x3293_bit0 -1682309600*x3294_bit0 -1470268320*x3295_bit0 -1743557920*x3296_bit0 -1993950240*x3297_bit0 -1631401440*x3298_bit0 -1410415984*x3299_bit0 -1823348480*x3300_bit0 -1573645168*x3301_bit0 -2001957600*x3302_bit0 -1858107680*x3303_bit0 -1378267680*x3304_bit0 -1388886048*x3305_bit0 -1803452480*x3306_bit0 -1973231520*x3307_bit0 -1609808000*x3308_bit0 -1857570880*x3309_bit0 -1372119536*x3310_bit0 -1564799952*x3311_bit0 -1998749600*x3312_bit0 -489549520*x3313_bit0 -635159360*x3314_bit0 -790946864*x3315_bit0 -694453408*x3316_bit0 -17865084800*x3317_bit0 -17865084800*x3318_bit0 -17865084800*x3319_bit0 -17865084800*x3320_bit0 -784112848*x3321_bit0 -699158192*x3322_bit0 -497605680*x3323_bit0 -625786160*x3324_bit0 -416227776*x3325_bit0 -856762272*x3326_bit0 -824386880*x3327_bit0 -256982400*x3328_bit0 -452166784*x3329_bit0 -714501024*x3330_bit0 -675094624*x3331_bit0 -353778832*x3332_bit0 -413795424*x3333_bit0 -508427696*x3334_bit0 -708283808*x3335_bit0 -657870208*x3336_bit0 -688636112*x3337_bit0 -364378432*x3338_bit0 -469045616*x3339_bit0 -732119856*x3340_bit0 -706120608*x3341_bit0 -644990192*x3342_bit0 -398396496*x3343_bit0 -513646640*x3344_bit0 -1743918720*x3345_bit0 -1825732320*x3346_bit0 -1588164688*x3347_bit0 -1491293136*x3348_bit0 -1458941088*x3349_bit0 -1782255680*x3350_bit0 -1841545920*x3351_bit0 -1532781072*x3352_bit0 -1560254848*x3353_bit0 -1467019712*x3354_bit0 -1720180960*x3355_bit0 -1798645280*x3356_bit0 -1827453600*x3357_bit0 -1520806160*x3358_bit0 -1441944480*x3359_bit0 -1764209760*x3360_bit0 -1456579760*x3361_bit0 -17865084800*x3362_bit0 -1250486160*x3363_bit0 -1613750720*x3364_bit0 -1546193280*x3365_bit0 -1157414464*x3366_bit0 -1205464544*x3367_bit0 -1335220112*x3368_bit0 -1564907856*x3369_bit0 -1459203120*x3370_bit0 -1553281088*x3371_bit0 -1163058880*x3372_bit0 -1250976272*x3373_bit0 -1617052320*x3374_bit0 -1586423072*x3375_bit0 -1479259312*x3376_bit0 -1225758672*x3377_bit0 -1356817952*x3378_bit0 -1631401440*x3379_bit0 -1470526928*x3380_bit0 -1214830032*x3381_bit0 -1410415984*x3382_bit0 -1160218480*x3383_bit0 -1711360640*x3384_bit0 -1648389600*x3385_bit0 -1057308176*x3386_bit0 -1195402848*x3387_bit0 -1388886048*x3388_bit0 -1609808000*x3389_bit0 -1451196736*x3390_bit0 -1655720960*x3391_bit0 -1062353152*x3392_bit0 -1159623424*x3393_bit0 -1715163040*x3394_bit0 -685735360*x3395_bit0 -783692064*x3396_bit0 -631154768*x3397_bit0 -483435584*x3398_bit0 -17865084800*x3399_bit0 -17865084800*x3400_bit0 -17865084800*x3401_bit0 -17865084800*x3402_bit0 -621690816*x3403_bit0 -491665456*x3404_bit0 -690525200*x3405_bit0 -776770912*x3406_bit0 -838295952*x3407_bit0 -416227776*x3408_bit0 -256982400*x3409_bit0 -804919840*x3410_bit0 -718998896*x3411_bit0 -454928000*x3412_bit0 -358357872*x3413_bit0 -679968176*x3414_bit0 -638152352*x3415_bit0 -690630208*x3416_bit0 -496491280*x3417_bit0 -395940400*x3418_bit0 -341041136*x3419_bit0 -664306336*x3420_bit0 -709902416*x3421_bit0 -455771168*x3422_bit0 -514005568*x3423_bit0 -398972224*x3424_bit0 -645609824*x3425_bit0 -706664272*x3426_bit0 -1150232288*x3427_bit0 -1278428912*x3428_bit0 -1070154560*x3429_bit0 -904627888*x3430_bit0 -876201888*x3431_bit0 -1189247712*x3432_bit0 -1281796224*x3433_bit0 -1005925456*x3434_bit0 -1039978880*x3435_bit0 -877865296*x3436_bit0 -1124835168*x3437_bit0 -1249178352*x3438_bit0 -1272636720*x3439_bit0 -1002577472*x3440_bit0 -864134352*x3441_bit0 -1173717520*x3442_bit0 -1156287936*x3443_bit0 -17865084800*x3444_bit0 -1768768800*x3445_bit0 -2112010080*x3446_bit0 -2009759200*x3447_bit0 -1642247520*x3448_bit0 -1669540480*x3449_bit0 -1854768960*x3450_bit0 -2072300480*x3451_bit0 -1910900160*x3452_bit0 -2013237280*x3453_bit0 -1643736640*x3454_bit0 -1767020640*x3455_bit0 -2112750080*x3456_bit0 -2093895680*x3457_bit0 -1932121440*x3458_bit0 -1690947360*x3459_bit0 -1876274720*x3460_bit0 -2147304000*x3461_bit0 -1902754560*x3462_bit0 -1656699680*x3463_bit0 -1936420640*x3464_bit0 -1683705760*x3465_bit0 -2204859360*x3466_bit0 -2107613600*x3467_bit0 -1549181936*x3468_bit0 -1635534080*x3469_bit0 -1915041440*x3470_bit0 -2125748320*x3471_bit0 -1881804640*x3472_bit0 -2111478720*x3473_bit0 -1549971888*x3474_bit0 -1681125600*x3475_bit0 -2206103840*x3476_bit0 -804383648*x3477_bit0 -257153024*x3478_bit0 -416355968*x3479_bit0 -837807312*x3480_bit0 -776706656*x3481_bit0 -690226480*x3482_bit0 -491387472*x3483_bit0 -621755088*x3484_bit0 -17865084800*x3485_bit0 -17865084800*x3486_bit0 -17865084800*x3487_bit0 -17865084800*x3488_bit0 -483619920*x3489_bit0 -630682960*x3490_bit0 -783234608*x3491_bit0 -685703104*x3492_bit0 -404925392*x3493_bit0 -502120592*x3494_bit0 -699259392*x3495_bit0 -648009680*x3496_bit0 -678533344*x3497_bit0 -354676032*x3498_bit0 -463276048*x3499_bit0 -722827440*x3500_bit0 -697545696*x3501_bit0 -634962256*x3502_bit0 -389087008*x3503_bit0 -508251168*x3504_bit0 -446919136*x3505_bit0 -705696432*x3506_bit0 -665579040*x3507_bit0 -344941936*x3508_bit0 -1634711360*x3509_bit0 -1802138400*x3510_bit0 -1602791680*x3511_bit0 -1407862176*x3512_bit0 -1384845312*x3513_bit0 -1674012640*x3514_bit0 -1799407840*x3515_bit0 -1537793520*x3516_bit0 -1572516208*x3517_bit0 -1378760640*x3518_bit0 -1606525120*x3519_bit0 -1772319040*x3520_bit0 -1793023360*x3521_bit0 -1535526944*x3522_bit0 -1377740176*x3523_bit0 -1663425600*x3524_bit0 -1648013280*x3525_bit0 -17865084800*x3526_bit0 -1318118720*x3527_bit0 -1601168000*x3528_bit0 -1457789232*x3529_bit0 -1131792800*x3530_bit0 -1131248448*x3531_bit0 -1403046160*x3532_bit0 -1579958896*x3533_bit0 -1351032656*x3534_bit0 -1457775248*x3535_bit0 -1127286000*x3536_bit0 -1309965968*x3537_bit0 -1597659680*x3538_bit0 -1600967360*x3539_bit0 -1372624416*x3540_bit0 -1152732928*x3541_bit0 -1423124768*x3542_bit0 -1672464160*x3543_bit0 -1328690960*x3544_bit0 -1098010384*x3545_bit0 -1504466576*x3546_bit0 -1256559840*x3547_bit0 -1683707200*x3548_bit0 -1549183648*x3549_bit0 -1056822128*x3550_bit0 -1076412752*x3551_bit0 -1484823328*x3552_bit0 -1651749920*x3553_bit0 -1307216384*x3554_bit0 -1549973616*x3555_bit0 -1050636784*x3556_bit0 -1246887568*x3557_bit0 -1681127200*x3558_bit0 -257153024*x3559_bit0 -825020176*x3560_bit0 -857382448*x3561_bit0 -416355968*x3562_bit0 -625983280*x3563_bit0 -497525824*x3564_bit0 -699143600*x3565_bit0 -784287168*x3566_bit0 -17865084800*x3567_bit0 -17865084800*x3568_bit0 -17865084800*x3569_bit0 -17865084800*x3570_bit0 -694703088*x3571_bit0 -790730224*x3572_bit0 -634822704*x3573_bit0 -489927424*x3574_bit0 -647961792*x3575_bit0 -699216496*x3576_bit0 -502091552*x3577_bit0 -404882032*x3578_bit0 -350833680*x3579_bit0 -674527760*x3580_bit0 -719169104*x3581_bit0 -461088176*x3582_bit0 -520069648*x3583_bit0 -408073024*x3584_bit0 -655389872*x3585_bit0 -715460256*x3586_bit0 -727879136*x3587_bit0 -460529616*x3588_bit0 -367508096*x3589_bit0 -689613264*x3590_bit0 -1499548032*x3591_bit0 -1540961008*x3592_bit0 -1294713808*x3593_bit0 -1243498512*x3594_bit0 -1207915248*x3595_bit0 -1536178736*x3596_bit0 -1563659312*x3597_bit0 -1244138944*x3598_bit0 -1268288336*x3599_bit0 -1222924912*x3600_bit0 -1478931760*x3601_bit0 -1515442320*x3602_bit0 -1546795888*x3603_bit0 -1228981344*x3604_bit0 -1186774576*x3605_bit0 -1514893728*x3606_bit0 -1136206608*x3607_bit0 -17865084800*x3608_bit0 -1198107152*x3609_bit0 -1507569904*x3610_bit0 -1387829184*x3611_bit0 -1034680176*x3612_bit0 -1050458560*x3613_bit0 -1284231568*x3614_bit0 -1477807200*x3615_bit0 -1286829168*x3616_bit0 -1390385168*x3617_bit0 -1033328336*x3618_bit0 -1192048144*x3619_bit0 -1506149488*x3620_bit0 -1499189504*x3621_bit0 -1308169120*x3622_bit0 -1072026832*x3623_bit0 -1304968832*x3624_bit0 -1563832816*x3625_bit0 -1277184416*x3626_bit0 -1032212112*x3627_bit0 -1380370640*x3628_bit0 -1128554944*x3629_bit0 -1595688864*x3630_bit0 -1484244672*x3631_bit0 -949956848*x3632_bit0 -1010916256*x3633_bit0 -1360055488*x3634_bit0 -1542678896*x3635_bit0 -1256241600*x3636_bit0 -1487450160*x3637_bit0 -946993184*x3638_bit0 -1120854944*x3639_bit0 -1595135568*x3640_bit0 -416355968*x3641_bit0 -857382448*x3642_bit0 -825020176*x3643_bit0 -257153024*x3644_bit0 -489927424*x3645_bit0 -634822704*x3646_bit0 -790730224*x3647_bit0 -694703088*x3648_bit0 -17865084800*x3649_bit0 -17865084800*x3650_bit0 -17865084800*x3651_bit0 -17865084800*x3652_bit0 -784287168*x3653_bit0 -699143600*x3654_bit0 -497525824*x3655_bit0 -625983280*x3656_bit0 -706454816*x3657_bit0 -645148000*x3658_bit0 -398511248*x3659_bit0 -514028432*x3660_bit0 -452394704*x3661_bit0 -714921536*x3662_bit0 -675595856*x3663_bit0 -354285392*x3664_bit0 -414147760*x3665_bit0 -508374464*x3666_bit0 -708353152*x3667_bit0 -658139296*x3668_bit0 -688576160*x3669_bit0 -364348096*x3670_bit0 -468953664*x3671_bit0 -732022416*x3672_bit0 -1339499184*x3673_bit0 -1386549840*x3674_bit0 -1143469312*x3675_bit0 -1083449728*x3676_bit0 -1047890848*x3677_bit0 -1376143072*x3678_bit0 -1407296320*x3679_bit0 -1090706096*x3680_bit0 -1116306432*x3681_bit0 -1062915792*x3682_bit0 -1318907280*x3683_bit0 -1360498752*x3684_bit0 -1391140944*x3685_bit0 -1076871104*x3686_bit0 -1026861280*x3687_bit0 -1354917296*x3688_bit0 -1041573760*x3689_bit0 -17865084800*x3690_bit0 -1685826400*x3691_bit0 -2044636960*x3692_bit0 -1961959360*x3693_bit0 -1581715984*x3694_bit0 -1619895520*x3695_bit0 -1770685920*x3696_bit0 -1998462400*x3697_bit0 -1868487200*x3698_bit0 -1967258720*x3699_bit0 -1585476592*x3700_bit0 -1686035840*x3701_bit0 -2047055840*x3702_bit0 -2020019680*x3703_bit0 -1889254560*x3704_bit0 -1640883360*x3705_bit0 -1792283040*x3706_bit0 -2066635840*x3707_bit0 -1869144160*x3708_bit0 -1617233120*x3709_bit0 -1845395840*x3710_bit0 -1595687216*x3711_bit0 -2140726240*x3712_bit0 -2062338400*x3713_bit0 -1484242880*x3714_bit0 -1596663840*x3715_bit0 -1823841760*x3716_bit0 -2045039200*x3717_bit0 -1848779040*x3718_bit0 -2067930720*x3719_bit0 -1487448352*x3720_bit0 -1595133904*x3721_bit0 -2143581280*x3722_bit0 -837807312*x3723_bit0 -416355968*x3724_bit0 -257153024*x3725_bit0 -804383648*x3726_bit0 -685703104*x3727_bit0 -783234608*x3728_bit0 -630682960*x3729_bit0 -483619920*x3730_bit0 -17865084800*x3731_bit0 -17865084800*x3732_bit0 -17865084800*x3733_bit0 -17865084800*x3734_bit0 -621755088*x3735_bit0 -491387472*x3736_bit0 -690226480*x3737_bit0 -776706656*x3738_bit0 -514056336*x3739_bit0 -398556048*x3740_bit0 -645196192*x3741_bit0 -706497088*x3742_bit0 -718610288*x3743_bit0 -454659728*x3744_bit0 -358039360*x3745_bit0 -679592352*x3746_bit0 -637842352*x3747_bit0 -690174608*x3748_bit0 -496076576*x3749_bit0 -395776976*x3750_bit0 -341247632*x3751_bit0 -664487312*x3752_bit0 -710022848*x3753_bit0 -455806384*x3754_bit0 -1491628160*x3755_bit0 -1675472160*x3756_bit0 -1488469936*x3757_bit0 -1272813008*x3758_bit0 -1252294512*x3759_bit0 -1530759456*x3760_bit0 -1668506240*x3761_bit0 -1422058064*x3762_bit0 -1458086960*x3763_bit0 -1243128656*x3764_bit0 -1462879168*x3765_bit0 -1645339360*x3766_bit0 -1663935200*x3767_bit0 -1422438928*x3768_bit0 -1247627904*x3769_bit0 -1521663440*x3770_bit0 -1584253216*x3771_bit0 -17865084800*x3772_bit0 -1630584320*x3773_bit0 -1914767360*x3774_bit0 -1764479360*x3775_bit0 -1446264112*x3776_bit0 -1443008704*x3777_bit0 -1715926560*x3778_bit0 -1894539680*x3779_bit0 -1655694720*x3780_bit0 -1763336960*x3781_bit0 -1441479408*x3782_bit0 -1622988000*x3783_bit0 -1910871680*x3784_bit0 -1915522880*x3785_bit0 -1677278080*x3786_bit0 -1464387968*x3787_bit0 -1736190720*x3788_bit0 -1987051040*x3789_bit0 -1626903040*x3790_bit0 -1405087360*x3791_bit0 -1815717280*x3792_bit0 -1565830848*x3793_bit0 -1996016480*x3794_bit0 -1853168800*x3795_bit0 -1371292800*x3796_bit0 -1383546144*x3797_bit0 -1795789600*x3798_bit0 -1966308640*x3799_bit0 -1605312640*x3800_bit0 -1852743040*x3801_bit0 -1365267648*x3802_bit0 -1557071712*x3803_bit0 -1992901600*x3804_bit0 -483435584*x3805_bit0 -631154768*x3806_bit0 -783692064*x3807_bit0 -685735360*x3808_bit0 -804919840*x3809_bit0 -256982400*x3810_bit0 -416227776*x3811_bit0 -838295952*x3812_bit0 -776770912*x3813_bit0 -690525200*x3814_bit0 -491665456*x3815_bit0 -621690816*x3816_bit0 -17865084800*x3817_bit0 -17865084800*x3818_bit0 -17865084800*x3819_bit0 -17865084800*x3820_bit0 -446875008*x3821_bit0 -705570240*x3822_bit0 -665395040*x3823_bit0 -344730816*x3824_bit0 -405090480*x3825_bit0 -502533488*x3826_bit0 -699707824*x3827_bit0 -648313312*x3828_bit0 -678911328*x3829_bit0 -355008912*x3830_bit0 -463542992*x3831_bit0 -723216496*x3832_bit0 -697714000*x3833_bit0 -635382720*x3834_bit0 -389512160*x3835_bit0 -508193344*x3836_bit0 -1734264160*x3837_bit0 -1816568960*x3838_bit0 -1579237040*x3839_bit0 -1481686656*x3840_bit0 -1449365136*x3841_bit0 -1772609760*x3842_bit0 -1832252160*x3843_bit0 -1523742624*x3844_bit0 -1551292800*x3845_bit0 -1457389024*x3846_bit0 -1710509120*x3847_bit0 -1789453280*x3848_bit0 -1818210080*x3849_bit0 -1511847248*x3850_bit0 -1432408672*x3851_bit0 -1754588320*x3852_bit0 -1450223008*x3853_bit0 -17865084800*x3854_bit0 -1245934016*x3855_bit0 -1610378560*x3856_bit0 -1544524592*x3857_bit0 -1155060768*x3858_bit0 -1204061056*x3859_bit0 -1330526880*x3860_bit0 -1561011584*x3861_bit0 -1458084560*x3862_bit0 -1551759056*x3863_bit0 -1160913568*x3864_bit0 -1246604688*x3865_bit0 -1613819840*x3866_bit0 -1582513968*x3867_bit0 -1478078512*x3868_bit0 -1224283376*x3869_bit0 -1352124624*x3870_bit0 -1626903040*x3871_bit0 -1470140224*x3872_bit0 -1214345072*x3873_bit0 -1405087360*x3874_bit0 -1155232512*x3875_bit0 -1708207840*x3876_bit0 -1646839520*x3877_bit0 -1054676144*x3878_bit0 -1195011152*x3879_bit0 -1383546144*x3880_bit0 -1605312640*x3881_bit0 -1450885664*x3882_bit0 -1654306720*x3883_bit0 -1059954208*x3884_bit0 -1154830000*x3885_bit0 -1712141440*x3886_bit0 -694453408*x3887_bit0 -790946864*x3888_bit0 -635159360*x3889_bit0 -489549520*x3890_bit0 -256982400*x3891_bit0 -824386880*x3892_bit0 -856762272*x3893_bit0 -416227776*x3894_bit0 -625786160*x3895_bit0 -497605680*x3896_bit0 -699158192*x3897_bit0 -784112848*x3898_bit0 -17865084800*x3899_bit0 -17865084800*x3900_bit0 -17865084800*x3901_bit0 -17865084800*x3902_bit0 -727974496*x3903_bit0 -460618384*x3904_bit0 -367530880*x3905_bit0 -689671648*x3906_bit0 -647699328*x3907_bit0 -699158096*x3908_bit0 -502161664*x3909_bit0 -404534352*x3910_bit0 -350323968*x3911_bit0 -674028592*x3912_bit0 -718757488*x3913_bit0 -460876880*x3914_bit0 -519682896*x3915_bit0 -407943824*x3916_bit0 -655224528*x3917_bit0 -715122624*x3918_bit0 -1140763456*x3919_bit0 -1270103632*x3920_bit0 -1062726176*x3921_bit0 -895412992*x3922_bit0 -867118560*x3923_bit0 -1179791920*x3924_bit0 -1273162336*x3925_bit0 -998334448*x3926_bit0 -1032524784*x3927_bit0 -868584288*x3928_bit0 -1115324960*x3929_bit0 -1240813792*x3930_bit0 -1264128656*x3931_bit0 -995223440*x3932_bit0 -855209152*x3933_bit0 -1164329808*x3934_bit0 -1153400928*x3935_bit0 -17865084800*x3936_bit0 -1390109584*x3937_bit0 -1761678080*x3938_bit0 -1702507360*x3939_bit0 -1311180640*x3940_bit0 -1362722592*x3941_bit0 -1473430064*x3942_bit0 -1709268320*x3943_bit0 -1617211840*x3944_bit0 -1710088800*x3945_bit0 -1317709600*x3946_bit0 -1392104656*x3947_bit0 -1765853600*x3948_bit0 -1730666560*x3949_bit0 -1637099200*x3950_bit0 -1382792368*x3951_bit0 -1494983424*x3952_bit0 -1770853280*x3953_bit0 -1630048800*x3954_bit0 -1374205648*x3955_bit0 -1542287568*x3956_bit0 -1296185856*x3957_bit0 -1860588800*x3958_bit0 -1805087520*x3959_bit0 -1209882416*x3960_bit0 -1354925312*x3961_bit0 -1520690128*x3962_bit0 -1749314080*x3963_bit0 -1610829760*x3964_bit0 -1812855360*x3965_bit0 -1215998976*x3966_bit0 -1297364352*x3967_bit0 -1865164800*x3968_bit0 -783939712*x3969_bit0 -699283600*x3970_bit0 -497815696*x3971_bit0 -625545648*x3972_bit0 -416227776*x3973_bit0 -856762272*x3974_bit0 -824386880*x3975_bit0 -256982400*x3976_bit0 -489755024*x3977_bit0 -634916592*x3978_bit0 -790767776*x3979_bit0 -694570784*x3980_bit0 -17865084800*x3981_bit0 -17865084800*x3982_bit0 -17865084800*x3983_bit0 -17865084800*x3984_bit0 -688660816*x3985_bit0 -364452368*x3986_bit0 -468828096*x3987_bit0 -732012144*x3988_bit0 -706121408*x3989_bit0 -644991120*x3990_bit0 -398397344*x3991_bit0 -513647168*x3992_bit0 -451945536*x3993_bit0 -714395024*x3994_bit0 -675125936*x3995_bit0 -353877056*x3996_bit0 -413796256*x3997_bit0 -508428272*x3998_bit0 -708284624*x3999_bit0 -657871120*x4000_bit0 -1192311152*x4001_bit0 -1362098048*x4002_bit0 -1174662800*x4003_bit0 -963882976*x4004_bit0 -941448096*x4005_bit0 -1231664176*x4006_bit0 -1356912272*x4007_bit0 -1108031760*x4008_bit0 -1144285136*x4009_bit0 -934706576*x4010_bit0 -1164539488*x4011_bit0 -1332051168*x4012_bit0 -1351456352*x4013_bit0 -1109002480*x4014_bit0 -935354512*x4015_bit0 -1220290272*x4016_bit0 -1307270512*x4017_bit0 -17865084800*x4018_bit0 -1738947360*x4019_bit0 -2041109280*x4020_bit0 -1902068960*x4021_bit0 -1569382032*x4022_bit0 -1574196576*x4023_bit0 -1825123680*x4024_bit0 -2015645600*x4025_bit0 -1795131520*x4026_bit0 -1902002240*x4027_bit0 -1566257280*x4028_bit0 -1732983040*x4029_bit0 -2038392160*x4030_bit0 -2036895680*x4031_bit0 -1816727200*x4032_bit0 -1595737696*x4033_bit0 -1845886400*x4034_bit0 -2103850080*x4035_bit0 -1770853280*x4036_bit0 -1542287568*x4037_bit0 -1920325920*x4038_bit0 -1667650400*x4039_bit0 -2125658720*x4040_bit0 -1993216640*x4041_bit0 -1488677392*x4042_bit0 -1520690128*x4043_bit0 -1899839840*x4044_bit0 -2082784160*x4045_bit0 -1749314080*x4046_bit0 -1993756480*x4047_bit0 -1484511536*x4048_bit0 -1660652160*x4049_bit0 -2123623680*x4050_bit0 -621447936*x4051_bit0 -491879872*x4052_bit0 -690652816*x4053_bit0 -776595504*x4054_bit0 -838295952*x4055_bit0 -416227776*x4056_bit0 -256982400*x4057_bit0 -804919840*x4058_bit0 -685854928*x4059_bit0 -783510736*x4060_bit0 -630909680*x4061_bit0 -483645632*x4062_bit0 -17865084800*x4063_bit0 -17865084800*x4064_bit0 -17865084800*x4065_bit0 -17865084800*x4066_bit0 -341126096*x4067_bit0 -664330432*x4068_bit0 -709788192*x4069_bit0 -455540944*x4070_bit0 -514005024*x4071_bit0 -398971360*x4072_bit0 -645608912*x4073_bit0 -706663456*x4074_bit0 -718892112*x4075_bit0 -454708192*x4076_bit0 -358451408*x4077_bit0 -679997328*x4078_bit0 -638151424*x4079_bit0 -690629408*x4080_bit0 -496490752*x4081_bit0 -395939584*x4082_bit0 -1766300800*x4083_bit0 -1878739200*x4084_bit0 -1651664480*x4085_bit0 -1519905920*x4086_bit0 -1490379120*x4087_bit0 -1805345440*x4088_bit0 -1888364160*x4089_bit0 -1592415840*x4090_bit0 -1622644960*x4091_bit0 -1493574128*x4092_bit0 -1740729920*x4093_bit0 -1850491520*x4094_bit0 -1876790400*x4095_bit0 -1583537104*x4096_bit0 -1476598240*x4097_bit0 -1789802880*x4098_bit0 -1575363216*x4099_bit0 -17865084800*x4100_bit0 -1533481616*x4101_bit0 -1833482400*x4102_bit0 -1696748000*x4103_bit0 -1361714672*x4104_bit0 -1367251872*x4105_bit0 -1619489920*x4106_bit0 -1808088480*x4107_bit0 -1590694608*x4108_bit0 -1697124320*x4109_bit0 -1358611456*x4110_bit0 -1527099104*x4111_bit0 -1830832640*x4112_bit0 -1829323680*x4113_bit0 -1612276160*x4114_bit0 -1388812464*x4115_bit0 -1640137280*x4116_bit0 -1896772000*x4117_bit0 -1569112256*x4118_bit0 -1337138304*x4119_bit0 -1716070880*x4120_bit0 -1464147968*x4121_bit0 -1918290080*x4122_bit0 -1788909440*x4123_bit0 -1281339136*x4124_bit0 -1315544576*x4125_bit0 -1695753120*x4126_bit0 -1875749600*x4127_bit0 -1547639680*x4128_bit0 -1789944800*x4129_bit0 -1276995296*x4130_bit0 -1456548560*x4131_bit0 -1916402560*x4132_bit0 -424457104*x4133_bit0 -603196560*x4134_bit0 -701969152*x4135_bit0 -574993168*x4136_bit0 -678935456*x4137_bit0 -350402064*x4138_bit0 -460650304*x4139_bit0 -723105936*x4140_bit0 -693777616*x4141_bit0 -581067248*x4142_bit0 -434605760*x4143_bit0 -592909472*x4144_bit0 -455539984*x4145_bit0 -732011184*x4146_bit0 -688659760*x4147_bit0 -341124816*x4148_bit0 -17865084800*x4149_bit0 -17865084800*x4150_bit0 -17865084800*x4151_bit0 -17865084800*x4152_bit0 -306973344*x4153_bit0 -455048336*x4154_bit0 -597259792*x4155_bit0 -524691440*x4156_bit0 -553016944*x4157_bit0 -248360448*x4158_bit0 -426892336*x4159_bit0 -614597472*x4160_bit0 -598293296*x4161_bit0 -511044128*x4162_bit0 -289607104*x4163_bit0 -467155840*x4164_bit0 -1608984960*x4165_bit0 -1697108640*x4166_bit0 -1462899408*x4167_bit0 -1356949600*x4168_bit0 -1324980864*x4169_bit0 -1647417920*x4170_bit0 -1711170400*x4171_bit0 -1406016384*x4172_bit0 -1434531696*x4173_bit0 -1332385792*x4174_bit0 -1585052288*x4175_bit0 -1669645600*x4176_bit0 -1697752640*x4177_bit0 -1395157056*x4178_bit0 -1308497648*x4179_bit0 -1629659520*x4180_bit0 -1367711328*x4181_bit0 -17865084800*x4182_bit0 -1319348784*x4183_bit0 -1664164480*x4184_bit0 -1572884816*x4185_bit0 -1196722480*x4186_bit0 -1230957440*x4187_bit0 -1405475552*x4188_bit0 -1622894720*x4189_bit0 -1478598848*x4190_bit0 -1577849408*x4191_bit0 -1199402112*x4192_bit0 -1317357600*x4193_bit0 -1665485760*x4194_bit0 -1644492480*x4195_bit0 -1499411888*x4196_bit0 -1252064832*x4197_bit0 -1426949328*x4198_bit0 -1697530720*x4199_bit0 -1479396592*x4200_bit0 -1227203616*x4201_bit0 -1489026272*x4202_bit0 -1235664064*x4203_bit0 -1758264640*x4204_bit0 -1672861600*x4205_bit0 -1101623184*x4206_bit0 -1206649792*x4207_bit0 -1467755424*x4208_bit0 -1675979360*x4209_bit0 -1459111872*x4210_bit0 -1678221120*x4211_bit0 -1103384544*x4212_bit0 -1232459120*x4213_bit0 -1760199840*x4214_bit0 -563121136*x4215_bit0 -693214240*x4216_bit0 -601853312*x4217_bit0 -421994576*x4218_bit0 -355086256*x4219_bit0 -674051120*x4220_bit0 -718644256*x4221_bit0 -463319792*x4222_bit0 -591530176*x4223_bit0 -432254688*x4224_bit0 -569394896*x4225_bit0 -684872368*x4226_bit0 -709787232*x4227_bit0 -468827136*x4228_bit0 -364451136*x4229_bit0 -664329392*x4230_bit0 -17865084800*x4231_bit0 -17865084800*x4232_bit0 -17865084800*x4233_bit0 -17865084800*x4234_bit0 -500654992*x4235_bit0 -577969088*x4236_bit0 -451355760*x4237_bit0 -297354816*x4238_bit0 -248360448*x4239_bit0 -523871488*x4240_bit0 -590177456*x4241_bit0 -426892336*x4242_bit0 -466559104*x4243_bit0 -287690976*x4244_bit0 -506892912*x4245_bit0 -595079056*x4246_bit0 -1286180720*x4247_bit0 -1398445968*x4248_bit0 -1178881040*x4249_bit0 -1037408912*x4250_bit0 -1007328976*x4251_bit0 -1324982688*x4252_bit0 -1406018080*x4253_bit0 -1117133568*x4254_bit0 -1149203872*x4255_bit0 -1011569952*x4256_bit0 -1261392192*x4257_bit0 -1369797008*x4258_bit0 -1395157056*x4259_bit0 -1110703808*x4260_bit0 -993256240*x4261_bit0 -1308497648*x4262_bit0 -1201285248*x4263_bit0 -17865084800*x4264_bit0 -1454413728*x4265_bit0 -1809887520*x4266_bit0 -1727389440*x4267_bit0 -1346434128*x4268_bit0 -1385314464*x4269_bit0 -1539756400*x4270_bit0 -1764751360*x4271_bit0 -1634873920*x4272_bit0 -1732942400*x4273_bit0 -1350219888*x4274_bit0 -1453974992*x4275_bit0 -1812126400*x4276_bit0 -1786327200*x4277_bit0 -1655532640*x4278_bit0 -1406230944*x4279_bit0 -1561337904*x4280_bit0 -1834747680*x4281_bit0 -1637704800*x4282_bit0 -1384631664*x4283_bit0 -1617508480*x4284_bit0 -1366173760*x4285_bit0 -1905682240*x4286_bit0 -1828070560*x4287_bit0 -1249079216*x4288_bit0 -1364256384*x4289_bit0 -1596024192*x4290_bit0 -1813151360*x4291_bit0 -1617549120*x4292_bit0 -1833942080*x4293_bit0 -1252186512*x4294_bit0 -1364770640*x4295_bit0 -1908428480*x4296_bit0 -676574800*x4297_bit0 -575887232*x4298_bit0 -442572896*x4299_bit0 -581161520*x4300_bit0 -454927040*x4301_bit0 -714500064*x4302_bit0 -675093552*x4303_bit0 -358356576*x4304_bit0 -432303248*x4305_bit0 -591481344*x4306_bit0 -684833104*x4307_bit0 -569425024*x4308_bit0 -665393968*x4309_bit0 -367529600*x4310_bit0 -460617424*x4311_bit0 -705569280*x4312_bit0 -17865084800*x4313_bit0 -17865084800*x4314_bit0 -17865084800*x4315_bit0 -17865084800*x4316_bit0 -580582320*x4317_bit0 -499510096*x4318_bit0 -293528960*x4319_bit0 -455310784*x4320_bit0 -406144640*x4321_bit0 -578684576*x4322_bit0 -527016512*x4323_bit0 -268213920*x4324_bit0 -310137760*x4325_bit0 -442552080*x4326_bit0 -579473936*x4327_bit0 -513641776*x4328_bit0 -1330351584*x4329_bit0 -1480563856*x4330_bit0 -1277985424*x4331_bit0 -1094069856*x4332_bit0 -1068706112*x4333_bit0 -1369696400*x4334_bit0 -1480421232*x4335_bit0 -1213152880*x4336_bit0 -1247726928*x4337_bit0 -1065807456*x4338_bit0 -1303327744*x4339_bit0 -1450955328*x4340_bit0 -1472834544*x4341_bit0 -1210665840*x4342_bit0 -1059570128*x4343_bit0 -1356755568*x4344_bit0 -1349107024*x4345_bit0 -17865084800*x4346_bit0 -1648604160*x4347_bit0 -1965217280*x4348_bit0 -1839562720*x4349_bit0 -1492330896*x4350_bit0 -1505494640*x4351_bit0 -1735066240*x4352_bit0 -1934797920*x4353_bit0 -1735544480*x4354_bit0 -1840925760*x4355_bit0 -1490841920*x4356_bit0 -1643893280*x4357_bit0 -1963714720*x4358_bit0 -1956226720*x4359_bit0 -1757063520*x4360_bit0 -1527092144*x4361_bit0 -1756128960*x4362_bit0 -2018954720*x4363_bit0 -1718044000*x4364_bit0 -1481043344*x4365_bit0 -1826630240*x4366_bit0 -1572978880*x4367_bit0 -2052963200*x4368_bit0 -1933710720*x4369_bit0 -1406885680*x4370_bit0 -1459512048*x4371_bit0 -1805822560*x4372_bit0 -1997675040*x4373_bit0 -1696684640*x4374_bit0 -1935622880*x4375_bit0 -1404390304*x4376_bit0 -1567213728*x4377_bit0 -2052116160*x4378_bit0 -582578976*x4379_bit0 -444821504*x4380_bit0 -587359920*x4381_bit0 -685634832*x4382_bit0 -718997936*x4383_bit0 -452165824*x4384_bit0 -353777520*x4385_bit0 -679967104*x4386_bit0 -581096432*x4387_bit0 -693739072*x4388_bit0 -592860832*x4389_bit0 -434653808*x4390_bit0 -344729488*x4391_bit0 -689670576*x4392_bit0 -727973536*x4393_bit0 -446874048*x4394_bit0 -17865084800*x4395_bit0 -17865084800*x4396_bit0 -17865084800*x4397_bit0 -17865084800*x4398_bit0 -458945152*x4399_bit0 -303533680*x4400_bit0 -523633744*x4401_bit0 -599744336*x4402_bit0 -603814288*x4403_bit0 -406144640*x4404_bit0 -268213920*x4405_bit0 -555898592*x4406_bit0 -517702528*x4407_bit0 -582822048*x4408_bit0 -443209744*x4409_bit0 -311639504*x4410_bit0 -1643255200*x4411_bit0 -1763538560*x4412_bit0 -1541052624*x4413_bit0 -1398497520*x4414_bit0 -1369694640*x4415_bit0 -1682385440*x4416_bit0 -1771115360*x4417_bit0 -1480419632*x4418_bit0 -1511666080*x4419_bit0 -1371765840*x4420_bit0 -1617389920*x4421_bit0 -1734948640*x4422_bit0 -1760361920*x4423_bit0 -1472834544*x4424_bit0 -1356755568*x4425_bit0 -1667335520*x4426_bit0 -1499212400*x4427_bit0 -17865084800*x4428_bit0 -1294406320*x4429_bit0 -1621197280*x4430_bit0 -1512956800*x4431_bit0 -1149297744*x4432_bit0 -1173034864*x4433_bit0 -1380902592*x4434_bit0 -1586252416*x4435_bit0 -1414304928*x4436_bit0 -1516426896*x4437_bit0 -1149721376*x4438_bit0 -1290288480*x4439_bit0 -1620964160*x4440_bit0 -1607782080*x4441_bit0 -1435485776*x4442_bit0 -1194482784*x4443_bit0 -1402075680*x4444_bit0 -1667254880*x4445_bit0 -1408242432*x4446_bit0 -1160370112*x4447_bit0 -1471270240*x4448_bit0 -1217524368*x4449_bit0 -1712051360*x4450_bit0 -1610840160*x4451_bit0 -1059407184*x4452_bit0 -1139293568*x4453_bit0 -1450409184*x4454_bit0 -1645866400*x4455_bit0 -1387485904*x4456_bit0 -1614834560*x4457_bit0 -1058609536*x4458_bit0 -1212018784*x4459_bit0 -1712548480*x4460_bit0 -455669808*x4461_bit0 -732265824*x4462_bit0 -688842048*x4463_bit0 -340995232*x4464_bit0 -424623984*x4465_bit0 -602847920*x4466_bit0 -701516736*x4467_bit0 -574851152*x4468_bit0 -678532320*x4469_bit0 -350832464*x4470_bit0 -461086464*x4471_bit0 -722826112*x4472_bit0 -693787712*x4473_bit0 -580586144*x4474_bit0 -434200368*x4475_bit0 -593143888*x4476_bit0 -598397824*x4477_bit0 -510721088*x4478_bit0 -289114576*x4479_bit0 -467518848*x4480_bit0 -17865084800*x4481_bit0 -17865084800*x4482_bit0 -17865084800*x4483_bit0 -17865084800*x4484_bit0 -306976176*x4485_bit0 -454851744*x4486_bit0 -596999824*x4487_bit0 -524514464*x4488_bit0 -552507824*x4489_bit0 -248215520*x4490_bit0 -426946336*x4491_bit0 -614194912*x4492_bit0 -1342677040*x4493_bit0 -1426861504*x4494_bit0 -1195121264*x4495_bit0 -1089064624*x4496_bit0 -1056318816*x4497_bit0 -1380763760*x4498_bit0 -1440425088*x4499_bit0 -1137054144*x4500_bit0 -1166386480*x4501_bit0 -1065275920*x4502_bit0 -1319528224*x4503_bit0 -1399249568*x4504_bit0 -1427128688*x4505_bit0 -1127130480*x4506_bit0 -1039056112*x4507_bit0 -1362178592*x4508_bit0 -1155938000*x4509_bit0 -17865084800*x4510_bit0 -1561652432*x4511_bit0 -1913922240*x4512_bit0 -1825395680*x4513_bit0 -1448224688*x4514_bit0 -1483478288*x4515_bit0 -1647184800*x4516_bit0 -1870293120*x4517_bit0 -1730764000*x4518_bit0 -1830302880*x4519_bit0 -1451295504*x4520_bit0 -1560876128*x4521_bit0 -1915730080*x4522_bit0 -1891882400*x4523_bit0 -1751629280*x4524_bit0 -1504584768*x4525_bit0 -1668753440*x4526_bit0 -1941636320*x4527_bit0 -1730055200*x4528_bit0 -1478823600*x4529_bit0 -1725839040*x4530_bit0 -1474159280*x4531_bit0 -2008912960*x4532_bit0 -1925290880*x4533_bit0 -1352087552*x4534_bit0 -1458144112*x4535_bit0 -1704373280*x4536_bit0 -1920045120*x4537_bit0 -1709607840*x4538_bit0 -1930538720*x4539_bit0 -1354476544*x4540_bit0 -1472477648*x4541_bit0 -2011222560*x4542_bit0 -709780864*x4543_bit0 -469106768*x4544_bit0 -364605040*x4545_bit0 -664221696*x4546_bit0 -563440032*x4547_bit0 -693094432*x4548_bit0 -601554432*x4549_bit0 -422257216*x4550_bit0 -354674832*x4551_bit0 -674526752*x4552_bit0 -719167776*x4553_bit0 -463274336*x4554_bit0 -591817696*x4555_bit0 -431934848*x4556_bit0 -569356160*x4557_bit0 -685229024*x4558_bit0 -466964832*x4559_bit0 -287324160*x4560_bit0 -506861856*x4561_bit0 -595412960*x4562_bit0 -17865084800*x4563_bit0 -17865084800*x4564_bit0 -17865084800*x4565_bit0 -17865084800*x4566_bit0 -500757264*x4567_bit0 -577927376*x4568_bit0 -451197216*x4569_bit0 -297472800*x4570_bit0 -248215520*x4571_bit0 -524478992*x4572_bit0 -590711456*x4573_bit0 -426946336*x4574_bit0 -1426861504*x4575_bit0 -1586156336*x4576_bit0 -1386177856*x4577_bit0 -1195121264*x4578_bit0 -1171014736*x4579_bit0 -1466223904*x4580_bit0 -1584484832*x4581_bit0 -1321095008*x4582_bit0 -1355888832*x4583_bit0 -1166386480*x4584_bit0 -1399249568*x4585_bit0 -1556412576*x4586_bit0 -1577587840*x4587_bit0 -1318989168*x4588_bit0 -1163020432*x4589_bit0 -1454410032*x4590_bit0 -1452044944*x4591_bit0 -17865084800*x4592_bit0 -1651171520*x4593_bit0 -1985787680*x4594_bit0 -1876613280*x4595_bit0 -1514318464*x4596_bit0 -1537598784*x4597_bit0 -1737526240*x4598_bit0 -1949096320*x4599_bit0 -1776374400*x4600_bit0 -1879554880*x4601_bit0 -1514913040*x4602_bit0 -1648336800*x4603_bit0 -1985815360*x4604_bit0 -1970664000*x4605_bit0 -1797687520*x4606_bit0 -1559090976*x4607_bit0 -1758911040*x4608_bit0 -2027396640*x4609_bit0 -1766134080*x4610_bit0 -1521819744*x4611_bit0 -1823099040*x4612_bit0 -1569444896*x4613_bit0 -2077129120*x4614_bit0 -1973612640*x4615_bit0 -1423421824*x4616_bit0 -1500541408*x4617_bit0 -1801899520*x4618_bit0 -2005910240*x4619_bit0 -1745084480*x4620_bit0 -1977001600*x4621_bit0 -1423174704*x4622_bit0 -1565646320*x4623_bit0 -2077731200*x4624_bit0 -665313856*x4625_bit0 -367759408*x4626_bit0 -460689360*x4627_bit0 -705453120*x4628_bit0 -676936448*x4629_bit0 -575832816*x4630_bit0 -442242416*x4631_bit0 -581456672*x4632_bit0 -454658016*x4633_bit0 -714920224*x4634_bit0 -675594800*x4635_bit0 -358038080*x4636_bit0 -432557168*x4637_bit0 -591191888*x4638_bit0 -684725856*x4639_bit0 -569742144*x4640_bit0 -310511904*x4641_bit0 -442146272*x4642_bit0 -579282240*x4643_bit0 -513834544*x4644_bit0 -17865084800*x4645_bit0 -17865084800*x4646_bit0 -17865084800*x4647_bit0 -17865084800*x4648_bit0 -580738752*x4649_bit0 -499526128*x4650_bit0 -293358368*x4651_bit0 -455452608*x4652_bit0 -406208688*x4653_bit0 -579238688*x4654_bit0 -527616448*x4655_bit0 -268122080*x4656_bit0 -1576124640*x4657_bit0 -1719772160*x4658_bit0 -1508877056*x4659_bit0 -1338746880*x4660_bit0 -1312603120*x4661_bit0 -1615467520*x4662_bit0 -1722116160*x4663_bit0 -1445631280*x4664_bit0 -1478894768*x4665_bit0 -1310738176*x4666_bit0 -1549105472*x4667_bit0 -1690465280*x4668_bit0 -1713542880*x4669_bit0 -1440923200*x4670_bit0 -1302470992*x4671_bit0 -1602427040*x4672_bit0 -1520809280*x4673_bit0 -17865084800*x4674_bit0 -1404102208*x4675_bit0 -1707164320*x4676_bit0 -1575925776*x4677_bit0 -1234822336*x4678_bit0 -1243509712*x4679_bit0 -1490145936*x4680_bit0 -1680337440*x4681_bit0 -1471392112*x4682_bit0 -1577020480*x4683_bit0 -1232250352*x4684_bit0 -1397813856*x4685_bit0 -1704917440*x4686_bit0 -1701624480*x4687_bit0 -1492926496*x4688_bit0 -1265101232*x4689_bit0 -1510820464*x4690_bit0 -1768171200*x4691_bit0 -1453677168*x4692_bit0 -1217028512*x4693_bit0 -1586608416*x4694_bit0 -1334732400*x4695_bit0 -1793097760*x4696_bit0 -1669597280*x4697_bit0 -1153104176*x4698_bit0 -1195476944*x4699_bit0 -1566294272*x4700_bit0 -1747104480*x4701_bit0 -1432332480*x4702_bit0 -1671358080*x4703_bit0 -1149164800*x4704_bit0 -1327092048*x4705_bit0 -1791653120*x4706_bit0 -344695696*x4707_bit0 -689878416*x4708_bit0 -728125232*x4709_bit0 -446779104*x4710_bit0 -582819520*x4711_bit0 -444409184*x4712_bit0 -586870864*x4713_bit0 -685643760*x4714_bit0 -718608992*x4715_bit0 -452392992*x4716_bit0 -354284128*x4717_bit0 -679591312*x4718_bit0 -580960512*x4719_bit0 -693293408*x4720_bit0 -592520240*x4721_bit0 -434816464*x4722_bit0 -517606880*x4723_bit0 -582395728*x4724_bit0 -442758880*x4725_bit0 -311903536*x4726_bit0 -17865084800*x4727_bit0 -17865084800*x4728_bit0 -17865084800*x4729_bit0 -17865084800*x4730_bit0 -459045200*x4731_bit0 -303273040*x4732_bit0 -523376096*x4733_bit0 -599674320*x4734_bit0 -603404192*x4735_bit0 -406208688*x4736_bit0 -268122080*x4737_bit0 -555392192*x4738_bit0 -1501690304*x4739_bit0 -1576124640*x4740_bit0 -1338746880*x4741_bit0 -1247450080*x4742_bit0 -1214178656*x4743_bit0 -1539620128*x4744_bit0 -1592452576*x4745_bit0 -1283124304*x4746_bit0 -1310738176*x4747_bit0 -1224095600*x4748_bit0 -1478820320*x4749_bit0 -1549105472*x4750_bit0 -1578096176*x4751_bit0 -1271298416*x4752_bit0 -1196158368*x4753_bit0 -1520637408*x4754_bit0 -1241216752*x4755_bit0 -17865084800*x4756_bit0 -1456092848*x4757_bit0 -1813770560*x4758_bit0 -1733949120*x4759_bit0 -1351565568*x4760_bit0 -1391916480*x4761_bit0 -1541231216*x4762_bit0 -1767721120*x4763_bit0 -1642183680*x4764_bit0 -1739730720*x4765_bit0 -1355671152*x4766_bit0 -1455964416*x4767_bit0 -1816244480*x4768_bit0 -1789284640*x4769_bit0 -1662769120*x4770_bit0 -1412755264*x4771_bit0 -1562822048*x4772_bit0 -1836683680*x4773_bit0 -1646088800*x4774_bit0 -1392559504*x4775_bit0 -1617855360*x4776_bit0 -1367050576*x4777_bit0 -1909980480*x4778_bit0 -1834887200*x4779_bit0 -1253657296*x4780_bit0 -1372284800*x4781_bit0 -1596344400*x4782_bit0 -1815085760*x4783_bit0 -1626020960*x4784_bit0 -1840970720*x4785_bit0 -1257119456*x4786_bit0 -1365982320*x4787_bit0 -1912946400*x4788_bit0 -693778544*x4789_bit0 -581068176*x4790_bit0 -434606336*x4791_bit0 -592910208*x4792_bit0 -455770208*x4793_bit0 -732118896*x4794_bit0 -688635072*x4795_bit0 -341039872*x4796_bit0 -424456160*x4797_bit0 -603195632*x4798_bit0 -701967088*x4799_bit0 -574990704*x4800_bit0 -678910272*x4801_bit0 -350322720*x4802_bit0 -460875920*x4803_bit0 -723215536*x4804_bit0 -553016944*x4805_bit0 -248360448*x4806_bit0 -426892336*x4807_bit0 -614597472*x4808_bit0 -598468608*x4809_bit0 -510980784*x4810_bit0 -289371504*x4811_bit0 -467419792*x4812_bit0 -17865084800*x4813_bit0 -17865084800*x4814_bit0 -17865084800*x4815_bit0 -17865084800*x4816_bit0 -306741056*x4817_bit0 -455310000*x4818_bit0 -597425888*x4819_bit0 -524618944*x4820_bit0 -1320221600*x4821_bit0 -1474337728*x4822_bit0 -1274101824*x4823_bit0 -1085493760*x4824_bit0 -1060667936*x4825_bit0 -1359579408*x4826_bit0 -1473297216*x4827_bit0 -1208941840*x4828_bit0 -1243801728*x4829_bit0 -1057033552*x4830_bit0 -1293014048*x4831_bit0 -1444640304*x4832_bit0 -1466092672*x4833_bit0 -1206979696*x4834_bit0 -1052078608*x4835_bit0 -1346993168*x4836_bit0 -1353622560*x4837_bit0 -17865084800*x4838_bit0 -1646713280*x4839_bit0 -1966020320*x4840_bit0 -1842729440*x4841_bit0 -1493138960*x4842_bit0 -1507788560*x4843_bit0 -1733198560*x4844_bit0 -1934689120*x4845_bit0 -1739233120*x4846_bit0 -1844326080*x4847_bit0 -1491951936*x4848_bit0 -1642265600*x4849_bit0 -1964738400*x4850_bit0 -1956144640*x4851_bit0 -1760729600*x4852_bit0 -1529382224*x4853_bit0 -1754315520*x4854_bit0 -2018035520*x4855_bit0 -1722808800*x4856_bit0 -1484607840*x4857_bit0 -1823955040*x4858_bit0 -1570191584*x4859_bit0 -2054312160*x4860_bit0 -1937328640*x4861_bit0 -1406852096*x4862_bit0 -1463102272*x4863_bit0 -1803084640*x4864_bit0 -1996720000*x4865_bit0 -1701487840*x4866_bit0 -1939460000*x4867_bit0 -1404679616*x4868_bit0 -1564699472*x4869_bit0 -2053675200*x4870_bit0 -591531104*x4871_bit0 -432255616*x4872_bit0 -569397296*x4873_bit0 -684874416*x4874_bit0 -709901456*x4875_bit0 -469044656*x4876_bit0 -364377216*x4877_bit0 -664305296*x4878_bit0 -563120192*x4879_bit0 -693213312*x4880_bit0 -601852528*x4881_bit0 -421993904*x4882_bit0 -355007680*x4883_bit0 -674027536*x4884_bit0 -718756528*x4885_bit0 -463542032*x4886_bit0 -248360448*x4887_bit0 -523871488*x4888_bit0 -590177456*x4889_bit0 -426892336*x4890_bit0 -466823664*x4891_bit0 -287449696*x4892_bit0 -506828704*x4893_bit0 -595255808*x4894_bit0 -17865084800*x4895_bit0 -17865084800*x4896_bit0 -17865084800*x4897_bit0 -17865084800*x4898_bit0 -500576544*x4899_bit0 -578143856*x4900_bit0 -451621376*x4901_bit0 -297097440*x4902_bit0 -1631969760*x4903_bit0 -1755340160*x4904_bit0 -1534311552*x4905_bit0 -1388054544*x4906_bit0 -1359577648*x4907_bit0 -1671139840*x4908_bit0 -1762226400*x4909_bit0 -1473295632*x4910_bit0 -1504829648*x4911_bit0 -1361145328*x4912_bit0 -1605948960*x4913_bit0 -1726644800*x4914_bit0 -1751757440*x4915_bit0 -1466092672*x4916_bit0 -1346993168*x4917_bit0 -1656342240*x4918_bit0 -1500070368*x4919_bit0 -17865084800*x4920_bit0 -1530167968*x4921_bit0 -1833326880*x4922_bit0 -1699102240*x4923_bit0 -1361171760*x4924_bit0 -1368385696*x4925_bit0 -1616288160*x4926_bit0 -1806930720*x4927_bit0 -1593568144*x4928_bit0 -1699737120*x4929_bit0 -1358403056*x4930_bit0 -1524063072*x4931_bit0 -1830914880*x4932_bit0 -1828208480*x4933_bit0 -1615137120*x4934_bit0 -1389963216*x4935_bit0 -1637012960*x4936_bit0 -1894800160*x4937_bit0 -1573178208*x4938_bit0 -1339686192*x4939_bit0 -1712093280*x4940_bit0 -1459789680*x4941_bit0 -1918772800*x4942_bit0 -1791807520*x4943_bit0 -1279749744*x4944_bit0 -1318101984*x4945_bit0 -1691691200*x4946_bit0 -1873726240*x4947_bit0 -1551737520*x4948_bit0 -1793084960*x4949_bit0 -1275761440*x4950_bit0 -1452474240*x4951_bit0 -1917111840*x4952_bit0 -432304176*x4953_bit0 -591482288*x4954_bit0 -684835152*x4955_bit0 -569427424*x4956_bit0 -665425952*x4957_bit0 -367617696*x4958_bit0 -460402528*x4959_bit0 -705461344*x4960_bit0 -676573872*x4961_bit0 -575886288*x4962_bit0 -442572192*x4963_bit0 -581160720*x4964_bit0 -454707232*x4965_bit0 -714394064*x4966_bit0 -675124880*x4967_bit0 -358450096*x4968_bit0 -406144640*x4969_bit0 -578684576*x4970_bit0 -527016512*x4971_bit0 -268213920*x4972_bit0 -310389456*x4973_bit0 -442288016*x4974_bit0 -579307280*x4975_bit0 -513725952*x4976_bit0 -17865084800*x4977_bit0 -17865084800*x4978_bit0 -17865084800*x4979_bit0 -17865084800*x4980_bit0 -580406048*x4981_bit0 -499585440*x4982_bit0 -293785504*x4983_bit0 -455045120*x4984_bit0 -1596223184*x4985_bit0 -1687418080*x4986_bit0 -1454401824*x4987_bit0 -1344662432*x4988_bit0 -1312950224*x4989_bit0 -1634731200*x4990_bit0 -1700810560*x4991_bit0 -1397048640*x4992_bit0 -1425897280*x4993_bit0 -1319894128*x4994_bit0 -1572121168*x4995_bit0 -1659823040*x4996_bit0 -1687660320*x4997_bit0 -1386560416*x4998_bit0 -1296776032*x4999_bit0 -1617192320*x5000_bit0 -1367435456*x5001_bit0 -17865084800*x5002_bit0 -1319735568*x5003_bit0 -1667295200*x5004_bit0 -1578970080*x5005_bit0 -1200951952*x5006_bit0 -1236932896*x5007_bit0 -1405727088*x5008_bit0 -1624987680*x5009_bit0 -1485500320*x5010_bit0 -1584193552*x5011_bit0 -1204008288*x5012_bit0 -1318093296*x5013_bit0 -1668878240*x5014_bit0 -1646584960*x5015_bit0 -1506236960*x5016_bit0 -1257962512*x5017_bit0 -1427232880*x5018_bit0 -1698528800*x5019_bit0 -1487517568*x5020_bit0 -1234726480*x5021_bit0 -1488108736*x5022_bit0 -1235032800*x5023_bit0 -1761899680*x5024_bit0 -1679266240*x5025_bit0 -1105099248*x5026_bit0 -1214282144*x5027_bit0 -1466787056*x5028_bit0 -1676961920*x5029_bit0 -1467328352*x5030_bit0 -1684864160*x5031_bit0 -1107283664*x5032_bit0 -1232203312*x5033_bit0 -1764078720*x5034_bit0 -581097360*x5035_bit0 -693740000*x5036_bit0 -592861552*x5037_bit0 -434654384*x5038_bit0 -344834144*x5039_bit0 -689699120*x5040_bit0 -727868576*x5041_bit0 -446647856*x5042_bit0 -582578048*x5043_bit0 -444820560*x5044_bit0 -587357504*x5045_bit0 -685632736*x5046_bit0 -718891152*x5047_bit0 -451944576*x5048_bit0 -353875744*x5049_bit0 -679996256*x5050_bit0 -603814288*x5051_bit0 -406144640*x5052_bit0 -268213920*x5053_bit0 -555898592*x5054_bit0 -517785600*x5055_bit0 -582656880*x5056_bit0 -442946416*x5057_bit0 -311887568*x5058_bit0 -17865084800*x5059_bit0 -17865084800*x5060_bit0 -17865084800*x5061_bit0 -17865084800*x5062_bit0 -458683344*x5063_bit0 -303763408*x5064_bit0 -523703328*x5065_bit0 -599576688*x5066_bit0 -1274071936*x5067_bit0 -1390381504*x5068_bit0 -1172876224*x5069_bit0 -1026209328*x5070_bit0 -996559776*x5071_bit0 -1312952048*x5072_bit0 -1397050320*x5073_bit0 -1110634032*x5074_bit0 -1143088080*x5075_bit0 -1000099008*x5076_bit0 -1249066576*x5077_bit0 -1361596768*x5078_bit0 -1386560416*x5079_bit0 -1104754096*x5080_bit0 -982981600*x5081_bit0 -1296776032*x5082_bit0 -1204974112*x5083_bit0 -17865084800*x5084_bit0 -1668692640*x5085_bit0 -2003165600*x5086_bit0 -1893536320*x5087_bit0 -1531638512*x5088_bit0 -1554653648*x5089_bit0 -1755046880*x5090_bit0 -1966562560*x5091_bit0 -1793138560*x5092_bit0 -1896418560*x5093_bit0 -1532187200*x5094_bit0 -1665857280*x5095_bit0 -2003164800*x5096_bit0 -1988129280*x5097_bit0 -1814462560*x5098_bit0 -1576152064*x5099_bit0 -1776431840*x5100_bit0 -2044909120*x5101_bit0 -1782561120*x5102_bit0 -1538549040*x5103_bit0 -1840591040*x5104_bit0 -1586943776*x5105_bit0 -2094440800*x5106_bit0 -1990435200*x5107_bit0 -1440832672*x5108_bit0 -1517256096*x5109_bit0 -1819388800*x5110_bit0 -2023423360*x5111_bit0 -1761492640*x5112_bit0 -1993764000*x5113_bit0 -1440548112*x5114_bit0 -1583156848*x5115_bit0 -2095010720*x5116_bit0 -678267488*x5117_bit0 -351088032*x5118_bit0 -461232736*x5119_bit0 -722584928*x5120_bit0 -693788448*x5121_bit0 -580585584*x5122_bit0 -434199440*x5123_bit0 -593144816*x5124_bit0 -455804640*x5125_bit0 -732021104*x5126_bit0 -688575136*x5127_bit0 -341246400*x5128_bit0 -424623056*x5129_bit0 -602848848*x5130_bit0 -701517488*x5131_bit0 -574850624*x5132_bit0 -306845584*x5133_bit0 -454799408*x5134_bit0 -596790928*x5135_bit0 -524257696*x5136_bit0 -552507824*x5137_bit0 -248215520*x5138_bit0 -426946336*x5139_bit0 -614194912*x5140_bit0 -598196784*x5141_bit0 -510461792*x5142_bit0 -288989456*x5143_bit0 -467479760*x5144_bit0 -17865084800*x5145_bit0 -17865084800*x5146_bit0 -17865084800*x5147_bit0 -17865084800*x5148_bit0 -1590734160*x5149_bit0 -1736039840*x5150_bit0 -1525729088*x5151_bit0 -1354060752*x5152_bit0 -1328127568*x5153_bit0 -1630085120*x5154_bit0 -1738075680*x5155_bit0 -1462388816*x5156_bit0 -1495728656*x5157_bit0 -1325962864*x5158_bit0 -1563616240*x5159_bit0 -1706698400*x5160_bit0 -1729636960*x5161_bit0 -1457798160*x5162_bit0 -1318198240*x5163_bit0 -1617228160*x5164_bit0 -1538154256*x5165_bit0 -17865084800*x5166_bit0 -1421374208*x5167_bit0 -1724681280*x5168_bit0 -1593179328*x5169_bit0 -1252343456*x5170_bit0 -1260929968*x5171_bit0 -1507438192*x5172_bit0 -1697846080*x5173_bit0 -1488532384*x5174_bit0 -1594224016*x5175_bit0 -1249766320*x5176_bit0 -1415134048*x5177_bit0 -1722427200*x5178_bit0 -1719134720*x5179_bit0 -1510071344*x5180_bit0 -1282520512*x5181_bit0 -1528126032*x5182_bit0 -1785625760*x5183_bit0 -1470501664*x5184_bit0 -1234213904*x5185_bit0 -1603746240*x5186_bit0 -1351773312*x5187_bit0 -1810588000*x5188_bit0 -1686746880*x5189_bit0 -1170593456*x5190_bit0 -1212657664*x5191_bit0 -1583412528*x5192_bit0 -1764554240*x5193_bit0 -1449144112*x5194_bit0 -1688453280*x5195_bit0 -1166673360*x5196_bit0 -1344203184*x5197_bit0 -1809127680*x5198_bit0 -354420528*x5199_bit0 -674793440*x5200_bit0 -719412048*x5201_bit0 -463130288*x5202_bit0 -591818624*x5203_bit0 -431933920*x5204_bit0 -569355600*x5205_bit0 -685229776*x5206_bit0 -710021504*x5207_bit0 -468951968*x5208_bit0 -364346896*x5209_bit0 -664486304*x5210_bit0 -563439472*x5211_bit0 -693095200*x5212_bit0 -601555360*x5213_bit0 -422256288*x5214_bit0 -501012304*x5215_bit0 -578129248*x5216_bit0 -451223440*x5217_bit0 -297544048*x5218_bit0 -248215520*x5219_bit0 -524478992*x5220_bit0 -590711456*x5221_bit0 -426946336*x5222_bit0 -467000160*x5223_bit0 -287439456*x5224_bit0 -507120960*x5225_bit0 -595612896*x5226_bit0 -17865084800*x5227_bit0 -17865084800*x5228_bit0 -17865084800*x5229_bit0 -17865084800*x5230_bit0 -1513588416*x5231_bit0 -1590734160*x5232_bit0 -1354060752*x5233_bit0 -1259694304*x5234_bit0 -1226661504*x5235_bit0 -1551618864*x5236_bit0 -1606581760*x5237_bit0 -1298133216*x5238_bit0 -1325962864*x5239_bit0 -1236103808*x5240_bit0 -1490518432*x5241_bit0 -1563616240*x5242_bit0 -1592420832*x5243_bit0 -1286534816*x5244_bit0 -1208933760*x5245_bit0 -1532859280*x5246_bit0 -1258735360*x5247_bit0 -17865084800*x5248_bit0 -1311887952*x5249_bit0 -1638604160*x5250_bit0 -1529773856*x5251_bit0 -1166646864*x5252_bit0 -1190011584*x5253_bit0 -1398384480*x5254_bit0 -1603749600*x5255_bit0 -1430885296*x5256_bit0 -1533161856*x5257_bit0 -1167010224*x5258_bit0 -1307789696*x5259_bit0 -1638338720*x5260_bit0 -1625278080*x5261_bit0 -1452085344*x5262_bit0 -1211470432*x5263_bit0 -1419561664*x5264_bit0 -1684775840*x5265_bit0 -1424328112*x5266_bit0 -1176843952*x5267_bit0 -1488652752*x5268_bit0 -1234890672*x5269_bit0 -1729380000*x5270_bit0 -1627527840*x5271_bit0 -1076868096*x5272_bit0 -1155738000*x5273_bit0 -1467781792*x5274_bit0 -1663387200*x5275_bit0 -1403537120*x5276_bit0 -1631439840*x5277_bit0 -1076028400*x5278_bit0 -1229429328*x5279_bit0 -1729838240*x5280_bit0 -454507280*x5281_bit0 -715165744*x5282_bit0 -675861104*x5283_bit0 -357790192*x5284_bit0 -432558096*x5285_bit0 -591190944*x5286_bit0 -684725104*x5287_bit0 -569742720*x5288_bit0 -665578000*x5289_bit0 -367506848*x5290_bit0 -460527936*x5291_bit0 -705695104*x5292_bit0 -676935712*x5293_bit0 -575833408*x5294_bit0 -442243344*x5295_bit0 -581455728*x5296_bit0 -580939088*x5297_bit0 -499782240*x5298_bit0 -293433040*x5299_bit0 -455478368*x5300_bit0 -406208688*x5301_bit0 -579238688*x5302_bit0 -527616448*x5303_bit0 -268122080*x5304_bit0 -310601152*x5305_bit0 -442185360*x5306_bit0 -579490848*x5307_bit0 -514087744*x5308_bit0 -17865084800*x5309_bit0 -17865084800*x5310_bit0 -17865084800*x5311_bit0 -17865084800*x5312_bit0 -1354774544*x5313_bit0 -1441890368*x5314_bit0 -1210969840*x5315_bit0 -1101617744*x5316_bit0 -1069158464*x5317_bit0 -1392967360*x5318_bit0 -1454942992*x5319_bit0 -1152623248*x5320_bit0 -1182159888*x5321_bit0 -1077564560*x5322_bit0 -1331404464*x5323_bit0 -1414184224*x5324_bit0 -1441858032*x5325_bit0 -1142937424*x5326_bit0 -1052238720*x5327_bit0 -1374634752*x5328_bit0 -1173312256*x5329_bit0 -17865084800*x5330_bit0 -1579104224*x5331_bit0 -1931059680*x5332_bit0 -1841831200*x5333_bit0 -1465132192*x5334_bit0 -1499960240*x5335_bit0 -1664650240*x5336_bit0 -1887588480*x5337_bit0 -1746944160*x5338_bit0 -1846658400*x5339_bit0 -1468121760*x5340_bit0 -1578300976*x5341_bit0 -1932820160*x5342_bit0 -1909178720*x5343_bit0 -1767833440*x5344_bit0 -1521087456*x5345_bit0 -1686217600*x5346_bit0 -1959056480*x5347_bit0 -1745786080*x5348_bit0 -1494819472*x5349_bit0 -1743355680*x5350_bit0 -1491661312*x5351_bit0 -2025959200*x5352_bit0 -1941622880*x5353_bit0 -1369135488*x5354_bit0 -1474104992*x5355_bit0 -1721890560*x5356_bit0 -1937465920*x5357_bit0 -1725303520*x5358_bit0 -1946792320*x5359_bit0 -1371446096*x5360_bit0 -1489963296*x5361_bit0 -2028219520*x5362_bit0 -718365024*x5363_bit0 -452542816*x5364_bit0 -354534368*x5365_bit0 -679327280*x5366_bit0 -580961072*x5367_bit0 -693292672*x5368_bit0 -592519296*x5369_bit0 -434817376*x5370_bit0 -344940624*x5371_bit0 -689612224*x5372_bit0 -727877824*x5373_bit0 -446917408*x5374_bit0 -582818592*x5375_bit0 -444410096*x5376_bit0 -586871440*x5377_bit0 -685643024*x5378_bit0 -458993744*x5379_bit0 -303137376*x5380_bit0 -523118400*x5381_bit0 -599466848*x5382_bit0 -603404192*x5383_bit0 -406208688*x5384_bit0 -268122080*x5385_bit0 -555392192*x5386_bit0 -517353344*x5387_bit0 -582186096*x5388_bit0 -442715664*x5389_bit0 -311805888*x5390_bit0 -17865084800*x5391_bit0 -17865084800*x5392_bit0 -17865084800*x5393_bit0 -17865084800*x5394_bit0 -1441890368*x5395_bit0 -1602789920*x5396_bit0 -1403368240*x5397_bit0 -1210969840*x5398_bit0 -1187085504*x5399_bit0 -1481248672*x5400_bit0 -1600827200*x5401_bit0 -1338227392*x5402_bit0 -1373072416*x5403_bit0 -1182159888*x5404_bit0 -1414184224*x5405_bit0 -1573021408*x5406_bit0 -1594060496*x5407_bit0 -1336213664*x5408_bit0 -1179293344*x5409_bit0 -1469629264*x5410_bit0 -1469069600*x5411_bit0 -17865084800*x5412_bit0 -932508144*x5413_bit0 -1318148384*x5414_bit0 -1395020928*x5415_bit0 -1045570112*x5416_bit0 -1148782016*x5417_bit0 -982386752*x5418_bit0 -1234207840*x5419_bit0 -1364934944*x5420_bit0 -1412185760*x5421_bit0 -1064913680*x5422_bit0 -948247168*x5423_bit0 -1332166688*x5424_bit0 -1251368080*x5425_bit0 -1376654176*x5426_bit0 -1158069024*x5427_bit0 -998882720*x5428_bit0 -1241570800*x5429_bit0 -1428654112*x5430_bit0 -1221348432*x5431_bit0 -985912032*x5432_bit0 -834330912*x5433_bit0 -1420002288*x5434_bit0 -1490784096*x5435_bit0 -962262048*x5436_bit0 -1213718432*x5437_bit0 -967718128*x5438_bit0 -1223184384*x5439_bit0 -1418329376*x5440_bit0 -1507512768*x5441_bit0 -982295952*x5442_bit0 -850798480*x5443_bit0 -1433734352*x5444_bit0 -1339559184*x5445_bit0 -1496548288*x5446_bit0 -1278739136*x5447_bit0 -1083527280*x5448_bit0 -936715120*x5449_bit0 -1531092800*x5450_bit0 -1589549792*x5451_bit0 -1038139120*x5452_bit0 -1272812848*x5453_bit0 -1083449728*x5454_bit0 -1339497312*x5455_bit0 -1491626400*x5456_bit0 -1580290000*x5457_bit0 -1029852000*x5458_bit0 -927260368*x5459_bit0 -1521420928*x5460_bit0 -1459718000*x5461_bit0 -1158340368*x5462_bit0 -1072658768*x5463_bit0 -1395975568*x5464_bit0 -1342677040*x5465_bit0 -1426861504*x5466_bit0 -1195121264*x5467_bit0 -1089064624*x5468_bit0 -1060512000*x5469_bit0 -1383073152*x5470_bit0 -1449625376*x5471_bit0 -1150132352*x5472_bit0 -1210969840*x5473_bit0 -1101617744*x5474_bit0 -1354774544*x5475_bit0 -1441890368*x5476_bit0 -17865084800*x5477_bit0 -17865084800*x5478_bit0 -17865084800*x5479_bit0 -17865084800*x5480_bit0 -292938576*x5481_bit0 -453072336*x5482_bit0 -572836480*x5483_bit0 -491301632*x5484_bit0 -521814480*x5485_bit0 -280316704*x5486_bit0 -396619936*x5487_bit0 -566915424*x5488_bit0 -574944976*x5489_bit0 -517928112*x5490_bit0 -319177344*x5491_bit0 -433729088*x5492_bit0 -945452624*x5493_bit0 -17865084800*x5494_bit0 -630721984*x5495_bit0 -998738992*x5496_bit0 -1103474544*x5497_bit0 -804106400*x5498_bit0 -911859168*x5499_bit0 -666281248*x5500_bit0 -911820352*x5501_bit0 -1091605712*x5502_bit0 -1122380656*x5503_bit0 -825490288*x5504_bit0 -649500272*x5505_bit0 -1014078144*x5506_bit0 -928032128*x5507_bit0 -1099954000*x5508_bit0 -915493344*x5509_bit0 -680663840*x5510_bit0 -913760528*x5511_bit0 -1167075520*x5512_bit0 -998437056*x5513_bit0 -658624848*x5514_bit0 -545861344*x5515_bit0 -1098908192*x5516_bit0 -1193046864*x5517_bit0 -747274144*x5518_bit0 -996553408*x5519_bit0 -641034048*x5520_bit0 -895648080*x5521_bit0 -1160448320*x5522_bit0 -1211338912*x5523_bit0 -768903440*x5524_bit0 -566084288*x5525_bit0 -1113740336*x5526_bit0 -1389487168*x5527_bit0 -1682084960*x5528_bit0 -1496043136*x5529_bit0 -1147167248*x5530_bit0 -1078352304*x5531_bit0 -1614080320*x5532_bit0 -1725647200*x5533_bit0 -1249011024*x5534_bit0 -1488469648*x5535_bit0 -1143469248*x5536_bit0 -1386548000*x5537_bit0 -1675470560*x5538_bit0 -1717222560*x5539_bit0 -1242414656*x5540_bit0 -1070451664*x5541_bit0 -1604983200*x5542_bit0 -1607301600*x5543_bit0 -1345714352*x5544_bit0 -1193289600*x5545_bit0 -1486454816*x5546_bit0 -1426861504*x5547_bit0 -1586156336*x5548_bit0 -1386177856*x5549_bit0 -1195121264*x5550_bit0 -1186144064*x5551_bit0 -1477167456*x5552_bit0 -1600734400*x5553_bit0 -1341882192*x5554_bit0 -1403368240*x5555_bit0 -1210969840*x5556_bit0 -1441890368*x5557_bit0 -1602789920*x5558_bit0 -17865084800*x5559_bit0 -17865084800*x5560_bit0 -17865084800*x5561_bit0 -17865084800*x5562_bit0 -532594592*x5563_bit0 -605753040*x5564_bit0 -459328912*x5565_bit0 -309589072*x5566_bit0 -280316704*x5567_bit0 -565189792*x5568_bit0 -605397568*x5569_bit0 -396619936*x5570_bit0 -433946816*x5571_bit0 -319618752*x5572_bit0 -519207744*x5573_bit0 -576026416*x5574_bit0 -653864080*x5575_bit0 -17865084800*x5576_bit0 -731056848*x5577_bit0 -1056608544*x5578_bit0 -1197347984*x5579_bit0 -937590384*x5580_bit0 -1044406720*x5581_bit0 -743696320*x5582_bit0 -964513008*x5583_bit0 -1200430128*x5584_bit0 -1217504032*x5585_bit0 -959215328*x5586_bit0 -751957536*x5587_bit0 -1074431376*x5588_bit0 -977459824*x5589_bit0 -1206205264*x5590_bit0 -1045483520*x5591_bit0 -753007584*x5592_bit0 -941849440*x5593_bit0 -1282170704*x5594_bit0 -1134718720*x5595_bit0 -701457040*x5596_bit0 -665227136*x5597_bit0 -1150646224*x5598_bit0 -1279096304*x5599_bit0 -891946496*x5600_bit0 -1134908848*x5601_bit0 -688918160*x5602_bit0 -926765376*x5603_bit0 -1277813696*x5604_bit0 -1298729392*x5605_bit0 -913442800*x5606_bit0 -686751392*x5607_bit0 -1167845328*x5608_bit0 -1543558768*x5609_bit0 -1808227840*x5610_bit0 -1609747360*x5611_bit0 -1297898672*x5612_bit0 -1212537440*x5613_bit0 -1764349600*x5614_bit0 -1865834400*x5615_bit0 -1363545888*x5616_bit0 -1602791360*x5617_bit0 -1294713760*x5618_bit0 -1540959168*x5619_bit0 -1802136640*x5620_bit0 -1857178400*x5621_bit0 -1356246736*x5622_bit0 -1204132400*x5623_bit0 -1755125920*x5624_bit0 -1744146400*x5625_bit0 -1469351824*x5626_bit0 -1333793088*x5627_bit0 -1634936320*x5628_bit0 -1576124640*x5629_bit0 -1719772160*x5630_bit0 -1508877056*x5631_bit0 -1338746880*x5632_bit0 -1325445776*x5633_bit0 -1624965600*x5634_bit0 -1736631520*x5635_bit0 -1464028672*x5636_bit0 -1525729088*x5637_bit0 -1354060752*x5638_bit0 -1590734160*x5639_bit0 -1736039840*x5640_bit0 -17865084800*x5641_bit0 -17865084800*x5642_bit0 -17865084800*x5643_bit0 -17865084800*x5644_bit0 -605187056*x5645_bit0 -532833280*x5646_bit0 -310349152*x5647_bit0 -458432224*x5648_bit0 -437954560*x5649_bit0 -626598192*x5650_bit0 -559558208*x5651_bit0 -243145616*x5652_bit0 -280867408*x5653_bit0 -475960224*x5654_bit0 -603214048*x5655_bit0 -507501568*x5656_bit0 -753829104*x5657_bit0 -17865084800*x5658_bit0 -995263216*x5659_bit0 -1360079808*x5660_bit0 -1467341152*x5661_bit0 -1145263072*x5662_bit0 -1251661488*x5663_bit0 -1030571376*x5664_bit0 -1271038736*x5665_bit0 -1450037408*x5666_bit0 -1485911008*x5667_bit0 -1165763536*x5668_bit0 -1013549680*x5669_bit0 -1376196064*x5670_bit0 -1286071920*x5671_bit0 -1459632688*x5672_bit0 -1258458448*x5673_bit0 -1044132544*x5674_bit0 -1260950928*x5675_bit0 -1521016864*x5676_bit0 -1330894432*x5677_bit0 -1011482560*x5678_bit0 -905973664*x5679_bit0 -1458522240*x5680_bit0 -1557982704*x5681_bit0 -1071629328*x5682_bit0 -1325503056*x5683_bit0 -995994544*x5684_bit0 -1244514880*x5685_bit0 -1512699472*x5686_bit0 -1576109440*x5687_bit0 -1092618560*x5688_bit0 -925035424*x5689_bit0 -1474236080*x5690_bit0 -1499600592*x5691_bit0 -1639139680*x5692_bit0 -1413124352*x5693_bit0 -1243564080*x5694_bit0 -1092651376*x5695_bit0 -1689801760*x5696_bit0 -1742223520*x5697_bit0 -1177903760*x5698_bit0 -1407862048*x5699_bit0 -1243498512*x5700_bit0 -1499546160*x5701_bit0 -1634709600*x5702_bit0 -1732866080*x5703_bit0 -1169195904*x5704_bit0 -1083095600*x5705_bit0 -1680111040*x5706_bit0 -1611031840*x5707_bit0 -1303336160*x5708_bit0 -1229885152*x5709_bit0 -1554471856*x5710_bit0 -1501690304*x5711_bit0 -1576124640*x5712_bit0 -1338746880*x5713_bit0 -1247450080*x5714_bit0 -1217304688*x5715_bit0 -1541342496*x5716_bit0 -1600350080*x5717_bit0 -1294062896*x5718_bit0 -1354060752*x5719_bit0 -1259694304*x5720_bit0 -1513588416*x5721_bit0 -1590734160*x5722_bit0 -17865084800*x5723_bit0 -17865084800*x5724_bit0 -17865084800*x5725_bit0 -17865084800*x5726_bit0 -452152672*x5727_bit0 -293846208*x5728_bit0 -491575072*x5729_bit0 -572219344*x5730_bit0 -590256624*x5731_bit0 -437954560*x5732_bit0 -243145616*x5733_bit0 -515389120*x5734_bit0 -506171696*x5735_bit0 -602207200*x5736_bit0 -475776656*x5737_bit0 -280189456*x5738_bit0 -1017153248*x5739_bit0 -17865084800*x5740_bit0 -695202208*x5741_bit0 -1084303088*x5742_bit0 -1157529920*x5743_bit0 -817176576*x5744_bit0 -922798528*x5745_bit0 -748404816*x5746_bit0 -1002644448*x5747_bit0 -1130149296*x5748_bit0 -1174874864*x5749_bit0 -837340928*x5750_bit0 -710608544*x5751_bit0 -1097619504*x5752_bit0 -1020577136*x5753_bit0 -1141231408*x5754_bit0 -930360512*x5755_bit0 -765822032*x5756_bit0 -1018728144*x5757_bit0 -1196846752*x5758_bit0 -1000907152*x5759_bit0 -763125136*x5760_bit0 -596474784*x5761_bit0 -1186907056*x5762_bit0 -1252966288*x5763_bit0 -741532624*x5764_bit0 -995393696*x5765_bit0 -743612736*x5766_bit0 -999393360*x5767_bit0 -1187495392*x5768_bit0 -1269766736*x5769_bit0 -762505360*x5770_bit0 -612978368*x5771_bit0 -1199931984*x5772_bit0 -1281734592*x5773_bit0 -1550446400*x5774_bit0 -1361747952*x5775_bit0 -1033755488*x5776_bit0 -949621152*x5777_bit0 -1499650384*x5778_bit0 -1601007840*x5779_bit0 -1114703872*x5780_bit0 -1354241024*x5781_bit0 -1030876960*x5782_bit0 -1279520640*x5783_bit0 -1543998784*x5784_bit0 -1592414880*x5785_bit0 -1108030800*x5786_bit0 -941447664*x5787_bit0 -1490378464*x5788_bit0 -1480419632*x5789_bit0 -1213152880*x5790_bit0 -1068706112*x5791_bit0 -1369694640*x5792_bit0 -1311130192*x5793_bit0 -1457493216*x5794_bit0 -1253401648*x5795_bit0 -1073172912*x5796_bit0 -1060667936*x5797_bit0 -1359577648*x5798_bit0 -1473295632*x5799_bit0 -1208941840*x5800_bit0 -1270519568*x5801_bit0 -1088536912*x5802_bit0 -1325604272*x5803_bit0 -1473953616*x5804_bit0 -575031696*x5805_bit0 -518295744*x5806_bit0 -319533968*x5807_bit0 -433553296*x5808_bit0 -17865084800*x5809_bit0 -17865084800*x5810_bit0 -17865084800*x5811_bit0 -17865084800*x5812_bit0 -292830992*x5813_bit0 -453327776*x5814_bit0 -573208672*x5815_bit0 -491541408*x5816_bit0 -522212816*x5817_bit0 -280143408*x5818_bit0 -396454512*x5819_bit0 -567221488*x5820_bit0 -707738048*x5821_bit0 -17865084800*x5822_bit0 -865492176*x5823_bit0 -1189222016*x5824_bit0 -1332646880*x5825_bit0 -1064950752*x5826_bit0 -1172371824*x5827_bit0 -878953568*x5828_bit0 -1096595008*x5829_bit0 -1334692224*x5830_bit0 -1352781600*x5831_bit0 -1086516864*x5832_bit0 -886234848*x5833_bit0 -1207384512*x5834_bit0 -1108887984*x5835_bit0 -1340772336*x5836_bit0 -1174466256*x5837_bit0 -888061024*x5838_bit0 -1068539280*x5839_bit0 -1415534672*x5840_bit0 -1261102016*x5841_bit0 -833629024*x5842_bit0 -796099296*x5843_bit0 -1281844672*x5844_bit0 -1414304096*x5845_bit0 -1012947312*x5846_bit0 -1260204688*x5847_bit0 -821964592*x5848_bit0 -1054389344*x5849_bit0 -1410729008*x5850_bit0 -1433976384*x5851_bit0 -1034566496*x5852_bit0 -817436144*x5853_bit0 -1299452832*x5854_bit0 -1603952160*x5855_bit0 -1819810720*x5856_bit0 -1607565440*x5857_bit0 -1352346240*x5858_bit0 -1240644496*x5859_bit0 -1814794240*x5860_bit0 -1897348320*x5861_bit0 -1364920352*x5862_bit0 -1601383520*x5863_bit0 -1350270896*x5864_bit0 -1602249600*x5865_bit0 -1814444160*x5866_bit0 -1888363200*x5867_bit0 -1356911312*x5868_bit0 -1231663600*x5869_bit0 -1805344800*x5870_bit0 -1771115360*x5871_bit0 -1480421232*x5872_bit0 -1369696400*x5873_bit0 -1682385440*x5874_bit0 -1625483840*x5875_bit0 -1742142880*x5876_bit0 -1518383136*x5877_bit0 -1379651664*x5878_bit0 -1359579408*x5879_bit0 -1671139840*x5880_bit0 -1762226400*x5881_bit0 -1473297216*x5882_bit0 -1534654000*x5883_bit0 -1393922576*x5884_bit0 -1639162880*x5885_bit0 -1757781760*x5886_bit0 -433700832*x5887_bit0 -319832096*x5888_bit0 -519162176*x5889_bit0 -575764464*x5890_bit0 -17865084800*x5891_bit0 -17865084800*x5892_bit0 -17865084800*x5893_bit0 -17865084800*x5894_bit0 -532391440*x5895_bit0 -605756992*x5896_bit0 -459507840*x5897_bit0 -309330112*x5898_bit0 -280143968*x5899_bit0 -564699424*x5900_bit0 -604919216*x5901_bit0 -396454720*x5902_bit0 -888731216*x5903_bit0 -17865084800*x5904_bit0 -987673520*x5905_bit0 -1332977968*x5906_bit0 -1460038032*x5907_bit0 -1161909744*x5908_bit0 -1269504640*x5909_bit0 -1012336880*x5910_bit0 -1241586224*x5911_bit0 -1452240640*x5912_bit0 -1479464160*x5913_bit0 -1183037552*x5914_bit0 -1007327232*x5915_bit0 -1350311520*x5916_bit0 -1255070768*x5917_bit0 -1460170576*x5918_bit0 -1274252656*x5919_bit0 -1023671952*x5920_bit0 -1220564016*x5921_bit0 -1528188608*x5922_bit0 -1353365248*x5923_bit0 -978875760*x5924_bit0 -906765536*x5925_bit0 -1428286048*x5926_bit0 -1546325920*x5927_bit0 -1097008544*x5928_bit0 -1349890448*x5929_bit0 -965450768*x5930_bit0 -1205534128*x5931_bit0 -1521490176*x5932_bit0 -1565310592*x5933_bit0 -1118459136*x5934_bit0 -927132816*x5935_bit0 -1445154832*x5936_bit0 -1586140944*x5937_bit0 -1742600000*x5938_bit0 -1517903040*x5939_bit0 -1330549792*x5940_bit0 -1189246752*x5941_bit0 -1782254720*x5942_bit0 -1841544640*x5943_bit0 -1281794816*x5944_bit0 -1512566160*x5945_bit0 -1329911280*x5946_bit0 -1585619040*x5947_bit0 -1738045440*x5948_bit0 -1832250880*x5949_bit0 -1273160928*x5950_bit0 -1179790960*x5951_bit0 -1772608800*x5952_bit0 -1711170400*x5953_bit0 -1406018080*x5954_bit0 -1324982688*x5955_bit0 -1647417920*x5956_bit0 -1593486064*x5957_bit0 -1677302080*x5958_bit0 -1441838272*x5959_bit0 -1340730448*x5960_bit0 -1312952048*x5961_bit0 -1634731200*x5962_bit0 -1700810560*x5963_bit0 -1397050320*x5964_bit0 -1457299680*x5965_bit0 -1353516848*x5966_bit0 -1605864160*x5967_bit0 -1692103520*x5968_bit0 -280612176*x5969_bit0 -476183920*x5970_bit0 -603260640*x5971_bit0 -507317088*x5972_bit0 -17865084800*x5973_bit0 -17865084800*x5974_bit0 -17865084800*x5975_bit0 -17865084800*x5976_bit0 -604921040*x5977_bit0 -532744160*x5978_bit0 -310454064*x5979_bit0 -458183584*x5980_bit0 -437828416*x5981_bit0 -626151600*x5982_bit0 -559056704*x5983_bit0 -242800384*x5984_bit0 -1011928064*x5985_bit0 -17865084800*x5986_bit0 -850636272*x5987_bit0 -1242743920*x5988_bit0 -1305446320*x5989_bit0 -947388864*x5990_bit0 -1049258624*x5991_bit0 -907154128*x5992_bit0 -1162022640*x5993_bit0 -1270571760*x5994_bit0 -1321981952*x5995_bit0 -966285152*x5996_bit0 -864930256*x5997_bit0 -1255634656*x5998_bit0 -1180131488*x5999_bit0 -1283025056*x6000_bit0 -1059259328*x6001_bit0 -924940144*x6002_bit0 -1178586496*x6003_bit0 -1331644032*x6004_bit0 -1119887856*x6005_bit0 -922843808*x6006_bit0 -749619264*x6007_bit0 -1345638912*x6008_bit0 -1402952880*x6009_bit0 -861509984*x6010_bit0 -1111752144*x6011_bit0 -903456800*x6012_bit0 -1159316384*x6013_bit0 -1320704192*x6014_bit0 -1419046512*x6015_bit0 -881217152*x6016_bit0 -764572464*x6017_bit0 -1358312864*x6018_bit0 -1258473952*x6019_bit0 -1456689136*x6020_bit0 -1251165792*x6021_bit0 -1003274144*x6022_bit0 -876200928*x6023_bit0 -1458940128*x6024_bit0 -1532779744*x6025_bit0 -1005923888*x6026_bit0 -1244456224*x6027_bit0 -1002372592*x6028_bit0 -1257789728*x6029_bit0 -1451087872*x6030_bit0 -1523741296*x6031_bit0 -998332896*x6032_bit0 -867117600*x6033_bit0 -1449364176*x6034_bit0 -1406016384*x6035_bit0 -1117133568*x6036_bit0 -1007328976*x6037_bit0 -1324980864*x6038_bit0 -1269699872*x6039_bit0 -1376967856*x6040_bit0 -1155689520*x6041_bit0 -1019685520*x6042_bit0 -996559776*x6043_bit0 -1312950224*x6044_bit0 -1397048640*x6045_bit0 -1110634032*x6046_bit0 -1172201536*x6047_bit0 -1033312240*x6048_bit0 -1282632752*x6049_bit0 -1392642144*x6050_bit0 -506416240*x6051_bit0 -602578928*x6052_bit0 -476059776*x6053_bit0 -280152080*x6054_bit0 -17865084800*x6055_bit0 -17865084800*x6056_bit0 -17865084800*x6057_bit0 -17865084800*x6058_bit0 -451969968*x6059_bit0 -294170544*x6060_bit0 -491944896*x6061_bit0 -572298032*x6062_bit0 -590551936*x6063_bit0 -437828240*x6064_bit0 -242799216*x6065_bit0 -515792176*x6066_bit0 -857349616*x6067_bit0 -17865084800*x6068_bit0 -732359376*x6069_bit0 -1067721136*x6070_bit0 -1201546240*x6071_bit0 -931192000*x6072_bit0 -1038473488*x6073_bit0 -749849744*x6074_bit0 -976302544*x6075_bit0 -1201163552*x6076_bit0 -1221457184*x6077_bit0 -952782816*x6078_bit0 -752909408*x6079_bit0 -1085131392*x6080_bit0 -989867280*x6081_bit0 -1207570512*x6082_bit0 -1040321952*x6083_bit0 -760209232*x6084_bit0 -957728448*x6085_bit0 -1281433952*x6086_bit0 -1127716848*x6087_bit0 -713679072*x6088_bit0 -661677248*x6089_bit0 -1163071504*x6090_bit0 -1285110944*x6091_bit0 -881713664*x6092_bit0 -1127217232*x6093_bit0 -700161136*x6094_bit0 -942105056*x6095_bit0 -1276479248*x6096_bit0 -1304486944*x6097_bit0 -903290864*x6098_bit0 -683017488*x6099_bit0 -1179882128*x6100_bit0 -1517915584*x6101_bit0 -1778377920*x6102_bit0 -1579458176*x6103_bit0 -1271336640*x6104_bit0 -1183425824*x6105_bit0 -1737524160*x6106_bit0 -1837198880*x6107_bit0 -1333300016*x6108_bit0 -1572515968*x6109_bit0 -1268288288*x6110_bit0 -1515440480*x6111_bit0 -1772317280*x6112_bit0 -1828515040*x6113_bit0 -1325984928*x6114_bit0 -1174977616*x6115_bit0 -1728271200*x6116_bit0 -1715145760*x6117_bit0 -1439421328*x6118_bit0 -1305336048*x6119_bit0 -1607727200*x6120_bit0 -1549105472*x6121_bit0 -1690465280*x6122_bit0 -1478894768*x6123_bit0 -1310738176*x6124_bit0 -1296838928*x6125_bit0 -1597614704*x6126_bit0 -1707535200*x6127_bit0 -1434028928*x6128_bit0 -1495728656*x6129_bit0 -1325962864*x6130_bit0 -1563616240*x6131_bit0 -1706698400*x6132_bit0 -521814480*x6133_bit0 -280316704*x6134_bit0 -396619936*x6135_bit0 -566915424*x6136_bit0 -574945552*x6137_bit0 -517928432*x6138_bit0 -319178240*x6139_bit0 -433730016*x6140_bit0 -17865084800*x6141_bit0 -17865084800*x6142_bit0 -17865084800*x6143_bit0 -17865084800*x6144_bit0 -292937648*x6145_bit0 -453071408*x6146_bit0 -572835840*x6147_bit0 -491301360*x6148_bit0 -756163824*x6149_bit0 -17865084800*x6150_bit0 -1005310144*x6151_bit0 -1374543744*x6152_bit0 -1476391984*x6153_bit0 -1148065248*x6154_bit0 -1253891808*x6155_bit0 -1043347024*x6156_bit0 -1286229376*x6157_bit0 -1456464496*x6158_bit0 -1494703920*x6159_bit0 -1168335296*x6160_bit0 -1023170192*x6161_bit0 -1390324272*x6162_bit0 -1301634992*x6163_bit0 -1466515872*x6164_bit0 -1261277984*x6165_bit0 -1057452640*x6166_bit0 -1278893920*x6167_bit0 -1525945904*x6168_bit0 -1331616368*x6169_bit0 -1027967120*x6170_bit0 -914039088*x6171_bit0 -1473676736*x6172_bit0 -1568120192*x6173_bit0 -1072013792*x6174_bit0 -1325659952*x6175_bit0 -1012006272*x6176_bit0 -1262134736*x6177_bit0 -1517174416*x6178_bit0 -1585994704*x6179_bit0 -1092808784*x6180_bit0 -932662608*x6181_bit0 -1489076784*x6182_bit0 -1478804688*x6183_bit0 -1610878880*x6184_bit0 -1383958000*x6185_bit0 -1222765776*x6186_bit0 -1067952592*x6187_bit0 -1666597600*x6188_bit0 -1716067040*x6189_bit0 -1149423120*x6190_bit0 -1378760528*x6191_bit0 -1222924912*x6192_bit0 -1478929888*x6193_bit0 -1606523360*x6194_bit0 -1706681600*x6195_bit0 -1140666976*x6196_bit0 -1058357936*x6197_bit0 -1656891840*x6198_bit0 -1584514256*x6199_bit0 -1275568128*x6200_bit0 -1205765488*x6201_bit0 -1531112144*x6202_bit0 -1478820320*x6203_bit0 -1549105472*x6204_bit0 -1310738176*x6205_bit0 -1224095600*x6206_bit0 -1192952528*x6207_bit0 -1517805456*x6208_bit0 -1573679584*x6209_bit0 -1266121872*x6210_bit0 -1325962864*x6211_bit0 -1236103808*x6212_bit0 -1490518432*x6213_bit0 -1563616240*x6214_bit0 -280316704*x6215_bit0 -565189792*x6216_bit0 -605397568*x6217_bit0 -396619936*x6218_bit0 -433947744*x6219_bit0 -319619632*x6220_bit0 -519208064*x6221_bit0 -576026976*x6222_bit0 -17865084800*x6223_bit0 -17865084800*x6224_bit0 -17865084800*x6225_bit0 -17865084800*x6226_bit0 -532594352*x6227_bit0 -605752464*x6228_bit0 -459328000*x6229_bit0 -309588304*x6230_bit0 -1026000256*x6231_bit0 -17865084800*x6232_bit0 -947924864*x6233_bit0 -1336105216*x6234_bit0 -1407396592*x6235_bit0 -1052653952*x6236_bit0 -1154775872*x6237_bit0 -1000154768*x6238_bit0 -1253123504*x6239_bit0 -1374686976*x6240_bit0 -1424252080*x6241_bit0 -1071649168*x6242_bit0 -963125584*x6243_bit0 -1349759552*x6244_bit0 -1270576448*x6245_bit0 -1386848496*x6246_bit0 -1164669264*x6247_bit0 -1017074160*x6248_bit0 -1263002400*x6249_bit0 -1436665104*x6250_bit0 -1225423344*x6251_bit0 -1007100960*x6252_bit0 -848524400*x6253_bit0 -1438340032*x6254_bit0 -1504018496*x6255_bit0 -967099184*x6256_bit0 -1217194528*x6257_bit0 -988586752*x6258_bit0 -1244382960*x6259_bit0 -1425886496*x6260_bit0 -1520453664*x6261_bit0 -986798320*x6262_bit0 -864386336*x6263_bit0 -1451737888*x6264_bit0 -1318761888*x6265_bit0 -1467729504*x6266_bit0 -1249003424*x6267_bit0 -1062726864*x6268_bit0 -911270576*x6269_bit0 -1507614688*x6270_bit0 -1562901264*x6271_bit0 -1008842384*x6272_bit0 -1243128480*x6273_bit0 -1062915792*x6274_bit0 -1318905408*x6275_bit0 -1462877408*x6276_bit0 -1553608896*x6277_bit0 -1000504992*x6278_bit0 -901761600*x6279_bit0 -1497924128*x6280_bit0 -1432640480*x6281_bit0 -1129813760*x6282_bit0 -1047985024*x6283_bit0 -1372293168*x6284_bit0 -1319528224*x6285_bit0 -1399249568*x6286_bit0 -1166386480*x6287_bit0 -1065275920*x6288_bit0 -1035566080*x6289_bit0 -1359190000*x6290_bit0 -1422384128*x6291_bit0 -1121430896*x6292_bit0 -1182159888*x6293_bit0 -1077564560*x6294_bit0 -1331404464*x6295_bit0 -1414184224*x6296_bit0 -437954560*x6297_bit0 -626598192*x6298_bit0 -559558208*x6299_bit0 -243145616*x6300_bit0 -280868224*x6301_bit0 -475961152*x6302_bit0 -603214688*x6303_bit0 -507501760*x6304_bit0 -17865084800*x6305_bit0 -17865084800*x6306_bit0 -17865084800*x6307_bit0 -17865084800*x6308_bit0 -605186480*x6309_bit0 -532833024*x6310_bit0 -310348384*x6311_bit0 -458431312*x6312_bit0 -958441344*x6313_bit0 -17865084800*x6314_bit0 -640107088*x6315_bit0 -1014789024*x6316_bit0 -1111800448*x6317_bit0 -801888320*x6318_bit0 -909556192*x6319_bit0 -680552288*x6320_bit0 -929105616*x6321_bit0 -1096182816*x6322_bit0 -1130358336*x6323_bit0 -823082992*x6324_bit0 -658130016*x6325_bit0 -1029629152*x6326_bit0 -945799200*x6327_bit0 -1105197168*x6328_bit0 -914102944*x6329_bit0 -695817840*x6330_bit0 -934848688*x6331_bit0 -1169715632*x6332_bit0 -994457600*x6333_bit0 -679091920*x6334_bit0 -550892640*x6335_bit0 -1115718640*x6336_bit0 -1202934064*x6337_bit0 -740521728*x6338_bit0 -991753872*x6339_bit0 -660893104*x6340_bit0 -916378304*x6341_bit0 -1162441056*x6342_bit0 -1220885824*x6343_bit0 -762119072*x6344_bit0 -570382912*x6345_bit0 -1130102704*x6346_bit0 -1363303776*x6347_bit0 -1651931360*x6348_bit0 -1465660720*x6349_bit0 -1119862976*x6350_bit0 -1048551328*x6351_bit0 -1586744160*x6352_bit0 -1696549600*x6353_bit0 -1218629072*x6354_bit0 -1458086656*x6355_bit0 -1116306368*x6356_bit0 -1360496928*x6357_bit0 -1645337760*x6358_bit0 -1688096640*x6359_bit0 -1212035248*x6360_bit0 -1040611664*x6361_bit0 -1577613584*x6362_bit0 -1577832496*x6363_bit0 -1315446336*x6364_bit0 -1164130368*x6365_bit0 -1458675424*x6366_bit0 -1399249568*x6367_bit0 -1556412576*x6368_bit0 -1355888832*x6369_bit0 -1166386480*x6370_bit0 -1156843696*x6371_bit0 -1449240160*x6372_bit0 -1571177840*x6373_bit0 -1311576496*x6374_bit0 -1373072416*x6375_bit0 -1182159888*x6376_bit0 -1414184224*x6377_bit0 -1573021408*x6378_bit0 -590256624*x6379_bit0 -437954560*x6380_bit0 -243145616*x6381_bit0 -515389120*x6382_bit0 -506171904*x6383_bit0 -602207840*x6384_bit0 -475777584*x6385_bit0 -280190272*x6386_bit0 -17865084800*x6387_bit0 -17865084800*x6388_bit0 -17865084800*x6389_bit0 -17865084800*x6390_bit0 -452151744*x6391_bit0 -293845280*x6392_bit0 -491574800*x6393_bit0 -572218720*x6394_bit0 -661601872*x6395_bit0 -17865084800*x6396_bit0 -958081136*x6397_bit0 -1305166832*x6398_bit0 -1430567008*x6399_bit0 -1131875920*x6400_bit0 -1239479280*x6401_bit0 -983479728*x6402_bit0 -1214012784*x6403_bit0 -1422348544*x6404_bit0 -1449948432*x6405_bit0 -1153010688*x6406_bit0 -977674528*x6407_bit0 -1322369344*x6408_bit0 -1227697008*x6409_bit0 -1430334800*x6410_bit0 -1244202544*x6411_bit0 -995016704*x6412_bit0 -1194514880*x6413_bit0 -1498181472*x6414_bit0 -1323428896*x6415_bit0 -951521984*x6416_bit0 -876817472*x6417_bit0 -1400889392*x6418_bit0 -1517150288*x6419_bit0 -1067215968*x6420_bit0 -1320011808*x6421_bit0 -937824352*x6422_bit0 -1179255120*x6423_bit0 -1491457488*x6424_bit0 -1536079136*x6425_bit0 -1088679136*x6426_bit0 -897158512*x6427_bit0 -1417621008*x6428_bit0 -1565765232*x6429_bit0 -1732601760*x6430_bit0 -1510449888*x6431_bit0 -1310491952*x6432_bit0 -1173716560*x6433_bit0 -1764208800*x6434_bit0 -1827452320*x6435_bit0 -1272635296*x6436_bit0 -1504916320*x6437_bit0 -1309646384*x6438_bit0 -1565076880*x6439_bit0 -1727875520*x6440_bit0 -1818208800*x6441_bit0 -1264127232*x6442_bit0 -1164328848*x6443_bit0 -1754587360*x6444_bit0 -1697752640*x6445_bit0 -1395157056*x6446_bit0 -1308497648*x6447_bit0 -1629659520*x6448_bit0 -1575218896*x6449_bit0 -1664784800*x6450_bit0 -1431457072*x6451_bit0 -1323307456*x6452_bit0 -1296776032*x6453_bit0 -1617192320*x6454_bit0 -1687660320*x6455_bit0 -1386560416*x6456_bit0 -1447102768*x6457_bit0 -1336351424*x6458_bit0 -1587810048*x6459_bit0 -1679758400*x6460_bit0 -292830832*x6461_bit0 -453327728*x6462_bit0 -573207984*x6463_bit0 -491540512*x6464_bit0 -522212816*x6465_bit0 -280143968*x6466_bit0 -396454720*x6467_bit0 -567221488*x6468_bit0 -575030944*x6469_bit0 -518294864*x6470_bit0 -319533680*x6471_bit0 -433553152*x6472_bit0 -17865084800*x6473_bit0 -17865084800*x6474_bit0 -17865084800*x6475_bit0 -17865084800*x6476_bit0 -982293776*x6477_bit0 -17865084800*x6478_bit0 -826036288*x6479_bit0 -1219509216*x6480_bit0 -1278380848*x6481_bit0 -918319504*x6482_bit0 -1019867104*x6483_bit0 -884373232*x6484_bit0 -1139758368*x6485_bit0 -1242321552*x6486_bit0 -1294750416*x6487_bit0 -937107888*x6488_bit0 -839892864*x6489_bit0 -1232079120*x6490_bit0 -1158114544*x6491_bit0 -1254950224*x6492_bit0 -1030020736*x6493_bit0 -902500512*x6494_bit0 -1158903088*x6495_bit0 -1302760816*x6496_bit0 -1090108032*x6497_bit0 -903578896*x6498_bit0 -724382928*x6499_bit0 -1322614496*x6500_bit0 -1376300720*x6501_bit0 -831895584*x6502_bit0 -1081887600*x6503_bit0 -883888272*x6504_bit0 -1139406384*x6505_bit0 -1291684656*x6506_bit0 -1392226240*x6507_bit0 -851533824*x6508_bit0 -738863920*x6509_bit0 -1334990112*x6510_bit0 -1238536944*x6511_bit0 -1450133136*x6512_bit0 -1248663728*x6513_bit0 -983942928*x6514_bit0 -864133392*x6515_bit0 -1441943520*x6516_bit0 -1520804816*x6517_bit0 -1002575888*x6518_bit0 -1241729648*x6519_bit0 -982741024*x6520_bit0 -1237630432*x6521_bit0 -1444328064*x6522_bit0 -1511845904*x6523_bit0 -995221856*x6524_bit0 -855208192*x6525_bit0 -1432407712*x6526_bit0 -1395157056*x6527_bit0 -1110703808*x6528_bit0 -993256240*x6529_bit0 -1308497648*x6530_bit0 -1252595360*x6531_bit0 -1367360448*x6532_bit0 -1149733568*x6533_bit0 -1004192128*x6534_bit0 -982981600*x6535_bit0 -1296776032*x6536_bit0 -1386560416*x6537_bit0 -1104754096*x6538_bit0 -1166418976*x6539_bit0 -1018163264*x6540_bit0 -1265801536*x6541_bit0 -1383220608*x6542_bit0 -532390528*x6543_bit0 -605756256*x6544_bit0 -459507632*x6545_bit0 -309329584*x6546_bit0 -280143408*x6547_bit0 -564699424*x6548_bit0 -604919216*x6549_bit0 -396454512*x6550_bit0 -433700688*x6551_bit0 -319831792*x6552_bit0 -519161296*x6553_bit0 -575763728*x6554_bit0 -17865084800*x6555_bit0 -17865084800*x6556_bit0 -17865084800*x6557_bit0 -17865084800*x6558_bit0 -830785776*x6559_bit0 -17865084800*x6560_bit0 -669528880*x6561_bit0 -1060654016*x6562_bit0 -1129731776*x6563_bit0 -787318256*x6564_bit0 -892839536*x6565_bit0 -725066464*x6566_bit0 -980094800*x6567_bit0 -1101184080*x6568_bit0 -1146921376*x6569_bit0 -807439424*x6570_bit0 -684447264*x6571_bit0 -1073608672*x6572_bit0 -998326352*x6573_bit0 -1112435104*x6574_bit0 -900485728*x6575_bit0 -742929264*x6576_bit0 -999274144*x6577_bit0 -1167374464*x6578_bit0 -970845312*x6579_bit0 -744328592*x6580_bit0 -569756496*x6581_bit0 -1163540752*x6582_bit0 -1225656336*x6583_bit0 -711471248*x6584_bit0 -965335152*x6585_bit0 -724431904*x6586_bit0 -979669984*x6587_bit0 -1157910064*x6588_bit0 -1242293216*x6589_bit0 -732448784*x6590_bit0 -585764832*x6591_bit0 -1176231344*x6592_bit0 -1265389856*x6593_bit0 -1546838656*x6594_bit0 -1362372944*x6595_bit0 -1019267632*x6596_bit0 -943307152*x6597_bit0 -1485803664*x6598_bit0 -1592031072*x6599_bit0 -1115433920*x6600_bit0 -1354682320*x6601_bit0 -1016071104*x6602_bit0 -1262937584*x6603_bit0 -1540212000*x6604_bit0 -1583536144*x6605_bit0 -1109001520*x6606_bit0 -935354112*x6607_bit0 -1476597600*x6608_bit0 -1472834544*x6609_bit0 -1210665840*x6610_bit0 -1059570128*x6611_bit0 -1356755568*x6612_bit0 -1297736464*x6613_bit0 -1451189680*x6614_bit0 -1251200736*x6615_bit0 -1062557968*x6616_bit0 -1052078608*x6617_bit0 -1346993168*x6618_bit0 -1466092672*x6619_bit0 -1206979696*x6620_bit0 -1268418160*x6621_bit0 -1078187392*x6622_bit0 -1312447536*x6623_bit0 -1467786288*x6624_bit0 -604920304*x6625_bit0 -532743248*x6626_bit0 -310453536*x6627_bit0 -458183376*x6628_bit0 -437828240*x6629_bit0 -626151600*x6630_bit0 -559056704*x6631_bit0 -242799216*x6632_bit0 -280611712*x6633_bit0 -476183792*x6634_bit0 -603259952*x6635_bit0 -507316160*x6636_bit0 -17865084800*x6637_bit0 -17865084800*x6638_bit0 -17865084800*x6639_bit0 -17865084800*x6640_bit0 -680224896*x6641_bit0 -17865084800*x6642_bit0 -835441424*x6643_bit0 -1160707696*x6644_bit0 -1302786432*x6645_bit0 -1035420048*x6646_bit0 -1142786896*x6647_bit0 -849284496*x6648_bit0 -1068243232*x6649_bit0 -1304630800*x6650_bit0 -1322897120*x6651_bit0 -1056996624*x6652_bit0 -856176848*x6653_bit0 -1178756688*x6654_bit0 -1080742848*x6655_bit0 -1310724112*x6656_bit0 -1144767904*x6657_bit0 -858548752*x6658_bit0 -1041732400*x6659_bit0 -1385483072*x6660_bit0 -1231718720*x6661_bit0 -805196208*x6662_bit0 -766176016*x6663_bit0 -1253794032*x6664_bit0 -1384683296*x6665_bit0 -984216992*x6666_bit0 -1230960064*x6667_bit0 -793252560*x6668_bit0 -1027324848*x6669_bit0 -1380697680*x6670_bit0 -1404317728*x6671_bit0 -1005827568*x6672_bit0 -787530880*x6673_bit0 -1271276016*x6674_bit0 -1586257136*x6675_bit0 -1812369920*x6676_bit0 -1602980160*x6677_bit0 -1335632592*x6678_bit0 -1229163104*x6679_bit0 -1799210720*x6680_bit0 -1885710240*x6681_bit0 -1359318304*x6682_bit0 -1596622784*x6683_bit0 -1333335104*x6684_bit0 -1584376240*x6685_bit0 -1806843840*x6686_bit0 -1876789440*x6687_bit0 -1351455392*x6688_bit0 -1220289712*x6689_bit0 -1789802240*x6690_bit0 -1760361920*x6691_bit0 -1472834544*x6692_bit0 -1356755568*x6693_bit0 -1667335520*x6694_bit0 -1610010240*x6695_bit0 -1732344000*x6696_bit0 -1511169504*x6697_bit0 -1365694496*x6698_bit0 -1346993168*x6699_bit0 -1656342240*x6700_bit0 -1751757440*x6701_bit0 -1466092672*x6702_bit0 -1527580720*x6703_bit0 -1380193200*x6704_bit0 -1623886720*x6705_bit0 -1748126240*x6706_bit0 -451969920*x6707_bit0 -294170384*x6708_bit0 -491944000*x6709_bit0 -572297328*x6710_bit0 -590551936*x6711_bit0 -437828416*x6712_bit0 -242800384*x6713_bit0 -515792176*x6714_bit0 -506415328*x6715_bit0 -602578240*x6716_bit0 -476059648*x6717_bit0 -280151616*x6718_bit0 -17865084800*x6719_bit0 -17865084800*x6720_bit0 -17865084800*x6721_bit0 -17865084800*x6722_bit0 -858721120*x6723_bit0 -17865084800*x6725_bit0 -17865084800*x6726_bit0 -17865084800*x6727_bit0 -17865084800*x6728_bit0 -17865084800*x6729_bit0 -17865084800*x6730_bit0 -17865084800*x6731_bit0 -17865084800*x6732_bit0 -17865084800*x6733_bit0 -17865084800*x6734_bit0 -17865084800*x6735_bit0 -17865084800*x6736_bit0 -17865084800*x6737_bit0 -17865084800*x6738_bit0 -17865084800*x6739_bit0 -17865084800*x6740_bit0 -17865084800*x6741_bit0 -17865084800*x6742_bit0 -17865084800*x6743_bit0 -17865084800*x6744_bit0 -17865084800*x6745_bit0 -17865084800*x6746_bit0 -17865084800*x6747_bit0 -17865084800*x6748_bit0 -17865084800*x6749_bit0 -17865084800*x6750_bit0 -17865084800*x6751_bit0 -17865084800*x6752_bit0 -17865084800*x6753_bit0 -17865084800*x6754_bit0 -17865084800*x6755_bit0 -17865084800*x6756_bit0 -17865084800*x6757_bit0 -17865084800*x6758_bit0 -17865084800*x6759_bit0 -17865084800*x6760_bit0 -17865084800*x6761_bit0 -17865084800*x6762_bit0 -17865084800*x6763_bit0 -17865084800*x6764_bit0 -17865084800*x6765_bit0 -17865084800*x6766_bit0 -17865084800*x6767_bit0 -17865084800*x6768_bit0 -17865084800*x6769_bit0 -17865084800*x6770_bit0 -17865084800*x6771_bit0 -17865084800*x6772_bit0 -17865084800*x6773_bit0 -17865084800*x6774_bit0 -17865084800*x6775_bit0 -17865084800*x6776_bit0 -17865084800*x6777_bit0 -17865084800*x6778_bit0 -17865084800*x6779_bit0 -17865084800*x6780_bit0 -17865084800*x6781_bit0 -17865084800*x6782_bit0 -17865084800*x6783_bit0 -17865084800*x6784_bit0 -17865084800*x6785_bit0 -17865084800*x6786_bit0 -17865084800*x6787_bit0 -17865084800*x6788_bit0 -17865084800*x6789_bit0 -17865084800*x6790_bit0 -17865084800*x6791_bit0 -17865084800*x6792_bit0 -17865084800*x6793_bit0 -17865084800*x6794_bit0 -17865084800*x6795_bit0 -17865084800*x6796_bit0 -17865084800*x6797_bit0 -17865084800*x6798_bit0 -17865084800*x6799_bit0 -17865084800*x6800_bit0 -17865084800*x6801_bit0 -17865084800*x6802_bit0 -17865084800*x6803_bit0 -17865084800*x6804_bit0 -17865084800*x6805_bit0 = +16777200000000;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-swath.opb
s UNKNOWN
c Exit Code: 0
c Total time: 0.221 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 1/55 723
Raw data (stat): 723 (runsolver) R 722 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851495313 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+0.263612 s]
Raw data (loadavg): 0.92 0.97 0.91 1/54 723
Raw data (stat): 723 (runsolver) R 722 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851495313 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 0

Child status: 0
Real time (s): 0.263336
CPU time (s): 0.234963
CPU user time (s): 0.206968
CPU system time (s): 0.027995
CPU usage (%): 89.2255
Max. virtual memory (Kb): 864
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####