PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air05.opb
MD5SUM	02b9fdfc96e8b88ab6df67318e21abbc
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	29720
Optimality of the best value was proved	NO
Number of terms in the objective function	7195
Biggest coefficient in the objective function	2679
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	3908448
Number of bits of the sum of numbers in the objective function	22
Biggest number in a constraint	2679
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	3908448
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.14
Number of variables	7195
Total number of constraints	7621
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	7621
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	404
Trace number 16497

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-21 07:32:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13195 boxname=wulflinc28 idbench=1015 idsolver=13 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  02b9fdfc96e8b88ab6df67318e21abbc  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-air05.opb
REAL COMMAND:  minisat+ -w /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-air05.opb /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-air05.opb
IDLAUNCH: 13195
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        716072 kB
Buffers:         25056 kB
Cached:         266016 kB
SwapCached:        104 kB
Active:          63488 kB
Inactive:       230060 kB
HighTotal:      131008 kB
HighFree:         4116 kB
LowTotal:       903652 kB
LowFree:        711956 kB
SwapTotal:     2097640 kB
SwapFree:      2097068 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6056 kB
Slab:            19368 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 07:52:27 (client local time) WITH STATUS 10 IN 1200.36 SECONDS
stats: 13195 7 1200.36 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 852 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: ############################################################################################################################################################################################################################################################################################################################################################################################################################################################
c   -- Clauses(.)/Splits(s): (none)
c ---[ 850]---> BDD-cost:  233
c ---[ 848]---> BDD-cost:  169
c ---[ 846]---> BDD-cost:  177
c ---[ 844]---> BDD-cost:  209
c ---[ 842]---> BDD-cost:  159
c ---[ 840]---> BDD-cost:  235
c ---[ 838]---> BDD-cost:  489
c ---[ 836]---> BDD-cost:  389
c ---[ 834]---> BDD-cost:  427
c ---[ 832]---> BDD-cost:  455
c ---[ 830]---> BDD-cost:  663
c ---[ 828]---> BDD-cost:  693
c ---[ 826]---> BDD-cost:  157
c ---[ 824]---> BDD-cost:  173
c ---[ 822]---> BDD-cost:  121
c ---[ 820]---> BDD-cost:   93
c ---[ 818]---> BDD-cost:  331
c ---[ 816]---> BDD-cost:  163
c ---[ 814]---> BDD-cost:  351
c ---[ 812]---> BDD-cost:  357
c ---[ 810]---> BDD-cost:  179
c ---[ 806]---> BDD-cost:   83
c ---[ 804]---> BDD-cost:   45
c ---[ 802]---> BDD-cost:   47
c ---[ 800]---> BDD-cost:   63
c ---[ 798]---> BDD-cost:  213
c ---[ 796]---> BDD-cost:  115
c ---[ 794]---> BDD-cost:  223
c ---[ 792]---> BDD-cost:  147
c ---[ 788]---> BDD-cost:   85
c ---[ 786]---> BDD-cost:   73
c ---[ 784]---> BDD-cost:   57
c ---[ 780]---> BDD-cost:   49
c ---[ 778]---> BDD-cost:   31
c ---[ 776]---> BDD-cost:   55
c ---[ 774]---> BDD-cost:  111
c ---[ 772]---> BDD-cost:  175
c ---[ 770]---> BDD-cost:   81
c ---[ 768]---> BDD-cost:  207
c ---[ 766]---> BDD-cost:  189
c ---[ 764]---> BDD-cost:  211
c ---[ 762]---> BDD-cost:  447
c ---[ 760]---> BDD-cost:  281
c ---[ 758]---> BDD-cost:  295
c ---[ 756]---> BDD-cost:  433
c ---[ 754]---> BDD-cost:  185
c ---[ 752]---> BDD-cost:   29
c ---[ 750]---> BDD-cost:   65
c ---[ 746]---> BDD-cost:   19
c ---[ 744]---> BDD-cost:   39
c ---[ 740]---> BDD-cost:  133
c ---[ 738]---> BDD-cost:   75
c ---[ 736]---> BDD-cost:   83
c ---[ 734]---> BDD-cost:  281
c ---[ 732]---> BDD-cost:  257
c ---[ 730]---> BDD-cost:  387
c ---[ 728]---> BDD-cost:   89
c ---[ 724]---> BDD-cost:  111
c ---[ 722]---> BDD-cost:  217
c ---[ 720]---> BDD-cost:  271
c ---[ 718]---> BDD-cost:  271
c ---[ 716]---> BDD-cost:  303
c ---[ 714]---> BDD-cost:  227
c ---[ 712]---> BDD-cost:  193
c ---[ 710]---> BDD-cost:  245
c ---[ 708]---> BDD-cost:  145
c ---[ 706]---> BDD-cost:  129
c ---[ 704]---> BDD-cost:  317
c ---[ 702]---> BDD-cost:  263
c ---[ 700]---> BDD-cost:  297
c ---[ 698]---> BDD-cost:  275
c ---[ 696]---> BDD-cost:  381
c ---[ 694]---> BDD-cost:  475
c ---[ 692]---> BDD-cost:  289
c ---[ 690]---> BDD-cost:  285
c ---[ 688]---> BDD-cost:  223
c ---[ 686]---> BDD-cost:   99
c ---[ 684]---> BDD-cost:  563
c ---[ 682]---> BDD-cost:  517
c ---[ 680]---> BDD-cost:  531
c ---[ 678]---> BDD-cost:  687
c ---[ 676]---> BDD-cost:  495
c ---[ 674]---> BDD-cost:  599
c ---[ 672]---> BDD-cost:  375
c ---[ 670]---> BDD-cost:  731
c ---[ 668]---> BDD-cost:  519
c ---[ 666]---> BDD-cost:  755
c ---[ 664]---> BDD-cost:  511
c ---[ 662]---> BDD-cost:  581
c ---[ 660]---> BDD-cost:  679
c ---[ 658]---> BDD-cost:  159
c ---[ 656]---> BDD-cost:  197
c ---[ 654]---> BDD-cost:  241
c ---[ 652]---> BDD-cost:  253
c ---[ 650]---> BDD-cost:  191
c ---[ 648]---> BDD-cost:  107
c ---[ 646]---> BDD-cost:  277
c ---[ 644]---> BDD-cost:  147
c ---[ 642]---> BDD-cost:   87
c ---[ 640]---> BDD-cost:   85
c ---[ 638]---> BDD-cost:  127
c ---[ 636]---> BDD-cost:  167
c ---[ 634]---> BDD-cost:  191
c ---[ 630]---> BDD-cost:  123
c ---[ 628]---> BDD-cost:  405
c ---[ 626]---> BDD-cost:  443
c ---[ 624]---> BDD-cost:  465
c ---[ 622]---> BDD-cost:  425
c ---[ 620]---> BDD-cost:  253
c ---[ 618]---> BDD-cost:  177
c ---[ 616]---> BDD-cost:  415
c ---[ 614]---> BDD-cost:  413
c ---[ 612]---> BDD-cost:  103
c ---[ 610]---> BDD-cost:  119
c ---[ 608]---> BDD-cost:  309
c ---[ 606]---> BDD-cost:  289
c ---[ 604]---> BDD-cost:  155
c ---[ 596]---> BDD-cost:   39
c ---[ 594]---> BDD-cost:   67
c ---[ 592]---> BDD-cost:  253
c ---[ 590]---> BDD-cost:  199
c ---[ 588]---> BDD-cost:  445
c ---[ 586]---> BDD-cost:  315
c ---[ 584]---> BDD-cost:   89
c ---[ 582]---> BDD-cost:  107
c ---[ 580]---> BDD-cost:   67
c ---[ 578]---> BDD-cost:   93
c ---[ 576]---> BDD-cost:  135
c ---[ 574]---> BDD-cost:  163
c ---[ 572]---> BDD-cost:   33
c ---[ 570]---> BDD-cost:   13
c ---[ 568]---> BDD-cost:    7
c ---[ 566]---> BDD-cost:   23
c ---[ 564]---> BDD-cost:   37
c ---[ 562]---> BDD-cost:   43
c ---[ 560]---> BDD-cost:   39
c ---[ 558]---> BDD-cost:   95
c ---[ 556]---> BDD-cost:  101
c ---[ 554]---> BDD-cost:  525
c ---[ 552]---> BDD-cost:  483
c ---[ 548]---> BDD-cost:    9
c ---[ 546]---> BDD-cost:  193
c ---[ 544]---> BDD-cost:  181
c ---[ 542]---> BDD-cost:   93
c ---[ 540]---> BDD-cost:  325
c ---[ 538]---> BDD-cost:  479
c ---[ 536]---> BDD-cost:  273
c ---[ 534]---> BDD-cost:  269
c ---[ 532]---> BDD-cost:  341
c ---[ 530]---> BDD-cost:  299
c ---[ 528]---> BDD-cost:  183
c ---[ 526]---> BDD-cost:  315
c ---[ 524]---> BDD-cost:  289
c ---[ 522]---> BDD-cost:  383
c ---[ 520]---> BDD-cost:  231
c ---[ 518]---> BDD-cost:  205
c ---[ 516]---> BDD-cost:  133
c ---[ 514]---> BDD-cost:  257
c ---[ 512]---> BDD-cost:  179
c ---[ 510]---> BDD-cost:  159
c ---[ 508]---> BDD-cost:  185
c ---[ 506]---> BDD-cost:   95
c ---[ 504]---> BDD-cost:   63
c ---[ 502]---> BDD-cost:  547
c ---[ 500]---> BDD-cost:  569
c ---[ 498]---> BDD-cost:  169
c ---[ 496]---> BDD-cost:  115
c ---[ 494]---> BDD-cost:  125
c ---[ 492]---> BDD-cost:  119
c ---[ 490]---> BDD-cost:  565
c ---[ 488]---> BDD-cost:  331
c ---[ 486]---> BDD-cost:  255
c ---[ 484]---> BDD-cost:  217
c ---[ 482]---> BDD-cost:  189
c ---[ 480]---> BDD-cost:  237
c ---[ 478]---> BDD-cost:  113
c ---[ 476]---> BDD-cost:   67
c ---[ 474]---> BDD-cost:   71
c ---[ 472]---> BDD-cost:  521
c ---[ 470]---> BDD-cost:  535
c ---[ 468]---> BDD-cost:  341
c ---[ 466]---> BDD-cost:  251
c ---[ 464]---> BDD-cost:  293
c ---[ 462]---> BDD-cost:  313
c ---[ 460]---> BDD-cost:  431
c ---[ 458]---> BDD-cost:  395
c ---[ 456]---> BDD-cost:  419
c ---[ 454]---> BDD-cost:  389
c ---[ 452]---> BDD-cost:  493
c ---[ 450]---> BDD-cost:  285
c ---[ 448]---> BDD-cost:  229
c ---[ 446]---> BDD-cost:   89
c ---[ 444]---> BDD-cost:   79
c ---[ 442]---> BDD-cost:  745
c ---[ 440]---> BDD-cost:  565
c ---[ 438]---> BDD-cost:  799
c ---[ 436]---> BDD-cost:  673
c ---[ 434]---> BDD-cost:  577
c ---[ 432]---> BDD-cost:  523
c ---[ 428]---> BDD-cost:  319
c ---[ 426]---> BDD-cost:  377
c ---[ 424]---> BDD-cost:  395
c ---[ 422]---> BDD-cost:  105
c ---[ 420]---> BDD-cost:   71
c ---[ 416]---> BDD-cost:  643
c ---[ 414]---> BDD-cost:  177
c ---[ 412]---> BDD-cost:  157
c ---[ 410]---> BDD-cost:  101
c ---[ 406]---> BDD-cost:  269
c ---[ 404]---> BDD-cost:  227
c ---[ 402]---> BDD-cost:  181
c ---[ 400]---> BDD-cost:  119
c ---[ 398]---> BDD-cost:   83
c ---[ 396]---> BDD-cost:  123
c ---[ 394]---> BDD-cost:  101
c ---[ 392]---> BDD-cost:   81
c ---[ 390]---> BDD-cost:   75
c ---[ 388]---> BDD-cost:  119
c ---[ 386]---> BDD-cost:  399
c ---[ 384]---> BDD-cost:  139
c ---[ 382]---> BDD-cost:   81
c ---[ 380]---> BDD-cost:  151
c ---[ 378]---> BDD-cost:  533
c ---[ 376]---> BDD-cost:  495
c ---[ 374]---> BDD-cost:  323
c ---[ 372]---> BDD-cost:  223
c ---[ 370]---> BDD-cost:   37
c ---[ 368]---> BDD-cost:   27
c ---[ 366]---> BDD-cost:   21
c ---[ 364]---> BDD-cost:   23
c ---[ 362]---> BDD-cost:  225
c ---[ 360]---> BDD-cost:   37
c ---[ 358]---> BDD-cost:  155
c ---[ 356]---> BDD-cost:   27
c ---[ 354]---> BDD-cost:   97
c ---[ 352]---> BDD-cost:  169
c ---[ 350]---> BDD-cost:  155
c ---[ 348]---> BDD-cost:  129
c ---[ 346]---> BDD-cost:  363
c ---[ 344]---> BDD-cost:  241
c ---[ 342]---> BDD-cost:  245
c ---[ 340]---> BDD-cost:  193
c ---[ 334]---> BDD-cost:  149
c ---[ 332]---> BDD-cost:  125
c ---[ 330]---> BDD-cost:   69
c ---[ 328]---> BDD-cost:   17
c ---[ 326]---> BDD-cost:   25
c ---[ 324]---> BDD-cost:   13
c ---[ 322]---> BDD-cost:   67
c ---[ 320]---> BDD-cost:   33
c ---[ 318]---> BDD-cost:   49
c ---[ 316]---> BDD-cost:   45
c ---[ 314]---> BDD-cost:   67
c ---[ 312]---> BDD-cost:   47
c ---[ 310]---> BDD-cost:   67
c ---[ 308]---> BDD-cost:   55
c ---[ 306]---> BDD-cost:   49
c ---[ 304]---> BDD-cost:   17
c ---[ 302]---> BDD-cost:   23
c ---[ 300]---> BDD-cost:  129
c ---[ 298]---> BDD-cost:   43
c ---[ 296]---> BDD-cost:   81
c ---[ 294]---> BDD-cost:   57
c ---[ 292]---> BDD-cost:  137
c ---[ 290]---> BDD-cost:   87
c ---[ 288]---> BDD-cost:   59
c ---[ 286]---> BDD-cost:   45
c ---[ 284]---> BDD-cost:  113
c ---[ 282]---> BDD-cost:   47
c ---[ 280]---> BDD-cost:  135
c ---[ 278]---> BDD-cost:  341
c ---[ 276]---> BDD-cost:  213
c ---[ 274]---> BDD-cost:  165
c ---[ 272]---> BDD-cost:  107
c ---[ 270]---> BDD-cost:  363
c ---[ 266]---> BDD-cost:   45
c ---[ 264]---> BDD-cost:   25
c ---[ 262]---> BDD-cost:   29
c ---[ 260]---> BDD-cost:   51
c ---[ 258]---> BDD-cost:   53
c ---[ 256]---> BDD-cost:   49
c ---[ 254]---> BDD-cost:  189
c ---[ 252]---> BDD-cost:  133
c ---[ 250]---> BDD-cost:   69
c ---[ 248]---> BDD-cost:   53
c ---[ 246]---> BDD-cost:  341
c ---[ 244]---> BDD-cost:  193
c ---[ 242]---> BDD-cost:  187
c ---[ 240]---> BDD-cost:  541
c ---[ 238]---> BDD-cost:  543
c ---[ 236]---> BDD-cost:  435
c ---[ 234]---> BDD-cost:  341
c ---[ 232]---> BDD-cost:  243
c ---[ 230]---> BDD-cost:   91
c ---[ 228]---> BDD-cost:  137
c ---[ 226]---> BDD-cost:  273
c ---[ 224]---> BDD-cost:  173
c ---[ 222]---> BDD-cost:  125
c ---[ 220]---> BDD-cost:  143
c ---[ 218]---> BDD-cost:   87
c ---[ 216]---> BDD-cost:  167
c ---[ 214]---> BDD-cost:  117
c ---[ 212]---> BDD-cost:  119
c ---[ 210]---> BDD-cost:   89
c ---[ 208]---> BDD-cost:  149
c ---[ 206]---> BDD-cost:   11
c ---[ 204]---> BDD-cost:  151
c ---[ 202]---> BDD-cost:   93
c ---[ 200]---> BDD-cost:  213
c ---[ 198]---> BDD-cost:  215
c ---[ 196]---> BDD-cost:  455
c ---[ 194]---> BDD-cost:  465
c ---[ 192]---> BDD-cost:  207
c ---[ 190]---> BDD-cost:  223
c ---[ 188]---> BDD-cost:   83
c ---[ 186]---> BDD-cost:  153
c ---[ 184]---> BDD-cost:  313
c ---[ 182]---> BDD-cost:  199
c ---[ 180]---> BDD-cost:  121
c ---[ 178]---> BDD-cost:  351
c ---[ 176]---> BDD-cost:  307
c ---[ 174]---> BDD-cost:   71
c ---[ 172]---> BDD-cost:  111
c ---[ 170]---> BDD-cost:  657
c ---[ 168]---> BDD-cost:  621
c ---[ 166]---> BDD-cost:  169
c ---[ 164]---> BDD-cost:  191
c ---[ 162]---> BDD-cost:  343
c ---[ 160]---> BDD-cost:  521
c ---[ 158]---> BDD-cost:    3
c ---[ 156]---> BDD-cost:   17
c ---[ 154]---> BDD-cost:   93
c ---[ 152]---> BDD-cost:   25
c ---[ 150]---> BDD-cost:  207
c ---[ 146]---> BDD-cost:  283
c ---[ 144]---> BDD-cost:  503
c ---[ 142]---> BDD-cost:  329
c ---[ 140]---> BDD-cost:  251
c ---[ 138]---> BDD-cost:  247
c ---[ 136]---> BDD-cost:  307
c ---[ 134]---> BDD-cost:  369
c ---[ 132]---> BDD-cost:  591
c ---[ 130]---> BDD-cost:  279
c ---[ 128]---> BDD-cost:  217
c ---[ 126]---> BDD-cost:  201
c ---[ 124]---> BDD-cost:  341
c ---[ 122]---> BDD-cost:  307
c ---[ 120]---> BDD-cost:  225
c ---[ 118]---> BDD-cost:  457
c ---[ 116]---> BDD-cost:  413
c ---[ 114]---> BDD-cost:  299
c ---[ 112]---> BDD-cost:  223
c ---[ 110]---> BDD-cost:  375
c ---[ 108]---> BDD-cost:  341
c ---[ 106]---> BDD-cost:  371
c ---[ 104]---> BDD-cost:  437
c ---[ 102]---> BDD-cost:  293
c ---[ 100]---> BDD-cost:  409
c ---[  98]---> BDD-cost:  293
c ---[  96]---> BDD-cost:  173
c ---[  94]---> BDD-cost:  119
c ---[  92]---> BDD-cost:  143
c ---[  90]---> BDD-cost:  103
c ---[  88]---> BDD-cost:  337
c ---[  86]---> BDD-cost:  243
c ---[  84]---> BDD-cost:  109
c ---[  82]---> BDD-cost:   65
c ---[  80]---> BDD-cost:   21
c ---[  78]---> BDD-cost:   11
c ---[  76]---> BDD-cost:  213
c ---[  74]---> BDD-cost:  187
c ---[  72]---> BDD-cost:  329
c ---[  70]---> BDD-cost:  341
c ---[  68]---> BDD-cost:  297
c ---[  66]---> BDD-cost:  253
c ---[  64]---> BDD-cost:  463
c ---[  62]---> BDD-cost:  381
c ---[  60]---> BDD-cost:  281
c ---[  58]---> BDD-cost:  249
c ---[  56]---> BDD-cost:  197
c ---[  54]---> BDD-cost:  263
c ---[  52]---> BDD-cost:  583
c ---[  50]---> BDD-cost:  539
c ---[  48]---> BDD-cost:    5
c ---[  46]---> BDD-cost:    1
c ---[  44]---> BDD-cost:  185
c ---[  42]---> BDD-cost:  233
c ---[  40]---> BDD-cost:  175
c ---[  38]---> BDD-cost:   87
c ---[  36]---> BDD-cost:   97
c ---[  34]---> BDD-cost:  129
c ---[  32]---> BDD-cost:  167
c ---[  30]---> BDD-cost:  223
c ---[  28]---> BDD-cost:  417
c ---[  26]---> BDD-cost:  347
c ---[  24]---> BDD-cost:  291
c ---[  22]---> BDD-cost:  501
c ---[  20]---> BDD-cost:  275
c ---[  18]---> BDD-cost:  279
c ---[  16]---> BDD-cost:  255
c ---[  14]---> BDD-cost:  125
c ---[  12]---> BDD-cost:  107
c ---[  10]---> BDD-cost:  203
c ---[   8]---> BDD-cost:  237
c ---[   6]---> BDD-cost:  183
c ---[   4]---> BDD-cost:  137
c ---[   2]---> BDD-cost:  211
c ---[   0]---> BDD-cost:  159
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  421681  1171525 |  140560       0        0     nan |  0.000 % |
c |       100 |  421681  1171525 |  154616     100    14865   148.7 |  0.403 % |
c |       251 |  421681  1171525 |  170077     251    36765   146.5 |  0.403 % |
c |       476 |  421583  1171248 |  187085     470    49739   105.8 |  0.417 % |
c ==============================================================================
c [1mFound solution: 45893[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 58880   maxlim: 3860084   bits: 22/22
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |       810 |  833657  2643027 |  277885     801   123757   154.5 |  0.417 % |
c |       910 |  833657  2643027 |  305673     901   128041   142.1 |  0.277 % |
c |      1061 |  833652  2643012 |  336240    1049   145500   138.7 |  0.278 % |
c |      1288 |  833652  2643012 |  369864    1276   183297   143.6 |  0.278 % |
c ==============================================================================
c [1mFound solution: 45585[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 3860392   bits: 22/22
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      1584 |  833652  2643074 |  277884    1567   208810   133.3 |  0.278 % |
c |      1685 |  833652  2643074 |  305672    1668   215654   129.3 |  0.282 % |
c |      1835 |  833652  2643074 |  336239    1818   234462   129.0 |  0.282 % |
c |      2060 |  833652  2643074 |  369863    2043   275080   134.6 |  0.282 % |
c |      2399 |  833652  2643074 |  406849    2382   361777   151.9 |  0.282 % |
c |      2905 |  833652  2643074 |  447534    2888   438765   151.9 |  0.282 % |
c |      3664 |  833652  2643074 |  492288    3647   625115   171.4 |  0.282 % |
c |      4807 |  833565  2642800 |  541517    4788   939118   196.1 |  0.285 % |
c |      6515 |  833526  2642678 |  595669    6495  1462497   225.2 |  0.286 % |
c ==============================================================================
c [1mFound solution: 44691[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 41526   maxlim: 3859796   bits: 22/22
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      7214 | 1124148  3680681 |  374716    7179  2008918   279.8 |  0.286 % |
c |      7314 | 1124148  3680681 |  412187    7279  2036157   279.7 |  0.235 % |
c |      7470 | 1124148  3680681 |  453406    7435  2066628   278.0 |  0.235 % |
c |      7696 | 1124148  3680681 |  498746    7661  2112737   275.8 |  0.235 % |
c |      8034 | 1124148  3680681 |  548621    7999  2199137   274.9 |  0.235 % |
c |      8542 | 1124148  3680681 |  603483    8507  2516811   295.9 |  0.235 % |
c ==============================================================================
c [1mFound solution: 43185[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 3861302   bits: 22/22
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      8849 | 1124159  3680807 |  374719    8814  2556299   290.0 |  0.235 % |
c |      8949 | 1124015  3680352 |  412190    8884  2558697   288.0 |  0.242 % |
c |      9100 | 1124015  3680352 |  453409    9035  2581453   285.7 |  0.242 % |
c |      9325 | 1124010  3680337 |  498750    9239  2606488   282.1 |  0.243 % |
c |      9662 | 1124010  3680337 |  548626    9576  2688509   280.8 |  0.243 % |
c ==============================================================================
c [1mFound solution: 40822[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 35068   maxlim: 3861881   bits: 22/22
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      9985 | 1369430  4556916 |  456476    9899  2785912   281.4 |  0.243 % |
c |     10085 | 1369430  4556916 |  502123    9999  2796754   279.7 |  0.214 % |
c |     10235 | 1369430  4556916 |  552335   10149  2842105   280.0 |  0.214 % |
c |     10461 | 1369425  4556901 |  607569   10372  2872265   276.9 |  0.214 % |
c |     10800 | 1369420  4556886 |  668326   10707  3076856   287.4 |  0.215 % |
c |     11306 | 1369379  4556757 |  735159   11204  3132236   279.6 |  0.216 % |
c |     12065 | 1369379  4556757 |  808675   11963  3414469   285.4 |  0.216 % |
c |     13204 | 1369324  4556579 |  889542   13096  3829838   292.4 |  0.216 % |
c |     14916 | 1369285  4556449 |  978496   14800  4471423   302.1 |  0.217 % |
c |     17479 | 1369057  4555732 | 1076346   17358  5486180   316.1 |  0.224 % |
c |     21323 | 1368422  4553729 | 1183981   21158  7715537   364.7 |  0.234 % |
c |     27091 | 1368274  4553239 | 1302379   26917 12692527   471.5 |  0.238 % |
c |     35742 | 1367458  4550474 | 1432617   35344 17172329   485.9 |  0.287 % |
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 -CL006628_bit0 -CL006629_bit0 -CL006630_bit0 -CL006631_bit0 -CL006632_bit0 -CL006633_bit0 -CL006634_bit0 -CL006635_bit0 -CL006636_bit0 -CL006637_bit0 -CL006638_bit0 -CL006639_bit0 -CL006640_bit0 -CL006641_bit0 -CL006642_bit0 -CL006643_bit0 -CL006644_bit0 CL006645_bit0 -CL006646_bit0 -CL006647_bit0 -CL006648_bit0 -CL006649_bit0 -CL006650_bit0 -CL006651_bit0 -CL006652_bit0 -CL006653_bit0 -CL006654_bit0 -CL006655_bit0 -CL006656_bit0 -CL006657_bit0 -CL006658_bit0 -CL006659_bit0 -CL006660_bit0 -CL006661_bit0 -CL006662_bit0 -CL006663_bit0 -CL006664_bit0 CL006665_bit0 -CL006666_bit0 -CL006667_bit0 -CL006668_bit0 -CL006669_bit0 -CL006670_bit0 -CL006671_bit0 -CL006672_bit0 -CL006673_bit0 -CL006674_bit0 -CL006675_bit0 -CL006676_bit0 -CL006677_bit0 -CL006678_bit0 -CL006679_bit0 -CL006680_bit0 -CL006681_bit0 -CL006682_bit0 -CL006683_bit0 -CL006684_bit0 -CL006685_bit0 -CL006686_bit0 -CL006687_bit0 -CL006688_bit0 -CL006689_bit0 -CL006690_bit0 -CL006691_bit0 -CL006692_bit0 -CL006693_bit0 -CL006694_bit0 -CL006695_bit0 -CL006696_bit0 -CL006697_bit0 -CL006698_bit0 -CL006699_bit0 -CL006700_bit0 -CL006701_bit0 -CL006702_bit0 -CL006703_bit0 -CL006704_bit0 -CL006705_bit0 -CL006706_bit0 -CL006707_bit0 -CL006708_bit0 -CL006709_bit0 -CL006710_bit0 -CL006711_bit0 -CL006712_bit0 -CL006713_bit0 -CL006714_bit0 -CL006715_bit0 -CL006716_bit0 -CL006717_bit0 -CL006718_bit0 -CL006719_bit0 -CL006720_bit0 -CL006721_bit0 -CL006722_bit0 -CL006723_bit0 -CL006724_bit0 -CL006725_bit0 -CL006726_bit0 -CL006727_bit0 -CL006728_bit0 -CL006729_bit0 -CL006730_bit0 -CL006731_bit0 -CL006732_bit0 -CL006733_bit0 -CL006734_bit0 -CL006735_bit0 -CL006736_bit0 -CL006737_bit0 -CL006738_bit0 -CL006739_bit0 -CL006740_bit0 -CL006741_bit0 -CL006742_bit0 -CL006743_bit0 -CL006744_bit0 -CL006745_bit0 -CL006746_bit0 -CL006747_bit0 -CL006748_bit0 -CL006749_bit0 -CL006750_bit0 -CL006751_bit0 -CL006752_bit0 -CL006753_bit0 -CL006754_bit0 -CL006755_bit0 -CL006756_bit0 -CL006757_bit0 -CL006758_bit0 -CL006759_bit0 -CL006760_bit0 -CL006761_bit0 -CL006762_bit0 -CL006763_bit0 -CL006764_bit0 -CL006765_bit0 -CL006766_bit0 -CL006767_bit0 -CL006768_bit0 -CL006769_bit0 -CL006770_bit0 -CL006771_bit0 -CL006772_bit0 -CL006773_bit0 -CL006774_bit0 -CL006775_bit0 -CL006776_bit0 -CL006777_bit0 -CL006778_bit0 -CL006779_bit0 -CL006780_bit0 -CL006781_bit0 -CL006782_bit0 -CL006783_bit0 -CL006784_bit0 -CL006785_bit0 -CL006786_bit0 -CL006787_bit0 -CL006788_bit0 -CL006789_bit0 -CL006790_bit0 -CL006791_bit0 -CL006792_bit0 CL006793_bit0 -CL006794_bit0 -CL006795_bit0 -CL006796_bit0 -CL006797_bit0 -CL006798_bit0 -CL006799_bit0 -CL006800_bit0 -CL006801_bit0 -CL006802_bit0 -CL006803_bit0 -CL006804_bit0 -CL006805_bit0 -CL006806_bit0 -CL006807_bit0 -CL006808_bit0 -CL006809_bit0 -CL006810_bit0 -CL006811_bit0 -CL006812_bit0 -CL006813_bit0 -CL006814_bit0 -CL006815_bit0 -CL006816_bit0 -CL006817_bit0 -CL006818_bit0 -CL006819_bit0 -CL006820_bit0 -CL006821_bit0 -CL006822_bit0 -CL006823_bit0 -CL006824_bit0 -CL006825_bit0 -CL006826_bit0 -CL006827_bit0 -CL006828_bit0 -CL006829_bit0 -CL006830_bit0 -CL006831_bit0 -CL006832_bit0 -CL006833_bit0 -CL006834_bit0 -CL006835_bit0 -CL006836_bit0 -CL006837_bit0 -CL006838_bit0 -CL006839_bit0 -CL006840_bit0 -CL006841_bit0 -CL006842_bit0 -CL006843_bit0 -CL006844_bit0 -CL006845_bit0 -CL006846_bit0 -CL006847_bit0 -CL006848_bit0 -CL006849_bit0 -CL006850_bit0 -CL006851_bit0 -CL006852_bit0 -CL006853_bit0 -CL006854_bit0 -CL006855_bit0 -CL006856_bit0 -CL006857_bit0 -CL006858_bit0 -CL006859_bit0 -CL006860_bit0 -CL006861_bit0 -CL006862_bit0 -CL006863_bit0 -CL006864_bit0 -CL006865_bit0 -CL006866_bit0 -CL006867_bit0 -CL006868_bit0 -CL006869_bit0 -CL006870_bit0 -CL006871_bit0 -CL006872_bit0 -CL006873_bit0 -CL006874_bit0 CL006875_bit0 -CL006876_bit0 -CL006877_bit0 -CL006878_bit0 -CL006879_bit0 -CL006880_bit0 -CL006881_bit0 -CL006882_bit0 -CL006883_bit0 -CL006884_bit0 -CL006885_bit0 -CL006886_bit0 -CL006887_bit0 -CL006888_bit0 -CL006889_bit0 -CL006890_bit0 -CL006891_bit0 -CL006892_bit0 -CL006893_bit0 -CL006894_bit0 -CL006895_bit0 -CL006896_bit0 -CL006897_bit0 -CL006898_bit0 -CL006899_bit0 -CL006900_bit0 -CL006901_bit0 -CL006902_bit0 -CL006903_bit0 -CL006904_bit0 -CL006905_bit0 -CL006906_bit0 -CL006907_bit0 -CL006908_bit0 -CL006909_bit0 -CL006910_bit0 -CL006911_bit0 -CL006912_bit0 -CL006913_bit0 -CL006914_bit0 -CL006915_bit0 -CL006916_bit0 -CL006917_bit0 -CL006918_bit0 -CL006919_bit0 -CL006920_bit0 -CL006921_bit0 -CL006922_bit0 -CL006923_bit0 -CL006924_bit0 -CL006925_bit0 -CL006926_bit0 -CL006927_bit0 -CL006928_bit0 -CL006929_bit0 -CL006930_bit0 -CL006931_bit0 -CL006932_bit0 -CL006933_bit0 -CL006934_bit0 -CL006935_bit0 -CL006936_bit0 -CL006937_bit0 -CL006938_bit0 -CL006939_bit0 -CL006940_bit0 -CL006941_bit0 -CL006942_bit0 -CL006943_bit0 -CL006944_bit0 -CL006945_bit0 -CL006946_bit0 -CL006947_bit0 -CL006948_bit0 -CL006949_bit0 -CL006950_bit0 -CL006951_bit0 CL006952_bit0 -CL006953_bit0 -CL006954_bit0 -CL006955_bit0 -CL006956_bit0 -CL006957_bit0 -CL006958_bit0 -CL006959_bit0 -CL006960_bit0 -CL006961_bit0 -CL006962_bit0 -CL006963_bit0 -CL006964_bit0 -CL006965_bit0 -CL006966_bit0 -CL006967_bit0 -CL006968_bit0 -CL006969_bit0 -CL006970_bit0 -CL006971_bit0 -CL006972_bit0 -CL006973_bit0 -CL006974_bit0 -CL006975_bit0 -CL006976_bit0 -CL006977_bit0 -CL006978_bit0 -CL006979_bit0 -CL006980_bit0 -CL006981_bit0 -CL006982_bit0 -CL006983_bit0 -CL006984_bit0 -CL006985_bit0 -CL006986_bit0 -CL006987_bit0 -CL006988_bit0 -CL006989_bit0 -CL006990_bit0 -CL006991_bit0 -CL006992_bit0 -CL006993_bit0 -CL006994_bit0 -CL006995_bit0 -CL006996_bit0 -CL006997_bit0 -CL006998_bit0 -CL006999_bit0 -CL007000_bit0 -CL007001_bit0 -CL007002_bit0 -CL007003_bit0 -CL007004_bit0 -CL007005_bit0 -CL007006_bit0 -CL007007_bit0 -CL007008_bit0 -CL007009_bit0 -CL007010_bit0 -CL007011_bit0 -CL007012_bit0 -CL007013_bit0 -CL007014_bit0 -CL007015_bit0 -CL007016_bit0 -CL007017_bit0 -CL007018_bit0 -CL007019_bit0 -CL007020_bit0 -CL007021_bit0 -CL007022_bit0 -CL007023_bit0 -CL007024_bit0 -CL007025_bit0 -CL007026_bit0 -CL007027_bit0 -CL007028_bit0 -CL007029_bit0 -CL007030_bit0 -CL007031_bit0 -CL007032_bit0 -CL007033_bit0 -CL007034_bit0 -CL007035_bit0 -CL007036_bit0 -CL007037_bit0 -CL007038_bit0 -CL007039_bit0 -CL007040_bit0 -CL007041_bit0 -CL007042_bit0 -CL007043_bit0 -CL007044_bit0 CL007045_bit0 -CL007046_bit0 CL007047_bit0 -CL007048_bit0 -CL007049_bit0 -CL007050_bit0 -CL007051_bit0 -CL007052_bit0 -CL007053_bit0 -CL007054_bit0 -CL007055_bit0 -CL007056_bit0 -CL007057_bit0 -CL007058_bit0 -CL007059_bit0 -CL007060_bit0 -CL007061_bit0 -CL007062_bit0 -CL007063_bit0 -CL007064_bit0 -CL007065_bit0 -CL007066_bit0 -CL007067_bit0 -CL007068_bit0 -CL007069_bit0 -CL007070_bit0 -CL007071_bit0 -CL007072_bit0 -CL007073_bit0 -CL007074_bit0 -CL007075_bit0 -CL007076_bit0 -CL007077_bit0 -CL007078_bit0 -CL007079_bit0 -CL007080_bit0 -CL007081_bit0 -CL007082_bit0 -CL007083_bit0 -CL007084_bit0 -CL007085_bit0 -CL007086_bit0 -CL007087_bit0 -CL007088_bit0 -CL007089_bit0 -CL007090_bit0 -CL007091_bit0 -CL007092_bit0 -CL007093_bit0 -CL007094_bit0 -CL007095_bit0 -CL007096_bit0 -CL007097_bit0 -CL007098_bit0 -CL007099_bit0 -CL007100_bit0 -CL007101_bit0 -CL007102_bit0 -#### 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.67 0.91 0.89 2/54 21114
Raw data (stat): 21114 (runsolver) R 21113 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 543309465 1052672 99 4294967295 134512640 135381576 3221224448 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.72 0.91 0.90 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 10257 0 0 0 972 26 0 0 25 0 1 0 543309465 44871680 9879 4294967295 134512640 134672761 3221224544 3221223648 134559979 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10955 9879 603 41 0 10914 0
vsize: 43820
[startup+20.0013 s]
Raw data (loadavg): 0.76 0.91 0.90 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 38836 0 0 0 1909 89 0 0 25 0 1 0 543309465 131514368 30846 4294967295 134512640 134672761 3221224544 3221221856 134522889 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32108 30846 603 41 0 32067 0
vsize: 128432
[startup+30.002 s]
Raw data (loadavg): 0.80 0.91 0.90 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 46924 0 0 0 2888 110 0 0 25 0 1 0 543309465 190922752 38918 4294967295 134512640 134672761 3221224544 3221223712 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46612 38918 603 41 0 46571 0
vsize: 186448
[startup+40.0023 s]
Raw data (loadavg): 0.83 0.92 0.90 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 49762 0 0 0 3882 117 0 0 25 0 1 0 543309465 192204800 39192 4294967295 134512640 134672761 3221224544 3221222816 134522430 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46925 39192 603 41 0 46884 0
vsize: 187700
[startup+50.0024 s]
Raw data (loadavg): 0.85 0.92 0.90 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 50360 0 0 0 4880 118 0 0 25 0 1 0 543309465 193691648 39775 4294967295 134512640 134672761 3221224544 3221223712 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47288 39775 603 41 0 47247 0
vsize: 189152
[startup+60.003 s]
Raw data (loadavg): 0.88 0.92 0.90 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 50365 0 0 0 5880 118 0 0 25 0 1 0 543309465 193691648 39780 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47288 39780 603 41 0 47247 0
vsize: 189152
[startup+70.0032 s]
Raw data (loadavg): 0.89 0.92 0.90 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 50420 0 0 0 6880 118 0 0 25 0 1 0 543309465 193957888 39835 4294967295 134512640 134672761 3221224544 3221223668 134566071 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 47353 39835 603 41 0 47312 0
vsize: 189412
[startup+80.0042 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 50550 0 0 0 7880 119 0 0 25 0 1 0 543309465 194502656 39965 4294967295 134512640 134672761 3221224544 3221223648 134559851 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 47486 39965 603 41 0 47445 0
vsize: 189944
[startup+90.0039 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 50719 0 0 0 8880 119 0 0 25 0 1 0 543309465 195186688 40134 4294967295 134512640 134672761 3221224544 3221223712 134564746 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 47653 40134 603 41 0 47612 0
vsize: 190612
[startup+100.003 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 50880 0 0 0 9879 120 0 0 25 0 1 0 543309465 195862528 40295 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47818 40295 603 41 0 47777 0
vsize: 191272
[startup+110.004 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 51027 0 0 0 10879 120 0 0 25 0 1 0 543309465 196407296 40442 4294967295 134512640 134672761 3221224544 3221223712 134560852 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47951 40442 603 41 0 47910 0
vsize: 191804
[startup+120.005 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 51286 0 0 0 11876 122 0 0 25 0 1 0 543309465 197492736 40701 4294967295 134512640 134672761 3221224544 3221223712 134560909 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48216 40701 603 41 0 48175 0
vsize: 192864
[startup+130.005 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 51410 0 0 0 12876 123 0 0 25 0 1 0 543309465 198033408 40825 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48348 40825 603 41 0 48307 0
vsize: 193392
[startup+140.005 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 51615 0 0 0 13875 123 0 0 25 0 1 0 543309465 198860800 41030 4294967295 134512640 134672761 3221224544 3221223680 134560688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48550 41030 603 41 0 48509 0
vsize: 194200
[startup+150.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 51932 0 0 0 14874 125 0 0 25 0 1 0 543309465 200208384 41347 4294967295 134512640 134672761 3221224544 3221223648 134560248 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48879 41347 603 41 0 48838 0
vsize: 195516
[startup+160.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 54862 0 0 0 15867 132 0 0 25 0 1 0 543309465 200474624 41486 4294967295 134512640 134672761 3221224544 3221220992 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48944 41487 603 41 0 48903 0
vsize: 195776
[startup+170.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 59132 0 0 0 16858 141 0 0 25 0 1 0 543309465 218456064 45756 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 53334 45756 603 41 0 53293 0
vsize: 213336
[startup+180.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 59255 0 0 0 17858 141 0 0 25 0 1 0 543309465 218996736 45879 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 53466 45879 603 41 0 53425 0
vsize: 213864
[startup+190.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 59434 0 0 0 18858 141 0 0 25 0 1 0 543309465 219807744 46058 4294967295 134512640 134672761 3221224544 3221223712 134561382 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 53664 46058 603 41 0 53623 0
vsize: 214656
[startup+200.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 59626 0 0 0 19858 141 0 0 25 0 1 0 543309465 220504064 46250 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 53834 46250 603 41 0 53793 0
vsize: 215336
[startup+210.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 61684 0 0 0 20854 145 0 0 25 0 1 0 543309465 222441472 46855 4294967295 134512640 134672761 3221224544 3221223844 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 54307 46855 603 41 0 54266 0
vsize: 217228
[startup+220.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 61684 0 0 0 21855 145 0 0 25 0 1 0 543309465 222441472 46855 4294967295 134512640 134672761 3221224544 3221223712 134560867 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 54307 46855 603 41 0 54266 0
vsize: 217228
[startup+230.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 61688 0 0 0 22855 145 0 0 25 0 1 0 543309465 222441472 46859 4294967295 134512640 134672761 3221224544 3221223680 134565092 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 54307 46859 603 41 0 54266 0
vsize: 217228
[startup+240.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 65729 0 0 0 23847 154 0 0 25 0 1 0 543309465 236171264 50208 4294967295 134512640 134672761 3221224544 3220590944 134594595 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 57659 50208 603 41 0 57618 0
vsize: 230636
[startup+250.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 69883 0 0 0 24837 164 0 0 25 0 1 0 543309465 233574400 50392 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 57025 50392 603 41 0 56984 0
vsize: 228100
[startup+260.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 70075 0 0 0 25836 164 0 0 25 0 1 0 543309465 234385408 50584 4294967295 134512640 134672761 3221224544 3221223680 134560677 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 57223 50584 603 41 0 57182 0
vsize: 228892
[startup+270.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 70224 0 0 0 26836 165 0 0 25 0 1 0 543309465 234934272 50733 4294967295 134512640 134672761 3221224544 3221223712 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 57357 50733 603 41 0 57316 0
vsize: 229428
[startup+280.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 70374 0 0 0 27835 166 0 0 25 0 1 0 543309465 235470848 50883 4294967295 134512640 134672761 3221224544 3221223648 134560054 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 57488 50883 603 41 0 57447 0
vsize: 229952
[startup+290.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 70429 0 0 0 28835 166 0 0 25 0 1 0 543309465 235741184 50938 4294967295 134512640 134672761 3221224544 3221223712 134560852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 57554 50938 603 41 0 57513 0
vsize: 230216
[startup+300.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 70518 0 0 0 29835 166 0 0 25 0 1 0 543309465 236011520 51027 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 57620 51027 603 41 0 57579 0
vsize: 230480
[startup+310.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 70655 0 0 0 30835 167 0 0 25 0 1 0 543309465 236675072 51164 4294967295 134512640 134672761 3221224544 3221223648 134559933 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 57782 51164 603 41 0 57741 0
vsize: 231128
[startup+320.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 70741 0 0 0 31835 167 0 0 25 0 1 0 543309465 236949504 51250 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 57849 51250 603 41 0 57808 0
vsize: 231396
[startup+330.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 70914 0 0 0 32835 168 0 0 25 0 1 0 543309465 237707264 51423 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 58034 51423 603 41 0 57993 0
vsize: 232136
[startup+340.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 71013 0 0 0 33835 168 0 0 25 0 1 0 543309465 238112768 51522 4294967295 134512640 134672761 3221224544 3221223744 134557895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 58133 51522 603 41 0 58092 0
vsize: 232532
[startup+350.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 71141 0 0 0 34835 168 0 0 25 0 1 0 543309465 238661632 51650 4294967295 134512640 134672761 3221224544 3221223712 134561201 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 58267 51650 603 41 0 58226 0
vsize: 233068
[startup+360.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 71255 0 0 0 35834 168 0 0 25 0 1 0 543309465 239063040 51764 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 58365 51764 603 41 0 58324 0
vsize: 233460
[startup+370.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 71411 0 0 0 36834 169 0 0 25 0 1 0 543309465 239747072 51920 4294967295 134512640 134672761 3221224544 3221223712 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 58532 51920 603 41 0 58491 0
vsize: 234128
[startup+380.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 71518 0 0 0 37834 169 0 0 25 0 1 0 543309465 240152576 52027 4294967295 134512640 134672761 3221224544 3221223680 134565092 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 58631 52027 603 41 0 58590 0
vsize: 234524
[startup+390.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 71682 0 0 0 38834 169 0 0 25 0 1 0 543309465 240824320 52191 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 58795 52191 603 41 0 58754 0
vsize: 235180
[startup+400.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 71804 0 0 0 39834 169 0 0 25 0 1 0 543309465 241369088 52313 4294967295 134512640 134672761 3221224544 3221223712 134561021 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 58928 52313 603 41 0 58887 0
vsize: 235712
[startup+410.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 71887 0 0 0 40834 169 0 0 25 0 1 0 543309465 241639424 52396 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 58994 52396 603 41 0 58953 0
vsize: 235976
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 72017 0 0 0 41834 169 0 0 25 0 1 0 543309465 242184192 52526 4294967295 134512640 134672761 3221224544 3221223744 134557852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 59127 52526 603 41 0 59086 0
vsize: 236508
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 72144 0 0 0 42834 170 0 0 25 0 1 0 543309465 242716672 52653 4294967295 134512640 134672761 3221224544 3221223712 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 59257 52653 603 41 0 59216 0
vsize: 237028
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 72261 0 0 0 43835 170 0 0 25 0 1 0 543309465 243159040 52770 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 59365 52770 603 41 0 59324 0
vsize: 237460
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 72400 0 0 0 44834 170 0 0 25 0 1 0 543309465 243818496 52909 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 59526 52909 603 41 0 59485 0
vsize: 238104
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 72507 0 0 0 45834 170 0 0 25 0 1 0 543309465 244219904 53016 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 59624 53016 603 41 0 59583 0
vsize: 238496
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 72676 0 0 0 46834 171 0 0 25 0 1 0 543309465 244891648 53185 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 59788 53185 603 41 0 59747 0
vsize: 239152
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 72844 0 0 0 47834 171 0 0 25 0 1 0 543309465 245563392 53353 4294967295 134512640 134672761 3221224544 3221223712 134561127 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 59952 53353 603 41 0 59911 0
vsize: 239808
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 72990 0 0 0 48833 172 0 0 25 0 1 0 543309465 246231040 53499 4294967295 134512640 134672761 3221224544 3221223712 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 60115 53499 603 41 0 60074 0
vsize: 240460
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 73173 0 0 0 49833 173 0 0 25 0 1 0 543309465 246910976 53682 4294967295 134512640 134672761 3221224544 3221223712 134560852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 60281 53682 603 41 0 60240 0
vsize: 241124
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 73345 0 0 0 50832 173 0 0 25 0 1 0 543309465 247721984 53854 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 60479 53854 603 41 0 60438 0
vsize: 241916
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 73487 0 0 0 51833 173 0 0 25 0 1 0 543309465 248307712 53996 4294967295 134512640 134672761 3221224544 3221223712 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 60622 53996 603 41 0 60581 0
vsize: 242488
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 73537 0 0 0 52833 173 0 0 25 0 1 0 543309465 248442880 54046 4294967295 134512640 134672761 3221224544 3221223712 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 60655 54046 603 41 0 60614 0
vsize: 242620
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 73667 0 0 0 53833 173 0 0 25 0 1 0 543309465 248971264 54176 4294967295 134512640 134672761 3221224544 3221223716 134556596 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 60784 54176 603 41 0 60743 0
vsize: 243136
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 73744 0 0 0 54833 173 0 0 25 0 1 0 543309465 249241600 54253 4294967295 134512640 134672761 3221224544 3221223712 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 60850 54253 603 41 0 60809 0
vsize: 243400
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 73803 0 0 0 55833 174 0 0 25 0 1 0 543309465 249507840 54312 4294967295 134512640 134672761 3221224544 3221223712 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 60915 54312 603 41 0 60874 0
vsize: 243660
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 74050 0 0 0 56832 175 0 0 25 0 1 0 543309465 250654720 54559 4294967295 134512640 134672761 3221224544 3221223648 134559853 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 61195 54559 603 41 0 61154 0
vsize: 244780
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 74400 0 0 0 57832 175 0 0 25 0 1 0 543309465 252080128 54909 4294967295 134512640 134672761 3221224544 3221223728 134558764 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 61543 54909 603 41 0 61502 0
vsize: 246172
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 74628 0 0 0 58831 176 0 0 25 0 1 0 543309465 252968960 55137 4294967295 134512640 134672761 3221224544 3221223648 134560335 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 61760 55137 603 41 0 61719 0
vsize: 247040
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 74815 0 0 0 59831 176 0 0 25 0 1 0 543309465 253677568 55324 4294967295 134512640 134672761 3221224544 3221223712 134560839 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 61933 55324 603 41 0 61892 0
vsize: 247732
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 74951 0 0 0 60831 177 0 0 25 0 1 0 543309465 254218240 55460 4294967295 134512640 134672761 3221224544 3221223648 134559908 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 62065 55460 603 41 0 62024 0
vsize: 248260
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 75087 0 0 0 61830 177 0 0 25 0 1 0 543309465 254746624 55596 4294967295 134512640 134672761 3221224544 3221223648 134559914 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 62194 55596 603 41 0 62153 0
vsize: 248776
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 75178 0 0 0 62830 178 0 0 25 0 1 0 543309465 255156224 55687 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 62294 55687 603 41 0 62253 0
vsize: 249176
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 75296 0 0 0 63830 178 0 0 25 0 1 0 543309465 255696896 55805 4294967295 134512640 134672761 3221224544 3221223648 134560158 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 62426 55805 603 41 0 62385 0
vsize: 249704
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 75500 0 0 0 64830 178 0 0 25 0 1 0 543309465 256561152 56009 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 62637 56009 603 41 0 62596 0
vsize: 250548
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 75808 0 0 0 65830 178 0 0 25 0 1 0 543309465 257830912 56317 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 62947 56317 603 41 0 62906 0
vsize: 251788
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 76117 0 0 0 66829 179 0 0 25 0 1 0 543309465 259084288 56626 4294967295 134512640 134672761 3221224544 3221223648 134559835 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 63253 56626 603 41 0 63212 0
vsize: 253012
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 76482 0 0 0 67828 180 0 0 25 0 1 0 543309465 260603904 56991 4294967295 134512640 134672761 3221224544 3221223648 134560054 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 63624 56991 603 41 0 63583 0
vsize: 254496
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 76807 0 0 0 68828 181 0 0 25 0 1 0 543309465 261865472 57316 4294967295 134512640 134672761 3221224544 3221223648 134560048 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 63932 57316 603 41 0 63891 0
vsize: 255728
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 77169 0 0 0 69827 181 0 0 25 0 1 0 543309465 263397376 57678 4294967295 134512640 134672761 3221224544 3221223648 134560054 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 64306 57678 603 41 0 64265 0
vsize: 257224
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 77296 0 0 0 70827 182 0 0 25 0 1 0 543309465 263950336 57805 4294967295 134512640 134672761 3221224544 3221223712 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 64441 57805 603 41 0 64400 0
vsize: 257764
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 77396 0 0 0 71827 182 0 0 25 0 1 0 543309465 264351744 57905 4294967295 134512640 134672761 3221224544 3221223712 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 64539 57905 603 41 0 64498 0
vsize: 258156
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 77538 0 0 0 72827 182 0 0 25 0 1 0 543309465 264900608 58047 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 64673 58047 603 41 0 64632 0
vsize: 258692
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 77911 0 0 0 73826 183 0 0 25 0 1 0 543309465 266362880 58420 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 65030 58420 603 41 0 64989 0
vsize: 260120
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 78298 0 0 0 74826 184 0 0 25 0 1 0 543309465 267939840 58807 4294967295 134512640 134672761 3221224544 3221223648 134560367 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 65415 58807 603 41 0 65374 0
vsize: 261660
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 78639 0 0 0 75825 185 0 0 25 0 1 0 543309465 269365248 59148 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 65763 59148 603 41 0 65722 0
vsize: 263052
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 78811 0 0 0 76825 185 0 0 25 0 1 0 543309465 270049280 59320 4294967295 134512640 134672761 3221224544 3221223744 134557842 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 65930 59320 603 41 0 65889 0
vsize: 263720
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 79040 0 0 0 77825 186 0 0 25 0 1 0 543309465 270979072 59549 4294967295 134512640 134672761 3221224544 3221223648 134559841 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 66157 59549 603 41 0 66116 0
vsize: 264628
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 79219 0 0 0 78824 186 0 0 25 0 1 0 543309465 271814656 59728 4294967295 134512640 134672761 3221224544 3221223648 134559872 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 66361 59728 603 41 0 66320 0
vsize: 265444
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 79497 0 0 0 79823 187 0 0 25 0 1 0 543309465 272896000 60006 4294967295 134512640 134672761 3221224544 3221223648 134560054 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 66625 60006 603 41 0 66584 0
vsize: 266500
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 79800 0 0 0 80823 188 0 0 25 0 1 0 543309465 274132992 60309 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 66927 60309 603 41 0 66886 0
vsize: 267708
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 80033 0 0 0 81822 189 0 0 25 0 1 0 543309465 275116032 60542 4294967295 134512640 134672761 3221224544 3221223712 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 67167 60542 603 41 0 67126 0
vsize: 268668
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 80131 0 0 0 82821 189 0 0 25 0 1 0 543309465 275525632 60640 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 67267 60640 603 41 0 67226 0
vsize: 269068
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 80286 0 0 0 83821 189 0 0 25 0 1 0 543309465 276066304 60795 4294967295 134512640 134672761 3221224544 3221223712 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 67399 60795 603 41 0 67358 0
vsize: 269596
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 80363 0 0 0 84821 190 0 0 25 0 1 0 543309465 276467712 60872 4294967295 134512640 134672761 3221224544 3221223668 134566043 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 67497 60872 603 41 0 67456 0
vsize: 269988
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 80459 0 0 0 85821 190 0 0 25 0 1 0 543309465 276869120 60968 4294967295 134512640 134672761 3221224544 3221223712 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 67595 60968 603 41 0 67554 0
vsize: 270380
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 80579 0 0 0 86821 190 0 0 25 0 1 0 543309465 277270528 61088 4294967295 134512640 134672761 3221224544 3221223712 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 67693 61088 603 41 0 67652 0
vsize: 270772
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 80765 0 0 0 87821 190 0 0 25 0 1 0 543309465 278073344 61274 4294967295 134512640 134672761 3221224544 3221223712 134561207 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 67889 61274 603 41 0 67848 0
vsize: 271556
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 80851 0 0 0 88822 191 0 0 25 0 1 0 543309465 278474752 61360 4294967295 134512640 134672761 3221224544 3221223680 134560628 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 67987 61360 603 41 0 67946 0
vsize: 271948
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 81051 0 0 0 89822 191 0 0 25 0 1 0 543309465 279318528 61560 4294967295 134512640 134672761 3221224544 3221223728 134559354 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 68193 61560 603 41 0 68152 0
vsize: 272772
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 81238 0 0 0 90822 192 0 0 25 0 1 0 543309465 280018944 61747 4294967295 134512640 134672761 3221224544 3221223712 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 68364 61747 603 41 0 68323 0
vsize: 273456
[startup+920.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 81344 0 0 0 91823 192 0 0 25 0 1 0 543309465 280424448 61853 4294967295 134512640 134672761 3221224544 3221223648 134560010 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 68463 61853 603 41 0 68422 0
vsize: 273852
[startup+930.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 81473 0 0 0 92823 192 0 0 25 0 1 0 543309465 280973312 61982 4294967295 134512640 134672761 3221224544 3221223744 134557911 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 68597 61982 603 41 0 68556 0
vsize: 274388
[startup+940.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 81654 0 0 0 93823 193 0 0 25 0 1 0 543309465 281784320 62163 4294967295 134512640 134672761 3221224544 3221223648 134559862 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 68795 62163 603 41 0 68754 0
vsize: 275180
[startup+950.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 81962 0 0 0 94822 194 0 0 25 0 1 0 543309465 282947584 62471 4294967295 134512640 134672761 3221224544 3221223648 134560504 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 69079 62471 603 41 0 69038 0
vsize: 276316
[startup+960.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 82231 0 0 0 95821 195 0 0 25 0 1 0 543309465 284086272 62740 4294967295 134512640 134672761 3221224544 3221223648 134559955 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 69357 62740 603 41 0 69316 0
vsize: 277428
[startup+970.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 82375 0 0 0 96821 195 0 0 25 0 1 0 543309465 284667904 62884 4294967295 134512640 134672761 3221224544 3221223712 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 69499 62884 603 41 0 69458 0
vsize: 277996
[startup+980.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 82507 0 0 0 97822 195 0 0 25 0 1 0 543309465 285220864 63016 4294967295 134512640 134672761 3221224544 3221223712 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 69634 63016 603 41 0 69593 0
vsize: 278536
[startup+990.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 82671 0 0 0 98821 196 0 0 25 0 1 0 543309465 285896704 63180 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 69799 63180 603 41 0 69758 0
vsize: 279196
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 83005 0 0 0 99821 196 0 0 25 0 1 0 543309465 287383552 63514 4294967295 134512640 134672761 3221224544 3221223648 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 70162 63514 603 41 0 70121 0
vsize: 280648
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 83085 0 0 0 100822 196 0 0 25 0 1 0 543309465 287760384 63594 4294967295 134512640 134672761 3221224544 3221223716 134556632 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 70254 63594 603 41 0 70213 0
vsize: 281016
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 83085 0 0 0 101822 196 0 0 25 0 1 0 543309465 287760384 63594 4294967295 134512640 134672761 3221224544 3221223736 134556585 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 70254 63594 603 41 0 70213 0
vsize: 281016
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 83085 0 0 0 102822 196 0 0 25 0 1 0 543309465 287760384 63594 4294967295 134512640 134672761 3221224544 3221223716 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 70254 63594 603 41 0 70213 0
vsize: 281016
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 83085 0 0 0 103822 196 0 0 25 0 1 0 543309465 287760384 63594 4294967295 134512640 134672761 3221224544 3221223716 134556667 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 70254 63594 603 41 0 70213 0
vsize: 281016
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 83089 0 0 0 104822 196 0 0 25 0 1 0 543309465 287760384 63598 4294967295 134512640 134672761 3221224544 3221223648 134559872 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 70254 63598 603 41 0 70213 0
vsize: 281016
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 83209 0 0 0 105822 196 0 0 25 0 1 0 543309465 288165888 63718 4294967295 134512640 134672761 3221224544 3221223712 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 70353 63718 603 41 0 70312 0
vsize: 281412
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 83461 0 0 0 106822 197 0 0 25 0 1 0 543309465 289243136 63970 4294967295 134512640 134672761 3221224544 3221223648 134555116 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 70616 63970 603 41 0 70575 0
vsize: 282464
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 83808 0 0 0 107821 198 0 0 25 0 1 0 543309465 290598912 64317 4294967295 134512640 134672761 3221224544 3221223648 134559872 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 70947 64317 603 41 0 70906 0
vsize: 283788
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 84132 0 0 0 108821 199 0 0 25 0 1 0 543309465 291930112 64641 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 71272 64641 603 41 0 71231 0
vsize: 285088
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 84271 0 0 0 109821 199 0 0 25 0 1 0 543309465 292593664 64780 4294967295 134512640 134672761 3221224544 3221223728 134558768 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 71434 64780 603 41 0 71393 0
vsize: 285736
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 84503 0 0 0 110821 200 0 0 25 0 1 0 543309465 293535744 65012 4294967295 134512640 134672761 3221224544 3221223712 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 71664 65012 603 41 0 71623 0
vsize: 286656
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 84588 0 0 0 111820 200 0 0 25 0 1 0 543309465 293810176 65097 4294967295 134512640 134672761 3221224544 3221223680 134560688 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 71731 65097 603 41 0 71690 0
vsize: 286924
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 84683 0 0 0 112820 200 0 0 25 0 1 0 543309465 294215680 65192 4294967295 134512640 134672761 3221224544 3221223712 134560892 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 71830 65192 603 41 0 71789 0
vsize: 287320
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 84878 0 0 0 113820 200 0 0 25 0 1 0 543309465 295038976 65387 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 72031 65387 603 41 0 71990 0
vsize: 288124
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 85110 0 0 0 114819 201 0 0 25 0 1 0 543309465 295997440 65619 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 72265 65619 603 41 0 72224 0
vsize: 289060
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 85510 0 0 0 115818 202 0 0 25 0 1 0 543309465 297689088 66019 4294967295 134512640 134672761 3221224544 3221223744 134557911 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 72678 66019 603 41 0 72637 0
vsize: 290712
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 85777 0 0 0 116818 203 0 0 25 0 1 0 543309465 298663936 66286 4294967295 134512640 134672761 3221224544 3221223712 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 72916 66286 603 41 0 72875 0
vsize: 291664
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 86084 0 0 0 117817 204 0 0 25 0 1 0 543309465 300011520 66593 4294967295 134512640 134672761 3221224544 3221223712 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 73245 66593 603 41 0 73204 0
vsize: 292980
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 86298 0 0 0 118817 204 0 0 25 0 1 0 543309465 300843008 66807 4294967295 134512640 134672761 3221224544 3221223712 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 73448 66807 603 41 0 73407 0
vsize: 293792
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21114
Raw data (stat): 21114 (minisat+) R 21113 10614 10613 0 -1 0 86393 0 0 0 119817 204 0 0 25 0 1 0 543309465 301244416 66902 4294967295 134512640 134672761 3221224544 3221223712 134561025 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 73546 66902 603 41 0 73505 0
vsize: 294184
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 21114
Raw data (stat): 21114 (minisat+) Z 21113 10614 10613 0 -1 12 86396 0 0 0 119818 217 0 0 25 0 1 0 543309465 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.22
CPU time (s): 1200.36
CPU user time (s): 1198.19
CPU system time (s): 2.17467
CPU usage (%): 100.012
Max. virtual memory (Kb): 294184
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####