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 wulflinc15 THE 2005-04-21 12:46:21 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18855 boxname=wulflinc15 idbench=1451 idsolver=5 numberseed=0 MD5SUM SOLVER: 1d62365061f6d70b1a242542b016b2e4 /oldhome/oroussel/solvers/minisat+ MD5SUM BENCH: 43b060c182b659f22c02b8a980d1ee8f /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-rout.opb REAL COMMAND: minisat+ /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-rout.opb IDLAUNCH: 18855 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 450.999 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: 537712 kB Buffers: 34640 kB Cached: 439968 kB SwapCached: 440 kB Active: 155764 kB Inactive: 320924 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 537460 kB SwapTotal: 2097136 kB SwapFree: 2095984 kB Dirty: 64 kB Writeback: 0 kB Mapped: 5360 kB Slab: 14524 kB Committed_AS: 63480 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 13:06:24 (client local time) WITH STATUS 10 IN 1200.24 SECONDS stats: 18855 7 1200.24 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Parsing PB file... c Converting 337 PB-constraints to clauses... c -- Unit propagations: (none) c -- Detecting intervals from adjacent constraints: ############################### c -- Clauses(.)/Splits(s): ............... c ---[ 320]---> Adder-cost: 3854 maxlim: 97129415 bits: 27/27 c ---[ 319]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 c ---[ 318]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 c ---[ 317]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 c ---[ 316]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 c ---[ 315]---> Adder-cost: 604 maxlim: 25598 bits: 15/15 c ---[ 314]---> BDD-cost: 37 c ---[ 313]---> BDD-cost: 37 c ---[ 312]---> BDD-cost: 84 c ---[ 311]---> BDD-cost: 37 c ---[ 310]---> BDD-cost: 37 c ---[ 309]---> BDD-cost: 37 c ---[ 308]---> BDD-cost: 37 c ---[ 307]---> BDD-cost: 37 c ---[ 306]---> BDD-cost: 37 c ---[ 305]---> BDD-cost: 37 c ---[ 304]---> BDD-cost: 37 c ---[ 303]---> BDD-cost: 37 c ---[ 302]---> BDD-cost: 37 c ---[ 301]---> BDD-cost: 37 c ---[ 300]---> BDD-cost: 37 c ---[ 298]---> Sorter-cost: 441 Base: 2 c ---[ 296]---> Sorter-cost: 441 Base: 2 c ---[ 294]---> Sorter-cost: 441 Base: 2 c ---[ 292]---> Sorter-cost: 441 Base: 2 c ---[ 290]---> Sorter-cost: 441 Base: 2 c ---[ 288]---> Sorter-cost: 347 Base: 2 c ---[ 286]---> Sorter-cost: 347 Base: 2 c ---[ 284]---> Sorter-cost: 347 Base: 2 c ---[ 282]---> Sorter-cost: 347 Base: 2 c ---[ 280]---> Sorter-cost: 347 Base: 2 c ---[ 278]---> Sorter-cost: 515 Base: 2 c ---[ 276]---> Sorter-cost: 515 Base: 2 c ---[ 274]---> Sorter-cost: 515 Base: 2 c ---[ 272]---> Sorter-cost: 515 Base: 2 c ---[ 270]---> Sorter-cost: 515 Base: 2 c ---[ 268]---> Adder-cost: 548 maxlim: 21489 bits: 16/15 c ---[ 266]---> Adder-cost: 548 maxlim: 21489 bits: 16/15 c ---[ 264]---> Adder-cost: 548 maxlim: 21489 bits: 16/15 c ---[ 262]---> Adder-cost: 548 maxlim: 21489 bits: 16/15 c ---[ 260]---> Adder-cost: 548 maxlim: 21489 bits: 16/15 c ---[ 258]---> Adder-cost: 460 maxlim: 9207 bits: 15/14 c ---[ 256]---> Adder-cost: 460 maxlim: 9207 bits: 15/14 c ---[ 254]---> Adder-cost: 460 maxlim: 9207 bits: 15/14 c ---[ 252]---> Adder-cost: 460 maxlim: 9207 bits: 15/14 c ---[ 250]---> Adder-cost: 460 maxlim: 9207 bits: 15/14 c ---[ 248]---> Adder-cost: 608 maxlim: 21483 bits: 16/15 c ---[ 246]---> Adder-cost: 608 maxlim: 21483 bits: 16/15 c ---[ 244]---> Adder-cost: 608 maxlim: 21483 bits: 16/15 c ---[ 242]---> Adder-cost: 608 maxlim: 21483 bits: 16/15 c ---[ 240]---> Adder-cost: 608 maxlim: 21483 bits: 16/15 c ---[ 239]---> BDD-cost: 13 c ---[ 238]---> BDD-cost: 13 c ---[ 237]---> BDD-cost: 13 c ---[ 236]---> BDD-cost: 13 c ---[ 235]---> BDD-cost: 13 c ---[ 234]---> BDD-cost: 13 c ---[ 233]---> BDD-cost: 13 c ---[ 232]---> BDD-cost: 13 c ---[ 231]---> BDD-cost: 13 c ---[ 230]---> BDD-cost: 13 c ---[ 229]---> BDD-cost: 13 c ---[ 228]---> BDD-cost: 13 c ---[ 227]---> BDD-cost: 13 c ---[ 226]---> BDD-cost: 13 c ---[ 225]---> BDD-cost: 13 c ---[ 224]---> BDD-cost: 13 c ---[ 223]---> BDD-cost: 13 c ---[ 222]---> BDD-cost: 13 c ---[ 221]---> BDD-cost: 13 c ---[ 220]---> BDD-cost: 13 c ---[ 219]---> BDD-cost: 13 c ---[ 218]---> BDD-cost: 13 c ---[ 217]---> BDD-cost: 13 c ---[ 216]---> BDD-cost: 13 c ---[ 215]---> BDD-cost: 13 c ---[ 214]---> BDD-cost: 13 c ---[ 213]---> BDD-cost: 13 c ---[ 212]---> BDD-cost: 13 c ---[ 211]---> BDD-cost: 13 c ---[ 210]---> BDD-cost: 13 c ---[ 209]---> BDD-cost: 13 c ---[ 208]---> BDD-cost: 13 c ---[ 207]---> BDD-cost: 13 c ---[ 206]---> BDD-cost: 13 c ---[ 205]---> BDD-cost: 13 c ---[ 204]---> BDD-cost: 13 c ---[ 203]---> BDD-cost: 13 c ---[ 202]---> BDD-cost: 13 c ---[ 201]---> BDD-cost: 13 c ---[ 200]---> BDD-cost: 13 c ---[ 199]---> BDD-cost: 13 c ---[ 198]---> BDD-cost: 13 c ---[ 197]---> BDD-cost: 13 c ---[ 196]---> BDD-cost: 13 c ---[ 195]---> BDD-cost: 13 c ---[ 194]---> BDD-cost: 13 c ---[ 193]---> BDD-cost: 13 c ---[ 192]---> BDD-cost: 13 c ---[ 191]---> BDD-cost: 13 c ---[ 190]---> BDD-cost: 13 c ---[ 189]---> BDD-cost: 25 c ---[ 188]---> BDD-cost: 25 c ---[ 187]---> BDD-cost: 25 c ---[ 186]---> BDD-cost: 25 c ---[ 185]---> BDD-cost: 25 c ---[ 184]---> BDD-cost: 25 c ---[ 183]---> BDD-cost: 25 c ---[ 182]---> BDD-cost: 25 c ---[ 181]---> BDD-cost: 25 c ---[ 180]---> BDD-cost: 25 c ---[ 179]---> BDD-cost: 13 c ---[ 178]---> BDD-cost: 13 c ---[ 177]---> BDD-cost: 13 c ---[ 176]---> BDD-cost: 13 c ---[ 175]---> BDD-cost: 13 c ---[ 174]---> BDD-cost: 13 c ---[ 173]---> BDD-cost: 13 c ---[ 172]---> BDD-cost: 13 c ---[ 171]---> BDD-cost: 13 c ---[ 170]---> BDD-cost: 13 c ---[ 169]---> BDD-cost: 13 c ---[ 168]---> BDD-cost: 13 c ---[ 167]---> BDD-cost: 13 c ---[ 166]---> BDD-cost: 13 c ---[ 165]---> BDD-cost: 13 c ---[ 164]---> BDD-cost: 13 c ---[ 163]---> BDD-cost: 13 c ---[ 162]---> BDD-cost: 13 c ---[ 161]---> BDD-cost: 13 c ---[ 160]---> BDD-cost: 13 c ---[ 159]---> BDD-cost: 13 c ---[ 158]---> BDD-cost: 13 c ---[ 157]---> BDD-cost: 13 c ---[ 156]---> BDD-cost: 13 c ---[ 155]---> BDD-cost: 13 c ---[ 154]---> BDD-cost: 13 c ---[ 153]---> BDD-cost: 13 c ---[ 152]---> BDD-cost: 13 c ---[ 151]---> BDD-cost: 13 c ---[ 150]---> BDD-cost: 13 c ---[ 149]---> BDD-cost: 13 c ---[ 148]---> BDD-cost: 13 c ---[ 147]---> BDD-cost: 13 c ---[ 146]---> BDD-cost: 13 c ---[ 145]---> BDD-cost: 13 c ---[ 144]---> BDD-cost: 13 c ---[ 143]---> BDD-cost: 13 c ---[ 142]---> BDD-cost: 13 c ---[ 141]---> BDD-cost: 13 c ---[ 140]---> BDD-cost: 13 c ---[ 139]---> BDD-cost: 13 c ---[ 138]---> BDD-cost: 13 c ---[ 137]---> BDD-cost: 13 c ---[ 136]---> BDD-cost: 13 c ---[ 135]---> BDD-cost: 13 c ---[ 134]---> BDD-cost: 13 c ---[ 133]---> BDD-cost: 13 c ---[ 132]---> BDD-cost: 13 c ---[ 131]---> BDD-cost: 13 c ---[ 130]---> BDD-cost: 13 c ---[ 129]---> BDD-cost: 13 c ---[ 128]---> BDD-cost: 13 c ---[ 127]---> BDD-cost: 13 c ---[ 126]---> BDD-cost: 13 c ---[ 125]---> BDD-cost: 13 c ---[ 124]---> BDD-cost: 13 c ---[ 123]---> BDD-cost: 13 c ---[ 122]---> BDD-cost: 13 c ---[ 121]---> BDD-cost: 13 c ---[ 120]---> BDD-cost: 13 c ---[ 119]---> BDD-cost: 13 c ---[ 118]---> BDD-cost: 13 c ---[ 117]---> BDD-cost: 13 c ---[ 116]---> BDD-cost: 13 c ---[ 115]---> BDD-cost: 13 c ---[ 114]---> BDD-cost: 13 c ---[ 113]---> BDD-cost: 13 c ---[ 112]---> BDD-cost: 13 c ---[ 111]---> BDD-cost: 13 c ---[ 110]---> BDD-cost: 13 c ---[ 109]---> BDD-cost: 13 c ---[ 108]---> BDD-cost: 13 c ---[ 107]---> BDD-cost: 13 c ---[ 106]---> BDD-cost: 13 c ---[ 105]---> BDD-cost: 13 c ---[ 104]---> BDD-cost: 13 c ---[ 103]---> BDD-cost: 13 c ---[ 102]---> BDD-cost: 13 c ---[ 101]---> BDD-cost: 13 c ---[ 100]---> BDD-cost: 13 c ---[ 99]---> BDD-cost: 13 c ---[ 98]---> BDD-cost: 13 c ---[ 97]---> BDD-cost: 13 c ---[ 96]---> BDD-cost: 13 c ---[ 95]---> BDD-cost: 13 c ---[ 94]---> BDD-cost: 13 c ---[ 93]---> BDD-cost: 13 c ---[ 92]---> BDD-cost: 13 c ---[ 91]---> BDD-cost: 13 c ---[ 90]---> BDD-cost: 13 c ---[ 89]---> BDD-cost: 13 c ---[ 88]---> BDD-cost: 13 c ---[ 87]---> BDD-cost: 13 c ---[ 86]---> BDD-cost: 13 c ---[ 85]---> BDD-cost: 13 c ---[ 84]---> BDD-cost: 13 c ---[ 83]---> BDD-cost: 13 c ---[ 82]---> BDD-cost: 13 c ---[ 81]---> BDD-cost: 13 c ---[ 80]---> BDD-cost: 13 c ---[ 79]---> BDD-cost: 13 c ---[ 78]---> BDD-cost: 13 c ---[ 77]---> BDD-cost: 13 c ---[ 76]---> BDD-cost: 13 c ---[ 75]---> BDD-cost: 13 c ---[ 74]---> BDD-cost: 13 c ---[ 73]---> BDD-cost: 13 c ---[ 72]---> BDD-cost: 13 c ---[ 71]---> BDD-cost: 13 c ---[ 70]---> BDD-cost: 13 c ---[ 69]---> BDD-cost: 13 c ---[ 68]---> BDD-cost: 13 c ---[ 67]---> BDD-cost: 13 c ---[ 66]---> BDD-cost: 13 c ---[ 65]---> BDD-cost: 13 c ---[ 64]---> BDD-cost: 13 c ---[ 63]---> BDD-cost: 13 c ---[ 62]---> BDD-cost: 13 c ---[ 61]---> BDD-cost: 13 c ---[ 60]---> BDD-cost: 13 c ---[ 59]---> BDD-cost: 13 c ---[ 58]---> BDD-cost: 13 c ---[ 57]---> BDD-cost: 13 c ---[ 56]---> BDD-cost: 13 c ---[ 55]---> BDD-cost: 13 c ---[ 54]---> BDD-cost: 13 c ---[ 53]---> BDD-cost: 13 c ---[ 52]---> BDD-cost: 13 c ---[ 51]---> BDD-cost: 13 c ---[ 50]---> BDD-cost: 13 c ---[ 49]---> BDD-cost: 13 c ---[ 48]---> BDD-cost: 13 c ---[ 47]---> BDD-cost: 13 c ---[ 46]---> BDD-cost: 13 c ---[ 45]---> BDD-cost: 13 c ---[ 44]---> BDD-cost: 13 c ---[ 43]---> BDD-cost: 13 c ---[ 42]---> BDD-cost: 13 c ---[ 41]---> BDD-cost: 13 c ---[ 40]---> BDD-cost: 13 c ---[ 39]---> BDD-cost: 13 c ---[ 38]---> BDD-cost: 13 c ---[ 37]---> BDD-cost: 13 c ---[ 36]---> BDD-cost: 13 c ---[ 35]---> BDD-cost: 13 c ---[ 34]---> BDD-cost: 13 c ---[ 33]---> BDD-cost: 13 c ---[ 32]---> BDD-cost: 13 c ---[ 31]---> BDD-cost: 13 c ---[ 30]---> BDD-cost: 13 c ---[ 29]---> BDD-cost: 13 c ---[ 28]---> BDD-cost: 13 c ---[ 27]---> BDD-cost: 13 c ---[ 26]---> BDD-cost: 13 c ---[ 25]---> BDD-cost: 13 c ---[ 24]---> BDD-cost: 13 c ---[ 23]---> BDD-cost: 13 c ---[ 22]---> BDD-cost: 13 c ---[ 21]---> BDD-cost: 13 c ---[ 20]---> BDD-cost: 13 c ---[ 19]---> BDD-cost: 13 c ---[ 18]---> BDD-cost: 13 c ---[ 17]---> BDD-cost: 13 c ---[ 16]---> BDD-cost: 13 c ---[ 15]---> BDD-cost: 13 c ---[ 14]---> BDD-cost: 13 c ---[ 13]---> BDD-cost: 13 c ---[ 12]---> BDD-cost: 13 c ---[ 11]---> BDD-cost: 13 c ---[ 10]---> BDD-cost: 13 c ---[ 9]---> BDD-cost: 13 c ---[ 8]---> BDD-cost: 13 c ---[ 7]---> BDD-cost: 13 c ---[ 6]---> BDD-cost: 13 c ---[ 5]---> BDD-cost: 13 c ---[ 4]---> BDD-cost: 13 c ---[ 3]---> BDD-cost: 13 c ---[ 2]---> BDD-cost: 13 c ---[ 1]---> BDD-cost: 13 c ---[ 0]---> BDD-cost: 13 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 0 | 124244 417096 | 41414 0 0 nan | 0.000 % | c | 101 | 124217 417035 | 45555 100 698 7.0 | 12.443 % | c | 251 | 124062 416689 | 50110 246 6914 28.1 | 12.591 % | c | 476 | 123805 416084 | 55122 454 13340 29.4 | 12.865 % | c | 816 | 123756 415925 | 60634 787 18326 23.3 | 12.898 % | c | 1324 | 123756 415925 | 66697 1295 35601 27.5 | 12.898 % | c | 2084 | 123085 414363 | 73367 1962 62841 32.0 | 13.602 % | c | 3224 | 122985 414092 | 80704 3096 118065 38.1 | 13.696 % | c | 4934 | 122862 413789 | 88774 4790 197053 41.1 | 13.819 % | c | 7497 | 122620 413234 | 97652 7339 309485 42.2 | 14.072 % | c | 11341 | 122262 412313 | 107417 11128 514303 46.2 | 14.407 % | c | 17107 | 121189 409690 | 118158 16758 762422 45.5 | 15.448 % | c | 25756 | 120340 407507 | 129974 25263 1148488 45.5 | 16.250 % | c ============================================================================== c [1mFound solution: 1285216[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> BDD-cost: 15 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 30291 | 119977 406542 | 39992 29735 1411880 47.5 | 16.250 % | c | 30391 | 119977 406542 | 43991 29835 1412942 47.4 | 16.578 % | c | 30543 | 119977 406542 | 48390 29987 1416578 47.2 | 16.578 % | c | 30770 | 119977 406542 | 53229 30214 1435944 47.5 | 16.578 % | c | 31108 | 119716 405913 | 58552 30528 1448420 47.4 | 16.838 % | c | 31614 | 119684 405809 | 64407 31029 1466017 47.2 | 16.859 % | c | 32374 | 119680 405800 | 70848 31788 1499929 47.2 | 16.863 % | c | 33513 | 119617 405636 | 77933 32925 1610828 48.9 | 16.924 % | c | 35222 | 119600 405579 | 85726 34629 1714499 49.5 | 16.931 % | c | 37785 | 119575 405496 | 94299 37179 1839171 49.5 | 16.942 % | c | 41629 | 119438 405146 | 103728 41015 2130976 52.0 | 17.065 % | c | 47396 | 119223 404565 | 114101 46770 2351738 50.3 | 17.264 % | c | 56047 | 119086 404232 | 125512 55411 2812411 50.8 | 17.408 % | c ============================================================================== c [1mFound solution: 1251200[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> BDD-cost: 13 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 64248 | 119011 403982 | 39670 63593 3313693 52.1 | 17.408 % | c | 64348 | 119003 403956 | 43637 17993 679000 37.7 | 17.458 % | c | 64499 | 119003 403956 | 48000 18144 680284 37.5 | 17.458 % | c | 64725 | 119003 403956 | 52800 18370 686673 37.4 | 17.458 % | c | 65062 | 118823 403544 | 58080 18694 696874 37.3 | 17.667 % | c | 65569 | 118740 403355 | 63888 19196 729606 38.0 | 17.761 % | c | 66328 | 118714 403265 | 70277 19948 757553 38.0 | 17.776 % | c | 67468 | 118678 403184 | 77305 21085 895546 42.5 | 17.815 % | c | 69176 | 118623 403060 | 85036 22778 1086526 47.7 | 17.877 % | c | 71738 | 118578 402925 | 93539 25334 1193623 47.1 | 17.905 % | c | 75582 | 118405 402338 | 102893 29145 1553328 53.3 | 17.970 % | c | 81349 | 118010 401262 | 113183 34854 2113396 60.6 | 18.292 % | c | 89998 | 117841 400764 | 124501 43484 2710361 62.3 | 18.407 % | c ============================================================================== c [1mFound solution: 1248960[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> BDD-cost: 14 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 97930 | 117543 399817 | 39181 51376 3282887 63.9 | 18.407 % | c | 98031 | 117543 399817 | 43099 17682 835672 47.3 | 18.565 % | c | 98182 | 117543 399817 | 47409 17833 840056 47.1 | 18.565 % | c | 98407 | 117528 399784 | 52149 18054 853589 47.3 | 18.583 % | c | 98745 | 117528 399784 | 57364 18392 860176 46.8 | 18.583 % | c | 99253 | 117356 399392 | 63101 18891 876968 46.4 | 18.778 % | c | 100017 | 117356 399392 | 69411 19655 904697 46.0 | 18.778 % | c | 101156 | 117270 399167 | 76352 20788 1011115 48.6 | 18.857 % | c | 102865 | 117062 398567 | 83987 22178 1100209 49.6 | 19.045 % | c | 105428 | 117062 398567 | 92386 24741 1202538 48.6 | 19.045 % | c | 109274 | 117026 398443 | 101625 28582 1650684 57.8 | 19.059 % | c ============================================================================== c [1mFound solution: 1246144[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> BDD-cost: 13 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 112627 | 117039 398474 | 39013 31935 1952177 61.1 | 19.059 % | c | 112729 | 117039 398474 | 42914 32037 1958040 61.1 | 19.060 % | c | 112879 | 117039 398474 | 47205 32187 1971623 61.3 | 19.060 % | c | 113104 | 117039 398474 | 51926 32412 1978748 61.0 | 19.060 % | c | 113442 | 117039 398474 | 57118 32750 1992939 60.9 | 19.060 % | c | 113948 | 117039 398474 | 62830 33256 2016699 60.6 | 19.060 % | c | 114712 | 117029 398451 | 69113 34019 2041172 60.0 | 19.070 % | c | 115853 | 117029 398451 | 76025 35160 2268157 64.5 | 19.070 % | c | 117563 | 116823 397964 | 83627 36858 2393497 64.9 | 19.341 % | c | 120125 | 116823 397964 | 91990 39420 2606433 66.1 | 19.341 % | c ============================================================================== c [1mFound solution: 1234880[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> BDD-cost: 11 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 122895 | 116807 397899 | 38935 42182 2736619 64.9 | 19.341 % | c | 122996 | 116807 397899 | 42828 42283 2738718 64.8 | 19.356 % | c | 123146 | 116807 397899 | 47111 42433 2746931 64.7 | 19.356 % | c | 123373 | 116807 397899 | 51822 42660 2755996 64.6 | 19.356 % | c | 123711 | 116792 397846 | 57004 42994 2794961 65.0 | 19.360 % | c | 124217 | 116580 397224 | 62705 43481 2821750 64.9 | 19.512 % | c | 124976 | 116491 396913 | 68975 44228 2858088 64.6 | 19.544 % | c | 126116 | 116480 396889 | 75873 45365 2909809 64.1 | 19.558 % | c | 127830 | 116480 396889 | 83460 47079 3109096 66.0 | 19.558 % | c | 130392 | 116390 396661 | 91806 49631 3488547 70.3 | 19.659 % | c | 134238 | 116390 396661 | 100987 53477 3848404 72.0 | 19.659 % | c | 140004 | 115826 394740 | 111086 59149 4268263 72.2 | 19.883 % | c | 148653 | 115653 394198 | 122194 67774 4735565 69.9 | 19.991 % | c | 161629 | 114458 390240 | 134414 80215 5727660 71.4 | 20.619 % | c | 181093 | 114381 390000 | 147855 99662 8618461 86.5 | 20.670 % | c | 210287 | 113873 388445 | 162641 128776 12743443 99.0 | 21.023 % | c | 254076 | 113316 386586 | 178905 30880 3080645 99.8 | 21.319 % | c ============================================================================== c [1mFound solution: 1233728[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> BDD-cost: 14 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 297161 | 113199 386212 | 37733 73937 8061862 109.0 | 21.319 % | c | 297262 | 113199 386212 | 41506 23322 1900788 81.5 | 21.405 % | c | 297414 | 113199 386212 | 45656 23474 1906738 81.2 | 21.405 % | c | 297641 | 113199 386212 | 50222 23701 1927801 81.3 | 21.405 % | c | 297978 | 113199 386212 | 55244 24038 1947263 81.0 | 21.405 % | c | 298484 | 113199 386212 | 60769 24544 2029571 82.7 | 21.405 % | c | 299243 | 113199 386212 | 66846 25303 2077259 82.1 | 21.405 % | c | 300383 | 113199 386212 | 73530 26443 2106865 79.7 | 21.405 % | c ============================================================================== c [1mFound solution: 1219168[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> BDD-cost: 12 c ==================================[MINISAT+]================================== c | Conflicts | Original | Learnt | Progress | c | | Clauses Literals | Max Clauses Literals LPC | | c ============================================================================== c | 300741 | 113217 386254 | 37739 26801 2188556 81.7 | 21.405 % | c | 300843 | 113217 386254 | 41512 26903 2189597 81.4 | 21.401 % | c | 300994 | 113217 386254 | 45664 27054 2195142 81.1 | 21.401 % | c | 301221 | 113217 386254 | 50230 27281 2221836 81.4 | 21.401 % | c | 301558 | 113217 386254 | 55253 27618 2239887 81.1 | 21.401 % | c | 302064 | 113217 386254 | 60779 28124 2270146 80.7 | 21.401 % | c | 302824 | 113217 386254 | 66856 28884 2340382 81.0 | 21.401 % | c | 303963 | 113156 386104 | 73542 30013 2392486 79.7 | 21.476 % | c | 305671 | 113156 386104 | 80896 31721 2698061 85.1 | 21.476 % | c | 308235 | 113137 386035 | 88986 34282 3088884 90.1 | 21.487 % | c | 312080 | 113137 386035 | 97885 38127 3656945 95.9 | 21.487 % | c | 317846 | 113137 386035 | 107673 43893 4218970 96.1 | 21.487 % | c | 326495 | 113128 386004 | 118441 52538 5743778 109.3 | 21.491 % | c | 339470 | 113073 385819 | 130285 65501 8650761 132.1 | 21.520 % | c | 358931 | 113069 385810 | 143313 84958 12148453 143.0 | 21.523 % | 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 -C00#### 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.81 0.93 0.90 2/54 8460 Raw data (stat): 8460 (runsolver) R 8459 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 486963697 1052672 99 4294967295 134512640 135381576 3221224528 3221219772 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.84 0.93 0.90 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 1128 0 0 0 995 3 0 0 25 0 1 0 486963697 5140480 815 4294967295 134512640 134672761 3221224624 3221222608 134597188 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 1255 815 603 41 0 1214 0 vsize: 5020 [startup+20.0014 s] Raw data (loadavg): 0.86 0.93 0.90 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 3756 0 0 0 1988 11 0 0 25 0 1 0 486963697 15515648 3308 4294967295 134512640 134672761 3221224624 3221223792 134561167 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 3788 3308 603 41 0 3747 0 vsize: 15152 [startup+30.0017 s] Raw data (loadavg): 0.88 0.93 0.90 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 3971 0 0 0 2987 12 0 0 25 0 1 0 486963697 16326656 3523 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 3986 3523 603 41 0 3945 0 vsize: 15944 [startup+40.002 s] Raw data (loadavg): 0.90 0.93 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 4236 0 0 0 3986 13 0 0 25 0 1 0 486963697 17530880 3788 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 4280 3788 603 41 0 4239 0 vsize: 17120 [startup+50.0029 s] Raw data (loadavg): 0.92 0.93 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 4405 0 0 0 4985 13 0 0 25 0 1 0 486963697 18198528 3957 4294967295 134512640 134672761 3221224624 3221223792 134561391 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 4443 3957 603 41 0 4402 0 vsize: 17772 [startup+60.0022 s] Raw data (loadavg): 0.93 0.94 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 4749 0 0 0 5984 15 0 0 25 0 1 0 486963697 19587072 4301 4294967295 134512640 134672761 3221224624 3221223824 134557836 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 4782 4301 603 41 0 4741 0 vsize: 19128 [startup+70.0094 s] Raw data (loadavg): 0.94 0.94 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 4996 0 0 0 6983 16 0 0 25 0 1 0 486963697 20656128 4548 4294967295 134512640 134672761 3221224624 3221223792 134561234 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 5043 4548 603 41 0 5002 0 vsize: 20172 [startup+80.02 s] Raw data (loadavg): 0.95 0.94 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 5375 0 0 0 7983 18 0 0 25 0 1 0 486963697 22138880 4927 4294967295 134512640 134672761 3221224624 3221223792 134560940 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 5405 4927 603 41 0 5364 0 vsize: 21620 [startup+90.0196 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 5698 0 0 0 8982 19 0 0 25 0 1 0 486963697 23609344 5250 4294967295 134512640 134672761 3221224624 3221223748 134566049 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 5764 5250 603 41 0 5723 0 vsize: 23056 [startup+100.02 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 6031 0 0 0 9981 20 0 0 25 0 1 0 486963697 24940544 5583 4294967295 134512640 134672761 3221224624 3221223796 134556646 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 6089 5583 603 41 0 6048 0 vsize: 24356 [startup+110.021 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 6366 0 0 0 10979 22 0 0 25 0 1 0 486963697 26279936 5918 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 6416 5918 603 41 0 6375 0 vsize: 25664 [startup+120.021 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 6785 0 0 0 11977 24 0 0 25 0 1 0 486963697 27889664 6337 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 6809 6337 603 41 0 6768 0 vsize: 27236 [startup+130.021 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 7021 0 0 0 12977 25 0 0 25 0 1 0 486963697 28962816 6573 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7071 6573 603 41 0 7030 0 vsize: 28284 [startup+140.021 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 7456 0 0 0 13975 26 0 0 25 0 1 0 486963697 30699520 7008 4294967295 134512640 134672761 3221224624 3221223808 134559569 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7495 7008 603 41 0 7454 0 vsize: 29980 [startup+150.029 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 7637 0 0 0 14974 28 0 0 25 0 1 0 486963697 31461376 7189 4294967295 134512640 134672761 3221224624 3221223796 134556634 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7681 7189 603 41 0 7640 0 vsize: 30724 [startup+160.033 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 7637 0 0 0 15974 28 0 0 25 0 1 0 486963697 31461376 7189 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7681 7189 603 41 0 7640 0 vsize: 30724 [startup+170.033 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 7637 0 0 0 16973 29 0 0 25 0 1 0 486963697 31461376 7189 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7681 7189 603 41 0 7640 0 vsize: 30724 [startup+180.033 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 7637 0 0 0 17973 29 0 0 25 0 1 0 486963697 31461376 7189 4294967295 134512640 134672761 3221224624 3221223792 134561164 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7681 7189 603 41 0 7640 0 vsize: 30724 [startup+190.034 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 7637 0 0 0 18973 29 0 0 25 0 1 0 486963697 31461376 7189 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7681 7189 603 41 0 7640 0 vsize: 30724 [startup+200.035 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 7637 0 0 0 19973 30 0 0 25 0 1 0 486963697 31461376 7189 4294967295 134512640 134672761 3221224624 3221223796 134556634 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7681 7189 603 41 0 7640 0 vsize: 30724 [startup+210.035 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 7637 0 0 0 20973 30 0 0 25 0 1 0 486963697 31461376 7189 4294967295 134512640 134672761 3221224624 3221223792 134560980 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7681 7189 603 41 0 7640 0 vsize: 30724 [startup+220.036 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 7683 0 0 0 21972 30 0 0 25 0 1 0 486963697 31723520 7235 4294967295 134512640 134672761 3221224624 3221223792 134564490 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7745 7235 603 41 0 7704 0 vsize: 30980 [startup+230.036 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 7683 0 0 0 22972 31 0 0 25 0 1 0 486963697 31723520 7235 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7745 7235 603 41 0 7704 0 vsize: 30980 [startup+240.037 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 7683 0 0 0 23972 31 0 0 25 0 1 0 486963697 31723520 7235 4294967295 134512640 134672761 3221224624 3221223760 134560667 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7745 7235 603 41 0 7704 0 vsize: 30980 [startup+250.037 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 7683 0 0 0 24972 31 0 0 25 0 1 0 486963697 31723520 7235 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7745 7235 603 41 0 7704 0 vsize: 30980 [startup+260.038 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 7683 0 0 0 25972 32 0 0 25 0 1 0 486963697 31723520 7235 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7745 7235 603 41 0 7704 0 vsize: 30980 [startup+270.039 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 7683 0 0 0 26971 32 0 0 25 0 1 0 486963697 31723520 7235 4294967295 134512640 134672761 3221224624 3221223792 134561001 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7745 7235 603 41 0 7704 0 vsize: 30980 [startup+280.04 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 7683 0 0 0 27972 32 0 0 25 0 1 0 486963697 31723520 7235 4294967295 134512640 134672761 3221224624 3221223796 134556688 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 7745 7235 603 41 0 7704 0 vsize: 30980 [startup+290.04 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 8207 0 0 0 28970 33 0 0 25 0 1 0 486963697 33861632 7759 4294967295 134512640 134672761 3221224624 3221223728 134559976 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 8267 7759 603 41 0 8226 0 vsize: 33068 [startup+300.041 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 8446 0 0 0 29969 34 0 0 25 0 1 0 486963697 34791424 7998 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 8494 7998 603 41 0 8453 0 vsize: 33976 [startup+310.041 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 8705 0 0 0 30968 36 0 0 25 0 1 0 486963697 35848192 8257 4294967295 134512640 134672761 3221224624 3221223796 134556598 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 8752 8257 603 41 0 8711 0 vsize: 35008 [startup+320.042 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 8872 0 0 0 31967 37 0 0 25 0 1 0 486963697 36524032 8424 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 8917 8424 603 41 0 8876 0 vsize: 35668 [startup+330.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 9050 0 0 0 32967 37 0 0 25 0 1 0 486963697 37314560 8602 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 9110 8602 603 41 0 9069 0 vsize: 36440 [startup+340.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 9478 0 0 0 33966 38 0 0 25 0 1 0 486963697 39329792 9030 4294967295 134512640 134672761 3221224624 3221223776 134565153 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 9602 9030 603 41 0 9561 0 vsize: 38408 [startup+350.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 9839 0 0 0 34965 39 0 0 25 0 1 0 486963697 40796160 9391 4294967295 134512640 134672761 3221224624 3221223808 134559583 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 9960 9391 603 41 0 9919 0 vsize: 39840 [startup+360.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 10035 0 0 0 35965 40 0 0 25 0 1 0 486963697 41603072 9587 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 10157 9587 603 41 0 10116 0 vsize: 40628 [startup+370.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 10118 0 0 0 36964 40 0 0 25 0 1 0 486963697 41869312 9670 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 10222 9670 603 41 0 10181 0 vsize: 40888 [startup+380.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 10392 0 0 0 37964 41 0 0 25 0 1 0 486963697 42946560 9944 4294967295 134512640 134672761 3221224624 3221223796 134556634 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 10485 9944 603 41 0 10444 0 vsize: 41940 [startup+390.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 10721 0 0 0 38963 42 0 0 25 0 1 0 486963697 44412928 10273 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 10843 10273 603 41 0 10802 0 vsize: 43372 [startup+400.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 11161 0 0 0 39962 44 0 0 25 0 1 0 486963697 46137344 10713 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 11264 10713 603 41 0 11223 0 vsize: 45056 [startup+410.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 11489 0 0 0 40960 45 0 0 25 0 1 0 486963697 47464448 11041 4294967295 134512640 134672761 3221224624 3221223792 134561378 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 11588 11041 603 41 0 11547 0 vsize: 46352 [startup+420.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 11962 0 0 0 41959 46 0 0 25 0 1 0 486963697 49344512 11514 4294967295 134512640 134672761 3221224624 3221223728 134560031 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 12047 11514 603 41 0 12006 0 vsize: 48188 [startup+430.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 12618 0 0 0 42956 49 0 0 25 0 1 0 486963697 52006912 12170 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 12697 12170 603 41 0 12656 0 vsize: 50788 [startup+440.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 13123 0 0 0 43955 50 0 0 25 0 1 0 486963697 54120448 12675 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 13213 12675 603 41 0 13172 0 vsize: 52852 [startup+450.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 13503 0 0 0 44953 52 0 0 25 0 1 0 486963697 55726080 13055 4294967295 134512640 134672761 3221224624 3221223808 134559581 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 13605 13055 603 41 0 13564 0 vsize: 54420 [startup+460.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 13609 0 0 0 45953 53 0 0 25 0 1 0 486963697 56115200 13161 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 13700 13161 603 41 0 13659 0 vsize: 54800 [startup+470.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 13908 0 0 0 46952 54 0 0 25 0 1 0 486963697 57319424 13460 4294967295 134512640 134672761 3221224624 3221223776 134561244 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 13994 13460 603 41 0 13953 0 vsize: 55976 [startup+480.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 14265 0 0 0 47952 55 0 0 25 0 1 0 486963697 58798080 13817 4294967295 134512640 134672761 3221224624 3221223792 134561167 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 14355 13817 603 41 0 14314 0 vsize: 57420 [startup+490.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 14575 0 0 0 48950 56 0 0 25 0 1 0 486963697 59998208 14127 4294967295 134512640 134672761 3221224624 3221223728 134560418 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 14648 14127 603 41 0 14607 0 vsize: 58592 [startup+500.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 14975 0 0 0 49949 58 0 0 25 0 1 0 486963697 61607936 14527 4294967295 134512640 134672761 3221224624 3221223792 134561167 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 15041 14527 603 41 0 15000 0 vsize: 60164 [startup+510.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 15338 0 0 0 50948 59 0 0 25 0 1 0 486963697 63082496 14890 4294967295 134512640 134672761 3221224624 3221223808 134559354 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 15401 14890 603 41 0 15360 0 vsize: 61604 [startup+520.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 15856 0 0 0 51946 61 0 0 25 0 1 0 486963697 65204224 15408 4294967295 134512640 134672761 3221224624 3221223728 134559979 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 15919 15408 603 41 0 15878 0 vsize: 63676 [startup+530.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 16345 0 0 0 52945 62 0 0 25 0 1 0 486963697 67194880 15897 4294967295 134512640 134672761 3221224624 3221223748 134566031 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 16405 15897 603 41 0 16364 0 vsize: 65620 [startup+540.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 16996 0 0 0 53943 64 0 0 25 0 1 0 486963697 69824512 16548 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 17047 16548 603 41 0 17006 0 vsize: 68188 [startup+550.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 17584 0 0 0 54942 66 0 0 25 0 1 0 486963697 72323072 17136 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 17657 17136 603 41 0 17616 0 vsize: 70628 [startup+560.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 18021 0 0 0 55941 67 0 0 25 0 1 0 486963697 74588160 17573 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 18210 17573 603 41 0 18169 0 vsize: 72840 [startup+570.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 18372 0 0 0 56940 67 0 0 25 0 1 0 486963697 76066816 17924 4294967295 134512640 134672761 3221224624 3221223796 134556680 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 18571 17924 603 41 0 18530 0 vsize: 74284 [startup+580.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 18481 0 0 0 57940 68 0 0 25 0 1 0 486963697 76472320 18033 4294967295 134512640 134672761 3221224624 3221223796 134556634 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 18670 18033 603 41 0 18629 0 vsize: 74680 [startup+590.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 18680 0 0 0 58938 69 0 0 25 0 1 0 486963697 77279232 18232 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 18867 18232 603 41 0 18826 0 vsize: 75468 [startup+600.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 18908 0 0 0 59938 70 0 0 25 0 1 0 486963697 78213120 18460 4294967295 134512640 134672761 3221224624 3221223792 134561151 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 19095 18460 603 41 0 19054 0 vsize: 76380 [startup+610.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 19134 0 0 0 60937 71 0 0 25 0 1 0 486963697 79138816 18686 4294967295 134512640 134672761 3221224624 3221223792 134560940 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 19321 18686 603 41 0 19280 0 vsize: 77284 [startup+620.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 19500 0 0 0 61935 73 0 0 25 0 1 0 486963697 80621568 19052 4294967295 134512640 134672761 3221224624 3221223760 134560677 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 19683 19052 603 41 0 19642 0 vsize: 78732 [startup+630.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 19872 0 0 0 62935 74 0 0 25 0 1 0 486963697 82075648 19424 4294967295 134512640 134672761 3221224624 3221223760 134560677 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 20038 19424 603 41 0 19997 0 vsize: 80152 [startup+640.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 20235 0 0 0 63934 74 0 0 25 0 1 0 486963697 83558400 19787 4294967295 134512640 134672761 3221224624 3221223792 134561229 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 20400 19787 603 41 0 20359 0 vsize: 81600 [startup+650.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 20644 0 0 0 64933 76 0 0 25 0 1 0 486963697 85274624 20196 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 20819 20196 603 41 0 20778 0 vsize: 83276 [startup+660.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 21123 0 0 0 65931 77 0 0 25 0 1 0 486963697 87261184 20675 4294967295 134512640 134672761 3221224624 3221223728 134560289 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 21304 20675 603 41 0 21263 0 vsize: 85216 [startup+670.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 21442 0 0 0 66930 79 0 0 25 0 1 0 486963697 88473600 20994 4294967295 134512640 134672761 3221224624 3221223792 134561151 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 21600 20994 603 41 0 21559 0 vsize: 86400 [startup+680.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 21657 0 0 0 67930 79 0 0 25 0 1 0 486963697 89407488 21209 4294967295 134512640 134672761 3221224624 3221223792 134560912 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 21828 21209 603 41 0 21787 0 vsize: 87312 [startup+690.063 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 22017 0 0 0 68928 81 0 0 25 0 1 0 486963697 90865664 21569 4294967295 134512640 134672761 3221224624 3221223728 134559953 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 22184 21569 603 41 0 22143 0 vsize: 88736 [startup+700.064 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 22233 0 0 0 69927 82 0 0 25 0 1 0 486963697 91811840 21785 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 22415 21785 603 41 0 22374 0 vsize: 89660 [startup+710.065 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 22646 0 0 0 70926 83 0 0 25 0 1 0 486963697 93396992 22198 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 22802 22198 603 41 0 22761 0 vsize: 91208 [startup+720.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 23189 0 0 0 71924 86 0 0 25 0 1 0 486963697 95637504 22741 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 23349 22741 603 41 0 23308 0 vsize: 93396 [startup+730.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 23588 0 0 0 72922 87 0 0 25 0 1 0 486963697 97222656 23140 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 23736 23140 603 41 0 23695 0 vsize: 94944 [startup+740.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 23939 0 0 0 73921 88 0 0 25 0 1 0 486963697 98684928 23491 4294967295 134512640 134672761 3221224624 3221223792 134560920 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 24093 23491 603 41 0 24052 0 vsize: 96372 [startup+750.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24266 0 0 0 74920 89 0 0 25 0 1 0 486963697 100012032 23818 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 24417 23818 603 41 0 24376 0 vsize: 97668 [startup+760.068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 75919 90 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221222092 134566339 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+770.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 76920 90 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223728 134560235 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+780.069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 77919 91 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223748 134566037 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+790.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 78919 91 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223728 134560196 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+800.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 79919 91 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+810.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 80919 92 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134561229 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+820.071 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 8460 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 81918 92 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+830.072 s] Raw data (loadavg): 1.22 1.02 0.93 2/54 8513 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 82918 92 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560892 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+840.072 s] Raw data (loadavg): 1.18 1.02 0.93 2/54 8513 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 83918 92 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+850.072 s] Raw data (loadavg): 1.15 1.02 0.93 2/54 8513 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 84918 92 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+860.073 s] Raw data (loadavg): 1.13 1.02 0.93 2/54 8513 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 85918 92 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+870.074 s] Raw data (loadavg): 1.11 1.02 0.93 2/54 8513 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 86918 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134561229 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+880.074 s] Raw data (loadavg): 1.09 1.02 0.93 2/54 8513 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 87919 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+890.073 s] Raw data (loadavg): 1.08 1.01 0.93 2/54 8513 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 88919 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223808 134559354 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+900.074 s] Raw data (loadavg): 1.06 1.01 0.93 2/54 8513 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 89919 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223760 134565045 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+910.073 s] Raw data (loadavg): 1.05 1.01 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 90919 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134561118 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+920.074 s] Raw data (loadavg): 1.05 1.01 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 91919 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223796 134556634 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+930.075 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 92919 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+940.075 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 93920 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+950.076 s] Raw data (loadavg): 1.11 1.02 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 94920 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223728 134560196 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+960.077 s] Raw data (loadavg): 1.09 1.02 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 95920 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+970.077 s] Raw data (loadavg): 1.08 1.02 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 96920 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560858 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+980.077 s] Raw data (loadavg): 1.06 1.02 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 97920 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+990.077 s] Raw data (loadavg): 1.05 1.02 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 98921 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134564493 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1000.08 s] Raw data (loadavg): 1.04 1.02 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 99921 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1010.08 s] Raw data (loadavg): 1.04 1.02 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 100921 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223728 134560174 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1020.08 s] Raw data (loadavg): 1.03 1.02 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 101921 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134561164 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1030.08 s] Raw data (loadavg): 1.03 1.02 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 102921 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1040.08 s] Raw data (loadavg): 1.02 1.02 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 103922 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560903 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1050.08 s] Raw data (loadavg): 1.02 1.02 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 104922 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1060.08 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 105922 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223728 134559998 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1070.08 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 106922 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1080.08 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 107922 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1090.08 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 108923 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223728 134560514 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1100.08 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 109923 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1110.08 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 110923 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223728 134560402 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1120.08 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 111923 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223728 134560196 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1130.08 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 112923 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560892 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1140.08 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 113924 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560940 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1150.08 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 114924 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223728 134559949 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 115924 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223728 134560402 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8515 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 116924 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223728 134560246 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8517 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 117924 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8517 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 118924 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223728 134560196 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8517 Raw data (stat): 8460 (minisat+) R 8459 29151 29150 0 -1 0 24518 0 0 0 119925 93 0 0 25 0 1 0 486963697 101081088 24070 4294967295 134512640 134672761 3221224624 3221223792 134561164 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 24678 24070 603 41 0 24637 0 vsize: 98712 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.15 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 8517 Raw data (stat): 8460 (minisat+) Z 8459 29151 29150 0 -1 12 24521 0 0 0 119926 98 0 0 25 0 1 0 486963697 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.15 CPU time (s): 1200.24 CPU user time (s): 1199.26 CPU system time (s): 0.98185 CPU usage (%): 100.008 Max. virtual memory (Kb): 98712 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####