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-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-swath.opb
MD5SUM	f47bbbd6071f289ca98b403c3baa1b08
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	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	16384000000
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	2012983988447
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.868867
Number of variables	8345
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	6744
Trace number 27157

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-24 19:56:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18045 boxname=wulflinc17 idbench=1389 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  f47bbbd6071f289ca98b403c3baa1b08  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-swath.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-swath.opb
IDLAUNCH: 18045
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 3
cpu MHz		: 451.072
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:        858444 kB
Buffers:          6356 kB
Cached:         147320 kB
SwapCached:        480 kB
Active:          40340 kB
Inactive:       116088 kB
HighTotal:      131008 kB
HighFree:         3696 kB
LowTotal:       903652 kB
LowFree:        854748 kB
SwapTotal:     2097892 kB
SwapFree:      2097148 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6040 kB
Slab:            14172 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:56:37 (client local time) WITH STATUS 0 IN 0.234963 SECONDS
stats: 18045 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_7 +31250*x1_bit_6 +62500*x1_bit_5 +125000*x1_bit_4 +250000*x1_bit_3 +500000*x1_bit_2 +1000000*x1_bit_1 +2000000*x1_bit0 +4000000*x1_bit1 +8000000*x1_bit2 +16000000*x1_bit3 +32000000*x1_bit4 +64000000*x1_bit5 +128000000*x1_bit6 +256000000*x1_bit7 +512000000*x1_bit8 +1024000000*x1_bit9 +2048000000*x1_bit10 +4096000000*x1_bit11 +8192000000*x1_bit12 +16384000000*x1_bit13 -2233135600*x82_bit0 -55120030*x83_bit0 -58253642*x84_bit0 -56305118*x85_bit0 -52945528*x86_bit0 -54755278*x87_bit0 -54867362*x88_bit0 -56379658*x89_bit0 -56273174*x90_bit0 -58595052*x91_bit0 -53217438*x92_bit0 -52656564*x93_bit0 -58128308*x94_bit0 -58821850*x95_bit0 -56687916*x96_bit0 -52470432*x97_bit0 -54917288*x98_bit0 -69866990*x99_bit0 -67449706*x100_bit0 -64431940*x101_bit0 -67027412*x102_bit0 -66129898*x103_bit0 -69623086*x104_bit0 -68203284*x105_bit0 -64581632*x106_bit0 -66458198*x107_bit0 -66579478*x108_bit0 -67668848*x109_bit0 -67550748*x110_bit0 -70258552*x111_bit0 -64334442*x112_bit0 -63938446*x113_bit0 -69916052*x114_bit0 -172900976*x115_bit0 -235861000*x116_bit0 -223205000*x117_bit0 -154171768*x118_bit0 -164823018*x119_bit0 -203571260*x120_bit0 -228477480*x121_bit0 -195521094*x122_bit0 -221982660*x123_bit0 -153055182*x124_bit0 -171927630*x125_bit0 -234712680*x126_bit0 -227763260*x127_bit0 -195213514*x128_bit0 -164447252*x129_bit0 -202756440*x130_bit0 -218464420*x131_bit0 -200247280*x132_bit0 -170696352*x133_bit0 -192185060*x134_bit0 -184707688*x135_bit0 -219015100*x136_bit0 -205289080*x137_bit0 -167696268*x138_bit0 -171121080*x139_bit0 -192102632*x140_bit0 -218609360*x141_bit0 -200838240*x142_bit0 -207400280*x143_bit0 -169856172*x144_bit0 -186897652*x145_bit0 -221190860*x146_bit0 -156317728*x147_bit0 -124466834*x148_bit0 -104599388*x149_bit0 -142038466*x150_bit0 -138866028*x151_bit0 -157352906*x152_bit0 -132769416*x153_bit0 -108975068*x154_bit0 -105800378*x155_bit0 -143824102*x156_bit0 -157278248*x157_bit0 -124588160*x158_bit0 -129012204*x159_bit0 -105494570*x160_bit0 -135575830*x161_bit0 -153667496*x162_bit0 -2233135600*x163_bit0 -2233135600*x164_bit0 -2233135600*x165_bit0 -2233135600*x166_bit0 -2233135600*x167_bit0 -2233135600*x168_bit0 -44609504*x169_bit0 -60050624*x170_bit0 -78105126*x171_bit0 -69609784*x172_bit0 -77697270*x173_bit0 -34509684*x174_bit0 -49741888*x175_bit0 -82240964*x176_bit0 -80761336*x177_bit0 -71349818*x178_bit0 -44698692*x179_bit0 -61942170*x180_bit0 -89688918*x181_bit0 -77210350*x182_bit0 -56257818*x183_bit0 -74469726*x184_bit0 -55123872*x185_bit0 -93870450*x186_bit0 -88960356*x187_bit0 -40319330*x188_bit0 -56755126*x189_bit0 -72725262*x190_bit0 -87145310*x191_bit0 -76013768*x192_bit0 -90519126*x193_bit0 -40391414*x194_bit0 -52422122*x195_bit0 -94213566*x196_bit0 -150616548*x197_bit0 -211817400*x198_bit0 -198904656*x199_bit0 -130389218*x200_bit0 -140530016*x201_bit0 -181400472*x202_bit0 -205301380*x203_bit0 -171316216*x204_bit0 -197681916*x205_bit0 -129302466*x206_bit0 -149707470*x207_bit0 -210680080*x208_bit0 -204549960*x209_bit0 -171025630*x210_bit0 -140161094*x211_bit0 -180532878*x212_bit0 -194816530*x213_bit0 -175949862*x214_bit0 -146522930*x215_bit0 -169317260*x216_bit0 -161747280*x217_bit0 -195157194*x218_bit0 -180995584*x219_bit0 -143629716*x220_bit0 -146909446*x221_bit0 -169117682*x222_bit0 -194893612*x223_bit0 -176537290*x224_bit0 -183109020*x225_bit0 -145798354*x226_bit0 -163932512*x227_bit0 -197338636*x228_bit0 -143125382*x229_bit0 -117166296*x230_bit0 -91373002*x231_bit0 -124390944*x232_bit0 -120691076*x233_bit0 -144943810*x234_bit0 -124790946*x235_bit0 -93664026*x236_bit0 -91534472*x237_bit0 -125645766*x238_bit0 -143475654*x239_bit0 -116366498*x240_bit0 -121113094*x241_bit0 -89937410*x242_bit0 -117156838*x243_bit0 -141187138*x244_bit0 -24301150*x245_bit0 -2233135600*x246_bit0 -2233135600*x247_bit0 -2233135600*x248_bit0 -2233135600*x249_bit0 -2233135600*x250_bit0 -70597482*x251_bit0 -78934548*x252_bit0 -60326368*x253_bit0 -45109374*x254_bit0 -34509722*x255_bit0 -75133518*x256_bit0 -79893948*x257_bit0 -49741902*x258_bit0 -61028976*x259_bit0 -42876924*x260_bit0 -67918166*x261_bit0 -77955082*x262_bit0 -73796484*x263_bit0 -55167192*x264_bit0 -74197786*x265_bit0 -87292780*x266_bit0 -93870450*x267_bit0 -55123872*x268_bit0 -40319330*x269_bit0 -88960356*x270_bit0 -76877294*x271_bit0 -87853626*x272_bit0 -72926588*x273_bit0 -57060140*x274_bit0 -42573048*x275_bit0 -87942128*x276_bit0 -91781542*x277_bit0 -53669652*x278_bit0 -189483086*x279_bit0 -256729260*x280_bit0 -246463020*x281_bit0 -174642560*x282_bit0 -188522944*x283_bit0 -219509400*x284_bit0 -246510360*x285_bit0 -219888200*x286_bit0 -245212340*x287_bit0 -173446072*x288_bit0 -188395866*x289_bit0 -255534440*x290_bit0 -245899800*x291_bit0 -219670520*x292_bit0 -188263176*x293_bit0 -218813360*x294_bit0 -237924400*x295_bit0 -223225480*x296_bit0 -192611662*x297_bit0 -209775700*x298_bit0 -202601020*x299_bit0 -239194400*x300_bit0 -228141960*x301_bit0 -189087096*x302_bit0 -193277962*x303_bit0 -209971440*x304_bit0 -238290220*x305_bit0 -223998900*x306_bit0 -230196400*x307_bit0 -191189228*x308_bit0 -204776840*x309_bit0 -241336500*x310_bit0 -183385140*x311_bit0 -149635994*x312_bit0 -132057986*x313_bit0 -169988094*x314_bit0 -166838556*x315_bit0 -184166774*x316_bit0 -158096504*x317_bit0 -136762162*x318_bit0 -133446088*x319_bit0 -171795376*x320_bit0 -184516494*x321_bit0 -150160776*x322_bit0 -154366728*x323_bit0 -133328978*x324_bit0 -163551260*x325_bit0 -180527850*x326_bit0 -27975432*x327_bit0 -2233135600*x328_bit0 -2233135600*x329_bit0 -2233135600*x330_bit0 -2233135600*x331_bit0 -2233135600*x332_bit0 -81298438*x333_bit0 -69360892*x334_bit0 -42012480*x335_bit0 -63870180*x336_bit0 -54477718*x337_bit0 -82139720*x338_bit0 -74550562*x339_bit0 -29893444*x340_bit0 -41908022*x341_bit0 -62079760*x342_bit0 -78669256*x343_bit0 -67537540*x344_bit0 -54127940*x345_bit0 -74856960*x346_bit0 -88123294*x347_bit0 -73576072*x348_bit0 -88960356*x349_bit0 -40319330*x350_bit0 -55123872*x351_bit0 -93870450*x352_bit0 -90628476*x353_bit0 -74832496*x354_bit0 -53583430*x355_bit0 -76527948*x356_bit0 -57825578*x357_bit0 -93633508*x358_bit0 -87480820*x359_bit0 -40752120*x360_bit0 -201127820*x361_bit0 -265121280*x362_bit0 -252415960*x363_bit0 -183336852*x364_bit0 -194002658*x365_bit0 -231637240*x366_bit0 -257226300*x367_bit0 -224503960*x368_bit0 -251198340*x369_bit0 -182206984*x370_bit0 -200113300*x371_bit0 -263968580*x372_bit0 -256538040*x373_bit0 -224167960*x374_bit0 -193605516*x375_bit0 -230863040*x376_bit0 -247523240*x377_bit0 -229503920*x378_bit0 -199998272*x379_bit0 -220766780*x380_bit0 -213363040*x381_bit0 -248190960*x382_bit0 -234555960*x383_bit0 -196972618*x384_bit0 -200425880*x385_bit0 -220762940*x386_bit0 -247707560*x387_bit0 -230073600*x388_bit0 -236671420*x389_bit0 -199129376*x390_bit0 -215552660*x391_bit0 -250363200*x392_bit0 -174332172*x393_bit0 -137884658*x394_bit0 -124809870*x395_bit0 -164736044*x396_bit0 -162122508*x397_bit0 -174546018*x398_bit0 -146410454*x399_bit0 -130700022*x400_bit0 -126816126*x401_bit0 -166980648*x402_bit0 -175879828*x403_bit0 -138926304*x404_bit0 -142773096*x405_bit0 -127597666*x406_bit0 -159127480*x407_bit0 -171040668*x408_bit0 -29304798*x409_bit0 -2233135600*x410_bit0 -2233135600*x411_bit0 -2233135600*x412_bit0 -2233135600*x413_bit0 -2233135600*x414_bit0 -63620420*x415_bit0 -41412492*x416_bit0 -68344358*x417_bit0 -80505000*x418_bit0 -84396486*x419_bit0 -54477708*x420_bit0 -29893364*x421_bit0 -77143568*x422_bit0 -70998230*x423_bit0 -81439370*x424_bit0 -62967006*x425_bit0 -43829070*x426_bit0 -76625646*x427_bit0 -90488580*x428_bit0 -75515784*x429_bit0 -55257332*x430_bit0 -40319330*x431_bit0 -88960356*x432_bit0 -93870450*x433_bit0 -55123872*x434_bit0 -76341026*x435_bit0 -53239514*x436_bit0 -73932144*x437_bit0 -89950900*x438_bit0 -96001184*x439_bit0 -56747348*x440_bit0 -38249372*x441_bit0 -90076384*x442_bit0 -165543384*x443_bit0 -222140560*x444_bit0 -206433580*x445_bit0 -142436354*x446_bit0 -148181462*x447_bit0 -196264758*x448_bit0 -218327240*x449_bit0 -177419906*x450_bit0 -205262220*x451_bit0 -141463060*x452_bit0 -164732128*x453_bit0 -221063420*x454_bit0 -217499240*x455_bit0 -176979152*x456_bit0 -147634804*x457_bit0 -195328902*x458_bit0 -206719700*x459_bit0 -184116774*x460_bit0 -156543978*x461_bit0 -183163698*x462_bit0 -175480272*x463_bit0 -206363940*x464_bit0 -189272382*x465_bit0 -154339470*x466_bit0 -156619926*x467_bit0 -182747500*x468_bit0 -206588380*x469_bit0 -184442250*x470_bit0 -191437446*x471_bit0 -156529612*x472_bit0 -177639272*x473_bit0 -208554080*x474_bit0 -130645420*x475_bit0 -100455020*x476_bit0 -78807746*x477_bit0 -116531014*x478_bit0 -113522786*x479_bit0 -131815032*x480_bit0 -108515706*x481_bit0 -83203656*x482_bit0 -79980882*x483_bit0 -118458104*x484_bit0 -131531854*x485_bit0 -100178800*x486_bit0 -104768262*x487_bit0 -79764006*x488_bit0 -110333536*x489_bit0 -128107862*x490_bit0 -25820386*x491_bit0 -2233135600*x492_bit0 -80805874*x493_bit0 -71413934*x494_bit0 -44740984*x495_bit0 -61959536*x496_bit0 -2233135600*x497_bit0 -2233135600*x498_bit0 -2233135600*x499_bit0 -2233135600*x500_bit0 -44654150*x501_bit0 -60066820*x502_bit0 -78145460*x503_bit0 -69670504*x504_bit0 -77657236*x505_bit0 -34466934*x506_bit0 -49669118*x507_bit0 -82187252*x508_bit0 -90479248*x509_bit0 -40351102*x510_bit0 -52353216*x511_bit0 -94162386*x512_bit0 -89729280*x513_bit0 -77275820*x514_bit0 -56305936*x515_bit0 -74488188*x516_bit0 -55050622*x517_bit0 -93817040*x518_bit0 -88921766*x519_bit0 -40280596*x520_bit0 -56804764*x521_bit0 -72742618*x522_bit0 -87181634*x523_bit0 -76076202*x524_bit0 -167663910*x525_bit0 -236366380*x526_bit0 -227712720*x527_bit0 -154462518*x528_bit0 -170491680*x529_bit0 -197441512*x530_bit0 -224965740*x531_bit0 -202275400*x532_bit0 -226444260*x533_bit0 -153232578*x534_bit0 -166549442*x535_bit0 -235150340*x536_bit0 -224391320*x537_bit0 -202151360*x538_bit0 -170340324*x539_bit0 -196774554*x540_bit0 -216943060*x541_bit0 -204359240*x542_bit0 -173164308*x543_bit0 -188186830*x544_bit0 -181138058*x545_bit0 -218536220*x546_bit0 -209155040*x547_bit0 -169329566*x548_bit0 -173989560*x549_bit0 -188473570*x550_bit0 -217404140*x551_bit0 -205272960*x552_bit0 -211156940*x553_bit0 -171382142*x554_bit0 -183300918*x555_bit0 -220655260*x556_bit0 -180059234*x557_bit0 -150545768*x558_bit0 -128019512*x559_bit0 -162494108*x560_bit0 -158821470*x561_bit0 -181530080*x562_bit0 -158688080*x563_bit0 -131157328*x564_bit0 -128628644*x565_bit0 -163777564*x566_bit0 -180660726*x567_bit0 -150378380*x568_bit0 -154934910*x569_bit0 -127483388*x570_bit0 -155290194*x571_bit0 -177793568*x572_bit0 -27270178*x573_bit0 -2233135600*x574_bit0 -61046956*x575_bit0 -42922038*x576_bit0 -67979390*x577_bit0 -77995922*x578_bit0 -2233135600*x579_bit0 -2233135600*x580_bit0 -2233135600*x581_bit0 -2233135600*x582_bit0 -70662856*x583_bit0 -78979190*x584_bit0 -60343464*x585_bit0 -45155152*x586_bit0 -34466934*x587_bit0 -75095172*x588_bit0 -79841184*x589_bit0 -49669118*x590_bit0 -42531590*x591_bit0 -87903960*x592_bit0 -91731556*x593_bit0 -53601292*x594_bit0 -73815518*x595_bit0 -55217066*x596_bit0 -74260602*x597_bit0 -87329804*x598_bit0 -93817040*x599_bit0 -55050622*x600_bit0 -40280596*x601_bit0 -88921766*x602_bit0 -76943834*x603_bit0 -87893688*x604_bit0 -72944562*x605_bit0 -57110462*x606_bit0 -198224306*x607_bit0 -258048380*x608_bit0 -243026480*x609_bit0 -177377632*x610_bit0 -184699380*x611_bit0 -229003100*x612_bit0 -252727640*x613_bit0 -214097480*x614_bit0 -241848060*x615_bit0 -176335312*x616_bit0 -197308720*x617_bit0 -256946500*x618_bit0 -251955580*x619_bit0 -213658420*x620_bit0 -184178746*x621_bit0 -228140420*x622_bit0 -241849740*x623_bit0 -220593920*x624_bit0 -192469550*x625_bit0 -216883280*x626_bit0 -209291600*x627_bit0 -241865980*x628_bit0 -225734160*x629_bit0 -189985906*x630_bit0 -192653902*x631_bit0 -216649820*x632_bit0 -241836140*x633_bit0 -220965140*x634_bit0 -227891360*x635_bit0 -192171746*x636_bit0 -211474080*x637_bit0 -244054280*x638_bit0 -155193124*x639_bit0 -118022656*x640_bit0 -106898252*x641_bit0 -147520632*x642_bit0 -145252830*x643_bit0 -155198278*x644_bit0 -126542110*x645_bit0 -113394266*x646_bit0 -109230646*x647_bit0 -150005760*x648_bit0 -156899592*x649_bit0 -119191484*x650_bit0 -122934966*x651_bit0 -110546654*x652_bit0 -142469796*x653_bit0 -151751598*x654_bit0 -27388340*x655_bit0 -2233135600*x656_bit0 -41957006*x657_bit0 -62092824*x658_bit0 -78706288*x659_bit0 -67600302*x660_bit0 -2233135600*x661_bit0 -2233135600*x662_bit0 -2233135600*x663_bit0 -2233135600*x664_bit0 -81339418*x665_bit0 -69426546*x666_bit0 -42058350*x667_bit0 -63884314*x668_bit0 -54396452*x669_bit0 -82080338*x670_bit0 -74513260*x671_bit0 -29858658*x672_bit0 -57748426*x673_bit0 -93577870*x674_bit0 -87443476*x675_bit0 -40713734*x676_bit0 -54182548*x677_bit0 -74870990*x678_bit0 -88156070*x679_bit0 -73641756*x680_bit0 -88921766*x681_bit0 -40280596*x682_bit0 -55050622*x683_bit0 -93817040*x684_bit0 -90664886*x685_bit0 -74900674*x686_bit0 -53636066*x687_bit0 -76542798*x688_bit0 -184664322*x689_bit0 -241257540*x690_bit0 -224971960*x691_bit0 -161750940*x692_bit0 -166902394*x693_bit0 -215415540*x694_bit0 -237644560*x695_bit0 -195613252*x696_bit0 -223816800*x697_bit0 -160779800*x698_bit0 -183834062*x699_bit0 -240190120*x700_bit0 -236817240*x701_bit0 -195126218*x702_bit0 -166315740*x703_bit0 -214490700*x704_bit0 -226011060*x705_bit0 -202861840*x706_bit0 -175684444*x707_bit0 -202436240*x708_bit0 -194759052*x709_bit0 -225600700*x710_bit0 -208033060*x711_bit0 -173564102*x712_bit0 -175715886*x713_bit0 -202036020*x714_bit0 -225866340*x715_bit0 -203123460*x716_bit0 -210206120*x717_bit0 -175754146*x718_bit0 -196920784*x719_bit0 -227790640*x720_bit0 -136736758*x721_bit0 -101375238*x722_bit0 -87300474*x723_bit0 -127680936*x724_bit0 -125330556*x725_bit0 -137074376*x726_bit0 -109869196*x727_bit0 -93550602*x728_bit0 -89480358*x729_bit0 -130107508*x730_bit0 -138230402*x731_bit0 -102072996*x732_bit0 -106160562*x733_bit0 -90633308*x734_bit0 -122511850*x735_bit0 -133530404*x736_bit0 -26346192*x737_bit0 -2233135600*x738_bit0 -71063774*x739_bit0 -81480248*x740_bit0 -62979576*x741_bit0 -43874642*x742_bit0 -2233135600*x743_bit0 -2233135600*x744_bit0 -2233135600*x745_bit0 -2233135600*x746_bit0 -63633736*x747_bit0 -41457048*x748_bit0 -68405246*x749_bit0 -80541804*x750_bit0 -84336424*x751_bit0 -54396452*x752_bit0 -29858658*x753_bit0 -77104506*x754_bit0 -95944562*x755_bit0 -56669582*x756_bit0 -38212886*x757_bit0 -90037288*x758_bit0 -76693822*x759_bit0 -90524808*x760_bit0 -75529316*x761_bit0 -55309926*x762_bit0 -40280596*x763_bit0 -88921766*x764_bit0 -93817040*x765_bit0 -55050622*x766_bit0 -76355298*x767_bit0 -53291422*x768_bit0 -73996092*x769_bit0 -89983698*x770_bit0 -150826996*x771_bit0 -217685540*x772_bit0 -208146500*x773_bit0 -135616190*x774_bit0 -150682948*x775_bit0 -181113452*x776_bit0 -207591180*x777_bit0 -182400152*x778_bit0 -206883900*x779_bit0 -134411152*x780_bit0 -149770026*x781_bit0 -216486100*x782_bit0 -206961620*x783_bit0 -182260330*x784_bit0 -150507512*x785_bit0 -180375968*x786_bit0 -198836826*x787_bit0 -184824856*x788_bit0 -153869680*x789_bit0 -170906484*x790_bit0 -163664776*x791_bit0 -200104820*x792_bit0 -189670552*x793_bit0 -150205948*x794_bit0 -154616612*x795_bit0 -171048212*x796_bit0 -199196018*x797_bit0 -185687540*x798_bit0 -191695018*x799_bit0 -152290100*x800_bit0 -165845704*x801_bit0 -202245380*x802_bit0 -164946230*x803_bit0 -138804990*x804_bit0 -113299838*x805_bit0 -145173912*x806_bit0 -141268662*x807_bit0 -166836528*x808_bit0 -146546478*x809_bit0 -115349816*x810_bit0 -113379114*x811_bit0 -146181656*x812_bit0 -165215444*x813_bit0 -138127112*x814_bit0 -142848362*x815_bit0 -111604942*x816_bit0 -137648010*x817_bit0 -163078850*x818_bit0 -26223334*x819_bit0 -2233135600*x820_bit0 -77697406*x821_bit0 -34509954*x822_bit0 -49742136*x823_bit0 -82241130*x824_bit0 -80761428*x825_bit0 -71349930*x826_bit0 -44698760*x827_bit0 -61942206*x828_bit0 -2233135600*x829_bit0 -2233135600*x830_bit0 -2233135600*x831_bit0 -2233135600*x832_bit0 -44609558*x833_bit0 -60050654*x834_bit0 -78105218*x835_bit0 -69609896*x836_bit0 -56755158*x837_bit0 -72725284*x838_bit0 -87145388*x839_bit0 -76013864*x840_bit0 -90519378*x841_bit0 -40391502*x842_bit0 -52422290*x843_bit0 -94213836*x844_bit0 -89688998*x845_bit0 -77210450*x846_bit0 -56257860*x847_bit0 -74469752*x848_bit0 -55123596*x849_bit0 -93870398*x850_bit0 -88960348*x851_bit0 -40319056*x852_bit0 -200701640*x853_bit0 -265220520*x854_bit0 -252855520*x855_bit0 -183345380*x856_bit0 -194472472*x857_bit0 -231149480*x858_bit0 -256972820*x859_bit0 -225110800*x860_bit0 -251632820*x861_bit0 -182204804*x862_bit0 -199674958*x863_bit0 -264061260*x864_bit0 -256296360*x865_bit0 -224790380*x866_bit0 -194093656*x867_bit0 -230387580*x868_bit0 -247436700*x869_bit0 -229887480*x870_bit0 -200208060*x871_bit0 -220454520*x872_bit0 -213082360*x873_bit0 -248194580*x874_bit0 -234923340*x875_bit0 -197109058*x876_bit0 -200669720*x877_bit0 -220481720*x878_bit0 -247648340*x879_bit0 -230485600*x880_bit0 -237031400*x881_bit0 -199259572*x882_bit0 -215271080*x883_bit0 -250363280*x884_bit0 -176477612*x885_bit0 -140247784*x886_bit0 -126727348*x887_bit0 -166488426*x888_bit0 -163814074*x889_bit0 -176744450*x890_bit0 -148773944*x891_bit0 -132500098*x892_bit0 -128671228*x893_bit0 -168687536*x894_bit0 -177986590*x895_bit0 -141245876*x896_bit0 -145126372*x897_bit0 -129356840*x898_bit0 -160783834*x899_bit0 -173224786*x900_bit0 -29650862*x901_bit0 -2233135600*x902_bit0 -34509916*x903_bit0 -75133654*x904_bit0 -79894116*x905_bit0 -49742122*x906_bit0 -61029000*x907_bit0 -42876974*x908_bit0 -67918278*x909_bit0 -77955172*x910_bit0 -2233135600*x911_bit0 -2233135600*x912_bit0 -2233135600*x913_bit0 -2233135600*x914_bit0 -70597594*x915_bit0 -78934640*x916_bit0 -60326402*x917_bit0 -45109434*x918_bit0 -76877392*x919_bit0 -87853706*x920_bit0 -72926612*x921_bit0 -57060176*x922_bit0 -42573122*x923_bit0 -87942380*x924_bit0 -91781814*x925_bit0 -53669806*x926_bit0 -73796500*x927_bit0 -55167220*x928_bit0 -74197884*x929_bit0 -87292858*x930_bit0 -93870398*x931_bit0 -55123596*x932_bit0 -40319056*x933_bit0 -88960348*x934_bit0 -164542604*x935_bit0 -221932000*x936_bit0 -206627460*x937_bit0 -141891730*x938_bit0 -148299520*x939_bit0 -195294130*x940_bit0 -217685600*x941_bit0 -177789460*x942_bit0 -205447980*x943_bit0 -140899184*x944_bit0 -163713244*x945_bit0 -220845080*x946_bit0 -216869980*x947_bit0 -177368900*x948_bit0 -147777158*x949_bit0 -194370064*x950_bit0 -206255500*x951_bit0 -184202198*x952_bit0 -156328668*x953_bit0 -182363912*x954_bit0 -174694428*x955_bit0 -206009780*x956_bit0 -189346288*x957_bit0 -154017468*x958_bit0 -156451026*x959_bit0 -181984286*x960_bit0 -206157340*x961_bit0 -184565576*x962_bit0 -191505624*x963_bit0 -156206974*x964_bit0 -176859452*x965_bit0 -208199840*x966_bit0 -133063244*x967_bit0 -103128110*x968_bit0 -81155086*x969_bit0 -118498472*x970_bit0 -115411482*x971_bit0 -134284734*x972_bit0 -111172852*x973_bit0 -85356918*x974_bit0 -82233810*x975_bit0 -120358278*x976_bit0 -133906104*x977_bit0 -102828192*x978_bit0 -107427182*x979_bit0 -81874226*x980_bit0 -112178280*x981_bit0 -130571278*x982_bit0 -23620748*x983_bit0 -2233135600*x984_bit0 -54477942*x985_bit0 -82139896*x986_bit0 -74550688*x987_bit0 -29893590*x988_bit0 -41908076*x989_bit0 -62079784*x990_bit0 -78669344*x991_bit0 -67537654*x992_bit0 -2233135600*x993_bit0 -2233135600*x994_bit0 -2233135600*x995_bit0 -2233135600*x996_bit0 -81298528*x997_bit0 -69361006*x998_bit0 -42012550*x999_bit0 -63870210*x1000_bit0 -90628552*x1001_bit0 -74832596*x1002_bit0 -53583472*x1003_bit0 -76527970*x1004_bit0 -57825746*x1005_bit0 -93633784*x1006_bit0 -87481062*x1007_bit0 -40752148*x1008_bit0 -54127970*x1009_bit0 -74856976*x1010_bit0 -88123370*x1011_bit0 -73576170*x1012_bit0 -88960348*x1013_bit0 -40319056*x1014_bit0 -55123596*x1015_bit0 -93870398*x1016_bit0 -149878984*x1017_bit0 -211853040*x1018_bit0 -199381196*x1019_bit0 -130238192*x1020_bit0 -141069568*x1021_bit0 -180643912*x1022_bit0 -204878760*x1023_bit0 -172026960*x1024_bit0 -198152070*x1025_bit0 -129133540*x1026_bit0 -148950778*x1027_bit0 -210706840*x1028_bit0 -204141800*x1029_bit0 -171757648*x1030_bit0 -140727608*x1031_bit0 -179790866*x1032_bit0 -194601524*x1033_bit0 -176356246*x1034_bit0 -146683996*x1035_bit0 -168772898*x1036_bit0 -161233232*x1037_bit0 -195060776*x1038_bit0 -181379512*x1039_bit0 -143682734*x1040_bit0 -147119848*x1041_bit0 -168614894*x1042_bit0 -194714490*x1043_bit0 -176982082*x1044_bit0 -183482792*x1045_bit0 -145843838*x1046_bit0 -163420904*x1047_bit0 -197238846*x1048_bit0 -145688134*x1049_bit0 -119869632*x1050_bit0 -93985856*x1051_bit0 -126677224*x1052_bit0 -122930872*x1053_bit0 -147537694*x1054_bit0 -127490110*x1055_bit0 -96174244*x1056_bit0 -94103562*x1057_bit0 -127878774*x1058_bit0 -146009604*x1059_bit0 -119065566*x1060_bit0 -123813424*x1061_bit0 -92440736*x1062_bit0 -119376324*x1063_bit0 -143780440*x1064_bit0 -24016904*x1065_bit0 -2233135600*x1066_bit0 -84396660*x1067_bit0 -54477952*x1068_bit0 -29893672*x1069_bit0 -77143692*x1070_bit0 -70998344*x1071_bit0 -81439464*x1072_bit0 -62967042*x1073_bit0 -43829142*x1074_bit0 -2233135600*x1075_bit0 -2233135600*x1076_bit0 -2233135600*x1077_bit0 -2233135600*x1078_bit0 -63620446*x1079_bit0 -41412558*x1080_bit0 -68344472*x1081_bit0 -80505088*x1082_bit0 -76341046*x1083_bit0 -53239550*x1084_bit0 -73932244*x1085_bit0 -89950976*x1086_bit0 -96001458*x1087_bit0 -56747528*x1088_bit0 -38249410*x1089_bit0 -90076628*x1090_bit0 -76625746*x1091_bit0 -90488660*x1092_bit0 -75515810*x1093_bit0 -55257376*x1094_bit0 -40319056*x1095_bit0 -88960348*x1096_bit0 -93870398*x1097_bit0 -55123596*x1098_bit0 -189317646*x1099_bit0 -257037860*x1100_bit0 -247129400*x1101_bit0 -174970858*x1102_bit0 -189299746*x1103_bit0 -219237020*x1104_bit0 -246460140*x1105_bit0 -220753540*x1106_bit0 -245874840*x1107_bit0 -173765644*x1108_bit0 -188218950*x1109_bit0 -255837320*x1110_bit0 -245862620*x1111_bit0 -220551680*x1112_bit0 -189058962*x1113_bit0 -218555020*x1114_bit0 -238058100*x1115_bit0 -223861480*x1116_bit0 -193115270*x1117_bit0 -209703520*x1118_bit0 -202572480*x1119_bit0 -239420920*x1120_bit0 -228755440*x1121_bit0 -189520938*x1122_bit0 -193815550*x1123_bit0 -209932180*x1124_bit0 -238452100*x1125_bit0 -224662800*x1126_bit0 -230799880*x1127_bit0 -191612808*x1128_bit0 -204744240*x1129_bit0 -241557100*x1130_bit0 -185706548*x1131_bit0 -152155692*x1132_bit0 -134286318*x1133_bit0 -172003084*x1134_bit0 -168807210*x1135_bit0 -186529486*x1136_bit0 -160607832*x1137_bit0 -138886896*x1138_bit0 -135622872*x1139_bit0 -173768410*x1140_bit0 -186805660*x1141_bit0 -152649834*x1142_bit0 -156874644*x1143_bit0 -135430702*x1144_bit0 -165495962*x1145_bit0 -182882812*x1146_bit0 -29967408*x1147_bit0 -2233135600*x1148_bit0 -44654108*x1149_bit0 -60066792*x1150_bit0 -78145590*x1151_bit0 -69670684*x1152_bit0 -77657236*x1153_bit0 -34466934*x1154_bit0 -49669118*x1155_bit0 -82187252*x1156_bit0 -80805742*x1157_bit0 -71413748*x1158_bit0 -44741032*x1159_bit0 -61959568*x1160_bit0 -2233135600*x1161_bit0 -2233135600*x1162_bit0 -2233135600*x1163_bit0 -2233135600*x1164_bit0 -55050622*x1165_bit0 -93817040*x1166_bit0 -88921766*x1167_bit0 -40280596*x1168_bit0 -56804848*x1169_bit0 -72742714*x1170_bit0 -87181828*x1171_bit0 -76076414*x1172_bit0 -90479248*x1173_bit0 -40351102*x1174_bit0 -52353216*x1175_bit0 -94162386*x1176_bit0 -89729084*x1177_bit0 -77275604*x1178_bit0 -56305860*x1179_bit0 -74488096*x1180_bit0 -187185144*x1181_bit0 -243944720*x1182_bit0 -227669960*x1183_bit0 -164388744*x1184_bit0 -169602124*x1185_bit0 -217944620*x1186_bit0 -240264720*x1187_bit0 -198302656*x1188_bit0 -226515080*x1189_bit0 -163413962*x1190_bit0 -186348836*x1191_bit0 -242876400*x1192_bit0 -239440140*x1193_bit0 -197814016*x1194_bit0 -169015458*x1195_bit0 -217023720*x1196_bit0 -228665460*x1197_bit0 -205561560*x1198_bit0 -178368666*x1199_bit0 -205017160*x1200_bit0 -197343760*x1201_bit0 -228271480*x1202_bit0 -210732740*x1203_bit0 -176236728*x1204_bit0 -178404110*x1205_bit0 -204626620*x1206_bit0 -228526060*x1207_bit0 -205823120*x1208_bit0 -212905760*x1209_bit0 -178426820*x1210_bit0 -199507068*x1211_bit0 -230461460*x1212_bit0 -138369604*x1213_bit0 -102494972*x1214_bit0 -89332228*x1215_bit0 -129857960*x1216_bit0 -127572142*x1217_bit0 -138610998*x1218_bit0 -111007628*x1219_bit0 -95727754*x1220_bit0 -91596054*x1221_bit0 -132328260*x1222_bit0 -139929032*x1223_bit0 -103311180*x1224_bit0 -107318594*x1225_bit0 -92866158*x1226_bit0 -124790794*x1227_bit0 -135092856*x1228_bit0 -26933370*x1229_bit0 -2233135600*x1230_bit0 -70663036*x1231_bit0 -78979324*x1232_bit0 -60343434*x1233_bit0 -45155106*x1234_bit0 -34466934*x1235_bit0 -75095172*x1236_bit0 -79841184*x1237_bit0 -49669118*x1238_bit0 -61046980*x1239_bit0 -42922078*x1240_bit0 -67979208*x1241_bit0 -77995796*x1242_bit0 -2233135600*x1243_bit0 -2233135600*x1244_bit0 -2233135600*x1245_bit0 -2233135600*x1246_bit0 -93817040*x1247_bit0 -55050622*x1248_bit0 -40280596*x1249_bit0 -88921766*x1250_bit0 -76944046*x1251_bit0 -87893884*x1252_bit0 -72944654*x1253_bit0 -57110544*x1254_bit0 -42531590*x1255_bit0 -87903960*x1256_bit0 -91731556*x1257_bit0 -53601292*x1258_bit0 -73815418*x1259_bit0 -55216978*x1260_bit0 -74260390*x1261_bit0 -87329614*x1262_bit0 -153510772*x1263_bit0 -220366600*x1264_bit0 -210740940*x1265_bit0 -138293230*x1266_bit0 -153219714*x1267_bit0 -183783420*x1268_bit0 -210288480*x1269_bit0 -184907174*x1270_bit0 -209479500*x1271_bit0 -137089666*x1272_bit0 -152452018*x1273_bit0 -219167960*x1274_bit0 -209659540*x1275_bit0 -184759574*x1276_bit0 -153035302*x1277_bit0 -183048376*x1278_bit0 -201534520*x1279_bit0 -187426486*x1280_bit0 -156508104*x1281_bit0 -173601558*x1282_bit0 -166362358*x1283_bit0 -202795720*x1284_bit0 -192280276*x1285_bit0 -152861974*x1286_bit0 -157245314*x1287_bit0 -173745402*x1288_bit0 -201892140*x1289_bit0 -188279620*x1290_bit0 -194308170*x1291_bit0 -154948646*x1292_bit0 -168543128*x1293_bit0 -204936840*x1294_bit0 -165790118*x1295_bit0 -138986466*x1296_bit0 -114007962*x1297_bit0 -146502310*x1298_bit0 -142653926*x1299_bit0 -167596542*x1300_bit0 -146808282*x1301_bit0 -116295064*x1302_bit0 -114199280*x1303_bit0 -147580750*x1304_bit0 -166128600*x1305_bit0 -138398078*x1306_bit0 -143095988*x1307_bit0 -112560716*x1308_bit0 -139054388*x1309_bit0 -163840514*x1310_bit0 -24287464*x1311_bit0 -2233135600*x1312_bit0 -81339544*x1313_bit0 -69426740*x1314_bit0 -42058302*x1315_bit0 -63884286*x1316_bit0 -54396452*x1317_bit0 -82080338*x1318_bit0 -74513260*x1319_bit0 -29858658*x1320_bit0 -41957048*x1321_bit0 -62092848*x1322_bit0 -78706166*x1323_bit0 -67600118*x1324_bit0 -2233135600*x1325_bit0 -2233135600*x1326_bit0 -2233135600*x1327_bit0 -2233135600*x1328_bit0 -88921766*x1329_bit0 -40280596*x1330_bit0 -55050622*x1331_bit0 -93817040*x1332_bit0 -90665078*x1333_bit0 -74900890*x1334_bit0 -53636144*x1335_bit0 -76542892*x1336_bit0 -57748426*x1337_bit0 -93577870*x1338_bit0 -87443476*x1339_bit0 -40713734*x1340_bit0 -54182460*x1341_bit0 -74870890*x1342_bit0 -88155880*x1343_bit0 -73641544*x1344_bit0 -170362556*x1345_bit0 -239034500*x1346_bit0 -230290360*x1347_bit0 -157115768*x1348_bit0 -173008604*x1349_bit0 -200132940*x1350_bit0 -227665360*x1351_bit0 -204768460*x1352_bit0 -229022920*x1353_bit0 -155887374*x1354_bit0 -169247704*x1355_bit0 -237819320*x1356_bit0 -227090780*x1357_bit0 -204637280*x1358_bit0 -172849044*x1359_bit0 -199467192*x1360_bit0 -219632940*x1361_bit0 -206941580*x1362_bit0 -175778868*x1363_bit0 -190886518*x1364_bit0 -183836890*x1365_bit0 -221215520*x1366_bit0 -211745840*x1367_bit0 -171961888*x1368_bit0 -176594408*x1369_bit0 -191172778*x1370_bit0 -220091200*x1371_bit0 -207846140*x1372_bit0 -213751320*x1373_bit0 -174017556*x1374_bit0 -185999896*x1375_bit0 -223335500*x1376_bit0 -181126200*x1377_bit0 -151089144*x1378_bit0 -129086326*x1379_bit0 -163998894*x1380_bit0 -160378132*x1381_bit0 -182521322*x1382_bit0 -159281582*x1383_bit0 -132407416*x1384_bit0 -129784930*x1385_bit0 -165339778*x1386_bit0 -181787332*x1387_bit0 -151001960*x1388_bit0 -155525318*x1389_bit0 -128752592*x1390_bit0 -156868778*x1391_bit0 -178791850*x1392_bit0 -27212974*x1393_bit0 -2233135600*x1394_bit0 -63633710*x1395_bit0 -41457002*x1396_bit0 -68405438*x1397_bit0 -80541928*x1398_bit0 -84336424*x1399_bit0 -54396452*x1400_bit0 -29858658*x1401_bit0 -77104506*x1402_bit0 -71063584*x1403_bit0 -81480118*x1404_bit0 -62979608*x1405_bit0 -43874692*x1406_bit0 -2233135600*x1407_bit0 -2233135600*x1408_bit0 -2233135600*x1409_bit0 -2233135600*x1410_bit0 -40280596*x1411_bit0 -88921766*x1412_bit0 -93817040*x1413_bit0 -55050622*x1414_bit0 -76355396*x1415_bit0 -53291504*x1416_bit0 -73996308*x1417_bit0 -89983888*x1418_bit0 -95944562*x1419_bit0 -56669582*x1420_bit0 -38212886*x1421_bit0 -90037288*x1422_bit0 -76693608*x1423_bit0 -90524614*x1424_bit0 -75529224*x1425_bit0 -55309850*x1426_bit0 -200820360*x1427_bit0 -260744980*x1428_bit0 -245718220*x1429_bit0 -180055122*x1430_bit0 -187394684*x1431_bit0 -231595260*x1432_bit0 -255381880*x1433_bit0 -216774420*x1434_bit0 -244540300*x1435_bit0 -179011028*x1436_bit0 -199900840*x1437_bit0 -259642720*x1438_bit0 -254611840*x1439_bit0 -216333200*x1440_bit0 -186872918*x1441_bit0 -230735780*x1442_bit0 -244528340*x1443_bit0 -223290900*x1444_bit0 -195167238*x1445_bit0 -219516120*x1446_bit0 -211928860*x1447_bit0 -244554560*x1448_bit0 -228431580*x1449_bit0 -192679194*x1450_bit0 -195352756*x1451_bit0 -219289440*x1452_bit0 -244518080*x1453_bit0 -223660580*x1454_bit0 -230589000*x1455_bit0 -194864876*x1456_bit0 -214111920*x1457_bit0 -246742760*x1458_bit0 -156957358*x1459_bit0 -119449950*x1460_bit0 -109020584*x1461_bit0 -149731132*x1462_bit0 -147516436*x1463_bit0 -156883846*x1464_bit0 -127958994*x1465_bit0 -115617518*x1466_bit0 -111411318*x1467_bit0 -152251416*x1468_bit0 -158715982*x1469_bit0 -120706070*x1470_bit0 -124377088*x1471_bit0 -112812564*x1472_bit0 -144764318*x1473_bit0 -153462126*x1474_bit0 -29598506*x1475_bit0 -2233135600*x1476_bit0 -53041276*x1477_bit0 -65288122*x1478_bit0 -88713334*x1479_bit0 -81866394*x1480_bit0 -90479248*x1481_bit0 -42531590*x1482_bit0 -53601292*x1483_bit0 -94162386*x1484_bit0 -91413414*x1485_bit0 -83773602*x1486_bit0 -54213726*x1487_bit0 -67684404*x1488_bit0 -55050622*x1489_bit0 -93817040*x1490_bit0 -88921766*x1491_bit0 -40280596*x1492_bit0 -2233135600*x1493_bit0 -2233135600*x1494_bit0 -2233135600*x1495_bit0 -2233135600*x1496_bit0 -62496372*x1497_bit0 -76673382*x1498_bit0 -96405338*x1499_bit0 -87003890*x1500_bit0 -103346918*x1501_bit0 -34466934*x1502_bit0 -49669118*x1503_bit0 -106443040*x1504_bit0 -99051644*x1505_bit0 -88485834*x1506_bit0 -62919000*x1507_bit0 -78872404*x1508_bit0 -197255448*x1509_bit0 -251494220*x1510_bit0 -233819560*x1511_bit0 -173206228*x1512_bit0 -176301878*x1513_bit0 -227918440*x1514_bit0 -249243580*x1515_bit0 -203924960*x1516_bit0 -232699040*x1517_bit0 -172290218*x1518_bit0 -196468538*x1519_bit0 -250461820*x1520_bit0 -248381160*x1521_bit0 -203362640*x1522_bit0 -175635800*x1523_bit0 -226964540*x1524_bit0 -237096500*x1525_bit0 -212191340*x1526_bit0 -186128284*x1527_bit0 -214508860*x1528_bit0 -206802720*x1529_bit0 -236344160*x1530_bit0 -217383260*x1531_bit0 -184342860*x1532_bit0 -186013592*x1533_bit0 -214011660*x1534_bit0 -236850020*x1535_bit0 -212316100*x1536_bit0 -219568600*x1537_bit0 -186527232*x1538_bit0 -208946200*x1539_bit0 -238530180*x1540_bit0 -133865214*x1541_bit0 -95709606*x1542_bit0 -88036448*x1543_bit0 -129072944*x1544_bit0 -127341018*x1545_bit0 -133567410*x1546_bit0 -104203628*x1547_bit0 -95390642*x1548_bit0 -90867080*x1549_bit0 -131880112*x1550_bit0 -135795924*x1551_bit0 -97079624*x1552_bit0 -100649526*x1553_bit0 -93041074*x1554_bit0 -124909268*x1555_bit0 -130216550*x1556_bit0 -39654060*x1557_bit0 -2233135600*x1558_bit0 -82890188*x1559_bit0 -89626984*x1560_bit0 -65878370*x1561_bit0 -53892272*x1562_bit0 -40351102*x1563_bit0 -87903960*x1564_bit0 -91731556*x1565_bit0 -52353216*x1566_bit0 -65718898*x1567_bit0 -51217772*x1568_bit0 -80244902*x1569_bit0 -88319086*x1570_bit0 -93817040*x1571_bit0 -55050622*x1572_bit0 -40280596*x1573_bit0 -88921766*x1574_bit0 -2233135600*x1575_bit0 -2233135600*x1576_bit0 -2233135600*x1577_bit0 -2233135600*x1578_bit0 -87942776*x1579_bit0 -97220328*x1580_bit0 -77132274*x1581_bit0 -63131072*x1582_bit0 -34466934*x1583_bit0 -100764518*x1584_bit0 -103963262*x1585_bit0 -49669118*x1586_bit0 -77337370*x1587_bit0 -60684190*x1588_bit0 -85238682*x1589_bit0 -96294540*x1590_bit0 -146559632*x1591_bit0 -215878980*x1592_bit0 -208303120*x1593_bit0 -134235700*x1594_bit0 -151853634*x1595_bit0 -176301878*x1596_bit0 -203924960*x1597_bit0 -183815626*x1598_bit0 -207024700*x1599_bit0 -132986486*x1600_bit0 -145439292*x1601_bit0 -214651840*x1602_bit0 -203362640*x1603_bit0 -183767288*x1604_bit0 -151793014*x1605_bit0 -175635800*x1606_bit0 -196139032*x1607_bit0 -184924574*x1608_bit0 -153400452*x1609_bit0 -167142288*x1610_bit0 -160141946*x1611_bit0 -197898838*x1612_bit0 -189619000*x1613_bit0 -149353142*x1614_bit0 -154340810*x1615_bit0 -167460774*x1616_bit0 -196647276*x1617_bit0 -185939696*x1618_bit0 -191577828*x1619_bit0 -151363950*x1620_bit0 -162298730*x1621_bit0 -200003480*x1622_bit0 -174851348*x1623_bit0 -150021824*x1624_bit0 -123628488*x1625_bit0 -153697678*x1626_bit0 -149605844*x1627_bit0 -176941834*x1628_bit0 -157637752*x1629_bit0 -125113394*x1630_bit0 -123456090*x1631_bit0 -154453984*x1632_bit0 -174943374*x1633_bit0 -149213056*x1634_bit0 -153964840*x1635_bit0 -121355664*x1636_bit0 -145921808*x1637_bit0 -173185384*x1638_bit0 -36962280*x1639_bit0 -2233135600*x1640_bit0 -91605030*x1641_bit0 -81925032*x1642_bit0 -51865276*x1643_bit0 -68965068*x1644_bit0 -56669582*x1645_bit0 -93577870*x1646_bit0 -87443476*x1647_bit0 -38212886*x1648_bit0 -50581132*x1649_bit0 -66644610*x1650_bit0 -88912928*x1651_bit0 -79952126*x1652_bit0 -88921766*x1653_bit0 -40280596*x1654_bit0 -55050622*x1655_bit0 -93817040*x1656_bit0 -2233135600*x1657_bit0 -2233135600*x1658_bit0 -2233135600*x1659_bit0 -2233135600*x1660_bit0 -99641206*x1661_bit0 -86273854*x1662_bit0 -60273236*x1663_bit0 -80454306*x1664_bit0 -54396452*x1665_bit0 -105526106*x1666_bit0 -100383692*x1667_bit0 -29858658*x1668_bit0 -59817530*x1669_bit0 -78321790*x1670_bit0 -97016520*x1671_bit0 -84735694*x1672_bit0 -164261296*x1673_bit0 -234948240*x1674_bit0 -228088520*x1675_bit0 -153657936*x1676_bit0 -171828020*x1677_bit0 -193383778*x1678_bit0 -221867200*x1679_bit0 -203798900*x1680_bit0 -226807180*x1681_bit0 -152395932*x1682_bit0 -163096852*x1683_bit0 -233709160*x1684_bit0 -221356540*x1685_bit0 -203755980*x1686_bit0 -171775706*x1687_bit0 -192785932*x1688_bit0 -214755500*x1689_bit0 -204713100*x1690_bit0 -173078958*x1691_bit0 -185130418*x1692_bit0 -178331752*x1693_bit0 -216792000*x1694_bit0 -209367300*x1695_bit0 -168922760*x1696_bit0 -174069938*x1697_bit0 -185575980*x1698_bit0 -215351100*x1699_bit0 -205761100*x1700_bit0 -211307680*x1701_bit0 -170905380*x1702_bit0 -180462862*x1703_bit0 -218873320*x1704_bit0 -189338834*x1705_bit0 -161139754*x1706_bit0 -137412274*x1707_bit0 -170324546*x1708_bit0 -166455504*x1709_bit0 -191023576*x1710_bit0 -169170656*x1711_bit0 -139985982*x1712_bit0 -137758098*x1713_bit0 -171375756*x1714_bit0 -189761372*x1715_bit0 -160809522*x1716_bit0 -165428612*x1717_bit0 -136263504*x1718_bit0 -162845102*x1719_bit0 -187272684*x1720_bit0 -38947082*x1721_bit0 -2233135600*x1722_bit0 -68417830*x1723_bit0 -50945120*x1724_bit0 -80883224*x1725_bit0 -90719326*x1726_bit0 -95944562*x1727_bit0 -57748426*x1728_bit0 -40713734*x1729_bit0 -90037288*x1730_bit0 -83498808*x1731_bit0 -91979396*x1732_bit0 -68567356*x1733_bit0 -53646258*x1734_bit0 -40280596*x1735_bit0 -88921766*x1736_bit0 -93817040*x1737_bit0 -55050622*x1738_bit0 -2233135600*x1739_bit0 -2233135600*x1740_bit0 -2233135600*x1741_bit0 -2233135600*x1742_bit0 -80023660*x1743_bit0 -59584508*x1744_bit0 -85308538*x1745_bit0 -98853320*x1746_bit0 -107958610*x1747_bit0 -54396452*x1748_bit0 -29858658*x1749_bit0 -102978868*x1750_bit0 -88009208*x1751_bit0 -99746622*x1752_bit0 -79828738*x1753_bit0 -62106080*x1754_bit0 -210146500*x1755_bit0 -267770440*x1756_bit0 -251375880*x1757_bit0 -188022218*x1758_bit0 -193383778*x1759_bit0 -240936580*x1760_bit0 -263790600*x1761_bit0 -221867200*x1762_bit0 -250227680*x1763_bit0 -187029796*x1764_bit0 -209273740*x1765_bit0 -266700340*x1766_bit0 -262981140*x1767_bit0 -221356540*x1768_bit0 -192785932*x1769_bit0 -240040700*x1770_bit0 -252369340*x1771_bit0 -229343460*x1772_bit0 -202188560*x1773_bit0 -228328780*x1774_bit0 -220680420*x1775_bit0 -252046480*x1776_bit0 -234518360*x1777_bit0 -200021060*x1778_bit0 -202231920*x1779_bit0 -227994380*x1780_bit0 -252254440*x1781_bit0 -229585460*x1782_bit0 -236693360*x1783_bit0 -202211220*x1784_bit0 -222851940*x1785_bit0 -254236600*x1786_bit0 -153113390*x1787_bit0 -113982146*x1788_bit0 -108036400*x1789_bit0 -149072948*x1790_bit0 -147323312*x1791_bit0 -152570502*x1792_bit0 -122359470*x1793_bit0 -115355476*x1794_bit0 -110852762*x1795_bit0 -151874224*x1796_bit0 -155185368*x1797_bit0 -115691412*x1798_bit0 -118940248*x1799_bit0 -112947362*x1800_bit0 -144862886*x1801_bit0 -149314360*x1802_bit0 -41510356*x1803_bit0 -2233135600*x1804_bit0 -55123872*x1805_bit0 -93870450*x1806_bit0 -88960356*x1807_bit0 -40319330*x1808_bit0 -53009078*x1809_bit0 -65276220*x1810_bit0 -88669774*x1811_bit0 -81806540*x1812_bit0 -90519246*x1813_bit0 -42572946*x1814_bit0 -53669590*x1815_bit0 -94213678*x1816_bit0 -91365886*x1817_bit0 -83710496*x1818_bit0 -54180784*x1819_bit0 -67669590*x1820_bit0 -99008036*x1821_bit0 -88421112*x1822_bit0 -62878866*x1823_bit0 -78856688*x1824_bit0 -2233135600*x1825_bit0 -2233135600*x1826_bit0 -2233135600*x1827_bit0 -2233135600*x1828_bit0 -62456196*x1829_bit0 -76659910*x1830_bit0 -96365512*x1831_bit0 -86942050*x1832_bit0 -103386800*x1833_bit0 -34509702*x1834_bit0 -49741896*x1835_bit0 -106492512*x1836_bit0 -141844276*x1837_bit0 -200526340*x1838_bit0 -186708882*x1839_bit0 -119742720*x1840_bit0 -128274686*x1841_bit0 -172602502*x1842_bit0 -195300314*x1843_bit0 -158779566*x1844_bit0 -185497782*x1845_bit0 -118712056*x1846_bit0 -141011682*x1847_bit0 -199411656*x1848_bit0 -194504302*x1849_bit0 -158461482*x1850_bit0 -127861390*x1851_bit0 -171682522*x1852_bit0 -184205692*x1853_bit0 -163894818*x1854_bit0 -135019158*x1855_bit0 -159788030*x1856_bit0 -152135436*x1857_bit0 -184219384*x1858_bit0 -168978440*x1859_bit0 -132393394*x1860_bit0 -135292276*x1861_bit0 -159448036*x1862_bit0 -184181478*x1863_bit0 -164411718*x1864_bit0 -171109432*x1865_bit0 -134576008*x1866_bit0 -154306278*x1867_bit0 -186407120*x1868_bit0 -133921162*x1869_bit0 -111460808*x1870_bit0 -83147658*x1871_bit0 -113231740*x1872_bit0 -109322560*x1873_bit0 -136108488*x1874_bit0 -118548798*x1875_bit0 -84172582*x1876_bit0 -82702644*x1877_bit0 -114238760*x1878_bit0 -133969220*x1879_bit0 -110181704*x1880_bit0 -114991672*x1881_bit0 -80415156*x1882_bit0 -105707002*x1883_bit0 -132356542*x1884_bit0 -36771278*x1885_bit0 -2233135600*x1886_bit0 -93870450*x1887_bit0 -55123872*x1888_bit0 -40319330*x1889_bit0 -88960356*x1890_bit0 -82825508*x1891_bit0 -89578842*x1892_bit0 -65863796*x1893_bit0 -53856618*x1894_bit0 -40391316*x1895_bit0 -87942246*x1896_bit0 -91781654*x1897_bit0 -52422068*x1898_bit0 -65705328*x1899_bit0 -51185606*x1900_bit0 -80184838*x1901_bit0 -88275152*x1902_bit0 -77322390*x1903_bit0 -60644034*x1904_bit0 -85176774*x1905_bit0 -96254316*x1906_bit0 -2233135600*x1907_bit0 -2233135600*x1908_bit0 -2233135600*x1909_bit0 -2233135600*x1910_bit0 -87876504*x1911_bit0 -97176356*x1912_bit0 -77116800*x1913_bit0 -63088476*x1914_bit0 -34509702*x1915_bit0 -100802680*x1916_bit0 -104011386*x1917_bit0 -49741896*x1918_bit0 -200526540*x1919_bit0 -268751000*x1920_bit0 -259015020*x1921_bit0 -186709106*x1922_bit0 -201197320*x1923_bit0 -230270120*x1924_bit0 -257807220*x1925_bit0 -232645600*x1926_bit0 -257759720*x1927_bit0 -185498006*x1928_bit0 -199411864*x1929_bit0 -267546220*x1930_bit0 -257226500*x1931_bit0 -232441360*x1932_bit0 -200956360*x1933_bit0 -229610860*x1934_bit0 -249618680*x1935_bit0 -235740920*x1936_bit0 -204950900*x1937_bit0 -221032000*x1938_bit0 -213958760*x1939_bit0 -251068940*x1940_bit0 -240628860*x1941_bit0 -201322520*x1942_bit0 -205665200*x1943_bit0 -221302740*x1944_bit0 -250040600*x1945_bit0 -236548360*x1946_bit0 -242670360*x1947_bit0 -203408480*x1948_bit0 -216124780*x1949_bit0 -253199660*x1950_bit0 -194715334*x1951_bit0 -159854534*x1952_bit0 -143811258*x1953_bit0 -182292562*x1954_bit0 -179240426*x1955_bit0 -195304038*x1956_bit0 -168363040*x1957_bit0 -148825102*x1958_bit0 -145363542*x1959_bit0 -184186224*x1960_bit0 -195982520*x1961_bit0 -160606364*x1962_bit0 -164666426*x1963_bit0 -145456564*x1964_bit0 -176000300*x1965_bit0 -191706358*x1966_bit0 -40551470*x1967_bit0 -2233135600*x1968_bit0 -88960356*x1969_bit0 -40319330*x1970_bit0 -55123872*x1971_bit0 -93870450*x1972_bit0 -91560048*x1973_bit0 -81860270*x1974_bit0 -51830652*x1975_bit0 -68953152*x1976_bit0 -56747302*x1977_bit0 -93633618*x1978_bit0 -87480940*x1979_bit0 -38249258*x1980_bit0 -50546882*x1981_bit0 -66635366*x1982_bit0 -88872208*x1983_bit0 -79890922*x1984_bit0 -59773732*x1985_bit0 -78311436*x1986_bit0 -96980050*x1987_bit0 -84671514*x1988_bit0 -2233135600*x1989_bit0 -2233135600*x1990_bit0 -2233135600*x1991_bit0 -2233135600*x1992_bit0 -99600560*x1993_bit0 -86206440*x1994_bit0 -60229644*x1995_bit0 -80441676*x1996_bit0 -54477712*x1997_bit0 -105579110*x1998_bit0 -100421174*x1999_bit0 -29893404*x2000_bit0 -211479200*x2001_bit0 -276740960*x2002_bit0 -264655060*x2003_bit0 -194782948*x2004_bit0 -206292220*x2005_bit0 -241794040*x2006_bit0 -268023500*x2007_bit0 -236982440*x2008_bit0 -263429580*x2009_bit0 -193630200*x2010_bit0 -210430720*x2011_bit0 -275574760*x2012_bit0 -267366020*x2013_bit0 -236666340*x2014_bit0 -205922200*x2015_bit0 -241056400*x2016_bit0 -258735680*x2017_bit0 -241655280*x2018_bit0 -211847720*x2019_bit0 -231421700*x2020_bit0 -224104720*x2021_bit0 -259608620*x2022_bit0 -246680220*x2023_bit0 -208680640*x2024_bit0 -212338560*x2025_bit0 -231500060*x2026_bit0 -258983460*x2027_bit0 -242270860*x2028_bit0 -248783140*x2029_bit0 -210824400*x2030_bit0 -226290980*x2031_bit0 -261772580*x2032_bit0 -186303534*x2033_bit0 -149082760*x2034_bit0 -137331020*x2035_bit0 -177467782*x2036_bit0 -174917648*x2037_bit0 -186352888*x2038_bit0 -157591894*x2039_bit0 -143387580*x2040_bit0 -139432328*x2041_bit0 -179760000*x2042_bit0 -187958478*x2043_bit0 -150319496*x2044_bit0 -154009050*x2045_bit0 -140334804*x2046_bit0 -171954332*x2047_bit0 -182896578*x2048_bit0 -41479732*x2049_bit0 -2233135600*x2050_bit0 -40319330*x2051_bit0 -88960356*x2052_bit0 -93870450*x2053_bit0 -55123872*x2054_bit0 -68408400*x2055_bit0 -50914286*x2056_bit0 -80823364*x2057_bit0 -90678832*x2058_bit0 -96001294*x2059_bit0 -57825524*x2060_bit0 -40752004*x2061_bit0 -90076504*x2062_bit0 -83434624*x2063_bit0 -91934960*x2064_bit0 -68556724*x2065_bit0 -53611434*x2066_bit0 -87942322*x2067_bit0 -99706662*x2068_bit0 -79817544*x2069_bit0 -62062540*x2070_bit0 -2233135600*x2071_bit0 -2233135600*x2072_bit0 -2233135600*x2073_bit0 -2233135600*x2074_bit0 -80012918*x2075_bit0 -59543518*x2076_bit0 -85245648*x2077_bit0 -98816716*x2078_bit0 -108012798*x2079_bit0 -54477712*x2080_bit0 -29893404*x2081_bit0 -103018102*x2082_bit0 -157768662*x2083_bit0 -211479020*x2084_bit0 -194782734*x2085_bit0 -132995458*x2086_bit0 -136775884*x2087_bit0 -188274688*x2088_bit0 -209039280*x2089_bit0 -165433134*x2090_bit0 -193629986*x2091_bit0 -132093634*x2092_bit0 -157037264*x2093_bit0 -210430520*x2094_bit0 -208169060*x2095_bit0 -164954362*x2096_bit0 -136172650*x2097_bit0 -187292478*x2098_bit0 -196849734*x2099_bit0 -172734230*x2100_bit0 -146004708*x2101_bit0 -174525512*x2102_bit0 -166809048*x2103_bit0 -196148108*x2104_bit0 -177911430*x2105_bit0 -144126358*x2106_bit0 -145946956*x2107_bit0 -173971236*x2108_bit0 -196612098*x2109_bit0 -172970318*x2110_bit0 -180087830*x2111_bit0 -146312492*x2112_bit0 -168939162*x2113_bit0 -198335468*x2114_bit0 -120229884*x2115_bit0 -93348268*x2116_bit0 -68200166*x2117_bit0 -104258860*x2118_bit0 -101076540*x2119_bit0 -121776146*x2120_bit0 -100929772*x2121_bit0 -71583844*x2122_bit0 -68829076*x2123_bit0 -106033048*x2124_bit0 -120835548*x2125_bit0 -92505124*x2126_bit0 -97256270*x2127_bit0 -67995060*x2128_bit0 -97803778*x2129_bit0 -118030716*x2130_bit0 -37792504*x2131_bit0 -2233135600*x2132_bit0 -91413568*x2133_bit0 -83773800*x2134_bit0 -54213678*x2135_bit0 -67684356*x2136_bit0 -55050622*x2137_bit0 -93817040*x2138_bit0 -88921766*x2139_bit0 -40280596*x2140_bit0 -53041326*x2141_bit0 -65288168*x2142_bit0 -88713180*x2143_bit0 -81866202*x2144_bit0 -90479248*x2145_bit0 -42531590*x2146_bit0 -53601292*x2147_bit0 -94162386*x2148_bit0 -103346918*x2149_bit0 -34466934*x2150_bit0 -49669118*x2151_bit0 -106443040*x2152_bit0 -99051850*x2153_bit0 -88486056*x2154_bit0 -62919042*x2155_bit0 -78872468*x2156_bit0 -2233135600*x2157_bit0 -2233135600*x2158_bit0 -2233135600*x2159_bit0 -2233135600*x2160_bit0 -62496322*x2161_bit0 -76673314*x2162_bit0 -96405134*x2163_bit0 -87003670*x2164_bit0 -161565376*x2165_bit0 -232308860*x2166_bit0 -225566820*x2167_bit0 -151065956*x2168_bit0 -169407800*x2169_bit0 -190684270*x2170_bit0 -219173700*x2171_bit0 -201388040*x2172_bit0 -224284620*x2173_bit0 -149802264*x2174_bit0 -160400362*x2175_bit0 -231068760*x2176_bit0 -218664140*x2177_bit0 -201353600*x2178_bit0 -169365664*x2179_bit0 -190086250*x2180_bit0 -212085580*x2181_bit0 -202193640*x2182_bit0 -170532048*x2183_bit0 -182439006*x2184_bit0 -175646134*x2185_bit0 -214139180*x2186_bit0 -206835540*x2187_bit0 -166353402*x2188_bit0 -171535600*x2189_bit0 -182887784*x2190_bit0 -212685980*x2191_bit0 -203252620*x2192_bit0 -208770740*x2193_bit0 -168330636*x2194_bit0 -177776340*x2195_bit0 -216218720*x2196_bit0 -188429540*x2197_bit0 -160761934*x2198_bit0 -136578286*x2199_bit0 -169004170*x2200_bit0 -165088024*x2201_bit0 -190186272*x2202_bit0 -168736306*x2203_bit0 -138969018*x2204_bit0 -136837140*x2205_bit0 -169996062*x2206_bit0 -188793444*x2207_bit0 -160356874*x2208_bit0 -165001476*x2209_bit0 -135235950*x2210_bit0 -161460582*x2211_bit0 -186432186*x2212_bit0 -39416512*x2213_bit0 -2233135600*x2214_bit0 -65718852*x2215_bit0 -51217724*x2216_bit0 -80245096*x2217_bit0 -88319234*x2218_bit0 -93817040*x2219_bit0 -55050622*x2220_bit0 -40280596*x2221_bit0 -88921766*x2222_bit0 -82889994*x2223_bit0 -89626830*x2224_bit0 -65878418*x2225_bit0 -53892320*x2226_bit0 -40351102*x2227_bit0 -87903960*x2228_bit0 -91731556*x2229_bit0 -52353216*x2230_bit0 -34466934*x2231_bit0 -100764518*x2232_bit0 -103963262*x2233_bit0 -49669118*x2234_bit0 -77337440*x2235_bit0 -60684240*x2236_bit0 -85238902*x2237_bit0 -96294744*x2238_bit0 -2233135600*x2239_bit0 -2233135600*x2240_bit0 -2233135600*x2241_bit0 -2233135600*x2242_bit0 -87942556*x2243_bit0 -97220122*x2244_bit0 -77132208*x2245_bit0 -63131026*x2246_bit0 -207591060*x2247_bit0 -265082660*x2248_bit0 -248676940*x2249_bit0 -185372948*x2250_bit0 -190684270*x2251_bit0 -238379160*x2252_bit0 -261159680*x2253_bit0 -219173700*x2254_bit0 -247528580*x2255_bit0 -184383260*x2256_bit0 -206722920*x2257_bit0 -264013340*x2258_bit0 -260347900*x2259_bit0 -218664140*x2260_bit0 -190086250*x2261_bit0 -237479940*x2262_bit0 -249709380*x2263_bit0 -226643920*x2264_bit0 -199503024*x2265_bit0 -225727820*x2266_bit0 -218075680*x2267_bit0 -249372700*x2268_bit0 -231818920*x2269_bit0 -197344932*x2270_bit0 -199543050*x2271_bit0 -225385580*x2272_bit0 -249590000*x2273_bit0 -226885720*x2274_bit0 -233993960*x2275_bit0 -199535088*x2276_bit0 -220246140*x2277_bit0 -251562820*x2278_bit0 -151160602*x2279_bit0 -112269700*x2280_bit0 -105676900*x2281_bit0 -146711018*x2282_bit0 -144914548*x2283_bit0 -150691766*x2284_bit0 -120681346*x2285_bit0 -112932100*x2286_bit0 -108453418*x2287_bit0 -149485454*x2288_bit0 -153186316*x2289_bit0 -113899314*x2290_bit0 -117228044*x2291_bit0 -110486034*x2292_bit0 -142425798*x2293_bit0 -147406890*x2294_bit0 -39540986*x2295_bit0 -2233135600*x2296_bit0 -50581084*x2297_bit0 -66644566*x2298_bit0 -88913074*x2299_bit0 -79952322*x2300_bit0 -88921766*x2301_bit0 -40280596*x2302_bit0 -55050622*x2303_bit0 -93817040*x2304_bit0 -91604884*x2305_bit0 -81924830*x2306_bit0 -51865320*x2307_bit0 -68965114*x2308_bit0 -56669582*x2309_bit0 -93577870*x2310_bit0 -87443476*x2311_bit0 -38212886*x2312_bit0 -54396452*x2313_bit0 -105526106*x2314_bit0 -100383692*x2315_bit0 -29858658*x2316_bit0 -59817578*x2317_bit0 -78321862*x2318_bit0 -97016724*x2319_bit0 -84735914*x2320_bit0 -2233135600*x2321_bit0 -2233135600*x2322_bit0 -2233135600*x2323_bit0 -2233135600*x2324_bit0 -99641004*x2325_bit0 -86273632*x2326_bit0 -60273196*x2327_bit0 -80454238*x2328_bit0 -194785296*x2329_bit0 -248822540*x2330_bit0 -231120380*x2331_bit0 -170612854*x2332_bit0 -173610636*x2333_bit0 -225431440*x2334_bit0 -246653720*x2335_bit0 -201225780*x2336_bit0 -230000040*x2337_bit0 -169701622*x2338_bit0 -194005046*x2339_bit0 -247791520*x2340_bit0 -245788380*x2341_bit0 -200663840*x2342_bit0 -172943148*x2343_bit0 -224473580*x2344_bit0 -234468700*x2345_bit0 -209497420*x2346_bit0 -183469428*x2347_bit0 -211969140*x2348_bit0 -204260720*x2349_bit0 -233696160*x2350_bit0 -214689520*x2351_bit0 -181701258*x2352_bit0 -183348382*x2353_bit0 -211461400*x2354_bit0 -234215780*x2355_bit0 -209620240*x2356_bit0 -216875000*x2357_bit0 -183885058*x2358_bit0 -206401920*x2359_bit0 -235881820*x2360_bit0 -132004404*x2361_bit0 -94232698*x2362_bit0 -85679344*x2363_bit0 -126711950*x2364_bit0 -124924170*x2365_bit0 -131798668*x2366_bit0 -102745574*x2367_bit0 -92951592*x2368_bit0 -88457814*x2369_bit0 -129487202*x2370_bit0 -133876370*x2371_bit0 -95489002*x2372_bit0 -99156570*x2373_bit0 -90553988*x2374_bit0 -122458748*x2375_bit0 -128415606*x2376_bit0 -38826412*x2377_bit0 -2233135600*x2378_bit0 -83499008*x2379_bit0 -91979546*x2380_bit0 -68567308*x2381_bit0 -53646214*x2382_bit0 -40280596*x2383_bit0 -88921766*x2384_bit0 -93817040*x2385_bit0 -55050622*x2386_bit0 -68417876*x2387_bit0 -50945164*x2388_bit0 -80883022*x2389_bit0 -90719182*x2390_bit0 -95944562*x2391_bit0 -57748426*x2392_bit0 -40713734*x2393_bit0 -90037288*x2394_bit0 -107958610*x2395_bit0 -54396452*x2396_bit0 -29858658*x2397_bit0 -102978868*x2398_bit0 -88009428*x2399_bit0 -99746828*x2400_bit0 -79828804*x2401_bit0 -62106120*x2402_bit0 -2233135600*x2403_bit0 -2233135600*x2404_bit0 -2233135600*x2405_bit0 -2233135600*x2406_bit0 -80023590*x2407_bit0 -59584464*x2408_bit0 -85308316*x2409_bit0 -98853116*x2410_bit0 -143860410*x2411_bit0 -213223600*x2412_bit0 -205767160*x2413_bit0 -131615228*x2414_bit0 -149425236*x2415_bit0 -173610636*x2416_bit0 -201225780*x2417_bit0 -181399352*x2418_bit0 -204487740*x2419_bit0 -130363990*x2420_bit0 -142740398*x2421_bit0 -211995400*x2422_bit0 -200663840*x2423_bit0 -181360468*x2424_bit0 -149376274*x2425_bit0 -172943148*x2426_bit0 -193454960*x2427_bit0 -182388984*x2428_bit0 -150831224*x2429_bit0 -164443072*x2430_bit0 -157444780*x2431_bit0 -195229552*x2432_bit0 -187070692*x2433_bit0 -146759368*x2434_bit0 -151785268*x2435_bit0 -164762748*x2436_bit0 -193967190*x2437_bit0 -183416044*x2438_bit0 -189024188*x2439_bit0 -148764922*x2440_bit0 -159601238*x2441_bit0 -197332774*x2442_bit0 -174172782*x2443_bit0 -149992372*x2444_bit0 -123164058*x2445_bit0 -152577976*x2446_bit0 -148436924*x2447_bit0 -176341126*x2448_bit0 -157525586*x2449_bit0 -124424212*x2450_bit0 -122888382*x2451_bit0 -153262916*x2452_bit0 -174198232*x2453_bit0 -149102762*x2454_bit0 -153870008*x2455_bit0 -120666894*x2456_bit0 -144738758*x2457_bit0 -172587210*x2458_bit0 -38699638*x2459_bit0 -2233135600*x2460_bit0 -90519258*x2461_bit0 -42573224*x2462_bit0 -53669868*x2463_bit0 -94213724*x2464_bit0 -91365886*x2465_bit0 -83710496*x2466_bit0 -54180784*x2467_bit0 -67669590*x2468_bit0 -55123596*x2469_bit0 -93870398*x2470_bit0 -88960348*x2471_bit0 -40319056*x2472_bit0 -53009078*x2473_bit0 -65276220*x2474_bit0 -88669774*x2475_bit0 -81806540*x2476_bit0 -62456196*x2477_bit0 -76659910*x2478_bit0 -96365512*x2479_bit0 -86942050*x2480_bit0 -103386930*x2481_bit0 -34509936*x2482_bit0 -49742128*x2483_bit0 -106492664*x2484_bit0 -99008036*x2485_bit0 -88421112*x2486_bit0 -62878866*x2487_bit0 -78856688*x2488_bit0 -2233135600*x2489_bit0 -2233135600*x2490_bit0 -2233135600*x2491_bit0 -2233135600*x2492_bit0 -211167780*x2493_bit0 -276902660*x2494_bit0 -265142480*x2495_bit0 -194890580*x2496_bit0 -206823160*x2497_bit0 -241407400*x2498_bit0 -267850900*x2499_bit0 -237632980*x2500_bit0 -263912440*x2501_bit0 -193728542*x2502_bit0 -210108400*x2503_bit0 -275730480*x2504_bit0 -267204960*x2505_bit0 -237331560*x2506_bit0 -206470280*x2507_bit0 -240681920*x2508_bit0 -258725620*x2509_bit0 -242095120*x2510_bit0 -212134580*x2511_bit0 -231207680*x2512_bit0 -223924320*x2513_bit0 -259684080*x2514_bit0 -247103560*x2515_bit0 -208900380*x2516_bit0 -212657000*x2517_bit0 -231315520*x2518_bit0 -258999320*x2519_bit0 -242737300*x2520_bit0 -249198960*x2521_bit0 -211037340*x2522_bit0 -226108640*x2523_bit0 -261844000*x2524_bit0 -188394460*x2525_bit0 -151369110*x2526_bit0 -139185124*x2527_bit0 -179184384*x2528_bit0 -176577248*x2529_bit0 -188495162*x2530_bit0 -159883748*x2531_bit0 -145137266*x2532_bit0 -141230424*x2533_bit0 -181434830*x2534_bit0 -190012706*x2535_bit0 -152563290*x2536_bit0 -156288610*x2537_bit0 -142045966*x2538_bit0 -173580768*x2539_bit0 -185023706*x2540_bit0 -42126668*x2541_bit0 -2233135600*x2542_bit0 -40391600*x2543_bit0 -87942260*x2544_bit0 -91781702*x2545_bit0 -52422344*x2546_bit0 -65705328*x2547_bit0 -51185606*x2548_bit0 -80184838*x2549_bit0 -88275152*x2550_bit0 -93870398*x2551_bit0 -55123596*x2552_bit0 -40319056*x2553_bit0 -88960348*x2554_bit0 -82825508*x2555_bit0 -89578842*x2556_bit0 -65863796*x2557_bit0 -53856618*x2558_bit0 -87876504*x2559_bit0 -97176356*x2560_bit0 -77116800*x2561_bit0 -63088476*x2562_bit0 -34509936*x2563_bit0 -100802810*x2564_bit0 -104011540*x2565_bit0 -49742128*x2566_bit0 -77322390*x2567_bit0 -60644034*x2568_bit0 -85176774*x2569_bit0 -96254316*x2570_bit0 -2233135600*x2571_bit0 -2233135600*x2572_bit0 -2233135600*x2573_bit0 -2233135600*x2574_bit0 -156579494*x2575_bit0 -211167580*x2576_bit0 -194890364*x2577_bit0 -132244168*x2578_bit0 -136754204*x2579_bit0 -187151552*x2580_bit0 -208272660*x2581_bit0 -165713968*x2582_bit0 -193728326*x2583_bit0 -131319940*x2584_bit0 -155828444*x2585_bit0 -210108200*x2586_bit0 -207414720*x2587_bit0 -165256944*x2588_bit0 -136177118*x2589_bit0 -186180520*x2590_bit0 -196259826*x2591_bit0 -172711612*x2592_bit0 -145629826*x2593_bit0 -173564924*x2594_bit0 -165854208*x2595_bit0 -195673476*x2596_bit0 -177880094*x2597_bit0 -143633412*x2598_bit0 -145622372*x2599_bit0 -173048086*x2600_bit0 -196056868*x2601_bit0 -172988812*x2602_bit0 -180051824*x2603_bit0 -145821964*x2604_bit0 -167993098*x2605_bit0 -197862292*x2606_bit0 -122734044*x2607_bit0 -96052150*x2608_bit0 -70728072*x2609_bit0 -106317382*x2610_bit0 -103051868*x2611_bit0 -124326808*x2612_bit0 -103629660*x2613_bit0 -73908170*x2614_bit0 -71265408*x2615_bit0 -108015868*x2616_bit0 -123297824*x2617_bit0 -95204972*x2618_bit0 -99957576*x2619_bit0 -70286180*x2620_bit0 -99733714*x2621_bit0 -120578630*x2622_bit0 -35858376*x2623_bit0 -2233135600*x2624_bit0 -56747572*x2625_bit0 -93633676*x2626_bit0 -87480944*x2627_bit0 -38249524*x2628_bit0 -50546882*x2629_bit0 -66635366*x2630_bit0 -88872208*x2631_bit0 -79890922*x2632_bit0 -88960348*x2633_bit0 -40319056*x2634_bit0 -55123596*x2635_bit0 -93870398*x2636_bit0 -91560048*x2637_bit0 -81860270*x2638_bit0 -51830652*x2639_bit0 -68953152*x2640_bit0 -99600560*x2641_bit0 -86206440*x2642_bit0 -60229644*x2643_bit0 -80441676*x2644_bit0 -54477946*x2645_bit0 -105579268*x2646_bit0 -100421296*x2647_bit0 -29893630*x2648_bit0 -59773732*x2649_bit0 -78311436*x2650_bit0 -96980050*x2651_bit0 -84671514*x2652_bit0 -2233135600*x2653_bit0 -2233135600*x2654_bit0 -2233135600*x2655_bit0 -2233135600*x2656_bit0 -140904052*x2657_bit0 -200467860*x2658_bit0 -187117070*x2659_bit0 -119394412*x2660_bit0 -128714784*x2661_bit0 -171684798*x2662_bit0 -194752956*x2663_bit0 -159430978*x2664_bit0 -185898540*x2665_bit0 -118341644*x2666_bit0 -140049854*x2667_bit0 -199343108*x2668_bit0 -193971578*x2669_bit0 -159136186*x2670_bit0 -128331546*x2671_bit0 -170778974*x2672_bit0 -183869680*x2673_bit0 -164214914*x2674_bit0 -135042930*x2675_bit0 -159078302*x2676_bit0 -151447924*x2677_bit0 -184009824*x2678_bit0 -169277136*x2679_bit0 -132293748*x2680_bit0 -135371200*x2681_bit0 -158781962*x2682_bit0 -183883656*x2683_bit0 -164774128*x2684_bit0 -171398332*x2685_bit0 -134471104*x2686_bit0 -153624288*x2687_bit0 -186195506*x2688_bit0 -136545020*x2689_bit0 -114148072*x2690_bit0 -85838296*x2691_bit0 -115614906*x2692_bit0 -111663124*x2693_bit0 -138756324*x2694_bit0 -121248054*x2695_bit0 -86797810*x2696_bit0 -85370350*x2697_bit0 -116567186*x2698_bit0 -136568794*x2699_bit0 -112879078*x2700_bit0 -117688620*x2701_bit0 -83041284*x2702_bit0 -108031108*x2703_bit0 -135005490*x2704_bit0 -36120564*x2705_bit0 -2233135600*x2706_bit0 -96001350*x2707_bit0 -57825800*x2708_bit0 -40752266*x2709_bit0 -90076508*x2710_bit0 -83434624*x2711_bit0 -91934960*x2712_bit0 -68556724*x2713_bit0 -53611434*x2714_bit0 -40319056*x2715_bit0 -88960348*x2716_bit0 -93870398*x2717_bit0 -55123596*x2718_bit0 -68408400*x2719_bit0 -50914286*x2720_bit0 -80823364*x2721_bit0 -90678832*x2722_bit0 -80012918*x2723_bit0 -59543518*x2724_bit0 -85245648*x2725_bit0 -98816716*x2726_bit0 -108012956*x2727_bit0 -54477946*x2728_bit0 -29893630*x2729_bit0 -103018224*x2730_bit0 -87942322*x2731_bit0 -99706662*x2732_bit0 -79817544*x2733_bit0 -62062540*x2734_bit0 -2233135600*x2735_bit0 -2233135600*x2736_bit0 -2233135600*x2737_bit0 -2233135600*x2738_bit0 -200468080*x2739_bit0 -269113520*x2740_bit0 -259717580*x2741_bit0 -187117296*x2742_bit0 -202013780*x2743_bit0 -230094560*x2744_bit0 -257832040*x2745_bit0 -233538800*x2746_bit0 -258458840*x2747_bit0 -185898766*x2748_bit0 -199343316*x2749_bit0 -267903600*x2750_bit0 -257263880*x2751_bit0 -233349400*x2752_bit0 -201790420*x2753_bit0 -229448960*x2754_bit0 -249820560*x2755_bit0 -236419040*x2756_bit0 -205513640*x2757_bit0 -221050300*x2758_bit0 -214021480*x2759_bit0 -251358160*x2760_bit0 -241284920*x2761_bit0 -201821900*x2762_bit0 -206259220*x2763_bit0 -221351920*x2764_bit0 -250269020*x2765_bit0 -237252460*x2766_bit0 -243316620*x2767_bit0 -203897560*x2768_bit0 -216182640*x2769_bit0 -253482720*x2770_bit0 -196981350*x2771_bit0 -162308856*x2772_bit0 -145961624*x2773_bit0 -184257238*x2774_bit0 -181160202*x2775_bit0 -197611494*x2776_bit0 -170812588*x2777_bit0 -150879416*x2778_bit0 -147465366*x2779_bit0 -186111684*x2780_bit0 -198217006*x2781_bit0 -163028550*x2782_bit0 -167110600*x2783_bit0 -147487070*x2784_bit0 -177896428*x2785_bit0 -194004816*x2786_bit0 -42350068*x2787_bit0 -2233135600*x2788_bit0 -150672102*x2789_bit0 -189533162*x2790_bit0 -174675064*x2791_bit0 -130421720*x2792_bit0 -132474438*x2793_bit0 -161444498*x2794_bit0 -185761984*x2795_bit0 -162071622*x2796_bit0 -175003288*x2797_bit0 -130270638*x2798_bit0 -149933856*x2799_bit0 -189367088*x2800_bit0 -188436576*x2801_bit0 -164737768*x2802_bit0 -135169700*x2803_bit0 -164041646*x2804_bit0 -196467798*x2805_bit0 -160899616*x2806_bit0 -130248554*x2807_bit0 -173408024*x2808_bit0 -141901574*x2809_bit0 -200575500*x2810_bit0 -186741610*x2811_bit0 -119775224*x2812_bit0 -127588452*x2813_bit0 -170862596*x2814_bit0 -193820892*x2815_bit0 -158283386*x2816_bit0 -187149722*x2817_bit0 -119426866*x2818_bit0 -140960680*x2819_bit0 -200516420*x2820_bit0 -2233135600*x2821_bit0 -2233135600*x2822_bit0 -2233135600*x2823_bit0 -2233135600*x2824_bit0 -60432004*x2825_bit0 -78822014*x2826_bit0 -97879664*x2827_bit0 -85683188*x2828_bit0 -100547830*x2829_bit0 -32143896*x2830_bit0 -52044262*x2831_bit0 -104725758*x2832_bit0 -97063386*x2833_bit0 -86248888*x2834_bit0 -61403512*x2835_bit0 -77705742*x2836_bit0 -87193272*x2837_bit0 -79370260*x2838_bit0 -48635826*x2839_bit0 -63531494*x2840_bit0 -55847388*x2841_bit0 -88181640*x2842_bit0 -83164232*x2843_bit0 -43086962*x2844_bit0 -50615620*x2845_bit0 -62765168*x2846_bit0 -87407480*x2847_bit0 -81001186*x2848_bit0 -84783436*x2849_bit0 -44302566*x2850_bit0 -57891286*x2851_bit0 -90323116*x2852_bit0 -167444898*x2853_bit0 -173685896*x2854_bit0 -143395906*x2855_bit0 -135440910*x2856_bit0 -131019046*x2857_bit0 -172041390*x2858_bit0 -176210820*x2859_bit0 -136743864*x2860_bit0 -139982872*x2861_bit0 -132840858*x2862_bit0 -164845236*x2863_bit0 -170412972*x2864_bit0 -174218170*x2865_bit0 -135051776*x2866_bit0 -128424038*x2867_bit0 -169412062*x2868_bit0 -131286482*x2869_bit0 -2233135600*x2870_bit0 -211865360*x2871_bit0 -256774220*x2872_bit0 -246495520*x2873_bit0 -198937160*x2874_bit0 -203736960*x2875_bit0 -222465860*x2876_bit0 -250978940*x2877_bit0 -234823180*x2878_bit0 -247161800*x2879_bit0 -199413620*x2880_bit0 -211900420*x2881_bit0 -257082300*x2882_bit0 -253673180*x2883_bit0 -237418080*x2884_bit0 -206359240*x2885_bit0 -225165580*x2886_bit0 -259471000*x2887_bit0 -234919460*x2888_bit0 -203423760*x2889_bit0 -231768200*x2890_bit0 -200575300*x2891_bit0 -268795340*x2892_bit0 -259047520*x2893_bit0 -186741386*x2894_bit0 -200853760*x2895_bit0 -229073380*x2896_bit0 -256771500*x2897_bit0 -232374720*x2898_bit0 -259750000*x2899_bit0 -187149496*x2900_bit0 -200516220*x2901_bit0 -269157360*x2902_bit0 -2233135600*x2903_bit0 -2233135600*x2904_bit0 -2233135600*x2905_bit0 -2233135600*x2906_bit0 -86867734*x2907_bit0 -98866208*x2908_bit0 -79366870*x2909_bit0 -61262168*x2910_bit0 -32143896*x2911_bit0 -103127396*x2912_bit0 -107172652*x2913_bit0 -52044262*x2914_bit0 -78262238*x2915_bit0 -62211410*x2916_bit0 -87422526*x2917_bit0 -98061106*x2918_bit0 -65008800*x2919_bit0 -51009082*x2920_bit0 -81923714*x2921_bit0 -89432590*x2922_bit0 -91015654*x2923_bit0 -57586170*x2924_bit0 -45969926*x2925_bit0 -86234802*x2926_bit0 -80995198*x2927_bit0 -87402120*x2928_bit0 -62761538*x2929_bit0 -50610200*x2930_bit0 -43886004*x2931_bit0 -84349180*x2932_bit0 -89926506*x2933_bit0 -57654092*x2934_bit0 -187068536*x2935_bit0 -210260620*x2936_bit0 -187005392*x2937_bit0 -159842392*x2938_bit0 -157310082*x2939_bit0 -191956092*x2940_bit0 -209342940*x2941_bit0 -178694298*x2942_bit0 -183207590*x2943_bit0 -156125428*x2944_bit0 -183466188*x2945_bit0 -206491420*x2946_bit0 -208792400*x2947_bit0 -178763638*x2948_bit0 -156755936*x2949_bit0 -190843716*x2950_bit0 -199241318*x2951_bit0 -2233135600*x2952_bit0 -222173060*x2953_bit0 -265153780*x2954_bit0 -252437480*x2955_bit0 -206452340*x2956_bit0 -209900400*x2957_bit0 -232918860*x2958_bit0 -260162540*x2959_bit0 -240093540*x2960_bit0 -252877340*x2961_bit0 -206646580*x2962_bit0 -221964320*x2963_bit0 -265252860*x2964_bit0 -262862060*x2965_bit0 -242745260*x2966_bit0 -212575340*x2967_bit0 -235607920*x2968_bit0 -269507240*x2969_bit0 -239095600*x2970_bit0 -208322740*x2971_bit0 -243088980*x2972_bit0 -211511520*x2973_bit0 -276773460*x2974_bit0 -264677160*x2975_bit0 -194800528*x2976_bit0 -205678180*x2977_bit0 -240415220*x2978_bit0 -266812320*x2979_bit0 -236477880*x2980_bit0 -265164840*x2981_bit0 -194908558*x2982_bit0 -211199900*x2983_bit0 -276935000*x2984_bit0 -2233135600*x2985_bit0 -2233135600*x2986_bit0 -2233135600*x2987_bit0 -2233135600*x2988_bit0 -98061106*x2989_bit0 -87422526*x2990_bit0 -62211410*x2991_bit0 -78262238*x2992_bit0 -52044262*x2993_bit0 -107172652*x2994_bit0 -103127396*x2995_bit0 -32143896*x2996_bit0 -61262168*x2997_bit0 -79366870*x2998_bit0 -98866208*x2999_bit0 -86867734*x3000_bit0 -51768522*x3001_bit0 -63546716*x3002_bit0 -88544088*x3003_bit0 -82267434*x3004_bit0 -86105256*x3005_bit0 -45575630*x3006_bit0 -58638346*x3007_bit0 -91533228*x3008_bit0 -88306794*x3009_bit0 -80643520*x3010_bit0 -49813952*x3011_bit0 -64253458*x3012_bit0 -56567852*x3013_bit0 -89395718*x3014_bit0 -84482638*x3015_bit0 -44316796*x3016_bit0 -204892460*x3017_bit0 -226028480*x3018_bit0 -201218420*x3019_bit0 -176640544*x3020_bit0 -173792266*x3021_bit0 -209803200*x3022_bit0 -225641760*x3023_bit0 -193080116*x3024_bit0 -197432272*x3025_bit0 -172994750*x3026_bit0 -201359860*x3027_bit0 -222297240*x3028_bit0 -224863500*x3029_bit0 -192818414*x3030_bit0 -172931172*x3031_bit0 -208502260*x3032_bit0 -207164800*x3033_bit0 -2233135600*x3034_bit0 -165575888*x3035_bit0 -201160320*x3036_bit0 -183353576*x3037_bit0 -142447532*x3038_bit0 -142472024*x3039_bit0 -176205822*x3040_bit0 -198454250*x3041_bit0 -170029206*x3042_bit0 -183362532*x3043_bit0 -141903432*x3044_bit0 -164574900*x3045_bit0 -200733960*x3046_bit0 -201083400*x3047_bit0 -172727890*x3048_bit0 -145159258*x3049_bit0 -178722140*x3050_bit0 -209973760*x3051_bit0 -167280910*x3052_bit0 -138383942*x3053_bit0 -188837950*x3054_bit0 -157801166*x3055_bit0 -211511720*x3056_bit0 -194800742*x3057_bit0 -133004756*x3058_bit0 -135684198*x3059_bit0 -186375388*x3060_bit0 -207380660*x3061_bit0 -164597632*x3062_bit0 -194908772*x3063_bit0 -132253990*x3064_bit0 -156611784*x3065_bit0 -211200100*x3066_bit0 -2233135600*x3067_bit0 -2233135600*x3068_bit0 -2233135600*x3069_bit0 -2233135600*x3070_bit0 -77705742*x3071_bit0 -61403512*x3072_bit0 -86248888*x3073_bit0 -97063386*x3074_bit0 -104725758*x3075_bit0 -52044262*x3076_bit0 -32143896*x3077_bit0 -100547830*x3078_bit0 -85683188*x3079_bit0 -97879664*x3080_bit0 -78822014*x3081_bit0 -60432004*x3082_bit0 -79730320*x3083_bit0 -86271768*x3084_bit0 -62009476*x3085_bit0 -49472178*x3086_bit0 -42624404*x3087_bit0 -83027712*x3088_bit0 -88722608*x3089_bit0 -56958726*x3090_bit0 -64256946*x3091_bit0 -49819554*x3092_bit0 -80649546*x3093_bit0 -88312078*x3094_bit0 -89795628*x3095_bit0 -56813410*x3096_bit0 -44723774*x3097_bit0 -84915910*x3098_bit0 -187450074*x3099_bit0 -192944846*x3100_bit0 -162237334*x3101_bit0 -155445510*x3102_bit0 -151016866*x3103_bit0 -192043016*x3104_bit0 -195721790*x3105_bit0 -155863082*x3106_bit0 -158917080*x3107_bit0 -152845722*x3108_bit0 -184850586*x3109_bit0 -189739448*x3110_bit0 -193637256*x3111_bit0 -153999784*x3112_bit0 -148402362*x3113_bit0 -189403316*x3114_bit0 -143025488*x3115_bit0 -2233135600*x3116_bit0 -174263548*x3117_bit0 -220590320*x3118_bit0 -212999980*x3119_bit0 -164150226*x3120_bit0 -170491682*x3121_bit0 -184699392*x3122_bit0 -214097600*x3123_bit0 -202275520*x3124_bit0 -213931320*x3125_bit0 -164944032*x3126_bit0 -174492600*x3127_bit0 -221096400*x3128_bit0 -216774540*x3129_bit0 -204768580*x3130_bit0 -173008606*x3131_bit0 -187394696*x3132_bit0 -221867320*x3133_bit0 -203799020*x3134_bit0 -171828020*x3135_bit0 -193383794*x3136_bit0 -162566072*x3137_bit0 -232931400*x3138_bit0 -225810520*x3139_bit0 -151513446*x3140_bit0 -169407800*x3141_bit0 -190684284*x3142_bit0 -219173820*x3143_bit0 -201388160*x3144_bit0 -226766240*x3145_bit0 -152253406*x3146_bit0 -162691622*x3147_bit0 -233488480*x3148_bit0 -97074438*x3149_bit0 -86331602*x3150_bit0 -61484984*x3151_bit0 -77680992*x3152_bit0 -2233135600*x3153_bit0 -2233135600*x3154_bit0 -2233135600*x3155_bit0 -2233135600*x3156_bit0 -60455704*x3157_bit0 -78863710*x3158_bit0 -97938842*x3159_bit0 -85731866*x3160_bit0 -100614980*x3161_bit0 -32122800*x3162_bit0 -52028472*x3163_bit0 -104786994*x3164_bit0 -84867064*x3165_bit0 -44385936*x3166_bit0 -57915094*x3167_bit0 -90388362*x3168_bit0 -87214352*x3169_bit0 -79422954*x3170_bit0 -48689126*x3171_bit0 -63524232*x3172_bit0 -55831102*x3173_bit0 -88182788*x3174_bit0 -83178378*x3175_bit0 -43104434*x3176_bit0 -50636414*x3177_bit0 -62816756*x3178_bit0 -87463582*x3179_bit0 -81039278*x3180_bit0 -150161088*x3181_bit0 -171220530*x3182_bit0 -147654642*x3183_bit0 -121534092*x3184_bit0 -118702698*x3185_bit0 -155080636*x3186_bit0 -170615164*x3187_bit0 -139338104*x3188_bit0 -143857004*x3189_bit0 -117894156*x3190_bit0 -146695632*x3191_bit0 -167467698*x3192_bit0 -169914908*x3193_bit0 -139429360*x3194_bit0 -117913444*x3195_bit0 -153645458*x3196_bit0 -163727302*x3197_bit0 -2233135600*x3198_bit0 -218235280*x3199_bit0 -255863100*x3200_bit0 -238358200*x3201_bit0 -196918324*x3202_bit0 -197441532*x3203_bit0 -229003120*x3204_bit0 -252727760*x3205_bit0 -224965860*x3206_bit0 -238336260*x3207_bit0 -196512466*x3208_bit0 -217477980*x3209_bit0 -255511900*x3210_bit0 -255382000*x3211_bit0 -227665480*x3212_bit0 -200132960*x3213_bit0 -231595300*x3214_bit0 -263790720*x3215_bit0 -221867320*x3216_bit0 -193383794*x3217_bit0 -240936620*x3218_bit0 -209365300*x3219_bit0 -266399900*x3220_bit0 -249721140*x3221_bit0 -186877016*x3222_bit0 -190684284*x3223_bit0 -238379200*x3224_bit0 -261159800*x3225_bit0 -219173820*x3226_bit0 -249775500*x3227_bit0 -186340806*x3228_bit0 -208479000*x3229_bit0 -266134220*x3230_bit0 -78193206*x3231_bit0 -62226962*x3232_bit0 -87410450*x3233_bit0 -97992464*x3234_bit0 -2233135600*x3235_bit0 -2233135600*x3236_bit0 -2233135600*x3237_bit0 -2233135600*x3238_bit0 -86821348*x3239_bit0 -98845972*x3240_bit0 -79364574*x3241_bit0 -61219378*x3242_bit0 -32122800*x3243_bit0 -103048360*x3244_bit0 -107095284*x3245_bit0 -52028472*x3246_bit0 -43800414*x3247_bit0 -84256520*x3248_bit0 -89830652*x3249_bit0 -57581408*x3250_bit0 -64960292*x3251_bit0 -50992870*x3252_bit0 -81902950*x3253_bit0 -89390226*x3254_bit0 -90983692*x3255_bit0 -57550436*x3256_bit0 -45952372*x3257_bit0 -86212524*x3258_bit0 -80962302*x3259_bit0 -87394660*x3260_bit0 -62770140*x3261_bit0 -50566690*x3262_bit0 -221969740*x3263_bit0 -235945420*x3264_bit0 -207518360*x3265_bit0 -191154318*x3266_bit0 -187456382*x3267_bit0 -226849360*x3268_bit0 -237168660*x3269_bit0 -200126100*x3270_bit0 -203894720*x3271_bit0 -187866964*x3272_bit0 -218776540*x3273_bit0 -232417960*x3274_bit0 -235713900*x3275_bit0 -199004004*x3276_bit0 -185725538*x3277_bit0 -224901440*x3278_bit0 -197652120*x3279_bit0 -2233135600*x3280_bit0 -204755600*x3281_bit0 -240123800*x3282_bit0 -221212340*x3283_bit0 -181602360*x3284_bit0 -181113572*x3285_bit0 -215415660*x3286_bit0 -237644760*x3287_bit0 -207591400*x3288_bit0 -221055200*x3289_bit0 -180988762*x3290_bit0 -203794760*x3291_bit0 -239625060*x3292_bit0 -240264940*x3293_bit0 -210288700*x3294_bit0 -183783540*x3295_bit0 -217944740*x3296_bit0 -249243780*x3297_bit0 -203925180*x3298_bit0 -176301998*x3299_bit0 -227918560*x3300_bit0 -196705646*x3301_bit0 -250244700*x3302_bit0 -232263460*x3303_bit0 -172283460*x3304_bit0 -173610756*x3305_bit0 -225431560*x3306_bit0 -246653940*x3307_bit0 -201226000*x3308_bit0 -232196360*x3309_bit0 -171514942*x3310_bit0 -195599994*x3311_bit0 -249843700*x3312_bit0 -61193690*x3313_bit0 -79394920*x3314_bit0 -98868358*x3315_bit0 -86806676*x3316_bit0 -2233135600*x3317_bit0 -2233135600*x3318_bit0 -2233135600*x3319_bit0 -2233135600*x3320_bit0 -98014106*x3321_bit0 -87394774*x3322_bit0 -62200710*x3323_bit0 -78223270*x3324_bit0 -52028472*x3325_bit0 -107095284*x3326_bit0 -103048360*x3327_bit0 -32122800*x3328_bit0 -56520848*x3329_bit0 -89312628*x3330_bit0 -84386828*x3331_bit0 -44222354*x3332_bit0 -51724428*x3333_bit0 -63553462*x3334_bit0 -88535476*x3335_bit0 -82233776*x3336_bit0 -86079514*x3337_bit0 -45547304*x3338_bit0 -58630702*x3339_bit0 -91514982*x3340_bit0 -88265076*x3341_bit0 -80623774*x3342_bit0 -49799562*x3343_bit0 -64205830*x3344_bit0 -217989840*x3345_bit0 -228216540*x3346_bit0 -198520586*x3347_bit0 -186411642*x3348_bit0 -182367636*x3349_bit0 -222781960*x3350_bit0 -230193240*x3351_bit0 -191597634*x3352_bit0 -195031856*x3353_bit0 -183377464*x3354_bit0 -215022620*x3355_bit0 -224830660*x3356_bit0 -228431700*x3357_bit0 -190100770*x3358_bit0 -180243060*x3359_bit0 -220526220*x3360_bit0 -182072470*x3361_bit0 -2233135600*x3362_bit0 -156310770*x3363_bit0 -201718840*x3364_bit0 -193274160*x3365_bit0 -144676808*x3366_bit0 -150683068*x3367_bit0 -166902514*x3368_bit0 -195613482*x3369_bit0 -182400390*x3370_bit0 -194160136*x3371_bit0 -145382360*x3372_bit0 -156372034*x3373_bit0 -202131540*x3374_bit0 -198302884*x3375_bit0 -184907414*x3376_bit0 -153219834*x3377_bit0 -169602244*x3378_bit0 -203925180*x3379_bit0 -183815866*x3380_bit0 -151853754*x3381_bit0 -176301998*x3382_bit0 -145027310*x3383_bit0 -213920080*x3384_bit0 -206048700*x3385_bit0 -132163522*x3386_bit0 -149425356*x3387_bit0 -173610756*x3388_bit0 -201226000*x3389_bit0 -181399592*x3390_bit0 -206965120*x3391_bit0 -132794144*x3392_bit0 -144952928*x3393_bit0 -214395380*x3394_bit0 -85716920*x3395_bit0 -97961508*x3396_bit0 -78894346*x3397_bit0 -60429448*x3398_bit0 -2233135600*x3399_bit0 -2233135600*x3400_bit0 -2233135600*x3401_bit0 -2233135600*x3402_bit0 -77711352*x3403_bit0 -61458182*x3404_bit0 -86315650*x3405_bit0 -97096364*x3406_bit0 -104786994*x3407_bit0 -52028472*x3408_bit0 -32122800*x3409_bit0 -100614980*x3410_bit0 -89874862*x3411_bit0 -56866000*x3412_bit0 -44794734*x3413_bit0 -84996022*x3414_bit0 -79769044*x3415_bit0 -86328776*x3416_bit0 -62061410*x3417_bit0 -49492550*x3418_bit0 -42630142*x3419_bit0 -83038292*x3420_bit0 -88737802*x3421_bit0 -56971396*x3422_bit0 -64250696*x3423_bit0 -49871528*x3424_bit0 -80701228*x3425_bit0 -88333034*x3426_bit0 -143779036*x3427_bit0 -159803614*x3428_bit0 -133769320*x3429_bit0 -113078486*x3430_bit0 -109525236*x3431_bit0 -148655964*x3432_bit0 -160224528*x3433_bit0 -125740682*x3434_bit0 -129997360*x3435_bit0 -109733162*x3436_bit0 -140604396*x3437_bit0 -156147294*x3438_bit0 -159079590*x3439_bit0 -125322184*x3440_bit0 -108016794*x3441_bit0 -146714690*x3442_bit0 -144535992*x3443_bit0 -2233135600*x3444_bit0 -221096100*x3445_bit0 -264001260*x3446_bit0 -251219900*x3447_bit0 -205280940*x3448_bit0 -208692560*x3449_bit0 -231846120*x3450_bit0 -259037560*x3451_bit0 -238862520*x3452_bit0 -251654660*x3453_bit0 -205467080*x3454_bit0 -220877580*x3455_bit0 -264093760*x3456_bit0 -261736960*x3457_bit0 -241515180*x3458_bit0 -211368420*x3459_bit0 -234534340*x3460_bit0 -268413000*x3461_bit0 -237844320*x3462_bit0 -207087460*x3463_bit0 -242052580*x3464_bit0 -210463220*x3465_bit0 -275607420*x3466_bit0 -263451700*x3467_bit0 -193647742*x3468_bit0 -204441760*x3469_bit0 -239380180*x3470_bit0 -265718540*x3471_bit0 -235225580*x3472_bit0 -263934840*x3473_bit0 -193746486*x3474_bit0 -210140700*x3475_bit0 -275762980*x3476_bit0 -100547956*x3477_bit0 -32144128*x3478_bit0 -52044496*x3479_bit0 -104725914*x3480_bit0 -97088332*x3481_bit0 -86278310*x3482_bit0 -61423434*x3483_bit0 -77719386*x3484_bit0 -2233135600*x3485_bit0 -2233135600*x3486_bit0 -2233135600*x3487_bit0 -2233135600*x3488_bit0 -60452490*x3489_bit0 -78835370*x3490_bit0 -97904326*x3491_bit0 -85712888*x3492_bit0 -50615674*x3493_bit0 -62765074*x3494_bit0 -87407424*x3495_bit0 -81001210*x3496_bit0 -84816668*x3497_bit0 -44334504*x3498_bit0 -57909506*x3499_bit0 -90353430*x3500_bit0 -87193212*x3501_bit0 -79370282*x3502_bit0 -48635876*x3503_bit0 -63531396*x3504_bit0 -55864892*x3505_bit0 -88212054*x3506_bit0 -83197380*x3507_bit0 -43117742*x3508_bit0 -204338920*x3509_bit0 -225267300*x3510_bit0 -200348960*x3511_bit0 -175982772*x3512_bit0 -173105664*x3513_bit0 -209251580*x3514_bit0 -224925980*x3515_bit0 -192224190*x3516_bit0 -196564526*x3517_bit0 -172345080*x3518_bit0 -200815640*x3519_bit0 -221539880*x3520_bit0 -224127920*x3521_bit0 -191940868*x3522_bit0 -172217522*x3523_bit0 -207928200*x3524_bit0 -206001660*x3525_bit0 -2233135600*x3526_bit0 -164764840*x3527_bit0 -200146000*x3528_bit0 -182223654*x3529_bit0 -141474100*x3530_bit0 -141406056*x3531_bit0 -175380770*x3532_bit0 -197494862*x3533_bit0 -168879082*x3534_bit0 -182221906*x3535_bit0 -140910750*x3536_bit0 -163745746*x3537_bit0 -199707460*x3538_bit0 -200120920*x3539_bit0 -171578052*x3540_bit0 -144091616*x3541_bit0 -177890596*x3542_bit0 -209058020*x3543_bit0 -166086370*x3544_bit0 -137251298*x3545_bit0 -188058322*x3546_bit0 -157069980*x3547_bit0 -210463400*x3548_bit0 -193647956*x3549_bit0 -132102766*x3550_bit0 -134551594*x3551_bit0 -185602916*x3552_bit0 -206468740*x3553_bit0 -163402048*x3554_bit0 -193746702*x3555_bit0 -131329598*x3556_bit0 -155860946*x3557_bit0 -210140900*x3558_bit0 -32144128*x3559_bit0 -103127522*x3560_bit0 -107172806*x3561_bit0 -52044496*x3562_bit0 -78247910*x3563_bit0 -62190728*x3564_bit0 -87392950*x3565_bit0 -98035896*x3566_bit0 -2233135600*x3567_bit0 -2233135600*x3568_bit0 -2233135600*x3569_bit0 -2233135600*x3570_bit0 -86837886*x3571_bit0 -98841278*x3572_bit0 -79352838*x3573_bit0 -61240928*x3574_bit0 -80995224*x3575_bit0 -87402062*x3576_bit0 -62761444*x3577_bit0 -50610254*x3578_bit0 -43854210*x3579_bit0 -84315970*x3580_bit0 -89896138*x3581_bit0 -57636022*x3582_bit0 -65008706*x3583_bit0 -51009128*x3584_bit0 -81923734*x3585_bit0 -89432532*x3586_bit0 -90984892*x3587_bit0 -57566202*x3588_bit0 -45938512*x3589_bit0 -86201658*x3590_bit0 -187443504*x3591_bit0 -192620126*x3592_bit0 -161839226*x3593_bit0 -155437314*x3594_bit0 -150989406*x3595_bit0 -192022342*x3596_bit0 -195457414*x3597_bit0 -155517368*x3598_bit0 -158536042*x3599_bit0 -152865614*x3600_bit0 -184866470*x3601_bit0 -189430290*x3602_bit0 -193349486*x3603_bit0 -153622668*x3604_bit0 -148346822*x3605_bit0 -189361716*x3606_bit0 -142025826*x3607_bit0 -2233135600*x3608_bit0 -149763394*x3609_bit0 -188446238*x3610_bit0 -173478648*x3611_bit0 -129335022*x3612_bit0 -131307320*x3613_bit0 -160528946*x3614_bit0 -184725900*x3615_bit0 -160853646*x3616_bit0 -173798146*x3617_bit0 -129166042*x3618_bit0 -149006018*x3619_bit0 -188268686*x3620_bit0 -187398688*x3621_bit0 -163521140*x3622_bit0 -134003354*x3623_bit0 -163121104*x3624_bit0 -195479102*x3625_bit0 -159648052*x3626_bit0 -129026514*x3627_bit0 -172546330*x3628_bit0 -141069368*x3629_bit0 -199461108*x3630_bit0 -185530584*x3631_bit0 -118744606*x3632_bit0 -126364532*x3633_bit0 -170006936*x3634_bit0 -192834862*x3635_bit0 -157030200*x3636_bit0 -185931270*x3637_bit0 -118374148*x3638_bit0 -140106868*x3639_bit0 -199391946*x3640_bit0 -52044496*x3641_bit0 -107172806*x3642_bit0 -103127522*x3643_bit0 -32144128*x3644_bit0 -61240928*x3645_bit0 -79352838*x3646_bit0 -98841278*x3647_bit0 -86837886*x3648_bit0 -2233135600*x3649_bit0 -2233135600*x3650_bit0 -2233135600*x3651_bit0 -2233135600*x3652_bit0 -98035896*x3653_bit0 -87392950*x3654_bit0 -62190728*x3655_bit0 -78247910*x3656_bit0 -88306852*x3657_bit0 -80643500*x3658_bit0 -49813906*x3659_bit0 -64253554*x3660_bit0 -56549338*x3661_bit0 -89365192*x3662_bit0 -84449482*x3663_bit0 -44285674*x3664_bit0 -51768470*x3665_bit0 -63546808*x3666_bit0 -88544144*x3667_bit0 -82267412*x3668_bit0 -86072020*x3669_bit0 -45543512*x3670_bit0 -58619208*x3671_bit0 -91502802*x3672_bit0 -167437398*x3673_bit0 -173318730*x3674_bit0 -142933664*x3675_bit0 -135431216*x3676_bit0 -130986356*x3677_bit0 -172017884*x3678_bit0 -175912040*x3679_bit0 -136338262*x3680_bit0 -139538304*x3681_bit0 -132864474*x3682_bit0 -164863410*x3683_bit0 -170062344*x3684_bit0 -173892618*x3685_bit0 -134608888*x3686_bit0 -128357660*x3687_bit0 -169364662*x3688_bit0 -130196720*x3689_bit0 -2233135600*x3690_bit0 -210728300*x3691_bit0 -255579620*x3692_bit0 -245244920*x3693_bit0 -197714498*x3694_bit0 -202486940*x3695_bit0 -221335740*x3696_bit0 -249807800*x3697_bit0 -233560900*x3698_bit0 -245907340*x3699_bit0 -198184574*x3700_bit0 -210754480*x3701_bit0 -255881980*x3702_bit0 -252502460*x3703_bit0 -236156820*x3704_bit0 -205110420*x3705_bit0 -224035380*x3706_bit0 -258329480*x3707_bit0 -233643020*x3708_bit0 -202154140*x3709_bit0 -230674480*x3710_bit0 -199460902*x3711_bit0 -267590780*x3712_bit0 -257792300*x3713_bit0 -185530360*x3714_bit0 -199582980*x3715_bit0 -227980220*x3716_bit0 -255629900*x3717_bit0 -231097380*x3718_bit0 -258491340*x3719_bit0 -185931044*x3720_bit0 -199391738*x3721_bit0 -267947660*x3722_bit0 -104725914*x3723_bit0 -52044496*x3724_bit0 -32144128*x3725_bit0 -100547956*x3726_bit0 -85712888*x3727_bit0 -97904326*x3728_bit0 -78835370*x3729_bit0 -60452490*x3730_bit0 -2233135600*x3731_bit0 -2233135600*x3732_bit0 -2233135600*x3733_bit0 -2233135600*x3734_bit0 -77719386*x3735_bit0 -61423434*x3736_bit0 -86278310*x3737_bit0 -97088332*x3738_bit0 -64257042*x3739_bit0 -49819506*x3740_bit0 -80649524*x3741_bit0 -88312136*x3742_bit0 -89826286*x3743_bit0 -56832466*x3744_bit0 -44754920*x3745_bit0 -84949044*x3746_bit0 -79730294*x3747_bit0 -86271826*x3748_bit0 -62009572*x3749_bit0 -49472122*x3750_bit0 -42655954*x3751_bit0 -83060914*x3752_bit0 -88752856*x3753_bit0 -56975798*x3754_bit0 -186453520*x3755_bit0 -209434020*x3756_bit0 -186058742*x3757_bit0 -159101626*x3758_bit0 -156536814*x3759_bit0 -191344932*x3760_bit0 -208563280*x3761_bit0 -177757258*x3762_bit0 -182260870*x3763_bit0 -155391082*x3764_bit0 -182859896*x3765_bit0 -205667420*x3766_bit0 -207991900*x3767_bit0 -177804866*x3768_bit0 -155953488*x3769_bit0 -190207930*x3770_bit0 -198031652*x3771_bit0 -2233135600*x3772_bit0 -203823040*x3773_bit0 -239345920*x3774_bit0 -220559920*x3775_bit0 -180783014*x3776_bit0 -180376088*x3777_bit0 -214490820*x3778_bit0 -236817460*x3779_bit0 -206961840*x3780_bit0 -220417120*x3781_bit0 -180184926*x3782_bit0 -202873500*x3783_bit0 -238858960*x3784_bit0 -239440360*x3785_bit0 -209659760*x3786_bit0 -183048496*x3787_bit0 -217023840*x3788_bit0 -248381380*x3789_bit0 -203362880*x3790_bit0 -175635920*x3791_bit0 -226964660*x3792_bit0 -195728856*x3793_bit0 -249502060*x3794_bit0 -231646100*x3795_bit0 -171411600*x3796_bit0 -172943268*x3797_bit0 -224473700*x3798_bit0 -245788580*x3799_bit0 -200664080*x3800_bit0 -231592880*x3801_bit0 -170658456*x3802_bit0 -194633964*x3803_bit0 -249112700*x3804_bit0 -60429448*x3805_bit0 -78894346*x3806_bit0 -97961508*x3807_bit0 -85716920*x3808_bit0 -100614980*x3809_bit0 -32122800*x3810_bit0 -52028472*x3811_bit0 -104786994*x3812_bit0 -97096364*x3813_bit0 -86315650*x3814_bit0 -61458182*x3815_bit0 -77711352*x3816_bit0 -2233135600*x3817_bit0 -2233135600*x3818_bit0 -2233135600*x3819_bit0 -2233135600*x3820_bit0 -55859376*x3821_bit0 -88196280*x3822_bit0 -83174380*x3823_bit0 -43091352*x3824_bit0 -50636310*x3825_bit0 -62816686*x3826_bit0 -87463478*x3827_bit0 -81039164*x3828_bit0 -84863916*x3829_bit0 -44376114*x3830_bit0 -57942874*x3831_bit0 -90402062*x3832_bit0 -87214250*x3833_bit0 -79422840*x3834_bit0 -48689020*x3835_bit0 -63524168*x3836_bit0 -216783020*x3837_bit0 -227071120*x3838_bit0 -197404630*x3839_bit0 -185210832*x3840_bit0 -181170642*x3841_bit0 -221576220*x3842_bit0 -229031520*x3843_bit0 -190467828*x3844_bit0 -193911600*x3845_bit0 -182173628*x3846_bit0 -213813640*x3847_bit0 -223681660*x3848_bit0 -227276260*x3849_bit0 -188980906*x3850_bit0 -179051084*x3851_bit0 -219323540*x3852_bit0 -181277876*x3853_bit0 -2233135600*x3854_bit0 -155741752*x3855_bit0 -201297320*x3856_bit0 -193065574*x3857_bit0 -144382596*x3858_bit0 -150507632*x3859_bit0 -166315860*x3860_bit0 -195126448*x3861_bit0 -182260570*x3862_bit0 -193969882*x3863_bit0 -145114196*x3864_bit0 -155825586*x3865_bit0 -201727480*x3866_bit0 -197814246*x3867_bit0 -184759814*x3868_bit0 -153035422*x3869_bit0 -169015578*x3870_bit0 -203362880*x3871_bit0 -183767528*x3872_bit0 -151793134*x3873_bit0 -175635920*x3874_bit0 -144404064*x3875_bit0 -213525980*x3876_bit0 -205854940*x3877_bit0 -131834518*x3878_bit0 -149376394*x3879_bit0 -172943268*x3880_bit0 -200664080*x3881_bit0 -181360708*x3882_bit0 -206788340*x3883_bit0 -132494276*x3884_bit0 -144353750*x3885_bit0 -214017680*x3886_bit0 -86806676*x3887_bit0 -98868358*x3888_bit0 -79394920*x3889_bit0 -61193690*x3890_bit0 -32122800*x3891_bit0 -103048360*x3892_bit0 -107095284*x3893_bit0 -52028472*x3894_bit0 -78223270*x3895_bit0 -62200710*x3896_bit0 -87394774*x3897_bit0 -98014106*x3898_bit0 -2233135600*x3899_bit0 -2233135600*x3900_bit0 -2233135600*x3901_bit0 -2233135600*x3902_bit0 -90996812*x3903_bit0 -57577298*x3904_bit0 -45941360*x3905_bit0 -86208956*x3906_bit0 -80962416*x3907_bit0 -87394762*x3908_bit0 -62770208*x3909_bit0 -50566794*x3910_bit0 -43790496*x3911_bit0 -84253574*x3912_bit0 -89844686*x3913_bit0 -57609610*x3914_bit0 -64960362*x3915_bit0 -50992978*x3916_bit0 -81903066*x3917_bit0 -89390328*x3918_bit0 -142595432*x3919_bit0 -158762954*x3920_bit0 -132840772*x3921_bit0 -111926624*x3922_bit0 -108389820*x3923_bit0 -147473990*x3924_bit0 -159145292*x3925_bit0 -124791806*x3926_bit0 -129065598*x3927_bit0 -108573036*x3928_bit0 -139415620*x3929_bit0 -155101724*x3930_bit0 -158016082*x3931_bit0 -124402930*x3932_bit0 -106901144*x3933_bit0 -145541226*x3934_bit0 -144175116*x3935_bit0 -2233135600*x3936_bit0 -173763698*x3937_bit0 -220209760*x3938_bit0 -212813420*x3939_bit0 -163897580*x3940_bit0 -170340324*x3941_bit0 -184178758*x3942_bit0 -213658540*x3943_bit0 -202151480*x3944_bit0 -213761100*x3945_bit0 -164713700*x3946_bit0 -174013082*x3947_bit0 -220731700*x3948_bit0 -216333320*x3949_bit0 -204637400*x3950_bit0 -172849046*x3951_bit0 -186872928*x3952_bit0 -221356660*x3953_bit0 -203756100*x3954_bit0 -171775706*x3955_bit0 -192785946*x3956_bit0 -162023232*x3957_bit0 -232573600*x3958_bit0 -225635940*x3959_bit0 -151235302*x3960_bit0 -169365664*x3961_bit0 -190086266*x3962_bit0 -218664260*x3963_bit0 -201353720*x3964_bit0 -226606920*x3965_bit0 -151999872*x3966_bit0 -162170544*x3967_bit0 -233145600*x3968_bit0 -97992464*x3969_bit0 -87410450*x3970_bit0 -62226962*x3971_bit0 -78193206*x3972_bit0 -52028472*x3973_bit0 -107095284*x3974_bit0 -103048360*x3975_bit0 -32122800*x3976_bit0 -61219378*x3977_bit0 -79364574*x3978_bit0 -98845972*x3979_bit0 -86821348*x3980_bit0 -2233135600*x3981_bit0 -2233135600*x3982_bit0 -2233135600*x3983_bit0 -2233135600*x3984_bit0 -86082602*x3985_bit0 -45556546*x3986_bit0 -58603512*x3987_bit0 -91501518*x3988_bit0 -88265176*x3989_bit0 -80623890*x3990_bit0 -49799668*x3991_bit0 -64205896*x3992_bit0 -56493192*x3993_bit0 -89299378*x3994_bit0 -84390742*x3995_bit0 -44234632*x3996_bit0 -51724532*x3997_bit0 -63553534*x3998_bit0 -88535578*x3999_bit0 -82233890*x4000_bit0 -149038894*x4001_bit0 -170262256*x4002_bit0 -146832850*x4003_bit0 -120485372*x4004_bit0 -117681012*x4005_bit0 -153958022*x4006_bit0 -169614034*x4007_bit0 -138503970*x4008_bit0 -143035642*x4009_bit0 -116838322*x4010_bit0 -145567436*x4011_bit0 -166506396*x4012_bit0 -168932044*x4013_bit0 -138625310*x4014_bit0 -116919314*x4015_bit0 -152536284*x4016_bit0 -163408814*x4017_bit0 -2233135600*x4018_bit0 -217368420*x4019_bit0 -255138660*x4020_bit0 -237758620*x4021_bit0 -196172754*x4022_bit0 -196774572*x4023_bit0 -228140460*x4024_bit0 -251955700*x4025_bit0 -224391440*x4026_bit0 -237750280*x4027_bit0 -195782160*x4028_bit0 -216622880*x4029_bit0 -254799020*x4030_bit0 -254611960*x4031_bit0 -227090900*x4032_bit0 -199467212*x4033_bit0 -230735800*x4034_bit0 -262981260*x4035_bit0 -221356660*x4036_bit0 -192785946*x4037_bit0 -240040740*x4038_bit0 -208456300*x4039_bit0 -265707340*x4040_bit0 -249152080*x4041_bit0 -186084674*x4042_bit0 -190086266*x4043_bit0 -237479980*x4044_bit0 -260348020*x4045_bit0 -218664260*x4046_bit0 -249219560*x4047_bit0 -185563942*x4048_bit0 -207581520*x4049_bit0 -265452960*x4050_bit0 -77680992*x4051_bit0 -61484984*x4052_bit0 -86331602*x4053_bit0 -97074438*x4054_bit0 -104786994*x4055_bit0 -52028472*x4056_bit0 -32122800*x4057_bit0 -100614980*x4058_bit0 -85731866*x4059_bit0 -97938842*x4060_bit0 -78863710*x4061_bit0 -60455704*x4062_bit0 -2233135600*x4063_bit0 -2233135600*x4064_bit0 -2233135600*x4065_bit0 -2233135600*x4066_bit0 -42640762*x4067_bit0 -83041304*x4068_bit0 -88723524*x4069_bit0 -56942618*x4070_bit0 -64250628*x4071_bit0 -49871420*x4072_bit0 -80701114*x4073_bit0 -88332932*x4074_bit0 -89861514*x4075_bit0 -56838524*x4076_bit0 -44806426*x4077_bit0 -84999666*x4078_bit0 -79768928*x4079_bit0 -86328676*x4080_bit0 -62061344*x4081_bit0 -49492448*x4082_bit0 -220787600*x4083_bit0 -234842400*x4084_bit0 -206458060*x4085_bit0 -189988240*x4086_bit0 -186297390*x4087_bit0 -225668180*x4088_bit0 -236045520*x4089_bit0 -199051980*x4090_bit0 -202830620*x4091_bit0 -186696766*x4092_bit0 -217591240*x4093_bit0 -231311440*x4094_bit0 -234598800*x4095_bit0 -197942138*x4096_bit0 -184574780*x4097_bit0 -223725360*x4098_bit0 -196920402*x4099_bit0 -2233135600*x4100_bit0 -191685202*x4101_bit0 -229185300*x4102_bit0 -212093500*x4103_bit0 -170214334*x4104_bit0 -170906484*x4105_bit0 -202436240*x4106_bit0 -226011060*x4107_bit0 -198836826*x4108_bit0 -212140540*x4109_bit0 -169826432*x4110_bit0 -190887388*x4111_bit0 -228854080*x4112_bit0 -228665460*x4113_bit0 -201534520*x4114_bit0 -173601558*x4115_bit0 -205017160*x4116_bit0 -237096500*x4117_bit0 -196139032*x4118_bit0 -167142288*x4119_bit0 -214508860*x4120_bit0 -183018496*x4121_bit0 -239786260*x4122_bit0 -223613680*x4123_bit0 -160167392*x4124_bit0 -164443072*x4125_bit0 -211969140*x4126_bit0 -234468700*x4127_bit0 -193454960*x4128_bit0 -223743100*x4129_bit0 -159624412*x4130_bit0 -182068570*x4131_bit0 -239550320*x4132_bit0 -53057138*x4133_bit0 -75399570*x4134_bit0 -87746144*x4135_bit0 -71874146*x4136_bit0 -84866932*x4137_bit0 -43800258*x4138_bit0 -57581288*x4139_bit0 -90388242*x4140_bit0 -86722202*x4141_bit0 -72633406*x4142_bit0 -54325720*x4143_bit0 -74113684*x4144_bit0 -56942498*x4145_bit0 -91501398*x4146_bit0 -86082470*x4147_bit0 -42640602*x4148_bit0 -2233135600*x4149_bit0 -2233135600*x4150_bit0 -2233135600*x4151_bit0 -2233135600*x4152_bit0 -38371668*x4153_bit0 -56881042*x4154_bit0 -74657474*x4155_bit0 -65586430*x4156_bit0 -69127118*x4157_bit0 -31045056*x4158_bit0 -53361542*x4159_bit0 -76824684*x4160_bit0 -74786662*x4161_bit0 -63880516*x4162_bit0 -36200888*x4163_bit0 -58394480*x4164_bit0 -201123120*x4165_bit0 -212138580*x4166_bit0 -182862426*x4167_bit0 -169618700*x4168_bit0 -165622608*x4169_bit0 -205927240*x4170_bit0 -213896300*x4171_bit0 -175752048*x4172_bit0 -179316462*x4173_bit0 -166548224*x4174_bit0 -198131536*x4175_bit0 -208705700*x4176_bit0 -212219080*x4177_bit0 -174394632*x4178_bit0 -163562206*x4179_bit0 -203707440*x4180_bit0 -170963916*x4181_bit0 -2233135600*x4182_bit0 -164918598*x4183_bit0 -208020560*x4184_bit0 -196610602*x4185_bit0 -149590310*x4186_bit0 -153869680*x4187_bit0 -175684444*x4188_bit0 -202861840*x4189_bit0 -184824856*x4190_bit0 -197231176*x4191_bit0 -149925264*x4192_bit0 -164669700*x4193_bit0 -208185720*x4194_bit0 -205561560*x4195_bit0 -187426486*x4196_bit0 -156508104*x4197_bit0 -178368666*x4198_bit0 -212191340*x4199_bit0 -184924574*x4200_bit0 -153400452*x4201_bit0 -186128284*x4202_bit0 -154458008*x4203_bit0 -219783080*x4204_bit0 -209107700*x4205_bit0 -137702898*x4206_bit0 -150831224*x4207_bit0 -183469428*x4208_bit0 -209497420*x4209_bit0 -182388984*x4210_bit0 -209777640*x4211_bit0 -137923068*x4212_bit0 -154057390*x4213_bit0 -220024980*x4214_bit0 -70390142*x4215_bit0 -86651780*x4216_bit0 -75231664*x4217_bit0 -52749322*x4218_bit0 -44385782*x4219_bit0 -84256390*x4220_bit0 -89830532*x4221_bit0 -57914974*x4222_bit0 -73941272*x4223_bit0 -54031836*x4224_bit0 -71174362*x4225_bit0 -85609046*x4226_bit0 -88723404*x4227_bit0 -58603392*x4228_bit0 -45556392*x4229_bit0 -83041174*x4230_bit0 -2233135600*x4231_bit0 -2233135600*x4232_bit0 -2233135600*x4233_bit0 -2233135600*x4234_bit0 -62581874*x4235_bit0 -72246136*x4236_bit0 -56419470*x4237_bit0 -37169352*x4238_bit0 -31045056*x4239_bit0 -65483936*x4240_bit0 -73772182*x4241_bit0 -53361542*x4242_bit0 -58319888*x4243_bit0 -35961372*x4244_bit0 -63361614*x4245_bit0 -74384882*x4246_bit0 -160772590*x4247_bit0 -174805746*x4248_bit0 -147360130*x4249_bit0 -129676114*x4250_bit0 -125916122*x4251_bit0 -165622836*x4252_bit0 -175752260*x4253_bit0 -139641696*x4254_bit0 -143650484*x4255_bit0 -126446244*x4256_bit0 -157674024*x4257_bit0 -171224626*x4258_bit0 -174394632*x4259_bit0 -138837976*x4260_bit0 -124157030*x4261_bit0 -163562206*x4262_bit0 -150160656*x4263_bit0 -2233135600*x4264_bit0 -181801716*x4265_bit0 -226235940*x4266_bit0 -215923680*x4267_bit0 -168304266*x4268_bit0 -173164308*x4269_bit0 -192469550*x4270_bit0 -220593920*x4271_bit0 -204359240*x4272_bit0 -216617800*x4273_bit0 -168777486*x4274_bit0 -181746874*x4275_bit0 -226515800*x4276_bit0 -223290900*x4277_bit0 -206941580*x4278_bit0 -175778868*x4279_bit0 -195167238*x4280_bit0 -229343460*x4281_bit0 -204713100*x4282_bit0 -173078958*x4283_bit0 -202188560*x4284_bit0 -170771720*x4285_bit0 -238210280*x4286_bit0 -228508820*x4287_bit0 -156134902*x4288_bit0 -170532048*x4289_bit0 -199503024*x4290_bit0 -226643920*x4291_bit0 -202193640*x4292_bit0 -229242760*x4293_bit0 -156523314*x4294_bit0 -170596330*x4295_bit0 -238553560*x4296_bit0 -84571850*x4297_bit0 -71985904*x4298_bit0 -55321612*x4299_bit0 -72645190*x4300_bit0 -56865880*x4301_bit0 -89312508*x4302_bit0 -84386694*x4303_bit0 -44794572*x4304_bit0 -54037906*x4305_bit0 -73935168*x4306_bit0 -85604138*x4307_bit0 -71178128*x4308_bit0 -83174246*x4309_bit0 -45941200*x4310_bit0 -57577178*x4311_bit0 -88196160*x4312_bit0 -2233135600*x4313_bit0 -2233135600*x4314_bit0 -2233135600*x4315_bit0 -2233135600*x4316_bit0 -72572790*x4317_bit0 -62438762*x4318_bit0 -36691120*x4319_bit0 -56913848*x4320_bit0 -50768080*x4321_bit0 -72335572*x4322_bit0 -65877064*x4323_bit0 -33526740*x4324_bit0 -38767220*x4325_bit0 -55319010*x4326_bit0 -72434242*x4327_bit0 -64205222*x4328_bit0 -166293948*x4329_bit0 -185070482*x4330_bit0 -159748178*x4331_bit0 -136758732*x4332_bit0 -133588264*x4333_bit0 -171212050*x4334_bit0 -185052654*x4335_bit0 -151644110*x4336_bit0 -155965866*x4337_bit0 -133225932*x4338_bit0 -162915968*x4339_bit0 -181369416*x4340_bit0 -184104318*x4341_bit0 -151333230*x4342_bit0 -132446266*x4343_bit0 -169594446*x4344_bit0 -168638378*x4345_bit0 -2233135600*x4346_bit0 -206075520*x4347_bit0 -245652160*x4348_bit0 -229945340*x4349_bit0 -186541362*x4350_bit0 -188186830*x4351_bit0 -216883280*x4352_bit0 -241849740*x4353_bit0 -216943060*x4354_bit0 -230115720*x4355_bit0 -186355240*x4356_bit0 -205486660*x4357_bit0 -245464340*x4358_bit0 -244528340*x4359_bit0 -219632940*x4360_bit0 -190886518*x4361_bit0 -219516120*x4362_bit0 -252369340*x4363_bit0 -214755500*x4364_bit0 -185130418*x4365_bit0 -228328780*x4366_bit0 -196622360*x4367_bit0 -256620400*x4368_bit0 -241713840*x4369_bit0 -175860710*x4370_bit0 -182439006*x4371_bit0 -225727820*x4372_bit0 -249709380*x4373_bit0 -212085580*x4374_bit0 -241952860*x4375_bit0 -175548788*x4376_bit0 -195901716*x4377_bit0 -256514520*x4378_bit0 -72822372*x4379_bit0 -55602688*x4380_bit0 -73419990*x4381_bit0 -85704354*x4382_bit0 -89874742*x4383_bit0 -56520728*x4384_bit0 -44222190*x4385_bit0 -84995888*x4386_bit0 -72637054*x4387_bit0 -86717384*x4388_bit0 -74107604*x4389_bit0 -54331726*x4390_bit0 -43091186*x4391_bit0 -86208822*x4392_bit0 -90996692*x4393_bit0 -55859256*x4394_bit0 -2233135600*x4395_bit0 -2233135600*x4396_bit0 -2233135600*x4397_bit0 -2233135600*x4398_bit0 -57368144*x4399_bit0 -37941710*x4400_bit0 -65454218*x4401_bit0 -74968042*x4402_bit0 -75476786*x4403_bit0 -50768080*x4404_bit0 -33526740*x4405_bit0 -69487324*x4406_bit0 -64712816*x4407_bit0 -72852756*x4408_bit0 -55401218*x4409_bit0 -38954938*x4410_bit0 -205406900*x4411_bit0 -220442320*x4412_bit0 -192631578*x4413_bit0 -174812190*x4414_bit0 -171211830*x4415_bit0 -210298180*x4416_bit0 -221389420*x4417_bit0 -185052454*x4418_bit0 -188958260*x4419_bit0 -171470730*x4420_bit0 -202173740*x4421_bit0 -216868580*x4422_bit0 -220045240*x4423_bit0 -184104318*x4424_bit0 -169594446*x4425_bit0 -208416940*x4426_bit0 -187401550*x4427_bit0 -2233135600*x4428_bit0 -161800790*x4429_bit0 -202649660*x4430_bit0 -189119600*x4431_bit0 -143662218*x4432_bit0 -146629358*x4433_bit0 -172612824*x4434_bit0 -198281552*x4435_bit0 -176788116*x4436_bit0 -189553362*x4437_bit0 -143715172*x4438_bit0 -161286060*x4439_bit0 -202620520*x4440_bit0 -200972760*x4441_bit0 -179435722*x4442_bit0 -149310348*x4443_bit0 -175259460*x4444_bit0 -208406860*x4445_bit0 -176030304*x4446_bit0 -145046264*x4447_bit0 -183908780*x4448_bit0 -152190546*x4449_bit0 -214006420*x4450_bit0 -201355020*x4451_bit0 -132425898*x4452_bit0 -142411696*x4453_bit0 -181301148*x4454_bit0 -205733300*x4455_bit0 -173435738*x4456_bit0 -201854320*x4457_bit0 -132326192*x4458_bit0 -151502348*x4459_bit0 -214068560*x4460_bit0 -56958726*x4461_bit0 -91533228*x4462_bit0 -86105256*x4463_bit0 -42624404*x4464_bit0 -53077998*x4465_bit0 -75355990*x4466_bit0 -87689592*x4467_bit0 -71856394*x4468_bit0 -84816540*x4469_bit0 -43854058*x4470_bit0 -57635808*x4471_bit0 -90353264*x4472_bit0 -86723464*x4473_bit0 -72573268*x4474_bit0 -54275046*x4475_bit0 -74142986*x4476_bit0 -74799728*x4477_bit0 -63840136*x4478_bit0 -36139322*x4479_bit0 -58439856*x4480_bit0 -2233135600*x4481_bit0 -2233135600*x4482_bit0 -2233135600*x4483_bit0 -2233135600*x4484_bit0 -38372022*x4485_bit0 -56856468*x4486_bit0 -74624978*x4487_bit0 -65564308*x4488_bit0 -69063478*x4489_bit0 -31026940*x4490_bit0 -53368292*x4491_bit0 -76774364*x4492_bit0 -167834630*x4493_bit0 -178357688*x4494_bit0 -149390158*x4495_bit0 -136133078*x4496_bit0 -132039852*x4497_bit0 -172595470*x4498_bit0 -180053136*x4499_bit0 -142131768*x4500_bit0 -145798310*x4501_bit0 -133159490*x4502_bit0 -164941028*x4503_bit0 -174906196*x4504_bit0 -178391086*x4505_bit0 -140891310*x4506_bit0 -129882014*x4507_bit0 -170272324*x4508_bit0 -144492250*x4509_bit0 -2233135600*x4510_bit0 -195206554*x4511_bit0 -239240280*x4512_bit0 -228174460*x4513_bit0 -181028086*x4514_bit0 -185434786*x4515_bit0 -205898100*x4516_bit0 -233786640*x4517_bit0 -216345500*x4518_bit0 -228787860*x4519_bit0 -181411938*x4520_bit0 -195109516*x4521_bit0 -239466260*x4522_bit0 -236485300*x4523_bit0 -218953660*x4524_bit0 -188073096*x4525_bit0 -208594180*x4526_bit0 -242704540*x4527_bit0 -216256900*x4528_bit0 -184852950*x4529_bit0 -215729880*x4530_bit0 -184269910*x4531_bit0 -251114120*x4532_bit0 -240661360*x4533_bit0 -169010944*x4534_bit0 -182268014*x4535_bit0 -213046660*x4536_bit0 -240005640*x4537_bit0 -213700980*x4538_bit0 -241317340*x4539_bit0 -169309568*x4540_bit0 -184059706*x4541_bit0 -251402820*x4542_bit0 -88722608*x4543_bit0 -58638346*x4544_bit0 -45575630*x4545_bit0 -83027712*x4546_bit0 -70430004*x4547_bit0 -86636804*x4548_bit0 -75194304*x4549_bit0 -52782152*x4550_bit0 -44334354*x4551_bit0 -84315844*x4552_bit0 -89895972*x4553_bit0 -57909292*x4554_bit0 -73977212*x4555_bit0 -53991856*x4556_bit0 -71169520*x4557_bit0 -85653628*x4558_bit0 -58370604*x4559_bit0 -35915520*x4560_bit0 -63357732*x4561_bit0 -74426620*x4562_bit0 -2233135600*x4563_bit0 -2233135600*x4564_bit0 -2233135600*x4565_bit0 -2233135600*x4566_bit0 -62594658*x4567_bit0 -72240922*x4568_bit0 -56399652*x4569_bit0 -37184100*x4570_bit0 -31026940*x4571_bit0 -65559874*x4572_bit0 -73838932*x4573_bit0 -53368292*x4574_bit0 -178357688*x4575_bit0 -198269542*x4576_bit0 -173272232*x4577_bit0 -149390158*x4578_bit0 -146376842*x4579_bit0 -183277988*x4580_bit0 -198060604*x4581_bit0 -165136876*x4582_bit0 -169486104*x4583_bit0 -145798310*x4584_bit0 -174906196*x4585_bit0 -194551572*x4586_bit0 -197198480*x4587_bit0 -164873646*x4588_bit0 -145377554*x4589_bit0 -181801254*x4590_bit0 -181505618*x4591_bit0 -2233135600*x4592_bit0 -206396440*x4593_bit0 -248223460*x4594_bit0 -234576660*x4595_bit0 -189289808*x4596_bit0 -192199848*x4597_bit0 -217190780*x4598_bit0 -243637040*x4599_bit0 -222046800*x4600_bit0 -234944360*x4601_bit0 -189364130*x4602_bit0 -206042100*x4603_bit0 -248226920*x4604_bit0 -246333000*x4605_bit0 -224710940*x4606_bit0 -194886372*x4607_bit0 -219863880*x4608_bit0 -253424580*x4609_bit0 -220766760*x4610_bit0 -190227468*x4611_bit0 -227887380*x4612_bit0 -196180612*x4613_bit0 -259641140*x4614_bit0 -246701580*x4615_bit0 -177927728*x4616_bit0 -187567676*x4617_bit0 -225237440*x4618_bit0 -250738780*x4619_bit0 -218135560*x4620_bit0 -247125200*x4621_bit0 -177896838*x4622_bit0 -195705790*x4623_bit0 -259716400*x4624_bit0 -83164232*x4625_bit0 -45969926*x4626_bit0 -57586170*x4627_bit0 -88181640*x4628_bit0 -84617056*x4629_bit0 -71979102*x4630_bit0 -55280302*x4631_bit0 -72682084*x4632_bit0 -56832252*x4633_bit0 -89365028*x4634_bit0 -84449350*x4635_bit0 -44754760*x4636_bit0 -54069646*x4637_bit0 -73898986*x4638_bit0 -85590732*x4639_bit0 -71217768*x4640_bit0 -38813988*x4641_bit0 -55268284*x4642_bit0 -72410280*x4643_bit0 -64229318*x4644_bit0 -2233135600*x4645_bit0 -2233135600*x4646_bit0 -2233135600*x4647_bit0 -2233135600*x4648_bit0 -72592344*x4649_bit0 -62440766*x4650_bit0 -36669796*x4651_bit0 -56931576*x4652_bit0 -50776086*x4653_bit0 -72404836*x4654_bit0 -65952056*x4655_bit0 -33515260*x4656_bit0 -197015580*x4657_bit0 -214971520*x4658_bit0 -188609632*x4659_bit0 -167343360*x4660_bit0 -164075390*x4661_bit0 -201933440*x4662_bit0 -215264520*x4663_bit0 -180703910*x4664_bit0 -184861846*x4665_bit0 -163842272*x4666_bit0 -193638184*x4667_bit0 -211308160*x4668_bit0 -214192860*x4669_bit0 -180115400*x4670_bit0 -162808874*x4671_bit0 -200303380*x4672_bit0 -190101160*x4673_bit0 -2233135600*x4674_bit0 -175512776*x4675_bit0 -213395540*x4676_bit0 -196990722*x4677_bit0 -154352792*x4678_bit0 -155438714*x4679_bit0 -186268242*x4680_bit0 -210042180*x4681_bit0 -183924014*x4682_bit0 -197127560*x4683_bit0 -154031294*x4684_bit0 -174726732*x4685_bit0 -213114680*x4686_bit0 -212703060*x4687_bit0 -186615812*x4688_bit0 -158137654*x4689_bit0 -188852558*x4690_bit0 -221021400*x4691_bit0 -181709646*x4692_bit0 -152128564*x4693_bit0 -198326052*x4694_bit0 -166841550*x4695_bit0 -224137220*x4696_bit0 -208699660*x4697_bit0 -144138022*x4698_bit0 -149434618*x4699_bit0 -195786784*x4700_bit0 -218388060*x4701_bit0 -179041560*x4702_bit0 -208919760*x4703_bit0 -143645600*x4704_bit0 -165886506*x4705_bit0 -223956640*x4706_bit0 -43086962*x4707_bit0 -86234802*x4708_bit0 -91015654*x4709_bit0 -55847388*x4710_bit0 -72852440*x4711_bit0 -55551148*x4712_bit0 -73358858*x4713_bit0 -85705470*x4714_bit0 -89826124*x4715_bit0 -56549124*x4716_bit0 -44285516*x4717_bit0 -84948914*x4718_bit0 -72620064*x4719_bit0 -86661676*x4720_bit0 -74065030*x4721_bit0 -54352058*x4722_bit0 -64700860*x4723_bit0 -72799466*x4724_bit0 -55344860*x4725_bit0 -38987942*x4726_bit0 -2233135600*x4727_bit0 -2233135600*x4728_bit0 -2233135600*x4729_bit0 -2233135600*x4730_bit0 -57380650*x4731_bit0 -37909130*x4732_bit0 -65422012*x4733_bit0 -74959290*x4734_bit0 -75425524*x4735_bit0 -50776086*x4736_bit0 -33515260*x4737_bit0 -69424024*x4738_bit0 -187711288*x4739_bit0 -197015580*x4740_bit0 -167343360*x4741_bit0 -155931260*x4742_bit0 -151772332*x4743_bit0 -192452516*x4744_bit0 -199056572*x4745_bit0 -160390538*x4746_bit0 -163842272*x4747_bit0 -153011950*x4748_bit0 -184852540*x4749_bit0 -193638184*x4750_bit0 -197262022*x4751_bit0 -158912302*x4752_bit0 -149519796*x4753_bit0 -190079676*x4754_bit0 -155152094*x4755_bit0 -2233135600*x4756_bit0 -182011606*x4757_bit0 -226721320*x4758_bit0 -216743640*x4759_bit0 -168945696*x4760_bit0 -173989560*x4761_bit0 -192653902*x4762_bit0 -220965140*x4763_bit0 -205272960*x4764_bit0 -217466340*x4765_bit0 -169458894*x4766_bit0 -181995552*x4767_bit0 -227030560*x4768_bit0 -223660580*x4769_bit0 -207846140*x4770_bit0 -176594408*x4771_bit0 -195352756*x4772_bit0 -229585460*x4773_bit0 -205761100*x4774_bit0 -174069938*x4775_bit0 -202231920*x4776_bit0 -170881322*x4777_bit0 -238747560*x4778_bit0 -229360900*x4779_bit0 -156707162*x4780_bit0 -171535600*x4781_bit0 -199543050*x4782_bit0 -226885720*x4783_bit0 -203252620*x4784_bit0 -230121340*x4785_bit0 -157139932*x4786_bit0 -170747790*x4787_bit0 -239118300*x4788_bit0 -86722318*x4789_bit0 -72633522*x4790_bit0 -54325792*x4791_bit0 -74113776*x4792_bit0 -56971276*x4793_bit0 -91514862*x4794_bit0 -86079384*x4795_bit0 -42629984*x4796_bit0 -53057020*x4797_bit0 -75399454*x4798_bit0 -87745886*x4799_bit0 -71873838*x4800_bit0 -84863784*x4801_bit0 -43790340*x4802_bit0 -57609490*x4803_bit0 -90401942*x4804_bit0 -69127118*x4805_bit0 -31045056*x4806_bit0 -53361542*x4807_bit0 -76824684*x4808_bit0 -74808576*x4809_bit0 -63872598*x4810_bit0 -36171438*x4811_bit0 -58427474*x4812_bit0 -2233135600*x4813_bit0 -2233135600*x4814_bit0 -2233135600*x4815_bit0 -2233135600*x4816_bit0 -38342632*x4817_bit0 -56913750*x4818_bit0 -74678236*x4819_bit0 -65577368*x4820_bit0 -165027700*x4821_bit0 -184292216*x4822_bit0 -159262728*x4823_bit0 -135686720*x4824_bit0 -132583492*x4825_bit0 -169947426*x4826_bit0 -184162152*x4827_bit0 -151117730*x4828_bit0 -155475216*x4829_bit0 -132129194*x4830_bit0 -161626756*x4831_bit0 -180580038*x4832_bit0 -183261584*x4833_bit0 -150872462*x4834_bit0 -131509826*x4835_bit0 -168374146*x4836_bit0 -169202820*x4837_bit0 -2233135600*x4838_bit0 -205839160*x4839_bit0 -245752540*x4840_bit0 -230341180*x4841_bit0 -186642370*x4842_bit0 -188473570*x4843_bit0 -216649820*x4844_bit0 -241836140*x4845_bit0 -217404140*x4846_bit0 -230540760*x4847_bit0 -186493992*x4848_bit0 -205283200*x4849_bit0 -245592300*x4850_bit0 -244518080*x4851_bit0 -220091200*x4852_bit0 -191172778*x4853_bit0 -219289440*x4854_bit0 -252254440*x4855_bit0 -215351100*x4856_bit0 -185575980*x4857_bit0 -227994380*x4858_bit0 -196273948*x4859_bit0 -256789020*x4860_bit0 -242166080*x4861_bit0 -175856512*x4862_bit0 -182887784*x4863_bit0 -225385580*x4864_bit0 -249590000*x4865_bit0 -212685980*x4866_bit0 -242432500*x4867_bit0 -175584952*x4868_bit0 -195587434*x4869_bit0 -256709400*x4870_bit0 -73941388*x4871_bit0 -54031952*x4872_bit0 -71174662*x4873_bit0 -85609302*x4874_bit0 -88737682*x4875_bit0 -58630582*x4876_bit0 -45547152*x4877_bit0 -83038162*x4878_bit0 -70390024*x4879_bit0 -86651664*x4880_bit0 -75231566*x4881_bit0 -52749238*x4882_bit0 -44375960*x4883_bit0 -84253442*x4884_bit0 -89844566*x4885_bit0 -57942754*x4886_bit0 -31045056*x4887_bit0 -65483936*x4888_bit0 -73772182*x4889_bit0 -53361542*x4890_bit0 -58352958*x4891_bit0 -35931212*x4892_bit0 -63353588*x4893_bit0 -74406976*x4894_bit0 -2233135600*x4895_bit0 -2233135600*x4896_bit0 -2233135600*x4897_bit0 -2233135600*x4898_bit0 -62572068*x4899_bit0 -72267982*x4900_bit0 -56452672*x4901_bit0 -37137180*x4902_bit0 -203996220*x4903_bit0 -219417520*x4904_bit0 -191788944*x4905_bit0 -173506818*x4906_bit0 -169947206*x4907_bit0 -208892480*x4908_bit0 -220278300*x4909_bit0 -184161954*x4910_bit0 -188103706*x4911_bit0 -170143166*x4912_bit0 -200743620*x4913_bit0 -215830600*x4914_bit0 -218969680*x4915_bit0 -183261584*x4916_bit0 -168374146*x4917_bit0 -207042780*x4918_bit0 -187508796*x4919_bit0 -2233135600*x4920_bit0 -191270996*x4921_bit0 -229165860*x4922_bit0 -212387780*x4923_bit0 -170146470*x4924_bit0 -171048212*x4925_bit0 -202036020*x4926_bit0 -225866340*x4927_bit0 -199196018*x4928_bit0 -212467140*x4929_bit0 -169800382*x4930_bit0 -190507884*x4931_bit0 -228864360*x4932_bit0 -228526060*x4933_bit0 -201892140*x4934_bit0 -173745402*x4935_bit0 -204626620*x4936_bit0 -236850020*x4937_bit0 -196647276*x4938_bit0 -167460774*x4939_bit0 -214011660*x4940_bit0 -182473710*x4941_bit0 -239846600*x4942_bit0 -223975940*x4943_bit0 -159968718*x4944_bit0 -164762748*x4945_bit0 -211461400*x4946_bit0 -234215780*x4947_bit0 -193967190*x4948_bit0 -224135620*x4949_bit0 -159470180*x4950_bit0 -181559280*x4951_bit0 -239638980*x4952_bit0 -54038022*x4953_bit0 -73935286*x4954_bit0 -85604394*x4955_bit0 -71178428*x4956_bit0 -83178244*x4957_bit0 -45952212*x4958_bit0 -57550316*x4959_bit0 -88182668*x4960_bit0 -84571734*x4961_bit0 -71985786*x4962_bit0 -55321524*x4963_bit0 -72645090*x4964_bit0 -56838404*x4965_bit0 -89299258*x4966_bit0 -84390610*x4967_bit0 -44806262*x4968_bit0 -50768080*x4969_bit0 -72335572*x4970_bit0 -65877064*x4971_bit0 -33526740*x4972_bit0 -38798682*x4973_bit0 -55286002*x4974_bit0 -72413410*x4975_bit0 -64215744*x4976_bit0 -2233135600*x4977_bit0 -2233135600*x4978_bit0 -2233135600*x4979_bit0 -2233135600*x4980_bit0 -72550756*x4981_bit0 -62448180*x4982_bit0 -36723188*x4983_bit0 -56880640*x4984_bit0 -199527898*x4985_bit0 -210927260*x4986_bit0 -181800228*x4987_bit0 -168082804*x4988_bit0 -164118778*x4989_bit0 -204341400*x4990_bit0 -212601320*x4991_bit0 -174631080*x4992_bit0 -178237160*x4993_bit0 -164986766*x4994_bit0 -196515146*x4995_bit0 -207477880*x4996_bit0 -210957540*x4997_bit0 -173320052*x4998_bit0 -162097004*x4999_bit0 -202149040*x5000_bit0 -170929432*x5001_bit0 -2233135600*x5002_bit0 -164966946*x5003_bit0 -208411900*x5004_bit0 -197371260*x5005_bit0 -150118994*x5006_bit0 -154616612*x5007_bit0 -175715886*x5008_bit0 -203123460*x5009_bit0 -185687540*x5010_bit0 -198024194*x5011_bit0 -150501036*x5012_bit0 -164761662*x5013_bit0 -208609780*x5014_bit0 -205823120*x5015_bit0 -188279620*x5016_bit0 -157245314*x5017_bit0 -178404110*x5018_bit0 -212316100*x5019_bit0 -185939696*x5020_bit0 -154340810*x5021_bit0 -186013592*x5022_bit0 -154379100*x5023_bit0 -220237460*x5024_bit0 -209908280*x5025_bit0 -138137406*x5026_bit0 -151785268*x5027_bit0 -183348382*x5028_bit0 -209620240*x5029_bit0 -183416044*x5030_bit0 -210608020*x5031_bit0 -138410458*x5032_bit0 -154025414*x5033_bit0 -220509840*x5034_bit0 -72637170*x5035_bit0 -86717500*x5036_bit0 -74107694*x5037_bit0 -54331798*x5038_bit0 -43104268*x5039_bit0 -86212390*x5040_bit0 -90983572*x5041_bit0 -55830982*x5042_bit0 -72822256*x5043_bit0 -55602570*x5044_bit0 -73419688*x5045_bit0 -85704092*x5046_bit0 -89861394*x5047_bit0 -56493072*x5048_bit0 -44234468*x5049_bit0 -84999532*x5050_bit0 -75476786*x5051_bit0 -50768080*x5052_bit0 -33526740*x5053_bit0 -69487324*x5054_bit0 -64723200*x5055_bit0 -72832110*x5056_bit0 -55368302*x5057_bit0 -38985946*x5058_bit0 -2233135600*x5059_bit0 -2233135600*x5060_bit0 -2233135600*x5061_bit0 -2233135600*x5062_bit0 -57335418*x5063_bit0 -37970426*x5064_bit0 -65462916*x5065_bit0 -74947086*x5066_bit0 -159258992*x5067_bit0 -173797688*x5068_bit0 -146609528*x5069_bit0 -128276166*x5070_bit0 -124569972*x5071_bit0 -164119006*x5072_bit0 -174631290*x5073_bit0 -138829254*x5074_bit0 -142886010*x5075_bit0 -125012376*x5076_bit0 -156133322*x5077_bit0 -170199596*x5078_bit0 -173320052*x5079_bit0 -138094262*x5080_bit0 -122872700*x5081_bit0 -162097004*x5082_bit0 -150621764*x5083_bit0 -2233135600*x5084_bit0 -208586580*x5085_bit0 -250395700*x5086_bit0 -236692040*x5087_bit0 -191454814*x5088_bit0 -194331706*x5089_bit0 -219380860*x5090_bit0 -245820320*x5091_bit0 -224142320*x5092_bit0 -237052320*x5093_bit0 -191523400*x5094_bit0 -208232160*x5095_bit0 -250395600*x5096_bit0 -248516160*x5097_bit0 -226807820*x5098_bit0 -197019008*x5099_bit0 -222053980*x5100_bit0 -255613640*x5101_bit0 -222820140*x5102_bit0 -192318630*x5103_bit0 -230073880*x5104_bit0 -198367972*x5105_bit0 -261805100*x5106_bit0 -248804400*x5107_bit0 -180104084*x5108_bit0 -189657012*x5109_bit0 -227423600*x5110_bit0 -252927920*x5111_bit0 -220186580*x5112_bit0 -249220500*x5113_bit0 -180068514*x5114_bit0 -197894606*x5115_bit0 -261876340*x5116_bit0 -84783436*x5117_bit0 -43886004*x5118_bit0 -57654092*x5119_bit0 -90323116*x5120_bit0 -86723556*x5121_bit0 -72573198*x5122_bit0 -54274930*x5123_bit0 -74143102*x5124_bit0 -56975580*x5125_bit0 -91502638*x5126_bit0 -86071892*x5127_bit0 -42655800*x5128_bit0 -53077882*x5129_bit0 -75356106*x5130_bit0 -87689686*x5131_bit0 -71856328*x5132_bit0 -38355698*x5133_bit0 -56849926*x5134_bit0 -74598866*x5135_bit0 -65532212*x5136_bit0 -69063478*x5137_bit0 -31026940*x5138_bit0 -53368292*x5139_bit0 -76774364*x5140_bit0 -74774598*x5141_bit0 -63807724*x5142_bit0 -36123682*x5143_bit0 -58434970*x5144_bit0 -2233135600*x5145_bit0 -2233135600*x5146_bit0 -2233135600*x5147_bit0 -2233135600*x5148_bit0 -198841770*x5149_bit0 -217004980*x5150_bit0 -190716136*x5151_bit0 -169257594*x5152_bit0 -166015946*x5153_bit0 -203760640*x5154_bit0 -217259460*x5155_bit0 -182798602*x5156_bit0 -186966082*x5157_bit0 -165745358*x5158_bit0 -195452030*x5159_bit0 -213337300*x5160_bit0 -216204620*x5161_bit0 -182224770*x5162_bit0 -164774780*x5163_bit0 -202153520*x5164_bit0 -192269282*x5165_bit0 -2233135600*x5166_bit0 -177671776*x5167_bit0 -215585160*x5168_bit0 -199147416*x5169_bit0 -156542932*x5170_bit0 -157616246*x5171_bit0 -188429774*x5172_bit0 -212230760*x5173_bit0 -186066548*x5174_bit0 -199278002*x5175_bit0 -156220790*x5176_bit0 -176891756*x5177_bit0 -215303400*x5178_bit0 -214891840*x5179_bit0 -188758918*x5180_bit0 -160315064*x5181_bit0 -191015754*x5182_bit0 -223203220*x5183_bit0 -183812708*x5184_bit0 -154276738*x5185_bit0 -200468280*x5186_bit0 -168971664*x5187_bit0 -226323500*x5188_bit0 -210843360*x5189_bit0 -146324182*x5190_bit0 -151582208*x5191_bit0 -197926566*x5192_bit0 -220569280*x5193_bit0 -181143014*x5194_bit0 -211056660*x5195_bit0 -145834170*x5196_bit0 -168025398*x5197_bit0 -226140960*x5198_bit0 -44302566*x5199_bit0 -84349180*x5200_bit0 -89926506*x5201_bit0 -57891286*x5202_bit0 -73977328*x5203_bit0 -53991740*x5204_bit0 -71169450*x5205_bit0 -85653722*x5206_bit0 -88752688*x5207_bit0 -58618996*x5208_bit0 -45543362*x5209_bit0 -83060788*x5210_bit0 -70429934*x5211_bit0 -86636900*x5212_bit0 -75194420*x5213_bit0 -52782036*x5214_bit0 -62626538*x5215_bit0 -72266156*x5216_bit0 -56402930*x5217_bit0 -37193006*x5218_bit0 -31026940*x5219_bit0 -65559874*x5220_bit0 -73838932*x5221_bit0 -53368292*x5222_bit0 -58375020*x5223_bit0 -35929932*x5224_bit0 -63390120*x5225_bit0 -74451612*x5226_bit0 -2233135600*x5227_bit0 -2233135600*x5228_bit0 -2233135600*x5229_bit0 -2233135600*x5230_bit0 -189198552*x5231_bit0 -198841770*x5232_bit0 -169257594*x5233_bit0 -157461788*x5234_bit0 -153332688*x5235_bit0 -193952358*x5236_bit0 -200822720*x5237_bit0 -162266652*x5238_bit0 -165745358*x5239_bit0 -154512976*x5240_bit0 -186314804*x5241_bit0 -195452030*x5242_bit0 -199052604*x5243_bit0 -160816852*x5244_bit0 -151116720*x5245_bit0 -191607410*x5246_bit0 -157341920*x5247_bit0 -2233135600*x5248_bit0 -163985994*x5249_bit0 -204825520*x5250_bit0 -191221732*x5251_bit0 -145830858*x5252_bit0 -148751448*x5253_bit0 -174798060*x5254_bit0 -200468700*x5255_bit0 -178860662*x5256_bit0 -191645232*x5257_bit0 -145876278*x5258_bit0 -163473712*x5259_bit0 -204792340*x5260_bit0 -203159760*x5261_bit0 -181510668*x5262_bit0 -151433804*x5263_bit0 -177445208*x5264_bit0 -210596980*x5265_bit0 -178041014*x5266_bit0 -147105494*x5267_bit0 -186081594*x5268_bit0 -154361334*x5269_bit0 -216172500*x5270_bit0 -203440980*x5271_bit0 -134608512*x5272_bit0 -144467250*x5273_bit0 -183472724*x5274_bit0 -207923400*x5275_bit0 -175442140*x5276_bit0 -203929980*x5277_bit0 -134503550*x5278_bit0 -153678666*x5279_bit0 -216229780*x5280_bit0 -56813410*x5281_bit0 -89395718*x5282_bit0 -84482638*x5283_bit0 -44723774*x5284_bit0 -54069762*x5285_bit0 -73898868*x5286_bit0 -85590638*x5287_bit0 -71217840*x5288_bit0 -83197250*x5289_bit0 -45938356*x5290_bit0 -57565992*x5291_bit0 -88211888*x5292_bit0 -84616964*x5293_bit0 -71979176*x5294_bit0 -55280418*x5295_bit0 -72681966*x5296_bit0 -72617386*x5297_bit0 -62472780*x5298_bit0 -36679130*x5299_bit0 -56934796*x5300_bit0 -50776086*x5301_bit0 -72404836*x5302_bit0 -65952056*x5303_bit0 -33515260*x5304_bit0 -38825144*x5305_bit0 -55273170*x5306_bit0 -72436356*x5307_bit0 -64260968*x5308_bit0 -2233135600*x5309_bit0 -2233135600*x5310_bit0 -2233135600*x5311_bit0 -2233135600*x5312_bit0 -169346818*x5313_bit0 -180236296*x5314_bit0 -151371230*x5315_bit0 -137702218*x5316_bit0 -133644808*x5317_bit0 -174120920*x5318_bit0 -181867874*x5319_bit0 -144077906*x5320_bit0 -147769986*x5321_bit0 -134695570*x5322_bit0 -166425558*x5323_bit0 -176773028*x5324_bit0 -180232254*x5325_bit0 -142867178*x5326_bit0 -131529840*x5327_bit0 -171829344*x5328_bit0 -146664032*x5329_bit0 -2233135600*x5330_bit0 -197388028*x5331_bit0 -241382460*x5332_bit0 -230228900*x5333_bit0 -183141524*x5334_bit0 -187495030*x5335_bit0 -208081280*x5336_bit0 -235948560*x5337_bit0 -218368020*x5338_bit0 -230832300*x5339_bit0 -183515220*x5340_bit0 -197287622*x5341_bit0 -241602520*x5342_bit0 -238647340*x5343_bit0 -220979180*x5344_bit0 -190135932*x5345_bit0 -210777200*x5346_bit0 -244882060*x5347_bit0 -218223260*x5348_bit0 -186852434*x5349_bit0 -217919460*x5350_bit0 -186457664*x5351_bit0 -253244900*x5352_bit0 -242702860*x5353_bit0 -171141936*x5354_bit0 -184263124*x5355_bit0 -215236320*x5356_bit0 -242183240*x5357_bit0 -215662940*x5358_bit0 -243349040*x5359_bit0 -171430762*x5360_bit0 -186245412*x5361_bit0 -253527440*x5362_bit0 -89795628*x5363_bit0 -56567852*x5364_bit0 -44316796*x5365_bit0 -84915910*x5366_bit0 -72620134*x5367_bit0 -86661584*x5368_bit0 -74064912*x5369_bit0 -54352172*x5370_bit0 -43117578*x5371_bit0 -86201528*x5372_bit0 -90984728*x5373_bit0 -55864676*x5374_bit0 -72852324*x5375_bit0 -55551262*x5376_bit0 -73358930*x5377_bit0 -85705378*x5378_bit0 -57374218*x5379_bit0 -37892172*x5380_bit0 -65389800*x5381_bit0 -74933356*x5382_bit0 -75425524*x5383_bit0 -50776086*x5384_bit0 -33515260*x5385_bit0 -69424024*x5386_bit0 -64669168*x5387_bit0 -72773262*x5388_bit0 -55339458*x5389_bit0 -38975736*x5390_bit0 -2233135600*x5391_bit0 -2233135600*x5392_bit0 -2233135600*x5393_bit0 -2233135600*x5394_bit0 -180236296*x5395_bit0 -200348740*x5396_bit0 -175421030*x5397_bit0 -151371230*x5398_bit0 -148385688*x5399_bit0 -185156084*x5400_bit0 -200103400*x5401_bit0 -167278424*x5402_bit0 -171634052*x5403_bit0 -147769986*x5404_bit0 -176773028*x5405_bit0 -196627676*x5406_bit0 -199257562*x5407_bit0 -167026708*x5408_bit0 -147411668*x5409_bit0 -183703658*x5410_bit0 -183633700*x5411_bit0 -2233135600*x5412_bit0 -116563518*x5413_bit0 -164768548*x5414_bit0 -174377616*x5415_bit0 -130696264*x5416_bit0 -143597752*x5417_bit0 -122798344*x5418_bit0 -154275980*x5419_bit0 -170616868*x5420_bit0 -176523220*x5421_bit0 -133114210*x5422_bit0 -118530896*x5423_bit0 -166520836*x5424_bit0 -156421010*x5425_bit0 -172081772*x5426_bit0 -144758628*x5427_bit0 -124860340*x5428_bit0 -155196350*x5429_bit0 -178581764*x5430_bit0 -152668554*x5431_bit0 -123239004*x5432_bit0 -104291364*x5433_bit0 -177500286*x5434_bit0 -186348012*x5435_bit0 -120282756*x5436_bit0 -151714804*x5437_bit0 -120964766*x5438_bit0 -152898048*x5439_bit0 -177291172*x5440_bit0 -188439096*x5441_bit0 -122786994*x5442_bit0 -106349810*x5443_bit0 -179216794*x5444_bit0 -167444898*x5445_bit0 -187068536*x5446_bit0 -159842392*x5447_bit0 -135440910*x5448_bit0 -117089390*x5449_bit0 -191386600*x5450_bit0 -198693724*x5451_bit0 -129767390*x5452_bit0 -159101606*x5453_bit0 -135431216*x5454_bit0 -167437164*x5455_bit0 -186453300*x5456_bit0 -197536250*x5457_bit0 -128731500*x5458_bit0 -115907546*x5459_bit0 -190177616*x5460_bit0 -182464750*x5461_bit0 -144792546*x5462_bit0 -134082346*x5463_bit0 -174496946*x5464_bit0 -167834630*x5465_bit0 -178357688*x5466_bit0 -149390158*x5467_bit0 -136133078*x5468_bit0 -132564000*x5469_bit0 -172884144*x5470_bit0 -181203172*x5471_bit0 -143766544*x5472_bit0 -151371230*x5473_bit0 -137702218*x5474_bit0 -169346818*x5475_bit0 -180236296*x5476_bit0 -2233135600*x5477_bit0 -2233135600*x5478_bit0 -2233135600*x5479_bit0 -2233135600*x5480_bit0 -36617322*x5481_bit0 -56634042*x5482_bit0 -71604560*x5483_bit0 -61412704*x5484_bit0 -65226810*x5485_bit0 -35039588*x5486_bit0 -49577492*x5487_bit0 -70864428*x5488_bit0 -71868122*x5489_bit0 -64741014*x5490_bit0 -39897168*x5491_bit0 -54216136*x5492_bit0 -118181578*x5493_bit0 -2233135600*x5494_bit0 -78840248*x5495_bit0 -124842374*x5496_bit0 -137934318*x5497_bit0 -100513300*x5498_bit0 -113982396*x5499_bit0 -83285156*x5500_bit0 -113977544*x5501_bit0 -136450714*x5502_bit0 -140297582*x5503_bit0 -103186286*x5504_bit0 -81187534*x5505_bit0 -126759768*x5506_bit0 -116004016*x5507_bit0 -137494250*x5508_bit0 -114436668*x5509_bit0 -85082980*x5510_bit0 -114220066*x5511_bit0 -145884440*x5512_bit0 -124804632*x5513_bit0 -82328106*x5514_bit0 -68232668*x5515_bit0 -137363524*x5516_bit0 -149130858*x5517_bit0 -93409268*x5518_bit0 -124569176*x5519_bit0 -80129256*x5520_bit0 -111956010*x5521_bit0 -145056040*x5522_bit0 -151417364*x5523_bit0 -96112930*x5524_bit0 -70760536*x5525_bit0 -139217542*x5526_bit0 -173685896*x5527_bit0 -210260620*x5528_bit0 -187005392*x5529_bit0 -143395906*x5530_bit0 -134794038*x5531_bit0 -201760040*x5532_bit0 -215705900*x5533_bit0 -156126378*x5534_bit0 -186058706*x5535_bit0 -142933656*x5536_bit0 -173318500*x5537_bit0 -209433820*x5538_bit0 -214652820*x5539_bit0 -155301832*x5540_bit0 -133806458*x5541_bit0 -200622900*x5542_bit0 -200912700*x5543_bit0 -168214294*x5544_bit0 -149161200*x5545_bit0 -185806852*x5546_bit0 -178357688*x5547_bit0 -198269542*x5548_bit0 -173272232*x5549_bit0 -149390158*x5550_bit0 -148268008*x5551_bit0 -184645932*x5552_bit0 -200091800*x5553_bit0 -167735274*x5554_bit0 -175421030*x5555_bit0 -151371230*x5556_bit0 -180236296*x5557_bit0 -200348740*x5558_bit0 -2233135600*x5559_bit0 -2233135600*x5560_bit0 -2233135600*x5561_bit0 -2233135600*x5562_bit0 -66574324*x5563_bit0 -75719130*x5564_bit0 -57416114*x5565_bit0 -38698634*x5566_bit0 -35039588*x5567_bit0 -70648724*x5568_bit0 -75674696*x5569_bit0 -49577492*x5570_bit0 -54243352*x5571_bit0 -39952344*x5572_bit0 -64900968*x5573_bit0 -72003302*x5574_bit0 -81733010*x5575_bit0 -2233135600*x5576_bit0 -91382106*x5577_bit0 -132076068*x5578_bit0 -149668498*x5579_bit0 -117198798*x5580_bit0 -130550840*x5581_bit0 -92962040*x5582_bit0 -120564126*x5583_bit0 -150053766*x5584_bit0 -152188004*x5585_bit0 -119901916*x5586_bit0 -93994692*x5587_bit0 -134303922*x5588_bit0 -122182478*x5589_bit0 -150775658*x5590_bit0 -130685440*x5591_bit0 -94125948*x5592_bit0 -117731180*x5593_bit0 -160271338*x5594_bit0 -141839840*x5595_bit0 -87682130*x5596_bit0 -83153392*x5597_bit0 -143830778*x5598_bit0 -159887038*x5599_bit0 -111493312*x5600_bit0 -141863606*x5601_bit0 -86114770*x5602_bit0 -115845672*x5603_bit0 -159726712*x5604_bit0 -162341174*x5605_bit0 -114180350*x5606_bit0 -85843924*x5607_bit0 -145980666*x5608_bit0 -192944846*x5609_bit0 -226028480*x5610_bit0 -201218420*x5611_bit0 -162237334*x5612_bit0 -151567180*x5613_bit0 -220543700*x5614_bit0 -233229300*x5615_bit0 -170443236*x5616_bit0 -200348920*x5617_bit0 -161839220*x5618_bit0 -192619896*x5619_bit0 -225267080*x5620_bit0 -232147300*x5621_bit0 -169530842*x5622_bit0 -150516550*x5623_bit0 -219390740*x5624_bit0 -218018300*x5625_bit0 -183668978*x5626_bit0 -166724136*x5627_bit0 -204367040*x5628_bit0 -197015580*x5629_bit0 -214971520*x5630_bit0 -188609632*x5631_bit0 -167343360*x5632_bit0 -165680722*x5633_bit0 -203120700*x5634_bit0 -217078940*x5635_bit0 -183003584*x5636_bit0 -190716136*x5637_bit0 -169257594*x5638_bit0 -198841770*x5639_bit0 -217004980*x5640_bit0 -2233135600*x5641_bit0 -2233135600*x5642_bit0 -2233135600*x5643_bit0 -2233135600*x5644_bit0 -75648382*x5645_bit0 -66604160*x5646_bit0 -38793644*x5647_bit0 -57304028*x5648_bit0 -54744320*x5649_bit0 -78324774*x5650_bit0 -69944776*x5651_bit0 -30393202*x5652_bit0 -35108426*x5653_bit0 -59495028*x5654_bit0 -75401756*x5655_bit0 -63437696*x5656_bit0 -94228638*x5657_bit0 -2233135600*x5658_bit0 -124407902*x5659_bit0 -170009976*x5660_bit0 -183417644*x5661_bit0 -143157884*x5662_bit0 -156457686*x5663_bit0 -128821422*x5664_bit0 -158879842*x5665_bit0 -181254676*x5666_bit0 -185738876*x5667_bit0 -145720442*x5668_bit0 -126693710*x5669_bit0 -172024508*x5670_bit0 -160758990*x5671_bit0 -182454086*x5672_bit0 -157307306*x5673_bit0 -130516568*x5674_bit0 -157618866*x5675_bit0 -190127108*x5676_bit0 -166361804*x5677_bit0 -126435320*x5678_bit0 -113246708*x5679_bit0 -182315280*x5680_bit0 -194747838*x5681_bit0 -133953666*x5682_bit0 -165687882*x5683_bit0 -124499318*x5684_bit0 -155564360*x5685_bit0 -189087434*x5686_bit0 -197013680*x5687_bit0 -136577320*x5688_bit0 -115629428*x5689_bit0 -184279510*x5690_bit0 -187450074*x5691_bit0 -204892460*x5692_bit0 -176640544*x5693_bit0 -155445510*x5694_bit0 -136581422*x5695_bit0 -211225220*x5696_bit0 -217777940*x5697_bit0 -147237970*x5698_bit0 -175982756*x5699_bit0 -155437314*x5700_bit0 -187443270*x5701_bit0 -204338700*x5702_bit0 -216608260*x5703_bit0 -146149488*x5704_bit0 -135386950*x5705_bit0 -210013880*x5706_bit0 -201378980*x5707_bit0 -162917020*x5708_bit0 -153735644*x5709_bit0 -194308982*x5710_bit0 -187711288*x5711_bit0 -197015580*x5712_bit0 -167343360*x5713_bit0 -155931260*x5714_bit0 -152163086*x5715_bit0 -192667812*x5716_bit0 -200043760*x5717_bit0 -161757862*x5718_bit0 -169257594*x5719_bit0 -157461788*x5720_bit0 -189198552*x5721_bit0 -198841770*x5722_bit0 -2233135600*x5723_bit0 -2233135600*x5724_bit0 -2233135600*x5725_bit0 -2233135600*x5726_bit0 -56519084*x5727_bit0 -36730776*x5728_bit0 -61446884*x5729_bit0 -71527418*x5730_bit0 -73782078*x5731_bit0 -54744320*x5732_bit0 -30393202*x5733_bit0 -64423640*x5734_bit0 -63271462*x5735_bit0 -75275900*x5736_bit0 -59472082*x5737_bit0 -35023682*x5738_bit0 -127144156*x5739_bit0 -2233135600*x5740_bit0 -86900276*x5741_bit0 -135537886*x5742_bit0 -144691240*x5743_bit0 -102147072*x5744_bit0 -115349816*x5745_bit0 -93550602*x5746_bit0 -125330556*x5747_bit0 -141268662*x5748_bit0 -146859358*x5749_bit0 -104667616*x5750_bit0 -88826068*x5751_bit0 -137202438*x5752_bit0 -127572142*x5753_bit0 -142653926*x5754_bit0 -116295064*x5755_bit0 -95727754*x5756_bit0 -127341018*x5757_bit0 -149605844*x5758_bit0 -125113394*x5759_bit0 -95390642*x5760_bit0 -74559348*x5761_bit0 -148363382*x5762_bit0 -156620786*x5763_bit0 -92691578*x5764_bit0 -124424212*x5765_bit0 -92951592*x5766_bit0 -124924170*x5767_bit0 -148436924*x5768_bit0 -158720842*x5769_bit0 -95313170*x5770_bit0 -76622296*x5771_bit0 -149991498*x5772_bit0 -160216824*x5773_bit0 -193805800*x5774_bit0 -170218494*x5775_bit0 -129219436*x5776_bit0 -118702644*x5777_bit0 -187456298*x5778_bit0 -200125980*x5779_bit0 -139337984*x5780_bit0 -169280128*x5781_bit0 -128859620*x5782_bit0 -159940080*x5783_bit0 -192999848*x5784_bit0 -199051860*x5785_bit0 -138503850*x5786_bit0 -117680958*x5787_bit0 -186297308*x5788_bit0 -185052454*x5789_bit0 -151644110*x5790_bit0 -133588264*x5791_bit0 -171211830*x5792_bit0 -163891274*x5793_bit0 -182186652*x5794_bit0 -156675206*x5795_bit0 -134146614*x5796_bit0 -132583492*x5797_bit0 -169947206*x5798_bit0 -184161954*x5799_bit0 -151117730*x5800_bit0 -158814946*x5801_bit0 -136067114*x5802_bit0 -165700534*x5803_bit0 -184244202*x5804_bit0 -71878962*x5805_bit0 -64786968*x5806_bit0 -39941746*x5807_bit0 -54194162*x5808_bit0 -2233135600*x5809_bit0 -2233135600*x5810_bit0 -2233135600*x5811_bit0 -2233135600*x5812_bit0 -36603874*x5813_bit0 -56665972*x5814_bit0 -71651084*x5815_bit0 -61442676*x5816_bit0 -65276602*x5817_bit0 -35017926*x5818_bit0 -49556814*x5819_bit0 -70902686*x5820_bit0 -88467256*x5821_bit0 -2233135600*x5822_bit0 -108186522*x5823_bit0 -148652752*x5824_bit0 -166580860*x5825_bit0 -133118844*x5826_bit0 -146546478*x5827_bit0 -109869196*x5828_bit0 -137074376*x5829_bit0 -166836528*x5830_bit0 -169097700*x5831_bit0 -135814608*x5832_bit0 -110779356*x5833_bit0 -150923064*x5834_bit0 -138610998*x5835_bit0 -167596542*x5836_bit0 -146808282*x5837_bit0 -111007628*x5838_bit0 -133567410*x5839_bit0 -176941834*x5840_bit0 -157637752*x5841_bit0 -104203628*x5842_bit0 -99512412*x5843_bit0 -160230584*x5844_bit0 -176788012*x5845_bit0 -126618414*x5846_bit0 -157525586*x5847_bit0 -102745574*x5848_bit0 -131798668*x5849_bit0 -176341126*x5850_bit0 -179247048*x5851_bit0 -129320812*x5852_bit0 -102179518*x5853_bit0 -162431604*x5854_bit0 -200494020*x5855_bit0 -227476340*x5856_bit0 -200945680*x5857_bit0 -169043280*x5858_bit0 -155080562*x5859_bit0 -226849280*x5860_bit0 -237168540*x5861_bit0 -170615044*x5862_bit0 -200172940*x5863_bit0 -168783862*x5864_bit0 -200281200*x5865_bit0 -226805520*x5866_bit0 -236045400*x5867_bit0 -169613914*x5868_bit0 -153957950*x5869_bit0 -225668100*x5870_bit0 -221389420*x5871_bit0 -185052654*x5872_bit0 -171212050*x5873_bit0 -210298180*x5874_bit0 -203185480*x5875_bit0 -217767860*x5876_bit0 -189797892*x5877_bit0 -172456458*x5878_bit0 -169947426*x5879_bit0 -208892480*x5880_bit0 -220278300*x5881_bit0 -184162152*x5882_bit0 -191831750*x5883_bit0 -174240322*x5884_bit0 -204895360*x5885_bit0 -219722720*x5886_bit0 -54212604*x5887_bit0 -39979012*x5888_bit0 -64895272*x5889_bit0 -71970558*x5890_bit0 -2233135600*x5891_bit0 -2233135600*x5892_bit0 -2233135600*x5893_bit0 -2233135600*x5894_bit0 -66548930*x5895_bit0 -75719624*x5896_bit0 -57438480*x5897_bit0 -38666264*x5898_bit0 -35017996*x5899_bit0 -70587428*x5900_bit0 -75614902*x5901_bit0 -49556840*x5902_bit0 -111091402*x5903_bit0 -2233135600*x5904_bit0 -123459190*x5905_bit0 -166622246*x5906_bit0 -182504754*x5907_bit0 -145238718*x5908_bit0 -158688080*x5909_bit0 -126542110*x5910_bit0 -155198278*x5911_bit0 -181530080*x5912_bit0 -184933020*x5913_bit0 -147879694*x5914_bit0 -125915904*x5915_bit0 -168788940*x5916_bit0 -156883846*x5917_bit0 -182521322*x5918_bit0 -159281582*x5919_bit0 -127958994*x5920_bit0 -152570502*x5921_bit0 -191023576*x5922_bit0 -169170656*x5923_bit0 -122359470*x5924_bit0 -113345692*x5925_bit0 -178535756*x5926_bit0 -193290740*x5927_bit0 -137126068*x5928_bit0 -168736306*x5929_bit0 -120681346*x5930_bit0 -150691766*x5931_bit0 -190186272*x5932_bit0 -195663824*x5933_bit0 -139807392*x5934_bit0 -115891602*x5935_bit0 -180644354*x5936_bit0 -198267618*x5937_bit0 -217825000*x5938_bit0 -189737880*x5939_bit0 -166318724*x5940_bit0 -148655844*x5941_bit0 -222781840*x5942_bit0 -230193080*x5943_bit0 -160224352*x5944_bit0 -189070770*x5945_bit0 -166238910*x5946_bit0 -198202380*x5947_bit0 -217255680*x5948_bit0 -229031360*x5949_bit0 -159145116*x5950_bit0 -147473870*x5951_bit0 -221576100*x5952_bit0 -213896300*x5953_bit0 -175752260*x5954_bit0 -165622836*x5955_bit0 -205927240*x5956_bit0 -199185758*x5957_bit0 -209662760*x5958_bit0 -180229784*x5959_bit0 -167591306*x5960_bit0 -164119006*x5961_bit0 -204341400*x5962_bit0 -212601320*x5963_bit0 -174631290*x5964_bit0 -182162460*x5965_bit0 -169189606*x5966_bit0 -200733020*x5967_bit0 -211512940*x5968_bit0 -35076522*x5969_bit0 -59522990*x5970_bit0 -75407580*x5971_bit0 -63414636*x5972_bit0 -2233135600*x5973_bit0 -2233135600*x5974_bit0 -2233135600*x5975_bit0 -2233135600*x5976_bit0 -75615130*x5977_bit0 -66593020*x5978_bit0 -38806758*x5979_bit0 -57272948*x5980_bit0 -54728552*x5981_bit0 -78268950*x5982_bit0 -69882088*x5983_bit0 -30350048*x5984_bit0 -126491008*x5985_bit0 -2233135600*x5986_bit0 -106329534*x5987_bit0 -155342990*x5988_bit0 -163180790*x5989_bit0 -118423608*x5990_bit0 -131157328*x5991_bit0 -113394266*x5992_bit0 -145252830*x5993_bit0 -158821470*x5994_bit0 -165247744*x5995_bit0 -120785644*x5996_bit0 -108116282*x5997_bit0 -156954332*x5998_bit0 -147516436*x5999_bit0 -160378132*x6000_bit0 -132407416*x6001_bit0 -115617518*x6002_bit0 -147323312*x6003_bit0 -166455504*x6004_bit0 -139985982*x6005_bit0 -115355476*x6006_bit0 -93702408*x6007_bit0 -168204864*x6008_bit0 -175369110*x6009_bit0 -107688748*x6010_bit0 -138969018*x6011_bit0 -112932100*x6012_bit0 -144914548*x6013_bit0 -165088024*x6014_bit0 -177380814*x6015_bit0 -110152144*x6016_bit0 -95571558*x6017_bit0 -169789108*x6018_bit0 -157309244*x6019_bit0 -182086142*x6020_bit0 -156395724*x6021_bit0 -125409268*x6022_bit0 -109525116*x6023_bit0 -182367516*x6024_bit0 -191597468*x6025_bit0 -125740486*x6026_bit0 -155557028*x6027_bit0 -125296574*x6028_bit0 -157223716*x6029_bit0 -181385984*x6030_bit0 -190467662*x6031_bit0 -124791612*x6032_bit0 -108389700*x6033_bit0 -181170522*x6034_bit0 -175752048*x6035_bit0 -139641696*x6036_bit0 -125916122*x6037_bit0 -165622608*x6038_bit0 -158712484*x6039_bit0 -172120982*x6040_bit0 -144461190*x6041_bit0 -127460690*x6042_bit0 -124569972*x6043_bit0 -164118778*x6044_bit0 -174631080*x6045_bit0 -138829254*x6046_bit0 -146525192*x6047_bit0 -129164030*x6048_bit0 -160329094*x6049_bit0 -174080268*x6050_bit0 -63302030*x6051_bit0 -75322366*x6052_bit0 -59507472*x6053_bit0 -35019010*x6054_bit0 -2233135600*x6055_bit0 -2233135600*x6056_bit0 -2233135600*x6057_bit0 -2233135600*x6058_bit0 -56496246*x6059_bit0 -36771318*x6060_bit0 -61493112*x6061_bit0 -71537254*x6062_bit0 -73818992*x6063_bit0 -54728530*x6064_bit0 -30349902*x6065_bit0 -64474022*x6066_bit0 -107168702*x6067_bit0 -2233135600*x6068_bit0 -91544922*x6069_bit0 -133465142*x6070_bit0 -150193280*x6071_bit0 -116399000*x6072_bit0 -129809186*x6073_bit0 -93731218*x6074_bit0 -122037818*x6075_bit0 -150145444*x6076_bit0 -152682148*x6077_bit0 -119097852*x6078_bit0 -94113676*x6079_bit0 -135641424*x6080_bit0 -123733410*x6081_bit0 -150946314*x6082_bit0 -130040244*x6083_bit0 -95026154*x6084_bit0 -119716056*x6085_bit0 -160179244*x6086_bit0 -140964606*x6087_bit0 -89209884*x6088_bit0 -82709656*x6089_bit0 -145383938*x6090_bit0 -160638868*x6091_bit0 -110214208*x6092_bit0 -140902154*x6093_bit0 -87520142*x6094_bit0 -117763132*x6095_bit0 -159559906*x6096_bit0 -163060868*x6097_bit0 -112911358*x6098_bit0 -85377186*x6099_bit0 -147485266*x6100_bit0 -189739448*x6101_bit0 -222297240*x6102_bit0 -197432272*x6103_bit0 -158917080*x6104_bit0 -147928228*x6105_bit0 -217190520*x6106_bit0 -229649860*x6107_bit0 -166662502*x6108_bit0 -196564496*x6109_bit0 -158536036*x6110_bit0 -189430060*x6111_bit0 -221539660*x6112_bit0 -228564380*x6113_bit0 -165748116*x6114_bit0 -146872202*x6115_bit0 -216033900*x6116_bit0 -214393220*x6117_bit0 -179927666*x6118_bit0 -163167006*x6119_bit0 -200965900*x6120_bit0 -193638184*x6121_bit0 -211308160*x6122_bit0 -184861846*x6123_bit0 -163842272*x6124_bit0 -162104866*x6125_bit0 -199701838*x6126_bit0 -213441900*x6127_bit0 -179253616*x6128_bit0 -186966082*x6129_bit0 -165745358*x6130_bit0 -195452030*x6131_bit0 -213337300*x6132_bit0 -65226810*x6133_bit0 -35039588*x6134_bit0 -49577492*x6135_bit0 -70864428*x6136_bit0 -71868194*x6137_bit0 -64741054*x6138_bit0 -39897280*x6139_bit0 -54216252*x6140_bit0 -2233135600*x6141_bit0 -2233135600*x6142_bit0 -2233135600*x6143_bit0 -2233135600*x6144_bit0 -36617206*x6145_bit0 -56633926*x6146_bit0 -71604480*x6147_bit0 -61412670*x6148_bit0 -94520478*x6149_bit0 -2233135600*x6150_bit0 -125663768*x6151_bit0 -171817968*x6152_bit0 -184548998*x6153_bit0 -143508156*x6154_bit0 -156736476*x6155_bit0 -130418378*x6156_bit0 -160778672*x6157_bit0 -182058062*x6158_bit0 -186837990*x6159_bit0 -146041912*x6160_bit0 -127896274*x6161_bit0 -173790534*x6162_bit0 -162704374*x6163_bit0 -183314484*x6164_bit0 -157659748*x6165_bit0 -132181580*x6166_bit0 -159861740*x6167_bit0 -190743238*x6168_bit0 -166452046*x6169_bit0 -128495890*x6170_bit0 -114254886*x6171_bit0 -184209592*x6172_bit0 -196015024*x6173_bit0 -134001724*x6174_bit0 -165707494*x6175_bit0 -126500784*x6176_bit0 -157766842*x6177_bit0 -189646802*x6178_bit0 -198249338*x6179_bit0 -136601098*x6180_bit0 -116582826*x6181_bit0 -186134598*x6182_bit0 -184850586*x6183_bit0 -201359860*x6184_bit0 -172994750*x6185_bit0 -152845722*x6186_bit0 -133494074*x6187_bit0 -208324700*x6188_bit0 -214508380*x6189_bit0 -143677890*x6190_bit0 -172345066*x6191_bit0 -152865614*x6192_bit0 -184866236*x6193_bit0 -200815420*x6194_bit0 -213335200*x6195_bit0 -142583372*x6196_bit0 -132294742*x6197_bit0 -207111480*x6198_bit0 -198064282*x6199_bit0 -159446016*x6200_bit0 -150720686*x6201_bit0 -191389018*x6202_bit0 -184852540*x6203_bit0 -193638184*x6204_bit0 -163842272*x6205_bit0 -153011950*x6206_bit0 -149119066*x6207_bit0 -189725682*x6208_bit0 -196709948*x6209_bit0 -158265234*x6210_bit0 -165745358*x6211_bit0 -154512976*x6212_bit0 -186314804*x6213_bit0 -195452030*x6214_bit0 -35039588*x6215_bit0 -70648724*x6216_bit0 -75674696*x6217_bit0 -49577492*x6218_bit0 -54243468*x6219_bit0 -39952454*x6220_bit0 -64901008*x6221_bit0 -72003372*x6222_bit0 -2233135600*x6223_bit0 -2233135600*x6224_bit0 -2233135600*x6225_bit0 -2233135600*x6226_bit0 -66574294*x6227_bit0 -75719058*x6228_bit0 -57416000*x6229_bit0 -38698538*x6230_bit0 -128250032*x6231_bit0 -2233135600*x6232_bit0 -118490608*x6233_bit0 -167013152*x6234_bit0 -175924574*x6235_bit0 -131581744*x6236_bit0 -144346984*x6237_bit0 -125019346*x6238_bit0 -156640438*x6239_bit0 -171835872*x6240_bit0 -178031510*x6241_bit0 -133956146*x6242_bit0 -120390698*x6243_bit0 -168719944*x6244_bit0 -158822056*x6245_bit0 -173356062*x6246_bit0 -145583658*x6247_bit0 -127134270*x6248_bit0 -157875300*x6249_bit0 -179583138*x6250_bit0 -153177918*x6251_bit0 -125887620*x6252_bit0 -106065550*x6253_bit0 -179792504*x6254_bit0 -188002312*x6255_bit0 -120887398*x6256_bit0 -152149316*x6257_bit0 -123573344*x6258_bit0 -155547870*x6259_bit0 -178235812*x6260_bit0 -190056708*x6261_bit0 -123349790*x6262_bit0 -108048292*x6263_bit0 -181467236*x6264_bit0 -164845236*x6265_bit0 -183466188*x6266_bit0 -156125428*x6267_bit0 -132840858*x6268_bit0 -113908822*x6269_bit0 -188451836*x6270_bit0 -195362658*x6271_bit0 -126105298*x6272_bit0 -155391060*x6273_bit0 -132864474*x6274_bit0 -164863176*x6275_bit0 -182859676*x6276_bit0 -194201112*x6277_bit0 -125063124*x6278_bit0 -112720200*x6279_bit0 -187240516*x6280_bit0 -179080060*x6281_bit0 -141226720*x6282_bit0 -130998128*x6283_bit0 -171536646*x6284_bit0 -164941028*x6285_bit0 -174906196*x6286_bit0 -145798310*x6287_bit0 -133159490*x6288_bit0 -129445760*x6289_bit0 -169898750*x6290_bit0 -177798016*x6291_bit0 -140178862*x6292_bit0 -147769986*x6293_bit0 -134695570*x6294_bit0 -166425558*x6295_bit0 -176773028*x6296_bit0 -54744320*x6297_bit0 -78324774*x6298_bit0 -69944776*x6299_bit0 -30393202*x6300_bit0 -35108528*x6301_bit0 -59495144*x6302_bit0 -75401836*x6303_bit0 -63437720*x6304_bit0 -2233135600*x6305_bit0 -2233135600*x6306_bit0 -2233135600*x6307_bit0 -2233135600*x6308_bit0 -75648310*x6309_bit0 -66604128*x6310_bit0 -38793548*x6311_bit0 -57303914*x6312_bit0 -119805168*x6313_bit0 -2233135600*x6314_bit0 -80013386*x6315_bit0 -126848628*x6316_bit0 -138975056*x6317_bit0 -100236040*x6318_bit0 -113694524*x6319_bit0 -85069036*x6320_bit0 -116138202*x6321_bit0 -137022852*x6322_bit0 -141294792*x6323_bit0 -102885374*x6324_bit0 -82266252*x6325_bit0 -128703644*x6326_bit0 -118224900*x6327_bit0 -138149646*x6328_bit0 -114262868*x6329_bit0 -86977230*x6330_bit0 -116856086*x6331_bit0 -146214454*x6332_bit0 -124307200*x6333_bit0 -84886490*x6334_bit0 -68861580*x6335_bit0 -139464830*x6336_bit0 -150366758*x6337_bit0 -92565216*x6338_bit0 -123969234*x6339_bit0 -82611638*x6340_bit0 -114547288*x6341_bit0 -145305132*x6342_bit0 -152610728*x6343_bit0 -95264884*x6344_bit0 -71297864*x6345_bit0 -141262838*x6346_bit0 -170412972*x6347_bit0 -206491420*x6348_bit0 -183207590*x6349_bit0 -139982872*x6350_bit0 -131068916*x6351_bit0 -198343020*x6352_bit0 -212068700*x6353_bit0 -152328634*x6354_bit0 -182260832*x6355_bit0 -139538296*x6356_bit0 -170062116*x6357_bit0 -205667220*x6358_bit0 -211012080*x6359_bit0 -151504406*x6360_bit0 -130076458*x6361_bit0 -197201698*x6362_bit0 -197229062*x6363_bit0 -164430792*x6364_bit0 -145516296*x6365_bit0 -182334428*x6366_bit0 -174906196*x6367_bit0 -194551572*x6368_bit0 -169486104*x6369_bit0 -145798310*x6370_bit0 -144605462*x6371_bit0 -181155020*x6372_bit0 -196397230*x6373_bit0 -163947062*x6374_bit0 -171634052*x6375_bit0 -147769986*x6376_bit0 -176773028*x6377_bit0 -196627676*x6378_bit0 -73782078*x6379_bit0 -54744320*x6380_bit0 -30393202*x6381_bit0 -64423640*x6382_bit0 -63271488*x6383_bit0 -75275980*x6384_bit0 -59472198*x6385_bit0 -35023784*x6386_bit0 -2233135600*x6387_bit0 -2233135600*x6388_bit0 -2233135600*x6389_bit0 -2233135600*x6390_bit0 -56518968*x6391_bit0 -36730660*x6392_bit0 -61446850*x6393_bit0 -71527340*x6394_bit0 -82700234*x6395_bit0 -2233135600*x6396_bit0 -119760142*x6397_bit0 -163145854*x6398_bit0 -178820876*x6399_bit0 -141484490*x6400_bit0 -154934910*x6401_bit0 -122934966*x6402_bit0 -151751598*x6403_bit0 -177793568*x6404_bit0 -181243554*x6405_bit0 -144126336*x6406_bit0 -122209316*x6407_bit0 -165296168*x6408_bit0 -153462126*x6409_bit0 -178791850*x6410_bit0 -155525318*x6411_bit0 -124377088*x6412_bit0 -149314360*x6413_bit0 -187272684*x6414_bit0 -165428612*x6415_bit0 -118940248*x6416_bit0 -109602184*x6417_bit0 -175111174*x6418_bit0 -189643786*x6419_bit0 -133401996*x6420_bit0 -165001476*x6421_bit0 -117228044*x6422_bit0 -147406890*x6423_bit0 -186432186*x6424_bit0 -192009892*x6425_bit0 -136084892*x6426_bit0 -112144814*x6427_bit0 -177202626*x6428_bit0 -195720654*x6429_bit0 -216575220*x6430_bit0 -188806236*x6431_bit0 -163811494*x6432_bit0 -146714570*x6433_bit0 -220526100*x6434_bit0 -228431540*x6435_bit0 -159079412*x6436_bit0 -188114540*x6437_bit0 -163705798*x6438_bit0 -195634610*x6439_bit0 -215984440*x6440_bit0 -227276100*x6441_bit0 -158015904*x6442_bit0 -145541106*x6443_bit0 -219323420*x6444_bit0 -212219080*x6445_bit0 -174394632*x6446_bit0 -163562206*x6447_bit0 -203707440*x6448_bit0 -196902362*x6449_bit0 -208098100*x6450_bit0 -178932134*x6451_bit0 -165413432*x6452_bit0 -162097004*x6453_bit0 -202149040*x6454_bit0 -210957540*x6455_bit0 -173320052*x6456_bit0 -180887846*x6457_bit0 -167043928*x6458_bit0 -198476256*x6459_bit0 -209969800*x6460_bit0 -36603854*x6461_bit0 -56665966*x6462_bit0 -71650998*x6463_bit0 -61442564*x6464_bit0 -65276602*x6465_bit0 -35017996*x6466_bit0 -49556840*x6467_bit0 -70902686*x6468_bit0 -71878868*x6469_bit0 -64786858*x6470_bit0 -39941710*x6471_bit0 -54194144*x6472_bit0 -2233135600*x6473_bit0 -2233135600*x6474_bit0 -2233135600*x6475_bit0 -2233135600*x6476_bit0 -122786722*x6477_bit0 -2233135600*x6478_bit0 -103254536*x6479_bit0 -152438652*x6480_bit0 -159797606*x6481_bit0 -114789938*x6482_bit0 -127483388*x6483_bit0 -110546654*x6484_bit0 -142469796*x6485_bit0 -155290194*x6486_bit0 -161843802*x6487_bit0 -117138486*x6488_bit0 -104986608*x6489_bit0 -154009890*x6490_bit0 -144764318*x6491_bit0 -156868778*x6492_bit0 -128752592*x6493_bit0 -112812564*x6494_bit0 -144862886*x6495_bit0 -162845102*x6496_bit0 -136263504*x6497_bit0 -112947362*x6498_bit0 -90547866*x6499_bit0 -165326812*x6500_bit0 -172037590*x6501_bit0 -103986948*x6502_bit0 -135235950*x6503_bit0 -110486034*x6504_bit0 -142425798*x6505_bit0 -161460582*x6506_bit0 -174028280*x6507_bit0 -106441728*x6508_bit0 -92357990*x6509_bit0 -166873764*x6510_bit0 -154817118*x6511_bit0 -181266642*x6512_bit0 -156082966*x6513_bit0 -122992866*x6514_bit0 -108016674*x6515_bit0 -180242940*x6516_bit0 -190100602*x6517_bit0 -125321986*x6518_bit0 -155216206*x6519_bit0 -122842628*x6520_bit0 -154703804*x6521_bit0 -180541008*x6522_bit0 -188980738*x6523_bit0 -124402732*x6524_bit0 -106901024*x6525_bit0 -179050964*x6526_bit0 -174394632*x6527_bit0 -138837976*x6528_bit0 -124157030*x6529_bit0 -163562206*x6530_bit0 -156574420*x6531_bit0 -170920056*x6532_bit0 -143716696*x6533_bit0 -125524016*x6534_bit0 -122872700*x6535_bit0 -162097004*x6536_bit0 -173320052*x6537_bit0 -138094262*x6538_bit0 -145802372*x6539_bit0 -127270408*x6540_bit0 -158225192*x6541_bit0 -172902576*x6542_bit0 -66548816*x6543_bit0 -75719532*x6544_bit0 -57438454*x6545_bit0 -38666198*x6546_bit0 -35017926*x6547_bit0 -70587428*x6548_bit0 -75614902*x6549_bit0 -49556814*x6550_bit0 -54212586*x6551_bit0 -39978974*x6552_bit0 -64895162*x6553_bit0 -71970466*x6554_bit0 -2233135600*x6555_bit0 -2233135600*x6556_bit0 -2233135600*x6557_bit0 -2233135600*x6558_bit0 -103848222*x6559_bit0 -2233135600*x6560_bit0 -83691110*x6561_bit0 -132581752*x6562_bit0 -141216472*x6563_bit0 -98414782*x6564_bit0 -111604942*x6565_bit0 -90633308*x6566_bit0 -122511850*x6567_bit0 -137648010*x6568_bit0 -143365172*x6569_bit0 -100929928*x6570_bit0 -85555908*x6571_bit0 -134201084*x6572_bit0 -124790794*x6573_bit0 -139054388*x6574_bit0 -112560716*x6575_bit0 -92866158*x6576_bit0 -124909268*x6577_bit0 -145921808*x6578_bit0 -121355664*x6579_bit0 -93041074*x6580_bit0 -71219562*x6581_bit0 -145442594*x6582_bit0 -153207042*x6583_bit0 -88933906*x6584_bit0 -120666894*x6585_bit0 -90553988*x6586_bit0 -122458748*x6587_bit0 -144738758*x6588_bit0 -155286652*x6589_bit0 -91556098*x6590_bit0 -73220604*x6591_bit0 -147028918*x6592_bit0 -158173732*x6593_bit0 -193354832*x6594_bit0 -170296618*x6595_bit0 -127408454*x6596_bit0 -117913394*x6597_bit0 -185725458*x6598_bit0 -199003884*x6599_bit0 -139429240*x6600_bit0 -169335290*x6601_bit0 -127008888*x6602_bit0 -157867198*x6603_bit0 -192526500*x6604_bit0 -197942018*x6605_bit0 -138625190*x6606_bit0 -116919264*x6607_bit0 -184574700*x6608_bit0 -184104318*x6609_bit0 -151333230*x6610_bit0 -132446266*x6611_bit0 -169594446*x6612_bit0 -162217058*x6613_bit0 -181398710*x6614_bit0 -156400092*x6615_bit0 -132819746*x6616_bit0 -131509826*x6617_bit0 -168374146*x6618_bit0 -183261584*x6619_bit0 -150872462*x6620_bit0 -158552270*x6621_bit0 -134773424*x6622_bit0 -164055942*x6623_bit0 -183473286*x6624_bit0 -75615038*x6625_bit0 -66592906*x6626_bit0 -38806692*x6627_bit0 -57272922*x6628_bit0 -54728530*x6629_bit0 -78268950*x6630_bit0 -69882088*x6631_bit0 -30349902*x6632_bit0 -35076464*x6633_bit0 -59522974*x6634_bit0 -75407494*x6635_bit0 -63414520*x6636_bit0 -2233135600*x6637_bit0 -2233135600*x6638_bit0 -2233135600*x6639_bit0 -2233135600*x6640_bit0 -85028112*x6641_bit0 -2233135600*x6642_bit0 -104430178*x6643_bit0 -145088462*x6644_bit0 -162848304*x6645_bit0 -129427506*x6646_bit0 -142848362*x6647_bit0 -106160562*x6648_bit0 -133530404*x6649_bit0 -163078850*x6650_bit0 -165362140*x6651_bit0 -132124578*x6652_bit0 -107022106*x6653_bit0 -147344586*x6654_bit0 -135092856*x6655_bit0 -163840514*x6656_bit0 -143095988*x6657_bit0 -107318594*x6658_bit0 -130216550*x6659_bit0 -173185384*x6660_bit0 -153964840*x6661_bit0 -100649526*x6662_bit0 -95772002*x6663_bit0 -156724254*x6664_bit0 -173085412*x6665_bit0 -123027124*x6666_bit0 -153870008*x6667_bit0 -99156570*x6668_bit0 -128415606*x6669_bit0 -172587210*x6670_bit0 -175539716*x6671_bit0 -125728446*x6672_bit0 -98441360*x6673_bit0 -158909502*x6674_bit0 -198282142*x6675_bit0 -226546240*x6676_bit0 -200372520*x6677_bit0 -166954074*x6678_bit0 -153645388*x6679_bit0 -224901340*x6680_bit0 -235713780*x6681_bit0 -169914788*x6682_bit0 -199577848*x6683_bit0 -166666888*x6684_bit0 -198047030*x6685_bit0 -225855480*x6686_bit0 -234598680*x6687_bit0 -168931924*x6688_bit0 -152536214*x6689_bit0 -223725280*x6690_bit0 -220045240*x6691_bit0 -184104318*x6692_bit0 -169594446*x6693_bit0 -208416940*x6694_bit0 -201251280*x6695_bit0 -216543000*x6696_bit0 -188896188*x6697_bit0 -170711812*x6698_bit0 -168374146*x6699_bit0 -207042780*x6700_bit0 -218969680*x6701_bit0 -183261584*x6702_bit0 -190947590*x6703_bit0 -172524150*x6704_bit0 -202985840*x6705_bit0 -218515780*x6706_bit0 -56496240*x6707_bit0 -36771298*x6708_bit0 -61493000*x6709_bit0 -71537166*x6710_bit0 -73818992*x6711_bit0 -54728552*x6712_bit0 -30350048*x6713_bit0 -64474022*x6714_bit0 -63301916*x6715_bit0 -75322280*x6716_bit0 -59507456*x6717_bit0 -35018952*x6718_bit0 -2233135600*x6719_bit0 -2233135600*x6720_bit0 -2233135600*x6721_bit0 -2233135600*x6722_bit0 -107340140*x6723_bit0 -2233135600*x6725_bit0 -2233135600*x6726_bit0 -2233135600*x6727_bit0 -2233135600*x6728_bit0 -2233135600*x6729_bit0 -2233135600*x6730_bit0 -2233135600*x6731_bit0 -2233135600*x6732_bit0 -2233135600*x6733_bit0 -2233135600*x6734_bit0 -2233135600*x6735_bit0 -2233135600*x6736_bit0 -2233135600*x6737_bit0 -2233135600*x6738_bit0 -2233135600*x6739_bit0 -2233135600*x6740_bit0 -2233135600*x6741_bit0 -2233135600*x6742_bit0 -2233135600*x6743_bit0 -2233135600*x6744_bit0 -2233135600*x6745_bit0 -2233135600*x6746_bit0 -2233135600*x6747_bit0 -2233135600*x6748_bit0 -2233135600*x6749_bit0 -2233135600*x6750_bit0 -2233135600*x6751_bit0 -2233135600*x6752_bit0 -2233135600*x6753_bit0 -2233135600*x6754_bit0 -2233135600*x6755_bit0 -2233135600*x6756_bit0 -2233135600*x6757_bit0 -2233135600*x6758_bit0 -2233135600*x6759_bit0 -2233135600*x6760_bit0 -2233135600*x6761_bit0 -2233135600*x6762_bit0 -2233135600*x6763_bit0 -2233135600*x6764_bit0 -2233135600*x6765_bit0 -2233135600*x6766_bit0 -2233135600*x6767_bit0 -2233135600*x6768_bit0 -2233135600*x6769_bit0 -2233135600*x6770_bit0 -2233135600*x6771_bit0 -2233135600*x6772_bit0 -2233135600*x6773_bit0 -2233135600*x6774_bit0 -2233135600*x6775_bit0 -2233135600*x6776_bit0 -2233135600*x6777_bit0 -2233135600*x6778_bit0 -2233135600*x6779_bit0 -2233135600*x6780_bit0 -2233135600*x6781_bit0 -2233135600*x6782_bit0 -2233135600*x6783_bit0 -2233135600*x6784_bit0 -2233135600*x6785_bit0 -2233135600*x6786_bit0 -2233135600*x6787_bit0 -2233135600*x6788_bit0 -2233135600*x6789_bit0 -2233135600*x6790_bit0 -2233135600*x6791_bit0 -2233135600*x6792_bit0 -2233135600*x6793_bit0 -2233135600*x6794_bit0 -2233135600*x6795_bit0 -2233135600*x6796_bit0 -2233135600*x6797_bit0 -2233135600*x6798_bit0 -2233135600*x6799_bit0 -2233135600*x6800_bit0 -2233135600*x6801_bit0 -2233135600*x6802_bit0 -2233135600*x6803_bit0 -2233135600*x6804_bit0 -2233135600*x6805_bit0 = +16382000000;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-swath.opb
s UNKNOWN
c Exit Code: 0
c Total time: 0.222 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
Raw data (loadavg): 0.85 0.97 0.91 2/54 12009
Raw data (stat): 12009 (runsolver) R 12008 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832940781 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+0.264386 s]
Raw data (loadavg): 0.85 0.97 0.91 1/53 12009
Raw data (stat): 12009 (runsolver) R 12008 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832940781 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 0

Child status: 0
Real time (s): 0.264099
CPU time (s): 0.234963
CPU user time (s): 0.201969
CPU system time (s): 0.032994
CPU usage (%): 88.9678
Max. virtual memory (Kb): 1028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####