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:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc105.opb
MD5SUMb7668ee338f48dc7f664e7548454bbde
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 8589934592
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 22548578283
Number of bits of the biggest sum of numbers35
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark14.1129
Number of variables3090
Total number of constraints104
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints104
Minimum length of a constraint60
Maximum length of a constraint120

Trace number 2613

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-18 20:30:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2797 boxname=wulflinc26 idbench=453 idsolver=3 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b7668ee338f48dc7f664e7548454bbde  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-sc105.opb
REAL COMMAND:  minisat+_script /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-sc105.opb
IDLAUNCH: 2797
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        903644 kB
Buffers:         35844 kB
Cached:          67804 kB
SwapCached:        868 kB
Active:          68460 kB
Inactive:        37824 kB
HighTotal:      131008 kB
HighFree:        60452 kB
LowTotal:       903652 kB
LowFree:        843192 kB
SwapTotal:     2097892 kB
SwapFree:      2096540 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            19020 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 20:30:16 (client local time) WITH STATUS 30 IN 14.1129 SECONDS
stats: 2797 0 14.1129 30

Solver Data

c Parsing PB file...
c Converting 149 PB-constraints to clauses...
c   -- Unit propagations: ppppppppp
c   -- Detecting intervals from adjacent constraints: #############################################
c   -- Clauses(.)/Splits(s): (none)
c ---[ 148]---> Sorter-cost:  601     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[ 147]---> Sorter-cost:  598     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[ 145]---> BDD-cost:   49
c ---[ 143]---> BDD-cost:   49
c ---[ 141]---> BDD-cost:   46
c ---[ 139]---> BDD-cost:   49
c ---[ 138]---> BDD-cost:   49
c ---[ 137]---> BDD-cost:   46
c ---[ 136]---> BDD-cost:   49
c ---[ 135]---> Sorter-cost: 1044     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[ 134]---> Sorter-cost: 1020     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[ 133]---> BDD-cost:   49
c ---[ 131]---> Sorter-cost:  913     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5 2 2
c ---[ 129]---> BDD-cost:  152
c ---[ 127]---> BDD-cost:  155
c ---[ 125]---> BDD-cost:  146
c ---[ 123]---> BDD-cost:  150
c ---[ 122]---> BDD-cost:   55
c ---[ 121]---> BDD-cost:   52
c ---[ 120]---> BDD-cost:   52
c ---[ 119]---> Sorter-cost: 1121     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[ 118]---> Sorter-cost: 1087     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[ 117]---> BDD-cost:   52
c ---[ 115]---> Sorter-cost:  977     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5 2 2
c ---[ 113]---> BDD-cost:  161
c ---[ 111]---> BDD-cost:  168
c ---[ 109]---> BDD-cost:  159
c ---[ 107]---> BDD-cost:  159
c ---[ 106]---> BDD-cost:   58
c ---[ 105]---> BDD-cost:   55
c ---[ 104]---> BDD-cost:   55
c ---[ 103]---> Sorter-cost: 1186     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[ 102]---> Sorter-cost: 1152     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[ 101]---> BDD-cost:   55
c ---[  99]---> Sorter-cost: 1041     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5 2 2
c ---[  97]---> BDD-cost:  170
c ---[  95]---> BDD-cost:  177
c ---[  93]---> BDD-cost:  168
c ---[  91]---> BDD-cost:  168
c ---[  90]---> BDD-cost:   61
c ---[  89]---> BDD-cost:   58
c ---[  88]---> BDD-cost:   58
c ---[  87]---> Sorter-cost: 1251     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  86]---> Sorter-cost: 1217     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  85]---> BDD-cost:   58
c ---[  83]---> Sorter-cost: 1105     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5 2 2
c ---[  81]---> BDD-cost:  179
c ---[  79]---> BDD-cost:  186
c ---[  77]---> BDD-cost:  177
c ---[  75]---> BDD-cost:  177
c ---[  74]---> BDD-cost:   64
c ---[  73]---> BDD-cost:   61
c ---[  72]---> BDD-cost:   61
c ---[  71]---> Sorter-cost: 1316     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  70]---> Sorter-cost: 1282     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  69]---> BDD-cost:   61
c ---[  67]---> Sorter-cost: 1169     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5 2 2
c ---[  65]---> BDD-cost:  188
c ---[  63]---> BDD-cost:  195
c ---[  61]---> BDD-cost:  186
c ---[  59]---> BDD-cost:  186
c ---[  58]---> BDD-cost:   67
c ---[  57]---> BDD-cost:   64
c ---[  56]---> BDD-cost:   64
c ---[  55]---> Sorter-cost: 1381     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  54]---> Sorter-cost: 1347     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  53]---> BDD-cost:   64
c ---[  51]---> Sorter-cost: 1233     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5 2 2
c ---[  49]---> BDD-cost:  197
c ---[  47]---> BDD-cost:  204
c ---[  45]---> BDD-cost:  195
c ---[  43]---> BDD-cost:  195
c ---[  42]---> BDD-cost:   70
c ---[  41]---> BDD-cost:   67
c ---[  40]---> BDD-cost:   67
c ---[  39]---> Sorter-cost: 1446     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  38]---> Sorter-cost: 1412     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  37]---> BDD-cost:   67
c ---[  35]---> Sorter-cost: 1297     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5 2 2
c ---[  33]---> BDD-cost:  206
c ---[  31]---> BDD-cost:  213
c ---[  29]---> BDD-cost:  204
c ---[  27]---> BDD-cost:  204
c ---[  26]---> BDD-cost:   73
c ---[  25]---> BDD-cost:   70
c ---[  24]---> BDD-cost:   70
c ---[  23]---> Sorter-cost: 1511     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  22]---> Sorter-cost: 1477     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[  21]---> BDD-cost:   70
c ---[  19]---> Sorter-cost: 1361     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5 2 2
c ---[  17]---> BDD-cost:  215
c ---[  15]---> BDD-cost:  222
c ---[  13]---> BDD-cost:  213
c ---[  11]---> BDD-cost:  213
c ---[  10]---> BDD-cost:   76
c ---[   9]---> BDD-cost:   73
c ---[   8]---> BDD-cost:   73
c ---[   7]---> Sorter-cost: 1576     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[   6]---> Sorter-cost: 1542     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[   5]---> BDD-cost:   73
c ---[   3]---> Sorter-cost: 1422     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 5 2
c ---[   2]---> Sorter-cost: 2046     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3
c ---[   1]---> Sorter-cost: 1486     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
c ---[   0]---> BDD-cost:   73
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  109841   263361 |   36613       0        0     nan |  0.000 % |
c |       100 |  109755   263156 |   40274      89      413     4.6 |  7.446 % |
c |       251 |  107939   259032 |   44301     215     1233     5.7 |  8.610 % |
c |       476 |  107867   258866 |   48731     421     3352     8.0 |  8.691 % |
c |       813 |  107591   258224 |   53605     746     5113     6.9 |  8.865 % |
c |      1319 |  107591   258224 |   58965    1252     9462     7.6 |  8.865 % |
c |      2081 |  107591   258224 |   64862    2014    24526    12.2 |  8.865 % |
c |      3220 |  106557   255795 |   71348    3100    40029    12.9 |  9.750 % |
c |      4928 |  106201   254966 |   78483    4739    61312    12.9 | 10.107 % |
c |      7490 |  106183   254930 |   86331    7292   151573    20.8 | 10.127 % |
c ==============================================================================
c Found solution: 0
c ---[   0]---> BDD-cost:    5
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     10585 |  105812   254093 |   35270   10259   186353    18.2 | 10.127 % |
c ==============================================================================
c Optimal solution: 0
s OPTIMUM FOUND
v -COL00004_bit_10 -COL00004_bit_9 -COL00004_bit_8 -COL00004_bit_7 -COL00004_bit_6 -COL00004_bit_5 -COL00004_bit_4 -COL00004_bit_3 -COL00004_bit_2 -COL00004_bit_1 -COL00004_bit0 -COL00004_bit1 -COL00004_bit2 -COL00004_bit3 -COL00004_bit4 -COL00004_bit5 -COL00004_bit6 -COL00004_bit7 -COL00004_bit8 -COL00004_bit9 -COL00004_bit10 -COL00004_bit11 -COL00004_bit12 -COL00004_bit13 -COL00004_bit14 -COL00004_bit15 -COL00004_bit16 -COL00004_bit17 -COL00004_bit18 -COL00004_bit19 -COL00001_bit_10 COL00001_bit_9 -COL00001_bit_8 -COL00001_bit_7 COL00001_bit_6 COL00001_bit_5 COL00001_bit_4 COL00001_bit_3 -COL00001_bit_2 -COL00001_bit_1 -COL00001_bit0 -COL00001_bit1 COL00001_bit2 -COL00001_bit3 -COL00001_bit4 -COL00001_bit5 -COL00001_bit6 -COL00001_bit7 -COL00001_bit8 -COL00001_bit9 -COL00001_bit10 -COL00001_bit11 -COL00001_bit12 -COL00001_bit13 -COL00001_bit14 -COL00001_bit15 -COL00001_bit16 -COL00001_bit17 -COL00001_bit18 -COL00001_bit19 -COL00002_bit_10 -COL00002_bit_9 -COL00002_bit_8 -COL00002_bit_7 -COL00002_bit_6 -COL00002_bit_5 -COL00002_bit_4 COL00002_bit_3 COL00002_bit_2 -COL00002_bit_1 -COL00002_bit0 COL00002_bit1 COL00002_bit2 COL00002_bit3 -COL00002_bit4 COL00002_bit5 -COL00002_bit6 -COL00002_bit7 -COL00002_bit8 -COL00002_bit9 -COL00002_bit10 -COL00002_bit11 -COL00002_bit12 -COL00002_bit13 -COL00002_bit14 -COL00002_bit15 -COL00002_bit16 -COL00002_bit17 -COL00002_bit18 -COL00002_bit19 COL00003_bit_10 -COL00003_bit_9 -COL00003_bit_8 COL00003_bit_7 -COL00003_bit_6 -COL00003_bit_5 -COL00003_bit_4 -COL00003_bit_3 -COL00003_bit_2 -COL00003_bit_1 -COL00003_bit0 COL00003_bit1 -COL00003_bit2 -COL00003_bit3 -COL00003_bit4 -COL00003_bit5 -COL00003_bit6 -COL00003_bit7 -COL00003_bit8 -COL00003_bit9 -COL00003_bit10 -COL00003_bit11 -COL00003_bit12 -COL00003_bit13 -COL00003_bit14 -COL00003_bit15 -COL00003_bit16 -COL00003_bit17 -COL00003_bit18 -COL00003_bit19 -COL00005_bit_10 -COL00005_bit_9 -COL00005_bit_8 -COL00005_bit_7 -COL00005_bit_6 -COL00005_bit_5 -COL00005_bit_4 -COL00005_bit_3 -COL00005_bit_2 -COL00005_bit_1 -COL00005_bit0 -COL00005_bit1 -COL00005_bit2 -COL00005_bit3 -COL00005_bit4 -COL00005_bit5 -COL00005_bit6 -COL00005_bit7 -COL00005_bit8 -COL00005_bit9 -COL00005_bit10 -COL00005_bit11 -COL00005_bit12 -COL00005_bit13 -COL00005_bit14 -COL00005_bit15 -COL00005_bit16 -COL00005_bit17 -COL00005_bit18 -COL00005_bit19 -COL00006_bit_10 COL00006_bit_9 -COL00006_bit_8 -COL00006_bit_7 COL00006_bit_6 COL00006_bit_5 COL00006_bit_4 COL00006_bit_3 -COL00006_bit_2 -COL00006_bit_1 -COL00006_bit0 -COL00006_bit1 COL00006_bit2 -COL00006_bit3 -COL00006_bit4 -COL00006_bit5 -COL00006_bit6 -COL00006_bit7 -COL00006_bit8 -COL00006_bit9 -COL00006_bit10 -COL00006_bit11 -COL00006_bit12 -COL00006_bit13 -COL00006_bit14 -COL00006_bit15 -COL00006_bit16 -COL00006_bit17 -COL00006_bit18 -COL00006_bit19 -COL00007_bit_10 -COL00007_bit_9 -COL00007_bit_8 -COL00007_bit_7 -COL00007_bit_6 -COL00007_bit_5 -COL00007_bit_4 COL00007_bit_3 COL00007_bit_2 -COL00007_bit_1 -COL00007_bit0 COL00007_bit1 COL00007_bit2 COL00007_bit3 -COL00007_bit4 COL00007_bit5 -COL00007_bit6 -COL00007_bit7 -COL00007_bit8 -COL00007_bit9 -COL00007_bit10 -COL00007_bit11 -COL00007_bit12 -COL00007_bit13 -COL00007_bit14 -COL00007_bit15 -COL00007_bit16 -COL00007_bit17 -COL00007_bit18 -COL00007_bit19 COL00008_bit_10 -COL00008_bit_9 -COL00008_bit_8 COL00008_bit_7 -COL00008_bit_6 -COL00008_bit_5 -COL00008_bit_4 -COL00008_bit_3 -COL00008_bit_2 -COL00008_bit_1 -COL00008_bit0 COL00008_bit1 -COL00008_bit2 -COL00008_bit3 -COL00008_bit4 -COL00008_bit5 -COL00008_bit6 -COL00008_bit7 -COL00008_bit8 -COL00008_bit9 -COL00008_bit10 -COL00008_bit11 -COL00008_bit12 -COL00008_bit13 -COL00008_bit14 -COL00008_bit15 -COL00008_bit16 -COL00008_bit17 -COL00008_bit18 -COL00008_bit19 COL00009_bit_10 COL00009_bit_9 COL00009_bit_8 COL00009_bit_7 COL00009_bit_6 COL00009_bit_5 COL00009_bit_4 -COL00009_bit_3 -COL00009_bit_2 -COL00009_bit_1 -COL00009_bit0 -COL00009_bit1 -COL00009_bit2 -COL00009_bit3 -COL00009_bit4 -COL00009_bit5 -COL00009_bit6 -COL00009_bit7 -COL00009_bit8 -COL00009_bit9 -COL00009_bit10 -COL00009_bit11 -COL00009_bit12 -COL00009_bit13 -COL00009_bit14 -COL00009_bit15 -COL00009_bit16 -COL00009_bit17 -COL00009_bit18 -COL00009_bit19 COL00010_bit_10 COL00010_bit_9 COL00010_bit_8 COL00010_bit_7 COL00010_bit_6 -COL00010_bit_5 COL00010_bit_4 -COL00010_bit_3 -COL00010_bit_2 COL00010_bit_1 COL00010_bit0 COL00010_bit1 COL00010_bit2 COL00010_bit3 COL00010_bit4 -COL00010_bit5 -COL00010_bit6 -COL00010_bit7 -COL00010_bit8 -COL00010_bit9 -COL00010_bit10 -COL00010_bit11 -COL00010_bit12 -COL00010_bit13 -COL00010_bit14 -COL00010_bit15 -COL00010_bit16 -COL00010_bit17 -COL00010_bit18 -COL00010_bit19 -COL00011_bit_10 -COL00011_bit_9 COL00011_bit_8 -COL00011_bit_7 COL00011_bit_6 -COL00011_bit_5 -COL00011_bit_4 -COL00011_bit_3 -COL00011_bit_2 COL00011_bit_1 COL00011_bit0 -COL00011_bit1 -COL00011_bit2 -COL00011_bit3 -COL00011_bit4 -COL00011_bit5 -COL00011_bit6 -COL00011_bit7 -COL00011_bit8 -COL00011_bit9 -COL00011_bit10 -COL00011_bit11 -COL00011_bit12 -COL00011_bit13 -COL00011_bit14 -COL00011_bit15 -COL00011_bit16 -COL00011_bit17 -COL00011_bit18 -COL00011_bit19 -COL00012_bit_10 -COL00012_bit_9 -COL00012_bit_8 -COL00012_bit_7 -COL00012_bit_6 -COL00012_bit_5 -COL00012_bit_4 -COL00012_bit_3 COL00012_bit_2 -COL00012_bit_1 -COL00012_bit0 -COL00012_bit1 -COL00012_bit2 -COL00012_bit3 -COL00012_bit4 -COL00012_bit5 COL00012_bit6 -COL00012_bit7 -COL00012_bit8 -COL00012_bit9 -COL00012_bit10 -COL00012_bit11 -COL00012_bit12 -COL00012_bit13 -COL00012_bit14 -COL00012_bit15 -COL00012_bit16 -COL00012_bit17 -COL00012_bit18 -COL00012_bit19 -COL00013_bit_10 -COL00013_bit_9 COL00013_bit_8 -COL00013_bit_7 -COL00013_bit_6 COL00013_bit_5 -COL00013_bit_4 COL00013_bit_3 -COL00013_bit_2 COL00013_bit_1 COL00013_bit0 -COL00013_bit1 -COL00013_bit2 -COL00013_bit3 -COL00013_bit4 COL00013_bit5 -COL00013_bit6 -COL00013_bit7 -COL00013_bit8 -COL00013_bit9 -COL00013_bit10 -COL00013_bit11 -COL00013_bit12 -COL00013_bit13 -COL00013_bit14 -COL00013_bit15 -COL00013_bit16 -COL00013_bit17 -COL00013_bit18 -COL00013_bit19 COL00014_bit_10 COL00014_bit_9 COL00014_bit_8 COL00014_bit_7 -COL00014_bit_6 -COL00014_bit_5 -COL00014_bit_4 -COL00014_bit_3 -COL00014_bit_2 -COL00014_bit_1 -COL00014_bit0 -COL00014_bit1 -COL00014_bit2 -COL00014_bit3 -COL00014_bit4 -COL00014_bit5 -COL00014_bit6 -COL00014_bit7 -COL00014_bit8 -COL00014_bit9 -COL00014_bit10 -COL00014_bit11 -COL00014_bit12 -COL00014_bit13 -COL00014_bit14 -COL00014_bit15 -COL00014_bit16 -COL00014_bit17 -COL00014_bit18 -COL00014_bit19 -COL00015_bit_10 -COL00015_bit_9 -COL00015_bit_8 -COL00015_bit_7 -COL00015_bit_6 -COL00015_bit_5 -COL00015_bit_4 -COL00015_bit_3 -COL00015_bit_2 -COL00015_bit_1 -COL00015_bit0 -COL00015_bit1 -COL00015_bit2 -COL00015_bit3 -COL00015_bit4 -COL00015_bit5 -COL00015_bit6 -COL00015_bit7 -COL00015_bit8 -COL00015_bit9 -COL00015_bit10 -COL00015_bit11 -COL00015_bit12 -COL00015_bit13 -COL00015_bit14 -COL00015_bit15 -COL00015_bit16 -COL00015_bit17 -COL00015_bit18 -COL00015_bit19 -COL00016_bit_10 -COL00016_bit_9 -COL00016_bit_8 -COL00016_bit_7 -COL00016_bit_6 -COL00016_bit_5 -COL00016_bit_4 -COL00016_bit_3 -COL00016_bit_2 -COL00016_bit_1 -COL00016_bit0 -COL00016_bit1 -COL00016_bit2 -COL00016_bit3 -COL00016_bit4 -COL00016_bit5 -COL00016_bit6 -COL00016_bit7 -COL00016_bit8 -COL00016_bit9 -COL00016_bit10 -COL00016_bit11 -COL00016_bit12 -COL00016_bit13 -COL00016_bit14 -COL00016_bit15 -COL00016_bit16 -COL00016_bit17 -COL00016_bit18 -COL00016_bit19 -COL00017_bit_10 COL00017_bit_9 -COL00017_bit_8 -COL00017_bit_7 COL00017_bit_6 COL00017_bit_5 COL00017_bit_4 COL00017_bit_3 COL00017_bit_2 -COL00017_bit_1 -COL00017_bit0 -COL00017_bit1 COL00017_bit2 -COL00017_bit3 -COL00017_bit4 -COL00017_bit5 COL00017_bit6 -COL00017_bit7 -COL00017_bit8 -COL00017_bit9 -COL00017_bit10 -COL00017_bit11 -COL00017_bit12 -COL00017_bit13 -COL00017_bit14 -COL00017_bit15 -COL00017_bit16 -COL00017_bit17 -COL00017_bit18 -COL00017_bit19 -COL00018_bit_10 -COL00018_bit_9 COL00018_bit_8 -COL00018_bit_7 -COL00018_bit_6 COL00018_bit_5 -COL00018_bit_4 -COL00018_bit_3 -COL00018_bit_2 -COL00018_bit_1 -COL00018_bit0 -COL00018_bit1 -COL00018_bit2 -COL00018_bit3 COL00018_bit4 -COL00018_bit5 COL00018_bit6 -COL00018_bit7 -COL00018_bit8 -COL00018_bit9 -COL00018_bit10 -COL00018_bit11 -COL00018_bit12 -COL00018_bit13 -COL00018_bit14 -COL00018_bit15 -COL00018_bit16 -COL00018_bit17 -COL00018_bit18 -COL00018_bit19 -COL00019_bit_10 -COL00019_bit_9 -COL00019_bit_8 COL00019_bit_7 COL00019_bit_6 -COL00019_bit_5 -COL00019_bit_4 -COL00019_bit_3 -COL00019_bit_2 -COL00019_bit_1 -COL00019_bit0 COL00019_bit1 -COL00019_bit2 -COL00019_bit3 -COL00019_bit4 -COL00019_bit5 -COL00019_bit6 -COL00019_bit7 -COL00019_bit8 -COL00019_bit9 -COL00019_bit10 -COL00019_bit11 -COL00019_bit12 -COL00019_bit13 -COL00019_bit14 -COL00019_bit15 -COL00019_bit16 -COL00019_bit17 -COL00019_bit18 -COL00019_bit19 COL00020_bit_10 -COL00020_bit_9 COL00020_bit_8 COL00020_bit_7 COL00020_bit_6 COL00020_bit_5 COL00020_bit_4 COL00020_bit_3 COL00020_bit_2 COL00020_bit_1 COL00020_bit0 COL00020_bit1 COL00020_bit2 COL00020_bit3 -COL00020_bit4 COL00020_bit5 -COL00020_bit6 -COL00020_bit7 -COL00020_bit8 -COL00020_bit9 -COL00020_bit10 -COL00020_bit11 -COL00020_bit12 -COL00020_bit13 -COL00020_bit14 -COL00020_bit15 -COL00020_bit16 -COL00020_bit17 -COL00020_bit18 -COL00020_bit19 -COL00021_bit_10 COL00021_bit_9 -COL00021_bit_8 COL00021_bit_7 -COL00021_bit_6 COL00021_bit_5 COL00021_bit_4 COL00021_bit_3 COL00021_bit_2 COL00021_bit_1 COL00021_bit0 COL00021_bit1 -COL00021_bit2 COL00021_bit3 COL00021_bit4 COL00021_bit5 -COL00021_bit6 -COL00021_bit7 -COL00021_bit8 -COL00021_bit9 -COL00021_bit10 -COL00021_bit11 -COL00021_bit12 -COL00021_bit13 -COL00021_bit14 -COL00021_bit15 -COL00021_bit16 -COL00021_bit17 -COL00021_bit18 -COL00021_bit19 -COL00022_bit_10 -COL00022_bit_9 COL00022_bit_8 -COL00022_bit_7 -COL00022_bit_6 -COL00022_bit_5 -COL00022_bit_4 -COL00022_bit_3 -COL00022_bit_2 -COL00022_bit_1 COL00022_bit0 -COL00022_bit1 -COL00022_bit2 -COL00022_bit3 -COL00022_bit4 -COL00022_bit5 -COL00022_bit6 -COL00022_bit7 -COL00022_bit8 -COL00022_bit9 -COL00022_bit10 -COL00022_bit11 -COL00022_bit12 -COL00022_bit13 -COL00022_bit14 -COL00022_bit15 -COL00022_bit16 -COL00022_bit17 -COL00022_bit18 -COL00022_bit19 -COL00023_bit_10 -COL00023_bit_9 -COL00023_bit_8 -COL00023_bit_7 -COL00023_bit_6 -COL00023_bit_5 -COL00023_bit_4 -COL00023_bit_3 -COL00023_bit_2 -COL00023_bit_1 -COL00023_bit0 -COL00023_bit1 -COL00023_bit2 -COL00023_bit3 -COL00023_bit4 -COL00023_bit5 COL00023_bit6 -COL00023_bit7 -COL00023_bit8 -COL00023_bit9 -COL00023_bit10 -COL00023_bit11 -COL00023_bit12 -COL00023_bit13 -COL00023_bit14 -COL00023_bit15 -COL00023_bit16 -COL00023_bit17 -COL00023_bit18 -COL00023_bit19 -COL00024_bit_10 COL00024_bit_9 COL00024_bit_8 COL00024_bit_7 -COL00024_bit_6 COL00024_bit_5 COL00024_bit_4 COL00024_bit_3 COL00024_bit_2 COL00024_bit_1 COL00024_bit0 COL00024_bit1 COL00024_bit2 COL00024_bit3 -COL00024_bit4 COL00024_bit5 -COL00024_bit6 -COL00024_bit7 -COL00024_bit8 -COL00024_bit9 -COL00024_bit10 -COL00024_bit11 -COL00024_bit12 -COL00024_bit13 -COL00024_bit14 -COL00024_bit15 -COL00024_bit16 -COL00024_bit17 -COL00024_bit18 -COL00024_bit19 -COL00025_bit_10 -COL00025_bit_9 COL00025_bit_8 -COL00025_bit_7 -COL00025_bit_6 -COL00025_bit_5 -COL00025_bit_4 -COL00025_bit_3 -COL00025_bit_2 -COL00025_bit_1 -COL00025_bit0 -COL00025_bit1 -COL00025_bit2 -COL00025_bit3 -COL00025_bit4 -COL00025_bit5 -COL00025_bit6 -COL00025_bit7 -COL00025_bit8 -COL00025_bit9 -COL00025_bit10 -COL00025_bit11 -COL00025_bit12 -COL00025_bit13 -COL00025_bit14 -COL00025_bit15 -COL00025_bit16 -COL00025_bit17 -COL00025_bit18 -COL00025_bit19 -COL00026_bit_10 -COL00026_bit_9 -COL00026_bit_8 -COL00026_bit_7 -COL00026_bit_6 -COL00026_bit_5 -COL00026_bit_4 -COL00026_bit_3 -COL00026_bit_2 -COL00026_bit_1 -COL00026_bit0 -COL00026_bit1 -COL00026_bit2 -COL00026_bit3 -COL00026_bit4 -COL00026_bit5 -COL00026_bit6 -COL00026_bit7 -COL00026_bit8 -COL00026_bit9 -COL00026_bit10 -COL00026_bit11 -COL00026_bit12 -COL00026_bit13 -COL00026_bit14 -COL00026_bit15 -COL00026_bit16 -COL00026_bit17 -COL00026_bit18 -COL00026_bit19 -COL00027_bit_10 -COL00027_bit_9 -COL00027_bit_8 -COL00027_bit_7 -COL00027_bit_6 -COL00027_bit_5 -COL00027_bit_4 -COL00027_bit_3 -COL00027_bit_2 -COL00027_bit_1 -COL00027_bit0 -COL00027_bit1 -COL00027_bit2 -COL00027_bit3 -COL00027_bit4 -COL00027_bit5 -COL00027_bit6 -COL00027_bit7 -COL00027_bit8 -COL00027_bit9 -COL00027_bit10 -COL00027_bit11 -COL00027_bit12 -COL00027_bit13 -COL00027_bit14 -COL00027_bit15 -COL00027_bit16 -COL00027_bit17 -COL00027_bit18 -COL00027_bit19 -COL00028_bit_10 COL00028_bit_9 -COL00028_bit_8 -COL00028_bit_7 COL00028_bit_6 COL00028_bit_5 COL00028_bit_4 COL00028_bit_3 COL00028_bit_2 -COL00028_bit_1 -COL00028_bit0 -COL00028_bit1 COL00028_bit2 -COL00028_bit3 -COL00028_bit4 -COL00028_bit5 -COL00028_bit6 COL00028_bit7 -COL00028_bit8 -COL00028_bit9 -COL00028_bit10 -COL00028_bit11 -COL00028_bit12 -COL00028_bit13 -COL00028_bit14 -COL00028_bit15 -COL00028_bit16 -COL00028_bit17 -COL00028_bit18 -COL00028_bit19 -COL00029_bit_10 COL00029_bit_9 -COL00029_bit_8 -COL00029_bit_7 COL00029_bit_6 -COL00029_bit_5 -COL00029_bit_4 -COL00029_bit_3 -COL00029_bit_2 -COL00029_bit_1 -COL00029_bit0 -COL00029_bit1 -COL00029_bit2 -COL00029_bit3 -COL00029_bit4 -COL00029_bit5 -COL00029_bit6 COL00029_bit7 -COL00029_bit8 -COL00029_bit9 -COL00029_bit10 -COL00029_bit11 -COL00029_bit12 -COL00029_bit13 -COL00029_bit14 -COL00029_bit15 -COL00029_bit16 -COL00029_bit17 -COL00029_bit18 -COL00029_bit19 -COL00030_bit_10 -COL00030_bit_9 COL00030_bit_8 COL00030_bit_7 COL00030_bit_6 -COL00030_bit_5 -COL00030_bit_4 -COL00030_bit_3 -COL00030_bit_2 -COL00030_bit_1 -COL00030_bit0 COL00030_bit1 -COL00030_bit2 -COL00030_bit3 -COL00030_bit4 -COL00030_bit5 -COL00030_bit6 -COL00030_bit7 -COL00030_bit8 -COL00030_bit9 -COL00030_bit10 -COL00030_bit11 -COL00030_bit12 -COL00030_bit13 -COL00030_bit14 -COL00030_bit15 -COL00030_bit16 -COL00030_bit17 -COL00030_bit18 -COL00030_bit19 -COL00031_bit_10 -COL00031_bit_9 COL00031_bit_8 COL00031_bit_7 -COL00031_bit_6 -COL00031_bit_5 -COL00031_bit_4 -COL00031_bit_3 -COL00031_bit_2 COL00031_bit_1 COL00031_bit0 -COL00031_bit1 -COL00031_bit2 -COL00031_bit3 -COL00031_bit4 COL00031_bit5 -COL00031_bit6 -COL00031_bit7 -COL00031_bit8 -COL00031_bit9 -COL00031_bit10 -COL00031_bit11 -COL00031_bit12 -COL00031_bit13 -COL00031_bit14 -COL00031_bit15 -COL00031_bit16 -COL00031_bit17 -COL00031_bit18 -COL00031_bit19 COL00032_bit_10 -COL00032_bit_9 -COL00032_bit_8 -COL00032_bit_7 -COL00032_bit_6 -COL00032_bit_5 -COL00032_bit_4 -COL00032_bit_3 -COL00032_bit_2 -COL00032_bit_1 COL00032_bit0 COL00032_bit1 COL00032_bit2 COL00032_bit3 COL00032_bit4 COL00032_bit5 COL00032_bit6 -COL00032_bit7 -COL00032_bit8 -COL00032_bit9 -COL00032_bit10 -COL00032_bit11 -COL00032_bit12 -COL00032_bit13 -COL00032_bit14 -COL00032_bit15 -COL00032_bit16 -COL00032_bit17 -COL00032_bit18 -COL00032_bit19 -COL00033_bit_10 -COL00033_bit_9 -COL00033_bit_8 COL00033_bit_7 -COL00033_bit_6 -COL00033_bit_5 -COL00033_bit_4 -COL00033_bit_3 -COL00033_bit_2 -COL00033_bit_1 -COL00033_bit0 -COL00033_bit1 -COL00033_bit2 -COL00033_bit3 -COL00033_bit4 -COL00033_bit5 -COL00033_bit6 -COL00033_bit7 -COL00033_bit8 -COL00033_bit9 -COL00033_bit10 -COL00033_bit11 -COL00033_bit12 -COL00033_bit13 -COL00033_bit14 -COL00033_bit15 -COL00033_bit16 -COL00033_bit17 -COL00033_bit18 -COL00033_bit19 -COL00034_bit_10 -COL00034_bit_9 -COL00034_bit_8 COL00034_bit_7 -COL00034_bit_6 -COL00034_bit_5 -COL00034_bit_4 -COL00034_bit_3 -COL00034_bit_2 COL00034_bit_1 -COL00034_bit0 -COL00034_bit1 -COL00034_bit2 -COL00034_bit3 -COL00034_bit4 COL00034_bit5 -COL00034_bit6 -COL00034_bit7 -COL00034_bit8 -COL00034_bit9 -COL00034_bit10 -COL00034_bit11 -COL00034_bit12 -COL00034_bit13 -COL00034_bit14 -COL00034_bit15 -COL00034_bit16 -COL00034_bit17 -COL00034_bit18 -COL00034_bit19 -COL00035_bit_10 COL00035_bit_9 COL00035_bit_8 COL00035_bit_7 COL00035_bit_6 COL00035_bit_5 COL00035_bit_4 COL00035_bit_3 COL00035_bit_2 -COL00035_bit_1 -COL00035_bit0 -COL00035_bit1 -COL00035_bit2 -COL00035_bit3 -COL00035_bit4 COL00035_bit5 COL00035_bit6 -COL00035_bit7 -COL00035_bit8 -COL00035_bit9 -COL00035_bit10 -COL00035_bit11 -COL00035_bit12 -COL00035_bit13 -COL00035_bit14 -COL00035_bit15 -COL00035_bit16 -COL00035_bit17 -COL00035_bit18 -COL00035_bit19 -COL00036_bit_10 -COL00036_bit_9 COL00036_bit_8 COL00036_bit_7 COL00036_bit_6 COL00036_bit_5 COL00036_bit_4 COL00036_bit_3 COL00036_bit_2 COL00036_bit_1 -COL00036_bit0 -COL00036_bit1 -COL00036_bit2 -COL00036_bit3 -COL00036_bit4 -COL00036_bit5 -COL00036_bit6 -COL00036_bit7 -COL00036_bit8 -COL00036_bit9 -COL00036_bit10 -COL00036_bit11 -COL00036_bit12 -COL00036_bit13 -COL00036_bit14 -COL00036_bit15 -COL00036_bit16 -COL00036_bit17 -COL00036_bit18 -COL00036_bit19 -COL00037_bit_10 -COL00037_bit_9 -COL00037_bit_8 -COL00037_bit_7 -COL00037_bit_6 -COL00037_bit_5 -COL00037_bit_4 -COL00037_bit_3 -COL00037_bit_2 -COL00037_bit_1 -COL00037_bit0 -COL00037_bit1 -COL00037_bit2 -COL00037_bit3 -COL00037_bit4 -COL00037_bit5 -COL00037_bit6 -COL00037_bit7 -COL00037_bit8 -COL00037_bit9 -COL00037_bit10 -COL00037_bit11 -COL00037_bit12 -COL00037_bit13 -COL00037_bit14 -COL00037_bit15 -COL00037_bit16 -COL00037_bit17 -COL00037_bit18 -COL00037_bit19 -COL00038_bit_10 -COL00038_bit_9 -COL00038_bit_8 -COL00038_bit_7 -COL00038_bit_6 -COL00038_bit_5 -COL00038_bit_4 -COL00038_bit_3 -COL00038_bit_2 -COL00038_bit_1 -COL00038_bit0 -COL00038_bit1 -COL00038_bit2 -COL00038_bit3 -COL00038_bit4 -COL00038_bit5 -COL00038_bit6 -COL00038_bit7 -COL00038_bit8 -COL00038_bit9 -COL00038_bit10 -COL00038_bit11 -COL00038_bit12 -COL00038_bit13 -COL00038_bit14 -COL00038_bit15 -COL00038_bit16 -COL00038_bit17 -COL00038_bit18 -COL00038_bit19 -COL00039_bit_10 COL00039_bit_9 -COL00039_bit_8 COL00039_bit_7 COL00039_bit_6 COL00039_bit_5 COL00039_bit_4 COL00039_bit_3 COL00039_bit_2 COL00039_bit_1 -COL00039_bit0 -COL00039_bit1 COL00039_bit2 -COL00039_bit3 -COL00039_bit4 COL00039_bit5 -COL00039_bit6 COL00039_bit7 -COL00039_bit8 -COL00039_bit9 -COL00039_bit10 -COL00039_bit11 -COL00039_bit12 -COL00039_bit13 -COL00039_bit14 -COL00039_bit15 -COL00039_bit16 -COL00039_bit17 -COL00039_bit18 -COL00039_bit19 -COL00040_bit_10 -COL00040_bit_9 -COL00040_bit_8 -COL00040_bit_7 COL00040_bit_6 -COL00040_bit_5 -COL00040_bit_4 -COL00040_bit_3 -COL00040_bit_2 COL00040_bit_1 -COL00040_bit0 -COL00040_bit1 -COL00040_bit2 -COL00040_bit3 -COL00040_bit4 COL00040_bit5 COL00040_bit6 COL00040_bit7 -COL00040_bit8 -COL00040_bit9 -COL00040_bit10 -COL00040_bit11 -COL00040_bit12 -COL00040_bit13 -COL00040_bit14 -COL00040_bit15 -COL00040_bit16 -COL00040_bit17 -COL00040_bit18 -COL00040_bit19 -COL00041_bit_10 -COL00041_bit_9 -COL00041_bit_8 COL00041_bit_7 COL00041_bit_6 -COL00041_bit_5 -COL00041_bit_4 -COL00041_bit_3 -COL00041_bit_2 -COL00041_bit_1 COL00041_bit0 COL00041_bit1 -COL00041_bit2 -COL00041_bit3 -COL00041_bit4 -COL00041_bit5 -COL00041_bit6 -COL00041_bit7 -COL00041_bit8 -COL00041_bit9 -COL00041_bit10 -COL00041_bit11 -COL00041_bit12 -COL00041_bit13 -COL00041_bit14 -COL00041_bit15 -COL00041_bit16 -COL00041_bit17 -COL00041_bit18 -COL00041_bit19 COL00042_bit_10 COL00042_bit_9 -COL00042_bit_8 -COL00042_bit_7 -COL00042_bit_6 -COL00042_bit_5 COL00042_bit_4 COL00042_bit_3 -COL00042_bit_2 -COL00042_bit_1 COL00042_bit0 COL00042_bit1 -COL00042_bit2 COL00042_bit3 -COL00042_bit4 -COL00042_bit5 COL00042_bit6 -COL00042_bit7 -COL00042_bit8 -COL00042_bit9 -COL00042_bit10 -COL00042_bit11 -COL00042_bit12 -COL00042_bit13 -COL00042_bit14 -COL00042_bit15 -COL00042_bit16 -COL00042_bit17 -COL00042_bit18 -COL00042_bit19 -COL00043_bit_10 -COL00043_bit_9 -COL00043_bit_8 -COL00043_bit_7 -COL00043_bit_6 -COL00043_bit_5 -COL00043_bit_4 -COL00043_bit_3 -COL00043_bit_2 COL00043_bit_1 -COL00043_bit0 COL00043_bit1 COL00043_bit2 -COL00043_bit3 COL00043_bit4 COL00043_bit5 -COL00043_bit6 -COL00043_bit7 -COL00043_bit8 -COL00043_bit9 -COL00043_bit10 -COL00043_bit11 -COL00043_bit12 -COL00043_bit13 -COL00043_bit14 -COL00043_bit15 -COL00043_bit16 -COL00043_bit17 -COL00043_bit18 -COL00043_bit19 -COL00044_bit_10 COL00044_bit_9 COL00044_bit_8 -COL00044_bit_7 -COL00044_bit_6 -COL00044_bit_5 -COL00044_bit_4 -COL00044_bit_3 -COL00044_bit_2 -COL00044_bit_1 COL00044_bit0 -COL00044_bit1 -COL00044_bit2 -COL00044_bit3 -COL00044_bit4 -COL00044_bit5 -COL00044_bit6 -COL00044_bit7 -COL00044_bit8 -COL00044_bit9 -COL00044_bit10 -COL00044_bit11 -COL00044_bit12 -COL00044_bit13 -COL00044_bit14 -COL00044_bit15 -COL00044_bit16 -COL00044_bit17 -COL00044_bit18 -COL00044_bit19 -COL00045_bit_10 COL00045_bit_9 -COL00045_bit_8 -COL00045_bit_7 -COL00045_bit_6 -COL00045_bit_5 -COL00045_bit_4 -COL00045_bit_3 -COL00045_bit_2 -COL00045_bit_1 -COL00045_bit0 -COL00045_bit1 COL00045_bit2 -COL00045_bit3 -COL00045_bit4 COL00045_bit5 COL00045_bit6 -COL00045_bit7 -COL00045_bit8 -COL00045_bit9 -COL00045_bit10 -COL00045_bit11 -COL00045_bit12 -COL00045_bit13 -COL00045_bit14 -COL00045_bit15 -COL00045_bit16 -COL00045_bit17 -COL00045_bit18 -COL00045_bit19 -COL00046_bit_10 -COL00046_bit_9 COL00046_bit_8 COL00046_bit_7 COL00046_bit_6 COL00046_bit_5 COL00046_bit_4 COL00046_bit_3 COL00046_bit_2 COL00046_bit_1 -COL00046_bit0 -COL00046_bit1 -COL00046_bit2 -COL00046_bit3 -COL00046_bit4 -COL00046_bit5 -COL00046_bit6 -COL00046_bit7 -COL00046_bit8 -COL00046_bit9 -COL00046_bit10 -COL00046_bit11 -COL00046_bit12 -COL00046_bit13 -COL00046_bit14 -COL00046_bit15 -COL00046_bit16 -COL00046_bit17 -COL00046_bit18 -COL00046_bit19 -COL00047_bit_10 -COL00047_bit_9 COL00047_bit_8 COL00047_bit_7 -COL00047_bit_6 COL00047_bit_5 -COL00047_bit_4 -COL00047_bit_3 COL00047_bit_2 COL00047_bit_1 -COL00047_bit0 -COL00047_bit1 -COL00047_bit2 -COL00047_bit3 -COL00047_bit4 -COL00047_bit5 -COL00047_bit6 -COL00047_bit7 -COL00047_bit8 -COL00047_bit9 -COL00047_bit10 -COL00047_bit11 -COL00047_bit12 -COL00047_bit13 -COL00047_bit14 -COL00047_bit15 -COL00047_bit16 -COL00047_bit17 -COL00047_bit18 -COL00047_bit19 -COL00048_bit_10 -COL00048_bit_9 -COL00048_bit_8 -COL00048_bit_7 -COL00048_bit_6 -COL00048_bit_5 -COL00048_bit_4 -COL00048_bit_3 -COL00048_bit_2 -COL00048_bit_1 -COL00048_bit0 -COL00048_bit1 -COL00048_bit2 -COL00048_bit3 -COL00048_bit4 -COL00048_bit5 -COL00048_bit6 -COL00048_bit7 -COL00048_bit8 -COL00048_bit9 -COL00048_bit10 -COL00048_bit11 -COL00048_bit12 -COL00048_bit13 -COL00048_bit14 -COL00048_bit15 -COL00048_bit16 -COL00048_bit17 -COL00048_bit18 -COL00048_bit19 -COL00049_bit_10 -COL00049_bit_9 -COL00049_bit_8 -COL00049_bit_7 -COL00049_bit_6 -COL00049_bit_5 -COL00049_bit_4 -COL00049_bit_3 -COL00049_bit_2 -COL00049_bit_1 -COL00049_bit0 -COL00049_bit1 -COL00049_bit2 -COL00049_bit3 -COL00049_bit4 -COL00049_bit5 -COL00049_bit6 -COL00049_bit7 -COL00049_bit8 -COL00049_bit9 -COL00049_bit10 -COL00049_bit11 -COL00049_bit12 -COL00049_bit13 -COL00049_bit14 -COL00049_bit15 -COL00049_bit16 -COL00049_bit17 -COL00049_bit18 -COL00049_bit19 -COL00050_bit_10 -COL00050_bit_9 COL00050_bit_8 COL00050_bit_7 COL00050_bit_6 COL00050_bit_5 COL00050_bit_4 COL00050_bit_3 COL00050_bit_2 COL00050_bit_1 -COL00050_bit0 -COL00050_bit1 -COL00050_bit2 COL00050_bit3 -COL00050_bit4 -COL00050_bit5 -COL00050_bit6 -COL00050_bit7 COL00050_bit8 -COL00050_bit9 -COL00050_bit10 -COL00050_bit11 -COL00050_bit12 -COL00050_bit13 -COL00050_bit14 -COL00050_bit15 -COL00050_bit16 -COL00050_bit17 -COL00050_bit18 -COL00050_bit19 -COL00051_bit_10 -COL00051_bit_9 COL00051_bit_8 COL00051_bit_7 -COL00051_bit_6 -COL00051_bit_5 -COL00051_bit_4 -COL00051_bit_3 -COL00051_bit_2 COL00051_bit_1 COL00051_bit0 -COL00051_bit1 -COL00051_bit2 -COL00051_bit3 -COL00051_bit4 COL00051_bit5 COL00051_bit6 COL00051_bit7 -COL00051_bit8 -COL00051_bit9 -COL00051_bit10 -COL00051_bit11 -COL00051_bit12 -COL00051_bit13 -COL00051_bit14 -COL00051_bit15 -COL00051_bit16 -COL00051_bit17 -COL00051_bit18 -COL00051_bit19 -COL00052_bit_10 -COL00052_bit_9 COL00052_bit_8 -COL00052_bit_7 -COL00052_bit_6 -COL00052_bit_5 COL00052_bit_4 -COL00052_bit_3 COL00052_bit_2 COL00052_bit_1 COL00052_bit0 COL00052_bit1 -COL00052_bit2 -COL00052_bit3 -COL00052_bit4 -COL00052_bit5 -COL00052_bit6 -COL00052_bit7 -COL00052_bit8 -COL00052_bit9 -COL00052_bit10 -COL00052_bit11 -COL00052_bit12 -COL00052_bit13 -COL00052_bit14 -COL00052_bit15 -COL00052_bit16 -COL00052_bit17 -COL00052_bit18 -COL00052_bit19 COL00053_bit_10 -COL00053_bit_9 COL00053_bit_8 -COL00053_bit_7 -COL00053_bit_6 COL00053_bit_5 -COL00053_bit_4 COL00053_bit_3 COL00053_bit_2 COL00053_bit_1 COL00053_bit0 COL00053_bit1 COL00053_bit2 -COL00053_bit3 COL00053_bit4 -COL00053_bit5 -COL00053_bit6 COL00053_bit7 -COL00053_bit8 -COL00053_bit9 -COL00053_bit10 -COL00053_bit11 -COL00053_bit12 -COL00053_bit13 -COL00053_bit14 -COL00053_bit15 -COL00053_bit16 -COL00053_bit17 -COL00053_bit18 -COL00053_bit19 -COL00054_bit_10 COL00054_bit_9 COL00054_bit_8 -COL00054_bit_7 -COL00054_bit_6 -COL00054_bit_5 COL00054_bit_4 -COL00054_bit_3 COL00054_bit_2 -COL00054_bit_1 -COL00054_bit0 -COL00054_bit1 -COL00054_bit2 COL00054_bit3 COL00054_bit4 -COL00054_bit5 -COL00054_bit6 COL00054_bit7 -COL00054_bit8 -COL00054_bit9 -COL00054_bit10 -COL00054_bit11 -COL00054_bit12 -COL00054_bit13 -COL00054_bit14 -COL00054_bit15 -COL00054_bit16 -COL00054_bit17 -COL00054_bit18 -COL00054_bit19 -COL00055_bit_10 COL00055_bit_9 -COL00055_bit_8 -COL00055_bit_7 -COL00055_bit_6 -COL00055_bit_5 -COL00055_bit_4 COL00055_bit_3 -COL00055_bit_2 COL00055_bit_1 COL00055_bit0 -COL00055_bit1 -COL00055_bit2 -COL00055_bit3 -COL00055_bit4 -COL00055_bit5 -COL00055_bit6 -COL00055_bit7 -COL00055_bit8 -COL00055_bit9 -COL00055_bit10 -COL00055_bit11 -COL00055_bit12 -COL00055_bit13 -COL00055_bit14 -COL00055_bit15 -COL00055_bit16 -COL00055_bit17 -COL00055_bit18 -COL00055_bit19 -COL00056_bit_10 -COL00056_bit_9 -COL00056_bit_8 -COL00056_bit_7 -COL00056_bit_6 -COL00056_bit_5 -COL00056_bit_4 -COL00056_bit_3 -COL00056_bit_2 -COL00056_bit_1 -COL00056_bit0 COL00056_bit1 COL00056_bit2 -COL00056_bit3 -COL00056_bit4 COL00056_bit5 COL00056_bit6 -COL00056_bit7 -COL00056_bit8 -COL00056_bit9 -COL00056_bit10 -COL00056_bit11 -COL00056_bit12 -COL00056_bit13 -COL00056_bit14 -COL00056_bit15 -COL00056_bit16 -COL00056_bit17 -COL00056_bit18 -COL00056_bit19 -COL00057_bit_10 -COL00057_bit_9 -COL00057_bit_8 -COL00057_bit_7 -COL00057_bit_6 COL00057_bit_5 -COL00057_bit_4 -COL00057_bit_3 COL00057_bit_2 COL00057_bit_1 COL00057_bit0 COL00057_bit1 -COL00057_bit2 -COL00057_bit3 -COL00057_bit4 -COL00057_bit5 COL00057_bit6 -COL00057_bit7 -COL00057_bit8 -COL00057_bit9 -COL00057_bit10 -COL00057_bit11 -COL00057_bit12 -COL00057_bit13 -COL00057_bit14 -COL00057_bit15 -COL00057_bit16 -COL00057_bit17 -COL00057_bit18 -COL00057_bit19 COL00058_bit_10 -COL00058_bit_9 -COL00058_bit_8 -COL00058_bit_7 -COL00058_bit_6 -COL00058_bit_5 -COL00058_bit_4 -COL00058_bit_3 -COL00058_bit_2 COL00058_bit_1 COL00058_bit0 COL00058_bit1 COL00058_bit2 -COL00058_bit3 -COL00058_bit4 -COL00058_bit5 -COL00058_bit6 -COL00058_bit7 -COL00058_bit8 -COL00058_bit9 -COL00058_bit10 -COL00058_bit11 -COL00058_bit12 -COL00058_bit13 -COL00058_bit14 -COL00058_bit15 -COL00058_bit16 -COL00058_bit17 -COL00058_bit18 -COL00058_bit19 -COL00059_bit_10 -COL00059_bit_9 -COL00059_bit_8 -COL00059_bit_7 -COL00059_bit_6 -COL00059_bit_5 -COL00059_bit_4 -COL00059_bit_3 -COL00059_bit_2 -COL00059_bit_1 -COL00059_bit0 -COL00059_bit1 -COL00059_bit2 -COL00059_bit3 -COL00059_bit4 -COL00059_bit5 -COL00059_bit6 -COL00059_bit7 -COL00059_bit8 -COL00059_bit9 -COL00059_bit10 -COL00059_bit11 -COL00059_bit12 -COL00059_bit13 -COL00059_bit14 -COL00059_bit15 -COL00059_bit16 -COL00059_bit17 -COL00059_bit18 -COL00059_bit19 -COL00060_bit_10 -COL00060_bit_9 -COL00060_bit_8 -COL00060_bit_7 -COL00060_bit_6 -COL00060_bit_5 -COL00060_bit_4 -COL00060_bit_3 -COL00060_bit_2 -COL00060_bit_1 -COL00060_bit0 -COL00060_bit1 -COL00060_bit2 -COL00060_bit3 -COL00060_bit4 -COL00060_bit5 -COL00060_bit6 -COL00060_bit7 -COL00060_bit8 -COL00060_bit9 -COL00060_bit10 -COL00060_bit11 -COL00060_bit12 -COL00060_bit13 -COL00060_bit14 -COL00060_bit15 -COL00060_bit16 -COL00060_bit17 -COL00060_bit18 -COL00060_bit19 -COL00061_bit_10 -COL00061_bit_9 COL00061_bit_8 COL00061_bit_7 COL00061_bit_6 COL00061_bit_5 COL00061_bit_4 COL00061_bit_3 COL00061_bit_2 COL00061_bit_1 -COL00061_bit0 COL00061_bit1 COL00061_bit2 COL00061_bit3 -COL00061_bit4 COL00061_bit5 COL00061_bit6 -COL00061_bit7 COL00061_bit8 -COL00061_bit9 -COL00061_bit10 -COL00061_bit11 -COL00061_bit12 -COL00061_bit13 -COL00061_bit14 -COL00061_bit15 -COL00061_bit16 -COL00061_bit17 -COL00061_bit18 -COL00061_bit19 -COL00062_bit_10 -COL00062_bit_9 COL00062_bit_8 COL00062_bit_7 -COL00062_bit_6 COL00062_bit_5 -COL00062_bit_4 -COL00062_bit_3 COL00062_bit_2 -COL00062_bit_1 COL00062_bit0 -COL00062_bit1 COL00062_bit2 -COL00062_bit3 -COL00062_bit4 COL00062_bit5 -COL00062_bit6 -COL00062_bit7 COL00062_bit8 -COL00062_bit9 -COL00062_bit10 -COL00062_bit11 -COL00062_bit12 -COL00062_bit13 -COL00062_bit14 -COL00062_bit15 -COL00062_bit16 -COL00062_bit17 -COL00062_bit18 -COL00062_bit19 COL00063_bit_10 -COL00063_bit_9 COL00063_bit_8 -COL00063_bit_7 -COL00063_bit_6 -COL00063_bit_5 COL00063_bit_4 -COL00063_bit_3 COL00063_bit_2 -COL00063_bit_1 COL00063_bit0 COL00063_bit1 -COL00063_bit2 COL00063_bit3 -COL00063_bit4 -COL00063_bit5 -COL00063_bit6 -COL00063_bit7 -COL00063_bit8 -COL00063_bit9 -COL00063_bit10 -COL00063_bit11 -COL00063_bit12 -COL00063_bit13 -COL00063_bit14 -COL00063_bit15 -COL00063_bit16 -COL00063_bit17 -COL00063_bit18 -COL00063_bit19 -COL00064_bit_10 -COL00064_bit_9 -COL00064_bit_8 -COL00064_bit_7 -COL00064_bit_6 -COL00064_bit_5 -COL00064_bit_4 -COL00064_bit_3 -COL00064_bit_2 -COL00064_bit_1 COL00064_bit0 COL00064_bit1 COL00064_bit2 COL00064_bit3 -COL00064_bit4 -COL00064_bit5 -COL00064_bit6 -COL00064_bit7 -COL00064_bit8 -COL00064_bit9 -COL00064_bit10 -COL00064_bit11 -COL00064_bit12 -COL00064_bit13 -COL00064_bit14 -COL00064_bit15 -COL00064_bit16 -COL00064_bit17 -COL00064_bit18 -COL00064_bit19 -COL00065_bit_10 -COL00065_bit_9 -COL00065_bit_8 -COL00065_bit_7 -COL00065_bit_6 -COL00065_bit_5 -COL00065_bit_4 -COL00065_bit_3 -COL00065_bit_2 -COL00065_bit_1 -COL00065_bit0 -COL00065_bit1 -COL00065_bit2 -COL00065_bit3 -COL00065_bit4 COL00065_bit5 -COL00065_bit6 -COL00065_bit7 COL00065_bit8 -COL00065_bit9 -COL00065_bit10 -COL00065_bit11 -COL00065_bit12 -COL00065_bit13 -COL00065_bit14 -COL00065_bit15 -COL00065_bit16 -COL00065_bit17 -COL00065_bit18 -COL00065_bit19 -COL00066_bit_10 COL00066_bit_9 COL00066_bit_8 -COL00066_bit_7 -COL00066_bit_6 -COL00066_bit_5 -COL00066_bit_4 -COL00066_bit_3 -COL00066_bit_2 -COL00066_bit_1 COL00066_bit0 COL00066_bit1 COL00066_bit2 -COL00066_bit3 -COL00066_bit4 -COL00066_bit5 -COL00066_bit6 -COL00066_bit7 -COL00066_bit8 -COL00066_bit9 -COL00066_bit10 -COL00066_bit11 -COL00066_bit12 -COL00066_bit13 -COL00066_bit14 -COL00066_bit15 -COL00066_bit16 -COL00066_bit17 -COL00066_bit18 -COL00066_bit19 -COL00067_bit_10 -COL00067_bit_9 -COL00067_bit_8 -COL00067_bit_7 -COL00067_bit_6 -COL00067_bit_5 -COL00067_bit_4 -COL00067_bit_3 -COL00067_bit_2 -COL00067_bit_1 -COL00067_bit0 -COL00067_bit1 -COL00067_bit2 -COL00067_bit3 -COL00067_bit4 -COL00067_bit5 -COL00067_bit6 -COL00067_bit7 -COL00067_bit8 -COL00067_bit9 -COL00067_bit10 -COL00067_bit11 -COL00067_bit12 -COL00067_bit13 -COL00067_bit14 -COL00067_bit15 -COL00067_bit16 -COL00067_bit17 -COL00067_bit18 -COL00067_bit19 COL00068_bit_10 COL00068_bit_9 COL00068_bit_8 COL00068_bit_7 COL00068_bit_6 COL00068_bit_5 COL00068_bit_4 COL00068_bit_3 COL00068_bit_2 COL00068_bit_1 COL00068_bit0 COL00068_bit1 COL00068_bit2 COL00068_bit3 -COL00068_bit4 -COL00068_bit5 -COL00068_bit6 COL00068_bit7 -COL00068_bit8 -COL00068_bit9 -COL00068_bit10 -COL00068_bit11 -COL00068_bit12 -COL00068_bit13 -COL00068_bit14 -COL00068_bit15 -COL00068_bit16 -COL00068_bit17 -COL00068_bit18 -COL00068_bit19 COL00069_bit_10 COL00069_bit_9 COL00069_bit_8 COL00069_bit_7 COL00069_bit_6 COL00069_bit_5 COL00069_bit_4 COL00069_bit_3 COL00069_bit_2 COL00069_bit_1 COL00069_bit0 COL00069_bit1 COL00069_bit2 COL00069_bit3 COL00069_bit4 -COL00069_bit5 -COL00069_bit6 -COL00069_bit7 -COL00069_bit8 -COL00069_bit9 -COL00069_bit10 -COL00069_bit11 -COL00069_bit12 -COL00069_bit13 -COL00069_bit14 -COL00069_bit15 -COL00069_bit16 -COL00069_bit17 -COL00069_bit18 -COL00069_bit19 -COL00070_bit_10 -COL00070_bit_9 -COL00070_bit_8 -COL00070_bit_7 -COL00070_bit_6 -COL00070_bit_5 -COL00070_bit_4 -COL00070_bit_3 -COL00070_bit_2 -COL00070_bit_1 -COL00070_bit0 -COL00070_bit1 -COL00070_bit2 -COL00070_bit3 -COL00070_bit4 -COL00070_bit5 -COL00070_bit6 -COL00070_bit7 -COL00070_bit8 -COL00070_bit9 -COL00070_bit10 -COL00070_bit11 -COL00070_bit12 -COL00070_bit13 -COL00070_bit14 -COL00070_bit15 -COL00070_bit16 -COL00070_bit17 -COL00070_bit18 -COL00070_bit19 -COL00071_bit_10 -COL00071_bit_9 -COL00071_bit_8 -COL00071_bit_7 -COL00071_bit_6 -COL00071_bit_5 -COL00071_bit_4 -COL00071_bit_3 -COL00071_bit_2 -COL00071_bit_1 -COL00071_bit0 -COL00071_bit1 -COL00071_bit2 -COL00071_bit3 -COL00071_bit4 -COL00071_bit5 -COL00071_bit6 -COL00071_bit7 -COL00071_bit8 -COL00071_bit9 -COL00071_bit10 -COL00071_bit11 -COL00071_bit12 -COL00071_bit13 -COL00071_bit14 -COL00071_bit15 -COL00071_bit16 -COL00071_bit17 -COL00071_bit18 -COL00071_bit19 -COL00072_bit_10 -COL00072_bit_9 COL00072_bit_8 COL00072_bit_7 COL00072_bit_6 COL00072_bit_5 COL00072_bit_4 COL00072_bit_3 COL00072_bit_2 COL00072_bit_1 -COL00072_bit0 COL00072_bit1 COL00072_bit2 COL00072_bit3 -COL00072_bit4 COL00072_bit5 COL00072_bit6 -COL00072_bit7 COL00072_bit8 -COL00072_bit9 -COL00072_bit10 -COL00072_bit11 -COL00072_bit12 -COL00072_bit13 -COL00072_bit14 -COL00072_bit15 -COL00072_bit16 -COL00072_bit17 -COL00072_bit18 -COL00072_bit19 COL00073_bit_10 COL00073_bit_9 -COL00073_bit_8 COL00073_bit_7 -COL00073_bit_6 COL00073_bit_5 -COL00073_bit_4 -COL00073_bit_3 COL00073_bit_2 -COL00073_bit_1 COL00073_bit0 -COL00073_bit1 COL00073_bit2 -COL00073_bit3 COL00073_bit4 COL00073_bit5 -COL00073_bit6 COL00073_bit7 COL00073_bit8 -COL00073_bit9 -COL00073_bit10 -COL00073_bit11 -COL00073_bit12 -COL00073_bit13 -COL00073_bit14 -COL00073_bit15 -COL00073_bit16 -COL00073_bit17 -COL00073_bit18 -COL00073_bit19 -COL00074_bit_10 -COL00074_bit_9 COL00074_bit_8 -COL00074_bit_7 -COL00074_bit_6 -COL00074_bit_5 COL00074_bit_4 -COL00074_bit_3 COL00074_bit_2 -COL00074_bit_1 COL00074_bit0 COL00074_bit1 -COL00074_bit2 COL00074_bit3 -COL00074_bit4 COL00074_bit5 -COL00074_bit6 -COL00074_bit7 -COL00074_bit8 -COL00074_bit9 -COL00074_bit10 -COL00074_bit11 -COL00074_bit12 -COL00074_bit13 -COL00074_bit14 -COL00074_bit15 -COL00074_bit16 -COL00074_bit17 -COL00074_bit18 -COL00074_bit19 -COL00075_bit_10 -COL00075_bit_9 COL00075_bit_8 -COL00075_bit_7 -COL00075_bit_6 -COL00075_bit_5 COL00075_bit_4 -COL00075_bit_3 -COL00075_bit_2 -COL00075_bit_1 -COL00075_bit0 -COL00075_bit1 -COL00075_bit2 -COL00075_bit3 -COL00075_bit4 COL00075_bit5 COL00075_bit6 -COL00075_bit7 -COL00075_bit8 -COL00075_bit9 -COL00075_bit10 -COL00075_bit11 -COL00075_bit12 -COL00075_bit13 -COL00075_bit14 -COL00075_bit15 -COL00075_bit16 -COL00075_bit17 -COL00075_bit18 -COL00075_bit19 -COL00076_bit_10 -COL00076_bit_9 -COL00076_bit_8 -COL00076_bit_7 -COL00076_bit_6 -COL00076_bit_5 COL00076_bit_4 COL00076_bit_3 -COL00076_bit_2 -COL00076_bit_1 COL00076_bit0 COL00076_bit1 COL00076_bit2 COL00076_bit3 -COL00076_bit4 COL00076_bit5 -COL00076_bit6 COL00076_bit7 COL00076_bit8 -COL00076_bit9 -COL00076_bit10 -COL00076_bit11 -COL00076_bit12 -COL00076_bit13 -COL00076_bit14 -COL00076_bit15 -COL00076_bit16 -COL00076_bit17 -COL00076_bit18 -COL00076_bit19 -COL00077_bit_10 COL00077_bit_9 -COL00077_bit_8 -COL00077_bit_7 COL00077_bit_6 -COL00077_bit_5 -COL00077_bit_4 -COL00077_bit_3 -COL00077_bit_2 -COL00077_bit_1 -COL00077_bit0 -COL00077_bit1 -COL00077_bit2 -COL00077_bit3 COL00077_bit4 -COL00077_bit5 -COL00077_bit6 -COL00077_bit7 -COL00077_bit8 -COL00077_bit9 -COL00077_bit10 -COL00077_bit11 -COL00077_bit12 -COL00077_bit13 -COL00077_bit14 -COL00077_bit15 -COL00077_bit16 -COL00077_bit17 -COL00077_bit18 -COL00077_bit19 COL00078_bit_10 COL00078_bit_9 -COL00078_bit_8 -COL00078_bit_7 -COL00078_bit_6 -COL00078_bit_5 -COL00078_bit_4 -COL00078_bit_3 -COL00078_bit_2 -COL00078_bit_1 COL00078_bit0 -COL00078_bit1 -COL00078_bit2 -COL00078_bit3 COL00078_bit4 -COL00078_bit5 -COL00078_bit6 -COL00078_bit7 -COL00078_bit8 -COL00078_bit9 -COL00078_bit10 -COL00078_bit11 -COL00078_bit12 -COL00078_bit13 -COL00078_bit14 -COL00078_bit15 -COL00078_bit16 -COL00078_bit17 -COL00078_bit18 -COL00078_bit19 -COL00079_bit_10 COL00079_bit_9 COL00079_bit_8 COL00079_bit_7 COL00079_bit_6 COL00079_bit_5 -COL00079_bit_4 COL00079_bit_3 COL00079_bit_2 -COL00079_bit_1 -COL00079_bit0 -COL00079_bit1 -COL00079_bit2 -COL00079_bit3 -COL00079_bit4 -COL00079_bit5 -COL00079_bit6 -COL00079_bit7 COL00079_bit8 -COL00079_bit9 -COL00079_bit10 -COL00079_bit11 -COL00079_bit12 -COL00079_bit13 -COL00079_bit14 -COL00079_bit15 -COL00079_bit16 -COL00079_bit17 -COL00079_bit18 -COL00079_bit19 -COL00080_bit_10 COL00080_bit_9 COL00080_bit_8 COL00080_bit_7 COL00080_bit_6 COL00080_bit_5 COL00080_bit_4 -COL00080_bit_3 COL00080_bit_2 COL00080_bit_1 -COL00080_bit0 -COL00080_bit1 -COL00080_bit2 -COL00080_bit3 -COL00080_bit4 -COL00080_bit5 -COL00080_bit6 -COL00080_bit7 -COL00080_bit8 -COL00080_bit9 -COL00080_bit10 -COL00080_bit11 -COL00080_bit12 -COL00080_bit13 -COL00080_bit14 -COL00080_bit15 -COL00080_bit16 -COL00080_bit17 -COL00080_bit18 -COL00080_bit19 -COL00081_bit_10 -COL00081_bit_9 -COL00081_bit_8 -COL00081_bit_7 -COL00081_bit_6 -COL00081_bit_5 -COL00081_bit_4 -COL00081_bit_3 -COL00081_bit_2 -COL00081_bit_1 -COL00081_bit0 -COL00081_bit1 -COL00081_bit2 -COL00081_bit3 -COL00081_bit4 -COL00081_bit5 -COL00081_bit6 -COL00081_bit7 -COL00081_bit8 -COL00081_bit9 -COL00081_bit10 -COL00081_bit11 -COL00081_bit12 -COL00081_bit13 -COL00081_bit14 -COL00081_bit15 -COL00081_bit16 -COL00081_bit17 -COL00081_bit18 -COL00081_bit19 -COL00082_bit_10 -COL00082_bit_9 -COL00082_bit_8 -COL00082_bit_7 -COL00082_bit_6 -COL00082_bit_5 -COL00082_bit_4 -COL00082_bit_3 -COL00082_bit_2 -COL00082_bit_1 -COL00082_bit0 -COL00082_bit1 -COL00082_bit2 -COL00082_bit3 -COL00082_bit4 -COL00082_bit5 -COL00082_bit6 -COL00082_bit7 -COL00082_bit8 -COL00082_bit9 -COL00082_bit10 -COL00082_bit11 -COL00082_bit12 -COL00082_bit13 -COL00082_bit14 -COL00082_bit15 -COL00082_bit16 -COL00082_bit17 -COL00082_bit18 -COL00082_bit19 COL00083_bit_10 COL00083_bit_9 COL00083_bit_8 COL00083_bit_7 COL00083_bit_6 COL00083_bit_5 COL00083_bit_4 COL00083_bit_3 COL00083_bit_2 COL00083_bit_1 COL00083_bit0 COL00083_bit1 COL00083_bit2 COL00083_bit3 COL00083_bit4 COL00083_bit5 COL00083_bit6 -COL00083_bit7 COL00083_bit8 -COL00083_bit9 -COL00083_bit10 -COL00083_bit11 -COL00083_bit12 -COL00083_bit13 -COL00083_bit14 -COL00083_bit15 -COL00083_bit16 -COL00083_bit17 -COL00083_bit18 -COL00083_bit19 COL00084_bit_10 -COL00084_bit_9 -COL00084_bit_8 COL00084_bit_7 -COL00084_bit_6 COL00084_bit_5 COL00084_bit_4 COL00084_bit_3 -COL00084_bit_2 COL00084_bit_1 COL00084_bit0 -COL00084_bit1 COL00084_bit2 -COL00084_bit3 COL00084_bit4 COL00084_bit5 -COL00084_bit6 COL00084_bit7 -COL00084_bit8 COL00084_bit9 -COL00084_bit10 -COL00084_bit11 -COL00084_bit12 -COL00084_bit13 -COL00084_bit14 -COL00084_bit15 -COL00084_bit16 -COL00084_bit17 -COL00084_bit18 -COL00084_bit19 -COL00085_bit_10 COL00085_bit_9 -COL00085_bit_8 -COL00085_bit_7 -COL00085_bit_6 -COL00085_bit_5 COL00085_bit_4 COL00085_bit_3 -COL00085_bit_2 -COL00085_bit_1 -COL00085_bit0 -COL00085_bit1 COL00085_bit2 COL00085_bit3 -COL00085_bit4 COL00085_bit5 -COL00085_bit6 -COL00085_bit7 -COL00085_bit8 -COL00085_bit9 -COL00085_bit10 -COL00085_bit11 -COL00085_bit12 -COL00085_bit13 -COL00085_bit14 -COL00085_bit15 -COL00085_bit16 -COL00085_bit17 -COL00085_bit18 -COL00085_bit19 -COL00086_bit_10 COL00086_bit_9 COL00086_bit_8 COL00086_bit_7 -COL00086_bit_6 -COL00086_bit_5 -COL00086_bit_4 -COL00086_bit_3 -COL00086_bit_2 COL00086_bit_1 COL00086_bit0 COL00086_bit1 -COL00086_bit2 -COL00086_bit3 -COL00086_bit4 -COL00086_bit5 -COL00086_bit6 -COL00086_bit7 COL00086_bit8 -COL00086_bit9 -COL00086_bit10 -COL00086_bit11 -COL00086_bit12 -COL00086_bit13 -COL00086_bit14 -COL00086_bit15 -COL00086_bit16 -COL00086_bit17 -COL00086_bit18 -COL00086_bit19 -COL00087_bit_10 COL00087_bit_9 COL00087_bit_8 -COL00087_bit_7 COL00087_bit_6 -COL00087_bit_5 -COL00087_bit_4 -COL00087_bit_3 -COL00087_bit_2 -COL00087_bit_1 COL00087_bit0 COL00087_bit1 COL00087_bit2 COL00087_bit3 COL00087_bit4 COL00087_bit5 COL00087_bit6 COL00087_bit7 COL00087_bit8 -COL00087_bit9 -COL00087_bit10 -COL00087_bit11 -COL00087_bit12 -COL00087_bit13 -COL00087_bit14 -COL00087_bit15 -COL00087_bit16 -COL00087_bit17 -COL00087_bit18 -COL00087_bit19 -COL00088_bit_10 -COL00088_bit_9 -COL00088_bit_8 -COL00088_bit_7 COL00088_bit_6 COL00088_bit_5 -COL00088_bit_4 -COL00088_bit_3 COL00088_bit_2 COL00088_bit_1 COL00088_bit0 -COL00088_bit1 COL00088_bit2 COL00088_bit3 COL00088_bit4 -COL00088_bit5 -COL00088_bit6 -COL00088_bit7 -COL00088_bit8 -COL00088_bit9 -COL00088_bit10 -COL00088_bit11 -COL00088_bit12 -COL00088_bit13 -COL00088_bit14 -COL00088_bit15 -COL00088_bit16 -COL00088_bit17 -COL00088_bit18 -COL00088_bit19 -COL00089_bit_10 -COL00089_bit_9 -COL00089_bit_8 COL00089_bit_7 -COL00089_bit_6 COL00089_bit_5 COL00089_bit_4 COL00089_bit_3 COL00089_bit_2 -COL00089_bit_1 -COL00089_bit0 -COL00089_bit1 -COL00089_bit2 -COL00089_bit3 -COL00089_bit4 COL00089_bit5 COL00089_bit6 -COL00089_bit7 -COL00089_bit8 -COL00089_bit9 -COL00089_bit10 -COL00089_bit11 -COL00089_bit12 -COL00089_bit13 -COL00089_bit14 -COL00089_bit15 -COL00089_bit16 -COL00089_bit17 -COL00089_bit18 -COL00089_bit19 -COL00090_bit_10 -COL00090_bit_9 COL00090_bit_8 -COL00090_bit_7 COL00090_bit_6 COL00090_bit_5 COL00090_bit_4 COL00090_bit_3 COL00090_bit_2 -COL00090_bit_1 -COL00090_bit0 -COL00090_bit1 -COL00090_bit2 -COL00090_bit3 -COL00090_bit4 -COL00090_bit5 -COL00090_bit6 -COL00090_bit7 COL00090_bit8 -COL00090_bit9 -COL00090_bit10 -COL00090_bit11 -COL00090_bit12 -COL00090_bit13 -COL00090_bit14 -COL00090_bit15 -COL00090_bit16 -COL00090_bit17 -COL00090_bit18 -COL00090_bit19 -COL00091_bit_10 -COL00091_bit_9 COL00091_bit_8 -COL00091_bit_7 -COL00091_bit_6 -COL00091_bit_5 -COL00091_bit_4 COL00091_bit_3 COL00091_bit_2 -COL00091_bit_1 -COL00091_bit0 -COL00091_bit1 -COL00091_bit2 -COL00091_bit3 -COL00091_bit4 -COL00091_bit5 -COL00091_bit6 -COL00091_bit7 -COL00091_bit8 -COL00091_bit9 -COL00091_bit10 -COL00091_bit11 -COL00091_bit12 -COL00091_bit13 -COL00091_bit14 -COL00091_bit15 -COL00091_bit16 -COL00091_bit17 -COL00091_bit18 -COL00091_bit19 -COL00092_bit_10 -COL00092_bit_9 -COL00092_bit_8 -COL00092_bit_7 -COL00092_bit_6 -COL00092_bit_5 -COL00092_bit_4 -COL00092_bit_3 -COL00092_bit_2 -COL00092_bit_1 -COL00092_bit0 -COL00092_bit1 -COL00092_bit2 -COL00092_bit3 -COL00092_bit4 -COL00092_bit5 -COL00092_bit6 -COL00092_bit7 -COL00092_bit8 -COL00092_bit9 -COL00092_bit10 -COL00092_bit11 -COL00092_bit12 -COL00092_bit13 -COL00092_bit14 -COL00092_bit15 -COL00092_bit16 -COL00092_bit17 -COL00092_bit18 -COL00092_bit19 -COL00093_bit_10 -COL00093_bit_9 -COL00093_bit_8 -COL00093_bit_7 -COL00093_bit_6 -COL00093_bit_5 -COL00093_bit_4 -COL00093_bit_3 -COL00093_bit_2 -COL00093_bit_1 -COL00093_bit0 -COL00093_bit1 -COL00093_bit2 -COL00093_bit3 -COL00093_bit4 -COL00093_bit5 -COL00093_bit6 -COL00093_bit7 -COL00093_bit8 -COL00093_bit9 -COL00093_bit10 -COL00093_bit11 -COL00093_bit12 -COL00093_bit13 -COL00093_bit14 -COL00093_bit15 -COL00093_bit16 -COL00093_bit17 -COL00093_bit18 -COL00093_bit19 COL00094_bit_10 COL00094_bit_9 COL00094_bit_8 -COL00094_bit_7 -COL00094_bit_6 COL00094_bit_5 COL00094_bit_4 COL00094_bit_3 COL00094_bit_2 -COL00094_bit_1 -COL00094_bit0 -COL00094_bit1 -COL00094_bit2 -COL00094_bit3 -COL00094_bit4 COL00094_bit5 COL00094_bit6 COL00094_bit7 COL00094_bit8 -COL00094_bit9 -COL00094_bit10 -COL00094_bit11 -COL00094_bit12 -COL00094_bit13 -COL00094_bit14 -COL00094_bit15 -COL00094_bit16 -COL00094_bit17 -COL00094_bit18 -COL00094_bit19 COL00095_bit_10 -COL00095_bit_9 COL00095_bit_8 COL00095_bit_7 COL00095_bit_6 -COL00095_bit_5 COL00095_bit_4 COL00095_bit_3 -COL00095_bit_2 -COL00095_bit_1 -COL00095_bit0 COL00095_bit1 COL00095_bit2 -COL00095_bit3 COL00095_bit4 COL00095_bit5 -COL00095_bit6 COL00095_bit7 COL00095_bit8 COL00095_bit9 -COL00095_bit10 -COL00095_bit11 -COL00095_bit12 -COL00095_bit13 -COL00095_bit14 -COL00095_bit15 -COL00095_bit16 -COL00095_bit17 -COL00095_bit18 -COL00095_bit19 -COL00096_bit_10 COL00096_bit_9 COL00096_bit_8 -COL00096_bit_7 -COL00096_bit_6 -COL00096_bit_5 COL00096_bit_4 -COL00096_bit_3 -COL00096_bit_2 COL00096_bit_1 -COL00096_bit0 -COL00096_bit1 COL00096_bit2 COL00096_bit3 -COL00096_bit4 COL00096_bit5 -COL00096_bit6 -COL00096_bit7 -COL00096_bit8 -COL00096_bit9 -COL00096_bit10 -COL00096_bit11 -COL00096_bit12 -COL00096_bit13 -COL00096_bit14 -COL00096_bit15 -COL00096_bit16 -COL00096_bit17 -COL00096_bit18 -COL00096_bit19 COL00097_bit_10 COL00097_bit_9 COL00097_bit_8 COL00097_bit_7 COL00097_bit_6 COL00097_bit_5 -COL00097_bit_4 COL00097_bit_3 COL00097_bit_2 -COL00097_bit_1 -COL00097_bit0 -COL00097_bit1 -COL00097_bit2 -COL00097_bit3 -COL00097_bit4 COL00097_bit5 COL00097_bit6 COL00097_bit7 COL00097_bit8 -COL00097_bit9 -COL00097_bit10 -COL00097_bit11 -COL00097_bit12 -COL00097_bit13 -COL00097_bit14 -COL00097_bit15 -COL00097_bit16 -COL00097_bit17 -COL00097_bit18 -COL00097_bit19 COL00098_bit_10 COL00098_bit_9 COL00098_bit_8 -COL00098_bit_7 -COL00098_bit_6 -COL00098_bit_5 -COL00098_bit_4 -COL00098_bit_3 -COL00098_bit_2 -COL00098_bit_1 -COL00098_bit0 -COL00098_bit1 -COL00098_bit2 -COL00098_bit3 -COL00098_bit4 -COL00098_bit5 -COL00098_bit6 -COL00098_bit7 -COL00098_bit8 COL00098_bit9 -COL00098_bit10 -COL00098_bit11 -COL00098_bit12 -COL00098_bit13 -COL00098_bit14 -COL00098_bit15 -COL00098_bit16 -COL00098_bit17 -COL00098_bit18 -COL00098_bit19 -COL00099_bit_10 -COL00099_bit_9 -COL00099_bit_8 -COL00099_bit_7 -COL00099_bit_6 COL00099_bit_5 -COL00099_bit_4 COL00099_bit_3 -COL00099_bit_2 -COL00099_bit_1 -COL00099_bit0 -COL00099_bit1 -COL00099_bit2 -COL00099_bit3 COL00099_bit4 -COL00099_bit5 -COL00099_bit6 -COL00099_bit7 -COL00099_bit8 -COL00099_bit9 -COL00099_bit10 -COL00099_bit11 -COL00099_bit12 -COL00099_bit13 -COL00099_bit14 -COL00099_bit15 -COL00099_bit16 -COL00099_bit17 -COL00099_bit18 -COL00099_bit19 -COL00100_bit_10 COL00100_bit_9 -COL00100_bit_8 -COL00100_bit_7 -COL00100_bit_6 -COL00100_bit_5 -COL00100_bit_4 COL00100_bit_3 COL00100_bit_2 -COL00100_bit_1 COL00100_bit0 COL00100_bit1 -COL00100_bit2 COL00100_bit3 COL00100_bit4 COL00100_bit5 COL00100_bit6 COL00100_bit7 -COL00100_bit8 -COL00100_bit9 -COL00100_bit10 -COL00100_bit11 -COL00100_bit12 -COL00100_bit13 -COL00100_bit14 -COL00100_bit15 -COL00100_bit16 -COL00100_bit17 -COL00100_bit18 -COL00100_bit19 COL00101_bit_10 COL00101_bit_9 COL00101_bit_8 COL00101_bit_7 COL00101_bit_6 COL00101_bit_5 COL00101_bit_4 COL00101_bit_3 -COL00101_bit_2 COL00101_bit_1 COL00101_bit0 COL00101_bit1 COL00101_bit2 COL00101_bit3 COL00101_bit4 -COL00101_bit5 COL00101_bit6 -COL00101_bit7 -COL00101_bit8 -COL00101_bit9 -COL00101_bit10 -COL00101_bit11 -COL00101_bit12 -COL00101_bit13 -COL00101_bit14 -COL00101_bit15 -COL00101_bit16 -COL00101_bit17 -COL00101_bit18 -COL00101_bit19 COL00102_bit_10 COL00102_bit_9 -COL00102_bit_8 -COL00102_bit_7 -COL00102_bit_6 -COL00102_bit_5 -COL00102_bit_4 -COL00102_bit_3 COL00102_bit_2 -COL00102_bit_1 -COL00102_bit0 COL00102_bit1 COL00102_bit2 COL00102_bit3 -COL00102_bit4 COL00102_bit5 -COL00102_bit6 -COL00102_bit7 -COL00102_bit8 -COL00102_bit9 -COL00102_bit10 -COL00102_bit11 -COL00102_bit12 -COL00102_bit13 -COL00102_bit14 -COL00102_bit15 -COL00102_bit16 -COL00102_bit17 -COL00102_bit18 -COL00102_bit19 -COL00103_bit_10 -COL00103_bit_9 -COL00103_bit_8 -COL00103_bit_7 -COL00103_bit_6 -COL00103_bit_5 -COL00103_bit_4 -COL00103_bit_3 -COL00103_bit_2 -COL00103_bit_1 -COL00103_bit0 -COL00103_bit1 -COL00103_bit2 -COL00103_bit3 -COL00103_bit4 -COL00103_bit5 -COL00103_bit6 -COL00103_bit7 -COL00103_bit8 -COL00103_bit9 -COL00103_bit10 -COL00103_bit11 -COL00103_bit12 -COL00103_bit13 -COL00103_bit14 -COL00103_bit15 -COL00103_bit16 -COL00103_bit17 -COL00103_bit18 -COL00103_bit19
c _______________________________________________________________________________
c 
c restarts              : 11
c conflicts             : 10647          (767 /sec)
c decisions             : 67298          (4847 /sec)
c propagations          : 0              (0 /sec)
c inspects              : 0              (0 /sec)
c CPU time              : 13.8849 s
c _______________________________________________________________________________

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/26483/stat): 26483 (minisat+_script) R 26482 26483 16528 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1844156871 712704 3 4294967295 134512640 135087896 3221224496 3221224496 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/26483/statm): 174 3 169 147 0 27 0
[pid=26483] vsize: 696
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libtermcap.so.2
open syscall for file tls/i686/libtermcap.so.2
open syscall for file tls/mmx/libtermcap.so.2
open syscall for file tls/libtermcap.so.2
open syscall for file i686/mmx/libtermcap.so.2
open syscall for file i686/libtermcap.so.2
open syscall for file mmx/libtermcap.so.2
open syscall for file libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/i686/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/tls/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/i686/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/i686/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/mmx/libtermcap.so.2
open syscall for file /oldhome/oroussel/lib/libtermcap.so.2
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libtermcap.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /dev/tty
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file /oldhome/oroussel/solvers/minisat+_script
New process pid=26484
New process pid=26485
New process pid=26486
execve syscall for /bin/sed executable
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/i686/libc.so.6
open syscall for file /oldhome/oroussel/lib/mmx/libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /etc/ld.so.cache
One traced child (pid=26485) exited with status: 0
open syscall for file /lib/tls/libc.so.6
One traced child (pid=26486) exited with status: 0
One traced child (pid=26484) exited with status: 0
New process pid=26487
execve syscall for /oldhome/oroussel/solvers/minisat+_64-bit_static executable
open syscall for file /dev/null
open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-sc105.opb

[startup+10.0036 s]
Raw data (loadavg): 0.88 0.94 0.90 2/57 26487
Raw data (/proc/26483/stat): 26483 (minisat+_script) S 26482 26483 16528 0 -1 0 289 239 0 0 0 1 0 0 22 0 1 0 1844156871 2174976 226 4294967295 134512640 135087896 3221224496 3221223768 1074634510 0 65536 5 65538 3222414538 0 0 17 0 0 0
Raw data (/proc/26483/statm): 531 226 485 147 0 384 0
[pid=26483] vsize: 2124
Raw data (/proc/26487/stat): 26487 (minisat+_64-bit) R 26483 26483 16528 0 -1 0 4064 0 0 0 962 16 0 0 25 0 1 0 1844156876 17833984 3866 4294967295 134512640 135094434 3221224432 3221223168 134559594 0 0 5 16386 0 0 0 17 1 0 0
Raw data (/proc/26487/statm): 4354 3866 145 145 0 4209 0
[pid=26487] vsize: 17416
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (Kb) 19540
One traced child (pid=26487) exited with status: 30
One traced child (pid=26483) exited with status: 30
All traced children have exited ! Game is over.

Child status: 30
Real time (s): 14.3194
CPU time (s): 14.1129
CPU user time (s): 13.9079
CPU system time (s): 0.204968
CPU usage (%): 98.5576
Max. virtual memory (cumulated for all children) (Kb): 19540

Verifier Data

Verifier:	OK	0