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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc205.opb
MD5SUM	8dcd54bb06c18286b7b6d9b86b2fd29c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	8388608
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	22020075
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.35658
Number of variables	4060
Total number of constraints	204
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	204
Minimum length of a constraint	20
Maximum length of a constraint	80
Trace number 19682

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-21 19:40:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16143 boxname=wulflinc25 idbench=1242 idsolver=10 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8dcd54bb06c18286b7b6d9b86b2fd29c  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-sc205.opb
REAL COMMAND:  minisat+ -ca /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-sc205.opb /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-sc205.opb
IDLAUNCH: 16143
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        834748 kB
Buffers:         22724 kB
Cached:         156680 kB
SwapCached:        728 kB
Active:          38756 kB
Inactive:       142660 kB
HighTotal:      131008 kB
HighFree:         9828 kB
LowTotal:       903652 kB
LowFree:        824920 kB
SwapTotal:     2097892 kB
SwapFree:      2096236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            12760 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 19:48:41 (client local time) WITH STATUS 30 IN 481.03 SECONDS
stats: 16143 0 481.03 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 293 PB-constraints to clauses...
c   -- Unit propagations: pppppp
c   -- Detecting intervals from adjacent constraints: ##########################################################################################
c   -- Clauses(.)/Splits(s): (none)
c ---[ 292]---> Adder-cost: 78   maxlim: 79862   bits: 17/17
c ---[ 291]---> Adder-cost: 80   maxlim: 89078   bits: 17/17
c ---[ 289]---> Adder-cost: 28   maxlim: 16383   bits: 15/14
c ---[ 287]---> Adder-cost: 28   maxlim: 16383   bits: 15/14
c ---[ 285]---> Adder-cost: 26   maxlim: 8191   bits: 14/13
c ---[ 283]---> Adder-cost: 28   maxlim: 16383   bits: 15/14
c ---[ 282]---> Adder-cost: 28   maxlim: 16382   bits: 15/14
c ---[ 281]---> Adder-cost: 26   maxlim: 8190   bits: 14/13
c ---[ 280]---> Adder-cost: 28   maxlim: 16382   bits: 15/14
c ---[ 279]---> Adder-cost: 112   maxlim: 161782   bits: 18/18
c ---[ 278]---> Adder-cost: 110   maxlim: 154614   bits: 18/18
c ---[ 277]---> Adder-cost: 28   maxlim: 16382   bits: 15/14
c ---[ 275]---> Adder-cost: 112   maxlim: 180213   bits: 19/18
c ---[ 273]---> Adder-cost: 60   maxlim: 49150   bits: 17/16
c ---[ 271]---> Adder-cost: 60   maxlim: 65535   bits: 17/16
c ---[ 269]---> Adder-cost: 56   maxlim: 32767   bits: 16/15
c ---[ 267]---> Adder-cost: 56   maxlim: 32767   bits: 16/15
c ---[ 266]---> Adder-cost: 32   maxlim: 65534   bits: 17/16
c ---[ 265]---> Adder-cost: 30   maxlim: 32766   bits: 16/15
c ---[ 264]---> Adder-cost: 30   maxlim: 32766   bits: 16/15
c ---[ 263]---> Adder-cost: 126   maxlim: 374774   bits: 20/19
c ---[ 262]---> Adder-cost: 122   maxlim: 334838   bits: 19/19
c ---[ 261]---> Adder-cost: 30   maxlim: 32766   bits: 16/15
c ---[ 259]---> Adder-cost: 120   maxlim: 360437   bits: 20/19
c ---[ 257]---> Adder-cost: 64   maxlim: 98302   bits: 18/17
c ---[ 255]---> Adder-cost: 64   maxlim: 131071   bits: 18/17
c ---[ 253]---> Adder-cost: 60   maxlim: 65535   bits: 17/16
c ---[ 251]---> Adder-cost: 60   maxlim: 65535   bits: 17/16
c ---[ 250]---> Adder-cost: 34   maxlim: 131070   bits: 18/17
c ---[ 249]---> Adder-cost: 32   maxlim: 65534   bits: 17/16
c ---[ 248]---> Adder-cost: 32   maxlim: 65534   bits: 17/16
c ---[ 247]---> Adder-cost: 134   maxlim: 800758   bits: 21/20
c ---[ 246]---> Adder-cost: 130   maxlim: 695286   bits: 20/20
c ---[ 245]---> Adder-cost: 32   maxlim: 65534   bits: 17/16
c ---[ 243]---> Adder-cost: 128   maxlim: 720885   bits: 21/20
c ---[ 241]---> Adder-cost: 68   maxlim: 196606   bits: 19/18
c ---[ 239]---> Adder-cost: 68   maxlim: 262143   bits: 19/18
c ---[ 237]---> Adder-cost: 64   maxlim: 131071   bits: 18/17
c ---[ 235]---> Adder-cost: 64   maxlim: 131071   bits: 18/17
c ---[ 234]---> Adder-cost: 36   maxlim: 262142   bits: 19/18
c ---[ 233]---> Adder-cost: 34   maxlim: 131070   bits: 18/17
c ---[ 232]---> Adder-cost: 34   maxlim: 131070   bits: 18/17
c ---[ 231]---> Adder-cost: 142   maxlim: 1652726   bits: 22/21
c ---[ 230]---> Adder-cost: 138   maxlim: 1416182   bits: 21/21
c ---[ 229]---> Adder-cost: 34   maxlim: 131070   bits: 18/17
c ---[ 227]---> Adder-cost: 136   maxlim: 1441781   bits: 22/21
c ---[ 225]---> Adder-cost: 72   maxlim: 393214   bits: 20/19
c ---[ 223]---> Adder-cost: 72   maxlim: 524287   bits: 20/19
c ---[ 221]---> Adder-cost: 68   maxlim: 262143   bits: 19/18
c ---[ 219]---> Adder-cost: 68   maxlim: 262143   bits: 19/18
c ---[ 218]---> Adder-cost: 38   maxlim: 524286   bits: 20/19
c ---[ 217]---> Adder-cost: 36   maxlim: 262142   bits: 19/18
c ---[ 216]---> Adder-cost: 36   maxlim: 262142   bits: 19/18
c ---[ 215]---> Adder-cost: 150   maxlim: 3356662   bits: 23/22
c ---[ 214]---> Adder-cost: 146   maxlim: 2857974   bits: 22/22
c ---[ 213]---> Adder-cost: 36   maxlim: 262142   bits: 19/18
c ---[ 211]---> Adder-cost: 144   maxlim: 2883573   bits: 23/22
c ---[ 209]---> Adder-cost: 76   maxlim: 786430   bits: 21/20
c ---[ 207]---> Adder-cost: 76   maxlim: 1048575   bits: 21/20
c ---[ 205]---> Adder-cost: 72   maxlim: 524287   bits: 20/19
c ---[ 203]---> Adder-cost: 72   maxlim: 524287   bits: 20/19
c ---[ 202]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 201]---> Adder-cost: 38   maxlim: 524286   bits: 20/19
c ---[ 200]---> Adder-cost: 38   maxlim: 524286   bits: 20/19
c ---[ 199]---> Adder-cost: 158   maxlim: 6764534   bits: 24/23
c ---[ 198]---> Adder-cost: 154   maxlim: 5741558   bits: 23/23
c ---[ 197]---> Adder-cost: 38   maxlim: 524286   bits: 20/19
c ---[ 195]---> Adder-cost: 152   maxlim: 5767157   bits: 24/23
c ---[ 193]---> Adder-cost: 80   maxlim: 1572862   bits: 22/21
c ---[ 191]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[ 189]---> Adder-cost: 76   maxlim: 1048575   bits: 21/20
c ---[ 187]---> Adder-cost: 76   maxlim: 1048575   bits: 21/20
c ---[ 186]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 185]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 184]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 183]---> Adder-cost: 160   maxlim: 9385974   bits: 24/24
c ---[ 182]---> Adder-cost: 160   maxlim: 9411574   bits: 24/24
c ---[ 181]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 179]---> Adder-cost: 160   maxlim: 11534325   bits: 25/24
c ---[ 177]---> Adder-cost: 80   maxlim: 2097150   bits: 22/21
c ---[ 175]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[ 173]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[ 171]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[ 170]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 169]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 168]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 167]---> Adder-cost: 160   maxlim: 9385974   bits: 24/24
c ---[ 166]---> Adder-cost: 160   maxlim: 9411574   bits: 24/24
c ---[ 165]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 163]---> Adder-cost: 160   maxlim: 11534325   bits: 25/24
c ---[ 161]---> Adder-cost: 80   maxlim: 2097150   bits: 22/21
c ---[ 159]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[ 157]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[ 155]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[ 154]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 153]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 152]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 151]---> Adder-cost: 160   maxlim: 9385974   bits: 24/24
c ---[ 150]---> Adder-cost: 160   maxlim: 9411574   bits: 24/24
c ---[ 149]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 147]---> Adder-cost: 160   maxlim: 11534325   bits: 25/24
c ---[ 145]---> Adder-cost: 80   maxlim: 2097150   bits: 22/21
c ---[ 143]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[ 141]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[ 139]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[ 138]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 137]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 136]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 135]---> Adder-cost: 160   maxlim: 9385974   bits: 24/24
c ---[ 134]---> Adder-cost: 160   maxlim: 9411574   bits: 24/24
c ---[ 133]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 131]---> Adder-cost: 160   maxlim: 11534325   bits: 25/24
c ---[ 129]---> Adder-cost: 80   maxlim: 2097150   bits: 22/21
c ---[ 127]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[ 125]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[ 123]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[ 122]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 121]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 120]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 119]---> Adder-cost: 160   maxlim: 9385974   bits: 24/24
c ---[ 118]---> Adder-cost: 160   maxlim: 9411574   bits: 24/24
c ---[ 117]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 115]---> Adder-cost: 160   maxlim: 11534325   bits: 25/24
c ---[ 113]---> Adder-cost: 80   maxlim: 2097150   bits: 22/21
c ---[ 111]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[ 109]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[ 107]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[ 106]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 105]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 104]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[ 103]---> Adder-cost: 160   maxlim: 9385974   bits: 24/24
c ---[ 102]---> Adder-cost: 160   maxlim: 9411574   bits: 24/24
c ---[ 101]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  99]---> Adder-cost: 160   maxlim: 11534325   bits: 25/24
c ---[  97]---> Adder-cost: 80   maxlim: 2097150   bits: 22/21
c ---[  95]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  93]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  91]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  90]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  89]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  88]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  87]---> Adder-cost: 160   maxlim: 9385974   bits: 24/24
c ---[  86]---> Adder-cost: 160   maxlim: 9411574   bits: 24/24
c ---[  85]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  83]---> Adder-cost: 160   maxlim: 11534325   bits: 25/24
c ---[  81]---> Adder-cost: 80   maxlim: 2097150   bits: 22/21
c ---[  79]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  77]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  75]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  74]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  73]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  72]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  71]---> Adder-cost: 160   maxlim: 9385974   bits: 24/24
c ---[  70]---> Adder-cost: 160   maxlim: 9411574   bits: 24/24
c ---[  69]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  67]---> Adder-cost: 160   maxlim: 11534325   bits: 25/24
c ---[  65]---> Adder-cost: 80   maxlim: 2097150   bits: 22/21
c ---[  63]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  61]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  59]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  58]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  57]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  56]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  55]---> Adder-cost: 160   maxlim: 9385974   bits: 24/24
c ---[  54]---> Adder-cost: 160   maxlim: 9411574   bits: 24/24
c ---[  53]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  51]---> Adder-cost: 160   maxlim: 11534325   bits: 25/24
c ---[  49]---> Adder-cost: 80   maxlim: 2097150   bits: 22/21
c ---[  47]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  45]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  43]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  42]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  41]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  40]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  39]---> Adder-cost: 160   maxlim: 9385974   bits: 24/24
c ---[  38]---> Adder-cost: 160   maxlim: 9411574   bits: 24/24
c ---[  37]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  35]---> Adder-cost: 160   maxlim: 11534325   bits: 25/24
c ---[  33]---> Adder-cost: 80   maxlim: 2097150   bits: 22/21
c ---[  31]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  29]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  27]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  26]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  25]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  24]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  23]---> Adder-cost: 160   maxlim: 9385974   bits: 24/24
c ---[  22]---> Adder-cost: 160   maxlim: 9411574   bits: 24/24
c ---[  21]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[  19]---> Adder-cost: 160   maxlim: 11534325   bits: 25/24
c ---[  17]---> Adder-cost: 80   maxlim: 2097150   bits: 22/21
c ---[  15]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  13]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  11]---> Adder-cost: 79   maxlim: 1048575   bits: 21/20
c ---[  10]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[   9]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[   8]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[   7]---> Adder-cost: 160   maxlim: 9385974   bits: 24/24
c ---[   6]---> Adder-cost: 160   maxlim: 9411574   bits: 24/24
c ---[   5]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ---[   3]---> Adder-cost: 160   maxlim: 11534325   bits: 25/24
c ---[   2]---> Adder-cost: 159   maxlim: 5242874   bits: 24/23
c ---[   1]---> Adder-cost: 159   maxlim: 5242874   bits: 24/23
c ---[   0]---> Adder-cost: 40   maxlim: 1048574   bits: 21/20
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |   80093   301733 |   26697       0        0     nan |  0.000 % |
c |       100 |   80093   301733 |   29366     100      640     6.4 | 40.974 % |
c |       250 |   80093   301733 |   32303     250     1656     6.6 | 40.974 % |
c |       476 |   80093   301733 |   35533     476     2967     6.2 | 40.974 % |
c |       813 |   80080   301692 |   39087     811     4691     5.8 | 40.983 % |
c |      1319 |   80013   301477 |   42995    1304     7668     5.9 | 41.023 % |
c |      2080 |   79929   301201 |   47295    2028    14239     7.0 | 41.072 % |
c |      3219 |   79720   300516 |   52024    3069    22573     7.4 | 41.195 % |
c |      4928 |   79671   300355 |   57227    4760    42508     8.9 | 41.224 % |
c |      7490 |   79326   299176 |   62950    7172    63381     8.8 | 41.354 % |
c |     11334 |   79051   298282 |   69245   10920    98667     9.0 | 41.518 % |
c |     17100 |   78801   297465 |   76169   16560   137675     8.3 | 41.665 % |
c |     25751 |   78703   297143 |   83786   25155   227723     9.1 | 41.722 % |
c |     38725 |   77100   291906 |   92165   36420   390292    10.7 | 42.669 % |
c |     58186 |   75616   287048 |  101381   54584   753445    13.8 | 43.547 % |
c |     87378 |   75362   286210 |  111519   83492  1566708    18.8 | 43.690 % |
c |    131167 |   74413   283078 |  122671   27019   606906    22.5 | 44.238 % |
c |    196851 |   73284   279297 |  134939   91502  2100332    23.0 | 44.891 % |
c |    295379 |   73196   278989 |  148433   58920  3817190    64.8 | 44.944 % |
c |    443174 |   72871   277861 |  163276   64007  3975581    62.1 | 45.124 % |
c ==============================================================================
c [1mFound solution: 0[0m
c [1mOptimal solution: 0[0m
s OPTIMUM FOUND
v -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 -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 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 -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 -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 -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 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 -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 -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 -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 -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 -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 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 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 -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 -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 -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 -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 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 -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 -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 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 -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 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 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 -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 -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 -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 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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 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 -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 -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 -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 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 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 -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 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 -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 -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 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 -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 -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 -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 -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 -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 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 -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 -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 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 -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 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 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 -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 -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 -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 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 -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 -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 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 -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 -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 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 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 -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 -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 -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 -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 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 -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 -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 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 -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 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 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 -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 -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 -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 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 -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 -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 -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 -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 -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 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 -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 -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 -COL00104_bit_7 -COL00104_bit_6 -COL00104_bit_5 -COL00104_bit_4 -COL00104_bit_3 -COL00104_bit_2 -COL00104_bit_1 -COL00104_bit0 -COL00104_bit1 -COL00104_bit2 -COL00104_bit3 -COL00104_bit4 -COL00104_bit5 -COL00104_bit6 -COL00104_bit7 -COL00104_bit8 -COL00104_bit9 -COL00104_bit10 -COL00104_bit11 -COL00104_bit12 -COL00105_bit_7 -COL00105_bit_6 -COL00105_bit_5 -COL00105_bit_4 -COL00105_bit_3 -COL00105_bit_2 -COL00105_bit_1 -COL00105_bit0 -COL00105_bit1 -COL00105_bit2 -COL00105_bit3 -COL00105_bit4 -COL00105_bit5 -COL00105_bit6 -COL00105_bit7 -COL00105_bit8 -COL00105_bit9 -COL00105_bit10 -COL00105_bit11 -COL00105_bit12 -COL00106_bit_7 -COL00106_bit_6 -COL00106_bit_5 -COL00106_bit_4 -COL00106_bit_3 -COL00106_bit_2 -COL00106_bit_1 -COL00106_bit0 -COL00106_bit1 -COL00106_bit2 -COL00106_bit3 -COL00106_bit4 -COL00106_bit5 -COL00106_bit6 -COL00106_bit7 -COL00106_bit8 -COL00106_bit9 -COL00106_bit10 -COL00106_bit11 -COL00106_bit12 -COL00107_bit_7 COL00107_bit_6 -COL00107_bit_5 -COL00107_bit_4 -COL00107_bit_3 COL00107_bit_2 -COL00107_bit_1 COL00107_bit0 -COL00107_bit1 -COL00107_bit2 -COL00107_bit3 -COL00107_bit4 -COL00107_bit5 COL00107_bit6 -COL00107_bit7 -COL00107_bit8 -COL00107_bit9 -COL00107_bit10 -COL00107_bit11 -COL00107_bit12 -COL00108_bit_7 -COL00108_bit_6 COL00108_bit_5 -COL00108_bit_4 -COL00108_bit_3 COL00108_bit_2 COL00108_bit_1 -COL00108_bit0 COL00108_bit1 COL00108_bit2 COL00108_bit3 -COL00108_bit4 -COL00108_bit5 COL00108_bit6 -COL00108_bit7 -COL00108_bit8 -COL00108_bit9 -COL00108_bit10 -COL00108_bit11 -COL00108_bit12 -COL00109_bit_7 -COL00109_bit_6 -COL00109_bit_5 -COL00109_bit_4 -COL00109_bit_3 -COL00109_bit_2 -COL00109_bit_1 -COL00109_bit0 -COL00109_bit1 -COL00109_bit2 -COL00109_bit3 -COL00109_bit4 -COL00109_bit5 -COL00109_bit6 -COL00109_bit7 -COL00109_bit8 -COL00109_bit9 -COL00109_bit10 -COL00109_bit11 -COL00109_bit12 -COL00110_bit_7 COL00110_bit_6 -COL00110_bit_5 -COL00110_bit_4 -COL00110_bit_3 -COL00110_bit_2 -COL00110_bit_1 COL00110_bit0 -COL00110_bit1 COL00110_bit2 -COL00110_bit3 -COL00110_bit4 -COL00110_bit5 -COL00110_bit6 -COL00110_bit7 -COL00110_bit8 -COL00110_bit9 -COL00110_bit10 -COL00110_bit11 -COL00110_bit12 -COL00111_bit_7 -COL00111_bit_6 COL00111_bit_5 -COL00111_bit_4 -COL00111_bit_3 COL00111_bit_2 COL00111_bit_1 -COL00111_bit0 COL00111_bit1 COL00111_bit2 COL00111_bit3 -COL00111_bit4 -COL00111_bit5 COL00111_bit6 -COL00111_bit7 -COL00111_bit8 -COL00111_bit9 -COL00111_bit10 -COL00111_bit11 -COL00111_bit12 -COL00112_bit_7 -COL00112_bit_6 -COL00112_bit_5 -COL00112_bit_4 -COL00112_bit_3 -COL00112_bit_2 -COL00112_bit_1 -COL00112_bit0 -COL00112_bit1 -COL00112_bit2 -COL00112_bit3 -COL00112_bit4 -COL00112_bit5 -COL00112_bit6 -COL00112_bit7 -COL00112_bit8 -COL00112_bit9 -COL00112_bit10 -COL00112_bit11 -COL00112_bit12 COL00113_bit_7 -COL00113_bit_6 COL00113_bit_5 COL00113_bit_4 -COL00113_bit_3 -COL00113_bit_2 COL00113_bit_1 -COL00113_bit0 COL00113_bit1 -COL00113_bit2 -COL00113_bit3 -COL00113_bit4 -COL00113_bit5 -COL00113_bit6 -COL00113_bit7 -COL00113_bit8 -COL00113_bit9 -COL00113_bit10 -COL00113_bit11 -COL00113_bit12 COL00114_bit_7 COL00114_bit_6 -COL00114_bit_5 -COL00114_bit_4 -COL00114_bit_3 COL00114_bit_2 -COL00114_bit_1 -COL00114_bit0 -COL00114_bit1 -COL00114_bit2 -COL00114_bit3 -COL00114_bit4 -COL00114_bit5 -COL00114_bit6 -COL00114_bit7 -COL00114_bit8 -COL00114_bit9 -COL00114_bit10 -COL00114_bit11 -COL00114_bit12 -COL00115_bit_7 -COL00115_bit_6 -COL00115_bit_5 -COL00115_bit_4 -COL00115_bit_3 -COL00115_bit_2 -COL00115_bit_1 -COL00115_bit0 -COL00115_bit1 -COL00115_bit2 -COL00115_bit3 -COL00115_bit4 -COL00115_bit5 -COL00115_bit6 -COL00115_bit7 -COL00115_bit8 -COL00115_bit9 -COL00115_bit10 -COL00115_bit11 -COL00115_bit12 -COL00116_bit_7 -COL00116_bit_6 -COL00116_bit_5 -COL00116_bit_4 -COL00116_bit_3 -COL00116_bit_2 -COL00116_bit_1 -COL00116_bit0 -COL00116_bit1 -COL00116_bit2 -COL00116_bit3 -COL00116_bit4 -COL00116_bit5 -COL00116_bit6 -COL00116_bit7 -COL00116_bit8 -COL00116_bit9 -COL00116_bit10 -COL00116_bit11 -COL00116_bit12 -COL00117_bit_7 -COL00117_bit_6 -COL00117_bit_5 -COL00117_bit_4 -COL00117_bit_3 -COL00117_bit_2 -COL00117_bit_1 -COL00117_bit0 -COL00117_bit1 -COL00117_bit2 -COL00117_bit3 -COL00117_bit4 -COL00117_bit5 -COL00117_bit6 -COL00117_bit7 -COL00117_bit8 -COL00117_bit9 -COL00117_bit10 -COL00117_bit11 -COL00117_bit12 COL00118_bit_7 COL00118_bit_6 COL00118_bit_5 COL00118_bit_4 -COL00118_bit_3 COL00118_bit_2 COL00118_bit_1 COL00118_bit0 COL00118_bit1 -COL00118_bit2 -COL00118_bit3 -COL00118_bit4 -COL00118_bit5 COL00118_bit6 -COL00118_bit7 -COL00118_bit8 -COL00118_bit9 -COL00118_bit10 -COL00118_bit11 -COL00118_bit12 COL00119_bit_7 COL00119_bit_6 COL00119_bit_5 -COL00119_bit_4 -COL00119_bit_3 -COL00119_bit_2 -COL00119_bit_1 COL00119_bit0 COL00119_bit1 COL00119_bit2 COL00119_bit3 -COL00119_bit4 -COL00119_bit5 COL00119_bit6 -COL00119_bit7 -COL00119_bit8 -COL00119_bit9 -COL00119_bit10 -COL00119_bit11 -COL00119_bit12 -COL00120_bit_7 -COL00120_bit_6 -COL00120_bit_5 -COL00120_bit_4 -COL00120_bit_3 -COL00120_bit_2 -COL00120_bit_1 -COL00120_bit0 -COL00120_bit1 -COL00120_bit2 -COL00120_bit3 -COL00120_bit4 -COL00120_bit5 -COL00120_bit6 -COL00120_bit7 -COL00120_bit8 -COL00120_bit9 -COL00120_bit10 -COL00120_bit11 -COL00120_bit12 COL00121_bit_7 COL00121_bit_6 COL00121_bit_5 COL00121_bit_4 -COL00121_bit_3 COL00121_bit_2 COL00121_bit_1 COL00121_bit0 COL00121_bit1 -COL00121_bit2 -COL00121_bit3 -COL00121_bit4 -COL00121_bit5 -COL00121_bit6 -COL00121_bit7 -COL00121_bit8 -COL00121_bit9 -COL00121_bit10 -COL00121_bit11 -COL00121_bit12 COL00122_bit_7 COL00122_bit_6 COL00122_bit_5 -COL00122_bit_4 -COL00122_bit_3 -COL00122_bit_2 -COL00122_bit_1 COL00122_bit0 COL00122_bit1 COL00122_bit2 COL00122_bit3 -COL00122_bit4 -COL00122_bit5 COL00122_bit6 -COL00122_bit7 -COL00122_bit8 -COL00122_bit9 -COL00122_bit10 -COL00122_bit11 -COL00122_bit12 -COL00123_bit_7 -COL00123_bit_6 -COL00123_bit_5 -COL00123_bit_4 -COL00123_bit_3 -COL00123_bit_2 -COL00123_bit_1 -COL00123_bit0 -COL00123_bit1 -COL00123_bit2 -COL00123_bit3 -COL00123_bit4 -COL00123_bit5 -COL00123_bit6 -COL00123_bit7 -COL00123_bit8 -COL00123_bit9 -COL00123_bit10 -COL00123_bit11 -COL00123_bit12 COL00124_bit_7 -COL00124_bit_6 COL00124_bit_5 -COL00124_bit_4 COL00124_bit_3 COL00124_bit_2 COL00124_bit_1 COL00124_bit0 COL00124_bit1 -COL00124_bit2 -COL00124_bit3 -COL00124_bit4 -COL00124_bit5 -COL00124_bit6 -COL00124_bit7 -COL00124_bit8 -COL00124_bit9 -COL00124_bit10 -COL00124_bit11 -COL00124_bit12 COL00125_bit_7 -COL00125_bit_6 COL00125_bit_5 COL00125_bit_4 -COL00125_bit_3 COL00125_bit_2 -COL00125_bit_1 -COL00125_bit0 COL00125_bit1 COL00125_bit2 -COL00125_bit3 -COL00125_bit4 -COL00125_bit5 -COL00125_bit6 -COL00125_bit7 -COL00125_bit8 -COL00125_bit9 -COL00125_bit10 -COL00125_bit11 -COL00125_bit12 -COL00126_bit_7 -COL00126_bit_6 -COL00126_bit_5 -COL00126_bit_4 -COL00126_bit_3 -COL00126_bit_2 -COL00126_bit_1 -COL00126_bit0 -COL00126_bit1 -COL00126_bit2 -COL00126_bit3 -COL00126_bit4 -COL00126_bit5 -COL00126_bit6 -COL00126_bit7 -COL00126_bit8 -COL00126_bit9 -COL00126_bit10 -COL00126_bit11 -COL00126_bit12 -COL00127_bit_7 -COL00127_bit_6 -COL00127_bit_5 -COL00127_bit_4 -COL00127_bit_3 -COL00127_bit_2 -COL00127_bit_1 -COL00127_bit0 -COL00127_bit1 -COL00127_bit2 -COL00127_bit3 -COL00127_bit4 -COL00127_bit5 -COL00127_bit6 -COL00127_bit7 -COL00127_bit8 -COL00127_bit9 -COL00127_bit10 -COL00127_bit11 -COL00127_bit12 -COL00128_bit_7 -COL00128_bit_6 -COL00128_bit_5 -COL00128_bit_4 -COL00128_bit_3 -COL00128_bit_2 -COL00128_bit_1 -COL00128_bit0 -COL00128_bit1 -COL00128_bit2 -COL00128_bit3 -COL00128_bit4 -COL00128_bit5 -COL00128_bit6 -COL00128_bit7 -COL00128_bit8 -COL00128_bit9 -COL00128_bit10 -COL00128_bit11 -COL00128_bit12 -COL00129_bit_7 -COL00129_bit_6 COL00129_bit_5 -COL00129_bit_4 -COL00129_bit_3 COL00129_bit_2 COL00129_bit_1 COL00129_bit0 COL00129_bit1 COL00129_bit2 -COL00129_bit3 -COL00129_bit4 -COL00129_bit5 COL00129_bit6 -COL00129_bit7 -COL00129_bit8 -COL00129_bit9 -COL00129_bit10 -COL00129_bit11 -COL00129_bit12 -COL00130_bit_7 -COL00130_bit_6 COL00130_bit_5 -COL00130_bit_4 COL00130_bit_3 COL00130_bit_2 -COL00130_bit_1 COL00130_bit0 -COL00130_bit1 COL00130_bit2 -COL00130_bit3 COL00130_bit4 -COL00130_bit5 COL00130_bit6 -COL00130_bit7 -COL00130_bit8 -COL00130_bit9 -COL00130_bit10 -COL00130_bit11 -COL00130_bit12 -COL00131_bit_7 -COL00131_bit_6 -COL00131_bit_5 -COL00131_bit_4 -COL00131_bit_3 -COL00131_bit_2 -COL00131_bit_1 -COL00131_bit0 -COL00131_bit1 -COL00131_bit2 -COL00131_bit3 -COL00131_bit4 -COL00131_bit5 -COL00131_bit6 -COL00131_bit7 -COL00131_bit8 -COL00131_bit9 -COL00131_bit10 -COL00131_bit11 -COL00131_bit12 -COL00132_bit_7 COL00132_bit_6 COL00132_bit_5 -COL00132_bit_4 -COL00132_bit_3 COL00132_bit_2 COL00132_bit_1 COL00132_bit0 COL00132_bit1 COL00132_bit2 COL00132_bit3 COL00132_bit4 COL00132_bit5 -COL00132_bit6 -COL00132_bit7 -COL00132_bit8 -COL00132_bit9 -COL00132_bit10 -COL00132_bit11 -COL00132_bit12 -COL00133_bit_7 -COL00133_bit_6 -COL00133_bit_5 -COL00133_bit_4 -COL00133_bit_3 -COL00133_bit_2 -COL00133_bit_1 -COL00133_bit0 -COL00133_bit1 -COL00133_bit2 -COL00133_bit3 -COL00133_bit4 -COL00133_bit5 -COL00133_bit6 -COL00133_bit7 -COL00133_bit8 -COL00133_bit9 -COL00133_bit10 -COL00133_bit11 -COL00133_bit12 -COL00134_bit_7 -COL00134_bit_6 -COL00134_bit_5 -COL00134_bit_4 -COL00134_bit_3 -COL00134_bit_2 -COL00134_bit_1 -COL00134_bit0 -COL00134_bit1 -COL00134_bit2 -COL00134_bit3 -COL00134_bit4 -COL00134_bit5 -COL00134_bit6 -COL00134_bit7 -COL00134_bit8 -COL00134_bit9 -COL00134_bit10 -COL00134_bit11 -COL00134_bit12 -COL00135_bit_7 -COL00135_bit_6 COL00135_bit_5 -COL00135_bit_4 COL00135_bit_3 COL00135_bit_2 COL00135_bit_1 COL00135_bit0 -COL00135_bit1 COL00135_bit2 COL00135_bit3 COL00135_bit4 COL00135_bit5 -COL00135_bit6 -COL00135_bit7 -COL00135_bit8 -COL00135_bit9 -COL00135_bit10 -COL00135_bit11 -COL00135_bit12 -COL00136_bit_7 -COL00136_bit_6 COL00136_bit_5 -COL00136_bit_4 COL00136_bit_3 -COL00136_bit_2 COL00136_bit_1 -COL00136_bit0 COL00136_bit1 -COL00136_bit2 COL00136_bit3 COL00136_bit4 -COL00136_bit5 -COL00136_bit6 -COL00136_bit7 -COL00136_bit8 -COL00136_bit9 -COL00136_bit10 -COL00136_bit11 -COL00136_bit12 -COL00137_bit_7 -COL00137_bit_6 -COL00137_bit_5 -COL00137_bit_4 -COL00137_bit_3 -COL00137_bit_2 -COL00137_bit_1 -COL00137_bit0 -COL00137_bit1 -COL00137_bit2 -COL00137_bit3 -COL00137_bit4 -COL00137_bit5 -COL00137_bit6 -COL00137_bit7 -COL00137_bit8 -COL00137_bit9 -COL00137_bit10 -COL00137_bit11 -COL00137_bit12 -COL00138_bit_7 -COL00138_bit_6 -COL00138_bit_5 -COL00138_bit_4 -COL00138_bit_3 -COL00138_bit_2 -COL00138_bit_1 -COL00138_bit0 -COL00138_bit1 -COL00138_bit2 -COL00138_bit3 -COL00138_bit4 -COL00138_bit5 -COL00138_bit6 -COL00138_bit7 -COL00138_bit8 -COL00138_bit9 -COL00138_bit10 -COL00138_bit11 -COL00138_bit12 -COL00139_bit_7 -COL00139_bit_6 -COL00139_bit_5 -COL00139_bit_4 -COL00139_bit_3 -COL00139_bit_2 -COL00139_bit_1 -COL00139_bit0 -COL00139_bit1 -COL00139_bit2 -COL00139_bit3 -COL00139_bit4 -COL00139_bit5 -COL00139_bit6 -COL00139_bit7 -COL00139_bit8 -COL00139_bit9 -COL00139_bit10 -COL00139_bit11 -COL00139_bit12 -COL00140_bit_7 -COL00140_bit_6 -COL00140_bit_5 COL00140_bit_4 COL00140_bit_3 -COL00140_bit_2 COL00140_bit_1 COL00140_bit0 -COL00140_bit1 COL00140_bit2 -COL00140_bit3 -COL00140_bit4 -COL00140_bit5 -COL00140_bit6 COL00140_bit7 -COL00140_bit8 -COL00140_bit9 -COL00140_bit10 -COL00140_bit11 -COL00140_bit12 -COL00141_bit_7 -COL00141_bit_6 -COL00141_bit_5 COL00141_bit_4 -COL00141_bit_3 -COL00141_bit_2 -COL00141_bit_1 -COL00141_bit0 -COL00141_bit1 -COL00141_bit2 -COL00141_bit3 COL00141_bit4 COL00141_bit5 COL00141_bit6 -COL00141_bit7 -COL00141_bit8 -COL00141_bit9 -COL00141_bit10 -COL00141_bit11 -COL00141_bit12 -COL00142_bit_7 -COL00142_bit_6 -COL00142_bit_5 -COL00142_bit_4 -COL00142_bit_3 -COL00142_bit_2 -COL00142_bit_1 -COL00142_bit0 -COL00142_bit1 -COL00142_bit2 -COL00142_bit3 -COL00142_bit4 -COL00142_bit5 -COL00142_bit6 -COL00142_bit7 -COL00142_bit8 -COL00142_bit9 -COL00142_bit10 -COL00142_bit11 -COL00142_bit12 -COL00143_bit_7 -COL00143_bit_6 -COL00143_bit_5 -COL00143_bit_4 -COL00143_bit_3 COL00143_bit_2 COL00143_bit_1 -COL00143_bit0 -COL00143_bit1 COL00143_bit2 COL00143_bit3 COL00143_bit4 COL00143_bit5 -COL00143_bit6 -COL00143_bit7 -COL00143_bit8 -COL00143_bit9 -COL00143_bit10 -COL00143_bit11 -COL00143_bit12 -COL00144_bit_7 -COL00144_bit_6 -COL00144_bit_5 COL00144_bit_4 -COL00144_bit_3 -COL00144_bit_2 -COL00144_bit_1 -COL00144_bit0 -COL00144_bit1 -COL00144_bit2 -COL00144_bit3 COL00144_bit4 COL00144_bit5 COL00144_bit6 -COL00144_bit7 -COL00144_bit8 -COL00144_bit9 -COL00144_bit10 -COL00144_bit11 -COL00144_bit12 -COL00145_bit_7 -COL00145_bit_6 -COL00145_bit_5 -COL00145_bit_4 -COL00145_bit_3 -COL00145_bit_2 COL00145_bit_1 -COL00145_bit0 -COL00145_bit1 -COL00145_bit2 -COL00145_bit3 -COL00145_bit4 -COL00145_bit5 -COL00145_bit6 -COL00145_bit7 -COL00145_bit8 -COL00145_bit9 -COL00145_bit10 -COL00145_bit11 -COL00145_bit12 -COL00146_bit_7 -COL00146_bit_6 -COL00146_bit_5 -COL00146_bit_4 COL00146_bit_3 -COL00146_bit_2 COL00146_bit_1 -COL00146_bit0 COL00146_bit1 -COL00146_bit2 COL00146_bit3 COL00146_bit4 COL00146_bit5 -COL00146_bit6 -COL00146_bit7 -COL00146_bit8 -COL00146_bit9 -COL00146_bit10 -COL00146_bit11 -COL00146_bit12 COL00147_bit_7 COL00147_bit_6 -COL00147_bit_5 -COL00147_bit_4 -COL00147_bit_3 -COL00147_bit_2 COL00147_bit_1 -COL00147_bit0 COL00147_bit1 -COL00147_bit2 -COL00147_bit3 -COL00147_bit4 -COL00147_bit5 -COL00147_bit6 -COL00147_bit7 -COL00147_bit8 -COL00147_bit9 -COL00147_bit10 -COL00147_bit11 -COL00147_bit12 -COL00148_bit_7 -COL00148_bit_6 -COL00148_bit_5 -COL00148_bit_4 -COL00148_bit_3 -COL00148_bit_2 -COL00148_bit_1 -COL00148_bit0 -COL00148_bit1 -COL00148_bit2 -COL00148_bit3 -COL00148_bit4 -COL00148_bit5 -COL00148_bit6 -COL00148_bit7 -COL00148_bit8 -COL00148_bit9 -COL00148_bit10 -COL00148_bit11 -COL00148_bit12 -COL00149_bit_7 -COL00149_bit_6 -COL00149_bit_5 -COL00149_bit_4 -COL00149_bit_3 -COL00149_bit_2 -COL00149_bit_1 -COL00149_bit0 -COL00149_bit1 -COL00149_bit2 -COL00149_bit3 -COL00149_bit4 -COL00149_bit5 -COL00149_bit6 -COL00149_bit7 -COL00149_bit8 -COL00149_bit9 -COL00149_bit10 -COL00149_bit11 -COL00149_bit12 -COL00150_bit_7 -COL00150_bit_6 -COL00150_bit_5 -COL00150_bit_4 -COL00150_bit_3 -COL00150_bit_2 COL00150_bit_1 -COL00150_bit0 -COL00150_bit1 -COL00150_bit2 -COL00150_bit3 -COL00150_bit4 -COL00150_bit5 -COL00150_bit6 -COL00150_bit7 -COL00150_bit8 -COL00150_bit9 -COL00150_bit10 -COL00150_bit11 -COL00150_bit12 -COL00151_bit_7 -COL00151_bit_6 -COL00151_bit_5 COL00151_bit_4 -COL00151_bit_3 COL00151_bit_2 -COL00151_bit_1 -COL00151_bit0 -COL00151_bit1 -COL00151_bit2 -COL00151_bit3 -COL00151_bit4 -COL00151_bit5 COL00151_bit6 COL00151_bit7 -COL00151_bit8 -COL00151_bit9 -COL00151_bit10 -COL00151_bit11 -COL00151_bit12 COL00152_bit_7 COL00152_bit_6 -COL00152_bit_5 COL00152_bit_4 -COL00152_bit_3 -COL00152_bit_2 COL00152_bit_1 -COL00152_bit0 COL00152_bit1 -COL00152_bit2 -COL00152_bit3 COL00152_bit4 COL00152_bit5 COL00152_bit6 -COL00152_bit7 -COL00152_bit8 -COL00152_bit9 -COL00152_bit10 -COL00152_bit11 -COL00152_bit12 -COL00153_bit_7 -COL00153_bit_6 -COL00153_bit_5 -COL00153_bit_4 -COL00153_bit_3 -COL00153_bit_2 COL00153_bit_1 -COL00153_bit0 -COL00153_bit1 -COL00153_bit2 -COL00153_bit3 -COL00153_bit4 -COL00153_bit5 -COL00153_bit6 -COL00153_bit7 -COL00153_bit8 -COL00153_bit9 -COL00153_bit10 -COL00153_bit11 -COL00153_bit12 -COL00154_bit_7 -COL00154_bit_6 -COL00154_bit_5 COL00154_bit_4 -COL00154_bit_3 COL00154_bit_2 -COL00154_bit_1 -COL00154_bit0 -COL00154_bit1 -COL00154_bit2 -COL00154_bit3 -COL00154_bit4 -COL00154_bit5 COL00154_bit6 COL00154_bit7 -COL00154_bit8 -COL00154_bit9 -COL00154_bit10 -COL00154_bit11 -COL00154_bit12 COL00155_bit_7 COL00155_bit_6 -COL00155_bit_5 COL00155_bit_4 -COL00155_bit_3 -COL00155_bit_2 COL00155_bit_1 -COL00155_bit0 COL00155_bit1 -COL00155_bit2 -COL00155_bit3 COL00155_bit4 COL00155_bit5 COL00155_bit6 -COL00155_bit7 -COL00155_bit8 -COL00155_bit9 -COL00155_bit10 -COL00155_bit11 -COL00155_bit12 -COL00156_bit_7 -COL00156_bit_6 -COL00156_bit_5 -COL00156_bit_4 -COL00156_bit_3 -COL00156_bit_2 COL00156_bit_1 COL00156_bit0 -COL00156_bit1 -COL00156_bit2 -COL00156_bit3 -COL00156_bit4 -COL00156_bit5 -COL00156_bit6 -COL00156_bit7 -COL00156_bit8 -COL00156_bit9 -COL00156_bit10 -COL00156_bit11 -COL00156_bit12 COL00157_bit_7 COL00157_bit_6 -COL00157_bit_5 COL00157_bit_4 COL00157_bit_3 COL00157_bit_2 COL00157_bit_1 -COL00157_bit0 -COL00157_bit1 COL00157_bit2 -COL00157_bit3 -COL00157_bit4 -COL00157_bit5 -COL00157_bit6 -COL00157_bit7 -COL00157_bit8 -COL00157_bit9 -COL00157_bit10 -COL00157_bit11 -COL00157_bit12 COL00158_bit_7 COL00158_bit_6 COL00158_bit_5 COL00158_bit_4 COL00158_bit_3 -COL00158_bit_2 -COL00158_bit_1 -COL00158_bit0 COL00158_bit1 -COL00158_bit2 -COL00158_bit3 COL00158_bit4 -COL00158_bit5 -COL00158_bit6 -COL00158_bit7 -COL00158_bit8 -COL00158_bit9 -COL00158_bit10 -COL00158_bit11 -COL00158_bit12 -COL00159_bit_7 -COL00159_bit_6 -COL00159_bit_5 -COL00159_bit_4 -COL00159_bit_3 -COL00159_bit_2 -COL00159_bit_1 -COL00159_bit0 -COL00159_bit1 -COL00159_bit2 -COL00159_bit3 -COL00159_bit4 -COL00159_bit5 -COL00159_bit6 -COL00159_bit7 -COL00159_bit8 -COL00159_bit9 -COL00159_bit10 -COL00159_bit11 -COL00159_bit12 -COL00160_bit_7 -COL00160_bit_6 -COL00160_bit_5 -COL00160_bit_4 -COL00160_bit_3 -COL00160_bit_2 -COL00160_bit_1 -COL00160_bit0 -COL00160_bit1 -COL00160_bit2 -COL00160_bit3 -COL00160_bit4 -COL00160_bit5 -COL00160_bit6 -COL00160_bit7 -COL00160_bit8 -COL00160_bit9 -COL00160_bit10 -COL00160_bit11 -COL00160_bit12 -COL00161_bit_7 -COL00161_bit_6 -COL00161_bit_5 -COL00161_bit_4 -COL00161_bit_3 -COL00161_bit_2 -COL00161_bit_1 -COL00161_bit0 COL00161_bit1 -COL00161_bit2 -COL00161_bit3 -COL00161_bit4 -COL00161_bit5 -COL00161_bit6 -COL00161_bit7 -COL00161_bit8 -COL00161_bit9 -COL00161_bit10 -COL00161_bit11 -COL00161_bit12 COL00162_bit_7 COL00162_bit_6 -COL00162_bit_5 -COL00162_bit_4 -COL00162_bit_3 COL00162_bit_2 -COL00162_bit_1 COL00162_bit0 -COL00162_bit1 COL00162_bit2 -COL00162_bit3 -COL00162_bit4 -COL00162_bit5 COL00162_bit6 COL00162_bit7 -COL00162_bit8 -COL00162_bit9 -COL00162_bit10 -COL00162_bit11 -COL00162_bit12 -COL00163_bit_7 COL00163_bit_6 -COL00163_bit_5 COL00163_bit_4 -COL00163_bit_3 COL00163_bit_2 COL00163_bit_1 -COL00163_bit0 -COL00163_bit1 COL00163_bit2 -COL00163_bit3 -COL00163_bit4 -COL00163_bit5 -COL00163_bit6 COL00163_bit7 -COL00163_bit8 -COL00163_bit9 -COL00163_bit10 -COL00163_bit11 -COL00163_bit12 -COL00164_bit_7 -COL00164_bit_6 -COL00164_bit_5 -COL00164_bit_4 -COL00164_bit_3 -COL00164_bit_2 -COL00164_bit_1 -COL00164_bit0 COL00164_bit1 -COL00164_bit2 -COL00164_bit3 -COL00164_bit4 -COL00164_bit5 -COL00164_bit6 -COL00164_bit7 -COL00164_bit8 -COL00164_bit9 -COL00164_bit10 -COL00164_bit11 -COL00164_bit12 COL00165_bit_7 COL00165_bit_6 COL00165_bit_5 COL00165_bit_4 COL00165_bit_3 -COL00165_bit_2 COL00165_bit_1 -COL00165_bit0 -COL00165_bit1 COL00165_bit2 -COL00165_bit3 COL00165_bit4 -COL00165_bit5 -COL00165_bit6 -COL00165_bit7 -COL00165_bit8 -COL00165_bit9 -COL00165_bit10 -COL00165_bit11 -COL00165_bit12 -COL00166_bit_7 COL00166_bit_6 -COL00166_bit_5 COL00166_bit_4 -COL00166_bit_3 COL00166_bit_2 COL00166_bit_1 -COL00166_bit0 -COL00166_bit1 COL00166_bit2 -COL00166_bit3 -COL00166_bit4 -COL00166_bit5 -COL00166_bit6 COL00166_bit7 -COL00166_bit8 -COL00166_bit9 -COL00166_bit10 -COL00166_bit11 -COL00166_bit12 COL00167_bit_7 -COL00167_bit_6 COL00167_bit_5 COL00167_bit_4 -COL00167_bit_3 COL00167_bit_2 COL00167_bit_1 COL00167_bit0 COL00167_bit1 -COL00167_bit2 -COL00167_bit3 -COL00167_bit4 -COL00167_bit5 -COL00167_bit6 -COL00167_bit7 -COL00167_bit8 -COL00167_bit9 -COL00167_bit10 -COL00167_bit11 -COL00167_bit12 -COL00168_bit_7 -COL00168_bit_6 -COL00168_bit_5 COL00168_bit_4 -COL00168_bit_3 -COL00168_bit_2 -COL00168_bit_1 COL00168_bit0 COL00168_bit1 -COL00168_bit2 COL00168_bit3 -COL00168_bit4 -COL00168_bit5 -COL00168_bit6 -COL00168_bit7 -COL00168_bit8 -COL00168_bit9 -COL00168_bit10 -COL00168_bit11 -COL00168_bit12 COL00169_bit_7 COL00169_bit_6 -COL00169_bit_5 -COL00169_bit_4 COL00169_bit_3 -COL00169_bit_2 -COL00169_bit_1 COL00169_bit0 -COL00169_bit1 COL00169_bit2 -COL00169_bit3 COL00169_bit4 -COL00169_bit5 -COL00169_bit6 -COL00169_bit7 -COL00169_bit8 -COL00169_bit9 -COL00169_bit10 -COL00169_bit11 -COL00169_bit12 -COL00170_bit_7 -COL00170_bit_6 -COL00170_bit_5 -COL00170_bit_4 -COL00170_bit_3 -COL00170_bit_2 -COL00170_bit_1 -COL00170_bit0 -COL00170_bit1 -COL00170_bit2 -COL00170_bit3 -COL00170_bit4 -COL00170_bit5 -COL00170_bit6 -COL00170_bit7 -COL00170_bit8 -COL00170_bit9 -COL00170_bit10 -COL00170_bit11 -COL00170_bit12 -COL00171_bit_7 -COL00171_bit_6 -COL00171_bit_5 -COL00171_bit_4 -COL00171_bit_3 -COL00171_bit_2 -COL00171_bit_1 -COL00171_bit0 -COL00171_bit1 -COL00171_bit2 -COL00171_bit3 -COL00171_bit4 -COL00171_bit5 -COL00171_bit6 -COL00171_bit7 -COL00171_bit8 -COL00171_bit9 -COL00171_bit10 -COL00171_bit11 -COL00171_bit12 COL00172_bit_7 -COL00172_bit_6 COL00172_bit_5 COL00172_bit_4 -COL00172_bit_3 COL00172_bit_2 COL00172_bit_1 COL00172_bit0 -COL00172_bit1 COL00172_bit2 -COL00172_bit3 -COL00172_bit4 -COL00172_bit5 -COL00172_bit6 -COL00172_bit7 -COL00172_bit8 -COL00172_bit9 -COL00172_bit10 -COL00172_bit11 -COL00172_bit12 COL00173_bit_7 COL00173_bit_6 -COL00173_bit_5 COL00173_bit_4 -COL00173_bit_3 COL00173_bit_2 -COL00173_bit_1 -COL00173_bit0 -COL00173_bit1 -COL00173_bit2 -COL00173_bit3 COL00173_bit4 -COL00173_bit5 COL00173_bit6 COL00173_bit7 -COL00173_bit8 -COL00173_bit9 -COL00173_bit10 -COL00173_bit11 -COL00173_bit12 COL00174_bit_7 -COL00174_bit_6 COL00174_bit_5 COL00174_bit_4 COL00174_bit_3 COL00174_bit_2 COL00174_bit_1 COL00174_bit0 -COL00174_bit1 -COL00174_bit2 COL00174_bit3 COL00174_bit4 -COL00174_bit5 -COL00174_bit6 COL00174_bit7 -COL00174_bit8 -COL00174_bit9 -COL00174_bit10 -COL00174_bit11 -COL00174_bit12 COL00175_bit_7 -COL00175_bit_6 COL00175_bit_5 COL00175_bit_4 -COL00175_bit_3 COL00175_bit_2 COL00175_bit_1 COL00175_bit0 -COL00175_bit1 COL00175_bit2 -COL00175_bit3 -COL00175_bit4 -COL00175_bit5 -COL00175_bit6 -COL00175_bit7 -COL00175_bit8 -COL00175_bit9 -COL00175_bit10 -COL00175_bit11 -COL00175_bit12 -COL00176_bit_7 COL00176_bit_6 -COL00176_bit_5 -COL00176_bit_4 -COL00176_bit_3 -COL00176_bit_2 -COL00176_bit_1 -COL00176_bit0 -COL00176_bit1 -COL00176_bit2 COL00176_bit3 COL00176_bit4 COL00176_bit5 -COL00176_bit6 -COL00176_bit7 -COL00176_bit8 -COL00176_bit9 -COL00176_bit10 -COL00176_bit11 -COL00176_bit12 COL00177_bit_7 -COL00177_bit_6 COL00177_bit_5 COL00177_bit_4 COL00177_bit_3 COL00177_bit_2 COL00177_bit_1 COL00177_bit0 -COL00177_bit1 -COL00177_bit2 COL00177_bit3 COL00177_bit4 -COL00177_bit5 -COL00177_bit6 COL00177_bit7 -COL00177_bit8 -COL00177_bit9 -COL00177_bit10 -COL00177_bit11 -COL00177_bit12 COL00178_bit_7 COL00178_bit_6 -COL00178_bit_5 -COL00178_bit_4 COL00178_bit_3 COL00178_bit_2 -COL00178_bit_1 -COL00178_bit0 COL00178_bit1 -COL00178_bit2 COL00178_bit3 COL00178_bit4 COL00178_bit5 -COL00178_bit6 -COL00178_bit7 -COL00178_bit8 -COL00178_bit9 -COL00178_bit10 -COL00178_bit11 -COL00178_bit12 -COL00179_bit_7 -COL00179_bit_6 COL00179_bit_5 COL00179_bit_4 COL00179_bit_3 -COL00179_bit_2 -COL00179_bit_1 COL00179_bit0 -COL00179_bit1 -COL00179_bit2 -COL00179_bit3 -COL00179_bit4 -COL00179_bit5 -COL00179_bit6 -COL00179_bit7 -COL00179_bit8 -COL00179_bit9 -COL00179_bit10 -COL00179_bit11 -COL00179_bit12 -COL00180_bit_7 COL00180_bit_6 -COL00180_bit_5 -COL00180_bit_4 -COL00180_bit_3 COL00180_bit_2 COL00180_bit_1 -COL00180_bit0 COL00180_bit1 -COL00180_bit2 -COL00180_bit3 COL00180_bit4 -COL00180_bit5 -COL00180_bit6 -COL00180_bit7 -COL00180_bit8 -COL00180_bit9 -COL00180_bit10 -COL00180_bit11 -COL00180_bit12 -COL00181_bit_7 -COL00181_bit_6 -COL00181_bit_5 -COL00181_bit_4 -COL00181_bit_3 -COL00181_bit_2 -COL00181_bit_1 -COL00181_bit0 -COL00181_bit1 -COL00181_bit2 -COL00181_bit3 -COL00181_bit4 -COL00181_bit5 -COL00181_bit6 -COL00181_bit7 -COL00181_bit8 -COL00181_bit9 -COL00181_bit10 -COL00181_bit11 -COL00181_bit12 -COL00182_bit_7 -COL00182_bit_6 -COL00182_bit_5 -COL00182_bit_4 -COL00182_bit_3 -COL00182_bit_2 -COL00182_bit_1 -COL00182_bit0 -COL00182_bit1 -COL00182_bit2 -COL00182_bit3 -COL00182_bit4 -COL00182_bit5 -COL00182_bit6 -COL00182_bit7 -COL00182_bit8 -COL00182_bit9 -COL00182_bit10 -COL00182_bit11 -COL00182_bit12 -COL00183_bit_7 -COL00183_bit_6 -COL00183_bit_5 -COL00183_bit_4 -COL00183_bit_3 COL00183_bit_2 -COL00183_bit_1 -COL00183_bit0 -COL00183_bit1 -COL00183_bit2 -COL00183_bit3 -COL00183_bit4 -COL00183_bit5 COL00183_bit6 -COL00183_bit7 -COL00183_bit8 -COL00183_bit9 -COL00183_bit10 -COL00183_bit11 -COL00183_bit12 COL00184_bit_7 COL00184_bit_6 COL00184_bit_5 -COL00184_bit_4 -COL00184_bit_3 -COL00184_bit_2 COL00184_bit_1 COL00184_bit0 -COL00184_bit1 -COL00184_bit2 -COL00184_bit3 COL00184_bit4 -COL00184_bit5 COL00184_bit6 COL00184_bit7 -COL00184_bit8 -COL00184_bit9 -COL00184_bit10 -COL00184_bit11 -COL00184_bit12 COL00185_bit_7 COL00185_bit_6 COL00185_bit_5 COL00185_bit_4 COL00185_bit_3 -COL00185_bit_2 COL00185_bit_1 -COL00185_bit0 -COL00185_bit1 COL00185_bit2 COL00185_bit3 -COL00185_bit4 COL00185_bit5 -COL00185_bit6 COL00185_bit7 -COL00185_bit8 -COL00185_bit9 -COL00185_bit10 -COL00185_bit11 -COL00185_bit12 -COL00186_bit_7 -COL00186_bit_6 -COL00186_bit_5 -COL00186_bit_4 -COL00186_bit_3 COL00186_bit_2 -COL00186_bit_1 -COL00186_bit0 -COL00186_bit1 -COL00186_bit2 -COL00186_bit3 -COL00186_bit4 -COL00186_bit5 COL00186_bit6 -COL00186_bit7 -COL00186_bit8 -COL00186_bit9 -COL00186_bit10 -COL00186_bit11 -COL00186_bit12 -COL00187_bit_7 -COL00187_bit_6 -COL00187_bit_5 COL00187_bit_4 -COL00187_bit_3 -COL00187_bit_2 COL00187_bit_1 COL00187_bit0 -COL00187_bit1 -COL00187_bit2 -COL00187_bit3 COL00187_bit4 -COL00187_bit5 -COL00187_bit6 -COL00187_bit7 -COL00187_bit8 -COL00187_bit9 -COL00187_bit10 -COL00187_bit11 -COL00187_bit12 COL00188_bit_7 COL00188_bit_6 COL00188_bit_5 COL00188_bit_4 COL00188_bit_3 -COL00188_bit_2 COL00188_bit_1 -COL00188_bit0 -COL00188_bit1 COL00188_bit2 COL00188_bit3 -COL00188_bit4 COL00188_bit5 -COL00188_bit6 COL00188_bit7 -COL00188_bit8 -COL00188_bit9 -COL00188_bit10 -COL00188_bit11 -COL00188_bit12 -COL00189_bit_7 COL00189_bit_6 -COL00189_bit_5 COL00189_bit_4 COL00189_bit_3 COL00189_bit_2 -COL00189_bit_1 COL00189_bit0 COL00189_bit1 -COL00189_bit2 -COL00189_bit3 -COL00189_bit4 -COL00189_bit5 -COL00189_bit6 -COL00189_bit7 -COL00189_bit8 -COL00189_bit9 -COL00189_bit10 -COL00189_bit11 -COL00189_bit12 COL00190_bit_7 -COL00190_bit_6 -COL00190_bit_5 COL00190_bit_4 COL00190_bit_3 COL00190_bit_2 -COL00190_bit_1 COL00190_bit0 COL00190_bit1 COL00190_bit2 COL00190_bit3 -COL00190_bit4 -COL00190_bit5 -COL00190_bit6 -COL00190_bit7 -COL00190_bit8 -COL00190_bit9 -COL00190_bit10 -COL00190_bit11 -COL00190_bit12 -COL00191_bit_7 -COL00191_bit_6 -COL00191_bit_5 COL00191_bit_4 -COL00191_bit_3 COL00191_bit_2 -COL00191_bit_1 -COL00191_bit0 -COL00191_bit1 -COL00191_bit2 COL00191_bit3 COL00191_bit4 -COL00191_bit5 -COL00191_bit6 -COL00191_bit7 -COL00191_bit8 -COL00191_bit9 -COL00191_bit10 -COL00191_bit11 -COL00191_bit12 -COL00192_bit_7 -COL00192_bit_6 -COL00192_bit_5 -COL00192_bit_4 -COL00192_bit_3 -COL00192_bit_2 -COL00192_bit_1 -COL00192_bit0 -COL00192_bit1 -COL00192_bit2 -COL00192_bit3 -COL00192_bit4 -COL00192_bit5 -COL00192_bit6 -COL00192_bit7 -COL00192_bit8 -COL00192_bit9 -COL00192_bit10 -COL00192_bit11 -COL00192_bit12 -COL00193_bit_7 -COL00193_bit_6 -COL00193_bit_5 -COL00193_bit_4 -COL00193_bit_3 -COL00193_bit_2 -COL00193_bit_1 -COL00193_bit0 -COL00193_bit1 -COL00193_bit2 -COL00193_bit3 -COL00193_bit4 -COL00193_bit5 -COL00193_bit6 -COL00193_bit7 -COL00193_bit8 -COL00193_bit9 -COL00193_bit10 -COL00193_bit11 -COL00193_bit12 -COL00194_bit_7 COL00194_bit_6 -COL00194_bit_5 COL00194_bit_4 COL00194_bit_3 -COL00194_bit_2 COL00194_bit_1 COL00194_bit0 COL00194_bit1 -COL00194_bit2 -COL00194_bit3 -COL00194_bit4 -COL00194_bit5 COL00194_bit6 -COL00194_bit7 -COL00194_bit8 -COL00194_bit9 -COL00194_bit10 -COL00194_bit11 -COL00194_bit12 -COL00195_bit_7 -COL00195_bit_6 -COL00195_bit_5 -COL00195_bit_4 -COL00195_bit_3 -COL00195_bit_2 -COL00195_bit_1 COL00195_bit0 -COL00195_bit1 -COL00195_bit2 -COL00195_bit3 -COL00195_bit4 COL00195_bit5 COL00195_bit6 COL00195_bit7 -COL00195_bit8 -COL00195_bit9 -COL00195_bit10 -COL00195_bit11 -COL00195_bit12 COL00196_bit_7 COL00196_bit_6 COL00196_bit_5 -COL00196_bit_4 -COL00196_bit_3 -COL00196_bit_2 -COL00196_bit_1 COL00196_bit0 -COL00196_bit1 COL00196_bit2 -COL00196_bit3 -COL00196_bit4 -COL00196_bit5 COL00196_bit6 COL00196_bit7 -COL00196_bit8 -COL00196_bit9 -COL00196_bit10 -COL00196_bit11 -COL00196_bit12 -COL00197_bit_7 COL00197_bit_6 -COL00197_bit_5 COL00197_bit_4 COL00197_bit_3 -COL00197_bit_2 COL00197_bit_1 COL00197_bit0 COL00197_bit1 -COL00197_bit2 -COL00197_bit3 -COL00197_bit4 -COL00197_bit5 COL00197_bit6 -COL00197_bit7 -COL00197_bit8 -COL00197_bit9 -COL00197_bit10 -COL00197_bit11 -COL00197_bit12 -COL00198_bit_7 -COL00198_bit_6 -COL00198_bit_5 -COL00198_bit_4 -COL00198_bit_3 -COL00198_bit_2 -COL00198_bit_1 COL00198_bit0 -COL00198_bit1 -COL00198_bit2 -COL00198_bit3 -COL00198_bit4 COL00198_bit5 COL00198_bit6 COL00198_bit7 -COL00198_bit8 -COL00198_bit9 -COL00198_bit10 -COL00198_bit11 -COL00198_bit12 -COL00199_bit_7 -COL00199_bit_6 -COL00199_bit_5 -COL00199_bit_4 -COL00199_bit_3 -COL00199_bit_2 -COL00199_bit_1 -COL00199_bit0 -COL00199_bit1 -COL00199_bit2 -COL00199_bit3 -COL00199_bit4 -COL00199_bit5 -COL00199_bit6 -COL00199_bit7 -COL00199_bit8 -COL00199_bit9 -COL00199_bit10 -COL00199_bit11 -COL00199_bit12 -COL00200_bit_7 -COL00200_bit_6 -COL00200_bit_5 COL00200_bit_4 -COL00200_bit_3 -COL00200_bit_2 -COL00200_bit_1 -COL00200_bit0 -COL00200_bit1 COL00200_bit2 -COL00200_bit3 -COL00200_bit4 -COL00200_bit5 -COL00200_bit6 -COL00200_bit7 -COL00200_bit8 -COL00200_bit9 -COL00200_bit10 -COL00200_bit11 -COL00200_bit12 -COL00201_bit_7 -COL00201_bit_6 -COL00201_bit_5 -COL00201_bit_4 -COL00201_bit_3 -COL00201_bit_2 COL00201_bit_1 -COL00201_bit0 -COL00201_bit1 -COL00201_bit2 -COL00201_bit3 -COL00201_bit4 COL00201_bit5 -COL00201_bit6 -COL00201_bit7 -COL00201_bit8 -COL00201_bit9 -COL00201_bit10 -COL00201_bit11 -COL00201_bit12 -COL00202_bit_7 -COL00202_bit_6 -COL00202_bit_5 -COL00202_bit_4 -COL00202_bit_3 -COL00202_bit_2 -COL00202_bit_1 -COL00202_bit0 -COL00202_bit1 -COL00202_bit2 -COL00202_bit3 -COL00202_bit4 -COL00202_bit5 -COL00202_bit6 -COL00202_bit7 -COL00202_bit8 -COL00202_bit9 -COL00202_bit10 -COL00202_bit11 -COL00202_bit12 -COL00203_bit_7 -COL00203_bit_6 -COL00203_bit_5 -COL00203_bit_4 -COL00203_bit_3 -COL00203_bit_2 -COL00203_bit_1 -COL00203_bit0 -COL00203_bit1 -COL00203_bit2 -COL00203_bit3 -COL00203_bit4 -COL00203_bit5 -COL00203_bit6 -COL00203_bit7 -COL00203_bit8 -COL00203_bit9 -COL00203_bit10 -COL00203_bit11 -COL00203_bit12
c _______________________________________________________________________________
c 
c restarts              : 20
c conflicts             : 490821         (1021 /sec)
c decisions             : 3441530        (7161 /sec)
c propagations          : 0              (0 /sec)
c inspects              : 0              (0 /sec)
c CPU time              : 480.57 s
c _______________________________________________________________________________
#### 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.59 0.77 0.84 2/54 12799
Raw data (stat): 12799 (runsolver) R 12798 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547685281 1052672 99 4294967295 134512640 135381576 3221224448 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 0.65 0.77 0.84 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 3345 0 0 0 990 9 0 0 25 0 1 0 547685281 15425536 3178 4294967295 134512640 134672761 3221224544 3221223668 134566098 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 3766 3178 603 41 0 3725 0
vsize: 15064
[startup+20.0017 s]
Raw data (loadavg): 0.71 0.78 0.84 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 3667 0 0 0 1989 9 0 0 25 0 1 0 547685281 16764928 3500 4294967295 134512640 134672761 3221224544 3221223716 134556660 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4093 3500 603 41 0 4052 0
vsize: 16372
[startup+30.002 s]
Raw data (loadavg): 0.75 0.79 0.84 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 4050 0 0 0 2987 11 0 0 25 0 1 0 547685281 18370560 3883 4294967295 134512640 134672761 3221224544 3221223712 134561207 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4485 3883 603 41 0 4444 0
vsize: 17940
[startup+40.002 s]
Raw data (loadavg): 0.79 0.79 0.85 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 4416 0 0 0 3987 12 0 0 25 0 1 0 547685281 19841024 4249 4294967295 134512640 134672761 3221224544 3221223648 134560529 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4844 4249 603 41 0 4803 0
vsize: 19376
[startup+50.0022 s]
Raw data (loadavg): 0.82 0.80 0.85 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 5033 0 0 0 4985 14 0 0 25 0 1 0 547685281 22646784 4866 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5529 4866 603 41 0 5488 0
vsize: 22116
[startup+60.0032 s]
Raw data (loadavg): 0.85 0.81 0.85 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 5666 0 0 0 5984 15 0 0 25 0 1 0 547685281 25063424 5499 4294967295 134512640 134672761 3221224544 3221223712 134561218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6119 5499 603 41 0 6078 0
vsize: 24476
[startup+70.0038 s]
Raw data (loadavg): 0.87 0.81 0.85 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 5941 0 0 0 6983 16 0 0 25 0 1 0 547685281 26140672 5774 4294967295 134512640 134672761 3221224544 3221223712 134560892 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6382 5774 603 41 0 6341 0
vsize: 25528
[startup+80.005 s]
Raw data (loadavg): 0.89 0.82 0.85 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 6425 0 0 0 7981 18 0 0 25 0 1 0 547685281 28155904 6258 4294967295 134512640 134672761 3221224544 3221223648 134560347 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6874 6258 603 41 0 6833 0
vsize: 27496
[startup+90.0054 s]
Raw data (loadavg): 0.91 0.82 0.85 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 6971 0 0 0 8979 20 0 0 25 0 1 0 547685281 30302208 6804 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7398 6804 603 41 0 7357 0
vsize: 29592
[startup+100.006 s]
Raw data (loadavg): 0.92 0.83 0.85 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 6979 0 0 0 9979 21 0 0 25 0 1 0 547685281 30302208 6812 4294967295 134512640 134672761 3221224544 3221223680 134560588 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7398 6812 603 41 0 7357 0
vsize: 29592
[startup+110.006 s]
Raw data (loadavg): 0.93 0.83 0.85 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 6980 0 0 0 10978 22 0 0 25 0 1 0 547685281 30302208 6813 4294967295 134512640 134672761 3221224544 3221223668 134566043 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7398 6813 603 41 0 7357 0
vsize: 29592
[startup+120.007 s]
Raw data (loadavg): 0.94 0.84 0.85 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 6980 0 0 0 11978 22 0 0 25 0 1 0 547685281 30302208 6813 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7398 6813 603 41 0 7357 0
vsize: 29592
[startup+130.007 s]
Raw data (loadavg): 0.95 0.84 0.85 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 6982 0 0 0 12978 22 0 0 25 0 1 0 547685281 30302208 6815 4294967295 134512640 134672761 3221224544 3221223668 134566071 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7398 6815 603 41 0 7357 0
vsize: 29592
[startup+140.008 s]
Raw data (loadavg): 0.96 0.85 0.85 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 6982 0 0 0 13978 23 0 0 25 0 1 0 547685281 30302208 6815 4294967295 134512640 134672761 3221224544 3221223712 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7398 6815 603 41 0 7357 0
vsize: 29592
[startup+150.008 s]
Raw data (loadavg): 0.96 0.85 0.86 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 6982 0 0 0 14977 23 0 0 25 0 1 0 547685281 30302208 6815 4294967295 134512640 134672761 3221224544 3221223712 134560903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7398 6815 603 41 0 7357 0
vsize: 29592
[startup+160.008 s]
Raw data (loadavg): 0.97 0.86 0.86 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 7178 0 0 0 15977 23 0 0 25 0 1 0 547685281 31105024 7011 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7594 7011 603 41 0 7553 0
vsize: 30376
[startup+170.008 s]
Raw data (loadavg): 0.97 0.86 0.86 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 7702 0 0 0 16975 25 0 0 25 0 1 0 547685281 33255424 7535 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8119 7535 603 41 0 8078 0
vsize: 32476
[startup+180.009 s]
Raw data (loadavg): 0.98 0.86 0.86 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 8232 0 0 0 17973 28 0 0 25 0 1 0 547685281 35385344 8065 4294967295 134512640 134672761 3221224544 3221223648 134560418 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8639 8065 603 41 0 8598 0
vsize: 34556
[startup+190.01 s]
Raw data (loadavg): 0.98 0.87 0.86 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 8929 0 0 0 18970 31 0 0 25 0 1 0 547685281 38862848 8762 4294967295 134512640 134672761 3221224544 3221223712 134561018 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9488 8762 603 41 0 9447 0
vsize: 37952
[startup+200.009 s]
Raw data (loadavg): 0.98 0.87 0.86 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 9530 0 0 0 19969 32 0 0 25 0 1 0 547685281 41287680 9363 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10080 9363 603 41 0 10039 0
vsize: 40320
[startup+210.009 s]
Raw data (loadavg): 0.98 0.88 0.86 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 9796 0 0 0 20969 33 0 0 25 0 1 0 547685281 42352640 9629 4294967295 134512640 134672761 3221224544 3221223648 134560529 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10340 9629 603 41 0 10299 0
vsize: 41360
[startup+220.011 s]
Raw data (loadavg): 0.99 0.88 0.86 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 9796 0 0 0 21969 33 0 0 25 0 1 0 547685281 42352640 9629 4294967295 134512640 134672761 3221224544 3221223648 134560418 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10340 9629 603 41 0 10299 0
vsize: 41360
[startup+230.012 s]
Raw data (loadavg): 0.99 0.88 0.86 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 9796 0 0 0 22969 33 0 0 25 0 1 0 547685281 42352640 9629 4294967295 134512640 134672761 3221224544 3221223712 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10340 9629 603 41 0 10299 0
vsize: 41360
[startup+240.012 s]
Raw data (loadavg): 0.99 0.89 0.86 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 9796 0 0 0 23969 33 0 0 25 0 1 0 547685281 42352640 9629 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10340 9629 603 41 0 10299 0
vsize: 41360
[startup+250.011 s]
Raw data (loadavg): 0.99 0.89 0.87 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 9796 0 0 0 24970 33 0 0 25 0 1 0 547685281 42352640 9629 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10340 9629 603 41 0 10299 0
vsize: 41360
[startup+260.012 s]
Raw data (loadavg): 0.99 0.89 0.87 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 9796 0 0 0 25970 33 0 0 25 0 1 0 547685281 42352640 9629 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10340 9629 603 41 0 10299 0
vsize: 41360
[startup+270.012 s]
Raw data (loadavg): 0.99 0.90 0.87 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 9796 0 0 0 26970 33 0 0 25 0 1 0 547685281 42352640 9629 4294967295 134512640 134672761 3221224544 3221223712 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10340 9629 603 41 0 10299 0
vsize: 41360
[startup+280.012 s]
Raw data (loadavg): 0.99 0.90 0.87 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 9796 0 0 0 27970 33 0 0 25 0 1 0 547685281 42352640 9629 4294967295 134512640 134672761 3221224544 3221223668 134566034 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10340 9629 603 41 0 10299 0
vsize: 41360
[startup+290.013 s]
Raw data (loadavg): 0.99 0.90 0.87 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 9796 0 0 0 28970 33 0 0 25 0 1 0 547685281 42352640 9629 4294967295 134512640 134672761 3221224544 3221223712 134560929 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10340 9629 603 41 0 10299 0
vsize: 41360
[startup+300.012 s]
Raw data (loadavg): 0.99 0.90 0.87 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 9796 0 0 0 29971 33 0 0 25 0 1 0 547685281 42352640 9629 4294967295 134512640 134672761 3221224544 3221223716 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10340 9629 603 41 0 10299 0
vsize: 41360
[startup+310.015 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 9823 0 0 0 30971 33 0 0 25 0 1 0 547685281 42352640 9656 4294967295 134512640 134672761 3221224544 3221223696 134565045 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10340 9656 603 41 0 10299 0
vsize: 41360
[startup+320.021 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 10155 0 0 0 31971 34 0 0 25 0 1 0 547685281 43835392 9988 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10702 9988 603 41 0 10661 0
vsize: 42808
[startup+330.025 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 10614 0 0 0 32970 35 0 0 25 0 1 0 547685281 45723648 10447 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11163 10447 603 41 0 11122 0
vsize: 44652
[startup+340.024 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 11126 0 0 0 33969 36 0 0 25 0 1 0 547685281 47738880 10959 4294967295 134512640 134672761 3221224544 3221223648 134560510 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11655 10959 603 41 0 11614 0
vsize: 46620
[startup+350.026 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 11469 0 0 0 34969 37 0 0 25 0 1 0 547685281 49205248 11302 4294967295 134512640 134672761 3221224544 3221223712 134561025 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12013 11302 603 41 0 11972 0
vsize: 48052
[startup+360.026 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 12011 0 0 0 35968 38 0 0 25 0 1 0 547685281 51359744 11844 4294967295 134512640 134672761 3221224544 3221223712 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12539 11844 603 41 0 12498 0
vsize: 50156
[startup+370.025 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 12496 0 0 0 36967 39 0 0 25 0 1 0 547685281 53383168 12329 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13033 12329 603 41 0 12992 0
vsize: 52132
[startup+380.044 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 12864 0 0 0 37967 40 0 0 25 0 1 0 547685281 54882304 12697 4294967295 134512640 134672761 3221224544 3221223648 134554656 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13399 12697 603 41 0 13358 0
vsize: 53596
[startup+390.044 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 12865 0 0 0 38968 40 0 0 25 0 1 0 547685281 54882304 12698 4294967295 134512640 134672761 3221224544 3221223712 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13399 12698 603 41 0 13358 0
vsize: 53596
[startup+400.044 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 12865 0 0 0 39968 40 0 0 25 0 1 0 547685281 54882304 12698 4294967295 134512640 134672761 3221224544 3221223712 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13399 12698 603 41 0 13358 0
vsize: 53596
[startup+410.044 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 12865 0 0 0 40968 40 0 0 25 0 1 0 547685281 54882304 12698 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13399 12698 603 41 0 13358 0
vsize: 53596
[startup+420.045 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 12865 0 0 0 41968 41 0 0 25 0 1 0 547685281 54882304 12698 4294967295 134512640 134672761 3221224544 3221223712 134561218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13399 12698 603 41 0 13358 0
vsize: 53596
[startup+430.045 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 12865 0 0 0 42968 41 0 0 25 0 1 0 547685281 54882304 12698 4294967295 134512640 134672761 3221224544 3221223712 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13399 12698 603 41 0 13358 0
vsize: 53596
[startup+440.052 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 12865 0 0 0 43968 41 0 0 25 0 1 0 547685281 54882304 12698 4294967295 134512640 134672761 3221224544 3221223716 134556685 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13399 12698 603 41 0 13358 0
vsize: 53596
[startup+450.086 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 12865 0 0 0 44971 41 0 0 25 0 1 0 547685281 54882304 12698 4294967295 134512640 134672761 3221224544 3221223668 134566049 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13399 12698 603 41 0 13358 0
vsize: 53596
[startup+460.086 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 12865 0 0 0 45971 41 0 0 25 0 1 0 547685281 54882304 12698 4294967295 134512640 134672761 3221224544 3221223712 134561156 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13399 12698 603 41 0 13358 0
vsize: 53596
[startup+470.086 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 12865 0 0 0 46971 41 0 0 25 0 1 0 547685281 54882304 12698 4294967295 134512640 134672761 3221224544 3221223716 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13399 12698 603 41 0 13358 0
vsize: 53596
[startup+480.086 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 12865 0 0 0 47971 41 0 0 25 0 1 0 547685281 54882304 12698 4294967295 134512640 134672761 3221224544 3221223728 134559604 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13399 12698 603 41 0 13358 0
vsize: 53596
[startup+481.032 s]
Raw data (loadavg): 0.99 0.94 0.89 1/53 12799
Raw data (stat): 12799 (minisat+) R 12798 28099 28098 0 -1 0 12865 0 0 0 47971 41 0 0 25 0 1 0 547685281 54882304 12698 4294967295 134512640 134672761 3221224544 3221223728 134559604 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13399 12698 603 41 0 13358 0
vsize: 0

Child status: 30
Real time (s): 481.032
CPU time (s): 481.03
CPU user time (s): 480.591
CPU system time (s): 0.438933
CPU usage (%): 99.9995
Max. virtual memory (Kb): 53596
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####