Trace number 2698915

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

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

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB/CT 0.1 fixedOPTIMUM 158.401 158.397

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-22s.smv--soft-33-100-0.wbo
MD5SUM3ccb93ae8827142e7c54ff7ef98be667
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.111982
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5985
Total number of constraints15365
Number of soft constraints10251
Number of constraints which are clauses14013
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1352
Minimum length of a constraint1
Maximum length of a constraint15
Top cost 518757
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 518756
Biggest number in a constraint 165
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 546
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.09/0.11	c constraints 457/895 clauses 4654/9352 units 3
0.09/0.11	c vars 5985
2.69/2.74	c 1.57176 164.117 286 900909
2.69/2.74	o 13509
3.09/3.14	c 1.68074 166.309 360 1130300
3.09/3.14	o 13255
3.69/3.71	c 1.84672 166.309 523 1451930
3.69/3.71	o 13106
3.79/3.86	c 1.89871 166.309 581 1532062
3.79/3.86	o 12846
3.89/3.99	c 1.9557 166.309 642 1592671
3.89/3.99	o 11705
3.99/4.08	c 1.9987 166.309 699 1632059
3.99/4.08	o 11684
4.19/4.22	c 2.04969 166.309 753 1702915
4.19/4.22	o 9978
4.30/4.37	c 2.09968 166.309 831 1767147
4.30/4.37	o 9541
4.49/4.50	c 2.16567 166.309 996 1812954
4.49/4.50	o 8542
4.60/4.67	c 2.26566 166.309 1185 1864289
4.60/4.67	o 7839
4.79/4.80	c 2.31865 166.309 1262 1917111
4.79/4.80	o 6199
4.89/4.93	c 2.37664 166.438 1320 1968431
4.89/4.93	o 6065
4.99/5.02	c 2.41963 166.438 1340 2005388
4.99/5.02	o 5225
5.40/5.45	c 2.58961 166.438 1536 2068657
5.40/5.45	o 4817
5.50/5.58	c 2.6516 166.438 1629 2098041
5.50/5.58	o 4816
5.59/5.67	c 2.71359 166.438 1728 2113766
5.59/5.67	o 4759
5.69/5.77	c 2.77158 166.438 1758 2148423
5.69/5.77	o 4271
5.79/5.84	c 2.80357 166.438 1773 2171612
5.79/5.84	o 3436
6.59/6.68	c 3.20651 166.566 2180 2211714
6.59/6.68	o 3433
7.09/7.10	c 3.36849 166.566 2293 2253421
7.09/7.10	o 3430
11.79/11.83	c 4.79527 167.082 4043 2296063
11.79/11.83	o 3429
12.30/12.36	c 5.01624 167.211 4154 2333319
12.30/12.36	o 3418
12.39/12.47	c 5.07523 167.211 4208 2354343
12.39/12.47	o 3384
12.59/12.61	c 5.15522 167.211 4258 2391099
12.59/12.61	o 2928
12.70/12.71	c 5.22221 167.211 4291 2403569
12.70/12.71	o 2925
12.79/12.83	c 5.29019 167.211 4339 2409758
12.79/12.83	o 2922
12.89/12.94	c 5.35518 167.211 4379 2437595
12.89/12.94	o 2564
12.99/13.02	c 5.39718 167.211 4386 2463394
12.99/13.02	o 2537
12.99/13.09	c 5.44417 167.211 4393 2469830
12.99/13.09	o 2534
13.20/13.21	c 5.51316 167.211 4411 2490832
13.20/13.21	o 2498
13.30/13.35	c 5.57915 167.211 4459 2499048
13.30/13.35	o 2496
13.59/13.67	c 5.74813 167.211 4533 2525547
13.59/13.67	o 2489
14.09/14.13	c 5.9391 167.211 4668 2566816
14.09/14.13	o 2349
14.20/14.27	c 6.00909 167.211 4703 2576736
14.20/14.27	o 2343
14.79/14.83	c 6.21406 167.211 4815 2587173
14.79/14.83	o 2337
15.49/15.58	c 6.53301 167.34 5093 2603174
15.49/15.58	o 2336
15.59/15.65	c 6.578 167.34 5104 2608318
15.59/15.65	o 2322
15.80/15.80	c 6.65099 167.34 5143 2630572
15.80/15.80	o 2320
15.89/15.91	c 6.71098 167.34 5158 2634156
15.89/15.91	o 2317
15.99/16.00	c 6.76697 167.34 5194 2656216
15.99/16.00	o 2273
16.09/16.10	c 6.81696 167.34 5212 2667942
16.09/16.10	o 2269
16.19/16.21	c 6.88495 167.34 5272 2693638
16.19/16.21	o 2263
16.19/16.28	c 6.92695 167.34 5282 2710282
16.19/16.28	o 2225
16.29/16.39	c 6.99194 167.34 5306 2727424
16.29/16.39	o 2223
16.40/16.48	c 7.04693 167.34 5325 2739650
16.40/16.48	o 2221
16.50/16.56	c 7.09792 167.34 5364 2756225
16.50/16.56	o 2203
16.69/16.78	c 7.18591 167.34 5401 2773760
16.69/16.78	o 2197
16.79/16.83	c 7.2299 167.34 5431 2778288
16.79/16.83	o 2190
16.89/16.94	c 7.28389 167.34 5449 2818728
16.89/16.94	o 2144
16.99/17.03	c 7.33588 167.34 5462 2835422
16.99/17.03	o 2142
16.99/17.09	c 7.37388 167.34 5468 2839075
16.99/17.09	o 2138
17.09/17.16	c 7.40787 167.34 5473 2848247
17.09/17.16	o 2134
17.19/17.24	c 7.45787 167.34 5480 2863316
17.19/17.24	o 2130
17.30/17.32	c 7.50586 167.34 5494 2872558
17.30/17.32	o 2129
17.30/17.38	c 7.54585 167.34 5509 2883994
17.30/17.38	o 2118
17.39/17.49	c 7.60884 167.34 5556 2911096
17.39/17.49	o 2102
17.50/17.54	c 7.64884 167.34 5562 2917598
17.50/17.54	o 2101
17.50/17.60	c 7.67683 167.34 5567 2929936
17.50/17.60	o 2072
17.59/17.66	c 7.71783 167.34 5572 2933929
17.59/17.66	o 2070
17.69/17.73	c 7.76282 167.34 5579 2936370
17.69/17.73	o 2069
17.80/17.80	c 7.80581 167.34 5593 2951263
17.80/17.80	o 2038
17.80/17.89	c 7.85881 167.34 5608 2962064
17.80/17.89	o 2036
18.00/18.00	c 7.9188 167.34 5623 2990744
18.00/18.00	o 2034
18.00/18.06	c 7.95079 167.34 5629 3002907
18.00/18.06	o 1784
18.09/18.15	c 8.00078 167.469 5639 3012048
18.09/18.15	o 1776
18.70/18.70	c 8.21675 167.469 5744 3024766
18.70/18.70	o 1742
18.79/18.86	c 8.29874 167.469 5757 3034776
18.79/18.86	o 1737
18.89/18.99	c 8.35873 167.469 5786 3037631
18.89/18.99	o 1734
19.89/19.92	c 8.70268 167.469 6000 3046456
19.89/19.92	o 1731
19.99/20.02	c 8.76867 167.469 6018 3063334
19.99/20.02	o 1724
19.99/20.09	c 8.81066 167.469 6037 3066906
19.99/20.09	o 1721
20.29/20.35	c 8.94564 167.469 6112 3077983
20.29/20.35	o 1717
20.40/20.48	c 9.01363 167.469 6136 3081679
20.40/20.48	o 1715
20.80/20.87	c 9.1866 167.469 6294 3088826
20.80/20.87	o 1708
21.40/21.40	c 9.39357 167.598 6452 3093686
21.40/21.40	o 1706
21.49/21.51	c 9.46756 167.598 6465 3106096
21.49/21.51	o 1703
21.59/21.60	c 9.52055 167.598 6478 3116350
21.59/21.60	o 1697
21.69/21.72	c 9.60454 167.598 6491 3125104
21.69/21.72	o 1696
25.70/25.70	c 11.2763 167.727 7339 3139775
25.70/25.70	o 1695
26.39/26.45	c 11.5592 167.727 7549 3146194
26.39/26.45	o 1694
26.99/27.00	c 11.7612 167.855 7663 3164978
26.99/27.00	o 1689
27.69/27.75	c 12.0142 167.855 7779 3169615
27.69/27.75	o 1688
27.89/27.95	c 12.1222 167.855 7841 3178443
27.89/27.95	o 1683
28.19/28.28	c 12.2571 167.855 7900 3186583
28.19/28.28	o 1682
28.29/28.34	c 12.2971 167.855 7914 3199884
28.29/28.34	o 1647
28.39/28.48	c 12.3621 167.855 7950 3206205
28.39/28.48	o 1644
29.70/29.74	c 12.846 167.855 8224 3219398
29.70/29.74	o 1643
30.30/30.35	c 13.109 167.984 8367 3233339
30.30/30.35	o 1641
30.39/30.45	c 13.182 167.984 8404 3244164
30.39/30.45	o 1638
30.49/30.51	c 13.22 167.984 8408 3246497
30.49/30.51	o 1637
30.59/30.66	c 13.289 167.984 8448 3251462
30.59/30.66	o 1624
30.89/30.93	c 13.391 167.984 8511 3254688
30.89/30.93	o 1622
31.00/31.01	c 13.441 167.984 8516 3259885
31.00/31.01	o 1619
31.00/31.06	c 13.474 167.984 8521 3264836
31.00/31.06	o 1617
31.09/31.15	c 13.5309 167.984 8546 3274964
31.09/31.15	o 1608
31.19/31.20	c 13.5719 167.984 8561 3278570
31.19/31.20	o 1602
31.19/31.27	c 13.6199 167.984 8580 3284524
31.19/31.27	o 1592
31.30/31.37	c 13.6869 167.984 8630 3305631
31.30/31.37	o 1476
31.39/31.45	c 13.7299 167.984 8636 3319035
31.39/31.45	o 1475
31.49/31.59	c 13.8239 167.984 8649 3351921
31.49/31.59	o 1474
31.60/31.64	c 13.8519 167.984 8659 3360480
31.60/31.64	o 1461
31.69/31.71	c 13.8899 167.984 8668 3365451
31.69/31.71	o 1454
31.80/31.81	c 13.9549 167.984 8711 3369521
31.80/31.81	o 1448
31.90/31.98	c 14.0649 167.984 8763 3386709
31.90/31.98	o 1447
32.19/32.22	c 14.1568 167.984 8804 3389406
32.19/32.22	o 1446
32.19/32.29	c 14.2008 167.984 8810 3393343
32.19/32.29	o 1445
32.29/32.36	c 14.2388 167.984 8820 3401869
32.29/32.36	o 1431
32.79/32.86	c 14.4108 167.984 8910 3405172
32.79/32.86	o 1430
33.49/33.52	c 14.6448 168.113 9056 3409240
33.49/33.52	o 1426
33.49/33.59	c 14.6978 168.113 9074 3413746
33.49/33.59	o 1410
33.59/33.68	c 14.7398 168.113 9084 3416510
33.59/33.68	o 1408
33.80/33.80	c 14.8377 168.113 9227 3422125
33.80/33.80	o 1407
33.89/33.93	c 14.8987 168.113 9242 3425337
33.89/33.93	o 1406
34.10/34.10	c 14.9847 168.113 9307 3428878
34.10/34.10	o 1403
34.19/34.21	c 15.0537 168.113 9328 3431262
34.19/34.21	o 1401
34.39/34.41	c 15.1547 168.113 9365 3433942
34.39/34.41	o 1400
34.49/34.58	c 15.2377 168.113 9403 3436428
34.49/34.58	o 1398
34.69/34.71	c 15.3127 168.113 9466 3444066
34.69/34.71	o 1396
34.69/34.78	c 15.3577 168.113 9475 3447275
34.69/34.78	o 1391
34.79/34.85	c 15.4107 168.113 9484 3449984
34.79/34.85	o 1388
35.10/35.15	c 15.5286 168.113 9531 3456959
35.10/35.15	o 1387
35.69/35.74	c 15.7506 168.113 9637 3461582
35.69/35.74	o 1386
36.29/36.34	c 15.9746 168.113 9743 3465349
36.29/36.34	o 1385
37.99/38.00	c 16.5225 168.242 10066 3473191
37.99/38.00	o 1384
37.99/38.08	c 16.5815 168.242 10073 3478357
37.99/38.08	o 1375
38.09/38.16	c 16.6385 168.242 10132 3481218
38.09/38.16	o 1371
38.19/38.26	c 16.6945 168.242 10149 3486045
38.19/38.26	o 1366
39.09/39.12	c 16.9894 168.242 10368 3492222
39.09/39.12	o 1355
39.19/39.21	c 17.0524 168.242 10385 3496961
39.19/39.21	o 1353
39.19/39.28	c 17.1044 168.242 10401 3499830
39.19/39.28	o 1350
39.39/39.48	c 17.1854 168.242 10434 3504789
39.39/39.48	o 1349
39.60/39.62	c 17.2614 168.242 10483 3507544
39.60/39.62	o 1348
39.69/39.79	c 17.3554 168.242 10567 3520631
39.69/39.79	o 1337
39.89/39.92	c 17.4333 168.242 10590 3533290
39.89/39.92	o 1331
39.99/40.03	c 17.4923 168.242 10605 3544880
39.99/40.03	o 1325
40.09/40.17	c 17.5593 168.242 10624 3549779
40.09/40.17	o 1320
40.19/40.27	c 17.6163 168.242 10642 3551445
40.19/40.27	o 1319
40.60/40.65	c 17.8183 168.371 10769 3561738
40.60/40.65	o 1316
40.70/40.71	c 17.8633 168.371 10829 3567378
40.70/40.71	o 1315
40.70/40.78	c 17.9083 168.371 10832 3572351
40.70/40.78	o 1310
40.79/40.83	c 17.9483 168.371 10834 3579883
40.79/40.83	o 1303
40.90/40.94	c 18.0073 168.371 10847 3583925
40.90/40.94	o 1298
40.99/41.04	c 18.0783 168.371 10859 3597972
40.99/41.04	o 1294
41.10/41.13	c 18.1292 168.371 10892 3610330
41.10/41.13	o 1293
41.20/41.21	c 18.1692 168.371 10905 3616559
41.20/41.21	o 1286
41.20/41.29	c 18.2202 168.371 10915 3628013
41.20/41.29	o 1267
41.29/41.34	c 18.2602 168.371 10928 3632343
41.29/41.34	o 1256
41.39/41.40	c 18.3052 168.371 10933 3640119
41.39/41.40	o 1246
41.39/41.48	c 18.3472 168.371 10943 3645899
41.39/41.48	o 1240
41.50/41.53	c 18.3822 168.371 10945 3651276
41.50/41.53	o 1230
41.50/41.58	c 18.4152 168.371 10948 3655570
41.50/41.58	o 1218
41.59/41.66	c 18.4562 168.371 10953 3668700
41.59/41.66	o 1207
41.70/41.72	c 18.4952 168.371 10965 3685692
41.70/41.72	o 1059
41.80/41.86	c 18.5642 168.371 11005 3689138
41.80/41.86	o 1057
41.99/42.09	c 18.6622 168.371 11079 3691122
41.99/42.09	o 1056
42.09/42.18	c 18.7202 168.371 11134 3692171
42.09/42.18	o 1055
42.19/42.29	c 18.7801 168.371 11153 3693183
42.19/42.29	o 1054
42.59/42.67	c 18.9521 168.371 11221 3695922
42.59/42.67	o 1053
42.70/42.74	c 19.0031 168.371 11229 3697902
42.70/42.74	o 1052
42.70/42.79	c 19.0451 168.371 11234 3699302
42.70/42.79	o 1050
42.90/42.92	c 19.1041 168.371 11272 3702252
42.90/42.92	o 1049
42.99/43.04	c 19.1621 168.371 11288 3704403
42.99/43.04	o 1044
42.99/43.09	c 19.1981 168.371 11290 3706114
42.99/43.09	o 1041
43.10/43.16	c 19.2401 168.371 11302 3710127
43.10/43.16	o 1035
43.19/43.29	c 19.3171 168.371 11314 3715660
43.19/43.29	o 1030
43.29/43.37	c 19.3631 168.371 11319 3718117
43.29/43.37	o 1024
43.50/43.52	c 19.429 168.371 11343 3720771
43.50/43.52	o 1023
43.59/43.63	c 19.485 168.371 11365 3722831
43.59/43.63	o 1018
43.70/43.72	c 19.536 168.371 11373 3727491
43.70/43.72	o 1016
43.70/43.78	c 19.574 168.371 11375 3729922
43.70/43.78	o 1014
43.79/43.85	c 19.619 168.371 11379 3733931
43.79/43.85	o 1012
43.90/43.90	c 19.66 168.371 11381 3735989
43.90/43.90	o 1010
43.90/43.99	c 19.707 168.371 11385 3739983
43.90/43.99	o 1006
44.00/44.09	c 19.767 168.371 11391 3746434
44.00/44.09	o 1004
44.09/44.19	c 19.823 168.371 11396 3750527
44.09/44.19	o 1001
44.20/44.24	c 19.861 168.371 11398 3753181
44.20/44.24	o 995
44.29/44.32	c 19.906 168.371 11407 3755349
44.29/44.32	o 994
44.39/44.41	c 19.954 168.371 11422 3759793
44.39/44.41	o 989
44.50/44.52	c 20.017 168.371 11433 3765971
44.50/44.52	o 987
44.69/44.71	c 20.0919 168.371 11467 3769154
44.69/44.71	o 986
44.69/44.78	c 20.1379 168.371 11473 3770689
44.69/44.78	o 985
44.79/44.89	c 20.1979 168.371 11490 3772550
44.79/44.89	o 983
45.89/45.94	c 20.5389 168.5 11708 3777105
45.89/45.94	o 981
45.89/45.99	c 20.5799 168.5 11721 3779479
45.89/45.99	o 978
46.00/46.07	c 20.6329 168.5 11732 3780728
46.00/46.07	o 977
46.10/46.15	c 20.6829 168.5 11744 3784743
46.10/46.15	o 974
46.20/46.27	c 20.7518 168.5 11819 3788413
46.20/46.27	o 973
46.29/46.38	c 20.8248 168.5 11846 3796658
46.29/46.38	o 972
46.49/46.51	c 20.8928 168.5 11904 3801995
46.49/46.51	o 971
46.59/46.60	c 20.9468 168.5 11912 3807850
46.59/46.60	o 970
47.09/47.10	c 21.1318 168.5 12022 3810289
47.09/47.10	o 969
47.60/47.65	c 21.3528 168.5 12134 3814038
47.60/47.65	o 968
47.69/47.77	c 21.4257 168.5 12164 3816258
47.69/47.77	o 967
47.89/47.90	c 21.4927 168.5 12184 3817735
47.89/47.90	o 964
48.79/48.80	c 21.7907 168.629 12392 3821279
48.79/48.80	o 962
48.79/48.85	c 21.8287 168.629 12394 3822745
48.79/48.85	o 960
48.89/48.94	c 21.8867 168.629 12399 3824339
48.89/48.94	o 958
48.89/48.99	c 21.9217 168.629 12400 3826172
48.89/48.99	o 955
48.99/49.04	c 21.9647 168.629 12402 3827836
48.99/49.04	o 953
49.09/49.12	c 22.0147 168.629 12405 3829716
49.09/49.12	o 950
49.29/49.30	c 22.1056 168.629 12469 3832004
49.29/49.30	o 949
49.29/49.37	c 22.1416 168.629 12477 3834927
49.29/49.37	o 945
49.50/49.51	c 22.2146 168.629 12493 3837569
49.50/49.51	o 944
49.50/49.59	c 22.2736 168.629 12503 3847679
49.50/49.59	o 937
49.59/49.66	c 22.3156 168.629 12510 3850881
49.59/49.66	o 928
49.69/49.74	c 22.3856 168.629 12534 3852536
49.69/49.74	o 925
74.59/74.61	c 30.6543 169.789 17919 3869009
74.59/74.61	o 924
75.09/75.17	c 30.9003 169.789 18012 3870669
75.09/75.17	o 923
75.39/75.44	c 31.0713 169.789 18152 3874854
75.39/75.44	o 922
75.59/75.63	c 31.1673 169.789 18186 3876469
75.59/75.63	o 921
75.80/75.80	c 31.2772 169.973 18297 3879153
75.80/75.80	o 920
75.90/75.98	c 31.3722 169.973 18335 3882991
75.90/75.98	o 919
76.60/76.66	c 31.6402 169.973 18443 3885396
76.60/76.66	o 918
76.69/76.73	c 31.6892 169.973 18449 3886485
76.69/76.73	o 917
77.00/77.02	c 31.8222 169.973 18514 3889024
77.00/77.02	o 916
77.00/77.09	c 31.8672 169.973 18529 3890141
77.00/77.09	o 915
77.09/77.19	c 31.9451 169.973 18594 3892195
77.09/77.19	o 913
77.29/77.34	c 32.0431 169.973 18688 3895645
77.29/77.34	o 910
77.50/77.52	c 32.1331 169.973 18721 3899494
77.50/77.52	o 909
77.60/77.62	c 32.1991 169.973 18780 3903292
77.60/77.62	o 908
77.70/77.71	c 32.2471 169.973 18798 3908286
77.70/77.71	o 907
77.79/77.83	c 32.3151 169.973 18816 3911629
77.79/77.83	o 906
78.00/78.04	c 32.4061 169.973 18845 3914859
78.00/78.04	o 903
78.19/78.21	c 32.4981 169.973 18874 3918257
78.19/78.21	o 902
78.29/78.31	c 32.561 169.973 18889 3921353
78.29/78.31	o 901
79.29/79.30	c 32.944 169.973 19136 3925146
79.29/79.30	o 900
79.29/79.38	c 32.999 169.973 19146 3927745
79.29/79.38	o 899
79.39/79.45	c 33.046 169.973 19152 3929531
79.39/79.45	o 897
79.49/79.51	c 33.087 169.973 19158 3931194
79.49/79.51	o 896
79.49/79.59	c 33.153 169.973 19220 3932718
79.49/79.59	o 895
79.69/79.70	c 33.2169 169.973 9637 3936517
79.69/79.70	o 894
80.20/80.24	c 33.4119 169.973 9745 3941421
80.20/80.24	o 893
80.30/80.37	c 33.4829 169.973 9775 3943590
80.30/80.37	o 891
80.39/80.45	c 33.5269 169.973 9796 3944857
80.39/80.45	o 889
81.09/81.15	c 33.7829 169.973 10041 3948806
81.09/81.15	o 888
81.40/81.45	c 34.0108 169.973 10477 3951477
81.40/81.45	o 887
81.50/81.56	c 34.0638 169.973 10502 3952312
81.50/81.56	o 886
81.59/81.62	c 34.1058 169.973 10507 3954290
81.59/81.62	o 884
81.69/81.70	c 34.1568 169.973 10518 3956312
81.69/81.70	o 883
81.79/81.89	c 34.2328 169.973 10549 3958619
81.79/81.89	o 882
81.89/81.96	c 34.2788 169.973 10563 3960587
81.89/81.96	o 881
81.99/82.09	c 34.3388 169.973 10601 3963337
81.99/82.09	o 880
82.89/82.98	c 34.6757 169.973 10762 3966120
82.89/82.98	o 878
83.10/83.17	c 34.7607 169.973 10795 3967802
83.10/83.17	o 877
83.19/83.28	c 34.8227 169.973 10813 3969465
83.19/83.28	o 876
83.40/83.43	c 34.8887 169.973 10847 3971086
83.40/83.43	o 875
83.99/84.08	c 35.1487 169.973 11009 3973590
83.99/84.08	o 873
84.20/84.20	c 35.2096 169.973 11084 3974846
84.20/84.20	o 872
84.30/84.32	c 35.2686 169.973 11128 3975779
84.30/84.32	o 871
84.40/84.43	c 35.3466 169.973 11270 3977973
84.40/84.43	o 870
84.49/84.52	c 35.4006 169.973 11325 3979307
84.49/84.52	o 869
85.10/85.11	c 35.6046 169.973 11421 3980872
85.10/85.11	o 868
85.29/85.30	c 35.6866 169.973 11448 3983203
85.29/85.30	o 867
85.39/85.43	c 35.7506 169.973 11472 3984102
85.39/85.43	o 866
85.49/85.54	c 35.8116 169.973 11491 3986895
85.49/85.54	o 865
85.59/85.62	c 35.8595 169.973 11498 3988796
85.59/85.62	o 863
85.69/85.72	c 35.9215 169.973 11511 3991840
85.69/85.72	o 862
85.80/85.86	c 35.9975 169.973 11524 3996135
85.80/85.86	o 859
86.69/86.72	c 36.3435 169.973 11696 4000924
86.69/86.72	o 858
86.69/86.78	c 36.3875 169.973 11698 4002338
86.69/86.78	o 856
86.80/86.90	c 36.4695 169.973 11709 4004375
86.80/86.90	o 855
87.09/87.15	c 36.5744 169.973 11747 4006158
87.09/87.15	o 854
87.79/87.81	c 36.8204 169.973 11908 4009191
87.79/87.81	o 853
87.79/87.88	c 36.8654 169.973 11923 4010118
87.79/87.88	o 852
88.49/88.59	c 37.1683 169.973 12098 4013603
88.49/88.59	o 851
88.79/88.81	c 37.2683 169.973 12129 4014293
88.79/88.81	o 850
88.89/88.97	c 37.3513 169.973 12172 4015376
88.89/88.97	o 849
89.10/89.15	c 37.4483 169.973 12216 4018638
89.10/89.15	o 848
89.50/89.59	c 37.6243 169.973 12335 4020495
89.50/89.59	o 847
89.79/89.81	c 37.7243 169.973 12377 4022347
89.79/89.81	o 846
89.79/89.88	c 37.7793 169.973 12389 4023683
89.79/89.88	o 845
90.30/90.30	c 37.9932 169.973 12457 4027962
90.30/90.30	o 844
90.80/90.88	c 38.2452 169.973 12651 4030103
90.80/90.88	o 843
91.10/91.14	c 38.3402 169.973 12711 4030976
91.10/91.14	o 842
91.19/91.30	c 38.4012 169.973 12738 4031793
91.19/91.30	o 841
91.30/91.37	c 38.4532 169.973 12750 4033574
91.30/91.37	o 840
91.39/91.43	c 38.4931 169.973 12763 4034298
91.39/91.43	o 839
91.59/91.63	c 38.6131 169.973 12846 4038371
91.59/91.63	o 838
91.90/91.91	c 38.7781 169.973 12923 4040143
91.90/91.91	o 837
92.89/92.99	c 39.199 169.973 13219 4043230
92.89/92.99	o 836
93.20/93.23	c 39.298 169.973 13265 4044595
93.20/93.23	o 835
93.30/93.34	c 39.367 169.973 13291 4046108
93.30/93.34	o 833
93.60/93.66	c 39.509 169.973 13342 4047216
93.60/93.66	o 832
93.69/93.73	c 39.557 169.973 13353 4048298
93.69/93.73	o 831
93.69/93.79	c 39.597 169.973 13359 4049360
93.69/93.79	o 830
93.80/93.85	c 39.642 169.973 13385 4050190
93.80/93.85	o 829
93.90/93.91	c 39.688 169.973 13419 4051045
93.90/93.91	o 828
93.90/93.99	c 39.74 169.973 13437 4052577
93.90/93.99	o 826
93.99/94.05	c 39.779 169.973 13445 4053575
93.99/94.05	o 825
94.09/94.12	c 39.8289 169.973 13458 4055553
94.09/94.12	o 822
94.19/94.20	c 39.8799 169.973 13476 4056991
94.19/94.20	o 820
94.29/94.31	c 39.9459 169.973 13531 4059300
94.29/94.31	o 819
94.39/94.40	c 39.9979 169.973 13583 4060898
94.39/94.40	o 818
94.39/94.47	c 40.0369 169.973 13593 4062430
94.39/94.47	o 817
94.49/94.54	c 40.0769 169.973 13601 4064206
94.49/94.54	o 816
94.60/94.60	c 40.1239 169.973 13622 4065690
94.60/94.60	o 815
94.60/94.69	c 40.2019 169.973 13701 4066507
94.60/94.69	o 814
94.69/94.75	c 40.2469 169.973 13705 4068102
94.69/94.75	o 813
94.80/94.81	c 40.2889 169.973 13706 4068736
94.80/94.81	o 812
94.80/94.88	c 40.3309 169.973 13714 4070078
94.80/94.88	o 811
94.89/94.93	c 40.3709 169.973 13716 4071234
94.89/94.93	o 810
94.89/94.99	c 40.4099 169.973 13717 4072507
94.89/94.99	o 809
95.09/95.13	c 40.4788 169.973 13734 4073883
95.09/95.13	o 808
95.09/95.19	c 40.5218 169.973 13742 4075435
95.09/95.19	o 807
95.19/95.27	c 40.5648 169.973 13754 4076910
95.19/95.27	o 806
95.29/95.34	c 40.6138 169.973 13762 4078883
95.29/95.34	o 804
95.29/95.39	c 40.6508 169.973 13770 4080229
95.29/95.39	o 802
95.39/95.45	c 40.6938 169.973 13775 4082263
95.39/95.45	o 800
95.49/95.51	c 40.7378 169.973 13797 4083908
95.49/95.51	o 799
95.49/95.57	c 40.7898 169.973 13845 4085268
95.49/95.57	o 797
95.60/95.67	c 40.8458 169.973 13853 4088332
95.60/95.67	o 795
95.70/95.74	c 40.8848 169.973 13857 4090396
95.70/95.74	o 794
95.70/95.79	c 40.9258 169.973 13863 4092258
95.70/95.79	o 793
95.80/95.84	c 40.9638 169.973 13866 4094737
95.80/95.84	o 788
95.90/95.90	c 41.0068 169.973 13871 4097195
95.90/95.90	o 787
95.90/95.97	c 41.0498 169.973 13879 4099930
95.90/95.97	o 783
95.99/96.04	c 41.0908 169.973 13885 4104020
95.99/96.04	o 781
95.99/96.09	c 41.1277 169.973 13889 4106006
95.99/96.09	o 776
96.10/96.17	c 41.1777 169.973 13898 4109611
96.10/96.17	o 773
96.19/96.24	c 41.2187 169.973 13907 4111797
96.19/96.24	o 771
96.29/96.34	c 41.2677 169.973 13919 4114168
96.29/96.34	o 770
96.89/96.98	c 41.5137 169.973 14065 4119138
96.89/96.98	o 769
97.09/97.12	c 41.5747 169.973 14080 4120757
97.09/97.12	o 767
97.39/97.41	c 41.7167 169.973 14136 4122179
97.39/97.41	o 766
97.69/97.73	c 41.8416 169.973 14204 4123957
97.69/97.73	o 764
97.79/97.85	c 41.9106 169.973 14218 4125371
97.79/97.85	o 763
97.90/97.93	c 41.9566 169.973 14234 4126442
97.90/97.93	o 762
99.00/99.05	c 42.3636 169.973 14539 4130196
99.00/99.05	o 761
99.09/99.11	c 42.4136 169.973 14553 4131653
99.09/99.11	o 760
99.19/99.24	c 42.4785 169.973 14568 4133708
99.19/99.24	o 759
99.29/99.38	c 42.5425 169.973 14609 4135237
99.29/99.38	o 758
99.39/99.43	c 42.5845 169.973 14614 4135973
99.39/99.43	o 757
99.50/99.51	c 42.6365 169.973 14620 4137263
99.50/99.51	o 755
99.69/99.72	c 42.7235 169.973 14656 4138109
99.69/99.72	o 754
99.80/99.84	c 42.7815 169.973 14674 4139313
99.80/99.84	o 753
99.89/99.92	c 42.8285 169.973 14683 4140481
99.89/99.92	o 752
100.00/100.09	c 42.9135 169.973 14709 4141426
100.00/100.09	o 751
100.10/100.15	c 42.9535 169.973 14723 4142657
100.10/100.15	o 750
100.20/100.22	c 43.0015 169.973 14730 4144411
100.20/100.22	o 749
100.20/100.29	c 43.0515 169.973 14745 4145562
100.20/100.29	o 748
100.49/100.57	c 43.1634 169.973 14823 4146529
100.49/100.57	o 747
100.60/100.63	c 43.2064 169.973 14828 4147670
100.60/100.63	o 746
100.69/100.70	c 43.2454 169.973 14836 4148974
100.69/100.70	o 745
100.69/100.76	c 43.2834 169.973 14839 4150809
100.69/100.76	o 744
100.79/100.82	c 43.3254 169.973 14845 4153049
100.79/100.82	o 743
100.79/100.87	c 43.3574 169.973 14849 4154491
100.79/100.87	o 742
100.89/100.95	c 43.4014 169.973 14854 4156180
100.89/100.95	o 741
100.99/101.00	c 43.4444 169.973 14857 4158762
100.99/101.00	o 740
100.99/101.10	c 43.5094 169.973 14879 4161788
100.99/101.10	o 737
101.10/101.16	c 43.5494 169.973 14884 4164216
101.10/101.16	o 735
101.20/101.24	c 43.6074 169.973 14910 4166035
101.20/101.24	o 734
101.30/101.30	c 43.6564 169.973 14922 4169043
101.30/101.30	o 732
101.30/101.37	c 43.7024 169.973 14925 4172359
101.30/101.37	o 731
101.39/101.45	c 43.7483 169.973 14945 4175095
101.39/101.45	o 730
101.49/101.55	c 43.8123 169.973 14982 4181383
101.49/101.55	o 728
101.59/101.61	c 43.8513 169.973 14986 4184969
101.59/101.61	o 727
101.59/101.66	c 43.8933 169.973 14992 4187433
101.59/101.66	o 726
101.70/101.72	c 43.9363 169.973 14997 4190718
101.70/101.72	o 722
101.70/101.79	c 43.9783 169.973 15002 4192819
101.70/101.79	o 721
101.79/101.86	c 44.0263 169.973 15014 4196109
101.79/101.86	o 719
101.89/101.92	c 44.0623 169.973 15023 4197994
101.89/101.92	o 717
101.89/101.98	c 44.1023 169.973 15032 4199941
101.89/101.98	o 716
101.99/102.07	c 44.1633 169.973 15061 4205377
101.99/102.07	o 715
102.10/102.13	c 44.2063 169.973 15092 4208407
102.10/102.13	o 714
102.10/102.20	c 44.2593 169.973 15144 4209867
102.10/102.20	o 712
102.40/102.40	c 44.3603 169.973 15193 4211261
102.40/102.40	o 711
102.59/102.63	c 44.4652 169.973 15243 4212668
102.59/102.63	o 710
102.89/102.96	c 44.6252 169.973 15300 4214173
102.89/102.96	o 709
103.00/103.07	c 44.6932 169.973 15314 4216510
103.00/103.07	o 708
103.10/103.18	c 44.7542 169.973 15348 4217461
103.10/103.18	o 707
103.30/103.31	c 44.8352 169.973 15397 4219389
103.30/103.31	o 706
103.30/103.40	c 44.8862 169.973 15406 4220355
103.30/103.40	o 704
103.49/103.52	c 44.9502 169.973 15442 4221361
103.49/103.52	o 703
103.60/103.61	c 45.0002 169.973 15452 4222260
103.60/103.61	o 702
103.60/103.69	c 45.0512 169.973 15462 4224274
103.60/103.69	o 701
103.89/103.98	c 45.1611 169.973 15514 4225106
103.89/103.98	o 700
104.20/104.27	c 45.2771 169.973 15557 4226633
104.20/104.27	o 699
104.59/104.62	c 45.4101 169.973 15633 4228022
104.59/104.62	o 698
104.90/104.99	c 45.5781 169.973 15748 4229492
104.90/104.99	o 697
105.50/105.55	c 45.774 169.973 15870 4231546
105.50/105.55	o 696
105.60/105.62	c 45.821 169.973 15876 4232460
105.60/105.62	o 695
105.60/105.70	c 45.867 169.973 15886 4233471
105.60/105.70	o 694
105.69/105.78	c 45.914 169.973 15891 4234125
105.69/105.78	o 693
105.79/105.87	c 45.973 169.973 15900 4235231
105.79/105.87	o 692
106.09/106.15	c 46.096 169.973 15952 4236154
106.09/106.15	o 690
106.79/106.85	c 46.331 169.973 16134 4237850
106.79/106.85	o 689
106.89/106.93	c 46.3819 169.973 16153 4238929
106.89/106.93	o 688
106.99/107.01	c 46.4309 169.973 16183 4240424
106.99/107.01	o 687
106.99/107.07	c 46.4779 169.973 16207 4241908
106.99/107.07	o 685
107.09/107.16	c 46.5229 169.973 16215 4242918
107.09/107.16	o 684
107.20/107.21	c 46.5599 169.973 16220 4244755
107.20/107.21	o 681
107.20/107.27	c 46.5999 169.973 16223 4246121
107.20/107.27	o 680
107.29/107.33	c 46.6369 169.973 16227 4247213
107.29/107.33	o 679
107.40/107.40	c 46.6839 169.973 16245 4249218
107.40/107.40	o 675
107.49/107.58	c 46.7749 169.973 16276 4250775
107.49/107.58	o 674
107.59/107.64	c 46.8209 169.973 16282 4251730
107.59/107.64	o 673
107.59/107.69	c 46.8569 169.973 16286 4252690
107.59/107.69	o 672
107.70/107.75	c 46.8969 169.973 16294 4253889
107.70/107.75	o 671
107.80/107.84	c 46.9559 169.973 16318 4255431
107.80/107.84	o 670
107.89/107.92	c 47.0119 169.973 16339 4257707
107.89/107.92	o 669
108.30/108.36	c 47.1798 169.973 16541 4260543
108.30/108.36	o 668
108.49/108.52	c 47.2678 169.973 16575 4261331
108.49/108.52	o 667
108.49/108.59	c 47.3168 169.973 16585 4262039
108.49/108.59	o 666
108.60/108.67	c 47.3578 169.973 16593 4262857
108.60/108.67	o 665
108.69/108.75	c 47.4118 169.973 16618 4263893
108.69/108.75	o 664
108.69/108.80	c 47.4498 169.973 16624 4264851
108.69/108.80	o 662
108.79/108.85	c 47.4868 169.973 16633 4265782
108.79/108.85	o 661
108.89/108.91	c 47.5328 169.973 16636 4267187
108.89/108.91	o 660
108.89/108.97	c 47.5778 169.973 16639 4268382
108.89/108.97	o 659
109.00/109.07	c 47.6368 169.973 16657 4270560
109.00/109.07	o 658
109.10/109.15	c 47.6798 169.973 16664 4272169
109.10/109.15	o 657
109.29/109.36	c 47.7647 169.973 16699 4273302
109.29/109.36	o 656
109.40/109.46	c 47.8227 169.973 16715 4274808
109.40/109.46	o 655
109.50/109.51	c 47.8587 169.973 16723 4276042
109.50/109.51	o 654
109.59/109.64	c 47.9447 169.973 16782 4278167
109.59/109.64	o 653
109.70/109.72	c 48.0017 169.973 16819 4280162
109.70/109.72	o 652
109.79/109.80	c 48.0487 169.973 16827 4282805
109.79/109.80	o 647
109.89/109.90	c 48.1107 169.973 16838 4287065
109.89/109.90	o 646
109.89/109.98	c 48.1607 169.973 16845 4288553
109.89/109.98	o 645
110.09/110.13	c 48.2397 169.973 16864 4290099
110.09/110.13	o 644
110.19/110.20	c 48.2797 169.973 16880 4292914
110.19/110.20	o 643
110.19/110.27	c 48.3227 169.973 16898 4294888
110.19/110.27	o 642
110.49/110.59	c 48.4846 169.973 16991 4297149
110.49/110.59	o 641
110.60/110.68	c 48.5316 169.973 16996 4298193
110.60/110.68	o 639
110.79/110.89	c 48.6266 169.973 17036 4300073
110.79/110.89	o 638
111.00/111.01	c 48.7046 169.973 17073 4301865
111.00/111.01	o 637
111.10/111.12	c 48.7636 169.973 17095 4302866
111.10/111.12	o 636
111.29/111.38	c 48.8746 169.973 17149 4304281
111.29/111.38	o 635
111.39/111.46	c 48.9256 169.973 17158 4305497
111.39/111.46	o 633
111.49/111.53	c 48.9766 169.973 17162 4306449
111.49/111.53	o 631
111.59/111.63	c 49.0385 169.973 17173 4308203
111.59/111.63	o 629
111.69/111.76	c 49.1095 169.973 17187 4309554
111.69/111.76	o 628
112.39/112.41	c 49.3585 169.973 17305 4312315
112.39/112.41	o 627
112.39/112.47	c 49.4005 169.973 17311 4313181
112.39/112.47	o 626
112.49/112.57	c 49.4655 169.973 17345 4314555
112.49/112.57	o 625
112.60/112.69	c 49.5245 169.973 17381 4315450
112.60/112.69	o 624
112.79/112.82	c 49.6025 169.973 17405 4317507
112.79/112.82	o 623
113.09/113.19	c 49.7374 169.973 17472 4319002
113.09/113.19	o 622
113.20/113.26	c 49.7914 169.973 17489 4319806
113.20/113.26	o 621
113.30/113.33	c 49.8374 169.973 17500 4320949
113.30/113.33	o 620
113.80/113.86	c 50.0304 169.973 17645 4323216
113.80/113.86	o 619
113.99/114.02	c 50.1314 169.973 17773 4324643
113.99/114.02	o 618
114.10/114.13	c 50.1984 169.973 17786 4325943
114.10/114.13	o 617
114.10/114.19	c 50.2434 169.973 17794 4327419
114.10/114.19	o 615
114.19/114.26	c 50.2914 169.973 17798 4328725
114.19/114.26	o 614
114.30/114.37	c 50.3733 169.973 17860 4330696
114.30/114.37	o 613
114.40/114.48	c 50.4363 169.973 17927 4331590
114.40/114.48	o 612
114.49/114.56	c 50.4783 169.973 17966 4332360
114.49/114.56	o 611
114.60/114.62	c 50.5193 169.973 17972 4333618
114.60/114.62	o 610
114.69/114.70	c 50.5703 169.973 17984 4334927
114.69/114.70	o 609
114.69/114.76	c 50.6133 169.973 18002 4335817
114.69/114.76	o 608
114.79/114.83	c 50.6663 169.973 18028 4336940
114.79/114.83	o 607
114.90/114.91	c 50.7103 169.973 18055 4338871
114.90/114.91	o 606
114.90/114.96	c 50.7493 169.973 18070 4339840
114.90/114.96	o 605
115.00/115.01	c 50.7853 169.973 18075 4341038
115.00/115.01	o 602
115.00/115.08	c 50.8333 169.973 18090 4342849
115.00/115.08	o 600
115.10/115.15	c 50.8733 169.973 18099 4343786
115.10/115.15	o 599
115.20/115.22	c 50.9223 169.973 18108 4344852
115.20/115.22	o 598
115.30/115.30	c 50.9922 169.973 18171 4345949
115.30/115.30	o 597
115.30/115.36	c 51.0302 169.973 18175 4347079
115.30/115.36	o 596
115.40/115.44	c 51.0882 169.973 18262 4348564
115.40/115.44	o 595
115.40/115.50	c 51.1372 169.973 18277 4349663
115.40/115.50	o 594
115.50/115.57	c 51.1912 169.973 18323 4350831
115.50/115.57	o 593
115.70/115.77	c 51.3042 169.973 18461 4352141
115.70/115.77	o 592
115.80/115.85	c 51.3662 169.973 18518 4352944
115.80/115.85	o 591
115.89/115.91	c 51.4092 169.973 18523 4353682
115.89/115.91	o 590
115.89/115.96	c 51.4502 169.973 18523 4355282
115.89/115.96	o 588
116.00/116.01	c 51.4872 169.973 18524 4356084
116.00/116.01	o 587
116.00/116.07	c 51.5302 169.973 18530 4358370
116.00/116.07	o 586
116.09/116.16	c 51.5842 169.973 18539 4359733
116.09/116.16	o 585
116.20/116.22	c 51.6242 169.973 18542 4361086
116.20/116.22	o 584
116.20/116.28	c 51.6631 169.973 18544 4362382
116.20/116.28	o 583
116.30/116.34	c 51.7071 169.973 18546 4363615
116.30/116.34	o 582
116.39/116.41	c 51.7571 169.973 18555 4365726
116.39/116.41	o 580
116.50/116.51	c 51.8181 169.973 18580 4367079
116.50/116.51	o 579
117.09/117.15	c 52.0631 169.973 18699 4369919
117.09/117.15	o 577
117.20/117.23	c 52.1241 169.973 18711 4370913
117.20/117.23	o 576
117.30/117.31	c 52.1731 169.973 18715 4371999
117.30/117.31	o 575
117.40/117.41	c 52.2431 169.973 18753 4372885
117.40/117.41	o 574
117.40/117.47	c 52.2821 169.973 18760 4373575
117.40/117.47	o 573
117.50/117.56	c 52.353 169.973 18836 4374537
117.50/117.56	o 572
117.60/117.68	c 52.422 169.973 18854 4375723
117.60/117.68	o 571
117.79/117.85	c 52.488 169.973 18902 4377025
117.79/117.85	o 570
117.89/117.95	c 52.552 169.973 18968 4378343
117.89/117.95	o 569
117.99/118.02	c 52.596 169.973 18974 4379349
117.99/118.02	o 568
117.99/118.07	c 52.632 169.973 18975 4380265
117.99/118.07	o 567
118.09/118.14	c 52.685 169.973 19047 4381641
118.09/118.14	o 564
118.19/118.20	c 52.727 169.973 19051 4382615
118.19/118.20	o 563
118.19/118.25	c 52.765 169.973 19060 4383602
118.19/118.25	o 562
118.29/118.35	c 52.819 169.973 19075 4384732
118.29/118.35	o 561
118.39/118.42	c 52.865 169.973 19082 4386096
118.39/118.42	o 560
118.59/118.67	c 52.9849 169.973 19127 4387177
118.59/118.67	o 559
118.70/118.80	c 53.0669 169.973 19190 4388227
118.70/118.80	o 558
118.80/118.87	c 53.1139 169.973 19198 4389560
118.80/118.87	o 555
118.89/118.99	c 53.1729 169.973 19219 4390992
118.89/118.99	o 554
119.09/119.13	c 53.2459 169.973 19234 4392458
119.09/119.13	o 553
119.09/119.19	c 53.2869 169.973 19239 4393895
119.09/119.19	o 552
119.19/119.26	c 53.3299 169.973 19243 4395347
119.19/119.26	o 551
119.30/119.40	c 53.3829 169.973 19265 4396053
119.30/119.40	o 550
119.40/119.45	c 53.4209 169.973 19267 4396879
119.40/119.45	o 549
119.60/119.60	c 53.4829 169.973 19289 4398522
119.60/119.60	o 548
119.70/119.74	c 53.5609 169.973 19309 4399188
119.70/119.74	o 547
119.70/119.80	c 53.5999 169.973 19312 4399947
119.70/119.80	o 546
119.80/119.85	c 53.6388 169.973 19316 4400729
119.80/119.85	o 545
119.90/119.90	c 53.6768 169.973 19331 4401443
119.90/119.90	o 544
120.09/120.10	c 53.7568 169.973 19367 4402076
120.09/120.10	o 543
120.20/120.23	c 53.8278 169.973 9746 4403506
120.20/120.23	o 542
120.20/120.28	c 53.8688 169.973 9751 4404370
120.20/120.28	o 541
120.29/120.34	c 53.9098 169.973 9763 4405495
120.29/120.34	o 540
120.29/120.39	c 53.9488 169.973 9772 4406383
120.29/120.39	o 539
120.40/120.48	c 54.0218 169.973 9908 4407685
120.40/120.48	o 535
120.50/120.53	c 54.0618 169.973 9910 4408871
120.50/120.53	o 531
120.50/120.59	c 54.0998 169.973 9918 4409622
120.50/120.59	o 530
120.59/120.65	c 54.1428 169.973 9971 4410643
120.59/120.65	o 528
120.70/120.72	c 54.1898 169.973 10067 4411955
120.70/120.72	o 527
120.70/120.78	c 54.2288 169.973 10083 4413247
120.70/120.78	o 525
120.79/120.83	c 54.2687 169.973 10100 4413922
120.79/120.83	o 524
120.79/120.90	c 54.3197 169.973 10123 4414861
120.79/120.90	o 523
120.90/120.96	c 54.3597 169.973 10128 4415557
120.90/120.96	o 522
121.00/121.05	c 54.4217 169.973 10135 4416828
121.00/121.05	o 521
121.10/121.11	c 54.4647 169.973 10159 4417825
121.10/121.11	o 520
121.10/121.16	c 54.5107 169.973 10183 4418538
121.10/121.16	o 519
121.19/121.24	c 54.5537 169.973 10189 4419726
121.19/121.24	o 518
121.29/121.30	c 54.5927 169.973 10195 4421490
121.29/121.30	o 517
121.29/121.40	c 54.6467 169.973 10203 4422926
121.39/121.40	o 516
121.50/121.52	c 54.7177 169.973 10216 4424141
121.50/121.52	o 515
121.50/121.58	c 54.7607 169.973 10223 4425636
121.50/121.58	o 513
121.60/121.66	c 54.8087 169.973 10230 4428280
121.60/121.66	o 510
121.70/121.74	c 54.8767 169.973 10316 4430314
121.70/121.74	o 509
121.70/121.79	c 54.9137 169.973 10318 4431535
121.70/121.79	o 508
121.79/121.86	c 54.9586 169.973 10343 4432259
121.79/121.86	o 507
121.89/121.93	c 55.0086 169.973 10354 4434035
121.89/121.93	o 504
121.89/121.99	c 55.0416 169.973 10355 4435690
121.89/121.99	o 503
122.00/122.05	c 55.0806 169.973 10357 4437947
122.00/122.05	o 502
122.10/122.19	c 55.1696 169.973 10380 4440027
122.10/122.19	o 501
122.19/122.25	c 55.2086 169.973 10383 4441112
122.19/122.25	o 500
122.30/122.32	c 55.2626 169.973 10388 4442035
122.30/122.32	o 499
122.39/122.42	c 55.3286 169.973 10397 4444760
122.39/122.42	o 498
122.39/122.47	c 55.3696 169.973 10399 4445550
122.39/122.47	o 497
122.49/122.56	c 55.4206 169.973 10408 4446460
122.49/122.56	o 496
122.99/123.03	c 55.5706 169.973 10484 4448040
122.99/123.03	o 495
123.20/123.26	c 55.6865 169.973 10526 4448976
123.20/123.26	o 494
123.39/123.46	c 55.7605 169.973 10547 4449769
123.39/123.46	o 493
123.49/123.52	c 55.8035 169.973 10556 4450647
123.49/123.52	o 492
123.59/123.67	c 55.9045 169.973 10658 4452109
123.59/123.67	o 489
123.69/123.72	c 55.9375 169.973 10660 4452770
123.69/123.72	o 487
123.79/123.80	c 55.9865 169.973 10666 4453878
123.79/123.80	o 485
123.79/123.86	c 56.0235 169.973 10672 4455281
123.79/123.86	o 484
123.89/123.93	c 56.0715 169.973 10678 4456932
123.89/123.93	o 483
123.99/124.05	c 56.1635 169.973 10757 4459039
123.99/124.05	o 482
124.09/124.13	c 56.2105 169.973 10765 4462231
124.09/124.13	o 481
124.20/124.20	c 56.2554 169.973 10777 4464957
124.20/124.20	o 480
124.20/124.26	c 56.2974 169.973 10779 4466694
124.20/124.26	o 479
124.30/124.31	c 56.3384 169.973 10780 4468659
124.30/124.31	o 477
124.30/124.37	c 56.3774 169.973 10783 4470011
124.30/124.37	o 476
124.39/124.42	c 56.4154 169.973 10784 4471092
124.39/124.42	o 475
124.39/124.47	c 56.4514 169.973 10785 4472471
124.39/124.47	o 472
124.49/124.54	c 56.4994 169.973 10788 4473408
124.49/124.54	o 470
124.60/124.60	c 56.5354 169.973 10791 4475230
124.60/124.60	o 464
124.60/124.65	c 56.5714 169.973 10792 4477354
124.60/124.65	o 463
124.69/124.70	c 56.6134 171.125 10793 4479230
124.69/124.70	o 460
124.69/124.75	c 56.6524 171.125 10794 4480750
124.69/124.75	o 459
124.80/124.81	c 56.6964 171.125 10796 4483128
124.80/124.81	o 458
124.80/124.87	c 56.7404 171.125 10800 4484709
124.80/124.87	o 457
124.89/124.97	c 56.7934 171.125 10806 4489616
124.89/124.97	o 456
124.99/125.03	c 56.8454 171.125 10822 4491137
124.99/125.03	o 454
124.99/125.09	c 56.8914 171.125 10829 4493164
124.99/125.09	o 453
125.09/125.14	c 56.9243 171.125 10829 4494575
125.09/125.14	o 452
125.09/125.19	c 56.9623 171.125 10830 4496638
125.09/125.19	o 449
125.30/125.33	c 57.0313 171.125 10845 4498403
125.30/125.33	o 448
125.30/125.38	c 57.0713 171.125 10847 4500085
125.30/125.38	o 447
125.40/125.48	c 57.1273 171.125 10856 4503430
125.40/125.48	o 446
125.59/125.63	c 57.2133 171.125 10879 4506282
125.59/125.63	o 445
125.59/125.68	c 57.2553 171.125 10887 4507002
125.59/125.68	o 443
125.70/125.73	c 57.2933 171.125 10890 4507610
125.70/125.74	o 442
125.70/125.79	c 57.3333 171.125 10891 4508703
125.70/125.79	o 439
125.79/125.84	c 57.3693 171.125 10892 4509574
125.79/125.84	o 437
125.79/125.89	c 57.4093 171.125 10896 4510262
125.79/125.89	o 436
126.10/126.12	c 57.5403 171.125 11017 4512796
126.10/126.12	o 434
126.19/126.20	c 57.5852 171.125 11025 4513423
126.19/126.20	o 433
126.19/126.27	c 57.6402 171.125 11031 4514443
126.19/126.27	o 432
126.29/126.33	c 57.6852 171.125 11043 4515418
126.29/126.33	o 431
126.40/126.41	c 57.7392 171.125 11068 4516807
126.40/126.41	o 429
126.40/126.47	c 57.7782 171.125 11073 4518005
126.40/126.47	o 427
126.50/126.59	c 57.8552 171.125 11132 4519935
126.50/126.59	o 426
126.59/126.69	c 57.9112 171.125 11144 4521020
126.59/126.69	o 425
126.69/126.75	c 57.9502 171.125 11150 4522078
126.69/126.75	o 424
126.79/126.82	c 58.0042 171.125 11189 4523219
126.79/126.82	o 423
127.00/127.02	c 58.1012 171.125 11248 4524151
127.00/127.02	o 421
127.00/127.09	c 58.1582 171.125 11260 4525159
127.00/127.09	o 420
127.10/127.15	c 58.2012 171.125 11283 4525971
127.10/127.15	o 419
127.20/127.25	c 58.2791 171.125 11363 4526951
127.20/127.25	o 418
127.29/127.30	c 58.3161 171.125 11363 4527381
127.29/127.30	o 417
127.29/127.35	c 58.3521 171.125 11364 4527816
127.29/127.35	o 416
127.39/127.40	c 58.3901 171.125 11370 4528237
127.39/127.40	o 415
127.39/127.47	c 58.4481 171.125 11413 4528876
127.39/127.47	o 414
127.50/127.52	c 58.4881 171.125 11414 4529320
127.50/127.52	o 413
127.60/127.60	c 58.5421 171.125 11420 4530739
127.60/127.60	o 408
127.60/127.66	c 58.5791 171.125 11426 4531253
127.60/127.66	o 407
127.79/127.81	c 58.6651 171.125 11472 4532283
127.79/127.81	o 406
127.90/127.91	c 58.7381 171.125 11539 4533336
127.90/127.91	o 404
128.00/128.05	c 58.8111 171.125 11571 4534233
128.00/128.05	o 403
128.30/128.31	c 58.92 171.125 11631 4535192
128.30/128.31	o 402
128.30/128.37	c 58.971 171.125 11652 4535961
128.30/128.37	o 400
128.40/128.49	c 59.055 171.125 11705 4537846
128.40/128.49	o 398
128.49/128.55	c 59.095 171.125 11714 4538630
128.49/128.55	o 397
128.60/128.65	c 59.148 171.125 11730 4540379
128.60/128.65	o 396
128.70/128.73	c 59.209 171.125 11761 4541011
128.70/128.73	o 395
128.80/128.83	c 59.288 171.125 11843 4541888
128.80/128.83	o 393
128.89/128.90	c 59.333 171.125 11849 4542579
128.89/128.90	o 392
128.99/129.02	c 59.401 171.125 11868 4543996
128.99/129.02	o 391
128.99/129.08	c 59.446 171.125 11888 4545088
128.99/129.08	o 390
129.10/129.18	c 59.5239 171.125 11969 4546113
129.10/129.18	o 389
129.19/129.23	c 59.5629 171.125 11970 4547070
129.19/129.23	o 388
129.19/129.29	c 59.6019 171.125 11973 4548324
129.19/129.29	o 387
129.30/129.34	c 59.6439 171.125 11977 4549261
129.30/129.34	o 386
129.39/129.40	c 59.6829 171.125 11981 4550218
129.39/129.40	o 385
129.39/129.45	c 59.7199 171.125 11983 4551137
129.39/129.45	o 384
129.50/129.53	c 59.7769 171.125 11990 4552050
129.50/129.53	o 383
129.50/129.58	c 59.8159 171.125 11993 4553063
129.50/129.58	o 382
129.59/129.66	c 59.8669 171.125 12001 4554081
129.59/129.66	o 379
129.70/129.72	c 59.9079 171.125 12004 4554689
129.70/129.72	o 378
129.80/129.83	c 59.9729 171.125 12017 4555353
129.80/129.83	o 377
129.80/129.88	c 60.0099 171.125 12018 4556007
129.80/129.88	o 376
129.89/129.93	c 60.0449 171.125 12020 4556892
129.89/129.93	o 375
129.89/129.98	c 60.0799 171.125 12020 4557720
129.89/129.98	o 373
130.00/130.05	c 60.1309 171.125 12033 4559080
130.00/130.05	o 371
130.10/130.16	c 60.2138 171.125 12121 4559817
130.10/130.16	o 370
130.20/130.28	c 60.2848 171.125 12133 4560679
130.20/130.28	o 369
130.30/130.33	c 60.3258 171.125 12137 4561399
130.30/130.33	o 368
130.39/130.42	c 60.3838 171.125 12144 4563020
130.39/130.42	o 367
130.50/130.55	c 60.4728 171.125 12249 4564358
130.50/130.55	o 365
130.59/130.61	c 60.5198 171.125 12258 4565205
130.59/130.61	o 363
130.80/130.90	c 60.7488 171.125 12439 4566525
130.80/130.90	o 362
130.90/130.97	c 60.7928 171.125 12443 4567101
130.90/130.97	o 361
131.00/131.03	c 60.8407 171.125 12445 4567699
131.00/131.03	o 360
131.10/131.17	c 60.9177 171.125 12461 4568819
131.10/131.17	o 358
131.20/131.24	c 60.9617 171.125 12468 4570019
131.20/131.24	o 357
133.39/133.50	c 61.7596 171.125 12998 4573187
133.39/133.50	o 356
133.49/133.58	c 61.8096 171.125 13024 4573701
133.49/133.58	o 355
133.60/133.65	c 61.8596 171.125 13037 4574321
133.60/133.65	o 354
133.70/133.71	c 61.9026 171.125 13043 4574867
133.70/133.71	o 353
133.70/133.77	c 61.9466 171.125 13055 4575714
133.70/133.77	o 351
133.80/133.83	c 61.9906 171.125 13064 4576289
133.80/133.83	o 350
133.80/133.89	c 62.0316 171.125 13067 4576875
133.80/133.89	o 348
133.89/133.98	c 62.0886 171.125 13083 4577635
133.89/133.98	o 347
134.00/134.05	c 62.1376 171.125 13090 4578189
134.00/134.05	o 346
134.10/134.12	c 62.1855 171.125 13114 4578689
134.10/134.12	o 345
134.20/134.26	c 62.2865 171.125 13207 4579925
134.20/134.26	o 343
134.30/134.31	c 62.3285 171.125 13231 4580627
134.30/134.31	o 342
134.30/134.37	c 62.3735 171.125 13279 4581373
134.30/134.37	o 341
135.10/135.13	c 62.6945 171.125 13413 4582553
135.10/135.13	o 340
135.10/135.19	c 62.7355 171.125 13416 4583227
135.10/135.19	o 339
135.50/135.56	c 62.8814 171.125 13477 4584039
135.50/135.56	o 338
135.59/135.63	c 62.9234 171.125 13483 4584593
135.59/135.63	o 337
135.59/135.68	c 62.9624 171.125 13486 4585185
135.59/135.68	o 336
135.70/135.75	c 63.0124 171.125 13502 4586159
135.70/135.75	o 335
135.79/135.85	c 63.0764 171.125 13551 4587016
135.79/135.85	o 333
135.89/135.94	c 63.1294 171.125 13565 4587981
135.89/135.94	o 331
135.99/136.01	c 63.1794 171.125 13570 4588577
135.99/136.01	o 330
135.99/136.07	c 63.2214 171.125 13577 4589251
135.99/136.07	o 329
136.10/136.14	c 63.2764 171.125 13625 4589888
136.10/136.14	o 328
136.59/136.69	c 63.4734 171.125 13735 4591702
136.59/136.69	o 326
136.69/136.76	c 63.5233 171.125 13740 4592478
136.69/136.76	o 325
136.80/136.83	c 63.5743 171.125 13741 4593191
136.80/136.83	o 324
136.80/136.90	c 63.6133 171.125 13744 4594107
136.80/136.90	o 323
136.90/136.98	c 63.6693 171.125 13749 4594842
136.90/136.98	o 322
136.99/137.05	c 63.7143 171.125 13753 4595754
136.99/137.05	o 321
137.09/137.11	c 63.7563 171.125 13754 4596565
137.09/137.11	o 319
137.09/137.16	c 63.7973 171.125 13755 4597238
137.09/137.16	o 318
137.20/137.23	c 63.8503 171.125 13759 4598045
137.20/137.23	o 317
137.20/137.28	c 63.8913 171.125 13761 4598643
137.20/137.28	o 316
137.30/137.34	c 63.9323 171.125 13763 4599263
137.30/137.34	o 315
137.30/137.39	c 63.9763 171.125 13766 4600268
137.30/137.39	o 312
137.89/137.94	c 64.2412 171.125 13881 4602212
137.89/137.94	o 311
138.00/138.03	c 64.2852 171.125 13898 4603192
138.00/138.03	o 310
138.00/138.09	c 64.3322 171.125 13917 4603802
138.00/138.09	o 309
138.09/138.15	c 64.3792 171.125 13924 4604360
138.09/138.15	o 308
138.20/138.21	c 64.4192 171.125 13930 4604969
138.20/138.21	o 306
138.20/138.28	c 64.4642 171.125 13938 4605874
138.20/138.28	o 305
138.30/138.33	c 64.5042 171.125 13940 4606372
138.30/138.33	o 304
138.39/138.41	c 64.5582 171.125 13971 4607370
138.39/138.41	o 303
138.39/138.47	c 64.6072 171.125 13981 4608185
138.39/138.47	o 302
138.50/138.57	c 64.6722 171.125 14003 4609126
138.50/138.57	o 301
138.60/138.64	c 64.7252 171.125 14008 4610350
138.60/138.64	o 300
138.60/138.69	c 64.7622 171.125 14009 4611325
138.60/138.69	o 297
138.69/138.75	c 64.7971 171.125 14012 4612153
138.69/138.75	o 295
138.79/138.81	c 64.8421 171.125 14055 4612911
138.79/138.81	o 293
138.79/138.87	c 64.8871 171.125 14058 4613344
138.79/138.87	o 292
138.90/138.94	c 64.9331 171.125 14064 4613960
138.90/138.94	o 290
139.00/139.01	c 64.9841 171.125 14072 4615204
139.00/139.01	o 289
139.00/139.08	c 65.0321 171.125 14078 4616112
139.00/139.08	o 288
139.09/139.14	c 65.0711 171.125 14080 4616855
139.09/139.14	o 287
139.09/139.19	c 65.1151 171.125 14083 4617672
139.09/139.19	o 286
139.19/139.29	c 65.1891 171.125 14097 4619125
139.19/139.29	o 284
140.10/140.20	c 65.627 171.125 14408 4622047
140.10/140.20	o 282
140.19/140.29	c 65.694 171.125 14438 4622743
140.19/140.29	o 280
140.30/140.37	c 65.745 171.125 14443 4623392
140.30/140.37	o 278
140.39/140.45	c 65.808 171.125 14459 4623996
140.39/140.45	o 277
140.60/140.64	c 65.921 171.125 14509 4625232
140.60/140.64	o 276
140.70/140.76	c 66.004 171.125 14543 4626034
140.70/140.76	o 275
140.80/140.84	c 66.061 171.125 14557 4626675
140.80/140.84	o 274
140.90/140.93	c 66.1089 171.125 14572 4627476
140.90/140.93	o 273
141.09/141.11	c 66.2339 171.125 14673 4628235
141.09/141.11	o 272
141.09/141.17	c 66.2719 171.125 14676 4628694
141.09/141.17	o 271
141.19/141.22	c 66.3099 171.125 14682 4629129
141.19/141.22	o 270
141.19/141.28	c 66.3509 171.125 14686 4629653
141.19/141.28	o 269
141.30/141.33	c 66.3889 171.125 14686 4630143
141.30/141.33	o 268
141.30/141.40	c 66.4349 171.125 14695 4630908
141.39/141.40	o 266
141.39/141.45	c 66.4739 171.125 14697 4631468
141.39/141.45	o 264
141.49/141.50	c 66.5139 171.125 14700 4631882
141.49/141.50	o 263
141.49/141.55	c 66.5519 171.125 14702 4632302
141.49/141.55	o 262
141.60/141.61	c 66.5929 171.125 14704 4632839
141.60/141.61	o 261
141.60/141.66	c 66.6339 171.125 14706 4633433
141.60/141.66	o 260
141.70/141.72	c 66.6749 171.125 14712 4634070
141.70/141.72	o 259
141.70/141.78	c 66.7209 171.125 14715 4634751
141.70/141.78	o 258
141.80/141.84	c 66.7659 171.125 14720 4635298
141.80/141.84	o 257
141.90/141.90	c 66.8108 171.125 14726 4635712
141.90/141.90	o 256
141.90/141.95	c 66.8528 171.125 14729 4636201
141.90/141.95	o 255
142.00/142.03	c 66.9008 171.125 14740 4636948
142.00/142.03	o 254
142.10/142.10	c 66.9618 171.125 14768 4637605
142.10/142.10	o 253
142.10/142.16	c 67.0088 171.125 14791 4638351
142.10/142.16	o 252
142.20/142.22	c 67.0508 171.125 14795 4639053
142.20/142.22	o 251
142.20/142.27	c 67.0858 171.125 14798 4639779
142.20/142.27	o 250
142.30/142.33	c 67.1278 171.125 14802 4640438
142.30/142.33	o 249
142.30/142.38	c 67.1648 171.125 14806 4641179
142.30/142.38	o 248
142.40/142.44	c 67.1978 171.125 14807 4641785
142.40/142.44	o 247
142.40/142.49	c 67.2388 171.125 14809 4642632
142.40/142.49	o 246
142.50/142.56	c 67.2858 171.125 14820 4643973
142.50/142.56	o 245
142.60/142.62	c 67.3308 171.125 14824 4644666
142.60/142.62	o 244
142.60/142.67	c 67.3638 171.125 14825 4645252
142.60/142.67	o 243
142.70/142.72	c 67.4048 171.125 14826 4645882
142.70/142.72	o 242
142.70/142.78	c 67.4477 171.125 14828 4646529
142.70/142.78	o 241
142.79/142.83	c 67.4817 171.125 14829 4647260
142.79/142.83	o 240
142.79/142.90	c 67.5247 171.125 14834 4647972
142.79/142.90	o 239
142.90/143.00	c 67.5957 171.125 14891 4648665
142.90/143.00	o 238
143.00/143.05	c 67.6357 171.125 14893 4649480
143.00/143.05	o 237
143.10/143.10	c 67.6777 171.125 14894 4650177
143.10/143.10	o 236
143.10/143.15	c 67.7157 171.125 14895 4651013
143.10/143.15	o 235
143.19/143.21	c 67.7577 171.125 14902 4651607
143.19/143.21	o 234
143.19/143.27	c 67.8027 171.125 14942 4652119
143.19/143.27	o 233
143.30/143.33	c 67.8517 171.125 14989 4652955
143.30/143.33	o 232
143.39/143.40	c 67.9017 171.125 14994 4654072
143.39/143.40	o 231
143.39/143.48	c 67.9607 171.125 15021 4655104
143.39/143.48	o 230
143.50/143.53	c 67.9997 171.125 15023 4655953
143.50/143.53	o 229
143.59/143.63	c 68.0607 171.125 15036 4657103
143.59/143.63	o 228
143.70/143.71	c 68.1166 171.125 15051 4657859
143.70/143.71	o 227
143.70/143.79	c 68.1616 171.125 15063 4658409
143.70/143.79	o 226
143.89/143.94	c 68.2536 171.125 15095 4659182
143.89/143.94	o 225
144.29/144.38	c 68.4296 171.125 15205 4660384
144.29/144.38	o 224
144.39/144.44	c 68.4726 171.125 15216 4661036
144.39/144.44	o 223
144.49/144.52	c 68.5236 171.125 15237 4661765
144.49/144.52	o 222
144.49/144.59	c 68.5726 171.125 15256 4662490
144.49/144.59	o 221
144.60/144.65	c 68.6106 171.125 15263 4663344
144.60/144.65	o 220
144.70/144.71	c 68.6536 171.125 15278 4664268
144.70/144.71	o 219
144.70/144.76	c 68.6936 171.125 15292 4664971
144.70/144.76	o 218
144.79/144.83	c 68.7405 171.125 15368 4665790
144.79/144.83	o 217
144.89/144.91	c 68.7925 171.125 15372 4666927
144.89/144.91	o 216
144.99/145.01	c 68.8705 171.125 15405 4667322
144.99/145.01	o 215
144.99/145.07	c 68.9165 171.125 15419 4667783
144.99/145.07	o 214
145.10/145.18	c 68.9805 171.125 15431 4668369
145.10/145.18	o 213
145.20/145.25	c 69.0305 171.125 15457 4668959
145.20/145.25	o 212
145.29/145.32	c 69.0815 171.125 15494 4669439
145.29/145.32	o 211
145.39/145.40	c 69.1445 171.125 15500 4670242
145.39/145.40	o 210
145.39/145.45	c 69.1835 171.125 15505 4670709
145.39/145.45	o 209
145.49/145.51	c 69.2195 171.125 15507 4671201
145.49/145.51	o 208
145.49/145.57	c 69.2685 171.125 15518 4671589
145.49/145.57	o 207
145.60/145.63	c 69.3105 171.125 15523 4671966
145.60/145.63	o 206
145.69/145.70	c 69.3685 171.125 15561 4672500
145.69/145.70	o 205
145.69/145.75	c 69.4084 171.125 15579 4672858
145.69/145.75	o 204
145.80/145.83	c 69.4714 171.125 15649 4673565
145.80/145.83	o 203
145.80/145.89	c 69.5234 171.125 15699 4674087
145.80/145.89	o 202
145.89/145.95	c 69.5644 171.125 15702 4674785
145.89/145.95	o 201
146.00/146.00	c 69.6054 171.125 15704 4675441
146.00/146.00	o 200
146.00/146.05	c 69.6434 171.125 15708 4676039
146.00/146.05	o 199
146.10/146.11	c 69.6824 171.125 15709 4676671
146.10/146.11	o 198
146.10/146.19	c 69.7364 171.125 15714 4677523
146.10/146.19	o 197
146.20/146.24	c 69.7744 171.125 15716 4678230
146.20/146.24	o 196
146.20/146.29	c 69.8134 171.125 15717 4678827
146.20/146.29	o 195
146.30/146.34	c 69.8514 171.125 15717 4679394
146.30/146.34	o 194
146.40/146.40	c 69.8904 171.125 15718 4680164
146.40/146.40	o 193
146.40/146.45	c 69.9334 171.125 15719 4680825
146.40/146.45	o 192
146.50/146.50	c 69.9764 171.125 15722 4681599
146.50/146.50	o 191
146.50/146.55	c 70.0114 171.125 15723 4682419
146.50/146.55	o 189
146.60/146.60	c 70.0484 171.125 15723 4683126
146.60/146.60	o 188
146.60/146.68	c 70.1023 171.125 15728 4683773
146.60/146.68	o 187
146.70/146.77	c 70.1563 171.125 15737 4684642
146.70/146.77	o 186
146.80/146.83	c 70.1953 171.125 15737 4685459
146.80/146.83	o 185
146.89/146.90	c 70.2533 171.125 15769 4686288
146.89/146.90	o 184
146.89/146.97	c 70.2983 171.125 15783 4686809
146.89/146.97	o 183
147.00/147.02	c 70.3413 171.125 15794 4687376
147.00/147.02	o 182
147.00/147.10	c 70.3903 171.125 15799 4688042
147.10/147.10	o 181
147.10/147.16	c 70.4343 171.125 15803 4688751
147.10/147.16	o 180
147.19/147.21	c 70.4753 171.125 15803 4689353
147.19/147.21	o 179
147.19/147.27	c 70.5123 171.125 15803 4690014
147.19/147.27	o 178
147.30/147.32	c 70.5463 171.125 15804 4690692
147.30/147.32	o 177
147.30/147.37	c 70.5863 171.125 15810 4691406
147.30/147.37	o 176
147.40/147.43	c 70.6273 171.125 15815 4692270
147.40/147.43	o 175
147.40/147.48	c 70.6653 171.125 15817 4692948
147.40/147.48	o 174
147.50/147.53	c 70.7013 171.125 15817 4693868
147.50/147.53	o 173
147.50/147.59	c 70.7362 171.125 15818 4694513
147.50/147.59	o 172
147.60/147.64	c 70.7772 171.125 15818 4695237
147.60/147.64	o 171
147.60/147.69	c 70.8112 171.125 15820 4696019
147.60/147.69	o 170
147.69/147.74	c 70.8472 171.125 15821 4696562
147.69/147.74	o 169
147.69/147.79	c 70.8862 171.125 15822 4697249
147.69/147.79	o 168
147.79/147.85	c 70.9252 171.125 15825 4697857
147.79/147.85	o 167
147.89/147.92	c 70.9712 171.125 15827 4698901
147.89/147.92	o 166
147.89/147.98	c 71.0112 171.125 15833 4699812
147.89/147.98	o 165
147.99/148.04	c 71.0522 171.125 15836 4700682
147.99/148.04	o 164
147.99/148.09	c 71.0892 171.125 15837 4701295
147.99/148.09	o 163
148.10/148.15	c 71.1322 171.125 15840 4702139
148.10/148.15	o 161
148.19/148.21	c 71.1732 171.125 15843 4702788
148.19/148.21	o 160
148.19/148.27	c 71.2162 171.125 15858 4703402
148.19/148.27	o 159
148.30/148.33	c 71.2582 171.125 15873 4704139
148.30/148.33	o 158
148.30/148.39	c 71.2982 171.125 15897 4704600
148.30/148.39	o 157
148.40/148.45	c 71.3392 171.125 15915 4705496
148.40/148.45	o 156
148.40/148.50	c 71.3771 171.125 15915 4706009
148.40/148.50	o 155
148.51/148.55	c 71.4151 171.125 15916 4706491
148.51/148.55	o 154
148.59/148.63	c 71.4741 171.125 15931 4707341
148.59/148.63	o 153
148.69/148.71	c 71.5261 171.125 15948 4708121
148.69/148.71	o 152
148.79/148.89	c 71.6781 171.125 16060 4709062
148.79/148.89	o 151
148.90/148.97	c 71.7401 171.125 16093 4709596
148.90/148.97	o 150
149.00/149.06	c 71.7981 171.125 16185 4710165
149.00/149.06	o 149
149.10/149.11	c 71.8361 171.125 16187 4710599
149.10/149.11	o 148
149.10/149.16	c 71.8741 171.125 16188 4711056
149.10/149.16	o 147
149.20/149.21	c 71.9081 171.125 16190 4711536
149.20/149.21	o 146
149.20/149.29	c 71.9571 171.125 16199 4712012
149.20/149.29	o 145
149.30/149.36	c 72.0121 171.125 16213 4712534
149.30/149.36	o 144
149.39/149.41	c 72.055 171.125 16215 4712890
149.39/149.41	o 143
149.39/149.47	c 72.093 171.125 16221 4713322
149.39/149.47	o 142
149.50/149.53	c 72.142 171.125 16230 4713785
149.50/149.53	o 141
149.60/149.62	c 72.196 171.125 16252 4714470
149.60/149.62	o 140
149.60/149.68	c 72.237 171.125 16300 4715136
149.60/149.68	o 139
149.69/149.74	c 72.278 171.125 16304 4715640
149.69/149.74	o 138
149.69/149.79	c 72.315 171.125 16310 4716142
149.69/149.79	o 137
149.79/149.85	c 72.362 171.125 16322 4716774
149.79/149.85	o 136
149.90/149.92	c 72.416 171.125 16341 4717442
149.90/149.92	o 135
150.00/150.04	c 72.482 171.125 16373 4718169
150.00/150.04	o 134
150.60/150.69	c 72.7259 171.125 16476 4718909
150.60/150.69	o 133
150.70/150.79	c 72.7869 171.125 16500 4719443
150.70/150.79	o 132
150.90/150.93	c 72.9009 171.125 16636 4720093
150.90/150.93	o 131
150.90/150.99	c 72.9469 171.125 16653 4720507
150.90/150.99	o 130
151.00/151.04	c 72.9889 171.125 16655 4720932
151.00/151.04	o 129
151.10/151.10	c 73.0239 171.125 16658 4721293
151.10/151.10	o 128
151.10/151.15	c 73.0699 171.125 16669 4721712
151.10/151.15	o 127
151.19/151.21	c 73.1089 171.125 16670 4722138
151.19/151.21	o 126
151.19/151.27	c 73.1629 171.125 16692 4722662
151.19/151.27	o 125
151.30/151.34	c 73.2139 171.125 16717 4723242
151.30/151.34	o 124
151.40/151.40	c 73.2539 171.125 16737 4723699
151.40/151.40	o 123
151.40/151.46	c 73.2909 171.125 16740 4724262
151.40/151.46	o 122
151.49/151.54	c 73.3608 171.125 16793 4724792
151.49/151.54	o 121
151.59/151.60	c 73.3988 171.125 16795 4725343
151.59/151.60	o 120
151.59/151.67	c 73.4548 171.125 16847 4726042
151.59/151.67	o 119
151.70/151.72	c 73.4928 171.125 16847 4726595
151.70/151.72	o 118
151.70/151.78	c 73.5298 171.125 16847 4727097
151.70/151.78	o 117
151.80/151.83	c 73.5728 171.125 16849 4727509
151.80/151.83	o 116
151.89/151.94	c 73.6388 171.125 16881 4728587
151.89/151.94	o 115
152.00/152.00	c 73.6848 171.125 16902 4728993
152.00/152.00	o 114
152.00/152.05	c 73.7248 171.125 16903 4729385
152.00/152.05	o 113
152.10/152.14	c 73.8018 171.125 16952 4730216
152.10/152.14	o 112
152.19/152.27	c 73.8878 171.125 16997 4731755
152.19/152.27	o 111
152.39/152.46	c 74.0307 171.125 17037 4732600
152.39/152.46	o 110
152.49/152.52	c 74.0767 171.125 17050 4733122
152.49/152.52	o 109
152.59/152.61	c 74.1197 171.125 17059 4733725
152.59/152.61	o 108
152.59/152.67	c 74.1707 171.125 17070 4734297
152.59/152.67	o 107
152.70/152.75	c 74.2387 171.125 17120 4734875
152.70/152.75	o 106
152.80/152.81	c 74.2877 171.125 17129 4735557
152.80/152.81	o 105
152.80/152.87	c 74.3307 171.125 17135 4736102
152.80/152.87	o 104
152.90/152.93	c 74.3707 171.125 17140 4736605
152.90/152.93	o 103
152.90/152.98	c 74.4077 171.125 17143 4737141
152.90/152.98	o 102
152.99/153.04	c 74.4497 171.125 17147 4737713
152.99/153.04	o 101
153.10/153.11	c 74.5067 171.125 17149 4738111
153.10/153.11	o 100
153.10/153.16	c 74.5487 171.125 17150 4738599
153.10/153.16	o 99
153.20/153.22	c 74.5957 171.125 17168 4739130
153.20/153.22	o 98
153.30/153.32	c 74.6666 171.125 16650 4739738
153.30/153.32	o 97
153.30/153.37	c 74.7076 171.125 16651 4740229
153.30/153.37	o 96
153.40/153.42	c 74.7436 171.125 16655 4740775
153.40/153.42	o 95
153.50/153.51	c 74.7886 171.125 16661 4741307
153.50/153.51	o 94
153.50/153.56	c 74.8306 171.125 16663 4741721
153.50/153.56	o 93
153.60/153.61	c 74.8736 171.125 16669 4742231
153.60/153.61	o 92
153.60/153.66	c 74.9116 171.125 16672 4742697
153.60/153.66	o 91
153.69/153.71	c 74.9546 171.125 16680 4743176
153.69/153.71	o 90
153.69/153.79	c 75.0136 171.125 16725 4743823
153.69/153.79	o 89
153.80/153.84	c 75.0606 171.125 12921 4744317
153.80/153.84	o 88
153.90/153.94	c 75.1366 171.125 13000 4744841
153.90/153.94	o 87
153.90/153.99	c 75.1796 171.125 13003 4745431
153.90/153.99	o 86
154.00/154.05	c 75.2156 171.125 13006 4746030
154.00/154.05	o 85
154.00/154.09	c 75.2536 171.125 13006 4746461
154.00/154.09	o 84
154.10/154.17	c 75.3106 171.125 13012 4747106
154.10/154.17	o 82
154.20/154.22	c 75.3515 171.125 12430 4747490
154.20/154.22	o 81
154.20/154.27	c 75.3905 171.875 12433 4747964
154.20/154.27	o 80
154.29/154.32	c 75.4275 171.875 12437 4748475
154.29/154.32	o 78
154.29/154.37	c 75.4735 171.875 12444 4749024
154.29/154.37	o 76
154.40/154.46	c 75.5385 171.875 12463 4749609
154.40/154.46	o 75
154.50/154.52	c 75.5805 171.875 12486 4750040
154.50/154.52	o 74
154.60/154.60	c 75.6455 171.875 12569 4750636
154.60/154.60	o 73
154.60/154.65	c 75.6885 171.875 11610 4751092
154.60/154.65	o 72
154.69/154.71	c 75.7315 171.875 11612 4751620
154.69/154.71	o 71
154.69/154.76	c 75.7725 171.875 11617 4752083
154.69/154.76	o 70
154.79/154.81	c 75.8115 171.875 11619 4752686
154.79/154.81	o 69
154.79/154.86	c 75.8505 171.875 11623 4753205
154.79/154.86	o 68
154.89/154.91	c 75.8855 171.875 11624 4753679
154.89/154.91	o 67
154.89/154.95	c 75.9205 171.875 11629 4754180
154.89/154.95	o 66
154.89/155.00	c 75.9605 171.875 11499 4754608
154.89/155.00	o 65
155.00/155.05	c 76.0034 171.875 11505 4755034
155.00/155.05	o 64
155.10/155.11	c 76.0464 171.875 11513 4755770
155.10/155.11	o 62
155.10/155.17	c 76.0894 171.875 11521 4756282
155.10/155.17	o 61
155.20/155.21	c 76.1254 171.875 11524 4756688
155.20/155.21	o 60
155.20/155.26	c 76.1684 171.875 11530 4757187
155.20/155.26	o 59
155.29/155.37	c 76.2624 171.875 11626 4757843
155.29/155.37	o 58
155.39/155.44	c 76.3194 171.875 11279 4758671
155.39/155.44	o 57
155.39/155.49	c 76.3564 171.875 11284 4759130
155.39/155.49	o 56
155.50/155.54	c 76.3944 171.875 11290 4759563
155.50/155.54	o 55
155.60/155.61	c 76.4454 171.875 11301 4760310
155.60/155.61	o 53
155.60/155.65	c 76.4824 171.875 11306 4760749
155.60/155.65	o 52
155.69/155.70	c 76.5244 171.875 11317 4761320
155.69/155.70	o 50
155.79/155.80	c 76.5864 171.875 11255 4761823
155.79/155.80	o 49
155.79/155.84	c 76.6224 171.875 11260 4762248
155.79/155.84	o 48
155.79/155.88	c 76.6573 171.875 11262 4762626
155.79/155.88	o 47
155.89/155.93	c 76.6923 171.875 11266 4763054
155.89/155.93	o 46
155.89/155.98	c 76.7273 171.875 11269 4763542
155.89/155.98	o 45
155.99/156.03	c 76.7643 171.875 11270 4763902
155.99/156.03	o 44
155.99/156.07	c 76.7973 171.875 11271 4764278
155.99/156.07	o 43
156.10/156.11	c 76.8393 171.875 11186 4764792
156.10/156.11	o 42
156.10/156.16	c 76.8773 171.875 11191 4765258
156.10/156.16	o 41
156.10/156.20	c 76.9103 171.875 11193 4765723
156.10/156.20	o 39
156.20/156.23	c 76.9443 171.875 11193 4766028
156.20/156.23	o 38
156.20/156.28	c 76.9773 171.875 11195 4766349
156.20/156.28	o 37
156.30/156.31	c 77.0083 171.875 11196 4766757
156.30/156.31	o 36
156.30/156.37	c 77.0533 171.875 11218 4767157
156.30/156.37	o 35
156.40/156.44	c 77.1173 171.875 11264 4767601
156.40/156.44	o 34
156.40/156.48	c 77.1593 171.875 11208 4768230
156.40/156.48	o 33
156.49/156.53	c 77.1943 171.875 11217 4768672
156.49/156.53	o 32
156.49/156.57	c 77.2293 171.875 11236 4769143
156.49/156.57	o 31
156.60/156.60	c 77.2633 171.875 11237 4769762
156.60/156.60	o 29
156.60/156.64	c 77.2972 171.875 11238 4770192
156.60/156.64	o 28
156.70/156.71	c 77.3552 171.875 11241 4770686
156.70/156.71	o 27
156.70/156.75	c 77.3892 171.875 11243 4771129
156.70/156.75	o 26
156.70/156.79	c 77.4242 171.875 11246 4771682
156.70/156.79	o 25
156.80/156.83	c 77.4582 171.875 11217 4772180
156.80/156.83	o 24
156.80/156.86	c 77.4922 171.875 11218 4772549
156.80/156.86	o 23
156.90/156.92	c 77.5402 171.875 11233 4773200
156.90/156.92	o 22
157.00/157.04	c 77.6602 171.875 11474 4774293
157.00/157.04	o 21
157.00/157.09	c 77.6992 171.875 11483 4774770
157.00/157.09	o 20
157.09/157.13	c 77.7382 171.875 11504 4775272
157.09/157.13	o 19
157.09/157.17	c 77.7752 171.875 11511 4775790
157.09/157.17	o 18
157.20/157.21	c 77.8082 171.875 11520 4776179
157.20/157.21	o 17
157.20/157.25	c 77.8392 171.875 11532 4776556
157.20/157.25	o 16
157.20/157.29	c 77.8812 171.875 11566 4776972
157.20/157.29	o 15
157.31/157.33	c 77.9172 171.875 11574 4777344
157.31/157.33	o 14
157.31/157.37	c 77.9571 171.875 11417 4777827
157.31/157.37	o 13
157.39/157.41	c 77.9881 171.875 11418 4778180
157.39/157.41	o 12
157.39/157.44	c 78.0181 171.875 11421 4778537
157.39/157.44	o 11
157.39/157.48	c 78.0531 171.875 11447 4778908
157.39/157.48	o 10
157.49/157.53	c 78.0971 171.875 11535 4779380
157.49/157.53	o 9
157.49/157.57	c 78.1351 171.875 11583 4779810
157.49/157.57	o 8
157.59/157.60	c 78.1661 171.875 11583 4780192
157.59/157.60	o 7
157.70/157.70	c 78.2541 171.875 11603 4780985
157.70/157.70	o 6
157.70/157.73	c 78.2871 171.875 11612 4781421
157.70/157.73	o 5
157.70/157.76	c 78.3151 171.875 11620 4781766
157.70/157.76	o 4
157.79/157.80	c 78.3501 171.875 11660 4782237
157.79/157.80	o 3
157.90/157.91	c 78.4531 171.875 11767 4782923
157.90/157.91	o 2
158.10/158.10	c 78.633 171.875 11743 4784173
158.10/158.10	o 1
158.10/158.10	c 78.639 171.875 11730 4784173
158.10/158.10	s OPTIMUM FOUND
158.10/158.10	v -x1 x2 -x3 x4 -x5 -x6 x7 x8 x9 -x10 -x11 x12 x13 x14 -x15 -x16 x17 x18 x19 -x20 x21 -x22 x23 x24 -x25 -x26 x27 x28 x29 -x30 -x31 x32 -x33 x34 -x35 -x36 -x37 x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 x49 -x50 -x51 x52 x53 -x54 -x55 x56 x57 x58 -x59 x60 -x61 x62 x63 -x64 -x65 x66 x67 x68 -x69 -x70 x71 x72 x73 -x74 -x75 x76 x77 x78 -x79 -x80 x81 -x82 x83 -x84 -x85 x86 -x87 -x88 x89 x90 -x91 -x92 x93 -x94 x95 x96 x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 x105 x106 x107 x108 x109 -x110 x111 -x112 -x113 x114 -x115 -x116 -x117 x118 x119 -x120 x121 -x122 -x123 -x124 -x125 x126 x127 -x128 x129 -x130 x131 x132 -x133 x134 -x135 x136 x137 -x138 x139 -x140 x141 x142 x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 x157 -x158 x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 x168 x169 x170 x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 x196 -x197 x198 x199 x200 -x201 x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 x256 x257 x258 -x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 x273 x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 x282 x283 x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 x297 -x298 -x299 x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 x320 x321 x322 -x323 -x324 -x325 -x326 x327 x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 x356 x357 x358 -x359 -x360 -x361 x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 x376 x377 -x378 x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 -x436 x437 x438 x439 -x440 -x441 x442 -x443 -x444 x445 x446 x447 x448 -x449 -x450 x451 -x452 -x453 -x454 x455 x456 x457 x458 -x459 -x460 -x461 x462 -x463 x464 -x465 -x466 x467 x468 x469 -x470 -x471 x472 -x473 -x474 x475 x476 x477 x478 -x479 x480 x481 x482 x483 -x484 x485 x486 x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 x502 -x503 -x504 x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 x521 x522 x523 x524 x525 x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 x648 -x649 x650 -x651 x652 x653 -x654 -x655 x656 x657 x658 -x659 x660 -x661 x662 x663 -x664 -x665 x666 -x667 -x668 -x669 x670 -x671 -x672 x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 x686 x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 x744 x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 x769 x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 x797 -x798 -x799 x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 x862 x863 -x864 -x865 -x866 x867 -x868 -x869 x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 x896 x897 x898 x899 -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 x945 x946 x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 x1027 x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 x1044 -x1045 -x1046 -x1047 x1048 x1049 -x1050 -x1051 x1052 x1053 x1054 -x1055 x1056 -x1057 x1058 x1059 -x1060 -x1061 x1062 x1063 x1064 -x1065 x1066 x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 x1079 x1080 x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 x1115 x1116 x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 x1124 x1125 x1126 x1127 x1128 -x1129 -x1130 x1131 x1132 x1133 x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 x1149 -x1150 -x1151 -x1152 x1153 -x1154 x1155 x1156 x1157 x1158 x1159 x1160 -x1161 -x1162 -x1163 x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 x1177 x1178 x1179 -x1180 x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 x1196 x1197 x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 x1217 x1218 x1219 x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 x1231 x1232 x1233 x1234 x1235 -x1236 x1237 x1238 -x1239 -x1240 x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 x1251 x1252 x1253 -x1254 -x1255 -x1256 x1257 x1258 x1259 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x1320 -x1321 x1322 x1323 x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 x1344 x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 x1419 x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 x1488 x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 -x1547 -x1548 x1549 -x1550 -x1551 x1552 x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 x1564 x1565 x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 x1683 x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 x1708 -x1709 -x1710 -x1711 -x1712 x1713 x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 x1729 -x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 x1746 -x1747 -x1748 x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 x1770 x1771 x1772 x1773 -x1774 x1775 -x1776 -x1777 x1778 x1779 -x1780 -x1781 x1782 x1783 x1784 x1785 x1786 x1787 -x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 x1798 x1799 -x1800 -x1801 -x1802 -x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 x1818 -x1819 -x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 -x1849 x1850 x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 x1863 x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 x1884 x1885 x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 x1937 x1938 -x1939 -x1940 -x1941 -x1942 x1943 -x1944 -x1945 -x1946 x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 x1976 x1977 x1978 x1979 -x1980 x1981 x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 x2006 x2007 x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 x2043 -x2044 -x2045 -x2046 -x2047 x2048 x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 x2065 x2066 x2067 x2068 x2069 x2070 -x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 x2187 x2188 x2189 x2190 x2191 -x2192 -x2193 -x2194 x2195 -x2196 -x2197 -x2198 x2199 -x2200 -x2201 -x2202 x2203 x2204 x2205 x2206 x2207 x2208 x2209 x2210 x2211 x2212 -x2213 -x2214 x2215 -x2216 x2217 x2218 x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 x2368 -x2369 -x2370 -x2371 -x2372 -x2373 x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 x2529 -x2530 -x2531 -x2532 -x2533 -x2534 x2535 x2536 x2537 x2538 x2539 x2540 x2541 x2542 x2543 x2544 x2545 -x2546 x2547 -x2548 -x2549 -x2550 x2551 -x2552 -x2553 -x2554 -x2555 x2556 x2557 x2558 -x2559 x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 x2567 -x2568 -x2569 x2570 -x2571 -x2572 -x2573 x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 x2599 -x2600 -x2601 x2602 -x2603 x2604 -x2605 -x2606 -x2607 x2608 x2609 x2610 x2611 x2612 x2613 x2614 x2615 -x2616 x2617 x2618 x2619 x2620 x2621 x2622 -x2623 -x2624 -x2625 x2626 -x2627 x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 x2640 x2641 -x2642 x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 x2654 -x2655 -x2656 -x2657 -x2658 -x2659 x2660 -x2661 -x2662 -x2663 -x2664 x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 x2679 -x2680 -x2681 -x2682 -x2683 x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x2690 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 x2790 -x2791 -x2792 -x2793 -x2794 x2795 -x2796 -x2797 -x2798 x2799 -x2800 -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 x2822 -x2823 x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 -x2831 -x2832 -x2833 -x2834 -x2835 x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 -x2850 -x2851 -x2852 -x2853 x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 x2862 x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 x2898 -x2899 -x2900 x2901 -x2902 -x2903 -x2904 -x2905 x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 x2934 x2935 x2936 x2937 x2938 x2939 x2940 x2941 -x2942 x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 x2989 x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 x3007 -x3008 -x3009 -x3010 x3011 -x3012 -x3013 x3014 -x3015 -x3016 x3017 -x3018 -x3019 -x3020 x3021 -x3022 -x3023 -x3024 -x3025 -x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 x3137 -x3138 -x3139 -x3140 -x3141 -x3142 x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 x3170 -x3171 -x3172 x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 x3308 -x3309 -x3310 x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 x3566 -x3567 -x3568 x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 x3755 x3756 x3757 x3758 -x3759 x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 x3767 x3768 -x3769 x3770 -x3771 x3772 x3773 x3774 x3775 x3776 x3777 -x3778 -x3779 x3780 x3781 x3782 x3783 x3784 x3785 -x3786 -x3787 x3788 x3789 x3790 -x3791 -x3792 x3793 x3794 x3795 -x3796 -x3797 x3798 x3799 x3800 -x3801 -x3802 x3803 x3804 x3805 -x3806 -x3807 x3808 x3809 x3810 -x3811 -x3812 x3813 x3814 x3815 x3816 x3817 -x3818 -x3819 x3820 x3821 x3822 -x3823 -x3824 x3825 x3826 x3827 x3828 x3829 x3830 -x3831 -x3832 x3833 x3834 x3835 -x3836 -x3837 x3838 x3839 x3840 x3841 -x3842 x3843 -x3844 x3845 x3846 -x3847 -x3848 x3849 x3850 x3851 x3852 x3853 -x3854 x3855 -x3856 x3857 x3858 -x3859 x3860 -x3861 x3862 x3863 -x3864 -x3865 x3866 x3867 x3868 x3869 -x3870 -x3871 x3872 x3873 x3874 x3875 -x3876 x3877 -x3878 x3879 x3880 -x3881 x3882 -x3883 x3884 x3885 -x3886 x3887 -x3888 x3889 x3890 -x3891 x3892 -x3893 x3894 x3895 -x3896 x3897 -x3898 x3899 x3900 -x3901 x3902 -x3903 x3904 x3905 -x3906 x3907 -x3908 x3909 x3910 -x3911 x3912 -x3913 x3914 x3915 x3916 x3917 x3918 x3919 x3920 x3921 x3922 -x3923 -x3924 x3925 x3926 x3927 x3928 x3929 x3930 x3931 x3932 x3933 x3934 x3935 x3936 x3937 x3938 x3939 x3940 x3941 x3942 x3943 x3944 x3945 x3946 x3947 x3948 x3949 x3950 x3951 x3952 x3953 x3954 x3955 x3956 x3957 x3958 x3959 x3960 x3961 x3962 x3963 x3964 -x3965 -x3966 x3967 x3968 x3969 x3970 x3971 x3972 x3973 x3974 -x3975 -x3976 x3977 x3978 x3979 x3980 x3981 x3982 x3983 x3984 x3985 x3986 x3987 x3988 x3989 x3990 x3991 x3992 x3993 x3994 x3995 x3996 x3997 x3998 -x3999 -x4000 x4001 x4002 x4003 x4004 -x4005 -x4006 x4007 x4008 -x4009 -x4010 -x4011 x4012 x4013 x4014 x4015 x4016 x4017 x4018 x4019 x4020 x4021 x4022 x4023 x4024 x4025 x4026 -x4027 -x4028 x4029 x4030 x4031 x4032 -x4033 -x4034 x4035 x4036 x4037 x4038 x4039 -x4040 -x4041 -x4042 x4043 x4044 x4045 x4046 x4047 -x4048 -x4049 -x4050 x4051 x4052 x4053 x4054 x4055 -x4056 -x4057 -x4058 x4059 x4060 x4061 x4062 x4063 -x4064 -x4065 -x4066 x4067 x4068 -x4069 -x4070 x4071 x4072 x4073 x4074 -x4075 -x4076 x4077 x4078 x4079 x4080 -x4081 -x4082 x4083 x4084 x4085 x4086 -x4087 -x4088 -x4089 x4090 x4091 x4092 x4093 x4094 -x4095 -x4096 -x4097 x4098 x4099 x4100 x4101 x4102 x4103 x4104 x4105 -x4106 -x4107 -x4108 x4109 x4110 x4111 -x4112 -x4113 -x4114 -x4115 x4116 x4117 x4118 x4119 x4120 x4121 -x4122 -x4123 -x4124 x4125 x4126 -x4127 x4128 -x4129 -x4130 -x4131 -x4132 -x4133 x4134 x4135 -x4136 -x4137 -x4138 -x4139 x4140 x4141 -x4142 -x4143 -x4144 -x4145 -x4146 x4147 -x4148 -x4149 -x4150 x4151 x4152 -x4153 x4154 -x4155 x4156 -x4157 -x4158 x4159 x4160 x4161 x4162 -x4163 -x4164 -x4165 x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 x4173 -x4174 -x4175 -x4176 -x4177 -x4178 x4179 x4180 x4181 x4182 x4183 x4184 x4185 x4186 x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 x4198 -x4199 -x4200 x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4212 -x4213 -x4214 x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 x4222 -x4223 -x4224 x4225 x4226 x4227 x4228 -x4229 -x4230 x4231 x4232 x4233 x4234 -x4235 -x4236 x4237 x4238 -x4239 -x4240 x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 x4256 -x4257 -x4258 x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 x4269 -x4270 -x4271 -x4272 x4273 -x4274 -x4275 x4276 -x4277 -x4278 x4279 -x4280 -x4281 x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 x4295 x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 x4303 -x4304 x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 x4315 -x4316 x4317 x4318 x4319 x4320 x4321 x4322 x4323 x4324 -x4325 -x4326 -x4327 x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 x4338 -x4339 -x4340 -x4341 -x4342 -x4343 x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 x4351 -x4352 -x4353 -x4354 -x4355 x4356 -x4357 -x4358 -x4359 -x4360 x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 x4407 x4408 x4409 -x4410 -x4411 x4412 x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 x4458 -x4459 -x4460 -x4461 -x4462 -x4463 x4464 -x4465 -x4466 -x4467 -x4468 -x4469 x4470 -x4471 -x4472 -x4473 -x4474 -x4475 x4476 -x4477 -x4478 -x4479 x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 x4491 -x4492 -x4493 x4494 x4495 x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 x4508 -x4509 -x4510 -x4511 x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 x4523 -x4524 -x4525 -x4526 x4527 -x4528 -x4529 -x4530 -x4531 x4532 -x4533 x4534 -x4535 -x4536 -x4537 -x4538 -x4539 x4540 -x4541 -x4542 -x4543 x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 x4570 -x4571 -x4572 x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 x4581 x4582 x4583 x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 x4689 x4690 x4691 -x4692 -x4693 -x4694 x4695 x4696 -x4697 x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 x4723 x4724 x4725 x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 x4733 -x4734 x4735 x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 x4754 -x4755 -x4756 -x4757 x4758 -x4759 -x4760 -x4761 -x4762 x4763 -x4764 -x4765 -x4766 -x4767 -x4768 x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 x4783 -x4784 -x4785 -x4786 -x4787 x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 x4828 -x4829 x4830 -x4831 -x4832 x4833 -x4834 -x4835 -x4836 -x4837 x4838 -x4839 -x4840 -x4841 -x4842 x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 x4875 x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 x4942 -x4943 -x4944 -x4945 -x4946 -x4947 x4948 x4949 x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 x4974 -x4975 x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 x5164 x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 x5222 x5223 -x5224 -x5225 x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 x5235 -x5236 -x5237 -x5238 -x5239 -x5240 x5241 x5242 x5243 x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 x5261 x5262 x5263 -x5264 -x5265 x5266 -x5267 -x5268 -x5269 -x5270 x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 x5281 x5282 x5283 -x5284 -x5285 x5286 x5287 x5288 x5289 -x5290 x5291 x5292 x5293 -x5294 -x5295 x5296 x5297 x5298 -x5299 -x5300 x5301 x5302 x5303 -x5304 x5305 x5306 -x5307 x5308 x5309 -x5310 -x5311 -x5312 x5313 -x5314 -x5315 -x5316 -x5317 x5318 x5319 x5320 x5321 x5322 x5323 x5324 -x5325 -x5326 -x5327 -x5328 -x5329 x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 x5339 -x5340 -x5341 -x5342 -x5343 -x5344 x5345 x5346 x5347 -x5348 -x5349 x5350 x5351 x5352 -x5353 x5354 x5355 -x5356 x5357 x5358 -x5359 -x5360 -x5361 x5362 x5363 x5364 -x5365 -x5366 x5367 x5368 x5369 -x5370 x5371 x5372 -x5373 x5374 x5375 -x5376 x5377 x5378 -x5379 x5380 x5381 x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 x5393 x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 x5413 x5414 x5415 x5416 -x5417 -x5418 -x5419 x5420 x5421 x5422 -x5423 x5424 x5425 x5426 -x5427 x5428 x5429 x5430 -x5431 -x5432 x5433 -x5434 -x5435 -x5436 x5437 x5438 x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 x5448 x5449 x5450 x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 x5463 x5464 x5465 x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 x5480 x5481 x5482 x5483 -x5484 -x5485 -x5486 -x5487 x5488 x5489 x5490 -x5491 x5492 x5493 x5494 x5495 -x5496 x5497 -x5498 x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 x5506 -x5507 -x5508 -x5509 -x5510 -x5511 x5512 -x5513 x5514 x5515 -x5516 -x5517 -x5518 -x5519 -x5520 x5521 -x5522 -x5523 x5524 x5525 -x5526 x5527 x5528 -x5529 -x5530 -x5531 -x5532 x5533 x5534 x5535 x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 x5543 -x5544 x5545 -x5546 -x5547 x5548 x5549 -x5550 x5551 -x5552 -x5553 -x5554 -x5555 x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 x5581 -x5582 x5583 x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 x5598 -x5599 -x5600 -x5601 x5602 -x5603 -x5604 x5605 -x5606 x5607 -x5608 -x5609 x5610 x5611 -x5612 x5613 -x5614 -x5615 -x5616 -x5617 -x5618 x5619 -x5620 -x5621 x5622 x5623 -x5624 x5625 -x5626 -x5627 x5628 x5629 -x5630 x5631 -x5632 -x5633 -x5634 -x5635 x5636 -x5637 x5638 -x5639 x5640 -x5641 -x5642 x5643 x5644 -x5645 -x5646 -x5647 x5648 -x5649 -x5650 -x5651 x5652 x5653 x5654 x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 x5666 -x5667 -x5668 -x5669 -x5670 x5671 x5672 -x5673 x5674 x5675 -x5676 -x5677 x5678 -x5679 x5680 -x5681 x5682 -x5683 x5684 -x5685 -x5686 -x5687 x5688 x5689 -x5690 -x5691 x5692 -x5693 -x5694 x5695 x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 x5703 -x5704 -x5705 x5706 x5707 -x5708 x5709 x5710 -x5711 -x5712 x5713 -x5714 -x5715 -x5716 -x5717 x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 x5727 -x5728 -x5729 x5730 x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 x5740 -x5741 -x5742 -x5743 -x5744 x5745 -x5746 -x5747 x5748 x5749 -x5750 x5751 x5752 -x5753 -x5754 x5755 -x5756 x5757 -x5758 -x5759 x5760 -x5761 -x5762 -x5763 -x5764 -x5765 x5766 -x5767 -x5768 x5769 x5770 -x5771 x5772 -x5773 -x5774 x5775 x5776 x5777 -x5778 -x5779 -x5780 x5781 -x5782 -x5783 -x5784 x5785 -x5786 x5787 -x5788 -x5789 x5790 -x5791 -x5792 -x5793 -x5794 x5795 x5796 x5797 x5798 -x5799 x5800 x5801 x5802 -x5803 x5804 -x5805 -x5806 -x5807 -x5808 -x5809 x5810 -x5811 -x5812 -x5813 -x5814 x5815 -x5816 -x5817 -x5818 x5819 -x5820 -x5821 x5822 -x5823 x5824 -x5825 x5826 -x5827 -x5828 x5829 -x5830 x5831 -x5832 -x5833 -x5834 -x5835 -x5836 x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 x5848 x5849 x5850 x5851 -x5852 -x5853 -x5854 -x5855 -x5856 x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 x5864 -x5865 x5866 -x5867 -x5868 x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 x5878 -x5879 x5880 -x5881 -x5882 x5883 -x5884 x5885 -x5886 -x5887 x5888 -x5889 -x5890 x5891 x5892 -x5893 x5894 -x5895 -x5896 -x5897 -x5898 x5899 -x5900 -x5901 x5902 x5903 -x5904 -x5905 x5906 x5907 -x5908 x5909 x5910 -x5911 -x5912 x5913 x5914 -x5915 -x5916 -x5917 -x5918 -x5919 x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 x5927 -x5928 -x5929 -x5930 x5931 x5932 -x5933 -x5934 -x5935 -x5936 -x5937 x5938 x5939 -x5940 -x5941 -x5942 -x5943 x5944 x5945 -x5946 x5947 x5948 x5949 x5950 x5951 x5952 -x5953 x5954 x5955 x5956 x5957 x5958 x5959 x5960 -x5961 x5962 x5963 -x5964 -x5965 x5966 x5967 -x5968 x5969 -x5970 x5971 x5972 x5973 x5974 -x5975 x5976 x5977 -x5978 -x5979 x5980 x5981 -x5982 x5983 -x5984 x5985

Verifier Data

OK	1

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698915-1278461851/watcher-2698915-1278461851 -o /tmp/evaluation-result-2698915-1278461851/solver-2698915-1278461851 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698915-1278461851.wbo 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 13015
/proc/meminfo: memFree=30706044/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=2136 CPUtime=0
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 255 0 0 0 0 0 0 0 22 0 1 0 14399132 2187264 175 4089446400 134512640 136422188 4288248160 18446744073709551615 135873822 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13015/statm: 534 175 144 467 0 65 0

[startup+0.015147 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 13015
/proc/meminfo: memFree=30706044/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=2268 CPUtime=0.01
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 277 0 0 0 1 0 0 0 22 0 1 0 14399132 2322432 197 4089446400 134512640 136422188 4288248160 18446744073709551615 135159078 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13015/statm: 567 197 144 467 0 98 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2268

[startup+0.101133 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 13015
/proc/meminfo: memFree=30706044/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=4112 CPUtime=0.09
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 744 0 0 0 9 0 0 0 22 0 1 0 14399132 4210688 631 4089446400 134512640 136422188 4288248160 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/13015/statm: 1028 631 144 467 0 559 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4112

[startup+0.301111 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 13015
/proc/meminfo: memFree=30706044/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=50884 CPUtime=0.29
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 12795 0 0 0 28 1 0 0 22 0 1 0 14399132 52105216 12206 4089446400 134512640 136422188 4288248160 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13015/statm: 12721 12208 193 467 0 12252 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50884

[startup+0.701042 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 13015
/proc/meminfo: memFree=30706044/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=154832 CPUtime=0.7
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 40212 0 0 0 65 5 0 0 24 0 1 0 14399132 158547968 36606 4089446400 134512640 136422188 4288248160 18446744073709551615 135830093 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13015/statm: 38708 36606 203 467 0 38239 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 154832

[startup+1.5009 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13016
/proc/meminfo: memFree=30550540/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=168052 CPUtime=1.49
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 43380 0 0 0 130 19 0 0 25 0 1 0 14399132 172085248 39774 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13015/statm: 42013 39774 213 467 0 41544 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 168052

[startup+3.10062 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13016
/proc/meminfo: memFree=30547740/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=170296 CPUtime=3.09
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 44078 0 0 0 166 143 0 0 25 0 1 0 14399132 174383104 39955 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13015/statm: 42574 39955 237 467 0 42105 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 170296

[startup+6.30106 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13016
/proc/meminfo: memFree=30546004/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=170428 CPUtime=6.29
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 44156 0 0 0 301 328 0 0 25 0 1 0 14399132 174518272 40016 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13015/statm: 42607 40016 237 467 0 42138 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 170428

[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13016
/proc/meminfo: memFree=30546608/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=171220 CPUtime=12.7
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 44331 0 0 0 521 749 0 0 25 0 1 0 14399132 175329280 40185 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13015/statm: 42805 40185 237 467 0 42336 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 171220

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13017
/proc/meminfo: memFree=30546380/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=171616 CPUtime=25.49
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 44499 0 0 0 1116 1433 0 0 25 0 1 0 14399132 175734784 40299 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13015/statm: 42904 40299 237 467 0 42435 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 171616

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13017
/proc/meminfo: memFree=30545416/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=172672 CPUtime=51.09
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 44887 0 0 0 2279 2830 0 0 25 0 1 0 14399132 176816128 40559 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13015/statm: 43168 40559 237 467 0 42699 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 172672

[startup+102.306 s]
/proc/loadavg: 2.10 2.03 1.94 3/179 13022
/proc/meminfo: memFree=30542540/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=174048 CPUtime=102.3
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 45393 0 0 0 4430 5800 0 0 25 0 1 0 14399132 178225152 40906 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13015/statm: 43512 40906 237 467 0 43043 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 174048

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

[startup+127.901 s]
/proc/loadavg: 2.06 2.03 1.94 3/179 13022
/proc/meminfo: memFree=30541900/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=175228 CPUtime=127.9
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 45935 0 0 0 5872 6918 0 0 25 0 1 0 14399132 179433472 40918 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13015/statm: 43807 40918 237 467 0 43338 0
Current children cumulated CPU time (s) 127.9
Current children cumulated vsize (KiB) 175228

[startup+140.7 s]
/proc/loadavg: 2.05 2.02 1.94 3/179 13022
/proc/meminfo: memFree=30542008/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=175228 CPUtime=140.7
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 46038 0 0 0 6594 7476 0 0 25 0 1 0 14399132 179433472 40921 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13015/statm: 43807 40921 237 467 0 43338 0
Current children cumulated CPU time (s) 140.7
Current children cumulated vsize (KiB) 175228

[startup+147.1 s]
/proc/loadavg: 2.04 2.02 1.94 3/179 13022
/proc/meminfo: memFree=30541880/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=175228 CPUtime=147.1
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 46131 0 0 0 7039 7671 0 0 25 0 1 0 14399132 179433472 40922 4089446400 134512640 136422188 4288248160 18446744073709551615 135873918 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13015/statm: 43807 40922 237 467 0 43338 0
Current children cumulated CPU time (s) 147.1
Current children cumulated vsize (KiB) 175228

[startup+153.501 s]
/proc/loadavg: 2.04 2.02 1.94 3/179 13023
/proc/meminfo: memFree=30541868/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=175228 CPUtime=153.5
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 46218 0 0 0 7478 7872 0 0 25 0 1 0 14399132 179433472 40924 4089446400 134512640 136422188 4288248160 18446744073709551615 134853418 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13015/statm: 43807 40924 237 467 0 43338 0
Current children cumulated CPU time (s) 153.5
Current children cumulated vsize (KiB) 175228

[startup+156.701 s]
/proc/loadavg: 2.04 2.02 1.94 3/179 13023
/proc/meminfo: memFree=30541980/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=175996 CPUtime=156.7
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 46366 0 0 0 7734 7936 0 0 25 0 1 0 14399132 180219904 41013 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13015/statm: 43999 41013 237 467 0 43530 0
Current children cumulated CPU time (s) 156.7
Current children cumulated vsize (KiB) 175996

[startup+157.5 s]
/proc/loadavg: 2.04 2.02 1.94 3/179 13023
/proc/meminfo: memFree=30541732/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=175996 CPUtime=157.49
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 46391 0 0 0 7806 7943 0 0 25 0 1 0 14399132 180219904 41020 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13015/statm: 43999 41020 237 467 0 43530 0
Current children cumulated CPU time (s) 157.49
Current children cumulated vsize (KiB) 175996

[startup+157.9 s]
/proc/loadavg: 2.04 2.02 1.94 3/179 13023
/proc/meminfo: memFree=30541732/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=175996 CPUtime=157.9
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 46400 0 0 0 7844 7946 0 0 25 0 1 0 14399132 180219904 41022 4089446400 134512640 136422188 4288248160 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13015/statm: 43999 41022 237 467 0 43530 0
Current children cumulated CPU time (s) 157.9
Current children cumulated vsize (KiB) 175996

[startup+158.3 s]
/proc/loadavg: 2.04 2.02 1.94 3/179 13023
/proc/meminfo: memFree=30550900/32951124 swapFree=67111528/67111528
[pid=13015] ppid=13013 vsize=161804 CPUtime=158.3
/proc/13015/stat : 13015 (pbct) R 13013 13015 12398 0 -1 4202496 46406 0 0 0 7883 7947 0 0 25 0 1 0 14399132 165687296 38676 4089446400 134512640 136422188 4288248160 18446744073709551615 134701755 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/13015/statm: 40451 38676 240 467 0 39982 0
Current children cumulated CPU time (s) 158.3
Current children cumulated vsize (KiB) 161804

Child status: 0
Real time (s): 158.397
CPU time (s): 158.401
CPU user time (s): 78.924
CPU system time (s): 79.4769
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 175996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 78.924
system time used= 79.4769
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46407
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= 1
involuntary context switches= 295

runsolver used 0.230964 second user time and 0.551916 second system time

The end

Launcher Data

Begin job on node119 at 2010-07-07 02:17:32
IDJOB=2698915
IDBENCH=79045
IDSOLVER=1212
FILE ID=node119/2698915-1278461851
PBS_JOBID= 11233754
Free space on /tmp= 73516 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-22s.smv--soft-33-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698915-1278461851/watcher-2698915-1278461851 -o /tmp/evaluation-result-2698915-1278461851/solver-2698915-1278461851 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698915-1278461851.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 3ccb93ae8827142e7c54ff7ef98be667
RANDOM SEED=1284173738

node119.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.868
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.73
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.868
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.868
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.868
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:      30706688 kB
Buffers:        104944 kB
Cached:        1919544 kB
SwapCached:          0 kB
Active:         782100 kB
Inactive:      1319028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30706688 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2340 kB
Writeback:           0 kB
AnonPages:       76756 kB
Mapped:          15456 kB
Slab:            79680 kB
PageTables:       4756 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   219216 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= 73516 MiB
End job on node119 at 2010-07-07 02:20:10