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 14965

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-21 02:17:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18863 boxname=wulflinc9 idbench=1451 idsolver=13 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  43b060c182b659f22c02b8a980d1ee8f  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-rout.opb
REAL COMMAND:  minisat+ -w /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-rout.opb /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-rout.opb
IDLAUNCH: 18863
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        567824 kB
Buffers:         35124 kB
Cached:         408432 kB
SwapCached:          8 kB
Active:          96528 kB
Inactive:       349776 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        567572 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6824 kB
Slab:            14816 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 02:37:53 (client local time) WITH STATUS 10 IN 1200.24 SECONDS
stats: 18863 7 1200.24 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]---> BDD-cost:   37
c ---[ 313]---> BDD-cost:   37
c ---[ 312]---> BDD-cost:   84
c ---[ 311]---> BDD-cost:   37
c ---[ 310]---> BDD-cost:   37
c ---[ 309]---> BDD-cost:   37
c ---[ 308]---> BDD-cost:   37
c ---[ 307]---> BDD-cost:   37
c ---[ 306]---> BDD-cost:   37
c ---[ 305]---> BDD-cost:   37
c ---[ 304]---> BDD-cost:   37
c ---[ 303]---> BDD-cost:   37
c ---[ 302]---> BDD-cost:   37
c ---[ 301]---> BDD-cost:   37
c ---[ 300]---> BDD-cost:   37
c ---[ 298]---> Sorter-cost:  441     Base: 2
c ---[ 296]---> Sorter-cost:  441     Base: 2
c ---[ 294]---> Sorter-cost:  441     Base: 2
c ---[ 292]---> Sorter-cost:  441     Base: 2
c ---[ 290]---> Sorter-cost:  441     Base: 2
c ---[ 288]---> Sorter-cost:  347     Base: 2
c ---[ 286]---> Sorter-cost:  347     Base: 2
c ---[ 284]---> Sorter-cost:  347     Base: 2
c ---[ 282]---> Sorter-cost:  347     Base: 2
c ---[ 280]---> Sorter-cost:  347     Base: 2
c ---[ 278]---> Sorter-cost:  515     Base: 2
c ---[ 276]---> Sorter-cost:  515     Base: 2
c ---[ 274]---> Sorter-cost:  515     Base: 2
c ---[ 272]---> Sorter-cost:  515     Base: 2
c ---[ 270]---> Sorter-cost:  515     Base: 2
c ---[ 268]---> Adder-cost: 548   maxlim: 21489   bits: 16/15
c ---[ 266]---> Adder-cost: 548   maxlim: 21489   bits: 16/15
c ---[ 264]---> Adder-cost: 548   maxlim: 21489   bits: 16/15
c ---[ 262]---> Adder-cost: 548   maxlim: 21489   bits: 16/15
c ---[ 260]---> Adder-cost: 548   maxlim: 21489   bits: 16/15
c ---[ 258]---> Adder-cost: 460   maxlim: 9207   bits: 15/14
c ---[ 256]---> Adder-cost: 460   maxlim: 9207   bits: 15/14
c ---[ 254]---> Adder-cost: 460   maxlim: 9207   bits: 15/14
c ---[ 252]---> Adder-cost: 460   maxlim: 9207   bits: 15/14
c ---[ 250]---> Adder-cost: 460   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]---> BDD-cost:   13
c ---[ 238]---> BDD-cost:   13
c ---[ 237]---> BDD-cost:   13
c ---[ 236]---> BDD-cost:   13
c ---[ 235]---> BDD-cost:   13
c ---[ 234]---> BDD-cost:   13
c ---[ 233]---> BDD-cost:   13
c ---[ 232]---> BDD-cost:   13
c ---[ 231]---> BDD-cost:   13
c ---[ 230]---> BDD-cost:   13
c ---[ 229]---> BDD-cost:   13
c ---[ 228]---> BDD-cost:   13
c ---[ 227]---> BDD-cost:   13
c ---[ 226]---> BDD-cost:   13
c ---[ 225]---> BDD-cost:   13
c ---[ 224]---> BDD-cost:   13
c ---[ 223]---> BDD-cost:   13
c ---[ 222]---> BDD-cost:   13
c ---[ 221]---> BDD-cost:   13
c ---[ 220]---> BDD-cost:   13
c ---[ 219]---> BDD-cost:   13
c ---[ 218]---> BDD-cost:   13
c ---[ 217]---> BDD-cost:   13
c ---[ 216]---> BDD-cost:   13
c ---[ 215]---> BDD-cost:   13
c ---[ 214]---> BDD-cost:   13
c ---[ 213]---> BDD-cost:   13
c ---[ 212]---> BDD-cost:   13
c ---[ 211]---> BDD-cost:   13
c ---[ 210]---> BDD-cost:   13
c ---[ 209]---> BDD-cost:   13
c ---[ 208]---> BDD-cost:   13
c ---[ 207]---> BDD-cost:   13
c ---[ 206]---> BDD-cost:   13
c ---[ 205]---> BDD-cost:   13
c ---[ 204]---> BDD-cost:   13
c ---[ 203]---> BDD-cost:   13
c ---[ 202]---> BDD-cost:   13
c ---[ 201]---> BDD-cost:   13
c ---[ 200]---> BDD-cost:   13
c ---[ 199]---> BDD-cost:   13
c ---[ 198]---> BDD-cost:   13
c ---[ 197]---> BDD-cost:   13
c ---[ 196]---> BDD-cost:   13
c ---[ 195]---> BDD-cost:   13
c ---[ 194]---> BDD-cost:   13
c ---[ 193]---> BDD-cost:   13
c ---[ 192]---> BDD-cost:   13
c ---[ 191]---> BDD-cost:   13
c ---[ 190]---> BDD-cost:   13
c ---[ 189]---> BDD-cost:   25
c ---[ 188]---> BDD-cost:   25
c ---[ 187]---> BDD-cost:   25
c ---[ 186]---> BDD-cost:   25
c ---[ 185]---> BDD-cost:   25
c ---[ 184]---> BDD-cost:   25
c ---[ 183]---> BDD-cost:   25
c ---[ 182]---> BDD-cost:   25
c ---[ 181]---> BDD-cost:   25
c ---[ 180]---> BDD-cost:   25
c ---[ 179]---> BDD-cost:   13
c ---[ 178]---> BDD-cost:   13
c ---[ 177]---> BDD-cost:   13
c ---[ 176]---> BDD-cost:   13
c ---[ 175]---> BDD-cost:   13
c ---[ 174]---> BDD-cost:   13
c ---[ 173]---> BDD-cost:   13
c ---[ 172]---> BDD-cost:   13
c ---[ 171]---> BDD-cost:   13
c ---[ 170]---> BDD-cost:   13
c ---[ 169]---> BDD-cost:   13
c ---[ 168]---> BDD-cost:   13
c ---[ 167]---> BDD-cost:   13
c ---[ 166]---> BDD-cost:   13
c ---[ 165]---> BDD-cost:   13
c ---[ 164]---> BDD-cost:   13
c ---[ 163]---> BDD-cost:   13
c ---[ 162]---> BDD-cost:   13
c ---[ 161]---> BDD-cost:   13
c ---[ 160]---> BDD-cost:   13
c ---[ 159]---> BDD-cost:   13
c ---[ 158]---> BDD-cost:   13
c ---[ 157]---> BDD-cost:   13
c ---[ 156]---> BDD-cost:   13
c ---[ 155]---> BDD-cost:   13
c ---[ 154]---> BDD-cost:   13
c ---[ 153]---> BDD-cost:   13
c ---[ 152]---> BDD-cost:   13
c ---[ 151]---> BDD-cost:   13
c ---[ 150]---> BDD-cost:   13
c ---[ 149]---> BDD-cost:   13
c ---[ 148]---> BDD-cost:   13
c ---[ 147]---> BDD-cost:   13
c ---[ 146]---> BDD-cost:   13
c ---[ 145]---> BDD-cost:   13
c ---[ 144]---> BDD-cost:   13
c ---[ 143]---> BDD-cost:   13
c ---[ 142]---> BDD-cost:   13
c ---[ 141]---> BDD-cost:   13
c ---[ 140]---> BDD-cost:   13
c ---[ 139]---> BDD-cost:   13
c ---[ 138]---> BDD-cost:   13
c ---[ 137]---> BDD-cost:   13
c ---[ 136]---> BDD-cost:   13
c ---[ 135]---> BDD-cost:   13
c ---[ 134]---> BDD-cost:   13
c ---[ 133]---> BDD-cost:   13
c ---[ 132]---> BDD-cost:   13
c ---[ 131]---> BDD-cost:   13
c ---[ 130]---> BDD-cost:   13
c ---[ 129]---> BDD-cost:   13
c ---[ 128]---> BDD-cost:   13
c ---[ 127]---> BDD-cost:   13
c ---[ 126]---> BDD-cost:   13
c ---[ 125]---> BDD-cost:   13
c ---[ 124]---> BDD-cost:   13
c ---[ 123]---> BDD-cost:   13
c ---[ 122]---> BDD-cost:   13
c ---[ 121]---> BDD-cost:   13
c ---[ 120]---> BDD-cost:   13
c ---[ 119]---> BDD-cost:   13
c ---[ 118]---> BDD-cost:   13
c ---[ 117]---> BDD-cost:   13
c ---[ 116]---> BDD-cost:   13
c ---[ 115]---> BDD-cost:   13
c ---[ 114]---> BDD-cost:   13
c ---[ 113]---> BDD-cost:   13
c ---[ 112]---> BDD-cost:   13
c ---[ 111]---> BDD-cost:   13
c ---[ 110]---> BDD-cost:   13
c ---[ 109]---> BDD-cost:   13
c ---[ 108]---> BDD-cost:   13
c ---[ 107]---> BDD-cost:   13
c ---[ 106]---> BDD-cost:   13
c ---[ 105]---> BDD-cost:   13
c ---[ 104]---> BDD-cost:   13
c ---[ 103]---> BDD-cost:   13
c ---[ 102]---> BDD-cost:   13
c ---[ 101]---> BDD-cost:   13
c ---[ 100]---> BDD-cost:   13
c ---[  99]---> BDD-cost:   13
c ---[  98]---> BDD-cost:   13
c ---[  97]---> BDD-cost:   13
c ---[  96]---> BDD-cost:   13
c ---[  95]---> BDD-cost:   13
c ---[  94]---> BDD-cost:   13
c ---[  93]---> BDD-cost:   13
c ---[  92]---> BDD-cost:   13
c ---[  91]---> BDD-cost:   13
c ---[  90]---> BDD-cost:   13
c ---[  89]---> BDD-cost:   13
c ---[  88]---> BDD-cost:   13
c ---[  87]---> BDD-cost:   13
c ---[  86]---> BDD-cost:   13
c ---[  85]---> BDD-cost:   13
c ---[  84]---> BDD-cost:   13
c ---[  83]---> BDD-cost:   13
c ---[  82]---> BDD-cost:   13
c ---[  81]---> BDD-cost:   13
c ---[  80]---> BDD-cost:   13
c ---[  79]---> BDD-cost:   13
c ---[  78]---> BDD-cost:   13
c ---[  77]---> BDD-cost:   13
c ---[  76]---> BDD-cost:   13
c ---[  75]---> BDD-cost:   13
c ---[  74]---> BDD-cost:   13
c ---[  73]---> BDD-cost:   13
c ---[  72]---> BDD-cost:   13
c ---[  71]---> BDD-cost:   13
c ---[  70]---> BDD-cost:   13
c ---[  69]---> BDD-cost:   13
c ---[  68]---> BDD-cost:   13
c ---[  67]---> BDD-cost:   13
c ---[  66]---> BDD-cost:   13
c ---[  65]---> BDD-cost:   13
c ---[  64]---> BDD-cost:   13
c ---[  63]---> BDD-cost:   13
c ---[  62]---> BDD-cost:   13
c ---[  61]---> BDD-cost:   13
c ---[  60]---> BDD-cost:   13
c ---[  59]---> BDD-cost:   13
c ---[  58]---> BDD-cost:   13
c ---[  57]---> BDD-cost:   13
c ---[  56]---> BDD-cost:   13
c ---[  55]---> BDD-cost:   13
c ---[  54]---> BDD-cost:   13
c ---[  53]---> BDD-cost:   13
c ---[  52]---> BDD-cost:   13
c ---[  51]---> BDD-cost:   13
c ---[  50]---> BDD-cost:   13
c ---[  49]---> BDD-cost:   13
c ---[  48]---> BDD-cost:   13
c ---[  47]---> BDD-cost:   13
c ---[  46]---> BDD-cost:   13
c ---[  45]---> BDD-cost:   13
c ---[  44]---> BDD-cost:   13
c ---[  43]---> BDD-cost:   13
c ---[  42]---> BDD-cost:   13
c ---[  41]---> BDD-cost:   13
c ---[  40]---> BDD-cost:   13
c ---[  39]---> BDD-cost:   13
c ---[  38]---> BDD-cost:   13
c ---[  37]---> BDD-cost:   13
c ---[  36]---> BDD-cost:   13
c ---[  35]---> BDD-cost:   13
c ---[  34]---> BDD-cost:   13
c ---[  33]---> BDD-cost:   13
c ---[  32]---> BDD-cost:   13
c ---[  31]---> BDD-cost:   13
c ---[  30]---> BDD-cost:   13
c ---[  29]---> BDD-cost:   13
c ---[  28]---> BDD-cost:   13
c ---[  27]---> BDD-cost:   13
c ---[  26]---> BDD-cost:   13
c ---[  25]---> BDD-cost:   13
c ---[  24]---> BDD-cost:   13
c ---[  23]---> BDD-cost:   13
c ---[  22]---> BDD-cost:   13
c ---[  21]---> BDD-cost:   13
c ---[  20]---> BDD-cost:   13
c ---[  19]---> BDD-cost:   13
c ---[  18]---> BDD-cost:   13
c ---[  17]---> BDD-cost:   13
c ---[  16]---> BDD-cost:   13
c ---[  15]---> BDD-cost:   13
c ---[  14]---> BDD-cost:   13
c ---[  13]---> BDD-cost:   13
c ---[  12]---> BDD-cost:   13
c ---[  11]---> BDD-cost:   13
c ---[  10]---> BDD-cost:   13
c ---[   9]---> BDD-cost:   13
c ---[   8]---> BDD-cost:   13
c ---[   7]---> BDD-cost:   13
c ---[   6]---> BDD-cost:   13
c ---[   5]---> BDD-cost:   13
c ---[   4]---> BDD-cost:   13
c ---[   3]---> BDD-cost:   13
c ---[   2]---> BDD-cost:   13
c ---[   1]---> BDD-cost:   13
c ---[   0]---> BDD-cost:   13
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  127323   427142 |   42441       0        0     nan |  0.000 % |
c |       101 |  127144   426731 |   46685      88     3822    43.4 | 12.584 % |
c |       251 |  127144   426731 |   51353     238     9412    39.5 | 12.584 % |
c |       477 |  127144   426731 |   56488     464    19597    42.2 | 12.584 % |
c |       814 |  127125   426666 |   62137     799    38628    48.3 | 12.598 % |
c |      1321 |  127065   426506 |   68351    1302    58938    45.3 | 12.649 % |
c |      2080 |  126849   426014 |   75186    2043   103928    50.9 | 12.865 % |
c |      3219 |  126131   424284 |   82705    3113   124286    39.9 | 13.577 % |
c |      4927 |  125837   423554 |   90976    4800   205619    42.8 | 13.869 % |
c |      7490 |  125420   422566 |  100073    7329   336830    46.0 | 14.299 % |
c |     11336 |  125198   422010 |  110081   11145   502057    45.0 | 14.498 % |
c |     17103 |  124640   420595 |  121089   16809   764088    45.5 | 15.029 % |
c |     25752 |  124346   419798 |  133198   25390  1301898    51.3 | 15.278 % |
c |     38727 |  123640   418127 |  146517   38243  1884788    49.3 | 16.018 % |
c |     58188 |  123095   416732 |  161169   57611  3662400    63.6 | 16.564 % |
c |     87382 |  122077   414182 |  177286   86604  5695870    65.8 | 17.618 % |
c ==============================================================================
c [1mFound solution: 1245856[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> BDD-cost:   15
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     97537 |  121944   413803 |   40648   96722  6394394    66.1 | 17.618 % |
c |     97638 |  121944   413803 |   44712   21373  1048848    49.1 | 17.736 % |
c |     97790 |  121944   413803 |   49184   21525  1058737    49.2 | 17.736 % |
c |     98015 |  121939   413788 |   54102   21748  1065888    49.0 | 17.740 % |
c |     98353 |  121939   413788 |   59512   22086  1095694    49.6 | 17.740 % |
c |     98862 |  121939   413788 |   65464   22595  1102135    48.8 | 17.740 % |
c |     99625 |  121939   413788 |   72010   23358  1130156    48.4 | 17.740 % |
c |    100766 |  121939   413788 |   79211   24499  1189013    48.5 | 17.740 % |
c |    102475 |  121772   413362 |   87132   26166  1289734    49.3 | 17.906 % |
c |    105038 |  121758   413316 |   95845   28724  1604418    55.9 | 17.913 % |
c |    108883 |  121690   413153 |  105430   32560  1814983    55.7 | 17.985 % |
c |    114650 |  121664   413065 |  115973   38322  2253989    58.8 | 17.996 % |
c |    123302 |  121504   412627 |  127570   46950  2884217    61.4 | 18.130 % |
c |    136277 |  121377   412252 |  140327   59896  3826534    63.9 | 18.220 % |
c |    155740 |  121269   411963 |  154360   79337  6325884    79.7 | 18.310 % |
c |    184933 |  120455   409620 |  169796  108383  8929585    82.4 | 18.928 % |
c ==============================================================================
c [1mFound solution: 1243648[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> BDD-cost:   11
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    198866 |  120356   409355 |   40118  122305  9618114    78.6 | 18.928 % |
c |    198967 |  120346   409325 |   44129   22953   757340    33.0 | 19.068 % |
c |    199119 |  120346   409325 |   48542   23105   763717    33.1 | 19.068 % |
c |    199344 |  120336   409295 |   53397   23324   777769    33.3 | 19.075 % |
c |    199681 |  120336   409295 |   58736   23661   795319    33.6 | 19.075 % |
c |    200187 |  120336   409295 |   64610   24167   819799    33.9 | 19.075 % |
c |    200946 |  120336   409295 |   71071   24926   858539    34.4 | 19.075 % |
c |    202088 |  120292   409143 |   78178   26063   913266    35.0 | 19.090 % |
c |    203796 |  120292   409143 |   85996   27771  1095678    39.5 | 19.090 % |
c |    206358 |  120140   408607 |   94596   30312  1232353    40.7 | 19.126 % |
c |    210203 |  120130   408577 |  104055   34152  1367408    40.0 | 19.133 % |
c |    215975 |  120115   408532 |  114461   39917  1636328    41.0 | 19.144 % |
c |    224625 |  119851   407740 |  125907   48524  2571663    53.0 | 19.324 % |
c |    237599 |  119575   407047 |  138498   61460  4094846    66.6 | 19.638 % |
c |    257062 |  119009   405379 |  152348   80624  5837106    72.4 | 20.043 % |
c |    286256 |  118863   404916 |  167582  109794  8588372    78.2 | 20.118 % |
c ==============================================================================
c [1mFound solution: 1236416[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> BDD-cost:   14
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    316691 |  117960   402194 |   39320  140128 11461837    81.8 | 20.118 % |
c |    316793 |  117842   401784 |   43252   27438  1521447    55.5 | 20.783 % |
c |    316944 |  117740   401438 |   47577   27567  1527091    55.4 | 20.834 % |
c |    317170 |  117730   401408 |   52334   27791  1534808    55.2 | 20.841 % |
c |    317507 |  117730   401408 |   57568   28128  1551059    55.1 | 20.841 % |
c |    318015 |  117725   401393 |   63325   28635  1571859    54.9 | 20.844 % |
c |    318775 |  117725   401393 |   69657   29395  1663113    56.6 | 20.844 % |
c |    319915 |  117725   401393 |   76623   30535  1737734    56.9 | 20.844 % |
c |    321625 |  117628   401056 |   84285   32231  1799549    55.8 | 20.873 % |
c |    324187 |  117628   401056 |   92714   34793  2026914    58.3 | 20.873 % |
c |    328031 |  117620   401030 |  101985   38636  2319773    60.0 | 20.877 % |
c |    333798 |  117215   399640 |  112184   44351  2808882    63.3 | 21.043 % |
c |    342447 |  117215   399640 |  123403   53000  3526956    66.5 | 21.043 % |
c |    355422 |  116971   398860 |  135743   65939  4697446    71.2 | 21.202 % |
c |    374883 |  116657   397788 |  149317   85355  7187429    84.2 | 21.335 % |
c ==============================================================================
c [1mFound solution: 1234272[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> BDD-cost:   15
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    385225 |  116696   397881 |   38898   95697  8717811    91.1 | 21.335 % |
c |    385325 |  116696   397881 |   42787   23672  1714575    72.4 | 21.329 % |
c |    385476 |  116696   397881 |   47066   23823  1718980    72.2 | 21.329 % |
c |    385701 |  116696   397881 |   51773   24048  1729318    71.9 | 21.329 % |
c |    386040 |  116691   397866 |   56950   24385  1753355    71.9 | 21.332 % |
c |    386546 |  116634   397733 |   62645   24887  1770768    71.2 | 21.405 % |
c |    387309 |  116634   397733 |   68910   25650  1809579    70.5 | 21.405 % |
c |    388448 |  116634   397733 |   75801   26789  1877948    70.1 | 21.405 % |
c |    390158 |  116634   397733 |   83381   28499  2046815    71.8 | 21.405 % |
c |    392720 |  116634   397733 |   91719   31061  2233812    71.9 | 21.405 % |
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 -C0000065_bit_6 -C0000065_bit_#### 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.91 0.95 0.95 2/54 32435
Raw data (stat): 32435 (runsolver) R 32434 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 483195721 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+10.0007 s]
Raw data (loadavg): 0.93 0.96 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 1128 0 0 0 996 3 0 0 25 0 1 0 483195721 5140480 815 4294967295 134512640 134672761 3221224560 3221222544 134597188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 1255 815 603 41 0 1214 0
vsize: 5020
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 3788 0 0 0 1988 9 0 0 25 0 1 0 483195721 16125952 3340 4294967295 134512640 134672761 3221224560 3221223732 134556646 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 3937 3340 603 41 0 3896 0
vsize: 15748
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 3980 0 0 0 2988 10 0 0 25 0 1 0 483195721 16936960 3532 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4135 3532 603 41 0 4094 0
vsize: 16540
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 4221 0 0 0 3987 10 0 0 25 0 1 0 483195721 17936384 3773 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4379 3773 603 41 0 4338 0
vsize: 17516
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 4493 0 0 0 4986 11 0 0 25 0 1 0 483195721 19009536 4045 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4641 4045 603 41 0 4600 0
vsize: 18564
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 4783 0 0 0 5985 12 0 0 25 0 1 0 483195721 20217856 4335 4294967295 134512640 134672761 3221224560 3221223728 134560885 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4936 4335 603 41 0 4895 0
vsize: 19744
[startup+70.0093 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 5193 0 0 0 6984 13 0 0 25 0 1 0 483195721 21962752 4745 4294967295 134512640 134672761 3221224560 3221223760 134557828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5362 4745 603 41 0 5321 0
vsize: 21448
[startup+80.0162 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 5372 0 0 0 7984 14 0 0 25 0 1 0 483195721 22622208 4924 4294967295 134512640 134672761 3221224560 3221223696 134560604 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5523 4924 603 41 0 5482 0
vsize: 22092
[startup+90.0159 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 5656 0 0 0 8983 15 0 0 25 0 1 0 483195721 23949312 5208 4294967295 134512640 134672761 3221224560 3221223728 134560871 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5847 5208 603 41 0 5806 0
vsize: 23388
[startup+100.017 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 5876 0 0 0 9982 16 0 0 25 0 1 0 483195721 24756224 5428 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6044 5428 603 41 0 6003 0
vsize: 24176
[startup+110.017 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 6225 0 0 0 10981 18 0 0 25 0 1 0 483195721 26234880 5777 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6405 5777 603 41 0 6364 0
vsize: 25620
[startup+120.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 6477 0 0 0 11980 19 0 0 25 0 1 0 483195721 27168768 6029 4294967295 134512640 134672761 3221224560 3221223696 134560686 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6633 6029 603 41 0 6592 0
vsize: 26532
[startup+130.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 6735 0 0 0 12979 20 0 0 25 0 1 0 483195721 28237824 6287 4294967295 134512640 134672761 3221224560 3221223728 134561198 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6894 6287 603 41 0 6853 0
vsize: 27576
[startup+140.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 7009 0 0 0 13978 21 0 0 25 0 1 0 483195721 29315072 6561 4294967295 134512640 134672761 3221224560 3221223744 134559498 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7157 6561 603 41 0 7116 0
vsize: 28628
[startup+150.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 7394 0 0 0 14977 22 0 0 25 0 1 0 483195721 30916608 6946 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7548 6946 603 41 0 7507 0
vsize: 30192
[startup+160.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 7952 0 0 0 15976 24 0 0 25 0 1 0 483195721 33185792 7504 4294967295 134512640 134672761 3221224560 3221223732 134556653 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8102 7504 603 41 0 8061 0
vsize: 32408
[startup+170.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 8184 0 0 0 16975 25 0 0 25 0 1 0 483195721 34119680 7736 4294967295 134512640 134672761 3221224560 3221223712 134561244 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8330 7736 603 41 0 8289 0
vsize: 33320
[startup+180.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 8508 0 0 0 17974 26 0 0 25 0 1 0 483195721 35450880 8060 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8655 8060 603 41 0 8614 0
vsize: 34620
[startup+190.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 8794 0 0 0 18974 27 0 0 25 0 1 0 483195721 36921344 8346 4294967295 134512640 134672761 3221224560 3221223664 134559851 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9014 8346 603 41 0 8973 0
vsize: 36056
[startup+200.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 9047 0 0 0 19973 28 0 0 25 0 1 0 483195721 37859328 8599 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9243 8599 603 41 0 9202 0
vsize: 36972
[startup+210.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 9325 0 0 0 20973 28 0 0 25 0 1 0 483195721 39067648 8877 4294967295 134512640 134672761 3221224560 3221223760 134557895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9538 8877 603 41 0 9497 0
vsize: 38152
[startup+220.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 9465 0 0 0 21973 28 0 0 25 0 1 0 483195721 39604224 9017 4294967295 134512640 134672761 3221224560 3221223684 134566037 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9669 9017 603 41 0 9628 0
vsize: 38676
[startup+230.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 9689 0 0 0 22973 28 0 0 25 0 1 0 483195721 40546304 9241 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9899 9241 603 41 0 9858 0
vsize: 39596
[startup+240.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 9935 0 0 0 23972 29 0 0 25 0 1 0 483195721 41480192 9487 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10127 9487 603 41 0 10086 0
vsize: 40508
[startup+250.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 10273 0 0 0 24972 30 0 0 25 0 1 0 483195721 42807296 9825 4294967295 134512640 134672761 3221224560 3221223744 134558899 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10451 9825 603 41 0 10410 0
vsize: 41804
[startup+260.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 10541 0 0 0 25971 31 0 0 25 0 1 0 483195721 44007424 10093 4294967295 134512640 134672761 3221224560 3221223760 134557828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10744 10093 603 41 0 10703 0
vsize: 42976
[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 10817 0 0 0 26970 32 0 0 25 0 1 0 483195721 45080576 10369 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11006 10369 603 41 0 10965 0
vsize: 44024
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11042 0 0 0 27970 33 0 0 25 0 1 0 483195721 46034944 10594 4294967295 134512640 134672761 3221224560 3221223568 134565743 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11239 10594 603 41 0 11198 0
vsize: 44956
[startup+290.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11042 0 0 0 28969 33 0 0 25 0 1 0 483195721 46034944 10594 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11239 10594 603 41 0 11198 0
vsize: 44956
[startup+300.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11042 0 0 0 29970 33 0 0 25 0 1 0 483195721 46034944 10594 4294967295 134512640 134672761 3221224560 3221223732 134556646 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11239 10594 603 41 0 11198 0
vsize: 44956
[startup+310.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11042 0 0 0 30970 33 0 0 25 0 1 0 483195721 46034944 10594 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11239 10594 603 41 0 11198 0
vsize: 44956
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11042 0 0 0 31970 33 0 0 25 0 1 0 483195721 46034944 10594 4294967295 134512640 134672761 3221224560 3221223696 134560661 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11239 10594 603 41 0 11198 0
vsize: 44956
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11042 0 0 0 32970 33 0 0 25 0 1 0 483195721 46034944 10594 4294967295 134512640 134672761 3221224560 3221223684 134566037 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11239 10594 603 41 0 11198 0
vsize: 44956
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11042 0 0 0 33970 33 0 0 25 0 1 0 483195721 46034944 10594 4294967295 134512640 134672761 3221224560 3221223744 134558662 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11239 10594 603 41 0 11198 0
vsize: 44956
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11043 0 0 0 34970 33 0 0 25 0 1 0 483195721 46034944 10595 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11239 10595 603 41 0 11198 0
vsize: 44956
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11043 0 0 0 35971 33 0 0 25 0 1 0 483195721 46034944 10595 4294967295 134512640 134672761 3221224560 3221223732 134556651 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11239 10595 603 41 0 11198 0
vsize: 44956
[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11043 0 0 0 36971 33 0 0 25 0 1 0 483195721 46034944 10595 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11239 10595 603 41 0 11198 0
vsize: 44956
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11043 0 0 0 37971 33 0 0 25 0 1 0 483195721 46034944 10595 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11239 10595 603 41 0 11198 0
vsize: 44956
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11043 0 0 0 38971 33 0 0 25 0 1 0 483195721 46034944 10595 4294967295 134512640 134672761 3221224560 3221223744 134559403 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11239 10595 603 41 0 11198 0
vsize: 44956
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11043 0 0 0 39971 33 0 0 25 0 1 0 483195721 46034944 10595 4294967295 134512640 134672761 3221224560 3221223664 134560054 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11239 10595 603 41 0 11198 0
vsize: 44956
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11043 0 0 0 40971 33 0 0 25 0 1 0 483195721 46034944 10595 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11239 10595 603 41 0 11198 0
vsize: 44956
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11043 0 0 0 41972 33 0 0 25 0 1 0 483195721 46034944 10595 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11239 10595 603 41 0 11198 0
vsize: 44956
[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11043 0 0 0 42972 33 0 0 25 0 1 0 483195721 46034944 10595 4294967295 134512640 134672761 3221224560 3221223728 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11239 10595 603 41 0 11198 0
vsize: 44956
[startup+440.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11112 0 0 0 43972 33 0 0 25 0 1 0 483195721 46301184 10664 4294967295 134512640 134672761 3221224560 3221223732 134556651 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11304 10664 603 41 0 11263 0
vsize: 45216
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11359 0 0 0 44971 34 0 0 25 0 1 0 483195721 47230976 10911 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11531 10911 603 41 0 11490 0
vsize: 46124
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11696 0 0 0 45970 35 0 0 25 0 1 0 483195721 48697344 11248 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11889 11248 603 41 0 11848 0
vsize: 47556
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 11904 0 0 0 46969 36 0 0 25 0 1 0 483195721 49504256 11456 4294967295 134512640 134672761 3221224560 3221223724 134561235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12086 11456 603 41 0 12045 0
vsize: 48344
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 12280 0 0 0 47968 37 0 0 25 0 1 0 483195721 51101696 11832 4294967295 134512640 134672761 3221224560 3221223664 134560506 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12476 11832 603 41 0 12435 0
vsize: 49904
[startup+490.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 12528 0 0 0 48968 38 0 0 25 0 1 0 483195721 52031488 12080 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12703 12080 603 41 0 12662 0
vsize: 50812
[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 12769 0 0 0 49967 39 0 0 25 0 1 0 483195721 53100544 12321 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12964 12321 603 41 0 12923 0
vsize: 51856
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 12995 0 0 0 50967 39 0 0 25 0 1 0 483195721 54034432 12547 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13192 12547 603 41 0 13151 0
vsize: 52768
[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 13182 0 0 0 51966 40 0 0 25 0 1 0 483195721 54693888 12734 4294967295 134512640 134672761 3221224560 3221223732 134556639 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13353 12734 603 41 0 13312 0
vsize: 53412
[startup+530.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 13351 0 0 0 52966 40 0 0 25 0 1 0 483195721 55361536 12903 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13516 12903 603 41 0 13475 0
vsize: 54064
[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 13457 0 0 0 53966 41 0 0 25 0 1 0 483195721 55894016 13009 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13646 13009 603 41 0 13605 0
vsize: 54584
[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 13801 0 0 0 54965 42 0 0 25 0 1 0 483195721 57237504 13353 4294967295 134512640 134672761 3221224560 3221223664 134560264 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13974 13353 603 41 0 13933 0
vsize: 55896
[startup+560.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14029 0 0 0 55964 43 0 0 25 0 1 0 483195721 58163200 13581 4294967295 134512640 134672761 3221224560 3221223728 134561161 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14200 13581 603 41 0 14159 0
vsize: 56800
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14228 0 0 0 56963 44 0 0 25 0 1 0 483195721 58966016 13780 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14396 13780 603 41 0 14355 0
vsize: 57584
[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14509 0 0 0 57963 44 0 0 25 0 1 0 483195721 60043264 14061 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14659 14061 603 41 0 14618 0
vsize: 58636
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 58962 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134560954 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 59962 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 60963 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+620.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 61963 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223744 134558662 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 62963 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 63963 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 64963 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 65964 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 66964 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 67964 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223664 134560034 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 68964 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223664 134560215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 69964 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 70964 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223744 134558899 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 71965 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223732 134556643 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 72965 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 73965 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223760 134557800 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 74965 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 75965 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 76965 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 77966 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 78966 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223732 134556649 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 79966 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 80966 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134561391 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 81966 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+830.036 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 82967 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+840.037 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14751 0 0 0 83967 45 0 0 25 0 1 0 483195721 61202432 14303 4294967295 134512640 134672761 3221224560 3221223728 134560871 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14303 603 41 0 14901 0
vsize: 59768
[startup+850.037 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14752 0 0 0 84967 45 0 0 25 0 1 0 483195721 61202432 14304 4294967295 134512640 134672761 3221224560 3221223664 134560399 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14304 603 41 0 14901 0
vsize: 59768
[startup+860.038 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14752 0 0 0 85967 45 0 0 25 0 1 0 483195721 61202432 14304 4294967295 134512640 134672761 3221224560 3221223728 134560942 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14304 603 41 0 14901 0
vsize: 59768
[startup+870.038 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14753 0 0 0 86967 45 0 0 25 0 1 0 483195721 61202432 14305 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14942 14305 603 41 0 14901 0
vsize: 59768
[startup+880.038 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 14838 0 0 0 87967 45 0 0 25 0 1 0 483195721 61468672 14390 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15007 14390 603 41 0 14966 0
vsize: 60028
[startup+890.039 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 15091 0 0 0 88967 47 0 0 25 0 1 0 483195721 62529536 14643 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15266 14643 603 41 0 15225 0
vsize: 61064
[startup+900.039 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 15222 0 0 0 89966 47 0 0 25 0 1 0 483195721 63070208 14774 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15398 14774 603 41 0 15357 0
vsize: 61592
[startup+910.04 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 15421 0 0 0 90965 48 0 0 25 0 1 0 483195721 63881216 14973 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15596 14973 603 41 0 15555 0
vsize: 62384
[startup+920.04 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 15768 0 0 0 91965 49 0 0 25 0 1 0 483195721 65343488 15320 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15953 15320 603 41 0 15912 0
vsize: 63812
[startup+930.041 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 15953 0 0 0 92964 50 0 0 25 0 1 0 483195721 66543616 15505 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16246 15505 603 41 0 16205 0
vsize: 64984
[startup+940.041 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16289 0 0 0 93963 52 0 0 25 0 1 0 483195721 68001792 15841 4294967295 134512640 134672761 3221224560 3221223712 134561244 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16602 15841 603 41 0 16561 0
vsize: 66408
[startup+950.041 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16565 0 0 0 94962 53 0 0 25 0 1 0 483195721 69074944 16117 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16864 16117 603 41 0 16823 0
vsize: 67456
[startup+960.042 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16766 0 0 0 95961 54 0 0 25 0 1 0 483195721 69881856 16318 4294967295 134512640 134672761 3221224560 3221223736 134559668 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17061 16318 603 41 0 17020 0
vsize: 68244
[startup+970.041 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 96961 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223664 134560285 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+980.042 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 97960 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223760 134557911 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+990.043 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 98961 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 99961 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223728 134561385 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 100961 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223732 134556643 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 101961 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223664 134560215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 102961 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 103962 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 104962 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 105962 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 106962 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 107962 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 108963 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 109963 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 110963 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223664 134560399 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 111963 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223728 134561127 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 112963 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 113964 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223744 134559340 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 114964 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16955 0 0 0 115964 54 0 0 25 0 1 0 483195721 70664192 16507 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16507 603 41 0 17211 0
vsize: 69008
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16956 0 0 0 116964 54 0 0 25 0 1 0 483195721 70664192 16508 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16508 603 41 0 17211 0
vsize: 69008
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16956 0 0 0 117964 54 0 0 25 0 1 0 483195721 70664192 16508 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16508 603 41 0 17211 0
vsize: 69008
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16956 0 0 0 118964 54 0 0 25 0 1 0 483195721 70664192 16508 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16508 603 41 0 17211 0
vsize: 69008
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 32435
Raw data (stat): 32435 (minisat+) R 32434 30854 30853 0 -1 0 16956 0 0 0 119965 54 0 0 25 0 1 0 483195721 70664192 16508 4294967295 134512640 134672761 3221224560 3221223728 134560855 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17252 16508 603 41 0 17211 0
vsize: 69008
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.99 0.95 1/54 32435
Raw data (stat): 32435 (minisat+) Z 32434 30854 30853 0 -1 12 16959 0 0 0 119965 58 0 0 25 0 1 0 483195721 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.1
CPU time (s): 1200.24
CPU user time (s): 1199.66
CPU system time (s): 0.580911
CPU usage (%): 100.012
Max. virtual memory (Kb): 69008
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####