PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bc1.opb
MD5SUM	15670523760c6351fb6de07139f11abe
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1073741824000000000000000000
Number of bits of the biggest number in a constraint	90
Biggest sum of numbers in a constraint	3221975665359866705114824704
Number of bits of the biggest sum of numbers	92
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.11183
Number of variables	27730
Total number of constraints	3627
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	336
Number of constraints which are nor clauses,nor cardinality constraints	3291
Minimum length of a constraint	1
Maximum length of a constraint	5701
Trace number 26218

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-24 14:52:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14392 boxname=wulflinc9 idbench=1108 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  15670523760c6351fb6de07139f11abe  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-bc1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-bc1.opb
IDLAUNCH: 14392
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        668888 kB
Buffers:          1044 kB
Cached:         343696 kB
SwapCached:         88 kB
Active:         235464 kB
Inactive:       112272 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        668636 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6884 kB
Slab:            12348 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 14:52:53 (client local time) WITH STATUS 0 IN 3.41648 SECONDS
stats: 14392 7 3.41648 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: -193912710000000000*x2_bit_10 -387825420000000000*x2_bit_9 -775650840000000000*x2_bit_8 -1551301680000000000*x2_bit_7 -3102603360000000000*x2_bit_6 -6205206720000000000*x2_bit_5 -12410413440000000000*x2_bit_4 -24820826880000000000*x2_bit_3 -49641653760000000000*x2_bit_2 -99283307520000000000*x2_bit_1 -198566615040000000000*x2_bit0 -397133230080000000000*x2_bit1 -794266460160000000000*x2_bit2 -1588532920320000000000*x2_bit3 -632482940000000000*x3_bit_10 -1264965880000000000*x3_bit_9 -2529931760000000000*x3_bit_8 -5059863520000000000*x3_bit_7 -10119727040000000000*x3_bit_6 -20239454080000000000*x3_bit_5 -40478908160000000000*x3_bit_4 -80957816320000000000*x3_bit_3 -161915632640000000000*x3_bit_2 -323831265280000000000*x3_bit_1 -647662530560000000000*x3_bit0 -1295325061120000000000*x3_bit1 -2590650122240000000000*x3_bit2 -5181300244480000000000*x3_bit3 -77582030000*x4_bit_10 -155164060000*x4_bit_9 -310328120000*x4_bit_8 -620656240000*x4_bit_7 -1241312480000*x4_bit_6 -2482624960000*x4_bit_5 -4965249920000*x4_bit_4 -9930499840000*x4_bit_3 -19860999680000*x4_bit_2 -39721999360000*x4_bit_1 -79443998720000*x4_bit0 -158887997440000*x4_bit1 -317775994880000*x4_bit2 -635551989760000*x4_bit3 -1677633000000*x5_bit_10 -3355266000000*x5_bit_9 -6710532000000*x5_bit_8 -13421064000000*x5_bit_7 -26842128000000*x5_bit_6 -53684256000000*x5_bit_5 -107368512000000*x5_bit_4 -214737024000000*x5_bit_3 -429474048000000*x5_bit_2 -858948096000000*x5_bit_1 -1717896192000000*x5_bit0 -3435792384000000*x5_bit1 -6871584768000000*x5_bit2 -13743169536000000*x5_bit3 -277943200000000*x6_bit_10 -555886400000000*x6_bit_9 -1111772800000000*x6_bit_8 -2223545600000000*x6_bit_7 -4447091200000000*x6_bit_6 -8894182400000000*x6_bit_5 -17788364800000000*x6_bit_4 -35576729600000000*x6_bit_3 -71153459200000000*x6_bit_2 -142306918400000000*x6_bit_1 -284613836800000000*x6_bit0 -569227673600000000*x6_bit1 -1138455347200000000*x6_bit2 -2276910694400000000*x6_bit3 -128075570000000000*x9_bit_10 -256151140000000000*x9_bit_9 -512302280000000000*x9_bit_8 -1024604560000000000*x9_bit_7 -2049209120000000000*x9_bit_6 -4098418240000000000*x9_bit_5 -8196836480000000000*x9_bit_4 -16393672960000000000*x9_bit_3 -32787345920000000000*x9_bit_2 -65574691840000000000*x9_bit_1 -131149383680000000000*x9_bit0 -262298767360000000000*x9_bit1 -524597534720000000000*x9_bit2 -1049195069440000000000*x9_bit3 -303109990000000000*x12_bit_10 -606219980000000000*x12_bit_9 -1212439960000000000*x12_bit_8 -2424879920000000000*x12_bit_7 -4849759840000000000*x12_bit_6 -9699519680000000000*x12_bit_5 -19399039360000000000*x12_bit_4 -38798078720000000000*x12_bit_3 -77596157440000000000*x12_bit_2 -155192314880000000000*x12_bit_1 -310384629760000000000*x12_bit0 -620769259520000000000*x12_bit1 -1241538519040000000000*x12_bit2 -2483077038080000000000*x12_bit3 -4802866053120000*x14_bit_10 -9605732106240000*x14_bit_9 -19211464212480000*x14_bit_8 -38422928424960000*x14_bit_7 -76845856849920000*x14_bit_6 -153691713699840000*x14_bit_5 -307383427399680000*x14_bit_4 -614766854799360000*x14_bit_3 -1229533709598720000*x14_bit_2 -2459067419197440000*x14_bit_1 -4918134838394880000*x14_bit0 -9836269676789760000*x14_bit1 -19672539353579520000*x14_bit2 -39345078707159040000*x14_bit3 -384920360000000000*x15_bit_10 -769840720000000000*x15_bit_9 -1539681440000000000*x15_bit_8 -3079362880000000000*x15_bit_7 -6158725760000000000*x15_bit_6 -12317451520000000000*x15_bit_5 -24634903040000000000*x15_bit_4 -49269806080000000000*x15_bit_3 -98539612160000000000*x15_bit_2 -197079224320000000000*x15_bit_1 -394158448640000000000*x15_bit0 -788316897280000000000*x15_bit1 -1576633794560000000000*x15_bit2 -3153267589120000000000*x15_bit3 -312615600000*x16_bit_10 -625231200000*x16_bit_9 -1250462400000*x16_bit_8 -2500924800000*x16_bit_7 -5001849600000*x16_bit_6 -10003699200000*x16_bit_5 -20007398400000*x16_bit_4 -40014796800000*x16_bit_3 -80029593600000*x16_bit_2 -160059187200000*x16_bit_1 -320118374400000*x16_bit0 -640236748800000*x16_bit1 -1280473497600000*x16_bit2 -2560946995200000*x16_bit3 -5729734000000*x17_bit_10 -11459468000000*x17_bit_9 -22918936000000*x17_bit_8 -45837872000000*x17_bit_7 -91675744000000*x17_bit_6 -183351488000000*x17_bit_5 -366702976000000*x17_bit_4 -733405952000000*x17_bit_3 -1466811904000000*x17_bit_2 -2933623808000000*x17_bit_1 -5867247616000000*x17_bit0 -11734495232000000*x17_bit1 -23468990464000000*x17_bit2 -46937980928000000*x17_bit3 -710926900000000*x18_bit_10 -1421853800000000*x18_bit_9 -2843707600000000*x18_bit_8 -5687415200000000*x18_bit_7 -11374830400000000*x18_bit_6 -22749660800000000*x18_bit_5 -45499321600000000*x18_bit_4 -90998643200000000*x18_bit_3 -181997286400000000*x18_bit_2 -363994572800000000*x18_bit_1 -727989145600000000*x18_bit0 -1455978291200000000*x18_bit1 -2911956582400000000*x18_bit2 -5823913164800000000*x18_bit3 -27237640000*x19_bit_10 -54475280000*x19_bit_9 -108950560000*x19_bit_8 -217901120000*x19_bit_7 -435802240000*x19_bit_6 -871604480000*x19_bit_5 -1743208960000*x19_bit_4 -3486417920000*x19_bit_3 -6972835840000*x19_bit_2 -13945671680000*x19_bit_1 -27891343360000*x19_bit0 -55782686720000*x19_bit1 -111565373440000*x19_bit2 -223130746880000*x19_bit3 -666176000000*x20_bit_10 -1332352000000*x20_bit_9 -2664704000000*x20_bit_8 -5329408000000*x20_bit_7 -10658816000000*x20_bit_6 -21317632000000*x20_bit_5 -42635264000000*x20_bit_4 -85270528000000*x20_bit_3 -170541056000000*x20_bit_2 -341082112000000*x20_bit_1 -682164224000000*x20_bit0 -1364328448000000*x20_bit1 -2728656896000000*x20_bit2 -5457313792000000*x20_bit3 -135633900000000*x21_bit_10 -271267800000000*x21_bit_9 -542535600000000*x21_bit_8 -1085071200000000*x21_bit_7 -2170142400000000*x21_bit_6 -4340284800000000*x21_bit_5 -8680569600000000*x21_bit_4 -17361139200000000*x21_bit_3 -34722278400000000*x21_bit_2 -69444556800000000*x21_bit_1 -138889113600000000*x21_bit0 -277778227200000000*x21_bit1 -555556454400000000*x21_bit2 -1111112908800000000*x21_bit3 -1866442000*x22_bit_10 -3732884000*x22_bit_9 -7465768000*x22_bit_8 -14931536000*x22_bit_7 -29863072000*x22_bit_6 -59726144000*x22_bit_5 -119452288000*x22_bit_4 -238904576000*x22_bit_3 -477809152000*x22_bit_2 -955618304000*x22_bit_1 -1911236608000*x22_bit0 -3822473216000*x22_bit1 -7644946432000*x22_bit2 -15289892864000*x22_bit3 -59836770000*x23_bit_10 -119673540000*x23_bit_9 -239347080000*x23_bit_8 -478694160000*x23_bit_7 -957388320000*x23_bit_6 -1914776640000*x23_bit_5 -3829553280000*x23_bit_4 -7659106560000*x23_bit_3 -15318213120000*x23_bit_2 -30636426240000*x23_bit_1 -61272852480000*x23_bit0 -122545704960000*x23_bit1 -245091409920000*x23_bit2 -490182819840000*x23_bit3 -20763460000000*x24_bit_10 -41526920000000*x24_bit_9 -83053840000000*x24_bit_8 -166107680000000*x24_bit_7 -332215360000000*x24_bit_6 -664430720000000*x24_bit_5 -1328861440000000*x24_bit_4 -2657722880000000*x24_bit_3 -5315445760000000*x24_bit_2 -10630891520000000*x24_bit_1 -21261783040000000*x24_bit0 -42523566080000000*x24_bit1 -85047132160000000*x24_bit2 -170094264320000000*x24_bit3 -100455000*x25_bit_10 -200910000*x25_bit_9 -401820000*x25_bit_8 -803640000*x25_bit_7 -1607280000*x25_bit_6 -3214560000*x25_bit_5 -6429120000*x25_bit_4 -12858240000*x25_bit_3 -25716480000*x25_bit_2 -51432960000*x25_bit_1 -102865920000*x25_bit0 -205731840000*x25_bit1 -411463680000*x25_bit2 -822927360000*x25_bit3 -4219408000*x26_bit_10 -8438816000*x26_bit_9 -16877632000*x26_bit_8 -33755264000*x26_bit_7 -67510528000*x26_bit_6 -135021056000*x26_bit_5 -270042112000*x26_bit_4 -540084224000*x26_bit_3 -1080168448000*x26_bit_2 -2160336896000*x26_bit_1 -4320673792000*x26_bit0 -8641347584000*x26_bit1 -17282695168000*x26_bit2 -34565390336000*x26_bit3 -2552736000000*x27_bit_10 -5105472000000*x27_bit_9 -10210944000000*x27_bit_8 -20421888000000*x27_bit_7 -40843776000000*x27_bit_6 -81687552000000*x27_bit_5 -163375104000000*x27_bit_4 -326750208000000*x27_bit_3 -653500416000000*x27_bit_2 -1307000832000000*x27_bit_1 -2614001664000000*x27_bit0 -5228003328000000*x27_bit1 -10456006656000000*x27_bit2 -20912013312000000*x27_bit3 -140443*x28_bit_10 -280886*x28_bit_9 -561772*x28_bit_8 -1123544*x28_bit_7 -2247088*x28_bit_6 -4494176*x28_bit_5 -8988352*x28_bit_4 -17976704*x28_bit_3 -35953408*x28_bit_2 -71906816*x28_bit_1 -143813632*x28_bit0 -287627264*x28_bit1 -575254528*x28_bit2 -1150509056*x28_bit3 -10236400*x29_bit_10 -20472800*x29_bit_9 -40945600*x29_bit_8 -81891200*x29_bit_7 -163782400*x29_bit_6 -327564800*x29_bit_5 -655129600*x29_bit_4 -1310259200*x29_bit_3 -2620518400*x29_bit_2 -5241036800*x29_bit_1 -10482073600*x29_bit0 -20964147200*x29_bit1 -41928294400*x29_bit2 -83856588800*x29_bit3 -18957700000*x30_bit_10 -37915400000*x30_bit_9 -75830800000*x30_bit_8 -151661600000*x30_bit_7 -303323200000*x30_bit_6 -606646400000*x30_bit_5 -1213292800000*x30_bit_4 -2426585600000*x30_bit_3 -4853171200000*x30_bit_2 -9706342400000*x30_bit_1 -19412684800000*x30_bit0 -38825369600000*x30_bit1 -77650739200000*x30_bit2 -155301478400000*x30_bit3 -471330700000000*x31_bit_10 -942661400000000*x31_bit_9 -1885322800000000*x31_bit_8 -3770645600000000*x31_bit_7 -7541291200000000*x31_bit_6 -15082582400000000*x31_bit_5 -30165164800000000*x31_bit_4 -60330329600000000*x31_bit_3 -120660659200000000*x31_bit_2 -241321318400000000*x31_bit_1 -482642636800000000*x31_bit0 -965285273600000000*x31_bit1 -1930570547200000000*x31_bit2 -3861141094400000000*x31_bit3 -123952756162560*x32_bit_10 -247905512325120*x32_bit_9 -495811024650240*x32_bit_8 -991622049300480*x32_bit_7 -1983244098600960*x32_bit_6 -3966488197201920*x32_bit_5 -7932976394403840*x32_bit_4 -15865952788807680*x32_bit_3 -31731905577615360*x32_bit_2 -63463811155230720*x32_bit_1 -126927622310461440*x32_bit0 -253855244620922880*x32_bit1 -507710489241845760*x32_bit2 -1015420978483691520*x32_bit3 -949549623410688*x35_bit_10 -1899099246821376*x35_bit_9 -3798198493642752*x35_bit_8 -7596396987285504*x35_bit_7 -15192793974571008*x35_bit_6 -30385587949142016*x35_bit_5 -60771175898284032*x35_bit_4 -121542351796568064*x35_bit_3 -243084703593136128*x35_bit_2 -486169407186272256*x35_bit_1 -972338814372544512*x35_bit0 -1944677628745089024*x35_bit1 -3889355257490178048*x35_bit2 -7778710514980356096*x35_bit3 -260637350000000000*x36_bit_10 -521274700000000000*x36_bit_9 -1042549400000000000*x36_bit_8 -2085098800000000000*x36_bit_7 -4170197600000000000*x36_bit_6 -8340395200000000000*x36_bit_5 -16680790400000000000*x36_bit_4 -33361580800000000000*x36_bit_3 -66723161600000000000*x36_bit_2 -133446323200000000000*x36_bit_1 -266892646400000000000*x36_bit0 -533785292800000000000*x36_bit1 -1067570585600000000000*x36_bit2 -2135141171200000000000*x36_bit3 -87143920000*x37_bit_10 -174287840000*x37_bit_9 -348575680000*x37_bit_8 -697151360000*x37_bit_7 -1394302720000*x37_bit_6 -2788605440000*x37_bit_5 -5577210880000*x37_bit_4 -11154421760000*x37_bit_3 -22308843520000*x37_bit_2 -44617687040000*x37_bit_1 -89235374080000*x37_bit0 -178470748160000*x37_bit1 -356941496320000*x37_bit2 -713882992640000*x37_bit3 -1858748000000*x38_bit_10 -3717496000000*x38_bit_9 -7434992000000*x38_bit_8 -14869984000000*x38_bit_7 -29739968000000*x38_bit_6 -59479936000000*x38_bit_5 -118959872000000*x38_bit_4 -237919744000000*x38_bit_3 -475839488000000*x38_bit_2 -951678976000000*x38_bit_1 -1903357952000000*x38_bit0 -3806715904000000*x38_bit1 -7613431808000000*x38_bit2 -15226863616000000*x38_bit3 -300807200000000*x39_bit_10 -601614400000000*x39_bit_9 -1203228800000000*x39_bit_8 -2406457600000000*x39_bit_7 -4812915200000000*x39_bit_6 -9625830400000000*x39_bit_5 -19251660800000000*x39_bit_4 -38503321600000000*x39_bit_3 -77006643200000000*x39_bit_2 -154013286400000000*x39_bit_1 -308026572800000000*x39_bit0 -616053145600000000*x39_bit1 -1232106291200000000*x39_bit2 -2464212582400000000*x39_bit3 -30407240000000*x40_bit_10 -60814480000000*x40_bit_9 -121628960000000*x40_bit_8 -243257920000000*x40_bit_7 -486515840000000*x40_bit_6 -973031680000000*x40_bit_5 -1946063360000000*x40_bit_4 -3892126720000000*x40_bit_3 -7784253440000000*x40_bit_2 -15568506880000000*x40_bit_1 -31137013760000000*x40_bit0 -62274027520000000*x40_bit1 -124548055040000000*x40_bit2 -249096110080000000*x40_bit3 -325149500000000*x41_bit_10 -650299000000000*x41_bit_9 -1300598000000000*x41_bit_8 -2601196000000000*x41_bit_7 -5202392000000000*x41_bit_6 -10404784000000000*x41_bit_5 -20809568000000000*x41_bit_4 -41619136000000000*x41_bit_3 -83238272000000000*x41_bit_2 -166476544000000000*x41_bit_1 -332953088000000000*x41_bit0 -665906176000000000*x41_bit1 -1331812352000000000*x41_bit2 -2663624704000000000*x41_bit3 -106937000000000*x43_bit_10 -213874000000000*x43_bit_9 -427748000000000*x43_bit_8 -855496000000000*x43_bit_7 -1710992000000000*x43_bit_6 -3421984000000000*x43_bit_5 -6843968000000000*x43_bit_4 -13687936000000000*x43_bit_3 -27375872000000000*x43_bit_2 -54751744000000000*x43_bit_1 -109503488000000000*x43_bit0 -219006976000000000*x43_bit1 -438013952000000000*x43_bit2 -876027904000000000*x43_bit3 -963735100000000*x44_bit_10 -1927470200000000*x44_bit_9 -3854940400000000*x44_bit_8 -7709880800000000*x44_bit_7 -15419761600000000*x44_bit_6 -30839523200000000*x44_bit_5 -61679046400000000*x44_bit_4 -123358092800000000*x44_bit_3 -246716185600000000*x44_bit_2 -493432371200000000*x44_bit_1 -986864742400000000*x44_bit0 -1973729484800000000*x44_bit1 -3947458969600000000*x44_bit2 -7894917939200000000*x44_bit3 -663276400000000*x46_bit_10 -1326552800000000*x46_bit_9 -2653105600000000*x46_bit_8 -5306211200000000*x46_bit_7 -10612422400000000*x46_bit_6 -21224844800000000*x46_bit_5 -42449689600000000*x46_bit_4 -84899379200000000*x46_bit_3 -169798758400000000*x46_bit_2 -339597516800000000*x46_bit_1 -679195033600000000*x46_bit0 -1358390067200000000*x46_bit1 -2716780134400000000*x46_bit2 -5433560268800000000*x46_bit3 -165813654913024*x47_bit_10 -331627309826048*x47_bit_9 -663254619652096*x47_bit_8 -1326509239304192*x47_bit_7 -2653018478608384*x47_bit_6 -5306036957216768*x47_bit_5 -10612073914433536*x47_bit_4 -21224147828867072*x47_bit_3 -42448295657734144*x47_bit_2 -84896591315468288*x47_bit_1 -169793182630936576*x47_bit0 -339586365261873152*x47_bit1 -679172730523746304*x47_bit2 -1358345461047492608*x47_bit3 -43528419803136*x49_bit_10 -87056839606272*x49_bit_9 -174113679212544*x49_bit_8 -348227358425088*x49_bit_7 -696454716850176*x49_bit_6 -1392909433700352*x49_bit_5 -2785818867400704*x49_bit_4 -5571637734801408*x49_bit_3 -11143275469602816*x49_bit_2 -22286550939205632*x49_bit_1 -44573101878411264*x49_bit0 -89146203756822528*x49_bit1 -178292407513645056*x49_bit2 -356584815027290112*x49_bit3 -261817985138688*x50_bit_10 -523635970277376*x50_bit_9 -1047271940554752*x50_bit_8 -2094543881109504*x50_bit_7 -4189087762219008*x50_bit_6 -8378175524438016*x50_bit_5 -16756351048876032*x50_bit_4 -33512702097752064*x50_bit_3 -67025404195504128*x50_bit_2 -134050808391008256*x50_bit_1 -268101616782016512*x50_bit0 -536203233564033024*x50_bit1 -1072406467128066048*x50_bit2 -2144812934256132096*x50_bit3 -107477210000000000*x51_bit_10 -214954420000000000*x51_bit_9 -429908840000000000*x51_bit_8 -859817680000000000*x51_bit_7 -1719635360000000000*x51_bit_6 -3439270720000000000*x51_bit_5 -6878541440000000000*x51_bit_4 -13757082880000000000*x51_bit_3 -27514165760000000000*x51_bit_2 -55028331520000000000*x51_bit_1 -110056663040000000000*x51_bit0 -220113326080000000000*x51_bit1 -440226652160000000000*x51_bit2 -880453304320000000000*x51_bit3 -19209560000*x52_bit_10 -38419120000*x52_bit_9 -76838240000*x52_bit_8 -153676480000*x52_bit_7 -307352960000*x52_bit_6 -614705920000*x52_bit_5 -1229411840000*x52_bit_4 -2458823680000*x52_bit_3 -4917647360000*x52_bit_2 -9835294720000*x52_bit_1 -19670589440000*x52_bit0 -39341178880000*x52_bit1 -78682357760000*x52_bit2 -157364715520000*x52_bit3 -489486200000*x53_bit_10 -978972400000*x53_bit_9 -1957944800000*x53_bit_8 -3915889600000*x53_bit_7 -7831779200000*x53_bit_6 -15663558400000*x53_bit_5 -31327116800000*x53_bit_4 -62654233600000*x53_bit_3 -125308467200000*x53_bit_2 -250616934400000*x53_bit_1 -501233868800000*x53_bit0 -1002467737600000*x53_bit1 -2004935475200000*x53_bit2 -4009870950400000*x53_bit3 -106540800000000*x54_bit_10 -213081600000000*x54_bit_9 -426163200000000*x54_bit_8 -852326400000000*x54_bit_7 -1704652800000000*x54_bit_6 -3409305600000000*x54_bit_5 -6818611200000000*x54_bit_4 -13637222400000000*x54_bit_3 -27274444800000000*x54_bit_2 -54548889600000000*x54_bit_1 -109097779200000000*x54_bit0 -218195558400000000*x54_bit1 -436391116800000000*x54_bit2 -872782233600000000*x54_bit3 -112928000*x55_bit_10 -225856000*x55_bit_9 -451712000*x55_bit_8 -903424000*x55_bit_7 -1806848000*x55_bit_6 -3613696000*x55_bit_5 -7227392000*x55_bit_4 -14454784000*x55_bit_3 -28909568000*x55_bit_2 -57819136000*x55_bit_1 -115638272000*x55_bit0 -231276544000*x55_bit1 -462553088000*x55_bit2 -925106176000*x55_bit3 -4693840000*x56_bit_10 -9387680000*x56_bit_9 -18775360000*x56_bit_8 -37550720000*x56_bit_7 -75101440000*x56_bit_6 -150202880000*x56_bit_5 -300405760000*x56_bit_4 -600811520000*x56_bit_3 -1201623040000*x56_bit_2 -2403246080000*x56_bit_1 -4806492160000*x56_bit0 -9612984320000*x56_bit1 -19225968640000*x56_bit2 -38451937280000*x56_bit3 -2778490000000*x57_bit_10 -5556980000000*x57_bit_9 -11113960000000*x57_bit_8 -22227920000000*x57_bit_7 -44455840000000*x57_bit_6 -88911680000000*x57_bit_5 -177823360000000*x57_bit_4 -355646720000000*x57_bit_3 -711293440000000*x57_bit_2 -1422586880000000*x57_bit_1 -2845173760000000*x57_bit0 -5690347520000000*x57_bit1 -11380695040000000*x57_bit2 -22761390080000000*x57_bit3 -6031950*x58_bit_10 -12063900*x58_bit_9 -24127800*x58_bit_8 -48255600*x58_bit_7 -96511200*x58_bit_6 -193022400*x58_bit_5 -386044800*x58_bit_4 -772089600*x58_bit_3 -1544179200*x58_bit_2 -3088358400*x58_bit_1 -6176716800*x58_bit0 -12353433600*x58_bit1 -24706867200*x58_bit2 -49413734400*x58_bit3 -323522000*x59_bit_10 -647044000*x59_bit_9 -1294088000*x59_bit_8 -2588176000*x59_bit_7 -5176352000*x59_bit_6 -10352704000*x59_bit_5 -20705408000*x59_bit_4 -41410816000*x59_bit_3 -82821632000*x59_bit_2 -165643264000*x59_bit_1 -331286528000*x59_bit0 -662573056000*x59_bit1 -1325146112000*x59_bit2 -2650292224000*x59_bit3 -325773000000*x60_bit_10 -651546000000*x60_bit_9 -1303092000000*x60_bit_8 -2606184000000*x60_bit_7 -5212368000000*x60_bit_6 -10424736000000*x60_bit_5 -20849472000000*x60_bit_4 -41698944000000*x60_bit_3 -83397888000000*x60_bit_2 -166795776000000*x60_bit_1 -333591552000000*x60_bit0 -667183104000000*x60_bit1 -1334366208000000*x60_bit2 -2668732416000000*x60_bit3 -252908*x61_bit_10 -505816*x61_bit_9 -1011632*x61_bit_8 -2023264*x61_bit_7 -4046528*x61_bit_6 -8093056*x61_bit_5 -16186112*x61_bit_4 -32372224*x61_bit_3 -64744448*x61_bit_2 -129488896*x61_bit_1 -258977792*x61_bit0 -517955584*x61_bit1 -1035911168*x61_bit2 -2071822336*x61_bit3 -17593400*x62_bit_10 -35186800*x62_bit_9 -70373600*x62_bit_8 -140747200*x62_bit_7 -281494400*x62_bit_6 -562988800*x62_bit_5 -1125977600*x62_bit_4 -2251955200*x62_bit_3 -4503910400*x62_bit_2 -9007820800*x62_bit_1 -18015641600*x62_bit0 -36031283200*x62_bit1 -72062566400*x62_bit2 -144125132800*x62_bit3 -29697180000*x63_bit_10 -59394360000*x63_bit_9 -118788720000*x63_bit_8 -237577440000*x63_bit_7 -475154880000*x63_bit_6 -950309760000*x63_bit_5 -1900619520000*x63_bit_4 -3801239040000*x63_bit_3 -7602478080000*x63_bit_2 -15204956160000*x63_bit_1 -30409912320000*x63_bit0 -60819824640000*x63_bit1 -121639649280000*x63_bit2 -243279298560000*x63_bit3 -753619*x65_bit_10 -1507238*x65_bit_9 -3014476*x65_bit_8 -6028952*x65_bit_7 -12057904*x65_bit_6 -24115808*x65_bit_5 -48231616*x65_bit_4 -96463232*x65_bit_3 -192926464*x65_bit_2 -385852928*x65_bit_1 -771705856*x65_bit0 -1543411712*x65_bit1 -3086823424*x65_bit2 -6173646848*x65_bit3 -2153092000*x66_bit_10 -4306184000*x66_bit_9 -8612368000*x66_bit_8 -17224736000*x66_bit_7 -34449472000*x66_bit_6 -68898944000*x66_bit_5 -137797888000*x66_bit_4 -275595776000*x66_bit_3 -551191552000*x66_bit_2 -1102383104000*x66_bit_1 -2204766208000*x66_bit0 -4409532416000*x66_bit1 -8819064832000*x66_bit2 -17638129664000*x66_bit3 -5466850000000*x67_bit_10 -10933700000000*x67_bit_9 -21867400000000*x67_bit_8 -43734800000000*x67_bit_7 -87469600000000*x67_bit_6 -174939200000000*x67_bit_5 -349878400000000*x67_bit_4 -699756800000000*x67_bit_3 -1399513600000000*x67_bit_2 -2799027200000000*x67_bit_1 -5598054400000000*x67_bit0 -11196108800000000*x67_bit1 -22392217600000000*x67_bit2 -44784435200000000*x67_bit3 -72476160000000*x68_bit_10 -144952320000000*x68_bit_9 -289904640000000*x68_bit_8 -579809280000000*x68_bit_7 -1159618560000000*x68_bit_6 -2319237120000000*x68_bit_5 -4638474240000000*x68_bit_4 -9276948480000000*x68_bit_3 -18553896960000000*x68_bit_2 -37107793920000000*x68_bit_1 -74215587840000000*x68_bit0 -148431175680000000*x68_bit1 -296862351360000000*x68_bit2 -593724702720000000*x68_bit3 -170497316749312*x69_bit_10 -340994633498624*x69_bit_9 -681989266997248*x69_bit_8 -1363978533994496*x69_bit_7 -2727957067988992*x69_bit_6 -5455914135977984*x69_bit_5 -10911828271955968*x69_bit_4 -21823656543911936*x69_bit_3 -43647313087823872*x69_bit_2 -87294626175647744*x69_bit_1 -174589252351295488*x69_bit0 -349178504702590976*x69_bit1 -698357009405181952*x69_bit2 -1396714018810363904*x69_bit3 -19241880000000*x70_bit_10 -38483760000000*x70_bit_9 -76967520000000*x70_bit_8 -153935040000000*x70_bit_7 -307870080000000*x70_bit_6 -615740160000000*x70_bit_5 -1231480320000000*x70_bit_4 -2462960640000000*x70_bit_3 -4925921280000000*x70_bit_2 -9851842560000000*x70_bit_1 -19703685120000000*x70_bit0 -39407370240000000*x70_bit1 -78814740480000000*x70_bit2 -157629480960000000*x70_bit3 -218329800000000*x71_bit_10 -436659600000000*x71_bit_9 -873319200000000*x71_bit_8 -1746638400000000*x71_bit_7 -3493276800000000*x71_bit_6 -6986553600000000*x71_bit_5 -13973107200000000*x71_bit_4 -27946214400000000*x71_bit_3 -55892428800000000*x71_bit_2 -111784857600000000*x71_bit_1 -223569715200000000*x71_bit0 -447139430400000000*x71_bit1 -894278860800000000*x71_bit2 -1788557721600000000*x71_bit3 -212167000000000*x73_bit_10 -424334000000000*x73_bit_9 -848668000000000*x73_bit_8 -1697336000000000*x73_bit_7 -3394672000000000*x73_bit_6 -6789344000000000*x73_bit_5 -13578688000000000*x73_bit_4 -27157376000000000*x73_bit_3 -54314752000000000*x73_bit_2 -108629504000000000*x73_bit_1 -217259008000000000*x73_bit0 -434518016000000000*x73_bit1 -869036032000000000*x73_bit2 -1738072064000000000*x73_bit3 -67810017411072*x74_bit_10 -135620034822144*x74_bit_9 -271240069644288*x74_bit_8 -542480139288576*x74_bit_7 -1084960278577152*x74_bit_6 -2169920557154304*x74_bit_5 -4339841114308608*x74_bit_4 -8679682228617216*x74_bit_3 -17359364457234432*x74_bit_2 -34718728914468864*x74_bit_1 -69437457828937728*x74_bit0 -138874915657875456*x74_bit1 -277749831315750912*x74_bit2 -555499662631501824*x74_bit3 -1215835448279040*x75_bit_10 -2431670896558080*x75_bit_9 -4863341793116160*x75_bit_8 -9726683586232320*x75_bit_7 -19453367172464640*x75_bit_6 -38906734344929280*x75_bit_5 -77813468689858560*x75_bit_4 -155626937379717120*x75_bit_3 -311253874759434240*x75_bit_2 -622507749518868480*x75_bit_1 -1245015499037736960*x75_bit0 -2490030998075473920*x75_bit1 -4980061996150947840*x75_bit2 -9960123992301895680*x75_bit3 -19488800*x76_bit_10 -38977600*x76_bit_9 -77955200*x76_bit_8 -155910400*x76_bit_7 -311820800*x76_bit_6 -623641600*x76_bit_5 -1247283200*x76_bit_4 -2494566400*x76_bit_3 -4989132800*x76_bit_2 -9978265600*x76_bit_1 -19956531200*x76_bit0 -39913062400*x76_bit1 -79826124800*x76_bit2 -159652249600*x76_bit3 -945579000*x77_bit_10 -1891158000*x77_bit_9 -3782316000*x77_bit_8 -7564632000*x77_bit_7 -15129264000*x77_bit_6 -30258528000*x77_bit_5 -60517056000*x77_bit_4 -121034112000*x77_bit_3 -242068224000*x77_bit_2 -484136448000*x77_bit_1 -968272896000*x77_bit0 -1936545792000*x77_bit1 -3873091584000*x77_bit2 -7746183168000*x77_bit3 -774445900000*x78_bit_10 -1548891800000*x78_bit_9 -3097783600000*x78_bit_8 -6195567200000*x78_bit_7 -12391134400000*x78_bit_6 -24782268800000*x78_bit_5 -49564537600000*x78_bit_4 -99129075200000*x78_bit_3 -198258150400000*x78_bit_2 -396516300800000*x78_bit_1 -793032601600000*x78_bit0 -1586065203200000*x78_bit1 -3172130406400000*x78_bit2 -6344260812800000*x78_bit3 -1036390*x79_bit_10 -2072780*x79_bit_9 -4145560*x79_bit_8 -8291120*x79_bit_7 -16582240*x79_bit_6 -33164480*x79_bit_5 -66328960*x79_bit_4 -132657920*x79_bit_3 -265315840*x79_bit_2 -530631680*x79_bit_1 -1061263360*x79_bit0 -2122526720*x79_bit1 -4245053440*x79_bit2 -8490106880*x79_bit3 -64352300*x80_bit_10 -128704600*x80_bit_9 -257409200*x80_bit_8 -514818400*x80_bit_7 -1029636800*x80_bit_6 -2059273600*x80_bit_5 -4118547200*x80_bit_4 -8237094400*x80_bit_3 -16474188800*x80_bit_2 -32948377600*x80_bit_1 -65896755200*x80_bit0 -131793510400*x80_bit1 -263587020800*x80_bit2 -527174041600*x80_bit3 -86635220000*x81_bit_10 -173270440000*x81_bit_9 -346540880000*x81_bit_8 -693081760000*x81_bit_7 -1386163520000*x81_bit_6 -2772327040000*x81_bit_5 -5544654080000*x81_bit_4 -11089308160000*x81_bit_3 -22178616320000*x81_bit_2 -44357232640000*x81_bit_1 -88714465280000*x81_bit0 -177428930560000*x81_bit1 -354857861120000*x81_bit2 -709715722240000*x81_bit3 -146438*x83_bit_10 -292876*x83_bit_9 -585752*x83_bit_8 -1171504*x83_bit_7 -2343008*x83_bit_6 -4686016*x83_bit_5 -9372032*x83_bit_4 -18744064*x83_bit_3 -37488128*x83_bit_2 -74976256*x83_bit_1 -149952512*x83_bit0 -299905024*x83_bit1 -599810048*x83_bit2 -1199620096*x83_bit3 -543915000*x84_bit_10 -1087830000*x84_bit_9 -2175660000*x84_bit_8 -4351320000*x84_bit_7 -8702640000*x84_bit_6 -17405280000*x84_bit_5 -34810560000*x84_bit_4 -69621120000*x84_bit_3 -139242240000*x84_bit_2 -278484480000*x84_bit_1 -556968960000*x84_bit0 -1113937920000*x84_bit1 -2227875840000*x84_bit2 -4455751680000*x84_bit3 -784167900000*x85_bit_10 -1568335800000*x85_bit_9 -3136671600000*x85_bit_8 -6273343200000*x85_bit_7 -12546686400000*x85_bit_6 -25093372800000*x85_bit_5 -50186745600000*x85_bit_4 -100373491200000*x85_bit_3 -200746982400000*x85_bit_2 -401493964800000*x85_bit_1 -802987929600000*x85_bit0 -1605975859200000*x85_bit1 -3211951718400000*x85_bit2 -6423903436800000*x85_bit3 -12954940000000*x86_bit_10 -25909880000000*x86_bit_9 -51819760000000*x86_bit_8 -103639520000000*x86_bit_7 -207279040000000*x86_bit_6 -414558080000000*x86_bit_5 -829116160000000*x86_bit_4 -1658232320000000*x86_bit_3 -3316464640000000*x86_bit_2 -6632929280000000*x86_bit_1 -13265858560000000*x86_bit0 -26531717120000000*x86_bit1 -53063434240000000*x86_bit2 -106126868480000000*x86_bit3 -49165564379136*x87_bit_10 -98331128758272*x87_bit_9 -196662257516544*x87_bit_8 -393324515033088*x87_bit_7 -786649030066176*x87_bit_6 -1573298060132352*x87_bit_5 -3146596120264704*x87_bit_4 -6293192240529408*x87_bit_3 -12586384481058816*x87_bit_2 -25172768962117632*x87_bit_1 -50345537924235264*x87_bit0 -100691075848470528*x87_bit1 -201382151696941056*x87_bit2 -402764303393882112*x87_bit3 -2753079000000*x88_bit_10 -5506158000000*x88_bit_9 -11012316000000*x88_bit_8 -22024632000000*x88_bit_7 -44049264000000*x88_bit_6 -88098528000000*x88_bit_5 -176197056000000*x88_bit_4 -352394112000000*x88_bit_3 -704788224000000*x88_bit_2 -1409576448000000*x88_bit_1 -2819152896000000*x88_bit0 -5638305792000000*x88_bit1 -11276611584000000*x88_bit2 -22553223168000000*x88_bit3 -39555810000000*x89_bit_10 -79111620000000*x89_bit_9 -158223240000000*x89_bit_8 -316446480000000*x89_bit_7 -632892960000000*x89_bit_6 -1265785920000000*x89_bit_5 -2531571840000000*x89_bit_4 -5063143680000000*x89_bit_3 -10126287360000000*x89_bit_2 -20252574720000000*x89_bit_1 -40505149440000000*x89_bit0 -81010298880000000*x89_bit1 -162020597760000000*x89_bit2 -324041195520000000*x89_bit3 -7704810000000*x91_bit_10 -15409620000000*x91_bit_9 -30819240000000*x91_bit_8 -61638480000000*x91_bit_7 -123276960000000*x91_bit_6 -246553920000000*x91_bit_5 -493107840000000*x91_bit_4 -986215680000000*x91_bit_3 -1972431360000000*x91_bit_2 -3944862720000000*x91_bit_1 -7889725440000000*x91_bit0 -15779450880000000*x91_bit1 -31558901760000000*x91_bit2 -63117803520000000*x91_bit3 -98004830000000*x92_bit_10 -196009660000000*x92_bit_9 -392019320000000*x92_bit_8 -784038640000000*x92_bit_7 -1568077280000000*x92_bit_6 -3136154560000000*x92_bit_5 -6272309120000000*x92_bit_4 -12544618240000000*x92_bit_3 -25089236480000000*x92_bit_2 -50178472960000000*x92_bit_1 -100356945920000000*x92_bit0 -200713891840000000*x92_bit1 -401427783680000000*x92_bit2 -802855567360000000*x92_bit3 -42854100000000*x94_bit_10 -85708200000000*x94_bit_9 -171416400000000*x94_bit_8 -342832800000000*x94_bit_7 -685665600000000*x94_bit_6 -1371331200000000*x94_bit_5 -2742662400000000*x94_bit_4 -5485324800000000*x94_bit_3 -10970649600000000*x94_bit_2 -21941299200000000*x94_bit_1 -43882598400000000*x94_bit0 -87765196800000000*x94_bit1 -175530393600000000*x94_bit2 -351060787200000000*x94_bit3 -437874900000000*x95_bit_10 -875749800000000*x95_bit_9 -1751499600000000*x95_bit_8 -3502999200000000*x95_bit_7 -7005998400000000*x95_bit_6 -14011996800000000*x95_bit_5 -28023993600000000*x95_bit_4 -56047987200000000*x95_bit_3 -112095974400000000*x95_bit_2 -224191948800000000*x95_bit_1 -448383897600000000*x95_bit0 -896767795200000000*x95_bit1 -1793535590400000000*x95_bit2 -3587071180800000000*x95_bit3 -112800000*x99_bit_10 -225600000*x99_bit_9 -451200000*x99_bit_8 -902400000*x99_bit_7 -1804800000*x99_bit_6 -3609600000*x99_bit_5 -7219200000*x99_bit_4 -14438400000*x99_bit_3 -28876800000*x99_bit_2 -57753600000*x99_bit_1 -115507200000*x99_bit0 -231014400000*x99_bit1 -462028800000*x99_bit2 -924057600000*x99_bit3 -87143920000*x100_bit_10 -174287840000*x100_bit_9 -348575680000*x100_bit_8 -697151360000*x100_bit_7 -1394302720000*x100_bit_6 -2788605440000*x100_bit_5 -5577210880000*x100_bit_4 -11154421760000*x100_bit_3 -22308843520000*x100_bit_2 -44617687040000*x100_bit_1 -89235374080000*x100_bit0 -178470748160000*x100_bit1 -356941496320000*x100_bit2 -713882992640000*x100_bit3 -1858748000000*x101_bit_10 -3717496000000*x101_bit_9 -7434992000000*x101_bit_8 -14869984000000*x101_bit_7 -29739968000000*x101_bit_6 -59479936000000*x101_bit_5 -118959872000000*x101_bit_4 -237919744000000*x101_bit_3 -475839488000000*x101_bit_2 -951678976000000*x101_bit_1 -1903357952000000*x101_bit0 -3806715904000000*x101_bit1 -7613431808000000*x101_bit2 -15226863616000000*x101_bit3 -300807200000000*x102_bit_10 -601614400000000*x102_bit_9 -1203228800000000*x102_bit_8 -2406457600000000*x102_bit_7 -4812915200000000*x102_bit_6 -9625830400000000*x102_bit_5 -19251660800000000*x102_bit_4 -38503321600000000*x102_bit_3 -77006643200000000*x102_bit_2 -154013286400000000*x102_bit_1 -308026572800000000*x102_bit0 -616053145600000000*x102_bit1 -1232106291200000000*x102_bit2 -2464212582400000000*x102_bit3 -312615600000*x103_bit_10 -625231200000*x103_bit_9 -1250462400000*x103_bit_8 -2500924800000*x103_bit_7 -5001849600000*x103_bit_6 -10003699200000*x103_bit_5 -20007398400000*x103_bit_4 -40014796800000*x103_bit_3 -80029593600000*x103_bit_2 -160059187200000*x103_bit_1 -320118374400000*x103_bit0 -640236748800000*x103_bit1 -1280473497600000*x103_bit2 -2560946995200000*x103_bit3 -5729734000000*x104_bit_10 -11459468000000*x104_bit_9 -22918936000000*x104_bit_8 -45837872000000*x104_bit_7 -91675744000000*x104_bit_6 -183351488000000*x104_bit_5 -366702976000000*x104_bit_4 -733405952000000*x104_bit_3 -1466811904000000*x104_bit_2 -2933623808000000*x104_bit_1 -5867247616000000*x104_bit0 -11734495232000000*x104_bit1 -23468990464000000*x104_bit2 -46937980928000000*x104_bit3 -710926900000000*x105_bit_10 -1421853800000000*x105_bit_9 -2843707600000000*x105_bit_8 -5687415200000000*x105_bit_7 -11374830400000000*x105_bit_6 -22749660800000000*x105_bit_5 -45499321600000000*x105_bit_4 -90998643200000000*x105_bit_3 -181997286400000000*x105_bit_2 -363994572800000000*x105_bit_1 -727989145600000000*x105_bit0 -1455978291200000000*x105_bit1 -2911956582400000000*x105_bit2 -5823913164800000000*x105_bit3 -1954127000000*x106_bit_10 -3908254000000*x106_bit_9 -7816508000000*x106_bit_8 -15633016000000*x106_bit_7 -31266032000000*x106_bit_6 -62532064000000*x106_bit_5 -125064128000000*x106_bit_4 -250128256000000*x106_bit_3 -500256512000000*x106_bit_2 -1000513024000000*x106_bit_1 -2001026048000000*x106_bit0 -4002052096000000*x106_bit1 -8004104192000000*x106_bit2 -16008208384000000*x106_bit3 -29195360000000*x107_bit_10 -58390720000000*x107_bit_9 -116781440000000*x107_bit_8 -233562880000000*x107_bit_7 -467125760000000*x107_bit_6 -934251520000000*x107_bit_5 -1868503040000000*x107_bit_4 -3737006080000000*x107_bit_3 -7474012160000000*x107_bit_2 -14948024320000000*x107_bit_1 -29896048640000000*x107_bit0 -59792097280000000*x107_bit1 -119584194560000000*x107_bit2 -239168389120000000*x107_bit3 -3460195000000*x109_bit_10 -6920390000000*x109_bit_9 -13840780000000*x109_bit_8 -27681560000000*x109_bit_7 -55363120000000*x109_bit_6 -110726240000000*x109_bit_5 -221452480000000*x109_bit_4 -442904960000000*x109_bit_3 -885809920000000*x109_bit_2 -1771619840000000*x109_bit_1 -3543239680000000*x109_bit0 -7086479360000000*x109_bit1 -14172958720000000*x109_bit2 -28345917440000000*x109_bit3 -48416790000000*x110_bit_10 -96833580000000*x110_bit_9 -193667160000000*x110_bit_8 -387334320000000*x110_bit_7 -774668640000000*x110_bit_6 -1549337280000000*x110_bit_5 -3098674560000000*x110_bit_4 -6197349120000000*x110_bit_3 -12394698240000000*x110_bit_2 -24789396480000000*x110_bit_1 -49578792960000000*x110_bit0 -99157585920000000*x110_bit1 -198315171840000000*x110_bit2 -396630343680000000*x110_bit3 -127479998054400*x111_bit_10 -254959996108800*x111_bit_9 -509919992217600*x111_bit_8 -1019839984435200*x111_bit_7 -2039679968870400*x111_bit_6 -4079359937740800*x111_bit_5 -8158719875481600*x111_bit_4 -16317439750963200*x111_bit_3 -32634879501926400*x111_bit_2 -65269759003852800*x111_bit_1 -130539518007705600*x111_bit0 -261079036015411200*x111_bit1 -522158072030822400*x111_bit2 -1044316144061644800*x111_bit3 -4876073000000*x112_bit_10 -9752146000000*x112_bit_9 -19504292000000*x112_bit_8 -39008584000000*x112_bit_7 -78017168000000*x112_bit_6 -156034336000000*x112_bit_5 -312068672000000*x112_bit_4 -624137344000000*x112_bit_3 -1248274688000000*x112_bit_2 -2496549376000000*x112_bit_1 -4993098752000000*x112_bit0 -9986197504000000*x112_bit1 -19972395008000000*x112_bit2 -39944790016000000*x112_bit3 -65530520000000*x113_bit_10 -131061040000000*x113_bit_9 -262122080000000*x113_bit_8 -524244160000000*x113_bit_7 -1048488320000000*x113_bit_6 -2096976640000000*x113_bit_5 -4193953280000000*x113_bit_4 -8387906560000000*x113_bit_3 -16775813120000000*x113_bit_2 -33551626240000000*x113_bit_1 -67103252480000000*x113_bit0 -134206504960000000*x113_bit1 -268413009920000000*x113_bit2 -536826019840000000*x113_bit3 -284439*x115_bit_10 -568878*x115_bit_9 -1137756*x115_bit_8 -2275512*x115_bit_7 -4551024*x115_bit_6 -9102048*x115_bit_5 -18204096*x115_bit_4 -36408192*x115_bit_3 -72816384*x115_bit_2 -145632768*x115_bit_1 -291265536*x115_bit0 -582531072*x115_bit1 -1165062144*x115_bit2 -2330124288*x115_bit3 -19604500*x116_bit_10 -39209000*x116_bit_9 -78418000*x116_bit_8 -156836000*x116_bit_7 -313672000*x116_bit_6 -627344000*x116_bit_5 -1254688000*x116_bit_4 -2509376000*x116_bit_3 -5018752000*x116_bit_2 -10037504000*x116_bit_1 -20075008000*x116_bit0 -40150016000*x116_bit1 -80300032000*x116_bit2 -160600064000*x116_bit3 -32480210000*x117_bit_10 -64960420000*x117_bit_9 -129920840000*x117_bit_8 -259841680000*x117_bit_7 -519683360000*x117_bit_6 -1039366720000*x117_bit_5 -2078733440000*x117_bit_4 -4157466880000*x117_bit_3 -8314933760000*x117_bit_2 -16629867520000*x117_bit_1 -33259735040000*x117_bit0 -66519470080000*x117_bit1 -133038940160000*x117_bit2 -266077880320000*x117_bit3 -19129200*x120_bit_10 -38258400*x120_bit_9 -76516800*x120_bit_8 -153033600*x120_bit_7 -306067200*x120_bit_6 -612134400*x120_bit_5 -1224268800*x120_bit_4 -2448537600*x120_bit_3 -4897075200*x120_bit_2 -9794150400*x120_bit_1 -19588300800*x120_bit0 -39176601600*x120_bit1 -78353203200*x120_bit2 -156706406400*x120_bit3 -77582030000*x121_bit_10 -155164060000*x121_bit_9 -310328120000*x121_bit_8 -620656240000*x121_bit_7 -1241312480000*x121_bit_6 -2482624960000*x121_bit_5 -4965249920000*x121_bit_4 -9930499840000*x121_bit_3 -19860999680000*x121_bit_2 -39721999360000*x121_bit_1 -79443998720000*x121_bit0 -158887997440000*x121_bit1 -317775994880000*x121_bit2 -635551989760000*x121_bit3 -1677633000000*x122_bit_10 -3355266000000*x122_bit_9 -6710532000000*x122_bit_8 -13421064000000*x122_bit_7 -26842128000000*x122_bit_6 -53684256000000*x122_bit_5 -107368512000000*x122_bit_4 -214737024000000*x122_bit_3 -429474048000000*x122_bit_2 -858948096000000*x122_bit_1 -1717896192000000*x122_bit0 -3435792384000000*x122_bit1 -6871584768000000*x122_bit2 -13743169536000000*x122_bit3 -277943200000000*x123_bit_10 -555886400000000*x123_bit_9 -1111772800000000*x123_bit_8 -2223545600000000*x123_bit_7 -4447091200000000*x123_bit_6 -8894182400000000*x123_bit_5 -17788364800000000*x123_bit_4 -35576729600000000*x123_bit_3 -71153459200000000*x123_bit_2 -142306918400000000*x123_bit_1 -284613836800000000*x123_bit0 -569227673600000000*x123_bit1 -1138455347200000000*x123_bit2 -2276910694400000000*x123_bit3 -174963100000*x124_bit_10 -349926200000*x124_bit_9 -699852400000*x124_bit_8 -1399704800000*x124_bit_7 -2799409600000*x124_bit_6 -5598819200000*x124_bit_5 -11197638400000*x124_bit_4 -22395276800000*x124_bit_3 -44790553600000*x124_bit_2 -89581107200000*x124_bit_1 -179162214400000*x124_bit0 -358324428800000*x124_bit1 -716648857600000*x124_bit2 -1433297715200000*x124_bit3 -3436476000000*x125_bit_10 -6872952000000*x125_bit_9 -13745904000000*x125_bit_8 -27491808000000*x125_bit_7 -54983616000000*x125_bit_6 -109967232000000*x125_bit_5 -219934464000000*x125_bit_4 -439868928000000*x125_bit_3 -879737856000000*x125_bit_2 -1759475712000000*x125_bit_1 -3518951424000000*x125_bit0 -7037902848000000*x125_bit1 -14075805696000000*x125_bit2 -28151611392000000*x125_bit3 -481942900000000*x126_bit_10 -963885800000000*x126_bit_9 -1927771600000000*x126_bit_8 -3855543200000000*x126_bit_7 -7711086400000000*x126_bit_6 -15422172800000000*x126_bit_5 -30844345600000000*x126_bit_4 -61688691200000000*x126_bit_3 -123377382400000000*x126_bit_2 -246754764800000000*x126_bit_1 -493509529600000000*x126_bit0 -987019059200000000*x126_bit1 -1974038118400000000*x126_bit2 -3948076236800000000*x126_bit3 -312615600000*x127_bit_10 -625231200000*x127_bit_9 -1250462400000*x127_bit_8 -2500924800000*x127_bit_7 -5001849600000*x127_bit_6 -10003699200000*x127_bit_5 -20007398400000*x127_bit_4 -40014796800000*x127_bit_3 -80029593600000*x127_bit_2 -160059187200000*x127_bit_1 -320118374400000*x127_bit0 -640236748800000*x127_bit1 -1280473497600000*x127_bit2 -2560946995200000*x127_bit3 -5729734000000*x128_bit_10 -11459468000000*x128_bit_9 -22918936000000*x128_bit_8 -45837872000000*x128_bit_7 -91675744000000*x128_bit_6 -183351488000000*x128_bit_5 -366702976000000*x128_bit_4 -733405952000000*x128_bit_3 -1466811904000000*x128_bit_2 -2933623808000000*x128_bit_1 -5867247616000000*x128_bit0 -11734495232000000*x128_bit1 -23468990464000000*x128_bit2 -46937980928000000*x128_bit3 -710926900000000*x129_bit_10 -1421853800000000*x129_bit_9 -2843707600000000*x129_bit_8 -5687415200000000*x129_bit_7 -11374830400000000*x129_bit_6 -22749660800000000*x129_bit_5 -45499321600000000*x129_bit_4 -90998643200000000*x129_bit_3 -181997286400000000*x129_bit_2 -363994572800000000*x129_bit_1 -727989145600000000*x129_bit0 -1455978291200000000*x129_bit1 -2911956582400000000*x129_bit2 -5823913164800000000*x129_bit3 -442755300000*x130_bit_10 -885510600000*x130_bit_9 -1771021200000*x130_bit_8 -3542042400000*x130_bit_7 -7084084800000*x130_bit_6 -14168169600000*x130_bit_5 -28336339200000*x130_bit_4 -56672678400000*x130_bit_3 -113345356800000*x130_bit_2 -226690713600000*x130_bit_1 -453381427200000*x130_bit0 -906762854400000*x130_bit1 -1813525708800000*x130_bit2 -3627051417600000*x130_bit3 -7782947000000*x131_bit_10 -15565894000000*x131_bit_9 -31131788000000*x131_bit_8 -62263576000000*x131_bit_7 -124527152000000*x131_bit_6 -249054304000000*x131_bit_5 -498108608000000*x131_bit_4 -996217216000000*x131_bit_3 -1992434432000000*x131_bit_2 -3984868864000000*x131_bit_1 -7969737728000000*x131_bit0 -15939475456000000*x131_bit1 -31878950912000000*x131_bit2 -63757901824000000*x131_bit3 -896012700000000*x132_bit_10 -1792025400000000*x132_bit_9 -3584050800000000*x132_bit_8 -7168101600000000*x132_bit_7 -14336203200000000*x132_bit_6 -28672406400000000*x132_bit_5 -57344812800000000*x132_bit_4 -114689625600000000*x132_bit_3 -229379251200000000*x132_bit_2 -458758502400000000*x132_bit_1 -917517004800000000*x132_bit0 -1835034009600000000*x132_bit1 -3670068019200000000*x132_bit2 -7340136038400000000*x132_bit3 -359823*x133_bit_10 -719646*x133_bit_9 -1439292*x133_bit_8 -2878584*x133_bit_7 -5757168*x133_bit_6 -11514336*x133_bit_5 -23028672*x133_bit_4 -46057344*x133_bit_3 -92114688*x133_bit_2 -184229376*x133_bit_1 -368458752*x133_bit0 -736917504*x133_bit1 -1473835008*x133_bit2 -2947670016*x133_bit3 -24340300*x134_bit_10 -48680600*x134_bit_9 -97361200*x134_bit_8 -194722400*x134_bit_7 -389444800*x134_bit_6 -778889600*x134_bit_5 -1557779200*x134_bit_4 -3115558400*x134_bit_3 -6231116800*x134_bit_2 -12462233600*x134_bit_1 -24924467200*x134_bit0 -49848934400*x134_bit1 -99697868800*x134_bit2 -199395737600*x134_bit3 -38845690000*x135_bit_10 -77691380000*x135_bit_9 -155382760000*x135_bit_8 -310765520000*x135_bit_7 -621531040000*x135_bit_6 -1243062080000*x135_bit_5 -2486124160000*x135_bit_4 -4972248320000*x135_bit_3 -9944496640000*x135_bit_2 -19888993280000*x135_bit_1 -39777986560000*x135_bit0 -79555973120000*x135_bit1 -159111946240000*x135_bit2 -318223892480000*x135_bit3 -1866442000*x136_bit_10 -3732884000*x136_bit_9 -7465768000*x136_bit_8 -14931536000*x136_bit_7 -29863072000*x136_bit_6 -59726144000*x136_bit_5 -119452288000*x136_bit_4 -238904576000*x136_bit_3 -477809152000*x136_bit_2 -955618304000*x136_bit_1 -1911236608000*x136_bit0 -3822473216000*x136_bit1 -7644946432000*x136_bit2 -15289892864000*x136_bit3 -59836770000*x137_bit_10 -119673540000*x137_bit_9 -239347080000*x137_bit_8 -478694160000*x137_bit_7 -957388320000*x137_bit_6 -1914776640000*x137_bit_5 -3829553280000*x137_bit_4 -7659106560000*x137_bit_3 -15318213120000*x137_bit_2 -30636426240000*x137_bit_1 -61272852480000*x137_bit0 -122545704960000*x137_bit1 -245091409920000*x137_bit2 -490182819840000*x137_bit3 -20763460000000*x138_bit_10 -41526920000000*x138_bit_9 -83053840000000*x138_bit_8 -166107680000000*x138_bit_7 -332215360000000*x138_bit_6 -664430720000000*x138_bit_5 -1328861440000000*x138_bit_4 -2657722880000000*x138_bit_3 -5315445760000000*x138_bit_2 -10630891520000000*x138_bit_1 -21261783040000000*x138_bit0 -42523566080000000*x138_bit1 -85047132160000000*x138_bit2 -170094264320000000*x138_bit3 -5332805000*x139_bit_10 -10665610000*x139_bit_9 -21331220000*x139_bit_8 -42662440000*x139_bit_7 -85324880000*x139_bit_6 -170649760000*x139_bit_5 -341299520000*x139_bit_4 -682599040000*x139_bit_3 -1365198080000*x139_bit_2 -2730396160000*x139_bit_1 -5460792320000*x139_bit0 -10921584640000*x139_bit1 -21843169280000*x139_bit2 -43686338560000*x139_bit3 -154431300000*x140_bit_10 -308862600000*x140_bit_9 -617725200000*x140_bit_8 -1235450400000*x140_bit_7 -2470900800000*x140_bit_6 -4941801600000*x140_bit_5 -9883603200000*x140_bit_4 -19767206400000*x140_bit_3 -39534412800000*x140_bit_2 -79068825600000*x140_bit_1 -158137651200000*x140_bit0 -316275302400000*x140_bit1 -632550604800000*x140_bit2 -1265101209600000*x140_bit3 -43568870000000*x141_bit_10 -87137740000000*x141_bit_9 -174275480000000*x141_bit_8 -348550960000000*x141_bit_7 -697101920000000*x141_bit_6 -1394203840000000*x141_bit_5 -2788407680000000*x141_bit_4 -5576815360000000*x141_bit_3 -11153630720000000*x141_bit_2 -22307261440000000*x141_bit_1 -44614522880000000*x141_bit0 -89229045760000000*x141_bit1 -178458091520000000*x141_bit2 -356916183040000000*x141_bit3 -12056530000*x142_bit_10 -24113060000*x142_bit_9 -48226120000*x142_bit_8 -96452240000*x142_bit_7 -192904480000*x142_bit_6 -385808960000*x142_bit_5 -771617920000*x142_bit_4 -1543235840000*x142_bit_3 -3086471680000*x142_bit_2 -6172943360000*x142_bit_1 -12345886720000*x142_bit0 -24691773440000*x142_bit1 -49383546880000*x142_bit2 -98767093760000*x142_bit3 -322000200000*x143_bit_10 -644000400000*x143_bit_9 -1288000800000*x143_bit_8 -2576001600000*x143_bit_7 -5152003200000*x143_bit_6 -10304006400000*x143_bit_5 -20608012800000*x143_bit_4 -41216025600000*x143_bit_3 -82432051200000*x143_bit_2 -164864102400000*x143_bit_1 -329728204800000*x143_bit0 -659456409600000*x143_bit1 -1318912819200000*x143_bit2 -2637825638400000*x143_bit3 -77088230000000*x144_bit_10 -154176460000000*x144_bit_9 -308352920000000*x144_bit_8 -616705840000000*x144_bit_7 -1233411680000000*x144_bit_6 -2466823360000000*x144_bit_5 -4933646720000000*x144_bit_4 -9867293440000000*x144_bit_3 -19734586880000000*x144_bit_2 -39469173760000000*x144_bit_1 -78938347520000000*x144_bit0 -157876695040000000*x144_bit1 -315753390080000000*x144_bit2 -631506780160000000*x144_bit3 -21581160000*x145_bit_10 -43162320000*x145_bit_9 -86324640000*x145_bit_8 -172649280000*x145_bit_7 -345298560000*x145_bit_6 -690597120000*x145_bit_5 -1381194240000*x145_bit_4 -2762388480000*x145_bit_3 -5524776960000*x145_bit_2 -11049553920000*x145_bit_1 -22099107840000*x145_bit0 -44198215680000*x145_bit1 -88396431360000*x145_bit2 -176792862720000*x145_bit3 -542477200000*x146_bit_10 -1084954400000*x146_bit_9 -2169908800000*x146_bit_8 -4339817600000*x146_bit_7 -8679635200000*x146_bit_6 -17359270400000*x146_bit_5 -34718540800000*x146_bit_4 -69437081600000*x146_bit_3 -138874163200000*x146_bit_2 -277748326400000*x146_bit_1 -555496652800000*x146_bit0 -1110993305600000*x146_bit1 -2221986611200000*x146_bit2 -4443973222400000*x146_bit3 -115483400000000*x147_bit_10 -230966800000000*x147_bit_9 -461933600000000*x147_bit_8 -923867200000000*x147_bit_7 -1847734400000000*x147_bit_6 -3695468800000000*x147_bit_5 -7390937600000000*x147_bit_4 -14781875200000000*x147_bit_3 -29563750400000000*x147_bit_2 -59127500800000000*x147_bit_1 -118255001600000000*x147_bit0 -236510003200000000*x147_bit1 -473020006400000000*x147_bit2 -946040012800000000*x147_bit3 -2008060*x149_bit_10 -4016120*x149_bit_9 -8032240*x149_bit_8 -16064480*x149_bit_7 -32128960*x149_bit_6 -64257920*x149_bit_5 -128515840*x149_bit_4 -257031680*x149_bit_3 -514063360*x149_bit_2 -1028126720*x149_bit_1 -2056253440*x149_bit0 -4112506880*x149_bit1 -8225013760*x149_bit2 -16450027520*x149_bit3 -4886887000*x150_bit_10 -9773774000*x150_bit_9 -19547548000*x150_bit_8 -39095096000*x150_bit_7 -78190192000*x150_bit_6 -156380384000*x150_bit_5 -312760768000*x150_bit_4 -625521536000*x150_bit_3 -1251043072000*x150_bit_2 -2502086144000*x150_bit_1 -5004172288000*x150_bit0 -10008344576000*x150_bit1 -20016689152000*x150_bit2 -40033378304000*x150_bit3 -58780200*x153_bit_10 -117560400*x153_bit_9 -235120800*x153_bit_8 -470241600*x153_bit_7 -940483200*x153_bit_6 -1880966400*x153_bit_5 -3761932800*x153_bit_4 -7523865600*x153_bit_3 -15047731200*x153_bit_2 -30095462400*x153_bit_1 -60190924800*x153_bit0 -120381849600*x153_bit1 -240763699200*x153_bit2 -481527398400*x153_bit3 -296318*x156_bit_10 -592636*x156_bit_9 -1185272*x156_bit_8 -2370544*x156_bit_7 -4741088*x156_bit_6 -9482176*x156_bit_5 -18964352*x156_bit_4 -37928704*x156_bit_3 -75857408*x156_bit_2 -151714816*x156_bit_1 -303429632*x156_bit0 -606859264*x156_bit1 -1213718528*x156_bit2 -2427437056*x156_bit3 -287900000*x157_bit_10 -575800000*x157_bit_9 -1151600000*x157_bit_8 -2303200000*x157_bit_7 -4606400000*x157_bit_6 -9212800000*x157_bit_5 -18425600000*x157_bit_4 -36851200000*x157_bit_3 -73702400000*x157_bit_2 -147404800000*x157_bit_1 -294809600000*x157_bit0 -589619200000*x157_bit1 -1179238400000*x157_bit2 -2358476800000*x157_bit3 -10993580000*x158_bit_10 -21987160000*x158_bit_9 -43974320000*x158_bit_8 -87948640000*x158_bit_7 -175897280000*x158_bit_6 -351794560000*x158_bit_5 -703589120000*x158_bit_4 -1407178240000*x158_bit_3 -2814356480000*x158_bit_2 -5628712960000*x158_bit_1 -11257425920000*x158_bit0 -22514851840000*x158_bit1 -45029703680000*x158_bit2 -90059407360000*x158_bit3 -5459485000000*x159_bit_10 -10918970000000*x159_bit_9 -21837940000000*x159_bit_8 -43675880000000*x159_bit_7 -87351760000000*x159_bit_6 -174703520000000*x159_bit_5 -349407040000000*x159_bit_4 -698814080000000*x159_bit_3 -1397628160000000*x159_bit_2 -2795256320000000*x159_bit_1 -5590512640000000*x159_bit0 -11181025280000000*x159_bit1 -22362050560000000*x159_bit2 -44724101120000000*x159_bit3 -652497000*x160_bit_10 -1304994000*x160_bit_9 -2609988000*x160_bit_8 -5219976000*x160_bit_7 -10439952000*x160_bit_6 -20879904000*x160_bit_5 -41759808000*x160_bit_4 -83519616000*x160_bit_3 -167039232000*x160_bit_2 -334078464000*x160_bit_1 -668156928000*x160_bit0 -1336313856000*x160_bit1 -2672627712000*x160_bit2 -5345255424000*x160_bit3 -23101430000*x161_bit_10 -46202860000*x161_bit_9 -92405720000*x161_bit_8 -184811440000*x161_bit_7 -369622880000*x161_bit_6 -739245760000*x161_bit_5 -1478491520000*x161_bit_4 -2956983040000*x161_bit_3 -5913966080000*x161_bit_2 -11827932160000*x161_bit_1 -23655864320000*x161_bit0 -47311728640000*x161_bit1 -94623457280000*x161_bit2 -189246914560000*x161_bit3 -9820125000000*x162_bit_10 -19640250000000*x162_bit_9 -39280500000000*x162_bit_8 -78561000000000*x162_bit_7 -157122000000000*x162_bit_6 -314244000000000*x162_bit_5 -628488000000000*x162_bit_4 -1256976000000000*x162_bit_3 -2513952000000000*x162_bit_2 -5027904000000000*x162_bit_1 -10055808000000000*x162_bit0 -20111616000000000*x162_bit1 -40223232000000000*x162_bit2 -80446464000000000*x162_bit3 -1170076000*x163_bit_10 -2340152000*x163_bit_9 -4680304000*x163_bit_8 -9360608000*x163_bit_7 -18721216000*x163_bit_6 -37442432000*x163_bit_5 -74884864000*x163_bit_4 -149769728000*x163_bit_3 -299539456000*x163_bit_2 -599078912000*x163_bit_1 -1198157824000*x163_bit0 -2396315648000*x163_bit1 -4792631296000*x163_bit2 -9585262592000*x163_bit3 -39215120000*x164_bit_10 -78430240000*x164_bit_9 -156860480000*x164_bit_8 -313720960000*x164_bit_7 -627441920000*x164_bit_6 -1254883840000*x164_bit_5 -2509767680000*x164_bit_4 -5019535360000*x164_bit_3 -10039070720000*x164_bit_2 -20078141440000*x164_bit_1 -40156282880000*x164_bit0 -80312565760000*x164_bit1 -160625131520000*x164_bit2 -321250263040000*x164_bit3 -14899080000000*x165_bit_10 -29798160000000*x165_bit_9 -59596320000000*x165_bit_8 -119192640000000*x165_bit_7 -238385280000000*x165_bit_6 -476770560000000*x165_bit_5 -953541120000000*x165_bit_4 -1907082240000000*x165_bit_3 -3814164480000000*x165_bit_2 -7628328960000000*x165_bit_1 -15256657920000000*x165_bit0 -30513315840000000*x165_bit1 -61026631680000000*x165_bit2 -122053263360000000*x165_bit3 -1660824000*x166_bit_10 -3321648000*x166_bit_9 -6643296000*x166_bit_8 -13286592000*x166_bit_7 -26573184000*x166_bit_6 -53146368000*x166_bit_5 -106292736000*x166_bit_4 -212585472000*x166_bit_3 -425170944000*x166_bit_2 -850341888000*x166_bit_1 -1700683776000*x166_bit0 -3401367552000*x166_bit1 -6802735104000*x166_bit2 -13605470208000*x166_bit3 -53841610000*x167_bit_10 -107683220000*x167_bit_9 -215366440000*x167_bit_8 -430732880000*x167_bit_7 -861465760000*x167_bit_6 -1722931520000*x167_bit_5 -3445863040000*x167_bit_4 -6891726080000*x167_bit_3 -13783452160000*x167_bit_2 -27566904320000*x167_bit_1 -55133808640000*x167_bit0 -110267617280000*x167_bit1 -220535234560000*x167_bit2 -441070469120000*x167_bit3 -19112810000000*x168_bit_10 -38225620000000*x168_bit_9 -76451240000000*x168_bit_8 -152902480000000*x168_bit_7 -305804960000000*x168_bit_6 -611609920000000*x168_bit_5 -1223219840000000*x168_bit_4 -2446439680000000*x168_bit_3 -4892879360000000*x168_bit_2 -9785758720000000*x168_bit_1 -19571517440000000*x168_bit0 -39143034880000000*x168_bit1 -78286069760000000*x168_bit2 -156572139520000000*x168_bit3 -1299290*x170_bit_10 -2598580*x170_bit_9 -5197160*x170_bit_8 -10394320*x170_bit_7 -20788640*x170_bit_6 -41577280*x170_bit_5 -83154560*x170_bit_4 -166309120*x170_bit_3 -332618240*x170_bit_2 -665236480*x170_bit_1 -1330472960*x170_bit0 -2660945920*x170_bit1 -5321891840*x170_bit2 -10643783680*x170_bit3 -3396778000*x171_bit_10 -6793556000*x171_bit_9 -13587112000*x171_bit_8 -27174224000*x171_bit_7 -54348448000*x171_bit_6 -108696896000*x171_bit_5 -217393792000*x171_bit_4 -434787584000*x171_bit_3 -869575168000*x171_bit_2 -1739150336000*x171_bit_1 -3478300672000*x171_bit0 -6956601344000*x171_bit1 -13913202688000*x171_bit2 -27826405376000*x171_bit3 -434097*x174_bit_10 -868194*x174_bit_9 -1736388*x174_bit_8 -3472776*x174_bit_7 -6945552*x174_bit_6 -13891104*x174_bit_5 -27782208*x174_bit_4 -55564416*x174_bit_3 -111128832*x174_bit_2 -222257664*x174_bit_1 -444515328*x174_bit0 -889030656*x174_bit1 -1778061312*x174_bit2 -3556122624*x174_bit3 -27700300*x178_bit_10 -55400600*x178_bit_9 -110801200*x178_bit_8 -221602400*x178_bit_7 -443204800*x178_bit_6 -886409600*x178_bit_5 -1772819200*x178_bit_4 -3545638400*x178_bit_3 -7091276800*x178_bit_2 -14182553600*x178_bit_1 -28365107200*x178_bit0 -56730214400*x178_bit1 -113460428800*x178_bit2 -226920857600*x178_bit3 -1303603000*x179_bit_10 -2607206000*x179_bit_9 -5214412000*x179_bit_8 -10428824000*x179_bit_7 -20857648000*x179_bit_6 -41715296000*x179_bit_5 -83430592000*x179_bit_4 -166861184000*x179_bit_3 -333722368000*x179_bit_2 -667444736000*x179_bit_1 -1334889472000*x179_bit0 -2669778944000*x179_bit1 -5339557888000*x179_bit2 -10679115776000*x179_bit3 -1000922000000*x180_bit_10 -2001844000000*x180_bit_9 -4003688000000*x180_bit_8 -8007376000000*x180_bit_7 -16014752000000*x180_bit_6 -32029504000000*x180_bit_5 -64059008000000*x180_bit_4 -128118016000000*x180_bit_3 -256236032000000*x180_bit_2 -512472064000000*x180_bit_1 -1024944128000000*x180_bit0 -2049888256000000*x180_bit1 -4099776512000000*x180_bit2 -8199553024000000*x180_bit3 -49759800*x181_bit_10 -99519600*x181_bit_9 -199039200*x181_bit_8 -398078400*x181_bit_7 -796156800*x181_bit_6 -1592313600*x181_bit_5 -3184627200*x181_bit_4 -6369254400*x181_bit_3 -12738508800*x181_bit_2 -25477017600*x181_bit_1 -50954035200*x181_bit0 -101908070400*x181_bit1 -203816140800*x181_bit2 -407632281600*x181_bit3 -2224588000*x182_bit_10 -4449176000*x182_bit_9 -8898352000*x182_bit_8 -17796704000*x182_bit_7 -35593408000*x182_bit_6 -71186816000*x182_bit_5 -142373632000*x182_bit_4 -284747264000*x182_bit_3 -569494528000*x182_bit_2 -1138989056000*x182_bit_1 -2277978112000*x182_bit0 -4555956224000*x182_bit1 -9111912448000*x182_bit2 -18223824896000*x182_bit3 -1533233000000*x183_bit_10 -3066466000000*x183_bit_9 -6132932000000*x183_bit_8 -12265864000000*x183_bit_7 -24531728000000*x183_bit_6 -49063456000000*x183_bit_5 -98126912000000*x183_bit_4 -196253824000000*x183_bit_3 -392507648000000*x183_bit_2 -785015296000000*x183_bit_1 -1570030592000000*x183_bit0 -3140061184000000*x183_bit1 -6280122368000000*x183_bit2 -12560244736000000*x183_bit3 -70705100*x184_bit_10 -141410200*x184_bit_9 -282820400*x184_bit_8 -565640800*x184_bit_7 -1131281600*x184_bit_6 -2262563200*x184_bit_5 -4525126400*x184_bit_4 -9050252800*x184_bit_3 -18100505600*x184_bit_2 -36201011200*x184_bit_1 -72402022400*x184_bit0 -144804044800*x184_bit1 -289608089600*x184_bit2 -579216179200*x184_bit3 -3064242000*x185_bit_10 -6128484000*x185_bit_9 -12256968000*x185_bit_8 -24513936000*x185_bit_7 -49027872000*x185_bit_6 -98055744000*x185_bit_5 -196111488000*x185_bit_4 -392222976000*x185_bit_3 -784445952000*x185_bit_2 -1568891904000*x185_bit_1 -3137783808000*x185_bit0 -6275567616000*x185_bit1 -12551135232000*x185_bit2 -25102270464000*x185_bit3 -1978922000000*x186_bit_10 -3957844000000*x186_bit_9 -7915688000000*x186_bit_8 -15831376000000*x186_bit_7 -31662752000000*x186_bit_6 -63325504000000*x186_bit_5 -126651008000000*x186_bit_4 -253302016000000*x186_bit_3 -506604032000000*x186_bit_2 -1013208064000000*x186_bit_1 -2026416128000000*x186_bit0 -4052832256000000*x186_bit1 -8105664512000000*x186_bit2 -16211329024000000*x186_bit3 -40460500*x189_bit_10 -80921000*x189_bit_9 -161842000*x189_bit_8 -323684000*x189_bit_7 -647368000*x189_bit_6 -1294736000*x189_bit_5 -2589472000*x189_bit_4 -5178944000*x189_bit_3 -10357888000*x189_bit_2 -20715776000*x189_bit_1 -41431552000*x189_bit0 -82863104000*x189_bit1 -165726208000*x189_bit2 -331452416000*x189_bit3 -4660820*x192_bit_10 -9321640*x192_bit_9 -18643280*x192_bit_8 -37286560*x192_bit_7 -74573120*x192_bit_6 -149146240*x192_bit_5 -298292480*x192_bit_4 -596584960*x192_bit_3 -1193169920*x192_bit_2 -2386339840*x192_bit_1 -4772679680*x192_bit0 -9545359360*x192_bit1 -19090718720*x192_bit2 -38181437440*x192_bit3 -3102070*x200_bit_10 -6204140*x200_bit_9 -12408280*x200_bit_8 -24816560*x200_bit_7 -49633120*x200_bit_6 -99266240*x200_bit_5 -198532480*x200_bit_4 -397064960*x200_bit_3 -794129920*x200_bit_2 -1588259840*x200_bit_1 -3176519680*x200_bit0 -6353039360*x200_bit1 -12706078720*x200_bit2 -25412157440*x200_bit3 -7024233000*x201_bit_10 -14048466000*x201_bit_9 -28096932000*x201_bit_8 -56193864000*x201_bit_7 -112387728000*x201_bit_6 -224775456000*x201_bit_5 -449550912000*x201_bit_4 -899101824000*x201_bit_3 -1798203648000*x201_bit_2 -3596407296000*x201_bit_1 -7192814592000*x201_bit0 -14385629184000*x201_bit1 -28771258368000*x201_bit2 -57542516736000*x201_bit3 -140443*x202_bit_10 -280886*x202_bit_9 -561772*x202_bit_8 -1123544*x202_bit_7 -2247088*x202_bit_6 -4494176*x202_bit_5 -8988352*x202_bit_4 -17976704*x202_bit_3 -35953408*x202_bit_2 -71906816*x202_bit_1 -143813632*x202_bit0 -287627264*x202_bit1 -575254528*x202_bit2 -1150509056*x202_bit3 -10236400*x203_bit_10 -20472800*x203_bit_9 -40945600*x203_bit_8 -81891200*x203_bit_7 -163782400*x203_bit_6 -327564800*x203_bit_5 -655129600*x203_bit_4 -1310259200*x203_bit_3 -2620518400*x203_bit_2 -5241036800*x203_bit_1 -10482073600*x203_bit0 -20964147200*x203_bit1 -41928294400*x203_bit2 -83856588800*x203_bit3 -18957700000*x204_bit_10 -37915400000*x204_bit_9 -75830800000*x204_bit_8 -151661600000*x204_bit_7 -303323200000*x204_bit_6 -606646400000*x204_bit_5 -1213292800000*x204_bit_4 -2426585600000*x204_bit_3 -4853171200000*x204_bit_2 -9706342400000*x204_bit_1 -19412684800000*x204_bit0 -38825369600000*x204_bit1 -77650739200000*x204_bit2 -155301478400000*x204_bit3 -1658220*x205_bit_10 -3316440*x205_bit_9 -6632880*x205_bit_8 -13265760*x205_bit_7 -26531520*x205_bit_6 -53063040*x205_bit_5 -106126080*x205_bit_4 -212252160*x205_bit_3 -424504320*x205_bit_2 -849008640*x205_bit_1 -1698017280*x205_bit0 -3396034560*x205_bit1 -6792069120*x205_bit2 -13584138240*x205_bit3 -99057400*x206_bit_10 -198114800*x206_bit_9 -396229600*x206_bit_8 -792459200*x206_bit_7 -1584918400*x206_bit_6 -3169836800*x206_bit_5 -6339673600*x206_bit_4 -12679347200*x206_bit_3 -25358694400*x206_bit_2 -50717388800*x206_bit_1 -101434777600*x206_bit0 -202869555200*x206_bit1 -405739110400*x206_bit2 -811478220800*x206_bit3 -123525900000*x207_bit_10 -247051800000*x207_bit_9 -494103600000*x207_bit_8 -988207200000*x207_bit_7 -1976414400000*x207_bit_6 -3952828800000*x207_bit_5 -7905657600000*x207_bit_4 -15811315200000*x207_bit_3 -31622630400000*x207_bit_2 -63245260800000*x207_bit_1 -126490521600000*x207_bit0 -252981043200000*x207_bit1 -505962086400000*x207_bit2 -1011924172800000*x207_bit3 -2652320*x208_bit_10 -5304640*x208_bit_9 -10609280*x208_bit_8 -21218560*x208_bit_7 -42437120*x208_bit_6 -84874240*x208_bit_5 -169748480*x208_bit_4 -339496960*x208_bit_3 -678993920*x208_bit_2 -1357987840*x208_bit_1 -2715975680*x208_bit0 -5431951360*x208_bit1 -10863902720*x208_bit2 -21727805440*x208_bit3 -152403000*x209_bit_10 -304806000*x209_bit_9 -609612000*x209_bit_8 -1219224000*x209_bit_7 -2438448000*x209_bit_6 -4876896000*x209_bit_5 -9753792000*x209_bit_4 -19507584000*x209_bit_3 -39015168000*x209_bit_2 -78030336000*x209_bit_1 -156060672000*x209_bit0 -312121344000*x209_bit1 -624242688000*x209_bit2 -1248485376000*x209_bit3 -175930100000*x210_bit_10 -351860200000*x210_bit_9 -703720400000*x210_bit_8 -1407440800000*x210_bit_7 -2814881600000*x210_bit_6 -5629763200000*x210_bit_5 -11259526400000*x210_bit_4 -22519052800000*x210_bit_3 -45038105600000*x210_bit_2 -90076211200000*x210_bit_1 -180152422400000*x210_bit0 -360304844800000*x210_bit1 -720609689600000*x210_bit2 -1441219379200000*x210_bit3 -1658220*x211_bit_10 -3316440*x211_bit_9 -6632880*x211_bit_8 -13265760*x211_bit_7 -26531520*x211_bit_6 -53063040*x211_bit_5 -106126080*x211_bit_4 -212252160*x211_bit_3 -424504320*x211_bit_2 -849008640*x211_bit_1 -1698017280*x211_bit0 -3396034560*x211_bit1 -6792069120*x211_bit2 -13584138240*x211_bit3 -99057400*x212_bit_10 -198114800*x212_bit_9 -396229600*x212_bit_8 -792459200*x212_bit_7 -1584918400*x212_bit_6 -3169836800*x212_bit_5 -6339673600*x212_bit_4 -12679347200*x212_bit_3 -25358694400*x212_bit_2 -50717388800*x212_bit_1 -101434777600*x212_bit0 -202869555200*x212_bit1 -405739110400*x212_bit2 -811478220800*x212_bit3 -123525900000*x213_bit_10 -247051800000*x213_bit_9 -494103600000*x213_bit_8 -988207200000*x213_bit_7 -1976414400000*x213_bit_6 -3952828800000*x213_bit_5 -7905657600000*x213_bit_4 -15811315200000*x213_bit_3 -31622630400000*x213_bit_2 -63245260800000*x213_bit_1 -126490521600000*x213_bit0 -252981043200000*x213_bit1 -505962086400000*x213_bit2 -1011924172800000*x213_bit3 -921485*x214_bit_10 -1842970*x214_bit_9 -3685940*x214_bit_8 -7371880*x214_bit_7 -14743760*x214_bit_6 -29487520*x214_bit_5 -58975040*x214_bit_4 -117950080*x214_bit_3 -235900160*x214_bit_2 -471800320*x214_bit_1 -943600640*x214_bit0 -1887201280*x214_bit1 -3774402560*x214_bit2 -7548805120*x214_bit3 -57769700*x215_bit_10 -115539400*x215_bit_9 -231078800*x215_bit_8 -462157600*x215_bit_7 -924315200*x215_bit_6 -1848630400*x215_bit_5 -3697260800*x215_bit_4 -7394521600*x215_bit_3 -14789043200*x215_bit_2 -29578086400*x215_bit_1 -59156172800*x215_bit0 -118312345600*x215_bit1 -236624691200*x215_bit2 -473249382400*x215_bit3 -79269190000*x216_bit_10 -158538380000*x216_bit_9 -317076760000*x216_bit_8 -634153520000*x216_bit_7 -1268307040000*x216_bit_6 -2536614080000*x216_bit_5 -5073228160000*x216_bit_4 -10146456320000*x216_bit_3 -20292912640000*x216_bit_2 -40585825280000*x216_bit_1 -81171650560000*x216_bit0 -162343301120000*x216_bit1 -324686602240000*x216_bit2 -649373204480000*x216_bit3 -3102070*x218_bit_10 -6204140*x218_bit_9 -12408280*x218_bit_8 -24816560*x218_bit_7 -49633120*x218_bit_6 -99266240*x218_bit_5 -198532480*x218_bit_4 -397064960*x218_bit_3 -794129920*x218_bit_2 -1588259840*x218_bit_1 -3176519680*x218_bit0 -6353039360*x218_bit1 -12706078720*x218_bit2 -25412157440*x218_bit3 -7024233000*x219_bit_10 -14048466000*x219_bit_9 -28096932000*x219_bit_8 -56193864000*x219_bit_7 -112387728000*x219_bit_6 -224775456000*x219_bit_5 -449550912000*x219_bit_4 -899101824000*x219_bit_3 -1798203648000*x219_bit_2 -3596407296000*x219_bit_1 -7192814592000*x219_bit0 -14385629184000*x219_bit1 -28771258368000*x219_bit2 -57542516736000*x219_bit3 -112800000*x222_bit_10 -225600000*x222_bit_9 -451200000*x222_bit_8 -902400000*x222_bit_7 -1804800000*x222_bit_6 -3609600000*x222_bit_5 -7219200000*x222_bit_4 -14438400000*x222_bit_3 -28876800000*x222_bit_2 -57753600000*x222_bit_1 -115507200000*x222_bit0 -231014400000*x222_bit1 -462028800000*x222_bit2 -924057600000*x222_bit3 -19129200*x225_bit_10 -38258400*x225_bit_9 -76516800*x225_bit_8 -153033600*x225_bit_7 -306067200*x225_bit_6 -612134400*x225_bit_5 -1224268800*x225_bit_4 -2448537600*x225_bit_3 -4897075200*x225_bit_2 -9794150400*x225_bit_1 -19588300800*x225_bit0 -39176601600*x225_bit1 -78353203200*x225_bit2 -156706406400*x225_bit3 -296318*x228_bit_10 -592636*x228_bit_9 -1185272*x228_bit_8 -2370544*x228_bit_7 -4741088*x228_bit_6 -9482176*x228_bit_5 -18964352*x228_bit_4 -37928704*x228_bit_3 -75857408*x228_bit_2 -151714816*x228_bit_1 -303429632*x228_bit0 -606859264*x228_bit1 -1213718528*x228_bit2 -2427437056*x228_bit3 -105471*x239_bit_10 -210942*x239_bit_9 -421884*x239_bit_8 -843768*x239_bit_7 -1687536*x239_bit_6 -3375072*x239_bit_5 -6750144*x239_bit_4 -13500288*x239_bit_3 -27000576*x239_bit_2 -54001152*x239_bit_1 -108002304*x239_bit0 -216004608*x239_bit1 -432009216*x239_bit2 -864018432*x239_bit3 -412491000*x240_bit_10 -824982000*x240_bit_9 -1649964000*x240_bit_8 -3299928000*x240_bit_7 -6599856000*x240_bit_6 -13199712000*x240_bit_5 -26399424000*x240_bit_4 -52798848000*x240_bit_3 -105597696000*x240_bit_2 -211195392000*x240_bit_1 -422390784000*x240_bit0 -844781568000*x240_bit1 -1689563136000*x240_bit2 -3379126272000*x240_bit3 -937139*x242_bit_10 -1874278*x242_bit_9 -3748556*x242_bit_8 -7497112*x242_bit_7 -14994224*x242_bit_6 -29988448*x242_bit_5 -59976896*x242_bit_4 -119953792*x242_bit_3 -239907584*x242_bit_2 -479815168*x242_bit_1 -959630336*x242_bit0 -1919260672*x242_bit1 -3838521344*x242_bit2 -7677042688*x242_bit3 -2584263000*x243_bit_10 -5168526000*x243_bit_9 -10337052000*x243_bit_8 -20674104000*x243_bit_7 -41348208000*x243_bit_6 -82696416000*x243_bit_5 -165392832000*x243_bit_4 -330785664000*x243_bit_3 -661571328000*x243_bit_2 -1323142656000*x243_bit_1 -2646285312000*x243_bit0 -5292570624000*x243_bit1 -10585141248000*x243_bit2 -21170282496000*x243_bit3 -3458230*x245_bit_10 -6916460*x245_bit_9 -13832920*x245_bit_8 -27665840*x245_bit_7 -55331680*x245_bit_6 -110663360*x245_bit_5 -221326720*x245_bit_4 -442653440*x245_bit_3 -885306880*x245_bit_2 -1770613760*x245_bit_1 -3541227520*x245_bit0 -7082455040*x245_bit1 -14164910080*x245_bit2 -28329820160*x245_bit3 -7690018000*x246_bit_10 -15380036000*x246_bit_9 -30760072000*x246_bit_8 -61520144000*x246_bit_7 -123040288000*x246_bit_6 -246080576000*x246_bit_5 -492161152000*x246_bit_4 -984322304000*x246_bit_3 -1968644608000*x246_bit_2 -3937289216000*x246_bit_1 -7874578432000*x246_bit0 -15749156864000*x246_bit1 -31498313728000*x246_bit2 -62996627456000*x246_bit3 -4790270*x248_bit_10 -9580540*x248_bit_9 -19161080*x248_bit_8 -38322160*x248_bit_7 -76644320*x248_bit_6 -153288640*x248_bit_5 -306577280*x248_bit_4 -613154560*x248_bit_3 -1226309120*x248_bit_2 -2452618240*x248_bit_1 -4905236480*x248_bit0 -9810472960*x248_bit1 -19620945920*x248_bit2 -39241891840*x248_bit3 -10086930000*x249_bit_10 -20173860000*x249_bit_9 -40347720000*x249_bit_8 -80695440000*x249_bit_7 -161390880000*x249_bit_6 -322781760000*x249_bit_5 -645563520000*x249_bit_4 -1291127040000*x249_bit_3 -2582254080000*x249_bit_2 -5164508160000*x249_bit_1 -10329016320000*x249_bit0 -20658032640000*x249_bit1 -41316065280000*x249_bit2 -82632130560000*x249_bit3 -105471*x251_bit_10 -210942*x251_bit_9 -421884*x251_bit_8 -843768*x251_bit_7 -1687536*x251_bit_6 -3375072*x251_bit_5 -6750144*x251_bit_4 -13500288*x251_bit_3 -27000576*x251_bit_2 -54001152*x251_bit_1 -108002304*x251_bit0 -216004608*x251_bit1 -432009216*x251_bit2 -864018432*x251_bit3 -412491000*x252_bit_10 -824982000*x252_bit_9 -1649964000*x252_bit_8 -3299928000*x252_bit_7 -6599856000*x252_bit_6 -13199712000*x252_bit_5 -26399424000*x252_bit_4 -52798848000*x252_bit_3 -105597696000*x252_bit_2 -211195392000*x252_bit_1 -422390784000*x252_bit0 -844781568000*x252_bit1 -1689563136000*x252_bit2 -3379126272000*x252_bit3 -1023180*x255_bit_10 -2046360*x255_bit_9 -4092720*x255_bit_8 -8185440*x255_bit_7 -16370880*x255_bit_6 -32741760*x255_bit_5 -65483520*x255_bit_4 -130967040*x255_bit_3 -261934080*x255_bit_2 -523868160*x255_bit_1 -1047736320*x255_bit0 -2095472640*x255_bit1 -4190945280*x255_bit2 -8381890560*x255_bit3 -19129200*x267_bit_10 -38258400*x267_bit_9 -76516800*x267_bit_8 -153033600*x267_bit_7 -306067200*x267_bit_6 -612134400*x267_bit_5 -1224268800*x267_bit_4 -2448537600*x267_bit_3 -4897075200*x267_bit_2 -9794150400*x267_bit_1 -19588300800*x267_bit0 -39176601600*x267_bit1 -78353203200*x267_bit2 -156706406400*x267_bit3 -123784000*x270_bit_10 -247568000*x270_bit_9 -495136000*x270_bit_8 -990272000*x270_bit_7 -1980544000*x270_bit_6 -3961088000*x270_bit_5 -7922176000*x270_bit_4 -15844352000*x270_bit_3 -31688704000*x270_bit_2 -63377408000*x270_bit_1 -126754816000*x270_bit0 -253509632000*x270_bit1 -507019264000*x270_bit2 -1014038528000*x270_bit3 -236915000*x273_bit_10 -473830000*x273_bit_9 -947660000*x273_bit_8 -1895320000*x273_bit_7 -3790640000*x273_bit_6 -7581280000*x273_bit_5 -15162560000*x273_bit_4 -30325120000*x273_bit_3 -60650240000*x273_bit_2 -121300480000*x273_bit_1 -242600960000*x273_bit0 -485201920000*x273_bit1 -970403840000*x273_bit2 -1940807680000*x273_bit3 -376124000*x276_bit_10 -752248000*x276_bit_9 -1504496000*x276_bit_8 -3008992000*x276_bit_7 -6017984000*x276_bit_6 -12035968000*x276_bit_5 -24071936000*x276_bit_4 -48143872000*x276_bit_3 -96287744000*x276_bit_2 -192575488000*x276_bit_1 -385150976000*x276_bit0 -770301952000*x276_bit1 -1540603904000*x276_bit2 -3081207808000*x276_bit3 -146438*x278_bit_10 -292876*x278_bit_9 -585752*x278_bit_8 -1171504*x278_bit_7 -2343008*x278_bit_6 -4686016*x278_bit_5 -9372032*x278_bit_4 -18744064*x278_bit_3 -37488128*x278_bit_2 -74976256*x278_bit_1 -149952512*x278_bit0 -299905024*x278_bit1 -599810048*x278_bit2 -1199620096*x278_bit3 -543915000*x279_bit_10 -1087830000*x279_bit_9 -2175660000*x279_bit_8 -4351320000*x279_bit_7 -8702640000*x279_bit_6 -17405280000*x279_bit_5 -34810560000*x279_bit_4 -69621120000*x279_bit_3 -139242240000*x279_bit_2 -278484480000*x279_bit_1 -556968960000*x279_bit0 -1113937920000*x279_bit1 -2227875840000*x279_bit2 -4455751680000*x279_bit3 -131339*x281_bit_10 -262678*x281_bit_9 -525356*x281_bit_8 -1050712*x281_bit_7 -2101424*x281_bit_6 -4202848*x281_bit_5 -8405696*x281_bit_4 -16811392*x281_bit_3 -33622784*x281_bit_2 -67245568*x281_bit_1 -134491136*x281_bit0 -268982272*x281_bit1 -537964544*x281_bit2 -1075929088*x281_bit3 -496037000*x282_bit_10 -992074000*x282_bit_9 -1984148000*x282_bit_8 -3968296000*x282_bit_7 -7936592000*x282_bit_6 -15873184000*x282_bit_5 -31746368000*x282_bit_4 -63492736000*x282_bit_3 -126985472000*x282_bit_2 -253970944000*x282_bit_1 -507941888000*x282_bit0 -1015883776000*x282_bit1 -2031767552000*x282_bit2 -4063535104000*x282_bit3 -1988740*x294_bit_10 -3977480*x294_bit_9 -7954960*x294_bit_8 -15909920*x294_bit_7 -31819840*x294_bit_6 -63639680*x294_bit_5 -127279360*x294_bit_4 -254558720*x294_bit_3 -509117440*x294_bit_2 -1018234880*x294_bit_1 -2036469760*x294_bit0 -4072939520*x294_bit1 -8145879040*x294_bit2 -16291758080*x294_bit3 -19129200*x297_bit_10 -38258400*x297_bit_9 -76516800*x297_bit_8 -153033600*x297_bit_7 -306067200*x297_bit_6 -612134400*x297_bit_5 -1224268800*x297_bit_4 -2448537600*x297_bit_3 -4897075200*x297_bit_2 -9794150400*x297_bit_1 -19588300800*x297_bit0 -39176601600*x297_bit1 -78353203200*x297_bit2 -156706406400*x297_bit3 -19129200*x300_bit_10 -38258400*x300_bit_9 -76516800*x300_bit_8 -153033600*x300_bit_7 -306067200*x300_bit_6 -612134400*x300_bit_5 -1224268800*x300_bit_4 -2448537600*x300_bit_3 -4897075200*x300_bit_2 -9794150400*x300_bit_1 -19588300800*x300_bit0 -39176601600*x300_bit1 -78353203200*x300_bit2 -156706406400*x300_bit3 -9018890*x303_bit_10 -18037780*x303_bit_9 -36075560*x303_bit_8 -72151120*x303_bit_7 -144302240*x303_bit_6 -288604480*x303_bit_5 -577208960*x303_bit_4 -1154417920*x303_bit_3 -2308835840*x303_bit_2 -4617671680*x303_bit_1 -9235343360*x303_bit0 -18470686720*x303_bit1 -36941373440*x303_bit2 -73882746880*x303_bit3 -699218*x306_bit_10 -1398436*x306_bit_9 -2796872*x306_bit_8 -5593744*x306_bit_7 -11187488*x306_bit_6 -22374976*x306_bit_5 -44749952*x306_bit_4 -89499904*x306_bit_3 -178999808*x306_bit_2 -357999616*x306_bit_1 -715999232*x306_bit0 -1431998464*x306_bit1 -2863996928*x306_bit2 -5727993856*x306_bit3 -202060*x309_bit_10 -404120*x309_bit_9 -808240*x309_bit_8 -1616480*x309_bit_7 -3232960*x309_bit_6 -6465920*x309_bit_5 -12931840*x309_bit_4 -25863680*x309_bit_3 -51727360*x309_bit_2 -103454720*x309_bit_1 -206909440*x309_bit0 -413818880*x309_bit1 -827637760*x309_bit2 -1655275520*x309_bit3 -269229*x330_bit_10 -538458*x330_bit_9 -1076916*x330_bit_8 -2153832*x330_bit_7 -4307664*x330_bit_6 -8615328*x330_bit_5 -17230656*x330_bit_4 -34461312*x330_bit_3 -68922624*x330_bit_2 -137845248*x330_bit_1 -275690496*x330_bit0 -551380992*x330_bit1 -1102761984*x330_bit2 -2205523968*x330_bit3 -434097*x333_bit_10 -868194*x333_bit_9 -1736388*x333_bit_8 -3472776*x333_bit_7 -6945552*x333_bit_6 -13891104*x333_bit_5 -27782208*x333_bit_4 -55564416*x333_bit_3 -111128832*x333_bit_2 -222257664*x333_bit_1 -444515328*x333_bit0 -889030656*x333_bit1 -1778061312*x333_bit2 -3556122624*x333_bit3 -577982*x336_bit_10 -1155964*x336_bit_9 -2311928*x336_bit_8 -4623856*x336_bit_7 -9247712*x336_bit_6 -18495424*x336_bit_5 -36990848*x336_bit_4 -73981696*x336_bit_3 -147963392*x336_bit_2 -295926784*x336_bit_1 -591853568*x336_bit0 -1183707136*x336_bit1 -2367414272*x336_bit2 -4734828544*x336_bit3 -635713*x339_bit_10 -1271426*x339_bit_9 -2542852*x339_bit_8 -5085704*x339_bit_7 -10171408*x339_bit_6 -20342816*x339_bit_5 -40685632*x339_bit_4 -81371264*x339_bit_3 -162742528*x339_bit_2 -325485056*x339_bit_1 -650970112*x339_bit0 -1301940224*x339_bit1 -2603880448*x339_bit2 -5207760896*x339_bit3 -577982*x342_bit_10 -1155964*x342_bit_9 -2311928*x342_bit_8 -4623856*x342_bit_7 -9247712*x342_bit_6 -18495424*x342_bit_5 -36990848*x342_bit_4 -73981696*x342_bit_3 -147963392*x342_bit_2 -295926784*x342_bit_1 -591853568*x342_bit0 -1183707136*x342_bit1 -2367414272*x342_bit2 -4734828544*x342_bit3 -269229*x345_bit_10 -538458*x345_bit_9 -1076916*x345_bit_8 -2153832*x345_bit_7 -4307664*x345_bit_6 -8615328*x345_bit_5 -17230656*x345_bit_4 -34461312*x345_bit_3 -68922624*x345_bit_2 -137845248*x345_bit_1 -275690496*x345_bit0 -551380992*x345_bit1 -1102761984*x345_bit2 -2205523968*x345_bit3 -137778*x348_bit_10 -275556*x348_bit_9 -551112*x348_bit_8 -1102224*x348_bit_7 -2204448*x348_bit_6 -4408896*x348_bit_5 -8817792*x348_bit_4 -17635584*x348_bit_3 -35271168*x348_bit_2 -70542336*x348_bit_1 -141084672*x348_bit0 -282169344*x348_bit1 -564338688*x348_bit2 -1128677376*x348_bit3 +1000000000000000000*x492_bit_10 +2000000000000000000*x492_bit_9 +4000000000000000000*x492_bit_8 +8000000000000000000*x492_bit_7 +16000000000000000000*x492_bit_6 +32000000000000000000*x492_bit_5 +64000000000000000000*x492_bit_4 +128000000000000000000*x492_bit_3 +256000000000000000000*x492_bit_2 +512000000000000000000*x492_bit_1 +1024000000000000000000*x492_bit0 +2048000000000000000000*x492_bit1 +4096000000000000000000*x492_bit2 +8192000000000000000000*x492_bit3 +16384000000000000000000*x492_bit4 +32768000000000000000000*x492_bit5 +65536000000000000000000*x492_bit6 +131072000000000000000000*x492_bit7 +262144000000000000000000*x492_bit8 +524288000000000000000000*x492_bit9 +1048576000000000000000000*x492_bit10 +2097152000000000000000000*x492_bit11 +4194304000000000000000000*x492_bit12 +8388608000000000000000000*x492_bit13 +16777216000000000000000000*x492_bit14 +33554432000000000000000000*x492_bit15 +67108864000000000000000000*x492_bit16 +134217728000000000000000000*x492_bit17 +268435456000000000000000000*x492_bit18 +536870912000000000000000000*x492_bit19 +1073741824000000000000000000*x492_bit20 = +1073740800000000000000000000;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-bc1.opb
s UNKNOWN
c Exit Code: 0
c Total time: 3.362 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.89 0.93 1.22 1/54 5218
Raw data (stat): 5218 (runsolver) D 5217 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 772883252 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+4.17681 s]
Raw data (loadavg): 0.90 0.93 1.22 1/53 5218
Raw data (stat): 5218 (runsolver) D 5217 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 772883252 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 0

Child status: 0
Real time (s): 4.17648
CPU time (s): 3.41648
CPU user time (s): 2.85157
CPU system time (s): 0.564914
CPU usage (%): 81.8029
Max. virtual memory (Kb): 1028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####