Trace number 3493822

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 into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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 X seconds (see the parameters in the trace). 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 X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    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.
  5. 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 provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PicoMUS 941UNSAT 603.965 603.953

General information on the benchmark

NameSAT02/industrial/goldberg/rand_net/
rand_net40-30-5.shuffled.cnf
MD5SUM724dd7b562383dbe2ba9c79b64cddfd0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark68.6836
Satisfiable
(Un)Satisfiability was proved
Number of variables2400
Number of clauses7121
Sum of the clauses size16760
Maximum clause length40
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24640
Number of clauses of size 32480
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

Solver Data 

0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 2400 7121
3.99/4.03	s UNSATISFIABLE
3.99/4.07	c [picomus] extracted core 1 of size 6131 out of 7121 (86%) after 4.1 sec
6.49/6.56	c [picomus] extracted core 2 of size 5968 out of 7121 (84%) after 6.6 sec
11.79/11.82	c [picomus] extracted core 3 of size 5913 out of 7121 (83%) after 11.8 sec
15.49/15.54	c [picomus] extracted core 4 of size 5877 out of 7121 (83%) after 15.5 sec
17.99/18.02	c [picomus] extracted core 5 of size 5846 out of 7121 (82%) after 18.0 sec
19.49/19.58	c [picomus] extracted core 6 of size 5757 out of 7121 (81%) after 19.6 sec
21.69/21.78	c [picomus] extracted core 7 of size 5730 out of 7121 (80%) after 21.8 sec
23.39/23.43	c [picomus] extracted core 8 of size 5720 out of 7121 (80%) after 23.4 sec
26.09/26.16	c [picomus] extracted core 9 of size 5695 out of 7121 (80%) after 26.2 sec
28.70/28.70	c [picomus] extracted core 10 of size 5685 out of 7121 (80%) after 28.7 sec
29.99/30.06	c [picomus] extracted core 11 of size 5670 out of 7121 (80%) after 30.1 sec
32.19/32.23	c [picomus] extracted core 12 of size 5638 out of 7121 (79%) after 32.2 sec
34.49/34.56	c [picomus] extracted core 13 of size 5637 out of 7121 (79%) after 34.6 sec
36.59/36.66	c [picomus] extracted core 14 of size 5629 out of 7121 (79%) after 36.7 sec
38.60/38.67	c [picomus] extracted core 15 of size 5622 out of 7121 (79%) after 38.7 sec
39.99/40.06	c [picomus] extracted core 16 of size 5615 out of 7121 (79%) after 40.1 sec
54.90/54.91	c [picomus] reduction 1 to 5610 out of 7121 (79%) after 54.9 sec
74.20/74.24	c [picomus] reduction 2 to 5607 out of 7121 (79%) after 74.3 sec
82.40/82.43	c [picomus] reduction 3 to 5602 out of 7121 (79%) after 82.4 sec
113.49/113.53	c [picomus] reduction 4 to 5596 out of 7121 (79%) after 113.5 sec
119.09/119.18	c [picomus] reduction 5 to 5590 out of 7121 (79%) after 119.2 sec
120.49/120.52	c [picomus] reduction 6 to 5588 out of 7121 (78%) after 120.5 sec
122.00/122.03	c [picomus] reduction 7 to 5586 out of 7121 (78%) after 122.0 sec
136.19/136.25	c [picomus] reduction 8 to 5583 out of 7121 (78%) after 136.3 sec
141.49/141.52	c [picomus] reduction 9 to 5582 out of 7121 (78%) after 141.5 sec
143.09/143.12	c [picomus] reduction 10 to 5580 out of 7121 (78%) after 143.1 sec
146.59/146.61	c [picomus] reduction 11 to 5579 out of 7121 (78%) after 146.6 sec
150.30/150.32	c [picomus] reduction 12 to 5575 out of 7121 (78%) after 150.3 sec
151.90/151.97	c [picomus] reduction 13 to 5567 out of 7121 (78%) after 152.0 sec
156.40/156.46	c [picomus] reduction 14 to 5565 out of 7121 (78%) after 156.5 sec
156.90/156.95	c [picomus] reduction 15 to 5563 out of 7121 (78%) after 157.0 sec
157.60/157.68	c [picomus] reduction 16 to 5562 out of 7121 (78%) after 157.7 sec
160.80/160.80	c [picomus] reduction 17 to 5561 out of 7121 (78%) after 160.8 sec
165.60/165.67	c [picomus] reduction 18 to 5558 out of 7121 (78%) after 165.7 sec
167.80/167.80	c [picomus] reduction 19 to 5557 out of 7121 (78%) after 167.8 sec
171.90/171.93	c [picomus] reduction 20 to 5555 out of 7121 (78%) after 171.9 sec
176.90/176.93	c [picomus] reduction 21 to 5553 out of 7121 (78%) after 176.9 sec
178.20/178.23	c [picomus] reduction 22 to 5551 out of 7121 (78%) after 178.2 sec
181.41/181.40	c [picomus] reduction 23 to 5548 out of 7121 (78%) after 181.4 sec
183.80/183.82	c [picomus] reduction 24 to 5545 out of 7121 (78%) after 183.8 sec
184.40/184.41	c [picomus] reduction 25 to 5543 out of 7121 (78%) after 184.4 sec
185.40/185.43	c [picomus] reduction 26 to 5540 out of 7121 (78%) after 185.4 sec
185.60/185.64	c [picomus] reduction 27 to 5539 out of 7121 (78%) after 185.6 sec
191.40/191.41	c [picomus] reduction 28 to 5538 out of 7121 (78%) after 191.4 sec
193.20/193.25	c [picomus] reduction 29 to 5536 out of 7121 (78%) after 193.3 sec
198.30/198.32	c [picomus] reduction 30 to 5535 out of 7121 (78%) after 198.3 sec
201.50/201.57	c [picomus] reduction 31 to 5534 out of 7121 (78%) after 201.6 sec
206.30/206.38	c [picomus] reduction 32 to 5533 out of 7121 (78%) after 206.4 sec
211.90/211.92	c [picomus] reduction 33 to 5531 out of 7121 (78%) after 211.9 sec
217.30/217.36	c [picomus] reduction 34 to 5530 out of 7121 (78%) after 217.4 sec
223.21/223.26	c [picomus] reduction 35 to 5528 out of 7121 (78%) after 223.3 sec
227.10/227.14	c [picomus] reduction 36 to 5525 out of 7121 (78%) after 227.2 sec
227.90/227.92	c [picomus] reduction 37 to 5524 out of 7121 (78%) after 227.9 sec
234.31/234.34	c [picomus] reduction 38 to 5523 out of 7121 (78%) after 234.4 sec
238.30/238.33	c [picomus] reduction 39 to 5522 out of 7121 (78%) after 238.3 sec
242.70/242.78	c [picomus] reduction 40 to 5521 out of 7121 (78%) after 242.8 sec
244.90/244.96	c [picomus] reduction 41 to 5518 out of 7121 (77%) after 245.0 sec
247.00/247.06	c [picomus] reduction 42 to 5514 out of 7121 (77%) after 247.1 sec
248.90/248.92	c [picomus] reduction 43 to 5512 out of 7121 (77%) after 248.9 sec
251.60/251.64	c [picomus] reduction 44 to 5511 out of 7121 (77%) after 251.6 sec
253.10/253.14	c [picomus] reduction 45 to 5510 out of 7121 (77%) after 253.2 sec
255.80/255.86	c [picomus] reduction 46 to 5509 out of 7121 (77%) after 255.9 sec
256.80/256.86	c [picomus] reduction 47 to 5506 out of 7121 (77%) after 256.9 sec
258.60/258.67	c [picomus] reduction 48 to 5501 out of 7121 (77%) after 258.7 sec
259.51/259.60	c [picomus] reduction 49 to 5500 out of 7121 (77%) after 259.6 sec
260.10/260.12	c [picomus] reduction 50 to 5499 out of 7121 (77%) after 260.1 sec
261.00/261.06	c [picomus] reduction 51 to 5498 out of 7121 (77%) after 261.1 sec
266.21/266.27	c [picomus] reduction 52 to 5496 out of 7121 (77%) after 266.3 sec
268.31/268.40	c [picomus] reduction 53 to 5495 out of 7121 (77%) after 268.4 sec
269.90/269.91	c [picomus] reduction 54 to 5494 out of 7121 (77%) after 269.9 sec
273.81/273.85	c [picomus] reduction 55 to 5493 out of 7121 (77%) after 273.9 sec
276.80/276.81	c [picomus] reduction 56 to 5492 out of 7121 (77%) after 276.8 sec
278.60/278.69	c [picomus] reduction 57 to 5491 out of 7121 (77%) after 278.7 sec
279.00/279.07	c [picomus] reduction 58 to 5490 out of 7121 (77%) after 279.1 sec
280.10/280.16	c [picomus] reduction 59 to 5489 out of 7121 (77%) after 280.2 sec
282.10/282.11	c [picomus] reduction 60 to 5488 out of 7121 (77%) after 282.1 sec
282.50/282.52	c [picomus] reduction 61 to 5487 out of 7121 (77%) after 282.5 sec
287.80/287.89	c [picomus] reduction 62 to 5485 out of 7121 (77%) after 287.9 sec
290.00/290.03	c [picomus] reduction 63 to 5484 out of 7121 (77%) after 290.0 sec
292.51/292.56	c [picomus] reduction 64 to 5483 out of 7121 (77%) after 292.6 sec
292.70/292.78	c [picomus] reduction 65 to 5482 out of 7121 (77%) after 292.8 sec
296.10/296.10	c [picomus] reduction 66 to 5481 out of 7121 (77%) after 296.1 sec
296.30/296.33	c [picomus] reduction 67 to 5480 out of 7121 (77%) after 296.3 sec
296.70/296.70	c [picomus] reduction 68 to 5479 out of 7121 (77%) after 296.7 sec
300.21/300.23	c [picomus] reduction 69 to 5478 out of 7121 (77%) after 300.2 sec
300.60/300.69	c [picomus] reduction 70 to 5477 out of 7121 (77%) after 300.7 sec
305.60/305.65	c [picomus] reduction 71 to 5476 out of 7121 (77%) after 305.7 sec
310.00/310.04	c [picomus] reduction 72 to 5475 out of 7121 (77%) after 310.1 sec
318.30/318.39	c [picomus] reduction 73 to 5472 out of 7121 (77%) after 318.4 sec
324.30/324.36	c [picomus] reduction 74 to 5471 out of 7121 (77%) after 324.4 sec
326.80/326.86	c [picomus] reduction 75 to 5470 out of 7121 (77%) after 326.9 sec
334.20/334.29	c [picomus] reduction 76 to 5469 out of 7121 (77%) after 334.3 sec
338.71/338.79	c [picomus] reduction 77 to 5468 out of 7121 (77%) after 338.8 sec
340.60/340.62	c [picomus] reduction 78 to 5466 out of 7121 (77%) after 340.6 sec
346.30/346.37	c [picomus] reduction 79 to 5465 out of 7121 (77%) after 346.4 sec
351.60/351.61	c [picomus] reduction 80 to 5463 out of 7121 (77%) after 351.6 sec
355.00/355.06	c [picomus] reduction 81 to 5461 out of 7121 (77%) after 355.1 sec
357.41/357.47	c [picomus] reduction 82 to 5460 out of 7121 (77%) after 357.5 sec
362.50/362.51	c [picomus] reduction 83 to 5456 out of 7121 (77%) after 362.5 sec
364.01/364.07	c [picomus] reduction 84 to 5455 out of 7121 (77%) after 364.1 sec
366.80/366.86	c [picomus] reduction 85 to 5454 out of 7121 (77%) after 366.9 sec
371.71/371.77	c [picomus] reduction 86 to 5453 out of 7121 (77%) after 371.8 sec
372.81/372.87	c [picomus] reduction 87 to 5452 out of 7121 (77%) after 372.9 sec
375.40/375.48	c [picomus] reduction 88 to 5451 out of 7121 (77%) after 375.5 sec
377.60/377.64	c [picomus] reduction 89 to 5450 out of 7121 (77%) after 377.7 sec
380.00/380.03	c [picomus] reduction 90 to 5448 out of 7121 (77%) after 380.0 sec
381.40/381.44	c [picomus] reduction 91 to 5447 out of 7121 (76%) after 381.5 sec
389.20/389.27	c [picomus] reduction 92 to 5446 out of 7121 (76%) after 389.3 sec
391.00/391.09	c [picomus] reduction 93 to 5444 out of 7121 (76%) after 391.1 sec
394.10/394.17	c [picomus] reduction 94 to 5443 out of 7121 (76%) after 394.2 sec
395.10/395.16	c [picomus] reduction 95 to 5442 out of 7121 (76%) after 395.2 sec
396.70/396.74	c [picomus] reduction 96 to 5441 out of 7121 (76%) after 396.8 sec
399.21/399.28	c [picomus] reduction 97 to 5439 out of 7121 (76%) after 399.3 sec
399.80/399.82	c [picomus] reduction 98 to 5437 out of 7121 (76%) after 399.8 sec
402.80/402.80	c [picomus] reduction 99 to 5436 out of 7121 (76%) after 402.8 sec
411.80/411.82	c [picomus] reduction 100 to 5435 out of 7121 (76%) after 411.8 sec
420.21/420.24	c [picomus] reduction 101 to 5434 out of 7121 (76%) after 420.3 sec
423.51/423.54	c [picomus] reduction 102 to 5433 out of 7121 (76%) after 423.6 sec
426.20/426.20	c [picomus] reduction 103 to 5432 out of 7121 (76%) after 426.2 sec
430.11/430.16	c [picomus] reduction 104 to 5430 out of 7121 (76%) after 430.2 sec
434.41/434.45	c [picomus] reduction 105 to 5428 out of 7121 (76%) after 434.5 sec
438.81/438.85	c [picomus] reduction 106 to 5426 out of 7121 (76%) after 438.9 sec
439.91/439.94	c [picomus] reduction 107 to 5425 out of 7121 (76%) after 440.0 sec
443.21/443.27	c [picomus] reduction 108 to 5424 out of 7121 (76%) after 443.3 sec
445.70/445.79	c [picomus] reduction 109 to 5423 out of 7121 (76%) after 445.8 sec
447.90/447.94	c [picomus] reduction 110 to 5422 out of 7121 (76%) after 448.0 sec
449.30/449.31	c [picomus] reduction 111 to 5421 out of 7121 (76%) after 449.3 sec
454.00/454.08	c [picomus] reduction 112 to 5420 out of 7121 (76%) after 454.1 sec
455.10/455.19	c [picomus] reduction 113 to 5419 out of 7121 (76%) after 455.2 sec
456.41/456.41	c [picomus] reduction 114 to 5418 out of 7121 (76%) after 456.4 sec
461.00/461.03	c [picomus] reduction 115 to 5417 out of 7121 (76%) after 461.0 sec
463.30/463.33	c [picomus] reduction 116 to 5416 out of 7121 (76%) after 463.3 sec
464.60/464.62	c [picomus] reduction 117 to 5414 out of 7121 (76%) after 464.6 sec
466.41/466.42	c [picomus] reduction 118 to 5413 out of 7121 (76%) after 466.4 sec
467.10/467.18	c [picomus] reduction 119 to 5412 out of 7121 (76%) after 467.2 sec
468.10/468.16	c [picomus] reduction 120 to 5411 out of 7121 (76%) after 468.2 sec
469.71/469.71	c [picomus] reduction 121 to 5410 out of 7121 (76%) after 469.7 sec
471.50/471.55	c [picomus] reduction 122 to 5409 out of 7121 (76%) after 471.6 sec
473.30/473.33	c [picomus] reduction 123 to 5408 out of 7121 (76%) after 473.4 sec
478.00/478.05	c [picomus] reduction 124 to 5407 out of 7121 (76%) after 478.1 sec
486.70/486.74	c [picomus] reduction 125 to 5406 out of 7121 (76%) after 486.8 sec
489.20/489.23	c [picomus] reduction 126 to 5405 out of 7121 (76%) after 489.2 sec
491.50/491.59	c [picomus] reduction 127 to 5404 out of 7121 (76%) after 491.6 sec
493.30/493.34	c [picomus] reduction 128 to 5403 out of 7121 (76%) after 493.4 sec
499.60/499.64	c [picomus] reduction 129 to 5401 out of 7121 (76%) after 499.7 sec
500.51/500.52	c [picomus] reduction 130 to 5398 out of 7121 (76%) after 500.5 sec
504.91/504.97	c [picomus] reduction 131 to 5397 out of 7121 (76%) after 505.0 sec
510.70/510.73	c [picomus] reduction 132 to 5396 out of 7121 (76%) after 510.8 sec
514.00/514.04	c [picomus] reduction 133 to 5395 out of 7121 (76%) after 514.1 sec
514.50/514.54	c [picomus] reduction 134 to 5393 out of 7121 (76%) after 514.6 sec
516.40/516.49	c [picomus] reduction 135 to 5392 out of 7121 (76%) after 516.5 sec
517.10/517.17	c [picomus] reduction 136 to 5390 out of 7121 (76%) after 517.2 sec
518.11/518.13	c [picomus] reduction 137 to 5389 out of 7121 (76%) after 518.1 sec
522.90/522.91	c [picomus] reduction 138 to 5388 out of 7121 (76%) after 522.9 sec
525.00/525.06	c [picomus] reduction 139 to 5387 out of 7121 (76%) after 525.1 sec
527.50/527.58	c [picomus] reduction 140 to 5386 out of 7121 (76%) after 527.6 sec
529.60/529.67	c [picomus] reduction 141 to 5385 out of 7121 (76%) after 529.7 sec
531.31/531.35	c [picomus] reduction 142 to 5384 out of 7121 (76%) after 531.4 sec
532.70/532.78	c [picomus] reduction 143 to 5383 out of 7121 (76%) after 532.8 sec
534.70/534.78	c [picomus] reduction 144 to 5382 out of 7121 (76%) after 534.8 sec
539.90/539.97	c [picomus] reduction 145 to 5381 out of 7121 (76%) after 540.0 sec
541.50/541.56	c [picomus] reduction 146 to 5380 out of 7121 (76%) after 541.6 sec
545.30/545.34	c [picomus] reduction 147 to 5379 out of 7121 (76%) after 545.4 sec
547.40/547.43	c [picomus] reduction 148 to 5378 out of 7121 (76%) after 547.5 sec
551.01/551.04	c [picomus] reduction 149 to 5377 out of 7121 (76%) after 551.1 sec
557.61/557.65	c [picomus] reduction 150 to 5376 out of 7121 (75%) after 557.7 sec
560.70/560.73	c [picomus] reduction 151 to 5375 out of 7121 (75%) after 560.7 sec
563.70/563.77	c [picomus] reduction 152 to 5374 out of 7121 (75%) after 563.8 sec
565.80/565.86	c [picomus] reduction 153 to 5373 out of 7121 (75%) after 565.9 sec
566.10/566.13	c [picomus] reduction 154 to 5372 out of 7121 (75%) after 566.1 sec
567.70/567.70	c [picomus] reduction 155 to 5371 out of 7121 (75%) after 567.7 sec
573.30/573.36	c [picomus] reduction 156 to 5370 out of 7121 (75%) after 573.4 sec
575.10/575.10	c [picomus] reduction 157 to 5369 out of 7121 (75%) after 575.1 sec
576.20/576.21	c [picomus] reduction 158 to 5368 out of 7121 (75%) after 576.2 sec
578.51/578.59	c [picomus] reduction 159 to 5367 out of 7121 (75%) after 578.6 sec
580.10/580.17	c [picomus] reduction 160 to 5366 out of 7121 (75%) after 580.2 sec
582.20/582.24	c [picomus] reduction 161 to 5365 out of 7121 (75%) after 582.3 sec
582.80/582.86	c [picomus] reduction 162 to 5363 out of 7121 (75%) after 582.9 sec
585.11/585.16	c [picomus] reduction 163 to 5362 out of 7121 (75%) after 585.2 sec
586.31/586.34	c [picomus] reduction 164 to 5361 out of 7121 (75%) after 586.4 sec
588.51/588.55	c [picomus] reduction 165 to 5360 out of 7121 (75%) after 588.6 sec
589.10/589.11	c [picomus] reduction 166 to 5359 out of 7121 (75%) after 589.1 sec
592.91/592.98	c [picomus] reduction 167 to 5358 out of 7121 (75%) after 593.0 sec
593.20/593.27	c [picomus] reduction 168 to 5357 out of 7121 (75%) after 593.3 sec
594.20/594.27	c [picomus] reduction 169 to 5356 out of 7121 (75%) after 594.3 sec
595.30/595.38	c [picomus] reduction 170 to 5354 out of 7121 (75%) after 595.4 sec
599.00/599.08	c [picomus] reduction 171 to 5353 out of 7121 (75%) after 599.1 sec
599.70/599.75	c [picomus] reduction 172 to 5352 out of 7121 (75%) after 599.8 sec
601.10/601.14	c [picomus] reduction 173 to 5351 out of 7121 (75%) after 601.2 sec
601.50/601.59	c [picomus] reduction 174 to 5350 out of 7121 (75%) after 601.6 sec
602.10/602.14	c [picomus] reduction 175 to 5349 out of 7121 (75%) after 602.2 sec
603.21/603.23	c [picomus] reduction 176 to 5348 out of 7121 (75%) after 603.2 sec
603.92/603.92	c [picomus] reduction 177 to 5347 out of 7121 (75%) after 603.9 sec
603.92/603.94	c [picosat] 5525 calls
603.92/603.94	c [picosat] 0 iterations
603.92/603.94	c [picosat] 4264 restarts
603.92/603.94	c [picosat] 0 failed literals
603.92/603.94	c [picosat] 1149113 conflicts
603.92/603.94	c [picosat] 40342272 decisions
603.92/603.94	c [picosat] 5610 fixed variables
603.92/603.94	c [picosat] 1313947322 learned literals
603.92/603.94	c [picosat] 2.7% deleted literals
603.92/603.94	c [picosat] 421860971 propagations
603.92/603.94	c [picosat] 83.0% variables used
603.92/603.94	c [picosat] 559.0 seconds in library
603.92/603.94	c [picosat] 0.8 megaprops/second
603.92/603.94	c [picosat] probing 0.3 seconds 0%
603.92/603.94	c [picosat] 191 simplifications
603.92/603.94	c [picosat] 124 reductions
603.92/603.94	c [picosat] 933.1 MB recycled
603.92/603.94	c [picosat] 92.3 MB maximally allocated
603.92/603.94	c [picomus] found 1774 redundant clauses 25%
603.92/603.94	c [picomus] computed MUS of size 5347 out of 7121 (75%)
603.92/603.94	v 1
603.92/603.94	v 2
603.92/603.94	v 3
603.92/603.94	v 4
603.92/603.94	v 5
603.92/603.94	v 6
603.92/603.94	v 7
603.92/603.94	v 8
603.92/603.94	v 9
603.92/603.94	v 10
603.92/603.94	v 11
603.92/603.94	v 13
603.92/603.94	v 14
603.92/603.94	v 15
603.92/603.94	v 17
603.92/603.94	v 18
603.92/603.94	v 20
603.92/603.94	v 22
603.92/603.94	v 23
603.92/603.94	v 24
603.92/603.94	v 25
603.92/603.94	v 26
603.92/603.94	v 27
603.92/603.94	v 29
603.92/603.94	v 30
603.92/603.94	v 31
603.92/603.94	v 32
603.92/603.94	v 33
603.92/603.94	v 34
603.92/603.94	v 35
603.92/603.94	v 36
603.92/603.94	v 37
603.92/603.94	v 38
603.92/603.94	v 40
603.92/603.94	v 41
603.92/603.94	v 42
603.92/603.94	v 43
603.92/603.94	v 44
603.92/603.94	v 45
603.92/603.94	v 46
603.92/603.94	v 47
603.92/603.94	v 49
603.92/603.94	v 50
603.92/603.94	v 51
603.92/603.94	v 52
603.92/603.94	v 56
603.92/603.94	v 57
603.92/603.94	v 58
603.92/603.94	v 60
603.92/603.94	v 61
603.92/603.94	v 62
603.92/603.94	v 63
603.92/603.94	v 64
603.92/603.94	v 65
603.92/603.94	v 66
603.92/603.94	v 67
603.92/603.94	v 68
603.92/603.94	v 69
603.92/603.94	v 70
603.92/603.94	v 71
603.92/603.94	v 73
603.92/603.94	v 74
603.92/603.94	v 75
603.92/603.94	v 76
603.92/603.94	v 77
603.92/603.94	v 78
603.92/603.94	v 79
603.92/603.94	v 80
603.92/603.94	v 81
603.92/603.94	v 82
603.92/603.94	v 84
603.92/603.94	v 85
603.92/603.94	v 86
603.92/603.94	v 88
603.92/603.94	v 89
603.92/603.94	v 90
603.92/603.94	v 91
603.92/603.94	v 92
603.92/603.94	v 93
603.92/603.94	v 94
603.92/603.94	v 95
603.92/603.94	v 96
603.92/603.94	v 97
603.92/603.94	v 98
603.92/603.94	v 101
603.92/603.94	v 102
603.92/603.94	v 103
603.92/603.94	v 106
603.92/603.94	v 107
603.92/603.94	v 108
603.92/603.94	v 109
603.92/603.94	v 114
603.92/603.94	v 115
603.92/603.94	v 116
603.92/603.94	v 117
603.92/603.94	v 118
603.92/603.94	v 119
603.92/603.94	v 120
603.92/603.94	v 121
603.92/603.94	v 122
603.92/603.94	v 123
603.92/603.94	v 125
603.92/603.94	v 126
603.92/603.94	v 127
603.92/603.94	v 128
603.92/603.94	v 129
603.92/603.94	v 130
603.92/603.94	v 131
603.92/603.94	v 132
603.92/603.94	v 133
603.92/603.94	v 134
603.92/603.94	v 135
603.92/603.94	v 136
603.92/603.94	v 140
603.92/603.94	v 141
603.92/603.94	v 144
603.92/603.94	v 145
603.92/603.94	v 146
603.92/603.94	v 147
603.92/603.94	v 148
603.92/603.94	v 149
603.92/603.94	v 150
603.92/603.94	v 152
603.92/603.94	v 156
603.92/603.94	v 157
603.92/603.94	v 158
603.92/603.94	v 159
603.92/603.94	v 162
603.92/603.94	v 164
603.92/603.94	v 165
603.92/603.94	v 166
603.92/603.94	v 167
603.92/603.94	v 168
603.92/603.94	v 169
603.92/603.94	v 171
603.92/603.94	v 173
603.92/603.94	v 174
603.92/603.94	v 176
603.92/603.94	v 178
603.92/603.94	v 179
603.92/603.94	v 180
603.92/603.94	v 181
603.92/603.94	v 183
603.92/603.94	v 184
603.92/603.94	v 185
603.92/603.94	v 186
603.92/603.94	v 187
603.92/603.94	v 189
603.92/603.94	v 190
603.92/603.94	v 191
603.92/603.94	v 192
603.92/603.94	v 193
603.92/603.94	v 194
603.92/603.94	v 195
603.92/603.94	v 196
603.92/603.94	v 197
603.92/603.94	v 198
603.92/603.94	v 199
603.92/603.94	v 201
603.92/603.94	v 202
603.92/603.94	v 203
603.92/603.94	v 204
603.92/603.94	v 205
603.92/603.94	v 206
603.92/603.94	v 207
603.92/603.94	v 208
603.92/603.94	v 209
603.92/603.94	v 212
603.92/603.94	v 213
603.92/603.94	v 215
603.92/603.94	v 216
603.92/603.94	v 217
603.92/603.94	v 218
603.92/603.94	v 222
603.92/603.94	v 224
603.92/603.94	v 225
603.92/603.94	v 226
603.92/603.94	v 227
603.92/603.94	v 229
603.92/603.94	v 230
603.92/603.94	v 231
603.92/603.94	v 234
603.92/603.94	v 235
603.92/603.94	v 236
603.92/603.94	v 239
603.92/603.94	v 240
603.92/603.94	v 242
603.92/603.94	v 243
603.92/603.94	v 244
603.92/603.94	v 245
603.92/603.94	v 246
603.92/603.94	v 247
603.92/603.94	v 249
603.92/603.94	v 251
603.92/603.94	v 252
603.92/603.94	v 255
603.92/603.94	v 256
603.92/603.94	v 257
603.92/603.94	v 258
603.92/603.94	v 259
603.92/603.94	v 260
603.92/603.94	v 262
603.92/603.94	v 263
603.92/603.94	v 264
603.92/603.94	v 265
603.92/603.94	v 266
603.92/603.94	v 267
603.92/603.94	v 268
603.92/603.94	v 271
603.92/603.94	v 272
603.92/603.94	v 273
603.92/603.94	v 274
603.92/603.94	v 275
603.92/603.94	v 276
603.92/603.94	v 277
603.92/603.94	v 279
603.92/603.94	v 280
603.92/603.94	v 282
603.92/603.94	v 283
603.92/603.94	v 284
603.92/603.94	v 285
603.92/603.94	v 286
603.92/603.94	v 287
603.92/603.94	v 288
603.92/603.94	v 291
603.92/603.94	v 292
603.92/603.94	v 293
603.92/603.94	v 295
603.92/603.94	v 296
603.92/603.94	v 297
603.92/603.94	v 298
603.92/603.94	v 300
603.92/603.94	v 301
603.92/603.94	v 302
603.92/603.94	v 305
603.92/603.94	v 308
603.92/603.94	v 310
603.92/603.94	v 311
603.92/603.94	v 312
603.92/603.94	v 313
603.92/603.94	v 314
603.92/603.94	v 315
603.92/603.94	v 316
603.92/603.94	v 317
603.92/603.94	v 318
603.92/603.94	v 319
603.92/603.94	v 320
603.92/603.94	v 321
603.92/603.94	v 322
603.92/603.94	v 323
603.92/603.94	v 324
603.92/603.94	v 325
603.92/603.94	v 326
603.92/603.94	v 328
603.92/603.94	v 330
603.92/603.94	v 331
603.92/603.94	v 333
603.92/603.94	v 334
603.92/603.94	v 335
603.92/603.94	v 336
603.92/603.94	v 337
603.92/603.94	v 341
603.92/603.94	v 342
603.92/603.94	v 343
603.92/603.94	v 344
603.92/603.94	v 345
603.92/603.94	v 347
603.92/603.94	v 348
603.92/603.94	v 349
603.92/603.94	v 351
603.92/603.94	v 353
603.92/603.94	v 354
603.92/603.94	v 355
603.92/603.94	v 356
603.92/603.94	v 358
603.92/603.94	v 359
603.92/603.94	v 361
603.92/603.94	v 362
603.92/603.94	v 364
603.92/603.94	v 367
603.92/603.94	v 369
603.92/603.94	v 371
603.92/603.94	v 372
603.92/603.94	v 373
603.92/603.94	v 374
603.92/603.94	v 376
603.92/603.94	v 378
603.92/603.94	v 379
603.92/603.94	v 380
603.92/603.94	v 382
603.92/603.94	v 384
603.92/603.94	v 385
603.92/603.94	v 386
603.92/603.94	v 388
603.92/603.94	v 390
603.92/603.94	v 391
603.92/603.94	v 392
603.92/603.94	v 393
603.92/603.94	v 394
603.92/603.94	v 395
603.92/603.94	v 396
603.92/603.94	v 398
603.92/603.94	v 399
603.92/603.94	v 400
603.92/603.94	v 401
603.92/603.94	v 402
603.92/603.94	v 403
603.92/603.94	v 405
603.92/603.94	v 406
603.92/603.94	v 408
603.92/603.94	v 410
603.92/603.94	v 411
603.92/603.94	v 412
603.92/603.94	v 416
603.92/603.94	v 417
603.92/603.94	v 418
603.92/603.94	v 420
603.92/603.94	v 421
603.92/603.94	v 422
603.92/603.94	v 423
603.92/603.94	v 424
603.92/603.94	v 425
603.92/603.94	v 426
603.92/603.94	v 427
603.92/603.94	v 428
603.92/603.94	v 429
603.92/603.94	v 430
603.92/603.94	v 431
603.92/603.94	v 434
603.92/603.94	v 435
603.92/603.94	v 436
603.92/603.94	v 437
603.92/603.94	v 439
603.92/603.94	v 441
603.92/603.94	v 442
603.92/603.94	v 443
603.92/603.94	v 446
603.92/603.94	v 447
603.92/603.94	v 450
603.92/603.94	v 453
603.92/603.94	v 454
603.92/603.94	v 455
603.92/603.94	v 456
603.92/603.94	v 457
603.92/603.94	v 458
603.92/603.94	v 459
603.92/603.94	v 460
603.92/603.94	v 464
603.92/603.94	v 467
603.92/603.94	v 468
603.92/603.94	v 470
603.92/603.94	v 471
603.92/603.94	v 472
603.92/603.94	v 473
603.92/603.94	v 474
603.92/603.94	v 477
603.92/603.94	v 478
603.92/603.94	v 479
603.92/603.94	v 480
603.92/603.94	v 481
603.92/603.94	v 482
603.92/603.94	v 484
603.92/603.94	v 485
603.92/603.94	v 487
603.92/603.94	v 488
603.92/603.94	v 489
603.92/603.94	v 490
603.92/603.94	v 491
603.92/603.94	v 493
603.92/603.94	v 495
603.92/603.94	v 496
603.92/603.94	v 497
603.92/603.94	v 498
603.92/603.94	v 499
603.92/603.94	v 500
603.92/603.94	v 501
603.92/603.94	v 502
603.92/603.94	v 503
603.92/603.94	v 505
603.92/603.94	v 506
603.92/603.94	v 508
603.92/603.94	v 509
603.92/603.94	v 510
603.92/603.94	v 511
603.92/603.94	v 513
603.92/603.94	v 516
603.92/603.94	v 517
603.92/603.94	v 518
603.92/603.94	v 520
603.92/603.94	v 521
603.92/603.94	v 523
603.92/603.94	v 524
603.92/603.94	v 525
603.92/603.94	v 526
603.92/603.94	v 527
603.92/603.94	v 528
603.92/603.94	v 530
603.92/603.94	v 532
603.92/603.94	v 533
603.92/603.94	v 534
603.92/603.94	v 535
603.92/603.94	v 536
603.92/603.94	v 537
603.92/603.94	v 538
603.92/603.94	v 539
603.92/603.94	v 540
603.92/603.94	v 541
603.92/603.94	v 542
603.92/603.94	v 543
603.92/603.94	v 545
603.92/603.94	v 546
603.92/603.94	v 548
603.92/603.94	v 549
603.92/603.94	v 550
603.92/603.94	v 553
603.92/603.94	v 554
603.92/603.94	v 555
603.92/603.94	v 556
603.92/603.94	v 557
603.92/603.94	v 558
603.92/603.94	v 559
603.92/603.94	v 561
603.92/603.94	v 563
603.92/603.94	v 564
603.92/603.94	v 565
603.92/603.94	v 566
603.92/603.94	v 568
603.92/603.94	v 571
603.92/603.94	v 573
603.92/603.94	v 574
603.92/603.94	v 575
603.92/603.94	v 576
603.92/603.94	v 577
603.92/603.94	v 581
603.92/603.94	v 583
603.92/603.94	v 584
603.92/603.94	v 585
603.92/603.94	v 586
603.92/603.94	v 587
603.92/603.94	v 588
603.92/603.94	v 589
603.92/603.94	v 590
603.92/603.94	v 592
603.92/603.94	v 593
603.92/603.94	v 594
603.92/603.94	v 595
603.92/603.94	v 596
603.92/603.94	v 598
603.92/603.94	v 599
603.92/603.94	v 601
603.92/603.94	v 602
603.92/603.94	v 603
603.92/603.94	v 605
603.92/603.94	v 607
603.92/603.94	v 610
603.92/603.94	v 611
603.92/603.94	v 612
603.92/603.94	v 613
603.92/603.94	v 614
603.92/603.94	v 616
603.92/603.94	v 617
603.92/603.94	v 618
603.92/603.94	v 619
603.92/603.94	v 621
603.92/603.94	v 622
603.92/603.94	v 623
603.92/603.94	v 624
603.92/603.94	v 625
603.92/603.94	v 626
603.92/603.94	v 627
603.92/603.94	v 628
603.92/603.94	v 630
603.92/603.94	v 631
603.92/603.94	v 632
603.92/603.94	v 633
603.92/603.94	v 634
603.92/603.94	v 636
603.92/603.94	v 637
603.92/603.94	v 638
603.92/603.94	v 639
603.92/603.94	v 640
603.92/603.94	v 641
603.92/603.94	v 642
603.92/603.94	v 643
603.92/603.94	v 644
603.92/603.94	v 646
603.92/603.94	v 651
603.92/603.94	v 652
603.92/603.94	v 653
603.92/603.94	v 655
603.92/603.94	v 656
603.92/603.94	v 657
603.92/603.94	v 658
603.92/603.94	v 659
603.92/603.94	v 661
603.92/603.94	v 663
603.92/603.94	v 664
603.92/603.94	v 665
603.92/603.94	v 667
603.92/603.94	v 668
603.92/603.94	v 669
603.92/603.94	v 670
603.92/603.94	v 671
603.92/603.94	v 672
603.92/603.94	v 673
603.92/603.94	v 674
603.92/603.94	v 675
603.92/603.94	v 676
603.92/603.94	v 677
603.92/603.94	v 679
603.92/603.94	v 680
603.92/603.94	v 681
603.92/603.94	v 682
603.92/603.94	v 683
603.92/603.94	v 685
603.92/603.94	v 686
603.92/603.94	v 687
603.92/603.94	v 688
603.92/603.94	v 690
603.92/603.94	v 693
603.92/603.94	v 694
603.92/603.94	v 695
603.92/603.94	v 696
603.92/603.94	v 697
603.92/603.94	v 698
603.92/603.94	v 699
603.92/603.94	v 701
603.92/603.94	v 702
603.92/603.95	v 703
603.92/603.95	v 707
603.92/603.95	v 708
603.92/603.95	v 710
603.92/603.95	v 711
603.92/603.95	v 713
603.92/603.95	v 714
603.92/603.95	v 715
603.92/603.95	v 717
603.92/603.95	v 718
603.92/603.95	v 719
603.92/603.95	v 720
603.92/603.95	v 721
603.92/603.95	v 722
603.92/603.95	v 723
603.92/603.95	v 724
603.92/603.95	v 725
603.92/603.95	v 726
603.92/603.95	v 727
603.92/603.95	v 728
603.92/603.95	v 729
603.92/603.95	v 730
603.92/603.95	v 732
603.92/603.95	v 733
603.92/603.95	v 736
603.92/603.95	v 737
603.92/603.95	v 738
603.92/603.95	v 739
603.92/603.95	v 740
603.92/603.95	v 741
603.92/603.95	v 742
603.92/603.95	v 743
603.92/603.95	v 744
603.92/603.95	v 746
603.92/603.95	v 747
603.92/603.95	v 748
603.92/603.95	v 749
603.92/603.95	v 751
603.92/603.95	v 753
603.92/603.95	v 754
603.92/603.95	v 755
603.92/603.95	v 760
603.92/603.95	v 761
603.92/603.95	v 763
603.92/603.95	v 764
603.92/603.95	v 766
603.92/603.95	v 767
603.92/603.95	v 768
603.92/603.95	v 769
603.92/603.95	v 772
603.92/603.95	v 773
603.92/603.95	v 774
603.92/603.95	v 777
603.92/603.95	v 778
603.92/603.95	v 779
603.92/603.95	v 781
603.92/603.95	v 782
603.92/603.95	v 783
603.92/603.95	v 785
603.92/603.95	v 786
603.92/603.95	v 787
603.92/603.95	v 788
603.92/603.95	v 789
603.92/603.95	v 792
603.92/603.95	v 793
603.92/603.95	v 794
603.92/603.95	v 795
603.92/603.95	v 796
603.92/603.95	v 797
603.92/603.95	v 798
603.92/603.95	v 800
603.92/603.95	v 801
603.92/603.95	v 802
603.92/603.95	v 803
603.92/603.95	v 804
603.92/603.95	v 805
603.92/603.95	v 806
603.92/603.95	v 808
603.92/603.95	v 809
603.92/603.95	v 810
603.92/603.95	v 811
603.92/603.95	v 812
603.92/603.95	v 814
603.92/603.95	v 815
603.92/603.95	v 816
603.92/603.95	v 817
603.92/603.95	v 818
603.92/603.95	v 821
603.92/603.95	v 822
603.92/603.95	v 824
603.92/603.95	v 825
603.92/603.95	v 826
603.92/603.95	v 827
603.92/603.95	v 829
603.92/603.95	v 830
603.92/603.95	v 831
603.92/603.95	v 832
603.92/603.95	v 833
603.92/603.95	v 837
603.92/603.95	v 838
603.92/603.95	v 839
603.92/603.95	v 840
603.92/603.95	v 841
603.92/603.95	v 842
603.92/603.95	v 844
603.92/603.95	v 845
603.92/603.95	v 847
603.92/603.95	v 849
603.92/603.95	v 851
603.92/603.95	v 852
603.92/603.95	v 853
603.92/603.95	v 856
603.92/603.95	v 857
603.92/603.95	v 859
603.92/603.95	v 860
603.92/603.95	v 862
603.92/603.95	v 864
603.92/603.95	v 865
603.92/603.95	v 866
603.92/603.95	v 867
603.92/603.95	v 869
603.92/603.95	v 870
603.92/603.95	v 873
603.92/603.95	v 874
603.92/603.95	v 875
603.92/603.95	v 876
603.92/603.95	v 877
603.92/603.95	v 878
603.92/603.95	v 879
603.92/603.95	v 880
603.92/603.95	v 881
603.92/603.95	v 882
603.92/603.95	v 883
603.92/603.95	v 884
603.92/603.95	v 885
603.92/603.95	v 886
603.92/603.95	v 887
603.92/603.95	v 888
603.92/603.95	v 891
603.92/603.95	v 892
603.92/603.95	v 894
603.92/603.95	v 895
603.92/603.95	v 896
603.92/603.95	v 897
603.92/603.95	v 898
603.92/603.95	v 899
603.92/603.95	v 900
603.92/603.95	v 902
603.92/603.95	v 903
603.92/603.95	v 904
603.92/603.95	v 905
603.92/603.95	v 906
603.92/603.95	v 907
603.92/603.95	v 908
603.92/603.95	v 909
603.92/603.95	v 910
603.92/603.95	v 912
603.92/603.95	v 913
603.92/603.95	v 914
603.92/603.95	v 915
603.92/603.95	v 916
603.92/603.95	v 917
603.92/603.95	v 918
603.92/603.95	v 919
603.92/603.95	v 925
603.92/603.95	v 926
603.92/603.95	v 929
603.92/603.95	v 930
603.92/603.95	v 932
603.92/603.95	v 933
603.92/603.95	v 934
603.92/603.95	v 935
603.92/603.95	v 936
603.92/603.95	v 938
603.92/603.95	v 939
603.92/603.95	v 940
603.92/603.95	v 941
603.92/603.95	v 942
603.92/603.95	v 944
603.92/603.95	v 945
603.92/603.95	v 946
603.92/603.95	v 947
603.92/603.95	v 948
603.92/603.95	v 949
603.92/603.95	v 950
603.92/603.95	v 951
603.92/603.95	v 952
603.92/603.95	v 953
603.92/603.95	v 956
603.92/603.95	v 957
603.92/603.95	v 959
603.92/603.95	v 960
603.92/603.95	v 961
603.92/603.95	v 962
603.92/603.95	v 963
603.92/603.95	v 964
603.92/603.95	v 965
603.92/603.95	v 966
603.92/603.95	v 967
603.92/603.95	v 968
603.92/603.95	v 969
603.92/603.95	v 970
603.92/603.95	v 971
603.92/603.95	v 973
603.92/603.95	v 974
603.92/603.95	v 975
603.92/603.95	v 976
603.92/603.95	v 978
603.92/603.95	v 979
603.92/603.95	v 982
603.92/603.95	v 983
603.92/603.95	v 984
603.92/603.95	v 985
603.92/603.95	v 987
603.92/603.95	v 988
603.92/603.95	v 990
603.92/603.95	v 992
603.92/603.95	v 993
603.92/603.95	v 996
603.92/603.95	v 997
603.92/603.95	v 1000
603.92/603.95	v 1001
603.92/603.95	v 1006
603.92/603.95	v 1007
603.92/603.95	v 1008
603.92/603.95	v 1009
603.92/603.95	v 1011
603.92/603.95	v 1012
603.92/603.95	v 1013
603.92/603.95	v 1014
603.92/603.95	v 1015
603.92/603.95	v 1016
603.92/603.95	v 1018
603.92/603.95	v 1019
603.92/603.95	v 1021
603.92/603.95	v 1022
603.92/603.95	v 1023
603.92/603.95	v 1024
603.92/603.95	v 1025
603.92/603.95	v 1028
603.92/603.95	v 1029
603.92/603.95	v 1031
603.92/603.95	v 1032
603.92/603.95	v 1033
603.92/603.95	v 1034
603.92/603.95	v 1035
603.92/603.95	v 1036
603.92/603.95	v 1037
603.92/603.95	v 1038
603.92/603.95	v 1039
603.92/603.95	v 1040
603.92/603.95	v 1041
603.92/603.95	v 1042
603.92/603.95	v 1043
603.92/603.95	v 1044
603.92/603.95	v 1045
603.92/603.95	v 1046
603.92/603.95	v 1047
603.92/603.95	v 1048
603.92/603.95	v 1049
603.92/603.95	v 1050
603.92/603.95	v 1051
603.92/603.95	v 1053
603.92/603.95	v 1054
603.92/603.95	v 1055
603.92/603.95	v 1057
603.92/603.95	v 1058
603.92/603.95	v 1059
603.92/603.95	v 1060
603.92/603.95	v 1062
603.92/603.95	v 1063
603.92/603.95	v 1064
603.92/603.95	v 1065
603.92/603.95	v 1066
603.92/603.95	v 1067
603.92/603.95	v 1068
603.92/603.95	v 1069
603.92/603.95	v 1072
603.92/603.95	v 1073
603.92/603.95	v 1074
603.92/603.95	v 1075
603.92/603.95	v 1076
603.92/603.95	v 1078
603.92/603.95	v 1079
603.92/603.95	v 1080
603.92/603.95	v 1082
603.92/603.95	v 1083
603.92/603.95	v 1084
603.92/603.95	v 1086
603.92/603.95	v 1088
603.92/603.95	v 1089
603.92/603.95	v 1090
603.92/603.95	v 1091
603.92/603.95	v 1093
603.92/603.95	v 1094
603.92/603.95	v 1097
603.92/603.95	v 1098
603.92/603.95	v 1099
603.92/603.95	v 1101
603.92/603.95	v 1102
603.92/603.95	v 1103
603.92/603.95	v 1104
603.92/603.95	v 1107
603.92/603.95	v 1108
603.92/603.95	v 1109
603.92/603.95	v 1110
603.92/603.95	v 1111
603.92/603.95	v 1112
603.92/603.95	v 1115
603.92/603.95	v 1116
603.92/603.95	v 1117
603.92/603.95	v 1118
603.92/603.95	v 1120
603.92/603.95	v 1122
603.92/603.95	v 1125
603.92/603.95	v 1126
603.92/603.95	v 1127
603.92/603.95	v 1128
603.92/603.95	v 1129
603.92/603.95	v 1130
603.92/603.95	v 1131
603.92/603.95	v 1133
603.92/603.95	v 1134
603.92/603.95	v 1136
603.92/603.95	v 1137
603.92/603.95	v 1140
603.92/603.95	v 1141
603.92/603.95	v 1143
603.92/603.95	v 1144
603.92/603.95	v 1145
603.92/603.95	v 1147
603.92/603.95	v 1148
603.92/603.95	v 1150
603.92/603.95	v 1151
603.92/603.95	v 1152
603.92/603.95	v 1154
603.92/603.95	v 1155
603.92/603.95	v 1156
603.92/603.95	v 1158
603.92/603.95	v 1159
603.92/603.95	v 1160
603.92/603.95	v 1161
603.92/603.95	v 1162
603.92/603.95	v 1163
603.92/603.95	v 1166
603.92/603.95	v 1167
603.92/603.95	v 1168
603.92/603.95	v 1169
603.92/603.95	v 1170
603.92/603.95	v 1171
603.92/603.95	v 1172
603.92/603.95	v 1173
603.92/603.95	v 1174
603.92/603.95	v 1175
603.92/603.95	v 1176
603.92/603.95	v 1177
603.92/603.95	v 1180
603.92/603.95	v 1181
603.92/603.95	v 1182
603.92/603.95	v 1183
603.92/603.95	v 1184
603.92/603.95	v 1185
603.92/603.95	v 1186
603.92/603.95	v 1190
603.92/603.95	v 1191
603.92/603.95	v 1192
603.92/603.95	v 1194
603.92/603.95	v 1195
603.92/603.95	v 1196
603.92/603.95	v 1197
603.92/603.95	v 1198
603.92/603.95	v 1199
603.92/603.95	v 1200
603.92/603.95	v 1201
603.92/603.95	v 1202
603.92/603.95	v 1203
603.92/603.95	v 1204
603.92/603.95	v 1205
603.92/603.95	v 1206
603.92/603.95	v 1207
603.92/603.95	v 1208
603.92/603.95	v 1209
603.92/603.95	v 1210
603.92/603.95	v 1211
603.92/603.95	v 1212
603.92/603.95	v 1213
603.92/603.95	v 1215
603.92/603.95	v 1216
603.92/603.95	v 1217
603.92/603.95	v 1218
603.92/603.95	v 1219
603.92/603.95	v 1220
603.92/603.95	v 1221
603.92/603.95	v 1222
603.92/603.95	v 1224
603.92/603.95	v 1225
603.92/603.95	v 1226
603.92/603.95	v 1228
603.92/603.95	v 1229
603.92/603.95	v 1230
603.92/603.95	v 1232
603.92/603.95	v 1233
603.92/603.95	v 1234
603.92/603.95	v 1235
603.92/603.95	v 1236
603.92/603.95	v 1237
603.92/603.95	v 1238
603.92/603.95	v 1240
603.92/603.95	v 1241
603.92/603.95	v 1242
603.92/603.95	v 1243
603.92/603.95	v 1245
603.92/603.95	v 1246
603.92/603.95	v 1247
603.92/603.95	v 1248
603.92/603.95	v 1249
603.92/603.95	v 1250
603.92/603.95	v 1251
603.92/603.95	v 1252
603.92/603.95	v 1253
603.92/603.95	v 1254
603.92/603.95	v 1255
603.92/603.95	v 1256
603.92/603.95	v 1257
603.92/603.95	v 1258
603.92/603.95	v 1259
603.92/603.95	v 1260
603.92/603.95	v 1261
603.92/603.95	v 1264
603.92/603.95	v 1265
603.92/603.95	v 1266
603.92/603.95	v 1267
603.92/603.95	v 1268
603.92/603.95	v 1269
603.92/603.95	v 1270
603.92/603.95	v 1271
603.92/603.95	v 1272
603.92/603.95	v 1273
603.92/603.95	v 1275
603.92/603.95	v 1277
603.92/603.95	v 1278
603.92/603.95	v 1279
603.92/603.95	v 1280
603.92/603.95	v 1281
603.92/603.95	v 1283
603.92/603.95	v 1284
603.92/603.95	v 1286
603.92/603.95	v 1287
603.92/603.95	v 1288
603.92/603.95	v 1289
603.92/603.95	v 1292
603.92/603.95	v 1293
603.92/603.95	v 1295
603.92/603.95	v 1296
603.92/603.95	v 1297
603.92/603.95	v 1298
603.92/603.95	v 1300
603.92/603.95	v 1301
603.92/603.95	v 1302
603.92/603.95	v 1303
603.92/603.95	v 1304
603.92/603.95	v 1305
603.92/603.95	v 1307
603.92/603.95	v 1309
603.92/603.95	v 1310
603.92/603.95	v 1312
603.92/603.95	v 1313
603.92/603.95	v 1314
603.92/603.95	v 1315
603.92/603.95	v 1317
603.92/603.95	v 1318
603.92/603.95	v 1321
603.92/603.95	v 1322
603.92/603.95	v 1326
603.92/603.95	v 1327
603.92/603.95	v 1328
603.92/603.95	v 1329
603.92/603.95	v 1330
603.92/603.95	v 1331
603.92/603.95	v 1332
603.92/603.95	v 1333
603.92/603.95	v 1334
603.92/603.95	v 1335
603.92/603.95	v 1336
603.92/603.95	v 1337
603.92/603.95	v 1338
603.92/603.95	v 1341
603.92/603.95	v 1342
603.92/603.95	v 1343
603.92/603.95	v 1345
603.92/603.95	v 1346
603.92/603.95	v 1347
603.92/603.95	v 1350
603.92/603.95	v 1351
603.92/603.95	v 1352
603.92/603.95	v 1353
603.92/603.95	v 1354
603.92/603.95	v 1358
603.92/603.95	v 1359
603.92/603.95	v 1360
603.92/603.95	v 1361
603.92/603.95	v 1362
603.92/603.95	v 1363
603.92/603.95	v 1365
603.92/603.95	v 1366
603.92/603.95	v 1367
603.92/603.95	v 1368
603.92/603.95	v 1369
603.92/603.95	v 1370
603.92/603.95	v 1372
603.92/603.95	v 1373
603.92/603.95	v 1374
603.92/603.95	v 1376
603.92/603.95	v 1377
603.92/603.95	v 1379
603.92/603.95	v 1380
603.92/603.95	v 1381
603.92/603.95	v 1382
603.92/603.95	v 1385
603.92/603.95	v 1386
603.92/603.95	v 1388
603.92/603.95	v 1390
603.92/603.95	v 1391
603.92/603.95	v 1392
603.92/603.95	v 1393
603.92/603.95	v 1395
603.92/603.95	v 1399
603.92/603.95	v 1401
603.92/603.95	v 1403
603.92/603.95	v 1404
603.92/603.95	v 1405
603.92/603.95	v 1406
603.92/603.95	v 1407
603.92/603.95	v 1408
603.92/603.95	v 1409
603.92/603.95	v 1410
603.92/603.95	v 1411
603.92/603.95	v 1412
603.92/603.95	v 1413
603.92/603.95	v 1414
603.92/603.95	v 1416
603.92/603.95	v 1417
603.92/603.95	v 1418
603.92/603.95	v 1419
603.92/603.95	v 1420
603.92/603.95	v 1422
603.92/603.95	v 1423
603.92/603.95	v 1425
603.92/603.95	v 1426
603.92/603.95	v 1427
603.92/603.95	v 1428
603.92/603.95	v 1429
603.92/603.95	v 1432
603.92/603.95	v 1433
603.92/603.95	v 1434
603.92/603.95	v 1435
603.92/603.95	v 1436
603.92/603.95	v 1437
603.92/603.95	v 1438
603.92/603.95	v 1439
603.92/603.95	v 1440
603.92/603.95	v 1441
603.92/603.95	v 1443
603.92/603.95	v 1444
603.92/603.95	v 1445
603.92/603.95	v 1447
603.92/603.95	v 1448
603.92/603.95	v 1449
603.92/603.95	v 1452
603.92/603.95	v 1454
603.92/603.95	v 1458
603.92/603.95	v 1460
603.92/603.95	v 1461
603.92/603.95	v 1462
603.92/603.95	v 1463
603.92/603.95	v 1466
603.92/603.95	v 1467
603.92/603.95	v 1468
603.92/603.95	v 1469
603.92/603.95	v 1470
603.92/603.95	v 1471
603.92/603.95	v 1474
603.92/603.95	v 1475
603.92/603.95	v 1477
603.92/603.95	v 1479
603.92/603.95	v 1481
603.92/603.95	v 1482
603.92/603.95	v 1484
603.92/603.95	v 1485
603.92/603.95	v 1486
603.92/603.95	v 1487
603.92/603.95	v 1488
603.92/603.95	v 1489
603.92/603.95	v 1490
603.92/603.95	v 1491
603.92/603.95	v 1492
603.92/603.95	v 1493
603.92/603.95	v 1496
603.92/603.95	v 1497
603.92/603.95	v 1498
603.92/603.95	v 1500
603.92/603.95	v 1501
603.92/603.95	v 1502
603.92/603.95	v 1503
603.92/603.95	v 1504
603.92/603.95	v 1505
603.92/603.95	v 1506
603.92/603.95	v 1507
603.92/603.95	v 1508
603.92/603.95	v 1509
603.92/603.95	v 1510
603.92/603.95	v 1512
603.92/603.95	v 1513
603.92/603.95	v 1514
603.92/603.95	v 1515
603.92/603.95	v 1516
603.92/603.95	v 1517
603.92/603.95	v 1518
603.92/603.95	v 1519
603.92/603.95	v 1522
603.92/603.95	v 1524
603.92/603.95	v 1525
603.92/603.95	v 1526
603.92/603.95	v 1527
603.92/603.95	v 1529
603.92/603.95	v 1530
603.92/603.95	v 1532
603.92/603.95	v 1534
603.92/603.95	v 1535
603.92/603.95	v 1538
603.92/603.95	v 1539
603.92/603.95	v 1540
603.92/603.95	v 1541
603.92/603.95	v 1542
603.92/603.95	v 1544
603.92/603.95	v 1545
603.92/603.95	v 1546
603.92/603.95	v 1547
603.92/603.95	v 1548
603.92/603.95	v 1549
603.92/603.95	v 1550
603.92/603.95	v 1551
603.92/603.95	v 1552
603.92/603.95	v 1554
603.92/603.95	v 1555
603.92/603.95	v 1556
603.92/603.95	v 1557
603.92/603.95	v 1558
603.92/603.95	v 1559
603.92/603.95	v 1560
603.92/603.95	v 1561
603.92/603.95	v 1562
603.92/603.95	v 1565
603.92/603.95	v 1566
603.92/603.95	v 1569
603.92/603.95	v 1570
603.92/603.95	v 1571
603.92/603.95	v 1572
603.92/603.95	v 1575
603.92/603.95	v 1576
603.92/603.95	v 1577
603.92/603.95	v 1579
603.92/603.95	v 1580
603.92/603.95	v 1581
603.92/603.95	v 1582
603.92/603.95	v 1583
603.92/603.95	v 1585
603.92/603.95	v 1586
603.92/603.95	v 1587
603.92/603.95	v 1590
603.92/603.95	v 1591
603.92/603.95	v 1592
603.92/603.95	v 1593
603.92/603.95	v 1594
603.92/603.95	v 1595
603.92/603.95	v 1596
603.92/603.95	v 1597
603.92/603.95	v 1598
603.92/603.95	v 1599
603.92/603.95	v 1601
603.92/603.95	v 1602
603.92/603.95	v 1603
603.92/603.95	v 1606
603.92/603.95	v 1607
603.92/603.95	v 1608
603.92/603.95	v 1609
603.92/603.95	v 1610
603.92/603.95	v 1611
603.92/603.95	v 1612
603.92/603.95	v 1613
603.92/603.95	v 1614
603.92/603.95	v 1616
603.92/603.95	v 1617
603.92/603.95	v 1618
603.92/603.95	v 1620
603.92/603.95	v 1621
603.92/603.95	v 1622
603.92/603.95	v 1623
603.92/603.95	v 1624
603.92/603.95	v 1626
603.92/603.95	v 1627
603.92/603.95	v 1628
603.92/603.95	v 1629
603.92/603.95	v 1630
603.92/603.95	v 1631
603.92/603.95	v 1632
603.92/603.95	v 1633
603.92/603.95	v 1634
603.92/603.95	v 1636
603.92/603.95	v 1637
603.92/603.95	v 1638
603.92/603.95	v 1641
603.92/603.95	v 1642
603.92/603.95	v 1643
603.92/603.95	v 1644
603.92/603.95	v 1645
603.92/603.95	v 1646
603.92/603.95	v 1647
603.92/603.95	v 1648
603.92/603.95	v 1649
603.92/603.95	v 1650
603.92/603.95	v 1651
603.92/603.95	v 1652
603.92/603.95	v 1653
603.92/603.95	v 1655
603.92/603.95	v 1657
603.92/603.95	v 1658
603.92/603.95	v 1659
603.92/603.95	v 1662
603.92/603.95	v 1663
603.92/603.95	v 1664
603.92/603.95	v 1665
603.92/603.95	v 1667
603.92/603.95	v 1668
603.92/603.95	v 1669
603.92/603.95	v 1671
603.92/603.95	v 1673
603.92/603.95	v 1674
603.92/603.95	v 1675
603.92/603.95	v 1676
603.92/603.95	v 1677
603.92/603.95	v 1678
603.92/603.95	v 1679
603.92/603.95	v 1680
603.92/603.95	v 1681
603.92/603.95	v 1683
603.92/603.95	v 1684
603.92/603.95	v 1685
603.92/603.95	v 1686
603.92/603.95	v 1687
603.92/603.95	v 1688
603.92/603.95	v 1689
603.92/603.95	v 1690
603.92/603.95	v 1691
603.92/603.95	v 1693
603.92/603.95	v 1694
603.92/603.95	v 1695
603.92/603.95	v 1696
603.92/603.95	v 1697
603.92/603.95	v 1698
603.92/603.95	v 1699
603.92/603.95	v 1700
603.92/603.95	v 1701
603.92/603.95	v 1703
603.92/603.95	v 1704
603.92/603.95	v 1705
603.92/603.95	v 1707
603.92/603.95	v 1708
603.92/603.95	v 1709
603.92/603.95	v 1711
603.92/603.95	v 1715
603.92/603.95	v 1716
603.92/603.95	v 1717
603.92/603.95	v 1718
603.92/603.95	v 1719
603.92/603.95	v 1721
603.92/603.95	v 1726
603.92/603.95	v 1727
603.92/603.95	v 1728
603.92/603.95	v 1729
603.92/603.95	v 1730
603.92/603.95	v 1731
603.92/603.95	v 1732
603.92/603.95	v 1734
603.92/603.95	v 1735
603.92/603.95	v 1737
603.92/603.95	v 1738
603.92/603.95	v 1739
603.92/603.95	v 1740
603.92/603.95	v 1741
603.92/603.95	v 1745
603.92/603.95	v 1746
603.92/603.95	v 1747
603.92/603.95	v 1748
603.92/603.95	v 1749
603.92/603.95	v 1751
603.92/603.95	v 1754
603.92/603.95	v 1758
603.92/603.95	v 1759
603.92/603.95	v 1761
603.92/603.95	v 1762
603.92/603.95	v 1764
603.92/603.95	v 1765
603.92/603.95	v 1769
603.92/603.95	v 1771
603.92/603.95	v 1772
603.92/603.95	v 1773
603.92/603.95	v 1774
603.92/603.95	v 1775
603.92/603.95	v 1776
603.92/603.95	v 1777
603.92/603.95	v 1779
603.92/603.95	v 1780
603.92/603.95	v 1781
603.92/603.95	v 1782
603.92/603.95	v 1783
603.92/603.95	v 1784
603.92/603.95	v 1786
603.92/603.95	v 1787
603.92/603.95	v 1790
603.92/603.95	v 1793
603.92/603.95	v 1795
603.92/603.95	v 1796
603.92/603.95	v 1797
603.92/603.95	v 1798
603.92/603.95	v 1799
603.92/603.95	v 1802
603.92/603.95	v 1805
603.92/603.95	v 1806
603.92/603.95	v 1807
603.92/603.95	v 1809
603.92/603.95	v 1812
603.92/603.95	v 1817
603.92/603.95	v 1818
603.92/603.95	v 1819
603.92/603.95	v 1820
603.92/603.95	v 1821
603.92/603.95	v 1822
603.92/603.95	v 1823
603.92/603.95	v 1824
603.92/603.95	v 1825
603.92/603.95	v 1826
603.92/603.95	v 1828
603.92/603.95	v 1829
603.92/603.95	v 1830
603.92/603.95	v 1831
603.92/603.95	v 1832
603.92/603.95	v 1833
603.92/603.95	v 1834
603.92/603.95	v 1835
603.92/603.95	v 1836
603.92/603.95	v 1837
603.92/603.95	v 1838
603.92/603.95	v 1843
603.92/603.95	v 1844
603.92/603.95	v 1845
603.92/603.95	v 1846
603.92/603.95	v 1847
603.92/603.95	v 1848
603.92/603.95	v 1849
603.92/603.95	v 1850
603.92/603.95	v 1851
603.92/603.95	v 1852
603.92/603.95	v 1853
603.92/603.95	v 1854
603.92/603.95	v 1855
603.92/603.95	v 1856
603.92/603.95	v 1857
603.92/603.95	v 1858
603.92/603.95	v 1859
603.92/603.95	v 1860
603.92/603.95	v 1861
603.92/603.95	v 1862
603.92/603.95	v 1864
603.92/603.95	v 1865
603.92/603.95	v 1866
603.92/603.95	v 1867
603.92/603.95	v 1868
603.92/603.95	v 1870
603.92/603.95	v 1871
603.92/603.95	v 1872
603.92/603.95	v 1874
603.92/603.95	v 1876
603.92/603.95	v 1877
603.92/603.95	v 1878
603.92/603.95	v 1880
603.92/603.95	v 1881
603.92/603.95	v 1883
603.92/603.95	v 1884
603.92/603.95	v 1885
603.92/603.95	v 1886
603.92/603.95	v 1887
603.92/603.95	v 1888
603.92/603.95	v 1889
603.92/603.95	v 1890
603.92/603.95	v 1892
603.92/603.95	v 1895
603.92/603.95	v 1896
603.92/603.95	v 1897
603.92/603.95	v 1898
603.92/603.95	v 1899
603.92/603.95	v 1900
603.92/603.95	v 1902
603.92/603.95	v 1903
603.92/603.95	v 1906
603.92/603.95	v 1907
603.92/603.95	v 1908
603.92/603.95	v 1909
603.92/603.95	v 1910
603.92/603.95	v 1912
603.92/603.95	v 1913
603.92/603.95	v 1914
603.92/603.95	v 1915
603.92/603.95	v 1916
603.92/603.95	v 1918
603.92/603.95	v 1919
603.92/603.95	v 1920
603.92/603.95	v 1921
603.92/603.95	v 1922
603.92/603.95	v 1923
603.92/603.95	v 1925
603.92/603.95	v 1926
603.92/603.95	v 1927
603.92/603.95	v 1931
603.92/603.95	v 1932
603.92/603.95	v 1933
603.92/603.95	v 1934
603.92/603.95	v 1935
603.92/603.95	v 1937
603.92/603.95	v 1938
603.92/603.95	v 1939
603.92/603.95	v 1940
603.92/603.95	v 1941
603.92/603.95	v 1942
603.92/603.95	v 1944
603.92/603.95	v 1945
603.92/603.95	v 1946
603.92/603.95	v 1947
603.92/603.95	v 1948
603.92/603.95	v 1949
603.92/603.95	v 1950
603.92/603.95	v 1952
603.92/603.95	v 1954
603.92/603.95	v 1956
603.92/603.95	v 1957
603.92/603.95	v 1959
603.92/603.95	v 1960
603.92/603.95	v 1961
603.92/603.95	v 1962
603.92/603.95	v 1963
603.92/603.95	v 1964
603.92/603.95	v 1965
603.92/603.95	v 1966
603.92/603.95	v 1967
603.92/603.95	v 1969
603.92/603.95	v 1970
603.92/603.95	v 1971
603.92/603.95	v 1972
603.92/603.95	v 1973
603.92/603.95	v 1974
603.92/603.95	v 1976
603.92/603.95	v 1977
603.92/603.95	v 1978
603.92/603.95	v 1979
603.92/603.95	v 1982
603.92/603.95	v 1984
603.92/603.95	v 1986
603.92/603.95	v 1987
603.92/603.95	v 1988
603.92/603.95	v 1989
603.92/603.95	v 1990
603.92/603.95	v 1992
603.92/603.95	v 1993
603.92/603.95	v 1994
603.92/603.95	v 1995
603.92/603.95	v 1998
603.92/603.95	v 1999
603.92/603.95	v 2001
603.92/603.95	v 2002
603.92/603.95	v 2003
603.92/603.95	v 2004
603.92/603.95	v 2005
603.92/603.95	v 2006
603.92/603.95	v 2007
603.92/603.95	v 2008
603.92/603.95	v 2009
603.92/603.95	v 2011
603.92/603.95	v 2012
603.92/603.95	v 2015
603.92/603.95	v 2016
603.92/603.95	v 2018
603.92/603.95	v 2019
603.92/603.95	v 2021
603.92/603.95	v 2022
603.92/603.95	v 2024
603.92/603.95	v 2026
603.92/603.95	v 2027
603.92/603.95	v 2031
603.92/603.95	v 2033
603.92/603.95	v 2037
603.92/603.95	v 2038
603.92/603.95	v 2039
603.92/603.95	v 2040
603.92/603.95	v 2044
603.92/603.95	v 2045
603.92/603.95	v 2046
603.92/603.95	v 2047
603.92/603.95	v 2048
603.92/603.95	v 2051
603.92/603.95	v 2052
603.92/603.95	v 2053
603.92/603.95	v 2055
603.92/603.95	v 2056
603.92/603.95	v 2057
603.92/603.95	v 2059
603.92/603.95	v 2060
603.92/603.95	v 2061
603.92/603.95	v 2062
603.92/603.95	v 2064
603.92/603.95	v 2065
603.92/603.95	v 2066
603.92/603.95	v 2068
603.92/603.95	v 2071
603.92/603.95	v 2072
603.92/603.95	v 2074
603.92/603.95	v 2075
603.92/603.95	v 2076
603.92/603.95	v 2077
603.92/603.95	v 2079
603.92/603.95	v 2080
603.92/603.95	v 2081
603.92/603.95	v 2082
603.92/603.95	v 2085
603.92/603.95	v 2086
603.92/603.95	v 2087
603.92/603.95	v 2088
603.92/603.95	v 2089
603.92/603.95	v 2091
603.92/603.95	v 2092
603.92/603.95	v 2093
603.92/603.95	v 2094
603.92/603.95	v 2095
603.92/603.95	v 2096
603.92/603.95	v 2097
603.92/603.95	v 2099
603.92/603.95	v 2100
603.92/603.95	v 2101
603.92/603.95	v 2102
603.92/603.95	v 2103
603.92/603.95	v 2104
603.92/603.95	v 2105
603.92/603.95	v 2107
603.92/603.95	v 2108
603.92/603.95	v 2109
603.92/603.95	v 2110
603.92/603.95	v 2111
603.92/603.95	v 2112
603.92/603.95	v 2114
603.92/603.95	v 2115
603.92/603.95	v 2116
603.92/603.95	v 2117
603.92/603.95	v 2118
603.92/603.95	v 2119
603.92/603.95	v 2120
603.92/603.95	v 2121
603.92/603.95	v 2125
603.92/603.95	v 2128
603.92/603.95	v 2129
603.92/603.95	v 2130
603.92/603.95	v 2131
603.92/603.95	v 2132
603.92/603.95	v 2133
603.92/603.95	v 2134
603.92/603.95	v 2135
603.92/603.95	v 2136
603.92/603.95	v 2139
603.92/603.95	v 2140
603.92/603.95	v 2142
603.92/603.95	v 2143
603.92/603.95	v 2144
603.92/603.95	v 2145
603.92/603.95	v 2146
603.92/603.95	v 2147
603.92/603.95	v 2148
603.92/603.95	v 2149
603.92/603.95	v 2151
603.92/603.95	v 2153
603.92/603.95	v 2154
603.92/603.95	v 2155
603.92/603.95	v 2156
603.92/603.95	v 2157
603.92/603.95	v 2158
603.92/603.95	v 2159
603.92/603.95	v 2160
603.92/603.95	v 2161
603.92/603.95	v 2162
603.92/603.95	v 2163
603.92/603.95	v 2164
603.92/603.95	v 2167
603.92/603.95	v 2168
603.92/603.95	v 2170
603.92/603.95	v 2171
603.92/603.95	v 2172
603.92/603.95	v 2173
603.92/603.95	v 2177
603.92/603.95	v 2178
603.92/603.95	v 2179
603.92/603.95	v 2180
603.92/603.95	v 2181
603.92/603.95	v 2185
603.92/603.95	v 2186
603.92/603.95	v 2187
603.92/603.95	v 2188
603.92/603.95	v 2190
603.92/603.95	v 2191
603.92/603.95	v 2192
603.92/603.95	v 2193
603.92/603.95	v 2194
603.92/603.95	v 2196
603.92/603.95	v 2197
603.92/603.95	v 2198
603.92/603.95	v 2200
603.92/603.95	v 2201
603.92/603.95	v 2203
603.92/603.95	v 2205
603.92/603.95	v 2206
603.92/603.95	v 2208
603.92/603.95	v 2211
603.92/603.95	v 2212
603.92/603.95	v 2214
603.92/603.95	v 2215
603.92/603.95	v 2216
603.92/603.95	v 2217
603.92/603.95	v 2221
603.92/603.95	v 2222
603.92/603.95	v 2223
603.92/603.95	v 2224
603.92/603.95	v 2226
603.92/603.95	v 2227
603.92/603.95	v 2228
603.92/603.95	v 2229
603.92/603.95	v 2230
603.92/603.95	v 2231
603.92/603.95	v 2232
603.92/603.95	v 2234
603.92/603.95	v 2235
603.92/603.95	v 2237
603.92/603.95	v 2238
603.92/603.95	v 2239
603.92/603.95	v 2240
603.92/603.95	v 2241
603.92/603.95	v 2242
603.92/603.95	v 2244
603.92/603.95	v 2246
603.92/603.95	v 2247
603.92/603.95	v 2248
603.92/603.95	v 2249
603.92/603.95	v 2250
603.92/603.95	v 2251
603.92/603.95	v 2252
603.92/603.95	v 2253
603.92/603.95	v 2255
603.92/603.95	v 2256
603.92/603.95	v 2257
603.92/603.95	v 2259
603.92/603.95	v 2260
603.92/603.95	v 2261
603.92/603.95	v 2262
603.92/603.95	v 2263
603.92/603.95	v 2264
603.92/603.95	v 2265
603.92/603.95	v 2267
603.92/603.95	v 2268
603.92/603.95	v 2269
603.92/603.95	v 2270
603.92/603.95	v 2271
603.92/603.95	v 2272
603.92/603.95	v 2273
603.92/603.95	v 2274
603.92/603.95	v 2275
603.92/603.95	v 2276
603.92/603.95	v 2277
603.92/603.95	v 2281
603.92/603.95	v 2282
603.92/603.95	v 2283
603.92/603.95	v 2284
603.92/603.95	v 2285
603.92/603.95	v 2286
603.92/603.95	v 2287
603.92/603.95	v 2288
603.92/603.95	v 2290
603.92/603.95	v 2291
603.92/603.95	v 2292
603.92/603.95	v 2294
603.92/603.95	v 2295
603.92/603.95	v 2298
603.92/603.95	v 2302
603.92/603.95	v 2303
603.92/603.95	v 2304
603.92/603.95	v 2306
603.92/603.95	v 2307
603.92/603.95	v 2308
603.92/603.95	v 2310
603.92/603.95	v 2311
603.92/603.95	v 2313
603.92/603.95	v 2314
603.92/603.95	v 2315
603.92/603.95	v 2318
603.92/603.95	v 2319
603.92/603.95	v 2320
603.92/603.95	v 2321
603.92/603.95	v 2322
603.92/603.95	v 2323
603.92/603.95	v 2324
603.92/603.95	v 2325
603.92/603.95	v 2326
603.92/603.95	v 2327
603.92/603.95	v 2328
603.92/603.95	v 2329
603.92/603.95	v 2331
603.92/603.95	v 2332
603.92/603.95	v 2334
603.92/603.95	v 2335
603.92/603.95	v 2336
603.92/603.95	v 2338
603.92/603.95	v 2339
603.92/603.95	v 2340
603.92/603.95	v 2341
603.92/603.95	v 2342
603.92/603.95	v 2343
603.92/603.95	v 2345
603.92/603.95	v 2346
603.92/603.95	v 2347
603.92/603.95	v 2348
603.92/603.95	v 2349
603.92/603.95	v 2350
603.92/603.95	v 2351
603.92/603.95	v 2353
603.92/603.95	v 2355
603.92/603.95	v 2357
603.92/603.95	v 2358
603.92/603.95	v 2359
603.92/603.95	v 2361
603.92/603.95	v 2363
603.92/603.95	v 2365
603.92/603.95	v 2366
603.92/603.95	v 2367
603.92/603.95	v 2368
603.92/603.95	v 2370
603.92/603.95	v 2371
603.92/603.95	v 2373
603.92/603.95	v 2374
603.92/603.95	v 2375
603.92/603.95	v 2376
603.92/603.95	v 2379
603.92/603.95	v 2380
603.92/603.95	v 2382
603.92/603.95	v 2383
603.92/603.95	v 2384
603.92/603.95	v 2386
603.92/603.95	v 2387
603.92/603.95	v 2388
603.92/603.95	v 2389
603.92/603.95	v 2390
603.92/603.95	v 2393
603.92/603.95	v 2394
603.92/603.95	v 2395
603.92/603.95	v 2396
603.92/603.95	v 2397
603.92/603.95	v 2399
603.92/603.95	v 2401
603.92/603.95	v 2402
603.92/603.95	v 2403
603.92/603.95	v 2404
603.92/603.95	v 2405
603.92/603.95	v 2406
603.92/603.95	v 2407
603.92/603.95	v 2408
603.92/603.95	v 2409
603.92/603.95	v 2410
603.92/603.95	v 2413
603.92/603.95	v 2414
603.92/603.95	v 2415
603.92/603.95	v 2417
603.92/603.95	v 2418
603.92/603.95	v 2421
603.92/603.95	v 2422
603.92/603.95	v 2423
603.92/603.95	v 2425
603.92/603.95	v 2426
603.92/603.95	v 2428
603.92/603.95	v 2429
603.92/603.95	v 2430
603.92/603.95	v 2432
603.92/603.95	v 2433
603.92/603.95	v 2434
603.92/603.95	v 2435
603.92/603.95	v 2436
603.92/603.95	v 2437
603.92/603.95	v 2438
603.92/603.95	v 2439
603.92/603.95	v 2440
603.92/603.95	v 2441
603.92/603.95	v 2442
603.92/603.95	v 2443
603.92/603.95	v 2444
603.92/603.95	v 2448
603.92/603.95	v 2449
603.92/603.95	v 2450
603.92/603.95	v 2451
603.92/603.95	v 2452
603.92/603.95	v 2453
603.92/603.95	v 2454
603.92/603.95	v 2458
603.92/603.95	v 2459
603.92/603.95	v 2460
603.92/603.95	v 2461
603.92/603.95	v 2463
603.92/603.95	v 2465
603.92/603.95	v 2466
603.92/603.95	v 2468
603.92/603.95	v 2469
603.92/603.95	v 2471
603.92/603.95	v 2472
603.92/603.95	v 2473
603.92/603.95	v 2474
603.92/603.95	v 2476
603.92/603.95	v 2477
603.92/603.95	v 2478
603.92/603.95	v 2479
603.92/603.95	v 2480
603.92/603.95	v 2482
603.92/603.95	v 2483
603.92/603.95	v 2484
603.92/603.95	v 2486
603.92/603.95	v 2488
603.92/603.95	v 2489
603.92/603.95	v 2490
603.92/603.95	v 2491
603.92/603.95	v 2492
603.92/603.95	v 2493
603.92/603.95	v 2494
603.92/603.95	v 2496
603.92/603.95	v 2497
603.92/603.95	v 2498
603.92/603.95	v 2499
603.92/603.95	v 2500
603.92/603.95	v 2501
603.92/603.95	v 2503
603.92/603.95	v 2504
603.92/603.95	v 2505
603.92/603.95	v 2506
603.92/603.95	v 2507
603.92/603.95	v 2508
603.92/603.95	v 2509
603.92/603.95	v 2510
603.92/603.95	v 2512
603.92/603.95	v 2513
603.92/603.95	v 2514
603.92/603.95	v 2515
603.92/603.95	v 2516
603.92/603.95	v 2517
603.92/603.95	v 2518
603.92/603.95	v 2519
603.92/603.95	v 2520
603.92/603.95	v 2522
603.92/603.95	v 2523
603.92/603.95	v 2524
603.92/603.95	v 2526
603.92/603.95	v 2529
603.92/603.95	v 2531
603.92/603.95	v 2532
603.92/603.95	v 2534
603.92/603.95	v 2535
603.92/603.95	v 2536
603.92/603.95	v 2537
603.92/603.95	v 2538
603.92/603.95	v 2539
603.92/603.95	v 2540
603.92/603.95	v 2543
603.92/603.95	v 2544
603.92/603.95	v 2545
603.92/603.95	v 2546
603.92/603.95	v 2547
603.92/603.95	v 2548
603.92/603.95	v 2549
603.92/603.95	v 2550
603.92/603.95	v 2552
603.92/603.95	v 2553
603.92/603.95	v 2554
603.92/603.95	v 2555
603.92/603.95	v 2556
603.92/603.95	v 2558
603.92/603.95	v 2559
603.92/603.95	v 2560
603.92/603.95	v 2561
603.92/603.95	v 2563
603.92/603.95	v 2564
603.92/603.95	v 2565
603.92/603.95	v 2568
603.92/603.95	v 2569
603.92/603.95	v 2570
603.92/603.95	v 2571
603.92/603.95	v 2572
603.92/603.95	v 2575
603.92/603.95	v 2576
603.92/603.95	v 2577
603.92/603.95	v 2578
603.92/603.95	v 2580
603.92/603.95	v 2582
603.92/603.95	v 2583
603.92/603.95	v 2584
603.92/603.95	v 2586
603.92/603.95	v 2587
603.92/603.95	v 2588
603.92/603.95	v 2589
603.92/603.95	v 2590
603.92/603.95	v 2591
603.92/603.95	v 2592
603.92/603.95	v 2593
603.92/603.95	v 2594
603.92/603.95	v 2596
603.92/603.95	v 2599
603.92/603.95	v 2600
603.92/603.95	v 2601
603.92/603.95	v 2602
603.92/603.95	v 2605
603.92/603.95	v 2606
603.92/603.95	v 2607
603.92/603.95	v 2608
603.92/603.95	v 2611
603.92/603.95	v 2612
603.92/603.95	v 2613
603.92/603.95	v 2614
603.92/603.95	v 2615
603.92/603.95	v 2616
603.92/603.95	v 2617
603.92/603.95	v 2618
603.92/603.95	v 2621
603.92/603.95	v 2622
603.92/603.95	v 2623
603.92/603.95	v 2624
603.92/603.95	v 2626
603.92/603.95	v 2627
603.92/603.95	v 2629
603.92/603.95	v 2630
603.92/603.95	v 2631
603.92/603.95	v 2632
603.92/603.95	v 2633
603.92/603.95	v 2635
603.92/603.95	v 2637
603.92/603.95	v 2638
603.92/603.95	v 2639
603.92/603.95	v 2640
603.92/603.95	v 2641
603.92/603.95	v 2643
603.92/603.95	v 2644
603.92/603.95	v 2645
603.92/603.95	v 2646
603.92/603.95	v 2649
603.92/603.95	v 2650
603.92/603.95	v 2651
603.92/603.95	v 2652
603.92/603.95	v 2653
603.92/603.95	v 2655
603.92/603.95	v 2658
603.92/603.95	v 2659
603.92/603.95	v 2660
603.92/603.95	v 2662
603.92/603.95	v 2664
603.92/603.95	v 2665
603.92/603.95	v 2666
603.92/603.95	v 2669
603.92/603.95	v 2670
603.92/603.95	v 2672
603.92/603.95	v 2673
603.92/603.95	v 2674
603.92/603.95	v 2680
603.92/603.95	v 2681
603.92/603.95	v 2682
603.92/603.95	v 2683
603.92/603.95	v 2684
603.92/603.95	v 2687
603.92/603.95	v 2688
603.92/603.95	v 2689
603.92/603.95	v 2692
603.92/603.95	v 2694
603.92/603.95	v 2695
603.92/603.95	v 2697
603.92/603.95	v 2699
603.92/603.95	v 2700
603.92/603.95	v 2702
603.92/603.95	v 2703
603.92/603.95	v 2704
603.92/603.95	v 2706
603.92/603.95	v 2708
603.92/603.95	v 2709
603.92/603.95	v 2710
603.92/603.95	v 2711
603.92/603.95	v 2712
603.92/603.95	v 2713
603.92/603.95	v 2715
603.92/603.95	v 2716
603.92/603.95	v 2717
603.92/603.95	v 2719
603.92/603.95	v 2721
603.92/603.95	v 2722
603.92/603.95	v 2723
603.92/603.95	v 2725
603.92/603.95	v 2727
603.92/603.95	v 2728
603.92/603.95	v 2729
603.92/603.95	v 2730
603.92/603.95	v 2731
603.92/603.95	v 2732
603.92/603.95	v 2733
603.92/603.95	v 2734
603.92/603.95	v 2735
603.92/603.95	v 2736
603.92/603.95	v 2737
603.92/603.95	v 2738
603.92/603.95	v 2739
603.92/603.95	v 2740
603.92/603.95	v 2741
603.92/603.95	v 2742
603.92/603.95	v 2743
603.92/603.95	v 2744
603.92/603.95	v 2746
603.92/603.95	v 2747
603.92/603.95	v 2748
603.92/603.95	v 2749
603.92/603.95	v 2750
603.92/603.95	v 2751
603.92/603.95	v 2752
603.92/603.95	v 2753
603.92/603.95	v 2756
603.92/603.95	v 2759
603.92/603.95	v 2760
603.92/603.95	v 2761
603.92/603.95	v 2762
603.92/603.95	v 2763
603.92/603.95	v 2764
603.92/603.95	v 2765
603.92/603.95	v 2766
603.92/603.95	v 2767
603.92/603.95	v 2768
603.92/603.95	v 2770
603.92/603.95	v 2771
603.92/603.95	v 2773
603.92/603.95	v 2774
603.92/603.95	v 2775
603.92/603.95	v 2776
603.92/603.95	v 2777
603.92/603.95	v 2778
603.92/603.95	v 2779
603.92/603.95	v 2780
603.92/603.95	v 2781
603.92/603.95	v 2783
603.92/603.95	v 2784
603.92/603.95	v 2785
603.92/603.95	v 2786
603.92/603.95	v 2788
603.92/603.95	v 2791
603.92/603.95	v 2794
603.92/603.95	v 2795
603.92/603.95	v 2797
603.92/603.95	v 2798
603.92/603.95	v 2799
603.92/603.95	v 2800
603.92/603.95	v 2802
603.92/603.95	v 2803
603.92/603.95	v 2804
603.92/603.95	v 2805
603.92/603.95	v 2807
603.92/603.95	v 2808
603.92/603.95	v 2809
603.92/603.95	v 2810
603.92/603.95	v 2812
603.92/603.95	v 2813
603.92/603.95	v 2814
603.92/603.95	v 2816
603.92/603.95	v 2817
603.92/603.95	v 2822
603.92/603.95	v 2823
603.92/603.95	v 2826
603.92/603.95	v 2827
603.92/603.95	v 2829
603.92/603.95	v 2830
603.92/603.95	v 2831
603.92/603.95	v 2832
603.92/603.95	v 2833
603.92/603.95	v 2834
603.92/603.95	v 2835
603.92/603.95	v 2836
603.92/603.95	v 2838
603.92/603.95	v 2839
603.92/603.95	v 2840
603.92/603.95	v 2841
603.92/603.95	v 2842
603.92/603.95	v 2843
603.92/603.95	v 2844
603.92/603.95	v 2845
603.92/603.95	v 2846
603.92/603.95	v 2847
603.92/603.95	v 2848
603.92/603.95	v 2849
603.92/603.95	v 2851
603.92/603.95	v 2852
603.92/603.95	v 2853
603.92/603.95	v 2854
603.92/603.95	v 2855
603.92/603.95	v 2857
603.92/603.95	v 2858
603.92/603.95	v 2859
603.92/603.95	v 2860
603.92/603.95	v 2862
603.92/603.95	v 2863
603.92/603.95	v 2864
603.92/603.95	v 2865
603.92/603.95	v 2866
603.92/603.95	v 2867
603.92/603.95	v 2869
603.92/603.95	v 2870
603.92/603.95	v 2871
603.92/603.95	v 2873
603.92/603.95	v 2874
603.92/603.95	v 2875
603.92/603.95	v 2876
603.92/603.95	v 2877
603.92/603.95	v 2880
603.92/603.95	v 2881
603.92/603.95	v 2883
603.92/603.95	v 2884
603.92/603.95	v 2886
603.92/603.95	v 2887
603.92/603.95	v 2888
603.92/603.95	v 2889
603.92/603.95	v 2890
603.92/603.95	v 2891
603.92/603.95	v 2892
603.92/603.95	v 2893
603.92/603.95	v 2894
603.92/603.95	v 2895
603.92/603.95	v 2896
603.92/603.95	v 2897
603.92/603.95	v 2898
603.92/603.95	v 2899
603.92/603.95	v 2900
603.92/603.95	v 2902
603.92/603.95	v 2903
603.92/603.95	v 2904
603.92/603.95	v 2905
603.92/603.95	v 2906
603.92/603.95	v 2907
603.92/603.95	v 2908
603.92/603.95	v 2909
603.92/603.95	v 2910
603.92/603.95	v 2912
603.92/603.95	v 2913
603.92/603.95	v 2914
603.92/603.95	v 2916
603.92/603.95	v 2917
603.92/603.95	v 2918
603.92/603.95	v 2919
603.92/603.95	v 2920
603.92/603.95	v 2924
603.92/603.95	v 2925
603.92/603.95	v 2928
603.92/603.95	v 2929
603.92/603.95	v 2930
603.92/603.95	v 2931
603.92/603.95	v 2932
603.92/603.95	v 2933
603.92/603.95	v 2935
603.92/603.95	v 2936
603.92/603.95	v 2939
603.92/603.95	v 2940
603.92/603.95	v 2942
603.92/603.95	v 2943
603.92/603.95	v 2944
603.92/603.95	v 2945
603.92/603.95	v 2947
603.92/603.95	v 2949
603.92/603.95	v 2953
603.92/603.95	v 2954
603.92/603.95	v 2955
603.92/603.95	v 2956
603.92/603.95	v 2957
603.92/603.95	v 2958
603.92/603.95	v 2961
603.92/603.95	v 2962
603.92/603.95	v 2963
603.92/603.95	v 2964
603.92/603.95	v 2965
603.92/603.95	v 2966
603.92/603.95	v 2967
603.92/603.95	v 2968
603.92/603.95	v 2969
603.92/603.95	v 2970
603.92/603.95	v 2971
603.92/603.95	v 2972
603.92/603.95	v 2973
603.92/603.95	v 2974
603.92/603.95	v 2975
603.92/603.95	v 2978
603.92/603.95	v 2982
603.92/603.95	v 2984
603.92/603.95	v 2989
603.92/603.95	v 2990
603.92/603.95	v 2991
603.92/603.95	v 2992
603.92/603.95	v 2993
603.92/603.95	v 2996
603.92/603.95	v 2997
603.92/603.95	v 2998
603.92/603.95	v 3001
603.92/603.95	v 3002
603.92/603.95	v 3003
603.92/603.95	v 3004
603.92/603.95	v 3005
603.92/603.95	v 3006
603.92/603.95	v 3008
603.92/603.95	v 3009
603.92/603.95	v 3010
603.92/603.95	v 3011
603.92/603.95	v 3012
603.92/603.95	v 3013
603.92/603.95	v 3014
603.92/603.95	v 3017
603.92/603.95	v 3018
603.92/603.95	v 3019
603.92/603.95	v 3020
603.92/603.95	v 3021
603.92/603.95	v 3025
603.92/603.95	v 3026
603.92/603.95	v 3027
603.92/603.95	v 3028
603.92/603.95	v 3030
603.92/603.95	v 3031
603.92/603.95	v 3032
603.92/603.95	v 3033
603.92/603.95	v 3034
603.92/603.95	v 3035
603.92/603.95	v 3036
603.92/603.95	v 3037
603.92/603.95	v 3038
603.92/603.95	v 3039
603.92/603.95	v 3040
603.92/603.95	v 3042
603.92/603.95	v 3043
603.92/603.95	v 3044
603.92/603.95	v 3045
603.92/603.95	v 3047
603.92/603.95	v 3049
603.92/603.95	v 3050
603.92/603.95	v 3052
603.92/603.95	v 3055
603.92/603.95	v 3056
603.92/603.95	v 3058
603.92/603.95	v 3059
603.92/603.95	v 3061
603.92/603.95	v 3062
603.92/603.95	v 3063
603.92/603.95	v 3064
603.92/603.95	v 3065
603.92/603.95	v 3067
603.92/603.95	v 3068
603.92/603.95	v 3069
603.92/603.95	v 3071
603.92/603.95	v 3072
603.92/603.95	v 3073
603.92/603.95	v 3077
603.92/603.95	v 3078
603.92/603.95	v 3079
603.92/603.95	v 3080
603.92/603.95	v 3082
603.92/603.95	v 3083
603.92/603.95	v 3085
603.92/603.95	v 3086
603.92/603.95	v 3087
603.92/603.95	v 3090
603.92/603.95	v 3091
603.92/603.95	v 3092
603.92/603.95	v 3094
603.92/603.95	v 3095
603.92/603.95	v 3097
603.92/603.95	v 3099
603.92/603.95	v 3100
603.92/603.95	v 3101
603.92/603.95	v 3102
603.92/603.95	v 3105
603.92/603.95	v 3106
603.92/603.95	v 3107
603.92/603.95	v 3108
603.92/603.95	v 3110
603.92/603.95	v 3111
603.92/603.95	v 3112
603.92/603.95	v 3113
603.92/603.95	v 3114
603.92/603.95	v 3115
603.92/603.95	v 3116
603.92/603.95	v 3117
603.92/603.95	v 3118
603.92/603.95	v 3120
603.92/603.95	v 3121
603.92/603.95	v 3125
603.92/603.95	v 3126
603.92/603.95	v 3127
603.92/603.95	v 3128
603.92/603.95	v 3130
603.92/603.95	v 3132
603.92/603.95	v 3133
603.92/603.95	v 3134
603.92/603.95	v 3135
603.92/603.95	v 3138
603.92/603.95	v 3140
603.92/603.95	v 3141
603.92/603.95	v 3142
603.92/603.95	v 3143
603.92/603.95	v 3144
603.92/603.95	v 3146
603.92/603.95	v 3147
603.92/603.95	v 3148
603.92/603.95	v 3149
603.92/603.95	v 3151
603.92/603.95	v 3152
603.92/603.95	v 3154
603.92/603.95	v 3155
603.92/603.95	v 3157
603.92/603.95	v 3159
603.92/603.95	v 3162
603.92/603.95	v 3163
603.92/603.95	v 3164
603.92/603.95	v 3165
603.92/603.95	v 3167
603.92/603.95	v 3168
603.92/603.95	v 3169
603.92/603.95	v 3170
603.92/603.95	v 3171
603.92/603.95	v 3173
603.92/603.95	v 3174
603.92/603.95	v 3175
603.92/603.95	v 3176
603.92/603.95	v 3178
603.92/603.95	v 3179
603.92/603.95	v 3180
603.92/603.95	v 3181
603.92/603.95	v 3183
603.92/603.95	v 3184
603.92/603.95	v 3186
603.92/603.95	v 3187
603.92/603.95	v 3188
603.92/603.95	v 3190
603.92/603.95	v 3191
603.92/603.95	v 3192
603.92/603.95	v 3193
603.92/603.95	v 3194
603.92/603.95	v 3195
603.92/603.95	v 3196
603.92/603.95	v 3197
603.92/603.95	v 3198
603.92/603.95	v 3199
603.92/603.95	v 3200
603.92/603.95	v 3201
603.92/603.95	v 3202
603.92/603.95	v 3203
603.92/603.95	v 3204
603.92/603.95	v 3205
603.92/603.95	v 3206
603.92/603.95	v 3207
603.92/603.95	v 3208
603.92/603.95	v 3211
603.92/603.95	v 3212
603.92/603.95	v 3214
603.92/603.95	v 3215
603.92/603.95	v 3216
603.92/603.95	v 3217
603.92/603.95	v 3218
603.92/603.95	v 3219
603.92/603.95	v 3220
603.92/603.95	v 3221
603.92/603.95	v 3223
603.92/603.95	v 3224
603.92/603.95	v 3226
603.92/603.95	v 3227
603.92/603.95	v 3228
603.92/603.95	v 3229
603.92/603.95	v 3230
603.92/603.95	v 3231
603.92/603.95	v 3232
603.92/603.95	v 3233
603.92/603.95	v 3234
603.92/603.95	v 3237
603.92/603.95	v 3238
603.92/603.95	v 3239
603.92/603.95	v 3240
603.92/603.95	v 3241
603.92/603.95	v 3242
603.92/603.95	v 3243
603.92/603.95	v 3244
603.92/603.95	v 3245
603.92/603.95	v 3247
603.92/603.95	v 3248
603.92/603.95	v 3249
603.92/603.95	v 3250
603.92/603.95	v 3252
603.92/603.95	v 3253
603.92/603.95	v 3254
603.92/603.95	v 3257
603.92/603.95	v 3258
603.92/603.95	v 3259
603.92/603.95	v 3260
603.92/603.95	v 3261
603.92/603.95	v 3262
603.92/603.95	v 3263
603.92/603.95	v 3264
603.92/603.95	v 3265
603.92/603.95	v 3266
603.92/603.95	v 3267
603.92/603.95	v 3268
603.92/603.95	v 3269
603.92/603.95	v 3270
603.92/603.95	v 3272
603.92/603.95	v 3273
603.92/603.95	v 3274
603.92/603.95	v 3275
603.92/603.95	v 3276
603.92/603.95	v 3277
603.92/603.95	v 3278
603.92/603.95	v 3279
603.92/603.95	v 3280
603.92/603.95	v 3281
603.92/603.95	v 3282
603.92/603.95	v 3283
603.92/603.95	v 3284
603.92/603.95	v 3285
603.92/603.95	v 3287
603.92/603.95	v 3288
603.92/603.95	v 3289
603.92/603.95	v 3290
603.92/603.95	v 3291
603.92/603.95	v 3292
603.92/603.95	v 3293
603.92/603.95	v 3294
603.92/603.95	v 3295
603.92/603.95	v 3296
603.92/603.95	v 3297
603.92/603.95	v 3298
603.92/603.95	v 3300
603.92/603.95	v 3302
603.92/603.95	v 3303
603.92/603.95	v 3304
603.92/603.95	v 3305
603.92/603.95	v 3306
603.92/603.95	v 3307
603.92/603.95	v 3308
603.92/603.95	v 3309
603.92/603.95	v 3310
603.92/603.95	v 3311
603.92/603.95	v 3312
603.92/603.95	v 3313
603.92/603.95	v 3314
603.92/603.95	v 3315
603.92/603.95	v 3317
603.92/603.95	v 3318
603.92/603.95	v 3319
603.92/603.95	v 3320
603.92/603.95	v 3322
603.92/603.95	v 3323
603.92/603.95	v 3324
603.92/603.95	v 3325
603.92/603.95	v 3326
603.92/603.95	v 3327
603.92/603.95	v 3329
603.92/603.95	v 3330
603.92/603.95	v 3332
603.92/603.95	v 3333
603.92/603.95	v 3335
603.92/603.95	v 3336
603.92/603.95	v 3337
603.92/603.95	v 3338
603.92/603.95	v 3339
603.92/603.95	v 3340
603.92/603.95	v 3341
603.92/603.95	v 3342
603.92/603.95	v 3343
603.92/603.95	v 3344
603.92/603.95	v 3345
603.92/603.95	v 3348
603.92/603.95	v 3349
603.92/603.95	v 3350
603.92/603.95	v 3351
603.92/603.95	v 3352
603.92/603.95	v 3353
603.92/603.95	v 3355
603.92/603.95	v 3357
603.92/603.95	v 3358
603.92/603.95	v 3359
603.92/603.95	v 3360
603.92/603.95	v 3361
603.92/603.95	v 3362
603.92/603.95	v 3363
603.92/603.95	v 3364
603.92/603.95	v 3367
603.92/603.95	v 3369
603.92/603.95	v 3371
603.92/603.95	v 3372
603.92/603.95	v 3373
603.92/603.95	v 3374
603.92/603.95	v 3375
603.92/603.95	v 3376
603.92/603.95	v 3377
603.92/603.95	v 3378
603.92/603.95	v 3379
603.92/603.95	v 3380
603.92/603.95	v 3381
603.92/603.95	v 3382
603.92/603.95	v 3383
603.92/603.95	v 3384
603.92/603.95	v 3385
603.92/603.95	v 3388
603.92/603.95	v 3391
603.92/603.95	v 3392
603.92/603.95	v 3393
603.92/603.95	v 3394
603.92/603.95	v 3395
603.92/603.95	v 3397
603.92/603.95	v 3398
603.92/603.95	v 3399
603.92/603.95	v 3400
603.92/603.95	v 3401
603.92/603.95	v 3402
603.92/603.95	v 3403
603.92/603.95	v 3405
603.92/603.95	v 3406
603.92/603.95	v 3408
603.92/603.95	v 3410
603.92/603.95	v 3411
603.92/603.95	v 3412
603.92/603.95	v 3413
603.92/603.95	v 3415
603.92/603.95	v 3416
603.92/603.95	v 3417
603.92/603.95	v 3418
603.92/603.95	v 3419
603.92/603.95	v 3420
603.92/603.95	v 3421
603.92/603.95	v 3422
603.92/603.95	v 3423
603.92/603.95	v 3424
603.92/603.95	v 3425
603.92/603.95	v 3426
603.92/603.95	v 3427
603.92/603.95	v 3428
603.92/603.95	v 3429
603.92/603.95	v 3430
603.92/603.95	v 3432
603.92/603.95	v 3433
603.92/603.95	v 3434
603.92/603.95	v 3435
603.92/603.95	v 3436
603.92/603.95	v 3437
603.92/603.95	v 3438
603.92/603.95	v 3439
603.92/603.95	v 3440
603.92/603.95	v 3441
603.92/603.95	v 3442
603.92/603.95	v 3443
603.92/603.95	v 3444
603.92/603.95	v 3445
603.92/603.95	v 3446
603.92/603.95	v 3447
603.92/603.95	v 3448
603.92/603.95	v 3449
603.92/603.95	v 3452
603.92/603.95	v 3453
603.92/603.95	v 3454
603.92/603.95	v 3455
603.92/603.95	v 3456
603.92/603.95	v 3457
603.92/603.95	v 3458
603.92/603.95	v 3461
603.92/603.95	v 3462
603.92/603.95	v 3463
603.92/603.95	v 3466
603.92/603.95	v 3467
603.92/603.95	v 3468
603.92/603.95	v 3469
603.92/603.95	v 3470
603.92/603.95	v 3471
603.92/603.95	v 3472
603.92/603.95	v 3474
603.92/603.95	v 3476
603.92/603.95	v 3477
603.92/603.95	v 3480
603.92/603.95	v 3481
603.92/603.95	v 3482
603.92/603.95	v 3484
603.92/603.95	v 3485
603.92/603.95	v 3487
603.92/603.95	v 3488
603.92/603.95	v 3489
603.92/603.95	v 3490
603.92/603.95	v 3491
603.92/603.95	v 3492
603.92/603.95	v 3494
603.92/603.95	v 3497
603.92/603.95	v 3498
603.92/603.95	v 3499
603.92/603.95	v 3500
603.92/603.95	v 3502
603.92/603.95	v 3503
603.92/603.95	v 3504
603.92/603.95	v 3505
603.92/603.95	v 3506
603.92/603.95	v 3508
603.92/603.95	v 3509
603.92/603.95	v 3510
603.92/603.95	v 3511
603.92/603.95	v 3512
603.92/603.95	v 3513
603.92/603.95	v 3515
603.92/603.95	v 3517
603.92/603.95	v 3520
603.92/603.95	v 3523
603.92/603.95	v 3524
603.92/603.95	v 3526
603.92/603.95	v 3528
603.92/603.95	v 3530
603.92/603.95	v 3533
603.92/603.95	v 3535
603.92/603.95	v 3536
603.92/603.95	v 3539
603.92/603.95	v 3541
603.92/603.95	v 3542
603.92/603.95	v 3543
603.92/603.95	v 3544
603.92/603.95	v 3546
603.92/603.95	v 3547
603.92/603.95	v 3548
603.92/603.95	v 3549
603.92/603.95	v 3550
603.92/603.95	v 3552
603.92/603.95	v 3553
603.92/603.95	v 3554
603.92/603.95	v 3556
603.92/603.95	v 3557
603.92/603.95	v 3558
603.92/603.95	v 3559
603.92/603.95	v 3560
603.92/603.95	v 3561
603.92/603.95	v 3562
603.92/603.95	v 3564
603.92/603.95	v 3566
603.92/603.95	v 3568
603.92/603.95	v 3569
603.92/603.95	v 3570
603.92/603.95	v 3571
603.92/603.95	v 3573
603.92/603.95	v 3574
603.92/603.95	v 3575
603.92/603.95	v 3576
603.92/603.95	v 3577
603.92/603.95	v 3579
603.92/603.95	v 3581
603.92/603.95	v 3583
603.92/603.95	v 3584
603.92/603.95	v 3585
603.92/603.95	v 3586
603.92/603.95	v 3587
603.92/603.95	v 3589
603.92/603.95	v 3592
603.92/603.95	v 3593
603.92/603.95	v 3595
603.92/603.95	v 3596
603.92/603.95	v 3598
603.92/603.95	v 3599
603.92/603.95	v 3600
603.92/603.95	v 3601
603.92/603.95	v 3603
603.92/603.95	v 3604
603.92/603.95	v 3605
603.92/603.95	v 3606
603.92/603.95	v 3607
603.92/603.95	v 3609
603.92/603.95	v 3610
603.92/603.95	v 3611
603.92/603.95	v 3612
603.92/603.95	v 3613
603.92/603.95	v 3614
603.92/603.95	v 3615
603.92/603.95	v 3616
603.92/603.95	v 3619
603.92/603.95	v 3620
603.92/603.95	v 3621
603.92/603.95	v 3623
603.92/603.95	v 3624
603.92/603.95	v 3625
603.92/603.95	v 3626
603.92/603.95	v 3627
603.92/603.95	v 3628
603.92/603.95	v 3629
603.92/603.95	v 3630
603.92/603.95	v 3631
603.92/603.95	v 3632
603.92/603.95	v 3634
603.92/603.95	v 3636
603.92/603.95	v 3637
603.92/603.95	v 3638
603.92/603.95	v 3639
603.92/603.95	v 3640
603.92/603.95	v 3643
603.92/603.95	v 3644
603.92/603.95	v 3647
603.92/603.95	v 3648
603.92/603.95	v 3649
603.92/603.95	v 3650
603.92/603.95	v 3651
603.92/603.95	v 3652
603.92/603.95	v 3654
603.92/603.95	v 3655
603.92/603.95	v 3657
603.92/603.95	v 3658
603.92/603.95	v 3659
603.92/603.95	v 3660
603.92/603.95	v 3661
603.92/603.95	v 3662
603.92/603.95	v 3663
603.92/603.95	v 3664
603.92/603.95	v 3665
603.92/603.95	v 3666
603.92/603.95	v 3667
603.92/603.95	v 3668
603.92/603.95	v 3669
603.92/603.95	v 3670
603.92/603.95	v 3672
603.92/603.95	v 3673
603.92/603.95	v 3674
603.92/603.95	v 3675
603.92/603.95	v 3676
603.92/603.95	v 3677
603.92/603.95	v 3679
603.92/603.95	v 3681
603.92/603.95	v 3682
603.92/603.95	v 3685
603.92/603.95	v 3686
603.92/603.95	v 3687
603.92/603.95	v 3688
603.92/603.95	v 3689
603.92/603.95	v 3693
603.92/603.95	v 3694
603.92/603.95	v 3695
603.92/603.95	v 3696
603.92/603.95	v 3697
603.92/603.95	v 3698
603.92/603.95	v 3699
603.92/603.95	v 3701
603.92/603.95	v 3702
603.92/603.95	v 3703
603.92/603.95	v 3704
603.92/603.95	v 3707
603.92/603.95	v 3709
603.92/603.95	v 3712
603.92/603.95	v 3715
603.92/603.95	v 3716
603.92/603.95	v 3718
603.92/603.95	v 3719
603.92/603.95	v 3720
603.92/603.95	v 3721
603.92/603.95	v 3723
603.92/603.95	v 3724
603.92/603.95	v 3725
603.92/603.95	v 3726
603.92/603.95	v 3727
603.92/603.95	v 3728
603.92/603.95	v 3729
603.92/603.95	v 3730
603.92/603.95	v 3731
603.92/603.95	v 3732
603.92/603.95	v 3734
603.92/603.95	v 3735
603.92/603.95	v 3736
603.92/603.95	v 3738
603.92/603.95	v 3739
603.92/603.95	v 3740
603.92/603.95	v 3741
603.92/603.95	v 3742
603.92/603.95	v 3743
603.92/603.95	v 3744
603.92/603.95	v 3747
603.92/603.95	v 3748
603.92/603.95	v 3749
603.92/603.95	v 3752
603.92/603.95	v 3753
603.92/603.95	v 3754
603.92/603.95	v 3755
603.92/603.95	v 3756
603.92/603.95	v 3758
603.92/603.95	v 3759
603.92/603.95	v 3761
603.92/603.95	v 3762
603.92/603.95	v 3766
603.92/603.95	v 3767
603.92/603.95	v 3769
603.92/603.95	v 3770
603.92/603.95	v 3771
603.92/603.95	v 3772
603.92/603.95	v 3774
603.92/603.95	v 3775
603.92/603.95	v 3776
603.92/603.95	v 3777
603.92/603.95	v 3778
603.92/603.95	v 3779
603.92/603.95	v 3781
603.92/603.95	v 3782
603.92/603.95	v 3783
603.92/603.95	v 3785
603.92/603.95	v 3786
603.92/603.95	v 3788
603.92/603.95	v 3789
603.92/603.95	v 3791
603.92/603.95	v 3793
603.92/603.95	v 3794
603.92/603.95	v 3795
603.92/603.95	v 3796
603.92/603.95	v 3797
603.92/603.95	v 3798
603.92/603.95	v 3799
603.92/603.95	v 3800
603.92/603.95	v 3801
603.92/603.95	v 3802
603.92/603.95	v 3803
603.92/603.95	v 3804
603.92/603.95	v 3806
603.92/603.95	v 3809
603.92/603.95	v 3810
603.92/603.95	v 3811
603.92/603.95	v 3815
603.92/603.95	v 3817
603.92/603.95	v 3818
603.92/603.95	v 3819
603.92/603.95	v 3821
603.92/603.95	v 3822
603.92/603.95	v 3823
603.92/603.95	v 3824
603.92/603.95	v 3825
603.92/603.95	v 3826
603.92/603.95	v 3827
603.92/603.95	v 3829
603.92/603.95	v 3830
603.92/603.95	v 3831
603.92/603.95	v 3833
603.92/603.95	v 3835
603.92/603.95	v 3836
603.92/603.95	v 3837
603.92/603.95	v 3838
603.92/603.95	v 3840
603.92/603.95	v 3841
603.92/603.95	v 3842
603.92/603.95	v 3844
603.92/603.95	v 3845
603.92/603.95	v 3846
603.92/603.95	v 3847
603.92/603.95	v 3848
603.92/603.95	v 3849
603.92/603.95	v 3851
603.92/603.95	v 3852
603.92/603.95	v 3855
603.92/603.95	v 3856
603.92/603.95	v 3857
603.92/603.95	v 3860
603.92/603.95	v 3863
603.92/603.95	v 3864
603.92/603.95	v 3865
603.92/603.95	v 3866
603.92/603.95	v 3867
603.92/603.95	v 3868
603.92/603.95	v 3869
603.92/603.95	v 3871
603.92/603.95	v 3872
603.92/603.95	v 3873
603.92/603.95	v 3874
603.92/603.95	v 3875
603.92/603.95	v 3877
603.92/603.95	v 3879
603.92/603.95	v 3880
603.92/603.95	v 3881
603.92/603.95	v 3882
603.92/603.95	v 3883
603.92/603.95	v 3885
603.92/603.95	v 3886
603.92/603.95	v 3887
603.92/603.95	v 3888
603.92/603.95	v 3890
603.92/603.95	v 3891
603.92/603.95	v 3892
603.92/603.95	v 3893
603.92/603.95	v 3894
603.92/603.95	v 3895
603.92/603.95	v 3896
603.92/603.95	v 3898
603.92/603.95	v 3899
603.92/603.95	v 3900
603.92/603.95	v 3901
603.92/603.95	v 3902
603.92/603.95	v 3903
603.92/603.95	v 3904
603.92/603.95	v 3905
603.92/603.95	v 3906
603.92/603.95	v 3907
603.92/603.95	v 3909
603.92/603.95	v 3912
603.92/603.95	v 3913
603.92/603.95	v 3914
603.92/603.95	v 3915
603.92/603.95	v 3916
603.92/603.95	v 3920
603.92/603.95	v 3922
603.92/603.95	v 3923
603.92/603.95	v 3924
603.92/603.95	v 3926
603.92/603.95	v 3928
603.92/603.95	v 3929
603.92/603.95	v 3930
603.92/603.95	v 3931
603.92/603.95	v 3932
603.92/603.95	v 3933
603.92/603.95	v 3934
603.92/603.95	v 3936
603.92/603.95	v 3937
603.92/603.95	v 3938
603.92/603.95	v 3939
603.92/603.95	v 3941
603.92/603.95	v 3943
603.92/603.95	v 3944
603.92/603.95	v 3945
603.92/603.95	v 3949
603.92/603.95	v 3950
603.92/603.95	v 3952
603.92/603.95	v 3953
603.92/603.95	v 3955
603.92/603.95	v 3956
603.92/603.95	v 3957
603.92/603.95	v 3959
603.92/603.95	v 3960
603.92/603.95	v 3961
603.92/603.95	v 3962
603.92/603.95	v 3964
603.92/603.95	v 3965
603.92/603.95	v 3966
603.92/603.95	v 3967
603.92/603.95	v 3969
603.92/603.95	v 3970
603.92/603.95	v 3971
603.92/603.95	v 3972
603.92/603.95	v 3973
603.92/603.95	v 3974
603.92/603.95	v 3976
603.92/603.95	v 3977
603.92/603.95	v 3978
603.92/603.95	v 3979
603.92/603.95	v 3981
603.92/603.95	v 3982
603.92/603.95	v 3983
603.92/603.95	v 3984
603.92/603.95	v 3985
603.92/603.95	v 3986
603.92/603.95	v 3987
603.92/603.95	v 3988
603.92/603.95	v 3990
603.92/603.95	v 3991
603.92/603.95	v 3993
603.92/603.95	v 3994
603.92/603.95	v 3995
603.92/603.95	v 3996
603.92/603.95	v 3997
603.92/603.95	v 3999
603.92/603.95	v 4001
603.92/603.95	v 4002
603.92/603.95	v 4003
603.92/603.95	v 4004
603.92/603.95	v 4005
603.92/603.95	v 4006
603.92/603.95	v 4007
603.92/603.95	v 4008
603.92/603.95	v 4009
603.92/603.95	v 4010
603.92/603.95	v 4011
603.92/603.95	v 4012
603.92/603.95	v 4013
603.92/603.95	v 4014
603.92/603.95	v 4015
603.92/603.95	v 4016
603.92/603.95	v 4017
603.92/603.95	v 4018
603.92/603.95	v 4019
603.92/603.95	v 4020
603.92/603.95	v 4021
603.92/603.95	v 4022
603.92/603.95	v 4023
603.92/603.95	v 4024
603.92/603.95	v 4025
603.92/603.95	v 4026
603.92/603.95	v 4029
603.92/603.95	v 4030
603.92/603.95	v 4031
603.92/603.95	v 4033
603.92/603.95	v 4034
603.92/603.95	v 4035
603.92/603.95	v 4037
603.92/603.95	v 4038
603.92/603.95	v 4039
603.92/603.95	v 4040
603.92/603.95	v 4041
603.92/603.95	v 4042
603.92/603.95	v 4043
603.92/603.95	v 4044
603.92/603.95	v 4045
603.92/603.95	v 4046
603.92/603.95	v 4047
603.92/603.95	v 4048
603.92/603.95	v 4050
603.92/603.95	v 4051
603.92/603.95	v 4052
603.92/603.95	v 4054
603.92/603.95	v 4056
603.92/603.95	v 4057
603.92/603.95	v 4059
603.92/603.95	v 4060
603.92/603.95	v 4061
603.92/603.95	v 4063
603.92/603.95	v 4064
603.92/603.95	v 4065
603.92/603.95	v 4066
603.92/603.95	v 4067
603.92/603.95	v 4068
603.92/603.95	v 4069
603.92/603.95	v 4070
603.92/603.95	v 4071
603.92/603.95	v 4072
603.92/603.95	v 4073
603.92/603.95	v 4074
603.92/603.95	v 4075
603.92/603.95	v 4076
603.92/603.95	v 4078
603.92/603.95	v 4081
603.92/603.95	v 4084
603.92/603.95	v 4085
603.92/603.95	v 4086
603.92/603.95	v 4087
603.92/603.95	v 4088
603.92/603.95	v 4089
603.92/603.95	v 4090
603.92/603.95	v 4091
603.92/603.95	v 4093
603.92/603.95	v 4094
603.92/603.95	v 4095
603.92/603.95	v 4097
603.92/603.95	v 4098
603.92/603.95	v 4099
603.92/603.95	v 4100
603.92/603.95	v 4101
603.92/603.95	v 4102
603.92/603.95	v 4103
603.92/603.95	v 4105
603.92/603.95	v 4106
603.92/603.95	v 4109
603.92/603.95	v 4110
603.92/603.95	v 4112
603.92/603.95	v 4113
603.92/603.95	v 4114
603.92/603.95	v 4115
603.92/603.95	v 4117
603.92/603.95	v 4118
603.92/603.95	v 4121
603.92/603.95	v 4122
603.92/603.95	v 4124
603.92/603.95	v 4125
603.92/603.95	v 4126
603.92/603.95	v 4131
603.92/603.95	v 4132
603.92/603.95	v 4133
603.92/603.95	v 4135
603.92/603.95	v 4136
603.92/603.95	v 4137
603.92/603.95	v 4141
603.92/603.95	v 4142
603.92/603.95	v 4145
603.92/603.95	v 4146
603.92/603.95	v 4148
603.92/603.95	v 4149
603.92/603.95	v 4150
603.92/603.95	v 4153
603.92/603.95	v 4155
603.92/603.95	v 4156
603.92/603.95	v 4157
603.92/603.95	v 4158
603.92/603.95	v 4159
603.92/603.95	v 4160
603.92/603.95	v 4162
603.92/603.95	v 4163
603.92/603.95	v 4164
603.92/603.95	v 4165
603.92/603.95	v 4166
603.92/603.95	v 4167
603.92/603.95	v 4168
603.92/603.95	v 4169
603.92/603.95	v 4171
603.92/603.95	v 4173
603.92/603.95	v 4174
603.92/603.95	v 4175
603.92/603.95	v 4177
603.92/603.95	v 4178
603.92/603.95	v 4179
603.92/603.95	v 4180
603.92/603.95	v 4181
603.92/603.95	v 4182
603.92/603.95	v 4183
603.92/603.95	v 4184
603.92/603.95	v 4185
603.92/603.95	v 4186
603.92/603.95	v 4187
603.92/603.95	v 4189
603.92/603.95	v 4190
603.92/603.95	v 4191
603.92/603.95	v 4192
603.92/603.95	v 4193
603.92/603.95	v 4194
603.92/603.95	v 4195
603.92/603.95	v 4197
603.92/603.95	v 4198
603.92/603.95	v 4199
603.92/603.95	v 4200
603.92/603.95	v 4202
603.92/603.95	v 4204
603.92/603.95	v 4205
603.92/603.95	v 4206
603.92/603.95	v 4207
603.92/603.95	v 4208
603.92/603.95	v 4210
603.92/603.95	v 4212
603.92/603.95	v 4213
603.92/603.95	v 4214
603.92/603.95	v 4215
603.92/603.95	v 4216
603.92/603.95	v 4217
603.92/603.95	v 4218
603.92/603.95	v 4220
603.92/603.95	v 4221
603.92/603.95	v 4222
603.92/603.95	v 4226
603.92/603.95	v 4228
603.92/603.95	v 4229
603.92/603.95	v 4230
603.92/603.95	v 4231
603.92/603.95	v 4232
603.92/603.95	v 4233
603.92/603.95	v 4234
603.92/603.95	v 4236
603.92/603.95	v 4237
603.92/603.95	v 4239
603.92/603.95	v 4240
603.92/603.95	v 4241
603.92/603.95	v 4242
603.92/603.95	v 4243
603.92/603.95	v 4245
603.92/603.95	v 4246
603.92/603.95	v 4247
603.92/603.95	v 4248
603.92/603.95	v 4250
603.92/603.95	v 4251
603.92/603.95	v 4252
603.92/603.95	v 4254
603.92/603.95	v 4255
603.92/603.95	v 4256
603.92/603.95	v 4257
603.92/603.95	v 4258
603.92/603.95	v 4260
603.92/603.95	v 4262
603.92/603.95	v 4264
603.92/603.95	v 4265
603.92/603.95	v 4268
603.92/603.95	v 4269
603.92/603.95	v 4270
603.92/603.95	v 4271
603.92/603.95	v 4274
603.92/603.95	v 4275
603.92/603.95	v 4276
603.92/603.95	v 4278
603.92/603.95	v 4279
603.92/603.95	v 4280
603.92/603.95	v 4281
603.92/603.95	v 4282
603.92/603.95	v 4283
603.92/603.95	v 4284
603.92/603.95	v 4285
603.92/603.95	v 4287
603.92/603.95	v 4288
603.92/603.95	v 4290
603.92/603.95	v 4292
603.92/603.95	v 4293
603.92/603.95	v 4294
603.92/603.95	v 4295
603.92/603.95	v 4299
603.92/603.95	v 4300
603.92/603.95	v 4301
603.92/603.95	v 4304
603.92/603.95	v 4305
603.92/603.95	v 4306
603.92/603.95	v 4307
603.92/603.95	v 4308
603.92/603.95	v 4309
603.92/603.95	v 4310
603.92/603.95	v 4311
603.92/603.95	v 4312
603.92/603.95	v 4313
603.92/603.95	v 4314
603.92/603.95	v 4315
603.92/603.95	v 4317
603.92/603.95	v 4318
603.92/603.95	v 4319
603.92/603.95	v 4321
603.92/603.95	v 4322
603.92/603.95	v 4323
603.92/603.95	v 4324
603.92/603.95	v 4326
603.92/603.95	v 4328
603.92/603.95	v 4329
603.92/603.95	v 4330
603.92/603.95	v 4331
603.92/603.95	v 4332
603.92/603.95	v 4333
603.92/603.95	v 4334
603.92/603.95	v 4335
603.92/603.95	v 4337
603.92/603.95	v 4338
603.92/603.95	v 4340
603.92/603.95	v 4342
603.92/603.95	v 4343
603.92/603.95	v 4345
603.92/603.95	v 4346
603.92/603.95	v 4347
603.92/603.95	v 4349
603.92/603.95	v 4350
603.92/603.95	v 4351
603.92/603.95	v 4352
603.92/603.95	v 4353
603.92/603.95	v 4354
603.92/603.95	v 4355
603.92/603.95	v 4356
603.92/603.95	v 4357
603.92/603.95	v 4358
603.92/603.95	v 4359
603.92/603.95	v 4360
603.92/603.95	v 4361
603.92/603.95	v 4362
603.92/603.95	v 4363
603.92/603.95	v 4367
603.92/603.95	v 4368
603.92/603.95	v 4370
603.92/603.95	v 4371
603.92/603.95	v 4372
603.92/603.95	v 4373
603.92/603.95	v 4375
603.92/603.95	v 4376
603.92/603.95	v 4378
603.92/603.95	v 4380
603.92/603.95	v 4381
603.92/603.95	v 4382
603.92/603.95	v 4384
603.92/603.95	v 4387
603.92/603.95	v 4388
603.92/603.95	v 4389
603.92/603.95	v 4390
603.92/603.95	v 4392
603.92/603.95	v 4393
603.92/603.95	v 4394
603.92/603.95	v 4395
603.92/603.95	v 4396
603.92/603.95	v 4397
603.92/603.95	v 4398
603.92/603.95	v 4400
603.92/603.95	v 4401
603.92/603.95	v 4402
603.92/603.95	v 4403
603.92/603.95	v 4404
603.92/603.95	v 4405
603.92/603.95	v 4408
603.92/603.95	v 4410
603.92/603.95	v 4411
603.92/603.95	v 4412
603.92/603.95	v 4413
603.92/603.95	v 4416
603.92/603.95	v 4418
603.92/603.95	v 4420
603.92/603.95	v 4422
603.92/603.95	v 4424
603.92/603.95	v 4425
603.92/603.95	v 4427
603.92/603.95	v 4428
603.92/603.95	v 4429
603.92/603.95	v 4431
603.92/603.95	v 4432
603.92/603.95	v 4433
603.92/603.95	v 4434
603.92/603.95	v 4436
603.92/603.95	v 4437
603.92/603.95	v 4439
603.92/603.95	v 4440
603.92/603.95	v 4442
603.92/603.95	v 4443
603.92/603.95	v 4444
603.92/603.95	v 4445
603.92/603.95	v 4447
603.92/603.95	v 4448
603.92/603.95	v 4449
603.92/603.95	v 4450
603.92/603.95	v 4451
603.92/603.95	v 4453
603.92/603.95	v 4454
603.92/603.95	v 4457
603.92/603.95	v 4458
603.92/603.95	v 4459
603.92/603.95	v 4460
603.92/603.95	v 4463
603.92/603.95	v 4464
603.92/603.95	v 4465
603.92/603.95	v 4466
603.92/603.95	v 4468
603.92/603.95	v 4469
603.92/603.95	v 4470
603.92/603.95	v 4473
603.92/603.95	v 4474
603.92/603.95	v 4476
603.92/603.95	v 4477
603.92/603.95	v 4478
603.92/603.95	v 4479
603.92/603.95	v 4480
603.92/603.95	v 4482
603.92/603.95	v 4483
603.92/603.95	v 4485
603.92/603.95	v 4486
603.92/603.95	v 4487
603.92/603.95	v 4490
603.92/603.95	v 4491
603.92/603.95	v 4492
603.92/603.95	v 4493
603.92/603.95	v 4494
603.92/603.95	v 4496
603.92/603.95	v 4497
603.92/603.95	v 4498
603.92/603.95	v 4499
603.92/603.95	v 4500
603.92/603.95	v 4501
603.92/603.95	v 4502
603.92/603.95	v 4503
603.92/603.95	v 4504
603.92/603.95	v 4505
603.92/603.95	v 4506
603.92/603.95	v 4507
603.92/603.95	v 4508
603.92/603.95	v 4509
603.92/603.95	v 4510
603.92/603.95	v 4511
603.92/603.95	v 4512
603.92/603.95	v 4513
603.92/603.95	v 4514
603.92/603.95	v 4516
603.92/603.95	v 4517
603.92/603.95	v 4519
603.92/603.95	v 4520
603.92/603.95	v 4521
603.92/603.95	v 4522
603.92/603.95	v 4523
603.92/603.95	v 4526
603.92/603.95	v 4527
603.92/603.95	v 4528
603.92/603.95	v 4529
603.92/603.95	v 4530
603.92/603.95	v 4532
603.92/603.95	v 4533
603.92/603.95	v 4534
603.92/603.95	v 4535
603.92/603.95	v 4536
603.92/603.95	v 4537
603.92/603.95	v 4538
603.92/603.95	v 4539
603.92/603.95	v 4541
603.92/603.95	v 4542
603.92/603.95	v 4543
603.92/603.95	v 4544
603.92/603.95	v 4545
603.92/603.95	v 4547
603.92/603.95	v 4548
603.92/603.95	v 4549
603.92/603.95	v 4550
603.92/603.95	v 4551
603.92/603.95	v 4552
603.92/603.95	v 4553
603.92/603.95	v 4554
603.92/603.95	v 4558
603.92/603.95	v 4559
603.92/603.95	v 4560
603.92/603.95	v 4561
603.92/603.95	v 4562
603.92/603.95	v 4563
603.92/603.95	v 4564
603.92/603.95	v 4565
603.92/603.95	v 4567
603.92/603.95	v 4568
603.92/603.95	v 4572
603.92/603.95	v 4573
603.92/603.95	v 4574
603.92/603.95	v 4579
603.92/603.95	v 4580
603.92/603.95	v 4582
603.92/603.95	v 4583
603.92/603.95	v 4584
603.92/603.95	v 4588
603.92/603.95	v 4590
603.92/603.95	v 4593
603.92/603.95	v 4594
603.92/603.95	v 4595
603.92/603.95	v 4596
603.92/603.95	v 4598
603.92/603.95	v 4600
603.92/603.95	v 4601
603.92/603.95	v 4602
603.92/603.95	v 4604
603.92/603.95	v 4605
603.92/603.95	v 4606
603.92/603.95	v 4608
603.92/603.95	v 4609
603.92/603.95	v 4610
603.92/603.95	v 4611
603.92/603.95	v 4612
603.92/603.95	v 4614
603.92/603.95	v 4615
603.92/603.95	v 4616
603.92/603.95	v 4617
603.92/603.95	v 4619
603.92/603.95	v 4620
603.92/603.95	v 4621
603.92/603.95	v 4622
603.92/603.95	v 4623
603.92/603.95	v 4624
603.92/603.95	v 4625
603.92/603.95	v 4626
603.92/603.95	v 4627
603.92/603.95	v 4628
603.92/603.95	v 4629
603.92/603.95	v 4630
603.92/603.95	v 4631
603.92/603.95	v 4633
603.92/603.95	v 4634
603.92/603.95	v 4635
603.92/603.95	v 4636
603.92/603.95	v 4639
603.92/603.95	v 4640
603.92/603.95	v 4641
603.92/603.95	v 4643
603.92/603.95	v 4644
603.92/603.95	v 4645
603.92/603.95	v 4648
603.92/603.95	v 4649
603.92/603.95	v 4650
603.92/603.95	v 4651
603.92/603.95	v 4652
603.92/603.95	v 4653
603.92/603.95	v 4654
603.92/603.95	v 4656
603.92/603.95	v 4657
603.92/603.95	v 4658
603.92/603.95	v 4661
603.92/603.95	v 4662
603.92/603.95	v 4663
603.92/603.95	v 4664
603.92/603.95	v 4665
603.92/603.95	v 4666
603.92/603.95	v 4667
603.92/603.95	v 4669
603.92/603.95	v 4670
603.92/603.95	v 4671
603.92/603.95	v 4672
603.92/603.95	v 4673
603.92/603.95	v 4674
603.92/603.95	v 4675
603.92/603.95	v 4676
603.92/603.95	v 4677
603.92/603.95	v 4678
603.92/603.95	v 4679
603.92/603.95	v 4681
603.92/603.95	v 4683
603.92/603.95	v 4686
603.92/603.95	v 4687
603.92/603.95	v 4688
603.92/603.95	v 4689
603.92/603.95	v 4691
603.92/603.95	v 4694
603.92/603.95	v 4695
603.92/603.95	v 4696
603.92/603.95	v 4697
603.92/603.95	v 4699
603.92/603.95	v 4700
603.92/603.95	v 4701
603.92/603.95	v 4703
603.92/603.95	v 4705
603.92/603.95	v 4706
603.92/603.95	v 4707
603.92/603.95	v 4708
603.92/603.95	v 4709
603.92/603.95	v 4711
603.92/603.95	v 4712
603.92/603.95	v 4715
603.92/603.95	v 4716
603.92/603.95	v 4717
603.92/603.95	v 4718
603.92/603.95	v 4719
603.92/603.95	v 4720
603.92/603.95	v 4723
603.92/603.95	v 4724
603.92/603.95	v 4725
603.92/603.95	v 4726
603.92/603.95	v 4727
603.92/603.95	v 4729
603.92/603.95	v 4730
603.92/603.95	v 4731
603.92/603.95	v 4732
603.92/603.95	v 4733
603.92/603.95	v 4734
603.92/603.95	v 4735
603.92/603.95	v 4736
603.92/603.95	v 4738
603.92/603.95	v 4739
603.92/603.95	v 4740
603.92/603.95	v 4741
603.92/603.95	v 4743
603.92/603.95	v 4744
603.92/603.95	v 4745
603.92/603.95	v 4746
603.92/603.95	v 4748
603.92/603.95	v 4749
603.92/603.95	v 4751
603.92/603.95	v 4752
603.92/603.95	v 4754
603.92/603.95	v 4755
603.92/603.95	v 4758
603.92/603.95	v 4760
603.92/603.95	v 4763
603.92/603.95	v 4764
603.92/603.95	v 4765
603.92/603.95	v 4766
603.92/603.95	v 4769
603.92/603.95	v 4770
603.92/603.95	v 4771
603.92/603.95	v 4772
603.92/603.95	v 4777
603.92/603.95	v 4778
603.92/603.95	v 4779
603.92/603.95	v 4782
603.92/603.95	v 4783
603.92/603.95	v 4784
603.92/603.95	v 4785
603.92/603.95	v 4786
603.92/603.95	v 4787
603.92/603.95	v 4788
603.92/603.95	v 4789
603.92/603.95	v 4791
603.92/603.95	v 4792
603.92/603.95	v 4793
603.92/603.95	v 4794
603.92/603.95	v 4797
603.92/603.95	v 4798
603.92/603.95	v 4800
603.92/603.95	v 4801
603.92/603.95	v 4802
603.92/603.95	v 4804
603.92/603.95	v 4805
603.92/603.95	v 4808
603.92/603.95	v 4809
603.92/603.95	v 4810
603.92/603.95	v 4811
603.92/603.95	v 4812
603.92/603.95	v 4813
603.92/603.95	v 4814
603.92/603.95	v 4815
603.92/603.95	v 4816
603.92/603.95	v 4817
603.92/603.95	v 4818
603.92/603.95	v 4820
603.92/603.95	v 4821
603.92/603.95	v 4822
603.92/603.95	v 4824
603.92/603.95	v 4825
603.92/603.95	v 4826
603.92/603.95	v 4828
603.92/603.95	v 4829
603.92/603.95	v 4830
603.92/603.95	v 4831
603.92/603.95	v 4832
603.92/603.95	v 4833
603.92/603.95	v 4834
603.92/603.95	v 4835
603.92/603.95	v 4836
603.92/603.95	v 4837
603.92/603.95	v 4838
603.92/603.95	v 4839
603.92/603.95	v 4840
603.92/603.95	v 4841
603.92/603.95	v 4842
603.92/603.95	v 4843
603.92/603.95	v 4846
603.92/603.95	v 4848
603.92/603.95	v 4852
603.92/603.95	v 4855
603.92/603.95	v 4856
603.92/603.95	v 4858
603.92/603.95	v 4859
603.92/603.95	v 4860
603.92/603.95	v 4861
603.92/603.95	v 4862
603.92/603.95	v 4863
603.92/603.95	v 4864
603.92/603.95	v 4866
603.92/603.95	v 4867
603.92/603.95	v 4868
603.92/603.95	v 4869
603.92/603.95	v 4871
603.92/603.95	v 4872
603.92/603.95	v 4874
603.92/603.95	v 4877
603.92/603.95	v 4878
603.92/603.95	v 4879
603.92/603.95	v 4880
603.92/603.95	v 4881
603.92/603.95	v 4882
603.92/603.95	v 4883
603.92/603.95	v 4884
603.92/603.95	v 4886
603.92/603.95	v 4887
603.92/603.95	v 4888
603.92/603.95	v 4889
603.92/603.95	v 4890
603.92/603.95	v 4892
603.92/603.95	v 4893
603.92/603.95	v 4895
603.92/603.95	v 4896
603.92/603.95	v 4898
603.92/603.95	v 4900
603.92/603.95	v 4901
603.92/603.95	v 4902
603.92/603.95	v 4903
603.92/603.95	v 4904
603.92/603.95	v 4905
603.92/603.95	v 4906
603.92/603.95	v 4908
603.92/603.95	v 4910
603.92/603.95	v 4911
603.92/603.95	v 4912
603.92/603.95	v 4914
603.92/603.95	v 4915
603.92/603.95	v 4916
603.92/603.95	v 4918
603.92/603.95	v 4921
603.92/603.95	v 4922
603.92/603.95	v 4923
603.92/603.95	v 4924
603.92/603.95	v 4925
603.92/603.95	v 4926
603.92/603.95	v 4928
603.92/603.95	v 4929
603.92/603.95	v 4930
603.92/603.95	v 4933
603.92/603.95	v 4934
603.92/603.95	v 4935
603.92/603.95	v 4936
603.92/603.95	v 4937
603.92/603.95	v 4939
603.92/603.95	v 4942
603.92/603.95	v 4944
603.92/603.95	v 4945
603.92/603.95	v 4946
603.92/603.95	v 4948
603.92/603.95	v 4949
603.92/603.95	v 4950
603.92/603.95	v 4951
603.92/603.95	v 4952
603.92/603.95	v 4953
603.92/603.95	v 4954
603.92/603.95	v 4956
603.92/603.95	v 4959
603.92/603.95	v 4960
603.92/603.95	v 4962
603.92/603.95	v 4963
603.92/603.95	v 4966
603.92/603.95	v 4967
603.92/603.95	v 4968
603.92/603.95	v 4969
603.92/603.95	v 4970
603.92/603.95	v 4971
603.92/603.95	v 4972
603.92/603.95	v 4974
603.92/603.95	v 4976
603.92/603.95	v 4978
603.92/603.95	v 4980
603.92/603.95	v 4981
603.92/603.95	v 4982
603.92/603.95	v 4983
603.92/603.95	v 4984
603.92/603.95	v 4986
603.92/603.95	v 4987
603.92/603.95	v 4988
603.92/603.95	v 4990
603.92/603.95	v 4992
603.92/603.95	v 4993
603.92/603.95	v 4994
603.92/603.95	v 4997
603.92/603.95	v 4998
603.92/603.95	v 4999
603.92/603.95	v 5000
603.92/603.95	v 5001
603.92/603.95	v 5003
603.92/603.95	v 5004
603.92/603.95	v 5005
603.92/603.95	v 5006
603.92/603.95	v 5007
603.92/603.95	v 5008
603.92/603.95	v 5009
603.92/603.95	v 5010
603.92/603.95	v 5011
603.92/603.95	v 5012
603.92/603.95	v 5013
603.92/603.95	v 5015
603.92/603.95	v 5017
603.92/603.95	v 5018
603.92/603.95	v 5020
603.92/603.95	v 5022
603.92/603.95	v 5023
603.92/603.95	v 5024
603.92/603.95	v 5025
603.92/603.95	v 5026
603.92/603.95	v 5027
603.92/603.95	v 5028
603.92/603.95	v 5029
603.92/603.95	v 5030
603.92/603.95	v 5031
603.92/603.95	v 5032
603.92/603.95	v 5033
603.92/603.95	v 5034
603.92/603.95	v 5035
603.92/603.96	v 5036
603.92/603.96	v 5037
603.92/603.96	v 5038
603.92/603.96	v 5039
603.92/603.96	v 5041
603.92/603.96	v 5043
603.92/603.96	v 5044
603.92/603.96	v 5045
603.92/603.96	v 5046
603.92/603.96	v 5047
603.92/603.96	v 5051
603.92/603.96	v 5052
603.92/603.96	v 5055
603.92/603.96	v 5056
603.92/603.96	v 5057
603.92/603.96	v 5058
603.92/603.96	v 5060
603.92/603.96	v 5061
603.92/603.96	v 5062
603.92/603.96	v 5063
603.92/603.96	v 5064
603.92/603.96	v 5065
603.92/603.96	v 5066
603.92/603.96	v 5068
603.92/603.96	v 5069
603.92/603.96	v 5070
603.92/603.96	v 5071
603.92/603.96	v 5072
603.92/603.96	v 5073
603.92/603.96	v 5074
603.92/603.96	v 5075
603.92/603.96	v 5078
603.92/603.96	v 5079
603.92/603.96	v 5080
603.92/603.96	v 5081
603.92/603.96	v 5082
603.92/603.96	v 5084
603.92/603.96	v 5085
603.92/603.96	v 5086
603.92/603.96	v 5087
603.92/603.96	v 5088
603.92/603.96	v 5089
603.92/603.96	v 5090
603.92/603.96	v 5095
603.92/603.96	v 5096
603.92/603.96	v 5097
603.92/603.96	v 5098
603.92/603.96	v 5099
603.92/603.96	v 5102
603.92/603.96	v 5103
603.92/603.96	v 5105
603.92/603.96	v 5106
603.92/603.96	v 5107
603.92/603.96	v 5109
603.92/603.96	v 5111
603.92/603.96	v 5112
603.92/603.96	v 5113
603.92/603.96	v 5114
603.92/603.96	v 5115
603.92/603.96	v 5116
603.92/603.96	v 5117
603.92/603.96	v 5118
603.92/603.96	v 5119
603.92/603.96	v 5120
603.92/603.96	v 5121
603.92/603.96	v 5122
603.92/603.96	v 5123
603.92/603.96	v 5125
603.92/603.96	v 5126
603.92/603.96	v 5127
603.92/603.96	v 5128
603.92/603.96	v 5129
603.92/603.96	v 5130
603.92/603.96	v 5131
603.92/603.96	v 5132
603.92/603.96	v 5134
603.92/603.96	v 5135
603.92/603.96	v 5137
603.92/603.96	v 5138
603.92/603.96	v 5139
603.92/603.96	v 5140
603.92/603.96	v 5141
603.92/603.96	v 5142
603.92/603.96	v 5143
603.92/603.96	v 5146
603.92/603.96	v 5147
603.92/603.96	v 5148
603.92/603.96	v 5149
603.92/603.96	v 5151
603.92/603.96	v 5152
603.92/603.96	v 5157
603.92/603.96	v 5160
603.92/603.96	v 5161
603.92/603.96	v 5162
603.92/603.96	v 5163
603.92/603.96	v 5164
603.92/603.96	v 5165
603.92/603.96	v 5166
603.92/603.96	v 5167
603.92/603.96	v 5168
603.92/603.96	v 5169
603.92/603.96	v 5170
603.92/603.96	v 5171
603.92/603.96	v 5172
603.92/603.96	v 5173
603.92/603.96	v 5174
603.92/603.96	v 5176
603.92/603.96	v 5177
603.92/603.96	v 5178
603.92/603.96	v 5179
603.92/603.96	v 5180
603.92/603.96	v 5181
603.92/603.96	v 5183
603.92/603.96	v 5185
603.92/603.96	v 5186
603.92/603.96	v 5188
603.92/603.96	v 5189
603.92/603.96	v 5190
603.92/603.96	v 5191
603.92/603.96	v 5192
603.92/603.96	v 5193
603.92/603.96	v 5194
603.92/603.96	v 5195
603.92/603.96	v 5197
603.92/603.96	v 5198
603.92/603.96	v 5199
603.92/603.96	v 5200
603.92/603.96	v 5201
603.92/603.96	v 5202
603.92/603.96	v 5203
603.92/603.96	v 5204
603.92/603.96	v 5205
603.92/603.96	v 5207
603.92/603.96	v 5208
603.92/603.96	v 5209
603.92/603.96	v 5210
603.92/603.96	v 5211
603.92/603.96	v 5212
603.92/603.96	v 5213
603.92/603.96	v 5215
603.92/603.96	v 5216
603.92/603.96	v 5217
603.92/603.96	v 5218
603.92/603.96	v 5219
603.92/603.96	v 5220
603.92/603.96	v 5221
603.92/603.96	v 5223
603.92/603.96	v 5225
603.92/603.96	v 5226
603.92/603.96	v 5227
603.92/603.96	v 5228
603.92/603.96	v 5229
603.92/603.96	v 5230
603.92/603.96	v 5231
603.92/603.96	v 5232
603.92/603.96	v 5235
603.92/603.96	v 5236
603.92/603.96	v 5237
603.92/603.96	v 5239
603.92/603.96	v 5240
603.92/603.96	v 5242
603.92/603.96	v 5243
603.92/603.96	v 5244
603.92/603.96	v 5245
603.92/603.96	v 5246
603.92/603.96	v 5248
603.92/603.96	v 5249
603.92/603.96	v 5250
603.92/603.96	v 5251
603.92/603.96	v 5252
603.92/603.96	v 5254
603.92/603.96	v 5255
603.92/603.96	v 5258
603.92/603.96	v 5259
603.92/603.96	v 5260
603.92/603.96	v 5261
603.92/603.96	v 5262
603.92/603.96	v 5263
603.92/603.96	v 5265
603.92/603.96	v 5266
603.92/603.96	v 5267
603.92/603.96	v 5268
603.92/603.96	v 5269
603.92/603.96	v 5270
603.92/603.96	v 5271
603.92/603.96	v 5273
603.92/603.96	v 5274
603.92/603.96	v 5275
603.92/603.96	v 5276
603.92/603.96	v 5277
603.92/603.96	v 5280
603.92/603.96	v 5282
603.92/603.96	v 5284
603.92/603.96	v 5285
603.92/603.96	v 5286
603.92/603.96	v 5288
603.92/603.96	v 5289
603.92/603.96	v 5290
603.92/603.96	v 5291
603.92/603.96	v 5292
603.92/603.96	v 5293
603.92/603.96	v 5294
603.92/603.96	v 5295
603.92/603.96	v 5296
603.92/603.96	v 5298
603.92/603.96	v 5299
603.92/603.96	v 5300
603.92/603.96	v 5301
603.92/603.96	v 5302
603.92/603.96	v 5303
603.92/603.96	v 5304
603.92/603.96	v 5306
603.92/603.96	v 5307
603.92/603.96	v 5308
603.92/603.96	v 5309
603.92/603.96	v 5310
603.92/603.96	v 5311
603.92/603.96	v 5312
603.92/603.96	v 5313
603.92/603.96	v 5314
603.92/603.96	v 5316
603.92/603.96	v 5317
603.92/603.96	v 5318
603.92/603.96	v 5319
603.92/603.96	v 5320
603.92/603.96	v 5321
603.92/603.96	v 5322
603.92/603.96	v 5323
603.92/603.96	v 5324
603.92/603.96	v 5326
603.92/603.96	v 5327
603.92/603.96	v 5328
603.92/603.96	v 5329
603.92/603.96	v 5331
603.92/603.96	v 5332
603.92/603.96	v 5333
603.92/603.96	v 5334
603.92/603.96	v 5337
603.92/603.96	v 5338
603.92/603.96	v 5339
603.92/603.96	v 5340
603.92/603.96	v 5342
603.92/603.96	v 5343
603.92/603.96	v 5346
603.92/603.96	v 5347
603.92/603.96	v 5348
603.92/603.96	v 5349
603.92/603.96	v 5350
603.92/603.96	v 5351
603.92/603.96	v 5352
603.92/603.96	v 5353
603.92/603.96	v 5354
603.92/603.96	v 5355
603.92/603.96	v 5356
603.92/603.96	v 5357
603.92/603.96	v 5359
603.92/603.96	v 5360
603.92/603.96	v 5362
603.92/603.96	v 5363
603.92/603.96	v 5365
603.92/603.96	v 5366
603.92/603.96	v 5368
603.92/603.96	v 5370
603.92/603.96	v 5371
603.92/603.96	v 5372
603.92/603.96	v 5374
603.92/603.96	v 5375
603.92/603.96	v 5376
603.92/603.96	v 5377
603.92/603.96	v 5379
603.92/603.96	v 5380
603.92/603.96	v 5381
603.92/603.96	v 5383
603.92/603.96	v 5385
603.92/603.96	v 5386
603.92/603.96	v 5387
603.92/603.96	v 5389
603.92/603.96	v 5391
603.92/603.96	v 5392
603.92/603.96	v 5393
603.92/603.96	v 5394
603.92/603.96	v 5395
603.92/603.96	v 5396
603.92/603.96	v 5398
603.92/603.96	v 5400
603.92/603.96	v 5402
603.92/603.96	v 5403
603.92/603.96	v 5404
603.92/603.96	v 5405
603.92/603.96	v 5411
603.92/603.96	v 5412
603.92/603.96	v 5415
603.92/603.96	v 5417
603.92/603.96	v 5418
603.92/603.96	v 5419
603.92/603.96	v 5421
603.92/603.96	v 5422
603.92/603.96	v 5423
603.92/603.96	v 5425
603.92/603.96	v 5426
603.92/603.96	v 5427
603.92/603.96	v 5428
603.92/603.96	v 5429
603.92/603.96	v 5430
603.92/603.96	v 5431
603.92/603.96	v 5432
603.92/603.96	v 5433
603.92/603.96	v 5435
603.92/603.96	v 5436
603.92/603.96	v 5439
603.92/603.96	v 5441
603.92/603.96	v 5442
603.92/603.96	v 5443
603.92/603.96	v 5445
603.92/603.96	v 5446
603.92/603.96	v 5447
603.92/603.96	v 5448
603.92/603.96	v 5449
603.92/603.96	v 5450
603.92/603.96	v 5453
603.92/603.96	v 5454
603.92/603.96	v 5456
603.92/603.96	v 5457
603.92/603.96	v 5459
603.92/603.96	v 5462
603.92/603.96	v 5463
603.92/603.96	v 5464
603.92/603.96	v 5465
603.92/603.96	v 5466
603.92/603.96	v 5467
603.92/603.96	v 5469
603.92/603.96	v 5470
603.92/603.96	v 5472
603.92/603.96	v 5474
603.92/603.96	v 5475
603.92/603.96	v 5476
603.92/603.96	v 5478
603.92/603.96	v 5479
603.92/603.96	v 5480
603.92/603.96	v 5483
603.92/603.96	v 5484
603.92/603.96	v 5485
603.92/603.96	v 5487
603.92/603.96	v 5488
603.92/603.96	v 5489
603.92/603.96	v 5490
603.92/603.96	v 5491
603.92/603.96	v 5493
603.92/603.96	v 5494
603.92/603.96	v 5495
603.92/603.96	v 5496
603.92/603.96	v 5497
603.92/603.96	v 5498
603.92/603.96	v 5499
603.92/603.96	v 5500
603.92/603.96	v 5501
603.92/603.96	v 5502
603.92/603.96	v 5503
603.92/603.96	v 5504
603.92/603.96	v 5505
603.92/603.96	v 5506
603.92/603.96	v 5507
603.92/603.96	v 5508
603.92/603.96	v 5509
603.92/603.96	v 5510
603.92/603.96	v 5511
603.92/603.96	v 5512
603.92/603.96	v 5513
603.92/603.96	v 5514
603.92/603.96	v 5515
603.92/603.96	v 5516
603.92/603.96	v 5517
603.92/603.96	v 5518
603.92/603.96	v 5519
603.92/603.96	v 5520
603.92/603.96	v 5522
603.92/603.96	v 5523
603.92/603.96	v 5525
603.92/603.96	v 5526
603.92/603.96	v 5527
603.92/603.96	v 5528
603.92/603.96	v 5530
603.92/603.96	v 5531
603.92/603.96	v 5532
603.92/603.96	v 5534
603.92/603.96	v 5536
603.92/603.96	v 5537
603.92/603.96	v 5538
603.92/603.96	v 5539
603.92/603.96	v 5541
603.92/603.96	v 5542
603.92/603.96	v 5543
603.92/603.96	v 5545
603.92/603.96	v 5548
603.92/603.96	v 5549
603.92/603.96	v 5550
603.92/603.96	v 5552
603.92/603.96	v 5553
603.92/603.96	v 5556
603.92/603.96	v 5557
603.92/603.96	v 5558
603.92/603.96	v 5559
603.92/603.96	v 5560
603.92/603.96	v 5561
603.92/603.96	v 5562
603.92/603.96	v 5563
603.92/603.96	v 5564
603.92/603.96	v 5565
603.92/603.96	v 5566
603.92/603.96	v 5567
603.92/603.96	v 5568
603.92/603.96	v 5569
603.92/603.96	v 5571
603.92/603.96	v 5572
603.92/603.96	v 5575
603.92/603.96	v 5576
603.92/603.96	v 5577
603.92/603.96	v 5579
603.92/603.96	v 5580
603.92/603.96	v 5581
603.92/603.96	v 5582
603.92/603.96	v 5583
603.92/603.96	v 5584
603.92/603.96	v 5585
603.92/603.96	v 5589
603.92/603.96	v 5591
603.92/603.96	v 5592
603.92/603.96	v 5594
603.92/603.96	v 5595
603.92/603.96	v 5598
603.92/603.96	v 5600
603.92/603.96	v 5601
603.92/603.96	v 5602
603.92/603.96	v 5603
603.92/603.96	v 5604
603.92/603.96	v 5605
603.92/603.96	v 5606
603.92/603.96	v 5609
603.92/603.96	v 5610
603.92/603.96	v 5611
603.92/603.96	v 5612
603.92/603.96	v 5613
603.92/603.96	v 5614
603.92/603.96	v 5616
603.92/603.96	v 5617
603.92/603.96	v 5618
603.92/603.96	v 5619
603.92/603.96	v 5620
603.92/603.96	v 5622
603.92/603.96	v 5623
603.92/603.96	v 5624
603.92/603.96	v 5625
603.92/603.96	v 5628
603.92/603.96	v 5629
603.92/603.96	v 5630
603.92/603.96	v 5631
603.92/603.96	v 5632
603.92/603.96	v 5633
603.92/603.96	v 5634
603.92/603.96	v 5635
603.92/603.96	v 5637
603.92/603.96	v 5638
603.92/603.96	v 5639
603.92/603.96	v 5640
603.92/603.96	v 5642
603.92/603.96	v 5643
603.92/603.96	v 5646
603.92/603.96	v 5647
603.92/603.96	v 5648
603.92/603.96	v 5649
603.92/603.96	v 5650
603.92/603.96	v 5651
603.92/603.96	v 5652
603.92/603.96	v 5653
603.92/603.96	v 5654
603.92/603.96	v 5657
603.92/603.96	v 5658
603.92/603.96	v 5660
603.92/603.96	v 5661
603.92/603.96	v 5663
603.92/603.96	v 5664
603.92/603.96	v 5666
603.92/603.96	v 5667
603.92/603.96	v 5668
603.92/603.96	v 5669
603.92/603.96	v 5671
603.92/603.96	v 5672
603.92/603.96	v 5673
603.92/603.96	v 5674
603.92/603.96	v 5675
603.92/603.96	v 5676
603.92/603.96	v 5677
603.92/603.96	v 5679
603.92/603.96	v 5680
603.92/603.96	v 5681
603.92/603.96	v 5682
603.92/603.96	v 5683
603.92/603.96	v 5684
603.92/603.96	v 5685
603.92/603.96	v 5686
603.92/603.96	v 5687
603.92/603.96	v 5688
603.92/603.96	v 5689
603.92/603.96	v 5692
603.92/603.96	v 5693
603.92/603.96	v 5695
603.92/603.96	v 5696
603.92/603.96	v 5697
603.92/603.96	v 5698
603.92/603.96	v 5699
603.92/603.96	v 5701
603.92/603.96	v 5704
603.92/603.96	v 5705
603.92/603.96	v 5708
603.92/603.96	v 5709
603.92/603.96	v 5710
603.92/603.96	v 5711
603.92/603.96	v 5712
603.92/603.96	v 5713
603.92/603.96	v 5717
603.92/603.96	v 5719
603.92/603.96	v 5720
603.92/603.96	v 5721
603.92/603.96	v 5722
603.92/603.96	v 5724
603.92/603.96	v 5725
603.92/603.96	v 5726
603.92/603.96	v 5728
603.92/603.96	v 5729
603.92/603.96	v 5730
603.92/603.96	v 5731
603.92/603.96	v 5732
603.92/603.96	v 5733
603.92/603.96	v 5734
603.92/603.96	v 5735
603.92/603.96	v 5737
603.92/603.96	v 5738
603.92/603.96	v 5739
603.92/603.96	v 5740
603.92/603.96	v 5741
603.92/603.96	v 5742
603.92/603.96	v 5743
603.92/603.96	v 5744
603.92/603.96	v 5746
603.92/603.96	v 5747
603.92/603.96	v 5748
603.92/603.96	v 5749
603.92/603.96	v 5750
603.92/603.96	v 5751
603.92/603.96	v 5752
603.92/603.96	v 5753
603.92/603.96	v 5754
603.92/603.96	v 5756
603.92/603.96	v 5757
603.92/603.96	v 5758
603.92/603.96	v 5759
603.92/603.96	v 5760
603.92/603.96	v 5761
603.92/603.96	v 5764
603.92/603.96	v 5766
603.92/603.96	v 5768
603.92/603.96	v 5769
603.92/603.96	v 5770
603.92/603.96	v 5771
603.92/603.96	v 5773
603.92/603.96	v 5774
603.92/603.96	v 5775
603.92/603.96	v 5776
603.92/603.96	v 5778
603.92/603.96	v 5779
603.92/603.96	v 5780
603.92/603.96	v 5782
603.92/603.96	v 5783
603.92/603.96	v 5784
603.92/603.96	v 5785
603.92/603.96	v 5786
603.92/603.96	v 5787
603.92/603.96	v 5789
603.92/603.96	v 5790
603.92/603.96	v 5791
603.92/603.96	v 5792
603.92/603.96	v 5793
603.92/603.96	v 5800
603.92/603.96	v 5802
603.92/603.96	v 5804
603.92/603.96	v 5805
603.92/603.96	v 5806
603.92/603.96	v 5808
603.92/603.96	v 5810
603.92/603.96	v 5811
603.92/603.96	v 5812
603.92/603.96	v 5814
603.92/603.96	v 5815
603.92/603.96	v 5816
603.92/603.96	v 5817
603.92/603.96	v 5818
603.92/603.96	v 5820
603.92/603.96	v 5821
603.92/603.96	v 5822
603.92/603.96	v 5823
603.92/603.96	v 5824
603.92/603.96	v 5825
603.92/603.96	v 5826
603.92/603.96	v 5827
603.92/603.96	v 5828
603.92/603.96	v 5829
603.92/603.96	v 5830
603.92/603.96	v 5833
603.92/603.96	v 5834
603.92/603.96	v 5835
603.92/603.96	v 5836
603.92/603.96	v 5837
603.92/603.96	v 5839
603.92/603.96	v 5840
603.92/603.96	v 5841
603.92/603.96	v 5842
603.92/603.96	v 5843
603.92/603.96	v 5844
603.92/603.96	v 5845
603.92/603.96	v 5847
603.92/603.96	v 5848
603.92/603.96	v 5849
603.92/603.96	v 5851
603.92/603.96	v 5854
603.92/603.96	v 5855
603.92/603.96	v 5857
603.92/603.96	v 5858
603.92/603.96	v 5859
603.92/603.96	v 5861
603.92/603.96	v 5862
603.92/603.96	v 5863
603.92/603.96	v 5864
603.92/603.96	v 5865
603.92/603.96	v 5866
603.92/603.96	v 5867
603.92/603.96	v 5868
603.92/603.96	v 5869
603.92/603.96	v 5871
603.92/603.96	v 5872
603.92/603.96	v 5873
603.92/603.96	v 5875
603.92/603.96	v 5878
603.92/603.96	v 5880
603.92/603.96	v 5881
603.92/603.96	v 5882
603.92/603.96	v 5883
603.92/603.96	v 5884
603.92/603.96	v 5886
603.92/603.96	v 5890
603.92/603.96	v 5891
603.92/603.96	v 5893
603.92/603.96	v 5896
603.92/603.96	v 5897
603.92/603.96	v 5900
603.92/603.96	v 5902
603.92/603.96	v 5904
603.92/603.96	v 5908
603.92/603.96	v 5909
603.92/603.96	v 5910
603.92/603.96	v 5911
603.92/603.96	v 5912
603.92/603.96	v 5914
603.92/603.96	v 5915
603.92/603.96	v 5917
603.92/603.96	v 5918
603.92/603.96	v 5919
603.92/603.96	v 5920
603.92/603.96	v 5921
603.92/603.96	v 5922
603.92/603.96	v 5923
603.92/603.96	v 5924
603.92/603.96	v 5925
603.92/603.96	v 5926
603.92/603.96	v 5927
603.92/603.96	v 5928
603.92/603.96	v 5929
603.92/603.96	v 5930
603.92/603.96	v 5932
603.92/603.96	v 5934
603.92/603.96	v 5935
603.92/603.96	v 5937
603.92/603.96	v 5938
603.92/603.96	v 5939
603.92/603.96	v 5941
603.92/603.96	v 5942
603.92/603.96	v 5943
603.92/603.96	v 5946
603.92/603.96	v 5948
603.92/603.96	v 5949
603.92/603.96	v 5950
603.92/603.96	v 5951
603.92/603.96	v 5953
603.92/603.96	v 5954
603.92/603.96	v 5960
603.92/603.96	v 5961
603.92/603.96	v 5962
603.92/603.96	v 5963
603.92/603.96	v 5964
603.92/603.96	v 5967
603.92/603.96	v 5968
603.92/603.96	v 5969
603.92/603.96	v 5970
603.92/603.96	v 5972
603.92/603.96	v 5973
603.92/603.96	v 5975
603.92/603.96	v 5976
603.92/603.96	v 5977
603.92/603.96	v 5978
603.92/603.96	v 5979
603.92/603.96	v 5981
603.92/603.96	v 5982
603.92/603.96	v 5983
603.92/603.96	v 5984
603.92/603.96	v 5985
603.92/603.96	v 5986
603.92/603.96	v 5987
603.92/603.96	v 5988
603.92/603.96	v 5989
603.92/603.96	v 5991
603.92/603.96	v 5992
603.92/603.96	v 5993
603.92/603.96	v 5995
603.92/603.96	v 5996
603.92/603.96	v 5997
603.92/603.96	v 5998
603.92/603.96	v 5999
603.92/603.96	v 6000
603.92/603.96	v 6001
603.92/603.96	v 6002
603.92/603.96	v 6003
603.92/603.96	v 6005
603.92/603.96	v 6007
603.92/603.96	v 6008
603.92/603.96	v 6009
603.92/603.96	v 6011
603.92/603.96	v 6012
603.92/603.96	v 6013
603.92/603.96	v 6014
603.92/603.96	v 6015
603.92/603.96	v 6017
603.92/603.96	v 6018
603.92/603.96	v 6020
603.92/603.96	v 6021
603.92/603.96	v 6025
603.92/603.96	v 6026
603.92/603.96	v 6027
603.92/603.96	v 6028
603.92/603.96	v 6030
603.92/603.96	v 6032
603.92/603.96	v 6035
603.92/603.96	v 6036
603.92/603.96	v 6037
603.92/603.96	v 6038
603.92/603.96	v 6040
603.92/603.96	v 6041
603.92/603.96	v 6044
603.92/603.96	v 6045
603.92/603.96	v 6047
603.92/603.96	v 6048
603.92/603.96	v 6049
603.92/603.96	v 6052
603.92/603.96	v 6053
603.92/603.96	v 6054
603.92/603.96	v 6058
603.92/603.96	v 6060
603.92/603.96	v 6062
603.92/603.96	v 6065
603.92/603.96	v 6066
603.92/603.96	v 6067
603.92/603.96	v 6068
603.92/603.96	v 6069
603.92/603.96	v 6070
603.92/603.96	v 6075
603.92/603.96	v 6078
603.92/603.96	v 6080
603.92/603.96	v 6083
603.92/603.96	v 6084
603.92/603.96	v 6085
603.92/603.96	v 6086
603.92/603.96	v 6087
603.92/603.96	v 6088
603.92/603.96	v 6089
603.92/603.96	v 6090
603.92/603.96	v 6093
603.92/603.96	v 6094
603.92/603.96	v 6095
603.92/603.96	v 6096
603.92/603.96	v 6097
603.92/603.96	v 6098
603.92/603.96	v 6101
603.92/603.96	v 6102
603.92/603.96	v 6104
603.92/603.96	v 6105
603.92/603.96	v 6107
603.92/603.96	v 6108
603.92/603.96	v 6109
603.92/603.96	v 6110
603.92/603.96	v 6111
603.92/603.96	v 6112
603.92/603.96	v 6113
603.92/603.96	v 6114
603.92/603.96	v 6115
603.92/603.96	v 6116
603.92/603.96	v 6117
603.92/603.96	v 6118
603.92/603.96	v 6119
603.92/603.96	v 6120
603.92/603.96	v 6121
603.92/603.96	v 6123
603.92/603.96	v 6124
603.92/603.96	v 6126
603.92/603.96	v 6127
603.92/603.96	v 6128
603.92/603.96	v 6129
603.92/603.96	v 6133
603.92/603.96	v 6135
603.92/603.96	v 6136
603.92/603.96	v 6137
603.92/603.96	v 6138
603.92/603.96	v 6139
603.92/603.96	v 6140
603.92/603.96	v 6141
603.92/603.96	v 6142
603.92/603.96	v 6143
603.92/603.96	v 6145
603.92/603.96	v 6148
603.92/603.96	v 6150
603.92/603.96	v 6151
603.92/603.96	v 6152
603.92/603.96	v 6154
603.92/603.96	v 6155
603.92/603.96	v 6157
603.92/603.96	v 6158
603.92/603.96	v 6159
603.92/603.96	v 6160
603.92/603.96	v 6162
603.92/603.96	v 6164
603.92/603.96	v 6165
603.92/603.96	v 6166
603.92/603.96	v 6167
603.92/603.96	v 6168
603.92/603.96	v 6170
603.92/603.96	v 6172
603.92/603.96	v 6173
603.92/603.96	v 6174
603.92/603.96	v 6175
603.92/603.96	v 6176
603.92/603.96	v 6177
603.92/603.96	v 6178
603.92/603.96	v 6179
603.92/603.96	v 6180
603.92/603.96	v 6182
603.92/603.96	v 6183
603.92/603.96	v 6187
603.92/603.96	v 6188
603.92/603.96	v 6189
603.92/603.96	v 6190
603.92/603.96	v 6191
603.92/603.96	v 6192
603.92/603.96	v 6193
603.92/603.96	v 6194
603.92/603.96	v 6195
603.92/603.96	v 6196
603.92/603.96	v 6199
603.92/603.96	v 6200
603.92/603.96	v 6202
603.92/603.96	v 6203
603.92/603.96	v 6204
603.92/603.96	v 6205
603.92/603.96	v 6206
603.92/603.96	v 6207
603.92/603.96	v 6208
603.92/603.96	v 6209
603.92/603.96	v 6210
603.92/603.96	v 6212
603.92/603.96	v 6213
603.92/603.96	v 6215
603.92/603.96	v 6216
603.92/603.96	v 6217
603.92/603.96	v 6218
603.92/603.96	v 6221
603.92/603.96	v 6222
603.92/603.96	v 6223
603.92/603.96	v 6224
603.92/603.96	v 6225
603.92/603.96	v 6226
603.92/603.96	v 6228
603.92/603.96	v 6230
603.92/603.96	v 6232
603.92/603.96	v 6233
603.92/603.96	v 6234
603.92/603.96	v 6236
603.92/603.96	v 6237
603.92/603.96	v 6238
603.92/603.96	v 6239
603.92/603.96	v 6240
603.92/603.96	v 6241
603.92/603.96	v 6242
603.92/603.96	v 6243
603.92/603.96	v 6244
603.92/603.96	v 6245
603.92/603.96	v 6246
603.92/603.96	v 6248
603.92/603.96	v 6250
603.92/603.96	v 6251
603.92/603.96	v 6252
603.92/603.96	v 6253
603.92/603.96	v 6254
603.92/603.96	v 6255
603.92/603.96	v 6256
603.92/603.96	v 6257
603.92/603.96	v 6259
603.92/603.96	v 6260
603.92/603.96	v 6261
603.92/603.96	v 6262
603.92/603.96	v 6263
603.92/603.96	v 6264
603.92/603.96	v 6265
603.92/603.96	v 6266
603.92/603.96	v 6267
603.92/603.96	v 6268
603.92/603.96	v 6269
603.92/603.96	v 6270
603.92/603.96	v 6274
603.92/603.96	v 6275
603.92/603.96	v 6276
603.92/603.96	v 6277
603.92/603.96	v 6278
603.92/603.96	v 6279
603.92/603.96	v 6280
603.92/603.96	v 6283
603.92/603.96	v 6284
603.92/603.96	v 6287
603.92/603.96	v 6288
603.92/603.96	v 6289
603.92/603.96	v 6290
603.92/603.96	v 6291
603.92/603.96	v 6292
603.92/603.96	v 6293
603.92/603.96	v 6294
603.92/603.96	v 6295
603.92/603.96	v 6297
603.92/603.96	v 6298
603.92/603.96	v 6300
603.92/603.96	v 6301
603.92/603.96	v 6302
603.92/603.96	v 6303
603.92/603.96	v 6304
603.92/603.96	v 6305
603.92/603.96	v 6307
603.92/603.96	v 6308
603.92/603.96	v 6309
603.92/603.96	v 6310
603.92/603.96	v 6313
603.92/603.96	v 6314
603.92/603.96	v 6315
603.92/603.96	v 6316
603.92/603.96	v 6317
603.92/603.96	v 6318
603.92/603.96	v 6322
603.92/603.96	v 6323
603.92/603.96	v 6324
603.92/603.96	v 6325
603.92/603.96	v 6326
603.92/603.96	v 6327
603.92/603.96	v 6328
603.92/603.96	v 6329
603.92/603.96	v 6330
603.92/603.96	v 6331
603.92/603.96	v 6336
603.92/603.96	v 6337
603.92/603.96	v 6338
603.92/603.96	v 6339
603.92/603.96	v 6342
603.92/603.96	v 6343
603.92/603.96	v 6344
603.92/603.96	v 6345
603.92/603.96	v 6346
603.92/603.96	v 6347
603.92/603.96	v 6348
603.92/603.96	v 6349
603.92/603.96	v 6350
603.92/603.96	v 6351
603.92/603.96	v 6352
603.92/603.96	v 6353
603.92/603.96	v 6355
603.92/603.96	v 6356
603.92/603.96	v 6357
603.92/603.96	v 6358
603.92/603.96	v 6359
603.92/603.96	v 6360
603.92/603.96	v 6361
603.92/603.96	v 6362
603.92/603.96	v 6363
603.92/603.96	v 6364
603.92/603.96	v 6365
603.92/603.96	v 6366
603.92/603.96	v 6367
603.92/603.96	v 6368
603.92/603.96	v 6369
603.92/603.96	v 6370
603.92/603.96	v 6371
603.92/603.96	v 6372
603.92/603.96	v 6373
603.92/603.96	v 6374
603.92/603.96	v 6375
603.92/603.96	v 6377
603.92/603.96	v 6378
603.92/603.96	v 6379
603.92/603.96	v 6381
603.92/603.96	v 6383
603.92/603.96	v 6385
603.92/603.96	v 6388
603.92/603.96	v 6389
603.92/603.96	v 6390
603.92/603.96	v 6391
603.92/603.96	v 6392
603.92/603.96	v 6393
603.92/603.96	v 6394
603.92/603.96	v 6396
603.92/603.96	v 6397
603.92/603.96	v 6398
603.92/603.96	v 6401
603.92/603.96	v 6402
603.92/603.96	v 6403
603.92/603.96	v 6405
603.92/603.96	v 6408
603.92/603.96	v 6409
603.92/603.96	v 6410
603.92/603.96	v 6411
603.92/603.96	v 6414
603.92/603.96	v 6415
603.92/603.96	v 6416
603.92/603.96	v 6417
603.92/603.96	v 6418
603.92/603.96	v 6419
603.92/603.96	v 6420
603.92/603.96	v 6422
603.92/603.96	v 6423
603.92/603.96	v 6424
603.92/603.96	v 6425
603.92/603.96	v 6426
603.92/603.96	v 6427
603.92/603.96	v 6428
603.92/603.96	v 6429
603.92/603.96	v 6431
603.92/603.96	v 6432
603.92/603.96	v 6433
603.92/603.96	v 6434
603.92/603.96	v 6436
603.92/603.96	v 6439
603.92/603.96	v 6441
603.92/603.96	v 6443
603.92/603.96	v 6445
603.92/603.96	v 6446
603.92/603.96	v 6448
603.92/603.96	v 6449
603.92/603.96	v 6450
603.92/603.96	v 6451
603.92/603.96	v 6452
603.92/603.96	v 6453
603.92/603.96	v 6454
603.92/603.96	v 6455
603.92/603.96	v 6456
603.92/603.96	v 6459
603.92/603.96	v 6460
603.92/603.96	v 6461
603.92/603.96	v 6463
603.92/603.96	v 6464
603.92/603.96	v 6465
603.92/603.96	v 6466
603.92/603.96	v 6467
603.92/603.96	v 6468
603.92/603.96	v 6469
603.92/603.96	v 6470
603.92/603.96	v 6471
603.92/603.96	v 6472
603.92/603.96	v 6473
603.92/603.96	v 6474
603.92/603.96	v 6475
603.92/603.96	v 6476
603.92/603.96	v 6477
603.92/603.96	v 6479
603.92/603.96	v 6480
603.92/603.96	v 6481
603.92/603.96	v 6482
603.92/603.96	v 6483
603.92/603.96	v 6484
603.92/603.96	v 6485
603.92/603.96	v 6488
603.92/603.96	v 6490
603.92/603.96	v 6491
603.92/603.96	v 6492
603.92/603.96	v 6494
603.92/603.96	v 6495
603.92/603.96	v 6496
603.92/603.96	v 6497
603.92/603.96	v 6499
603.92/603.96	v 6500
603.92/603.96	v 6501
603.92/603.96	v 6502
603.92/603.96	v 6503
603.92/603.96	v 6504
603.92/603.96	v 6505
603.92/603.96	v 6506
603.92/603.96	v 6507
603.92/603.96	v 6508
603.92/603.96	v 6511
603.92/603.96	v 6513
603.92/603.96	v 6515
603.92/603.96	v 6516
603.92/603.96	v 6517
603.92/603.96	v 6518
603.92/603.96	v 6519
603.92/603.96	v 6520
603.92/603.96	v 6522
603.92/603.96	v 6524
603.92/603.96	v 6527
603.92/603.96	v 6528
603.92/603.96	v 6529
603.92/603.96	v 6530
603.92/603.96	v 6531
603.92/603.96	v 6532
603.92/603.96	v 6533
603.92/603.96	v 6534
603.92/603.96	v 6535
603.92/603.96	v 6537
603.92/603.96	v 6538
603.92/603.96	v 6539
603.92/603.96	v 6540
603.92/603.96	v 6541
603.92/603.96	v 6542
603.92/603.96	v 6543
603.92/603.96	v 6545
603.92/603.96	v 6546
603.92/603.96	v 6547
603.92/603.96	v 6548
603.92/603.96	v 6549
603.92/603.96	v 6550
603.92/603.96	v 6554
603.92/603.96	v 6555
603.92/603.96	v 6556
603.92/603.96	v 6557
603.92/603.96	v 6558
603.92/603.96	v 6559
603.92/603.96	v 6560
603.92/603.96	v 6561
603.92/603.96	v 6562
603.92/603.96	v 6563
603.92/603.96	v 6564
603.92/603.96	v 6565
603.92/603.96	v 6567
603.92/603.96	v 6568
603.92/603.96	v 6569
603.92/603.96	v 6570
603.92/603.96	v 6572
603.92/603.96	v 6573
603.92/603.96	v 6574
603.92/603.96	v 6576
603.92/603.96	v 6577
603.92/603.96	v 6579
603.92/603.96	v 6580
603.92/603.96	v 6581
603.92/603.96	v 6582
603.92/603.96	v 6584
603.92/603.96	v 6585
603.92/603.96	v 6588
603.92/603.96	v 6589
603.92/603.96	v 6590
603.92/603.96	v 6591
603.92/603.96	v 6592
603.92/603.96	v 6593
603.92/603.96	v 6594
603.92/603.96	v 6595
603.92/603.96	v 6596
603.92/603.96	v 6599
603.92/603.96	v 6600
603.92/603.96	v 6602
603.92/603.96	v 6603
603.92/603.96	v 6604
603.92/603.96	v 6605
603.92/603.96	v 6606
603.92/603.96	v 6607
603.92/603.96	v 6608
603.92/603.96	v 6609
603.92/603.96	v 6613
603.92/603.96	v 6614
603.92/603.96	v 6615
603.92/603.96	v 6617
603.92/603.96	v 6618
603.92/603.96	v 6620
603.92/603.96	v 6622
603.92/603.96	v 6623
603.92/603.96	v 6624
603.92/603.96	v 6626
603.92/603.96	v 6627
603.92/603.96	v 6628
603.92/603.96	v 6629
603.92/603.96	v 6630
603.92/603.96	v 6631
603.92/603.96	v 6633
603.92/603.96	v 6636
603.92/603.96	v 6637
603.92/603.96	v 6638
603.92/603.96	v 6639
603.92/603.96	v 6640
603.92/603.96	v 6641
603.92/603.96	v 6643
603.92/603.96	v 6644
603.92/603.96	v 6646
603.92/603.96	v 6647
603.92/603.96	v 6648
603.92/603.96	v 6650
603.92/603.96	v 6651
603.92/603.96	v 6652
603.92/603.96	v 6655
603.92/603.96	v 6657
603.92/603.96	v 6659
603.92/603.96	v 6660
603.92/603.96	v 6662
603.92/603.96	v 6663
603.92/603.96	v 6666
603.92/603.96	v 6667
603.92/603.96	v 6668
603.92/603.96	v 6669
603.92/603.96	v 6670
603.92/603.96	v 6671
603.92/603.96	v 6673
603.92/603.96	v 6676
603.92/603.96	v 6677
603.92/603.96	v 6678
603.92/603.96	v 6681
603.92/603.96	v 6682
603.92/603.96	v 6683
603.92/603.96	v 6684
603.92/603.96	v 6686
603.92/603.96	v 6687
603.92/603.96	v 6688
603.92/603.96	v 6689
603.92/603.96	v 6691
603.92/603.96	v 6692
603.92/603.96	v 6693
603.92/603.96	v 6695
603.92/603.96	v 6697
603.92/603.96	v 6698
603.92/603.96	v 6699
603.92/603.96	v 6700
603.92/603.96	v 6702
603.92/603.96	v 6703
603.92/603.96	v 6704
603.92/603.96	v 6705
603.92/603.96	v 6706
603.92/603.96	v 6707
603.92/603.96	v 6708
603.92/603.96	v 6710
603.92/603.96	v 6711
603.92/603.96	v 6713
603.92/603.96	v 6714
603.92/603.96	v 6715
603.92/603.96	v 6716
603.92/603.96	v 6717
603.92/603.96	v 6718
603.92/603.96	v 6721
603.92/603.96	v 6723
603.92/603.96	v 6724
603.92/603.96	v 6725
603.92/603.96	v 6726
603.92/603.96	v 6727
603.92/603.96	v 6728
603.92/603.96	v 6729
603.92/603.96	v 6730
603.92/603.96	v 6731
603.92/603.96	v 6732
603.92/603.96	v 6734
603.92/603.96	v 6738
603.92/603.96	v 6739
603.92/603.96	v 6741
603.92/603.96	v 6742
603.92/603.96	v 6743
603.92/603.96	v 6744
603.92/603.96	v 6745
603.92/603.96	v 6747
603.92/603.96	v 6749
603.92/603.96	v 6750
603.92/603.96	v 6753
603.92/603.96	v 6754
603.92/603.96	v 6755
603.92/603.96	v 6756
603.92/603.96	v 6757
603.92/603.96	v 6758
603.92/603.96	v 6759
603.92/603.96	v 6760
603.92/603.96	v 6761
603.92/603.96	v 6762
603.92/603.96	v 6763
603.92/603.96	v 6764
603.92/603.96	v 6765
603.92/603.96	v 6767
603.92/603.96	v 6768
603.92/603.96	v 6769
603.92/603.96	v 6770
603.92/603.96	v 6771
603.92/603.96	v 6773
603.92/603.96	v 6774
603.92/603.96	v 6775
603.92/603.96	v 6777
603.92/603.96	v 6779
603.92/603.96	v 6781
603.92/603.96	v 6782
603.92/603.96	v 6783
603.92/603.96	v 6784
603.92/603.96	v 6786
603.92/603.96	v 6787
603.92/603.96	v 6788
603.92/603.96	v 6789
603.92/603.96	v 6790
603.92/603.96	v 6793
603.92/603.96	v 6794
603.92/603.96	v 6795
603.92/603.96	v 6796
603.92/603.96	v 6798
603.92/603.96	v 6799
603.92/603.96	v 6800
603.92/603.96	v 6802
603.92/603.96	v 6803
603.92/603.96	v 6804
603.92/603.96	v 6805
603.92/603.96	v 6806
603.92/603.96	v 6807
603.92/603.96	v 6808
603.92/603.96	v 6810
603.92/603.96	v 6811
603.92/603.96	v 6813
603.92/603.96	v 6814
603.92/603.96	v 6815
603.92/603.96	v 6816
603.92/603.96	v 6818
603.92/603.96	v 6819
603.92/603.96	v 6820
603.92/603.96	v 6821
603.92/603.96	v 6822
603.92/603.96	v 6823
603.92/603.96	v 6824
603.92/603.96	v 6825
603.92/603.96	v 6826
603.92/603.96	v 6828
603.92/603.96	v 6829
603.92/603.96	v 6831
603.92/603.96	v 6832
603.92/603.96	v 6833
603.92/603.96	v 6834
603.92/603.96	v 6836
603.92/603.96	v 6837
603.92/603.96	v 6838
603.92/603.96	v 6839
603.92/603.96	v 6840
603.92/603.96	v 6841
603.92/603.96	v 6842
603.92/603.96	v 6844
603.92/603.96	v 6845
603.92/603.96	v 6846
603.92/603.96	v 6847
603.92/603.96	v 6848
603.92/603.96	v 6849
603.92/603.96	v 6850
603.92/603.96	v 6851
603.92/603.96	v 6853
603.92/603.96	v 6855
603.92/603.96	v 6856
603.92/603.96	v 6857
603.92/603.96	v 6858
603.92/603.96	v 6860
603.92/603.96	v 6861
603.92/603.96	v 6862
603.92/603.96	v 6863
603.92/603.96	v 6864
603.92/603.96	v 6865
603.92/603.96	v 6866
603.92/603.96	v 6868
603.92/603.96	v 6869
603.92/603.96	v 6872
603.92/603.96	v 6873
603.92/603.96	v 6875
603.92/603.96	v 6877
603.92/603.96	v 6878
603.92/603.96	v 6879
603.92/603.96	v 6880
603.92/603.96	v 6882
603.92/603.96	v 6883
603.92/603.96	v 6884
603.92/603.96	v 6885
603.92/603.96	v 6886
603.92/603.96	v 6887
603.92/603.96	v 6888
603.92/603.96	v 6889
603.92/603.96	v 6890
603.92/603.96	v 6891
603.92/603.96	v 6892
603.92/603.96	v 6894
603.92/603.96	v 6895
603.92/603.96	v 6896
603.92/603.96	v 6897
603.92/603.96	v 6898
603.92/603.96	v 6899
603.92/603.96	v 6900
603.92/603.96	v 6901
603.92/603.96	v 6903
603.92/603.96	v 6906
603.92/603.96	v 6907
603.92/603.96	v 6908
603.92/603.96	v 6909
603.92/603.96	v 6910
603.92/603.96	v 6911
603.92/603.96	v 6912
603.92/603.96	v 6913
603.92/603.96	v 6915
603.92/603.96	v 6918
603.92/603.96	v 6919
603.92/603.96	v 6923
603.92/603.96	v 6924
603.92/603.96	v 6925
603.92/603.96	v 6926
603.92/603.96	v 6927
603.92/603.96	v 6929
603.92/603.96	v 6930
603.92/603.96	v 6931
603.92/603.96	v 6932
603.92/603.96	v 6934
603.92/603.96	v 6935
603.92/603.96	v 6936
603.92/603.96	v 6937
603.92/603.96	v 6938
603.92/603.96	v 6939
603.92/603.96	v 6941
603.92/603.96	v 6942
603.92/603.96	v 6943
603.92/603.96	v 6944
603.92/603.96	v 6945
603.92/603.96	v 6946
603.92/603.96	v 6947
603.92/603.96	v 6948
603.92/603.96	v 6949
603.92/603.96	v 6950
603.92/603.96	v 6951
603.92/603.96	v 6952
603.92/603.96	v 6953
603.92/603.96	v 6954
603.92/603.96	v 6956
603.92/603.96	v 6958
603.92/603.96	v 6959
603.92/603.96	v 6960
603.92/603.96	v 6961
603.92/603.96	v 6963
603.92/603.96	v 6964
603.92/603.96	v 6965
603.92/603.96	v 6968
603.92/603.96	v 6970
603.92/603.96	v 6972
603.92/603.96	v 6973
603.92/603.96	v 6975
603.92/603.96	v 6979
603.92/603.96	v 6981
603.92/603.96	v 6982
603.92/603.96	v 6983
603.92/603.96	v 6984
603.92/603.96	v 6985
603.92/603.96	v 6986
603.92/603.96	v 6988
603.92/603.96	v 6989
603.92/603.96	v 6990
603.92/603.96	v 6991
603.92/603.96	v 6993
603.92/603.96	v 6996
603.92/603.96	v 6997
603.92/603.96	v 6999
603.92/603.96	v 7002
603.92/603.96	v 7004
603.92/603.96	v 7005
603.92/603.96	v 7006
603.92/603.96	v 7007
603.92/603.96	v 7008
603.92/603.96	v 7009
603.92/603.96	v 7011
603.92/603.96	v 7012
603.92/603.96	v 7013
603.92/603.96	v 7014
603.92/603.96	v 7015
603.92/603.96	v 7016
603.92/603.96	v 7017
603.92/603.96	v 7018
603.92/603.96	v 7019
603.92/603.96	v 7020
603.92/603.96	v 7021
603.92/603.96	v 7022
603.92/603.96	v 7023
603.92/603.96	v 7025
603.92/603.96	v 7026
603.92/603.96	v 7028
603.92/603.96	v 7029
603.92/603.96	v 7031
603.92/603.96	v 7033
603.92/603.96	v 7035
603.92/603.96	v 7036
603.92/603.96	v 7037
603.92/603.96	v 7038
603.92/603.96	v 7039
603.92/603.96	v 7040
603.92/603.96	v 7041
603.92/603.96	v 7042
603.92/603.96	v 7043
603.92/603.96	v 7044
603.92/603.96	v 7045
603.92/603.96	v 7046
603.92/603.96	v 7047
603.92/603.96	v 7048
603.92/603.96	v 7049
603.92/603.96	v 7051
603.92/603.96	v 7052
603.92/603.96	v 7054
603.92/603.96	v 7056
603.92/603.96	v 7057
603.92/603.96	v 7060
603.92/603.96	v 7061
603.92/603.96	v 7062
603.92/603.96	v 7063
603.92/603.96	v 7064
603.92/603.96	v 7066
603.92/603.96	v 7067
603.92/603.96	v 7068
603.92/603.96	v 7069
603.92/603.96	v 7070
603.92/603.96	v 7073
603.92/603.96	v 7075
603.92/603.96	v 7076
603.92/603.96	v 7077
603.92/603.96	v 7078
603.92/603.96	v 7079
603.92/603.96	v 7080
603.92/603.96	v 7081
603.92/603.96	v 7083
603.92/603.96	v 7084
603.92/603.96	v 7085
603.92/603.96	v 7086
603.92/603.96	v 7087
603.92/603.96	v 7089
603.92/603.96	v 7090
603.92/603.96	v 7091
603.92/603.96	v 7092
603.92/603.96	v 7093
603.92/603.96	v 7094
603.92/603.96	v 7095
603.92/603.96	v 7096
603.92/603.96	v 7097
603.92/603.96	v 7098
603.92/603.96	v 7100
603.92/603.96	v 7101
603.92/603.96	v 7103
603.92/603.96	v 7104
603.92/603.96	v 7106
603.92/603.96	v 7107
603.92/603.96	v 7108
603.92/603.96	v 7109
603.92/603.96	v 7111
603.92/603.96	v 7112
603.92/603.96	v 7114
603.92/603.96	v 7115
603.92/603.96	v 7117
603.92/603.96	v 7118
603.92/603.96	v 7121
603.92/603.96	v 0
603.92/603.96	c [picomus] computed 5347 irredundant clauses 75%
603.92/603.96	c [picomus] 177 reductions in 604.0 seconds

Verifier Data 

OK	5347

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3493822-1307810047/watcher-3493822-1307810047 -o /tmp/evaluation-result-3493822-1307810047/solver-3493822-1307810047 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493822-1307810047.cnf 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.20 2.71 3.26 4/188 18759
/proc/meminfo: memFree=31578440/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=1336 CPUtime=0 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 282 0 0 0 0 0 0 0 25 0 1 0 892603509 1368064 235 33554432000 134512640 135072097 4289838976 18446744073709551615 134536667 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 334 235 67 137 0 195 0

[startup+0.089296 s]
/proc/loadavg: 1.20 2.71 3.26 4/188 18759
/proc/meminfo: memFree=31578440/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=1732 CPUtime=0.08 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 367 0 0 0 8 0 0 0 25 0 1 0 892603509 1773568 320 33554432000 134512640 135072097 4289838976 18446744073709551615 134558264 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 433 320 68 137 0 294 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1732

[startup+0.100294 s]
/proc/loadavg: 1.20 2.71 3.26 4/188 18759
/proc/meminfo: memFree=31578440/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=1732 CPUtime=0.09 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 378 0 0 0 9 0 0 0 25 0 1 0 892603509 1773568 331 33554432000 134512640 135072097 4289838976 18446744073709551615 134558253 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 433 331 68 137 0 294 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1732

[startup+0.300315 s]
/proc/loadavg: 1.20 2.71 3.26 4/188 18759
/proc/meminfo: memFree=31578440/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=2536 CPUtime=0.29 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 562 0 0 0 29 0 0 0 25 0 1 0 892603509 2596864 515 33554432000 134512640 135072097 4289838976 18446744073709551615 134556733 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 634 515 68 137 0 495 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2536

[startup+0.700246 s]
/proc/loadavg: 1.20 2.71 3.26 4/188 18759
/proc/meminfo: memFree=31578440/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=4020 CPUtime=0.69 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 918 0 0 0 69 0 0 0 25 0 1 0 892603509 4116480 871 33554432000 134512640 135072097 4289838976 18446744073709551615 134520004 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 1005 871 69 137 0 866 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4020

[startup+1.50105 s]
/proc/loadavg: 1.20 2.71 3.26 6/190 18761
/proc/meminfo: memFree=31562972/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=6660 CPUtime=1.49 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 1573 0 0 0 149 0 0 0 25 0 1 0 892603509 6819840 1526 33554432000 134512640 135072097 4289838976 18446744073709551615 134541819 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 1665 1526 69 137 0 1526 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6660

[startup+3.10076 s]
/proc/loadavg: 1.20 2.71 3.26 6/190 18761
/proc/meminfo: memFree=31554912/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=11668 CPUtime=3.09 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 2788 0 0 0 309 0 0 0 25 0 1 0 892603509 11948032 2741 33554432000 134512640 135072097 4289838976 18446744073709551615 134520060 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 2917 2741 69 137 0 2778 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11668

[startup+6.30019 s]
/proc/loadavg: 1.43 2.73 3.27 6/190 18761
/proc/meminfo: memFree=31556712/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=14340 CPUtime=6.29 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 3715 0 0 0 629 0 0 0 25 0 1 0 892603509 14684160 3503 33554432000 134512640 135072097 4289838976 18446744073709551615 134543468 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 3585 3503 76 137 0 3446 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14340

[startup+12.7011 s]
/proc/loadavg: 1.63 2.75 3.27 6/190 18761
/proc/meminfo: memFree=31556356/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=4332 CPUtime=12.69 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 9327 0 0 0 1268 1 0 0 25 0 1 0 892603509 4435968 968 33554432000 134512640 135072097 4289838976 18446744073709551615 134543804 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 1083 968 76 137 0 944 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 4332

[startup+25.5008 s]
/proc/loadavg: 2.16 2.81 3.28 6/190 18762
/proc/meminfo: memFree=31425032/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=9268 CPUtime=25.49 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 20814 0 0 0 2546 3 0 0 25 0 1 0 892603509 9490432 2209 33554432000 134512640 135072097 4289838976 18446744073709551615 134543471 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 2317 2209 76 137 0 2178 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 9268

[startup+51.1002 s]
/proc/loadavg: 2.78 2.91 3.30 6/190 18762
/proc/meminfo: memFree=31349572/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=43376 CPUtime=51.1 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 44310 0 0 0 5103 7 0 0 25 0 1 0 892603509 44417024 10745 33554432000 134512640 135072097 4289838976 18446744073709551615 134541129 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 10844 10745 76 137 0 10705 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 43376

[startup+102.306 s]
/proc/loadavg: 3.47 3.07 3.33 6/190 18764
/proc/meminfo: memFree=31283804/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=68732 CPUtime=102.3 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 50636 0 0 0 10223 7 0 0 25 0 1 0 892603509 70381568 17067 33554432000 134512640 135072097 4289838976 18446744073709551615 134520191 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 17183 17067 77 137 0 17044 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 68732

[startup+162.3 s]
/proc/loadavg: 3.94 3.27 3.38 6/190 18765
/proc/meminfo: memFree=31249144/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=96028 CPUtime=162.3 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 57479 0 0 0 16222 8 0 0 25 0 1 0 892603509 98332672 23907 33554432000 134512640 135072097 4289838976 18446744073709551615 134557104 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 24007 23907 77 137 0 23868 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 96028

[startup+222.301 s]
/proc/loadavg: 4.01 3.42 3.42 6/190 18767
/proc/meminfo: memFree=31247716/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=96028 CPUtime=222.3 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 57480 0 0 0 22222 8 0 0 25 0 1 0 892603509 98332672 23908 33554432000 134512640 135072097 4289838976 18446744073709551615 134518017 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 24007 23908 77 137 0 23868 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 96028

[startup+282.3 s]
/proc/loadavg: 4.00 3.52 3.46 6/190 18806
/proc/meminfo: memFree=31276500/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=96028 CPUtime=282.3 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 57480 0 0 0 28222 8 0 0 25 0 1 0 892603509 98332672 23908 33554432000 134512640 135072097 4289838976 18446744073709551615 134541142 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 24007 23908 77 137 0 23868 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 96028

[startup+342.3 s]
/proc/loadavg: 4.00 3.60 3.49 6/190 18808
/proc/meminfo: memFree=31315700/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=96028 CPUtime=342.3 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 57480 0 0 0 34222 8 0 0 25 0 1 0 892603509 98332672 23908 33554432000 134512640 135072097 4289838976 18446744073709551615 134557720 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 24007 23908 77 137 0 23868 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 96028

[startup+402.301 s]
/proc/loadavg: 3.47 3.53 3.47 5/184 18834
/proc/meminfo: memFree=31373720/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=96028 CPUtime=402.3 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 57480 0 0 0 40222 8 0 0 25 0 1 0 892603509 98332672 23908 33554432000 134512640 135072097 4289838976 18446744073709551615 134518015 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 24007 23908 77 137 0 23868 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 96028

[startup+462.3 s]
/proc/loadavg: 3.17 3.43 3.44 5/184 18835
/proc/meminfo: memFree=31332244/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=96028 CPUtime=462.3 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 57480 0 0 0 46222 8 0 0 25 0 1 0 892603509 98332672 23908 33554432000 134512640 135072097 4289838976 18446744073709551615 134557171 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 24007 23908 77 137 0 23868 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 96028

[startup+522.3 s]
/proc/loadavg: 2.46 3.18 3.35 3/178 18861
/proc/meminfo: memFree=31453396/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=96028 CPUtime=522.3 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 57480 0 0 0 52222 8 0 0 25 0 1 0 892603509 98332672 23908 33554432000 134512640 135072097 4289838976 18446744073709551615 134518015 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 24007 23908 77 137 0 23868 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 96028

[startup+582.301 s]
/proc/loadavg: 2.17 2.97 3.26 3/178 18862
/proc/meminfo: memFree=31426680/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=96028 CPUtime=582.3 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 57480 0 0 0 58222 8 0 0 25 0 1 0 892603509 98332672 23908 33554432000 134512640 135072097 4289838976 18446744073709551615 134521763 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 24007 23908 77 137 0 23868 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 96028

Solver just ended. Dumping a history of the last processes samples

[startup+588.701 s]
/proc/loadavg: 2.14 2.93 3.25 3/178 18863
/proc/meminfo: memFree=31472300/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=96028 CPUtime=588.7 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 57480 0 0 0 58862 8 0 0 25 0 1 0 892603509 98332672 23908 33554432000 134512640 135072097 4289838976 18446744073709551615 134556770 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 24007 23908 77 137 0 23868 0
Current children cumulated CPU time (s) 588.7
Current children cumulated vsize (KiB) 96028

[startup+595.107 s]
/proc/loadavg: 2.13 2.92 3.24 3/178 18863
/proc/meminfo: memFree=31462380/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=96028 CPUtime=595.11 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 57480 0 0 0 59503 8 0 0 25 0 1 0 892603509 98332672 23908 33554432000 134512640 135072097 4289838976 18446744073709551615 134556733 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 24007 23908 77 137 0 23868 0
Current children cumulated CPU time (s) 595.11
Current children cumulated vsize (KiB) 96028

[startup+598.301 s]
/proc/loadavg: 2.12 2.90 3.23 3/178 18863
/proc/meminfo: memFree=31456548/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=96028 CPUtime=598.31 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 57480 0 0 0 59823 8 0 0 25 0 1 0 892603509 98332672 23908 33554432000 134512640 135072097 4289838976 18446744073709551615 134543764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 24007 23908 77 137 0 23868 0
Current children cumulated CPU time (s) 598.31
Current children cumulated vsize (KiB) 96028

[startup+601.5 s]
/proc/loadavg: 2.12 2.90 3.23 3/178 18863
/proc/meminfo: memFree=31454436/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=96028 CPUtime=601.5 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 57480 0 0 0 60142 8 0 0 25 0 1 0 892603509 98332672 23908 33554432000 134512640 135072097 4289838976 18446744073709551615 134543669 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 24007 23908 77 137 0 23868 0
Current children cumulated CPU time (s) 601.5
Current children cumulated vsize (KiB) 96028

[startup+603.1 s]
/proc/loadavg: 2.11 2.89 3.23 3/178 18863
/proc/meminfo: memFree=31449600/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=96028 CPUtime=603.11 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 57480 0 0 0 60302 9 0 0 25 0 1 0 892603509 98332672 23908 33554432000 134512640 135072097 4289838976 18446744073709551615 134543792 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 24007 23908 77 137 0 23868 0
Current children cumulated CPU time (s) 603.11
Current children cumulated vsize (KiB) 96028

[startup+603.501 s]
/proc/loadavg: 2.11 2.89 3.23 3/178 18863
/proc/meminfo: memFree=31449600/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=96028 CPUtime=603.51 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 57480 0 0 0 60342 9 0 0 25 0 1 0 892603509 98332672 23908 33554432000 134512640 135072097 4289838976 18446744073709551615 134543764 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 24007 23908 77 137 0 23868 0
Current children cumulated CPU time (s) 603.51
Current children cumulated vsize (KiB) 96028

[startup+603.906 s]
/proc/loadavg: 2.11 2.89 3.23 3/178 18863
/proc/meminfo: memFree=31447864/32950928 swapFree=67048868/67111528
[pid=18759] ppid=18754 vsize=96028 CPUtime=603.92 cores=1,3
/proc/18759/stat : 18759 (picomus) R 18754 18759 17232 0 -1 4202496 57480 0 0 0 60383 9 0 0 25 0 1 0 892603509 98332672 23908 33554432000 134512640 135072097 4289838976 18446744073709551615 134543746 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18759/statm: 24007 23908 77 137 0 23868 0
Current children cumulated CPU time (s) 603.92
Current children cumulated vsize (KiB) 96028

Child status: 20
Real time (s): 603.953
CPU time (s): 603.965
CPU user time (s): 603.87
CPU system time (s): 0.094985
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 96028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 603.87
system time used= 0.094985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57481
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1369

runsolver used 0.947855 second user time and 2.22866 second system time

The end

Launcher Data 

Begin job on node122 at 2011-06-11 18:34:07
IDJOB=3493822
IDBENCH=88014
IDSOLVER=1974
FILE ID=node122/3493822-1307810047
RUNJOBID= node122-1307810047-18704
PBS_JOBID= 13551057
Free space on /tmp= 74104 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net40-30-5.shuffled.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493822-1307810047/watcher-3493822-1307810047 -o /tmp/evaluation-result-3493822-1307810047/solver-3493822-1307810047 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3493822-1307810047.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 724dd7b562383dbe2ba9c79b64cddfd0
RANDOM SEED=852355629

node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31579496 kB
Buffers:        170028 kB
Cached:        1025516 kB
SwapCached:      14716 kB
Active:         353852 kB
Inactive:       863504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31579496 kB
SwapTotal:    67111528 kB
SwapFree:     67048868 kB
Dirty:            3136 kB
Writeback:           0 kB
AnonPages:       18604 kB
Mapped:           9224 kB
Slab:            88944 kB
PageTables:       5212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   234932 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74100 MiB
End job on node122 at 2011-06-11 18:44:11