Trace number 3493458

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 352.444 352.459

General information on the benchmark

Namemus/marques-silva/
hardware-verification/3pipe_1_ooo.cnf
MD5SUMad317223003dd738bd4a8763d32f41f5
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark23.2005
Satisfiable
(Un)Satisfiability was proved
Number of variables2223
Number of clauses26561
Sum of the clauses size76153
Maximum clause length46
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 219087
Number of clauses of size 36051
Number of clauses of size 484
Number of clauses of size 5127
Number of clauses of size over 51211

Solver Data 

0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 2223 26561
5.29/5.30	s UNSATISFIABLE
5.29/5.35	c [picomus] extracted core 1 of size 14128 out of 26561 (53%) after 5.4 sec
13.59/13.60	c [picomus] extracted core 2 of size 11086 out of 26561 (42%) after 13.6 sec
24.90/24.96	c [picomus] extracted core 3 of size 10176 out of 26561 (38%) after 25.0 sec
35.30/35.33	c [picomus] extracted core 4 of size 9826 out of 26561 (37%) after 35.3 sec
46.39/46.45	c [picomus] extracted core 5 of size 9082 out of 26561 (34%) after 46.5 sec
56.90/56.91	c [picomus] extracted core 6 of size 8955 out of 26561 (34%) after 56.9 sec
63.20/63.21	c [picomus] extracted core 7 of size 8650 out of 26561 (33%) after 63.2 sec
78.79/78.83	c [picomus] extracted core 8 of size 8582 out of 26561 (32%) after 78.8 sec
90.10/90.16	c [picomus] extracted core 9 of size 7246 out of 26561 (27%) after 90.2 sec
95.99/96.08	c [picomus] extracted core 10 of size 7160 out of 26561 (27%) after 96.1 sec
116.89/116.98	c [picomus] extracted core 11 of size 7142 out of 26561 (27%) after 117.0 sec
131.00/131.05	c [picomus] extracted core 12 of size 7042 out of 26561 (27%) after 131.1 sec
149.90/149.97	c [picomus] extracted core 13 of size 7034 out of 26561 (26%) after 150.0 sec
155.99/156.10	c [picomus] extracted core 14 of size 6982 out of 26561 (26%) after 156.1 sec
164.90/164.95	c [picomus] extracted core 15 of size 6910 out of 26561 (26%) after 165.0 sec
183.10/183.14	c [picomus] extracted core 16 of size 6910 out of 26561 (26%) after 183.2 sec
205.19/205.29	c [picomus] extracted core 17 of size 6861 out of 26561 (26%) after 205.3 sec
218.80/218.88	c [picomus] extracted core 18 of size 6859 out of 26561 (26%) after 218.9 sec
230.09/230.17	c [picomus] extracted core 19 of size 6848 out of 26561 (26%) after 230.2 sec
241.00/241.07	c [picomus] extracted core 20 of size 6650 out of 26561 (25%) after 241.1 sec
270.39/270.46	c [picomus] extracted core 21 of size 6648 out of 26561 (25%) after 270.5 sec
287.10/287.11	c [picomus] reduction 1 to 6354 out of 26561 (24%) after 287.1 sec
291.60/291.70	c [picomus] reduction 2 to 5951 out of 26561 (22%) after 291.7 sec
292.80/292.89	c [picomus] reduction 3 to 5941 out of 26561 (22%) after 292.9 sec
294.00/294.01	c [picomus] reduction 4 to 5894 out of 26561 (22%) after 294.0 sec
294.00/294.06	c [picomus] reduction 5 to 5893 out of 26561 (22%) after 294.1 sec
294.40/294.48	c [picomus] reduction 6 to 5883 out of 26561 (22%) after 294.5 sec
295.00/295.00	c [picomus] reduction 7 to 5872 out of 26561 (22%) after 295.0 sec
295.40/295.48	c [picomus] reduction 8 to 5856 out of 26561 (22%) after 295.5 sec
295.50/295.57	c [picomus] reduction 9 to 5851 out of 26561 (22%) after 295.6 sec
295.60/295.60	c [picomus] reduction 10 to 5850 out of 26561 (22%) after 295.6 sec
295.60/295.69	c [picomus] reduction 11 to 5847 out of 26561 (22%) after 295.7 sec
295.80/295.89	c [picomus] reduction 12 to 5846 out of 26561 (22%) after 295.9 sec
297.29/297.37	c [picomus] reduction 13 to 5844 out of 26561 (22%) after 297.4 sec
297.39/297.41	c [picomus] reduction 14 to 5843 out of 26561 (22%) after 297.4 sec
297.49/297.53	c [picomus] reduction 15 to 5842 out of 26561 (22%) after 297.5 sec
297.59/297.63	c [picomus] reduction 16 to 5841 out of 26561 (22%) after 297.6 sec
297.79/297.84	c [picomus] reduction 17 to 5840 out of 26561 (22%) after 297.9 sec
297.79/297.88	c [picomus] reduction 18 to 5837 out of 26561 (22%) after 297.9 sec
297.89/297.91	c [picomus] reduction 19 to 5836 out of 26561 (22%) after 297.9 sec
298.00/298.03	c [picomus] reduction 20 to 5835 out of 26561 (22%) after 298.0 sec
298.00/298.05	c [picomus] reduction 21 to 5834 out of 26561 (22%) after 298.1 sec
298.00/298.10	c [picomus] reduction 22 to 5833 out of 26561 (22%) after 298.1 sec
298.19/298.20	c [picomus] reduction 23 to 5832 out of 26561 (22%) after 298.2 sec
298.59/298.69	c [picomus] reduction 24 to 5827 out of 26561 (22%) after 298.7 sec
298.79/298.86	c [picomus] reduction 25 to 5817 out of 26561 (22%) after 298.9 sec
298.99/299.03	c [picomus] reduction 26 to 5816 out of 26561 (22%) after 299.0 sec
299.10/299.12	c [picomus] reduction 27 to 5815 out of 26561 (22%) after 299.1 sec
299.59/299.68	c [picomus] reduction 28 to 5801 out of 26561 (22%) after 299.7 sec
299.79/299.81	c [picomus] reduction 29 to 5800 out of 26561 (22%) after 299.8 sec
299.79/299.88	c [picomus] reduction 30 to 5799 out of 26561 (22%) after 299.9 sec
299.89/299.98	c [picomus] reduction 31 to 5798 out of 26561 (22%) after 300.0 sec
300.20/300.23	c [picomus] reduction 32 to 5789 out of 26561 (22%) after 300.2 sec
300.39/300.40	c [picomus] reduction 33 to 5780 out of 26561 (22%) after 300.4 sec
300.59/300.66	c [picomus] reduction 34 to 5775 out of 26561 (22%) after 300.7 sec
300.69/300.71	c [picomus] reduction 35 to 5773 out of 26561 (22%) after 300.7 sec
300.99/301.02	c [picomus] reduction 36 to 5772 out of 26561 (22%) after 301.0 sec
300.99/301.08	c [picomus] reduction 37 to 5771 out of 26561 (22%) after 301.1 sec
301.59/301.63	c [picomus] reduction 38 to 5743 out of 26561 (22%) after 301.6 sec
301.79/301.90	c [picomus] reduction 39 to 5734 out of 26561 (22%) after 301.9 sec
302.09/302.16	c [picomus] reduction 40 to 5724 out of 26561 (22%) after 302.2 sec
302.19/302.22	c [picomus] reduction 41 to 5722 out of 26561 (22%) after 302.2 sec
302.40/302.50	c [picomus] reduction 42 to 5719 out of 26561 (22%) after 302.5 sec
302.59/302.63	c [picomus] reduction 43 to 5716 out of 26561 (22%) after 302.6 sec
302.99/303.03	c [picomus] reduction 44 to 5699 out of 26561 (21%) after 303.0 sec
303.29/303.30	c [picomus] reduction 45 to 5692 out of 26561 (21%) after 303.3 sec
303.29/303.39	c [picomus] reduction 46 to 5690 out of 26561 (21%) after 303.4 sec
303.79/303.86	c [picomus] reduction 47 to 5689 out of 26561 (21%) after 303.9 sec
303.79/303.89	c [picomus] reduction 48 to 5686 out of 26561 (21%) after 303.9 sec
303.89/303.98	c [picomus] reduction 49 to 5684 out of 26561 (21%) after 304.0 sec
303.99/304.03	c [picomus] reduction 50 to 5683 out of 26561 (21%) after 304.0 sec
303.99/304.06	c [picomus] reduction 51 to 5682 out of 26561 (21%) after 304.1 sec
304.09/304.13	c [picomus] reduction 52 to 5681 out of 26561 (21%) after 304.1 sec
304.19/304.29	c [picomus] reduction 53 to 5679 out of 26561 (21%) after 304.3 sec
304.29/304.35	c [picomus] reduction 54 to 5676 out of 26561 (21%) after 304.4 sec
304.29/304.38	c [picomus] reduction 55 to 5675 out of 26561 (21%) after 304.4 sec
304.39/304.42	c [picomus] reduction 56 to 5674 out of 26561 (21%) after 304.4 sec
304.39/304.49	c [picomus] reduction 57 to 5673 out of 26561 (21%) after 304.5 sec
305.39/305.40	c [picomus] reduction 58 to 5672 out of 26561 (21%) after 305.4 sec
305.39/305.41	c [picomus] reduction 59 to 5671 out of 26561 (21%) after 305.4 sec
305.39/305.41	c [picomus] reduction 60 to 5670 out of 26561 (21%) after 305.4 sec
305.59/305.69	c [picomus] reduction 61 to 5667 out of 26561 (21%) after 305.7 sec
305.70/305.73	c [picomus] reduction 62 to 5666 out of 26561 (21%) after 305.7 sec
305.70/305.80	c [picomus] reduction 63 to 5664 out of 26561 (21%) after 305.8 sec
305.80/305.83	c [picomus] reduction 64 to 5663 out of 26561 (21%) after 305.8 sec
305.80/305.87	c [picomus] reduction 65 to 5661 out of 26561 (21%) after 305.9 sec
305.80/305.89	c [picomus] reduction 66 to 5660 out of 26561 (21%) after 305.9 sec
305.80/305.89	c [picomus] reduction 67 to 5654 out of 26561 (21%) after 305.9 sec
305.89/305.99	c [picomus] reduction 68 to 5642 out of 26561 (21%) after 306.0 sec
305.99/306.01	c [picomus] reduction 69 to 5641 out of 26561 (21%) after 306.0 sec
305.99/306.04	c [picomus] reduction 70 to 5639 out of 26561 (21%) after 306.0 sec
305.99/306.06	c [picomus] reduction 71 to 5634 out of 26561 (21%) after 306.1 sec
305.99/306.08	c [picomus] reduction 72 to 5633 out of 26561 (21%) after 306.1 sec
306.19/306.25	c [picomus] reduction 73 to 5630 out of 26561 (21%) after 306.3 sec
306.39/306.45	c [picomus] reduction 74 to 5618 out of 26561 (21%) after 306.5 sec
306.90/306.94	c [picomus] reduction 75 to 5617 out of 26561 (21%) after 307.0 sec
306.90/306.97	c [picomus] reduction 76 to 5613 out of 26561 (21%) after 307.0 sec
307.19/307.20	c [picomus] reduction 77 to 5612 out of 26561 (21%) after 307.2 sec
307.19/307.22	c [picomus] reduction 78 to 5611 out of 26561 (21%) after 307.2 sec
307.19/307.23	c [picomus] reduction 79 to 5610 out of 26561 (21%) after 307.2 sec
307.19/307.25	c [picomus] reduction 80 to 5608 out of 26561 (21%) after 307.3 sec
307.49/307.56	c [picomus] reduction 81 to 5607 out of 26561 (21%) after 307.6 sec
307.69/307.78	c [picomus] reduction 82 to 5605 out of 26561 (21%) after 307.8 sec
307.79/307.81	c [picomus] reduction 83 to 5604 out of 26561 (21%) after 307.8 sec
308.29/308.30	c [picomus] reduction 84 to 5603 out of 26561 (21%) after 308.3 sec
308.59/308.64	c [picomus] reduction 85 to 5602 out of 26561 (21%) after 308.6 sec
308.79/308.84	c [picomus] reduction 86 to 5601 out of 26561 (21%) after 308.9 sec
309.00/309.05	c [picomus] reduction 87 to 5600 out of 26561 (21%) after 309.1 sec
309.10/309.11	c [picomus] reduction 88 to 5599 out of 26561 (21%) after 309.1 sec
309.29/309.30	c [picomus] reduction 89 to 5598 out of 26561 (21%) after 309.3 sec
310.29/310.37	c [picomus] reduction 90 to 5596 out of 26561 (21%) after 310.4 sec
310.39/310.46	c [picomus] reduction 91 to 5595 out of 26561 (21%) after 310.5 sec
310.39/310.47	c [picomus] reduction 92 to 5594 out of 26561 (21%) after 310.5 sec
310.49/310.51	c [picomus] reduction 93 to 5593 out of 26561 (21%) after 310.5 sec
310.49/310.52	c [picomus] reduction 94 to 5592 out of 26561 (21%) after 310.5 sec
310.49/310.58	c [picomus] reduction 95 to 5590 out of 26561 (21%) after 310.6 sec
310.59/310.60	c [picomus] reduction 96 to 5589 out of 26561 (21%) after 310.6 sec
310.59/310.62	c [picomus] reduction 97 to 5579 out of 26561 (21%) after 310.6 sec
310.59/310.67	c [picomus] reduction 98 to 5576 out of 26561 (21%) after 310.7 sec
310.69/310.71	c [picomus] reduction 99 to 5575 out of 26561 (21%) after 310.7 sec
310.69/310.72	c [picomus] reduction 100 to 5574 out of 26561 (21%) after 310.7 sec
310.69/310.74	c [picomus] reduction 101 to 5564 out of 26561 (21%) after 310.7 sec
310.69/310.75	c [picomus] reduction 102 to 5563 out of 26561 (21%) after 310.8 sec
310.69/310.78	c [picomus] reduction 103 to 5562 out of 26561 (21%) after 310.8 sec
310.79/310.87	c [picomus] reduction 104 to 5557 out of 26561 (21%) after 310.9 sec
310.99/311.06	c [picomus] reduction 105 to 5556 out of 26561 (21%) after 311.1 sec
311.20/311.23	c [picomus] reduction 106 to 5553 out of 26561 (21%) after 311.2 sec
311.49/311.50	c [picomus] reduction 107 to 5552 out of 26561 (21%) after 311.5 sec
311.49/311.56	c [picomus] reduction 108 to 5551 out of 26561 (21%) after 311.6 sec
311.49/311.57	c [picomus] reduction 109 to 5550 out of 26561 (21%) after 311.6 sec
311.69/311.74	c [picomus] reduction 110 to 5548 out of 26561 (21%) after 311.7 sec
311.69/311.77	c [picomus] reduction 111 to 5547 out of 26561 (21%) after 311.8 sec
312.09/312.15	c [picomus] reduction 112 to 5546 out of 26561 (21%) after 312.2 sec
312.09/312.15	c [picomus] reduction 113 to 5545 out of 26561 (21%) after 312.2 sec
312.19/312.20	c [picomus] reduction 114 to 5544 out of 26561 (21%) after 312.2 sec
312.59/312.68	c [picomus] reduction 115 to 5543 out of 26561 (21%) after 312.7 sec
312.79/312.85	c [picomus] reduction 116 to 5542 out of 26561 (21%) after 312.9 sec
313.19/313.25	c [picomus] reduction 117 to 5539 out of 26561 (21%) after 313.3 sec
313.40/313.43	c [picomus] reduction 118 to 5534 out of 26561 (21%) after 313.4 sec
313.40/313.46	c [picomus] reduction 119 to 5532 out of 26561 (21%) after 313.5 sec
313.50/313.58	c [picomus] reduction 120 to 5529 out of 26561 (21%) after 313.6 sec
313.59/313.63	c [picomus] reduction 121 to 5526 out of 26561 (21%) after 313.6 sec
313.59/313.64	c [picomus] reduction 122 to 5525 out of 26561 (21%) after 313.6 sec
313.79/313.84	c [picomus] reduction 123 to 5515 out of 26561 (21%) after 313.8 sec
314.79/314.87	c [picomus] reduction 124 to 5514 out of 26561 (21%) after 314.9 sec
315.29/315.37	c [picomus] reduction 125 to 5513 out of 26561 (21%) after 315.4 sec
315.39/315.43	c [picomus] reduction 126 to 5511 out of 26561 (21%) after 315.4 sec
315.39/315.48	c [picomus] reduction 127 to 5510 out of 26561 (21%) after 315.5 sec
315.49/315.60	c [picomus] reduction 128 to 5509 out of 26561 (21%) after 315.6 sec
316.29/316.30	c [picomus] reduction 129 to 5508 out of 26561 (21%) after 316.3 sec
316.29/316.35	c [picomus] reduction 130 to 5507 out of 26561 (21%) after 316.4 sec
316.80/316.85	c [picomus] reduction 131 to 5506 out of 26561 (21%) after 316.9 sec
316.99/317.09	c [picomus] reduction 132 to 5505 out of 26561 (21%) after 317.1 sec
317.19/317.24	c [picomus] reduction 133 to 5500 out of 26561 (21%) after 317.2 sec
317.19/317.24	c [picomus] reduction 134 to 5499 out of 26561 (21%) after 317.2 sec
317.19/317.24	c [picomus] reduction 135 to 5498 out of 26561 (21%) after 317.2 sec
317.29/317.37	c [picomus] reduction 136 to 5497 out of 26561 (21%) after 317.4 sec
317.69/317.79	c [picomus] reduction 137 to 5496 out of 26561 (21%) after 317.8 sec
317.89/317.93	c [picomus] reduction 138 to 5495 out of 26561 (21%) after 317.9 sec
317.89/317.93	c [picomus] reduction 139 to 5494 out of 26561 (21%) after 317.9 sec
317.99/318.07	c [picomus] reduction 140 to 5493 out of 26561 (21%) after 318.1 sec
318.30/318.32	c [picomus] reduction 141 to 5492 out of 26561 (21%) after 318.3 sec
318.50/318.59	c [picomus] reduction 142 to 5491 out of 26561 (21%) after 318.6 sec
318.80/318.80	c [picomus] reduction 143 to 5490 out of 26561 (21%) after 318.8 sec
318.90/318.92	c [picomus] reduction 144 to 5489 out of 26561 (21%) after 318.9 sec
319.10/319.15	c [picomus] reduction 145 to 5488 out of 26561 (21%) after 319.2 sec
319.20/319.26	c [picomus] reduction 146 to 5487 out of 26561 (21%) after 319.3 sec
319.40/319.46	c [picomus] reduction 147 to 5486 out of 26561 (21%) after 319.5 sec
319.50/319.58	c [picomus] reduction 148 to 5485 out of 26561 (21%) after 319.6 sec
319.50/319.58	c [picomus] reduction 149 to 5484 out of 26561 (21%) after 319.6 sec
319.50/319.59	c [picomus] reduction 150 to 5483 out of 26561 (21%) after 319.6 sec
319.80/319.85	c [picomus] reduction 151 to 5482 out of 26561 (21%) after 319.9 sec
319.90/319.98	c [picomus] reduction 152 to 5481 out of 26561 (21%) after 320.0 sec
319.90/319.99	c [picomus] reduction 153 to 5480 out of 26561 (21%) after 320.0 sec
319.90/319.99	c [picomus] reduction 154 to 5479 out of 26561 (21%) after 320.0 sec
320.20/320.26	c [picomus] reduction 155 to 5478 out of 26561 (21%) after 320.3 sec
320.30/320.39	c [picomus] reduction 156 to 5477 out of 26561 (21%) after 320.4 sec
320.30/320.40	c [picomus] reduction 157 to 5476 out of 26561 (21%) after 320.4 sec
320.40/320.40	c [picomus] reduction 158 to 5475 out of 26561 (21%) after 320.4 sec
320.60/320.67	c [picomus] reduction 159 to 5474 out of 26561 (21%) after 320.7 sec
320.80/320.80	c [picomus] reduction 160 to 5473 out of 26561 (21%) after 320.8 sec
320.80/320.80	c [picomus] reduction 161 to 5472 out of 26561 (21%) after 320.8 sec
320.80/320.80	c [picomus] reduction 162 to 5471 out of 26561 (21%) after 320.8 sec
321.00/321.07	c [picomus] reduction 163 to 5470 out of 26561 (21%) after 321.1 sec
321.10/321.19	c [picomus] reduction 164 to 5469 out of 26561 (21%) after 321.2 sec
321.10/321.20	c [picomus] reduction 165 to 5468 out of 26561 (21%) after 321.2 sec
321.10/321.20	c [picomus] reduction 166 to 5467 out of 26561 (21%) after 321.2 sec
321.40/321.43	c [picomus] reduction 167 to 5466 out of 26561 (21%) after 321.4 sec
321.50/321.54	c [picomus] reduction 168 to 5465 out of 26561 (21%) after 321.5 sec
321.50/321.54	c [picomus] reduction 169 to 5464 out of 26561 (21%) after 321.6 sec
321.50/321.55	c [picomus] reduction 170 to 5463 out of 26561 (21%) after 321.6 sec
321.80/321.83	c [picomus] reduction 171 to 5462 out of 26561 (21%) after 321.8 sec
321.80/321.83	c [picomus] reduction 172 to 5461 out of 26561 (21%) after 321.8 sec
321.80/321.84	c [picomus] reduction 173 to 5460 out of 26561 (21%) after 321.8 sec
322.00/322.02	c [picomus] reduction 174 to 5459 out of 26561 (21%) after 322.0 sec
322.10/322.16	c [picomus] reduction 175 to 5458 out of 26561 (21%) after 322.2 sec
322.10/322.16	c [picomus] reduction 176 to 5457 out of 26561 (21%) after 322.2 sec
322.10/322.17	c [picomus] reduction 177 to 5456 out of 26561 (21%) after 322.2 sec
322.40/322.42	c [picomus] reduction 178 to 5455 out of 26561 (21%) after 322.4 sec
322.40/322.42	c [picomus] reduction 179 to 5454 out of 26561 (21%) after 322.4 sec
322.40/322.42	c [picomus] reduction 180 to 5453 out of 26561 (21%) after 322.4 sec
322.80/322.88	c [picomus] reduction 181 to 5449 out of 26561 (21%) after 322.9 sec
323.20/323.22	c [picomus] reduction 182 to 5446 out of 26561 (21%) after 323.2 sec
323.30/323.33	c [picomus] reduction 183 to 5444 out of 26561 (20%) after 323.3 sec
323.40/323.49	c [picomus] reduction 184 to 5443 out of 26561 (20%) after 323.5 sec
323.50/323.60	c [picomus] reduction 185 to 5442 out of 26561 (20%) after 323.6 sec
323.60/323.67	c [picomus] reduction 186 to 5441 out of 26561 (20%) after 323.7 sec
323.70/323.74	c [picomus] reduction 187 to 5440 out of 26561 (20%) after 323.7 sec
323.70/323.74	c [picomus] reduction 188 to 5439 out of 26561 (20%) after 323.7 sec
323.70/323.74	c [picomus] reduction 189 to 5438 out of 26561 (20%) after 323.7 sec
323.80/323.86	c [picomus] reduction 190 to 5437 out of 26561 (20%) after 323.9 sec
324.50/324.53	c [picomus] reduction 191 to 5436 out of 26561 (20%) after 324.5 sec
324.60/324.66	c [picomus] reduction 192 to 5435 out of 26561 (20%) after 324.7 sec
324.60/324.66	c [picomus] reduction 193 to 5434 out of 26561 (20%) after 324.7 sec
325.00/325.04	c [picomus] reduction 194 to 5433 out of 26561 (20%) after 325.0 sec
325.20/325.28	c [picomus] reduction 195 to 5432 out of 26561 (20%) after 325.3 sec
325.40/325.44	c [picomus] reduction 196 to 5431 out of 26561 (20%) after 325.4 sec
325.50/325.54	c [picomus] reduction 197 to 5430 out of 26561 (20%) after 325.5 sec
325.70/325.73	c [picomus] reduction 198 to 5429 out of 26561 (20%) after 325.7 sec
325.80/325.85	c [picomus] reduction 199 to 5428 out of 26561 (20%) after 325.9 sec
326.00/326.07	c [picomus] reduction 200 to 5427 out of 26561 (20%) after 326.1 sec
326.10/326.18	c [picomus] reduction 201 to 5426 out of 26561 (20%) after 326.2 sec
326.10/326.18	c [picomus] reduction 202 to 5425 out of 26561 (20%) after 326.2 sec
326.10/326.18	c [picomus] reduction 203 to 5424 out of 26561 (20%) after 326.2 sec
326.40/326.40	c [picomus] reduction 204 to 5420 out of 26561 (20%) after 326.4 sec
326.50/326.54	c [picomus] reduction 205 to 5419 out of 26561 (20%) after 326.5 sec
326.50/326.54	c [picomus] reduction 206 to 5418 out of 26561 (20%) after 326.5 sec
326.50/326.54	c [picomus] reduction 207 to 5417 out of 26561 (20%) after 326.5 sec
326.70/326.76	c [picomus] reduction 208 to 5416 out of 26561 (20%) after 326.8 sec
326.80/326.89	c [picomus] reduction 209 to 5415 out of 26561 (20%) after 326.9 sec
326.80/326.89	c [picomus] reduction 210 to 5414 out of 26561 (20%) after 326.9 sec
326.90/326.90	c [picomus] reduction 211 to 5413 out of 26561 (20%) after 326.9 sec
327.20/327.21	c [picomus] reduction 212 to 5412 out of 26561 (20%) after 327.2 sec
327.30/327.33	c [picomus] reduction 213 to 5411 out of 26561 (20%) after 327.3 sec
327.30/327.33	c [picomus] reduction 214 to 5410 out of 26561 (20%) after 327.3 sec
327.30/327.34	c [picomus] reduction 215 to 5409 out of 26561 (20%) after 327.3 sec
327.50/327.57	c [picomus] reduction 216 to 5408 out of 26561 (20%) after 327.6 sec
327.60/327.68	c [picomus] reduction 217 to 5407 out of 26561 (20%) after 327.7 sec
327.60/327.68	c [picomus] reduction 218 to 5406 out of 26561 (20%) after 327.7 sec
327.60/327.69	c [picomus] reduction 219 to 5405 out of 26561 (20%) after 327.7 sec
327.90/327.91	c [picomus] reduction 220 to 5404 out of 26561 (20%) after 327.9 sec
328.00/328.02	c [picomus] reduction 221 to 5403 out of 26561 (20%) after 328.0 sec
328.00/328.03	c [picomus] reduction 222 to 5402 out of 26561 (20%) after 328.0 sec
328.00/328.03	c [picomus] reduction 223 to 5401 out of 26561 (20%) after 328.0 sec
328.20/328.29	c [picomus] reduction 224 to 5400 out of 26561 (20%) after 328.3 sec
328.20/328.29	c [picomus] reduction 225 to 5399 out of 26561 (20%) after 328.3 sec
328.20/328.29	c [picomus] reduction 226 to 5398 out of 26561 (20%) after 328.3 sec
328.50/328.57	c [picomus] reduction 227 to 5397 out of 26561 (20%) after 328.6 sec
328.50/328.58	c [picomus] reduction 228 to 5396 out of 26561 (20%) after 328.6 sec
328.50/328.58	c [picomus] reduction 229 to 5395 out of 26561 (20%) after 328.6 sec
328.80/328.84	c [picomus] reduction 230 to 5394 out of 26561 (20%) after 328.9 sec
328.80/328.85	c [picomus] reduction 231 to 5393 out of 26561 (20%) after 328.9 sec
328.80/328.85	c [picomus] reduction 232 to 5392 out of 26561 (20%) after 328.9 sec
329.00/329.04	c [picomus] reduction 233 to 5390 out of 26561 (20%) after 329.0 sec
329.10/329.17	c [picomus] reduction 234 to 5389 out of 26561 (20%) after 329.2 sec
329.80/329.81	c [picomus] reduction 235 to 5388 out of 26561 (20%) after 329.8 sec
330.30/330.37	c [picomus] reduction 236 to 5387 out of 26561 (20%) after 330.4 sec
330.40/330.43	c [picomus] reduction 237 to 5386 out of 26561 (20%) after 330.4 sec
330.50/330.55	c [picomus] reduction 238 to 5385 out of 26561 (20%) after 330.6 sec
330.60/330.66	c [picomus] reduction 239 to 5384 out of 26561 (20%) after 330.7 sec
331.00/331.01	c [picomus] reduction 240 to 5380 out of 26561 (20%) after 331.0 sec
331.10/331.11	c [picomus] reduction 241 to 5373 out of 26561 (20%) after 331.1 sec
331.50/331.56	c [picomus] reduction 242 to 5372 out of 26561 (20%) after 331.6 sec
331.80/331.84	c [picomus] reduction 243 to 5371 out of 26561 (20%) after 331.8 sec
331.80/331.84	c [picomus] reduction 244 to 5370 out of 26561 (20%) after 331.8 sec
332.10/332.17	c [picomus] reduction 245 to 5369 out of 26561 (20%) after 332.2 sec
332.30/332.35	c [picomus] reduction 246 to 5368 out of 26561 (20%) after 332.4 sec
332.60/332.62	c [picomus] reduction 247 to 5367 out of 26561 (20%) after 332.6 sec
332.80/332.89	c [picomus] reduction 248 to 5366 out of 26561 (20%) after 332.9 sec
333.00/333.05	c [picomus] reduction 249 to 5365 out of 26561 (20%) after 333.1 sec
333.10/333.17	c [picomus] reduction 250 to 5364 out of 26561 (20%) after 333.2 sec
333.10/333.17	c [picomus] reduction 251 to 5363 out of 26561 (20%) after 333.2 sec
333.10/333.17	c [picomus] reduction 252 to 5362 out of 26561 (20%) after 333.2 sec
333.30/333.37	c [picomus] reduction 253 to 5360 out of 26561 (20%) after 333.4 sec
333.50/333.53	c [picomus] reduction 254 to 5359 out of 26561 (20%) after 333.5 sec
333.50/333.54	c [picomus] reduction 255 to 5358 out of 26561 (20%) after 333.5 sec
333.50/333.54	c [picomus] reduction 256 to 5357 out of 26561 (20%) after 333.5 sec
333.69/333.73	c [picomus] reduction 257 to 5356 out of 26561 (20%) after 333.7 sec
333.69/333.73	c [picomus] reduction 258 to 5355 out of 26561 (20%) after 333.7 sec
333.69/333.73	c [picomus] reduction 259 to 5354 out of 26561 (20%) after 333.7 sec
333.79/333.87	c [picomus] reduction 260 to 5353 out of 26561 (20%) after 333.9 sec
333.89/333.98	c [picomus] reduction 261 to 5352 out of 26561 (20%) after 334.0 sec
333.89/333.98	c [picomus] reduction 262 to 5351 out of 26561 (20%) after 334.0 sec
333.89/333.99	c [picomus] reduction 263 to 5350 out of 26561 (20%) after 334.0 sec
334.09/334.14	c [picomus] reduction 264 to 5349 out of 26561 (20%) after 334.1 sec
334.20/334.27	c [picomus] reduction 265 to 5348 out of 26561 (20%) after 334.3 sec
334.20/334.27	c [picomus] reduction 266 to 5347 out of 26561 (20%) after 334.3 sec
334.20/334.27	c [picomus] reduction 267 to 5346 out of 26561 (20%) after 334.3 sec
334.30/334.38	c [picomus] reduction 268 to 5345 out of 26561 (20%) after 334.4 sec
334.40/334.48	c [picomus] reduction 269 to 5344 out of 26561 (20%) after 334.5 sec
334.40/334.49	c [picomus] reduction 270 to 5343 out of 26561 (20%) after 334.5 sec
334.40/334.49	c [picomus] reduction 271 to 5342 out of 26561 (20%) after 334.5 sec
334.59/334.60	c [picomus] reduction 272 to 5341 out of 26561 (20%) after 334.6 sec
334.69/334.72	c [picomus] reduction 273 to 5340 out of 26561 (20%) after 334.7 sec
334.69/334.72	c [picomus] reduction 274 to 5339 out of 26561 (20%) after 334.7 sec
334.69/334.72	c [picomus] reduction 275 to 5338 out of 26561 (20%) after 334.7 sec
334.79/334.84	c [picomus] reduction 276 to 5337 out of 26561 (20%) after 334.8 sec
334.89/334.96	c [picomus] reduction 277 to 5336 out of 26561 (20%) after 335.0 sec
334.89/334.96	c [picomus] reduction 278 to 5335 out of 26561 (20%) after 335.0 sec
334.89/334.96	c [picomus] reduction 279 to 5334 out of 26561 (20%) after 335.0 sec
335.09/335.14	c [picomus] reduction 280 to 5333 out of 26561 (20%) after 335.1 sec
335.09/335.14	c [picomus] reduction 281 to 5332 out of 26561 (20%) after 335.1 sec
335.09/335.15	c [picomus] reduction 282 to 5331 out of 26561 (20%) after 335.2 sec
335.40/335.46	c [picomus] reduction 283 to 5330 out of 26561 (20%) after 335.5 sec
335.59/335.64	c [picomus] reduction 284 to 5329 out of 26561 (20%) after 335.6 sec
336.09/336.14	c [picomus] reduction 285 to 5328 out of 26561 (20%) after 336.1 sec
336.09/336.19	c [picomus] reduction 286 to 5327 out of 26561 (20%) after 336.2 sec
336.29/336.33	c [picomus] reduction 287 to 5326 out of 26561 (20%) after 336.3 sec
336.39/336.40	c [picomus] reduction 288 to 5325 out of 26561 (20%) after 336.4 sec
336.39/336.47	c [picomus] reduction 289 to 5324 out of 26561 (20%) after 336.5 sec
336.50/336.53	c [picomus] reduction 290 to 5323 out of 26561 (20%) after 336.5 sec
336.50/336.55	c [picomus] reduction 291 to 5322 out of 26561 (20%) after 336.6 sec
336.69/336.75	c [picomus] reduction 292 to 5319 out of 26561 (20%) after 336.8 sec
336.69/336.79	c [picomus] reduction 293 to 5317 out of 26561 (20%) after 336.8 sec
336.79/336.89	c [picomus] reduction 294 to 5313 out of 26561 (20%) after 336.9 sec
337.19/337.23	c [picomus] reduction 295 to 5312 out of 26561 (20%) after 337.2 sec
337.19/337.29	c [picomus] reduction 296 to 5311 out of 26561 (20%) after 337.3 sec
337.29/337.35	c [picomus] reduction 297 to 5310 out of 26561 (20%) after 337.4 sec
337.39/337.45	c [picomus] reduction 298 to 5309 out of 26561 (20%) after 337.5 sec
337.49/337.54	c [picomus] reduction 299 to 5307 out of 26561 (20%) after 337.5 sec
337.60/337.61	c [picomus] reduction 300 to 5306 out of 26561 (20%) after 337.6 sec
337.60/337.67	c [picomus] reduction 301 to 5305 out of 26561 (20%) after 337.7 sec
337.70/337.71	c [picomus] reduction 302 to 5304 out of 26561 (20%) after 337.7 sec
337.70/337.76	c [picomus] reduction 303 to 5303 out of 26561 (20%) after 337.8 sec
337.79/337.84	c [picomus] reduction 304 to 5302 out of 26561 (20%) after 337.8 sec
338.29/338.35	c [picomus] reduction 305 to 5301 out of 26561 (20%) after 338.4 sec
338.39/338.41	c [picomus] reduction 306 to 5300 out of 26561 (20%) after 338.4 sec
338.39/338.46	c [picomus] reduction 307 to 5299 out of 26561 (20%) after 338.5 sec
338.49/338.55	c [picomus] reduction 308 to 5298 out of 26561 (20%) after 338.5 sec
338.49/338.58	c [picomus] reduction 309 to 5297 out of 26561 (20%) after 338.6 sec
338.59/338.62	c [picomus] reduction 310 to 5296 out of 26561 (20%) after 338.6 sec
338.59/338.66	c [picomus] reduction 311 to 5295 out of 26561 (20%) after 338.7 sec
338.70/338.71	c [picomus] reduction 312 to 5294 out of 26561 (20%) after 338.7 sec
338.70/338.75	c [picomus] reduction 313 to 5293 out of 26561 (20%) after 338.8 sec
338.80/338.81	c [picomus] reduction 314 to 5292 out of 26561 (20%) after 338.8 sec
338.89/338.90	c [picomus] reduction 315 to 5284 out of 26561 (20%) after 338.9 sec
338.89/338.91	c [picomus] reduction 316 to 5283 out of 26561 (20%) after 338.9 sec
339.09/339.10	c [picomus] reduction 317 to 5282 out of 26561 (20%) after 339.1 sec
339.19/339.25	c [picomus] reduction 318 to 5281 out of 26561 (20%) after 339.3 sec
339.19/339.29	c [picomus] reduction 319 to 5280 out of 26561 (20%) after 339.3 sec
339.29/339.33	c [picomus] reduction 320 to 5279 out of 26561 (20%) after 339.3 sec
339.39/339.46	c [picomus] reduction 321 to 5278 out of 26561 (20%) after 339.5 sec
339.49/339.51	c [picomus] reduction 322 to 5277 out of 26561 (20%) after 339.5 sec
339.49/339.53	c [picomus] reduction 323 to 5276 out of 26561 (20%) after 339.5 sec
339.99/340.09	c [picomus] reduction 324 to 5275 out of 26561 (20%) after 340.1 sec
340.29/340.31	c [picomus] reduction 325 to 5274 out of 26561 (20%) after 340.3 sec
340.29/340.37	c [picomus] reduction 326 to 5273 out of 26561 (20%) after 340.4 sec
340.69/340.77	c [picomus] reduction 327 to 5272 out of 26561 (20%) after 340.8 sec
340.90/340.96	c [picomus] reduction 328 to 5271 out of 26561 (20%) after 341.0 sec
341.19/341.21	c [picomus] reduction 329 to 5270 out of 26561 (20%) after 341.2 sec
341.39/341.43	c [picomus] reduction 330 to 5269 out of 26561 (20%) after 341.4 sec
341.79/341.85	c [picomus] reduction 331 to 5268 out of 26561 (20%) after 341.9 sec
342.00/342.07	c [picomus] reduction 332 to 5267 out of 26561 (20%) after 342.1 sec
342.19/342.29	c [picomus] reduction 333 to 5266 out of 26561 (20%) after 342.3 sec
342.49/342.56	c [picomus] reduction 334 to 5265 out of 26561 (20%) after 342.6 sec
343.29/343.31	c [picomus] reduction 335 to 5264 out of 26561 (20%) after 343.3 sec
343.29/343.36	c [picomus] reduction 336 to 5262 out of 26561 (20%) after 343.4 sec
343.49/343.55	c [picomus] reduction 337 to 5261 out of 26561 (20%) after 343.6 sec
343.79/343.83	c [picomus] reduction 338 to 5260 out of 26561 (20%) after 343.8 sec
343.99/344.08	c [picomus] reduction 339 to 5259 out of 26561 (20%) after 344.1 sec
343.99/344.08	c [picomus] reduction 340 to 5258 out of 26561 (20%) after 344.1 sec
344.39/344.43	c [picomus] reduction 341 to 5257 out of 26561 (20%) after 344.4 sec
344.79/344.84	c [picomus] reduction 342 to 5256 out of 26561 (20%) after 344.8 sec
344.99/345.09	c [picomus] reduction 343 to 5255 out of 26561 (20%) after 345.1 sec
345.19/345.29	c [picomus] reduction 344 to 5254 out of 26561 (20%) after 345.3 sec
345.40/345.41	c [picomus] reduction 345 to 5253 out of 26561 (20%) after 345.4 sec
345.49/345.52	c [picomus] reduction 346 to 5252 out of 26561 (20%) after 345.5 sec
345.49/345.52	c [picomus] reduction 347 to 5251 out of 26561 (20%) after 345.5 sec
345.49/345.52	c [picomus] reduction 348 to 5250 out of 26561 (20%) after 345.5 sec
345.59/345.64	c [picomus] reduction 349 to 5249 out of 26561 (20%) after 345.6 sec
345.69/345.75	c [picomus] reduction 350 to 5248 out of 26561 (20%) after 345.8 sec
345.69/345.75	c [picomus] reduction 351 to 5247 out of 26561 (20%) after 345.8 sec
345.69/345.76	c [picomus] reduction 352 to 5246 out of 26561 (20%) after 345.8 sec
345.79/345.85	c [picomus] reduction 353 to 5245 out of 26561 (20%) after 345.9 sec
345.89/345.95	c [picomus] reduction 354 to 5244 out of 26561 (20%) after 346.0 sec
345.89/345.96	c [picomus] reduction 355 to 5243 out of 26561 (20%) after 346.0 sec
345.89/345.96	c [picomus] reduction 356 to 5242 out of 26561 (20%) after 346.0 sec
346.09/346.17	c [picomus] reduction 357 to 5241 out of 26561 (20%) after 346.2 sec
346.09/346.17	c [picomus] reduction 358 to 5240 out of 26561 (20%) after 346.2 sec
346.09/346.17	c [picomus] reduction 359 to 5239 out of 26561 (20%) after 346.2 sec
346.29/346.32	c [picomus] reduction 360 to 5238 out of 26561 (20%) after 346.3 sec
346.40/346.42	c [picomus] reduction 361 to 5237 out of 26561 (20%) after 346.4 sec
346.40/346.42	c [picomus] reduction 362 to 5236 out of 26561 (20%) after 346.4 sec
346.40/346.42	c [picomus] reduction 363 to 5235 out of 26561 (20%) after 346.4 sec
346.50/346.59	c [picomus] reduction 364 to 5234 out of 26561 (20%) after 346.6 sec
346.69/346.70	c [picomus] reduction 365 to 5233 out of 26561 (20%) after 346.7 sec
346.69/346.70	c [picomus] reduction 366 to 5232 out of 26561 (20%) after 346.7 sec
346.69/346.70	c [picomus] reduction 367 to 5231 out of 26561 (20%) after 346.7 sec
346.79/346.84	c [picomus] reduction 368 to 5230 out of 26561 (20%) after 346.8 sec
346.89/346.95	c [picomus] reduction 369 to 5229 out of 26561 (20%) after 347.0 sec
346.89/346.95	c [picomus] reduction 370 to 5228 out of 26561 (20%) after 347.0 sec
346.89/346.95	c [picomus] reduction 371 to 5227 out of 26561 (20%) after 347.0 sec
346.99/347.09	c [picomus] reduction 372 to 5226 out of 26561 (20%) after 347.1 sec
347.09/347.20	c [picomus] reduction 373 to 5225 out of 26561 (20%) after 347.2 sec
347.19/347.20	c [picomus] reduction 374 to 5224 out of 26561 (20%) after 347.2 sec
347.19/347.20	c [picomus] reduction 375 to 5223 out of 26561 (20%) after 347.2 sec
347.29/347.38	c [picomus] reduction 376 to 5222 out of 26561 (20%) after 347.4 sec
347.29/347.38	c [picomus] reduction 377 to 5221 out of 26561 (20%) after 347.4 sec
347.29/347.38	c [picomus] reduction 378 to 5220 out of 26561 (20%) after 347.4 sec
347.39/347.48	c [picomus] reduction 379 to 5219 out of 26561 (20%) after 347.5 sec
347.50/347.55	c [picomus] reduction 380 to 5218 out of 26561 (20%) after 347.6 sec
347.99/348.01	c [picomus] reduction 381 to 5217 out of 26561 (20%) after 348.0 sec
348.19/348.24	c [picomus] reduction 382 to 5216 out of 26561 (20%) after 348.2 sec
348.39/348.45	c [picomus] reduction 383 to 5215 out of 26561 (20%) after 348.5 sec
348.79/348.89	c [picomus] reduction 384 to 5214 out of 26561 (20%) after 348.9 sec
349.09/349.12	c [picomus] reduction 385 to 5213 out of 26561 (20%) after 349.1 sec
349.29/349.34	c [picomus] reduction 386 to 5212 out of 26561 (20%) after 349.3 sec
349.99/350.00	c [picomus] reduction 387 to 5211 out of 26561 (20%) after 350.0 sec
350.09/350.12	c [picomus] reduction 388 to 5207 out of 26561 (20%) after 350.1 sec
350.19/350.26	c [picomus] reduction 389 to 5206 out of 26561 (20%) after 350.3 sec
350.29/350.36	c [picomus] reduction 390 to 5205 out of 26561 (20%) after 350.4 sec
350.69/350.72	c [picomus] reduction 391 to 5204 out of 26561 (20%) after 350.7 sec
350.69/350.72	c [picomus] reduction 392 to 5203 out of 26561 (20%) after 350.7 sec
350.69/350.73	c [picomus] reduction 393 to 5202 out of 26561 (20%) after 350.7 sec
351.09/351.17	c [picomus] reduction 394 to 5201 out of 26561 (20%) after 351.2 sec
351.09/351.18	c [picomus] reduction 395 to 5200 out of 26561 (20%) after 351.2 sec
351.09/351.18	c [picomus] reduction 396 to 5199 out of 26561 (20%) after 351.2 sec
351.29/351.33	c [picomus] reduction 397 to 5198 out of 26561 (20%) after 351.3 sec
351.79/351.83	c [picomus] reduction 398 to 5196 out of 26561 (20%) after 351.8 sec
351.79/351.86	c [picomus] reduction 399 to 5195 out of 26561 (20%) after 351.9 sec
351.79/351.90	c [picomus] reduction 400 to 5194 out of 26561 (20%) after 351.9 sec
351.90/351.91	c [picomus] reduction 401 to 5193 out of 26561 (20%) after 351.9 sec
351.90/351.97	c [picomus] reduction 402 to 5190 out of 26561 (20%) after 352.0 sec
352.09/352.18	c [picomus] reduction 403 to 5189 out of 26561 (20%) after 352.2 sec
352.09/352.18	c [picomus] reduction 404 to 5188 out of 26561 (20%) after 352.2 sec
352.19/352.21	c [picomus] reduction 405 to 5187 out of 26561 (20%) after 352.2 sec
352.19/352.25	c [picomus] reduction 406 to 5186 out of 26561 (20%) after 352.3 sec
352.19/352.26	c [picomus] reduction 407 to 5185 out of 26561 (20%) after 352.3 sec
352.19/352.27	c [picomus] reduction 408 to 5184 out of 26561 (20%) after 352.3 sec
352.39/352.40	c [picomus] reduction 409 to 5182 out of 26561 (20%) after 352.4 sec
352.39/352.41	c [picomus] reduction 410 to 5180 out of 26561 (20%) after 352.4 sec
352.39/352.44	c [picosat] 5591 calls
352.39/352.44	c [picosat] 0 iterations
352.39/352.44	c [picosat] 626 restarts
352.39/352.44	c [picosat] 0 failed literals
352.39/352.44	c [picosat] 156628 conflicts
352.39/352.44	c [picosat] 130885472 decisions
352.39/352.44	c [picosat] 6391 fixed variables
352.39/352.44	c [picosat] 106996754 learned literals
352.39/352.44	c [picosat] 1.8% deleted literals
352.39/352.44	c [picosat] 148644128 propagations
352.39/352.44	c [picosat] 29.5% variables used
352.39/352.44	c [picosat] 70.3 seconds in library
352.39/352.44	c [picosat] 2.1 megaprops/second
352.39/352.44	c [picosat] probing 0.3 seconds 0%
352.39/352.44	c [picosat] 72 simplifications
352.39/352.44	c [picosat] 16 reductions
352.39/352.44	c [picosat] 408.9 MB recycled
352.39/352.44	c [picosat] 69.6 MB maximally allocated
352.39/352.44	c [picomus] found 21381 redundant clauses 80%
352.39/352.44	c [picomus] computed MUS of size 5180 out of 26561 (20%)
352.39/352.44	v 1
352.39/352.44	v 3
352.39/352.44	v 5
352.39/352.44	v 6
352.39/352.44	v 9
352.39/352.44	v 10
352.39/352.44	v 23
352.39/352.44	v 24
352.39/352.44	v 34
352.39/352.44	v 35
352.39/352.44	v 47
352.39/352.44	v 48
352.39/352.44	v 62
352.39/352.44	v 63
352.39/352.44	v 77
352.39/352.44	v 78
352.39/352.44	v 83
352.39/352.44	v 84
352.39/352.44	v 89
352.39/352.44	v 90
352.39/352.44	v 94
352.39/352.44	v 95
352.39/352.44	v 99
352.39/352.44	v 100
352.39/352.44	v 102
352.39/352.44	v 106
352.39/352.44	v 133
352.39/352.44	v 134
352.39/352.44	v 136
352.39/352.44	v 140
352.39/352.44	v 143
352.39/352.44	v 144
352.39/352.44	v 160
352.39/352.44	v 161
352.39/352.44	v 193
352.39/352.44	v 194
352.39/352.44	v 210
352.39/352.44	v 211
352.39/352.44	v 230
352.39/352.44	v 231
352.39/352.44	v 240
352.39/352.44	v 241
352.39/352.44	v 251
352.39/352.44	v 252
352.39/352.44	v 264
352.39/352.44	v 265
352.39/352.44	v 277
352.39/352.44	v 278
352.39/352.44	v 297
352.39/352.44	v 298
352.39/352.44	v 301
352.39/352.44	v 322
352.39/352.44	v 323
352.39/352.44	v 326
352.39/352.44	v 346
352.39/352.44	v 347
352.39/352.44	v 349
352.39/352.44	v 376
352.39/352.44	v 377
352.39/352.44	v 379
352.39/352.44	v 402
352.39/352.44	v 403
352.39/352.44	v 417
352.39/352.44	v 418
352.39/352.44	v 438
352.39/352.44	v 439
352.39/352.44	v 461
352.39/352.44	v 462
352.39/352.44	v 488
352.39/352.44	v 489
352.39/352.44	v 517
352.39/352.44	v 518
352.39/352.44	v 543
352.39/352.44	v 544
352.39/352.44	v 569
352.39/352.44	v 570
352.39/352.44	v 601
352.39/352.44	v 602
352.39/352.44	v 604
352.39/352.44	v 605
352.39/352.44	v 606
352.39/352.44	v 608
352.39/352.44	v 609
352.39/352.44	v 610
352.39/352.44	v 613
352.39/352.44	v 614
352.39/352.44	v 617
352.39/352.44	v 618
352.39/352.44	v 621
352.39/352.44	v 622
352.39/352.44	v 625
352.39/352.44	v 626
352.39/352.44	v 629
352.39/352.44	v 630
352.39/352.44	v 633
352.39/352.44	v 634
352.39/352.44	v 637
352.39/352.44	v 638
352.39/352.44	v 641
352.39/352.44	v 642
352.39/352.44	v 645
352.39/352.44	v 646
352.39/352.44	v 649
352.39/352.44	v 650
352.39/352.44	v 653
352.39/352.44	v 654
352.39/352.44	v 674
352.39/352.44	v 675
352.39/352.44	v 691
352.39/352.44	v 692
352.39/352.44	v 724
352.39/352.44	v 725
352.39/352.44	v 741
352.39/352.44	v 742
352.39/352.44	v 761
352.39/352.44	v 762
352.39/352.44	v 771
352.39/352.44	v 772
352.39/352.44	v 782
352.39/352.44	v 783
352.39/352.44	v 795
352.39/352.44	v 796
352.39/352.44	v 808
352.39/352.44	v 809
352.39/352.44	v 828
352.39/352.44	v 829
352.39/352.44	v 832
352.39/352.44	v 853
352.39/352.44	v 854
352.39/352.44	v 857
352.39/352.44	v 877
352.39/352.44	v 878
352.39/352.44	v 880
352.39/352.44	v 907
352.39/352.44	v 908
352.39/352.44	v 910
352.39/352.44	v 933
352.39/352.44	v 934
352.39/352.44	v 948
352.39/352.44	v 949
352.39/352.44	v 969
352.39/352.44	v 970
352.39/352.44	v 992
352.39/352.44	v 993
352.39/352.44	v 1019
352.39/352.44	v 1020
352.39/352.44	v 1048
352.39/352.44	v 1049
352.39/352.44	v 1074
352.39/352.44	v 1075
352.39/352.44	v 1100
352.39/352.44	v 1101
352.39/352.44	v 1132
352.39/352.44	v 1133
352.39/352.44	v 1135
352.39/352.44	v 1136
352.39/352.44	v 1137
352.39/352.44	v 1139
352.39/352.44	v 1140
352.39/352.44	v 1141
352.39/352.44	v 1144
352.39/352.44	v 1145
352.39/352.44	v 1148
352.39/352.44	v 1149
352.39/352.44	v 1152
352.39/352.44	v 1153
352.39/352.44	v 1156
352.39/352.44	v 1157
352.39/352.44	v 1160
352.39/352.44	v 1161
352.39/352.44	v 1164
352.39/352.44	v 1165
352.39/352.44	v 1168
352.39/352.44	v 1169
352.39/352.44	v 1172
352.39/352.44	v 1173
352.39/352.44	v 1176
352.39/352.44	v 1177
352.39/352.44	v 1180
352.39/352.44	v 1181
352.39/352.44	v 1184
352.39/352.44	v 1185
352.39/352.44	v 1224
352.39/352.44	v 1225
352.39/352.44	v 1226
352.39/352.44	v 1235
352.39/352.44	v 1236
352.39/352.44	v 1239
352.39/352.44	v 1240
352.39/352.44	v 1252
352.39/352.44	v 1253
352.39/352.44	v 1262
352.39/352.44	v 1263
352.39/352.44	v 1274
352.39/352.44	v 1275
352.39/352.44	v 1288
352.39/352.44	v 1289
352.39/352.44	v 1302
352.39/352.44	v 1303
352.39/352.44	v 1307
352.39/352.44	v 1308
352.39/352.44	v 1312
352.39/352.44	v 1313
352.39/352.44	v 1315
352.39/352.44	v 1317
352.39/352.44	v 1319
352.39/352.44	v 1341
352.39/352.44	v 1342
352.39/352.44	v 1344
352.39/352.44	v 1346
352.39/352.44	v 1348
352.39/352.44	v 1373
352.39/352.44	v 1374
352.39/352.44	v 1376
352.39/352.44	v 1380
352.39/352.44	v 1395
352.39/352.44	v 1396
352.39/352.44	v 1398
352.39/352.44	v 1402
352.39/352.44	v 1413
352.39/352.44	v 1414
352.39/352.44	v 1415
352.39/352.44	v 1455
352.39/352.44	v 1456
352.39/352.44	v 1461
352.39/352.44	v 1462
352.39/352.44	v 1506
352.39/352.44	v 1507
352.39/352.44	v 1521
352.39/352.44	v 1522
352.39/352.44	v 1539
352.39/352.44	v 1540
352.39/352.44	v 1548
352.39/352.44	v 1549
352.39/352.44	v 1558
352.39/352.44	v 1559
352.39/352.44	v 1569
352.39/352.44	v 1570
352.39/352.44	v 1580
352.39/352.44	v 1581
352.39/352.44	v 1598
352.39/352.44	v 1599
352.39/352.44	v 1607
352.39/352.44	v 1608
352.39/352.44	v 1614
352.39/352.44	v 1615
352.39/352.44	v 1627
352.39/352.44	v 1628
352.39/352.44	v 1646
352.39/352.44	v 1647
352.39/352.44	v 1667
352.39/352.44	v 1668
352.39/352.44	v 1692
352.39/352.44	v 1693
352.39/352.44	v 1719
352.39/352.44	v 1720
352.39/352.44	v 1743
352.39/352.44	v 1744
352.39/352.44	v 1767
352.39/352.44	v 1768
352.39/352.44	v 1797
352.39/352.44	v 1798
352.39/352.44	v 1829
352.39/352.44	v 1830
352.39/352.44	v 1874
352.39/352.44	v 1875
352.39/352.44	v 1889
352.39/352.44	v 1890
352.39/352.44	v 1907
352.39/352.44	v 1908
352.39/352.44	v 1916
352.39/352.44	v 1917
352.39/352.44	v 1926
352.39/352.44	v 1927
352.39/352.44	v 1937
352.39/352.44	v 1938
352.39/352.44	v 1948
352.39/352.44	v 1949
352.39/352.44	v 1966
352.39/352.44	v 1967
352.39/352.44	v 1975
352.39/352.44	v 1976
352.39/352.44	v 1982
352.39/352.44	v 1983
352.39/352.44	v 1995
352.39/352.44	v 1996
352.39/352.44	v 2014
352.39/352.44	v 2015
352.39/352.44	v 2035
352.39/352.44	v 2036
352.39/352.44	v 2060
352.39/352.44	v 2061
352.39/352.44	v 2087
352.39/352.44	v 2088
352.39/352.44	v 2111
352.39/352.44	v 2112
352.39/352.44	v 2135
352.39/352.44	v 2136
352.39/352.44	v 2165
352.39/352.44	v 2166
352.39/352.44	v 2198
352.39/352.44	v 2199
352.39/352.44	v 2200
352.39/352.44	v 2214
352.39/352.44	v 2215
352.39/352.44	v 2230
352.39/352.44	v 2231
352.39/352.44	v 2250
352.39/352.44	v 2251
352.39/352.44	v 2266
352.39/352.44	v 2267
352.39/352.44	v 2285
352.39/352.44	v 2286
352.39/352.44	v 2294
352.39/352.44	v 2295
352.39/352.44	v 2304
352.39/352.44	v 2305
352.39/352.44	v 2316
352.39/352.44	v 2317
352.39/352.44	v 2328
352.39/352.44	v 2329
352.39/352.44	v 2347
352.39/352.44	v 2348
352.39/352.44	v 2350
352.39/352.44	v 2352
352.39/352.44	v 2354
352.39/352.44	v 2356
352.39/352.44	v 2358
352.39/352.44	v 2360
352.39/352.44	v 2362
352.39/352.44	v 2371
352.39/352.44	v 2372
352.39/352.44	v 2374
352.39/352.44	v 2376
352.39/352.44	v 2378
352.39/352.44	v 2380
352.39/352.44	v 2382
352.39/352.44	v 2384
352.39/352.44	v 2386
352.39/352.44	v 2394
352.39/352.44	v 2395
352.39/352.44	v 2397
352.39/352.44	v 2420
352.39/352.44	v 2421
352.39/352.44	v 2423
352.39/352.44	v 2442
352.39/352.44	v 2443
352.39/352.44	v 2456
352.39/352.44	v 2457
352.39/352.44	v 2476
352.39/352.44	v 2477
352.39/352.44	v 2498
352.39/352.44	v 2499
352.39/352.44	v 2524
352.39/352.44	v 2525
352.39/352.44	v 2552
352.39/352.44	v 2553
352.39/352.44	v 2577
352.39/352.44	v 2578
352.39/352.44	v 2602
352.39/352.44	v 2603
352.39/352.44	v 2633
352.39/352.44	v 2634
352.39/352.44	v 2636
352.39/352.44	v 2637
352.39/352.44	v 2638
352.39/352.44	v 2640
352.39/352.44	v 2641
352.39/352.44	v 2642
352.39/352.44	v 2644
352.39/352.44	v 2645
352.39/352.44	v 2646
352.39/352.44	v 2649
352.39/352.44	v 2650
352.39/352.44	v 2653
352.39/352.44	v 2654
352.39/352.44	v 2657
352.39/352.44	v 2658
352.39/352.44	v 2661
352.39/352.44	v 2662
352.39/352.44	v 2665
352.39/352.44	v 2666
352.39/352.44	v 2669
352.39/352.44	v 2670
352.39/352.44	v 2673
352.39/352.44	v 2674
352.39/352.44	v 2677
352.39/352.44	v 2678
352.39/352.44	v 2681
352.39/352.44	v 2682
352.39/352.44	v 2702
352.39/352.44	v 2703
352.39/352.44	v 2718
352.39/352.44	v 2719
352.39/352.44	v 2738
352.39/352.44	v 2739
352.39/352.44	v 2754
352.39/352.44	v 2755
352.39/352.44	v 2773
352.39/352.44	v 2774
352.39/352.44	v 2782
352.39/352.44	v 2783
352.39/352.44	v 2792
352.39/352.44	v 2793
352.39/352.44	v 2804
352.39/352.44	v 2805
352.39/352.44	v 2816
352.39/352.44	v 2817
352.39/352.44	v 2835
352.39/352.44	v 2836
352.39/352.44	v 2838
352.39/352.44	v 2840
352.39/352.44	v 2842
352.39/352.44	v 2844
352.39/352.44	v 2846
352.39/352.44	v 2848
352.39/352.44	v 2850
352.39/352.44	v 2859
352.39/352.44	v 2860
352.39/352.44	v 2862
352.39/352.44	v 2864
352.39/352.44	v 2866
352.39/352.44	v 2868
352.39/352.44	v 2870
352.39/352.44	v 2872
352.39/352.44	v 2874
352.39/352.44	v 2882
352.39/352.44	v 2883
352.39/352.44	v 2885
352.39/352.44	v 2908
352.39/352.44	v 2909
352.39/352.44	v 2911
352.39/352.44	v 2930
352.39/352.44	v 2931
352.39/352.44	v 2944
352.39/352.44	v 2945
352.39/352.44	v 2964
352.39/352.44	v 2965
352.39/352.44	v 2986
352.39/352.44	v 2987
352.39/352.44	v 3012
352.39/352.44	v 3013
352.39/352.44	v 3040
352.39/352.44	v 3041
352.39/352.44	v 3065
352.39/352.44	v 3066
352.39/352.44	v 3090
352.39/352.44	v 3091
352.39/352.44	v 3121
352.39/352.44	v 3122
352.39/352.44	v 3124
352.39/352.44	v 3125
352.39/352.44	v 3126
352.39/352.44	v 3128
352.39/352.44	v 3129
352.39/352.44	v 3130
352.39/352.44	v 3132
352.39/352.44	v 3133
352.39/352.44	v 3134
352.39/352.44	v 3137
352.39/352.44	v 3138
352.39/352.44	v 3141
352.39/352.44	v 3142
352.39/352.44	v 3145
352.39/352.44	v 3146
352.39/352.44	v 3149
352.39/352.44	v 3150
352.39/352.44	v 3153
352.39/352.44	v 3154
352.39/352.44	v 3157
352.39/352.44	v 3158
352.39/352.44	v 3161
352.39/352.44	v 3162
352.39/352.44	v 3165
352.39/352.44	v 3166
352.39/352.44	v 3169
352.39/352.44	v 3170
352.39/352.44	v 3200
352.39/352.44	v 3201
352.39/352.44	v 3202
352.39/352.44	v 3211
352.39/352.44	v 3212
352.39/352.44	v 3215
352.39/352.44	v 3216
352.39/352.44	v 3227
352.39/352.44	v 3228
352.39/352.44	v 3236
352.39/352.44	v 3237
352.39/352.44	v 3247
352.39/352.44	v 3248
352.39/352.44	v 3260
352.39/352.44	v 3261
352.39/352.44	v 3273
352.39/352.44	v 3274
352.39/352.44	v 3276
352.39/352.44	v 3278
352.39/352.44	v 3280
352.39/352.44	v 3302
352.39/352.44	v 3303
352.39/352.44	v 3305
352.39/352.44	v 3307
352.39/352.44	v 3309
352.39/352.44	v 3334
352.39/352.44	v 3335
352.39/352.44	v 3337
352.39/352.44	v 3339
352.39/352.44	v 3341
352.39/352.44	v 3351
352.39/352.44	v 3352
352.39/352.44	v 3354
352.39/352.44	v 3356
352.39/352.44	v 3358
352.39/352.44	v 3367
352.39/352.44	v 3368
352.39/352.44	v 3370
352.39/352.44	v 3390
352.39/352.44	v 3403
352.39/352.44	v 3404
352.39/352.44	v 3406
352.39/352.44	v 3424
352.39/352.44	v 3434
352.39/352.44	v 3436
352.39/352.44	v 3437
352.39/352.44	v 3444
352.39/352.44	v 3479
352.39/352.44	v 3480
352.39/352.44	v 3491
352.39/352.44	v 3492
352.39/352.44	v 3493
352.39/352.44	v 3536
352.39/352.44	v 3537
352.39/352.44	v 3542
352.39/352.44	v 3543
352.39/352.44	v 3585
352.39/352.44	v 3586
352.39/352.44	v 3598
352.39/352.44	v 3599
352.39/352.44	v 3614
352.39/352.44	v 3615
352.39/352.44	v 3627
352.39/352.44	v 3628
352.39/352.44	v 3640
352.39/352.44	v 3641
352.39/352.44	v 3653
352.39/352.44	v 3654
352.39/352.44	v 3666
352.39/352.44	v 3667
352.39/352.44	v 3682
352.39/352.44	v 3683
352.39/352.44	v 3693
352.39/352.44	v 3694
352.39/352.44	v 3710
352.39/352.44	v 3711
352.39/352.44	v 3729
352.39/352.44	v 3730
352.39/352.44	v 3752
352.39/352.44	v 3753
352.39/352.44	v 3777
352.39/352.44	v 3778
352.39/352.44	v 3799
352.39/352.44	v 3800
352.39/352.44	v 3821
352.39/352.44	v 3822
352.39/352.44	v 3849
352.39/352.44	v 3850
352.39/352.44	v 3879
352.39/352.44	v 3880
352.39/352.44	v 3922
352.39/352.44	v 3923
352.39/352.44	v 3935
352.39/352.44	v 3936
352.39/352.44	v 3951
352.39/352.44	v 3952
352.39/352.44	v 3964
352.39/352.44	v 3965
352.39/352.44	v 3977
352.39/352.44	v 3978
352.39/352.44	v 3990
352.39/352.44	v 3991
352.39/352.44	v 4003
352.39/352.44	v 4004
352.39/352.44	v 4019
352.39/352.44	v 4020
352.39/352.44	v 4030
352.39/352.44	v 4031
352.39/352.44	v 4047
352.39/352.44	v 4048
352.39/352.44	v 4066
352.39/352.44	v 4067
352.39/352.44	v 4089
352.39/352.44	v 4090
352.39/352.44	v 4114
352.39/352.44	v 4115
352.39/352.44	v 4136
352.39/352.44	v 4137
352.39/352.44	v 4158
352.39/352.44	v 4159
352.39/352.44	v 4186
352.39/352.44	v 4187
352.39/352.44	v 4216
352.39/352.44	v 4218
352.39/352.44	v 4219
352.39/352.44	v 4226
352.39/352.44	v 4235
352.39/352.44	v 4236
352.39/352.44	v 4266
352.39/352.44	v 4267
352.39/352.44	v 4280
352.39/352.44	v 4281
352.39/352.44	v 4297
352.39/352.44	v 4298
352.39/352.44	v 4305
352.39/352.44	v 4306
352.39/352.44	v 4314
352.39/352.44	v 4315
352.39/352.44	v 4324
352.39/352.44	v 4325
352.39/352.44	v 4334
352.39/352.44	v 4335
352.39/352.44	v 4351
352.39/352.44	v 4352
352.39/352.44	v 4360
352.39/352.44	v 4361
352.39/352.44	v 4367
352.39/352.44	v 4368
352.39/352.44	v 4379
352.39/352.44	v 4380
352.39/352.44	v 4397
352.39/352.44	v 4398
352.39/352.44	v 4417
352.39/352.44	v 4418
352.39/352.44	v 4441
352.39/352.44	v 4442
352.39/352.44	v 4467
352.39/352.44	v 4468
352.39/352.44	v 4490
352.39/352.44	v 4491
352.39/352.44	v 4513
352.39/352.44	v 4514
352.39/352.44	v 4542
352.39/352.44	v 4543
352.39/352.44	v 4573
352.39/352.44	v 4574
352.39/352.44	v 4604
352.39/352.44	v 4605
352.39/352.44	v 4618
352.39/352.44	v 4619
352.39/352.44	v 4635
352.39/352.44	v 4636
352.39/352.44	v 4643
352.39/352.44	v 4644
352.39/352.44	v 4652
352.39/352.44	v 4653
352.39/352.44	v 4662
352.39/352.44	v 4663
352.39/352.44	v 4672
352.39/352.44	v 4673
352.39/352.44	v 4689
352.39/352.44	v 4690
352.39/352.44	v 4698
352.39/352.44	v 4699
352.39/352.44	v 4705
352.39/352.44	v 4706
352.39/352.44	v 4717
352.39/352.44	v 4718
352.39/352.44	v 4735
352.39/352.44	v 4736
352.39/352.44	v 4755
352.39/352.44	v 4756
352.39/352.44	v 4779
352.39/352.44	v 4780
352.39/352.44	v 4805
352.39/352.44	v 4806
352.39/352.44	v 4828
352.39/352.44	v 4829
352.39/352.44	v 4851
352.39/352.44	v 4852
352.39/352.44	v 4880
352.39/352.44	v 4881
352.39/352.44	v 4909
352.39/352.44	v 4910
352.39/352.44	v 4911
352.39/352.44	v 4915
352.39/352.44	v 4916
352.39/352.44	v 4930
352.39/352.44	v 4931
352.39/352.44	v 4947
352.39/352.44	v 4948
352.39/352.44	v 4962
352.39/352.44	v 4963
352.39/352.44	v 4980
352.39/352.44	v 4981
352.39/352.44	v 4988
352.39/352.44	v 4989
352.39/352.44	v 4997
352.39/352.44	v 4998
352.39/352.44	v 5008
352.39/352.44	v 5009
352.39/352.44	v 5019
352.39/352.44	v 5020
352.39/352.44	v 5037
352.39/352.44	v 5038
352.39/352.44	v 5040
352.39/352.44	v 5042
352.39/352.44	v 5044
352.39/352.44	v 5046
352.39/352.44	v 5048
352.39/352.44	v 5057
352.39/352.44	v 5058
352.39/352.44	v 5060
352.39/352.44	v 5062
352.39/352.44	v 5064
352.39/352.44	v 5066
352.39/352.44	v 5068
352.39/352.44	v 5076
352.39/352.44	v 5077
352.39/352.44	v 5079
352.39/352.44	v 5081
352.39/352.44	v 5083
352.39/352.44	v 5098
352.39/352.44	v 5099
352.39/352.44	v 5101
352.39/352.44	v 5103
352.39/352.44	v 5105
352.39/352.44	v 5116
352.39/352.44	v 5117
352.39/352.44	v 5129
352.39/352.44	v 5130
352.39/352.44	v 5148
352.39/352.44	v 5149
352.39/352.44	v 5169
352.39/352.44	v 5170
352.39/352.44	v 5194
352.39/352.44	v 5195
352.39/352.44	v 5221
352.39/352.44	v 5222
352.39/352.44	v 5245
352.39/352.44	v 5246
352.39/352.44	v 5269
352.39/352.44	v 5270
352.39/352.44	v 5299
352.39/352.44	v 5300
352.39/352.44	v 5302
352.39/352.44	v 5303
352.39/352.44	v 5304
352.39/352.44	v 5306
352.39/352.44	v 5307
352.39/352.44	v 5308
352.39/352.44	v 5311
352.39/352.44	v 5312
352.39/352.44	v 5315
352.39/352.44	v 5316
352.39/352.44	v 5319
352.39/352.44	v 5320
352.39/352.44	v 5323
352.39/352.44	v 5324
352.39/352.44	v 5327
352.39/352.44	v 5328
352.39/352.44	v 5331
352.39/352.44	v 5332
352.39/352.44	v 5335
352.39/352.44	v 5336
352.39/352.44	v 5339
352.39/352.44	v 5340
352.39/352.44	v 5343
352.39/352.44	v 5344
352.39/352.44	v 5364
352.39/352.44	v 5365
352.39/352.44	v 5379
352.39/352.44	v 5380
352.39/352.44	v 5396
352.39/352.44	v 5397
352.39/352.44	v 5411
352.39/352.44	v 5412
352.39/352.44	v 5429
352.39/352.44	v 5430
352.39/352.44	v 5437
352.39/352.44	v 5438
352.39/352.44	v 5446
352.39/352.44	v 5447
352.39/352.44	v 5457
352.39/352.44	v 5458
352.39/352.44	v 5468
352.39/352.44	v 5469
352.39/352.44	v 5486
352.39/352.44	v 5487
352.39/352.44	v 5489
352.39/352.44	v 5491
352.39/352.44	v 5493
352.39/352.44	v 5495
352.39/352.44	v 5497
352.39/352.44	v 5506
352.39/352.44	v 5507
352.39/352.44	v 5509
352.39/352.44	v 5511
352.39/352.44	v 5513
352.39/352.44	v 5515
352.39/352.44	v 5517
352.39/352.44	v 5525
352.39/352.44	v 5526
352.39/352.44	v 5528
352.39/352.44	v 5530
352.39/352.44	v 5532
352.39/352.44	v 5547
352.39/352.44	v 5548
352.39/352.44	v 5550
352.39/352.44	v 5552
352.39/352.44	v 5554
352.39/352.44	v 5565
352.39/352.44	v 5566
352.39/352.44	v 5578
352.39/352.44	v 5579
352.39/352.44	v 5597
352.39/352.44	v 5598
352.39/352.44	v 5618
352.39/352.44	v 5619
352.39/352.44	v 5643
352.39/352.44	v 5644
352.39/352.44	v 5670
352.39/352.44	v 5671
352.39/352.44	v 5694
352.39/352.44	v 5695
352.39/352.44	v 5718
352.39/352.44	v 5719
352.39/352.44	v 5748
352.39/352.44	v 5749
352.39/352.44	v 5751
352.39/352.44	v 5752
352.39/352.44	v 5753
352.39/352.44	v 5755
352.39/352.44	v 5756
352.39/352.44	v 5757
352.39/352.44	v 5760
352.39/352.44	v 5761
352.39/352.44	v 5764
352.39/352.44	v 5765
352.39/352.44	v 5768
352.39/352.44	v 5769
352.39/352.44	v 5772
352.39/352.44	v 5773
352.39/352.44	v 5776
352.39/352.44	v 5777
352.39/352.44	v 5780
352.39/352.44	v 5781
352.39/352.44	v 5784
352.39/352.44	v 5785
352.39/352.44	v 5788
352.39/352.44	v 5789
352.39/352.44	v 5792
352.39/352.44	v 5793
352.39/352.44	v 5817
352.39/352.44	v 5818
352.39/352.44	v 5819
352.39/352.44	v 5827
352.39/352.44	v 5828
352.39/352.44	v 5829
352.39/352.44	v 5830
352.39/352.44	v 5831
352.39/352.44	v 5832
352.39/352.44	v 5834
352.39/352.44	v 5835
352.39/352.44	v 5838
352.39/352.44	v 5839
352.39/352.44	v 5844
352.39/352.44	v 5845
352.39/352.44	v 5853
352.39/352.44	v 5855
352.39/352.44	v 5856
352.39/352.44	v 5857
352.39/352.44	v 5861
352.39/352.44	v 5863
352.39/352.44	v 5865
352.39/352.44	v 5867
352.39/352.44	v 5869
352.39/352.44	v 5871
352.39/352.44	v 5873
352.39/352.44	v 5887
352.39/352.44	v 5888
352.39/352.44	v 5894
352.39/352.44	v 5896
352.39/352.44	v 5898
352.39/352.44	v 5900
352.39/352.44	v 5902
352.39/352.44	v 5913
352.39/352.44	v 5914
352.39/352.44	v 5922
352.39/352.44	v 5924
352.39/352.44	v 5926
352.39/352.44	v 5936
352.39/352.44	v 5937
352.39/352.44	v 5945
352.39/352.44	v 5947
352.39/352.44	v 5949
352.39/352.44	v 5951
352.39/352.44	v 5952
352.39/352.44	v 5958
352.39/352.44	v 5962
352.39/352.44	v 5966
352.39/352.44	v 5972
352.39/352.44	v 5973
352.39/352.44	v 5974
352.39/352.44	v 5978
352.39/352.44	v 5979
352.39/352.44	v 5981
352.39/352.44	v 5983
352.39/352.44	v 5985
352.39/352.44	v 5987
352.39/352.44	v 5989
352.39/352.44	v 5997
352.39/352.44	v 6016
352.39/352.44	v 6020
352.39/352.44	v 6022
352.39/352.44	v 6035
352.39/352.44	v 6036
352.39/352.44	v 6038
352.39/352.44	v 6040
352.39/352.44	v 6042
352.39/352.44	v 6044
352.39/352.44	v 6046
352.39/352.44	v 6053
352.39/352.44	v 6054
352.39/352.44	v 6055
352.39/352.44	v 6056
352.39/352.44	v 6073
352.39/352.44	v 6077
352.39/352.44	v 6079
352.39/352.44	v 6081
352.39/352.44	v 6082
352.39/352.44	v 6083
352.39/352.44	v 6084
352.39/352.44	v 6087
352.39/352.44	v 6089
352.39/352.44	v 6090
352.39/352.44	v 6097
352.39/352.44	v 6102
352.39/352.44	v 6103
352.39/352.44	v 6104
352.39/352.44	v 6105
352.39/352.44	v 6106
352.39/352.44	v 6107
352.39/352.44	v 6108
352.39/352.44	v 6109
352.39/352.44	v 6112
352.39/352.44	v 6113
352.39/352.44	v 6114
352.39/352.44	v 6117
352.39/352.44	v 6120
352.39/352.44	v 6122
352.39/352.44	v 6129
352.39/352.44	v 6130
352.39/352.44	v 6131
352.39/352.44	v 6136
352.39/352.44	v 6137
352.39/352.44	v 6139
352.39/352.44	v 6141
352.39/352.44	v 6143
352.39/352.44	v 6152
352.39/352.44	v 6163
352.39/352.44	v 6165
352.39/352.44	v 6179
352.39/352.44	v 6180
352.39/352.44	v 6182
352.39/352.44	v 6184
352.39/352.44	v 6186
352.39/352.44	v 6193
352.39/352.44	v 6199
352.39/352.44	v 6200
352.39/352.44	v 6201
352.39/352.44	v 6205
352.39/352.44	v 6207
352.39/352.44	v 6209
352.39/352.44	v 6210
352.39/352.44	v 6211
352.39/352.44	v 6212
352.39/352.44	v 6215
352.39/352.44	v 6217
352.39/352.44	v 6218
352.39/352.44	v 6225
352.39/352.44	v 6230
352.39/352.44	v 6231
352.39/352.44	v 6232
352.39/352.44	v 6236
352.39/352.44	v 6237
352.39/352.44	v 6238
352.39/352.44	v 6239
352.39/352.44	v 6240
352.39/352.44	v 6241
352.39/352.44	v 6242
352.39/352.44	v 6243
352.39/352.44	v 6245
352.39/352.44	v 6254
352.39/352.44	v 6255
352.39/352.44	v 6256
352.39/352.44	v 6257
352.39/352.44	v 6258
352.39/352.44	v 6280
352.39/352.44	v 6281
352.39/352.44	v 6286
352.39/352.44	v 6287
352.39/352.44	v 6303
352.39/352.44	v 6304
352.39/352.44	v 6324
352.39/352.44	v 6329
352.39/352.44	v 6337
352.39/352.44	v 6338
352.39/352.44	v 6366
352.39/352.44	v 6367
352.39/352.44	v 6378
352.39/352.44	v 6381
352.39/352.44	v 6382
352.39/352.44	v 6427
352.39/352.44	v 6428
352.39/352.44	v 6431
352.39/352.44	v 6432
352.39/352.44	v 6433
352.39/352.44	v 6434
352.39/352.44	v 6435
352.39/352.44	v 6436
352.39/352.44	v 6438
352.39/352.44	v 6439
352.39/352.44	v 6440
352.39/352.44	v 6441
352.39/352.44	v 6442
352.39/352.44	v 6443
352.39/352.44	v 6446
352.39/352.44	v 6449
352.39/352.44	v 6450
352.39/352.44	v 6451
352.39/352.44	v 6452
352.39/352.44	v 6455
352.39/352.44	v 6462
352.39/352.44	v 6463
352.39/352.44	v 6464
352.39/352.44	v 6465
352.39/352.44	v 6466
352.39/352.44	v 6467
352.39/352.44	v 6468
352.39/352.44	v 6469
352.39/352.44	v 6470
352.39/352.44	v 6471
352.39/352.44	v 6474
352.39/352.44	v 6477
352.39/352.44	v 6478
352.39/352.44	v 6479
352.39/352.44	v 6480
352.39/352.44	v 6483
352.39/352.44	v 6487
352.39/352.44	v 6488
352.39/352.44	v 6489
352.39/352.44	v 6490
352.39/352.44	v 6493
352.39/352.44	v 6499
352.39/352.44	v 6500
352.39/352.44	v 6501
352.39/352.44	v 6502
352.39/352.44	v 6505
352.39/352.44	v 6512
352.39/352.44	v 6513
352.39/352.44	v 6514
352.39/352.44	v 6515
352.39/352.44	v 6518
352.39/352.44	v 6524
352.39/352.44	v 6525
352.39/352.44	v 6526
352.39/352.44	v 6527
352.39/352.44	v 6530
352.39/352.44	v 6536
352.39/352.44	v 6537
352.39/352.44	v 6538
352.39/352.44	v 6539
352.39/352.44	v 6542
352.39/352.44	v 6551
352.39/352.44	v 6552
352.39/352.44	v 6553
352.39/352.44	v 6554
352.39/352.44	v 6557
352.39/352.44	v 6566
352.39/352.44	v 6567
352.39/352.44	v 6568
352.39/352.44	v 6569
352.39/352.44	v 6570
352.39/352.44	v 6571
352.39/352.44	v 6573
352.39/352.44	v 6574
352.39/352.44	v 6575
352.39/352.44	v 6576
352.39/352.44	v 6577
352.39/352.44	v 6578
352.39/352.44	v 6579
352.39/352.44	v 6584
352.39/352.44	v 6585
352.39/352.44	v 6586
352.39/352.44	v 6587
352.39/352.44	v 6590
352.39/352.44	v 6597
352.39/352.44	v 6598
352.39/352.44	v 6599
352.39/352.44	v 6600
352.39/352.44	v 6601
352.39/352.44	v 6602
352.39/352.44	v 6603
352.39/352.44	v 6604
352.39/352.44	v 6605
352.39/352.44	v 6606
352.39/352.44	v 6609
352.39/352.44	v 6612
352.39/352.44	v 6613
352.39/352.44	v 6614
352.39/352.44	v 6615
352.39/352.44	v 6618
352.39/352.44	v 6622
352.39/352.44	v 6623
352.39/352.44	v 6624
352.39/352.44	v 6625
352.39/352.44	v 6628
352.39/352.44	v 6634
352.39/352.44	v 6635
352.39/352.44	v 6636
352.39/352.44	v 6637
352.39/352.44	v 6640
352.39/352.44	v 6647
352.39/352.44	v 6648
352.39/352.44	v 6649
352.39/352.44	v 6650
352.39/352.44	v 6653
352.39/352.44	v 6659
352.39/352.44	v 6660
352.39/352.44	v 6661
352.39/352.44	v 6662
352.39/352.44	v 6665
352.39/352.44	v 6671
352.39/352.44	v 6672
352.39/352.44	v 6673
352.39/352.44	v 6674
352.39/352.44	v 6677
352.39/352.44	v 6686
352.39/352.44	v 6687
352.39/352.44	v 6688
352.39/352.44	v 6689
352.39/352.44	v 6692
352.39/352.44	v 6705
352.39/352.44	v 6706
352.39/352.44	v 6717
352.39/352.44	v 6718
352.39/352.44	v 6732
352.39/352.44	v 6733
352.39/352.44	v 6744
352.39/352.44	v 6745
352.39/352.44	v 6756
352.39/352.44	v 6757
352.39/352.44	v 6768
352.39/352.44	v 6769
352.39/352.44	v 6783
352.39/352.44	v 6784
352.39/352.44	v 6819
352.39/352.44	v 6820
352.39/352.44	v 6829
352.39/352.44	v 6830
352.39/352.44	v 6845
352.39/352.44	v 6846
352.39/352.44	v 6863
352.39/352.44	v 6864
352.39/352.44	v 6885
352.39/352.44	v 6886
352.39/352.44	v 6909
352.39/352.44	v 6910
352.39/352.44	v 6930
352.39/352.44	v 6931
352.39/352.44	v 6951
352.39/352.44	v 6952
352.39/352.44	v 6978
352.39/352.44	v 6979
352.39/352.44	v 7007
352.39/352.44	v 7008
352.39/352.44	v 7019
352.39/352.44	v 7020
352.39/352.44	v 7034
352.39/352.44	v 7035
352.39/352.44	v 7046
352.39/352.44	v 7047
352.39/352.44	v 7058
352.39/352.44	v 7059
352.39/352.44	v 7070
352.39/352.44	v 7071
352.39/352.44	v 7085
352.39/352.44	v 7086
352.39/352.44	v 7121
352.39/352.44	v 7122
352.39/352.44	v 7131
352.39/352.44	v 7132
352.39/352.44	v 7147
352.39/352.44	v 7148
352.39/352.44	v 7165
352.39/352.44	v 7166
352.39/352.44	v 7187
352.39/352.44	v 7188
352.39/352.44	v 7211
352.39/352.44	v 7212
352.39/352.44	v 7232
352.39/352.44	v 7233
352.39/352.44	v 7253
352.39/352.44	v 7254
352.39/352.44	v 7280
352.39/352.44	v 7281
352.39/352.44	v 7309
352.39/352.44	v 7314
352.39/352.44	v 7322
352.39/352.44	v 7323
352.39/352.44	v 7335
352.39/352.44	v 7336
352.39/352.44	v 7351
352.39/352.44	v 7352
352.39/352.44	v 7359
352.39/352.44	v 7360
352.39/352.44	v 7368
352.39/352.44	v 7369
352.39/352.44	v 7377
352.39/352.44	v 7378
352.39/352.44	v 7393
352.39/352.44	v 7394
352.39/352.44	v 7402
352.39/352.44	v 7403
352.39/352.44	v 7409
352.39/352.44	v 7410
352.39/352.44	v 7437
352.39/352.44	v 7438
352.39/352.44	v 7448
352.39/352.44	v 7449
352.39/352.44	v 7465
352.39/352.44	v 7466
352.39/352.44	v 7484
352.39/352.44	v 7485
352.39/352.44	v 7507
352.39/352.44	v 7508
352.39/352.44	v 7532
352.39/352.44	v 7533
352.39/352.44	v 7554
352.39/352.44	v 7555
352.39/352.44	v 7576
352.39/352.44	v 7577
352.39/352.44	v 7604
352.39/352.44	v 7605
352.39/352.44	v 7634
352.39/352.44	v 7635
352.39/352.44	v 7647
352.39/352.44	v 7648
352.39/352.44	v 7663
352.39/352.44	v 7664
352.39/352.44	v 7671
352.39/352.44	v 7672
352.39/352.44	v 7680
352.39/352.44	v 7681
352.39/352.44	v 7689
352.39/352.44	v 7690
352.39/352.44	v 7705
352.39/352.44	v 7706
352.39/352.44	v 7714
352.39/352.44	v 7715
352.39/352.44	v 7721
352.39/352.44	v 7722
352.39/352.44	v 7749
352.39/352.44	v 7750
352.39/352.44	v 7760
352.39/352.44	v 7761
352.39/352.44	v 7777
352.39/352.44	v 7778
352.39/352.44	v 7796
352.39/352.44	v 7797
352.39/352.44	v 7819
352.39/352.44	v 7820
352.39/352.44	v 7844
352.39/352.44	v 7845
352.39/352.44	v 7866
352.39/352.44	v 7867
352.39/352.44	v 7888
352.39/352.44	v 7889
352.39/352.44	v 7916
352.39/352.44	v 7917
352.39/352.44	v 7945
352.39/352.44	v 7948
352.39/352.44	v 7949
352.39/352.44	v 7979
352.39/352.44	v 7980
352.39/352.44	v 7987
352.39/352.44	v 7988
352.39/352.44	v 7997
352.39/352.44	v 7998
352.39/352.44	v 8007
352.39/352.44	v 8008
352.39/352.44	v 8024
352.39/352.44	v 8025
352.39/352.44	v 8027
352.39/352.44	v 8029
352.39/352.44	v 8031
352.39/352.44	v 8040
352.39/352.44	v 8041
352.39/352.44	v 8043
352.39/352.44	v 8045
352.39/352.44	v 8047
352.39/352.44	v 8055
352.39/352.44	v 8056
352.39/352.44	v 8071
352.39/352.44	v 8072
352.39/352.44	v 8083
352.39/352.44	v 8084
352.39/352.44	v 8117
352.39/352.44	v 8118
352.39/352.44	v 8129
352.39/352.44	v 8130
352.39/352.44	v 8147
352.39/352.44	v 8148
352.39/352.44	v 8167
352.39/352.44	v 8168
352.39/352.44	v 8191
352.39/352.44	v 8192
352.39/352.44	v 8217
352.39/352.44	v 8218
352.39/352.44	v 8240
352.39/352.44	v 8241
352.39/352.44	v 8263
352.39/352.44	v 8264
352.39/352.44	v 8292
352.39/352.44	v 8293
352.39/352.44	v 8295
352.39/352.44	v 8296
352.39/352.44	v 8297
352.39/352.44	v 8299
352.39/352.44	v 8300
352.39/352.44	v 8301
352.39/352.44	v 8329
352.39/352.44	v 8330
352.39/352.44	v 8360
352.39/352.44	v 8361
352.39/352.44	v 8368
352.39/352.44	v 8369
352.39/352.44	v 8378
352.39/352.44	v 8379
352.39/352.44	v 8388
352.39/352.44	v 8389
352.39/352.44	v 8405
352.39/352.44	v 8406
352.39/352.44	v 8408
352.39/352.44	v 8410
352.39/352.44	v 8412
352.39/352.44	v 8420
352.39/352.44	v 8429
352.39/352.44	v 8430
352.39/352.44	v 8432
352.39/352.44	v 8434
352.39/352.44	v 8436
352.39/352.44	v 8443
352.39/352.44	v 8450
352.39/352.44	v 8451
352.39/352.44	v 8466
352.39/352.44	v 8467
352.39/352.44	v 8472
352.39/352.44	v 8473
352.39/352.44	v 8482
352.39/352.44	v 8483
352.39/352.44	v 8493
352.39/352.44	v 8498
352.39/352.44	v 8499
352.39/352.44	v 8519
352.39/352.44	v 8520
352.39/352.44	v 8523
352.39/352.44	v 8524
352.39/352.44	v 8525
352.39/352.44	v 8526
352.39/352.44	v 8527
352.39/352.44	v 8529
352.39/352.44	v 8530
352.39/352.44	v 8531
352.39/352.44	v 8532
352.39/352.44	v 8533
352.39/352.44	v 8536
352.39/352.44	v 8539
352.39/352.44	v 8540
352.39/352.44	v 8541
352.39/352.44	v 8544
352.39/352.44	v 8551
352.39/352.44	v 8552
352.39/352.44	v 8553
352.39/352.44	v 8554
352.39/352.44	v 8555
352.39/352.44	v 8556
352.39/352.44	v 8557
352.39/352.44	v 8558
352.39/352.44	v 8561
352.39/352.44	v 8564
352.39/352.44	v 8565
352.39/352.44	v 8566
352.39/352.44	v 8569
352.39/352.44	v 8573
352.39/352.44	v 8574
352.39/352.44	v 8575
352.39/352.44	v 8578
352.39/352.44	v 8584
352.39/352.44	v 8585
352.39/352.44	v 8586
352.39/352.44	v 8589
352.39/352.44	v 8596
352.39/352.44	v 8597
352.39/352.44	v 8598
352.39/352.44	v 8601
352.39/352.44	v 8607
352.39/352.44	v 8608
352.39/352.44	v 8609
352.39/352.44	v 8612
352.39/352.44	v 8618
352.39/352.44	v 8619
352.39/352.44	v 8620
352.39/352.44	v 8623
352.39/352.44	v 8632
352.39/352.44	v 8633
352.39/352.44	v 8634
352.39/352.44	v 8637
352.39/352.44	v 8646
352.39/352.44	v 8647
352.39/352.44	v 8648
352.39/352.44	v 8649
352.39/352.44	v 8650
352.39/352.44	v 8652
352.39/352.44	v 8653
352.39/352.44	v 8654
352.39/352.44	v 8655
352.39/352.44	v 8656
352.39/352.44	v 8659
352.39/352.44	v 8662
352.39/352.44	v 8663
352.39/352.44	v 8664
352.39/352.44	v 8667
352.39/352.44	v 8674
352.39/352.44	v 8675
352.39/352.44	v 8676
352.39/352.44	v 8677
352.39/352.44	v 8678
352.39/352.44	v 8679
352.39/352.44	v 8680
352.39/352.44	v 8681
352.39/352.44	v 8684
352.39/352.44	v 8687
352.39/352.44	v 8688
352.39/352.44	v 8689
352.39/352.44	v 8692
352.39/352.44	v 8696
352.39/352.44	v 8697
352.39/352.44	v 8698
352.39/352.44	v 8701
352.39/352.44	v 8707
352.39/352.44	v 8708
352.39/352.44	v 8709
352.39/352.44	v 8712
352.39/352.44	v 8719
352.39/352.44	v 8720
352.39/352.44	v 8721
352.39/352.44	v 8724
352.39/352.44	v 8730
352.39/352.44	v 8731
352.39/352.44	v 8732
352.39/352.44	v 8735
352.39/352.44	v 8741
352.39/352.44	v 8742
352.39/352.44	v 8743
352.39/352.44	v 8746
352.39/352.44	v 8755
352.39/352.44	v 8756
352.39/352.44	v 8757
352.39/352.44	v 8760
352.39/352.44	v 8773
352.39/352.44	v 8774
352.39/352.44	v 8784
352.39/352.44	v 8785
352.39/352.44	v 8798
352.39/352.44	v 8799
352.39/352.44	v 8809
352.39/352.44	v 8810
352.39/352.44	v 8820
352.39/352.44	v 8821
352.39/352.44	v 8834
352.39/352.44	v 8835
352.39/352.44	v 8861
352.39/352.44	v 8862
352.39/352.44	v 8870
352.39/352.44	v 8871
352.39/352.44	v 8885
352.39/352.44	v 8886
352.39/352.44	v 8902
352.39/352.44	v 8903
352.39/352.44	v 8923
352.39/352.44	v 8924
352.39/352.44	v 8946
352.39/352.44	v 8947
352.39/352.44	v 8966
352.39/352.44	v 8967
352.39/352.44	v 8986
352.39/352.44	v 8987
352.39/352.44	v 9012
352.39/352.44	v 9013
352.39/352.44	v 9040
352.39/352.44	v 9041
352.39/352.44	v 9051
352.39/352.44	v 9052
352.39/352.44	v 9065
352.39/352.44	v 9066
352.39/352.44	v 9076
352.39/352.44	v 9077
352.39/352.44	v 9087
352.39/352.44	v 9088
352.39/352.44	v 9101
352.39/352.44	v 9102
352.39/352.44	v 9128
352.39/352.44	v 9129
352.39/352.44	v 9137
352.39/352.44	v 9138
352.39/352.44	v 9152
352.39/352.44	v 9153
352.39/352.44	v 9169
352.39/352.44	v 9170
352.39/352.44	v 9190
352.39/352.44	v 9191
352.39/352.44	v 9213
352.39/352.44	v 9214
352.39/352.44	v 9233
352.39/352.44	v 9234
352.39/352.44	v 9253
352.39/352.44	v 9254
352.39/352.44	v 9279
352.39/352.44	v 9280
352.39/352.44	v 9305
352.39/352.44	v 9310
352.39/352.44	v 9311
352.39/352.44	v 9337
352.39/352.44	v 9338
352.39/352.44	v 9345
352.39/352.44	v 9346
352.39/352.44	v 9353
352.39/352.44	v 9354
352.39/352.44	v 9368
352.39/352.44	v 9369
352.39/352.44	v 9383
352.39/352.44	v 9384
352.39/352.44	v 9395
352.39/352.44	v 9396
352.39/352.44	v 9421
352.39/352.44	v 9422
352.39/352.44	v 9431
352.39/352.44	v 9432
352.39/352.44	v 9447
352.39/352.44	v 9448
352.39/352.44	v 9465
352.39/352.44	v 9466
352.39/352.44	v 9487
352.39/352.44	v 9488
352.39/352.44	v 9511
352.39/352.44	v 9512
352.39/352.44	v 9532
352.39/352.44	v 9533
352.39/352.44	v 9553
352.39/352.44	v 9554
352.39/352.44	v 9580
352.39/352.44	v 9581
352.39/352.44	v 9583
352.39/352.44	v 9584
352.39/352.44	v 9585
352.39/352.44	v 9612
352.39/352.44	v 9613
352.39/352.44	v 9639
352.39/352.44	v 9640
352.39/352.44	v 9647
352.39/352.44	v 9648
352.39/352.44	v 9655
352.39/352.44	v 9656
352.39/352.44	v 9670
352.39/352.44	v 9671
352.39/352.44	v 9685
352.39/352.44	v 9686
352.39/352.44	v 9698
352.39/352.44	v 9699
352.39/352.44	v 9703
352.39/352.44	v 9704
352.39/352.44	v 9716
352.39/352.44	v 9718
352.39/352.44	v 9719
352.39/352.44	v 9720
352.39/352.44	v 9721
352.39/352.44	v 9722
352.39/352.44	v 9723
352.39/352.44	v 9724
352.39/352.44	v 9725
352.39/352.44	v 9726
352.39/352.44	v 9727
352.39/352.44	v 9730
352.39/352.44	v 9731
352.39/352.44	v 9743
352.39/352.44	v 9745
352.39/352.44	v 9746
352.39/352.44	v 9747
352.39/352.44	v 9748
352.39/352.44	v 9749
352.39/352.44	v 9750
352.39/352.44	v 9751
352.39/352.44	v 9752
352.39/352.44	v 9753
352.39/352.44	v 9754
352.39/352.44	v 9761
352.39/352.44	v 9762
352.39/352.44	v 9763
352.39/352.44	v 9764
352.39/352.44	v 9767
352.39/352.44	v 9770
352.39/352.44	v 9771
352.39/352.44	v 9773
352.39/352.44	v 9774
352.39/352.44	v 9775
352.39/352.44	v 9776
352.39/352.44	v 9779
352.39/352.44	v 9786
352.39/352.44	v 9787
352.39/352.44	v 9790
352.39/352.44	v 9793
352.39/352.44	v 9794
352.39/352.44	v 9797
352.39/352.44	v 9801
352.39/352.44	v 9802
352.39/352.44	v 9805
352.39/352.44	v 9811
352.39/352.44	v 9812
352.39/352.44	v 9815
352.39/352.44	v 9822
352.39/352.44	v 9823
352.39/352.44	v 9826
352.39/352.44	v 9832
352.39/352.44	v 9833
352.39/352.44	v 9836
352.39/352.44	v 9842
352.39/352.44	v 9843
352.39/352.44	v 9846
352.39/352.44	v 9855
352.39/352.44	v 9856
352.39/352.44	v 9859
352.39/352.44	v 9868
352.39/352.44	v 9869
352.39/352.44	v 9870
352.39/352.44	v 9871
352.39/352.44	v 9872
352.39/352.44	v 9875
352.39/352.44	v 9878
352.39/352.44	v 9879
352.39/352.44	v 9881
352.39/352.44	v 9882
352.39/352.44	v 9883
352.39/352.44	v 9884
352.39/352.44	v 9887
352.39/352.44	v 9894
352.39/352.44	v 9895
352.39/352.44	v 9898
352.39/352.44	v 9901
352.39/352.44	v 9902
352.39/352.44	v 9905
352.39/352.44	v 9909
352.39/352.44	v 9910
352.39/352.44	v 9913
352.39/352.44	v 9919
352.39/352.44	v 9920
352.39/352.44	v 9923
352.39/352.44	v 9930
352.39/352.44	v 9931
352.39/352.44	v 9934
352.39/352.44	v 9940
352.39/352.44	v 9941
352.39/352.44	v 9944
352.39/352.44	v 9950
352.39/352.44	v 9951
352.39/352.44	v 9954
352.39/352.44	v 9963
352.39/352.44	v 9964
352.39/352.44	v 9967
352.39/352.44	v 9976
352.39/352.44	v 9985
352.39/352.44	v 9986
352.39/352.44	v 10011
352.39/352.44	v 10012
352.39/352.44	v 10021
352.39/352.44	v 10022
352.39/352.44	v 10037
352.39/352.44	v 10038
352.39/352.44	v 10055
352.39/352.44	v 10056
352.39/352.44	v 10077
352.39/352.44	v 10078
352.39/352.44	v 10101
352.39/352.44	v 10102
352.39/352.44	v 10122
352.39/352.44	v 10123
352.39/352.44	v 10143
352.39/352.44	v 10144
352.39/352.44	v 10170
352.39/352.44	v 10171
352.39/352.44	v 10173
352.39/352.44	v 10174
352.39/352.44	v 10175
352.39/352.44	v 10207
352.39/352.44	v 10215
352.39/352.44	v 10216
352.39/352.44	v 10249
352.39/352.44	v 10250
352.39/352.44	v 10261
352.39/352.44	v 10262
352.39/352.44	v 10279
352.39/352.44	v 10280
352.39/352.44	v 10299
352.39/352.44	v 10300
352.39/352.44	v 10323
352.39/352.44	v 10324
352.39/352.44	v 10349
352.39/352.44	v 10350
352.39/352.44	v 10372
352.39/352.44	v 10373
352.39/352.44	v 10395
352.39/352.44	v 10396
352.39/352.44	v 10424
352.39/352.44	v 10425
352.39/352.44	v 10427
352.39/352.44	v 10428
352.39/352.44	v 10429
352.39/352.44	v 10431
352.39/352.44	v 10432
352.39/352.44	v 10433
352.39/352.44	v 10465
352.39/352.44	v 10505
352.39/352.44	v 10539
352.39/352.44	v 10540
352.39/352.44	v 10541
352.39/352.44	v 10542
352.39/352.44	v 10543
352.39/352.44	v 10544
352.39/352.44	v 10551
352.39/352.44	v 10552
352.39/352.44	v 10565
352.39/352.44	v 10568
352.39/352.44	v 10569
352.39/352.44	v 10570
352.39/352.44	v 10571
352.39/352.44	v 10586
352.39/352.44	v 10600
352.39/352.44	v 10601
352.39/352.44	v 10602
352.39/352.44	v 10603
352.39/352.44	v 10608
352.39/352.44	v 10609
352.39/352.44	v 10610
352.39/352.44	v 10611
352.39/352.44	v 10612
352.39/352.44	v 10613
352.39/352.44	v 10623
352.39/352.44	v 10626
352.39/352.44	v 10627
352.39/352.44	v 10628
352.39/352.44	v 10629
352.39/352.44	v 10640
352.39/352.44	v 10644
352.39/352.44	v 10645
352.39/352.44	v 10646
352.39/352.44	v 10647
352.39/352.44	v 10660
352.39/352.44	v 10666
352.39/352.44	v 10667
352.39/352.44	v 10668
352.39/352.45	v 10669
352.39/352.45	v 10683
352.39/352.45	v 10690
352.39/352.45	v 10691
352.39/352.45	v 10692
352.39/352.45	v 10693
352.39/352.45	v 10705
352.39/352.45	v 10711
352.39/352.45	v 10712
352.39/352.45	v 10713
352.39/352.45	v 10714
352.39/352.45	v 10726
352.39/352.45	v 10732
352.39/352.45	v 10733
352.39/352.45	v 10734
352.39/352.45	v 10735
352.39/352.45	v 10750
352.39/352.45	v 10759
352.39/352.45	v 10760
352.39/352.45	v 10761
352.39/352.45	v 10762
352.39/352.45	v 10777
352.39/352.45	v 10786
352.39/352.45	v 10787
352.39/352.45	v 10788
352.39/352.45	v 10789
352.39/352.45	v 10790
352.39/352.45	v 10791
352.39/352.45	v 10796
352.39/352.45	v 10799
352.39/352.45	v 10810
352.39/352.45	v 10815
352.39/352.45	v 10816
352.39/352.45	v 10817
352.39/352.45	v 10818
352.39/352.45	v 10833
352.39/352.45	v 10847
352.39/352.45	v 10848
352.39/352.45	v 10849
352.39/352.45	v 10850
352.39/352.45	v 10855
352.39/352.45	v 10856
352.39/352.45	v 10857
352.39/352.45	v 10858
352.39/352.45	v 10859
352.39/352.45	v 10860
352.39/352.45	v 10870
352.39/352.45	v 10873
352.39/352.45	v 10874
352.39/352.45	v 10875
352.39/352.45	v 10876
352.39/352.45	v 10887
352.39/352.45	v 10891
352.39/352.45	v 10892
352.39/352.45	v 10893
352.39/352.45	v 10894
352.39/352.45	v 10907
352.39/352.45	v 10913
352.39/352.45	v 10914
352.39/352.45	v 10915
352.39/352.45	v 10916
352.39/352.45	v 10930
352.39/352.45	v 10937
352.39/352.45	v 10938
352.39/352.45	v 10939
352.39/352.45	v 10940
352.39/352.45	v 10952
352.39/352.45	v 10958
352.39/352.45	v 10959
352.39/352.45	v 10960
352.39/352.45	v 10961
352.39/352.45	v 10973
352.39/352.45	v 10979
352.39/352.45	v 10980
352.39/352.45	v 10981
352.39/352.45	v 10982
352.39/352.45	v 10997
352.39/352.45	v 11006
352.39/352.45	v 11007
352.39/352.45	v 11008
352.39/352.45	v 11009
352.39/352.45	v 11024
352.39/352.45	v 11033
352.39/352.45	v 11034
352.39/352.45	v 11035
352.39/352.45	v 11036
352.39/352.45	v 11037
352.39/352.45	v 11038
352.39/352.45	v 11039
352.39/352.45	v 11830
352.39/352.45	v 11831
352.39/352.45	v 11839
352.39/352.45	v 11841
352.39/352.45	v 11843
352.39/352.45	v 11844
352.39/352.45	v 11845
352.39/352.45	v 11846
352.39/352.45	v 11849
352.39/352.45	v 11850
352.39/352.45	v 11851
352.39/352.45	v 11855
352.39/352.45	v 11988
352.39/352.45	v 11990
352.39/352.45	v 11992
352.39/352.45	v 11994
352.39/352.45	v 12000
352.39/352.45	v 12002
352.39/352.45	v 12004
352.39/352.45	v 12006
352.39/352.45	v 12008
352.39/352.45	v 12021
352.39/352.45	v 12023
352.39/352.45	v 12025
352.39/352.45	v 12037
352.39/352.45	v 12039
352.39/352.45	v 12041
352.39/352.45	v 12073
352.39/352.45	v 12075
352.39/352.45	v 12093
352.39/352.45	v 12095
352.39/352.45	v 12121
352.39/352.45	v 12122
352.39/352.45	v 12338
352.39/352.45	v 12339
352.39/352.45	v 12340
352.39/352.45	v 12341
352.39/352.45	v 12342
352.39/352.45	v 12343
352.39/352.45	v 12346
352.39/352.45	v 12348
352.39/352.45	v 12349
352.39/352.45	v 12356
352.39/352.45	v 12368
352.39/352.45	v 12369
352.39/352.45	v 12370
352.39/352.45	v 12377
352.39/352.45	v 12385
352.39/352.45	v 12386
352.39/352.45	v 12387
352.39/352.45	v 12391
352.39/352.45	v 12412
352.39/352.45	v 12415
352.39/352.45	v 12416
352.39/352.45	v 12417
352.39/352.45	v 12419
352.39/352.45	v 12420
352.39/352.45	v 12421
352.39/352.45	v 12422
352.39/352.45	v 12423
352.39/352.45	v 12431
352.39/352.45	v 12432
352.39/352.45	v 12433
352.39/352.45	v 12440
352.39/352.45	v 12445
352.39/352.45	v 12446
352.39/352.45	v 12447
352.39/352.45	v 12451
352.39/352.45	v 12455
352.39/352.45	v 12456
352.39/352.45	v 12457
352.39/352.45	v 12459
352.39/352.45	v 12466
352.39/352.45	v 12467
352.39/352.45	v 12468
352.39/352.45	v 12470
352.39/352.45	v 12474
352.39/352.45	v 12487
352.39/352.45	v 12495
352.39/352.45	v 12499
352.39/352.45	v 12500
352.39/352.45	v 12501
352.39/352.45	v 12502
352.39/352.45	v 12503
352.39/352.45	v 12504
352.39/352.45	v 12505
352.39/352.45	v 12506
352.39/352.45	v 12507
352.39/352.45	v 12508
352.39/352.45	v 12515
352.39/352.45	v 12520
352.39/352.45	v 12521
352.39/352.45	v 12522
352.39/352.45	v 12541
352.39/352.45	v 12542
352.39/352.45	v 12543
352.39/352.45	v 12545
352.39/352.45	v 12546
352.39/352.45	v 12547
352.39/352.45	v 12549
352.39/352.45	v 12555
352.39/352.45	v 12556
352.39/352.45	v 12557
352.39/352.45	v 12562
352.39/352.45	v 12564
352.39/352.45	v 12565
352.39/352.45	v 12566
352.39/352.45	v 12567
352.39/352.45	v 12568
352.39/352.45	v 12569
352.39/352.45	v 12572
352.39/352.45	v 12574
352.39/352.45	v 12575
352.39/352.45	v 12582
352.39/352.45	v 12593
352.39/352.45	v 12594
352.39/352.45	v 12595
352.39/352.45	v 12596
352.39/352.45	v 12611
352.39/352.45	v 12612
352.39/352.45	v 12613
352.39/352.45	v 12617
352.39/352.45	v 12638
352.39/352.45	v 12641
352.39/352.45	v 12642
352.39/352.45	v 12643
352.39/352.45	v 12645
352.39/352.45	v 12646
352.39/352.45	v 12647
352.39/352.45	v 12648
352.39/352.45	v 12649
352.39/352.45	v 12653
352.39/352.45	v 12666
352.39/352.45	v 12671
352.39/352.45	v 12672
352.39/352.45	v 12673
352.39/352.45	v 12674
352.39/352.45	v 12678
352.39/352.45	v 12679
352.39/352.45	v 12680
352.39/352.45	v 12681
352.39/352.45	v 12682
352.39/352.45	v 12683
352.39/352.45	v 12684
352.39/352.45	v 12685
352.39/352.45	v 12686
352.39/352.45	v 12687
352.39/352.45	v 12688
352.39/352.45	v 12690
352.39/352.45	v 12694
352.39/352.45	v 12698
352.39/352.45	v 12712
352.39/352.45	v 12713
352.39/352.45	v 12714
352.39/352.45	v 12716
352.39/352.45	v 12717
352.39/352.45	v 12718
352.39/352.45	v 12719
352.39/352.45	v 12722
352.39/352.45	v 12724
352.39/352.45	v 12725
352.39/352.45	v 12726
352.39/352.45	v 12727
352.39/352.45	v 12730
352.39/352.45	v 12733
352.39/352.45	v 12736
352.39/352.45	v 12738
352.39/352.45	v 12751
352.39/352.45	v 12752
352.39/352.45	v 12754
352.39/352.45	v 12755
352.39/352.45	v 12756
352.39/352.45	v 12758
352.39/352.45	v 12762
352.39/352.45	v 12763
352.39/352.45	v 12764
352.39/352.45	v 12765
352.39/352.45	v 12770
352.39/352.45	v 12771
352.39/352.45	v 12774
352.39/352.45	v 12781
352.39/352.45	v 12782
352.39/352.45	v 12783
352.39/352.45	v 12786
352.39/352.45	v 12801
352.39/352.45	v 12803
352.39/352.45	v 12805
352.39/352.45	v 12806
352.39/352.45	v 12807
352.39/352.45	v 12808
352.39/352.45	v 12809
352.39/352.45	v 12811
352.39/352.45	v 12812
352.39/352.45	v 12813
352.39/352.45	v 12814
352.39/352.45	v 12815
352.39/352.45	v 12816
352.39/352.45	v 12821
352.39/352.45	v 12829
352.39/352.45	v 12834
352.39/352.45	v 12835
352.39/352.45	v 12836
352.39/352.45	v 12840
352.39/352.45	v 12841
352.39/352.45	v 12842
352.39/352.45	v 12843
352.39/352.45	v 12844
352.39/352.45	v 12848
352.39/352.45	v 12851
352.39/352.45	v 12852
352.39/352.45	v 12854
352.39/352.45	v 12855
352.39/352.45	v 12856
352.39/352.45	v 12857
352.39/352.45	v 12858
352.39/352.45	v 12859
352.39/352.45	v 12860
352.39/352.45	v 12861
352.39/352.45	v 12864
352.39/352.45	v 12865
352.39/352.45	v 12866
352.39/352.45	v 12867
352.39/352.45	v 12868
352.39/352.45	v 12874
352.39/352.45	v 12881
352.39/352.45	v 12886
352.39/352.45	v 12887
352.39/352.45	v 12888
352.39/352.45	v 12892
352.39/352.45	v 12893
352.39/352.45	v 12894
352.39/352.45	v 12895
352.39/352.45	v 12896
352.39/352.45	v 12900
352.39/352.45	v 12902
352.39/352.45	v 12904
352.39/352.45	v 12905
352.39/352.45	v 12907
352.39/352.45	v 12908
352.39/352.45	v 12909
352.39/352.45	v 12910
352.39/352.45	v 12911
352.39/352.45	v 12914
352.39/352.45	v 12915
352.39/352.45	v 12916
352.39/352.45	v 12917
352.39/352.45	v 12918
352.39/352.45	v 12921
352.39/352.45	v 12923
352.39/352.45	v 12924
352.39/352.45	v 12936
352.39/352.45	v 12937
352.39/352.45	v 12938
352.39/352.45	v 12942
352.39/352.45	v 12943
352.39/352.45	v 12944
352.39/352.45	v 12945
352.39/352.45	v 12946
352.39/352.45	v 12951
352.39/352.45	v 12953
352.39/352.45	v 12954
352.39/352.45	v 12955
352.39/352.45	v 12957
352.39/352.45	v 12958
352.39/352.45	v 12961
352.39/352.45	v 12962
352.39/352.45	v 12963
352.39/352.45	v 12964
352.39/352.45	v 12965
352.39/352.45	v 12968
352.39/352.45	v 12970
352.39/352.45	v 12971
352.39/352.45	v 12978
352.39/352.45	v 12983
352.39/352.45	v 12984
352.39/352.45	v 12985
352.39/352.45	v 12989
352.39/352.45	v 12990
352.39/352.45	v 12991
352.39/352.45	v 12992
352.39/352.45	v 12993
352.39/352.45	v 12994
352.39/352.45	v 12995
352.39/352.45	v 12996
352.39/352.45	v 12997
352.39/352.45	v 12998
352.39/352.45	v 12999
352.39/352.45	v 13000
352.39/352.45	v 13001
352.39/352.45	v 13002
352.39/352.45	v 13003
352.39/352.45	v 13004
352.39/352.45	v 13007
352.39/352.45	v 13008
352.39/352.45	v 13009
352.39/352.45	v 13010
352.39/352.45	v 13011
352.39/352.45	v 13014
352.39/352.45	v 13016
352.39/352.45	v 13017
352.39/352.45	v 13024
352.39/352.45	v 13029
352.39/352.45	v 13030
352.39/352.45	v 13031
352.39/352.45	v 13035
352.39/352.45	v 13036
352.39/352.45	v 13037
352.39/352.45	v 13038
352.39/352.45	v 13039
352.39/352.45	v 13040
352.39/352.45	v 13041
352.39/352.45	v 13042
352.39/352.45	v 13043
352.39/352.45	v 13044
352.39/352.45	v 13045
352.39/352.45	v 13046
352.39/352.45	v 13047
352.39/352.45	v 13048
352.39/352.45	v 13049
352.39/352.45	v 13050
352.39/352.45	v 13053
352.39/352.45	v 13054
352.39/352.45	v 13055
352.39/352.45	v 13056
352.39/352.45	v 13057
352.39/352.45	v 13060
352.39/352.45	v 13062
352.39/352.45	v 13063
352.39/352.45	v 13070
352.39/352.45	v 13075
352.39/352.45	v 13076
352.39/352.45	v 13077
352.39/352.45	v 13081
352.39/352.45	v 13082
352.39/352.45	v 13083
352.39/352.45	v 13084
352.39/352.45	v 13085
352.39/352.45	v 13086
352.39/352.45	v 13087
352.39/352.45	v 13088
352.39/352.45	v 13089
352.39/352.45	v 13090
352.39/352.45	v 13091
352.39/352.45	v 13092
352.39/352.45	v 13093
352.39/352.45	v 13094
352.39/352.45	v 13095
352.39/352.45	v 13096
352.39/352.45	v 13099
352.39/352.45	v 13100
352.39/352.45	v 13101
352.39/352.45	v 13102
352.39/352.45	v 13103
352.39/352.45	v 13106
352.39/352.45	v 13108
352.39/352.45	v 13109
352.39/352.45	v 13116
352.39/352.45	v 13121
352.39/352.45	v 13122
352.39/352.45	v 13123
352.39/352.45	v 13127
352.39/352.45	v 13128
352.39/352.45	v 13129
352.39/352.45	v 13130
352.39/352.45	v 13131
352.39/352.45	v 13132
352.39/352.45	v 13133
352.39/352.45	v 13134
352.39/352.45	v 13135
352.39/352.45	v 13136
352.39/352.45	v 13137
352.39/352.45	v 13138
352.39/352.45	v 13139
352.39/352.45	v 13140
352.39/352.45	v 13141
352.39/352.45	v 13142
352.39/352.45	v 13145
352.39/352.45	v 13146
352.39/352.45	v 13147
352.39/352.45	v 13148
352.39/352.45	v 13149
352.39/352.45	v 13152
352.39/352.45	v 13154
352.39/352.45	v 13155
352.39/352.45	v 13162
352.39/352.45	v 13167
352.39/352.45	v 13168
352.39/352.45	v 13169
352.39/352.45	v 13173
352.39/352.45	v 13174
352.39/352.45	v 13175
352.39/352.45	v 13176
352.39/352.45	v 13177
352.39/352.45	v 13178
352.39/352.45	v 13179
352.39/352.45	v 13180
352.39/352.45	v 13181
352.39/352.45	v 13182
352.39/352.45	v 13183
352.39/352.45	v 13184
352.39/352.45	v 13185
352.39/352.45	v 13186
352.39/352.45	v 13187
352.39/352.45	v 13188
352.39/352.45	v 13191
352.39/352.45	v 13192
352.39/352.45	v 13193
352.39/352.45	v 13194
352.39/352.45	v 13195
352.39/352.45	v 13198
352.39/352.45	v 13200
352.39/352.45	v 13201
352.39/352.45	v 13208
352.39/352.45	v 13213
352.39/352.45	v 13214
352.39/352.45	v 13215
352.39/352.45	v 13219
352.39/352.45	v 13220
352.39/352.45	v 13221
352.39/352.45	v 13222
352.39/352.45	v 13223
352.39/352.45	v 13224
352.39/352.45	v 13225
352.39/352.45	v 13226
352.39/352.45	v 13227
352.39/352.45	v 13228
352.39/352.45	v 13229
352.39/352.45	v 13230
352.39/352.45	v 13231
352.39/352.45	v 13232
352.39/352.45	v 13233
352.39/352.45	v 13234
352.39/352.45	v 13237
352.39/352.45	v 13238
352.39/352.45	v 13239
352.39/352.45	v 13240
352.39/352.45	v 13241
352.39/352.45	v 13244
352.39/352.45	v 13246
352.39/352.45	v 13247
352.39/352.45	v 13254
352.39/352.45	v 13259
352.39/352.45	v 13260
352.39/352.45	v 13261
352.39/352.45	v 13265
352.39/352.45	v 13266
352.39/352.45	v 13267
352.39/352.45	v 13268
352.39/352.45	v 13269
352.39/352.45	v 13270
352.39/352.45	v 13271
352.39/352.45	v 13272
352.39/352.45	v 13273
352.39/352.45	v 13274
352.39/352.45	v 13275
352.39/352.45	v 13276
352.39/352.45	v 13277
352.39/352.45	v 13278
352.39/352.45	v 13279
352.39/352.45	v 13280
352.39/352.45	v 13283
352.39/352.45	v 13284
352.39/352.45	v 13285
352.39/352.45	v 13286
352.39/352.45	v 13287
352.39/352.45	v 13290
352.39/352.45	v 13292
352.39/352.45	v 13293
352.39/352.45	v 13300
352.39/352.45	v 13305
352.39/352.45	v 13306
352.39/352.45	v 13307
352.39/352.45	v 13311
352.39/352.45	v 13312
352.39/352.45	v 13313
352.39/352.45	v 13314
352.39/352.45	v 13315
352.39/352.45	v 13316
352.39/352.45	v 13317
352.39/352.45	v 13318
352.39/352.45	v 13319
352.39/352.45	v 13320
352.39/352.45	v 13321
352.39/352.45	v 13322
352.39/352.45	v 13323
352.39/352.45	v 13324
352.39/352.45	v 13325
352.39/352.45	v 13326
352.39/352.45	v 13328
352.39/352.45	v 13329
352.39/352.45	v 13330
352.39/352.45	v 13331
352.39/352.45	v 13334
352.39/352.45	v 13336
352.39/352.45	v 13337
352.39/352.45	v 13344
352.39/352.45	v 13349
352.39/352.45	v 13350
352.39/352.45	v 13351
352.39/352.45	v 13355
352.39/352.45	v 13356
352.39/352.45	v 13357
352.39/352.45	v 13358
352.39/352.45	v 13359
352.39/352.45	v 13360
352.39/352.45	v 13361
352.39/352.45	v 13362
352.39/352.45	v 13363
352.39/352.45	v 13364
352.39/352.45	v 13365
352.39/352.45	v 13366
352.39/352.45	v 13367
352.39/352.45	v 13368
352.39/352.45	v 13369
352.39/352.45	v 13506
352.39/352.45	v 13508
352.39/352.45	v 13510
352.39/352.45	v 13512
352.39/352.45	v 13514
352.39/352.45	v 13524
352.39/352.45	v 13526
352.39/352.45	v 13528
352.39/352.45	v 13530
352.39/352.45	v 13532
352.39/352.45	v 13540
352.39/352.45	v 13551
352.39/352.45	v 13553
352.39/352.45	v 13555
352.39/352.45	v 13567
352.39/352.45	v 13569
352.39/352.45	v 13571
352.39/352.45	v 13603
352.39/352.45	v 13605
352.39/352.45	v 13630
352.39/352.45	v 13632
352.39/352.45	v 13681
352.39/352.45	v 13682
352.39/352.45	v 13683
352.39/352.45	v 13686
352.39/352.45	v 13687
352.39/352.45	v 13688
352.39/352.45	v 13689
352.39/352.45	v 13690
352.39/352.45	v 13691
352.39/352.45	v 13692
352.39/352.45	v 13693
352.39/352.45	v 13694
352.39/352.45	v 13695
352.39/352.45	v 13696
352.39/352.45	v 13697
352.39/352.45	v 13698
352.39/352.45	v 13699
352.39/352.45	v 13700
352.39/352.45	v 13701
352.39/352.45	v 13702
352.39/352.45	v 13703
352.39/352.45	v 13704
352.39/352.45	v 13705
352.39/352.45	v 13706
352.39/352.45	v 13707
352.39/352.45	v 13708
352.39/352.45	v 13709
352.39/352.45	v 13710
352.39/352.45	v 13711
352.39/352.45	v 13712
352.39/352.45	v 13713
352.39/352.45	v 13718
352.39/352.45	v 13719
352.39/352.45	v 13720
352.39/352.45	v 13741
352.39/352.45	v 13742
352.39/352.45	v 13958
352.39/352.45	v 13959
352.39/352.45	v 13960
352.39/352.45	v 13961
352.39/352.45	v 13962
352.39/352.45	v 13963
352.39/352.45	v 13966
352.39/352.45	v 13968
352.39/352.45	v 13969
352.39/352.45	v 13976
352.39/352.45	v 13988
352.39/352.45	v 13989
352.39/352.45	v 13990
352.39/352.45	v 13997
352.39/352.45	v 14005
352.39/352.45	v 14006
352.39/352.45	v 14007
352.39/352.45	v 14011
352.39/352.45	v 14032
352.39/352.45	v 14035
352.39/352.45	v 14036
352.39/352.45	v 14037
352.39/352.45	v 14039
352.39/352.45	v 14040
352.39/352.45	v 14041
352.39/352.45	v 14042
352.39/352.45	v 14043
352.39/352.45	v 14051
352.39/352.45	v 14052
352.39/352.45	v 14053
352.39/352.45	v 14060
352.39/352.45	v 14065
352.39/352.45	v 14066
352.39/352.45	v 14067
352.39/352.45	v 14071
352.39/352.45	v 14075
352.39/352.45	v 14076
352.39/352.45	v 14077
352.39/352.45	v 14079
352.39/352.45	v 14086
352.39/352.45	v 14087
352.39/352.45	v 14088
352.39/352.45	v 14090
352.39/352.45	v 14094
352.39/352.45	v 14107
352.39/352.45	v 14115
352.39/352.45	v 14119
352.39/352.45	v 14120
352.39/352.45	v 14121
352.39/352.45	v 14122
352.39/352.45	v 14123
352.39/352.45	v 14124
352.39/352.45	v 14125
352.39/352.45	v 14126
352.39/352.45	v 14127
352.39/352.45	v 14128
352.39/352.45	v 14135
352.39/352.45	v 14140
352.39/352.45	v 14141
352.39/352.45	v 14142
352.39/352.45	v 14161
352.39/352.45	v 14162
352.39/352.45	v 14163
352.39/352.45	v 14165
352.39/352.45	v 14166
352.39/352.45	v 14167
352.39/352.45	v 14169
352.39/352.45	v 14175
352.39/352.45	v 14176
352.39/352.45	v 14177
352.39/352.45	v 14182
352.39/352.45	v 14183
352.39/352.45	v 14184
352.39/352.45	v 14185
352.39/352.45	v 14186
352.39/352.45	v 14187
352.39/352.45	v 14188
352.39/352.45	v 14189
352.39/352.45	v 14190
352.39/352.45	v 14191
352.39/352.45	v 14192
352.39/352.45	v 14193
352.39/352.45	v 14194
352.39/352.45	v 14195
352.39/352.45	v 14196
352.39/352.45	v 14197
352.39/352.45	v 14198
352.39/352.45	v 14199
352.39/352.45	v 14200
352.39/352.45	v 14201
352.39/352.45	v 14202
352.39/352.45	v 14203
352.39/352.45	v 14204
352.39/352.45	v 14205
352.39/352.45	v 14206
352.39/352.45	v 14207
352.39/352.45	v 14208
352.39/352.45	v 14209
352.39/352.45	v 14210
352.39/352.45	v 14212
352.39/352.45	v 14213
352.39/352.45	v 14214
352.39/352.45	v 14215
352.39/352.45	v 14216
352.39/352.45	v 14217
352.39/352.45	v 14220
352.39/352.45	v 14222
352.39/352.45	v 14223
352.39/352.45	v 14230
352.39/352.45	v 14242
352.39/352.45	v 14243
352.39/352.45	v 14244
352.39/352.45	v 14251
352.39/352.45	v 14259
352.39/352.45	v 14260
352.39/352.45	v 14261
352.39/352.45	v 14265
352.39/352.45	v 14286
352.39/352.45	v 14289
352.39/352.45	v 14290
352.39/352.45	v 14291
352.39/352.45	v 14293
352.39/352.45	v 14294
352.39/352.45	v 14295
352.39/352.45	v 14296
352.39/352.45	v 14297
352.39/352.45	v 14301
352.39/352.45	v 14314
352.39/352.45	v 14319
352.39/352.45	v 14320
352.39/352.45	v 14321
352.39/352.45	v 14322
352.39/352.45	v 14326
352.39/352.45	v 14327
352.39/352.45	v 14328
352.39/352.45	v 14329
352.39/352.45	v 14330
352.39/352.45	v 14331
352.39/352.45	v 14332
352.39/352.45	v 14333
352.39/352.45	v 14334
352.39/352.45	v 14335
352.39/352.45	v 14336
352.39/352.45	v 14338
352.39/352.45	v 14342
352.39/352.45	v 14345
352.39/352.45	v 14360
352.39/352.45	v 14361
352.39/352.45	v 14362
352.39/352.45	v 14364
352.39/352.45	v 14365
352.39/352.45	v 14366
352.39/352.45	v 14367
352.39/352.45	v 14370
352.39/352.45	v 14372
352.39/352.45	v 14373
352.39/352.45	v 14374
352.39/352.45	v 14375
352.39/352.45	v 14378
352.39/352.45	v 14381
352.39/352.45	v 14384
352.39/352.45	v 14386
352.39/352.45	v 14399
352.39/352.45	v 14400
352.39/352.45	v 14402
352.39/352.45	v 14403
352.39/352.45	v 14404
352.39/352.45	v 14406
352.39/352.45	v 14410
352.39/352.45	v 14411
352.39/352.45	v 14412
352.39/352.45	v 14413
352.39/352.45	v 14418
352.39/352.45	v 14419
352.39/352.45	v 14422
352.39/352.45	v 14429
352.39/352.45	v 14430
352.39/352.45	v 14431
352.39/352.45	v 14434
352.39/352.45	v 14449
352.39/352.45	v 14451
352.39/352.45	v 14453
352.39/352.45	v 14454
352.39/352.45	v 14455
352.39/352.45	v 14456
352.39/352.45	v 14457
352.39/352.45	v 14459
352.39/352.45	v 14460
352.39/352.45	v 14461
352.39/352.45	v 14462
352.39/352.45	v 14463
352.39/352.45	v 14464
352.39/352.45	v 14469
352.39/352.45	v 14477
352.39/352.45	v 14482
352.39/352.45	v 14483
352.39/352.45	v 14484
352.39/352.45	v 14488
352.39/352.45	v 14489
352.39/352.45	v 14490
352.39/352.45	v 14491
352.39/352.45	v 14492
352.39/352.45	v 14496
352.39/352.45	v 14499
352.39/352.45	v 14500
352.39/352.45	v 14502
352.39/352.45	v 14503
352.39/352.45	v 14504
352.39/352.45	v 14505
352.39/352.45	v 14506
352.39/352.45	v 14507
352.39/352.45	v 14508
352.39/352.45	v 14509
352.39/352.45	v 14512
352.39/352.45	v 14513
352.39/352.45	v 14514
352.39/352.45	v 14515
352.39/352.45	v 14516
352.39/352.45	v 14522
352.39/352.45	v 14529
352.39/352.45	v 14534
352.39/352.45	v 14535
352.39/352.45	v 14536
352.39/352.45	v 14540
352.39/352.45	v 14541
352.39/352.45	v 14542
352.39/352.45	v 14543
352.39/352.45	v 14544
352.39/352.45	v 14548
352.39/352.45	v 14550
352.39/352.45	v 14552
352.39/352.45	v 14553
352.39/352.45	v 14555
352.39/352.45	v 14556
352.39/352.45	v 14557
352.39/352.45	v 14558
352.39/352.45	v 14559
352.39/352.45	v 14562
352.39/352.45	v 14563
352.39/352.45	v 14564
352.39/352.45	v 14565
352.39/352.45	v 14566
352.39/352.45	v 14569
352.39/352.45	v 14571
352.39/352.45	v 14572
352.39/352.45	v 14584
352.39/352.45	v 14585
352.39/352.45	v 14586
352.39/352.45	v 14590
352.39/352.45	v 14591
352.39/352.45	v 14592
352.39/352.45	v 14593
352.39/352.45	v 14594
352.39/352.45	v 14599
352.39/352.45	v 14601
352.39/352.45	v 14602
352.39/352.45	v 14603
352.39/352.45	v 14605
352.39/352.45	v 14606
352.39/352.45	v 14609
352.39/352.45	v 14610
352.39/352.45	v 14611
352.39/352.45	v 14612
352.39/352.45	v 14613
352.39/352.45	v 14616
352.39/352.45	v 14618
352.39/352.45	v 14619
352.39/352.45	v 14626
352.39/352.45	v 14631
352.39/352.45	v 14632
352.39/352.45	v 14633
352.39/352.45	v 14637
352.39/352.45	v 14638
352.39/352.45	v 14639
352.39/352.45	v 14640
352.39/352.45	v 14641
352.39/352.45	v 14642
352.39/352.45	v 14643
352.39/352.45	v 14644
352.39/352.45	v 14645
352.39/352.45	v 14646
352.39/352.45	v 14647
352.39/352.45	v 14648
352.39/352.45	v 14649
352.39/352.45	v 14650
352.39/352.45	v 14651
352.39/352.45	v 14652
352.39/352.45	v 14655
352.39/352.45	v 14656
352.39/352.45	v 14657
352.39/352.45	v 14658
352.39/352.45	v 14659
352.39/352.45	v 14662
352.39/352.45	v 14664
352.39/352.45	v 14665
352.39/352.45	v 14672
352.39/352.45	v 14677
352.39/352.45	v 14678
352.39/352.45	v 14679
352.39/352.45	v 14683
352.39/352.45	v 14684
352.39/352.45	v 14685
352.39/352.45	v 14686
352.39/352.45	v 14687
352.39/352.45	v 14688
352.39/352.45	v 14689
352.39/352.45	v 14690
352.39/352.45	v 14691
352.39/352.45	v 14692
352.39/352.45	v 14693
352.39/352.45	v 14694
352.39/352.45	v 14695
352.39/352.45	v 14696
352.39/352.45	v 14697
352.39/352.45	v 14698
352.39/352.45	v 14701
352.39/352.45	v 14702
352.39/352.45	v 14703
352.39/352.45	v 14704
352.39/352.45	v 14705
352.39/352.45	v 14708
352.39/352.45	v 14710
352.39/352.45	v 14711
352.39/352.45	v 14718
352.39/352.45	v 14723
352.39/352.45	v 14724
352.39/352.45	v 14725
352.39/352.45	v 14729
352.39/352.45	v 14730
352.39/352.45	v 14731
352.39/352.45	v 14732
352.39/352.45	v 14733
352.39/352.45	v 14734
352.39/352.45	v 14735
352.39/352.45	v 14736
352.39/352.45	v 14737
352.39/352.45	v 14738
352.39/352.45	v 14739
352.39/352.45	v 14740
352.39/352.45	v 14741
352.39/352.45	v 14742
352.39/352.45	v 14743
352.39/352.45	v 14744
352.39/352.45	v 14747
352.39/352.45	v 14748
352.39/352.45	v 14749
352.39/352.45	v 14750
352.39/352.45	v 14751
352.39/352.45	v 14754
352.39/352.45	v 14756
352.39/352.45	v 14757
352.39/352.45	v 14764
352.39/352.45	v 14769
352.39/352.45	v 14770
352.39/352.45	v 14771
352.39/352.45	v 14775
352.39/352.45	v 14776
352.39/352.45	v 14777
352.39/352.45	v 14778
352.39/352.45	v 14779
352.39/352.45	v 14780
352.39/352.45	v 14781
352.39/352.45	v 14782
352.39/352.45	v 14783
352.39/352.45	v 14784
352.39/352.45	v 14785
352.39/352.45	v 14786
352.39/352.45	v 14787
352.39/352.45	v 14788
352.39/352.45	v 14789
352.39/352.45	v 14790
352.39/352.45	v 14793
352.39/352.45	v 14794
352.39/352.45	v 14795
352.39/352.45	v 14796
352.39/352.45	v 14797
352.39/352.45	v 14800
352.39/352.45	v 14802
352.39/352.45	v 14803
352.39/352.45	v 14810
352.39/352.45	v 14815
352.39/352.45	v 14816
352.39/352.45	v 14817
352.39/352.45	v 14821
352.39/352.45	v 14822
352.39/352.45	v 14823
352.39/352.45	v 14824
352.39/352.45	v 14825
352.39/352.45	v 14826
352.39/352.45	v 14827
352.39/352.45	v 14828
352.39/352.45	v 14829
352.39/352.45	v 14830
352.39/352.45	v 14831
352.39/352.45	v 14832
352.39/352.45	v 14833
352.39/352.45	v 14834
352.39/352.45	v 14835
352.39/352.45	v 14836
352.39/352.45	v 14839
352.39/352.45	v 14840
352.39/352.45	v 14841
352.39/352.45	v 14842
352.39/352.45	v 14843
352.39/352.45	v 14846
352.39/352.45	v 14848
352.39/352.45	v 14849
352.39/352.45	v 14856
352.39/352.45	v 14861
352.39/352.45	v 14862
352.39/352.45	v 14863
352.39/352.45	v 14867
352.39/352.45	v 14868
352.39/352.45	v 14869
352.39/352.45	v 14870
352.39/352.45	v 14871
352.39/352.45	v 14872
352.39/352.45	v 14873
352.39/352.45	v 14874
352.39/352.45	v 14875
352.39/352.45	v 14876
352.39/352.45	v 14877
352.39/352.45	v 14878
352.39/352.45	v 14879
352.39/352.45	v 14880
352.39/352.45	v 14881
352.39/352.45	v 14882
352.39/352.45	v 14885
352.39/352.45	v 14886
352.39/352.45	v 14887
352.39/352.45	v 14888
352.39/352.45	v 14889
352.39/352.45	v 14892
352.39/352.45	v 14894
352.39/352.45	v 14895
352.39/352.45	v 14902
352.39/352.45	v 14907
352.39/352.45	v 14908
352.39/352.45	v 14909
352.39/352.45	v 14913
352.39/352.45	v 14914
352.39/352.45	v 14915
352.39/352.45	v 14916
352.39/352.45	v 14917
352.39/352.45	v 14918
352.39/352.45	v 14919
352.39/352.45	v 14920
352.39/352.45	v 14921
352.39/352.45	v 14922
352.39/352.45	v 14923
352.39/352.45	v 14924
352.39/352.45	v 14925
352.39/352.45	v 14926
352.39/352.45	v 14927
352.39/352.45	v 14928
352.39/352.45	v 14931
352.39/352.45	v 14932
352.39/352.45	v 14933
352.39/352.45	v 14934
352.39/352.45	v 14935
352.39/352.45	v 14938
352.39/352.45	v 14940
352.39/352.45	v 14941
352.39/352.45	v 14948
352.39/352.45	v 14953
352.39/352.45	v 14954
352.39/352.45	v 14955
352.39/352.45	v 14959
352.39/352.45	v 14960
352.39/352.45	v 14961
352.39/352.45	v 14962
352.39/352.45	v 14963
352.39/352.45	v 14964
352.39/352.45	v 14965
352.39/352.45	v 14966
352.39/352.45	v 14967
352.39/352.45	v 14968
352.39/352.45	v 14969
352.39/352.45	v 14970
352.39/352.45	v 14971
352.39/352.45	v 14972
352.39/352.45	v 14973
352.39/352.45	v 14974
352.39/352.45	v 14976
352.39/352.45	v 14977
352.39/352.45	v 14978
352.39/352.45	v 14979
352.39/352.45	v 14982
352.39/352.45	v 14984
352.39/352.45	v 14985
352.39/352.45	v 14992
352.39/352.45	v 14997
352.39/352.45	v 14998
352.39/352.45	v 14999
352.39/352.45	v 15003
352.39/352.45	v 15004
352.39/352.45	v 15005
352.39/352.45	v 15006
352.39/352.45	v 15007
352.39/352.45	v 15008
352.39/352.45	v 15009
352.39/352.45	v 15010
352.39/352.45	v 15011
352.39/352.45	v 15012
352.39/352.45	v 15013
352.39/352.45	v 15014
352.39/352.45	v 15015
352.39/352.45	v 15016
352.39/352.45	v 15017
352.39/352.45	v 15036
352.39/352.45	v 15037
352.39/352.45	v 15038
352.39/352.45	v 15039
352.39/352.45	v 15040
352.39/352.45	v 15042
352.39/352.45	v 15043
352.39/352.45	v 15047
352.39/352.45	v 15048
352.39/352.45	v 15049
352.39/352.45	v 15050
352.39/352.45	v 15051
352.39/352.45	v 15054
352.39/352.45	v 15060
352.39/352.45	v 15063
352.39/352.45	v 15064
352.39/352.45	v 15065
352.39/352.45	v 15067
352.39/352.45	v 15068
352.39/352.45	v 15080
352.39/352.45	v 15089
352.39/352.45	v 15090
352.39/352.45	v 15091
352.39/352.45	v 15093
352.39/352.45	v 15094
352.39/352.45	v 15095
352.39/352.45	v 15097
352.39/352.45	v 15098
352.39/352.45	v 15099
352.39/352.45	v 15100
352.39/352.45	v 15102
352.39/352.45	v 15103
352.39/352.45	v 15110
352.39/352.45	v 15113
352.39/352.45	v 15114
352.39/352.45	v 15115
352.39/352.45	v 15117
352.39/352.45	v 15118
352.39/352.45	v 15126
352.39/352.45	v 15130
352.39/352.45	v 15131
352.39/352.45	v 15132
352.39/352.45	v 15134
352.39/352.45	v 15135
352.39/352.45	v 15145
352.39/352.45	v 15151
352.39/352.45	v 15152
352.39/352.45	v 15153
352.39/352.45	v 15155
352.39/352.45	v 15156
352.39/352.45	v 15167
352.39/352.45	v 15174
352.39/352.45	v 15175
352.39/352.45	v 15176
352.39/352.45	v 15178
352.39/352.45	v 15179
352.39/352.45	v 15188
352.39/352.45	v 15194
352.39/352.45	v 15195
352.39/352.45	v 15196
352.39/352.45	v 15198
352.39/352.45	v 15199
352.39/352.45	v 15208
352.39/352.45	v 15214
352.39/352.45	v 15215
352.39/352.45	v 15216
352.39/352.45	v 15218
352.39/352.45	v 15219
352.39/352.45	v 15231
352.39/352.45	v 15240
352.39/352.45	v 15241
352.39/352.45	v 15242
352.39/352.45	v 15244
352.39/352.45	v 15245
352.39/352.45	v 15257
352.39/352.45	v 15266
352.39/352.45	v 15267
352.39/352.45	v 15268
352.39/352.45	v 15269
352.39/352.45	v 15270
352.39/352.45	v 15272
352.39/352.45	v 15273
352.39/352.45	v 15277
352.39/352.45	v 15278
352.39/352.45	v 15279
352.39/352.45	v 15280
352.39/352.45	v 15281
352.39/352.45	v 15284
352.39/352.45	v 15288
352.39/352.45	v 15293
352.39/352.45	v 15294
352.39/352.45	v 15295
352.39/352.45	v 15297
352.39/352.45	v 15298
352.39/352.45	v 15310
352.39/352.45	v 15319
352.39/352.45	v 15320
352.39/352.45	v 15321
352.39/352.45	v 15323
352.39/352.45	v 15324
352.39/352.45	v 15326
352.39/352.45	v 15327
352.39/352.45	v 15328
352.39/352.45	v 15329
352.39/352.45	v 15330
352.39/352.45	v 15332
352.39/352.45	v 15333
352.39/352.45	v 15340
352.39/352.45	v 15343
352.39/352.45	v 15344
352.39/352.45	v 15345
352.39/352.45	v 15347
352.39/352.45	v 15348
352.39/352.45	v 15356
352.39/352.45	v 15360
352.39/352.45	v 15361
352.39/352.45	v 15362
352.39/352.45	v 15364
352.39/352.45	v 15365
352.39/352.45	v 15375
352.39/352.45	v 15381
352.39/352.45	v 15382
352.39/352.45	v 15383
352.39/352.45	v 15385
352.39/352.45	v 15386
352.39/352.45	v 15397
352.39/352.45	v 15404
352.39/352.45	v 15405
352.39/352.45	v 15406
352.39/352.45	v 15408
352.39/352.45	v 15409
352.39/352.45	v 15418
352.39/352.45	v 15424
352.39/352.45	v 15425
352.39/352.45	v 15426
352.39/352.45	v 15428
352.39/352.45	v 15429
352.39/352.45	v 15438
352.39/352.45	v 15444
352.39/352.45	v 15445
352.39/352.45	v 15446
352.39/352.45	v 15448
352.39/352.45	v 15449
352.39/352.45	v 15461
352.39/352.45	v 15470
352.39/352.45	v 15471
352.39/352.45	v 15472
352.39/352.45	v 15474
352.39/352.45	v 15475
352.39/352.45	v 15487
352.39/352.45	v 15497
352.39/352.45	v 15500
352.39/352.45	v 15501
352.39/352.45	v 15502
352.39/352.45	v 15503
352.39/352.45	v 15504
352.39/352.45	v 15511
352.39/352.45	v 15512
352.39/352.45	v 15524
352.39/352.45	v 15527
352.39/352.45	v 15528
352.39/352.45	v 15529
352.39/352.45	v 15544
352.39/352.45	v 15552
352.39/352.45	v 15553
352.39/352.45	v 15554
352.39/352.45	v 15559
352.39/352.45	v 15560
352.39/352.45	v 15561
352.39/352.45	v 15562
352.39/352.45	v 15563
352.39/352.45	v 15573
352.39/352.45	v 15576
352.39/352.45	v 15577
352.39/352.45	v 15578
352.39/352.45	v 15589
352.39/352.45	v 15593
352.39/352.45	v 15594
352.39/352.45	v 15595
352.39/352.45	v 15608
352.39/352.45	v 15614
352.39/352.45	v 15615
352.39/352.45	v 15616
352.39/352.45	v 15630
352.39/352.45	v 15637
352.39/352.45	v 15638
352.39/352.45	v 15639
352.39/352.45	v 15651
352.39/352.45	v 15657
352.39/352.45	v 15658
352.39/352.45	v 15659
352.39/352.45	v 15671
352.39/352.45	v 15677
352.39/352.45	v 15678
352.39/352.45	v 15679
352.39/352.45	v 15694
352.39/352.45	v 15703
352.39/352.45	v 15704
352.39/352.45	v 15705
352.39/352.45	v 15720
352.39/352.45	v 15729
352.39/352.45	v 15730
352.39/352.45	v 15731
352.39/352.45	v 15732
352.39/352.45	v 15733
352.39/352.45	v 15740
352.39/352.45	v 15741
352.39/352.45	v 15753
352.39/352.45	v 15756
352.39/352.45	v 15757
352.39/352.45	v 15758
352.39/352.45	v 15773
352.39/352.45	v 15781
352.39/352.45	v 15782
352.39/352.45	v 15783
352.39/352.45	v 15788
352.39/352.45	v 15789
352.39/352.45	v 15790
352.39/352.45	v 15791
352.39/352.45	v 15792
352.39/352.45	v 15802
352.39/352.45	v 15805
352.39/352.45	v 15806
352.39/352.45	v 15807
352.39/352.45	v 15818
352.39/352.45	v 15822
352.39/352.45	v 15823
352.39/352.45	v 15824
352.39/352.45	v 15837
352.39/352.45	v 15843
352.39/352.45	v 15844
352.39/352.45	v 15845
352.39/352.45	v 15859
352.39/352.45	v 15866
352.39/352.45	v 15867
352.39/352.45	v 15868
352.39/352.45	v 15880
352.39/352.45	v 15886
352.39/352.45	v 15887
352.39/352.45	v 15888
352.39/352.45	v 15900
352.39/352.45	v 15906
352.39/352.45	v 15907
352.39/352.45	v 15908
352.39/352.45	v 15923
352.39/352.45	v 15932
352.39/352.45	v 15933
352.39/352.45	v 15934
352.39/352.45	v 15949
352.39/352.45	v 15958
352.39/352.45	v 16042
352.39/352.45	v 16044
352.39/352.45	v 16057
352.39/352.45	v 16059
352.39/352.45	v 16061
352.39/352.45	v 16079
352.39/352.45	v 16081
352.39/352.45	v 16083
352.39/352.45	v 16099
352.39/352.45	v 16101
352.39/352.45	v 16103
352.39/352.45	v 16188
352.39/352.45	v 16189
352.39/352.45	v 16384
352.39/352.45	v 16385
352.39/352.45	v 16386
352.39/352.45	v 16387
352.39/352.45	v 16388
352.39/352.45	v 16389
352.39/352.45	v 16392
352.39/352.45	v 16394
352.39/352.45	v 16395
352.39/352.45	v 16402
352.39/352.45	v 16413
352.39/352.45	v 16414
352.39/352.45	v 16415
352.39/352.45	v 16416
352.39/352.45	v 16432
352.39/352.45	v 16433
352.39/352.45	v 16434
352.39/352.45	v 16452
352.39/352.45	v 16465
352.39/352.45	v 16473
352.39/352.45	v 16486
352.39/352.45	v 16491
352.39/352.45	v 16492
352.39/352.45	v 16493
352.39/352.45	v 16494
352.39/352.45	v 16498
352.39/352.45	v 16499
352.39/352.45	v 16500
352.39/352.45	v 16501
352.39/352.45	v 16503
352.39/352.45	v 16504
352.39/352.45	v 16505
352.39/352.45	v 16506
352.39/352.45	v 16508
352.39/352.45	v 16509
352.39/352.45	v 16513
352.39/352.45	v 16527
352.39/352.45	v 16528
352.39/352.45	v 16529
352.39/352.45	v 16531
352.39/352.45	v 16532
352.39/352.45	v 16533
352.39/352.45	v 16534
352.39/352.45	v 16537
352.39/352.45	v 16539
352.39/352.45	v 16540
352.39/352.45	v 16541
352.39/352.45	v 16543
352.39/352.45	v 16545
352.39/352.45	v 16549
352.39/352.45	v 16550
352.39/352.45	v 16562
352.39/352.45	v 16563
352.39/352.45	v 16565
352.39/352.45	v 16566
352.39/352.45	v 16567
352.39/352.45	v 16569
352.39/352.45	v 16573
352.39/352.45	v 16574
352.39/352.45	v 16575
352.39/352.45	v 16576
352.39/352.45	v 16581
352.39/352.45	v 16582
352.39/352.45	v 16585
352.39/352.45	v 16593
352.39/352.45	v 16594
352.39/352.45	v 16595
352.39/352.45	v 16606
352.39/352.45	v 16615
352.39/352.45	v 16619
352.39/352.45	v 16621
352.39/352.45	v 16622
352.39/352.45	v 16623
352.39/352.45	v 16624
352.39/352.45	v 16625
352.39/352.45	v 16626
352.39/352.45	v 16631
352.39/352.45	v 16639
352.39/352.45	v 16644
352.39/352.45	v 16645
352.39/352.45	v 16646
352.39/352.45	v 16650
352.39/352.45	v 16655
352.39/352.45	v 16658
352.39/352.45	v 16659
352.39/352.45	v 16660
352.39/352.45	v 16661
352.39/352.45	v 16662
352.39/352.45	v 16663
352.39/352.45	v 16664
352.39/352.45	v 16665
352.39/352.45	v 16666
352.39/352.45	v 16668
352.39/352.45	v 16669
352.39/352.45	v 16670
352.39/352.45	v 16671
352.39/352.45	v 16672
352.39/352.45	v 16673
352.39/352.45	v 16679
352.39/352.45	v 16686
352.39/352.45	v 16691
352.39/352.45	v 16692
352.39/352.45	v 16693
352.39/352.45	v 16697
352.39/352.45	v 16698
352.39/352.45	v 16699
352.39/352.45	v 16701
352.39/352.45	v 16702
352.39/352.45	v 16706
352.39/352.45	v 16707
352.39/352.45	v 16708
352.39/352.45	v 16709
352.39/352.45	v 16710
352.39/352.45	v 16711
352.39/352.45	v 16713
352.39/352.45	v 16714
352.39/352.45	v 16715
352.39/352.45	v 16716
352.39/352.45	v 16717
352.39/352.45	v 16718
352.39/352.45	v 16721
352.39/352.45	v 16723
352.39/352.45	v 16724
352.39/352.45	v 16736
352.39/352.45	v 16737
352.39/352.45	v 16738
352.39/352.45	v 16742
352.39/352.45	v 16743
352.39/352.45	v 16744
352.39/352.45	v 16746
352.39/352.45	v 16747
352.39/352.45	v 16750
352.39/352.45	v 16752
352.39/352.45	v 16753
352.39/352.45	v 16756
352.39/352.45	v 16757
352.39/352.45	v 16758
352.39/352.45	v 16759
352.39/352.45	v 16760
352.39/352.45	v 16763
352.39/352.45	v 16765
352.39/352.45	v 16766
352.39/352.45	v 16773
352.39/352.45	v 16778
352.39/352.45	v 16779
352.39/352.45	v 16780
352.39/352.45	v 16784
352.39/352.45	v 16785
352.39/352.45	v 16786
352.39/352.45	v 16787
352.39/352.45	v 16789
352.39/352.45	v 16790
352.39/352.45	v 16791
352.39/352.45	v 16792
352.39/352.45	v 16793
352.39/352.45	v 16794
352.39/352.45	v 16797
352.39/352.45	v 16798
352.39/352.45	v 16799
352.39/352.45	v 16800
352.39/352.45	v 16801
352.39/352.45	v 16804
352.39/352.45	v 16806
352.39/352.45	v 16807
352.39/352.45	v 16814
352.39/352.45	v 16819
352.39/352.45	v 16820
352.39/352.45	v 16821
352.39/352.45	v 16825
352.39/352.45	v 16826
352.39/352.45	v 16827
352.39/352.45	v 16828
352.39/352.45	v 16830
352.39/352.45	v 16831
352.39/352.45	v 16832
352.39/352.45	v 16833
352.39/352.45	v 16834
352.39/352.45	v 16835
352.39/352.45	v 16838
352.39/352.45	v 16839
352.39/352.45	v 16840
352.39/352.45	v 16841
352.39/352.45	v 16842
352.39/352.45	v 16845
352.39/352.45	v 16847
352.39/352.45	v 16848
352.39/352.45	v 16855
352.39/352.45	v 16860
352.39/352.45	v 16861
352.39/352.45	v 16862
352.39/352.45	v 16866
352.39/352.45	v 16867
352.39/352.45	v 16868
352.39/352.45	v 16870
352.39/352.45	v 16871
352.39/352.45	v 16872
352.39/352.45	v 16873
352.39/352.45	v 16874
352.39/352.45	v 16875
352.39/352.45	v 16876
352.39/352.45	v 16879
352.39/352.45	v 16880
352.39/352.45	v 16881
352.39/352.45	v 16882
352.39/352.45	v 16883
352.39/352.45	v 16886
352.39/352.45	v 16888
352.39/352.45	v 16889
352.39/352.45	v 16896
352.39/352.45	v 16901
352.39/352.45	v 16902
352.39/352.45	v 16903
352.39/352.45	v 16907
352.39/352.45	v 16908
352.39/352.45	v 16909
352.39/352.45	v 16910
352.39/352.45	v 16912
352.39/352.45	v 16913
352.39/352.45	v 16914
352.39/352.45	v 16915
352.39/352.45	v 16916
352.39/352.45	v 16917
352.39/352.45	v 16920
352.39/352.45	v 16921
352.39/352.45	v 16922
352.39/352.45	v 16923
352.39/352.45	v 16924
352.39/352.45	v 16927
352.39/352.45	v 16929
352.39/352.45	v 16930
352.39/352.45	v 16937
352.39/352.45	v 16942
352.39/352.45	v 16943
352.39/352.45	v 16944
352.39/352.45	v 16948
352.39/352.45	v 16949
352.39/352.45	v 16950
352.39/352.45	v 16951
352.39/352.45	v 16953
352.39/352.45	v 16954
352.39/352.45	v 16955
352.39/352.45	v 16956
352.39/352.45	v 16957
352.39/352.45	v 16958
352.39/352.45	v 16961
352.39/352.45	v 16962
352.39/352.45	v 16963
352.39/352.45	v 16964
352.39/352.45	v 16965
352.39/352.45	v 16968
352.39/352.45	v 16970
352.39/352.45	v 16971
352.39/352.45	v 16978
352.39/352.45	v 16983
352.39/352.45	v 16984
352.39/352.45	v 16985
352.39/352.45	v 16989
352.39/352.45	v 16990
352.39/352.45	v 16991
352.39/352.45	v 16992
352.39/352.45	v 16994
352.39/352.45	v 16995
352.39/352.45	v 16996
352.39/352.45	v 16997
352.39/352.45	v 16998
352.39/352.45	v 16999
352.39/352.45	v 17002
352.39/352.45	v 17003
352.39/352.45	v 17004
352.39/352.45	v 17005
352.39/352.45	v 17006
352.39/352.45	v 17009
352.39/352.45	v 17011
352.39/352.45	v 17012
352.39/352.45	v 17019
352.39/352.45	v 17024
352.39/352.45	v 17025
352.39/352.45	v 17026
352.39/352.45	v 17030
352.39/352.45	v 17031
352.39/352.45	v 17032
352.39/352.45	v 17033
352.39/352.45	v 17035
352.39/352.45	v 17036
352.39/352.45	v 17037
352.39/352.45	v 17038
352.39/352.45	v 17039
352.39/352.45	v 17040
352.39/352.45	v 17043
352.39/352.45	v 17044
352.39/352.45	v 17045
352.39/352.45	v 17046
352.39/352.45	v 17047
352.39/352.45	v 17050
352.39/352.45	v 17052
352.39/352.45	v 17053
352.39/352.45	v 17060
352.39/352.45	v 17065
352.39/352.45	v 17066
352.39/352.45	v 17067
352.39/352.45	v 17071
352.39/352.45	v 17072
352.39/352.45	v 17073
352.39/352.45	v 17074
352.39/352.45	v 17076
352.39/352.45	v 17077
352.39/352.45	v 17078
352.39/352.45	v 17079
352.39/352.45	v 17080
352.39/352.45	v 17081
352.39/352.45	v 17083
352.39/352.45	v 17084
352.39/352.45	v 17085
352.39/352.45	v 17086
352.39/352.45	v 17089
352.39/352.45	v 17091
352.39/352.45	v 17092
352.39/352.45	v 17099
352.39/352.45	v 17104
352.39/352.45	v 17105
352.39/352.45	v 17106
352.39/352.45	v 17110
352.39/352.45	v 17111
352.39/352.45	v 17112
352.39/352.45	v 17113
352.39/352.45	v 17115
352.39/352.45	v 17116
352.39/352.45	v 17117
352.39/352.45	v 17118
352.39/352.45	v 17119
352.39/352.45	v 17215
352.39/352.45	v 17217
352.39/352.45	v 17219
352.39/352.45	v 17245
352.39/352.45	v 17247
352.39/352.45	v 17249
352.39/352.45	v 17257
352.39/352.45	v 17275
352.39/352.45	v 17277
352.39/352.45	v 17279
352.39/352.45	v 17286
352.39/352.45	v 17302
352.39/352.45	v 17304
352.39/352.45	v 17306
352.39/352.45	v 17313
352.39/352.45	v 17316
352.39/352.45	v 17317
352.39/352.45	v 17318
352.39/352.45	v 17319
352.39/352.45	v 17321
352.39/352.45	v 17322
352.39/352.45	v 17326
352.39/352.45	v 17327
352.39/352.45	v 17328
352.39/352.45	v 17329
352.39/352.45	v 17331
352.39/352.45	v 17332
352.39/352.45	v 17338
352.39/352.45	v 17341
352.39/352.45	v 17342
352.39/352.45	v 17344
352.39/352.45	v 17345
352.39/352.45	v 17357
352.39/352.45	v 17365
352.39/352.45	v 17366
352.39/352.45	v 17378
352.39/352.45	v 17379
352.39/352.45	v 17381
352.39/352.45	v 17382
352.39/352.45	v 17383
352.39/352.45	v 17385
352.39/352.45	v 17386
352.39/352.45	v 17387
352.39/352.45	v 17389
352.39/352.45	v 17390
352.39/352.45	v 17397
352.39/352.45	v 17400
352.39/352.45	v 17401
352.39/352.45	v 17403
352.39/352.45	v 17404
352.39/352.45	v 17412
352.39/352.45	v 17416
352.39/352.45	v 17417
352.39/352.45	v 17419
352.39/352.45	v 17420
352.39/352.45	v 17430
352.39/352.45	v 17436
352.39/352.45	v 17437
352.39/352.45	v 17439
352.39/352.45	v 17440
352.39/352.45	v 17451
352.39/352.45	v 17458
352.39/352.45	v 17459
352.39/352.45	v 17461
352.39/352.45	v 17462
352.39/352.45	v 17471
352.39/352.45	v 17477
352.39/352.45	v 17478
352.39/352.45	v 17480
352.39/352.45	v 17481
352.39/352.45	v 17490
352.39/352.45	v 17496
352.39/352.45	v 17497
352.39/352.45	v 17499
352.39/352.45	v 17500
352.39/352.45	v 17512
352.39/352.45	v 17521
352.39/352.45	v 17522
352.39/352.45	v 17524
352.39/352.45	v 17525
352.39/352.45	v 17537
352.39/352.45	v 17538
352.39/352.45	v 17541
352.39/352.45	v 17542
352.39/352.45	v 17543
352.39/352.45	v 17544
352.39/352.45	v 17545
352.39/352.45	v 17546
352.39/352.45	v 17549
352.39/352.45	v 17550
352.39/352.45	v 17553
352.39/352.45	v 17554
352.39/352.45	v 17557
352.39/352.45	v 17558
352.39/352.45	v 17561
352.39/352.45	v 17562
352.39/352.45	v 17565
352.39/352.45	v 17566
352.39/352.45	v 17570
352.39/352.45	v 17571
352.39/352.45	v 17572
352.39/352.45	v 17573
352.39/352.45	v 17575
352.39/352.45	v 17576
352.39/352.45	v 17580
352.39/352.45	v 17581
352.39/352.45	v 17582
352.39/352.45	v 17583
352.39/352.45	v 17585
352.39/352.45	v 17586
352.39/352.45	v 17589
352.39/352.45	v 17595
352.39/352.45	v 17596
352.39/352.45	v 17598
352.39/352.45	v 17599
352.39/352.45	v 17611
352.39/352.45	v 17619
352.39/352.45	v 17620
352.39/352.45	v 17632
352.39/352.45	v 17633
352.39/352.45	v 17635
352.39/352.45	v 17636
352.39/352.45	v 17638
352.39/352.45	v 17639
352.39/352.45	v 17640
352.39/352.45	v 17641
352.39/352.45	v 17643
352.39/352.45	v 17644
352.39/352.45	v 17651
352.39/352.45	v 17654
352.39/352.45	v 17655
352.39/352.45	v 17657
352.39/352.45	v 17658
352.39/352.45	v 17666
352.39/352.45	v 17670
352.39/352.45	v 17671
352.39/352.45	v 17673
352.39/352.45	v 17674
352.39/352.45	v 17684
352.39/352.45	v 17690
352.39/352.45	v 17691
352.39/352.45	v 17693
352.39/352.45	v 17694
352.39/352.45	v 17705
352.39/352.45	v 17712
352.39/352.45	v 17713
352.39/352.45	v 17715
352.39/352.45	v 17716
352.39/352.45	v 17725
352.39/352.45	v 17731
352.39/352.45	v 17732
352.39/352.45	v 17734
352.39/352.45	v 17735
352.39/352.45	v 17744
352.39/352.45	v 17750
352.39/352.45	v 17751
352.39/352.45	v 17753
352.39/352.45	v 17754
352.39/352.45	v 17766
352.39/352.45	v 17775
352.39/352.45	v 17776
352.39/352.45	v 17778
352.39/352.45	v 17779
352.39/352.45	v 17791
352.39/352.45	v 17792
352.39/352.45	v 17795
352.39/352.45	v 17796
352.39/352.45	v 17797
352.39/352.45	v 17798
352.39/352.45	v 17799
352.39/352.45	v 17800
352.39/352.45	v 17803
352.39/352.45	v 17804
352.39/352.45	v 17807
352.39/352.45	v 17808
352.39/352.45	v 17811
352.39/352.45	v 17812
352.39/352.45	v 17815
352.39/352.45	v 17816
352.39/352.45	v 17819
352.39/352.45	v 17820
352.39/352.45	v 17826
352.39/352.45	v 17829
352.39/352.45	v 17831
352.39/352.45	v 17837
352.39/352.45	v 17838
352.39/352.45	v 17839
352.39/352.45	v 17840
352.39/352.45	v 17844
352.39/352.45	v 17847
352.39/352.45	v 17848
352.39/352.45	v 17849
352.39/352.45	v 17850
352.39/352.45	v 17855
352.39/352.45	v 17859
352.39/352.45	v 17862
352.39/352.45	v 17863
352.39/352.45	v 17866
352.39/352.45	v 17874
352.39/352.45	v 17875
352.39/352.45	v 17878
352.39/352.45	v 17891
352.39/352.45	v 17892
352.39/352.45	v 17895
352.39/352.45	v 17897
352.39/352.45	v 17898
352.39/352.45	v 17899
352.39/352.45	v 17900
352.39/352.45	v 17903
352.39/352.45	v 17906
352.39/352.45	v 17913
352.39/352.45	v 17914
352.39/352.45	v 17917
352.39/352.45	v 17921
352.39/352.45	v 17929
352.39/352.45	v 17930
352.39/352.45	v 17933
352.39/352.45	v 17939
352.39/352.45	v 17949
352.39/352.45	v 17950
352.39/352.45	v 17953
352.39/352.45	v 17960
352.39/352.45	v 17971
352.39/352.45	v 17972
352.39/352.45	v 17975
352.39/352.45	v 17980
352.39/352.45	v 17990
352.39/352.45	v 17991
352.39/352.45	v 17994
352.39/352.45	v 17999
352.39/352.45	v 18009
352.39/352.45	v 18010
352.39/352.45	v 18013
352.39/352.45	v 18021
352.39/352.45	v 18034
352.39/352.45	v 18035
352.39/352.45	v 18038
352.39/352.45	v 18039
352.39/352.45	v 18042
352.39/352.45	v 18043
352.39/352.45	v 18044
352.39/352.45	v 18045
352.39/352.45	v 18046
352.39/352.45	v 18047
352.39/352.45	v 18050
352.39/352.45	v 18051
352.39/352.45	v 18054
352.39/352.45	v 18055
352.39/352.45	v 18058
352.39/352.45	v 18059
352.39/352.45	v 18062
352.39/352.45	v 18063
352.39/352.45	v 18066
352.39/352.45	v 18067
352.39/352.45	v 18070
352.39/352.45	v 18083
352.39/352.45	v 18084
352.39/352.45	v 18085
352.39/352.45	v 18086
352.39/352.45	v 18090
352.39/352.45	v 18093
352.39/352.45	v 18094
352.39/352.45	v 18095
352.39/352.45	v 18096
352.39/352.45	v 18101
352.39/352.45	v 18104
352.39/352.45	v 18108
352.39/352.45	v 18109
352.39/352.45	v 18112
352.39/352.45	v 18120
352.39/352.45	v 18121
352.39/352.45	v 18124
352.39/352.45	v 18137
352.39/352.45	v 18138
352.39/352.45	v 18141
352.39/352.45	v 18143
352.39/352.45	v 18144
352.39/352.45	v 18145
352.39/352.45	v 18146
352.39/352.45	v 18149
352.39/352.45	v 18152
352.39/352.45	v 18159
352.39/352.45	v 18160
352.39/352.45	v 18163
352.39/352.45	v 18167
352.39/352.45	v 18175
352.39/352.45	v 18176
352.39/352.45	v 18179
352.39/352.45	v 18185
352.39/352.45	v 18195
352.39/352.45	v 18196
352.39/352.45	v 18199
352.39/352.45	v 18206
352.39/352.45	v 18217
352.39/352.45	v 18218
352.39/352.45	v 18221
352.39/352.45	v 18226
352.39/352.45	v 18236
352.39/352.45	v 18237
352.39/352.45	v 18240
352.39/352.45	v 18245
352.39/352.45	v 18255
352.39/352.45	v 18256
352.39/352.45	v 18259
352.39/352.45	v 18267
352.39/352.45	v 18280
352.39/352.45	v 18281
352.39/352.45	v 18284
352.39/352.45	v 18285
352.39/352.45	v 18288
352.39/352.45	v 18289
352.39/352.45	v 18290
352.39/352.45	v 18291
352.39/352.45	v 18292
352.39/352.45	v 18293
352.39/352.45	v 18296
352.39/352.45	v 18297
352.39/352.45	v 18300
352.39/352.45	v 18301
352.39/352.45	v 18304
352.39/352.45	v 18305
352.39/352.45	v 18308
352.39/352.45	v 18309
352.39/352.45	v 18312
352.39/352.45	v 18313
352.39/352.45	v 18316
352.39/352.45	v 18329
352.39/352.45	v 18333
352.39/352.45	v 18334
352.39/352.45	v 18335
352.39/352.45	v 18342
352.39/352.45	v 18343
352.39/352.45	v 18354
352.39/352.45	v 18357
352.39/352.45	v 18358
352.39/352.45	v 18361
352.39/352.45	v 18369
352.39/352.45	v 18370
352.39/352.45	v 18384
352.39/352.45	v 18385
352.39/352.45	v 18387
352.39/352.45	v 18388
352.39/352.45	v 18393
352.39/352.45	v 18394
352.39/352.45	v 18395
352.39/352.45	v 18396
352.39/352.45	v 18399
352.39/352.45	v 18409
352.39/352.45	v 18410
352.39/352.45	v 18413
352.39/352.45	v 18425
352.39/352.45	v 18426
352.39/352.45	v 18429
352.39/352.45	v 18445
352.39/352.45	v 18446
352.39/352.45	v 18449
352.39/352.45	v 18467
352.39/352.45	v 18468
352.39/352.45	v 18471
352.39/352.45	v 18486
352.39/352.45	v 18487
352.39/352.45	v 18490
352.39/352.45	v 18505
352.39/352.45	v 18506
352.39/352.45	v 18509
352.39/352.45	v 18530
352.39/352.45	v 18531
352.39/352.45	v 18533
352.39/352.45	v 18534
352.39/352.45	v 18535
352.39/352.45	v 18538
352.39/352.45	v 18539
352.39/352.45	v 18540
352.39/352.45	v 18541
352.39/352.45	v 18542
352.39/352.45	v 18543
352.39/352.45	v 18546
352.39/352.45	v 18547
352.39/352.45	v 18550
352.39/352.45	v 18551
352.39/352.45	v 18554
352.39/352.45	v 18555
352.39/352.45	v 18558
352.39/352.45	v 18559
352.39/352.45	v 18562
352.39/352.45	v 18563
352.39/352.45	v 18566
352.39/352.45	v 18567
352.39/352.45	v 18568
352.39/352.45	v 18569
352.39/352.45	v 18570
352.39/352.45	v 18575
352.39/352.45	v 18583
352.39/352.45	v 18596
352.39/352.45	v 18604
352.39/352.45	v 18605
352.39/352.45	v 18608
352.39/352.45	v 18611
352.39/352.45	v 18612
352.39/352.45	v 18613
352.39/352.45	v 18614
352.39/352.45	v 18615
352.39/352.45	v 18616
352.39/352.45	v 18617
352.39/352.45	v 18618
352.39/352.45	v 18620
352.39/352.45	v 18621
352.39/352.45	v 18622
352.39/352.45	v 18623
352.39/352.45	v 18624
352.39/352.45	v 18625
352.39/352.45	v 18631
352.39/352.45	v 18638
352.39/352.45	v 18643
352.39/352.45	v 18644
352.39/352.45	v 18650
352.39/352.45	v 18651
352.39/352.45	v 18653
352.39/352.45	v 18659
352.39/352.45	v 18660
352.39/352.45	v 18664
352.39/352.45	v 18667
352.39/352.45	v 18668
352.39/352.45	v 18669
352.39/352.45	v 18670
352.39/352.45	v 18671
352.39/352.45	v 18673
352.39/352.45	v 18674
352.39/352.45	v 18675
352.39/352.45	v 18676
352.39/352.45	v 18677
352.39/352.45	v 18678
352.39/352.45	v 18681
352.39/352.45	v 18683
352.39/352.45	v 18684
352.39/352.45	v 18696
352.39/352.45	v 18697
352.39/352.45	v 18700
352.39/352.45	v 18703
352.39/352.45	v 18704
352.39/352.45	v 18713
352.39/352.45	v 18714
352.39/352.45	v 18715
352.39/352.45	v 18716
352.39/352.45	v 18719
352.39/352.45	v 18720
352.39/352.45	v 18721
352.39/352.45	v 18724
352.39/352.45	v 18725
352.39/352.45	v 18726
352.39/352.45	v 18727
352.39/352.45	v 18728
352.39/352.45	v 18731
352.39/352.45	v 18733
352.39/352.45	v 18734
352.39/352.45	v 18741
352.39/352.45	v 18746
352.39/352.45	v 18747
352.39/352.45	v 18748
352.39/352.45	v 18751
352.39/352.45	v 18754
352.39/352.45	v 18756
352.39/352.45	v 18760
352.39/352.45	v 18761
352.39/352.45	v 18762
352.39/352.45	v 18763
352.39/352.45	v 18764
352.39/352.45	v 18765
352.39/352.45	v 18766
352.39/352.45	v 18767
352.39/352.45	v 18770
352.39/352.45	v 18773
352.39/352.45	v 18774
352.39/352.45	v 18775
352.39/352.45	v 18776
352.39/352.45	v 18777
352.39/352.45	v 18780
352.39/352.45	v 18782
352.39/352.45	v 18783
352.39/352.45	v 18790
352.39/352.45	v 18795
352.39/352.45	v 18796
352.39/352.45	v 18797
352.39/352.45	v 18800
352.39/352.45	v 18803
352.39/352.45	v 18805
352.39/352.45	v 18809
352.39/352.45	v 18810
352.39/352.45	v 18811
352.39/352.45	v 18812
352.39/352.45	v 18813
352.39/352.45	v 18814
352.39/352.45	v 18815
352.39/352.45	v 18816
352.39/352.45	v 18819
352.39/352.45	v 18822
352.39/352.45	v 18823
352.39/352.45	v 18824
352.39/352.45	v 18825
352.39/352.45	v 18826
352.39/352.45	v 18829
352.39/352.45	v 18831
352.39/352.45	v 18832
352.39/352.45	v 18839
352.39/352.45	v 18844
352.39/352.45	v 18845
352.39/352.45	v 18848
352.39/352.45	v 18851
352.39/352.45	v 18852
352.39/352.45	v 18854
352.39/352.45	v 18858
352.39/352.45	v 18859
352.39/352.45	v 18860
352.39/352.45	v 18861
352.39/352.45	v 18862
352.39/352.45	v 18863
352.39/352.45	v 18864
352.39/352.45	v 18867
352.39/352.45	v 18868
352.39/352.45	v 18871
352.39/352.45	v 18872
352.39/352.45	v 18873
352.39/352.45	v 18874
352.39/352.45	v 18875
352.39/352.45	v 18878
352.39/352.45	v 18880
352.39/352.45	v 18881
352.39/352.45	v 18888
352.39/352.45	v 18893
352.39/352.45	v 18894
352.39/352.45	v 18895
352.39/352.45	v 18898
352.39/352.45	v 18901
352.39/352.45	v 18903
352.39/352.45	v 18907
352.39/352.45	v 18908
352.39/352.45	v 18909
352.39/352.45	v 18910
352.39/352.45	v 18911
352.39/352.45	v 18912
352.39/352.45	v 18913
352.39/352.45	v 18914
352.39/352.45	v 18917
352.39/352.45	v 18920
352.39/352.45	v 18921
352.39/352.45	v 18922
352.39/352.45	v 18923
352.39/352.45	v 18924
352.39/352.45	v 18927
352.39/352.45	v 18929
352.39/352.45	v 18930
352.39/352.45	v 18937
352.39/352.45	v 18942
352.39/352.45	v 18943
352.39/352.45	v 18944
352.39/352.45	v 18947
352.39/352.45	v 18950
352.39/352.45	v 18952
352.39/352.45	v 18956
352.39/352.45	v 18957
352.39/352.45	v 18958
352.39/352.45	v 18959
352.39/352.45	v 18960
352.39/352.45	v 18961
352.39/352.45	v 18962
352.39/352.45	v 18963
352.39/352.45	v 18966
352.39/352.45	v 18969
352.39/352.45	v 18970
352.39/352.45	v 18971
352.39/352.45	v 18972
352.39/352.45	v 18973
352.39/352.45	v 18976
352.39/352.45	v 18978
352.39/352.45	v 18979
352.39/352.45	v 18986
352.39/352.45	v 18991
352.39/352.45	v 18992
352.39/352.45	v 18993
352.39/352.45	v 18996
352.39/352.45	v 18999
352.39/352.45	v 19001
352.39/352.45	v 19005
352.39/352.45	v 19006
352.39/352.45	v 19007
352.39/352.45	v 19008
352.39/352.45	v 19009
352.39/352.45	v 19010
352.39/352.45	v 19011
352.39/352.45	v 19012
352.39/352.45	v 19015
352.39/352.45	v 19018
352.39/352.45	v 19019
352.39/352.45	v 19020
352.39/352.45	v 19021
352.39/352.45	v 19022
352.39/352.45	v 19028
352.39/352.45	v 19035
352.39/352.45	v 19036
352.39/352.45	v 19037
352.39/352.45	v 19038
352.39/352.45	v 19040
352.39/352.45	v 19041
352.39/352.45	v 19042
352.39/352.45	v 19045
352.39/352.45	v 19048
352.39/352.45	v 19050
352.39/352.45	v 19054
352.39/352.45	v 19055
352.39/352.45	v 19056
352.39/352.45	v 19057
352.39/352.45	v 19058
352.39/352.45	v 19059
352.39/352.45	v 19060
352.39/352.45	v 19061
352.39/352.45	v 19064
352.39/352.45	v 19067
352.39/352.45	v 19068
352.39/352.45	v 19069
352.39/352.45	v 19070
352.39/352.45	v 19071
352.39/352.45	v 19074
352.39/352.45	v 19076
352.39/352.45	v 19077
352.39/352.45	v 19084
352.39/352.45	v 19089
352.39/352.45	v 19090
352.39/352.45	v 19091
352.39/352.45	v 19094
352.39/352.45	v 19097
352.39/352.45	v 19099
352.39/352.45	v 19103
352.39/352.45	v 19104
352.39/352.45	v 19105
352.39/352.45	v 19106
352.39/352.45	v 19107
352.39/352.45	v 19108
352.39/352.45	v 19109
352.39/352.45	v 19110
352.39/352.45	v 19113
352.39/352.45	v 19115
352.39/352.45	v 19116
352.39/352.45	v 19117
352.39/352.45	v 19118
352.39/352.45	v 19121
352.39/352.45	v 19123
352.39/352.45	v 19124
352.39/352.45	v 19131
352.39/352.45	v 19136
352.39/352.45	v 19137
352.39/352.45	v 19138
352.39/352.45	v 19141
352.39/352.45	v 19144
352.39/352.45	v 19146
352.39/352.45	v 19150
352.39/352.45	v 19151
352.39/352.45	v 19152
352.39/352.45	v 19153
352.39/352.45	v 19154
352.39/352.45	v 19155
352.39/352.45	v 19156
352.39/352.45	v 19157
352.39/352.45	v 19164
352.39/352.45	v 19165
352.39/352.45	v 19166
352.39/352.45	v 19173
352.39/352.45	v 19174
352.39/352.45	v 19184
352.39/352.45	v 19188
352.39/352.45	v 19189
352.39/352.45	v 19192
352.39/352.45	v 19200
352.39/352.45	v 19201
352.39/352.45	v 19215
352.39/352.45	v 19216
352.39/352.45	v 19221
352.39/352.45	v 19222
352.39/352.45	v 19223
352.39/352.45	v 19224
352.39/352.45	v 19227
352.39/352.45	v 19237
352.39/352.45	v 19238
352.39/352.45	v 19241
352.39/352.45	v 19253
352.39/352.45	v 19254
352.39/352.45	v 19257
352.39/352.45	v 19273
352.39/352.45	v 19274
352.39/352.45	v 19277
352.39/352.45	v 19295
352.39/352.45	v 19296
352.39/352.45	v 19299
352.39/352.45	v 19314
352.39/352.45	v 19315
352.39/352.45	v 19318
352.39/352.45	v 19333
352.39/352.45	v 19334
352.39/352.45	v 19337
352.39/352.45	v 19358
352.39/352.45	v 19359
352.39/352.45	v 19361
352.39/352.45	v 19362
352.39/352.45	v 19363
352.39/352.45	v 19366
352.39/352.45	v 19367
352.39/352.45	v 19368
352.39/352.45	v 19369
352.39/352.45	v 19370
352.39/352.45	v 19371
352.39/352.45	v 19374
352.39/352.45	v 19375
352.39/352.45	v 19378
352.39/352.45	v 19379
352.39/352.45	v 19382
352.39/352.45	v 19383
352.39/352.45	v 19386
352.39/352.45	v 19387
352.39/352.45	v 19390
352.39/352.45	v 19391
352.39/352.45	v 19408
352.39/352.45	v 19409
352.39/352.45	v 19410
352.39/352.45	v 19411
352.39/352.45	v 19412
352.39/352.45	v 19413
352.39/352.45	v 19414
352.39/352.45	v 19415
352.39/352.45	v 19416
352.39/352.45	v 19417
352.39/352.45	v 19418
352.39/352.45	v 19419
352.39/352.45	v 19420
352.39/352.45	v 19421
352.39/352.45	v 19422
352.39/352.45	v 19423
352.39/352.45	v 19424
352.39/352.45	v 19425
352.39/352.45	v 19426
352.39/352.45	v 19427
352.39/352.45	v 19428
352.39/352.45	v 19429
352.39/352.45	v 19430
352.39/352.45	v 19431
352.39/352.45	v 19432
352.39/352.45	v 19433
352.39/352.45	v 19434
352.39/352.45	v 19435
352.39/352.45	v 19515
352.39/352.45	v 19516
352.39/352.45	v 19530
352.39/352.45	v 19531
352.39/352.45	v 19714
352.39/352.45	v 19715
352.39/352.45	v 19716
352.39/352.45	v 19717
352.39/352.45	v 19718
352.39/352.45	v 19719
352.39/352.45	v 19722
352.39/352.45	v 19724
352.39/352.45	v 19725
352.39/352.45	v 19732
352.39/352.45	v 19743
352.39/352.45	v 19744
352.39/352.45	v 19745
352.39/352.45	v 19746
352.39/352.45	v 19762
352.39/352.45	v 19763
352.39/352.45	v 19764
352.39/352.45	v 19782
352.39/352.45	v 19795
352.39/352.45	v 19803
352.39/352.45	v 19816
352.39/352.45	v 19821
352.39/352.45	v 19822
352.39/352.45	v 19823
352.39/352.45	v 19824
352.39/352.45	v 19828
352.39/352.45	v 19829
352.39/352.45	v 19830
352.39/352.45	v 19831
352.39/352.45	v 19833
352.39/352.45	v 19834
352.39/352.45	v 19835
352.39/352.45	v 19836
352.39/352.45	v 19838
352.39/352.45	v 19839
352.39/352.45	v 19842
352.39/352.45	v 19857
352.39/352.45	v 19858
352.39/352.45	v 19859
352.39/352.45	v 19861
352.39/352.45	v 19862
352.39/352.45	v 19863
352.39/352.45	v 19864
352.39/352.45	v 19867
352.39/352.45	v 19869
352.39/352.45	v 19870
352.39/352.45	v 19871
352.39/352.45	v 19873
352.39/352.45	v 19875
352.39/352.45	v 19879
352.39/352.45	v 19880
352.39/352.45	v 19892
352.39/352.45	v 19893
352.39/352.45	v 19895
352.39/352.45	v 19896
352.39/352.45	v 19897
352.39/352.45	v 19899
352.39/352.45	v 19903
352.39/352.45	v 19904
352.39/352.45	v 19905
352.39/352.45	v 19906
352.39/352.45	v 19911
352.39/352.45	v 19912
352.39/352.45	v 19915
352.39/352.45	v 19923
352.39/352.45	v 19924
352.39/352.45	v 19925
352.39/352.45	v 19936
352.39/352.45	v 19945
352.39/352.45	v 19949
352.39/352.45	v 19950
352.39/352.45	v 19952
352.39/352.45	v 19953
352.39/352.45	v 19954
352.39/352.45	v 19956
352.39/352.45	v 19957
352.39/352.45	v 19958
352.39/352.45	v 19959
352.39/352.45	v 19960
352.39/352.45	v 19961
352.39/352.45	v 19962
352.39/352.45	v 19964
352.39/352.45	v 19965
352.39/352.45	v 19966
352.39/352.45	v 19967
352.39/352.45	v 19968
352.39/352.45	v 19969
352.39/352.45	v 19970
352.39/352.45	v 19971
352.39/352.45	v 19972
352.39/352.45	v 19973
352.39/352.45	v 19974
352.39/352.45	v 19975
352.39/352.45	v 19976
352.39/352.45	v 19979
352.39/352.45	v 19980
352.39/352.45	v 19981
352.39/352.45	v 19982
352.39/352.45	v 19983
352.39/352.45	v 19984
352.39/352.45	v 19989
352.39/352.45	v 19997
352.39/352.45	v 20002
352.39/352.45	v 20003
352.39/352.45	v 20004
352.39/352.45	v 20008
352.39/352.45	v 20013
352.39/352.45	v 20016
352.39/352.45	v 20017
352.39/352.45	v 20018
352.39/352.45	v 20019
352.39/352.45	v 20020
352.39/352.45	v 20021
352.39/352.45	v 20022
352.39/352.45	v 20023
352.39/352.45	v 20024
352.39/352.45	v 20026
352.39/352.45	v 20027
352.39/352.45	v 20028
352.39/352.45	v 20029
352.39/352.45	v 20030
352.39/352.45	v 20031
352.39/352.45	v 20037
352.39/352.45	v 20044
352.39/352.45	v 20049
352.39/352.45	v 20050
352.39/352.45	v 20051
352.39/352.45	v 20055
352.39/352.45	v 20056
352.39/352.45	v 20057
352.39/352.45	v 20059
352.39/352.45	v 20060
352.39/352.45	v 20064
352.39/352.45	v 20065
352.39/352.45	v 20066
352.39/352.45	v 20067
352.39/352.45	v 20068
352.39/352.45	v 20069
352.39/352.45	v 20071
352.39/352.45	v 20072
352.39/352.45	v 20073
352.39/352.45	v 20074
352.39/352.45	v 20075
352.39/352.45	v 20076
352.39/352.45	v 20079
352.39/352.45	v 20081
352.39/352.45	v 20082
352.39/352.45	v 20094
352.39/352.45	v 20095
352.39/352.45	v 20096
352.39/352.45	v 20100
352.39/352.45	v 20101
352.39/352.45	v 20102
352.39/352.45	v 20104
352.39/352.45	v 20105
352.39/352.45	v 20108
352.39/352.45	v 20110
352.39/352.45	v 20111
352.39/352.45	v 20114
352.39/352.45	v 20115
352.39/352.45	v 20116
352.39/352.45	v 20117
352.39/352.45	v 20118
352.39/352.45	v 20121
352.39/352.45	v 20123
352.39/352.45	v 20124
352.39/352.45	v 20131
352.39/352.45	v 20136
352.39/352.45	v 20137
352.39/352.45	v 20138
352.39/352.45	v 20142
352.39/352.45	v 20143
352.39/352.45	v 20144
352.39/352.45	v 20145
352.39/352.45	v 20147
352.39/352.45	v 20148
352.39/352.45	v 20149
352.39/352.45	v 20150
352.39/352.45	v 20151
352.39/352.45	v 20152
352.39/352.45	v 20155
352.39/352.45	v 20156
352.39/352.45	v 20157
352.39/352.45	v 20158
352.39/352.45	v 20159
352.39/352.45	v 20162
352.39/352.45	v 20164
352.39/352.45	v 20165
352.39/352.45	v 20172
352.39/352.45	v 20177
352.39/352.45	v 20178
352.39/352.45	v 20179
352.39/352.45	v 20183
352.39/352.45	v 20184
352.39/352.45	v 20185
352.39/352.45	v 20186
352.39/352.45	v 20188
352.39/352.45	v 20189
352.39/352.45	v 20190
352.39/352.45	v 20191
352.39/352.45	v 20192
352.39/352.45	v 20193
352.39/352.45	v 20196
352.39/352.45	v 20197
352.39/352.45	v 20198
352.39/352.45	v 20199
352.39/352.45	v 20200
352.39/352.45	v 20203
352.39/352.45	v 20205
352.39/352.45	v 20206
352.39/352.45	v 20213
352.39/352.45	v 20218
352.39/352.45	v 20219
352.39/352.45	v 20220
352.39/352.45	v 20224
352.39/352.45	v 20225
352.39/352.45	v 20226
352.39/352.45	v 20228
352.39/352.45	v 20229
352.39/352.45	v 20230
352.39/352.45	v 20231
352.39/352.45	v 20232
352.39/352.45	v 20233
352.39/352.45	v 20234
352.39/352.45	v 20237
352.39/352.45	v 20238
352.39/352.45	v 20239
352.39/352.45	v 20240
352.39/352.45	v 20241
352.39/352.45	v 20244
352.39/352.45	v 20246
352.39/352.45	v 20247
352.39/352.45	v 20254
352.39/352.45	v 20259
352.39/352.45	v 20260
352.39/352.45	v 20261
352.39/352.45	v 20265
352.39/352.45	v 20266
352.39/352.45	v 20267
352.39/352.45	v 20268
352.39/352.45	v 20270
352.39/352.45	v 20271
352.39/352.45	v 20272
352.39/352.45	v 20273
352.39/352.45	v 20274
352.39/352.45	v 20275
352.39/352.45	v 20278
352.39/352.45	v 20279
352.39/352.45	v 20280
352.39/352.45	v 20281
352.39/352.45	v 20282
352.39/352.45	v 20285
352.39/352.45	v 20287
352.39/352.45	v 20288
352.39/352.45	v 20295
352.39/352.45	v 20300
352.39/352.45	v 20301
352.39/352.45	v 20302
352.39/352.45	v 20306
352.39/352.45	v 20307
352.39/352.45	v 20308
352.39/352.45	v 20309
352.39/352.45	v 20311
352.39/352.45	v 20312
352.39/352.45	v 20313
352.39/352.45	v 20314
352.39/352.45	v 20315
352.39/352.45	v 20316
352.39/352.45	v 20319
352.39/352.45	v 20320
352.39/352.45	v 20321
352.39/352.45	v 20322
352.39/352.45	v 20323
352.39/352.45	v 20326
352.39/352.45	v 20328
352.39/352.45	v 20329
352.39/352.45	v 20336
352.39/352.45	v 20341
352.39/352.45	v 20342
352.39/352.45	v 20343
352.39/352.45	v 20347
352.39/352.45	v 20348
352.39/352.45	v 20349
352.39/352.45	v 20350
352.39/352.45	v 20352
352.39/352.45	v 20353
352.39/352.45	v 20354
352.39/352.45	v 20355
352.39/352.45	v 20356
352.39/352.45	v 20357
352.39/352.45	v 20360
352.39/352.45	v 20361
352.39/352.45	v 20362
352.39/352.45	v 20363
352.39/352.45	v 20364
352.39/352.45	v 20367
352.39/352.45	v 20369
352.39/352.45	v 20370
352.39/352.45	v 20377
352.39/352.45	v 20382
352.39/352.45	v 20383
352.39/352.45	v 20384
352.39/352.45	v 20388
352.39/352.45	v 20389
352.39/352.45	v 20390
352.39/352.45	v 20391
352.39/352.45	v 20393
352.39/352.45	v 20394
352.39/352.45	v 20395
352.39/352.45	v 20396
352.39/352.45	v 20397
352.39/352.45	v 20398
352.39/352.45	v 20401
352.39/352.45	v 20402
352.39/352.45	v 20403
352.39/352.45	v 20404
352.39/352.45	v 20405
352.39/352.45	v 20408
352.39/352.45	v 20410
352.39/352.45	v 20411
352.39/352.45	v 20418
352.39/352.45	v 20423
352.39/352.45	v 20424
352.39/352.45	v 20425
352.39/352.45	v 20429
352.39/352.45	v 20430
352.39/352.45	v 20431
352.39/352.45	v 20432
352.39/352.45	v 20434
352.39/352.45	v 20435
352.39/352.45	v 20436
352.39/352.45	v 20437
352.39/352.45	v 20438
352.39/352.45	v 20439
352.39/352.45	v 20441
352.39/352.45	v 20442
352.39/352.45	v 20443
352.39/352.45	v 20444
352.39/352.45	v 20447
352.39/352.45	v 20449
352.39/352.45	v 20450
352.39/352.45	v 20457
352.39/352.45	v 20462
352.39/352.45	v 20463
352.39/352.45	v 20464
352.39/352.45	v 20468
352.39/352.45	v 20469
352.39/352.45	v 20470
352.39/352.45	v 20471
352.39/352.45	v 20473
352.39/352.45	v 20474
352.39/352.45	v 20475
352.39/352.45	v 20476
352.39/352.45	v 20477
352.39/352.45	v 20480
352.39/352.45	v 20481
352.39/352.45	v 20482
352.39/352.45	v 20483
352.39/352.45	v 20484
352.39/352.45	v 20489
352.39/352.45	v 20497
352.39/352.45	v 20510
352.39/352.45	v 20518
352.39/352.45	v 20519
352.39/352.45	v 20522
352.39/352.45	v 20525
352.39/352.45	v 20526
352.39/352.45	v 20527
352.39/352.45	v 20528
352.39/352.45	v 20529
352.39/352.45	v 20530
352.39/352.45	v 20531
352.39/352.45	v 20532
352.39/352.45	v 20534
352.39/352.45	v 20535
352.39/352.45	v 20536
352.39/352.45	v 20537
352.39/352.45	v 20538
352.39/352.45	v 20539
352.39/352.45	v 20545
352.39/352.45	v 20552
352.39/352.45	v 20557
352.39/352.45	v 20558
352.39/352.45	v 20564
352.39/352.45	v 20565
352.39/352.45	v 20567
352.39/352.45	v 20573
352.39/352.45	v 20574
352.39/352.45	v 20578
352.39/352.45	v 20581
352.39/352.45	v 20582
352.39/352.45	v 20583
352.39/352.45	v 20584
352.39/352.45	v 20585
352.39/352.45	v 20587
352.39/352.45	v 20588
352.39/352.45	v 20589
352.39/352.45	v 20590
352.39/352.45	v 20591
352.39/352.45	v 20592
352.39/352.45	v 20595
352.39/352.45	v 20597
352.39/352.45	v 20598
352.39/352.45	v 20610
352.39/352.45	v 20611
352.39/352.45	v 20614
352.39/352.45	v 20617
352.39/352.45	v 20618
352.39/352.45	v 20627
352.39/352.45	v 20628
352.39/352.45	v 20629
352.39/352.45	v 20630
352.39/352.45	v 20633
352.39/352.45	v 20634
352.39/352.45	v 20635
352.39/352.45	v 20638
352.39/352.45	v 20639
352.39/352.45	v 20640
352.39/352.45	v 20641
352.39/352.45	v 20642
352.39/352.45	v 20645
352.39/352.45	v 20647
352.39/352.45	v 20648
352.39/352.45	v 20655
352.39/352.45	v 20660
352.39/352.45	v 20661
352.39/352.45	v 20662
352.39/352.45	v 20665
352.39/352.45	v 20668
352.39/352.45	v 20670
352.39/352.45	v 20674
352.39/352.45	v 20675
352.39/352.45	v 20676
352.39/352.45	v 20677
352.39/352.45	v 20678
352.39/352.45	v 20679
352.39/352.45	v 20680
352.39/352.45	v 20681
352.39/352.45	v 20684
352.39/352.45	v 20687
352.39/352.45	v 20688
352.39/352.45	v 20689
352.39/352.45	v 20690
352.39/352.45	v 20691
352.39/352.45	v 20694
352.39/352.45	v 20696
352.39/352.45	v 20697
352.39/352.45	v 20704
352.39/352.45	v 20709
352.39/352.45	v 20710
352.39/352.45	v 20711
352.39/352.45	v 20714
352.39/352.45	v 20717
352.39/352.45	v 20719
352.39/352.45	v 20723
352.39/352.45	v 20724
352.39/352.45	v 20725
352.39/352.45	v 20726
352.39/352.45	v 20727
352.39/352.45	v 20728
352.39/352.45	v 20729
352.39/352.45	v 20730
352.39/352.45	v 20733
352.39/352.45	v 20736
352.39/352.45	v 20737
352.39/352.45	v 20738
352.39/352.45	v 20739
352.39/352.45	v 20740
352.39/352.45	v 20743
352.39/352.45	v 20745
352.39/352.45	v 20746
352.39/352.45	v 20753
352.39/352.45	v 20758
352.39/352.45	v 20759
352.39/352.45	v 20762
352.39/352.45	v 20765
352.39/352.45	v 20766
352.39/352.45	v 20768
352.39/352.45	v 20772
352.39/352.45	v 20773
352.39/352.45	v 20774
352.39/352.45	v 20775
352.39/352.45	v 20776
352.39/352.45	v 20777
352.39/352.45	v 20778
352.39/352.45	v 20781
352.39/352.45	v 20782
352.39/352.45	v 20785
352.39/352.45	v 20786
352.39/352.45	v 20787
352.39/352.45	v 20788
352.39/352.45	v 20789
352.39/352.45	v 20792
352.39/352.45	v 20794
352.39/352.45	v 20795
352.39/352.45	v 20802
352.39/352.45	v 20807
352.39/352.45	v 20808
352.39/352.45	v 20809
352.39/352.45	v 20812
352.39/352.45	v 20815
352.39/352.45	v 20817
352.39/352.45	v 20821
352.39/352.45	v 20822
352.39/352.45	v 20823
352.39/352.45	v 20824
352.39/352.45	v 20825
352.39/352.45	v 20826
352.39/352.45	v 20827
352.39/352.45	v 20828
352.39/352.45	v 20831
352.39/352.45	v 20834
352.39/352.45	v 20835
352.39/352.45	v 20836
352.39/352.45	v 20837
352.39/352.45	v 20838
352.39/352.45	v 20841
352.39/352.45	v 20843
352.39/352.45	v 20844
352.39/352.45	v 20851
352.39/352.45	v 20856
352.39/352.45	v 20857
352.39/352.45	v 20858
352.39/352.45	v 20861
352.39/352.45	v 20864
352.39/352.45	v 20866
352.39/352.45	v 20870
352.39/352.45	v 20871
352.39/352.45	v 20872
352.39/352.45	v 20873
352.39/352.45	v 20874
352.39/352.45	v 20875
352.39/352.45	v 20876
352.39/352.45	v 20877
352.39/352.45	v 20880
352.39/352.45	v 20883
352.39/352.45	v 20884
352.39/352.45	v 20885
352.39/352.45	v 20886
352.39/352.45	v 20887
352.39/352.45	v 20890
352.39/352.45	v 20892
352.39/352.45	v 20893
352.39/352.45	v 20900
352.39/352.45	v 20905
352.39/352.45	v 20906
352.39/352.45	v 20907
352.39/352.45	v 20910
352.39/352.45	v 20913
352.39/352.45	v 20915
352.39/352.45	v 20919
352.39/352.45	v 20920
352.39/352.45	v 20921
352.39/352.45	v 20922
352.39/352.45	v 20923
352.39/352.45	v 20924
352.39/352.45	v 20925
352.39/352.45	v 20926
352.39/352.45	v 20929
352.39/352.45	v 20932
352.39/352.45	v 20933
352.39/352.45	v 20934
352.39/352.45	v 20935
352.39/352.45	v 20936
352.39/352.45	v 20939
352.39/352.45	v 20941
352.39/352.45	v 20942
352.39/352.45	v 20949
352.39/352.45	v 20954
352.39/352.45	v 20955
352.39/352.45	v 20956
352.39/352.45	v 20959
352.39/352.45	v 20962
352.39/352.45	v 20964
352.39/352.45	v 20968
352.39/352.45	v 20969
352.39/352.45	v 20970
352.39/352.45	v 20971
352.39/352.45	v 20972
352.39/352.45	v 20973
352.39/352.45	v 20974
352.39/352.45	v 20975
352.39/352.45	v 20978
352.39/352.45	v 20981
352.39/352.45	v 20982
352.39/352.45	v 20983
352.39/352.45	v 20984
352.39/352.45	v 20985
352.39/352.45	v 20988
352.39/352.45	v 20990
352.39/352.45	v 20991
352.39/352.45	v 20998
352.39/352.45	v 21003
352.39/352.45	v 21004
352.39/352.45	v 21005
352.39/352.45	v 21008
352.39/352.45	v 21011
352.39/352.45	v 21013
352.39/352.45	v 21017
352.39/352.45	v 21018
352.39/352.45	v 21019
352.39/352.45	v 21020
352.39/352.45	v 21021
352.39/352.45	v 21022
352.39/352.45	v 21023
352.39/352.45	v 21024
352.39/352.45	v 21027
352.39/352.45	v 21029
352.39/352.45	v 21030
352.39/352.45	v 21031
352.39/352.45	v 21032
352.39/352.45	v 21035
352.39/352.45	v 21037
352.39/352.45	v 21038
352.39/352.45	v 21045
352.39/352.45	v 21050
352.39/352.45	v 21051
352.39/352.45	v 21052
352.39/352.45	v 21055
352.39/352.45	v 21058
352.39/352.45	v 21060
352.39/352.45	v 21064
352.39/352.45	v 21065
352.39/352.45	v 21066
352.39/352.45	v 21067
352.39/352.45	v 21068
352.39/352.45	v 21069
352.39/352.45	v 21070
352.39/352.45	v 21071
352.39/352.45	v 21072
352.39/352.45	v 21073
352.39/352.45	v 21074
352.39/352.45	v 21075
352.39/352.45	v 21076
352.39/352.45	v 21077
352.39/352.45	v 21079
352.39/352.45	v 21082
352.39/352.45	v 21083
352.39/352.45	v 21084
352.39/352.45	v 21085
352.39/352.45	v 21090
352.39/352.45	v 21091
352.39/352.45	v 21095
352.39/352.45	v 21096
352.39/352.45	v 21097
352.39/352.45	v 21108
352.39/352.45	v 21109
352.39/352.45	v 21110
352.39/352.45	v 21111
352.39/352.45	v 21118
352.39/352.45	v 21119
352.39/352.45	v 21121
352.39/352.45	v 21122
352.39/352.45	v 21123
352.39/352.45	v 21124
352.39/352.45	v 21125
352.39/352.45	v 21126
352.39/352.45	v 21127
352.39/352.45	v 21128
352.39/352.45	v 21129
352.39/352.45	v 21130
352.39/352.45	v 21131
352.39/352.45	v 21136
352.39/352.45	v 21137
352.39/352.45	v 21141
352.39/352.45	v 21142
352.39/352.45	v 21143
352.39/352.45	v 21144
352.39/352.45	v 21145
352.39/352.45	v 21146
352.39/352.45	v 21153
352.39/352.45	v 21154
352.39/352.45	v 21155
352.39/352.45	v 21157
352.39/352.45	v 21163
352.39/352.45	v 21164
352.39/352.45	v 21165
352.39/352.45	v 21166
352.39/352.45	v 21179
352.39/352.45	v 21180
352.39/352.45	v 21181
352.39/352.45	v 21182
352.39/352.45	v 21183
352.39/352.45	v 21184
352.39/352.45	v 21185
352.39/352.45	v 21186
352.39/352.45	v 21187
352.39/352.46	v 21188
352.39/352.46	v 21189
352.39/352.46	v 21190
352.39/352.46	v 21191
352.39/352.46	v 21192
352.39/352.46	v 21193
352.39/352.46	v 21194
352.39/352.46	v 21195
352.39/352.46	v 21196
352.39/352.46	v 21197
352.39/352.46	v 21198
352.39/352.46	v 21199
352.39/352.46	v 21200
352.39/352.46	v 21201
352.39/352.46	v 21202
352.39/352.46	v 21203
352.39/352.46	v 21204
352.39/352.46	v 21205
352.39/352.46	v 21206
352.39/352.46	v 21208
352.39/352.46	v 21209
352.39/352.46	v 21210
352.39/352.46	v 21211
352.39/352.46	v 21214
352.39/352.46	v 21216
352.39/352.46	v 21217
352.39/352.46	v 21224
352.39/352.46	v 21229
352.39/352.46	v 21230
352.39/352.46	v 21231
352.39/352.46	v 21235
352.39/352.46	v 21236
352.39/352.46	v 21237
352.39/352.46	v 21238
352.39/352.46	v 21239
352.39/352.46	v 21240
352.39/352.46	v 21241
352.39/352.46	v 21242
352.39/352.46	v 21243
352.39/352.46	v 21244
352.39/352.46	v 21245
352.39/352.46	v 21246
352.39/352.46	v 21247
352.39/352.46	v 21248
352.39/352.46	v 21249
352.39/352.46	v 21250
352.39/352.46	v 21251
352.39/352.46	v 21252
352.39/352.46	v 21253
352.39/352.46	v 21254
352.39/352.46	v 21255
352.39/352.46	v 21256
352.39/352.46	v 21257
352.39/352.46	v 21267
352.39/352.46	v 21268
352.39/352.46	v 21269
352.39/352.46	v 21270
352.39/352.46	v 21271
352.39/352.46	v 21272
352.39/352.46	v 21273
352.39/352.46	v 21274
352.39/352.46	v 21275
352.39/352.46	v 21276
352.39/352.46	v 21277
352.39/352.46	v 21278
352.39/352.46	v 21279
352.39/352.46	v 21280
352.39/352.46	v 21281
352.39/352.46	v 21282
352.39/352.46	v 21283
352.39/352.46	v 21284
352.39/352.46	v 21285
352.39/352.46	v 21286
352.39/352.46	v 21287
352.39/352.46	v 21288
352.39/352.46	v 21289
352.39/352.46	v 21290
352.39/352.46	v 21291
352.39/352.46	v 21292
352.39/352.46	v 21293
352.39/352.46	v 21294
352.39/352.46	v 21295
352.39/352.46	v 21302
352.39/352.46	v 21307
352.39/352.46	v 21308
352.39/352.46	v 21310
352.39/352.46	v 21311
352.39/352.46	v 21312
352.39/352.46	v 21313
352.39/352.46	v 21314
352.39/352.46	v 21315
352.39/352.46	v 21317
352.39/352.46	v 21318
352.39/352.46	v 21319
352.39/352.46	v 21320
352.39/352.46	v 21321
352.39/352.46	v 21322
352.39/352.46	v 21323
352.39/352.46	v 21325
352.39/352.46	v 21326
352.39/352.46	v 21327
352.39/352.46	v 21328
352.39/352.46	v 21329
352.39/352.46	v 21330
352.39/352.46	v 21331
352.39/352.46	v 21332
352.39/352.46	v 21333
352.39/352.46	v 21334
352.39/352.46	v 21335
352.39/352.46	v 21336
352.39/352.46	v 21337
352.39/352.46	v 21338
352.39/352.46	v 21339
352.39/352.46	v 21340
352.39/352.46	v 21341
352.39/352.46	v 21342
352.39/352.46	v 21343
352.39/352.46	v 21344
352.39/352.46	v 21345
352.39/352.46	v 21346
352.39/352.46	v 21347
352.39/352.46	v 21348
352.39/352.46	v 21349
352.39/352.46	v 21350
352.39/352.46	v 21351
352.39/352.46	v 21352
352.39/352.46	v 21353
352.39/352.46	v 21354
352.39/352.46	v 21355
352.39/352.46	v 21356
352.39/352.46	v 21357
352.39/352.46	v 21358
352.39/352.46	v 21359
352.39/352.46	v 21360
352.39/352.46	v 21361
352.39/352.46	v 21362
352.39/352.46	v 21363
352.39/352.46	v 21367
352.39/352.46	v 21368
352.39/352.46	v 21369
352.39/352.46	v 21372
352.39/352.46	v 21373
352.39/352.46	v 21376
352.39/352.46	v 21377
352.39/352.46	v 21380
352.39/352.46	v 21381
352.39/352.46	v 21385
352.39/352.46	v 21386
352.39/352.46	v 21387
352.39/352.46	v 21390
352.39/352.46	v 21391
352.39/352.46	v 21394
352.39/352.46	v 21395
352.39/352.46	v 21398
352.39/352.46	v 21399
352.39/352.46	v 21403
352.39/352.46	v 21404
352.39/352.46	v 21405
352.39/352.46	v 21408
352.39/352.46	v 21409
352.39/352.46	v 21412
352.39/352.46	v 21413
352.39/352.46	v 21416
352.39/352.46	v 21417
352.39/352.46	v 21421
352.39/352.46	v 21422
352.39/352.46	v 21425
352.39/352.46	v 21426
352.39/352.46	v 21429
352.39/352.46	v 21431
352.39/352.46	v 21432
352.39/352.46	v 21433
352.39/352.46	v 21436
352.39/352.46	v 21437
352.39/352.46	v 21440
352.39/352.46	v 21441
352.39/352.46	v 21444
352.39/352.46	v 21445
352.39/352.46	v 21449
352.39/352.46	v 21450
352.39/352.46	v 21451
352.39/352.46	v 21452
352.39/352.46	v 21453
352.39/352.46	v 21454
352.39/352.46	v 21455
352.39/352.46	v 21456
352.39/352.46	v 21459
352.39/352.46	v 21460
352.39/352.46	v 21463
352.39/352.46	v 21464
352.39/352.46	v 21467
352.39/352.46	v 21468
352.39/352.46	v 21472
352.39/352.46	v 21475
352.39/352.46	v 21476
352.39/352.46	v 23945
352.39/352.46	v 23954
352.39/352.46	v 23981
352.39/352.46	v 23999
352.39/352.46	v 24389
352.39/352.46	v 24392
352.39/352.46	v 24407
352.39/352.46	v 24416
352.39/352.46	v 24419
352.39/352.46	v 24428
352.39/352.46	v 24434
352.39/352.46	v 24443
352.39/352.46	v 24452
352.39/352.46	v 24461
352.39/352.46	v 26542
352.39/352.46	v 26551
352.39/352.46	v 26560
352.39/352.46	v 0
352.39/352.46	c [picomus] computed 5180 irredundant clauses 20%
352.39/352.46	c [picomus] 410 reductions in 352.4 seconds

Verifier Data 

OK	5180

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-3493458-1307798963/watcher-3493458-1307798963 -o /tmp/evaluation-result-3493458-1307798963/solver-3493458-1307798963 -C 1800 -W 1850 -M 7680 picomus HOME/instance-3493458-1307798963.cnf 

running on 2 cores: 4,6

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: 3.68 1.61 1.03 4/189 23302
/proc/meminfo: memFree=30360040/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=1500 CPUtime=0 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 274 0 0 0 0 0 0 0 25 0 1 0 347505678 1536000 229 33554432000 134512640 135072097 4293382208 18446744073709551615 134514988 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 375 230 53 137 0 236 0

[startup+0.015328 s]
/proc/loadavg: 3.68 1.61 1.03 4/189 23302
/proc/meminfo: memFree=30360040/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=2816 CPUtime=0.01 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 631 0 0 0 1 0 0 0 25 0 1 0 347505678 2883584 585 33554432000 134512640 135072097 4293382208 18446744073709551615 134536352 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 704 585 67 137 0 565 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2816

[startup+0.100341 s]
/proc/loadavg: 3.68 1.61 1.03 4/189 23302
/proc/meminfo: memFree=30360040/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=3344 CPUtime=0.09 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 763 0 0 0 9 0 0 0 25 0 1 0 347505678 3424256 717 33554432000 134512640 135072097 4293382208 18446744073709551615 134543902 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 836 717 68 137 0 697 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3344

[startup+0.300311 s]
/proc/loadavg: 3.68 1.61 1.03 4/189 23302
/proc/meminfo: memFree=30360040/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=4688 CPUtime=0.29 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 1094 0 0 0 29 0 0 0 25 0 1 0 347505678 4800512 1048 33554432000 134512640 135072097 4293382208 18446744073709551615 134557360 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 1172 1048 68 137 0 1033 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4688

[startup+0.700237 s]
/proc/loadavg: 3.68 1.61 1.03 4/189 23302
/proc/meminfo: memFree=30360040/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=6976 CPUtime=0.69 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 1649 0 0 0 69 0 0 0 25 0 1 0 347505678 7143424 1603 33554432000 134512640 135072097 4293382208 18446744073709551615 134520079 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 1744 1603 69 137 0 1605 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6976

[startup+1.50109 s]
/proc/loadavg: 3.68 1.61 1.03 5/190 23303
/proc/meminfo: memFree=30352244/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=11456 CPUtime=1.49 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 2743 0 0 0 149 0 0 0 25 0 1 0 347505678 11730944 2697 33554432000 134512640 135072097 4293382208 18446744073709551615 134543726 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 2864 2697 69 137 0 2725 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11456

[startup+3.10082 s]
/proc/loadavg: 3.68 1.61 1.03 5/190 23303
/proc/meminfo: memFree=30345792/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=20680 CPUtime=3.1 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 4975 0 0 0 309 1 0 0 25 0 1 0 347505678 21176320 4929 33554432000 134512640 135072097 4293382208 18446744073709551615 134539691 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 5170 4929 69 137 0 5031 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 20680

[startup+6.30024 s]
/proc/loadavg: 3.70 1.65 1.04 5/190 23303
/proc/meminfo: memFree=30357572/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=8864 CPUtime=6.29 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 9652 0 0 0 627 2 0 0 25 0 1 0 347505678 9076736 2102 33554432000 134512640 135072097 4293382208 18446744073709551615 134518189 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 2216 2102 76 137 0 2077 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8864

[startup+12.7011 s]
/proc/loadavg: 3.73 1.69 1.06 5/190 23303
/proc/meminfo: memFree=30311416/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=53424 CPUtime=12.7 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 20701 0 0 0 1266 4 0 0 25 0 1 0 347505678 54706176 13151 33554432000 134512640 135072097 4293382208 18446744073709551615 134543682 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 13356 13151 76 137 0 13217 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 53424

[startup+25.5009 s]
/proc/loadavg: 3.79 1.80 1.10 5/190 23342
/proc/meminfo: memFree=30385920/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=5788 CPUtime=25.49 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 43474 0 0 0 2540 9 0 0 25 0 1 0 347505678 5926912 1358 33554432000 134512640 135072097 4293382208 18446744073709551615 134559115 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 1447 1358 76 137 0 1308 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5788

[startup+51.1003 s]
/proc/loadavg: 3.86 1.97 1.18 5/190 23380
/proc/meminfo: memFree=30429284/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=38068 CPUtime=51.09 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 91008 0 0 0 5092 17 0 0 25 0 1 0 347505678 38981632 9199 33554432000 134512640 135072097 4293382208 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 9517 9199 76 137 0 9378 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 38068

[startup+102.306 s]
/proc/loadavg: 3.94 2.28 1.33 5/190 23382
/proc/meminfo: memFree=30408864/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=52572 CPUtime=102.3 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 188061 0 0 0 10194 36 0 0 25 0 1 0 347505678 53833728 12939 33554432000 134512640 135072097 4293382208 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 13143 12939 76 137 0 13004 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 52572

[startup+162.301 s]
/proc/loadavg: 3.98 2.59 1.49 5/190 23383
/proc/meminfo: memFree=30412624/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=53012 CPUtime=162.29 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 303599 0 0 0 16173 56 0 0 25 0 1 0 347505678 54284288 13055 33554432000 134512640 135072097 4293382208 18446744073709551615 134556137 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 13253 13055 76 137 0 13114 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 53012

[startup+222.301 s]
/proc/loadavg: 3.77 2.80 1.63 4/184 23409
/proc/meminfo: memFree=30478792/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=30092 CPUtime=222.29 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 419242 0 0 0 22154 75 0 0 25 0 1 0 347505678 30814208 7380 33554432000 134512640 135072097 4293382208 18446744073709551615 134556770 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 7523 7380 76 137 0 7384 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 30092

[startup+282.3 s]
/proc/loadavg: 3.00 2.77 1.69 3/178 23434
/proc/meminfo: memFree=30563200/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=38632 CPUtime=282.29 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 522100 0 0 0 28134 95 0 0 25 0 1 0 347505678 39559168 9543 33554432000 134512640 135072097 4293382208 18446744073709551615 134556770 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 9658 9543 76 137 0 9519 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 38632

[startup+342.301 s]
/proc/loadavg: 2.36 2.63 1.71 3/178 23436
/proc/meminfo: memFree=30526368/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=72996 CPUtime=342.29 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 530709 0 0 0 34132 97 0 0 25 0 1 0 347505678 74747904 18146 33554432000 134512640 135072097 4293382208 18446744073709551615 134518224 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 18249 18146 77 137 0 18110 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 72996

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

[startup+345.501 s]
/proc/loadavg: 2.33 2.61 1.71 3/178 23436
/proc/meminfo: memFree=30526368/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=72996 CPUtime=345.49 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 530709 0 0 0 34452 97 0 0 25 0 1 0 347505678 74747904 18146 33554432000 134512640 135072097 4293382208 18446744073709551615 134518160 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 18249 18146 77 137 0 18110 0
Current children cumulated CPU time (s) 345.49
Current children cumulated vsize (KiB) 72996

[startup+348.707 s]
/proc/loadavg: 2.31 2.60 1.71 3/178 23436
/proc/meminfo: memFree=30526244/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=72996 CPUtime=348.7 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 530709 0 0 0 34773 97 0 0 25 0 1 0 347505678 74747904 18146 33554432000 134512640 135072097 4293382208 18446744073709551615 134584017 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 18249 18146 77 137 0 18110 0
Current children cumulated CPU time (s) 348.7
Current children cumulated vsize (KiB) 72996

[startup+350.3 s]
/proc/loadavg: 2.31 2.60 1.71 3/178 23436
/proc/meminfo: memFree=30526244/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=72996 CPUtime=350.29 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 530709 0 0 0 34932 97 0 0 25 0 1 0 347505678 74747904 18146 33554432000 134512640 135072097 4293382208 18446744073709551615 134583792 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 18249 18146 77 137 0 18110 0
Current children cumulated CPU time (s) 350.29
Current children cumulated vsize (KiB) 72996

[startup+351.101 s]
/proc/loadavg: 2.31 2.60 1.71 3/178 23436
/proc/meminfo: memFree=30526364/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=72996 CPUtime=351.09 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 530709 0 0 0 35012 97 0 0 25 0 1 0 347505678 74747904 18146 33554432000 134512640 135072097 4293382208 18446744073709551615 134520046 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 18249 18146 77 137 0 18110 0
Current children cumulated CPU time (s) 351.09
Current children cumulated vsize (KiB) 72996

[startup+351.901 s]
/proc/loadavg: 2.31 2.60 1.71 3/178 23436
/proc/meminfo: memFree=30526240/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=72996 CPUtime=351.9 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 530709 0 0 0 35093 97 0 0 25 0 1 0 347505678 74747904 18146 33554432000 134512640 135072097 4293382208 18446744073709551615 134557288 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 18249 18146 77 137 0 18110 0
Current children cumulated CPU time (s) 351.9
Current children cumulated vsize (KiB) 72996

[startup+352.301 s]
/proc/loadavg: 2.31 2.60 1.71 3/178 23436
/proc/meminfo: memFree=30526240/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=72996 CPUtime=352.29 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 530709 0 0 0 35132 97 0 0 25 0 1 0 347505678 74747904 18146 33554432000 134512640 135072097 4293382208 18446744073709551615 134520035 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 18249 18146 77 137 0 18110 0
Current children cumulated CPU time (s) 352.29
Current children cumulated vsize (KiB) 72996

[startup+352.401 s]
/proc/loadavg: 2.31 2.60 1.71 3/178 23436
/proc/meminfo: memFree=30526240/32950928 swapFree=67054696/67111528
[pid=23302] ppid=23300 vsize=72996 CPUtime=352.39 cores=4,6
/proc/23302/stat : 23302 (picomus) R 23300 23302 23146 0 -1 4202496 530709 0 0 0 35142 97 0 0 25 0 1 0 347505678 74747904 18146 33554432000 134512640 135072097 4293382208 18446744073709551615 134556733 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23302/statm: 18249 18146 77 137 0 18110 0
Current children cumulated CPU time (s) 352.39
Current children cumulated vsize (KiB) 72996

Child status: 20
Real time (s): 352.459
CPU time (s): 352.444
CPU user time (s): 351.469
CPU system time (s): 0.975851
CPU usage (%): 99.9958
Max. virtual memory (cumulated for all children) (KiB): 228292

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

runsolver used 0.610907 second user time and 1.24181 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-11 15:29:23
IDJOB=3493458
IDBENCH=89543
IDSOLVER=1974
FILE ID=node112/3493458-1307798963
RUNJOBID= node112-1307798812-23165
PBS_JOBID= 13551040
Free space on /tmp= 73956 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT11/mus/marques-silva/hardware-verification/3pipe_1_ooo.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493458-1307798963/watcher-3493458-1307798963 -o /tmp/evaluation-result-3493458-1307798963/solver-3493458-1307798963 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3493458-1307798963.cnf

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

MD5SUM BENCH= ad317223003dd738bd4a8763d32f41f5
RANDOM SEED=1720290812

node112.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.847
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.69
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.847
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	: 5180.45
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.847
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.76
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.847
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.82
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.847
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.61
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.847
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.83
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.847
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.74
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.847
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30360584 kB
Buffers:        262064 kB
Cached:        1405204 kB
SwapCached:      10772 kB
Active:        1232220 kB
Inactive:      1131540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30360584 kB
SwapTotal:    67111528 kB
SwapFree:     67054696 kB
Dirty:           73628 kB
Writeback:           0 kB
AnonPages:      693912 kB
Mapped:          10252 kB
Slab:           160088 kB
PageTables:       6720 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   975588 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= 73956 MiB
End job on node112 at 2011-06-11 15:35:15