Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Black Hole SAT 2011-03-08 | ? (TO) | 1299.7 | 1300.02 |
Name | application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf |
MD5SUM | 9fe9fe24bc28c127c9f6b6416a14f727 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.21681 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 360364 |
Number of clauses | 1076507 |
Sum of the clauses size | 2511847 |
Maximum clause length | 3 |
Minimum clause length | 1 |
Number of clauses of size 1 | 2 |
Number of clauses of size 2 | 717670 |
Number of clauses of size 3 | 358835 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
0.69/0.71 c RESTART 0.69/0.78 c RESTART 0.79/0.86 c RESTART 0.89/0.94 c RESTART 1.00/1.00 c RESTART 1.00/1.05 c RESTART 1.00/1.08 c RESTART 1.10/1.13 c RESTART 1.19/1.20 c RESTART 1.29/1.30 c RESTART 1.29/1.39 c RESTART 1.39/1.44 c RESTART 1.49/1.55 c RESTART 1.59/1.61 c RESTART 1.59/1.65 c RESTART 1.69/1.71 c RESTART 1.69/1.74 c RESTART 1.69/1.79 c RESTART 1.79/1.85 c RESTART 1.89/1.95 c RESTART 1.89/1.99 c RESTART 1.99/2.04 c RESTART 1.99/2.09 c RESTART 2.10/2.15 c RESTART 2.10/2.19 c RESTART 2.20/2.29 c RESTART 2.29/2.33 c RESTART 2.39/2.41 c RESTART 2.39/2.45 c RESTART 2.49/2.51 c RESTART 2.49/2.55 c RESTART 2.49/2.59 c RESTART 2.59/2.63 c RESTART 2.59/2.68 c RESTART 2.69/2.73 c RESTART 2.69/2.78 c RESTART 2.79/2.82 c RESTART 2.79/2.88 c RESTART 2.89/2.93 c RESTART 2.89/2.97 c RESTART 2.99/3.01 c RESTART 2.99/3.06 c RESTART 3.09/3.12 c RESTART 3.09/3.17 c RESTART 3.19/3.21 c RESTART 3.19/3.29 c RESTART 3.29/3.38 c RESTART 3.39/3.44 c RESTART 3.39/3.47 c RESTART 3.39/3.50 c RESTART 3.49/3.53 c RESTART 3.49/3.57 c RESTART 3.59/3.60 c RESTART 3.59/3.63 c RESTART 3.59/3.69 c RESTART 3.69/3.80 c RESTART 3.79/3.84 c RESTART 3.79/3.88 c RESTART 3.89/3.95 c RESTART 4.59/4.65 c RESTART 4.69/4.76 c RESTART 4.79/4.80 c RESTART 4.79/4.84 c RESTART 4.79/4.89 c RESTART 4.89/4.94 c RESTART 4.99/5.01 c RESTART 4.99/5.09 c RESTART 5.09/5.16 c RESTART 5.19/5.20 c RESTART 5.19/5.26 c RESTART 5.29/5.33 c RESTART 5.29/5.39 c RESTART 5.39/5.45 c RESTART 5.39/5.49 c RESTART 5.49/5.56 c RESTART 5.59/5.60 c RESTART 5.59/5.64 c RESTART 5.69/5.70 c RESTART 5.69/5.74 c RESTART 5.78/5.80 c RESTART 5.78/5.88 c RESTART 5.88/5.94 c RESTART 5.88/5.97 c RESTART 5.98/6.05 c RESTART 6.18/6.24 c RESTART 6.18/6.29 c RESTART 6.28/6.36 c RESTART 6.28/6.39 c RESTART 6.38/6.50 c RESTART 6.88/6.96 c RESTART 7.08/7.16 c RESTART 7.18/7.20 c RESTART 7.28/7.31 c RESTART 7.28/7.38 c RESTART 7.38/7.42 c RESTART 7.38/7.46 c RESTART 7.48/7.54 c RESTART 7.59/7.60 c RESTART 7.59/7.67 c RESTART 7.69/7.77 c RESTART 7.78/7.82 c RESTART 7.78/7.86 c RESTART 7.78/7.89 c RESTART 7.88/7.98 c RESTART 8.08/8.10 c RESTART 8.08/8.15 c RESTART 8.18/8.20 c RESTART 8.18/8.25 c RESTART 8.28/8.30 c RESTART 8.28/8.34 c RESTART 8.48/8.52 c RESTART 8.48/8.58 c RESTART 8.58/8.65 c RESTART 8.69/8.71 c RESTART 8.69/8.79 c RESTART 8.79/8.87 c RESTART 8.88/8.90 c RESTART 8.88/8.95 c RESTART 8.98/9.02 c RESTART 8.98/9.07 c RESTART 9.08/9.14 c RESTART 9.18/9.22 c RESTART 9.18/9.28 c RESTART 9.28/9.38 c RESTART 9.38/9.42 c RESTART 9.38/9.46 c RESTART 9.38/9.50 c RESTART 9.48/9.55 c RESTART 9.58/9.63 c RESTART 9.58/9.69 c RESTART 9.68/9.78 c RESTART 9.78/9.86 c RESTART 9.88/9.92 c RESTART 9.88/9.97 c RESTART 9.98/10.02 c RESTART 10.08/10.12 c RESTART 10.08/10.18 c RESTART 10.18/10.29 c RESTART 10.28/10.35 c RESTART 10.38/10.43 c RESTART 10.48/10.51 c RESTART 10.48/10.57 c RESTART 10.68/10.72 c RESTART 10.78/10.80 c RESTART 10.78/10.86 c RESTART 10.98/11.09 c RESTART 11.08/11.19 c RESTART 11.18/11.24 c RESTART 11.18/11.27 c RESTART 11.28/11.33 c RESTART 11.28/11.36 c RESTART 11.38/11.41 c RESTART 11.38/11.45 c RESTART 11.47/11.50 c RESTART 11.47/11.55 c RESTART 11.47/11.59 c RESTART 11.57/11.66 c RESTART 11.67/11.72 c RESTART 11.67/11.77 c RESTART 11.77/11.83 c RESTART 11.77/11.88 c RESTART 11.87/11.95 c RESTART 11.98/12.04 c RESTART 11.98/12.10 c RESTART 12.08/12.18 c RESTART 12.17/12.28 c RESTART 12.27/12.31 c RESTART 12.27/12.37 c RESTART 12.47/12.53 c RESTART 12.47/12.56 c RESTART 12.57/12.62 c RESTART 12.57/12.68 c RESTART 12.67/12.79 c RESTART 12.77/12.86 c RESTART 12.87/12.91 c RESTART 12.87/12.98 c RESTART 12.97/13.02 c RESTART 12.97/13.06 c RESTART 13.08/13.11 c RESTART 13.08/13.14 c RESTART 13.18/13.26 c RESTART 13.27/13.33 c RESTART 13.47/13.57 c RESTART 13.57/13.60 c RESTART 13.57/13.65 c RESTART 13.87/13.95 c RESTART 13.97/14.00 c RESTART 13.97/14.05 c RESTART 13.97/14.08 c RESTART 14.19/14.22 c RESTART 14.19/14.29 c RESTART 14.29/14.37 c RESTART 14.38/14.48 c RESTART 14.48/14.57 c RESTART 14.58/14.61 c RESTART 14.58/14.68 c RESTART 14.68/14.71 c RESTART 14.88/14.93 c RESTART 14.98/15.00 c RESTART 14.98/15.04 c RESTART 14.98/15.07 c RESTART 15.08/15.15 c RESTART 15.18/15.23 c RESTART 15.18/15.26 c RESTART 15.29/15.32 c RESTART 15.29/15.36 c RESTART 15.39/15.41 c RESTART 15.39/15.50 c RESTART 15.58/15.61 c RESTART 15.68/15.75 c RESTART 15.78/15.85 c RESTART 15.88/15.95 c RESTART 15.98/16.00 c RESTART 15.98/16.04 c RESTART 16.08/16.13 c RESTART 16.08/16.18 c RESTART 16.18/16.24 c RESTART 16.28/16.30 c RESTART 16.28/16.40 c RESTART 16.39/16.47 c RESTART 16.49/16.55 c RESTART 16.58/16.62 c RESTART 16.58/16.67 c RESTART 16.68/16.70 c RESTART 16.68/16.75 c RESTART 16.68/16.80 c RESTART 16.78/16.84 c RESTART 16.78/16.89 c RESTART 16.88/16.98 c RESTART 16.98/17.03 c RESTART 16.98/17.06 c RESTART 16.98/17.09 c RESTART 17.18/17.22 c RESTART 17.18/17.27 c RESTART 17.28/17.36 c RESTART 17.38/17.43 c RESTART 17.38/17.47 c RESTART 17.38/17.49 c RESTART 17.49/17.54 c RESTART 17.49/17.59 c RESTART 17.59/17.65 c RESTART 17.68/17.70 c RESTART 17.78/17.84 c RESTART 17.78/17.88 c RESTART 17.88/17.96 c RESTART 17.98/18.09 c RESTART 18.08/18.14 c RESTART 18.08/18.19 c RESTART 18.28/18.31 c RESTART 18.28/18.35 c RESTART 18.38/18.47 c RESTART 18.48/18.54 c RESTART 18.98/19.04 c RESTART 19.08/19.12 c RESTART 19.08/19.18 c RESTART 19.18/19.23 c RESTART 19.28/19.31 c RESTART 19.38/19.41 c RESTART 19.38/19.45 c RESTART 19.48/19.50 c RESTART 19.48/19.55 c RESTART 19.68/19.71 c RESTART 19.68/19.80 c RESTART 19.78/19.84 c RESTART 20.58/20.67 c RESTART 20.68/20.73 c RESTART 20.68/20.77 c RESTART 20.78/20.82 c RESTART 21.08/21.14 c RESTART 21.08/21.17 c RESTART 21.18/21.23 c RESTART 21.18/21.26 c RESTART 21.18/21.29 c RESTART 21.38/21.41 c RESTART 21.38/21.44 c RESTART 21.48/21.50 c RESTART 21.48/21.54 c RESTART 21.58/21.63 c RESTART 21.58/21.68 c RESTART 21.68/21.76 c RESTART 21.68/21.79 c RESTART 21.78/21.84 c RESTART 21.78/21.89 c RESTART 21.88/21.91 c RESTART 21.88/21.98 c RESTART 22.08/22.18 c RESTART 22.18/22.26 c RESTART 22.38/22.41 c RESTART 22.38/22.45 c RESTART 22.48/22.52 c RESTART 22.48/22.57 c RESTART 22.58/22.61 c RESTART 22.58/22.69 c RESTART 22.68/22.74 c RESTART 22.78/22.80 c RESTART 22.88/22.90 c RESTART 23.08/23.18 c RESTART 23.18/23.26 c RESTART 23.28/23.35 c RESTART 24.18/24.23 c RESTART 24.18/24.28 c RESTART 24.28/24.33 c RESTART 24.28/24.39 c RESTART 24.38/24.45 c RESTART 24.48/24.50 c RESTART 24.48/24.54 c RESTART 24.58/24.64 c RESTART 24.68/24.72 c RESTART 24.78/24.80 c RESTART 24.78/24.85 c RESTART 24.88/24.90 c RESTART 24.88/24.97 c RESTART 24.98/25.05 c RESTART 25.07/25.10 c RESTART 25.28/25.35 c RESTART 25.37/25.42 c RESTART 25.37/25.48 c RESTART 25.47/25.54 c RESTART 25.87/25.94 c RESTART 26.07/26.14 c RESTART 26.17/26.22 c RESTART 26.17/26.26 c RESTART 26.28/26.34 c RESTART 26.38/26.49 c RESTART 26.47/26.57 c RESTART 26.57/26.66 c RESTART 26.67/26.74 c RESTART 26.77/26.80 c RESTART 26.77/26.87 c RESTART 26.87/26.94 c RESTART 26.87/26.98 c RESTART 26.97/27.04 c RESTART 27.07/27.11 c RESTART 27.17/27.23 c RESTART 27.57/27.60 c RESTART 27.57/27.64 c RESTART 27.57/27.68 c RESTART 27.67/27.75 c RESTART 27.77/27.80 c RESTART 27.77/27.86 c RESTART 27.87/27.97 c RESTART 27.97/28.01 c RESTART 28.07/28.10 c RESTART 28.17/28.29 c RESTART 28.27/28.36 c RESTART 28.77/28.84 c RESTART 28.87/28.93 c RESTART 28.97/29.04 c RESTART 29.17/29.28 c RESTART 29.27/29.35 c RESTART 29.27/29.39 c RESTART 29.37/29.48 c RESTART 29.47/29.57 c RESTART 29.58/29.61 c RESTART 29.58/29.66 c RESTART 29.68/29.72 c RESTART 29.68/29.77 c RESTART 29.87/29.93 c RESTART 29.87/29.98 c RESTART 29.97/30.02 c RESTART 29.97/30.07 c RESTART 30.07/30.12 c RESTART 30.07/30.18 c RESTART 30.57/30.63 c RESTART 30.68/30.71 c RESTART 30.68/30.75 c RESTART 30.68/30.78 c RESTART 30.78/30.81 c RESTART 30.78/30.86 c RESTART 30.87/30.98 c RESTART 31.07/31.11 c RESTART 31.07/31.16 c RESTART 31.17/31.26 c RESTART 31.27/31.33 c RESTART 31.27/31.38 c RESTART 31.37/31.47 c RESTART 31.47/31.54 c RESTART 31.78/31.80 c RESTART 31.78/31.86 c RESTART 31.97/32.00 c RESTART 32.27/32.33 c RESTART 32.37/32.43 c RESTART 32.37/32.48 c RESTART 32.47/32.55 c RESTART 32.57/32.61 c RESTART 32.57/32.67 c RESTART 32.67/32.71 c RESTART 32.67/32.77 c RESTART 32.77/32.83 c RESTART 32.87/32.95 c RESTART 32.97/33.02 c RESTART 33.17/33.24 c RESTART 33.17/33.29 c RESTART 33.27/33.34 c RESTART 33.37/33.40 c RESTART 33.37/33.43 c RESTART 33.47/33.53 c RESTART 33.67/33.72 c RESTART 33.77/33.81 c RESTART 33.77/33.87 c RESTART 33.87/33.92 c RESTART 33.87/34.00 c RESTART 33.97/34.06 c RESTART 33.97/34.08 c RESTART 34.07/34.16 c RESTART 34.17/34.22 c RESTART 34.17/34.28 c RESTART 34.27/34.37 c RESTART 34.37/34.48 c RESTART 34.47/34.55 c RESTART 34.57/34.63 c RESTART 34.57/34.68 c RESTART 34.67/34.76 c RESTART 34.77/34.81 c RESTART 34.77/34.86 c RESTART 34.87/34.93 c RESTART 34.87/34.99 c RESTART 34.97/35.02 c RESTART 34.97/35.09 c RESTART 35.07/35.15 c RESTART 35.17/35.27 c RESTART 35.27/35.33 c RESTART 35.37/35.41 c RESTART 35.37/35.49 c RESTART 35.47/35.52 c RESTART 35.47/35.59 c RESTART 35.57/35.65 c RESTART 35.67/35.73 c RESTART 35.77/35.81 c RESTART 35.77/35.87 c RESTART 35.97/36.03 c RESTART 36.07/36.11 c RESTART 36.17/36.20 c RESTART 36.27/36.31 c RESTART 36.37/36.49 c RESTART 36.47/36.53 c RESTART 36.47/36.57 c RESTART 36.57/36.61 c RESTART 36.57/36.66 c RESTART 36.66/36.71 c RESTART 36.66/36.76 c RESTART 36.76/36.82 c RESTART 36.76/36.85 c RESTART 36.86/36.93 c RESTART 36.86/36.99 c RESTART 36.96/37.03 c RESTART 36.96/37.07 c RESTART 37.06/37.12 c RESTART 37.06/37.16 c RESTART 37.16/37.24 c RESTART 37.16/37.30 c RESTART 37.27/37.35 c RESTART 37.27/37.39 c RESTART 37.37/37.45 c RESTART 37.56/37.64 c RESTART 37.66/37.74 c RESTART 37.66/37.77 c RESTART 37.76/37.82 c RESTART 37.76/37.89 c RESTART 37.86/37.97 c RESTART 37.96/38.04 c RESTART 38.06/38.16 c RESTART 38.16/38.27 c RESTART 38.26/38.33 c RESTART 38.26/38.36 c RESTART 38.37/38.50 c RESTART 38.56/38.65 c RESTART 38.56/38.67 c RESTART 38.66/38.73 c RESTART 38.66/38.78 c RESTART 38.76/38.83 c RESTART 38.76/38.89 c RESTART 38.86/38.93 c RESTART 38.86/38.98 c RESTART 38.96/39.03 c RESTART 38.96/39.09 c RESTART 39.06/39.14 c RESTART 39.06/39.19 c RESTART 39.16/39.21 c RESTART 39.16/39.26 c RESTART 39.26/39.30 c RESTART 39.26/39.36 c RESTART 39.36/39.49 c RESTART 39.57/39.62 c RESTART 39.76/39.84 c RESTART 39.76/39.89 c RESTART 39.86/39.95 c RESTART 39.96/40.01 c RESTART 39.96/40.08 c RESTART 40.06/40.13 c RESTART 40.06/40.18 c RESTART 40.16/40.25 c RESTART 40.26/40.30 c RESTART 40.26/40.33 c RESTART 40.46/40.60 c RESTART 41.06/41.13 c RESTART 41.16/41.25 c RESTART 41.26/41.31 c RESTART 41.26/41.36 c RESTART 41.36/41.45 c RESTART 41.46/41.56 c RESTART 41.56/41.61 c RESTART 41.67/41.72 c RESTART 41.77/41.86 c RESTART 41.86/41.97 c RESTART 41.96/42.06 c RESTART 42.06/42.17 c RESTART 42.36/42.42 c RESTART 42.46/42.51 c RESTART 42.46/42.57 c RESTART 42.56/42.68 c RESTART 42.66/42.76 c RESTART 42.77/42.85 c RESTART 42.87/42.92 c RESTART 42.87/42.97 c RESTART 42.96/43.02 c RESTART 42.96/43.07 c RESTART 43.06/43.17 c RESTART 43.16/43.26 c RESTART 43.26/43.37 c RESTART 43.36/43.46 c RESTART 43.76/43.83 c RESTART 43.87/43.95 c RESTART 44.06/44.15 c RESTART 44.16/44.23 c RESTART 44.26/44.32 c RESTART 44.46/44.57 c RESTART 44.56/44.65 c RESTART 44.66/44.72 c RESTART 44.66/44.74 c RESTART 44.76/44.81 c RESTART 44.76/44.84 c RESTART 44.86/44.95 c RESTART 44.86/44.99 c RESTART 45.26/45.39 c RESTART 45.36/45.46 c RESTART 45.46/45.53 c RESTART 45.46/45.58 c RESTART 45.56/45.63 c RESTART 45.56/45.69 c RESTART 45.66/45.75 c RESTART 45.66/45.78 c RESTART 45.76/45.82 c RESTART 45.76/45.86 c RESTART 45.86/45.91 c RESTART 46.17/46.27 c RESTART 46.26/46.33 c RESTART 46.26/46.38 c RESTART 46.36/46.45 c RESTART 46.46/46.51 c RESTART 46.46/46.57 c RESTART 46.56/46.61 c RESTART 46.56/46.66 c RESTART 46.66/46.71 c RESTART 46.66/46.77 c RESTART 46.76/46.86 c RESTART 46.86/46.92 c RESTART 46.96/47.06 c RESTART 47.06/47.11 c RESTART 47.06/47.19 c RESTART 47.17/47.25 c RESTART 47.17/47.30 c RESTART 47.27/47.37 c RESTART 47.36/47.42 c RESTART 47.46/47.57 c RESTART 47.66/47.72 c RESTART 47.66/47.77 c RESTART 47.76/47.81 c RESTART 47.76/47.87 c RESTART 47.86/47.91 c RESTART 47.86/48.00 c RESTART 47.96/48.07 c RESTART 48.06/48.14 c RESTART 48.06/48.20 c RESTART 48.16/48.26 c RESTART 48.27/48.35 c RESTART 48.37/48.41 c RESTART 48.37/48.46 c RESTART 48.46/48.53 c RESTART 48.56/48.62 c RESTART 48.76/48.89 c RESTART 48.86/48.97 c RESTART 48.96/49.08 c RESTART 49.06/49.17 c RESTART 49.16/49.27 c RESTART 49.26/49.35 c RESTART 49.36/49.45 c RESTART 49.46/49.54 c RESTART 49.46/49.58 c RESTART 49.55/49.66 c RESTART 49.65/49.77 c RESTART 49.75/49.84 c RESTART 49.85/49.90 c RESTART 49.85/49.96 c RESTART 49.95/50.07 c RESTART 50.05/50.11 c RESTART 50.05/50.19 c RESTART 50.46/50.53 c RESTART 50.56/50.61 c RESTART 50.56/50.68 c RESTART 50.65/50.78 c RESTART 50.75/50.82 c RESTART 50.75/50.87 c RESTART 50.85/50.93 c RESTART 50.85/50.98 c RESTART 50.95/51.03 c RESTART 50.95/51.09 c RESTART 51.05/51.18 c RESTART 51.35/51.43 c RESTART 51.35/51.48 c RESTART 51.56/51.61 c RESTART 51.56/51.68 c RESTART 51.75/51.81 c RESTART 52.05/52.13 c RESTART 52.15/52.22 c RESTART 52.15/52.29 c RESTART 52.25/52.35 c RESTART 52.25/52.39 c RESTART 52.35/52.44 c RESTART 52.45/52.51 c RESTART 52.45/52.57 c RESTART 52.55/52.70 c RESTART 52.76/52.85 c RESTART 52.85/52.91 c RESTART 52.95/53.00 c RESTART 52.95/53.06 c RESTART 53.06/53.14 c RESTART 53.16/53.20 c RESTART 53.16/53.26 c RESTART 53.26/53.34 c RESTART 53.26/53.39 c RESTART 53.36/53.44 c RESTART 53.36/53.49 c RESTART 53.46/53.53 c RESTART 53.46/53.59 c RESTART 53.56/53.61 c RESTART 53.56/53.69 c RESTART 53.66/53.75 c RESTART 53.66/53.80 c RESTART 53.77/53.88 c RESTART 53.87/53.95 c RESTART 53.96/54.02 c RESTART 54.66/54.79 c RESTART 54.76/54.86 c RESTART 54.87/54.90 c RESTART 54.87/54.95 c RESTART 54.97/55.05 c RESTART 55.06/55.11 c RESTART 55.06/55.18 c RESTART 55.16/55.22 c RESTART 55.16/55.27 c RESTART 55.26/55.33 c RESTART 55.26/55.39 c RESTART 55.36/55.47 c RESTART 55.46/55.54 c RESTART 55.46/55.59 c RESTART 55.56/55.66 c RESTART 55.66/55.70 c RESTART 55.66/55.76 c RESTART 55.76/55.81 c RESTART 55.76/55.86 c RESTART 55.86/55.91 c RESTART 55.96/56.02 c RESTART 56.16/56.21 c RESTART 56.26/56.30 c RESTART 56.36/56.42 c RESTART 56.36/56.49 c RESTART 56.46/56.57 c RESTART 56.56/56.67 c RESTART 56.66/56.78 c RESTART 56.76/56.84 c RESTART 56.86/56.90 c RESTART 56.86/56.96 c RESTART 56.96/57.03 c RESTART 57.36/57.45 c RESTART 57.46/57.50 c RESTART 57.56/57.61 c RESTART 57.56/57.65 c RESTART 57.66/57.72 c RESTART 57.66/57.78 c RESTART 57.76/57.82 c RESTART 57.86/57.91 c RESTART 57.86/57.97 c RESTART 57.96/58.08 c RESTART 58.06/58.13 c RESTART 58.06/58.20 c RESTART 58.26/58.31 c RESTART 58.36/58.40 c RESTART 58.36/58.50 c RESTART 58.56/58.60 c RESTART 58.56/58.67 c RESTART 58.66/58.75 c RESTART 58.76/58.86 c RESTART 58.86/58.92 c RESTART 58.96/59.04 c RESTART 59.26/59.40 c RESTART 59.36/59.47 c RESTART 59.46/59.57 c RESTART 59.56/59.68 c RESTART 59.66/59.76 c RESTART 59.66/59.79 c RESTART 59.76/59.85 c RESTART 59.86/59.94 c RESTART 59.96/60.01 c RESTART 59.96/60.07 c RESTART 60.06/60.13 c RESTART 60.06/60.19 c RESTART 60.16/60.24 c RESTART 60.26/60.40 c RESTART 60.36/60.44 c RESTART 60.36/60.47 c RESTART 60.46/60.53 c RESTART 60.46/60.58 c RESTART 60.56/60.62 c RESTART 60.56/60.66 c RESTART 60.66/60.72 c RESTART 60.76/60.83 c RESTART 60.76/60.88 c RESTART 60.96/61.05 c RESTART 61.06/61.10 c RESTART 61.06/61.19 c RESTART 61.16/61.24 c RESTART 61.36/61.46 c RESTART 61.46/61.50 c RESTART 61.46/61.58 c RESTART 61.56/61.65 c RESTART 61.66/61.71 c RESTART 62.66/62.73 c RESTART 63.06/63.14 c RESTART 64.06/64.10 c RESTART 64.16/64.20 c RESTART 64.16/64.28 c RESTART 64.26/64.33 c RESTART 64.36/64.40 c RESTART 64.36/64.47 c RESTART 64.46/64.52 c RESTART 64.86/64.92 c RESTART 64.86/64.96 c RESTART 64.96/65.01 c RESTART 64.96/65.07 c RESTART 65.06/65.13 c RESTART 65.06/65.18 c RESTART 65.16/65.24 c RESTART 65.26/65.30 c RESTART 65.36/65.41 c RESTART 65.46/65.52 c RESTART 65.46/65.59 c RESTART 65.56/65.66 c RESTART 65.66/65.74 c RESTART 65.66/65.77 c RESTART 65.86/65.96 c RESTART 66.16/66.22 c RESTART 66.26/66.35 c RESTART 66.36/66.42 c RESTART 66.46/66.50 c RESTART 66.46/66.59 c RESTART 66.56/66.68 c RESTART 66.66/66.77 c RESTART 66.76/66.84 c RESTART 66.86/66.91 c RESTART 66.96/67.01 c RESTART 66.96/67.10 c RESTART 67.06/67.17 c RESTART 67.16/67.27 c RESTART 67.26/67.34 c RESTART 67.36/67.43 c RESTART 67.56/67.60 c RESTART 67.66/67.70 c RESTART 67.76/67.85 c RESTART 67.86/67.92 c RESTART 67.96/68.00 c RESTART 68.06/68.12 c RESTART 68.06/68.20 c RESTART 68.26/68.33 c RESTART 68.36/68.42 c RESTART 68.36/68.48 c RESTART 68.45/68.58 c RESTART 68.55/68.64 c RESTART 68.65/68.73 c RESTART 68.75/68.80 c RESTART 68.75/68.88 c RESTART 68.85/68.95 c RESTART 69.26/69.31 c RESTART 69.35/69.45 c RESTART 69.35/69.48 c RESTART 69.45/69.52 c RESTART 69.45/69.56 c RESTART 69.55/69.62 c RESTART 69.65/69.75 c RESTART 69.75/69.82 c RESTART 69.75/69.88 c RESTART 70.15/70.24 c RESTART 70.15/70.29 c RESTART 70.26/70.33 c RESTART 70.36/70.42 c RESTART 70.36/70.46 c RESTART 70.45/70.50 c RESTART 70.45/70.55 c RESTART 70.55/70.62 c RESTART 70.55/70.66 c RESTART 70.65/70.74 c RESTART 70.85/70.90 c RESTART 70.85/70.94 c RESTART 70.85/70.99 c RESTART 70.95/71.04 c RESTART 70.95/71.08 c RESTART 71.05/71.14 c RESTART 71.25/71.39 c RESTART 71.46/71.50 c RESTART 71.46/71.57 c RESTART 71.55/71.68 c RESTART 71.85/71.97 c RESTART 71.95/72.04 c RESTART 71.95/72.08 c RESTART 72.05/72.15 c RESTART 72.15/72.21 c RESTART 72.15/72.27 c RESTART 72.25/72.31 c RESTART 72.35/72.40 c RESTART 72.46/72.54 c RESTART 72.46/72.59 c RESTART 72.56/72.68 c RESTART 72.75/72.80 c RESTART 72.75/72.87 c RESTART 72.95/73.01 c RESTART 72.95/73.06 c RESTART 73.05/73.14 c RESTART 73.15/73.25 c RESTART 73.55/73.68 c RESTART 73.66/73.73 c RESTART 73.75/73.80 c RESTART 73.75/73.88 c RESTART 73.85/73.92 c RESTART 73.85/73.99 c RESTART 73.95/74.07 c RESTART 74.45/74.54 c RESTART 74.55/74.60 c RESTART 74.55/74.66 c RESTART 74.75/74.81 c RESTART 74.85/74.98 c RESTART 74.95/75.09 c RESTART 75.15/75.21 c RESTART 75.25/75.30 c RESTART 75.35/75.48 c RESTART 75.45/75.52 c RESTART 75.55/75.60 c RESTART 75.55/75.66 c RESTART 75.65/75.74 c RESTART 77.15/77.22 c RESTART 77.25/77.31 c RESTART 77.25/77.38 c RESTART 77.35/77.45 c RESTART 77.45/77.51 c RESTART 77.45/77.58 c RESTART 77.55/77.66 c RESTART 77.65/77.72 c RESTART 77.75/77.80 c RESTART 77.75/77.89 c RESTART 77.85/77.97 c RESTART 77.95/78.03 c RESTART 77.95/78.09 c RESTART 78.05/78.17 c RESTART 78.15/78.24 c RESTART 78.25/78.32 c RESTART 78.35/78.48 c RESTART 78.45/78.58 c RESTART 78.55/78.65 c RESTART 78.65/78.75 c RESTART 78.75/78.81 c RESTART 78.75/78.87 c RESTART 78.85/78.95 c RESTART 79.75/79.89 c RESTART 79.85/79.95 c RESTART 79.95/80.00 c RESTART 80.05/80.10 c RESTART 80.05/80.15 c RESTART 80.05/80.20 c RESTART 80.15/80.27 c RESTART 80.25/80.31 c RESTART 80.25/80.37 c RESTART 80.35/80.44 c RESTART 80.45/80.50 c RESTART 80.45/80.55 c RESTART 80.55/80.64 c RESTART 80.55/80.68 c RESTART 80.65/80.74 c RESTART 80.75/80.85 c RESTART 80.85/80.96 c RESTART 80.95/81.02 c RESTART 81.15/81.23 c RESTART 81.35/81.46 c RESTART 81.45/81.58 c RESTART 81.55/81.62 c RESTART 81.55/81.69 c RESTART 81.65/81.78 c RESTART 81.75/81.86 c RESTART 81.85/81.92 c RESTART 81.85/81.98 c RESTART 82.05/82.13 c RESTART 82.15/82.24 c RESTART 82.25/82.39 c RESTART 82.35/82.45 c RESTART 82.45/82.51 c RESTART 82.45/82.57 c RESTART 82.54/82.66 c RESTART 83.24/83.40 c RESTART 83.34/83.47 c RESTART 83.45/83.58 c RESTART 83.55/83.65 c RESTART 83.64/83.72 c RESTART 83.74/83.82 c RESTART 83.84/83.91 c RESTART 83.94/84.02 c RESTART 84.24/84.39 c RESTART 84.34/84.47 c RESTART 84.44/84.55 c RESTART 84.55/84.65 c RESTART 84.65/84.77 c RESTART 84.74/84.82 c RESTART 84.74/84.88 c RESTART 84.84/84.92 c RESTART 84.94/85.08 c RESTART 85.04/85.14 c RESTART 85.14/85.26 c RESTART 85.24/85.31 c RESTART 85.24/85.38 c RESTART 85.34/85.44 c RESTART 85.34/85.48 c RESTART 85.44/85.56 c RESTART 85.54/85.63 c RESTART 85.54/85.68 c RESTART 85.65/85.73 c RESTART 85.65/85.79 c RESTART 85.75/85.84 c RESTART 85.75/85.89 c RESTART 85.84/85.99 c RESTART 85.94/86.05 c RESTART 86.04/86.14 c RESTART 86.04/86.19 c RESTART 86.14/86.25 c RESTART 86.24/86.32 c RESTART 86.34/86.40 c RESTART 86.34/86.46 c RESTART 86.44/86.52 c RESTART 86.44/86.58 c RESTART 86.54/86.61 c RESTART 86.54/86.67 c RESTART 86.64/86.73 c RESTART 86.64/86.79 c RESTART 86.75/86.84 c RESTART 86.75/86.90 c RESTART 86.85/86.97 c RESTART 86.94/87.03 c RESTART 87.54/87.60 c RESTART 88.44/88.56 c RESTART 88.64/88.73 c RESTART 88.74/88.89 c RESTART 88.84/88.96 c RESTART 89.14/89.25 c RESTART 89.34/89.45 c RESTART 89.34/89.49 c RESTART 89.44/89.57 c RESTART 89.54/89.65 c RESTART 89.64/89.73 c RESTART 89.74/89.81 c RESTART 89.84/89.91 c RESTART 89.84/89.98 c RESTART 89.94/90.04 c RESTART 90.05/90.10 c RESTART 90.15/90.29 c RESTART 90.44/90.52 c RESTART 90.54/90.64 c RESTART 90.64/90.76 c RESTART 90.84/90.94 c RESTART 93.45/93.52 c RESTART 93.54/93.62 c RESTART 93.64/93.76 c RESTART 93.74/93.85 c RESTART 93.84/93.97 c RESTART 93.94/94.08 c RESTART 94.14/94.20 c RESTART 94.14/94.26 c RESTART 94.24/94.31 c RESTART 94.24/94.37 c RESTART 94.34/94.45 c RESTART 94.45/94.58 c RESTART 94.64/94.78 c RESTART 94.74/94.85 c RESTART 95.04/95.12 c RESTART 95.04/95.16 c RESTART 95.14/95.20 c RESTART 95.14/95.26 c RESTART 95.24/95.31 c RESTART 95.34/95.47 c RESTART 95.44/95.52 c RESTART 95.44/95.59 c RESTART 95.55/95.68 c RESTART 95.65/95.75 c RESTART 95.74/95.87 c RESTART 95.84/95.93 c RESTART 95.84/95.99 c RESTART 95.94/96.05 c RESTART 96.04/96.14 c RESTART 96.35/96.42 c RESTART 96.35/96.47 c RESTART 96.45/96.57 c RESTART 96.55/96.62 c RESTART 96.55/96.67 c RESTART 96.66/96.72 c RESTART 96.66/96.79 c RESTART 96.76/96.86 c RESTART 96.85/96.93 c RESTART 96.85/96.98 c RESTART 96.95/97.08 c RESTART 97.05/97.15 c RESTART 97.15/97.20 c RESTART 97.15/97.26 c RESTART 97.25/97.32 c RESTART 97.25/97.39 c RESTART 97.45/97.50 c RESTART 97.45/97.54 c RESTART 97.55/97.60 c RESTART 97.55/97.67 c RESTART 97.65/97.71 c RESTART 97.76/97.83 c RESTART 97.76/97.89 c RESTART 97.86/97.97 c RESTART 97.95/98.01 c RESTART 98.05/98.11 c RESTART 98.15/98.20 c RESTART 98.15/98.27 c RESTART 98.25/98.37 c RESTART 98.35/98.40 c RESTART 98.35/98.44 c RESTART 98.35/98.48 c RESTART 98.45/98.54 c RESTART 98.55/98.60 c RESTART 98.55/98.66 c RESTART 98.65/98.74 c RESTART 98.65/98.76 c RESTART 98.75/98.89 c RESTART 99.45/99.52 c RESTART 99.75/99.80 c RESTART 99.75/99.85 c RESTART 99.85/99.95 c RESTART 102.16/102.26 c RESTART 102.26/102.38 c RESTART 102.35/102.46 c RESTART 102.45/102.59 c RESTART 102.55/102.66 c RESTART 102.85/102.93 c RESTART 102.85/102.99 c RESTART 102.95/103.09 c RESTART 103.15/103.29 c RESTART 103.25/103.34 c RESTART 103.35/103.40 c RESTART 103.45/103.51 c RESTART 103.65/103.75 c RESTART 103.65/103.79 c RESTART 103.75/103.84 c RESTART 103.85/103.95 c RESTART 103.85/103.99 c RESTART 103.95/104.08 c RESTART 104.05/104.19 c RESTART 104.15/104.24 c RESTART 104.15/104.29 c RESTART 104.25/104.35 c RESTART 104.35/104.42 c RESTART 104.45/104.53 c RESTART 104.55/104.63 c RESTART 104.55/104.69 c RESTART 104.65/104.77 c RESTART 104.75/104.84 c RESTART 104.85/104.91 c RESTART 104.85/104.96 c RESTART 104.95/105.03 c RESTART 104.95/105.07 c RESTART 105.05/105.15 c RESTART 105.15/105.22 c RESTART 105.25/105.32 c RESTART 105.25/105.36 c RESTART 105.34/105.42 c RESTART 105.45/105.51 c RESTART 105.45/105.56 c RESTART 105.55/105.65 c RESTART 105.55/105.69 c RESTART 105.64/105.77 c RESTART 105.74/105.85 c RESTART 105.84/105.90 c RESTART 105.84/105.96 c RESTART 105.94/106.03 c RESTART 106.04/106.15 c RESTART 106.14/106.22 c RESTART 106.14/106.29 c RESTART 106.24/106.33 c RESTART 106.24/106.37 c RESTART 106.34/106.45 c RESTART 106.44/106.50 c RESTART 106.44/106.54 c RESTART 106.55/106.63 c RESTART 106.65/106.72 c RESTART 106.65/106.78 c RESTART 106.74/106.86 c RESTART 106.84/106.93 c RESTART 106.84/106.99 c RESTART 106.94/107.05 c RESTART 107.04/107.10 c RESTART 107.04/107.15 c RESTART 107.14/107.21 c RESTART 107.14/107.28 c RESTART 107.24/107.33 c RESTART 107.24/107.39 c RESTART 107.34/107.46 c RESTART 107.54/107.62 c RESTART 107.54/107.67 c RESTART 107.65/107.79 c RESTART 107.75/107.85 c RESTART 107.84/107.93 c RESTART 107.94/108.09 c RESTART 108.04/108.16 c RESTART 108.04/108.19 c RESTART 108.24/108.34 c RESTART 108.34/108.41 c RESTART 108.44/108.51 c RESTART 108.44/108.58 c RESTART 108.64/108.71 c RESTART 108.64/108.76 c RESTART 108.75/108.83 c RESTART 108.85/108.93 c RESTART 108.94/109.00 c RESTART 108.94/109.06 c RESTART 109.04/109.11 c RESTART 109.14/109.24 c RESTART 109.44/109.51 c RESTART 109.44/109.58 c RESTART 109.54/109.64 c RESTART 109.64/109.71 c RESTART 109.64/109.77 c RESTART 109.74/109.80 c RESTART 109.74/109.88 c RESTART 109.84/109.92 c RESTART 109.84/109.99 c RESTART 110.04/110.11 c RESTART 110.04/110.17 c RESTART 110.34/110.48 c RESTART 110.44/110.54 c RESTART 110.54/110.65 c RESTART 110.64/110.72 c RESTART 110.64/110.78 c RESTART 110.74/110.85 c RESTART 110.84/110.91 c RESTART 110.84/110.98 c RESTART 110.94/111.04 c RESTART 110.94/111.09 c RESTART 111.14/111.22 c RESTART 111.24/111.31 c RESTART 111.34/111.42 c RESTART 111.34/111.49 c RESTART 111.44/111.53 c RESTART 111.44/111.59 c RESTART 111.54/111.63 c RESTART 111.64/111.70 c RESTART 112.53/112.62 c RESTART 112.53/112.67 c RESTART 112.63/112.72 c RESTART 112.83/112.90 c RESTART 112.83/112.96 c RESTART 112.94/113.00 c RESTART 112.94/113.08 c RESTART 113.04/113.15 c RESTART 113.34/113.49 c RESTART 113.54/113.68 c RESTART 113.63/113.77 c RESTART 113.73/113.85 c RESTART 113.83/113.92 c RESTART 113.83/113.96 c RESTART 113.83/113.99 c RESTART 113.93/114.04 c RESTART 114.03/114.10 c RESTART 114.03/114.14 c RESTART 114.13/114.21 c RESTART 114.13/114.25 c RESTART 114.24/114.30 c RESTART 114.24/114.35 c RESTART 115.44/115.52 c RESTART 115.73/115.89 c RESTART 115.83/115.93 c RESTART 116.23/116.38 c RESTART 116.33/116.44 c RESTART 116.44/116.54 c RESTART 116.54/116.61 c RESTART 116.54/116.68 c RESTART 116.63/116.72 c RESTART 116.63/116.79 c RESTART 116.73/116.85 c RESTART 116.73/116.89 c RESTART 116.83/116.97 c RESTART 116.93/117.07 c RESTART 117.03/117.12 c RESTART 117.03/117.19 c RESTART 117.13/117.27 c RESTART 117.23/117.34 c RESTART 117.23/117.37 c RESTART 117.33/117.45 c RESTART 118.13/118.28 c RESTART 118.23/118.32 c RESTART 118.23/118.37 c RESTART 118.33/118.44 c RESTART 118.43/118.54 c RESTART 118.53/118.64 c RESTART 118.53/118.69 c RESTART 118.93/119.02 c RESTART 119.03/119.11 c RESTART 119.13/119.20 c RESTART 119.13/119.28 c RESTART 119.23/119.32 c RESTART 119.33/119.41 c RESTART 119.33/119.45 c RESTART 119.43/119.51 c RESTART 119.43/119.59 c RESTART 120.53/120.69 c RESTART 120.63/120.78 c RESTART 120.73/120.84 c RESTART 120.84/120.91 c RESTART 120.84/120.95 c RESTART 120.94/121.03 c RESTART 121.03/121.15 c RESTART 121.03/121.19 c RESTART 121.13/121.26 c RESTART 121.23/121.33 c RESTART 121.23/121.39 c RESTART 121.33/121.45 c RESTART 121.43/121.51 c RESTART 121.43/121.57 c RESTART 121.53/121.64 c RESTART 121.63/121.72 c RESTART 121.63/121.79 c RESTART 121.73/121.87 c RESTART 121.83/121.99 c RESTART 121.94/122.06 c RESTART 122.04/122.13 c RESTART 122.13/122.24 c RESTART 122.23/122.30 c RESTART 122.23/122.36 c RESTART 122.33/122.46 c RESTART 122.43/122.56 c RESTART 122.53/122.65 c RESTART 122.63/122.71 c RESTART 122.63/122.78 c RESTART 122.73/122.84 c RESTART 122.83/122.94 c RESTART 122.93/123.00 c RESTART 122.93/123.09 c RESTART 123.04/123.13 c RESTART 123.04/123.19 c RESTART 123.14/123.24 c RESTART 123.23/123.30 c RESTART 123.23/123.37 c RESTART 123.33/123.47 c RESTART 123.43/123.59 c RESTART 123.53/123.66 c RESTART 123.63/123.74 c RESTART 123.73/123.82 c RESTART 123.73/123.90 c RESTART 123.83/123.97 c RESTART 124.03/124.18 c RESTART 124.14/124.25 c RESTART 124.24/124.37 c RESTART 124.33/124.49 c RESTART 124.43/124.53 c RESTART 124.53/124.64 c RESTART 124.63/124.71 c RESTART 124.63/124.77 c RESTART 124.73/124.82 c RESTART 124.73/124.88 c RESTART 124.83/124.93 c RESTART 124.93/125.00 c RESTART 124.93/125.09 c RESTART 125.13/125.22 c RESTART 125.23/125.33 c RESTART 126.33/126.48 c RESTART 126.43/126.55 c RESTART 126.53/126.66 c RESTART 126.63/126.78 c RESTART 126.73/126.82 c RESTART 126.83/126.95 c RESTART 126.93/127.03 c RESTART 127.03/127.11 c RESTART 127.13/127.21 c RESTART 127.23/127.31 c RESTART 127.33/127.42 c RESTART 127.33/127.47 c RESTART 127.43/127.53 c RESTART 127.43/127.59 c RESTART 127.53/127.66 c RESTART 127.63/127.71 c RESTART 127.63/127.78 c RESTART 127.83/127.90 c RESTART 127.83/127.95 c RESTART 128.03/128.10 c RESTART 128.13/128.20 c RESTART 128.33/128.43 c RESTART 128.33/128.49 c RESTART 128.43/128.55 c RESTART 128.53/128.61 c RESTART 128.83/128.92 c RESTART 128.93/129.05 c RESTART 131.83/131.92 c RESTART 132.23/132.40 c RESTART 134.73/134.80 c RESTART 134.73/134.88 c RESTART 134.83/134.99 c RESTART 134.93/135.06 c RESTART 135.14/135.20 c RESTART 135.24/135.35 c RESTART 135.33/135.45 c RESTART 135.43/135.54 c RESTART 135.53/135.61 c RESTART 135.63/135.73 c RESTART 135.73/135.80 c RESTART 135.73/135.87 c RESTART 135.83/135.92 c RESTART 135.83/135.98 c RESTART 135.93/136.03 c RESTART 136.03/136.12 c RESTART 136.33/136.47 c RESTART 136.53/136.60 c RESTART 136.53/136.67 c RESTART 136.63/136.76 c RESTART 136.73/136.81 c RESTART 136.73/136.87 c RESTART 136.83/136.93 c RESTART 136.83/136.99 c RESTART 136.93/137.08 c RESTART 137.03/137.15 c RESTART 137.13/137.21 c RESTART 137.13/137.29 c RESTART 137.23/137.37 c RESTART 137.33/137.44 c RESTART 137.43/137.57 c RESTART 137.53/137.65 c RESTART 137.63/137.72 c RESTART 137.73/137.84 c RESTART 137.83/137.91 c RESTART 137.83/137.99 c RESTART 137.93/138.04 c RESTART 138.03/138.15 c RESTART 138.93/139.08 c RESTART 140.43/140.59 c RESTART 140.53/140.66 c RESTART 140.63/140.77 c RESTART 140.73/140.82 c RESTART 140.73/140.87 c RESTART 141.03/141.17 c RESTART 141.23/141.33 c RESTART 141.33/141.43 c RESTART 141.33/141.49 c RESTART 141.43/141.52 c RESTART 141.43/141.58 c RESTART 141.53/141.67 c RESTART 141.63/141.79 c RESTART 141.83/141.95 c RESTART 141.93/142.06 c RESTART 142.03/142.13 c RESTART 142.13/142.22 c RESTART 142.23/142.31 c RESTART 142.23/142.37 c RESTART 142.33/142.44 c RESTART 142.43/142.50 c RESTART 142.43/142.54 c RESTART 142.63/142.73 c RESTART 142.83/142.91 c RESTART 142.83/142.98 c RESTART 143.23/143.34 c RESTART 143.23/143.39 c RESTART 143.33/143.45 c RESTART 143.43/143.55 c RESTART 143.53/143.62 c RESTART 143.63/143.70 c RESTART 143.73/143.80 c RESTART 143.73/143.88 c RESTART 144.73/144.89 c RESTART 145.33/145.40 c RESTART 145.33/145.47 c RESTART 145.43/145.55 c RESTART 145.52/145.62 c RESTART 145.62/145.75 c RESTART 145.73/145.83 c RESTART 145.73/145.89 c RESTART 145.83/145.96 c RESTART 145.93/146.05 c RESTART 146.03/146.14 c RESTART 146.13/146.29 c RESTART 146.23/146.35 c RESTART 146.33/146.40 c RESTART 146.33/146.45 c RESTART 146.43/146.56 c RESTART 146.52/146.61 c RESTART 146.52/146.65 c RESTART 146.62/146.73 c RESTART 146.72/146.87 c RESTART 146.82/146.94 c RESTART 146.92/147.02 c RESTART 146.92/147.06 c RESTART 147.02/147.12 c RESTART 147.02/147.18 c RESTART 147.12/147.25 c RESTART 147.23/147.32 c RESTART 147.23/147.37 c RESTART 147.33/147.42 c RESTART 147.33/147.48 c RESTART 147.42/147.52 c RESTART 147.42/147.57 c RESTART 147.52/147.67 c RESTART 147.62/147.72 c RESTART 147.62/147.75 c RESTART 147.72/147.80 c RESTART 147.72/147.84 c RESTART 147.72/147.89 c RESTART 147.82/147.96 c RESTART 147.92/148.06 c RESTART 148.02/148.14 c RESTART 148.12/148.20 c RESTART 148.72/148.86 c RESTART 149.32/149.45 c RESTART 149.43/149.51 c RESTART 149.43/149.59 c RESTART 149.72/149.81 c RESTART 149.72/149.88 c RESTART 149.82/149.93 c RESTART 149.82/149.99 c RESTART 149.92/150.06 c RESTART 150.12/150.26 c RESTART 150.22/150.33 c RESTART 150.42/150.52 c RESTART 150.63/150.74 c RESTART 150.72/150.82 c RESTART 231.82/231.91 c RESTART 231.82/231.96 c RESTART 231.93/232.08 c RESTART 233.33/233.43 c RESTART 233.33/233.49 c RESTART 233.43/233.57 c RESTART 233.53/233.62 c RESTART 233.53/233.68 c RESTART 233.63/233.71 c RESTART 233.63/233.78 c RESTART 233.73/233.87 c RESTART 233.83/233.91 c RESTART 233.83/233.96 c RESTART 233.93/234.02 c RESTART 234.03/234.13 c RESTART 234.13/234.24 c RESTART 234.23/234.31 c RESTART 234.32/234.43 c RESTART 238.12/238.28 c RESTART 238.22/238.33 c RESTART 238.32/238.48 c RESTART 238.53/238.63 c RESTART 238.72/238.89 c RESTART 238.82/238.96 c RESTART 239.02/239.11 c RESTART 239.02/239.19 c RESTART 239.12/239.28 c RESTART 239.22/239.35 c RESTART 239.32/239.43 c RESTART 239.42/239.52 c RESTART 239.42/239.57 c RESTART 239.52/239.66 c RESTART 239.63/239.78 c RESTART 239.73/239.88 c RESTART 239.82/239.97 c RESTART 239.92/240.06 c RESTART 239.92/240.09 c RESTART 240.12/240.21 c RESTART 240.12/240.26 c RESTART 241.32/241.46 c RESTART 241.62/241.79 c RESTART 241.93/242.04 c RESTART 242.02/242.14 c RESTART 242.12/242.22 c RESTART 242.12/242.28 c RESTART 242.22/242.34 c RESTART 242.32/242.44 c RESTART 242.42/242.51 c RESTART 242.42/242.58 c RESTART 242.52/242.64 c RESTART 242.62/242.73 c RESTART 242.72/242.82 c RESTART 242.72/242.86 c RESTART 242.82/242.96 c RESTART 242.93/243.04 c RESTART 243.03/243.12 c RESTART 243.03/243.17 c RESTART 243.12/243.21 c RESTART 243.12/243.28 c RESTART 243.22/243.35 c RESTART 243.32/243.43 c RESTART 243.32/243.49 c RESTART 243.42/243.58 c RESTART 243.62/243.72 c RESTART 243.62/243.79 c RESTART 243.82/243.91 c RESTART 243.82/243.96 c RESTART 243.92/244.01 c RESTART 243.92/244.09 c RESTART 244.13/244.21 c RESTART 244.13/244.26 c RESTART 244.22/244.32 c RESTART 244.22/244.36 c RESTART 244.32/244.42 c RESTART 244.32/244.49 c RESTART 244.42/244.53 c RESTART 244.52/244.61 c RESTART 244.52/244.67 c RESTART 244.62/244.71 c RESTART 244.62/244.77 c RESTART 244.72/244.88 c RESTART 245.52/245.60 c RESTART 245.52/245.65 c RESTART 245.62/245.72 c RESTART 245.62/245.77 c RESTART 245.72/245.82 c RESTART 245.72/245.89 c RESTART 245.82/245.99 c RESTART 245.92/246.08 c RESTART 246.03/246.15 c RESTART 246.13/246.21 c RESTART 246.23/246.32 c RESTART 246.33/246.45 c RESTART 246.43/246.52 c RESTART 246.43/246.58 c RESTART 246.53/246.63 c RESTART 246.53/246.69 c RESTART 246.63/246.74 c RESTART 246.73/246.82 c RESTART 246.83/246.96 c RESTART 246.93/247.01 c RESTART 246.93/247.08 c RESTART 247.02/247.14 c RESTART 247.12/247.23 c RESTART 247.12/247.28 c RESTART 247.22/247.37 c RESTART 247.33/247.41 c RESTART 247.52/247.61 c RESTART 247.62/247.70 c RESTART 247.72/247.89 c RESTART 247.82/247.95 c RESTART 247.92/248.01 c RESTART 248.02/248.12 c RESTART 248.12/248.21 c RESTART 248.12/248.29 c RESTART 248.22/248.38 c RESTART 248.32/248.44 c RESTART 248.32/248.48 c RESTART 248.43/248.54 c RESTART 248.43/248.60 c RESTART 248.53/248.66 c RESTART 248.62/248.73 c RESTART 248.62/248.79 c RESTART 248.72/248.86 c RESTART 248.82/248.92 c RESTART 248.92/249.02 c RESTART 249.02/249.10 c RESTART 249.12/249.20 c RESTART 249.12/249.26 c RESTART 249.22/249.33 c RESTART 249.32/249.41 c RESTART 249.32/249.46 c RESTART 249.42/249.53 c RESTART 249.42/249.60 c RESTART 249.53/249.64 c RESTART 249.53/249.68 c RESTART 249.63/249.77 c RESTART 249.72/249.83 c RESTART 249.82/249.91 c RESTART 249.82/250.00 c RESTART 249.92/250.05 c RESTART 250.02/250.16 c RESTART 250.12/250.24 c RESTART 250.32/250.41 c RESTART 250.32/250.48 c RESTART 250.42/250.58 c RESTART 250.52/250.66 c RESTART 250.63/250.73 c RESTART 250.63/250.76 c RESTART 250.63/250.79 c RESTART 250.73/250.86 c RESTART 250.82/250.99 c RESTART 250.92/251.04 c RESTART 250.92/251.09 c RESTART 251.02/251.16 c RESTART 251.32/251.49 c RESTART 251.42/251.59 c RESTART 251.52/251.64 c RESTART 251.62/251.72 c RESTART 251.62/251.79 c RESTART 251.73/251.84 c RESTART 251.73/251.90 c RESTART 251.92/252.00 c RESTART 252.12/252.24 c RESTART 252.12/252.29 c RESTART 252.42/252.58 c RESTART 252.62/252.74 c RESTART 253.32/253.45 c RESTART 253.42/253.51 c RESTART 253.42/253.59 c RESTART 253.62/253.72 c RESTART 253.72/253.82 c RESTART 253.72/253.89 c RESTART 253.82/253.99 c RESTART 254.12/254.25 c RESTART 254.22/254.34 c RESTART 254.22/254.39 c RESTART 254.32/254.42 c RESTART 254.42/254.51 c RESTART 254.42/254.58 c RESTART 254.52/254.67 c RESTART 254.62/254.73 c RESTART 254.72/254.81 c RESTART 254.72/254.87 c RESTART 254.82/254.93 c RESTART 254.92/255.04 c RESTART 255.03/255.10 c RESTART 255.13/255.23 c RESTART 255.22/255.34 c RESTART 255.32/255.40 c RESTART 255.32/255.47 c RESTART 255.42/255.55 c RESTART 255.52/255.62 c RESTART 255.52/255.68 c RESTART 255.62/255.76 c RESTART 255.72/255.85 c RESTART 255.82/255.90 c RESTART 255.92/256.01 c RESTART 255.92/256.05 c RESTART 256.02/256.11 c RESTART 256.02/256.19 c RESTART 256.13/256.25 c RESTART 256.23/256.32 c RESTART 256.32/256.40 c RESTART 256.32/256.49 c RESTART 256.42/256.58 c RESTART 256.52/256.67 c RESTART 256.62/256.72 c RESTART 256.62/256.79 c RESTART 256.72/256.85 c RESTART 256.82/256.92 c RESTART 256.82/256.99 c RESTART 256.92/257.06 c RESTART 257.02/257.15 c RESTART 257.12/257.22 c RESTART 257.22/257.32 c RESTART 257.32/257.44 c RESTART 257.32/257.48 c RESTART 257.42/257.54 c RESTART 257.52/257.60 c RESTART 257.52/257.67 c RESTART 257.62/257.75 c RESTART 257.72/257.87 c RESTART 257.82/257.94 c RESTART 257.92/258.00 c RESTART 258.12/258.22 c RESTART 258.12/258.28 c RESTART 258.22/258.36 c RESTART 258.32/258.42 c RESTART 258.32/258.49 c RESTART 258.42/258.58 c RESTART 258.52/258.66 c RESTART 258.62/258.74 c RESTART 258.82/258.98 c RESTART 260.02/260.18 c RESTART 260.12/260.24 c RESTART 260.22/260.30 c RESTART 260.22/260.36 c RESTART 260.32/260.43 c RESTART 260.42/260.51 c RESTART 260.82/260.93 c RESTART 260.82/260.99 c RESTART 260.92/261.06 c RESTART 261.02/261.11 c RESTART 261.02/261.15 c RESTART 261.32/261.46 c RESTART 261.42/261.58 c RESTART 261.52/261.63 c RESTART 261.52/261.70 c RESTART 261.62/261.77 c RESTART 261.72/261.83 c RESTART 261.82/261.90 c RESTART 261.92/262.01 c RESTART 261.92/262.09 c RESTART 262.02/262.18 c RESTART 262.12/262.25 c RESTART 262.22/262.30 c RESTART 262.62/262.72 c RESTART 262.72/262.81 c RESTART 262.82/262.92 c RESTART 262.82/262.98 c RESTART 263.02/263.11 c RESTART 263.02/263.19 c RESTART 263.12/263.29 c RESTART 263.22/263.37 c RESTART 263.32/263.45 c RESTART 263.42/263.50 c RESTART 263.42/263.53 c RESTART 263.52/263.65 c RESTART 263.72/263.83 c RESTART 263.82/263.94 c RESTART 264.02/264.11 c RESTART 264.42/264.59 c RESTART 264.62/264.71 c RESTART 264.62/264.79 c RESTART 264.82/264.94 c RESTART 264.82/264.99 c RESTART 264.92/265.06 c RESTART 265.02/265.19 c RESTART 265.12/265.24 c RESTART 265.21/265.32 c RESTART 265.21/265.37 c RESTART 265.31/265.44 c RESTART 265.41/265.53 c RESTART 265.51/265.61 c RESTART 265.51/265.68 c RESTART 265.61/265.75 c RESTART 265.71/265.82 c RESTART 266.21/266.34 c RESTART 266.21/266.39 c RESTART 266.31/266.47 c RESTART 266.41/266.55 c RESTART 267.71/267.86 c RESTART 267.81/267.96 c RESTART 268.11/268.20 c RESTART 268.32/268.48 c RESTART 268.41/268.57 c RESTART 268.51/268.68 c RESTART 268.61/268.74 c RESTART 268.71/268.86 c RESTART 268.81/268.95 c RESTART 268.91/269.03 c RESTART 269.01/269.10 c RESTART 269.11/269.21 c RESTART 269.21/269.32 c RESTART 269.21/269.38 c RESTART 269.32/269.49 c RESTART 269.42/269.58 c RESTART 269.61/269.73 c RESTART 269.71/269.80 c RESTART 269.71/269.88 c RESTART 269.81/269.98 c RESTART 269.91/270.05 c RESTART 270.01/270.11 c RESTART 270.11/270.22 c RESTART 270.21/270.32 c RESTART 270.31/270.44 c RESTART 270.42/270.55 c RESTART 270.52/270.64 c RESTART 270.61/270.77 c RESTART 270.71/270.83 c RESTART 270.91/271.01 c RESTART 270.91/271.09 c RESTART 271.01/271.18 c RESTART 271.11/271.21 c RESTART 271.11/271.27 c RESTART 271.21/271.36 c RESTART 271.31/271.41 c RESTART 271.41/271.50 c RESTART 271.52/271.61 c RESTART 271.52/271.67 c RESTART 271.62/271.75 c RESTART 271.71/271.82 c RESTART 271.81/271.91 c RESTART 271.81/271.98 c RESTART 271.91/272.05 c RESTART 272.21/272.34 c RESTART 272.21/272.40 c RESTART 272.72/272.81 c RESTART 272.81/272.92 c RESTART 272.91/273.05 c RESTART 273.01/273.13 c RESTART 273.11/273.24 c RESTART 273.21/273.31 c RESTART 273.31/273.41 c RESTART 273.41/273.51 c RESTART 273.51/273.63 c RESTART 273.61/273.77 c RESTART 274.41/274.58 c RESTART 274.61/274.72 c RESTART 274.71/274.83 c RESTART 274.82/274.91 c RESTART 274.82/274.96 c RESTART 274.82/274.99 c RESTART 274.92/275.04 c RESTART 274.92/275.08 c RESTART 275.01/275.16 c RESTART 275.11/275.27 c RESTART 275.21/275.33 c RESTART 275.31/275.47 c RESTART 275.41/275.51 c RESTART 275.41/275.56 c RESTART 275.51/275.60 c RESTART 275.51/275.67 c RESTART 275.61/275.72 c RESTART 275.61/275.77 c RESTART 275.71/275.85 c RESTART 275.81/275.90 c RESTART 275.81/275.97 c RESTART 276.02/276.12 c RESTART 276.02/276.18 c RESTART 276.11/276.27 c RESTART 276.21/276.35 c RESTART 276.41/276.50 c RESTART 276.41/276.57 c RESTART 276.51/276.66 c RESTART 276.61/276.74 c RESTART 276.61/276.78 c RESTART 276.71/276.86 c RESTART 276.81/276.92 c RESTART 276.91/277.03 c RESTART 276.91/277.06 c RESTART 277.02/277.17 c RESTART 277.12/277.29 c RESTART 277.21/277.37 c RESTART 277.31/277.43 c RESTART 277.41/277.58 c RESTART 277.51/277.67 c RESTART 277.71/277.81 c RESTART 277.91/278.07 c RESTART 278.01/278.20 c RESTART 278.22/278.32 c RESTART 278.22/278.38 c RESTART 278.31/278.49 c RESTART 278.41/278.58 c RESTART 278.61/278.71 c RESTART 278.71/278.80 c RESTART 278.71/278.88 c RESTART 278.81/278.95 c RESTART 278.91/279.00 c RESTART 279.41/279.59 c RESTART 279.61/279.74 c RESTART 279.71/279.80 c RESTART 279.71/279.86 c RESTART 280.11/280.21 c RESTART 280.21/280.32 c RESTART 280.21/280.38 c RESTART 280.42/280.52 c RESTART 280.51/280.61 c RESTART 280.51/280.68 c RESTART 280.61/280.73 c RESTART 280.61/280.79 c RESTART 280.71/280.85 c RESTART 280.81/280.97 c RESTART 280.91/281.03 c RESTART 280.91/281.09 c RESTART 281.01/281.16 c RESTART 281.11/281.28 c RESTART 281.21/281.38 c RESTART 281.31/281.44 c RESTART 281.42/281.55 c RESTART 281.52/281.64 c RESTART 281.52/281.69 c RESTART 281.61/281.74 c RESTART 281.71/281.80 c RESTART 281.71/281.86 c RESTART 281.81/281.94 c RESTART 281.81/281.99 c RESTART 281.91/282.07 c RESTART 282.01/282.14 c RESTART 282.11/282.20 c RESTART 282.21/282.30 c RESTART 282.31/282.42 c RESTART 282.41/282.52 c RESTART 282.41/282.60 c RESTART 282.62/282.73 c RESTART 282.71/282.83 c RESTART 282.71/282.89 c RESTART 282.81/282.94 c RESTART 282.91/283.01 c RESTART 282.91/283.06 c RESTART 282.91/283.10 c RESTART 283.01/283.18 c RESTART 283.11/283.28 c RESTART 283.21/283.33 c RESTART 283.31/283.43 c RESTART 283.41/283.51 c RESTART 283.41/283.59 c RESTART 283.51/283.63 c RESTART 283.51/283.69 c RESTART 283.61/283.76 c RESTART 283.71/283.83 c RESTART 283.71/283.89 c RESTART 283.81/283.92 c RESTART 283.81/283.99 c RESTART 283.91/284.04 c RESTART 284.01/284.13 c RESTART 284.11/284.23 c RESTART 284.21/284.35 c RESTART 284.31/284.43 c RESTART 284.41/284.50 c RESTART 284.51/284.61 c RESTART 284.51/284.67 c RESTART 284.61/284.74 c RESTART 284.61/284.79 c RESTART 284.71/284.84 c RESTART 284.71/284.89 c RESTART 284.81/284.94 c RESTART 284.81/284.99 c RESTART 285.01/285.12 c RESTART 285.21/285.37 c RESTART 285.31/285.42 c RESTART 285.31/285.49 c RESTART 300.61/300.79 c RESTART 301.11/301.25 c RESTART 301.21/301.31 c RESTART 301.31/301.44 c RESTART 301.41/301.57 c RESTART 301.51/301.62 c RESTART 301.61/301.74 c RESTART 301.71/301.84 c RESTART 301.81/301.90 c RESTART 302.01/302.11 c RESTART 302.11/302.20 c RESTART 302.11/302.25 c RESTART 302.21/302.37 c RESTART 302.31/302.49 c RESTART 302.41/302.56 c RESTART 302.51/302.67 c RESTART 302.61/302.77 c RESTART 302.71/302.86 c RESTART 310.31/310.46 c RESTART 310.41/310.57 c RESTART 310.51/310.63 c RESTART 310.51/310.66 c RESTART 310.61/310.79 c RESTART 310.71/310.86 c RESTART 310.81/310.95 c RESTART 310.91/311.00 c RESTART 310.91/311.05 c RESTART 311.01/311.18 c RESTART 311.31/311.42 c RESTART 311.41/311.50 c RESTART 311.51/311.61 c RESTART 311.61/311.72 c RESTART 311.91/312.09 c RESTART 312.01/312.17 c RESTART 312.11/312.24 c RESTART 312.21/312.33 c RESTART 312.21/312.40 c RESTART 312.31/312.48 c RESTART 312.41/312.56 c RESTART 312.51/312.65 c RESTART 312.61/312.75 c RESTART 312.71/312.83 c RESTART 312.71/312.89 c RESTART 312.91/313.00 c RESTART 312.91/313.05 c RESTART 313.01/313.12 c RESTART 313.01/313.17 c RESTART 313.11/313.22 c RESTART 313.11/313.26 c RESTART 313.41/313.56 c RESTART 313.51/313.62 c RESTART 313.71/313.89 c RESTART 313.81/313.95 c RESTART 313.91/314.07 c RESTART 314.01/314.16 c RESTART 314.11/314.23 c RESTART 314.21/314.35 c RESTART 314.41/314.59 c RESTART 314.51/314.67 c RESTART 314.61/314.76 c RESTART 315.21/315.39 c RESTART 317.61/317.78 c RESTART 317.71/317.85 c RESTART 318.01/318.15 c RESTART 318.11/318.22 c RESTART 318.21/318.33 c RESTART 318.41/318.50 c RESTART 318.41/318.58 c RESTART 318.51/318.65 c RESTART 318.61/318.71 c RESTART 318.61/318.78 c RESTART 318.71/318.88 c RESTART 318.81/318.97 c RESTART 318.91/319.05 c RESTART 319.01/319.12 c RESTART 319.11/319.23 c RESTART 319.11/319.29 c RESTART 319.21/319.36 c RESTART 319.31/319.42 c RESTART 319.41/319.50 c RESTART 319.41/319.56 c RESTART 319.51/319.61 c RESTART 319.51/319.66 c RESTART 319.61/319.73 c RESTART 319.61/319.79 c RESTART 319.71/319.84 c RESTART 319.71/319.88 c RESTART 319.81/319.92 c RESTART 319.81/319.99 c RESTART 319.91/320.06 c RESTART 320.01/320.11 c RESTART 320.10/320.29 c RESTART 320.20/320.33 c RESTART 320.30/320.40 c RESTART 320.30/320.47 c RESTART 320.40/320.53 c RESTART 320.50/320.61 c RESTART 320.60/320.72 c RESTART 320.60/320.76 c RESTART 320.70/320.84 c RESTART 320.70/320.87 c RESTART 320.80/320.94 c RESTART 320.90/321.01 c RESTART 320.90/321.09 c RESTART 321.01/321.15 c RESTART 321.01/321.20 c RESTART 331.80/331.96 c RESTART 332.01/332.10 c RESTART 332.11/332.23 c RESTART 332.20/332.31 c RESTART 334.80/334.93 c RESTART 335.41/335.57 c RESTART 335.50/335.66 c RESTART 335.60/335.77 c RESTART 335.70/335.83 c RESTART 335.80/335.91 c RESTART 335.90/336.01 c RESTART 336.00/336.13 c RESTART 336.00/336.16 c RESTART 336.10/336.25 c RESTART 336.20/336.31 c RESTART 336.30/336.40 c RESTART 336.90/337.04 c RESTART 337.00/337.13 c RESTART 337.10/337.23 c RESTART 337.20/337.30 c RESTART 337.20/337.34 c RESTART 337.30/337.49 c RESTART 337.40/337.57 c RESTART 337.50/337.64 c RESTART 337.50/337.70 c RESTART 337.60/337.78 c RESTART 337.80/337.96 c RESTART 337.90/338.09 c RESTART 338.10/338.20 c RESTART 338.10/338.27 c RESTART 338.30/338.41 c RESTART 338.30/338.49 c RESTART 338.40/338.55 c RESTART 338.50/338.60 c RESTART 338.70/338.86 c RESTART 338.90/339.01 c RESTART 340.20/340.32 c RESTART 340.40/340.52 c RESTART 340.50/340.60 c RESTART 340.50/340.68 c RESTART 340.60/340.77 c RESTART 340.90/341.07 c RESTART 341.10/341.24 c RESTART 341.30/341.44 c RESTART 341.40/341.53 c RESTART 341.50/341.61 c RESTART 341.60/341.73 c RESTART 341.70/341.81 c RESTART 341.70/341.89 c RESTART 341.80/341.95 c RESTART 341.90/342.05 c RESTART 342.00/342.14 c RESTART 342.10/342.21 c RESTART 342.10/342.25 c RESTART 342.20/342.35 c RESTART 343.50/343.67 c RESTART 343.70/343.84 c RESTART 343.70/343.88 c RESTART 343.90/344.09 c RESTART 344.00/344.17 c RESTART 344.10/344.27 c RESTART 344.20/344.34 c RESTART 344.40/344.57 c RESTART 345.00/345.11 c RESTART 345.00/345.15 c RESTART 345.10/345.28 c RESTART 345.20/345.35 c RESTART 345.30/345.46 c RESTART 345.40/345.56 c RESTART 345.50/345.60 c RESTART 345.60/345.71 c RESTART 345.70/345.82 c RESTART 345.80/345.92 c RESTART 345.90/346.02 c RESTART 346.00/346.16 c RESTART 346.09/346.23 c RESTART 346.30/346.43 c RESTART 346.40/346.54 c RESTART 346.79/346.94 c RESTART 346.89/347.07 c RESTART 346.99/347.13 c RESTART 347.09/347.21 c RESTART 347.19/347.30 c RESTART 347.19/347.39 c RESTART 347.40/347.56 c RESTART 347.50/347.69 c RESTART 347.69/347.80 c RESTART 347.69/347.87 c RESTART 347.79/347.93 c RESTART 347.79/347.99 c RESTART 347.89/348.08 c RESTART 347.99/348.14 c RESTART 347.99/348.19 c RESTART 348.29/348.40 c RESTART 348.39/348.52 c RESTART 348.50/348.69 c RESTART 348.60/348.79 c RESTART 348.69/348.88 c RESTART 348.79/348.96 c RESTART 348.89/349.04 c RESTART 348.99/349.15 c RESTART 349.09/349.22 c RESTART 349.09/349.27 c RESTART 349.19/349.34 c RESTART 349.19/349.38 c RESTART 349.29/349.45 c RESTART 349.39/349.52 c RESTART 349.39/349.58 c RESTART 349.49/349.64 c RESTART 349.60/349.73 c RESTART 349.70/349.83 c RESTART 349.70/349.87 c RESTART 349.79/349.98 c RESTART 349.99/350.10 c RESTART 349.99/350.13 c RESTART 350.09/350.24 c RESTART 350.19/350.30 c RESTART 350.29/350.44 c RESTART 350.39/350.54 c RESTART 350.49/350.65 c RESTART 350.59/350.73 c RESTART 350.70/350.84 c RESTART 350.80/350.94 c RESTART 350.89/351.05 c RESTART 350.99/351.11 c RESTART 350.99/351.15 c RESTART 351.09/351.25 c RESTART 351.19/351.39 c RESTART 351.39/351.50 c RESTART 351.49/351.62 c RESTART 351.49/351.66 c RESTART 351.59/351.79 c RESTART 351.69/351.87 c RESTART 351.80/351.98 c RESTART 351.90/352.05 c RESTART 351.99/352.11 c RESTART 351.99/352.18 c RESTART 352.09/352.25 c RESTART 352.19/352.32 c RESTART 352.19/352.39 c RESTART 352.40/352.52 c RESTART 352.40/352.56 c RESTART 352.50/352.62 c RESTART 352.50/352.67 c RESTART 352.60/352.72 c RESTART 352.60/352.77 c RESTART 352.70/352.82 c RESTART 352.70/352.88 c RESTART 352.80/352.92 c RESTART 352.80/352.97 c RESTART 352.90/353.02 c RESTART 352.90/353.09 c RESTART 353.00/353.16 c RESTART 353.10/353.25 c RESTART 353.20/353.32 c RESTART 353.20/353.37 c RESTART 353.30/353.44 c RESTART 353.30/353.49 c RESTART 353.40/353.57 c RESTART 353.50/353.62 c RESTART 353.50/353.65 c RESTART 353.60/353.75 c RESTART 353.70/353.86 c RESTART 353.80/353.93 c RESTART 353.80/353.97 c RESTART 353.90/354.05 c RESTART 354.00/354.12 c RESTART 354.10/354.28 c RESTART 354.20/354.39 c RESTART 354.30/354.45 c RESTART 354.40/354.54 c RESTART 354.50/354.61 c RESTART 354.60/354.70 c RESTART 354.60/354.80 c RESTART 354.70/354.85 c RESTART 354.80/354.91 c RESTART 354.80/354.97 c RESTART 354.90/355.05 c RESTART 355.00/355.10 c RESTART 355.10/355.21 c RESTART 355.10/355.27 c RESTART 355.20/355.33 c RESTART 355.20/355.39 c RESTART 355.30/355.43 c RESTART 355.30/355.48 c RESTART 355.40/355.54 c RESTART 355.50/355.62 c RESTART 356.20/356.34 c RESTART 356.20/356.39 c RESTART 356.40/356.58 c RESTART 356.50/356.62 c RESTART 356.60/356.78 c RESTART 356.80/356.91 c RESTART 356.90/357.09 c RESTART 357.10/357.24 c RESTART 357.10/357.29 c RESTART 357.20/357.37 c RESTART 357.30/357.45 c RESTART 357.40/357.54 c RESTART 357.50/357.61 c RESTART 357.60/357.71 c RESTART 357.60/357.74 c RESTART 357.70/357.80 c RESTART 357.70/357.86 c RESTART 357.80/357.91 c RESTART 357.80/357.98 c RESTART 357.90/358.05 c RESTART 358.00/358.11 c RESTART 358.00/358.17 c RESTART 358.10/358.23 c RESTART 358.10/358.27 c RESTART 358.20/358.32 c RESTART 358.30/358.42 c RESTART 358.40/358.51 c RESTART 358.50/358.69 c RESTART 358.60/358.78 c RESTART 358.70/358.84 c RESTART 359.00/359.18 c RESTART 359.10/359.26 c RESTART 359.20/359.32 c RESTART 359.20/359.36 c RESTART 359.30/359.42 c RESTART 359.30/359.48 c RESTART 359.40/359.53 c RESTART 359.40/359.60 c RESTART 359.50/359.65 c RESTART 359.60/359.72 c RESTART 359.70/359.84 c RESTART 359.80/359.90 c RESTART 359.80/359.97 c RESTART 359.90/360.05 c RESTART 359.90/360.09 c RESTART 360.00/360.14 c RESTART 360.10/360.25 c RESTART 360.20/360.35 c RESTART 360.30/360.42 c RESTART 360.40/360.52 c RESTART 360.40/360.59 c RESTART 360.50/360.64 c RESTART 360.60/360.73 c RESTART 360.70/360.84 c RESTART 360.80/360.94 c RESTART 360.90/361.09 c RESTART 361.00/361.16 c RESTART 361.10/361.28 c RESTART 361.20/361.37 c RESTART 361.30/361.44 c RESTART 361.30/361.49 c RESTART 361.40/361.54 c RESTART 361.40/361.57 c RESTART 361.50/361.61 c RESTART 361.50/361.69 c RESTART 361.60/361.80 c RESTART 361.70/361.89 c RESTART 361.80/361.99 c RESTART 361.90/362.09 c RESTART 361.99/362.19 c RESTART 362.09/362.26 c RESTART 362.19/362.32 c RESTART 362.19/362.39 c RESTART 362.29/362.45 c RESTART 362.39/362.50 c RESTART 362.39/362.55 c RESTART 362.49/362.63 c RESTART 362.59/362.71 c RESTART 362.59/362.75 c RESTART 362.69/362.81 c RESTART 362.69/362.86 c RESTART 362.80/362.93 c RESTART 362.80/362.99 c RESTART 362.90/363.06 c RESTART 362.99/363.12 c RESTART 362.99/363.19 c RESTART 363.09/363.25 c RESTART 363.19/363.30 c RESTART 363.19/363.35 c RESTART 363.29/363.43 c RESTART 363.29/363.49 c RESTART 363.39/363.57 c RESTART 363.49/363.64 c RESTART 363.59/363.72 c RESTART 363.69/363.80 c RESTART 364.29/364.45 c RESTART 364.29/364.49 c RESTART 364.39/364.52 c RESTART 364.49/364.63 c RESTART 364.59/364.71 c RESTART 364.59/364.78 c RESTART 364.69/364.87 c RESTART 364.79/364.97 c RESTART 364.89/365.05 c RESTART 365.00/365.20 c RESTART 365.19/365.32 c RESTART 365.29/365.44 c RESTART 365.39/365.54 c RESTART 365.49/365.62 c RESTART 365.59/365.70 c RESTART 365.59/365.74 c RESTART 365.69/365.81 c RESTART 365.79/365.90 c RESTART 365.79/365.94 c RESTART 365.89/366.02 c RESTART 365.99/366.13 c RESTART 365.99/366.17 c RESTART 366.10/366.23 c RESTART 366.10/366.28 c RESTART 366.20/366.33 c RESTART 366.20/366.38 c RESTART 366.29/366.45 c RESTART 366.39/366.52 c RESTART 366.39/366.59 c RESTART 366.49/366.67 c RESTART 366.59/366.72 c RESTART 366.69/366.80 c RESTART 366.69/366.85 c RESTART 366.79/366.91 c RESTART 366.79/366.96 c RESTART 366.89/367.05 c RESTART 366.99/367.16 c RESTART 367.09/367.24 c RESTART 367.09/367.30 c RESTART 367.30/367.44 c RESTART 367.39/367.55 c RESTART 367.49/367.61 c RESTART 367.59/367.71 c RESTART 367.59/367.76 c RESTART 367.69/367.81 c RESTART 367.69/367.87 c RESTART 367.79/367.95 c RESTART 367.89/368.00 c RESTART 367.89/368.08 c RESTART 367.99/368.16 c RESTART 368.09/368.25 c RESTART 368.19/368.34 c RESTART 368.29/368.41 c RESTART 368.29/368.48 c RESTART 368.39/368.58 c RESTART 368.49/368.66 c RESTART 368.59/368.75 c RESTART 368.69/368.81 c RESTART 368.79/368.92 c RESTART 368.79/368.98 c RESTART 368.89/369.06 c RESTART 368.99/369.12 c RESTART 368.99/369.19 c RESTART 369.09/369.27 c RESTART 369.19/369.34 c RESTART 369.29/369.43 c RESTART 369.39/369.53 c RESTART 369.39/369.57 c RESTART 369.49/369.67 c RESTART 369.59/369.71 c RESTART 369.59/369.78 c RESTART 369.69/369.83 c RESTART 369.69/369.88 c RESTART 369.79/369.95 c RESTART 369.89/370.04 c RESTART 370.09/370.24 c RESTART 370.19/370.35 c RESTART 370.29/370.43 c RESTART 370.39/370.54 c RESTART 370.49/370.65 c RESTART 370.59/370.71 c RESTART 370.69/370.80 c RESTART 370.79/370.92 c RESTART 370.89/371.04 c RESTART 370.89/371.09 c RESTART 372.59/372.77 c RESTART 372.69/372.87 c RESTART 372.89/373.01 c RESTART 372.89/373.08 c RESTART 372.99/373.13 c RESTART 373.09/373.20 c RESTART 373.09/373.27 c RESTART 373.19/373.34 c RESTART 373.19/373.39 c RESTART 373.29/373.48 c RESTART 373.39/373.58 c RESTART 373.49/373.66 c RESTART 373.69/373.80 c RESTART 373.69/373.86 c RESTART 373.89/374.01 c RESTART 373.99/374.11 c RESTART 374.09/374.21 c RESTART 374.09/374.27 c RESTART 374.19/374.32 c RESTART 374.29/374.41 c RESTART 374.29/374.46 c RESTART 374.39/374.58 c RESTART 374.49/374.62 c RESTART 378.69/378.85 c RESTART 378.89/379.03 c RESTART 380.49/380.69 c RESTART 381.09/381.26 c RESTART 381.19/381.38 c RESTART 381.39/381.51 c RESTART 381.39/381.60 c RESTART 381.49/381.66 c RESTART 381.59/381.74 c RESTART 381.69/381.82 c RESTART 381.69/381.87 c RESTART 381.89/382.01 c RESTART 381.99/382.10 c RESTART 382.08/382.22 c RESTART 382.78/382.93 c RESTART 383.58/383.78 c RESTART 383.69/383.84 c RESTART 383.69/383.89 c RESTART 383.79/383.97 c RESTART 383.88/384.08 c RESTART 383.98/384.17 c RESTART 384.08/384.21 c RESTART 384.18/384.30 c RESTART 384.18/384.37 c RESTART 384.79/384.97 c RESTART 385.18/385.34 c RESTART 385.18/385.39 c RESTART 385.28/385.47 c RESTART 385.38/385.55 c RESTART 385.48/385.66 c RESTART 385.58/385.73 c RESTART 385.68/385.85 c RESTART 385.78/385.90 c RESTART 385.89/386.06 c RESTART 385.99/386.14 c RESTART 386.08/386.22 c RESTART 387.68/387.81 c RESTART 387.78/387.97 c RESTART 387.98/388.14 c RESTART 388.09/388.22 c RESTART 388.09/388.26 c RESTART 388.19/388.33 c RESTART 388.28/388.41 c RESTART 388.28/388.48 c RESTART 388.38/388.53 c RESTART 388.48/388.66 c RESTART 388.58/388.76 c RESTART 388.68/388.86 c RESTART 388.78/388.96 c RESTART 388.88/389.01 c RESTART 388.98/389.11 c RESTART 388.98/389.19 c RESTART 389.19/389.30 c RESTART 389.38/389.51 c RESTART 389.38/389.58 c RESTART 398.28/398.42 c RESTART 398.38/398.53 c RESTART 398.38/398.60 c RESTART 398.48/398.69 c RESTART 398.68/398.89 c RESTART 398.88/399.09 c RESTART 398.98/399.17 c RESTART 399.09/399.25 c RESTART 399.19/399.33 c RESTART 399.19/399.37 c RESTART 399.28/399.45 c RESTART 399.48/399.63 c RESTART 399.58/399.70 c RESTART 399.58/399.79 c RESTART 399.78/399.95 c RESTART 399.88/400.03 c RESTART 399.88/400.07 c RESTART 399.98/400.13 c RESTART 400.19/400.34 c RESTART 400.29/400.43 c RESTART 400.38/400.50 c RESTART 400.38/400.58 c RESTART 400.48/400.68 c RESTART 400.58/400.75 c RESTART 400.68/400.87 c RESTART 400.78/400.96 c RESTART 400.88/401.04 c RESTART 400.88/401.08 c RESTART 400.98/401.13 c RESTART 401.08/401.20 c RESTART 401.08/401.26 c RESTART 401.18/401.33 c RESTART 401.18/401.39 c RESTART 401.29/401.43 c RESTART 401.39/401.51 c RESTART 401.39/401.56 c RESTART 401.48/401.63 c RESTART 401.58/401.71 c RESTART 401.68/401.80 c RESTART 401.68/401.88 c RESTART 401.78/401.93 c RESTART 401.88/402.02 c RESTART 401.98/402.17 c RESTART 402.08/402.23 c RESTART 402.08/402.29 c RESTART 402.18/402.37 c RESTART 402.28/402.48 c RESTART 402.39/402.57 c RESTART 402.49/402.61 c RESTART 402.49/402.69 c RESTART 402.58/402.76 c RESTART 402.68/402.82 c RESTART 402.78/402.90 c RESTART 402.78/402.96 c RESTART 402.88/403.00 c RESTART 402.88/403.07 c RESTART 402.98/403.12 c RESTART 403.08/403.22 c RESTART 403.08/403.27 c RESTART 403.49/403.66 c RESTART 403.88/404.06 c RESTART 403.98/404.19 c RESTART 404.69/404.81 c RESTART 404.78/404.90 c RESTART 404.78/404.95 c RESTART 404.88/405.06 c RESTART 405.79/405.92 c RESTART 405.98/406.12 c RESTART 406.08/406.26 c RESTART 406.28/406.40 c RESTART 406.38/406.51 c RESTART 406.38/406.56 c RESTART 406.48/406.68 c RESTART 406.58/406.78 c RESTART 406.79/406.97 c RESTART 406.98/407.16 c RESTART 407.08/407.24 c RESTART 407.18/407.34 c RESTART 407.28/407.47 c RESTART 407.38/407.53 c RESTART 407.48/407.64 c RESTART 407.58/407.70 c RESTART 407.58/407.78 c RESTART 407.68/407.83 c RESTART 407.68/407.86 c RESTART 407.78/407.98 c RESTART 407.89/408.04 c RESTART 407.99/408.14 c RESTART 408.08/408.22 c RESTART 408.18/408.31 c RESTART 408.28/408.40 c RESTART 408.28/408.48 c RESTART 408.38/408.55 c RESTART 408.48/408.64 c RESTART 408.58/408.72 c RESTART 408.68/408.82 c RESTART 408.78/408.97 c RESTART 408.88/409.07 c RESTART 408.99/409.19 c RESTART 409.28/409.43 c RESTART 409.48/409.62 c RESTART 409.58/409.71 c RESTART 409.68/409.84 c RESTART 409.78/409.90 c RESTART 409.78/410.00 c RESTART 409.88/410.09 c RESTART 409.98/410.18 c RESTART 410.09/410.26 c RESTART 410.19/410.39 c RESTART 410.28/410.49 c RESTART 410.38/410.57 c RESTART 410.48/410.63 c RESTART 410.58/410.75 c RESTART 410.68/410.82 c RESTART 410.68/410.87 c RESTART 410.78/410.95 c RESTART 410.88/411.03 c RESTART 410.88/411.09 c RESTART 410.98/411.18 c RESTART 411.08/411.25 c RESTART 411.18/411.35 c RESTART 411.28/411.41 c RESTART 411.38/411.52 c RESTART 411.38/411.58 c RESTART 411.48/411.62 c RESTART 411.58/411.75 c RESTART 411.68/411.83 c RESTART 411.78/411.95 c RESTART 411.88/412.01 c RESTART 411.98/412.15 c RESTART 412.08/412.27 c RESTART 412.18/412.37 c RESTART 412.28/412.47 c RESTART 412.38/412.53 c RESTART 412.67/412.83 c RESTART 412.87/413.01 c RESTART 412.97/413.17 c RESTART 413.07/413.24 c RESTART 413.18/413.34 c RESTART 413.18/413.39 c RESTART 413.38/413.52 c RESTART 413.48/413.62 c RESTART 413.48/413.66 c RESTART 413.57/413.77 c RESTART 413.67/413.84 c RESTART 413.77/413.95 c RESTART 413.87/414.04 c RESTART 413.97/414.16 c RESTART 414.07/414.23 c RESTART 414.07/414.29 c RESTART 414.17/414.37 c RESTART 414.27/414.42 c RESTART 414.27/414.46 c RESTART 414.37/414.53 c RESTART 414.37/414.59 c RESTART 414.48/414.68 c RESTART 414.58/414.78 c RESTART 414.67/414.86 c RESTART 414.77/414.94 c RESTART 415.17/415.37 c RESTART 415.27/415.49 c RESTART 415.37/415.58 c RESTART 415.47/415.70 c RESTART 415.58/415.79 c RESTART 415.68/415.85 c RESTART 415.77/415.99 c RESTART 415.87/416.09 c RESTART 415.97/416.15 c RESTART 416.07/416.26 c RESTART 416.17/416.36 c RESTART 416.27/416.46 c RESTART 416.37/416.53 c RESTART 416.47/416.60 c RESTART 417.67/417.83 c RESTART 417.78/417.98 c RESTART 417.88/418.06 c RESTART 417.97/418.17 c RESTART 418.07/418.27 c RESTART 418.17/418.36 c RESTART 418.27/418.49 c RESTART 418.37/418.53 c RESTART 418.47/418.60 c RESTART 418.47/418.67 c RESTART 418.57/418.75 c RESTART 418.67/418.86 c RESTART 418.77/418.95 c RESTART 418.88/419.03 c RESTART 418.98/419.10 c RESTART 418.98/419.16 c RESTART 419.07/419.21 c RESTART 419.17/419.32 c RESTART 419.27/419.42 c RESTART 419.37/419.56 c RESTART 419.57/419.70 c RESTART 419.87/420.08 c RESTART 419.98/420.14 c RESTART 420.08/420.29 c RESTART 420.27/420.40 c RESTART 420.27/420.47 c RESTART 420.47/420.61 c RESTART 420.57/420.71 c RESTART 420.67/420.83 c RESTART 420.67/420.89 c RESTART 420.77/420.97 c RESTART 420.87/421.07 c RESTART 420.97/421.14 c RESTART 420.97/421.20 c RESTART 421.07/421.29 c RESTART 421.17/421.36 c RESTART 421.27/421.43 c RESTART 421.37/421.50 c RESTART 421.37/421.56 c RESTART 421.47/421.62 c RESTART 421.47/421.66 c RESTART 422.17/422.40 c RESTART 422.37/422.50 c RESTART 422.37/422.53 c RESTART 422.47/422.61 c RESTART 422.47/422.67 c RESTART 422.57/422.78 c RESTART 422.67/422.88 c RESTART 422.77/422.97 c RESTART 422.87/423.02 c RESTART 422.97/423.11 c RESTART 423.07/423.21 c RESTART 423.17/423.30 c RESTART 423.17/423.37 c RESTART 423.37/423.53 c RESTART 423.57/423.76 c RESTART 423.67/423.89 c RESTART 423.77/423.98 c RESTART 423.88/424.06 c RESTART 423.98/424.14 c RESTART 424.08/424.20 c RESTART 424.08/424.29 c RESTART 424.18/424.38 c RESTART 424.28/424.48 c RESTART 424.38/424.56 c RESTART 424.48/424.63 c RESTART 424.58/424.73 c RESTART 424.68/424.87 c RESTART 424.87/425.04 c RESTART 424.97/425.17 c RESTART 425.07/425.24 c RESTART 425.17/425.39 c RESTART 425.27/425.47 c RESTART 425.48/425.68 c RESTART 425.58/425.79 c RESTART 425.67/425.86 c RESTART 425.67/425.89 c RESTART 425.77/425.96 c RESTART 425.87/426.03 c RESTART 425.97/426.10 c RESTART 425.97/426.19 c RESTART 426.07/426.26 c RESTART 426.17/426.38 c RESTART 426.27/426.48 c RESTART 426.37/426.59 c RESTART 427.17/427.34 c RESTART 427.87/428.08 c RESTART 428.07/428.24 c RESTART 428.07/428.29 c RESTART 428.17/428.33 c RESTART 428.27/428.41 c RESTART 428.27/428.47 c RESTART 428.37/428.55 c RESTART 428.47/428.60 c RESTART 428.47/428.66 c RESTART 428.57/428.73 c RESTART 428.67/428.81 c RESTART 428.67/428.86 c RESTART 428.78/428.90 c RESTART 428.78/428.96 c RESTART 428.88/429.06 c RESTART 428.97/429.15 c RESTART 429.07/429.24 c RESTART 429.17/429.39 c RESTART 429.37/429.50 c RESTART 429.37/429.56 c RESTART 429.47/429.64 c RESTART 429.57/429.73 c RESTART 431.08/431.22 c RESTART 435.27/435.40 c RESTART 435.27/435.48 c RESTART 435.38/435.55 c RESTART 435.48/435.61 c RESTART 435.48/435.68 c RESTART 435.67/435.88 c RESTART 435.87/436.01 c RESTART 541.37/541.56 c RESTART 541.67/541.87 c RESTART 541.87/542.03 c RESTART 541.87/542.10 c RESTART 541.97/542.15 c RESTART 542.18/542.33 c RESTART 542.27/542.45 c RESTART 542.47/542.63 c RESTART 542.57/542.75 c RESTART 542.67/542.86 c RESTART 542.77/542.95 c RESTART 542.87/543.05 c RESTART 542.97/543.13 c RESTART 543.28/543.42 c RESTART 543.28/543.48 c RESTART 543.37/543.58 c RESTART 543.47/543.69 c RESTART 543.77/543.91 c RESTART 543.87/544.03 c RESTART 543.97/544.10 c RESTART 543.97/544.17 c RESTART 544.07/544.26 c RESTART 544.17/544.33 c RESTART 544.17/544.39 c RESTART 544.38/544.53 c RESTART 544.38/544.59 c RESTART 544.87/545.00 c RESTART 544.97/545.13 c RESTART 544.97/545.19 c RESTART 545.17/545.32 c RESTART 545.27/545.43 c RESTART 545.27/545.49 c RESTART 545.48/545.60 c RESTART 545.57/545.70 c RESTART 545.57/545.79 c RESTART 545.67/545.86 c RESTART 545.77/545.94 c RESTART 545.87/546.05 c RESTART 545.97/546.17 c RESTART 546.07/546.24 c RESTART 546.17/546.33 c RESTART 546.17/546.39 c RESTART 546.37/546.58 c RESTART 546.48/546.67 c RESTART 546.58/546.78 c RESTART 546.67/546.85 c RESTART 546.77/546.97 c RESTART 546.87/547.07 c RESTART 547.07/547.25 c RESTART 547.17/547.36 c RESTART 547.37/547.54 c RESTART 547.58/547.77 c RESTART 547.68/547.83 c RESTART 547.77/547.95 c RESTART 547.87/548.03 c RESTART 547.87/548.09 c RESTART 547.97/548.16 c RESTART 548.07/548.26 c RESTART 548.17/548.35 c RESTART 548.27/548.42 c RESTART 548.27/548.46 c RESTART 548.47/548.60 c RESTART 548.47/548.69 c RESTART 549.27/549.40 c RESTART 552.87/553.04 c RESTART 560.78/560.91 c RESTART 561.37/561.53 c RESTART 561.57/561.71 c RESTART 561.67/561.82 c RESTART 561.77/561.91 c RESTART 561.77/562.00 c RESTART 561.88/562.06 c RESTART 561.98/562.16 c RESTART 562.07/562.22 c RESTART 562.17/562.32 c RESTART 562.27/562.42 c RESTART 562.37/562.55 c RESTART 562.47/562.60 c RESTART 562.47/562.69 c RESTART 562.57/562.78 c RESTART 562.77/562.90 c RESTART 562.77/562.97 c RESTART 562.87/563.07 c RESTART 562.98/563.15 c RESTART 563.08/563.25 c RESTART 563.17/563.34 c RESTART 563.27/563.41 c RESTART 563.27/563.48 c RESTART 563.37/563.56 c RESTART 563.47/563.64 c RESTART 563.57/563.73 c RESTART 563.67/563.82 c RESTART 563.67/563.89 c RESTART 563.77/563.99 c RESTART 563.87/564.07 c RESTART 563.97/564.15 c RESTART 564.08/564.25 c RESTART 564.18/564.35 c RESTART 564.27/564.41 c RESTART 564.37/564.51 c RESTART 564.47/564.61 c RESTART 564.47/564.66 c RESTART 564.57/564.71 c RESTART 564.67/564.85 c RESTART 564.77/564.91 c RESTART 565.28/565.45 c RESTART 565.67/565.81 c RESTART 565.77/565.99 c RESTART 565.87/566.07 c RESTART 565.97/566.17 c RESTART 566.07/566.23 c RESTART 566.17/566.30 c RESTART 566.28/566.40 c RESTART 566.28/566.46 c RESTART 566.38/566.58 c RESTART 566.47/566.65 c RESTART 566.47/566.70 c RESTART 566.57/566.78 c RESTART 566.67/566.86 c RESTART 566.77/566.92 c RESTART 566.77/566.98 c RESTART 566.87/567.03 c RESTART 566.97/567.14 c RESTART 567.07/567.26 c RESTART 567.17/567.37 c RESTART 567.27/567.43 c RESTART 567.27/567.48 c RESTART 567.38/567.53 c RESTART 567.48/567.66 c RESTART 567.57/567.73 c RESTART 567.67/567.80 c RESTART 567.67/567.88 c RESTART 567.77/567.94 c RESTART 567.77/567.99 c RESTART 567.87/568.04 c RESTART 567.87/568.09 c RESTART 567.97/568.16 c RESTART 567.97/568.18 c RESTART 568.17/568.39 c RESTART 568.37/568.52 c RESTART 568.48/568.68 c RESTART 568.67/568.81 c RESTART 568.77/568.96 c RESTART 568.87/569.01 c RESTART 568.87/569.09 c RESTART 569.07/569.21 c RESTART 569.07/569.27 c RESTART 569.17/569.32 c RESTART 569.27/569.42 c RESTART 569.37/569.50 c RESTART 569.47/569.61 c RESTART 569.57/569.72 c RESTART 569.67/569.89 c RESTART 569.87/570.09 c RESTART 570.17/570.33 c RESTART 570.27/570.49 c RESTART 570.47/570.60 c RESTART 570.47/570.67 c RESTART 570.57/570.80 c RESTART 570.67/570.89 c RESTART 570.78/570.96 c RESTART 570.97/571.10 c RESTART 571.07/571.24 c RESTART 571.17/571.35 c RESTART 571.27/571.44 c RESTART 571.37/571.51 c RESTART 571.47/571.61 c RESTART 571.57/571.73 c RESTART 571.67/571.83 c RESTART 571.78/571.92 c RESTART 571.88/572.02 c RESTART 571.97/572.17 c RESTART 572.07/572.26 c RESTART 572.17/572.37 c RESTART 572.27/572.44 c RESTART 572.37/572.53 c RESTART 572.67/572.80 c RESTART 572.87/573.04 c RESTART 572.97/573.13 c RESTART 573.07/573.23 c RESTART 573.17/573.32 c RESTART 573.17/573.39 c RESTART 573.37/573.58 c RESTART 573.47/573.65 c RESTART 573.57/573.72 c RESTART 573.67/573.81 c RESTART 573.67/573.87 c RESTART 573.77/573.94 c RESTART 573.87/574.09 c RESTART 574.07/574.24 c RESTART 574.17/574.34 c RESTART 574.27/574.42 c RESTART 574.37/574.51 c RESTART 574.37/574.57 c RESTART 574.57/574.71 c RESTART 574.87/575.07 c RESTART 574.97/575.18 c RESTART 575.17/575.32 c RESTART 575.27/575.42 c RESTART 575.37/575.55 c RESTART 575.57/575.79 c RESTART 575.67/575.83 c RESTART 575.67/575.89 c RESTART 575.77/575.96 c RESTART 575.87/576.00 c RESTART 575.97/576.12 c RESTART 576.07/576.20 c RESTART 576.07/576.28 c RESTART 576.17/576.36 c RESTART 576.27/576.43 c RESTART 576.37/576.50 c RESTART 576.47/576.60 c RESTART 576.47/576.68 c RESTART 576.67/576.81 c RESTART 576.67/576.86 c RESTART 576.77/576.95 c RESTART 576.87/577.09 c RESTART 576.97/577.19 c RESTART 577.07/577.28 c RESTART 577.17/577.35 c RESTART 577.27/577.47 c RESTART 577.37/577.55 c RESTART 577.47/577.68 c RESTART 577.57/577.76 c RESTART 577.67/577.84 c RESTART 577.77/577.91 c RESTART 577.87/578.03 c RESTART 577.97/578.14 c RESTART 578.07/578.28 c RESTART 578.17/578.37 c RESTART 578.27/578.46 c RESTART 578.37/578.53 c RESTART 578.37/578.58 c RESTART 578.47/578.63 c RESTART 578.57/578.73 c RESTART 578.57/578.78 c RESTART 578.67/578.86 c RESTART 578.77/578.96 c RESTART 578.87/579.01 c RESTART 578.97/579.12 c RESTART 579.06/579.21 c RESTART 579.06/579.27 c RESTART 579.16/579.34 c RESTART 579.26/579.43 c RESTART 579.26/579.49 c RESTART 579.36/579.55 c RESTART 579.47/579.67 c RESTART 579.57/579.78 c RESTART 579.76/579.91 c RESTART 579.86/580.02 c RESTART 579.96/580.11 c RESTART 579.96/580.17 c RESTART 580.06/580.25 c RESTART 580.16/580.36 c RESTART 580.26/580.44 c RESTART 580.26/580.49 c RESTART 580.36/580.55 c RESTART 580.46/580.65 c RESTART 580.57/580.73 c RESTART 580.67/580.83 c RESTART 580.76/580.95 c RESTART 580.86/581.01 c RESTART 580.86/581.07 c RESTART 581.06/581.21 c RESTART 581.16/581.31 c RESTART 581.26/581.49 c RESTART 581.36/581.57 c RESTART 581.56/581.72 c RESTART 581.67/581.80 c RESTART 581.77/581.90 c RESTART 581.77/581.98 c RESTART 581.86/582.05 c RESTART 581.96/582.10 c RESTART 582.06/582.20 c RESTART 582.06/582.28 c RESTART 582.16/582.36 c RESTART 582.26/582.46 c RESTART 582.36/582.54 c RESTART 582.46/582.63 c RESTART 582.56/582.72 c RESTART 582.56/582.78 c RESTART 582.66/582.84 c RESTART 582.77/582.91 c RESTART 582.77/583.00 c RESTART 582.87/583.08 c RESTART 583.06/583.22 c RESTART 583.16/583.32 c RESTART 583.26/583.41 c RESTART 583.26/583.48 c RESTART 583.36/583.58 c RESTART 583.46/583.65 c RESTART 583.56/583.70 c RESTART 583.66/583.80 c RESTART 583.66/583.84 c RESTART 583.66/583.89 c RESTART 583.76/583.93 c RESTART 583.87/584.02 c RESTART 583.87/584.07 c RESTART 583.97/584.11 c RESTART 585.06/585.29 c RESTART 585.36/585.57 c RESTART 585.46/585.66 c RESTART 585.56/585.77 c RESTART 585.66/585.84 c RESTART 585.76/585.97 c RESTART 585.86/586.04 c RESTART 585.96/586.11 c RESTART 585.96/586.18 c RESTART 586.16/586.30 c RESTART 586.16/586.38 c RESTART 586.56/586.71 c RESTART 586.66/586.80 c RESTART 586.76/586.97 c RESTART 586.96/587.13 c RESTART 587.06/587.23 c RESTART 587.06/587.28 c RESTART 587.16/587.36 c RESTART 587.26/587.42 c RESTART 587.36/587.50 c RESTART 587.36/587.57 c RESTART 587.56/587.79 c RESTART 587.66/587.89 c RESTART 587.76/587.98 c RESTART 587.86/588.06 c RESTART 587.96/588.15 c RESTART 588.06/588.27 c RESTART 588.16/588.39 c RESTART 588.26/588.48 c RESTART 588.36/588.56 c RESTART 588.56/588.70 c RESTART 588.56/588.78 c RESTART 588.76/588.93 c RESTART 588.86/589.03 c RESTART 588.96/589.12 c RESTART 588.96/589.19 c RESTART 589.06/589.26 c RESTART 589.16/589.33 c RESTART 589.26/589.48 c RESTART 589.46/589.62 c RESTART 589.46/589.69 c RESTART 589.66/589.86 c RESTART 589.86/590.02 c RESTART 589.96/590.10 c RESTART 590.06/590.22 c RESTART 590.16/590.32 c RESTART 590.26/590.42 c RESTART 590.36/590.51 c RESTART 590.36/590.58 c RESTART 590.46/590.65 c RESTART 590.56/590.76 c RESTART 590.66/590.80 c RESTART 590.66/590.86 c RESTART 590.76/590.97 c RESTART 590.86/591.09 c RESTART 591.06/591.24 c RESTART 591.16/591.33 c RESTART 591.36/591.53 c RESTART 591.46/591.61 c RESTART 591.56/591.75 c RESTART 591.66/591.87 c RESTART 591.86/592.04 c RESTART 591.96/592.11 c RESTART 591.96/592.18 c RESTART 592.36/592.55 c RESTART 592.46/592.66 c RESTART 592.56/592.77 c RESTART 592.66/592.84 c RESTART 592.76/592.93 c RESTART 592.76/592.98 c RESTART 592.85/593.05 c RESTART 592.95/593.14 c RESTART 593.05/593.26 c RESTART 593.15/593.37 c RESTART 593.25/593.43 c RESTART 593.25/593.49 c RESTART 593.36/593.59 c RESTART 593.56/593.74 c RESTART 593.66/593.88 c RESTART 593.76/593.96 c RESTART 593.86/594.06 c RESTART 593.96/594.13 c RESTART 594.06/594.26 c RESTART 594.25/594.48 c RESTART 594.35/594.57 c RESTART 594.45/594.68 c RESTART 594.55/594.74 c RESTART 594.65/594.83 c RESTART 594.75/594.92 c RESTART 594.75/594.99 c RESTART 594.96/595.10 c RESTART 595.05/595.20 c RESTART 595.05/595.28 c RESTART 595.15/595.36 c RESTART 595.35/595.50 c RESTART 595.35/595.57 c RESTART 595.45/595.65 c RESTART 595.55/595.71 c RESTART 595.65/595.81 c RESTART 595.75/595.90 c RESTART 595.75/595.97 c RESTART 595.85/596.02 c RESTART 595.85/596.10 c RESTART 595.96/596.15 c RESTART 596.06/596.23 c RESTART 596.25/596.40 c RESTART 596.45/596.62 c RESTART 596.55/596.71 c RESTART 596.55/596.76 c RESTART 596.65/596.84 c RESTART 596.75/596.93 c RESTART 596.75/596.99 c RESTART 596.95/597.10 c RESTART 596.95/597.18 c RESTART 597.06/597.25 c RESTART 597.25/597.41 c RESTART 597.35/597.56 c RESTART 597.55/597.71 c RESTART 598.35/598.54 c RESTART 598.45/598.67 c RESTART 598.65/598.83 c RESTART 598.85/599.04 c RESTART 598.95/599.13 c RESTART 599.05/599.25 c RESTART 599.15/599.32 c RESTART 599.15/599.39 c RESTART 599.25/599.47 c RESTART 599.35/599.55 c RESTART 599.45/599.62 c RESTART 599.55/599.72 c RESTART 599.55/599.77 c RESTART 599.75/599.92 c RESTART 599.95/600.13 c RESTART 600.05/600.26 c RESTART 600.15/600.33 c RESTART 600.25/600.46 c RESTART 600.35/600.54 c RESTART 600.45/600.61 c RESTART 600.55/600.75 c RESTART 600.65/600.82 c RESTART 600.75/600.93 c RESTART 600.75/600.99 c RESTART 600.95/601.18 c RESTART 601.05/601.25 c RESTART 601.35/601.59 c RESTART 601.45/601.69 c RESTART 601.65/601.81 c RESTART 601.65/601.89 c RESTART 601.85/602.05 c RESTART 601.95/602.12 c RESTART 601.95/602.18 c RESTART 602.05/602.26 c RESTART 602.25/602.42 c RESTART 602.25/602.48 c RESTART 602.35/602.54 c RESTART 602.45/602.66 c RESTART 602.55/602.76 c RESTART 602.65/602.85 c RESTART 602.75/602.92 c RESTART 602.75/602.99 c RESTART 602.85/603.09 c RESTART 603.05/603.24 c RESTART 603.05/603.29 c RESTART 603.25/603.40 c RESTART 603.25/603.49 c RESTART 603.35/603.55 c RESTART 603.95/604.11 c RESTART 604.05/604.26 c RESTART 604.15/604.36 c RESTART 604.25/604.44 c RESTART 604.35/604.53 c RESTART 604.45/604.60 c RESTART 604.55/604.71 c RESTART 604.65/604.81 c RESTART 604.65/604.86 c RESTART 604.75/604.94 c RESTART 604.85/605.08 c RESTART 604.95/605.18 c RESTART 607.35/607.53 c RESTART 607.45/607.68 c RESTART 607.65/607.81 c RESTART 607.75/607.93 c RESTART 607.85/608.08 c RESTART 607.95/608.20 c RESTART 608.05/608.29 c RESTART 608.15/608.37 c RESTART 608.35/608.54 c RESTART 608.45/608.61 c RESTART 608.55/608.73 c RESTART 608.65/608.85 c RESTART 608.75/608.93 c RESTART 608.85/609.02 c RESTART 608.85/609.09 c RESTART 608.95/609.15 c RESTART 609.05/609.21 c RESTART 609.15/609.31 c RESTART 609.25/609.49 c RESTART 609.45/609.67 c RESTART 609.55/609.75 c RESTART 609.65/609.88 c RESTART 609.75/609.99 c RESTART 609.85/610.05 c RESTART 609.95/610.17 c RESTART 610.05/610.26 c RESTART 610.15/610.31 c RESTART 610.15/610.36 c RESTART 610.25/610.43 c RESTART 610.35/610.52 c RESTART 610.45/610.62 c RESTART 610.65/610.85 c RESTART 610.85/611.01 c RESTART 610.95/611.10 c RESTART 610.95/611.15 c RESTART 611.05/611.22 c RESTART 611.05/611.27 c RESTART 611.15/611.32 c RESTART 611.15/611.37 c RESTART 611.35/611.53 c RESTART 611.35/611.58 c RESTART 611.55/611.70 c RESTART 611.65/611.81 c RESTART 611.75/611.91 c RESTART 611.75/611.99 c RESTART 611.94/612.12 c RESTART 612.04/612.23 c RESTART 612.04/612.29 c RESTART 612.14/612.36 c RESTART 613.55/613.74 c RESTART 613.74/613.96 c RESTART 614.14/614.34 c RESTART 614.24/614.42 c RESTART 614.24/614.46 c RESTART 614.65/614.89 c RESTART 614.84/615.02 c RESTART 614.84/615.07 c RESTART 614.94/615.16 c RESTART 615.14/615.30 c RESTART 615.24/615.40 c RESTART 615.24/615.48 c RESTART 615.34/615.57 c RESTART 615.45/615.66 c RESTART 615.55/615.78 c RESTART 615.65/615.89 c RESTART 615.76/615.96 c RESTART 615.86/616.03 c RESTART 615.95/616.13 c RESTART 615.95/616.18 c RESTART 616.05/616.26 c RESTART 616.15/616.33 c RESTART 616.25/616.44 c RESTART 616.35/616.51 c RESTART 616.45/616.61 c RESTART 616.45/616.67 c RESTART 616.55/616.72 c RESTART 629.45/629.63 c RESTART 629.65/629.86 c RESTART 629.75/629.93 c RESTART 629.95/630.13 c RESTART 629.95/630.20 c RESTART 630.06/630.27 c RESTART 630.65/630.81 c RESTART 630.65/630.87 c RESTART 630.75/630.95 c RESTART 630.95/631.10 c RESTART 631.05/631.22 c RESTART 631.16/631.30 c RESTART 631.16/631.38 c RESTART 631.26/631.43 c RESTART 631.35/631.51 c RESTART 631.35/631.58 c RESTART 631.45/631.69 c RESTART 631.55/631.77 c RESTART 631.65/631.89 c RESTART 631.75/631.97 c RESTART 631.85/632.05 c RESTART 631.95/632.11 c RESTART 632.05/632.23 c RESTART 632.15/632.33 c RESTART 632.15/632.39 c RESTART 632.36/632.51 c RESTART 632.45/632.60 c RESTART 632.45/632.66 c RESTART 632.65/632.81 c RESTART 632.75/632.92 c RESTART 632.85/633.02 c RESTART 632.95/633.14 c RESTART 633.05/633.24 c RESTART 633.15/633.34 c RESTART 633.25/633.41 c RESTART 633.25/633.46 c RESTART 633.35/633.56 c RESTART 633.45/633.63 c RESTART 633.55/633.72 c RESTART 633.65/633.84 c RESTART 633.75/633.90 c RESTART 633.75/633.98 c RESTART 635.45/635.65 c RESTART 635.45/635.69 c RESTART 635.55/635.74 c RESTART 635.65/635.84 c RESTART 635.75/635.90 c RESTART 635.75/635.99 c RESTART 635.85/636.03 c RESTART 635.85/636.08 c RESTART 635.95/636.17 c RESTART 636.05/636.25 c RESTART 636.15/636.32 c RESTART 636.15/636.39 c RESTART 636.35/636.53 c RESTART 636.85/637.09 c RESTART 637.05/637.20 c RESTART 637.15/637.31 c RESTART 637.25/637.43 c RESTART 637.35/637.51 c RESTART 637.45/637.60 c RESTART 637.45/637.69 c RESTART 637.65/637.80 c RESTART 637.65/637.84 c RESTART 637.65/637.89 c RESTART 637.75/638.00 c RESTART 637.95/638.11 c RESTART 637.95/638.17 c RESTART 638.05/638.27 c RESTART 638.15/638.33 c RESTART 638.15/638.38 c RESTART 638.35/638.52 c RESTART 638.45/638.63 c RESTART 638.45/638.67 c RESTART 638.55/638.76 c RESTART 638.64/638.80 c RESTART 638.64/638.88 c RESTART 638.74/638.94 c RESTART 638.85/639.02 c RESTART 638.95/639.12 c RESTART 638.95/639.17 c RESTART 639.04/639.29 c RESTART 639.14/639.37 c RESTART 639.24/639.45 c RESTART 639.44/639.61 c RESTART 639.54/639.74 c RESTART 639.64/639.88 c RESTART 639.74/639.99 c RESTART 639.84/640.07 c RESTART 639.95/640.19 c RESTART 640.14/640.30 c RESTART 640.14/640.39 c RESTART 640.34/640.52 c RESTART 640.44/640.63 c RESTART 640.54/640.71 c RESTART 640.54/640.79 c RESTART 640.74/640.90 c RESTART 640.74/640.99 c RESTART 640.84/641.06 c RESTART 640.94/641.14 c RESTART 641.04/641.24 c RESTART 641.14/641.33 c RESTART 641.44/641.66 c RESTART 641.54/641.77 c RESTART 641.64/641.87 c RESTART 641.74/641.92 c RESTART 641.84/642.02 c RESTART 641.84/642.08 c RESTART 642.14/642.31 c RESTART 642.14/642.36 c RESTART 642.24/642.46 c RESTART 642.34/642.53 c RESTART 642.44/642.61 c RESTART 642.44/642.67 c RESTART 642.54/642.74 c RESTART 642.64/642.88 c RESTART 642.84/643.04 c RESTART 642.94/643.10 c RESTART 643.04/643.20 c RESTART 643.04/643.27 c RESTART 643.14/643.34 c RESTART 643.14/643.40 c RESTART 643.24/643.50 c RESTART 643.34/643.57 c RESTART 643.44/643.63 c RESTART 643.44/643.68 c RESTART 643.54/643.77 c RESTART 643.64/643.86 c RESTART 643.74/643.91 c RESTART 643.74/643.99 c RESTART 643.94/644.12 c RESTART 643.94/644.19 c RESTART 690.43/690.67 c RESTART 690.54/690.78 c RESTART 690.73/690.95 c RESTART 690.83/691.08 c RESTART 690.93/691.15 c RESTART 691.03/691.23 c RESTART 691.13/691.30 c RESTART 691.23/691.43 c RESTART 691.43/691.63 c RESTART 691.64/691.81 c RESTART 691.74/691.91 c RESTART 691.74/691.99 c RESTART 691.83/692.09 c RESTART 691.93/692.19 c RESTART 692.13/692.33 c RESTART 692.23/692.42 c RESTART 692.93/693.15 c RESTART 693.33/693.51 c RESTART 693.33/693.58 c RESTART 693.43/693.69 c RESTART 693.73/694.00 c RESTART 693.84/694.10 c RESTART 694.03/694.23 c RESTART 694.13/694.37 c RESTART 694.23/694.47 c RESTART 694.33/694.55 c RESTART 694.43/694.62 c RESTART 694.43/694.68 c RESTART 694.83/695.07 c RESTART 694.94/695.15 c RESTART 695.13/695.34 c RESTART 695.23/695.46 c RESTART 695.33/695.55 c RESTART 695.43/695.62 c RESTART 695.43/695.68 c RESTART 695.63/695.85 c RESTART 695.73/695.92 c RESTART 695.73/695.99 c RESTART 695.83/696.07 c RESTART 695.93/696.13 c RESTART 696.04/696.23 c RESTART 696.14/696.31 c RESTART 696.14/696.36 c RESTART 696.23/696.43 c RESTART 696.33/696.58 c RESTART 696.53/696.70 c RESTART 697.14/697.33 c RESTART 697.14/697.40 c RESTART 697.24/697.46 c RESTART 698.24/698.43 c RESTART 698.34/698.52 c RESTART 698.34/698.55 c RESTART 698.53/698.71 c RESTART 698.53/698.76 c RESTART 698.73/698.97 c RESTART 698.83/699.06 c RESTART 698.93/699.15 c RESTART 699.03/699.22 c RESTART 699.13/699.30 c RESTART 699.13/699.39 c RESTART 699.23/699.45 c RESTART 699.23/699.50 c RESTART 699.34/699.56 c RESTART 699.44/699.65 c RESTART 699.53/699.73 c RESTART 699.63/699.81 c RESTART 699.63/699.88 c RESTART 700.03/700.21 c RESTART 700.13/700.31 c RESTART 700.13/700.38 c RESTART 700.23/700.48 c RESTART 700.33/700.57 c RESTART 700.44/700.62 c RESTART 700.54/700.70 c RESTART 700.54/700.77 c RESTART 700.63/700.83 c RESTART 700.63/700.89 c RESTART 700.73/700.98 c RESTART 700.93/701.10 c RESTART 700.93/701.18 c RESTART 701.13/701.33 c RESTART 701.23/701.47 c RESTART 701.33/701.57 c RESTART 701.43/701.65 c RESTART 701.54/701.74 c RESTART 701.54/701.78 c RESTART 701.64/701.88 c RESTART 701.73/701.96 c RESTART 701.83/702.06 c RESTART 701.93/702.12 c RESTART 701.93/702.16 c RESTART 702.03/702.22 c RESTART 702.03/702.29 c RESTART 702.13/702.40 c RESTART 702.33/702.50 c RESTART 702.33/702.57 c RESTART 702.43/702.66 c RESTART 702.53/702.71 c RESTART 702.63/702.82 c RESTART 702.73/702.93 c RESTART 702.83/703.04 c RESTART 702.93/703.14 c RESTART 703.03/703.26 c RESTART 703.13/703.30 c RESTART 703.13/703.37 c RESTART 703.23/703.43 c RESTART 703.23/703.48 c RESTART 703.33/703.56 c RESTART 703.53/703.72 c RESTART 703.63/703.80 c RESTART 703.63/703.86 c RESTART 703.73/703.98 c RESTART 703.83/704.08 c RESTART 703.93/704.17 c RESTART 704.02/704.24 c RESTART 704.12/704.33 c RESTART 704.22/704.45 c RESTART 704.32/704.53 c RESTART 704.42/704.61 c RESTART 704.52/704.71 c RESTART 704.62/704.82 c RESTART 704.72/704.90 c RESTART 704.72/704.94 c RESTART 704.83/705.06 c RESTART 705.02/705.28 c RESTART 705.12/705.37 c RESTART 705.22/705.48 c RESTART 705.32/705.56 c RESTART 705.42/705.62 c RESTART 705.52/705.71 c RESTART 705.62/705.80 c RESTART 705.62/705.86 c RESTART 705.72/705.95 c RESTART 705.82/706.05 c RESTART 705.93/706.13 c RESTART 706.03/706.23 c RESTART 706.12/706.34 c RESTART 706.22/706.40 c RESTART 706.22/706.45 c RESTART 706.32/706.53 c RESTART 706.42/706.62 c RESTART 706.42/706.68 c RESTART 706.52/706.74 c RESTART 706.62/706.83 c RESTART 706.72/706.90 c RESTART 706.72/706.97 c RESTART 706.82/707.09 c RESTART 707.03/707.26 c RESTART 707.22/707.40 c RESTART 707.32/707.52 c RESTART 707.42/707.65 c RESTART 707.52/707.74 c RESTART 707.62/707.80 c RESTART 707.62/707.88 c RESTART 707.72/707.95 c RESTART 707.82/708.02 c RESTART 707.92/708.12 c RESTART 708.02/708.21 c RESTART 708.02/708.28 c RESTART 708.13/708.34 c RESTART 708.13/708.39 c RESTART 708.23/708.49 c RESTART 708.32/708.59 c RESTART 708.42/708.70 c RESTART 708.52/708.74 c RESTART 708.52/708.79 c RESTART 708.62/708.86 c RESTART 708.72/708.91 c RESTART 708.72/708.97 c RESTART 708.82/709.03 c RESTART 708.92/709.11 c RESTART 708.92/709.19 c RESTART 709.02/709.26 c RESTART 709.12/709.36 c RESTART 709.23/709.44 c RESTART 709.33/709.58 c RESTART 709.42/709.68 c RESTART 709.52/709.73 c RESTART 710.22/710.41 c RESTART 710.62/710.83 c RESTART 710.62/710.88 c RESTART 710.72/710.93 c RESTART 710.72/710.98 c RESTART 710.82/711.03 c RESTART 715.42/715.62 c RESTART 717.72/717.99 c RESTART 717.92/718.10 c RESTART 719.12/719.33 c RESTART 723.52/723.70 c RESTART 723.63/723.81 c RESTART 723.63/723.88 c RESTART 723.72/723.94 c RESTART 724.32/724.54 c RESTART 724.42/724.63 c RESTART 724.52/724.73 c RESTART 724.62/724.81 c RESTART 724.72/724.90 c RESTART 725.62/725.89 c RESTART 725.72/726.00 c RESTART 725.92/726.12 c RESTART 726.02/726.24 c RESTART 726.12/726.36 c RESTART 726.32/726.53 c RESTART 726.32/726.58 c RESTART 726.52/726.70 c RESTART 726.62/726.84 c RESTART 726.72/726.91 c RESTART 726.82/727.00 c RESTART 726.92/727.13 c RESTART 727.02/727.25 c RESTART 727.22/727.44 c RESTART 727.42/727.61 c RESTART 727.42/727.68 c RESTART 727.52/727.78 c RESTART 727.72/727.90 c RESTART 727.72/727.95 c RESTART 728.02/728.23 c RESTART 728.11/728.30 c RESTART 728.11/728.36 c RESTART 728.21/728.44 c RESTART 728.31/728.53 c RESTART 728.31/728.59 c RESTART 728.51/728.71 c RESTART 728.61/728.86 c RESTART 728.71/728.94 c RESTART 728.81/729.03 c RESTART 728.91/729.14 c RESTART 729.02/729.25 c RESTART 729.12/729.34 c RESTART 729.21/729.43 c RESTART 729.31/729.51 c RESTART 729.31/729.57 c RESTART 729.41/729.66 c RESTART 729.61/729.86 c RESTART 729.71/729.95 c RESTART 729.81/730.08 c RESTART 730.51/730.71 c RESTART 730.61/730.89 c RESTART 730.81/731.02 c RESTART 730.91/731.15 c RESTART 731.01/731.24 c RESTART 731.11/731.31 c RESTART 731.22/731.41 c RESTART 731.22/731.49 c RESTART 731.32/731.58 c RESTART 731.41/731.66 c RESTART 731.51/731.73 c RESTART 731.51/731.77 c RESTART 731.61/731.83 c RESTART 731.71/731.91 c RESTART 731.71/731.97 c RESTART 731.81/732.06 c RESTART 731.91/732.13 c RESTART 732.01/732.20 c RESTART 732.11/732.31 c RESTART 732.21/732.40 c RESTART 732.21/732.50 c RESTART 732.32/732.58 c RESTART 732.51/732.70 c RESTART 732.51/732.77 c RESTART 732.61/732.89 c RESTART 732.81/733.01 c RESTART 732.91/733.15 c RESTART 733.01/733.23 c RESTART 733.01/733.27 c RESTART 733.11/733.39 c RESTART 733.21/733.47 c RESTART 733.31/733.56 c RESTART 733.31/733.60 c RESTART 733.42/733.65 c RESTART 733.52/733.72 c RESTART 733.52/733.79 c RESTART 733.61/733.82 c RESTART 733.61/733.88 c RESTART 733.71/733.96 c RESTART 733.81/734.05 c RESTART 733.91/734.12 c RESTART 733.91/734.18 c RESTART 734.01/734.26 c RESTART 734.11/734.32 c RESTART 734.21/734.43 c RESTART 734.31/734.52 c RESTART 734.31/734.59 c RESTART 734.41/734.64 c RESTART 734.52/734.70 c RESTART 734.52/734.76 c RESTART 734.62/734.81 c RESTART 734.62/734.89 c RESTART 734.71/734.97 c RESTART 735.01/735.29 c RESTART 735.21/735.49 c RESTART 735.41/735.60 c RESTART 735.51/735.71 c RESTART 735.62/735.82 c RESTART 735.72/735.92 c RESTART 735.81/736.01 c RESTART 735.81/736.07 c RESTART 736.01/736.22 c RESTART 736.11/736.34 c RESTART 736.21/736.46 c RESTART 736.31/736.58 c RESTART 736.41/736.66 c RESTART 736.51/736.76 c RESTART 736.61/736.86 c RESTART 736.72/736.92 c RESTART 736.82/737.02 c RESTART 736.82/737.08 c RESTART 736.91/737.15 c RESTART 737.01/737.24 c RESTART 737.11/737.30 c RESTART 737.11/737.39 c RESTART 737.21/737.47 c RESTART 737.31/737.53 c RESTART 737.41/737.60 c RESTART 737.51/737.74 c RESTART 737.61/737.84 c RESTART 737.71/737.91 c RESTART 737.81/738.01 c RESTART 737.91/738.11 c RESTART 738.01/738.27 c RESTART 738.11/738.34 c RESTART 738.11/738.39 c RESTART 738.21/738.47 c RESTART 738.31/738.55 c RESTART 738.41/738.63 c RESTART 738.51/738.70 c RESTART 738.51/738.78 c RESTART 739.01/739.28 c RESTART 739.11/739.33 c RESTART 739.21/739.44 c RESTART 739.31/739.54 c RESTART 739.41/739.64 c RESTART 739.51/739.70 c RESTART 739.51/739.79 c RESTART 739.61/739.86 c RESTART 739.71/739.92 c RESTART 739.71/739.96 c RESTART 739.91/740.11 c RESTART 740.01/740.23 c RESTART 740.11/740.32 c RESTART 740.21/740.44 c RESTART 740.31/740.52 c RESTART 740.31/740.57 c RESTART 740.41/740.65 c RESTART 740.51/740.71 c RESTART 740.61/740.82 c RESTART 740.71/740.90 c RESTART 740.71/740.95 c RESTART 740.81/741.06 c RESTART 740.91/741.12 c RESTART 741.01/741.21 c RESTART 741.01/741.29 c RESTART 741.11/741.34 c RESTART 741.21/741.43 c RESTART 741.31/741.55 c RESTART 741.41/741.65 c RESTART 741.51/741.74 c RESTART 741.51/741.80 c RESTART 741.71/741.91 c RESTART 741.81/742.02 c RESTART 741.91/742.12 c RESTART 742.01/742.20 c RESTART 742.01/742.28 c RESTART 742.11/742.37 c RESTART 742.21/742.43 c RESTART 742.21/742.50 c RESTART 742.31/742.57 c RESTART 742.41/742.64 c RESTART 742.51/742.76 c RESTART 742.61/742.81 c RESTART 742.71/742.92 c RESTART 743.01/743.21 c RESTART 743.11/743.39 c RESTART 743.21/743.46 c RESTART 743.41/743.63 c RESTART 743.51/743.77 c RESTART 743.71/743.92 c RESTART 743.81/744.08 c RESTART 744.01/744.22 c RESTART 744.11/744.39 c RESTART 744.31/744.52 c RESTART 744.31/744.60 c RESTART 746.41/746.60 c RESTART 746.41/746.69 c RESTART 746.51/746.79 c RESTART 746.61/746.87 c RESTART 746.71/746.93 c RESTART 746.71/746.98 c RESTART 746.81/747.03 c RESTART 746.81/747.09 c RESTART 746.91/747.16 c RESTART 747.01/747.27 c RESTART 747.11/747.37 c RESTART 747.91/748.17 c RESTART 748.01/748.24 c RESTART 748.11/748.30 c RESTART 748.21/748.40 c RESTART 748.21/748.49 c RESTART 748.31/748.57 c RESTART 748.41/748.64 c RESTART 748.51/748.71 c RESTART 748.51/748.77 c RESTART 748.61/748.84 c RESTART 748.71/748.91 c RESTART 748.71/748.99 c RESTART 748.81/749.08 c RESTART 748.91/749.18 c RESTART 749.01/749.25 c RESTART 749.11/749.34 c RESTART 749.21/749.42 c RESTART 749.31/749.50 c RESTART 749.41/749.60 c RESTART 749.52/749.76 c RESTART 749.72/749.90 c RESTART 749.82/750.00 c RESTART 749.92/750.13 c RESTART 750.02/750.21 c RESTART 750.02/750.28 c RESTART 750.11/750.36 c RESTART 750.21/750.43 c RESTART 750.31/750.51 c RESTART 750.31/750.59 c RESTART 750.41/750.68 c RESTART 750.51/750.76 c RESTART 750.61/750.82 c RESTART 750.71/750.90 c RESTART 750.71/750.99 c RESTART 750.81/751.06 c RESTART 750.91/751.14 c RESTART 750.91/751.18 c RESTART 751.12/751.32 c RESTART 751.12/751.40 c RESTART 751.31/751.50 c RESTART 751.41/751.61 c RESTART 751.41/751.68 c RESTART 751.51/751.77 c RESTART 751.71/751.90 c RESTART 751.71/751.96 c RESTART 751.81/752.04 c RESTART 751.91/752.14 c RESTART 751.91/752.19 c RESTART 752.01/752.25 c RESTART 752.12/752.34 c RESTART 752.22/752.40 c RESTART 752.22/752.49 c RESTART 752.31/752.57 c RESTART 752.41/752.67 c RESTART 752.51/752.77 c RESTART 752.61/752.85 c RESTART 752.71/752.93 c RESTART 752.71/752.99 c RESTART 752.81/753.07 c RESTART 752.91/753.13 c RESTART 752.91/753.19 c RESTART 753.11/753.30 c RESTART 753.11/753.35 c RESTART 753.22/753.46 c RESTART 753.32/753.56 c RESTART 753.41/753.63 c RESTART 753.41/753.67 c RESTART 753.51/753.74 c RESTART 753.51/753.78 c RESTART 753.71/753.91 c RESTART 753.71/753.99 c RESTART 753.81/754.06 c RESTART 753.91/754.14 c RESTART 754.01/754.21 c RESTART 754.01/754.26 c RESTART 754.11/754.35 c RESTART 754.21/754.50 c RESTART 754.42/754.62 c RESTART 754.42/754.68 c RESTART 754.51/754.74 c RESTART 754.91/755.17 c RESTART 757.11/757.36 c RESTART 757.41/757.67 c RESTART 757.51/757.79 c RESTART 758.01/758.29 c RESTART 758.11/758.39 c RESTART 758.31/758.53 c RESTART 758.41/758.60 c RESTART 758.41/758.69 c RESTART 758.51/758.77 c RESTART 758.61/758.90 c RESTART 758.82/759.02 c RESTART 758.91/759.10 c RESTART 759.01/759.20 c RESTART 759.11/759.33 c RESTART 759.21/759.43 c RESTART 759.31/759.52 c RESTART 759.31/759.59 c RESTART 759.51/759.70 c RESTART 759.51/759.79 c RESTART 759.71/759.91 c RESTART 759.71/760.00 c RESTART 759.82/760.08 c RESTART 759.92/760.19 c RESTART 760.11/760.30 c RESTART 760.21/760.42 c RESTART 760.31/760.51 c RESTART 760.41/760.65 c RESTART 760.51/760.71 c RESTART 760.81/761.01 c RESTART 760.81/761.07 c RESTART 760.91/761.11 c RESTART 761.01/761.24 c RESTART 761.11/761.30 c RESTART 761.21/761.40 c RESTART 761.21/761.48 c RESTART 761.31/761.54 c RESTART 761.41/761.65 c RESTART 761.51/761.78 c RESTART 761.71/761.90 c RESTART 761.81/762.01 c RESTART 761.91/762.13 c RESTART 762.01/762.26 c RESTART 762.12/762.37 c RESTART 762.21/762.42 c RESTART 762.31/762.53 c RESTART 762.41/762.65 c RESTART 762.51/762.77 c RESTART 762.71/762.91 c RESTART 762.71/763.00 c RESTART 762.81/763.03 c RESTART 762.91/763.13 c RESTART 763.01/763.24 c RESTART 763.01/763.29 c RESTART 763.11/763.35 c RESTART 763.21/763.44 c RESTART 763.30/763.52 c RESTART 763.40/763.60 c RESTART 763.40/763.69 c RESTART 763.50/763.78 c RESTART 763.60/763.88 c RESTART 763.70/763.97 c RESTART 763.80/764.05 c RESTART 763.90/764.13 c RESTART 764.00/764.20 c RESTART 764.00/764.29 c RESTART 764.10/764.35 c RESTART 764.21/764.44 c RESTART 764.31/764.51 c RESTART 764.40/764.60 c RESTART 764.50/764.77 c RESTART 765.31/765.58 c RESTART 765.50/765.71 c RESTART 765.60/765.82 c RESTART 765.60/765.89 c RESTART 765.70/765.97 c RESTART 765.80/766.05 c RESTART 765.90/766.15 c RESTART 766.00/766.22 c RESTART 766.10/766.30 c RESTART 766.20/766.43 c RESTART 766.30/766.52 c RESTART 766.30/766.58 c RESTART 778.00/778.28 c RESTART 778.80/779.05 c RESTART 839.70/839.97 c RESTART 839.90/840.19 c RESTART 840.00/840.28 c RESTART 840.11/840.35 c RESTART 840.21/840.42 c RESTART 840.30/840.52 c RESTART 840.30/840.59 c RESTART 840.40/840.68 c RESTART 840.60/840.83 c RESTART 840.70/840.92 c RESTART 840.80/841.06 c RESTART 840.90/841.13 c RESTART 841.10/841.31 c RESTART 841.21/841.45 c RESTART 841.31/841.55 c RESTART 841.40/841.69 c RESTART 841.60/841.89 c RESTART 841.80/842.04 c RESTART 841.90/842.15 c RESTART 842.10/842.32 c RESTART 842.20/842.45 c RESTART 842.31/842.56 c RESTART 842.41/842.67 c RESTART 842.50/842.73 c RESTART 842.50/842.79 c RESTART 842.60/842.86 c RESTART 842.70/842.97 c RESTART 842.80/843.05 c RESTART 842.90/843.11 c RESTART 843.00/843.22 c RESTART 843.70/843.98 c RESTART 843.80/844.07 c RESTART 843.90/844.18 c RESTART 844.00/844.29 c RESTART 844.20/844.42 c RESTART 844.30/844.52 c RESTART 844.40/844.62 c RESTART 844.51/844.73 c RESTART 844.51/844.78 c RESTART 844.61/844.88 c RESTART 844.70/844.96 c RESTART 844.80/845.05 c RESTART 844.90/845.16 c RESTART 845.00/845.23 c RESTART 845.10/845.38 c RESTART 845.20/845.49 c RESTART 845.30/845.58 c RESTART 845.40/845.66 c RESTART 845.50/845.75 c RESTART 845.50/845.80 c RESTART 845.71/845.97 c RESTART 845.80/846.06 c RESTART 845.90/846.19 c RESTART 846.10/846.30 c RESTART 846.20/846.42 c RESTART 846.20/846.46 c RESTART 846.40/846.61 c RESTART 846.40/846.67 c RESTART 846.50/846.77 c RESTART 846.60/846.83 c RESTART 846.60/846.89 c RESTART 846.71/846.97 c RESTART 846.81/847.04 c RESTART 846.90/847.18 c RESTART 847.00/847.25 c RESTART 847.10/847.31 c RESTART 847.20/847.45 c RESTART 847.91/848.19 c RESTART 848.00/848.29 c RESTART 848.10/848.38 c RESTART 848.20/848.48 c RESTART 848.30/848.56 c RESTART 848.40/848.68 c RESTART 848.50/848.75 c RESTART 848.60/848.88 c RESTART 848.70/849.00 c RESTART 848.90/849.14 c RESTART 849.00/849.27 c RESTART 849.10/849.37 c RESTART 849.20/849.46 c RESTART 849.30/849.53 c RESTART 849.40/849.60 c RESTART 849.40/849.69 c RESTART 849.50/849.74 c RESTART 849.60/849.89 c RESTART 849.70/849.97 c RESTART 849.80/850.06 c RESTART 849.90/850.15 c RESTART 850.01/850.25 c RESTART 850.11/850.32 c RESTART 850.20/850.44 c RESTART 850.30/850.54 c RESTART 850.40/850.62 c RESTART 850.50/850.71 c RESTART 850.50/850.77 c RESTART 850.60/850.88 c RESTART 850.70/850.93 c RESTART 850.80/851.02 c RESTART 850.90/851.10 c RESTART 851.00/851.24 c RESTART 851.10/851.35 c RESTART 851.30/851.51 c RESTART 851.40/851.62 c RESTART 851.50/851.77 c RESTART 851.60/851.89 c RESTART 851.70/851.98 c RESTART 851.80/852.04 c RESTART 851.90/852.11 c RESTART 851.90/852.19 c RESTART 852.00/852.27 c RESTART 852.10/852.34 c RESTART 852.20/852.48 c RESTART 852.30/852.56 c RESTART 852.40/852.69 c RESTART 852.50/852.78 c RESTART 852.70/852.92 c RESTART 852.80/853.00 c RESTART 852.90/853.12 c RESTART 853.00/853.22 c RESTART 853.10/853.34 c RESTART 853.20/853.47 c RESTART 853.30/853.53 c RESTART 854.50/854.76 c RESTART 854.70/854.92 c RESTART 854.70/854.99 c RESTART 854.90/855.10 c RESTART 854.90/855.19 c RESTART 855.00/855.28 c RESTART 855.20/855.47 c RESTART 855.30/855.57 c RESTART 855.40/855.66 c RESTART 855.50/855.79 c RESTART 855.60/855.89 c RESTART 855.80/856.02 c RESTART 856.00/856.24 c RESTART 856.10/856.33 c RESTART 856.20/856.44 c RESTART 856.30/856.53 c RESTART 856.40/856.63 c RESTART 856.50/856.70 c RESTART 856.60/856.85 c RESTART 856.60/856.90 c RESTART 856.80/857.02 c RESTART 856.90/857.13 c RESTART 857.00/857.25 c RESTART 857.10/857.32 c RESTART 857.10/857.37 c RESTART 857.20/857.44 c RESTART 857.30/857.54 c RESTART 857.40/857.60 c RESTART 857.50/857.70 c RESTART 857.50/857.78 c RESTART 857.60/857.83 c RESTART 857.60/857.89 c RESTART 857.70/857.97 c RESTART 857.80/858.08 c RESTART 857.90/858.17 c RESTART 858.00/858.22 c RESTART 858.00/858.29 c RESTART 858.10/858.35 c RESTART 858.20/858.45 c RESTART 858.30/858.53 c RESTART 858.40/858.62 c RESTART 858.50/858.73 c RESTART 858.50/858.79 c RESTART 858.60/858.88 c RESTART 858.70/858.97 c RESTART 858.81/859.06 c RESTART 858.91/859.15 c RESTART 859.00/859.23 c RESTART 859.00/859.29 c RESTART 859.10/859.37 c RESTART 859.20/859.47 c RESTART 859.40/859.69 c RESTART 859.50/859.76 c RESTART 859.70/859.95 c RESTART 859.80/860.05 c RESTART 859.91/860.11 c RESTART 859.91/860.17 c RESTART 860.01/860.25 c RESTART 860.10/860.31 c RESTART 860.10/860.36 c RESTART 860.20/860.43 c RESTART 860.30/860.52 c RESTART 860.30/860.59 c RESTART 860.40/860.65 c RESTART 860.50/860.74 c RESTART 860.60/860.81 c RESTART 860.70/860.90 c RESTART 860.70/860.97 c RESTART 860.80/861.04 c RESTART 860.90/861.14 c RESTART 861.00/861.21 c RESTART 861.00/861.27 c RESTART 861.10/861.35 c RESTART 861.20/861.42 c RESTART 861.20/861.48 c RESTART 861.30/861.57 c RESTART 861.40/861.68 c RESTART 861.50/861.77 c RESTART 861.60/861.84 c RESTART 861.70/861.93 c RESTART 861.80/862.01 c RESTART 861.90/862.12 c RESTART 862.00/862.22 c RESTART 862.00/862.29 c RESTART 862.10/862.36 c RESTART 862.20/862.41 c RESTART 862.20/862.48 c RESTART 862.30/862.58 c RESTART 862.40/862.62 c RESTART 862.40/862.68 c RESTART 862.50/862.78 c RESTART 862.60/862.82 c RESTART 862.60/862.88 c RESTART 862.70/862.99 c RESTART 862.80/863.06 c RESTART 862.90/863.14 c RESTART 862.90/863.19 c RESTART 863.10/863.30 c RESTART 863.20/863.43 c RESTART 863.20/863.50 c RESTART 863.69/863.97 c RESTART 863.89/864.11 c RESTART 863.99/864.23 c RESTART 864.09/864.39 c RESTART 864.30/864.51 c RESTART 864.40/864.61 c RESTART 864.49/864.72 c RESTART 864.59/864.81 c RESTART 864.69/864.91 c RESTART 864.79/865.04 c RESTART 864.89/865.15 c RESTART 865.09/865.38 c RESTART 865.19/865.43 c RESTART 865.29/865.50 c RESTART 865.29/865.54 c RESTART 865.40/865.63 c RESTART 865.50/865.72 c RESTART 865.59/865.86 c RESTART 865.69/865.91 c RESTART 865.69/865.99 c RESTART 865.89/866.10 c RESTART 865.89/866.18 c RESTART 865.99/866.27 c RESTART 866.09/866.35 c RESTART 866.19/866.42 c RESTART 866.29/866.57 c RESTART 866.39/866.68 c RESTART 866.60/866.82 c RESTART 866.79/867.00 c RESTART 866.89/867.10 c RESTART 866.99/867.22 c RESTART 867.09/867.31 c RESTART 867.19/867.45 c RESTART 867.29/867.56 c RESTART 867.49/867.72 c RESTART 867.60/867.89 c RESTART 867.79/868.00 c RESTART 868.39/868.69 c RESTART 868.49/868.79 c RESTART 874.49/874.78 c RESTART 874.59/874.84 c RESTART 874.69/874.92 c RESTART 874.79/875.06 c RESTART 874.99/875.29 c RESTART 875.09/875.38 c RESTART 875.19/875.50 c RESTART 875.40/875.64 c RESTART 875.49/875.74 c RESTART 875.59/875.80 c RESTART 875.59/875.85 c RESTART 875.69/875.91 c RESTART 875.69/875.97 c RESTART 875.79/876.08 c RESTART 875.89/876.15 c RESTART 875.99/876.23 c RESTART 876.09/876.33 c RESTART 876.09/876.39 c RESTART 876.19/876.46 c RESTART 876.29/876.54 c RESTART 876.39/876.61 c RESTART 876.49/876.74 c RESTART 876.49/876.78 c RESTART 876.59/876.84 c RESTART 876.69/876.90 c RESTART 876.79/877.01 c RESTART 876.79/877.08 c RESTART 876.89/877.15 c RESTART 876.99/877.25 c RESTART 877.09/877.37 c RESTART 877.19/877.42 c RESTART 877.19/877.49 c RESTART 877.29/877.57 c RESTART 877.39/877.67 c RESTART 877.49/877.73 c RESTART 877.59/877.81 c RESTART 877.59/877.87 c RESTART 877.69/877.98 c RESTART 877.89/878.12 c RESTART 877.99/878.24 c RESTART 878.09/878.31 c RESTART 878.09/878.35 c RESTART 878.19/878.43 c RESTART 878.19/878.49 c RESTART 878.29/878.53 c RESTART 878.39/878.64 c RESTART 878.49/878.71 c RESTART 878.49/878.76 c RESTART 878.59/878.86 c RESTART 878.69/878.96 c RESTART 878.79/879.04 c RESTART 878.89/879.12 c RESTART 878.99/879.23 c RESTART 878.99/879.29 c RESTART 879.09/879.37 c RESTART 879.19/879.49 c RESTART 879.39/879.63 c RESTART 879.49/879.70 c RESTART 879.49/879.79 c RESTART 879.59/879.87 c RESTART 879.69/879.95 c RESTART 879.79/880.03 c RESTART 879.79/880.08 c RESTART 879.99/880.27 c RESTART 880.09/880.38 c RESTART 880.19/880.47 c RESTART 880.29/880.54 c RESTART 880.39/880.60 c RESTART 880.39/880.67 c RESTART 880.49/880.73 c RESTART 880.58/880.83 c RESTART 880.68/880.94 c RESTART 880.79/881.01 c RESTART 880.89/881.17 c RESTART 880.98/881.28 c RESTART 881.08/881.37 c RESTART 881.28/881.51 c RESTART 881.38/881.62 c RESTART 881.48/881.71 c RESTART 881.48/881.78 c RESTART 881.58/881.87 c RESTART 881.68/881.92 c RESTART 881.78/882.03 c RESTART 881.99/882.21 c RESTART 882.08/882.32 c RESTART 882.18/882.43 c RESTART 882.28/882.56 c RESTART 882.38/882.66 c RESTART 882.48/882.76 c RESTART 882.58/882.85 c RESTART 882.68/882.92 c RESTART 882.68/882.99 c RESTART 882.78/883.08 c RESTART 882.88/883.17 c RESTART 882.99/883.25 c RESTART 883.09/883.37 c RESTART 883.18/883.46 c RESTART 883.29/883.56 c RESTART 883.39/883.65 c RESTART 883.39/883.70 c RESTART 883.59/883.81 c RESTART 883.69/883.92 c RESTART 883.79/884.04 c RESTART 883.79/884.09 c RESTART 883.89/884.16 c RESTART 883.99/884.25 c RESTART 884.09/884.33 c RESTART 884.19/884.41 c RESTART 884.29/884.50 c RESTART 884.29/884.55 c RESTART 884.39/884.67 c RESTART 884.49/884.75 c RESTART 884.59/884.83 c RESTART 884.69/884.91 c RESTART 884.69/884.99 c RESTART 884.79/885.06 c RESTART 884.89/885.15 c RESTART 884.99/885.20 c RESTART 884.99/885.26 c RESTART 885.09/885.31 c RESTART 885.09/885.35 c RESTART 885.19/885.46 c RESTART 885.29/885.53 c RESTART 885.39/885.66 c RESTART 885.49/885.75 c RESTART 885.59/885.82 c RESTART 885.69/885.93 c RESTART 885.79/886.02 c RESTART 885.89/886.10 c RESTART 885.89/886.19 c RESTART 885.99/886.29 c RESTART 886.09/886.35 c RESTART 886.19/886.42 c RESTART 886.19/886.47 c RESTART 886.29/886.53 c RESTART 886.29/886.60 c RESTART 886.39/886.67 c RESTART 886.49/886.76 c RESTART 886.59/886.84 c RESTART 886.59/886.89 c RESTART 886.69/886.97 c RESTART 886.79/887.02 c RESTART 886.79/887.07 c RESTART 886.99/887.20 c RESTART 886.99/887.28 c RESTART 887.09/887.35 c RESTART 887.69/887.90 c RESTART 887.79/888.00 c RESTART 887.99/888.21 c RESTART 887.99/888.28 c RESTART 888.08/888.36 c RESTART 888.19/888.42 c RESTART 888.28/888.56 c RESTART 888.38/888.66 c RESTART 888.49/888.74 c RESTART 889.78/890.04 c RESTART 889.98/890.24 c RESTART 890.08/890.31 c RESTART 890.18/890.43 c RESTART 890.38/890.64 c RESTART 890.48/890.74 c RESTART 890.58/890.81 c RESTART 890.69/890.93 c RESTART 890.88/891.11 c RESTART 890.98/891.21 c RESTART 891.08/891.33 c RESTART 891.18/891.48 c RESTART 891.28/891.56 c RESTART 891.38/891.67 c RESTART 891.48/891.75 c RESTART 891.58/891.88 c RESTART 891.68/891.98 c RESTART 891.89/892.14 c RESTART 891.98/892.27 c RESTART 892.18/892.43 c RESTART 892.28/892.56 c RESTART 892.38/892.62 c RESTART 892.38/892.69 c RESTART 892.48/892.78 c RESTART 892.58/892.88 c RESTART 892.68/892.98 c RESTART 892.78/893.08 c RESTART 892.89/893.14 c RESTART 892.99/893.22 c RESTART 892.99/893.29 c RESTART 893.18/893.41 c RESTART 893.18/893.48 c RESTART 893.28/893.58 c RESTART 893.38/893.70 c RESTART 893.58/893.88 c RESTART 893.68/893.96 c RESTART 893.78/894.02 c RESTART 893.88/894.11 c RESTART 893.88/894.18 c RESTART 893.99/894.25 c RESTART 894.09/894.36 c RESTART 894.18/894.44 c RESTART 894.38/894.61 c RESTART 894.38/894.68 c RESTART 894.58/894.85 c RESTART 894.68/894.95 c RESTART 894.78/895.03 c RESTART 894.88/895.16 c RESTART 894.98/895.25 c RESTART 895.08/895.32 c RESTART 895.18/895.41 c RESTART 895.28/895.52 c RESTART 895.38/895.63 c RESTART 895.48/895.73 c RESTART 895.48/895.79 c RESTART 895.58/895.89 c RESTART 895.68/895.99 c RESTART 895.78/896.04 c RESTART 897.78/898.06 c RESTART 897.98/898.24 c RESTART 898.08/898.36 c RESTART 898.28/898.56 c RESTART 907.58/907.88 c RESTART 907.78/908.00 c RESTART 907.78/908.05 c RESTART 908.68/908.93 c RESTART 911.98/912.24 c RESTART 912.28/912.56 c RESTART 912.98/913.27 c RESTART 913.08/913.34 c RESTART 913.18/913.47 c RESTART 913.38/913.62 c RESTART 913.48/913.70 c RESTART 913.58/913.83 c RESTART 913.78/914.09 c RESTART 913.98/914.20 c RESTART 913.98/914.29 c RESTART 914.08/914.37 c RESTART 914.18/914.47 c RESTART 914.28/914.52 c RESTART 914.38/914.60 c RESTART 914.38/914.65 c RESTART 914.48/914.72 c RESTART 914.48/914.75 c RESTART 914.58/914.85 c RESTART 914.77/915.01 c RESTART 914.88/915.12 c RESTART 914.88/915.18 c RESTART 914.98/915.25 c RESTART 915.17/915.48 c RESTART 915.27/915.57 c RESTART 915.37/915.65 c RESTART 915.48/915.71 c RESTART 915.58/915.81 c RESTART 915.58/915.88 c RESTART 915.68/915.95 c RESTART 915.78/916.01 c RESTART 915.78/916.06 c RESTART 915.98/916.25 c RESTART 915.98/916.30 c RESTART 916.08/916.39 c RESTART 916.18/916.48 c RESTART 916.28/916.58 c RESTART 916.37/916.68 c RESTART 916.47/916.74 c RESTART 916.57/916.85 c RESTART 916.77/917.00 c RESTART 916.77/917.06 c RESTART 916.87/917.18 c RESTART 916.97/917.24 c RESTART 917.08/917.32 c RESTART 917.18/917.43 c RESTART 917.27/917.51 c RESTART 917.37/917.64 c RESTART 917.47/917.70 c RESTART 917.47/917.78 c RESTART 917.57/917.86 c RESTART 917.67/917.95 c RESTART 917.77/918.02 c RESTART 917.77/918.08 c RESTART 917.97/918.23 c RESTART 917.97/918.29 c RESTART 918.07/918.37 c RESTART 918.18/918.49 c RESTART 918.28/918.55 c RESTART 918.37/918.66 c RESTART 918.47/918.77 c RESTART 918.57/918.81 c RESTART 918.67/918.92 c RESTART 918.77/919.00 c RESTART 918.77/919.07 c RESTART 918.87/919.13 c RESTART 918.87/919.19 c RESTART 919.07/919.31 c RESTART 919.07/919.39 c RESTART 919.17/919.48 c RESTART 919.27/919.55 c RESTART 919.37/919.66 c RESTART 919.47/919.79 c RESTART 919.57/919.83 c RESTART 919.67/919.94 c RESTART 919.77/920.00 c RESTART 919.77/920.08 c RESTART 919.87/920.14 c RESTART 919.97/920.24 c RESTART 920.07/920.32 c RESTART 920.37/920.64 c RESTART 920.48/920.72 c RESTART 920.57/920.81 c RESTART 920.57/920.89 c RESTART 920.67/920.96 c RESTART 920.77/921.09 c RESTART 920.97/921.20 c RESTART 920.97/921.29 c RESTART 921.07/921.36 c RESTART 921.17/921.47 c RESTART 921.27/921.55 c RESTART 921.37/921.62 c RESTART 921.47/921.73 c RESTART 921.57/921.81 c RESTART 921.57/921.86 c RESTART 921.67/921.95 c RESTART 921.77/922.02 c RESTART 921.87/922.12 c RESTART 921.97/922.20 c RESTART 921.97/922.27 c RESTART 922.07/922.32 c RESTART 922.07/922.39 c RESTART 922.27/922.56 c RESTART 922.37/922.63 c RESTART 922.47/922.78 c RESTART 922.57/922.88 c RESTART 922.67/922.98 c RESTART 922.77/923.06 c RESTART 922.87/923.12 c RESTART 922.97/923.28 c RESTART 923.07/923.36 c RESTART 923.17/923.47 c RESTART 923.27/923.59 c RESTART 923.47/923.72 c RESTART 923.57/923.81 c RESTART 923.57/923.89 c RESTART 923.67/923.95 c RESTART 923.77/924.00 c RESTART 923.87/924.11 c RESTART 923.97/924.20 c RESTART 923.97/924.29 c RESTART 924.17/924.42 c RESTART 924.27/924.52 c RESTART 924.37/924.60 c RESTART 924.37/924.64 c RESTART 924.47/924.73 c RESTART 924.57/924.81 c RESTART 924.57/924.89 c RESTART 924.67/925.00 c RESTART 924.87/925.13 c RESTART 924.97/925.25 c RESTART 925.07/925.38 c RESTART 925.27/925.57 c RESTART 925.47/925.74 c RESTART 925.67/925.91 c RESTART 925.77/926.08 c RESTART 925.87/926.16 c RESTART 926.67/926.94 c RESTART 926.77/927.05 c RESTART 926.87/927.13 c RESTART 926.97/927.25 c RESTART 927.17/927.40 c RESTART 927.27/927.51 c RESTART 927.37/927.64 c RESTART 927.47/927.77 c RESTART 927.57/927.84 c RESTART 927.67/927.94 c RESTART 927.77/928.00 c RESTART 927.77/928.09 c RESTART 927.87/928.18 c RESTART 928.07/928.33 c RESTART 928.17/928.42 c RESTART 928.27/928.50 c RESTART 928.37/928.61 c RESTART 928.47/928.70 c RESTART 928.47/928.76 c RESTART 928.57/928.88 c RESTART 928.67/928.94 c RESTART 928.77/929.05 c RESTART 928.97/929.22 c RESTART 928.97/929.29 c RESTART 929.07/929.37 c RESTART 929.17/929.47 c RESTART 929.27/929.56 c RESTART 929.37/929.60 c RESTART 929.47/929.72 c RESTART 929.57/929.85 c RESTART 929.67/929.93 c RESTART 929.76/930.04 c RESTART 929.86/930.10 c RESTART 929.86/930.19 c RESTART 929.96/930.28 c RESTART 930.06/930.34 c RESTART 930.16/930.40 c RESTART 930.27/930.56 c RESTART 930.37/930.66 c RESTART 930.46/930.72 c RESTART 930.46/930.78 c RESTART 930.56/930.86 c RESTART 930.66/930.92 c RESTART 930.76/931.01 c RESTART 930.76/931.08 c RESTART 930.96/931.21 c RESTART 931.06/931.32 c RESTART 931.16/931.41 c RESTART 931.16/931.47 c RESTART 931.26/931.57 c RESTART 931.37/931.68 c RESTART 931.47/931.74 c RESTART 931.47/931.79 c RESTART 931.56/931.89 c RESTART 931.66/931.95 c RESTART 931.76/932.08 c RESTART 931.86/932.15 c RESTART 931.96/932.26 c RESTART 932.06/932.34 c RESTART 932.16/932.43 c RESTART 932.26/932.55 c RESTART 932.36/932.64 c RESTART 932.57/932.86 c RESTART 932.76/933.00 c RESTART 932.76/933.09 c RESTART 932.86/933.18 c RESTART 932.96/933.26 c RESTART 933.06/933.37 c RESTART 933.16/933.44 c RESTART 933.26/933.54 c RESTART 933.36/933.62 c RESTART 933.46/933.70 c RESTART 933.46/933.77 c RESTART 933.57/933.82 c RESTART 933.67/933.92 c RESTART 933.67/934.00 c RESTART 933.76/934.06 c RESTART 933.96/934.20 c RESTART 933.96/934.26 c RESTART 934.06/934.33 c RESTART 934.16/934.43 c RESTART 934.26/934.50 c RESTART 934.26/934.58 c RESTART 934.36/934.67 c RESTART 934.46/934.75 c RESTART 934.56/934.80 c RESTART 934.67/934.93 c RESTART 934.77/935.04 c RESTART 934.86/935.16 c RESTART 935.26/935.57 c RESTART 935.36/935.67 c RESTART 935.56/935.83 c RESTART 935.66/935.95 c RESTART 935.77/936.05 c RESTART 935.87/936.13 c RESTART 935.96/936.23 c RESTART 936.06/936.30 c RESTART 936.16/936.43 c RESTART 936.16/936.50 c RESTART 936.26/936.56 c RESTART 936.36/936.62 c RESTART 936.46/936.70 c RESTART 936.46/936.78 c RESTART 936.56/936.86 c RESTART 936.66/936.94 c RESTART 936.76/937.00 c RESTART 936.76/937.06 c RESTART 936.87/937.12 c RESTART 936.87/937.17 c RESTART 936.97/937.27 c RESTART 937.06/937.34 c RESTART 937.06/937.39 c RESTART 937.16/937.44 c RESTART 937.26/937.52 c RESTART 937.36/937.64 c RESTART 937.46/937.70 c RESTART 937.56/937.80 c RESTART 937.56/937.87 c RESTART 937.66/937.92 c RESTART 937.66/937.99 c RESTART 937.76/938.04 c RESTART 937.86/938.12 c RESTART 937.86/938.19 c RESTART 937.97/938.25 c RESTART 938.07/938.39 c RESTART 938.26/938.53 c RESTART 938.37/938.68 c RESTART 938.47/938.76 c RESTART 938.57/938.80 c RESTART 938.57/938.86 c RESTART 938.67/938.93 c RESTART 938.77/939.05 c RESTART 938.87/939.15 c RESTART 938.97/939.22 c RESTART 938.97/939.29 c RESTART 939.08/939.36 c RESTART 939.18/939.43 c RESTART 939.18/939.48 c RESTART 939.27/939.57 c RESTART 939.37/939.67 c RESTART 939.57/939.82 c RESTART 939.67/939.93 c RESTART 939.77/940.00 c RESTART 939.77/940.09 c RESTART 939.87/940.17 c RESTART 940.07/940.30 c RESTART 940.07/940.35 c RESTART 940.18/940.42 c RESTART 940.28/940.55 c RESTART 940.37/940.63 c RESTART 940.47/940.73 c RESTART 940.57/940.85 c RESTART 940.67/940.97 c RESTART 940.77/941.04 c RESTART 940.87/941.19 c RESTART 940.97/941.27 c RESTART 941.07/941.36 c RESTART 941.27/941.53 c RESTART 941.37/941.62 c RESTART 941.47/941.74 c RESTART 941.57/941.83 c RESTART 941.57/941.89 c RESTART 941.67/941.99 c RESTART 941.77/942.09 c RESTART 941.87/942.17 c RESTART 941.97/942.28 c RESTART 942.07/942.36 c RESTART 942.17/942.41 c RESTART 942.17/942.48 c RESTART 942.37/942.60 c RESTART 942.47/942.71 c RESTART 942.57/942.82 c RESTART 942.67/942.92 c RESTART 942.77/943.05 c RESTART 942.87/943.11 c RESTART 942.87/943.19 c RESTART 942.97/943.28 c RESTART 943.17/943.40 c RESTART 943.17/943.48 c RESTART 943.27/943.59 c RESTART 943.47/943.70 c RESTART 943.47/943.77 c RESTART 943.57/943.83 c RESTART 943.67/943.94 c RESTART 943.77/944.02 c RESTART 943.87/944.18 c RESTART 944.07/944.30 c RESTART 944.07/944.38 c RESTART 944.27/944.50 c RESTART 944.37/944.62 c RESTART 944.37/944.69 c RESTART 944.57/944.81 c RESTART 944.67/944.93 c RESTART 944.77/945.02 c RESTART 944.87/945.12 c RESTART 944.97/945.25 c RESTART 945.07/945.33 c RESTART 945.17/945.41 c RESTART 945.27/945.55 c RESTART 945.37/945.66 c RESTART 945.47/945.72 c RESTART 945.47/945.79 c RESTART 945.57/945.86 c RESTART 945.67/945.99 c RESTART 945.87/946.19 c RESTART 945.97/946.26 c RESTART 946.07/946.39 c RESTART 946.27/946.52 c RESTART 946.37/946.63 c RESTART 946.47/946.73 c RESTART 946.57/946.82 c RESTART 946.67/946.96 c RESTART 946.77/947.09 c RESTART 946.97/947.21 c RESTART 947.07/947.34 c RESTART 947.17/947.40 c RESTART 947.17/947.47 c RESTART 947.27/947.55 c RESTART 947.37/947.64 c RESTART 947.47/947.78 c RESTART 947.57/947.86 c RESTART 947.67/947.92 c RESTART 947.77/948.02 c RESTART 947.77/948.10 c RESTART 947.87/948.20 c RESTART 947.97/948.27 c RESTART 948.17/948.48 c RESTART 948.47/948.75 c RESTART 948.57/948.85 c RESTART 948.67/948.98 c RESTART 948.77/949.09 c RESTART 948.97/949.22 c RESTART 948.97/949.29 c RESTART 949.07/949.34 c RESTART 949.17/949.42 c RESTART 949.27/949.50 c RESTART 949.37/949.61 c RESTART 949.47/949.73 c RESTART 949.57/949.82 c RESTART 949.67/949.93 c RESTART 949.67/949.98 c RESTART 950.37/950.69 c RESTART 950.47/950.76 c RESTART 950.57/950.83 c RESTART 950.87/951.16 c RESTART 950.97/951.26 c RESTART 951.17/951.40 c RESTART 951.37/951.61 c RESTART 951.47/951.70 c RESTART 951.57/951.81 c RESTART 951.57/951.85 c RESTART 951.67/951.96 c RESTART 951.87/952.10 c RESTART 951.97/952.29 c RESTART 952.07/952.38 c RESTART 952.27/952.54 c RESTART 952.47/952.71 c RESTART 952.57/952.85 c RESTART 952.67/952.94 c RESTART 952.77/953.01 c RESTART 952.77/953.07 c RESTART 952.87/953.11 c RESTART 952.97/953.23 c RESTART 953.07/953.31 c RESTART 953.17/953.44 c RESTART 953.47/953.71 c RESTART 953.57/953.83 c RESTART 953.67/953.92 c RESTART 953.87/954.16 c RESTART 953.97/954.28 c RESTART 954.77/955.01 c RESTART 954.86/955.12 c RESTART 955.16/955.44 c RESTART 955.26/955.54 c RESTART 955.36/955.67 c RESTART 955.46/955.78 c RESTART 955.57/955.88 c RESTART 955.76/956.00 c RESTART 955.76/956.09 c RESTART 955.86/956.19 c RESTART 955.96/956.26 c RESTART 956.16/956.41 c RESTART 956.26/956.53 c RESTART 956.36/956.62 c RESTART 956.36/956.68 c RESTART 956.46/956.76 c RESTART 956.86/957.12 c RESTART 956.96/957.25 c RESTART 957.06/957.33 c RESTART 957.16/957.42 c RESTART 957.26/957.52 c RESTART 957.36/957.61 c RESTART 957.46/957.73 c RESTART 957.66/957.93 c RESTART 957.76/958.01 c RESTART 957.86/958.14 c RESTART 957.96/958.23 c RESTART 958.06/958.38 c RESTART 958.26/958.50 c RESTART 958.26/958.59 c RESTART 958.36/958.63 c RESTART 958.46/958.78 c RESTART 958.56/958.87 c RESTART 958.66/958.94 c RESTART 958.76/959.03 c RESTART 959.76/960.08 c RESTART 959.86/960.19 c RESTART 959.96/960.26 c RESTART 960.16/960.43 c RESTART 960.36/960.61 c RESTART 960.56/960.82 c RESTART 960.76/961.05 c RESTART 960.86/961.13 c RESTART 960.96/961.25 c RESTART 961.06/961.39 c RESTART 961.16/961.47 c RESTART 961.26/961.55 c RESTART 961.36/961.64 c RESTART 961.46/961.76 c RESTART 961.56/961.89 c RESTART 961.66/962.00 c RESTART 961.86/962.10 c RESTART 961.96/962.20 c RESTART 962.05/962.30 c RESTART 962.05/962.39 c RESTART 962.16/962.50 c RESTART 962.26/962.57 c RESTART 962.35/962.68 c RESTART 962.55/962.80 c RESTART 962.55/962.86 c RESTART 962.75/963.00 c RESTART 962.85/963.10 c RESTART 962.85/963.15 c RESTART 962.95/963.23 c RESTART 963.05/963.31 c RESTART 963.26/963.53 c RESTART 963.36/963.65 c RESTART 963.45/963.77 c RESTART 963.65/963.90 c RESTART 963.75/964.02 c RESTART 963.85/964.15 c RESTART 963.95/964.25 c RESTART 964.05/964.31 c RESTART 964.05/964.37 c RESTART 964.35/964.60 c RESTART 964.45/964.75 c RESTART 964.55/964.84 c RESTART 964.65/964.93 c RESTART 964.85/965.15 c RESTART 965.05/965.31 c RESTART 965.15/965.44 c RESTART 965.15/965.48 c RESTART 965.35/965.60 c RESTART 965.45/965.75 c RESTART 965.55/965.88 c RESTART 965.75/966.04 c RESTART 965.85/966.11 c RESTART 965.85/966.19 c RESTART 965.95/966.28 c RESTART 966.05/966.34 c RESTART 966.15/966.44 c RESTART 966.25/966.58 c RESTART 966.45/966.71 c RESTART 966.45/966.80 c RESTART 966.55/966.90 c RESTART 966.65/966.97 c RESTART 966.85/967.15 c RESTART 966.95/967.23 c RESTART 967.15/967.41 c RESTART 967.15/967.47 c RESTART 967.25/967.59 c RESTART 967.35/967.69 c RESTART 967.55/967.80 c RESTART 967.55/967.87 c RESTART 967.75/968.04 c RESTART 967.85/968.18 c RESTART 968.05/968.39 c RESTART 968.15/968.46 c RESTART 968.35/968.62 c RESTART 968.45/968.71 c RESTART 968.45/968.78 c RESTART 969.45/969.76 c RESTART 969.55/969.89 c RESTART 969.75/970.00 c RESTART 969.85/970.13 c RESTART 969.85/970.18 c RESTART 969.95/970.29 c RESTART 970.15/970.42 c RESTART 970.25/970.54 c RESTART 970.35/970.62 c RESTART 970.45/970.71 c RESTART 970.45/970.79 c RESTART 970.55/970.84 c RESTART 970.65/970.90 c RESTART 970.65/970.96 c RESTART 970.75/971.03 c RESTART 970.85/971.10 c RESTART 970.85/971.16 c RESTART 970.95/971.26 c RESTART 971.05/971.38 c RESTART 971.15/971.42 c RESTART 971.25/971.54 c RESTART 971.35/971.66 c RESTART 971.45/971.79 c RESTART 971.54/971.88 c RESTART 971.74/972.00 c RESTART 971.74/972.08 c RESTART 971.94/972.21 c RESTART 971.94/972.28 c RESTART 972.05/972.34 c RESTART 972.15/972.45 c RESTART 972.24/972.56 c RESTART 972.34/972.63 c RESTART 972.44/972.73 c RESTART 972.54/972.80 c RESTART 972.64/972.92 c RESTART 972.74/973.06 c RESTART 972.94/973.28 c RESTART 973.15/973.40 c RESTART 973.25/973.51 c RESTART 973.25/973.57 c RESTART 973.34/973.67 c RESTART 973.44/973.75 c RESTART 973.54/973.82 c RESTART 973.64/973.94 c RESTART 973.74/974.03 c RESTART 973.84/974.16 c RESTART 973.94/974.28 c RESTART 974.04/974.38 c RESTART 974.14/974.49 c RESTART 974.25/974.57 c RESTART 974.44/974.73 c RESTART 974.54/974.84 c RESTART 974.74/975.04 c RESTART 974.84/975.19 c RESTART 975.04/975.30 c RESTART 975.14/975.41 c RESTART 975.24/975.53 c RESTART 975.35/975.69 c RESTART 975.45/975.76 c RESTART 975.54/975.86 c RESTART 975.64/975.95 c RESTART 975.74/976.09 c RESTART 975.94/976.21 c RESTART 976.04/976.31 c RESTART 976.14/976.40 c RESTART 976.14/976.47 c RESTART 976.34/976.64 c RESTART 976.45/976.79 c RESTART 977.34/977.61 c RESTART 977.44/977.70 c RESTART 977.55/977.84 c RESTART 977.65/977.97 c RESTART 977.84/978.10 c RESTART 977.94/978.21 c RESTART 977.94/978.27 c RESTART 978.14/978.42 c RESTART 978.24/978.54 c RESTART 978.34/978.69 c RESTART 978.44/978.77 c RESTART 978.65/978.91 c RESTART 978.65/978.98 c RESTART 978.75/979.07 c RESTART 978.94/979.22 c RESTART 978.94/979.29 c RESTART 979.14/979.40 c RESTART 979.24/979.50 c RESTART 979.44/979.71 c RESTART 979.75/980.04 c RESTART 979.85/980.13 c RESTART 979.94/980.20 c RESTART 980.04/980.30 c RESTART 980.04/980.36 c RESTART 980.85/981.14 c RESTART 980.85/981.20 c RESTART 980.95/981.28 c RESTART 981.04/981.35 c RESTART 981.14/981.43 c RESTART 981.24/981.55 c RESTART 981.34/981.68 c RESTART 981.54/981.80 c RESTART 981.64/981.90 c RESTART 981.74/982.00 c RESTART 981.74/982.08 c RESTART 981.84/982.17 c RESTART 981.95/982.24 c RESTART 982.05/982.31 c RESTART 982.14/982.40 c RESTART 982.14/982.49 c RESTART 982.24/982.57 c RESTART 982.34/982.64 c RESTART 982.44/982.71 c RESTART 982.44/982.79 c RESTART 982.54/982.86 c RESTART 982.64/982.99 c RESTART 982.74/983.07 c RESTART 982.84/983.15 c RESTART 983.05/983.30 c RESTART 983.15/983.41 c RESTART 983.24/983.50 c RESTART 983.34/983.63 c RESTART 983.44/983.72 c RESTART 983.44/983.79 c RESTART 983.64/983.97 c RESTART 983.74/984.07 c RESTART 983.84/984.16 c RESTART 983.94/984.23 c RESTART 984.04/984.36 c RESTART 984.44/984.76 c RESTART 984.64/984.94 c RESTART 984.74/985.05 c RESTART 984.84/985.11 c RESTART 984.94/985.22 c RESTART 985.14/985.42 c RESTART 985.25/985.54 c RESTART 985.44/985.71 c RESTART 985.64/985.95 c RESTART 985.84/986.11 c RESTART 985.94/986.22 c RESTART 986.04/986.33 c RESTART 986.14/986.41 c RESTART 986.14/986.49 c RESTART 986.24/986.59 c RESTART 986.35/986.69 c RESTART 986.54/986.83 c RESTART 986.64/986.91 c RESTART 986.74/987.02 c RESTART 986.74/987.09 c RESTART 986.94/987.24 c RESTART 987.04/987.33 c RESTART 987.14/987.45 c RESTART 987.34/987.62 c RESTART 987.34/987.67 c RESTART 987.44/987.72 c RESTART 987.54/987.87 c RESTART 987.64/987.98 c RESTART 987.84/988.10 c RESTART 987.84/988.19 c RESTART 988.04/988.31 c RESTART 988.04/988.35 c RESTART 988.14/988.47 c RESTART 988.24/988.59 c RESTART 988.34/988.67 c RESTART 988.54/988.84 c RESTART 988.64/988.92 c RESTART 988.64/988.96 c RESTART 988.73/989.02 c RESTART 988.83/989.16 c RESTART 988.93/989.27 c RESTART 989.03/989.34 c RESTART 989.13/989.44 c RESTART 989.23/989.55 c RESTART 989.33/989.66 c RESTART 989.43/989.79 c RESTART 989.53/989.90 c RESTART 989.64/990.00 c RESTART 989.74/990.06 c RESTART 989.83/990.15 c RESTART 989.93/990.20 c RESTART 990.03/990.30 c RESTART 990.13/990.47 c RESTART 990.33/990.62 c RESTART 990.43/990.74 c RESTART 990.53/990.84 c RESTART 990.63/990.96 c RESTART 990.74/991.09 c RESTART 990.84/991.18 c RESTART 990.93/991.25 c RESTART 991.03/991.32 c RESTART 991.13/991.40 c RESTART 991.13/991.48 c RESTART 991.23/991.56 c RESTART 991.33/991.65 c RESTART 991.43/991.76 c RESTART 991.63/991.97 c RESTART 991.84/992.13 c RESTART 991.94/992.24 c RESTART 992.04/992.34 c RESTART 992.14/992.43 c RESTART 992.24/992.57 c RESTART 992.34/992.66 c RESTART 992.44/992.74 c RESTART 992.54/992.87 c RESTART 992.64/992.98 c RESTART 992.74/993.09 c RESTART 992.84/993.18 c RESTART 992.94/993.29 c RESTART 993.04/993.39 c RESTART 993.24/993.58 c RESTART 993.34/993.69 c RESTART 993.53/993.82 c RESTART 993.63/993.94 c RESTART 993.73/994.05 c RESTART 993.83/994.17 c RESTART 993.93/994.28 c RESTART 994.04/994.39 c RESTART 994.23/994.50 c RESTART 994.23/994.59 c RESTART 994.33/994.66 c RESTART 994.43/994.76 c RESTART 994.53/994.89 c RESTART 994.63/994.99 c RESTART 994.83/995.13 c RESTART 994.93/995.29 c RESTART 995.03/995.38 c RESTART 995.14/995.49 c RESTART 995.24/995.55 c RESTART 995.24/995.59 c RESTART 995.33/995.67 c RESTART 995.43/995.74 c RESTART 995.53/995.84 c RESTART 995.63/995.94 c RESTART 995.73/996.04 c RESTART 995.83/996.17 c RESTART 995.93/996.25 c RESTART 996.13/996.42 c RESTART 996.24/996.54 c RESTART 996.34/996.68 c RESTART 996.43/996.76 c RESTART 996.53/996.88 c RESTART 996.73/997.02 c RESTART 996.83/997.10 c RESTART 996.83/997.15 c RESTART 996.93/997.22 c RESTART 997.13/997.42 c RESTART 997.23/997.56 c RESTART 997.34/997.69 c RESTART 997.44/997.78 c RESTART 997.53/997.83 c RESTART 997.73/998.01 c RESTART 997.83/998.10 c RESTART 997.83/998.18 c RESTART 997.93/998.28 c RESTART 998.03/998.39 c RESTART 998.13/998.48 c RESTART 998.34/998.65 c RESTART 998.45/998.74 c RESTART 998.55/998.83 c RESTART 998.64/998.99 c RESTART 998.84/999.13 c RESTART 999.04/999.30 c RESTART 999.14/999.43 c RESTART 999.34/999.60 c RESTART 999.44/999.70 c RESTART 999.55/999.88 c RESTART 999.65/999.99 c RESTART 999.84/1000.14 c RESTART 999.94/1000.26 c RESTART 1000.04/1000.35 c RESTART 1000.14/1000.45 c RESTART 1000.24/1000.52 c RESTART 1000.24/1000.59 c RESTART 1000.44/1000.71 c RESTART 1000.54/1000.82 c RESTART 1000.65/1000.91 c RESTART 1000.75/1001.09 c RESTART 1000.94/1001.24 c RESTART 1001.14/1001.46 c RESTART 1001.24/1001.57 c RESTART 1001.34/1001.67 c RESTART 1001.44/1001.74 c RESTART 1001.54/1001.86 c RESTART 1001.64/1001.91 c RESTART 1001.64/1001.99 c RESTART 1001.84/1002.13 c RESTART 1001.94/1002.28 c RESTART 1002.04/1002.37 c RESTART 1002.14/1002.44 c RESTART 1002.24/1002.51 c RESTART 1002.34/1002.62 c RESTART 1002.44/1002.74 c RESTART 1002.54/1002.85 c RESTART 1002.64/1002.94 c RESTART 1002.74/1003.04 c RESTART 1002.95/1003.23 c RESTART 1003.24/1003.52 c RESTART 1003.34/1003.64 c RESTART 1003.44/1003.75 c RESTART 1003.84/1004.16 c RESTART 1004.04/1004.34 c RESTART 1004.14/1004.44 c RESTART 1004.24/1004.57 c RESTART 1004.44/1004.72 c RESTART 1004.54/1004.84 c RESTART 1004.64/1004.97 c RESTART 1004.94/1005.23 c RESTART 1005.04/1005.38 c RESTART 1005.14/1005.49 c RESTART 1005.34/1005.63 c RESTART 1005.54/1005.80 c RESTART 1005.74/1006.00 c RESTART 1005.74/1006.07 c RESTART 1005.84/1006.17 c RESTART 1005.94/1006.27 c RESTART 1006.04/1006.39 c RESTART 1006.24/1006.54 c RESTART 1006.34/1006.68 c RESTART 1006.74/1007.05 c RESTART 1006.84/1007.14 c RESTART 1006.93/1007.27 c RESTART 1007.03/1007.35 c RESTART 1007.13/1007.42 c RESTART 1007.24/1007.53 c RESTART 1007.34/1007.60 c RESTART 1007.34/1007.68 c RESTART 1007.63/1007.93 c RESTART 1007.83/1008.11 c RESTART 1007.83/1008.18 c RESTART 1007.93/1008.25 c RESTART 1008.03/1008.36 c RESTART 1008.13/1008.43 c RESTART 1008.13/1008.49 c RESTART 1008.83/1009.16 c RESTART 1009.03/1009.35 c RESTART 1009.13/1009.45 c RESTART 1009.23/1009.58 c RESTART 1009.33/1009.64 c RESTART 1009.44/1009.76 c RESTART 1009.54/1009.85 c RESTART 1009.63/1009.92 c RESTART 1009.63/1009.98 c RESTART 1009.73/1010.05 c RESTART 1010.13/1010.41 c RESTART 1010.13/1010.50 c RESTART 1010.23/1010.58 c RESTART 1010.43/1010.72 c RESTART 1010.64/1010.91 c RESTART 1010.64/1010.99 c RESTART 1010.83/1011.11 c RESTART 1010.83/1011.19 c RESTART 1011.03/1011.30 c RESTART 1011.03/1011.37 c RESTART 1015.33/1015.68 c RESTART 1023.43/1023.74 c RESTART 1023.53/1023.87 c RESTART 1023.63/1023.94 c RESTART 1023.74/1024.04 c RESTART 1023.84/1024.16 c RESTART 1023.93/1024.26 c RESTART 1024.03/1024.35 c RESTART 1024.13/1024.49 c RESTART 1024.33/1024.61 c RESTART 1024.43/1024.74 c RESTART 1024.53/1024.86 c RESTART 1024.63/1024.93 c RESTART 1024.73/1025.06 c RESTART 1024.84/1025.18 c RESTART 1025.03/1025.31 c RESTART 1025.13/1025.49 c RESTART 1025.33/1025.65 c RESTART 1025.33/1025.69 c RESTART 1025.53/1025.81 c RESTART 1034.53/1034.90 c RESTART 1034.93/1035.29 c RESTART 1035.23/1035.53 c RESTART 1035.33/1035.62 c RESTART 1035.43/1035.73 c RESTART 1035.53/1035.83 c RESTART 1037.03/1037.35 c RESTART 1037.23/1037.50 c RESTART 1037.33/1037.61 c RESTART 1037.43/1037.70 c RESTART 1037.53/1037.84 c RESTART 1037.63/1037.98 c RESTART 1037.83/1038.10 c RESTART 1037.93/1038.22 c RESTART 1037.93/1038.30 c RESTART 1038.03/1038.38 c RESTART 1038.53/1038.80 c RESTART 1038.63/1038.97 c RESTART 1038.83/1039.10 c RESTART 1038.93/1039.20 c RESTART 1038.93/1039.24 c RESTART 1039.03/1039.34 c RESTART 1039.03/1039.40 c RESTART 1039.13/1039.49 c RESTART 1039.23/1039.57 c RESTART 1039.33/1039.69 c RESTART 1039.52/1039.81 c RESTART 1039.52/1039.89 c RESTART 1039.72/1040.02 c RESTART 1039.72/1040.09 c RESTART 1039.82/1040.14 c RESTART 1040.02/1040.33 c RESTART 1040.23/1040.53 c RESTART 1040.23/1040.58 c RESTART 1040.92/1041.27 c RESTART 1041.03/1041.36 c RESTART 1041.23/1041.50 c RESTART 1041.33/1041.62 c RESTART 1041.33/1041.70 c RESTART 1041.53/1041.83 c RESTART 1041.63/1041.99 c RESTART 1041.83/1042.15 c RESTART 1041.93/1042.27 c RESTART 1042.03/1042.33 c RESTART 1042.13/1042.47 c RESTART 1042.23/1042.57 c RESTART 1042.33/1042.68 c RESTART 1042.43/1042.78 c RESTART 1042.63/1042.92 c RESTART 1042.63/1042.97 c RESTART 1042.83/1043.18 c RESTART 1042.93/1043.30 c RESTART 1043.03/1043.39 c RESTART 1043.13/1043.48 c RESTART 1043.33/1043.64 c RESTART 1043.43/1043.72 c RESTART 1043.73/1044.04 c RESTART 1043.82/1044.13 c RESTART 1043.92/1044.25 c RESTART 1045.73/1046.10 c RESTART 1045.92/1046.22 c RESTART 1046.02/1046.35 c RESTART 1046.12/1046.47 c RESTART 1046.32/1046.61 c RESTART 1046.42/1046.70 c RESTART 1046.52/1046.84 c RESTART 1047.02/1047.32 c RESTART 1047.02/1047.36 c RESTART 1047.62/1047.95 c RESTART 1048.42/1048.79 c RESTART 1048.72/1049.05 c RESTART 1048.92/1049.28 c RESTART 1049.13/1049.45 c RESTART 1049.22/1049.55 c RESTART 1049.52/1049.82 c RESTART 1049.62/1049.94 c RESTART 1049.82/1050.12 c RESTART 1050.02/1050.38 c RESTART 1050.23/1050.57 c RESTART 1050.32/1050.66 c RESTART 1050.42/1050.79 c RESTART 1050.52/1050.88 c RESTART 1050.72/1051.00 c RESTART 1050.72/1051.05 c RESTART 1050.82/1051.13 c RESTART 1050.92/1051.26 c RESTART 1051.12/1051.44 c RESTART 1051.22/1051.56 c RESTART 1051.32/1051.65 c RESTART 1051.42/1051.75 c RESTART 1051.52/1051.84 c RESTART 1051.62/1051.92 c RESTART 1051.72/1052.02 c RESTART 1051.82/1052.16 c RESTART 1051.92/1052.27 c RESTART 1052.02/1052.36 c RESTART 1052.12/1052.49 c RESTART 1052.43/1052.77 c RESTART 1052.52/1052.86 c RESTART 1052.72/1053.01 c RESTART 1052.72/1053.09 c RESTART 1052.82/1053.17 c RESTART 1053.02/1053.30 c RESTART 1053.12/1053.43 c RESTART 1054.42/1054.72 c RESTART 1054.52/1054.81 c RESTART 1054.62/1054.92 c RESTART 1054.72/1055.00 c RESTART 1054.82/1055.12 c RESTART 1054.92/1055.21 c RESTART 1054.92/1055.27 c RESTART 1055.02/1055.32 c RESTART 1055.12/1055.42 c RESTART 1055.22/1055.59 c RESTART 1055.32/1055.69 c RESTART 1055.42/1055.74 c RESTART 1055.52/1055.83 c RESTART 1055.52/1055.90 c RESTART 1055.72/1056.02 c RESTART 1055.82/1056.15 c RESTART 1056.02/1056.34 c RESTART 1056.22/1056.51 c RESTART 1056.32/1056.61 c RESTART 1056.42/1056.74 c RESTART 1056.52/1056.86 c RESTART 1056.62/1056.96 c RESTART 1056.72/1057.05 c RESTART 1056.83/1057.15 c RESTART 1056.92/1057.23 c RESTART 1057.32/1057.61 c RESTART 1057.42/1057.75 c RESTART 1057.52/1057.84 c RESTART 1057.62/1057.95 c RESTART 1057.72/1058.02 c RESTART 1057.72/1058.10 c RESTART 1057.83/1058.17 c RESTART 1057.93/1058.23 c RESTART 1058.12/1058.40 c RESTART 1058.22/1058.51 c RESTART 1059.12/1059.47 c RESTART 1059.22/1059.58 c RESTART 1059.32/1059.66 c RESTART 1059.42/1059.73 c RESTART 1059.52/1059.80 c RESTART 1059.72/1060.03 c RESTART 1059.92/1060.24 c RESTART 1059.92/1060.30 c RESTART 1060.12/1060.40 c RESTART 1060.22/1060.55 c RESTART 1060.42/1060.71 c RESTART 1060.52/1060.84 c RESTART 1060.62/1060.90 c RESTART 1060.72/1061.00 c RESTART 1060.92/1061.25 c RESTART 1061.12/1061.42 c RESTART 1061.22/1061.56 c RESTART 1061.32/1061.66 c RESTART 1061.42/1061.76 c RESTART 1061.62/1061.93 c RESTART 1061.72/1062.02 c RESTART 1061.82/1062.10 c RESTART 1061.82/1062.16 c RESTART 1061.92/1062.24 c RESTART 1062.12/1062.44 c RESTART 1062.22/1062.53 c RESTART 1062.32/1062.69 c RESTART 1062.42/1062.78 c RESTART 1062.52/1062.84 c RESTART 1062.62/1062.97 c RESTART 1062.72/1063.04 c RESTART 1062.82/1063.12 c RESTART 1062.92/1063.27 c RESTART 1063.12/1063.47 c RESTART 1063.32/1063.65 c RESTART 1063.42/1063.77 c RESTART 1063.52/1063.88 c RESTART 1063.62/1063.97 c RESTART 1063.71/1064.04 c RESTART 1063.81/1064.10 c RESTART 1063.91/1064.23 c RESTART 1064.01/1064.35 c RESTART 1064.21/1064.50 c RESTART 1064.31/1064.66 c RESTART 1064.43/1064.71 c RESTART 1064.53/1064.81 c RESTART 1064.82/1065.12 c RESTART 1064.92/1065.27 c RESTART 1065.02/1065.37 c RESTART 1065.12/1065.48 c RESTART 1065.22/1065.59 c RESTART 1065.42/1065.76 c RESTART 1065.53/1065.90 c RESTART 1065.72/1066.09 c RESTART 1065.82/1066.17 c RESTART 1065.92/1066.29 c RESTART 1066.12/1066.41 c RESTART 1066.22/1066.58 c RESTART 1066.42/1066.72 c RESTART 1066.52/1066.81 c RESTART 1066.62/1066.95 c RESTART 1073.32/1073.66 c RESTART 1075.62/1075.99 c RESTART 1075.92/1076.25 c RESTART 1076.02/1076.38 c RESTART 1076.12/1076.49 c RESTART 1076.22/1076.57 c RESTART 1076.42/1076.73 c RESTART 1076.52/1076.83 c RESTART 1076.62/1076.95 c RESTART 1076.72/1077.07 c RESTART 1076.82/1077.17 c RESTART 1076.92/1077.29 c RESTART 1077.12/1077.40 c RESTART 1077.12/1077.47 c RESTART 1077.22/1077.54 c RESTART 1077.32/1077.64 c RESTART 1077.42/1077.74 c RESTART 1077.52/1077.84 c RESTART 1077.62/1077.94 c RESTART 1077.72/1078.03 c RESTART 1077.92/1078.23 c RESTART 1078.02/1078.32 c RESTART 1078.12/1078.42 c RESTART 1078.22/1078.52 c RESTART 1078.32/1078.66 c RESTART 1078.42/1078.73 c RESTART 1078.52/1078.86 c RESTART 1078.62/1078.95 c RESTART 1078.72/1079.10 c RESTART 1078.92/1079.21 c RESTART 1079.01/1079.33 c RESTART 1079.31/1079.61 c RESTART 1079.61/1079.90 c RESTART 1079.82/1080.12 c RESTART 1079.82/1080.20 c RESTART 1080.21/1080.57 c RESTART 1080.31/1080.67 c RESTART 1080.41/1080.75 c RESTART 1080.51/1080.82 c RESTART 1080.51/1080.88 c RESTART 1080.61/1080.98 c RESTART 1080.71/1081.08 c RESTART 1080.81/1081.19 c RESTART 1080.92/1081.24 c RESTART 1080.92/1081.27 c RESTART 1081.11/1081.41 c RESTART 1081.21/1081.52 c RESTART 1081.21/1081.59 c RESTART 1081.31/1081.67 c RESTART 1081.41/1081.79 c RESTART 1081.51/1081.86 c RESTART 1081.61/1081.95 c RESTART 1081.81/1082.11 c RESTART 1081.81/1082.17 c RESTART 1081.91/1082.26 c RESTART 1082.02/1082.36 c RESTART 1082.12/1082.48 c RESTART 1082.21/1082.59 c RESTART 1082.31/1082.69 c RESTART 1082.51/1082.80 c RESTART 1082.61/1082.93 c RESTART 1082.71/1083.05 c RESTART 1082.81/1083.16 c RESTART 1082.91/1083.29 c RESTART 1083.41/1083.72 c RESTART 1083.51/1083.81 c RESTART 1083.91/1084.20 c RESTART 1084.01/1084.37 c RESTART 1084.22/1084.54 c RESTART 1084.32/1084.67 c RESTART 1084.51/1084.81 c RESTART 1084.61/1084.96 c RESTART 1084.71/1085.07 c RESTART 1084.91/1085.20 c RESTART 1085.01/1085.31 c RESTART 1085.11/1085.40 c RESTART 1085.11/1085.49 c RESTART 1085.21/1085.57 c RESTART 1085.32/1085.66 c RESTART 1085.32/1085.70 c RESTART 1085.51/1085.80 c RESTART 1085.51/1085.88 c RESTART 1085.61/1086.00 c RESTART 1085.81/1086.14 c RESTART 1085.91/1086.24 c RESTART 1086.01/1086.39 c RESTART 1086.21/1086.52 c RESTART 1086.31/1086.63 c RESTART 1086.31/1086.69 c RESTART 1086.52/1086.82 c RESTART 1086.61/1086.90 c RESTART 1086.71/1087.02 c RESTART 1086.81/1087.11 c RESTART 1086.91/1087.28 c RESTART 1087.01/1087.36 c RESTART 1087.11/1087.45 c RESTART 1087.21/1087.55 c RESTART 1087.41/1087.73 c RESTART 1087.52/1087.84 c RESTART 1087.62/1087.93 c RESTART 1087.71/1088.00 c RESTART 1087.81/1088.11 c RESTART 1087.91/1088.22 c RESTART 1088.01/1088.31 c RESTART 1088.11/1088.43 c RESTART 1088.21/1088.54 c RESTART 1088.41/1088.75 c RESTART 1088.51/1088.89 c RESTART 1088.62/1088.99 c RESTART 1088.81/1089.10 c RESTART 1089.01/1089.30 c RESTART 1089.11/1089.40 c RESTART 1089.21/1089.50 c RESTART 1089.21/1089.55 c RESTART 1089.41/1089.70 c RESTART 1089.41/1089.76 c RESTART 1089.51/1089.88 c RESTART 1089.61/1089.97 c RESTART 1089.82/1090.13 c RESTART 1089.91/1090.21 c RESTART 1090.01/1090.30 c RESTART 1090.11/1090.44 c RESTART 1090.21/1090.53 c RESTART 1090.31/1090.63 c RESTART 1090.41/1090.72 c RESTART 1090.51/1090.82 c RESTART 1090.61/1090.93 c RESTART 1090.71/1091.00 c RESTART 1090.71/1091.06 c RESTART 1090.82/1091.13 c RESTART 1090.92/1091.22 c RESTART 1091.01/1091.32 c RESTART 1091.01/1091.39 c RESTART 1091.41/1091.75 c RESTART 1091.51/1091.83 c RESTART 1091.61/1091.94 c RESTART 1091.71/1092.07 c RESTART 1091.81/1092.17 c RESTART 1091.92/1092.28 c RESTART 1092.11/1092.40 c RESTART 1092.21/1092.52 c RESTART 1092.31/1092.61 c RESTART 1092.41/1092.76 c RESTART 1092.51/1092.89 c RESTART 1092.71/1093.02 c RESTART 1092.81/1093.14 c RESTART 1092.91/1093.30 c RESTART 1093.12/1093.40 c RESTART 1093.12/1093.49 c RESTART 1093.21/1093.53 c RESTART 1093.31/1093.63 c RESTART 1093.41/1093.74 c RESTART 1093.41/1093.78 c RESTART 1093.51/1093.89 c RESTART 1093.61/1093.98 c RESTART 1093.71/1094.07 c RESTART 1093.81/1094.15 c RESTART 1093.91/1094.23 c RESTART 1094.01/1094.33 c RESTART 1094.12/1094.45 c RESTART 1094.22/1094.51 c RESTART 1094.31/1094.61 c RESTART 1094.41/1094.73 c RESTART 1094.51/1094.87 c RESTART 1094.61/1094.94 c RESTART 1094.71/1095.01 c RESTART 1095.61/1095.99 c RESTART 1096.11/1096.42 c RESTART 1096.21/1096.54 c RESTART 1096.31/1096.62 c RESTART 1096.31/1096.68 c RESTART 1096.51/1096.86 c RESTART 1096.81/1097.16 c RESTART 1096.91/1097.27 c RESTART 1097.01/1097.39 c RESTART 1097.21/1097.54 c RESTART 1097.31/1097.64 c RESTART 1097.41/1097.77 c RESTART 1097.51/1097.86 c RESTART 1097.71/1098.01 c RESTART 1097.91/1098.29 c RESTART 1098.21/1098.51 c RESTART 1098.31/1098.60 c RESTART 1098.31/1098.69 c RESTART 1098.51/1098.81 c RESTART 1098.61/1098.97 c RESTART 1098.81/1099.11 c RESTART 1098.91/1099.29 c RESTART 1099.11/1099.40 c RESTART 1099.21/1099.50 c RESTART 1099.31/1099.68 c RESTART 1099.51/1099.82 c RESTART 1099.61/1099.91 c RESTART 1099.61/1099.98 c RESTART 1099.81/1100.12 c RESTART 1099.91/1100.20 c RESTART 1100.01/1100.32 c RESTART 1100.11/1100.40 c RESTART 1100.21/1100.56 c RESTART 1100.31/1100.67 c RESTART 1100.51/1100.81 c RESTART 1100.61/1100.90 c RESTART 1100.61/1101.00 c RESTART 1100.81/1101.14 c RESTART 1100.91/1101.23 c RESTART 1101.01/1101.30 c RESTART 1101.11/1101.41 c RESTART 1101.11/1101.48 c RESTART 1101.21/1101.56 c RESTART 1101.31/1101.64 c RESTART 1101.41/1101.72 c RESTART 1101.41/1101.78 c RESTART 1101.71/1102.06 c RESTART 1102.01/1102.31 c RESTART 1102.11/1102.43 c RESTART 1102.21/1102.53 c RESTART 1102.41/1102.74 c RESTART 1102.61/1102.94 c RESTART 1102.81/1103.16 c RESTART 1102.91/1103.30 c RESTART 1103.01/1103.37 c RESTART 1103.21/1103.51 c RESTART 1103.41/1103.70 c RESTART 1103.51/1103.86 c RESTART 1103.61/1104.00 c RESTART 1103.70/1104.04 c RESTART 1103.90/1104.27 c RESTART 1104.01/1104.34 c RESTART 1104.11/1104.46 c RESTART 1104.20/1104.56 c RESTART 1104.30/1104.69 c RESTART 1104.50/1104.80 c RESTART 1104.50/1104.87 c RESTART 1104.70/1105.00 c RESTART 1104.70/1105.08 c RESTART 1104.80/1105.17 c RESTART 1104.90/1105.22 c RESTART 1105.00/1105.31 c RESTART 1105.40/1105.75 c RESTART 1105.50/1105.88 c RESTART 1105.60/1105.95 c RESTART 1105.70/1106.03 c RESTART 1105.80/1106.15 c RESTART 1105.80/1106.19 c RESTART 1106.00/1106.33 c RESTART 1106.10/1106.43 c RESTART 1106.21/1106.53 c RESTART 1106.31/1106.65 c RESTART 1106.40/1106.77 c RESTART 1106.50/1106.88 c RESTART 1106.60/1106.95 c RESTART 1106.80/1107.19 c RESTART 1107.00/1107.34 c RESTART 1107.10/1107.44 c RESTART 1107.10/1107.48 c RESTART 1107.20/1107.54 c RESTART 1107.31/1107.63 c RESTART 1107.31/1107.70 c RESTART 1107.41/1107.76 c RESTART 1107.50/1107.86 c RESTART 1107.60/1107.97 c RESTART 1107.70/1108.07 c RESTART 1107.90/1108.23 c RESTART 1108.00/1108.31 c RESTART 1108.00/1108.39 c RESTART 1108.30/1108.61 c RESTART 1108.41/1108.71 c RESTART 1108.60/1108.99 c RESTART 1108.70/1109.04 c RESTART 1108.80/1109.15 c RESTART 1108.90/1109.22 c RESTART 1109.00/1109.34 c RESTART 1109.20/1109.51 c RESTART 1109.30/1109.61 c RESTART 1109.30/1109.70 c RESTART 1109.51/1109.84 c RESTART 1109.61/1109.94 c RESTART 1109.70/1110.03 c RESTART 1109.80/1110.16 c RESTART 1110.40/1110.78 c RESTART 1110.50/1110.87 c RESTART 1110.61/1110.97 c RESTART 1110.80/1111.12 c RESTART 1110.90/1111.23 c RESTART 1111.10/1111.45 c RESTART 1111.30/1111.60 c RESTART 1111.40/1111.78 c RESTART 1111.50/1111.89 c RESTART 1111.60/1111.98 c RESTART 1111.71/1112.09 c RESTART 1111.90/1112.20 c RESTART 1112.00/1112.34 c RESTART 1112.10/1112.42 c RESTART 1112.10/1112.50 c RESTART 1112.20/1112.57 c RESTART 1112.30/1112.65 c RESTART 1112.40/1112.73 c RESTART 1112.80/1113.11 c RESTART 1113.00/1113.33 c RESTART 1113.10/1113.44 c RESTART 1113.20/1113.56 c RESTART 1113.30/1113.62 c RESTART 1113.30/1113.68 c RESTART 1113.50/1113.87 c RESTART 1113.70/1114.04 c RESTART 1113.80/1114.14 c RESTART 1113.90/1114.25 c RESTART 1114.00/1114.35 c RESTART 1114.10/1114.49 c RESTART 1114.30/1114.60 c RESTART 1114.40/1114.76 c RESTART 1114.50/1114.82 c RESTART 1114.60/1114.93 c RESTART 1114.70/1115.08 c RESTART 1114.80/1115.14 c RESTART 1114.80/1115.19 c RESTART 1114.90/1115.27 c RESTART 1116.10/1116.43 c RESTART 1116.20/1116.59 c RESTART 1116.30/1116.69 c RESTART 1116.40/1116.79 c RESTART 1116.60/1116.96 c RESTART 1116.70/1117.06 c RESTART 1116.80/1117.14 c RESTART 1116.90/1117.26 c RESTART 1117.00/1117.34 c RESTART 1117.21/1117.50 c RESTART 1117.21/1117.57 c RESTART 1117.31/1117.69 c RESTART 1117.51/1117.80 c RESTART 1117.61/1117.90 c RESTART 1117.71/1118.01 c RESTART 1117.71/1118.08 c RESTART 1117.81/1118.15 c RESTART 1117.91/1118.23 c RESTART 1118.01/1118.39 c RESTART 1118.31/1118.61 c RESTART 1118.41/1118.73 c RESTART 1118.50/1118.86 c RESTART 1118.70/1119.06 c RESTART 1118.80/1119.14 c RESTART 1118.90/1119.20 c RESTART 1119.00/1119.34 c RESTART 1119.10/1119.45 c RESTART 1119.20/1119.55 c RESTART 1119.30/1119.64 c RESTART 1119.51/1119.82 c RESTART 1119.60/1119.94 c RESTART 1119.80/1120.14 c RESTART 1119.90/1120.25 c RESTART 1120.10/1120.45 c RESTART 1120.30/1120.69 c RESTART 1120.51/1120.85 c RESTART 1120.61/1120.96 c RESTART 1120.70/1121.08 c RESTART 1120.80/1121.18 c RESTART 1121.00/1121.31 c RESTART 1121.10/1121.43 c RESTART 1121.20/1121.56 c RESTART 1121.40/1121.71 c RESTART 1121.50/1121.85 c RESTART 1121.61/1121.99 c RESTART 1121.71/1122.09 c RESTART 1121.80/1122.16 c RESTART 1121.90/1122.27 c RESTART 1122.00/1122.35 c RESTART 1122.10/1122.47 c RESTART 1122.30/1122.63 c RESTART 1122.40/1122.77 c RESTART 1122.50/1122.89 c RESTART 1122.60/1122.96 c RESTART 1122.71/1123.07 c RESTART 1122.81/1123.19 c RESTART 1122.90/1123.28 c RESTART 1123.10/1123.40 c RESTART 1123.20/1123.50 c RESTART 1123.30/1123.61 c RESTART 1123.40/1123.70 c RESTART 1123.50/1123.82 c RESTART 1123.60/1123.96 c RESTART 1123.70/1124.03 c RESTART 1123.81/1124.13 c RESTART 1123.91/1124.24 c RESTART 1124.00/1124.34 c RESTART 1124.00/1124.40 c RESTART 1124.10/1124.44 c RESTART 1124.20/1124.55 c RESTART 1124.30/1124.65 c RESTART 1124.40/1124.73 c RESTART 1124.40/1124.79 c RESTART 1124.50/1124.89 c RESTART 1124.60/1124.97 c RESTART 1124.70/1125.07 c RESTART 1124.91/1125.21 c RESTART 1125.01/1125.35 c RESTART 1125.10/1125.43 c RESTART 1125.10/1125.47 c RESTART 1125.20/1125.59 c RESTART 1125.40/1125.72 c RESTART 1125.50/1125.84 c RESTART 1125.60/1125.93 c RESTART 1125.70/1126.06 c RESTART 1125.80/1126.18 c RESTART 1125.90/1126.29 c RESTART 1126.10/1126.45 c RESTART 1126.20/1126.56 c RESTART 1126.40/1126.70 c RESTART 1126.50/1126.82 c RESTART 1126.60/1126.90 c RESTART 1126.60/1126.98 c RESTART 1126.70/1127.06 c RESTART 1126.80/1127.17 c RESTART 1126.90/1127.28 c RESTART 1127.00/1127.40 c RESTART 1127.20/1127.58 c RESTART 1127.39/1127.71 c RESTART 1127.39/1127.79 c RESTART 1127.59/1127.93 c RESTART 1127.69/1128.02 c RESTART 1127.79/1128.14 c RESTART 1127.89/1128.25 c RESTART 1127.99/1128.33 c RESTART 1128.20/1128.52 c RESTART 1128.30/1128.60 c RESTART 1128.80/1129.15 c RESTART 1129.20/1129.50 c RESTART 1140.10/1140.45 c RESTART 1140.20/1140.52 c RESTART 1140.20/1140.59 c RESTART 1140.30/1140.69 c RESTART 1141.30/1141.67 c RESTART 1141.40/1141.75 c RESTART 1141.50/1141.85 c RESTART 1141.59/1141.94 c RESTART 1141.79/1142.11 c RESTART 1141.89/1142.20 c RESTART 1141.99/1142.30 c RESTART 1142.09/1142.40 c RESTART 1142.19/1142.53 c RESTART 1142.29/1142.64 c RESTART 1142.39/1142.77 c RESTART 1142.50/1142.88 c RESTART 1142.60/1142.99 c RESTART 1142.69/1143.06 c RESTART 1142.79/1143.16 c RESTART 1142.89/1143.29 c RESTART 1143.09/1143.45 c RESTART 1143.19/1143.57 c RESTART 1143.29/1143.65 c RESTART 1143.39/1143.75 c RESTART 1143.49/1143.84 c RESTART 1143.60/1143.98 c RESTART 1143.70/1144.08 c RESTART 1143.79/1144.20 c RESTART 1143.99/1144.33 c RESTART 1144.09/1144.41 c RESTART 1144.09/1144.49 c RESTART 1144.29/1144.62 c RESTART 1144.39/1144.72 c RESTART 1144.49/1144.82 c RESTART 1144.59/1144.90 c RESTART 1144.70/1145.02 c RESTART 1144.70/1145.08 c RESTART 1144.89/1145.25 c RESTART 1144.99/1145.36 c RESTART 1145.09/1145.46 c RESTART 1145.29/1145.65 c RESTART 1145.49/1145.80 c RESTART 1145.59/1145.95 c RESTART 1145.69/1146.05 c RESTART 1145.69/1146.09 c RESTART 1145.80/1146.19 c RESTART 1145.99/1146.30 c RESTART 1145.99/1146.37 c RESTART 1146.09/1146.48 c RESTART 1146.19/1146.54 c RESTART 1146.29/1146.63 c RESTART 1146.39/1146.74 c RESTART 1146.49/1146.89 c RESTART 1146.69/1147.03 c RESTART 1146.79/1147.11 c RESTART 1146.79/1147.20 c RESTART 1146.90/1147.26 c RESTART 1147.00/1147.35 c RESTART 1147.09/1147.44 c RESTART 1147.19/1147.52 c RESTART 1147.29/1147.63 c RESTART 1147.39/1147.78 c RESTART 1147.49/1147.86 c RESTART 1147.59/1147.98 c RESTART 1147.79/1148.16 c RESTART 1147.89/1148.30 c RESTART 1148.00/1148.38 c RESTART 1148.19/1148.52 c RESTART 1148.29/1148.62 c RESTART 1148.39/1148.71 c RESTART 1148.39/1148.79 c RESTART 1148.49/1148.90 c RESTART 1148.59/1148.99 c RESTART 1148.79/1149.10 c RESTART 1148.99/1149.33 c RESTART 1149.10/1149.43 c RESTART 1149.20/1149.54 c RESTART 1149.29/1149.66 c RESTART 1149.39/1149.75 c RESTART 1149.49/1149.88 c RESTART 1149.69/1150.04 c RESTART 1149.89/1150.25 c RESTART 1149.99/1150.33 c RESTART 1150.09/1150.42 c RESTART 1150.09/1150.49 c RESTART 1150.20/1150.56 c RESTART 1150.30/1150.67 c RESTART 1150.49/1150.81 c RESTART 1150.49/1150.88 c RESTART 1150.69/1151.04 c RESTART 1150.79/1151.18 c RESTART 1150.89/1151.26 c RESTART 1150.99/1151.38 c RESTART 1151.19/1151.52 c RESTART 1151.39/1151.70 c RESTART 1151.39/1151.72 c RESTART 1151.48/1151.86 c RESTART 1151.58/1151.98 c RESTART 1151.78/1152.10 c RESTART 1151.88/1152.22 c RESTART 1151.98/1152.30 c RESTART 1152.08/1152.40 c RESTART 1152.18/1152.57 c RESTART 1152.28/1152.64 c RESTART 1152.49/1152.83 c RESTART 1152.58/1152.98 c RESTART 1152.78/1153.15 c RESTART 1152.88/1153.27 c RESTART 1152.98/1153.38 c RESTART 1153.08/1153.44 c RESTART 1153.49/1153.84 c RESTART 1153.49/1153.88 c RESTART 1153.59/1153.97 c RESTART 1154.18/1154.50 c RESTART 1154.18/1154.59 c RESTART 1154.38/1154.73 c RESTART 1154.48/1154.85 c RESTART 1154.59/1154.95 c RESTART 1154.69/1155.07 c RESTART 1154.78/1155.18 c RESTART 1154.98/1155.33 c RESTART 1155.08/1155.43 c RESTART 1155.18/1155.52 c RESTART 1155.28/1155.60 c RESTART 1155.38/1155.72 c RESTART 1155.48/1155.83 c RESTART 1155.58/1155.90 c RESTART 1155.58/1155.93 c RESTART 1155.58/1155.99 c RESTART 1155.79/1156.15 c RESTART 1155.88/1156.24 c RESTART 1155.88/1156.28 c RESTART 1156.08/1156.40 c RESTART 1156.08/1156.48 c RESTART 1156.18/1156.57 c RESTART 1156.28/1156.67 c RESTART 1156.38/1156.78 c RESTART 1156.58/1156.90 c RESTART 1156.68/1157.03 c RESTART 1156.79/1157.18 c RESTART 1156.98/1157.31 c RESTART 1156.98/1157.39 c RESTART 1157.08/1157.48 c RESTART 1157.18/1157.56 c RESTART 1157.28/1157.64 c RESTART 1160.78/1161.18 c RESTART 1162.39/1162.78 c RESTART 1162.48/1162.86 c RESTART 1162.58/1162.92 c RESTART 1163.49/1163.87 c RESTART 1164.28/1164.60 c RESTART 1164.39/1164.71 c RESTART 1164.50/1164.81 c RESTART 1164.59/1164.97 c RESTART 1164.79/1165.12 c RESTART 1164.89/1165.20 c RESTART 1164.89/1165.23 c RESTART 1164.89/1165.28 c RESTART 1165.09/1165.45 c RESTART 1165.19/1165.53 c RESTART 1202.89/1203.20 c RESTART 1203.00/1203.31 c RESTART 1203.00/1203.39 c RESTART 1203.19/1203.54 c RESTART 1203.39/1203.76 c RESTART 1203.59/1203.93 c RESTART 1203.69/1204.06 c RESTART 1203.89/1204.25 c RESTART 1203.99/1204.33 c RESTART 1204.49/1204.84 c RESTART 1204.59/1204.96 c RESTART 1204.69/1205.08 c RESTART 1204.79/1205.16 c RESTART 1204.89/1205.24 c RESTART 1204.99/1205.31 c RESTART 1205.09/1205.44 c RESTART 1205.19/1205.51 c RESTART 1205.19/1205.59 c RESTART 1205.39/1205.71 c RESTART 1205.59/1205.90 c RESTART 1205.69/1206.07 c RESTART 1205.89/1206.26 c RESTART 1206.09/1206.40 c RESTART 1206.19/1206.54 c RESTART 1206.29/1206.67 c RESTART 1206.39/1206.77 c RESTART 1206.49/1206.89 c RESTART 1206.69/1207.00 c RESTART 1206.69/1207.05 c RESTART 1206.89/1207.21 c RESTART 1206.89/1207.29 c RESTART 1207.09/1207.43 c RESTART 1207.59/1207.97 c RESTART 1207.79/1208.14 c RESTART 1207.89/1208.26 c RESTART 1207.99/1208.35 c RESTART 1208.29/1208.66 c RESTART 1208.89/1209.22 c RESTART 1208.99/1209.33 c RESTART 1209.09/1209.40 c RESTART 1209.19/1209.53 c RESTART 1209.29/1209.61 c RESTART 1209.39/1209.77 c RESTART 1209.59/1209.98 c RESTART 1209.79/1210.11 c RESTART 1209.79/1210.16 c RESTART 1209.89/1210.21 c RESTART 1209.99/1210.32 c RESTART 1210.09/1210.42 c RESTART 1210.19/1210.53 c RESTART 1210.29/1210.60 c RESTART 1210.49/1210.87 c RESTART 1210.59/1210.93 c RESTART 1210.59/1210.99 c RESTART 1210.69/1211.03 c RESTART 1210.79/1211.16 c RESTART 1210.89/1211.23 c RESTART 1211.09/1211.42 c RESTART 1211.19/1211.51 c RESTART 1211.29/1211.66 c RESTART 1211.39/1211.77 c RESTART 1211.59/1211.93 c RESTART 1211.69/1212.07 c RESTART 1211.89/1212.21 c RESTART 1211.99/1212.32 c RESTART 1212.09/1212.41 c RESTART 1212.09/1212.45 c RESTART 1212.19/1212.59 c RESTART 1212.39/1212.71 c RESTART 1212.39/1212.77 c RESTART 1212.59/1212.95 c RESTART 1212.69/1213.02 c RESTART 1212.69/1213.07 c RESTART 1212.79/1213.16 c RESTART 1212.89/1213.26 c RESTART 1213.09/1213.40 c RESTART 1213.09/1213.49 c RESTART 1213.39/1213.78 c RESTART 1213.59/1213.96 c RESTART 1213.79/1214.10 c RESTART 1213.79/1214.17 c RESTART 1213.89/1214.25 c RESTART 1213.99/1214.33 c RESTART 1214.09/1214.47 c RESTART 1214.29/1214.61 c RESTART 1214.39/1214.78 c RESTART 1214.59/1214.92 c RESTART 1214.69/1215.09 c RESTART 1214.89/1215.25 c RESTART 1214.99/1215.34 c RESTART 1215.09/1215.47 c RESTART 1215.19/1215.56 c RESTART 1215.28/1215.66 c RESTART 1215.38/1215.77 c RESTART 1215.49/1215.88 c RESTART 1215.59/1215.95 c RESTART 1215.69/1216.00 c RESTART 1215.69/1216.05 c RESTART 1215.79/1216.11 c RESTART 1215.89/1216.22 c RESTART 1215.99/1216.31 c RESTART 1216.09/1216.42 c RESTART 1216.19/1216.55 c RESTART 1216.38/1216.71 c RESTART 1216.58/1216.92 c RESTART 1218.78/1219.17 c RESTART 1218.88/1219.27 c RESTART 1218.98/1219.37 c RESTART 1219.08/1219.45 c RESTART 1219.18/1219.55 c RESTART 1219.28/1219.64 c RESTART 1220.28/1220.63 c RESTART 1234.08/1234.46 c RESTART 1234.28/1234.67 c RESTART 1234.48/1234.82 c RESTART 1234.58/1234.97 c RESTART 1234.68/1235.02 c RESTART 1234.78/1235.19 c RESTART 1234.89/1235.29 c RESTART 1235.18/1235.52 c RESTART 1235.18/1235.59 c RESTART 1235.38/1235.72 c RESTART 1235.48/1235.84 c RESTART 1235.58/1235.99 c RESTART 1235.68/1236.09 c RESTART 1235.88/1236.21 c RESTART 1235.88/1236.25 c RESTART 1236.18/1236.56 c RESTART 1236.28/1236.63 c RESTART 1236.28/1236.69 c RESTART 1236.38/1236.75 c RESTART 1236.48/1236.85 c RESTART 1236.58/1236.95 c RESTART 1236.68/1237.07 c RESTART 1236.78/1237.13 c RESTART 1236.88/1237.24 c RESTART 1260.78/1261.12 c RESTART 1261.18/1261.60 c RESTART 1261.39/1261.72 c RESTART 1261.58/1261.92 c RESTART 1261.68/1262.03 c RESTART 1261.88/1262.21 c RESTART 1261.88/1262.29 c RESTART 1261.98/1262.39 c RESTART 1262.08/1262.50 c RESTART 1262.28/1262.62 c RESTART 1262.39/1262.73 c RESTART 1262.49/1262.83 c RESTART 1262.58/1262.94 c RESTART 1262.68/1263.03 c RESTART 1262.88/1263.25 c RESTART 1262.98/1263.35 c RESTART 1263.08/1263.44 c RESTART 1263.18/1263.52 c RESTART 1263.18/1263.59 c RESTART 1263.28/1263.69 c RESTART 1263.38/1263.79 c RESTART 1263.49/1263.88 c RESTART 1263.59/1263.98 c RESTART 1263.78/1264.11 c RESTART 1263.88/1264.21 c RESTART 1263.98/1264.30 c RESTART 1264.08/1264.49 c RESTART 1264.18/1264.56 c RESTART 1264.28/1264.64 c RESTART 1264.38/1264.72 c RESTART 1264.38/1264.79 c RESTART 1264.48/1264.86 c RESTART 1264.59/1264.98 c RESTART 1264.69/1265.07 c RESTART 1264.88/1265.20 c RESTART 1264.98/1265.30 c RESTART 1264.98/1265.36 c RESTART 1265.08/1265.44 c RESTART 1265.18/1265.53 c RESTART 1265.28/1265.63 c RESTART 1265.38/1265.78 c RESTART 1265.58/1265.91 c RESTART 1265.69/1266.04 c RESTART 1265.79/1266.11 c RESTART 1265.79/1266.18 c RESTART 1265.88/1266.28 c RESTART 1265.98/1266.35 c RESTART 1266.08/1266.46 c RESTART 1266.18/1266.55 c RESTART 1266.28/1266.65 c RESTART 1266.38/1266.74 c RESTART 1266.38/1266.80 c RESTART 1266.58/1266.97 c RESTART 1266.79/1267.13 c RESTART 1266.89/1267.28 c RESTART 1267.08/1267.44 c RESTART 1267.18/1267.56 c RESTART 1267.28/1267.63 c RESTART 1267.38/1267.70 c RESTART 1267.38/1267.79 c RESTART 1267.48/1267.88 c RESTART 1267.58/1267.94 c RESTART 1267.89/1268.27 c RESTART 1268.08/1268.41 c RESTART 1268.18/1268.55 c RESTART 1268.28/1268.69 c RESTART 1268.48/1268.89 c RESTART 1268.58/1268.98 c RESTART 1268.78/1269.13 c RESTART 1268.99/1269.35 c RESTART 1269.09/1269.47 c RESTART 1269.18/1269.56 c RESTART 1269.28/1269.67 c RESTART 1269.48/1269.83 c RESTART 1269.58/1269.96 c RESTART 1269.78/1270.10 c RESTART 1269.88/1270.25 c RESTART 1270.08/1270.44 c RESTART 1270.19/1270.55 c RESTART 1270.28/1270.69 c RESTART 1270.38/1270.78 c RESTART 1270.48/1270.86 c RESTART 1270.58/1270.91 c RESTART 1270.68/1271.08 c RESTART 1270.78/1271.14 c RESTART 1270.88/1271.26 c RESTART 1270.98/1271.34 c RESTART 1271.08/1271.45 c RESTART 1271.19/1271.58 c RESTART 1271.29/1271.68 c RESTART 1271.38/1271.77 c RESTART 1271.48/1271.87 c RESTART 1271.58/1271.99 c RESTART 1271.68/1272.09 c RESTART 1271.88/1272.21 c RESTART 1272.08/1272.46 c RESTART 1272.28/1272.62 c RESTART 1272.48/1272.81 c RESTART 1272.48/1272.89 c RESTART 1272.68/1273.07 c RESTART 1272.78/1273.13 c RESTART 1272.98/1273.31 c RESTART 1272.98/1273.38 c RESTART 1273.08/1273.47 c RESTART 1273.18/1273.57 c RESTART 1273.28/1273.64 c RESTART 1273.38/1273.73 c RESTART 1273.48/1273.82 c RESTART 1273.58/1273.92 c RESTART 1273.58/1273.98 c RESTART 1273.68/1274.05 c RESTART 1273.68/1274.08 c RESTART 1273.88/1274.21 c RESTART 1273.98/1274.32 c RESTART 1274.18/1274.53 c RESTART 1274.28/1274.63 c RESTART 1274.38/1274.79 c RESTART 1274.58/1274.96 c RESTART 1274.68/1275.08 c RESTART 1274.88/1275.22 c RESTART 1274.98/1275.39 c RESTART 1275.08/1275.49 c RESTART 1275.28/1275.67 c RESTART 1275.38/1275.78 c RESTART 1275.48/1275.86 c RESTART 1275.58/1275.96 c RESTART 1275.78/1276.14 c RESTART 1275.87/1276.25 c RESTART 1276.07/1276.42 c RESTART 1276.07/1276.47 c RESTART 1276.47/1276.82 c RESTART 1276.57/1276.91 c RESTART 1276.68/1277.07 c RESTART 1276.78/1277.19 c RESTART 1276.87/1277.29 c RESTART 1277.07/1277.41 c RESTART 1277.17/1277.52 c RESTART 1277.27/1277.64 c RESTART 1277.37/1277.79 c RESTART 1277.47/1277.89 c RESTART 1277.57/1277.97 c RESTART 1277.67/1278.06 c RESTART 1277.78/1278.15 c RESTART 1277.88/1278.29 c RESTART 1278.07/1278.45 c RESTART 1278.17/1278.57 c RESTART 1278.37/1278.70 c RESTART 1278.57/1278.93 c RESTART 1278.67/1279.04 c RESTART 1278.77/1279.16 c RESTART 1278.88/1279.26 c RESTART 1278.98/1279.35 c RESTART 1279.07/1279.48 c RESTART 1279.27/1279.61 c RESTART 1279.47/1279.81 c RESTART 1279.67/1280.01 c RESTART 1279.67/1280.06 c RESTART 1280.17/1280.59 c RESTART 1280.37/1280.77 c RESTART 1280.47/1280.86 c RESTART 1280.57/1280.93 c RESTART 1280.67/1281.08 c RESTART 1280.77/1281.17 c RESTART 1280.87/1281.26 c RESTART 1280.97/1281.34 c RESTART 1281.08/1281.45 c RESTART 1281.18/1281.60 c RESTART 1281.37/1281.73 c RESTART 1281.47/1281.80 c RESTART 1281.57/1281.90 c RESTART 1281.67/1282.00 c RESTART 1281.67/1282.03 c RESTART 1281.77/1282.16 c RESTART 1281.87/1282.27 c RESTART 1282.07/1282.44 c RESTART 1282.07/1282.48 c RESTART 1282.18/1282.58 c RESTART 1282.28/1282.66 c RESTART 1282.37/1282.75 c RESTART 1282.47/1282.86 c RESTART 1282.57/1282.98 c RESTART 1282.67/1283.04 c RESTART 1282.77/1283.13 c RESTART 1282.87/1283.22 c RESTART 1282.97/1283.31 c RESTART 1282.97/1283.37 c RESTART 1283.07/1283.43 c RESTART 1283.17/1283.52 c RESTART 1283.27/1283.66 c RESTART 1283.37/1283.70 c RESTART 1283.47/1283.83 c RESTART 1283.57/1284.00 c RESTART 1283.67/1284.09 c RESTART 1283.77/1284.16 c RESTART 1283.87/1284.28 c RESTART 1283.97/1284.32 c RESTART 1284.17/1284.52 c RESTART 1284.27/1284.61 c RESTART 1284.57/1284.91 c RESTART 1285.57/1285.98 c RESTART 1285.77/1286.18 c RESTART 1285.87/1286.27 c RESTART 1285.97/1286.35 c RESTART 1286.07/1286.44 c RESTART 1286.17/1286.55 c RESTART 1286.27/1286.64 c RESTART 1286.37/1286.70 c RESTART 1286.47/1286.82 c RESTART 1286.57/1286.94 c RESTART 1286.67/1287.04 c RESTART 1286.77/1287.16 c RESTART 1286.97/1287.33 c RESTART 1287.07/1287.40 c RESTART 1287.07/1287.46 c RESTART 1287.17/1287.56 c RESTART 1287.37/1287.73 c RESTART 1287.47/1287.88 c RESTART 1287.57/1287.98 c RESTART 1287.67/1288.08 c RESTART 1287.77/1288.17 c RESTART 1287.87/1288.27 c RESTART 1287.97/1288.31 c RESTART 1287.97/1288.37 c RESTART 1288.07/1288.49 c RESTART 1288.27/1288.62 c RESTART 1288.37/1288.71 c RESTART 1288.47/1288.87 c RESTART 1289.47/1289.81 c RESTART 1289.57/1289.92 c RESTART 1289.67/1290.08 c RESTART 1289.87/1290.22 c RESTART 1289.97/1290.35 c RESTART 1290.07/1290.46 c RESTART 1290.27/1290.61 c RESTART 1290.36/1290.79 c RESTART 1290.46/1290.86 c RESTART 1290.56/1290.95 c RESTART 1290.66/1291.05 c RESTART 1290.86/1291.24 c RESTART 1290.86/1291.29 c RESTART 1291.07/1291.47 c RESTART 1291.16/1291.56 c RESTART 1291.27/1291.67 c RESTART 1291.37/1291.78 c RESTART 1291.57/1291.93 c RESTART 1291.67/1292.09 c RESTART 1291.77/1292.17 c RESTART 1291.87/1292.24 c RESTART 1291.97/1292.34 c RESTART 1292.08/1292.49 c RESTART 1292.27/1292.60 c RESTART 1292.27/1292.68 c RESTART 1292.37/1292.78 c RESTART 1292.47/1292.89 c RESTART 1292.57/1292.97 c RESTART 1292.77/1293.11 c RESTART 1292.87/1293.27 c RESTART 1293.07/1293.42 c RESTART 1293.18/1293.58 c RESTART 1293.47/1293.80 c RESTART 1293.67/1294.02 c RESTART 1293.87/1294.25 c RESTART 1293.97/1294.32 c RESTART 1294.07/1294.44 c RESTART 1294.17/1294.52 c RESTART 1294.28/1294.65 c RESTART 1294.38/1294.74 c RESTART 1294.47/1294.86 c RESTART 1294.57/1294.98 c RESTART 1294.67/1295.07 c RESTART 1295.27/1295.66 c RESTART
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) 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-3286847-1303782592/watcher-3286847-1303782592 -o /tmp/evaluation-result-3286847-1303782592/solver-3286847-1303782592 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3286847-1303782592.cnf running on 2 cores: 0,2 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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.87 3.98 3.90 4/189 9493 /proc/meminfo: memFree=13768440/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=40136 CPUtime=0 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 3452 0 0 0 0 0 0 0 23 0 1 0 489860081 41099264 3395 33554432000 4194304 4210924 140734864939824 18446744073709551615 222921471069 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 10034 3408 81 5 0 3549 0 [startup+0.063858 s] /proc/loadavg: 3.87 3.98 3.90 4/189 9493 /proc/meminfo: memFree=13768440/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=146840 CPUtime=0.05 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 14184 0 0 0 4 1 0 0 23 0 1 0 489860081 150364160 14126 33554432000 4194304 4210924 140734864939824 18446744073709551615 4202979 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 36710 14129 391 5 0 30225 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 146840 [startup+0.100857 s] /proc/loadavg: 3.87 3.98 3.90 4/189 9493 /proc/meminfo: memFree=13768440/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=153044 CPUtime=0.09 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 16652 0 0 0 8 1 0 0 24 0 1 0 489860081 156717056 16594 33554432000 4194304 4210924 140734864939824 18446744073709551615 222921437893 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 38261 16598 669 5 0 31776 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 153044 [startup+0.300827 s] /proc/loadavg: 3.87 3.98 3.90 4/189 9493 /proc/meminfo: memFree=13768440/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=185912 CPUtime=0.29 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 29870 0 0 0 26 3 0 0 25 0 1 0 489860081 190373888 29812 33554432000 4194304 4210924 140734864939824 18446744073709551615 222921437893 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 46478 29815 2252 5 0 39993 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 185912 [startup+0.700749 s] /proc/loadavg: 3.87 3.98 3.90 4/189 9493 /proc/meminfo: memFree=13768440/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=221132 CPUtime=0.69 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 52502 0 0 0 63 6 0 0 25 0 1 0 489860081 226439168 47323 33554432000 4194304 4210924 140734864939824 18446744073709551615 4204902 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 55283 47323 96 5 0 53754 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 221132 [startup+1.5006 s] /proc/loadavg: 3.87 3.98 3.90 5/190 9494 /proc/meminfo: memFree=13570912/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=222056 CPUtime=1.49 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 52857 0 0 0 143 6 0 0 25 0 1 0 489860081 227385344 47625 33554432000 4194304 4210924 140734864939824 18446744073709551615 4204931 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 55514 47625 102 5 0 53985 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 222056 [startup+3.1003 s] /proc/loadavg: 3.88 3.98 3.90 5/190 9494 /proc/meminfo: memFree=13565836/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=224300 CPUtime=3.09 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 53482 0 0 0 303 6 0 0 25 0 1 0 489860081 229683200 48232 33554432000 4194304 4210924 140734864939824 18446744073709551615 222921469648 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 56075 48232 102 5 0 54546 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 224300 [startup+6.30072 s] /proc/loadavg: 3.88 3.98 3.90 5/190 9494 /proc/meminfo: memFree=13545948/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=226280 CPUtime=6.28 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 53986 0 0 0 622 6 0 0 25 0 1 0 489860081 231710720 48733 33554432000 4194304 4210924 140734864939824 18446744073709551615 4198679 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 56570 48733 102 5 0 55041 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 226280 [startup+12.7005 s] /proc/loadavg: 3.90 3.98 3.91 5/190 9494 /proc/meminfo: memFree=13532088/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=231832 CPUtime=12.67 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 55354 0 0 0 1261 6 0 0 25 0 1 0 489860081 237395968 50101 33554432000 4194304 4210924 140734864939824 18446744073709551615 4198639 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 57958 50101 103 5 0 56429 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 231832 [startup+25.5012 s] /proc/loadavg: 3.91 3.98 3.91 5/190 9494 /proc/meminfo: memFree=13473948/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=234340 CPUtime=25.47 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 56009 0 0 0 2540 7 0 0 25 0 1 0 489860081 239964160 50756 33554432000 4194304 4210924 140734864939824 18446744073709551615 4207018 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 58585 50756 103 5 0 57056 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 234340 [startup+51.1005 s] /proc/loadavg: 3.94 3.98 3.91 5/190 9495 /proc/meminfo: memFree=13442208/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=242788 CPUtime=51.05 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 58126 0 0 0 5098 7 0 0 25 0 1 0 489860081 248614912 52873 33554432000 4194304 4210924 140734864939824 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 60697 52873 104 5 0 59168 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 242788 [startup+102.307 s] /proc/loadavg: 4.04 3.99 3.91 5/190 9496 /proc/meminfo: memFree=13390836/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=251256 CPUtime=102.26 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 60270 0 0 0 10217 9 0 0 25 0 1 0 489860081 257286144 55017 33554432000 4194304 4210924 140734864939824 18446744073709551615 4201865 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 62814 55017 104 5 0 61285 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 251256 [startup+162.301 s] /proc/loadavg: 4.01 3.99 3.91 5/190 9498 /proc/meminfo: memFree=13363568/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=259836 CPUtime=162.22 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 62443 0 0 0 16213 9 0 0 25 0 1 0 489860081 266072064 57190 33554432000 4194304 4210924 140734864939824 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 64959 57190 104 5 0 63430 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 259836 [startup+222.301 s] /proc/loadavg: 4.04 4.01 3.92 5/190 9500 /proc/meminfo: memFree=13317296/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=259836 CPUtime=222.23 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 62443 0 0 0 22214 9 0 0 25 0 1 0 489860081 266072064 57190 33554432000 4194304 4210924 140734864939824 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 64959 57190 104 5 0 63430 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 259836 [startup+282.301 s] /proc/loadavg: 4.01 4.00 3.92 5/190 9501 /proc/meminfo: memFree=13278452/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=270024 CPUtime=282.21 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 64985 0 0 0 28211 10 0 0 25 0 1 0 489860081 276504576 59731 33554432000 4194304 4210924 140734864939824 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 67506 59731 104 5 0 65977 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 270024 [startup+342.301 s] /proc/loadavg: 4.00 4.00 3.92 5/190 9503 /proc/meminfo: memFree=13259196/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=271740 CPUtime=342.2 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 65421 0 0 0 34210 10 0 0 25 0 1 0 489860081 278261760 60167 33554432000 4194304 4210924 140734864939824 18446744073709551615 4207021 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 67935 60167 104 5 0 66406 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 271740 [startup+402.3 s] /proc/loadavg: 4.03 4.01 3.93 5/190 9504 /proc/meminfo: memFree=13220124/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=281396 CPUtime=402.18 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 67839 0 0 0 40207 11 0 0 25 0 1 0 489860081 288149504 62585 33554432000 4194304 4210924 140734864939824 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 70349 62585 104 5 0 68820 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 281396 [startup+462.3 s] /proc/loadavg: 4.01 4.01 3.93 5/190 9506 /proc/meminfo: memFree=13190340/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=285628 CPUtime=462.17 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 68937 0 0 0 46205 12 0 0 25 0 1 0 489860081 292483072 63683 33554432000 4194304 4210924 140734864939824 18446744073709551615 4206973 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 71407 63683 104 5 0 69878 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 285628 [startup+522.3 s] /proc/loadavg: 4.00 4.00 3.93 5/190 9508 /proc/meminfo: memFree=13179800/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=285628 CPUtime=522.17 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 68937 0 0 0 52205 12 0 0 25 0 1 0 489860081 292483072 63683 33554432000 4194304 4210924 140734864939824 18446744073709551615 4198663 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 71407 63683 104 5 0 69878 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 285628 [startup+582.3 s] /proc/loadavg: 4.00 4.00 3.93 5/190 9509 /proc/meminfo: memFree=13125220/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=293572 CPUtime=582.16 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 70904 0 0 0 58204 12 0 0 25 0 1 0 489860081 300617728 65650 33554432000 4194304 4210924 140734864939824 18446744073709551615 4205109 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 73393 65650 104 5 0 71864 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 293572 [startup+642.3 s] /proc/loadavg: 4.00 4.00 3.93 5/190 9511 /proc/meminfo: memFree=13104492/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=301500 CPUtime=642.14 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 72911 0 0 0 64201 13 0 0 25 0 1 0 489860081 308736000 67657 33554432000 4194304 4210924 140734864939824 18446744073709551615 4198629 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 75375 67657 104 5 0 73846 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 301500 [startup+702.3 s] /proc/loadavg: 4.00 4.00 3.93 5/190 9521 /proc/meminfo: memFree=13084984/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=304404 CPUtime=702.13 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 73640 0 0 0 70200 13 0 0 25 0 1 0 489860081 311709696 68386 33554432000 4194304 4210924 140734864939824 18446744073709551615 4204955 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/9493/statm: 76101 68386 104 5 0 74572 0 Current children cumulated CPU time (s) 702.13 Current children cumulated vsize (KiB) 304404 [startup+762.307 s] /proc/loadavg: 4.06 4.01 3.93 5/190 9995 /proc/meminfo: memFree=13738620/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=312848 CPUtime=762.12 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 75771 0 0 0 76197 15 0 0 25 0 1 0 489860081 320356352 70517 33554432000 4194304 4210924 140734864939824 18446744073709551615 4206988 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 78212 70517 104 5 0 76683 0 Current children cumulated CPU time (s) 762.12 Current children cumulated vsize (KiB) 312848 [startup+822.3 s] /proc/loadavg: 4.02 4.01 3.93 5/190 9997 /proc/meminfo: memFree=13724672/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=313112 CPUtime=822.1 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 75819 0 0 0 82195 15 0 0 25 0 1 0 489860081 320626688 70565 33554432000 4194304 4210924 140734864939824 18446744073709551615 4206981 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 78278 70565 104 5 0 76749 0 Current children cumulated CPU time (s) 822.1 Current children cumulated vsize (KiB) 313112 [startup+882.3 s] /proc/loadavg: 4.00 4.00 3.93 5/190 10001 /proc/meminfo: memFree=13703380/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=322088 CPUtime=882.08 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 78086 0 0 0 88192 16 0 0 25 0 1 0 489860081 329818112 72832 33554432000 4194304 4210924 140734864939824 18446744073709551615 4204565 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 80522 72832 104 5 0 78993 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 322088 [startup+942.3 s] /proc/loadavg: 4.04 4.01 3.94 5/190 10003 /proc/meminfo: memFree=13679052/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=331212 CPUtime=942.07 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 80367 0 0 0 94189 18 0 0 25 0 1 0 489860081 339161088 75113 33554432000 4194304 4210924 140734864939824 18446744073709551615 4207055 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 82803 75113 104 5 0 81274 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 331212 [startup+1002.3 s] /proc/loadavg: 4.01 4.01 3.94 5/190 10004 /proc/meminfo: memFree=13654964/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=341116 CPUtime=1002.04 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 82845 0 0 0 100185 19 0 0 25 0 1 0 489860081 349302784 77591 33554432000 4194304 4210924 140734864939824 18446744073709551615 4206166 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 85279 77591 104 5 0 83750 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 341116 [startup+1062.3 s] /proc/loadavg: 4.00 4.00 3.94 5/190 10006 /proc/meminfo: memFree=13631256/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=348288 CPUtime=1062.02 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 84678 0 0 0 106183 19 0 0 25 0 1 0 489860081 356646912 79424 33554432000 4194304 4210924 140734864939824 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 87072 79424 104 5 0 85543 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 348288 [startup+1122.3 s] /proc/loadavg: 4.00 4.00 3.94 5/190 10008 /proc/meminfo: memFree=13583592/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=357664 CPUtime=1122 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 87003 0 0 0 112179 21 0 0 25 0 1 0 489860081 366247936 81749 33554432000 4194304 4210924 140734864939824 18446744073709551615 4206991 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 89416 81749 104 5 0 87887 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 357664 [startup+1182.3 s] /proc/loadavg: 4.06 4.02 3.94 5/190 10009 /proc/meminfo: memFree=13541416/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=362172 CPUtime=1181.99 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 88152 0 0 0 118177 22 0 0 25 0 1 0 489860081 370864128 82898 33554432000 4194304 4210924 140734864939824 18446744073709551615 4205195 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 90543 82898 104 5 0 89014 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 362172 [startup+1242.3 s] /proc/loadavg: 4.02 4.01 3.94 5/190 10011 /proc/meminfo: memFree=13528732/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=364152 CPUtime=1241.98 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 88651 0 0 0 124176 22 0 0 25 0 1 0 489860081 372891648 83397 33554432000 4194304 4210924 140734864939824 18446744073709551615 4204579 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 91038 83397 104 5 0 89509 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 364152 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 3.93 3.99 3.94 3/178 10049 /proc/meminfo: memFree=14439036/32951124 swapFree=67111528/67111528 [pid=9493] ppid=9491 vsize=368376 CPUtime=1299.68 cores=0,2 /proc/9493/stat : 9493 (saturn) R 9491 9493 9286 0 -1 4202496 89715 0 0 0 129945 23 0 0 25 0 1 0 489860081 377217024 84461 33554432000 4194304 4210924 140734864939824 18446744073709551615 4198608 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/9493/statm: 92094 84461 104 5 0 90565 0 Current children cumulated CPU time (s) 1299.68 Current children cumulated vsize (KiB) 368376 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1300.02 CPU time (s): 1299.7 CPU user time (s): 1299.45 CPU system time (s): 0.248962 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 368376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1299.45 system time used= 0.248962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 89715 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= 3 involuntary context switches= 11511 runsolver used 2.44763 second user time and 4.90925 second system time The end
Begin job on node109 at 2011-04-26 03:49:53 IDJOB=3286847 IDBENCH=82446 IDSOLVER=1583 FILE ID=node109/3286847-1303782592 RUNJOBID= node109-1303781287-9304 PBS_JOBID= 13157223 Free space on /tmp= 71928 MiB SOLVER NAME= Black Hole SAT 2011-03-08 BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf COMMAND LINE= saturn BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3286847-1303782592/watcher-3286847-1303782592 -o /tmp/evaluation-result-3286847-1303782592/solver-3286847-1303782592 -C 2400 -W 1300 -M 7680 saturn HOME/instance-3286847-1303782592.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 9fe9fe24bc28c127c9f6b6416a14f727 RANDOM SEED=550382907 node109.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.809 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.61 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.809 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.809 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.74 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.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 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.82 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.809 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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 13768728 kB Buffers: 2118928 kB Cached: 16097568 kB SwapCached: 0 kB Active: 10263104 kB Inactive: 8341024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 13768728 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 50068 kB Writeback: 0 kB AnonPages: 386680 kB Mapped: 15044 kB Slab: 513736 kB PageTables: 5660 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 603880 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= 72616 MiB End job on node109 at 2011-04-26 04:11:35