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-neos2.opb
MD5SUM	46211574d7cd8b850e6ed8c2f0a475a4
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	124
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	8589934588
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	2454208150643933184000
Number of bits of the biggest number in a constraint	72
Biggest sum of numbers in a constraint	289272765430218954375168
Number of bits of the biggest sum of numbers	78
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.305953
Number of variables	32294
Total number of constraints	2173
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1053
Number of constraints which are nor clauses,nor cardinality constraints	1120
Minimum length of a constraint	1
Maximum length of a constraint	4780
Trace number 26184

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-24 14:38:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14665 boxname=wulflinc27 idbench=1129 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  46211574d7cd8b850e6ed8c2f0a475a4  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-neos2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-neos2.opb
IDLAUNCH: 14665
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        921564 kB
Buffers:         33960 kB
Cached:          57008 kB
SwapCached:        628 kB
Active:          64980 kB
Inactive:        28384 kB
HighTotal:      131008 kB
HighFree:        70672 kB
LowTotal:       903652 kB
LowFree:        850892 kB
SwapTotal:     2097892 kB
SwapFree:      2096768 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            14028 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 14:38:51 (client local time) WITH STATUS 0 IN 0.110982 SECONDS
stats: 14665 7 0.110982 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +12055000000*C0819_bit_10 +24110000000*C0819_bit_9 +48220000000*C0819_bit_8 +96440000000*C0819_bit_7 +192880000000*C0819_bit_6 +385760000000*C0819_bit_5 +771520000000*C0819_bit_4 +1543040000000*C0819_bit_3 +3086080000000*C0819_bit_2 +6172160000000*C0819_bit_1 -2411000000*C0820_bit_10 -4822000000*C0820_bit_9 -9644000000*C0820_bit_8 -19288000000*C0820_bit_7 -38576000000*C0820_bit_6 -77152000000*C0820_bit_5 -154304000000*C0820_bit_4 -308608000000*C0820_bit_3 -617216000000*C0820_bit_2 -1234432000000*C0820_bit_1 -2468864000000*C0820_bit0 -4937728000000*C0820_bit1 -9875456000000*C0820_bit2 -19750912000000*C0820_bit3 -39501824000000*C0820_bit4 -79003648000000*C0820_bit5 -158007296000000*C0820_bit6 -316014592000000*C0820_bit7 -632029184000000*C0820_bit8 -1264058368000000*C0820_bit9 -2528116736000000*C0820_bit10 -5056233472000000*C0820_bit11 -10112466944000000*C0820_bit12 -20224933888000000*C0820_bit13 -40449867776000000*C0820_bit14 -80899735552000000*C0820_bit15 -161799471104000000*C0820_bit16 -323598942208000000*C0820_bit17 -647197884416000000*C0820_bit18 -1294395768832000000*C0820_bit19 -5570288304*C0821_bit_10 -11140576608*C0821_bit_9 -22281153216*C0821_bit_8 -44562306432*C0821_bit_7 -89124612864*C0821_bit_6 -178249225728*C0821_bit_5 -356498451456*C0821_bit_4 -712996902912*C0821_bit_3 -1425993805824*C0821_bit_2 -2851987611648*C0821_bit_1 -5703975223296*C0821_bit0 -11407950446592*C0821_bit1 -22815900893184*C0821_bit2 -45631801786368*C0821_bit3 -91263603572736*C0821_bit4 -182527207145472*C0821_bit5 -365054414290944*C0821_bit6 -730108828581888*C0821_bit7 -1460217657163776*C0821_bit8 -2920435314327552*C0821_bit9 -5840870628655104*C0821_bit10 -11681741257310208*C0821_bit11 -23363482514620416*C0821_bit12 -46726965029240832*C0821_bit13 -93453930058481664*C0821_bit14 -186907860116963328*C0821_bit15 -373815720233926656*C0821_bit16 -747631440467853312*C0821_bit17 -1495262880935706624*C0821_bit18 -2990525761871413248*C0821_bit19 -9379993008*C0822_bit_10 -18759986016*C0822_bit_9 -37519972032*C0822_bit_8 -75039944064*C0822_bit_7 -150079888128*C0822_bit_6 -300159776256*C0822_bit_5 -600319552512*C0822_bit_4 -1200639105024*C0822_bit_3 -2401278210048*C0822_bit_2 -4802556420096*C0822_bit_1 -9605112840192*C0822_bit0 -19210225680384*C0822_bit1 -38420451360768*C0822_bit2 -76840902721536*C0822_bit3 -153681805443072*C0822_bit4 -307363610886144*C0822_bit5 -614727221772288*C0822_bit6 -1229454443544576*C0822_bit7 -2458908887089152*C0822_bit8 -4917817774178304*C0822_bit9 -9835635548356608*C0822_bit10 -19671271096713216*C0822_bit11 -39342542193426432*C0822_bit12 -78685084386852864*C0822_bit13 -157370168773705728*C0822_bit14 -314740337547411456*C0822_bit15 -629480675094822912*C0822_bit16 -1258961350189645824*C0822_bit17 -2517922700379291648*C0822_bit18 -5035845400758583296*C0822_bit19 -13748209952*C0823_bit_10 -27496419904*C0823_bit_9 -54992839808*C0823_bit_8 -109985679616*C0823_bit_7 -219971359232*C0823_bit_6 -439942718464*C0823_bit_5 -879885436928*C0823_bit_4 -1759770873856*C0823_bit_3 -3519541747712*C0823_bit_2 -7039083495424*C0823_bit_1 -14078166990848*C0823_bit0 -28156333981696*C0823_bit1 -56312667963392*C0823_bit2 -112625335926784*C0823_bit3 -225250671853568*C0823_bit4 -450501343707136*C0823_bit5 -901002687414272*C0823_bit6 -1802005374828544*C0823_bit7 -3604010749657088*C0823_bit8 -7208021499314176*C0823_bit9 -14416042998628352*C0823_bit10 -28832085997256704*C0823_bit11 -57664171994513408*C0823_bit12 -115328343989026816*C0823_bit13 -230656687978053632*C0823_bit14 -461313375956107264*C0823_bit15 -922626751912214528*C0823_bit16 -1845253503824429056*C0823_bit17 -3690507007648858112*C0823_bit18 -7381014015297716224*C0823_bit19 -18588848736*C0824_bit_10 -37177697472*C0824_bit_9 -74355394944*C0824_bit_8 -148710789888*C0824_bit_7 -297421579776*C0824_bit_6 -594843159552*C0824_bit_5 -1189686319104*C0824_bit_4 -2379372638208*C0824_bit_3 -4758745276416*C0824_bit_2 -9517490552832*C0824_bit_1 -19034981105664*C0824_bit0 -38069962211328*C0824_bit1 -76139924422656*C0824_bit2 -152279848845312*C0824_bit3 -304559697690624*C0824_bit4 -609119395381248*C0824_bit5 -1218238790762496*C0824_bit6 -2436477581524992*C0824_bit7 -4872955163049984*C0824_bit8 -9745910326099968*C0824_bit9 -19491820652199936*C0824_bit10 -38983641304399872*C0824_bit11 -77967282608799744*C0824_bit12 -155934565217599488*C0824_bit13 -311869130435198976*C0824_bit14 -623738260870397952*C0824_bit15 -1247476521740795904*C0824_bit16 -2494953043481591808*C0824_bit17 -4989906086963183616*C0824_bit18 -9979812173926367232*C0824_bit19 -23821478736*C0825_bit_10 -47642957472*C0825_bit_9 -95285914944*C0825_bit_8 -190571829888*C0825_bit_7 -381143659776*C0825_bit_6 -762287319552*C0825_bit_5 -1524574639104*C0825_bit_4 -3049149278208*C0825_bit_3 -6098298556416*C0825_bit_2 -12196597112832*C0825_bit_1 -24393194225664*C0825_bit0 -48786388451328*C0825_bit1 -97572776902656*C0825_bit2 -195145553805312*C0825_bit3 -390291107610624*C0825_bit4 -780582215221248*C0825_bit5 -1561164430442496*C0825_bit6 -3122328860884992*C0825_bit7 -6244657721769984*C0825_bit8 -12489315443539968*C0825_bit9 -24978630887079936*C0825_bit10 -49957261774159872*C0825_bit11 -99914523548319744*C0825_bit12 -199829047096639488*C0825_bit13 -399658094193278976*C0825_bit14 -799316188386557952*C0825_bit15 -1598632376773115904*C0825_bit16 -3197264753546231808*C0825_bit17 -6394529507092463616*C0825_bit18 -12789059014184927232*C0825_bit19 -29371175120*C0826_bit_10 -58742350240*C0826_bit_9 -117484700480*C0826_bit_8 -234969400960*C0826_bit_7 -469938801920*C0826_bit_6 -939877603840*C0826_bit_5 -1879755207680*C0826_bit_4 -3759510415360*C0826_bit_3 -7519020830720*C0826_bit_2 -15038041661440*C0826_bit_1 -30076083322880*C0826_bit0 -60152166645760*C0826_bit1 -120304333291520*C0826_bit2 -240608666583040*C0826_bit3 -481217333166080*C0826_bit4 -962434666332160*C0826_bit5 -1924869332664320*C0826_bit6 -3849738665328640*C0826_bit7 -7699477330657280*C0826_bit8 -15398954661314560*C0826_bit9 -30797909322629120*C0826_bit10 -61595818645258240*C0826_bit11 -123191637290516480*C0826_bit12 -246383274581032960*C0826_bit13 -492766549162065920*C0826_bit14 -985533098324131840*C0826_bit15 -1971066196648263680*C0826_bit16 -3942132393296527360*C0826_bit17 -7884264786593054720*C0826_bit18 -15768529573186109440*C0826_bit19 -35168364864*C0827_bit_10 -70336729728*C0827_bit_9 -140673459456*C0827_bit_8 -281346918912*C0827_bit_7 -562693837824*C0827_bit_6 -1125387675648*C0827_bit_5 -2250775351296*C0827_bit_4 -4501550702592*C0827_bit_3 -9003101405184*C0827_bit_2 -18006202810368*C0827_bit_1 -36012405620736*C0827_bit0 -72024811241472*C0827_bit1 -144049622482944*C0827_bit2 -288099244965888*C0827_bit3 -576198489931776*C0827_bit4 -1152396979863552*C0827_bit5 -2304793959727104*C0827_bit6 -4609587919454208*C0827_bit7 -9219175838908416*C0827_bit8 -18438351677816832*C0827_bit9 -36876703355633664*C0827_bit10 -73753406711267328*C0827_bit11 -147506813422534656*C0827_bit12 -295013626845069312*C0827_bit13 -590027253690138624*C0827_bit14 -1180054507380277248*C0827_bit15 -2360109014760554496*C0827_bit16 -4720218029521108992*C0827_bit17 -9440436059042217984*C0827_bit18 -18880872118084435968*C0827_bit19 -41148672768*C0828_bit_10 -82297345536*C0828_bit_9 -164594691072*C0828_bit_8 -329189382144*C0828_bit_7 -658378764288*C0828_bit_6 -1316757528576*C0828_bit_5 -2633515057152*C0828_bit_4 -5267030114304*C0828_bit_3 -10534060228608*C0828_bit_2 -21068120457216*C0828_bit_1 -42136240914432*C0828_bit0 -84272481828864*C0828_bit1 -168544963657728*C0828_bit2 -337089927315456*C0828_bit3 -674179854630912*C0828_bit4 -1348359709261824*C0828_bit5 -2696719418523648*C0828_bit6 -5393438837047296*C0828_bit7 -10786877674094592*C0828_bit8 -21573755348189184*C0828_bit9 -43147510696378368*C0828_bit10 -86295021392756736*C0828_bit11 -172590042785513472*C0828_bit12 -345180085571026944*C0828_bit13 -690360171142053888*C0828_bit14 -1380720342284107776*C0828_bit15 -2761440684568215552*C0828_bit16 -5522881369136431104*C0828_bit17 -11045762738272862208*C0828_bit18 -22091525476545724416*C0828_bit19 -47252767472*C0829_bit_10 -94505534944*C0829_bit_9 -189011069888*C0829_bit_8 -378022139776*C0829_bit_7 -756044279552*C0829_bit_6 -1512088559104*C0829_bit_5 -3024177118208*C0829_bit_4 -6048354236416*C0829_bit_3 -12096708472832*C0829_bit_2 -24193416945664*C0829_bit_1 -48386833891328*C0829_bit0 -96773667782656*C0829_bit1 -193547335565312*C0829_bit2 -387094671130624*C0829_bit3 -774189342261248*C0829_bit4 -1548378684522496*C0829_bit5 -3096757369044992*C0829_bit6 -6193514738089984*C0829_bit7 -12387029476179968*C0829_bit8 -24774058952359936*C0829_bit9 -49548117904719872*C0829_bit10 -99096235809439744*C0829_bit11 -198192471618879488*C0829_bit12 -396384943237758976*C0829_bit13 -792769886475517952*C0829_bit14 -1585539772951035904*C0829_bit15 -3171079545902071808*C0829_bit16 -6342159091804143616*C0829_bit17 -12684318183608287232*C0829_bit18 -25368636367216574464*C0829_bit19 -53426207470*C0830_bit_10 -106852414940*C0830_bit_9 -213704829880*C0830_bit_8 -427409659760*C0830_bit_7 -854819319520*C0830_bit_6 -1709638639040*C0830_bit_5 -3419277278080*C0830_bit_4 -6838554556160*C0830_bit_3 -13677109112320*C0830_bit_2 -27354218224640*C0830_bit_1 -54708436449280*C0830_bit0 -109416872898560*C0830_bit1 -218833745797120*C0830_bit2 -437667491594240*C0830_bit3 -875334983188480*C0830_bit4 -1750669966376960*C0830_bit5 -3501339932753920*C0830_bit6 -7002679865507840*C0830_bit7 -14005359731015680*C0830_bit8 -28010719462031360*C0830_bit9 -56021438924062720*C0830_bit10 -112042877848125440*C0830_bit11 -224085755696250880*C0830_bit12 -448171511392501760*C0830_bit13 -896343022785003520*C0830_bit14 -1792686045570007040*C0830_bit15 -3585372091140014080*C0830_bit16 -7170744182280028160*C0830_bit17 -14341488364560056320*C0830_bit18 -28682976729120112640*C0830_bit19 -59619287135*C0831_bit_10 -119238574270*C0831_bit_9 -238477148540*C0831_bit_8 -476954297080*C0831_bit_7 -953908594160*C0831_bit_6 -1907817188320*C0831_bit_5 -3815634376640*C0831_bit_4 -7631268753280*C0831_bit_3 -15262537506560*C0831_bit_2 -30525075013120*C0831_bit_1 -61050150026240*C0831_bit0 -122100300052480*C0831_bit1 -244200600104960*C0831_bit2 -488401200209920*C0831_bit3 -976802400419840*C0831_bit4 -1953604800839680*C0831_bit5 -3907209601679360*C0831_bit6 -7814419203358720*C0831_bit7 -15628838406717440*C0831_bit8 -31257676813434880*C0831_bit9 -62515353626869760*C0831_bit10 -125030707253739520*C0831_bit11 -250061414507479040*C0831_bit12 -500122829014958080*C0831_bit13 -1000245658029916160*C0831_bit14 -2000491316059832320*C0831_bit15 -4000982632119664640*C0831_bit16 -8001965264239329280*C0831_bit17 -16003930528478658560*C0831_bit18 -32007861056957317120*C0831_bit19 -65786882720*C0832_bit_10 -131573765440*C0832_bit_9 -263147530880*C0832_bit_8 -526295061760*C0832_bit_7 -1052590123520*C0832_bit_6 -2105180247040*C0832_bit_5 -4210360494080*C0832_bit_4 -8420720988160*C0832_bit_3 -16841441976320*C0832_bit_2 -33682883952640*C0832_bit_1 -67365767905280*C0832_bit0 -134731535810560*C0832_bit1 -269463071621120*C0832_bit2 -538926143242240*C0832_bit3 -1077852286484480*C0832_bit4 -2155704572968960*C0832_bit5 -4311409145937920*C0832_bit6 -8622818291875840*C0832_bit7 -17245636583751680*C0832_bit8 -34491273167503360*C0832_bit9 -68982546335006720*C0832_bit10 -137965092670013440*C0832_bit11 -275930185340026880*C0832_bit12 -551860370680053760*C0832_bit13 -1103720741360107520*C0832_bit14 -2207441482720215040*C0832_bit15 -4414882965440430080*C0832_bit16 -8829765930880860160*C0832_bit17 -17659531861761720320*C0832_bit18 -35319063723523440640*C0832_bit19 -71888298385*C0833_bit_10 -143776596770*C0833_bit_9 -287553193540*C0833_bit_8 -575106387080*C0833_bit_7 -1150212774160*C0833_bit_6 -2300425548320*C0833_bit_5 -4600851096640*C0833_bit_4 -9201702193280*C0833_bit_3 -18403404386560*C0833_bit_2 -36806808773120*C0833_bit_1 -73613617546240*C0833_bit0 -147227235092480*C0833_bit1 -294454470184960*C0833_bit2 -588908940369920*C0833_bit3 -1177817880739840*C0833_bit4 -2355635761479680*C0833_bit5 -4711271522959360*C0833_bit6 -9422543045918720*C0833_bit7 -18845086091837440*C0833_bit8 -37690172183674880*C0833_bit9 -75380344367349760*C0833_bit10 -150760688734699520*C0833_bit11 -301521377469399040*C0833_bit12 -603042754938798080*C0833_bit13 -1206085509877596160*C0833_bit14 -2412171019755192320*C0833_bit15 -4824342039510384640*C0833_bit16 -9648684079020769280*C0833_bit17 -19297368158041538560*C0833_bit18 -38594736316083077120*C0833_bit19 -77887112210*C0834_bit_10 -155774224420*C0834_bit_9 -311548448840*C0834_bit_8 -623096897680*C0834_bit_7 -1246193795360*C0834_bit_6 -2492387590720*C0834_bit_5 -4984775181440*C0834_bit_4 -9969550362880*C0834_bit_3 -19939100725760*C0834_bit_2 -39878201451520*C0834_bit_1 -79756402903040*C0834_bit0 -159512805806080*C0834_bit1 -319025611612160*C0834_bit2 -638051223224320*C0834_bit3 -1276102446448640*C0834_bit4 -2552204892897280*C0834_bit5 -5104409785794560*C0834_bit6 -10208819571589120*C0834_bit7 -20417639143178240*C0834_bit8 -40835278286356480*C0834_bit9 -81670556572712960*C0834_bit10 -163341113145425920*C0834_bit11 -326682226290851840*C0834_bit12 -653364452581703680*C0834_bit13 -1306728905163407360*C0834_bit14 -2613457810326814720*C0834_bit15 -5226915620653629440*C0834_bit16 -10453831241307258880*C0834_bit17 -20907662482614517760*C0834_bit18 -41815324965229035520*C0834_bit19 -83751022210*C0835_bit_10 -167502044420*C0835_bit_9 -335004088840*C0835_bit_8 -670008177680*C0835_bit_7 -1340016355360*C0835_bit_6 -2680032710720*C0835_bit_5 -5360065421440*C0835_bit_4 -10720130842880*C0835_bit_3 -21440261685760*C0835_bit_2 -42880523371520*C0835_bit_1 -85761046743040*C0835_bit0 -171522093486080*C0835_bit1 -343044186972160*C0835_bit2 -686088373944320*C0835_bit3 -1372176747888640*C0835_bit4 -2744353495777280*C0835_bit5 -5488706991554560*C0835_bit6 -10977413983109120*C0835_bit7 -21954827966218240*C0835_bit8 -43909655932436480*C0835_bit9 -87819311864872960*C0835_bit10 -175638623729745920*C0835_bit11 -351277247459491840*C0835_bit12 -702554494918983680*C0835_bit13 -1405108989837967360*C0835_bit14 -2810217979675934720*C0835_bit15 -5620435959351869440*C0835_bit16 -11240871918703738880*C0835_bit17 -22481743837407477760*C0835_bit18 -44963487674814955520*C0835_bit19 -89451692350*C0836_bit_10 -178903384700*C0836_bit_9 -357806769400*C0836_bit_8 -715613538800*C0836_bit_7 -1431227077600*C0836_bit_6 -2862454155200*C0836_bit_5 -5724908310400*C0836_bit_4 -11449816620800*C0836_bit_3 -22899633241600*C0836_bit_2 -45799266483200*C0836_bit_1 -91598532966400*C0836_bit0 -183197065932800*C0836_bit1 -366394131865600*C0836_bit2 -732788263731200*C0836_bit3 -1465576527462400*C0836_bit4 -2931153054924800*C0836_bit5 -5862306109849600*C0836_bit6 -11724612219699200*C0836_bit7 -23449224439398400*C0836_bit8 -46898448878796800*C0836_bit9 -93796897757593600*C0836_bit10 -187593795515187200*C0836_bit11 -375187591030374400*C0836_bit12 -750375182060748800*C0836_bit13 -1500750364121497600*C0836_bit14 -3001500728242995200*C0836_bit15 -6003001456485990400*C0836_bit16 -12006002912971980800*C0836_bit17 -24012005825943961600*C0836_bit18 -48024011651887923200*C0836_bit19 -94964598575*C0837_bit_10 -189929197150*C0837_bit_9 -379858394300*C0837_bit_8 -759716788600*C0837_bit_7 -1519433577200*C0837_bit_6 -3038867154400*C0837_bit_5 -6077734308800*C0837_bit_4 -12155468617600*C0837_bit_3 -24310937235200*C0837_bit_2 -48621874470400*C0837_bit_1 -97243748940800*C0837_bit0 -194487497881600*C0837_bit1 -388974995763200*C0837_bit2 -777949991526400*C0837_bit3 -1555899983052800*C0837_bit4 -3111799966105600*C0837_bit5 -6223599932211200*C0837_bit6 -12447199864422400*C0837_bit7 -24894399728844800*C0837_bit8 -49788799457689600*C0837_bit9 -99577598915379200*C0837_bit10 -199155197830758400*C0837_bit11 -398310395661516800*C0837_bit12 -796620791323033600*C0837_bit13 -1593241582646067200*C0837_bit14 -3186483165292134400*C0837_bit15 -6372966330584268800*C0837_bit16 -12745932661168537600*C0837_bit17 -25491865322337075200*C0837_bit18 -50983730644674150400*C0837_bit19 -100268874800*C0838_bit_10 -200537749600*C0838_bit_9 -401075499200*C0838_bit_8 -802150998400*C0838_bit_7 -1604301996800*C0838_bit_6 -3208603993600*C0838_bit_5 -6417207987200*C0838_bit_4 -12834415974400*C0838_bit_3 -25668831948800*C0838_bit_2 -51337663897600*C0838_bit_1 -102675327795200*C0838_bit0 -205350655590400*C0838_bit1 -410701311180800*C0838_bit2 -821402622361600*C0838_bit3 -1642805244723200*C0838_bit4 -3285610489446400*C0838_bit5 -6571220978892800*C0838_bit6 -13142441957785600*C0838_bit7 -26284883915571200*C0838_bit8 -52569767831142400*C0838_bit9 -105139535662284800*C0838_bit10 -210279071324569600*C0838_bit11 -420558142649139200*C0838_bit12 -841116285298278400*C0838_bit13 -1682232570596556800*C0838_bit14 -3364465141193113600*C0838_bit15 -6728930282386227200*C0838_bit16 -13457860564772454400*C0838_bit17 -26915721129544908800*C0838_bit18 -53831442259089817600*C0838_bit19 -105347158945*C0839_bit_10 -210694317890*C0839_bit_9 -421388635780*C0839_bit_8 -842777271560*C0839_bit_7 -1685554543120*C0839_bit_6 -3371109086240*C0839_bit_5 -6742218172480*C0839_bit_4 -13484436344960*C0839_bit_3 -26968872689920*C0839_bit_2 -53937745379840*C0839_bit_1 -107875490759680*C0839_bit0 -215750981519360*C0839_bit1 -431501963038720*C0839_bit2 -863003926077440*C0839_bit3 -1726007852154880*C0839_bit4 -3452015704309760*C0839_bit5 -6904031408619520*C0839_bit6 -13808062817239040*C0839_bit7 -27616125634478080*C0839_bit8 -55232251268956160*C0839_bit9 -110464502537912320*C0839_bit10 -220929005075824640*C0839_bit11 -441858010151649280*C0839_bit12 -883716020303298560*C0839_bit13 -1767432040606597120*C0839_bit14 -3534864081213194240*C0839_bit15 -7069728162426388480*C0839_bit16 -14139456324852776960*C0839_bit17 -28278912649705553920*C0839_bit18 -56557825299411107840*C0839_bit19 -110185438945*C0840_bit_10 -220370877890*C0840_bit_9 -440741755780*C0840_bit_8 -881483511560*C0840_bit_7 -1762967023120*C0840_bit_6 -3525934046240*C0840_bit_5 -7051868092480*C0840_bit_4 -14103736184960*C0840_bit_3 -28207472369920*C0840_bit_2 -56414944739840*C0840_bit_1 -112829889479680*C0840_bit0 -225659778959360*C0840_bit1 -451319557918720*C0840_bit2 -902639115837440*C0840_bit3 -1805278231674880*C0840_bit4 -3610556463349760*C0840_bit5 -7221112926699520*C0840_bit6 -14442225853399040*C0840_bit7 -28884451706798080*C0840_bit8 -57768903413596160*C0840_bit9 -115537806827192320*C0840_bit10 -231075613654384640*C0840_bit11 -462151227308769280*C0840_bit12 -924302454617538560*C0840_bit13 -1848604909235077120*C0840_bit14 -3697209818470154240*C0840_bit15 -7394419636940308480*C0840_bit16 -14788839273880616960*C0840_bit17 -29577678547761233920*C0840_bit18 -59155357095522467840*C0840_bit19 -114772898770*C0841_bit_10 -229545797540*C0841_bit_9 -459091595080*C0841_bit_8 -918183190160*C0841_bit_7 -1836366380320*C0841_bit_6 -3672732760640*C0841_bit_5 -7345465521280*C0841_bit_4 -14690931042560*C0841_bit_3 -29381862085120*C0841_bit_2 -58763724170240*C0841_bit_1 -117527448340480*C0841_bit0 -235054896680960*C0841_bit1 -470109793361920*C0841_bit2 -940219586723840*C0841_bit3 -1880439173447680*C0841_bit4 -3760878346895360*C0841_bit5 -7521756693790720*C0841_bit6 -15043513387581440*C0841_bit7 -30087026775162880*C0841_bit8 -60174053550325760*C0841_bit9 -120348107100651520*C0841_bit10 -240696214201303040*C0841_bit11 -481392428402606080*C0841_bit12 -962784856805212160*C0841_bit13 -1925569713610424320*C0841_bit14 -3851139427220848640*C0841_bit15 -7702278854441697280*C0841_bit16 -15404557708883394560*C0841_bit17 -30809115417766789120*C0841_bit18 -61618230835533578240*C0841_bit19 -119101764430*C0842_bit_10 -238203528860*C0842_bit_9 -476407057720*C0842_bit_8 -952814115440*C0842_bit_7 -1905628230880*C0842_bit_6 -3811256461760*C0842_bit_5 -7622512923520*C0842_bit_4 -15245025847040*C0842_bit_3 -30490051694080*C0842_bit_2 -60980103388160*C0842_bit_1 -121960206776320*C0842_bit0 -243920413552640*C0842_bit1 -487840827105280*C0842_bit2 -975681654210560*C0842_bit3 -1951363308421120*C0842_bit4 -3902726616842240*C0842_bit5 -7805453233684480*C0842_bit6 -15610906467368960*C0842_bit7 -31221812934737920*C0842_bit8 -62443625869475840*C0842_bit9 -124887251738951680*C0842_bit10 -249774503477903360*C0842_bit11 -499549006955806720*C0842_bit12 -999098013911613440*C0842_bit13 -1998196027823226880*C0842_bit14 -3996392055646453760*C0842_bit15 -7992784111292907520*C0842_bit16 -15985568222585815040*C0842_bit17 -31971136445171630080*C0842_bit18 -63942272890343260160*C0842_bit19 -123167150015*C0843_bit_10 -246334300030*C0843_bit_9 -492668600060*C0843_bit_8 -985337200120*C0843_bit_7 -1970674400240*C0843_bit_6 -3941348800480*C0843_bit_5 -7882697600960*C0843_bit_4 -15765395201920*C0843_bit_3 -31530790403840*C0843_bit_2 -63061580807680*C0843_bit_1 -126123161615360*C0843_bit0 -252246323230720*C0843_bit1 -504492646461440*C0843_bit2 -1008985292922880*C0843_bit3 -2017970585845760*C0843_bit4 -4035941171691520*C0843_bit5 -8071882343383040*C0843_bit6 -16143764686766080*C0843_bit7 -32287529373532160*C0843_bit8 -64575058747064320*C0843_bit9 -129150117494128640*C0843_bit10 -258300234988257280*C0843_bit11 -516600469976514560*C0843_bit12 -1033200939953029120*C0843_bit13 -2066401879906058240*C0843_bit14 -4132803759812116480*C0843_bit15 -8265607519624232960*C0843_bit16 -16531215039248465920*C0843_bit17 -33062430078496931840*C0843_bit18 -66124860156993863680*C0843_bit19 -126966903680*C0844_bit_10 -253933807360*C0844_bit_9 -507867614720*C0844_bit_8 -1015735229440*C0844_bit_7 -2031470458880*C0844_bit_6 -4062940917760*C0844_bit_5 -8125881835520*C0844_bit_4 -16251763671040*C0844_bit_3 -32503527342080*C0844_bit_2 -65007054684160*C0844_bit_1 -130014109368320*C0844_bit0 -260028218736640*C0844_bit1 -520056437473280*C0844_bit2 -1040112874946560*C0844_bit3 -2080225749893120*C0844_bit4 -4160451499786240*C0844_bit5 -8320902999572480*C0844_bit6 -16641805999144960*C0844_bit7 -33283611998289920*C0844_bit8 -66567223996579840*C0844_bit9 -133134447993159680*C0844_bit10 -266268895986319360*C0844_bit11 -532537791972638720*C0844_bit12 -1065075583945277440*C0844_bit13 -2130151167890554880*C0844_bit14 -4260302335781109760*C0844_bit15 -8520604671562219520*C0844_bit16 -17041209343124439040*C0844_bit17 -34082418686248878080*C0844_bit18 -68164837372497756160*C0844_bit19 -130501453680*C0845_bit_10 -261002907360*C0845_bit_9 -522005814720*C0845_bit_8 -1044011629440*C0845_bit_7 -2088023258880*C0845_bit_6 -4176046517760*C0845_bit_5 -8352093035520*C0845_bit_4 -16704186071040*C0845_bit_3 -33408372142080*C0845_bit_2 -66816744284160*C0845_bit_1 -133633488568320*C0845_bit0 -267266977136640*C0845_bit1 -534533954273280*C0845_bit2 -1069067908546560*C0845_bit3 -2138135817093120*C0845_bit4 -4276271634186240*C0845_bit5 -8552543268372480*C0845_bit6 -17105086536744960*C0845_bit7 -34210173073489920*C0845_bit8 -68420346146979840*C0845_bit9 -136840692293959680*C0845_bit10 -273681384587919360*C0845_bit11 -547362769175838720*C0845_bit12 -1094725538351677440*C0845_bit13 -2189451076703354880*C0845_bit14 -4378902153406709760*C0845_bit15 -8757804306813419520*C0845_bit16 -17515608613626839040*C0845_bit17 -35031217227253678080*C0845_bit18 -70062434454507356160*C0845_bit19 -133773654385*C0846_bit_10 -267547308770*C0846_bit_9 -535094617540*C0846_bit_8 -1070189235080*C0846_bit_7 -2140378470160*C0846_bit_6 -4280756940320*C0846_bit_5 -8561513880640*C0846_bit_4 -17123027761280*C0846_bit_3 -34246055522560*C0846_bit_2 -68492111045120*C0846_bit_1 -136984222090240*C0846_bit0 -273968444180480*C0846_bit1 -547936888360960*C0846_bit2 -1095873776721920*C0846_bit3 -2191747553443840*C0846_bit4 -4383495106887680*C0846_bit5 -8766990213775360*C0846_bit6 -17533980427550720*C0846_bit7 -35067960855101440*C0846_bit8 -70135921710202880*C0846_bit9 -140271843420405760*C0846_bit10 -280543686840811520*C0846_bit11 -561087373681623040*C0846_bit12 -1122174747363246080*C0846_bit13 -2244349494726492160*C0846_bit14 -4488698989452984320*C0846_bit15 -8977397978905968640*C0846_bit16 -17954795957811937280*C0846_bit17 -35909591915623874560*C0846_bit18 -71819183831247749120*C0846_bit19 -136788632290*C0847_bit_10 -273577264580*C0847_bit_9 -547154529160*C0847_bit_8 -1094309058320*C0847_bit_7 -2188618116640*C0847_bit_6 -4377236233280*C0847_bit_5 -8754472466560*C0847_bit_4 -17508944933120*C0847_bit_3 -35017889866240*C0847_bit_2 -70035779732480*C0847_bit_1 -140071559464960*C0847_bit0 -280143118929920*C0847_bit1 -560286237859840*C0847_bit2 -1120572475719680*C0847_bit3 -2241144951439360*C0847_bit4 -4482289902878720*C0847_bit5 -8964579805757440*C0847_bit6 -17929159611514880*C0847_bit7 -35858319223029760*C0847_bit8 -71716638446059520*C0847_bit9 -143433276892119040*C0847_bit10 -286866553784238080*C0847_bit11 -573733107568476160*C0847_bit12 -1147466215136952320*C0847_bit13 -2294932430273904640*C0847_bit14 -4589864860547809280*C0847_bit15 -9179729721095618560*C0847_bit16 -18359459442191237120*C0847_bit17 -36718918884382474240*C0847_bit18 -73437837768764948480*C0847_bit19 -139553632030*C0848_bit_10 -279107264060*C0848_bit_9 -558214528120*C0848_bit_8 -1116429056240*C0848_bit_7 -2232858112480*C0848_bit_6 -4465716224960*C0848_bit_5 -8931432449920*C0848_bit_4 -17862864899840*C0848_bit_3 -35725729799680*C0848_bit_2 -71451459599360*C0848_bit_1 -142902919198720*C0848_bit0 -285805838397440*C0848_bit1 -571611676794880*C0848_bit2 -1143223353589760*C0848_bit3 -2286446707179520*C0848_bit4 -4572893414359040*C0848_bit5 -9145786828718080*C0848_bit6 -18291573657436160*C0848_bit7 -36583147314872320*C0848_bit8 -73166294629744640*C0848_bit9 -146332589259489280*C0848_bit10 -292665178518978560*C0848_bit11 -585330357037957120*C0848_bit12 -1170660714075914240*C0848_bit13 -2341321428151828480*C0848_bit14 -4682642856303656960*C0848_bit15 -9365285712607313920*C0848_bit16 -18730571425214627840*C0848_bit17 -37461142850429255680*C0848_bit18 -74922285700858511360*C0848_bit19 -142077862415*C0849_bit_10 -284155724830*C0849_bit_9 -568311449660*C0849_bit_8 -1136622899320*C0849_bit_7 -2273245798640*C0849_bit_6 -4546491597280*C0849_bit_5 -9092983194560*C0849_bit_4 -18185966389120*C0849_bit_3 -36371932778240*C0849_bit_2 -72743865556480*C0849_bit_1 -145487731112960*C0849_bit0 -290975462225920*C0849_bit1 -581950924451840*C0849_bit2 -1163901848903680*C0849_bit3 -2327803697807360*C0849_bit4 -4655607395614720*C0849_bit5 -9311214791229440*C0849_bit6 -18622429582458880*C0849_bit7 -37244859164917760*C0849_bit8 -74489718329835520*C0849_bit9 -148979436659671040*C0849_bit10 -297958873319342080*C0849_bit11 -595917746638684160*C0849_bit12 -1191835493277368320*C0849_bit13 -2383670986554736640*C0849_bit14 -4767341973109473280*C0849_bit15 -9534683946218946560*C0849_bit16 -19069367892437893120*C0849_bit17 -38138735784875786240*C0849_bit18 -76277471569751572480*C0849_bit19 -144372342415*C0850_bit_10 -288744684830*C0850_bit_9 -577489369660*C0850_bit_8 -1154978739320*C0850_bit_7 -2309957478640*C0850_bit_6 -4619914957280*C0850_bit_5 -9239829914560*C0850_bit_4 -18479659829120*C0850_bit_3 -36959319658240*C0850_bit_2 -73918639316480*C0850_bit_1 -147837278632960*C0850_bit0 -295674557265920*C0850_bit1 -591349114531840*C0850_bit2 -1182698229063680*C0850_bit3 -2365396458127360*C0850_bit4 -4730792916254720*C0850_bit5 -9461585832509440*C0850_bit6 -18923171665018880*C0850_bit7 -37846343330037760*C0850_bit8 -75692686660075520*C0850_bit9 -151385373320151040*C0850_bit10 -302770746640302080*C0850_bit11 -605541493280604160*C0850_bit12 -1211082986561208320*C0850_bit13 -2422165973122416640*C0850_bit14 -4844331946244833280*C0850_bit15 -9688663892489666560*C0850_bit16 -19377327784979333120*C0850_bit17 -38754655569958666240*C0850_bit18 -77509311139917332480*C0850_bit19 -146449747200*C0851_bit_10 -292899494400*C0851_bit_9 -585798988800*C0851_bit_8 -1171597977600*C0851_bit_7 -2343195955200*C0851_bit_6 -4686391910400*C0851_bit_5 -9372783820800*C0851_bit_4 -18745567641600*C0851_bit_3 -37491135283200*C0851_bit_2 -74982270566400*C0851_bit_1 -149964541132800*C0851_bit0 -299929082265600*C0851_bit1 -599858164531200*C0851_bit2 -1199716329062400*C0851_bit3 -2399432658124800*C0851_bit4 -4798865316249600*C0851_bit5 -9597730632499200*C0851_bit6 -19195461264998400*C0851_bit7 -38390922529996800*C0851_bit8 -76781845059993600*C0851_bit9 -153563690119987200*C0851_bit10 -307127380239974400*C0851_bit11 -614254760479948800*C0851_bit12 -1228509520959897600*C0851_bit13 -2457019041919795200*C0851_bit14 -4914038083839590400*C0851_bit15 -9828076167679180800*C0851_bit16 -19656152335358361600*C0851_bit17 -39312304670716723200*C0851_bit18 -78624609341433446400*C0851_bit19 -148324254145*C0852_bit_10 -296648508290*C0852_bit_9 -593297016580*C0852_bit_8 -1186594033160*C0852_bit_7 -2373188066320*C0852_bit_6 -4746376132640*C0852_bit_5 -9492752265280*C0852_bit_4 -18985504530560*C0852_bit_3 -37971009061120*C0852_bit_2 -75942018122240*C0852_bit_1 -151884036244480*C0852_bit0 -303768072488960*C0852_bit1 -607536144977920*C0852_bit2 -1215072289955840*C0852_bit3 -2430144579911680*C0852_bit4 -4860289159823360*C0852_bit5 -9720578319646720*C0852_bit6 -19441156639293440*C0852_bit7 -38882313278586880*C0852_bit8 -77764626557173760*C0852_bit9 -155529253114347520*C0852_bit10 -311058506228695040*C0852_bit11 -622117012457390080*C0852_bit12 -1244234024914780160*C0852_bit13 -2488468049829560320*C0852_bit14 -4976936099659120640*C0852_bit15 -9953872199318241280*C0852_bit16 -19907744398636482560*C0852_bit17 -39815488797272965120*C0852_bit18 -79630977594545930240*C0852_bit19 -150011388850*C0853_bit_10 -300022777700*C0853_bit_9 -600045555400*C0853_bit_8 -1200091110800*C0853_bit_7 -2400182221600*C0853_bit_6 -4800364443200*C0853_bit_5 -9600728886400*C0853_bit_4 -19201457772800*C0853_bit_3 -38402915545600*C0853_bit_2 -76805831091200*C0853_bit_1 -153611662182400*C0853_bit0 -307223324364800*C0853_bit1 -614446648729600*C0853_bit2 -1228893297459200*C0853_bit3 -2457786594918400*C0853_bit4 -4915573189836800*C0853_bit5 -9831146379673600*C0853_bit6 -19662292759347200*C0853_bit7 -39324585518694400*C0853_bit8 -78649171037388800*C0853_bit9 -157298342074777600*C0853_bit10 -314596684149555200*C0853_bit11 -629193368299110400*C0853_bit12 -1258386736598220800*C0853_bit13 -2516773473196441600*C0853_bit14 -5033546946392883200*C0853_bit15 -10067093892785766400*C0853_bit16 -20134187785571532800*C0853_bit17 -40268375571143065600*C0853_bit18 -80536751142286131200*C0853_bit19 -151527871150*C0854_bit_10 -303055742300*C0854_bit_9 -606111484600*C0854_bit_8 -1212222969200*C0854_bit_7 -2424445938400*C0854_bit_6 -4848891876800*C0854_bit_5 -9697783753600*C0854_bit_4 -19395567507200*C0854_bit_3 -38791135014400*C0854_bit_2 -77582270028800*C0854_bit_1 -155164540057600*C0854_bit0 -310329080115200*C0854_bit1 -620658160230400*C0854_bit2 -1241316320460800*C0854_bit3 -2482632640921600*C0854_bit4 -4965265281843200*C0854_bit5 -9930530563686400*C0854_bit6 -19861061127372800*C0854_bit7 -39722122254745600*C0854_bit8 -79444244509491200*C0854_bit9 -158888489018982400*C0854_bit10 -317776978037964800*C0854_bit11 -635553956075929600*C0854_bit12 -1271107912151859200*C0854_bit13 -2542215824303718400*C0854_bit14 -5084431648607436800*C0854_bit15 -10168863297214873600*C0854_bit16 -20337726594429747200*C0854_bit17 -40675453188859494400*C0854_bit18 -81350906377718988800*C0854_bit19 -152891461150*C0855_bit_10 -305782922300*C0855_bit_9 -611565844600*C0855_bit_8 -1223131689200*C0855_bit_7 -2446263378400*C0855_bit_6 -4892526756800*C0855_bit_5 -9785053513600*C0855_bit_4 -19570107027200*C0855_bit_3 -39140214054400*C0855_bit_2 -78280428108800*C0855_bit_1 -156560856217600*C0855_bit0 -313121712435200*C0855_bit1 -626243424870400*C0855_bit2 -1252486849740800*C0855_bit3 -2504973699481600*C0855_bit4 -5009947398963200*C0855_bit5 -10019894797926400*C0855_bit6 -20039789595852800*C0855_bit7 -40079579191705600*C0855_bit8 -80159158383411200*C0855_bit9 -160318316766822400*C0855_bit10 -320636633533644800*C0855_bit11 -641273267067289600*C0855_bit12 -1282546534134579200*C0855_bit13 -2565093068269158400*C0855_bit14 -5130186136538316800*C0855_bit15 -10260372273076633600*C0855_bit16 -20520744546153267200*C0855_bit17 -41041489092306534400*C0855_bit18 -82082978184613068800*C0855_bit19 -154120805215*C0856_bit_10 -308241610430*C0856_bit_9 -616483220860*C0856_bit_8 -1232966441720*C0856_bit_7 -2465932883440*C0856_bit_6 -4931865766880*C0856_bit_5 -9863731533760*C0856_bit_4 -19727463067520*C0856_bit_3 -39454926135040*C0856_bit_2 -78909852270080*C0856_bit_1 -157819704540160*C0856_bit0 -315639409080320*C0856_bit1 -631278818160640*C0856_bit2 -1262557636321280*C0856_bit3 -2525115272642560*C0856_bit4 -5050230545285120*C0856_bit5 -10100461090570240*C0856_bit6 -20200922181140480*C0856_bit7 -40401844362280960*C0856_bit8 -80803688724561920*C0856_bit9 -161607377449123840*C0856_bit10 -323214754898247680*C0856_bit11 -646429509796495360*C0856_bit12 -1292859019592990720*C0856_bit13 -2585718039185981440*C0856_bit14 -5171436078371962880*C0856_bit15 -10342872156743925760*C0856_bit16 -20685744313487851520*C0856_bit17 -41371488626975703040*C0856_bit18 -82742977253951406080*C0856_bit19 -155235282000*C0857_bit_10 -310470564000*C0857_bit_9 -620941128000*C0857_bit_8 -1241882256000*C0857_bit_7 -2483764512000*C0857_bit_6 -4967529024000*C0857_bit_5 -9935058048000*C0857_bit_4 -19870116096000*C0857_bit_3 -39740232192000*C0857_bit_2 -79480464384000*C0857_bit_1 -158960928768000*C0857_bit0 -317921857536000*C0857_bit1 -635843715072000*C0857_bit2 -1271687430144000*C0857_bit3 -2543374860288000*C0857_bit4 -5086749720576000*C0857_bit5 -10173499441152000*C0857_bit6 -20346998882304000*C0857_bit7 -40693997764608000*C0857_bit8 -81387995529216000*C0857_bit9 -162775991058432000*C0857_bit10 -325551982116864000*C0857_bit11 -651103964233728000*C0857_bit12 -1302207928467456000*C0857_bit13 -2604415856934912000*C0857_bit14 -5208831713869824000*C0857_bit15 -10417663427739648000*C0857_bit16 -20835326855479296000*C0857_bit17 -41670653710958592000*C0857_bit18 -83341307421917184000*C0857_bit19 -156254848465*C0858_bit_10 -312509696930*C0858_bit_9 -625019393860*C0858_bit_8 -1250038787720*C0858_bit_7 -2500077575440*C0858_bit_6 -5000155150880*C0858_bit_5 -10000310301760*C0858_bit_4 -20000620603520*C0858_bit_3 -40001241207040*C0858_bit_2 -80002482414080*C0858_bit_1 -160004964828160*C0858_bit0 -320009929656320*C0858_bit1 -640019859312640*C0858_bit2 -1280039718625280*C0858_bit3 -2560079437250560*C0858_bit4 -5120158874501120*C0858_bit5 -10240317749002240*C0858_bit6 -20480635498004480*C0858_bit7 -40961270996008960*C0858_bit8 -81922541992017920*C0858_bit9 -163845083984035840*C0858_bit10 -327690167968071680*C0858_bit11 -655380335936143360*C0858_bit12 -1310760671872286720*C0858_bit13 -2621521343744573440*C0858_bit14 -5243042687489146880*C0858_bit15 -10486085374978293760*C0858_bit16 -20972170749956587520*C0858_bit17 -41944341499913175040*C0858_bit18 -83888682999826350080*C0858_bit19 -157199885890*C0859_bit_10 -314399771780*C0859_bit_9 -628799543560*C0859_bit_8 -1257599087120*C0859_bit_7 -2515198174240*C0859_bit_6 -5030396348480*C0859_bit_5 -10060792696960*C0859_bit_4 -20121585393920*C0859_bit_3 -40243170787840*C0859_bit_2 -80486341575680*C0859_bit_1 -160972683151360*C0859_bit0 -321945366302720*C0859_bit1 -643890732605440*C0859_bit2 -1287781465210880*C0859_bit3 -2575562930421760*C0859_bit4 -5151125860843520*C0859_bit5 -10302251721687040*C0859_bit6 -20604503443374080*C0859_bit7 -41209006886748160*C0859_bit8 -82418013773496320*C0859_bit9 -164836027546992640*C0859_bit10 -329672055093985280*C0859_bit11 -659344110187970560*C0859_bit12 -1318688220375941120*C0859_bit13 -2637376440751882240*C0859_bit14 -5274752881503764480*C0859_bit15 -10549505763007528960*C0859_bit16 -21099011526015057920*C0859_bit17 -42198023052030115840*C0859_bit18 -84396046104060231680*C0859_bit19 -158091045890*C0860_bit_10 -316182091780*C0860_bit_9 -632364183560*C0860_bit_8 -1264728367120*C0860_bit_7 -2529456734240*C0860_bit_6 -5058913468480*C0860_bit_5 -10117826936960*C0860_bit_4 -20235653873920*C0860_bit_3 -40471307747840*C0860_bit_2 -80942615495680*C0860_bit_1 -161885230991360*C0860_bit0 -323770461982720*C0860_bit1 -647540923965440*C0860_bit2 -1295081847930880*C0860_bit3 -2590163695861760*C0860_bit4 -5180327391723520*C0860_bit5 -10360654783447040*C0860_bit6 -20721309566894080*C0860_bit7 -41442619133788160*C0860_bit8 -82885238267576320*C0860_bit9 -165770476535152640*C0860_bit10 -331540953070305280*C0860_bit11 -663081906140610560*C0860_bit12 -1326163812281221120*C0860_bit13 -2652327624562442240*C0860_bit14 -5304655249124884480*C0860_bit15 -10609310498249768960*C0860_bit16 -21218620996499537920*C0860_bit17 -42437241992999075840*C0860_bit18 -84874483985998151680*C0860_bit19 -158949096430*C0861_bit_10 -317898192860*C0861_bit_9 -635796385720*C0861_bit_8 -1271592771440*C0861_bit_7 -2543185542880*C0861_bit_6 -5086371085760*C0861_bit_5 -10172742171520*C0861_bit_4 -20345484343040*C0861_bit_3 -40690968686080*C0861_bit_2 -81381937372160*C0861_bit_1 -162763874744320*C0861_bit0 -325527749488640*C0861_bit1 -651055498977280*C0861_bit2 -1302110997954560*C0861_bit3 -2604221995909120*C0861_bit4 -5208443991818240*C0861_bit5 -10416887983636480*C0861_bit6 -20833775967272960*C0861_bit7 -41667551934545920*C0861_bit8 -83335103869091840*C0861_bit9 -166670207738183680*C0861_bit10 -333340415476367360*C0861_bit11 -666680830952734720*C0861_bit12 -1333361661905469440*C0861_bit13 -2666723323810938880*C0861_bit14 -5333446647621877760*C0861_bit15 -10666893295243755520*C0861_bit16 -21333786590487511040*C0861_bit17 -42667573180975022080*C0861_bit18 -85335146361950044160*C0861_bit19 -159794767855*C0862_bit_10 -319589535710*C0862_bit_9 -639179071420*C0862_bit_8 -1278358142840*C0862_bit_7 -2556716285680*C0862_bit_6 -5113432571360*C0862_bit_5 -10226865142720*C0862_bit_4 -20453730285440*C0862_bit_3 -40907460570880*C0862_bit_2 -81814921141760*C0862_bit_1 -163629842283520*C0862_bit0 -327259684567040*C0862_bit1 -654519369134080*C0862_bit2 -1309038738268160*C0862_bit3 -2618077476536320*C0862_bit4 -5236154953072640*C0862_bit5 -10472309906145280*C0862_bit6 -20944619812290560*C0862_bit7 -41889239624581120*C0862_bit8 -83778479249162240*C0862_bit9 -167556958498324480*C0862_bit10 -335113916996648960*C0862_bit11 -670227833993297920*C0862_bit12 -1340455667986595840*C0862_bit13 -2680911335973191680*C0862_bit14 -5361822671946383360*C0862_bit15 -10723645343892766720*C0862_bit16 -21447290687785533440*C0862_bit17 -42894581375571066880*C0862_bit18 -85789162751142133760*C0862_bit19 -160648598880*C0863_bit_10 -321297197760*C0863_bit_9 -642594395520*C0863_bit_8 -1285188791040*C0863_bit_7 -2570377582080*C0863_bit_6 -5140755164160*C0863_bit_5 -10281510328320*C0863_bit_4 -20563020656640*C0863_bit_3 -41126041313280*C0863_bit_2 -82252082626560*C0863_bit_1 -164504165253120*C0863_bit0 -329008330506240*C0863_bit1 -658016661012480*C0863_bit2 -1316033322024960*C0863_bit3 -2632066644049920*C0863_bit4 -5264133288099840*C0863_bit5 -10528266576199680*C0863_bit6 -21056533152399360*C0863_bit7 -42113066304798720*C0863_bit8 -84226132609597440*C0863_bit9 -168452265219194880*C0863_bit10 -336904530438389760*C0863_bit11 -673809060876779520*C0863_bit12 -1347618121753559040*C0863_bit13 -2695236243507118080*C0863_bit14 -5390472487014236160*C0863_bit15 -10780944974028472320*C0863_bit16 -21561889948056944640*C0863_bit17 -43123779896113889280*C0863_bit18 -86247559792227778560*C0863_bit19 -161530782625*C0864_bit_10 -323061565250*C0864_bit_9 -646123130500*C0864_bit_8 -1292246261000*C0864_bit_7 -2584492522000*C0864_bit_6 -5168985044000*C0864_bit_5 -10337970088000*C0864_bit_4 -20675940176000*C0864_bit_3 -41351880352000*C0864_bit_2 -82703760704000*C0864_bit_1 -165407521408000*C0864_bit0 -330815042816000*C0864_bit1 -661630085632000*C0864_bit2 -1323260171264000*C0864_bit3 -2646520342528000*C0864_bit4 -5293040685056000*C0864_bit5 -10586081370112000*C0864_bit6 -21172162740224000*C0864_bit7 -42344325480448000*C0864_bit8 -84688650960896000*C0864_bit9 -169377301921792000*C0864_bit10 -338754603843584000*C0864_bit11 -677509207687168000*C0864_bit12 -1355018415374336000*C0864_bit13 -2710036830748672000*C0864_bit14 -5420073661497344000*C0864_bit15 -10840147322994688000*C0864_bit16 -21680294645989376000*C0864_bit17 -43360589291978752000*C0864_bit18 -86721178583957504000*C0864_bit19 -162461012625*C0865_bit_10 -324922025250*C0865_bit_9 -649844050500*C0865_bit_8 -1299688101000*C0865_bit_7 -2599376202000*C0865_bit_6 -5198752404000*C0865_bit_5 -10397504808000*C0865_bit_4 -20795009616000*C0865_bit_3 -41590019232000*C0865_bit_2 -83180038464000*C0865_bit_1 -166360076928000*C0865_bit0 -332720153856000*C0865_bit1 -665440307712000*C0865_bit2 -1330880615424000*C0865_bit3 -2661761230848000*C0865_bit4 -5323522461696000*C0865_bit5 -10647044923392000*C0865_bit6 -21294089846784000*C0865_bit7 -42588179693568000*C0865_bit8 -85176359387136000*C0865_bit9 -170352718774272000*C0865_bit10 -340705437548544000*C0865_bit11 -681410875097088000*C0865_bit12 -1362821750194176000*C0865_bit13 -2725643500388352000*C0865_bit14 -5451287000776704000*C0865_bit15 -10902574001553408000*C0865_bit16 -21805148003106816000*C0865_bit17 -43610296006213632000*C0865_bit18 -87220592012427264000*C0865_bit19 -163458328850*C0866_bit_10 -326916657700*C0866_bit_9 -653833315400*C0866_bit_8 -1307666630800*C0866_bit_7 -2615333261600*C0866_bit_6 -5230666523200*C0866_bit_5 -10461333046400*C0866_bit_4 -20922666092800*C0866_bit_3 -41845332185600*C0866_bit_2 -83690664371200*C0866_bit_1 -167381328742400*C0866_bit0 -334762657484800*C0866_bit1 -669525314969600*C0866_bit2 -1339050629939200*C0866_bit3 -2678101259878400*C0866_bit4 -5356202519756800*C0866_bit5 -10712405039513600*C0866_bit6 -21424810079027200*C0866_bit7 -42849620158054400*C0866_bit8 -85699240316108800*C0866_bit9 -171398480632217600*C0866_bit10 -342796961264435200*C0866_bit11 -685593922528870400*C0866_bit12 -1371187845057740800*C0866_bit13 -2742375690115481600*C0866_bit14 -5484751380230963200*C0866_bit15 -10969502760461926400*C0866_bit16 -21939005520923852800*C0866_bit17 -43878011041847705600*C0866_bit18 -87756022083695411200*C0866_bit19 -164540963710*C0867_bit_10 -329081927420*C0867_bit_9 -658163854840*C0867_bit_8 -1316327709680*C0867_bit_7 -2632655419360*C0867_bit_6 -5265310838720*C0867_bit_5 -10530621677440*C0867_bit_4 -21061243354880*C0867_bit_3 -42122486709760*C0867_bit_2 -84244973419520*C0867_bit_1 -168489946839040*C0867_bit0 -336979893678080*C0867_bit1 -673959787356160*C0867_bit2 -1347919574712320*C0867_bit3 -2695839149424640*C0867_bit4 -5391678298849280*C0867_bit5 -10783356597698560*C0867_bit6 -21566713195397120*C0867_bit7 -43133426390794240*C0867_bit8 -86266852781588480*C0867_bit9 -172533705563176960*C0867_bit10 -345067411126353920*C0867_bit11 -690134822252707840*C0867_bit12 -1380269644505415680*C0867_bit13 -2760539289010831360*C0867_bit14 -5521078578021662720*C0867_bit15 -11042157156043325440*C0867_bit16 -22084314312086650880*C0867_bit17 -44168628624173301760*C0867_bit18 -88337257248346603520*C0867_bit19 -165726188095*C0868_bit_10 -331452376190*C0868_bit_9 -662904752380*C0868_bit_8 -1325809504760*C0868_bit_7 -2651619009520*C0868_bit_6 -5303238019040*C0868_bit_5 -10606476038080*C0868_bit_4 -21212952076160*C0868_bit_3 -42425904152320*C0868_bit_2 -84851808304640*C0868_bit_1 -169703616609280*C0868_bit0 -339407233218560*C0868_bit1 -678814466437120*C0868_bit2 -1357628932874240*C0868_bit3 -2715257865748480*C0868_bit4 -5430515731496960*C0868_bit5 -10861031462993920*C0868_bit6 -21722062925987840*C0868_bit7 -43444125851975680*C0868_bit8 -86888251703951360*C0868_bit9 -173776503407902720*C0868_bit10 -347553006815805440*C0868_bit11 -695106013631610880*C0868_bit12 -1390212027263221760*C0868_bit13 -2780424054526443520*C0868_bit14 -5560848109052887040*C0868_bit15 -11121696218105774080*C0868_bit16 -22243392436211548160*C0868_bit17 -44486784872423096320*C0868_bit18 -88973569744846192640*C0868_bit19 -167030157360*C0869_bit_10 -334060314720*C0869_bit_9 -668120629440*C0869_bit_8 -1336241258880*C0869_bit_7 -2672482517760*C0869_bit_6 -5344965035520*C0869_bit_5 -10689930071040*C0869_bit_4 -21379860142080*C0869_bit_3 -42759720284160*C0869_bit_2 -85519440568320*C0869_bit_1 -171038881136640*C0869_bit0 -342077762273280*C0869_bit1 -684155524546560*C0869_bit2 -1368311049093120*C0869_bit3 -2736622098186240*C0869_bit4 -5473244196372480*C0869_bit5 -10946488392744960*C0869_bit6 -21892976785489920*C0869_bit7 -43785953570979840*C0869_bit8 -87571907141959680*C0869_bit9 -175143814283919360*C0869_bit10 -350287628567838720*C0869_bit11 -700575257135677440*C0869_bit12 -1401150514271354880*C0869_bit13 -2802301028542709760*C0869_bit14 -5604602057085419520*C0869_bit15 -11209204114170839040*C0869_bit16 -22418408228341678080*C0869_bit17 -44836816456683356160*C0869_bit18 -89673632913366712320*C0869_bit19 -168467757360*C0870_bit_10 -336935514720*C0870_bit_9 -673871029440*C0870_bit_8 -1347742058880*C0870_bit_7 -2695484117760*C0870_bit_6 -5390968235520*C0870_bit_5 -10781936471040*C0870_bit_4 -21563872942080*C0870_bit_3 -43127745884160*C0870_bit_2 -86255491768320*C0870_bit_1 -172510983536640*C0870_bit0 -345021967073280*C0870_bit1 -690043934146560*C0870_bit2 -1380087868293120*C0870_bit3 -2760175736586240*C0870_bit4 -5520351473172480*C0870_bit5 -11040702946344960*C0870_bit6 -22081405892689920*C0870_bit7 -44162811785379840*C0870_bit8 -88325623570759680*C0870_bit9 -176651247141519360*C0870_bit10 -353302494283038720*C0870_bit11 -706604988566077440*C0870_bit12 -1413209977132154880*C0870_bit13 -2826419954264309760*C0870_bit14 -5652839908528619520*C0870_bit15 -11305679817057239040*C0870_bit16 -22611359634114478080*C0870_bit17 -45222719268228956160*C0870_bit18 -90445438536457912320*C0870_bit19 -170052450465*C0871_bit_10 -340104900930*C0871_bit_9 -680209801860*C0871_bit_8 -1360419603720*C0871_bit_7 -2720839207440*C0871_bit_6 -5441678414880*C0871_bit_5 -10883356829760*C0871_bit_4 -21766713659520*C0871_bit_3 -43533427319040*C0871_bit_2 -87066854638080*C0871_bit_1 -174133709276160*C0871_bit0 -348267418552320*C0871_bit1 -696534837104640*C0871_bit2 -1393069674209280*C0871_bit3 -2786139348418560*C0871_bit4 -5572278696837120*C0871_bit5 -11144557393674240*C0871_bit6 -22289114787348480*C0871_bit7 -44578229574696960*C0871_bit8 -89156459149393920*C0871_bit9 -178312918298787840*C0871_bit10 -356625836597575680*C0871_bit11 -713251673195151360*C0871_bit12 -1426503346390302720*C0871_bit13 -2853006692780605440*C0871_bit14 -5706013385561210880*C0871_bit15 -11412026771122421760*C0871_bit16 -22824053542244843520*C0871_bit17 -45648107084489687040*C0871_bit18 -91296214168979374080*C0871_bit19 -171796121570*C0872_bit_10 -343592243140*C0872_bit_9 -687184486280*C0872_bit_8 -1374368972560*C0872_bit_7 -2748737945120*C0872_bit_6 -5497475890240*C0872_bit_5 -10994951780480*C0872_bit_4 -21989903560960*C0872_bit_3 -43979807121920*C0872_bit_2 -87959614243840*C0872_bit_1 -175919228487680*C0872_bit0 -351838456975360*C0872_bit1 -703676913950720*C0872_bit2 -1407353827901440*C0872_bit3 -2814707655802880*C0872_bit4 -5629415311605760*C0872_bit5 -11258830623211520*C0872_bit6 -22517661246423040*C0872_bit7 -45035322492846080*C0872_bit8 -90070644985692160*C0872_bit9 -180141289971384320*C0872_bit10 -360282579942768640*C0872_bit11 -720565159885537280*C0872_bit12 -1441130319771074560*C0872_bit13 -2882260639542149120*C0872_bit14 -5764521279084298240*C0872_bit15 -11529042558168596480*C0872_bit16 -23058085116337192960*C0872_bit17 -46116170232674385920*C0872_bit18 -92232340465348771840*C0872_bit19 -173708924110*C0873_bit_10 -347417848220*C0873_bit_9 -694835696440*C0873_bit_8 -1389671392880*C0873_bit_7 -2779342785760*C0873_bit_6 -5558685571520*C0873_bit_5 -11117371143040*C0873_bit_4 -22234742286080*C0873_bit_3 -44469484572160*C0873_bit_2 -88938969144320*C0873_bit_1 -177877938288640*C0873_bit0 -355755876577280*C0873_bit1 -711511753154560*C0873_bit2 -1423023506309120*C0873_bit3 -2846047012618240*C0873_bit4 -5692094025236480*C0873_bit5 -11384188050472960*C0873_bit6 -22768376100945920*C0873_bit7 -45536752201891840*C0873_bit8 -91073504403783680*C0873_bit9 -182147008807567360*C0873_bit10 -364294017615134720*C0873_bit11 -728588035230269440*C0873_bit12 -1457176070460538880*C0873_bit13 -2914352140921077760*C0873_bit14 -5828704281842155520*C0873_bit15 -11657408563684311040*C0873_bit16 -23314817127368622080*C0873_bit17 -46629634254737244160*C0873_bit18 -93259268509474488320*C0873_bit19 -175799126095*C0874_bit_10 -351598252190*C0874_bit_9 -703196504380*C0874_bit_8 -1406393008760*C0874_bit_7 -2812786017520*C0874_bit_6 -5625572035040*C0874_bit_5 -11251144070080*C0874_bit_4 -22502288140160*C0874_bit_3 -45004576280320*C0874_bit_2 -90009152560640*C0874_bit_1 -180018305121280*C0874_bit0 -360036610242560*C0874_bit1 -720073220485120*C0874_bit2 -1440146440970240*C0874_bit3 -2880292881940480*C0874_bit4 -5760585763880960*C0874_bit5 -11521171527761920*C0874_bit6 -23042343055523840*C0874_bit7 -46084686111047680*C0874_bit8 -92169372222095360*C0874_bit9 -184338744444190720*C0874_bit10 -368677488888381440*C0874_bit11 -737354977776762880*C0874_bit12 -1474709955553525760*C0874_bit13 -2949419911107051520*C0874_bit14 -5898839822214103040*C0874_bit15 -11797679644428206080*C0874_bit16 -23595359288856412160*C0874_bit17 -47190718577712824320*C0874_bit18 -94381437155425648640*C0874_bit19 -178072956095*C0875_bit_10 -356145912190*C0875_bit_9 -712291824380*C0875_bit_8 -1424583648760*C0875_bit_7 -2849167297520*C0875_bit_6 -5698334595040*C0875_bit_5 -11396669190080*C0875_bit_4 -22793338380160*C0875_bit_3 -45586676760320*C0875_bit_2 -91173353520640*C0875_bit_1 -182346707041280*C0875_bit0 -364693414082560*C0875_bit1 -729386828165120*C0875_bit2 -1458773656330240*C0875_bit3 -2917547312660480*C0875_bit4 -5835094625320960*C0875_bit5 -11670189250641920*C0875_bit6 -23340378501283840*C0875_bit7 -46680757002567680*C0875_bit8 -93361514005135360*C0875_bit9 -186723028010270720*C0875_bit10 -373446056020541440*C0875_bit11 -746892112041082880*C0875_bit12 -1493784224082165760*C0875_bit13 -2987568448164331520*C0875_bit14 -5975136896328663040*C0875_bit15 -11950273792657326080*C0875_bit16 -23900547585314652160*C0875_bit17 -47801095170629304320*C0875_bit18 -95602190341258608640*C0875_bit19 -180534449280*C0876_bit_10 -361068898560*C0876_bit_9 -722137797120*C0876_bit_8 -1444275594240*C0876_bit_7 -2888551188480*C0876_bit_6 -5777102376960*C0876_bit_5 -11554204753920*C0876_bit_4 -23108409507840*C0876_bit_3 -46216819015680*C0876_bit_2 -92433638031360*C0876_bit_1 -184867276062720*C0876_bit0 -369734552125440*C0876_bit1 -739469104250880*C0876_bit2 -1478938208501760*C0876_bit3 -2957876417003520*C0876_bit4 -5915752834007040*C0876_bit5 -11831505668014080*C0876_bit6 -23663011336028160*C0876_bit7 -47326022672056320*C0876_bit8 -94652045344112640*C0876_bit9 -189304090688225280*C0876_bit10 -378608181376450560*C0876_bit11 -757216362752901120*C0876_bit12 -1514432725505802240*C0876_bit13 -3028865451011604480*C0876_bit14 -6057730902023208960*C0876_bit15 -12115461804046417920*C0876_bit16 -24230923608092835840*C0876_bit17 -48461847216185671680*C0876_bit18 -96923694432371343360*C0876_bit19 -183185293425*C0877_bit_10 -366370586850*C0877_bit_9 -732741173700*C0877_bit_8 -1465482347400*C0877_bit_7 -2930964694800*C0877_bit_6 -5861929389600*C0877_bit_5 -11723858779200*C0877_bit_4 -23447717558400*C0877_bit_3 -46895435116800*C0877_bit_2 -93790870233600*C0877_bit_1 -187581740467200*C0877_bit0 -375163480934400*C0877_bit1 -750326961868800*C0877_bit2 -1500653923737600*C0877_bit3 -3001307847475200*C0877_bit4 -6002615694950400*C0877_bit5 -12005231389900800*C0877_bit6 -24010462779801600*C0877_bit7 -48020925559603200*C0877_bit8 -96041851119206400*C0877_bit9 -192083702238412800*C0877_bit10 -384167404476825600*C0877_bit11 -768334808953651200*C0877_bit12 -1536669617907302400*C0877_bit13 -3073339235814604800*C0877_bit14 -6146678471629209600*C0877_bit15 -12293356943258419200*C0877_bit16 -24586713886516838400*C0877_bit17 -49173427773033676800*C0877_bit18 -98346855546067353600*C0877_bit19 -186024674930*C0878_bit_10 -372049349860*C0878_bit_9 -744098699720*C0878_bit_8 -1488197399440*C0878_bit_7 -2976394798880*C0878_bit_6 -5952789597760*C0878_bit_5 -11905579195520*C0878_bit_4 -23811158391040*C0878_bit_3 -47622316782080*C0878_bit_2 -95244633564160*C0878_bit_1 -190489267128320*C0878_bit0 -380978534256640*C0878_bit1 -761957068513280*C0878_bit2 -1523914137026560*C0878_bit3 -3047828274053120*C0878_bit4 -6095656548106240*C0878_bit5 -12191313096212480*C0878_bit6 -24382626192424960*C0878_bit7 -48765252384849920*C0878_bit8 -97530504769699840*C0878_bit9 -195061009539399680*C0878_bit10 -390122019078799360*C0878_bit11 -780244038157598720*C0878_bit12 -1560488076315197440*C0878_bit13 -3120976152630394880*C0878_bit14 -6241952305260789760*C0878_bit15 -12483904610521579520*C0878_bit16 -24967809221043159040*C0878_bit17 -49935618442086318080*C0878_bit18 -99871236884172636160*C0878_bit19 -189049124830*C0879_bit_10 -378098249660*C0879_bit_9 -756196499320*C0879_bit_8 -1512392998640*C0879_bit_7 -3024785997280*C0879_bit_6 -6049571994560*C0879_bit_5 -12099143989120*C0879_bit_4 -24198287978240*C0879_bit_3 -48396575956480*C0879_bit_2 -96793151912960*C0879_bit_1 -193586303825920*C0879_bit0 -387172607651840*C0879_bit1 -774345215303680*C0879_bit2 -1548690430607360*C0879_bit3 -3097380861214720*C0879_bit4 -6194761722429440*C0879_bit5 -12389523444858880*C0879_bit6 -24779046889717760*C0879_bit7 -49558093779435520*C0879_bit8 -99116187558871040*C0879_bit9 -198232375117742080*C0879_bit10 -396464750235484160*C0879_bit11 -792929500470968320*C0879_bit12 -1585859000941936640*C0879_bit13 -3171718001883873280*C0879_bit14 -6343436003767746560*C0879_bit15 -12686872007535493120*C0879_bit16 -25373744015070986240*C0879_bit17 -50747488030141972480*C0879_bit18 -101494976060283944960*C0879_bit19 -192252364830*C0880_bit_10 -384504729660*C0880_bit_9 -769009459320*C0880_bit_8 -1538018918640*C0880_bit_7 -3076037837280*C0880_bit_6 -6152075674560*C0880_bit_5 -12304151349120*C0880_bit_4 -24608302698240*C0880_bit_3 -49216605396480*C0880_bit_2 -98433210792960*C0880_bit_1 -196866421585920*C0880_bit0 -393732843171840*C0880_bit1 -787465686343680*C0880_bit2 -1574931372687360*C0880_bit3 -3149862745374720*C0880_bit4 -6299725490749440*C0880_bit5 -12599450981498880*C0880_bit6 -25198901962997760*C0880_bit7 -50397803925995520*C0880_bit8 -100795607851991040*C0880_bit9 -201591215703982080*C0880_bit10 -403182431407964160*C0880_bit11 -806364862815928320*C0880_bit12 -1612729725631856640*C0880_bit13 -3225459451263713280*C0880_bit14 -6450918902527426560*C0880_bit15 -12901837805054853120*C0880_bit16 -25803675610109706240*C0880_bit17 -51607351220219412480*C0880_bit18 -103214702440438824960*C0880_bit19 -195625153295*C0881_bit_10 -391250306590*C0881_bit_9 -782500613180*C0881_bit_8 -1565001226360*C0881_bit_7 -3130002452720*C0881_bit_6 -6260004905440*C0881_bit_5 -12520009810880*C0881_bit_4 -25040019621760*C0881_bit_3 -50080039243520*C0881_bit_2 -100160078487040*C0881_bit_1 -200320156974080*C0881_bit0 -400640313948160*C0881_bit1 -801280627896320*C0881_bit2 -1602561255792640*C0881_bit3 -3205122511585280*C0881_bit4 -6410245023170560*C0881_bit5 -12820490046341120*C0881_bit6 -25640980092682240*C0881_bit7 -51281960185364480*C0881_bit8 -102563920370728960*C0881_bit9 -205127840741457920*C0881_bit10 -410255681482915840*C0881_bit11 -820511362965831680*C0881_bit12 -1641022725931663360*C0881_bit13 -3282045451863326720*C0881_bit14 -6564090903726653440*C0881_bit15 -13128181807453306880*C0881_bit16 -26256363614906613760*C0881_bit17 -52512727229813227520*C0881_bit18 -105025454459626455040*C0881_bit19 -199155131280*C0882_bit_10 -398310262560*C0882_bit_9 -796620525120*C0882_bit_8 -1593241050240*C0882_bit_7 -3186482100480*C0882_bit_6 -6372964200960*C0882_bit_5 -12745928401920*C0882_bit_4 -25491856803840*C0882_bit_3 -50983713607680*C0882_bit_2 -101967427215360*C0882_bit_1 -203934854430720*C0882_bit0 -407869708861440*C0882_bit1 -815739417722880*C0882_bit2 -1631478835445760*C0882_bit3 -3262957670891520*C0882_bit4 -6525915341783040*C0882_bit5 -13051830683566080*C0882_bit6 -26103661367132160*C0882_bit7 -52207322734264320*C0882_bit8 -104414645468528640*C0882_bit9 -208829290937057280*C0882_bit10 -417658581874114560*C0882_bit11 -835317163748229120*C0882_bit12 -1670634327496458240*C0882_bit13 -3341268654992916480*C0882_bit14 -6682537309985832960*C0882_bit15 -13365074619971665920*C0882_bit16 -26730149239943331840*C0882_bit17 -53460298479886663680*C0882_bit18 -106920596959773327360*C0882_bit19 -202826668545*C0883_bit_10 -405653337090*C0883_bit_9 -811306674180*C0883_bit_8 -1622613348360*C0883_bit_7 -3245226696720*C0883_bit_6 -6490453393440*C0883_bit_5 -12980906786880*C0883_bit_4 -25961813573760*C0883_bit_3 -51923627147520*C0883_bit_2 -103847254295040*C0883_bit_1 -207694508590080*C0883_bit0 -415389017180160*C0883_bit1 -830778034360320*C0883_bit2 -1661556068720640*C0883_bit3 -3323112137441280*C0883_bit4 -6646224274882560*C0883_bit5 -13292448549765120*C0883_bit6 -26584897099530240*C0883_bit7 -53169794199060480*C0883_bit8 -106339588398120960*C0883_bit9 -212679176796241920*C0883_bit10 -425358353592483840*C0883_bit11 -850716707184967680*C0883_bit12 -1701433414369935360*C0883_bit13 -3402866828739870720*C0883_bit14 -6805733657479741440*C0883_bit15 -13611467314959482880*C0883_bit16 -27222934629918965760*C0883_bit17 -54445869259837931520*C0883_bit18 -108891738519675863040*C0883_bit19 -206620709570*C0884_bit_10 -413241419140*C0884_bit_9 -826482838280*C0884_bit_8 -1652965676560*C0884_bit_7 -3305931353120*C0884_bit_6 -6611862706240*C0884_bit_5 -13223725412480*C0884_bit_4 -26447450824960*C0884_bit_3 -52894901649920*C0884_bit_2 -105789803299840*C0884_bit_1 -211579606599680*C0884_bit0 -423159213199360*C0884_bit1 -846318426398720*C0884_bit2 -1692636852797440*C0884_bit3 -3385273705594880*C0884_bit4 -6770547411189760*C0884_bit5 -13541094822379520*C0884_bit6 -27082189644759040*C0884_bit7 -54164379289518080*C0884_bit8 -108328758579036160*C0884_bit9 -216657517158072320*C0884_bit10 -433315034316144640*C0884_bit11 -866630068632289280*C0884_bit12 -1733260137264578560*C0884_bit13 -3466520274529157120*C0884_bit14 -6933040549058314240*C0884_bit15 -13866081098116628480*C0884_bit16 -27732162196233256960*C0884_bit17 -55464324392466513920*C0884_bit18 -110928648784933027840*C0884_bit19 -210514619570*C0885_bit_10 -421029239140*C0885_bit_9 -842058478280*C0885_bit_8 -1684116956560*C0885_bit_7 -3368233913120*C0885_bit_6 -6736467826240*C0885_bit_5 -13472935652480*C0885_bit_4 -26945871304960*C0885_bit_3 -53891742609920*C0885_bit_2 -107783485219840*C0885_bit_1 -215566970439680*C0885_bit0 -431133940879360*C0885_bit1 -862267881758720*C0885_bit2 -1724535763517440*C0885_bit3 -3449071527034880*C0885_bit4 -6898143054069760*C0885_bit5 -13796286108139520*C0885_bit6 -27592572216279040*C0885_bit7 -55185144432558080*C0885_bit8 -110370288865116160*C0885_bit9 -220740577730232320*C0885_bit10 -441481155460464640*C0885_bit11 -882962310920929280*C0885_bit12 -1765924621841858560*C0885_bit13 -3531849243683717120*C0885_bit14 -7063698487367434240*C0885_bit15 -14127396974734868480*C0885_bit16 -28254793949469736960*C0885_bit17 -56509587898939473920*C0885_bit18 -113019175797878947840*C0885_bit19 -214482030510*C0886_bit_10 -428964061020*C0886_bit_9 -857928122040*C0886_bit_8 -1715856244080*C0886_bit_7 -3431712488160*C0886_bit_6 -6863424976320*C0886_bit_5 -13726849952640*C0886_bit_4 -27453699905280*C0886_bit_3 -54907399810560*C0886_bit_2 -109814799621120*C0886_bit_1 -219629599242240*C0886_bit0 -439259198484480*C0886_bit1 -878518396968960*C0886_bit2 -1757036793937920*C0886_bit3 -3514073587875840*C0886_bit4 -7028147175751680*C0886_bit5 -14056294351503360*C0886_bit6 -28112588703006720*C0886_bit7 -56225177406013440*C0886_bit8 -112450354812026880*C0886_bit9 -224900709624053760*C0886_bit10 -449801419248107520*C0886_bit11 -899602838496215040*C0886_bit12 -1799205676992430080*C0886_bit13 -3598411353984860160*C0886_bit14 -7196822707969720320*C0886_bit15 -14393645415939440640*C0886_bit16 -28787290831878881280*C0886_bit17 -57574581663757762560*C0886_bit18 -115149163327515525120*C0886_bit19 -218492687135*C0887_bit_10 -436985374270*C0887_bit_9 -873970748540*C0887_bit_8 -1747941497080*C0887_bit_7 -3495882994160*C0887_bit_6 -6991765988320*C0887_bit_5 -13983531976640*C0887_bit_4 -27967063953280*C0887_bit_3 -55934127906560*C0887_bit_2 -111868255813120*C0887_bit_1 -223736511626240*C0887_bit0 -447473023252480*C0887_bit1 -894946046504960*C0887_bit2 -1789892093009920*C0887_bit3 -3579784186019840*C0887_bit4 -7159568372039680*C0887_bit5 -14319136744079360*C0887_bit6 -28638273488158720*C0887_bit7 -57276546976317440*C0887_bit8 -114553093952634880*C0887_bit9 -229106187905269760*C0887_bit10 -458212375810539520*C0887_bit11 -916424751621079040*C0887_bit12 -1832849503242158080*C0887_bit13 -3665699006484316160*C0887_bit14 -7331398012968632320*C0887_bit15 -14662796025937264640*C0887_bit16 -29325592051874529280*C0887_bit17 -58651184103749058560*C0887_bit18 -117302368207498117120*C0887_bit19 -222512292960*C0888_bit_10 -445024585920*C0888_bit_9 -890049171840*C0888_bit_8 -1780098343680*C0888_bit_7 -3560196687360*C0888_bit_6 -7120393374720*C0888_bit_5 -14240786749440*C0888_bit_4 -28481573498880*C0888_bit_3 -56963146997760*C0888_bit_2 -113926293995520*C0888_bit_1 -227852587991040*C0888_bit0 -455705175982080*C0888_bit1 -911410351964160*C0888_bit2 -1822820703928320*C0888_bit3 -3645641407856640*C0888_bit4 -7291282815713280*C0888_bit5 -14582565631426560*C0888_bit6 -29165131262853120*C0888_bit7 -58330262525706240*C0888_bit8 -116660525051412480*C0888_bit9 -233321050102824960*C0888_bit10 -466642100205649920*C0888_bit11 -933284200411299840*C0888_bit12 -1866568400822599680*C0888_bit13 -3733136801645199360*C0888_bit14 -7466273603290398720*C0888_bit15 -14932547206580797440*C0888_bit16 -29865094413161594880*C0888_bit17 -59730188826323189760*C0888_bit18 -119460377652646379520*C0888_bit19 -226502356305*C0889_bit_10 -453004712610*C0889_bit_9 -906009425220*C0889_bit_8 -1812018850440*C0889_bit_7 -3624037700880*C0889_bit_6 -7248075401760*C0889_bit_5 -14496150803520*C0889_bit_4 -28992301607040*C0889_bit_3 -57984603214080*C0889_bit_2 -115969206428160*C0889_bit_1 -231938412856320*C0889_bit0 -463876825712640*C0889_bit1 -927753651425280*C0889_bit2 -1855507302850560*C0889_bit3 -3711014605701120*C0889_bit4 -7422029211402240*C0889_bit5 -14844058422804480*C0889_bit6 -29688116845608960*C0889_bit7 -59376233691217920*C0889_bit8 -118752467382435840*C0889_bit9 -237504934764871680*C0889_bit10 -475009869529743360*C0889_bit11 -950019739059486720*C0889_bit12 -1900039478118973440*C0889_bit13 -3800078956237946880*C0889_bit14 -7600157912475893760*C0889_bit15 -15200315824951787520*C0889_bit16 -30400631649903575040*C0889_bit17 -60801263299807150080*C0889_bit18 -121602526599614300160*C0889_bit19 -230420036305*C0890_bit_10 -460840072610*C0890_bit_9 -921680145220*C0890_bit_8 -1843360290440*C0890_bit_7 -3686720580880*C0890_bit_6 -7373441161760*C0890_bit_5 -14746882323520*C0890_bit_4 -29493764647040*C0890_bit_3 -58987529294080*C0890_bit_2 -117975058588160*C0890_bit_1 -235950117176320*C0890_bit0 -471900234352640*C0890_bit1 -943800468705280*C0890_bit2 -1887600937410560*C0890_bit3 -3775201874821120*C0890_bit4 -7550403749642240*C0890_bit5 -15100807499284480*C0890_bit6 -30201614998568960*C0890_bit7 -60403229997137920*C0890_bit8 -120806459994275840*C0890_bit9 -241612919988551680*C0890_bit10 -483225839977103360*C0890_bit11 -966451679954206720*C0890_bit12 -1932903359908413440*C0890_bit13 -3865806719816826880*C0890_bit14 -7731613439633653760*C0890_bit15 -15463226879267307520*C0890_bit16 -30926453758534615040*C0890_bit17 -61852907517069230080*C0890_bit18 -123705815034138460160*C0890_bit19 -234217988930*C0891_bit_10 -468435977860*C0891_bit_9 -936871955720*C0891_bit_8 -1873743911440*C0891_bit_7 -3747487822880*C0891_bit_6 -7494975645760*C0891_bit_5 -14989951291520*C0891_bit_4 -29979902583040*C0891_bit_3 -59959805166080*C0891_bit_2 -119919610332160*C0891_bit_1 -239839220664320*C0891_bit0 -479678441328640*C0891_bit1 -959356882657280*C0891_bit2 -1918713765314560*C0891_bit3 -3837427530629120*C0891_bit4 -7674855061258240*C0891_bit5 -15349710122516480*C0891_bit6 -30699420245032960*C0891_bit7 -61398840490065920*C0891_bit8 -122797680980131840*C0891_bit9 -245595361960263680*C0891_bit10 -491190723920527360*C0891_bit11 -982381447841054720*C0891_bit12 -1964762895682109440*C0891_bit13 -3929525791364218880*C0891_bit14 -7859051582728437760*C0891_bit15 -15718103165456875520*C0891_bit16 -31436206330913751040*C0891_bit17 -62872412661827502080*C0891_bit18 -125744825323655004160*C0891_bit19 -237844212990*C0892_bit_10 -475688425980*C0892_bit_9 -951376851960*C0892_bit_8 -1902753703920*C0892_bit_7 -3805507407840*C0892_bit_6 -7611014815680*C0892_bit_5 -15222029631360*C0892_bit_4 -30444059262720*C0892_bit_3 -60888118525440*C0892_bit_2 -121776237050880*C0892_bit_1 -243552474101760*C0892_bit0 -487104948203520*C0892_bit1 -974209896407040*C0892_bit2 -1948419792814080*C0892_bit3 -3896839585628160*C0892_bit4 -7793679171256320*C0892_bit5 -15587358342512640*C0892_bit6 -31174716685025280*C0892_bit7 -62349433370050560*C0892_bit8 -124698866740101120*C0892_bit9 -249397733480202240*C0892_bit10 -498795466960404480*C0892_bit11 -997590933920808960*C0892_bit12 -1995181867841617920*C0892_bit13 -3990363735683235840*C0892_bit14 -7980727471366471680*C0892_bit15 -15961454942732943360*C0892_bit16 -31922909885465886720*C0892_bit17 -63845819770931773440*C0892_bit18 -127691639541863546880*C0892_bit19 -241241896175*C0893_bit_10 -482483792350*C0893_bit_9 -964967584700*C0893_bit_8 -1929935169400*C0893_bit_7 -3859870338800*C0893_bit_6 -7719740677600*C0893_bit_5 -15439481355200*C0893_bit_4 -30878962710400*C0893_bit_3 -61757925420800*C0893_bit_2 -123515850841600*C0893_bit_1 -247031701683200*C0893_bit0 -494063403366400*C0893_bit1 -988126806732800*C0893_bit2 -1976253613465600*C0893_bit3 -3952507226931200*C0893_bit4 -7905014453862400*C0893_bit5 -15810028907724800*C0893_bit6 -31620057815449600*C0893_bit7 -63240115630899200*C0893_bit8 -126480231261798400*C0893_bit9 -252960462523596800*C0893_bit10 -505920925047193600*C0893_bit11 -1011841850094387200*C0893_bit12 -2023683700188774400*C0893_bit13 -4047367400377548800*C0893_bit14 -8094734800755097600*C0893_bit15 -16189469601510195200*C0893_bit16 -32378939203020390400*C0893_bit17 -64757878406040780800*C0893_bit18 -129515756812081561600*C0893_bit19 -244349261040*C0894_bit_10 -488698522080*C0894_bit_9 -977397044160*C0894_bit_8 -1954794088320*C0894_bit_7 -3909588176640*C0894_bit_6 -7819176353280*C0894_bit_5 -15638352706560*C0894_bit_4 -31276705413120*C0894_bit_3 -62553410826240*C0894_bit_2 -125106821652480*C0894_bit_1 -250213643304960*C0894_bit0 -500427286609920*C0894_bit1 -1000854573219840*C0894_bit2 -2001709146439680*C0894_bit3 -4003418292879360*C0894_bit4 -8006836585758720*C0894_bit5 -16013673171517440*C0894_bit6 -32027346343034880*C0894_bit7 -64054692686069760*C0894_bit8 -128109385372139520*C0894_bit9 -256218770744279040*C0894_bit10 -512437541488558080*C0894_bit11 -1024875082977116160*C0894_bit12 -2049750165954232320*C0894_bit13 -4099500331908464640*C0894_bit14 -8199000663816929280*C0894_bit15 -16398001327633858560*C0894_bit16 -32796002655267717120*C0894_bit17 -65592005310535434240*C0894_bit18 -131184010621070868480*C0894_bit19 -247099411040*C0895_bit_10 -494198822080*C0895_bit_9 -988397644160*C0895_bit_8 -1976795288320*C0895_bit_7 -3953590576640*C0895_bit_6 -7907181153280*C0895_bit_5 -15814362306560*C0895_bit_4 -31628724613120*C0895_bit_3 -63257449226240*C0895_bit_2 -126514898452480*C0895_bit_1 -253029796904960*C0895_bit0 -506059593809920*C0895_bit1 -1012119187619840*C0895_bit2 -2024238375239680*C0895_bit3 -4048476750479360*C0895_bit4 -8096953500958720*C0895_bit5 -16193907001917440*C0895_bit6 -32387814003834880*C0895_bit7 -64775628007669760*C0895_bit8 -129551256015339520*C0895_bit9 -259102512030679040*C0895_bit10 -518205024061358080*C0895_bit11 -1036410048122716160*C0895_bit12 -2072820096245432320*C0895_bit13 -4145640192490864640*C0895_bit14 -8291280384981729280*C0895_bit15 -16582560769963458560*C0895_bit16 -33165121539926917120*C0895_bit17 -66330243079853834240*C0895_bit18 -132660486159707668480*C0895_bit19 -249420176545*C0896_bit_10 -498840353090*C0896_bit_9 -997680706180*C0896_bit_8 -1995361412360*C0896_bit_7 -3990722824720*C0896_bit_6 -7981445649440*C0896_bit_5 -15962891298880*C0896_bit_4 -31925782597760*C0896_bit_3 -63851565195520*C0896_bit_2 -127703130391040*C0896_bit_1 -255406260782080*C0896_bit0 -510812521564160*C0896_bit1 -1021625043128320*C0896_bit2 -2043250086256640*C0896_bit3 -4086500172513280*C0896_bit4 -8173000345026560*C0896_bit5 -16346000690053120*C0896_bit6 -32692001380106240*C0896_bit7 -65384002760212480*C0896_bit8 -130768005520424960*C0896_bit9 -261536011040849920*C0896_bit10 -523072022081699840*C0896_bit11 -1046144044163399680*C0896_bit12 -2092288088326799360*C0896_bit13 -4184576176653598720*C0896_bit14 -8369152353307197440*C0896_bit15 -16738304706614394880*C0896_bit16 -33476609413228789760*C0896_bit17 -66953218826457579520*C0896_bit18 -133906437652915159040*C0896_bit19 -251233960850*C0897_bit_10 -502467921700*C0897_bit_9 -1004935843400*C0897_bit_8 -2009871686800*C0897_bit_7 -4019743373600*C0897_bit_6 -8039486747200*C0897_bit_5 -16078973494400*C0897_bit_4 -32157946988800*C0897_bit_3 -64315893977600*C0897_bit_2 -128631787955200*C0897_bit_1 -257263575910400*C0897_bit0 -514527151820800*C0897_bit1 -1029054303641600*C0897_bit2 -2058108607283200*C0897_bit3 -4116217214566400*C0897_bit4 -8232434429132800*C0897_bit5 -16464868858265600*C0897_bit6 -32929737716531200*C0897_bit7 -65859475433062400*C0897_bit8 -131718950866124800*C0897_bit9 -263437901732249600*C0897_bit10 -526875803464499200*C0897_bit11 -1053751606928998400*C0897_bit12 -2107503213857996800*C0897_bit13 -4215006427715993600*C0897_bit14 -8430012855431987200*C0897_bit15 -16860025710863974400*C0897_bit16 -33720051421727948800*C0897_bit17 -67440102843455897600*C0897_bit18 -134880205686911795200*C0897_bit19 -252457586190*C0898_bit_10 -504915172380*C0898_bit_9 -1009830344760*C0898_bit_8 -2019660689520*C0898_bit_7 -4039321379040*C0898_bit_6 -8078642758080*C0898_bit_5 -16157285516160*C0898_bit_4 -32314571032320*C0898_bit_3 -64629142064640*C0898_bit_2 -129258284129280*C0898_bit_1 -258516568258560*C0898_bit0 -517033136517120*C0898_bit1 -1034066273034240*C0898_bit2 -2068132546068480*C0898_bit3 -4136265092136960*C0898_bit4 -8272530184273920*C0898_bit5 -16545060368547840*C0898_bit6 -33090120737095680*C0898_bit7 -66180241474191360*C0898_bit8 -132360482948382720*C0898_bit9 -264720965896765440*C0898_bit10 -529441931793530880*C0898_bit11 -1058883863587061760*C0898_bit12 -2117767727174123520*C0898_bit13 -4235535454348247040*C0898_bit14 -8471070908696494080*C0898_bit15 -16942141817392988160*C0898_bit16 -33884283634785976320*C0898_bit17 -67768567269571952640*C0898_bit18 -135537134539143905280*C0898_bit19 -2722767920*C0899_bit_10 -5445535840*C0899_bit_9 -10891071680*C0899_bit_8 -21782143360*C0899_bit_7 -43564286720*C0899_bit_6 -87128573440*C0899_bit_5 -174257146880*C0899_bit_4 -348514293760*C0899_bit_3 -697028587520*C0899_bit_2 -1394057175040*C0899_bit_1 >= -128000000000000;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-neos2.opb
s UNKNOWN
c Exit Code: 0
c Total time: 0.099 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.82 1.07 1.60 2/54 3996
Raw data (stat): 3996 (runsolver) R 3995 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831016471 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+0.135099 s]
Raw data (loadavg): 0.82 1.07 1.60 1/53 3996
Raw data (stat): 3996 (runsolver) R 3995 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831016471 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 0

Child status: 0
Real time (s): 0.134785
CPU time (s): 0.110982
CPU user time (s): 0.081987
CPU system time (s): 0.028995
CPU usage (%): 82.34
Max. virtual memory (Kb): 1028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####