PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rout.opb
MD5SUM	43b060c182b659f22c02b8a980d1ee8f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1221280
Optimality of the best value was proved	NO
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	33812000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	166074535
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1569.48
Number of variables	5151
Total number of constraints	606
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	314
Number of constraints which are nor clauses,nor cardinality constraints	292
Minimum length of a constraint	1
Maximum length of a constraint	617
Trace number 17944

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-04-21 12:45:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18860 boxname=wulflinc8 idbench=1451 idsolver=10 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  43b060c182b659f22c02b8a980d1ee8f  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-rout.opb
REAL COMMAND:  minisat+ -ca /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-rout.opb /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-rout.opb
IDLAUNCH: 18860
/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:        676088 kB
Buffers:         30272 kB
Cached:         305716 kB
SwapCached:          0 kB
Active:          77564 kB
Inactive:       261256 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        675836 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6948 kB
Slab:            13936 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 13:05:41 (client local time) WITH STATUS 10 IN 1200.28 SECONDS
stats: 18860 7 1200.28 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 337 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: ###############################
c   -- Clauses(.)/Splits(s): ...............
c ---[ 320]---> Adder-cost: 3854   maxlim: 97129415   bits: 27/27
c ---[ 319]---> Adder-cost: 604   maxlim: 25598   bits: 15/15
c ---[ 318]---> Adder-cost: 604   maxlim: 25598   bits: 15/15
c ---[ 317]---> Adder-cost: 604   maxlim: 25598   bits: 15/15
c ---[ 316]---> Adder-cost: 604   maxlim: 25598   bits: 15/15
c ---[ 315]---> Adder-cost: 604   maxlim: 25598   bits: 15/15
c ---[ 314]---> Adder-cost: 26   maxlim: 18   bits: 5/5
c ---[ 313]---> Adder-cost: 28   maxlim: 18   bits: 5/5
c ---[ 312]---> Adder-cost: 52   maxlim: 47   bits: 6/6
c ---[ 311]---> Adder-cost: 28   maxlim: 18   bits: 5/5
c ---[ 310]---> Adder-cost: 28   maxlim: 18   bits: 5/5
c ---[ 309]---> Adder-cost: 28   maxlim: 18   bits: 5/5
c ---[ 308]---> Adder-cost: 28   maxlim: 18   bits: 5/5
c ---[ 307]---> Adder-cost: 26   maxlim: 18   bits: 5/5
c ---[ 306]---> Adder-cost: 28   maxlim: 18   bits: 5/5
c ---[ 305]---> Adder-cost: 30   maxlim: 18   bits: 5/5
c ---[ 304]---> Adder-cost: 30   maxlim: 18   bits: 5/5
c ---[ 303]---> Adder-cost: 26   maxlim: 18   bits: 5/5
c ---[ 302]---> Adder-cost: 26   maxlim: 18   bits: 5/5
c ---[ 301]---> Adder-cost: 28   maxlim: 18   bits: 5/5
c ---[ 300]---> Adder-cost: 28   maxlim: 18   bits: 5/5
c ---[ 298]---> Adder-cost: 48   maxlim: 11   bits: 5/4
c ---[ 296]---> Adder-cost: 48   maxlim: 11   bits: 5/4
c ---[ 294]---> Adder-cost: 48   maxlim: 11   bits: 5/4
c ---[ 292]---> Adder-cost: 48   maxlim: 11   bits: 5/4
c ---[ 290]---> Adder-cost: 48   maxlim: 11   bits: 5/4
c ---[ 288]---> Adder-cost: 42   maxlim: 15   bits: 5/4
c ---[ 286]---> Adder-cost: 42   maxlim: 15   bits: 5/4
c ---[ 284]---> Adder-cost: 42   maxlim: 15   bits: 5/4
c ---[ 282]---> Adder-cost: 42   maxlim: 15   bits: 5/4
c ---[ 280]---> Adder-cost: 42   maxlim: 15   bits: 5/4
c ---[ 278]---> Adder-cost: 59   maxlim: 11   bits: 5/4
c ---[ 276]---> Adder-cost: 59   maxlim: 11   bits: 5/4
c ---[ 274]---> Adder-cost: 59   maxlim: 11   bits: 5/4
c ---[ 272]---> Adder-cost: 59   maxlim: 11   bits: 5/4
c ---[ 270]---> Adder-cost: 59   maxlim: 11   bits: 5/4
c ---[ 268]---> Adder-cost: 546   maxlim: 21489   bits: 16/15
c ---[ 266]---> Adder-cost: 546   maxlim: 21489   bits: 16/15
c ---[ 264]---> Adder-cost: 546   maxlim: 21489   bits: 16/15
c ---[ 262]---> Adder-cost: 546   maxlim: 21489   bits: 16/15
c ---[ 260]---> Adder-cost: 546   maxlim: 21489   bits: 16/15
c ---[ 258]---> Adder-cost: 456   maxlim: 9207   bits: 15/14
c ---[ 256]---> Adder-cost: 456   maxlim: 9207   bits: 15/14
c ---[ 254]---> Adder-cost: 456   maxlim: 9207   bits: 15/14
c ---[ 252]---> Adder-cost: 456   maxlim: 9207   bits: 15/14
c ---[ 250]---> Adder-cost: 456   maxlim: 9207   bits: 15/14
c ---[ 248]---> Adder-cost: 608   maxlim: 21483   bits: 16/15
c ---[ 246]---> Adder-cost: 608   maxlim: 21483   bits: 16/15
c ---[ 244]---> Adder-cost: 608   maxlim: 21483   bits: 16/15
c ---[ 242]---> Adder-cost: 608   maxlim: 21483   bits: 16/15
c ---[ 240]---> Adder-cost: 608   maxlim: 21483   bits: 16/15
c ---[ 239]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 238]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 237]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 236]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 235]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 234]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 233]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 232]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 231]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 230]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 229]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 228]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 227]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 226]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 225]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 224]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 223]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 222]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 221]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 220]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 219]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 218]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 217]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 216]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 215]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 214]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 213]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 212]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 211]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 210]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 209]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 208]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 207]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 206]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 205]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 204]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 203]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 202]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 201]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 200]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 199]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 198]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 197]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 196]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 195]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 194]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 193]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 192]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 191]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 190]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 189]---> Adder-cost: 16   maxlim: 4094   bits: 13/12
c ---[ 188]---> Adder-cost: 16   maxlim: 4094   bits: 13/12
c ---[ 187]---> Adder-cost: 16   maxlim: 4094   bits: 13/12
c ---[ 186]---> Adder-cost: 16   maxlim: 4094   bits: 13/12
c ---[ 185]---> Adder-cost: 16   maxlim: 4094   bits: 13/12
c ---[ 184]---> Adder-cost: 16   maxlim: 4094   bits: 13/12
c ---[ 183]---> Adder-cost: 16   maxlim: 4094   bits: 13/12
c ---[ 182]---> Adder-cost: 16   maxlim: 4094   bits: 13/12
c ---[ 181]---> Adder-cost: 16   maxlim: 4094   bits: 13/12
c ---[ 180]---> Adder-cost: 16   maxlim: 4094   bits: 13/12
c ---[ 179]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 178]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 177]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 176]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 175]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 174]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 173]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 172]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 171]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 170]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 169]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 168]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 167]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 166]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 165]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 164]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 163]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 162]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 161]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 160]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 159]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 158]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 157]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 156]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 155]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 154]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 153]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 152]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 151]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 150]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 149]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 148]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 147]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 146]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 145]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 144]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 143]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 142]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 141]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 140]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 139]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 138]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 137]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 136]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 135]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 134]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 133]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 132]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 131]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 130]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 129]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 128]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 127]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 126]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 125]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 124]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 123]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 122]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 121]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 120]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 119]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 118]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 117]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 116]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 115]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 114]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 113]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 112]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 111]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 110]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 109]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 108]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 107]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 106]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 105]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 104]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 103]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 102]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 101]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[ 100]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  99]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  98]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  97]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  96]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  95]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  94]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  93]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  92]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  91]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  90]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  89]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  88]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  87]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  86]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  85]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  84]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  83]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  82]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  81]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  80]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  79]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  78]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  77]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  76]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  75]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  74]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  73]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  72]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  71]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  70]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  69]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  68]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  67]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  66]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  65]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  64]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  63]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  62]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  61]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  60]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  59]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  58]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  57]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  56]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  55]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  54]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  53]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  52]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  51]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  50]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  49]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  48]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  47]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  46]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  45]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  44]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  43]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  42]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  41]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  40]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  39]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  38]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  37]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  36]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  35]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  34]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  33]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  32]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  31]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  30]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  29]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  28]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  27]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  26]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  25]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  24]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  23]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  22]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  21]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  20]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  19]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  18]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  17]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  16]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  15]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  14]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  13]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  12]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  11]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[  10]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[   9]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[   8]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[   7]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[   6]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[   5]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[   4]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[   3]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[   2]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[   1]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ---[   0]---> Adder-cost: 6   maxlim: 1022   bits: 11/10
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  120226   436926 |   40075       0        0     nan |  0.000 % |
c |       100 |  120089   436440 |   44082      85      232     2.7 | 21.979 % |
c |       251 |  120065   436357 |   48490     233      632     2.7 | 21.995 % |
c |       476 |  119989   436091 |   53339     432     1200     2.8 | 22.034 % |
c |       815 |  119717   435135 |   58673     735     2128     2.9 | 22.155 % |
c |      1321 |  118784   431935 |   64541    1114     3684     3.3 | 22.600 % |
c |      2080 |  118294   430258 |   70995    1813     8231     4.5 | 22.842 % |
c |      3220 |  118285   430227 |   78094    2950    29405    10.0 | 22.846 % |
c |      4928 |  118269   430175 |   85904    4656    82176    17.6 | 22.854 % |
c |      7490 |  118252   430120 |   94494    7215   168435    23.3 | 22.866 % |
c |     11334 |  117879   428848 |  103944   11015   214976    19.5 | 23.045 % |
c |     17101 |  117620   427965 |  114338   16746   337401    20.1 | 23.163 % |
c |     25750 |  117496   427550 |  125772   25365   658542    26.0 | 23.233 % |
c |     38725 |  117372   427143 |  138349   38313  1112632    29.0 | 23.303 % |
c |     58188 |  116253   423322 |  152184   57517  1968909    34.2 | 23.873 % |
c |     87380 |  115820   421845 |  167403   86635  3562446    41.1 | 24.076 % |
c ==============================================================================
c [1mFound solution: 1270656[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 26   maxlim: 25827   bits: 16/15
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     93282 |  115928   422238 |   38642   92533  3950155    42.7 | 24.076 % |
c |     93382 |  115928   422238 |   42506   22593   892552    39.5 | 24.081 % |
c |     93532 |  115732   421558 |   46756   22728   896964    39.5 | 24.166 % |
c |     93757 |  115685   421395 |   51432   22943   907764    39.6 | 24.190 % |
c |     94096 |  115685   421395 |   56575   23282   928153    39.9 | 24.190 % |
c |     94604 |  115685   421395 |   62233   23790   966187    40.6 | 24.190 % |
c |     95364 |  115685   421395 |   68456   24550   976370    39.8 | 24.190 % |
c |     96506 |  115676   421364 |   75302   25688  1007216    39.2 | 24.194 % |
c |     98214 |  115662   421318 |   82832   27392  1113623    40.7 | 24.201 % |
c |    100777 |  115586   421054 |   91115   29943  1277865    42.7 | 24.233 % |
c |    104621 |  115184   419653 |  100227   33740  1528715    45.3 | 24.400 % |
c |    110387 |  115159   419570 |  110250   39500  1798810    45.5 | 24.412 % |
c |    119036 |  114847   418494 |  121275   48105  2306960    48.0 | 24.568 % |
c ==============================================================================
c [1mFound solution: 1242944[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 28   maxlim: 26693   bits: 16/15
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    120217 |  114965   418907 |   38321   49286  2385685    48.4 | 24.568 % |
c |    120317 |  114965   418907 |   42153   21190   726050    34.3 | 24.559 % |
c |    120467 |  114965   418907 |   46368   21340   727067    34.1 | 24.559 % |
c |    120694 |  114965   418907 |   51005   21567   739191    34.3 | 24.559 % |
c |    121032 |  114965   418907 |   56105   21905   751635    34.3 | 24.559 % |
c |    121539 |  114965   418907 |   61716   22412   759938    33.9 | 24.559 % |
c |    122298 |  114965   418907 |   67887   23171   777757    33.6 | 24.559 % |
c |    123437 |  114965   418907 |   74676   24310   818247    33.7 | 24.559 % |
c |    125146 |  114947   418845 |   82144   26014   918671    35.3 | 24.567 % |
c |    127709 |  114916   418740 |   90358   28571  1131182    39.6 | 24.586 % |
c |    131555 |  114916   418740 |   99394   32417  1756790    54.2 | 24.586 % |
c |    137324 |  114862   418556 |  109334   38155  1907534    50.0 | 24.613 % |
c |    145973 |  114426   417042 |  120267   46762  2520604    53.9 | 24.828 % |
c |    158947 |  113917   415273 |  132294   59674  4026426    67.5 | 25.085 % |
c |    178408 |  113774   414780 |  145523   79096  5089866    64.4 | 25.159 % |
c ==============================================================================
c [1mFound solution: 1235200[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 24   maxlim: 26935   bits: 16/15
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    188840 |  113675   414438 |   37891   89460  5686675    63.6 | 25.159 % |
c |    188940 |  113675   414438 |   41680   24426   748364    30.6 | 25.210 % |
c |    189090 |  113675   414438 |   45848   24576   755633    30.7 | 25.210 % |
c |    189320 |  113675   414438 |   50432   24806   765023    30.8 | 25.210 % |
c |    189657 |  113675   414438 |   55476   25143   778740    31.0 | 25.210 % |
c |    190163 |  113666   414407 |   61023   25647   792845    30.9 | 25.214 % |
c |    190922 |  113666   414407 |   67126   26406   847036    32.1 | 25.214 % |
c |    192061 |  113649   414348 |   73838   27542   942285    34.2 | 25.226 % |
c |    193770 |  113631   414286 |   81222   29246  1008887    34.5 | 25.233 % |
c |    196333 |  113587   414134 |   89344   31803  1181976    37.2 | 25.257 % |
c |    200177 |  113570   414077 |   98279   35643  1311031    36.8 | 25.265 % |
c |    205944 |  113570   414077 |  108107   41410  1818314    43.9 | 25.265 % |
c |    214593 |  113561   414046 |  118918   50056  2544606    50.8 | 25.268 % |
c |    227567 |  113179   412720 |  130810   62970  3588440    57.0 | 25.471 % |
c |    247028 |  113170   412689 |  143891   82429  5347750    64.9 | 25.475 % |
c ==============================================================================
c [1mFound solution: 1230656[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 16   maxlim: 27077   bits: 16/15
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    252001 |  113256   413027 |   37752   87398  5689935    65.1 | 25.475 % |
c |    252101 |  113256   413027 |   41527   24768  1273604    51.4 | 25.484 % |
c |    252254 |  113256   413027 |   45679   24921  1284950    51.6 | 25.484 % |
c |    252479 |  113256   413027 |   50247   25146  1298006    51.6 | 25.484 % |
c |    252818 |  113101   412473 |   55272   25481  1377483    54.1 | 25.515 % |
c |    253324 |  113009   412153 |   60799   25980  1411264    54.3 | 25.554 % |
c |    254086 |  112930   411882 |   66879   26738  1432870    53.6 | 25.600 % |
c |    255226 |  112930   411882 |   73567   27878  1494461    53.6 | 25.600 % |
c |    256936 |  112885   411727 |   80924   29582  1644880    55.6 | 25.620 % |
c |    259501 |  112846   411592 |   89017   32141  1872518    58.3 | 25.635 % |
c |    263345 |  112517   410447 |   97918   35949  2061802    57.4 | 25.799 % |
c |    269112 |  112436   410166 |  107710   41699  2661468    63.8 | 25.845 % |
c |    277764 |  112361   409905 |  118481   50342  3767485    74.8 | 25.880 % |
c |    290740 |  112344   409848 |  130330   63315  4424267    69.9 | 25.888 % |
c |    310201 |  112173   409261 |  143363   82753  6974959    84.3 | 26.001 % |
c |    339397 |  111870   408210 |  157699  111874 11332056   101.3 | 26.183 % |
c |    383190 |  111834   408088 |  173469  155658 21486017   138.0 | 26.203 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C0000241_bit_7 -C0000241_bit_6 -C0000241_bit_5 -C0000241_bit_4 -C0000241_bit_3 -C0000241_bit_2 C0000241_bit_1 -C0000241_bit0 C0000241_bit1 C0000241_bit2 C0000241_bit3 -C0000241_bit4 -C0000241_bit5 -C0000241_bit6 C0000241_bit7 C0000241_bit8 -C0000241_bit9 C0000241_bit10 -C0000241_bit11 -C0000241_bit12 C0000241_bit13 C0000242_bit0 -C0000243_bit0 C0000244_bit0 -C0000245_bit0 C0000246_bit0 -C0000247_bit0 C0000248_bit0 -C0000249_bit0 -C0000250_bit0 -C0000251_bit0 -C0000252_bit0 C0000253_bit0 -C0000254_bit0 C0000255_bit0 C0000256_bit0 -C0000257_bit0 -C0000258_bit0 -C0000259_bit0 -C0000260_bit0 -C0000261_bit0 -C0000262_bit0 -C0000263_bit0 -C0000264_bit0 -C0000265_bit0 -C0000266_bit0 -C0000267_bit0 -C0000268_bit0 C0000269_bit0 -C0000270_bit0 -C0000271_bit0 -C0000272_bit0 -C0000273_bit0 -C0000274_bit0 -C0000275_bit0 -C0000276_bit0 -C0000277_bit0 C0000278_bit0 -C0000279_bit0 -C0000280_bit0 -C0000281_bit0 -C0000282_bit0 -C0000283_bit0 -C0000284_bit0 -C0000285_bit0 -C0000286_bit0 -C0000287_bit0 -C0000288_bit0 -C0000289_bit0 -C0000290_bit0 -C0000291_bit0 -C0000292_bit0 -C0000293_bit0 -C0000294_bit0 -C0000295_bit0 -C0000296_bit0 -C0000297_bit0 -C0000298_bit0 -C0000299_bit0 -C0000300_bit0 -C0000301_bit0 -C0000302_bit0 -C0000302_bit1 -C0000303_bit0 -C0000303_bit1 -C0000304_bit0 -C0000304_bit1 -C0000305_bit0 -C0000305_bit1 -C0000306_bit0 -C0000306_bit1 -C0000307_bit0 -C0000307_bit1 -C0000308_bit0 -C0000308_bit1 -C0000309_bit0 -C0000309_bit1 -C0000310_bit0 -C0000310_bit1 -C0000311_bit0 -C0000311_bit1 C0000312_bit0 -C0000312_bit1 -C0000313_bit0 -C0000313_bit1 C0000314_bit0 -C0000314_bit1 -C0000315_bit0 -C0000315_bit1 -C0000316_bit0 -C0000316_bit1 -C0000317_bit0 -C0000318_bit0 -C0000319_bit0 -C0000320_bit0 -C0000321_bit0 -C0000322_bit0 -C0000323_bit0 -C0000324_bit0 -C0000325_bit0 -C0000326_bit0 -C0000327_bit0 -C0000328_bit0 -C0000329_bit0 -C0000330_bit0 -C0000331_bit0 -C0000332_bit0 -C0000333_bit0 -C0000334_bit0 C0000335_bit0 -C0000336_bit0 C0000337_bit0 -C0000338_bit0 -C0000339_bit0 -C0000340_bit0 -C0000341_bit0 -C0000342_bit0 -C0000343_bit0 -C0000344_bit0 -C0000345_bit0 -C0000346_bit0 -C0000347_bit0 -C0000348_bit0 -C0000349_bit0 -C0000350_bit0 -C0000351_bit0 -C0000352_bit0 -C0000353_bit0 -C0000354_bit0 -C0000355_bit0 -C0000356_bit0 -C0000357_bit0 -C0000358_bit0 -C0000359_bit0 C0000360_bit0 -C0000361_bit0 -C0000362_bit0 -C0000363_bit0 -C0000364_bit0 -C0000365_bit0 -C0000366_bit0 -C0000367_bit0 -C0000368_bit0 -C0000369_bit0 -C0000370_bit0 -C0000371_bit0 -C0000372_bit0 -C0000373_bit0 -C0000374_bit0 -C0000375_bit0 -C0000376_bit0 -C0000377_bit0 -C0000378_bit0 -C0000379_bit0 -C0000380_bit0 -C0000381_bit0 -C0000382_bit0 -C0000383_bit0 -C0000384_bit0 -C0000385_bit0 -C0000386_bit0 -C0000387_bit0 -C0000388_bit0 -C0000389_bit0 -C0000390_bit0 -C0000391_bit0 -C0000392_bit0 -C0000393_bit0 -C0000394_bit0 -C0000395_bit0 -C0000396_bit0 -C0000397_bit0 -C0000398_bit0 C0000399_bit0 -C0000400_bit0 -C0000401_bit0 -C0000402_bit0 -C0000403_bit0 -C0000404_bit0 -C0000405_bit0 -C0000406_bit0 -C0000407_bit0 -C0000408_bit0 -C0000409_bit0 -C0000410_bit0 -C0000411_bit0 -C0000412_bit0 -C0000413_bit0 -C0000414_bit0 -C0000415_bit0 -C0000416_bit0 -C0000417_bit0 -C0000418_bit0 -C0000419_bit0 -C0000420_bit0 -C0000421_bit0 -C0000422_bit0 -C0000423_bit0 -C0000424_bit0 -C0000425_bit0 C0000426_bit0 -C0000427_bit0 -C0000428_bit0 -C0000429_bit0 -C0000430_bit0 -C0000431_bit0 -C0000432_bit0 -C0000433_bit0 -C0000434_bit0 -C0000435_bit0 -C0000436_bit0 -C0000437_bit0 -C0000438_bit0 -C0000439_bit0 -C0000440_bit0 -C0000441_bit0 -C0000442_bit0 -C0000443_bit0 -C0000444_bit0 -C0000445_bit0 -C0000446_bit0 -C0000447_bit0 -C0000448_bit0 -C0000449_bit0 -C0000450_bit0 -C0000451_bit0 -C0000452_bit0 -C0000453_bit0 -C0000454_bit0 -C0000455_bit0 -C0000456_bit0 -C0000457_bit0 -C0000458_bit0 -C0000459_bit0 -C0000460_bit0 -C0000461_bit0 C0000462_bit0 -C0000463_bit0 -C0000464_bit0 -C0000465_bit0 -C0000466_bit0 -C0000467_bit0 -C0000468_bit0 -C0000469_bit0 -C0000470_bit0 -C0000471_bit0 -C0000472_bit0 -C0000473_bit0 -C0000474_bit0 -C0000475_bit0 -C0000476_bit0 -C0000477_bit0 -C0000478_bit0 -C0000479_bit0 -C0000480_bit0 -C0000481_bit0 -C0000482_bit0 -C0000483_bit0 -C0000484_bit0 -C0000485_bit0 -C0000486_bit0 -C0000487_bit0 -C0000488_bit0 -C0000489_bit0 -C0000490_bit0 -C0000491_bit0 -C0000492_bit0 -C0000493_bit0 -C0000494_bit0 -C0000495_bit0 -C0000496_bit0 -C0000497_bit0 -C0000498_bit0 -C0000499_bit0 -C0000500_bit0 C0000501_bit0 -C0000502_bit0 -C0000503_bit0 -C0000504_bit0 -C0000505_bit0 -C0000506_bit0 -C0000507_bit0 -C0000508_bit0 -C0000509_bit0 -C0000510_bit0 -C0000511_bit0 -C0000512_bit0 -C0000513_bit0 -C0000514_bit0 -C0000515_bit0 -C0000516_bit0 -C0000517_bit0 -C0000518_bit0 -C0000519_bit0 -C0000520_bit0 C0000521_bit0 -C0000522_bit0 -C0000523_bit0 -C0000524_bit0 -C0000525_bit0 -C0000526_bit0 -C0000527_bit0 -C0000528_bit0 -C0000529_bit0 -C0000530_bit0 -C0000531_bit0 -C0000532_bit0 -C0000533_bit0 -C0000534_bit0 -C0000535_bit0 -C0000536_bit0 -C0000537_bit0 C0000538_bit0 -C0000539_bit0 -C0000540_bit0 -C0000541_bit0 -C0000542_bit0 -C0000543_bit0 -C0000544_bit0 -C0000545_bit0 -C0000546_bit0 -C0000547_bit0 -C0000548_bit0 -C0000549_bit0 -C0000550_bit0 -C0000551_bit0 -C0000552_bit0 -C0000553_bit0 -C0000554_bit0 -C0000555_bit0 -C0000556_bit0 -C0000001_bit_7 -C0000001_bit_6 -C0000001_bit_5 -C0000001_bit_4 -C0000001_bit_3 -C0000001_bit_2 -C0000001_bit_1 -C0000001_bit0 C0000001_bit1 -C0000001_bit2 -C0000001_bit3 -C0000001_bit4 -C0000001_bit5 -C0000001_bit6 -C0000001_bit7 -C0000001_bit8 -C0000001_bit9 -C0000001_bit10 -C0000001_bit11 -C0000001_bit12 -C0000021_bit_7 -C0000021_bit_6 -C0000021_bit_5 -C0000021_bit_4 -C0000021_bit_3 -C0000021_bit_2 -C0000021_bit_1 -C0000021_bit0 -C0000021_bit1 -C0000021_bit2 -C0000021_bit3 -C0000021_bit4 -C0000021_bit5 -C0000021_bit6 -C0000021_bit7 -C0000021_bit8 -C0000021_bit9 -C0000021_bit10 -C0000021_bit11 -C0000021_bit12 -C0000036_bit_7 -C0000036_bit_6 -C0000036_bit_5 -C0000036_bit_4 -C0000036_bit_3 -C0000036_bit_2 -C0000036_bit_1 -C0000036_bit0 -C0000036_bit1 -C0000036_bit2 -C0000036_bit3 -C0000036_bit4 -C0000036_bit5 -C0000036_bit6 -C0000036_bit7 -C0000036_bit8 -C0000036_bit9 -C0000036_bit10 -C0000036_bit11 -C0000036_bit12 -C0000046_bit_7 -C0000046_bit_6 -C0000046_bit_5 -C0000046_bit_4 -C0000046_bit_3 -C0000046_bit_2 -C0000046_bit_1 -C0000046_bit0 -C0000046_bit1 -C0000046_bit2 -C0000046_bit3 -C0000046_bit4 -C0000046_bit5 -C0000046_bit6 -C0000046_bit7 -C0000046_bit8 -C0000046_bit9 -C0000046_bit10 -C0000046_bit11 -C0000046_bit12 -C0000051_bit_7 -C0000051_bit_6 -C0000051_bit_5 -C0000051_bit_4 -C0000051_bit_3 -C0000051_bit_2 -C0000051_bit_1 -C0000051_bit0 -C0000051_bit1 -C0000051_bit2 -C0000051_bit3 -C0000051_bit4 -C0000051_bit5 -C0000051_bit6 -C0000051_bit7 -C0000051_bit8 -C0000051_bit9 -C0000051_bit10 -C0000051_bit11 -C0000051_bit12 -C0000056_bit_7 -C0000056_bit_6 -C0000056_bit_5 -C0000056_bit_4 -C0000056_bit_3 -C0000056_bit_2 -C0000056_bit_1 -C0000056_bit0 -C0000056_bit1 C0000056_bit2 -C0000056_bit3 -C0000056_bit4 -C0000056_bit5 -C0000056_bit6 -C0000056_bit7 -C0000056_bit8 -C0000056_bit9 -C0000056_bit10 -C0000056_bit11 -C0000056_bit12 -C0000066_bit_7 -C0000066_bit_6 -C0000066_bit_5 -C0000066_bit_4 -C0000066_bit_3 -C0000066_bit_2 -C0000066_bit_1 -C0000066_bit0 -C0000066_bit1 -C0000066_bit2 -C0000066_bit3 -C0000066_bit4 -C0000066_bit5 -C0000066_bit6 -C0000066_bit7 -C0000066_bit8 -C0000066_bit9 -C0000066_bit10 -C0000066_bit11 -C0000066_bit12 -C0000081_bit_7 -C0000081_bit_6 -C0000081_bit_5 -C0000081_bit_4 -C0000081_bit_3 -C0000081_bit_2 -C0000081_bit_1 -C0000081_bit0 -C0000081_bit1 -C0000081_bit2 -C0000081_bit3 -C0000081_bit4 -C0000081_bit5 -C0000081_bit6 -C0000081_bit7 -C0000081_bit8 -C0000081_bit9 -C0000081_bit10 -C0000081_bit11 -C0000081_bit12 -C0000096_bit_7 -C0000096_bit_6 -C0000096_bit_5 -C0000096_bit_4 -C0000096_bit_3 -C0000096_bit_2 -C0000096_bit_1 -C0000096_bit0 -C0000096_bit1 -C0000096_bit2 -C0000096_bit3 -C0000096_bit4 -C0000096_bit5 -C0000096_bit6 -C0000096_bit7 -C0000096_bit8 -C0000096_bit9 -C0000096_bit10 -C0000096_bit11 -C0000096_bit12 -C0000111_bit_7 -C0000111_bit_6 -C0000111_bit_5 -C0000111_bit_4 -C0000111_bit_3 -C0000111_bit_2 -C0000111_bit_1 -C0000111_bit0 -C0000111_bit1 -C0000111_bit2 -C0000111_bit3 -C0000111_bit4 -C0000111_bit5 -C0000111_bit6 -C0000111_bit7 -C0000111_bit8 -C0000111_bit9 -C0000111_bit10 -C0000111_bit11 -C0000111_bit12 -C0000126_bit_7 -C0000126_bit_6 -C0000126_bit_5 -C0000126_bit_4 -C0000126_bit_3 -C0000126_bit_2 -C0000126_bit_1 -C0000126_bit0 -C0000126_bit1 -C0000126_bit2 -C0000126_bit3 -C0000126_bit4 -C0000126_bit5 -C0000126_bit6 -C0000126_bit7 -C0000126_bit8 -C0000126_bit9 -C0000126_bit10 -C0000126_bit11 -C0000126_bit12 -C0000136_bit_7 -C0000136_bit_6 -C0000136_bit_5 -C0000136_bit_4 -C0000136_bit_3 -C0000136_bit_2 -C0000136_bit_1 -C0000136_bit0 -C0000136_bit1 -C0000136_bit2 -C0000136_bit3 -C0000136_bit4 -C0000136_bit5 -C0000136_bit6 -C0000136_bit7 -C0000136_bit8 -C0000136_bit9 -C0000136_bit10 -C0000136_bit11 -C0000136_bit12 -C0000141_bit_7 -C0000141_bit_6 -C0000141_bit_5 -C0000141_bit_4 -C0000141_bit_3 -C0000141_bit_2 -C0000141_bit_1 -C0000141_bit0 -C0000141_bit1 -C0000141_bit2 -C0000141_bit3 -C0000141_bit4 -C0000141_bit5 -C0000141_bit6 -C0000141_bit7 -C0000141_bit8 -C0000141_bit9 -C0000141_bit10 -C0000141_bit11 -C0000141_bit12 -C0000146_bit_7 -C0000146_bit_6 -C0000146_bit_5 -C0000146_bit_4 -C0000146_bit_3 -C0000146_bit_2 -C0000146_bit_1 -C0000146_bit0 -C0000146_bit1 -C0000146_bit2 -C0000146_bit3 -C0000146_bit4 -C0000146_bit5 -C0000146_bit6 -C0000146_bit7 -C0000146_bit8 -C0000146_bit9 -C0000146_bit10 -C0000146_bit11 -C0000146_bit12 -C0000151_bit_7 -C0000151_bit_6 -C0000151_bit_5 -C0000151_bit_4 -C0000151_bit_3 -C0000151_bit_2 -C0000151_bit_1 -C0000151_bit0 -C0000151_bit1 -C0000151_bit2 -C0000151_bit3 -C0000151_bit4 -C0000151_bit5 -C0000151_bit6 -C0000151_bit7 -C0000151_bit8 -C0000151_bit9 -C0000151_bit10 -C0000151_bit11 -C0000151_bit12 -C0000156_bit_7 -C0000156_bit_6 -C0000156_bit_5 -C0000156_bit_4 -C0000156_bit_3 -C0000156_bit_2 -C0000156_bit_1 -C0000156_bit0 -C0000156_bit1 -C0000156_bit2 -C0000156_bit3 -C0000156_bit4 -C0000156_bit5 -C0000156_bit6 -C0000156_bit7 -C0000156_bit8 -C0000156_bit9 -C0000156_bit10 -C0000156_bit11 -C0000156_bit12 -C0000161_bit_7 -C0000161_bit_6 -C0000161_bit_5 -C0000161_bit_4 -C0000161_bit_3 -C0000161_bit_2 -C0000161_bit_1 -C0000161_bit0 -C0000161_bit1 -C0000161_bit2 -C0000161_bit3 -C0000161_bit4 -C0000161_bit5 -C0000161_bit6 -C0000161_bit7 -C0000161_bit8 -C0000161_bit9 -C0000161_bit10 -C0000161_bit11 -C0000161_bit12 -C0000166_bit_7 -C0000166_bit_6 -C0000166_bit_5 -C0000166_bit_4 -C0000166_bit_3 -C0000166_bit_2 -C0000166_bit_1 -C0000166_bit0 -C0000166_bit1 -C0000166_bit2 -C0000166_bit3 -C0000166_bit4 -C0000166_bit5 -C0000166_bit6 -C0000166_bit7 -C0000166_bit8 -C0000166_bit9 -C0000166_bit10 -C0000166_bit11 -C0000166_bit12 -C0000171_bit_7 -C0000171_bit_6 -C0000171_bit_5 -C0000171_bit_4 -C0000171_bit_3 -C0000171_bit_2 -C0000171_bit_1 -C0000171_bit0 -C0000171_bit1 -C0000171_bit2 -C0000171_bit3 -C0000171_bit4 -C0000171_bit5 -C0000171_bit6 -C0000171_bit7 -C0000171_bit8 -C0000171_bit9 -C0000171_bit10 -C0000171_bit11 -C0000171_bit12 -C0000176_bit_7 -C0000176_bit_6 -C0000176_bit_5 -C0000176_bit_4 -C0000176_bit_3 -C0000176_bit_2 -C0000176_bit_1 -C0000176_bit0 -C0000176_bit1 -C0000176_bit2 -C0000176_bit3 -C0000176_bit4 -C0000176_bit5 -C0000176_bit6 -C0000176_bit7 -C0000176_bit8 -C0000176_bit9 -C0000176_bit10 -C0000176_bit11 -C0000176_bit12 -C0000186_bit_7 -C0000186_bit_6 -C0000186_bit_5 -C0000186_bit_4 -C0000186_bit_3 -C0000186_bit_2 -C0000186_bit_1 -C0000186_bit0 -C0000186_bit1 -C0000186_bit2 -C0000186_bit3 -C0000186_bit4 -C0000186_bit5 -C0000186_bit6 -C0000186_bit7 -C0000186_bit8 -C0000186_bit9 -C0000186_bit10 -C0000186_bit11 -C0000186_bit12 -C0000196_bit_7 -C0000196_bit_6 -C0000196_bit_5 -C0000196_bit_4 -C0000196_bit_3 -C0000196_bit_2 -C0000196_bit_1 -C0000196_bit0 -C0000196_bit1 -C0000196_bit2 -C0000196_bit3 -C0000196_bit4 -C0000196_bit5 -C0000196_bit6 -C0000196_bit7 -C0000196_bit8 -C0000196_bit9 -C0000196_bit10 -C0000196_bit11 -C0000196_bit12 -C0000201_bit_7 -C0000201_bit_6 -C0000201_bit_5 -C0000201_bit_4 -C0000201_bit_3 -C0000201_bit_2 -C0000201_bit_1 -C0000201_bit0 -C0000201_bit1 -C0000201_bit2 -C0000201_bit3 -C0000201_bit4 -C0000201_bit5 -C0000201_bit6 -C0000201_bit7 -C0000201_bit8 -C0000201_bit9 -C0000201_bit10 -C0000201_bit11 -C0000201_bit12 -C0000206_bit_7 -C0000206_bit_6 -C0000206_bit_5 -C0000206_bit_4 -C0000206_bit_3 -C0000206_bit_2 -C0000206_bit_1 -C0000206_bit0 -C0000206_bit1 -C0000206_bit2 -C0000206_bit3 -C0000206_bit4 -C0000206_bit5 -C0000206_bit6 -C0000206_bit7 -C0000206_bit8 -C0000206_bit9 -C0000206_bit10 -C0000206_bit11 -C0000206_bit12 -C0000216_bit_7 -C0000216_bit_6 -C0000216_bit_5 -C0000216_bit_4 -C0000216_bit_3 -C0000216_bit_2 -C0000216_bit_1 -C0000216_bit0 -C0000216_bit1 -C0000216_bit2 -C0000216_bit3 -C0000216_bit4 -C0000216_bit5 -C0000216_bit6 -C0000216_bit7 -C0000216_bit8 -C0000216_bit9 -C0000216_bit10 -C0000216_bit11 -C0000216_bit12 -C0000231_bit_7 -C0000231_bit_6 -C0000231_bit_5 -C0000231_bit_4 -C0000231_bit_3 -C0000231_bit_2 -C0000231_bit_1 -C0000231_bit0 -C0000231_bit1 -C0000231_bit2 -C0000231_bit3 -C0000231_bit4 -C0000231_bit5 -C0000231_bit6 -C0000231_bit7 -C0000231_bit8 -C0000231_bit9 -C0000231_bit10 -C0000231_bit11 -C0000231_bit12 -C0000002_bit_7 -C0000002_bit_6 -C0000002_bit_5 -C0000002_bit_4 -C0000002_bit_3 -C0000002_bit_2 -C0000002_bit_1 -C0000002_bit0 -C0000002_bit1 -C0000002_bit2 -C0000002_bit3 -C0000002_bit4 -C0000002_bit5 -C0000002_bit6 -C0000002_bit7 -C0000002_bit8 -C0000002_bit9 -C0000002_bit10 -C0000002_bit11 -C0000002_bit12 -C0000022_bit_7 -C0000022_bit_6 -C0000022_bit_5 -C0000022_bit_4 -C0000022_bit_3 -C0000022_bit_2 -C0000022_bit_1 -C0000022_bit0 -C0000022_bit1 -C0000022_bit2 -C0000022_bit3 -C0000022_bit4 -C0000022_bit5 -C0000022_bit6 -C0000022_bit7 -C0000022_bit8 -C0000022_bit9 -C0000022_bit10 -C0000022_bit11 -C0000022_bit12 -C0000037_bit_7 -C0000037_bit_6 -C0000037_bit_5 -C0000037_bit_4 -C0000037_bit_3 -C0000037_bit_2 -C0000037_bit_1 -C0000037_bit0 -C0000037_bit1 -C0000037_bit2 -C0000037_bit3 -C0000037_bit4 -C0000037_bit5 -C0000037_bit6 -C0000037_bit7 -C0000037_bit8 -C0000037_bit9 -C0000037_bit10 -C0000037_bit11 -C0000037_bit12 -C0000047_bit_7 -C0000047_bit_6 -C0000047_bit_5 -C0000047_bit_4 -C0000047_bit_3 -C0000047_bit_2 -C0000047_bit_1 -C0000047_bit0 -C0000047_bit1 -C0000047_bit2 -C0000047_bit3 -C0000047_bit4 -C0000047_bit5 -C0000047_bit6 -C0000047_bit7 -C0000047_bit8 -C0000047_bit9 -C0000047_bit10 -C0000047_bit11 -C0000047_bit12 -C0000052_bit_7 -C0000052_bit_6 -C0000052_bit_5 -C0000052_bit_4 -C0000052_bit_3 -C0000052_bit_2 -C0000052_bit_1 -C0000052_bit0 -C0000052_bit1 -C0000052_bit2 -C0000052_bit3 -C0000052_bit4 -C0000052_bit5 -C0000052_bit6 -C0000052_bit7 -C0000052_bit8 -C0000052_bit9 -C0000052_bit10 -C0000052_bit11 -C0000052_bit12 -C0000057_bit_7 -C0000057_bit_6 -C0000057_bit_5 -C0000057_bit_4 -C0000057_bit_3 -C0000057_bit_2 -C0000057_bit_1 -C0000057_bit0 -C0000057_bit1 -C0000057_bit2 -C0000057_bit3 -C0000057_bit4 -C0000057_bit5 -C0000057_bit6 -C0000057_bit7 -C0000057_bit8 -C0000057_bit9 -C0000057_bit10 -C0000057_bit11 -C0000057_bit12 -C0000067_bit_7 -C0000067_bit_6 -C0000067_bit_5 -C0000067_bit_4 -C0000067_bit_3 -C0000067_bit_2 -C0000067_bit_1 -C0000067_bit0 -C0000067_bit1 -C0000067_bit2 -C0000067_bit3 -C0000067_bit4 -C0000067_bit5 -C0000067_bit6 -C0000067_bit7 -C0000067_bit8 -C0000067_bit9 -C0000067_bit10 -C0000067_bit11 -C0000067_bit12 -C0000082_bit_7 -C0000082_bit_6 -C0000082_bit_5 -C0000082_bit_4 -C0000082_bit_3 -C0000082_bit_2 -C0000082_bit_1 -C0000082_bit0 -C0000082_bit1 -C0000082_bit2 -C0000082_bit3 -C0000082_bit4 -C0000082_bit5 -C0000082_bit6 -C0000082_bit7 -C0000082_bit8 -C0000082_bit9 -C0000082_bit10 -C0000082_bit11 -C0000082_bit12 -C0000097_bit_7 -C0000097_bit_6 -C0000097_bit_5 -C0000097_bit_4 -C0000097_bit_3 -C0000097_bit_2 -C0000097_bit_1 -C0000097_bit0 -C0000097_bit1 -C0000097_bit2 -C0000097_bit3 -C0000097_bit4 -C0000097_bit5 -C0000097_bit6 -C0000097_bit7 -C0000097_bit8 -C0000097_bit9 -C0000097_bit10 -C0000097_bit11 -C0000097_bit12 -C0000112_bit_7 -C0000112_bit_6 -C0000112_bit_5 -C0000112_bit_4 -C0000112_bit_3 -C0000112_bit_2 -C0000112_bit_1 -C0000112_bit0 -C0000112_bit1 -C0000112_bit2 -C0000112_bit3 -C0000112_bit4 -C0000112_bit5 -C0000112_bit6 -C0000112_bit7 -C0000112_bit8 -C0000112_bit9 -C0000112_bit10 -C0000112_bit11 -C0000112_bit12 -C0000127_bit_7 -C0000127_bit_6 -C0000127_bit_5 -C0000127_bit_4 -C0000127_bit_3 -C0000127_bit_2 -C0000127_bit_1 -C0000127_bit0 -C0000127_bit1 -C0000127_bit2 -C0000127_bit3 -C0000127_bit4 -C0000127_bit5 -C0000127_bit6 -C0000127_bit7 -C0000127_bit8 -C0000127_bit9 -C0000127_bit10 -C0000127_bit11 -C0000127_bit12 -C0000137_bit_7 -C0000137_bit_6 -C0000137_bit_5 -C0000137_bit_4 -C0000137_bit_3 -C0000137_bit_2 -C0000137_bit_1 -C0000137_bit0 -C0000137_bit1 -C0000137_bit2 -C0000137_bit3 -C0000137_bit4 -C0000137_bit5 -C0000137_bit6 -C0000137_bit7 -C0000137_bit8 -C0000137_bit9 -C0000137_bit10 -C0000137_bit11 -C0000137_bit12 -C0000142_bit_7 -C0000142_bit_6 -C0000142_bit_5 -C0000142_bit_4 -C0000142_bit_3 -C0000142_bit_2 -C0000142_bit_1 -C0000142_bit0 -C0000142_bit1 -C0000142_bit2 -C0000142_bit3 -C0000142_bit4 -C0000142_bit5 -C0000142_bit6 -C0000142_bit7 -C0000142_bit8 -C0000142_bit9 -C0000142_bit10 -C0000142_bit11 -C0000142_bit12 -C0000147_bit_7 -C0000147_bit_6 -C0000147_bit_5 -C0000147_bit_4 -C0000147_bit_3 -C0000147_bit_2 -C0000147_bit_1 -C0000147_bit0 -C0000147_bit1 -C0000147_bit2 -C0000147_bit3 -C0000147_bit4 -C0000147_bit5 -C0000147_bit6 -C0000147_bit7 -C0000147_bit8 -C0000147_bit9 -C0000147_bit10 -C0000147_bit11 -C0000147_bit12 -C0000152_bit_7 -C0000152_bit_6 -C0000152_bit_5 -C0000152_bit_4 -C0000152_bit_3 -C0000152_bit_2 -C0000152_bit_1 -C0000152_bit0 -C0000152_bit1 -C0000152_bit2 -C0000152_bit3 -C0000152_bit4 -C0000152_bit5 -C0000152_bit6 -C0000152_bit7 -C0000152_bit8 -C0000152_bit9 -C0000152_bit10 -C0000152_bit11 -C0000152_bit12 -C0000157_bit_7 -C0000157_bit_6 -C0000157_bit_5 -C0000157_bit_4 -C0000157_bit_3 -C0000157_bit_2 -C0000157_bit_1 -C0000157_bit0 -C0000157_bit1 -C0000157_bit2 -C0000157_bit3 -C0000157_bit4 -C0000157_bit5 -C0000157_bit6 -C0000157_bit7 -C0000157_bit8 -C0000157_bit9 -C0000157_bit10 -C0000157_bit11 -C0000157_bit12 -C0000162_bit_7 -C0000162_bit_6 -C0000162_bit_5 -C0000162_bit_4 -C0000162_bit_3 -C0000162_bit_2 -C0000162_bit_1 -C0000162_bit0 -C0000162_bit1 -C0000162_bit2 -C0000162_bit3 -C0000162_bit4 -C0000162_bit5 -C0000162_bit6 -C0000162_bit7 -C0000162_bit8 -C0000162_bit9 -C0000162_bit10 -C0000162_bit11 -C0000162_bit12 -C0000167_bit_7 -C0000167_bit_6 -C0000167_bit_5 -C0000167_bit_4 -C0000167_bit_3 -C0000167_bit_2 -C0000167_bit_1 -C0000167_bit0 -C0000167_bit1 -C0000167_bit2 -C0000167_bit3 -C0000167_bit4 -C0000167_bit5 -C0000167_bit6 -C0000167_bit7 -C0000167_bit8 -C0000167_bit9 -C0000167_bit10 -C0000167_bit11 -C0000167_bit12 -C0000172_bit_7 -C0000172_bit_6 -C0000172_bit_5 -C0000172_bit_4 -C0000172_bit_3 -C0000172_bit_2 -C0000172_bit_1 -C0000172_bit0 -C0000172_bit1 -C0000172_bit2 -C0000172_bit3 -C0000172_bit4 -C0000172_bit5 -C0000172_bit6 -C0000172_bit7 -C0000172_bit8 -C0000172_bit9 -C0000172_bit10 -C0000172_bit11 -C0000172_bit12 -C0000177_bit_7 -C0000177_bit_6 -C0000177_bit_5 -C0000177_bit_4 -C0000177_bit_3 -C0000177_bit_2 -C0000177_bit_1 -C0000177_bit0 -C0000177_bit1 -C0000177_bit2 -C0000177_bit3 -C0000177_bit4 -C0000177_bit5 -C0000177_bit6 -C0000177_bit7 -C0000177_bit8 -C0000177_bit9 -C0000177_bit10 -C0000177_bit11 -C0000177_bit12 -C0000187_bit_7 -C0000187_bit_6 -C0000187_bit_5 -C0000187_bit_4 -C0000187_bit_3 -C0000187_bit_2 -C0000187_bit_1 -C0000187_bit0 -C0000187_bit1 -C0000187_bit2 -C0000187_bit3 -C0000187_bit4 -C0000187_bit5 -C0000187_bit6 -C0000187_bit7 -C0000187_bit8 -C0000187_bit9 -C0000187_bit10 -C0000187_bit11 -C0000187_bit12 -C0000197_bit_7 -C0000197_bit_6 -C0000197_bit_5 -C0000197_bit_4 -C0000197_bit_3 -C0000197_bit_2 -C0000197_bit_1 -C0000197_bit0 -C0000197_bit1 -C0000197_bit2 -C0000197_bit3 -C0000197_bit4 -C0000197_bit5 -C0000197_bit6 -C0000197_bit7 -C0000197_bit8 -C0000197_bit9 -C0000197_bit10 -C0000197_bit11 -C0000197_bit12 -C0000202_bit_7 -C0000202_bit_6 -C0000202_bit_5 -C0000202_bit_4 -C0000202_bit_3 -C0000202_bit_2 -C0000202_bit_1 -C0000202_bit0 -C0000202_bit1 -C0000202_bit2 -C0000202_bit3 -C0000202_bit4 -C0000202_bit5 -C0000202_bit6 -C0000202_bit7 -C0000202_bit8 -C0000202_bit9 -C0000202_bit10 -C0000202_bit11 -C0000202_bit12 -C0000207_bit_7 -C0000207_bit_6 -C0000207_bit_5 -C0000207_bit_4 -C0000207_bit_3 -C0000207_bit_2 -C0000207_bit_1 -C0000207_bit0 -C0000207_bit1 -C0000207_bit2 -C0000207_bit3 -C0000207_bit4 -C0000207_bit5 -C0000207_bit6 -C0000207_bit7 -C0000207_bit8 -C0000207_bit9 -C0000207_bit10 -C0000207_bit11 -C0000207_bit12 -C0000217_bit_7 -C0000217_bit_6 -C0000217_bit_5 -C0000217_bit_4 -C0000217_bit_3 -C0000217_bit_2 -C0000217_bit_1 -C0000217_bit0 -C0000217_bit1 -C0000217_bit2 -C0000217_bit3 -C0000217_bit4 -C0000217_bit5 -C0000217_bit6 -C0000217_bit7 -C0000217_bit8 -C0000217_bit9 -C0000217_bit10 -C0000217_bit11 -C0000217_bit12 -C0000232_bit_7 -C0000232_bit_6 -C0000232_bit_5 -C0000232_bit_4 -C0000232_bit_3 -C0000232_bit_2 -C0000232_bit_1 -C0000232_bit0 -C0000232_bit1 -C0000232_bit2 -C0000232_bit3 -C0000232_bit4 -C0000232_bit5 -C0000232_bit6 -C0000232_bit7 -C0000232_bit8 -C0000232_bit9 -C0000232_bit10 -C0000232_bit11 -C0000232_bit12 -C0000003_bit_7 -C0000003_bit_6 -C0000003_bit_5 -C0000003_bit_4 -C0000003_bit_3 -C0000003_bit_2 -C0000003_bit_1 -C0000003_bit0 -C0000003_bit1 -C0000003_bit2 -C0000003_bit3 -C0000003_bit4 -C0000003_bit5 -C0000003_bit6 -C0000003_bit7 -C0000003_bit8 -C0000003_bit9 -C0000003_bit10 -C0000003_bit11 -C0000003_bit12 -C0000023_bit_7 -C0000023_bit_6 -C0000023_bit_5 -C0000023_bit_4 -C0000023_bit_3 -C0000023_bit_2 -C0000023_bit_1 -C0000023_bit0 -C0000023_bit1 -C0000023_bit2 -C0000023_bit3 -C0000023_bit4 -C0000023_bit5 -C0000023_bit6 -C0000023_bit7 -C0000023_bit8 -C0000023_bit9 -C0000023_bit10 -C0000023_bit11 -C0000023_bit12 -C0000038_bit_7 -C0000038_bit_6 -C0000038_bit_5 -C0000038_bit_4 -C0000038_bit_3 -C0000038_bit_2 -C0000038_bit_1 -C0000038_bit0 -C0000038_bit1 -C0000038_bit2 -C0000038_bit3 -C0000038_bit4 -C0000038_bit5 -C0000038_bit6 -C0000038_bit7 -C0000038_bit8 -C0000038_bit9 -C0000038_bit10 -C0000038_bit11 -C0000038_bit12 -C0000048_bit_7 -C0000048_bit_6 -C0000048_bit_5 -C0000048_bit_4 -C0000048_bit_3 -C0000048_bit_2 -C0000048_bit_1 -C0000048_bit0 -C0000048_bit1 -C0000048_bit2 -C0000048_bit3 -C0000048_bit4 -C0000048_bit5 -C0000048_bit6 -C0000048_bit7 -C0000048_bit8 -C0000048_bit9 -C0000048_bit10 -C0000048_bit11 -C0000048_bit12 -C0000053_bit_7 -C0000053_bit_6 -C0000053_bit_5 -C0000053_bit_4 -C0000053_bit_3 -C0000053_bit_2 -C0000053_bit_1 -C0000053_bit0 -C0000053_bit1 -C0000053_bit2 -C0000053_bit3 -C0000053_bit4 -C0000053_bit5 -C0000053_bit6 -C0000053_bit7 -C0000053_bit8 -C0000053_bit9 -C0000053_bit10 -C0000053_bit11 -C0000053_bit12 -C0000058_bit_7 -C0000058_bit_6 -C0000058_bit_5 -C0000058_bit_4 -C0000058_bit_3 -C0000058_bit_2 -C0000058_bit_1 C0000058_bit0 -C0000058_bit1 -C0000058_bit2 -C0000058_bit3 -C0000058_bit4 -C0000058_bit5 -C0000058_bit6 -C0000058_bit7 -C0000058_bit8 -C0000058_bit9 -C0000058_bit10 -C0000058_bit11 -C0000058_bit12 -C0000068_bit_7 -C0000068_bit_6 -C0000068_bit_5 -C0000068_bit_4 -C0000068_bit_3 -C0000068_bit_2 -C0000068_bit_1 -C0000068_bit0 -C0000068_bit1 -C0000068_bit2 -C0000068_bit3 -C0000068_bit4 -C0000068_bit5 -C0000068_bit6 -C0000068_bit7 -C0000068_bit8 -C0000068_bit9 -C0000068_bit10 -C0000068_bit11 -C0000068_bit12 -C0000083_bit_7 -C0000083_bit_6 -C0000083_bit_5 -C0000083_bit_4 -C0000083_bit_3 -C0000083_bit_2 -C0000083_bit_1 -C0000083_bit0 -C0000083_bit1 -C0000083_bit2 -C0000083_bit3 -C0000083_bit4 -C0000083_bit5 -C0000083_bit6 -C0000083_bit7 -C0000083_bit8 -C0000083_bit9 -C0000083_bit10 -C0000083_bit11 -C0000083_bit12 -C0000098_bit_7 -C0000098_bit_6 -C0000098_bit_5 -C0000098_bit_4 -C0000098_bit_3 -C0000098_bit_2 -C0000098_bit_1 -C0000098_bit0 -C0000098_bit1 -C0000098_bit2 -C0000098_bit3 -C0000098_bit4 -C0000098_bit5 -C0000098_bit6 -C0000098_bit7 -C0000098_bit8 -C0000098_bit9 -C0000098_bit10 -C0000098_bit11 -C0000098_bit12 -C0000113_bit_7 -C0000113_bit_6 -C0000113_bit_5 -C0000113_bit_4 -C0000113_bit_3 -C0000113_bit_2 -C0000113_bit_1 -C0000113_bit0 -C0000113_bit1 -C0000113_bit2 -C0000113_bit3 -C0000113_bit4 -C0000113_bit5 -C0000113_bit6 -C0000113_bit7 -C0000113_bit8 -C0000113_bit9 -C0000113_bit10 -C0000113_bit11 -C0000113_bit12 -C0000128_bit_7 -C0000128_bit_6 -C0000128_bit_5 -C0000128_bit_4 -C0000128_bit_3 -C0000128_bit_2 -C0000128_bit_1 -C0000128_bit0 -C0000128_bit1 -C0000128_bit2 -C0000128_bit3 -C0000128_bit4 -C0000128_bit5 -C0000128_bit6 -C0000128_bit7 -C0000128_bit8 -C0000128_bit9 -C0000128_bit10 -C0000128_bit11 -C0000128_bit12 -C0000138_bit_7 -C0000138_bit_6 -C0000138_bit_5 -C0000138_bit_4 -C0000138_bit_3 -C0000138_bit_2 -C0000138_bit_1 -C0000138_bit0 -C0000138_bit1 -C0000138_bit2 -C0000138_bit3 -C0000138_bit4 -C0000138_bit5 -C0000138_bit6 -C0000138_bit7 -C0000138_bit8 -C0000138_bit9 -C0000138_bit10 -C0000138_bit11 -C0000138_bit12 -C0000143_bit_7 -C0000143_bit_6 -C0000143_bit_5 -C0000143_bit_4 -C0000143_bit_3 -C0000143_bit_2 -C0000143_bit_1 -C0000143_bit0 -C0000143_bit1 -C0000143_bit2 -C0000143_bit3 -C0000143_bit4 -C0000143_bit5 -C0000143_bit6 -C0000143_bit7 -C0000143_bit8 -C0000143_bit9 -C0000143_bit10 -C0000143_bit11 -C0000143_bit12 -C0000148_bit_7 -C0000148_bit_6 -C0000148_bit_5 -C0000148_bit_4 -C0000148_bit_3 -C0000148_bit_2 -C0000148_bit_1 -C0000148_bit0 -C0000148_bit1 -C0000148_bit2 -C0000148_bit3 -C0000148_bit4 -C0000148_bit5 -C0000148_bit6 -C0000148_bit7 -C0000148_bit8 -C0000148_bit9 -C0000148_bit10 -C0000148_bit11 -C0000148_bit12 -C0000153_bit_7 -C0000153_bit_6 -C0000153_bit_5 -C0000153_bit_4 -C0000153_bit_3 -C0000153_bit_2 -C0000153_bit_1 -C0000153_bit0 -C0000153_bit1 -C0000153_bit2 -C0000153_bit3 -C0000153_bit4 -C0000153_bit5 -C0000153_bit6 -C0000153_bit7 -C0000153_bit8 -C0000153_bit9 -C0000153_bit10 -C0000153_bit11 -C0000153_bit12 -C0000158_bit_7 -C0000158_bit_6 -C0000158_bit_5 -C0000158_bit_4 -C0000158_bit_3 -C0000158_bit_2 -C0000158_bit_1 -C0000158_bit0 -C0000158_bit1 -C0000158_bit2 -C0000158_bit3 -C0000158_bit4 -C0000158_bit5 -C0000158_bit6 -C0000158_bit7 -C0000158_bit8 -C0000158_bit9 -C0000158_bit10 -C0000158_bit11 -C0000158_bit12 -C0000163_bit_7 -C0000163_bit_6 -C0000163_bit_5 -C0000163_bit_4 -C0000163_bit_3 -C0000163_bit_2 -C0000163_bit_1 -C0000163_bit0 -C0000163_bit1 -C0000163_bit2 -C0000163_bit3 -C0000163_bit4 -C0000163_bit5 -C0000163_bit6 -C0000163_bit7 -C0000163_bit8 -C0000163_bit9 -C0000163_bit10 -C0000163_bit11 -C0000163_bit12 -C0000168_bit_7 -C0000168_bit_6 -C0000168_bit_5 -C0000168_bit_4 -C0000168_bit_3 -C0000168_bit_2 -C0000168_bit_1 -C0000168_bit0 -C0000168_bit1 -C0000168_bit2 -C0000168_bit3 -C0000168_bit4 -C0000168_bit5 -C0000168_bit6 -C0000168_bit7 -C0000168_bit8 -C0000168_bit9 -C0000168_bit10 -C0000168_bit11 -C0000168_bit12 -C0000173_bit_7 -C0000173_bit_6 -C0000173_bit_5 -C0000173_bit_4 -C0000173_bit_3 -C0000173_bit_2 -C0000173_bit_1 -C0000173_bit0 -C0000173_bit1 -C0000173_bit2 -C0000173_bit3 -C0000173_bit4 -C0000173_bit5 -C0000173_bit6 -C0000173_bit7 -C0000173_bit8 -C0000173_bit9 -C0000173_bit10 -C0000173_bit11 -C0000173_bit12 -C0000178_bit_7 -C0000178_bit_6 -C0000178_bit_5 -C0000178_bit_4 -C0000178_bit_3 -C0000178_bit_2 -C0000178_bit_1 -C0000178_bit0 -C0000178_bit1 -C0000178_bit2 -C0000178_bit3 -C0000178_bit4 -C0000178_bit5 -C0000178_bit6 -C0000178_bit7 -C0000178_bit8 -C0000178_bit9 -C0000178_bit10 -C0000178_bit11 -C0000178_bit12 -C0000188_bit_7 -C0000188_bit_6 -C0000188_bit_5 -C0000188_bit_4 -C0000188_bit_3 -C0000188_bit_2 -C0000188_bit_1 -C0000188_bit0 -C0000188_bit1 -C0000188_bit2 -C0000188_bit3 -C0000188_bit4 -C0000188_bit5 -C0000188_bit6 -C0000188_bit7 -C0000188_bit8 -C0000188_bit9 -C0000188_bit10 -C0000188_bit11 -C0000188_bit12 -C0000198_bit_7 -C0000198_bit_6 -C0000198_bit_5 -C0000198_bit_4 -C0000198_bit_3 -C0000198_bit_2 -C0000198_bit_1 -C0000198_bit0 -C0000198_bit1 -C0000198_bit2 -C0000198_bit3 -C0000198_bit4 -C0000198_bit5 -C0000198_bit6 -C0000198_bit7 -C0000198_bit8 -C0000198_bit9 -C0000198_bit10 -C0000198_bit11 -C0000198_bit12 -C0000203_bit_7 -C0000203_bit_6 -C0000203_bit_5 -C0000203_bit_4 -C0000203_bit_3 -C0000203_bit_2 -C0000203_bit_1 -C0000203_bit0 -C0000203_bit1 -C0000203_bit2 -C0000203_bit3 -C0000203_bit4 -C0000203_bit5 -C0000203_bit6 -C0000203_bit7 -C0000203_bit8 -C0000203_bit9 -C0000203_bit10 -C0000203_bit11 -C0000203_bit12 -C0000208_bit_7 -C0000208_bit_6 -C0000208_bit_5 -C0000208_bit_4 -C0000208_bit_3 -C0000208_bit_2 -C0000208_bit_1 -C0000208_bit0 -C0000208_bit1 -C0000208_bit2 -C0000208_bit3 -C0000208_bit4 -C0000208_bit5 -C0000208_bit6 -C0000208_bit7 -C0000208_bit8 -C0000208_bit9 -C0000208_bit10 -C0000208_bit11 -C0000208_bit12 -C0000218_bit_7 -C0000218_bit_6 -C0000218_bit_5 -C0000218_bit_4 -C0000218_bit_3 -C0000218_bit_2 -C0000218_bit_1 -C0000218_bit0 -C0000218_bit1 -C0000218_bit2 -C0000218_bit3 -C0000218_bit4 -C0000218_bit5 -C0000218_bit6 -C0000218_bit7 -C0000218_bit8 -C0000218_bit9 -C0000218_bit10 -C0000218_bit11 -C0000218_bit12 -C0000233_bit_7 -C0000233_bit_6 -C0000233_bit_5 -C0000233_bit_4 -C0000233_bit_3 -C0000233_bit_2 -C0000233_bit_1 -C0000233_bit0 -C0000233_bit1 -C0000233_bit2 -C0000233_bit3 -C0000233_bit4 -C0000233_bit5 -C0000233_bit6 -C0000233_bit7 -C0000233_bit8 -C0000233_bit9 -C0000233_bit10 -C0000233_bit11 -C0000233_bit12 -C0000004_bit_7 -C0000004_bit_6 -C0000004_bit_5 -C0000004_bit_4 -C0000004_bit_3 -C0000004_bit_2 -C0000004_bit_1 -C0000004_bit0 -C0000004_bit1 -C0000004_bit2 -C0000004_bit3 -C0000004_bit4 -C0000004_bit5 -C0000004_bit6 -C0000004_bit7 -C0000004_bit8 -C0000004_bit9 -C0000004_bit10 -C0000004_bit11 -C0000004_bit12 -C0000024_bit_7 -C0000024_bit_6 -C0000024_bit_5 -C0000024_bit_4 -C0000024_bit_3 -C0000024_bit_2 -C0000024_bit_1 -C0000024_bit0 -C0000024_bit1 -C0000024_bit2 -C0000024_bit3 -C0000024_bit4 -C0000024_bit5 -C0000024_bit6 -C0000024_bit7 -C0000024_bit8 -C0000024_bit9 -C0000024_bit10 -C0000024_bit11 -C0000024_bit12 -C0000039_bit_7 -C0000039_bit_6 -C0000039_bit_5 -C0000039_bit_4 -C0000039_bit_3 -C0000039_bit_2 -C0000039_bit_1 -C0000039_bit0 -C0000039_bit1 -C0000039_bit2 -C0000039_bit3 -C0000039_bit4 -C0000039_bit5 -C0000039_bit6 -C0000039_bit7 -C0000039_bit8 -C0000039_bit9 -C0000039_bit10 -C0000039_bit11 -C0000039_bit12 -C0000049_bit_7 -C0000049_bit_6 -C0000049_bit_5 -C0000049_bit_4 -C0000049_bit_3 -C0000049_bit_2 -C0000049_bit_1 -C0000049_bit0 -C0000049_bit1 -C0000049_bit2 -C0000049_bit3 -C0000049_bit4 -C0000049_bit5 -C0000049_bit6 -C0000049_bit7 -C0000049_bit8 -C0000049_bit9 -C0000049_bit10 -C0000049_bit11 -C0000049_bit12 -C0000054_bit_7 -C0000054_bit_6 -C0000054_bit_5 -C0000054_bit_4 -C0000054_bit_3 -C0000054_bit_2 -C0000054_bit_1 -C0000054_bit0 -C0000054_bit1 -C0000054_bit2 -C0000054_bit3 -C0000054_bit4 -C0000054_bit5 -C0000054_bit6 -C0000054_bit7 -C0000054_bit8 -C0000054_bit9 -C0000054_bit10 -C0000054_bit11 -C0000054_bit12 -C0000059_bit_7 -C0000059_bit_6 -C0000059_bit_5 -C0000059_bit_4 -C0000059_bit_3 -C0000059_bit_2 -C0000059_bit_1 -C0000059_bit0 -C0000059_bit1 -C0000059_bit2 -C0000059_bit3 -C0000059_bit4 -C0000059_bit5 -C0000059_bit6 -C0000059_bit7 -C0000059_bit8 -C0000059_bit9 -C0000059_bit10 -C0000059_bit11 -C0000059_bit12 -C0000069_bit_7 -C0000069_bit_6 -C0000069_bit_5 -C0000069_bit_4 -C0000069_bit_3 -C0000069_bit_2 -C0000069_bit_1 -C0000069_bit0 -C0000069_bit1 -C0000069_bit2 -C0000069_bit3 -C0000069_bit4 -C0000069_bit5 -C0000069_bit6 -C0000069_bit7 -C0000069_bit8 -C0000069_bit9 -C0000069_bit10 -C0000069_bit11 -C0000069_bit12 -C0000084_bit_7 -C0000084_bit_6 -C0000084_bit_5 -C0000084_bit_4 -C0000084_bit_3 -C0000084_bit_2 -C0000084_bit_1 -C0000084_bit0 -C0000084_bit1 -C0000084_bit2 -C0000084_bit3 -C0000084_bit4 -C0000084_bit5 -C0000084_bit6 -C0000084_bit7 -C0000084_bit8 -C0000084_bit9 -C0000084_bit10 -C0000084_bit11 -C0000084_bit12 -C0000099_bit_7 -C0000099_bit_6 -C0000099_bit_5 -C0000099_bit_4 -C0000099_bit_3 -C0000099_bit_2 -C0000099_bit_1 -C0000099_bit0 -C0000099_bit1 -C0000099_bit2 -C0000099_bit3 -C0000099_bit4 -C0000099_bit5 -C0000099_bit6 -C0000099_bit7 -C0000099_bit8 -C0000099_bit9 -C0000099_bit10 -C0000099_bit11 -C0000099_bit12 -C0000114_bit_7 -C0000114_bit_6 -C0000114_bit_5 -C0000114_bit_4 -C0000114_bit_3 -C0000114_bit_2 -C0000114_bit_1 -C0000114_bit0 -C0000114_bit1 -C0000114_bit2 -C0000114_bit3 -C0000114_bit4 -C0000114_bit5 -C0000114_bit6 -C0000114_bit7 -C0000114_bit8 -C0000114_bit9 -C0000114_bit10 -C0000114_bit11 -C0000114_bit12 -C0000129_bit_7 -C0000129_bit_6 -C0000129_bit_5 -C0000129_bit_4 -C0000129_bit_3 -C0000129_bit_2 -C0000129_bit_1 -C0000129_bit0 -C0000129_bit1 -C0000129_bit2 -C0000129_bit3 -C0000129_bit4 -C0000129_bit5 -C0000129_bit6 -C0000129_bit7 -C0000129_bit8 -C0000129_bit9 -C0000129_bit10 -C0000129_bit11 -C0000129_bit12 -C0000139_bit_7 -C0000139_bit_6 -C0000139_bit_5 -C0000139_bit_4 -C0000139_bit_3 -C0000139_bit_2 -C0000139_bit_1 -C0000139_bit0 -C0000139_bit1 -C0000139_bit2 -C0000139_bit3 -C0000139_bit4 -C0000139_bit5 -C0000139_bit6 -C0000139_bit7 -C0000139_bit8 -C0000139_bit9 -C0000139_bit10 -C0000139_bit11 -C0000139_bit12 -C0000144_bit_7 -C0000144_bit_6 -C0000144_bit_5 -C0000144_bit_4 -C0000144_bit_3 -C0000144_bit_2 -C0000144_bit_1 -C0000144_bit0 -C0000144_bit1 -C0000144_bit2 -C0000144_bit3 -C0000144_bit4 -C0000144_bit5 -C0000144_bit6 -C0000144_bit7 -C0000144_bit8 -C0000144_bit9 -C0000144_bit10 -C0000144_bit11 -C0000144_bit12 -C0000149_bit_7 -C0000149_bit_6 -C0000149_bit_5 -C0000149_bit_4 -C0000149_bit_3 -C0000149_bit_2 -C0000149_bit_1 -C0000149_bit0 -C0000149_bit1 -C0000149_bit2 -C0000149_bit3 -C0000149_bit4 -C0000149_bit5 -C0000149_bit6 -C0000149_bit7 -C0000149_bit8 -C0000149_bit9 -C0000149_bit10 -C0000149_bit11 -C0000149_bit12 -C0000154_bit_7 -C0000154_bit_6 -C0000154_bit_5 -C0000154_bit_4 -C0000154_bit_3 -C0000154_bit_2 -C0000154_bit_1 -C0000154_bit0 -C0000154_bit1 -C0000154_bit2 -C0000154_bit3 -C0000154_bit4 -C0000154_bit5 -C0000154_bit6 -C0000154_bit7 -C0000154_bit8 -C0000154_bit9 -C0000154_bit10 -C0000154_bit11 -C0000154_bit12 -C0000159_bit_7 -C0000159_bit_6 -C0000159_bit_5 -C0000159_bit_4 -C0000159_bit_3 -C0000159_bit_2 -C0000159_bit_1 -C0000159_bit0 -C0000159_bit1 -C0000159_bit2 -C0000159_bit3 -C0000159_bit4 -C0000159_bit5 -C0000159_bit6 -C0000159_bit7 -C0000159_bit8 -C0000159_bit9 -C0000159_bit10 -C0000159_bit11 -C0000159_bit12 -C0000164_bit_7 -C0000164_bit_6 -C0000164_bit_5 -C0000164_bit_4 -C0000164_bit_3 -C0000164_bit_2 -C0000164_bit_1 -C0000164_bit0 -C0000164_bit1 -C0000164_bit2 -C0000164_bit3 -C0000164_bit4 -C0000164_bit5 -C0000164_bit6 -C0000164_bit7 -C0000164_bit8 -C0000164_bit9 -C0000164_bit10 -C0000164_bit11 -C0000164_bit12 -C0000169_bit_7 -C0000169_bit_6 -C0000169_bit_5 -C0000169_bit_4 -C0000169_bit_3 -C0000169_bit_2 -C0000169_bit_1 -C0000169_bit0 -C0000169_bit1 -C0000169_bit2 -C0000169_bit3 -C0000169_bit4 -C0000169_bit5 -C0000169_bit6 -C0000169_bit7 -C0000169_bit8 -C0000169_bit9 -C0000169_bit10 -C0000169_bit11 -C0000169_bit12 -C0000174_bit_7 -C0000174_bit_6 -C0000174_bit_5 -C0000174_bit_4 -C0000174_bit_3 -C0000174_bit_2 -C0000174_bit_1 -C0000174_bit0 -C0000174_bit1 -C0000174_bit2 -C0000174_bit3 -C0000174_bit4 -C0000174_bit5 -C0000174_bit6 -C0000174_bit7 -C0000174_bit8 -C0000174_bit9 -C0000174_bit10 -C0000174_bit11 -C0000174_bit12 -C0000179_bit_7 -C0000179_bit_6 -C0000179_bit_5 -C0000179_bit_4 -C0000179_bit_3 -C0000179_bit_2 -C0000179_bit_1 -C0000179_bit0 -C0000179_bit1 -C0000179_bit2 -C0000179_bit3 -C0000179_bit4 -C0000179_bit5 -C0000179_bit6 -C0000179_bit7 -C0000179_bit8 -C0000179_bit9 -C0000179_bit10 -C0000179_bit11 -C0000179_bit12 -C0000189_bit_7 -C0000189_bit_6 -C0000189_bit_5 -C0000189_bit_4 -C0000189_bit_3 -C0000189_bit_2 -C0000189_bit_1 -C0000189_bit0 -C0000189_bit1 -C0000189_bit2 -C0000189_bit3 -C0000189_bit4 -C0000189_bit5 -C0000189_bit6 -C0000189_bit7 -C0000189_bit8 -C0000189_bit9 -C0000189_bit10 -C0000189_bit11 -C0000189_bit12 -C0000199_bit_7 -C0000199_bit_6 -C0000199_bit_5 -C0000199_bit_4 -C0000199_bit_3 -C0000199_bit_2 -C0000199_bit_1 -C0000199_bit0 -C0000199_bit1 -C0000199_bit2 -C0000199_bit3 -C0000199_bit4 -C0000199_bit5 -C0000199_bit6 -C0000199_bit7 -C0000199_bit8 -C0000199_bit9 -C0000199_bit10 -C0000199_bit11 -C0000199_bit12 -C0000204_bit_7 -C0000204_bit_6 -C0000204_bit_5 -C0000204_bit_4 -C0000204_bit_3 -C0000204_bit_2 -C0000204_bit_1 -C0000204_bit0 -C0000204_bit1 -C0000204_bit2 -C0000204_bit3 -C0000204_bit4 -C0000204_bit5 -C0000204_bit6 -C0000204_bit7 -C0000204_bit8 -C0000204_bit9 -C0000204_bit10 -C0000204_bit11 -C0000204_bit12 -C0000209_bit_7 -C0000209_bit_6 -C0000209_bit_5 -C0000209_bit_4 -C0000209_bit_3 -C0000209_bit_2 -C0000209_bit_1 -C0000209_bit0 -C0000209_bit1 -C0000209_bit2 -C0000209_bit3 -C0000209_bit4 -C0000209_bit5 -C0000209_bit6 -C0000209_bit7 -C0000209_bit8 -C0000209_bit9 -C0000209_bit10 -C0000209_bit11 -C0000209_bit12 -C0000219_bit_7 -C0000219_bit_6 -C0000219_bit_5 -C0000219_bit_4 -C0000219_bit_3 -C0000219_bit_2 -C0000219_bit_1 -C0000219_bit0 -C0000219_bit1 -C0000219_bit2 -C0000219_bit3 -C0000219_bit4 -C0000219_bit5 -C0000219_bit6 -C0000219_bit7 -C0000219_bit8 -C0000219_bit9 -C0000219_bit10 -C0000219_bit11 -C0000219_bit12 -C0000234_bit_7 -C0000234_bit_6 -C0000234_bit_5 -C0000234_bit_4 -C0000234_bit_3 -C0000234_bit_2 -C0000234_bit_1 -C0000234_bit0 -C0000234_bit1 -C0000234_bit2 -C0000234_bit3 -C0000234_bit4 -C0000234_bit5 -C0000234_bit6 -C0000234_bit7 -C0000234_bit8 -C0000234_bit9 -C0000234_bit10 -C0000234_bit11 -C0000234_bit12 -C0000005_bit_7 -C0000005_bit_6 -C0000005_bit_5 -C0000005_bit_4 C0000005_bit_3 -C0000005_bit_2 -C0000005_bit_1 -C0000005_bit0 C0000005_bit1 -C0000005_bit2 -C0000005_bit3 -C0000005_bit4 -C0000005_bit5 -C0000005_bit6 -C0000005_bit7 -C0000005_bit8 -C0000005_bit9 -C0000005_bit10 -C0000005_bit11 -C0000005_bit12 -C0000025_bit_7 -C0000025_bit_6 -C0000025_bit_5 -C0000025_bit_4 -C0000025_bit_3 -C0000025_bit_2 -C0000025_bit_1 -C0000025_bit0 -C0000025_bit1 -C0000025_bit2 -C0000025_bit3 -C0000025_bit4 -C0000025_bit5 -C0000025_bit6 -C0000025_bit7 -C0000025_bit8 -C0000025_bit9 -C0000025_bit10 -C0000025_bit11 -C0000025_bit12 -C0000040_bit_7 -C0000040_bit_6 -C0000040_bit_5 -C0000040_bit_4 -C0000040_bit_3 -C0000040_bit_2 -C0000040_bit_1 -C0000040_bit0 -C0000040_bit1 -C0000040_bit2 -C0000040_bit3 -C0000040_bit4 -C0000040_bit5 -C0000040_bit6 -C0000040_bit7 -C0000040_bit8 -C0000040_bit9 -C0000040_bit10 -C0000040_bit11 -C0000040_bit12 -C0000050_bit_7 -C0000050_bit_6 -C0000050_bit_5 -C0000050_bit_4 -C0000050_bit_3 -C0000050_bit_2 -C0000050_bit_1 -C0000050_bit0 -C0000050_bit1 -C0000050_bit2 -C0000050_bit3 -C0000050_bit4 -C0000050_bit5 -C0000050_bit6 -C0000050_bit7 -C0000050_bit8 -C0000050_bit9 -C0000050_bit10 -C0000050_bit11 -C0000050_bit12 -C0000055_bit_7 -C0000055_bit_6 -C0000055_bit_5 -C0000055_bit_4 -C0000055_bit_3 -C0000055_bit_2 -C0000055_bit_1 -C0000055_bit0 -C0000055_bit1 -C0000055_bit2 -C0000055_bit3 -C0000055_bit4 -C0000055_bit5 -C0000055_bit6 -C0000055_bit7 -C0000055_bit8 -C0000055_bit9 -C0000055_bit10 -C0000055_bit11 -C0000055_bit12 -C0000060_bit_7 -C0000060_bit_6 -C0000060_bit_5 -C0000060_bit_4 -C0000060_bit_3 -C0000060_bit_2 -C0000060_bit_1 -C0000060_bit0 -C0000060_bit1 -C0000060_bit2 -C0000060_bit3 -C0000060_bit4 -C0000060_bit5 -C0000060_bit6 -C0000060_bit7 -C0000060_bit8 -C0000060_bit9 -C0000060_bit10 -C0000060_bit11 -C0000060_bit12 -C0000070_bit_7 -C0000070_bit_6 -C0000070_bit_5 -C0000070_bit_4 -C0000070_bit_3 -C0000070_bit_2 -C0000070_bit_1 -C0000070_bit0 -C0000070_bit1 -C0000070_bit2 -C0000070_bit3 -C0000070_bit4 -C0000070_bit5 -C0000070_bit6 -C0000070_bit7 -C0000070_bit8 -C0000070_bit9 -C0000070_bit10 -C0000070_bit11 -C0000070_bit12 -C0000085_bit_7 -C0000085_bit_6 -C0000085_bit_5 -C0000085_bit_4 -C0000085_bit_3 -C0000085_bit_2 -C0000085_bit_1 -C0000085_bit0 -C0000085_bit1 -C0000085_bit2 -C0000085_bit3 -C0000085_bit4 -C0000085_bit5 -C0000085_bit6 -C0000085_bit7 -C0000085_bit8 -C0000085_bit9 -C0000085_bit10 -C0000085_bit11 -C0000085_bit12 -C0000100_bit_7 -C0000100_bit_6 -C0000100_bit_5 -C0000100_bit_4 -C0000100_bit_3 -C0000100_bit_2 -C0000100_bit_1 -C0000100_bit0 -C0000100_bit1 -C0000100_bit2 -C0000100_bit3 -C0000100_bit4 -C0000100_bit5 -C0000100_bit6 -C0000100_bit7 -C0000100_bit8 -C0000100_bit9 -C0000100_bit10 -C0000100_bit11 -C0000100_bit12 -C0000115_bit_7 -C0000115_bit_6 -C0000115_bit_5 -C0000115_bit_4 -C0000115_bit_3 -C0000115_bit_2 -C0000115_bit_1 -C0000115_bit0 -C0000115_bit1 -C0000115_bit2 -C0000115_bit3 -C0000115_bit4 -C0000115_bit5 -C0000115_bit6 -C0000115_bit7 -C0000115_bit8 -C0000115_bit9 -C0000115_bit10 -C0000115_bit11 -C0000115_bit12 -C0000130_bit_7 -C0000130_bit_6 -C0000130_bit_5 -C0000130_bit_4 -C0000130_bit_3 -C0000130_bit_2 -C0000130_bit_1 -C0000130_bit0 -C0000130_bit1 -C0000130_bit2 -C0000130_bit3 -C0000130_bit4 -C0000130_bit5 -C0000130_bit6 -C0000130_bit7 -C0000130_bit8 -C0000130_bit9 -C0000130_bit10 -C0000130_bit11 -C0000130_bit12 -C0000140_bit_7 -C0000140_bit_6 -C0000140_bit_5 -C0000140_bit_4 -C0000140_bit_3 -C0000140_bit_2 -C0000140_bit_1 -C0000140_bit0 -C0000140_bit1 -C0000140_bit2 -C0000140_bit3 -C0000140_bit4 -C0000140_bit5 -C0000140_bit6 -C0000140_bit7 -C0000140_bit8 -C0000140_bit9 -C0000140_bit10 -C0000140_bit11 -C0000140_bit12 -C0000145_bit_7 -C0000145_bit_6 -C0000145_bit_5 -C0000145_bit_4 -C0000145_bit_3 -C0000145_bit_2 -C0000145_bit_1 -C0000145_bit0 -C0000145_bit1 -C0000145_bit2 -C0000145_bit3 -C0000145_bit4 -C0000145_bit5 -C0000145_bit6 -C0000145_bit7 -C0000145_bit8 -C0000145_bit9 -C0000145_bit10 -C0000145_bit11 -C0000145_bit12 -C0000150_bit_7 -C0000150_bit_6 -C0000150_bit_5 -C0000150_bit_4 -C0000150_bit_3 -C0000150_bit_2 -C0000150_bit_1 -C0000150_bit0 -C0000150_bit1 -C0000150_bit2 -C0000150_bit3 -C0000150_bit4 -C0000150_bit5 -C0000150_bit6 -C0000150_bit7 -C0000150_bit8 -C0000150_bit9 -C0000150_bit10 -C0000150_bit11 -C0000150_bit12 -C0000155_bit_7 -C0000155_bit_6 -C0000155_bit_5 -C0000155_bit_4 -C0000155_bit_3 -C0000155_bit_2 -C0000155_bit_1 -C0000155_bit0 -C0000155_bit1 -C0000155_bit2 -C0000155_bit3 -C0000155_bit4 -C0000155_bit5 -C0000155_bit6 -C0000155_bit7 -C0000155_bit8 -C0000155_bit9 -C0000155_bit10 -C0000155_bit11 -C0000155_bit12 -C0000160_bit_7 -C0000160_bit_6 -C0000160_bit_5 -C0000160_bit_4 -C0000160_bit_3 -C0000160_bit_2 -C0000160_bit_1 -C0000160_bit0 -C0000160_bit1 -C0000160_bit2 -C0000160_bit3 -C0000160_bit4 -C0000160_bit5 -C0000160_bit6 -C0000160_bit7 -C0000160_bit8 -C0000160_bit9 -C0000160_bit10 -C0000160_bit11 -C0000160_bit12 -C0000165_bit_7 -C0000165_bit_6 -C0000165_bit_5 -C0000165_bit_4 -C0000165_bit_3 -C0000165_bit_2 -C0000165_bit_1 -C0000165_bit0 -C0000165_bit1 -C0000165_bit2 -C0000165_bit3 -C0000165_bit4 -C0000165_bit5 -C0000165_bit6 -C0000165_bit7 -C0000165_bit8 -C0000165_bit9 -C0000165_bit10 -C0000165_bit11 -C0000165_bit12 -C0000170_bit_7 -C0000170_bit_6 -C0000170_bit_5 -C0000170_bit_4 -C0000170_bit_3 -C0000170_bit_2 -C0000170_bit_1 -C0000170_bit0 -C0000170_bit1 -C0000170_bit2 -C0000170_bit3 -C0000170_bit4 -C0000170_bit5 -C0000170_bit6 -C0000170_bit7 -C0000170_bit8 -C0000170_bit9 -C0000170_bit10 -C0000170_bit11 -C0000170_bit12 -C0000175_bit_7 -C0000175_bit_6 -C0000175_bit_5 -C0000175_bit_4 -C0000175_bit_3 -C0000175_bit_2 -C0000175_bit_1 -C0000175_bit0 -C0000175_bit1 -C0000175_bit2 -C0000175_bit3 -C0000175_bit4 -C0000175_bit5 -C0000175_bit6 -C0000175_bit7 -C0000175_bit8 -C0000175_bit9 -C0000175_bit10 -C0000175_bit11 -C0000175_bit12 -C0000180_bit_7 -C0000180_bit_6 -C0000180_bit_5 -C0000180_bit_4 -C0000180_bit_3 -C0000180_bit_2 -C0000180_bit_1 -C0000180_bit0 -C0000180_bit1 -C0000180_bit2 -C0000180_bit3 -C0000180_bit4 -C0000180_bit5 -C0000180_bit6 -C0000180_bit7 -C0000180_bit8 -C0000180_bit9 -C0000180_bit10 -C0000180_bit11 -C0000180_bit12 -C0000190_bit_7 -C0000190_bit_6 -C0000190_bit_5 -C0000190_bit_4 -C0000190_bit_3 -C0000190_bit_2 -C0000190_bit_1 -C0000190_bit0 -C0000190_bit1 -C0000190_bit2 -C0000190_bit3 -C0000190_bit4 -C0000190_bit5 -C0000190_bit6 -C0000190_bit7 -C0000190_bit8 -C0000190_bit9 -C0000190_bit10 -C0000190_bit11 -C0000190_bit12 -C0000200_bit_7 -C0000200_bit_6 -C0000200_bit_5 -C0000200_bit_4 C0000200_bit_3 -C0000200_bit_2 -C0000200_bit_1 -C0000200_bit0 -C0000200_bit1 C0000200_bit2 -C0000200_bit3 -C0000200_bit4 -C0000200_bit5 -C0000200_bit6 -C0000200_bit7 -C0000200_bit8 -C0000200_bit9 -C0000200_bit10 -C0000200_bit11 -C0000200_bit12 -C0000205_bit_7 -C0000205_bit_6 -C0000205_bit_5 -C0000205_bit_4 -C0000205_bit_3 -C0000205_bit_2 -C0000205_bit_1 -C0000205_bit0 -C0000205_bit1 -C0000205_bit2 -C0000205_bit3 -C0000205_bit4 -C0000205_bit5 -C0000205_bit6 -C0000205_bit7 -C0000205_bit8 -C0000205_bit9 -C0000205_bit10 -C0000205_bit11 -C0000205_bit12 -C0000210_bit_7 -C0000210_bit_6 -C0000210_bit_5 -C0000210_bit_4 -C0000210_bit_3 -C0000210_bit_2 -C0000210_bit_1 -C0000210_bit0 -C0000210_bit1 -C0000210_bit2 -C0000210_bit3 -C0000210_bit4 -C0000210_bit5 -C0000210_bit6 -C0000210_bit7 -C0000210_bit8 -C0000210_bit9 -C0000210_bit10 -C0000210_bit11 -C0000210_bit12 -C0000220_bit_7 -C0000220_bit_6 -C0000220_bit_5 -C0000220_bit_4 -C0000220_bit_3 -C0000220_bit_2 -C0000220_bit_1 -C0000220_bit0 -C0000220_bit1 -C0000220_bit2 -C0000220_bit3 -C0000220_bit4 -C0000220_bit5 -C0000220_bit6 -C0000220_bit7 -C0000220_bit8 -C0000220_bit9 -C0000220_bit10 -C0000220_bit11 -C0000220_bit12 -C0000235_bit_7 -C0000235_bit_6 -C0000235_bit_5 -C0000235_bit_4 -C0000235_bit_3 -C0000235_bit_2 -C0000235_bit_1 -C0000235_bit0 -C0000235_bit1 -C0000235_bit2 -C0000235_bit3 -C0000235_bit4 -C0000235_bit5 -C0000235_bit6 -C0000235_bit7 -C0000235_bit8 -C0000235_bit9 -C0000235_bit10 -C0000235_bit11 -C0000235_bit12 -C0000006_bit_7 -C0000006_bit_6 -C0000006_bit_5 -C0000006_bit_4 -C0000006_bit_3 -C0000006_bit_2 -C0000006_bit_1 -C0000006_bit0 -C0000006_bit1 -C0000006_bit2 -C0000006_bit3 -C0000006_bit4 -C0000006_bit5 -C0000006_bit6 -C0000006_bit7 -C0000006_bit8 -C0000006_bit9 -C0000006_bit10 -C0000006_bit11 -C0000006_bit12 -C0000026_bit_7 -C0000026_bit_6 -C0000026_bit_5 -C0000026_bit_4 -C0000026_bit_3 -C0000026_bit_2 -C0000026_bit_1 -C0000026_bit0 -C0000026_bit1 -C0000026_bit2 -C0000026_bit3 -C0000026_bit4 -C0000026_bit5 -C0000026_bit6 -C0000026_bit7 -C0000026_bit8 -C0000026_bit9 -C0000026_bit10 -C0000026_bit11 -C0000026_bit12 -C0000031_bit_7 -C0000031_bit_6 -C0000031_bit_5 -C0000031_bit_4 -C0000031_bit_3 -C0000031_bit_2 -C0000031_bit_1 -C0000031_bit0 -C0000031_bit1 -C0000031_bit2 -C0000031_bit3 -C0000031_bit4 -C0000031_bit5 -C0000031_bit6 -C0000031_bit7 -C0000031_bit8 -C0000031_bit9 -C0000031_bit10 -C0000031_bit11 -C0000031_bit12 -C0000041_bit_7 -C0000041_bit_6 -C0000041_bit_5 -C0000041_bit_4 -C0000041_bit_3 -C0000041_bit_2 -C0000041_bit_1 -C0000041_bit0 -C0000041_bit1 -C0000041_bit2 -C0000041_bit3 -C0000041_bit4 -C0000041_bit5 -C0000041_bit6 -C0000041_bit7 -C0000041_bit8 -C0000041_bit9 -C0000041_bit10 -C0000041_bit11 -C0000041_bit12 -C0000071_bit_7 -C0000071_bit_6 -C0000071_bit_5 -C0000071_bit_4 -C0000071_bit_3 -C0000071_bit_2 -C0000071_bit_1 -C0000071_bit0 -C0000071_bit1 -C0000071_bit2 -C0000071_bit3 -C0000071_bit4 -C0000071_bit5 -C0000071_bit6 -C0000071_bit7 -C0000071_bit8 -C0000071_bit9 -C0000071_bit10 -C0000071_bit11 -C0000071_bit12 -C0000086_bit_7 -C0000086_bit_6 -C0000086_bit_5 -C0000086_bit_4 -C0000086_bit_3 -C0000086_bit_2 -C0000086_bit_1 -C0000086_bit0 -C0000086_bit1 -C0000086_bit2 -C0000086_bit3 -C0000086_bit4 -C0000086_bit5 -C0000086_bit6 -C0000086_bit7 -C0000086_bit8 -C0000086_bit9 -C0000086_bit10 -C0000086_bit11 -C0000086_bit12 -C0000101_bit_7 -C0000101_bit_6 -C0000101_bit_5 -C0000101_bit_4 -C0000101_bit_3 -C0000101_bit_2 -C0000101_bit_1 -C0000101_bit0 -C0000101_bit1 -C0000101_bit2 -C0000101_bit3 -C0000101_bit4 -C0000101_bit5 -C0000101_bit6 -C0000101_bit7 -C0000101_bit8 -C0000101_bit9 -C0000101_bit10 -C0000101_bit11 -C0000101_bit12 -C0000106_bit_7 -C0000106_bit_6 -C0000106_bit_5 -C0000106_bit_4 -C0000106_bit_3 -C0000106_bit_2 -C0000106_bit_1 -C0000106_bit0 -C0000106_bit1 -C0000106_bit2 -C0000106_bit3 -C0000106_bit4 -C0000106_bit5 -C0000106_bit6 -C0000106_bit7 -C0000106_bit8 -C0000106_bit9 -C0000106_bit10 -C0000106_bit11 -C0000106_bit12 -C0000116_bit_7 -C0000116_bit_6 -C0000116_bit_5 -C0000116_bit_4 -C0000116_bit_3 -C0000116_bit_2 -C0000116_bit_1 -C0000116_bit0 -C0000116_bit1 -C0000116_bit2 -C0000116_bit3 -C0000116_bit4 -C0000116_bit5 -C0000116_bit6 -C0000116_bit7 -C0000116_bit8 -C0000116_bit9 -C0000116_bit10 -C0000116_bit11 -C0000116_bit12 -C0000121_bit_7 -C0000121_bit_6 -C0000121_bit_5 -C0000121_bit_4 -C0000121_bit_3 -C0000121_bit_2 -C0000121_bit_1 -C0000121_bit0 -C0000121_bit1 -C0000121_bit2 -C0000121_bit3 -C0000121_bit4 -C0000121_bit5 -C0000121_bit6 -C0000121_bit7 -C0000121_bit8 -C0000121_bit9 -C0000121_bit10 -C0000121_bit11 -C0000121_bit12 -C0000131_bit_7 -C0000131_bit_6 -C0000131_bit_5 -C0000131_bit_4 -C0000131_bit_3 -C0000131_bit_2 -C0000131_bit_1 -C0000131_bit0 -C0000131_bit1 -C0000131_bit2 -C0000131_bit3 -C0000131_bit4 -C0000131_bit5 -C0000131_bit6 -C0000131_bit7 -C0000131_bit8 -C0000131_bit9 -C0000131_bit10 -C0000131_bit11 -C0000131_bit12 -C0000191_bit_7 -C0000191_bit_6 -C0000191_bit_5 -C0000191_bit_4 -C0000191_bit_3 -C0000191_bit_2 -C0000191_bit_1 -C0000191_bit0 -C0000191_bit1 -C0000191_bit2 -C0000191_bit3 -C0000191_bit4 -C0000191_bit5 -C0000191_bit6 -C0000191_bit7 -C0000191_bit8 -C0000191_bit9 -C0000191_bit10 -C0000191_bit11 -C0000191_bit12 -C0000221_bit_7 -C0000221_bit_6 -C0000221_bit_5 -C0000221_bit_4 -C0000221_bit_3 -C0000221_bit_2 -C0000221_bit_1 -C0000221_bit0 -C0000221_bit1 -C0000221_bit2 -C0000221_bit3 -C0000221_bit4 -C0000221_bit5 -C0000221_bit6 -C0000221_bit7 -C0000221_bit8 -C0000221_bit9 -C0000221_bit10 -C0000221_bit11 -C0000221_bit12 -C0000236_bit_7 -C0000236_bit_6 -C0000236_bit_5 -C0000236_bit_4 -C0000236_bit_3 -C0000236_bit_2 -C0000236_bit_1 -C0000236_bit0 -C0000236_bit1 -C0000236_bit2 -C0000236_bit3 -C0000236_bit4 -C0000236_bit5 -C0000236_bit6 -C0000236_bit7 -C0000236_bit8 -C0000236_bit9 -C0000236_bit10 -C0000236_bit11 -C0000236_bit12 -C0000007_bit_7 C0000007_bit_6 -C0000007_bit_5 -C0000007_bit_4 -C0000007_bit_3 C0000007_bit_2 -C0000007_bit_1 -C0000007_bit0 -C0000007_bit1 -C0000007_bit2 -C0000007_bit3 -C0000007_bit4 -C0000007_bit5 -C0000007_bit6 -C0000007_bit7 -C0000007_bit8 -C0000007_bit9 -C0000007_bit10 -C0000007_bit11 -C0000007_bit12 -C0000027_bit_7 -C0000027_bit_6 -C0000027_bit_5 -C0000027_bit_4 -C0000027_bit_3 -C0000027_bit_2 -C0000027_bit_1 -C0000027_bit0 -C0000027_bit1 -C0000027_bit2 -C0000027_bit3 -C0000027_bit4 -C0000027_bit5 -C0000027_bit6 -C0000027_bit7 -C0000027_bit8 -C0000027_bit9 -C0000027_bit10 -C0000027_bit11 -C0000027_bit12 -C0000032_bit_7 C0000032_bit_6 -C0000032_bit_5 -C0000032_bit_4 -C0000032_bit_3 C0000032_bit_2 -C0000032_bit_1 C0000032_bit0 -C0000032_bit1 -C0000032_bit2 -C0000032_bit3 -C0000032_bit4 -C0000032_bit5 -C0000032_bit6 -C0000032_bit7 -C0000032_bit8 -C0000032_bit9 -C0000032_bit10 -C0000032_bit11 -C0000032_bit12 -C0000042_bit_7 -C0000042_bit_6 -C0000042_bit_5 -C0000042_bit_4 -C0000042_bit_3 -C0000042_bit_2 -C0000042_bit_1 -C0000042_bit0 -C0000042_bit1 -C0000042_bit2 -C0000042_bit3 -C0000042_bit4 -C0000042_bit5 -C0000042_bit6 -C0000042_bit7 -C0000042_bit8 -C0000042_bit9 -C0000042_bit10 -C0000042_bit11 -C0000042_bit12 -C0000072_bit_7 -C0000072_bit_6 -C0000072_bit_5 -C0000072_bit_4 -C0000072_bit_3 -C0000072_bit_2 -C0000072_bit_1 -C0000072_bit0 -C0000072_bit1 -C0000072_bit2 -C0000072_bit3 -C0000072_bit4 -C0000072_bit5 -C0000072_bit6 -C0000072_bit7 -C0000072_bit8 -C0000072_bit9 -C0000072_bit10 -C0000072_bit11 -C0000072_bit12 -C0000087_bit_7 -C0000087_bit_6 -C0000087_bit_5 -C0000087_bit_4 -C0000087_bit_3 -C0000087_bit_2 -C0000087_bit_1 -C0000087_bit0 -C0000087_bit1 -C0000087_bit2 -C0000087_bit3 -C0000087_bit4 -C0000087_bit5 -C0000087_bit6 -C0000087_bit7 -C0000087_bit8 -C0000087_bit9 -C0000087_bit10 -C0000087_bit11 -C0000087_bit12 -C0000102_bit_7 -C0000102_bit_6 -C0000102_bit_5 -C0000102_bit_4 -C0000102_bit_3 -C0000102_bit_2 -C0000102_bit_1 -C0000102_bit0 -C0000102_bit1 -C0000102_bit2 -C0000102_bit3 -C0000102_bit4 -C0000102_bit5 -C0000102_bit6 -C0000102_bit7 -C0000102_bit8 -C0000102_bit9 -C0000102_bit10 -C0000102_bit11 -C0000102_bit12 -C0000107_bit_7 -C0000107_bit_6 -C0000107_bit_5 -C0000107_bit_4 -C0000107_bit_3 -C0000107_bit_2 -C0000107_bit_1 -C0000107_bit0 -C0000107_bit1 -C0000107_bit2 -C0000107_bit3 -C0000107_bit4 -C0000107_bit5 -C0000107_bit6 -C0000107_bit7 -C0000107_bit8 -C0000107_bit9 -C0000107_bit10 -C0000107_bit11 -C0000107_bit12 -C0000117_bit_7 -C0000117_bit_6 -C0000117_bit_5 -C0000117_bit_4 -C0000117_bit_3 -C0000117_bit_2 -C0000117_bit_1 -C0000117_bit0 -C0000117_bit1 -C0000117_bit2 -C0000117_bit3 -C0000117_bit4 -C0000117_bit5 -C0000117_bit6 -C0000117_bit7 -C0000117_bit8 -C0000117_bit9 -C0000117_bit10 -C0000117_bit11 -C0000117_bit12 -C0000122_bit_7 -C0000122_bit_6 -C0000122_bit_5 -C0000122_bit_4 -C0000122_bit_3 -C0000122_bit_2 -C0000122_bit_1 -C0000122_bit0 -C0000122_bit1 -C0000122_bit2 -C0000122_bit3 -C0000122_bit4 -C0000122_bit5 -C0000122_bit6 -C0000122_bit7 -C0000122_bit8 -C0000122_bit9 -C0000122_bit10 -C0000122_bit11 -C0000122_bit12 -C0000132_bit_7 -C0000132_bit_6 -C0000132_bit_5 -C0000132_bit_4 -C0000132_bit_3 -C0000132_bit_2 -C0000132_bit_1 -C0000132_bit0 -C0000132_bit1 -C0000132_bit2 -C0000132_bit3 -C0000132_bit4 -C0000132_bit5 -C0000132_bit6 -C0000132_bit7 -C0000132_bit8 -C0000132_bit9 -C0000132_bit10 -C0000132_bit11 -C0000132_bit12 -C0000192_bit_7 -C0000192_bit_6 -C0000192_bit_5 -C0000192_bit_4 -C0000192_bit_3 -C0000192_bit_2 -C0000192_bit_1 -C0000192_bit0 -C0000192_bit1 -C0000192_bit2 -C0000192_bit3 -C0000192_bit4 -C0000192_bit5 -C0000192_bit6 -C0000192_bit7 -C0000192_bit8 -C0000192_bit9 -C0000192_bit10 -C0000192_bit11 -C0000192_bit12 -C0000222_bit_7 -C0000222_bit_6 -C0000222_bit_5 -C0000222_bit_4 -C0000222_bit_3 -C0000222_bit_2 -C0000222_bit_1 -C0000222_bit0 -C0000222_bit1 -C0000222_bit2 -C0000222_bit3 -C0000222_bit4 -C0000222_bit5 -C0000222_bit6 -C0000222_bit7 -C0000222_bit8 -C0000222_bit9 -C0000222_bit10 -C0000222_bit11 -C0000222_bit12 -C0000237_bit_7 -C0000237_bit_6 -C0000237_bit_5 -C0000237_bit_4 -C0000237_bit_3 -C0000237_bit_2 -C0000237_bit_1 -C0000237_bit0 -C0000237_bit1 -C0000237_bit2 -C0000237_bit3 -C0000237_bit4 -C0000237_bit5 -C0000237_bit6 -C0000237_bit7 -C0000237_bit8 -C0000237_bit9 -C0000237_bit10 -C0000237_bit11 -C0000237_bit12 -C0000008_bit_7 -C0000008_bit_6 -C0000008_bit_5 -C0000008_bit_4 -C0000008_bit_3 -C0000008_bit_2 -C0000008_bit_1 -C0000008_bit0 -C0000008_bit1 -C0000008_bit2 -C0000008_bit3 -C0000008_bit4 -C0000008_bit5 -C0000008_bit6 -C0000008_bit7 -C0000008_bit8 -C0000008_bit9 -C0000008_bit10 -C0000008_bit11 -C0000008_bit12 -C0000028_bit_7 -C0000028_bit_6 -C0000028_bit_5 -C0000028_bit_4 -C0000028_bit_3 -C0000028_bit_2 -C0000028_bit_1 -C0000028_bit0 C0000028_bit1 -C0000028_bit2 -C0000028_bit3 -C0000028_bit4 -C0000028_bit5 -C0000028_bit6 -C0000028_bit7 -C0000028_bit8 -C0000028_bit9 -C0000028_bit10 -C0000028_bit11 -C0000028_bit12 -C0000033_bit_7 -C0000033_bit_6 -C0000033_bit_5 -C0000033_bit_4 -C0000033_bit_3 -C0000033_bit_2 -C0000033_bit_1 -C0000033_bit0 -C0000033_bit1 -C0000033_bit2 -C0000033_bit3 -C0000033_bit4 -C0000033_bit5 -C0000033_bit6 -C0000033_bit7 -C0000033_bit8 -C0000033_bit9 -C0000033_bit10 -C0000033_bit11 -C0000033_bit12 -C0000043_bit_7 -C0000043_bit_6 -C0000043_bit_5 -C0000043_bit_4 -C0000043_bit_3 -C0000043_bit_2 -C0000043_bit_1 -C0000043_bit0 -C0000043_bit1 -C0000043_bit2 -C0000043_bit3 -C0000043_bit4 -C0000043_bit5 -C0000043_bit6 -C0000043_bit7 -C0000043_bit8 -C0000043_bit9 -C0000043_bit10 -C0000043_bit11 -C0000043_bit12 -C0000073_bit_7 -C0000073_bit_6 -C0000073_bit_5 -C0000073_bit_4 -C0000073_bit_3 -C0000073_bit_2 -C0000073_bit_1 -C0000073_bit0 -C0000073_bit1 -C0000073_bit2 -C0000073_bit3 -C0000073_bit4 -C0000073_bit5 -C0000073_bit6 -C0000073_bit7 -C0000073_bit8 -C0000073_bit9 -C0000073_bit10 -C0000073_bit11 -C0000073_bit12 -C0000088_bit_7 -C0000088_bit_6 -C0000088_bit_5 -C0000088_bit_4 -C0000088_bit_3 -C0000088_bit_2 -C0000088_bit_1 -C0000088_bit0 -C0000088_bit1 -C0000088_bit2 -C0000088_bit3 -C0000088_bit4 -C0000088_bit5 -C0000088_bit6 -C0000088_bit7 -C0000088_bit8 -C0000088_bit9 -C0000088_bit10 -C0000088_bit11 -C0000088_bit12 -C0000103_bit_7 -C0000103_bit_6 -C0000103_bit_5 -C0000103_bit_4 -C0000103_bit_3 -C0000103_bit_2 -C0000103_bit_1 -C0000103_bit0 -C0000103_bit1 -C0000103_bit2 -C0000103_bit3 -C0000103_bit4 -C0000103_bit5 -C0000103_bit6 -C0000103_bit7 -C0000103_bit8 -C0000103_bit9 -C0000103_bit10 -C0000103_bit11 -C0000103_bit12 -C0000108_bit_7 -C0000108_bit_6 -C0000108_bit_5 -C0000108_bit_4 -C0000108_bit_3 -C0000108_bit_2 -C0000108_bit_1 -C0000108_bit0 -C0000108_bit1 -C0000108_bit2 -C0000108_bit3 -C0000108_bit4 -C0000108_bit5 -C0000108_bit6 -C0000108_bit7 -C0000108_bit8 -C0000108_bit9 -C0000108_bit10 -C0000108_bit11 -C0000108_bit12 -C0000118_bit_7 -C0000118_bit_6 -C0000118_bit_5 -C0000118_bit_4 -C0000118_bit_3 -C0000118_bit_2 -C0000118_bit_1 -C0000118_bit0 -C0000118_bit1 -C0000118_bit2 -C0000118_bit3 -C0000118_bit4 -C0000118_bit5 -C0000118_bit6 -C0000118_bit7 -C0000118_bit8 -C0000118_bit9 -C0000118_bit10 -C0000118_bit11 -C0000118_bit12 -C0000123_bit_7 -C0000123_bit_6 -C0000123_bit_5 -C0000123_bit_4 -C0000123_bit_3 -C0000123_bit_2 -C0000123_bit_1 C0000123_bit0 C0000123_bit1 -C0000123_bit2 -C0000123_bit3 -C0000123_bit4 -C0000123_bit5 -C0000123_bit6 -C0000123_bit7 -C0000123_bit8 -C0000123_bit9 -C0000123_bit10 -C0000123_bit11 -C0000123_bit12 -C0000133_bit_7 -C0000133_bit_6 -C0000133_bit_5 -C0000133_bit_4 -C0000133_bit_3 -C0000133_bit_2 -C0000133_bit_1 -C0000133_bit0 -C0000133_bit1 -C0000133_bit2 -C0000133_bit3 -C0000133_bit4 -C0000133_bit5 -C0000133_bit6 -C0000133_bit7 -C0000133_bit8 -C0000133_bit9 -C0000133_bit10 -C0000133_bit11 -C0000133_bit12 -C0000193_bit_7 -C0000193_bit_6 -C0000193_bit_5 -C0000193_bit_4 -C0000193_bit_3 -C0000193_bit_2 -C0000193_bit_1 -C0000193_bit0 -C0000193_bit1 -C0000193_bit2 -C0000193_bit3 -C0000193_bit4 -C0000193_bit5 -C0000193_bit6 -C0000193_bit7 -C0000193_bit8 -C0000193_bit9 -C0000193_bit10 -C0000193_bit11 -C0000193_bit12 -C0000223_bit_7 -C0000223_bit_6 -C0000223_bit_5 -C0000223_bit_4 -C0000223_bit_3 -C0000223_bit_2 -C0000223_bit_1 -C0000223_bit0 -C0000223_bit1 -C0000223_bit2 -C0000223_bit3 -C0000223_bit4 -C0000223_bit5 -C0000223_bit6 -C0000223_bit7 -C0000223_bit8 -C0000223_bit9 -C0000223_bit10 -C0000223_bit11 -C0000223_bit12 -C0000238_bit_7 -C0000238_bit_6 -C0000238_bit_5 -C0000238_bit_4 -C0000238_bit_3 -C0000238_bit_2 -C0000238_bit_1 -C0000238_bit0 -C0000238_bit1 -C0000238_bit2 -C0000238_bit3 -C0000238_bit4 -C0000238_bit5 -C0000238_bit6 -C0000238_bit7 -C0000238_bit8 -C0000238_bit9 -C0000238_bit10 -C0000238_bit11 -C0000238_bit12 -C0000009_bit_7 -C0000009_bit_6 -C0000009_bit_5 -C0000009_bit_4 -C0000009_bit_3 -C0000009_bit_2 -C0000009_bit_1 -C0000009_bit0 -C0000009_bit1 -C0000009_bit2 -C0000009_bit3 -C0000009_bit4 -C0000009_bit5 -C0000009_bit6 -C0000009_bit7 -C0000009_bit8 -C0000009_bit9 -C0000009_bit10 -C0000009_bit11 -C0000009_bit12 -C0000029_bit_7 -C0000029_bit_6 -C0000029_bit_5 -C0000029_bit_4 -C0000029_bit_3 -C0000029_bit_2 -C0000029_bit_1 -C0000029_bit0 -C0000029_bit1 -C0000029_bit2 -C0000029_bit3 -C0000029_bit4 -C0000029_bit5 -C0000029_bit6 -C0000029_bit7 -C0000029_bit8 -C0000029_bit9 -C0000029_bit10 -C0000029_bit11 -C0000029_bit12 -C0000034_bit_7 -C0000034_bit_6 -C0000034_bit_5 -C0000034_bit_4 -C0000034_bit_3 -C0000034_bit_2 -C0000034_bit_1 -C0000034_bit0 -C0000034_bit1 -C0000034_bit2 -C0000034_bit3 -C0000034_bit4 -C0000034_bit5 -C0000034_bit6 -C0000034_bit7 -C0000034_bit8 -C0000034_bit9 -C0000034_bit10 -C0000034_bit11 -C0000034_bit12 -C0000044_bit_7 -C0000044_bit_6 -C0000044_bit_5 -C0000044_bit_4 -C0000044_bit_3 -C0000044_bit_2 -C0000044_bit_1 -C0000044_bit0 -C0000044_bit1 -C0000044_bit2 -C0000044_bit3 -C0000044_bit4 -C0000044_bit5 -C0000044_bit6 -C0000044_bit7 -C0000044_bit8 -C0000044_bit9 -C0000044_bit10 -C0000044_bit11 -C0000044_bit12 -C0000074_bit_7 -C0000074_bit_6 -C0000074_bit_5 -C0000074_bit_4 -C0000074_bit_3 -C0000074_bit_2 -C0000074_bit_1 -C0000074_bit0 -C0000074_bit1 -C0000074_bit2 -C0000074_bit3 -C0000074_bit4 -C0000074_bit5 -C0000074_bit6 -C0000074_bit7 -C0000074_bit8 -C0000074_bit9 -C0000074_bit10 -C0000074_bit11 -C0000074_bit12 -C0000089_bit_7 -C0000089_bit_6 -C0000089_bit_5 -C0000089_bit_4 -C0000089_bit_3 -C0000089_bit_2 -C0000089_bit_1 -C0000089_bit0 -C0000089_bit1 -C0000089_bit2 -C0000089_bit3 -C0000089_bit4 -C0000089_bit5 -C0000089_bit6 -C0000089_bit7 -C0000089_bit8 -C0000089_bit9 -C0000089_bit10 -C0000089_bit11 -C0000089_bit12 -C0000104_bit_7 -C0000104_bit_6 -C0000104_bit_5 -C0000104_bit_4 -C0000104_bit_3 -C0000104_bit_2 -C0000104_bit_1 -C0000104_bit0 -C0000104_bit1 -C0000104_bit2 -C0000104_bit3 -C0000104_bit4 -C0000104_bit5 -C0000104_bit6 -C0000104_bit7 -C0000104_bit8 -C0000104_bit9 -C0000104_bit10 -C0000104_bit11 -C0000104_bit12 -C0000109_bit_7 -C0000109_bit_6 -C0000109_bit_5 -C0000109_bit_4 -C0000109_bit_3 -C0000109_bit_2 -C0000109_bit_1 -C0000109_bit0 -C0000109_bit1 -C0000109_bit2 -C0000109_bit3 -C0000109_bit4 -C0000109_bit5 -C0000109_bit6 -C0000109_bit7 -C0000109_bit8 -C0000109_bit9 -C0000109_bit10 -C0000109_bit11 -C0000109_bit12 -C0000119_bit_7 -C0000119_bit_6 -C0000119_bit_5 -C0000119_bit_4 -C0000119_bit_3 -C0000119_bit_2 -C0000119_bit_1 -C0000119_bit0 -C0000119_bit1 -C0000119_bit2 -C0000119_bit3 -C0000119_bit4 -C0000119_bit5 -C0000119_bit6 -C0000119_bit7 -C0000119_bit8 -C0000119_bit9 -C0000119_bit10 -C0000119_bit11 -C0000119_bit12 -C0000124_bit_7 -C0000124_bit_6 -C0000124_bit_5 -C0000124_bit_4 -C0000124_bit_3 -C0000124_bit_2 -C0000124_bit_1 -C0000124_bit0 -C0000124_bit1 -C0000124_bit2 -C0000124_bit3 -C0000124_bit4 -C0000124_bit5 -C0000124_bit6 -C0000124_bit7 -C0000124_bit8 -C0000124_bit9 -C0000124_bit10 -C0000124_bit11 -C0000124_bit12 -C0000134_bit_7 -C0000134_bit_6 -C0000134_bit_5 -C0000134_bit_4 -C0000134_bit_3 -C0000134_bit_2 -C0000134_bit_1 -C0000134_bit0 -C0000134_bit1 -C0000134_bit2 -C0000134_bit3 -C0000134_bit4 -C0000134_bit5 -C0000134_bit6 -C0000134_bit7 -C0000134_bit8 -C0000134_bit9 -C0000134_bit10 -C0000134_bit11 -C0000134_bit12 -C0000194_bit_7 -C0000194_bit_6 -C0000194_bit_5 -C0000194_bit_4 -C0000194_bit_3 -C0000194_bit_2 -C0000194_bit_1 -C0000194_bit0 -C0000194_bit1 -C0000194_bit2 -C0000194_bit3 -C0000194_bit4 -C0000194_bit5 -C0000194_bit6 -C0000194_bit7 -C0000194_bit8 -C0000194_bit9 -C0000194_bit10 -C0000194_bit11 -C0000194_bit12 -C0000224_bit_7 -C0000224_bit_6 -C0000224_bit_5 -C0000224_bit_4 -C0000224_bit_3 -C0000224_bit_2 -C0000224_bit_1 -C0000224_bit0 -C0000224_bit1 -C0000224_bit2 -C0000224_bit3 -C0000224_bit4 -C0000224_bit5 -C0000224_bit6 -C0000224_bit7 -C0000224_bit8 -C0000224_bit9 -C0000224_bit10 -C0000224_bit11 -C0000224_bit12 -C0000239_bit_7 -C0000239_bit_6 -C0000239_bit_5 -C0000239_bit_4 -C0000239_bit_3 -C0000239_bit_2 -C0000239_bit_1 -C0000239_bit0 -C0000239_bit1 -C0000239_bit2 -C0000239_bit3 -C0000239_bit4 -C0000239_bit5 -C0000239_bit6 -C0000239_bit7 -C0000239_bit8 -C0000239_bit9 -C0000239_bit10 -C0000239_bit11 -C0000239_bit12 -C0000010_bit_7 -C0000010_bit_6 -C0000010_bit_5 -C0000010_bit_4 -C0000010_bit_3 -C0000010_bit_2 -C0000010_bit_1 -C0000010_bit0 -C0000010_bit1 -C0000010_bit2 -C0000010_bit3 -C0000010_bit4 -C0000010_bit5 -C0000010_bit6 -C0000010_bit7 -C0000010_bit8 -C0000010_bit9 -C0000010_bit10 -C0000010_bit11 -C0000010_bit12 -C0000030_bit_7 -C0000030_bit_6 -C0000030_bit_5 -C0000030_bit_4 -C0000030_bit_3 -C0000030_bit_2 -C0000030_bit_1 -C0000030_bit0 -C0000030_bit1 -C0000030_bit2 -C0000030_bit3 -C0000030_bit4 -C0000030_bit5 -C0000030_bit6 -C0000030_bit7 -C0000030_bit8 -C0000030_bit9 -C0000030_bit10 -C0000030_bit11 -C0000030_bit12 -C0000035_bit_7 -C0000035_bit_6 -C0000035_bit_5 -C0000035_bit_4 -C0000035_bit_3 -C0000035_bit_2 -C0000035_bit_1 -C0000035_bit0 -C0000035_bit1 -C0000035_bit2 -C0000035_bit3 -C0000035_bit4 -C0000035_bit5 -C0000035_bit6 -C0000035_bit7 -C0000035_bit8 -C0000035_bit9 -C0000035_bit10 -C0000035_bit11 -C0000035_bit12 -C0000045_bit_7 -C0000045_bit_6 -C0000045_bit_5 -C0000045_bit_4 -C0000045_bit_3 -C0000045_bit_2 -C0000045_bit_1 -C0000045_bit0 -C0000045_bit1 -C0000045_bit2 -C0000045_bit3 -C0000045_bit4 -C0000045_bit5 -C0000045_bit6 -C0000045_bit7 -C0000045_bit8 -C0000045_bit9 -C0000045_bit10 -C0000045_bit11 -C0000045_bit12 -C0000075_bit_7 -C0000075_bit_6 -C0000075_bit_5 -C0000075_bit_4 -C0000075_bit_3 -C0000075_bit_2 -C0000075_bit_1 -C0000075_bit0 -C0000075_bit1 -C0000075_bit2 -C0000075_bit3 -C0000075_bit4 -C0000075_bit5 -C0000075_bit6 -C0000075_bit7 -C0000075_bit8 -C0000075_bit9 -C0000075_bit10 -C0000075_bit11 -C0000075_bit12 -C0000090_bit_7 -C0000090_bit_6 -C0000090_bit_5 -C0000090_bit_4 -C0000090_bit_3 -C0000090_bit_2 -C0000090_bit_1 -C0000090_bit0 -C0000090_bit1 -C0000090_bit2 -C0000090_bit3 -C0000090_bit4 -C0000090_bit5 -C0000090_bit6 -C0000090_bit7 -C0000090_bit8 -C0000090_bit9 -C0000090_bit10 -C0000090_bit11 -C0000090_bit12 -C0000105_bit_7 -C0000105_bit_6 -C0000105_bit_5 -C0000105_bit_4 -C0000105_bit_3 -C0000105_bit_2 -C0000105_bit_1 -C0000105_bit0 -C0000105_bit1 -C0000105_bit2 -C0000105_bit3 -C0000105_bit4 -C0000105_bit5 -C0000105_bit6 -C0000105_bit7 -C0000105_bit8 -C0000105_bit9 -C0000105_bit10 -C0000105_bit11 -C0000105_bit12 -C0000110_bit_7 -C0000110_bit_6 -C0000110_bit_5 -C0000110_bit_4 -C0000110_bit_3 -C0000110_bit_2 -C0000110_bit_1 -C0000110_bit0 -C0000110_bit1 -C0000110_bit2 -C0000110_bit3 -C0000110_bit4 -C0000110_bit5 -C0000110_bit6 -C0000110_bit7 -C0000110_bit8 -C0000110_bit9 -C0000110_bit10 -C0000110_bit11 -C0000110_bit12 -C0000120_bit_7 -C0000120_bit_6 -C0000120_bit_5 -C0000120_bit_4 -C0000120_bit_3 -C0000120_bit_2 -C0000120_bit_1 -C0000120_bit0 -C0000120_bit1 -C0000120_bit2 -C0000120_bit3 -C0000120_bit4 -C0000120_bit5 -C0000120_bit6 -C0000120_bit7 -C0000120_bit8 -C0000120_bit9 -C0000120_bit10 -C0000120_bit11 -C0000120_bit12 -C0000125_bit_7 -C0000125_bit_6 -C0000125_bit_5 -C0000125_bit_4 -C0000125_bit_3 -C0000125_bit_2 -C0000125_bit_1 -C0000125_bit0 -C0000125_bit1 -C0000125_bit2 -C0000125_bit3 -C0000125_bit4 -C0000125_bit5 -C0000125_bit6 -C0000125_bit7 -C0000125_bit8 -C0000125_bit9 -C0000125_bit10 -C0000125_bit11 -C0000125_bit12 -C0000135_bit_7 -C0000135_bit_6 -C0000135_bit_5 -C0000135_bit_4 -C0000135_bit_3 -C0000135_bit_2 -C0000135_bit_1 -C0000135_bit0 -C0000135_bit1 -C0000135_bit2 -C0000135_bit3 -C0000135_bit4 -C0000135_bit5 -C0000135_bit6 -C0000135_bit7 -C0000135_bit8 -C0000135_bit9 -C0000135_bit10 -C0000135_bit11 -C0000135_bit12 -C0000195_bit_7 -C0000195_bit_6 -C0000195_bit_5 -C0000195_bit_4 -C0000195_bit_3 -C0000195_bit_2 -C0000195_bit_1 -C0000195_bit0 -C0000195_bit1 -C0000195_bit2 -C0000195_bit3 -C0000195_bit4 -C0000195_bit5 -C0000195_bit6 -C0000195_bit7 -C0000195_bit8 -C0000195_bit9 -C0000195_bit10 -C0000195_bit11 -C0000195_bit12 -C0000225_bit_7 -C0000225_bit_6 -C0000225_bit_5 -C0000225_bit_4 -C0000225_bit_3 -C0000225_bit_2 -C0000225_bit_1 -C0000225_bit0 -C0000225_bit1 -C0000225_bit2 -C0000225_bit3 -C0000225_bit4 -C0000225_bit5 -C0000225_bit6 -C0000225_bit7 -C0000225_bit8 -C0000225_bit9 -C0000225_bit10 -C0000225_bit11 -C0000225_bit12 -C0000240_bit_7 -C0000240_bit_6 -C0000240_bit_5 -C0000240_bit_4 -C0000240_bit_3 -C0000240_bit_2 -C0000240_bit_1 -C0000240_bit0 -C0000240_bit1 -C0000240_bit2 -C0000240_bit3 -C0000240_bit4 -C0000240_bit5 -C0000240_bit6 -C0000240_bit7 -C0000240_bit8 -C0000240_bit9 -C0000240_bit10 -C0000240_bit11 -C0000240_bit12 -C0000011_bit_7 -C0000011_bit_6 -C0000011_bit_5 -C0000011_bit_4 -C0000011_bit_3 -C0000011_bit_2 -C0000011_bit_1 -C0000011_bit0 -C0000011_bit1 -C0000011_bit2 -C0000011_bit3 -C0000011_bit4 -C0000011_bit5 -C0000011_bit6 -C0000011_bit7 -C0000011_bit8 -C0000011_bit9 -C0000011_bit10 -C0000011_bit11 -C0000011_bit12 -C0000016_bit_7 -C0000016_bit_6 -C0000016_bit_5 -C0000016_bit_4 -C0000016_bit_3 -C0000016_bit_2 -C0000016_bit_1 -C0000016_bit0 -C0000016_bit1 -C0000016_bit2 -C0000016_bit3 -C0000016_bit4 -C0000016_bit5 -C0000016_bit6 -C0000016_bit7 -C0000016_bit8 -C0000016_bit9 -C0000016_bit10 -C0000016_bit11 -C0000016_bit12 -C0000061_bit_7 -C0000061_bit_6 -C0000061_bit_5 -C0000061_bit_4 -C0000061_bit_3 -C0000061_bit_2 -C0000061_bit_1 -C0000061_bit0 -C0000061_bit1 -C0000061_bit2 -C0000061_bit3 -C0000061_bit4 -C0000061_bit5 -C0000061_bit6 -C0000061_bit7 -C0000061_bit8 -C0000061_bit9 -C0000061_bit10 -C0000061_bit11 -C0000061_bit12 -C0000076_bit_7 -C0000076_bit_6 -C0000076_bit_5 -C0000076_bit_4 -C0000076_bit_3 -C0000076_bit_2 -C0000076_bit_1 C0000076_bit0 -C0000076_bit1 C0000076_bit2 -C0000076_bit3 -C0000076_bit4 -C0000076_bit5 -C0000076_bit6 -C0000076_bit7 -C0000076_bit8 -C0000076_bit9 -C0000076_bit10 -C0000076_bit11 -C0000076_bit12 -C0000091_bit_7 -C0000091_bit_6 -C0000091_bit_5 -C0000091_bit_4 -C0000091_bit_3 -C0000091_bit_2 -C0000091_bit_1 -C0000091_bit0 -C0000091_bit1 -C0000091_bit2 -C0000091_bit3 -C0000091_bit4 -C0000091_bit5 -C0000091_bit6 -C0000091_bit7 -C0000091_bit8 -C0000091_bit9 -C0000091_bit10 -C0000091_bit11 -C0000091_bit12 -C0000181_bit_7 -C0000181_bit_6 -C0000181_bit_5 -C0000181_bit_4 -C0000181_bit_3 -C0000181_bit_2 -C0000181_bit_1 -C0000181_bit0 -C0000181_bit1 -C0000181_bit2 -C0000181_bit3 -C0000181_bit4 -C0000181_bit5 -C0000181_bit6 -C0000181_bit7 -C0000181_bit8 -C0000181_bit9 -C0000181_bit10 -C0000181_bit11 -C0000181_bit12 -C0000211_bit_7 -C0000211_bit_6 -C0000211_bit_5 -C0000211_bit_4 -C0000211_bit_3 -C0000211_bit_2 -C0000211_bit_1 -C0000211_bit0 -C0000211_bit1 -C0000211_bit2 -C0000211_bit3 -C0000211_bit4 -C0000211_bit5 -C0000211_bit6 -C0000211_bit7 -C0000211_bit8 -C0000211_bit9 -C0000211_bit10 -C0000211_bit11 -C0000211_bit12 -C0000226_bit_7 -C0000226_bit_6 -C0000226_bit_5 -C0000226_bit_4 -C0000226_bit_3 -C0000226_bit_2 -C0000226_bit_1 -C0000226_bit0 -C0000226_bit1 -C0000226_bit2 -C0000226_bit3 -C0000226_bit4 -C0000226_bit5 -C0000226_bit6 -C0000226_bit7 -C0000226_bit8 -C0000226_bit9 -C0000226_bit10 -C0000226_bit11 -C0000226_bit12 C0000012_bit_7 C0000012_bit_6 -C0000012_bit_5 -C0000012_bit_4 -C0000012_bit_3 -C0000012_bit_2 -C0000012_bit_1 -C0000012_bit0 -C0000012_bit1 -C0000012_bit2 -C0000012_bit3 -C0000012_bit4 -C0000012_bit5 -C0000012_bit6 -C0000012_bit7 -C0000012_bit8 -C0000012_bit9 -C0000012_bit10 -C0000012_bit11 -C0000012_bit12 -C0000017_bit_7 -C0000017_bit_6 -C0000017_bit_5 -C0000017_bit_4 -C0000017_bit_3 -C0000017_bit_2 -C0000017_bit_1 -C0000017_bit0 -C0000017_bit1 -C0000017_bit2 -C0000017_bit3 -C0000017_bit4 -C0000017_bit5 -C0000017_bit6 -C0000017_bit7 -C0000017_bit8 -C0000017_bit9 -C0000017_bit10 -C0000017_bit11 -C0000017_bit12 -C0000062_bit_7 -C0000062_bit_6 -C0000062_bit_5 -C0000062_bit_4 -C0000062_bit_3 -C0000062_bit_2 -C0000062_bit_1 -C0000062_bit0 -C0000062_bit1 -C0000062_bit2 -C0000062_bit3 -C0000062_bit4 -C0000062_bit5 -C0000062_bit6 -C0000062_bit7 -C0000062_bit8 -C0000062_bit9 -C0000062_bit10 -C0000062_bit11 -C0000062_bit12 -C0000077_bit_7 -C0000077_bit_6 -C0000077_bit_5 -C0000077_bit_4 -C0000077_bit_3 -C0000077_bit_2 -C0000077_bit_1 -C0000077_bit0 -C0000077_bit1 -C0000077_bit2 -C0000077_bit3 -C0000077_bit4 -C0000077_bit5 -C0000077_bit6 -C0000077_bit7 -C0000077_bit8 -C0000077_bit9 -C0000077_bit10 -C0000077_bit11 -C0000077_bit12 -C0000092_bit_7 -C0000092_bit_6 -C0000092_bit_5 -C0000092_bit_4 -C0000092_bit_3 -C0000092_bit_2 -C0000092_bit_1 -C0000092_bit0 -C0000092_bit1 -C0000092_bit2 -C0000092_bit3 -C0000092_bit4 -C0000092_bit5 -C0000092_bit6 -C0000092_bit7 -C0000092_bit8 -C0000092_bit9 -C0000092_bit10 -C0000092_bit11 -C0000092_bit12 -C0000182_bit_7 -C0000182_bit_6 -C0000182_bit_5 -C0000182_bit_4 -C0000182_bit_3 -C0000182_bit_2 -C0000182_bit_1 -C0000182_bit0 -C0000182_bit1 -C0000182_bit2 -C0000182_bit3 -C0000182_bit4 -C0000182_bit5 -C0000182_bit6 -C0000182_bit7 -C0000182_bit8 -C0000182_bit9 -C0000182_bit10 -C0000182_bit11 -C0000182_bit12 -C0000212_bit_7 -C0000212_bit_6 -C0000212_bit_5 -C0000212_bit_4 -C0000212_bit_3 -C0000212_bit_2 -C0000212_bit_1 -C0000212_bit0 -C0000212_bit1 -C0000212_bit2 -C0000212_bit3 -C0000212_bit4 -C0000212_bit5 -C0000212_bit6 -C0000212_bit7 -C0000212_bit8 -C0000212_bit9 -C0000212_bit10 -C0000212_bit11 -C0000212_bit12 C0000227_bit_7 C0000227_bit_6 -C0000227_bit_5 -C0000227_bit_4 -C0000227_bit_3 -C0000227_bit_2 -C0000227_bit_1 C0000227_bit0 -C0000227_bit1 -C0000227_bit2 -C0000227_bit3 -C0000227_bit4 -C0000227_bit5 -C0000227_bit6 -C0000227_bit7 -C0000227_bit8 -C0000227_bit9 -C0000227_bit10 -C0000227_bit11 -C0000227_bit12 -C0000013_bit_7 -C0000013_bit_6 -C0000013_bit_5 -C0000013_bit_4 -C0000013_bit_3 -C0000013_bit_2 -C0000013_bit_1 -C0000013_bit0 -C0000013_bit1 -C0000013_bit2 -C0000013_bit3 -C0000013_bit4 -C0000013_bit5 -C0000013_bit6 -C0000013_bit7 -C0000013_bit8 -C0000013_bit9 -C0000013_bit10 -C0000013_bit11 -C0000013_bit12 -C0000018_bit_7 -C0000018_bit_6 -C0000018_bit_5 -C0000018_bit_4 -C0000018_bit_3 -C0000018_bit_2 -C0000018_bit_1 -C0000018_bit0 -C0000018_bit1 -C0000018_bit2 -C0000018_bit3 -C0000018_bit4 -C0000018_bit5 -C0000018_bit6 -C0000018_bit7 -C0000018_bit8 -C0000018_bit9 -C0000018_bit10 -C0000018_bit11 -C0000018_bit12 -C0000063_bit_7 -C0000063_bit_6 -C0000063_bit_5 -C0000063_bit_4 -C0000063_bit_3 -C0000063_bit_2 -C0000063_bit_1 -C0000063_bit0 -C0000063_bit1 -C0000063_bit2 -C0000063_bit3 -C0000063_bit4 -C0000063_bit5 -C0000063_bit6 -C0000063_bit7 -C0000063_bit8 -C0000063_bit9 -C0000063_bit10 -C0000063_bit11 -C0000063_bit12 -C0000078_bit_7 -C0000078_bit_6 -C0000078_bit_5 -C0000078_bit_4 -C0000078_bit_3 -C0000078_bit_2 -C0000078_bit_1 -C0000078_bit0 -C0000078_bit1 -C0000078_bit2 -C0000078_bit3 -C0000078_bit4 -C0000078_bit5 -C0000078_bit6 -C0000078_bit7 -C0000078_bit8 -C0000078_bit9 -C0000078_bit10 -C0000078_bit11 -C0000078_bit12 -C0000093_bit_7 -C0000093_bit_6 -C0000093_bit_5 -C0000093_bit_4 -C0000093_bit_3 -C0000093_bit_2 -C0000093_bit_1 -C0000093_bit0 -C0000093_bit1 -C0000093_bit2 -C0000093_bit3 -C0000093_bit4 -C0000093_bit5 -C0000093_bit6 -C0000093_bit7 -C0000093_bit8 -C0000093_bit9 -C0000093_bit10 -C0000093_bit11 -C0000093_bit12 -C0000183_bit_7 -C0000183_bit_6 -C0000183_bit_5 -C0000183_bit_4 -C0000183_bit_3 -C0000183_bit_2 -C0000183_bit_1 -C0000183_bit0 -C0000183_bit1 -C0000183_bit2 -C0000183_bit3 -C0000183_bit4 -C0000183_bit5 -C0000183_bit6 -C0000183_bit7 -C0000183_bit8 -C0000183_bit9 -C0000183_bit10 -C0000183_bit11 -C0000183_bit12 -C0000213_bit_7 -C0000213_bit_6 -C0000213_bit_5 -C0000213_bit_4 -C0000213_bit_3 -C0000213_bit_2 -C0000213_bit_1 -C0000213_bit0 -C0000213_bit1 -C0000213_bit2 -C0000213_bit3 -C0000213_bit4 -C0000213_bit5 -C0000213_bit6 -C0000213_bit7 -C0000213_bit8 -C0000213_bit9 -C0000213_bit10 -C0000213_bit11 -C0000213_bit12 -C0000228_bit_7 -C0000228_bit_6 -C0000228_bit_5 -C0000228_bit_4 -C0000228_bit_3 -C0000228_bit_2 -C0000228_bit_1 -C0000228_bit0 -C0000228_bit1 -C0000228_bit2 -C0000228_bit3 -C0000228_bit4 -C0000228_bit5 -C0000228_bit6 -C0000228_bit7 -C0000228_bit8 -C0000228_bit9 -C0000228_bit10 -C0000228_bit11 -C0000228_bit12 -C0000014_bit_7 -C0000014_bit_6 -C0000014_bit_5 -C0000014_bit_4 -C0000014_bit_3 -C0000014_bit_2 -C0000014_bit_1 -C0000014_bit0 C0000014_bit1 -C0000014_bit2 -C0000014_bit3 -C0000014_bit4 -C0000014_bit5 -C0000014_bit6 -C0000014_bit7 -C0000014_bit8 -C0000014_bit9 -C0000014_bit10 -C0000014_bit11 -C0000014_bit12 -C0000019_bit_7 -C0000019_bit_6 -C0000019_bit_5 -C0000019_bit_4 -C0000019_bit_3 -C0000019_bit_2 -C0000019_bit_1 -C0000019_bit0 -C0000019_bit1 -C0000019_bit2 -C0000019_bit3 -C0000019_bit4 -C0000019_bit5 -C0000019_bit6 -C0000019_bit7 -C0000019_bit8 -C0000019_bit9 -C0000019_bit10 -C0000019_bit11 -C0000019_bit12 -C0000064_bit_7 -C0000064_bit_6 -C0000064_bit_5 -C0000064_bit_4 -C0000064_bit_3 -C0000064_bit_2 -C0000064_bit_1 -C0000064_bit0 -C0000064_bit1 -C0000064_bit2 -C0000064_bit3 -C0000064_bit4 -C0000064_bit5 -C0000064_bit6 -C0000064_bit7 -C0000064_bit8 -C0000064_bit9 -C0000064_bit10 -C0000064_bit11 -C0000064_bit12 -C0000079_bit_7 -C0000079_bit_6 -C0000079_bit_5 -C0000079_bit_4 -C0000079_bit_3 -C0000079_bit_2 -C0000079_bit_1 -C0000079_bit0 -C0000079_bit1 -C0000079_bit2 -C0000079_bit3 -C0000079_bit4 -C0000079_bit5 -C0000079_bit6 -C0000079_bit7 -C0000079_bit8 -C0000079_bit9 -C0000079_bit10 -C0000079_bit11 -C0000079_bit12 -C0000094_bit_7 -C0000094_bit_6 -C0000094_bit_5 -C0000094_bit_4 -C0000094_bit_3 -C0000094_bit_2 -C0000094_bit_1 -C0000094_bit0 -C0000094_bit1 C0000094_bit2 -C0000094_bit3 -C0000094_bit4 -C0000094_bit5 -C0000094_bit6 -C0000094_bit7 -C0000094_bit8 -C0000094_bit9 -C0000094_bit10 -C0000094_bit11 -C0000094_bit12 -C0000184_bit_7 -C0000184_bit_6 -C0000184_bit_5 -C0000184_bit_4 -C0000184_bit_3 -C0000184_bit_2 -C0000184_bit_1 -C0000184_bit0 -C0000184_bit1 -C0000184_bit2 -C0000184_bit3 -C0000184_bit4 -C0000184_bit5 -C0000184_bit6 -C0000184_bit7 -C0000184_bit8 -C0000184_bit9 -C0000184_bit10 -C0000184_bit11 -C0000184_bit12 -C0000214_bit_7 -C0000214_bit_6 -C0000214_bit_5 -C0000214_bit_4 -C0000214_bit_3 -C0000214_bit_2 -C0000214_bit_1 -C0000214_bit0 -C0000214_bit1 -C0000214_bit2 -C0000214_bit3 -C0000214_bit4 -C0000214_bit5 -C0000214_bit6 -C0000214_bit7 -C0000214_bit8 -C0000214_bit9 -C0000214_bit10 -C0000214_bit11 -C0000214_bit12 -C0000229_bit_7 -C0000229_bit_6 -C0000229_bit_5 -C0000229_bit_4 -C0000229_bit_3 -C0000229_bit_2 -C0000229_bit_1 -C0000229_bit0 -C0000229_bit1 -C0000229_bit2 -C0000229_bit3 -C0000229_bit4 -C0000229_bit5 -C0000229_bit6 -C0000229_bit7 -C0000229_bit8 -C0000229_bit9 -C0000229_bit10 -C0000229_bit11 -C0000229_bit12 -C0000015_bit_7 C0000015_bit_6 C0000015_bit_5 -C0000015_bit_4 -C0000015_bit_3 -C0000015_bit_2 -C0000015_bit_1 C0000015_bit0 C0000015_bit1 -C0000015_bit2 -C0000015_bit3 -C0000015_bit4 -C0000015_bit5 -C0000015_bit6 -C0000015_bit7 -C0000015_bit8 -C0000015_bit9 -C0000015_bit10 -C0000015_bit11 -C0000015_bit12 -C0000020_bit_7 -C0000020_bit_6 -C0000020_bit_5 -C0000020_bit_4 -C0000020_bit_3 -C0000020_bit_2 -C0000020_bit_1 -C0000020_bit0 -C0000020_bit1 -C0000020_bit2 -C0000020_bit3 -C0000020_bit4 -C0000020_bit5 -C0000020_bit6 -C0000020_bit7 -C0000020_bit8 -C0000020_bit9 -C0000020_bit10 -C0000020_bit11 -C0000020_bit12 -C0000065_bit_7 -C000006#### 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.74 0.91 0.89 2/54 30640
Raw data (stat): 30640 (runsolver) R 30639 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 473398029 1052672 99 4294967295 134512640 135381576 3221224448 3221219692 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+9.99994 s]
Raw data (loadavg): 0.78 0.91 0.89 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 3044 0 0 0 991 7 0 0 25 0 1 0 473398029 14737408 2957 4294967295 134512640 134672761 3221224544 3221223712 134560917 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 3598 2957 603 41 0 3557 0
vsize: 14392
[startup+19.9999 s]
Raw data (loadavg): 0.81 0.91 0.89 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 3321 0 0 0 1990 7 0 0 25 0 1 0 473398029 15978496 3234 4294967295 134512640 134672761 3221224544 3221223744 134557836 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 3901 3234 603 41 0 3860 0
vsize: 15604
[startup+30.0003 s]
Raw data (loadavg): 0.84 0.92 0.89 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 3667 0 0 0 2989 9 0 0 25 0 1 0 473398029 17321984 3580 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4229 3580 603 41 0 4188 0
vsize: 16916
[startup+40.0001 s]
Raw data (loadavg): 0.86 0.92 0.89 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 3975 0 0 0 3988 10 0 0 25 0 1 0 473398029 18538496 3888 4294967295 134512640 134672761 3221224544 3221223712 134560948 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4526 3888 603 41 0 4485 0
vsize: 18104
[startup+50.0012 s]
Raw data (loadavg): 0.88 0.92 0.89 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 4310 0 0 0 4987 11 0 0 25 0 1 0 473398029 20131840 4223 4294967295 134512640 134672761 3221224544 3221223648 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4915 4223 603 41 0 4874 0
vsize: 19660
[startup+60.0007 s]
Raw data (loadavg): 0.90 0.92 0.90 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 4563 0 0 0 5986 12 0 0 25 0 1 0 473398029 21069824 4476 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5144 4476 603 41 0 5103 0
vsize: 20576
[startup+70.0008 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 4772 0 0 0 6986 13 0 0 25 0 1 0 473398029 21876736 4685 4294967295 134512640 134672761 3221224544 3221223716 134556680 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5341 4685 603 41 0 5300 0
vsize: 21364
[startup+80.0016 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 5012 0 0 0 7985 14 0 0 25 0 1 0 473398029 22945792 4925 4294967295 134512640 134672761 3221224544 3221223688 134560553 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5602 4925 603 41 0 5561 0
vsize: 22408
[startup+90.001 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 5225 0 0 0 8984 15 0 0 25 0 1 0 473398029 23748608 5138 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5798 5138 603 41 0 5757 0
vsize: 23192
[startup+100.001 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 5524 0 0 0 9983 16 0 0 25 0 1 0 473398029 24956928 5437 4294967295 134512640 134672761 3221224544 3221223680 134560590 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6093 5437 603 41 0 6052 0
vsize: 24372
[startup+110.002 s]
Raw data (loadavg): 1.04 0.95 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 5821 0 0 0 10983 17 0 0 25 0 1 0 473398029 26157056 5734 4294967295 134512640 134672761 3221224544 3221223728 134558662 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6386 5734 603 41 0 6345 0
vsize: 25544
[startup+120.002 s]
Raw data (loadavg): 1.03 0.95 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 6073 0 0 0 11982 17 0 0 25 0 1 0 473398029 27357184 5986 4294967295 134512640 134672761 3221224544 3221223680 134560706 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6679 5986 603 41 0 6638 0
vsize: 26716
[startup+130.002 s]
Raw data (loadavg): 1.03 0.95 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 6410 0 0 0 12982 18 0 0 25 0 1 0 473398029 28815360 6323 4294967295 134512640 134672761 3221224544 3221223712 134560864 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7035 6323 603 41 0 6994 0
vsize: 28140
[startup+140.002 s]
Raw data (loadavg): 1.02 0.95 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 6724 0 0 0 13981 19 0 0 25 0 1 0 473398029 30019584 6637 4294967295 134512640 134672761 3221224544 3221223712 134560942 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7329 6637 603 41 0 7288 0
vsize: 29316
[startup+150.003 s]
Raw data (loadavg): 1.02 0.95 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 7018 0 0 0 14981 19 0 0 25 0 1 0 473398029 31223808 6931 4294967295 134512640 134672761 3221224544 3221223712 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7623 6931 603 41 0 7582 0
vsize: 30492
[startup+160.002 s]
Raw data (loadavg): 1.02 0.95 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 7350 0 0 0 15980 20 0 0 25 0 1 0 473398029 32559104 7263 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7949 7263 603 41 0 7908 0
vsize: 31796
[startup+170.003 s]
Raw data (loadavg): 1.01 0.95 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 7734 0 0 0 16979 21 0 0 25 0 1 0 473398029 34177024 7647 4294967295 134512640 134672761 3221224544 3221223712 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8344 7647 603 41 0 8303 0
vsize: 33376
[startup+180.028 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 7794 0 0 0 17982 21 0 0 25 0 1 0 473398029 34443264 7707 4294967295 134512640 134672761 3221224544 3221223712 134561003 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8409 7707 603 41 0 8368 0
vsize: 33636
[startup+190.028 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 7794 0 0 0 18982 21 0 0 25 0 1 0 473398029 34443264 7707 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8409 7707 603 41 0 8368 0
vsize: 33636
[startup+200.029 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 7794 0 0 0 19981 22 0 0 25 0 1 0 473398029 34443264 7707 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8409 7707 603 41 0 8368 0
vsize: 33636
[startup+210.029 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 7794 0 0 0 20981 22 0 0 25 0 1 0 473398029 34443264 7707 4294967295 134512640 134672761 3221224544 3221223712 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8409 7707 603 41 0 8368 0
vsize: 33636
[startup+220.028 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 7794 0 0 0 21982 22 0 0 25 0 1 0 473398029 34443264 7707 4294967295 134512640 134672761 3221224544 3221223648 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8409 7707 603 41 0 8368 0
vsize: 33636
[startup+230.028 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 7821 0 0 0 22982 22 0 0 25 0 1 0 473398029 34652160 7734 4294967295 134512640 134672761 3221224544 3221223728 134558687 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8460 7734 603 41 0 8419 0
vsize: 33840
[startup+240.028 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 7821 0 0 0 23982 22 0 0 25 0 1 0 473398029 34652160 7734 4294967295 134512640 134672761 3221224544 3221223728 134559625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8460 7734 603 41 0 8419 0
vsize: 33840
[startup+250.029 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 7821 0 0 0 24982 22 0 0 25 0 1 0 473398029 34652160 7734 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8460 7734 603 41 0 8419 0
vsize: 33840
[startup+260.028 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 7821 0 0 0 25982 22 0 0 25 0 1 0 473398029 34652160 7734 4294967295 134512640 134672761 3221224544 3221223668 134566122 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8460 7734 603 41 0 8419 0
vsize: 33840
[startup+270.028 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 7821 0 0 0 26982 22 0 0 25 0 1 0 473398029 34652160 7734 4294967295 134512640 134672761 3221224544 3221223716 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8460 7734 603 41 0 8419 0
vsize: 33840
[startup+280.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 7821 0 0 0 27982 22 0 0 25 0 1 0 473398029 34652160 7734 4294967295 134512640 134672761 3221224544 3221223648 134560218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8460 7734 603 41 0 8419 0
vsize: 33840
[startup+290.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 7822 0 0 0 28982 22 0 0 25 0 1 0 473398029 34652160 7735 4294967295 134512640 134672761 3221224544 3221223712 134560842 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8460 7735 603 41 0 8419 0
vsize: 33840
[startup+300.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 7822 0 0 0 29983 22 0 0 25 0 1 0 473398029 34652160 7735 4294967295 134512640 134672761 3221224544 3221223640 1075347332 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8460 7735 603 41 0 8419 0
vsize: 33840
[startup+310.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 7969 0 0 0 30983 22 0 0 25 0 1 0 473398029 35188736 7882 4294967295 134512640 134672761 3221224544 3221223716 134556641 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8591 7882 603 41 0 8550 0
vsize: 34364
[startup+320.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 8134 0 0 0 31982 23 0 0 25 0 1 0 473398029 35864576 8047 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8756 8047 603 41 0 8715 0
vsize: 35024
[startup+330.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 8422 0 0 0 32981 24 0 0 25 0 1 0 473398029 37072896 8335 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9051 8335 603 41 0 9010 0
vsize: 36204
[startup+340.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 8765 0 0 0 33981 25 0 0 25 0 1 0 473398029 38416384 8678 4294967295 134512640 134672761 3221224544 3221223712 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9379 8678 603 41 0 9338 0
vsize: 37516
[startup+350.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9072 0 0 0 34980 26 0 0 25 0 1 0 473398029 39747584 8985 4294967295 134512640 134672761 3221224544 3221223712 134560920 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9704 8985 603 41 0 9663 0
vsize: 38816
[startup+360.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9254 0 0 0 35980 26 0 0 25 0 1 0 473398029 40419328 9167 4294967295 134512640 134672761 3221224544 3221223680 134565045 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9868 9167 603 41 0 9827 0
vsize: 39472
[startup+370.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9483 0 0 0 36979 27 0 0 25 0 1 0 473398029 41353216 9396 4294967295 134512640 134672761 3221224544 3221223712 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10096 9396 603 41 0 10055 0
vsize: 40384
[startup+380.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9845 0 0 0 37978 28 0 0 25 0 1 0 473398029 42823680 9758 4294967295 134512640 134672761 3221224544 3221223696 134561244 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10455 9758 603 41 0 10414 0
vsize: 41820
[startup+390.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9845 0 0 0 38978 28 0 0 25 0 1 0 473398029 42823680 9758 4294967295 134512640 134672761 3221224544 3221223712 134561021 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10455 9758 603 41 0 10414 0
vsize: 41820
[startup+400.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9845 0 0 0 39978 28 0 0 25 0 1 0 473398029 42823680 9758 4294967295 134512640 134672761 3221224544 3221223712 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10455 9758 603 41 0 10414 0
vsize: 41820
[startup+410.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9845 0 0 0 40978 28 0 0 25 0 1 0 473398029 42823680 9758 4294967295 134512640 134672761 3221224544 3221223744 134557828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10455 9758 603 41 0 10414 0
vsize: 41820
[startup+420.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9845 0 0 0 41979 28 0 0 25 0 1 0 473398029 42823680 9758 4294967295 134512640 134672761 3221224544 3221223716 134556643 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10455 9758 603 41 0 10414 0
vsize: 41820
[startup+430.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9845 0 0 0 42979 28 0 0 25 0 1 0 473398029 42823680 9758 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10455 9758 603 41 0 10414 0
vsize: 41820
[startup+440.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9845 0 0 0 43979 28 0 0 25 0 1 0 473398029 42823680 9758 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10455 9758 603 41 0 10414 0
vsize: 41820
[startup+450.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9845 0 0 0 44979 28 0 0 25 0 1 0 473398029 42823680 9758 4294967295 134512640 134672761 3221224544 3221223648 134560218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10455 9758 603 41 0 10414 0
vsize: 41820
[startup+460.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9845 0 0 0 45979 28 0 0 25 0 1 0 473398029 42823680 9758 4294967295 134512640 134672761 3221224544 3221223712 134560956 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10455 9758 603 41 0 10414 0
vsize: 41820
[startup+470.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9845 0 0 0 46979 28 0 0 25 0 1 0 473398029 42823680 9758 4294967295 134512640 134672761 3221224544 3221223712 134561207 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10455 9758 603 41 0 10414 0
vsize: 41820
[startup+480.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9845 0 0 0 47979 29 0 0 25 0 1 0 473398029 42823680 9758 4294967295 134512640 134672761 3221224544 3221223744 134557820 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10455 9758 603 41 0 10414 0
vsize: 41820
[startup+490.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9845 0 0 0 48980 29 0 0 25 0 1 0 473398029 42823680 9758 4294967295 134512640 134672761 3221224544 3221223712 134561201 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10455 9758 603 41 0 10414 0
vsize: 41820
[startup+500.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9845 0 0 0 49980 29 0 0 25 0 1 0 473398029 42823680 9758 4294967295 134512640 134672761 3221224544 3221223712 134561372 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10455 9758 603 41 0 10414 0
vsize: 41820
[startup+510.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9845 0 0 0 50980 29 0 0 25 0 1 0 473398029 42823680 9758 4294967295 134512640 134672761 3221224544 3221223648 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10455 9758 603 41 0 10414 0
vsize: 41820
[startup+520.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 9868 0 0 0 51980 29 0 0 25 0 1 0 473398029 42954752 9781 4294967295 134512640 134672761 3221224544 3221223648 134560246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10487 9781 603 41 0 10446 0
vsize: 41948
[startup+530.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 10050 0 0 0 52979 30 0 0 25 0 1 0 473398029 43757568 9963 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10683 9963 603 41 0 10642 0
vsize: 42732
[startup+540.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 10050 0 0 0 53979 30 0 0 25 0 1 0 473398029 43757568 9963 4294967295 134512640 134672761 3221224544 3221223680 134560667 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10683 9963 603 41 0 10642 0
vsize: 42732
[startup+550.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 10050 0 0 0 54980 30 0 0 25 0 1 0 473398029 43757568 9963 4294967295 134512640 134672761 3221224544 3221223712 134560892 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10683 9963 603 41 0 10642 0
vsize: 42732
[startup+560.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 10050 0 0 0 55980 30 0 0 25 0 1 0 473398029 43757568 9963 4294967295 134512640 134672761 3221224544 3221223716 134556653 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10683 9963 603 41 0 10642 0
vsize: 42732
[startup+570.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 10050 0 0 0 56980 30 0 0 25 0 1 0 473398029 43757568 9963 4294967295 134512640 134672761 3221224544 3221223744 134557836 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10683 9963 603 41 0 10642 0
vsize: 42732
[startup+580.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 10050 0 0 0 57980 30 0 0 25 0 1 0 473398029 43757568 9963 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10683 9963 603 41 0 10642 0
vsize: 42732
[startup+590.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 10050 0 0 0 58980 30 0 0 25 0 1 0 473398029 43757568 9963 4294967295 134512640 134672761 3221224544 3221223648 134560405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10683 9963 603 41 0 10642 0
vsize: 42732
[startup+600.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 10050 0 0 0 59981 30 0 0 25 0 1 0 473398029 43757568 9963 4294967295 134512640 134672761 3221224544 3221223712 134560909 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10683 9963 603 41 0 10642 0
vsize: 42732
[startup+610.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 10050 0 0 0 60981 30 0 0 25 0 1 0 473398029 43757568 9963 4294967295 134512640 134672761 3221224544 3221223712 134560892 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10683 9963 603 41 0 10642 0
vsize: 42732
[startup+620.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 10050 0 0 0 61981 30 0 0 25 0 1 0 473398029 43757568 9963 4294967295 134512640 134672761 3221224544 3221223728 134558352 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10683 9963 603 41 0 10642 0
vsize: 42732
[startup+630.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 10050 0 0 0 62981 30 0 0 25 0 1 0 473398029 43757568 9963 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10683 9963 603 41 0 10642 0
vsize: 42732
[startup+640.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 10050 0 0 0 63981 30 0 0 25 0 1 0 473398029 43757568 9963 4294967295 134512640 134672761 3221224544 3221223712 134560842 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10683 9963 603 41 0 10642 0
vsize: 42732
[startup+650.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 10384 0 0 0 64980 31 0 0 25 0 1 0 473398029 45080576 10297 4294967295 134512640 134672761 3221224544 3221223680 134560709 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11006 10297 603 41 0 10965 0
vsize: 44024
[startup+660.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 10854 0 0 0 65979 32 0 0 25 0 1 0 473398029 47075328 10767 4294967295 134512640 134672761 3221224544 3221223712 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11493 10767 603 41 0 11452 0
vsize: 45972
[startup+670.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 11302 0 0 0 66978 33 0 0 25 0 1 0 473398029 48807936 11215 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11916 11215 603 41 0 11875 0
vsize: 47664
[startup+680.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 11694 0 0 0 67977 35 0 0 25 0 1 0 473398029 50405376 11607 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12306 11607 603 41 0 12265 0
vsize: 49224
[startup+690.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 12052 0 0 0 68976 36 0 0 25 0 1 0 473398029 51888128 11965 4294967295 134512640 134672761 3221224544 3221223716 134556680 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12668 11965 603 41 0 12627 0
vsize: 50672
[startup+700.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 12249 0 0 0 69976 37 0 0 25 0 1 0 473398029 52699136 12162 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12866 12162 603 41 0 12825 0
vsize: 51464
[startup+710.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 12603 0 0 0 70975 38 0 0 25 0 1 0 473398029 54165504 12516 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13224 12516 603 41 0 13183 0
vsize: 52896
[startup+720.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 13070 0 0 0 71974 39 0 0 25 0 1 0 473398029 56025088 12983 4294967295 134512640 134672761 3221224544 3221223712 134561190 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13678 12983 603 41 0 13637 0
vsize: 54712
[startup+730.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 13652 0 0 0 72973 40 0 0 25 0 1 0 473398029 58388480 13565 4294967295 134512640 134672761 3221224544 3221223712 134561212 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14255 13565 603 41 0 14214 0
vsize: 57020
[startup+740.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 14076 0 0 0 73971 42 0 0 25 0 1 0 473398029 60116992 13989 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14677 13989 603 41 0 14636 0
vsize: 58708
[startup+750.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 14588 0 0 0 74970 43 0 0 25 0 1 0 473398029 62255104 14501 4294967295 134512640 134672761 3221224544 3221223744 134557809 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15199 14501 603 41 0 15158 0
vsize: 60796
[startup+760.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 15173 0 0 0 75969 44 0 0 25 0 1 0 473398029 64663552 15086 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15787 15086 603 41 0 15746 0
vsize: 63148
[startup+770.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 15402 0 0 0 76969 45 0 0 25 0 1 0 473398029 65597440 15315 4294967295 134512640 134672761 3221224544 3221223712 134561198 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16015 15315 603 41 0 15974 0
vsize: 64060
[startup+780.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 15710 0 0 0 77968 46 0 0 25 0 1 0 473398029 66793472 15623 4294967295 134512640 134672761 3221224544 3221223728 134559340 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16307 15623 603 41 0 16266 0
vsize: 65228
[startup+790.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 15971 0 0 0 78967 46 0 0 25 0 1 0 473398029 67862528 15884 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16568 15884 603 41 0 16527 0
vsize: 66272
[startup+800.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 16470 0 0 0 79967 48 0 0 25 0 1 0 473398029 69857280 16383 4294967295 134512640 134672761 3221224544 3221223712 134561215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17055 16383 603 41 0 17014 0
vsize: 68220
[startup+810.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 16909 0 0 0 80965 49 0 0 25 0 1 0 473398029 71725056 16822 4294967295 134512640 134672761 3221224544 3221223680 134560706 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17511 16822 603 41 0 17470 0
vsize: 70044
[startup+820.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 17427 0 0 0 81964 51 0 0 25 0 1 0 473398029 73863168 17340 4294967295 134512640 134672761 3221224544 3221223712 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18033 17340 603 41 0 17992 0
vsize: 72132
[startup+830.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 18121 0 0 0 82961 53 0 0 25 0 1 0 473398029 76664832 18034 4294967295 134512640 134672761 3221224544 3221223648 134559853 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18717 18034 603 41 0 18676 0
vsize: 74868
[startup+840.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 18427 0 0 0 83961 53 0 0 25 0 1 0 473398029 77852672 18340 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19007 18340 603 41 0 18966 0
vsize: 76028
[startup+850.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 18626 0 0 0 84960 54 0 0 25 0 1 0 473398029 78655488 18539 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19203 18539 603 41 0 19162 0
vsize: 76812
[startup+860.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 30640
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 18931 0 0 0 85960 55 0 0 25 0 1 0 473398029 79994880 18844 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19530 18844 603 41 0 19489 0
vsize: 78120
[startup+870.039 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 30693
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 19222 0 0 0 86956 58 0 0 25 0 1 0 473398029 81195008 19135 4294967295 134512640 134672761 3221224544 3221223696 134561040 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19823 19135 603 41 0 19782 0
vsize: 79292
[startup+880.04 s]
Raw data (loadavg): 1.13 1.00 0.92 2/54 30693
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 19767 0 0 0 87955 59 0 0 25 0 1 0 473398029 83845120 19680 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20470 19680 603 41 0 20429 0
vsize: 81880
[startup+890.04 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 30693
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 20142 0 0 0 88955 60 0 0 25 0 1 0 473398029 85422080 20055 4294967295 134512640 134672761 3221224544 3221223680 134560709 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20855 20055 603 41 0 20814 0
vsize: 83420
[startup+900.041 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 30693
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 20564 0 0 0 89954 61 0 0 25 0 1 0 473398029 87146496 20477 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21276 20477 603 41 0 21235 0
vsize: 85104
[startup+910.042 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 30693
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 20934 0 0 0 90953 62 0 0 25 0 1 0 473398029 88600576 20847 4294967295 134512640 134672761 3221224544 3221223712 134560892 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21631 20847 603 41 0 21590 0
vsize: 86524
[startup+920.041 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 30693
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 21347 0 0 0 91951 64 0 0 25 0 1 0 473398029 90329088 21260 4294967295 134512640 134672761 3221224544 3221223712 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22053 21260 603 41 0 22012 0
vsize: 88212
[startup+930.042 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 30693
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 21702 0 0 0 92951 65 0 0 25 0 1 0 473398029 91766784 21615 4294967295 134512640 134672761 3221224544 3221223648 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22404 21615 603 41 0 22363 0
vsize: 89616
[startup+940.042 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 30693
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 22091 0 0 0 93951 65 0 0 25 0 1 0 473398029 93356032 22004 4294967295 134512640 134672761 3221224544 3221223712 134560876 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22792 22004 603 41 0 22751 0
vsize: 91168
[startup+950.043 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 22487 0 0 0 94950 66 0 0 25 0 1 0 473398029 94941184 22400 4294967295 134512640 134672761 3221224544 3221223712 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23179 22400 603 41 0 23138 0
vsize: 92716
[startup+960.043 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 22871 0 0 0 95949 67 0 0 25 0 1 0 473398029 96526336 22784 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23566 22784 603 41 0 23525 0
vsize: 94264
[startup+970.043 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 23236 0 0 0 96948 68 0 0 25 0 1 0 473398029 97992704 23149 4294967295 134512640 134672761 3221224544 3221223712 134560871 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23924 23149 603 41 0 23883 0
vsize: 95696
[startup+980.044 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 23564 0 0 0 97947 69 0 0 25 0 1 0 473398029 99438592 23477 4294967295 134512640 134672761 3221224544 3221223712 134560912 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24277 23477 603 41 0 24236 0
vsize: 97108
[startup+990.044 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 23962 0 0 0 98946 70 0 0 25 0 1 0 473398029 101023744 23875 4294967295 134512640 134672761 3221224544 3221223648 134560393 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24664 23875 603 41 0 24623 0
vsize: 98656
[startup+1000.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 24354 0 0 0 99945 72 0 0 25 0 1 0 473398029 102604800 24267 4294967295 134512640 134672761 3221224544 3221223712 134560895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25050 24267 603 41 0 25009 0
vsize: 100200
[startup+1010.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 24772 0 0 0 100944 73 0 0 25 0 1 0 473398029 104321024 24685 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25469 24685 603 41 0 25428 0
vsize: 101876
[startup+1020.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 25206 0 0 0 101943 74 0 0 25 0 1 0 473398029 106033152 25119 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25887 25119 603 41 0 25846 0
vsize: 103548
[startup+1030.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 25648 0 0 0 102942 76 0 0 25 0 1 0 473398029 107884544 25561 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26339 25561 603 41 0 26298 0
vsize: 105356
[startup+1040.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 26049 0 0 0 103941 77 0 0 25 0 1 0 473398029 109477888 25962 4294967295 134512640 134672761 3221224544 3221223648 134560243 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26728 25962 603 41 0 26687 0
vsize: 106912
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 26366 0 0 0 104940 77 0 0 25 0 1 0 473398029 110792704 26279 4294967295 134512640 134672761 3221224544 3221223648 134560510 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27049 26279 603 41 0 27008 0
vsize: 108196
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 26683 0 0 0 105940 78 0 0 25 0 1 0 473398029 112128000 26596 4294967295 134512640 134672761 3221224544 3221223744 134557911 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27375 26596 603 41 0 27334 0
vsize: 109500
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 26972 0 0 0 106939 79 0 0 25 0 1 0 473398029 113328128 26885 4294967295 134512640 134672761 3221224544 3221223648 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27668 26885 603 41 0 27627 0
vsize: 110672
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 27343 0 0 0 107938 80 0 0 25 0 1 0 473398029 114790400 27256 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28025 27256 603 41 0 27984 0
vsize: 112100
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 27747 0 0 0 108938 80 0 0 25 0 1 0 473398029 116396032 27660 4294967295 134512640 134672761 3221224544 3221223600 134565045 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28417 27660 603 41 0 28376 0
vsize: 113668
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 28123 0 0 0 109937 81 0 0 25 0 1 0 473398029 118001664 28036 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28809 28036 603 41 0 28768 0
vsize: 115236
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 28611 0 0 0 110936 82 0 0 25 0 1 0 473398029 120000512 28524 4294967295 134512640 134672761 3221224544 3221223648 134560243 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29297 28524 603 41 0 29256 0
vsize: 117188
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 29012 0 0 0 111935 84 0 0 25 0 1 0 473398029 121577472 28925 4294967295 134512640 134672761 3221224544 3221223648 134560287 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29682 28925 603 41 0 29641 0
vsize: 118728
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 29428 0 0 0 112934 85 0 0 25 0 1 0 473398029 123293696 29341 4294967295 134512640 134672761 3221224544 3221223648 134560246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30101 29341 603 41 0 30060 0
vsize: 120404
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 29711 0 0 0 113933 86 0 0 25 0 1 0 473398029 124493824 29624 4294967295 134512640 134672761 3221224544 3221223712 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30394 29624 603 41 0 30353 0
vsize: 121576
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 30070 0 0 0 114933 87 0 0 25 0 1 0 473398029 125952000 29983 4294967295 134512640 134672761 3221224544 3221223648 134560514 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30750 29983 603 41 0 30709 0
vsize: 123000
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 30457 0 0 0 115932 88 0 0 25 0 1 0 473398029 127537152 30370 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31137 30370 603 41 0 31096 0
vsize: 124548
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 30695
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 30737 0 0 0 116931 88 0 0 25 0 1 0 473398029 128602112 30650 4294967295 134512640 134672761 3221224544 3221223712 134561145 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31397 30650 603 41 0 31356 0
vsize: 125588
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 30697
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 30956 0 0 0 117931 89 0 0 25 0 1 0 473398029 129536000 30869 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31625 30869 603 41 0 31584 0
vsize: 126500
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 30697
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 31198 0 0 0 118931 90 0 0 25 0 1 0 473398029 130473984 31111 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31854 31111 603 41 0 31813 0
vsize: 127416
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 30697
Raw data (stat): 30640 (minisat+) R 30639 26667 26666 0 -1 0 31479 0 0 0 119930 90 0 0 25 0 1 0 473398029 131678208 31392 4294967295 134512640 134672761 3221224544 3221223712 134560903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32148 31392 603 41 0 32107 0
vsize: 128592
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 30697
Raw data (stat): 30640 (minisat+) Z 30639 26667 26666 0 -1 12 31482 0 0 0 119931 96 0 0 25 0 1 0 473398029 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.13
CPU time (s): 1200.28
CPU user time (s): 1199.32
CPU system time (s): 0.967852
CPU usage (%): 100.013
Max. virtual memory (Kb): 128592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####