Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air02.opb |
MD5SUM | 75acdcffdd43b3d3a30d0459a6bffe45 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6106 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 6774 |
Biggest coefficient in the objective function | 4804 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 6613094 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 4804 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 6613094 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.21 |
Number of variables | 6774 |
Total number of constraints | 6824 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 6824 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3729 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc24 THE 2005-04-21 18:56:18 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16625 boxname=wulflinc24 idbench=1279 idsolver=11 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 75acdcffdd43b3d3a30d0459a6bffe45 /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-air02.opb REAL COMMAND: minisat+ -S /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-air02.opb /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-air02.opb IDLAUNCH: 16625 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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 : 3 cpu MHz : 451.080 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: 776680 kB Buffers: 30640 kB Cached: 202756 kB SwapCached: 524 kB Active: 88784 kB Inactive: 146600 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 776428 kB SwapTotal: 2097892 kB SwapFree: 2096476 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5108 kB Slab: 16940 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 19:16:20 (client local time) WITH STATUS 10 IN 1200.41 SECONDS stats: 16625 7 1200.41 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Parsing PB file... c Converting 100 PB-constraints to clauses... c -- Unit propagations: (none) c -- Detecting intervals from adjacent constraints: ################################################## c -- Clauses(.)/Splits(s): (none) c ---[ 98]---> BDD-cost: 37 c ---[ 96]---> BDD-cost: 1 c ---[ 94]---> BDD-cost: 229 c ---[ 92]---> BDD-cost: 1 c ---[ 90]---> BDD-cost: 363 c ---[ 88]---> BDD-cost: 1 c ---[ 86]---> BDD-cost: 693 c ---[ 84]---> BDD-cost: 743 c ---[ 82]---> BDD-cost: 1013 c ---[ 80]---> BDD-cost: 1141 c ---[ 78]---> BDD-cost: 1273 c ---[ 76]---> BDD-cost: 1269 c ---[ 74]---> BDD-cost: 1447 c ---[ 72]---> BDD-cost: 1601 c ---[ 70]---> BDD-cost: 1 c ---[ 68]---> BDD-cost: 1469 c ---[ 66]---> BDD-cost: 1 c ---[ 64]---> BDD-cost: 1549 c ---[ 62]---> BDD-cost: 1 c ---[ 60]---> BDD-cost: 2025 c ---[ 58]---> BDD-cost: 1963 c ---[ 56]---> BDD-cost: 1 c ---[ 54]---> BDD-cost: 1755 c ---[ 52]---> BDD-cost: 1 c ---[ 50]---> BDD-cost: 2671 c ---[ 48]---> BDD-cost: 2239 c ---[ 46]---> BDD-cost: 2717 c ---[ 44]---> BDD-cost: 2597 c ---[ 42]---> BDD-cost: 1 c ---[ 40]---> BDD-cost: 2719 c ---[ 38]---> BDD-cost: 3387 c ---[ 36]---> BDD-cost: 2815 c ---[ 34]---> BDD-cost: 3131 c ---[ 32]---> BDD-cost: 3331 c ---[ 30]---> BDD-cost: 3523 c ---[ 28]---> BDD-cost: 3303 c ---[ 26]---> BDD-cost: 1 c ---[ 24]---> BDD-cost: 3607 c ---[ 22]---> BDD-cost: 3613 c ---[ 20]---> BDD-cost: 1 c ---[ 18]---> BDD-cost: 1 c ---[ 16]---> BDD-cost: 3761 c ---[ 14]---> BDD-cost: 3929 c ---[ 12]---> BDD-cost: 4211 c ---[ 10]---> BDD-cost: 3903 c ---[ 8]---> BDD-cost: 4471 c ---[ 6]---> BDD-cost: 4887 c ---[ 4]---> BDD-cost: 4971 c ---[ 2]---> BDD-cost: 4987 c ---[ 0]---> BDD-cost: 7419 c =================================[SATELITE+]================================== c | | ORIGINAL | LEARNT | | c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | c ============================================================================== c | 0 | 251932 655072 | 75579 0 0 nan | 0.000 % | c -- subsuming c -- var.elim.: 1000/107498 c -- var.elim.: 2000/107498 c -- var.elim.: 3000/107498 c -- var.elim.: 4000/107498 c -- var.elim.: 5000/107498 c -- var.elim.: 6000/107498 c -- var.elim.: 7000/107498 c -- var.elim.: 8000/107498 c -- var.elim.: 9000/107498 c -- var.elim.: 10000/107498 c -- var.elim.: 11000/107498 c -- var.elim.: 12000/107498 c -- var.elim.: 13000/107498 c -- var.elim.: 14000/107498 c -- var.elim.: 15000/107498 c -- var.elim.: 16000/107498 c -- var.elim.: 17000/107498 c -- var.elim.: 18000/107498 c -- var.elim.: 19000/107498 c -- var.elim.: 20000/107498 c -- var.elim.: 21000/107498 c -- var.elim.: 22000/107498 c -- var.elim.: 23000/107498 c -- var.elim.: 24000/107498 c -- var.elim.: 25000/107498 c -- var.elim.: 26000/107498 c -- var.elim.: 27000/107498 c -- var.elim.: 28000/107498 c -- var.elim.: 29000/107498 c -- var.elim.: 30000/107498 c -- var.elim.: 31000/107498 c -- var.elim.: 32000/107498 c -- var.elim.: 33000/107498 c -- var.elim.: 34000/107498 c -- var.elim.: 35000/107498 c -- var.elim.: 36000/107498 c -- var.elim.: 37000/107498 c -- var.elim.: 38000/107498 c -- var.elim.: 39000/107498 c -- var.elim.: 40000/107498 c -- var.elim.: 41000/107498 c -- var.elim.: 42000/107498 c -- var.elim.: 43000/107498 c -- var.elim.: 44000/107498 c -- var.elim.: 45000/107498 c -- var.elim.: 46000/107498 c -- var.elim.: 47000/107498 c -- var.elim.: 48000/107498 c -- var.elim.: 49000/107498 c -- var.elim.: 50000/107498 c -- var.elim.: 51000/107498 c -- var.elim.: 52000/107498 c -- var.elim.: 53000/107498 c -- var.elim.: 54000/107498 c -- var.elim.: 55000/107498 c -- var.elim.: 56000/107498 c -- var.elim.: 57000/107498 c -- var.elim.: 58000/107498 c -- var.elim.: 59000/107498 c -- var.elim.: 60000/107498 c -- var.elim.: 61000/107498 c -- var.elim.: 62000/107498 c -- var.elim.: 63000/107498 c -- var.elim.: 64000/107498 c -- var.elim.: 65000/107498 c -- var.elim.: 66000/107498 c -- var.elim.: 67000/107498 c -- var.elim.: 68000/107498 c -- var.elim.: 69000/107498 c -- var.elim.: 70000/107498 c -- var.elim.: 71000/107498 c -- var.elim.: 72000/107498 c -- var.elim.: 73000/107498 c -- var.elim.: 74000/107498 c -- var.elim.: 75000/107498 c -- var.elim.: 76000/107498 c -- var.elim.: 77000/107498 c -- var.elim.: 78000/107498 c -- var.elim.: 79000/107498 c -- var.elim.: 80000/107498 c -- var.elim.: 81000/107498 c -- var.elim.: 82000/107498 c -- var.elim.: 83000/107498 c -- var.elim.: 84000/107498 c -- var.elim.: 85000/107498 c -- var.elim.: 86000/107498 c -- var.elim.: 87000/107498 c -- var.elim.: 88000/107498 c -- var.elim.: 89000/107498 c -- var.elim.: 90000/107498 c -- var.elim.: 91000/107498 c -- var.elim.: 92000/107498 c -- var.elim.: 93000/107498 c -- var.elim.: 94000/107498 c -- var.elim.: 95000/107498 c -- var.elim.: 96000/107498 c -- var.elim.: 97000/107498 c -- var.elim.: 98000/107498 c -- var.elim.: 99000/107498 c -- var.elim.: 100000/107498 c -- var.elim.: 101000/107498 c -- var.elim.: 102000/107498 c -- var.elim.: 103000/107498 c -- var.elim.: 104000/107498 c -- var.elim.: 105000/107498 c -- var.elim.: 106000/107498 c -- var.elim.: 107000/107498 c -- var.elim.: 107498/107498 c -- var.elim.: 216/216 c -- subsuming c -- var.elim.: 103/103 c -- var.elim.: 103/103 c | 0 | 251813 654660 | -- 0 -- -- | -- | -106/-235 c | 0 | 251813 654660 | 100725 0 0 nan | 0.000 % | c ============================================================================== c (current CPU-time: 10.1195 s) c ============================================================================== c [1mFound solution: 55319[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> Adder-cost: 61120 maxlim: 6557775 bits: 23/23 c =================================[SATELITE+]================================== c | | ORIGINAL | LEARNT | | c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | c ============================================================================== c | 23 | 679512 2182125 | 203853 23 20730 901.3 | 0.000 % | c -- subsuming c -- var.elim.: 1000/67653 c -- var.elim.: 2000/67653 c -- var.elim.: 3000/67653 c -- var.elim.: 4000/67653 c -- var.elim.: 5000/67653 c -- var.elim.: 6000/67653 c -- var.elim.: 7000/67653 c -- var.elim.: 8000/67653 c -- var.elim.: 9000/67653 c -- var.elim.: 10000/67653 c -- var.elim.: 11000/67653 c -- var.elim.: 12000/67653 c -- var.elim.: 13000/67653 c -- var.elim.: 14000/67653 c -- var.elim.: 15000/67653 c -- var.elim.: 16000/67653 c -- var.elim.: 17000/67653 c -- var.elim.: 18000/67653 c -- var.elim.: 19000/67653 c -- var.elim.: 20000/67653 c -- var.elim.: 21000/67653 c -- var.elim.: 22000/67653 c -- var.elim.: 23000/67653 c -- var.elim.: 24000/67653 c -- var.elim.: 25000/67653 c -- var.elim.: 26000/67653 c -- var.elim.: 27000/67653 c -- var.elim.: 28000/67653 c -- var.elim.: 29000/67653 c -- var.elim.: 30000/67653 c -- var.elim.: 31000/67653 c -- var.elim.: 32000/67653 c -- var.elim.: 33000/67653 c -- var.elim.: 34000/67653 c -- var.elim.: 35000/67653 c -- var.elim.: 36000/67653 c -- var.elim.: 37000/67653 c -- var.elim.: 38000/67653 c -- var.elim.: 39000/67653 c -- var.elim.: 40000/67653 c -- var.elim.: 41000/67653 c -- var.elim.: 42000/67653 c -- var.elim.: 43000/67653 c -- var.elim.: 44000/67653 c -- var.elim.: 45000/67653 c -- var.elim.: 46000/67653 c -- var.elim.: 47000/67653 c -- var.elim.: 48000/67653 c -- var.elim.: 49000/67653 c -- var.elim.: 50000/67653 c -- var.elim.: 51000/67653 c -- var.elim.: 52000/67653 c -- var.elim.: 53000/67653 c -- var.elim.: 54000/67653 c -- var.elim.: 55000/67653 c -- var.elim.: 56000/67653 c -- var.elim.: 57000/67653 c -- var.elim.: 58000/67653 c -- var.elim.: 59000/67653 c -- var.elim.: 60000/67653 c -- var.elim.: 61000/67653 c -- var.elim.: 62000/67653 c -- var.elim.: 63000/67653 c -- var.elim.: 64000/67653 c -- var.elim.: 65000/67653 c -- var.elim.: 66000/67653 c -- var.elim.: 67000/67653 c -- var.elim.: 67653/67653 c -- var.elim.: 32/32 c | 23 | 677450 2173915 | -- 23 -- -- | -- | -2053/-8160 c | 23 | 677450 2173915 | 270980 23 20730 901.3 | 0.000 % | c | 129 | 677450 2173915 | 298078 129 258058 2000.4 | 0.207 % | c | 279 | 677450 2173915 | 327885 279 470735 1687.2 | 0.207 % | c ============================================================================== c (current CPU-time: 42.7175 s) c ============================================================================== c [1mFound solution: 53641[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> Adder-cost: 0 maxlim: 6559453 bits: 23/23 c =================================[SATELITE+]================================== c | | ORIGINAL | LEARNT | | c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | c ============================================================================== c | 303 | 677503 2174171 | 203250 303 485826 1603.4 | 0.207 % | c -- subsuming c -- var.elim.: 44/44 c -- var.elim.: 21/21 c | 303 | 677485 2174194 | -- 303 -- -- | -- | -18/31 c | 303 | 677485 2174194 | 270994 303 485826 1603.4 | 0.207 % | c | 403 | 677485 2174194 | 298093 403 538487 1336.2 | 0.212 % | c | 553 | 677485 2174194 | 327902 553 724640 1310.4 | 0.212 % | c ============================================================================== c (current CPU-time: 65.808 s) c ============================================================================== c [1mFound solution: 53514[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> Adder-cost: 0 maxlim: 6559580 bits: 23/23 c =================================[SATELITE+]================================== c | | ORIGINAL | LEARNT | | c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | c ============================================================================== c | 748 | 677539 2174449 | 203261 748 908184 1214.1 | 0.212 % | c -- subsuming c -- var.elim.: 41/41 c -- var.elim.: 18/18 c | 748 | 677532 2174497 | -- 748 -- -- | -- | -7/54 c | 748 | 677532 2174497 | 271012 748 908184 1214.1 | 0.212 % | c | 850 | 677532 2174497 | 298114 850 962606 1132.5 | 0.215 % | c | 1002 | 677532 2174497 | 327925 1002 1180279 1177.9 | 0.215 % | c | 1227 | 677532 2174497 | 360718 1227 1487102 1212.0 | 0.215 % | c | 1566 | 677532 2174497 | 396789 1566 3177191 2028.9 | 0.215 % | c | 2074 | 677532 2174497 | 436468 2074 3762172 1814.0 | 0.215 % | c | 2837 | 677532 2174497 | 480115 2837 4868606 1716.1 | 0.215 % | c ============================================================================== c (current CPU-time: 139.069 s) c ============================================================================== c [1mFound solution: 46041[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> Adder-cost: 0 maxlim: 6567053 bits: 23/23 c =================================[SATELITE+]================================== c | | ORIGINAL | LEARNT | | c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | c ============================================================================== c | 3236 | 677547 2174594 | 203264 3236 5482983 1694.4 | 0.215 % | c -- subsuming c -- var.elim.: 41/41 c -- var.elim.: 21/21 c | 3236 | 677488 2174075 | -- 3236 -- -- | -- | -14/-16 c | 3236 | 677488 2174075 | 270995 3232 5477474 1694.8 | 0.215 % | c | 3336 | 677488 2174075 | 298094 3332 5485429 1646.3 | 0.219 % | c | 3488 | 677488 2174075 | 327904 3484 5571728 1599.2 | 0.219 % | c | 3715 | 677488 2174075 | 360694 3711 5863418 1580.0 | 0.219 % | c | 4054 | 677488 2174075 | 396764 4050 6274316 1549.2 | 0.219 % | c ============================================================================== c (current CPU-time: 183.587 s) c ============================================================================== c [1mFound solution: 26281[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> Adder-cost: 0 maxlim: 6586813 bits: 23/23 c =================================[SATELITE+]================================== c | | ORIGINAL | LEARNT | | c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | c ============================================================================== c | 4189 | 677521 2174254 | 203256 4185 6360165 1519.8 | 0.219 % | c -- subsuming c -- var.elim.: 633/633 c -- var.elim.: 20/20 c | 4189 | 675383 2165677 | -- 4185 -- -- | -- | -15/-1209 c | 4189 | 675383 2165677 | 270153 4060 6085484 1498.9 | 0.219 % | c | 4290 | 675383 2165677 | 297168 4161 6279948 1509.2 | 0.403 % | c | 4440 | 675383 2165677 | 326885 4311 6406295 1486.0 | 0.403 % | c | 4667 | 675383 2165677 | 359573 4538 6655402 1466.6 | 0.403 % | c | 5004 | 675383 2165677 | 395531 4875 7315768 1500.7 | 0.403 % | c | 5510 | 675383 2165677 | 435084 5381 7603864 1413.1 | 0.403 % | c | 6269 | 675383 2165677 | 478592 6140 10311385 1679.4 | 0.403 % | c ============================================================================== c (current CPU-time: 335.316 s) c ============================================================================== c [1mFound solution: 25673[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> Adder-cost: 0 maxlim: 6587421 bits: 23/23 c =================================[SATELITE+]================================== c | | ORIGINAL | LEARNT | | c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | c ============================================================================== c | 7248 | 675406 2165793 | 202621 7119 12912164 1813.8 | 0.403 % | c -- subsuming c -- var.elim.: 30/30 c -- var.elim.: 17/17 c | 7248 | 675381 2165648 | -- 7119 -- -- | -- | -10/10 c | 7248 | 675381 2165648 | 270152 7119 12912164 1813.8 | 0.403 % | c | 7348 | 675381 2165648 | 297167 7219 13026617 1804.5 | 0.406 % | c | 7500 | 675381 2165648 | 326884 7371 13080561 1774.6 | 0.406 % | c | 7729 | 675381 2165648 | 359572 7600 13591410 1788.3 | 0.406 % | c | 8068 | 675381 2165648 | 395530 7939 13982727 1761.3 | 0.406 % | c | 8575 | 675381 2165648 | 435083 8446 14646526 1734.1 | 0.406 % | c | 9336 | 675381 2165648 | 478591 9207 15921439 1729.3 | 0.406 % | c | 10477 | 675381 2165648 | 526450 10348 19318922 1866.9 | 0.406 % | c ============================================================================== c (current CPU-time: 497.852 s) c ============================================================================== c [1mFound solution: 25504[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> Adder-cost: 0 maxlim: 6587590 bits: 23/23 c =================================[SATELITE+]================================== c | | ORIGINAL | LEARNT | | c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | c ============================================================================== c | 11825 | 675410 2165798 | 202622 11696 25183429 2153.2 | 0.406 % | c -- subsuming c -- var.elim.: 29/29 c -- var.elim.: 22/22 c | 11825 | 675398 2165916 | -- 11696 -- -- | -- | -12/123 c | 11825 | 675398 2165916 | 270159 11696 25183429 2153.2 | 0.406 % | c | 11936 | 675398 2165916 | 297175 11807 25271568 2140.4 | 0.409 % | c | 12090 | 675398 2165916 | 326892 11961 25440560 2127.0 | 0.409 % | c | 12316 | 675398 2165916 | 359581 12187 25689529 2107.9 | 0.409 % | c | 12660 | 675398 2165916 | 395540 12531 26462266 2111.7 | 0.409 % | c | 13169 | 675398 2165916 | 435094 13040 27272493 2091.4 | 0.409 % | c ============================================================================== c (current CPU-time: 564.193 s) c ============================================================================== c [1mFound solution: 18875[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> Adder-cost: 0 maxlim: 6594219 bits: 23/23 c =================================[SATELITE+]================================== c | | ORIGINAL | LEARNT | | c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | c ============================================================================== c | 13234 | 675426 2166053 | 202627 13105 27356105 2087.5 | 0.409 % | c -- subsuming c -- var.elim.: 37/37 c -- var.elim.: 14/14 c | 13234 | 675421 2165983 | -- 13105 -- -- | -- | -5/-62 c | 13234 | 675421 2165983 | 270168 13105 27356105 2087.5 | 0.409 % | c | 13334 | 675421 2165983 | 297185 13205 27402026 2075.1 | 0.413 % | c | 13485 | 675421 2165983 | 326903 13356 27543727 2062.3 | 0.413 % | c | 13712 | 675421 2165983 | 359594 13583 27891928 2053.4 | 0.413 % | c | 14049 | 675421 2165983 | 395553 13920 28373820 2038.3 | 0.413 % | c | 14562 | 675421 2165983 | 435108 14433 30119445 2086.8 | 0.413 % | c | 15322 | 675421 2165983 | 478619 15193 32074653 2111.1 | 0.413 % | c | 16464 | 675421 2165983 | 526481 16335 36839929 2255.3 | 0.413 % | c | 18182 | 675421 2165983 | 579129 18053 40359365 2235.6 | 0.413 % | c ============================================================================== c (current CPU-time: 774.332 s) c ============================================================================== c [1mFound solution: 17908[0m c -- Detecting intervals from adjacent constraints: (none) c -- Clauses(.)/Splits(s): (none) c ---[ 0]---> Adder-cost: 0 maxlim: 6595186 bits: 23/23 c =================================[SATELITE+]================================== c | | ORIGINAL | LEARNT | | c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | c ============================================================================== c | 19405 | 675455 2166161 | 202636 19276 43545453 2259.1 | 0.413 % | c -- subsuming c -- var.elim.: 32/32 c -- var.elim.: 25/25 c | 19405 | 675393 2165776 | -- 19276 -- -- | -- | -21/38 c | 19405 | 675393 2165776 | 270157 18833 40701027 2161.2 | 0.413 % | c | 19508 | 675393 2165776 | 297172 18936 40815455 2155.4 | 0.418 % | c | 19659 | 675393 2165776 | 326890 19087 41057254 2151.1 | 0.418 % | c | 19889 | 675393 2165776 | 359579 19317 41602735 2153.7 | 0.418 % | c | 20226 | 675393 2165776 | 395537 19654 42387755 2156.7 | 0.418 % | c | 20733 | 675393 2165776 | 435090 20161 43664708 2165.8 | 0.418 % | c | 21497 | 675393 2165776 | 478599 20925 47323928 2261.6 | 0.418 % | c | 22636 | 675393 2165776 | 526459 22064 50657018 2295.9 | 0.418 % | c | 24366 | 675393 2165776 | 579105 23794 55583551 2336.0 | 0.418 % | c | 26928 | 675393 2165776 | 637016 26356 65099480 2470.0 | 0.418 % | c c *** TERMINATED *** s SATISFIABLE v -CL000001_bit0 -CL000002_bit0 -CL000003_bit0 -CL000004_bit0 -CL000005_bit0 -CL000006_bit0 -CL000007_bit0 -CL000008_bit0 -CL000009_bit0 -CL000010_bit0 -CL000011_bit0 -CL000012_bit0 -CL000013_bit0 -CL000014_bit0 -CL000015_bit0 -CL000016_bit0 -CL000017_bit0 -CL000018_bit0 -CL000019_bit0 CL000020_bit0 CL000021_bit0 -CL000022_bit0 -CL000023_bit0 -CL000024_bit0 -CL000025_bit0 -CL000026_bit0 -CL000027_bit0 -CL000028_bit0 -CL000029_bit0 -CL000030_bit0 -CL000031_bit0 -CL000032_bit0 -CL000033_bit0 -CL000034_bit0 -CL000035_bit0 -CL000036_bit0 -CL000037_bit0 -CL000038_bit0 -CL000039_bit0 -CL000040_bit0 -CL000041_bit0 -CL000042_bit0 -CL000043_bit0 -CL000044_bit0 -CL000045_bit0 -CL000046_bit0 -CL000047_bit0 -CL000048_bit0 -CL000049_bit0 -CL000050_bit0 -CL000051_bit0 -CL000052_bit0 -CL000053_bit0 -CL000054_bit0 -CL000055_bit0 -CL000056_bit0 -CL000057_bit0 -CL000058_bit0 -CL000059_bit0 -CL000060_bit0 -CL000061_bit0 -CL000062_bit0 -CL000063_bit0 -CL000064_bit0 -CL000065_bit0 -CL000066_bit0 -CL000067_bit0 -CL000068_bit0 -CL000069_bit0 -CL000070_bit0 -CL000071_bit0 -CL000072_bit0 -CL000073_bit0 -CL000074_bit0 -CL000075_bit0 -CL000076_bit0 -CL000077_bit0 -CL000078_bit0 -CL000079_bit0 -CL000080_bit0 -CL000081_bit0 -CL000082_bit0 -CL000083_bit0 -CL000084_bit0 -CL000085_bit0 -CL000086_bit0 -CL000087_bit0 -CL000088_bit0 -CL000089_bit0 -CL000090_bit0 -CL000091_bit0 -CL000092_bit0 -CL000093_bit0 -CL000094_bit0 -CL000095_bit0 -CL000096_bit0 -CL000097_bit0 -CL000098_bit0 -CL000099_bit0 -CL000100_bit0 -CL000101_bit0 -CL000102_bit0 -CL000103_bit0 -CL000104_bit0 -CL000105_bit0 -CL000106_bit0 -CL000107_bit0 -CL000108_bit0 -CL000109_bit0 -CL000110_bit0 -CL000111_bit0 -CL000112_bit0 -CL000113_bit0 -CL000114_bit0 -CL000115_bit0 -CL000116_bit0 -CL000117_bit0 -CL000118_bit0 -CL000119_bit0 -CL000120_bit0 -CL000121_bit0 -CL000122_bit0 CL000123_bit0 -CL000124_bit0 -CL000125_bit0 -CL000126_bit0 -CL000127_bit0 -CL000128_bit0 -CL000129_bit0 -CL000130_bit0 -CL000131_bit0 -CL000132_bit0 -CL000133_bit0 -CL000134_bit0 -CL000135_bit0 -CL000136_bit0 -CL000137_bit0 -CL000138_bit0 -CL000139_bit0 -CL000140_bit0 -CL000141_bit0 -CL000142_bit0 -CL000143_bit0 -CL000144_bit0 -CL000145_bit0 -CL000146_bit0 -CL000147_bit0 -CL000148_bit0 -CL000149_bit0 -CL000150_bit0 -CL000151_bit0 -CL000152_bit0 -CL000153_bit0 -CL000154_bit0 -CL000155_bit0 -CL000156_bit0 -CL000157_bit0 -CL000158_bit0 -CL000159_bit0 -CL000160_bit0 -CL000161_bit0 -CL000162_bit0 -CL000163_bit0 -CL000164_bit0 -CL000165_bit0 -CL000166_bit0 -CL000167_bit0 -CL000168_bit0 -CL000169_bit0 -CL000170_bit0 -CL000171_bit0 -CL000172_bit0 -CL000173_bit0 -CL000174_bit0 -CL000175_bit0 -CL000176_bit0 -CL000177_bit0 -CL000178_bit0 -CL000179_bit0 -CL000180_bit0 -CL000181_bit0 -CL000182_bit0 -CL000183_bit0 -CL000184_bit0 -CL000185_bit0 -CL000186_bit0 -CL000187_bit0 -CL000188_bit0 -CL000189_bit0 -CL000190_bit0 -CL000191_bit0 CL000192_bit0 -CL000193_bit0 -CL000194_bit0 -CL000195_bit0 -CL000196_bit0 -CL000197_bit0 -CL000198_bit0 -CL000199_bit0 -CL000200_bit0 -CL000201_bit0 -CL000202_bit0 -CL000203_bit0 -CL000204_bit0 -CL000205_bit0 -CL000206_bit0 -CL000207_bit0 -CL000208_bit0 -CL000209_bit0 -CL000210_bit0 -CL000211_bit0 -CL000212_bit0 -CL000213_bit0 -CL000214_bit0 -CL000215_bit0 -CL000216_bit0 -CL000217_bit0 -CL000218_bit0 -CL000219_bit0 -CL000220_bit0 -CL000221_bit0 -CL000222_bit0 -CL000223_bit0 -CL000224_bit0 -CL000225_bit0 -CL000226_bit0 -CL000227_bit0 -CL000228_bit0 -CL000229_bit0 -CL000230_bit0 -CL000231_bit0 -CL000232_bit0 -CL000233_bit0 -CL000234_bit0 -CL000235_bit0 -CL000236_bit0 -CL000237_bit0 -CL000238_bit0 -CL000239_bit0 -CL000240_bit0 -CL000241_bit0 -CL000242_bit0 -CL000243_bit0 -CL000244_bit0 -CL000245_bit0 -CL000246_bit0 -CL000247_bit0 -CL000248_bit0 -CL000249_bit0 -CL000250_bit0 -CL000251_bit0 -CL000252_bit0 -CL000253_bit0 -CL000254_bit0 -CL000255_bit0 -CL000256_bit0 -CL000257_bit0 -CL000258_bit0 -CL000259_bit0 -CL000260_bit0 -CL000261_bit0 -CL000262_bit0 -CL000263_bit0 -CL000264_bit0 -CL000265_bit0 -CL000266_bit0 -CL000267_bit0 -CL000268_bit0 -CL000269_bit0 -CL000270_bit0 -CL000271_bit0 -CL000272_bit0 -CL000273_bit0 -CL000274_bit0 -CL000275_bit0 -CL000276_bit0 -CL000277_bit0 -CL000278_bit0 -CL000279_bit0 -CL000280_bit0 -CL000281_bit0 -CL000282_bit0 -CL000283_bit0 -CL000284_bit0 -CL000285_bit0 -CL000286_bit0 -CL000287_bit0 -CL000288_bit0 -CL000289_bit0 -CL000290_bit0 -CL000291_bit0 -CL000292_bit0 -CL000293_bit0 -CL000294_bit0 -CL000295_bit0 -CL000296_bit0 -CL000297_bit0 -CL000298_bit0 -CL000299_bit0 -CL000300_bit0 -CL000301_bit0 -CL000302_bit0 -CL000303_bit0 -CL000304_bit0 -CL000305_bit0 -CL000306_bit0 -CL000307_bit0 -CL000308_bit0 -CL000309_bit0 -CL000310_bit0 -CL000311_bit0 -CL000312_bit0 -CL000313_bit0 -CL000314_bit0 -CL000315_bit0 -CL000316_bit0 -CL000317_bit0 -CL000318_bit0 -CL000319_bit0 -CL000320_bit0 -CL000321_bit0 -CL000322_bit0 -CL000323_bit0 -CL000324_bit0 -CL000325_bit0 -CL000326_bit0 -CL000327_bit0 -CL000328_bit0 -CL000329_bit0 -CL000330_bit0 -CL000331_bit0 -CL000332_bit0 -CL000333_bit0 -CL000334_bit0 CL000335_bit0 -CL000336_bit0 -CL000337_bit0 -CL000338_bit0 -CL000339_bit0 -CL000340_bit0 -CL000341_bit0 -CL000342_bit0 -CL000343_bit0 -CL000344_bit0 -CL000345_bit0 -CL000346_bit0 -CL000347_bit0 -CL000348_bit0 -CL000349_bit0 -CL000350_bit0 -CL000351_bit0 -CL000352_bit0 -CL000353_bit0 -CL000354_bit0 -CL000355_bit0 -CL000356_bit0 -CL000357_bit0 -CL000358_bit0 -CL000359_bit0 -CL000360_bit0 -CL000361_bit0 -CL000362_bit0 -CL000363_bit0 -CL000364_bit0 -CL000365_bit0 -CL000366_bit0 -CL000367_bit0 -CL000368_bit0 -CL000369_bit0 -CL000370_bit0 -CL000371_bit0 -CL000372_bit0 -CL000373_bit0 -CL000374_bit0 -CL000375_bit0 -CL000376_bit0 -CL000377_bit0 -CL000378_bit0 -CL000379_bit0 -CL000380_bit0 -CL000381_bit0 -CL000382_bit0 -CL000383_bit0 -CL000384_bit0 -CL000385_bit0 -CL000386_bit0 -CL000387_bit0 -CL000388_bit0 -CL000389_bit0 -CL000390_bit0 -CL000391_bit0 -CL000392_bit0 -CL000393_bit0 -CL000394_bit0 -CL000395_bit0 -CL000396_bit0 -CL000397_bit0 -CL000398_bit0 -CL000399_bit0 -CL000400_bit0 -CL000401_bit0 -CL000402_bit0 -CL000403_bit0 -CL000404_bit0 -CL000405_bit0 -CL000406_bit0 -CL000407_bit0 -CL000408_bit0 -CL000409_bit0 -CL000410_bit0 -CL000411_bit0 -CL000412_bit0 -CL000413_bit0 -CL000414_bit0 -CL000415_bit0 -CL000416_bit0 -CL000417_bit0 -CL000418_bit0 -CL000419_bit0 -CL000420_bit0 -CL000421_bit0 -CL000422_bit0 -CL000423_bit0 -CL000424_bit0 -CL000425_bit0 -CL000426_bit0 -CL000427_bit0 -CL000428_bit0 -CL000429_bit0 -CL000430_bit0 -CL000431_bit0 -CL000432_bit0 -CL000433_bit0 -CL000434_bit0 -CL000435_bit0 -CL000436_bit0 -CL000437_bit0 -CL000438_bit0 -CL000439_bit0 -CL000440_bit0 -CL000441_bit0 -CL000442_bit0 -CL000443_bit0 -CL000444_bit0 -CL000445_bit0 -CL000446_bit0 -CL000447_bit0 -CL000448_bit0 -CL000449_bit0 -CL000450_bit0 -CL000451_bit0 -CL000452_bit0 -CL000453_bit0 -CL000454_bit0 -CL000455_bit0 -CL000456_bit0 -CL000457_bit0 -CL000458_bit0 -CL000459_bit0 -CL000460_bit0 -CL000461_bit0 -CL000462_bit0 -CL000463_bit0 -CL000464_bit0 -CL000465_bit0 -CL000466_bit0 -CL000467_bit0 -CL000468_bit0 -CL000469_bit0 -CL000470_bit0 -CL000471_bit0 -CL000472_bit0 -CL000473_bit0 -CL000474_bit0 -CL000475_bit0 -CL000476_bit0 -CL000477_bit0 -CL000478_bit0 -CL000479_bit0 -CL000480_bit0 -CL000481_bit0 -CL000482_bit0 -CL000483_bit0 -CL000484_bit0 -CL000485_bit0 -CL000486_bit0 -CL000487_bit0 -CL000488_bit0 -CL000489_bit0 -CL000490_bit0 -CL000491_bit0 -CL000492_bit0 -CL000493_bit0 -CL000494_bit0 -CL000495_bit0 -CL000496_bit0 -CL000497_bit0 -CL000498_bit0 -CL000499_bit0 -CL000500_bit0 -CL000501_bit0 -CL000502_bit0 -CL000503_bit0 -CL000504_bit0 -CL000505_bit0 -CL000506_bit0 -CL000507_bit0 -CL000508_bit0 -CL000509_bit0 -CL000510_bit0 -CL000511_bit0 -CL000512_bit0 -CL000513_bit0 -CL000514_bit0 -CL000515_bit0 -CL000516_bit0 -CL000517_bit0 -CL000518_bit0 -CL000519_bit0 -CL000520_bit0 -CL000521_bit0 -CL000522_bit0 -CL000523_bit0 -CL000524_bit0 -CL000525_bit0 -CL000526_bit0 -CL000527_bit0 -CL000528_bit0 -CL000529_bit0 -CL000530_bit0 -CL000531_bit0 -CL000532_bit0 -CL000533_bit0 -CL000534_bit0 -CL000535_bit0 -CL000536_bit0 -CL000537_bit0 -CL000538_bit0 -CL000539_bit0 -CL000540_bit0 -CL000541_bit0 -CL000542_bit0 -CL000543_bit0 -CL000544_bit0 -CL000545_bit0 -CL000546_bit0 -CL000547_bit0 -CL000548_bit0 -CL000549_bit0 -CL000550_bit0 -CL000551_bit0 -CL000552_bit0 -CL000553_bit0 -CL000554_bit0 -CL000555_bit0 -CL000556_bit0 -CL000557_bit0 -CL000558_bit0 -CL000559_bit0 -CL000560_bit0 -CL000561_bit0 -CL000562_bit0 -CL000563_bit0 -CL000564_bit0 -CL000565_bit0 -CL000566_bit0 -CL000567_bit0 -CL000568_bit0 -CL000569_bit0 -CL000570_bit0 -CL000571_bit0 -CL000572_bit0 -CL000573_bit0 -CL000574_bit0 -CL000575_bit0 -CL000576_bit0 -CL000577_bit0 -CL000578_bit0 -CL000579_bit0 -CL000580_bit0 -CL000581_bit0 -CL000582_bit0 -CL000583_bit0 -CL000584_bit0 -CL000585_bit0 -CL000586_bit0 -CL000587_bit0 -CL000588_bit0 -CL000589_bit0 -CL000590_bit0 -CL000591_bit0 -CL000592_bit0 -CL000593_bit0 -CL000594_bit0 -CL000595_bit0 -CL000596_bit0 -CL000597_bit0 -CL000598_bit0 -CL000599_bit0 -CL000600_bit0 -CL000601_bit0 -CL000602_bit0 -CL000603_bit0 -CL000604_bit0 -CL000605_bit0 -CL000606_bit0 -CL000607_bit0 -CL000608_bit0 -CL000609_bit0 -CL000610_bit0 -CL000611_bit0 -CL000612_bit0 -CL000613_bit0 -CL000614_bit0 -CL000615_bit0 -CL000616_bit0 -CL000617_bit0 -CL000618_bit0 -CL000619_bit0 -CL000620_bit0 -CL000621_bit0 -CL000622_bit0 -CL000623_bit0 -CL000624_bit0 -CL000625_bit0 -CL000626_bit0 -CL000627_bit0 -CL000628_bit0 -CL000629_bit0 -CL000630_bit0 -CL000631_bit0 -CL000632_bit0 -CL000633_bit0 -CL000634_bit0 -CL000635_bit0 -CL000636_bit0 -CL000637_bit0 -CL000638_bit0 -CL000639_bit0 -CL000640_bit0 -CL000641_bit0 -CL000642_bit0 -CL000643_bit0 -CL000644_bit0 -CL000645_bit0 -CL000646_bit0 -CL000647_bit0 -CL000648_bit0 -CL000649_bit0 -CL000650_bit0 -CL000651_bit0 -CL000652_bit0 -CL000653_bit0 -CL000654_bit0 -CL000655_bit0 -CL000656_bit0 -CL000657_bit0 -CL000658_bit0 -CL000659_bit0 -CL000660_bit0 -CL000661_bit0 -CL000662_bit0 -CL000663_bit0 -CL000664_bit0 -CL000665_bit0 -CL000666_bit0 -CL000667_bit0 -CL000668_bit0 -CL000669_bit0 -CL000670_bit0 -CL000671_bit0 -CL000672_bit0 -CL000673_bit0 -CL000674_bit0 -CL000675_bit0 -CL000676_bit0 -CL000677_bit0 -CL000678_bit0 -CL000679_bit0 -CL000680_bit0 -CL000681_bit0 -CL000682_bit0 -CL000683_bit0 -CL000684_bit0 -CL000685_bit0 -CL000686_bit0 -CL000687_bit0 -CL000688_bit0 -CL000689_bit0 -CL000690_bit0 -CL000691_bit0 -CL000692_bit0 -CL000693_bit0 -CL000694_bit0 -CL000695_bit0 -CL000696_bit0 -CL000697_bit0 -CL000698_bit0 -CL000699_bit0 -CL000700_bit0 -CL000701_bit0 -CL000702_bit0 -CL000703_bit0 -CL000704_bit0 -CL000705_bit0 -CL000706_bit0 -CL000707_bit0 -CL000708_bit0 -CL000709_bit0 -CL000710_bit0 -CL000711_bit0 -CL000712_bit0 -CL000713_bit0 -CL000714_bit0 -CL000715_bit0 -CL000716_bit0 -CL000717_bit0 -CL000718_bit0 -CL000719_bit0 -CL000720_bit0 -CL000721_bit0 -CL000722_bit0 -CL000723_bit0 -CL000724_bit0 -CL000725_bit0 -CL000726_bit0 -CL000727_bit0 -CL000728_bit0 -CL000729_bit0 -CL000730_bit0 -CL000731_bit0 -CL000732_bit0 -CL000733_bit0 -CL000734_bit0 -CL000735_bit0 -CL000736_bit0 -CL000737_bit0 -CL000738_bit0 -CL000739_bit0 -CL000740_bit0 -CL000741_bit0 -CL000742_bit0 -CL000743_bit0 -CL000744_bit0 -CL000745_bit0 -CL000746_bit0 -CL000747_bit0 -CL000748_bit0 -CL000749_bit0 -CL000750_bit0 -CL000751_bit0 -CL000752_bit0 -CL000753_bit0 -CL000754_bit0 -CL000755_bit0 -CL000756_bit0 -CL000757_bit0 -CL000758_bit0 -CL000759_bit0 -CL000760_bit0 -CL000761_bit0 -CL000762_bit0 -CL000763_bit0 -CL000764_bit0 -CL000765_bit0 -CL000766_bit0 -CL000767_bit0 -CL000768_bit0 -CL000769_bit0 -CL000770_bit0 -CL000771_bit0 -CL000772_bit0 -CL000773_bit0 -CL000774_bit0 -CL000775_bit0 -CL000776_bit0 -CL000777_bit0 -CL000778_bit0 -CL000779_bit0 -CL000780_bit0 -CL000781_bit0 -CL000782_bit0 -CL000783_bit0 -CL000784_bit0 -CL000785_bit0 -CL000786_bit0 -CL000787_bit0 -CL000788_bit0 -CL000789_bit0 -CL000790_bit0 -CL000791_bit0 -CL000792_bit0 -CL000793_bit0 -CL000794_bit0 -CL000795_bit0 -CL000796_bit0 -CL000797_bit0 -CL000798_bit0 -CL000799_bit0 -CL000800_bit0 -CL000801_bit0 -CL000802_bit0 -CL000803_bit0 -CL000804_bit0 -CL000805_bit0 -CL000806_bit0 -CL000807_bit0 -CL000808_bit0 -CL000809_bit0 -CL000810_bit0 -CL000811_bit0 -CL000812_bit0 -CL000813_bit0 -CL000814_bit0 -CL000815_bit0 -CL000816_bit0 -CL000817_bit0 -CL000818_bit0 -CL000819_bit0 -CL000820_bit0 -CL000821_bit0 -CL000822_bit0 -CL000823_bit0 -CL000824_bit0 -CL000825_bit0 -CL000826_bit0 -CL000827_bit0 -CL000828_bit0 -CL000829_bit0 -CL000830_bit0 -CL000831_bit0 -CL000832_bit0 -CL000833_bit0 -CL000834_bit0 -CL000835_bit0 -CL000836_bit0 -CL000837_bit0 -CL000838_bit0 -CL000839_bit0 -CL000840_bit0 -CL000841_bit0 -CL000842_bit0 -CL000843_bit0 -CL000844_bit0 -CL000845_bit0 -CL000846_bit0 -CL000847_bit0 -CL000848_bit0 -CL000849_bit0 -CL000850_bit0 -CL000851_bit0 -CL000852_bit0 -CL000853_bit0 -CL000854_bit0 -CL000855_bit0 -CL000856_bit0 -CL000857_bit0 -CL000858_bit0 -CL000859_bit0 -CL000860_bit0 -CL000861_bit0 -CL000862_bit0 -CL000863_bit0 -CL000864_bit0 -CL000865_bit0 -CL000866_bit0 -CL000867_bit0 -CL000868_bit0 -CL000869_bit0 -CL000870_bit0 -CL000871_bit0 -CL000872_bit0 -CL000873_bit0 -CL000874_bit0 -CL000875_bit0 -CL000876_bit0 -CL000877_bit0 -CL000878_bit0 -CL000879_bit0 -CL000880_bit0 -CL000881_bit0 -CL000882_bit0 -CL000883_bit0 -CL000884_bit0 -CL000885_bit0 -CL000886_bit0 -CL000887_bit0 -CL000888_bit0 -CL000889_bit0 -CL000890_bit0 -CL000891_bit0 -CL000892_bit0 -CL000893_bit0 -CL000894_bit0 -CL000895_bit0 -CL000896_bit0 -CL000897_bit0 -CL000898_bit0 -CL000899_bit0 -CL000900_bit0 -CL000901_bit0 -CL000902_bit0 -CL000903_bit0 -CL000904_bit0 -CL000905_bit0 -CL000906_bit0 -CL000907_bit0 -CL000908_bit0 -CL000909_bit0 -CL000910_bit0 -CL000911_bit0 -CL000912_bit0 -CL000913_bit0 -CL000914_bit0 -CL000915_bit0 -CL000916_bit0 -CL000917_bit0 -CL000918_bit0 -CL000919_bit0 -CL000920_bit0 -CL000921_bit0 -CL000922_bit0 -CL000923_bit0 -CL000924_bit0 -CL000925_bit0 -CL000926_bit0 -CL000927_bit0 -CL000928_bit0 -CL000929_bit0 -CL000930_bit0 -CL000931_bit0 -CL000932_bit0 -CL000933_bit0 -CL000934_bit0 -CL000935_bit0 -CL000936_bit0 -CL000937_bit0 -CL000938_bit0 -CL000939_bit0 -CL000940_bit0 -CL000941_bit0 -CL000942_bit0 -CL000943_bit0 -CL000944_bit0 -CL000945_bit0 -CL000946_bit0 -CL000947_bit0 -CL000948_bit0 -CL000949_bit0 -CL000950_bit0 -CL000951_bit0 -CL000952_bit0 -CL000953_bit0 -CL000954_bit0 -CL000955_bit0 -CL000956_bit0 -CL000957_bit0 -CL000958_bit0 -CL000959_bit0 -CL000960_bit0 -CL000961_bit0 -CL000962_bit0 -CL000963_bit0 -CL000964_bit0 -CL000965_bit0 -CL000966_bit0 -CL000967_bit0 -CL000968_bit0 -CL000969_bit0 -CL000970_bit0 -CL000971_bit0 -CL000972_bit0 -CL000973_bit0 -CL000974_bit0 -CL000975_bit0 -CL000976_bit0 -CL000977_bit0 -CL000978_bit0 -CL000979_bit0 -CL000980_bit0 -CL000981_bit0 -CL000982_bit0 -CL000983_bit0 -CL000984_bit0 -CL000985_bit0 -CL000986_bit0 -CL000987_bit0 -CL000988_bit0 -CL000989_bit0 -CL000990_bit0 -CL000991_bit0 -CL000992_bit0 -CL000993_bit0 -CL000994_bit0 -CL000995_bit0 -CL000996_bit0 -CL000997_bit0 -CL000998_bit0 -CL000999_bit0 -CL001000_bit0 -CL001001_bit0 -CL001002_bit0 -CL001003_bit0 -CL001004_bit0 -CL001005_bit0 -CL001006_bit0 -CL001007_bit0 -CL001008_bit0 -CL001009_bit0 -CL001010_bit0 -CL001011_bit0 -CL001012_bit0 -CL001013_bit0 -CL001014_bit0 -CL001015_bit0 -CL001016_bit0 -CL001017_bit0 -CL001018_bit0 -CL001019_bit0 -CL001020_bit0 -CL001021_bit0 -CL001022_bit0 -CL001023_bit0 -CL001024_bit0 -CL001025_bit0 -CL001026_bit0 -CL001027_bit0 -CL001028_bit0 -CL001029_bit0 -CL001030_bit0 -CL001031_bit0 -CL001032_bit0 -CL001033_bit0 -CL001034_bit0 -CL001035_bit0 -CL001036_bit0 -CL001037_bit0 -CL001038_bit0 -CL001039_bit0 -CL001040_bit0 -CL001041_bit0 -CL001042_bit0 -CL001043_bit0 -CL001044_bit0 -CL001045_bit0 -CL001046_bit0 -CL001047_bit0 -CL001048_bit0 -CL001049_bit0 -CL001050_bit0 -CL001051_bit0 -CL001052_bit0 -CL001053_bit0 -CL001054_bit0 -CL001055_bit0 -CL001056_bit0 -CL001057_bit0 -CL001058_bit0 -CL001059_bit0 -CL001060_bit0 -CL001061_bit0 -CL001062_bit0 -CL001063_bit0 -CL001064_bit0 -CL001065_bit0 -CL001066_bit0 -CL001067_bit0 -CL001068_bit0 -CL001069_bit0 -CL001070_bit0 -CL001071_bit0 -CL001072_bit0 -CL001073_bit0 -CL001074_bit0 -CL001075_bit0 -CL001076_bit0 -CL001077_bit0 -CL001078_bit0 -CL001079_bit0 -CL001080_bit0 -CL001081_bit0 -CL001082_bit0 -CL001083_bit0 -CL001084_bit0 -CL001085_bit0 -CL001086_bit0 -CL001087_bit0 -CL001088_bit0 -CL001089_bit0 -CL001090_bit0 -CL001091_bit0 -CL001092_bit0 -CL001093_bit0 -CL001094_bit0 -CL001095_bit0 -CL001096_bit0 -CL001097_bit0 -CL001098_bit0 -CL001099_bit0 -CL001100_bit0 -CL001101_bit0 -CL001102_bit0 -CL001103_bit0 -CL001104_bit0 -CL001105_bit0 -CL001106_bit0 -CL001107_bit0 -CL001108_bit0 -CL001109_bit0 -CL001110_bit0 -CL001111_bit0 -CL001112_bit0 -CL001113_bit0 -CL001114_bit0 -CL001115_bit0 -CL001116_bit0 -CL001117_bit0 -CL001118_bit0 -CL001119_bit0 -CL001120_bit0 -CL001121_bit0 -CL001122_bit0 -CL001123_bit0 -CL001124_bit0 -CL001125_bit0 -CL001126_bit0 -CL001127_bit0 -CL001128_bit0 -CL001129_bit0 -CL001130_bit0 -CL001131_bit0 -CL001132_bit0 -CL001133_bit0 -CL001134_bit0 -CL001135_bit0 -CL001136_bit0 -CL001137_bit0 -CL001138_bit0 -CL001139_bit0 -CL001140_bit0 -CL001141_bit0 -CL001142_bit0 -CL001143_bit0 -CL001144_bit0 -CL001145_bit0 -CL001146_bit0 -CL001147_bit0 -CL001148_bit0 -CL001149_bit0 -CL001150_bit0 -CL001151_bit0 -CL001152_bit0 -CL001153_bit0 -CL001154_bit0 -CL001155_bit0 -CL001156_bit0 -CL001157_bit0 -CL001158_bit0 -CL001159_bit0 -CL001160_bit0 -CL001161_bit0 -CL001162_bit0 -CL001163_bit0 -CL001164_bit0 -CL001165_bit0 -CL001166_bit0 -CL001167_bit0 -CL001168_bit0 -CL001169_bit0 -CL001170_bit0 -CL001171_bit0 -CL001172_bit0 -CL001173_bit0 -CL001174_bit0 -CL001175_bit0 -CL001176_bit0 -CL001177_bit0 -CL001178_bit0 -CL001179_bit0 -CL001180_bit0 -CL001181_bit0 -CL001182_bit0 -CL001183_bit0 -CL001184_bit0 -CL001185_bit0 -CL001186_bit0 -CL001187_bit0 -CL001188_bit0 -CL001189_bit0 -CL001190_bit0 -CL001191_bit0 -CL001192_bit0 -CL001193_bit0 -CL001194_bit0 -CL001195_bit0 -CL001196_bit0 -CL001197_bit0 -CL001198_bit0 -CL001199_bit0 -CL001200_bit0 -CL001201_bit0 -CL001202_bit0 -CL001203_bit0 -CL001204_bit0 -CL001205_bit0 -CL001206_bit0 -CL001207_bit0 -CL001208_bit0 -CL001209_bit0 -CL001210_bit0 -CL001211_bit0 -CL001212_bit0 -CL001213_bit0 -CL001214_bit0 -CL001215_bit0 -CL001216_bit0 -CL001217_bit0 -CL001218_bit0 -CL001219_bit0 -CL001220_bit0 -CL001221_bit0 -CL001222_bit0 -CL001223_bit0 -CL001224_bit0 -CL001225_bit0 -CL001226_bit0 -CL001227_bit0 -CL001228_bit0 -CL001229_bit0 -CL001230_bit0 -CL001231_bit0 -CL001232_bit0 -CL001233_bit0 -CL001234_bit0 -CL001235_bit0 -CL001236_bit0 -CL001237_bit0 -CL001238_bit0 -CL001239_bit0 -CL001240_bit0 -CL001241_bit0 -CL001242_bit0 -CL001243_bit0 -CL001244_bit0 -CL001245_bit0 -CL001246_bit0 -CL001247_bit0 -CL001248_bit0 -CL001249_bit0 -CL001250_bit0 -CL001251_bit0 -CL001252_bit0 -CL001253_bit0 -CL001254_bit0 -CL001255_bit0 -CL001256_bit0 -CL001257_bit0 -CL001258_bit0 -CL001259_bit0 -CL001260_bit0 -CL001261_bit0 -CL001262_bit0 -CL001263_bit0 -CL001264_bit0 -CL001265_bit0 -CL001266_bit0 -CL001267_bit0 -CL001268_bit0 -CL001269_bit0 -CL001270_bit0 -CL001271_bit0 -CL001272_bit0 -CL001273_bit0 -CL001274_bit0 -CL001275_bit0 -CL001276_bit0 -CL001277_bit0 -CL001278_bit0 -CL001279_bit0 -CL001280_bit0 -CL001281_bit0 -CL001282_bit0 -CL001283_bit0 -CL001284_bit0 -CL001285_bit0 -CL001286_bit0 -CL001287_bit0 -CL001288_bit0 -CL001289_bit0 -CL001290_bit0 -CL001291_bit0 -CL001292_bit0 -CL001293_bit0 -CL001294_bit0 -CL001295_bit0 -CL001296_bit0 -CL001297_bit0 -CL001298_bit0 -CL001299_bit0 -CL001300_bit0 CL001301_bit0 -CL001302_bit0 -CL001303_bit0 -CL001304_bit0 -CL001305_bit0 -CL001306_bit0 -CL001307_bit0 -CL001308_bit0 -CL001309_bit0 -CL001310_bit0 -CL001311_bit0 -CL001312_bit0 -CL001313_bit0 -CL001314_bit0 -CL001315_bit0 -CL001316_bit0 -CL001317_bit0 -CL001318_bit0 -CL001319_bit0 -CL001320_bit0 -CL001321_bit0 -CL001322_bit0 -CL001323_bit0 -CL001324_bit0 -CL001325_bit0 -CL001326_bit0 -CL001327_bit0 -CL001328_bit0 -CL001329_bit0 -CL001330_bit0 -CL001331_bit0 -CL001332_bit0 -CL001333_bit0 -CL001334_bit0 -CL001335_bit0 -CL001336_bit0 -CL001337_bit0 -CL001338_bit0 -CL001339_bit0 -CL001340_bit0 -CL001341_bit0 -CL001342_bit0 -CL001343_bit0 -CL001344_bit0 -CL001345_bit0 -CL001346_bit0 -CL001347_bit0 -CL001348_bit0 -CL001349_bit0 -CL001350_bit0 -CL001351_bit0 -CL001352_bit0 -CL001353_bit0 -CL001354_bit0 -CL001355_bit0 -CL001356_bit0 -CL001357_bit0 -CL001358_bit0 -CL001359_bit0 -CL001360_bit0 -CL001361_bit0 -CL001362_bit0 -CL001363_bit0 -CL001364_bit0 -CL001365_bit0 -CL001366_bit0 -CL001367_bit0 -CL001368_bit0 -CL001369_bit0 -CL001370_bit0 -CL001371_bit0 -CL001372_bit0 -CL001373_bit0 -CL001374_bit0 -CL001375_bit0 -CL001376_bit0 -CL001377_bit0 -CL001378_bit0 -CL001379_bit0 -CL001380_bit0 -CL001381_bit0 -CL001382_bit0 -CL001383_bit0 -CL001384_bit0 -CL001385_bit0 -CL001386_bit0 -CL001387_bit0 -CL001388_bit0 -CL001389_bit0 -CL001390_bit0 -CL001391_bit0 -CL001392_bit0 -CL001393_bit0 -CL001394_bit0 -CL001395_bit0 -CL001396_bit0 -CL001397_bit0 -CL001398_bit0 -CL001399_bit0 -CL001400_bit0 -CL001401_bit0 -CL001402_bit0 -CL001403_bit0 -CL001404_bit0 -CL001405_bit0 -CL001406_bit0 -CL001407_bit0 -CL001408_bit0 -CL001409_bit0 -CL001410_bit0 -CL001411_bit0 -CL001412_bit0 -CL001413_bit0 -CL001414_bit0 -CL001415_bit0 -CL001416_bit0 -CL001417_bit0 -CL001418_bit0 -CL001419_bit0 -CL001420_bit0 -CL001421_bit0 -CL001422_bit0 -CL001423_bit0 -CL001424_bit0 -CL001425_bit0 -CL001426_bit0 -CL001427_bit0 -CL001428_bit0 -CL001429_bit0 -CL001430_bit0 -CL001431_bit0 -CL001432_bit0 -CL001433_bit0 -CL001434_bit0 -CL001435_bit0 -CL001436_bit0 -CL001437_bit0 -CL001438_bit0 -CL001439_bit0 -CL001440_bit0 -CL001441_bit0 -CL001442_bit0 -CL001443_bit0 -CL001444_bit0 -CL001445_bit0 -CL001446_bit0 -CL001447_bit0 -CL001448_bit0 -CL001449_bit0 -CL001450_bit0 -CL001451_bit0 -CL001452_bit0 -CL001453_bit0 -CL001454_bit0 -CL001455_bit0 -CL001456_bit0 -CL001457_bit0 -CL001458_bit0 -CL001459_bit0 -CL001460_bit0 -CL001461_bit0 -CL001462_bit0 -CL001463_bit0 -CL001464_bit0 -CL001465_bit0 -CL001466_bit0 -CL001467_bit0 -CL001468_bit0 -CL001469_bit0 -CL001470_bit0 -CL001471_bit0 -CL001472_bit0 -CL001473_bit0 -CL001474_bit0 -CL001475_bit0 -CL001476_bit0 -CL001477_bit0 -CL001478_bit0 -CL001479_bit0 -CL001480_bit0 -CL001481_bit0 -CL001482_bit0 -CL001483_bit0 -CL001484_bit0 -CL001485_bit0 -CL001486_bit0 -CL001487_bit0 -CL001488_bit0 -CL001489_bit0 -CL001490_bit0 -CL001491_bit0 -CL001492_bit0 -CL001493_bit0 -CL001494_bit0 -CL001495_bit0 -CL001496_bit0 -CL001497_bit0 -CL001498_bit0 -CL001499_bit0 -CL001500_bit0 -CL001501_bit0 -CL001502_bit0 -CL001503_bit0 -CL001504_bit0 -CL001505_bit0 -CL001506_bit0 -CL001507_bit0 -CL001508_bit0 -CL001509_bit0 -CL001510_bit0 -CL001511_bit0 -CL001512_bit0 -CL001513_bit0 -CL001514_bit0 -CL001515_bit0 -CL001516_bit0 -CL001517_bit0 -CL001518_bit0 -CL001519_bit0 -CL001520_bit0 -CL001521_bit0 -CL001522_bit0 -CL001523_bit0 -CL001524_bit0 -CL001525_bit0 -CL001526_bit0 -CL001527_bit0 -CL001528_bit0 -CL001529_bit0 -CL001530_bit0 -CL001531_bit0 -CL001532_bit0 -CL001533_bit0 -CL001534_bit0 -CL001535_bit0 -CL001536_bit0 -CL001537_bit0 -CL001538_bit0 -CL001539_bit0 -CL001540_bit0 -CL001541_bit0 -CL001542_bit0 -CL001543_bit0 -CL001544_bit0 -CL001545_bit0 -CL001546_bit0 -CL001547_bit0 -CL001548_bit0 -CL001549_bit0 -CL001550_bit0 -CL001551_bit0 -CL001552_bit0 -CL001553_bit0 -CL001554_bit0 -CL001555_bit0 -CL001556_bit0 -CL001557_bit0 -CL001558_bit0 -CL001559_bit0 -CL001560_bit0 -CL001561_bit0 -CL001562_bit0 -CL001563_bit0 -CL001564_bit0 -CL001565_bit0 -CL001566_bit0 -CL001567_bit0 -CL001568_bit0 -CL001569_bit0 -CL001570_bit0 -CL001571_bit0 -CL001572_bit0 -CL001573_bit0 -CL001574_bit0 -CL001575_bit0 -CL001576_bit0 -CL001577_bit0 -CL001578_bit0 -CL001579_bit0 -CL001580_bit0 -CL001581_bit0 -CL001582_bit0 -CL001583_bit0 -CL001584_bit0 -CL001585_bit0 -CL001586_bit0 -CL001587_bit0 -CL001588_bit0 -CL001589_bit0 -CL001590_bit0 -CL001591_bit0 -CL001592_bit0 -CL001593_bit0 -CL001594_bit0 -CL001595_bit0 -CL001596_bit0 -CL001597_bit0 -CL001598_bit0 -CL001599_bit0 -CL001600_bit0 -CL001601_bit0 -CL001602_bit0 -CL001603_bit0 -CL001604_bit0 -CL001605_bit0 -CL001606_bit0 -CL001607_bit0 -CL001608_bit0 -CL001609_bit0 -CL001610_bit0 -CL001611_bit0 -CL001612_bit0 -CL001613_bit0 -CL001614_bit0 -CL001615_bit0 -CL001616_bit0 -CL001617_bit0 -CL001618_bit0 -CL001619_bit0 -CL001620_bit0 -CL001621_bit0 -CL001622_bit0 -CL001623_bit0 -CL001624_bit0 -CL001625_bit0 -CL001626_bit0 -CL001627_bit0 -CL001628_bit0 -CL001629_bit0 -CL001630_bit0 -CL001631_bit0 -CL001632_bit0 -CL001633_bit0 -CL001634_bit0 -CL001635_bit0 -CL001636_bit0 -CL001637_bit0 -CL001638_bit0 -CL001639_bit0 -CL001640_bit0 -CL001641_bit0 -CL001642_bit0 -CL001643_bit0 -CL001644_bit0 -CL001645_bit0 -CL001646_bit0 -CL001647_bit0 -CL001648_bit0 -CL001649_bit0 -CL001650_bit0 -CL001651_bit0 -CL001652_bit0 -CL001653_bit0 -CL001654_bit0 -CL001655_bit0 -CL001656_bit0 -CL001657_bit0 -CL001658_bit0 -CL001659_bit0 -CL001660_bit0 -CL001661_bit0 -CL001662_bit0 -CL001663_bit0 -CL001664_bit0 -CL001665_bit0 -CL001666_bit0 -CL001667_bit0 -CL001668_bit0 -CL001669_bit0 -CL001670_bit0 -CL001671_bit0 -CL001672_bit0 -CL001673_bit0 -CL001674_bit0 -CL001675_bit0 -CL001676_bit0 -CL001677_bit0 -CL001678_bit0 -CL001679_bit0 -CL001680_bit0 -CL001681_bit0 -CL001682_bit0 -CL001683_bit0 -CL001684_bit0 -CL001685_bit0 -CL001686_bit0 -CL001687_bit0 -CL001688_bit0 -CL001689_bit0 -CL001690_bit0 -CL001691_bit0 -CL001692_bit0 -CL001693_bit0 -CL001694_bit0 -CL001695_bit0 -CL001696_bit0 -CL001697_bit0 -CL001698_bit0 -CL001699_bit0 -CL001700_bit0 -CL001701_bit0 -CL001702_bit0 -CL001703_bit0 -CL001704_bit0 -CL001705_bit0 -CL001706_bit0 -CL001707_bit0 -CL001708_bit0 -CL001709_bit0 -CL001710_bit0 -CL001711_bit0 -CL001712_bit0 -CL001713_bit0 -CL001714_bit0 -CL001715_bit0 -CL001716_bit0 -CL001717_bit0 -CL001718_bit0 -CL001719_bit0 -CL001720_bit0 -CL001721_bit0 -CL001722_bit0 -CL001723_bit0 -CL001724_bit0 -CL001725_bit0 -CL001726_bit0 -CL001727_bit0 -CL001728_bit0 -CL001729_bit0 -CL001730_bit0 -CL001731_bit0 -CL001732_bit0 -CL001733_bit0 -CL001734_bit0 -CL001735_bit0 -CL001736_bit0 -CL001737_bit0 -CL001738_bit0 -CL001739_bit0 -CL001740_bit0 -CL001741_bit0 -CL001742_bit0 -CL001743_bit0 -CL001744_bit0 -CL001745_bit0 -CL001746_bit0 -CL001747_bit0 -CL001748_bit0 -CL001749_bit0 -CL001750_bit0 -CL001751_bit0 -CL001752_bit0 -CL001753_bit0 -CL001754_bit0 -CL001755_bit0 -CL001756_bit0 -CL001757_bit0 -CL001758_bit0 -CL001759_bit0 -CL001760_bit0 -CL001761_bit0 -CL001762_bit0 -CL001763_bit0 -CL001764_bit0 -CL001765_bit0 -CL001766_bit0 -CL001767_bit0 -CL001768_bit0 -CL001769_bit0 -CL001770_bit0 -CL001771_bit0 -CL001772_bit0 -CL001773_bit0 -CL001774_bit0 -CL001775_bit0 -CL001776_bit0 -CL001777_bit0 -CL001778_bit0 -CL001779_bit0 -CL001780_bit0 -CL001781_bit0 -CL001782_bit0 -CL001783_bit0 -CL001784_bit0 -CL001785_bit0 -CL001786_bit0 -CL001787_bit0 -CL001788_bit0 -CL001789_bit0 -CL001790_bit0 -CL001791_bit0 -CL001792_bit0 -CL001793_bit0 -CL001794_bit0 -CL001795_bit0 -CL001796_bit0 -CL001797_bit0 -CL001798_bit0 -CL001799_bit0 -CL001800_bit0 -CL001801_bit0 -CL001802_bit0 -CL001803_bit0 -CL001804_bit0 -CL001805_bit0 -CL001806_bit0 -CL001807_bit0 -CL001808_bit0 -CL001809_bit0 -CL001810_bit0 -CL001811_bit0 -CL001812_bit0 -CL001813_bit0 -CL001814_bit0 -CL001815_bit0 -CL001816_bit0 -CL001817_bit0 -CL001818_bit0 -CL001819_bit0 -CL001820_bit0 -CL001821_bit0 -CL001822_bit0 -CL001823_bit0 -CL001824_bit0 -CL001825_bit0 -CL001826_bit0 -CL001827_bit0 -CL001828_bit0 -CL001829_bit0 -CL001830_bit0 -CL001831_bit0 -CL001832_bit0 -CL001833_bit0 -CL001834_bit0 -CL001835_bit0 -CL001836_bit0 -CL001837_bit0 -CL001838_bit0 -CL001839_bit0 -CL001840_bit0 -CL001841_bit0 -CL001842_bit0 -CL001843_bit0 -CL001844_bit0 -CL001845_bit0 -CL001846_bit0 -CL001847_bit0 -CL001848_bit0 -CL001849_bit0 -CL001850_bit0 -CL001851_bit0 -CL001852_bit0 -CL001853_bit0 -CL001854_bit0 -CL001855_bit0 -CL001856_bit0 -CL001857_bit0 -CL001858_bit0 -CL001859_bit0 -CL001860_bit0 -CL001861_bit0 -CL001862_bit0 -CL001863_bit0 -CL001864_bit0 -CL001865_bit0 -CL001866_bit0 -CL001867_bit0 -CL001868_bit0 -CL001869_bit0 -CL001870_bit0 -CL001871_bit0 -CL001872_bit0 -CL001873_bit0 -CL001874_bit0 -CL001875_bit0 -CL001876_bit0 -CL001877_bit0 -CL001878_bit0 -CL001879_bit0 -CL001880_bit0 -CL001881_bit0 -CL001882_bit0 -CL001883_bit0 -CL001884_bit0 -CL001885_bit0 -CL001886_bit0 -CL001887_bit0 -CL001888_bit0 -CL001889_bit0 -CL001890_bit0 -CL001891_bit0 -CL001892_bit0 -CL001893_bit0 -CL001894_bit0 -CL001895_bit0 -CL001896_bit0 -CL001897_bit0 -CL001898_bit0 -CL001899_bit0 -CL001900_bit0 -CL001901_bit0 -CL001902_bit0 -CL001903_bit0 -CL001904_bit0 -CL001905_bit0 -CL001906_bit0 -CL001907_bit0 -CL001908_bit0 -CL001909_bit0 -CL001910_bit0 -CL001911_bit0 -CL001912_bit0 -CL001913_bit0 -CL001914_bit0 -CL001915_bit0 -CL001916_bit0 -CL001917_bit0 -CL001918_bit0 -CL001919_bit0 -CL001920_bit0 -CL001921_bit0 -CL001922_bit0 -CL001923_bit0 -CL001924_bit0 -CL001925_bit0 -CL001926_bit0 -CL001927_bit0 -CL001928_bit0 -CL001929_bit0 -CL001930_bit0 -CL001931_bit0 -CL001932_bit0 -CL001933_bit0 -CL001934_bit0 -CL001935_bit0 -CL001936_bit0 -CL001937_bit0 -CL001938_bit0 -CL001939_bit0 -CL001940_bit0 -CL001941_bit0 -CL001942_bit0 -CL001943_bit0 -CL001944_bit0 -CL001945_bit0 -CL001946_bit0 -CL001947_bit0 -CL001948_bit0 -CL001949_bit0 -CL001950_bit0 -CL001951_bit0 -CL001952_bit0 -CL001953_bit0 -CL001954_bit0 -CL001955_bit0 -CL001956_bit0 -CL001957_bit0 -CL001958_bit0 -CL001959_bit0 -CL001960_bit0 -CL001961_bit0 -CL001962_bit0 -CL001963_bit0 -CL001964_bit0 -CL001965_bit0 -CL001966_bit0 -CL001967_bit0 -CL001968_bit0 -CL001969_bit0 -CL001970_bit0 -CL001971_bit0 -CL001972_bit0 -CL001973_bit0 -CL001974_bit0 -CL001975_bit0 -CL001976_bit0 -CL001977_bit0 -CL001978_bit0 -CL001979_bit0 -CL001980_bit0 -CL001981_bit0 -CL001982_bit0 -CL001983_bit0 -CL001984_bit0 -CL001985_bit0 -CL001986_bit0 -CL001987_bit0 -CL001988_bit0 -CL001989_bit0 -CL001990_bit0 -CL001991_bit0 -CL001992_bit0 -CL001993_bit0 -CL001994_bit0 -CL001995_bit0 -CL001996_bit0 -CL001997_bit0 -CL001998_bit0 -CL001999_bit0 -CL002000_bit0 -CL002001_bit0 -CL002002_bit0 -CL002003_bit0 -CL002004_bit0 -CL002005_bit0 -CL002006_bit0 -CL002007_bit0 -CL002008_bit0 -CL002009_bit0 -CL002010_bit0 -CL002011_bit0 -CL002012_bit0 -CL002013_bit0 -CL002014_bit0 -CL002015_bit0 -CL002016_bit0 -CL002017_bit0 -CL002018_bit0 -CL002019_bit0 -CL002020_bit0 -CL002021_bit0 -CL002022_bit0 -CL002023_bit0 -CL002024_bit0 -CL002025_bit0 -CL002026_bit0 -CL002027_bit0 -CL002028_bit0 -CL002029_bit0 -CL002030_bit0 -CL002031_bit0 -CL002032_bit0 -CL002033_bit0 -CL002034_bit0 -CL002035_bit0 -CL002036_bit0 -CL002037_bit0 -CL002038_bit0 -CL002039_bit0 -CL002040_bit0 -CL002041_bit0 -CL002042_bit0 -CL002043_bit0 -CL002044_bit0 -CL002045_bit0 -CL002046_bit0 -CL002047_bit0 -CL002048_bit0 -CL002049_bit0 -CL002050_bit0 -CL002051_bit0 -CL002052_bit0 -CL002053_bit0 -CL002054_bit0 -CL002055_bit0 -CL002056_bit0 -CL002057_bit0 -CL002058_bit0 -CL002059_bit0 -CL002060_bit0 -CL002061_bit0 -CL002062_bit0 -CL002063_bit0 -CL002064_bit0 -CL002065_bit0 -CL002066_bit0 -CL002067_bit0 -CL002068_bit0 -CL002069_bit0 -CL002070_bit0 -CL002071_bit0 -CL002072_bit0 -CL002073_bit0 -CL002074_bit0 -CL002075_bit0 -CL002076_bit0 -CL002077_bit0 -CL002078_bit0 -CL002079_bit0 -CL002080_bit0 -CL002081_bit0 -CL002082_bit0 -CL002083_bit0 -CL002084_bit0 -CL002085_bit0 -CL002086_bit0 -CL002087_bit0 -CL002088_bit0 -CL002089_bit0 -CL002090_bit0 -CL002091_bit0 -CL002092_bit0 -CL002093_bit0 -CL002094_bit0 -CL002095_bit0 -CL002096_bit0 -CL002097_bit0 -CL002098_bit0 -CL002099_bit0 -CL002100_bit0 -CL002101_bit0 -CL002102_bit0 -CL002103_bit0 -CL002104_bit0 -CL002105_bit0 -CL002106_bit0 -CL002107_bit0 -CL002108_bit0 -CL002109_bit0 -CL002110_bit0 -CL002111_bit0 -CL002112_bit0 -CL002113_bit0 -CL002114_bit0 -CL002115_bit0 -CL002116_bit0 -CL002117_bit0 -CL002118_bit0 -CL002119_bit0 -CL002120_bit0 -CL002121_bit0 -CL002122_bit0 -CL002123_bit0 -CL002124_bit0 -CL002125_bit0 -CL002126_bit0 -CL002127_bit0 -CL002128_bit0 -CL002129_bit0 -CL002130_bit0 -CL002131_bit0 -CL002132_bit0 -CL002133_bit0 -CL002134_bit0 -CL002135_bit0 -CL002136_bit0 -CL002137_bit0 -CL002138_bit0 -CL002139_bit0 -CL002140_bit0 -CL002141_bit0 -CL002142_bit0 -CL002143_bit0 -CL002144_bit0 -CL002145_bit0 -CL002146_bit0 -CL002147_bit0 -CL002148_bit0 -CL002149_bit0 -CL002150_bit0 -CL002151_bit0 -CL002152_bit0 -CL002153_bit0 -CL002154_bit0 -CL002155_bit0 -CL002156_bit0 -CL002157_bit0 -CL002158_bit0 -CL002159_bit0 -CL002160_bit0 -CL002161_bit0 -CL002162_bit0 -CL002163_bit0 -CL002164_bit0 -CL002165_bit0 -CL002166_bit0 -CL002167_bit0 -CL002168_bit0 -CL002169_bit0 -CL002170_bit0 -CL002171_bit0 -CL002172_bit0 -CL002173_bit0 -CL002174_bit0 -CL002175_bit0 -CL002176_bit0 -CL002177_bit0 -CL002178_bit0 -CL002179_bit0 -CL002180_bit0 -CL002181_bit0 -CL002182_bit0 -CL002183_bit0 -CL002184_bit0 -CL002185_bit0 -CL002186_bit0 -CL002187_bit0 -CL002188_bit0 -CL002189_bit0 -CL002190_bit0 -CL002191_bit0 -CL002192_bit0 -CL002193_bit0 -CL002194_bit0 -CL002195_bit0 -CL002196_bit0 -CL002197_bit0 -CL002198_bit0 -CL002199_bit0 -CL002200_bit0 -CL002201_bit0 -CL002202_bit0 -CL002203_bit0 -CL002204_bit0 -CL002205_bit0 -CL002206_bit0 -CL002207_bit0 -CL002208_bit0 -CL002209_bit0 -CL002210_bit0 -CL002211_bit0 -CL002212_bit0 -CL002213_bit0 -CL002214_bit0 -CL002215_bit0 -CL002216_bit0 -CL002217_bit0 -CL002218_bit0 -CL002219_bit0 -CL002220_bit0 -CL002221_bit0 -CL002222_bit0 -CL002223_bit0 -CL002224_bit0 -CL002225_bit0 -CL002226_bit0 -CL002227_bit0 -CL002228_bit0 -CL002229_bit0 -CL002230_bit0 -CL002231_bit0 -CL002232_bit0 -CL002233_bit0 -CL002234_bit0 -CL002235_bit0 -CL002236_bit0 -CL002237_bit0 -CL002238_bit0 -CL002239_bit0 -CL002240_bit0 -CL002241_bit0 -CL002242_bit0 -CL002243_bit0 -CL002244_bit0 -CL002245_bit0 -CL002246_bit0 -CL002247_bit0 -CL002248_bit0 -CL002249_bit0 -CL002250_bit0 -CL002251_bit0 -CL002252_bit0 -CL002253_bit0 -CL002254_bit0 -CL002255_bit0 -CL002256_bit0 -CL002257_bit0 -CL002258_bit0 -CL002259_bit0 -CL002260_bit0 -CL002261_bit0 -CL002262_bit0 -CL002263_bit0 -CL002264_bit0 -CL002265_bit0 -CL002266_bit0 -CL002267_bit0 -CL002268_bit0 -CL002269_bit0 -CL002270_bit0 -CL002271_bit0 -CL002272_bit0 -CL002273_bit0 -CL002274_bit0 -CL002275_bit0 -CL002276_bit0 -CL002277_bit0 -CL002278_bit0 -CL002279_bit0 -CL002280_bit0 -CL002281_bit0 -CL002282_bit0 -CL002283_bit0 -CL002284_bit0 -CL002285_bit0 -CL002286_bit0 -CL002287_bit0 -CL002288_bit0 -CL002289_bit0 -CL002290_bit0 -CL002291_bit0 -CL002292_bit0 -CL002293_bit0 -CL002294_bit0 -CL002295_bit0 -CL002296_bit0 -CL002297_bit0 -CL002298_bit0 -CL002299_bit0 -CL002300_bit0 -CL002301_bit0 -CL002302_bit0 -CL002303_bit0 -CL002304_bit0 -CL002305_bit0 -CL002306_bit0 -CL002307_bit0 -CL002308_bit0 -CL002309_bit0 -CL002310_bit0 -CL002311_bit0 -CL002312_bit0 -CL002313_bit0 -CL002314_bit0 -CL002315_bit0 -CL002316_bit0 -CL002317_bit0 -CL002318_bit0 -CL002319_bit0 -CL002320_bit0 -CL002321_bit0 -CL002322_bit0 -CL002323_bit0 -CL002324_bit0 -CL002325_bit0 -CL002326_bit0 -CL002327_bit0 -CL002328_bit0 -CL002329_bit0 -CL002330_bit0 -CL002331_bit0 -CL002332_bit0 -CL002333_bit0 -CL002334_bit0 -CL002335_bit0 -CL002336_bit0 -CL002337_bit0 -CL002338_bit0 -CL002339_bit0 -CL002340_bit0 -CL002341_bit0 -CL002342_bit0 -CL002343_bit0 -CL002344_bit0 -CL002345_bit0 -CL002346_bit0 -CL002347_bit0 -CL002348_bit0 -CL002349_bit0 -CL002350_bit0 -CL002351_bit0 -CL002352_bit0 -CL002353_bit0 -CL002354_bit0 -CL002355_bit0 -CL002356_bit0 -CL002357_bit0 -CL002358_bit0 -CL002359_bit0 -CL002360_bit0 -CL002361_bit0 -CL002362_bit0 -CL002363_bit0 -CL002364_bit0 -CL002365_bit0 -CL002366_bit0 -CL002367_bit0 -CL002368_bit0 -CL002369_bit0 -CL002370_bit0 -CL002371_bit0 -CL002372_bit0 -CL002373_bit0 -CL002374_bit0 -CL002375_bit0 -CL002376_bit0 -CL002377_bit0 -CL002378_bit0 -CL002379_bit0 -CL002380_bit0 -CL002381_bit0 -CL002382_bit0 -CL002383_bit0 -CL002384_bit0 -CL002385_bit0 -CL002386_bit0 -CL002387_bit0 -CL002388_bit0 -CL002389_bit0 -CL002390_bit0 -CL002391_bit0 -CL002392_bit0 -CL002393_bit0 -CL002394_bit0 -CL002395_bit0 -CL002396_bit0 -CL002397_bit0 -CL002398_bit0 -CL002399_bit0 -CL002400_bit0 -CL002401_bit0 -CL002402_bit0 -CL002403_bit0 -CL002404_bit0 -CL002405_bit0 -CL002406_bit0 -CL002407_bit0 -CL002408_bit0 -CL002409_bit0 -CL002410_bit0 -CL002411_bit0 -CL002412_bit0 -CL002413_bit0 -CL002414_bit0 -CL002415_bit0 -CL002416_bit0 -CL002417_bit0 CL002418_bit0 -CL002419_bit0 -CL002420_bit0 -CL002421_bit0 -CL002422_bit0 -CL002423_bit0 -CL002424_bit0 -CL002425_bit0 -CL002426_bit0 -CL002427_bit0 -CL002428_bit0 -CL002429_bit0 -CL002430_bit0 -CL002431_bit0 -CL002432_bit0 -CL002433_bit0 -CL002434_bit0 -CL002435_bit0 -CL002436_bit0 -CL002437_bit0 -CL002438_bit0 -CL002439_bit0 -CL002440_bit0 -CL002441_bit0 -CL002442_bit0 -CL002443_bit0 -CL002444_bit0 -CL002445_bit0 -CL002446_bit0 -CL002447_bit0 -CL002448_bit0 -CL002449_bit0 -CL002450_bit0 -CL002451_bit0 -CL002452_bit0 -CL002453_bit0 -CL002454_bit0 -CL002455_bit0 -CL002456_bit0 -CL002457_bit0 -CL002458_bit0 -CL002459_bit0 -CL002460_bit0 -CL002461_bit0 -CL002462_bit0 -CL002463_bit0 -CL002464_bit0 -CL002465_bit0 -CL002466_bit0 -CL002467_bit0 -CL002468_bit0 -CL002469_bit0 -CL002470_bit0 -CL002471_bit0 -CL002472_bit0 -CL002473_bit0 -CL002474_bit0 -CL002475_bit0 -CL002476_bit0 -CL002477_bit0 -CL002478_bit0 -CL002479_bit0 -CL002480_bit0 -CL002481_bit0 -CL002482_bit0 -CL002483_bit0 -CL002484_bit0 -CL002485_bit0 -CL002486_bit0 -CL002487_bit0 -CL002488_bit0 -CL002489_bit0 -CL002490_bit0 -CL002491_bit0 -CL002492_bit0 -CL002493_bit0 -CL002494_bit0 -CL002495_bit0 -CL002496_bit0 -CL002497_bit0 -CL002498_bit0 -CL002499_bit0 -CL002500_bit0 -CL002501_bit0 -CL002502_bit0 -CL002503_bit0 -CL002504_bit0 -CL002505_bit0 -CL002506_bit0 -CL002507_bit0 -CL002508_bit0 -CL002509_bit0 -CL002510_bit0 -CL002511_bit0 -CL002512_bit0 -CL002513_bit0 -CL002514_bit0 -CL002515_bit0 -CL002516_bit0 -CL002517_bit0 -CL002518_bit0 -CL002519_bit0 -CL002520_bit0 -CL002521_bit0 -CL002522_bit0 -CL002523_bit0 -CL002524_bit0 -CL002525_bit0 -CL002526_bit0 -CL002527_bit0 -CL002528_bit0 -CL002529_bit0 -CL002530_bit0 -CL002531_bit0 -CL002532_bit0 -CL002533_bit0 -CL002534_bit0 -CL002535_bit0 -CL002536_bit0 -CL002537_bit0 -CL002538_bit0 -CL002539_bit0 -CL002540_bit0 -CL002541_bit0 -CL002542_bit0 -CL002543_bit0 -CL002544_bit0 -CL002545_bit0 -CL002546_bit0 -CL002547_bit0 -CL002548_bit0 -CL002549_bit0 -CL002550_bit0 -CL002551_bit0 -CL002552_bit0 -CL002553_bit0 -CL002554_bit0 -CL002555_bit0 -CL002556_bit0 -CL002557_bit0 -CL002558_bit0 -CL002559_bit0 -CL002560_bit0 -CL002561_bit0 -CL002562_bit0 -CL002563_bit0 -CL002564_bit0 -CL002565_bit0 -CL002566_bit0 -CL002567_bit0 -CL002568_bit0 -CL002569_bit0 -CL002570_bit0 -CL002571_bit0 -CL002572_bit0 -CL002573_bit0 -CL002574_bit0 -CL002575_bit0 -CL002576_bit0 -CL002577_bit0 -CL002578_bit0 -CL002579_bit0 -CL002580_bit0 -CL002581_bit0 -CL002582_bit0 -CL002583_bit0 -CL002584_bit0 -CL002585_bit0 -CL002586_bit0 -CL002587_bit0 -CL002588_bit0 -CL002589_bit0 -CL002590_bit0 -CL002591_bit0 -CL002592_bit0 -CL002593_bit0 -CL002594_bit0 -CL002595_bit0 -CL002596_bit0 -CL002597_bit0 -CL002598_bit0 -CL002599_bit0 -CL002600_bit0 -CL002601_bit0 -CL002602_bit0 -CL002603_bit0 -CL002604_bit0 -CL002605_bit0 -CL002606_bit0 -CL002607_bit0 -CL002608_bit0 -CL002609_bit0 -CL002610_bit0 -CL002611_bit0 -CL002612_bit0 -CL002613_bit0 -CL002614_bit0 -CL002615_bit0 -CL002616_bit0 -CL002617_bit0 -CL002618_bit0 -CL002619_bit0 -CL002620_bit0 -CL002621_bit0 -CL002622_bit0 -CL002623_bit0 -CL002624_bit0 -CL002625_bit0 -CL002626_bit0 -CL002627_bit0 -CL002628_bit0 -CL002629_bit0 -CL002630_bit0 -CL002631_bit0 -CL002632_bit0 -CL002633_bit0 -CL002634_bit0 -CL002635_bit0 -CL002636_bit0 -CL002637_bit0 -CL002638_bit0 -CL002639_bit0 -CL002640_bit0 -CL002641_bit0 -CL002642_bit0 -CL002643_bit0 -CL002644_bit0 -CL002645_bit0 -CL002646_bit0 -CL002647_bit0 -CL002648_bit0 -CL002649_bit0 -CL002650_bit0 -CL002651_bit0 -CL002652_bit0 -CL002653_bit0 -CL002654_bit0 -CL002655_bit0 -CL002656_bit0 -CL002657_bit0 -CL002658_bit0 -CL002659_bit0 -CL002660_bit0 -CL002661_bit0 -CL002662_bit0 -CL002663_bit0 -CL002664_bit0 -CL002665_bit0 -CL002666_bit0 -CL002667_bit0 -CL002668_bit0 -CL002669_bit0 -CL002670_bit0 -CL002671_bit0 -CL002672_bit0 -CL002673_bit0 -CL002674_bit0 -CL002675_bit0 -CL002676_bit0 -CL002677_bit0 -CL002678_bit0 -CL002679_bit0 -CL002680_bit0 -CL002681_bit0 -CL002682_bit0 -CL002683_bit0 -CL002684_bit0 -CL002685_bit0 -CL002686_bit0 -CL002687_bit0 -CL002688_bit0 -CL002689_bit0 -CL002690_bit0 -CL002691_bit0 -CL002692_bit0 -CL002693_bit0 -CL002694_bit0 -CL002695_bit0 -CL002696_bit0 -CL002697_bit0 -CL002698_bit0 -CL002699_bit0 -CL002700_bit0 -CL002701_bit0 -CL002702_bit0 -CL002703_bit0 -CL002704_bit0 -CL002705_bit0 -CL002706_bit0 -CL002707_bit0 -CL002708_bit0 -CL002709_bit0 -CL002710_bit0 -CL002711_bit0 -CL002712_bit0 -CL002713_bit0 -CL002714_bit0 -CL002715_bit0 -CL002716_bit0 -CL002717_bit0 -CL002718_bit0 -CL002719_bit0 -CL002720_bit0 -CL002721_bit0 -CL002722_bit0 -CL002723_bit0 -CL002724_bit0 -CL002725_bit0 -CL002726_bit0 -CL002727_bit0 -CL002728_bit0 -CL002729_bit0 -CL002730_bit0 -CL002731_bit0 -CL002732_bit0 -CL002733_bit0 -CL002734_bit0 -CL002735_bit0 -CL002736_bit0 -CL002737_bit0 -CL002738_bit0 -CL002739_bit0 -CL002740_bit0 -CL002741_bit0 -CL002742_bit0 -CL002743_bit0 -CL002744_bit0 -CL002745_bit0 -CL002746_bit0 -CL002747_bit0 -CL002748_bit0 -CL002749_bit0 -CL002750_bit0 -CL002751_bit0 -CL002752_bit0 -CL002753_bit0 -CL002754_bit0 -CL002755_bit0 -CL002756_bit0 -CL002757_bit0 -CL002758_bit0 -CL002759_bit0 -CL002760_bit0 -CL002761_bit0 -CL002762_bit0 -CL002763_bit0 -CL002764_bit0 -CL002765_bit0 -CL002766_bit0 -CL002767_bit0 -CL002768_bit0 -CL002769_bit0 -CL002770_bit0 -CL002771_bit0 -CL002772_bit0 -CL002773_bit0 -CL002774_bit0 -CL002775_bit0 -CL002776_bit0 -CL002777_bit0 -CL002778_bit0 -CL002779_bit0 -CL002780_bit0 -CL002781_bit0 -CL002782_bit0 -CL002783_bit0 -CL002784_bit0 -CL002785_bit0 -CL002786_bit0 -CL002787_bit0 -CL002788_bit0 -CL002789_bit0 -CL002790_bit0 -CL002791_bit0 -CL002792_bit0 -CL002793_bit0 -CL002794_bit0 -CL002795_bit0 -CL002796_bit0 -CL002797_bit0 -CL002798_bit0 -CL002799_bit0 -CL002800_bit0 -CL002801_bit0 -CL002802_bit0 -CL002803_bit0 -CL002804_bit0 -CL002805_bit0 -CL002806_bit0 -CL002807_bit0 -CL002808_bit0 -CL002809_bit0 -CL002810_bit0 -CL002811_bit0 -CL002812_bit0 -CL002813_bit0 -CL002814_bit0 -CL002815_bit0 -CL002816_bit0 -CL002817_bit0 -CL002818_bit0 -CL002819_bit0 -CL002820_bit0 -CL002821_bit0 -CL002822_bit0 -CL002823_bit0 -CL002824_bit0 -CL002825_bit0 -CL002826_bit0 -CL002827_bit0 -CL002828_bit0 -CL002829_bit0 -CL002830_bit0 -CL002831_bit0 -CL002832_bit0 -CL002833_bit0 -CL002834_bit0 -CL002835_bit0 -CL002836_bit0 -CL002837_bit0 -CL002838_bit0 -CL002839_bit0 -CL002840_bit0 -CL002841_bit0 -CL002842_bit0 -CL002843_bit0 -CL002844_bit0 -CL002845_bit0 -CL002846_bit0 -CL002847_bit0 -CL002848_bit0 -CL002849_bit0 -CL002850_bit0 -CL002851_bit0 -CL002852_bit0 -CL002853_bit0 -CL002854_bit0 -CL002855_bit0 -CL002856_bit0 -CL002857_bit0 -CL002858_bit0 -CL002859_bit0 -CL002860_bit0 -CL002861_bit0 -CL002862_bit0 -CL002863_bit0 -CL002864_bit0 -CL002865_bit0 -CL002866_bit0 -CL002867_bit0 -CL002868_bit0 -CL002869_bit0 -CL002870_bit0 -CL002871_bit0 -CL002872_bit0 -CL002873_bit0 -CL002874_bit0 -CL002875_bit0 -CL002876_bit0 -CL002877_bit0 -CL002878_bit0 -CL002879_bit0 -CL002880_bit0 -CL002881_bit0 -CL002882_bit0 -CL002883_bit0 -CL002884_bit0 -CL002885_bit0 -CL002886_bit0 -CL002887_bit0 -CL002888_bit0 -CL002889_bit0 -CL002890_bit0 -CL002891_bit0 -CL002892_bit0 -CL002893_bit0 -CL002894_bit0 -CL002895_bit0 -CL002896_bit0 -CL002897_bit0 -CL002898_bit0 -CL002899_bit0 -CL002900_bit0 -CL002901_bit0 -CL002902_bit0 -CL002903_bit0 -CL002904_bit0 -CL002905_bit0 -CL002906_bit0 -CL002907_bit0 -CL002908_bit0 -CL002909_bit0 -CL002910_bit0 -CL002911_bit0 -CL002912_bit0 -CL002913_bit0 -CL002914_bit0 -CL002915_bit0 -CL002916_bit0 -CL002917_bit0 -CL002918_bit0 -CL002919_bit0 -CL002920_bit0 -CL002921_bit0 -CL002922_bit0 -CL002923_bit0 -CL002924_bit0 -CL002925_bit0 -CL002926_bit0 -CL002927_bit0 -CL002928_bit0 -CL002929_bit0 -CL002930_bit0 -CL002931_bit0 -CL002932_bit0 -CL002933_bit0 -CL002934_bit0 -CL002935_bit0 -CL002936_bit0 -CL002937_bit0 -CL002938_bit0 -CL002939_bit0 -CL002940_bit0 -CL002941_bit0 -CL002942_bit0 -CL002943_bit0 -CL002944_bit0 -CL002945_bit0 -CL002946_bit0 -CL002947_bit0 -CL002948_bit0 -CL002949_bit0 -CL002950_bit0 -CL002951_bit0 -CL002952_bit0 -CL002953_bit0 -CL002954_bit0 -CL002955_bit0 -CL002956_bit0 -CL002957_bit0 -CL002958_bit0 -CL002959_bit0 -CL002960_bit0 -CL002961_bit0 -CL002962_bit0 -CL002963_bit0 -CL002964_bit0 -CL002965_bit0 -CL002966_bit0 -CL002967_bit0 -CL002968_bit0 -CL002969_bit0 -CL002970_bit0 -CL002971_bit0 -CL002972_bit0 -CL002973_bit0 -CL002974_bit0 -CL002975_bit0 -CL002976_bit0 -CL002977_bit0 -CL002978_bit0 -CL002979_bit0 -CL002980_bit0 -CL002981_bit0 -CL002982_bit0 -CL002983_bit0 -CL002984_bit0 -CL002985_bit0 -CL002986_bit0 -CL002987_bit0 -CL002988_bit0 -CL002989_bit0 -CL002990_bit0 -CL002991_bit0 -CL002992_bit0 -CL002993_bit0 -CL002994_bit0 -CL002995_bit0 -CL002996_bit0 -CL002997_bit0 -CL002998_bit0 -CL002999_bit0 -CL003000_bit0 -CL003001_bit0 -CL003002_bit0 -CL003003_bit0 -CL003004_bit0 -CL003005_bit0 -CL003006_bit0 -CL003007_bit0 -CL003008_bit0 -CL003009_bit0 -CL003010_bit0 -CL003011_bit0 -CL003012_bit0 -CL003013_bit0 -CL003014_bit0 -CL003015_bit0 -CL003016_bit0 -CL003017_bit0 -CL003018_bit0 -CL003019_bit0 -CL003020_bit0 -CL003021_bit0 -CL003022_bit0 -CL003023_bit0 -CL003024_bit0 -CL003025_bit0 -CL003026_bit0 -CL003027_bit0 -CL003028_bit0 -CL003029_bit0 -CL003030_bit0 -CL003031_bit0 -CL003032_bit0 -CL003033_bit0 -CL003034_bit0 -CL003035_bit0 -CL003036_bit0 -CL003037_bit0 -CL003038_bit0 -CL003039_bit0 -CL003040_bit0 -CL003041_bit0 -CL003042_bit0 -CL003043_bit0 -CL003044_bit0 -CL003045_bit0 -CL003046_bit0 -CL003047_bit0 -CL003048_bit0 -CL003049_bit0 -CL003050_bit0 -CL003051_bit0 -CL003052_bit0 -CL003053_bit0 -CL003054_bit0 -CL003055_bit0 -CL003056_bit0 -CL003057_bit0 -CL003058_bit0 -CL003059_bit0 -CL003060_bit0 -CL003061_bit0 -CL003062_bit0 -CL003063_bit0 -CL003064_bit0 -CL003065_bit0 -CL003066_bit0 -CL003067_bit0 -CL003068_bit0 -CL003069_bit0 -CL003070_bit0 -CL003071_bit0 -CL003072_bit0 -CL003073_bit0 -CL003074_bit0 -CL003075_bit0 -CL003076_bit0 -CL003077_bit0 -CL003078_bit0 -CL003079_bit0 -CL003080_bit0 -CL003081_bit0 -CL003082_bit0 -CL003083_bit0 -CL003084_bit0 -CL003085_bit0 -CL003086_bit0 -CL003087_bit0 -CL003088_bit0 -CL003089_bit0 -CL003090_bit0 -CL003091_bit0 -CL003092_bit0 -CL003093_bit0 -CL003094_bit0 -CL003095_bit0 -CL003096_bit0 -CL003097_bit0 -CL003098_bit0 -CL003099_bit0 -CL003100_bit0 -CL003101_bit0 -CL003102_bit0 -CL003103_bit0 -CL003104_bit0 -CL003105_bit0 -CL003106_bit0 -CL003107_bit0 -CL003108_bit0 -CL003109_bit0 -CL003110_bit0 -CL003111_bit0 -CL003112_bit0 -CL003113_bit0 -CL003114_bit0 -CL003115_bit0 -CL003116_bit0 -CL003117_bit0 -CL003118_bit0 -CL003119_bit0 -CL003120_bit0 -CL003121_bit0 -CL003122_bit0 -CL003123_bit0 -CL003124_bit0 -CL003125_bit0 -CL003126_bit0 -CL003127_bit0 -CL003128_bit0 -CL003129_bit0 -CL003130_bit0 -CL003131_bit0 -CL003132_bit0 -CL003133_bit0 -CL003134_bit0 -CL003135_bit0 -CL003136_bit0 -CL003137_bit0 -CL003138_bit0 -CL003139_bit0 -CL003140_bit0 -CL003141_bit0 -CL003142_bit0 -CL003143_bit0 -CL003144_bit0 -CL003145_bit0 -CL003146_bit0 -CL003147_bit0 -CL003148_bit0 -CL003149_bit0 -CL003150_bit0 -CL003151_bit0 -CL003152_bit0 -CL003153_bit0 -CL003154_bit0 -CL003155_bit0 -CL003156_bit0 -CL003157_bit0 -CL003158_bit0 -CL003159_bit0 -CL003160_bit0 -CL003161_bit0 -CL003162_bit0 -CL003163_bit0 -CL003164_bit0 -CL003165_bit0 -CL003166_bit0 -CL003167_bit0 -CL003168_bit0 -CL003169_bit0 -CL003170_bit0 -CL003171_bit0 -CL003172_bit0 -CL003173_bit0 -CL003174_bit0 -CL003175_bit0 -CL003176_bit0 -CL003177_bit0 -CL003178_bit0 -CL003179_bit0 -CL003180_bit0 -CL003181_bit0 -CL003182_bit0 -CL003183_bit0 -CL003184_bit0 -CL003185_bit0 -CL003186_bit0 -CL003187_bit0 -CL003188_bit0 -CL003189_bit0 -CL003190_bit0 -CL003191_bit0 -CL003192_bit0 -CL003193_bit0 -CL003194_bit0 -CL003195_bit0 -CL003196_bit0 -CL003197_bit0 -CL003198_bit0 -CL003199_bit0 -CL003200_bit0 CL003201_bit0 -CL003202_bit0 -CL003203_bit0 -CL003204_bit0 -CL003205_bit0 -CL003206_bit0 -CL003207_bit0 -CL003208_bit0 -CL003209_bit0 -CL003210_bit0 -CL003211_bit0 -CL003212_bit0 -CL003213_bit0 -CL003214_bit0 -CL003215_bit0 -CL003216_bit0 -CL003217_bit0 -CL003218_bit0 -CL003219_bit0 -CL003220_bit0 -CL003221_bit0 -CL003222_bit0 -CL003223_bit0 -CL003224_bit0 -CL003225_bit0 -CL003226_bit0 -CL003227_bit0 -CL003228_bit0 -CL003229_bit0 -CL003230_bit0 -CL003231_bit0 -CL003232_bit0 -CL003233_bit0 -CL003234_bit0 -CL003235_bit0 -CL003236_bit0 -CL003237_bit0 -CL003238_bit0 -CL003239_bit0 -CL003240_bit0 -CL003241_bit0 -CL003242_bit0 -CL003243_bit0 -CL003244_bit0 -CL003245_bit0 -CL003246_bit0 -CL003247_bit0 -CL003248_bit0 -CL003249_bit0 -CL003250_bit0 -CL003251_bit0 -CL003252_bit0 -CL003253_bit0 -CL003254_bit0 -CL003255_bit0 -CL003256_bit0 -CL003257_bit0 -CL003258_bit0 -CL003259_bit0 -CL003260_bit0 -CL003261_bit0 -CL003262_bit0 -CL003263_bit0 -CL003264_bit0 -CL003265_bit0 -CL003266_bit0 -CL003267_bit0 -CL003268_bit0 -CL003269_bit0 -CL003270_bit0 -CL003271_bit0 -CL003272_bit0 -CL003273_bit0 -CL003274_bit0 -CL003275_bit0 -CL003276_bit0 -CL003277_bit0 -CL003278_bit0 -CL003279_bit0 -CL003280_bit0 -CL003281_bit0 -CL003282_bit0 -CL003283_bit0 -CL003284_bit0 -CL003285_bit0 -CL003286_bit0 -CL003287_bit0 -CL003288_bit0 -CL003289_bit0 -CL003290_bit0 -CL003291_bit0 -CL003292_bit0 -CL003293_bit0 -CL003294_bit0 -CL003295_bit0 -CL003296_bit0 -CL003297_bit0 -CL003298_bit0 -CL003299_bit0 -CL003300_bit0 -CL003301_bit0 -CL003302_bit0 -CL003303_bit0 -CL003304_bit0 -CL003305_bit0 -CL003306_bit0 -CL003307_bit0 -CL003308_bit0 -CL003309_bit0 -CL003310_bit0 -CL003311_bit0 -CL003312_bit0 -CL003313_bit0 -CL003314_bit0 -CL003315_bit0 -CL003316_bit0 -CL003317_bit0 -CL003318_bit0 -CL003319_bit0 -CL003320_bit0 -CL003321_bit0 -CL003322_bit0 -CL003323_bit0 -CL003324_bit0 -CL003325_bit0 -CL003326_bit0 -CL003327_bit0 -CL003328_bit0 -CL003329_bit0 -CL003330_bit0 -CL003331_bit0 -CL003332_bit0 -CL003333_bit0 -CL003334_bit0 -CL003335_bit0 -CL003336_bit0 -CL003337_bit0 -CL003338_bit0 -CL003339_bit0 -CL003340_bit0 -CL003341_bit0 -CL003342_bit0 -CL003343_bit0 -CL003344_bit0 -CL003345_bit0 -CL003346_bit0 -CL003347_bit0 -CL003348_bit0 -CL003349_bit0 -CL003350_bit0 -CL003351_bit0 -CL003352_bit0 -CL003353_bit0 -CL003354_bit0 -CL003355_bit0 -CL003356_bit0 -CL003357_bit0 -CL003358_bit0 -CL003359_bit0 -CL003360_bit0 -CL003361_bit0 -CL003362_bit0 -CL003363_bit0 -CL003364_bit0 -CL003365_bit0 -CL003366_bit0 -CL003367_bit0 -CL003368_bit0 -CL003369_bit0 -CL003370_bit0 -CL003371_bit0 -CL003372_bit0 -CL003373_bit0 -CL003374_bit0 -CL003375_bit0 -CL003376_bit0 -CL003377_bit0 -CL003378_bit0 -CL003379_bit0 -CL003380_bit0 -CL003381_bit0 -CL003382_bit0 -CL003383_bit0 -CL003384_bit0 -CL003385_bit0 -CL003386_bit0 -CL003387_bit0 -CL003388_bit0 -CL003389_bit0 -CL003390_bit0 -CL003391_bit0 -CL003392_bit0 -CL003393_bit0 -CL003394_bit0 -CL003395_bit0 -CL003396_bit0 -CL003397_bit0 -CL003398_bit0 -CL003399_bit0 -CL003400_bit0 -CL003401_bit0 -CL003402_bit0 -CL003403_bit0 -CL003404_bit0 -CL003405_bit0 -CL003406_bit0 -CL003407_bit0 -CL003408_bit0 -CL003409_bit0 -CL003410_bit0 -CL003411_bit0 -CL003412_bit0 -CL003413_bit0 -CL003414_bit0 -CL003415_bit0 -CL003416_bit0 -CL003417_bit0 -CL003418_bit0 -CL003419_bit0 -CL003420_bit0 -CL003421_bit0 -CL003422_bit0 -CL003423_bit0 -CL003424_bit0 -CL003425_bit0 -CL003426_bit0 -CL003427_bit0 -CL003428_bit0 -CL003429_bit0 -CL003430_bit0 -CL003431_bit0 -CL003432_bit0 -CL003433_bit0 -CL003434_bit0 -CL003435_bit0 -CL003436_bit0 -CL003437_bit0 -CL003438_bit0 -CL003439_bit0 -CL003440_bit0 -CL003441_bit0 -CL003442_bit0 -CL003443_bit0 -CL003444_bit0 -CL003445_bit0 -CL003446_bit0 -CL003447_bit0 -CL003448_bit0 -CL003449_bit0 -CL003450_bit0 -CL003451_bit0 -CL003452_bit0 -CL003453_bit0 -CL003454_bit0 -CL003455_bit0 -CL003456_bit0 -CL003457_bit0 -CL003458_bit0 -CL003459_bit0 -CL003460_bit0 -CL003461_bit0 -CL003462_bit0 -CL003463_bit0 -CL003464_bit0 -CL003465_bit0 -CL003466_bit0 -CL003467_bit0 -CL003468_bit0 -CL003469_bit0 -CL003470_bit0 -CL003471_bit0 -CL003472_bit0 -CL003473_bit0 -CL003474_bit0 -CL003475_bit0 -CL003476_bit0 -CL003477_bit0 -CL003478_bit0 -CL003479_bit0 -CL003480_bit0 -CL003481_bit0 -CL003482_bit0 -CL003483_bit0 -CL003484_bit0 -CL003485_bit0 -CL003486_bit0 -CL003487_bit0 -CL003488_bit0 -CL003489_bit0 -CL003490_bit0 -CL003491_bit0 -CL003492_bit0 -CL003493_bit0 -CL003494_bit0 -CL003495_bit0 -CL003496_bit0 -CL003497_bit0 -CL003498_bit0 -CL003499_bit0 -CL003500_bit0 -CL003501_bit0 -CL003502_bit0 -CL003503_bit0 -CL003504_bit0 -CL003505_bit0 -CL003506_bit0 -CL003507_bit0 -CL003508_bit0 -CL003509_bit0 -CL003510_bit0 -CL003511_bit0 -CL003512_bit0 -CL003513_bit0 -CL003514_bit0 -CL003515_bit0 -CL003516_bit0 -CL003517_bit0 -CL003518_bit0 -CL003519_bit0 -CL003520_bit0 -CL003521_bit0 -CL003522_bit0 -CL003523_bit0 -CL003524_bit0 -CL003525_bit0 -CL003526_bit0 -CL003527_bit0 -CL003528_bit0 -CL003529_bit0 -CL003530_bit0 -CL003531_bit0 -CL003532_bit0 -CL003533_bit0 -CL003534_bit0 -CL003535_bit0 -CL003536_bit0 -CL003537_bit0 -CL003538_bit0 -CL003539_bit0 -CL003540_bit0 -CL003541_bit0 -CL003542_bit0 -CL003543_bit0 -CL003544_bit0 -CL003545_bit0 -CL003546_bit0 -CL003547_bit0 -CL003548_bit0 CL003549_bit0 -CL003550_bit0 -CL003551_bit0 -CL003552_bit0 -CL003553_bit0 -CL003554_bit0 -CL003555_bit0 -CL003556_bit0 -CL003557_bit0 -CL003558_bit0 -CL003559_bit0 -CL003560_bit0 -CL003561_bit0 -CL003562_bit0 -CL003563_bit0 -CL003564_bit0 -CL003565_bit0 -CL003566_bit0 -CL003567_bit0 -CL003568_bit0 -CL003569_bit0 -CL003570_bit0 -CL003571_bit0 -CL003572_bit0 -CL003573_bit0 -CL003574_bit0 -CL003575_bit0 -CL003576_bit0 -CL003577_bit0 -CL003578_bit0 -CL003579_bit0 -CL003580_bit0 -CL003581_bit0 -CL003582_bit0 -CL003583_bit0 -CL003584_bit0 -CL003585_bit0 -CL003586_bit0 -CL003587_bit0 -CL003588_bit0 -CL003589_bit0 -CL003590_bit0 -CL003591_bit0 -CL003592_bit0 -CL003593_bit0 -CL003594_bit0 -CL003595_bit0 -CL003596_bit0 -CL003597_bit0 -CL003598_bit0 -CL003599_bit0 -CL003600_bit0 -CL003601_bit0 -CL003602_bit0 -CL003603_bit0 -CL003604_bit0 -CL003605_bit0 -CL003606_bit0 -CL003607_bit0 -CL003608_bit0 -CL003609_bit0 -CL003610_bit0 -CL003611_bit0 -CL003612_bit0 -CL003613_bit0 -CL003614_bit0 -CL003615_bit0 -CL003616_bit0 -CL003617_bit0 -CL003618_bit0 -CL003619_bit0 -CL003620_bit0 -CL003621_bit0 -CL003622_bit0 -CL003623_bit0 -CL003624_bit0 -CL003625_bit0 -CL003626_bit0 -CL003627_bit0 -CL003628_bit0 -CL003629_bit0 -CL003630_bit0 -CL003631_bit0 -CL003632_bit0 -CL003633_bit0 -CL003634_bit0 -CL003635_bit0 -CL003636_bit0 -CL003637_bit0 -CL003638_bit0 -CL003639_bit0 -CL003640_bit0 -CL003641_bit0 -CL003642_bit0 -CL003643_bit0 -CL003644_bit0 -CL003645_bit0 -CL003646_bit0 -CL003647_bit0 -CL003648_bit0 -CL003649_bit0 -CL003650_bit0 -CL003651_bit0 -CL003652_bit0 -CL003653_bit0 -CL003654_bit0 -CL003655_bit0 -CL003656_bit0 -CL003657_bit0 -CL003658_bit0 -CL003659_bit0 -CL003660_bit0 -CL003661_bit0 -CL003662_bit0 -CL003663_bit0 -CL003664_bit0 -CL003665_bit0 -CL003666_bit0 -CL003667_bit0 -CL003668_bit0 -CL003669_bit0 -CL003670_bit0 -CL003671_bit0 -CL003672_bit0 -CL003673_bit0 -CL003674_bit0 -CL003675_bit0 -CL003676_bit0 -CL003677_bit0 -CL003678_bit0 -CL003679_bit0 -CL003680_bit0 -CL003681_bit0 -CL003682_bit0 -CL003683_bit0 -CL003684_bit0 -CL003685_bit0 -CL003686_bit0 -CL003687_bit0 -CL003688_bit0 -CL003689_bit0 -CL003690_bit0 -CL003691_bit0 -CL003692_bit0 -CL003693_bit0 -CL003694_bit0 -CL003695_bit0 -CL003696_bit0 -CL003697_bit0 -CL003698_bit0 -CL003699_bit0 -CL003700_bit0 -CL003701_bit0 -CL003702_bit0 -CL003703_bit0 -CL003704_bit0 -CL003705_bit0 -CL003706_bit0 -CL003707_bit0 -CL003708_bit0 -CL003709_bit0 -CL003710_bit0 -CL003711_bit0 -CL003712_bit0 -CL003713_bit0 -CL003714_bit0 -CL003715_bit0 -CL003716_bit0 -CL003717_bit0 -CL003718_bit0 -CL003719_bit0 -CL003720_bit0 -CL003721_bit0 -CL003722_bit0 -CL003723_bit0 -CL003724_bit0 -CL003725_bit0 -CL003726_bit0 -CL003727_bit0 -CL003728_bit0 -CL003729_bit0 -CL003730_bit0 -CL003731_bit0 -CL003732_bit0 -CL003733_bit0 -CL003734_bit0 -CL003735_bit0 -CL003736_bit0 -CL003737_bit0 -CL003738_bit0 -CL003739_bit0 -CL003740_bit0 -CL003741_bit0 -CL003742_bit0 -CL003743_bit0 -CL003744_bit0 -CL003745_bit0 -CL003746_bit0 -CL003747_bit0 -CL003748_bit0 -CL003749_bit0 -CL003750_bit0 -CL003751_bit0 -CL003752_bit0 -CL003753_bit0 -CL003754_bit0 -CL003755_bit0 -CL003756_bit0 -CL003757_bit0 -CL003758_bit0 -CL003759_bit0 -CL003760_bit0 -CL003761_bit0 -CL003762_bit0 -CL003763_bit0 -CL003764_bit0 -CL003765_bit0 -CL003766_bit0 -CL003767_bit0 -CL003768_bit0 -CL003769_bit0 -CL003770_bit0 -CL003771_bit0 -CL003772_bit0 -CL003773_bit0 -CL003774_bit0 -CL003775_bit0 -CL003776_bit0 -CL003777_bit0 -CL003778_bit0 -CL003779_bit0 -CL003780_bit0 -CL003781_bit0 -CL003782_bit0 -CL003783_bit0 -CL003784_bit0 -CL003785_bit0 -CL003786_bit0 -CL003787_bit0 -CL003788_bit0 -CL003789_bit0 -CL003790_bit0 -CL003791_bit0 -CL003792_bit0 -CL003793_bit0 -CL003794_bit0 -CL003795_bit0 -CL003796_bit0 -CL003797_bit0 -CL003798_bit0 -CL003799_bit0 -CL003800_bit0 -CL003801_bit0 -CL003802_bit0 -CL003803_bit0 -CL003804_bit0 -CL003805_bit0 -CL003806_bit0 -CL003807_bit0 -CL003808_bit0 -CL003809_bit0 -CL003810_bit0 -CL003811_bit0 -CL003812_bit0 -CL003813_bit0 -CL003814_bit0 -CL003815_bit0 -CL003816_bit0 -CL003817_bit0 -CL003818_bit0 -CL003819_bit0 -CL003820_bit0 -CL003821_bit0 -CL003822_bit0 -CL003823_bit0 -CL003824_bit0 -CL003825_bit0 -CL003826_bit0 -CL003827_bit0 -CL003828_bit0 -CL003829_bit0 -CL003830_bit0 -CL003831_bit0 -CL003832_bit0 -CL003833_bit0 -CL003834_bit0 -CL003835_bit0 -CL003836_bit0 -CL003837_bit0 -CL003838_bit0 -CL003839_bit0 -CL003840_bit0 -CL003841_bit0 -CL003842_bit0 -CL003843_bit0 -CL003844_bit0 -CL003845_bit0 -CL003846_bit0 -CL003847_bit0 -CL003848_bit0 -CL003849_bit0 -CL003850_bit0 -CL003851_bit0 -CL003852_bit0 -CL003853_bit0 -CL003854_bit0 -CL003855_bit0 -CL003856_bit0 -CL003857_bit0 -CL003858_bit0 -CL003859_bit0 -CL003860_bit0 -CL003861_bit0 -CL003862_bit0 -CL003863_bit0 -CL003864_bit0 -CL003865_bit0 -CL003866_bit0 -CL003867_bit0 -CL003868_bit0 -CL003869_bit0 -CL003870_bit0 -CL003871_bit0 -CL003872_bit0 -CL003873_bit0 -CL003874_bit0 -CL003875_bit0 -CL003876_bit0 -CL003877_bit0 -CL003878_bit0 -CL003879_bit0 -CL003880_bit0 -CL003881_bit0 -CL003882_bit0 -CL003883_bit0 -CL003884_bit0 -CL003885_bit0 -CL003886_bit0 -CL003887_bit0 -CL003888_bit0 -CL003889_bit0 -CL003890_bit0 -CL003891_bit0 -CL003892_bit0 -CL003893_bit0 -CL003894_bit0 -CL003895_bit0 -CL003896_bit0 -CL003897_bit0 -CL003898_bit0 -CL003899_bit0 -CL003900_bit0 -CL003901_bit0 -CL003902_bit0 -CL003903_bit0 -CL003904_bit0 -CL003905_bit0 -CL003906_bit0 -CL003907_bit0 -CL003908_bit0 -CL003909_bit0 -CL003910_bit0 -CL003911_bit0 -CL003912_bit0 -CL003913_bit0 -CL003914_bit0 -CL003915_bit0 -CL003916_bit0 -CL003917_bit0 -CL003918_bit0 -CL003919_bit0 -CL003920_bit0 -CL003921_bit0 -CL003922_bit0 -CL003923_bit0 -CL003924_bit0 -CL003925_bit0 -CL003926_bit0 -CL003927_bit0 -CL003928_bit0 -CL003929_bit0 -CL003930_bit0 -CL003931_bit0 -CL003932_bit0 -CL003933_bit0 -CL003934_bit0 -CL003935_bit0 -CL003936_bit0 -CL003937_bit0 -CL003938_bit0 -CL003939_bit0 -CL003940_bit0 -CL003941_bit0 -CL003942_bit0 -CL003943_bit0 -CL003944_bit0 -CL003945_bit0 -CL003946_bit0 -CL003947_bit0 -CL003948_bit0 -CL003949_bit0 -CL003950_bit0 -CL003951_bit0 -CL003952_bit0 -CL003953_bit0 -CL003954_bit0 -CL003955_bit0 -CL003956_bit0 -CL003957_bit0 -CL003958_bit0 -CL003959_bit0 -CL003960_bit0 -CL003961_bit0 -CL003962_bit0 -CL003963_bit0 -CL003964_bit0 -CL003965_bit0 -CL003966_bit0 -CL003967_bit0 -CL003968_bit0 -CL003969_bit0 -CL003970_bit0 -CL003971_bit0 -CL003972_bit0 -CL003973_bit0 -CL003974_bit0 -CL003975_bit0 -CL003976_bit0 -CL003977_bit0 -CL003978_bit0 -CL003979_bit0 -CL003980_bit0 -CL003981_bit0 -CL003982_bit0 -CL003983_bit0 -CL003984_bit0 -CL003985_bit0 -CL003986_bit0 -CL003987_bit0 -CL003988_bit0 -CL003989_bit0 -CL003990_bit0 -CL003991_bit0 -CL003992_bit0 -CL003993_bit0 -CL003994_bit0 -CL003995_bit0 -CL003996_bit0 -CL003997_bit0 -CL003998_bit0 -CL003999_bit0 -CL004000_bit0 -CL004001_bit0 -CL004002_bit0 -CL004003_bit0 -CL004004_bit0 -CL004005_bit0 -CL004006_bit0 -CL004007_bit0 -CL004008_bit0 -CL004009_bit0 -CL004010_bit0 -CL004011_bit0 -CL004012_bit0 -CL004013_bit0 -CL004014_bit0 -CL004015_bit0 -CL004016_bit0 -CL004017_bit0 -CL004018_bit0 -CL004019_bit0 -CL004020_bit0 -CL004021_bit0 -CL004022_bit0 -CL004023_bit0 -CL004024_bit0 -CL004025_bit0 -CL004026_bit0 -CL004027_bit0 -CL004028_bit0 -CL004029_bit0 -CL004030_bit0 -CL004031_bit0 -CL004032_bit0 -CL004033_bit0 -CL004034_bit0 -CL004035_bit0 -CL004036_bit0 -CL004037_bit0 -CL004038_bit0 -CL004039_bit0 -CL004040_bit0 -CL004041_bit0 -CL004042_bit0 -CL004043_bit0 -CL004044_bit0 -CL004045_bit0 -CL004046_bit0 -CL004047_bit0 -CL004048_bit0 -CL004049_bit0 -CL004050_bit0 -CL004051_bit0 -CL004052_bit0 -CL004053_bit0 -CL004054_bit0 -CL004055_bit0 -CL004056_bit0 -CL004057_bit0 -CL004058_bit0 -CL004059_bit0 -CL004060_bit0 -CL004061_bit0 -CL004062_bit0 -CL004063_bit0 -CL004064_bit0 -CL004065_bit0 -CL004066_bit0 -CL004067_bit0 -CL004068_bit0 -CL004069_bit0 -CL004070_bit0 -CL004071_bit0 -CL004072_bit0 -CL004073_bit0 -CL004074_bit0 -CL004075_bit0 -CL004076_bit0 -CL004077_bit0 -CL004078_bit0 -CL004079_bit0 -CL004080_bit0 -CL004081_bit0 -CL004082_bit0 -CL004083_bit0 -CL004084_bit0 -CL004085_bit0 -CL004086_bit0 -CL004087_bit0 -CL004088_bit0 -CL004089_bit0 -CL004090_bit0 -CL004091_bit0 -CL004092_bit0 -CL004093_bit0 -CL004094_bit0 -CL004095_bit0 -CL004096_bit0 -CL004097_bit0 -CL004098_bit0 -CL004099_bit0 -CL004100_bit0 -CL004101_bit0 -CL004102_bit0 -CL004103_bit0 -CL004104_bit0 -CL004105_bit0 -CL004106_bit0 -CL004107_bit0 -CL004108_bit0 -CL004109_bit0 -CL004110_bit0 -CL004111_bit0 -CL004112_bit0 -CL004113_bit0 -CL004114_bit0 -CL004115_bit0 -CL004116_bit0 -CL004117_bit0 -CL004118_bit0 -CL004119_bit0 -CL004120_bit0 -CL004121_bit0 -CL004122_bit0 -CL004123_bit0 -CL004124_bit0 -CL004125_bit0 -CL004126_bit0 -CL004127_bit0 -CL004128_bit0 -CL004129_bit0 -CL004130_bit0 -CL004131_bit0 -CL004132_bit0 -CL004133_bit0 -CL004134_bit0 -CL004135_bit0 -CL004136_bit0 -CL004137_bit0 -CL004138_bit0 -CL004139_bit0 -CL004140_bit0 -CL004141_bit0 -CL004142_bit0 -CL004143_bit0 -CL004144_bit0 -CL004145_bit0 -CL004146_bit0 -CL004147_bit0 -CL004148_bit0 -CL004149_bit0 -CL004150_bit0 -CL004151_bit0 -CL004152_bit0 -CL004153_bit0 -CL004154_bit0 -CL004155_bit0 -CL004156_bit0 -CL004157_bit0 -CL004158_bit0 -CL004159_bit0 -CL004160_bit0 -CL004161_bit0 -CL004162_bit0 -CL004163_bit0 -CL004164_bit0 -CL004165_bit0 -CL004166_bit0 -CL004167_bit0 -CL004168_bit0 -CL004169_bit0 -CL004170_bit0 -CL004171_bit0 -CL004172_bit0 -CL004173_bit0 -CL004174_bit0 -CL004175_bit0 -CL004176_bit0 -CL004177_bit0 -CL004178_bit0 -CL004179_bit0 -CL004180_bit0 -CL004181_bit0 -CL004182_bit0 -CL004183_bit0 -CL004184_bit0 -CL004185_bit0 -CL004186_bit0 -CL004187_bit0 -CL004188_bit0 -CL004189_bit0 -CL004190_bit0 -CL004191_bit0 -CL004192_bit0 -CL004193_bit0 -CL004194_bit0 -CL004195_bit0 -CL004196_bit0 -CL004197_bit0 -CL004198_bit0 -CL004199_bit0 -CL004200_bit0 -CL004201_bit0 -CL004202_bit0 -CL004203_bit0 -CL004204_bit0 -CL004205_bit0 -CL004206_bit0 -CL004207_bit0 -CL004208_bit0 -CL004209_bit0 -CL004210_bit0 -CL004211_bit0 -CL004212_bit0 -CL004213_bit0 -CL004214_bit0 -CL004215_bit0 -CL004216_bit0 -CL004217_bit0 -CL004218_bit0 -CL004219_bit0 -CL004220_bit0 -CL004221_bit0 -CL004222_bit0 -CL004223_bit0 -CL004224_bit0 -CL004225_bit0 -CL004226_bit0 -CL004227_bit0 -CL004228_bit0 -CL004229_bit0 -CL004230_bit0 -CL004231_bit0 -CL004232_bit0 -CL004233_bit0 -CL004234_bit0 -CL004235_bit0 -CL004236_bit0 -CL004237_bit0 -CL004238_bit0 -CL004239_bit0 -CL004240_bit0 -CL004241_bit0 -CL004242_bit0 -CL004243_bit0 -CL004244_bit0 -CL004245_bit0 -CL004246_bit0 -CL004247_bit0 -CL004248_bit0 -CL004249_bit0 -CL004250_bit0 -CL004251_bit0 -CL004252_bit0 -CL004253_bit0 -CL004254_bit0 -CL004255_bit0 -CL004256_bit0 -CL004257_bit0 -CL004258_bit0 -CL004259_bit0 -CL004260_bit0 -CL004261_bit0 -CL004262_bit0 -CL004263_bit0 -CL004264_bit0 -CL004265_bit0 -CL004266_bit0 -CL004267_bit0 -CL004268_bit0 -CL004269_bit0 -CL004270_bit0 -CL004271_bit0 -CL004272_bit0 -CL004273_bit0 -CL004274_bit0 -CL004275_bit0 -CL004276_bit0 -CL004277_bit0 -CL004278_bit0 -CL004279_bit0 -CL004280_bit0 -CL004281_bit0 -CL004282_bit0 -CL004283_bit0 -CL004284_bit0 -CL004285_bit0 -CL004286_bit0 -CL004287_bit0 -CL004288_bit0 -CL004289_bit0 -CL004290_bit0 -CL004291_bit0 -CL004292_bit0 -CL004293_bit0 -CL004294_bit0 -CL004295_bit0 -CL004296_bit0 -CL004297_bit0 -CL004298_bit0 -CL004299_bit0 -CL004300_bit0 -CL004301_bit0 -CL004302_bit0 -CL004303_bit0 -CL004304_bit0 -CL004305_bit0 -CL004306_bit0 -CL004307_bit0 -CL004308_bit0 -CL004309_bit0 -CL004310_bit0 -CL004311_bit0 -CL004312_bit0 -CL004313_bit0 -CL004314_bit0 -CL004315_bit0 -CL004316_bit0 -CL004317_bit0 -CL004318_bit0 -CL004319_bit0 -CL004320_bit0 -CL004321_bit0 -CL004322_bit0 -CL004323_bit0 -CL004324_bit0 -CL004325_bit0 -CL004326_bit0 -CL004327_bit0 -CL004328_bit0 -CL004329_bit0 -CL004330_bit0 -CL004331_bit0 -CL004332_bit0 -CL004333_bit0 -CL004334_bit0 -CL004335_bit0 -CL004336_bit0 -CL004337_bit0 -CL004338_bit0 -CL004339_bit0 -CL004340_bit0 -CL004341_bit0 -CL004342_bit0 -CL004343_bit0 -CL004344_bit0 -CL004345_bit0 -CL004346_bit0 -CL004347_bit0 -CL004348_bit0 -CL004349_bit0 -CL004350_bit0 -CL004351_bit0 -CL004352_bit0 -CL004353_bit0 -CL004354_bit0 -CL004355_bit0 -CL004356_bit0 -CL004357_bit0 -CL004358_bit0 -CL004359_bit0 -CL004360_bit0 -CL004361_bit0 -CL004362_bit0 -CL004363_bit0 -CL004364_bit0 -CL004365_bit0 -CL004366_bit0 -CL004367_bit0 -CL004368_bit0 -CL004369_bit0 -CL004370_bit0 -CL004371_bit0 -CL004372_bit0 -CL004373_bit0 -CL004374_bit0 -CL004375_bit0 -CL004376_bit0 -CL004377_bit0 -CL004378_bit0 -CL004379_bit0 -CL004380_bit0 -CL004381_bit0 -CL004382_bit0 -CL004383_bit0 -CL004384_bit0 -CL004385_bit0 -CL004386_bit0 -CL004387_bit0 -CL004388_bit0 -CL004389_bit0 -CL004390_bit0 -CL004391_bit0 -CL004392_bit0 -CL004393_bit0 -CL004394_bit0 -CL004395_bit0 -CL004396_bit0 -CL004397_bit0 -CL004398_bit0 -CL004399_bit0 -CL004400_bit0 -CL004401_bit0 -CL004402_bit0 -CL004403_bit0 -CL004404_bit0 -CL004405_bit0 -CL004406_bit0 -CL004407_bit0 -CL004408_bit0 -CL004409_bit0 -CL004410_bit0 -CL004411_bit0 -CL004412_bit0 -CL004413_bit0 -CL004414_bit0 -CL004415_bit0 -CL004416_bit0 -CL004417_bit0 -CL004418_bit0 -CL004419_bit0 -CL004420_bit0 -CL004421_bit0 -CL004422_bit0 -CL004423_bit0 -CL004424_bit0 -CL004425_bit0 -CL004426_bit0 -CL004427_bit0 -CL004428_bit0 -CL004429_bit0 -CL004430_bit0 -CL004431_bit0 -CL004432_bit0 -CL004433_bit0 -CL004434_bit0 -CL004435_bit0 -CL004436_bit0 -CL004437_bit0 -CL004438_bit0 -CL004439_bit0 -CL004440_bit0 -CL004441_bit0 -CL004442_bit0 -CL004443_bit0 -CL004444_bit0 -CL004445_bit0 -CL004446_bit0 -CL004447_bit0 -CL004448_bit0 -CL004449_bit0 -CL004450_bit0 -CL004451_bit0 -CL004452_bit0 -CL004453_bit0 -CL004454_bit0 -CL004455_bit0 -CL004456_bit0 -CL004457_bit0 -CL004458_bit0 -CL004459_bit0 -CL004460_bit0 -CL004461_bit0 -CL004462_bit0 -CL004463_bit0 -CL004464_bit0 -CL004465_bit0 -CL004466_bit0 -CL004467_bit0 -CL004468_bit0 -CL004469_bit0 -CL004470_bit0 -CL004471_bit0 -CL004472_bit0 -CL004473_bit0 -CL004474_bit0 -CL004475_bit0 -CL004476_bit0 -CL004477_bit0 -CL004478_bit0 -CL004479_bit0 -CL004480_bit0 -CL004481_bit0 -CL004482_bit0 -CL004483_bit0 -CL004484_bit0 -CL004485_bit0 -CL004486_bit0 -CL004487_bit0 -CL004488_bit0 -CL004489_bit0 -CL004490_bit0 -CL004491_bit0 -CL004492_bit0 -CL004493_bit0 -CL004494_bit0 -CL004495_bit0 -CL004496_bit0 -CL004497_bit0 -CL004498_bit0 -CL004499_bit0 -CL004500_bit0 -CL004501_bit0 -CL004502_bit0 -CL004503_bit0 -CL004504_bit0 -CL004505_bit0 -CL004506_bit0 -CL004507_bit0 -CL004508_bit0 -CL004509_bit0 -CL004510_bit0 -CL004511_bit0 -CL004512_bit0 -CL004513_bit0 -CL004514_bit0 -CL004515_bit0 -CL004516_bit0 -CL004517_bit0 -CL004518_bit0 -CL004519_bit0 -CL004520_bit0 -CL004521_bit0 -CL004522_bit0 -CL004523_bit0 -CL004524_bit0 -CL004525_bit0 -CL004526_bit0 -CL004527_bit0 -CL004528_bit0 -CL004529_bit0 -CL004530_bit0 -CL004531_bit0 -CL004532_bit0 -CL004533_bit0 -CL004534_bit0 -CL004535_bit0 -CL004536_bit0 -CL004537_bit0 -CL004538_bit0 -CL004539_bit0 -CL004540_bit0 -CL004541_bit0 -CL004542_bit0 -CL004543_bit0 -CL004544_bit0 -CL004545_bit0 -CL004546_bit0 -CL004547_bit0 -CL004548_bit0 -CL004549_bit0 -CL004550_bit0 -CL004551_bit0 -CL004552_bit0 -CL004553_bit0 -CL004554_bit0 -CL004555_bit0 -CL004556_bit0 -CL004557_bit0 -CL004558_bit0 -CL004559_bit0 -CL004560_bit0 -CL004561_bit0 -CL004562_bit0 -CL004563_bit0 -CL004564_bit0 -CL004565_bit0 -CL004566_bit0 -CL004567_bit0 -CL004568_bit0 -CL004569_bit0 -CL004570_bit0 -CL004571_bit0 -CL004572_bit0 -CL004573_bit0 -CL004574_bit0 -CL004575_bit0 -CL004576_bit0 -CL004577_bit0 -CL004578_bit0 -CL004579_bit0 -CL004580_bit0 -CL004581_bit0 -CL004582_bit0 -CL004583_bit0 -CL004584_bit0 -CL004585_bit0 -CL004586_bit0 -CL004587_bit0 -CL004588_bit0 -CL004589_bit0 -CL004590_bit0 -CL004591_bit0 -CL004592_bit0 -CL004593_bit0 -CL004594_bit0 -CL004595_bit0 -CL004596_bit0 -CL004597_bit0 -CL004598_bit0 -CL004599_bit0 -CL004600_bit0 -CL004601_bit0 -CL004602_bit0 -CL004603_bit0 -CL004604_bit0 -CL004605_bit0 -CL004606_bit0 -CL004607_bit0 -CL004608_bit0 -CL004609_bit0 -CL004610_bit0 -CL004611_bit0 -CL004612_bit0 -CL004613_bit0 -CL004614_bit0 -CL004615_bit0 -CL004616_bit0 -CL004617_bit0 -CL004618_bit0 -CL004619_bit0 -CL004620_bit0 -CL004621_bit0 -CL004622_bit0 -CL004623_bit0 -CL004624_bit0 -CL004625_bit0 -CL004626_bit0 -CL004627_bit0 -CL004628_bit0 -CL004629_bit0 -CL004630_bit0 -CL004631_bit0 -CL004632_bit0 -CL004633_bit0 -CL004634_bit0 -CL004635_bit0 -CL004636_bit0 -CL004637_bit0 -CL004638_bit0 -CL004639_bit0 -CL004640_bit0 -CL004641_bit0 -CL004642_bit0 -CL004643_bit0 -CL004644_bit0 -CL004645_bit0 -CL004646_bit0 -CL004647_bit0 -CL004648_bit0 -CL004649_bit0 -CL004650_bit0 -CL004651_bit0 -CL004652_bit0 -CL004653_bit0 -CL004654_bit0 -CL004655_bit0 -CL004656_bit0 -CL004657_bit0 -CL004658_bit0 -CL004659_bit0 -CL004660_bit0 -CL004661_bit0 -CL004662_bit0 -CL004663_bit0 -CL004664_bit0 -CL004665_bit0 -CL004666_bit0 -CL004667_bit0 -CL004668_bit0 -CL004669_bit0 -CL004670_bit0 -CL004671_bit0 -CL004672_bit0 -CL004673_bit0 -CL004674_bit0 -CL004675_bit0 -CL004676_bit0 -CL004677_bit0 -CL004678_bit0 -CL004679_bit0 -CL004680_bit0 -CL004681_bit0 -CL004682_bit0 -CL004683_bit0 -CL004684_bit0 -CL004685_bit0 -CL004686_bit0 -CL004687_bit0 -CL004688_bit0 -CL004689_bit0 -CL004690_bit0 -CL004691_bit0 -CL004692_bit0 -CL004693_bit0 -CL004694_bit0 -CL004695_bit0 -CL004696_bit0 -CL004697_bit0 -CL004698_bit0 -CL004699_bit0 -CL004700_bit0 -CL004701_bit0 -CL004702_bit0 -CL004703_bit0 -CL004704_bit0 -CL004705_bit0 -CL004706_bit0 -CL004707_bit0 -CL004708_bit0 -CL004709_bit0 -CL004710_bit0 -CL004711_bit0 -CL004712_bit0 -CL004713_bit0 -CL004714_bit0 -CL004715_bit0 -CL004716_bit0 -CL004717_bit0 -CL004718_bit0 -CL004719_bit0 -CL004720_bit0 -CL004721_bit0 -CL004722_bit0 -CL004723_bit0 -CL004724_bit0 -CL004725_bit0 -CL004726_bit0 -CL004727_bit0 -CL004728_bit0 -CL004729_bit0 -CL004730_bit0 -CL004731_bit0 -CL004732_bit0 -CL004733_bit0 -CL004734_bit0 -CL004735_bit0 -CL004736_bit0 -CL004737_bit0 -CL004738_bit0 -CL004739_bit0 -CL004740_bit0 -CL004741_bit0 -CL004742_bit0 -CL004743_bit0 -CL004744_bit0 -CL004745_bit0 -CL004746_bit0 -CL004747_bit0 -CL004748_bit0 -CL004749_bit0 -CL004750_bit0 -CL004751_bit0 -CL004752_bit0 -CL004753_bit0 -CL004754_bit0 -CL004755_bit0 -CL004756_bit0 -CL004757_bit0 -CL004758_bit0 -CL004759_bit0 -CL004760_bit0 -CL004761_bit0 -CL004762_bit0 -CL004763_bit0 -CL004764_bit0 -CL004765_bit0 -CL004766_bit0 -CL004767_bit0 -CL004768_bit0 -CL004769_bit0 -CL004770_bit0 -CL004771_bit0 -CL004772_bit0 -CL004773_bit0 -CL004774_bit0 -CL004775_bit0 -CL004776_bit0 -CL004777_bit0 -CL004778_bit0 -CL004779_bit0 -CL004780_bit0 -CL004781_bit0 -CL004782_bit0 -CL004783_bit0 -CL004784_bit0 -CL004785_bit0 -CL004786_bit0 -CL004787_bit0 -CL004788_bit0 -CL004789_bit0 -CL004790_bit0 -CL004791_bit0 -CL004792_bit0 -CL004793_bit0 -CL004794_bit0 -CL004795_bit0 -CL004796_bit0 -CL004797_bit0 -CL004798_bit0 -CL004799_bit0 -CL004800_bit0 -CL004801_bit0 -CL004802_bit0 -CL004803_bit0 -CL004804_bit0 -CL004805_bit0 -CL004806_bit0 -CL004807_bit0 -CL004808_bit0 -CL004809_bit0 -CL004810_bit0 -CL004811_bit0 -CL004812_bit0 -CL004813_bit0 -CL004814_bit0 -CL004815_bit0 -CL004816_bit0 -CL004817_bit0 -CL004818_bit0 -CL004819_bit0 -CL004820_bit0 -CL004821_bit0 -CL004822_bit0 -CL004823_bit0 -CL004824_bit0 -CL004825_bit0 -CL004826_bit0 -CL004827_bit0 -CL004828_bit0 -CL004829_bit0 -CL004830_bit0 -CL004831_bit0 -CL004832_bit0 -CL004833_bit0 -CL004834_bit0 -CL004835_bit0 -CL004836_bit0 -CL004837_bit0 -CL004838_bit0 -CL004839_bit0 -CL004840_bit0 -CL004841_bit0 -CL004842_bit0 -CL004843_bit0 -CL004844_bit0 -CL004845_bit0 -CL004846_bit0 -CL004847_bit0 -CL004848_bit0 -CL004849_bit0 -CL004850_bit0 -CL004851_bit0 -CL004852_bit0 -CL004853_bit0 -CL004854_bit0 -CL004855_bit0 -CL004856_bit0 -CL004857_bit0 -CL004858_bit0 -CL004859_bit0 -CL004860_bit0 -CL004861_bit0 -CL004862_bit0 -CL004863_bit0 -CL004864_bit0 -CL004865_bit0 -CL004866_bit0 -CL004867_bit0 -CL004868_bit0 -CL004869_bit0 -CL004870_bit0 -CL004871_bit0 -CL004872_bit0 -CL004873_bit0 -CL004874_bit0 -CL004875_bit0 -CL004876_bit0 -CL004877_bit0 -CL004878_bit0 -CL004879_bit0 -CL004880_bit0 -CL004881_bit0 -CL004882_bit0 -CL004883_bit0 -CL004884_bit0 -CL004885_bit0 -CL004886_bit0 -CL004887_bit0 -CL004888_bit0 -CL004889_bit0 -CL004890_bit0 -CL004891_bit0 -CL004892_bit0 -CL004893_bit0 -CL004894_bit0 -CL004895_bit0 -CL004896_bit0 -CL004897_bit0 -CL004898_bit0 -CL004899_bit0 -CL004900_bit0 -CL004901_bit0 -CL004902_bit0 -CL004903_bit0 -CL004904_bit0 -CL004905_bit0 -CL004906_bit0 -CL004907_bit0 -CL004908_bit0 -CL004909_bit0 -CL004910_bit0 -CL004911_bit0 -CL004912_bit0 -CL004913_bit0 -CL004914_bit0 -CL004915_bit0 -CL004916_bit0 -CL004917_bit0 -CL004918_bit0 -CL004919_bit0 -CL004920_bit0 -CL004921_bit0 -CL004922_bit0 -CL004923_bit0 -CL004924_bit0 -CL004925_bit0 -CL004926_bit0 -CL004927_bit0 -CL004928_bit0 -CL004929_bit0 -CL004930_bit0 -CL004931_bit0 -CL004932_bit0 -CL004933_bit0 -CL004934_bit0 -CL004935_bit0 -CL004936_bit0 -CL004937_bit0 -CL004938_bit0 -CL004939_bit0 -CL004940_bit0 -CL004941_bit0 -CL004942_bit0 -CL004943_bit0 -CL004944_bit0 -CL004945_bit0 -CL004946_bit0 -CL004947_bit0 -CL004948_bit0 -CL004949_bit0 -CL004950_bit0 -CL004951_bit0 -CL004952_bit0 -CL004953_bit0 -CL004954_bit0 -CL004955_bit0 -CL004956_bit0 -CL004957_bit0 -CL004958_bit0 -CL004959_bit0 -CL004960_bit0 -CL004961_bit0 -CL004962_bit0 -CL004963_bit0 -CL004964_bit0 -CL004965_bit0 -CL004966_bit0 -CL004967_bit0 -CL004968_bit0 -CL004969_bit0 -CL004970_bit0 -CL004971_bit0 -CL004972_bit0 -CL004973_bit0 -CL004974_bit0 -CL004975_bit0 -CL004976_bit0 -CL004977_bit0 -CL004978_bit0 -CL004979_bit0 -CL004980_bit0 -CL004981_bit0 -CL004982_bit0 -CL004983_bit0 -CL004984_bit0 -CL004985_bit0 -CL004986_bit0 -CL004987_bit0 -CL004988_bit0 -CL004989_bit0 -CL004990_bit0 -CL004991_bit0 -CL004992_bit0 -CL004993_bit0 -CL004994_bit0 -CL004995_bit0 -CL004996_bit0 -CL004997_bit0 -CL004998_bit0 -CL004999_bit0 -CL005000_bit0 -CL005001_bit0 -CL005002_bit0 -CL005003_bit0 -CL005004_bit0 -CL005005_bit0 -CL005006_bit0 -CL005007_bit0 -CL005008_bit0 -CL005009_bit0 -CL005010_bit0 -CL005011_bit0 -CL005012_bit0 -CL005013_bit0 -CL005014_bit0 -CL005015_bit0 -CL005016_bit0 -CL005017_bit0 -CL005018_bit0 -CL005019_bit0 -CL005020_bit0 -CL005021_bit0 -CL005022_bit0 -CL005023_bit0 -CL005024_bit0 -CL005025_bit0 -CL005026_bit0 -CL005027_bit0 -CL005028_bit0 -CL005029_bit0 -CL005030_bit0 -CL005031_bit0 -CL005032_bit0 -CL005033_bit0 -CL005034_bit0 -CL005035_bit0 -CL005036_bit0 -CL005037_bit0 -CL005038_bit0 -CL005039_bit0 -CL005040_bit0 -CL005041_bit0 -CL005042_bit0 -CL005043_bit0 -CL005044_bit0 -CL005045_bit0 -CL005046_bit0 -CL005047_bit0 -CL005048_bit0 -CL005049_bit0 -CL005050_bit0 -CL005051_bit0 -CL005052_bit0 -CL005053_bit0 -CL005054_bit0 -CL005055_bit0 -CL005056_bit0 -CL005057_bit0 -CL005058_bit0 -CL005059_bit0 -CL005060_bit0 -CL005061_bit0 -CL005062_bit0 -CL005063_bit0 -CL005064_bit0 -CL005065_bit0 -CL005066_bit0 -CL005067_bit0 -CL005068_bit0 -CL005069_bit0 -CL005070_bit0 -CL005071_bit0 -CL005072_bit0 -CL005073_bit0 -CL005074_bit0 -CL005075_bit0 -CL005076_bit0 -CL005077_bit0 -CL005078_bit0 -CL005079_bit0 -CL005080_bit0 -CL005081_bit0 -CL005082_bit0 -CL005083_bit0 -CL005084_bit0 -CL005085_bit0 -CL005086_bit0 -CL005087_bit0 -CL005088_bit0 -CL005089_bit0 -CL005090_bit0 -CL005091_bit0 -CL005092_bit0 -CL005093_bit0 -CL005094_bit0 -CL005095_bit0 -CL005096_bit0 -CL005097_bit0 -CL005098_bit0 -CL005099_bit0 -CL005100_bit0 -CL005101_bit0 -CL005102_bit0 -CL005103_bit0 -CL005104_bit0 -CL005105_bit0 -CL005106_bit0 -CL005107_bit0 -CL005108_bit0 -CL005109_bit0 -CL005110_bit0 -CL005111_bit0 -CL005112_bit0 -CL005113_bit0 -CL005114_bit0 -CL005115_bit0 -CL005116_bit0 -CL005117_bit0 -CL005118_bit0 -CL005119_bit0 -CL005120_bit0 -CL005121_bit0 -CL005122_bit0 -CL005123_bit0 -CL005124_bit0 CL005125_bit0 -CL005126_bit0 -CL005127_bit0 -CL005128_bit0 -CL005129_bit0 -CL005130_bit0 -CL005131_bit0 -CL005132_bit0 -CL005133_bit0 -CL005134_bit0 -CL005135_bit0 -CL005136_bit0 -CL005137_bit0 -CL005138_bit0 -CL005139_bit0 -CL005140_bit0 -CL005141_bit0 -CL005142_bit0 -CL005143_bit0 -CL005144_bit0 -CL005145_bit0 -CL005146_bit0 -CL005147_bit0 -CL005148_bit0 -CL005149_bit0 -CL005150_bit0 -CL005151_bit0 -CL005152_bit0 -CL005153_bit0 -CL005154_bit0 -CL005155_bit0 -CL005156_bit0 -CL005157_bit0 -CL005158_bit0 -CL005159_bit0 -CL005160_bit0 -CL005161_bit0 -CL005162_bit0 -CL005163_bit0 -CL005164_bit0 -CL005165_bit0 -CL005166_bit0 -CL005167_bit0 -CL005168_bit0 -CL005169_bit0 -CL005170_bit0 -CL005171_bit0 -CL005172_bit0 -CL005173_bit0 -CL005174_bit0 -CL005175_bit0 -CL005176_bit0 -CL005177_bit0 -CL005178_bit0 -CL005179_bit0 -CL005180_bit0 -CL005181_bit0 -CL005182_bit0 -CL005183_bit0 -CL005184_bit0 -CL005185_bit0 -CL005186_bit0 -CL005187_bit0 -CL005188_bit0 -CL005189_bit0 -CL005190_bit0 -CL005191_bit0 -CL005192_bit0 -CL005193_bit0 -CL005194_bit0 -CL005195_bit0 -CL005196_bit0 -CL005197_bit0 -CL005198_bit0 -CL005199_bit0 -CL005200_bit0 -CL005201_bit0 -CL005202_bit0 -CL005203_bit0 -CL005204_bit0 -CL005205_bit0 -CL005206_bit0 -CL005207_bit0 -CL005208_bit0 -CL005209_bit0 -CL005210_bit0 -CL005211_bit0 -CL005212_bit0 -CL005213_bit0 -CL005214_bit0 -CL005215_bit0 -CL005216_bit0 -CL005217_bit0 -CL005218_bit0 -CL005219_bit0 -CL005220_bit0 -CL005221_bit0 -CL005222_bit0 -CL005223_bit0 -CL005224_bit0 -CL005225_bit0 -CL005226_bit0 -CL005227_bit0 -CL005228_bit0 -CL005229_bit0 -CL005230_bit0 -CL005231_bit0 -CL005232_bit0 -CL005233_bit0 -CL005234_bit0 -CL005235_bit0 -CL005236_bit0 -CL005237_bit0 -CL005238_bit0 -CL005239_bit0 -CL005240_bit0 -CL005241_bit0 -CL005242_bit0 -CL005243_bit0 -CL005244_bit0 -CL005245_bit0 -CL005246_bit0 -CL005247_bit0 -CL005248_bit0 -CL005249_bit0 -CL005250_bit0 -CL005251_bit0 -CL005252_bit0 -CL005253_bit0 -CL005254_bit0 -CL005255_bit0 -CL005256_bit0 -CL005257_bit0 -CL005258_bit0 -CL005259_bit0 -CL005260_bit0 -CL005261_bit0 -CL005262_bit0 -CL005263_bit0 -CL005264_bit0 -CL005265_bit0 -CL005266_bit0 -CL005267_bit0 -CL005268_bit0 -CL005269_bit0 -CL005270_bit0 -CL005271_bit0 -CL005272_bit0 -CL005273_bit0 -CL005274_bit0 -CL005275_bit0 -CL005276_bit0 -CL005277_bit0 -CL005278_bit0 -CL005279_bit0 -CL005280_bit0 -CL005281_bit0 -CL005282_bit0 -CL005283_bit0 -CL005284_bit0 -CL005285_bit0 -CL005286_bit0 -CL005287_bit0 -CL005288_bit0 -CL005289_bit0 -CL005290_bit0 -CL005291_bit0 -CL005292_bit0 -CL005293_bit0 -CL005294_bit0 -CL005295_bit0 -CL005296_bit0 -CL005297_bit0 -CL005298_bit0 -CL005299_bit0 -CL005300_bit0 -CL005301_bit0 -CL005302_bit0 -CL005303_bit0 -CL005304_bit0 -CL005305_bit0 -CL005306_bit0 -CL005307_bit0 -CL005308_bit0 -CL005309_bit0 -CL005310_bit0 -CL005311_bit0 -CL005312_bit0 -CL005313_bit0 -CL005314_bit0 -CL005315_bit0 -CL005316_bit0 -CL005317_bit0 -CL005318_bit0 -CL005319_bit0 -CL005320_bit0 -CL005321_bit0 -CL005322_bit0 -CL005323_bit0 -CL005324_bit0 -CL005325_bit0 -CL005326_bit0 -CL005327_bit0 -CL005328_bit0 -CL005329_bit0 -CL005330_bit0 -CL005331_bit0 -CL005332_bit0 -CL005333_bit0 -CL005334_bit0 -CL005335_bit0 -CL005336_bit0 -CL005337_bit0 -CL005338_bit0 -CL005339_bit0 -CL005340_bit0 -CL005341_bit0 -CL005342_bit0 -CL005343_bit0 -CL005344_bit0 -CL005345_bit0 -CL005346_bit0 -CL005347_bit0 -CL005348_bit0 -CL005349_bit0 -CL005350_bit0 -CL005351_bit0 -CL005352_bit0 -CL005353_bit0 -CL005354_bit0 -CL005355_bit0 -CL005356_bit0 -CL005357_bit0 -CL005358_bit0 -CL005359_bit0 -CL005360_bit0 -CL005361_bit0 -CL005362_bit0 -CL005363_bit0 -CL005364_bit0 -CL005365_bit0 -CL005366_bit0 -CL005367_bit0 -CL005368_bit0 -CL005369_bit0 -CL005370_bit0 -CL005371_bit0 -CL005372_bit0 -CL005373_bit0 -CL005374_bit0 -CL005375_bit0 -CL005376_bit0 -CL005377_bit0 -CL005378_bit0 -CL005379_bit0 -CL005380_bit0 -CL005381_bit0 -CL005382_bit0 -CL005383_bit0 -CL005384_bit0 -CL005385_bit0 -CL005386_bit0 -CL005387_bit0 -CL005388_bit0 -CL005389_bit0 -CL005390_bit0 -CL005391_bit0 -CL005392_bit0 -CL005393_bit0 -CL005394_bit0 -CL005395_bit0 -CL005396_bit0 -CL005397_bit0 -CL005398_bit0 -CL005399_bit0 -CL005400_bit0 -CL005401_bit0 -CL005402_bit0 -CL005403_bit0 -CL005404_bit0 -CL005405_bit0 -CL005406_bit0 -CL005407_bit0 -CL005408_bit0 -CL005409_bit0 -CL005410_bit0 -CL005411_bit0 -CL005412_bit0 -CL005413_bit0 -CL005414_bit0 -CL005415_bit0 -CL005416_bit0 -CL005417_bit0 -CL005418_bit0 -CL005419_bit0 -CL005420_bit0 -CL005421_bit0 -CL005422_bit0 -CL005423_bit0 -CL005424_bit0 -CL005425_bit0 -CL005426_bit0 -CL005427_bit0 -CL005428_bit0 -CL005429_bit0 -CL005430_bit0 -CL005431_bit0 -CL005432_bit0 -CL005433_bit0 -CL005434_bit0 -CL005435_bit0 -CL005436_bit0 -CL005437_bit0 -CL005438_bit0 -CL005439_bit0 -CL005440_bit0 -CL005441_bit0 -CL005442_bit0 -CL005443_bit0 -CL005444_bit0 -CL005445_bit0 -CL005446_bit0 -CL005447_bit0 -CL005448_bit0 -CL005449_bit0 -CL005450_bit0 -CL005451_bit0 -CL005452_bit0 -CL005453_bit0 -CL005454_bit0 -CL005455_bit0 -CL005456_bit0 -CL005457_bit0 -CL005458_bit0 -CL005459_bit0 -CL005460_bit0 -CL005461_bit0 -CL005462_bit0 -CL005463_bit0 -CL005464_bit0 -CL005465_bit0 -CL005466_bit0 -CL005467_bit0 -CL005468_bit0 -CL005469_bit0 -CL005470_bit0 -CL005471_bit0 -CL005472_bit0 -CL005473_bit0 -CL005474_bit0 -CL005475_bit0 -CL005476_bit0 -CL005477_bit0 -CL005478_bit0 -CL005479_bit0 -CL005480_bit0 -CL005481_bit0 -CL005482_bit0 -CL005483_bit0 -CL005484_bit0 -CL005485_bit0 -CL005486_bit0 -CL005487_bit0 -CL005488_bit0 -CL005489_bit0 -CL005490_bit0 -CL005491_bit0 -CL005492_bit0 -CL005493_bit0 -CL005494_bit0 -CL005495_bit0 -CL005496_bit0 -CL005497_bit0 -CL005498_bit0 -CL005499_bit0 -CL005500_bit0 -CL005501_bit0 -CL005502_bit0 -CL005503_bit0 -CL005504_bit0 -CL005505_bit0 -CL005506_bit0 -CL005507_bit0 -CL005508_bit0 -CL005509_bit0 -CL005510_bit0 -CL005511_bit0 -CL005512_bit0 -CL005513_bit0 -CL005514_bit0 -CL005515_bit0 -CL005516_bit0 -CL005517_bit0 -CL005518_bit0 -CL005519_bit0 -CL005520_bit0 -CL005521_bit0 -CL005522_bit0 -CL005523_bit0 -CL005524_bit0 -CL005525_bit0 -CL005526_bit0 -CL005527_bit0 -CL005528_bit0 -CL005529_bit0 -CL005530_bit0 -CL005531_bit0 -CL005532_bit0 -CL005533_bit0 -CL005534_bit0 -CL005535_bit0 -CL005536_bit0 -CL005537_bit0 -CL005538_bit0 -CL005539_bit0 -CL005540_bit0 -CL005541_bit0 -CL005542_bit0 -CL005543_bit0 -CL005544_bit0 -CL005545_bit0 -CL005546_bit0 -CL005547_bit0 -CL005548_bit0 -CL005549_bit0 -CL005550_bit0 -CL005551_bit0 -CL005552_bit0 -CL005553_bit0 -CL005554_bit0 -CL005555_bit0 -CL005556_bit0 -CL005557_bit0 -CL005558_bit0 -CL005559_bit0 -CL005560_bit0 -CL005561_bit0 -CL005562_bit0 -CL005563_bit0 -CL005564_bit0 -CL005565_bit0 -CL005566_bit0 -CL005567_bit0 -CL005568_bit0 -CL005569_bit0 -CL005570_bit0 -CL005571_bit0 -CL005572_bit0 -CL005573_bit0 -CL005574_bit0 -CL005575_bit0 -CL005576_bit0 -CL005577_bit0 -CL005578_bit0 -CL005579_bit0 -CL005580_bit0 -CL005581_bit0 -CL005582_bit0 -CL005583_bit0 -CL005584_bit0 -CL005585_bit0 -CL005586_bit0 -CL005587_bit0 -CL005588_bit0 -CL005589_bit0 -CL005590_bit0 -CL005591_bit0 -CL005592_bit0 -CL005593_bit0 -CL005594_bit0 -CL005595_bit0 -CL005596_bit0 -CL005597_bit0 -CL005598_bit0 -CL005599_bit0 -CL005600_bit0 -CL005601_bit0 -CL005602_bit0 -CL005603_bit0 -CL005604_bit0 -CL005605_bit0 -CL005606_bit0 -CL005607_bit0 -CL005608_bit0 -CL005609_bit0 -CL005610_bit0 -CL005611_bit0 -CL005612_bit0 -CL005613_bit0 -CL005614_bit0 -CL005615_bit0 -CL005616_bit0 -CL005617_bit0 -CL005618_bit0 -CL005619_bit0 -CL005620_bit0 -CL005621_bit0 -CL005622_bit0 -CL005623_bit0 -CL005624_bit0 -CL005625_bit0 -CL005626_bit0 -CL005627_bit0 -CL005628_bit0 -CL005629_bit0 -CL005630_bit0 -CL005631_bit0 -CL005632_bit0 -CL005633_bit0 -CL005634_bit0 -CL005635_bit0 -CL005636_bit0 -CL005637_bit0 -CL005638_bit0 -CL005639_bit0 -CL005640_bit0 -CL005641_bit0 -CL005642_bit0 -CL005643_bit0 -CL005644_bit0 -CL005645_bit0 -CL005646_bit0 -CL005647_bit0 -CL005648_bit0 -CL005649_bit0 -CL005650_bit0 -CL005651_bit0 -CL005652_bit0 -CL005653_bit0 -CL005654_bit0 -CL005655_bit0 -CL005656_bit0 -CL005657_bit0 -CL005658_bit0 -CL005659_bit0 -CL005660_bit0 -CL005661_bit0 -CL005662_bit0 -CL005663_bit0 -CL005664_bit0 -CL005665_bit0 -CL005666_bit0 -CL005667_bit0 -CL005668_bit0 -CL005669_bit0 -CL005670_bit0 -CL005671_bit0 -CL005672_bit0 -CL005673_bit0 -CL005674_bit0 -CL005675_bit0 -CL005676_bit0 -CL005677_bit0 -CL005678_bit0 -CL005679_bit0 -CL005680_bit0 -CL005681_bit0 -CL005682_bit0 -CL005683_bit0 -CL005684_bit0 -CL005685_bit0 -CL005686_bit0 -CL005687_bit0 -CL005688_bit0 -CL005689_bit0 -CL005690_bit0 -CL005691_bit0 -CL005692_bit0 -CL005693_bit0 -CL005694_bit0 -CL005695_bit0 -CL005696_bit0 -CL005697_bit0 -CL005698_bit0 -CL005699_bit0 -CL005700_bit0 -CL005701_bit0 -CL005702_bit0 -CL005703_bit0 -CL005704_bit0 -CL005705_bit0 -CL005706_bit0 -CL005707_bit0 -CL005708_bit0 -CL005709_bit0 -CL005710_bit0 -CL005711_bit0 -CL005712_bit0 -CL005713_bit0 -CL005714_bit0 -CL005715_bit0 -CL005716_bit0 -CL005717_bit0 -CL005718_bit0 -CL005719_bit0 -CL005720_bit0 -CL005721_bit0 -CL005722_bit0 -CL005723_bit0 -CL005724_bit0 -CL005725_bit0 -CL005726_bit0 -CL005727_bit0 -CL005728_bit0 -CL005729_bit0 -CL005730_bit0 -CL005731_bit0 -CL005732_bit0 -CL005733_bit0 -CL005734_bit0 -CL005735_bit0 -CL005736_bit0 -CL005737_bit0 -CL005738_bit0 -CL005739_bit0 -CL005740_bit0 -CL005741_bit0 -CL005742_bit0 -CL005743_bit0 -CL005744_bit0 -CL005745_bit0 -CL005746_bit0 -CL005747_bit0 -CL005748_bit0 -CL005749_bit0 -CL005750_bit0 -CL005751_bit0 -CL005752_bit0 -CL005753_bit0 -CL005754_bit0 -CL005755_bit0 -CL005756_bit0 -CL005757_bit0 -CL005758_bit0 -CL005759_bit0 -CL005760_bit0 -CL005761_bit0 -CL005762_bit0 -CL005763_bit0 -CL005764_bit0 -CL005765_bit0 -CL005766_bit0 -CL005767_bit0 -CL005768_bit0 -CL005769_bit0 -CL005770_bit0 -CL005771_bit0 -CL005772_bit0 -CL005773_bit0 -CL005774_bit0 -CL005775_bit0 -CL005776_bit0 -CL005777_bit0 -CL005778_bit0 -CL005779_bit0 -CL005780_bit0 -CL005781_bit0 -CL005782_bit0 -CL005783_bit0 -CL005784_bit0 -CL005785_bit0 -CL005786_bit0 -CL005787_bit0 -CL005788_bit0 -CL005789_bit0 -CL005790_bit0 -CL005791_bit0 -CL005792_bit0 -CL005793_bit0 -CL005794_bit0 -CL005795_bit0 -CL005796_bit0 -CL005797_bit0 -CL005798_bit0 -CL005799_bit0 -CL005800_bit0 -CL005801_bit0 -CL005802_bit0 -CL005803_bit0 -CL005804_bit0 -CL005805_bit0 -CL005806_bit0 -CL005807_bit0 -CL005808_bit0 -CL005809_bit0 -CL005810_bit0 -CL005811_bit0 -CL005812_bit0 -CL005813_bit0 -CL005814_bit0 -CL005815_bit0 -CL005816_bit0 -CL005817_bit0 -CL005818_bit0 -CL005819_bit0 -CL005820_bit0 -CL005821_bit0 -CL005822_bit0 -CL005823_bit0 -CL005824_bit0 -CL005825_bit0 -CL005826_bit0 -CL005827_bit0 -CL005828_bit0 -CL005829_bit0 -CL005830_bit0 -CL005831_bit0 -CL005832_bit0 -CL005833_bit0 -CL005834_bit0 -CL005835_bit0 -CL005836_bit0 -CL005837_bit0 -CL005838_bit0 -CL005839_bit0 -CL005840_bit0 -CL005841_bit0 -CL005842_bit0 -CL005843_bit0 -CL005844_bit0 -CL005845_bit0 -CL005846_bit0 -CL005847_bit0 -CL005848_bit0 -CL005849_bit0 -CL005850_bit0 -CL005851_bit0 -CL005852_bit0 -CL005853_bit0 -CL005854_bit0 -CL005855_bit0 -CL005856_bit0 -CL005857_bit0 -CL005858_bit0 -CL005859_bit0 -CL005860_bit0 -CL005861_bit0 -CL005862_bit0 -CL005863_bit0 -CL005864_bit0 -CL005865_bit0 -CL005866_bit0 -CL005867_bit0 -CL005868_bit0 -CL005869_bit0 -CL005870_bit0 -CL005871_bit0 -CL005872_bit0 -CL005873_bit0 -CL005874_bit0 -CL005875_bit0 -CL005876_bit0 -CL005877_bit0 -CL005878_bit0 -CL005879_bit0 -CL005880_bit0 -CL005881_bit0 -CL005882_bit0 -CL005883_bit0 -CL005884_bit0 -CL005885_bit0 -CL005886_bit0 -CL005887_bit0 -CL005888_bit0 -CL005889_bit0 -CL005890_bit0 -CL005891_bit0 -CL005892_bit0 -CL005893_bit0 -CL005894_bit0 -CL005895_bit0 -CL005896_bit0 -CL005897_bit0 -CL005898_bit0 -CL005899_bit0 -CL005900_bit0 -CL005901_bit0 -CL005902_bit0 -CL005903_bit0 -CL005904_bit0 -CL005905_bit0 -CL005906_bit0 -CL005907_bit0 -CL005908_bit0 -CL005909_bit0 -CL005910_bit0 -CL005911_bit0 -CL005912_bit0 -CL005913_bit0 -CL005914_bit0 -CL005915_bit0 -CL005916_bit0 -CL005917_bit0 -CL005918_bit0 -CL005919_bit0 -CL005920_bit0 -CL005921_bit0 -CL005922_bit0 -CL005923_bit0 -CL005924_bit0 -CL005925_bit0 -CL005926_bit0 -CL005927_bit0 -CL005928_bit0 -CL005929_bit0 -CL005930_bit0 -CL005931_bit0 -CL005932_bit0 -CL005933_bit0 -CL005934_bit0 -CL005935_bit0 -CL005936_bit0 -CL005937_bit0 -CL005938_bit0 -CL005939_bit0 -CL005940_bit0 -CL005941_bit0 -CL005942_bit0 -CL005943_bit0 -CL005944_bit0 -CL005945_bit0 -CL005946_bit0 -CL005947_bit0 -CL005948_bit0 -CL005949_bit0 -CL005950_bit0 -CL005951_bit0 -CL005952_bit0 -CL005953_bit0 -CL005954_bit0 -CL005955_bit0 -CL005956_bit0 -CL005957_bit0 -CL005958_bit0 -CL005959_bit0 -CL005960_bit0 -CL005961_bit0 -CL005962_bit0 -CL005963_bit0 -CL005964_bit0 -CL005965_bit0 -CL005966_bit0 -CL005967_bit0 -CL005968_bit0 -CL005969_bit0 -CL005970_bit0 -CL005971_bit0 -CL005972_bit0 -CL005973_bit0 -CL005974_bit0 -CL005975_bit0 -CL005976_bit0 -CL005977_bit0 -CL005978_bit0 -CL005979_bit0 -CL005980_bit0 -CL005981_bit0 -CL005982_bit0 -CL005983_bit0 -CL005984_bit0 -CL005985_bit0 -CL005986_bit0 -CL005987_bit0 -CL005988_bit0 -CL005989_bit0 -CL005990_bit0 -CL005991_bit0 -CL005992_bit0 -CL005993_bit0 -CL005994_bit0 -CL005995_bit0 -CL005996_bit0 -CL005997_bit0 -CL005998_bit0 -CL005999_bit0 -CL006000_bit0 -CL006001_bit0 -CL006002_bit0 -CL006003_bit0 -CL006004_bit0 -CL006005_bit0 -CL006006_bit0 -CL006007_bit0 -CL006008_bit0 -CL006009_bit0 -CL006010_bit0 -CL006011_bit0 -CL006012_bit0 -CL006013_bit0 -CL006014_bit0 -CL006015_bit0 -CL006016_bit0 -CL006017_bit0 -CL006018_bit0 -CL006019_bit0 -CL006020_bit0 -CL006021_bit0 -CL006022_bit0 -CL006023_bit0 -CL006024_bit0 -CL006025_bit0 -CL006026_bit0 -CL006027_bit0 -CL006028_bit0 -CL006029_bit0 -CL006030_bit0 -CL006031_bit0 -CL006032_bit0 -CL006033_bit0 -CL006034_bit0 -CL006035_bit0 -CL006036_bit0 -CL006037_bit0 -CL006038_bit0 -CL006039_bit0 -CL006040_bit0 -CL006041_bit0 -CL006042_bit0 -CL006043_bit0 -CL006044_bit0 -CL006045_bit0 -CL006046_bit0 -CL006047_bit0 -CL006048_bit0 -CL006049_bit0 -CL006050_bit0 -CL006051_bit0 -CL006052_bit0 -CL006053_bit0 -CL006054_bit0 -CL006055_bit0 -CL006056_bit0 -CL006057_bit0 -CL006058_bit0 -CL006059_bit0 -CL006060_bit0 -CL006061_bit0 -CL006062_bit0 -CL006063_bit0 -CL006064_bit0 -CL006065_bit0 -CL006066_bit0 -CL006067_bit0 -CL006068_bit0 -CL006069_bit0 -CL006070_bit0 -CL006071_bit0 -CL006072_bit0 -CL006073_bit0 -CL006074_bit0 -CL006075_bit0 -CL006076_bit0 -CL006077_bit0 -CL006078_bit0 -CL006079_bit0 -CL006080_bit0 -CL006081_bit0 -CL006082_bit0 -CL006083_bit0 -CL006084_bit0 -CL006085_bit0 -CL006086_bit0 -CL006087_bit0 -CL006088_bit0 -CL006089_bit0 -CL006090_bit0 -CL006091_bit0 -CL006092_bit0 -CL006093_bit0 -CL006094_bit0 -CL006095_bit0 -CL006096_bit0 -CL006097_bit0 -CL006098_bit0 -CL006099_bit0 -CL006100_bit0 -CL006101_bit0 -CL006102_bit0 -CL006103_bit0 -CL006104_bit0 -CL006105_bit0 -CL006106_bit0 -CL006107_bit0 -CL006108_bit0 -CL006109_bit0 -CL006110_bit0 -CL006111_bit0 -CL006112_bit0 -CL006113_bit0 -CL006114_bit0 -CL006115_bit0 -CL006116_bit0 -CL006117_bit0 -CL006118_bit0 -CL006119_bit0 -CL006120_bit0 -CL006121_bit0 -CL006122_bit0 -CL006123_bit0 -CL006124_bit0 -CL006125_bit0 -CL006126_bit0 -CL006127_bit0 -CL006128_bit0 -CL006129_bit0 -CL006130_bit0 -CL006131_bit0 -CL006132_bit0 -CL006133_bit0 -CL006134_bit0 -CL006135_bit0 -CL006136_bit0 -CL006137_bit0 -CL006138_bit0 -CL006139_bit0 -CL006140_bit0 -CL006141_bit0 -CL006142_bit0 -CL006143_bit0 -CL006144_bit0 -CL006145_bit0 -CL006146_bit0 -CL006147_bit0 -CL006148_bit0 -CL006149_bit0 -CL006150_bit0 -CL006151_bit0 -CL006152_bit0 -CL006153_bit0 -CL006154_bit0 -CL006155_bit0 -CL006156_bit0 -CL006157_bit0 -CL006158_bit0 -CL006159_bit0 -CL006160_bit0 -CL006161_bit0 -CL006162_bit0 -CL006163_bit0 -CL006164_bit0 -CL006165_bit0 -CL006166_bit0 -CL006167_bit0 -CL006168_bit0 -CL006169_bit0 -CL006170_bit0 -CL006171_bit0 -CL006172_bit0 -CL006173_bit0 -CL006174_bit0 -CL006175_bit0 -CL006176_bit0 -CL006177_bit0 -CL006178_bit0 -CL006179_bit0 -CL006180_bit0 -CL006181_bit0 -CL006182_bit0 -CL006183_bit0 -CL006184_bit0 -CL006185_bit0 -CL006186_bit0 -CL006187_bit0 -CL006188_bit0 -CL006189_bit0 -CL006190_bit0 -CL006191_bit0 -CL006192_bit0 -CL006193_bit0 -CL006194_bit0 -CL006195_bit0 -CL006196_bit0 -CL006197_bit0 -CL006198_bit0 -CL006199_bit0 -CL006200_bit0 -CL006201_bit0 -CL006202_bit0 -CL006203_bit0 -CL006204_bit0 -CL006205_bit0 -CL006206_bit0 -CL006207_bit0 -CL006208_bit0 -CL006209_bit0 -CL006210_bit0 -CL006211_bit0 -CL006212_bit0 -CL006213_bit0 -CL006214_bit0 -CL006215_bit0 -CL006216_bit0 -CL006217_bit0 -CL006218_bit0 -CL006219_bit0 -CL006220_bit0 -CL006221_bit0 -CL006222_bit0 -CL006223_bit0 -CL006224_bit0 -CL006225_bit0 -CL006226_bit0 -CL006227_bit0 -CL006228_bit0 -CL006229_bit0 -CL006230_bit0 -CL006231_bit0 -CL006232_bit0 -CL006233_bit0 -CL006234_bit0 -CL006235_bit0 -CL006236_bit0 -CL006237_bit0 -CL006238_bit0 -CL006239_bit0 -CL006240_bit0 -CL006241_bit0 -CL006242_bit0 -CL006243_bit0 -CL006244_bit0 -CL006245_bit0 -CL006246_bit0 -CL006247_bit0 -CL006248_bit0 -CL006249_bit0 -CL006250_bit0 -CL006251_bit0 CL006252_bit0 -CL006253_bit0 -CL006254_bit0 -CL006255_bit0 -CL006256_bit0 -CL006257_bit0 -CL006258_bit0 -CL006259_bit0 -CL006260_bit0 -CL006261_bit0 -CL006262_bit0 -CL006263_bit0 -CL006264_bit0 -CL006265_bit0 -CL006266_bit0 -CL006267_bit0 -CL006268_bit0 -CL006269_bit0 -CL006270_bit0 -CL006271_bit0 -CL006272_bit0 -CL006273_bit0 -CL006274_bit0 -CL006275_bit0 -CL006276_bit0 -CL006277_bit0 -CL006278_bit0 -CL006279_bit0 -CL006280_bit0 -CL006281_bit0 -CL006282_bit0 -CL006283_bit0 -CL006284_bit0 -CL006285_bit0 -CL006286_bit0 -CL006287_bit0 -CL006288_bit0 -CL006289_bit0 -CL006290_bit0 -CL006291_bit0 -CL006292_bit0 -CL006293_bit0 -CL006294_bit0 -CL006295_bit0 -CL006296_bit0 -CL006297_bit0 -CL006298_bit0 -CL006299_bit0 -CL006300_bit0 -CL006301_bit0 -CL006302_bit0 -CL006303_bit0 -CL006304_bit0 -CL006305_bit0 -CL006306_bit0 -CL006307_bit0 -CL006308_bit0 -CL006309_bit0 -CL006310_bit0 -CL006311_bit0 -CL006312_bit0 -CL006313_bit0 -CL006314_bit0 -CL006315_bit0 -CL006316_bit0 -CL006317_bit0 -CL006318_bit0 -CL006319_bit0 -CL006320_bit0 -CL006321_bit0 -CL006322_bit0 -CL006323_bit0 -CL006324_bit0 -CL006325_bit0 -CL006326_bit0 -CL006327_bit0 -CL006328_bit0 -CL006329_bit0 -CL006330_bit0 -CL006331_bit0 -CL006332_bit0 -CL006333_bit0 -CL006334_bit0 -CL006335_bit0 -CL006336_bit0 -CL006337_bit0 -CL006338_bit0 -CL006339_bit0 -CL006340_bit0 -CL006341_bit0 -CL006342_bit0 -CL006343_bit0 -CL006344_bit0 -CL006345_bit0 -CL006346_bit0 -CL006347_bit0 -CL006348_bit0 -CL006349_bit0 -CL006350_bit0 -CL006351_bit0 -CL006352_bit0 -CL006353_bit0 -CL006354_bit0 -CL006355_bit0 -CL006356_bit0 -CL006357_bit0 -CL006358_bit0 -CL006359_bit0 -CL006360_bit0 -CL006361_bit0 -CL006362_bit0 -CL006363_bit0 -CL006364_bit0 -CL006365_bit0 -CL006366_bit0 -CL006367_bit0 -CL006368_bit0 -CL006369_bit0 -CL006370_bit0 -CL006371_bit0 -CL006372_bit0 -CL006373_bit0 -CL006374_bit0 -CL006375_bit0 -CL006376_bit0 -CL006377_bit0 -CL006378_bit0 -CL006379_bit0 -CL006380_bit0 -CL006381_bit0 -CL006382_bit0 -CL006383_bit0 -CL006384_bit0 -CL006385_bit0 -CL006386_bit0 -CL006387_bit0 -CL006388_bit0 -CL006389_bit0 -CL006390_bit0 -CL006391_bit0 -CL006392_bit0 -CL006393_bit0 -CL006394_bit0 -CL006395_bit0 -CL006396_bit0 -CL006397_bit0 -CL006398_bit0 -CL006399_bit0 -CL006400_bit0 -CL006401_bit0 -CL006402_bit0 -CL006403_bit0 -CL006404_bit0 -CL006405_bit0 -CL006406_bit0 -CL006407_bit0 -CL006408_bit0 -CL006409_bit0 -CL006410_bit0 -CL006411_bit0 -CL006412_bit0 -CL006413_bit0 -CL006414_bit0 -CL006415_bit0 -CL006416_bit0 -CL006417_bit0 -CL006418_bit0 -CL006419_bit0 -CL006420_bit0 -CL006421_bit0 -CL006422_bit0 -CL006423_bit0 -CL006424_bit0 -CL006425_bit0 -CL006426_bit0 -CL006427_bit0 -CL006428_bit0 -CL006429_bit0 -CL006430_bit0 -CL006431_bit0 -CL006432_bit0 -CL006433_bit0 -CL006434_bit0 -CL006435_bit0 -CL006436_bit0 -CL006437_bit0 -CL006438_bit0 -CL006439_bit0 -CL006440_bit0 -CL006441_bit0 -CL006442_bit0 -CL006443_bit0 -CL006444_bit0 -CL006445_bit0 -CL006446_bit0 -CL006447_bit0 -CL006448_bit0 -CL006449_bit0 -CL006450_bit0 -CL006451_bit0 -CL006452_bit0 -CL006453_bit0 -CL006454_bit0 -CL006455_bit0 -CL006456_bit0 -CL006457_bit0 -CL006458_bit0 -CL006459_bit0 -CL006460_bit0 -CL006461_bit0 -CL006462_bit0 -CL006463_bit0 -CL006464_bit0 -CL006465_bit0 -CL006466_bit0 -CL006467_bit0 -CL006468_bit0 -CL006469_bit0 -CL006470_bit0 -CL006471_bit0 -CL006472_bit0 -CL006473_bit0 -CL006474_bit0 -CL006475_bit0 -CL006476_bit0 -CL006477_bit0 -CL006478_bit0 -CL006479_bit0 -CL006480_bit0 -CL006481_bit0 -CL006482_bit0 -CL006483_bit0 -CL006484_bit0 -CL006485_bit0 -CL006486_bit0 -CL006487_bit0 -CL006488_bit0 -CL006489_bit0 -CL006490_bit0 -CL006491_bit0 -CL006492_bit0 -CL006493_bit0 -CL006494_bit0 -CL006495_bit0 -CL006496_bit0 -CL006497_bit0 -CL006498_bit0 -CL006499_bit0 -CL006500_bit0 -CL006501_bit0 -CL006502_bit0 -CL006503_bit0 -CL006504_bit0 -CL006505_bit0 -CL006506_bit0 -CL006507_bit0 -CL006508_bit0 -CL006509_bit0 -CL006510_bit0 -CL006511_bit0 -CL006512_bit0 -CL006513_bit0 -CL006514_bit0 -CL006515_bit0 -CL006516_bit0 -CL006517_bit0 -CL006518_bit0 -CL006519_bit0 -CL006520_bit0 -CL006521_bit0 -CL006522_bit0 -CL006523_bit0 -CL006524_bit0 -CL006525_bit0 -CL006526_bit0 -CL006527_bit0 -CL006528_bit0 -CL006529_bit0 -CL006530_bit0 -CL006531_bit0 -CL006532_bit0 -CL006533_bit0 -CL006534_bit0 -CL006535_bit0 -CL006536_bit0 -CL006537_bit0 -CL006538_bit0 -CL006539_bit0 -CL006540_bit0 -CL006541_bit0 -CL006542_bit0 -CL006543_bit0 -CL006544_bit0 -CL006545_bit0 -CL006546_bit0 -CL006547_bit0 -CL006548_bit0 -CL006549_bit0 -CL006550_bit0 -CL006551_bit0 -CL006552_bit0 -CL006553_bit0 -CL006554_bit0 -CL006555_bit0 -CL006556_bit0 -CL006557_bit0 -CL006558_bit0 -CL006559_bit0 -CL006560_bit0 -CL006561_bit0 -CL006562_bit0 -CL006563_bit0 -CL006564_bit0 -CL006565_bit0 -CL006566_bit0 -CL006567_bit0 -CL006568_bit0 -CL006569_bit0 -CL006570_bit0 -CL006571_bit0 -CL006572_bit0 -CL006573_bit0 -CL006574_bit0 -CL006575_bit0 -CL006576_bit0 -CL006577_bit0 -CL006578_bit0 -CL006579_bit0 -CL006580_bit0 -CL006581_bit0 -CL006582_bit0 -CL006583_bit0 -CL006584_bit0 -CL006585_bit0 -CL006586_bit0 -CL006587_bit0 -CL006588_bit0 -CL006589_bit0 -CL006590_bit0 -CL006591_bit0 -CL006592_bit0 -CL006593_bit0 -CL006594_bit0 -CL006595_bit0 -CL006596_bit0 -CL006597_bit0 -CL006598_bit0 -CL006599_bit0 -CL006600_bit0 -CL006601_bit0 -CL006602_bit0 -CL006603_bit0 -CL006604_bit0 -CL006605_bit0 -CL006606_bit0 -CL006607_bit0 -CL006608_bit0 -CL006609_bit0 -CL006610_bit0 -CL006611_bit0 -CL006612_bit0 -CL006613_bit0 -CL006614_bit0 -CL006615_bit0 -CL006616_bit0 -CL006617_bit0 -CL006618_bit0 -CL006619_bit0 -CL006620_bit0 -CL006621_bit0 -CL006622_bit0 -CL006623_bit0 -CL006624_bit0 -CL006625_bit0 -CL006626_bit0 -CL006627_bit0 -CL#### 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.84 0.94 0.90 2/54 14150 Raw data (stat): 14150 (runsolver) R 14149 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547405166 1052672 99 4294967295 134512640 135381576 3221224448 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.9999 s] Raw data (loadavg): 0.87 0.94 0.90 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 16747 0 0 0 954 44 0 0 25 0 1 0 547405166 67997696 15395 4294967295 134512640 134672761 3221224544 3221222992 134643721 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 16601 15395 603 41 0 16560 0 vsize: 66404 [startup+20.0008 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 34972 0 0 0 1912 86 0 0 25 0 1 0 547405166 110575616 25665 4294967295 134512640 134672761 3221224544 3221222784 134522445 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 26996 25665 603 41 0 26955 0 vsize: 107984 [startup+30.0012 s] Raw data (loadavg): 0.90 0.94 0.90 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 62708 0 0 0 2849 150 0 0 25 0 1 0 547405166 243478528 50750 4294967295 134512640 134672761 3221224544 3221223088 134621336 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 59443 50750 603 41 0 59402 0 vsize: 237772 [startup+40.002 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 64530 0 0 0 3845 153 0 0 25 0 1 0 547405166 247332864 51609 4294967295 134512640 134672761 3221224544 3221223680 134614721 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 60384 51609 603 41 0 60343 0 vsize: 241536 [startup+50.0032 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 74064 0 0 0 4820 178 0 0 25 0 1 0 547405166 248532992 51902 4294967295 134512640 134672761 3221224544 3221222816 134597188 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 60677 51902 603 41 0 60636 0 vsize: 242708 [startup+60.0024 s] Raw data (loadavg): 0.94 0.95 0.90 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 76211 0 0 0 5815 184 0 0 25 0 1 0 547405166 250556416 52512 4294967295 134512640 134672761 3221224544 3221223728 134615549 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 61171 52512 603 41 0 61130 0 vsize: 244684 [startup+70.0033 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 85545 0 0 0 6792 206 0 0 25 0 1 0 547405166 263815168 55780 4294967295 134512640 134672761 3221224544 3221223776 134593694 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 64408 55780 603 41 0 64367 0 vsize: 257632 [startup+80.0041 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 85988 0 0 0 7788 209 0 0 25 0 1 0 547405166 251686912 52828 4294967295 134512640 134672761 3221224544 3221223728 134593758 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 61447 52828 603 41 0 61406 0 vsize: 245788 [startup+90.0035 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 87821 0 0 0 8784 214 0 0 25 0 1 0 547405166 252559360 53081 4294967295 134512640 134672761 3221224544 3221223728 134615608 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 61660 53081 603 41 0 61619 0 vsize: 246640 [startup+100.003 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 88583 0 0 0 9783 215 0 0 25 0 1 0 547405166 255606784 53826 4294967295 134512640 134672761 3221224544 3221223584 134614228 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 62404 53826 603 41 0 62363 0 vsize: 249616 [startup+110.003 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 89827 0 0 0 10780 218 0 0 25 0 1 0 547405166 260599808 55037 4294967295 134512640 134672761 3221224544 3221223728 134615619 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 63623 55037 603 41 0 63582 0 vsize: 254492 [startup+120.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 90494 0 0 0 11779 220 0 0 25 0 1 0 547405166 263294976 55704 4294967295 134512640 134672761 3221224544 3221223728 134615549 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 64281 55704 603 41 0 64240 0 vsize: 257124 [startup+130.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 91106 0 0 0 12778 221 0 0 25 0 1 0 547405166 265781248 56316 4294967295 134512640 134672761 3221224544 3221223584 134612575 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 64888 56316 603 41 0 64847 0 vsize: 259552 [startup+140.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 91802 0 0 0 13775 224 0 0 25 0 1 0 547405166 268742656 57012 4294967295 134512640 134672761 3221224544 3221223728 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 65611 57012 603 41 0 65570 0 vsize: 262444 [startup+150.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 100966 0 0 0 14750 249 0 0 25 0 1 0 547405166 270860288 57518 4294967295 134512640 134672761 3221224544 3221222448 134522430 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 66128 57518 603 41 0 66087 0 vsize: 264512 [startup+160.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 102430 0 0 0 15746 252 0 0 25 0 1 0 547405166 270696448 57516 4294967295 134512640 134672761 3221224544 3221223728 134615663 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 66088 57516 603 41 0 66047 0 vsize: 264352 [startup+170.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 102580 0 0 0 16746 253 0 0 25 0 1 0 547405166 271364096 57666 4294967295 134512640 134672761 3221224544 3221223624 1074754681 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 66251 57666 603 41 0 66210 0 vsize: 265004 [startup+180.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 102920 0 0 0 17746 253 0 0 25 0 1 0 547405166 272715776 58006 4294967295 134512640 134672761 3221224544 3221223728 134615549 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 66581 58006 603 41 0 66540 0 vsize: 266324 [startup+190.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 109731 0 0 0 18728 271 0 0 25 0 1 0 547405166 274178048 58363 4294967295 134512640 134672761 3221224544 3221222672 134597188 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 66938 58363 603 41 0 66897 0 vsize: 267752 [startup+200.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 111250 0 0 0 19725 275 0 0 25 0 1 0 547405166 274178048 58367 4294967295 134512640 134672761 3221224544 3221223584 134612684 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 66938 58367 603 41 0 66897 0 vsize: 267752 [startup+210.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 111323 0 0 0 20723 275 0 0 25 0 1 0 547405166 274587648 58440 4294967295 134512640 134672761 3221224544 3221223728 134615625 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 67038 58440 603 41 0 66997 0 vsize: 268152 [startup+220.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14150 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 111656 0 0 0 21722 276 0 0 25 0 1 0 547405166 275865600 58773 4294967295 134512640 134672761 3221224544 3221223584 134612614 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 67350 58773 603 41 0 67309 0 vsize: 269400 [startup+230.004 s] Raw data (loadavg): 0.99 0.96 0.91 3/57 14199 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 111944 0 0 0 22722 276 0 0 25 0 1 0 547405166 277020672 59061 4294967295 134512640 134672761 3221224544 3221223728 134615828 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 67632 59061 603 41 0 67591 0 vsize: 270528 [startup+240.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14203 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 112346 0 0 0 23720 278 0 0 25 0 1 0 547405166 278716416 59463 4294967295 134512640 134672761 3221224544 3221223728 134615619 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 68046 59463 603 41 0 68005 0 vsize: 272184 [startup+250.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14203 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 113141 0 0 0 24718 280 0 0 25 0 1 0 547405166 281993216 60258 4294967295 134512640 134672761 3221224544 3221223728 134615720 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 68846 60258 603 41 0 68805 0 vsize: 275384 [startup+260.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14203 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 113585 0 0 0 25717 282 0 0 25 0 1 0 547405166 283762688 60702 4294967295 134512640 134672761 3221224544 3221223536 134565103 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 69278 60702 603 41 0 69237 0 vsize: 277112 [startup+270.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14203 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 114314 0 0 0 26715 284 0 0 25 0 1 0 547405166 286785536 61431 4294967295 134512640 134672761 3221224544 3221223728 134615727 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 70016 61431 603 41 0 69975 0 vsize: 280064 [startup+280.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14203 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 114787 0 0 0 27713 286 0 0 25 0 1 0 547405166 288702464 61904 4294967295 134512640 134672761 3221224544 3221223728 134615663 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 70484 61904 603 41 0 70443 0 vsize: 281936 [startup+290.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 115124 0 0 0 28712 287 0 0 25 0 1 0 547405166 290115584 62241 4294967295 134512640 134672761 3221224544 3221223728 134615523 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 70829 62241 603 41 0 70788 0 vsize: 283316 [startup+300.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 115619 0 0 0 29710 289 0 0 25 0 1 0 547405166 292159488 62736 4294967295 134512640 134672761 3221224544 3221223728 134615833 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 71328 62736 603 41 0 71287 0 vsize: 285312 [startup+310.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 116150 0 0 0 30709 290 0 0 25 0 1 0 547405166 294359040 63267 4294967295 134512640 134672761 3221224544 3221223728 134615549 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 71865 63267 603 41 0 71824 0 vsize: 287460 [startup+320.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 116742 0 0 0 31707 293 0 0 25 0 1 0 547405166 296681472 63859 4294967295 134512640 134672761 3221224544 3221223728 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 72432 63859 603 41 0 72391 0 vsize: 289728 [startup+330.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 117325 0 0 0 32706 295 0 0 25 0 1 0 547405166 299036672 64442 4294967295 134512640 134672761 3221224544 3221223584 134612478 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 73007 64442 603 41 0 72966 0 vsize: 292028 [startup+340.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 124691 0 0 0 33687 313 0 0 25 0 1 0 547405166 307417088 66447 4294967295 134512640 134672761 3221224544 3221000224 134594086 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 75053 66447 603 41 0 75012 0 vsize: 300212 [startup+350.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 127046 0 0 0 34681 319 0 0 25 0 1 0 547405166 300703744 64812 4294967295 134512640 134672761 3221224544 3221223728 134593685 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 73414 64812 603 41 0 73373 0 vsize: 293656 [startup+360.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 128754 0 0 0 35677 323 0 0 25 0 1 0 547405166 301187072 64960 4294967295 134512640 134672761 3221224544 3221223584 134612604 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 73532 64960 603 41 0 73491 0 vsize: 294128 [startup+370.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 129543 0 0 0 36675 325 0 0 25 0 1 0 547405166 304504832 65749 4294967295 134512640 134672761 3221224544 3221223680 134614690 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 74342 65749 603 41 0 74301 0 vsize: 297368 [startup+380.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 130164 0 0 0 37674 326 0 0 25 0 1 0 547405166 307060736 66370 4294967295 134512640 134672761 3221224544 3221223728 134615608 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 74966 66370 603 41 0 74925 0 vsize: 299864 [startup+390.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 130729 0 0 0 38673 328 0 0 25 0 1 0 547405166 309313536 66935 4294967295 134512640 134672761 3221224544 3221223704 134614557 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 75516 66935 603 41 0 75475 0 vsize: 302064 [startup+400.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 131535 0 0 0 39671 330 0 0 25 0 1 0 547405166 312647680 67741 4294967295 134512640 134672761 3221224544 3221223728 134615921 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 76330 67741 603 41 0 76289 0 vsize: 305320 [startup+410.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 132097 0 0 0 40670 331 0 0 25 0 1 0 547405166 314834944 68303 4294967295 134512640 134672761 3221224544 3221223728 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 76864 68303 603 41 0 76823 0 vsize: 307456 [startup+420.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 132818 0 0 0 41669 333 0 0 25 0 1 0 547405166 317833216 69024 4294967295 134512640 134672761 3221224544 3221223584 134613118 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 77596 69024 603 41 0 77555 0 vsize: 310384 [startup+430.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 134073 0 0 0 42665 337 0 0 25 0 1 0 547405166 323035136 70279 4294967295 134512640 134672761 3221224544 3221223708 134614558 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 78866 70279 603 41 0 78825 0 vsize: 315464 [startup+440.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 134923 0 0 0 43663 339 0 0 25 0 1 0 547405166 326475776 71129 4294967295 134512640 134672761 3221224544 3221223728 134615791 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 79706 71129 603 41 0 79665 0 vsize: 318824 [startup+450.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 135788 0 0 0 44661 341 0 0 25 0 1 0 547405166 329969664 71994 4294967295 134512640 134672761 3221224544 3221223728 134615727 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 80559 71994 603 41 0 80518 0 vsize: 322236 [startup+460.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 136686 0 0 0 45659 344 0 0 25 0 1 0 547405166 333668352 72892 4294967295 134512640 134672761 3221224544 3221223728 134615583 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 81462 72892 603 41 0 81421 0 vsize: 325848 [startup+470.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 137583 0 0 0 46657 346 0 0 25 0 1 0 547405166 337354752 73789 4294967295 134512640 134672761 3221224544 3221223728 134615549 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 82362 73789 603 41 0 82321 0 vsize: 329448 [startup+480.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 138639 0 0 0 47654 349 0 0 25 0 1 0 547405166 341671936 74845 4294967295 134512640 134672761 3221224544 3221223728 134615921 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 83416 74845 603 41 0 83375 0 vsize: 333664 [startup+490.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 139713 0 0 0 48651 352 0 0 25 0 1 0 547405166 346054656 75919 4294967295 134512640 134672761 3221224544 3221223584 134613761 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 84486 75919 603 41 0 84445 0 vsize: 337944 [startup+500.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 140640 0 0 0 49649 354 0 0 25 0 1 0 547405166 349888512 76846 4294967295 134512640 134672761 3221224544 3221223728 134615619 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 85422 76846 603 41 0 85381 0 vsize: 341688 [startup+510.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 150596 0 0 0 50623 380 0 0 25 0 1 0 547405166 350806016 77015 4294967295 134512640 134672761 3221224544 3221222736 134523140 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 85646 77015 603 41 0 85605 0 vsize: 342584 [startup+520.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 152318 0 0 0 51619 385 0 0 25 0 1 0 547405166 350228480 76946 4294967295 134512640 134672761 3221224544 3221223744 134619632 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 85505 76946 603 41 0 85464 0 vsize: 342020 [startup+530.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 152592 0 0 0 52618 386 0 0 25 0 1 0 547405166 351420416 77220 4294967295 134512640 134672761 3221224544 3221223728 134615549 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 85796 77220 603 41 0 85755 0 vsize: 343184 [startup+540.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 152945 0 0 0 53617 387 0 0 25 0 1 0 547405166 352862208 77573 4294967295 134512640 134672761 3221224544 3221223728 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 86148 77573 603 41 0 86107 0 vsize: 344592 [startup+550.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 153515 0 0 0 54615 389 0 0 25 0 1 0 547405166 355155968 78143 4294967295 134512640 134672761 3221224544 3221223584 134603536 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 86708 78143 603 41 0 86667 0 vsize: 346832 [startup+560.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 153954 0 0 0 55614 390 0 0 25 0 1 0 547405166 356937728 78582 4294967295 134512640 134672761 3221224544 3221223728 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 87143 78582 603 41 0 87102 0 vsize: 348572 [startup+570.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 163079 0 0 0 56591 413 0 0 25 0 1 0 547405166 372539392 82357 4294967295 134512640 134672761 3221224544 3220751648 134594562 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 90952 82357 603 41 0 90911 0 vsize: 363808 [startup+580.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 163543 0 0 0 57589 415 0 0 25 0 1 0 547405166 359206912 79101 4294967295 134512640 134672761 3221224544 3221223728 134593685 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 87697 79101 603 41 0 87656 0 vsize: 350788 [startup+590.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14205 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 165241 0 0 0 58584 420 0 0 25 0 1 0 547405166 359555072 79223 4294967295 134512640 134672761 3221224544 3221223728 134615619 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 87782 79223 603 41 0 87741 0 vsize: 351128 [startup+600.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 165834 0 0 0 59583 422 0 0 25 0 1 0 547405166 362020864 79816 4294967295 134512640 134672761 3221224544 3221223744 134610661 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 88384 79816 603 41 0 88343 0 vsize: 353536 [startup+610.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 166268 0 0 0 60582 423 0 0 25 0 1 0 547405166 363843584 80250 4294967295 134512640 134672761 3221224544 3221223728 134615833 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 88829 80250 603 41 0 88788 0 vsize: 355316 [startup+620.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 167265 0 0 0 61580 425 0 0 25 0 1 0 547405166 367849472 81247 4294967295 134512640 134672761 3221224544 3221223584 134613012 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 89807 81247 603 41 0 89766 0 vsize: 359228 [startup+630.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 168080 0 0 0 62579 426 0 0 25 0 1 0 547405166 371204096 82062 4294967295 134512640 134672761 3221224544 3221223728 134615663 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 90626 82062 603 41 0 90585 0 vsize: 362504 [startup+640.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 168951 0 0 0 63577 428 0 0 25 0 1 0 547405166 374796288 82933 4294967295 134512640 134672761 3221224544 3221223728 134615727 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 91503 82933 603 41 0 91462 0 vsize: 366012 [startup+650.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 169830 0 0 0 64575 430 0 0 25 0 1 0 547405166 378449920 83812 4294967295 134512640 134672761 3221224544 3221223728 134615724 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 92395 83812 603 41 0 92354 0 vsize: 369580 [startup+660.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 170508 0 0 0 65574 432 0 0 25 0 1 0 547405166 381165568 84490 4294967295 134512640 134672761 3221224544 3221223728 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 93058 84490 603 41 0 93017 0 vsize: 372232 [startup+670.002 s] Raw data (loadavg): 0.99 0.97 0.91 3/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 171340 0 0 0 66572 434 0 0 25 0 1 0 547405166 384536576 85322 4294967295 134512640 134672761 3221224544 3221223728 134615549 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 93881 85322 603 41 0 93840 0 vsize: 375524 [startup+680.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 172283 0 0 0 67570 436 0 0 25 0 1 0 547405166 388423680 86265 4294967295 134512640 134672761 3221224544 3221223584 134612845 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 94830 86266 603 41 0 94789 0 vsize: 379320 [startup+690.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 172935 0 0 0 68569 437 0 0 25 0 1 0 547405166 391163904 86917 4294967295 134512640 134672761 3221224544 3221223728 134615727 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 95499 86917 603 41 0 95458 0 vsize: 381996 [startup+700.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 173361 0 0 0 69568 438 0 0 25 0 1 0 547405166 392863744 87343 4294967295 134512640 134672761 3221224544 3221223744 134610707 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 95914 87343 603 41 0 95873 0 vsize: 383656 [startup+710.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 174188 0 0 0 70566 440 0 0 25 0 1 0 547405166 396242944 88170 4294967295 134512640 134672761 3221224544 3221223728 134615663 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 96739 88170 603 41 0 96698 0 vsize: 386956 [startup+720.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 174877 0 0 0 71564 443 0 0 25 0 1 0 547405166 399155200 88859 4294967295 134512640 134672761 3221224544 3221223728 134615608 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 97450 88859 603 41 0 97409 0 vsize: 389800 [startup+730.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 175519 0 0 0 72563 445 0 0 25 0 1 0 547405166 401776640 89501 4294967295 134512640 134672761 3221224544 3221223728 134615619 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 98090 89501 603 41 0 98049 0 vsize: 392360 [startup+740.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 176447 0 0 0 73561 446 0 0 25 0 1 0 547405166 405549056 90429 4294967295 134512640 134672761 3221224544 3221223584 134612478 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 99011 90429 603 41 0 98970 0 vsize: 396044 [startup+750.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 176968 0 0 0 74560 448 0 0 25 0 1 0 547405166 407728128 90950 4294967295 134512640 134672761 3221224544 3221223728 134615919 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 99543 90950 603 41 0 99502 0 vsize: 398172 [startup+760.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 177921 0 0 0 75557 450 0 0 25 0 1 0 547405166 411561984 91903 4294967295 134512640 134672761 3221224544 3221223728 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 100479 91903 603 41 0 100438 0 vsize: 401916 [startup+770.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 178962 0 0 0 76555 453 0 0 25 0 1 0 547405166 415907840 92944 4294967295 134512640 134672761 3221224544 3221223728 134615948 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 101540 92944 603 41 0 101499 0 vsize: 406160 [startup+780.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 186743 0 0 0 77536 472 0 0 25 0 1 0 547405166 427233280 95696 4294967295 134512640 134672761 3221224544 3220966624 134594077 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 104305 95696 603 41 0 104264 0 vsize: 417220 [startup+790.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 190768 0 0 0 78526 482 0 0 25 0 1 0 547405166 425672704 95247 4294967295 134512640 134672761 3221224544 3221221856 134544780 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 103924 95247 603 41 0 103883 0 vsize: 415696 [startup+800.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 192337 0 0 0 79523 486 0 0 25 0 1 0 547405166 424390656 95047 4294967295 134512640 134672761 3221224544 3221223728 134615727 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 103611 95047 603 41 0 103570 0 vsize: 414444 [startup+810.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 192337 0 0 0 80522 486 0 0 25 0 1 0 547405166 424390656 95047 4294967295 134512640 134672761 3221224544 3221223728 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 103611 95047 603 41 0 103570 0 vsize: 414444 [startup+820.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 192337 0 0 0 81522 486 0 0 25 0 1 0 547405166 424390656 95047 4294967295 134512640 134672761 3221224544 3221223728 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 103611 95047 603 41 0 103570 0 vsize: 414444 [startup+830.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 192337 0 0 0 82522 487 0 0 25 0 1 0 547405166 424390656 95047 4294967295 134512640 134672761 3221224544 3221223728 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 103611 95047 603 41 0 103570 0 vsize: 414444 [startup+840.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 192512 0 0 0 83521 488 0 0 25 0 1 0 547405166 425185280 95222 4294967295 134512640 134672761 3221224544 3221223720 134615850 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 103805 95222 603 41 0 103764 0 vsize: 415220 [startup+850.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 193328 0 0 0 84519 490 0 0 25 0 1 0 547405166 428474368 96038 4294967295 134512640 134672761 3221224544 3221223584 134612478 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 104608 96038 603 41 0 104567 0 vsize: 418432 [startup+860.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 194295 0 0 0 85516 493 0 0 25 0 1 0 547405166 432525312 97005 4294967295 134512640 134672761 3221224544 3221223728 134615833 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 105597 97005 603 41 0 105556 0 vsize: 422388 [startup+870.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 194809 0 0 0 86515 495 0 0 25 0 1 0 547405166 434630656 97519 4294967295 134512640 134672761 3221224544 3221223728 134615727 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 106111 97519 603 41 0 106070 0 vsize: 424444 [startup+880.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 195375 0 0 0 87513 497 0 0 25 0 1 0 547405166 436883456 98085 4294967295 134512640 134672761 3221224544 3221223728 134615619 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 106661 98085 603 41 0 106620 0 vsize: 426644 [startup+890.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 196105 0 0 0 88511 499 0 0 25 0 1 0 547405166 439947264 98815 4294967295 134512640 134672761 3221224544 3221223624 1074732971 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 107409 98815 603 41 0 107368 0 vsize: 429636 [startup+900.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 196336 0 0 0 89511 499 0 0 25 0 1 0 547405166 440868864 99046 4294967295 134512640 134672761 3221224544 3221223728 134615705 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 107634 99046 603 41 0 107593 0 vsize: 430536 [startup+910.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 196983 0 0 0 90509 501 0 0 25 0 1 0 547405166 443502592 99693 4294967295 134512640 134672761 3221224544 3221223728 134615549 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 108277 99693 603 41 0 108236 0 vsize: 433108 [startup+920.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 197501 0 0 0 91508 502 0 0 25 0 1 0 547405166 445534208 100211 4294967295 134512640 134672761 3221224544 3221223728 134615828 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 108773 100211 603 41 0 108732 0 vsize: 435092 [startup+930.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 198050 0 0 0 92507 504 0 0 25 0 1 0 547405166 447844352 100760 4294967295 134512640 134672761 3221224544 3221223728 134615549 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 109337 100760 603 41 0 109296 0 vsize: 437348 [startup+940.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 198955 0 0 0 93504 507 0 0 25 0 1 0 547405166 451608576 101665 4294967295 134512640 134672761 3221224544 3221223728 134615741 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 110256 101665 603 41 0 110215 0 vsize: 441024 [startup+950.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 199586 0 0 0 94503 508 0 0 25 0 1 0 547405166 454086656 102296 4294967295 134512640 134672761 3221224544 3221223680 134614503 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 110861 102296 603 41 0 110820 0 vsize: 443444 [startup+960.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 200182 0 0 0 95501 510 0 0 25 0 1 0 547405166 456593408 102892 4294967295 134512640 134672761 3221224544 3221223728 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 111473 102892 603 41 0 111432 0 vsize: 445892 [startup+970.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 200935 0 0 0 96499 513 0 0 25 0 1 0 547405166 459714560 103645 4294967295 134512640 134672761 3221224544 3221223744 134610661 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 112235 103645 603 41 0 112194 0 vsize: 448940 [startup+980.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 201973 0 0 0 97496 515 0 0 25 0 1 0 547405166 463953920 104683 4294967295 134512640 134672761 3221224544 3221223728 134615594 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 113270 104683 603 41 0 113229 0 vsize: 453080 [startup+990.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 202979 0 0 0 98494 517 0 0 25 0 1 0 547405166 468017152 105689 4294967295 134512640 134672761 3221224544 3221223728 134615625 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 114262 105689 603 41 0 114221 0 vsize: 457048 [startup+1000 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 203869 0 0 0 99492 519 0 0 25 0 1 0 547405166 471633920 106579 4294967295 134512640 134672761 3221224544 3221223728 134615807 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 115145 106579 603 41 0 115104 0 vsize: 460580 [startup+1010 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 204624 0 0 0 100491 521 0 0 25 0 1 0 547405166 474755072 107334 4294967295 134512640 134672761 3221224544 3221223728 134615663 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 115907 107334 603 41 0 115866 0 vsize: 463628 [startup+1020 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 205552 0 0 0 101488 524 0 0 25 0 1 0 547405166 478576640 108262 4294967295 134512640 134672761 3221224544 3221223584 134613116 0 0 5 16386 0 0 0 17 0 0 0 Raw data (statm): 116840 108262 603 41 0 116799 0 vsize: 467360 [startup+1030 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 206506 0 0 0 102486 526 0 0 25 0 1 0 547405166 482435072 109216 4294967295 134512640 134672761 3221224544 3221223744 134610675 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 117782 109216 603 41 0 117741 0 vsize: 471128 [startup+1040 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 207430 0 0 0 103484 528 0 0 25 0 1 0 547405166 486191104 110140 4294967295 134512640 134672761 3221224544 3221223728 134615727 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 118699 110140 603 41 0 118658 0 vsize: 474796 [startup+1050 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 208403 0 0 0 104483 530 0 0 25 0 1 0 547405166 490246144 111113 4294967295 134512640 134672761 3221224544 3221223584 134614340 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 119689 111113 603 41 0 119648 0 vsize: 478756 [startup+1060 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 209452 0 0 0 105480 532 0 0 25 0 1 0 547405166 494538752 112162 4294967295 134512640 134672761 3221224544 3221223728 134615708 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 120737 112162 603 41 0 120696 0 vsize: 482948 [startup+1070 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 210465 0 0 0 106478 535 0 0 25 0 1 0 547405166 498708480 113175 4294967295 134512640 134672761 3221224544 3221223728 134615619 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 121755 113175 603 41 0 121714 0 vsize: 487020 [startup+1080 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 211408 0 0 0 107476 537 0 0 25 0 1 0 547405166 502550528 114118 4294967295 134512640 134672761 3221224544 3221223728 134610756 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 122693 114118 603 41 0 122652 0 vsize: 490772 [startup+1090 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 212009 0 0 0 108476 537 0 0 25 0 1 0 547405166 505049088 114719 4294967295 134512640 134672761 3221224544 3221223584 134603510 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 123303 114719 603 41 0 123262 0 vsize: 493212 [startup+1100 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 213590 0 0 0 109474 540 0 0 25 0 1 0 547405166 511430656 116300 4294967295 134512640 134672761 3221224544 3221223628 1074733095 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 124861 116300 603 41 0 124820 0 vsize: 499444 [startup+1110 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 214257 0 0 0 110472 541 0 0 25 0 1 0 547405166 514158592 116967 4294967295 134512640 134672761 3221224544 3221223728 134615741 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 125527 116967 603 41 0 125486 0 vsize: 502108 [startup+1120 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 215620 0 0 0 111469 544 0 0 25 0 1 0 547405166 519843840 118330 4294967295 134512640 134672761 3221224544 3221223744 134610618 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 126915 118330 603 41 0 126874 0 vsize: 507660 [startup+1130 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 216842 0 0 0 112467 547 0 0 25 0 1 0 547405166 524808192 119552 4294967295 134512640 134672761 3221224544 3221223728 134615916 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 128127 119552 603 41 0 128086 0 vsize: 512508 [startup+1140 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 218341 0 0 0 113463 551 0 0 25 0 1 0 547405166 530927616 121051 4294967295 134512640 134672761 3221224544 3221223584 134612865 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 129621 121051 603 41 0 129580 0 vsize: 518484 [startup+1150 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 219610 0 0 0 114461 553 0 0 25 0 1 0 547405166 536145920 122320 4294967295 134512640 134672761 3221224544 3221223728 134615705 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 130895 122320 603 41 0 130854 0 vsize: 523580 [startup+1160 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 220216 0 0 0 115459 555 0 0 25 0 1 0 547405166 538636288 122926 4294967295 134512640 134672761 3221224544 3221223536 134565073 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 131503 122926 603 41 0 131462 0 vsize: 526012 [startup+1170 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 221315 0 0 0 116456 558 0 0 25 0 1 0 547405166 543137792 124025 4294967295 134512640 134672761 3221224544 3221223728 134615747 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 132602 124025 603 41 0 132561 0 vsize: 530408 [startup+1180 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 222434 0 0 0 117454 561 0 0 25 0 1 0 547405166 547700736 125144 4294967295 134512640 134672761 3221224544 3221223680 134614701 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 133716 125144 603 41 0 133675 0 vsize: 534864 [startup+1190 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 223238 0 0 0 118452 563 0 0 25 0 1 0 547405166 550977536 125948 4294967295 134512640 134672761 3221224544 3221223728 134615625 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 134516 125948 603 41 0 134475 0 vsize: 538064 [startup+1200 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14207 Raw data (stat): 14150 (minisat+) R 14149 28546 28545 0 -1 0 224082 0 0 0 119451 564 0 0 25 0 1 0 547405166 554422272 126792 4294967295 134512640 134672761 3221224544 3221223728 134615833 0 0 5 16386 0 0 0 17 1 0 0 Raw data (statm): 135357 126792 603 41 0 135316 0 vsize: 541428 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.26 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 14207 Raw data (stat): 14150 (minisat+) Z 14149 28546 28545 0 -1 12 224083 0 0 0 119452 588 0 0 25 0 1 0 547405166 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 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.26 CPU time (s): 1200.41 CPU user time (s): 1194.53 CPU system time (s): 5.8821 CPU usage (%): 100.012 Max. virtual memory (Kb): 541428 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####