Trace number 2698969

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 87.2737 87.2714

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-0-100-0.wbo
MD5SUM241801650d5a008aecc3546be621c5b9
Bench CategorySOFT-SMALLINT-LIN (only soft 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.082986
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5072
Total number of constraints12829
Number of soft constraints12829
Number of constraints which are clauses11721
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1108
Minimum length of a constraint1
Maximum length of a constraint15
Top cost 647371
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 647370
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.00/0.09	c constraints 0/1108 clauses 0/11721 units 0
0.00/0.09	c vars 5072
3.39/3.46	c 2.66959 153.578 495 1194531
3.39/3.46	o 15322
3.79/3.86	c 2.93955 156.547 684 1422715
3.79/3.86	o 13811
4.09/4.12	c 3.11653 156.547 856 1551455
4.09/4.12	o 11325
4.20/4.26	c 3.21451 156.547 937 1621405
4.20/4.26	o 10631
4.29/4.39	c 3.3055 156.547 993 1676303
4.29/4.39	o 9116
4.69/4.70	c 3.52946 156.547 1201 1745893
4.69/4.70	o 6673
4.89/4.91	c 3.67244 156.547 1262 1784365
4.89/4.91	o 6668
5.29/5.31	c 3.9684 156.676 1485 1855163
5.29/5.31	o 5814
5.59/5.67	c 4.25835 156.676 1695 1918642
5.59/5.67	o 5528
6.10/6.10	c 4.5743 156.805 1888 1974393
6.10/6.10	o 5236
6.99/7.08	c 5.31119 156.934 2478 2053391
6.99/7.08	o 4679
7.09/7.19	c 5.40518 156.934 2577 2083485
7.09/7.19	o 4068
7.19/7.26	c 5.45417 156.934 2608 2103888
7.19/7.26	o 3751
7.59/7.67	c 5.75012 157.062 2769 2158969
7.59/7.67	o 3747
7.70/7.76	c 5.82111 157.062 2782 2188701
7.70/7.76	o 3698
7.99/8.07	c 6.04208 157.062 2901 2216330
7.99/8.07	o 3088
8.30/8.38	c 6.26505 157.062 3044 2255142
8.30/8.38	o 3082
8.39/8.46	c 6.33304 157.062 3107 2279482
8.39/8.46	o 2937
8.59/8.64	c 6.44802 157.062 3137 2293744
8.59/8.64	o 2935
8.69/8.79	c 6.564 157.199 3165 2308987
8.69/8.79	o 2934
8.80/8.87	c 6.62499 157.199 3182 2332605
8.80/8.87	o 2437
8.89/8.93	c 6.67898 157.199 3186 2351295
8.89/8.93	o 2347
9.29/9.35	c 6.97694 157.199 3264 2402312
9.29/9.35	o 2345
9.59/9.67	c 7.2249 157.199 3346 2429626
9.59/9.67	o 2343
9.79/9.88	c 7.38088 157.199 3383 2446947
9.79/9.88	o 2332
9.90/9.98	c 7.45487 157.199 3391 2475024
9.90/9.98	o 2251
9.99/10.04	c 7.50686 157.199 3398 2494481
9.99/10.04	o 1962
10.09/10.14	c 7.58685 157.199 3407 2518708
10.09/10.14	o 1954
10.09/10.19	c 7.63284 157.199 3416 2534177
10.09/10.19	o 1914
10.19/10.29	c 7.71683 157.199 3427 2565480
10.19/10.29	o 1564
10.39/10.44	c 7.82981 157.199 3454 2575605
10.39/10.44	o 1562
10.49/10.56	c 7.9138 157.199 3470 2579803
10.49/10.56	o 1556
11.19/11.29	c 8.40372 157.199 3595 2588288
11.19/11.29	o 1553
11.39/11.49	c 8.5427 157.199 3666 2594330
11.39/11.49	o 1550
11.60/11.62	c 8.65368 157.199 3725 2611350
11.60/11.62	o 1544
11.69/11.70	c 8.70868 157.199 3730 2620672
11.69/11.70	o 1534
11.69/11.75	c 8.75167 157.199 3732 2636643
11.69/11.75	o 1533
11.79/11.84	c 8.81266 157.199 3741 2645199
11.79/11.84	o 1522
11.79/11.89	c 8.85465 157.199 3742 2658617
11.79/11.89	o 1502
11.89/11.99	c 8.93164 157.199 3749 2682733
11.89/11.99	o 1500
12.10/12.11	c 9.01863 157.199 3762 2719909
12.10/12.11	o 1477
12.10/12.16	c 9.05962 157.199 3784 2728690
12.10/12.16	o 1473
12.19/12.22	c 9.10661 157.199 3800 2734646
12.19/12.22	o 1470
12.29/12.31	c 9.1856 157.199 3811 2751576
12.29/12.31	o 1464
12.79/12.86	c 9.55355 157.328 3882 2754062
12.79/12.86	o 1462
12.90/12.94	c 9.61554 157.328 3886 2756136
12.90/12.94	o 1460
12.99/13.07	c 9.70852 157.328 3905 2762916
12.99/13.07	o 1457
13.09/13.16	c 9.77851 157.328 3922 2779115
13.09/13.16	o 1456
13.20/13.28	c 9.8775 157.328 3965 2793024
13.20/13.28	o 1455
13.30/13.36	c 9.94249 157.328 3975 2803204
13.30/13.36	o 1454
13.49/13.56	c 10.0965 157.328 3998 2808852
13.49/13.56	o 1453
13.89/13.94	c 10.3594 157.328 4049 2811099
13.89/13.94	o 1452
13.99/14.05	c 10.4474 157.328 4065 2825293
13.99/14.05	o 1443
14.10/14.16	c 10.5274 157.328 4079 2831114
14.10/14.16	o 1440
14.20/14.22	c 10.5804 157.328 4083 2840344
14.20/14.22	o 1439
14.90/14.98	c 11.1133 157.328 4198 2867598
14.90/14.98	o 1431
15.00/15.05	c 11.1723 157.328 4211 2873698
15.00/15.05	o 1427
15.09/15.11	c 11.2153 157.328 4213 2880314
15.09/15.11	o 1425
15.09/15.17	c 11.2683 157.328 4215 2903580
15.09/15.17	o 1369
15.19/15.26	c 11.3343 157.328 4222 2921770
15.19/15.26	o 1355
15.30/15.34	c 11.3973 157.328 4245 2933963
15.30/15.34	o 1324
15.40/15.43	c 11.4603 157.328 4254 2953951
15.40/15.43	o 1304
15.49/15.50	c 11.5162 157.328 4283 2971996
15.49/15.50	o 1261
15.49/15.57	c 11.5792 157.328 4318 2985183
15.49/15.57	o 1260
15.59/15.66	c 11.6522 157.328 4323 3003787
15.59/15.66	o 1257
15.79/15.83	c 11.7732 157.328 4338 3011151
15.79/15.83	o 1256
15.89/15.98	c 11.8812 157.328 4381 3024635
15.89/15.98	o 1250
16.09/16.15	c 12.0092 157.328 4421 3028153
16.09/16.15	o 1249
16.19/16.27	c 12.1032 157.328 4458 3034482
16.19/16.27	o 1248
16.99/17.01	c 12.5981 157.328 4609 3043800
16.99/17.01	o 1244
17.09/17.11	c 12.6721 157.328 4631 3046836
17.09/17.11	o 1242
17.49/17.54	c 12.961 157.328 4687 3047887
17.49/17.54	o 1241
17.59/17.62	c 13.027 157.457 4737 3050389
17.59/17.62	o 1237
17.79/17.85	c 13.189 157.457 4766 3054169
17.79/17.85	o 1236
17.99/18.06	c 13.339 157.457 4795 3063288
17.99/18.06	o 1234
18.09/18.18	c 13.428 157.457 4815 3066708
18.09/18.18	o 1233
18.19/18.28	c 13.5089 157.457 4845 3071249
18.19/18.28	o 1230
18.29/18.37	c 13.5829 157.457 4897 3074139
18.29/18.37	o 1228
18.39/18.45	c 13.6449 157.457 4908 3078070
18.39/18.45	o 1221
18.49/18.56	c 13.7289 157.457 4941 3083571
18.49/18.56	o 1220
18.60/18.62	c 13.7799 157.457 4965 3087424
18.60/18.62	o 1215
18.70/18.74	c 13.8759 157.457 4986 3093060
18.70/18.74	o 1214
18.79/18.88	c 13.9899 157.457 5003 3101391
18.79/18.88	o 1202
19.59/19.64	c 14.5148 157.457 5153 3109155
19.59/19.64	o 1200
19.89/19.98	c 14.7468 157.457 5190 3115361
19.89/19.98	o 1195
19.99/20.09	c 14.8477 157.457 5244 3119313
19.99/20.09	o 1189
20.09/20.15	c 14.8927 157.457 5246 3121648
20.09/20.15	o 1186
20.19/20.26	c 14.9797 157.457 5301 3128286
20.19/20.26	o 1182
20.39/20.40	c 15.0777 157.457 5312 3134354
20.39/20.40	o 1178
20.59/20.65	c 15.2597 157.457 5378 3136626
20.59/20.65	o 1177
20.79/20.90	c 15.4207 157.457 5408 3138390
20.79/20.90	o 1176
20.90/20.99	c 15.4956 157.457 5418 3139595
20.90/20.99	o 1175
20.99/21.04	c 15.5346 157.457 5426 3140795
20.99/21.04	o 1174
21.09/21.14	c 15.6176 157.457 5541 3144354
21.09/21.14	o 1167
21.20/21.23	c 15.6926 157.457 5597 3150832
21.20/21.23	o 1156
21.30/21.32	c 15.7636 157.457 5603 3162842
21.30/21.32	o 1137
21.30/21.39	c 15.8096 157.457 5608 3166251
21.30/21.39	o 1136
21.39/21.45	c 15.8636 157.457 5612 3173180
21.39/21.45	o 1128
21.60/21.60	c 15.9916 157.586 5629 3198712
21.60/21.60	o 1126
21.79/21.80	c 16.1385 157.586 5675 3211862
21.79/21.80	o 1124
21.90/21.93	c 16.2375 157.586 5687 3224434
21.90/21.93	o 1119
22.00/22.02	c 16.3105 157.586 5694 3231073
22.00/22.02	o 1111
22.00/22.07	c 16.3525 157.586 5700 3233667
22.00/22.07	o 1110
22.10/22.13	c 16.3985 157.586 5705 3237384
22.10/22.13	o 1107
22.20/22.21	c 16.4615 157.586 5710 3242797
22.20/22.21	o 1105
22.29/22.35	c 16.5695 157.586 5725 3246230
22.29/22.35	o 1103
22.40/22.46	c 16.6625 157.586 5739 3266029
22.40/22.46	o 1079
22.49/22.54	c 16.7205 157.586 5745 3281710
22.49/22.54	o 1075
22.59/22.60	c 16.7744 157.586 5746 3303021
22.59/22.60	o 1053
22.59/22.66	c 16.8184 157.586 5762 3315265
22.59/22.66	o 1052
22.70/22.73	c 16.8744 157.586 5768 3339870
22.70/22.73	o 908
22.70/22.79	c 16.9184 157.586 5771 3351935
22.70/22.79	o 893
22.79/22.85	c 16.9724 157.586 5778 3364613
22.79/22.85	o 891
22.89/22.95	c 17.0444 157.586 5799 3376626
22.89/22.95	o 881
23.00/23.09	c 17.1644 157.586 5877 3413133
23.00/23.09	o 872
23.10/23.14	c 17.2084 157.586 5878 3420102
23.10/23.14	o 864
23.19/23.22	c 17.2604 157.586 5884 3429612
23.19/23.22	o 863
23.29/23.34	c 17.3534 157.586 5898 3439089
23.29/23.34	o 862
23.49/23.56	c 17.5183 157.586 5920 3441133
23.49/23.56	o 861
23.59/23.64	c 17.5853 157.586 5928 3445079
23.59/23.64	o 856
23.79/23.87	c 17.7683 157.586 6012 3453185
23.79/23.87	o 855
23.99/24.01	c 17.8823 157.586 6056 3454434
23.99/24.01	o 854
24.69/24.71	c 18.4182 157.586 6274 3458975
24.69/24.71	o 853
25.59/25.67	c 19.0711 157.586 6430 3463663
25.59/25.67	o 852
25.70/25.74	c 19.1221 157.586 6435 3464637
25.70/25.74	o 851
26.19/26.25	c 19.485 157.715 6518 3466584
26.19/26.25	o 850
26.30/26.37	c 19.57 157.715 6535 3469228
26.30/26.37	o 848
26.49/26.57	c 19.729 157.715 6558 3470084
26.49/26.57	o 847
26.59/26.66	c 19.797 157.715 6576 3471639
26.59/26.66	o 844
26.79/26.81	c 19.911 157.715 6633 3473494
26.79/26.81	o 840
26.79/26.87	c 19.96 157.715 6637 3474451
26.79/26.87	o 839
26.89/26.93	c 20.005 157.715 6642 3475661
26.89/26.93	o 838
27.00/27.00	c 20.0659 157.715 6655 3478052
27.00/27.00	o 833
27.00/27.08	c 20.1289 157.715 6707 3480154
27.00/27.08	o 828
27.10/27.14	c 20.1749 157.715 6713 3481454
27.10/27.14	o 826
27.19/27.21	c 20.2359 157.715 6736 3483137
27.19/27.21	o 825
27.19/27.28	c 20.2909 157.715 6741 3484630
27.19/27.28	o 824
27.29/27.38	c 20.3669 157.715 6753 3486356
27.29/27.38	o 823
27.40/27.45	c 20.4189 157.715 6758 3488473
27.40/27.45	o 817
27.79/27.85	c 20.6939 157.715 6825 3489787
27.79/27.85	o 816
27.89/27.90	c 20.7368 157.715 6827 3491454
27.89/27.90	o 811
27.89/27.95	c 20.7808 157.715 6829 3492608
27.89/27.95	o 810
27.99/28.02	c 20.8298 157.715 6842 3494247
27.99/28.02	o 809
28.09/28.13	c 20.9198 157.715 6866 3496708
28.09/28.13	o 805
28.29/28.31	c 21.0608 157.715 6931 3500250
28.29/28.31	o 804
28.39/28.47	c 21.1708 157.715 6997 3504582
28.39/28.47	o 803
28.49/28.54	c 21.2328 157.715 7029 3506484
28.49/28.54	o 802
28.60/28.67	c 21.3348 157.715 7046 3508639
28.60/28.67	o 801
29.39/29.44	c 21.8597 157.715 7165 3511225
29.39/29.44	o 800
29.49/29.52	c 21.9187 157.715 7178 3512386
29.49/29.52	o 798
29.49/29.58	c 21.9677 157.715 7190 3513234
29.49/29.58	o 797
30.29/30.40	c 22.5466 157.715 7307 3516813
30.29/30.40	o 796
30.39/30.48	c 22.6196 157.715 7315 3518213
30.39/30.48	o 795
30.59/30.60	c 22.7065 157.715 7328 3521237
30.59/30.60	o 794
30.59/30.69	c 22.7755 157.844 7334 3523022
30.59/30.69	o 793
30.80/30.83	c 22.8905 157.844 7346 3526686
30.80/30.83	o 792
31.00/31.08	c 23.0595 157.844 7389 3529083
31.00/31.08	o 791
31.10/31.19	c 23.1375 157.844 7416 3530437
31.10/31.19	o 790
31.30/31.35	c 23.2635 157.844 7439 3538110
31.30/31.35	o 786
31.39/31.48	c 23.3674 157.844 7456 3543868
31.39/31.48	o 782
31.59/31.61	c 23.4584 157.844 7488 3545996
31.59/31.61	o 780
31.69/31.80	c 23.5984 157.844 7523 3547327
31.79/31.80	o 779
31.79/31.89	c 23.6684 157.844 7538 3550421
31.79/31.89	o 774
31.99/32.00	c 23.7394 157.844 7546 3554788
31.99/32.00	o 768
31.99/32.07	c 23.7904 157.844 7576 3556501
31.99/32.07	o 764
32.09/32.13	c 23.8414 157.844 7578 3557713
32.09/32.13	o 760
32.09/32.19	c 23.8954 157.844 7586 3560363
32.09/32.19	o 758
32.19/32.25	c 23.9424 157.844 7592 3561363
32.19/32.25	o 757
32.29/32.34	c 24.0153 157.844 7607 3564037
32.29/32.34	o 753
32.40/32.41	c 24.0723 157.844 7625 3565634
32.40/32.41	o 752
32.40/32.49	c 24.1463 157.844 7705 3567335
32.40/32.49	o 748
32.59/32.61	c 24.2383 157.844 7755 3571350
32.59/32.61	o 747
33.99/34.02	c 25.2082 157.844 8000 3575189
33.99/34.02	o 746
33.99/34.08	c 25.2532 157.844 8002 3575995
33.99/34.08	o 744
34.10/34.15	c 25.3122 157.844 8007 3577344
34.10/34.15	o 741
34.19/34.25	c 25.3881 157.844 8018 3578902
34.19/34.25	o 738
34.39/34.47	c 25.5551 157.844 8039 3581104
34.39/34.47	o 735
34.59/34.66	c 25.7001 157.844 8227 3584322
34.59/34.66	o 729
34.69/34.78	c 25.7941 157.973 8240 3585635
34.69/34.78	o 728
34.79/34.87	c 25.8681 157.973 8250 3587485
34.79/34.87	o 725
34.89/34.93	c 25.9171 157.973 8252 3588116
34.89/34.93	o 724
34.99/35.06	c 26.017 157.973 8264 3590040
34.99/35.06	o 723
35.10/35.15	c 26.086 157.973 8271 3593420
35.10/35.15	o 722
35.20/35.20	c 26.136 157.973 8277 3595170
35.20/35.20	o 721
35.89/35.91	c 26.6 157.973 8386 3599073
35.89/35.91	o 718
35.99/36.04	c 26.6959 157.973 8398 3601022
35.99/36.04	o 715
36.09/36.12	c 26.7549 157.973 8401 3602305
36.09/36.12	o 714
36.20/36.20	c 26.8259 157.973 8420 3603817
36.20/36.20	o 713
36.49/36.56	c 27.0809 157.973 8481 3605092
36.49/36.56	o 712
36.59/36.61	c 27.1279 157.973 8483 3605950
36.59/36.61	o 710
36.59/36.67	c 27.1739 157.973 8489 3606675
36.59/36.67	o 709
36.69/36.76	c 27.2489 157.973 8498 3607716
36.69/36.76	o 708
36.79/36.83	c 27.3028 157.973 8509 3608979
36.79/36.83	o 707
36.79/36.88	c 27.3448 157.973 8511 3610183
36.79/36.88	o 706
36.90/36.93	c 27.3848 157.973 8584 3612497
36.90/36.93	o 702
36.99/37.03	c 27.4618 157.973 8597 3615699
36.99/37.03	o 701
36.99/37.09	c 27.5058 157.973 8608 3619858
36.99/37.09	o 699
37.09/37.19	c 27.5838 157.973 8654 3624307
37.09/37.19	o 692
37.19/37.24	c 27.6268 157.973 8656 3626154
37.19/37.24	o 689
37.19/37.29	c 27.6648 157.973 8656 3628096
37.19/37.29	o 688
37.30/37.35	c 27.7118 157.973 8657 3630949
37.30/37.35	o 683
37.30/37.40	c 27.7538 157.973 8657 3632668
37.30/37.40	o 680
37.40/37.45	c 27.7948 157.973 8658 3633948
37.40/37.45	o 678
37.49/37.50	c 27.8358 157.973 8658 3635549
37.49/37.50	o 676
37.49/37.58	c 27.8998 157.973 8661 3640631
37.49/37.58	o 671
37.59/37.64	c 27.9518 157.973 8663 3642170
37.59/37.64	o 670
37.69/37.71	c 27.9987 157.973 8664 3645320
37.69/37.71	o 668
37.69/37.78	c 28.0557 157.973 8668 3647098
37.69/37.78	o 666
37.79/37.87	c 28.1217 157.973 8676 3650300
37.79/37.87	o 663
37.89/37.97	c 28.2087 157.973 8696 3652137
37.89/37.97	o 662
37.99/38.05	c 28.2717 157.973 8700 3653535
37.99/38.05	o 661
38.09/38.10	c 28.3137 157.973 8703 3655193
38.09/38.10	o 660
38.09/38.16	c 28.3637 157.973 8709 3658106
38.09/38.16	o 654
38.20/38.24	c 28.4207 157.973 8715 3661269
38.20/38.24	o 652
38.29/38.31	c 28.4767 157.973 8722 3662069
38.29/38.31	o 651
38.29/38.36	c 28.5197 157.973 8728 3662836
38.29/38.36	o 650
38.39/38.42	c 28.5707 157.973 8732 3663529
38.39/38.42	o 649
38.69/38.78	c 28.8136 157.973 8772 3665879
38.69/38.78	o 648
38.79/38.85	c 28.8776 157.973 8796 3667013
38.79/38.85	o 646
39.50/39.55	c 29.3825 158.102 8963 3669667
39.50/39.55	o 645
39.59/39.62	c 29.4505 158.102 9049 3670894
39.59/39.62	o 644
39.80/39.81	c 29.5915 158.102 9097 3672214
39.80/39.81	o 643
40.50/40.51	c 30.0564 158.102 9201 3673981
40.50/40.51	o 642
40.59/40.64	c 30.1464 158.102 9211 3675042
40.59/40.64	o 640
40.70/40.74	c 30.2254 158.102 9220 3676274
40.70/40.74	o 639
41.00/41.06	c 30.4424 158.102 9363 3677586
41.00/41.06	o 638
41.29/41.32	c 30.6333 158.102 9536 3679884
41.29/41.32	o 637
41.39/41.40	c 30.6953 158.102 9544 3680946
41.39/41.40	o 636
41.49/41.55	c 30.8063 158.102 9559 3682325
41.49/41.55	o 634
41.59/41.61	c 30.8583 158.102 9562 3683677
41.59/41.61	o 633
41.59/41.67	c 30.9033 158.102 9567 3685788
41.59/41.67	o 630
41.70/41.76	c 30.9703 158.102 9578 3687348
41.70/41.76	o 629
42.19/42.30	c 31.3372 158.102 9727 3688835
42.19/42.30	o 628
42.40/42.41	c 31.4202 158.102 9741 3690038
42.40/42.41	o 626
42.40/42.48	c 31.4812 158.102 9751 3691144
42.40/42.48	o 625
42.59/42.67	c 31.6142 158.102 9794 3692478
42.59/42.67	o 624
42.70/42.74	c 31.6732 158.102 9822 3693788
42.70/42.74	o 623
42.80/42.82	c 31.7382 158.102 9837 3694828
42.80/42.83	o 622
42.90/42.95	c 31.8422 158.102 9869 3696392
42.90/42.95	o 621
43.00/43.07	c 31.9291 158.23 9926 3698892
43.00/43.07	o 619
43.09/43.15	c 31.9891 158.23 9939 3700361
43.09/43.15	o 617
43.19/43.21	c 32.0351 158.23 9945 3701418
43.19/43.21	o 615
43.19/43.28	c 32.0951 158.23 10026 3702553
43.19/43.28	o 614
43.30/43.34	c 32.1491 158.23 10033 3705205
43.30/43.34	o 613
43.99/44.06	c 32.65 158.23 10200 3708836
43.99/44.06	o 612
44.19/44.20	c 32.751 158.23 10213 3710176
44.19/44.20	o 609
44.19/44.26	c 32.805 158.23 10224 3711205
44.19/44.26	o 608
44.29/44.31	c 32.848 158.23 10228 3712239
44.29/44.31	o 606
44.29/44.36	c 32.894 158.23 10233 3713168
44.29/44.36	o 605
44.39/44.44	c 32.953 158.23 10235 3714071
44.39/44.44	o 604
44.49/44.50	c 33.003 158.23 10239 3715018
44.49/44.50	o 602
44.49/44.58	c 33.071 158.23 10309 3716504
44.49/44.58	o 600
44.59/44.66	c 33.141 158.23 10333 3717490
44.59/44.66	o 599
44.69/44.75	c 33.208 158.23 10348 3718318
44.69/44.75	o 597
44.80/44.81	c 33.2509 158.23 10352 3719337
44.80/44.81	o 595
45.00/45.07	c 33.4369 158.23 10399 3720836
45.00/45.07	o 593
45.10/45.14	c 33.4909 158.23 10404 3721583
45.10/45.14	o 592
45.19/45.20	c 33.5379 158.23 10419 3722390
45.19/45.20	o 591
45.19/45.27	c 33.5919 158.23 10513 3723487
45.19/45.27	o 590
45.29/45.35	c 33.6589 158.23 10519 3724675
45.29/45.35	o 589
45.49/45.51	c 33.7689 158.23 10533 3726506
45.49/45.51	o 588
45.49/45.58	c 33.8269 158.23 10536 3727761
45.49/45.58	o 587
45.59/45.64	c 33.8758 158.23 10540 3728613
45.59/45.64	o 586
45.59/45.69	c 33.9208 158.23 10541 3729541
45.59/45.69	o 585
45.69/45.78	c 33.9908 158.23 10552 3731739
45.69/45.78	o 583
46.10/46.17	c 34.2748 158.23 10620 3733151
46.10/46.17	o 582
46.50/46.56	c 34.5737 158.23 10689 3734035
46.50/46.56	o 581
46.60/46.63	c 34.6327 158.23 10700 3734782
46.60/46.63	o 580
47.09/47.16	c 34.9737 158.359 10777 3735535
47.09/47.16	o 579
47.20/47.23	c 35.0367 158.359 10788 3736544
47.20/47.23	o 578
47.20/47.30	c 35.0827 158.359 10793 3737519
47.20/47.30	o 577
47.30/47.35	c 35.1317 158.359 10796 3738333
47.30/47.35	o 576
47.39/47.42	c 35.1827 158.359 10808 3739127
47.39/47.42	o 575
47.50/47.56	c 35.2786 158.359 10827 3740007
47.50/47.56	o 574
47.59/47.64	c 35.3386 158.359 10833 3740848
47.59/47.64	o 572
47.59/47.69	c 35.3806 158.359 10838 3741558
47.59/47.69	o 571
47.80/47.82	c 35.4826 158.359 10862 3742878
47.80/47.82	o 570
47.89/47.90	c 35.5486 158.359 10905 3743741
47.89/47.90	o 568
47.89/47.98	c 35.6196 158.359 10910 3744636
47.89/47.98	o 567
47.99/48.03	c 35.6586 158.359 10911 3745301
47.99/48.03	o 566
47.99/48.08	c 35.6976 158.359 10911 3745872
47.99/48.08	o 565
48.09/48.13	c 35.7416 158.359 10915 3746534
48.09/48.13	o 564
48.09/48.19	c 35.7866 158.359 10920 3747226
48.09/48.19	o 563
48.19/48.26	c 35.8496 158.359 10933 3747867
48.19/48.26	o 562
48.30/48.32	c 35.8975 158.359 10940 3748849
48.30/48.32	o 560
48.40/48.44	c 35.9995 158.359 10970 3749869
48.40/48.44	o 559
48.59/48.60	c 36.1125 158.359 10985 3750600
48.59/48.60	o 558
48.69/48.77	c 36.2205 158.359 11006 3751687
48.69/48.77	o 557
48.79/48.82	c 36.2685 158.359 11015 3752600
48.79/48.82	o 556
48.90/48.92	c 36.3415 158.359 11029 3754821
48.90/48.92	o 555
48.99/49.08	c 36.4615 158.359 11060 3756156
48.99/49.08	o 554
49.09/49.19	c 36.5474 158.359 11098 3757137
49.09/49.19	o 553
49.50/49.54	c 36.7734 158.359 11136 3757981
49.50/49.54	o 552
49.60/49.61	c 36.8344 158.359 11147 3758951
49.60/49.61	o 551
49.60/49.69	c 36.9024 158.359 11164 3759632
49.60/49.69	o 550
49.69/49.76	c 36.9624 158.359 11174 3760373
49.69/49.76	o 549
49.80/49.81	c 37.0084 158.359 11179 3761104
49.80/49.81	o 548
49.99/50.05	c 37.1693 158.359 11215 3762171
49.99/50.05	o 547
50.09/50.12	c 37.2223 158.359 11226 3762826
50.09/50.12	o 546
50.09/50.18	c 37.2753 158.359 11238 3763275
50.09/50.18	o 545
50.20/50.28	c 37.3593 158.359 11262 3763937
50.20/50.28	o 544
50.29/50.37	c 37.4263 158.359 11287 3765012
50.29/50.37	o 543
50.40/50.44	c 37.4863 158.359 11302 3765812
50.40/50.44	o 542
50.49/50.55	c 37.5663 158.359 11322 3767063
50.49/50.55	o 541
51.29/51.32	c 38.1112 158.359 11445 3768924
51.29/51.32	o 539
51.29/51.38	c 38.1692 158.359 11452 3769776
51.29/51.38	o 538
51.39/51.45	c 38.2292 158.359 11459 3771030
51.39/51.45	o 537
51.79/51.83	c 38.5241 158.488 11591 3772883
51.79/51.83	o 536
51.90/51.91	c 38.5911 158.488 11617 3773758
51.90/51.91	o 535
51.90/51.96	c 38.6331 158.488 11627 3774540
51.90/51.96	o 534
51.99/52.01	c 38.6731 158.488 11634 3775318
51.99/52.01	o 532
51.99/52.06	c 38.7151 158.488 11637 3776191
51.99/52.06	o 531
52.09/52.13	c 38.7651 158.488 11643 3777234
52.09/52.13	o 528
52.09/52.19	c 38.8191 158.488 11668 3777887
52.09/52.19	o 527
52.39/52.42	c 38.9851 158.488 11708 3779133
52.39/52.42	o 525
52.39/52.49	c 39.0501 158.488 11717 3780331
52.39/52.49	o 524
52.50/52.58	c 39.1211 158.488 11777 3781975
52.50/52.58	o 523
52.60/52.69	c 39.213 158.488 11901 3783125
52.60/52.69	o 522
52.70/52.79	c 39.297 158.488 11907 3783883
52.70/52.79	o 521
52.80/52.84	c 39.338 158.488 11909 3784789
52.80/52.84	o 520
52.80/52.89	c 39.383 158.488 11909 3785432
52.80/52.89	o 519
52.89/52.94	c 39.427 158.488 11910 3786082
52.89/52.94	o 517
52.99/53.00	c 39.473 158.488 11913 3786492
52.99/53.00	o 516
52.99/53.07	c 39.522 158.488 11929 3787430
52.99/53.07	o 515
53.09/53.19	c 39.628 158.488 12013 3788701
53.09/53.19	o 514
53.19/53.26	c 39.688 158.488 12019 3789924
53.19/53.26	o 513
53.29/53.35	c 39.758 158.488 12027 3791072
53.29/53.35	o 512
53.39/53.42	c 39.8079 158.488 12036 3792616
53.39/53.42	o 511
53.79/53.84	c 40.0959 158.488 12079 3793741
53.79/53.84	o 507
53.79/53.90	c 40.1439 158.488 12080 3794840
53.79/53.90	o 503
53.89/53.96	c 40.1939 158.488 12083 3795989
53.89/53.96	o 498
53.99/54.01	c 40.2399 158.488 12083 3796453
53.99/54.01	o 497
53.99/54.08	c 40.3059 158.488 12091 3797878
53.99/54.08	o 495
54.09/54.15	c 40.3619 158.488 12104 3798954
54.09/54.15	o 491
54.19/54.22	c 40.4249 158.488 12138 3799687
54.19/54.22	o 489
54.29/54.30	c 40.4808 158.488 12144 3800081
54.29/54.30	o 488
54.29/54.35	c 40.5238 158.488 12149 3800915
54.29/54.35	o 487
54.39/54.41	c 40.5728 158.488 12152 3802013
54.39/54.42	o 485
54.39/54.48	c 40.6298 158.488 12157 3802626
54.39/54.48	o 484
54.49/54.55	c 40.6848 158.488 12165 3804467
54.49/54.55	o 478
54.59/54.61	c 40.7338 158.488 12169 3805625
54.59/54.61	o 476
54.59/54.66	c 40.7758 158.488 12173 3806507
54.59/54.66	o 474
54.69/54.72	c 40.8258 158.488 12176 3807209
54.69/54.72	o 473
54.69/54.77	c 40.8698 158.488 12179 3807828
54.69/54.77	o 472
54.80/54.82	c 40.9138 158.617 12181 3808673
54.80/54.82	o 471
54.80/54.88	c 40.9608 158.617 12189 3809543
54.80/54.88	o 470
55.30/55.31	c 41.2677 158.617 12263 3810583
55.30/55.31	o 469
55.59/55.62	c 41.4857 158.617 12311 3811510
55.59/55.62	o 468
55.59/55.67	c 41.5337 158.617 12319 3812166
55.59/55.67	o 467
55.69/55.73	c 41.5867 158.617 12343 3812767
55.69/55.73	o 466
55.79/55.83	c 41.6627 158.617 12382 3813791
55.79/55.83	o 465
55.89/55.98	c 41.7796 158.617 12436 3814571
55.89/55.98	o 464
56.10/56.12	c 41.8686 158.617 12492 3815624
56.10/56.12	o 463
56.10/56.17	c 41.9106 158.617 12495 3816371
56.10/56.17	o 461
56.19/56.24	c 41.9646 158.617 12500 3816893
56.19/56.24	o 460
56.29/56.30	c 42.0156 158.617 12501 3817527
56.29/56.30	o 459
56.29/56.37	c 42.0676 158.617 12515 3818066
56.29/56.37	o 458
56.39/56.42	c 42.1156 158.617 12521 3818518
56.39/56.42	o 457
56.50/56.50	c 42.1776 158.617 12534 3819009
56.50/56.50	o 456
56.50/56.55	c 42.2246 158.617 12543 3819609
56.50/56.55	o 454
56.59/56.62	c 42.2846 158.617 12616 3820346
56.59/56.62	o 453
56.59/56.69	c 42.3326 158.617 12622 3820870
56.59/56.69	o 452
56.69/56.75	c 42.3806 158.617 12629 3822063
56.69/56.75	o 449
56.79/56.82	c 42.4385 158.617 12633 3822921
56.79/56.82	o 448
56.79/56.87	c 42.4795 158.617 12634 3824182
56.79/56.87	o 443
56.89/56.93	c 42.5275 158.617 12638 3824672
56.89/56.93	o 442
56.99/57.01	c 42.5925 158.617 12640 3825442
56.99/57.01	o 441
56.99/57.06	c 42.6335 158.617 12642 3826280
56.99/57.06	o 440
57.10/57.12	c 42.6825 158.617 12644 3826823
57.10/57.12	o 439
57.10/57.19	c 42.7365 158.617 12648 3827711
57.10/57.19	o 438
57.20/57.26	c 42.7975 158.617 12652 3828741
57.20/57.26	o 437
57.29/57.32	c 42.8455 158.617 12673 3829667
57.29/57.32	o 436
57.29/57.37	c 42.8865 158.617 12674 3830541
57.29/57.37	o 435
57.40/57.42	c 42.9305 158.617 12674 3831677
57.40/57.42	o 434
57.40/57.47	c 42.9695 158.617 12675 3832573
57.40/57.47	o 433
57.49/57.52	c 43.0155 158.617 12683 3833364
57.49/57.52	o 431
57.49/57.57	c 43.0615 158.617 12695 3834240
57.49/57.57	o 430
57.59/57.63	c 43.1124 158.617 12712 3835206
57.59/57.63	o 429
57.69/57.70	c 43.1594 158.617 12717 3836274
57.69/57.70	o 428
57.69/57.79	c 43.2324 158.617 12737 3837329
57.69/57.79	o 427
57.89/57.92	c 43.3364 158.617 12783 3839161
57.89/57.92	o 426
57.99/58.04	c 43.4294 158.617 12813 3840960
57.99/58.04	o 425
58.09/58.14	c 43.5034 158.617 12823 3842301
58.09/58.14	o 424
58.19/58.22	c 43.5754 158.617 12833 3843563
58.19/58.22	o 420
58.30/58.36	c 43.6824 158.617 12844 3844403
58.30/58.36	o 419
58.39/58.46	c 43.7553 158.617 12855 3845874
58.39/58.46	o 415
58.49/58.51	c 43.7943 158.617 12858 3846725
58.49/58.51	o 414
58.59/58.61	c 43.8843 158.617 12910 3847738
58.59/58.61	o 412
58.59/58.67	c 43.9303 158.617 12957 3848921
58.59/58.67	o 410
58.79/58.81	c 44.0243 158.617 12971 3850272
58.79/58.81	o 409
58.89/58.90	c 44.0963 158.617 12974 3851257
58.89/58.90	o 407
58.89/58.99	c 44.1763 158.617 12982 3852107
58.89/58.99	o 406
58.99/59.08	c 44.2483 158.746 13011 3852704
58.99/59.08	o 405
59.09/59.15	c 44.3043 158.746 13018 3853892
59.09/59.15	o 403
59.19/59.20	c 44.3513 158.746 13022 3854613
59.19/59.20	o 401
59.19/59.27	c 44.4002 158.746 13027 3855584
59.19/59.27	o 399
59.30/59.32	c 44.4482 158.746 13028 3856156
59.30/59.32	o 398
59.30/59.37	c 44.4882 158.746 13028 3856823
59.30/59.37	o 396
59.40/59.42	c 44.5302 158.746 13028 3857470
59.40/59.42	o 395
59.40/59.47	c 44.5742 158.746 13028 3858043
59.40/59.47	o 394
59.50/59.52	c 44.6132 158.746 13029 3858618
59.50/59.52	o 393
59.50/59.57	c 44.6612 158.746 13029 3859233
59.50/59.57	o 391
59.60/59.62	c 44.7052 158.746 13029 3859850
59.60/59.62	o 390
59.60/59.67	c 44.7512 158.746 13029 3860457
59.60/59.67	o 388
59.70/59.72	c 44.7952 158.746 13032 3860939
59.70/59.72	o 387
59.70/59.79	c 44.8472 158.746 13035 3861467
59.70/59.79	o 386
59.79/59.84	c 44.8922 158.746 13038 3861990
59.79/59.84	o 385
59.89/59.90	c 44.9432 158.746 13039 3862675
59.89/59.90	o 383
59.89/59.96	c 44.9902 158.746 13047 3863904
59.89/59.96	o 381
59.99/60.08	c 45.0771 158.746 13061 3865406
59.99/60.08	o 380
60.29/60.34	c 45.3061 158.746 13252 3867399
60.29/60.34	o 379
60.40/60.42	c 45.3681 158.746 13264 3868200
60.40/60.42	o 378
60.40/60.48	c 45.4091 158.746 13272 3868882
60.40/60.48	o 377
60.50/60.56	c 45.4811 158.746 13303 3869713
60.50/60.56	o 376
60.70/60.72	c 45.6141 158.746 13337 3870620
60.70/60.72	o 375
61.00/61.07	c 45.899 158.746 13457 3872190
61.00/61.07	o 374
61.09/61.16	c 45.974 158.746 13477 3872843
61.09/61.16	o 373
61.19/61.22	c 46.024 158.746 13485 3873413
61.19/61.22	o 372
61.19/61.30	c 46.084 158.746 13487 3874038
61.19/61.30	o 371
61.29/61.35	c 46.13 158.746 13489 3874546
61.29/61.35	o 370
61.40/61.40	c 46.178 158.746 13492 3875137
61.40/61.40	o 369
61.99/62.03	c 46.5719 158.746 13610 3876413
61.99/62.03	o 368
62.10/62.12	c 46.6489 158.875 13715 3877196
62.10/62.12	o 367
62.10/62.18	c 46.6969 158.875 13739 3877613
62.10/62.18	o 366
62.19/62.27	c 46.7589 158.875 13742 3878131
62.19/62.27	o 365
62.29/62.32	c 46.8069 158.875 13747 3878895
62.29/62.32	o 364
62.39/62.40	c 46.8699 158.875 13752 3879618
62.39/62.40	o 363
62.39/62.47	c 46.9239 158.875 13755 3880188
62.39/62.47	o 362
62.50/62.52	c 46.9669 158.875 13757 3880696
62.50/62.52	o 361
62.79/62.83	c 47.2288 158.875 13879 3881667
62.79/62.83	o 360
62.89/62.91	c 47.2998 158.875 13938 3882571
62.89/62.91	o 359
63.29/63.35	c 47.6188 158.875 14005 3883777
63.29/63.35	o 358
63.40/63.43	c 47.6828 158.875 14008 3884501
63.40/63.43	o 357
63.40/63.49	c 47.7387 158.875 14015 3885243
63.40/63.49	o 356
63.69/63.72	c 47.9427 158.875 14157 3886290
63.69/63.72	o 355
63.89/63.93	c 48.0897 158.875 14205 3887084
63.89/63.93	o 354
63.89/63.98	c 48.1347 158.875 14208 3887662
63.89/63.98	o 353
63.99/64.04	c 48.1817 158.875 14212 3888430
63.99/64.04	o 352
64.09/64.14	c 48.2667 158.875 14221 3889252
64.09/64.14	o 350
64.19/64.20	c 48.3067 158.875 14222 3889913
64.19/64.20	o 348
64.19/64.26	c 48.3516 158.875 14228 3890376
64.19/64.26	o 347
64.30/64.33	c 48.4106 158.875 14254 3890923
64.30/64.33	o 346
64.39/64.40	c 48.4726 158.875 14265 3891479
64.39/64.40	o 345
64.49/64.51	c 48.5646 158.875 14280 3892131
64.49/64.51	o 344
64.59/64.70	c 48.6876 158.875 14302 3892941
64.59/64.70	o 343
64.69/64.77	c 48.7486 158.875 14308 3893696
64.69/64.77	o 342
64.79/64.84	c 48.8116 158.875 14398 3894193
64.79/64.84	o 341
64.79/64.89	c 48.8546 158.875 14399 3894756
64.79/64.89	o 340
64.90/64.96	c 48.9056 158.875 14403 3895563
64.90/64.96	o 339
64.99/65.01	c 48.9536 158.875 14407 3895958
64.99/65.01	o 338
64.99/65.08	c 49.0055 159.004 14470 3896440
64.99/65.08	o 337
65.09/65.13	c 49.0485 159.004 14473 3897076
65.09/65.13	o 336
65.19/65.26	c 49.1505 159.004 14482 3897610
65.19/65.26	o 335
65.30/65.35	c 49.2175 159.004 14489 3898329
65.30/65.35	o 334
65.39/65.42	c 49.2765 159.004 14500 3898973
65.39/65.42	o 333
65.39/65.49	c 49.3315 159.004 14508 3899858
65.39/65.49	o 332
65.50/65.58	c 49.4115 159.004 14520 3900528
65.50/65.58	o 331
65.60/65.69	c 49.4855 159.004 14538 3901128
65.60/65.69	o 330
65.70/65.76	c 49.5485 159.004 14554 3902405
65.70/65.76	o 329
65.79/65.85	c 49.6145 159.004 14569 3903293
65.79/65.85	o 328
65.90/65.91	c 49.6704 159.004 14573 3904079
65.90/65.91	o 327
65.90/65.96	c 49.7134 159.004 14575 3905133
65.90/65.96	o 324
66.00/66.02	c 49.7594 159.004 14576 3905737
66.00/66.02	o 323
66.00/66.07	c 49.8094 159.004 14577 3906359
66.00/66.07	o 322
66.09/66.13	c 49.8564 159.004 14580 3907066
66.09/66.13	o 321
66.19/66.21	c 49.9174 159.004 14587 3908271
66.19/66.21	o 320
66.29/66.32	c 49.9964 159.004 14599 3909225
66.29/66.32	o 319
66.29/66.37	c 50.0424 159.004 14603 3909920
66.29/66.37	o 318
66.40/66.45	c 50.1054 159.004 14635 3910763
66.40/66.45	o 317
66.49/66.51	c 50.1524 159.004 14648 3911640
66.49/66.51	o 315
66.49/66.57	c 50.1984 159.004 14650 3912169
66.49/66.57	o 314
66.60/66.62	c 50.2404 159.004 14650 3913187
66.60/66.62	o 313
66.60/66.67	c 50.2814 159.004 14651 3913849
66.60/66.67	o 312
66.69/66.72	c 50.3283 159.004 14652 3914844
66.69/66.72	o 311
66.69/66.78	c 50.3753 159.004 14655 3915655
66.69/66.78	o 310
66.80/66.84	c 50.4243 159.004 14659 3916890
66.80/66.84	o 309
66.80/66.89	c 50.4733 159.004 14662 3917826
66.80/66.89	o 308
66.89/66.94	c 50.5233 159.004 14666 3918541
66.89/66.94	o 307
66.89/67.00	c 50.5643 159.004 14668 3919259
66.89/67.00	o 306
66.99/67.10	c 50.6503 159.004 14770 3921010
66.99/67.10	o 305
67.10/67.16	c 50.6963 159.004 14776 3922250
67.10/67.16	o 304
67.19/67.21	c 50.7403 159.004 14777 3922758
67.19/67.21	o 303
67.19/67.26	c 50.7813 159.004 14779 3923422
67.19/67.26	o 302
67.30/67.31	c 50.8233 159.004 14780 3924096
67.30/67.31	o 301
67.30/67.37	c 50.8783 159.004 14783 3924936
67.30/67.37	o 300
67.40/67.42	c 50.9263 159.004 14784 3925409
67.40/67.42	o 299
67.40/67.47	c 50.9653 159.004 14784 3926155
67.40/67.47	o 298
67.50/67.54	c 51.0162 159.004 14798 3927183
67.50/67.54	o 297
67.60/67.60	c 51.0732 159.004 14803 3927866
67.60/67.60	o 296
67.60/67.65	c 51.1162 159.004 14805 3928565
67.60/67.65	o 295
67.69/67.72	c 51.1652 159.004 14807 3929257
67.69/67.72	o 294
67.69/67.78	c 51.2192 159.004 14810 3930129
67.69/67.78	o 293
67.80/67.85	c 51.2802 159.004 14816 3930782
67.80/67.85	o 292
67.89/67.91	c 51.3272 159.004 14824 3931469
67.89/67.91	o 291
67.89/67.96	c 51.3692 159.004 14831 3932057
67.89/67.96	o 290
68.00/68.01	c 51.4172 159.004 14831 3932649
68.00/68.01	o 289
68.00/68.06	c 51.4602 159.004 14840 3933463
68.00/68.06	o 288
68.10/68.11	c 51.5062 159.004 14842 3934068
68.10/68.11	o 287
68.10/68.16	c 51.5512 159.004 14843 3934675
68.10/68.16	o 286
68.20/68.21	c 51.5952 159.004 14843 3935480
68.20/68.21	o 285
68.20/68.27	c 51.6431 159.004 14845 3936213
68.20/68.27	o 284
68.29/68.34	c 51.7031 159.004 14867 3937301
68.29/68.34	o 283
68.29/68.39	c 51.7471 159.004 14868 3938023
68.29/68.39	o 282
68.40/68.44	c 51.7891 159.004 14869 3938702
68.40/68.44	o 281
68.40/68.49	c 51.8331 159.004 14869 3939293
68.40/68.49	o 280
68.49/68.54	c 51.8761 159.004 14871 3939951
68.49/68.54	o 279
68.59/68.60	c 51.9241 159.004 14873 3940666
68.59/68.60	o 278
68.59/68.65	c 51.9681 159.004 14874 3941173
68.59/68.65	o 277
68.69/68.70	c 52.0121 159.004 14875 3941638
68.69/68.70	o 276
68.69/68.75	c 52.0571 159.004 14876 3942282
68.69/68.75	o 275
68.79/68.80	c 52.1021 159.004 14879 3942757
68.79/68.80	o 274
68.79/68.86	c 52.1471 159.004 14893 3943382
68.79/68.86	o 273
68.89/68.91	c 52.1891 159.004 14896 3943891
68.89/68.91	o 272
68.89/68.96	c 52.2351 159.004 14896 3944356
68.89/68.96	o 271
69.00/69.01	c 52.2731 159.004 14896 3944885
69.00/69.01	o 270
69.00/69.07	c 52.327 159.004 14899 3945410
69.00/69.07	o 269
69.09/69.13	c 52.375 159.004 14901 3946006
69.09/69.13	o 268
69.09/69.18	c 52.42 159.004 14902 3946730
69.09/69.18	o 267
69.20/69.23	c 52.467 159.004 14902 3947512
69.20/69.23	o 266
69.20/69.30	c 52.523 159.004 14905 3948402
69.20/69.30	o 265
69.30/69.35	c 52.571 159.004 14908 3948970
69.30/69.35	o 264
69.40/69.40	c 52.613 159.004 14909 3949650
69.40/69.40	o 263
69.40/69.45	c 52.656 159.133 14909 3950318
69.40/69.45	o 262
69.49/69.50	c 52.701 159.133 14909 3951169
69.49/69.50	o 261
69.49/69.55	c 52.742 159.133 14909 3951948
69.49/69.55	o 260
69.60/69.60	c 52.787 159.133 14909 3952722
69.60/69.60	o 259
69.60/69.65	c 52.828 159.133 14909 3953426
69.60/69.65	o 258
69.70/69.70	c 52.869 159.133 14909 3954080
69.70/69.70	o 257
69.70/69.75	c 52.915 159.133 14909 3954778
69.70/69.75	o 256
69.80/69.81	c 52.9609 159.133 14910 3955627
69.80/69.81	o 255
69.80/69.86	c 53.0059 159.133 14912 3956321
69.80/69.86	o 254
69.90/69.91	c 53.0519 159.133 14913 3957114
69.90/69.91	o 253
69.90/69.96	c 53.0959 159.133 14914 3957658
69.90/69.96	o 252
69.99/70.01	c 53.1419 159.133 14914 3958511
69.99/70.01	o 251
69.99/70.06	c 53.1849 159.133 14914 3959215
69.99/70.06	o 250
70.09/70.11	c 53.2259 159.133 14915 3959929
70.09/70.11	o 249
70.09/70.17	c 53.2709 159.133 14916 3960501
70.09/70.17	o 248
70.20/70.22	c 53.3119 159.133 14917 3961290
70.20/70.22	o 247
70.20/70.27	c 53.3539 159.133 14924 3961751
70.20/70.27	o 246
70.30/70.32	c 53.3999 159.133 14941 3962760
70.30/70.32	o 245
70.30/70.37	c 53.4419 159.133 14942 3963429
70.30/70.37	o 244
70.40/70.43	c 53.4879 159.133 14945 3964265
70.40/70.43	o 243
70.40/70.48	c 53.5289 159.133 14946 3964905
70.40/70.48	o 242
70.49/70.54	c 53.5809 159.133 14947 3965718
70.49/70.54	o 241
70.49/70.59	c 53.6228 159.133 14953 3966337
70.49/70.59	o 240
70.59/70.64	c 53.6668 159.133 14954 3967015
70.59/70.64	o 239
70.69/70.70	c 53.7208 159.133 14956 3967526
70.69/70.70	o 238
70.69/70.76	c 53.7738 159.133 14959 3968259
70.69/70.76	o 237
70.80/70.82	c 53.8198 159.133 14959 3969080
70.80/70.82	o 236
70.80/70.87	c 53.8618 159.133 14959 3969692
70.80/70.87	o 235
70.89/70.92	c 53.9078 159.133 14964 3970321
70.89/70.92	o 234
70.89/70.98	c 53.9578 159.133 14977 3971238
70.89/70.98	o 233
70.99/71.03	c 54.0048 159.133 14978 3971907
70.99/71.03	o 232
70.99/71.08	c 54.0508 159.133 15002 3972580
70.99/71.08	o 231
71.10/71.13	c 54.0948 159.133 15002 3973513
71.10/71.13	o 230
71.10/71.18	c 54.1368 159.133 15003 3974185
71.10/71.18	o 229
71.19/71.24	c 54.1788 159.133 15004 3974956
71.19/71.24	o 228
71.19/71.29	c 54.2268 159.133 15007 3975905
71.19/71.29	o 227
71.29/71.34	c 54.2737 159.133 15012 3976429
71.29/71.34	o 226
71.29/71.39	c 54.3127 159.133 15012 3976916
71.29/71.39	o 225
71.39/71.45	c 54.3597 159.133 15017 3977645
71.39/71.45	o 224
71.39/71.50	c 54.3997 159.133 15018 3978129
71.39/71.50	o 223
71.50/71.56	c 54.4537 159.133 15033 3978699
71.50/71.56	o 222
71.70/71.75	c 54.6097 159.133 15111 3979424
71.70/71.75	o 221
71.79/71.81	c 54.6577 159.133 15116 3979879
71.79/71.81	o 220
72.00/72.02	c 54.8077 159.133 15160 3980688
72.00/72.02	o 219
72.00/72.08	c 54.8557 159.133 15162 3981267
72.00/72.08	o 218
72.09/72.14	c 54.8997 159.133 15168 3981808
72.09/72.14	o 217
72.19/72.21	c 54.9616 159.133 15198 3982494
72.19/72.21	o 216
72.19/72.26	c 55.0056 159.133 15201 3983085
72.19/72.26	o 215
72.29/72.32	c 55.0506 159.133 15203 3983872
72.29/72.32	o 213
72.29/72.38	c 55.0916 159.133 15212 3984551
72.29/72.38	o 212
72.40/72.43	c 55.1306 159.133 15225 3985225
72.40/72.43	o 211
72.40/72.50	c 55.1856 159.133 15251 3986049
72.40/72.50	o 210
72.50/72.60	c 55.2656 159.133 15260 3986608
72.50/72.60	o 209
72.60/72.65	c 55.3126 159.133 15268 3987241
72.60/72.65	o 208
72.69/72.72	c 55.3676 159.133 15274 3987763
72.69/72.72	o 207
72.80/72.83	c 55.4426 159.133 15322 3988659
72.80/72.83	o 205
72.80/72.89	c 55.4916 159.133 15373 3989167
72.80/72.89	o 204
72.89/72.94	c 55.5386 159.133 15375 3989749
72.89/72.94	o 203
72.99/73.00	c 55.5825 159.133 15377 3990406
72.99/73.00	o 202
72.99/73.06	c 55.6325 159.133 15378 3991211
72.99/73.06	o 201
73.10/73.11	c 55.6755 159.133 15380 3991875
73.10/73.11	o 200
73.10/73.17	c 55.7385 159.133 15402 3992736
73.10/73.17	o 199
73.19/73.24	c 55.7895 160.133 15414 3993246
73.19/73.24	o 198
73.19/73.29	c 55.8355 160.133 15415 3993686
73.19/73.29	o 197
73.30/73.37	c 55.9035 160.262 15468 3994458
73.30/73.37	o 196
73.40/73.43	c 55.9525 160.262 15470 3995124
73.40/73.43	o 195
73.40/73.48	c 55.9995 160.262 15497 3995769
73.40/73.48	o 194
73.49/73.60	c 56.0935 160.262 15544 3996611
73.49/73.60	o 193
73.60/73.65	c 56.1395 160.262 15548 3997239
73.60/73.65	o 192
73.69/73.71	c 56.1905 160.262 15558 3997871
73.69/73.71	o 191
73.69/73.78	c 56.2474 160.262 15564 3998642
73.69/73.78	o 190
74.30/74.39	c 56.6794 160.262 15674 3999733
74.30/74.39	o 189
74.50/74.51	c 56.7724 160.262 15725 4000376
74.50/74.51	o 188
74.89/74.94	c 57.1073 160.262 15948 4002168
74.89/74.94	o 187
74.99/75.06	c 57.1953 160.262 15964 4002841
74.99/75.06	o 186
75.09/75.12	c 57.2483 160.262 7993 4003368
75.09/75.12	o 185
75.09/75.17	c 57.2983 160.262 8032 4003851
75.09/75.17	o 184
75.19/75.24	c 57.3443 160.262 8050 4004408
75.19/75.24	o 183
75.29/75.31	c 57.4043 160.262 8111 4004975
75.29/75.31	o 182
75.29/75.39	c 57.4683 160.262 8122 4005643
75.29/75.39	o 181
75.39/75.48	c 57.5413 160.262 8132 4006346
75.39/75.48	o 180
75.49/75.53	c 57.5912 160.262 8152 4007005
75.49/75.53	o 179
75.49/75.59	c 57.6362 160.262 8155 4007667
75.49/75.59	o 178
75.59/75.65	c 57.6882 160.262 8164 4008399
75.59/75.65	o 177
75.69/75.70	c 57.7312 160.262 8167 4008878
75.69/75.70	o 176
75.69/75.75	c 57.7762 160.262 8169 4009503
75.69/75.75	o 174
75.80/75.82	c 57.8432 160.262 8195 4010023
75.80/75.82	o 173
75.90/75.90	c 57.9102 160.262 8287 4010850
75.90/75.90	o 172
75.90/75.97	c 57.9592 160.262 8288 4011354
75.90/75.97	o 171
76.00/76.02	c 58.0062 160.262 8290 4011983
76.00/76.02	o 170
76.00/76.08	c 58.0562 160.262 8298 4012759
76.00/76.08	o 169
76.10/76.13	c 58.1042 160.262 8302 4013333
76.10/76.13	o 168
76.20/76.26	c 58.1992 160.262 8348 4014322
76.20/76.26	o 167
76.29/76.33	c 58.2461 160.262 8351 4015153
76.29/76.33	o 166
76.29/76.38	c 58.2951 160.262 8353 4015868
76.29/76.38	o 165
76.39/76.47	c 58.3631 160.262 8373 4016479
76.39/76.47	o 164
76.50/76.56	c 58.4471 160.262 8446 4017118
76.50/76.56	o 163
76.59/76.64	c 58.5091 160.262 8454 4017768
76.59/76.64	o 162
76.59/76.69	c 58.5551 160.262 8454 4018212
76.59/76.69	o 161
76.70/76.77	c 58.6321 160.262 8487 4019177
76.70/76.77	o 160
76.80/76.83	c 58.6861 160.262 8517 4019610
76.80/76.83	o 159
76.90/76.91	c 58.7541 160.262 8529 4020268
76.90/76.91	o 158
76.90/76.99	c 58.8301 160.262 8556 4020966
76.90/76.99	o 157
77.20/77.27	c 59.068 160.262 8693 4022275
77.20/77.27	o 156
77.29/77.34	c 59.132 160.262 8732 4022782
77.29/77.34	o 155
77.40/77.42	c 59.189 160.262 8738 4023573
77.40/77.42	o 154
77.40/77.48	c 59.247 160.262 8746 4024328
77.40/77.48	o 153
77.49/77.53	c 59.29 160.262 8746 4024863
77.49/77.53	o 152
77.49/77.59	c 59.34 160.262 8747 4025382
77.49/77.59	o 151
77.59/77.64	c 59.387 160.262 8749 4026123
77.59/77.64	o 150
77.70/77.70	c 59.433 160.262 8751 4026616
77.70/77.70	o 149
77.70/77.75	c 59.477 160.262 8754 4027201
77.70/77.75	o 148
77.80/77.84	c 59.5499 160.262 8769 4027746
77.80/77.84	o 147
77.89/77.93	c 59.6169 160.262 8781 4028498
77.89/77.93	o 146
77.89/77.99	c 59.6699 160.262 8788 4029210
77.89/77.99	o 144
78.00/78.05	c 59.7169 160.262 8805 4029845
78.00/78.05	o 143
78.10/78.12	c 59.7719 160.262 8818 4030602
78.10/78.12	o 142
78.10/78.17	c 59.8129 160.262 8823 4031186
78.10/78.17	o 141
78.20/78.23	c 59.8609 160.262 8828 4031698
78.20/78.23	o 140
78.29/78.30	c 59.9219 160.262 8838 4032856
78.29/78.30	o 138
78.29/78.36	c 59.9749 160.262 8841 4033884
78.29/78.36	o 137
78.39/78.42	c 60.0259 160.262 8843 4034412
78.39/78.42	o 136
78.39/78.49	c 60.0809 160.262 8848 4035062
78.39/78.49	o 135
78.49/78.54	c 60.1279 160.262 8853 4035700
78.49/78.54	o 134
78.60/78.60	c 60.1789 160.262 8855 4036295
78.60/78.60	o 133
78.60/78.66	c 60.2338 160.262 8880 4036908
78.60/78.66	o 132
78.69/78.72	c 60.2808 160.262 8885 4037590
78.69/78.72	o 131
78.79/78.87	c 60.4008 160.262 8990 4038413
78.79/78.87	o 130
78.89/78.96	c 60.4828 160.262 9143 4039026
78.89/78.96	o 129
79.00/79.02	c 60.5378 160.262 9149 4039503
79.00/79.02	o 128
79.29/79.30	c 60.7728 160.262 9275 4040737
79.29/79.30	o 127
79.29/79.38	c 60.8338 160.262 9288 4041230
79.29/79.38	o 126
79.40/79.43	c 60.8717 160.262 9289 4041604
79.40/79.43	o 125
79.40/79.48	c 60.9117 160.262 9291 4041988
79.40/79.48	o 124
79.50/79.56	c 60.9757 160.262 9299 4042589
79.50/79.56	o 123
79.59/79.61	c 61.0247 160.262 9326 4042976
79.59/79.61	o 122
79.69/79.77	c 61.1487 160.262 9435 4043773
79.69/79.77	o 121
79.79/79.83	c 61.1977 160.262 9453 4044371
79.79/79.83	o 120
79.90/79.98	c 61.3307 160.262 9557 4045151
79.90/79.98	o 119
79.99/80.06	c 61.4037 160.262 9589 4045676
79.99/80.06	o 118
80.30/80.34	c 61.6396 160.262 9805 4047199
80.30/80.34	o 117
80.40/80.42	c 61.7056 160.262 9822 4047737
80.40/80.42	o 116
80.40/80.47	c 61.7486 160.262 9823 4048292
80.40/80.47	o 115
80.49/80.53	c 61.7926 160.262 9830 4048883
80.49/80.53	o 114
80.49/80.58	c 61.8406 160.262 9833 4049334
80.49/80.58	o 113
80.59/80.63	c 61.8796 160.262 9835 4049958
80.59/80.63	o 112
80.59/80.70	c 61.9306 160.262 9839 4050494
80.59/80.70	o 111
80.70/80.77	c 61.9886 160.262 9843 4050996
80.70/80.77	o 110
80.80/80.84	c 62.0526 160.262 9849 4051491
80.80/80.84	o 109
80.89/80.90	c 62.1016 160.262 9857 4051904
80.89/80.90	o 108
80.89/80.96	c 62.1486 160.262 9886 4052279
80.89/80.96	o 107
81.00/81.04	c 62.2285 160.262 9942 4052843
81.00/81.04	o 106
81.10/81.11	c 62.2895 160.262 9994 4053357
81.10/81.11	o 105
81.10/81.17	c 62.3395 160.262 9997 4053855
81.10/81.17	o 104
81.20/81.24	c 62.3985 160.262 10005 4054617
81.20/81.24	o 103
81.20/81.29	c 62.4405 160.262 10007 4055096
81.20/81.29	o 102
81.30/81.34	c 62.4835 160.262 10012 4055622
81.30/81.34	o 101
81.30/81.39	c 62.5255 160.262 10015 4056103
81.30/81.39	o 100
81.40/81.44	c 62.5705 160.262 10016 4056596
81.40/81.44	o 99
81.50/81.50	c 62.6205 160.262 10021 4057230
81.50/81.50	o 98
81.50/81.56	c 62.6635 160.262 10023 4057702
81.50/81.56	o 97
81.59/81.61	c 62.7065 160.262 9731 4058151
81.59/81.61	o 96
81.59/81.66	c 62.7505 160.262 9734 4058585
81.59/81.66	o 95
81.70/81.74	c 62.8234 160.262 9790 4059195
81.70/81.74	o 94
81.79/81.81	c 62.8854 160.262 9847 4059734
81.79/81.81	o 93
81.79/81.87	c 62.9364 160.262 9874 4060311
81.79/81.87	o 92
81.89/81.92	c 62.9784 160.262 9881 4060670
81.89/81.92	o 91
81.89/81.98	c 63.0264 160.262 8731 4061298
81.89/81.98	o 90
82.00/82.04	c 63.0724 160.262 8736 4061889
82.00/82.04	o 89
82.10/82.10	c 63.1284 160.262 8747 4062750
82.10/82.10	o 88
82.10/82.17	c 63.1894 160.262 8771 4063380
82.10/82.17	o 87
82.19/82.23	c 63.2504 160.262 8809 4063856
82.19/82.23	o 86
82.30/82.32	c 63.3274 160.262 8372 4064472
82.30/82.32	o 85
82.30/82.38	c 63.3764 160.262 8395 4065118
82.30/82.38	o 84
82.40/82.44	c 63.4224 160.262 8443 4065854
82.40/82.44	o 83
82.40/82.50	c 63.4674 160.262 8445 4066504
82.40/82.50	o 82
82.50/82.56	c 63.5293 160.262 8484 4067174
82.50/82.56	o 81
82.59/82.64	c 63.5973 160.262 8213 4067891
82.59/82.64	o 80
82.59/82.69	c 63.6403 160.262 8214 4068442
82.59/82.69	o 79
82.69/82.74	c 63.6813 160.262 8215 4069013
82.69/82.74	o 78
82.69/82.78	c 63.7173 160.262 8216 4069524
82.69/82.78	o 77
82.79/82.84	c 63.7673 160.262 8219 4070079
82.79/82.84	o 76
82.79/82.89	c 63.8093 160.262 8228 4070643
82.79/82.89	o 75
82.89/82.93	c 63.8503 160.262 7990 4071243
82.89/82.93	o 74
82.89/82.98	c 63.8923 160.262 7992 4071807
82.89/82.98	o 73
82.99/83.03	c 63.9373 160.262 7993 4072464
82.99/83.03	o 72
82.99/83.08	c 63.9773 160.262 7994 4072978
82.99/83.08	o 71
83.10/83.12	c 64.0163 160.262 7995 4073523
83.10/83.12	o 70
83.10/83.17	c 64.0533 160.262 7995 4074009
83.10/83.17	o 69
83.19/83.21	c 64.0883 160.262 7995 4074637
83.19/83.21	o 68
83.19/83.26	c 64.1283 160.262 7747 4075185
83.19/83.26	o 67
83.30/83.30	c 64.1672 160.262 7751 4075737
83.30/83.30	o 66
83.30/83.35	c 64.2102 160.262 7781 4076221
83.30/83.35	o 65
83.30/83.39	c 64.2502 160.262 7782 4076717
83.30/83.39	o 64
83.40/83.43	c 64.2812 160.262 7782 4077222
83.40/83.43	o 63
83.40/83.48	c 64.3252 160.262 7794 4077859
83.40/83.48	o 62
83.60/83.64	c 64.4672 160.262 7807 4078980
83.60/83.64	o 61
83.70/83.76	c 64.5632 160.262 7834 4079641
83.70/83.76	o 60
83.80/83.82	c 64.6122 160.262 7854 4080089
83.80/83.82	o 59
83.80/83.87	c 64.6612 160.262 7863 4080626
83.80/83.87	o 58
83.90/83.93	c 64.7082 160.262 7868 4081257
83.90/83.93	o 57
83.90/83.98	c 64.7482 160.262 7751 4081876
83.90/83.98	o 56
84.00/84.04	c 64.7991 160.262 7760 4082400
84.00/84.04	o 55
84.00/84.09	c 64.8491 160.262 7811 4083088
84.00/84.09	o 54
84.10/84.14	c 64.8871 160.262 7813 4083541
84.10/84.14	o 53
84.10/84.18	c 64.9281 160.262 7817 4084173
84.10/84.18	o 52
84.20/84.25	c 64.9911 160.262 7866 4084849
84.20/84.25	o 51
84.20/84.29	c 65.0361 160.262 7843 4085397
84.20/84.29	o 50
84.29/84.37	c 65.1051 160.262 7859 4085974
84.29/84.37	o 49
84.39/84.43	c 65.1571 160.262 7888 4086682
84.39/84.43	o 48
84.39/84.49	c 65.2111 160.262 7955 4087323
84.39/84.49	o 47
84.50/84.57	c 65.2931 160.262 7968 4087824
84.50/84.57	o 46
84.60/84.62	c 65.3381 160.262 7965 4088426
84.60/84.62	o 45
84.60/84.68	c 65.3911 160.262 7992 4089049
84.60/84.68	o 44
84.80/84.88	c 65.579 160.262 8188 4090518
84.80/84.88	o 43
85.10/85.10	c 65.779 160.262 8321 4091515
85.10/85.10	o 42
85.10/85.16	c 65.828 160.262 8327 4092025
85.10/85.16	o 41
85.20/85.22	c 65.885 160.262 8421 4092792
85.20/85.22	o 40
85.20/85.27	c 65.926 160.262 8440 4093342
85.20/85.27	o 39
85.30/85.31	c 65.97 160.262 8463 4093882
85.30/85.31	o 38
85.30/85.37	c 66.021 160.262 8498 4094427
85.30/85.37	o 37
85.39/85.41	c 66.063 160.262 8515 4094875
85.39/85.41	o 36
85.39/85.48	c 66.1289 160.262 8518 4095388
85.39/85.48	o 35
85.50/85.53	c 66.1719 160.262 8546 4095814
85.50/85.53	o 34
85.50/85.56	c 66.2059 160.262 8549 4096215
85.50/85.56	o 33
85.59/85.60	c 66.2389 160.262 8551 4096631
85.59/85.60	o 32
85.59/85.64	c 66.2709 160.262 8554 4097120
85.59/85.64	o 31
85.59/85.69	c 66.3139 160.262 8573 4097631
85.59/85.69	o 30
85.70/85.74	c 66.3679 160.262 8606 4098267
85.70/85.74	o 29
85.80/85.81	c 66.4299 160.262 8656 4098887
85.80/85.81	o 28
85.80/85.85	c 66.4699 160.262 8709 4099349
85.80/85.85	o 27
85.89/85.92	c 66.5329 160.262 8813 4100320
85.89/85.92	o 26
85.89/85.99	c 66.5929 160.262 8808 4100873
85.89/85.99	o 25
85.99/86.02	c 66.6239 160.262 8809 4101348
85.99/86.02	o 24
85.99/86.06	c 66.6569 160.262 8811 4101844
85.99/86.06	o 23
86.10/86.16	c 66.7509 160.262 9003 4102741
86.10/86.16	o 22
86.19/86.26	c 66.8438 160.262 9116 4103588
86.19/86.26	o 21
86.30/86.30	c 66.8868 160.262 9121 4104202
86.30/86.30	o 20
86.30/86.34	c 66.9228 160.262 9131 4104631
86.30/86.34	o 19
86.30/86.37	c 66.9568 160.262 9137 4105091
86.30/86.37	o 18
86.39/86.41	c 66.9878 160.262 9139 4105449
86.39/86.41	o 17
86.39/86.44	c 67.0168 160.262 9140 4105889
86.39/86.44	o 16
86.39/86.47	c 67.0468 160.262 9143 4106329
86.39/86.47	o 15
86.50/86.56	c 67.1298 160.262 9159 4106785
86.50/86.56	o 14
86.60/86.61	c 67.1738 160.262 9108 4107189
86.60/86.61	o 13
86.60/86.65	c 67.2138 160.262 9143 4107630
86.60/86.65	o 12
86.69/86.71	c 67.2718 160.262 9263 4108351
86.69/86.71	o 11
86.69/86.74	c 67.2998 160.262 9264 4108822
86.69/86.74	o 10
86.69/86.77	c 67.3308 160.262 9272 4109212
86.69/86.77	o 9
86.80/86.81	c 67.3688 160.262 9292 4109681
86.80/86.81	o 8
86.80/86.85	c 67.4078 160.262 9285 4110086
86.80/86.85	o 7
86.80/86.88	c 67.4327 160.262 9285 4110553
86.80/86.88	o 6
86.90/86.91	c 67.4587 160.262 9287 4111011
86.90/86.91	o 5
86.90/86.94	c 67.4837 160.262 9288 4111597
86.90/86.94	o 3
86.90/86.96	c 67.5087 160.262 9288 4111985
86.90/86.96	o 2
87.00/87.00	c 67.5437 160.262 9292 4112564
87.00/87.00	o 1
87.00/87.00	c 67.5477 160.262 9292 4112564
87.00/87.00	s OPTIMUM FOUND
87.00/87.00	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

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-2698969-1278465081/watcher-2698969-1278465081 -o /tmp/evaluation-result-2698969-1278465081/solver-2698969-1278465081 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698969-1278465081.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.95 4/178 13174
/proc/meminfo: memFree=28828448/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=2136 CPUtime=0
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 254 0 0 0 0 0 0 0 25 0 1 0 14722963 2187264 174 4089446400 134512640 136422188 4292262864 18446744073709551615 135717695 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/13174/statm: 534 174 144 467 0 65 0

[startup+0.094625 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 13174
/proc/meminfo: memFree=28828448/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=5156 CPUtime=0.09
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 1011 0 0 0 9 0 0 0 25 0 1 0 14722963 5279744 898 4089446400 134512640 136422188 4292262864 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 1289 902 193 467 0 820 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5156

[startup+0.100612 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 13174
/proc/meminfo: memFree=28828448/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=7008 CPUtime=0.09
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 1454 0 0 0 9 0 0 0 25 0 1 0 14722963 7176192 1341 4089446400 134512640 136422188 4292262864 18446744073709551615 134598373 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 1752 1341 193 467 0 1283 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7008

[startup+0.300586 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 13174
/proc/meminfo: memFree=28828448/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=59480 CPUtime=0.29
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 14978 0 0 0 27 2 0 0 25 0 1 0 14722963 60907520 14387 4089446400 134512640 136422188 4292262864 18446744073709551615 134632651 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 14870 14387 193 467 0 14401 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59480

[startup+0.700513 s]
/proc/loadavg: 2.00 2.00 1.95 4/178 13174
/proc/meminfo: memFree=28828448/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=146300 CPUtime=0.69
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 37954 0 0 0 63 6 0 0 25 0 1 0 14722963 149811200 34910 4089446400 134512640 136422188 4292262864 18446744073709551615 134931278 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 36575 34910 203 467 0 36106 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 146300

[startup+1.50037 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13175
/proc/meminfo: memFree=28681012/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=155820 CPUtime=1.49
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 40221 0 0 0 143 6 0 0 25 0 1 0 14722963 159559680 37177 4089446400 134512640 136422188 4292262864 18446744073709551615 134862222 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 38955 37177 211 467 0 38486 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 155820

[startup+3.10107 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13175
/proc/meminfo: memFree=28679412/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=157260 CPUtime=3.09
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 40521 0 0 0 245 64 0 0 25 0 1 0 14722963 161034240 37477 4089446400 134512640 136422188 4292262864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 39315 37477 214 467 0 38846 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 157260

[startup+6.30049 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13175
/proc/meminfo: memFree=28677924/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=160564 CPUtime=6.3
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 41482 0 0 0 473 157 0 0 25 0 1 0 14722963 164417536 37696 4089446400 134512640 136422188 4292262864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 40141 37696 237 467 0 39672 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 160564

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13175
/proc/meminfo: memFree=28677632/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=160968 CPUtime=12.69
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 41647 0 0 0 943 326 0 0 25 0 1 0 14722963 164831232 37827 4089446400 134512640 136422188 4292262864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 40242 37827 237 467 0 39773 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 160968

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13176
/proc/meminfo: memFree=28677428/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=161364 CPUtime=25.49
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 41827 0 0 0 1895 654 0 0 25 0 1 0 14722963 165236736 37928 4089446400 134512640 136422188 4292262864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 40341 37928 237 467 0 39872 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 161364

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13177
/proc/meminfo: memFree=28676628/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=162156 CPUtime=51.09
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 42211 0 0 0 3794 1315 0 0 25 0 1 0 14722963 166047744 38131 4089446400 134512640 136422188 4292262864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 40539 38131 237 467 0 40070 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 162156

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

[startup+63.901 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13177
/proc/meminfo: memFree=28675996/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=162684 CPUtime=63.89
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 42480 0 0 0 4806 1583 0 0 25 0 1 0 14722963 166588416 38269 4089446400 134512640 136422188 4292262864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 40671 38269 237 467 0 40202 0
Current children cumulated CPU time (s) 63.89
Current children cumulated vsize (KiB) 162684

[startup+76.7006 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13177
/proc/meminfo: memFree=28675104/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=164104 CPUtime=76.7
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 43029 0 0 0 5856 1814 0 0 25 0 1 0 14722963 168042496 38375 4089446400 134512640 136422188 4292262864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 41026 38375 237 467 0 40557 0
Current children cumulated CPU time (s) 76.7
Current children cumulated vsize (KiB) 164104

[startup+83.1004 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13177
/proc/meminfo: memFree=28674980/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=164104 CPUtime=83.1
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 43117 0 0 0 6399 1911 0 0 25 0 1 0 14722963 168042496 38375 4089446400 134512640 136422188 4292262864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 41026 38375 237 467 0 40557 0
Current children cumulated CPU time (s) 83.1
Current children cumulated vsize (KiB) 164104

[startup+84.7061 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13177
/proc/meminfo: memFree=28675104/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=164104 CPUtime=84.7
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 43154 0 0 0 6541 1929 0 0 25 0 1 0 14722963 168042496 38385 4089446400 134512640 136422188 4292262864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 41026 38385 237 467 0 40557 0
Current children cumulated CPU time (s) 84.7
Current children cumulated vsize (KiB) 164104

[startup+86.3009 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13177
/proc/meminfo: memFree=28675104/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=164104 CPUtime=86.3
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 43177 0 0 0 6688 1942 0 0 25 0 1 0 14722963 168042496 38385 4089446400 134512640 136422188 4292262864 18446744073709551615 134868598 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 41026 38385 237 467 0 40557 0
Current children cumulated CPU time (s) 86.3
Current children cumulated vsize (KiB) 164104

[startup+86.7008 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13177
/proc/meminfo: memFree=28675104/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=164104 CPUtime=86.69
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 43186 0 0 0 6725 1944 0 0 25 0 1 0 14722963 168042496 38385 4089446400 134512640 136422188 4292262864 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 41026 38385 237 467 0 40557 0
Current children cumulated CPU time (s) 86.69
Current children cumulated vsize (KiB) 164104

[startup+87.1007 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13177
/proc/meminfo: memFree=28674980/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=155676 CPUtime=87.1
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 43200 0 0 0 6764 1946 0 0 25 0 1 0 14722963 159412224 37119 4089446400 134512640 136422188 4292262864 18446744073709551615 135818409 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 38919 37119 240 467 0 38450 0
Current children cumulated CPU time (s) 87.1
Current children cumulated vsize (KiB) 155676

[startup+87.2007 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13177
/proc/meminfo: memFree=28674980/32951124 swapFree=67111528/67111528
[pid=13174] ppid=13172 vsize=150136 CPUtime=87.2
/proc/13174/stat : 13174 (pbct) R 13172 13174 12321 0 -1 4202496 43200 0 0 0 6774 1946 0 0 25 0 1 0 14722963 153739264 36182 4089446400 134512640 136422188 4292262864 18446744073709551615 135801495 0 0 4096 16387 0 0 0 17 6 0 0 0
/proc/13174/statm: 37534 36182 240 467 0 37065 0
Current children cumulated CPU time (s) 87.2
Current children cumulated vsize (KiB) 150136

Child status: 0
Real time (s): 87.2714
CPU time (s): 87.2737
CPU user time (s): 67.8057
CPU system time (s): 19.468
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 164104

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

runsolver used 0.133979 second user time and 0.337948 second system time

The end

Launcher Data 

Begin job on node110 at 2010-07-07 03:11:21
IDJOB=2698969
IDBENCH=79316
IDSOLVER=1212
FILE ID=node110/2698969-1278465081
PBS_JOBID= 11233772
Free space on /tmp= 73724 MiB

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

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

MD5SUM BENCH= 241801650d5a008aecc3546be621c5b9
RANDOM SEED=192905607

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.801
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.801
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.801
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	: 5347.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28828984 kB
Buffers:        107460 kB
Cached:        3704336 kB
SwapCached:          0 kB
Active:        1863312 kB
Inactive:      2115508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28828984 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2336 kB
Writeback:           0 kB
AnonPages:      166836 kB
Mapped:          15448 kB
Slab:            78884 kB
PageTables:       4860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   311004 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= 73724 MiB
End job on node110 at 2010-07-07 03:12:49