Trace number 2698891

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 152.609 152.605

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv10.ucl--soft-66-100-0.wbo
MD5SUMd386dfc8e47349268f453a2b59efbfb7
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.128979
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables8937
Total number of constraints26319
Number of soft constraints8922
Number of constraints which are clauses26047
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints272
Minimum length of a constraint1
Maximum length of a constraint9
Top cost 446674
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 446673
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
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.10/0.15	c constraints 182/90 clauses 17198/8825 units 11
0.10/0.15	c vars 8937
0.89/0.91	c 0.85287 116.688 12 50256
0.89/0.91	o 2598
0.89/1.00	c 0.904862 118.195 20 102809
0.89/1.00	o 2537
0.99/1.04	c 0.927858 118.195 27 118361
0.99/1.04	o 1760
0.99/1.07	c 0.947855 118.195 32 127586
0.99/1.07	o 1755
1.19/1.25	c 1.05684 118.195 80 129433
1.19/1.25	o 1754
3.69/3.74	c 2.67959 118.324 841 152789
3.69/3.74	o 1753
4.79/4.86	c 3.38149 118.453 1208 174259
4.79/4.86	o 1752
4.89/4.93	c 3.43748 118.453 1219 178003
4.89/4.93	o 1749
4.99/5.04	c 3.51846 118.453 1248 184223
4.99/5.04	o 1748
5.09/5.13	c 3.57446 118.453 1264 189391
5.09/5.13	o 1746
5.19/5.29	c 3.67044 118.453 1291 193609
5.19/5.29	o 1745
5.79/5.83	c 4.02239 118.453 1416 197771
5.79/5.83	o 1742
5.79/5.89	c 4.06738 118.453 1433 203247
5.79/5.89	o 1741
5.89/5.92	c 4.09238 118.453 1437 212681
5.89/5.92	o 1716
5.89/5.98	c 4.13237 118.453 1452 223243
5.89/5.98	o 1699
6.00/6.08	c 4.20036 118.453 1484 225978
6.00/6.08	o 1698
6.29/6.30	c 4.35134 118.453 1549 232373
6.29/6.30	o 1696
6.39/6.43	c 4.43832 118.582 1591 238150
6.39/6.43	o 1695
6.89/6.94	c 4.80627 118.582 1719 247281
6.89/6.94	o 1694
8.89/8.96	c 6.11907 118.711 2315 256585
8.89/8.96	o 1692
9.09/9.10	c 6.20906 118.711 2339 260137
9.09/9.10	o 1691
9.70/9.73	c 6.61999 118.711 2500 265451
9.70/9.73	o 1690
10.99/11.03	c 7.48886 118.84 2858 275037
10.99/11.03	o 1688
11.09/11.12	c 7.55285 118.84 2873 276203
11.09/11.12	o 1687
11.19/11.27	c 7.65984 118.84 2909 278229
11.19/11.27	o 1686
11.39/11.46	c 7.79481 118.84 2949 281955
11.39/11.46	o 1685
11.49/11.56	c 7.8598 118.84 2976 283313
11.49/11.56	o 1684
11.89/11.94	c 8.09877 118.84 3055 284607
11.89/11.94	o 1683
12.19/12.21	c 8.26474 118.84 3150 286135
12.19/12.21	o 1682
12.29/12.31	c 8.33673 118.84 3184 292046
12.29/12.31	o 1681
12.39/12.45	c 8.43572 118.84 3206 293870
12.39/12.45	o 1679
12.69/12.72	c 8.60969 118.84 3276 296752
12.69/12.72	o 1678
12.79/12.85	c 8.70768 118.84 3307 298711
12.79/12.85	o 1677
12.89/12.91	c 8.74367 118.84 3320 303508
12.89/12.91	o 1668
12.89/12.94	c 8.76367 118.84 3322 306232
12.89/12.94	o 1666
12.89/12.98	c 8.79466 118.84 3330 308409
12.89/12.98	o 1664
12.99/13.01	c 8.81766 118.84 3337 310241
12.99/13.01	o 1661
12.99/13.06	c 8.85065 118.84 3347 313279
12.99/13.06	o 1654
13.10/13.12	c 8.88565 118.84 3359 315810
13.10/13.12	o 1653
13.10/13.15	c 8.90765 118.969 3368 326238
13.10/13.15	o 1609
13.10/13.17	c 8.92764 118.969 3372 336491
13.10/13.17	o 1355
13.10/13.20	c 8.95064 118.969 3375 339165
13.10/13.20	o 1351
13.20/13.23	c 8.97763 118.969 3379 342018
13.20/13.23	o 1348
13.20/13.26	c 8.99363 118.969 3380 344931
13.20/13.26	o 1337
13.20/13.28	c 9.00863 118.969 3380 353924
13.20/13.28	o 1298
13.29/13.34	c 9.04662 118.969 3391 355498
13.29/13.34	o 1297
13.29/13.36	c 9.06562 118.969 3396 357213
13.29/13.36	o 1294
16.99/17.03	c 11.4603 119.098 4310 362475
16.99/17.03	o 1293
17.49/17.55	c 11.8012 119.098 4452 364835
17.49/17.55	o 1291
17.59/17.64	c 11.8642 119.098 4468 365689
17.59/17.64	o 1290
17.59/17.68	c 11.8952 119.098 4478 366507
17.59/17.68	o 1289
17.80/17.86	c 12.0112 119.098 4518 368444
17.80/17.86	o 1285
18.19/18.22	c 12.2331 119.098 4629 370921
18.19/18.22	o 1284
18.19/18.27	c 12.2661 119.098 4635 372234
18.19/18.27	o 1283
18.30/18.30	c 12.2891 119.098 4639 373396
18.30/18.30	o 1279
18.30/18.34	c 12.3131 119.098 4641 375061
18.30/18.34	o 1276
18.39/18.40	c 12.3541 119.227 4670 377496
18.39/18.40	o 1274
19.99/20.08	c 13.448 119.227 5118 383534
19.99/20.08	o 1273
20.30/20.34	c 13.6249 119.227 5162 384747
20.30/20.34	o 1272
21.09/21.20	c 14.1858 119.227 5370 388617
21.09/21.20	o 1271
21.49/21.53	c 14.4118 119.359 5441 389618
21.49/21.53	o 1270
21.59/21.64	c 14.4838 119.359 5463 390713
21.59/21.64	o 1268
21.69/21.73	c 14.5468 119.359 5484 394528
21.69/21.73	o 1266
22.39/22.48	c 15.0147 119.359 5675 399928
22.39/22.48	o 1264
22.59/22.66	c 15.1337 119.359 5731 403407
22.59/22.66	o 1262
22.59/22.68	c 15.1587 119.359 5740 405125
22.59/22.68	o 1260
22.69/22.71	c 15.1837 119.359 5745 411773
22.69/22.71	o 1237
22.69/22.76	c 15.2187 119.359 5752 413689
22.69/22.76	o 1236
22.99/23.09	c 15.4317 119.359 5825 415198
22.99/23.09	o 1235
23.10/23.12	c 15.4576 119.359 5827 416459
23.10/23.12	o 1234
23.10/23.17	c 15.4926 119.359 5836 417492
23.10/23.17	o 1232
23.19/23.25	c 15.5376 119.359 5856 419488
23.19/23.25	o 1230
24.79/24.82	c 16.5575 119.488 6271 433596
24.79/24.82	o 1229
24.89/24.90	c 16.6095 119.488 6279 435253
24.89/24.90	o 1228
24.89/24.93	c 16.6285 119.488 6282 438434
24.89/24.93	o 1225
24.89/24.95	c 16.6505 119.488 6283 442762
24.89/24.95	o 1219
25.00/25.03	c 16.7025 119.488 6293 444578
25.00/25.03	o 1218
25.50/25.56	c 17.0424 119.488 6415 449302
25.50/25.56	o 1217
25.59/25.61	c 17.0794 119.488 6424 450045
25.59/25.61	o 1216
25.69/25.72	c 17.1574 119.488 6458 451149
25.69/25.72	o 1215
25.79/25.81	c 17.2084 119.488 6475 451865
25.79/25.81	o 1214
25.99/26.01	c 17.3424 119.488 6520 456453
25.99/26.01	o 1211
26.19/26.26	c 17.4953 119.488 6586 458365
26.19/26.26	o 1207
26.19/26.30	c 17.5203 119.488 6598 459219
26.19/26.30	o 1205
26.30/26.35	c 17.5553 119.488 6608 462975
26.30/26.35	o 1204
27.19/27.21	c 18.1202 119.617 6821 466016
27.19/27.21	o 1203
27.19/27.29	c 18.1712 119.617 6875 467141
27.19/27.29	o 1202
27.29/27.33	c 18.1992 119.617 6887 467981
27.29/27.33	o 1200
27.29/27.37	c 18.2242 119.617 6893 470394
27.29/27.37	o 1198
27.40/27.41	c 18.2522 119.617 6902 472970
27.40/27.41	o 1196
27.40/27.45	c 18.2852 119.617 6907 476365
27.40/27.45	o 1191
27.69/27.70	c 18.4502 119.617 6954 481020
27.69/27.70	o 1190
27.69/27.79	c 18.5072 119.617 6979 482416
27.69/27.79	o 1189
27.79/27.84	c 18.5432 119.617 6989 483441
27.79/27.84	o 1187
27.79/27.87	c 18.5672 119.617 6994 485027
27.79/27.87	o 1179
27.89/27.90	c 18.5922 119.617 6998 486517
27.89/27.90	o 1178
27.89/27.93	c 18.6102 119.617 7000 487901
27.89/27.93	o 1175
27.89/27.99	c 18.6602 119.617 7010 489342
27.89/27.99	o 1173
28.50/28.54	c 19.0061 119.617 7162 491647
28.50/28.54	o 1171
28.79/28.80	c 19.1791 119.617 7212 492413
28.79/28.80	o 1170
29.40/29.41	c 19.549 119.617 7395 494317
29.40/29.41	o 1168
29.40/29.46	c 19.585 119.617 7404 496274
29.40/29.46	o 1161
29.50/29.51	c 19.623 119.617 7413 497136
29.50/29.51	o 1157
29.50/29.55	c 19.658 119.617 7419 498681
29.50/29.55	o 1155
29.50/29.59	c 19.685 119.617 7432 499529
29.50/29.59	o 1154
29.60/29.63	c 19.722 119.617 7440 500513
29.60/29.63	o 1152
29.60/29.66	c 19.742 119.746 7440 501900
29.60/29.66	o 1151
29.60/29.68	c 19.764 119.746 7440 503427
29.60/29.68	o 1149
29.70/29.73	c 19.792 119.746 7442 504818
29.70/29.73	o 1148
30.09/30.17	c 20.1079 119.746 7543 506630
30.09/30.17	o 1147
30.19/30.23	c 20.1559 119.746 7552 507703
30.19/30.23	o 1144
30.99/31.04	c 20.6749 119.746 7742 510196
30.99/31.04	o 1142
30.99/31.08	c 20.7039 119.746 7747 510834
30.99/31.08	o 1141
31.29/31.31	c 20.8748 119.746 7822 511642
31.29/31.31	o 1140
32.79/32.83	c 21.8657 119.875 8141 516765
32.79/32.83	o 1137
32.79/32.86	c 21.8897 119.875 8143 518800
32.79/32.86	o 1136
33.00/33.05	c 22.0037 119.875 8184 520087
33.00/33.05	o 1133
33.79/33.83	c 22.4896 119.875 8395 524943
33.79/33.83	o 1126
33.79/33.88	c 22.5306 119.875 8408 527977
33.79/33.88	o 1124
33.89/33.96	c 22.5826 119.875 8421 528611
33.89/33.96	o 1123
33.89/33.99	c 22.6046 119.875 8422 529691
33.89/33.99	o 1122
34.00/34.01	c 22.6236 119.875 8426 531293
34.00/34.01	o 1121
34.00/34.05	c 22.6516 119.875 8430 533297
34.00/34.05	o 1116
34.00/34.09	c 22.6816 119.875 8440 537241
34.00/34.09	o 1113
34.10/34.12	c 22.7035 119.875 8444 539472
34.10/34.12	o 1111
34.10/34.15	c 22.7235 119.875 8451 541922
34.10/34.15	o 1110
34.10/34.17	c 22.7445 119.875 8451 544023
34.10/34.17	o 1106
34.10/34.19	c 22.7625 119.875 8451 545044
34.10/34.19	o 1105
34.19/34.22	c 22.7835 119.875 8452 547981
34.19/34.22	o 1094
34.19/34.26	c 22.8115 119.875 8460 549652
34.19/34.26	o 1091
34.30/34.33	c 22.8585 119.875 8468 551179
34.30/34.33	o 1090
34.99/35.00	c 23.2995 119.875 8628 552940
34.99/35.00	o 1088
35.29/35.32	c 23.5154 119.875 8703 554873
35.29/35.32	o 1086
36.09/36.17	c 24.0613 120.004 8924 556451
36.09/36.17	o 1085
36.49/36.53	c 24.3093 120.004 9003 557415
36.49/36.53	o 1084
37.00/37.09	c 24.7042 120.004 9127 560981
37.00/37.09	o 1083
37.09/37.19	c 24.7682 120.004 9150 563598
37.09/37.19	o 1082
37.40/37.47	c 24.9612 120.004 9208 564708
37.40/37.47	o 1081
38.09/38.15	c 25.4041 120.004 9368 566529
38.09/38.15	o 1079
38.50/38.58	c 25.7021 120.004 9461 568158
38.50/38.58	o 1072
38.69/38.76	c 25.8121 120.133 9524 570322
38.69/38.76	o 1071
39.19/39.21	c 26.095 120.133 9640 571666
39.19/39.21	o 1070
39.69/39.72	c 26.429 120.133 9770 573810
39.69/39.72	o 1069
39.69/39.75	c 26.453 120.133 9771 575091
39.69/39.75	o 1067
39.79/39.81	c 26.485 120.133 9779 577653
39.79/39.81	o 1057
39.79/39.86	c 26.522 120.133 9788 579400
39.79/39.86	o 1056
39.89/39.91	c 26.558 120.133 9796 580504
39.89/39.91	o 1054
39.89/39.96	c 26.605 120.133 9810 583170
39.89/39.96	o 1053
40.19/40.20	c 26.7619 120.133 9859 583826
40.19/40.20	o 1052
40.29/40.37	c 26.8789 120.133 9912 585317
40.29/40.37	o 1050
40.39/40.48	c 26.9469 120.133 9941 586048
40.39/40.48	o 1049
40.79/40.87	c 27.1969 120.133 10042 587668
40.79/40.87	o 1047
40.89/40.92	c 27.2289 120.133 10049 588418
40.89/40.92	o 1046
40.89/40.97	c 27.2659 120.133 10059 589574
40.89/40.97	o 1043
40.99/41.01	c 27.2949 120.133 10067 590550
40.99/41.01	o 1042
40.99/41.06	c 27.3358 120.133 10070 591478
40.99/41.06	o 1041
41.10/41.11	c 27.3718 120.133 10076 594057
41.10/41.11	o 1037
41.10/41.14	c 27.3938 120.133 10077 598389
41.10/41.14	o 1019
41.19/41.21	c 27.4428 120.133 10085 600902
41.19/41.21	o 1016
41.59/41.67	c 27.7478 120.262 10225 603029
41.59/41.67	o 1015
41.80/41.86	c 27.8658 120.262 10258 604514
41.80/41.86	o 1014
41.99/42.01	c 27.9657 120.262 10303 605624
41.99/42.01	o 1013
41.99/42.08	c 28.0147 120.262 10311 606795
41.99/42.08	o 1009
42.09/42.13	c 28.0457 120.262 10325 607805
42.09/42.13	o 1008
42.29/42.36	c 28.2107 120.262 10375 608761
42.29/42.36	o 1007
42.39/42.47	c 28.2837 120.262 10396 609617
42.39/42.47	o 1006
42.69/42.77	c 28.4767 120.262 10468 610364
42.69/42.77	o 1005
42.80/42.82	c 28.5067 120.262 10476 611619
42.80/42.82	o 1003
43.19/43.22	c 28.7686 120.262 10609 613040
43.19/43.22	o 1002
43.39/43.40	c 28.8936 120.262 10668 615242
43.39/43.40	o 1001
44.19/44.21	c 29.4105 120.262 5497 618426
44.19/44.21	o 1000
44.69/44.76	c 29.7705 120.262 5624 619910
44.69/44.76	o 999
45.19/45.27	c 30.0864 120.262 5732 621535
45.19/45.27	o 998
45.29/45.32	c 30.1254 120.262 5739 622305
45.29/45.32	o 997
45.29/45.37	c 30.1624 120.262 5745 623657
45.29/45.37	o 996
45.79/45.89	c 30.5074 120.262 5883 626178
45.79/45.89	o 995
46.20/46.22	c 30.7213 120.262 5960 626831
46.20/46.22	o 994
46.29/46.39	c 30.8353 120.262 5991 628104
46.29/46.39	o 993
46.49/46.53	c 30.9403 120.262 6009 630109
46.49/46.53	o 991
46.70/46.71	c 31.0623 120.262 6050 632511
46.70/46.71	o 988
46.70/46.75	c 31.0933 120.262 6056 633682
46.70/46.75	o 986
46.99/47.09	c 31.3302 120.262 6137 634793
46.99/47.09	o 985
47.59/47.64	c 31.6652 120.262 6243 636499
47.59/47.64	o 984
51.70/51.72	c 34.2678 120.262 7204 641026
51.70/51.72	o 981
51.70/51.78	c 34.2998 120.262 7222 641677
51.70/51.78	o 979
51.79/51.88	c 34.3638 120.262 7249 642524
51.79/51.88	o 978
52.39/52.40	c 34.6847 120.262 7374 643827
52.39/52.40	o 977
53.40/53.42	c 35.3096 120.262 7657 645608
53.40/53.42	o 975
54.40/54.49	c 36.0215 120.262 7928 649134
54.40/54.49	o 974
54.69/54.75	c 36.1955 120.262 7992 650455
54.69/54.75	o 973
55.89/55.90	c 36.9604 120.262 8343 652510
55.89/55.90	o 972
55.89/56.00	c 37.0254 120.262 8372 652829
55.89/56.00	o 971
56.30/56.35	c 37.2583 120.262 8488 654924
56.30/56.35	o 970
56.40/56.45	c 37.3303 120.262 8507 656785
56.40/56.45	o 969
56.40/56.48	c 37.3533 120.262 8512 657754
56.40/56.48	o 968
56.50/56.52	c 37.3823 120.262 8519 659365
56.50/56.52	o 967
57.10/57.12	c 37.7693 120.262 8685 662156
57.10/57.12	o 964
57.30/57.34	c 37.9142 120.262 8748 663767
57.30/57.34	o 963
57.39/57.43	c 37.9842 120.262 8772 664481
57.39/57.43	o 962
57.49/57.50	c 38.0302 120.262 8796 665782
57.49/57.50	o 960
57.49/57.58	c 38.0772 120.262 8816 666526
57.49/57.58	o 959
57.60/57.62	c 38.1092 120.262 8831 667118
57.60/57.62	o 958
57.69/57.76	c 38.1992 120.262 8852 667835
57.69/57.76	o 956
57.80/57.85	c 38.2562 120.262 8868 668320
57.80/57.85	o 955
57.80/57.88	c 38.2722 120.262 8871 669200
57.80/57.88	o 953
57.89/57.93	c 38.3072 120.262 8882 671381
57.89/57.93	o 946
57.89/57.96	c 38.3262 120.262 8886 673387
57.89/57.96	o 941
58.10/58.11	c 38.4382 120.262 8922 674382
58.10/58.11	o 939
58.10/58.20	c 38.4921 120.262 8944 675329
58.10/58.20	o 938
58.20/58.29	c 38.5591 120.262 8959 676161
58.20/58.29	o 937
59.30/59.34	c 39.207 120.262 9278 678342
59.30/59.34	o 933
59.49/59.56	c 39.346 120.262 9320 678982
59.49/59.56	o 932
61.69/61.75	c 40.7498 120.262 9853 681680
61.69/61.75	o 931
62.19/62.28	c 41.1018 120.262 9987 684043
62.19/62.28	o 929
62.90/62.97	c 41.5597 120.262 10240 686384
62.90/62.97	o 928
63.29/63.39	c 41.8316 120.262 10371 687879
63.29/63.39	o 927
63.39/63.48	c 41.8986 120.262 10384 688513
63.39/63.48	o 926
63.59/63.67	c 42.0246 120.262 10422 690286
63.59/63.67	o 925
63.70/63.73	c 42.0726 120.262 10456 691479
63.70/63.73	o 923
63.79/63.84	c 42.1396 120.262 10478 692318
63.79/63.84	o 922
64.40/64.41	c 42.4815 120.262 10602 693350
64.40/64.41	o 921
64.49/64.51	c 42.5475 120.262 10625 693839
64.49/64.51	o 920
64.49/64.56	c 42.5835 120.262 10644 694321
64.49/64.56	o 919
64.59/64.64	c 42.6375 120.262 10659 694614
64.59/64.64	o 918
64.70/64.70	c 42.6825 120.262 10673 695201
64.70/64.70	o 917
64.70/64.77	c 42.7325 120.262 10686 696402
64.70/64.77	o 915
64.80/64.81	c 42.7555 120.262 10693 696990
64.80/64.81	o 914
65.29/65.34	c 43.1034 120.262 5402 698100
65.29/65.34	o 912
65.39/65.46	c 43.1794 120.262 5443 698825
65.39/65.46	o 911
65.50/65.51	c 43.2114 120.262 5454 699564
65.50/65.51	o 909
65.50/65.56	c 43.2414 120.262 5460 700165
65.50/65.56	o 908
65.59/65.62	c 43.2884 120.262 5479 700746
65.59/65.62	o 907
66.10/66.13	c 43.6404 120.262 5593 703643
66.10/66.13	o 903
66.49/66.58	c 43.9483 120.262 5713 707458
66.49/66.58	o 901
66.59/66.61	c 43.9693 120.262 5715 709398
66.59/66.61	o 895
66.59/66.63	c 43.9873 120.262 5716 710753
66.59/66.63	o 891
66.59/66.66	c 44.0043 120.262 5720 712652
66.59/66.66	o 886
66.59/66.69	c 44.0263 120.262 5725 715421
66.59/66.69	o 881
66.70/66.76	c 44.0713 120.262 5734 716887
66.70/66.76	o 877
67.19/67.28	c 44.4142 120.262 5852 718130
67.19/67.28	o 875
68.10/68.13	c 44.9492 120.262 6075 719992
68.10/68.13	o 873
68.10/68.17	c 44.9752 120.262 6080 721205
68.10/68.17	o 869
68.20/68.25	c 45.0372 120.262 6095 722599
68.20/68.25	o 864
68.29/68.38	c 45.1251 120.262 6117 723531
68.29/68.38	o 863
68.39/68.44	c 45.1681 120.262 6151 724762
68.39/68.44	o 862
68.49/68.51	c 45.2141 120.262 6160 726833
68.49/68.51	o 857
68.49/68.53	c 45.2331 120.262 6160 727363
68.49/68.53	o 856
68.49/68.56	c 45.2591 120.262 6173 728098
68.49/68.56	o 854
68.49/68.60	c 45.2781 120.262 6177 729426
68.49/68.60	o 853
68.89/68.95	c 45.5161 120.262 6285 731643
68.89/68.95	o 851
69.30/69.37	c 45.805 120.262 6388 732807
69.30/69.37	o 849
69.80/69.85	c 46.111 120.262 6513 734061
69.80/69.85	o 848
69.89/69.91	c 46.156 120.262 6524 736395
69.89/69.91	o 846
70.40/70.43	c 46.5019 120.262 6648 738455
70.40/70.43	o 845
70.50/70.59	c 46.5979 120.262 6679 739159
70.50/70.59	o 844
70.59/70.65	c 46.6449 120.262 6698 739941
70.59/70.65	o 843
70.69/70.74	c 46.7049 120.262 6728 740523
70.69/70.74	o 842
71.10/71.14	c 46.9759 120.262 6864 742639
71.10/71.14	o 841
71.10/71.18	c 47.0059 120.262 6875 743217
71.10/71.18	o 840
71.20/71.25	c 47.0448 120.262 6884 743964
71.20/71.25	o 838
71.20/71.27	c 47.0668 120.262 6896 744746
71.20/71.27	o 836
71.29/71.32	c 47.0948 120.262 6900 746056
71.29/71.32	o 834
71.29/71.34	c 47.1148 120.262 6902 746520
71.29/71.34	o 833
71.29/71.38	c 47.1368 120.262 6905 747578
71.29/71.38	o 831
71.50/71.58	c 47.2688 120.262 6937 748496
71.50/71.58	o 830
72.20/72.27	c 47.7327 120.262 7129 750588
72.20/72.27	o 829
72.60/72.67	c 48.0057 120.262 7257 752328
72.60/72.67	o 827
72.69/72.70	c 48.0217 120.262 7261 753329
72.69/72.70	o 825
72.99/73.04	c 48.2427 120.262 7332 754557
72.99/73.04	o 823
73.40/73.47	c 48.5386 120.262 7457 755811
73.40/73.47	o 822
73.59/73.63	c 48.6396 120.262 7506 757089
73.59/73.63	o 820
73.59/73.66	c 48.6616 120.262 7515 758710
73.59/73.66	o 818
73.59/73.69	c 48.6886 120.262 7516 759142
73.59/73.69	o 817
73.70/73.72	c 48.7146 120.262 7518 760167
73.70/73.72	o 816
73.80/73.80	c 48.7736 120.262 7529 760764
73.80/73.80	o 814
73.80/73.85	c 48.8136 120.262 7542 761986
73.80/73.85	o 813
73.80/73.87	c 48.8356 120.262 7542 763991
73.80/73.87	o 808
73.89/73.91	c 48.8546 120.262 7546 765100
73.89/73.91	o 806
73.89/73.95	c 48.8796 120.262 7550 766398
73.89/73.95	o 804
73.89/73.99	c 48.9036 120.262 7557 767597
73.89/73.99	o 801
74.00/74.02	c 48.9306 120.262 7563 768261
74.00/74.02	o 799
74.09/74.11	c 48.9906 120.262 7576 768805
74.09/74.11	o 798
74.19/74.29	c 49.1185 120.262 7638 769159
74.19/74.29	o 797
74.30/74.33	c 49.1455 120.262 7645 769803
74.30/74.33	o 795
74.39/74.42	c 49.2035 120.262 7660 770507
74.39/74.42	o 793
74.39/74.46	c 49.2355 120.262 7667 771157
74.39/74.46	o 792
74.60/74.62	c 49.3465 120.262 7713 771835
74.60/74.62	o 791
74.60/74.65	c 49.3745 120.262 7718 772930
74.60/74.65	o 789
74.60/74.68	c 49.3965 120.262 7724 773627
74.60/74.68	o 788
74.70/74.75	c 49.4435 120.262 7745 774566
74.70/74.75	o 786
74.80/74.84	c 49.4965 120.262 7759 775953
74.80/74.84	o 785
75.99/76.01	c 50.2774 120.262 8048 778555
75.99/76.01	o 784
75.99/76.06	c 50.3154 120.262 8061 778997
75.99/76.07	o 783
76.09/76.13	c 50.3663 120.262 8075 779495
76.09/76.13	o 782
76.09/76.17	c 50.3953 120.262 8092 780830
76.09/76.17	o 780
76.20/76.28	c 50.4643 120.262 8112 781439
76.20/76.28	o 777
76.50/76.57	c 50.6683 120.262 8218 783083
76.50/76.57	o 776
77.00/77.07	c 50.9772 120.262 8345 784817
77.00/77.07	o 775
77.09/77.16	c 51.0432 120.262 8365 785411
77.09/77.17	o 773
77.49/77.51	c 51.2592 120.262 8474 786485
77.49/77.51	o 771
77.49/77.57	c 51.3042 120.262 8485 787476
77.49/77.57	o 770
77.60/77.61	c 51.3352 120.262 8491 788364
77.60/77.61	o 767
77.69/77.74	c 51.4202 120.262 8516 788870
77.69/77.74	o 766
78.49/78.56	c 51.9431 120.262 8720 791020
78.49/78.56	o 765
78.89/78.97	c 52.2141 120.262 8827 791965
78.89/78.97	o 764
78.99/79.01	c 52.2491 120.262 8831 792349
78.99/79.01	o 762
78.99/79.07	c 52.295 120.262 8849 792891
78.99/79.07	o 761
79.10/79.13	c 52.336 120.262 8877 793119
79.10/79.13	o 760
79.50/79.51	c 52.595 120.262 8955 794721
79.50/79.51	o 759
79.79/79.85	c 52.826 120.262 9058 795993
79.79/79.85	o 758
79.89/79.92	c 52.879 120.262 9069 796670
79.89/79.92	o 756
80.10/80.11	c 53.0099 120.262 9109 797068
80.10/80.11	o 755
80.19/80.29	c 53.1369 120.262 9145 797561
80.19/80.29	o 754
80.30/80.34	c 53.1719 120.262 9160 798456
80.30/80.34	o 753
80.30/80.37	c 53.1949 120.262 9165 799046
80.30/80.37	o 752
80.40/80.46	c 53.2529 120.262 9183 800460
80.40/80.46	o 751
80.89/80.96	c 53.5719 120.262 9295 804105
80.89/80.96	o 749
81.50/81.50	c 53.9208 120.262 9413 805724
81.50/81.50	o 748
81.50/81.55	c 53.9618 120.262 9420 806190
81.50/81.55	o 747
81.50/81.59	c 53.9928 120.262 9426 807230
81.50/81.59	o 746
81.59/81.64	c 54.0308 120.262 9437 808307
81.59/81.64	o 745
81.99/82.08	c 54.3147 120.262 9576 809121
81.99/82.08	o 744
82.40/82.47	c 54.5537 120.262 9701 810703
82.40/82.47	o 740
82.59/82.64	c 54.6717 120.262 9733 812146
82.59/82.64	o 739
82.59/82.68	c 54.6947 120.262 9736 812663
82.59/82.68	o 738
82.79/82.86	c 54.8167 120.262 9788 813681
82.79/82.86	o 736
82.89/82.92	c 54.8597 120.262 9797 814825
82.89/82.92	o 732
82.89/82.96	c 54.8907 120.262 9801 815725
82.89/82.96	o 731
83.19/83.25	c 55.1006 120.262 9868 816457
83.19/83.25	o 730
83.40/83.40	c 55.2006 120.262 9895 817176
83.40/83.40	o 729
83.79/83.81	c 55.4596 120.262 10007 818978
83.79/83.81	o 728
84.29/84.35	c 55.7905 120.262 10113 819953
84.29/84.35	o 727
84.40/84.41	c 55.8335 120.262 10124 820930
84.40/84.41	o 723
84.40/84.46	c 55.8705 120.262 10131 822506
84.40/84.46	o 722
84.50/84.57	c 55.9535 120.262 10155 823471
84.50/84.57	o 721
84.60/84.64	c 55.9945 120.262 10171 824623
84.60/84.64	o 716
84.80/84.87	c 56.1505 120.262 10239 825312
84.80/84.87	o 713
85.29/85.33	c 56.4764 120.262 10341 826776
85.29/85.33	o 712
85.60/85.63	c 56.6614 120.262 10400 828597
85.60/85.63	o 711
85.79/85.85	c 56.8204 120.262 10453 829229
85.79/85.85	o 709
85.89/85.96	c 56.8914 120.262 10478 829836
85.89/85.96	o 708
85.99/86.01	c 56.9253 120.262 10484 830239
85.99/86.01	o 707
85.99/86.04	c 56.9503 120.262 10490 830546
85.99/86.04	o 706
86.29/86.31	c 57.1433 120.262 10559 831213
86.29/86.31	o 704
86.49/86.51	c 57.2753 120.262 10606 831926
86.49/86.51	o 702
86.59/86.63	c 57.3603 120.391 10630 832262
86.59/86.63	o 701
86.59/86.68	c 57.3963 120.391 10637 833025
86.59/86.68	o 700
86.69/86.74	c 57.4403 120.391 10664 833863
86.69/86.74	o 699
87.19/87.22	c 57.7372 120.391 10780 836767
87.19/87.22	o 696
87.59/87.67	c 58.0322 120.391 5469 837509
87.59/87.67	o 695
88.09/88.10	c 58.3151 120.391 5572 838585
88.09/88.10	o 694
88.09/88.13	c 58.3411 120.391 5577 839600
88.09/88.13	o 692
88.09/88.17	c 58.3761 120.391 5593 840323
88.09/88.17	o 690
88.20/88.20	c 58.3981 120.391 5594 840801
88.20/88.20	o 688
88.20/88.23	c 58.4161 120.391 5596 842143
88.20/88.23	o 683
88.20/88.28	c 58.4551 120.391 5603 842853
88.20/88.28	o 681
88.29/88.35	c 58.5111 120.391 5619 843218
88.29/88.35	o 680
88.39/88.46	c 58.5911 120.391 5644 843856
88.39/88.46	o 679
88.59/88.66	c 58.7181 120.391 5683 844580
88.59/88.66	o 678
88.80/88.83	c 58.8271 120.391 5745 845053
88.80/88.83	o 677
89.10/89.18	c 59.055 120.391 5848 846042
89.10/89.18	o 676
89.19/89.21	c 59.083 120.391 5850 846340
89.19/89.21	o 675
89.19/89.28	c 59.125 120.391 5857 846634
89.19/89.28	o 674
89.49/89.55	c 59.301 120.391 5901 846951
89.49/89.55	o 673
89.49/89.59	c 59.328 120.391 5904 847193
89.49/89.59	o 672
90.10/90.16	c 59.7039 120.391 6045 848029
90.10/90.16	o 671
90.99/91.03	c 60.2688 120.391 6269 850695
90.99/91.03	o 670
90.99/91.08	c 60.3108 120.391 6288 851088
90.99/91.08	o 669
91.10/91.16	c 60.3678 120.391 6305 851511
91.10/91.16	o 668
91.40/91.49	c 60.5958 120.391 6378 852296
91.40/91.49	o 666
91.59/91.61	c 60.6948 120.391 6434 852804
91.59/91.61	o 665
91.59/91.65	c 60.7168 120.391 6436 853315
91.59/91.65	o 664
91.59/91.67	c 60.7378 120.391 6440 853682
91.59/91.67	o 663
91.69/91.71	c 60.7588 120.391 6446 854450
91.69/91.71	o 661
91.69/91.76	c 60.7988 120.391 6451 855400
91.69/91.76	o 656
91.69/91.79	c 60.8228 120.391 6455 856207
91.69/91.79	o 653
91.80/91.81	c 60.8417 120.391 6457 856621
91.80/91.81	o 652
91.80/91.86	c 60.8777 120.391 6467 856972
91.80/91.86	o 651
91.80/91.89	c 60.9007 120.391 6485 857626
91.80/91.89	o 650
92.19/92.24	c 61.1257 120.391 6566 858368
92.19/92.24	o 649
92.30/92.36	c 61.2137 120.391 6588 858778
92.30/92.36	o 648
92.40/92.41	c 61.2467 120.391 6596 859673
92.40/92.41	o 645
92.40/92.45	c 61.2827 120.391 6610 860466
92.40/92.45	o 641
92.40/92.47	c 61.3027 120.391 6610 860683
92.40/92.47	o 640
92.49/92.50	c 61.3217 120.391 6610 860910
92.49/92.50	o 639
92.49/92.52	c 61.3397 120.391 6611 861131
92.49/92.52	o 638
92.49/92.55	c 61.3567 120.391 6611 861339
92.49/92.55	o 637
92.49/92.57	c 61.3787 120.391 6611 861539
92.49/92.57	o 636
92.59/92.60	c 61.3967 120.391 6612 861817
92.59/92.60	o 635
92.59/92.64	c 61.4267 120.391 6615 862806
92.59/92.64	o 634
92.59/92.66	c 61.4467 120.391 6617 863685
92.59/92.66	o 633
92.59/92.68	c 61.4637 120.391 6617 864070
92.59/92.68	o 632
92.70/92.71	c 61.4847 120.391 6619 864781
92.70/92.71	o 630
92.70/92.74	c 61.5056 120.391 6622 865315
92.70/92.74	o 629
92.70/92.76	c 61.5266 120.391 6623 865871
92.70/92.76	o 626
92.70/92.79	c 61.5456 120.391 6625 866198
92.70/92.79	o 625
92.80/92.81	c 61.5646 120.391 6630 866671
92.80/92.81	o 624
92.89/92.96	c 61.6626 120.391 6661 867252
92.89/92.96	o 623
93.40/93.48	c 62.0056 120.391 6815 868958
93.40/93.48	o 622
93.60/93.63	c 62.1086 120.391 6850 869393
93.60/93.63	o 621
93.60/93.69	c 62.1476 120.391 6859 869850
93.60/93.69	o 620
93.69/93.71	c 62.1675 120.391 6860 870810
93.69/93.71	o 618
93.69/93.74	c 62.1885 120.391 6861 871584
93.69/93.74	o 617
93.69/93.77	c 62.2085 120.391 6862 872481
93.69/93.77	o 613
93.69/93.79	c 62.2305 120.391 6863 873496
93.69/93.79	o 611
93.79/93.82	c 62.2495 120.391 6863 874347
93.79/93.82	o 610
93.79/93.84	c 62.2735 120.391 6863 875087
93.79/93.84	o 609
93.79/93.87	c 62.2945 120.391 6864 876116
93.79/93.87	o 607
93.90/93.90	c 62.3195 120.391 6869 876543
93.90/93.90	o 606
93.90/93.94	c 62.3445 120.391 6877 876953
93.90/93.94	o 605
93.90/93.98	c 62.3745 120.391 6881 877453
93.90/93.98	o 604
94.39/94.49	c 62.7315 120.391 7006 878466
94.39/94.49	o 603
94.79/94.88	c 62.9834 120.391 7135 879242
94.79/94.88	o 602
94.99/95.03	c 63.0914 120.391 7160 879862
94.99/95.03	o 601
95.39/95.42	c 63.3424 120.391 7283 880943
95.39/95.42	o 600
95.39/95.44	c 63.3634 120.391 7286 881199
95.39/95.44	o 599
95.39/95.47	c 63.3884 120.391 7290 881529
95.39/95.47	o 598
95.60/95.65	c 63.5373 120.391 7363 882412
95.60/95.65	o 597
95.99/96.04	c 63.7793 120.391 7474 883431
95.99/96.04	o 596
96.10/96.10	c 63.8283 120.391 7487 884009
96.10/96.10	o 595
96.49/96.59	c 64.1532 120.391 7621 885400
96.49/96.59	o 594
96.60/96.65	c 64.1932 120.391 7640 885907
96.60/96.65	o 593
96.89/96.97	c 64.4292 120.391 7762 887210
96.89/96.97	o 592
97.00/97.03	c 64.4752 120.391 7779 887884
97.00/97.03	o 591
97.70/97.72	c 64.9311 120.391 7951 889502
97.70/97.72	o 589
98.20/98.24	c 65.2961 120.391 8104 891050
98.20/98.24	o 588
98.60/98.67	c 65.574 120.391 8230 891951
98.60/98.67	o 587
98.80/98.80	c 65.664 120.391 8262 892472
98.80/98.80	o 586
98.90/98.92	c 65.756 120.391 8289 892878
98.90/98.93	o 585
98.90/98.98	c 65.792 120.391 8303 893140
98.90/98.98	o 584
98.99/99.04	c 65.841 120.391 8328 893519
98.99/99.04	o 583
98.99/99.09	c 65.878 120.391 8337 893813
98.99/99.09	o 582
99.30/99.39	c 66.081 120.391 8408 894462
99.30/99.39	o 580
99.49/99.55	c 66.1959 120.391 8434 894923
99.49/99.55	o 579
99.59/99.63	c 66.2589 120.391 8454 895237
99.59/99.63	o 578
99.59/99.68	c 66.2979 120.391 8461 896032
99.59/99.68	o 575
99.89/99.92	c 66.4539 120.391 8534 897016
99.89/99.92	o 574
99.99/100.04	c 66.5399 120.391 8569 897554
99.99/100.04	o 573
100.10/100.14	c 66.6049 120.391 8582 898007
100.10/100.14	o 571
100.19/100.21	c 66.6609 120.391 8598 898629
100.19/100.21	o 570
100.60/100.68	c 66.9508 120.391 8716 899497
100.60/100.68	o 569
100.69/100.74	c 67.0008 120.391 8750 900251
100.69/100.74	o 566
100.69/100.78	c 67.0278 120.391 8760 900466
100.69/100.78	o 565
101.10/101.10	c 67.2388 120.391 8823 901363
101.10/101.10	o 562
101.20/101.25	c 67.3398 120.391 8860 901936
101.20/101.25	o 561
101.69/101.77	c 67.6657 120.391 8978 902880
101.69/101.77	o 560
101.80/101.81	c 67.6937 120.391 8982 903319
101.80/101.81	o 559
101.80/101.86	c 67.7287 120.391 8987 904244
101.80/101.86	o 557
102.10/102.16	c 67.9307 120.391 9044 904581
102.10/102.16	o 556
102.20/102.20	c 67.9717 120.391 9064 904814
102.20/102.20	o 555
102.20/102.30	c 68.0307 120.391 9084 905366
102.20/102.30	o 554
102.30/102.38	c 68.0846 120.391 9100 906105
102.30/102.38	o 553
102.39/102.49	c 68.1596 120.391 9131 906766
102.39/102.49	o 552
102.49/102.58	c 68.2186 120.391 9157 907483
102.49/102.58	o 551
102.69/102.76	c 68.3276 120.391 9202 908446
102.69/102.76	o 550
102.80/102.86	c 68.3976 120.391 9238 909036
102.80/102.86	o 549
102.90/102.91	c 68.4316 120.391 9251 909322
102.90/102.91	o 548
103.00/103.02	c 68.5146 120.391 9270 909774
103.00/103.02	o 547
103.20/103.29	c 68.6806 120.391 9331 910496
103.20/103.29	o 546
103.30/103.38	c 68.7365 120.391 9346 910797
103.30/103.38	o 545
103.40/103.46	c 68.7955 120.391 9364 911191
103.40/103.46	o 544
103.49/103.51	c 68.8365 120.391 9374 911459
103.49/103.51	o 543
103.60/103.62	c 68.9115 120.391 9407 912132
103.60/103.62	o 540
104.00/104.06	c 69.1885 120.391 9528 913098
104.00/104.06	o 539
104.09/104.13	c 69.2365 120.391 9549 913399
104.09/104.13	o 538
104.20/104.26	c 69.3405 120.391 9567 913837
104.20/104.26	o 537
105.39/105.48	c 70.1183 120.391 9853 915121
105.39/105.48	o 536
106.30/106.36	c 70.7332 120.391 10049 916302
106.30/106.36	o 535
106.39/106.42	c 70.7772 120.391 10064 916644
106.39/106.42	o 534
106.49/106.51	c 70.8362 120.391 10093 917303
106.49/106.51	o 533
106.60/106.68	c 70.9512 120.391 10148 918131
106.60/106.68	o 532
107.19/107.27	c 71.3422 120.52 10304 918837
107.19/107.27	o 531
107.29/107.31	c 71.3662 120.52 10309 919105
107.29/107.31	o 530
107.39/107.40	c 71.4281 120.52 10321 919354
107.39/107.40	o 529
107.39/107.43	c 71.4531 120.52 10326 919777
107.39/107.43	o 528
107.50/107.50	c 71.5061 120.52 10336 920103
107.50/107.50	o 527
107.50/107.54	c 71.5351 120.52 10338 920484
107.50/107.54	o 526
107.60/107.61	c 71.5851 120.52 10353 920984
107.60/107.61	o 525
107.60/107.68	c 71.6331 120.52 10394 921456
107.60/107.68	o 524
107.70/107.78	c 71.7091 120.52 10405 921877
107.70/107.78	o 523
107.80/107.89	c 71.7831 120.52 10431 922496
107.80/107.89	o 522
107.89/107.93	c 71.8161 120.52 10439 922930
107.89/107.93	o 521
108.20/108.28	c 72.052 120.52 10520 923668
108.20/108.28	o 520
108.39/108.47	c 72.181 120.52 10584 924023
108.39/108.47	o 519
108.49/108.50	c 72.199 120.52 10589 924449
108.49/108.50	o 518
108.49/108.55	c 72.239 120.52 10592 925490
108.49/108.55	o 517
108.49/108.58	c 72.259 120.52 10593 926469
108.49/108.58	o 514
108.59/108.61	c 72.289 120.52 10596 926793
108.59/108.61	o 513
108.59/108.64	c 72.312 120.52 10599 927344
108.59/108.64	o 512
108.59/108.69	c 72.349 120.52 10602 928228
108.59/108.69	o 511
108.70/108.79	c 72.412 120.52 10621 928692
108.70/108.79	o 510
108.80/108.84	c 72.442 120.52 10631 928920
108.80/108.84	o 509
108.80/108.86	c 72.46 120.52 10633 929262
108.80/108.86	o 508
108.80/108.90	c 72.489 120.52 10642 929462
108.80/108.90	o 507
108.90/108.95	c 72.527 120.52 10651 930304
108.90/108.95	o 506
108.99/109.08	c 72.614 120.52 10680 930990
108.99/109.08	o 505
109.09/109.13	c 72.657 120.52 10691 931404
109.09/109.13	o 504
109.20/109.27	c 72.7509 120.52 10727 931904
109.20/109.27	o 503
109.29/109.34	c 72.7999 120.52 10740 932207
109.29/109.34	o 502
109.40/109.40	c 72.8409 120.52 10761 932739
109.40/109.40	o 500
109.40/109.46	c 72.8839 120.52 10773 933338
109.40/109.46	o 498
109.60/109.66	c 73.0209 120.52 10844 933880
109.60/109.66	o 497
109.60/109.69	c 73.0419 120.52 10848 934137
109.60/109.69	o 496
109.69/109.72	c 73.0629 120.52 10855 934421
109.69/109.72	o 494
110.19/110.27	c 73.4328 120.648 10980 935370
110.19/110.27	o 493
110.29/110.35	c 73.4808 120.648 11002 935928
110.29/110.35	o 491
111.00/111.09	c 73.9498 120.648 5656 937255
111.00/111.09	o 490
111.10/111.19	c 74.0137 120.648 5679 937839
111.10/111.19	o 489
111.70/111.73	c 74.3557 120.648 5804 938661
111.70/111.73	o 488
111.79/111.80	c 74.4057 120.648 5822 939122
111.79/111.80	o 486
111.99/112.07	c 74.5747 120.648 5869 939657
111.99/112.07	o 485
112.10/112.12	c 74.6087 120.648 5873 940202
112.10/112.12	o 484
112.10/112.18	c 74.6586 120.648 5879 940983
112.10/112.18	o 480
112.20/112.24	c 74.6996 120.648 5890 941925
112.20/112.24	o 476
112.49/112.52	c 74.8826 120.648 5987 942502
112.49/112.52	o 475
112.49/112.58	c 74.9336 120.648 5997 942985
112.49/112.58	o 473
112.60/112.62	c 74.9616 120.648 6006 943523
112.60/112.62	o 472
112.60/112.65	c 74.9846 120.648 6018 943688
112.60/112.65	o 471
112.60/112.68	c 75.0046 120.648 6030 943849
112.60/112.68	o 470
112.69/112.72	c 75.0376 120.648 6035 944233
112.69/112.72	o 468
112.79/112.80	c 75.0906 120.648 6047 944738
112.79/112.80	o 467
112.90/112.99	c 75.2196 120.648 6079 945225
112.90/112.99	o 465
113.20/113.23	c 75.3685 120.648 6138 945954
113.20/113.23	o 464
113.40/113.47	c 75.5265 120.648 6221 946433
113.40/113.47	o 463
113.49/113.50	c 75.5535 120.648 6230 946573
113.49/113.50	o 462
113.60/113.61	c 75.6335 120.648 6263 946937
113.60/113.61	o 461
113.60/113.65	c 75.6575 120.648 6266 947404
113.60/113.65	o 460
113.60/113.69	c 75.6925 120.648 6272 948093
113.60/113.69	o 459
114.50/114.53	c 76.2294 120.648 6469 949568
114.50/114.53	o 457
114.59/114.66	c 76.3204 120.648 6492 949937
114.59/114.66	o 455
114.79/114.83	c 76.4574 120.648 6554 950667
114.79/114.83	o 454
115.29/115.36	c 76.7903 120.648 6668 951868
115.29/115.36	o 453
115.79/115.84	c 77.0973 120.648 6775 953155
115.79/115.84	o 451
115.79/115.88	c 77.1233 120.648 6784 953475
115.79/115.88	o 450
115.89/115.98	c 77.1993 120.648 6810 954312
115.89/115.98	o 449
115.99/116.08	c 77.2593 120.648 6835 954542
115.99/116.08	o 448
116.09/116.13	c 77.2912 120.648 6838 954735
116.09/116.13	o 447
116.09/116.15	c 77.3122 120.648 6838 954985
116.09/116.15	o 445
116.09/116.17	c 77.3302 120.648 6838 955212
116.09/116.17	o 443
116.19/116.20	c 77.3522 120.648 6838 955338
116.19/116.20	o 442
116.19/116.22	c 77.3742 120.648 6838 955442
116.19/116.22	o 441
116.19/116.25	c 77.3942 120.648 6838 955547
116.19/116.25	o 440
116.19/116.27	c 77.4172 120.648 6852 955684
116.19/116.27	o 439
116.30/116.37	c 77.4832 120.648 6880 955887
116.30/116.37	o 438
116.50/116.55	c 77.6072 120.648 6936 956194
116.50/116.55	o 437
116.70/116.71	c 77.7202 120.648 7002 956536
116.70/116.71	o 436
117.19/117.21	c 78.0511 120.648 7109 957312
117.19/117.21	o 435
117.19/117.25	c 78.0751 120.648 7125 957614
117.19/117.25	o 434
117.80/117.80	c 78.4451 120.648 7240 958408
117.80/117.80	o 433
117.90/117.98	c 78.5641 120.648 7294 958803
117.90/117.98	o 432
118.00/118.05	c 78.619 120.648 7318 959078
118.00/118.05	o 431
118.09/118.17	c 78.699 120.648 7341 959807
118.09/118.17	o 429
118.20/118.22	c 78.734 120.648 7351 960341
118.20/118.22	o 428
118.20/118.24	c 78.754 120.648 7353 960563
118.20/118.24	o 427
118.20/118.27	c 78.777 120.648 7357 960791
118.20/118.27	o 426
118.29/118.38	c 78.857 120.648 7380 961184
118.29/118.38	o 425
118.39/118.41	c 78.882 120.648 7386 961441
118.39/118.41	o 424
118.39/118.49	c 78.931 120.648 7405 961817
118.39/118.49	o 423
118.49/118.53	c 78.958 120.648 7415 962139
118.49/118.53	o 421
118.59/118.60	c 79.012 120.648 7436 962500
118.59/118.60	o 419
118.59/118.64	c 79.046 120.648 7462 962994
118.59/118.64	o 417
118.90/118.98	c 79.2649 120.648 7527 963378
118.90/118.98	o 416
119.49/119.53	c 79.6109 120.648 7635 964287
119.49/119.53	o 415
119.59/119.67	c 79.7159 120.648 7669 965039
119.59/119.67	o 414
119.70/119.74	c 79.7699 120.648 7685 965445
119.70/119.74	o 412
119.90/119.97	c 79.9168 120.648 7744 966728
119.90/119.97	o 410
120.30/120.37	c 80.1908 120.648 7881 967477
120.30/120.37	o 409
120.80/120.86	c 80.4988 120.648 7998 968416
120.80/120.86	o 407
120.80/120.90	c 80.5298 120.648 8000 968718
120.80/120.90	o 406
120.90/120.99	c 80.5927 120.648 8016 969311
120.90/120.99	o 404
121.79/121.86	c 81.1737 120.648 8233 970691
121.79/121.86	o 403
121.89/121.91	c 81.2097 120.648 8250 970971
121.89/121.91	o 402
121.89/121.93	c 81.2297 120.648 8254 971224
121.89/121.93	o 401
121.89/121.96	c 81.2546 120.648 8260 971516
121.89/121.96	o 400
122.49/122.58	c 81.6766 120.648 8423 972336
122.49/122.58	o 399
122.59/122.61	c 81.6976 120.648 8429 972508
122.59/122.61	o 398
122.59/122.63	c 81.7196 120.648 8430 972621
122.59/122.63	o 397
122.70/122.71	c 81.7726 120.648 8446 973063
122.70/122.71	o 396
122.70/122.75	c 81.8016 120.648 8459 973357
122.70/122.75	o 395
122.80/122.83	c 81.8546 120.648 8482 973814
122.80/122.83	o 394
122.89/122.90	c 81.9075 120.648 8498 973936
122.89/122.90	o 393
122.89/122.96	c 81.9475 120.648 8506 974470
122.89/122.96	o 392
122.99/123.01	c 81.9915 120.648 8512 974719
122.99/123.01	o 391
123.10/123.13	c 82.0825 120.648 8534 975250
123.10/123.13	o 390
123.10/123.18	c 82.1215 120.648 8535 975860
123.10/123.18	o 388
123.20/123.21	c 82.1445 120.648 8538 976019
123.20/123.21	o 387
123.20/123.24	c 82.1705 120.648 8540 976245
123.20/123.24	o 386
123.40/123.44	c 82.3015 120.648 8582 976717
123.40/123.44	o 385
123.40/123.48	c 82.3305 120.648 8599 976931
123.40/123.48	o 384
123.50/123.52	c 82.3605 120.648 8604 977267
123.50/123.52	o 383
123.50/123.55	c 82.3815 120.648 8610 977426
123.50/123.55	o 382
123.50/123.59	c 82.4115 120.648 8627 977719
123.50/123.59	o 381
123.59/123.63	c 82.4425 120.648 8648 978243
123.59/123.63	o 380
123.89/123.93	c 82.6504 120.648 8717 978732
123.89/123.93	o 379
123.89/123.98	c 82.6834 120.648 8731 979095
123.89/123.98	o 378
124.89/124.99	c 83.3553 120.648 8956 980405
124.89/124.99	o 377
125.30/125.35	c 83.6083 120.648 9113 981185
125.30/125.35	o 376
125.40/125.42	c 83.6483 120.648 9127 981580
125.40/125.42	o 374
125.40/125.45	c 83.6753 120.648 9139 981837
125.40/125.45	o 373
125.69/125.76	c 83.8912 120.648 9214 982266
125.69/125.76	o 372
126.19/126.22	c 84.1892 120.648 9327 982842
126.19/126.22	o 371
126.89/126.92	c 84.6611 120.648 9563 984193
126.89/126.92	o 370
126.89/126.98	c 84.7021 120.648 9583 984606
126.89/126.98	o 369
127.00/127.02	c 84.7291 120.648 9598 985074
127.00/127.02	o 368
127.10/127.11	c 84.7911 120.648 9620 985652
127.10/127.11	o 367
127.50/127.55	c 85.0861 120.648 9728 986623
127.50/127.55	o 365
127.50/127.58	c 85.1151 120.648 9737 986932
127.50/127.58	o 364
127.99/128.07	c 85.434 120.648 9947 987602
127.99/128.07	o 363
128.60/128.62	c 85.799 120.648 10053 988765
128.60/128.62	o 362
128.60/128.66	c 85.829 120.648 10059 989287
128.60/128.66	o 360
128.60/128.70	c 85.8569 120.648 10065 989591
128.60/128.70	o 359
128.70/128.77	c 85.9079 120.648 10074 990087
128.70/128.77	o 358
128.79/128.83	c 85.9529 120.648 10090 990628
128.79/128.83	o 357
129.09/129.15	c 86.1649 120.648 10193 991256
129.09/129.15	o 355
129.09/129.17	c 86.1859 120.648 10197 991527
129.09/129.17	o 353
129.20/129.23	c 86.2319 120.648 10220 991690
129.20/129.23	o 352
129.20/129.27	c 86.2609 120.648 10227 991879
129.20/129.27	o 351
129.29/129.30	c 86.2839 120.648 10231 992259
129.29/129.30	o 350
129.29/129.34	c 86.3079 120.648 10238 992576
129.29/129.34	o 349
129.39/129.48	c 86.3999 120.648 10281 992969
129.39/129.48	o 348
129.50/129.59	c 86.4749 120.648 10302 993323
129.50/129.59	o 346
129.60/129.62	c 86.4989 120.648 10304 993800
129.60/129.62	o 343
129.60/129.65	c 86.5188 120.648 10315 994091
129.60/129.65	o 342
129.70/129.73	c 86.5818 120.648 10345 994430
129.70/129.73	o 340
129.70/129.76	c 86.6028 120.648 10347 994731
129.70/129.76	o 339
129.80/129.81	c 86.6318 120.648 10354 995260
129.80/129.81	o 338
129.90/129.98	c 86.7518 120.648 10397 995666
129.90/129.98	o 337
130.00/130.05	c 86.8048 120.648 10407 995954
130.00/130.05	o 336
130.09/130.11	c 86.8518 120.648 10440 996158
130.09/130.11	o 335
130.09/130.14	c 86.8758 120.648 10448 996398
130.09/130.14	o 334
130.09/130.17	c 86.8998 120.648 10460 996688
130.09/130.17	o 332
130.09/130.19	c 86.9178 120.648 10461 996785
130.09/130.19	o 331
130.19/130.23	c 86.9478 120.648 10465 997155
130.19/130.23	o 329
130.19/130.29	c 86.9858 120.648 10475 997712
130.19/130.29	o 326
130.30/130.33	c 87.0188 120.648 10482 998133
130.30/130.33	o 325
130.40/130.44	c 87.0928 120.648 10501 998764
130.40/130.44	o 323
130.90/130.91	c 87.4127 120.648 10617 999556
130.90/130.91	o 321
130.90/130.97	c 87.4607 120.648 10631 999908
130.90/130.97	o 320
131.79/131.89	c 88.0616 120.777 10980 1001076
131.79/131.89	o 319
131.90/131.96	c 88.1146 120.777 10992 1001391
131.90/131.96	o 318
132.00/132.05	c 88.1696 120.777 11008 1001548
132.00/132.05	o 317
132.00/132.08	c 88.1936 120.777 11014 1001957
132.00/132.08	o 316
132.19/132.22	c 88.2976 120.777 11043 1002483
132.19/132.22	o 315
132.19/132.25	c 88.3226 120.777 11048 1002821
132.19/132.25	o 314
132.19/132.28	c 88.3456 120.777 11056 1003202
132.19/132.28	o 313
132.30/132.32	c 88.3786 120.777 11066 1003741
132.30/132.32	o 312
132.30/132.39	c 88.4326 120.777 11075 1004227
132.30/132.39	o 311
132.80/132.89	c 88.7725 120.777 11192 1005189
132.80/132.89	o 309
133.00/133.05	c 88.8985 120.777 5649 1005892
133.00/133.05	o 307
133.50/133.50	c 89.2284 120.777 5769 1006689
133.50/133.50	o 306
133.60/133.60	c 89.2934 120.777 5791 1006972
133.60/133.60	o 305
133.70/133.71	c 89.3704 120.777 5812 1007152
133.70/133.71	o 304
133.70/133.78	c 89.4214 120.777 5832 1007421
133.70/133.78	o 303
133.90/133.92	c 89.5264 120.777 5871 1007876
133.90/133.92	o 302
133.99/134.05	c 89.6174 120.777 5926 1008499
133.99/134.05	o 301
134.10/134.10	c 89.6604 120.777 5963 1008887
134.10/134.10	o 300
134.49/134.52	c 89.9453 120.777 6039 1009399
134.49/134.52	o 299
134.49/134.55	c 89.9693 120.777 6042 1009923
134.49/134.55	o 298
134.60/134.61	c 90.0083 120.777 6062 1010386
134.60/134.61	o 296
134.60/134.65	c 90.0323 120.777 6068 1010986
134.60/134.65	o 293
134.70/134.73	c 90.0843 120.777 6083 1011406
134.70/134.73	o 292
134.70/134.79	c 90.1223 120.777 6097 1011825
134.70/134.79	o 290
134.90/134.92	c 90.2093 120.777 6117 1012166
134.90/134.92	o 289
134.90/134.95	c 90.2303 120.777 6117 1012441
134.90/134.95	o 288
134.99/135.00	c 90.2773 120.777 6119 1012851
134.99/135.00	o 287
134.99/135.04	c 90.3133 120.777 6132 1013902
134.99/135.04	o 285
134.99/135.09	c 90.3433 120.777 6138 1014858
134.99/135.09	o 284
135.49/135.56	c 90.6542 120.777 6244 1015538
135.49/135.56	o 282
135.49/135.59	c 90.6752 120.777 6246 1015690
135.49/135.59	o 281
135.60/135.62	c 90.7012 120.777 6249 1015953
135.60/135.62	o 280
135.69/135.75	c 90.7872 120.777 6269 1016201
135.69/135.75	o 279
135.79/135.86	c 90.8762 120.777 6385 1016698
135.79/135.86	o 278
135.79/135.89	c 90.8982 120.777 6397 1017013
135.79/135.89	o 277
135.90/135.92	c 90.9252 120.777 6406 1017321
135.90/135.92	o 276
136.09/136.14	c 91.0772 120.777 6456 1018524
136.09/136.14	o 273
136.09/136.17	c 91.1051 120.777 6459 1018992
136.09/136.17	o 271
136.19/136.29	c 91.1801 120.777 6491 1019530
136.19/136.29	o 270
136.30/136.36	c 91.2321 120.777 6533 1019806
136.30/136.36	o 269
136.40/136.41	c 91.2751 120.777 6544 1020045
136.40/136.41	o 268
136.40/136.45	c 91.2991 120.777 6549 1020208
136.40/136.45	o 267
136.40/136.49	c 91.3301 120.777 6556 1020460
136.40/136.49	o 266
136.50/136.55	c 91.3751 120.777 6570 1020784
136.50/136.55	o 265
136.50/136.59	c 91.4091 120.777 6589 1021037
136.50/136.59	o 264
136.60/136.69	c 91.4751 120.777 6614 1021265
136.60/136.69	o 263
136.69/136.72	c 91.5011 120.777 6616 1021477
136.69/136.72	o 262
136.69/136.75	c 91.5261 120.777 6619 1021617
136.69/136.75	o 261
136.80/136.85	c 91.5881 120.777 6638 1021831
136.80/136.85	o 260
136.89/136.91	c 91.6321 120.777 6643 1022057
136.89/136.91	o 259
136.89/136.94	c 91.6501 120.777 6647 1022265
136.89/136.94	o 258
136.99/137.06	c 91.7271 120.777 6671 1022503
136.99/137.06	o 257
137.30/137.32	c 91.92 120.777 6761 1023209
137.30/137.32	o 256
137.40/137.41	c 91.985 120.777 6824 1023633
137.40/137.41	o 255
137.40/137.44	c 92.005 120.777 6840 1023779
137.40/137.44	o 254
137.80/137.88	c 92.309 120.777 6950 1024751
137.80/137.88	o 252
137.90/137.93	c 92.345 120.777 6966 1025032
137.90/137.93	o 251
137.90/137.98	c 92.376 120.777 6970 1025299
137.90/137.98	o 250
138.00/138.02	c 92.409 120.777 6988 1025855
138.00/138.02	o 249
138.30/138.36	c 92.6509 120.777 7090 1026466
138.30/138.36	o 248
138.39/138.41	c 92.6899 120.777 7099 1026935
138.39/138.41	o 247
138.39/138.47	c 92.7289 120.777 7115 1027381
138.39/138.47	o 246
138.50/138.55	c 92.7899 120.777 7133 1027743
138.50/138.55	o 245
138.50/138.58	c 92.8139 120.777 7137 1028078
138.50/138.58	o 243
138.50/138.60	c 92.8309 120.777 7144 1028324
138.50/138.60	o 242
138.89/138.99	c 93.0928 120.777 7232 1028760
138.89/138.99	o 241
138.99/139.02	c 93.1158 120.777 7240 1028901
138.99/139.02	o 240
138.99/139.06	c 93.1438 120.777 7246 1029221
138.99/139.06	o 239
139.10/139.10	c 93.1768 120.777 7259 1029467
139.10/139.10	o 238
139.20/139.27	c 93.3128 120.777 7363 1029998
139.20/139.27	o 237
139.29/139.31	c 93.3388 120.777 7369 1030246
139.29/139.31	o 236
139.49/139.54	c 93.4838 120.777 7418 1030772
139.49/139.54	o 235
139.79/139.81	c 93.6668 120.777 7523 1031214
139.79/139.81	o 234
139.90/139.90	c 93.7357 120.777 7544 1031370
139.90/139.90	o 233
139.90/139.98	c 93.8047 120.777 7582 1031618
139.90/139.98	o 232
140.00/140.05	c 93.8557 120.777 7601 1032304
140.00/140.05	o 231
140.09/140.17	c 93.9347 120.777 7629 1032927
140.09/140.17	o 230
140.19/140.23	c 93.9797 120.777 7640 1033222
140.19/140.23	o 228
140.19/140.29	c 94.0227 120.777 7649 1033500
140.19/140.29	o 226
140.29/140.35	c 94.0677 120.777 7662 1033692
140.29/140.35	o 225
140.39/140.47	c 94.1507 120.777 7692 1034204
140.39/140.47	o 224
140.50/140.57	c 94.2217 120.777 7712 1034416
140.50/140.57	o 223
140.59/140.62	c 94.2607 120.777 7724 1034767
140.59/140.62	o 222
140.70/140.75	c 94.3517 120.777 7801 1035206
140.70/140.75	o 221
140.70/140.80	c 94.3906 120.777 7821 1035612
140.70/140.80	o 220
141.20/141.27	c 94.7366 120.777 7987 1036997
141.20/141.27	o 217
141.29/141.39	c 94.8196 120.777 8018 1037497
141.29/141.39	o 216
141.40/141.46	c 94.8766 120.777 8033 1037928
141.40/141.46	o 214
141.50/141.51	c 94.9166 120.777 8048 1038195
141.50/141.51	o 213
141.80/141.88	c 95.2125 120.906 8193 1039241
141.80/141.88	o 212
141.99/142.08	c 95.3545 120.906 8243 1039798
141.99/142.08	o 211
142.20/142.24	c 95.4715 120.906 8287 1040290
142.20/142.24	o 210
142.20/142.27	c 95.4925 120.906 8292 1040587
142.20/142.27	o 209
142.29/142.30	c 95.5225 120.906 8297 1040738
142.29/142.30	o 208
142.29/142.33	c 95.5445 120.906 8302 1040915
142.29/142.33	o 207
142.29/142.38	c 95.5785 120.906 8309 1041278
142.29/142.38	o 206
142.40/142.43	c 95.6185 120.906 8330 1041487
142.40/142.43	o 205
142.40/142.48	c 95.6575 120.906 8343 1041710
142.40/142.48	o 204
142.49/142.56	c 95.7104 120.906 8376 1041870
142.49/142.56	o 203
142.60/142.62	c 95.7534 120.906 8393 1042095
142.60/142.62	o 202
142.60/142.69	c 95.7994 120.906 8411 1042429
142.60/142.69	o 201
142.69/142.74	c 95.8384 120.906 8430 1042625
142.69/142.74	o 200
142.69/142.79	c 95.8814 120.906 8451 1042931
142.69/142.79	o 199
143.20/143.24	c 96.1944 120.906 8553 1043544
143.20/143.24	o 198
143.20/143.27	c 96.2214 120.906 8559 1043751
143.20/143.27	o 197
143.30/143.30	c 96.2474 120.906 8564 1044120
143.30/143.30	o 195
143.30/143.36	c 96.2904 120.906 8576 1044458
143.30/143.36	o 194
143.30/143.39	c 96.3114 120.906 8580 1045001
143.30/143.39	o 191
143.39/143.42	c 96.3314 120.906 8581 1045293
143.39/143.42	o 190
143.39/143.45	c 96.3544 120.906 8585 1045615
143.39/143.45	o 189
143.50/143.50	c 96.3983 120.906 8602 1046083
143.50/143.50	o 187
143.50/143.57	c 96.4503 120.906 8623 1046260
143.50/143.57	o 186
143.60/143.68	c 96.5373 120.906 8646 1046555
143.60/143.68	o 185
143.70/143.72	c 96.5623 120.906 8659 1046720
143.70/143.72	o 184
143.80/143.84	c 96.6443 120.906 8681 1046884
143.80/143.84	o 183
143.80/143.88	c 96.6723 120.906 8687 1047062
143.80/143.88	o 182
143.90/144.00	c 96.7543 120.906 8710 1047220
143.90/144.00	o 181
144.00/144.03	c 96.7803 120.906 8714 1047455
144.00/144.03	o 180
144.00/144.05	c 96.8003 120.906 8714 1047642
144.00/144.05	o 179
144.00/144.08	c 96.8193 120.906 8714 1047820
144.00/144.08	o 178
144.10/144.11	c 96.8393 120.906 8717 1048151
144.10/144.11	o 176
144.10/144.16	c 96.8843 120.906 8731 1048584
144.10/144.16	o 174
144.40/144.46	c 97.1222 120.906 8876 1049368
144.40/144.46	o 173
144.49/144.53	c 97.1792 120.906 8896 1050019
144.49/144.53	o 172
144.49/144.57	c 97.2072 120.906 8903 1050306
144.49/144.57	o 171
144.60/144.60	c 97.2272 120.906 8906 1050781
144.60/144.60	o 169
144.60/144.67	c 97.2772 120.906 8914 1051308
144.60/144.67	o 168
144.70/144.75	c 97.3312 120.906 8931 1051513
144.70/144.75	o 167
144.70/144.78	c 97.3522 120.906 8932 1051619
144.70/144.78	o 166
144.80/144.81	c 97.3722 120.906 8934 1051722
144.80/144.81	o 165
144.80/144.83	c 97.3902 120.906 8936 1051912
144.80/144.83	o 164
144.80/144.86	c 97.4102 120.906 8938 1052041
144.80/144.86	o 163
144.80/144.88	c 97.4282 120.906 8943 1052146
144.80/144.88	o 162
144.89/144.94	c 97.4692 120.906 8962 1052305
144.89/144.94	o 161
144.89/144.97	c 97.4912 120.906 8964 1052453
144.89/144.97	o 160
144.89/144.99	c 97.5142 120.906 8966 1052616
144.89/144.99	o 159
145.10/145.14	c 97.6082 120.906 9012 1052859
145.10/145.14	o 158
145.10/145.18	c 97.6432 120.906 9028 1053094
145.10/145.18	o 157
145.20/145.23	c 97.6722 120.906 9034 1053338
145.20/145.23	o 156
145.20/145.28	c 97.7151 120.906 9039 1053530
145.20/145.28	o 155
145.29/145.32	c 97.7471 120.906 9046 1053918
145.29/145.32	o 153
145.50/145.56	c 97.9371 120.906 9129 1054230
145.50/145.56	o 152
145.79/145.85	c 98.1531 120.906 9211 1054826
145.79/145.85	o 150
145.79/145.88	c 98.1761 120.906 9212 1054936
145.79/145.88	o 149
145.90/145.91	c 98.2011 120.906 9219 1055057
145.90/145.91	o 148
146.00/146.07	c 98.3271 120.906 9272 1055507
146.00/146.07	o 147
146.09/146.14	c 98.377 120.906 9283 1055717
146.09/146.14	o 146
146.40/146.45	c 98.624 120.906 9489 1056931
146.40/146.45	o 144
146.40/146.48	c 98.643 120.906 9495 1057170
146.40/146.48	o 143
146.49/146.53	c 98.679 121.035 9499 1057507
146.49/146.53	o 142
146.49/146.55	c 98.7 121.035 9501 1057744
146.49/146.55	o 141
146.49/146.58	c 98.72 121.035 9504 1057957
146.49/146.58	o 140
146.59/146.62	c 98.747 121.035 9508 1058331
146.59/146.62	o 138
146.59/146.65	c 98.769 121.035 9511 1058500
146.59/146.65	o 137
146.69/146.70	c 98.804 121.035 9541 1058769
146.69/146.70	o 136
146.69/146.78	c 98.859 121.035 9563 1059039
146.69/146.78	o 135
146.79/146.81	c 98.89 121.035 9578 1059176
146.79/146.81	o 134
146.79/146.86	c 98.929 121.035 9591 1059368
146.79/146.86	o 133
146.79/146.89	c 98.956 121.035 9602 1059514
146.79/146.89	o 132
147.00/147.04	c 99.0699 121.035 9634 1059753
147.00/147.04	o 131
147.10/147.15	c 99.1509 121.035 9682 1060496
147.10/147.15	o 130
147.10/147.18	c 99.1709 121.035 9688 1060673
147.10/147.18	o 129
147.30/147.36	c 99.2919 121.035 9739 1061040
147.30/147.36	o 128
147.40/147.49	c 99.3959 121.035 9861 1061547
147.40/147.49	o 127
147.49/147.52	c 99.4179 121.035 9879 1061621
147.49/147.52	o 126
147.49/147.55	c 99.4419 121.035 9888 1061722
147.49/147.55	o 125
147.49/147.59	c 99.4719 121.035 9895 1061855
147.49/147.59	o 124
147.59/147.62	c 99.4939 121.035 9906 1061925
147.59/147.62	o 123
147.69/147.74	c 99.5889 121.035 9928 1062164
147.69/147.74	o 122
147.69/147.77	c 99.6139 121.035 9934 1062333
147.69/147.77	o 121
147.80/147.85	c 99.6678 121.035 9953 1062518
147.80/147.85	o 120
147.90/147.91	c 99.7188 121.035 9966 1062668
147.90/147.91	o 119
147.90/147.97	c 99.7628 121.035 9984 1063126
147.90/147.97	o 118
147.99/148.03	c 99.8038 121.035 10002 1063483
147.99/148.03	o 116
148.09/148.15	c 99.8988 121.035 10028 1063696
148.09/148.15	o 115
148.09/148.19	c 99.9228 121.035 10033 1063849
148.09/148.19	o 114
148.20/148.21	c 99.9408 121.035 10035 1063946
148.20/148.21	o 113
148.20/148.25	c 99.9698 121.035 10046 1064112
148.20/148.25	o 112
148.20/148.28	c 99.9968 121.035 10069 1064280
148.20/148.28	o 111
148.40/148.44	c 100.118 121.035 10129 1064490
148.40/148.44	o 110
148.40/148.47	c 100.144 121.035 10130 1064623
148.40/148.47	o 109
148.40/148.49	c 100.161 121.035 10131 1064764
148.40/148.49	o 108
148.50/148.52	c 100.182 121.035 10132 1064975
148.50/148.52	o 107
148.50/148.54	c 100.199 121.035 10132 1065142
148.50/148.54	o 106
148.50/148.57	c 100.217 121.035 10132 1065313
148.50/148.57	o 105
148.50/148.59	c 100.235 121.035 10132 1065462
148.50/148.59	o 104
148.59/148.62	c 100.255 121.035 10132 1065602
148.59/148.62	o 103
148.59/148.64	c 100.274 121.035 10132 1065733
148.59/148.64	o 102
148.59/148.67	c 100.294 121.035 10134 1066002
148.59/148.67	o 100
148.59/148.69	c 100.314 121.035 10134 1066158
148.59/148.69	o 99
148.69/148.71	c 100.332 121.035 10134 1066306
148.69/148.71	o 98
148.69/148.74	c 100.351 121.035 10134 1066669
148.69/148.74	o 95
148.69/148.76	c 100.369 121.035 10134 1066807
148.69/148.76	o 94
148.69/148.78	c 100.386 121.035 10134 1067197
148.69/148.78	o 91
148.80/148.81	c 100.406 121.035 10135 1067549
148.80/148.81	o 88
148.80/148.84	c 100.432 121.035 10143 1067919
148.80/148.84	o 86
148.90/148.91	c 100.482 121.035 10153 1068173
148.90/148.91	o 85
148.90/148.95	c 100.51 121.035 7694 1068545
148.90/148.95	o 82
148.99/149.06	c 100.606 121.035 7801 1068941
148.99/149.06	o 81
148.99/149.09	c 100.627 121.035 7820 1069157
148.99/149.09	o 80
149.30/149.33	c 100.813 121.035 7896 1069416
149.30/149.33	o 79
149.50/149.59	c 101.009 121.035 7071 1069940
149.50/149.59	o 78
149.60/149.62	c 101.039 121.035 7102 1070147
149.60/149.62	o 77
149.60/149.67	c 101.078 121.035 7016 1070253
149.60/149.67	o 76
149.69/149.74	c 101.127 121.035 7030 1070494
149.69/149.74	o 75
149.69/149.76	c 101.148 121.035 7038 1070598
149.69/149.76	o 74
149.69/149.79	c 101.173 121.035 7041 1070834
149.69/149.79	o 72
149.79/149.82	c 101.196 121.035 7045 1070952
149.79/149.82	o 71
149.79/149.89	c 101.258 121.035 7060 1071220
149.79/149.89	o 70
150.00/150.03	c 101.379 121.035 7147 1071472
150.00/150.03	o 69
150.00/150.07	c 101.41 121.035 5904 1071702
150.00/150.07	o 68
150.09/150.14	c 101.467 121.035 5933 1072158
150.09/150.14	o 66
150.09/150.19	c 101.506 121.035 5966 1072298
150.09/150.19	o 65
150.39/150.45	c 101.687 121.035 6057 1072761
150.39/150.45	o 64
150.39/150.48	c 101.705 121.035 5709 1072851
150.39/150.48	o 63
150.50/150.50	c 101.722 121.035 5710 1073025
150.50/150.50	o 61
150.50/150.53	c 101.747 121.035 5717 1073290
150.50/150.53	o 60
150.60/150.61	c 101.819 121.035 5799 1073576
150.60/150.61	o 59
150.60/150.65	c 101.847 121.035 5804 1073772
150.60/150.65	o 57
150.60/150.69	c 101.89 121.035 5824 1073888
150.60/150.69	o 56
150.70/150.72	c 101.913 121.035 5151 1074044
150.70/150.72	o 55
150.70/150.74	c 101.93 121.035 5154 1074233
150.70/150.74	o 54
150.70/150.76	c 101.945 121.035 5154 1074413
150.70/150.76	o 53
150.70/150.77	c 101.959 121.035 5154 1074577
150.70/150.77	o 52
150.70/150.79	c 101.972 121.035 5154 1074740
150.70/150.79	o 51
150.79/150.81	c 101.985 121.035 5155 1074899
150.79/150.81	o 50
150.79/150.83	c 102.007 121.035 5156 1075052
150.79/150.83	o 49
150.79/150.85	c 102.022 121.035 5157 1075264
150.79/150.85	o 48
150.79/150.89	c 102.057 121.035 5171 1075573
150.79/150.89	o 47
151.00/151.02	c 102.159 121.035 5223 1075839
151.00/151.02	o 46
151.10/151.15	c 102.267 121.035 4744 1076318
151.10/151.15	o 45
151.10/151.17	c 102.287 121.035 4758 1076404
151.10/151.17	o 44
151.20/151.25	c 102.357 121.035 4796 1076700
151.20/151.25	o 43
151.20/151.27	c 102.371 121.035 4690 1076866
151.20/151.27	o 42
151.20/151.29	c 102.388 121.035 4699 1077021
151.20/151.29	o 41
151.30/151.31	c 102.405 121.035 4705 1077140
151.30/151.31	o 40
151.30/151.32	c 102.419 121.035 4708 1077228
151.30/151.32	o 39
151.30/151.34	c 102.431 121.035 4709 1077291
151.30/151.34	o 38
151.30/151.36	c 102.449 121.035 4712 1077351
151.30/151.36	o 37
151.30/151.38	c 102.471 121.035 4726 1077437
151.30/151.38	o 36
151.40/151.42	c 102.503 121.035 4753 1077624
151.40/151.42	o 35
151.40/151.44	c 102.522 121.035 4595 1077799
151.40/151.44	o 34
151.40/151.46	c 102.535 121.035 4598 1077998
151.40/151.46	o 33
151.40/151.48	c 102.555 121.035 4607 1078169
151.40/151.48	o 32
151.59/151.63	c 102.697 121.035 4634 1078584
151.59/151.63	o 31
151.59/151.65	c 102.711 121.035 4636 1078659
151.59/151.65	o 30
151.59/151.66	c 102.723 121.035 4636 1078718
151.59/151.66	o 29
151.59/151.68	c 102.738 121.035 4639 1078810
151.59/151.68	o 28
151.70/151.72	c 102.772 121.035 4670 1079059
151.70/151.72	o 27
151.70/151.74	c 102.79 121.035 4677 1079150
151.70/151.74	o 26
151.70/151.75	c 102.801 121.035 4678 1079222
151.70/151.75	o 25
151.70/151.77	c 102.817 121.035 4551 1079318
151.70/151.77	o 24
151.70/151.79	c 102.83 121.035 4552 1079380
151.70/151.79	o 23
151.70/151.80	c 102.843 121.035 4553 1079443
151.70/151.80	o 22
151.80/151.81	c 102.858 121.035 4555 1079625
151.80/151.81	o 20
151.80/151.83	c 102.87 121.035 4559 1079711
151.80/151.83	o 19
151.80/151.84	c 102.883 121.035 4569 1079807
151.80/151.84	o 18
151.89/151.92	c 102.946 121.035 4623 1079978
151.89/151.92	o 17
152.10/152.10	c 103.108 121.035 4540 1080344
152.10/152.10	o 16
152.10/152.16	c 103.162 121.035 4617 1080617
152.10/152.16	o 15
152.10/152.18	c 103.173 121.035 4621 1080687
152.10/152.18	o 14
152.19/152.21	c 103.2 121.035 4644 1080785
152.19/152.21	o 13
152.19/152.22	c 103.212 121.035 4628 1080836
152.19/152.22	o 12
152.19/152.23	c 103.225 121.035 4637 1080881
152.19/152.23	o 11
152.19/152.25	c 103.236 121.035 4640 1081037
152.19/152.25	o 9
152.19/152.26	c 103.252 121.035 4652 1081099
152.19/152.26	o 8
152.19/152.28	c 103.267 121.035 4661 1081182
152.19/152.28	o 7
152.30/152.34	c 103.33 121.035 4741 1081379
152.30/152.34	o 6
152.30/152.36	c 103.342 121.035 4679 1081462
152.30/152.36	o 5
152.30/152.37	c 103.354 121.035 4689 1081537
152.30/152.37	o 4
152.30/152.38	c 103.365 121.035 4696 1081619
152.30/152.38	o 3
152.30/152.39	c 103.371 121.035 4701 1081648
152.30/152.39	s OPTIMUM FOUND
152.30/152.39	v -x1 -x2 x3 x4 -x5 -x6 x7 x8 x9 x10 x11 -x12 -x13 x14 -x15 x16 x17 x18 -x19 -x20 -x21 x22 x23 -x24 x25 -x26 x27 x28 -x29 x30 -x31 -x32 x33 x34 -x35 x36 -x37 x38 -x39 x40 x41 x42 x43 -x44 x45 x46 x47 -x48 -x49 -x50 x51 x52 -x53 -x54 -x55 -x56 -x57 x58 x59 -x60 -x61 -x62 -x63 -x64 x65 x66 -x67 -x68 -x69 x70 x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 x93 x94 -x95 -x96 -x97 x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 x106 x107 x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 x117 x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 x133 x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 x144 -x145 x146 -x147 x148 -x149 x150 -x151 x152 -x153 x154 -x155 -x156 x157 x158 x159 x160 x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 x177 -x178 x179 -x180 x181 x182 x183 x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 x264 -x265 -x266 x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 x278 x279 -x280 x281 -x282 x283 -x284 x285 x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 x307 x308 x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 x322 x323 x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 x335 x336 x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 x366 x367 -x368 x369 x370 x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 x387 x388 -x389 x390 -x391 x392 -x393 x394 -x395 x396 -x397 x398 -x399 x400 -x401 -x402 x403 x404 x405 x406 x407 x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 x452 -x453 -x454 x455 x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 x611 x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 x626 x627 x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 x678 x679 x680 -x681 x682 -x683 -x684 x685 -x686 x687 x688 x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 x715 x716 x717 x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 x734 x735 x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 -x748 -x749 -x750 x751 x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 x849 x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 x994 x995 x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 x1013 x1014 x1015 x1016 -x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 x1079 x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 x1093 x1094 x1095 x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 x1156 x1157 x1158 x1159 -x1160 x1161 -x1162 -x1163 -x1164 x1165 -x1166 x1167 x1168 x1169 x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 x1196 -x1197 -x1198 -x1199 -x1200 x1201 x1202 x1203 x1204 x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 x1225 x1226 x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 x1247 x1248 -x1249 x1250 x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 x1473 x1474 -x1475 x1476 x1477 x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 x1510 x1511 -x1512 -x1513 x1514 x1515 -x1516 -x1517 x1518 -x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 x1530 -x1531 x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 x1540 -x1541 -x1542 x1543 x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 x1584 -x1585 x1586 -x1587 x1588 x1589 x1590 x1591 x1592 x1593 x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 x1802 x1803 x1804 x1805 -x1806 -x1807 x1808 x1809 x1810 x1811 x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1829 x1830 x1831 -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 x1890 x1891 -x1892 x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 x2153 x2154 x2155 x2156 x2157 x2158 x2159 -x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 x2167 -x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 x2236 -x2237 x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 x2529 x2530 x2531 x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 x2552 x2553 x2554 x2555 x2556 -x2557 x2558 -x2559 x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 x2650 x2651 x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 x2667 x2668 x2669 x2670 x2671 x2672 -x2673 x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 x2748 x2749 x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 x2762 x2763 x2764 x2765 x2766 -x2767 x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 x2823 -x2824 -x2825 x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835 x2836 x2837 x2838 x2839 x2840 -x2841 x2842 -x2843 -x2844 -x2845 -x2846 x2847 -x2848 x2849 x2850 x2851 x2852 x2853 x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 -x2882 -x2883 x2884 -x2885 -x2886 -x2887 -x2888 x2889 x2890 x2891 x2892 x2893 x2894 x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 x2916 x2917 x2918 x2919 x2920 x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 x2945 x2946 x2947 -x2948 x2949 x2950 x2951 -x2952 x2953 x2954 x2955 -x2956 -x2957 x2958 x2959 x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 x3387 x3388 x3389 -x3390 -x3391 -x3392 x3393 -x3394 -x3395 -x3396 x3397 -x3398 -x3399 -x3400 x3401 -x3402 -x3403 -x3404 x3405 -x3406 -x3407 x3408 -x3409 -x3410 -x3411 -x3412 x3413 -x3414 -x3415 -x3416 x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 x3443 x3444 x3445 -x3446 -x3447 x3448 -x3449 x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457 -x3458 x3459 x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 x3473 -x3474 x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 x3498 x3499 x3500 x3501 x3502 x3503 x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 x3642 x3643 x3644 x3645 x3646 x3647 x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 x3824 x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 x3950 x3951 x3952 x3953 x3954 x3955 x3956 x3957 x3958 x3959 x3960 x3961 x3962 x3963 x3964 -x3965 -x3966 -x3967 -x3968 -x3969 x3970 x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 x3980 x3981 x3982 x3983 x3984 x3985 -x3986 x3987 -x3988 x3989 x3990 x3991 x3992 x3993 x3994 x3995 x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 x4103 -x4104 x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 x4442 x4443 x4444 x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 x4471 -x4472 x4473 -x4474 -x4475 -x4476 -x4477 -x4478 x4479 -x4480 -x4481 -x4482 -x4483 -x4484 x4485 -x4486 -x4487 -x4488 -x4489 -x4490 x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 x4507 -x4508 -x4509 -x4510 x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 x4566 x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 x4583 x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 x4677 x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 x4691 x4692 x4693 -x4694 x4695 x4696 -x4697 x4698 x4699 -x4700 -x4701 -x4702 x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 x4849 -x4850 x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 x5021 -x5022 x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 x5177 -x5178 x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 x5310 x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 x5324 -x5325 -x5326 -x5327 -x5328 -x5329 x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 x5433 -x5434 -x5435 x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 x5518 x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 x5595 x5596 x5597 x5598 x5599 x5600 x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 x5786 x5787 x5788 x5789 x5790 x5791 x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 x6082 x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 x6158 x6159 x6160 x6161 x6162 x6163 x6164 x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 x6545 x6546 x6547 x6548 x6549 x6550 x6551 x6552 x6553 x6554 x6555 x6556 x6557 x6558 x6559 x6560 x6561 x6562 x6563 x6564 x6565 x6566 x6567 x6568 x6569 x6570 x6571 x6572 x6573 x6574 x6575 x6576 x6577 x6578 x6579 x6580 x6581 x6582 x6583 x6584 x6585 x6586 x6587 x6588 x6589 -x6590 -x6591 x6592 -x6593 x6594 x6595 x6596 -x6597 -x6598 -x6599 x6600 -x6601 -x6602 x6603 -x6604 -x6605 -x6606 x6607 -x6608 -x6609 -x6610 x6611 -x6612 -x6613 -x6614 -x6615 x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 x6624 x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 x6662 x6663 x6664 x6665 x6666 -x6667 -x6668 x6669 -x6670 x6671 -x6672 -x6673 -x6674 -x6675 -x6676 x6677 -x6678 x6679 -x6680 x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 x6696 -x6697 x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 x6712 -x6713 x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 x6732 -x6733 x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 x6749 x6750 x6751 x6752 x6753 x6754 x6755 x6756 x6757 x6758 x6759 x6760 x6761 x6762 x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 x7002 x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 x7069 x7070 x7071 x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 x7751 x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 x7770 -x7771 x7772 x7773 x7774 x7775 -x7776 x7777 -x7778 x7779 x7780 x7781 x7782 x7783 -x7784 -x7785 -x7786 -x7787 -x7788 x7789 x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 x7843 x7844 x7845 -x7846 x7847 -x7848 -x7849 -x7850 -x7851 -x7852 x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 x7875 x7876 x7877 x7878 -x7879 -x7880 -x7881 x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 x7901 x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 x7979 x7980 x7981 -x7982 x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 x8554 x8555 x8556 x8557 x8558 -x8559 -x8560 -x8561 -x8562 x8563 x8564 -x8565 -x8566 -x8567 x8568 x8569 x8570 -x8571 -x8572 -x8573 x8574 x8575 -x8576 -x8577 x8578 x8579 -x8580 x8581 -x8582 x8583 -x8584 x8585 -x8586 x8587 -x8588 x8589 -x8590 x8591 -x8592 x8593 -x8594 x8595 x8596 x8597 x8598 -x8599 -x8600 -x8601 x8602 x8603 x8604 x8605 x8606 -x8607 x8608 x8609 x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 x8667 x8668 -x8669 x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 x8885 -x8886 -x8887 -x8888 x8889 -x8890 x8891 -x8892 -x8893 x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 x8901 x8902 -x8903 -x8904 -x8905 -x8906 x8907 -x8908 -x8909 -x8910 x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 x8919 -x8920 -x8921 x8922 -x8923 x8924 -x8925 x8926 -x8927 -x8928 x8929 x8930 -x8931 -x8932 -x8933 x8934 -x8935 x8936 -x8937

Verifier Data

OK	3

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698891-1278461741/watcher-2698891-1278461741 -o /tmp/evaluation-result-2698891-1278461741/solver-2698891-1278461741 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698891-1278461741.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: 1.99 1.97 1.91 4/178 12755
/proc/meminfo: memFree=30025064/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=2136 CPUtime=0
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 253 0 0 0 0 0 0 0 25 0 1 0 14386966 2187264 172 4089446400 134512640 136422188 4287481680 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12755/statm: 534 172 144 467 0 65 0

[startup+0.0870911 s]
/proc/loadavg: 1.99 1.97 1.91 4/178 12755
/proc/meminfo: memFree=30025064/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=2928 CPUtime=0.08
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 432 0 0 0 8 0 0 0 25 0 1 0 14386966 2998272 351 4089446400 134512640 136422188 4287481680 18446744073709551615 135809678 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12755/statm: 732 351 144 467 0 263 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2928

[startup+0.101106 s]
/proc/loadavg: 1.99 1.97 1.91 4/178 12755
/proc/meminfo: memFree=30025064/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=2928 CPUtime=0.1
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 460 0 0 0 10 0 0 0 25 0 1 0 14386966 2998272 379 4089446400 134512640 136422188 4287481680 18446744073709551615 134536578 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/12755/statm: 732 379 144 467 0 263 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2928

[startup+0.301049 s]
/proc/loadavg: 1.99 1.97 1.91 4/178 12755
/proc/meminfo: memFree=30025064/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=49400 CPUtime=0.29
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 12374 0 0 0 28 1 0 0 25 0 1 0 14386966 50585600 11834 4089446400 134512640 136422188 4287481680 18446744073709551615 134707315 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12755/statm: 12350 11834 193 467 0 11881 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49400

[startup+0.700976 s]
/proc/loadavg: 1.99 1.97 1.91 4/178 12755
/proc/meminfo: memFree=30025064/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=117992 CPUtime=0.69
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 30183 0 0 0 66 3 0 0 25 0 1 0 14386966 120823808 28324 4089446400 134512640 136422188 4287481680 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12755/statm: 29498 28324 207 467 0 29029 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 117992

[startup+1.50087 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12756
/proc/meminfo: memFree=29909736/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=121028 CPUtime=1.49
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 31030 0 0 0 121 28 0 0 25 0 1 0 14386966 123932672 28814 4089446400 134512640 136422188 4287481680 18446744073709551615 135006343 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12755/statm: 30257 28814 237 467 0 29788 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 121028

[startup+3.10058 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12756
/proc/meminfo: memFree=29909736/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=121160 CPUtime=3.09
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 31040 0 0 0 225 84 0 0 25 0 1 0 14386966 124067840 28824 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12755/statm: 30290 28824 237 467 0 29821 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 121160

[startup+6.30102 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12757
/proc/meminfo: memFree=29909908/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=121292 CPUtime=6.29
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 31115 0 0 0 434 195 0 0 25 0 1 0 14386966 124203008 28888 4089446400 134512640 136422188 4287481680 18446744073709551615 135006280 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12755/statm: 30323 28888 237 467 0 29854 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 121292

[startup+12.7009 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12757
/proc/meminfo: memFree=29909960/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=121688 CPUtime=12.69
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 31221 0 0 0 859 410 0 0 25 0 1 0 14386966 124608512 28979 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12755/statm: 30422 28979 237 467 0 29953 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 121688

[startup+25.5006 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12758
/proc/meminfo: memFree=29909472/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=122352 CPUtime=25.5
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 31423 0 0 0 1700 850 0 0 25 0 1 0 14386966 125288448 29135 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12755/statm: 30588 29135 237 467 0 30119 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 122352

[startup+51.1011 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12758
/proc/meminfo: memFree=29908772/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=123144 CPUtime=51.09
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 31737 0 0 0 3386 1723 0 0 25 0 1 0 14386966 126099456 29343 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12755/statm: 30786 29343 237 467 0 30317 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 123144

[startup+102.306 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12760
/proc/meminfo: memFree=29908228/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=123276 CPUtime=102.3
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 32054 0 0 0 6803 3427 0 0 21 0 1 0 14386966 126234624 29392 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12755/statm: 30819 29392 237 467 0 30350 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 123276

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

[startup+127.901 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12760
/proc/meminfo: memFree=29907956/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=123540 CPUtime=127.89
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 32267 0 0 0 8531 4258 0 0 25 0 1 0 14386966 126504960 29449 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12755/statm: 30885 29449 237 467 0 30416 0
Current children cumulated CPU time (s) 127.89
Current children cumulated vsize (KiB) 123540

[startup+140.7 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12760
/proc/meminfo: memFree=29907568/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=123672 CPUtime=140.7
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 32446 0 0 0 9431 4639 0 0 25 0 1 0 14386966 126640128 29514 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12755/statm: 30918 29514 237 467 0 30449 0
Current children cumulated CPU time (s) 140.7
Current children cumulated vsize (KiB) 123672

[startup+147.101 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12760
/proc/meminfo: memFree=29907312/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=123936 CPUtime=147.1
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 32565 0 0 0 9911 4799 0 0 25 0 1 0 14386966 126910464 29556 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12755/statm: 30984 29556 237 467 0 30515 0
Current children cumulated CPU time (s) 147.1
Current children cumulated vsize (KiB) 123936

[startup+150.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12760
/proc/meminfo: memFree=29907548/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=123936 CPUtime=150.29
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 32634 0 0 0 10157 4872 0 0 25 0 1 0 14386966 126910464 29572 4089446400 134512640 136422188 4287481680 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12755/statm: 30984 29572 237 467 0 30515 0
Current children cumulated CPU time (s) 150.29
Current children cumulated vsize (KiB) 123936

[startup+151.9 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12760
/proc/meminfo: memFree=29907544/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=123936 CPUtime=151.89
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 32687 0 0 0 10292 4897 0 0 25 0 1 0 14386966 126910464 29581 4089446400 134512640 136422188 4287481680 18446744073709551615 134862276 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12755/statm: 30984 29581 237 467 0 30515 0
Current children cumulated CPU time (s) 151.89
Current children cumulated vsize (KiB) 123936

[startup+152.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12760
/proc/meminfo: memFree=29907544/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=123936 CPUtime=152.3
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 32697 0 0 0 10328 4902 0 0 25 0 1 0 14386966 126910464 29581 4089446400 134512640 136422188 4287481680 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12755/statm: 30984 29581 237 467 0 30515 0
Current children cumulated CPU time (s) 152.3
Current children cumulated vsize (KiB) 123936

[startup+152.501 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12760
/proc/meminfo: memFree=29907544/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=116288 CPUtime=152.5
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202496 32705 0 0 0 10348 4902 0 0 25 0 1 0 14386966 119078912 28165 4089446400 134512640 136422188 4287481680 18446744073709551615 134701755 0 0 4096 16387 0 0 0 17 4 0 0 0
/proc/12755/statm: 29072 28165 240 467 0 28603 0
Current children cumulated CPU time (s) 152.5
Current children cumulated vsize (KiB) 116288

[startup+152.601 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 12760
/proc/meminfo: memFree=29907544/32951124 swapFree=67111528/67111528
[pid=12755] ppid=12753 vsize=0 CPUtime=152.6
/proc/12755/stat : 12755 (pbct) R 12753 12755 12183 0 -1 4202500 32706 0 0 0 10358 4902 0 0 25 0 1 0 14386966 0 0 4089446400 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/12755/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 152.6
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 152.605
CPU time (s): 152.609
CPU user time (s): 103.581
CPU system time (s): 49.0275
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 123936

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

runsolver used 0.25696 second user time and 0.512922 second system time

The end

Launcher Data

Begin job on node140 at 2010-07-07 02:15:42
IDJOB=2698891
IDBENCH=79037
IDSOLVER=1212
FILE ID=node140/2698891-1278461741
PBS_JOBID= 11233713
Free space on /tmp= 73856 MiB

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

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

MD5SUM BENCH= d386dfc8e47349268f453a2b59efbfb7
RANDOM SEED=1686117639

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30025584 kB
Buffers:        101524 kB
Cached:        2607260 kB
SwapCached:          0 kB
Active:         841364 kB
Inactive:      1948592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30025584 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2736 kB
Writeback:           0 kB
AnonPages:       81008 kB
Mapped:          15444 kB
Slab:            72340 kB
PageTables:       4700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   226740 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73852 MiB
End job on node140 at 2010-07-07 02:18:14