Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rout.opb |
MD5SUM | 43b060c182b659f22c02b8a980d1ee8f |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1221280 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 21 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 2097151 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 33812000 |
Number of bits of the biggest number in a constraint | 26 |
Biggest sum of numbers in a constraint | 166074535 |
Number of bits of the biggest sum of numbers | 28 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1569.48 |
Number of variables | 5151 |
Total number of constraints | 606 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 314 |
Number of constraints which are nor clauses,nor cardinality constraints | 292 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 617 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc7 THE 2005-04-21 02:17:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18861 boxname=wulflinc7 idbench=1451 idsolver=11 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 43b060c182b659f22c02b8a980d1ee8f /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-rout.opb REAL COMMAND: minisat+ -S /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-rout.opb /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-rout.opb IDLAUNCH: 18861 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 805116 kB Buffers: 35456 kB Cached: 171260 kB SwapCached: 4 kB Active: 31880 kB Inactive: 177708 kB HighTotal: 131008 kB HighFree: 11480 kB LowTotal: 903652 kB LowFree: 793636 kB SwapTotal: 2097136 kB SwapFree: 2097132 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6940 kB Slab: 14268 kB Committed_AS: 63632 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 02:37:57 (client local time) WITH STATUS 10 IN 1200.35 SECONDS stats: 18861 7 1200.35 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Parsing PB file... c Converting 337 PB-constraints to clauses... c -- Unit propagations: (none) c -- Detecting intervals from adjacent constraints: ############################### c -- Clauses(.)/Splits(s): ............... c ---[ 320]---> Adder-cost: 3854 maxlim: 97129415 bits: 27/27 c ---[ 319]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 c ---[ 318]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 c ---[ 317]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 c ---[ 316]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 c ---[ 315]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 c ---[ 314]---> BDD-cost: 37 c ---[ 313]---> BDD-cost: 37 c ---[ 312]---> BDD-cost: 84 c ---[ 311]---> BDD-cost: 37 c ---[ 310]---> BDD-cost: 37 c ---[ 309]---> BDD-cost: 37 c ---[ 308]---> BDD-cost: 37 c ---[ 307]---> BDD-cost: 37 c ---[ 306]---> BDD-cost: 37 c ---[ 305]---> BDD-cost: 37 c ---[ 304]---> BDD-cost: 37 c ---[ 303]---> BDD-cost: 37 c ---[ 302]---> BDD-cost: 37 c ---[ 301]---> BDD-cost: 37 c ---[ 300]---> BDD-cost: 37 c ---[ 298]---> Sorter-cost: 441 Base: 2 c ---[ 296]---> Sorter-cost: 441 Base: 2 c ---[ 294]---> Sorter-cost: 441 Base: 2 c ---[ 292]---> Sorter-cost: 441 Base: 2 c ---[ 290]---> Sorter-cost: 441 Base: 2 c ---[ 288]---> Sorter-cost: 347 Base: 2 c ---[ 286]---> Sorter-cost: 347 Base: 2 c ---[ 284]---> Sorter-cost: 347 Base: 2 c ---[ 282]---> Sorter-cost: 347 Base: 2 c ---[ 280]---> Sorter-cost: 347 Base: 2 c ---[ 278]---> Sorter-cost: 515 Base: 2 c ---[ 276]---> Sorter-cost: 515 Base: 2 c ---[ 274]---> Sorter-cost: 515 Base: 2 c ---[ 272]---> Sorter-cost: 515 Base: 2 c ---[ 270]---> Sorter-cost: 515 Base: 2 c ---[ 268]---> Adder-cost: 548 maxlim: 21489 bits: 16/15 c ---[ 266]---> Adder-cost: 548 maxlim: 21489 bits: 16/15 c ---[ 264]---> Adder-cost: 548 maxlim: 21489 bits: 16/15 c ---[ 262]---> Adder-cost: 548 maxlim: 21489 bits: 16/15 c ---[ 260]---> Adder-cost: 548 maxlim: 21489 bits: 16/15 c ---[ 258]---> Adder-cost: 460 maxlim: 9207 bits: 15/14 c ---[ 256]---> Adder-cost: 460 maxlim: 9207 bits: 15/14 c ---[ 254]---> Adder-cost: 460 maxlim: 9207 bits: 15/14 c ---[ 252]---> Adder-cost: 460 maxlim: 9207 bits: 15/14 c ---[ 250]---> Adder-cost: 460 maxlim: 9207 bits: 15/14 c ---[ 248]---> Adder-cost: 608 maxlim: 21483 bits: 16/15 c ---[ 246]---> Adder-cost: 608 maxlim: 21483 bits: 16/15 c ---[ 244]---> Adder-cost: 608 maxlim: 21483 bits: 16/15 c ---[ 242]---> Adder-cost: 608 maxlim: 21483 bits: 16/15 c ---[ 240]---> Adder-cost: 608 maxlim: 21483 bits: 16/15 c ---[ 239]---> BDD-cost: 13 c ---[ 238]---> BDD-cost: 13 c ---[ 237]---> BDD-cost: 13 c ---[ 236]---> BDD-cost: 13 c ---[ 235]---> BDD-cost: 13 c ---[ 234]---> BDD-cost: 13 c ---[ 233]---> BDD-cost: 13 c ---[ 232]---> BDD-cost: 13 c ---[ 231]---> BDD-cost: 13 c ---[ 230]---> BDD-cost: 13 c ---[ 229]---> BDD-cost: 13 c ---[ 228]---> BDD-cost: 13 c ---[ 227]---> BDD-cost: 13 c ---[ 226]---> BDD-cost: 13 c ---[ 225]---> BDD-cost: 13 c ---[ 224]---> BDD-cost: 13 c ---[ 223]---> BDD-cost: 13 c ---[ 222]---> BDD-cost: 13 c ---[ 221]---> BDD-cost: 13 c ---[ 220]---> BDD-cost: 13 c ---[ 219]---> BDD-cost: 13 c ---[ 218]---> BDD-cost: 13 c ---[ 217]---> BDD-cost: 13 c ---[ 216]---> BDD-cost: 13 c ---[ 215]---> BDD-cost: 13 c ---[ 214]---> BDD-cost: 13 c ---[ 213]---> BDD-cost: 13 c ---[ 212]---> BDD-cost: 13 c ---[ 211]---> BDD-cost: 13 c ---[ 210]---> BDD-cost: 13 c ---[ 209]---> BDD-cost: 13 c ---[ 208]---> BDD-cost: 13 c ---[ 207]---> BDD-cost: 13 c ---[ 206]---> BDD-cost: 13 c ---[ 205]---> BDD-cost: 13 c ---[ 204]---> BDD-cost: 13 c ---[ 203]---> BDD-cost: 13 c ---[ 202]---> BDD-cost: 13 c ---[ 201]---> BDD-cost: 13 c ---[ 200]---> BDD-cost: 13 c ---[ 199]---> BDD-cost: 13 c ---[ 198]---> BDD-cost: 13 c ---[ 197]---> BDD-cost: 13 c ---[ 196]---> BDD-cost: 13 c ---[ 195]---> BDD-cost: 13 c ---[ 194]---> BDD-cost: 13 c ---[ 193]---> BDD-cost: 13 c ---[ 192]---> BDD-cost: 13 c ---[ 191]---> BDD-cost: 13 c ---[ 190]---> BDD-cost: 13 c ---[ 189]---> BDD-cost: 25 c ---[ 188]---> BDD-cost: 25 c ---[ 187]---> BDD-cost: 25 c ---[ 186]---> BDD-cost: 25 c ---[ 185]---> BDD-cost: 25 c ---[ 184]---> BDD-cost: 25 c ---[ 183]---> BDD-cost: 25 c ---[ 182]---> BDD-cost: 25 c ---[ 181]---> BDD-cost: 25 c ---[ 180]---> BDD-cost: 25 c ---[ 179]---> BDD-cost: 13 c ---[ 178]---> BDD-cost: 13 c ---[ 177]---> BDD-cost: 13 c ---[ 176]---> BDD-cost: 13 c ---[ 175]---> BDD-cost: 13 c ---[ 174]---> BDD-cost: 13 c ---[ 173]---> BDD-cost: 13 c ---[ 172]---> BDD-cost: 13 c ---[ 171]---> BDD-cost: 13 c ---[ 170]---> BDD-cost: 13 c ---[ 169]---> BDD-cost: 13 c ---[ 168]---> BDD-cost: 13 c ---[ 167]---> BDD-cost: 13 c ---[ 166]---> BDD-cost: 13 c ---[ 165]---> BDD-cost: 13 c ---[ 164]---> BDD-cost: 13 c ---[ 163]---> BDD-cost: 13 c ---[ 162]---> BDD-cost: 13 c ---[ 161]---> BDD-cost: 13 c ---[ 160]---> BDD-cost: 13 c ---[ 159]---> BDD-cost: 13 c ---[ 158]---> BDD-cost: 13 c ---[ 157]---> BDD-cost: 13 c ---[ 156]---> BDD-cost: 13 c ---[ 155]---> BDD-cost: 13 c ---[ 154]---> BDD-cost: 13 c ---[ 153]---> BDD-cost: 13 c ---[ 152]---> BDD-cost: 13 c ---[ 151]---> BDD-cost: 13 c ---[ 150]---> BDD-cost: 13 c ---[ 149]---> BDD-cost: 13 c ---[ 148]---> BDD-cost: 13 c ---[ 147]---> BDD-cost: 13 c ---[ 146]---> BDD-cost: 13 c ---[ 145]---> BDD-cost: 13 c ---[ 144]---> BDD-cost: 13 c ---[ 143]---> BDD-cost: 13 c ---[ 142]---> BDD-cost: 13 c ---[ 141]---> BDD-cost: 13 c ---[ 140]---> BDD-cost: 13 c ---[ 139]---> BDD-cost: 13 c ---[ 138]---> BDD-cost: 13 c ---[ 137]---> BDD-cost: 13 c ---[ 136]---> BDD-cost: 13 c ---[ 135]---> BDD-cost: 13 c ---[ 134]---> BDD-cost: 13 c ---[ 133]---> BDD-cost: 13 c ---[ 132]---> BDD-cost: 13 c ---[ 131]---> BDD-cost: 13 c ---[ 130]---> BDD-cost: 13 c ---[ 129]---> BDD-cost: 13 c ---[ 128]---> BDD-cost: 13 c ---[ 127]---> BDD-cost: 13 c ---[ 126]---> BDD-cost: 13 c ---[ 125]---> BDD-cost: 13 c ---[ 124]---> BDD-cost: 13 c ---[ 123]---> BDD-cost: 13 c ---[ 122]---> BDD-cost: 13 c ---[ 121]---> BDD-cost: 13 c ---[ 120]---> BDD-cost: 13 c ---[ 119]---> BDD-cost: 13 c ---[ 118]---> BDD-cost: 13 c ---[ 117]---> BDD-cost: 13 c ---[ 116]---> BDD-cost: 13 c ---[ 115]---> BDD-cost: 13 c ---[ 114]---> BDD-cost: 13 c ---[ 113]---> BDD-cost: 13 c ---[ 112]---> BDD-cost: 13 c ---[ 111]---> BDD-cost: 13 c ---[ 110]---> BDD-cost: 13 c ---[ 109]---> BDD-cost: 13 c ---[ 108]---> BDD-cost: 13 c ---[ 107]---> BDD-cost: 13 c ---[ 106]---> BDD-cost: 13 c ---[ 105]---> BDD-cost: 13 c ---[ 104]---> BDD-cost: 13 c ---[ 103]---> BDD-cost: 13 c ---[ 102]---> BDD-cost: 13 c ---[ 101]---> BDD-cost: 13 c ---[ 100]---> BDD-cost: 13 c ---[ 99]---> BDD-cost: 13 c ---[ 98]---> BDD-cost: 13 c ---[ 97]---> BDD-cost: 13 c ---[ 96]---> BDD-cost: 13 c ---[ 95]---> BDD-cost: 13 c ---[ 94]---> BDD-cost: 13 c ---[ 93]---> BDD-cost: 13 c ---[ 92]---> BDD-cost: 13 c ---[ 91]---> BDD-cost: 13 c ---[ 90]---> BDD-cost: 13 c ---[ 89]---> BDD-cost: 13 c ---[ 88]---> BDD-cost: 13 c ---[ 87]---> BDD-cost: 13 c ---[ 86]---> BDD-cost: 13 c ---[ 85]---> BDD-cost: 13 c ---[ 84]---> BDD-cost: 13 c ---[ 83]---> BDD-cost: 13 c ---[ 82]---> BDD-cost: 13 c ---[ 81]---> BDD-cost: 13 c ---[ 80]---> BDD-cost: 13 c ---[ 79]---> BDD-cost: 13 c ---[ 78]---> BDD-cost: 13 c ---[ 77]---> BDD-cost: 13 c ---[ 76]---> BDD-cost: 13 c ---[ 75]---> BDD-cost: 13 c ---[ 74]---> BDD-cost: 13 c ---[ 73]---> BDD-cost: 13 c ---[ 72]---> BDD-cost: 13 c ---[ 71]---> BDD-cost: 13 c ---[ 70]---> BDD-cost: 13 c ---[ 69]---> BDD-cost: 13 c ---[ 68]---> BDD-cost: 13 c ---[ 67]---> BDD-cost: 13 c ---[ 66]---> BDD-cost: 13 c ---[ 65]---> BDD-cost: 13 c ---[ 64]---> BDD-cost: 13 c ---[ 63]---> BDD-cost: 13 c ---[ 62]---> BDD-cost: 13 c ---[ 61]---> BDD-cost: 13 c ---[ 60]---> BDD-cost: 13 c ---[ 59]---> BDD-cost: 13 c ---[ 58]---> BDD-cost: 13 c ---[ 57]---> BDD-cost: 13 c ---[ 56]---> BDD-cost: 13 c ---[ 55]---> BDD-cost: 13 c ---[ 54]---> BDD-cost: 13 c ---[ 53]---> BDD-cost: 13 c ---[ 52]---> BDD-cost: 13 c ---[ 51]---> BDD-cost: 13 c ---[ 50]---> BDD-cost: 13 c ---[ 49]---> BDD-cost: 13 c ---[ 48]---> BDD-cost: 13 c ---[ 47]---> BDD-cost: 13 c ---[ 46]---> BDD-cost: 13 c ---[ 45]---> BDD-cost: 13 c ---[ 44]---> BDD-cost: 13 c ---[ 43]---> BDD-cost: 13 c ---[ 42]---> BDD-cost: 13 c ---[ 41]---> BDD-cost: 13 c ---[ 40]---> BDD-cost: 13 c ---[ 39]---> BDD-cost: 13 c ---[ 38]---> BDD-cost: 13 c ---[ 37]---> BDD-cost: 13 c ---[ 36]---> BDD-cost: 13 c ---[ 35]---> BDD-cost: 13 c ---[ 34]---> BDD-cost: 13 c ---[ 33]---> BDD-cost: 13 c ---[ 32]---> BDD-cost: 13 c ---[ 31]---> BDD-cost: 13 c ---[ 30]---> BDD-cost: 13 c ---[ 29]---> BDD-cost: 13 c ---[ 28]---> BDD-cost: 13 c ---[ 27]---> BDD-cost: 13 c ---[ 26]---> BDD-cost: 13 c ---[ 25]---> BDD-cost: 13 c ---[ 24]---> BDD-cost: 13 c ---[ 23]---> BDD-cost: 13 c ---[ 22]---> BDD-cost: 13 c ---[ 21]---> BDD-cost: 13 c ---[ 20]---> BDD-cost: 13 c ---[ 19]---> BDD-cost: 13 c ---[ 18]---> BDD-cost: 13 c ---[ 17]---> BDD-cost: 13 c ---[ 16]---> BDD-cost: 13 c ---[ 15]---> BDD-cost: 13 c ---[ 14]---> BDD-cost: 13 c ---[ 13]---> BDD-cost: 13 c ---[ 12]---> BDD-cost: 13 c ---[ 11]---> BDD-cost: 13 c ---[ 10]---> BDD-cost: 13 c ---[ 9]---> BDD-cost: 13 c ---[ 8]---> BDD-cost: 13 c ---[ 7]---> BDD-cost: 13 c ---[ 6]---> BDD-cost: 13 c ---[ 5]---> BDD-cost: 13 c ---[ 4]---> BDD-cost: 13 c ---[ 3]---> BDD-cost: 13 c ---[ 2]---> BDD-cost: 13 c ---[ 1]---> BDD-cost: 13 c ---[ 0]---> BDD-cost: 13 c =================================[SATELITE+]================================== c | | ORIGINAL | LEARNT | | c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | c ============================================================================== c | 0 | 125736 423585 | 37720 0 0 nan | 0.000 % | c -- subsuming c -- var.elim.: 1000/24189 c -- var.elim.: 2000/24189 c -- var.elim.: 3000/24189 c -- var.elim.: 4000/24189 c -- var.elim.: 5000/24189 c -- var.elim.: 6000/24189 c -- var.elim.: 7000/24189 c -- var.elim.: 8000/24189 c -- var.elim.: 9000/24189 c -- var.elim.: 10000/24189 c -- var.elim.: 11000/24189 c -- var.elim.: 12000/24189 c -- var.elim.: 13000/24189 c -- var.elim.: 14000/24189 c -- var.elim.: 15000/24189 c -- var.elim.: 16000/24189 c -- var.elim.: 17000/24189 c -- var.elim.: 18000/24189 c -- var.elim.: 19000/24189 c -- var.elim.: 20000/24189 c -- var.elim.: 21000/24189 c -- var.elim.: 22000/24189 c -- var.elim.: 23000/24189 c -- var.elim.: 24000/24189 c -- var.elim.: 24189/24189 c -- var.elim.: 1000/5473 c -- var.elim.: 2000/5473 c -- var.elim.: 3000/5473 c -- var.elim.: 4000/5473 c -- var.elim.: 5000/5473 c -- var.elim.: 5473/5473 c -- var.elim.: 145/145 c -- subsuming c -- var.elim.: 1000/2127 c -- var.elim.: 2000/2127 c -- var.elim.: 2127/2127 c -- var.elim.: 1000/1452 c -- var.elim.: 1452/1452 c -- subsuming c -- var.elim.: 230/230 c -- var.elim.: 70/70 c | 0 | 119145 409866 | -- 0 -- -- | -- | -4982/-5033 c | 0 | 119145 409866 | 47658 0 0 nan | 0.000 % | c | 100 | 119145 409866 | 52423 100 3977 39.8 | 14.929 % | c | 251 | 119145 409866 | 57666 251 5654 22.5 | 14.929 % | c | 477 | 119145 409866 | 63432 477 14727 30.9 | 14.929 % | c | 816 | 119145 409866 | 69776 816 19921 24.4 | 14.929 % | c | 1323 | 118978 409320 | 76646 1317 29306 22.3 | 15.044 % | c | 2083 | 118801 408740 | 84185 2062 66949 32.5 | 15.164 % | c | 3223 | 118755 408575 | 92567 3201 234055 73.1 | 15.188 % | c | 4931 | 118475 407691 | 101584 4901 402520 82.1 | 15.402 % | c | 7493 | 118378 407375 | 111651 7442 542301 72.9 | 15.464 % | c | 11339 | 118378 407375 | 122816 11288 703566 62.3 | 15.464 % | c ============================================================================== c (current CPU-time: 37.4633 s) c ============================================================================== c [1mFound solution: 1276000[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> BDD-cost: 15 c =================================[SATELITE+]================================== c | | ORIGINAL | LEARNT | | c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | c ============================================================================== c | 14540 | 117565 404775 | 35269 14247 868036 60.9 | 15.464 % | c -- subsuming c -- var.elim.: 850/850 c -- var.elim.: 336/336 c -- subsuming c -- var.elim.: 51/51 c -- var.elim.: 8/8 c | 14540 | 117452 404668 | -- 14247 -- -- | -- | -113/-106 c | 14540 | 117452 404668 | 46980 12533 588581 47.0 | 15.464 % | c | 14640 | 117416 404551 | 51663 12632 590715 46.8 | 16.126 % | c | 14790 | 117416 404551 | 56829 12782 601529 47.1 | 16.126 % | c | 15015 | 117416 404551 | 62512 13007 610031 46.9 | 16.126 % | c | 15352 | 117416 404551 | 68763 13344 624792 46.8 | 16.126 % | c | 15859 | 117416 404551 | 75639 13851 684156 49.4 | 16.126 % | c | 16621 | 117380 404425 | 83178 14611 782679 53.6 | 16.151 % | c | 17761 | 117248 403885 | 91393 15749 843242 53.5 | 16.180 % | c | 19471 | 116988 403051 | 100309 17437 956812 54.9 | 16.361 % | c | 22035 | 116328 400887 | 109718 19939 1067025 53.5 | 16.798 % | c ============================================================================== c (current CPU-time: 53.8818 s) c ============================================================================== c [1mFound solution: 1250304[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> BDD-cost: 10 c =================================[SATELITE+]================================== c | | ORIGINAL | LEARNT | | c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | c ============================================================================== c | 22659 | 116189 400403 | 34856 20560 1108129 53.9 | 16.798 % | c -- subsuming c -- var.elim.: 650/650 c -- var.elim.: 275/275 c -- var.elim.: 14/14 c -- subsuming c -- var.elim.: 59/59 c -- var.elim.: 25/25 c | 22659 | 116074 400191 | -- 20560 -- -- | -- | -115/-211 c | 22659 | 116074 400191 | 46429 18935 924071 48.8 | 16.798 % | c | 22760 | 116074 400191 | 51072 19036 926771 48.7 | 16.969 % | c | 22910 | 116074 400191 | 56179 19186 931390 48.5 | 16.969 % | c | 23135 | 116074 400191 | 61797 19411 955841 49.2 | 16.969 % | c | 23472 | 116010 399989 | 67940 19745 979603 49.6 | 17.015 % | c | 23979 | 115948 399790 | 74694 20244 1019920 50.4 | 17.056 % | c | 24740 | 115793 399247 | 82053 20996 1151427 54.8 | 17.126 % | c | 25881 | 115793 399247 | 90259 22137 1347450 60.9 | 17.126 % | c | 27589 | 115446 398000 | 98987 23831 1553542 65.2 | 17.308 % | c | 30154 | 114304 393670 | 107809 26238 1678284 64.0 | 17.738 % | c | 34001 | 114232 393379 | 118515 30081 2261969 75.2 | 17.754 % | c | 39769 | 113914 392368 | 130003 35836 3053473 85.2 | 17.990 % | c | 48420 | 113678 391537 | 142708 44416 4289595 96.6 | 18.122 % | c | 61394 | 112833 388490 | 155812 57290 6288331 109.8 | 18.519 % | c ============================================================================== c (current CPU-time: 194.636 s) c ============================================================================== c [1mFound solution: 1238368[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> BDD-cost: 13 c =================================[SATELITE+]================================== c | | ORIGINAL | LEARNT | | c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | c ============================================================================== c | 78579 | 111947 385091 | 33584 73988 9605875 129.8 | 18.519 % | c -- subsuming c -- var.elim.: 1000/1911 c -- var.elim.: 1911/1911 c -- var.elim.: 850/850 c -- var.elim.: 10/10 c -- subsuming c -- var.elim.: 95/95 c -- var.elim.: 50/50 c | 78579 | 111608 384119 | -- 73988 -- -- | -- | -339/-971 c | 78579 | 111608 384119 | 44643 53299 3433197 64.4 | 18.519 % | c | 78679 | 111608 384119 | 49107 15769 656677 41.6 | 19.062 % | c | 78829 | 111608 384119 | 54018 15919 673985 42.3 | 19.062 % | c | 79056 | 111608 384119 | 59420 16146 699074 43.3 | 19.062 % | c | 79394 | 111608 384119 | 65362 16484 724927 44.0 | 19.062 % | c | 79904 | 111608 384119 | 71898 16994 753649 44.3 | 19.062 % | c | 80664 | 111594 384060 | 79078 17750 816292 46.0 | 19.066 % | c | 81803 | 111594 384060 | 86986 18889 917215 48.6 | 19.066 % | c | 83511 | 111582 384012 | 95674 20595 1256811 61.0 | 19.070 % | c | 86075 | 111525 383824 | 105188 23157 1530780 66.1 | 19.095 % | c | 89919 | 111461 383579 | 115640 26996 1994849 73.9 | 19.116 % | c | 95685 | 111461 383579 | 127204 32762 3318621 101.3 | 19.116 % | c | 104337 | 111461 383579 | 139924 41414 6014137 145.2 | 19.117 % | c | 117312 | 111193 382619 | 153547 54365 8446812 155.4 | 19.241 % | c | 136773 | 110980 381766 | 168578 73780 14089342 191.0 | 19.291 % | c | 165967 | 110980 381766 | 185436 102974 27816122 270.1 | 19.291 % | c | 209756 | 110252 378961 | 202641 146662 41912499 285.8 | 19.529 % | c | 275441 | 109848 377591 | 222089 212228 72965172 343.8 | 19.754 % | c c *** TERMINATED *** s SATISFIABLE v -C0000241_bit_7 -C0000241_bit_6 -C0000241_bit_5 -C0000241_bit_4 -C0000241_bit_3 C0000241_bit_2 C0000241_bit_1 -C0000241_bit0 C0000241_bit1 -C0000241_bit2 C0000241_bit3 -C0000241_bit4 -C0000241_bit5 C0000241_bit6 C0000241_bit7 C0000241_bit8 -C0000241_bit9 C0000241_bit10 -C0000241_bit11 -C0000241_bit12 C0000241_bit13 C0000242_bit0 C0000243_bit0 -C0000244_bit0 C0000245_bit0 -C0000246_bit0 -C0000247_bit0 -C0000248_bit0 -C0000249_bit0 -C0000250_bit0 C0000251_bit0 -C0000252_bit0 C0000253_bit0 C0000254_bit0 -C0000255_bit0 C0000256_bit0 -C0000257_bit0 -C0000258_bit0 -C0000259_bit0 -C0000260_bit0 -C0000261_bit0 -C0000262_bit0 -C0000263_bit0 -C0000264_bit0 -C0000265_bit0 -C0000266_bit0 C0000267_bit0 -C0000268_bit0 -C0000269_bit0 -C0000270_bit0 -C0000271_bit0 -C0000272_bit0 -C0000273_bit0 -C0000274_bit0 -C0000275_bit0 -C0000276_bit0 -C0000277_bit0 -C0000278_bit0 -C0000279_bit0 -C0000280_bit0 -C0000281_bit0 -C0000282_bit0 -C0000283_bit0 -C0000284_bit0 -C0000285_bit0 -C0000286_bit0 -C0000287_bit0 -C0000288_bit0 -C0000289_bit0 -C0000290_bit0 -C0000291_bit0 -C0000292_bit0 -C0000293_bit0 -C0000294_bit0 -C0000295_bit0 -C0000296_bit0 -C0000297_bit0 -C0000298_bit0 -C0000299_bit0 -C0000300_bit0 -C0000301_bit0 -C0000302_bit0 -C0000302_bit1 -C0000303_bit0 -C0000303_bit1 C0000304_bit0 -C0000304_bit1 C0000305_bit0 -C0000305_bit1 -C0000306_bit0 -C0000306_bit1 -C0000307_bit0 -C0000307_bit1 -C0000308_bit0 -C0000308_bit1 -C0000309_bit0 -C0000309_bit1 -C0000310_bit0 -C0000310_bit1 -C0000311_bit0 -C0000311_bit1 -C0000312_bit0 -C0000312_bit1 -C0000313_bit0 -C0000313_bit1 -C0000314_bit0 -C0000314_bit1 -C0000315_bit0 -C0000315_bit1 -C0000316_bit0 -C0000316_bit1 -C0000317_bit0 -C0000318_bit0 -C0000319_bit0 -C0000320_bit0 -C0000321_bit0 -C0000322_bit0 -C0000323_bit0 -C0000324_bit0 -C0000325_bit0 -C0000326_bit0 -C0000327_bit0 -C0000328_bit0 -C0000329_bit0 -C0000330_bit0 -C0000331_bit0 -C0000332_bit0 -C0000333_bit0 -C0000334_bit0 -C0000335_bit0 -C0000336_bit0 -C0000337_bit0 -C0000338_bit0 -C0000339_bit0 -C0000340_bit0 -C0000341_bit0 -C0000342_bit0 -C0000343_bit0 -C0000344_bit0 -C0000345_bit0 -C0000346_bit0 -C0000347_bit0 -C0000348_bit0 -C0000349_bit0 -C0000350_bit0 -C0000351_bit0 -C0000352_bit0 C0000353_bit0 -C0000354_bit0 -C0000355_bit0 -C0000356_bit0 -C0000357_bit0 C0000358_bit0 -C0000359_bit0 -C0000360_bit0 -C0000361_bit0 -C0000362_bit0 -C0000363_bit0 -C0000364_bit0 -C0000365_bit0 -C0000366_bit0 -C0000367_bit0 -C0000368_bit0 -C0000369_bit0 -C0000370_bit0 -C0000371_bit0 -C0000372_bit0 -C0000373_bit0 -C0000374_bit0 -C0000375_bit0 -C0000376_bit0 -C0000377_bit0 -C0000378_bit0 -C0000379_bit0 -C0000380_bit0 C0000381_bit0 -C0000382_bit0 -C0000383_bit0 -C0000384_bit0 -C0000385_bit0 -C0000386_bit0 -C0000387_bit0 -C0000388_bit0 -C0000389_bit0 -C0000390_bit0 -C0000391_bit0 -C0000392_bit0 -C0000393_bit0 -C0000394_bit0 -C0000395_bit0 -C0000396_bit0 C0000397_bit0 -C0000398_bit0 -C0000399_bit0 -C0000400_bit0 -C0000401_bit0 -C0000402_bit0 -C0000403_bit0 -C0000404_bit0 -C0000405_bit0 -C0000406_bit0 -C0000407_bit0 -C0000408_bit0 -C0000409_bit0 -C0000410_bit0 -C0000411_bit0 -C0000412_bit0 -C0000413_bit0 -C0000414_bit0 -C0000415_bit0 -C0000416_bit0 -C0000417_bit0 -C0000418_bit0 -C0000419_bit0 -C0000420_bit0 -C0000421_bit0 -C0000422_bit0 -C0000423_bit0 -C0000424_bit0 -C0000425_bit0 -C0000426_bit0 -C0000427_bit0 -C0000428_bit0 -C0000429_bit0 -C0000430_bit0 -C0000431_bit0 C0000432_bit0 -C0000433_bit0 -C0000434_bit0 -C0000435_bit0 -C0000436_bit0 -C0000437_bit0 -C0000438_bit0 C0000439_bit0 -C0000440_bit0 -C0000441_bit0 -C0000442_bit0 -C0000443_bit0 -C0000444_bit0 -C0000445_bit0 -C0000446_bit0 -C0000447_bit0 -C0000448_bit0 -C0000449_bit0 -C0000450_bit0 -C0000451_bit0 -C0000452_bit0 -C0000453_bit0 -C0000454_bit0 -C0000455_bit0 -C0000456_bit0 -C0000457_bit0 -C0000458_bit0 -C0000459_bit0 C0000460_bit0 -C0000461_bit0 -C0000462_bit0 -C0000463_bit0 -C0000464_bit0 -C0000465_bit0 -C0000466_bit0 -C0000467_bit0 -C0000468_bit0 -C0000469_bit0 -C0000470_bit0 -C0000471_bit0 -C0000472_bit0 -C0000473_bit0 -C0000474_bit0 -C0000475_bit0 -C0000476_bit0 -C0000477_bit0 -C0000478_bit0 -C0000479_bit0 -C0000480_bit0 -C0000481_bit0 -C0000482_bit0 -C0000483_bit0 -C0000484_bit0 -C0000485_bit0 -C0000486_bit0 -C0000487_bit0 -C0000488_bit0 -C0000489_bit0 -C0000490_bit0 -C0000491_bit0 -C0000492_bit0 -C0000493_bit0 -C0000494_bit0 -C0000495_bit0 -C0000496_bit0 -C0000497_bit0 C0000498_bit0 -C0000499_bit0 -C0000500_bit0 -C0000501_bit0 -C0000502_bit0 -C0000503_bit0 -C0000504_bit0 -C0000505_bit0 -C0000506_bit0 -C0000507_bit0 -C0000508_bit0 -C0000509_bit0 -C0000510_bit0 -C0000511_bit0 -C0000512_bit0 -C0000513_bit0 -C0000514_bit0 -C0000515_bit0 -C0000516_bit0 -C0000517_bit0 -C0000518_bit0 -C0000519_bit0 -C0000520_bit0 C0000521_bit0 -C0000522_bit0 -C0000523_bit0 -C0000524_bit0 -C0000525_bit0 -C0000526_bit0 -C0000527_bit0 -C0000528_bit0 -C0000529_bit0 -C0000530_bit0 -C0000531_bit0 -C0000532_bit0 -C0000533_bit0 -C0000534_bit0 -C0000535_bit0 -C0000536_bit0 -C0000537_bit0 -C0000538_bit0 -C0000539_bit0 -C0000540_bit0 -C0000541_bit0 -C0000542_bit0 -C0000543_bit0 C0000544_bit0 -C0000545_bit0 -C0000546_bit0 -C0000547_bit0 -C0000548_bit0 -C0000549_bit0 -C0000550_bit0 -C0000551_bit0 -C0000552_bit0 -C0000553_bit0 -C0000554_bit0 -C0000555_bit0 -C0000556_bit0 -C0000001_bit_7 -C0000001_bit_6 -C0000001_bit_5 -C0000001_bit_4 -C0000001_bit_3 -C0000001_bit_2 -C0000001_bit_1 -C0000001_bit0 C0000001_bit1 -C0000001_bit2 -C0000001_bit3 -C0000001_bit4 -C0000001_bit5 -C0000001_bit6 -C0000001_bit7 -C0000001_bit8 -C0000001_bit9 -C0000001_bit10 -C0000001_bit11 -C0000001_bit12 -C0000021_bit_7 -C0000021_bit_6 -C0000021_bit_5 -C0000021_bit_4 -C0000021_bit_3 -C0000021_bit_2 -C0000021_bit_1 -C0000021_bit0 -C0000021_bit1 -C0000021_bit2 -C0000021_bit3 -C0000021_bit4 -C0000021_bit5 -C0000021_bit6 -C0000021_bit7 -C0000021_bit8 -C0000021_bit9 -C0000021_bit10 -C0000021_bit11 -C0000021_bit12 -C0000036_bit_7 -C0000036_bit_6 -C0000036_bit_5 -C0000036_bit_4 -C0000036_bit_3 -C0000036_bit_2 -C0000036_bit_1 -C0000036_bit0 -C0000036_bit1 -C0000036_bit2 -C0000036_bit3 -C0000036_bit4 -C0000036_bit5 -C0000036_bit6 -C0000036_bit7 -C0000036_bit8 -C0000036_bit9 -C0000036_bit10 -C0000036_bit11 -C0000036_bit12 -C0000046_bit_7 -C0000046_bit_6 -C0000046_bit_5 -C0000046_bit_4 -C0000046_bit_3 -C0000046_bit_2 -C0000046_bit_1 -C0000046_bit0 -C0000046_bit1 -C0000046_bit2 -C0000046_bit3 -C0000046_bit4 -C0000046_bit5 -C0000046_bit6 -C0000046_bit7 -C0000046_bit8 -C0000046_bit9 -C0000046_bit10 -C0000046_bit11 -C0000046_bit12 -C0000051_bit_7 -C0000051_bit_6 -C0000051_bit_5 -C0000051_bit_4 -C0000051_bit_3 -C0000051_bit_2 -C0000051_bit_1 -C0000051_bit0 -C0000051_bit1 -C0000051_bit2 -C0000051_bit3 -C0000051_bit4 -C0000051_bit5 -C0000051_bit6 -C0000051_bit7 -C0000051_bit8 -C0000051_bit9 -C0000051_bit10 -C0000051_bit11 -C0000051_bit12 -C0000056_bit_7 -C0000056_bit_6 -C0000056_bit_5 -C0000056_bit_4 -C0000056_bit_3 -C0000056_bit_2 -C0000056_bit_1 -C0000056_bit0 -C0000056_bit1 -C0000056_bit2 -C0000056_bit3 -C0000056_bit4 -C0000056_bit5 -C0000056_bit6 -C0000056_bit7 -C0000056_bit8 -C0000056_bit9 -C0000056_bit10 -C0000056_bit11 -C0000056_bit12 -C0000066_bit_7 -C0000066_bit_6 -C0000066_bit_5 -C0000066_bit_4 -C0000066_bit_3 -C0000066_bit_2 -C0000066_bit_1 -C0000066_bit0 -C0000066_bit1 -C0000066_bit2 -C0000066_bit3 -C0000066_bit4 -C0000066_bit5 -C0000066_bit6 -C0000066_bit7 -C0000066_bit8 -C0000066_bit9 -C0000066_bit10 -C0000066_bit11 -C0000066_bit12 -C0000081_bit_7 -C0000081_bit_6 -C0000081_bit_5 -C0000081_bit_4 -C0000081_bit_3 -C0000081_bit_2 -C0000081_bit_1 -C0000081_bit0 -C0000081_bit1 -C0000081_bit2 -C0000081_bit3 -C0000081_bit4 -C0000081_bit5 -C0000081_bit6 -C0000081_bit7 -C0000081_bit8 -C0000081_bit9 -C0000081_bit10 -C0000081_bit11 -C0000081_bit12 -C0000096_bit_7 -C0000096_bit_6 -C0000096_bit_5 -C0000096_bit_4 -C0000096_bit_3 -C0000096_bit_2 -C0000096_bit_1 -C0000096_bit0 -C0000096_bit1 -C0000096_bit2 -C0000096_bit3 -C0000096_bit4 -C0000096_bit5 -C0000096_bit6 -C0000096_bit7 -C0000096_bit8 -C0000096_bit9 -C0000096_bit10 -C0000096_bit11 -C0000096_bit12 -C0000111_bit_7 -C0000111_bit_6 -C0000111_bit_5 -C0000111_bit_4 -C0000111_bit_3 -C0000111_bit_2 -C0000111_bit_1 -C0000111_bit0 -C0000111_bit1 -C0000111_bit2 -C0000111_bit3 -C0000111_bit4 -C0000111_bit5 -C0000111_bit6 -C0000111_bit7 -C0000111_bit8 -C0000111_bit9 -C0000111_bit10 -C0000111_bit11 -C0000111_bit12 -C0000126_bit_7 -C0000126_bit_6 -C0000126_bit_5 -C0000126_bit_4 -C0000126_bit_3 -C0000126_bit_2 -C0000126_bit_1 -C0000126_bit0 -C0000126_bit1 -C0000126_bit2 -C0000126_bit3 -C0000126_bit4 -C0000126_bit5 -C0000126_bit6 -C0000126_bit7 -C0000126_bit8 -C0000126_bit9 -C0000126_bit10 -C0000126_bit11 -C0000126_bit12 -C0000136_bit_7 -C0000136_bit_6 -C0000136_bit_5 -C0000136_bit_4 -C0000136_bit_3 -C0000136_bit_2 -C0000136_bit_1 -C0000136_bit0 -C0000136_bit1 -C0000136_bit2 -C0000136_bit3 -C0000136_bit4 -C0000136_bit5 -C0000136_bit6 -C0000136_bit7 -C0000136_bit8 -C0000136_bit9 -C0000136_bit10 -C0000136_bit11 -C0000136_bit12 -C0000141_bit_7 -C0000141_bit_6 -C0000141_bit_5 -C0000141_bit_4 -C0000141_bit_3 -C0000141_bit_2 -C0000141_bit_1 -C0000141_bit0 -C0000141_bit1 -C0000141_bit2 -C0000141_bit3 -C0000141_bit4 -C0000141_bit5 -C0000141_bit6 -C0000141_bit7 -C0000141_bit8 -C0000141_bit9 -C0000141_bit10 -C0000141_bit11 -C0000141_bit12 -C0000146_bit_7 -C0000146_bit_6 -C0000146_bit_5 -C0000146_bit_4 -C0000146_bit_3 -C0000146_bit_2 -C0000146_bit_1 C0000146_bit0 C0000146_bit1 -C0000146_bit2 -C0000146_bit3 -C0000146_bit4 -C0000146_bit5 -C0000146_bit6 -C0000146_bit7 -C0000146_bit8 -C0000146_bit9 -C0000146_bit10 -C0000146_bit11 -C0000146_bit12 -C0000151_bit_7 -C0000151_bit_6 -C0000151_bit_5 -C0000151_bit_4 -C0000151_bit_3 -C0000151_bit_2 -C0000151_bit_1 -C0000151_bit0 -C0000151_bit1 -C0000151_bit2 -C0000151_bit3 -C0000151_bit4 -C0000151_bit5 -C0000151_bit6 -C0000151_bit7 -C0000151_bit8 -C0000151_bit9 -C0000151_bit10 -C0000151_bit11 -C0000151_bit12 -C0000156_bit_7 -C0000156_bit_6 -C0000156_bit_5 -C0000156_bit_4 -C0000156_bit_3 -C0000156_bit_2 -C0000156_bit_1 -C0000156_bit0 -C0000156_bit1 -C0000156_bit2 -C0000156_bit3 -C0000156_bit4 -C0000156_bit5 -C0000156_bit6 -C0000156_bit7 -C0000156_bit8 -C0000156_bit9 -C0000156_bit10 -C0000156_bit11 -C0000156_bit12 -C0000161_bit_7 -C0000161_bit_6 -C0000161_bit_5 -C0000161_bit_4 -C0000161_bit_3 -C0000161_bit_2 -C0000161_bit_1 -C0000161_bit0 -C0000161_bit1 -C0000161_bit2 -C0000161_bit3 -C0000161_bit4 -C0000161_bit5 -C0000161_bit6 -C0000161_bit7 -C0000161_bit8 -C0000161_bit9 -C0000161_bit10 -C0000161_bit11 -C0000161_bit12 -C0000166_bit_7 -C0000166_bit_6 -C0000166_bit_5 -C0000166_bit_4 -C0000166_bit_3 -C0000166_bit_2 -C0000166_bit_1 -C0000166_bit0 -C0000166_bit1 -C0000166_bit2 -C0000166_bit3 -C0000166_bit4 -C0000166_bit5 -C0000166_bit6 -C0000166_bit7 -C0000166_bit8 -C0000166_bit9 -C0000166_bit10 -C0000166_bit11 -C0000166_bit12 -C0000171_bit_7 -C0000171_bit_6 -C0000171_bit_5 -C0000171_bit_4 -C0000171_bit_3 -C0000171_bit_2 -C0000171_bit_1 -C0000171_bit0 -C0000171_bit1 -C0000171_bit2 -C0000171_bit3 -C0000171_bit4 -C0000171_bit5 -C0000171_bit6 -C0000171_bit7 -C0000171_bit8 -C0000171_bit9 -C0000171_bit10 -C0000171_bit11 -C0000171_bit12 -C0000176_bit_7 -C0000176_bit_6 -C0000176_bit_5 -C0000176_bit_4 -C0000176_bit_3 -C0000176_bit_2 -C0000176_bit_1 -C0000176_bit0 -C0000176_bit1 -C0000176_bit2 -C0000176_bit3 -C0000176_bit4 -C0000176_bit5 -C0000176_bit6 -C0000176_bit7 -C0000176_bit8 -C0000176_bit9 -C0000176_bit10 -C0000176_bit11 -C0000176_bit12 -C0000186_bit_7 -C0000186_bit_6 -C0000186_bit_5 -C0000186_bit_4 -C0000186_bit_3 -C0000186_bit_2 -C0000186_bit_1 -C0000186_bit0 -C0000186_bit1 -C0000186_bit2 -C0000186_bit3 -C0000186_bit4 -C0000186_bit5 -C0000186_bit6 -C0000186_bit7 -C0000186_bit8 -C0000186_bit9 -C0000186_bit10 -C0000186_bit11 -C0000186_bit12 -C0000196_bit_7 -C0000196_bit_6 -C0000196_bit_5 -C0000196_bit_4 -C0000196_bit_3 -C0000196_bit_2 -C0000196_bit_1 -C0000196_bit0 -C0000196_bit1 -C0000196_bit2 -C0000196_bit3 -C0000196_bit4 -C0000196_bit5 -C0000196_bit6 -C0000196_bit7 -C0000196_bit8 -C0000196_bit9 -C0000196_bit10 -C0000196_bit11 -C0000196_bit12 -C0000201_bit_7 -C0000201_bit_6 -C0000201_bit_5 -C0000201_bit_4 -C0000201_bit_3 -C0000201_bit_2 -C0000201_bit_1 -C0000201_bit0 -C0000201_bit1 -C0000201_bit2 -C0000201_bit3 -C0000201_bit4 -C0000201_bit5 -C0000201_bit6 -C0000201_bit7 -C0000201_bit8 -C0000201_bit9 -C0000201_bit10 -C0000201_bit11 -C0000201_bit12 -C0000206_bit_7 -C0000206_bit_6 -C0000206_bit_5 -C0000206_bit_4 -C0000206_bit_3 -C0000206_bit_2 -C0000206_bit_1 -C0000206_bit0 -C0000206_bit1 -C0000206_bit2 -C0000206_bit3 -C0000206_bit4 -C0000206_bit5 -C0000206_bit6 -C0000206_bit7 -C0000206_bit8 -C0000206_bit9 -C0000206_bit10 -C0000206_bit11 -C0000206_bit12 -C0000216_bit_7 -C0000216_bit_6 -C0000216_bit_5 -C0000216_bit_4 -C0000216_bit_3 -C0000216_bit_2 -C0000216_bit_1 -C0000216_bit0 -C0000216_bit1 -C0000216_bit2 -C0000216_bit3 -C0000216_bit4 -C0000216_bit5 -C0000216_bit6 -C0000216_bit7 -C0000216_bit8 -C0000216_bit9 -C0000216_bit10 -C0000216_bit11 -C0000216_bit12 -C0000231_bit_7 -C0000231_bit_6 -C0000231_bit_5 -C0000231_bit_4 -C0000231_bit_3 -C0000231_bit_2 -C0000231_bit_1 -C0000231_bit0 -C0000231_bit1 -C0000231_bit2 -C0000231_bit3 -C0000231_bit4 -C0000231_bit5 -C0000231_bit6 -C0000231_bit7 -C0000231_bit8 -C0000231_bit9 -C0000231_bit10 -C0000231_bit11 -C0000231_bit12 -C0000002_bit_7 -C0000002_bit_6 -C0000002_bit_5 -C0000002_bit_4 -C0000002_bit_3 -C0000002_bit_2 -C0000002_bit_1 C0000002_bit0 C0000002_bit1 -C0000002_bit2 -C0000002_bit3 -C0000002_bit4 -C0000002_bit5 -C0000002_bit6 -C0000002_bit7 -C0000002_bit8 -C0000002_bit9 -C0000002_bit10 -C0000002_bit11 -C0000002_bit12 -C0000022_bit_7 -C0000022_bit_6 -C0000022_bit_5 -C0000022_bit_4 -C0000022_bit_3 -C0000022_bit_2 -C0000022_bit_1 -C0000022_bit0 -C0000022_bit1 -C0000022_bit2 -C0000022_bit3 -C0000022_bit4 -C0000022_bit5 -C0000022_bit6 -C0000022_bit7 -C0000022_bit8 -C0000022_bit9 -C0000022_bit10 -C0000022_bit11 -C0000022_bit12 -C0000037_bit_7 -C0000037_bit_6 -C0000037_bit_5 -C0000037_bit_4 -C0000037_bit_3 -C0000037_bit_2 -C0000037_bit_1 -C0000037_bit0 -C0000037_bit1 -C0000037_bit2 -C0000037_bit3 -C0000037_bit4 -C0000037_bit5 -C0000037_bit6 -C0000037_bit7 -C0000037_bit8 -C0000037_bit9 -C0000037_bit10 -C0000037_bit11 -C0000037_bit12 -C0000047_bit_7 -C0000047_bit_6 -C0000047_bit_5 -C0000047_bit_4 -C0000047_bit_3 -C0000047_bit_2 -C0000047_bit_1 -C0000047_bit0 -C0000047_bit1 -C0000047_bit2 -C0000047_bit3 -C0000047_bit4 -C0000047_bit5 -C0000047_bit6 -C0000047_bit7 -C0000047_bit8 -C0000047_bit9 -C0000047_bit10 -C0000047_bit11 -C0000047_bit12 -C0000052_bit_7 -C0000052_bit_6 -C0000052_bit_5 -C0000052_bit_4 -C0000052_bit_3 -C0000052_bit_2 -C0000052_bit_1 -C0000052_bit0 -C0000052_bit1 -C0000052_bit2 -C0000052_bit3 -C0000052_bit4 -C0000052_bit5 -C0000052_bit6 -C0000052_bit7 -C0000052_bit8 -C0000052_bit9 -C0000052_bit10 -C0000052_bit11 -C0000052_bit12 -C0000057_bit_7 -C0000057_bit_6 -C0000057_bit_5 -C0000057_bit_4 -C0000057_bit_3 -C0000057_bit_2 -C0000057_bit_1 -C0000057_bit0 -C0000057_bit1 -C0000057_bit2 -C0000057_bit3 -C0000057_bit4 -C0000057_bit5 -C0000057_bit6 -C0000057_bit7 -C0000057_bit8 -C0000057_bit9 -C0000057_bit10 -C0000057_bit11 -C0000057_bit12 -C0000067_bit_7 -C0000067_bit_6 -C0000067_bit_5 -C0000067_bit_4 -C0000067_bit_3 -C0000067_bit_2 -C0000067_bit_1 -C0000067_bit0 -C0000067_bit1 -C0000067_bit2 -C0000067_bit3 -C0000067_bit4 -C0000067_bit5 -C0000067_bit6 -C0000067_bit7 -C0000067_bit8 -C0000067_bit9 -C0000067_bit10 -C0000067_bit11 -C0000067_bit12 -C0000082_bit_7 -C0000082_bit_6 -C0000082_bit_5 -C0000082_bit_4 -C0000082_bit_3 -C0000082_bit_2 -C0000082_bit_1 -C0000082_bit0 -C0000082_bit1 -C0000082_bit2 -C0000082_bit3 -C0000082_bit4 -C0000082_bit5 -C0000082_bit6 -C0000082_bit7 -C0000082_bit8 -C0000082_bit9 -C0000082_bit10 -C0000082_bit11 -C0000082_bit12 -C0000097_bit_7 -C0000097_bit_6 -C0000097_bit_5 -C0000097_bit_4 -C0000097_bit_3 -C0000097_bit_2 -C0000097_bit_1 -C0000097_bit0 -C0000097_bit1 -C0000097_bit2 -C0000097_bit3 -C0000097_bit4 -C0000097_bit5 -C0000097_bit6 -C0000097_bit7 -C0000097_bit8 -C0000097_bit9 -C0000097_bit10 -C0000097_bit11 -C0000097_bit12 -C0000112_bit_7 -C0000112_bit_6 -C0000112_bit_5 -C0000112_bit_4 -C0000112_bit_3 -C0000112_bit_2 -C0000112_bit_1 -C0000112_bit0 -C0000112_bit1 -C0000112_bit2 -C0000112_bit3 -C0000112_bit4 -C0000112_bit5 -C0000112_bit6 -C0000112_bit7 -C0000112_bit8 -C0000112_bit9 -C0000112_bit10 -C0000112_bit11 -C0000112_bit12 -C0000127_bit_7 -C0000127_bit_6 -C0000127_bit_5 -C0000127_bit_4 -C0000127_bit_3 -C0000127_bit_2 -C0000127_bit_1 -C0000127_bit0 -C0000127_bit1 -C0000127_bit2 -C0000127_bit3 -C0000127_bit4 -C0000127_bit5 -C0000127_bit6 -C0000127_bit7 -C0000127_bit8 -C0000127_bit9 -C0000127_bit10 -C0000127_bit11 -C0000127_bit12 -C0000137_bit_7 -C0000137_bit_6 -C0000137_bit_5 -C0000137_bit_4 -C0000137_bit_3 -C0000137_bit_2 -C0000137_bit_1 -C0000137_bit0 -C0000137_bit1 -C0000137_bit2 -C0000137_bit3 -C0000137_bit4 -C0000137_bit5 -C0000137_bit6 -C0000137_bit7 -C0000137_bit8 -C0000137_bit9 -C0000137_bit10 -C0000137_bit11 -C0000137_bit12 -C0000142_bit_7 -C0000142_bit_6 -C0000142_bit_5 -C0000142_bit_4 -C0000142_bit_3 -C0000142_bit_2 -C0000142_bit_1 -C0000142_bit0 -C0000142_bit1 -C0000142_bit2 -C0000142_bit3 -C0000142_bit4 -C0000142_bit5 -C0000142_bit6 -C0000142_bit7 -C0000142_bit8 -C0000142_bit9 -C0000142_bit10 -C0000142_bit11 -C0000142_bit12 -C0000147_bit_7 -C0000147_bit_6 -C0000147_bit_5 -C0000147_bit_4 -C0000147_bit_3 -C0000147_bit_2 -C0000147_bit_1 -C0000147_bit0 -C0000147_bit1 -C0000147_bit2 -C0000147_bit3 -C0000147_bit4 -C0000147_bit5 -C0000147_bit6 -C0000147_bit7 -C0000147_bit8 -C0000147_bit9 -C0000147_bit10 -C0000147_bit11 -C0000147_bit12 -C0000152_bit_7 -C0000152_bit_6 -C0000152_bit_5 -C0000152_bit_4 -C0000152_bit_3 -C0000152_bit_2 -C0000152_bit_1 -C0000152_bit0 -C0000152_bit1 -C0000152_bit2 -C0000152_bit3 -C0000152_bit4 -C0000152_bit5 -C0000152_bit6 -C0000152_bit7 -C0000152_bit8 -C0000152_bit9 -C0000152_bit10 -C0000152_bit11 -C0000152_bit12 -C0000157_bit_7 -C0000157_bit_6 -C0000157_bit_5 -C0000157_bit_4 -C0000157_bit_3 -C0000157_bit_2 -C0000157_bit_1 -C0000157_bit0 -C0000157_bit1 -C0000157_bit2 -C0000157_bit3 -C0000157_bit4 -C0000157_bit5 -C0000157_bit6 -C0000157_bit7 -C0000157_bit8 -C0000157_bit9 -C0000157_bit10 -C0000157_bit11 -C0000157_bit12 -C0000162_bit_7 -C0000162_bit_6 -C0000162_bit_5 -C0000162_bit_4 -C0000162_bit_3 -C0000162_bit_2 -C0000162_bit_1 -C0000162_bit0 -C0000162_bit1 -C0000162_bit2 -C0000162_bit3 -C0000162_bit4 -C0000162_bit5 -C0000162_bit6 -C0000162_bit7 -C0000162_bit8 -C0000162_bit9 -C0000162_bit10 -C0000162_bit11 -C0000162_bit12 -C0000167_bit_7 -C0000167_bit_6 -C0000167_bit_5 -C0000167_bit_4 -C0000167_bit_3 -C0000167_bit_2 -C0000167_bit_1 -C0000167_bit0 -C0000167_bit1 -C0000167_bit2 -C0000167_bit3 -C0000167_bit4 -C0000167_bit5 -C0000167_bit6 -C0000167_bit7 -C0000167_bit8 -C0000167_bit9 -C0000167_bit10 -C0000167_bit11 -C0000167_bit12 -C0000172_bit_7 -C0000172_bit_6 -C0000172_bit_5 -C0000172_bit_4 -C0000172_bit_3 -C0000172_bit_2 -C0000172_bit_1 -C0000172_bit0 -C0000172_bit1 -C0000172_bit2 -C0000172_bit3 -C0000172_bit4 -C0000172_bit5 -C0000172_bit6 -C0000172_bit7 -C0000172_bit8 -C0000172_bit9 -C0000172_bit10 -C0000172_bit11 -C0000172_bit12 -C0000177_bit_7 -C0000177_bit_6 -C0000177_bit_5 -C0000177_bit_4 -C0000177_bit_3 -C0000177_bit_2 -C0000177_bit_1 -C0000177_bit0 -C0000177_bit1 -C0000177_bit2 -C0000177_bit3 -C0000177_bit4 -C0000177_bit5 -C0000177_bit6 -C0000177_bit7 -C0000177_bit8 -C0000177_bit9 -C0000177_bit10 -C0000177_bit11 -C0000177_bit12 -C0000187_bit_7 -C0000187_bit_6 -C0000187_bit_5 -C0000187_bit_4 -C0000187_bit_3 -C0000187_bit_2 -C0000187_bit_1 -C0000187_bit0 -C0000187_bit1 -C0000187_bit2 -C0000187_bit3 -C0000187_bit4 -C0000187_bit5 -C0000187_bit6 -C0000187_bit7 -C0000187_bit8 -C0000187_bit9 -C0000187_bit10 -C0000187_bit11 -C0000187_bit12 -C0000197_bit_7 -C0000197_bit_6 -C0000197_bit_5 -C0000197_bit_4 -C0000197_bit_3 -C0000197_bit_2 -C0000197_bit_1 -C0000197_bit0 -C0000197_bit1 C0000197_bit2 -C0000197_bit3 -C0000197_bit4 -C0000197_bit5 -C0000197_bit6 -C0000197_bit7 -C0000197_bit8 -C0000197_bit9 -C0000197_bit10 -C0000197_bit11 -C0000197_bit12 -C0000202_bit_7 -C0000202_bit_6 -C0000202_bit_5 -C0000202_bit_4 -C0000202_bit_3 -C0000202_bit_2 -C0000202_bit_1 -C0000202_bit0 -C0000202_bit1 -C0000202_bit2 -C0000202_bit3 -C0000202_bit4 -C0000202_bit5 -C0000202_bit6 -C0000202_bit7 -C0000202_bit8 -C0000202_bit9 -C0000202_bit10 -C0000202_bit11 -C0000202_bit12 -C0000207_bit_7 -C0000207_bit_6 -C0000207_bit_5 -C0000207_bit_4 -C0000207_bit_3 -C0000207_bit_2 -C0000207_bit_1 -C0000207_bit0 -C0000207_bit1 -C0000207_bit2 -C0000207_bit3 -C0000207_bit4 -C0000207_bit5 -C0000207_bit6 -C0000207_bit7 -C0000207_bit8 -C0000207_bit9 -C0000207_bit10 -C0000207_bit11 -C0000207_bit12 -C0000217_bit_7 -C0000217_bit_6 -C0000217_bit_5 -C0000217_bit_4 -C0000217_bit_3 -C0000217_bit_2 -C0000217_bit_1 -C0000217_bit0 -C0000217_bit1 -C0000217_bit2 -C0000217_bit3 -C0000217_bit4 -C0000217_bit5 -C0000217_bit6 -C0000217_bit7 -C0000217_bit8 -C0000217_bit9 -C0000217_bit10 -C0000217_bit11 -C0000217_bit12 -C0000232_bit_7 -C0000232_bit_6 -C0000232_bit_5 -C0000232_bit_4 -C0000232_bit_3 -C0000232_bit_2 -C0000232_bit_1 -C0000232_bit0 -C0000232_bit1 -C0000232_bit2 -C0000232_bit3 -C0000232_bit4 -C0000232_bit5 -C0000232_bit6 -C0000232_bit7 -C0000232_bit8 -C0000232_bit9 -C0000232_bit10 -C0000232_bit11 -C0000232_bit12 -C0000003_bit_7 -C0000003_bit_6 -C0000003_bit_5 -C0000003_bit_4 -C0000003_bit_3 -C0000003_bit_2 -C0000003_bit_1 -C0000003_bit0 -C0000003_bit1 -C0000003_bit2 -C0000003_bit3 -C0000003_bit4 -C0000003_bit5 -C0000003_bit6 -C0000003_bit7 -C0000003_bit8 -C0000003_bit9 -C0000003_bit10 -C0000003_bit11 -C0000003_bit12 -C0000023_bit_7 -C0000023_bit_6 -C0000023_bit_5 -C0000023_bit_4 -C0000023_bit_3 -C0000023_bit_2 -C0000023_bit_1 -C0000023_bit0 -C0000023_bit1 -C0000023_bit2 -C0000023_bit3 -C0000023_bit4 -C0000023_bit5 -C0000023_bit6 -C0000023_bit7 -C0000023_bit8 -C0000023_bit9 -C0000023_bit10 -C0000023_bit11 -C0000023_bit12 -C0000038_bit_7 -C0000038_bit_6 -C0000038_bit_5 -C0000038_bit_4 -C0000038_bit_3 -C0000038_bit_2 -C0000038_bit_1 -C0000038_bit0 -C0000038_bit1 -C0000038_bit2 -C0000038_bit3 -C0000038_bit4 -C0000038_bit5 -C0000038_bit6 -C0000038_bit7 -C0000038_bit8 -C0000038_bit9 -C0000038_bit10 -C0000038_bit11 -C0000038_bit12 -C0000048_bit_7 -C0000048_bit_6 -C0000048_bit_5 -C0000048_bit_4 -C0000048_bit_3 -C0000048_bit_2 -C0000048_bit_1 -C0000048_bit0 -C0000048_bit1 -C0000048_bit2 -C0000048_bit3 -C0000048_bit4 -C0000048_bit5 -C0000048_bit6 -C0000048_bit7 -C0000048_bit8 -C0000048_bit9 -C0000048_bit10 -C0000048_bit11 -C0000048_bit12 -C0000053_bit_7 -C0000053_bit_6 -C0000053_bit_5 -C0000053_bit_4 -C0000053_bit_3 -C0000053_bit_2 -C0000053_bit_1 -C0000053_bit0 -C0000053_bit1 -C0000053_bit2 -C0000053_bit3 -C0000053_bit4 -C0000053_bit5 -C0000053_bit6 -C0000053_bit7 -C0000053_bit8 -C0000053_bit9 -C0000053_bit10 -C0000053_bit11 -C0000053_bit12 -C0000058_bit_7 -C0000058_bit_6 -C0000058_bit_5 -C0000058_bit_4 -C0000058_bit_3 -C0000058_bit_2 -C0000058_bit_1 -C0000058_bit0 -C0000058_bit1 -C0000058_bit2 -C0000058_bit3 -C0000058_bit4 -C0000058_bit5 -C0000058_bit6 -C0000058_bit7 -C0000058_bit8 -C0000058_bit9 -C0000058_bit10 -C0000058_bit11 -C0000058_bit12 -C0000068_bit_7 -C0000068_bit_6 -C0000068_bit_5 -C0000068_bit_4 -C0000068_bit_3 -C0000068_bit_2 -C0000068_bit_1 -C0000068_bit0 -C0000068_bit1 -C0000068_bit2 -C0000068_bit3 -C0000068_bit4 -C0000068_bit5 -C0000068_bit6 -C0000068_bit7 -C0000068_bit8 -C0000068_bit9 -C0000068_bit10 -C0000068_bit11 -C0000068_bit12 -C0000083_bit_7 -C0000083_bit_6 -C0000083_bit_5 -C0000083_bit_4 -C0000083_bit_3 -C0000083_bit_2 -C0000083_bit_1 -C0000083_bit0 -C0000083_bit1 -C0000083_bit2 -C0000083_bit3 -C0000083_bit4 -C0000083_bit5 -C0000083_bit6 -C0000083_bit7 -C0000083_bit8 -C0000083_bit9 -C0000083_bit10 -C0000083_bit11 -C0000083_bit12 -C0000098_bit_7 -C0000098_bit_6 -C0000098_bit_5 -C0000098_bit_4 -C0000098_bit_3 -C0000098_bit_2 -C0000098_bit_1 -C0000098_bit0 -C0000098_bit1 -C0000098_bit2 -C0000098_bit3 -C0000098_bit4 -C0000098_bit5 -C0000098_bit6 -C0000098_bit7 -C0000098_bit8 -C0000098_bit9 -C0000098_bit10 -C0000098_bit11 -C0000098_bit12 -C0000113_bit_7 -C0000113_bit_6 -C0000113_bit_5 -C0000113_bit_4 -C0000113_bit_3 -C0000113_bit_2 -C0000113_bit_1 -C0000113_bit0 -C0000113_bit1 -C0000113_bit2 -C0000113_bit3 -C0000113_bit4 -C0000113_bit5 -C0000113_bit6 -C0000113_bit7 -C0000113_bit8 -C0000113_bit9 -C0000113_bit10 -C0000113_bit11 -C0000113_bit12 -C0000128_bit_7 -C0000128_bit_6 -C0000128_bit_5 -C0000128_bit_4 -C0000128_bit_3 -C0000128_bit_2 -C0000128_bit_1 -C0000128_bit0 -C0000128_bit1 -C0000128_bit2 -C0000128_bit3 -C0000128_bit4 -C0000128_bit5 -C0000128_bit6 -C0000128_bit7 -C0000128_bit8 -C0000128_bit9 -C0000128_bit10 -C0000128_bit11 -C0000128_bit12 -C0000138_bit_7 -C0000138_bit_6 -C0000138_bit_5 -C0000138_bit_4 -C0000138_bit_3 -C0000138_bit_2 -C0000138_bit_1 -C0000138_bit0 -C0000138_bit1 -C0000138_bit2 -C0000138_bit3 -C0000138_bit4 -C0000138_bit5 -C0000138_bit6 -C0000138_bit7 -C0000138_bit8 -C0000138_bit9 -C0000138_bit10 -C0000138_bit11 -C0000138_bit12 -C0000143_bit_7 -C0000143_bit_6 -C0000143_bit_5 -C0000143_bit_4 -C0000143_bit_3 -C0000143_bit_2 -C0000143_bit_1 -C0000143_bit0 -C0000143_bit1 -C0000143_bit2 -C0000143_bit3 -C0000143_bit4 -C0000143_bit5 -C0000143_bit6 -C0000143_bit7 -C0000143_bit8 -C0000143_bit9 -C0000143_bit10 -C0000143_bit11 -C0000143_bit12 -C0000148_bit_7 -C0000148_bit_6 -C0000148_bit_5 -C0000148_bit_4 -C0000148_bit_3 -C0000148_bit_2 -C0000148_bit_1 -C0000148_bit0 -C0000148_bit1 -C0000148_bit2 -C0000148_bit3 -C0000148_bit4 -C0000148_bit5 -C0000148_bit6 -C0000148_bit7 -C0000148_bit8 -C0000148_bit9 -C0000148_bit10 -C0000148_bit11 -C0000148_bit12 -C0000153_bit_7 -C0000153_bit_6 -C0000153_bit_5 -C0000153_bit_4 -C0000153_bit_3 -C0000153_bit_2 -C0000153_bit_1 -C0000153_bit0 C0000153_bit1 C0000153_bit2 -C0000153_bit3 -C0000153_bit4 -C0000153_bit5 -C0000153_bit6 -C0000153_bit7 -C0000153_bit8 -C0000153_bit9 -C0000153_bit10 -C0000153_bit11 -C0000153_bit12 -C0000158_bit_7 -C0000158_bit_6 -C0000158_bit_5 -C0000158_bit_4 -C0000158_bit_3 -C0000158_bit_2 -C0000158_bit_1 -C0000158_bit0 -C0000158_bit1 -C0000158_bit2 -C0000158_bit3 -C0000158_bit4 -C0000158_bit5 -C0000158_bit6 -C0000158_bit7 -C0000158_bit8 -C0000158_bit9 -C0000158_bit10 -C0000158_bit11 -C0000158_bit12 -C0000163_bit_7 -C0000163_bit_6 -C0000163_bit_5 -C0000163_bit_4 -C0000163_bit_3 -C0000163_bit_2 -C0000163_bit_1 -C0000163_bit0 -C0000163_bit1 -C0000163_bit2 -C0000163_bit3 -C0000163_bit4 -C0000163_bit5 -C0000163_bit6 -C0000163_bit7 -C0000163_bit8 -C0000163_bit9 -C0000163_bit10 -C0000163_bit11 -C0000163_bit12 -C0000168_bit_7 -C0000168_bit_6 -C0000168_bit_5 -C0000168_bit_4 -C0000168_bit_3 -C0000168_bit_2 -C0000168_bit_1 -C0000168_bit0 -C0000168_bit1 -C0000168_bit2 -C0000168_bit3 -C0000168_bit4 -C0000168_bit5 -C0000168_bit6 -C0000168_bit7 -C0000168_bit8 -C0000168_bit9 -C0000168_bit10 -C0000168_bit11 -C0000168_bit12 -C0000173_bit_7 -C0000173_bit_6 -C0000173_bit_5 -C0000173_bit_4 -C0000173_bit_3 -C0000173_bit_2 -C0000173_bit_1 -C0000173_bit0 -C0000173_bit1 -C0000173_bit2 -C0000173_bit3 -C0000173_bit4 -C0000173_bit5 -C0000173_bit6 -C0000173_bit7 -C0000173_bit8 -C0000173_bit9 -C0000173_bit10 -C0000173_bit11 -C0000173_bit12 -C0000178_bit_7 -C0000178_bit_6 -C0000178_bit_5 -C0000178_bit_4 -C0000178_bit_3 -C0000178_bit_2 -C0000178_bit_1 -C0000178_bit0 -C0000178_bit1 -C0000178_bit2 -C0000178_bit3 -C0000178_bit4 -C0000178_bit5 -C0000178_bit6 -C0000178_bit7 -C0000178_bit8 -C0000178_bit9 -C0000178_bit10 -C0000178_bit11 -C0000178_bit12 -C0000188_bit_7 -C0000188_bit_6 -C0000188_bit_5 -C0000188_bit_4 -C0000188_bit_3 -C0000188_bit_2 -C0000188_bit_1 -C0000188_bit0 -C0000188_bit1 -C0000188_bit2 -C0000188_bit3 -C0000188_bit4 -C0000188_bit5 -C0000188_bit6 -C0000188_bit7 -C0000188_bit8 -C0000188_bit9 -C0000188_bit10 -C0000188_bit11 -C0000188_bit12 -C0000198_bit_7 -C0000198_bit_6 -C0000198_bit_5 -C0000198_bit_4 -C0000198_bit_3 -C0000198_bit_2 -C0000198_bit_1 -C0000198_bit0 -C0000198_bit1 -C0000198_bit2 -C0000198_bit3 -C0000198_bit4 -C0000198_bit5 -C0000198_bit6 -C0000198_bit7 -C0000198_bit8 -C0000198_bit9 -C0000198_bit10 -C0000198_bit11 -C0000198_bit12 -C0000203_bit_7 -C0000203_bit_6 -C0000203_bit_5 -C0000203_bit_4 -C0000203_bit_3 -C0000203_bit_2 -C0000203_bit_1 -C0000203_bit0 -C0000203_bit1 -C0000203_bit2 -C0000203_bit3 -C0000203_bit4 -C0000203_bit5 -C0000203_bit6 -C0000203_bit7 -C0000203_bit8 -C0000203_bit9 -C0000203_bit10 -C0000203_bit11 -C0000203_bit12 -C0000208_bit_7 -C0000208_bit_6 -C0000208_bit_5 -C0000208_bit_4 -C0000208_bit_3 -C0000208_bit_2 -C0000208_bit_1 -C0000208_bit0 -C0000208_bit1 -C0000208_bit2 -C0000208_bit3 -C0000208_bit4 -C0000208_bit5 -C0000208_bit6 -C0000208_bit7 -C0000208_bit8 -C0000208_bit9 -C0000208_bit10 -C0000208_bit11 -C0000208_bit12 -C0000218_bit_7 -C0000218_bit_6 -C0000218_bit_5 -C0000218_bit_4 -C0000218_bit_3 -C0000218_bit_2 -C0000218_bit_1 -C0000218_bit0 -C0000218_bit1 -C0000218_bit2 -C0000218_bit3 -C0000218_bit4 -C0000218_bit5 -C0000218_bit6 -C0000218_bit7 -C0000218_bit8 -C0000218_bit9 -C0000218_bit10 -C0000218_bit11 -C0000218_bit12 -C0000233_bit_7 -C0000233_bit_6 -C0000233_bit_5 -C0000233_bit_4 -C0000233_bit_3 -C0000233_bit_2 -C0000233_bit_1 -C0000233_bit0 -C0000233_bit1 C0000233_bit2 -C0000233_bit3 -C0000233_bit4 -C0000233_bit5 -C0000233_bit6 -C0000233_bit7 -C0000233_bit8 -C0000233_bit9 -C0000233_bit10 -C0000233_bit11 -C0000233_bit12 -C0000004_bit_7 -C0000004_bit_6 -C0000004_bit_5 -C0000004_bit_4 -C0000004_bit_3 -C0000004_bit_2 -C0000004_bit_1 -C0000004_bit0 -C0000004_bit1 -C0000004_bit2 -C0000004_bit3 -C0000004_bit4 -C0000004_bit5 -C0000004_bit6 -C0000004_bit7 -C0000004_bit8 -C0000004_bit9 -C0000004_bit10 -C0000004_bit11 -C0000004_bit12 -C0000024_bit_7 -C0000024_bit_6 -C0000024_bit_5 -C0000024_bit_4 -C0000024_bit_3 -C0000024_bit_2 -C0000024_bit_1 -C0000024_bit0 -C0000024_bit1 -C0000024_bit2 -C0000024_bit3 -C0000024_bit4 -C0000024_bit5 -C0000024_bit6 -C0000024_bit7 -C0000024_bit8 -C0000024_bit9 -C0000024_bit10 -C0000024_bit11 -C0000024_bit12 -C0000039_bit_7 -C0000039_bit_6 -C0000039_bit_5 -C0000039_bit_4 -C0000039_bit_3 -C0000039_bit_2 -C0000039_bit_1 -C0000039_bit0 -C0000039_bit1 -C0000039_bit2 -C0000039_bit3 -C0000039_bit4 -C0000039_bit5 -C0000039_bit6 -C0000039_bit7 -C0000039_bit8 -C0000039_bit9 -C0000039_bit10 -C0000039_bit11 -C0000039_bit12 -C0000049_bit_7 -C0000049_bit_6 -C0000049_bit_5 -C0000049_bit_4 -C0000049_bit_3 -C0000049_bit_2 -C0000049_bit_1 -C0000049_bit0 -C0000049_bit1 -C0000049_bit2 -C0000049_bit3 -C0000049_bit4 -C0000049_bit5 -C0000049_bit6 -C0000049_bit7 -C0000049_bit8 -C0000049_bit9 -C0000049_bit10 -C0000049_bit11 -C0000049_bit12 -C0000054_bit_7 -C0000054_bit_6 -C0000054_bit_5 -C0000054_bit_4 -C0000054_bit_3 -C0000054_bit_2 -C0000054_bit_1 -C0000054_bit0 -C0000054_bit1 -C0000054_bit2 -C0000054_bit3 -C0000054_bit4 -C0000054_bit5 -C0000054_bit6 -C0000054_bit7 -C0000054_bit8 -C0000054_bit9 -C0000054_bit10 -C0000054_bit11 -C0000054_bit12 -C0000059_bit_7 -C0000059_bit_6 -C0000059_bit_5 -C0000059_bit_4 -C0000059_bit_3 -C0000059_bit_2 -C0000059_bit_1 -C0000059_bit0 -C0000059_bit1 -C0000059_bit2 -C0000059_bit3 -C0000059_bit4 -C0000059_bit5 -C0000059_bit6 -C0000059_bit7 -C0000059_bit8 -C0000059_bit9 -C0000059_bit10 -C0000059_bit11 -C0000059_bit12 -C0000069_bit_7 -C0000069_bit_6 -C0000069_bit_5 -C0000069_bit_4 -C0000069_bit_3 -C0000069_bit_2 -C0000069_bit_1 -C0000069_bit0 -C0000069_bit1 -C0000069_bit2 -C0000069_bit3 -C0000069_bit4 -C0000069_bit5 -C0000069_bit6 -C0000069_bit7 -C0000069_bit8 -C0000069_bit9 -C0000069_bit10 -C0000069_bit11 -C0000069_bit12 -C0000084_bit_7 -C0000084_bit_6 -C0000084_bit_5 -C0000084_bit_4 -C0000084_bit_3 -C0000084_bit_2 -C0000084_bit_1 -C0000084_bit0 -C0000084_bit1 -C0000084_bit2 -C0000084_bit3 -C0000084_bit4 -C0000084_bit5 -C0000084_bit6 -C0000084_bit7 -C0000084_bit8 -C0000084_bit9 -C0000084_bit10 -C0000084_bit11 -C0000084_bit12 -C0000099_bit_7 -C0000099_bit_6 -C0000099_bit_5 -C0000099_bit_4 -C0000099_bit_3 -C0000099_bit_2 -C0000099_bit_1 -C0000099_bit0 -C0000099_bit1 -C0000099_bit2 -C0000099_bit3 -C0000099_bit4 -C0000099_bit5 -C0000099_bit6 -C0000099_bit7 -C0000099_bit8 -C0000099_bit9 -C0000099_bit10 -C0000099_bit11 -C0000099_bit12 -C0000114_bit_7 -C0000114_bit_6 -C0000114_bit_5 -C0000114_bit_4 -C0000114_bit_3 -C0000114_bit_2 -C0000114_bit_1 -C0000114_bit0 -C0000114_bit1 -C0000114_bit2 -C0000114_bit3 -C0000114_bit4 -C0000114_bit5 -C0000114_bit6 -C0000114_bit7 -C0000114_bit8 -C0000114_bit9 -C0000114_bit10 -C0000114_bit11 -C0000114_bit12 -C0000129_bit_7 -C0000129_bit_6 -C0000129_bit_5 -C0000129_bit_4 -C0000129_bit_3 -C0000129_bit_2 -C0000129_bit_1 -C0000129_bit0 -C0000129_bit1 -C0000129_bit2 -C0000129_bit3 -C0000129_bit4 -C0000129_bit5 -C0000129_bit6 -C0000129_bit7 -C0000129_bit8 -C0000129_bit9 -C0000129_bit10 -C0000129_bit11 -C0000129_bit12 -C0000139_bit_7 -C0000139_bit_6 -C0000139_bit_5 -C0000139_bit_4 -C0000139_bit_3 -C0000139_bit_2 -C0000139_bit_1 -C0000139_bit0 -C0000139_bit1 -C0000139_bit2 -C0000139_bit3 -C0000139_bit4 -C0000139_bit5 -C0000139_bit6 -C0000139_bit7 -C0000139_bit8 -C0000139_bit9 -C0000139_bit10 -C0000139_bit11 -C0000139_bit12 -C0000144_bit_7 -C0000144_bit_6 -C0000144_bit_5 -C0000144_bit_4 -C0000144_bit_3 -C0000144_bit_2 -C0000144_bit_1 -C0000144_bit0 -C0000144_bit1 -C0000144_bit2 -C0000144_bit3 -C0000144_bit4 -C0000144_bit5 -C0000144_bit6 -C0000144_bit7 -C0000144_bit8 -C0000144_bit9 -C0000144_bit10 -C0000144_bit11 -C0000144_bit12 -C0000149_bit_7 -C0000149_bit_6 -C0000149_bit_5 -C0000149_bit_4 -C0000149_bit_3 -C0000149_bit_2 -C0000149_bit_1 -C0000149_bit0 -C0000149_bit1 -C0000149_bit2 -C0000149_bit3 -C0000149_bit4 -C0000149_bit5 -C0000149_bit6 -C0000149_bit7 -C0000149_bit8 -C0000149_bit9 -C0000149_bit10 -C0000149_bit11 -C0000149_bit12 -C0000154_bit_7 -C0000154_bit_6 -C0000154_bit_5 -C0000154_bit_4 -C0000154_bit_3 -C0000154_bit_2 -C0000154_bit_1 -C0000154_bit0 -C0000154_bit1 -C0000154_bit2 -C0000154_bit3 -C0000154_bit4 -C0000154_bit5 -C0000154_bit6 -C0000154_bit7 -C0000154_bit8 -C0000154_bit9 -C0000154_bit10 -C0000154_bit11 -C0000154_bit12 -C0000159_bit_7 -C0000159_bit_6 -C0000159_bit_5 -C0000159_bit_4 -C0000159_bit_3 -C0000159_bit_2 -C0000159_bit_1 -C0000159_bit0 -C0000159_bit1 -C0000159_bit2 -C0000159_bit3 -C0000159_bit4 -C0000159_bit5 -C0000159_bit6 -C0000159_bit7 -C0000159_bit8 -C0000159_bit9 -C0000159_bit10 -C0000159_bit11 -C0000159_bit12 -C0000164_bit_7 -C0000164_bit_6 -C0000164_bit_5 -C0000164_bit_4 -C0000164_bit_3 -C0000164_bit_2 -C0000164_bit_1 -C0000164_bit0 -C0000164_bit1 -C0000164_bit2 -C0000164_bit3 -C0000164_bit4 -C0000164_bit5 -C0000164_bit6 -C0000164_bit7 -C0000164_bit8 -C0000164_bit9 -C0000164_bit10 -C0000164_bit11 -C0000164_bit12 -C0000169_bit_7 -C0000169_bit_6 -C0000169_bit_5 -C0000169_bit_4 -C0000169_bit_3 -C0000169_bit_2 -C0000169_bit_1 -C0000169_bit0 C0000169_bit1 -C0000169_bit2 -C0000169_bit3 -C0000169_bit4 -C0000169_bit5 -C0000169_bit6 -C0000169_bit7 -C0000169_bit8 -C0000169_bit9 -C0000169_bit10 -C0000169_bit11 -C0000169_bit12 -C0000174_bit_7 -C0000174_bit_6 -C0000174_bit_5 -C0000174_bit_4 -C0000174_bit_3 -C0000174_bit_2 -C0000174_bit_1 -C0000174_bit0 -C0000174_bit1 -C0000174_bit2 -C0000174_bit3 -C0000174_bit4 -C0000174_bit5 -C0000174_bit6 -C0000174_bit7 -C0000174_bit8 -C0000174_bit9 -C0000174_bit10 -C0000174_bit11 -C0000174_bit12 -C0000179_bit_7 -C0000179_bit_6 -C0000179_bit_5 -C0000179_bit_4 -C0000179_bit_3 -C0000179_bit_2 -C0000179_bit_1 -C0000179_bit0 -C0000179_bit1 -C0000179_bit2 -C0000179_bit3 -C0000179_bit4 -C0000179_bit5 -C0000179_bit6 -C0000179_bit7 -C0000179_bit8 -C0000179_bit9 -C0000179_bit10 -C0000179_bit11 -C0000179_bit12 -C0000189_bit_7 -C0000189_bit_6 -C0000189_bit_5 -C0000189_bit_4 -C0000189_bit_3 -C0000189_bit_2 -C0000189_bit_1 -C0000189_bit0 -C0000189_bit1 -C0000189_bit2 -C0000189_bit3 -C0000189_bit4 -C0000189_bit5 -C0000189_bit6 -C0000189_bit7 -C0000189_bit8 -C0000189_bit9 -C0000189_bit10 -C0000189_bit11 -C0000189_bit12 -C0000199_bit_7 -C0000199_bit_6 -C0000199_bit_5 -C0000199_bit_4 -C0000199_bit_3 -C0000199_bit_2 -C0000199_bit_1 -C0000199_bit0 -C0000199_bit1 -C0000199_bit2 -C0000199_bit3 -C0000199_bit4 -C0000199_bit5 -C0000199_bit6 -C0000199_bit7 -C0000199_bit8 -C0000199_bit9 -C0000199_bit10 -C0000199_bit11 -C0000199_bit12 -C0000204_bit_7 -C0000204_bit_6 -C0000204_bit_5 -C0000204_bit_4 -C0000204_bit_3 -C0000204_bit_2 -C0000204_bit_1 -C0000204_bit0 -C0000204_bit1 -C0000204_bit2 -C0000204_bit3 -C0000204_bit4 -C0000204_bit5 -C0000204_bit6 -C0000204_bit7 -C0000204_bit8 -C0000204_bit9 -C0000204_bit10 -C0000204_bit11 -C0000204_bit12 -C0000209_bit_7 -C0000209_bit_6 -C0000209_bit_5 -C0000209_bit_4 -C0000209_bit_3 -C0000209_bit_2 -C0000209_bit_1 -C0000209_bit0 -C0000209_bit1 -C0000209_bit2 -C0000209_bit3 -C0000209_bit4 -C0000209_bit5 -C0000209_bit6 -C0000209_bit7 -C0000209_bit8 -C0000209_bit9 -C0000209_bit10 -C0000209_bit11 -C0000209_bit12 -C0000219_bit_7 -C0000219_bit_6 -C0000219_bit_5 -C0000219_bit_4 -C0000219_bit_3 -C0000219_bit_2 -C0000219_bit_1 -C0000219_bit0 -C0000219_bit1 -C0000219_bit2 -C0000219_bit3 -C0000219_bit4 -C0000219_bit5 -C0000219_bit6 -C0000219_bit7 -C0000219_bit8 -C0000219_bit9 -C0000219_bit10 -C0000219_bit11 -C0000219_bit12 -C0000234_bit_7 -C0000234_bit_6 -C0000234_bit_5 -C0000234_bit_4 -C0000234_bit_3 -C0000234_bit_2 -C0000234_bit_1 -C0000234_bit0 -C0000234_bit1 -C0000234_bit2 -C0000234_bit3 -C0000234_bit4 -C0000234_bit5 -C0000234_bit6 -C0000234_bit7 -C0000234_bit8 -C0000234_bit9 -C0000234_bit10 -C0000234_bit11 -C0000234_bit12 -C0000005_bit_7 -C0000005_bit_6 -C0000005_bit_5 -C0000005_bit_4 -C0000005_bit_3 -C0000005_bit_2 -C0000005_bit_1 -C0000005_bit0 -C0000005_bit1 -C0000005_bit2 -C0000005_bit3 -C0000005_bit4 -C0000005_bit5 -C0000005_bit6 -C0000005_bit7 -C0000005_bit8 -C0000005_bit9 -C0000005_bit10 -C0000005_bit11 -C0000005_bit12 -C0000025_bit_7 -C0000025_bit_6 -C0000025_bit_5 -C0000025_bit_4 -C0000025_bit_3 -C0000025_bit_2 -C0000025_bit_1 -C0000025_bit0 -C0000025_bit1 -C0000025_bit2 -C0000025_bit3 -C0000025_bit4 -C0000025_bit5 -C0000025_bit6 -C0000025_bit7 -C0000025_bit8 -C0000025_bit9 -C0000025_bit10 -C0000025_bit11 -C0000025_bit12 -C0000040_bit_7 -C0000040_bit_6 -C0000040_bit_5 -C0000040_bit_4 -C0000040_bit_3 -C0000040_bit_2 -C0000040_bit_1 -C0000040_bit0 -C0000040_bit1 -C0000040_bit2 -C0000040_bit3 -C0000040_bit4 -C0000040_bit5 -C0000040_bit6 -C0000040_bit7 -C0000040_bit8 -C0000040_bit9 -C0000040_bit10 -C0000040_bit11 -C0000040_bit12 -C0000050_bit_7 -C0000050_bit_6 -C0000050_bit_5 -C0000050_bit_4 -C0000050_bit_3 -C0000050_bit_2 -C0000050_bit_1 -C0000050_bit0 -C0000050_bit1 -C0000050_bit2 -C0000050_bit3 -C0000050_bit4 -C0000050_bit5 -C0000050_bit6 -C0000050_bit7 -C0000050_bit8 -C0000050_bit9 -C0000050_bit10 -C0000050_bit11 -C0000050_bit12 -C0000055_bit_7 -C0000055_bit_6 -C0000055_bit_5 -C0000055_bit_4 -C0000055_bit_3 -C0000055_bit_2 -C0000055_bit_1 -C0000055_bit0 -C0000055_bit1 -C0000055_bit2 -C0000055_bit3 -C0000055_bit4 -C0000055_bit5 -C0000055_bit6 -C0000055_bit7 -C0000055_bit8 -C0000055_bit9 -C0000055_bit10 -C0000055_bit11 -C0000055_bit12 -C0000060_bit_7 -C0000060_bit_6 -C0000060_bit_5 -C0000060_bit_4 -C0000060_bit_3 -C0000060_bit_2 -C0000060_bit_1 -C0000060_bit0 -C0000060_bit1 -C0000060_bit2 -C0000060_bit3 -C0000060_bit4 -C0000060_bit5 -C0000060_bit6 -C0000060_bit7 -C0000060_bit8 -C0000060_bit9 -C0000060_bit10 -C0000060_bit11 -C0000060_bit12 -C0000070_bit_7 -C0000070_bit_6 -C0000070_bit_5 -C0000070_bit_4 -C0000070_bit_3 -C0000070_bit_2 -C0000070_bit_1 -C0000070_bit0 -C0000070_bit1 -C0000070_bit2 -C0000070_bit3 -C0000070_bit4 -C0000070_bit5 -C0000070_bit6 -C0000070_bit7 -C0000070_bit8 -C0000070_bit9 -C0000070_bit10 -C0000070_bit11 -C0000070_bit12 -C0000085_bit_7 -C0000085_bit_6 -C0000085_bit_5 -C0000085_bit_4 -C0000085_bit_3 -C0000085_bit_2 -C0000085_bit_1 -C0000085_bit0 -C0000085_bit1 -C0000085_bit2 -C0000085_bit3 -C0000085_bit4 -C0000085_bit5 -C0000085_bit6 -C0000085_bit7 -C0000085_bit8 -C0000085_bit9 -C0000085_bit10 -C0000085_bit11 -C0000085_bit12 -C0000100_bit_7 -C0000100_bit_6 -C0000100_bit_5 -C0000100_bit_4 -C0000100_bit_3 -C0000100_bit_2 -C0000100_bit_1 -C0000100_bit0 -C0000100_bit1 -C0000100_bit2 -C0000100_bit3 -C0000100_bit4 -C0000100_bit5 -C0000100_bit6 -C0000100_bit7 -C0000100_bit8 -C0000100_bit9 -C0000100_bit10 -C0000100_bit11 -C0000100_bit12 -C0000115_bit_7 -C0000115_bit_6 -C0000115_bit_5 -C0000115_bit_4 -C0000115_bit_3 -C0000115_bit_2 -C0000115_bit_1 -C0000115_bit0 -C0000115_bit1 -C0000115_bit2 -C0000115_bit3 -C0000115_bit4 -C0000115_bit5 -C0000115_bit6 -C0000115_bit7 -C0000115_bit8 -C0000115_bit9 -C0000115_bit10 -C0000115_bit11 -C0000115_bit12 -C0000130_bit_7 -C0000130_bit_6 -C0000130_bit_5 -C0000130_bit_4 -C0000130_bit_3 -C0000130_bit_2 -C0000130_bit_1 -C0000130_bit0 -C0000130_bit1 -C0000130_bit2 -C0000130_bit3 -C0000130_bit4 -C0000130_bit5 -C0000130_bit6 -C0000130_bit7 -C0000130_bit8 -C0000130_bit9 -C0000130_bit10 -C0000130_bit11 -C0000130_bit12 -C0000140_bit_7 -C0000140_bit_6 -C0000140_bit_5 -C0000140_bit_4 -C0000140_bit_3 -C0000140_bit_2 -C0000140_bit_1 -C0000140_bit0 -C0000140_bit1 -C0000140_bit2 -C0000140_bit3 -C0000140_bit4 -C0000140_bit5 -C0000140_bit6 -C0000140_bit7 -C0000140_bit8 -C0000140_bit9 -C0000140_bit10 -C0000140_bit11 -C0000140_bit12 -C0000145_bit_7 -C0000145_bit_6 -C0000145_bit_5 -C0000145_bit_4 -C0000145_bit_3 -C0000145_bit_2 -C0000145_bit_1 -C0000145_bit0 -C0000145_bit1 -C0000145_bit2 -C0000145_bit3 -C0000145_bit4 -C0000145_bit5 -C0000145_bit6 -C0000145_bit7 -C0000145_bit8 -C0000145_bit9 -C0000145_bit10 -C0000145_bit11 -C0000145_bit12 -C0000150_bit_7 -C0000150_bit_6 -C0000150_bit_5 -C0000150_bit_4 -C0000150_bit_3 -C0000150_bit_2 -C0000150_bit_1 -C0000150_bit0 -C0000150_bit1 -C0000150_bit2 -C0000150_bit3 -C0000150_bit4 -C0000150_bit5 -C0000150_bit6 -C0000150_bit7 -C0000150_bit8 -C0000150_bit9 -C0000150_bit10 -C0000150_bit11 -C0000150_bit12 -C0000155_bit_7 -C0000155_bit_6 -C0000155_bit_5 -C0000155_bit_4 -C0000155_bit_3 -C0000155_bit_2 -C0000155_bit_1 -C0000155_bit0 -C0000155_bit1 -C0000155_bit2 -C0000155_bit3 -C0000155_bit4 -C0000155_bit5 -C0000155_bit6 -C0000155_bit7 -C0000155_bit8 -C0000155_bit9 -C0000155_bit10 -C0000155_bit11 -C0000155_bit12 -C0000160_bit_7 -C0000160_bit_6 -C0000160_bit_5 -C0000160_bit_4 -C0000160_bit_3 -C0000160_bit_2 -C0000160_bit_1 -C0000160_bit0 -C0000160_bit1 -C0000160_bit2 -C0000160_bit3 -C0000160_bit4 -C0000160_bit5 -C0000160_bit6 -C0000160_bit7 -C0000160_bit8 -C0000160_bit9 -C0000160_bit10 -C0000160_bit11 -C0000160_bit12 -C0000165_bit_7 -C0000165_bit_6 -C0000165_bit_5 -C0000165_bit_4 -C0000165_bit_3 -C0000165_bit_2 -C0000165_bit_1 -C0000165_bit0 -C0000165_bit1 -C0000165_bit2 -C0000165_bit3 -C0000165_bit4 -C0000165_bit5 -C0000165_bit6 -C0000165_bit7 -C0000165_bit8 -C0000165_bit9 -C0000165_bit10 -C0000165_bit11 -C0000165_bit12 -C0000170_bit_7 -C0000170_bit_6 -C0000170_bit_5 -C0000170_bit_4 -C0000170_bit_3 -C0000170_bit_2 -C0000170_bit_1 -C0000170_bit0 -C0000170_bit1 -C0000170_bit2 -C0000170_bit3 -C0000170_bit4 -C0000170_bit5 -C0000170_bit6 -C0000170_bit7 -C0000170_bit8 -C0000170_bit9 -C0000170_bit10 -C0000170_bit11 -C0000170_bit12 -C0000175_bit_7 -C0000175_bit_6 -C0000175_bit_5 -C0000175_bit_4 -C0000175_bit_3 -C0000175_bit_2 -C0000175_bit_1 -C0000175_bit0 -C0000175_bit1 -C0000175_bit2 -C0000175_bit3 -C0000175_bit4 -C0000175_bit5 -C0000175_bit6 -C0000175_bit7 -C0000175_bit8 -C0000175_bit9 -C0000175_bit10 -C0000175_bit11 -C0000175_bit12 -C0000180_bit_7 -C0000180_bit_6 -C0000180_bit_5 -C0000180_bit_4 -C0000180_bit_3 -C0000180_bit_2 -C0000180_bit_1 -C0000180_bit0 -C0000180_bit1 -C0000180_bit2 -C0000180_bit3 -C0000180_bit4 -C0000180_bit5 -C0000180_bit6 -C0000180_bit7 -C0000180_bit8 -C0000180_bit9 -C0000180_bit10 -C0000180_bit11 -C0000180_bit12 -C0000190_bit_7 -C0000190_bit_6 -C0000190_bit_5 -C0000190_bit_4 -C0000190_bit_3 -C0000190_bit_2 -C0000190_bit_1 -C0000190_bit0 -C0000190_bit1 -C0000190_bit2 -C0000190_bit3 -C0000190_bit4 -C0000190_bit5 -C0000190_bit6 -C0000190_bit7 -C0000190_bit8 -C0000190_bit9 -C0000190_bit10 -C0000190_bit11 -C0000190_bit12 -C0000200_bit_7 -C0000200_bit_6 -C0000200_bit_5 -C0000200_bit_4 -C0000200_bit_3 -C0000200_bit_2 -C0000200_bit_1 -C0000200_bit0 -C0000200_bit1 -C0000200_bit2 -C0000200_bit3 -C0000200_bit4 -C0000200_bit5 -C0000200_bit6 -C0000200_bit7 -C0000200_bit8 -C0000200_bit9 -C0000200_bit10 -C0000200_bit11 -C0000200_bit12 -C0000205_bit_7 -C0000205_bit_6 -C0000205_bit_5 -C0000205_bit_4 -C0000205_bit_3 -C0000205_bit_2 -C0000205_bit_1 -C0000205_bit0 -C0000205_bit1 -C0000205_bit2 -C0000205_bit3 -C0000205_bit4 -C0000205_bit5 -C0000205_bit6 -C0000205_bit7 -C0000205_bit8 -C0000205_bit9 -C0000205_bit10 -C0000205_bit11 -C0000205_bit12 -C0000210_bit_7 -C0000210_bit_6 -C0000210_bit_5 -C0000210_bit_4 -C0000210_bit_3 -C0000210_bit_2 -C0000210_bit_1 -C0000210_bit0 -C0000210_bit1 -C0000210_bit2 -C0000210_bit3 -C0000210_bit4 -C0000210_bit5 -C0000210_bit6 -C0000210_bit7 -C0000210_bit8 -C0000210_bit9 -C0000210_bit10 -C0000210_bit11 -C0000210_bit12 -C0000220_bit_7 -C0000220_bit_6 -C0000220_bit_5 -C0000220_bit_4 -C0000220_bit_3 -C0000220_bit_2 -C0000220_bit_1 -C0000220_bit0 -C0000220_bit1 -C0000220_bit2 -C0000220_bit3 -C0000220_bit4 -C0000220_bit5 -C0000220_bit6 -C0000220_bit7 -C0000220_bit8 -C0000220_bit9 -C0000220_bit10 -C0000220_bit11 -C0000220_bit12 -C0000235_bit_7 -C0000235_bit_6 -C0000235_bit_5 -C0000235_bit_4 -C0000235_bit_3 -C0000235_bit_2 -C0000235_bit_1 -C0000235_bit0 -C0000235_bit1 -C0000235_bit2 -C0000235_bit3 -C0000235_bit4 -C0000235_bit5 -C0000235_bit6 -C0000235_bit7 -C0000235_bit8 -C0000235_bit9 -C0000235_bit10 -C0000235_bit11 -C0000235_bit12 -C0000006_bit_7 -C0000006_bit_6 -C0000006_bit_5 -C0000006_bit_4 -C0000006_bit_3 -C0000006_bit_2 -C0000006_bit_1 -C0000006_bit0 -C0000006_bit1 -C0000006_bit2 -C0000006_bit3 -C0000006_bit4 -C0000006_bit5 -C0000006_bit6 -C0000006_bit7 -C0000006_bit8 -C0000006_bit9 -C0000006_bit10 -C0000006_bit11 -C0000006_bit12 -C0000026_bit_7 -C0000026_bit_6 -C0000026_bit_5 -C0000026_bit_4 -C0000026_bit_3 -C0000026_bit_2 -C0000026_bit_1 -C0000026_bit0 -C0000026_bit1 C0000026_bit2 -C0000026_bit3 -C0000026_bit4 -C0000026_bit5 -C0000026_bit6 -C0000026_bit7 -C0000026_bit8 -C0000026_bit9 -C0000026_bit10 -C0000026_bit11 -C0000026_bit12 -C0000031_bit_7 -C0000031_bit_6 -C0000031_bit_5 -C0000031_bit_4 -C0000031_bit_3 -C0000031_bit_2 -C0000031_bit_1 -C0000031_bit0 -C0000031_bit1 -C0000031_bit2 -C0000031_bit3 -C0000031_bit4 -C0000031_bit5 -C0000031_bit6 -C0000031_bit7 -C0000031_bit8 -C0000031_bit9 -C0000031_bit10 -C0000031_bit11 -C0000031_bit12 -C0000041_bit_7 -C0000041_bit_6 -C0000041_bit_5 -C0000041_bit_4 -C0000041_bit_3 -C0000041_bit_2 -C0000041_bit_1 -C0000041_bit0 -C0000041_bit1 -C0000041_bit2 -C0000041_bit3 -C0000041_bit4 -C0000041_bit5 -C0000041_bit6 -C0000041_bit7 -C0000041_bit8 -C0000041_bit9 -C0000041_bit10 -C0000041_bit11 -C0000041_bit12 -C0000071_bit_7 -C0000071_bit_6 -C0000071_bit_5 -C0000071_bit_4 -C0000071_bit_3 -C0000071_bit_2 -C0000071_bit_1 -C0000071_bit0 -C0000071_bit1 -C0000071_bit2 -C0000071_bit3 -C0000071_bit4 -C0000071_bit5 -C0000071_bit6 -C0000071_bit7 -C0000071_bit8 -C0000071_bit9 -C0000071_bit10 -C0000071_bit11 -C0000071_bit12 -C0000086_bit_7 -C0000086_bit_6 -C0000086_bit_5 -C0000086_bit_4 -C0000086_bit_3 -C0000086_bit_2 -C0000086_bit_1 -C0000086_bit0 -C0000086_bit1 -C0000086_bit2 -C0000086_bit3 -C0000086_bit4 -C0000086_bit5 -C0000086_bit6 -C0000086_bit7 -C0000086_bit8 -C0000086_bit9 -C0000086_bit10 -C0000086_bit11 -C0000086_bit12 -C0000101_bit_7 -C0000101_bit_6 -C0000101_bit_5 -C0000101_bit_4 -C0000101_bit_3 -C0000101_bit_2 -C0000101_bit_1 -C0000101_bit0 -C0000101_bit1 -C0000101_bit2 -C0000101_bit3 -C0000101_bit4 -C0000101_bit5 -C0000101_bit6 -C0000101_bit7 -C0000101_bit8 -C0000101_bit9 -C0000101_bit10 -C0000101_bit11 -C0000101_bit12 -C0000106_bit_7 -C0000106_bit_6 -C0000106_bit_5 -C0000106_bit_4 -C0000106_bit_3 -C0000106_bit_2 -C0000106_bit_1 -C0000106_bit0 -C0000106_bit1 -C0000106_bit2 -C0000106_bit3 -C0000106_bit4 -C0000106_bit5 -C0000106_bit6 -C0000106_bit7 -C0000106_bit8 -C0000106_bit9 -C0000106_bit10 -C0000106_bit11 -C0000106_bit12 -C0000116_bit_7 -C0000116_bit_6 -C0000116_bit_5 -C0000116_bit_4 -C0000116_bit_3 -C0000116_bit_2 -C0000116_bit_1 -C0000116_bit0 -C0000116_bit1 -C0000116_bit2 -C0000116_bit3 -C0000116_bit4 -C0000116_bit5 -C0000116_bit6 -C0000116_bit7 -C0000116_bit8 -C0000116_bit9 -C0000116_bit10 -C0000116_bit11 -C0000116_bit12 -C0000121_bit_7 -C0000121_bit_6 -C0000121_bit_5 -C0000121_bit_4 -C0000121_bit_3 -C0000121_bit_2 -C0000121_bit_1 C0000121_bit0 -C0000121_bit1 C0000121_bit2 -C0000121_bit3 -C0000121_bit4 -C0000121_bit5 -C0000121_bit6 -C0000121_bit7 -C0000121_bit8 -C0000121_bit9 -C0000121_bit10 -C0000121_bit11 -C0000121_bit12 -C0000131_bit_7 -C0000131_bit_6 -C0000131_bit_5 -C0000131_bit_4 -C0000131_bit_3 -C0000131_bit_2 -C0000131_bit_1 -C0000131_bit0 -C0000131_bit1 -C0000131_bit2 -C0000131_bit3 -C0000131_bit4 -C0000131_bit5 -C0000131_bit6 -C0000131_bit7 -C0000131_bit8 -C0000131_bit9 -C0000131_bit10 -C0000131_bit11 -C0000131_bit12 -C0000191_bit_7 -C0000191_bit_6 -C0000191_bit_5 -C0000191_bit_4 -C0000191_bit_3 -C0000191_bit_2 -C0000191_bit_1 -C0000191_bit0 -C0000191_bit1 -C0000191_bit2 -C0000191_bit3 -C0000191_bit4 -C0000191_bit5 -C0000191_bit6 -C0000191_bit7 -C0000191_bit8 -C0000191_bit9 -C0000191_bit10 -C0000191_bit11 -C0000191_bit12 -C0000221_bit_7 -C0000221_bit_6 -C0000221_bit_5 -C0000221_bit_4 -C0000221_bit_3 -C0000221_bit_2 -C0000221_bit_1 -C0000221_bit0 -C0000221_bit1 -C0000221_bit2 -C0000221_bit3 -C0000221_bit4 -C0000221_bit5 -C0000221_bit6 -C0000221_bit7 -C0000221_bit8 -C0000221_bit9 -C0000221_bit10 -C0000221_bit11 -C0000221_bit12 -C0000236_bit_7 -C0000236_bit_6 -C0000236_bit_5 -C0000236_bit_4 -C0000236_bit_3 -C0000236_bit_2 -C0000236_bit_1 -C0000236_bit0 -C0000236_bit1 -C0000236_bit2 -C0000236_bit3 -C0000236_bit4 -C0000236_bit5 -C0000236_bit6 -C0000236_bit7 -C0000236_bit8 -C0000236_bit9 -C0000236_bit10 -C0000236_bit11 -C0000236_bit12 -C0000007_bit_7 -C0000007_bit_6 -C0000007_bit_5 -C0000007_bit_4 -C0000007_bit_3 -C0000007_bit_2 -C0000007_bit_1 -C0000007_bit0 -C0000007_bit1 -C0000007_bit2 -C0000007_bit3 -C0000007_bit4 -C0000007_bit5 -C0000007_bit6 -C0000007_bit7 -C0000007_bit8 -C0000007_bit9 -C0000007_bit10 -C0000007_bit11 -C0000007_bit12 -C0000027_bit_7 -C0000027_bit_6 -C0000027_bit_5 -C0000027_bit_4 -C0000027_bit_3 -C0000027_bit_2 -C0000027_bit_1 -C0000027_bit0 -C0000027_bit1 -C0000027_bit2 -C0000027_bit3 -C0000027_bit4 -C0000027_bit5 -C0000027_bit6 -C0000027_bit7 -C0000027_bit8 -C0000027_bit9 -C0000027_bit10 -C0000027_bit11 -C0000027_bit12 -C0000032_bit_7 -C0000032_bit_6 -C0000032_bit_5 -C0000032_bit_4 -C0000032_bit_3 -C0000032_bit_2 -C0000032_bit_1 -C0000032_bit0 -C0000032_bit1 -C0000032_bit2 -C0000032_bit3 -C0000032_bit4 -C0000032_bit5 -C0000032_bit6 -C0000032_bit7 -C0000032_bit8 -C0000032_bit9 -C0000032_bit10 -C0000032_bit11 -C0000032_bit12 -C0000042_bit_7 -C0000042_bit_6 -C0000042_bit_5 -C0000042_bit_4 -C0000042_bit_3 -C0000042_bit_2 -C0000042_bit_1 -C0000042_bit0 -C0000042_bit1 -C0000042_bit2 -C0000042_bit3 -C0000042_bit4 -C0000042_bit5 -C0000042_bit6 -C0000042_bit7 -C0000042_bit8 -C0000042_bit9 -C0000042_bit10 -C0000042_bit11 -C0000042_bit12 -C0000072_bit_7 -C0000072_bit_6 -C0000072_bit_5 -C0000072_bit_4 -C0000072_bit_3 -C0000072_bit_2 -C0000072_bit_1 -C0000072_bit0 -C0000072_bit1 -C0000072_bit2 -C0000072_bit3 -C0000072_bit4 -C0000072_bit5 -C0000072_bit6 -C0000072_bit7 -C0000072_bit8 -C0000072_bit9 -C0000072_bit10 -C0000072_bit11 -C0000072_bit12 -C0000087_bit_7 -C0000087_bit_6 -C0000087_bit_5 -C0000087_bit_4 -C0000087_bit_3 -C0000087_bit_2 -C0000087_bit_1 -C0000087_bit0 -C0000087_bit1 -C0000087_bit2 -C0000087_bit3 -C0000087_bit4 -C0000087_bit5 -C0000087_bit6 -C0000087_bit7 -C0000087_bit8 -C0000087_bit9 -C0000087_bit10 -C0000087_bit11 -C0000087_bit12 -C0000102_bit_7 -C0000102_bit_6 -C0000102_bit_5 -C0000102_bit_4 -C0000102_bit_3 -C0000102_bit_2 -C0000102_bit_1 -C0000102_bit0 -C0000102_bit1 -C0000102_bit2 -C0000102_bit3 -C0000102_bit4 -C0000102_bit5 -C0000102_bit6 -C0000102_bit7 -C0000102_bit8 -C0000102_bit9 -C0000102_bit10 -C0000102_bit11 -C0000102_bit12 -C0000107_bit_7 -C0000107_bit_6 -C0000107_bit_5 -C0000107_bit_4 -C0000107_bit_3 -C0000107_bit_2 -C0000107_bit_1 -C0000107_bit0 -C0000107_bit1 -C0000107_bit2 -C0000107_bit3 -C0000107_bit4 -C0000107_bit5 -C0000107_bit6 -C0000107_bit7 -C0000107_bit8 -C0000107_bit9 -C0000107_bit10 -C0000107_bit11 -C0000107_bit12 -C0000117_bit_7 -C0000117_bit_6 -C0000117_bit_5 -C0000117_bit_4 -C0000117_bit_3 -C0000117_bit_2 -C0000117_bit_1 -C0000117_bit0 -C0000117_bit1 -C0000117_bit2 -C0000117_bit3 -C0000117_bit4 -C0000117_bit5 -C0000117_bit6 -C0000117_bit7 -C0000117_bit8 -C0000117_bit9 -C0000117_bit10 -C0000117_bit11 -C0000117_bit12 -C0000122_bit_7 -C0000122_bit_6 -C0000122_bit_5 -C0000122_bit_4 -C0000122_bit_3 -C0000122_bit_2 -C0000122_bit_1 -C0000122_bit0 -C0000122_bit1 -C0000122_bit2 -C0000122_bit3 -C0000122_bit4 -C0000122_bit5 -C0000122_bit6 -C0000122_bit7 -C0000122_bit8 -C0000122_bit9 -C0000122_bit10 -C0000122_bit11 -C0000122_bit12 -C0000132_bit_7 -C0000132_bit_6 -C0000132_bit_5 -C0000132_bit_4 -C0000132_bit_3 -C0000132_bit_2 -C0000132_bit_1 -C0000132_bit0 -C0000132_bit1 -C0000132_bit2 -C0000132_bit3 -C0000132_bit4 -C0000132_bit5 -C0000132_bit6 -C0000132_bit7 -C0000132_bit8 -C0000132_bit9 -C0000132_bit10 -C0000132_bit11 -C0000132_bit12 -C0000192_bit_7 -C0000192_bit_6 -C0000192_bit_5 -C0000192_bit_4 -C0000192_bit_3 -C0000192_bit_2 -C0000192_bit_1 -C0000192_bit0 -C0000192_bit1 -C0000192_bit2 -C0000192_bit3 -C0000192_bit4 -C0000192_bit5 -C0000192_bit6 -C0000192_bit7 -C0000192_bit8 -C0000192_bit9 -C0000192_bit10 -C0000192_bit11 -C0000192_bit12 -C0000222_bit_7 -C0000222_bit_6 -C0000222_bit_5 -C0000222_bit_4 -C0000222_bit_3 -C0000222_bit_2 -C0000222_bit_1 -C0000222_bit0 -C0000222_bit1 -C0000222_bit2 -C0000222_bit3 -C0000222_bit4 -C0000222_bit5 -C0000222_bit6 -C0000222_bit7 -C0000222_bit8 -C0000222_bit9 -C0000222_bit10 -C0000222_bit11 -C0000222_bit12 -C0000237_bit_7 -C0000237_bit_6 -C0000237_bit_5 -C0000237_bit_4 -C0000237_bit_3 -C0000237_bit_2 -C0000237_bit_1 -C0000237_bit0 -C0000237_bit1 -C0000237_bit2 -C0000237_bit3 -C0000237_bit4 -C0000237_bit5 -C0000237_bit6 -C0000237_bit7 -C0000237_bit8 -C0000237_bit9 -C0000237_bit10 -C0000237_bit11 -C0000237_bit12 -C0000008_bit_7 -C0000008_bit_6 -C0000008_bit_5 -C0000008_bit_4 -C0000008_bit_3 -C0000008_bit_2 -C0000008_bit_1 -C0000008_bit0 -C0000008_bit1 -C0000008_bit2 -C0000008_bit3 -C0000008_bit4 -C0000008_bit5 -C0000008_bit6 -C0000008_bit7 -C0000008_bit8 -C0000008_bit9 -C0000008_bit10 -C0000008_bit11 -C0000008_bit12 -C0000028_bit_7 -C0000028_bit_6 -C0000028_bit_5 -C0000028_bit_4 -C0000028_bit_3 -C0000028_bit_2 -C0000028_bit_1 -C0000028_bit0 -C0000028_bit1 -C0000028_bit2 -C0000028_bit3 -C0000028_bit4 -C0000028_bit5 -C0000028_bit6 -C0000028_bit7 -C0000028_bit8 -C0000028_bit9 -C0000028_bit10 -C0000028_bit11 -C0000028_bit12 -C0000033_bit_7 -C0000033_bit_6 -C0000033_bit_5 -C0000033_bit_4 -C0000033_bit_3 -C0000033_bit_2 -C0000033_bit_1 -C0000033_bit0 -C0000033_bit1 -C0000033_bit2 -C0000033_bit3 -C0000033_bit4 -C0000033_bit5 -C0000033_bit6 -C0000033_bit7 -C0000033_bit8 -C0000033_bit9 -C0000033_bit10 -C0000033_bit11 -C0000033_bit12 -C0000043_bit_7 -C0000043_bit_6 -C0000043_bit_5 -C0000043_bit_4 -C0000043_bit_3 -C0000043_bit_2 -C0000043_bit_1 -C0000043_bit0 -C0000043_bit1 -C0000043_bit2 -C0000043_bit3 -C0000043_bit4 -C0000043_bit5 -C0000043_bit6 -C0000043_bit7 -C0000043_bit8 -C0000043_bit9 -C0000043_bit10 -C0000043_bit11 -C0000043_bit12 -C0000073_bit_7 -C0000073_bit_6 -C0000073_bit_5 -C0000073_bit_4 -C0000073_bit_3 -C0000073_bit_2 -C0000073_bit_1 -C0000073_bit0 -C0000073_bit1 -C0000073_bit2 -C0000073_bit3 -C0000073_bit4 -C0000073_bit5 -C0000073_bit6 -C0000073_bit7 -C0000073_bit8 -C0000073_bit9 -C0000073_bit10 -C0000073_bit11 -C0000073_bit12 -C0000088_bit_7 -C0000088_bit_6 -C0000088_bit_5 -C0000088_bit_4 -C0000088_bit_3 -C0000088_bit_2 -C0000088_bit_1 -C0000088_bit0 -C0000088_bit1 -C0000088_bit2 -C0000088_bit3 -C0000088_bit4 -C0000088_bit5 -C0000088_bit6 -C0000088_bit7 -C0000088_bit8 -C0000088_bit9 -C0000088_bit10 -C0000088_bit11 -C0000088_bit12 -C0000103_bit_7 -C0000103_bit_6 -C0000103_bit_5 -C0000103_bit_4 -C0000103_bit_3 -C0000103_bit_2 -C0000103_bit_1 -C0000103_bit0 -C0000103_bit1 -C0000103_bit2 -C0000103_bit3 -C0000103_bit4 -C0000103_bit5 -C0000103_bit6 -C0000103_bit7 -C0000103_bit8 -C0000103_bit9 -C0000103_bit10 -C0000103_bit11 -C0000103_bit12 -C0000108_bit_7 -C0000108_bit_6 -C0000108_bit_5 -C0000108_bit_4 -C0000108_bit_3 -C0000108_bit_2 -C0000108_bit_1 -C0000108_bit0 -C0000108_bit1 -C0000108_bit2 -C0000108_bit3 -C0000108_bit4 -C0000108_bit5 -C0000108_bit6 -C0000108_bit7 -C0000108_bit8 -C0000108_bit9 -C0000108_bit10 -C0000108_bit11 -C0000108_bit12 -C0000118_bit_7 -C0000118_bit_6 -C0000118_bit_5 -C0000118_bit_4 -C0000118_bit_3 -C0000118_bit_2 -C0000118_bit_1 -C0000118_bit0 -C0000118_bit1 -C0000118_bit2 -C0000118_bit3 -C0000118_bit4 -C0000118_bit5 -C0000118_bit6 -C0000118_bit7 -C0000118_bit8 -C0000118_bit9 -C0000118_bit10 -C0000118_bit11 -C0000118_bit12 -C0000123_bit_7 -C0000123_bit_6 -C0000123_bit_5 -C0000123_bit_4 -C0000123_bit_3 -C0000123_bit_2 -C0000123_bit_1 -C0000123_bit0 -C0000123_bit1 -C0000123_bit2 -C0000123_bit3 -C0000123_bit4 -C0000123_bit5 -C0000123_bit6 -C0000123_bit7 -C0000123_bit8 -C0000123_bit9 -C0000123_bit10 -C0000123_bit11 -C0000123_bit12 -C0000133_bit_7 -C0000133_bit_6 -C0000133_bit_5 -C0000133_bit_4 -C0000133_bit_3 -C0000133_bit_2 -C0000133_bit_1 -C0000133_bit0 -C0000133_bit1 -C0000133_bit2 -C0000133_bit3 -C0000133_bit4 -C0000133_bit5 -C0000133_bit6 -C0000133_bit7 -C0000133_bit8 -C0000133_bit9 -C0000133_bit10 -C0000133_bit11 -C0000133_bit12 -C0000193_bit_7 -C0000193_bit_6 -C0000193_bit_5 -C0000193_bit_4 -C0000193_bit_3 -C0000193_bit_2 -C0000193_bit_1 -C0000193_bit0 -C0000193_bit1 -C0000193_bit2 -C0000193_bit3 -C0000193_bit4 -C0000193_bit5 -C0000193_bit6 -C0000193_bit7 -C0000193_bit8 -C0000193_bit9 -C0000193_bit10 -C0000193_bit11 -C0000193_bit12 -C0000223_bit_7 -C0000223_bit_6 -C0000223_bit_5 -C0000223_bit_4 -C0000223_bit_3 -C0000223_bit_2 -C0000223_bit_1 -C0000223_bit0 -C0000223_bit1 -C0000223_bit2 -C0000223_bit3 -C0000223_bit4 -C0000223_bit5 -C0000223_bit6 -C0000223_bit7 -C0000223_bit8 -C0000223_bit9 -C0000223_bit10 -C0000223_bit11 -C0000223_bit12 -C0000238_bit_7 -C0000238_bit_6 -C0000238_bit_5 -C0000238_bit_4 -C0000238_bit_3 -C0000238_bit_2 -C0000238_bit_1 -C0000238_bit0 -C0000238_bit1 -C0000238_bit2 -C0000238_bit3 -C0000238_bit4 -C0000238_bit5 -C0000238_bit6 -C0000238_bit7 -C0000238_bit8 -C0000238_bit9 -C0000238_bit10 -C0000238_bit11 -C0000238_bit12 -C0000009_bit_7 -C0000009_bit_6 -C0000009_bit_5 -C0000009_bit_4 -C0000009_bit_3 -C0000009_bit_2 -C0000009_bit_1 -C0000009_bit0 -C0000009_bit1 -C0000009_bit2 -C0000009_bit3 -C0000009_bit4 -C0000009_bit5 -C0000009_bit6 -C0000009_bit7 -C0000009_bit8 -C0000009_bit9 -C0000009_bit10 -C0000009_bit11 -C0000009_bit12 -C0000029_bit_7 -C0000029_bit_6 -C0000029_bit_5 -C0000029_bit_4 -C0000029_bit_3 -C0000029_bit_2 -C0000029_bit_1 -C0000029_bit0 -C0000029_bit1 -C0000029_bit2 -C0000029_bit3 -C0000029_bit4 -C0000029_bit5 -C0000029_bit6 -C0000029_bit7 -C0000029_bit8 -C0000029_bit9 -C0000029_bit10 -C0000029_bit11 -C0000029_bit12 -C0000034_bit_7 -C0000034_bit_6 -C0000034_bit_5 -C0000034_bit_4 -C0000034_bit_3 -C0000034_bit_2 -C0000034_bit_1 -C0000034_bit0 -C0000034_bit1 -C0000034_bit2 -C0000034_bit3 -C0000034_bit4 -C0000034_bit5 -C0000034_bit6 -C0000034_bit7 -C0000034_bit8 -C0000034_bit9 -C0000034_bit10 -C0000034_bit11 -C0000034_bit12 -C0000044_bit_7 -C0000044_bit_6 -C0000044_bit_5 -C0000044_bit_4 -C0000044_bit_3 -C0000044_bit_2 -C0000044_bit_1 -C0000044_bit0 -C0000044_bit1 -C0000044_bit2 -C0000044_bit3 -C0000044_bit4 -C0000044_bit5 -C0000044_bit6 -C0000044_bit7 -C0000044_bit8 -C0000044_bit9 -C0000044_bit10 -C0000044_bit11 -C0000044_bit12 -C0000074_bit_7 -C0000074_bit_6 -C0000074_bit_5 -C0000074_bit_4 -C0000074_bit_3 -C0000074_bit_2 -C0000074_bit_1 -C0000074_bit0 -C0000074_bit1 -C0000074_bit2 -C0000074_bit3 -C0000074_bit4 -C0000074_bit5 -C0000074_bit6 -C0000074_bit7 -C0000074_bit8 -C0000074_bit9 -C0000074_bit10 -C0000074_bit11 -C0000074_bit12 -C0000089_bit_7 -C0000089_bit_6 -C0000089_bit_5 -C0000089_bit_4 -C0000089_bit_3 -C0000089_bit_2 -C0000089_bit_1 -C0000089_bit0 -C0000089_bit1 -C0000089_bit2 -C0000089_bit3 -C0000089_bit4 -C0000089_bit5 -C0000089_bit6 -C0000089_bit7 -C0000089_bit8 -C0000089_bit9 -C0000089_bit10 -C0000089_bit11 -C0000089_bit12 -C0000104_bit_7 -C0000104_bit_6 -C0000104_bit_5 -C0000104_bit_4 -C0000104_bit_3 -C0000104_bit_2 -C0000104_bit_1 -C0000104_bit0 -C0000104_bit1 -C0000104_bit2 -C0000104_bit3 -C0000104_bit4 -C0000104_bit5 -C0000104_bit6 -C0000104_bit7 -C0000104_bit8 -C0000104_bit9 -C0000104_bit10 -C0000104_bit11 -C0000104_bit12 -C0000109_bit_7 -C0000109_bit_6 -C0000109_bit_5 -C0000109_bit_4 -C0000109_bit_3 -C0000109_bit_2 -C0000109_bit_1 -C0000109_bit0 -C0000109_bit1 -C0000109_bit2 -C0000109_bit3 -C0000109_bit4 -C0000109_bit5 -C0000109_bit6 -C0000109_bit7 -C0000109_bit8 -C0000109_bit9 -C0000109_bit10 -C0000109_bit11 -C0000109_bit12 -C0000119_bit_7 -C0000119_bit_6 -C0000119_bit_5 -C0000119_bit_4 -C0000119_bit_3 -C0000119_bit_2 -C0000119_bit_1 -C0000119_bit0 -C0000119_bit1 -C0000119_bit2 -C0000119_bit3 -C0000119_bit4 -C0000119_bit5 -C0000119_bit6 -C0000119_bit7 -C0000119_bit8 -C0000119_bit9 -C0000119_bit10 -C0000119_bit11 -C0000119_bit12 -C0000124_bit_7 -C0000124_bit_6 -C0000124_bit_5 -C0000124_bit_4 -C0000124_bit_3 -C0000124_bit_2 -C0000124_bit_1 -C0000124_bit0 -C0000124_bit1 -C0000124_bit2 -C0000124_bit3 -C0000124_bit4 -C0000124_bit5 -C0000124_bit6 -C0000124_bit7 -C0000124_bit8 -C0000124_bit9 -C0000124_bit10 -C0000124_bit11 -C0000124_bit12 -C0000134_bit_7 -C0000134_bit_6 -C0000134_bit_5 -C0000134_bit_4 -C0000134_bit_3 -C0000134_bit_2 -C0000134_bit_1 -C0000134_bit0 -C0000134_bit1 -C0000134_bit2 -C0000134_bit3 -C0000134_bit4 -C0000134_bit5 -C0000134_bit6 -C0000134_bit7 -C0000134_bit8 -C0000134_bit9 -C0000134_bit10 -C0000134_bit11 -C0000134_bit12 -C0000194_bit_7 -C0000194_bit_6 -C0000194_bit_5 -C0000194_bit_4 -C0000194_bit_3 -C0000194_bit_2 -C0000194_bit_1 -C0000194_bit0 -C0000194_bit1 -C0000194_bit2 -C0000194_bit3 -C0000194_bit4 -C0000194_bit5 -C0000194_bit6 -C0000194_bit7 -C0000194_bit8 -C0000194_bit9 -C0000194_bit10 -C0000194_bit11 -C0000194_bit12 -C0000224_bit_7 -C0000224_bit_6 -C0000224_bit_5 -C0000224_bit_4 -C0000224_bit_3 -C0000224_bit_2 -C0000224_bit_1 -C0000224_bit0 -C0000224_bit1 -C0000224_bit2 -C0000224_bit3 -C0000224_bit4 -C0000224_bit5 -C0000224_bit6 -C0000224_bit7 -C0000224_bit8 -C0000224_bit9 -C0000224_bit10 -C0000224_bit11 -C0000224_bit12 -C0000239_bit_7 -C0000239_bit_6 -C0000239_bit_5 -C0000239_bit_4 -C0000239_bit_3 -C0000239_bit_2 -C0000239_bit_1 -C0000239_bit0 -C0000239_bit1 -C0000239_bit2 -C0000239_bit3 -C0000239_bit4 -C0000239_bit5 -C0000239_bit6 -C0000239_bit7 -C0000239_bit8 -C0000239_bit9 -C0000239_bit10 -C0000239_bit11 -C0000239_bit12 -C0000010_bit_7 -C0000010_bit_6 -C0000010_bit_5 -C0000010_bit_4 -C0000010_bit_3 -C0000010_bit_2 -C0000010_bit_1 C0000010_bit0 C0000010_bit1 -C0000010_bit2 -C0000010_bit3 -C0000010_bit4 -C0000010_bit5 -C0000010_bit6 -C0000010_bit7 -C0000010_bit8 -C0000010_bit9 -C0000010_bit10 -C0000010_bit11 -C0000010_bit12 -C0000030_bit_7 -C0000030_bit_6 -C0000030_bit_5 -C0000030_bit_4 -C0000030_bit_3 -C0000030_bit_2 -C0000030_bit_1 -C0000030_bit0 -C0000030_bit1 -C0000030_bit2 -C0000030_bit3 -C0000030_bit4 -C0000030_bit5 -C0000030_bit6 -C0000030_bit7 -C0000030_bit8 -C0000030_bit9 -C0000030_bit10 -C0000030_bit11 -C0000030_bit12 -C0000035_bit_7 -C0000035_bit_6 -C0000035_bit_5 -C0000035_bit_4 -C0000035_bit_3 -C0000035_bit_2 -C0000035_bit_1 -C0000035_bit0 -C0000035_bit1 -C0000035_bit2 -C0000035_bit3 -C0000035_bit4 -C0000035_bit5 -C0000035_bit6 -C0000035_bit7 -C0000035_bit8 -C0000035_bit9 -C0000035_bit10 -C0000035_bit11 -C0000035_bit12 -C0000045_bit_7 -C0000045_bit_6 -C0000045_bit_5 -C0000045_bit_4 -C0000045_bit_3 -C0000045_bit_2 -C0000045_bit_1 -C0000045_bit0 -C0000045_bit1 -C0000045_bit2 -C0000045_bit3 -C0000045_bit4 -C0000045_bit5 -C0000045_bit6 -C0000045_bit7 -C0000045_bit8 -C0000045_bit9 -C0000045_bit10 -C0000045_bit11 -C0000045_bit12 -C0000075_bit_7 -C0000075_bit_6 -C0000075_bit_5 -C0000075_bit_4 -C0000075_bit_3 -C0000075_bit_2 -C0000075_bit_1 -C0000075_bit0 -C0000075_bit1 -C0000075_bit2 -C0000075_bit3 -C0000075_bit4 -C0000075_bit5 -C0000075_bit6 -C0000075_bit7 -C0000075_bit8 -C0000075_bit9 -C0000075_bit10 -C0000075_bit11 -C0000075_bit12 -C0000090_bit_7 -C0000090_bit_6 -C0000090_bit_5 -C0000090_bit_4 -C0000090_bit_3 -C0000090_bit_2 -C0000090_bit_1 -C0000090_bit0 -C0000090_bit1 -C0000090_bit2 -C0000090_bit3 -C0000090_bit4 -C0000090_bit5 -C0000090_bit6 -C0000090_bit7 -C0000090_bit8 -C0000090_bit9 -C0000090_bit10 -C0000090_bit11 -C0000090_bit12 -C0000105_bit_7 -C0000105_bit_6 -C0000105_bit_5 -C0000105_bit_4 -C0000105_bit_3 -C0000105_bit_2 -C0000105_bit_1 -C0000105_bit0 -C0000105_bit1 -C0000105_bit2 -C0000105_bit3 -C0000105_bit4 -C0000105_bit5 -C0000105_bit6 -C0000105_bit7 -C0000105_bit8 -C0000105_bit9 -C0000105_bit10 -C0000105_bit11 -C0000105_bit12 -C0000110_bit_7 -C0000110_bit_6 -C0000110_bit_5 -C0000110_bit_4 -C0000110_bit_3 -C0000110_bit_2 -C0000110_bit_1 -C0000110_bit0 -C0000110_bit1 C0000110_bit2 -C0000110_bit3 -C0000110_bit4 -C0000110_bit5 -C0000110_bit6 -C0000110_bit7 -C0000110_bit8 -C0000110_bit9 -C0000110_bit10 -C0000110_bit11 -C0000110_bit12 -C0000120_bit_7 -C0000120_bit_6 -C0000120_bit_5 -C0000120_bit_4 -C0000120_bit_3 -C0000120_bit_2 -C0000120_bit_1 -C0000120_bit0 -C0000120_bit1 -C0000120_bit2 -C0000120_bit3 -C0000120_bit4 -C0000120_bit5 -C0000120_bit6 -C0000120_bit7 -C0000120_bit8 -C0000120_bit9 -C0000120_bit10 -C0000120_bit11 -C0000120_bit12 -C0000125_bit_7 -C0000125_bit_6 -C0000125_bit_5 -C0000125_bit_4 -C0000125_bit_3 -C0000125_bit_2 -C0000125_bit_1 -C0000125_bit0 -C0000125_bit1 -C0000125_bit2 -C0000125_bit3 -C0000125_bit4 -C0000125_bit5 -C0000125_bit6 -C0000125_bit7 -C0000125_bit8 -C0000125_bit9 -C0000125_bit10 -C0000125_bit11 -C0000125_bit12 -C0000135_bit_7 -C0000135_bit_6 -C0000135_bit_5 -C0000135_bit_4 -C0000135_bit_3 -C0000135_bit_2 -C0000135_bit_1 -C0000135_bit0 -C0000135_bit1 -C0000135_bit2 -C0000135_bit3 -C0000135_bit4 -C0000135_bit5 -C0000135_bit6 -C0000135_bit7 -C0000135_bit8 -C0000135_bit9 -C0000135_bit10 -C0000135_bit11 -C0000135_bit12 -C0000195_bit_7 -C0000195_bit_6 -C0000195_bit_5 -C0000195_bit_4 -C0000195_bit_3 -C0000195_bit_2 -C0000195_bit_1 -C0000195_bit0 -C0000195_bit1 -C0000195_bit2 -C0000195_bit3 -C0000195_bit4 -C0000195_bit5 -C0000195_bit6 -C0000195_bit7 -C0000195_bit8 -C0000195_bit9 -C0000195_bit10 -C0000195_bit11 -C0000195_bit12 -C0000225_bit_7 -C0000225_bit_6 -C0000225_bit_5 -C0000225_bit_4 -C0000225_bit_3 -C0000225_bit_2 -C0000225_bit_1 -C0000225_bit0 -C0000225_bit1 -C0000225_bit2 -C0000225_bit3 -C0000225_bit4 -C0000225_bit5 -C0000225_bit6 -C0000225_bit7 -C0000225_bit8 -C0000225_bit9 -C0000225_bit10 -C0000225_bit11 -C0000225_bit12 -C0000240_bit_7 -C0000240_bit_6 -C0000240_bit_5 -C0000240_bit_4 -C0000240_bit_3 -C0000240_bit_2 -C0000240_bit_1 -C0000240_bit0 -C0000240_bit1 -C0000240_bit2 -C0000240_bit3 -C0000240_bit4 -C0000240_bit5 -C0000240_bit6 -C0000240_bit7 -C0000240_bit8 -C0000240_bit9 -C0000240_bit10 -C0000240_bit11 -C0000240_bit12 -C0000011_bit_7 -C0000011_bit_6 -C0000011_bit_5 -C0000011_bit_4 -C0000011_bit_3 -C0000011_bit_2 -C0000011_bit_1 -C0000011_bit0 -C0000011_bit1 -C0000011_bit2 -C0000011_bit3 -C0000011_bit4 -C0000011_bit5 -C0000011_bit6 -C0000011_bit7 -C0000011_bit8 -C0000011_bit9 -C0000011_bit10 -C0000011_bit11 -C0000011_bit12 -C0000016_bit_7 -C0000016_bit_6 -C0000016_bit_5 -C0000016_bit_4 -C0000016_bit_3 -C0000016_bit_2 -C0000016_bit_1 -C0000016_bit0 -C0000016_bit1 -C0000016_bit2 -C0000016_bit3 -C0000016_bit4 -C0000016_bit5 -C0000016_bit6 -C0000016_bit7 -C0000016_bit8 -C0000016_bit9 -C0000016_bit10 -C0000016_bit11 -C0000016_bit12 -C0000061_bit_7 -C0000061_bit_6 -C0000061_bit_5 -C0000061_bit_4 -C0000061_bit_3 -C0000061_bit_2 -C0000061_bit_1 -C0000061_bit0 -C0000061_bit1 -C0000061_bit2 -C0000061_bit3 -C0000061_bit4 -C0000061_bit5 -C0000061_bit6 -C0000061_bit7 -C0000061_bit8 -C0000061_bit9 -C0000061_bit10 -C0000061_bit11 -C0000061_bit12 -C0000076_bit_7 -C0000076_bit_6 -C0000076_bit_5 -C0000076_bit_4 -C0000076_bit_3 -C0000076_bit_2 -C0000076_bit_1 -C0000076_bit0 -C0000076_bit1 -C0000076_bit2 -C0000076_bit3 -C0000076_bit4 -C0000076_bit5 -C0000076_bit6 -C0000076_bit7 -C0000076_bit8 -C0000076_bit9 -C0000076_bit10 -C0000076_bit11 -C0000076_bit12 -C0000091_bit_7 -C0000091_bit_6 -C0000091_bit_5 -C0000091_bit_4 -C0000091_bit_3 -C0000091_bit_2 -C0000091_bit_1 -C0000091_bit0 -C0000091_bit1 -C0000091_bit2 -C0000091_bit3 -C0000091_bit4 -C0000091_bit5 -C0000091_bit6 -C0000091_bit7 -C0000091_bit8 -C0000091_bit9 -C0000091_bit10 -C0000091_bit11 -C0000091_bit12 -C0000181_bit_7 -C0000181_bit_6 -C0000181_bit_5 -C0000181_bit_4 -C0000181_bit_3 -C0000181_bit_2 -C0000181_bit_1 -C0000181_bit0 -C0000181_bit1 -C0000181_bit2 -C0000181_bit3 -C0000181_bit4 -C0000181_bit5 -C0000181_bit6 -C0000181_bit7 -C0000181_bit8 -C0000181_bit9 -C0000181_bit10 -C0000181_bit11 -C0000181_bit12 -C0000211_bit_7 -C0000211_bit_6 -C0000211_bit_5 -C0000211_bit_4 -C0000211_bit_3 -C0000211_bit_2 -C0000211_bit_1 -C0000211_bit0 -C0000211_bit1 -C0000211_bit2 -C0000211_bit3 -C0000211_bit4 -C0000211_bit5 -C0000211_bit6 -C0000211_bit7 -C0000211_bit8 -C0000211_bit9 -C0000211_bit10 -C0000211_bit11 -C0000211_bit12 -C0000226_bit_7 -C0000226_bit_6 -C0000226_bit_5 -C0000226_bit_4 -C0000226_bit_3 -C0000226_bit_2 -C0000226_bit_1 -C0000226_bit0 -C0000226_bit1 -C0000226_bit2 -C0000226_bit3 -C0000226_bit4 -C0000226_bit5 -C0000226_bit6 -C0000226_bit7 -C0000226_bit8 -C0000226_bit9 -C0000226_bit10 -C0000226_bit11 -C0000226_bit12 -C0000012_bit_7 -C0000012_bit_6 -C0000012_bit_5 -C0000012_bit_4 -C0000012_bit_3 -C0000012_bit_2 -C0000012_bit_1 -C0000012_bit0 C0000012_bit1 -C0000012_bit2 -C0000012_bit3 -C0000012_bit4 -C0000012_bit5 -C0000012_bit6 -C0000012_bit7 -C0000012_bit8 -C0000012_bit9 -C0000012_bit10 -C0000012_bit11 -C0000012_bit12 -C0000017_bit_7 -C0000017_bit_6 -C0000017_bit_5 -C0000017_bit_4 -C0000017_bit_3 -C0000017_bit_2 -C0000017_bit_1 -C0000017_bit0 -C0000017_bit1 -C0000017_bit2 -C0000017_bit3 -C0000017_bit4 -C0000017_bit5 -C0000017_bit6 -C0000017_bit7 -C0000017_bit8 -C0000017_bit9 -C0000017_bit10 -C0000017_bit11 -C0000017_bit12 -C0000062_bit_7 -C0000062_bit_6 -C0000062_bit_5 -C0000062_bit_4 -C0000062_bit_3 -C0000062_bit_2 -C0000062_bit_1 -C0000062_bit0 -C0000062_bit1 -C0000062_bit2 -C0000062_bit3 -C0000062_bit4 -C0000062_bit5 -C0000062_bit6 -C0000062_bit7 -C0000062_bit8 -C0000062_bit9 -C0000062_bit10 -C0000062_bit11 -C0000062_bit12 -C0000077_bit_7 -C0000077_bit_6 -C0000077_bit_5 -C0000077_bit_4 -C0000077_bit_3 -C0000077_bit_2 -C0000077_bit_1 -C0000077_bit0 -C0000077_bit1 -C0000077_bit2 -C0000077_bit3 -C0000077_bit4 -C0000077_bit5 -C0000077_bit6 -C0000077_bit7 -C0000077_bit8 -C0000077_bit9 -C0000077_bit10 -C0000077_bit11 -C0000077_bit12 -C0000092_bit_7 -C0000092_bit_6 -C0000092_bit_5 -C0000092_bit_4 -C0000092_bit_3 -C0000092_bit_2 -C0000092_bit_1 -C0000092_bit0 -C0000092_bit1 C0000092_bit2 -C0000092_bit3 -C0000092_bit4 -C0000092_bit5 -C0000092_bit6 -C0000092_bit7 -C0000092_bit8 -C0000092_bit9 -C0000092_bit10 -C0000092_bit11 -C0000092_bit12 -C0000182_bit_7 -C0000182_bit_6 -C0000182_bit_5 -C0000182_bit_4 -C0000182_bit_3 -C0000182_bit_2 -C0000182_bit_1 -C0000182_bit0 -C0000182_bit1 -C0000182_bit2 -C0000182_bit3 -C0000182_bit4 -C0000182_bit5 -C0000182_bit6 -C0000182_bit7 -C0000182_bit8 -C0000182_bit9 -C0000182_bit10 -C0000182_bit11 -C0000182_bit12 -C0000212_bit_7 -C0000212_bit_6 -C0000212_bit_5 -C0000212_bit_4 -C0000212_bit_3 -C0000212_bit_2 -C0000212_bit_1 -C0000212_bit0 -C0000212_bit1 -C0000212_bit2 -C0000212_bit3 -C0000212_bit4 -C0000212_bit5 -C0000212_bit6 -C0000212_bit7 -C0000212_bit8 -C0000212_bit9 -C0000212_bit10 -C0000212_bit11 -C0000212_bit12 -C0000227_bit_7 -C0000227_bit_6 -C0000227_bit_5 -C0000227_bit_4 -C0000227_bit_3 -C0000227_bit_2 -C0000227_bit_1 -C0000227_bit0 -C0000227_bit1 -C0000227_bit2 -C0000227_bit3 -C0000227_bit4 -C0000227_bit5 -C0000227_bit6 -C0000227_bit7 -C0000227_bit8 -C0000227_bit9 -C0000227_bit10 -C0000227_bit11 -C0000227_bit12 -C0000013_bit_7 -C0000013_bit_6 -C0000013_bit_5 -C0000013_bit_4 -C0000013_bit_3 -C0000013_bit_2 -C0000013_bit_1 C0000013_bit0 C0000013_bit1 -C0000013_bit2 -C0000013_bit3 -C0000013_bit4 -C0000013_bit5 -C0000013_bit6 -C0000013_bit7 -C0000013_bit8 -C0000013_bit9 -C0000013_bit10 -C0000013_bit11 -C0000013_bit12 -C0000018_bit_7 -C0000018_bit_6 -C0000018_bit_5 -C0000018_bit_4 -C0000018_bit_3 -C0000018_bit_2 -C0000018_bit_1 -C0000018_bit0 -C0000018_bit1 -C0000018_bit2 -C0000018_bit3 -C0000018_bit4 -C0000018_bit5 -C0000018_bit6 -C0000018_bit7 -C0000018_bit8 -C0000018_bit9 -C0000018_bit10 -C0000018_bit11 -C0000018_bit12 -C0000063_bit_7 -C0000063_bit_6 -C0000063_bit_5 -C0000063_bit_4 -C0000063_bit_3 -C0000063_bit_2 -C0000063_bit_1 -C0000063_bit0 -C0000063_bit1 -C0000063_bit2 -C0000063_bit3 -C0000063_bit4 -C0000063_bit5 -C0000063_bit6 -C0000063_bit7 -C0000063_bit8 -C0000063_bit9 -C0000063_bit10 -C0000063_bit11 -C0000063_bit12 -C0000078_bit_7 -C0000078_bit_6 -C0000078_bit_5 -C0000078_bit_4 -C0000078_bit_3 -C0000078_bit_2 -C0000078_bit_1 -C0000078_bit0 -C0000078_bit1 -C0000078_bit2 -C0000078_bit3 -C0000078_bit4 -C0000078_bit5 -C0000078_bit6 -C0000078_bit7 -C0000078_bit8 -C0000078_bit9 -C0000078_bit10 -C0000078_bit11 -C0000078_bit12 -C0000093_bit_7 -C0000093_bit_6 -C0000093_bit_5 -C0000093_bit_4 -C0000093_bit_3 -C0000093_bit_2 -C0000093_bit_1 -C0000093_bit0 -C0000093_bit1 -C0000093_bit2 -C0000093_bit3 -C0000093_bit4 -C0000093_bit5 -C0000093_bit6 -C0000093_bit7 -C0000093_bit8 -C0000093_bit9 -C0000093_bit10 -C0000093_bit11 -C0000093_bit12 -C0000183_bit_7 -C0000183_bit_6 -C0000183_bit_5 -C0000183_bit_4 -C0000183_bit_3 -C0000183_bit_2 -C0000183_bit_1 -C0000183_bit0 -C0000183_bit1 -C0000183_bit2 -C0000183_bit3 -C0000183_bit4 -C0000183_bit5 -C0000183_bit6 -C0000183_bit7 -C0000183_bit8 -C0000183_bit9 -C0000183_bit10 -C0000183_bit11 -C0000183_bit12 -C0000213_bit_7 -C0000213_bit_6 -C0000213_bit_5 -C0000213_bit_4 -C0000213_bit_3 -C0000213_bit_2 -C0000213_bit_1 -C0000213_bit0 -C0000213_bit1 -C0000213_bit2 -C0000213_bit3 -C0000213_bit4 -C0000213_bit5 -C0000213_bit6 -C0000213_bit7 -C0000213_bit8 -C0000213_bit9 -C0000213_bit10 -C0000213_bit11 -C0000213_bit12 -C0000228_bit_7 -C0000228_bit_6 -C0000228_bit_5 -C0000228_bit_4 -C0000228_bit_3 -C0000228_bit_2 -C0000228_bit_1 -C0000228_bit0 -C0000228_bit1 -C0000228_bit2 -C0000228_bit3 -C0000228_bit4 -C0000228_bit5 -C0000228_bit6 -C0000228_bit7 -C0000228_bit8 -C0000228_bit9 -C0000228_bit10 -C0000228_bit11 -C0000228_bit12 -C0000014_bit_7 -C0000014_bit_6 -C0000014_bit_5 -C0000014_bit_4 -C0000014_bit_3 -C0000014_bit_2 -C0000014_bit_1 -C0000014_bit0 -C0000014_bit1 -C0000014_bit2 -C0000014_bit3 -C0000014_bit4 -C0000014_bit5 -C0000014_bit6 -C0000014_bit7 -C0000014_bit8 -C0000014_bit9 -C0000014_bit10 -C0000014_bit11 -C0000014_bit12 -C0000019_bit_7 -C0000019_bit_6 -C0000019_bit_5 -C0000019_bit_4 -C0000019_bit_3 -C0000019_bit_2 -C0000019_bit_1 -C0000019_bit0 -C0000019_bit1 -C0000019_bit2 -C0000019_bit3 -C0000019_bit4 -C0000019_bit5 -C0000019_bit6 -C0000019_bit7 -C0000019_bit8 -C0000019_bit9 -C0000019_bit10 -C0000019_bit11 -C0000019_bit12 -C0000064_bit_7 -C0000064_bit_6 -C0000064_bit_5 -C0000064_bit_4 -C0000064_bit_3 -C0000064_bit_2 -C0000064_bit_1 -C0000064_bit0 -C0000064_bit1 -C0000064_bit2 -C0000064_bit3 -C0000064_bit4 -C0000064_bit5 -C0000064_bit6 -C0000064_bit7 -C0000064_bit8 -C0000064_bit9 -C0000064_bit10 -C0000064_bit11 -C0000064_bit12 -C0000079_bit_7 -C0000079_bit_6 -C0000079_bit_5 -C0000079_bit_4 -C0000079_bit_3 -C0000079_bit_2 -C0000079_bit_1 -C0000079_bit0 -C0000079_bit1 -C0000079_bit2 -C0000079_bit3 -C0000079_bit4 -C0000079_bit5 -C0000079_bit6 -C0000079_bit7 -C0000079_bit8 -C0000079_bit9 -C0000079_bit10 -C0000079_bit11 -C0000079_bit12 -C0000094_bit_7 -C0000094_bit_6 -C0000094_bit_5 -C0000094_bit_4 -C0000094_bit_3 -C0000094_bit_2 -C0000094_bit_1 -C0000094_bit0 -C0000094_bit1 -C0000094_bit2 -C0000094_bit3 -C0000094_bit4 -C0000094_bit5 -C0000094_bit6 -C0000094_bit7 -C0000094_bit8 -C0000094_bit9 -C0000094_bit10 -C0000094_bit11 -C0000094_bit12 -C0000184_bit_7 -C0000184_bit_6 -C0000184_bit_5 -C0000184_bit_4 -C0000184_bit_3 -C0000184_bit_2 -C0000184_bit_1 -C0000184_bit0 -C0000184_bit1 -C0000184_bit2 -C0000184_bit3 -C0000184_bit4 -C0000184_bit5 -C0000184_bit6 -C0000184_bit7 -C0000184_bit8 -C0000184_bit9 -C0000184_bit10 -C0000184_bit11 -C0000184_bit12 -C0000214_bit_7 -C0000214_bit_6 -C0000214_bit_5 -C0000214_bit_4 -C0000214_bit_3 -C0000214_bit_2 -C0000214_bit_1 -C0000214_bit0 -C0000214_bit1 -C0000214_bit2 -C0000214_bit3 -C0000214_bit4 -C0000214_bit5 -C0000214_bit6 -C0000214_bit7 -C0000214_bit8 -C0000214_bit9 -C0000214_bit10 -C0000214_bit11 -C0000214_bit12 -C0000229_bit_7 -C0000229_bit_6 -C0000229_bit_5 -C0000229_bit_4 -C0000229_bit_3 -C0000229_bit_2 -C0000229_bit_1 -C0000229_bit0 -C0000229_bit1 -C0000229_bit2 -C0000229_bit3 -C0000229_bit4 -C0000229_bit5 -C0000229_bit6 -C0000229_bit7 -C0000229_bit8 -C0000229_bit9 -C0000229_bit10 -C0000229_bit11 -C0000229_bit12 -C0000015_bit_7 -C0000015_bit_6 -C0000015_bit_5 -C0000015_bit_4 -C0000015_bit_3 -C0000015_bit_2 -C0000015_bit_1 -C0000015_bit0 -C0000015_bit1 -C0000015_bit2 -C0000015_bit3 -C0000015_bit4 -C0000015_bit5 -C0000015_bit6 -C0000015_bit7 -C0000015_bit8 -C0000015_bit9 -C0000015_bit10 -C0000015_bit11 -C0000015_bit12 -C0000020_bit_7 -C0000020_bit_6 -C0000020_bit_5 -C0000020_bit_4 -C0000020_bit_3 -C0000020_bit_2 -C0000020_bit_1 -C0000020_bit0 -C0000020_bit1 -C0000020_bit2 -C0000020_bit3 -C0000020_bit4 -C0000020_bit5 -C0000020_bit6 -C0000020_bit7 -C0000020_bit8 -C0000020_bit9 -C0000020_bit10 -C0000020_bit11 -C0000020_bit12 -C0000065_bit_7 -C0000065_bit_6 -C0000065_bit_5 -C0000065_bit_4 -C0000065_bit_3 -C0000065_bit_2 -C0000065_bit_1 -C0000065_bit0 -C0000065_bit1 -C0000065_bit2 -C0000065_bit3 -C0000065_bit4 -C0000065_bit5 -C0000065_bit6 -C0000065_bit7 -C0000065_bit8 -C0000065_bit9 -C0000065_bit10 -C0000065_bit11 -C0000065_bit12 -C0000080_bit_7 -C0000080_bit_6 -C0000080_bit_5 -C0000080_bit_4 -C0000080_bit_3 -C0000080_bit_2 -C0000080_bit_1 -C0000080_bit0 -C0000080_bit1 -C0000080_bit2 -C0000080_bit3 -C0000080_bit4 -C0000080_bit5 -C0000080_bit6 -C0000080_bit7 -C0000080_bit8 -C0000080_b#### 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.88 0.98 0.95 2/54 30034 Raw data (stat): 30034 (runsolver) R 30033 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 483201000 1052672 99 4294967295 134512640 135381576 3221224448 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0003 s] Raw data (loadavg): 0.90 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 1197 0 0 0 994 3 0 0 25 0 1 0 483201000 5484544 885 4294967295 134512640 134672761 3221224560 3221222400 134597188 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 1339 885 603 41 0 1298 0 vsize: 5356 [startup+20.0005 s] Raw data (loadavg): 0.91 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 6385 0 0 0 1980 17 0 0 25 0 1 0 483201000 23990272 5236 4294967295 134512640 134672761 3221224560 3221223744 134615705 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 5857 5236 603 41 0 5816 0 vsize: 23428 [startup+30.0009 s] Raw data (loadavg): 0.92 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 6942 0 0 0 2977 20 0 0 25 0 1 0 483201000 26222592 5793 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 6402 5793 603 41 0 6361 0 vsize: 25608 [startup+40.0002 s] Raw data (loadavg): 0.94 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 8515 0 0 0 3974 23 0 0 25 0 1 0 483201000 28835840 6440 4294967295 134512640 134672761 3221224560 3221223696 134614701 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 7040 6440 603 41 0 6999 0 vsize: 28160 [startup+50.0021 s] Raw data (loadavg): 0.95 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 8516 0 0 0 4975 23 0 0 25 0 1 0 483201000 28835840 6441 4294967295 134512640 134672761 3221224560 3221223744 134615673 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 7040 6441 603 41 0 6999 0 vsize: 28160 [startup+60.0018 s] Raw data (loadavg): 0.95 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 9531 0 0 0 5971 25 0 0 25 0 1 0 483201000 30740480 6869 4294967295 134512640 134672761 3221224560 3221223664 134603709 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 7505 6869 603 41 0 7464 0 vsize: 30020 [startup+70.0011 s] Raw data (loadavg): 0.96 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 9753 0 0 0 6971 26 0 0 25 0 1 0 483201000 31531008 7091 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 7698 7091 603 41 0 7657 0 vsize: 30792 [startup+80.0021 s] Raw data (loadavg): 0.97 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 10451 0 0 0 7969 29 0 0 25 0 1 0 483201000 34414592 7789 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 8402 7789 603 41 0 8361 0 vsize: 33608 [startup+90.0016 s] Raw data (loadavg): 0.97 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 11240 0 0 0 8966 31 0 0 25 0 1 0 483201000 37711872 8578 4294967295 134512640 134672761 3221224560 3221223744 134615724 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 9207 8578 603 41 0 9166 0 vsize: 36828 [startup+100.002 s] Raw data (loadavg): 0.97 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 11814 0 0 0 9964 33 0 0 25 0 1 0 483201000 40062976 9152 4294967295 134512640 134672761 3221224560 3221223744 134615585 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 9781 9152 603 41 0 9740 0 vsize: 39124 [startup+110.002 s] Raw data (loadavg): 0.98 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 12568 0 0 0 10962 35 0 0 25 0 1 0 483201000 43212800 9906 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 10550 9906 603 41 0 10509 0 vsize: 42200 [startup+120.002 s] Raw data (loadavg): 0.98 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 13424 0 0 0 11960 37 0 0 25 0 1 0 483201000 46604288 10762 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 11378 10762 603 41 0 11337 0 vsize: 45512 [startup+130.002 s] Raw data (loadavg): 0.98 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 14114 0 0 0 12959 39 0 0 25 0 1 0 483201000 49512448 11452 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 12088 11452 603 41 0 12047 0 vsize: 48352 [startup+140.002 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 14737 0 0 0 13957 41 0 0 25 0 1 0 483201000 52015104 12075 4294967295 134512640 134672761 3221224560 3221223372 1075350517 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 12699 12075 603 41 0 12658 0 vsize: 50796 [startup+150.002 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 15324 0 0 0 14956 42 0 0 25 0 1 0 483201000 54362112 12662 4294967295 134512640 134672761 3221224560 3221223600 134614228 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 13272 12662 603 41 0 13231 0 vsize: 53088 [startup+160.002 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 16095 0 0 0 15954 44 0 0 25 0 1 0 483201000 57511936 13433 4294967295 134512640 134672761 3221224560 3221223744 134615791 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 14041 13433 603 41 0 14000 0 vsize: 56164 [startup+170.002 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 16519 0 0 0 16952 46 0 0 25 0 1 0 483201000 59207680 13857 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 14455 13857 603 41 0 14414 0 vsize: 57820 [startup+180.002 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 17031 0 0 0 17951 47 0 0 25 0 1 0 483201000 61579264 14369 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 15034 14369 603 41 0 14993 0 vsize: 60136 [startup+190.003 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 17528 0 0 0 18950 49 0 0 25 0 1 0 483201000 63557632 14866 4294967295 134512640 134672761 3221224560 3221223744 134615627 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 15517 14866 603 41 0 15476 0 vsize: 62068 [startup+200.002 s] Raw data (loadavg): 0.99 0.98 0.95 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 19564 0 0 0 19944 55 0 0 25 0 1 0 483201000 67125248 15733 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 16388 15733 603 41 0 16347 0 vsize: 65552 [startup+210.002 s] Raw data (loadavg): 1.07 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 19564 0 0 0 20945 55 0 0 25 0 1 0 483201000 67125248 15733 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 16388 15733 603 41 0 16347 0 vsize: 65552 [startup+220.002 s] Raw data (loadavg): 1.06 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 19564 0 0 0 21945 55 0 0 25 0 1 0 483201000 67125248 15733 4294967295 134512640 134672761 3221224560 3221223552 134565086 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 16388 15733 603 41 0 16347 0 vsize: 65552 [startup+230.001 s] Raw data (loadavg): 1.05 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 19564 0 0 0 22945 55 0 0 25 0 1 0 483201000 67125248 15733 4294967295 134512640 134672761 3221224560 3221223744 134615663 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 16388 15733 603 41 0 16347 0 vsize: 65552 [startup+240.002 s] Raw data (loadavg): 1.04 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 19564 0 0 0 23944 55 0 0 25 0 1 0 483201000 67125248 15733 4294967295 134512640 134672761 3221224560 3221223600 134612987 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 16388 15733 603 41 0 16347 0 vsize: 65552 [startup+250.001 s] Raw data (loadavg): 1.04 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 19564 0 0 0 24945 55 0 0 25 0 1 0 483201000 67125248 15733 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 16388 15733 603 41 0 16347 0 vsize: 65552 [startup+260.001 s] Raw data (loadavg): 1.03 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 19564 0 0 0 25945 55 0 0 25 0 1 0 483201000 67125248 15733 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 16388 15733 603 41 0 16347 0 vsize: 65552 [startup+270.001 s] Raw data (loadavg): 1.02 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 19564 0 0 0 26945 55 0 0 25 0 1 0 483201000 67125248 15733 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 16388 15733 603 41 0 16347 0 vsize: 65552 [startup+280.001 s] Raw data (loadavg): 1.02 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 19564 0 0 0 27945 55 0 0 25 0 1 0 483201000 67125248 15733 4294967295 134512640 134672761 3221224560 3221223704 134616339 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 16388 15733 603 41 0 16347 0 vsize: 65552 [startup+290.001 s] Raw data (loadavg): 1.02 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 19564 0 0 0 28945 55 0 0 25 0 1 0 483201000 67125248 15733 4294967295 134512640 134672761 3221224560 3221223704 134616317 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 16388 15733 603 41 0 16347 0 vsize: 65552 [startup+300.001 s] Raw data (loadavg): 1.01 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 19940 0 0 0 29945 55 0 0 25 0 1 0 483201000 68710400 16109 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 16775 16109 603 41 0 16734 0 vsize: 67100 [startup+310.001 s] Raw data (loadavg): 1.01 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 21019 0 0 0 30943 58 0 0 25 0 1 0 483201000 73203712 17188 4294967295 134512640 134672761 3221224560 3221223600 134614228 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 17872 17188 603 41 0 17831 0 vsize: 71488 [startup+320.001 s] Raw data (loadavg): 1.01 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 22121 0 0 0 31939 62 0 0 25 0 1 0 483201000 77602816 18290 4294967295 134512640 134672761 3221224560 3221223744 134615804 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 18946 18290 603 41 0 18905 0 vsize: 75784 [startup+330.002 s] Raw data (loadavg): 1.01 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 23307 0 0 0 32936 65 0 0 25 0 1 0 483201000 82579456 19476 4294967295 134512640 134672761 3221224560 3221223552 134565045 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 20161 19476 603 41 0 20120 0 vsize: 80644 [startup+340.001 s] Raw data (loadavg): 1.01 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 24080 0 0 0 33934 67 0 0 25 0 1 0 483201000 85733376 20249 4294967295 134512640 134672761 3221224560 3221223744 134615937 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 20931 20249 603 41 0 20890 0 vsize: 83724 [startup+350.001 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 25293 0 0 0 34931 70 0 0 25 0 1 0 483201000 90591232 21462 4294967295 134512640 134672761 3221224560 3221223600 134614228 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 22117 21462 603 41 0 22076 0 vsize: 88468 [startup+360.001 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 26249 0 0 0 35929 72 0 0 25 0 1 0 483201000 94511104 22418 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 23074 22418 603 41 0 23033 0 vsize: 92296 [startup+370 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 27515 0 0 0 36926 75 0 0 25 0 1 0 483201000 99778560 23684 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24360 23684 603 41 0 24319 0 vsize: 97440 [startup+380 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 28809 0 0 0 37924 78 0 0 25 0 1 0 483201000 104955904 24978 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 25624 24978 603 41 0 25583 0 vsize: 102496 [startup+390 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 30380 0 0 0 38919 82 0 0 25 0 1 0 483201000 111493120 26549 4294967295 134512640 134672761 3221224560 3221223744 134615627 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 27220 26549 603 41 0 27179 0 vsize: 108880 [startup+400 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 31728 0 0 0 39916 86 0 0 25 0 1 0 483201000 116924416 27897 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 28546 27897 603 41 0 28505 0 vsize: 114184 [startup+410 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 33036 0 0 0 40913 89 0 0 25 0 1 0 483201000 122298368 29205 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 29858 29205 603 41 0 29817 0 vsize: 119432 [startup+420 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 34547 0 0 0 41910 92 0 0 25 0 1 0 483201000 128425984 30716 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 31354 30716 603 41 0 31313 0 vsize: 125416 [startup+430 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 36170 0 0 0 42907 95 0 0 25 0 1 0 483201000 135163904 32339 4294967295 134512640 134672761 3221224560 3221223600 134612684 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 32999 32339 603 41 0 32958 0 vsize: 131996 [startup+439.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 37661 0 0 0 43903 99 0 0 25 0 1 0 483201000 141156352 33830 4294967295 134512640 134672761 3221224560 3221223744 134615627 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 34462 33830 603 41 0 34421 0 vsize: 137848 [startup+449.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 38349 0 0 0 44902 101 0 0 25 0 1 0 483201000 144023552 34518 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 35162 34518 603 41 0 35121 0 vsize: 140648 [startup+459.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 38905 0 0 0 45900 103 0 0 25 0 1 0 483201000 146276352 35074 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 35712 35074 603 41 0 35671 0 vsize: 142848 [startup+469.998 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 39926 0 0 0 46898 105 0 0 25 0 1 0 483201000 150482944 36095 4294967295 134512640 134672761 3221224560 3221223760 134610686 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 36739 36095 603 41 0 36698 0 vsize: 146956 [startup+479.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 40608 0 0 0 47897 107 0 0 25 0 1 0 483201000 153251840 36777 4294967295 134512640 134672761 3221224560 3221223744 134615608 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 37415 36777 603 41 0 37374 0 vsize: 149660 [startup+489.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 41250 0 0 0 48895 108 0 0 25 0 1 0 483201000 155811840 37419 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 38040 37419 603 41 0 37999 0 vsize: 152160 [startup+499.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 41766 0 0 0 49894 110 0 0 25 0 1 0 483201000 157921280 37935 4294967295 134512640 134672761 3221224560 3221223744 134616001 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 38555 37935 603 41 0 38514 0 vsize: 154220 [startup+509.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 42646 0 0 0 50893 111 0 0 25 0 1 0 483201000 161611776 38815 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 39456 38815 603 41 0 39415 0 vsize: 157824 [startup+519.998 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 43502 0 0 0 51891 113 0 0 25 0 1 0 483201000 165011456 39671 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 40286 39671 603 41 0 40245 0 vsize: 161144 [startup+529.998 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 44632 0 0 0 52889 115 0 0 25 0 1 0 483201000 169680896 40801 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 41426 40801 603 41 0 41385 0 vsize: 165704 [startup+539.998 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 45648 0 0 0 53886 118 0 0 25 0 1 0 483201000 173842432 41817 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 42442 41817 603 41 0 42401 0 vsize: 169768 [startup+549.998 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 46933 0 0 0 54883 122 0 0 25 0 1 0 483201000 179073024 43102 4294967295 134512640 134672761 3221224560 3221223744 134615679 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 43719 43102 603 41 0 43678 0 vsize: 174876 [startup+559.998 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 47796 0 0 0 55881 123 0 0 25 0 1 0 483201000 182583296 43965 4294967295 134512640 134672761 3221224560 3221223744 134615929 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 44576 43965 603 41 0 44535 0 vsize: 178304 [startup+569.998 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 48650 0 0 0 56879 126 0 0 25 0 1 0 483201000 186638336 44819 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 45566 44819 603 41 0 45525 0 vsize: 182264 [startup+579.998 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 49452 0 0 0 57877 128 0 0 25 0 1 0 483201000 189870080 45621 4294967295 134512640 134672761 3221224560 3221223744 134615608 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 46355 45621 603 41 0 46314 0 vsize: 185420 [startup+589.998 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 50272 0 0 0 58876 129 0 0 25 0 1 0 483201000 193236992 46441 4294967295 134512640 134672761 3221224560 3221223744 134615791 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 47177 46441 603 41 0 47136 0 vsize: 188708 [startup+599.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 50625 0 0 0 59875 131 0 0 25 0 1 0 483201000 194674688 46794 4294967295 134512640 134672761 3221224560 3221223744 134615705 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 47528 46794 603 41 0 47487 0 vsize: 190112 [startup+609.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 51128 0 0 0 60874 132 0 0 25 0 1 0 483201000 196775936 47297 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 48041 47297 603 41 0 48000 0 vsize: 192164 [startup+619.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 51382 0 0 0 61874 132 0 0 25 0 1 0 483201000 197832704 47551 4294967295 134512640 134672761 3221224560 3221223744 134615673 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 48299 47551 603 41 0 48258 0 vsize: 193196 [startup+629.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 51893 0 0 0 62872 134 0 0 25 0 1 0 483201000 199905280 48062 4294967295 134512640 134672761 3221224560 3221223704 134616126 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 48805 48062 603 41 0 48764 0 vsize: 195220 [startup+639.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 52304 0 0 0 63872 135 0 0 25 0 1 0 483201000 201617408 48473 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 49223 48473 603 41 0 49182 0 vsize: 196892 [startup+649.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 53137 0 0 0 64870 136 0 0 25 0 1 0 483201000 204914688 49306 4294967295 134512640 134672761 3221224560 3221223744 134615579 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 50028 49306 603 41 0 49987 0 vsize: 200112 [startup+659.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 54210 0 0 0 65868 139 0 0 25 0 1 0 483201000 209330176 50379 4294967295 134512640 134672761 3221224560 3221223744 134615739 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 51106 50379 603 41 0 51065 0 vsize: 204424 [startup+669.998 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 55277 0 0 0 66865 142 0 0 25 0 1 0 483201000 213762048 51446 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 52188 51446 603 41 0 52147 0 vsize: 208752 [startup+679.998 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 55965 0 0 0 67864 143 0 0 25 0 1 0 483201000 216498176 52134 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 52856 52134 603 41 0 52815 0 vsize: 211424 [startup+689.998 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 56279 0 0 0 68863 144 0 0 25 0 1 0 483201000 217812992 52448 4294967295 134512640 134672761 3221224560 3221223704 134616263 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 53177 52448 603 41 0 53136 0 vsize: 212708 [startup+699.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 56884 0 0 0 69863 145 0 0 25 0 1 0 483201000 220278784 53053 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 53779 53053 603 41 0 53738 0 vsize: 215116 [startup+709.998 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 57681 0 0 0 70861 146 0 0 25 0 1 0 483201000 223485952 53850 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 54562 53850 603 41 0 54521 0 vsize: 218248 [startup+719.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 58100 0 0 0 71860 148 0 0 25 0 1 0 483201000 225316864 54269 4294967295 134512640 134672761 3221224560 3221223744 134615720 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 55009 54269 603 41 0 54968 0 vsize: 220036 [startup+729.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 59159 0 0 0 72858 150 0 0 25 0 1 0 483201000 229629952 55328 4294967295 134512640 134672761 3221224560 3221223760 134610528 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 56062 55328 603 41 0 56021 0 vsize: 224248 [startup+739.998 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 60150 0 0 0 73855 153 0 0 25 0 1 0 483201000 233705472 56319 4294967295 134512640 134672761 3221224560 3221223744 134615627 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 57057 56319 603 41 0 57016 0 vsize: 228228 [startup+749.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 61282 0 0 0 74853 156 0 0 25 0 1 0 483201000 238325760 57451 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 58185 57451 603 41 0 58144 0 vsize: 232740 [startup+759.998 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 61981 0 0 0 75851 158 0 0 25 0 1 0 483201000 241078272 58150 4294967295 134512640 134672761 3221224560 3221223744 134615804 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 58857 58150 603 41 0 58816 0 vsize: 235428 [startup+769.998 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 63079 0 0 0 76849 160 0 0 25 0 1 0 483201000 245637120 59248 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 59970 59248 603 41 0 59929 0 vsize: 239880 [startup+779.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 64216 0 0 0 77845 163 0 0 25 0 1 0 483201000 250257408 60385 4294967295 134512640 134672761 3221224560 3221223736 134615850 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 61098 60385 603 41 0 61057 0 vsize: 244392 [startup+789.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 65214 0 0 0 78844 165 0 0 25 0 1 0 483201000 254373888 61383 4294967295 134512640 134672761 3221224560 3221223744 134615627 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 62103 61383 603 41 0 62062 0 vsize: 248412 [startup+800 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 66415 0 0 0 79841 168 0 0 25 0 1 0 483201000 259297280 62584 4294967295 134512640 134672761 3221224560 3221223728 134615864 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 63305 62584 603 41 0 63264 0 vsize: 253220 [startup+810 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 67225 0 0 0 80839 170 0 0 25 0 1 0 483201000 262602752 63394 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 64112 63394 603 41 0 64071 0 vsize: 256448 [startup+819.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 68197 0 0 0 81836 173 0 0 25 0 1 0 483201000 266608640 64366 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 65090 64366 603 41 0 65049 0 vsize: 260360 [startup+829.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 68814 0 0 0 82835 175 0 0 25 0 1 0 483201000 269066240 64983 4294967295 134512640 134672761 3221224560 3221223704 134616312 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 65690 64983 603 41 0 65649 0 vsize: 262760 [startup+839.999 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 69086 0 0 0 83834 176 0 0 25 0 1 0 483201000 270217216 65255 4294967295 134512640 134672761 3221224560 3221223744 134615663 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 65971 65255 603 41 0 65930 0 vsize: 263884 [startup+850 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 69625 0 0 0 84833 177 0 0 25 0 1 0 483201000 272437248 65794 4294967295 134512640 134672761 3221224560 3221223600 134612604 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 66513 65794 603 41 0 66472 0 vsize: 266052 [startup+860 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 70126 0 0 0 85832 178 0 0 25 0 1 0 483201000 274419712 66295 4294967295 134512640 134672761 3221224560 3221223744 134615676 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 66997 66295 603 41 0 66956 0 vsize: 267988 [startup+870 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 70612 0 0 0 86831 179 0 0 25 0 1 0 483201000 276381696 66781 4294967295 134512640 134672761 3221224560 3221223704 134616139 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 67476 66781 603 41 0 67435 0 vsize: 269904 [startup+880 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 71152 0 0 0 87830 181 0 0 25 0 1 0 483201000 278564864 67321 4294967295 134512640 134672761 3221224560 3221223760 134610707 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 68009 67321 603 41 0 67968 0 vsize: 272036 [startup+890 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 71599 0 0 0 88829 182 0 0 25 0 1 0 483201000 280424448 67768 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 68463 67768 603 41 0 68422 0 vsize: 273852 [startup+900.001 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 72478 0 0 0 89827 184 0 0 25 0 1 0 483201000 284086272 68647 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 69357 68647 603 41 0 69316 0 vsize: 277428 [startup+910.001 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 72958 0 0 0 90826 185 0 0 25 0 1 0 483201000 285954048 69127 4294967295 134512640 134672761 3221224560 3221223760 134610709 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 69813 69127 603 41 0 69772 0 vsize: 279252 [startup+920.001 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 73550 0 0 0 91825 187 0 0 25 0 1 0 483201000 288444416 69719 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 70421 69719 603 41 0 70380 0 vsize: 281684 [startup+930.001 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 74356 0 0 0 92823 188 0 0 25 0 1 0 483201000 291684352 70525 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 71212 70525 603 41 0 71171 0 vsize: 284848 [startup+940.001 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 74963 0 0 0 93822 190 0 0 25 0 1 0 483201000 294191104 71132 4294967295 134512640 134672761 3221224560 3221223704 134616293 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 71824 71132 603 41 0 71783 0 vsize: 287296 [startup+950.001 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 75141 0 0 0 94822 190 0 0 25 0 1 0 483201000 294993920 71310 4294967295 134512640 134672761 3221224560 3221223600 134614266 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 72020 71310 603 41 0 71979 0 vsize: 288080 [startup+960.002 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 76001 0 0 0 95820 193 0 0 25 0 1 0 483201000 298487808 72170 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 72873 72170 603 41 0 72832 0 vsize: 291492 [startup+970.001 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 77120 0 0 0 96817 196 0 0 25 0 1 0 483201000 303054848 73289 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 73988 73289 603 41 0 73947 0 vsize: 295952 [startup+980.001 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 78228 0 0 0 97815 198 0 0 25 0 1 0 483201000 307613696 74397 4294967295 134512640 134672761 3221224560 3221223600 134614239 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 75101 74397 603 41 0 75060 0 vsize: 300404 [startup+990.001 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 79227 0 0 0 98813 200 0 0 25 0 1 0 483201000 311697408 75396 4294967295 134512640 134672761 3221224560 3221223744 134615571 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 76098 75396 603 41 0 76057 0 vsize: 304392 [startup+1000 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 80673 0 0 0 99810 203 0 0 25 0 1 0 483201000 317571072 76842 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 77532 76842 603 41 0 77491 0 vsize: 310128 [startup+1010 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 81880 0 0 0 100807 206 0 0 25 0 1 0 483201000 322535424 78049 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 78744 78049 603 41 0 78703 0 vsize: 314976 [startup+1020 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 83019 0 0 0 101805 208 0 0 25 0 1 0 483201000 327229440 79188 4294967295 134512640 134672761 3221224560 3221223744 134615708 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 79890 79188 603 41 0 79849 0 vsize: 319560 [startup+1030 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 83559 0 0 0 102804 209 0 0 25 0 1 0 483201000 329449472 79728 4294967295 134512640 134672761 3221224560 3221223744 134615564 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 80432 79728 603 41 0 80391 0 vsize: 321728 [startup+1040 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 83645 0 0 0 103804 210 0 0 25 0 1 0 483201000 329711616 79814 4294967295 134512640 134672761 3221224560 3221223704 134616368 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 80496 79814 603 41 0 80455 0 vsize: 321984 [startup+1050 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 84334 0 0 0 104802 212 0 0 25 0 1 0 483201000 332554240 80503 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 81190 80503 603 41 0 81149 0 vsize: 324760 [startup+1060 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 85171 0 0 0 105800 214 0 0 25 0 1 0 483201000 335970304 81340 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 82024 81340 603 41 0 81983 0 vsize: 328096 [startup+1070 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 85517 0 0 0 106800 214 0 0 25 0 1 0 483201000 337412096 81686 4294967295 134512640 134672761 3221224560 3221223704 134616299 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 82376 81686 603 41 0 82335 0 vsize: 329504 [startup+1080 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 85686 0 0 0 107800 215 0 0 25 0 1 0 483201000 338079744 81855 4294967295 134512640 134672761 3221224560 3221223760 134610675 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 82539 81855 603 41 0 82498 0 vsize: 330156 [startup+1090 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 85705 0 0 0 108800 215 0 0 25 0 1 0 483201000 338210816 81874 4294967295 134512640 134672761 3221224560 3221223744 134615791 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 82571 81874 603 41 0 82530 0 vsize: 330284 [startup+1100 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 86032 0 0 0 109799 216 0 0 25 0 1 0 483201000 339419136 82201 4294967295 134512640 134672761 3221224560 3221223704 134616178 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 82866 82201 603 41 0 82825 0 vsize: 331464 [startup+1110 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 86241 0 0 0 110799 217 0 0 25 0 1 0 483201000 340344832 82410 4294967295 134512640 134672761 3221224560 3221223744 134615663 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 83092 82410 603 41 0 83051 0 vsize: 332368 [startup+1120 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 86999 0 0 0 111798 218 0 0 25 0 1 0 483201000 343478272 83168 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 83857 83168 603 41 0 83816 0 vsize: 335428 [startup+1130 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 87569 0 0 0 112796 219 0 0 25 0 1 0 483201000 345743360 83738 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 84410 83738 603 41 0 84369 0 vsize: 337640 [startup+1140 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 87595 0 0 0 113797 219 0 0 25 0 1 0 483201000 345874432 83764 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 84442 83764 603 41 0 84401 0 vsize: 337768 [startup+1150 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 87974 0 0 0 114795 221 0 0 25 0 1 0 483201000 347459584 84143 4294967295 134512640 134672761 3221224560 3221223744 134615705 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 84829 84143 603 41 0 84788 0 vsize: 339316 [startup+1160 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 88414 0 0 0 115795 222 0 0 25 0 1 0 483201000 349167616 84583 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 85246 84583 603 41 0 85205 0 vsize: 340984 [startup+1170 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 88763 0 0 0 116794 223 0 0 25 0 1 0 483201000 351117312 84932 4294967295 134512640 134672761 3221224560 3221223616 134644281 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 85722 84932 603 41 0 85681 0 vsize: 342888 [startup+1180.01 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 88808 0 0 0 117794 223 0 0 25 0 1 0 483201000 350068736 84753 4294967295 134512640 134672761 3221224560 3221223744 134615693 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 85466 84753 603 41 0 85425 0 vsize: 341864 [startup+1190.01 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 88808 0 0 0 118794 223 0 0 25 0 1 0 483201000 350068736 84753 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 85466 84753 603 41 0 85425 0 vsize: 341864 [startup+1200.01 s] Raw data (loadavg): 1.00 0.99 0.96 2/54 30034 Raw data (stat): 30034 (minisat+) R 30033 22932 22931 0 -1 0 88808 0 0 0 119794 223 0 0 25 0 1 0 483201000 350068736 84753 4294967295 134512640 134672761 3221224560 3221223600 134612932 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 85466 84753 603 41 0 85425 0 vsize: 341864 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.18 s] Raw data (loadavg): 1.00 0.99 0.96 1/54 30034 Raw data (stat): 30034 (minisat+) Z 30033 22932 22931 0 -1 12 88809 0 0 0 119795 239 0 0 25 0 1 0 483201000 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 10 Real time (s): 1200.18 CPU time (s): 1200.35 CPU user time (s): 1197.96 CPU system time (s): 2.39364 CPU usage (%): 100.014 Max. virtual memory (Kb): 342888 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####