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