Trace number 3493834

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 111.212 111.212

General information on the benchmark

NameSAT02/industrial/goldberg/rand_net/
rand_net50-30-1.shuffled.cnf
MD5SUMe7e6e5cd4a0917566b5f9d1f831e2250
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark41.2537
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of clauses8901
Sum of the clauses size20950
Maximum clause length50
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25800
Number of clauses of size 33100
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 3000 8901
0.49/0.51	s UNSATISFIABLE
0.49/0.51	c [picomus] extracted core 1 of size 6791 out of 8901 (76%) after 0.5 sec
1.19/1.24	c [picomus] extracted core 2 of size 6503 out of 8901 (73%) after 1.2 sec
1.69/1.70	c [picomus] extracted core 3 of size 6246 out of 8901 (70%) after 1.7 sec
2.20/2.27	c [picomus] extracted core 4 of size 6110 out of 8901 (69%) after 2.3 sec
2.89/2.97	c [picomus] extracted core 5 of size 6042 out of 8901 (68%) after 3.0 sec
3.59/3.68	c [picomus] extracted core 6 of size 5988 out of 8901 (67%) after 3.7 sec
4.40/4.44	c [picomus] extracted core 7 of size 5966 out of 8901 (67%) after 4.4 sec
5.19/5.21	c [picomus] extracted core 8 of size 5923 out of 8901 (67%) after 5.2 sec
5.69/5.73	c [picomus] extracted core 9 of size 5869 out of 8901 (66%) after 5.7 sec
6.10/6.19	c [picomus] extracted core 10 of size 5849 out of 8901 (66%) after 6.2 sec
6.60/6.65	c [picomus] extracted core 11 of size 5840 out of 8901 (66%) after 6.7 sec
7.19/7.20	c [picomus] extracted core 12 of size 5817 out of 8901 (65%) after 7.2 sec
7.70/7.76	c [picomus] extracted core 13 of size 5804 out of 8901 (65%) after 7.8 sec
8.29/8.30	c [picomus] extracted core 14 of size 5791 out of 8901 (65%) after 8.3 sec
8.80/8.85	c [picomus] extracted core 15 of size 5784 out of 8901 (65%) after 8.9 sec
9.49/9.50	c [picomus] extracted core 16 of size 5776 out of 8901 (65%) after 9.5 sec
9.99/10.08	c [picomus] extracted core 17 of size 5741 out of 8901 (64%) after 10.1 sec
10.70/10.73	c [picomus] extracted core 18 of size 5735 out of 8901 (64%) after 10.7 sec
12.40/12.40	c [picomus] reduction 1 to 5714 out of 8901 (64%) after 12.4 sec
13.20/13.22	c [picomus] reduction 2 to 5709 out of 8901 (64%) after 13.2 sec
14.09/14.18	c [picomus] reduction 3 to 5698 out of 8901 (64%) after 14.2 sec
14.79/14.85	c [picomus] reduction 4 to 5693 out of 8901 (64%) after 14.9 sec
15.19/15.20	c [picomus] reduction 5 to 5683 out of 8901 (64%) after 15.2 sec
16.59/16.68	c [picomus] reduction 6 to 5677 out of 8901 (64%) after 16.7 sec
16.89/16.94	c [picomus] reduction 7 to 5672 out of 8901 (64%) after 16.9 sec
17.59/17.67	c [picomus] reduction 8 to 5671 out of 8901 (64%) after 17.7 sec
17.69/17.73	c [picomus] reduction 9 to 5662 out of 8901 (64%) after 17.7 sec
17.99/18.04	c [picomus] reduction 10 to 5659 out of 8901 (64%) after 18.0 sec
18.29/18.34	c [picomus] reduction 11 to 5655 out of 8901 (64%) after 18.3 sec
18.59/18.60	c [picomus] reduction 12 to 5653 out of 8901 (64%) after 18.6 sec
18.99/19.03	c [picomus] reduction 13 to 5647 out of 8901 (63%) after 19.0 sec
19.59/19.64	c [picomus] reduction 14 to 5645 out of 8901 (63%) after 19.6 sec
19.99/20.03	c [picomus] reduction 15 to 5643 out of 8901 (63%) after 20.0 sec
20.39/20.46	c [picomus] reduction 16 to 5637 out of 8901 (63%) after 20.5 sec
20.79/20.80	c [picomus] reduction 17 to 5626 out of 8901 (63%) after 20.8 sec
20.89/20.93	c [picomus] reduction 18 to 5624 out of 8901 (63%) after 20.9 sec
21.39/21.43	c [picomus] reduction 19 to 5621 out of 8901 (63%) after 21.4 sec
22.39/22.42	c [picomus] reduction 20 to 5618 out of 8901 (63%) after 22.4 sec
22.89/22.93	c [picomus] reduction 21 to 5615 out of 8901 (63%) after 22.9 sec
23.19/23.23	c [picomus] reduction 22 to 5603 out of 8901 (63%) after 23.2 sec
24.09/24.15	c [picomus] reduction 23 to 5601 out of 8901 (63%) after 24.2 sec
24.89/24.97	c [picomus] reduction 24 to 5600 out of 8901 (63%) after 25.0 sec
25.79/25.85	c [picomus] reduction 25 to 5599 out of 8901 (63%) after 25.9 sec
26.09/26.19	c [picomus] reduction 26 to 5597 out of 8901 (63%) after 26.2 sec
26.29/26.32	c [picomus] reduction 27 to 5592 out of 8901 (63%) after 26.3 sec
26.59/26.62	c [picomus] reduction 28 to 5590 out of 8901 (63%) after 26.6 sec
26.79/26.82	c [picomus] reduction 29 to 5588 out of 8901 (63%) after 26.8 sec
27.60/27.68	c [picomus] reduction 30 to 5585 out of 8901 (63%) after 27.7 sec
27.90/27.97	c [picomus] reduction 31 to 5584 out of 8901 (63%) after 28.0 sec
28.00/28.02	c [picomus] reduction 32 to 5580 out of 8901 (63%) after 28.0 sec
28.10/28.11	c [picomus] reduction 33 to 5570 out of 8901 (63%) after 28.1 sec
28.40/28.41	c [picomus] reduction 34 to 5568 out of 8901 (63%) after 28.4 sec
28.70/28.73	c [picomus] reduction 35 to 5560 out of 8901 (62%) after 28.7 sec
30.00/30.10	c [picomus] reduction 36 to 5559 out of 8901 (62%) after 30.1 sec
30.90/30.97	c [picomus] reduction 37 to 5558 out of 8901 (62%) after 31.0 sec
31.50/31.55	c [picomus] reduction 38 to 5557 out of 8901 (62%) after 31.6 sec
31.90/31.91	c [picomus] reduction 39 to 5556 out of 8901 (62%) after 31.9 sec
32.20/32.28	c [picomus] reduction 40 to 5549 out of 8901 (62%) after 32.3 sec
33.10/33.13	c [picomus] reduction 41 to 5544 out of 8901 (62%) after 33.1 sec
33.40/33.41	c [picomus] reduction 42 to 5539 out of 8901 (62%) after 33.4 sec
33.60/33.68	c [picomus] reduction 43 to 5537 out of 8901 (62%) after 33.7 sec
33.70/33.76	c [picomus] reduction 44 to 5533 out of 8901 (62%) after 33.8 sec
34.40/34.42	c [picomus] reduction 45 to 5530 out of 8901 (62%) after 34.4 sec
34.50/34.54	c [picomus] reduction 46 to 5529 out of 8901 (62%) after 34.5 sec
35.10/35.19	c [picomus] reduction 47 to 5527 out of 8901 (62%) after 35.2 sec
35.40/35.47	c [picomus] reduction 48 to 5524 out of 8901 (62%) after 35.5 sec
36.30/36.34	c [picomus] reduction 49 to 5523 out of 8901 (62%) after 36.3 sec
36.50/36.50	c [picomus] reduction 50 to 5522 out of 8901 (62%) after 36.5 sec
37.20/37.23	c [picomus] reduction 51 to 5520 out of 8901 (62%) after 37.2 sec
37.30/37.40	c [picomus] reduction 52 to 5519 out of 8901 (62%) after 37.4 sec
37.90/37.99	c [picomus] reduction 53 to 5515 out of 8901 (62%) after 38.0 sec
38.20/38.23	c [picomus] reduction 54 to 5510 out of 8901 (62%) after 38.2 sec
38.60/38.63	c [picomus] reduction 55 to 5505 out of 8901 (62%) after 38.6 sec
39.10/39.13	c [picomus] reduction 56 to 5504 out of 8901 (62%) after 39.1 sec
39.20/39.26	c [picomus] reduction 57 to 5493 out of 8901 (62%) after 39.3 sec
39.30/39.35	c [picomus] reduction 58 to 5489 out of 8901 (62%) after 39.4 sec
39.70/39.77	c [picomus] reduction 59 to 5488 out of 8901 (62%) after 39.8 sec
40.60/40.61	c [picomus] reduction 60 to 5484 out of 8901 (62%) after 40.6 sec
41.00/41.04	c [picomus] reduction 61 to 5482 out of 8901 (62%) after 41.0 sec
41.40/41.42	c [picomus] reduction 62 to 5476 out of 8901 (62%) after 41.4 sec
41.80/41.80	c [picomus] reduction 63 to 5469 out of 8901 (61%) after 41.8 sec
42.00/42.07	c [picomus] reduction 64 to 5468 out of 8901 (61%) after 42.1 sec
42.20/42.21	c [picomus] reduction 65 to 5466 out of 8901 (61%) after 42.2 sec
42.80/42.82	c [picomus] reduction 66 to 5464 out of 8901 (61%) after 42.8 sec
43.10/43.18	c [picomus] reduction 67 to 5462 out of 8901 (61%) after 43.2 sec
43.30/43.36	c [picomus] reduction 68 to 5456 out of 8901 (61%) after 43.4 sec
43.40/43.46	c [picomus] reduction 69 to 5455 out of 8901 (61%) after 43.5 sec
43.60/43.69	c [picomus] reduction 70 to 5453 out of 8901 (61%) after 43.7 sec
44.20/44.23	c [picomus] reduction 71 to 5452 out of 8901 (61%) after 44.2 sec
44.40/44.47	c [picomus] reduction 72 to 5451 out of 8901 (61%) after 44.5 sec
44.70/44.72	c [picomus] reduction 73 to 5450 out of 8901 (61%) after 44.7 sec
45.50/45.56	c [picomus] reduction 74 to 5447 out of 8901 (61%) after 45.6 sec
45.60/45.67	c [picomus] reduction 75 to 5445 out of 8901 (61%) after 45.7 sec
45.90/45.95	c [picomus] reduction 76 to 5444 out of 8901 (61%) after 46.0 sec
46.40/46.44	c [picomus] reduction 77 to 5442 out of 8901 (61%) after 46.4 sec
46.90/46.99	c [picomus] reduction 78 to 5436 out of 8901 (61%) after 47.0 sec
47.40/47.48	c [picomus] reduction 79 to 5435 out of 8901 (61%) after 47.5 sec
47.60/47.66	c [picomus] reduction 80 to 5433 out of 8901 (61%) after 47.7 sec
47.80/47.88	c [picomus] reduction 81 to 5432 out of 8901 (61%) after 47.9 sec
49.10/49.14	c [picomus] reduction 82 to 5431 out of 8901 (61%) after 49.1 sec
49.30/49.36	c [picomus] reduction 83 to 5430 out of 8901 (61%) after 49.4 sec
49.50/49.56	c [picomus] reduction 84 to 5429 out of 8901 (61%) after 49.6 sec
49.80/49.86	c [picomus] reduction 85 to 5428 out of 8901 (61%) after 49.9 sec
50.10/50.16	c [picomus] reduction 86 to 5427 out of 8901 (61%) after 50.2 sec
51.30/51.34	c [picomus] reduction 87 to 5426 out of 8901 (61%) after 51.3 sec
51.60/51.61	c [picomus] reduction 88 to 5425 out of 8901 (61%) after 51.6 sec
51.70/51.72	c [picomus] reduction 89 to 5424 out of 8901 (61%) after 51.7 sec
51.90/51.93	c [picomus] reduction 90 to 5422 out of 8901 (61%) after 51.9 sec
51.90/51.96	c [picomus] reduction 91 to 5419 out of 8901 (61%) after 52.0 sec
53.29/53.36	c [picomus] reduction 92 to 5417 out of 8901 (61%) after 53.4 sec
53.49/53.52	c [picomus] reduction 93 to 5413 out of 8901 (61%) after 53.5 sec
54.09/54.15	c [picomus] reduction 94 to 5411 out of 8901 (61%) after 54.2 sec
54.29/54.33	c [picomus] reduction 95 to 5409 out of 8901 (61%) after 54.3 sec
54.69/54.70	c [picomus] reduction 96 to 5407 out of 8901 (61%) after 54.7 sec
55.09/55.11	c [picomus] reduction 97 to 5399 out of 8901 (61%) after 55.1 sec
55.29/55.39	c [picomus] reduction 98 to 5398 out of 8901 (61%) after 55.4 sec
55.79/55.88	c [picomus] reduction 99 to 5397 out of 8901 (61%) after 55.9 sec
56.19/56.25	c [picomus] reduction 100 to 5396 out of 8901 (61%) after 56.3 sec
56.49/56.60	c [picomus] reduction 101 to 5395 out of 8901 (61%) after 56.6 sec
57.39/57.43	c [picomus] reduction 102 to 5394 out of 8901 (61%) after 57.4 sec
57.89/57.91	c [picomus] reduction 103 to 5393 out of 8901 (61%) after 57.9 sec
58.20/58.26	c [picomus] reduction 104 to 5392 out of 8901 (61%) after 58.3 sec
58.49/58.52	c [picomus] reduction 105 to 5389 out of 8901 (61%) after 58.5 sec
58.59/58.69	c [picomus] reduction 106 to 5387 out of 8901 (61%) after 58.7 sec
59.09/59.16	c [picomus] reduction 107 to 5386 out of 8901 (61%) after 59.2 sec
60.59/60.62	c [picomus] reduction 108 to 5384 out of 8901 (60%) after 60.6 sec
60.79/60.87	c [picomus] reduction 109 to 5382 out of 8901 (60%) after 60.9 sec
60.89/60.90	c [picomus] reduction 110 to 5381 out of 8901 (60%) after 60.9 sec
61.60/61.66	c [picomus] reduction 111 to 5379 out of 8901 (60%) after 61.7 sec
61.69/61.78	c [picomus] reduction 112 to 5378 out of 8901 (60%) after 61.8 sec
62.70/62.71	c [picomus] reduction 113 to 5377 out of 8901 (60%) after 62.7 sec
64.59/64.62	c [picomus] reduction 114 to 5374 out of 8901 (60%) after 64.6 sec
64.99/65.07	c [picomus] reduction 115 to 5373 out of 8901 (60%) after 65.1 sec
65.19/65.26	c [picomus] reduction 116 to 5372 out of 8901 (60%) after 65.3 sec
65.79/65.81	c [picomus] reduction 117 to 5370 out of 8901 (60%) after 65.8 sec
65.79/65.86	c [picomus] reduction 118 to 5369 out of 8901 (60%) after 65.9 sec
66.00/66.07	c [picomus] reduction 119 to 5368 out of 8901 (60%) after 66.1 sec
66.09/66.15	c [picomus] reduction 120 to 5363 out of 8901 (60%) after 66.2 sec
66.29/66.38	c [picomus] reduction 121 to 5362 out of 8901 (60%) after 66.4 sec
66.49/66.50	c [picomus] reduction 122 to 5360 out of 8901 (60%) after 66.5 sec
67.49/67.56	c [picomus] reduction 123 to 5359 out of 8901 (60%) after 67.6 sec
67.99/68.04	c [picomus] reduction 124 to 5358 out of 8901 (60%) after 68.1 sec
68.29/68.32	c [picomus] reduction 125 to 5357 out of 8901 (60%) after 68.3 sec
68.59/68.63	c [picomus] reduction 126 to 5355 out of 8901 (60%) after 68.6 sec
68.69/68.78	c [picomus] reduction 127 to 5354 out of 8901 (60%) after 68.8 sec
69.20/69.20	c [picomus] reduction 128 to 5353 out of 8901 (60%) after 69.2 sec
69.30/69.32	c [picomus] reduction 129 to 5351 out of 8901 (60%) after 69.3 sec
69.39/69.43	c [picomus] reduction 130 to 5349 out of 8901 (60%) after 69.4 sec
69.49/69.50	c [picomus] reduction 131 to 5348 out of 8901 (60%) after 69.5 sec
69.59/69.66	c [picomus] reduction 132 to 5347 out of 8901 (60%) after 69.7 sec
69.89/69.91	c [picomus] reduction 133 to 5346 out of 8901 (60%) after 69.9 sec
69.99/70.02	c [picomus] reduction 134 to 5344 out of 8901 (60%) after 70.0 sec
70.09/70.19	c [picomus] reduction 135 to 5343 out of 8901 (60%) after 70.2 sec
70.79/70.81	c [picomus] reduction 136 to 5342 out of 8901 (60%) after 70.8 sec
71.29/71.33	c [picomus] reduction 137 to 5340 out of 8901 (60%) after 71.3 sec
71.50/71.56	c [picomus] reduction 138 to 5339 out of 8901 (60%) after 71.6 sec
72.39/72.44	c [picomus] reduction 139 to 5338 out of 8901 (60%) after 72.4 sec
72.69/72.73	c [picomus] reduction 140 to 5337 out of 8901 (60%) after 72.7 sec
73.19/73.23	c [picomus] reduction 141 to 5335 out of 8901 (60%) after 73.2 sec
73.29/73.39	c [picomus] reduction 142 to 5332 out of 8901 (60%) after 73.4 sec
73.49/73.57	c [picomus] reduction 143 to 5330 out of 8901 (60%) after 73.6 sec
73.99/74.00	c [picomus] reduction 144 to 5329 out of 8901 (60%) after 74.0 sec
74.70/74.71	c [picomus] reduction 145 to 5327 out of 8901 (60%) after 74.7 sec
74.99/75.05	c [picomus] reduction 146 to 5326 out of 8901 (60%) after 75.1 sec
75.19/75.22	c [picomus] reduction 147 to 5325 out of 8901 (60%) after 75.2 sec
75.49/75.52	c [picomus] reduction 148 to 5324 out of 8901 (60%) after 75.5 sec
75.69/75.79	c [picomus] reduction 149 to 5322 out of 8901 (60%) after 75.8 sec
76.49/76.51	c [picomus] reduction 150 to 5321 out of 8901 (60%) after 76.5 sec
76.79/76.81	c [picomus] reduction 151 to 5320 out of 8901 (60%) after 76.8 sec
78.29/78.30	c [picomus] reduction 152 to 5319 out of 8901 (60%) after 78.3 sec
78.39/78.44	c [picomus] reduction 153 to 5318 out of 8901 (60%) after 78.4 sec
78.79/78.81	c [picomus] reduction 154 to 5317 out of 8901 (60%) after 78.8 sec
78.99/79.05	c [picomus] reduction 155 to 5316 out of 8901 (60%) after 79.1 sec
79.20/79.28	c [picomus] reduction 156 to 5315 out of 8901 (60%) after 79.3 sec
79.89/79.95	c [picomus] reduction 157 to 5312 out of 8901 (60%) after 80.0 sec
80.39/80.45	c [picomus] reduction 158 to 5311 out of 8901 (60%) after 80.5 sec
80.89/80.98	c [picomus] reduction 159 to 5310 out of 8901 (60%) after 81.0 sec
80.99/81.05	c [picomus] reduction 160 to 5309 out of 8901 (60%) after 81.1 sec
81.79/81.88	c [picomus] reduction 161 to 5308 out of 8901 (60%) after 81.9 sec
82.69/82.78	c [picomus] reduction 162 to 5306 out of 8901 (60%) after 82.8 sec
83.69/83.73	c [picomus] reduction 163 to 5305 out of 8901 (60%) after 83.7 sec
83.89/83.91	c [picomus] reduction 164 to 5304 out of 8901 (60%) after 83.9 sec
84.09/84.10	c [picomus] reduction 165 to 5301 out of 8901 (60%) after 84.1 sec
84.99/85.03	c [picomus] reduction 166 to 5300 out of 8901 (60%) after 85.0 sec
85.39/85.40	c [picomus] reduction 167 to 5298 out of 8901 (60%) after 85.4 sec
86.39/86.47	c [picomus] reduction 168 to 5296 out of 8901 (59%) after 86.5 sec
88.29/88.38	c [picomus] reduction 169 to 5295 out of 8901 (59%) after 88.4 sec
88.89/88.92	c [picomus] reduction 170 to 5294 out of 8901 (59%) after 88.9 sec
89.19/89.23	c [picomus] reduction 171 to 5293 out of 8901 (59%) after 89.2 sec
89.29/89.39	c [picomus] reduction 172 to 5292 out of 8901 (59%) after 89.4 sec
89.59/89.65	c [picomus] reduction 173 to 5289 out of 8901 (59%) after 89.7 sec
89.69/89.78	c [picomus] reduction 174 to 5288 out of 8901 (59%) after 89.8 sec
90.89/90.96	c [picomus] reduction 175 to 5285 out of 8901 (59%) after 91.0 sec
91.09/91.19	c [picomus] reduction 176 to 5284 out of 8901 (59%) after 91.2 sec
92.09/92.17	c [picomus] reduction 177 to 5282 out of 8901 (59%) after 92.2 sec
93.09/93.13	c [picomus] reduction 178 to 5281 out of 8901 (59%) after 93.1 sec
93.50/93.56	c [picomus] reduction 179 to 5280 out of 8901 (59%) after 93.6 sec
93.99/94.02	c [picomus] reduction 180 to 5279 out of 8901 (59%) after 94.0 sec
94.49/94.58	c [picomus] reduction 181 to 5278 out of 8901 (59%) after 94.6 sec
94.79/94.85	c [picomus] reduction 182 to 5277 out of 8901 (59%) after 94.9 sec
95.29/95.37	c [picomus] reduction 183 to 5276 out of 8901 (59%) after 95.4 sec
95.70/95.71	c [picomus] reduction 184 to 5275 out of 8901 (59%) after 95.7 sec
95.89/95.93	c [picomus] reduction 185 to 5274 out of 8901 (59%) after 95.9 sec
96.19/96.22	c [picomus] reduction 186 to 5273 out of 8901 (59%) after 96.2 sec
96.99/97.00	c [picomus] reduction 187 to 5272 out of 8901 (59%) after 97.0 sec
97.09/97.17	c [picomus] reduction 188 to 5271 out of 8901 (59%) after 97.2 sec
97.19/97.29	c [picomus] reduction 189 to 5269 out of 8901 (59%) after 97.3 sec
98.29/98.36	c [picomus] reduction 190 to 5268 out of 8901 (59%) after 98.4 sec
98.59/98.66	c [picomus] reduction 191 to 5267 out of 8901 (59%) after 98.7 sec
99.40/99.49	c [picomus] reduction 192 to 5266 out of 8901 (59%) after 99.5 sec
99.70/99.77	c [picomus] reduction 193 to 5265 out of 8901 (59%) after 99.8 sec
100.00/100.04	c [picomus] reduction 194 to 5264 out of 8901 (59%) after 100.0 sec
100.10/100.14	c [picomus] reduction 195 to 5263 out of 8901 (59%) after 100.1 sec
100.30/100.38	c [picomus] reduction 196 to 5262 out of 8901 (59%) after 100.4 sec
100.50/100.50	c [picomus] reduction 197 to 5261 out of 8901 (59%) after 100.5 sec
101.50/101.59	c [picomus] reduction 198 to 5260 out of 8901 (59%) after 101.6 sec
102.00/102.02	c [picomus] reduction 199 to 5259 out of 8901 (59%) after 102.0 sec
102.30/102.38	c [picomus] reduction 200 to 5258 out of 8901 (59%) after 102.4 sec
102.80/102.81	c [picomus] reduction 201 to 5257 out of 8901 (59%) after 102.8 sec
102.80/102.87	c [picomus] reduction 202 to 5256 out of 8901 (59%) after 102.9 sec
103.20/103.22	c [picomus] reduction 203 to 5255 out of 8901 (59%) after 103.2 sec
103.60/103.67	c [picomus] reduction 204 to 5254 out of 8901 (59%) after 103.7 sec
103.90/103.93	c [picomus] reduction 205 to 5252 out of 8901 (59%) after 103.9 sec
104.10/104.16	c [picomus] reduction 206 to 5251 out of 8901 (59%) after 104.2 sec
104.60/104.62	c [picomus] reduction 207 to 5250 out of 8901 (59%) after 104.6 sec
104.70/104.73	c [picomus] reduction 208 to 5249 out of 8901 (59%) after 104.7 sec
104.90/104.93	c [picomus] reduction 209 to 5248 out of 8901 (59%) after 104.9 sec
105.30/105.38	c [picomus] reduction 210 to 5247 out of 8901 (59%) after 105.4 sec
105.40/105.43	c [picomus] reduction 211 to 5246 out of 8901 (59%) after 105.4 sec
105.50/105.54	c [picomus] reduction 212 to 5245 out of 8901 (59%) after 105.5 sec
105.80/105.85	c [picomus] reduction 213 to 5244 out of 8901 (59%) after 105.9 sec
105.90/105.95	c [picomus] reduction 214 to 5243 out of 8901 (59%) after 106.0 sec
107.00/107.02	c [picomus] reduction 215 to 5242 out of 8901 (59%) after 107.0 sec
107.50/107.53	c [picomus] reduction 216 to 5241 out of 8901 (59%) after 107.5 sec
107.60/107.63	c [picomus] reduction 217 to 5240 out of 8901 (59%) after 107.6 sec
107.70/107.72	c [picomus] reduction 218 to 5239 out of 8901 (59%) after 107.7 sec
108.10/108.16	c [picomus] reduction 219 to 5237 out of 8901 (59%) after 108.2 sec
108.40/108.40	c [picomus] reduction 220 to 5236 out of 8901 (59%) after 108.4 sec
108.50/108.51	c [picomus] reduction 221 to 5235 out of 8901 (59%) after 108.5 sec
109.20/109.27	c [picomus] reduction 222 to 5234 out of 8901 (59%) after 109.3 sec
110.60/110.61	c [picomus] reduction 223 to 5233 out of 8901 (59%) after 110.6 sec
110.60/110.69	c [picomus] reduction 224 to 5232 out of 8901 (59%) after 110.7 sec
110.80/110.86	c [picomus] reduction 225 to 5231 out of 8901 (59%) after 110.9 sec
111.19/111.20	c [picosat] 5457 calls
111.19/111.20	c [picosat] 0 iterations
111.19/111.20	c [picosat] 359 restarts
111.19/111.20	c [picosat] 0 failed literals
111.19/111.20	c [picosat] 132995 conflicts
111.19/111.20	c [picosat] 36081805 decisions
111.19/111.20	c [picosat] 5714 fixed variables
111.19/111.20	c [picosat] 195217303 learned literals
111.19/111.20	c [picosat] 3.4% deleted literals
111.19/111.20	c [picosat] 118531143 propagations
111.19/111.20	c [picosat] 71.3% variables used
111.19/111.20	c [picosat] 96.1 seconds in library
111.19/111.20	c [picosat] 1.2 megaprops/second
111.19/111.20	c [picosat] probing 0.1 seconds 0%
111.19/111.20	c [picosat] 60 simplifications
111.19/111.20	c [picosat] 3 reductions
111.19/111.20	c [picosat] 743.7 MB recycled
111.19/111.20	c [picosat] 43.2 MB maximally allocated
111.19/111.20	c [picomus] found 3670 redundant clauses 41%
111.19/111.20	c [picomus] computed MUS of size 5231 out of 8901 (59%)
111.19/111.20	v 1
111.19/111.20	v 4
111.19/111.20	v 5
111.19/111.20	v 6
111.19/111.20	v 7
111.19/111.20	v 8
111.19/111.20	v 9
111.19/111.20	v 13
111.19/111.20	v 15
111.19/111.20	v 16
111.19/111.20	v 17
111.19/111.20	v 19
111.19/111.20	v 20
111.19/111.20	v 23
111.19/111.20	v 25
111.19/111.20	v 26
111.19/111.20	v 28
111.19/111.20	v 29
111.19/111.20	v 34
111.19/111.20	v 35
111.19/111.20	v 38
111.19/111.20	v 41
111.19/111.20	v 42
111.19/111.20	v 43
111.19/111.20	v 44
111.19/111.20	v 45
111.19/111.20	v 46
111.19/111.20	v 47
111.19/111.20	v 48
111.19/111.20	v 49
111.19/111.20	v 50
111.19/111.20	v 51
111.19/111.20	v 52
111.19/111.20	v 53
111.19/111.20	v 56
111.19/111.20	v 58
111.19/111.20	v 60
111.19/111.20	v 61
111.19/111.20	v 62
111.19/111.20	v 67
111.19/111.20	v 70
111.19/111.20	v 71
111.19/111.20	v 73
111.19/111.20	v 74
111.19/111.20	v 76
111.19/111.20	v 77
111.19/111.20	v 79
111.19/111.20	v 82
111.19/111.20	v 83
111.19/111.20	v 84
111.19/111.20	v 85
111.19/111.20	v 86
111.19/111.20	v 87
111.19/111.20	v 88
111.19/111.20	v 91
111.19/111.20	v 95
111.19/111.20	v 97
111.19/111.20	v 98
111.19/111.20	v 99
111.19/111.20	v 100
111.19/111.20	v 101
111.19/111.20	v 103
111.19/111.20	v 104
111.19/111.20	v 108
111.19/111.20	v 109
111.19/111.20	v 111
111.19/111.20	v 112
111.19/111.20	v 113
111.19/111.20	v 115
111.19/111.20	v 116
111.19/111.20	v 117
111.19/111.20	v 118
111.19/111.20	v 121
111.19/111.20	v 123
111.19/111.20	v 124
111.19/111.20	v 126
111.19/111.20	v 128
111.19/111.20	v 129
111.19/111.20	v 132
111.19/111.20	v 133
111.19/111.20	v 134
111.19/111.20	v 135
111.19/111.20	v 137
111.19/111.20	v 138
111.19/111.20	v 139
111.19/111.20	v 145
111.19/111.20	v 146
111.19/111.20	v 147
111.19/111.20	v 148
111.19/111.20	v 149
111.19/111.20	v 150
111.19/111.20	v 152
111.19/111.20	v 154
111.19/111.20	v 155
111.19/111.20	v 157
111.19/111.20	v 159
111.19/111.20	v 162
111.19/111.20	v 167
111.19/111.20	v 168
111.19/111.20	v 170
111.19/111.20	v 171
111.19/111.20	v 172
111.19/111.20	v 173
111.19/111.20	v 176
111.19/111.20	v 177
111.19/111.20	v 182
111.19/111.20	v 183
111.19/111.20	v 184
111.19/111.20	v 185
111.19/111.20	v 186
111.19/111.20	v 188
111.19/111.20	v 189
111.19/111.20	v 190
111.19/111.20	v 192
111.19/111.20	v 193
111.19/111.20	v 194
111.19/111.20	v 198
111.19/111.20	v 199
111.19/111.20	v 202
111.19/111.20	v 204
111.19/111.20	v 205
111.19/111.20	v 206
111.19/111.20	v 207
111.19/111.20	v 208
111.19/111.20	v 211
111.19/111.20	v 214
111.19/111.20	v 216
111.19/111.20	v 217
111.19/111.20	v 218
111.19/111.20	v 219
111.19/111.20	v 221
111.19/111.20	v 222
111.19/111.20	v 223
111.19/111.20	v 227
111.19/111.20	v 228
111.19/111.20	v 230
111.19/111.20	v 231
111.19/111.20	v 235
111.19/111.20	v 237
111.19/111.20	v 239
111.19/111.20	v 240
111.19/111.20	v 241
111.19/111.20	v 242
111.19/111.20	v 243
111.19/111.20	v 244
111.19/111.20	v 245
111.19/111.20	v 247
111.19/111.20	v 248
111.19/111.20	v 249
111.19/111.20	v 250
111.19/111.20	v 251
111.19/111.20	v 254
111.19/111.20	v 257
111.19/111.20	v 258
111.19/111.20	v 259
111.19/111.20	v 262
111.19/111.20	v 263
111.19/111.20	v 271
111.19/111.20	v 273
111.19/111.20	v 274
111.19/111.20	v 275
111.19/111.20	v 279
111.19/111.20	v 280
111.19/111.20	v 282
111.19/111.20	v 283
111.19/111.20	v 284
111.19/111.20	v 285
111.19/111.20	v 287
111.19/111.20	v 288
111.19/111.20	v 289
111.19/111.20	v 290
111.19/111.20	v 295
111.19/111.20	v 296
111.19/111.20	v 300
111.19/111.20	v 301
111.19/111.20	v 302
111.19/111.20	v 303
111.19/111.20	v 306
111.19/111.20	v 308
111.19/111.20	v 309
111.19/111.20	v 314
111.19/111.20	v 315
111.19/111.20	v 319
111.19/111.20	v 320
111.19/111.20	v 321
111.19/111.20	v 323
111.19/111.20	v 325
111.19/111.20	v 327
111.19/111.20	v 328
111.19/111.20	v 329
111.19/111.20	v 331
111.19/111.20	v 334
111.19/111.20	v 335
111.19/111.20	v 336
111.19/111.20	v 337
111.19/111.20	v 338
111.19/111.20	v 339
111.19/111.20	v 340
111.19/111.20	v 342
111.19/111.20	v 343
111.19/111.20	v 344
111.19/111.20	v 345
111.19/111.20	v 346
111.19/111.20	v 347
111.19/111.20	v 348
111.19/111.20	v 350
111.19/111.20	v 351
111.19/111.20	v 352
111.19/111.20	v 354
111.19/111.20	v 361
111.19/111.20	v 362
111.19/111.20	v 366
111.19/111.20	v 367
111.19/111.20	v 368
111.19/111.20	v 369
111.19/111.20	v 371
111.19/111.20	v 372
111.19/111.20	v 373
111.19/111.20	v 376
111.19/111.20	v 378
111.19/111.20	v 379
111.19/111.20	v 380
111.19/111.20	v 381
111.19/111.20	v 385
111.19/111.20	v 386
111.19/111.20	v 387
111.19/111.20	v 388
111.19/111.20	v 390
111.19/111.20	v 392
111.19/111.20	v 393
111.19/111.20	v 394
111.19/111.20	v 395
111.19/111.20	v 397
111.19/111.20	v 399
111.19/111.20	v 400
111.19/111.20	v 401
111.19/111.20	v 402
111.19/111.20	v 403
111.19/111.20	v 404
111.19/111.20	v 405
111.19/111.20	v 406
111.19/111.20	v 409
111.19/111.20	v 411
111.19/111.20	v 416
111.19/111.20	v 417
111.19/111.20	v 418
111.19/111.20	v 419
111.19/111.20	v 420
111.19/111.20	v 421
111.19/111.20	v 425
111.19/111.20	v 428
111.19/111.20	v 429
111.19/111.20	v 430
111.19/111.20	v 431
111.19/111.20	v 432
111.19/111.20	v 434
111.19/111.20	v 436
111.19/111.20	v 437
111.19/111.20	v 439
111.19/111.20	v 441
111.19/111.20	v 442
111.19/111.20	v 443
111.19/111.20	v 444
111.19/111.20	v 446
111.19/111.20	v 447
111.19/111.20	v 448
111.19/111.20	v 450
111.19/111.20	v 451
111.19/111.20	v 452
111.19/111.20	v 453
111.19/111.20	v 456
111.19/111.20	v 457
111.19/111.20	v 458
111.19/111.20	v 461
111.19/111.20	v 462
111.19/111.20	v 463
111.19/111.20	v 464
111.19/111.20	v 465
111.19/111.20	v 466
111.19/111.20	v 467
111.19/111.20	v 468
111.19/111.20	v 469
111.19/111.20	v 471
111.19/111.20	v 472
111.19/111.20	v 475
111.19/111.20	v 480
111.19/111.20	v 482
111.19/111.20	v 483
111.19/111.20	v 484
111.19/111.20	v 485
111.19/111.20	v 486
111.19/111.20	v 487
111.19/111.20	v 489
111.19/111.20	v 491
111.19/111.20	v 493
111.19/111.20	v 494
111.19/111.20	v 497
111.19/111.20	v 501
111.19/111.20	v 502
111.19/111.20	v 503
111.19/111.20	v 504
111.19/111.20	v 505
111.19/111.20	v 506
111.19/111.20	v 507
111.19/111.20	v 510
111.19/111.20	v 511
111.19/111.20	v 512
111.19/111.20	v 513
111.19/111.20	v 514
111.19/111.20	v 515
111.19/111.20	v 516
111.19/111.20	v 517
111.19/111.20	v 518
111.19/111.20	v 520
111.19/111.20	v 521
111.19/111.20	v 522
111.19/111.20	v 526
111.19/111.20	v 527
111.19/111.20	v 528
111.19/111.20	v 530
111.19/111.20	v 531
111.19/111.20	v 534
111.19/111.20	v 536
111.19/111.20	v 538
111.19/111.20	v 542
111.19/111.20	v 543
111.19/111.20	v 544
111.19/111.20	v 545
111.19/111.20	v 546
111.19/111.20	v 547
111.19/111.20	v 550
111.19/111.20	v 552
111.19/111.20	v 553
111.19/111.20	v 554
111.19/111.20	v 555
111.19/111.20	v 557
111.19/111.20	v 559
111.19/111.20	v 560
111.19/111.20	v 561
111.19/111.20	v 562
111.19/111.20	v 564
111.19/111.20	v 565
111.19/111.20	v 567
111.19/111.20	v 568
111.19/111.20	v 569
111.19/111.20	v 570
111.19/111.20	v 572
111.19/111.20	v 579
111.19/111.20	v 580
111.19/111.20	v 581
111.19/111.20	v 585
111.19/111.20	v 590
111.19/111.20	v 591
111.19/111.20	v 592
111.19/111.20	v 593
111.19/111.20	v 594
111.19/111.20	v 597
111.19/111.20	v 598
111.19/111.20	v 599
111.19/111.20	v 601
111.19/111.20	v 602
111.19/111.20	v 603
111.19/111.20	v 604
111.19/111.20	v 605
111.19/111.20	v 606
111.19/111.20	v 609
111.19/111.20	v 611
111.19/111.20	v 613
111.19/111.20	v 616
111.19/111.20	v 617
111.19/111.20	v 618
111.19/111.20	v 619
111.19/111.20	v 621
111.19/111.20	v 622
111.19/111.20	v 623
111.19/111.20	v 624
111.19/111.20	v 626
111.19/111.20	v 627
111.19/111.20	v 628
111.19/111.20	v 629
111.19/111.20	v 630
111.19/111.20	v 631
111.19/111.20	v 632
111.19/111.20	v 633
111.19/111.20	v 634
111.19/111.20	v 635
111.19/111.20	v 637
111.19/111.20	v 638
111.19/111.20	v 639
111.19/111.20	v 640
111.19/111.20	v 643
111.19/111.20	v 644
111.19/111.20	v 645
111.19/111.20	v 646
111.19/111.20	v 648
111.19/111.20	v 650
111.19/111.20	v 651
111.19/111.20	v 658
111.19/111.20	v 659
111.19/111.20	v 660
111.19/111.20	v 662
111.19/111.20	v 663
111.19/111.20	v 664
111.19/111.20	v 666
111.19/111.20	v 671
111.19/111.20	v 672
111.19/111.20	v 673
111.19/111.20	v 675
111.19/111.20	v 676
111.19/111.20	v 677
111.19/111.20	v 678
111.19/111.20	v 679
111.19/111.20	v 680
111.19/111.20	v 681
111.19/111.20	v 684
111.19/111.20	v 685
111.19/111.20	v 687
111.19/111.20	v 688
111.19/111.20	v 689
111.19/111.20	v 690
111.19/111.20	v 695
111.19/111.20	v 699
111.19/111.20	v 700
111.19/111.20	v 701
111.19/111.20	v 702
111.19/111.20	v 704
111.19/111.20	v 705
111.19/111.20	v 708
111.19/111.20	v 709
111.19/111.20	v 710
111.19/111.20	v 712
111.19/111.20	v 715
111.19/111.20	v 716
111.19/111.20	v 717
111.19/111.20	v 718
111.19/111.20	v 720
111.19/111.20	v 721
111.19/111.20	v 722
111.19/111.20	v 723
111.19/111.20	v 727
111.19/111.20	v 728
111.19/111.20	v 730
111.19/111.20	v 731
111.19/111.20	v 732
111.19/111.20	v 737
111.19/111.20	v 740
111.19/111.20	v 741
111.19/111.20	v 743
111.19/111.20	v 744
111.19/111.20	v 747
111.19/111.20	v 748
111.19/111.20	v 749
111.19/111.20	v 750
111.19/111.20	v 760
111.19/111.20	v 764
111.19/111.20	v 765
111.19/111.20	v 766
111.19/111.20	v 767
111.19/111.20	v 768
111.19/111.20	v 769
111.19/111.20	v 770
111.19/111.20	v 771
111.19/111.20	v 773
111.19/111.20	v 774
111.19/111.20	v 775
111.19/111.20	v 776
111.19/111.20	v 777
111.19/111.20	v 778
111.19/111.20	v 779
111.19/111.20	v 782
111.19/111.20	v 784
111.19/111.20	v 785
111.19/111.20	v 786
111.19/111.20	v 787
111.19/111.20	v 788
111.19/111.20	v 789
111.19/111.20	v 790
111.19/111.20	v 791
111.19/111.20	v 792
111.19/111.20	v 793
111.19/111.20	v 794
111.19/111.20	v 796
111.19/111.20	v 797
111.19/111.20	v 799
111.19/111.20	v 800
111.19/111.20	v 801
111.19/111.20	v 803
111.19/111.20	v 804
111.19/111.20	v 805
111.19/111.20	v 810
111.19/111.20	v 812
111.19/111.20	v 813
111.19/111.20	v 814
111.19/111.20	v 819
111.19/111.20	v 821
111.19/111.20	v 823
111.19/111.20	v 824
111.19/111.20	v 826
111.19/111.20	v 828
111.19/111.20	v 831
111.19/111.20	v 834
111.19/111.20	v 836
111.19/111.20	v 839
111.19/111.20	v 840
111.19/111.20	v 844
111.19/111.20	v 845
111.19/111.20	v 846
111.19/111.20	v 847
111.19/111.20	v 850
111.19/111.20	v 852
111.19/111.20	v 854
111.19/111.20	v 855
111.19/111.20	v 856
111.19/111.20	v 857
111.19/111.20	v 858
111.19/111.20	v 863
111.19/111.20	v 865
111.19/111.20	v 866
111.19/111.20	v 868
111.19/111.20	v 870
111.19/111.20	v 871
111.19/111.20	v 872
111.19/111.20	v 874
111.19/111.20	v 875
111.19/111.20	v 877
111.19/111.20	v 879
111.19/111.20	v 880
111.19/111.20	v 881
111.19/111.20	v 882
111.19/111.20	v 883
111.19/111.20	v 884
111.19/111.20	v 888
111.19/111.20	v 889
111.19/111.20	v 892
111.19/111.20	v 894
111.19/111.20	v 896
111.19/111.20	v 899
111.19/111.20	v 900
111.19/111.20	v 901
111.19/111.20	v 902
111.19/111.20	v 903
111.19/111.20	v 905
111.19/111.20	v 907
111.19/111.20	v 911
111.19/111.20	v 912
111.19/111.20	v 914
111.19/111.20	v 918
111.19/111.20	v 919
111.19/111.20	v 920
111.19/111.20	v 923
111.19/111.20	v 924
111.19/111.20	v 929
111.19/111.20	v 932
111.19/111.20	v 933
111.19/111.20	v 936
111.19/111.20	v 937
111.19/111.20	v 941
111.19/111.20	v 942
111.19/111.20	v 944
111.19/111.20	v 948
111.19/111.20	v 949
111.19/111.20	v 950
111.19/111.20	v 951
111.19/111.20	v 952
111.19/111.20	v 955
111.19/111.20	v 957
111.19/111.20	v 959
111.19/111.20	v 961
111.19/111.20	v 963
111.19/111.20	v 964
111.19/111.20	v 965
111.19/111.20	v 969
111.19/111.20	v 970
111.19/111.20	v 971
111.19/111.20	v 972
111.19/111.20	v 973
111.19/111.20	v 975
111.19/111.20	v 976
111.19/111.20	v 977
111.19/111.20	v 978
111.19/111.20	v 979
111.19/111.20	v 980
111.19/111.20	v 981
111.19/111.20	v 982
111.19/111.20	v 985
111.19/111.20	v 986
111.19/111.20	v 989
111.19/111.20	v 990
111.19/111.20	v 991
111.19/111.20	v 994
111.19/111.20	v 995
111.19/111.20	v 996
111.19/111.20	v 997
111.19/111.20	v 1000
111.19/111.20	v 1001
111.19/111.20	v 1003
111.19/111.20	v 1004
111.19/111.20	v 1005
111.19/111.20	v 1006
111.19/111.20	v 1007
111.19/111.20	v 1012
111.19/111.20	v 1015
111.19/111.20	v 1018
111.19/111.20	v 1020
111.19/111.20	v 1022
111.19/111.20	v 1024
111.19/111.20	v 1026
111.19/111.20	v 1027
111.19/111.20	v 1028
111.19/111.20	v 1029
111.19/111.20	v 1030
111.19/111.20	v 1032
111.19/111.20	v 1033
111.19/111.20	v 1034
111.19/111.20	v 1035
111.19/111.20	v 1036
111.19/111.20	v 1040
111.19/111.20	v 1041
111.19/111.20	v 1044
111.19/111.20	v 1045
111.19/111.20	v 1046
111.19/111.20	v 1050
111.19/111.20	v 1052
111.19/111.20	v 1053
111.19/111.20	v 1056
111.19/111.20	v 1057
111.19/111.20	v 1058
111.19/111.20	v 1059
111.19/111.20	v 1060
111.19/111.20	v 1062
111.19/111.20	v 1063
111.19/111.20	v 1064
111.19/111.20	v 1066
111.19/111.20	v 1067
111.19/111.20	v 1069
111.19/111.20	v 1070
111.19/111.20	v 1071
111.19/111.20	v 1072
111.19/111.20	v 1074
111.19/111.20	v 1075
111.19/111.20	v 1076
111.19/111.20	v 1078
111.19/111.20	v 1080
111.19/111.20	v 1081
111.19/111.20	v 1082
111.19/111.20	v 1083
111.19/111.20	v 1085
111.19/111.20	v 1086
111.19/111.20	v 1088
111.19/111.20	v 1089
111.19/111.20	v 1090
111.19/111.20	v 1094
111.19/111.20	v 1095
111.19/111.20	v 1099
111.19/111.20	v 1100
111.19/111.20	v 1102
111.19/111.20	v 1103
111.19/111.20	v 1104
111.19/111.20	v 1105
111.19/111.20	v 1107
111.19/111.20	v 1110
111.19/111.20	v 1111
111.19/111.20	v 1112
111.19/111.20	v 1113
111.19/111.20	v 1114
111.19/111.20	v 1116
111.19/111.20	v 1117
111.19/111.20	v 1120
111.19/111.20	v 1121
111.19/111.20	v 1122
111.19/111.20	v 1125
111.19/111.20	v 1127
111.19/111.20	v 1128
111.19/111.20	v 1130
111.19/111.20	v 1133
111.19/111.20	v 1134
111.19/111.20	v 1135
111.19/111.20	v 1136
111.19/111.20	v 1139
111.19/111.20	v 1140
111.19/111.20	v 1141
111.19/111.20	v 1143
111.19/111.20	v 1146
111.19/111.20	v 1147
111.19/111.20	v 1151
111.19/111.20	v 1153
111.19/111.20	v 1154
111.19/111.20	v 1155
111.19/111.20	v 1156
111.19/111.20	v 1159
111.19/111.20	v 1160
111.19/111.20	v 1161
111.19/111.20	v 1162
111.19/111.20	v 1163
111.19/111.20	v 1164
111.19/111.20	v 1166
111.19/111.20	v 1169
111.19/111.20	v 1171
111.19/111.20	v 1173
111.19/111.20	v 1174
111.19/111.20	v 1175
111.19/111.20	v 1176
111.19/111.20	v 1179
111.19/111.20	v 1180
111.19/111.20	v 1182
111.19/111.20	v 1183
111.19/111.20	v 1184
111.19/111.20	v 1186
111.19/111.20	v 1187
111.19/111.20	v 1189
111.19/111.20	v 1190
111.19/111.20	v 1191
111.19/111.20	v 1192
111.19/111.20	v 1193
111.19/111.20	v 1196
111.19/111.20	v 1197
111.19/111.20	v 1198
111.19/111.20	v 1200
111.19/111.20	v 1205
111.19/111.20	v 1207
111.19/111.20	v 1208
111.19/111.20	v 1209
111.19/111.20	v 1212
111.19/111.20	v 1214
111.19/111.20	v 1216
111.19/111.20	v 1217
111.19/111.20	v 1218
111.19/111.20	v 1221
111.19/111.20	v 1222
111.19/111.20	v 1226
111.19/111.20	v 1227
111.19/111.20	v 1228
111.19/111.20	v 1229
111.19/111.20	v 1230
111.19/111.20	v 1233
111.19/111.20	v 1234
111.19/111.20	v 1235
111.19/111.20	v 1236
111.19/111.20	v 1237
111.19/111.20	v 1239
111.19/111.20	v 1240
111.19/111.20	v 1242
111.19/111.20	v 1243
111.19/111.20	v 1246
111.19/111.20	v 1247
111.19/111.20	v 1248
111.19/111.20	v 1252
111.19/111.20	v 1253
111.19/111.20	v 1256
111.19/111.20	v 1259
111.19/111.20	v 1261
111.19/111.20	v 1263
111.19/111.20	v 1266
111.19/111.20	v 1267
111.19/111.20	v 1268
111.19/111.20	v 1270
111.19/111.20	v 1273
111.19/111.20	v 1274
111.19/111.20	v 1276
111.19/111.20	v 1277
111.19/111.20	v 1278
111.19/111.20	v 1287
111.19/111.20	v 1288
111.19/111.20	v 1290
111.19/111.20	v 1294
111.19/111.20	v 1295
111.19/111.20	v 1297
111.19/111.20	v 1299
111.19/111.20	v 1300
111.19/111.20	v 1302
111.19/111.20	v 1306
111.19/111.20	v 1307
111.19/111.20	v 1309
111.19/111.20	v 1310
111.19/111.20	v 1312
111.19/111.20	v 1314
111.19/111.20	v 1319
111.19/111.20	v 1322
111.19/111.20	v 1324
111.19/111.20	v 1328
111.19/111.20	v 1329
111.19/111.20	v 1333
111.19/111.20	v 1334
111.19/111.20	v 1335
111.19/111.20	v 1336
111.19/111.20	v 1338
111.19/111.20	v 1339
111.19/111.20	v 1340
111.19/111.20	v 1343
111.19/111.20	v 1344
111.19/111.20	v 1346
111.19/111.20	v 1347
111.19/111.20	v 1348
111.19/111.20	v 1350
111.19/111.20	v 1351
111.19/111.20	v 1355
111.19/111.20	v 1356
111.19/111.20	v 1358
111.19/111.20	v 1359
111.19/111.20	v 1360
111.19/111.20	v 1361
111.19/111.20	v 1362
111.19/111.20	v 1366
111.19/111.20	v 1367
111.19/111.20	v 1368
111.19/111.20	v 1369
111.19/111.20	v 1371
111.19/111.20	v 1372
111.19/111.20	v 1373
111.19/111.20	v 1374
111.19/111.20	v 1375
111.19/111.20	v 1377
111.19/111.20	v 1379
111.19/111.20	v 1382
111.19/111.20	v 1383
111.19/111.20	v 1384
111.19/111.20	v 1385
111.19/111.20	v 1389
111.19/111.20	v 1390
111.19/111.20	v 1392
111.19/111.20	v 1399
111.19/111.20	v 1400
111.19/111.20	v 1401
111.19/111.20	v 1402
111.19/111.20	v 1404
111.19/111.20	v 1406
111.19/111.21	v 1407
111.19/111.21	v 1411
111.19/111.21	v 1412
111.19/111.21	v 1414
111.19/111.21	v 1415
111.19/111.21	v 1418
111.19/111.21	v 1420
111.19/111.21	v 1421
111.19/111.21	v 1422
111.19/111.21	v 1423
111.19/111.21	v 1426
111.19/111.21	v 1428
111.19/111.21	v 1430
111.19/111.21	v 1431
111.19/111.21	v 1432
111.19/111.21	v 1433
111.19/111.21	v 1437
111.19/111.21	v 1440
111.19/111.21	v 1443
111.19/111.21	v 1444
111.19/111.21	v 1448
111.19/111.21	v 1449
111.19/111.21	v 1450
111.19/111.21	v 1451
111.19/111.21	v 1455
111.19/111.21	v 1456
111.19/111.21	v 1458
111.19/111.21	v 1459
111.19/111.21	v 1460
111.19/111.21	v 1461
111.19/111.21	v 1462
111.19/111.21	v 1465
111.19/111.21	v 1466
111.19/111.21	v 1469
111.19/111.21	v 1471
111.19/111.21	v 1472
111.19/111.21	v 1475
111.19/111.21	v 1476
111.19/111.21	v 1479
111.19/111.21	v 1480
111.19/111.21	v 1481
111.19/111.21	v 1483
111.19/111.21	v 1485
111.19/111.21	v 1486
111.19/111.21	v 1487
111.19/111.21	v 1489
111.19/111.21	v 1490
111.19/111.21	v 1491
111.19/111.21	v 1492
111.19/111.21	v 1494
111.19/111.21	v 1495
111.19/111.21	v 1497
111.19/111.21	v 1501
111.19/111.21	v 1502
111.19/111.21	v 1503
111.19/111.21	v 1505
111.19/111.21	v 1506
111.19/111.21	v 1509
111.19/111.21	v 1510
111.19/111.21	v 1511
111.19/111.21	v 1514
111.19/111.21	v 1516
111.19/111.21	v 1517
111.19/111.21	v 1518
111.19/111.21	v 1522
111.19/111.21	v 1523
111.19/111.21	v 1524
111.19/111.21	v 1526
111.19/111.21	v 1527
111.19/111.21	v 1528
111.19/111.21	v 1529
111.19/111.21	v 1530
111.19/111.21	v 1531
111.19/111.21	v 1533
111.19/111.21	v 1535
111.19/111.21	v 1536
111.19/111.21	v 1537
111.19/111.21	v 1538
111.19/111.21	v 1539
111.19/111.21	v 1541
111.19/111.21	v 1543
111.19/111.21	v 1544
111.19/111.21	v 1545
111.19/111.21	v 1546
111.19/111.21	v 1547
111.19/111.21	v 1548
111.19/111.21	v 1552
111.19/111.21	v 1553
111.19/111.21	v 1554
111.19/111.21	v 1555
111.19/111.21	v 1557
111.19/111.21	v 1561
111.19/111.21	v 1562
111.19/111.21	v 1564
111.19/111.21	v 1566
111.19/111.21	v 1567
111.19/111.21	v 1569
111.19/111.21	v 1572
111.19/111.21	v 1573
111.19/111.21	v 1574
111.19/111.21	v 1578
111.19/111.21	v 1579
111.19/111.21	v 1580
111.19/111.21	v 1582
111.19/111.21	v 1583
111.19/111.21	v 1584
111.19/111.21	v 1586
111.19/111.21	v 1587
111.19/111.21	v 1591
111.19/111.21	v 1592
111.19/111.21	v 1593
111.19/111.21	v 1596
111.19/111.21	v 1597
111.19/111.21	v 1598
111.19/111.21	v 1599
111.19/111.21	v 1601
111.19/111.21	v 1602
111.19/111.21	v 1603
111.19/111.21	v 1604
111.19/111.21	v 1605
111.19/111.21	v 1606
111.19/111.21	v 1607
111.19/111.21	v 1609
111.19/111.21	v 1610
111.19/111.21	v 1611
111.19/111.21	v 1612
111.19/111.21	v 1615
111.19/111.21	v 1618
111.19/111.21	v 1619
111.19/111.21	v 1620
111.19/111.21	v 1622
111.19/111.21	v 1624
111.19/111.21	v 1625
111.19/111.21	v 1628
111.19/111.21	v 1630
111.19/111.21	v 1632
111.19/111.21	v 1634
111.19/111.21	v 1635
111.19/111.21	v 1636
111.19/111.21	v 1637
111.19/111.21	v 1638
111.19/111.21	v 1639
111.19/111.21	v 1640
111.19/111.21	v 1642
111.19/111.21	v 1644
111.19/111.21	v 1645
111.19/111.21	v 1649
111.19/111.21	v 1652
111.19/111.21	v 1654
111.19/111.21	v 1655
111.19/111.21	v 1656
111.19/111.21	v 1657
111.19/111.21	v 1658
111.19/111.21	v 1660
111.19/111.21	v 1661
111.19/111.21	v 1666
111.19/111.21	v 1668
111.19/111.21	v 1669
111.19/111.21	v 1673
111.19/111.21	v 1675
111.19/111.21	v 1678
111.19/111.21	v 1679
111.19/111.21	v 1680
111.19/111.21	v 1681
111.19/111.21	v 1682
111.19/111.21	v 1683
111.19/111.21	v 1685
111.19/111.21	v 1687
111.19/111.21	v 1693
111.19/111.21	v 1695
111.19/111.21	v 1696
111.19/111.21	v 1698
111.19/111.21	v 1702
111.19/111.21	v 1703
111.19/111.21	v 1704
111.19/111.21	v 1706
111.19/111.21	v 1707
111.19/111.21	v 1710
111.19/111.21	v 1711
111.19/111.21	v 1712
111.19/111.21	v 1715
111.19/111.21	v 1720
111.19/111.21	v 1722
111.19/111.21	v 1723
111.19/111.21	v 1724
111.19/111.21	v 1725
111.19/111.21	v 1727
111.19/111.21	v 1729
111.19/111.21	v 1730
111.19/111.21	v 1731
111.19/111.21	v 1732
111.19/111.21	v 1733
111.19/111.21	v 1735
111.19/111.21	v 1737
111.19/111.21	v 1738
111.19/111.21	v 1740
111.19/111.21	v 1742
111.19/111.21	v 1743
111.19/111.21	v 1744
111.19/111.21	v 1745
111.19/111.21	v 1746
111.19/111.21	v 1751
111.19/111.21	v 1752
111.19/111.21	v 1753
111.19/111.21	v 1757
111.19/111.21	v 1758
111.19/111.21	v 1760
111.19/111.21	v 1761
111.19/111.21	v 1762
111.19/111.21	v 1764
111.19/111.21	v 1766
111.19/111.21	v 1767
111.19/111.21	v 1768
111.19/111.21	v 1770
111.19/111.21	v 1771
111.19/111.21	v 1772
111.19/111.21	v 1773
111.19/111.21	v 1774
111.19/111.21	v 1775
111.19/111.21	v 1776
111.19/111.21	v 1777
111.19/111.21	v 1778
111.19/111.21	v 1779
111.19/111.21	v 1780
111.19/111.21	v 1781
111.19/111.21	v 1782
111.19/111.21	v 1783
111.19/111.21	v 1784
111.19/111.21	v 1786
111.19/111.21	v 1787
111.19/111.21	v 1788
111.19/111.21	v 1789
111.19/111.21	v 1790
111.19/111.21	v 1795
111.19/111.21	v 1797
111.19/111.21	v 1798
111.19/111.21	v 1804
111.19/111.21	v 1805
111.19/111.21	v 1806
111.19/111.21	v 1807
111.19/111.21	v 1809
111.19/111.21	v 1811
111.19/111.21	v 1812
111.19/111.21	v 1817
111.19/111.21	v 1818
111.19/111.21	v 1819
111.19/111.21	v 1820
111.19/111.21	v 1821
111.19/111.21	v 1823
111.19/111.21	v 1824
111.19/111.21	v 1825
111.19/111.21	v 1827
111.19/111.21	v 1829
111.19/111.21	v 1835
111.19/111.21	v 1836
111.19/111.21	v 1838
111.19/111.21	v 1839
111.19/111.21	v 1840
111.19/111.21	v 1842
111.19/111.21	v 1843
111.19/111.21	v 1844
111.19/111.21	v 1846
111.19/111.21	v 1848
111.19/111.21	v 1849
111.19/111.21	v 1851
111.19/111.21	v 1852
111.19/111.21	v 1853
111.19/111.21	v 1855
111.19/111.21	v 1858
111.19/111.21	v 1859
111.19/111.21	v 1862
111.19/111.21	v 1863
111.19/111.21	v 1865
111.19/111.21	v 1867
111.19/111.21	v 1868
111.19/111.21	v 1870
111.19/111.21	v 1872
111.19/111.21	v 1873
111.19/111.21	v 1874
111.19/111.21	v 1875
111.19/111.21	v 1876
111.19/111.21	v 1877
111.19/111.21	v 1878
111.19/111.21	v 1880
111.19/111.21	v 1881
111.19/111.21	v 1883
111.19/111.21	v 1884
111.19/111.21	v 1885
111.19/111.21	v 1889
111.19/111.21	v 1892
111.19/111.21	v 1893
111.19/111.21	v 1894
111.19/111.21	v 1895
111.19/111.21	v 1899
111.19/111.21	v 1900
111.19/111.21	v 1901
111.19/111.21	v 1902
111.19/111.21	v 1905
111.19/111.21	v 1908
111.19/111.21	v 1910
111.19/111.21	v 1912
111.19/111.21	v 1915
111.19/111.21	v 1917
111.19/111.21	v 1918
111.19/111.21	v 1920
111.19/111.21	v 1921
111.19/111.21	v 1923
111.19/111.21	v 1925
111.19/111.21	v 1926
111.19/111.21	v 1927
111.19/111.21	v 1928
111.19/111.21	v 1929
111.19/111.21	v 1930
111.19/111.21	v 1934
111.19/111.21	v 1935
111.19/111.21	v 1937
111.19/111.21	v 1941
111.19/111.21	v 1944
111.19/111.21	v 1949
111.19/111.21	v 1950
111.19/111.21	v 1951
111.19/111.21	v 1952
111.19/111.21	v 1954
111.19/111.21	v 1955
111.19/111.21	v 1959
111.19/111.21	v 1960
111.19/111.21	v 1961
111.19/111.21	v 1962
111.19/111.21	v 1963
111.19/111.21	v 1964
111.19/111.21	v 1967
111.19/111.21	v 1968
111.19/111.21	v 1970
111.19/111.21	v 1972
111.19/111.21	v 1974
111.19/111.21	v 1975
111.19/111.21	v 1977
111.19/111.21	v 1978
111.19/111.21	v 1980
111.19/111.21	v 1981
111.19/111.21	v 1982
111.19/111.21	v 1983
111.19/111.21	v 1988
111.19/111.21	v 1989
111.19/111.21	v 1990
111.19/111.21	v 1991
111.19/111.21	v 1993
111.19/111.21	v 1996
111.19/111.21	v 1998
111.19/111.21	v 2000
111.19/111.21	v 2001
111.19/111.21	v 2002
111.19/111.21	v 2004
111.19/111.21	v 2005
111.19/111.21	v 2006
111.19/111.21	v 2009
111.19/111.21	v 2011
111.19/111.21	v 2012
111.19/111.21	v 2013
111.19/111.21	v 2015
111.19/111.21	v 2016
111.19/111.21	v 2017
111.19/111.21	v 2018
111.19/111.21	v 2020
111.19/111.21	v 2021
111.19/111.21	v 2022
111.19/111.21	v 2025
111.19/111.21	v 2026
111.19/111.21	v 2029
111.19/111.21	v 2030
111.19/111.21	v 2032
111.19/111.21	v 2033
111.19/111.21	v 2035
111.19/111.21	v 2036
111.19/111.21	v 2037
111.19/111.21	v 2038
111.19/111.21	v 2039
111.19/111.21	v 2040
111.19/111.21	v 2041
111.19/111.21	v 2042
111.19/111.21	v 2043
111.19/111.21	v 2044
111.19/111.21	v 2045
111.19/111.21	v 2046
111.19/111.21	v 2047
111.19/111.21	v 2048
111.19/111.21	v 2049
111.19/111.21	v 2050
111.19/111.21	v 2051
111.19/111.21	v 2052
111.19/111.21	v 2053
111.19/111.21	v 2055
111.19/111.21	v 2059
111.19/111.21	v 2061
111.19/111.21	v 2065
111.19/111.21	v 2067
111.19/111.21	v 2068
111.19/111.21	v 2069
111.19/111.21	v 2074
111.19/111.21	v 2075
111.19/111.21	v 2077
111.19/111.21	v 2078
111.19/111.21	v 2079
111.19/111.21	v 2081
111.19/111.21	v 2084
111.19/111.21	v 2087
111.19/111.21	v 2088
111.19/111.21	v 2092
111.19/111.21	v 2093
111.19/111.21	v 2094
111.19/111.21	v 2095
111.19/111.21	v 2096
111.19/111.21	v 2098
111.19/111.21	v 2102
111.19/111.21	v 2104
111.19/111.21	v 2105
111.19/111.21	v 2106
111.19/111.21	v 2107
111.19/111.21	v 2112
111.19/111.21	v 2113
111.19/111.21	v 2115
111.19/111.21	v 2117
111.19/111.21	v 2119
111.19/111.21	v 2120
111.19/111.21	v 2121
111.19/111.21	v 2122
111.19/111.21	v 2123
111.19/111.21	v 2124
111.19/111.21	v 2126
111.19/111.21	v 2129
111.19/111.21	v 2134
111.19/111.21	v 2137
111.19/111.21	v 2138
111.19/111.21	v 2139
111.19/111.21	v 2140
111.19/111.21	v 2141
111.19/111.21	v 2142
111.19/111.21	v 2143
111.19/111.21	v 2144
111.19/111.21	v 2145
111.19/111.21	v 2146
111.19/111.21	v 2149
111.19/111.21	v 2152
111.19/111.21	v 2153
111.19/111.21	v 2160
111.19/111.21	v 2164
111.19/111.21	v 2166
111.19/111.21	v 2168
111.19/111.21	v 2169
111.19/111.21	v 2171
111.19/111.21	v 2172
111.19/111.21	v 2173
111.19/111.21	v 2174
111.19/111.21	v 2175
111.19/111.21	v 2176
111.19/111.21	v 2177
111.19/111.21	v 2178
111.19/111.21	v 2181
111.19/111.21	v 2183
111.19/111.21	v 2185
111.19/111.21	v 2188
111.19/111.21	v 2189
111.19/111.21	v 2190
111.19/111.21	v 2191
111.19/111.21	v 2192
111.19/111.21	v 2193
111.19/111.21	v 2195
111.19/111.21	v 2198
111.19/111.21	v 2199
111.19/111.21	v 2200
111.19/111.21	v 2201
111.19/111.21	v 2202
111.19/111.21	v 2206
111.19/111.21	v 2207
111.19/111.21	v 2208
111.19/111.21	v 2210
111.19/111.21	v 2212
111.19/111.21	v 2213
111.19/111.21	v 2214
111.19/111.21	v 2216
111.19/111.21	v 2217
111.19/111.21	v 2218
111.19/111.21	v 2223
111.19/111.21	v 2224
111.19/111.21	v 2226
111.19/111.21	v 2227
111.19/111.21	v 2228
111.19/111.21	v 2229
111.19/111.21	v 2231
111.19/111.21	v 2232
111.19/111.21	v 2233
111.19/111.21	v 2237
111.19/111.21	v 2238
111.19/111.21	v 2239
111.19/111.21	v 2244
111.19/111.21	v 2245
111.19/111.21	v 2246
111.19/111.21	v 2251
111.19/111.21	v 2252
111.19/111.21	v 2255
111.19/111.21	v 2256
111.19/111.21	v 2258
111.19/111.21	v 2260
111.19/111.21	v 2262
111.19/111.21	v 2264
111.19/111.21	v 2265
111.19/111.21	v 2266
111.19/111.21	v 2267
111.19/111.21	v 2268
111.19/111.21	v 2271
111.19/111.21	v 2274
111.19/111.21	v 2275
111.19/111.21	v 2276
111.19/111.21	v 2277
111.19/111.21	v 2278
111.19/111.21	v 2279
111.19/111.21	v 2280
111.19/111.21	v 2281
111.19/111.21	v 2282
111.19/111.21	v 2283
111.19/111.21	v 2284
111.19/111.21	v 2287
111.19/111.21	v 2289
111.19/111.21	v 2291
111.19/111.21	v 2293
111.19/111.21	v 2294
111.19/111.21	v 2296
111.19/111.21	v 2298
111.19/111.21	v 2299
111.19/111.21	v 2300
111.19/111.21	v 2303
111.19/111.21	v 2304
111.19/111.21	v 2306
111.19/111.21	v 2307
111.19/111.21	v 2311
111.19/111.21	v 2312
111.19/111.21	v 2313
111.19/111.21	v 2315
111.19/111.21	v 2316
111.19/111.21	v 2317
111.19/111.21	v 2319
111.19/111.21	v 2321
111.19/111.21	v 2322
111.19/111.21	v 2323
111.19/111.21	v 2327
111.19/111.21	v 2328
111.19/111.21	v 2329
111.19/111.21	v 2330
111.19/111.21	v 2331
111.19/111.21	v 2332
111.19/111.21	v 2333
111.19/111.21	v 2335
111.19/111.21	v 2336
111.19/111.21	v 2337
111.19/111.21	v 2338
111.19/111.21	v 2339
111.19/111.21	v 2340
111.19/111.21	v 2341
111.19/111.21	v 2342
111.19/111.21	v 2343
111.19/111.21	v 2344
111.19/111.21	v 2349
111.19/111.21	v 2351
111.19/111.21	v 2352
111.19/111.21	v 2353
111.19/111.21	v 2355
111.19/111.21	v 2358
111.19/111.21	v 2361
111.19/111.21	v 2362
111.19/111.21	v 2363
111.19/111.21	v 2364
111.19/111.21	v 2365
111.19/111.21	v 2366
111.19/111.21	v 2367
111.19/111.21	v 2369
111.19/111.21	v 2371
111.19/111.21	v 2373
111.19/111.21	v 2374
111.19/111.21	v 2375
111.19/111.21	v 2377
111.19/111.21	v 2378
111.19/111.21	v 2380
111.19/111.21	v 2382
111.19/111.21	v 2383
111.19/111.21	v 2384
111.19/111.21	v 2385
111.19/111.21	v 2386
111.19/111.21	v 2388
111.19/111.21	v 2390
111.19/111.21	v 2394
111.19/111.21	v 2396
111.19/111.21	v 2400
111.19/111.21	v 2403
111.19/111.21	v 2405
111.19/111.21	v 2408
111.19/111.21	v 2410
111.19/111.21	v 2411
111.19/111.21	v 2412
111.19/111.21	v 2416
111.19/111.21	v 2418
111.19/111.21	v 2420
111.19/111.21	v 2421
111.19/111.21	v 2422
111.19/111.21	v 2424
111.19/111.21	v 2425
111.19/111.21	v 2427
111.19/111.21	v 2428
111.19/111.21	v 2431
111.19/111.21	v 2435
111.19/111.21	v 2436
111.19/111.21	v 2437
111.19/111.21	v 2438
111.19/111.21	v 2439
111.19/111.21	v 2441
111.19/111.21	v 2443
111.19/111.21	v 2447
111.19/111.21	v 2448
111.19/111.21	v 2449
111.19/111.21	v 2451
111.19/111.21	v 2452
111.19/111.21	v 2453
111.19/111.21	v 2457
111.19/111.21	v 2458
111.19/111.21	v 2459
111.19/111.21	v 2460
111.19/111.21	v 2463
111.19/111.21	v 2466
111.19/111.21	v 2467
111.19/111.21	v 2468
111.19/111.21	v 2472
111.19/111.21	v 2480
111.19/111.21	v 2482
111.19/111.21	v 2484
111.19/111.21	v 2486
111.19/111.21	v 2487
111.19/111.21	v 2488
111.19/111.21	v 2489
111.19/111.21	v 2490
111.19/111.21	v 2493
111.19/111.21	v 2494
111.19/111.21	v 2496
111.19/111.21	v 2497
111.19/111.21	v 2498
111.19/111.21	v 2500
111.19/111.21	v 2504
111.19/111.21	v 2505
111.19/111.21	v 2507
111.19/111.21	v 2508
111.19/111.21	v 2509
111.19/111.21	v 2510
111.19/111.21	v 2512
111.19/111.21	v 2517
111.19/111.21	v 2518
111.19/111.21	v 2520
111.19/111.21	v 2521
111.19/111.21	v 2523
111.19/111.21	v 2525
111.19/111.21	v 2526
111.19/111.21	v 2528
111.19/111.21	v 2529
111.19/111.21	v 2530
111.19/111.21	v 2531
111.19/111.21	v 2532
111.19/111.21	v 2535
111.19/111.21	v 2536
111.19/111.21	v 2537
111.19/111.21	v 2538
111.19/111.21	v 2540
111.19/111.21	v 2541
111.19/111.21	v 2542
111.19/111.21	v 2544
111.19/111.21	v 2545
111.19/111.21	v 2546
111.19/111.21	v 2547
111.19/111.21	v 2548
111.19/111.21	v 2549
111.19/111.21	v 2550
111.19/111.21	v 2551
111.19/111.21	v 2552
111.19/111.21	v 2554
111.19/111.21	v 2555
111.19/111.21	v 2559
111.19/111.21	v 2560
111.19/111.21	v 2561
111.19/111.21	v 2562
111.19/111.21	v 2563
111.19/111.21	v 2565
111.19/111.21	v 2567
111.19/111.21	v 2569
111.19/111.21	v 2570
111.19/111.21	v 2572
111.19/111.21	v 2574
111.19/111.21	v 2575
111.19/111.21	v 2576
111.19/111.21	v 2577
111.19/111.21	v 2578
111.19/111.21	v 2580
111.19/111.21	v 2581
111.19/111.21	v 2582
111.19/111.21	v 2583
111.19/111.21	v 2584
111.19/111.21	v 2585
111.19/111.21	v 2587
111.19/111.21	v 2588
111.19/111.21	v 2589
111.19/111.21	v 2590
111.19/111.21	v 2591
111.19/111.21	v 2592
111.19/111.21	v 2596
111.19/111.21	v 2597
111.19/111.21	v 2598
111.19/111.21	v 2599
111.19/111.21	v 2602
111.19/111.21	v 2603
111.19/111.21	v 2604
111.19/111.21	v 2605
111.19/111.21	v 2606
111.19/111.21	v 2609
111.19/111.21	v 2610
111.19/111.21	v 2611
111.19/111.21	v 2612
111.19/111.21	v 2614
111.19/111.21	v 2615
111.19/111.21	v 2616
111.19/111.21	v 2617
111.19/111.21	v 2619
111.19/111.21	v 2620
111.19/111.21	v 2621
111.19/111.21	v 2622
111.19/111.21	v 2623
111.19/111.21	v 2624
111.19/111.21	v 2625
111.19/111.21	v 2626
111.19/111.21	v 2628
111.19/111.21	v 2629
111.19/111.21	v 2630
111.19/111.21	v 2632
111.19/111.21	v 2633
111.19/111.21	v 2636
111.19/111.21	v 2637
111.19/111.21	v 2638
111.19/111.21	v 2639
111.19/111.21	v 2640
111.19/111.21	v 2641
111.19/111.21	v 2643
111.19/111.21	v 2645
111.19/111.21	v 2646
111.19/111.21	v 2647
111.19/111.21	v 2648
111.19/111.21	v 2650
111.19/111.21	v 2652
111.19/111.21	v 2655
111.19/111.21	v 2657
111.19/111.21	v 2658
111.19/111.21	v 2660
111.19/111.21	v 2662
111.19/111.21	v 2663
111.19/111.21	v 2666
111.19/111.21	v 2667
111.19/111.21	v 2668
111.19/111.21	v 2671
111.19/111.21	v 2672
111.19/111.21	v 2673
111.19/111.21	v 2678
111.19/111.21	v 2679
111.19/111.21	v 2680
111.19/111.21	v 2683
111.19/111.21	v 2684
111.19/111.21	v 2685
111.19/111.21	v 2686
111.19/111.21	v 2687
111.19/111.21	v 2689
111.19/111.21	v 2690
111.19/111.21	v 2691
111.19/111.21	v 2694
111.19/111.21	v 2695
111.19/111.21	v 2696
111.19/111.21	v 2697
111.19/111.21	v 2698
111.19/111.21	v 2703
111.19/111.21	v 2705
111.19/111.21	v 2706
111.19/111.21	v 2708
111.19/111.21	v 2711
111.19/111.21	v 2712
111.19/111.21	v 2713
111.19/111.21	v 2714
111.19/111.21	v 2715
111.19/111.21	v 2716
111.19/111.21	v 2717
111.19/111.21	v 2719
111.19/111.21	v 2721
111.19/111.21	v 2727
111.19/111.21	v 2729
111.19/111.21	v 2732
111.19/111.21	v 2735
111.19/111.21	v 2736
111.19/111.21	v 2738
111.19/111.21	v 2739
111.19/111.21	v 2740
111.19/111.21	v 2743
111.19/111.21	v 2744
111.19/111.21	v 2745
111.19/111.21	v 2746
111.19/111.21	v 2748
111.19/111.21	v 2749
111.19/111.21	v 2750
111.19/111.21	v 2752
111.19/111.21	v 2753
111.19/111.21	v 2754
111.19/111.21	v 2757
111.19/111.21	v 2760
111.19/111.21	v 2761
111.19/111.21	v 2762
111.19/111.21	v 2763
111.19/111.21	v 2765
111.19/111.21	v 2766
111.19/111.21	v 2767
111.19/111.21	v 2768
111.19/111.21	v 2769
111.19/111.21	v 2777
111.19/111.21	v 2780
111.19/111.21	v 2781
111.19/111.21	v 2782
111.19/111.21	v 2783
111.19/111.21	v 2785
111.19/111.21	v 2786
111.19/111.21	v 2787
111.19/111.21	v 2788
111.19/111.21	v 2790
111.19/111.21	v 2791
111.19/111.21	v 2794
111.19/111.21	v 2796
111.19/111.21	v 2797
111.19/111.21	v 2798
111.19/111.21	v 2800
111.19/111.21	v 2801
111.19/111.21	v 2802
111.19/111.21	v 2803
111.19/111.21	v 2806
111.19/111.21	v 2807
111.19/111.21	v 2808
111.19/111.21	v 2812
111.19/111.21	v 2814
111.19/111.21	v 2820
111.19/111.21	v 2821
111.19/111.21	v 2822
111.19/111.21	v 2825
111.19/111.21	v 2827
111.19/111.21	v 2829
111.19/111.21	v 2831
111.19/111.21	v 2832
111.19/111.21	v 2833
111.19/111.21	v 2834
111.19/111.21	v 2836
111.19/111.21	v 2837
111.19/111.21	v 2838
111.19/111.21	v 2839
111.19/111.21	v 2840
111.19/111.21	v 2841
111.19/111.21	v 2842
111.19/111.21	v 2843
111.19/111.21	v 2844
111.19/111.21	v 2849
111.19/111.21	v 2851
111.19/111.21	v 2858
111.19/111.21	v 2860
111.19/111.21	v 2863
111.19/111.21	v 2864
111.19/111.21	v 2867
111.19/111.21	v 2868
111.19/111.21	v 2869
111.19/111.21	v 2871
111.19/111.21	v 2872
111.19/111.21	v 2873
111.19/111.21	v 2876
111.19/111.21	v 2877
111.19/111.21	v 2882
111.19/111.21	v 2884
111.19/111.21	v 2885
111.19/111.21	v 2886
111.19/111.21	v 2887
111.19/111.21	v 2888
111.19/111.21	v 2893
111.19/111.21	v 2894
111.19/111.21	v 2896
111.19/111.21	v 2898
111.19/111.21	v 2904
111.19/111.21	v 2905
111.19/111.21	v 2907
111.19/111.21	v 2910
111.19/111.21	v 2911
111.19/111.21	v 2912
111.19/111.21	v 2913
111.19/111.21	v 2914
111.19/111.21	v 2915
111.19/111.21	v 2916
111.19/111.21	v 2917
111.19/111.21	v 2919
111.19/111.21	v 2920
111.19/111.21	v 2921
111.19/111.21	v 2924
111.19/111.21	v 2926
111.19/111.21	v 2928
111.19/111.21	v 2929
111.19/111.21	v 2932
111.19/111.21	v 2934
111.19/111.21	v 2935
111.19/111.21	v 2936
111.19/111.21	v 2937
111.19/111.21	v 2938
111.19/111.21	v 2939
111.19/111.21	v 2940
111.19/111.21	v 2955
111.19/111.21	v 2956
111.19/111.21	v 2958
111.19/111.21	v 2959
111.19/111.21	v 2960
111.19/111.21	v 2961
111.19/111.21	v 2962
111.19/111.21	v 2963
111.19/111.21	v 2965
111.19/111.21	v 2969
111.19/111.21	v 2970
111.19/111.21	v 2972
111.19/111.21	v 2975
111.19/111.21	v 2978
111.19/111.21	v 2982
111.19/111.21	v 2983
111.19/111.21	v 2985
111.19/111.21	v 2987
111.19/111.21	v 2990
111.19/111.21	v 2992
111.19/111.21	v 2996
111.19/111.21	v 2997
111.19/111.21	v 2998
111.19/111.21	v 2999
111.19/111.21	v 3000
111.19/111.21	v 3002
111.19/111.21	v 3005
111.19/111.21	v 3006
111.19/111.21	v 3007
111.19/111.21	v 3010
111.19/111.21	v 3012
111.19/111.21	v 3013
111.19/111.21	v 3014
111.19/111.21	v 3015
111.19/111.21	v 3016
111.19/111.21	v 3018
111.19/111.21	v 3019
111.19/111.21	v 3020
111.19/111.21	v 3021
111.19/111.21	v 3023
111.19/111.21	v 3024
111.19/111.21	v 3025
111.19/111.21	v 3028
111.19/111.21	v 3031
111.19/111.21	v 3032
111.19/111.21	v 3033
111.19/111.21	v 3034
111.19/111.21	v 3035
111.19/111.21	v 3037
111.19/111.21	v 3040
111.19/111.21	v 3044
111.19/111.21	v 3046
111.19/111.21	v 3050
111.19/111.21	v 3051
111.19/111.21	v 3055
111.19/111.21	v 3057
111.19/111.21	v 3060
111.19/111.21	v 3062
111.19/111.21	v 3063
111.19/111.21	v 3064
111.19/111.21	v 3066
111.19/111.21	v 3067
111.19/111.21	v 3068
111.19/111.21	v 3069
111.19/111.21	v 3071
111.19/111.21	v 3072
111.19/111.21	v 3073
111.19/111.21	v 3074
111.19/111.21	v 3075
111.19/111.21	v 3076
111.19/111.21	v 3077
111.19/111.21	v 3081
111.19/111.21	v 3083
111.19/111.21	v 3084
111.19/111.21	v 3087
111.19/111.21	v 3088
111.19/111.21	v 3089
111.19/111.21	v 3090
111.19/111.21	v 3092
111.19/111.21	v 3094
111.19/111.21	v 3095
111.19/111.21	v 3096
111.19/111.21	v 3097
111.19/111.21	v 3098
111.19/111.21	v 3100
111.19/111.21	v 3104
111.19/111.21	v 3105
111.19/111.21	v 3109
111.19/111.21	v 3110
111.19/111.21	v 3111
111.19/111.21	v 3112
111.19/111.21	v 3113
111.19/111.21	v 3116
111.19/111.21	v 3117
111.19/111.21	v 3118
111.19/111.21	v 3119
111.19/111.21	v 3120
111.19/111.21	v 3123
111.19/111.21	v 3125
111.19/111.21	v 3126
111.19/111.21	v 3127
111.19/111.21	v 3128
111.19/111.21	v 3130
111.19/111.21	v 3131
111.19/111.21	v 3132
111.19/111.21	v 3133
111.19/111.21	v 3134
111.19/111.21	v 3135
111.19/111.21	v 3141
111.19/111.21	v 3142
111.19/111.21	v 3143
111.19/111.21	v 3144
111.19/111.21	v 3146
111.19/111.21	v 3147
111.19/111.21	v 3148
111.19/111.21	v 3150
111.19/111.21	v 3151
111.19/111.21	v 3152
111.19/111.21	v 3153
111.19/111.21	v 3155
111.19/111.21	v 3157
111.19/111.21	v 3159
111.19/111.21	v 3164
111.19/111.21	v 3165
111.19/111.21	v 3166
111.19/111.21	v 3167
111.19/111.21	v 3168
111.19/111.21	v 3169
111.19/111.21	v 3170
111.19/111.21	v 3171
111.19/111.21	v 3172
111.19/111.21	v 3174
111.19/111.21	v 3178
111.19/111.21	v 3180
111.19/111.21	v 3182
111.19/111.21	v 3183
111.19/111.21	v 3185
111.19/111.21	v 3186
111.19/111.21	v 3187
111.19/111.21	v 3188
111.19/111.21	v 3191
111.19/111.21	v 3192
111.19/111.21	v 3194
111.19/111.21	v 3195
111.19/111.21	v 3196
111.19/111.21	v 3197
111.19/111.21	v 3199
111.19/111.21	v 3200
111.19/111.21	v 3201
111.19/111.21	v 3203
111.19/111.21	v 3204
111.19/111.21	v 3206
111.19/111.21	v 3207
111.19/111.21	v 3208
111.19/111.21	v 3209
111.19/111.21	v 3213
111.19/111.21	v 3214
111.19/111.21	v 3217
111.19/111.21	v 3218
111.19/111.21	v 3219
111.19/111.21	v 3221
111.19/111.21	v 3222
111.19/111.21	v 3225
111.19/111.21	v 3226
111.19/111.21	v 3227
111.19/111.21	v 3228
111.19/111.21	v 3230
111.19/111.21	v 3231
111.19/111.21	v 3232
111.19/111.21	v 3233
111.19/111.21	v 3235
111.19/111.21	v 3236
111.19/111.21	v 3237
111.19/111.21	v 3239
111.19/111.21	v 3240
111.19/111.21	v 3243
111.19/111.21	v 3244
111.19/111.21	v 3245
111.19/111.21	v 3246
111.19/111.21	v 3247
111.19/111.21	v 3250
111.19/111.21	v 3251
111.19/111.21	v 3253
111.19/111.21	v 3255
111.19/111.21	v 3257
111.19/111.21	v 3258
111.19/111.21	v 3259
111.19/111.21	v 3263
111.19/111.21	v 3264
111.19/111.21	v 3265
111.19/111.21	v 3267
111.19/111.21	v 3268
111.19/111.21	v 3269
111.19/111.21	v 3272
111.19/111.21	v 3273
111.19/111.21	v 3275
111.19/111.21	v 3276
111.19/111.21	v 3277
111.19/111.21	v 3283
111.19/111.21	v 3284
111.19/111.21	v 3286
111.19/111.21	v 3291
111.19/111.21	v 3293
111.19/111.21	v 3297
111.19/111.21	v 3298
111.19/111.21	v 3299
111.19/111.21	v 3301
111.19/111.21	v 3302
111.19/111.21	v 3304
111.19/111.21	v 3305
111.19/111.21	v 3306
111.19/111.21	v 3307
111.19/111.21	v 3308
111.19/111.21	v 3309
111.19/111.21	v 3310
111.19/111.21	v 3312
111.19/111.21	v 3313
111.19/111.21	v 3316
111.19/111.21	v 3322
111.19/111.21	v 3323
111.19/111.21	v 3325
111.19/111.21	v 3326
111.19/111.21	v 3327
111.19/111.21	v 3328
111.19/111.21	v 3329
111.19/111.21	v 3331
111.19/111.21	v 3337
111.19/111.21	v 3340
111.19/111.21	v 3343
111.19/111.21	v 3346
111.19/111.21	v 3350
111.19/111.21	v 3351
111.19/111.21	v 3352
111.19/111.21	v 3353
111.19/111.21	v 3354
111.19/111.21	v 3355
111.19/111.21	v 3357
111.19/111.21	v 3358
111.19/111.21	v 3360
111.19/111.21	v 3361
111.19/111.21	v 3363
111.19/111.21	v 3364
111.19/111.21	v 3365
111.19/111.21	v 3366
111.19/111.21	v 3367
111.19/111.21	v 3373
111.19/111.21	v 3374
111.19/111.21	v 3375
111.19/111.21	v 3376
111.19/111.21	v 3377
111.19/111.21	v 3379
111.19/111.21	v 3380
111.19/111.21	v 3382
111.19/111.21	v 3383
111.19/111.21	v 3385
111.19/111.21	v 3386
111.19/111.21	v 3391
111.19/111.21	v 3393
111.19/111.21	v 3394
111.19/111.21	v 3395
111.19/111.21	v 3397
111.19/111.21	v 3398
111.19/111.21	v 3401
111.19/111.21	v 3403
111.19/111.21	v 3404
111.19/111.21	v 3405
111.19/111.21	v 3406
111.19/111.21	v 3409
111.19/111.21	v 3410
111.19/111.21	v 3411
111.19/111.21	v 3412
111.19/111.21	v 3413
111.19/111.21	v 3414
111.19/111.21	v 3415
111.19/111.21	v 3416
111.19/111.21	v 3417
111.19/111.21	v 3419
111.19/111.21	v 3420
111.19/111.21	v 3421
111.19/111.21	v 3426
111.19/111.21	v 3427
111.19/111.21	v 3429
111.19/111.21	v 3431
111.19/111.21	v 3432
111.19/111.21	v 3435
111.19/111.21	v 3437
111.19/111.21	v 3438
111.19/111.21	v 3440
111.19/111.21	v 3441
111.19/111.21	v 3445
111.19/111.21	v 3448
111.19/111.21	v 3450
111.19/111.21	v 3454
111.19/111.21	v 3458
111.19/111.21	v 3459
111.19/111.21	v 3460
111.19/111.21	v 3461
111.19/111.21	v 3462
111.19/111.21	v 3463
111.19/111.21	v 3464
111.19/111.21	v 3465
111.19/111.21	v 3467
111.19/111.21	v 3469
111.19/111.21	v 3471
111.19/111.21	v 3472
111.19/111.21	v 3473
111.19/111.21	v 3475
111.19/111.21	v 3476
111.19/111.21	v 3477
111.19/111.21	v 3478
111.19/111.21	v 3479
111.19/111.21	v 3480
111.19/111.21	v 3482
111.19/111.21	v 3483
111.19/111.21	v 3484
111.19/111.21	v 3486
111.19/111.21	v 3489
111.19/111.21	v 3490
111.19/111.21	v 3493
111.19/111.21	v 3497
111.19/111.21	v 3498
111.19/111.21	v 3499
111.19/111.21	v 3503
111.19/111.21	v 3504
111.19/111.21	v 3505
111.19/111.21	v 3506
111.19/111.21	v 3507
111.19/111.21	v 3512
111.19/111.21	v 3516
111.19/111.21	v 3518
111.19/111.21	v 3519
111.19/111.21	v 3520
111.19/111.21	v 3524
111.19/111.21	v 3526
111.19/111.21	v 3529
111.19/111.21	v 3530
111.19/111.21	v 3531
111.19/111.21	v 3532
111.19/111.21	v 3533
111.19/111.21	v 3534
111.19/111.21	v 3536
111.19/111.21	v 3538
111.19/111.21	v 3541
111.19/111.21	v 3542
111.19/111.21	v 3544
111.19/111.21	v 3547
111.19/111.21	v 3548
111.19/111.21	v 3554
111.19/111.21	v 3556
111.19/111.21	v 3557
111.19/111.21	v 3558
111.19/111.21	v 3560
111.19/111.21	v 3565
111.19/111.21	v 3567
111.19/111.21	v 3572
111.19/111.21	v 3574
111.19/111.21	v 3578
111.19/111.21	v 3579
111.19/111.21	v 3581
111.19/111.21	v 3582
111.19/111.21	v 3583
111.19/111.21	v 3585
111.19/111.21	v 3587
111.19/111.21	v 3589
111.19/111.21	v 3590
111.19/111.21	v 3591
111.19/111.21	v 3592
111.19/111.21	v 3593
111.19/111.21	v 3595
111.19/111.21	v 3596
111.19/111.21	v 3597
111.19/111.21	v 3598
111.19/111.21	v 3603
111.19/111.21	v 3608
111.19/111.21	v 3610
111.19/111.21	v 3611
111.19/111.21	v 3612
111.19/111.21	v 3615
111.19/111.21	v 3618
111.19/111.21	v 3620
111.19/111.21	v 3622
111.19/111.21	v 3623
111.19/111.21	v 3626
111.19/111.21	v 3627
111.19/111.21	v 3632
111.19/111.21	v 3635
111.19/111.21	v 3642
111.19/111.21	v 3646
111.19/111.21	v 3648
111.19/111.21	v 3649
111.19/111.21	v 3650
111.19/111.21	v 3652
111.19/111.21	v 3653
111.19/111.21	v 3656
111.19/111.21	v 3657
111.19/111.21	v 3658
111.19/111.21	v 3660
111.19/111.21	v 3670
111.19/111.21	v 3674
111.19/111.21	v 3675
111.19/111.21	v 3676
111.19/111.21	v 3680
111.19/111.21	v 3681
111.19/111.21	v 3682
111.19/111.21	v 3683
111.19/111.21	v 3684
111.19/111.21	v 3685
111.19/111.21	v 3687
111.19/111.21	v 3688
111.19/111.21	v 3690
111.19/111.21	v 3693
111.19/111.21	v 3694
111.19/111.21	v 3695
111.19/111.21	v 3697
111.19/111.21	v 3698
111.19/111.21	v 3699
111.19/111.21	v 3700
111.19/111.21	v 3701
111.19/111.21	v 3704
111.19/111.21	v 3705
111.19/111.21	v 3706
111.19/111.21	v 3707
111.19/111.21	v 3708
111.19/111.21	v 3710
111.19/111.21	v 3711
111.19/111.21	v 3715
111.19/111.21	v 3717
111.19/111.21	v 3719
111.19/111.21	v 3721
111.19/111.21	v 3725
111.19/111.21	v 3727
111.19/111.21	v 3728
111.19/111.21	v 3729
111.19/111.21	v 3730
111.19/111.21	v 3731
111.19/111.21	v 3734
111.19/111.21	v 3735
111.19/111.21	v 3736
111.19/111.21	v 3737
111.19/111.21	v 3738
111.19/111.21	v 3739
111.19/111.21	v 3742
111.19/111.21	v 3743
111.19/111.21	v 3744
111.19/111.21	v 3745
111.19/111.21	v 3746
111.19/111.21	v 3747
111.19/111.21	v 3749
111.19/111.21	v 3752
111.19/111.21	v 3753
111.19/111.21	v 3754
111.19/111.21	v 3755
111.19/111.21	v 3758
111.19/111.21	v 3759
111.19/111.21	v 3761
111.19/111.21	v 3762
111.19/111.21	v 3763
111.19/111.21	v 3764
111.19/111.21	v 3766
111.19/111.21	v 3767
111.19/111.21	v 3768
111.19/111.21	v 3770
111.19/111.21	v 3771
111.19/111.21	v 3772
111.19/111.21	v 3773
111.19/111.21	v 3776
111.19/111.21	v 3777
111.19/111.21	v 3779
111.19/111.21	v 3782
111.19/111.21	v 3783
111.19/111.21	v 3784
111.19/111.21	v 3785
111.19/111.21	v 3789
111.19/111.21	v 3791
111.19/111.21	v 3792
111.19/111.21	v 3795
111.19/111.21	v 3796
111.19/111.21	v 3798
111.19/111.21	v 3799
111.19/111.21	v 3800
111.19/111.21	v 3802
111.19/111.21	v 3804
111.19/111.21	v 3805
111.19/111.21	v 3806
111.19/111.21	v 3808
111.19/111.21	v 3810
111.19/111.21	v 3811
111.19/111.21	v 3812
111.19/111.21	v 3813
111.19/111.21	v 3816
111.19/111.21	v 3818
111.19/111.21	v 3819
111.19/111.21	v 3821
111.19/111.21	v 3825
111.19/111.21	v 3826
111.19/111.21	v 3828
111.19/111.21	v 3830
111.19/111.21	v 3831
111.19/111.21	v 3832
111.19/111.21	v 3835
111.19/111.21	v 3836
111.19/111.21	v 3837
111.19/111.21	v 3839
111.19/111.21	v 3842
111.19/111.21	v 3843
111.19/111.21	v 3844
111.19/111.21	v 3847
111.19/111.21	v 3849
111.19/111.21	v 3850
111.19/111.21	v 3855
111.19/111.21	v 3856
111.19/111.21	v 3857
111.19/111.21	v 3858
111.19/111.21	v 3859
111.19/111.21	v 3861
111.19/111.21	v 3863
111.19/111.21	v 3864
111.19/111.21	v 3865
111.19/111.21	v 3868
111.19/111.21	v 3870
111.19/111.21	v 3872
111.19/111.21	v 3875
111.19/111.21	v 3877
111.19/111.21	v 3880
111.19/111.21	v 3881
111.19/111.21	v 3890
111.19/111.21	v 3892
111.19/111.21	v 3894
111.19/111.21	v 3896
111.19/111.21	v 3897
111.19/111.21	v 3900
111.19/111.21	v 3903
111.19/111.21	v 3905
111.19/111.21	v 3908
111.19/111.21	v 3909
111.19/111.21	v 3913
111.19/111.21	v 3916
111.19/111.21	v 3917
111.19/111.21	v 3918
111.19/111.21	v 3920
111.19/111.21	v 3921
111.19/111.21	v 3923
111.19/111.21	v 3927
111.19/111.21	v 3929
111.19/111.21	v 3932
111.19/111.21	v 3937
111.19/111.21	v 3939
111.19/111.21	v 3940
111.19/111.21	v 3941
111.19/111.21	v 3943
111.19/111.21	v 3945
111.19/111.21	v 3947
111.19/111.21	v 3951
111.19/111.21	v 3953
111.19/111.21	v 3954
111.19/111.21	v 3955
111.19/111.21	v 3957
111.19/111.21	v 3958
111.19/111.21	v 3959
111.19/111.21	v 3960
111.19/111.21	v 3961
111.19/111.21	v 3964
111.19/111.21	v 3966
111.19/111.21	v 3968
111.19/111.21	v 3970
111.19/111.21	v 3972
111.19/111.21	v 3975
111.19/111.21	v 3976
111.19/111.21	v 3977
111.19/111.21	v 3980
111.19/111.21	v 3981
111.19/111.21	v 3986
111.19/111.21	v 3987
111.19/111.21	v 3988
111.19/111.21	v 3989
111.19/111.21	v 3990
111.19/111.21	v 3992
111.19/111.21	v 3993
111.19/111.21	v 3995
111.19/111.21	v 3997
111.19/111.21	v 3998
111.19/111.21	v 4001
111.19/111.21	v 4003
111.19/111.21	v 4004
111.19/111.21	v 4005
111.19/111.21	v 4006
111.19/111.21	v 4008
111.19/111.21	v 4010
111.19/111.21	v 4011
111.19/111.21	v 4012
111.19/111.21	v 4013
111.19/111.21	v 4018
111.19/111.21	v 4020
111.19/111.21	v 4021
111.19/111.21	v 4022
111.19/111.21	v 4025
111.19/111.21	v 4028
111.19/111.21	v 4029
111.19/111.21	v 4030
111.19/111.21	v 4035
111.19/111.21	v 4042
111.19/111.21	v 4043
111.19/111.21	v 4045
111.19/111.21	v 4048
111.19/111.21	v 4049
111.19/111.21	v 4051
111.19/111.21	v 4054
111.19/111.21	v 4055
111.19/111.21	v 4056
111.19/111.21	v 4059
111.19/111.21	v 4061
111.19/111.21	v 4063
111.19/111.21	v 4064
111.19/111.21	v 4065
111.19/111.21	v 4066
111.19/111.21	v 4067
111.19/111.21	v 4069
111.19/111.21	v 4070
111.19/111.21	v 4071
111.19/111.21	v 4073
111.19/111.21	v 4074
111.19/111.21	v 4075
111.19/111.21	v 4077
111.19/111.21	v 4079
111.19/111.21	v 4080
111.19/111.21	v 4081
111.19/111.21	v 4082
111.19/111.21	v 4083
111.19/111.21	v 4084
111.19/111.21	v 4085
111.19/111.21	v 4088
111.19/111.21	v 4089
111.19/111.21	v 4091
111.19/111.21	v 4092
111.19/111.21	v 4093
111.19/111.21	v 4094
111.19/111.21	v 4097
111.19/111.21	v 4098
111.19/111.21	v 4101
111.19/111.21	v 4102
111.19/111.21	v 4104
111.19/111.21	v 4106
111.19/111.21	v 4108
111.19/111.21	v 4111
111.19/111.21	v 4112
111.19/111.21	v 4113
111.19/111.21	v 4117
111.19/111.21	v 4118
111.19/111.21	v 4119
111.19/111.21	v 4120
111.19/111.21	v 4122
111.19/111.21	v 4123
111.19/111.21	v 4125
111.19/111.21	v 4126
111.19/111.21	v 4129
111.19/111.21	v 4130
111.19/111.21	v 4133
111.19/111.21	v 4135
111.19/111.21	v 4136
111.19/111.21	v 4137
111.19/111.21	v 4139
111.19/111.21	v 4140
111.19/111.21	v 4143
111.19/111.21	v 4144
111.19/111.21	v 4145
111.19/111.21	v 4146
111.19/111.21	v 4148
111.19/111.21	v 4149
111.19/111.21	v 4150
111.19/111.21	v 4151
111.19/111.21	v 4152
111.19/111.21	v 4154
111.19/111.21	v 4155
111.19/111.21	v 4156
111.19/111.21	v 4158
111.19/111.21	v 4159
111.19/111.21	v 4161
111.19/111.21	v 4162
111.19/111.21	v 4164
111.19/111.21	v 4166
111.19/111.21	v 4167
111.19/111.21	v 4169
111.19/111.21	v 4171
111.19/111.21	v 4172
111.19/111.21	v 4173
111.19/111.21	v 4175
111.19/111.21	v 4177
111.19/111.21	v 4179
111.19/111.21	v 4182
111.19/111.21	v 4184
111.19/111.21	v 4188
111.19/111.21	v 4189
111.19/111.21	v 4190
111.19/111.21	v 4192
111.19/111.21	v 4193
111.19/111.21	v 4194
111.19/111.21	v 4195
111.19/111.21	v 4196
111.19/111.21	v 4197
111.19/111.21	v 4199
111.19/111.21	v 4201
111.19/111.21	v 4202
111.19/111.21	v 4203
111.19/111.21	v 4208
111.19/111.21	v 4211
111.19/111.21	v 4213
111.19/111.21	v 4215
111.19/111.21	v 4216
111.19/111.21	v 4218
111.19/111.21	v 4219
111.19/111.21	v 4221
111.19/111.21	v 4223
111.19/111.21	v 4225
111.19/111.21	v 4230
111.19/111.21	v 4231
111.19/111.21	v 4234
111.19/111.21	v 4236
111.19/111.21	v 4237
111.19/111.21	v 4240
111.19/111.21	v 4243
111.19/111.21	v 4244
111.19/111.21	v 4245
111.19/111.21	v 4247
111.19/111.21	v 4251
111.19/111.21	v 4252
111.19/111.21	v 4255
111.19/111.21	v 4257
111.19/111.21	v 4259
111.19/111.21	v 4260
111.19/111.21	v 4261
111.19/111.21	v 4264
111.19/111.21	v 4265
111.19/111.21	v 4267
111.19/111.21	v 4268
111.19/111.21	v 4270
111.19/111.21	v 4272
111.19/111.21	v 4273
111.19/111.21	v 4274
111.19/111.21	v 4275
111.19/111.21	v 4277
111.19/111.21	v 4278
111.19/111.21	v 4279
111.19/111.21	v 4282
111.19/111.21	v 4284
111.19/111.21	v 4285
111.19/111.21	v 4286
111.19/111.21	v 4287
111.19/111.21	v 4289
111.19/111.21	v 4291
111.19/111.21	v 4293
111.19/111.21	v 4295
111.19/111.21	v 4297
111.19/111.21	v 4298
111.19/111.21	v 4302
111.19/111.21	v 4305
111.19/111.21	v 4306
111.19/111.21	v 4308
111.19/111.21	v 4317
111.19/111.21	v 4318
111.19/111.21	v 4320
111.19/111.21	v 4322
111.19/111.21	v 4324
111.19/111.21	v 4326
111.19/111.21	v 4327
111.19/111.21	v 4330
111.19/111.21	v 4334
111.19/111.21	v 4335
111.19/111.21	v 4336
111.19/111.21	v 4337
111.19/111.21	v 4338
111.19/111.21	v 4340
111.19/111.21	v 4341
111.19/111.21	v 4342
111.19/111.21	v 4346
111.19/111.21	v 4347
111.19/111.21	v 4348
111.19/111.21	v 4349
111.19/111.21	v 4351
111.19/111.21	v 4352
111.19/111.21	v 4354
111.19/111.21	v 4355
111.19/111.21	v 4356
111.19/111.21	v 4358
111.19/111.21	v 4361
111.19/111.21	v 4363
111.19/111.21	v 4365
111.19/111.21	v 4368
111.19/111.21	v 4369
111.19/111.21	v 4371
111.19/111.21	v 4372
111.19/111.21	v 4373
111.19/111.21	v 4374
111.19/111.21	v 4379
111.19/111.21	v 4380
111.19/111.21	v 4381
111.19/111.21	v 4382
111.19/111.21	v 4384
111.19/111.21	v 4386
111.19/111.21	v 4387
111.19/111.21	v 4388
111.19/111.21	v 4390
111.19/111.21	v 4391
111.19/111.21	v 4393
111.19/111.21	v 4394
111.19/111.21	v 4395
111.19/111.21	v 4396
111.19/111.21	v 4397
111.19/111.21	v 4398
111.19/111.21	v 4400
111.19/111.21	v 4403
111.19/111.21	v 4404
111.19/111.21	v 4406
111.19/111.21	v 4409
111.19/111.21	v 4410
111.19/111.21	v 4412
111.19/111.21	v 4413
111.19/111.21	v 4416
111.19/111.21	v 4417
111.19/111.21	v 4418
111.19/111.21	v 4419
111.19/111.21	v 4420
111.19/111.21	v 4423
111.19/111.21	v 4425
111.19/111.21	v 4427
111.19/111.21	v 4429
111.19/111.21	v 4430
111.19/111.21	v 4432
111.19/111.21	v 4436
111.19/111.21	v 4437
111.19/111.21	v 4439
111.19/111.21	v 4441
111.19/111.21	v 4443
111.19/111.21	v 4444
111.19/111.21	v 4445
111.19/111.21	v 4446
111.19/111.21	v 4447
111.19/111.21	v 4449
111.19/111.21	v 4451
111.19/111.21	v 4453
111.19/111.21	v 4454
111.19/111.21	v 4456
111.19/111.21	v 4457
111.19/111.21	v 4461
111.19/111.21	v 4462
111.19/111.21	v 4463
111.19/111.21	v 4465
111.19/111.21	v 4466
111.19/111.21	v 4469
111.19/111.21	v 4470
111.19/111.21	v 4471
111.19/111.21	v 4472
111.19/111.21	v 4473
111.19/111.21	v 4475
111.19/111.21	v 4476
111.19/111.21	v 4480
111.19/111.21	v 4481
111.19/111.21	v 4483
111.19/111.21	v 4485
111.19/111.21	v 4486
111.19/111.21	v 4490
111.19/111.21	v 4495
111.19/111.21	v 4499
111.19/111.21	v 4501
111.19/111.21	v 4502
111.19/111.21	v 4503
111.19/111.21	v 4507
111.19/111.21	v 4508
111.19/111.21	v 4510
111.19/111.21	v 4513
111.19/111.21	v 4515
111.19/111.21	v 4516
111.19/111.21	v 4517
111.19/111.21	v 4518
111.19/111.21	v 4519
111.19/111.21	v 4520
111.19/111.21	v 4521
111.19/111.21	v 4522
111.19/111.21	v 4523
111.19/111.21	v 4524
111.19/111.21	v 4526
111.19/111.21	v 4527
111.19/111.21	v 4530
111.19/111.21	v 4531
111.19/111.21	v 4532
111.19/111.21	v 4533
111.19/111.21	v 4535
111.19/111.21	v 4536
111.19/111.21	v 4537
111.19/111.21	v 4538
111.19/111.21	v 4540
111.19/111.21	v 4541
111.19/111.21	v 4543
111.19/111.21	v 4545
111.19/111.21	v 4546
111.19/111.21	v 4547
111.19/111.21	v 4550
111.19/111.21	v 4551
111.19/111.21	v 4552
111.19/111.21	v 4553
111.19/111.21	v 4554
111.19/111.21	v 4556
111.19/111.21	v 4557
111.19/111.21	v 4558
111.19/111.21	v 4560
111.19/111.21	v 4561
111.19/111.21	v 4563
111.19/111.21	v 4564
111.19/111.21	v 4566
111.19/111.21	v 4568
111.19/111.21	v 4569
111.19/111.21	v 4573
111.19/111.21	v 4574
111.19/111.21	v 4575
111.19/111.21	v 4577
111.19/111.21	v 4578
111.19/111.21	v 4580
111.19/111.21	v 4581
111.19/111.21	v 4582
111.19/111.21	v 4583
111.19/111.21	v 4585
111.19/111.21	v 4586
111.19/111.21	v 4587
111.19/111.21	v 4590
111.19/111.21	v 4594
111.19/111.21	v 4595
111.19/111.21	v 4597
111.19/111.21	v 4599
111.19/111.21	v 4600
111.19/111.21	v 4601
111.19/111.21	v 4602
111.19/111.21	v 4603
111.19/111.21	v 4604
111.19/111.21	v 4606
111.19/111.21	v 4607
111.19/111.21	v 4608
111.19/111.21	v 4609
111.19/111.21	v 4611
111.19/111.21	v 4613
111.19/111.21	v 4614
111.19/111.21	v 4615
111.19/111.21	v 4616
111.19/111.21	v 4617
111.19/111.21	v 4618
111.19/111.21	v 4619
111.19/111.21	v 4620
111.19/111.21	v 4622
111.19/111.21	v 4625
111.19/111.21	v 4626
111.19/111.21	v 4630
111.19/111.21	v 4631
111.19/111.21	v 4632
111.19/111.21	v 4633
111.19/111.21	v 4635
111.19/111.21	v 4636
111.19/111.21	v 4638
111.19/111.21	v 4640
111.19/111.21	v 4641
111.19/111.21	v 4644
111.19/111.21	v 4645
111.19/111.21	v 4649
111.19/111.21	v 4650
111.19/111.21	v 4652
111.19/111.21	v 4653
111.19/111.21	v 4655
111.19/111.21	v 4656
111.19/111.21	v 4657
111.19/111.21	v 4658
111.19/111.21	v 4659
111.19/111.21	v 4660
111.19/111.21	v 4661
111.19/111.21	v 4662
111.19/111.21	v 4664
111.19/111.21	v 4666
111.19/111.21	v 4668
111.19/111.21	v 4670
111.19/111.21	v 4672
111.19/111.21	v 4675
111.19/111.21	v 4677
111.19/111.21	v 4678
111.19/111.21	v 4680
111.19/111.21	v 4681
111.19/111.21	v 4683
111.19/111.21	v 4685
111.19/111.21	v 4687
111.19/111.21	v 4689
111.19/111.21	v 4690
111.19/111.21	v 4691
111.19/111.21	v 4695
111.19/111.21	v 4696
111.19/111.21	v 4697
111.19/111.21	v 4699
111.19/111.21	v 4702
111.19/111.21	v 4703
111.19/111.21	v 4704
111.19/111.21	v 4705
111.19/111.21	v 4706
111.19/111.21	v 4707
111.19/111.21	v 4709
111.19/111.21	v 4711
111.19/111.21	v 4713
111.19/111.21	v 4714
111.19/111.21	v 4715
111.19/111.21	v 4716
111.19/111.21	v 4718
111.19/111.21	v 4719
111.19/111.21	v 4720
111.19/111.21	v 4722
111.19/111.21	v 4723
111.19/111.21	v 4726
111.19/111.21	v 4727
111.19/111.21	v 4728
111.19/111.21	v 4729
111.19/111.21	v 4730
111.19/111.21	v 4731
111.19/111.21	v 4733
111.19/111.21	v 4734
111.19/111.21	v 4738
111.19/111.21	v 4740
111.19/111.21	v 4741
111.19/111.21	v 4742
111.19/111.21	v 4744
111.19/111.21	v 4745
111.19/111.21	v 4746
111.19/111.21	v 4750
111.19/111.21	v 4751
111.19/111.21	v 4752
111.19/111.21	v 4753
111.19/111.21	v 4755
111.19/111.21	v 4757
111.19/111.21	v 4762
111.19/111.21	v 4763
111.19/111.21	v 4764
111.19/111.21	v 4765
111.19/111.21	v 4771
111.19/111.21	v 4774
111.19/111.21	v 4776
111.19/111.21	v 4777
111.19/111.21	v 4778
111.19/111.21	v 4779
111.19/111.21	v 4781
111.19/111.21	v 4784
111.19/111.21	v 4785
111.19/111.21	v 4786
111.19/111.21	v 4787
111.19/111.21	v 4788
111.19/111.21	v 4791
111.19/111.21	v 4793
111.19/111.21	v 4794
111.19/111.21	v 4796
111.19/111.21	v 4797
111.19/111.21	v 4799
111.19/111.21	v 4804
111.19/111.21	v 4805
111.19/111.21	v 4806
111.19/111.21	v 4807
111.19/111.21	v 4808
111.19/111.21	v 4809
111.19/111.21	v 4810
111.19/111.21	v 4812
111.19/111.21	v 4813
111.19/111.21	v 4815
111.19/111.21	v 4817
111.19/111.21	v 4819
111.19/111.21	v 4821
111.19/111.21	v 4823
111.19/111.21	v 4824
111.19/111.21	v 4827
111.19/111.21	v 4828
111.19/111.21	v 4830
111.19/111.21	v 4831
111.19/111.21	v 4834
111.19/111.21	v 4836
111.19/111.21	v 4837
111.19/111.21	v 4838
111.19/111.21	v 4839
111.19/111.21	v 4840
111.19/111.21	v 4843
111.19/111.21	v 4846
111.19/111.21	v 4848
111.19/111.21	v 4849
111.19/111.21	v 4851
111.19/111.21	v 4852
111.19/111.21	v 4853
111.19/111.21	v 4855
111.19/111.21	v 4856
111.19/111.21	v 4857
111.19/111.21	v 4860
111.19/111.21	v 4861
111.19/111.21	v 4862
111.19/111.21	v 4864
111.19/111.21	v 4865
111.19/111.21	v 4866
111.19/111.21	v 4868
111.19/111.21	v 4869
111.19/111.21	v 4870
111.19/111.21	v 4871
111.19/111.21	v 4873
111.19/111.21	v 4874
111.19/111.21	v 4875
111.19/111.21	v 4878
111.19/111.21	v 4879
111.19/111.21	v 4880
111.19/111.21	v 4884
111.19/111.21	v 4887
111.19/111.21	v 4888
111.19/111.21	v 4889
111.19/111.21	v 4890
111.19/111.21	v 4891
111.19/111.21	v 4893
111.19/111.21	v 4894
111.19/111.21	v 4895
111.19/111.21	v 4896
111.19/111.21	v 4897
111.19/111.21	v 4902
111.19/111.21	v 4905
111.19/111.21	v 4906
111.19/111.21	v 4907
111.19/111.21	v 4908
111.19/111.21	v 4909
111.19/111.21	v 4911
111.19/111.21	v 4913
111.19/111.21	v 4914
111.19/111.21	v 4915
111.19/111.21	v 4918
111.19/111.21	v 4919
111.19/111.21	v 4921
111.19/111.21	v 4922
111.19/111.21	v 4924
111.19/111.21	v 4927
111.19/111.21	v 4928
111.19/111.21	v 4931
111.19/111.21	v 4934
111.19/111.21	v 4935
111.19/111.21	v 4936
111.19/111.21	v 4938
111.19/111.21	v 4939
111.19/111.21	v 4940
111.19/111.21	v 4941
111.19/111.21	v 4944
111.19/111.21	v 4945
111.19/111.21	v 4947
111.19/111.21	v 4951
111.19/111.21	v 4953
111.19/111.21	v 4955
111.19/111.21	v 4956
111.19/111.21	v 4959
111.19/111.21	v 4960
111.19/111.21	v 4961
111.19/111.21	v 4962
111.19/111.21	v 4963
111.19/111.21	v 4964
111.19/111.21	v 4965
111.19/111.21	v 4966
111.19/111.21	v 4968
111.19/111.21	v 4969
111.19/111.21	v 4970
111.19/111.21	v 4973
111.19/111.21	v 4974
111.19/111.21	v 4975
111.19/111.21	v 4977
111.19/111.21	v 4978
111.19/111.21	v 4980
111.19/111.21	v 4982
111.19/111.21	v 4983
111.19/111.21	v 4985
111.19/111.21	v 4988
111.19/111.21	v 4989
111.19/111.21	v 4990
111.19/111.21	v 4992
111.19/111.21	v 4993
111.19/111.21	v 4995
111.19/111.21	v 4998
111.19/111.21	v 4999
111.19/111.21	v 5000
111.19/111.21	v 5001
111.19/111.21	v 5002
111.19/111.21	v 5003
111.19/111.21	v 5004
111.19/111.21	v 5005
111.19/111.21	v 5006
111.19/111.21	v 5007
111.19/111.21	v 5009
111.19/111.21	v 5011
111.19/111.21	v 5013
111.19/111.21	v 5015
111.19/111.21	v 5017
111.19/111.21	v 5020
111.19/111.21	v 5022
111.19/111.21	v 5023
111.19/111.21	v 5024
111.19/111.21	v 5025
111.19/111.21	v 5026
111.19/111.21	v 5027
111.19/111.21	v 5028
111.19/111.21	v 5029
111.19/111.21	v 5030
111.19/111.21	v 5031
111.19/111.21	v 5033
111.19/111.21	v 5035
111.19/111.21	v 5042
111.19/111.21	v 5043
111.19/111.21	v 5045
111.19/111.21	v 5048
111.19/111.21	v 5049
111.19/111.21	v 5050
111.19/111.21	v 5052
111.19/111.21	v 5054
111.19/111.21	v 5055
111.19/111.21	v 5057
111.19/111.21	v 5059
111.19/111.21	v 5060
111.19/111.21	v 5061
111.19/111.21	v 5062
111.19/111.21	v 5068
111.19/111.21	v 5069
111.19/111.21	v 5071
111.19/111.21	v 5072
111.19/111.21	v 5074
111.19/111.21	v 5075
111.19/111.21	v 5077
111.19/111.21	v 5078
111.19/111.21	v 5080
111.19/111.21	v 5081
111.19/111.21	v 5084
111.19/111.21	v 5086
111.19/111.21	v 5087
111.19/111.21	v 5088
111.19/111.21	v 5089
111.19/111.21	v 5091
111.19/111.21	v 5092
111.19/111.21	v 5094
111.19/111.21	v 5096
111.19/111.21	v 5097
111.19/111.21	v 5098
111.19/111.21	v 5099
111.19/111.21	v 5100
111.19/111.21	v 5102
111.19/111.21	v 5104
111.19/111.21	v 5105
111.19/111.21	v 5106
111.19/111.21	v 5107
111.19/111.21	v 5108
111.19/111.21	v 5109
111.19/111.21	v 5110
111.19/111.21	v 5111
111.19/111.21	v 5117
111.19/111.21	v 5119
111.19/111.21	v 5120
111.19/111.21	v 5121
111.19/111.21	v 5122
111.19/111.21	v 5123
111.19/111.21	v 5127
111.19/111.21	v 5128
111.19/111.21	v 5129
111.19/111.21	v 5130
111.19/111.21	v 5131
111.19/111.21	v 5132
111.19/111.21	v 5133
111.19/111.21	v 5135
111.19/111.21	v 5137
111.19/111.21	v 5138
111.19/111.21	v 5140
111.19/111.21	v 5142
111.19/111.21	v 5144
111.19/111.21	v 5146
111.19/111.21	v 5149
111.19/111.21	v 5150
111.19/111.21	v 5151
111.19/111.21	v 5152
111.19/111.21	v 5154
111.19/111.21	v 5155
111.19/111.21	v 5156
111.19/111.21	v 5157
111.19/111.21	v 5159
111.19/111.21	v 5160
111.19/111.21	v 5162
111.19/111.21	v 5163
111.19/111.21	v 5164
111.19/111.21	v 5165
111.19/111.21	v 5166
111.19/111.21	v 5167
111.19/111.21	v 5168
111.19/111.21	v 5169
111.19/111.21	v 5170
111.19/111.21	v 5176
111.19/111.21	v 5177
111.19/111.21	v 5179
111.19/111.21	v 5181
111.19/111.21	v 5183
111.19/111.21	v 5184
111.19/111.21	v 5186
111.19/111.21	v 5188
111.19/111.21	v 5189
111.19/111.21	v 5190
111.19/111.21	v 5192
111.19/111.21	v 5197
111.19/111.21	v 5198
111.19/111.21	v 5199
111.19/111.21	v 5204
111.19/111.21	v 5206
111.19/111.21	v 5211
111.19/111.21	v 5213
111.19/111.21	v 5214
111.19/111.21	v 5216
111.19/111.21	v 5218
111.19/111.21	v 5219
111.19/111.21	v 5220
111.19/111.21	v 5221
111.19/111.21	v 5223
111.19/111.21	v 5224
111.19/111.21	v 5225
111.19/111.21	v 5229
111.19/111.21	v 5231
111.19/111.21	v 5232
111.19/111.21	v 5233
111.19/111.21	v 5234
111.19/111.21	v 5235
111.19/111.21	v 5236
111.19/111.21	v 5237
111.19/111.21	v 5238
111.19/111.21	v 5239
111.19/111.21	v 5240
111.19/111.21	v 5243
111.19/111.21	v 5244
111.19/111.21	v 5245
111.19/111.21	v 5246
111.19/111.21	v 5251
111.19/111.21	v 5252
111.19/111.21	v 5253
111.19/111.21	v 5254
111.19/111.21	v 5256
111.19/111.21	v 5257
111.19/111.21	v 5259
111.19/111.21	v 5264
111.19/111.21	v 5268
111.19/111.21	v 5269
111.19/111.21	v 5272
111.19/111.21	v 5274
111.19/111.21	v 5275
111.19/111.21	v 5277
111.19/111.21	v 5278
111.19/111.21	v 5279
111.19/111.21	v 5280
111.19/111.21	v 5281
111.19/111.21	v 5283
111.19/111.21	v 5284
111.19/111.21	v 5285
111.19/111.21	v 5286
111.19/111.21	v 5288
111.19/111.21	v 5292
111.19/111.21	v 5293
111.19/111.21	v 5294
111.19/111.21	v 5296
111.19/111.21	v 5297
111.19/111.21	v 5298
111.19/111.21	v 5299
111.19/111.21	v 5300
111.19/111.21	v 5302
111.19/111.21	v 5303
111.19/111.21	v 5305
111.19/111.21	v 5306
111.19/111.21	v 5307
111.19/111.21	v 5308
111.19/111.21	v 5309
111.19/111.21	v 5310
111.19/111.21	v 5314
111.19/111.21	v 5315
111.19/111.21	v 5316
111.19/111.21	v 5317
111.19/111.21	v 5318
111.19/111.21	v 5319
111.19/111.21	v 5320
111.19/111.21	v 5322
111.19/111.21	v 5323
111.19/111.21	v 5325
111.19/111.21	v 5326
111.19/111.21	v 5331
111.19/111.21	v 5334
111.19/111.21	v 5335
111.19/111.21	v 5336
111.19/111.21	v 5340
111.19/111.21	v 5341
111.19/111.21	v 5343
111.19/111.21	v 5346
111.19/111.21	v 5347
111.19/111.21	v 5349
111.19/111.21	v 5350
111.19/111.21	v 5352
111.19/111.21	v 5358
111.19/111.21	v 5359
111.19/111.21	v 5361
111.19/111.21	v 5362
111.19/111.21	v 5364
111.19/111.21	v 5365
111.19/111.21	v 5367
111.19/111.21	v 5370
111.19/111.21	v 5371
111.19/111.21	v 5372
111.19/111.21	v 5374
111.19/111.21	v 5375
111.19/111.21	v 5376
111.19/111.21	v 5378
111.19/111.21	v 5380
111.19/111.21	v 5381
111.19/111.21	v 5382
111.19/111.21	v 5384
111.19/111.21	v 5385
111.19/111.21	v 5389
111.19/111.21	v 5390
111.19/111.21	v 5391
111.19/111.21	v 5394
111.19/111.21	v 5395
111.19/111.21	v 5396
111.19/111.21	v 5397
111.19/111.21	v 5400
111.19/111.21	v 5401
111.19/111.21	v 5402
111.19/111.21	v 5403
111.19/111.21	v 5404
111.19/111.21	v 5405
111.19/111.21	v 5406
111.19/111.21	v 5407
111.19/111.21	v 5408
111.19/111.21	v 5409
111.19/111.21	v 5412
111.19/111.21	v 5413
111.19/111.21	v 5414
111.19/111.21	v 5418
111.19/111.21	v 5419
111.19/111.21	v 5420
111.19/111.21	v 5426
111.19/111.21	v 5427
111.19/111.21	v 5428
111.19/111.21	v 5430
111.19/111.21	v 5432
111.19/111.21	v 5433
111.19/111.21	v 5435
111.19/111.21	v 5438
111.19/111.21	v 5439
111.19/111.21	v 5447
111.19/111.21	v 5451
111.19/111.21	v 5452
111.19/111.21	v 5453
111.19/111.21	v 5456
111.19/111.21	v 5459
111.19/111.21	v 5461
111.19/111.21	v 5465
111.19/111.21	v 5466
111.19/111.21	v 5467
111.19/111.21	v 5468
111.19/111.21	v 5469
111.19/111.21	v 5470
111.19/111.21	v 5472
111.19/111.21	v 5473
111.19/111.21	v 5474
111.19/111.21	v 5475
111.19/111.21	v 5476
111.19/111.21	v 5479
111.19/111.21	v 5481
111.19/111.21	v 5482
111.19/111.21	v 5483
111.19/111.21	v 5486
111.19/111.21	v 5488
111.19/111.21	v 5490
111.19/111.21	v 5491
111.19/111.21	v 5492
111.19/111.21	v 5493
111.19/111.21	v 5494
111.19/111.21	v 5500
111.19/111.21	v 5501
111.19/111.21	v 5502
111.19/111.21	v 5503
111.19/111.21	v 5504
111.19/111.21	v 5506
111.19/111.21	v 5507
111.19/111.21	v 5509
111.19/111.21	v 5511
111.19/111.21	v 5512
111.19/111.21	v 5513
111.19/111.21	v 5515
111.19/111.21	v 5517
111.19/111.21	v 5518
111.19/111.21	v 5520
111.19/111.21	v 5521
111.19/111.21	v 5524
111.19/111.21	v 5526
111.19/111.21	v 5527
111.19/111.21	v 5528
111.19/111.21	v 5530
111.19/111.21	v 5532
111.19/111.21	v 5533
111.19/111.21	v 5534
111.19/111.21	v 5536
111.19/111.21	v 5537
111.19/111.21	v 5540
111.19/111.21	v 5544
111.19/111.21	v 5546
111.19/111.21	v 5547
111.19/111.21	v 5548
111.19/111.21	v 5550
111.19/111.21	v 5551
111.19/111.21	v 5553
111.19/111.21	v 5554
111.19/111.21	v 5555
111.19/111.21	v 5556
111.19/111.21	v 5557
111.19/111.21	v 5558
111.19/111.21	v 5561
111.19/111.21	v 5563
111.19/111.21	v 5567
111.19/111.21	v 5568
111.19/111.21	v 5574
111.19/111.21	v 5576
111.19/111.21	v 5578
111.19/111.21	v 5579
111.19/111.21	v 5580
111.19/111.21	v 5582
111.19/111.21	v 5583
111.19/111.21	v 5584
111.19/111.21	v 5585
111.19/111.21	v 5586
111.19/111.21	v 5587
111.19/111.21	v 5588
111.19/111.21	v 5589
111.19/111.21	v 5592
111.19/111.21	v 5593
111.19/111.21	v 5594
111.19/111.21	v 5595
111.19/111.21	v 5596
111.19/111.21	v 5597
111.19/111.21	v 5598
111.19/111.21	v 5599
111.19/111.21	v 5600
111.19/111.21	v 5602
111.19/111.21	v 5603
111.19/111.21	v 5607
111.19/111.21	v 5609
111.19/111.21	v 5610
111.19/111.21	v 5611
111.19/111.21	v 5613
111.19/111.21	v 5615
111.19/111.21	v 5616
111.19/111.21	v 5617
111.19/111.21	v 5618
111.19/111.21	v 5619
111.19/111.21	v 5620
111.19/111.21	v 5621
111.19/111.21	v 5622
111.19/111.21	v 5623
111.19/111.21	v 5625
111.19/111.21	v 5626
111.19/111.21	v 5631
111.19/111.21	v 5633
111.19/111.21	v 5634
111.19/111.21	v 5635
111.19/111.21	v 5636
111.19/111.21	v 5637
111.19/111.21	v 5638
111.19/111.21	v 5641
111.19/111.21	v 5642
111.19/111.21	v 5643
111.19/111.21	v 5644
111.19/111.21	v 5645
111.19/111.21	v 5647
111.19/111.21	v 5648
111.19/111.21	v 5649
111.19/111.21	v 5650
111.19/111.21	v 5652
111.19/111.21	v 5653
111.19/111.21	v 5654
111.19/111.21	v 5655
111.19/111.21	v 5657
111.19/111.21	v 5658
111.19/111.21	v 5664
111.19/111.21	v 5665
111.19/111.21	v 5666
111.19/111.21	v 5667
111.19/111.21	v 5668
111.19/111.21	v 5669
111.19/111.21	v 5670
111.19/111.21	v 5671
111.19/111.21	v 5672
111.19/111.21	v 5673
111.19/111.21	v 5674
111.19/111.21	v 5675
111.19/111.21	v 5677
111.19/111.21	v 5678
111.19/111.21	v 5680
111.19/111.21	v 5681
111.19/111.21	v 5682
111.19/111.21	v 5688
111.19/111.21	v 5689
111.19/111.21	v 5690
111.19/111.21	v 5693
111.19/111.21	v 5694
111.19/111.21	v 5696
111.19/111.21	v 5697
111.19/111.21	v 5702
111.19/111.21	v 5703
111.19/111.21	v 5708
111.19/111.21	v 5709
111.19/111.21	v 5710
111.19/111.21	v 5711
111.19/111.21	v 5713
111.19/111.21	v 5715
111.19/111.21	v 5716
111.19/111.21	v 5717
111.19/111.21	v 5718
111.19/111.21	v 5719
111.19/111.21	v 5720
111.19/111.21	v 5721
111.19/111.21	v 5723
111.19/111.21	v 5727
111.19/111.21	v 5728
111.19/111.21	v 5729
111.19/111.21	v 5730
111.19/111.21	v 5731
111.19/111.21	v 5732
111.19/111.21	v 5734
111.19/111.21	v 5735
111.19/111.21	v 5737
111.19/111.21	v 5738
111.19/111.21	v 5741
111.19/111.21	v 5742
111.19/111.21	v 5744
111.19/111.21	v 5745
111.19/111.21	v 5746
111.19/111.21	v 5747
111.19/111.21	v 5749
111.19/111.21	v 5750
111.19/111.21	v 5752
111.19/111.21	v 5753
111.19/111.21	v 5754
111.19/111.21	v 5755
111.19/111.21	v 5756
111.19/111.21	v 5758
111.19/111.21	v 5759
111.19/111.21	v 5760
111.19/111.21	v 5761
111.19/111.21	v 5762
111.19/111.21	v 5764
111.19/111.21	v 5765
111.19/111.21	v 5767
111.19/111.21	v 5768
111.19/111.21	v 5769
111.19/111.21	v 5771
111.19/111.21	v 5772
111.19/111.21	v 5773
111.19/111.21	v 5775
111.19/111.21	v 5776
111.19/111.21	v 5778
111.19/111.21	v 5779
111.19/111.21	v 5781
111.19/111.21	v 5782
111.19/111.21	v 5783
111.19/111.21	v 5784
111.19/111.21	v 5787
111.19/111.21	v 5789
111.19/111.21	v 5790
111.19/111.21	v 5793
111.19/111.21	v 5794
111.19/111.21	v 5795
111.19/111.21	v 5796
111.19/111.21	v 5797
111.19/111.21	v 5798
111.19/111.21	v 5801
111.19/111.21	v 5803
111.19/111.21	v 5804
111.19/111.21	v 5807
111.19/111.21	v 5809
111.19/111.21	v 5810
111.19/111.21	v 5814
111.19/111.21	v 5816
111.19/111.21	v 5817
111.19/111.21	v 5818
111.19/111.21	v 5820
111.19/111.21	v 5821
111.19/111.21	v 5822
111.19/111.21	v 5824
111.19/111.21	v 5825
111.19/111.21	v 5826
111.19/111.21	v 5828
111.19/111.21	v 5829
111.19/111.21	v 5830
111.19/111.21	v 5831
111.19/111.21	v 5833
111.19/111.21	v 5836
111.19/111.21	v 5839
111.19/111.21	v 5841
111.19/111.21	v 5842
111.19/111.21	v 5843
111.19/111.21	v 5844
111.19/111.21	v 5845
111.19/111.21	v 5846
111.19/111.21	v 5850
111.19/111.21	v 5851
111.19/111.21	v 5853
111.19/111.21	v 5855
111.19/111.21	v 5856
111.19/111.21	v 5858
111.19/111.21	v 5860
111.19/111.21	v 5861
111.19/111.21	v 5862
111.19/111.21	v 5863
111.19/111.21	v 5865
111.19/111.21	v 5866
111.19/111.21	v 5867
111.19/111.21	v 5868
111.19/111.21	v 5869
111.19/111.21	v 5870
111.19/111.21	v 5872
111.19/111.21	v 5876
111.19/111.21	v 5879
111.19/111.21	v 5883
111.19/111.21	v 5885
111.19/111.21	v 5886
111.19/111.21	v 5887
111.19/111.21	v 5889
111.19/111.21	v 5890
111.19/111.21	v 5892
111.19/111.21	v 5893
111.19/111.21	v 5894
111.19/111.21	v 5895
111.19/111.21	v 5896
111.19/111.21	v 5898
111.19/111.21	v 5901
111.19/111.21	v 5904
111.19/111.21	v 5908
111.19/111.21	v 5909
111.19/111.21	v 5910
111.19/111.21	v 5911
111.19/111.21	v 5912
111.19/111.21	v 5915
111.19/111.21	v 5916
111.19/111.21	v 5917
111.19/111.21	v 5919
111.19/111.21	v 5920
111.19/111.21	v 5921
111.19/111.21	v 5922
111.19/111.21	v 5923
111.19/111.21	v 5924
111.19/111.21	v 5928
111.19/111.21	v 5929
111.19/111.21	v 5930
111.19/111.21	v 5932
111.19/111.21	v 5933
111.19/111.21	v 5934
111.19/111.21	v 5937
111.19/111.21	v 5941
111.19/111.21	v 5942
111.19/111.21	v 5944
111.19/111.21	v 5945
111.19/111.21	v 5946
111.19/111.21	v 5947
111.19/111.21	v 5951
111.19/111.21	v 5952
111.19/111.21	v 5954
111.19/111.21	v 5957
111.19/111.21	v 5959
111.19/111.21	v 5961
111.19/111.21	v 5962
111.19/111.21	v 5963
111.19/111.21	v 5964
111.19/111.21	v 5965
111.19/111.21	v 5968
111.19/111.21	v 5969
111.19/111.21	v 5970
111.19/111.21	v 5973
111.19/111.21	v 5974
111.19/111.21	v 5975
111.19/111.21	v 5977
111.19/111.21	v 5978
111.19/111.21	v 5979
111.19/111.21	v 5980
111.19/111.21	v 5982
111.19/111.21	v 5983
111.19/111.21	v 5985
111.19/111.21	v 5986
111.19/111.21	v 5987
111.19/111.21	v 5989
111.19/111.21	v 5991
111.19/111.21	v 5992
111.19/111.21	v 5993
111.19/111.21	v 5995
111.19/111.21	v 5996
111.19/111.21	v 5997
111.19/111.21	v 5998
111.19/111.21	v 6001
111.19/111.21	v 6002
111.19/111.21	v 6003
111.19/111.21	v 6004
111.19/111.21	v 6006
111.19/111.21	v 6007
111.19/111.21	v 6008
111.19/111.21	v 6009
111.19/111.21	v 6010
111.19/111.21	v 6013
111.19/111.21	v 6016
111.19/111.21	v 6017
111.19/111.21	v 6019
111.19/111.21	v 6022
111.19/111.21	v 6023
111.19/111.21	v 6024
111.19/111.21	v 6025
111.19/111.21	v 6026
111.19/111.21	v 6027
111.19/111.21	v 6030
111.19/111.21	v 6031
111.19/111.21	v 6032
111.19/111.21	v 6035
111.19/111.21	v 6037
111.19/111.21	v 6038
111.19/111.21	v 6039
111.19/111.21	v 6040
111.19/111.21	v 6042
111.19/111.21	v 6043
111.19/111.21	v 6044
111.19/111.21	v 6045
111.19/111.21	v 6046
111.19/111.21	v 6047
111.19/111.21	v 6048
111.19/111.21	v 6049
111.19/111.21	v 6051
111.19/111.21	v 6053
111.19/111.21	v 6054
111.19/111.21	v 6055
111.19/111.21	v 6056
111.19/111.21	v 6058
111.19/111.21	v 6059
111.19/111.21	v 6067
111.19/111.21	v 6068
111.19/111.21	v 6069
111.19/111.21	v 6070
111.19/111.21	v 6075
111.19/111.21	v 6078
111.19/111.21	v 6079
111.19/111.21	v 6080
111.19/111.21	v 6081
111.19/111.21	v 6082
111.19/111.21	v 6086
111.19/111.21	v 6087
111.19/111.21	v 6088
111.19/111.21	v 6089
111.19/111.21	v 6090
111.19/111.21	v 6091
111.19/111.21	v 6092
111.19/111.21	v 6093
111.19/111.21	v 6094
111.19/111.21	v 6095
111.19/111.21	v 6097
111.19/111.21	v 6098
111.19/111.21	v 6099
111.19/111.21	v 6100
111.19/111.21	v 6101
111.19/111.21	v 6102
111.19/111.21	v 6103
111.19/111.21	v 6104
111.19/111.21	v 6105
111.19/111.21	v 6109
111.19/111.21	v 6110
111.19/111.21	v 6111
111.19/111.21	v 6112
111.19/111.21	v 6114
111.19/111.21	v 6115
111.19/111.21	v 6116
111.19/111.21	v 6117
111.19/111.21	v 6118
111.19/111.21	v 6119
111.19/111.21	v 6120
111.19/111.21	v 6122
111.19/111.21	v 6124
111.19/111.21	v 6125
111.19/111.21	v 6126
111.19/111.21	v 6128
111.19/111.21	v 6129
111.19/111.21	v 6131
111.19/111.21	v 6132
111.19/111.21	v 6135
111.19/111.21	v 6137
111.19/111.21	v 6138
111.19/111.21	v 6139
111.19/111.21	v 6140
111.19/111.21	v 6142
111.19/111.21	v 6143
111.19/111.21	v 6148
111.19/111.21	v 6149
111.19/111.21	v 6150
111.19/111.21	v 6151
111.19/111.21	v 6152
111.19/111.21	v 6155
111.19/111.21	v 6157
111.19/111.21	v 6159
111.19/111.21	v 6160
111.19/111.21	v 6161
111.19/111.21	v 6162
111.19/111.21	v 6165
111.19/111.21	v 6166
111.19/111.21	v 6167
111.19/111.21	v 6168
111.19/111.21	v 6170
111.19/111.21	v 6171
111.19/111.21	v 6172
111.19/111.21	v 6174
111.19/111.21	v 6175
111.19/111.21	v 6177
111.19/111.21	v 6178
111.19/111.21	v 6179
111.19/111.21	v 6180
111.19/111.21	v 6181
111.19/111.21	v 6182
111.19/111.21	v 6184
111.19/111.21	v 6185
111.19/111.21	v 6186
111.19/111.21	v 6187
111.19/111.21	v 6188
111.19/111.21	v 6189
111.19/111.21	v 6190
111.19/111.21	v 6191
111.19/111.21	v 6192
111.19/111.21	v 6193
111.19/111.21	v 6194
111.19/111.21	v 6195
111.19/111.21	v 6196
111.19/111.21	v 6201
111.19/111.21	v 6202
111.19/111.21	v 6205
111.19/111.21	v 6206
111.19/111.21	v 6208
111.19/111.21	v 6209
111.19/111.21	v 6210
111.19/111.21	v 6211
111.19/111.21	v 6213
111.19/111.21	v 6214
111.19/111.21	v 6215
111.19/111.21	v 6219
111.19/111.21	v 6221
111.19/111.21	v 6222
111.19/111.21	v 6223
111.19/111.21	v 6226
111.19/111.21	v 6227
111.19/111.21	v 6231
111.19/111.21	v 6233
111.19/111.21	v 6234
111.19/111.21	v 6235
111.19/111.21	v 6238
111.19/111.21	v 6239
111.19/111.21	v 6240
111.19/111.21	v 6241
111.19/111.21	v 6243
111.19/111.21	v 6244
111.19/111.21	v 6245
111.19/111.21	v 6246
111.19/111.21	v 6248
111.19/111.21	v 6251
111.19/111.21	v 6252
111.19/111.21	v 6254
111.19/111.21	v 6256
111.19/111.21	v 6257
111.19/111.21	v 6258
111.19/111.21	v 6259
111.19/111.21	v 6260
111.19/111.21	v 6262
111.19/111.21	v 6263
111.19/111.21	v 6264
111.19/111.21	v 6266
111.19/111.21	v 6268
111.19/111.21	v 6270
111.19/111.21	v 6272
111.19/111.21	v 6274
111.19/111.21	v 6277
111.19/111.21	v 6278
111.19/111.21	v 6280
111.19/111.21	v 6282
111.19/111.21	v 6284
111.19/111.21	v 6288
111.19/111.21	v 6289
111.19/111.21	v 6292
111.19/111.21	v 6293
111.19/111.21	v 6295
111.19/111.21	v 6296
111.19/111.21	v 6302
111.19/111.21	v 6303
111.19/111.21	v 6304
111.19/111.21	v 6305
111.19/111.21	v 6306
111.19/111.21	v 6307
111.19/111.21	v 6310
111.19/111.21	v 6311
111.19/111.21	v 6316
111.19/111.21	v 6317
111.19/111.21	v 6318
111.19/111.21	v 6320
111.19/111.21	v 6321
111.19/111.21	v 6323
111.19/111.21	v 6324
111.19/111.21	v 6325
111.19/111.21	v 6326
111.19/111.21	v 6329
111.19/111.21	v 6330
111.19/111.21	v 6331
111.19/111.21	v 6336
111.19/111.21	v 6337
111.19/111.21	v 6340
111.19/111.21	v 6343
111.19/111.21	v 6347
111.19/111.21	v 6350
111.19/111.21	v 6351
111.19/111.21	v 6352
111.19/111.21	v 6353
111.19/111.21	v 6355
111.19/111.21	v 6357
111.19/111.21	v 6360
111.19/111.21	v 6363
111.19/111.21	v 6364
111.19/111.21	v 6365
111.19/111.21	v 6368
111.19/111.21	v 6369
111.19/111.21	v 6372
111.19/111.21	v 6373
111.19/111.21	v 6375
111.19/111.21	v 6376
111.19/111.21	v 6378
111.19/111.21	v 6379
111.19/111.21	v 6380
111.19/111.21	v 6381
111.19/111.21	v 6383
111.19/111.21	v 6385
111.19/111.21	v 6387
111.19/111.21	v 6388
111.19/111.21	v 6390
111.19/111.21	v 6392
111.19/111.21	v 6393
111.19/111.21	v 6395
111.19/111.21	v 6396
111.19/111.21	v 6397
111.19/111.21	v 6398
111.19/111.21	v 6399
111.19/111.21	v 6400
111.19/111.21	v 6401
111.19/111.21	v 6402
111.19/111.21	v 6405
111.19/111.21	v 6406
111.19/111.21	v 6409
111.19/111.21	v 6410
111.19/111.21	v 6411
111.19/111.21	v 6412
111.19/111.21	v 6413
111.19/111.21	v 6415
111.19/111.21	v 6416
111.19/111.21	v 6417
111.19/111.21	v 6419
111.19/111.21	v 6420
111.19/111.21	v 6421
111.19/111.21	v 6422
111.19/111.21	v 6425
111.19/111.21	v 6427
111.19/111.21	v 6435
111.19/111.21	v 6439
111.19/111.21	v 6443
111.19/111.21	v 6444
111.19/111.21	v 6448
111.19/111.21	v 6449
111.19/111.21	v 6450
111.19/111.21	v 6453
111.19/111.21	v 6455
111.19/111.21	v 6456
111.19/111.21	v 6458
111.19/111.21	v 6460
111.19/111.21	v 6462
111.19/111.21	v 6465
111.19/111.21	v 6466
111.19/111.21	v 6467
111.19/111.21	v 6469
111.19/111.21	v 6471
111.19/111.21	v 6473
111.19/111.21	v 6474
111.19/111.21	v 6475
111.19/111.21	v 6477
111.19/111.21	v 6483
111.19/111.21	v 6484
111.19/111.21	v 6488
111.19/111.21	v 6489
111.19/111.21	v 6492
111.19/111.21	v 6493
111.19/111.21	v 6495
111.19/111.21	v 6497
111.19/111.21	v 6498
111.19/111.21	v 6500
111.19/111.21	v 6501
111.19/111.21	v 6503
111.19/111.21	v 6504
111.19/111.21	v 6506
111.19/111.21	v 6507
111.19/111.21	v 6508
111.19/111.21	v 6509
111.19/111.21	v 6510
111.19/111.21	v 6514
111.19/111.21	v 6516
111.19/111.21	v 6517
111.19/111.21	v 6518
111.19/111.21	v 6519
111.19/111.21	v 6520
111.19/111.21	v 6521
111.19/111.21	v 6522
111.19/111.21	v 6523
111.19/111.21	v 6524
111.19/111.21	v 6526
111.19/111.21	v 6527
111.19/111.21	v 6528
111.19/111.21	v 6529
111.19/111.21	v 6531
111.19/111.21	v 6532
111.19/111.21	v 6533
111.19/111.21	v 6535
111.19/111.21	v 6536
111.19/111.21	v 6537
111.19/111.21	v 6543
111.19/111.21	v 6544
111.19/111.21	v 6547
111.19/111.21	v 6551
111.19/111.21	v 6552
111.19/111.21	v 6553
111.19/111.21	v 6555
111.19/111.21	v 6556
111.19/111.21	v 6558
111.19/111.21	v 6559
111.19/111.21	v 6560
111.19/111.21	v 6561
111.19/111.21	v 6562
111.19/111.21	v 6565
111.19/111.21	v 6566
111.19/111.21	v 6567
111.19/111.21	v 6570
111.19/111.21	v 6573
111.19/111.21	v 6574
111.19/111.21	v 6576
111.19/111.21	v 6577
111.19/111.21	v 6579
111.19/111.21	v 6580
111.19/111.21	v 6582
111.19/111.21	v 6583
111.19/111.21	v 6587
111.19/111.21	v 6591
111.19/111.21	v 6592
111.19/111.21	v 6594
111.19/111.21	v 6595
111.19/111.21	v 6597
111.19/111.21	v 6599
111.19/111.21	v 6601
111.19/111.21	v 6602
111.19/111.21	v 6603
111.19/111.21	v 6606
111.19/111.21	v 6607
111.19/111.21	v 6608
111.19/111.21	v 6609
111.19/111.21	v 6614
111.19/111.21	v 6616
111.19/111.21	v 6617
111.19/111.21	v 6618
111.19/111.21	v 6619
111.19/111.21	v 6621
111.19/111.21	v 6622
111.19/111.21	v 6624
111.19/111.21	v 6625
111.19/111.21	v 6629
111.19/111.21	v 6630
111.19/111.21	v 6631
111.19/111.21	v 6635
111.19/111.21	v 6636
111.19/111.21	v 6637
111.19/111.21	v 6639
111.19/111.21	v 6641
111.19/111.21	v 6643
111.19/111.21	v 6645
111.19/111.21	v 6646
111.19/111.21	v 6648
111.19/111.21	v 6649
111.19/111.21	v 6650
111.19/111.21	v 6652
111.19/111.21	v 6653
111.19/111.21	v 6656
111.19/111.21	v 6657
111.19/111.21	v 6658
111.19/111.21	v 6661
111.19/111.21	v 6662
111.19/111.21	v 6664
111.19/111.21	v 6665
111.19/111.21	v 6666
111.19/111.21	v 6668
111.19/111.21	v 6669
111.19/111.21	v 6670
111.19/111.21	v 6671
111.19/111.21	v 6672
111.19/111.21	v 6675
111.19/111.21	v 6676
111.19/111.21	v 6677
111.19/111.21	v 6678
111.19/111.21	v 6679
111.19/111.21	v 6681
111.19/111.21	v 6682
111.19/111.21	v 6683
111.19/111.21	v 6684
111.19/111.21	v 6685
111.19/111.21	v 6686
111.19/111.21	v 6687
111.19/111.21	v 6689
111.19/111.21	v 6690
111.19/111.21	v 6692
111.19/111.21	v 6693
111.19/111.21	v 6694
111.19/111.21	v 6696
111.19/111.21	v 6698
111.19/111.21	v 6699
111.19/111.21	v 6701
111.19/111.21	v 6702
111.19/111.21	v 6703
111.19/111.21	v 6705
111.19/111.21	v 6706
111.19/111.21	v 6707
111.19/111.21	v 6708
111.19/111.21	v 6712
111.19/111.21	v 6713
111.19/111.21	v 6714
111.19/111.21	v 6715
111.19/111.21	v 6716
111.19/111.21	v 6717
111.19/111.21	v 6720
111.19/111.21	v 6721
111.19/111.21	v 6722
111.19/111.21	v 6723
111.19/111.21	v 6724
111.19/111.21	v 6727
111.19/111.21	v 6728
111.19/111.21	v 6729
111.19/111.21	v 6731
111.19/111.21	v 6732
111.19/111.21	v 6736
111.19/111.21	v 6737
111.19/111.21	v 6740
111.19/111.21	v 6742
111.19/111.21	v 6743
111.19/111.21	v 6744
111.19/111.21	v 6745
111.19/111.21	v 6746
111.19/111.21	v 6748
111.19/111.21	v 6749
111.19/111.21	v 6750
111.19/111.21	v 6751
111.19/111.21	v 6752
111.19/111.21	v 6755
111.19/111.21	v 6756
111.19/111.21	v 6757
111.19/111.21	v 6759
111.19/111.21	v 6760
111.19/111.21	v 6762
111.19/111.21	v 6763
111.19/111.21	v 6765
111.19/111.21	v 6766
111.19/111.21	v 6767
111.19/111.21	v 6768
111.19/111.21	v 6771
111.19/111.21	v 6772
111.19/111.21	v 6773
111.19/111.21	v 6775
111.19/111.21	v 6779
111.19/111.21	v 6780
111.19/111.21	v 6781
111.19/111.21	v 6782
111.19/111.21	v 6786
111.19/111.21	v 6789
111.19/111.21	v 6791
111.19/111.21	v 6792
111.19/111.21	v 6793
111.19/111.21	v 6794
111.19/111.21	v 6795
111.19/111.21	v 6798
111.19/111.21	v 6799
111.19/111.21	v 6801
111.19/111.21	v 6802
111.19/111.21	v 6803
111.19/111.21	v 6806
111.19/111.21	v 6807
111.19/111.21	v 6812
111.19/111.21	v 6815
111.19/111.21	v 6816
111.19/111.21	v 6819
111.19/111.21	v 6821
111.19/111.21	v 6822
111.19/111.21	v 6824
111.19/111.21	v 6827
111.19/111.21	v 6828
111.19/111.21	v 6829
111.19/111.21	v 6830
111.19/111.21	v 6831
111.19/111.21	v 6832
111.19/111.21	v 6834
111.19/111.21	v 6835
111.19/111.21	v 6836
111.19/111.21	v 6837
111.19/111.21	v 6840
111.19/111.21	v 6843
111.19/111.21	v 6844
111.19/111.21	v 6850
111.19/111.21	v 6854
111.19/111.21	v 6855
111.19/111.21	v 6856
111.19/111.21	v 6859
111.19/111.21	v 6860
111.19/111.21	v 6861
111.19/111.21	v 6862
111.19/111.21	v 6866
111.19/111.21	v 6867
111.19/111.21	v 6868
111.19/111.21	v 6869
111.19/111.21	v 6871
111.19/111.21	v 6872
111.19/111.21	v 6876
111.19/111.21	v 6881
111.19/111.21	v 6882
111.19/111.21	v 6884
111.19/111.21	v 6886
111.19/111.21	v 6888
111.19/111.21	v 6890
111.19/111.21	v 6891
111.19/111.21	v 6892
111.19/111.21	v 6896
111.19/111.21	v 6899
111.19/111.21	v 6902
111.19/111.21	v 6903
111.19/111.21	v 6904
111.19/111.21	v 6906
111.19/111.21	v 6907
111.19/111.21	v 6910
111.19/111.21	v 6911
111.19/111.21	v 6913
111.19/111.21	v 6915
111.19/111.21	v 6916
111.19/111.21	v 6918
111.19/111.21	v 6920
111.19/111.21	v 6921
111.19/111.21	v 6922
111.19/111.21	v 6923
111.19/111.21	v 6926
111.19/111.21	v 6930
111.19/111.21	v 6935
111.19/111.21	v 6936
111.19/111.21	v 6937
111.19/111.21	v 6938
111.19/111.21	v 6940
111.19/111.21	v 6942
111.19/111.21	v 6943
111.19/111.21	v 6944
111.19/111.21	v 6946
111.19/111.21	v 6947
111.19/111.21	v 6948
111.19/111.21	v 6949
111.19/111.21	v 6952
111.19/111.21	v 6954
111.19/111.21	v 6955
111.19/111.21	v 6957
111.19/111.21	v 6958
111.19/111.21	v 6959
111.19/111.21	v 6960
111.19/111.21	v 6964
111.19/111.21	v 6966
111.19/111.21	v 6968
111.19/111.21	v 6970
111.19/111.21	v 6971
111.19/111.21	v 6973
111.19/111.21	v 6977
111.19/111.21	v 6978
111.19/111.21	v 6979
111.19/111.21	v 6981
111.19/111.21	v 6983
111.19/111.21	v 6986
111.19/111.21	v 6987
111.19/111.21	v 6989
111.19/111.21	v 6991
111.19/111.21	v 6993
111.19/111.21	v 6995
111.19/111.21	v 6997
111.19/111.21	v 6998
111.19/111.21	v 7000
111.19/111.21	v 7003
111.19/111.21	v 7004
111.19/111.21	v 7008
111.19/111.21	v 7014
111.19/111.21	v 7018
111.19/111.21	v 7020
111.19/111.21	v 7021
111.19/111.21	v 7022
111.19/111.21	v 7024
111.19/111.21	v 7026
111.19/111.21	v 7029
111.19/111.21	v 7032
111.19/111.21	v 7034
111.19/111.21	v 7035
111.19/111.21	v 7036
111.19/111.21	v 7038
111.19/111.21	v 7042
111.19/111.21	v 7044
111.19/111.21	v 7045
111.19/111.21	v 7046
111.19/111.21	v 7048
111.19/111.21	v 7049
111.19/111.21	v 7052
111.19/111.21	v 7054
111.19/111.21	v 7055
111.19/111.21	v 7056
111.19/111.21	v 7057
111.19/111.21	v 7058
111.19/111.21	v 7059
111.19/111.21	v 7060
111.19/111.21	v 7061
111.19/111.21	v 7062
111.19/111.21	v 7066
111.19/111.21	v 7068
111.19/111.21	v 7070
111.19/111.21	v 7071
111.19/111.21	v 7072
111.19/111.21	v 7075
111.19/111.21	v 7076
111.19/111.21	v 7077
111.19/111.21	v 7084
111.19/111.21	v 7086
111.19/111.21	v 7087
111.19/111.21	v 7089
111.19/111.21	v 7090
111.19/111.21	v 7093
111.19/111.21	v 7094
111.19/111.21	v 7096
111.19/111.21	v 7097
111.19/111.21	v 7098
111.19/111.21	v 7099
111.19/111.21	v 7100
111.19/111.21	v 7102
111.19/111.21	v 7103
111.19/111.21	v 7104
111.19/111.21	v 7106
111.19/111.21	v 7107
111.19/111.21	v 7108
111.19/111.21	v 7114
111.19/111.21	v 7115
111.19/111.21	v 7116
111.19/111.21	v 7118
111.19/111.21	v 7120
111.19/111.21	v 7122
111.19/111.21	v 7123
111.19/111.21	v 7126
111.19/111.21	v 7127
111.19/111.21	v 7128
111.19/111.21	v 7129
111.19/111.22	v 7131
111.19/111.22	v 7132
111.19/111.22	v 7134
111.19/111.22	v 7136
111.19/111.22	v 7137
111.19/111.22	v 7140
111.19/111.22	v 7141
111.19/111.22	v 7142
111.19/111.22	v 7143
111.19/111.22	v 7144
111.19/111.22	v 7145
111.19/111.22	v 7146
111.19/111.22	v 7147
111.19/111.22	v 7148
111.19/111.22	v 7149
111.19/111.22	v 7150
111.19/111.22	v 7152
111.19/111.22	v 7153
111.19/111.22	v 7156
111.19/111.22	v 7159
111.19/111.22	v 7160
111.19/111.22	v 7161
111.19/111.22	v 7162
111.19/111.22	v 7165
111.19/111.22	v 7166
111.19/111.22	v 7167
111.19/111.22	v 7168
111.19/111.22	v 7170
111.19/111.22	v 7171
111.19/111.22	v 7175
111.19/111.22	v 7176
111.19/111.22	v 7177
111.19/111.22	v 7178
111.19/111.22	v 7180
111.19/111.22	v 7182
111.19/111.22	v 7183
111.19/111.22	v 7184
111.19/111.22	v 7186
111.19/111.22	v 7189
111.19/111.22	v 7190
111.19/111.22	v 7192
111.19/111.22	v 7193
111.19/111.22	v 7194
111.19/111.22	v 7195
111.19/111.22	v 7197
111.19/111.22	v 7198
111.19/111.22	v 7199
111.19/111.22	v 7200
111.19/111.22	v 7201
111.19/111.22	v 7203
111.19/111.22	v 7207
111.19/111.22	v 7208
111.19/111.22	v 7209
111.19/111.22	v 7212
111.19/111.22	v 7213
111.19/111.22	v 7214
111.19/111.22	v 7215
111.19/111.22	v 7216
111.19/111.22	v 7218
111.19/111.22	v 7222
111.19/111.22	v 7223
111.19/111.22	v 7224
111.19/111.22	v 7225
111.19/111.22	v 7226
111.19/111.22	v 7227
111.19/111.22	v 7228
111.19/111.22	v 7229
111.19/111.22	v 7230
111.19/111.22	v 7231
111.19/111.22	v 7234
111.19/111.22	v 7235
111.19/111.22	v 7236
111.19/111.22	v 7237
111.19/111.22	v 7238
111.19/111.22	v 7240
111.19/111.22	v 7241
111.19/111.22	v 7242
111.19/111.22	v 7244
111.19/111.22	v 7245
111.19/111.22	v 7246
111.19/111.22	v 7247
111.19/111.22	v 7248
111.19/111.22	v 7251
111.19/111.22	v 7253
111.19/111.22	v 7256
111.19/111.22	v 7258
111.19/111.22	v 7259
111.19/111.22	v 7260
111.19/111.22	v 7262
111.19/111.22	v 7263
111.19/111.22	v 7264
111.19/111.22	v 7265
111.19/111.22	v 7266
111.19/111.22	v 7269
111.19/111.22	v 7270
111.19/111.22	v 7271
111.19/111.22	v 7273
111.19/111.22	v 7274
111.19/111.22	v 7275
111.19/111.22	v 7276
111.19/111.22	v 7280
111.19/111.22	v 7283
111.19/111.22	v 7284
111.19/111.22	v 7286
111.19/111.22	v 7288
111.19/111.22	v 7289
111.19/111.22	v 7291
111.19/111.22	v 7294
111.19/111.22	v 7296
111.19/111.22	v 7297
111.19/111.22	v 7300
111.19/111.22	v 7302
111.19/111.22	v 7303
111.19/111.22	v 7305
111.19/111.22	v 7307
111.19/111.22	v 7308
111.19/111.22	v 7310
111.19/111.22	v 7311
111.19/111.22	v 7313
111.19/111.22	v 7314
111.19/111.22	v 7316
111.19/111.22	v 7317
111.19/111.22	v 7318
111.19/111.22	v 7319
111.19/111.22	v 7320
111.19/111.22	v 7321
111.19/111.22	v 7323
111.19/111.22	v 7326
111.19/111.22	v 7327
111.19/111.22	v 7329
111.19/111.22	v 7330
111.19/111.22	v 7332
111.19/111.22	v 7336
111.19/111.22	v 7339
111.19/111.22	v 7341
111.19/111.22	v 7343
111.19/111.22	v 7344
111.19/111.22	v 7345
111.19/111.22	v 7346
111.19/111.22	v 7347
111.19/111.22	v 7350
111.19/111.22	v 7353
111.19/111.22	v 7354
111.19/111.22	v 7355
111.19/111.22	v 7358
111.19/111.22	v 7359
111.19/111.22	v 7362
111.19/111.22	v 7364
111.19/111.22	v 7365
111.19/111.22	v 7369
111.19/111.22	v 7371
111.19/111.22	v 7372
111.19/111.22	v 7373
111.19/111.22	v 7374
111.19/111.22	v 7375
111.19/111.22	v 7377
111.19/111.22	v 7379
111.19/111.22	v 7380
111.19/111.22	v 7381
111.19/111.22	v 7382
111.19/111.22	v 7383
111.19/111.22	v 7386
111.19/111.22	v 7387
111.19/111.22	v 7391
111.19/111.22	v 7393
111.19/111.22	v 7395
111.19/111.22	v 7396
111.19/111.22	v 7398
111.19/111.22	v 7399
111.19/111.22	v 7400
111.19/111.22	v 7401
111.19/111.22	v 7407
111.19/111.22	v 7408
111.19/111.22	v 7409
111.19/111.22	v 7410
111.19/111.22	v 7413
111.19/111.22	v 7415
111.19/111.22	v 7416
111.19/111.22	v 7417
111.19/111.22	v 7420
111.19/111.22	v 7422
111.19/111.22	v 7423
111.19/111.22	v 7424
111.19/111.22	v 7425
111.19/111.22	v 7426
111.19/111.22	v 7427
111.19/111.22	v 7430
111.19/111.22	v 7431
111.19/111.22	v 7433
111.19/111.22	v 7434
111.19/111.22	v 7435
111.19/111.22	v 7437
111.19/111.22	v 7438
111.19/111.22	v 7439
111.19/111.22	v 7440
111.19/111.22	v 7441
111.19/111.22	v 7442
111.19/111.22	v 7443
111.19/111.22	v 7444
111.19/111.22	v 7445
111.19/111.22	v 7446
111.19/111.22	v 7447
111.19/111.22	v 7448
111.19/111.22	v 7450
111.19/111.22	v 7451
111.19/111.22	v 7452
111.19/111.22	v 7454
111.19/111.22	v 7457
111.19/111.22	v 7458
111.19/111.22	v 7460
111.19/111.22	v 7462
111.19/111.22	v 7463
111.19/111.22	v 7465
111.19/111.22	v 7467
111.19/111.22	v 7468
111.19/111.22	v 7469
111.19/111.22	v 7470
111.19/111.22	v 7473
111.19/111.22	v 7474
111.19/111.22	v 7475
111.19/111.22	v 7478
111.19/111.22	v 7480
111.19/111.22	v 7481
111.19/111.22	v 7482
111.19/111.22	v 7485
111.19/111.22	v 7486
111.19/111.22	v 7487
111.19/111.22	v 7488
111.19/111.22	v 7490
111.19/111.22	v 7491
111.19/111.22	v 7496
111.19/111.22	v 7499
111.19/111.22	v 7500
111.19/111.22	v 7504
111.19/111.22	v 7506
111.19/111.22	v 7507
111.19/111.22	v 7508
111.19/111.22	v 7510
111.19/111.22	v 7512
111.19/111.22	v 7514
111.19/111.22	v 7518
111.19/111.22	v 7519
111.19/111.22	v 7520
111.19/111.22	v 7522
111.19/111.22	v 7524
111.19/111.22	v 7525
111.19/111.22	v 7526
111.19/111.22	v 7527
111.19/111.22	v 7530
111.19/111.22	v 7535
111.19/111.22	v 7537
111.19/111.22	v 7538
111.19/111.22	v 7539
111.19/111.22	v 7540
111.19/111.22	v 7541
111.19/111.22	v 7542
111.19/111.22	v 7545
111.19/111.22	v 7546
111.19/111.22	v 7550
111.19/111.22	v 7552
111.19/111.22	v 7554
111.19/111.22	v 7555
111.19/111.22	v 7556
111.19/111.22	v 7562
111.19/111.22	v 7563
111.19/111.22	v 7564
111.19/111.22	v 7566
111.19/111.22	v 7567
111.19/111.22	v 7569
111.19/111.22	v 7570
111.19/111.22	v 7571
111.19/111.22	v 7572
111.19/111.22	v 7573
111.19/111.22	v 7575
111.19/111.22	v 7576
111.19/111.22	v 7577
111.19/111.22	v 7578
111.19/111.22	v 7579
111.19/111.22	v 7583
111.19/111.22	v 7584
111.19/111.22	v 7586
111.19/111.22	v 7589
111.19/111.22	v 7591
111.19/111.22	v 7592
111.19/111.22	v 7595
111.19/111.22	v 7596
111.19/111.22	v 7597
111.19/111.22	v 7599
111.19/111.22	v 7600
111.19/111.22	v 7603
111.19/111.22	v 7604
111.19/111.22	v 7605
111.19/111.22	v 7606
111.19/111.22	v 7607
111.19/111.22	v 7608
111.19/111.22	v 7616
111.19/111.22	v 7617
111.19/111.22	v 7618
111.19/111.22	v 7620
111.19/111.22	v 7622
111.19/111.22	v 7626
111.19/111.22	v 7628
111.19/111.22	v 7629
111.19/111.22	v 7630
111.19/111.22	v 7631
111.19/111.22	v 7632
111.19/111.22	v 7634
111.19/111.22	v 7635
111.19/111.22	v 7637
111.19/111.22	v 7639
111.19/111.22	v 7640
111.19/111.22	v 7641
111.19/111.22	v 7645
111.19/111.22	v 7646
111.19/111.22	v 7648
111.19/111.22	v 7649
111.19/111.22	v 7650
111.19/111.22	v 7651
111.19/111.22	v 7656
111.19/111.22	v 7658
111.19/111.22	v 7659
111.19/111.22	v 7661
111.19/111.22	v 7662
111.19/111.22	v 7665
111.19/111.22	v 7666
111.19/111.22	v 7667
111.19/111.22	v 7668
111.19/111.22	v 7670
111.19/111.22	v 7672
111.19/111.22	v 7673
111.19/111.22	v 7675
111.19/111.22	v 7678
111.19/111.22	v 7679
111.19/111.22	v 7682
111.19/111.22	v 7683
111.19/111.22	v 7687
111.19/111.22	v 7688
111.19/111.22	v 7689
111.19/111.22	v 7690
111.19/111.22	v 7693
111.19/111.22	v 7694
111.19/111.22	v 7695
111.19/111.22	v 7696
111.19/111.22	v 7697
111.19/111.22	v 7700
111.19/111.22	v 7701
111.19/111.22	v 7702
111.19/111.22	v 7703
111.19/111.22	v 7704
111.19/111.22	v 7706
111.19/111.22	v 7707
111.19/111.22	v 7710
111.19/111.22	v 7712
111.19/111.22	v 7713
111.19/111.22	v 7714
111.19/111.22	v 7717
111.19/111.22	v 7720
111.19/111.22	v 7721
111.19/111.22	v 7722
111.19/111.22	v 7723
111.19/111.22	v 7724
111.19/111.22	v 7725
111.19/111.22	v 7727
111.19/111.22	v 7730
111.19/111.22	v 7732
111.19/111.22	v 7733
111.19/111.22	v 7735
111.19/111.22	v 7736
111.19/111.22	v 7738
111.19/111.22	v 7739
111.19/111.22	v 7741
111.19/111.22	v 7744
111.19/111.22	v 7745
111.19/111.22	v 7746
111.19/111.22	v 7749
111.19/111.22	v 7750
111.19/111.22	v 7751
111.19/111.22	v 7756
111.19/111.22	v 7757
111.19/111.22	v 7758
111.19/111.22	v 7762
111.19/111.22	v 7763
111.19/111.22	v 7764
111.19/111.22	v 7765
111.19/111.22	v 7766
111.19/111.22	v 7768
111.19/111.22	v 7769
111.19/111.22	v 7771
111.19/111.22	v 7773
111.19/111.22	v 7776
111.19/111.22	v 7782
111.19/111.22	v 7785
111.19/111.22	v 7786
111.19/111.22	v 7788
111.19/111.22	v 7789
111.19/111.22	v 7791
111.19/111.22	v 7792
111.19/111.22	v 7793
111.19/111.22	v 7798
111.19/111.22	v 7801
111.19/111.22	v 7802
111.19/111.22	v 7803
111.19/111.22	v 7804
111.19/111.22	v 7805
111.19/111.22	v 7807
111.19/111.22	v 7809
111.19/111.22	v 7811
111.19/111.22	v 7813
111.19/111.22	v 7815
111.19/111.22	v 7818
111.19/111.22	v 7820
111.19/111.22	v 7821
111.19/111.22	v 7822
111.19/111.22	v 7824
111.19/111.22	v 7831
111.19/111.22	v 7832
111.19/111.22	v 7833
111.19/111.22	v 7835
111.19/111.22	v 7837
111.19/111.22	v 7838
111.19/111.22	v 7839
111.19/111.22	v 7840
111.19/111.22	v 7842
111.19/111.22	v 7844
111.19/111.22	v 7846
111.19/111.22	v 7847
111.19/111.22	v 7849
111.19/111.22	v 7850
111.19/111.22	v 7851
111.19/111.22	v 7852
111.19/111.22	v 7853
111.19/111.22	v 7855
111.19/111.22	v 7858
111.19/111.22	v 7859
111.19/111.22	v 7860
111.19/111.22	v 7861
111.19/111.22	v 7862
111.19/111.22	v 7864
111.19/111.22	v 7865
111.19/111.22	v 7866
111.19/111.22	v 7867
111.19/111.22	v 7868
111.19/111.22	v 7869
111.19/111.22	v 7870
111.19/111.22	v 7873
111.19/111.22	v 7874
111.19/111.22	v 7877
111.19/111.22	v 7878
111.19/111.22	v 7879
111.19/111.22	v 7880
111.19/111.22	v 7881
111.19/111.22	v 7883
111.19/111.22	v 7885
111.19/111.22	v 7886
111.19/111.22	v 7887
111.19/111.22	v 7888
111.19/111.22	v 7890
111.19/111.22	v 7891
111.19/111.22	v 7893
111.19/111.22	v 7897
111.19/111.22	v 7898
111.19/111.22	v 7899
111.19/111.22	v 7901
111.19/111.22	v 7902
111.19/111.22	v 7904
111.19/111.22	v 7905
111.19/111.22	v 7908
111.19/111.22	v 7910
111.19/111.22	v 7911
111.19/111.22	v 7913
111.19/111.22	v 7914
111.19/111.22	v 7915
111.19/111.22	v 7916
111.19/111.22	v 7919
111.19/111.22	v 7920
111.19/111.22	v 7922
111.19/111.22	v 7927
111.19/111.22	v 7928
111.19/111.22	v 7929
111.19/111.22	v 7930
111.19/111.22	v 7931
111.19/111.22	v 7932
111.19/111.22	v 7933
111.19/111.22	v 7936
111.19/111.22	v 7937
111.19/111.22	v 7938
111.19/111.22	v 7941
111.19/111.22	v 7943
111.19/111.22	v 7946
111.19/111.22	v 7947
111.19/111.22	v 7948
111.19/111.22	v 7949
111.19/111.22	v 7951
111.19/111.22	v 7953
111.19/111.22	v 7954
111.19/111.22	v 7957
111.19/111.22	v 7958
111.19/111.22	v 7959
111.19/111.22	v 7960
111.19/111.22	v 7961
111.19/111.22	v 7962
111.19/111.22	v 7963
111.19/111.22	v 7965
111.19/111.22	v 7966
111.19/111.22	v 7970
111.19/111.22	v 7971
111.19/111.22	v 7972
111.19/111.22	v 7974
111.19/111.22	v 7975
111.19/111.22	v 7976
111.19/111.22	v 7978
111.19/111.22	v 7980
111.19/111.22	v 7981
111.19/111.22	v 7982
111.19/111.22	v 7985
111.19/111.22	v 7987
111.19/111.22	v 7988
111.19/111.22	v 7989
111.19/111.22	v 7990
111.19/111.22	v 7991
111.19/111.22	v 7992
111.19/111.22	v 7993
111.19/111.22	v 7995
111.19/111.22	v 7996
111.19/111.22	v 7999
111.19/111.22	v 8000
111.19/111.22	v 8001
111.19/111.22	v 8002
111.19/111.22	v 8003
111.19/111.22	v 8005
111.19/111.22	v 8006
111.19/111.22	v 8007
111.19/111.22	v 8008
111.19/111.22	v 8010
111.19/111.22	v 8011
111.19/111.22	v 8012
111.19/111.22	v 8013
111.19/111.22	v 8014
111.19/111.22	v 8018
111.19/111.22	v 8019
111.19/111.22	v 8021
111.19/111.22	v 8024
111.19/111.22	v 8026
111.19/111.22	v 8028
111.19/111.22	v 8030
111.19/111.22	v 8031
111.19/111.22	v 8032
111.19/111.22	v 8034
111.19/111.22	v 8035
111.19/111.22	v 8036
111.19/111.22	v 8037
111.19/111.22	v 8038
111.19/111.22	v 8039
111.19/111.22	v 8040
111.19/111.22	v 8041
111.19/111.22	v 8042
111.19/111.22	v 8045
111.19/111.22	v 8050
111.19/111.22	v 8051
111.19/111.22	v 8054
111.19/111.22	v 8056
111.19/111.22	v 8057
111.19/111.22	v 8059
111.19/111.22	v 8060
111.19/111.22	v 8061
111.19/111.22	v 8062
111.19/111.22	v 8065
111.19/111.22	v 8067
111.19/111.22	v 8068
111.19/111.22	v 8069
111.19/111.22	v 8071
111.19/111.22	v 8073
111.19/111.22	v 8075
111.19/111.22	v 8082
111.19/111.22	v 8083
111.19/111.22	v 8084
111.19/111.22	v 8085
111.19/111.22	v 8086
111.19/111.22	v 8087
111.19/111.22	v 8089
111.19/111.22	v 8090
111.19/111.22	v 8092
111.19/111.22	v 8093
111.19/111.22	v 8095
111.19/111.22	v 8097
111.19/111.22	v 8098
111.19/111.22	v 8101
111.19/111.22	v 8103
111.19/111.22	v 8104
111.19/111.22	v 8105
111.19/111.22	v 8106
111.19/111.22	v 8110
111.19/111.22	v 8111
111.19/111.22	v 8113
111.19/111.22	v 8115
111.19/111.22	v 8118
111.19/111.22	v 8119
111.19/111.22	v 8122
111.19/111.22	v 8124
111.19/111.22	v 8125
111.19/111.22	v 8127
111.19/111.22	v 8128
111.19/111.22	v 8129
111.19/111.22	v 8131
111.19/111.22	v 8132
111.19/111.22	v 8133
111.19/111.22	v 8135
111.19/111.22	v 8138
111.19/111.22	v 8139
111.19/111.22	v 8140
111.19/111.22	v 8141
111.19/111.22	v 8144
111.19/111.22	v 8145
111.19/111.22	v 8146
111.19/111.22	v 8147
111.19/111.22	v 8149
111.19/111.22	v 8150
111.19/111.22	v 8152
111.19/111.22	v 8153
111.19/111.22	v 8154
111.19/111.22	v 8156
111.19/111.22	v 8157
111.19/111.22	v 8158
111.19/111.22	v 8159
111.19/111.22	v 8161
111.19/111.22	v 8163
111.19/111.22	v 8166
111.19/111.22	v 8169
111.19/111.22	v 8170
111.19/111.22	v 8172
111.19/111.22	v 8176
111.19/111.22	v 8177
111.19/111.22	v 8179
111.19/111.22	v 8182
111.19/111.22	v 8183
111.19/111.22	v 8184
111.19/111.22	v 8185
111.19/111.22	v 8186
111.19/111.22	v 8187
111.19/111.22	v 8189
111.19/111.22	v 8191
111.19/111.22	v 8194
111.19/111.22	v 8196
111.19/111.22	v 8197
111.19/111.22	v 8199
111.19/111.22	v 8200
111.19/111.22	v 8201
111.19/111.22	v 8202
111.19/111.22	v 8203
111.19/111.22	v 8205
111.19/111.22	v 8206
111.19/111.22	v 8207
111.19/111.22	v 8210
111.19/111.22	v 8211
111.19/111.22	v 8214
111.19/111.22	v 8217
111.19/111.22	v 8218
111.19/111.22	v 8219
111.19/111.22	v 8220
111.19/111.22	v 8221
111.19/111.22	v 8222
111.19/111.22	v 8224
111.19/111.22	v 8225
111.19/111.22	v 8227
111.19/111.22	v 8228
111.19/111.22	v 8229
111.19/111.22	v 8232
111.19/111.22	v 8236
111.19/111.22	v 8237
111.19/111.22	v 8241
111.19/111.22	v 8242
111.19/111.22	v 8243
111.19/111.22	v 8244
111.19/111.22	v 8245
111.19/111.22	v 8246
111.19/111.22	v 8247
111.19/111.22	v 8249
111.19/111.22	v 8251
111.19/111.22	v 8252
111.19/111.22	v 8253
111.19/111.22	v 8254
111.19/111.22	v 8257
111.19/111.22	v 8258
111.19/111.22	v 8259
111.19/111.22	v 8261
111.19/111.22	v 8266
111.19/111.22	v 8268
111.19/111.22	v 8269
111.19/111.22	v 8270
111.19/111.22	v 8272
111.19/111.22	v 8274
111.19/111.22	v 8276
111.19/111.22	v 8277
111.19/111.22	v 8278
111.19/111.22	v 8279
111.19/111.22	v 8280
111.19/111.22	v 8283
111.19/111.22	v 8284
111.19/111.22	v 8288
111.19/111.22	v 8289
111.19/111.22	v 8293
111.19/111.22	v 8295
111.19/111.22	v 8296
111.19/111.22	v 8297
111.19/111.22	v 8298
111.19/111.22	v 8299
111.19/111.22	v 8300
111.19/111.22	v 8302
111.19/111.22	v 8303
111.19/111.22	v 8304
111.19/111.22	v 8307
111.19/111.22	v 8308
111.19/111.22	v 8309
111.19/111.22	v 8310
111.19/111.22	v 8311
111.19/111.22	v 8312
111.19/111.22	v 8313
111.19/111.22	v 8314
111.19/111.22	v 8315
111.19/111.22	v 8316
111.19/111.22	v 8317
111.19/111.22	v 8319
111.19/111.22	v 8320
111.19/111.22	v 8322
111.19/111.22	v 8325
111.19/111.22	v 8327
111.19/111.22	v 8328
111.19/111.22	v 8329
111.19/111.22	v 8330
111.19/111.22	v 8333
111.19/111.22	v 8335
111.19/111.22	v 8337
111.19/111.22	v 8339
111.19/111.22	v 8341
111.19/111.22	v 8342
111.19/111.22	v 8343
111.19/111.22	v 8345
111.19/111.22	v 8350
111.19/111.22	v 8351
111.19/111.22	v 8353
111.19/111.22	v 8355
111.19/111.22	v 8357
111.19/111.22	v 8364
111.19/111.22	v 8365
111.19/111.22	v 8366
111.19/111.22	v 8367
111.19/111.22	v 8368
111.19/111.22	v 8369
111.19/111.22	v 8370
111.19/111.22	v 8372
111.19/111.22	v 8375
111.19/111.22	v 8376
111.19/111.22	v 8380
111.19/111.22	v 8382
111.19/111.22	v 8383
111.19/111.22	v 8384
111.19/111.22	v 8386
111.19/111.22	v 8387
111.19/111.22	v 8389
111.19/111.22	v 8392
111.19/111.22	v 8393
111.19/111.22	v 8394
111.19/111.22	v 8395
111.19/111.22	v 8396
111.19/111.22	v 8398
111.19/111.22	v 8399
111.19/111.22	v 8400
111.19/111.22	v 8402
111.19/111.22	v 8404
111.19/111.22	v 8405
111.19/111.22	v 8406
111.19/111.22	v 8413
111.19/111.22	v 8414
111.19/111.22	v 8415
111.19/111.22	v 8419
111.19/111.22	v 8420
111.19/111.22	v 8426
111.19/111.22	v 8432
111.19/111.22	v 8433
111.19/111.22	v 8435
111.19/111.22	v 8436
111.19/111.22	v 8437
111.19/111.22	v 8438
111.19/111.22	v 8439
111.19/111.22	v 8442
111.19/111.22	v 8443
111.19/111.22	v 8445
111.19/111.22	v 8446
111.19/111.22	v 8450
111.19/111.22	v 8452
111.19/111.22	v 8453
111.19/111.22	v 8455
111.19/111.22	v 8456
111.19/111.22	v 8464
111.19/111.22	v 8465
111.19/111.22	v 8467
111.19/111.22	v 8468
111.19/111.22	v 8469
111.19/111.22	v 8474
111.19/111.22	v 8476
111.19/111.22	v 8478
111.19/111.22	v 8479
111.19/111.22	v 8480
111.19/111.22	v 8486
111.19/111.22	v 8491
111.19/111.22	v 8495
111.19/111.22	v 8496
111.19/111.22	v 8497
111.19/111.22	v 8498
111.19/111.22	v 8499
111.19/111.22	v 8500
111.19/111.22	v 8501
111.19/111.22	v 8504
111.19/111.22	v 8505
111.19/111.22	v 8506
111.19/111.22	v 8507
111.19/111.22	v 8510
111.19/111.22	v 8511
111.19/111.22	v 8514
111.19/111.22	v 8515
111.19/111.22	v 8517
111.19/111.22	v 8518
111.19/111.22	v 8519
111.19/111.22	v 8520
111.19/111.22	v 8525
111.19/111.22	v 8526
111.19/111.22	v 8527
111.19/111.22	v 8528
111.19/111.22	v 8530
111.19/111.22	v 8533
111.19/111.22	v 8534
111.19/111.22	v 8535
111.19/111.22	v 8538
111.19/111.22	v 8540
111.19/111.22	v 8541
111.19/111.22	v 8542
111.19/111.22	v 8543
111.19/111.22	v 8544
111.19/111.22	v 8545
111.19/111.22	v 8547
111.19/111.22	v 8548
111.19/111.22	v 8550
111.19/111.22	v 8552
111.19/111.22	v 8553
111.19/111.22	v 8554
111.19/111.22	v 8556
111.19/111.22	v 8559
111.19/111.22	v 8560
111.19/111.22	v 8561
111.19/111.22	v 8563
111.19/111.22	v 8564
111.19/111.22	v 8565
111.19/111.22	v 8566
111.19/111.22	v 8567
111.19/111.22	v 8568
111.19/111.22	v 8569
111.19/111.22	v 8570
111.19/111.22	v 8571
111.19/111.22	v 8572
111.19/111.22	v 8573
111.19/111.22	v 8576
111.19/111.22	v 8578
111.19/111.22	v 8579
111.19/111.22	v 8580
111.19/111.22	v 8584
111.19/111.22	v 8585
111.19/111.22	v 8588
111.19/111.22	v 8589
111.19/111.22	v 8590
111.19/111.22	v 8592
111.19/111.22	v 8596
111.19/111.22	v 8597
111.19/111.22	v 8599
111.19/111.22	v 8600
111.19/111.22	v 8601
111.19/111.22	v 8602
111.19/111.22	v 8603
111.19/111.22	v 8604
111.19/111.22	v 8609
111.19/111.22	v 8614
111.19/111.22	v 8620
111.19/111.22	v 8622
111.19/111.22	v 8623
111.19/111.22	v 8624
111.19/111.22	v 8626
111.19/111.22	v 8628
111.19/111.22	v 8629
111.19/111.22	v 8633
111.19/111.22	v 8634
111.19/111.22	v 8639
111.19/111.22	v 8641
111.19/111.22	v 8642
111.19/111.22	v 8646
111.19/111.22	v 8650
111.19/111.22	v 8653
111.19/111.22	v 8655
111.19/111.22	v 8657
111.19/111.22	v 8660
111.19/111.22	v 8661
111.19/111.22	v 8662
111.19/111.22	v 8664
111.19/111.22	v 8665
111.19/111.22	v 8666
111.19/111.22	v 8667
111.19/111.22	v 8668
111.19/111.22	v 8670
111.19/111.22	v 8672
111.19/111.22	v 8673
111.19/111.22	v 8674
111.19/111.22	v 8675
111.19/111.22	v 8677
111.19/111.22	v 8678
111.19/111.22	v 8682
111.19/111.22	v 8684
111.19/111.22	v 8685
111.19/111.22	v 8688
111.19/111.22	v 8690
111.19/111.22	v 8691
111.19/111.22	v 8692
111.19/111.22	v 8693
111.19/111.22	v 8694
111.19/111.22	v 8696
111.19/111.22	v 8698
111.19/111.22	v 8700
111.19/111.22	v 8701
111.19/111.22	v 8702
111.19/111.22	v 8704
111.19/111.22	v 8705
111.19/111.22	v 8708
111.19/111.22	v 8709
111.19/111.22	v 8710
111.19/111.22	v 8712
111.19/111.22	v 8714
111.19/111.22	v 8715
111.19/111.22	v 8716
111.19/111.22	v 8719
111.19/111.22	v 8721
111.19/111.22	v 8722
111.19/111.22	v 8725
111.19/111.22	v 8726
111.19/111.22	v 8727
111.19/111.22	v 8729
111.19/111.22	v 8730
111.19/111.22	v 8731
111.19/111.22	v 8732
111.19/111.22	v 8733
111.19/111.22	v 8735
111.19/111.22	v 8736
111.19/111.22	v 8737
111.19/111.22	v 8741
111.19/111.22	v 8747
111.19/111.22	v 8756
111.19/111.22	v 8758
111.19/111.22	v 8761
111.19/111.22	v 8763
111.19/111.22	v 8766
111.19/111.22	v 8767
111.19/111.22	v 8768
111.19/111.22	v 8769
111.19/111.22	v 8770
111.19/111.22	v 8773
111.19/111.22	v 8774
111.19/111.22	v 8776
111.19/111.22	v 8777
111.19/111.22	v 8778
111.19/111.22	v 8781
111.19/111.22	v 8782
111.19/111.22	v 8783
111.19/111.22	v 8789
111.19/111.22	v 8790
111.19/111.22	v 8791
111.19/111.22	v 8792
111.19/111.22	v 8793
111.19/111.22	v 8795
111.19/111.22	v 8797
111.19/111.22	v 8798
111.19/111.22	v 8800
111.19/111.22	v 8804
111.19/111.22	v 8805
111.19/111.22	v 8806
111.19/111.22	v 8808
111.19/111.22	v 8809
111.19/111.22	v 8810
111.19/111.22	v 8812
111.19/111.22	v 8817
111.19/111.22	v 8820
111.19/111.22	v 8821
111.19/111.22	v 8822
111.19/111.22	v 8823
111.19/111.22	v 8824
111.19/111.22	v 8827
111.19/111.22	v 8828
111.19/111.22	v 8830
111.19/111.22	v 8831
111.19/111.22	v 8832
111.19/111.22	v 8833
111.19/111.22	v 8834
111.19/111.22	v 8836
111.19/111.22	v 8837
111.19/111.22	v 8839
111.19/111.22	v 8840
111.19/111.22	v 8841
111.19/111.22	v 8844
111.19/111.22	v 8845
111.19/111.22	v 8847
111.19/111.22	v 8848
111.19/111.22	v 8850
111.19/111.22	v 8851
111.19/111.22	v 8853
111.19/111.22	v 8854
111.19/111.22	v 8855
111.19/111.22	v 8856
111.19/111.22	v 8860
111.19/111.22	v 8863
111.19/111.22	v 8865
111.19/111.22	v 8866
111.19/111.22	v 8867
111.19/111.22	v 8869
111.19/111.22	v 8873
111.19/111.22	v 8874
111.19/111.22	v 8875
111.19/111.22	v 8877
111.19/111.22	v 8878
111.19/111.22	v 8879
111.19/111.22	v 8881
111.19/111.22	v 8882
111.19/111.22	v 8883
111.19/111.22	v 8886
111.19/111.22	v 8887
111.19/111.22	v 8888
111.19/111.22	v 8889
111.19/111.22	v 8890
111.19/111.22	v 8891
111.19/111.22	v 8893
111.19/111.22	v 8894
111.19/111.22	v 8897
111.19/111.22	v 8898
111.19/111.22	v 8899
111.19/111.22	v 8900
111.19/111.22	v 8901
111.19/111.22	v 0
111.19/111.22	c [picomus] computed 5231 irredundant clauses 59%
111.19/111.22	c [picomus] 225 reductions in 111.2 seconds

Verifier Data

OK	5231

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-3493834-1307810261/watcher-3493834-1307810261 -o /tmp/evaluation-result-3493834-1307810261/solver-3493834-1307810261 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493834-1307810261.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.02 1.95 2.84 4/178 12833
/proc/meminfo: memFree=30587436/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=1612 CPUtime=0 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 321 0 0 0 0 0 0 0 22 0 1 0 892624098 1650688 275 33554432000 134512640 135072097 4291977216 18446744073709551615 134536462 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 403 275 67 137 0 264 0

[startup+0.07726 s]
/proc/loadavg: 1.02 1.95 2.84 4/178 12833
/proc/meminfo: memFree=30587436/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=1744 CPUtime=0.07 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 376 0 0 0 7 0 0 0 22 0 1 0 892624098 1785856 330 33554432000 134512640 135072097 4291977216 18446744073709551615 134538297 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 436 330 68 137 0 297 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1744

[startup+0.10025 s]
/proc/loadavg: 1.02 1.95 2.84 4/178 12833
/proc/meminfo: memFree=30587436/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=1876 CPUtime=0.09 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 393 0 0 0 9 0 0 0 22 0 1 0 892624098 1921024 347 33554432000 134512640 135072097 4291977216 18446744073709551615 134543471 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 469 347 68 137 0 330 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1876

[startup+0.300218 s]
/proc/loadavg: 1.02 1.95 2.84 4/178 12833
/proc/meminfo: memFree=30587436/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=2536 CPUtime=0.29 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 558 0 0 0 29 0 0 0 23 0 1 0 892624098 2596864 512 33554432000 134512640 135072097 4291977216 18446744073709551615 134539119 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 634 512 68 137 0 495 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2536

[startup+0.700144 s]
/proc/loadavg: 1.02 1.95 2.84 4/178 12833
/proc/meminfo: memFree=30587436/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=2208 CPUtime=0.69 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 930 0 0 0 69 0 0 0 25 0 1 0 892624098 2260992 440 33554432000 134512640 135072097 4291977216 18446744073709551615 134557168 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 552 440 76 137 0 413 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2208

[startup+1.501 s]
/proc/loadavg: 1.02 1.95 2.84 6/190 12863
/proc/meminfo: memFree=30563940/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=2460 CPUtime=1.49 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 1648 0 0 0 149 0 0 0 25 0 1 0 892624098 2519040 507 33554432000 134512640 135072097 4291977216 18446744073709551615 134543630 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 615 507 76 137 0 476 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2460

[startup+3.10071 s]
/proc/loadavg: 1.02 1.95 2.84 6/190 12863
/proc/meminfo: memFree=30556004/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=1920 CPUtime=3.09 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 3131 0 0 0 309 0 0 0 25 0 1 0 892624098 1966080 377 33554432000 134512640 135072097 4291977216 18446744073709551615 134543717 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 480 377 76 137 0 341 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1920

[startup+6.30013 s]
/proc/loadavg: 1.26 1.99 2.84 6/190 12863
/proc/meminfo: memFree=30534176/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=1780 CPUtime=6.3 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 6208 0 0 0 629 1 0 0 25 0 1 0 892624098 1822720 351 33554432000 134512640 135072097 4291977216 18446744073709551615 134543596 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 445 351 76 137 0 306 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 1780

[startup+12.701 s]
/proc/loadavg: 1.48 2.02 2.85 6/190 12863
/proc/meminfo: memFree=30508912/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=27116 CPUtime=12.69 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 16972 0 0 0 1266 3 0 0 25 0 1 0 892624098 27766784 6669 33554432000 134512640 135072097 4291977216 18446744073709551615 134517997 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 6779 6669 77 137 0 6640 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27116

[startup+25.5007 s]
/proc/loadavg: 2.03 2.12 2.87 6/190 12863
/proc/meminfo: memFree=30509504/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=45308 CPUtime=25.49 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 21535 0 0 0 2546 3 0 0 25 0 1 0 892624098 46395392 11230 33554432000 134512640 135072097 4291977216 18446744073709551615 134557741 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 11327 11230 77 137 0 11188 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45308

[startup+51.101 s]
/proc/loadavg: 2.70 2.27 2.90 6/190 12864
/proc/meminfo: memFree=30493168/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=45308 CPUtime=51.1 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 21535 0 0 0 5106 4 0 0 25 0 1 0 892624098 46395392 11230 33554432000 134512640 135072097 4291977216 18446744073709551615 134549081 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 11327 11230 77 137 0 11188 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 45308

[startup+102.307 s]
/proc/loadavg: 3.44 2.53 2.95 6/190 12865
/proc/meminfo: memFree=30427540/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=45308 CPUtime=102.3 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 21539 0 0 0 10225 5 0 0 25 0 1 0 892624098 46395392 11232 33554432000 134512640 135072097 4291977216 18446744073709551615 134540852 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 11327 11232 77 137 0 11188 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 45308

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

[startup+105.5 s]
/proc/loadavg: 3.48 2.56 2.96 6/190 12865
/proc/meminfo: memFree=30414024/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=45308 CPUtime=105.5 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 21539 0 0 0 10545 5 0 0 25 0 1 0 892624098 46395392 11232 33554432000 134512640 135072097 4291977216 18446744073709551615 134518191 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 11327 11232 77 137 0 11188 0
Current children cumulated CPU time (s) 105.5
Current children cumulated vsize (KiB) 45308

[startup+108.701 s]
/proc/loadavg: 3.52 2.58 2.96 6/190 12865
/proc/meminfo: memFree=30402616/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=45308 CPUtime=108.7 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 21539 0 0 0 10865 5 0 0 25 0 1 0 892624098 46395392 11232 33554432000 134512640 135072097 4291977216 18446744073709551615 134518236 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 11327 11232 77 137 0 11188 0
Current children cumulated CPU time (s) 108.7
Current children cumulated vsize (KiB) 45308

[startup+110.3 s]
/proc/loadavg: 3.52 2.58 2.96 6/190 12865
/proc/meminfo: memFree=30426300/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=45308 CPUtime=110.3 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 21539 0 0 0 11025 5 0 0 25 0 1 0 892624098 46395392 11232 33554432000 134512640 135072097 4291977216 18446744073709551615 134548955 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 11327 11232 77 137 0 11188 0
Current children cumulated CPU time (s) 110.3
Current children cumulated vsize (KiB) 45308

[startup+110.7 s]
/proc/loadavg: 3.52 2.58 2.96 6/190 12865
/proc/meminfo: memFree=30426300/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=45308 CPUtime=110.7 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 21539 0 0 0 11065 5 0 0 25 0 1 0 892624098 46395392 11232 33554432000 134512640 135072097 4291977216 18446744073709551615 134556733 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 11327 11232 77 137 0 11188 0
Current children cumulated CPU time (s) 110.7
Current children cumulated vsize (KiB) 45308

[startup+111.106 s]
/proc/loadavg: 3.52 2.58 2.96 6/190 12866
/proc/meminfo: memFree=30406336/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=45308 CPUtime=111.1 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 21539 0 0 0 11105 5 0 0 25 0 1 0 892624098 46395392 11232 33554432000 134512640 135072097 4291977216 18446744073709551615 134557328 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 11327 11232 77 137 0 11188 0
Current children cumulated CPU time (s) 111.1
Current children cumulated vsize (KiB) 45308

[startup+111.201 s]
/proc/loadavg: 3.52 2.58 2.96 6/190 12866
/proc/meminfo: memFree=30406336/32951124 swapFree=67051744/67111528
[pid=12833] ppid=12831 vsize=45308 CPUtime=111.19 cores=1,3
/proc/12833/stat : 12833 (picomus) R 12831 12833 10571 0 -1 4202496 21539 0 0 0 11114 5 0 0 25 0 1 0 892624098 46395392 11232 33554432000 134512640 135072097 4291977216 18446744073709551615 134558208 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12833/statm: 11327 11232 77 137 0 11188 0
Current children cumulated CPU time (s) 111.19
Current children cumulated vsize (KiB) 45308

Child status: 20
Real time (s): 111.212
CPU time (s): 111.212
CPU user time (s): 111.154
CPU system time (s): 0.057991
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 45308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 111.154
system time used= 0.057991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21540
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= 374

runsolver used 0.19297 second user time and 0.428934 second system time

The end

Launcher Data

Begin job on node138 at 2011-06-11 18:37:41
IDJOB=3493834
IDBENCH=88021
IDSOLVER=1974
FILE ID=node138/3493834-1307810261
RUNJOBID= node138-1307810261-12806
PBS_JOBID= 13551048
Free space on /tmp= 74084 MiB

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

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

MD5SUM BENCH= e7e6e5cd4a0917566b5f9d1f831e2250
RANDOM SEED=1278909636

node138.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.854
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.70
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.854
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.854
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.82
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.854
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.75
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.854
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.80
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.854
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.854
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.82
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.854
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30588980 kB
Buffers:        325152 kB
Cached:        1816296 kB
SwapCached:      13468 kB
Active:         600080 kB
Inactive:      1560064 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30588980 kB
SwapTotal:    67111528 kB
SwapFree:     67051744 kB
Dirty:            1564 kB
Writeback:           0 kB
AnonPages:       15620 kB
Mapped:           8864 kB
Slab:           137252 kB
PageTables:       5224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191696 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= 74076 MiB
End job on node138 at 2011-06-11 18:39:33