Trace number 2699127

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 185.685 185.681

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl--soft-0-100-0.wbo
MD5SUM65e5bfc23cfeb9f0d41691b20b2e7f01
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.76158
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4622
Total number of constraints12569
Number of soft constraints12569
Number of constraints which are clauses11753
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints816
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 636317
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 636316
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 130
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.00/0.08	c constraints 0/816 clauses 0/11753 units 0
0.00/0.08	c vars 4622
2.69/2.77	c 1.59476 121.051 424 980762
2.69/2.77	o 13382
2.89/2.97	c 1.64475 122.543 489 1101283
2.89/2.97	o 12192
3.09/3.16	c 1.69874 122.543 572 1212983
3.09/3.16	o 11914
3.20/3.29	c 1.74673 122.543 619 1260812
3.20/3.29	o 11906
3.30/3.37	c 1.77373 122.543 659 1306562
3.30/3.37	o 10057
3.39/3.43	c 1.79573 122.672 689 1333950
3.39/3.43	o 10056
3.59/3.62	c 1.87071 122.672 815 1363852
3.59/3.62	o 10037
3.59/3.69	c 1.89671 122.672 831 1403527
3.59/3.69	o 9956
3.69/3.75	c 1.91771 122.672 858 1428042
3.69/3.75	o 8314
3.89/3.99	c 2.01969 122.801 987 1475191
3.89/3.99	o 8103
3.99/4.07	c 2.04769 122.801 1008 1516616
3.99/4.07	o 7724
4.19/4.27	c 2.15267 122.801 1103 1527867
4.19/4.27	o 7723
4.29/4.35	c 2.18367 122.801 1118 1564649
4.29/4.35	o 7281
4.40/4.42	c 2.22066 122.801 1150 1587359
4.40/4.42	o 7280
4.40/4.47	c 2.24766 122.801 1179 1612416
4.40/4.47	o 6465
4.49/4.53	c 2.27065 122.801 1185 1637954
4.49/4.53	o 6178
5.29/5.30	c 2.6066 122.93 1496 1671366
5.29/5.30	o 6171
5.40/5.41	c 2.65959 123.059 1544 1683983
5.40/5.41	o 6168
5.40/5.48	c 2.68659 123.059 1560 1718705
5.40/5.48	o 5932
5.50/5.57	c 2.72259 123.059 1582 1752430
5.50/5.57	o 5915
5.59/5.65	c 2.75858 123.059 1601 1793541
5.59/5.65	o 5412
5.69/5.72	c 2.78158 123.059 1619 1819591
5.69/5.72	o 5363
5.69/5.79	c 2.80657 123.059 1630 1851843
5.69/5.79	o 5351
6.09/6.13	c 2.93855 123.059 1737 1895514
6.09/6.13	o 4414
6.60/6.67	c 3.15552 123.059 1908 1960259
6.60/6.67	o 3979
7.49/7.53	c 3.47547 123.188 2131 2036538
7.49/7.53	o 3978
7.69/7.71	c 3.54446 123.188 2178 2086365
7.69/7.71	o 3390
8.40/8.44	c 3.79942 123.316 2308 2148872
8.40/8.44	o 3382
8.40/8.48	c 3.82142 123.316 2312 2161277
8.40/8.48	o 3344
8.49/8.56	c 3.86741 123.316 2327 2176650
8.49/8.56	o 3342
8.59/8.61	c 3.89241 123.316 2336 2184715
8.59/8.61	o 3337
11.00/11.07	c 4.82427 123.445 2896 2276324
11.00/11.07	o 3336
11.79/11.86	c 5.10122 123.445 3079 2292148
11.79/11.86	o 3335
11.89/11.94	c 5.13622 123.445 3086 2311325
11.89/11.94	o 3329
12.00/12.05	c 5.18321 123.445 3103 2359619
12.00/12.05	o 3216
12.09/12.16	c 5.2282 123.445 3116 2398494
12.09/12.16	o 3183
12.19/12.29	c 5.2832 123.445 3137 2445850
12.19/12.29	o 3122
12.29/12.33	c 5.30119 123.574 3143 2454284
12.29/12.33	o 3119
12.29/12.38	c 5.32719 123.574 3149 2463623
12.29/12.38	o 3118
12.39/12.48	c 5.37118 123.574 3166 2476961
12.39/12.48	o 3113
13.10/13.12	c 5.60415 123.574 3269 2497444
13.10/13.12	o 3108
13.10/13.18	c 5.64114 123.574 3281 2520895
13.10/13.18	o 3103
13.20/13.23	c 5.66614 123.574 3291 2530499
13.20/13.23	o 3095
13.20/13.29	c 5.70313 123.574 3297 2553132
13.20/13.29	o 2598
13.39/13.45	c 5.77312 123.574 3335 2558045
13.39/13.45	o 2594
13.49/13.59	c 5.82411 123.574 3356 2576751
13.49/13.59	o 2592
13.89/13.96	c 5.96509 123.574 3446 2582151
13.89/13.96	o 2591
13.99/14.02	c 5.99709 123.574 3453 2604666
13.99/14.02	o 2588
14.09/14.10	c 6.03808 123.574 3462 2630627
14.09/14.10	o 2586
14.09/14.18	c 6.07108 123.574 3473 2652773
14.09/14.18	o 2381
14.20/14.23	c 6.09507 123.574 3478 2672267
14.20/14.23	o 2365
14.20/14.30	c 6.12807 123.574 3486 2696674
14.20/14.30	o 2362
14.39/14.45	c 6.18906 123.574 3523 2705502
14.39/14.45	o 2358
16.99/17.09	c 7.02193 123.703 4041 2742862
16.99/17.09	o 2357
17.50/17.54	c 7.19691 123.703 4108 2757081
17.50/17.54	o 2353
17.60/17.64	c 7.2499 123.703 4124 2765674
17.60/17.64	o 2347
18.09/18.11	c 7.45687 123.703 4188 2768205
18.09/18.11	o 2346
19.49/19.59	c 7.9138 123.832 4496 2788996
19.49/19.59	o 2108
19.59/19.68	c 7.95379 123.832 4507 2798661
19.59/19.68	o 2100
19.70/19.75	c 7.99378 123.832 4520 2808376
19.70/19.75	o 2093
19.89/19.96	c 8.06977 123.832 4559 2812407
19.89/19.96	o 2092
21.20/21.28	c 8.50371 123.961 4824 2826397
21.20/21.28	o 2091
21.59/21.60	c 8.62469 123.961 4887 2831425
21.59/21.60	o 2090
21.70/21.73	c 8.68368 123.961 4908 2842776
21.70/21.73	o 2087
21.70/21.79	c 8.71167 123.961 4915 2855230
21.70/21.79	o 2075
21.90/21.97	c 8.78166 123.961 4938 2858923
21.90/21.97	o 2074
21.99/22.09	c 8.84066 123.961 4966 2870571
21.99/22.09	o 2070
22.19/22.22	c 8.88965 123.961 4984 2879295
22.19/22.22	o 2069
23.80/23.87	c 9.45656 123.961 5257 2897243
23.80/23.87	o 2068
23.99/24.01	c 9.52055 123.961 5274 2912787
23.99/24.01	o 2062
23.99/24.05	c 9.54455 123.961 5281 2919879
23.99/24.05	o 2051
24.10/24.13	c 9.57654 123.961 5294 2926820
24.10/24.13	o 2041
24.10/24.19	c 9.60754 123.961 5304 2945675
24.10/24.19	o 2022
24.19/24.26	c 9.64253 123.961 5313 2963690
24.19/24.26	o 2014
24.29/24.32	c 9.67753 123.961 5323 2967718
24.29/24.32	o 2011
24.59/24.60	c 9.78751 123.961 5360 2970994
24.59/24.60	o 2007
24.59/24.67	c 9.81851 123.961 5369 2978264
24.59/24.67	o 2005
24.69/24.78	c 9.8695 123.961 5393 2995661
24.69/24.78	o 1993
25.40/25.41	c 10.0705 124.09 5484 3000183
25.40/25.41	o 1990
26.19/26.22	c 10.3734 124.09 5633 3009790
26.19/26.22	o 1989
31.10/31.17	c 12.2721 124.348 6551 3043271
31.10/31.17	o 1981
31.20/31.28	c 12.3251 124.348 6571 3064825
31.20/31.28	o 1961
31.29/31.33	c 12.3551 124.348 6576 3077429
31.29/31.33	o 1937
31.29/31.39	c 12.3821 124.348 6582 3087070
31.29/31.39	o 1936
31.99/32.10	c 12.6761 124.348 6705 3107072
31.99/32.10	o 1935
33.09/33.14	c 13.022 124.348 6859 3113668
33.09/33.14	o 1934
33.59/33.66	c 13.182 124.348 6968 3122532
33.59/33.66	o 1930
33.79/33.89	c 13.29 124.348 7050 3130192
33.79/33.89	o 1929
41.70/41.77	c 15.8216 124.734 8394 3143820
41.70/41.77	o 1928
72.70/72.71	c 26.126 126.023 13905 3191287
72.70/72.71	o 1926
73.20/73.25	c 26.33 126.023 7036 3196943
73.20/73.25	o 1925
73.49/73.54	c 26.433 126.023 7106 3234915
73.49/73.54	o 1924
73.60/73.69	c 26.496 126.023 7134 3243253
73.60/73.69	o 1922
73.89/73.94	c 26.6 126.023 7182 3269944
73.89/73.94	o 1918
74.20/74.29	c 26.7209 126.023 7249 3290494
74.20/74.29	o 1917
74.39/74.41	c 26.7629 126.023 7266 3305249
74.39/74.41	o 1916
74.90/74.90	c 26.9479 126.023 7378 3313528
74.90/74.90	o 1915
75.00/75.05	c 27.0069 126.023 7408 3320638
75.00/75.05	o 1913
75.10/75.14	c 27.0539 126.023 7426 3347228
75.10/75.14	o 1902
75.19/75.25	c 27.0999 126.023 7446 3361268
75.19/75.25	o 1900
75.29/75.38	c 27.1529 126.023 7472 3372179
75.29/75.38	o 1897
76.89/76.91	c 27.7198 126.023 7705 3380420
76.89/76.91	o 1896
77.09/77.18	c 27.8188 126.023 7742 3382207
77.09/77.18	o 1895
77.20/77.29	c 27.8688 126.023 7764 3392477
77.20/77.29	o 1893
77.30/77.39	c 27.9118 126.023 7779 3404473
77.30/77.39	o 1890
77.39/77.46	c 27.9488 126.023 7793 3416148
77.39/77.46	o 1888
77.59/77.60	c 27.9997 126.023 7814 3423668
77.59/77.60	o 1887
77.59/77.69	c 28.0407 126.023 7827 3439569
77.59/77.69	o 1886
78.29/78.33	c 28.2747 126.023 7947 3452363
78.29/78.33	o 1884
78.29/78.37	c 28.2917 126.023 7948 3457966
78.29/78.37	o 1881
78.69/78.70	c 28.3967 126.023 8057 3479938
78.69/78.70	o 1880
78.79/78.88	c 28.4627 126.023 8086 3518606
78.79/78.88	o 1874
78.90/78.93	c 28.4887 126.023 8095 3527646
78.90/78.93	o 1871
78.99/79.00	c 28.5237 126.023 8103 3557974
78.99/79.00	o 1350
78.99/79.09	c 28.5747 126.023 8118 3578051
78.99/79.09	o 1349
79.09/79.15	c 28.6017 126.023 8120 3581718
79.09/79.15	o 1348
79.89/79.95	c 28.8636 126.023 8242 3589141
79.89/79.95	o 1343
79.99/80.00	c 28.8936 126.023 8250 3595744
79.99/80.00	o 1342
79.99/80.06	c 28.9216 126.023 8254 3618850
79.99/80.06	o 1291
80.10/80.12	c 28.9566 126.023 8258 3630839
80.10/80.12	o 1289
80.10/80.18	c 28.9856 126.023 8268 3635831
80.10/80.18	o 1286
80.30/80.31	c 29.0476 126.023 8292 3642924
80.30/80.31	o 1285
80.90/80.97	c 29.2616 126.023 8404 3649756
80.90/80.97	o 1281
81.30/81.32	c 29.3875 126.023 8467 3656093
81.30/81.32	o 1280
83.20/83.27	c 30.0384 126.023 8783 3665666
83.20/83.27	o 1278
83.29/83.35	c 30.0874 126.023 8804 3678000
83.29/83.35	o 1273
83.40/83.50	c 30.1414 126.023 8830 3682808
83.40/83.50	o 1272
83.70/83.71	c 30.2224 126.023 8866 3685693
83.70/83.71	o 1268
83.70/83.77	c 30.2534 126.023 8872 3694663
83.70/83.77	o 1265
83.79/83.84	c 30.2844 126.023 8880 3703360
83.79/83.84	o 1261
83.79/83.89	c 30.3064 126.023 8882 3718578
83.79/83.89	o 1242
83.89/83.94	c 30.3344 126.023 8885 3723771
83.89/83.94	o 1237
83.99/84.02	c 30.3694 126.023 8891 3727147
83.99/84.02	o 1233
84.20/84.23	c 30.4534 126.023 8916 3732661
84.20/84.23	o 1231
84.79/84.86	c 30.6693 126.023 8993 3735472
84.79/84.86	o 1229
84.89/84.94	c 30.7163 126.023 9005 3740310
84.89/84.94	o 1223
86.80/86.86	c 31.3312 126.023 9328 3748994
86.80/86.86	o 1222
86.90/86.95	c 31.3712 126.023 9337 3750314
86.90/86.95	o 1221
87.00/87.03	c 31.4062 126.023 9352 3756989
87.00/87.03	o 1216
87.09/87.19	c 31.4642 126.023 9370 3758859
87.09/87.19	o 1215
87.79/87.84	c 31.7262 126.023 9490 3763349
87.79/87.84	o 1214
87.90/88.00	c 31.7862 126.023 9513 3769095
87.90/88.00	o 1211
88.00/88.05	c 31.8162 126.023 9522 3773332
88.00/88.05	o 1203
88.09/88.13	c 31.8472 126.023 9531 3808230
88.09/88.13	o 1114
88.09/88.17	c 31.8732 126.023 9537 3811767
88.09/88.17	o 1101
88.30/88.30	c 31.9271 126.023 9561 3817891
88.30/88.30	o 1099
88.39/88.41	c 31.9791 126.023 9576 3819919
88.39/88.41	o 1098
88.50/88.59	c 32.0521 126.023 9599 3824121
88.50/88.59	o 1096
88.59/88.63	c 32.0781 126.023 9612 3825748
88.59/88.63	o 1094
88.69/88.76	c 32.1371 126.023 9627 3830469
88.69/88.76	o 1084
88.79/88.86	c 32.1871 126.023 9645 3832309
88.79/88.86	o 1080
89.50/89.51	c 32.3991 126.023 9749 3836674
89.50/89.51	o 1076
89.60/89.60	c 32.4441 126.023 9760 3847595
89.60/89.60	o 1075
89.60/89.66	c 32.4791 126.023 9764 3854494
89.60/89.66	o 1073
89.89/89.90	c 32.563 126.023 9792 3860212
89.89/89.90	o 1072
90.40/90.41	c 32.761 126.023 9856 3864919
90.40/90.41	o 1071
90.40/90.46	c 32.797 126.023 9880 3867160
90.40/90.46	o 1069
90.99/91.03	c 33.013 126.023 9978 3868850
90.99/91.03	o 1068
91.79/91.82	c 33.2679 126.023 10093 3874278
91.79/91.82	o 1067
91.89/91.92	c 33.3119 126.023 10109 3879684
91.89/91.92	o 1066
91.89/91.96	c 33.3349 126.023 10110 3881563
91.89/91.96	o 1065
92.00/92.03	c 33.3729 126.023 10116 3882525
92.00/92.03	o 1063
92.09/92.13	c 33.4189 126.023 10128 3884862
92.09/92.13	o 1061
92.19/92.24	c 33.4709 126.023 5080 3886200
92.19/92.24	o 1059
92.30/92.36	c 33.5269 126.023 5115 3891204
92.30/92.36	o 1058
92.50/92.51	c 33.5959 126.023 5147 3895924
92.50/92.51	o 1057
92.50/92.57	c 33.6299 126.023 5163 3900359
92.50/92.57	o 1051
92.60/92.67	c 33.6779 126.023 5182 3902939
92.60/92.67	o 1050
92.69/92.75	c 33.7169 126.023 5190 3904691
92.69/92.75	o 1049
92.90/92.90	c 33.7729 126.023 5210 3907312
92.90/92.90	o 1048
92.90/92.99	c 33.8139 126.023 5223 3910211
92.90/92.99	o 1046
93.09/93.11	c 33.8569 126.023 5240 3913488
93.09/93.11	o 1045
93.09/93.17	c 33.8818 126.023 5244 3917926
93.09/93.17	o 1037
93.19/93.26	c 33.9278 126.023 5255 3921617
93.19/93.26	o 1036
93.29/93.33	c 33.9668 126.023 5260 3924218
93.29/93.33	o 1033
94.10/94.10	c 34.2388 126.023 5406 3926781
94.10/94.10	o 1032
94.29/94.30	c 34.3068 126.023 5434 3928929
94.29/94.30	o 1030
94.29/94.36	c 34.3388 126.023 5447 3930944
94.29/94.36	o 1029
94.39/94.44	c 34.3728 126.023 5460 3937006
94.39/94.44	o 1016
94.39/94.50	c 34.4048 126.023 5466 3938621
94.39/94.50	o 1015
94.49/94.55	c 34.4298 126.023 5472 3940727
94.49/94.55	o 1014
94.60/94.61	c 34.4618 126.023 5484 3943497
94.60/94.61	o 1012
94.69/94.76	c 34.5238 126.023 5506 3945850
94.69/94.76	o 1011
97.09/97.16	c 35.4236 126.023 5914 3951518
97.09/97.16	o 1009
97.20/97.28	c 35.4856 126.023 5937 3953827
97.20/97.28	o 1008
97.39/97.47	c 35.5626 126.023 5974 3959365
97.39/97.47	o 1007
97.49/97.56	c 35.6126 126.023 5990 3960871
97.49/97.56	o 1006
97.59/97.67	c 35.6656 126.023 6005 3966212
97.59/97.67	o 1005
97.80/97.83	c 35.7296 126.023 6027 3967453
97.80/97.83	o 1004
97.80/97.89	c 35.7616 126.023 6036 3972493
97.80/97.89	o 1001
97.90/97.95	c 35.7976 126.023 6052 3975321
97.90/97.95	o 999
98.49/98.51	c 36.0065 126.023 6171 3977787
98.49/98.51	o 998
98.69/98.72	c 36.0945 126.023 6200 3978820
98.69/98.72	o 997
98.79/98.80	c 36.1365 126.023 6210 3979929
98.79/98.80	o 996
98.89/98.94	c 36.1895 126.023 6228 3981131
98.89/98.94	o 995
99.00/99.05	c 36.2355 126.023 6242 3982921
99.00/99.05	o 994
99.09/99.14	c 36.2755 126.023 6254 3984594
99.09/99.14	o 993
99.19/99.26	c 36.3285 126.023 6273 3987770
99.19/99.26	o 991
99.29/99.39	c 36.3815 126.023 6289 3989613
99.29/99.39	o 990
99.39/99.44	c 36.4105 126.023 6301 3991419
99.39/99.44	o 989
99.39/99.49	c 36.4435 126.023 6311 3993063
99.39/99.49	o 988
99.49/99.54	c 36.4715 126.023 6336 3994636
99.49/99.54	o 987
99.49/99.58	c 36.4985 126.023 6338 3996403
99.49/99.58	o 986
100.10/100.16	c 36.6874 126.023 6454 4002824
100.10/100.16	o 985
100.19/100.27	c 36.7414 126.023 6478 4003990
100.19/100.27	o 984
100.99/101.05	c 37.0024 126.023 6588 4008483
100.99/101.05	o 982
101.50/101.52	c 37.1584 126.023 6642 4009635
101.50/101.52	o 981
101.69/101.76	c 37.2403 126.023 6668 4010761
101.69/101.76	o 980
101.80/101.82	c 37.2763 126.023 6670 4011967
101.80/101.82	o 979
101.80/101.89	c 37.3093 126.023 6676 4013024
101.80/101.89	o 978
101.89/101.98	c 37.3423 126.023 6690 4015395
101.89/101.98	o 977
102.00/102.06	c 37.3743 126.023 6695 4017624
102.00/102.06	o 976
102.09/102.16	c 37.4213 126.023 6709 4021103
102.09/102.16	o 974
102.20/102.20	c 37.4473 126.023 6714 4022684
102.20/102.20	o 973
102.30/102.34	c 37.5013 126.023 6732 4025349
102.30/102.34	o 971
102.40/102.42	c 37.5363 126.023 6742 4026830
102.40/102.42	o 970
102.60/102.61	c 37.6233 126.023 6775 4029427
102.60/102.61	o 969
102.60/102.67	c 37.6573 126.023 6781 4031636
102.60/102.67	o 968
102.80/102.88	c 37.7493 126.023 6811 4034530
102.80/102.88	o 967
102.99/103.03	c 37.8242 126.023 6855 4035339
102.99/103.03	o 966
103.20/103.21	c 37.8842 126.023 6894 4036193
103.20/103.21	o 965
103.40/103.48	c 37.9872 126.023 6943 4044318
103.40/103.48	o 964
103.79/103.82	c 38.1662 126.023 7002 4047990
103.79/103.82	o 963
104.80/104.87	c 38.5831 126.023 7249 4049520
104.80/104.87	o 962
105.50/105.56	c 38.8411 126.023 7376 4055474
105.50/105.56	o 961
105.60/105.64	c 38.8741 126.023 7383 4056920
105.60/105.64	o 960
105.69/105.75	c 38.9221 126.023 7399 4059245
105.69/105.75	o 959
105.89/105.91	c 38.9871 126.023 7423 4061950
105.89/105.91	o 958
106.29/106.35	c 39.141 126.023 7483 4064473
106.29/106.35	o 957
106.39/106.43	c 39.174 126.023 7488 4066228
106.39/106.43	o 956
106.39/106.49	c 39.202 126.023 7494 4069252
106.39/106.49	o 955
106.49/106.57	c 39.238 126.023 7500 4070998
106.49/106.57	o 953
106.60/106.61	c 39.263 126.023 7510 4071981
106.60/106.61	o 952
106.60/106.67	c 39.292 126.023 7532 4073444
106.60/106.67	o 951
106.70/106.70	c 39.313 126.023 7535 4074899
106.70/106.70	o 949
106.70/106.75	c 39.332 126.023 7537 4076025
106.70/106.75	o 947
106.70/106.78	c 39.353 126.023 7540 4077323
106.70/106.78	o 946
106.80/106.82	c 39.378 126.023 7542 4078445
106.80/106.82	o 944
106.80/106.86	c 39.401 126.023 7542 4079914
106.80/106.86	o 942
106.89/106.91	c 39.429 126.023 7544 4081107
106.89/106.91	o 941
106.89/106.95	c 39.452 126.023 7546 4082287
106.89/106.95	o 938
107.00/107.04	c 39.493 126.023 7556 4085876
107.00/107.04	o 935
107.09/107.10	c 39.525 126.023 7566 4088753
107.09/107.10	o 933
107.09/107.18	c 39.566 126.023 7573 4090040
107.09/107.18	o 931
107.19/107.23	c 39.59 126.023 7577 4091131
107.19/107.23	o 930
107.29/107.32	c 39.629 126.023 7585 4095414
107.29/107.32	o 929
107.40/107.43	c 39.668 126.023 7600 4100224
107.40/107.43	o 928
107.49/107.58	c 39.74 126.023 7622 4101873
107.49/107.58	o 927
107.80/107.84	c 39.8429 126.023 7662 4102921
107.80/107.84	o 925
107.80/107.88	c 39.8689 126.023 7664 4105436
107.80/107.88	o 924
107.89/107.98	c 39.9139 126.023 7678 4110709
107.89/107.98	o 923
108.00/108.05	c 39.9439 126.023 7685 4113332
108.00/108.05	o 921
108.09/108.12	c 39.9809 126.023 7692 4117180
108.09/108.12	o 920
108.09/108.17	c 40.0099 126.023 7698 4120537
108.09/108.17	o 918
108.20/108.23	c 40.0449 126.023 7714 4124337
108.20/108.23	o 917
108.30/108.36	c 40.0919 126.023 7728 4126876
108.30/108.36	o 916
108.39/108.44	c 40.1249 126.023 7737 4131132
108.39/108.44	o 915
108.50/108.51	c 40.1619 126.023 7745 4135930
108.50/108.51	o 913
108.60/108.60	c 40.1989 126.023 7759 4139425
108.60/108.60	o 910
108.70/108.73	c 40.2619 126.023 7781 4145651
108.70/108.73	o 908
108.70/108.78	c 40.2829 126.023 7790 4146791
108.70/108.78	o 907
109.09/109.18	c 40.4139 126.023 7849 4149066
109.09/109.18	o 906
109.20/109.27	c 40.4598 126.023 7869 4152871
109.20/109.27	o 905
109.30/109.39	c 40.5118 126.023 7885 4154202
109.30/109.39	o 904
109.39/109.48	c 40.5488 126.023 7898 4156720
109.39/109.48	o 903
109.49/109.53	c 40.5758 126.023 7903 4157790
109.49/109.53	o 902
109.59/109.60	c 40.6138 126.023 7912 4158681
109.59/109.60	o 901
109.69/109.73	c 40.6608 126.023 7930 4161065
109.69/109.73	o 900
111.30/111.33	c 41.1737 126.023 8233 4168128
111.30/111.33	o 898
111.30/111.37	c 41.1957 126.023 8236 4170080
111.30/111.37	o 896
111.40/111.42	c 41.2257 126.023 8239 4173000
111.40/111.42	o 894
111.40/111.49	c 41.2647 126.023 8249 4177473
111.40/111.49	o 892
111.50/111.54	c 41.2917 126.023 8256 4182824
111.50/111.54	o 889
111.59/111.61	c 41.3267 126.023 8263 4185417
111.59/111.61	o 886
111.59/111.68	c 41.3567 126.023 8273 4186747
111.59/111.68	o 885
111.99/112.01	c 41.4727 126.023 8323 4188357
111.99/112.01	o 884
111.99/112.08	c 41.5007 126.023 8331 4190454
111.99/112.08	o 879
112.10/112.13	c 41.5307 126.023 8336 4193845
112.10/112.13	o 878
112.10/112.18	c 41.5507 126.023 8340 4197146
112.10/112.18	o 872
112.29/112.31	c 41.6037 126.023 8365 4206223
112.29/112.31	o 869
112.40/112.46	c 41.6607 126.023 8386 4209536
112.40/112.46	o 863
112.69/112.74	c 41.7796 126.023 8423 4211606
112.69/112.74	o 861
112.99/113.00	c 41.8736 126.023 8463 4212512
112.99/113.00	o 860
113.10/113.12	c 41.9246 126.023 8471 4213709
113.10/113.12	o 859
113.10/113.19	c 41.9616 126.023 8476 4215171
113.10/113.19	o 858
113.20/113.24	c 41.9856 126.023 8481 4218012
113.20/113.24	o 856
113.20/113.28	c 42.0116 126.023 8482 4219655
113.20/113.28	o 854
113.30/113.33	c 42.0386 126.023 8488 4222775
113.30/113.33	o 852
113.40/113.40	c 42.0746 126.023 8495 4226209
113.40/113.40	o 851
113.40/113.44	c 42.0976 126.023 8497 4227848
113.40/113.44	o 849
113.40/113.49	c 42.1246 126.023 8498 4229003
113.40/113.49	o 848
113.50/113.56	c 42.1636 126.023 8501 4235454
113.50/113.56	o 843
113.60/113.61	c 42.1926 126.023 8503 4239819
113.60/113.61	o 842
113.60/113.65	c 42.2166 126.023 8503 4243691
113.60/113.65	o 840
113.69/113.72	c 42.2526 126.023 8510 4251866
113.69/113.72	o 838
113.99/114.03	c 42.3576 126.023 8566 4256361
113.99/114.03	o 837
114.09/114.15	c 42.4166 126.023 8586 4257714
114.09/114.15	o 834
114.20/114.24	c 42.4665 126.023 8599 4263616
114.20/114.24	o 827
114.30/114.39	c 42.5415 126.023 8619 4264803
114.30/114.39	o 826
114.40/114.45	c 42.5725 126.023 8624 4265441
114.40/114.45	o 825
114.50/114.55	c 42.6185 126.023 8643 4267881
114.50/114.55	o 824
114.99/115.09	c 42.8245 126.023 8748 4269353
114.99/115.09	o 823
115.19/115.21	c 42.8785 126.023 8775 4271053
115.19/115.21	o 822
115.19/115.28	c 42.9135 126.023 8782 4271874
115.19/115.28	o 821
115.39/115.47	c 42.9955 126.023 8815 4274303
115.39/115.47	o 820
115.60/115.63	c 43.0655 126.023 8845 4276493
115.60/115.63	o 819
115.80/115.86	c 43.1434 126.023 8882 4277164
115.80/115.86	o 818
116.30/116.37	c 43.2924 126.023 8981 4278093
116.30/116.37	o 817
116.39/116.48	c 43.3504 126.023 9003 4279811
116.39/116.48	o 816
116.50/116.56	c 43.3944 126.023 9017 4280552
116.50/116.56	o 815
116.69/116.73	c 43.4544 126.023 9040 4281272
116.69/116.73	o 814
116.79/116.86	c 43.5054 126.023 9074 4282011
116.79/116.86	o 813
116.89/116.97	c 43.5724 126.023 9092 4283643
116.89/116.97	o 812
117.49/117.56	c 43.7673 126.023 9165 4284489
117.49/117.56	o 811
117.60/117.61	c 43.8013 126.023 9166 4285180
117.60/117.61	o 810
117.60/117.70	c 43.8353 126.023 9174 4286370
117.60/117.70	o 809
117.70/117.77	c 43.8673 126.023 9181 4287555
117.70/117.77	o 808
117.79/117.83	c 43.9033 126.023 9197 4289896
117.79/117.83	o 805
117.90/117.96	c 43.9623 126.023 9216 4293902
117.90/117.96	o 803
117.99/118.04	c 43.9953 126.023 9224 4295832
117.99/118.04	o 802
118.09/118.10	c 44.0273 126.023 9231 4296884
118.09/118.10	o 799
118.20/118.27	c 44.0953 126.023 9254 4299101
118.20/118.27	o 798
119.10/119.15	c 44.3763 126.023 9400 4300667
119.10/119.15	o 797
119.19/119.23	c 44.4142 126.023 9410 4302049
119.19/119.23	o 796
119.40/119.45	c 44.4912 126.023 9445 4303124
119.40/119.45	o 795
119.60/119.64	c 44.5652 126.023 9475 4304538
119.60/119.64	o 792
119.60/119.69	c 44.5942 126.023 9481 4307675
119.60/119.69	o 790
119.69/119.74	c 44.6222 126.023 9489 4308875
119.69/119.74	o 789
119.69/119.79	c 44.6502 126.023 9495 4310208
119.69/119.79	o 788
119.80/119.83	c 44.6752 126.023 9498 4312496
119.80/119.83	o 787
119.90/119.90	c 44.7092 126.023 9505 4315158
119.90/119.90	o 785
119.99/120.00	c 44.7542 126.023 9511 4317749
119.99/120.00	o 780
120.10/120.12	c 44.8032 126.023 9539 4319168
120.10/120.12	o 779
120.19/120.20	c 44.8442 126.023 9547 4322618
120.19/120.20	o 778
120.30/120.32	c 44.9082 126.023 9575 4324657
120.30/120.32	o 776
120.80/120.89	c 45.1081 126.023 9687 4326708
120.80/120.89	o 775
120.90/120.94	c 45.1351 126.023 9697 4327099
120.90/120.94	o 774
121.00/121.07	c 45.1911 126.023 9721 4328237
121.00/121.07	o 773
121.09/121.16	c 45.2361 126.023 9737 4331497
121.09/121.16	o 768
121.20/121.22	c 45.2661 126.023 9748 4333844
121.20/121.22	o 766
121.30/121.31	c 45.3041 126.023 9759 4334713
121.30/121.31	o 765
121.30/121.36	c 45.3301 126.023 9763 4336176
121.30/121.36	o 762
121.39/121.42	c 45.3641 126.023 9768 4337951
121.39/121.42	o 758
121.39/121.48	c 45.4001 126.023 9771 4341225
121.39/121.48	o 754
121.49/121.52	c 45.4221 126.023 9774 4342064
121.49/121.52	o 753
121.49/121.56	c 45.4501 126.023 9788 4343648
121.49/121.56	o 752
121.59/121.61	c 45.4771 126.023 9797 4346932
121.59/121.61	o 751
121.59/121.65	c 45.5001 126.023 9804 4347806
121.59/121.65	o 750
121.70/121.72	c 45.5371 126.023 9811 4350225
121.70/121.72	o 749
121.70/121.77	c 45.5611 126.023 9813 4350968
121.70/121.77	o 748
121.79/121.82	c 45.5901 126.023 9818 4352395
121.79/121.82	o 747
121.90/121.91	c 45.6371 126.023 9827 4355962
121.90/121.91	o 745
121.90/121.97	c 45.6721 126.023 9831 4360302
121.90/121.97	o 742
122.00/122.02	c 45.7021 126.023 9839 4361607
122.00/122.02	o 741
122.39/122.41	c 45.829 126.023 9886 4362525
122.39/122.41	o 740
123.10/123.16	c 46.086 126.023 10003 4364930
123.10/123.16	o 739
123.20/123.25	c 46.135 126.023 10016 4365972
123.20/123.25	o 738
123.39/123.47	c 46.203 126.023 10053 4366782
123.39/123.47	o 737
123.49/123.58	c 46.254 126.023 10073 4367874
123.49/123.58	o 736
123.59/123.62	c 46.278 126.023 10078 4368635
123.59/123.62	o 735
124.00/124.08	c 46.4359 126.023 10146 4369711
124.00/124.08	o 734
124.20/124.25	c 46.4899 126.023 10172 4370388
124.20/124.25	o 733
124.30/124.32	c 46.5279 126.023 10181 4370977
124.30/124.32	o 732
124.39/124.47	c 46.5879 126.023 10203 4371863
124.39/124.47	o 731
124.49/124.53	c 46.6119 126.023 10208 4372431
124.49/124.53	o 730
124.49/124.57	c 46.6359 126.023 10211 4373113
124.49/124.57	o 729
124.60/124.62	c 46.6679 126.023 10214 4373749
124.60/124.62	o 728
124.60/124.66	c 46.6939 126.023 10216 4374243
124.60/124.66	o 727
124.79/124.83	c 46.7579 126.023 10245 4375050
124.79/124.83	o 726
124.90/124.95	c 46.8179 126.023 10263 4376079
124.90/124.95	o 725
126.09/126.19	c 47.2468 126.023 5329 4378667
126.09/126.19	o 724
126.80/126.85	c 47.4518 126.023 5451 4381458
126.80/126.85	o 723
127.40/127.45	c 47.6608 126.023 5552 4383778
127.40/127.45	o 722
127.60/127.61	c 47.7347 126.023 5568 4385586
127.60/127.61	o 721
127.60/127.65	c 47.7637 126.023 5572 4387235
127.60/127.65	o 720
127.69/127.72	c 47.8017 126.023 5576 4388030
127.69/127.72	o 719
127.69/127.80	c 47.8447 126.023 5589 4388790
127.69/127.80	o 718
128.40/128.44	c 48.0697 126.023 5707 4389976
128.40/128.44	o 717
128.50/128.58	c 48.1177 126.023 5724 4391070
128.50/128.58	o 715
128.60/128.65	c 48.1537 126.023 5737 4392022
128.60/128.65	o 714
128.70/128.73	c 48.1867 126.023 5748 4392681
128.70/128.73	o 713
128.80/128.80	c 48.2187 126.023 5758 4396212
128.80/128.80	o 712
128.80/128.87	c 48.2477 126.023 5771 4397154
128.80/128.87	o 711
128.89/128.93	c 48.2757 126.023 5783 4398464
128.89/128.93	o 710
128.99/129.00	c 48.3117 126.023 5796 4400543
128.99/129.00	o 707
128.99/129.05	c 48.3357 126.023 5802 4402109
128.99/129.05	o 706
129.10/129.13	c 48.3726 126.023 5809 4404152
129.10/129.13	o 704
129.10/129.19	c 48.4066 126.023 5820 4406713
129.10/129.19	o 703
129.19/129.28	c 48.4466 126.023 5830 4410126
129.19/129.28	o 701
129.29/129.34	c 48.4796 126.023 5832 4410958
129.29/129.34	o 700
130.00/130.09	c 48.7306 126.023 5938 4411941
130.00/130.09	o 699
130.19/130.22	c 48.7856 126.023 5956 4413128
130.19/130.22	o 698
130.19/130.27	c 48.8086 126.023 5963 4416057
130.19/130.27	o 696
130.29/130.36	c 48.8516 126.023 5981 4420899
130.29/130.36	o 694
130.39/130.41	c 48.8826 126.023 5987 4421562
130.39/130.41	o 693
130.39/130.46	c 48.9066 126.023 5990 4424088
130.39/130.46	o 692
130.50/130.51	c 48.9336 126.023 5994 4425512
130.50/130.51	o 690
130.50/130.56	c 48.9536 126.023 5998 4426773
130.50/130.56	o 689
130.59/130.67	c 48.9926 126.023 6015 4428905
130.59/130.67	o 688
130.80/130.87	c 49.0805 126.023 6064 4430720
130.80/130.87	o 687
130.90/130.95	c 49.1185 126.023 6076 4431458
130.90/130.95	o 685
131.50/131.55	c 49.3055 126.023 6157 4432251
131.50/131.55	o 684
131.59/131.60	c 49.3345 126.023 6160 4433086
131.59/131.60	o 683
131.59/131.65	c 49.3625 126.023 6162 4433791
131.59/131.65	o 682
131.69/131.77	c 49.4245 126.023 6180 4435583
131.69/131.77	o 681
131.90/131.97	c 49.5105 126.023 6206 4439614
131.90/131.97	o 680
132.00/132.02	c 49.5395 126.023 6213 4441106
132.00/132.02	o 679
132.00/132.07	c 49.5705 126.023 6231 4442293
132.00/132.07	o 678
132.09/132.11	c 49.5995 126.023 6234 4443760
132.09/132.11	o 677
132.19/132.23	c 49.6455 126.023 6250 4444435
132.19/132.23	o 676
132.29/132.32	c 49.6994 126.023 6267 4444885
132.29/132.32	o 675
132.29/132.38	c 49.7324 126.023 6273 4445712
132.29/132.38	o 674
132.40/132.46	c 49.7674 126.023 6281 4446987
132.40/132.46	o 673
132.50/132.52	c 49.7984 126.023 6288 4448152
132.50/132.52	o 672
132.59/132.63	c 49.8514 126.023 6308 4449186
132.59/132.63	o 671
132.59/132.69	c 49.8874 126.023 6321 4450091
132.59/132.69	o 670
132.70/132.73	c 49.9134 126.023 6323 4450948
132.70/132.73	o 668
132.79/132.81	c 49.9484 126.023 6330 4453210
132.79/132.81	o 667
132.79/132.86	c 49.9694 126.023 6341 4454199
132.79/132.86	o 665
132.90/132.92	c 50.0034 126.023 6345 4456252
132.90/132.92	o 664
132.90/132.98	c 50.0384 126.023 6347 4457104
132.90/132.98	o 663
133.10/133.17	c 50.1004 126.023 6380 4457608
133.10/133.17	o 662
133.20/133.25	c 50.1394 126.023 6385 4458626
133.20/133.25	o 661
133.30/133.37	c 50.1964 126.023 6401 4459411
133.30/133.37	o 660
133.59/133.64	c 50.2914 126.023 6489 4460370
133.59/133.64	o 659
133.70/133.75	c 50.3423 126.023 6509 4461348
133.70/133.75	o 658
134.40/134.45	c 50.6203 126.023 6663 4463177
134.40/134.45	o 657
134.69/134.74	c 50.7383 126.023 6745 4464033
134.69/134.74	o 656
134.80/134.81	c 50.7763 126.023 6760 4464738
134.80/134.81	o 655
134.80/134.86	c 50.8043 126.023 6765 4465517
134.80/134.86	o 654
134.90/134.98	c 50.8603 126.023 6778 4466056
134.90/134.98	o 653
134.99/135.04	c 50.8903 126.023 6789 4466605
134.99/135.04	o 652
134.99/135.09	c 50.9163 126.023 6794 4467263
134.99/135.09	o 651
135.20/135.24	c 50.9922 126.023 6808 4468110
135.20/135.24	o 650
135.20/135.28	c 51.0182 126.023 6812 4469902
135.20/135.28	o 649
135.30/135.33	c 51.0402 126.023 6819 4471560
135.30/135.33	o 648
135.40/135.41	c 51.0832 126.023 6826 4472833
135.40/135.41	o 647
135.40/135.47	c 51.1162 126.023 6831 4474497
135.40/135.47	o 646
135.49/135.54	c 51.1502 126.023 6842 4475362
135.49/135.54	o 645
135.59/135.60	c 51.1852 126.023 6852 4476709
135.59/135.60	o 644
135.59/135.65	c 51.2132 126.023 6853 4477459
135.59/135.65	o 643
135.69/135.70	c 51.2392 126.023 6855 4477772
135.69/135.70	o 642
135.69/135.77	c 51.2772 126.023 6860 4478908
135.69/135.77	o 641
136.40/136.50	c 51.5402 126.023 6977 4480051
136.40/136.50	o 640
136.50/136.57	c 51.5772 126.023 6992 4480484
136.50/136.57	o 639
136.59/136.66	c 51.6172 126.023 7004 4481922
136.59/136.66	o 638
136.69/136.72	c 51.6531 126.023 7012 4482905
136.69/136.72	o 637
136.80/136.89	c 51.7161 126.023 7050 4485141
136.80/136.89	o 634
136.89/136.97	c 51.7601 126.023 7058 4485840
136.89/136.97	o 633
137.00/137.05	c 51.8011 126.023 7073 4486940
137.00/137.05	o 632
137.10/137.10	c 51.8281 126.023 7090 4487944
137.10/137.10	o 631
137.80/137.83	c 52.0571 126.023 7204 4489456
137.80/137.83	o 630
137.90/137.94	c 52.1041 126.023 7213 4490468
137.90/137.94	o 629
138.19/138.29	c 52.2261 126.023 7261 4491387
138.19/138.29	o 628
138.30/138.34	c 52.2491 126.023 7268 4492813
138.30/138.34	o 627
138.39/138.44	c 52.291 126.023 7281 4494639
138.39/138.44	o 626
138.50/138.60	c 52.355 126.023 7329 4495741
138.50/138.60	o 625
138.70/138.79	c 52.441 126.023 7364 4496656
138.70/138.79	o 623
138.89/138.91	c 52.488 126.023 7373 4497682
138.89/138.91	o 622
139.09/139.11	c 52.558 126.023 7395 4499384
139.09/139.11	o 620
139.20/139.21	c 52.603 126.023 7405 4500492
139.20/139.21	o 619
139.49/139.57	c 52.725 126.023 7459 4501915
139.49/139.57	o 618
139.60/139.63	c 52.764 126.023 7465 4502629
139.60/139.63	o 617
139.70/139.78	c 52.823 126.023 7496 4504372
139.70/139.78	o 615
139.80/139.85	c 52.857 126.023 7506 4504906
139.80/139.85	o 614
140.10/140.10	c 52.9549 126.023 7535 4505514
140.10/140.10	o 613
140.10/140.17	c 52.9959 126.023 7542 4506616
140.10/140.17	o 611
140.19/140.25	c 53.0269 126.023 7552 4507343
140.19/140.25	o 610
140.30/140.32	c 53.0599 126.023 7557 4508156
140.30/140.32	o 608
140.30/140.36	c 53.0819 126.023 7558 4509264
140.30/140.36	o 606
140.80/140.86	c 53.2299 126.023 7635 4510185
140.80/140.86	o 604
140.89/140.90	c 53.2579 126.023 7636 4511388
140.89/140.90	o 600
140.89/140.94	c 53.2869 126.023 7636 4512509
140.89/140.94	o 599
140.89/140.98	c 53.3109 126.023 7638 4513031
140.89/140.98	o 598
141.00/141.01	c 53.3359 126.023 7638 4513880
141.00/141.01	o 596
141.00/141.08	c 53.3659 126.023 7640 4514615
141.00/141.08	o 595
141.30/141.37	c 53.4689 126.023 7678 4515439
141.30/141.37	o 593
141.39/141.43	c 53.4999 126.023 7682 4516713
141.39/141.43	o 592
141.49/141.51	c 53.5299 126.023 7688 4517554
141.49/141.51	o 591
141.49/141.57	c 53.5569 126.023 7697 4518189
141.49/141.57	o 590
141.59/141.62	c 53.5849 126.023 7699 4519061
141.59/141.62	o 589
141.59/141.67	c 53.6138 126.023 7704 4520206
141.59/141.67	o 588
141.69/141.73	c 53.6458 126.023 7711 4521403
141.69/141.73	o 587
141.80/141.82	c 53.6898 126.023 7718 4522731
141.80/141.82	o 586
141.80/141.87	c 53.7168 126.023 7725 4523484
141.80/141.87	o 585
142.40/142.44	c 53.8918 126.023 7808 4524177
142.40/142.44	o 584
142.50/142.52	c 53.9318 126.023 7822 4524987
142.50/142.52	o 583
142.70/142.70	c 53.9958 126.023 7852 4525704
142.70/142.70	o 582
142.70/142.78	c 54.0418 126.023 7865 4526280
142.70/142.78	o 581
142.79/142.86	c 54.0808 126.023 7876 4527003
142.79/142.86	o 580
142.90/142.92	c 54.1148 126.023 7878 4527815
142.90/142.92	o 579
142.90/142.99	c 54.1478 126.023 7887 4528402
142.90/142.99	o 578
143.00/143.04	c 54.1758 126.023 7890 4529545
143.00/143.04	o 577
143.00/143.09	c 54.1978 126.023 7893 4530599
143.00/143.09	o 576
143.10/143.13	c 54.2218 126.023 7894 4531786
143.10/143.13	o 575
143.10/143.17	c 54.2518 126.023 7896 4533662
143.10/143.17	o 574
143.20/143.21	c 54.2777 126.023 7896 4534653
143.20/143.21	o 573
143.20/143.25	c 54.3027 126.023 7898 4536009
143.20/143.25	o 572
143.29/143.30	c 54.3287 126.023 7905 4537466
143.29/143.30	o 571
143.40/143.41	c 54.3737 126.023 7912 4538474
143.40/143.41	o 570
143.49/143.56	c 54.4407 126.023 7933 4539460
143.49/143.56	o 569
143.69/143.71	c 54.5107 126.023 7966 4540154
143.69/143.71	o 568
143.89/143.93	c 54.5947 126.023 7998 4542990
143.89/143.93	o 567
144.00/144.01	c 54.6307 126.023 8007 4544460
144.00/144.01	o 565
144.10/144.18	c 54.7087 126.023 8032 4545078
144.10/144.18	o 564
144.19/144.26	c 54.7527 126.023 8048 4547929
144.19/144.26	o 562
144.29/144.36	c 54.7977 126.023 8061 4548909
144.29/144.36	o 561
144.39/144.40	c 54.8197 126.023 8067 4550118
144.39/144.40	o 560
144.39/144.44	c 54.8437 126.023 8072 4551304
144.39/144.44	o 559
144.49/144.52	c 54.8807 126.023 8084 4552812
144.49/144.52	o 556
144.60/144.63	c 54.9286 126.023 8100 4553734
144.60/144.63	o 555
144.99/145.08	c 55.1006 126.023 8171 4554439
144.99/145.08	o 554
145.10/145.13	c 55.1276 126.023 8173 4555007
145.10/145.13	o 553
145.10/145.17	c 55.1476 126.023 8173 4555650
145.10/145.17	o 552
145.20/145.20	c 55.1716 126.023 8174 4556302
145.20/145.20	o 551
145.20/145.24	c 55.1966 126.023 8179 4557122
145.20/145.24	o 550
145.30/145.33	c 55.2366 126.023 8189 4558955
145.30/145.33	o 543
145.40/145.41	c 55.2776 126.023 8195 4560192
145.40/145.41	o 541
145.40/145.48	c 55.3146 126.023 8200 4564039
145.40/145.48	o 539
145.50/145.52	c 55.3406 126.023 8200 4564851
145.50/145.52	o 538
145.50/145.56	c 55.3616 126.023 8201 4565233
145.50/145.56	o 537
145.60/145.61	c 55.3906 126.023 8204 4566986
145.60/145.61	o 534
145.60/145.64	c 55.4116 126.023 8204 4568102
145.60/145.64	o 533
145.60/145.68	c 55.4296 126.023 8204 4569277
145.60/145.68	o 532
145.69/145.73	c 55.4586 126.023 8208 4570525
145.69/145.73	o 529
145.69/145.77	c 55.4856 126.023 8211 4571836
145.69/145.77	o 526
145.79/145.83	c 55.5146 126.023 8221 4572647
145.79/145.83	o 525
145.79/145.87	c 55.5406 126.023 8222 4574310
145.79/145.87	o 520
146.09/146.10	c 55.6325 126.023 8248 4575307
146.09/146.10	o 519
146.09/146.14	c 55.6615 126.023 8249 4576493
146.09/146.14	o 518
146.09/146.20	c 55.6925 126.023 8265 4576959
146.09/146.20	o 517
146.80/146.89	c 55.9095 126.023 8380 4578139
146.80/146.89	o 516
146.89/146.93	c 55.9325 126.023 8381 4579468
146.89/146.93	o 512
147.00/147.00	c 55.9685 126.023 8386 4580830
147.00/147.00	o 508
147.00/147.05	c 55.9985 126.023 8388 4582135
147.00/147.05	o 507
147.00/147.09	c 56.0235 126.023 8389 4583403
147.00/147.09	o 506
147.09/147.14	c 56.0445 126.023 8390 4585352
147.09/147.14	o 505
147.20/147.23	c 56.0885 126.023 8400 4588089
147.20/147.23	o 503
147.20/147.27	c 56.1165 126.023 8403 4588970
147.20/147.27	o 502
147.30/147.32	c 56.1475 126.023 8406 4590143
147.30/147.32	o 501
147.30/147.38	c 56.1775 126.023 8411 4591145
147.30/147.38	o 500
147.40/147.44	c 56.2095 126.023 8418 4592095
147.40/147.44	o 499
147.40/147.48	c 56.2375 126.023 8432 4592628
147.40/147.48	o 498
148.10/148.18	c 56.4584 126.023 8535 4593709
148.10/148.18	o 497
148.19/148.28	c 56.5014 126.023 8545 4595001
148.19/148.28	o 496
148.30/148.34	c 56.5344 126.023 8550 4595859
148.30/148.34	o 495
148.30/148.40	c 56.5614 126.023 8554 4597135
148.30/148.40	o 492
148.51/148.51	c 56.6154 126.023 8571 4597881
148.51/148.51	o 490
148.51/148.55	c 56.6464 126.023 8580 4598216
148.51/148.55	o 489
148.60/148.61	c 56.6744 126.023 8589 4598692
148.60/148.61	o 488
148.79/148.86	c 56.7654 126.023 8639 4599362
148.79/148.86	o 487
148.90/148.96	c 56.8054 126.023 8650 4599866
148.90/148.96	o 486
149.00/149.01	c 56.8364 126.023 8657 4600371
149.00/149.01	o 485
149.10/149.10	c 56.8844 126.023 8673 4600818
149.10/149.10	o 484
149.19/149.21	c 56.9353 126.023 8686 4601345
149.19/149.22	o 483
149.19/149.27	c 56.9673 126.023 8690 4601898
149.19/149.27	o 482
149.30/149.36	c 57.0123 126.023 8701 4602406
149.30/149.36	o 481
149.39/149.40	c 57.0333 126.023 8705 4602779
149.39/149.40	o 480
149.39/149.44	c 57.0603 126.023 8708 4603484
149.39/149.44	o 478
149.39/149.48	c 57.0823 126.023 8713 4603961
149.39/149.48	o 477
149.50/149.53	c 57.1123 126.023 8715 4604250
149.50/149.53	o 476
149.50/149.57	c 57.1373 126.023 8717 4604595
149.50/149.57	o 475
149.60/149.62	c 57.1653 126.023 8720 4604946
149.60/149.62	o 474
149.69/149.70	c 57.2093 126.023 8729 4605353
149.69/149.70	o 473
149.69/149.79	c 57.2553 126.023 8738 4606272
149.69/149.79	o 472
149.79/149.83	c 57.2773 126.023 8740 4607000
149.79/149.83	o 471
149.79/149.87	c 57.3073 126.023 8749 4607505
149.79/149.87	o 470
150.50/150.50	c 57.5123 126.023 8851 4609326
150.50/150.50	o 469
150.70/150.76	c 57.6402 126.023 8882 4610241
150.70/150.76	o 468
151.10/151.16	c 57.7702 126.023 8958 4610769
151.10/151.16	o 467
151.19/151.22	c 57.7982 126.023 8963 4611212
151.19/151.22	o 466
151.30/151.32	c 57.8492 126.023 8972 4611735
151.30/151.32	o 465
151.30/151.38	c 57.8752 126.023 8978 4612249
151.30/151.38	o 464
151.39/151.48	c 57.9202 126.023 8990 4612973
151.39/151.48	o 463
151.49/151.51	c 57.9392 126.023 8991 4613402
151.49/151.51	o 462
151.49/151.55	c 57.9642 126.023 8992 4613795
151.49/151.55	o 461
151.49/151.59	c 57.9912 126.023 8992 4614250
151.49/151.59	o 460
151.60/151.64	c 58.0232 126.023 8993 4614725
151.60/151.64	o 459
151.60/151.68	c 58.0442 126.023 8993 4615165
151.60/151.68	o 458
151.70/151.72	c 58.0752 126.023 8995 4615636
151.70/151.72	o 457
151.70/151.76	c 58.0992 126.023 8999 4616180
151.70/151.76	o 456
151.70/151.80	c 58.1212 126.023 9000 4616512
151.70/151.80	o 455
151.80/151.84	c 58.1442 126.023 9002 4616877
151.80/151.84	o 454
151.80/151.89	c 58.1702 126.023 9005 4617291
151.80/151.89	o 453
151.90/151.97	c 58.2062 126.023 9011 4617783
151.90/151.97	o 452
151.99/152.03	c 58.2391 126.023 9017 4618421
151.99/152.03	o 451
151.99/152.08	c 58.2631 126.023 9018 4619131
151.99/152.08	o 450
152.10/152.12	c 58.2871 126.023 9019 4619836
152.10/152.12	o 449
152.10/152.15	c 58.3101 126.023 9019 4620720
152.10/152.15	o 448
152.10/152.19	c 58.3311 126.023 9019 4621242
152.10/152.19	o 447
152.20/152.23	c 58.3491 126.023 9019 4621871
152.20/152.23	o 446
152.20/152.27	c 58.3721 126.023 9020 4622448
152.20/152.27	o 445
152.40/152.44	c 58.4441 126.023 9039 4623344
152.40/152.44	o 444
152.40/152.48	c 58.4681 126.023 9039 4624763
152.40/152.48	o 443
152.49/152.52	c 58.4931 126.023 9040 4626354
152.49/152.52	o 442
152.49/152.56	c 58.5151 126.023 9040 4627488
152.49/152.56	o 441
152.60/152.60	c 58.5331 126.023 9040 4628263
152.60/152.60	o 440
152.60/152.64	c 58.5551 126.023 9042 4629812
152.60/152.64	o 438
152.60/152.68	c 58.5801 126.023 9043 4631251
152.60/152.68	o 437
152.69/152.73	c 58.6041 126.023 9045 4632113
152.69/152.73	o 436
152.69/152.78	c 58.6281 126.023 9050 4632874
152.69/152.78	o 435
152.80/152.82	c 58.6501 126.023 9051 4633881
152.80/152.82	o 434
152.80/152.87	c 58.6771 126.023 9052 4634570
152.80/152.87	o 433
152.90/152.92	c 58.7041 126.023 9057 4635346
152.90/152.92	o 432
152.90/152.95	c 58.7271 126.023 9059 4636103
152.90/152.95	o 430
152.90/152.99	c 58.7471 126.023 9059 4636700
152.90/152.99	o 429
153.00/153.03	c 58.7691 126.023 9059 4637405
153.00/153.03	o 428
153.00/153.07	c 58.7951 126.023 9059 4638067
153.00/153.07	o 427
153.09/153.11	c 58.8181 126.023 9059 4638692
153.09/153.11	o 426
153.09/153.15	c 58.8421 126.023 9060 4639377
153.09/153.15	o 424
153.09/153.18	c 58.8651 126.023 9061 4640026
153.09/153.18	o 423
153.20/153.25	c 58.9 126.023 9065 4640797
153.20/153.25	o 422
153.29/153.30	c 58.926 126.023 9066 4641736
153.29/153.30	o 421
153.29/153.33	c 58.953 126.023 9066 4642631
153.29/153.33	o 420
153.29/153.37	c 58.975 126.023 9067 4643333
153.29/153.37	o 419
153.39/153.41	c 58.999 126.023 9067 4643921
153.39/153.41	o 418
153.39/153.45	c 59.019 126.023 9067 4644750
153.39/153.45	o 417
153.39/153.48	c 59.038 126.023 9067 4645374
153.39/153.48	o 416
153.50/153.52	c 59.064 126.023 9068 4646277
153.50/153.52	o 414
153.59/153.60	c 59.098 126.023 9074 4646853
153.59/153.60	o 413
153.69/153.70	c 59.141 126.023 9089 4647338
153.69/153.70	o 412
153.69/153.76	c 59.176 126.023 9094 4647674
153.69/153.76	o 411
153.79/153.80	c 59.203 126.023 9096 4648075
153.79/153.80	o 410
153.79/153.86	c 59.236 126.023 9102 4648667
153.79/153.86	o 408
153.79/153.90	c 59.263 126.023 9105 4649049
153.79/153.90	o 407
153.90/153.94	c 59.286 126.023 9107 4649440
153.90/153.94	o 406
153.90/154.00	c 59.317 126.023 9112 4650073
153.90/154.00	o 405
154.00/154.05	c 59.341 126.023 9117 4650630
154.00/154.05	o 404
154.10/154.15	c 59.388 126.023 9128 4651231
154.10/154.15	o 403
154.90/154.91	c 59.6319 126.023 9233 4651979
154.90/154.91	o 402
154.90/154.95	c 59.6619 126.023 9235 4652382
154.90/154.95	o 401
154.90/155.00	c 59.6869 126.023 9236 4652861
154.90/155.00	o 400
155.01/155.08	c 59.7389 126.023 9259 4653488
155.01/155.08	o 399
155.79/155.87	c 60.0329 126.023 9469 4654713
155.79/155.87	o 398
155.90/155.92	c 60.0679 126.023 9489 4655090
155.90/155.92	o 397
155.90/155.96	c 60.0949 126.023 9492 4655461
155.90/155.96	o 396
155.99/156.04	c 60.1369 126.023 9509 4655954
155.99/156.04	o 395
156.10/156.12	c 60.1729 126.023 9518 4656492
156.10/156.12	o 393
156.10/156.19	c 60.2118 126.023 9524 4657025
156.10/156.19	o 392
156.20/156.28	c 60.2528 126.023 9540 4657526
156.20/156.28	o 391
156.30/156.32	c 60.2808 126.023 9547 4658120
156.30/156.32	o 389
156.89/156.97	c 60.4958 126.023 9649 4658919
156.89/156.97	o 388
156.99/157.01	c 60.5238 126.023 9651 4659426
156.99/157.01	o 386
156.99/157.06	c 60.5568 126.023 9659 4660197
156.99/157.06	o 383
157.10/157.11	c 60.5828 126.023 9661 4660624
157.10/157.11	o 382
157.10/157.17	c 60.6158 126.777 9676 4661193
157.10/157.17	o 381
157.20/157.28	c 60.6668 126.777 9690 4661756
157.20/157.28	o 380
157.30/157.33	c 60.6938 126.777 9701 4662394
157.30/157.33	o 379
157.30/157.38	c 60.7238 126.777 9708 4663059
157.30/157.38	o 378
157.40/157.47	c 60.7638 126.777 9716 4663779
157.40/157.47	o 377
157.59/157.60	c 60.8138 126.777 9729 4664255
157.59/157.60	o 376
157.59/157.67	c 60.8577 126.777 9739 4665084
157.59/157.67	o 375
157.70/157.71	c 60.8837 126.777 9744 4665427
157.70/157.71	o 374
157.70/157.76	c 60.9117 126.777 9747 4666343
157.70/157.76	o 371
157.79/157.81	c 60.9387 126.777 9749 4666795
157.79/157.81	o 370
157.79/157.85	c 60.9637 126.777 9752 4667248
157.79/157.85	o 369
158.10/158.12	c 61.0987 126.777 9818 4667960
158.10/158.12	o 367
158.10/158.18	c 61.1277 126.777 9828 4668514
158.10/158.18	o 366
158.19/158.23	c 61.1567 126.777 9845 4668924
158.19/158.24	o 365
158.19/158.28	c 61.1777 126.777 9847 4669639
158.19/158.28	o 363
158.30/158.32	c 61.2047 126.777 9849 4670174
158.30/158.32	o 362
158.30/158.36	c 61.2307 126.777 9850 4670590
158.30/158.36	o 361
158.40/158.41	c 61.2577 126.777 9852 4670940
158.40/158.41	o 360
158.40/158.49	c 61.2977 126.777 9858 4671570
158.40/158.49	o 359
158.59/158.68	c 61.3677 126.777 9886 4671991
158.59/158.68	o 358
158.70/158.73	c 61.3967 126.777 9895 4672594
158.70/158.73	o 357
158.70/158.77	c 61.4227 126.777 9898 4672953
158.70/158.77	o 356
158.79/158.81	c 61.4457 126.777 9900 4673389
158.79/158.81	o 355
158.79/158.85	c 61.4687 126.777 9908 4673730
158.79/158.85	o 354
158.89/158.96	c 61.5216 126.777 9925 4674290
158.89/158.96	o 353
159.00/159.00	c 61.5516 126.777 9930 4674725
159.00/159.00	o 352
159.10/159.15	c 61.6236 126.777 9981 4675428
159.10/159.15	o 351
159.80/159.87	c 61.8886 126.777 10085 4676198
159.80/159.87	o 350
159.89/159.92	c 61.9206 126.777 10090 4676883
159.89/159.92	o 349
159.89/159.97	c 61.9416 126.777 10097 4677492
159.89/159.97	o 348
160.00/160.01	c 61.9676 126.777 10101 4678137
160.00/160.01	o 347
160.00/160.09	c 62.0016 126.777 10113 4678997
160.00/160.09	o 346
160.09/160.14	c 62.0306 126.777 10129 4679713
160.09/160.14	o 345
160.09/160.19	c 62.0626 126.777 10136 4680015
160.09/160.19	o 344
160.20/160.27	c 62.1036 126.777 10143 4680305
160.20/160.27	o 343
160.29/160.32	c 62.1316 126.777 10145 4680763
160.29/160.32	o 342
160.29/160.36	c 62.1625 126.777 10149 4681362
160.29/160.36	o 341
160.40/160.40	c 62.1855 126.777 10149 4682090
160.40/160.40	o 339
160.40/160.44	c 62.2135 126.777 10149 4682676
160.40/160.44	o 338
160.40/160.48	c 62.2405 126.777 10151 4683437
160.40/160.48	o 337
160.50/160.56	c 62.2745 126.777 10156 4684305
160.50/160.56	o 335
160.60/160.60	c 62.2985 126.777 10160 4684809
160.60/160.60	o 334
160.60/160.65	c 62.3225 126.777 10162 4685424
160.60/160.65	o 333
160.60/160.69	c 62.3445 126.777 10164 4686058
160.60/160.69	o 332
160.69/160.75	c 62.3805 126.777 10168 4686930
160.69/160.75	o 331
160.69/160.79	c 62.4055 126.777 10168 4687573
160.69/160.79	o 330
160.80/160.83	c 62.4305 126.777 10170 4688191
160.80/160.83	o 329
160.80/160.88	c 62.4665 126.777 10175 4688821
160.80/160.88	o 328
160.90/160.92	c 62.4925 126.777 10177 4689183
160.90/160.93	o 327
160.90/160.97	c 62.5155 126.777 10178 4689546
160.90/160.97	o 326
161.00/161.01	c 62.5355 126.777 10179 4690447
161.00/161.01	o 324
161.00/161.06	c 62.5575 126.777 10181 4691235
161.00/161.06	o 323
161.10/161.10	c 62.5775 126.777 10183 4691840
161.10/161.10	o 322
161.10/161.14	c 62.6065 126.777 10184 4692574
161.10/161.14	o 321
161.10/161.18	c 62.6285 126.777 10184 4692976
161.10/161.18	o 320
161.20/161.22	c 62.6535 126.777 10185 4693495
161.20/161.22	o 319
161.20/161.28	c 62.6825 126.777 10190 4693983
161.20/161.28	o 318
161.30/161.32	c 62.7085 126.777 10191 4694625
161.30/161.32	o 317
161.30/161.36	c 62.7325 126.777 10193 4695232
161.30/161.36	o 316
161.40/161.41	c 62.7545 126.777 10195 4695917
161.40/161.41	o 315
161.40/161.48	c 62.7895 126.777 10201 4697135
161.40/161.48	o 314
161.60/161.61	c 62.8524 126.777 10250 4697635
161.60/161.61	o 313
162.19/162.21	c 63.0634 126.777 10356 4698975
162.19/162.21	o 312
162.19/162.28	c 63.1004 126.777 10361 4699348
162.19/162.28	o 311
162.30/162.32	c 63.1314 126.777 10366 4699652
162.30/162.32	o 310
162.30/162.37	c 63.1594 126.777 10372 4700152
162.30/162.37	o 309
162.40/162.44	c 63.2024 126.777 10375 4700557
162.40/162.44	o 308
162.40/162.48	c 63.2234 126.777 10377 4700882
162.40/162.48	o 307
162.49/162.52	c 63.2434 126.777 10382 4701317
162.49/162.52	o 306
162.49/162.56	c 63.2644 126.777 10383 4701575
162.49/162.56	o 305
162.59/162.60	c 63.2904 126.777 10384 4702111
162.59/162.60	o 304
162.59/162.64	c 63.3134 126.777 10387 4702522
162.59/162.64	o 303
162.70/162.72	c 63.3464 126.777 10397 4703262
162.70/162.72	o 301
162.70/162.79	c 63.3834 126.777 10411 4703661
162.70/162.79	o 300
162.80/162.86	c 63.4134 126.777 10416 4704105
162.80/162.86	o 299
162.89/162.92	c 63.4444 126.777 10425 4704455
162.89/162.92	o 298
162.89/162.95	c 63.4674 126.777 10426 4704768
162.89/162.95	o 297
162.99/163.02	c 63.5183 126.777 10442 4705323
162.99/163.02	o 296
163.39/163.40	c 63.7113 126.777 10570 4706360
163.39/163.40	o 295
163.39/163.44	c 63.7393 126.777 10577 4706662
163.39/163.44	o 294
163.50/163.52	c 63.7953 126.777 10603 4707175
163.50/163.52	o 293
163.99/164.04	c 63.9623 126.777 10676 4708154
163.99/164.04	o 292
163.99/164.08	c 63.9873 126.777 10680 4708529
163.99/164.08	o 291
164.10/164.12	c 64.0103 126.777 10683 4708883
164.10/164.12	o 290
164.10/164.16	c 64.0343 126.777 10685 4709166
164.10/164.16	o 289
164.20/164.20	c 64.0533 126.777 10687 4709554
164.20/164.20	o 288
164.20/164.24	c 64.0753 126.777 10689 4709846
164.20/164.24	o 287
164.20/164.28	c 64.0983 126.777 10692 4710247
164.20/164.28	o 286
164.29/164.32	c 64.1243 126.777 10698 4710838
164.29/164.32	o 285
164.29/164.36	c 64.1472 126.777 5353 4711191
164.29/164.36	o 284
164.39/164.40	c 64.1722 126.777 5356 4711663
164.39/164.40	o 283
164.50/164.58	c 64.2372 126.777 5382 4712058
164.50/164.58	o 282
164.60/164.64	c 64.2782 126.777 5391 4712798
164.60/164.64	o 281
164.90/164.92	c 64.3712 126.777 5447 4713415
164.90/164.92	o 280
164.90/164.96	c 64.3972 126.777 5450 4713675
164.90/164.96	o 279
165.00/165.00	c 64.4232 126.777 5456 4713970
165.00/165.00	o 278
165.00/165.04	c 64.4472 126.777 5461 4714257
165.00/165.04	o 277
165.00/165.09	c 64.4752 126.777 5463 4714508
165.00/165.09	o 276
165.70/165.74	c 64.6982 126.777 5564 4715134
165.70/165.74	o 275
165.70/165.78	c 64.7212 126.777 5565 4715474
165.70/165.78	o 274
165.79/165.82	c 64.7422 126.777 5566 4715752
165.79/165.82	o 273
165.79/165.86	c 64.7622 126.777 5572 4716074
165.79/165.86	o 272
165.89/165.91	c 64.7922 126.777 5574 4716380
165.89/165.91	o 271
165.89/165.95	c 64.8151 126.777 5576 4716648
165.89/165.95	o 270
165.89/166.00	c 64.8451 126.777 5578 4717058
165.89/166.00	o 269
166.00/166.05	c 64.8751 126.777 5580 4717361
166.00/166.05	o 268
166.00/166.10	c 64.8981 126.777 5581 4717784
166.00/166.10	o 267
166.11/166.14	c 64.9221 126.777 5581 4718208
166.11/166.14	o 266
166.11/166.17	c 64.9461 126.777 5581 4718777
166.11/166.17	o 265
166.19/166.21	c 64.9691 126.777 5581 4719326
166.19/166.21	o 264
166.19/166.25	c 64.9931 126.777 5581 4719942
166.19/166.25	o 263
166.19/166.29	c 65.0131 126.777 5581 4720431
166.19/166.29	o 262
166.29/166.33	c 65.0341 126.777 5582 4720959
166.29/166.33	o 261
166.29/166.38	c 65.0641 126.777 5586 4721411
166.29/166.38	o 260
166.40/166.42	c 65.0861 126.777 5588 4721907
166.40/166.42	o 259
166.40/166.46	c 65.1051 126.777 5588 4722471
166.40/166.46	o 258
166.40/166.49	c 65.1321 126.777 5588 4722896
166.40/166.49	o 257
166.49/166.54	c 65.1571 126.777 5592 4723423
166.49/166.54	o 256
166.59/166.62	c 65.2011 126.777 5601 4724212
166.59/166.62	o 255
166.89/166.96	c 65.3491 126.777 5672 4724894
166.89/166.96	o 254
167.00/167.00	c 65.3811 126.777 5679 4725202
167.00/167.00	o 253
167.00/167.04	c 65.4031 126.777 5680 4725490
167.00/167.04	o 252
167.00/167.08	c 65.4241 126.777 5683 4725747
167.00/167.08	o 251
167.10/167.12	c 65.453 126.777 5684 4726196
167.10/167.12	o 250
167.10/167.18	c 65.486 126.777 5692 4726580
167.10/167.18	o 249
167.20/167.27	c 65.545 126.777 5728 4727230
167.20/167.27	o 248
167.30/167.37	c 65.604 126.777 5761 4727732
167.30/167.37	o 247
167.40/167.44	c 65.638 126.777 5769 4728204
167.40/167.44	o 246
167.40/167.48	c 65.662 126.777 5773 4728663
167.40/167.49	o 245
167.49/167.57	c 65.704 126.777 5786 4729021
167.49/167.57	o 244
167.60/167.61	c 65.728 126.777 5788 4729317
167.60/167.61	o 243
167.60/167.65	c 65.748 126.777 5790 4729642
167.60/167.65	o 242
167.60/167.69	c 65.773 126.777 5790 4729973
167.60/167.69	o 241
167.69/167.73	c 65.792 126.777 5791 4730364
167.69/167.73	o 240
167.69/167.77	c 65.817 126.777 5800 4730599
167.69/167.77	o 239
167.80/167.81	c 65.844 126.777 5809 4730876
167.80/167.81	o 238
167.89/167.99	c 65.942 126.777 5870 4731407
167.89/167.99	o 237
167.99/168.05	c 65.982 126.777 5890 4731782
167.99/168.05	o 236
168.09/168.13	c 66.019 126.777 5903 4732194
168.09/168.13	o 235
168.09/168.18	c 66.046 126.777 5911 4732637
168.09/168.18	o 234
168.20/168.24	c 66.082 126.777 5914 4732922
168.20/168.24	o 233
168.20/168.29	c 66.1099 126.777 5922 4733313
168.20/168.29	o 232
168.30/168.36	c 66.1599 126.777 5962 4733746
168.30/168.36	o 231
168.79/168.80	c 66.3929 126.777 6102 4735455
168.79/168.80	o 230
168.90/168.90	c 66.4369 126.777 6125 4735902
168.90/168.90	o 229
168.90/168.99	c 66.4889 126.777 6137 4736227
168.90/168.99	o 228
169.00/169.04	c 66.5229 126.777 6150 4736515
169.00/169.04	o 227
169.70/169.71	c 66.7609 126.777 6260 4737131
169.70/169.71	o 226
169.70/169.75	c 66.7848 126.777 6261 4737468
169.70/169.75	o 225
169.70/169.79	c 66.8058 126.777 6262 4737774
169.70/169.79	o 224
169.79/169.83	c 66.8318 126.777 6268 4738119
169.79/169.83	o 223
169.79/169.88	c 66.8608 126.777 6272 4738514
169.79/169.88	o 222
169.90/169.92	c 66.8908 126.777 6278 4738795
169.90/169.92	o 221
169.90/169.96	c 66.9158 126.777 6279 4739094
169.90/169.96	o 220
169.99/170.02	c 66.9508 126.777 6291 4739715
169.99/170.02	o 219
169.99/170.06	c 66.9748 126.777 6294 4739972
169.99/170.06	o 218
170.10/170.10	c 66.9988 126.777 6296 4740364
170.10/170.10	o 217
170.10/170.15	c 67.0248 126.777 6301 4740779
170.10/170.15	o 216
170.10/170.19	c 67.0528 126.777 6303 4741253
170.10/170.19	o 215
170.19/170.23	c 67.0768 126.777 6304 4741497
170.19/170.23	o 214
170.19/170.28	c 67.1018 126.777 6305 4741787
170.19/170.28	o 213
170.29/170.31	c 67.1228 126.777 6305 4742269
170.29/170.31	o 211
170.29/170.35	c 67.1458 126.777 6306 4742607
170.29/170.35	o 210
170.29/170.39	c 67.1658 126.777 6306 4743023
170.29/170.39	o 209
170.40/170.43	c 67.1918 126.777 6307 4743259
170.40/170.43	o 208
170.40/170.47	c 67.2138 126.777 6310 4743510
170.40/170.47	o 207
170.50/170.51	c 67.2378 126.777 6314 4743858
170.50/170.51	o 206
170.50/170.55	c 67.2628 126.777 6316 4744119
170.50/170.55	o 205
170.50/170.58	c 67.2838 126.777 6317 4744527
170.50/170.58	o 203
170.60/170.62	c 67.3068 126.777 6317 4744809
170.60/170.62	o 202
170.60/170.68	c 67.3348 126.777 6321 4745181
170.60/170.68	o 201
170.79/170.90	c 67.4188 126.777 6360 4745771
170.79/170.90	o 200
170.89/170.99	c 67.4757 126.777 6392 4746127
170.89/170.99	o 199
171.00/171.06	c 67.5237 126.777 6425 4746482
171.00/171.06	o 198
171.10/171.11	c 67.5487 126.777 6426 4746781
171.10/171.11	o 197
171.10/171.18	c 67.5777 126.777 6431 4747108
171.10/171.18	o 196
171.20/171.22	c 67.5997 126.777 6434 4747374
171.20/171.22	o 195
171.20/171.26	c 67.6267 126.777 6437 4747862
171.20/171.26	o 194
171.30/171.30	c 67.6457 126.777 6437 4748182
171.30/171.30	o 193
171.30/171.34	c 67.6707 126.777 6439 4748569
171.30/171.34	o 192
171.30/171.37	c 67.6947 126.777 6439 4748902
171.30/171.37	o 191
171.40/171.41	c 67.7157 126.777 6439 4749211
171.40/171.41	o 190
171.40/171.45	c 67.7407 126.777 6442 4749547
171.40/171.45	o 189
171.40/171.49	c 67.7647 126.777 6442 4749803
171.40/171.49	o 188
171.50/171.53	c 67.7897 126.777 6443 4750161
171.50/171.53	o 187
171.50/171.59	c 67.8207 126.777 6446 4750412
171.50/171.59	o 186
171.60/171.63	c 67.8427 126.777 6447 4750699
171.60/171.63	o 185
171.60/171.67	c 67.8657 126.777 6448 4750976
171.60/171.67	o 184
171.70/171.70	c 67.8877 126.777 6451 4751420
171.70/171.70	o 183
171.70/171.74	c 67.9127 126.777 6454 4751692
171.70/171.74	o 182
171.70/171.78	c 67.9407 126.777 6457 4751909
171.70/171.78	o 181
171.79/171.83	c 67.9797 126.777 6478 4752234
171.79/171.83	o 180
171.79/171.87	c 68.0047 126.777 6482 4752573
171.79/171.87	o 179
171.90/171.90	c 68.0267 126.777 6484 4752810
171.90/171.90	o 178
171.90/171.95	c 68.0577 126.777 6511 4753306
171.90/171.95	o 176
171.99/172.08	c 68.1246 126.777 6550 4753958
171.99/172.08	o 175
172.09/172.13	c 68.1576 126.777 6555 4754295
172.09/172.13	o 174
172.09/172.19	c 68.1876 126.777 6570 4754756
172.09/172.19	o 173
172.20/172.23	c 68.2116 126.777 6571 4755220
172.20/172.23	o 171
172.20/172.28	c 68.2366 126.777 6574 4755546
172.20/172.28	o 170
172.29/172.33	c 68.2646 126.777 6586 4755974
172.29/172.33	o 169
172.29/172.37	c 68.2876 126.777 6589 4756539
172.29/172.37	o 167
172.39/172.41	c 68.3086 126.777 6594 4756868
172.39/172.41	o 166
172.39/172.47	c 68.3336 126.777 6604 4757329
172.39/172.47	o 165
172.49/172.51	c 68.3606 126.777 6607 4757696
172.49/172.51	o 164
172.49/172.55	c 68.3836 126.777 6607 4757953
172.49/172.55	o 163
172.49/172.59	c 68.4046 126.777 6608 4758213
172.49/172.59	o 162
172.60/172.64	c 68.4326 126.777 6616 4758548
172.60/172.64	o 161
172.60/172.69	c 68.4656 126.777 6622 4758973
172.60/172.69	o 160
172.70/172.74	c 68.5026 126.777 6637 4759265
172.70/172.74	o 159
172.80/172.80	c 68.5346 126.777 6642 4759553
172.80/172.80	o 158
172.80/172.84	c 68.5586 126.777 6644 4759853
172.80/172.84	o 157
172.80/172.88	c 68.5836 126.777 6644 4760094
172.80/172.88	o 156
172.90/172.91	c 68.6076 126.777 6645 4760513
172.90/172.91	o 155
172.90/172.95	c 68.6326 126.777 6645 4760924
172.90/172.95	o 154
172.90/172.99	c 68.6556 126.777 6647 4761171
172.90/172.99	o 153
173.00/173.03	c 68.6786 126.777 6647 4761729
173.00/173.03	o 151
173.00/173.07	c 68.6996 126.777 6647 4762016
173.00/173.07	o 150
173.10/173.10	c 68.7226 126.777 6647 4762335
173.10/173.10	o 149
173.20/173.21	c 68.7685 126.777 6661 4762599
173.20/173.21	o 148
173.29/173.31	c 68.8055 126.777 6681 4762934
173.29/173.31	o 147
173.29/173.36	c 68.8405 126.777 6695 4763343
173.29/173.36	o 146
173.40/173.41	c 68.8695 126.777 6699 4763712
173.40/173.41	o 145
173.40/173.46	c 68.8965 126.777 6703 4764271
173.40/173.46	o 144
173.49/173.52	c 68.9265 126.777 6707 4764602
173.49/173.52	o 143
173.49/173.56	c 68.9505 126.777 6707 4764917
173.49/173.56	o 142
173.60/173.60	c 68.9735 126.777 6707 4765175
173.60/173.60	o 141
173.60/173.64	c 68.9955 126.777 6707 4765435
173.60/173.64	o 140
173.60/173.67	c 69.0185 126.777 6707 4765708
173.60/173.67	o 139
173.70/173.71	c 69.0415 126.777 6708 4766007
173.70/173.71	o 138
173.70/173.75	c 69.0645 126.777 6708 4766289
173.70/173.75	o 137
173.70/173.79	c 69.0865 126.777 6708 4766548
173.70/173.79	o 136
173.81/173.83	c 69.1055 126.777 6708 4766794
173.81/173.83	o 135
173.81/173.87	c 69.1245 126.777 6710 4767126
173.81/173.87	o 134
173.90/173.90	c 69.1485 126.777 6710 4767580
173.90/173.90	o 132
173.90/173.95	c 69.1755 126.777 6712 4767936
173.90/173.95	o 131
173.90/173.99	c 69.2015 126.777 6714 4768243
173.90/173.99	o 130
174.00/174.03	c 69.2255 126.777 6717 4768497
174.00/174.03	o 129
174.00/174.08	c 69.2485 126.777 6718 4768842
174.00/174.08	o 128
174.09/174.11	c 69.2745 126.777 6718 4769165
174.09/174.11	o 127
174.09/174.15	c 69.3005 126.777 6718 4769459
174.09/174.15	o 126
174.09/174.19	c 69.3215 126.777 6718 4769763
174.09/174.19	o 125
174.19/174.23	c 69.3455 126.777 6718 4770052
174.19/174.23	o 124
174.19/174.27	c 69.3695 126.777 6718 4770323
174.19/174.27	o 123
174.30/174.30	c 69.3915 126.777 6718 4770634
174.30/174.30	o 122
174.30/174.34	c 69.4144 126.777 6718 4770900
174.30/174.34	o 121
174.30/174.38	c 69.4384 126.777 6718 4771160
174.30/174.38	o 120
174.39/174.42	c 69.4644 126.777 6718 4771452
174.39/174.42	o 119
174.39/174.45	c 69.4904 126.777 6719 4771767
174.39/174.45	o 118
174.39/174.49	c 69.5184 126.777 6720 4772035
174.39/174.49	o 117
174.50/174.53	c 69.5424 126.777 6720 4772308
174.50/174.53	o 116
174.50/174.57	c 69.5674 126.777 6721 4772601
174.50/174.57	o 115
174.60/174.61	c 69.5944 126.777 6723 4772907
174.60/174.61	o 114
174.80/174.88	c 69.7384 126.777 6843 4773627
174.80/174.88	o 113
174.91/174.95	c 69.7794 126.777 6874 4773938
174.91/174.95	o 112
174.91/174.98	c 69.8024 126.777 6877 4774210
174.91/174.98	o 111
174.99/175.02	c 69.8194 126.777 6880 4774428
174.99/175.02	o 110
174.99/175.06	c 69.8434 126.777 6883 4774681
174.99/175.06	o 109
175.09/175.12	c 69.8744 126.777 6889 4774963
175.09/175.12	o 108
175.09/175.16	c 69.9014 126.777 6890 4775181
175.09/175.16	o 107
175.20/175.20	c 69.9254 126.777 6891 4775507
175.20/175.20	o 106
175.20/175.24	c 69.9504 126.777 6893 4775782
175.20/175.24	o 105
175.20/175.28	c 69.9694 126.777 6893 4776159
175.20/175.28	o 104
175.30/175.33	c 70.0014 126.777 6896 4776526
175.30/175.33	o 103
175.30/175.37	c 70.0214 126.777 6896 4776840
175.30/175.37	o 102
175.39/175.40	c 70.0444 126.777 6896 4777124
175.39/175.40	o 101
175.39/175.44	c 70.0653 126.777 6896 4777403
175.39/175.44	o 100
175.39/175.48	c 70.0863 126.777 6896 4777655
175.39/175.48	o 99
175.50/175.52	c 70.1053 126.777 6896 4777938
175.50/175.52	o 98
175.50/175.55	c 70.1233 126.777 6896 4778270
175.50/175.55	o 97
175.50/175.59	c 70.1483 126.777 6897 4778649
175.50/175.59	o 96
175.60/175.63	c 70.1723 126.777 6898 4778953
175.60/175.63	o 95
175.60/175.67	c 70.1943 126.777 6899 4779217
175.60/175.67	o 94
175.69/175.71	c 70.2163 126.777 6899 4779521
175.69/175.71	o 93
175.69/175.75	c 70.2403 126.777 5344 4779843
175.69/175.75	o 92
175.69/175.78	c 70.2633 126.777 5347 4780121
175.69/175.78	o 91
175.79/175.82	c 70.2873 126.777 5348 4780365
175.79/175.82	o 90
175.79/175.85	c 70.3093 126.777 5348 4780599
175.79/175.85	o 89
175.79/175.89	c 70.3313 126.777 5348 4780833
175.79/175.89	o 88
175.90/175.92	c 70.3533 126.777 5348 4781145
175.90/175.92	o 87
175.90/175.96	c 70.3743 126.777 5349 4781421
175.90/175.96	o 86
176.00/176.00	c 70.3993 126.777 4142 4781882
176.00/176.00	o 85
176.00/176.04	c 70.4193 126.777 4142 4782169
176.00/176.04	o 84
176.00/176.07	c 70.4423 126.777 4142 4782470
176.00/176.07	o 83
176.09/176.10	c 70.4623 126.777 4142 4782717
176.09/176.10	o 82
176.09/176.13	c 70.4833 126.777 4142 4782953
176.09/176.13	o 81
176.09/176.17	c 70.5043 126.777 4142 4783196
176.09/176.17	o 80
176.19/176.20	c 70.5293 126.777 3326 4783426
176.19/176.20	o 79
176.19/176.23	c 70.5513 126.777 3326 4783656
176.19/176.23	o 78
176.19/176.26	c 70.5693 126.777 3326 4783862
176.19/176.26	o 77
176.30/176.30	c 70.5913 126.777 3327 4784098
176.30/176.30	o 76
176.30/176.33	c 70.6153 126.777 3328 4784308
176.30/176.33	o 75
176.30/176.37	c 70.6383 126.777 3333 4784691
176.30/176.37	o 74
176.39/176.40	c 70.6623 126.777 3049 4785080
176.39/176.40	o 73
176.39/176.45	c 70.6883 126.777 3057 4785326
176.39/176.45	o 72
176.49/176.54	c 70.7602 126.777 3152 4786145
176.49/176.54	o 70
176.49/176.58	c 70.7882 126.777 3159 4786451
176.49/176.58	o 69
176.59/176.62	c 70.8162 126.777 3169 4786774
176.59/176.62	o 68
176.59/176.67	c 70.8502 126.777 3176 4787095
176.59/176.67	o 67
176.70/176.76	c 70.9102 126.777 3103 4787428
176.70/176.76	o 66
176.70/176.79	c 70.9332 126.777 3105 4787739
176.70/176.79	o 65
176.79/176.83	c 70.9552 126.777 3108 4787998
176.79/176.83	o 64
176.79/176.89	c 70.9902 126.777 3115 4788260
176.79/176.89	o 63
176.90/176.93	c 71.0112 126.777 3058 4788509
176.90/176.93	o 62
176.90/176.96	c 71.0322 126.777 3063 4788785
176.90/176.96	o 61
176.90/176.99	c 71.0532 126.777 3066 4789056
176.90/176.99	o 60
177.00/177.02	c 71.0742 126.777 3068 4789378
177.00/177.02	o 59
177.00/177.05	c 71.0942 126.777 3068 4789629
177.00/177.05	o 58
177.00/177.08	c 71.1152 126.777 3083 4789906
177.00/177.08	o 57
177.29/177.34	c 71.2792 126.777 3130 4790844
177.29/177.34	o 56
177.29/177.38	c 71.3082 126.777 3163 4791267
177.29/177.38	o 55
177.39/177.42	c 71.3342 126.777 3169 4791490
177.39/177.42	o 54
177.39/177.46	c 71.3542 126.777 3162 4791721
177.39/177.46	o 53
177.39/177.49	c 71.3751 126.777 3167 4792171
177.39/177.49	o 51
177.49/177.52	c 71.3971 126.777 3173 4792518
177.49/177.52	o 50
177.49/177.55	c 71.4151 126.777 3173 4792701
177.49/177.55	o 49
177.49/177.57	c 71.4341 126.777 3173 4792987
177.49/177.57	o 48
177.59/177.62	c 71.4741 126.777 3209 4793479
177.59/177.62	o 46
177.59/177.65	c 71.5011 126.777 3189 4793706
177.59/177.65	o 45
177.59/177.68	c 71.5191 126.777 3194 4793967
177.59/177.68	o 44
177.69/177.71	c 71.5381 126.777 3194 4794204
177.69/177.71	o 43
177.69/177.73	c 71.5571 126.777 3196 4794436
177.69/177.73	o 42
177.69/177.76	c 71.5741 126.777 3198 4794645
177.69/177.76	o 41
177.69/177.78	c 71.5911 126.777 3202 4794857
177.69/177.78	o 40
177.80/177.81	c 71.6121 126.777 3162 4795090
177.80/177.81	o 39
177.80/177.84	c 71.6351 126.777 3171 4795310
177.80/177.84	o 38
177.80/177.88	c 71.6651 126.777 3219 4795704
177.80/177.88	o 37
177.90/177.99	c 71.7271 126.777 3262 4796734
177.90/177.99	o 36
178.00/178.02	c 71.7481 126.777 3265 4796984
178.00/178.02	o 35
178.00/178.04	c 71.7661 126.777 3268 4797221
178.00/178.04	o 34
178.00/178.06	c 71.7831 126.777 3270 4797442
178.00/178.06	o 33
178.00/178.09	c 71.8031 126.777 3270 4797655
178.00/178.09	o 32
178.10/178.14	c 71.8461 126.777 3287 4798006
178.10/178.14	o 31
178.10/178.18	c 71.8761 126.777 3310 4798330
178.10/178.18	o 30
178.10/178.20	c 71.8941 126.777 3253 4798548
178.10/178.20	o 29
178.20/178.23	c 71.9151 126.777 3256 4798792
178.20/178.23	o 28
178.20/178.25	c 71.9291 126.777 3259 4799006
178.20/178.25	o 27
178.20/178.27	c 71.9451 126.777 3260 4799237
178.20/178.27	o 26
178.20/178.29	c 71.9611 126.777 3261 4799428
178.20/178.29	o 25
178.29/178.31	c 71.9811 126.777 3268 4799673
178.29/178.31	o 24
178.29/178.34	c 72.0031 126.777 3276 4800060
178.29/178.34	o 23
178.29/178.36	c 72.0241 126.777 3248 4800301
178.29/178.36	o 22
178.29/178.39	c 72.042 126.777 3253 4800666
178.29/178.39	o 21
178.39/178.41	c 72.064 126.777 3263 4800900
178.39/178.41	o 20
178.39/178.44	c 72.081 126.777 3270 4801179
178.39/178.44	o 19
178.39/178.48	c 72.115 126.777 3308 4801768
178.39/178.48	o 18
178.50/178.51	c 72.143 126.777 3285 4802166
178.50/178.51	o 17
178.50/178.54	c 72.171 126.777 3310 4802404
178.50/178.54	o 16
178.50/178.57	c 72.194 126.777 3327 4802792
178.50/178.57	o 15
178.60/178.60	c 72.216 126.777 3330 4803106
178.60/178.60	o 14
178.60/178.62	c 72.232 126.777 3322 4803348
178.60/178.62	o 13
178.60/178.64	c 72.245 126.777 3323 4803550
178.60/178.64	o 12
178.60/178.65	c 72.259 126.777 3323 4803761
178.60/178.65	o 11
178.60/178.67	c 72.273 126.777 3323 4803963
178.60/178.67	o 10
178.60/178.69	c 72.287 126.777 3323 4804162
178.60/178.69	o 9
178.69/178.70	c 72.301 126.777 3323 4804368
178.69/178.70	o 8
178.69/178.72	c 72.315 126.777 3323 4804557
178.69/178.72	o 7
178.69/178.73	c 72.329 126.777 3326 4804759
178.69/178.73	o 6
178.69/178.79	c 72.383 126.777 3412 4805391
178.69/178.79	o 5
178.79/178.81	c 72.399 126.777 3080 4805628
178.79/178.82	o 4
178.89/178.92	c 72.505 126.777 3192 4805989
178.89/178.92	o 3
178.89/178.99	c 72.573 126.777 3347 4806772
178.89/178.99	o 2
179.00/179.01	c 72.587 126.777 3347 4806987
179.00/179.01	o 1
185.40/185.46	c 78.844 129.156 18444 4852027
185.40/185.46	s OPTIMUM FOUND
185.40/185.46	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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12266
/proc/meminfo: memFree=30357672/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=2136 CPUtime=0
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 256 0 0 0 0 0 0 0 23 0 1 0 14737108 2187264 175 4089446400 134512640 136422188 4294452912 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12266/statm: 534 175 144 467 0 65 0

[startup+0.010257 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12266
/proc/meminfo: memFree=30357672/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=2136 CPUtime=0
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 269 0 0 0 0 0 0 0 23 0 1 0 14737108 2187264 188 4089446400 134512640 136422188 4294452912 18446744073709551615 135372822 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12266/statm: 534 189 144 467 0 65 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2136

[startup+0.100245 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12266
/proc/meminfo: memFree=30357672/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=9968 CPUtime=0.09
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 2179 0 0 0 9 0 0 0 24 0 1 0 14737108 10207232 2099 4089446400 134512640 136422188 4294452912 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12266/statm: 2492 2101 193 467 0 2023 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9968

[startup+0.300211 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12266
/proc/meminfo: memFree=30357672/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=60448 CPUtime=0.29
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 15389 0 0 0 27 2 0 0 25 0 1 0 14737108 61898752 14665 4089446400 134512640 136422188 4294452912 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12266/statm: 15112 14668 193 467 0 14643 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 60448

[startup+0.700136 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 12266
/proc/meminfo: memFree=30357672/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=121780 CPUtime=0.69
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 31529 0 0 0 66 3 0 0 25 0 1 0 14737108 124702720 29338 4089446400 134512640 136422188 4294452912 18446744073709551615 135017388 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12266/statm: 30445 29338 207 467 0 29976 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 121780

[startup+1.501 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12267
/proc/meminfo: memFree=30240236/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=123800 CPUtime=1.49
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 31977 0 0 0 131 18 0 0 25 0 1 0 14737108 126771200 29786 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12266/statm: 30950 29786 214 467 0 30481 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 123800

[startup+3.10077 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12267
/proc/meminfo: memFree=30239380/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=125480 CPUtime=3.09
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 32506 0 0 0 168 141 0 0 25 0 1 0 14737108 128491520 29931 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12266/statm: 31370 29931 237 467 0 30901 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 125480

[startup+6.30014 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12267
/proc/meminfo: memFree=30238344/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=126008 CPUtime=6.29
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 32651 0 0 0 300 329 0 0 25 0 1 0 14737108 129032192 30054 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12266/statm: 31502 30054 237 467 0 31033 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 126008

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12267
/proc/meminfo: memFree=30238216/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=126536 CPUtime=12.69
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 32781 0 0 0 543 726 0 0 25 0 1 0 14737108 129572864 30168 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12266/statm: 31634 30168 237 467 0 31165 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 126536

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12267
/proc/meminfo: memFree=30234416/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=127064 CPUtime=25.49
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 32970 0 0 0 1010 1539 0 0 25 0 1 0 14737108 130113536 30318 4089446400 134512640 136422188 4294452912 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12266/statm: 31766 30318 237 467 0 31297 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 127064

[startup+51.1002 s]
/proc/loadavg: 2.07 2.02 1.96 3/179 12269
/proc/meminfo: memFree=30233248/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=127988 CPUtime=51.1
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 33231 0 0 0 1888 3222 0 0 25 0 1 0 14737108 131059712 30569 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12266/statm: 31997 30569 237 467 0 31528 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 127988

[startup+102.306 s]
/proc/loadavg: 2.03 2.01 1.96 3/179 12269
/proc/meminfo: memFree=30231700/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=129044 CPUtime=102.3
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 33609 0 0 0 3747 6483 0 0 25 0 1 0 14737108 132141056 30822 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/12266/statm: 32261 30822 237 467 0 31792 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 129044

[startup+162.301 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 12271
/proc/meminfo: memFree=30229520/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=129816 CPUtime=162.3
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 34237 0 0 0 6311 9919 0 0 25 0 1 0 14737108 132931584 30955 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12266/statm: 32454 30955 237 467 0 31985 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 129816

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

[startup+166.301 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 12271
/proc/meminfo: memFree=30228276/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=129816 CPUtime=166.29
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 34294 0 0 0 6501 10128 0 0 25 0 1 0 14737108 132931584 30964 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12266/statm: 32454 30964 237 467 0 31985 0
Current children cumulated CPU time (s) 166.29
Current children cumulated vsize (KiB) 129816

[startup+179.101 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 12271
/proc/meminfo: memFree=30227764/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=129816 CPUtime=179.1
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 34548 0 0 0 7267 10643 0 0 25 0 1 0 14737108 132931584 30967 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12266/statm: 32454 30967 237 467 0 31985 0
Current children cumulated CPU time (s) 179.1
Current children cumulated vsize (KiB) 129816

[startup+182.301 s]
/proc/loadavg: 2.01 2.00 1.96 3/179 12272
/proc/meminfo: memFree=30227884/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=130080 CPUtime=182.3
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 34623 0 0 0 7576 10654 0 0 25 0 1 0 14737108 133201920 31042 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12266/statm: 32520 31042 237 467 0 32051 0
Current children cumulated CPU time (s) 182.3
Current children cumulated vsize (KiB) 130080

[startup+183.901 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 12272
/proc/meminfo: memFree=30226892/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=131136 CPUtime=183.9
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 34900 0 0 0 7732 10658 0 0 25 0 1 0 14737108 134283264 31319 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12266/statm: 32784 31319 237 467 0 32315 0
Current children cumulated CPU time (s) 183.9
Current children cumulated vsize (KiB) 131136

[startup+184.701 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 12272
/proc/meminfo: memFree=30226140/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=131664 CPUtime=184.7
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 35044 0 0 0 7810 10660 0 0 25 0 1 0 14737108 134823936 31463 4089446400 134512640 136422188 4294452912 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12266/statm: 32916 31463 237 467 0 32447 0
Current children cumulated CPU time (s) 184.7
Current children cumulated vsize (KiB) 131664

[startup+185.1 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 12272
/proc/meminfo: memFree=30226140/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=131928 CPUtime=185.09
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 35104 0 0 0 7848 10661 0 0 25 0 1 0 14737108 135094272 31523 4089446400 134512640 136422188 4294452912 18446744073709551615 134860008 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12266/statm: 32982 31523 237 467 0 32513 0
Current children cumulated CPU time (s) 185.09
Current children cumulated vsize (KiB) 131928

[startup+185.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 12272
/proc/meminfo: memFree=30226140/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=124396 CPUtime=185.5
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 35162 0 0 0 7888 10662 0 0 25 0 1 0 14737108 127381504 29980 4089446400 134512640 136422188 4294452912 18446744073709551615 135801495 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12266/statm: 31099 29980 240 467 0 30630 0
Current children cumulated CPU time (s) 185.5
Current children cumulated vsize (KiB) 124396

[startup+185.6 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 12272
/proc/meminfo: memFree=30226140/32950928 swapFree=4192956/4192956
[pid=12266] ppid=12264 vsize=120300 CPUtime=185.59
/proc/12266/stat : 12266 (pbct) R 12264 12266 11722 0 -1 4202496 35162 0 0 0 7897 10662 0 0 25 0 1 0 14737108 123187200 29165 4089446400 134512640 136422188 4294452912 18446744073709551615 134701755 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12266/statm: 30075 29165 240 467 0 29606 0
Current children cumulated CPU time (s) 185.59
Current children cumulated vsize (KiB) 120300

Child status: 0
Real time (s): 185.681
CPU time (s): 185.685
CPU user time (s): 79.055
CPU system time (s): 106.63
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 132252

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

runsolver used 0.336948 second user time and 0.687895 second system time

The end

Launcher Data 

Begin job on node124 at 2010-07-07 03:13:57
IDJOB=2699127
IDBENCH=79332
IDSOLVER=1212
FILE ID=node124/2699127-1278465237
PBS_JOBID= 11233745
Free space on /tmp= 130268 MiB

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

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

MD5SUM BENCH= 65e5bfc23cfeb9f0d41691b20b2e7f01
RANDOM SEED=285176452

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30358324 kB
Buffers:        106180 kB
Cached:        2235616 kB
SwapCached:          0 kB
Active:         839212 kB
Inactive:      1648112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30358324 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2404 kB
Writeback:           0 kB
AnonPages:      146036 kB
Mapped:          15464 kB
Slab:            72052 kB
PageTables:       5296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  20668420 kB
Committed_AS:   287392 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    265212 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 130268 MiB
End job on node124 at 2010-07-07 03:17:03