Some explanations

1. 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.
2. SOLVER DATA
   This is the output of the solver (stdout and stderr).
3. 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.
4. 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

Trace number 28943

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-25 04:32:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10570 boxname=wulflinc5 idbench=814 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  0ab24c5b60e18c0be832cc4080b37d61  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-boeing1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-boeing1.opb
IDLAUNCH: 10570
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        864764 kB
Buffers:         10412 kB
Cached:         137968 kB
SwapCached:        472 kB
Active:          21108 kB
Inactive:       129356 kB
HighTotal:      131008 kB
HighFree:        36092 kB
LowTotal:       903652 kB
LowFree:        828672 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5220 kB
Slab:            13644 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:32:40 (client local time) WITH STATUS 0 IN 7.64484 SECONDS
stats: 10570 7 7.64484 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +45700*GRDTIMO1_bit_10 +91400*GRDTIMO1_bit_9 +182800*GRDTIMO1_bit_8 +365600*GRDTIMO1_bit_7 +731200*GRDTIMO1_bit_6 +1462400*GRDTIMO1_bit_5 +2924800*GRDTIMO1_bit_4 +5849600*GRDTIMO1_bit_3 +11699200*GRDTIMO1_bit_2 +23398400*GRDTIMO1_bit_1 +46796800*GRDTIMO1_bit0 +93593600*GRDTIMO1_bit1 +187187200*GRDTIMO1_bit2 +374374400*GRDTIMO1_bit3 +748748800*GRDTIMO1_bit4 +1497497600*GRDTIMO1_bit5 +2994995200*GRDTIMO1_bit6 +5989990400*GRDTIMO1_bit7 +11979980800*GRDTIMO1_bit8 +23959961600*GRDTIMO1_bit9 +47919923200*GRDTIMO1_bit10 +95839846400*GRDTIMO1_bit11 +191679692800*GRDTIMO1_bit12 +383359385600*GRDTIMO1_bit13 +766718771200*GRDTIMO1_bit14 +1533437542400*GRDTIMO1_bit15 +3066875084800*GRDTIMO1_bit16 +6133750169600*GRDTIMO1_bit17 +12267500339200*GRDTIMO1_bit18 +24535000678400*GRDTIMO1_bit19 -13333*GRDTIMN1_bit_10 -26666*GRDTIMN1_bit_9 -53332*GRDTIMN1_bit_8 -106664*GRDTIMN1_bit_7 -213328*GRDTIMN1_bit_6 -426656*GRDTIMN1_bit_5 -853312*GRDTIMN1_bit_4 -1706624*GRDTIMN1_bit_3 -3413248*GRDTIMN1_bit_2 -6826496*GRDTIMN1_bit_1 -13652992*GRDTIMN1_bit0 -27305984*GRDTIMN1_bit1 -54611968*GRDTIMN1_bit2 -109223936*GRDTIMN1_bit3 -218447872*GRDTIMN1_bit4 -436895744*GRDTIMN1_bit5 -873791488*GRDTIMN1_bit6 +31800*GRDTIMO2_bit_10 +63600*GRDTIMO2_bit_9 +127200*GRDTIMO2_bit_8 +254400*GRDTIMO2_bit_7 +508800*GRDTIMO2_bit_6 +1017600*GRDTIMO2_bit_5 +2035200*GRDTIMO2_bit_4 +4070400*GRDTIMO2_bit_3 +8140800*GRDTIMO2_bit_2 +16281600*GRDTIMO2_bit_1 +32563200*GRDTIMO2_bit0 +65126400*GRDTIMO2_bit1 +130252800*GRDTIMO2_bit2 +260505600*GRDTIMO2_bit3 +521011200*GRDTIMO2_bit4 +1042022400*GRDTIMO2_bit5 +2084044800*GRDTIMO2_bit6 +4168089600*GRDTIMO2_bit7 +8336179200*GRDTIMO2_bit8 +16672358400*GRDTIMO2_bit9 +33344716800*GRDTIMO2_bit10 +66689433600*GRDTIMO2_bit11 +133378867200*GRDTIMO2_bit12 +266757734400*GRDTIMO2_bit13 +533515468800*GRDTIMO2_bit14 +1067030937600*GRDTIMO2_bit15 +2134061875200*GRDTIMO2_bit16 +4268123750400*GRDTIMO2_bit17 +8536247500800*GRDTIMO2_bit18 +17072495001600*GRDTIMO2_bit19 -10692*GRDTIMN2_bit_10 -21384*GRDTIMN2_bit_9 -42768*GRDTIMN2_bit_8 -85536*GRDTIMN2_bit_7 -171072*GRDTIMN2_bit_6 -342144*GRDTIMN2_bit_5 -684288*GRDTIMN2_bit_4 -1368576*GRDTIMN2_bit_3 -2737152*GRDTIMN2_bit_2 -5474304*GRDTIMN2_bit_1 -10948608*GRDTIMN2_bit0 -21897216*GRDTIMN2_bit1 -43794432*GRDTIMN2_bit2 -87588864*GRDTIMN2_bit3 -175177728*GRDTIMN2_bit4 -350355456*GRDTIMN2_bit5 -700710912*GRDTIMN2_bit6 +20600*GRDTIMO3_bit_10 +41200*GRDTIMO3_bit_9 +82400*GRDTIMO3_bit_8 +164800*GRDTIMO3_bit_7 +329600*GRDTIMO3_bit_6 +659200*GRDTIMO3_bit_5 +1318400*GRDTIMO3_bit_4 +2636800*GRDTIMO3_bit_3 +5273600*GRDTIMO3_bit_2 +10547200*GRDTIMO3_bit_1 +21094400*GRDTIMO3_bit0 +42188800*GRDTIMO3_bit1 +84377600*GRDTIMO3_bit2 +168755200*GRDTIMO3_bit3 +337510400*GRDTIMO3_bit4 +675020800*GRDTIMO3_bit5 +1350041600*GRDTIMO3_bit6 +2700083200*GRDTIMO3_bit7 +5400166400*GRDTIMO3_bit8 +10800332800*GRDTIMO3_bit9 +21600665600*GRDTIMO3_bit10 +43201331200*GRDTIMO3_bit11 +86402662400*GRDTIMO3_bit12 +172805324800*GRDTIMO3_bit13 +345610649600*GRDTIMO3_bit14 +691221299200*GRDTIMO3_bit15 +1382442598400*GRDTIMO3_bit16 +2764885196800*GRDTIMO3_bit17 +5529770393600*GRDTIMO3_bit18 +11059540787200*GRDTIMO3_bit19 +25000*GRDTIMO4_bit_10 +50000*GRDTIMO4_bit_9 +100000*GRDTIMO4_bit_8 +200000*GRDTIMO4_bit_7 +400000*GRDTIMO4_bit_6 +800000*GRDTIMO4_bit_5 +1600000*GRDTIMO4_bit_4 +3200000*GRDTIMO4_bit_3 +6400000*GRDTIMO4_bit_2 +12800000*GRDTIMO4_bit_1 +25600000*GRDTIMO4_bit0 +51200000*GRDTIMO4_bit1 +102400000*GRDTIMO4_bit2 +204800000*GRDTIMO4_bit3 +409600000*GRDTIMO4_bit4 +819200000*GRDTIMO4_bit5 +1638400000*GRDTIMO4_bit6 +3276800000*GRDTIMO4_bit7 +6553600000*GRDTIMO4_bit8 +13107200000*GRDTIMO4_bit9 +26214400000*GRDTIMO4_bit10 +52428800000*GRDTIMO4_bit11 +104857600000*GRDTIMO4_bit12 +209715200000*GRDTIMO4_bit13 +419430400000*GRDTIMO4_bit14 +838860800000*GRDTIMO4_bit15 +1677721600000*GRDTIMO4_bit16 +3355443200000*GRDTIMO4_bit17 +6710886400000*GRDTIMO4_bit18 +13421772800000*GRDTIMO4_bit19 +16300*GRDTIMO5_bit_10 +32600*GRDTIMO5_bit_9 +65200*GRDTIMO5_bit_8 +130400*GRDTIMO5_bit_7 +260800*GRDTIMO5_bit_6 +521600*GRDTIMO5_bit_5 +1043200*GRDTIMO5_bit_4 +2086400*GRDTIMO5_bit_3 +4172800*GRDTIMO5_bit_2 +8345600*GRDTIMO5_bit_1 +16691200*GRDTIMO5_bit0 +33382400*GRDTIMO5_bit1 +66764800*GRDTIMO5_bit2 +133529600*GRDTIMO5_bit3 +267059200*GRDTIMO5_bit4 +534118400*GRDTIMO5_bit5 +1068236800*GRDTIMO5_bit6 +2136473600*GRDTIMO5_bit7 +4272947200*GRDTIMO5_bit8 +8545894400*GRDTIMO5_bit9 +17091788800*GRDTIMO5_bit10 +34183577600*GRDTIMO5_bit11 +68367155200*GRDTIMO5_bit12 +136734310400*GRDTIMO5_bit13 +273468620800*GRDTIMO5_bit14 +546937241600*GRDTIMO5_bit15 +1093874483200*GRDTIMO5_bit16 +2187748966400*GRDTIMO5_bit17 +4375497932800*GRDTIMO5_bit18 +8750995865600*GRDTIMO5_bit19 +1400620*N1001AC1_bit_10 +2801240*N1001AC1_bit_9 +5602480*N1001AC1_bit_8 +11204960*N1001AC1_bit_7 +22409920*N1001AC1_bit_6 +44819840*N1001AC1_bit_5 +89639680*N1001AC1_bit_4 +179279360*N1001AC1_bit_3 +358558720*N1001AC1_bit_2 +717117440*N1001AC1_bit_1 +1434234880*N1001AC1_bit0 +2868469760*N1001AC1_bit1 +1044277*N1001AC2_bit_10 +2088554*N1001AC2_bit_9 +4177108*N1001AC2_bit_8 +8354216*N1001AC2_bit_7 +16708432*N1001AC2_bit_6 +33416864*N1001AC2_bit_5 +66833728*N1001AC2_bit_4 +133667456*N1001AC2_bit_3 +267334912*N1001AC2_bit_2 +534669824*N1001AC2_bit_1 +1069339648*N1001AC2_bit0 +2138679296*N1001AC2_bit1 +765023*N1001AC3_bit_10 +1530046*N1001AC3_bit_9 +3060092*N1001AC3_bit_8 +6120184*N1001AC3_bit_7 +12240368*N1001AC3_bit_6 +24480736*N1001AC3_bit_5 +48961472*N1001AC3_bit_4 +97922944*N1001AC3_bit_3 +195845888*N1001AC3_bit_2 +391691776*N1001AC3_bit_1 +783383552*N1001AC3_bit0 +1566767104*N1001AC3_bit1 +1689049*N1002AC1_bit_10 +3378098*N1002AC1_bit_9 +6756196*N1002AC1_bit_8 +13512392*N1002AC1_bit_7 +27024784*N1002AC1_bit_6 +54049568*N1002AC1_bit_5 +108099136*N1002AC1_bit_4 +216198272*N1002AC1_bit_3 +432396544*N1002AC1_bit_2 +864793088*N1002AC1_bit_1 +1729586176*N1002AC1_bit0 +3459172352*N1002AC1_bit1 +1239107*N1002AC2_bit_10 +2478214*N1002AC2_bit_9 +4956428*N1002AC2_bit_8 +9912856*N1002AC2_bit_7 +19825712*N1002AC2_bit_6 +39651424*N1002AC2_bit_5 +79302848*N1002AC2_bit_4 +158605696*N1002AC2_bit_3 +317211392*N1002AC2_bit_2 +634422784*N1002AC2_bit_1 +1268845568*N1002AC2_bit0 +2537691136*N1002AC2_bit1 +897425*N1002AC3_bit_10 +1794850*N1002AC3_bit_9 +3589700*N1002AC3_bit_8 +7179400*N1002AC3_bit_7 +14358800*N1002AC3_bit_6 +28717600*N1002AC3_bit_5 +57435200*N1002AC3_bit_4 +114870400*N1002AC3_bit_3 +229740800*N1002AC3_bit_2 +459481600*N1002AC3_bit_1 +918963200*N1002AC3_bit0 +1837926400*N1002AC3_bit1 +1346672*N1003AC1_bit_10 +2693344*N1003AC1_bit_9 +5386688*N1003AC1_bit_8 +10773376*N1003AC1_bit_7 +21546752*N1003AC1_bit_6 +43093504*N1003AC1_bit_5 +86187008*N1003AC1_bit_4 +172374016*N1003AC1_bit_3 +344748032*N1003AC1_bit_2 +689496064*N1003AC1_bit_1 +1378992128*N1003AC1_bit0 +2757984256*N1003AC1_bit1 +5515968512*N1003AC1_bit2 +1003075*N1003AC2_bit_10 +2006150*N1003AC2_bit_9 +4012300*N1003AC2_bit_8 +8024600*N1003AC2_bit_7 +16049200*N1003AC2_bit_6 +32098400*N1003AC2_bit_5 +64196800*N1003AC2_bit_4 +128393600*N1003AC2_bit_3 +256787200*N1003AC2_bit_2 +513574400*N1003AC2_bit_1 +1027148800*N1003AC2_bit0 +2054297600*N1003AC2_bit1 +4108595200*N1003AC2_bit2 +734337*N1003AC3_bit_10 +1468674*N1003AC3_bit_9 +2937348*N1003AC3_bit_8 +5874696*N1003AC3_bit_7 +11749392*N1003AC3_bit_6 +23498784*N1003AC3_bit_5 +46997568*N1003AC3_bit_4 +93995136*N1003AC3_bit_3 +187990272*N1003AC3_bit_2 +375980544*N1003AC3_bit_1 +751961088*N1003AC3_bit0 +1503922176*N1003AC3_bit1 +3007844352*N1003AC3_bit2 +1727667*N1004AC1_bit_10 +3455334*N1004AC1_bit_9 +6910668*N1004AC1_bit_8 +13821336*N1004AC1_bit_7 +27642672*N1004AC1_bit_6 +55285344*N1004AC1_bit_5 +110570688*N1004AC1_bit_4 +221141376*N1004AC1_bit_3 +442282752*N1004AC1_bit_2 +884565504*N1004AC1_bit_1 +1769131008*N1004AC1_bit0 +3538262016*N1004AC1_bit1 +7076524032*N1004AC1_bit2 +1268603*N1004AC2_bit_10 +2537206*N1004AC2_bit_9 +5074412*N1004AC2_bit_8 +10148824*N1004AC2_bit_7 +20297648*N1004AC2_bit_6 +40595296*N1004AC2_bit_5 +81190592*N1004AC2_bit_4 +162381184*N1004AC2_bit_3 +324762368*N1004AC2_bit_2 +649524736*N1004AC2_bit_1 +1299049472*N1004AC2_bit0 +2598098944*N1004AC2_bit1 +5196197888*N1004AC2_bit2 +919391*N1004AC3_bit_10 +1838782*N1004AC3_bit_9 +3677564*N1004AC3_bit_8 +7355128*N1004AC3_bit_7 +14710256*N1004AC3_bit_6 +29420512*N1004AC3_bit_5 +58841024*N1004AC3_bit_4 +117682048*N1004AC3_bit_3 +235364096*N1004AC3_bit_2 +470728192*N1004AC3_bit_1 +941456384*N1004AC3_bit0 +1882912768*N1004AC3_bit1 +3765825536*N1004AC3_bit2 +917770*N1005AC3_bit_10 +1835540*N1005AC3_bit_9 +3671080*N1005AC3_bit_8 +7342160*N1005AC3_bit_7 +14684320*N1005AC3_bit_6 +29368640*N1005AC3_bit_5 +58737280*N1005AC3_bit_4 +117474560*N1005AC3_bit_3 +234949120*N1005AC3_bit_2 +469898240*N1005AC3_bit_1 +939796480*N1005AC3_bit0 +1879592960*N1005AC3_bit1 +919396*N1105AC3_bit_10 +1838792*N1105AC3_bit_9 +3677584*N1105AC3_bit_8 +7355168*N1105AC3_bit_7 +14710336*N1105AC3_bit_6 +29420672*N1105AC3_bit_5 +58841344*N1105AC3_bit_4 +117682688*N1105AC3_bit_3 +235365376*N1105AC3_bit_2 +470730752*N1105AC3_bit_1 +941461504*N1105AC3_bit0 +936510*N1006AC3_bit_10 +1873020*N1006AC3_bit_9 +3746040*N1006AC3_bit_8 +7492080*N1006AC3_bit_7 +14984160*N1006AC3_bit_6 +29968320*N1006AC3_bit_5 +59936640*N1006AC3_bit_4 +119873280*N1006AC3_bit_3 +239746560*N1006AC3_bit_2 +479493120*N1006AC3_bit_1 +958986240*N1006AC3_bit0 +1917972480*N1006AC3_bit1 +2719154*N1007AC1_bit_10 +5438308*N1007AC1_bit_9 +10876616*N1007AC1_bit_8 +21753232*N1007AC1_bit_7 +43506464*N1007AC1_bit_6 +87012928*N1007AC1_bit_5 +174025856*N1007AC1_bit_4 +348051712*N1007AC1_bit_3 +696103424*N1007AC1_bit_2 +1392206848*N1007AC1_bit_1 +2784413696*N1007AC1_bit0 +5568827392*N1007AC1_bit1 +2025861*N1007AC2_bit_10 +4051722*N1007AC2_bit_9 +8103444*N1007AC2_bit_8 +16206888*N1007AC2_bit_7 +32413776*N1007AC2_bit_6 +64827552*N1007AC2_bit_5 +129655104*N1007AC2_bit_4 +259310208*N1007AC2_bit_3 +518620416*N1007AC2_bit_2 +1037240832*N1007AC2_bit_1 +2074481664*N1007AC2_bit0 +4148963328*N1007AC2_bit1 +1483356*N1007AC3_bit_10 +2966712*N1007AC3_bit_9 +5933424*N1007AC3_bit_8 +11866848*N1007AC3_bit_7 +23733696*N1007AC3_bit_6 +47467392*N1007AC3_bit_5 +94934784*N1007AC3_bit_4 +189869568*N1007AC3_bit_3 +379739136*N1007AC3_bit_2 +759478272*N1007AC3_bit_1 +1518956544*N1007AC3_bit0 +3037913088*N1007AC3_bit1 +1199082*N1008AC1_bit_10 +2398164*N1008AC1_bit_9 +4796328*N1008AC1_bit_8 +9592656*N1008AC1_bit_7 +19185312*N1008AC1_bit_6 +38370624*N1008AC1_bit_5 +76741248*N1008AC1_bit_4 +153482496*N1008AC1_bit_3 +306964992*N1008AC1_bit_2 +613929984*N1008AC1_bit_1 +1227859968*N1008AC1_bit0 +2455719936*N1008AC1_bit1 +4911439872*N1008AC1_bit2 +839427*N1008AC2_bit_10 +1678854*N1008AC2_bit_9 +3357708*N1008AC2_bit_8 +6715416*N1008AC2_bit_7 +13430832*N1008AC2_bit_6 +26861664*N1008AC2_bit_5 +53723328*N1008AC2_bit_4 +107446656*N1008AC2_bit_3 +214893312*N1008AC2_bit_2 +429786624*N1008AC2_bit_1 +859573248*N1008AC2_bit0 +1719146496*N1008AC2_bit1 +3438292992*N1008AC2_bit2 +587068*N1008AC3_bit_10 +1174136*N1008AC3_bit_9 +2348272*N1008AC3_bit_8 +4696544*N1008AC3_bit_7 +9393088*N1008AC3_bit_6 +18786176*N1008AC3_bit_5 +37572352*N1008AC3_bit_4 +75144704*N1008AC3_bit_3 +150289408*N1008AC3_bit_2 +300578816*N1008AC3_bit_1 +601157632*N1008AC3_bit0 +1202315264*N1008AC3_bit1 +2404630528*N1008AC3_bit2 +399147*N1008AC4_bit_10 +798294*N1008AC4_bit_9 +1596588*N1008AC4_bit_8 +3193176*N1008AC4_bit_7 +6386352*N1008AC4_bit_6 +12772704*N1008AC4_bit_5 +25545408*N1008AC4_bit_4 +51090816*N1008AC4_bit_3 +102181632*N1008AC4_bit_2 +204363264*N1008AC4_bit_1 +408726528*N1008AC4_bit0 +817453056*N1008AC4_bit1 +1634906112*N1008AC4_bit2 +441133*N1008AC5_bit_10 +882266*N1008AC5_bit_9 +1764532*N1008AC5_bit_8 +3529064*N1008AC5_bit_7 +7058128*N1008AC5_bit_6 +14116256*N1008AC5_bit_5 +28232512*N1008AC5_bit_4 +56465024*N1008AC5_bit_3 +112930048*N1008AC5_bit_2 +225860096*N1008AC5_bit_1 +451720192*N1008AC5_bit0 +903440384*N1008AC5_bit1 +1806880768*N1008AC5_bit2 +343737*N1008AC6_bit_10 +687474*N1008AC6_bit_9 +1374948*N1008AC6_bit_8 +2749896*N1008AC6_bit_7 +5499792*N1008AC6_bit_6 +10999584*N1008AC6_bit_5 +21999168*N1008AC6_bit_4 +43998336*N1008AC6_bit_3 +87996672*N1008AC6_bit_2 +175993344*N1008AC6_bit_1 +351986688*N1008AC6_bit0 +703973376*N1008AC6_bit1 +1407946752*N1008AC6_bit2 +938535*N1009AC1_bit_10 +1877070*N1009AC1_bit_9 +3754140*N1009AC1_bit_8 +7508280*N1009AC1_bit_7 +15016560*N1009AC1_bit_6 +30033120*N1009AC1_bit_5 +60066240*N1009AC1_bit_4 +120132480*N1009AC1_bit_3 +240264960*N1009AC1_bit_2 +480529920*N1009AC1_bit_1 +961059840*N1009AC1_bit0 +1922119680*N1009AC1_bit1 +3844239360*N1009AC1_bit2 +665893*N1009AC2_bit_10 +1331786*N1009AC2_bit_9 +2663572*N1009AC2_bit_8 +5327144*N1009AC2_bit_7 +10654288*N1009AC2_bit_6 +21308576*N1009AC2_bit_5 +42617152*N1009AC2_bit_4 +85234304*N1009AC2_bit_3 +170468608*N1009AC2_bit_2 +340937216*N1009AC2_bit_1 +681874432*N1009AC2_bit0 +1363748864*N1009AC2_bit1 +2727497728*N1009AC2_bit2 +470526*N1009AC3_bit_10 +941052*N1009AC3_bit_9 +1882104*N1009AC3_bit_8 +3764208*N1009AC3_bit_7 +7528416*N1009AC3_bit_6 +15056832*N1009AC3_bit_5 +30113664*N1009AC3_bit_4 +60227328*N1009AC3_bit_3 +120454656*N1009AC3_bit_2 +240909312*N1009AC3_bit_1 +481818624*N1009AC3_bit0 +963637248*N1009AC3_bit1 +1927274496*N1009AC3_bit2 +327055*N1009AC4_bit_10 +654110*N1009AC4_bit_9 +1308220*N1009AC4_bit_8 +2616440*N1009AC4_bit_7 +5232880*N1009AC4_bit_6 +10465760*N1009AC4_bit_5 +20931520*N1009AC4_bit_4 +41863040*N1009AC4_bit_3 +83726080*N1009AC4_bit_2 +167452160*N1009AC4_bit_1 +334904320*N1009AC4_bit0 +669808640*N1009AC4_bit1 +1339617280*N1009AC4_bit2 +358556*N1009AC5_bit_10 +717112*N1009AC5_bit_9 +1434224*N1009AC5_bit_8 +2868448*N1009AC5_bit_7 +5736896*N1009AC5_bit_6 +11473792*N1009AC5_bit_5 +22947584*N1009AC5_bit_4 +45895168*N1009AC5_bit_3 +91790336*N1009AC5_bit_2 +183580672*N1009AC5_bit_1 +367161344*N1009AC5_bit0 +734322688*N1009AC5_bit1 +1468645376*N1009AC5_bit2 +288430*N1010AC1_bit_10 +576860*N1010AC1_bit_9 +1153720*N1010AC1_bit_8 +2307440*N1010AC1_bit_7 +4614880*N1010AC1_bit_6 +9229760*N1010AC1_bit_5 +18459520*N1010AC1_bit_4 +36919040*N1010AC1_bit_3 +73838080*N1010AC1_bit_2 +147676160*N1010AC1_bit_1 +295352320*N1010AC1_bit0 +590704640*N1010AC1_bit1 +1181409280*N1010AC1_bit2 +194830*N1010AC2_bit_10 +389660*N1010AC2_bit_9 +779320*N1010AC2_bit_8 +1558640*N1010AC2_bit_7 +3117280*N1010AC2_bit_6 +6234560*N1010AC2_bit_5 +12469120*N1010AC2_bit_4 +24938240*N1010AC2_bit_3 +49876480*N1010AC2_bit_2 +99752960*N1010AC2_bit_1 +199505920*N1010AC2_bit0 +399011840*N1010AC2_bit1 +798023680*N1010AC2_bit2 +132401*N1010AC3_bit_10 +264802*N1010AC3_bit_9 +529604*N1010AC3_bit_8 +1059208*N1010AC3_bit_7 +2118416*N1010AC3_bit_6 +4236832*N1010AC3_bit_5 +8473664*N1010AC3_bit_4 +16947328*N1010AC3_bit_3 +33894656*N1010AC3_bit_2 +67789312*N1010AC3_bit_1 +135578624*N1010AC3_bit0 +271157248*N1010AC3_bit1 +542314496*N1010AC3_bit2 +84307*N1010AC4_bit_10 +168614*N1010AC4_bit_9 +337228*N1010AC4_bit_8 +674456*N1010AC4_bit_7 +1348912*N1010AC4_bit_6 +2697824*N1010AC4_bit_5 +5395648*N1010AC4_bit_4 +10791296*N1010AC4_bit_3 +21582592*N1010AC4_bit_2 +43165184*N1010AC4_bit_1 +86330368*N1010AC4_bit0 +172660736*N1010AC4_bit1 +345321472*N1010AC4_bit2 +95496*N1010AC5_bit_10 +190992*N1010AC5_bit_9 +381984*N1010AC5_bit_8 +763968*N1010AC5_bit_7 +1527936*N1010AC5_bit_6 +3055872*N1010AC5_bit_5 +6111744*N1010AC5_bit_4 +12223488*N1010AC5_bit_3 +24446976*N1010AC5_bit_2 +48893952*N1010AC5_bit_1 +97787904*N1010AC5_bit0 +195575808*N1010AC5_bit1 +391151616*N1010AC5_bit2 +67624*N1010AC6_bit_10 +135248*N1010AC6_bit_9 +270496*N1010AC6_bit_8 +540992*N1010AC6_bit_7 +1081984*N1010AC6_bit_6 +2163968*N1010AC6_bit_5 +4327936*N1010AC6_bit_4 +8655872*N1010AC6_bit_3 +17311744*N1010AC6_bit_2 +34623488*N1010AC6_bit_1 +69246976*N1010AC6_bit0 +138493952*N1010AC6_bit1 +276987904*N1010AC6_bit2 +910651*N1011AC1_bit_10 +1821302*N1011AC1_bit_9 +3642604*N1011AC1_bit_8 +7285208*N1011AC1_bit_7 +14570416*N1011AC1_bit_6 +29140832*N1011AC1_bit_5 +58281664*N1011AC1_bit_4 +116563328*N1011AC1_bit_3 +233126656*N1011AC1_bit_2 +466253312*N1011AC1_bit_1 +932506624*N1011AC1_bit0 +1865013248*N1011AC1_bit1 +3730026496*N1011AC1_bit2 +644597*N1011AC2_bit_10 +1289194*N1011AC2_bit_9 +2578388*N1011AC2_bit_8 +5156776*N1011AC2_bit_7 +10313552*N1011AC2_bit_6 +20627104*N1011AC2_bit_5 +41254208*N1011AC2_bit_4 +82508416*N1011AC2_bit_3 +165016832*N1011AC2_bit_2 +330033664*N1011AC2_bit_1 +660067328*N1011AC2_bit0 +1320134656*N1011AC2_bit1 +2640269312*N1011AC2_bit2 +454666*N1011AC3_bit_10 +909332*N1011AC3_bit_9 +1818664*N1011AC3_bit_8 +3637328*N1011AC3_bit_7 +7274656*N1011AC3_bit_6 +14549312*N1011AC3_bit_5 +29098624*N1011AC3_bit_4 +58197248*N1011AC3_bit_3 +116394496*N1011AC3_bit_2 +232788992*N1011AC3_bit_1 +465577984*N1011AC3_bit0 +931155968*N1011AC3_bit1 +1862311936*N1011AC3_bit2 +314840*N1011AC4_bit_10 +629680*N1011AC4_bit_9 +1259360*N1011AC4_bit_8 +2518720*N1011AC4_bit_7 +5037440*N1011AC4_bit_6 +10074880*N1011AC4_bit_5 +20149760*N1011AC4_bit_4 +40299520*N1011AC4_bit_3 +80599040*N1011AC4_bit_2 +161198080*N1011AC4_bit_1 +322396160*N1011AC4_bit0 +644792320*N1011AC4_bit1 +1289584640*N1011AC4_bit2 +345638*N1011AC5_bit_10 +691276*N1011AC5_bit_9 +1382552*N1011AC5_bit_8 +2765104*N1011AC5_bit_7 +5530208*N1011AC5_bit_6 +11060416*N1011AC5_bit_5 +22120832*N1011AC5_bit_4 +44241664*N1011AC5_bit_3 +88483328*N1011AC5_bit_2 +176966656*N1011AC5_bit_1 +353933312*N1011AC5_bit0 +707866624*N1011AC5_bit1 +1415733248*N1011AC5_bit2 +276114*N1011AC6_bit_10 +552228*N1011AC6_bit_9 +1104456*N1011AC6_bit_8 +2208912*N1011AC6_bit_7 +4417824*N1011AC6_bit_6 +8835648*N1011AC6_bit_5 +17671296*N1011AC6_bit_4 +35342592*N1011AC6_bit_3 +70685184*N1011AC6_bit_2 +141370368*N1011AC6_bit_1 +282740736*N1011AC6_bit0 +565481472*N1011AC6_bit1 +1130962944*N1011AC6_bit2 +650105*N1012AC1_bit_10 +1300210*N1012AC1_bit_9 +2600420*N1012AC1_bit_8 +5200840*N1012AC1_bit_7 +10401680*N1012AC1_bit_6 +20803360*N1012AC1_bit_5 +41606720*N1012AC1_bit_4 +83213440*N1012AC1_bit_3 +166426880*N1012AC1_bit_2 +332853760*N1012AC1_bit_1 +665707520*N1012AC1_bit0 +1331415040*N1012AC1_bit1 +2662830080*N1012AC1_bit2 +471063*N1012AC2_bit_10 +942126*N1012AC2_bit_9 +1884252*N1012AC2_bit_8 +3768504*N1012AC2_bit_7 +7537008*N1012AC2_bit_6 +15074016*N1012AC2_bit_5 +30148032*N1012AC2_bit_4 +60296064*N1012AC2_bit_3 +120592128*N1012AC2_bit_2 +241184256*N1012AC2_bit_1 +482368512*N1012AC2_bit0 +964737024*N1012AC2_bit1 +1929474048*N1012AC2_bit2 +338125*N1012AC3_bit_10 +676250*N1012AC3_bit_9 +1352500*N1012AC3_bit_8 +2705000*N1012AC3_bit_7 +5410000*N1012AC3_bit_6 +10820000*N1012AC3_bit_5 +21640000*N1012AC3_bit_4 +43280000*N1012AC3_bit_3 +86560000*N1012AC3_bit_2 +173120000*N1012AC3_bit_1 +346240000*N1012AC3_bit0 +692480000*N1012AC3_bit1 +1384960000*N1012AC3_bit2 +242747*N1012AC4_bit_10 +485494*N1012AC4_bit_9 +970988*N1012AC4_bit_8 +1941976*N1012AC4_bit_7 +3883952*N1012AC4_bit_6 +7767904*N1012AC4_bit_5 +15535808*N1012AC4_bit_4 +31071616*N1012AC4_bit_3 +62143232*N1012AC4_bit_2 +124286464*N1012AC4_bit_1 +248572928*N1012AC4_bit0 +497145856*N1012AC4_bit1 +994291712*N1012AC4_bit2 +263060*N1012AC5_bit_10 +526120*N1012AC5_bit_9 +1052240*N1012AC5_bit_8 +2104480*N1012AC5_bit_7 +4208960*N1012AC5_bit_6 +8417920*N1012AC5_bit_5 +16835840*N1012AC5_bit_4 +33671680*N1012AC5_bit_3 +67343360*N1012AC5_bit_2 +134686720*N1012AC5_bit_1 +269373440*N1012AC5_bit0 +538746880*N1012AC5_bit1 +1077493760*N1012AC5_bit2 +458479*N1013AC3_bit_10 +916958*N1013AC3_bit_9 +1833916*N1013AC3_bit_8 +3667832*N1013AC3_bit_7 +7335664*N1013AC3_bit_6 +14671328*N1013AC3_bit_5 +29342656*N1013AC3_bit_4 +58685312*N1013AC3_bit_3 +117370624*N1013AC3_bit_2 +234741248*N1013AC3_bit_1 +469482496*N1013AC3_bit0 +938964992*N1013AC3_bit1 +1877929984*N1013AC3_bit2 +317776*N1013AC4_bit_10 +635552*N1013AC4_bit_9 +1271104*N1013AC4_bit_8 +2542208*N1013AC4_bit_7 +5084416*N1013AC4_bit_6 +10168832*N1013AC4_bit_5 +20337664*N1013AC4_bit_4 +40675328*N1013AC4_bit_3 +81350656*N1013AC4_bit_2 +162701312*N1013AC4_bit_1 +325402624*N1013AC4_bit0 +650805248*N1013AC4_bit1 +1301610496*N1013AC4_bit2 +348744*N1013AC5_bit_10 +697488*N1013AC5_bit_9 +1394976*N1013AC5_bit_8 +2789952*N1013AC5_bit_7 +5579904*N1013AC5_bit_6 +11159808*N1013AC5_bit_5 +22319616*N1013AC5_bit_4 +44639232*N1013AC5_bit_3 +89278464*N1013AC5_bit_2 +178556928*N1013AC5_bit_1 +357113856*N1013AC5_bit0 +714227712*N1013AC5_bit1 +1428455424*N1013AC5_bit2 +278943*N1013AC6_bit_10 +557886*N1013AC6_bit_9 +1115772*N1013AC6_bit_8 +2231544*N1013AC6_bit_7 +4463088*N1013AC6_bit_6 +8926176*N1013AC6_bit_5 +17852352*N1013AC6_bit_4 +35704704*N1013AC6_bit_3 +71409408*N1013AC6_bit_2 +142818816*N1013AC6_bit_1 +285637632*N1013AC6_bit0 +571275264*N1013AC6_bit1 +1142550528*N1013AC6_bit2 +449580*N1014AC3_bit_10 +899160*N1014AC3_bit_9 +1798320*N1014AC3_bit_8 +3596640*N1014AC3_bit_7 +7193280*N1014AC3_bit_6 +14386560*N1014AC3_bit_5 +28773120*N1014AC3_bit_4 +57546240*N1014AC3_bit_3 +115092480*N1014AC3_bit_2 +230184960*N1014AC3_bit_1 +460369920*N1014AC3_bit0 +920739840*N1014AC3_bit1 +1841479680*N1014AC3_bit2 +310922*N1014AC4_bit_10 +621844*N1014AC4_bit_9 +1243688*N1014AC4_bit_8 +2487376*N1014AC4_bit_7 +4974752*N1014AC4_bit_6 +9949504*N1014AC4_bit_5 +19899008*N1014AC4_bit_4 +39798016*N1014AC4_bit_3 +79596032*N1014AC4_bit_2 +159192064*N1014AC4_bit_1 +318384128*N1014AC4_bit0 +636768256*N1014AC4_bit1 +1273536512*N1014AC4_bit2 +341495*N1014AC5_bit_10 +682990*N1014AC5_bit_9 +1365980*N1014AC5_bit_8 +2731960*N1014AC5_bit_7 +5463920*N1014AC5_bit_6 +10927840*N1014AC5_bit_5 +21855680*N1014AC5_bit_4 +43711360*N1014AC5_bit_3 +87422720*N1014AC5_bit_2 +174845440*N1014AC5_bit_1 +349690880*N1014AC5_bit0 +699381760*N1014AC5_bit1 +1398763520*N1014AC5_bit2 +272340*N1014AC6_bit_10 +544680*N1014AC6_bit_9 +1089360*N1014AC6_bit_8 +2178720*N1014AC6_bit_7 +4357440*N1014AC6_bit_6 +8714880*N1014AC6_bit_5 +17429760*N1014AC6_bit_4 +34859520*N1014AC6_bit_3 +69719040*N1014AC6_bit_2 +139438080*N1014AC6_bit_1 +278876160*N1014AC6_bit0 +557752320*N1014AC6_bit1 +1115504640*N1014AC6_bit2 +460806*N1015AC3_bit_10 +921612*N1015AC3_bit_9 +1843224*N1015AC3_bit_8 +3686448*N1015AC3_bit_7 +7372896*N1015AC3_bit_6 +14745792*N1015AC3_bit_5 +29491584*N1015AC3_bit_4 +58983168*N1015AC3_bit_3 +117966336*N1015AC3_bit_2 +235932672*N1015AC3_bit_1 +471865344*N1015AC3_bit0 +943730688*N1015AC3_bit1 +1887461376*N1015AC3_bit2 +319568*N1015AC4_bit_10 +639136*N1015AC4_bit_9 +1278272*N1015AC4_bit_8 +2556544*N1015AC4_bit_7 +5113088*N1015AC4_bit_6 +10226176*N1015AC4_bit_5 +20452352*N1015AC4_bit_4 +40904704*N1015AC4_bit_3 +81809408*N1015AC4_bit_2 +163618816*N1015AC4_bit_1 +327237632*N1015AC4_bit0 +654475264*N1015AC4_bit1 +1308950528*N1015AC4_bit2 +350639*N1015AC5_bit_10 +701278*N1015AC5_bit_9 +1402556*N1015AC5_bit_8 +2805112*N1015AC5_bit_7 +5610224*N1015AC5_bit_6 +11220448*N1015AC5_bit_5 +22440896*N1015AC5_bit_4 +44881792*N1015AC5_bit_3 +89763584*N1015AC5_bit_2 +179527168*N1015AC5_bit_1 +359054336*N1015AC5_bit0 +718108672*N1015AC5_bit1 +1436217344*N1015AC5_bit2 +280669*N1015AC6_bit_10 +561338*N1015AC6_bit_9 +1122676*N1015AC6_bit_8 +2245352*N1015AC6_bit_7 +4490704*N1015AC6_bit_6 +8981408*N1015AC6_bit_5 +17962816*N1015AC6_bit_4 +35925632*N1015AC6_bit_3 +71851264*N1015AC6_bit_2 +143702528*N1015AC6_bit_1 +287405056*N1015AC6_bit0 +574810112*N1015AC6_bit1 +1149620224*N1015AC6_bit2 +451701*N1016AC3_bit_10 +903402*N1016AC3_bit_9 +1806804*N1016AC3_bit_8 +3613608*N1016AC3_bit_7 +7227216*N1016AC3_bit_6 +14454432*N1016AC3_bit_5 +28908864*N1016AC3_bit_4 +57817728*N1016AC3_bit_3 +115635456*N1016AC3_bit_2 +231270912*N1016AC3_bit_1 +462541824*N1016AC3_bit0 +925083648*N1016AC3_bit1 +1850167296*N1016AC3_bit2 +312556*N1016AC4_bit_10 +625112*N1016AC4_bit_9 +1250224*N1016AC4_bit_8 +2500448*N1016AC4_bit_7 +5000896*N1016AC4_bit_6 +10001792*N1016AC4_bit_5 +20003584*N1016AC4_bit_4 +40007168*N1016AC4_bit_3 +80014336*N1016AC4_bit_2 +160028672*N1016AC4_bit_1 +320057344*N1016AC4_bit0 +640114688*N1016AC4_bit1 +1280229376*N1016AC4_bit2 +343223*N1016AC5_bit_10 +686446*N1016AC5_bit_9 +1372892*N1016AC5_bit_8 +2745784*N1016AC5_bit_7 +5491568*N1016AC5_bit_6 +10983136*N1016AC5_bit_5 +21966272*N1016AC5_bit_4 +43932544*N1016AC5_bit_3 +87865088*N1016AC5_bit_2 +175730176*N1016AC5_bit_1 +351460352*N1016AC5_bit0 +702920704*N1016AC5_bit1 +1405841408*N1016AC5_bit2 +273914*N1016AC6_bit_10 +547828*N1016AC6_bit_9 +1095656*N1016AC6_bit_8 +2191312*N1016AC6_bit_7 +4382624*N1016AC6_bit_6 +8765248*N1016AC6_bit_5 +17530496*N1016AC6_bit_4 +35060992*N1016AC6_bit_3 +70121984*N1016AC6_bit_2 +140243968*N1016AC6_bit_1 +280487936*N1016AC6_bit0 +560975872*N1016AC6_bit1 +1121951744*N1016AC6_bit2 +452672*N1017AC3_bit_10 +905344*N1017AC3_bit_9 +1810688*N1017AC3_bit_8 +3621376*N1017AC3_bit_7 +7242752*N1017AC3_bit_6 +14485504*N1017AC3_bit_5 +28971008*N1017AC3_bit_4 +57942016*N1017AC3_bit_3 +115884032*N1017AC3_bit_2 +231768064*N1017AC3_bit_1 +463536128*N1017AC3_bit0 +927072256*N1017AC3_bit1 +1854144512*N1017AC3_bit2 +313304*N1017AC4_bit_10 +626608*N1017AC4_bit_9 +1253216*N1017AC4_bit_8 +2506432*N1017AC4_bit_7 +5012864*N1017AC4_bit_6 +10025728*N1017AC4_bit_5 +20051456*N1017AC4_bit_4 +40102912*N1017AC4_bit_3 +80205824*N1017AC4_bit_2 +160411648*N1017AC4_bit_1 +320823296*N1017AC4_bit0 +641646592*N1017AC4_bit1 +1283293184*N1017AC4_bit2 +344014*N1017AC5_bit_10 +688028*N1017AC5_bit_9 +1376056*N1017AC5_bit_8 +2752112*N1017AC5_bit_7 +5504224*N1017AC5_bit_6 +11008448*N1017AC5_bit_5 +22016896*N1017AC5_bit_4 +44033792*N1017AC5_bit_3 +88067584*N1017AC5_bit_2 +176135168*N1017AC5_bit_1 +352270336*N1017AC5_bit0 +704540672*N1017AC5_bit1 +1409081344*N1017AC5_bit2 +274634*N1017AC6_bit_10 +549268*N1017AC6_bit_9 +1098536*N1017AC6_bit_8 +2197072*N1017AC6_bit_7 +4394144*N1017AC6_bit_6 +8788288*N1017AC6_bit_5 +17576576*N1017AC6_bit_4 +35153152*N1017AC6_bit_3 +70306304*N1017AC6_bit_2 +140612608*N1017AC6_bit_1 +281225216*N1017AC6_bit0 +562450432*N1017AC6_bit1 +1124900864*N1017AC6_bit2 +767623*N1018AC1_bit_10 +1535246*N1018AC1_bit_9 +3070492*N1018AC1_bit_8 +6140984*N1018AC1_bit_7 +12281968*N1018AC1_bit_6 +24563936*N1018AC1_bit_5 +49127872*N1018AC1_bit_4 +98255744*N1018AC1_bit_3 +196511488*N1018AC1_bit_2 +393022976*N1018AC1_bit_1 +786045952*N1018AC1_bit0 +1572091904*N1018AC1_bit1 +3144183808*N1018AC1_bit2 +535357*N1018AC2_bit_10 +1070714*N1018AC2_bit_9 +2141428*N1018AC2_bit_8 +4282856*N1018AC2_bit_7 +8565712*N1018AC2_bit_6 +17131424*N1018AC2_bit_5 +34262848*N1018AC2_bit_4 +68525696*N1018AC2_bit_3 +137051392*N1018AC2_bit_2 +274102784*N1018AC2_bit_1 +548205568*N1018AC2_bit0 +1096411136*N1018AC2_bit1 +2192822272*N1018AC2_bit2 +373310*N1018AC3_bit_10 +746620*N1018AC3_bit_9 +1493240*N1018AC3_bit_8 +2986480*N1018AC3_bit_7 +5972960*N1018AC3_bit_6 +11945920*N1018AC3_bit_5 +23891840*N1018AC3_bit_4 +47783680*N1018AC3_bit_3 +95567360*N1018AC3_bit_2 +191134720*N1018AC3_bit_1 +382269440*N1018AC3_bit0 +764538880*N1018AC3_bit1 +1529077760*N1018AC3_bit2 +252182*N1018AC4_bit_10 +504364*N1018AC4_bit_9 +1008728*N1018AC4_bit_8 +2017456*N1018AC4_bit_7 +4034912*N1018AC4_bit_6 +8069824*N1018AC4_bit_5 +16139648*N1018AC4_bit_4 +32279296*N1018AC4_bit_3 +64558592*N1018AC4_bit_2 +129117184*N1018AC4_bit_1 +258234368*N1018AC4_bit0 +516468736*N1018AC4_bit1 +1032937472*N1018AC4_bit2 +279372*N1018AC5_bit_10 +558744*N1018AC5_bit_9 +1117488*N1018AC5_bit_8 +2234976*N1018AC5_bit_7 +4469952*N1018AC5_bit_6 +8939904*N1018AC5_bit_5 +17879808*N1018AC5_bit_4 +35759616*N1018AC5_bit_3 +71519232*N1018AC5_bit_2 +143038464*N1018AC5_bit_1 +286076928*N1018AC5_bit0 +572153856*N1018AC5_bit1 +1144307712*N1018AC5_bit2 +215753*N1018AC6_bit_10 +431506*N1018AC6_bit_9 +863012*N1018AC6_bit_8 +1726024*N1018AC6_bit_7 +3452048*N1018AC6_bit_6 +6904096*N1018AC6_bit_5 +13808192*N1018AC6_bit_4 +27616384*N1018AC6_bit_3 +55232768*N1018AC6_bit_2 +110465536*N1018AC6_bit_1 +220931072*N1018AC6_bit0 +441862144*N1018AC6_bit1 +883724288*N1018AC6_bit2 +900153*N1019AC1_bit_10 +1800306*N1019AC1_bit_9 +3600612*N1019AC1_bit_8 +7201224*N1019AC1_bit_7 +14402448*N1019AC1_bit_6 +28804896*N1019AC1_bit_5 +57609792*N1019AC1_bit_4 +115219584*N1019AC1_bit_3 +230439168*N1019AC1_bit_2 +460878336*N1019AC1_bit_1 +921756672*N1019AC1_bit0 +1843513344*N1019AC1_bit1 +3687026688*N1019AC1_bit2 +636578*N1019AC2_bit_10 +1273156*N1019AC2_bit_9 +2546312*N1019AC2_bit_8 +5092624*N1019AC2_bit_7 +10185248*N1019AC2_bit_6 +20370496*N1019AC2_bit_5 +40740992*N1019AC2_bit_4 +81481984*N1019AC2_bit_3 +162963968*N1019AC2_bit_2 +325927936*N1019AC2_bit_1 +651855872*N1019AC2_bit0 +1303711744*N1019AC2_bit1 +2607423488*N1019AC2_bit2 +448694*N1019AC3_bit_10 +897388*N1019AC3_bit_9 +1794776*N1019AC3_bit_8 +3589552*N1019AC3_bit_7 +7179104*N1019AC3_bit_6 +14358208*N1019AC3_bit_5 +28716416*N1019AC3_bit_4 +57432832*N1019AC3_bit_3 +114865664*N1019AC3_bit_2 +229731328*N1019AC3_bit_1 +459462656*N1019AC3_bit0 +918925312*N1019AC3_bit1 +1837850624*N1019AC3_bit2 +310240*N1019AC4_bit_10 +620480*N1019AC4_bit_9 +1240960*N1019AC4_bit_8 +2481920*N1019AC4_bit_7 +4963840*N1019AC4_bit_6 +9927680*N1019AC4_bit_5 +19855360*N1019AC4_bit_4 +39710720*N1019AC4_bit_3 +79421440*N1019AC4_bit_2 +158842880*N1019AC4_bit_1 +317685760*N1019AC4_bit0 +635371520*N1019AC4_bit1 +1270743040*N1019AC4_bit2 +340774*N1019AC5_bit_10 +681548*N1019AC5_bit_9 +1363096*N1019AC5_bit_8 +2726192*N1019AC5_bit_7 +5452384*N1019AC5_bit_6 +10904768*N1019AC5_bit_5 +21809536*N1019AC5_bit_4 +43619072*N1019AC5_bit_3 +87238144*N1019AC5_bit_2 +174476288*N1019AC5_bit_1 +348952576*N1019AC5_bit0 +697905152*N1019AC5_bit1 +1395810304*N1019AC5_bit2 +479193*N1020AC1_bit_10 +958386*N1020AC1_bit_9 +1916772*N1020AC1_bit_8 +3833544*N1020AC1_bit_7 +7667088*N1020AC1_bit_6 +15334176*N1020AC1_bit_5 +30668352*N1020AC1_bit_4 +61336704*N1020AC1_bit_3 +122673408*N1020AC1_bit_2 +245346816*N1020AC1_bit_1 +490693632*N1020AC1_bit0 +981387264*N1020AC1_bit1 +1962774528*N1020AC1_bit2 +340527*N1020AC2_bit_10 +681054*N1020AC2_bit_9 +1362108*N1020AC2_bit_8 +2724216*N1020AC2_bit_7 +5448432*N1020AC2_bit_6 +10896864*N1020AC2_bit_5 +21793728*N1020AC2_bit_4 +43587456*N1020AC2_bit_3 +87174912*N1020AC2_bit_2 +174349824*N1020AC2_bit_1 +348699648*N1020AC2_bit0 +697399296*N1020AC2_bit1 +1394798592*N1020AC2_bit2 +240909*N1020AC3_bit_10 +481818*N1020AC3_bit_9 +963636*N1020AC3_bit_8 +1927272*N1020AC3_bit_7 +3854544*N1020AC3_bit_6 +7709088*N1020AC3_bit_5 +15418176*N1020AC3_bit_4 +30836352*N1020AC3_bit_3 +61672704*N1020AC3_bit_2 +123345408*N1020AC3_bit_1 +246690816*N1020AC3_bit0 +493381632*N1020AC3_bit1 +986763264*N1020AC3_bit2 +167875*N1020AC4_bit_10 +335750*N1020AC4_bit_9 +671500*N1020AC4_bit_8 +1343000*N1020AC4_bit_7 +2686000*N1020AC4_bit_6 +5372000*N1020AC4_bit_5 +10744000*N1020AC4_bit_4 +21488000*N1020AC4_bit_3 +42976000*N1020AC4_bit_2 +85952000*N1020AC4_bit_1 +171904000*N1020AC4_bit0 +343808000*N1020AC4_bit1 +687616000*N1020AC4_bit2 +183876*N1020AC5_bit_10 +367752*N1020AC5_bit_9 +735504*N1020AC5_bit_8 +1471008*N1020AC5_bit_7 +2942016*N1020AC5_bit_6 +5884032*N1020AC5_bit_5 +11768064*N1020AC5_bit_4 +23536128*N1020AC5_bit_3 +47072256*N1020AC5_bit_2 +94144512*N1020AC5_bit_1 +188289024*N1020AC5_bit0 +376578048*N1020AC5_bit1 +753156096*N1020AC5_bit2 +148129*N1020AC6_bit_10 +296258*N1020AC6_bit_9 +592516*N1020AC6_bit_8 +1185032*N1020AC6_bit_7 +2370064*N1020AC6_bit_6 +4740128*N1020AC6_bit_5 +9480256*N1020AC6_bit_4 +18960512*N1020AC6_bit_3 +37921024*N1020AC6_bit_2 +75842048*N1020AC6_bit_1 +151684096*N1020AC6_bit0 +303368192*N1020AC6_bit1 +606736384*N1020AC6_bit2 +611723*N1021AC1_bit_10 +1223446*N1021AC1_bit_9 +2446892*N1021AC1_bit_8 +4893784*N1021AC1_bit_7 +9787568*N1021AC1_bit_6 +19575136*N1021AC1_bit_5 +39150272*N1021AC1_bit_4 +78300544*N1021AC1_bit_3 +156601088*N1021AC1_bit_2 +313202176*N1021AC1_bit_1 +626404352*N1021AC1_bit0 +1252808704*N1021AC1_bit1 +2505617408*N1021AC1_bit2 +441748*N1021AC2_bit_10 +883496*N1021AC2_bit_9 +1766992*N1021AC2_bit_8 +3533984*N1021AC2_bit_7 +7067968*N1021AC2_bit_6 +14135936*N1021AC2_bit_5 +28271872*N1021AC2_bit_4 +56543744*N1021AC2_bit_3 +113087488*N1021AC2_bit_2 +226174976*N1021AC2_bit_1 +452349952*N1021AC2_bit0 +904699904*N1021AC2_bit1 +1809399808*N1021AC2_bit2 +316293*N1021AC3_bit_10 +632586*N1021AC3_bit_9 +1265172*N1021AC3_bit_8 +2530344*N1021AC3_bit_7 +5060688*N1021AC3_bit_6 +10121376*N1021AC3_bit_5 +20242752*N1021AC3_bit_4 +40485504*N1021AC3_bit_3 +80971008*N1021AC3_bit_2 +161942016*N1021AC3_bit_1 +323884032*N1021AC3_bit0 +647768064*N1021AC3_bit1 +1295536128*N1021AC3_bit2 +225933*N1021AC4_bit_10 +451866*N1021AC4_bit_9 +903732*N1021AC4_bit_8 +1807464*N1021AC4_bit_7 +3614928*N1021AC4_bit_6 +7229856*N1021AC4_bit_5 +14459712*N1021AC4_bit_4 +28919424*N1021AC4_bit_3 +57838848*N1021AC4_bit_2 +115677696*N1021AC4_bit_1 +231355392*N1021AC4_bit0 +462710784*N1021AC4_bit1 +925421568*N1021AC4_bit2 +245278*N1021AC5_bit_10 +490556*N1021AC5_bit_9 +981112*N1021AC5_bit_8 +1962224*N1021AC5_bit_7 +3924448*N1021AC5_bit_6 +7848896*N1021AC5_bit_5 +15697792*N1021AC5_bit_4 +31395584*N1021AC5_bit_3 +62791168*N1021AC5_bit_2 +125582336*N1021AC5_bit_1 +251164672*N1021AC5_bit0 +502329344*N1021AC5_bit1 +1004658688*N1021AC5_bit2 +4032039*N1022AC1_bit_10 +8064078*N1022AC1_bit_9 +16128156*N1022AC1_bit_8 +32256312*N1022AC1_bit_7 +64512624*N1022AC1_bit_6 +129025248*N1022AC1_bit_5 +258050496*N1022AC1_bit_4 +516100992*N1022AC1_bit_3 +1032201984*N1022AC1_bit_2 +2064403968*N1022AC1_bit_1 +4128807936*N1022AC1_bit0 +2940820*N1023AC1_bit_10 +5881640*N1023AC1_bit_9 +11763280*N1023AC1_bit_8 +23526560*N1023AC1_bit_7 +47053120*N1023AC1_bit_6 +94106240*N1023AC1_bit_5 +188212480*N1023AC1_bit_4 +376424960*N1023AC1_bit_3 +752849920*N1023AC1_bit_2 +1505699840*N1023AC1_bit_1 +3011399680*N1023AC1_bit0 +3302493*N1026AC1_bit_10 +6604986*N1026AC1_bit_9 +13209972*N1026AC1_bit_8 +26419944*N1026AC1_bit_7 +52839888*N1026AC1_bit_6 +105679776*N1026AC1_bit_5 +211359552*N1026AC1_bit_4 +422719104*N1026AC1_bit_3 +845438208*N1026AC1_bit_2 +1690876416*N1026AC1_bit_1 +3381752832*N1026AC1_bit0 +3774599*N1027AC1_bit_10 +7549198*N1027AC1_bit_9 +15098396*N1027AC1_bit_8 +30196792*N1027AC1_bit_7 +60393584*N1027AC1_bit_6 +120787168*N1027AC1_bit_5 +241574336*N1027AC1_bit_4 +483148672*N1027AC1_bit_3 +966297344*N1027AC1_bit_2 +1932594688*N1027AC1_bit_1 +3865189376*N1027AC1_bit0 +3654150*N1028AC1_bit_10 +7308300*N1028AC1_bit_9 +14616600*N1028AC1_bit_8 +29233200*N1028AC1_bit_7 +58466400*N1028AC1_bit_6 +116932800*N1028AC1_bit_5 +233865600*N1028AC1_bit_4 +467731200*N1028AC1_bit_3 +935462400*N1028AC1_bit_2 +1870924800*N1028AC1_bit_1 +3741849600*N1028AC1_bit0 +4282423*N1029AC1_bit_10 +8564846*N1029AC1_bit_9 +17129692*N1029AC1_bit_8 +34259384*N1029AC1_bit_7 +68518768*N1029AC1_bit_6 +137037536*N1029AC1_bit_5 +274075072*N1029AC1_bit_4 +548150144*N1029AC1_bit_3 +1096300288*N1029AC1_bit_2 +2192600576*N1029AC1_bit_1 +4385201152*N1029AC1_bit0 +4035146*N1030AC1_bit_10 +8070292*N1030AC1_bit_9 +16140584*N1030AC1_bit_8 +32281168*N1030AC1_bit_7 +64562336*N1030AC1_bit_6 +129124672*N1030AC1_bit_5 +258249344*N1030AC1_bit_4 +516498688*N1030AC1_bit_3 +1032997376*N1030AC1_bit_2 +2065994752*N1030AC1_bit_1 +4131989504*N1030AC1_bit0 +2382040*N1032AC1_bit_10 +4764080*N1032AC1_bit_9 +9528160*N1032AC1_bit_8 +19056320*N1032AC1_bit_7 +38112640*N1032AC1_bit_6 +76225280*N1032AC1_bit_5 +152450560*N1032AC1_bit_4 +304901120*N1032AC1_bit_3 +609802240*N1032AC1_bit_2 +1219604480*N1032AC1_bit_1 +2439208960*N1032AC1_bit0 +1692001*N1032AC2_bit_10 +3384002*N1032AC2_bit_9 +6768004*N1032AC2_bit_8 +13536008*N1032AC2_bit_7 +27072016*N1032AC2_bit_6 +54144032*N1032AC2_bit_5 +108288064*N1032AC2_bit_4 +216576128*N1032AC2_bit_3 +433152256*N1032AC2_bit_2 +866304512*N1032AC2_bit_1 +1732609024*N1032AC2_bit0 +1196625*N1032AC3_bit_10 +2393250*N1032AC3_bit_9 +4786500*N1032AC3_bit_8 +9573000*N1032AC3_bit_7 +19146000*N1032AC3_bit_6 +38292000*N1032AC3_bit_5 +76584000*N1032AC3_bit_4 +153168000*N1032AC3_bit_3 +306336000*N1032AC3_bit_2 +612672000*N1032AC3_bit_1 +1225344000*N1032AC3_bit0 +833277*N1032AC4_bit_10 +1666554*N1032AC4_bit_9 +3333108*N1032AC4_bit_8 +6666216*N1032AC4_bit_7 +13332432*N1032AC4_bit_6 +26664864*N1032AC4_bit_5 +53329728*N1032AC4_bit_4 +106659456*N1032AC4_bit_3 +213318912*N1032AC4_bit_2 +426637824*N1032AC4_bit_1 +853275648*N1032AC4_bit0 +912932*N1032AC5_bit_10 +1825864*N1032AC5_bit_9 +3651728*N1032AC5_bit_8 +7303456*N1032AC5_bit_7 +14606912*N1032AC5_bit_6 +29213824*N1032AC5_bit_5 +58427648*N1032AC5_bit_4 +116855296*N1032AC5_bit_3 +233710592*N1032AC5_bit_2 +467421184*N1032AC5_bit_1 +934842368*N1032AC5_bit0 +1808295*N1033AC1_bit_10 +3616590*N1033AC1_bit_9 +7233180*N1033AC1_bit_8 +14466360*N1033AC1_bit_7 +28932720*N1033AC1_bit_6 +57865440*N1033AC1_bit_5 +115730880*N1033AC1_bit_4 +231461760*N1033AC1_bit_3 +462923520*N1033AC1_bit_2 +925847040*N1033AC1_bit_1 +1851694080*N1033AC1_bit0 +3703388160*N1033AC1_bit1 +7406776320*N1033AC1_bit2 +1304720*N1033AC2_bit_10 +2609440*N1033AC2_bit_9 +5218880*N1033AC2_bit_8 +10437760*N1033AC2_bit_7 +20875520*N1033AC2_bit_6 +41751040*N1033AC2_bit_5 +83502080*N1033AC2_bit_4 +167004160*N1033AC2_bit_3 +334008320*N1033AC2_bit_2 +668016640*N1033AC2_bit_1 +1336033280*N1033AC2_bit0 +2672066560*N1033AC2_bit1 +5344133120*N1033AC2_bit2 +933593*N1033AC3_bit_10 +1867186*N1033AC3_bit_9 +3734372*N1033AC3_bit_8 +7468744*N1033AC3_bit_7 +14937488*N1033AC3_bit_6 +29874976*N1033AC3_bit_5 +59749952*N1033AC3_bit_4 +119499904*N1033AC3_bit_3 +238999808*N1033AC3_bit_2 +477999616*N1033AC3_bit_1 +955999232*N1033AC3_bit0 +1911998464*N1033AC3_bit1 +3823996928*N1033AC3_bit2 +666027*N1033AC4_bit_10 +1332054*N1033AC4_bit_9 +2664108*N1033AC4_bit_8 +5328216*N1033AC4_bit_7 +10656432*N1033AC4_bit_6 +21312864*N1033AC4_bit_5 +42625728*N1033AC4_bit_4 +85251456*N1033AC4_bit_3 +170502912*N1033AC4_bit_2 +341005824*N1033AC4_bit_1 +682011648*N1033AC4_bit0 +1364023296*N1033AC4_bit1 +2728046592*N1033AC4_bit2 +723383*N1033AC5_bit_10 +1446766*N1033AC5_bit_9 +2893532*N1033AC5_bit_8 +5787064*N1033AC5_bit_7 +11574128*N1033AC5_bit_6 +23148256*N1033AC5_bit_5 +46296512*N1033AC5_bit_4 +92593024*N1033AC5_bit_3 +185186048*N1033AC5_bit_2 +370372096*N1033AC5_bit_1 +740744192*N1033AC5_bit0 +1481488384*N1033AC5_bit1 +2962976768*N1033AC5_bit2 +1509963*N1034AC1_bit_10 +3019926*N1034AC1_bit_9 +6039852*N1034AC1_bit_8 +12079704*N1034AC1_bit_7 +24159408*N1034AC1_bit_6 +48318816*N1034AC1_bit_5 +96637632*N1034AC1_bit_4 +193275264*N1034AC1_bit_3 +386550528*N1034AC1_bit_2 +773101056*N1034AC1_bit_1 +1546202112*N1034AC1_bit0 +3092404224*N1034AC1_bit1 +6184808448*N1034AC1_bit2 +1102328*N1034AC2_bit_10 +2204656*N1034AC2_bit_9 +4409312*N1034AC2_bit_8 +8818624*N1034AC2_bit_7 +17637248*N1034AC2_bit_6 +35274496*N1034AC2_bit_5 +70548992*N1034AC2_bit_4 +141097984*N1034AC2_bit_3 +282195968*N1034AC2_bit_2 +564391936*N1034AC2_bit_1 +1128783872*N1034AC2_bit0 +2257567744*N1034AC2_bit1 +4515135488*N1034AC2_bit2 +795559*N1034AC3_bit_10 +1591118*N1034AC3_bit_9 +3182236*N1034AC3_bit_8 +6364472*N1034AC3_bit_7 +12728944*N1034AC3_bit_6 +25457888*N1034AC3_bit_5 +50915776*N1034AC3_bit_4 +101831552*N1034AC3_bit_3 +203663104*N1034AC3_bit_2 +407326208*N1034AC3_bit_1 +814652416*N1034AC3_bit0 +1629304832*N1034AC3_bit1 +3258609664*N1034AC3_bit2 +1378819*N1035AC1_bit_10 +2757638*N1035AC1_bit_9 +5515276*N1035AC1_bit_8 +11030552*N1035AC1_bit_7 +22061104*N1035AC1_bit_6 +44122208*N1035AC1_bit_5 +88244416*N1035AC1_bit_4 +176488832*N1035AC1_bit_3 +352977664*N1035AC1_bit_2 +705955328*N1035AC1_bit_1 +1411910656*N1035AC1_bit0 +2823821312*N1035AC1_bit1 +5647642624*N1035AC1_bit2 +1002165*N1035AC2_bit_10 +2004330*N1035AC2_bit_9 +4008660*N1035AC2_bit_8 +8017320*N1035AC2_bit_7 +16034640*N1035AC2_bit_6 +32069280*N1035AC2_bit_5 +64138560*N1035AC2_bit_4 +128277120*N1035AC2_bit_3 +256554240*N1035AC2_bit_2 +513108480*N1035AC2_bit_1 +1026216960*N1035AC2_bit0 +2052433920*N1035AC2_bit1 +4104867840*N1035AC2_bit2 +720963*N1035AC3_bit_10 +1441926*N1035AC3_bit_9 +2883852*N1035AC3_bit_8 +5767704*N1035AC3_bit_7 +11535408*N1035AC3_bit_6 +23070816*N1035AC3_bit_5 +46141632*N1035AC3_bit_4 +92283264*N1035AC3_bit_3 +184566528*N1035AC3_bit_2 +369133056*N1035AC3_bit_1 +738266112*N1035AC3_bit0 +1476532224*N1035AC3_bit1 +2953064448*N1035AC3_bit2 +519931*N1035AC4_bit_10 +1039862*N1035AC4_bit_9 +2079724*N1035AC4_bit_8 +4159448*N1035AC4_bit_7 +8318896*N1035AC4_bit_6 +16637792*N1035AC4_bit_5 +33275584*N1035AC4_bit_4 +66551168*N1035AC4_bit_3 +133102336*N1035AC4_bit_2 +266204672*N1035AC4_bit_1 +532409344*N1035AC4_bit0 +1064818688*N1035AC4_bit1 +2129637376*N1035AC4_bit2 +562541*N1035AC5_bit_10 +1125082*N1035AC5_bit_9 +2250164*N1035AC5_bit_8 +4500328*N1035AC5_bit_7 +9000656*N1035AC5_bit_6 +18001312*N1035AC5_bit_5 +36002624*N1035AC5_bit_4 +72005248*N1035AC5_bit_3 +144010496*N1035AC5_bit_2 +288020992*N1035AC5_bit_1 +576041984*N1035AC5_bit0 +1152083968*N1035AC5_bit1 +2304167936*N1035AC5_bit2 +1574868*N1036AC1_bit_10 +3149736*N1036AC1_bit_9 +6299472*N1036AC1_bit_8 +12598944*N1036AC1_bit_7 +25197888*N1036AC1_bit_6 +50395776*N1036AC1_bit_5 +100791552*N1036AC1_bit_4 +201583104*N1036AC1_bit_3 +403166208*N1036AC1_bit_2 +806332416*N1036AC1_bit_1 +1612664832*N1036AC1_bit0 +3225329664*N1036AC1_bit1 +6450659328*N1036AC1_bit2 +1151899*N1036AC2_bit_10 +2303798*N1036AC2_bit_9 +4607596*N1036AC2_bit_8 +9215192*N1036AC2_bit_7 +18430384*N1036AC2_bit_6 +36860768*N1036AC2_bit_5 +73721536*N1036AC2_bit_4 +147443072*N1036AC2_bit_3 +294886144*N1036AC2_bit_2 +589772288*N1036AC2_bit_1 +1179544576*N1036AC2_bit0 +2359089152*N1036AC2_bit1 +4718178304*N1036AC2_bit2 +832477*N1036AC3_bit_10 +1664954*N1036AC3_bit_9 +3329908*N1036AC3_bit_8 +6659816*N1036AC3_bit_7 +13319632*N1036AC3_bit_6 +26639264*N1036AC3_bit_5 +53278528*N1036AC3_bit_4 +106557056*N1036AC3_bit_3 +213114112*N1036AC3_bit_2 +426228224*N1036AC3_bit_1 +852456448*N1036AC3_bit0 +1704912896*N1036AC3_bit1 +3409825792*N1036AC3_bit2 +358840*N1037AC4_bit_10 +717680*N1037AC4_bit_9 +1435360*N1037AC4_bit_8 +2870720*N1037AC4_bit_7 +5741440*N1037AC4_bit_6 +11482880*N1037AC4_bit_5 +22965760*N1037AC4_bit_4 +45931520*N1037AC4_bit_3 +91863040*N1037AC4_bit_2 +183726080*N1037AC4_bit_1 +367452160*N1037AC4_bit0 +734904320*N1037AC4_bit1 +1469808640*N1037AC4_bit2 +392172*N1037AC5_bit_10 +784344*N1037AC5_bit_9 +1568688*N1037AC5_bit_8 +3137376*N1037AC5_bit_7 +6274752*N1037AC5_bit_6 +12549504*N1037AC5_bit_5 +25099008*N1037AC5_bit_4 +50198016*N1037AC5_bit_3 +100396032*N1037AC5_bit_2 +200792064*N1037AC5_bit_1 +401584128*N1037AC5_bit0 +803168256*N1037AC5_bit1 +1606336512*N1037AC5_bit2 +238548*N1038AC4_bit_10 +477096*N1038AC4_bit_9 +954192*N1038AC4_bit_8 +1908384*N1038AC4_bit_7 +3816768*N1038AC4_bit_6 +7633536*N1038AC4_bit_5 +15267072*N1038AC4_bit_4 +30534144*N1038AC4_bit_3 +61068288*N1038AC4_bit_2 +122136576*N1038AC4_bit_1 +244273152*N1038AC4_bit0 +488546304*N1038AC4_bit1 +977092608*N1038AC4_bit2 +1954185216*N1038AC4_bit3 +258620*N1038AC5_bit_10 +517240*N1038AC5_bit_9 +1034480*N1038AC5_bit_8 +2068960*N1038AC5_bit_7 +4137920*N1038AC5_bit_6 +8275840*N1038AC5_bit_5 +16551680*N1038AC5_bit_4 +33103360*N1038AC5_bit_3 +66206720*N1038AC5_bit_2 +132413440*N1038AC5_bit_1 +264826880*N1038AC5_bit0 +529653760*N1038AC5_bit1 +1059307520*N1038AC5_bit2 +2118615040*N1038AC5_bit3 +275896*N1039AC4_bit_10 +551792*N1039AC4_bit_9 +1103584*N1039AC4_bit_8 +2207168*N1039AC4_bit_7 +4414336*N1039AC4_bit_6 +8828672*N1039AC4_bit_5 +17657344*N1039AC4_bit_4 +35314688*N1039AC4_bit_3 +70629376*N1039AC4_bit_2 +141258752*N1039AC4_bit_1 +282517504*N1039AC4_bit0 +565035008*N1039AC4_bit1 +1130070016*N1039AC4_bit2 +298119*N1039AC5_bit_10 +596238*N1039AC5_bit_9 +1192476*N1039AC5_bit_8 +2384952*N1039AC5_bit_7 +4769904*N1039AC5_bit_6 +9539808*N1039AC5_bit_5 +19079616*N1039AC5_bit_4 +38159232*N1039AC5_bit_3 +76318464*N1039AC5_bit_2 +152636928*N1039AC5_bit_1 +305273856*N1039AC5_bit0 +610547712*N1039AC5_bit1 +1221095424*N1039AC5_bit2 +229039*N1040AC4_bit_10 +458078*N1040AC4_bit_9 +916156*N1040AC4_bit_8 +1832312*N1040AC4_bit_7 +3664624*N1040AC4_bit_6 +7329248*N1040AC4_bit_5 +14658496*N1040AC4_bit_4 +29316992*N1040AC4_bit_3 +58633984*N1040AC4_bit_2 +117267968*N1040AC4_bit_1 +234535936*N1040AC4_bit0 +469071872*N1040AC4_bit1 +938143744*N1040AC4_bit2 +1876287488*N1040AC4_bit3 +254896*N1040AC5_bit_10 +509792*N1040AC5_bit_9 +1019584*N1040AC5_bit_8 +2039168*N1040AC5_bit_7 +4078336*N1040AC5_bit_6 +8156672*N1040AC5_bit_5 +16313344*N1040AC5_bit_4 +32626688*N1040AC5_bit_3 +65253376*N1040AC5_bit_2 +130506752*N1040AC5_bit_1 +261013504*N1040AC5_bit0 +522027008*N1040AC5_bit1 +1044054016*N1040AC5_bit2 +2088108032*N1040AC5_bit3 +193457*N1040AC6_bit_10 +386914*N1040AC6_bit_9 +773828*N1040AC6_bit_8 +1547656*N1040AC6_bit_7 +3095312*N1040AC6_bit_6 +6190624*N1040AC6_bit_5 +12381248*N1040AC6_bit_4 +24762496*N1040AC6_bit_3 +49524992*N1040AC6_bit_2 +99049984*N1040AC6_bit_1 +198099968*N1040AC6_bit0 +396199936*N1040AC6_bit1 +792399872*N1040AC6_bit2 +1584799744*N1040AC6_bit3 +120291*N1041AC4_bit_10 +240582*N1041AC4_bit_9 +481164*N1041AC4_bit_8 +962328*N1041AC4_bit_7 +1924656*N1041AC4_bit_6 +3849312*N1041AC4_bit_5 +7698624*N1041AC4_bit_4 +15397248*N1041AC4_bit_3 +30794496*N1041AC4_bit_2 +61588992*N1041AC4_bit_1 +123177984*N1041AC4_bit0 +246355968*N1041AC4_bit1 +492711936*N1041AC4_bit2 +985423872*N1041AC4_bit3 +1970847744*N1041AC4_bit4 +133552*N1041AC5_bit_10 +267104*N1041AC5_bit_9 +534208*N1041AC5_bit_8 +1068416*N1041AC5_bit_7 +2136832*N1041AC5_bit_6 +4273664*N1041AC5_bit_5 +8547328*N1041AC5_bit_4 +17094656*N1041AC5_bit_3 +34189312*N1041AC5_bit_2 +68378624*N1041AC5_bit_1 +136757248*N1041AC5_bit0 +273514496*N1041AC5_bit1 +547028992*N1041AC5_bit2 +1094057984*N1041AC5_bit3 +2188115968*N1041AC5_bit4 +102289*N1041AC6_bit_10 +204578*N1041AC6_bit_9 +409156*N1041AC6_bit_8 +818312*N1041AC6_bit_7 +1636624*N1041AC6_bit_6 +3273248*N1041AC6_bit_5 +6546496*N1041AC6_bit_4 +13092992*N1041AC6_bit_3 +26185984*N1041AC6_bit_2 +52371968*N1041AC6_bit_1 +104743936*N1041AC6_bit0 +209487872*N1041AC6_bit1 +418975744*N1041AC6_bit2 +837951488*N1041AC6_bit3 +1675902976*N1041AC6_bit4 +108748*N1042AC4_bit_10 +217496*N1042AC4_bit_9 +434992*N1042AC4_bit_8 +869984*N1042AC4_bit_7 +1739968*N1042AC4_bit_6 +3479936*N1042AC4_bit_5 +6959872*N1042AC4_bit_4 +13919744*N1042AC4_bit_3 +27839488*N1042AC4_bit_2 +55678976*N1042AC4_bit_1 +111357952*N1042AC4_bit0 +222715904*N1042AC4_bit1 +445431808*N1042AC4_bit2 +890863616*N1042AC4_bit3 +1781727232*N1042AC4_bit4 +121344*N1042AC5_bit_10 +242688*N1042AC5_bit_9 +485376*N1042AC5_bit_8 +970752*N1042AC5_bit_7 +1941504*N1042AC5_bit_6 +3883008*N1042AC5_bit_5 +7766016*N1042AC5_bit_4 +15532032*N1042AC5_bit_3 +31064064*N1042AC5_bit_2 +62128128*N1042AC5_bit_1 +124256256*N1042AC5_bit0 +248512512*N1042AC5_bit1 +497025024*N1042AC5_bit2 +994050048*N1042AC5_bit3 +1988100096*N1042AC5_bit4 +91168*N1042AC6_bit_10 +182336*N1042AC6_bit_9 +364672*N1042AC6_bit_8 +729344*N1042AC6_bit_7 +1458688*N1042AC6_bit_6 +2917376*N1042AC6_bit_5 +5834752*N1042AC6_bit_4 +11669504*N1042AC6_bit_3 +23339008*N1042AC6_bit_2 +46678016*N1042AC6_bit_1 +93356032*N1042AC6_bit0 +186712064*N1042AC6_bit1 +373424128*N1042AC6_bit2 +746848256*N1042AC6_bit3 +1493696512*N1042AC6_bit4 +1318536*N1043AC1_bit_10 +2637072*N1043AC1_bit_9 +5274144*N1043AC1_bit_8 +10548288*N1043AC1_bit_7 +21096576*N1043AC1_bit_6 +42193152*N1043AC1_bit_5 +84386304*N1043AC1_bit_4 +168772608*N1043AC1_bit_3 +337545216*N1043AC1_bit_2 +675090432*N1043AC1_bit_1 +1350180864*N1043AC1_bit0 +2700361728*N1043AC1_bit1 +981585*N1043AC2_bit_10 +1963170*N1043AC2_bit_9 +3926340*N1043AC2_bit_8 +7852680*N1043AC2_bit_7 +15705360*N1043AC2_bit_6 +31410720*N1043AC2_bit_5 +62821440*N1043AC2_bit_4 +125642880*N1043AC2_bit_3 +251285760*N1043AC2_bit_2 +502571520*N1043AC2_bit_1 +1005143040*N1043AC2_bit0 +2010286080*N1043AC2_bit1 +718333*N1043AC3_bit_10 +1436666*N1043AC3_bit_9 +2873332*N1043AC3_bit_8 +5746664*N1043AC3_bit_7 +11493328*N1043AC3_bit_6 +22986656*N1043AC3_bit_5 +45973312*N1043AC3_bit_4 +91946624*N1043AC3_bit_3 +183893248*N1043AC3_bit_2 +367786496*N1043AC3_bit_1 +735572992*N1043AC3_bit0 +1471145984*N1043AC3_bit1 +1409924*N1044AC1_bit_10 +2819848*N1044AC1_bit_9 +5639696*N1044AC1_bit_8 +11279392*N1044AC1_bit_7 +22558784*N1044AC1_bit_6 +45117568*N1044AC1_bit_5 +90235136*N1044AC1_bit_4 +180470272*N1044AC1_bit_3 +360940544*N1044AC1_bit_2 +721881088*N1044AC1_bit_1 +1443762176*N1044AC1_bit0 +2887524352*N1044AC1_bit1 +1051384*N1044AC2_bit_10 +2102768*N1044AC2_bit_9 +4205536*N1044AC2_bit_8 +8411072*N1044AC2_bit_7 +16822144*N1044AC2_bit_6 +33644288*N1044AC2_bit_5 +67288576*N1044AC2_bit_4 +134577152*N1044AC2_bit_3 +269154304*N1044AC2_bit_2 +538308608*N1044AC2_bit_1 +1076617216*N1044AC2_bit0 +2153234432*N1044AC2_bit1 +770315*N1044AC3_bit_10 +1540630*N1044AC3_bit_9 +3081260*N1044AC3_bit_8 +6162520*N1044AC3_bit_7 +12325040*N1044AC3_bit_6 +24650080*N1044AC3_bit_5 +49300160*N1044AC3_bit_4 +98600320*N1044AC3_bit_3 +197200640*N1044AC3_bit_2 +394401280*N1044AC3_bit_1 +788802560*N1044AC3_bit0 +1577605120*N1044AC3_bit1 +952503*N1046AC3_bit_10 +1905006*N1046AC3_bit_9 +3810012*N1046AC3_bit_8 +7620024*N1046AC3_bit_7 +15240048*N1046AC3_bit_6 +30480096*N1046AC3_bit_5 +60960192*N1046AC3_bit_4 +121920384*N1046AC3_bit_3 +243840768*N1046AC3_bit_2 +487681536*N1046AC3_bit_1 +975363072*N1046AC3_bit0 +1950726144*N1046AC3_bit1 +3137592*N1047AC1_bit_10 +6275184*N1047AC1_bit_9 +12550368*N1047AC1_bit_8 +25100736*N1047AC1_bit_7 +50201472*N1047AC1_bit_6 +100402944*N1047AC1_bit_5 +200805888*N1047AC1_bit_4 +401611776*N1047AC1_bit_3 +803223552*N1047AC1_bit_2 +1606447104*N1047AC1_bit_1 +3212894208*N1047AC1_bit0 +2319986*N1047AC2_bit_10 +4639972*N1047AC2_bit_9 +9279944*N1047AC2_bit_8 +18559888*N1047AC2_bit_7 +37119776*N1047AC2_bit_6 +74239552*N1047AC2_bit_5 +148479104*N1047AC2_bit_4 +296958208*N1047AC2_bit_3 +593916416*N1047AC2_bit_2 +1187832832*N1047AC2_bit_1 +2375665664*N1047AC2_bit0 +1689706*N1047AC3_bit_10 +3379412*N1047AC3_bit_9 +6758824*N1047AC3_bit_8 +13517648*N1047AC3_bit_7 +27035296*N1047AC3_bit_6 +54070592*N1047AC3_bit_5 +108141184*N1047AC3_bit_4 +216282368*N1047AC3_bit_3 +432564736*N1047AC3_bit_2 +865129472*N1047AC3_bit_1 +1730258944*N1047AC3_bit0 +450544*N1050AC3_bit_10 +901088*N1050AC3_bit_9 +1802176*N1050AC3_bit_8 +3604352*N1050AC3_bit_7 +7208704*N1050AC3_bit_6 +14417408*N1050AC3_bit_5 +28834816*N1050AC3_bit_4 +57669632*N1050AC3_bit_3 +115339264*N1050AC3_bit_2 +230678528*N1050AC3_bit_1 +461357056*N1050AC3_bit0 +922714112*N1050AC3_bit1 +1845428224*N1050AC3_bit2 +311665*N1050AC4_bit_10 +623330*N1050AC4_bit_9 +1246660*N1050AC4_bit_8 +2493320*N1050AC4_bit_7 +4986640*N1050AC4_bit_6 +9973280*N1050AC4_bit_5 +19946560*N1050AC4_bit_4 +39893120*N1050AC4_bit_3 +79786240*N1050AC4_bit_2 +159572480*N1050AC4_bit_1 +319144960*N1050AC4_bit0 +638289920*N1050AC4_bit1 +1276579840*N1050AC4_bit2 +342281*N1050AC5_bit_10 +684562*N1050AC5_bit_9 +1369124*N1050AC5_bit_8 +2738248*N1050AC5_bit_7 +5476496*N1050AC5_bit_6 +10952992*N1050AC5_bit_5 +21905984*N1050AC5_bit_4 +43811968*N1050AC5_bit_3 +87623936*N1050AC5_bit_2 +175247872*N1050AC5_bit_1 +350495744*N1050AC5_bit0 +700991488*N1050AC5_bit1 +1401982976*N1050AC5_bit2 +380996*N1051AC1_bit_10 +761992*N1051AC1_bit_9 +1523984*N1051AC1_bit_8 +3047968*N1051AC1_bit_7 +6095936*N1051AC1_bit_6 +12191872*N1051AC1_bit_5 +24383744*N1051AC1_bit_4 +48767488*N1051AC1_bit_3 +97534976*N1051AC1_bit_2 +195069952*N1051AC1_bit_1 +390139904*N1051AC1_bit0 +780279808*N1051AC1_bit1 +1560559616*N1051AC1_bit2 +3121119232*N1051AC1_bit3 +6242238464*N1051AC1_bit4 +265528*N1051AC2_bit_10 +531056*N1051AC2_bit_9 +1062112*N1051AC2_bit_8 +2124224*N1051AC2_bit_7 +4248448*N1051AC2_bit_6 +8496896*N1051AC2_bit_5 +16993792*N1051AC2_bit_4 +33987584*N1051AC2_bit_3 +67975168*N1051AC2_bit_2 +135950336*N1051AC2_bit_1 +271900672*N1051AC2_bit0 +543801344*N1051AC2_bit1 +1087602688*N1051AC2_bit2 +2175205376*N1051AC2_bit3 +4350410752*N1051AC2_bit4 +185054*N1051AC3_bit_10 +370108*N1051AC3_bit_9 +740216*N1051AC3_bit_8 +1480432*N1051AC3_bit_7 +2960864*N1051AC3_bit_6 +5921728*N1051AC3_bit_5 +11843456*N1051AC3_bit_4 +23686912*N1051AC3_bit_3 +47373824*N1051AC3_bit_2 +94747648*N1051AC3_bit_1 +189495296*N1051AC3_bit0 +378990592*N1051AC3_bit1 +757981184*N1051AC3_bit2 +1515962368*N1051AC3_bit3 +3031924736*N1051AC3_bit4 +124858*N1051AC4_bit_10 +249716*N1051AC4_bit_9 +499432*N1051AC4_bit_8 +998864*N1051AC4_bit_7 +1997728*N1051AC4_bit_6 +3995456*N1051AC4_bit_5 +7990912*N1051AC4_bit_4 +15981824*N1051AC4_bit_3 +31963648*N1051AC4_bit_2 +63927296*N1051AC4_bit_1 +127854592*N1051AC4_bit0 +255709184*N1051AC4_bit1 +511418368*N1051AC4_bit2 +1022836736*N1051AC4_bit3 +2045673472*N1051AC4_bit4 +138382*N1051AC5_bit_10 +276764*N1051AC5_bit_9 +553528*N1051AC5_bit_8 +1107056*N1051AC5_bit_7 +2214112*N1051AC5_bit_6 +4428224*N1051AC5_bit_5 +8856448*N1051AC5_bit_4 +17712896*N1051AC5_bit_3 +35425792*N1051AC5_bit_2 +70851584*N1051AC5_bit_1 +141703168*N1051AC5_bit0 +283406336*N1051AC5_bit1 +566812672*N1051AC5_bit2 +1133625344*N1051AC5_bit3 +2267250688*N1051AC5_bit4 +106688*N1051AC6_bit_10 +213376*N1051AC6_bit_9 +426752*N1051AC6_bit_8 +853504*N1051AC6_bit_7 +1707008*N1051AC6_bit_6 +3414016*N1051AC6_bit_5 +6828032*N1051AC6_bit_4 +13656064*N1051AC6_bit_3 +27312128*N1051AC6_bit_2 +54624256*N1051AC6_bit_1 +109248512*N1051AC6_bit0 +218497024*N1051AC6_bit1 +436994048*N1051AC6_bit2 +873988096*N1051AC6_bit3 +1747976192*N1051AC6_bit4 >= -2429887488;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-boeing1.opb
s UNKNOWN
c Exit Code: 0
c Total time: 7.628 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.86 0.94 0.90 2/54 18671
Raw data (stat): 18671 (runsolver) R 18670 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777803268 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+7.74025 s]
Raw data (loadavg): 0.87 0.94 0.90 1/53 18671
Raw data (stat): 18671 (runsolver) R 18670 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777803268 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): 7.73495
CPU time (s): 7.64484
CPU user time (s): 7.45587
CPU system time (s): 0.188971
CPU usage (%): 98.835
Max. virtual memory (Kb): 1028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####