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/miplib/normalized-mps-v2-20-10-air02.opb
MD5SUM	75acdcffdd43b3d3a30d0459a6bffe45
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6106
Optimality of the best value was proved	NO
Number of terms in the objective function	6774
Biggest coefficient in the objective function	4804
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	6613094
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	4804
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	6613094
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1190.1
Number of variables	6774
Total number of constraints	6824
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6824
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3729
Trace number 22503

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-22 03:14:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11627 boxname=wulflinc30 idbench=895 idsolver=5 numberseed=0
MD5SUM SOLVER: 1d62365061f6d70b1a242542b016b2e4  /oldhome/oroussel/solvers/minisat+
MD5SUM BENCH:  75acdcffdd43b3d3a30d0459a6bffe45  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-air02.opb
REAL COMMAND:  minisat+ /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-air02.opb
IDLAUNCH: 11627
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        694116 kB
Buffers:         20460 kB
Cached:         294368 kB
SwapCached:        352 kB
Active:          51020 kB
Inactive:       266524 kB
HighTotal:      131008 kB
HighFree:         1148 kB
LowTotal:       903652 kB
LowFree:        692968 kB
SwapTotal:     2097892 kB
SwapFree:      2097328 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5980 kB
Slab:            17396 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 03:34:16 (client local time) WITH STATUS 10 IN 1200.43 SECONDS
stats: 11627 7 1200.43 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 100 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: ##################################################
c   -- Clauses(.)/Splits(s): (none)
c ---[  98]---> BDD-cost:   37
c ---[  96]---> BDD-cost:    1
c ---[  94]---> BDD-cost:  229
c ---[  92]---> BDD-cost:    1
c ---[  90]---> BDD-cost:  363
c ---[  88]---> BDD-cost:    1
c ---[  86]---> BDD-cost:  693
c ---[  84]---> BDD-cost:  743
c ---[  82]---> BDD-cost: 1013
c ---[  80]---> BDD-cost: 1141
c ---[  78]---> BDD-cost: 1273
c ---[  76]---> BDD-cost: 1269
c ---[  74]---> BDD-cost: 1447
c ---[  72]---> BDD-cost: 1601
c ---[  70]---> BDD-cost:    1
c ---[  68]---> BDD-cost: 1469
c ---[  66]---> BDD-cost:    1
c ---[  64]---> BDD-cost: 1549
c ---[  62]---> BDD-cost:    1
c ---[  60]---> BDD-cost: 2025
c ---[  58]---> BDD-cost: 1963
c ---[  56]---> BDD-cost:    1
c ---[  54]---> BDD-cost: 1755
c ---[  52]---> BDD-cost:    1
c ---[  50]---> BDD-cost: 2671
c ---[  48]---> BDD-cost: 2239
c ---[  46]---> BDD-cost: 2717
c ---[  44]---> BDD-cost: 2597
c ---[  42]---> BDD-cost:    1
c ---[  40]---> BDD-cost: 2719
c ---[  38]---> BDD-cost: 3387
c ---[  36]---> BDD-cost: 2815
c ---[  34]---> BDD-cost: 3131
c ---[  32]---> BDD-cost: 3331
c ---[  30]---> BDD-cost: 3523
c ---[  28]---> BDD-cost: 3303
c ---[  26]---> BDD-cost:    1
c ---[  24]---> BDD-cost: 3607
c ---[  22]---> BDD-cost: 3613
c ---[  20]---> BDD-cost:    1
c ---[  18]---> BDD-cost:    1
c ---[  16]---> BDD-cost: 3761
c ---[  14]---> BDD-cost: 3929
c ---[  12]---> BDD-cost: 4211
c ---[  10]---> BDD-cost: 3903
c ---[   8]---> BDD-cost: 4471
c ---[   6]---> BDD-cost: 4887
c ---[   4]---> BDD-cost: 4971
c ---[   2]---> BDD-cost: 4987
c ---[   0]---> BDD-cost: 7419
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  251932   655072 |   83977       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: 53404[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 61120   maxlim: 6559690   bits: 23/23
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |        16 |  679655  2182709 |  226551      16     2000   125.0 |  0.000 % |
c |       121 |  679655  2182709 |  249206     121   113930   941.6 |  0.037 % |
c |       272 |  679655  2182709 |  274126     272   203945   749.8 |  0.037 % |
c |       497 |  679655  2182709 |  301539     497   337333   678.7 |  0.037 % |
c |       842 |  679655  2182709 |  331693     842   926135  1099.9 |  0.037 % |
c ==============================================================================
c [1mFound solution: 43071[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 6570023   bits: 23/23
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |       973 |  679666  2182785 |  226555     973  1032766  1061.4 |  0.037 % |
c |      1073 |  679666  2182785 |  249210    1073  1124212  1047.7 |  0.039 % |
c |      1223 |  679158  2180974 |  274131    1128  1125047   997.4 |  0.095 % |
c |      1449 |  678718  2179464 |  301544    1214   800454   659.4 |  0.139 % |
c |      1788 |  678698  2179392 |  331699    1551   968093   624.2 |  0.141 % |
c |      2294 |  678698  2179392 |  364869    2057  1843893   896.4 |  0.141 % |
c ==============================================================================
c [1mFound solution: 36943[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 6576151   bits: 23/23
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      2921 |  678701  2179429 |  226233    2682  3057920  1140.2 |  0.141 % |
c |      3021 |  678701  2179429 |  248856    2782  3305202  1188.1 |  0.144 % |
c |      3172 |  678701  2179429 |  273741    2933  3386968  1154.8 |  0.144 % |
c |      3397 |  678701  2179429 |  301116    3158  3495778  1107.0 |  0.144 % |
c |      3734 |  678701  2179429 |  331227    3495  3928886  1124.1 |  0.144 % |
c |      4240 |  678701  2179429 |  364350    4001  4601144  1150.0 |  0.144 % |
c |      5008 |  678701  2179429 |  400785    4769  5797746  1215.7 |  0.144 % |
c |      6151 |  678676  2179340 |  440864    5907  6251187  1058.3 |  0.146 % |
c |      7860 |  678618  2179140 |  484950    7606  9871293  1297.8 |  0.152 % |
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_bi#### 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.85 0.97 0.91 2/54 3635
Raw data (stat): 3635 (runsolver) R 3634 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 550393492 1052672 99 4294967295 134512640 135381576 3221224528 3221219772 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 15236 0 0 0 958 40 0 0 25 0 1 0 550393492 52506624 11878 4294967295 134512640 134672761 3221224624 3221222872 1075353072 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12819 11878 603 41 0 12778 0
vsize: 51276
[startup+20.001 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 41540 0 0 0 1899 99 0 0 25 0 1 0 550393492 161439744 33568 4294967295 134512640 134672761 3221224624 3221223808 134593694 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39414 33568 603 41 0 39373 0
vsize: 157656
[startup+30.0015 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 47334 0 0 0 2886 112 0 0 25 0 1 0 550393492 191172608 39348 4294967295 134512640 134672761 3221224624 3221223728 134560054 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46673 39348 603 41 0 46632 0
vsize: 186692
[startup+40.0016 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 47441 0 0 0 3885 112 0 0 25 0 1 0 550393492 191610880 39455 4294967295 134512640 134672761 3221224624 3221223792 134560839 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 46780 39455 603 41 0 46739 0
vsize: 187120
[startup+50.0031 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 47568 0 0 0 4885 112 0 0 25 0 1 0 550393492 192008192 39582 4294967295 134512640 134672761 3221224624 3221223728 134559955 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46877 39582 603 41 0 46836 0
vsize: 187508
[startup+60.0029 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 47637 0 0 0 5885 112 0 0 25 0 1 0 550393492 192290816 39651 4294967295 134512640 134672761 3221224624 3221223728 134559925 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 46946 39651 603 41 0 46905 0
vsize: 187784
[startup+70.0024 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 47717 0 0 0 6885 113 0 0 25 0 1 0 550393492 192585728 39731 4294967295 134512640 134672761 3221224624 3221223728 134560036 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47018 39731 603 41 0 46977 0
vsize: 188072
[startup+80.0034 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 47792 0 0 0 7885 113 0 0 25 0 1 0 550393492 192864256 39806 4294967295 134512640 134672761 3221224624 3221223728 134560054 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47086 39806 603 41 0 47045 0
vsize: 188344
[startup+90.0032 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 47873 0 0 0 8885 113 0 0 25 0 1 0 550393492 193150976 39887 4294967295 134512640 134672761 3221224624 3221223728 134560148 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47156 39887 603 41 0 47115 0
vsize: 188624
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 47941 0 0 0 9885 113 0 0 25 0 1 0 550393492 193425408 39955 4294967295 134512640 134672761 3221224624 3221223728 134559872 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47223 39955 603 41 0 47182 0
vsize: 188892
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 48013 0 0 0 10885 113 0 0 25 0 1 0 550393492 193708032 40027 4294967295 134512640 134672761 3221224624 3221223728 134559985 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47292 40027 603 41 0 47251 0
vsize: 189168
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 48082 0 0 0 11885 113 0 0 25 0 1 0 550393492 194011136 40096 4294967295 134512640 134672761 3221224624 3221223728 134559925 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47366 40096 603 41 0 47325 0
vsize: 189464
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 48167 0 0 0 12885 113 0 0 25 0 1 0 550393492 194424832 40181 4294967295 134512640 134672761 3221224624 3221223728 134559875 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47467 40181 603 41 0 47426 0
vsize: 189868
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 48245 0 0 0 13885 114 0 0 25 0 1 0 550393492 194707456 40259 4294967295 134512640 134672761 3221224624 3221223728 134559941 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47536 40259 603 41 0 47495 0
vsize: 190144
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 48312 0 0 0 14885 114 0 0 25 0 1 0 550393492 194965504 40326 4294967295 134512640 134672761 3221224624 3221223728 134559927 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47599 40326 603 41 0 47558 0
vsize: 190396
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 48385 0 0 0 15884 114 0 0 25 0 1 0 550393492 195244032 40399 4294967295 134512640 134672761 3221224624 3221223792 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 47667 40399 603 41 0 47626 0
vsize: 190668
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50034 0 0 0 16880 119 0 0 25 0 1 0 550393492 196898816 40683 4294967295 134512640 134672761 3221224624 3221222432 134545024 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48071 40683 603 41 0 48030 0
vsize: 192284
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50518 0 0 0 17878 120 0 0 25 0 1 0 550393492 197824512 41153 4294967295 134512640 134672761 3221224624 3221223728 134560169 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 48297 41153 603 41 0 48256 0
vsize: 193188
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50518 0 0 0 18878 121 0 0 25 0 1 0 550393492 197824512 41153 4294967295 134512640 134672761 3221224624 3221223796 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48297 41153 603 41 0 48256 0
vsize: 193188
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50518 0 0 0 19878 121 0 0 25 0 1 0 550393492 197824512 41153 4294967295 134512640 134672761 3221224624 3221223728 134560154 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48297 41153 603 41 0 48256 0
vsize: 193188
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50518 0 0 0 20878 121 0 0 25 0 1 0 550393492 197824512 41153 4294967295 134512640 134672761 3221224624 3221223776 134565096 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48297 41153 603 41 0 48256 0
vsize: 193188
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50518 0 0 0 21878 121 0 0 25 0 1 0 550393492 197824512 41153 4294967295 134512640 134672761 3221224624 3221223728 134559877 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48297 41153 603 41 0 48256 0
vsize: 193188
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50530 0 0 0 22878 121 0 0 25 0 1 0 550393492 197824512 41165 4294967295 134512640 134672761 3221224624 3221223728 134559976 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48297 41165 603 41 0 48256 0
vsize: 193188
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50536 0 0 0 23878 121 0 0 25 0 1 0 550393492 197824512 41171 4294967295 134512640 134672761 3221224624 3221223728 134560025 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48297 41171 603 41 0 48256 0
vsize: 193188
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50536 0 0 0 24879 121 0 0 25 0 1 0 550393492 197824512 41171 4294967295 134512640 134672761 3221224624 3221223728 134560054 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48297 41171 603 41 0 48256 0
vsize: 193188
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50536 0 0 0 25879 121 0 0 25 0 1 0 550393492 197824512 41171 4294967295 134512640 134672761 3221224624 3221223728 134560154 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48297 41171 603 41 0 48256 0
vsize: 193188
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50536 0 0 0 26879 121 0 0 25 0 1 0 550393492 197824512 41171 4294967295 134512640 134672761 3221224624 3221223728 134560148 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48297 41171 603 41 0 48256 0
vsize: 193188
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50560 0 0 0 27879 121 0 0 25 0 1 0 550393492 197971968 41195 4294967295 134512640 134672761 3221224624 3221223728 134560136 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48333 41195 603 41 0 48292 0
vsize: 193332
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50618 0 0 0 28879 122 0 0 25 0 1 0 550393492 198242304 41253 4294967295 134512640 134672761 3221224624 3221223728 134560031 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48399 41253 603 41 0 48358 0
vsize: 193596
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50682 0 0 0 29879 122 0 0 25 0 1 0 550393492 198516736 41317 4294967295 134512640 134672761 3221224624 3221223728 134559916 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48466 41317 603 41 0 48425 0
vsize: 193864
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50753 0 0 0 30879 122 0 0 25 0 1 0 550393492 198811648 41388 4294967295 134512640 134672761 3221224624 3221223728 134559872 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48538 41388 603 41 0 48497 0
vsize: 194152
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50829 0 0 0 31879 122 0 0 25 0 1 0 550393492 199086080 41464 4294967295 134512640 134672761 3221224624 3221223728 134560025 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48605 41464 603 41 0 48564 0
vsize: 194420
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50905 0 0 0 32880 123 0 0 25 0 1 0 550393492 199364608 41540 4294967295 134512640 134672761 3221224624 3221223728 134560008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48673 41540 603 41 0 48632 0
vsize: 194692
[startup+340.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 50983 0 0 0 33881 123 0 0 25 0 1 0 550393492 199827456 41618 4294967295 134512640 134672761 3221224624 3221223728 134560048 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48786 41618 603 41 0 48745 0
vsize: 195144
[startup+350.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 51056 0 0 0 34880 124 0 0 25 0 1 0 550393492 200093696 41691 4294967295 134512640 134672761 3221224624 3221223728 134560005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48851 41691 603 41 0 48810 0
vsize: 195404
[startup+360.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 51136 0 0 0 35881 124 0 0 25 0 1 0 550393492 200376320 41771 4294967295 134512640 134672761 3221224624 3221223680 1074972061 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48920 41771 603 41 0 48879 0
vsize: 195680
[startup+370.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 51202 0 0 0 36881 124 0 0 25 0 1 0 550393492 200658944 41837 4294967295 134512640 134672761 3221224624 3221223728 134559955 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 48989 41837 603 41 0 48948 0
vsize: 195956
[startup+380.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 51308 0 0 0 37881 124 0 0 25 0 1 0 550393492 201072640 41943 4294967295 134512640 134672761 3221224624 3221223728 134560158 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49090 41943 603 41 0 49049 0
vsize: 196360
[startup+390.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 51428 0 0 0 38883 125 0 0 25 0 1 0 550393492 201650176 42063 4294967295 134512640 134672761 3221224624 3221223728 134560136 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49231 42063 603 41 0 49190 0
vsize: 196924
[startup+400.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 51527 0 0 0 39885 125 0 0 25 0 1 0 550393492 201936896 42162 4294967295 134512640 134672761 3221224624 3221223728 134560054 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49301 42162 603 41 0 49260 0
vsize: 197204
[startup+410.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 51609 0 0 0 40886 125 0 0 25 0 1 0 550393492 202362880 42244 4294967295 134512640 134672761 3221224624 3221223728 134559991 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49405 42244 603 41 0 49364 0
vsize: 197620
[startup+420.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 51690 0 0 0 41886 126 0 0 25 0 1 0 550393492 202637312 42325 4294967295 134512640 134672761 3221224624 3221223728 134559985 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49472 42325 603 41 0 49431 0
vsize: 197888
[startup+430.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 51765 0 0 0 42886 126 0 0 25 0 1 0 550393492 202899456 42400 4294967295 134512640 134672761 3221224624 3221223728 134560154 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49536 42400 603 41 0 49495 0
vsize: 198144
[startup+440.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 51862 0 0 0 43886 126 0 0 25 0 1 0 550393492 203317248 42497 4294967295 134512640 134672761 3221224624 3221223728 134559847 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49638 42497 603 41 0 49597 0
vsize: 198552
[startup+450.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 51953 0 0 0 44887 126 0 0 25 0 1 0 550393492 203743232 42588 4294967295 134512640 134672761 3221224624 3221223728 134560492 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49742 42588 603 41 0 49701 0
vsize: 198968
[startup+460.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 52048 0 0 0 45888 126 0 0 25 0 1 0 550393492 204152832 42683 4294967295 134512640 134672761 3221224624 3221223728 134559866 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49842 42683 603 41 0 49801 0
vsize: 199368
[startup+470.136 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 52146 0 0 0 46889 127 0 0 25 0 1 0 550393492 204562432 42781 4294967295 134512640 134672761 3221224624 3221223728 134560034 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 49942 42781 603 41 0 49901 0
vsize: 199768
[startup+480.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 52233 0 0 0 47890 127 0 0 25 0 1 0 550393492 204845056 42868 4294967295 134512640 134672761 3221224624 3221223728 134560019 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50011 42868 603 41 0 49970 0
vsize: 200044
[startup+490.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 52338 0 0 0 48890 127 0 0 25 0 1 0 550393492 205275136 42973 4294967295 134512640 134672761 3221224624 3221223792 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50116 42973 603 41 0 50075 0
vsize: 200464
[startup+500.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 57511 0 0 0 49879 140 0 0 25 0 1 0 550393492 206417920 43180 4294967295 134512640 134672761 3221224624 3221221920 134522994 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50395 43180 603 41 0 50354 0
vsize: 201580
[startup+510.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 57718 0 0 0 50877 140 0 0 25 0 1 0 550393492 205537280 43021 4294967295 134512640 134672761 3221224624 3221223728 134560054 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50180 43021 603 41 0 50139 0
vsize: 200720
[startup+520.164 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 57795 0 0 0 51878 140 0 0 25 0 1 0 550393492 205815808 43098 4294967295 134512640 134672761 3221224624 3221223728 134559862 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50248 43098 603 41 0 50207 0
vsize: 200992
[startup+530.164 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 57868 0 0 0 52878 141 0 0 25 0 1 0 550393492 206098432 43171 4294967295 134512640 134672761 3221224624 3221223808 134559498 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50317 43171 603 41 0 50276 0
vsize: 201268
[startup+540.164 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 57947 0 0 0 53878 141 0 0 25 0 1 0 550393492 206389248 43250 4294967295 134512640 134672761 3221224624 3221223728 134559875 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50388 43250 603 41 0 50347 0
vsize: 201552
[startup+550.165 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 58014 0 0 0 54877 141 0 0 25 0 1 0 550393492 206663680 43317 4294967295 134512640 134672761 3221224624 3221223728 134559914 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50455 43317 603 41 0 50414 0
vsize: 201820
[startup+560.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 58080 0 0 0 55878 141 0 0 25 0 1 0 550393492 206934016 43383 4294967295 134512640 134672761 3221224624 3221223728 134559869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50521 43383 603 41 0 50480 0
vsize: 202084
[startup+570.165 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 58152 0 0 0 56877 142 0 0 25 0 1 0 550393492 207343616 43455 4294967295 134512640 134672761 3221224624 3221223728 134560036 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50621 43455 603 41 0 50580 0
vsize: 202484
[startup+580.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 58228 0 0 0 57877 142 0 0 25 0 1 0 550393492 207622144 43531 4294967295 134512640 134672761 3221224624 3221223728 134560025 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50689 43531 603 41 0 50648 0
vsize: 202756
[startup+590.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 58290 0 0 0 58878 142 0 0 25 0 1 0 550393492 207900672 43593 4294967295 134512640 134672761 3221224624 3221223728 134560136 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50757 43593 603 41 0 50716 0
vsize: 203028
[startup+600.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 58357 0 0 0 59877 143 0 0 25 0 1 0 550393492 208175104 43660 4294967295 134512640 134672761 3221224624 3221223728 134560010 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50824 43660 603 41 0 50783 0
vsize: 203296
[startup+610.169 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 58426 0 0 0 60877 143 0 0 25 0 1 0 550393492 208445440 43729 4294967295 134512640 134672761 3221224624 3221223728 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50890 43729 603 41 0 50849 0
vsize: 203560
[startup+620.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 58497 0 0 0 61877 143 0 0 25 0 1 0 550393492 208719872 43800 4294967295 134512640 134672761 3221224624 3221223728 134560154 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 50957 43800 603 41 0 50916 0
vsize: 203828
[startup+630.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 58555 0 0 0 62877 144 0 0 25 0 1 0 550393492 208986112 43858 4294967295 134512640 134672761 3221224624 3221223728 134560048 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51022 43858 603 41 0 50981 0
vsize: 204088
[startup+640.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 58657 0 0 0 63877 144 0 0 25 0 1 0 550393492 209408000 43960 4294967295 134512640 134672761 3221224624 3221223760 134560688 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51125 43960 603 41 0 51084 0
vsize: 204500
[startup+650.171 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 58766 0 0 0 64877 144 0 0 25 0 1 0 550393492 209821696 44069 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51226 44069 603 41 0 51185 0
vsize: 204904
[startup+660.172 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 58874 0 0 0 65877 145 0 0 25 0 1 0 550393492 210255872 44177 4294967295 134512640 134672761 3221224624 3221223728 134559851 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51332 44177 603 41 0 51291 0
vsize: 205328
[startup+670.171 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 58971 0 0 0 66876 145 0 0 25 0 1 0 550393492 210681856 44274 4294967295 134512640 134672761 3221224624 3221223728 134559851 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51436 44274 603 41 0 51395 0
vsize: 205744
[startup+680.171 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 59045 0 0 0 67876 145 0 0 25 0 1 0 550393492 210964480 44348 4294967295 134512640 134672761 3221224624 3221223728 134559925 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51505 44348 603 41 0 51464 0
vsize: 206020
[startup+690.172 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 59137 0 0 0 68876 146 0 0 25 0 1 0 550393492 211382272 44440 4294967295 134512640 134672761 3221224624 3221223728 134559866 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51607 44440 603 41 0 51566 0
vsize: 206428
[startup+700.173 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 59212 0 0 0 69876 146 0 0 25 0 1 0 550393492 211664896 44515 4294967295 134512640 134672761 3221224624 3221223728 134559974 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51676 44515 603 41 0 51635 0
vsize: 206704
[startup+710.174 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 59275 0 0 0 70876 146 0 0 25 0 1 0 550393492 211947520 44578 4294967295 134512640 134672761 3221224624 3221223728 134560019 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51745 44578 603 41 0 51704 0
vsize: 206980
[startup+720.174 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 59343 0 0 0 71876 146 0 0 25 0 1 0 550393492 212226048 44646 4294967295 134512640 134672761 3221224624 3221223772 134560552 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51813 44646 603 41 0 51772 0
vsize: 207252
[startup+730.174 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 59424 0 0 0 72876 147 0 0 25 0 1 0 550393492 212500480 44727 4294967295 134512640 134672761 3221224624 3221223728 134560025 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51880 44727 603 41 0 51839 0
vsize: 207520
[startup+740.174 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 59512 0 0 0 73876 147 0 0 25 0 1 0 550393492 212910080 44815 4294967295 134512640 134672761 3221224624 3221223728 134559862 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 51980 44815 603 41 0 51939 0
vsize: 207920
[startup+750.175 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 59615 0 0 0 74876 147 0 0 25 0 1 0 550393492 213315584 44918 4294967295 134512640 134672761 3221224624 3221223728 134560160 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52079 44918 603 41 0 52038 0
vsize: 208316
[startup+760.175 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 59694 0 0 0 75876 147 0 0 25 0 1 0 550393492 213590016 44997 4294967295 134512640 134672761 3221224624 3221223728 134559914 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52146 44997 603 41 0 52105 0
vsize: 208584
[startup+770.175 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 59783 0 0 0 76876 148 0 0 25 0 1 0 550393492 214016000 45086 4294967295 134512640 134672761 3221224624 3221223728 134560022 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52250 45086 603 41 0 52209 0
vsize: 209000
[startup+780.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 59866 0 0 0 77877 148 0 0 25 0 1 0 550393492 214302720 45169 4294967295 134512640 134672761 3221224624 3221223728 134560022 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52320 45169 603 41 0 52279 0
vsize: 209280
[startup+790.184 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 59952 0 0 0 78877 148 0 0 25 0 1 0 550393492 214745088 45255 4294967295 134512640 134672761 3221224624 3221223728 134560504 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52428 45255 603 41 0 52387 0
vsize: 209712
[startup+800.185 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 60030 0 0 0 79877 148 0 0 25 0 1 0 550393492 214994944 45333 4294967295 134512640 134672761 3221224624 3221223728 134559853 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52489 45333 603 41 0 52448 0
vsize: 209956
[startup+810.185 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 60130 0 0 0 80877 148 0 0 25 0 1 0 550393492 215400448 45433 4294967295 134512640 134672761 3221224624 3221223728 134560005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52588 45433 603 41 0 52547 0
vsize: 210352
[startup+820.185 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 60230 0 0 0 81876 149 0 0 25 0 1 0 550393492 215773184 45533 4294967295 134512640 134672761 3221224624 3221223728 134559875 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52679 45533 603 41 0 52638 0
vsize: 210716
[startup+830.185 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 60336 0 0 0 82876 149 0 0 25 0 1 0 550393492 216174592 45639 4294967295 134512640 134672761 3221224624 3221223728 134559869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52777 45639 603 41 0 52736 0
vsize: 211108
[startup+840.185 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 60420 0 0 0 83876 150 0 0 25 0 1 0 550393492 216580096 45723 4294967295 134512640 134672761 3221224624 3221223728 134560022 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52876 45723 603 41 0 52835 0
vsize: 211504
[startup+850.186 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 60519 0 0 0 84875 150 0 0 25 0 1 0 550393492 216989696 45822 4294967295 134512640 134672761 3221224624 3221223728 134559847 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 52976 45822 603 41 0 52935 0
vsize: 211904
[startup+860.186 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 60547 0 0 0 85876 150 0 0 25 0 1 0 550393492 217124864 45850 4294967295 134512640 134672761 3221224624 3221223728 134560504 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53009 45850 603 41 0 52968 0
vsize: 212036
[startup+870.186 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 60602 0 0 0 86876 150 0 0 25 0 1 0 550393492 217264128 45905 4294967295 134512640 134672761 3221224624 3221223728 134560022 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53043 45905 603 41 0 53002 0
vsize: 212172
[startup+880.187 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 60669 0 0 0 87876 150 0 0 25 0 1 0 550393492 217534464 45972 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53109 45972 603 41 0 53068 0
vsize: 212436
[startup+890.187 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 60778 0 0 0 88875 151 0 0 25 0 1 0 550393492 218071040 46081 4294967295 134512640 134672761 3221224624 3221223728 134559958 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53240 46081 603 41 0 53199 0
vsize: 212960
[startup+900.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 60902 0 0 0 89875 151 0 0 25 0 1 0 550393492 218628096 46205 4294967295 134512640 134672761 3221224624 3221223728 134559937 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53376 46205 603 41 0 53335 0
vsize: 213504
[startup+910.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 60944 0 0 0 90875 151 0 0 25 0 1 0 550393492 218767360 46247 4294967295 134512640 134672761 3221224624 3221223792 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53410 46247 603 41 0 53369 0
vsize: 213640
[startup+920.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 61005 0 0 0 91875 151 0 0 25 0 1 0 550393492 219041792 46308 4294967295 134512640 134672761 3221224624 3221223728 134559872 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53477 46308 603 41 0 53436 0
vsize: 213908
[startup+930.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 61110 0 0 0 92875 152 0 0 25 0 1 0 550393492 219459584 46413 4294967295 134512640 134672761 3221224624 3221223728 134560036 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53579 46413 603 41 0 53538 0
vsize: 214316
[startup+940.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 61209 0 0 0 93875 152 0 0 25 0 1 0 550393492 219758592 46512 4294967295 134512640 134672761 3221224624 3221223728 134560054 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53652 46512 603 41 0 53611 0
vsize: 214608
[startup+950.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 61336 0 0 0 94875 152 0 0 25 0 1 0 550393492 220327936 46639 4294967295 134512640 134672761 3221224624 3221223728 134559877 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53791 46639 603 41 0 53750 0
vsize: 215164
[startup+960.189 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 61446 0 0 0 95875 152 0 0 25 0 1 0 550393492 220745728 46749 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 53893 46749 603 41 0 53852 0
vsize: 215572
[startup+970.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 61567 0 0 0 96874 153 0 0 25 0 1 0 550393492 221323264 46870 4294967295 134512640 134672761 3221224624 3221223728 134560025 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54034 46870 603 41 0 53993 0
vsize: 216136
[startup+980.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 61672 0 0 0 97874 153 0 0 25 0 1 0 550393492 221659136 46975 4294967295 134512640 134672761 3221224624 3221223728 134560031 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54116 46975 603 41 0 54075 0
vsize: 216464
[startup+990.189 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 61825 0 0 0 98874 154 0 0 25 0 1 0 550393492 222306304 47128 4294967295 134512640 134672761 3221224624 3221223728 134560048 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54274 47128 603 41 0 54233 0
vsize: 217096
[startup+1000.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 61992 0 0 0 99874 154 0 0 25 0 1 0 550393492 223014912 47295 4294967295 134512640 134672761 3221224624 3221223728 134559902 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54447 47295 603 41 0 54406 0
vsize: 217788
[startup+1010.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 62095 0 0 0 100874 154 0 0 25 0 1 0 550393492 223444992 47398 4294967295 134512640 134672761 3221224624 3221223728 134560022 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54552 47398 603 41 0 54511 0
vsize: 218208
[startup+1020.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 62211 0 0 0 101874 155 0 0 25 0 1 0 550393492 223891456 47514 4294967295 134512640 134672761 3221224624 3221223728 134560150 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54661 47514 603 41 0 54620 0
vsize: 218644
[startup+1030.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 62370 0 0 0 102874 155 0 0 25 0 1 0 550393492 224608256 47673 4294967295 134512640 134672761 3221224624 3221223728 134559966 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54836 47673 603 41 0 54795 0
vsize: 219344
[startup+1040.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 62508 0 0 0 103873 155 0 0 25 0 1 0 550393492 225132544 47811 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 54964 47811 603 41 0 54923 0
vsize: 219856
[startup+1050.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 62655 0 0 0 104873 156 0 0 25 0 1 0 550393492 225738752 47958 4294967295 134512640 134672761 3221224624 3221223728 134559847 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 55112 47958 603 41 0 55071 0
vsize: 220448
[startup+1060.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 62794 0 0 0 105873 156 0 0 25 0 1 0 550393492 226328576 48097 4294967295 134512640 134672761 3221224624 3221223728 134559933 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 55256 48097 603 41 0 55215 0
vsize: 221024
[startup+1070.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 62926 0 0 0 106873 156 0 0 25 0 1 0 550393492 226779136 48229 4294967295 134512640 134672761 3221224624 3221223728 134559981 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 55366 48229 603 41 0 55325 0
vsize: 221464
[startup+1080.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 63069 0 0 0 107873 156 0 0 25 0 1 0 550393492 227336192 48372 4294967295 134512640 134672761 3221224624 3221223728 134560019 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 55502 48372 603 41 0 55461 0
vsize: 222008
[startup+1090.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 63222 0 0 0 108873 157 0 0 25 0 1 0 550393492 228052992 48525 4294967295 134512640 134672761 3221224624 3221223760 134560688 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 55677 48525 603 41 0 55636 0
vsize: 222708
[startup+1100.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 63332 0 0 0 109873 157 0 0 25 0 1 0 550393492 228503552 48635 4294967295 134512640 134672761 3221224624 3221223728 134560154 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 55787 48635 603 41 0 55746 0
vsize: 223148
[startup+1110.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 63470 0 0 0 110873 157 0 0 25 0 1 0 550393492 229081088 48773 4294967295 134512640 134672761 3221224624 3221223728 134559955 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 55928 48773 603 41 0 55887 0
vsize: 223712
[startup+1120.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 63577 0 0 0 111873 158 0 0 25 0 1 0 550393492 229490688 48880 4294967295 134512640 134672761 3221224624 3221223728 134559847 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 56028 48880 603 41 0 55987 0
vsize: 224112
[startup+1130.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 63702 0 0 0 112872 158 0 0 25 0 1 0 550393492 229949440 49005 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 56140 49005 603 41 0 56099 0
vsize: 224560
[startup+1140.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 63836 0 0 0 113872 158 0 0 25 0 1 0 550393492 230510592 49139 4294967295 134512640 134672761 3221224624 3221223728 134560158 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 56277 49139 603 41 0 56236 0
vsize: 225108
[startup+1150.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 63976 0 0 0 114872 159 0 0 25 0 1 0 550393492 231063552 49279 4294967295 134512640 134672761 3221224624 3221223728 134559890 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 56412 49279 603 41 0 56371 0
vsize: 225648
[startup+1160.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 64108 0 0 0 115872 159 0 0 25 0 1 0 550393492 231632896 49411 4294967295 134512640 134672761 3221224624 3221223808 134558930 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 56551 49411 603 41 0 56510 0
vsize: 226204
[startup+1170.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 64234 0 0 0 116872 159 0 0 25 0 1 0 550393492 232177664 49537 4294967295 134512640 134672761 3221224624 3221223728 134559862 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 56684 49537 603 41 0 56643 0
vsize: 226736
[startup+1180.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 64366 0 0 0 117872 159 0 0 25 0 1 0 550393492 232656896 49669 4294967295 134512640 134672761 3221224624 3221223728 134560237 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 56801 49669 603 41 0 56760 0
vsize: 227204
[startup+1190.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 64473 0 0 0 118872 160 0 0 25 0 1 0 550393492 233091072 49776 4294967295 134512640 134672761 3221224624 3221223728 134560054 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 56907 49776 603 41 0 56866 0
vsize: 227628
[startup+1200.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3635
Raw data (stat): 3635 (minisat+) R 3634 11931 11930 0 -1 0 64537 0 0 0 119872 160 0 0 25 0 1 0 550393492 233365504 49840 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 56974 49840 603 41 0 56933 0
vsize: 227896
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.31 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 3635
Raw data (stat): 3635 (minisat+) Z 3634 11931 11930 0 -1 12 64540 0 0 0 119873 170 0 0 25 0 1 0 550393492 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.31
CPU time (s): 1200.43
CPU user time (s): 1198.73
CPU system time (s): 1.70174
CPU usage (%): 100.01
Max. virtual memory (Kb): 227896
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####