0.00/0.00	c [picomus] WARNING: no output file given
0.00/0.00	c [picomus] p cnf 33084 94713
0.59/0.66	s UNSATISFIABLE
0.59/0.66	c [picomus] extracted core 1 of size 4347 out of 94713 (5%) after 0.7 sec
0.79/0.86	c [picomus] extracted core 2 of size 4103 out of 94713 (4%) after 0.9 sec
0.99/1.02	c [picomus] extracted core 3 of size 3969 out of 94713 (4%) after 1.0 sec
1.19/1.20	c [picomus] extracted core 4 of size 3908 out of 94713 (4%) after 1.2 sec
1.39/1.41	c [picomus] extracted core 5 of size 3872 out of 94713 (4%) after 1.4 sec
1.59/1.62	c [picomus] extracted core 6 of size 3850 out of 94713 (4%) after 1.6 sec
1.79/1.82	c [picomus] extracted core 7 of size 3845 out of 94713 (4%) after 1.8 sec
1.99/2.02	c [picomus] extracted core 8 of size 3834 out of 94713 (4%) after 2.0 sec
2.20/2.22	c [picomus] extracted core 9 of size 3815 out of 94713 (4%) after 2.2 sec
2.39/2.42	c [picomus] extracted core 10 of size 3802 out of 94713 (4%) after 2.4 sec
2.59/2.60	c [picomus] extracted core 11 of size 3764 out of 94713 (4%) after 2.6 sec
2.79/2.84	c [picomus] extracted core 12 of size 3756 out of 94713 (4%) after 2.8 sec
2.99/3.07	c [picomus] extracted core 13 of size 3747 out of 94713 (4%) after 3.1 sec
3.19/3.27	c [picomus] extracted core 14 of size 3726 out of 94713 (4%) after 3.3 sec
3.39/3.48	c [picomus] extracted core 15 of size 3718 out of 94713 (4%) after 3.5 sec
4.49/4.54	c [picomus] reduction 1 to 3715 out of 94713 (4%) after 4.5 sec
56.00/56.03	c [picomus] reduction 2 to 3709 out of 94713 (4%) after 56.0 sec
56.29/56.36	c [picomus] reduction 3 to 3708 out of 94713 (4%) after 56.4 sec
56.59/56.60	c [picomus] reduction 4 to 3704 out of 94713 (4%) after 56.6 sec
56.79/56.87	c [picomus] reduction 5 to 3698 out of 94713 (4%) after 56.9 sec
57.10/57.16	c [picomus] reduction 6 to 3695 out of 94713 (4%) after 57.2 sec
57.39/57.47	c [picomus] reduction 7 to 3693 out of 94713 (4%) after 57.5 sec
57.59/57.66	c [picomus] reduction 8 to 3690 out of 94713 (4%) after 57.7 sec
59.19/59.23	c [picomus] reduction 9 to 3689 out of 94713 (4%) after 59.2 sec
59.30/59.34	c [picomus] reduction 10 to 3687 out of 94713 (4%) after 59.3 sec
59.59/59.63	c [picomus] reduction 11 to 3682 out of 94713 (4%) after 59.6 sec
59.79/59.88	c [picomus] reduction 12 to 3680 out of 94713 (4%) after 59.9 sec
60.09/60.15	c [picomus] reduction 13 to 3678 out of 94713 (4%) after 60.2 sec
60.19/60.26	c [picomus] reduction 14 to 3674 out of 94713 (4%) after 60.3 sec
60.50/60.55	c [picomus] reduction 15 to 3670 out of 94713 (4%) after 60.6 sec
60.79/60.84	c [picomus] reduction 16 to 3667 out of 94713 (4%) after 60.8 sec
60.79/60.87	c [picomus] reduction 17 to 3666 out of 94713 (4%) after 60.9 sec
60.99/61.07	c [picomus] reduction 18 to 3664 out of 94713 (4%) after 61.1 sec
61.19/61.24	c [picomus] reduction 19 to 3662 out of 94713 (4%) after 61.2 sec
61.19/61.27	c [picomus] reduction 20 to 3661 out of 94713 (4%) after 61.3 sec
61.39/61.49	c [picomus] reduction 21 to 3657 out of 94713 (4%) after 61.5 sec
61.79/61.89	c [picomus] reduction 22 to 3656 out of 94713 (4%) after 61.9 sec
62.09/62.12	c [picomus] reduction 23 to 3654 out of 94713 (4%) after 62.1 sec
63.09/63.19	c [picomus] reduction 24 to 3653 out of 94713 (4%) after 63.2 sec
63.70/63.77	c [picomus] reduction 25 to 3652 out of 94713 (4%) after 63.8 sec
63.89/63.97	c [picomus] reduction 26 to 3651 out of 94713 (4%) after 64.0 sec
64.09/64.19	c [picomus] reduction 27 to 3650 out of 94713 (4%) after 64.2 sec
64.19/64.25	c [picomus] reduction 28 to 3649 out of 94713 (4%) after 64.3 sec
64.29/64.37	c [picomus] reduction 29 to 3648 out of 94713 (4%) after 64.4 sec
64.59/64.63	c [picomus] reduction 30 to 3646 out of 94713 (4%) after 64.6 sec
64.59/64.67	c [picomus] reduction 31 to 3645 out of 94713 (4%) after 64.7 sec
64.69/64.70	c [picomus] reduction 32 to 3644 out of 94713 (4%) after 64.7 sec
64.90/64.92	c [picomus] reduction 33 to 3642 out of 94713 (4%) after 64.9 sec
65.90/66.00	c [picomus] reduction 34 to 3636 out of 94713 (4%) after 66.0 sec
66.29/66.31	c [picomus] reduction 35 to 3633 out of 94713 (4%) after 66.3 sec
66.59/66.66	c [picomus] reduction 36 to 3629 out of 94713 (4%) after 66.7 sec
66.69/66.77	c [picomus] reduction 37 to 3626 out of 94713 (4%) after 66.8 sec
67.29/67.31	c [picomus] reduction 38 to 3624 out of 94713 (4%) after 67.3 sec
67.39/67.47	c [picomus] reduction 39 to 3623 out of 94713 (4%) after 67.5 sec
68.20/68.23	c [picomus] reduction 40 to 3622 out of 94713 (4%) after 68.2 sec
68.29/68.32	c [picomus] reduction 41 to 3621 out of 94713 (4%) after 68.3 sec
69.79/69.85	c [picomus] reduction 42 to 3613 out of 94713 (4%) after 69.9 sec
71.59/71.65	c [picomus] reduction 43 to 3612 out of 94713 (4%) after 71.7 sec
71.79/71.89	c [picomus] reduction 44 to 3611 out of 94713 (4%) after 71.9 sec
71.89/71.98	c [picomus] reduction 45 to 3609 out of 94713 (4%) after 72.0 sec
71.99/72.08	c [picomus] reduction 46 to 3608 out of 94713 (4%) after 72.1 sec
72.09/72.16	c [picomus] reduction 47 to 3604 out of 94713 (4%) after 72.2 sec
72.99/73.02	c [picomus] reduction 48 to 3603 out of 94713 (4%) after 73.0 sec
73.19/73.25	c [picomus] reduction 49 to 3601 out of 94713 (4%) after 73.3 sec
73.29/73.39	c [picomus] reduction 50 to 3600 out of 94713 (4%) after 73.4 sec
73.60/73.61	c [picomus] reduction 51 to 3599 out of 94713 (4%) after 73.6 sec
73.60/73.61	c [picomus] reduction 52 to 3598 out of 94713 (4%) after 73.6 sec
73.60/73.67	c [picomus] reduction 53 to 3597 out of 94713 (4%) after 73.7 sec
73.99/74.07	c [picomus] reduction 54 to 3596 out of 94713 (4%) after 74.1 sec
74.19/74.28	c [picomus] reduction 55 to 3595 out of 94713 (4%) after 74.3 sec
74.29/74.31	c [picomus] reduction 56 to 3594 out of 94713 (4%) after 74.3 sec
74.29/74.34	c [picomus] reduction 57 to 3592 out of 94713 (4%) after 74.3 sec
74.49/74.55	c [picomus] reduction 58 to 3591 out of 94713 (4%) after 74.6 sec
75.99/76.01	c [picomus] reduction 59 to 3589 out of 94713 (4%) after 76.0 sec
76.19/76.27	c [picomus] reduction 60 to 3588 out of 94713 (4%) after 76.3 sec
76.29/76.31	c [picomus] reduction 61 to 3586 out of 94713 (4%) after 76.3 sec
76.59/76.61	c [picomus] reduction 62 to 3585 out of 94713 (4%) after 76.6 sec
76.59/76.62	c [picomus] reduction 63 to 3574 out of 94713 (4%) after 76.6 sec
76.79/76.80	c [picomus] reduction 64 to 3573 out of 94713 (4%) after 76.8 sec
77.00/77.01	c [picomus] reduction 65 to 3572 out of 94713 (4%) after 77.0 sec
77.19/77.23	c [picomus] reduction 66 to 3571 out of 94713 (4%) after 77.2 sec
77.29/77.35	c [picomus] reduction 67 to 3569 out of 94713 (4%) after 77.4 sec
78.00/78.01	c [picomus] reduction 68 to 3568 out of 94713 (4%) after 78.0 sec
78.00/78.03	c [picomus] reduction 69 to 3566 out of 94713 (4%) after 78.0 sec
78.00/78.07	c [picomus] reduction 70 to 3562 out of 94713 (4%) after 78.1 sec
78.29/78.37	c [picomus] reduction 71 to 3561 out of 94713 (4%) after 78.4 sec
78.29/78.39	c [picomus] reduction 72 to 3552 out of 94713 (4%) after 78.4 sec
78.49/78.59	c [picomus] reduction 73 to 3550 out of 94713 (4%) after 78.6 sec
78.69/78.73	c [picomus] reduction 74 to 3548 out of 94713 (4%) after 78.7 sec
78.99/79.04	c [picomus] reduction 75 to 3547 out of 94713 (4%) after 79.0 sec
79.10/79.12	c [picomus] reduction 76 to 3545 out of 94713 (4%) after 79.1 sec
79.79/79.81	c [picomus] reduction 77 to 3544 out of 94713 (4%) after 79.8 sec
79.99/80.00	c [picomus] reduction 78 to 3543 out of 94713 (4%) after 80.0 sec
80.09/80.17	c [picomus] reduction 79 to 3542 out of 94713 (4%) after 80.2 sec
80.20/80.25	c [picomus] reduction 80 to 3541 out of 94713 (4%) after 80.3 sec
80.30/80.39	c [picomus] reduction 81 to 3540 out of 94713 (4%) after 80.4 sec
80.49/80.52	c [picomus] reduction 82 to 3537 out of 94713 (4%) after 80.5 sec
81.19/81.22	c [picomus] reduction 83 to 3536 out of 94713 (4%) after 81.2 sec
81.19/81.27	c [picomus] reduction 84 to 3535 out of 94713 (4%) after 81.3 sec
81.40/81.46	c [picomus] reduction 85 to 3534 out of 94713 (4%) after 81.5 sec
81.49/81.59	c [picomus] reduction 86 to 3533 out of 94713 (4%) after 81.6 sec
81.69/81.74	c [picomus] reduction 87 to 3532 out of 94713 (4%) after 81.7 sec
81.79/81.89	c [picomus] reduction 88 to 3530 out of 94713 (4%) after 81.9 sec
81.99/82.03	c [picomus] reduction 89 to 3526 out of 94713 (4%) after 82.0 sec
82.09/82.10	c [picomus] reduction 90 to 3525 out of 94713 (4%) after 82.1 sec
82.59/82.65	c [picomus] reduction 91 to 3524 out of 94713 (4%) after 82.7 sec
82.79/82.82	c [picomus] reduction 92 to 3523 out of 94713 (4%) after 82.8 sec
82.89/82.98	c [picomus] reduction 93 to 3522 out of 94713 (4%) after 83.0 sec
82.99/83.09	c [picomus] reduction 94 to 3521 out of 94713 (4%) after 83.1 sec
83.29/83.36	c [picomus] reduction 95 to 3519 out of 94713 (4%) after 83.4 sec
83.39/83.45	c [picomus] reduction 96 to 3514 out of 94713 (4%) after 83.5 sec
83.50/83.55	c [picomus] reduction 97 to 3512 out of 94713 (4%) after 83.6 sec
84.09/84.10	c [picomus] reduction 98 to 3511 out of 94713 (4%) after 84.1 sec
84.70/84.71	c [picomus] reduction 99 to 3510 out of 94713 (4%) after 84.7 sec
84.79/84.83	c [picomus] reduction 100 to 3508 out of 94713 (4%) after 84.8 sec
84.89/84.92	c [picomus] reduction 101 to 3507 out of 94713 (4%) after 84.9 sec
85.09/85.11	c [picomus] reduction 102 to 3502 out of 94713 (4%) after 85.1 sec
85.09/85.16	c [picomus] reduction 103 to 3498 out of 94713 (4%) after 85.2 sec
86.29/86.36	c [picomus] reduction 104 to 3496 out of 94713 (4%) after 86.4 sec
86.49/86.52	c [picomus] reduction 105 to 3495 out of 94713 (4%) after 86.5 sec
86.90/86.91	c [picomus] reduction 106 to 3493 out of 94713 (4%) after 86.9 sec
87.09/87.12	c [picomus] reduction 107 to 3491 out of 94713 (4%) after 87.1 sec
87.29/87.38	c [picomus] reduction 108 to 3487 out of 94713 (4%) after 87.4 sec
87.49/87.54	c [picomus] reduction 109 to 3485 out of 94713 (4%) after 87.5 sec
87.49/87.55	c [picomus] reduction 110 to 3484 out of 94713 (4%) after 87.6 sec
87.69/87.75	c [picomus] reduction 111 to 3483 out of 94713 (4%) after 87.8 sec
88.69/88.75	c [picomus] reduction 112 to 3481 out of 94713 (4%) after 88.8 sec
88.79/88.89	c [picomus] reduction 113 to 3480 out of 94713 (4%) after 88.9 sec
88.89/88.99	c [picomus] reduction 114 to 3478 out of 94713 (4%) after 89.0 sec
89.59/89.62	c [picomus] reduction 115 to 3477 out of 94713 (4%) after 89.6 sec
89.89/89.94	c [picomus] reduction 116 to 3476 out of 94713 (4%) after 89.9 sec
89.89/89.98	c [picomus] reduction 117 to 3474 out of 94713 (4%) after 90.0 sec
90.29/90.33	c [picomus] reduction 118 to 3472 out of 94713 (4%) after 90.3 sec
90.39/90.42	c [picomus] reduction 119 to 3471 out of 94713 (4%) after 90.4 sec
90.49/90.56	c [picomus] reduction 120 to 3468 out of 94713 (4%) after 90.6 sec
90.69/90.73	c [picomus] reduction 121 to 3466 out of 94713 (4%) after 90.7 sec
90.79/90.81	c [picomus] reduction 122 to 3465 out of 94713 (4%) after 90.8 sec
90.79/90.81	c [picomus] reduction 123 to 3464 out of 94713 (4%) after 90.8 sec
91.39/91.49	c [picomus] reduction 124 to 3462 out of 94713 (4%) after 91.5 sec
91.69/91.70	c [picomus] reduction 125 to 3461 out of 94713 (4%) after 91.7 sec
91.99/92.00	c [picomus] reduction 126 to 3460 out of 94713 (4%) after 92.0 sec
92.09/92.10	c [picomus] reduction 127 to 3459 out of 94713 (4%) after 92.1 sec
92.19/92.25	c [picomus] reduction 128 to 3458 out of 94713 (4%) after 92.3 sec
92.89/92.97	c [picomus] reduction 129 to 3456 out of 94713 (4%) after 93.0 sec
93.19/93.21	c [picomus] reduction 130 to 3455 out of 94713 (4%) after 93.2 sec
93.29/93.39	c [picomus] reduction 131 to 3454 out of 94713 (4%) after 93.4 sec
93.50/93.55	c [picomus] reduction 132 to 3452 out of 94713 (4%) after 93.6 sec
93.69/93.72	c [picomus] reduction 133 to 3450 out of 94713 (4%) after 93.7 sec
93.69/93.79	c [picomus] reduction 134 to 3449 out of 94713 (4%) after 93.8 sec
93.79/93.83	c [picomus] reduction 135 to 3447 out of 94713 (4%) after 93.8 sec
93.99/94.09	c [picomus] reduction 136 to 3446 out of 94713 (4%) after 94.1 sec
94.60/94.66	c [picomus] reduction 137 to 3445 out of 94713 (4%) after 94.7 sec
94.79/94.88	c [picomus] reduction 138 to 3444 out of 94713 (4%) after 94.9 sec
95.09/95.16	c [picomus] reduction 139 to 3443 out of 94713 (4%) after 95.2 sec
95.29/95.30	c [picomus] reduction 140 to 3442 out of 94713 (4%) after 95.3 sec
95.39/95.46	c [picomus] reduction 141 to 3440 out of 94713 (4%) after 95.5 sec
96.49/96.55	c [picomus] reduction 142 to 3437 out of 94713 (4%) after 96.6 sec
96.89/96.94	c [picomus] reduction 143 to 3434 out of 94713 (4%) after 96.9 sec
96.89/96.98	c [picomus] reduction 144 to 3431 out of 94713 (4%) after 97.0 sec
97.09/97.10	c [picomus] reduction 145 to 3429 out of 94713 (4%) after 97.1 sec
97.29/97.33	c [picomus] reduction 146 to 3427 out of 94713 (4%) after 97.3 sec
97.29/97.36	c [picomus] reduction 147 to 3426 out of 94713 (4%) after 97.4 sec
97.39/97.49	c [picomus] reduction 148 to 3425 out of 94713 (4%) after 97.5 sec
97.49/97.54	c [picomus] reduction 149 to 3424 out of 94713 (4%) after 97.5 sec
99.69/99.75	c [picomus] reduction 150 to 3423 out of 94713 (4%) after 99.8 sec
99.89/99.99	c [picomus] reduction 151 to 3422 out of 94713 (4%) after 100.0 sec
100.10/100.18	c [picomus] reduction 152 to 3421 out of 94713 (4%) after 100.2 sec
100.10/100.19	c [picomus] reduction 153 to 3420 out of 94713 (4%) after 100.2 sec
100.19/100.20	c [picomus] reduction 154 to 3419 out of 94713 (4%) after 100.2 sec
101.79/101.84	c [picomus] reduction 155 to 3417 out of 94713 (4%) after 101.8 sec
101.89/101.95	c [picomus] reduction 156 to 3416 out of 94713 (4%) after 102.0 sec
103.29/103.39	c [picomus] reduction 157 to 3414 out of 94713 (4%) after 103.4 sec
103.59/103.66	c [picomus] reduction 158 to 3413 out of 94713 (4%) after 103.7 sec
103.79/103.80	c [picomus] reduction 159 to 3412 out of 94713 (4%) after 103.8 sec
103.79/103.82	c [picomus] reduction 160 to 3409 out of 94713 (4%) after 103.8 sec
103.89/103.92	c [picomus] reduction 161 to 3408 out of 94713 (4%) after 103.9 sec
103.99/104.08	c [picomus] reduction 162 to 3405 out of 94713 (4%) after 104.1 sec
104.09/104.18	c [picomus] reduction 163 to 3404 out of 94713 (4%) after 104.2 sec
104.19/104.25	c [picomus] reduction 164 to 3402 out of 94713 (4%) after 104.3 sec
104.89/104.96	c [picomus] reduction 165 to 3399 out of 94713 (4%) after 105.0 sec
105.29/105.36	c [picomus] reduction 166 to 3398 out of 94713 (4%) after 105.4 sec
105.39/105.42	c [picomus] reduction 167 to 3396 out of 94713 (4%) after 105.4 sec
105.50/105.53	c [picomus] reduction 168 to 3395 out of 94713 (4%) after 105.5 sec
105.60/105.65	c [picomus] reduction 169 to 3394 out of 94713 (4%) after 105.7 sec
105.69/105.72	c [picomus] reduction 170 to 3392 out of 94713 (4%) after 105.7 sec
105.79/105.88	c [picomus] reduction 171 to 3391 out of 94713 (4%) after 105.9 sec
105.89/105.98	c [picomus] reduction 172 to 3387 out of 94713 (4%) after 106.0 sec
105.99/106.00	c [picomus] reduction 173 to 3386 out of 94713 (4%) after 106.0 sec
106.29/106.31	c [picomus] reduction 174 to 3385 out of 94713 (4%) after 106.3 sec
107.29/107.38	c [picomus] reduction 175 to 3384 out of 94713 (4%) after 107.4 sec
107.39/107.42	c [picomus] reduction 176 to 3382 out of 94713 (4%) after 107.4 sec
107.49/107.54	c [picomus] reduction 177 to 3381 out of 94713 (4%) after 107.5 sec
107.59/107.68	c [picomus] reduction 178 to 3379 out of 94713 (4%) after 107.7 sec
107.80/107.83	c [picomus] reduction 179 to 3378 out of 94713 (4%) after 107.8 sec
107.89/107.98	c [picomus] reduction 180 to 3377 out of 94713 (4%) after 108.0 sec
107.89/107.99	c [picomus] reduction 181 to 3376 out of 94713 (4%) after 108.0 sec
107.99/108.04	c [picomus] reduction 182 to 3374 out of 94713 (4%) after 108.0 sec
108.29/108.33	c [picomus] reduction 183 to 3373 out of 94713 (4%) after 108.3 sec
109.49/109.58	c [picomus] reduction 184 to 3372 out of 94713 (4%) after 109.6 sec
109.69/109.79	c [picomus] reduction 185 to 3371 out of 94713 (4%) after 109.8 sec
109.79/109.80	c [picomus] reduction 186 to 3368 out of 94713 (4%) after 109.8 sec
109.90/109.92	c [picomus] reduction 187 to 3367 out of 94713 (4%) after 109.9 sec
110.00/110.03	c [picomus] reduction 188 to 3366 out of 94713 (4%) after 110.0 sec
110.09/110.15	c [picomus] reduction 189 to 3365 out of 94713 (4%) after 110.2 sec
110.19/110.26	c [picomus] reduction 190 to 3364 out of 94713 (4%) after 110.3 sec
110.19/110.28	c [picomus] reduction 191 to 3362 out of 94713 (4%) after 110.3 sec
113.20/113.29	c [picomus] reduction 192 to 3361 out of 94713 (4%) after 113.3 sec
113.30/113.32	c [picomus] reduction 193 to 3360 out of 94713 (4%) after 113.3 sec
114.79/114.84	c [picomus] reduction 194 to 3359 out of 94713 (4%) after 114.8 sec
115.19/115.24	c [picomus] reduction 195 to 3353 out of 94713 (4%) after 115.2 sec
115.19/115.29	c [picomus] reduction 196 to 3348 out of 94713 (4%) after 115.3 sec
116.29/116.37	c [picomus] reduction 197 to 3347 out of 94713 (4%) after 116.4 sec
116.60/116.63	c [picomus] reduction 198 to 3345 out of 94713 (4%) after 116.6 sec
116.69/116.79	c [picomus] reduction 199 to 3344 out of 94713 (4%) after 116.8 sec
116.99/117.09	c [picomus] reduction 200 to 3343 out of 94713 (4%) after 117.1 sec
117.09/117.18	c [picomus] reduction 201 to 3340 out of 94713 (4%) after 117.2 sec
117.19/117.28	c [picomus] reduction 202 to 3339 out of 94713 (4%) after 117.3 sec
117.29/117.38	c [picomus] reduction 203 to 3338 out of 94713 (4%) after 117.4 sec
117.39/117.42	c [picomus] reduction 204 to 3335 out of 94713 (4%) after 117.4 sec
117.49/117.51	c [picomus] reduction 205 to 3334 out of 94713 (4%) after 117.5 sec
117.60/117.69	c [picomus] reduction 206 to 3333 out of 94713 (4%) after 117.7 sec
117.70/117.75	c [picomus] reduction 207 to 3332 out of 94713 (4%) after 117.8 sec
117.79/117.85	c [picomus] reduction 208 to 3330 out of 94713 (4%) after 117.9 sec
117.99/118.09	c [picomus] reduction 209 to 3329 out of 94713 (4%) after 118.1 sec
118.99/119.03	c [picomus] reduction 210 to 3328 out of 94713 (4%) after 119.0 sec
118.99/119.07	c [picomus] reduction 211 to 3327 out of 94713 (4%) after 119.1 sec
119.09/119.19	c [picomus] reduction 212 to 3326 out of 94713 (4%) after 119.2 sec
119.29/119.32	c [picomus] reduction 213 to 3325 out of 94713 (4%) after 119.3 sec
119.29/119.35	c [picomus] reduction 214 to 3324 out of 94713 (4%) after 119.4 sec
119.49/119.50	c [picomus] reduction 215 to 3323 out of 94713 (4%) after 119.5 sec
119.49/119.59	c [picomus] reduction 216 to 3321 out of 94713 (4%) after 119.6 sec
119.69/119.74	c [picomus] reduction 217 to 3319 out of 94713 (4%) after 119.7 sec
119.80/119.82	c [picomus] reduction 218 to 3318 out of 94713 (4%) after 119.8 sec
119.80/119.82	c [picomus] reduction 219 to 3314 out of 94713 (3%) after 119.8 sec
119.99/120.08	c [picomus] reduction 220 to 3313 out of 94713 (3%) after 120.1 sec
121.39/121.42	c [picomus] reduction 221 to 3312 out of 94713 (3%) after 121.4 sec
121.59/121.66	c [picomus] reduction 222 to 3311 out of 94713 (3%) after 121.7 sec
121.69/121.75	c [picomus] reduction 223 to 3310 out of 94713 (3%) after 121.8 sec
121.79/121.83	c [picomus] reduction 224 to 3309 out of 94713 (3%) after 121.8 sec
121.89/121.90	c [picomus] reduction 225 to 3308 out of 94713 (3%) after 121.9 sec
122.00/122.01	c [picomus] reduction 226 to 3307 out of 94713 (3%) after 122.0 sec
122.00/122.07	c [picomus] reduction 227 to 3306 out of 94713 (3%) after 122.1 sec
122.10/122.17	c [picomus] reduction 228 to 3304 out of 94713 (3%) after 122.2 sec
122.39/122.47	c [picomus] reduction 229 to 3303 out of 94713 (3%) after 122.5 sec
125.40/125.48	c [picomus] reduction 230 to 3298 out of 94713 (3%) after 125.5 sec
127.19/127.28	c [picomus] reduction 231 to 3297 out of 94713 (3%) after 127.3 sec
127.69/127.72	c [picomus] reduction 232 to 3296 out of 94713 (3%) after 127.7 sec
129.19/129.24	c [picomus] reduction 233 to 3295 out of 94713 (3%) after 129.2 sec
129.19/129.25	c [picomus] reduction 234 to 3294 out of 94713 (3%) after 129.3 sec
129.29/129.32	c [picomus] reduction 235 to 3293 out of 94713 (3%) after 129.3 sec
129.39/129.49	c [picomus] reduction 236 to 3292 out of 94713 (3%) after 129.5 sec
129.59/129.61	c [picomus] reduction 237 to 3291 out of 94713 (3%) after 129.6 sec
129.70/129.70	c [picomus] reduction 238 to 3290 out of 94713 (3%) after 129.7 sec
129.80/129.83	c [picomus] reduction 239 to 3288 out of 94713 (3%) after 129.8 sec
129.80/129.88	c [picomus] reduction 240 to 3287 out of 94713 (3%) after 129.9 sec
129.99/130.01	c [picomus] reduction 241 to 3286 out of 94713 (3%) after 130.0 sec
129.99/130.07	c [picomus] reduction 242 to 3285 out of 94713 (3%) after 130.1 sec
129.99/130.08	c [picomus] reduction 243 to 3284 out of 94713 (3%) after 130.1 sec
131.69/131.76	c [picomus] reduction 244 to 3283 out of 94713 (3%) after 131.8 sec
131.89/131.92	c [picomus] reduction 245 to 3282 out of 94713 (3%) after 131.9 sec
131.89/131.99	c [picomus] reduction 246 to 3281 out of 94713 (3%) after 132.0 sec
132.00/132.06	c [picomus] reduction 247 to 3280 out of 94713 (3%) after 132.1 sec
132.09/132.15	c [picomus] reduction 248 to 3279 out of 94713 (3%) after 132.2 sec
132.19/132.22	c [picomus] reduction 249 to 3278 out of 94713 (3%) after 132.2 sec
132.29/132.30	c [picomus] reduction 250 to 3277 out of 94713 (3%) after 132.3 sec
132.29/132.36	c [picomus] reduction 251 to 3276 out of 94713 (3%) after 132.4 sec
135.39/135.49	c [picomus] reduction 252 to 3275 out of 94713 (3%) after 135.5 sec
135.49/135.55	c [picomus] reduction 253 to 3274 out of 94713 (3%) after 135.6 sec
135.59/135.63	c [picomus] reduction 254 to 3273 out of 94713 (3%) after 135.6 sec
135.69/135.73	c [picomus] reduction 255 to 3272 out of 94713 (3%) after 135.7 sec
135.79/135.85	c [picomus] reduction 256 to 3271 out of 94713 (3%) after 135.9 sec
135.89/135.97	c [picomus] reduction 257 to 3270 out of 94713 (3%) after 136.0 sec
139.29/139.34	c [picomus] reduction 258 to 3269 out of 94713 (3%) after 139.3 sec
139.39/139.40	c [picomus] reduction 259 to 3268 out of 94713 (3%) after 139.4 sec
139.60/139.63	c [picomus] reduction 260 to 3267 out of 94713 (3%) after 139.6 sec
139.70/139.77	c [picomus] reduction 261 to 3266 out of 94713 (3%) after 139.8 sec
139.79/139.88	c [picomus] reduction 262 to 3265 out of 94713 (3%) after 139.9 sec
139.89/139.97	c [picomus] reduction 263 to 3264 out of 94713 (3%) after 140.0 sec
162.29/162.38	c [picomus] reduction 264 to 3262 out of 94713 (3%) after 162.4 sec
162.39/162.44	c [picomus] reduction 265 to 3261 out of 94713 (3%) after 162.4 sec
166.99/167.05	c [picomus] reduction 266 to 3259 out of 94713 (3%) after 167.1 sec
183.10/183.16	c [picomus] reduction 267 to 3258 out of 94713 (3%) after 183.2 sec
193.60/193.60	c [picosat] 3526 calls
193.60/193.60	c [picosat] 0 iterations
193.60/193.60	c [picosat] 399 restarts
193.60/193.60	c [picosat] 0 failed literals
193.60/193.60	c [picosat] 79282 conflicts
193.60/193.60	c [picosat] 418109601 decisions
193.60/193.60	c [picosat] 3717 fixed variables
193.60/193.60	c [picosat] 83237426 learned literals
193.60/193.60	c [picosat] 1.7% deleted literals
193.60/193.60	c [picosat] 454733476 propagations
193.60/193.60	c [picosat] 5.0% variables used
193.60/193.60	c [picosat] 152.8 seconds in library
193.60/193.60	c [picosat] 3.0 megaprops/second
193.60/193.60	c [picosat] probing 6.1 seconds 4%
193.60/193.60	c [picosat] 227 simplifications
193.60/193.60	c [picosat] 3 reductions
193.60/193.60	c [picosat] 314.9 MB recycled
193.60/193.60	c [picosat] 26.4 MB maximally allocated
193.60/193.60	c [picomus] found 91455 redundant clauses 97%
193.60/193.60	c [picomus] computed MUS of size 3258 out of 94713 (3%)
193.60/193.60	v 5992
193.60/193.60	v 5994
193.60/193.60	v 5997
193.60/193.60	v 5999
193.60/193.60	v 11182
193.60/193.60	v 11184
193.60/193.60	v 11187
193.60/193.60	v 11189
193.60/193.60	v 11212
193.60/193.60	v 11214
193.60/193.60	v 11217
193.60/193.60	v 11219
193.60/193.60	v 11242
193.60/193.60	v 11244
193.60/193.60	v 11247
193.60/193.60	v 11249
193.60/193.60	v 15682
193.60/193.60	v 15684
193.60/193.60	v 15687
193.60/193.60	v 15689
193.60/193.60	v 19402
193.60/193.60	v 19404
193.60/193.60	v 19407
193.60/193.60	v 19409
193.60/193.60	v 22432
193.60/193.60	v 22434
193.60/193.60	v 22437
193.60/193.60	v 22439
193.60/193.60	v 24802
193.60/193.60	v 24804
193.60/193.60	v 24807
193.60/193.60	v 24809
193.60/193.60	v 26542
193.60/193.60	v 26544
193.60/193.60	v 26547
193.60/193.60	v 26549
193.60/193.60	v 27682
193.60/193.60	v 27684
193.60/193.60	v 27687
193.60/193.60	v 27689
193.60/193.60	v 28252
193.60/193.60	v 28254
193.60/193.60	v 28257
193.60/193.60	v 28259
193.60/193.60	v 28262
193.60/193.60	v 28265
193.60/193.60	v 28268
193.60/193.60	v 28271
193.60/193.60	v 28274
193.60/193.60	v 28277
193.60/193.60	v 28280
193.60/193.60	v 28283
193.60/193.60	v 28286
193.60/193.60	v 28289
193.60/193.60	v 28292
193.60/193.60	v 28295
193.60/193.60	v 28298
193.60/193.60	v 28301
193.60/193.60	v 28304
193.60/193.60	v 28307
193.60/193.60	v 28310
193.60/193.60	v 28313
193.60/193.60	v 28315
193.60/193.60	v 28316
193.60/193.60	v 28319
193.60/193.60	v 28322
193.60/193.60	v 28325
193.60/193.60	v 28328
193.60/193.60	v 28331
193.60/193.60	v 28334
193.60/193.60	v 28337
193.60/193.60	v 28340
193.60/193.60	v 28343
193.60/193.60	v 28346
193.60/193.60	v 28349
193.60/193.60	v 28352
193.60/193.60	v 28355
193.60/193.60	v 28358
193.60/193.60	v 28361
193.60/193.60	v 28364
193.60/193.60	v 28367
193.60/193.60	v 28370
193.60/193.60	v 28373
193.60/193.60	v 28376
193.60/193.60	v 28379
193.60/193.60	v 28382
193.60/193.60	v 28385
193.60/193.60	v 28388
193.60/193.60	v 28391
193.60/193.60	v 28394
193.60/193.60	v 28397
193.60/193.60	v 28400
193.60/193.60	v 28403
193.60/193.60	v 28406
193.60/193.60	v 28409
193.60/193.60	v 28412
193.60/193.60	v 28415
193.60/193.60	v 28418
193.60/193.60	v 28421
193.60/193.60	v 28424
193.60/193.60	v 28427
193.60/193.60	v 28429
193.60/193.60	v 28430
193.60/193.60	v 28433
193.60/193.60	v 28436
193.60/193.60	v 28439
193.60/193.60	v 28442
193.60/193.60	v 28445
193.60/193.60	v 28448
193.60/193.60	v 28451
193.60/193.60	v 28454
193.60/193.60	v 28457
193.60/193.60	v 28460
193.60/193.60	v 28463
193.60/193.60	v 28466
193.60/193.60	v 28469
193.60/193.60	v 28472
193.60/193.60	v 28475
193.60/193.60	v 28478
193.60/193.60	v 28481
193.60/193.60	v 28484
193.60/193.60	v 28487
193.60/193.60	v 28490
193.60/193.60	v 28493
193.60/193.60	v 28496
193.60/193.60	v 28499
193.60/193.60	v 28502
193.60/193.60	v 28505
193.60/193.60	v 28508
193.60/193.60	v 28511
193.60/193.60	v 28514
193.60/193.60	v 28517
193.60/193.60	v 28520
193.60/193.60	v 28523
193.60/193.60	v 28526
193.60/193.60	v 28529
193.60/193.60	v 28532
193.60/193.60	v 28535
193.60/193.60	v 28538
193.60/193.60	v 28541
193.60/193.60	v 28544
193.60/193.60	v 28547
193.60/193.60	v 28550
193.60/193.60	v 28553
193.60/193.60	v 28556
193.60/193.60	v 28559
193.60/193.60	v 28562
193.60/193.60	v 28565
193.60/193.60	v 28568
193.60/193.60	v 28571
193.60/193.60	v 28574
193.60/193.60	v 28577
193.60/193.60	v 28580
193.60/193.60	v 28583
193.60/193.60	v 28586
193.60/193.60	v 28589
193.60/193.60	v 28592
193.60/193.60	v 28595
193.60/193.60	v 28598
193.60/193.60	v 28601
193.60/193.60	v 28603
193.60/193.60	v 28604
193.60/193.60	v 28607
193.60/193.60	v 28610
193.60/193.60	v 28613
193.60/193.60	v 28616
193.60/193.60	v 28619
193.60/193.60	v 28622
193.60/193.60	v 28625
193.60/193.60	v 28628
193.60/193.60	v 28631
193.60/193.60	v 28634
193.60/193.60	v 28637
193.60/193.60	v 28640
193.60/193.60	v 28643
193.60/193.60	v 28646
193.60/193.60	v 28649
193.60/193.60	v 28652
193.60/193.60	v 28655
193.60/193.60	v 28658
193.60/193.60	v 28661
193.60/193.60	v 28664
193.60/193.60	v 28667
193.60/193.60	v 28670
193.60/193.60	v 28673
193.60/193.60	v 28676
193.60/193.60	v 28679
193.60/193.60	v 28682
193.60/193.60	v 28685
193.60/193.60	v 28688
193.60/193.60	v 28691
193.60/193.60	v 28694
193.60/193.60	v 28697
193.60/193.60	v 28700
193.60/193.60	v 28703
193.60/193.60	v 28706
193.60/193.60	v 28709
193.60/193.60	v 28712
193.60/193.60	v 28715
193.60/193.60	v 28718
193.60/193.60	v 28721
193.60/193.60	v 28724
193.60/193.60	v 28727
193.60/193.60	v 28730
193.60/193.60	v 28733
193.60/193.60	v 28736
193.60/193.60	v 28739
193.60/193.60	v 28742
193.60/193.60	v 28745
193.60/193.60	v 28748
193.60/193.60	v 28751
193.60/193.60	v 28754
193.60/193.60	v 28757
193.60/193.60	v 28760
193.60/193.60	v 28763
193.60/193.60	v 28766
193.60/193.60	v 28769
193.60/193.60	v 28772
193.60/193.60	v 28775
193.60/193.60	v 28778
193.60/193.60	v 28781
193.60/193.60	v 28784
193.60/193.60	v 28787
193.60/193.60	v 28790
193.60/193.60	v 28793
193.60/193.60	v 28796
193.60/193.60	v 28799
193.60/193.60	v 28802
193.60/193.60	v 28805
193.60/193.60	v 28808
193.60/193.60	v 28811
193.60/193.60	v 28814
193.60/193.60	v 28817
193.60/193.60	v 28820
193.60/193.60	v 28823
193.60/193.60	v 28826
193.60/193.60	v 28829
193.60/193.60	v 28832
193.60/193.60	v 28835
193.60/193.60	v 28838
193.60/193.60	v 28840
193.60/193.60	v 28841
193.60/193.60	v 28844
193.60/193.60	v 28847
193.60/193.60	v 28850
193.60/193.60	v 28853
193.60/193.60	v 28856
193.60/193.60	v 28859
193.60/193.60	v 28862
193.60/193.60	v 28865
193.60/193.60	v 28868
193.60/193.60	v 28871
193.60/193.60	v 28874
193.60/193.60	v 28877
193.60/193.60	v 28880
193.60/193.60	v 28883
193.60/193.60	v 28886
193.60/193.60	v 28889
193.60/193.60	v 28892
193.60/193.60	v 28895
193.60/193.60	v 28898
193.60/193.60	v 28901
193.60/193.60	v 28904
193.60/193.60	v 28907
193.60/193.60	v 28910
193.60/193.60	v 28913
193.60/193.60	v 28916
193.60/193.60	v 28919
193.60/193.60	v 28922
193.60/193.60	v 28925
193.60/193.60	v 28928
193.60/193.60	v 28931
193.60/193.60	v 28934
193.60/193.60	v 28937
193.60/193.60	v 28940
193.60/193.60	v 28943
193.60/193.60	v 28946
193.60/193.60	v 28949
193.60/193.60	v 28952
193.60/193.60	v 28955
193.60/193.60	v 28958
193.60/193.60	v 28961
193.60/193.60	v 28964
193.60/193.60	v 28967
193.60/193.60	v 28970
193.60/193.60	v 28973
193.60/193.60	v 28976
193.60/193.60	v 28979
193.60/193.60	v 28982
193.60/193.60	v 28985
193.60/193.60	v 28988
193.60/193.60	v 28991
193.60/193.60	v 28994
193.60/193.60	v 28997
193.60/193.60	v 29000
193.60/193.60	v 29003
193.60/193.60	v 29006
193.60/193.60	v 29009
193.60/193.60	v 29012
193.60/193.60	v 29015
193.60/193.60	v 29018
193.60/193.60	v 29021
193.60/193.60	v 29024
193.60/193.60	v 29027
193.60/193.60	v 29030
193.60/193.60	v 29033
193.60/193.60	v 29036
193.60/193.60	v 29039
193.60/193.60	v 29042
193.60/193.60	v 29045
193.60/193.60	v 29048
193.60/193.60	v 29051
193.60/193.60	v 29054
193.60/193.60	v 29057
193.60/193.60	v 29060
193.60/193.60	v 29063
193.60/193.60	v 29066
193.60/193.60	v 29069
193.60/193.60	v 29072
193.60/193.60	v 29075
193.60/193.60	v 29078
193.60/193.60	v 29081
193.60/193.60	v 29084
193.60/193.60	v 29087
193.60/193.60	v 29090
193.60/193.60	v 29093
193.60/193.60	v 29096
193.60/193.60	v 29099
193.60/193.60	v 29102
193.60/193.60	v 29105
193.60/193.60	v 29108
193.60/193.60	v 29111
193.60/193.60	v 29114
193.60/193.60	v 29117
193.60/193.60	v 29120
193.60/193.60	v 29123
193.60/193.60	v 29126
193.60/193.60	v 29129
193.60/193.60	v 29132
193.60/193.60	v 29135
193.60/193.60	v 29138
193.60/193.60	v 29141
193.60/193.60	v 29143
193.60/193.60	v 29144
193.60/193.60	v 29147
193.60/193.60	v 29150
193.60/193.60	v 29153
193.60/193.60	v 29156
193.60/193.60	v 29159
193.60/193.60	v 29162
193.60/193.60	v 29165
193.60/193.60	v 29168
193.60/193.60	v 29171
193.60/193.60	v 29174
193.60/193.60	v 29177
193.60/193.60	v 29180
193.60/193.60	v 29183
193.60/193.60	v 29186
193.60/193.60	v 29189
193.60/193.60	v 29192
193.60/193.60	v 29195
193.60/193.60	v 29198
193.60/193.60	v 29201
193.60/193.60	v 29204
193.60/193.60	v 29207
193.60/193.60	v 29210
193.60/193.60	v 29213
193.60/193.60	v 29216
193.60/193.60	v 29219
193.60/193.60	v 29222
193.60/193.60	v 29225
193.60/193.60	v 29228
193.60/193.60	v 29231
193.60/193.60	v 29234
193.60/193.60	v 29237
193.60/193.60	v 29240
193.60/193.60	v 29243
193.60/193.60	v 29246
193.60/193.60	v 29249
193.60/193.60	v 29252
193.60/193.60	v 29255
193.60/193.60	v 29258
193.60/193.60	v 29261
193.60/193.60	v 29264
193.60/193.60	v 29267
193.60/193.60	v 29270
193.60/193.60	v 29273
193.60/193.60	v 29276
193.60/193.60	v 29279
193.60/193.60	v 29282
193.60/193.60	v 29285
193.60/193.60	v 29288
193.60/193.60	v 29291
193.60/193.60	v 29294
193.60/193.60	v 29297
193.60/193.60	v 29300
193.60/193.60	v 29303
193.60/193.60	v 29306
193.60/193.60	v 29309
193.60/193.60	v 29312
193.60/193.60	v 29315
193.60/193.60	v 29318
193.60/193.60	v 29321
193.60/193.60	v 29324
193.60/193.60	v 29327
193.60/193.60	v 29330
193.60/193.60	v 29333
193.60/193.60	v 29336
193.60/193.60	v 29339
193.60/193.60	v 29342
193.60/193.60	v 29345
193.60/193.60	v 29348
193.60/193.60	v 29351
193.60/193.60	v 29354
193.60/193.60	v 29357
193.60/193.60	v 29360
193.60/193.60	v 29363
193.60/193.60	v 29366
193.60/193.60	v 29369
193.60/193.60	v 29372
193.60/193.60	v 29375
193.60/193.60	v 29378
193.60/193.60	v 29381
193.60/193.60	v 29384
193.60/193.60	v 29387
193.60/193.60	v 29390
193.60/193.60	v 29393
193.60/193.60	v 29396
193.60/193.60	v 29399
193.60/193.60	v 29402
193.60/193.60	v 29405
193.60/193.60	v 29408
193.60/193.60	v 29411
193.60/193.60	v 29414
193.60/193.60	v 29417
193.60/193.60	v 29420
193.60/193.60	v 29423
193.60/193.60	v 29426
193.60/193.60	v 29429
193.60/193.60	v 29432
193.60/193.60	v 29435
193.60/193.60	v 29438
193.60/193.60	v 29441
193.60/193.60	v 29444
193.60/193.60	v 29447
193.60/193.60	v 29450
193.60/193.60	v 29453
193.60/193.60	v 29456
193.60/193.60	v 29459
193.60/193.60	v 29462
193.60/193.60	v 29465
193.60/193.60	v 29468
193.60/193.60	v 29471
193.60/193.60	v 29474
193.60/193.60	v 29477
193.60/193.60	v 29480
193.60/193.60	v 29483
193.60/193.60	v 29486
193.60/193.60	v 29489
193.60/193.60	v 29492
193.60/193.60	v 29495
193.60/193.60	v 29498
193.60/193.60	v 29501
193.60/193.60	v 29504
193.60/193.60	v 29507
193.60/193.60	v 29510
193.60/193.60	v 29513
193.60/193.60	v 29515
193.60/193.60	v 29516
193.60/193.60	v 29519
193.60/193.60	v 29522
193.60/193.60	v 29525
193.60/193.60	v 29528
193.60/193.60	v 29531
193.60/193.60	v 29534
193.60/193.60	v 29537
193.60/193.60	v 29540
193.60/193.60	v 29543
193.60/193.60	v 29546
193.60/193.60	v 29549
193.60/193.60	v 29552
193.60/193.60	v 29555
193.60/193.60	v 29558
193.60/193.60	v 29561
193.60/193.60	v 29564
193.60/193.60	v 29567
193.60/193.60	v 29570
193.60/193.60	v 29573
193.60/193.60	v 29576
193.60/193.60	v 29579
193.60/193.60	v 29582
193.60/193.60	v 29585
193.60/193.60	v 29588
193.60/193.60	v 29591
193.60/193.60	v 29594
193.60/193.60	v 29597
193.60/193.60	v 29600
193.60/193.60	v 29603
193.60/193.60	v 29606
193.60/193.60	v 29609
193.60/193.60	v 29612
193.60/193.60	v 29615
193.60/193.60	v 29618
193.60/193.60	v 29621
193.60/193.60	v 29624
193.60/193.60	v 29627
193.60/193.60	v 29630
193.60/193.60	v 29633
193.60/193.60	v 29636
193.60/193.60	v 29639
193.60/193.60	v 29642
193.60/193.60	v 29645
193.60/193.60	v 29648
193.60/193.60	v 29651
193.60/193.60	v 29654
193.60/193.60	v 29657
193.60/193.60	v 29660
193.60/193.60	v 29663
193.60/193.60	v 29666
193.60/193.60	v 29669
193.60/193.60	v 29672
193.60/193.60	v 29675
193.60/193.60	v 29678
193.60/193.60	v 29681
193.60/193.60	v 29684
193.60/193.60	v 29687
193.60/193.60	v 29690
193.60/193.60	v 29693
193.60/193.60	v 29696
193.60/193.60	v 29699
193.60/193.60	v 29702
193.60/193.60	v 29705
193.60/193.60	v 29708
193.60/193.60	v 29711
193.60/193.60	v 29714
193.60/193.60	v 29717
193.60/193.60	v 29720
193.60/193.60	v 29723
193.60/193.60	v 29726
193.60/193.60	v 29729
193.60/193.60	v 29732
193.60/193.60	v 29735
193.60/193.60	v 29738
193.60/193.60	v 29741
193.60/193.60	v 29744
193.60/193.60	v 29747
193.60/193.60	v 29750
193.60/193.60	v 29753
193.60/193.60	v 29756
193.60/193.60	v 29759
193.60/193.60	v 29762
193.60/193.60	v 29765
193.60/193.60	v 29768
193.60/193.60	v 29771
193.60/193.60	v 29774
193.60/193.60	v 29777
193.60/193.60	v 29780
193.60/193.60	v 29783
193.60/193.60	v 29786
193.60/193.60	v 29789
193.60/193.60	v 29792
193.60/193.60	v 29795
193.60/193.60	v 29798
193.60/193.60	v 29801
193.60/193.60	v 29804
193.60/193.60	v 29807
193.60/193.60	v 29810
193.60/193.60	v 29813
193.60/193.60	v 29816
193.60/193.60	v 29819
193.60/193.60	v 29822
193.60/193.60	v 29825
193.60/193.60	v 29828
193.60/193.60	v 29831
193.60/193.60	v 29834
193.60/193.60	v 29837
193.60/193.60	v 29840
193.60/193.60	v 29843
193.60/193.60	v 29846
193.60/193.60	v 29849
193.60/193.60	v 29852
193.60/193.60	v 29855
193.60/193.60	v 29858
193.60/193.60	v 29861
193.60/193.60	v 29864
193.60/193.60	v 29867
193.60/193.60	v 29870
193.60/193.60	v 29873
193.60/193.60	v 29876
193.60/193.60	v 29879
193.60/193.60	v 29882
193.60/193.60	v 29885
193.60/193.60	v 29888
193.60/193.60	v 29891
193.60/193.60	v 29894
193.60/193.60	v 29897
193.60/193.60	v 29900
193.60/193.60	v 29903
193.60/193.60	v 29906
193.60/193.60	v 29909
193.60/193.60	v 29912
193.60/193.60	v 29915
193.60/193.60	v 29918
193.60/193.60	v 29921
193.60/193.60	v 29924
193.60/193.60	v 29927
193.60/193.60	v 29930
193.60/193.60	v 29933
193.60/193.60	v 29936
193.60/193.60	v 29939
193.60/193.60	v 29942
193.60/193.60	v 29945
193.60/193.60	v 29948
193.60/193.60	v 29951
193.60/193.60	v 29954
193.60/193.60	v 29957
193.60/193.60	v 29959
193.60/193.60	v 29960
193.60/193.60	v 29962
193.60/193.60	v 29963
193.60/193.60	v 29965
193.60/193.60	v 29966
193.60/193.60	v 29969
193.60/193.60	v 29972
193.60/193.60	v 29975
193.60/193.60	v 29978
193.60/193.60	v 29981
193.60/193.60	v 29984
193.60/193.60	v 29987
193.60/193.60	v 29990
193.60/193.60	v 29993
193.60/193.60	v 29996
193.60/193.60	v 29999
193.60/193.60	v 30002
193.60/193.60	v 30005
193.60/193.60	v 30008
193.60/193.60	v 30011
193.60/193.60	v 30014
193.60/193.60	v 30017
193.60/193.60	v 30020
193.60/193.60	v 30023
193.60/193.60	v 30026
193.60/193.60	v 30029
193.60/193.60	v 30032
193.60/193.60	v 30035
193.60/193.60	v 30038
193.60/193.60	v 30041
193.60/193.60	v 30044
193.60/193.60	v 30047
193.60/193.60	v 30050
193.60/193.60	v 30053
193.60/193.60	v 30056
193.60/193.60	v 30059
193.60/193.60	v 30062
193.60/193.60	v 30065
193.60/193.60	v 30068
193.60/193.60	v 30071
193.60/193.60	v 30074
193.60/193.60	v 30077
193.60/193.60	v 30080
193.60/193.60	v 30083
193.60/193.60	v 30086
193.60/193.60	v 30089
193.60/193.60	v 30092
193.60/193.60	v 30095
193.60/193.60	v 30098
193.60/193.60	v 30101
193.60/193.60	v 30104
193.60/193.60	v 30107
193.60/193.60	v 30110
193.60/193.60	v 30113
193.60/193.60	v 30116
193.60/193.60	v 30119
193.60/193.60	v 30122
193.60/193.60	v 30125
193.60/193.60	v 30128
193.60/193.60	v 30131
193.60/193.60	v 30134
193.60/193.60	v 30137
193.60/193.60	v 30140
193.60/193.60	v 30143
193.60/193.60	v 30146
193.60/193.60	v 30149
193.60/193.60	v 30152
193.60/193.60	v 30155
193.60/193.60	v 30158
193.60/193.60	v 30161
193.60/193.60	v 30164
193.60/193.60	v 30167
193.60/193.60	v 30170
193.60/193.60	v 30173
193.60/193.60	v 30176
193.60/193.60	v 30179
193.60/193.60	v 30182
193.60/193.60	v 30185
193.60/193.60	v 30188
193.60/193.60	v 30191
193.60/193.60	v 30194
193.60/193.60	v 30197
193.60/193.60	v 30200
193.60/193.60	v 30203
193.60/193.60	v 30206
193.60/193.60	v 30209
193.60/193.60	v 30212
193.60/193.60	v 30215
193.60/193.60	v 30218
193.60/193.60	v 30221
193.60/193.60	v 30224
193.60/193.60	v 30227
193.60/193.60	v 30230
193.60/193.60	v 30233
193.60/193.60	v 30236
193.60/193.60	v 30239
193.60/193.60	v 30242
193.60/193.60	v 30245
193.60/193.60	v 30248
193.60/193.60	v 30251
193.60/193.60	v 30254
193.60/193.60	v 30257
193.60/193.60	v 30260
193.60/193.60	v 30263
193.60/193.60	v 30266
193.60/193.60	v 30269
193.60/193.60	v 30272
193.60/193.60	v 30275
193.60/193.60	v 30278
193.60/193.60	v 30281
193.60/193.60	v 30284
193.60/193.60	v 30287
193.60/193.60	v 30290
193.60/193.60	v 30293
193.60/193.60	v 30296
193.60/193.60	v 30299
193.60/193.60	v 30302
193.60/193.60	v 30305
193.60/193.60	v 30308
193.60/193.60	v 30311
193.60/193.60	v 30314
193.60/193.60	v 30317
193.60/193.60	v 30320
193.60/193.60	v 30323
193.60/193.60	v 30326
193.60/193.60	v 30329
193.60/193.60	v 30332
193.60/193.60	v 30335
193.60/193.60	v 30338
193.60/193.60	v 30341
193.60/193.60	v 30344
193.60/193.60	v 30347
193.60/193.60	v 30350
193.60/193.60	v 30353
193.60/193.60	v 30356
193.60/193.60	v 30359
193.60/193.60	v 30362
193.60/193.60	v 30365
193.60/193.60	v 30368
193.60/193.60	v 30371
193.60/193.60	v 30374
193.60/193.60	v 30377
193.60/193.60	v 30380
193.60/193.60	v 30383
193.60/193.60	v 30386
193.60/193.60	v 30389
193.60/193.60	v 30392
193.60/193.60	v 30395
193.60/193.60	v 30398
193.60/193.60	v 30401
193.60/193.60	v 30404
193.60/193.60	v 30407
193.60/193.60	v 30410
193.60/193.60	v 30413
193.60/193.60	v 30416
193.60/193.60	v 30419
193.60/193.60	v 30422
193.60/193.60	v 30425
193.60/193.60	v 30428
193.60/193.60	v 30431
193.60/193.60	v 30434
193.60/193.60	v 30437
193.60/193.60	v 30440
193.60/193.60	v 30443
193.60/193.60	v 30446
193.60/193.60	v 30449
193.60/193.60	v 30452
193.60/193.60	v 30455
193.60/193.60	v 30458
193.60/193.60	v 30461
193.60/193.60	v 30464
193.60/193.60	v 30467
193.60/193.60	v 30470
193.60/193.60	v 30473
193.60/193.60	v 30476
193.60/193.60	v 30479
193.60/193.60	v 30482
193.60/193.60	v 30484
193.60/193.60	v 30485
193.60/193.60	v 30488
193.60/193.60	v 30491
193.60/193.60	v 30494
193.60/193.60	v 30497
193.60/193.60	v 30500
193.60/193.60	v 30503
193.60/193.60	v 30506
193.60/193.60	v 30509
193.60/193.60	v 30512
193.60/193.60	v 30515
193.60/193.60	v 30518
193.60/193.60	v 30521
193.60/193.60	v 30524
193.60/193.60	v 30527
193.60/193.60	v 30530
193.60/193.60	v 30533
193.60/193.60	v 30536
193.60/193.60	v 30539
193.60/193.60	v 30542
193.60/193.60	v 30545
193.60/193.60	v 30548
193.60/193.60	v 30551
193.60/193.60	v 30554
193.60/193.60	v 30557
193.60/193.60	v 30560
193.60/193.60	v 30563
193.60/193.60	v 30566
193.60/193.60	v 30569
193.60/193.60	v 30572
193.60/193.60	v 30575
193.60/193.60	v 30578
193.60/193.60	v 30581
193.60/193.60	v 30584
193.60/193.60	v 30587
193.60/193.60	v 30590
193.60/193.60	v 30593
193.60/193.60	v 30596
193.60/193.60	v 30599
193.60/193.60	v 30602
193.60/193.60	v 30605
193.60/193.60	v 30608
193.60/193.60	v 30611
193.60/193.60	v 30614
193.60/193.60	v 30617
193.60/193.60	v 30620
193.60/193.60	v 30623
193.60/193.60	v 30626
193.60/193.60	v 30629
193.60/193.60	v 30632
193.60/193.60	v 30635
193.60/193.60	v 30638
193.60/193.60	v 30641
193.60/193.60	v 30644
193.60/193.60	v 30647
193.60/193.60	v 30650
193.60/193.60	v 30653
193.60/193.60	v 30656
193.60/193.60	v 30659
193.60/193.60	v 30662
193.60/193.60	v 30665
193.60/193.60	v 30668
193.60/193.60	v 30671
193.60/193.60	v 30674
193.60/193.60	v 30677
193.60/193.60	v 30680
193.60/193.60	v 30683
193.60/193.60	v 30686
193.60/193.60	v 30689
193.60/193.60	v 30692
193.60/193.60	v 30695
193.60/193.60	v 30698
193.60/193.60	v 30701
193.60/193.60	v 30704
193.60/193.60	v 30707
193.60/193.60	v 30710
193.60/193.60	v 30713
193.60/193.60	v 30716
193.60/193.60	v 30719
193.60/193.60	v 30722
193.60/193.60	v 30725
193.60/193.60	v 30728
193.60/193.60	v 30731
193.60/193.60	v 30734
193.60/193.60	v 30737
193.60/193.60	v 30740
193.60/193.60	v 30743
193.60/193.60	v 30746
193.60/193.60	v 30749
193.60/193.60	v 30752
193.60/193.60	v 30755
193.60/193.60	v 30758
193.60/193.60	v 30761
193.60/193.60	v 30764
193.60/193.60	v 30767
193.60/193.60	v 30770
193.60/193.60	v 30773
193.60/193.60	v 30776
193.60/193.60	v 30779
193.60/193.60	v 30782
193.60/193.60	v 30785
193.60/193.60	v 30788
193.60/193.61	v 30791
193.60/193.61	v 30794
193.60/193.61	v 30797
193.60/193.61	v 30800
193.60/193.61	v 30803
193.60/193.61	v 30806
193.60/193.61	v 30809
193.60/193.61	v 30812
193.60/193.61	v 30815
193.60/193.61	v 30818
193.60/193.61	v 30821
193.60/193.61	v 30824
193.60/193.61	v 30827
193.60/193.61	v 30830
193.60/193.61	v 30833
193.60/193.61	v 30836
193.60/193.61	v 30839
193.60/193.61	v 30842
193.60/193.61	v 30845
193.60/193.61	v 30848
193.60/193.61	v 30851
193.60/193.61	v 30854
193.60/193.61	v 30857
193.60/193.61	v 30860
193.60/193.61	v 30863
193.60/193.61	v 30866
193.60/193.61	v 30869
193.60/193.61	v 30872
193.60/193.61	v 30875
193.60/193.61	v 30878
193.60/193.61	v 30881
193.60/193.61	v 30884
193.60/193.61	v 30887
193.60/193.61	v 30890
193.60/193.61	v 30893
193.60/193.61	v 30896
193.60/193.61	v 30899
193.60/193.61	v 30902
193.60/193.61	v 30905
193.60/193.61	v 30908
193.60/193.61	v 30911
193.60/193.61	v 30914
193.60/193.61	v 30917
193.60/193.61	v 30920
193.60/193.61	v 30923
193.60/193.61	v 30926
193.60/193.61	v 30929
193.60/193.61	v 30932
193.60/193.61	v 30935
193.60/193.61	v 30938
193.60/193.61	v 30941
193.60/193.61	v 30944
193.60/193.61	v 30947
193.60/193.61	v 30950
193.60/193.61	v 30953
193.60/193.61	v 30956
193.60/193.61	v 30959
193.60/193.61	v 30962
193.60/193.61	v 30965
193.60/193.61	v 30968
193.60/193.61	v 30971
193.60/193.61	v 30974
193.60/193.61	v 30977
193.60/193.61	v 30980
193.60/193.61	v 30983
193.60/193.61	v 30986
193.60/193.61	v 30989
193.60/193.61	v 30992
193.60/193.61	v 30995
193.60/193.61	v 30998
193.60/193.61	v 31001
193.60/193.61	v 31004
193.60/193.61	v 31007
193.60/193.61	v 31010
193.60/193.61	v 31013
193.60/193.61	v 31016
193.60/193.61	v 31019
193.60/193.61	v 31022
193.60/193.61	v 31025
193.60/193.61	v 31028
193.60/193.61	v 31031
193.60/193.61	v 31034
193.60/193.61	v 31037
193.60/193.61	v 31040
193.60/193.61	v 31043
193.60/193.61	v 31046
193.60/193.61	v 31049
193.60/193.61	v 31052
193.60/193.61	v 31055
193.60/193.61	v 31058
193.60/193.61	v 31061
193.60/193.61	v 31064
193.60/193.61	v 31067
193.60/193.61	v 31070
193.60/193.61	v 31073
193.60/193.61	v 31076
193.60/193.61	v 31079
193.60/193.61	v 31082
193.60/193.61	v 31084
193.60/193.61	v 31087
193.60/193.61	v 31094
193.60/193.61	v 31096
193.60/193.61	v 31267
193.60/193.61	v 31269
193.60/193.61	v 31270
193.60/193.61	v 31271
193.60/193.61	v 31274
193.60/193.61	v 31501
193.60/193.61	v 31508
193.60/193.61	v 31515
193.60/193.61	v 31522
193.60/193.61	v 31529
193.60/193.61	v 31536
193.60/193.61	v 31543
193.60/193.61	v 31550
193.60/193.61	v 31551
193.60/193.61	v 31552
193.60/193.61	v 31554
193.60/193.61	v 31555
193.60/193.61	v 31557
193.60/193.61	v 31558
193.60/193.61	v 31560
193.60/193.61	v 31561
193.60/193.61	v 31563
193.60/193.61	v 31564
193.60/193.61	v 31566
193.60/193.61	v 31567
193.60/193.61	v 31569
193.60/193.61	v 31570
193.60/193.61	v 31572
193.60/193.61	v 31573
193.60/193.61	v 31754
193.60/193.61	v 31755
193.60/193.61	v 31757
193.60/193.61	v 31758
193.60/193.61	v 31762
193.60/193.61	v 31763
193.60/193.61	v 31764
193.60/193.61	v 31766
193.60/193.61	v 31767
193.60/193.61	v 31771
193.60/193.61	v 32047
193.60/193.61	v 32048
193.60/193.61	v 32069
193.60/193.61	v 32071
193.60/193.61	v 32072
193.60/193.61	v 32074
193.60/193.61	v 32075
193.60/193.61	v 32079
193.60/193.61	v 32080
193.60/193.61	v 32081
193.60/193.61	v 32083
193.60/193.61	v 32084
193.60/193.61	v 32088
193.60/193.61	v 32089
193.60/193.61	v 32090
193.60/193.61	v 32092
193.60/193.61	v 32093
193.60/193.61	v 32097
193.60/193.61	v 32098
193.60/193.61	v 32099
193.60/193.61	v 32101
193.60/193.61	v 32102
193.60/193.61	v 32106
193.60/193.61	v 32107
193.60/193.61	v 32108
193.60/193.61	v 32110
193.60/193.61	v 32111
193.60/193.61	v 32115
193.60/193.61	v 32116
193.60/193.61	v 32117
193.60/193.61	v 32119
193.60/193.61	v 32120
193.60/193.61	v 32124
193.60/193.61	v 32125
193.60/193.61	v 32126
193.60/193.61	v 32129
193.60/193.61	v 32133
193.60/193.61	v 32134
193.60/193.61	v 32135
193.60/193.61	v 32139
193.60/193.61	v 32141
193.60/193.61	v 32143
193.60/193.61	v 32148
193.60/193.61	v 32156
193.60/193.61	v 32169
193.60/193.61	v 32187
193.60/193.61	v 32811
193.60/193.61	v 32812
193.60/193.61	v 32814
193.60/193.61	v 32815
193.60/193.61	v 32817
193.60/193.61	v 32818
193.60/193.61	v 32822
193.60/193.61	v 32823
193.60/193.61	v 32824
193.60/193.61	v 32828
193.60/193.61	v 33189
193.60/193.61	v 33190
193.60/193.61	v 33217
193.60/193.61	v 33219
193.60/193.61	v 33220
193.60/193.61	v 33223
193.60/193.61	v 33224
193.60/193.61	v 33227
193.60/193.61	v 33228
193.60/193.61	v 33232
193.60/193.61	v 33233
193.60/193.61	v 33234
193.60/193.61	v 33237
193.60/193.61	v 33239
193.60/193.61	v 33240
193.60/193.61	v 33242
193.60/193.61	v 33243
193.60/193.61	v 33247
193.60/193.61	v 33248
193.60/193.61	v 33249
193.60/193.61	v 33252
193.60/193.61	v 33253
193.60/193.61	v 33256
193.60/193.61	v 33261
193.60/193.61	v 33262
193.60/193.61	v 33263
193.60/193.61	v 33265
193.60/193.61	v 33266
193.60/193.61	v 33270
193.60/193.61	v 33271
193.60/193.61	v 33272
193.60/193.61	v 33275
193.60/193.61	v 33276
193.60/193.61	v 33279
193.60/193.61	v 33280
193.60/193.61	v 33284
193.60/193.61	v 33285
193.60/193.61	v 33286
193.60/193.61	v 33288
193.60/193.61	v 33289
193.60/193.61	v 33293
193.60/193.61	v 33294
193.60/193.61	v 33295
193.60/193.61	v 33298
193.60/193.61	v 33299
193.60/193.61	v 33302
193.60/193.61	v 33303
193.60/193.61	v 33307
193.60/193.61	v 33308
193.60/193.61	v 33309
193.60/193.61	v 33311
193.60/193.61	v 33312
193.60/193.61	v 33316
193.60/193.61	v 33317
193.60/193.61	v 33318
193.60/193.61	v 33321
193.60/193.61	v 33322
193.60/193.61	v 33325
193.60/193.61	v 33326
193.60/193.61	v 33330
193.60/193.61	v 33331
193.60/193.61	v 33332
193.60/193.61	v 33334
193.60/193.61	v 33335
193.60/193.61	v 33339
193.60/193.61	v 33340
193.60/193.61	v 33341
193.60/193.61	v 33344
193.60/193.61	v 33345
193.60/193.61	v 33348
193.60/193.61	v 33349
193.60/193.61	v 33353
193.60/193.61	v 33354
193.60/193.61	v 33355
193.60/193.61	v 33357
193.60/193.61	v 33358
193.60/193.61	v 33362
193.60/193.61	v 33363
193.60/193.61	v 33364
193.60/193.61	v 33367
193.60/193.61	v 33368
193.60/193.61	v 33371
193.60/193.61	v 33372
193.60/193.61	v 33376
193.60/193.61	v 33377
193.60/193.61	v 33378
193.60/193.61	v 33380
193.60/193.61	v 33381
193.60/193.61	v 33385
193.60/193.61	v 33386
193.60/193.61	v 33387
193.60/193.61	v 33391
193.60/193.61	v 33392
193.60/193.61	v 33393
193.60/193.61	v 33397
193.60/193.61	v 33400
193.60/193.61	v 33408
193.60/193.61	v 33410
193.60/193.61	v 33412
193.60/193.61	v 33415
193.60/193.61	v 33420
193.60/193.61	v 33423
193.60/193.61	v 33424
193.60/193.61	v 33425
193.60/193.61	v 33434
193.60/193.61	v 33435
193.60/193.61	v 33436
193.60/193.61	v 33453
193.60/193.61	v 33480
193.60/193.61	v 33506
193.60/193.61	v 33507
193.60/193.61	v 33510
193.60/193.61	v 35199
193.60/193.61	v 35200
193.60/193.61	v 35202
193.60/193.61	v 35203
193.60/193.61	v 35205
193.60/193.61	v 35206
193.60/193.61	v 35210
193.60/193.61	v 35211
193.60/193.61	v 35212
193.60/193.61	v 35216
193.60/193.61	v 35220
193.60/193.61	v 35221
193.60/193.61	v 35223
193.60/193.61	v 35224
193.60/193.61	v 35228
193.60/193.61	v 35620
193.60/193.61	v 35621
193.60/193.61	v 35654
193.60/193.61	v 35656
193.60/193.61	v 35657
193.60/193.61	v 35659
193.60/193.61	v 35660
193.60/193.61	v 35662
193.60/193.61	v 35663
193.60/193.61	v 35666
193.60/193.61	v 35667
193.60/193.61	v 35670
193.60/193.61	v 35671
193.60/193.61	v 35673
193.60/193.61	v 35674
193.60/193.61	v 35678
193.60/193.61	v 35681
193.60/193.61	v 35682
193.60/193.61	v 35683
193.60/193.61	v 35685
193.60/193.61	v 35686
193.60/193.61	v 35689
193.60/193.61	v 35691
193.60/193.61	v 35692
193.60/193.61	v 35694
193.60/193.61	v 35695
193.60/193.61	v 35697
193.60/193.61	v 35698
193.60/193.61	v 35702
193.60/193.61	v 35703
193.60/193.61	v 35704
193.60/193.61	v 35707
193.60/193.61	v 35708
193.60/193.61	v 35711
193.60/193.61	v 35713
193.60/193.61	v 35714
193.60/193.61	v 35717
193.60/193.61	v 35719
193.60/193.61	v 35721
193.60/193.61	v 35722
193.60/193.61	v 35723
193.60/193.61	v 35724
193.60/193.61	v 35726
193.60/193.61	v 35727
193.60/193.61	v 35729
193.60/193.61	v 35730
193.60/193.61	v 35734
193.60/193.61	v 35735
193.60/193.61	v 35736
193.60/193.61	v 35739
193.60/193.61	v 35740
193.60/193.61	v 35743
193.60/193.61	v 35745
193.60/193.61	v 35746
193.60/193.61	v 35749
193.60/193.61	v 35751
193.60/193.61	v 35753
193.60/193.61	v 35754
193.60/193.61	v 35755
193.60/193.61	v 35756
193.60/193.61	v 35758
193.60/193.61	v 35759
193.60/193.61	v 35761
193.60/193.61	v 35762
193.60/193.61	v 35766
193.60/193.61	v 35767
193.60/193.61	v 35768
193.60/193.61	v 35771
193.60/193.61	v 35772
193.60/193.61	v 35775
193.60/193.61	v 35777
193.60/193.61	v 35778
193.60/193.61	v 35781
193.60/193.61	v 35783
193.60/193.61	v 35785
193.60/193.61	v 35786
193.60/193.61	v 35787
193.60/193.61	v 35788
193.60/193.61	v 35790
193.60/193.61	v 35791
193.60/193.61	v 35793
193.60/193.61	v 35794
193.60/193.61	v 35798
193.60/193.61	v 35799
193.60/193.61	v 35800
193.60/193.61	v 35803
193.60/193.61	v 35804
193.60/193.61	v 35807
193.60/193.61	v 35809
193.60/193.61	v 35810
193.60/193.61	v 35813
193.60/193.61	v 35815
193.60/193.61	v 35817
193.60/193.61	v 35818
193.60/193.61	v 35819
193.60/193.61	v 35820
193.60/193.61	v 35822
193.60/193.61	v 35823
193.60/193.61	v 35825
193.60/193.61	v 35826
193.60/193.61	v 35830
193.60/193.61	v 35831
193.60/193.61	v 35832
193.60/193.61	v 35835
193.60/193.61	v 35836
193.60/193.61	v 35839
193.60/193.61	v 35841
193.60/193.61	v 35842
193.60/193.61	v 35845
193.60/193.61	v 35847
193.60/193.61	v 35849
193.60/193.61	v 35850
193.60/193.61	v 35851
193.60/193.61	v 35852
193.60/193.61	v 35854
193.60/193.61	v 35855
193.60/193.61	v 35857
193.60/193.61	v 35858
193.60/193.61	v 35862
193.60/193.61	v 35863
193.60/193.61	v 35864
193.60/193.61	v 35868
193.60/193.61	v 35869
193.60/193.61	v 35870
193.60/193.61	v 35874
193.60/193.61	v 35877
193.60/193.61	v 35880
193.60/193.61	v 35894
193.60/193.61	v 35896
193.60/193.61	v 35898
193.60/193.61	v 35901
193.60/193.61	v 35904
193.60/193.61	v 35909
193.60/193.61	v 35912
193.60/193.61	v 35915
193.60/193.61	v 35916
193.60/193.61	v 35917
193.60/193.61	v 35920
193.60/193.61	v 35929
193.60/193.61	v 35930
193.60/193.61	v 35931
193.60/193.61	v 35934
193.60/193.61	v 35954
193.60/193.61	v 35990
193.60/193.61	v 36026
193.60/193.61	v 36061
193.60/193.61	v 36062
193.60/193.61	v 36065
193.60/193.61	v 39355
193.60/193.61	v 39356
193.60/193.61	v 39358
193.60/193.61	v 39359
193.60/193.61	v 39361
193.60/193.61	v 39362
193.60/193.61	v 39366
193.60/193.61	v 39367
193.60/193.61	v 39368
193.60/193.61	v 39372
193.60/193.61	v 39376
193.60/193.61	v 39377
193.60/193.61	v 39379
193.60/193.61	v 39380
193.60/193.61	v 39384
193.60/193.61	v 39388
193.60/193.61	v 39389
193.60/193.61	v 39391
193.60/193.61	v 39392
193.60/193.61	v 39396
193.60/193.61	v 39861
193.60/193.61	v 39862
193.60/193.61	v 39901
193.60/193.61	v 39903
193.60/193.61	v 39904
193.60/193.61	v 39906
193.60/193.61	v 39907
193.60/193.61	v 39909
193.60/193.61	v 39910
193.60/193.61	v 39912
193.60/193.61	v 39913
193.60/193.61	v 39916
193.60/193.61	v 39917
193.60/193.61	v 39920
193.60/193.61	v 39921
193.60/193.61	v 39923
193.60/193.61	v 39924
193.60/193.61	v 39926
193.60/193.61	v 39927
193.60/193.61	v 39931
193.60/193.61	v 39934
193.60/193.61	v 39937
193.60/193.61	v 39938
193.60/193.61	v 39939
193.60/193.61	v 39941
193.60/193.61	v 39942
193.60/193.61	v 39944
193.60/193.61	v 39945
193.60/193.61	v 39948
193.60/193.61	v 39950
193.60/193.61	v 39951
193.60/193.61	v 39953
193.60/193.61	v 39954
193.60/193.61	v 39956
193.60/193.61	v 39957
193.60/193.61	v 39961
193.60/193.61	v 39962
193.60/193.61	v 39963
193.60/193.61	v 39966
193.60/193.61	v 39967
193.60/193.61	v 39970
193.60/193.61	v 39973
193.60/193.61	v 39976
193.60/193.61	v 39981
193.60/193.61	v 39984
193.60/193.61	v 39987
193.60/193.61	v 39988
193.60/193.61	v 39989
193.60/193.61	v 39992
193.60/193.61	v 39994
193.60/193.61	v 39995
193.60/193.61	v 39997
193.60/193.61	v 39998
193.60/193.61	v 40002
193.60/193.61	v 40003
193.60/193.61	v 40004
193.60/193.61	v 40007
193.60/193.61	v 40008
193.60/193.61	v 40011
193.60/193.61	v 40014
193.60/193.61	v 40017
193.60/193.61	v 40022
193.60/193.61	v 40025
193.60/193.61	v 40028
193.60/193.61	v 40029
193.60/193.61	v 40030
193.60/193.61	v 40033
193.60/193.61	v 40035
193.60/193.61	v 40036
193.60/193.61	v 40038
193.60/193.61	v 40039
193.60/193.61	v 40043
193.60/193.61	v 40044
193.60/193.61	v 40045
193.60/193.61	v 40048
193.60/193.61	v 40049
193.60/193.61	v 40052
193.60/193.61	v 40055
193.60/193.61	v 40058
193.60/193.61	v 40063
193.60/193.61	v 40066
193.60/193.61	v 40069
193.60/193.61	v 40070
193.60/193.61	v 40071
193.60/193.61	v 40074
193.60/193.61	v 40076
193.60/193.61	v 40077
193.60/193.61	v 40079
193.60/193.61	v 40080
193.60/193.61	v 40084
193.60/193.61	v 40085
193.60/193.61	v 40086
193.60/193.61	v 40089
193.60/193.61	v 40090
193.60/193.61	v 40093
193.60/193.61	v 40096
193.60/193.61	v 40099
193.60/193.61	v 40104
193.60/193.61	v 40107
193.60/193.61	v 40110
193.60/193.61	v 40111
193.60/193.61	v 40112
193.60/193.61	v 40115
193.60/193.61	v 40117
193.60/193.61	v 40118
193.60/193.61	v 40120
193.60/193.61	v 40121
193.60/193.61	v 40125
193.60/193.61	v 40126
193.60/193.61	v 40127
193.60/193.61	v 40131
193.60/193.61	v 40132
193.60/193.61	v 40133
193.60/193.61	v 40137
193.60/193.61	v 40140
193.60/193.61	v 40143
193.60/193.61	v 40146
193.60/193.61	v 40166
193.60/193.61	v 40167
193.60/193.61	v 40170
193.60/193.61	v 40173
193.60/193.61	v 40176
193.60/193.61	v 40179
193.60/193.61	v 40184
193.60/193.61	v 40187
193.60/193.61	v 40190
193.60/193.61	v 40193
193.60/193.61	v 40194
193.60/193.61	v 40195
193.60/193.61	v 40197
193.60/193.61	v 40198
193.60/193.61	v 40201
193.60/193.61	v 40210
193.60/193.61	v 40211
193.60/193.61	v 40212
193.60/193.61	v 40214
193.60/193.61	v 40215
193.60/193.61	v 40218
193.60/193.61	v 40241
193.60/193.61	v 40286
193.60/193.61	v 40331
193.60/193.61	v 40376
193.60/193.61	v 40420
193.60/193.61	v 40421
193.60/193.61	v 40424
193.60/193.61	v 46029
193.60/193.61	v 46030
193.60/193.61	v 46032
193.60/193.61	v 46033
193.60/193.61	v 46035
193.60/193.61	v 46036
193.60/193.61	v 46040
193.60/193.61	v 46041
193.60/193.61	v 46042
193.60/193.61	v 46046
193.60/193.61	v 46050
193.60/193.61	v 46051
193.60/193.61	v 46053
193.60/193.61	v 46054
193.60/193.61	v 46058
193.60/193.61	v 46062
193.60/193.61	v 46063
193.60/193.61	v 46065
193.60/193.61	v 46066
193.60/193.61	v 46070
193.60/193.61	v 46074
193.60/193.61	v 46075
193.60/193.61	v 46077
193.60/193.61	v 46078
193.60/193.61	v 46082
193.60/193.61	v 46607
193.60/193.61	v 46608
193.60/193.61	v 46653
193.60/193.61	v 46655
193.60/193.61	v 46656
193.60/193.61	v 46658
193.60/193.61	v 46659
193.60/193.61	v 46661
193.60/193.61	v 46662
193.60/193.61	v 46664
193.60/193.61	v 46665
193.60/193.61	v 46667
193.60/193.61	v 46668
193.60/193.61	v 46671
193.60/193.61	v 46672
193.60/193.61	v 46675
193.60/193.61	v 46676
193.60/193.61	v 46678
193.60/193.61	v 46679
193.60/193.61	v 46680
193.60/193.61	v 46681
193.60/193.61	v 46682
193.60/193.61	v 46683
193.60/193.61	v 46684
193.60/193.61	v 46685
193.60/193.61	v 46687
193.60/193.61	v 46689
193.60/193.61	v 46690
193.60/193.61	v 46691
193.60/193.61	v 46692
193.60/193.61	v 46694
193.60/193.61	v 46695
193.60/193.61	v 46697
193.60/193.61	v 46698
193.60/193.61	v 46699
193.60/193.61	v 46700
193.60/193.61	v 46702
193.60/193.61	v 46703
193.60/193.61	v 46705
193.60/193.61	v 46706
193.60/193.61	v 46708
193.60/193.61	v 46709
193.60/193.61	v 46712
193.60/193.61	v 46714
193.60/193.61	v 46715
193.60/193.61	v 46717
193.60/193.61	v 46718
193.60/193.61	v 46720
193.60/193.61	v 46721
193.60/193.61	v 46725
193.60/193.61	v 46726
193.60/193.61	v 46727
193.60/193.61	v 46730
193.60/193.61	v 46731
193.60/193.61	v 46734
193.60/193.61	v 46737
193.60/193.61	v 46740
193.60/193.61	v 46743
193.60/193.61	v 46748
193.60/193.61	v 46751
193.60/193.61	v 46754
193.60/193.61	v 46757
193.60/193.61	v 46758
193.60/193.61	v 46759
193.60/193.61	v 46761
193.60/193.61	v 46762
193.60/193.61	v 46765
193.60/193.61	v 46767
193.60/193.61	v 46768
193.60/193.61	v 46770
193.60/193.61	v 46771
193.60/193.61	v 46775
193.60/193.61	v 46776
193.60/193.61	v 46777
193.60/193.61	v 46780
193.60/193.61	v 46781
193.60/193.61	v 46784
193.60/193.61	v 46787
193.60/193.61	v 46790
193.60/193.61	v 46793
193.60/193.61	v 46798
193.60/193.61	v 46801
193.60/193.61	v 46804
193.60/193.61	v 46807
193.60/193.61	v 46808
193.60/193.61	v 46809
193.60/193.61	v 46811
193.60/193.61	v 46812
193.60/193.61	v 46815
193.60/193.61	v 46817
193.60/193.61	v 46818
193.60/193.61	v 46820
193.60/193.61	v 46821
193.60/193.61	v 46825
193.60/193.61	v 46826
193.60/193.61	v 46827
193.60/193.61	v 46830
193.60/193.61	v 46831
193.60/193.61	v 46834
193.60/193.61	v 46837
193.60/193.61	v 46840
193.60/193.61	v 46843
193.60/193.61	v 46848
193.60/193.61	v 46851
193.60/193.61	v 46854
193.60/193.61	v 46857
193.60/193.61	v 46858
193.60/193.61	v 46859
193.60/193.61	v 46861
193.60/193.61	v 46862
193.60/193.61	v 46865
193.60/193.61	v 46867
193.60/193.61	v 46868
193.60/193.61	v 46870
193.60/193.61	v 46871
193.60/193.61	v 46875
193.60/193.61	v 46876
193.60/193.61	v 46877
193.60/193.61	v 46881
193.60/193.61	v 46882
193.60/193.61	v 46883
193.60/193.61	v 46887
193.60/193.61	v 46890
193.60/193.61	v 46893
193.60/193.61	v 46896
193.60/193.61	v 46899
193.60/193.61	v 46925
193.60/193.61	v 46927
193.60/193.61	v 46929
193.60/193.61	v 46932
193.60/193.61	v 46935
193.60/193.61	v 46938
193.60/193.61	v 46941
193.60/193.61	v 46946
193.60/193.61	v 46949
193.60/193.61	v 46952
193.60/193.61	v 46955
193.60/193.61	v 46958
193.60/193.61	v 46959
193.60/193.61	v 46960
193.60/193.61	v 46962
193.60/193.61	v 46963
193.60/193.61	v 46965
193.60/193.61	v 46966
193.60/193.61	v 46969
193.60/193.61	v 46978
193.60/193.61	v 46979
193.60/193.61	v 46980
193.60/193.61	v 46982
193.60/193.61	v 46983
193.60/193.61	v 46985
193.60/193.61	v 46986
193.60/193.61	v 46989
193.60/193.61	v 47015
193.60/193.61	v 47069
193.60/193.61	v 47123
193.60/193.61	v 47177
193.60/193.61	v 47231
193.60/193.61	v 47284
193.60/193.61	v 47285
193.60/193.61	v 47288
193.60/193.61	v 55997
193.60/193.61	v 55998
193.60/193.61	v 56000
193.60/193.61	v 56001
193.60/193.61	v 56003
193.60/193.61	v 56004
193.60/193.61	v 56008
193.60/193.61	v 56009
193.60/193.61	v 56010
193.60/193.61	v 56014
193.60/193.61	v 56018
193.60/193.61	v 56019
193.60/193.61	v 56021
193.60/193.61	v 56022
193.60/193.61	v 56026
193.60/193.61	v 56030
193.60/193.61	v 56031
193.60/193.61	v 56033
193.60/193.61	v 56034
193.60/193.61	v 56038
193.60/193.61	v 56042
193.60/193.61	v 56043
193.60/193.61	v 56045
193.60/193.61	v 56046
193.60/193.61	v 56050
193.60/193.61	v 56054
193.60/193.61	v 56055
193.60/193.61	v 56057
193.60/193.61	v 56058
193.60/193.61	v 56062
193.60/193.61	v 56647
193.60/193.61	v 56648
193.60/193.61	v 56699
193.60/193.61	v 56701
193.60/193.61	v 56702
193.60/193.61	v 56704
193.60/193.61	v 56705
193.60/193.61	v 56707
193.60/193.61	v 56708
193.60/193.61	v 56710
193.60/193.61	v 56711
193.60/193.61	v 56713
193.60/193.61	v 56714
193.60/193.61	v 56716
193.60/193.61	v 56717
193.60/193.61	v 56720
193.60/193.61	v 56721
193.60/193.61	v 56724
193.60/193.61	v 56725
193.60/193.61	v 56726
193.60/193.61	v 56727
193.60/193.61	v 56728
193.60/193.61	v 56730
193.60/193.61	v 56731
193.60/193.61	v 56733
193.60/193.61	v 56734
193.60/193.61	v 56736
193.60/193.61	v 56737
193.60/193.61	v 56741
193.60/193.61	v 56744
193.60/193.61	v 56747
193.60/193.61	v 56748
193.60/193.61	v 56750
193.60/193.61	v 56752
193.60/193.61	v 56753
193.60/193.61	v 56754
193.60/193.61	v 56755
193.60/193.61	v 56757
193.60/193.61	v 56758
193.60/193.61	v 56760
193.60/193.61	v 56761
193.60/193.61	v 56763
193.60/193.61	v 56764
193.60/193.61	v 56766
193.60/193.61	v 56767
193.60/193.61	v 56770
193.60/193.61	v 56772
193.60/193.61	v 56773
193.60/193.61	v 56775
193.60/193.61	v 56776
193.60/193.61	v 56778
193.60/193.61	v 56779
193.60/193.61	v 56783
193.60/193.61	v 56784
193.60/193.61	v 56785
193.60/193.61	v 56788
193.60/193.61	v 56789
193.60/193.61	v 56792
193.60/193.61	v 56795
193.60/193.61	v 56798
193.60/193.61	v 56801
193.60/193.61	v 56804
193.60/193.61	v 56809
193.60/193.61	v 56812
193.60/193.61	v 56815
193.60/193.61	v 56818
193.60/193.61	v 56821
193.60/193.61	v 56822
193.60/193.61	v 56823
193.60/193.61	v 56825
193.60/193.61	v 56826
193.60/193.61	v 56828
193.60/193.61	v 56829
193.60/193.61	v 56832
193.60/193.61	v 56834
193.60/193.61	v 56835
193.60/193.61	v 56837
193.60/193.61	v 56838
193.60/193.61	v 56842
193.60/193.61	v 56843
193.60/193.61	v 56844
193.60/193.61	v 56847
193.60/193.61	v 56848
193.60/193.61	v 56851
193.60/193.61	v 56854
193.60/193.61	v 56857
193.60/193.61	v 56860
193.60/193.61	v 56863
193.60/193.61	v 56868
193.60/193.61	v 56871
193.60/193.61	v 56874
193.60/193.61	v 56877
193.60/193.61	v 56880
193.60/193.61	v 56881
193.60/193.61	v 56882
193.60/193.61	v 56884
193.60/193.61	v 56885
193.60/193.61	v 56887
193.60/193.61	v 56888
193.60/193.61	v 56891
193.60/193.61	v 56893
193.60/193.61	v 56894
193.60/193.61	v 56896
193.60/193.61	v 56897
193.60/193.61	v 56901
193.60/193.61	v 56902
193.60/193.61	v 56903
193.60/193.61	v 56907
193.60/193.61	v 56908
193.60/193.61	v 56909
193.60/193.61	v 56913
193.60/193.61	v 56916
193.60/193.61	v 56919
193.60/193.61	v 56922
193.60/193.61	v 56925
193.60/193.61	v 56928
193.60/193.61	v 56960
193.60/193.61	v 56961
193.60/193.61	v 56964
193.60/193.61	v 56965
193.60/193.61	v 56967
193.60/193.61	v 56970
193.60/193.61	v 56973
193.60/193.61	v 56976
193.60/193.61	v 56979
193.60/193.61	v 56984
193.60/193.61	v 56987
193.60/193.61	v 56990
193.60/193.61	v 56993
193.60/193.61	v 56996
193.60/193.61	v 56999
193.60/193.61	v 57000
193.60/193.61	v 57001
193.60/193.61	v 57003
193.60/193.61	v 57004
193.60/193.61	v 57006
193.60/193.61	v 57007
193.60/193.61	v 57009
193.60/193.61	v 57010
193.60/193.61	v 57013
193.60/193.61	v 57022
193.60/193.61	v 57023
193.60/193.61	v 57024
193.60/193.61	v 57026
193.60/193.61	v 57027
193.60/193.61	v 57029
193.60/193.61	v 57030
193.60/193.61	v 57032
193.60/193.61	v 57033
193.60/193.61	v 57036
193.60/193.61	v 57065
193.60/193.61	v 57128
193.60/193.61	v 57191
193.60/193.61	v 57254
193.60/193.61	v 57317
193.60/193.61	v 57380
193.60/193.61	v 57442
193.60/193.61	v 57443
193.60/193.61	v 57446
193.60/193.61	v 70114
193.60/193.61	v 70115
193.60/193.61	v 70117
193.60/193.61	v 70118
193.60/193.61	v 70120
193.60/193.61	v 70121
193.60/193.61	v 70125
193.60/193.61	v 70126
193.60/193.61	v 70127
193.60/193.61	v 70131
193.60/193.61	v 70135
193.60/193.61	v 70136
193.60/193.61	v 70138
193.60/193.61	v 70139
193.60/193.61	v 70143
193.60/193.61	v 70147
193.60/193.61	v 70148
193.60/193.61	v 70150
193.60/193.61	v 70151
193.60/193.61	v 70155
193.60/193.61	v 70159
193.60/193.61	v 70160
193.60/193.61	v 70162
193.60/193.61	v 70163
193.60/193.61	v 70167
193.60/193.61	v 70171
193.60/193.61	v 70172
193.60/193.61	v 70174
193.60/193.61	v 70175
193.60/193.61	v 70179
193.60/193.61	v 70183
193.60/193.61	v 70184
193.60/193.61	v 70186
193.60/193.61	v 70187
193.60/193.61	v 70191
193.60/193.61	v 70798
193.60/193.61	v 70799
193.60/193.61	v 70856
193.60/193.61	v 70858
193.60/193.61	v 70859
193.60/193.61	v 70861
193.60/193.61	v 70862
193.60/193.61	v 70864
193.60/193.61	v 70865
193.60/193.61	v 70867
193.60/193.61	v 70868
193.60/193.61	v 70870
193.60/193.61	v 70871
193.60/193.61	v 70873
193.60/193.61	v 70874
193.60/193.61	v 70876
193.60/193.61	v 70877
193.60/193.61	v 70880
193.60/193.61	v 70881
193.60/193.61	v 70884
193.60/193.61	v 70885
193.60/193.61	v 70887
193.60/193.61	v 70888
193.60/193.61	v 70890
193.60/193.61	v 70891
193.60/193.61	v 70893
193.60/193.61	v 70894
193.60/193.61	v 70896
193.60/193.61	v 70897
193.60/193.61	v 70899
193.60/193.61	v 70904
193.60/193.61	v 70907
193.60/193.61	v 70910
193.60/193.61	v 70913
193.60/193.61	v 70916
193.60/193.61	v 70919
193.60/193.61	v 70920
193.60/193.61	v 70921
193.60/193.61	v 70923
193.60/193.61	v 70924
193.60/193.61	v 70927
193.60/193.61	v 70930
193.60/193.61	v 70933
193.60/193.61	v 70935
193.60/193.61	v 70936
193.60/193.61	v 70939
193.60/193.61	v 70941
193.60/193.61	v 70942
193.60/193.61	v 70944
193.60/193.61	v 70945
193.60/193.61	v 70947
193.60/193.61	v 70948
193.60/193.61	v 70952
193.60/193.61	v 70953
193.60/193.61	v 70954
193.60/193.61	v 70957
193.60/193.61	v 70959
193.60/193.61	v 70961
193.60/193.61	v 70964
193.60/193.61	v 70967
193.60/193.61	v 70970
193.60/193.61	v 70973
193.60/193.61	v 70976
193.60/193.61	v 70981
193.60/193.61	v 70984
193.60/193.61	v 70987
193.60/193.61	v 70990
193.60/193.61	v 70993
193.60/193.61	v 70996
193.60/193.61	v 70997
193.60/193.61	v 70998
193.60/193.61	v 71000
193.60/193.61	v 71001
193.60/193.61	v 71003
193.60/193.61	v 71004
193.60/193.61	v 71006
193.60/193.61	v 71007
193.60/193.61	v 71010
193.60/193.61	v 71012
193.60/193.61	v 71013
193.60/193.61	v 71015
193.60/193.61	v 71016
193.60/193.61	v 71020
193.60/193.61	v 71022
193.60/193.61	v 71026
193.60/193.61	v 71027
193.60/193.61	v 71028
193.60/193.61	v 71032
193.60/193.61	v 71035
193.60/193.61	v 71038
193.60/193.61	v 71041
193.60/193.61	v 71044
193.60/193.61	v 71047
193.60/193.61	v 71050
193.60/193.61	v 71088
193.60/193.61	v 71090
193.60/193.61	v 71092
193.60/193.61	v 71095
193.60/193.61	v 71098
193.60/193.61	v 71101
193.60/193.61	v 71104
193.60/193.61	v 71107
193.60/193.61	v 71110
193.60/193.61	v 71115
193.60/193.61	v 71118
193.60/193.61	v 71121
193.60/193.61	v 71124
193.60/193.61	v 71127
193.60/193.61	v 71130
193.60/193.61	v 71133
193.60/193.61	v 71134
193.60/193.61	v 71135
193.60/193.61	v 71137
193.60/193.61	v 71138
193.60/193.61	v 71140
193.60/193.61	v 71141
193.60/193.61	v 71143
193.60/193.61	v 71144
193.60/193.61	v 71146
193.60/193.61	v 71147
193.60/193.61	v 71150
193.60/193.61	v 71159
193.60/193.61	v 71163
193.60/193.61	v 71167
193.60/193.61	v 71170
193.60/193.61	v 71173
193.60/193.61	v 71176
193.60/193.61	v 71208
193.60/193.61	v 71280
193.60/193.61	v 71352
193.60/193.61	v 71424
193.60/193.61	v 71496
193.60/193.61	v 71568
193.60/193.61	v 71640
193.60/193.61	v 71711
193.60/193.61	v 71712
193.60/193.61	v 71715
193.60/193.61	v 89215
193.60/193.61	v 89216
193.60/193.61	v 89218
193.60/193.61	v 89219
193.60/193.61	v 89223
193.60/193.61	v 89380
193.60/193.61	v 89382
193.60/193.61	v 89383
193.60/193.61	v 89385
193.60/193.61	v 89386
193.60/193.61	v 89388
193.60/193.61	v 89389
193.60/193.61	v 89391
193.60/193.61	v 89392
193.60/193.61	v 89394
193.60/193.61	v 89395
193.60/193.61	v 89397
193.60/193.61	v 89398
193.60/193.61	v 89400
193.60/193.61	v 89401
193.60/193.61	v 89403
193.60/193.61	v 89404
193.60/193.61	v 89407
193.60/193.61	v 89408
193.60/193.61	v 89411
193.60/193.61	v 89414
193.60/193.61	v 89417
193.60/193.61	v 89420
193.60/193.61	v 89423
193.60/193.61	v 89426
193.60/193.61	v 89429
193.60/193.61	v 89430
193.60/193.61	v 89434
193.60/193.61	v 89437
193.60/193.61	v 89440
193.60/193.61	v 89443
193.60/193.61	v 89446
193.60/193.61	v 89449
193.60/193.61	v 89452
193.60/193.61	v 89453
193.60/193.61	v 89454
193.60/193.61	v 89456
193.60/193.61	v 89457
193.60/193.61	v 89459
193.60/193.61	v 89460
193.60/193.61	v 89463
193.60/193.61	v 89466
193.60/193.61	v 89469
193.60/193.61	v 89471
193.60/193.61	v 89472
193.60/193.61	v 89475
193.60/193.61	v 89477
193.60/193.61	v 89478
193.60/193.61	v 89480
193.60/193.61	v 89481
193.60/193.61	v 89483
193.60/193.61	v 89484
193.60/193.61	v 89488
193.60/193.61	v 89490
193.60/193.61	v 89494
193.60/193.61	v 89495
193.60/193.61	v 89496
193.60/193.61	v 89500
193.60/193.61	v 89503
193.60/193.61	v 89506
193.60/193.61	v 89509
193.60/193.61	v 89512
193.60/193.61	v 89515
193.60/193.61	v 89518
193.60/193.61	v 89521
193.60/193.61	v 89532
193.60/193.61	v 89534
193.60/193.61	v 89535
193.60/193.61	v 89537
193.60/193.61	v 89538
193.60/193.61	v 89540
193.60/193.61	v 89541
193.60/193.61	v 89543
193.60/193.61	v 89544
193.60/193.61	v 89546
193.60/193.61	v 89547
193.60/193.61	v 89549
193.60/193.61	v 89550
193.60/193.61	v 89552
193.60/193.61	v 89555
193.60/193.61	v 89559
193.60/193.61	v 89561
193.60/193.61	v 89562
193.60/193.61	v 89565
193.60/193.61	v 89566
193.60/193.61	v 89569
193.60/193.61	v 89570
193.60/193.61	v 89572
193.60/193.61	v 89575
193.60/193.61	v 89578
193.60/193.61	v 89579
193.60/193.61	v 89581
193.60/193.61	v 89584
193.60/193.61	v 89587
193.60/193.61	v 89590
193.60/193.61	v 89595
193.60/193.61	v 89598
193.60/193.61	v 89601
193.60/193.61	v 89604
193.60/193.61	v 89607
193.60/193.61	v 89610
193.60/193.61	v 89613
193.60/193.61	v 89616
193.60/193.61	v 89650
193.60/193.61	v 89655
193.60/193.61	v 89658
193.60/193.61	v 89661
193.60/193.61	v 89664
193.60/193.61	v 89667
193.60/193.61	v 89670
193.60/193.61	v 89673
193.60/193.61	v 89676
193.60/193.61	v 89679
193.60/193.61	v 89691
193.60/193.61	v 89692
193.60/193.61	v 89694
193.60/193.61	v 89695
193.60/193.61	v 89697
193.60/193.61	v 89698
193.60/193.61	v 89700
193.60/193.61	v 89701
193.60/193.61	v 89704
193.60/193.61	v 89706
193.60/193.61	v 89707
193.60/193.61	v 89710
193.60/193.61	v 89713
193.60/193.61	v 89716
193.60/193.61	v 89725
193.60/193.61	v 89726
193.60/193.61	v 89727
193.60/193.61	v 89729
193.60/193.61	v 89730
193.60/193.61	v 89732
193.60/193.61	v 89733
193.60/193.61	v 89736
193.60/193.61	v 89739
193.60/193.61	v 89742
193.60/193.61	v 89744
193.60/193.61	v 89745
193.60/193.61	v 89747
193.60/193.61	v 89748
193.60/193.61	v 89761
193.60/193.61	v 89764
193.60/193.61	v 89765
193.60/193.61	v 89767
193.60/193.61	v 89768
193.60/193.61	v 89770
193.60/193.61	v 89771
193.60/193.61	v 89773
193.60/193.61	v 89774
193.60/193.61	v 89776
193.60/193.61	v 89777
193.60/193.61	v 89780
193.60/193.61	v 89782
193.60/193.61	v 89783
193.60/193.61	v 89786
193.60/193.61	v 89798
193.60/193.61	v 89879
193.60/193.61	v 89891
193.60/193.61	v 89963
193.60/193.61	v 89975
193.60/193.61	v 90038
193.60/193.61	v 90050
193.60/193.61	v 90104
193.60/193.61	v 90116
193.60/193.61	v 90161
193.60/193.61	v 90173
193.60/193.61	v 90209
193.60/193.61	v 90221
193.60/193.61	v 90248
193.60/193.61	v 90260
193.60/193.61	v 90277
193.60/193.61	v 90278
193.60/193.61	v 90325
193.60/193.61	v 90326
193.60/193.61	v 90328
193.60/193.61	v 90329
193.60/193.61	v 90331
193.60/193.61	v 90332
193.60/193.61	v 90334
193.60/193.61	v 90335
193.60/193.61	v 90337
193.60/193.61	v 90338
193.60/193.61	v 90340
193.60/193.61	v 90341
193.60/193.61	v 90343
193.60/193.61	v 90344
193.60/193.61	v 90346
193.60/193.61	v 90347
193.60/193.61	v 90349
193.60/193.61	v 90350
193.60/193.61	v 90352
193.60/193.61	v 90353
193.60/193.61	v 90357
193.60/193.61	v 90360
193.60/193.61	v 90363
193.60/193.61	v 90366
193.60/193.61	v 90369
193.60/193.61	v 90372
193.60/193.61	v 90375
193.60/193.61	v 90378
193.60/193.61	v 90381
193.60/193.61	v 90382
193.60/193.61	v 90383
193.60/193.61	v 90385
193.60/193.61	v 90386
193.60/193.61	v 90388
193.60/193.61	v 90390
193.60/193.61	v 90393
193.60/193.61	v 90396
193.60/193.61	v 90397
193.60/193.61	v 90399
193.60/193.61	v 90400
193.60/193.61	v 90402
193.60/193.61	v 90403
193.60/193.61	v 90405
193.60/193.61	v 90406
193.60/193.61	v 90408
193.60/193.61	v 90409
193.60/193.61	v 90411
193.60/193.61	v 90412
193.60/193.61	v 90414
193.60/193.61	v 90415
193.60/193.61	v 90417
193.60/193.61	v 90418
193.60/193.61	v 90420
193.60/193.61	v 90421
193.60/193.61	v 90425
193.60/193.61	v 90428
193.60/193.61	v 90431
193.60/193.61	v 90434
193.60/193.61	v 90437
193.60/193.61	v 90440
193.60/193.61	v 90443
193.60/193.61	v 90446
193.60/193.61	v 90449
193.60/193.61	v 90452
193.60/193.61	v 90453
193.60/193.61	v 90454
193.60/193.61	v 90456
193.60/193.61	v 90457
193.60/193.61	v 90460
193.60/193.61	v 90464
193.60/193.61	v 90468
193.60/193.61	v 90469
193.60/193.61	v 90471
193.60/193.61	v 90472
193.60/193.61	v 90474
193.60/193.61	v 90476
193.60/193.61	v 90479
193.60/193.61	v 90480
193.60/193.61	v 90482
193.60/193.61	v 90483
193.60/193.61	v 90485
193.60/193.61	v 90486
193.60/193.61	v 90488
193.60/193.61	v 90489
193.60/193.61	v 90491
193.60/193.61	v 90492
193.60/193.61	v 90494
193.60/193.61	v 90495
193.60/193.61	v 90497
193.60/193.61	v 90498
193.60/193.61	v 90500
193.60/193.61	v 90501
193.60/193.61	v 90505
193.60/193.61	v 90508
193.60/193.61	v 90511
193.60/193.61	v 90514
193.60/193.61	v 90517
193.60/193.61	v 90520
193.60/193.61	v 90523
193.60/193.61	v 90526
193.60/193.61	v 90527
193.60/193.61	v 90528
193.60/193.61	v 90530
193.60/193.61	v 90531
193.60/193.61	v 90534
193.60/193.61	v 90538
193.60/193.61	v 90540
193.60/193.61	v 90544
193.60/193.61	v 90548
193.60/193.61	v 90549
193.60/193.61	v 90551
193.60/193.61	v 90552
193.60/193.61	v 90554
193.60/193.61	v 90555
193.60/193.61	v 90557
193.60/193.61	v 90559
193.60/193.61	v 90562
193.60/193.61	v 90563
193.60/193.61	v 90565
193.60/193.61	v 90566
193.60/193.61	v 90568
193.60/193.61	v 90569
193.60/193.61	v 90571
193.60/193.61	v 90572
193.60/193.61	v 90574
193.60/193.61	v 90575
193.60/193.61	v 90577
193.60/193.61	v 90578
193.60/193.61	v 90580
193.60/193.61	v 90581
193.60/193.61	v 90585
193.60/193.61	v 90588
193.60/193.61	v 90591
193.60/193.61	v 90594
193.60/193.61	v 90597
193.60/193.61	v 90600
193.60/193.61	v 90603
193.60/193.61	v 90604
193.60/193.61	v 90605
193.60/193.61	v 90607
193.60/193.61	v 90608
193.60/193.61	v 90611
193.60/193.61	v 90615
193.60/193.61	v 90617
193.60/193.61	v 90621
193.60/193.61	v 90623
193.60/193.61	v 90627
193.60/193.61	v 90631
193.60/193.61	v 90632
193.60/193.61	v 90634
193.60/193.61	v 90635
193.60/193.61	v 90637
193.60/193.61	v 90638
193.60/193.61	v 90640
193.60/193.61	v 90641
193.60/193.61	v 90643
193.60/193.61	v 90645
193.60/193.61	v 90648
193.60/193.61	v 90649
193.60/193.61	v 90651
193.60/193.61	v 90652
193.60/193.61	v 90654
193.60/193.61	v 90655
193.60/193.61	v 90657
193.60/193.61	v 90658
193.60/193.61	v 90660
193.60/193.61	v 90661
193.60/193.61	v 90663
193.60/193.61	v 90664
193.60/193.61	v 90668
193.60/193.61	v 90671
193.60/193.61	v 90674
193.60/193.61	v 90677
193.60/193.61	v 90680
193.60/193.61	v 90683
193.60/193.61	v 90684
193.60/193.61	v 90685
193.60/193.61	v 90687
193.60/193.61	v 90688
193.60/193.61	v 90691
193.60/193.61	v 90695
193.60/193.61	v 90697
193.60/193.61	v 90701
193.60/193.61	v 90703
193.60/193.61	v 90707
193.60/193.61	v 90709
193.60/193.61	v 90713
193.60/193.61	v 90717
193.60/193.61	v 90718
193.60/193.61	v 90720
193.60/193.61	v 90721
193.60/193.61	v 90723
193.60/193.61	v 90724
193.60/193.61	v 90726
193.60/193.61	v 90727
193.60/193.61	v 90729
193.60/193.61	v 90730
193.60/193.61	v 90732
193.60/193.61	v 90734
193.60/193.61	v 90737
193.60/193.61	v 90738
193.60/193.61	v 90740
193.60/193.61	v 90741
193.60/193.61	v 90743
193.60/193.61	v 90744
193.60/193.61	v 90746
193.60/193.61	v 90747
193.60/193.61	v 90749
193.60/193.61	v 90750
193.60/193.61	v 90754
193.60/193.61	v 90757
193.60/193.61	v 90760
193.60/193.61	v 90763
193.60/193.61	v 90766
193.60/193.61	v 90767
193.60/193.61	v 90768
193.60/193.61	v 90770
193.60/193.61	v 90771
193.60/193.61	v 90774
193.60/193.61	v 90778
193.60/193.61	v 90780
193.60/193.61	v 90784
193.60/193.61	v 90786
193.60/193.61	v 90790
193.60/193.61	v 90792
193.60/193.61	v 90796
193.60/193.61	v 90798
193.60/193.61	v 90802
193.60/193.61	v 90806
193.60/193.61	v 90807
193.60/193.61	v 90809
193.60/193.61	v 90810
193.60/193.61	v 90812
193.60/193.61	v 90813
193.60/193.61	v 90815
193.60/193.61	v 90816
193.60/193.61	v 90818
193.60/193.61	v 90819
193.60/193.61	v 90821
193.60/193.61	v 90822
193.60/193.61	v 90824
193.60/193.61	v 90826
193.60/193.61	v 90829
193.60/193.61	v 90830
193.60/193.61	v 90832
193.60/193.61	v 90833
193.60/193.61	v 90835
193.60/193.61	v 90836
193.60/193.61	v 90838
193.60/193.61	v 90839
193.60/193.61	v 90843
193.60/193.61	v 90846
193.60/193.61	v 90849
193.60/193.61	v 90852
193.60/193.61	v 90853
193.60/193.61	v 90854
193.60/193.61	v 90856
193.60/193.61	v 90857
193.60/193.61	v 90860
193.60/193.61	v 90864
193.60/193.61	v 90866
193.60/193.61	v 90870
193.60/193.61	v 90872
193.60/193.61	v 90876
193.60/193.61	v 90878
193.60/193.61	v 90882
193.60/193.61	v 90884
193.60/193.61	v 90888
193.60/193.61	v 90890
193.60/193.61	v 90894
193.60/193.61	v 90898
193.60/193.61	v 90899
193.60/193.61	v 90901
193.60/193.61	v 90902
193.60/193.61	v 90904
193.60/193.61	v 90905
193.60/193.61	v 90907
193.60/193.61	v 90908
193.60/193.61	v 90910
193.60/193.61	v 90911
193.60/193.61	v 90913
193.60/193.61	v 90914
193.60/193.61	v 90916
193.60/193.61	v 90917
193.60/193.61	v 90919
193.60/193.61	v 90921
193.60/193.61	v 90924
193.60/193.61	v 90925
193.60/193.61	v 90927
193.60/193.61	v 90928
193.60/193.61	v 90930
193.60/193.61	v 90931
193.60/193.61	v 90935
193.60/193.61	v 90938
193.60/193.61	v 90941
193.60/193.61	v 90942
193.60/193.61	v 90943
193.60/193.61	v 90945
193.60/193.61	v 90946
193.60/193.61	v 90949
193.60/193.61	v 90953
193.60/193.61	v 90955
193.60/193.61	v 90959
193.60/193.61	v 90961
193.60/193.61	v 90965
193.60/193.61	v 90967
193.60/193.61	v 90971
193.60/193.61	v 90973
193.60/193.61	v 90977
193.60/193.61	v 90979
193.60/193.61	v 90983
193.60/193.61	v 90985
193.60/193.61	v 90989
193.60/193.61	v 90993
193.60/193.61	v 90994
193.60/193.61	v 90996
193.60/193.61	v 90997
193.60/193.61	v 90999
193.60/193.61	v 91000
193.60/193.61	v 91002
193.60/193.61	v 91003
193.60/193.61	v 91005
193.60/193.61	v 91006
193.60/193.61	v 91008
193.60/193.61	v 91009
193.60/193.61	v 91011
193.60/193.61	v 91012
193.60/193.61	v 91014
193.60/193.61	v 91015
193.60/193.61	v 91017
193.60/193.61	v 91019
193.60/193.61	v 91022
193.60/193.61	v 91023
193.60/193.61	v 91025
193.60/193.61	v 91026
193.60/193.61	v 91030
193.60/193.61	v 91033
193.60/193.61	v 91034
193.60/193.61	v 91035
193.60/193.61	v 91037
193.60/193.61	v 91038
193.60/193.61	v 91041
193.60/193.61	v 91045
193.60/193.61	v 91047
193.60/193.61	v 91051
193.60/193.61	v 91053
193.60/193.61	v 91057
193.60/193.61	v 91059
193.60/193.61	v 91063
193.60/193.61	v 91065
193.60/193.61	v 91069
193.60/193.61	v 91071
193.60/193.61	v 91075
193.60/193.61	v 91077
193.60/193.61	v 91081
193.60/193.61	v 91083
193.60/193.61	v 91087
193.60/193.61	v 91092
193.60/193.61	v 91095
193.60/193.61	v 91098
193.60/193.61	v 91101
193.60/193.61	v 91104
193.60/193.61	v 91107
193.60/193.61	v 91110
193.60/193.61	v 91113
193.60/193.61	v 91115
193.60/193.61	v 91119
193.60/193.61	v 91120
193.60/193.61	v 91121
193.60/193.61	v 91125
193.60/193.61	v 91126
193.60/193.61	v 91127
193.60/193.61	v 91131
193.60/193.61	v 91132
193.60/193.61	v 91133
193.60/193.61	v 91137
193.60/193.61	v 91138
193.60/193.61	v 91139
193.60/193.61	v 91143
193.60/193.61	v 91144
193.60/193.61	v 91145
193.60/193.61	v 91149
193.60/193.61	v 91150
193.60/193.61	v 91151
193.60/193.61	v 91155
193.60/193.61	v 91156
193.60/193.61	v 91157
193.60/193.61	v 91161
193.60/193.61	v 91162
193.60/193.61	v 91163
193.60/193.61	v 91167
193.60/193.61	v 92687
193.60/193.61	v 92691
193.60/193.61	v 92695
193.60/193.61	v 92696
193.60/193.61	v 92697
193.60/193.61	v 92699
193.60/193.61	v 92703
193.60/193.61	v 92705
193.60/193.61	v 92709
193.60/193.61	v 92711
193.60/193.61	v 92715
193.60/193.61	v 92717
193.60/193.61	v 92721
193.60/193.61	v 92723
193.60/193.61	v 92727
193.60/193.61	v 92729
193.60/193.61	v 92733
193.60/193.61	v 92735
193.60/193.61	v 92739
193.60/193.61	v 92741
193.60/193.61	v 92745
193.60/193.61	v 92747
193.60/193.61	v 92751
193.60/193.61	v 92753
193.60/193.61	v 92757
193.60/193.61	v 92759
193.60/193.61	v 92760
193.60/193.61	v 92761
193.60/193.61	v 92764
193.60/193.61	v 92766
193.60/193.61	v 92840
193.60/193.61	v 92841
193.60/193.61	v 92843
193.60/193.61	v 92844
193.60/193.61	v 92846
193.60/193.61	v 92847
193.60/193.61	v 92849
193.60/193.61	v 92850
193.60/193.61	v 92852
193.60/193.61	v 92853
193.60/193.61	v 92855
193.60/193.61	v 92856
193.60/193.61	v 92858
193.60/193.61	v 92859
193.60/193.61	v 92861
193.60/193.61	v 92862
193.60/193.61	v 92864
193.60/193.61	v 92865
193.60/193.61	v 92867
193.60/193.61	v 92868
193.60/193.61	v 92872
193.60/193.61	v 92875
193.60/193.61	v 92878
193.60/193.61	v 92881
193.60/193.61	v 92884
193.60/193.61	v 92887
193.60/193.61	v 92890
193.60/193.61	v 92893
193.60/193.61	v 92896
193.60/193.61	v 92897
193.60/193.61	v 92898
193.60/193.61	v 92900
193.60/193.61	v 92901
193.60/193.61	v 92903
193.60/193.61	v 92905
193.60/193.61	v 92908
193.60/193.61	v 92911
193.60/193.61	v 92912
193.60/193.61	v 92914
193.60/193.61	v 92915
193.60/193.61	v 92917
193.60/193.61	v 92918
193.60/193.61	v 92920
193.60/193.61	v 92921
193.60/193.61	v 92923
193.60/193.61	v 92924
193.60/193.61	v 92926
193.60/193.61	v 92927
193.60/193.61	v 92929
193.60/193.61	v 92930
193.60/193.61	v 92932
193.60/193.61	v 92933
193.60/193.61	v 92935
193.60/193.61	v 92936
193.60/193.61	v 92940
193.60/193.61	v 92943
193.60/193.61	v 92946
193.60/193.61	v 92949
193.60/193.61	v 92952
193.60/193.61	v 92955
193.60/193.61	v 92958
193.60/193.61	v 92961
193.60/193.61	v 92964
193.60/193.61	v 92967
193.60/193.61	v 92968
193.60/193.61	v 92969
193.60/193.61	v 92971
193.60/193.61	v 92972
193.60/193.61	v 92975
193.60/193.61	v 92979
193.60/193.61	v 92983
193.60/193.61	v 92984
193.60/193.61	v 92986
193.60/193.61	v 92987
193.60/193.61	v 92989
193.60/193.61	v 92991
193.60/193.61	v 92994
193.60/193.61	v 92995
193.60/193.61	v 92997
193.60/193.61	v 92998
193.60/193.61	v 93000
193.60/193.61	v 93001
193.60/193.61	v 93003
193.60/193.61	v 93004
193.60/193.61	v 93006
193.60/193.61	v 93007
193.60/193.61	v 93009
193.60/193.61	v 93010
193.60/193.61	v 93012
193.60/193.61	v 93013
193.60/193.61	v 93015
193.60/193.61	v 93016
193.60/193.61	v 93020
193.60/193.61	v 93023
193.60/193.61	v 93026
193.60/193.61	v 93029
193.60/193.61	v 93032
193.60/193.61	v 93035
193.60/193.61	v 93038
193.60/193.61	v 93041
193.60/193.61	v 93042
193.60/193.61	v 93043
193.60/193.61	v 93045
193.60/193.61	v 93046
193.60/193.61	v 93049
193.60/193.61	v 93053
193.60/193.61	v 93055
193.60/193.61	v 93059
193.60/193.61	v 93063
193.60/193.61	v 93064
193.60/193.61	v 93066
193.60/193.61	v 93067
193.60/193.61	v 93069
193.60/193.61	v 93070
193.60/193.61	v 93072
193.60/193.61	v 93074
193.60/193.61	v 93077
193.60/193.61	v 93078
193.60/193.61	v 93080
193.60/193.61	v 93081
193.60/193.61	v 93083
193.60/193.61	v 93084
193.60/193.61	v 93086
193.60/193.61	v 93087
193.60/193.61	v 93089
193.60/193.61	v 93090
193.60/193.61	v 93092
193.60/193.61	v 93093
193.60/193.61	v 93095
193.60/193.61	v 93096
193.60/193.61	v 93100
193.60/193.61	v 93103
193.60/193.61	v 93106
193.60/193.61	v 93109
193.60/193.61	v 93112
193.60/193.61	v 93115
193.60/193.61	v 93118
193.60/193.61	v 93119
193.60/193.61	v 93120
193.60/193.61	v 93122
193.60/193.61	v 93123
193.60/193.61	v 93126
193.60/193.61	v 93130
193.60/193.61	v 93132
193.60/193.61	v 93136
193.60/193.61	v 93138
193.60/193.61	v 93142
193.60/193.61	v 93146
193.60/193.61	v 93147
193.60/193.61	v 93149
193.60/193.61	v 93150
193.60/193.61	v 93152
193.60/193.61	v 93153
193.60/193.61	v 93155
193.60/193.61	v 93156
193.60/193.61	v 93158
193.60/193.61	v 93160
193.60/193.61	v 93163
193.60/193.61	v 93164
193.60/193.61	v 93166
193.60/193.61	v 93167
193.60/193.61	v 93169
193.60/193.61	v 93170
193.60/193.61	v 93172
193.60/193.61	v 93173
193.60/193.61	v 93175
193.60/193.61	v 93176
193.60/193.61	v 93178
193.60/193.61	v 93179
193.60/193.61	v 93183
193.60/193.61	v 93186
193.60/193.61	v 93189
193.60/193.61	v 93192
193.60/193.61	v 93195
193.60/193.61	v 93198
193.60/193.61	v 93199
193.60/193.61	v 93200
193.60/193.61	v 93202
193.60/193.61	v 93203
193.60/193.61	v 93206
193.60/193.61	v 93210
193.60/193.61	v 93212
193.60/193.61	v 93216
193.60/193.61	v 93218
193.60/193.61	v 93222
193.60/193.61	v 93224
193.60/193.61	v 93228
193.60/193.61	v 93232
193.60/193.61	v 93233
193.60/193.61	v 93235
193.60/193.61	v 93236
193.60/193.61	v 93238
193.60/193.61	v 93239
193.60/193.61	v 93241
193.60/193.61	v 93242
193.60/193.61	v 93244
193.60/193.61	v 93245
193.60/193.61	v 93247
193.60/193.61	v 93249
193.60/193.61	v 93252
193.60/193.61	v 93253
193.60/193.61	v 93255
193.60/193.61	v 93256
193.60/193.61	v 93258
193.60/193.61	v 93259
193.60/193.61	v 93261
193.60/193.61	v 93262
193.60/193.61	v 93264
193.60/193.61	v 93265
193.60/193.61	v 93269
193.60/193.61	v 93272
193.60/193.61	v 93275
193.60/193.61	v 93278
193.60/193.61	v 93281
193.60/193.61	v 93282
193.60/193.61	v 93283
193.60/193.61	v 93285
193.60/193.61	v 93286
193.60/193.61	v 93289
193.60/193.61	v 93293
193.60/193.61	v 93295
193.60/193.61	v 93299
193.60/193.61	v 93301
193.60/193.61	v 93305
193.60/193.61	v 93307
193.60/193.61	v 93311
193.60/193.61	v 93313
193.60/193.61	v 93317
193.60/193.61	v 93321
193.60/193.61	v 93322
193.60/193.61	v 93324
193.60/193.61	v 93325
193.60/193.61	v 93327
193.60/193.61	v 93328
193.60/193.61	v 93330
193.60/193.61	v 93331
193.60/193.61	v 93333
193.60/193.61	v 93334
193.60/193.61	v 93336
193.60/193.61	v 93337
193.60/193.61	v 93339
193.60/193.61	v 93341
193.60/193.61	v 93344
193.60/193.61	v 93345
193.60/193.61	v 93347
193.60/193.61	v 93348
193.60/193.61	v 93350
193.60/193.61	v 93351
193.60/193.61	v 93353
193.60/193.61	v 93354
193.60/193.61	v 93358
193.60/193.61	v 93361
193.60/193.61	v 93364
193.60/193.61	v 93367
193.60/193.61	v 93368
193.60/193.61	v 93369
193.60/193.61	v 93371
193.60/193.61	v 93372
193.60/193.61	v 93375
193.60/193.61	v 93379
193.60/193.61	v 93381
193.60/193.61	v 93385
193.60/193.61	v 93387
193.60/193.61	v 93391
193.60/193.61	v 93393
193.60/193.61	v 93397
193.60/193.61	v 93399
193.60/193.61	v 93403
193.60/193.61	v 93405
193.60/193.61	v 93409
193.60/193.61	v 93413
193.60/193.61	v 93414
193.60/193.61	v 93416
193.60/193.61	v 93417
193.60/193.61	v 93419
193.60/193.61	v 93420
193.60/193.61	v 93422
193.60/193.61	v 93423
193.60/193.61	v 93425
193.60/193.61	v 93426
193.60/193.61	v 93428
193.60/193.61	v 93429
193.60/193.61	v 93431
193.60/193.61	v 93432
193.60/193.61	v 93434
193.60/193.61	v 93436
193.60/193.61	v 93439
193.60/193.61	v 93440
193.60/193.61	v 93442
193.60/193.61	v 93443
193.60/193.61	v 93445
193.60/193.61	v 93446
193.60/193.61	v 93450
193.60/193.61	v 93453
193.60/193.61	v 93456
193.60/193.61	v 93457
193.60/193.61	v 93458
193.60/193.61	v 93460
193.60/193.61	v 93461
193.60/193.61	v 93464
193.60/193.61	v 93468
193.60/193.61	v 93470
193.60/193.61	v 93474
193.60/193.61	v 93476
193.60/193.61	v 93480
193.60/193.61	v 93482
193.60/193.61	v 93486
193.60/193.61	v 93488
193.60/193.61	v 93492
193.60/193.61	v 93494
193.60/193.61	v 93498
193.60/193.61	v 93500
193.60/193.61	v 93504
193.60/193.61	v 93508
193.60/193.61	v 93509
193.60/193.61	v 93511
193.60/193.61	v 93512
193.60/193.61	v 93514
193.60/193.61	v 93515
193.60/193.61	v 93517
193.60/193.61	v 93518
193.60/193.61	v 93520
193.60/193.61	v 93521
193.60/193.61	v 93523
193.60/193.61	v 93524
193.60/193.61	v 93526
193.60/193.61	v 93527
193.60/193.61	v 93529
193.60/193.61	v 93530
193.60/193.61	v 93532
193.60/193.61	v 93534
193.60/193.61	v 93537
193.60/193.61	v 93538
193.60/193.61	v 93540
193.60/193.61	v 93541
193.60/193.61	v 93545
193.60/193.61	v 93548
193.60/193.61	v 93549
193.60/193.61	v 93550
193.60/193.61	v 93552
193.60/193.61	v 93553
193.60/193.61	v 93556
193.60/193.61	v 93560
193.60/193.61	v 93562
193.60/193.61	v 93566
193.60/193.61	v 93568
193.60/193.61	v 93572
193.60/193.61	v 93574
193.60/193.61	v 93578
193.60/193.61	v 93580
193.60/193.61	v 93584
193.60/193.61	v 93586
193.60/193.61	v 93590
193.60/193.61	v 93592
193.60/193.61	v 93596
193.60/193.61	v 93598
193.60/193.61	v 93602
193.60/193.61	v 93607
193.60/193.61	v 93610
193.60/193.61	v 93613
193.60/193.61	v 93616
193.60/193.61	v 93619
193.60/193.61	v 93622
193.60/193.61	v 93625
193.60/193.61	v 93628
193.60/193.61	v 93630
193.60/193.61	v 93634
193.60/193.61	v 93635
193.60/193.61	v 93636
193.60/193.61	v 93640
193.60/193.61	v 93641
193.60/193.61	v 93642
193.60/193.61	v 93646
193.60/193.61	v 93647
193.60/193.61	v 93648
193.60/193.61	v 93652
193.60/193.61	v 93653
193.60/193.61	v 93654
193.60/193.61	v 93658
193.60/193.61	v 93659
193.60/193.61	v 93660
193.60/193.61	v 93664
193.60/193.61	v 93665
193.60/193.61	v 93666
193.60/193.61	v 93670
193.60/193.61	v 93671
193.60/193.61	v 93672
193.60/193.61	v 93676
193.60/193.61	v 93677
193.60/193.61	v 93678
193.60/193.61	v 93682
193.60/193.61	v 94292
193.60/193.61	v 94296
193.60/193.61	v 94300
193.60/193.61	v 94301
193.60/193.61	v 94302
193.60/193.61	v 94304
193.60/193.61	v 94308
193.60/193.61	v 94310
193.60/193.61	v 94314
193.60/193.61	v 94316
193.60/193.61	v 94320
193.60/193.61	v 94322
193.60/193.61	v 94326
193.60/193.61	v 94328
193.60/193.61	v 94332
193.60/193.61	v 94334
193.60/193.61	v 94338
193.60/193.61	v 94340
193.60/193.61	v 94344
193.60/193.61	v 94346
193.60/193.61	v 94350
193.60/193.61	v 94352
193.60/193.61	v 94356
193.60/193.61	v 94358
193.60/193.61	v 94362
193.60/193.61	v 94364
193.60/193.61	v 94365
193.60/193.61	v 94366
193.60/193.61	v 94368
193.60/193.61	v 94370
193.60/193.61	v 94371
193.60/193.61	v 94376
193.60/193.61	v 94379
193.60/193.61	v 94382
193.60/193.61	v 94383
193.60/193.61	v 94386
193.60/193.61	v 94388
193.60/193.61	v 94393
193.60/193.61	v 94394
193.60/193.61	v 94395
193.60/193.61	v 94397
193.60/193.61	v 94398
193.60/193.61	v 94401
193.60/193.61	v 94405
193.60/193.61	v 94406
193.60/193.61	v 94407
193.60/193.61	v 94409
193.60/193.61	v 94410
193.60/193.61	v 94413
193.60/193.61	v 94417
193.60/193.61	v 94418
193.60/193.61	v 94419
193.60/193.61	v 94422
193.60/193.61	v 94424
193.60/193.61	v 94425
193.60/193.61	v 94429
193.60/193.61	v 94430
193.60/193.61	v 94431
193.60/193.61	v 94434
193.60/193.61	v 94438
193.60/193.61	v 94439
193.60/193.61	v 94440
193.60/193.61	v 94443
193.60/193.61	v 94447
193.60/193.61	v 94448
193.60/193.61	v 94449
193.60/193.61	v 94452
193.60/193.61	v 94454
193.60/193.61	v 94455
193.60/193.61	v 94459
193.60/193.61	v 94460
193.60/193.61	v 94461
193.60/193.61	v 94464
193.60/193.61	v 94468
193.60/193.61	v 94469
193.60/193.61	v 94470
193.60/193.61	v 94473
193.60/193.61	v 94477
193.60/193.61	v 94478
193.60/193.61	v 94479
193.60/193.61	v 94482
193.60/193.61	v 94484
193.60/193.61	v 94485
193.60/193.61	v 94489
193.60/193.61	v 94490
193.60/193.61	v 94491
193.60/193.61	v 94494
193.60/193.61	v 94498
193.60/193.61	v 94499
193.60/193.61	v 94500
193.60/193.61	v 94503
193.60/193.61	v 94507
193.60/193.61	v 94508
193.60/193.61	v 94509
193.60/193.61	v 94512
193.60/193.61	v 94514
193.60/193.61	v 94515
193.60/193.61	v 94519
193.60/193.61	v 94520
193.60/193.61	v 94521
193.60/193.61	v 94524
193.60/193.61	v 94528
193.60/193.61	v 94529
193.60/193.61	v 94530
193.60/193.61	v 94533
193.60/193.61	v 94537
193.60/193.61	v 94538
193.60/193.61	v 94539
193.60/193.61	v 94542
193.60/193.61	v 94544
193.60/193.61	v 94545
193.60/193.61	v 94549
193.60/193.61	v 94550
193.60/193.61	v 94551
193.60/193.61	v 94554
193.60/193.61	v 94558
193.60/193.61	v 94559
193.60/193.61	v 94560
193.60/193.61	v 94563
193.60/193.61	v 94567
193.60/193.61	v 94568
193.60/193.61	v 94569
193.60/193.61	v 94572
193.60/193.61	v 94574
193.60/193.61	v 94575
193.60/193.61	v 94579
193.60/193.61	v 94580
193.60/193.61	v 94581
193.60/193.61	v 94584
193.60/193.61	v 94588
193.60/193.61	v 94589
193.60/193.61	v 94590
193.60/193.61	v 94593
193.60/193.61	v 94597
193.60/193.61	v 94598
193.60/193.61	v 94599
193.60/193.61	v 94602
193.60/193.61	v 94604
193.60/193.61	v 94605
193.60/193.61	v 94609
193.60/193.61	v 94610
193.60/193.61	v 94611
193.60/193.61	v 94614
193.60/193.61	v 94618
193.60/193.61	v 94619
193.60/193.61	v 94620
193.60/193.61	v 94623
193.60/193.61	v 94627
193.60/193.61	v 94628
193.60/193.61	v 94629
193.60/193.61	v 94631
193.60/193.61	v 94632
193.60/193.61	v 94635
193.60/193.61	v 94639
193.60/193.61	v 94640
193.60/193.61	v 94641
193.60/193.61	v 94644
193.60/193.61	v 94648
193.60/193.61	v 94649
193.60/193.61	v 94650
193.60/193.61	v 94653
193.60/193.61	v 94655
193.60/193.61	v 94656
193.60/193.61	v 94660
193.60/193.61	v 94662
193.60/193.61	v 94664
193.60/193.61	v 94665
193.60/193.61	v 94669
193.60/193.61	v 94670
193.60/193.61	v 94671
193.60/193.61	v 94675
193.60/193.61	v 94678
193.60/193.61	v 94681
193.60/193.61	v 94684
193.60/193.61	v 94687
193.60/193.61	v 94690
193.60/193.61	v 94693
193.60/193.61	v 94696
193.60/193.61	v 94699
193.60/193.61	v 94702
193.60/193.61	v 94703
193.60/193.61	v 94705
193.60/193.61	v 94706
193.60/193.61	v 94708
193.60/193.61	v 94709
193.60/193.61	v 94712
193.60/193.61	v 94713
193.60/193.61	v 0
193.60/193.61	c [picomus] computed 3258 irredundant clauses 3%
193.60/193.61	c [picomus] 267 reductions in 193.6 seconds

OK	3258

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

running on 2 cores: 5,7

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.67 1.59 0.97 4/189 24451
/proc/meminfo: memFree=30930636/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=2300 CPUtime=0 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 319 0 0 0 0 0 0 0 25 0 1 0 891494784 2355200 273 33554432000 134512640 135072097 4293186048 18446744073709551615 134684699 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 575 273 53 137 0 436 0

[startup+0.0347491 s]
/proc/loadavg: 3.67 1.59 0.97 4/189 24451
/proc/meminfo: memFree=30930636/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=5164 CPUtime=0.03 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 1220 0 0 0 3 0 0 0 25 0 1 0 891494784 5287936 1173 33554432000 134512640 135072097 4293186048 18446744073709551615 134543160 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 1291 1173 61 137 0 1152 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5164

[startup+0.100737 s]
/proc/loadavg: 3.67 1.59 0.97 4/189 24451
/proc/meminfo: memFree=30930636/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=9856 CPUtime=0.09 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 2277 0 0 0 9 0 0 0 25 0 1 0 891494784 10092544 2207 33554432000 134512640 135072097 4293186048 18446744073709551615 134574844 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 2464 2207 68 137 0 2325 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9856

[startup+0.300762 s]
/proc/loadavg: 3.67 1.59 0.97 4/189 24451
/proc/meminfo: memFree=30930636/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=10140 CPUtime=0.29 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 2347 0 0 0 29 0 0 0 25 0 1 0 891494784 10383360 2277 33554432000 134512640 135072097 4293186048 18446744073709551615 134543617 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 2535 2277 69 137 0 2396 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10140

[startup+0.700632 s]
/proc/loadavg: 3.67 1.59 0.97 4/189 24451
/proc/meminfo: memFree=30930636/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=7512 CPUtime=0.69 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 3322 0 0 0 69 0 0 0 25 0 1 0 891494784 7692288 1676 33554432000 134512640 135072097 4293186048 18446744073709551615 134537957 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 1878 1676 76 137 0 1739 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7512

[startup+1.50049 s]
/proc/loadavg: 3.67 1.59 0.97 5/190 24452
/proc/meminfo: memFree=30924212/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=7512 CPUtime=1.49 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 6673 0 0 0 148 1 0 0 25 0 1 0 891494784 7692288 1676 33554432000 134512640 135072097 4293186048 18446744073709551615 134539142 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 1878 1676 76 137 0 1739 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7512

[startup+3.10021 s]
/proc/loadavg: 3.70 1.63 0.98 5/190 24452
/proc/meminfo: memFree=30923840/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=7512 CPUtime=3.09 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 13634 0 0 0 308 1 0 0 25 0 1 0 891494784 7692288 1676 33554432000 134512640 135072097 4293186048 18446744073709551615 134518179 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 1878 1676 76 137 0 1739 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7512

[startup+6.30063 s]
/proc/loadavg: 3.70 1.63 0.98 5/190 24452
/proc/meminfo: memFree=30874440/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=27580 CPUtime=6.29 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 20403 0 0 0 627 2 0 0 25 0 1 0 891494784 28241920 6510 33554432000 134512640 135072097 4293186048 18446744073709551615 134518239 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 6895 6510 77 137 0 6756 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27580

[startup+12.7005 s]
/proc/loadavg: 3.74 1.71 1.02 5/190 24453
/proc/meminfo: memFree=30868216/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=27580 CPUtime=12.69 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 20403 0 0 0 1267 2 0 0 25 0 1 0 891494784 28241920 6510 33554432000 134512640 135072097 4293186048 18446744073709551615 134518191 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 6895 6510 77 137 0 6756 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27580

[startup+25.5002 s]
/proc/loadavg: 3.78 1.78 1.05 5/190 24453
/proc/meminfo: memFree=30868192/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=27580 CPUtime=25.49 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 20403 0 0 0 2546 3 0 0 25 0 1 0 891494784 28241920 6510 33554432000 134512640 135072097 4293186048 18446744073709551615 134584017 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 6895 6510 77 137 0 6756 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27580

[startup+51.1006 s]
/proc/loadavg: 3.85 1.96 1.12 5/190 24454
/proc/meminfo: memFree=30868108/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=27580 CPUtime=51.09 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 20403 0 0 0 5106 3 0 0 25 0 1 0 891494784 28241920 6510 33554432000 134512640 135072097 4293186048 18446744073709551615 134518196 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 6895 6510 77 137 0 6756 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27580

[startup+102.307 s]
/proc/loadavg: 3.94 2.30 1.29 5/190 24455
/proc/meminfo: memFree=30865060/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=29480 CPUtime=102.3 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 21226 0 0 0 10227 3 0 0 25 0 1 0 891494784 30187520 7017 33554432000 134512640 135072097 4293186048 18446744073709551615 134518189 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 7370 7017 77 137 0 7231 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 29480

[startup+162.301 s]
/proc/loadavg: 3.98 2.61 1.45 5/190 24457
/proc/meminfo: memFree=30873660/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=29480 CPUtime=162.29 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 21226 0 0 0 16226 3 0 0 25 0 1 0 891494784 30187520 7017 33554432000 134512640 135072097 4293186048 18446744073709551615 134583955 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 7370 7017 77 137 0 7231 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 29480

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

[startup+179.101 s]
/proc/loadavg: 4.05 2.69 1.50 5/190 24457
/proc/meminfo: memFree=30873512/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=29480 CPUtime=179.1 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 21226 0 0 0 17906 4 0 0 25 0 1 0 891494784 30187520 7017 33554432000 134512640 135072097 4293186048 18446744073709551615 134584004 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 7370 7017 77 137 0 7231 0
Current children cumulated CPU time (s) 179.1
Current children cumulated vsize (KiB) 29480

[startup+185.501 s]
/proc/loadavg: 4.05 2.71 1.51 5/190 24457
/proc/meminfo: memFree=30873624/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=29480 CPUtime=185.5 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 21226 0 0 0 18546 4 0 0 25 0 1 0 891494784 30187520 7017 33554432000 134512640 135072097 4293186048 18446744073709551615 134518179 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 7370 7017 77 137 0 7231 0
Current children cumulated CPU time (s) 185.5
Current children cumulated vsize (KiB) 29480

[startup+188.7 s]
/proc/loadavg: 4.05 2.73 1.53 5/190 24457
/proc/meminfo: memFree=30873748/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=29480 CPUtime=188.7 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 21226 0 0 0 18866 4 0 0 25 0 1 0 891494784 30187520 7017 33554432000 134512640 135072097 4293186048 18446744073709551615 134549558 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 7370 7017 77 137 0 7231 0
Current children cumulated CPU time (s) 188.7
Current children cumulated vsize (KiB) 29480

[startup+191.901 s]
/proc/loadavg: 4.05 2.73 1.53 5/190 24457
/proc/meminfo: memFree=30873736/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=29480 CPUtime=191.9 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 21226 0 0 0 19186 4 0 0 25 0 1 0 891494784 30187520 7017 33554432000 134512640 135072097 4293186048 18446744073709551615 134520266 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 7370 7017 77 137 0 7231 0
Current children cumulated CPU time (s) 191.9
Current children cumulated vsize (KiB) 29480

[startup+192.7 s]
/proc/loadavg: 4.04 2.75 1.54 5/190 24457
/proc/meminfo: memFree=30873736/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=29480 CPUtime=192.7 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 21226 0 0 0 19266 4 0 0 25 0 1 0 891494784 30187520 7017 33554432000 134512640 135072097 4293186048 18446744073709551615 134518194 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 7370 7017 77 137 0 7231 0
Current children cumulated CPU time (s) 192.7
Current children cumulated vsize (KiB) 29480

[startup+193.1 s]
/proc/loadavg: 4.04 2.75 1.54 5/190 24457
/proc/meminfo: memFree=30873736/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=29480 CPUtime=193.1 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 21226 0 0 0 19306 4 0 0 25 0 1 0 891494784 30187520 7017 33554432000 134512640 135072097 4293186048 18446744073709551615 134548997 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 7370 7017 77 137 0 7231 0
Current children cumulated CPU time (s) 193.1
Current children cumulated vsize (KiB) 29480

[startup+193.5 s]
/proc/loadavg: 4.04 2.75 1.54 5/190 24457
/proc/meminfo: memFree=30873736/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=29480 CPUtime=193.5 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 21226 0 0 0 19346 4 0 0 25 0 1 0 891494784 30187520 7017 33554432000 134512640 135072097 4293186048 18446744073709551615 134549050 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 7370 7017 77 137 0 7231 0
Current children cumulated CPU time (s) 193.5
Current children cumulated vsize (KiB) 29480

[startup+193.606 s]
/proc/loadavg: 4.04 2.75 1.54 5/190 24457
/proc/meminfo: memFree=30873736/32950928 swapFree=67048868/67111528
[pid=24451] ppid=24449 vsize=29480 CPUtime=193.6 cores=5,7
/proc/24451/stat : 24451 (picomus) R 24449 24451 24333 0 -1 4202496 21226 0 0 0 19356 4 0 0 25 0 1 0 891494784 30187520 6549 33554432000 134512640 135072097 4293186048 18446744073709551615 134838174 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24451/statm: 7370 6549 77 137 0 7231 0
Current children cumulated CPU time (s) 193.6
Current children cumulated vsize (KiB) 29480

Child status: 20
Real time (s): 193.614
CPU time (s): 193.616
CPU user time (s): 193.569
CPU system time (s): 0.046992
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 30784

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

runsolver used 0.331949 second user time and 0.748886 second system time

The end

Begin job on node122 at 2011-06-11 15:29:20
IDJOB=3493450
IDBENCH=89537
IDSOLVER=1974
FILE ID=node122/3493450-1307798960
RUNJOBID= node122-1307798807-24354
PBS_JOBID= 13551028
Free space on /tmp= 74100 MiB

SOLVER NAME= PicoMUS 941
BENCH NAME= SAT11/mus/marques-silva/hardware-verification/ooo.tag12.ucl.sat.chaff.4.1.bryant.cnf
COMMAND LINE= picomus BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493450-1307798960/watcher-3493450-1307798960 -o /tmp/evaluation-result-3493450-1307798960/solver-3493450-1307798960 -C 1800 -W 1850 -M 7680  picomus HOME/instance-3493450-1307798960.cnf

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

MD5SUM BENCH= c96f5800cc2c7120720583afebf2835a
RANDOM SEED=491039073

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30931180 kB
Buffers:        159580 kB
Cached:         957372 kB
SwapCached:      14712 kB
Active:        1074704 kB
Inactive:       789472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30931180 kB
SwapTotal:    67111528 kB
SwapFree:     67048868 kB
Dirty:            2348 kB
Writeback:           0 kB
AnonPages:      744672 kB
Mapped:          10048 kB
Slab:            88200 kB
PageTables:       6444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   976748 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74100 MiB
End job on node122 at 2011-06-11 15:32:34