Trace number 2698955

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 85.674 85.6729

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.tag10.ucl--soft-66-100-0.wbo
MD5SUM23f33b7daf9bba45fd16a95912abcbbc
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark10.0925
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables9071
Total number of constraints25914
Number of soft constraints8807
Number of constraints which are clauses25190
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints724
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 449050
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 449049
Biggest number in a constraint 39
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 132
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c PB/CT 0.1.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.09/0.16	c constraints 470/254 clauses 16628/8551 units 5
0.09/0.16	c vars 9071
1.29/1.33	c 1.20582 137.156 33 154532
1.29/1.33	o 9254
1.39/1.46	c 1.2868 138.957 41 219902
1.39/1.46	o 8894
1.79/1.84	c 1.54577 138.957 158 330337
1.79/1.84	o 7044
1.89/1.95	c 1.63675 138.957 213 357901
1.89/1.95	o 6118
1.98/2.01	c 1.67974 138.957 251 377342
1.98/2.01	o 5754
2.09/2.13	c 1.75973 138.957 273 427034
2.09/2.13	o 5359
2.29/2.36	c 1.91471 139.086 355 435038
2.29/2.36	o 5358
2.39/2.42	c 1.9607 139.086 376 457882
2.39/2.42	o 4246
3.49/3.52	c 2.72059 139.215 835 483016
3.49/3.52	o 4244
3.59/3.61	c 2.78758 139.215 846 523248
3.59/3.61	o 3830
3.99/4.02	c 3.04754 139.215 975 548780
3.99/4.02	o 3826
4.29/4.33	c 3.2505 139.215 1051 559044
4.29/4.33	o 3825
4.29/4.37	c 3.2865 139.215 1057 565922
4.29/4.37	o 3823
4.39/4.44	c 3.33749 139.215 1072 571468
4.39/4.45	o 3821
4.79/4.86	c 3.60445 139.344 1180 597885
4.79/4.86	o 3573
4.89/4.91	c 3.63845 139.344 1191 616002
4.89/4.91	o 3529
4.89/4.95	c 3.67244 139.344 1197 626830
4.89/4.95	o 3195
4.99/5.04	c 3.72743 139.344 1220 632833
4.99/5.04	o 3194
4.99/5.09	c 3.77543 139.344 1235 641765
4.99/5.09	o 3192
5.19/5.22	c 3.86641 139.344 1259 649481
5.19/5.22	o 3188
5.19/5.28	c 3.9144 139.344 1276 657019
5.19/5.28	o 3186
5.29/5.34	c 3.9574 139.344 1286 666898
5.29/5.34	o 3175
5.59/5.67	c 4.17436 139.344 1389 674393
5.59/5.67	o 3174
5.69/5.73	c 4.22136 139.344 1403 679226
5.69/5.74	o 3173
5.79/5.86	c 4.31134 139.344 1426 708013
5.79/5.86	o 3164
5.89/5.91	c 4.35534 139.344 1438 727568
5.89/5.91	o 2986
5.89/5.97	c 4.40233 139.344 1447 746200
5.89/5.97	o 2456
6.09/6.16	c 4.52631 139.344 1486 751634
6.09/6.16	o 2455
6.79/6.87	c 5.00524 139.473 1708 764098
6.79/6.87	o 2452
7.19/7.28	c 5.2592 139.473 1812 774358
7.19/7.28	o 2447
7.69/7.72	c 5.55715 139.473 1911 781406
7.69/7.72	o 2446
7.69/7.75	c 5.58615 139.473 1912 784182
7.69/7.75	o 2445
7.89/7.92	c 5.71013 139.473 1943 798726
7.89/7.92	o 2443
7.99/8.03	c 5.78612 139.473 1974 802358
7.99/8.03	o 2441
8.29/8.30	c 5.97609 139.473 2034 805856
8.29/8.30	o 2439
8.29/8.34	c 6.01009 139.473 2047 812859
8.29/8.34	o 2434
8.29/8.38	c 6.04808 139.473 2058 824403
8.29/8.38	o 2358
8.39/8.42	c 6.07708 139.473 2061 829980
8.39/8.42	o 2355
8.70/8.74	c 6.30904 139.602 2169 837897
8.70/8.74	o 2354
8.70/8.78	c 6.34204 139.602 2173 849939
8.70/8.78	o 2053
8.79/8.82	c 6.37303 139.602 2177 854294
8.79/8.82	o 2050
8.79/8.87	c 6.41502 139.602 2183 857128
8.79/8.87	o 2049
8.89/8.91	c 6.45002 139.602 2189 864373
8.89/8.91	o 2042
8.89/8.95	c 6.48401 139.602 2194 875049
8.89/8.95	o 1675
8.99/9.00	c 6.52501 139.602 2198 882880
8.99/9.00	o 1646
9.08/9.13	c 6.62799 139.602 2222 888865
9.08/9.13	o 1639
9.29/9.38	c 6.80197 139.602 2301 895524
9.29/9.38	o 1633
9.49/9.54	c 6.91695 139.602 2331 900794
9.49/9.54	o 1631
9.59/9.60	c 6.96294 139.602 2340 902615
9.59/9.60	o 1628
9.69/9.70	c 7.02893 139.602 2378 904400
9.69/9.70	o 1625
9.79/9.80	c 7.09992 139.602 2414 907149
9.79/9.80	o 1624
9.89/9.93	c 7.19291 139.602 2443 908496
9.89/9.93	o 1623
9.89/9.97	c 7.2269 139.602 2445 913330
9.89/9.97	o 1618
9.99/10.03	c 7.27389 139.602 2453 917301
9.99/10.03	o 1617
9.99/10.07	c 7.30289 139.602 2456 920085
9.99/10.07	o 1613
10.09/10.11	c 7.33188 139.602 2457 924236
10.09/10.11	o 1609
10.09/10.14	c 7.35888 139.602 2461 927085
10.09/10.14	o 1607
10.09/10.18	c 7.38988 139.602 2463 934208
10.09/10.18	o 1564
10.19/10.22	c 7.42487 139.602 2470 941033
10.19/10.22	o 1561
10.19/10.27	c 7.46387 139.602 2475 942724
10.19/10.27	o 1558
10.29/10.31	c 7.49686 139.602 2479 954116
10.29/10.31	o 1542
10.29/10.36	c 7.52686 139.602 2482 956958
10.29/10.36	o 1539
10.39/10.40	c 7.55685 139.602 2484 961723
10.39/10.40	o 1533
10.39/10.44	c 7.59185 139.602 2487 965164
10.39/10.44	o 1532
10.39/10.48	c 7.62184 139.73 2498 968089
10.39/10.48	o 1531
10.49/10.52	c 7.65384 139.73 2501 970958
10.49/10.52	o 1530
10.49/10.57	c 7.69083 139.73 2515 974031
10.49/10.57	o 1527
10.59/10.68	c 7.77182 139.73 2545 975645
10.59/10.68	o 1524
10.69/10.72	c 7.79981 139.73 2546 985613
10.69/10.72	o 994
11.00/11.07	c 8.02078 139.73 2631 988297
11.00/11.07	o 984
11.99/12.01	c 8.62469 139.73 2829 990500
11.99/12.01	o 981
11.99/12.07	c 8.67368 139.73 2834 991540
11.99/12.07	o 980
12.09/12.13	c 8.72067 139.73 2838 997872
12.09/12.13	o 979
12.09/12.16	c 8.75267 139.73 2838 1002622
12.09/12.16	o 974
12.19/12.20	c 8.78067 139.73 2839 1005091
12.19/12.20	o 970
12.19/12.26	c 8.83166 139.73 2846 1007992
12.19/12.26	o 967
12.29/12.37	c 8.91564 139.73 2856 1010086
12.29/12.37	o 966
12.39/12.42	c 8.95264 139.73 2862 1011838
12.39/12.42	o 961
12.69/12.78	c 9.1886 139.73 2933 1013106
12.69/12.78	o 960
12.89/12.91	c 9.27059 139.73 2954 1015153
12.89/12.91	o 959
13.20/13.20	c 9.46556 139.73 3012 1016127
13.20/13.20	o 958
13.29/13.32	c 9.55655 139.73 3047 1017053
13.29/13.32	o 957
13.29/13.39	c 9.60954 139.73 3060 1017784
13.29/13.39	o 956
13.59/13.62	c 9.76052 139.73 3115 1018805
13.59/13.62	o 955
13.99/14.10	c 10.0765 139.859 3223 1020666
13.99/14.10	o 954
14.59/14.61	c 10.3914 139.859 3331 1022428
14.59/14.61	o 953
14.59/14.67	c 10.4374 139.859 3339 1024252
14.59/14.67	o 945
14.89/14.96	c 10.6204 139.859 3396 1025432
14.89/14.96	o 942
14.99/15.06	c 10.7024 139.859 3414 1026865
14.99/15.06	o 940
15.19/15.20	c 10.7884 139.859 3433 1027717
15.19/15.20	o 938
15.19/15.24	c 10.8184 139.859 3436 1029412
15.19/15.24	o 930
15.19/15.28	c 10.8523 139.859 3466 1031664
15.19/15.28	o 929
15.30/15.32	c 10.8953 139.859 3469 1032828
15.30/15.32	o 928
15.59/15.62	c 11.1143 139.859 3569 1034986
15.59/15.62	o 927
15.59/15.66	c 11.1403 139.859 3569 1036149
15.59/15.66	o 926
15.69/15.71	c 11.1803 139.859 3575 1037591
15.69/15.71	o 924
15.69/15.75	c 11.2123 139.859 3576 1038741
15.69/15.75	o 923
15.79/15.89	c 11.3023 139.859 3601 1039861
15.79/15.89	o 922
15.89/15.93	c 11.3333 139.859 3605 1040649
15.89/15.93	o 921
15.99/16.02	c 11.3943 139.859 3619 1041513
15.99/16.02	o 920
15.99/16.06	c 11.4263 139.859 3622 1042508
15.99/16.06	o 919
16.09/16.14	c 11.4763 139.859 3629 1043452
16.09/16.14	o 917
16.09/16.19	c 11.5202 139.859 3633 1044700
16.09/16.19	o 916
16.19/16.23	c 11.5512 139.859 3635 1046371
16.19/16.23	o 914
16.29/16.31	c 11.6132 139.859 3650 1049017
16.29/16.31	o 913
16.29/16.38	c 11.6682 139.859 3655 1050703
16.29/16.38	o 912
16.79/16.83	c 11.9662 139.859 3756 1052142
16.79/16.83	o 911
17.09/17.18	c 12.1761 139.988 3818 1052931
17.09/17.18	o 910
17.39/17.46	c 12.3541 139.988 3859 1053581
17.39/17.46	o 909
17.50/17.57	c 12.4241 139.988 3874 1054366
17.50/17.57	o 906
17.89/17.92	c 12.6801 139.988 3999 1056368
17.89/17.92	o 899
18.19/18.20	c 12.858 139.988 4061 1057232
18.19/18.20	o 898
18.19/18.28	c 12.914 139.988 4079 1057755
18.19/18.28	o 897
18.29/18.34	c 12.964 139.988 4090 1058321
18.29/18.34	o 896
18.79/18.89	c 13.338 139.988 4205 1059847
18.79/18.89	o 895
19.19/19.20	c 13.5419 139.988 4290 1061279
19.19/19.20	o 892
19.19/19.29	c 13.6099 139.988 4303 1062002
19.19/19.29	o 890
19.29/19.32	c 13.6449 139.988 4303 1062520
19.29/19.32	o 889
19.49/19.53	c 13.7789 139.988 4342 1063034
19.49/19.53	o 888
19.49/19.60	c 13.8249 139.988 4357 1063886
19.59/19.60	o 887
19.79/19.84	c 13.9779 139.988 4404 1065061
19.79/19.84	o 886
20.09/20.11	c 14.1508 139.988 4459 1065896
20.09/20.11	o 883
20.29/20.38	c 14.3318 139.988 4513 1066879
20.29/20.38	o 881
20.59/20.63	c 14.5028 139.988 4552 1067828
20.59/20.63	o 877
20.59/20.68	c 14.5428 139.988 4558 1068716
20.59/20.68	o 876
20.89/20.91	c 14.7068 140.117 4638 1069712
20.89/20.91	o 875
21.09/21.12	c 14.8477 140.117 4677 1070714
21.09/21.12	o 874
21.39/21.40	c 15.0367 140.117 4725 1071416
21.39/21.40	o 873
22.00/22.05	c 15.4806 140.117 4885 1073177
22.00/22.05	o 872
22.00/22.09	c 15.5186 140.117 4910 1074092
22.00/22.09	o 871
22.19/22.25	c 15.6196 140.117 4944 1075151
22.19/22.25	o 870
22.69/22.76	c 15.9596 140.117 5046 1076643
22.69/22.76	o 868
22.79/22.81	c 15.9996 140.117 5051 1078182
22.79/22.81	o 866
22.89/22.90	c 16.0726 140.117 5063 1078777
22.89/22.90	o 865
22.89/23.00	c 16.1455 140.117 5074 1079343
22.89/23.00	o 863
22.99/23.05	c 16.1835 140.117 5077 1079847
22.99/23.05	o 862
22.99/23.09	c 16.2195 140.117 5079 1080490
22.99/23.09	o 861
23.09/23.16	c 16.2715 140.117 5093 1081600
23.09/23.16	o 860
23.39/23.48	c 16.4895 140.117 5170 1082321
23.39/23.48	o 859
23.89/23.92	c 16.7884 140.117 5269 1082919
23.89/23.92	o 858
23.89/23.96	c 16.8204 140.117 5278 1083903
23.89/23.96	o 857
23.99/24.02	c 16.8664 140.117 5288 1084976
23.99/24.02	o 854
24.19/24.23	c 17.0194 140.246 5338 1085685
24.19/24.23	o 853
24.29/24.34	c 17.0884 140.246 5356 1086321
24.29/24.34	o 852
24.29/24.39	c 17.1354 140.246 5364 1086923
24.29/24.39	o 851
24.39/24.43	c 17.1644 140.246 5371 1087460
24.39/24.43	o 849
24.39/24.49	c 17.2094 140.246 5378 1088123
24.39/24.49	o 846
24.49/24.54	c 17.2484 140.246 5388 1089372
24.49/24.54	o 844
24.59/24.60	c 17.2904 140.246 5407 1091028
24.59/24.60	o 839
24.59/24.63	c 17.3204 140.246 5407 1092488
24.59/24.63	o 838
24.59/24.68	c 17.3584 140.246 5412 1093502
24.59/24.68	o 837
24.69/24.75	c 17.4064 140.246 5421 1094097
24.69/24.75	o 836
24.79/24.80	c 17.4453 140.246 5425 1096656
24.79/24.80	o 827
24.89/24.90	c 17.5173 140.246 5448 1097320
24.89/24.90	o 826
24.99/25.01	c 17.6063 140.246 5465 1097900
24.99/25.01	o 825
25.30/25.32	c 17.8133 140.246 5523 1098863
25.30/25.32	o 824
25.79/25.84	c 18.1812 140.246 5701 1100241
25.79/25.84	o 822
25.89/25.91	c 18.2322 140.246 5711 1100948
25.89/25.91	o 821
26.39/26.47	c 18.6252 140.246 5826 1102455
26.39/26.47	o 820
26.49/26.59	c 18.7052 140.246 5849 1103102
26.49/26.59	o 819
26.59/26.64	c 18.7462 140.246 5862 1103791
26.59/26.64	o 818
26.69/26.73	c 18.8081 140.246 5874 1104628
26.69/26.73	o 816
26.79/26.84	c 18.8881 140.246 5897 1105257
26.79/26.84	o 815
27.09/27.10	c 19.0731 140.246 5941 1106165
27.09/27.10	o 814
27.19/27.21	c 19.1411 140.246 5957 1106866
27.19/27.21	o 813
27.59/27.64	c 19.417 140.375 6100 1108001
27.59/27.64	o 812
27.69/27.70	c 19.457 140.375 6121 1108468
27.69/27.70	o 811
27.69/27.75	c 19.494 140.375 6137 1109408
27.69/27.75	o 807
28.19/28.23	c 19.806 140.375 6237 1110702
28.19/28.23	o 806
28.19/28.27	c 19.835 140.375 6240 1111378
28.19/28.27	o 804
28.29/28.32	c 19.879 140.375 6247 1112184
28.29/28.32	o 803
28.29/28.36	c 19.913 140.375 6251 1112953
28.29/28.36	o 802
28.29/28.39	c 19.945 140.375 6251 1113723
28.29/28.39	o 799
28.39/28.43	c 19.973 140.375 6251 1114300
28.39/28.43	o 798
28.39/28.46	c 20.004 140.375 6251 1114882
28.39/28.46	o 797
28.49/28.50	c 20.039 140.375 6254 1115626
28.49/28.50	o 794
28.49/28.55	c 20.0759 140.375 6256 1116499
28.49/28.55	o 792
29.19/29.21	c 20.5009 140.375 6397 1118125
29.19/29.21	o 791
29.19/29.26	c 20.5389 140.375 6401 1118814
29.19/29.26	o 789
29.29/29.32	c 20.5929 140.375 6435 1120347
29.29/29.32	o 786
29.29/29.36	c 20.6239 140.375 6436 1121327
29.29/29.36	o 783
29.39/29.43	c 20.6799 140.375 6440 1121926
29.39/29.43	o 782
29.39/29.47	c 20.7099 140.375 6444 1122622
29.39/29.47	o 781
29.49/29.56	c 20.7738 140.375 6453 1123876
29.49/29.56	o 778
29.59/29.66	c 20.8418 140.375 6467 1124779
29.59/29.66	o 777
29.70/29.71	c 20.8898 140.375 6480 1125676
29.70/29.71	o 775
29.70/29.76	c 20.9288 140.375 6495 1126200
29.70/29.76	o 774
30.19/30.26	c 21.2508 140.375 6609 1127562
30.19/30.26	o 773
30.19/30.29	c 21.2828 140.375 6621 1128315
30.19/30.29	o 771
30.29/30.34	c 21.3218 140.375 6623 1129866
30.29/30.34	o 770
30.29/30.38	c 21.3508 140.375 6626 1130757
30.29/30.38	o 767
31.69/31.74	c 22.2116 140.504 6936 1133060
31.69/31.74	o 766
31.90/31.94	c 22.3646 140.504 6979 1134563
31.90/31.94	o 763
31.99/32.03	c 22.4286 140.504 7001 1135368
31.99/32.03	o 762
32.39/32.44	c 22.6975 140.504 7104 1136416
32.39/32.45	o 761
32.49/32.51	c 22.7405 140.504 7109 1137023
32.49/32.51	o 760
32.49/32.56	c 22.7855 140.504 7116 1137552
32.49/32.56	o 759
32.59/32.64	c 22.8455 140.504 7125 1138158
32.59/32.64	o 758
32.69/32.71	c 22.8965 140.504 7138 1138867
32.69/32.71	o 755
32.69/32.76	c 22.9335 140.504 7164 1139586
32.69/32.76	o 754
32.79/32.80	c 22.9665 140.504 7167 1140153
32.79/32.80	o 753
32.89/32.91	c 23.0405 140.504 7191 1141166
32.89/32.91	o 752
32.89/32.96	c 23.0765 140.504 7207 1141691
32.89/32.96	o 751
32.99/33.04	c 23.1265 140.504 7217 1142232
32.99/33.04	o 750
33.09/33.18	c 23.2315 140.504 7244 1143231
33.09/33.18	o 749
33.59/33.65	c 23.5324 140.504 7356 1144943
33.59/33.65	o 746
33.69/33.71	c 23.5784 140.504 7365 1145927
33.69/33.71	o 745
33.69/33.76	c 23.6224 140.504 7378 1146921
33.69/33.76	o 744
33.79/33.81	c 23.6574 140.504 7392 1147966
33.79/33.81	o 740
33.99/34.02	c 23.7984 140.504 7443 1148530
33.99/34.02	o 739
33.99/34.10	c 23.8504 140.504 7456 1149425
33.99/34.10	o 738
34.10/34.14	c 23.8884 140.504 7462 1150502
34.10/34.14	o 737
34.19/34.25	c 23.9644 140.504 7479 1151204
34.19/34.25	o 735
34.59/34.65	c 24.2243 140.504 7566 1152001
34.59/34.65	o 733
34.69/34.79	c 24.3133 140.504 7593 1152622
34.69/34.79	o 732
34.89/34.91	c 24.3933 140.504 7610 1153269
34.89/34.91	o 730
35.20/35.25	c 24.6143 140.633 7670 1153912
35.20/35.25	o 729
35.29/35.32	c 24.6722 140.633 7678 1155012
35.29/35.32	o 725
35.79/35.82	c 25.0012 140.633 7809 1156122
35.79/35.82	o 723
35.90/35.93	c 25.0912 140.633 7884 1156587
35.90/35.93	o 722
36.09/36.15	c 25.2572 140.633 7944 1157126
36.09/36.15	o 721
36.39/36.47	c 25.4561 140.633 8016 1157899
36.39/36.47	o 720
36.49/36.56	c 25.5281 140.633 8044 1158515
36.49/36.56	o 719
36.69/36.74	c 25.6501 140.633 8071 1158927
36.69/36.74	o 718
37.19/37.21	c 25.9721 140.633 8157 1159449
37.19/37.21	o 717
37.19/37.30	c 26.03 140.633 8172 1159962
37.19/37.30	o 716
37.30/37.34	c 26.069 140.633 8177 1160654
37.30/37.34	o 715
37.39/37.44	c 26.144 140.633 8194 1161230
37.39/37.44	o 714
37.49/37.50	c 26.186 140.633 8196 1161993
37.49/37.50	o 713
37.49/37.58	c 26.246 140.633 8205 1162647
37.49/37.58	o 712
37.59/37.66	c 26.301 140.633 8220 1163394
37.59/37.66	o 710
37.69/37.71	c 26.336 140.633 8222 1164002
37.69/37.71	o 709
37.79/37.81	c 26.417 140.633 8233 1164483
37.79/37.81	o 708
37.89/37.98	c 26.543 140.633 8265 1165098
37.89/37.98	o 707
37.99/38.02	c 26.579 140.633 8284 1165721
37.99/38.02	o 706
38.09/38.12	c 26.6429 140.633 8312 1166342
38.09/38.12	o 705
38.59/38.63	c 26.9799 140.762 8415 1167360
38.59/38.63	o 704
38.59/38.68	c 27.0129 140.762 8421 1167955
38.59/38.68	o 703
38.69/38.72	c 27.0459 140.762 8427 1168323
38.69/38.72	o 702
38.79/38.80	c 27.1149 140.762 8446 1169271
38.79/38.80	o 699
39.29/39.31	c 27.4478 140.762 8556 1171499
39.29/39.31	o 693
39.69/39.77	c 27.7218 140.762 8664 1172748
39.69/39.77	o 690
39.79/39.84	c 27.7768 140.762 8670 1173146
39.79/39.84	o 689
39.89/39.90	c 27.8308 140.762 8687 1173936
39.89/39.90	o 687
39.99/40.02	c 27.9128 140.762 8705 1174382
39.99/40.02	o 686
40.09/40.15	c 28.0097 140.762 8737 1174923
40.09/40.15	o 685
40.19/40.21	c 28.0487 140.762 8745 1175347
40.19/40.21	o 684
40.19/40.26	c 28.0887 140.762 8763 1175777
40.19/40.26	o 683
40.29/40.30	c 28.1197 140.762 8779 1176409
40.29/40.30	o 681
40.29/40.33	c 28.1497 140.762 8780 1177016
40.29/40.33	o 680
40.29/40.37	c 28.1777 140.762 8782 1177686
40.29/40.37	o 679
40.39/40.41	c 28.2047 140.762 8784 1178551
40.39/40.41	o 678
40.39/40.49	c 28.2657 140.762 8798 1179184
40.39/40.49	o 677
40.49/40.54	c 28.3087 140.762 8813 1179949
40.49/40.54	o 676
40.60/40.65	c 28.3767 140.762 8827 1180645
40.60/40.65	o 675
40.89/40.96	c 28.5907 140.762 8883 1181790
40.89/40.96	o 674
40.99/41.03	c 28.6476 140.762 8904 1182448
40.99/41.03	o 673
41.09/41.10	c 28.6996 140.762 8911 1183476
41.09/41.10	o 672
41.09/41.14	c 28.7296 140.762 8920 1184158
41.09/41.14	o 669
41.19/41.27	c 28.8226 140.762 8947 1184556
41.19/41.28	o 668
41.29/41.32	c 28.8606 140.762 8951 1185098
41.29/41.32	o 667
41.50/41.54	c 29.0136 140.762 9001 1186118
41.50/41.54	o 666
41.50/41.59	c 29.0516 140.762 9003 1186728
41.50/41.59	o 665
41.59/41.65	c 29.0926 140.762 9015 1187666
41.59/41.65	o 663
41.59/41.69	c 29.1246 140.762 9023 1188384
41.59/41.69	o 662
41.69/41.74	c 29.1706 140.762 9029 1189111
41.69/41.74	o 661
41.80/41.84	c 29.2456 140.762 9050 1189783
41.80/41.84	o 660
41.89/41.90	c 29.2875 140.762 9055 1190450
41.89/41.90	o 659
41.89/41.94	c 29.3205 140.762 9060 1191082
41.89/41.94	o 657
42.00/42.00	c 29.3645 140.891 9066 1191660
42.00/42.00	o 656
42.59/42.62	c 29.7675 140.891 9174 1193025
42.59/42.62	o 655
42.59/42.67	c 29.8005 140.891 9184 1193658
42.59/42.67	o 653
42.69/42.73	c 29.8545 140.891 9199 1194176
42.69/42.73	o 652
42.69/42.77	c 29.8835 140.891 9203 1194757
42.69/42.77	o 651
42.80/42.82	c 29.9185 140.891 9206 1195624
42.80/42.82	o 648
42.80/42.86	c 29.9564 140.891 9210 1196523
42.80/42.86	o 645
42.90/42.92	c 29.9984 140.891 9220 1197348
42.90/42.92	o 644
42.99/43.06	c 30.1024 140.891 9243 1198605
42.99/43.06	o 643
44.29/44.37	c 30.9373 140.891 9556 1200601
44.29/44.37	o 640
44.39/44.43	c 30.9833 140.891 9573 1201182
44.39/44.43	o 639
44.39/44.50	c 31.0363 140.891 9583 1201659
44.39/44.50	o 638
44.49/44.58	c 31.0953 140.891 9597 1202223
44.49/44.58	o 637
44.59/44.62	c 31.1263 140.891 9599 1202556
44.59/44.62	o 636
44.59/44.66	c 31.1613 140.891 9602 1203228
44.59/44.66	o 634
44.69/44.73	c 31.2193 140.891 9608 1203651
44.69/44.73	o 633
44.69/44.77	c 31.2532 140.891 9611 1204055
44.69/44.77	o 632
44.79/44.82	c 31.2942 140.891 9614 1204853
44.79/44.82	o 630
44.79/44.86	c 31.3232 140.891 9616 1205341
44.79/44.86	o 629
44.89/44.90	c 31.3612 140.891 9621 1206182
44.89/44.90	o 628
44.89/44.96	c 31.4032 140.891 9624 1206867
44.89/44.96	o 627
45.09/45.17	c 31.5522 140.891 9671 1207393
45.09/45.17	o 626
45.19/45.21	c 31.5842 140.891 9673 1207908
45.19/45.21	o 625
45.29/45.30	c 31.6482 140.891 9687 1208339
45.29/45.30	o 624
45.79/45.85	c 31.9771 140.891 9791 1210052
45.79/45.85	o 621
45.89/45.98	c 32.0611 141.02 9817 1210882
45.89/45.98	o 620
45.99/46.03	c 32.1051 141.02 9823 1211249
45.99/46.03	o 619
46.09/46.17	c 32.2011 141.02 9847 1211858
46.09/46.17	o 618
46.39/46.41	c 32.3681 141.02 9894 1212761
46.39/46.41	o 617
46.59/46.61	c 32.5171 141.02 10019 1213694
46.59/46.61	o 616
46.69/46.77	c 32.626 141.02 10059 1214159
46.69/46.77	o 615
46.79/46.84	c 32.672 141.02 10078 1215079
46.79/46.84	o 614
47.09/47.12	c 32.883 141.02 10147 1215824
47.09/47.12	o 613
47.30/47.39	c 33.068 141.02 10258 1217083
47.30/47.39	o 612
47.39/47.44	c 33.106 141.02 10259 1217400
47.39/47.44	o 611
47.59/47.69	c 33.2739 141.02 10308 1217925
47.59/47.69	o 610
47.69/47.78	c 33.3419 141.02 10322 1218419
47.69/47.78	o 609
48.19/48.26	c 33.6759 141.02 10444 1219951
48.19/48.26	o 608
48.29/48.31	c 33.7139 141.02 10449 1220434
48.29/48.31	o 607
48.40/48.40	c 33.7879 141.02 10470 1221049
48.40/48.40	o 606
48.89/48.90	c 34.1298 141.02 10600 1222723
48.89/48.90	o 605
48.89/48.96	c 34.1748 141.02 10607 1223680
48.89/48.96	o 603
48.99/49.05	c 34.2268 141.02 10620 1224526
48.99/49.05	o 602
48.99/49.09	c 34.2628 141.02 10626 1225568
48.99/49.09	o 600
49.09/49.17	c 34.3278 141.02 10640 1226139
49.09/49.17	o 599
49.29/49.34	c 34.4458 141.148 10674 1226718
49.29/49.34	o 598
49.39/49.40	c 34.5018 141.148 10694 1227249
49.39/49.40	o 597
49.39/49.44	c 34.5337 141.148 10698 1228332
49.39/49.44	o 594
49.39/49.50	c 34.5777 141.148 10715 1228972
49.39/49.50	o 593
49.49/49.54	c 34.6117 141.148 10717 1229659
49.49/49.54	o 592
49.49/49.58	c 34.6437 141.148 10717 1230229
49.49/49.58	o 591
49.59/49.61	c 34.6727 141.148 10717 1230778
49.59/49.61	o 590
49.59/49.65	c 34.6997 141.148 10719 1231386
49.59/49.65	o 589
49.59/49.68	c 34.7297 141.148 10719 1231842
49.59/49.68	o 588
49.69/49.72	c 34.7617 141.148 10719 1232477
49.69/49.72	o 587
49.69/49.78	c 34.8057 141.148 10722 1233036
49.69/49.78	o 585
49.79/49.81	c 34.8357 141.148 10722 1233365
49.79/49.81	o 584
49.79/49.87	c 34.8767 141.148 10726 1233689
49.79/49.87	o 583
49.89/49.91	c 34.9137 141.148 10729 1234703
49.89/49.91	o 582
49.89/49.96	c 34.9527 141.148 10735 1235314
49.89/49.96	o 581
50.09/50.12	c 35.0547 141.148 10795 1236123
50.09/50.12	o 580
50.29/50.36	c 35.2196 141.148 10842 1236888
50.29/50.36	o 579
50.39/50.47	c 35.2996 141.148 10855 1237308
50.39/50.47	o 578
50.50/50.55	c 35.3606 141.148 10866 1237883
50.50/50.55	o 576
50.60/50.63	c 35.4226 141.148 10879 1238580
50.60/50.63	o 575
50.69/50.73	c 35.4796 141.148 10889 1239033
50.69/50.73	o 574
50.79/50.81	c 35.5396 141.148 10895 1239661
50.79/50.81	o 571
50.89/50.91	c 35.6186 141.148 10909 1240179
50.89/50.91	o 570
50.89/50.99	c 35.6796 141.148 10929 1240830
50.89/50.99	o 569
51.39/51.42	c 35.9715 141.148 11053 1242227
51.39/51.42	o 565
51.39/51.45	c 36.0045 141.148 11063 1243297
51.39/51.45	o 561
51.39/51.49	c 36.0285 141.148 11064 1243806
51.39/51.49	o 560
51.49/51.52	c 36.0625 141.148 11067 1244392
51.49/51.52	o 558
51.49/51.56	c 36.0895 141.148 11068 1244872
51.49/51.56	o 557
51.60/51.60	c 36.1225 141.148 11072 1245426
51.60/51.60	o 556
51.60/51.66	c 36.1665 141.148 11076 1246066
51.60/51.66	o 555
51.99/52.01	c 36.4165 141.148 11160 1246724
51.99/52.01	o 554
51.99/52.08	c 36.4705 141.148 11172 1247431
51.99/52.08	o 553
52.09/52.11	c 36.5005 141.148 11172 1247916
52.09/52.11	o 552
52.09/52.15	c 36.5314 141.148 11172 1248585
52.09/52.15	o 549
52.09/52.18	c 36.5654 141.148 11193 1249036
52.09/52.18	o 548
52.19/52.22	c 36.5964 141.148 11193 1249444
52.19/52.22	o 547
52.19/52.26	c 36.6234 141.148 11193 1249915
52.19/52.26	o 546
52.19/52.29	c 36.6524 141.148 11193 1250570
52.19/52.29	o 543
52.29/52.33	c 36.6804 141.148 11194 1251029
52.29/52.33	o 542
52.29/52.36	c 36.7124 141.148 11195 1251423
52.29/52.36	o 541
52.39/52.40	c 36.7404 141.148 11196 1252016
52.39/52.40	o 538
52.39/52.43	c 36.7664 141.148 11196 1252502
52.39/52.43	o 536
52.39/52.47	c 36.7944 141.148 11197 1252894
52.39/52.47	o 535
52.50/52.50	c 36.8264 141.148 11197 1253387
52.50/52.50	o 534
52.50/52.55	c 36.8624 141.148 11199 1254013
52.50/52.55	o 533
52.99/53.04	c 37.1793 141.277 11314 1255052
52.99/53.04	o 532
53.19/53.27	c 37.3363 141.277 11361 1255581
53.19/53.27	o 531
53.29/53.31	c 37.3723 141.277 11363 1256024
53.29/53.31	o 530
53.29/53.38	c 37.4333 141.277 11419 1256646
53.29/53.38	o 529
53.69/53.77	c 37.7083 141.277 11486 1257634
53.69/53.77	o 528
53.79/53.87	c 37.7833 141.277 11498 1258160
53.79/53.87	o 527
53.89/53.90	c 37.8123 141.277 11498 1258725
53.89/53.90	o 526
53.89/53.94	c 37.8412 141.277 11500 1259400
53.89/53.94	o 524
53.89/53.98	c 37.8742 141.277 11503 1259960
53.89/53.98	o 523
53.99/54.04	c 37.9222 141.277 11510 1260544
53.99/54.04	o 522
53.99/54.09	c 37.9592 141.277 11518 1261224
53.99/54.09	o 521
54.09/54.14	c 37.9942 141.277 11525 1261658
54.09/54.14	o 520
54.19/54.20	c 38.0412 141.277 11534 1262280
54.19/54.20	o 519
54.19/54.25	c 38.0822 141.277 11538 1262767
54.19/54.25	o 517
54.19/54.29	c 38.1172 141.277 11541 1263399
54.19/54.29	o 516
54.29/54.39	c 38.1782 141.277 11552 1264217
54.29/54.39	o 515
54.49/54.53	c 38.2832 141.277 11578 1264656
54.49/54.54	o 514
54.59/54.62	c 38.3652 141.277 11668 1265073
54.59/54.62	o 513
54.59/54.68	c 38.4062 141.277 11685 1265388
54.59/54.68	o 512
54.69/54.73	c 38.4502 141.277 11689 1265771
54.69/54.73	o 511
54.69/54.79	c 38.4981 141.277 11700 1266270
54.69/54.79	o 510
54.79/54.82	c 38.5281 141.277 11702 1266592
54.79/54.82	o 509
54.79/54.87	c 38.5711 141.277 11707 1267416
54.79/54.87	o 508
54.90/54.93	c 38.6151 141.277 11714 1268139
54.90/54.93	o 507
54.90/55.00	c 38.6591 141.277 11726 1268500
54.90/55.00	o 506
55.09/55.13	c 38.7581 141.277 11747 1269187
55.09/55.13	o 504
55.19/55.24	c 38.8351 141.277 11764 1269521
55.19/55.24	o 503
55.29/55.34	c 38.9171 141.277 11845 1269920
55.29/55.34	o 502
55.29/55.38	c 38.9561 141.277 11862 1270242
55.29/55.38	o 501
55.39/55.45	c 39.0081 141.277 11868 1270735
55.39/55.45	o 500
55.50/55.53	c 39.0681 141.277 11877 1271062
55.50/55.53	o 499
55.50/55.57	c 39.1041 141.277 11879 1271449
55.50/55.57	o 498
55.59/55.62	c 39.1371 141.277 11880 1272138
55.59/55.62	o 497
55.59/55.66	c 39.175 141.277 11882 1272572
55.59/55.66	o 496
55.69/55.71	c 39.213 141.277 11886 1273282
55.69/55.71	o 495
55.69/55.75	c 39.248 141.277 11889 1273879
55.69/55.75	o 494
55.89/56.00	c 39.409 141.277 11929 1274498
55.89/56.00	o 493
56.10/56.17	c 39.533 141.277 11969 1275005
56.10/56.17	o 492
56.19/56.26	c 39.6 141.277 11985 1275499
56.19/56.26	o 490
56.39/56.42	c 39.717 141.406 12017 1276097
56.39/56.42	o 489
56.59/56.68	c 39.8879 141.406 12079 1276786
56.59/56.68	o 488
56.69/56.73	c 39.9299 141.406 12088 1277341
56.69/56.73	o 487
56.69/56.78	c 39.9669 141.406 12104 1277735
56.69/56.78	o 486
56.79/56.89	c 40.0459 141.406 12125 1278599
56.79/56.89	o 485
56.89/56.93	c 40.0769 141.406 12127 1278917
56.89/56.93	o 484
56.89/56.98	c 40.1159 141.406 12129 1279461
56.89/56.98	o 483
56.99/57.03	c 40.1539 141.406 12145 1279778
56.99/57.03	o 482
56.99/57.07	c 40.1929 141.406 12161 1280326
56.99/57.07	o 481
57.09/57.11	c 40.2259 141.406 12163 1280773
57.09/57.11	o 480
57.09/57.14	c 40.2569 141.406 12163 1281314
57.09/57.14	o 479
57.09/57.18	c 40.2889 141.406 12163 1281713
57.09/57.18	o 478
57.19/57.21	c 40.3219 141.406 12163 1282204
57.19/57.21	o 477
57.19/57.26	c 40.3569 141.406 12166 1282882
57.19/57.26	o 474
57.29/57.30	c 40.3929 141.406 12168 1283772
57.29/57.30	o 473
57.29/57.35	c 40.4309 141.406 12172 1284081
57.29/57.35	o 472
57.39/57.43	c 40.4888 141.406 12181 1284452
57.39/57.43	o 471
57.49/57.51	c 40.5448 141.406 12193 1285152
57.49/57.51	o 470
57.49/57.55	c 40.5788 141.406 12194 1285630
57.49/57.55	o 469
57.59/57.65	c 40.6508 141.406 12203 1286271
57.59/57.65	o 467
57.69/57.70	c 40.6878 141.406 12207 1286718
57.69/57.70	o 466
57.79/57.83	c 40.7948 141.406 12292 1287265
57.79/57.83	o 465
57.79/57.88	c 40.8328 141.406 12307 1287686
57.79/57.88	o 464
58.09/58.13	c 41.0138 141.406 12346 1288173
58.09/58.13	o 463
58.20/58.20	c 41.0738 141.406 12360 1288518
58.20/58.20	o 462
58.20/58.25	c 41.1127 141.406 12366 1288877
58.20/58.25	o 460
58.30/58.34	c 41.1817 141.406 12381 1289295
58.30/58.34	o 459
58.30/58.38	c 41.2197 141.406 12387 1289619
58.30/58.38	o 458
58.39/58.44	c 41.2617 141.406 12394 1290005
58.39/58.44	o 457
58.49/58.54	c 41.3337 141.406 12417 1290598
58.49/58.54	o 456
58.59/58.61	c 41.3917 141.406 12430 1290955
58.59/58.61	o 455
58.69/58.70	c 41.4527 141.406 12442 1291479
58.69/58.71	o 454
58.69/58.77	c 41.5017 141.406 12450 1292091
58.69/58.77	o 453
58.80/58.82	c 41.5397 141.406 12453 1292887
58.80/58.82	o 452
58.80/58.89	c 41.5937 141.406 12462 1293241
58.80/58.89	o 451
58.89/58.98	c 41.6617 141.406 12484 1293991
58.89/58.98	o 449
58.99/59.03	c 41.7047 141.406 12488 1294779
58.99/59.03	o 447
58.99/59.06	c 41.7347 141.406 12490 1295510
58.99/59.06	o 445
59.09/59.10	c 41.7657 141.406 12491 1296131
59.09/59.10	o 444
59.09/59.16	c 41.8076 141.406 12495 1296697
59.09/59.16	o 443
59.19/59.22	c 41.8536 141.406 12504 1297614
59.19/59.22	o 440
59.30/59.33	c 41.9266 141.406 12514 1298013
59.30/59.33	o 439
59.30/59.38	c 41.9686 141.535 12574 1298489
59.30/59.38	o 438
59.79/59.83	c 42.2766 141.535 12751 1299679
59.79/59.83	o 437
60.30/60.37	c 42.6575 141.535 12882 1300713
60.30/60.37	o 436
60.39/60.41	c 42.6855 141.535 12893 1301242
60.39/60.41	o 434
60.89/60.96	c 43.0465 141.535 13007 1302141
60.89/60.96	o 432
60.99/61.04	c 43.1144 141.535 13030 1302753
60.99/61.04	o 429
61.19/61.24	c 43.2534 141.535 13076 1303234
61.19/61.24	o 428
61.29/61.34	c 43.3294 141.535 13098 1303730
61.29/61.34	o 427
61.39/61.42	c 43.3894 141.535 13113 1304205
61.39/61.42	o 426
61.59/61.65	c 43.5684 141.535 13155 1304874
61.59/61.65	o 425
62.10/62.19	c 43.9283 141.535 13265 1305974
62.10/62.19	o 424
62.19/62.26	c 43.9723 141.535 13279 1306529
62.19/62.26	o 423
62.60/62.68	c 44.2503 141.535 13373 1307158
62.60/62.68	o 422
62.89/62.95	c 44.4172 141.535 13430 1307641
62.89/62.95	o 421
63.00/63.01	c 44.4632 141.535 13438 1307978
63.00/63.01	o 420
63.00/63.05	c 44.4962 141.535 13439 1308375
63.00/63.05	o 419
63.00/63.08	c 44.5302 141.535 13439 1308968
63.00/63.08	o 417
63.09/63.12	c 44.5592 141.535 13439 1309468
63.09/63.12	o 416
63.09/63.16	c 44.5912 141.535 13443 1310054
63.09/63.16	o 415
63.19/63.24	c 44.6542 141.535 13454 1310516
63.19/63.24	o 414
63.29/63.37	c 44.7372 141.664 13479 1310865
63.29/63.37	o 413
63.39/63.43	c 44.7852 141.664 13484 1311310
63.39/63.43	o 412
63.39/63.48	c 44.8212 141.664 13492 1311882
63.39/63.48	o 411
63.69/63.74	c 44.9922 141.664 13542 1312427
63.69/63.74	o 410
63.89/63.91	c 45.1191 141.664 13595 1313049
63.89/63.91	o 409
64.09/64.15	c 45.2951 141.664 13701 1313869
64.09/64.15	o 408
64.19/64.23	c 45.3601 141.664 13714 1314429
64.19/64.23	o 407
64.29/64.31	c 45.4201 141.664 13723 1314765
64.29/64.31	o 406
64.29/64.36	c 45.4551 141.664 13729 1315234
64.29/64.36	o 405
64.39/64.40	c 45.4891 141.664 13733 1315578
64.39/64.40	o 404
64.39/64.44	c 45.5291 141.664 13745 1316048
64.39/64.44	o 403
64.39/64.48	c 45.5611 141.664 13746 1316307
64.39/64.48	o 402
64.49/64.53	c 45.5971 141.664 13747 1316641
64.49/64.53	o 401
64.49/64.56	c 45.6231 141.664 13747 1316906
64.49/64.56	o 400
64.59/64.61	c 45.6641 141.664 13751 1317238
64.59/64.61	o 399
64.59/64.67	c 45.7071 141.664 13755 1317671
64.59/64.67	o 398
64.69/64.73	c 45.749 141.664 13759 1318348
64.69/64.73	o 397
64.69/64.76	c 45.778 141.664 13759 1318697
64.69/64.76	o 395
64.69/64.80	c 45.805 141.664 13760 1319129
64.69/64.80	o 393
64.79/64.84	c 45.838 141.664 13761 1319569
64.79/64.84	o 392
64.79/64.87	c 45.87 141.664 13762 1320022
64.79/64.87	o 389
64.90/64.91	c 45.901 141.664 13763 1320580
64.90/64.91	o 388
64.90/64.94	c 45.926 141.664 13765 1321212
64.90/64.94	o 385
64.99/65.01	c 45.972 141.664 13771 1321520
64.99/65.01	o 384
64.99/65.09	c 46.039 141.664 13785 1321857
64.99/65.09	o 383
65.09/65.13	c 46.069 141.664 13787 1322226
65.09/65.13	o 382
65.39/65.48	c 46.308 141.664 13889 1323098
65.39/65.48	o 381
65.60/65.63	c 46.4279 141.664 14005 1324156
65.60/65.63	o 380
66.09/66.12	c 46.7439 141.664 14116 1325464
66.09/66.12	o 379
66.09/66.18	c 46.7939 141.664 14120 1325858
66.09/66.18	o 378
66.49/66.56	c 47.0428 141.664 14172 1326366
66.49/66.56	o 377
67.00/67.00	c 47.3148 141.793 14272 1326993
67.00/67.00	o 376
67.00/67.04	c 47.3418 141.793 14272 1327313
67.00/67.04	o 375
67.00/67.07	c 47.3728 141.793 14272 1327613
67.00/67.07	o 374
67.09/67.10	c 47.4018 141.793 14272 1327879
67.09/67.10	o 373
67.09/67.15	c 47.4378 141.793 14274 1328207
67.09/67.15	o 372
67.09/67.18	c 47.4668 141.793 14275 1328576
67.09/67.18	o 371
67.19/67.22	c 47.4928 141.793 14275 1328950
67.19/67.22	o 370
67.19/67.25	c 47.5188 141.793 14275 1329329
67.19/67.25	o 369
67.19/67.28	c 47.5498 141.793 14276 1329687
67.19/67.28	o 368
67.29/67.33	c 47.5898 141.793 14277 1330112
67.29/67.33	o 367
67.29/67.36	c 47.6208 141.793 14278 1330521
67.29/67.36	o 366
67.39/67.42	c 47.6718 141.793 14293 1331226
67.39/67.42	o 365
67.39/67.46	c 47.7007 141.793 14296 1331645
67.39/67.46	o 364
67.49/67.52	c 47.7457 141.793 14304 1332037
67.49/67.52	o 363
67.49/67.56	c 47.7787 141.793 14307 1332386
67.49/67.56	o 362
67.59/67.60	c 47.8147 141.793 14309 1333037
67.59/67.60	o 359
67.59/67.65	c 47.8497 141.793 14313 1333592
67.59/67.65	o 358
67.69/67.70	c 47.8977 141.793 14319 1333913
67.69/67.70	o 357
67.69/67.75	c 47.9387 141.793 14326 1334477
67.69/67.75	o 356
67.89/67.92	c 48.0547 141.793 14349 1335053
67.89/67.92	o 355
68.19/68.29	c 48.2987 141.793 14426 1335748
68.19/68.29	o 354
68.39/68.48	c 48.4296 141.793 14458 1336147
68.39/68.48	o 353
68.49/68.59	c 48.5106 141.793 14474 1336545
68.49/68.59	o 352
68.59/68.63	c 48.5406 141.793 14479 1336835
68.59/68.63	o 351
68.59/68.67	c 48.5746 141.793 14486 1337288
68.59/68.67	o 350
68.69/68.73	c 48.6206 141.793 14498 1337637
68.69/68.73	o 349
68.99/69.05	c 48.8256 141.793 14559 1338206
68.99/69.05	o 347
69.09/69.10	c 48.8686 141.793 14565 1338749
69.09/69.10	o 344
69.09/69.17	c 48.9176 141.793 14573 1339261
69.09/69.17	o 343
69.19/69.26	c 48.9836 141.793 14586 1339628
69.19/69.26	o 342
69.39/69.44	c 49.0985 141.793 14622 1340095
69.39/69.44	o 341
69.49/69.51	c 49.1495 141.793 14646 1340620
69.49/69.51	o 340
69.49/69.55	c 49.1805 141.793 14655 1341034
69.49/69.55	o 339
69.59/69.60	c 49.2185 141.793 14666 1341420
69.59/69.60	o 338
69.59/69.64	c 49.2475 141.793 14676 1341810
69.59/69.64	o 337
69.59/69.69	c 49.2875 141.793 14683 1342299
69.59/69.69	o 336
69.79/69.88	c 49.4165 141.793 14743 1342769
69.79/69.88	o 335
69.89/69.93	c 49.4565 141.793 14747 1343138
69.89/69.93	o 333
69.99/70.03	c 49.5245 141.793 14772 1343640
69.99/70.03	o 332
70.09/70.10	c 49.5825 141.793 14784 1344014
70.09/70.10	o 331
70.30/70.34	c 49.7434 141.793 14843 1344808
70.30/70.34	o 330
70.30/70.39	c 49.7794 141.793 7437 1345315
70.30/70.39	o 327
70.39/70.44	c 49.8214 141.793 7445 1345697
70.39/70.44	o 326
70.39/70.48	c 49.8534 141.793 7448 1346156
70.39/70.48	o 323
70.59/70.66	c 49.9794 141.793 7470 1346579
70.59/70.66	o 322
70.69/70.70	c 50.0184 141.793 7475 1346847
70.69/70.70	o 321
70.69/70.77	c 50.0754 141.793 7485 1347225
70.69/70.77	o 320
70.79/70.87	c 50.1474 141.793 7497 1347618
70.79/70.87	o 319
70.99/71.00	c 50.2524 141.793 7618 1348229
70.99/71.00	o 317
70.99/71.04	c 50.2874 141.793 7622 1348584
70.99/71.04	o 316
71.09/71.11	c 50.3363 141.793 7630 1348879
71.09/71.11	o 315
71.09/71.17	c 50.3833 141.793 7643 1349292
71.09/71.17	o 314
71.29/71.31	c 50.4833 141.793 7667 1350104
71.29/71.31	o 313
71.29/71.35	c 50.5123 141.793 7669 1350423
71.29/71.35	o 312
71.40/71.41	c 50.5623 141.793 7671 1350707
71.40/71.41	o 311
71.40/71.48	c 50.6103 141.793 7677 1351231
71.40/71.48	o 310
71.49/71.54	c 50.6573 141.793 7685 1351679
71.49/71.54	o 309
71.49/71.59	c 50.6983 141.793 7692 1351953
71.49/71.59	o 308
71.59/71.68	c 50.7683 141.793 7722 1352431
71.59/71.68	o 307
71.70/71.75	c 50.8273 141.793 7730 1352677
71.70/71.75	o 306
71.70/71.79	c 50.8533 141.793 7734 1352967
71.70/71.79	o 305
71.79/71.83	c 50.8813 141.793 7735 1353372
71.79/71.83	o 303
71.79/71.86	c 50.9123 141.793 7735 1353689
71.79/71.86	o 302
71.89/71.91	c 50.9443 141.793 7740 1353973
71.89/71.91	o 301
71.89/71.96	c 50.9892 141.793 7749 1354353
71.89/71.96	o 300
71.99/72.00	c 51.0282 141.793 7752 1354707
71.99/72.00	o 299
71.99/72.04	c 51.0582 141.793 7755 1355011
71.99/72.04	o 298
71.99/72.08	c 51.0852 141.793 7757 1355307
71.99/72.08	o 297
72.09/72.11	c 51.1132 141.793 7757 1355548
72.09/72.11	o 296
72.09/72.15	c 51.1442 141.793 7759 1355915
72.09/72.15	o 295
72.19/72.21	c 51.1832 141.793 7764 1356375
72.19/72.21	o 294
72.19/72.25	c 51.2222 141.793 7766 1356744
72.19/72.25	o 293
72.29/72.31	c 51.2762 141.793 7777 1357135
72.29/72.31	o 292
72.29/72.39	c 51.3372 141.793 7786 1357821
72.29/72.39	o 291
72.59/72.64	c 51.5112 141.793 7832 1358357
72.59/72.64	o 290
72.69/72.79	c 51.6132 141.793 7856 1358797
72.69/72.79	o 289
72.79/72.84	c 51.6491 141.793 7859 1359111
72.79/72.84	o 288
72.79/72.89	c 51.6891 141.793 7885 1359401
72.79/72.89	o 287
72.89/72.92	c 51.7221 141.793 7885 1359654
72.89/72.92	o 286
72.89/72.96	c 51.7501 141.793 7885 1359913
72.89/72.96	o 285
72.89/73.00	c 51.7791 141.793 7885 1360171
72.89/73.00	o 284
72.99/73.03	c 51.8081 141.793 7885 1360433
72.99/73.03	o 283
72.99/73.07	c 51.8371 141.793 7886 1360676
72.99/73.07	o 282
73.09/73.11	c 51.8751 141.793 7887 1360965
73.09/73.11	o 281
73.09/73.17	c 51.9221 141.793 7891 1361400
73.09/73.17	o 280
73.19/73.24	c 51.9681 141.793 7904 1361877
73.19/73.24	o 279
73.29/73.31	c 52.0241 141.793 7920 1362315
73.29/73.31	o 278
73.79/73.80	c 52.366 141.793 8041 1363093
73.79/73.80	o 277
73.79/73.83	c 52.397 141.793 8053 1363442
73.79/73.83	o 275
73.79/73.87	c 52.423 141.793 8054 1363784
73.79/73.87	o 274
73.90/73.91	c 52.458 141.793 8057 1364193
73.90/73.91	o 272
73.90/73.99	c 52.51 141.793 8064 1364607
73.90/73.99	o 271
73.99/74.04	c 52.547 141.793 8066 1365037
73.99/74.04	o 269
73.99/74.08	c 52.58 141.793 8069 1365521
73.99/74.08	o 268
74.09/74.12	c 52.612 141.793 8071 1365991
74.09/74.12	o 267
74.09/74.16	c 52.647 141.793 8073 1366603
74.09/74.16	o 265
74.29/74.31	c 52.759 141.793 8093 1367065
74.29/74.31	o 264
74.29/74.36	c 52.797 141.793 8096 1367317
74.29/74.36	o 263
74.39/74.40	c 52.827 141.793 8099 1367578
74.39/74.40	o 262
74.39/74.44	c 52.856 141.793 8101 1367829
74.39/74.44	o 261
74.39/74.49	c 52.898 141.793 8108 1368431
74.39/74.49	o 259
74.49/74.54	c 52.933 141.793 8118 1368759
74.49/74.54	o 258
74.49/74.58	c 52.9709 141.793 8125 1369092
74.49/74.58	o 256
74.59/74.61	c 52.9999 141.793 8128 1369422
74.59/74.61	o 255
74.59/74.68	c 53.0559 141.793 8146 1369791
74.59/74.68	o 254
74.69/74.73	c 53.0909 141.793 8153 1370295
74.69/74.73	o 252
74.69/74.78	c 53.1349 141.793 8194 1370718
74.69/74.78	o 251
74.79/74.85	c 53.1879 141.793 8199 1370962
74.79/74.85	o 250
74.89/74.92	c 53.2379 141.793 8208 1371388
74.89/74.92	o 249
74.89/74.98	c 53.2799 141.793 8213 1371697
74.89/74.98	o 248
74.99/75.02	c 53.3189 141.793 8225 1372163
74.99/75.02	o 247
75.19/75.28	c 53.5079 141.793 8259 1372501
75.19/75.28	o 246
75.29/75.33	c 53.5449 141.793 8269 1372933
75.29/75.33	o 245
75.29/75.37	c 53.5779 141.793 8281 1373253
75.29/75.37	o 244
75.39/75.40	c 53.6099 141.793 8284 1373574
75.39/75.40	o 243
75.39/75.46	c 53.6548 141.793 8300 1374095
75.39/75.46	o 242
75.49/75.50	c 53.6868 141.793 8301 1374408
75.49/75.50	o 241
75.49/75.53	c 53.7158 141.793 8301 1374615
75.49/75.53	o 240
75.49/75.57	c 53.7458 141.793 8301 1374958
75.49/75.57	o 239
75.59/75.60	c 53.7778 141.793 8301 1375163
75.59/75.60	o 238
75.59/75.64	c 53.8048 141.793 8301 1375590
75.59/75.64	o 236
75.59/75.67	c 53.8328 141.793 8302 1375900
75.59/75.67	o 235
75.69/75.74	c 53.8798 141.793 8311 1376327
75.69/75.74	o 234
75.69/75.80	c 53.9278 141.793 8327 1376752
75.69/75.80	o 233
75.90/75.93	c 54.0218 141.793 8371 1377181
75.90/75.93	o 232
75.90/75.99	c 54.0698 141.793 8379 1377654
75.90/75.99	o 231
75.99/76.04	c 54.1148 141.793 8385 1378100
75.99/76.04	o 230
76.09/76.12	c 54.1738 141.793 8408 1378631
76.09/76.12	o 229
76.19/76.22	c 54.2538 141.793 8464 1379066
76.19/76.22	o 228
76.19/76.28	c 54.3027 141.793 8548 1379386
76.19/76.28	o 227
76.29/76.36	c 54.3707 141.793 8586 1379758
76.29/76.36	o 226
76.39/76.44	c 54.4317 141.793 8593 1380278
76.39/76.44	o 225
76.49/76.51	c 54.4807 141.793 8602 1380635
76.49/76.51	o 224
76.49/76.54	c 54.5107 141.793 8602 1380923
76.49/76.54	o 223
76.49/76.58	c 54.5417 141.793 8602 1381209
76.49/76.58	o 222
76.59/76.61	c 54.5717 141.793 8602 1381492
76.59/76.61	o 221
76.59/76.65	c 54.6027 141.793 8603 1382005
76.59/76.65	o 220
76.59/76.69	c 54.6337 141.793 8606 1382303
76.59/76.69	o 219
76.69/76.72	c 54.6647 141.793 8608 1382652
76.69/76.72	o 218
76.69/76.76	c 54.6947 141.793 8608 1382977
76.69/76.76	o 217
76.79/76.80	c 54.7257 141.793 8611 1383385
76.79/76.80	o 215
76.79/76.84	c 54.7557 141.793 8615 1383573
76.79/76.84	o 214
76.79/76.89	c 54.7967 141.793 8623 1384025
76.79/76.89	o 213
76.90/76.94	c 54.8317 141.793 8628 1384263
76.90/76.94	o 212
76.90/76.99	c 54.8727 141.793 8633 1384518
76.90/76.99	o 211
77.00/77.03	c 54.9037 141.793 8635 1384809
77.00/77.03	o 210
77.00/77.08	c 54.9446 141.793 8679 1385332
77.00/77.08	o 209
77.29/77.33	c 55.1196 141.793 8728 1386082
77.29/77.33	o 208
77.29/77.37	c 55.1586 141.793 8735 1386437
77.29/77.37	o 207
77.39/77.41	c 55.1926 141.793 8744 1386810
77.39/77.41	o 206
77.49/77.50	c 55.2596 141.793 8767 1387394
77.49/77.50	o 205
77.49/77.54	c 55.2936 141.793 8779 1387761
77.49/77.54	o 204
77.59/77.62	c 55.3556 141.793 8792 1388141
77.59/77.62	o 203
77.59/77.67	c 55.4026 141.793 8846 1388477
77.59/77.67	o 202
77.69/77.72	c 55.4406 141.793 8859 1388784
77.69/77.72	o 201
77.69/77.77	c 55.4816 141.793 8872 1389061
77.69/77.77	o 200
77.79/77.81	c 55.5126 141.793 8888 1389272
77.79/77.81	o 199
77.79/77.85	c 55.5426 141.793 8888 1389490
77.79/77.85	o 198
77.79/77.88	c 55.5716 141.793 8888 1389674
77.79/77.88	o 197
77.89/77.92	c 55.6005 141.793 8891 1389889
77.89/77.92	o 196
77.89/77.96	c 55.6345 141.793 8893 1390199
77.89/77.96	o 195
77.89/78.00	c 55.6655 141.793 8903 1390435
77.89/78.00	o 194
77.99/78.03	c 55.6925 141.793 8907 1390702
77.99/78.03	o 193
77.99/78.07	c 55.7265 141.793 8908 1390952
77.99/78.07	o 192
78.10/78.11	c 55.7615 141.793 8915 1391355
78.10/78.11	o 191
78.10/78.16	c 55.7985 141.793 8936 1391690
78.10/78.16	o 190
78.19/78.24	c 55.8565 141.793 8969 1392089
78.19/78.24	o 189
78.19/78.28	c 55.8875 141.793 8971 1392338
78.19/78.28	o 188
78.29/78.32	c 55.9225 141.793 8974 1392654
78.29/78.32	o 187
78.29/78.36	c 55.9585 141.793 8979 1393014
78.29/78.36	o 185
78.39/78.41	c 56.0025 141.793 8986 1393441
78.39/78.41	o 184
78.39/78.46	c 56.0405 141.793 8993 1393797
78.39/78.46	o 183
78.49/78.52	c 56.0805 141.793 9004 1394308
78.49/78.52	o 182
78.49/78.58	c 56.1375 141.793 9018 1394625
78.49/78.58	o 181
78.59/78.62	c 56.1685 141.793 9023 1394871
78.59/78.62	o 180
78.59/78.66	c 56.2025 141.793 9036 1395102
78.59/78.66	o 179
78.69/78.71	c 56.2444 141.793 9044 1395379
78.69/78.71	o 178
78.69/78.75	c 56.2804 141.793 9049 1395666
78.69/78.75	o 177
78.69/78.79	c 56.3114 141.793 9050 1395873
78.69/78.79	o 176
78.79/78.84	c 56.3474 141.793 9056 1396112
78.79/78.84	o 175
78.79/78.87	c 56.3754 141.793 9057 1396411
78.79/78.87	o 173
78.89/78.94	c 56.4264 141.793 9074 1396778
78.89/78.94	o 172
78.99/79.00	c 56.4784 141.793 9105 1397123
78.99/79.00	o 171
78.99/79.04	c 56.5114 141.793 9116 1397448
78.99/79.04	o 170
78.99/79.07	c 56.5394 141.793 9116 1397719
78.99/79.07	o 169
79.10/79.11	c 56.5704 141.793 9116 1398011
79.10/79.11	o 167
79.10/79.15	c 56.5974 141.793 9116 1398246
79.10/79.15	o 166
79.10/79.18	c 56.6284 141.793 9116 1398514
79.10/79.18	o 165
79.19/79.22	c 56.6544 141.793 9119 1398912
79.19/79.22	o 162
79.19/79.25	c 56.6864 141.793 9121 1399166
79.19/79.25	o 161
79.19/79.30	c 56.7204 141.793 9123 1399513
79.19/79.30	o 160
79.30/79.36	c 56.7744 141.793 9129 1399826
79.30/79.36	o 159
79.39/79.48	c 56.8724 141.793 9183 1400309
79.39/79.48	o 158
79.49/79.53	c 56.9123 141.793 9189 1400720
79.49/79.53	o 157
79.49/79.57	c 56.9433 141.793 9193 1401070
79.49/79.57	o 156
79.59/79.69	c 57.0203 141.793 9236 1401498
79.59/79.69	o 155
79.69/79.73	c 57.0523 141.793 9245 1401701
79.69/79.73	o 154
79.69/79.76	c 57.0853 141.793 9246 1402061
79.69/79.76	o 153
79.79/79.81	c 57.1193 141.793 9248 1402339
79.79/79.81	o 152
79.79/79.84	c 57.1463 141.793 9250 1402732
79.79/79.84	o 151
79.79/79.88	c 57.1763 141.793 9251 1402997
79.79/79.88	o 150
79.89/79.91	c 57.2033 141.793 9254 1403201
79.89/79.91	o 149
79.89/79.95	c 57.2313 141.793 9256 1403427
79.89/79.95	o 148
79.89/79.98	c 57.2563 141.793 9256 1403722
79.89/79.98	o 146
79.99/80.04	c 57.3033 141.793 9264 1404037
79.99/80.04	o 145
79.99/80.07	c 57.3303 141.793 9265 1404310
79.99/80.07	o 143
80.09/80.11	c 57.3593 141.793 9265 1404480
80.09/80.11	o 142
80.09/80.14	c 57.3913 141.793 9266 1404665
80.09/80.14	o 141
80.09/80.20	c 57.4293 141.793 9272 1405005
80.09/80.20	o 140
80.20/80.24	c 57.4663 141.793 9277 1405390
80.20/80.24	o 139
80.20/80.28	c 57.4963 141.793 9277 1405588
80.20/80.28	o 138
80.30/80.31	c 57.5213 141.793 9277 1405810
80.30/80.31	o 137
80.30/80.34	c 57.5503 141.793 9277 1406012
80.30/80.34	o 136
80.30/80.38	c 57.5792 141.793 9277 1406215
80.30/80.38	o 135
80.39/80.41	c 57.6112 141.793 9277 1406429
80.39/80.41	o 134
80.39/80.45	c 57.6402 141.793 9277 1406619
80.39/80.45	o 133
80.39/80.48	c 57.6692 141.793 9278 1406858
80.39/80.48	o 132
80.49/80.52	c 57.6962 141.793 9279 1407077
80.49/80.52	o 131
80.49/80.55	c 57.7282 141.793 9279 1407242
80.49/80.55	o 130
80.49/80.59	c 57.7552 141.793 9280 1407435
80.49/80.59	o 129
80.59/80.64	c 57.7962 141.793 9293 1407767
80.59/80.64	o 128
80.59/80.68	c 57.8302 141.793 9296 1407990
80.59/80.68	o 127
80.69/80.73	c 57.8662 141.793 9302 1408259
80.69/80.73	o 126
80.69/80.78	c 57.9052 141.793 9307 1408600
80.69/80.78	o 125
80.79/80.82	c 57.9412 141.793 9313 1408823
80.79/80.82	o 124
80.79/80.86	c 57.9702 141.793 9315 1409066
80.79/80.86	o 123
80.89/80.90	c 58.0062 141.793 9317 1409334
80.89/80.90	o 122
80.89/80.95	c 58.0522 141.793 9321 1409610
80.89/80.95	o 121
80.89/80.99	c 58.0852 141.793 9333 1409899
80.89/80.99	o 120
80.99/81.03	c 58.1152 141.793 9338 1410138
80.99/81.03	o 119
80.99/81.09	c 58.1582 141.793 9346 1410487
80.99/81.09	o 118
81.10/81.13	c 58.1872 141.793 9351 1410696
81.10/81.13	o 117
81.10/81.17	c 58.2191 141.793 9354 1410910
81.10/81.17	o 116
81.19/81.21	c 58.2541 141.793 9357 1411084
81.19/81.21	o 115
81.19/81.25	c 58.2841 141.793 9365 1411268
81.19/81.25	o 114
81.30/81.31	c 58.3271 141.793 9399 1411604
81.30/81.31	o 113
81.30/81.35	c 58.3591 141.793 9405 1411777
81.30/81.35	o 112
81.40/81.40	c 58.4061 141.793 9423 1412016
81.40/81.40	o 111
81.40/81.44	c 58.4351 141.793 9426 1412279
81.40/81.44	o 110
81.49/81.51	c 58.4921 141.793 9436 1412570
81.49/81.51	o 109
81.49/81.55	c 58.5221 141.793 9440 1412740
81.49/81.55	o 108
81.60/81.60	c 58.5651 141.793 9446 1413025
81.60/81.60	o 107
81.60/81.65	c 58.6031 141.793 9448 1413271
81.60/81.65	o 106
81.60/81.68	c 58.6331 141.793 9448 1413468
81.60/81.68	o 105
81.69/81.72	c 58.6611 141.793 9449 1413648
81.69/81.72	o 104
81.69/81.75	c 58.6941 141.793 9449 1413820
81.69/81.75	o 103
81.69/81.79	c 58.7291 141.793 9450 1414087
81.69/81.79	o 102
81.79/81.83	c 58.7661 141.793 9462 1414364
81.79/81.83	o 101
81.79/81.87	c 58.7961 141.793 9470 1414533
81.79/81.87	o 100
81.89/81.90	c 58.8281 141.793 9479 1414696
81.89/81.90	o 99
81.89/81.94	c 58.8571 141.793 9480 1414860
81.89/81.94	o 98
81.89/81.98	c 58.887 141.793 9497 1415064
81.89/81.98	o 97
81.99/82.02	c 58.927 142.609 9518 1415298
81.99/82.02	o 96
82.09/82.13	c 59.004 142.609 9535 1415764
82.09/82.13	o 95
82.09/82.18	c 59.049 142.609 8419 1416063
82.09/82.18	o 94
82.19/82.22	c 59.087 142.609 8423 1416352
82.19/82.22	o 93
82.19/82.26	c 59.117 142.609 8426 1416536
82.19/82.26	o 92
82.19/82.29	c 59.15 142.609 8434 1416745
82.19/82.29	o 91
82.29/82.33	c 59.176 142.609 8442 1416930
82.29/82.33	o 90
82.29/82.36	c 59.207 142.609 8457 1417129
82.29/82.36	o 89
82.29/82.40	c 59.235 142.609 8460 1417309
82.29/82.40	o 88
82.39/82.43	c 59.267 142.609 8467 1417497
82.39/82.43	o 87
82.39/82.47	c 59.298 142.609 8468 1417720
82.39/82.47	o 86
82.49/82.50	c 59.334 142.609 5832 1417942
82.49/82.50	o 85
82.49/82.54	c 59.364 142.609 5849 1418201
82.49/82.54	o 84
82.59/82.62	c 59.429 142.609 5875 1418516
82.59/82.62	o 83
82.59/82.65	c 59.459 142.609 5880 1418885
82.59/82.65	o 82
82.69/82.71	c 59.501 142.609 5891 1419118
82.69/82.71	o 81
82.69/82.74	c 59.5299 142.609 5329 1419317
82.69/82.74	o 80
82.69/82.77	c 59.5569 142.609 5329 1419507
82.69/82.77	o 79
82.79/82.80	c 59.5819 142.609 5329 1419694
82.79/82.80	o 78
82.79/82.84	c 59.6069 142.609 5329 1419882
82.79/82.84	o 77
82.79/82.87	c 59.6359 142.609 5330 1420065
82.79/82.87	o 76
82.90/82.90	c 59.6629 142.609 5330 1420227
82.90/82.90	o 75
82.90/82.94	c 59.6919 142.609 5334 1420574
82.90/82.94	o 73
82.90/82.97	c 59.7199 142.609 5335 1420798
82.90/82.97	o 72
82.99/83.00	c 59.7479 142.609 4607 1420978
82.99/83.00	o 71
82.99/83.04	c 59.7809 142.609 4614 1421260
82.99/83.04	o 70
82.99/83.08	c 59.8229 142.609 4634 1421504
82.99/83.08	o 69
83.09/83.16	c 59.8939 142.609 4712 1421790
83.09/83.16	o 68
83.19/83.26	c 59.9649 142.609 4232 1422104
83.19/83.26	o 67
83.29/83.30	c 60.0019 142.609 4238 1422350
83.29/83.30	o 66
83.29/83.35	c 60.0389 142.609 4249 1422569
83.29/83.35	o 65
83.29/83.38	c 60.0659 142.609 4211 1422770
83.29/83.38	o 64
83.39/83.41	c 60.0879 142.609 4211 1422938
83.39/83.41	o 63
83.39/83.44	c 60.1119 142.609 4211 1423089
83.39/83.44	o 62
83.39/83.46	c 60.1399 142.609 4212 1423256
83.39/83.46	o 61
83.39/83.49	c 60.1629 142.609 4212 1423485
83.39/83.49	o 60
83.50/83.52	c 60.1838 142.609 4213 1423727
83.50/83.52	o 59
83.50/83.55	c 60.2078 142.609 4213 1423926
83.50/83.55	o 58
83.50/83.58	c 60.2308 142.609 4098 1424110
83.50/83.58	o 57
83.60/83.60	c 60.2558 142.609 4098 1424276
83.60/83.60	o 56
83.60/83.63	c 60.2768 142.609 4098 1424462
83.60/83.63	o 55
83.60/83.66	c 60.3008 142.609 4098 1424617
83.60/83.66	o 54
83.60/83.69	c 60.3218 142.609 4098 1424854
83.60/83.69	o 53
83.69/83.71	c 60.3458 142.609 4102 1425010
83.69/83.71	o 52
83.69/83.75	c 60.3738 142.609 4111 1425272
83.69/83.75	o 51
83.69/83.78	c 60.4028 142.609 3900 1425484
83.69/83.78	o 50
83.79/83.82	c 60.4338 142.609 3902 1425699
83.79/83.82	o 49
83.79/83.86	c 60.4678 142.609 3905 1425926
83.79/83.86	o 48
83.79/83.88	c 60.4898 142.609 3905 1426128
83.79/83.88	o 47
83.90/83.91	c 60.5138 142.609 3906 1426330
83.90/83.91	o 46
83.90/83.94	c 60.5378 142.609 3907 1426552
83.90/83.94	o 45
83.90/83.96	c 60.5628 142.609 3811 1426749
83.90/83.96	o 44
83.90/83.99	c 60.5888 142.609 3814 1426988
83.90/83.99	o 43
83.99/84.02	c 60.6148 142.609 3818 1427182
83.99/84.02	o 42
83.99/84.05	c 60.6388 142.609 3820 1427389
83.99/84.05	o 41
83.99/84.08	c 60.6688 142.609 3826 1427604
83.99/84.08	o 40
84.09/84.13	c 60.7028 142.609 3842 1427848
84.09/84.13	o 39
84.09/84.15	c 60.7278 142.609 3773 1428143
84.09/84.15	o 38
84.09/84.18	c 60.7548 142.609 3776 1428376
84.09/84.18	o 37
84.19/84.21	c 60.7758 142.609 3777 1428614
84.19/84.21	o 36
84.19/84.23	c 60.8018 142.609 3780 1428837
84.19/84.23	o 35
84.19/84.26	c 60.8248 142.609 3780 1429046
84.19/84.26	o 34
84.19/84.28	c 60.8467 142.609 3780 1429256
84.19/84.28	o 33
84.29/84.31	c 60.8697 142.609 3782 1429563
84.29/84.31	o 32
84.29/84.33	c 60.8917 142.609 3737 1429751
84.29/84.33	o 31
84.29/84.36	c 60.9127 142.609 3737 1429935
84.29/84.36	o 30
84.29/84.38	c 60.9317 142.609 3737 1430117
84.29/84.38	o 29
84.39/84.40	c 60.9507 142.609 3737 1430288
84.39/84.40	o 28
84.39/84.44	c 60.9937 142.609 3805 1430555
84.39/84.44	o 27
84.39/84.47	c 61.0177 142.609 3817 1430729
84.39/84.47	o 26
84.39/84.49	c 61.0387 142.609 3806 1430895
84.39/84.49	o 25
84.49/84.51	c 61.0607 142.609 3807 1431057
84.49/84.51	o 24
84.49/84.54	c 61.0807 142.609 3810 1431271
84.49/84.54	o 23
84.49/84.56	c 61.1007 142.609 3810 1431431
84.49/84.56	o 22
84.49/84.58	c 61.1197 142.609 3810 1431595
84.49/84.58	o 21
84.59/84.60	c 61.1387 142.609 3810 1431762
84.59/84.60	o 20
84.59/84.62	c 61.1587 142.609 3811 1431939
84.59/84.62	o 19
84.59/84.65	c 61.1817 142.609 3814 1432144
84.59/84.65	o 18
84.59/84.67	c 61.2017 142.609 3777 1432334
84.59/84.67	o 17
84.59/84.69	c 61.2217 142.609 3778 1432534
84.59/84.69	o 16
84.69/84.71	c 61.2427 142.609 3781 1432741
84.69/84.71	o 15
84.69/84.74	c 61.2687 142.609 3789 1432962
84.69/84.74	o 14
84.69/84.76	c 61.2887 142.609 3790 1433143
84.69/84.76	o 13
84.69/84.78	c 61.3087 142.609 3792 1433320
84.69/84.78	o 12
84.79/84.80	c 61.3287 142.609 3794 1433463
84.79/84.80	o 11
84.79/84.82	c 61.3477 142.609 3784 1433613
84.79/84.82	o 10
84.79/84.84	c 61.3637 142.609 3784 1433759
84.79/84.84	o 9
84.79/84.86	c 61.3817 142.609 3784 1433890
84.79/84.86	o 8
84.79/84.88	c 61.3997 142.609 3784 1434036
84.79/84.88	o 7
84.89/84.90	c 61.4247 142.609 3785 1434281
84.89/84.90	o 6
84.89/84.92	c 61.4457 142.609 3790 1434459
84.89/84.92	o 5
84.89/84.94	c 61.4637 142.609 3791 1434626
84.89/84.94	o 4
84.89/84.96	c 61.4827 142.609 3779 1434781
84.89/84.96	o 3
84.89/84.98	c 61.5007 142.609 3781 1434938
84.89/84.98	o 2
84.99/85.00	c 61.5176 142.609 3787 1435088
84.99/85.00	o 1
85.29/85.40	c 61.9106 142.609 5155 1437295
85.29/85.40	s OPTIMUM FOUND
85.29/85.40	v -x1 -x2 x3 x4 -x5 x6 -x7 -x8 -x9 x10 -x11 -x12 x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 x48 -x49 x50 -x51 -x52 -x53 x54 x55 x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 x64 -x65 -x66 x67 -x68 -x69 x70 x71 x72 x73 x74 x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 x83 x84 -x85 x86 x87 x88 -x89 x90 x91 -x92 x93 -x94 x95 x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 x109 x110 x111 x112 x113 x114 x115 -x116 -x117 x118 x119 -x120 -x121 -x122 -x123 -x124 x125 x126 x127 -x128 -x129 x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 x138 -x139 x140 x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 x151 x152 x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 x183 -x184 -x185 x186 x187 x188 x189 x190 x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 x241 x242 -x243 -x244 x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 x262 x263 -x264 -x265 x266 x267 x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 x287 x288 -x289 -x290 -x291 -x292 x293 x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 x304 -x305 -x306 -x307 -x308 x309 x310 x311 -x312 x313 x314 -x315 x316 -x317 -x318 -x319 x320 x321 x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 x331 x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 x367 -x368 -x369 x370 -x371 -x372 -x373 x374 -x375 x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 x384 x385 x386 x387 -x388 x389 -x390 -x391 -x392 x393 x394 x395 -x396 x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 x409 x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 x419 -x420 -x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 x432 x433 x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 x483 x484 x485 x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 x540 -x541 -x542 x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 x566 x567 x568 x569 x570 x571 x572 -x573 -x574 -x575 x576 x577 x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 x592 x593 x594 x595 -x596 x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 x629 -x630 x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 x674 x675 x676 x677 x678 -x679 x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 x701 x702 x703 -x704 -x705 -x706 x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 x721 -x722 -x723 x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 -x766 -x767 -x768 x769 x770 -x771 -x772 -x773 -x774 x775 x776 x777 -x778 -x779 -x780 -x781 x782 x783 x784 -x785 -x786 -x787 x788 x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 x805 x806 -x807 -x808 -x809 -x810 x811 x812 x813 -x814 -x815 -x816 -x817 x818 x819 x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 x828 x829 x830 x831 x832 x833 x834 -x835 x836 -x837 x838 -x839 -x840 -x841 x842 x843 x844 x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 x862 x863 x864 -x865 -x866 -x867 x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 x883 x884 x885 x886 x887 x888 -x889 -x890 x891 -x892 -x893 x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 x903 x904 x905 x906 -x907 -x908 -x909 x910 -x911 -x912 x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 x954 x955 x956 x957 -x958 x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 x975 x976 -x977 -x978 -x979 x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 x994 -x995 -x996 x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 x1035 x1036 x1037 -x1038 -x1039 -x1040 x1041 x1042 x1043 -x1044 -x1045 -x1046 x1047 x1048 x1049 x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 x1057 x1058 x1059 x1060 -x1061 x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 x1069 x1070 x1071 x1072 -x1073 x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 x1088 x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 x1108 -x1109 x1110 x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 x1166 x1167 x1168 x1169 x1170 x1171 x1172 x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 x1250 -x1251 x1252 x1253 x1254 x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 x1295 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 x1328 x1329 x1330 x1331 x1332 -x1333 x1334 x1335 x1336 -x1337 x1338 x1339 x1340 x1341 x1342 x1343 x1344 -x1345 x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 x1387 -x1388 x1389 x1390 -x1391 x1392 -x1393 -x1394 -x1395 -x1396 x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 x1462 x1463 -x1464 -x1465 x1466 x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 x1481 x1482 x1483 x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 x1513 -x1514 -x1515 x1516 x1517 x1518 x1519 x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 x1635 x1636 x1637 -x1638 -x1639 x1640 -x1641 x1642 -x1643 -x1644 x1645 -x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 -x1663 x1664 x1665 -x1666 -x1667 -x1668 -x1669 x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x1690 -x1691 -x1692 -x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700 -x1701 -x1702 -x1703 x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 x1730 -x1731 -x1732 -x1733 -x1734 -x1735 x1736 x1737 -x1738 -x1739 -x1740 -x1741 x1742 x1743 x1744 -x1745 -x1746 -x1747 -x1748 x1749 x1750 x1751 -x1752 -x1753 -x1754 x1755 x1756 x1757 -x1758 -x1759 -x1760 x1761 x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799 -x1800 x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818 -x1819 x1820 x1821 x1822 x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 -x1841 -x1842 x1843 x1844 x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 x1868 -x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 x1902 x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 x1949 -x1950 -x1951 x1952 x1953 x1954 x1955 -x1956 -x1957 x1958 -x1959 x1960 x1961 x1962 x1963 x1964 x1965 x1966 -x1967 x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 x2030 x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 x2041 x2042 x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 x2064 x2065 x2066 x2067 x2068 -x2069 -x2070 -x2071 x2072 -x2073 -x2074 x2075 x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 x2145 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 x2157 -x2158 x2159 x2160 x2161 -x2162 -x2163 x2164 -x2165 x2166 -x2167 -x2168 x2169 -x2170 x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 x2188 x2189 -x2190 -x2191 -x2192 -x2193 x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 x2228 -x2229 x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 x2239 -x2240 -x2241 -x2242 -x2243 x2244 x2245 x2246 -x2247 -x2248 -x2249 x2250 x2251 x2252 -x2253 -x2254 -x2255 x2256 x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 x2267 x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 x2276 x2277 x2278 x2279 x2280 x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 x2292 -x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 x2301 x2302 x2303 x2304 -x2305 x2306 -x2307 x2308 -x2309 -x2310 -x2311 -x2312 -x2313 x2314 x2315 x2316 x2317 x2318 -x2319 x2320 -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 x2336 x2337 x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 x2346 -x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 x2356 -x2357 x2358 x2359 -x2360 -x2361 x2362 -x2363 -x2364 -x2365 -x2366 -x2367 x2368 x2369 -x2370 -x2371 x2372 x2373 x2374 -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 x2405 -x2406 -x2407 -x2408 x2409 -x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 x2471 x2472 x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 x2542 x2543 x2544 x2545 -x2546 -x2547 -x2548 x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 x2633 -x2634 -x2635 -x2636 x2637 -x2638 -x2639 -x2640 x2641 x2642 x2643 -x2644 -x2645 x2646 x2647 x2648 -x2649 -x2650 -x2651 -x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 x2685 x2686 x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 x2717 x2718 -x2719 x2720 x2721 -x2722 x2723 x2724 -x2725 x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 x2998 x2999 x3000 x3001 x3002 x3003 x3004 x3005 x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 x3178 x3179 x3180 x3181 x3182 x3183 x3184 x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 x3202 x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 x3227 -x3228 -x3229 -x3230 -x3231 -x3232 x3233 x3234 -x3235 -x3236 -x3237 -x3238 x3239 x3240 x3241 -x3242 -x3243 -x3244 -x3245 x3246 x3247 x3248 -x3249 -x3250 -x3251 x3252 x3253 x3254 -x3255 -x3256 -x3257 x3258 x3259 x3260 -x3261 -x3262 -x3263 x3264 -x3265 -x3266 -x3267 -x3268 x3269 x3270 x3271 -x3272 -x3273 -x3274 x3275 x3276 x3277 -x3278 -x3279 -x3280 x3281 x3282 x3283 x3284 -x3285 -x3286 -x3287 -x3288 x3289 x3290 x3291 x3292 x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 x3300 x3301 x3302 x3303 x3304 -x3305 x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 x3318 x3319 x3320 x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 x3328 x3329 -x3330 -x3331 x3332 -x3333 -x3334 -x3335 -x3336 -x3337 x3338 x3339 -x3340 x3341 x3342 -x3343 -x3344 x3345 -x3346 -x3347 -x3348 -x3349 -x3350 x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 x3390 -x3391 -x3392 -x3393 -x3394 x3395 x3396 x3397 -x3398 -x3399 -x3400 -x3401 x3402 x3403 x3404 -x3405 -x3406 -x3407 x3408 x3409 x3410 -x3411 -x3412 -x3413 x3414 x3415 x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 x3425 x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 x3433 x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 x3448 x3449 x3450 x3451 x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 x3484 -x3485 -x3486 -x3487 -x3488 -x3489 x3490 x3491 -x3492 -x3493 -x3494 -x3495 x3496 x3497 x3498 -x3499 -x3500 -x3501 -x3502 x3503 x3504 x3505 -x3506 -x3507 -x3508 x3509 x3510 x3511 -x3512 -x3513 -x3514 x3515 x3516 x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 x3526 x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 x3534 x3535 x3536 -x3537 -x3538 -x3539 -x3540 x3541 -x3542 -x3543 -x3544 -x3545 x3546 x3547 x3548 -x3549 -x3550 -x3551 x3552 x3553 x3554 -x3555 -x3556 -x3557 x3558 x3559 x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 x3569 x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 x3577 x3578 x3579 x3580 -x3581 -x3582 x3583 -x3584 x3585 x3586 x3587 x3588 -x3589 x3590 x3591 x3592 x3593 -x3594 x3595 -x3596 x3597 -x3598 -x3599 -x3600 x3601 x3602 x3603 x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 x3611 x3612 -x3613 -x3614 x3615 -x3616 -x3617 -x3618 -x3619 -x3620 x3621 x3622 -x3623 x3624 x3625 -x3626 -x3627 x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 x3635 -x3636 -x3637 x3638 x3639 x3640 -x3641 -x3642 x3643 -x3644 -x3645 -x3646 -x3647 -x3648 x3649 x3650 x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 x3714 -x3715 -x3716 x3717 -x3718 -x3719 x3720 x3721 x3722 -x3723 -x3724 -x3725 x3726 -x3727 -x3728 -x3729 x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 x3742 -x3743 -x3744 -x3745 -x3746 -x3747 x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 x3943 x3944 x3945 x3946 x3947 x3948 x3949 x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 x4004 x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 x4068 x4069 x4070 x4071 x4072 x4073 x4074 x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 x4092 x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 x4117 -x4118 -x4119 -x4120 -x4121 -x4122 x4123 x4124 -x4125 -x4126 -x4127 -x4128 x4129 x4130 x4131 -x4132 -x4133 -x4134 -x4135 x4136 x4137 x4138 -x4139 -x4140 -x4141 x4142 x4143 x4144 -x4145 -x4146 -x4147 x4148 x4149 x4150 -x4151 -x4152 -x4153 x4154 -x4155 -x4156 -x4157 -x4158 x4159 x4160 x4161 -x4162 -x4163 -x4164 x4165 x4166 x4167 -x4168 -x4169 -x4170 x4171 x4172 x4173 x4174 -x4175 -x4176 -x4177 -x4178 x4179 x4180 x4181 x4182 x4183 -x4184 x4185 -x4186 -x4187 -x4188 -x4189 x4190 x4191 x4192 x4193 x4194 -x4195 x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 x4208 x4209 x4210 x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 x4218 x4219 -x4220 -x4221 x4222 -x4223 -x4224 -x4225 -x4226 -x4227 x4228 x4229 -x4230 x4231 x4232 -x4233 -x4234 x4235 -x4236 -x4237 -x4238 -x4239 -x4240 x4241 -x4242 -x4243 -x4244 -x4245 -x4246 x4247 -x4248 -x4249 -x4250 -x4251 x4252 x4253 x4254 -x4255 -x4256 -x4257 x4258 x4259 x4260 -x4261 -x4262 -x4263 x4264 x4265 x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 x4275 x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 x4283 x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 x4298 x4299 x4300 x4301 x4302 x4303 -x4304 -x4305 -x4306 x4307 x4308 x4309 x4310 -x4311 x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 x4319 x4320 x4321 x4322 x4323 x4324 -x4325 x4326 -x4327 x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 x4342 -x4343 x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 x4351 x4352 x4353 x4354 x4355 x4356 -x4357 x4358 -x4359 x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 x4367 x4368 x4369 x4370 x4371 x4372 -x4373 x4374 -x4375 x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4391 x4392 x4393 x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 x4401 x4402 -x4403 -x4404 x4405 -x4406 -x4407 -x4408 -x4409 -x4410 x4411 x4412 -x4413 x4414 x4415 -x4416 -x4417 x4418 -x4419 -x4420 -x4421 -x4422 -x4423 x4424 x4425 -x4426 -x4427 x4428 x4429 x4430 -x4431 -x4432 x4433 -x4434 -x4435 -x4436 -x4437 -x4438 x4439 x4440 -x4441 -x4442 -x4443 x4444 x4445 x4446 x4447 -x4448 -x4449 x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4465 x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 x4483 -x4484 -x4485 -x4486 x4487 -x4488 -x4489 -x4490 x4491 -x4492 -x4493 -x4494 x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 x4523 -x4524 -x4525 x4526 -x4527 x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 x4629 x4630 x4631 x4632 x4633 -x4634 x4635 x4636 x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 x4750 x4751 -x4752 -x4753 x4754 -x4755 -x4756 -x4757 -x4758 x4759 -x4760 -x4761 -x4762 -x4763 x4764 -x4765 -x4766 -x4767 -x4768 x4769 -x4770 -x4771 -x4772 -x4773 -x4774 x4775 -x4776 x4777 x4778 x4779 x4780 x4781 x4782 x4783 x4784 x4785 x4786 x4787 x4788 x4789 x4790 x4791 x4792 x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 x4858 x4859 -x4860 x4861 x4862 -x4863 x4864 x4865 -x4866 x4867 x4868 -x4869 x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 x5339 x5340 x5341 x5342 x5343 x5344 x5345 x5346 x5347 x5348 x5349 x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 x5462 x5463 x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 x5557 x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 x5669 x5670 x5671 x5672 x5673 x5674 x5675 x5676 x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 x5686 -x5687 x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 x5737 -x5738 -x5739 -x5740 -x5741 -x5742 x5743 -x5744 x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 x5752 x5753 -x5754 -x5755 -x5756 -x5757 -x5758 x5759 -x5760 -x5761 x5762 x5763 x5764 x5765 -x5766 -x5767 -x5768 -x5769 -x5770 x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 x5779 x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 x5795 x5796 -x5797 -x5798 -x5799 -x5800 -x5801 x5802 -x5803 -x5804 x5805 x5806 x5807 x5808 -x5809 -x5810 -x5811 -x5812 -x5813 x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 x5822 x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 x5886 -x5887 -x5888 -x5889 x5890 -x5891 -x5892 -x5893 -x5894 -x5895 x5896 -x5897 -x5898 -x5899 x5900 -x5901 -x5902 -x5903 -x5904 -x5905 x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 x5913 -x5914 -x5915 -x5916 -x5917 -x5918 x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 x5980 -x5981 -x5982 -x5983 -x5984 -x5985 x5986 x5987 -x5988 -x5989 -x5990 -x5991 x5992 x5993 x5994 -x5995 -x5996 -x5997 -x5998 x5999 x6000 x6001 -x6002 -x6003 -x6004 x6005 x6006 x6007 -x6008 -x6009 -x6010 x6011 x6012 x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 x6022 x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 x6030 x6031 x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 x6045 x6046 x6047 x6048 x6049 x6050 -x6051 -x6052 -x6053 x6054 x6055 x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 x6073 x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 x6124 -x6125 -x6126 -x6127 -x6128 -x6129 x6130 -x6131 x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 x6139 x6140 -x6141 -x6142 -x6143 -x6144 -x6145 x6146 -x6147 -x6148 x6149 x6150 x6151 x6152 -x6153 -x6154 -x6155 -x6156 -x6157 x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 x6166 x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 x6189 x6190 x6191 x6192 x6193 x6194 x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 x6207 x6208 -x6209 -x6210 -x6211 -x6212 -x6213 x6214 -x6215 -x6216 x6217 x6218 x6219 x6220 -x6221 -x6222 -x6223 -x6224 -x6225 x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 x6234 x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 x6257 x6258 x6259 x6260 x6261 x6262 x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 x6272 -x6273 -x6274 -x6275 -x6276 x6277 -x6278 -x6279 -x6280 -x6281 x6282 -x6283 -x6284 -x6285 -x6286 x6287 -x6288 -x6289 -x6290 -x6291 x6292 -x6293 -x6294 x6295 -x6296 -x6297 -x6298 x6299 -x6300 -x6301 -x6302 -x6303 -x6304 x6305 -x6306 -x6307 -x6308 x6309 -x6310 -x6311 -x6312 -x6313 -x6314 x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 x6322 -x6323 -x6324 -x6325 -x6326 -x6327 x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 x6337 -x6338 -x6339 -x6340 -x6341 -x6342 x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 x6354 -x6355 -x6356 -x6357 -x6358 -x6359 x6360 x6361 x6362 -x6363 -x6364 -x6365 -x6366 -x6367 x6368 x6369 x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 x6449 -x6450 -x6451 x6452 -x6453 -x6454 -x6455 x6456 -x6457 -x6458 -x6459 -x6460 x6461 -x6462 -x6463 -x6464 x6465 -x6466 x6467 x6468 x6469 x6470 x6471 x6472 x6473 x6474 x6475 x6476 x6477 x6478 x6479 x6480 x6481 x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 x6817 x6818 x6819 x6820 x6821 x6822 x6823 x6824 x6825 x6826 x6827 x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 x6904 x6905 x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 x6969 x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 x7045 x7046 x7047 x7048 x7049 x7050 x7051 x7052 x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 x7062 -x7063 x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 x7113 -x7114 -x7115 -x7116 -x7117 -x7118 x7119 -x7120 x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 x7128 x7129 -x7130 -x7131 -x7132 -x7133 -x7134 x7135 -x7136 -x7137 x7138 x7139 x7140 x7141 -x7142 -x7143 -x7144 -x7145 -x7146 x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 x7155 x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 x7171 x7172 -x7173 -x7174 -x7175 -x7176 -x7177 x7178 -x7179 -x7180 x7181 x7182 x7183 x7184 -x7185 -x7186 -x7187 -x7188 -x7189 x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 x7198 x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 x7262 -x7263 -x7264 -x7265 x7266 -x7267 -x7268 -x7269 -x7270 -x7271 x7272 -x7273 -x7274 -x7275 x7276 -x7277 -x7278 -x7279 -x7280 -x7281 x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 x7289 -x7290 -x7291 -x7292 -x7293 -x7294 x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 x7317 -x7318 -x7319 -x7320 -x7321 x7322 x7323 x7324 -x7325 -x7326 -x7327 x7328 x7329 x7330 -x7331 -x7332 -x7333 x7334 x7335 x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 x7345 x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 x7353 x7354 x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 x7368 x7369 x7370 x7371 x7372 x7373 -x7374 -x7375 -x7376 x7377 x7378 x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 x7396 x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 x7406 x7407 x7408 x7409 -x7410 x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 x7427 -x7428 x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 x7437 x7438 x7439 x7440 x7441 x7442 x7443 -x7444 x7445 -x7446 x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 x7463 -x7464 x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 x7473 x7474 x7475 x7476 x7477 x7478 x7479 -x7480 x7481 -x7482 x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 x7491 x7492 x7493 x7494 x7495 x7496 x7497 -x7498 x7499 -x7500 x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 x7518 x7519 x7520 x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 x7528 x7529 -x7530 -x7531 x7532 -x7533 -x7534 -x7535 -x7536 -x7537 x7538 x7539 -x7540 x7541 x7542 -x7543 -x7544 x7545 -x7546 -x7547 -x7548 -x7549 -x7550 x7551 x7552 -x7553 -x7554 x7555 x7556 x7557 -x7558 -x7559 x7560 -x7561 -x7562 -x7563 -x7564 -x7565 x7566 x7567 -x7568 -x7569 -x7570 x7571 x7572 x7573 x7574 -x7575 -x7576 x7577 -x7578 -x7579 -x7580 -x7581 -x7582 x7583 x7584 -x7585 -x7586 -x7587 -x7588 x7589 x7590 x7591 x7592 x7593 -x7594 -x7595 x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 x7655 x7656 -x7657 -x7658 x7659 x7660 x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 x7679 x7680 x7681 x7682 x7683 x7684 x7685 x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 x7696 x7697 -x7698 -x7699 x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 x7707 x7708 x7709 x7710 x7711 x7712 x7713 x7714 x7715 x7716 x7717 x7718 x7719 -x7720 -x7721 -x7722 x7723 x7724 x7725 x7726 x7727 x7728 x7729 -x7730 -x7731 -x7732 x7733 x7734 -x7735 x7736 x7737 -x7738 x7739 x7740 -x7741 x7742 x7743 -x7744 x7745 x7746 -x7747 x7748 x7749 -x7750 -x7751 -x7752 x7753 x7754 -x7755 -x7756 -x7757 x7758 -x7759 x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 x7784 x7785 x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 x7825 x7826 x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 x7841 x7842 x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 x7855 -x7856 -x7857 x7858 x7859 x7860 x7861 x7862 x7863 -x7864 -x7865 -x7866 x7867 x7868 x7869 x7870 x7871 -x7872 -x7873 -x7874 -x7875 x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 x7969 -x7970 -x7971 -x7972 -x7973 x7974 -x7975 x7976 x7977 x7978 x7979 x7980 x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 x7999 x8000 x8001 x8002 x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 x8018 -x8019 x8020 -x8021 -x8022 x8023 -x8024 x8025 x8026 x8027 x8028 -x8029 -x8030 -x8031 -x8032 x8033 x8034 x8035 x8036 x8037 x8038 x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 x8046 -x8047 -x8048 -x8049 x8050 x8051 x8052 -x8053 -x8054 -x8055 x8056 x8057 x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 x8074 x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 x8136 x8137 -x8138 x8139 x8140 -x8141 x8142 x8143 -x8144 x8145 x8146 -x8147 x8148 x8149 -x8150 x8151 x8152 -x8153 x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 x8271 x8272 -x8273 x8274 x8275 -x8276 x8277 x8278 -x8279 x8280 x8281 -x8282 x8283 x8284 -x8285 x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 x8413 x8414 x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 x8429 x8430 -x8431 x8432 -x8433 -x8434 x8435 -x8436 x8437 -x8438 -x8439 -x8440 x8441 x8442 x8443 x8444 -x8445 -x8446 x8447 -x8448 x8449 x8450 x8451 -x8452 -x8453 -x8454 x8455 -x8456 -x8457 -x8458 x8459 -x8460 -x8461 x8462 -x8463 -x8464 -x8465 x8466 -x8467 -x8468 -x8469 x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 x8479 x8480 x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 x8549 -x8550 -x8551 -x8552 x8553 -x8554 -x8555 -x8556 x8557 x8558 x8559 x8560 x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 x8598 -x8599 x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 x8613 x8614 x8615 x8616 x8617 x8618 x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 x8654 x8655 x8656 x8657 x8658 x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 x8692 x8693 x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 x8720 x8721 x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 x8744 x8745 x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 x8758 -x8759 -x8760 -x8761 -x8762 -x8763 x8764 x8765 x8766 -x8767 -x8768 -x8769 x8770 x8771 x8772 -x8773 -x8774 -x8775 x8776 -x8777 -x8778 -x8779 x8780 x8781 x8782 -x8783 -x8784 x8785 x8786 -x8787 -x8788 -x8789 x8790 -x8791 x8792 x8793 x8794 -x8795 -x8796 -x8797 x8798 x8799 x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 x8817 x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 x8858 x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 x8881 x8882 -x8883 x8884 x8885 x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 x8902 x8903 x8904 x8905 x8906 x8907 x8908 -x8909 -x8910 x8911 x8912 -x8913 x8914 -x8915 -x8916 x8917 -x8918 x8919 -x8920 x8921 x8922 -x8923 x8924 x8925 -x8926 x8927 x8928 -x8929 -x8930 -x8931 -x8932 x8933 -x8934 x8935 x8936 x8937 x8938 -x8939 -x8940 -x8941 x8942 -x8943 x8944 -x8945 x8946 x8947 -x8948 x8949 -x8950 x8951 x8952 x8953 x8954 -x8955 -x8956 x8957 x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 x8967 -x8968 x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 x8977 x8978 x8979 -x8980 -x8981 x8982 -x8983 x8984 -x8985 -x8986 x8987 -x8988 x8989 -x8990 x8991 x8992 x8993 -x8994 -x8995 -x8996 x8997 -x8998 x8999 -x9000 -x9001 x9002 x9003 -x9004 -x9005 -x9006 x9007 -x9008 x9009 -x9010 -x9011 x9012 -x9013 x9014 -x9015 -x9016 x9017 x9018 -x9019 x9020 -x9021 -x9022 x9023 -x9024 -x9025 -x9026 x9027 x9028 -x9029 -x9030 -x9031 x9032 -x9033 x9034 -x9035 -x9036 x9037 -x9038 x9039 x9040 x9041 -x9042 x9043 x9044 -x9045 -x9046 x9047 -x9048 x9049 x9050 -x9051 x9052 -x9053 x9054 x9055 -x9056 x9057 -x9058 x9059 x9060 -x9061 x9062 x9063 -x9064 -x9065 -x9066 x9067 x9068 -x9069 -x9070 -x9071

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-2698955-1278461932/watcher-2698955-1278461932 -o /tmp/evaluation-result-2698955-1278461932/solver-2698955-1278461932 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698955-1278461932.wbo 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13091
/proc/meminfo: memFree=29430428/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=2136 CPUtime=0
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 251 0 0 0 0 0 0 0 25 0 1 0 14406715 2187264 170 4089446400 134512640 136422188 4293574016 18446744073709551615 135372788 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13091/statm: 534 170 144 467 0 65 0

[startup+0.048871 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13091
/proc/meminfo: memFree=29430428/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=2532 CPUtime=0.04
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 338 0 0 0 4 0 0 0 25 0 1 0 14406715 2592768 257 4089446400 134512640 136422188 4293574016 18446744073709551615 135818512 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13091/statm: 633 257 144 467 0 164 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2532

[startup+0.100849 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13091
/proc/meminfo: memFree=29430428/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=2928 CPUtime=0.09
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 439 0 0 0 9 0 0 0 25 0 1 0 14406715 2998272 358 4089446400 134512640 136422188 4293574016 18446744073709551615 135372882 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/13091/statm: 732 358 144 467 0 263 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2928

[startup+0.300816 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13091
/proc/meminfo: memFree=29430428/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=42936 CPUtime=0.29
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 10677 0 0 0 28 1 0 0 25 0 1 0 14406715 43966464 10150 4089446400 134512640 136422188 4293574016 18446744073709551615 135811948 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13091/statm: 10734 10150 193 467 0 10265 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42936

[startup+0.700761 s]
/proc/loadavg: 2.00 2.00 1.93 4/178 13091
/proc/meminfo: memFree=29430428/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=133716 CPUtime=0.69
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 34591 0 0 0 65 4 0 0 25 0 1 0 14406715 136925184 32349 4089446400 134512640 136422188 4293574016 18446744073709551615 134928254 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13091/statm: 33429 32349 203 467 0 32960 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 133716

[startup+1.50062 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13092
/proc/meminfo: memFree=29297616/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=142288 CPUtime=1.49
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 36717 0 0 0 131 18 0 0 25 0 1 0 14406715 145702912 34051 4089446400 134512640 136422188 4293574016 18446744073709551615 134604963 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13091/statm: 35572 34051 236 467 0 35103 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 142288

[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13092
/proc/meminfo: memFree=29293788/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=142420 CPUtime=3.09
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 36776 0 0 0 242 67 0 0 25 0 1 0 14406715 145838080 34104 4089446400 134512640 136422188 4293574016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13091/statm: 35605 34104 237 467 0 35136 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 142420

[startup+6.30081 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 13092
/proc/meminfo: memFree=29294252/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=142684 CPUtime=6.29
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 36867 0 0 0 462 167 0 0 25 0 1 0 14406715 146108416 34175 4089446400 134512640 136422188 4293574016 18446744073709551615 135032458 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13091/statm: 35671 34175 237 467 0 35202 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142684

[startup+12.7008 s]
/proc/loadavg: 2.08 2.02 1.93 3/179 13092
/proc/meminfo: memFree=29294388/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=143080 CPUtime=12.69
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 37007 0 0 0 912 357 0 0 25 0 1 0 14406715 146513920 34265 4089446400 134512640 136422188 4293574016 18446744073709551615 134641392 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13091/statm: 35770 34265 237 467 0 35301 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 143080

[startup+25.5006 s]
/proc/loadavg: 2.06 2.02 1.93 3/179 13093
/proc/meminfo: memFree=29294112/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=143608 CPUtime=25.49
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 37210 0 0 0 1792 757 0 0 25 0 1 0 14406715 147054592 34390 4089446400 134512640 136422188 4293574016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13091/statm: 35902 34390 237 467 0 35433 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 143608

[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 1.93 3/179 13093
/proc/meminfo: memFree=29293340/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=144532 CPUtime=51.09
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 37639 0 0 0 3574 1535 0 0 25 0 1 0 14406715 148000768 34637 4089446400 134512640 136422188 4293574016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13091/statm: 36133 34637 237 467 0 35664 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 144532

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

[startup+63.9002 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 13094
/proc/meminfo: memFree=29292944/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=145060 CPUtime=63.89
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 37888 0 0 0 4510 1879 0 0 25 0 1 0 14406715 148541440 34759 4089446400 134512640 136422188 4293574016 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13091/statm: 36265 34759 237 467 0 35796 0
Current children cumulated CPU time (s) 63.89
Current children cumulated vsize (KiB) 145060

[startup+76.701 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 13094
/proc/meminfo: memFree=29292564/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=145192 CPUtime=76.69
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 38120 0 0 0 5463 2206 0 0 25 0 1 0 14406715 148676608 34826 4089446400 134512640 136422188 4293574016 18446744073709551615 134862210 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13091/statm: 36298 34826 237 467 0 35829 0
Current children cumulated CPU time (s) 76.69
Current children cumulated vsize (KiB) 145192

[startup+79.9005 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 13094
/proc/meminfo: memFree=29292440/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=145192 CPUtime=79.89
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 38186 0 0 0 5718 2271 0 0 25 0 1 0 14406715 148676608 34829 4089446400 134512640 136422188 4293574016 18446744073709551615 134856289 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13091/statm: 36298 34829 237 467 0 35829 0
Current children cumulated CPU time (s) 79.89
Current children cumulated vsize (KiB) 145192

[startup+83.1009 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 13094
/proc/meminfo: memFree=29291568/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=146028 CPUtime=83.09
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 38386 0 0 0 5983 2326 0 0 25 0 1 0 14406715 149532672 34951 4089446400 134512640 136422188 4293574016 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13091/statm: 36507 34951 237 467 0 36038 0
Current children cumulated CPU time (s) 83.09
Current children cumulated vsize (KiB) 146028

[startup+84.7057 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 13094
/proc/meminfo: memFree=29291676/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=146028 CPUtime=84.69
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 38439 0 0 0 6122 2347 0 0 25 0 1 0 14406715 149532672 34951 4089446400 134512640 136422188 4293574016 18446744073709551615 135022151 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13091/statm: 36507 34951 237 467 0 36038 0
Current children cumulated CPU time (s) 84.69
Current children cumulated vsize (KiB) 146028

[startup+85.1006 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 13094
/proc/meminfo: memFree=29291676/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=146028 CPUtime=85.09
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 38454 0 0 0 6161 2348 0 0 25 0 1 0 14406715 149532672 34951 4089446400 134512640 136422188 4293574016 18446744073709551615 134862334 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13091/statm: 36507 34951 237 467 0 36038 0
Current children cumulated CPU time (s) 85.09
Current children cumulated vsize (KiB) 146028

[startup+85.5005 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 13094
/proc/meminfo: memFree=29291676/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=135212 CPUtime=85.5
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 38458 0 0 0 6201 2349 0 0 25 0 1 0 14406715 138457088 32860 4089446400 134512640 136422188 4293574016 18446744073709551615 135801441 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13091/statm: 33803 32860 240 467 0 33334 0
Current children cumulated CPU time (s) 85.5
Current children cumulated vsize (KiB) 135212

[startup+85.6005 s]
/proc/loadavg: 2.02 2.01 1.93 3/179 13094
/proc/meminfo: memFree=29291676/32951124 swapFree=67111528/67111528
[pid=13091] ppid=13089 vsize=135212 CPUtime=85.6
/proc/13091/stat : 13091 (pbct) R 13089 13091 12467 0 -1 4202496 38458 0 0 0 6211 2349 0 0 25 0 1 0 14406715 138457088 32860 4089446400 134512640 136422188 4293574016 18446744073709551615 135801495 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/13091/statm: 33803 32860 240 467 0 33334 0
Current children cumulated CPU time (s) 85.6
Current children cumulated vsize (KiB) 135212

Child status: 0
Real time (s): 85.6729
CPU time (s): 85.674
CPU user time (s): 62.1775
CPU system time (s): 23.4964
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 146028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.1775
system time used= 23.4964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38459
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 183

runsolver used 0.139978 second user time and 0.316951 second system time

The end

Launcher Data 

Begin job on node118 at 2010-07-07 02:18:52
IDJOB=2698955
IDBENCH=79057
IDSOLVER=1212
FILE ID=node118/2698955-1278461932
PBS_JOBID= 11233756
Free space on /tmp= 73748 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl--soft-66-100-0.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698955-1278461932/watcher-2698955-1278461932 -o /tmp/evaluation-result-2698955-1278461932/solver-2698955-1278461932 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2698955-1278461932.wbo

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

MD5SUM BENCH= 23f33b7daf9bba45fd16a95912abcbbc
RANDOM SEED=445318869

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29430948 kB
Buffers:        107728 kB
Cached:        3189664 kB
SwapCached:          0 kB
Active:         818092 kB
Inactive:      2561208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29430948 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4548 kB
Writeback:           0 kB
AnonPages:       81828 kB
Mapped:          15832 kB
Slab:            77276 kB
PageTables:       4888 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   225752 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= 73748 MiB
End job on node118 at 2010-07-07 02:20:18