Trace number 2684261

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 NameAnswerobjective functionCPU timeWall clock time
PB/CT 0.1Wrong Opt.4241573760 273.635 273.703

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-randc5fe62.cudf.trendy.opb
MD5SUM43875142ae1c220985d6e8b2ab6ecef8
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4241573758
Best CPU time to get the best result obtained on this benchmark12.3381
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6791
Total number of constraints28455
Number of constraints which are clauses28164
Number of constraints which are cardinality constraints (but not clauses)291
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 3172
Biggest coefficient in the objective function 4004529472
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 2210495226091
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 4004529472
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 2210495226091
Number of bits of the biggest sum of numbers42
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 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.29/0.36	c constraints 291/0 clauses 27415/0 units 545
0.29/0.36	c vars 6791
0.29/0.37	c objective 2829 + 0
1.99/2.01	c 1.83672 90.7031 521 107996
1.99/2.01	o 1101828127973
1.99/2.05	c 1.87372 92.6562 529 110431
1.99/2.05	o 1077843820793
2.10/2.13	c 1.9467 92.6562 557 115821
2.10/2.13	o 1037803569563
2.10/2.20	c 2.0027 92.6562 580 120226
2.10/2.20	o 1037768265143
2.19/2.24	c 2.03869 92.6562 597 123377
2.19/2.24	o 1037722873745
2.19/2.29	c 2.08668 92.6562 611 126266
2.19/2.29	o 1037687569329
2.29/2.34	c 2.13267 92.6562 623 129203
2.29/2.34	o 1033783909611
2.29/2.37	c 2.16467 92.6562 627 130814
2.29/2.37	o 1033652778940
2.59/2.63	c 2.39064 92.6562 737 147543
2.59/2.63	o 733451764477
2.59/2.67	c 2.42263 92.6562 749 149309
2.59/2.67	o 733451764468
2.69/2.71	c 2.45463 92.6562 758 151814
2.69/2.71	o 701465963570
2.69/2.75	c 2.49862 92.6562 771 154476
2.69/2.75	o 701433180894
2.89/2.98	c 2.70159 92.6562 828 168926
2.89/2.98	o 429180655168
2.99/3.02	c 2.73458 92.6562 837 171619
2.99/3.02	o 429150394246
3.69/3.72	c 3.34949 92.7852 1060 216849
3.69/3.72	o 425166038746
3.79/3.82	c 3.43048 92.7852 1099 222540
3.79/3.82	o 425166038737
3.79/3.89	c 3.49747 92.7852 1137 225894
3.79/3.89	o 261149287221
3.99/4.04	c 3.62745 92.7852 1178 234453
3.99/4.04	o 261025721764
3.99/4.07	c 3.65744 92.7852 1184 236458
3.99/4.07	o 261023200025
4.09/4.11	c 3.68544 92.7852 1188 238298
4.09/4.11	o 260992939087
4.09/4.15	c 3.71843 92.7852 1235 240788
4.09/4.15	o 260990417347
4.59/4.62	c 4.14037 92.7852 1381 268909
4.59/4.62	o 260818938757
4.59/4.69	c 4.20336 92.7852 1390 271802
4.59/4.69	o 260816417026
4.99/5.01	c 4.49032 92.7852 1484 290679
4.99/5.01	o 260791199570
4.99/5.07	c 4.53731 92.7852 1497 293021
4.99/5.07	o 260791199569
5.09/5.16	c 4.6233 92.7852 1526 297305
5.09/5.16	o 260786156067
5.19/5.26	c 4.71428 92.7852 1554 302084
5.19/5.26	o 260740764683
5.29/5.31	c 4.75828 92.7852 1562 304479
5.29/5.31	o 256806844026
5.29/5.35	c 4.79227 92.7852 1567 306076
5.29/5.35	o 256758930914
5.40/5.40	c 4.83427 92.7852 1574 308751
5.40/5.40	o 144710279761
5.40/5.45	c 4.87326 92.7852 1578 310731
5.40/5.45	o 144710279756
5.40/5.48	c 4.90225 92.7852 1584 312345
5.40/5.48	o 144710279741
5.50/5.53	c 4.94725 92.7852 1590 314793
5.50/5.53	o 144657323140
5.50/5.56	c 4.97724 92.7852 1591 316350
5.50/5.56	o 100693238241
5.50/5.59	c 5.00324 92.7852 1589 317890
5.50/5.59	o 60660552253
5.60/5.62	c 5.03123 92.9141 1589 319356
5.60/5.62	o 60645421776
5.60/5.65	c 5.06123 92.9141 1590 321061
5.60/5.65	o 56686283683
5.60/5.68	c 5.08923 92.9141 1591 322699
5.60/5.68	o 56645935790
5.69/5.72	c 5.12522 92.9141 1594 324713
5.69/5.72	o 56645935787
5.69/5.75	c 5.15122 92.9141 1597 326040
5.69/5.75	o 56643414045
5.69/5.78	c 5.17621 92.9141 1597 327320
5.69/5.78	o 56643414040
5.80/5.81	c 5.20321 92.9141 1597 328487
5.80/5.81	o 56640892305
5.80/5.84	c 5.2332 92.9141 1599 329831
5.80/5.84	o 56640892303
5.80/5.88	c 5.2632 92.9141 1607 331029
5.80/5.88	o 56640892300
5.89/5.91	c 5.2862 92.9141 1609 332106
5.89/5.91	o 56638370560
5.89/5.96	c 5.33519 92.9141 1615 333932
5.89/5.96	o 56638370540
5.99/6.03	c 5.39718 92.9141 1625 336807
5.99/6.03	o 52727145601
5.99/6.07	c 5.43117 92.9141 1629 338635
5.99/6.07	o 52714536887
6.09/6.10	c 5.46117 92.9141 1631 340090
6.09/6.10	o 52681754205
6.09/6.13	c 5.49316 92.9141 1635 341493
6.09/6.13	o 52679232463
6.19/6.20	c 5.55415 92.9141 1656 344639
6.19/6.20	o 52573319245
6.19/6.26	c 5.60915 92.9141 1657 347331
6.19/6.26	o 52409405907
6.29/6.31	c 5.65414 92.9141 1679 349513
6.29/6.31	o 52409405888
6.60/6.66	c 5.97009 93.043 1829 353045
6.60/6.66	o 52353927528
6.69/6.70	c 6.00709 93.043 1842 354264
6.69/6.70	o 52353927517
6.69/6.76	c 6.05408 93.043 1855 355154
6.69/6.76	o 52351405777
7.19/7.21	c 6.47401 93.043 1932 356581
7.19/7.21	o 52351405776
7.29/7.33	c 6.58 93.043 1961 360323
7.29/7.33	o 52333753558
7.59/7.68	c 6.89395 93.1719 2013 361173
7.59/7.68	o 52331231840
7.79/7.86	c 7.05893 93.1719 2063 365096
7.79/7.86	o 52331231832
7.89/7.95	c 7.13891 93.1719 2076 368287
7.89/7.95	o 52328710106
7.99/8.00	c 7.18091 93.1719 2082 369040
7.99/8.00	o 52328710088
7.99/8.03	c 7.2139 93.1719 2084 370186
7.99/8.03	o 52273231733
7.99/8.09	c 7.2659 93.1719 2105 371215
7.99/8.09	o 52270710015
8.09/8.12	c 7.29589 93.1719 2067 372463
8.09/8.12	o 52248014336
8.09/8.15	c 7.32189 93.1719 2068 373162
8.09/8.15	o 52248014331
8.09/8.18	c 7.34888 93.1719 2070 374231
8.09/8.18	o 52245492593
8.39/8.40	c 7.55485 93.1719 2119 374923
8.39/8.40	o 52245492553
8.39/8.44	c 7.58985 93.1719 2127 375701
8.39/8.44	o 52242970840
8.48/8.51	c 7.65184 93.1719 2143 376522
8.48/8.51	o 52240449099
8.48/8.58	c 7.71883 93.1719 2169 378980
8.48/8.58	o 48611659368
8.58/8.63	c 7.75982 93.1719 2157 380553
8.58/8.63	o 48399832920
8.58/8.67	c 7.79181 93.1719 2165 381758
8.58/8.67	o 48399832907
8.69/8.70	c 7.82181 93.1719 2168 382989
8.69/8.70	o 48377137225
8.69/8.73	c 7.85081 93.1719 2171 383711
8.69/8.73	o 48377137210
8.69/8.77	c 7.8888 93.1719 2188 384950
8.69/8.77	o 48271224045
8.79/8.85	c 7.95779 93.1719 2210 385707
8.79/8.85	o 48271224025
8.79/8.89	c 7.99278 93.3008 2216 387212
8.79/8.89	o 48248528334
8.89/8.92	c 8.01978 93.3008 2217 388120
8.89/8.92	o 48246006593
8.89/8.95	c 8.04678 93.3008 2217 389249
8.89/8.95	o 48238441354
8.89/8.98	c 8.07177 93.3008 2217 390280
8.89/8.98	o 48235919617
8.99/9.00	c 8.10177 93.3008 2217 391138
8.99/9.00	o 48233397873
8.99/9.03	c 8.12676 93.3008 2217 392246
8.99/9.03	o 48228354380
8.99/9.06	c 8.15476 93.3008 2218 393093
8.99/9.06	o 48225832641
8.99/9.10	c 8.17776 93.3008 2219 393943
8.99/9.10	o 48225832640
9.08/9.13	c 8.20475 93.3008 2219 394785
9.08/9.13	o 48225832634
9.08/9.16	c 8.23275 93.3008 2220 395586
9.08/9.16	o 48223310895
9.19/9.21	c 8.28174 93.3008 2239 396292
9.19/9.21	o 48223310855
9.19/9.27	c 8.33473 93.3008 2260 397132
9.19/9.27	o 48220789135
9.39/9.50	c 8.5407 93.3008 2366 398425
9.39/9.50	o 48220789112
9.49/9.53	c 8.5707 93.3008 2367 399145
9.49/9.53	o 48218267383
9.89/9.90	c 8.91764 93.4297 2508 401536
9.89/9.90	o 48218267357
10.09/10.18	c 9.16661 93.4297 2581 402370
10.09/10.18	o 48215745654
10.29/10.32	c 9.29659 93.4297 2629 404138
10.29/10.32	o 48215745616
10.29/10.36	c 9.33058 93.4297 2633 404755
10.29/10.36	o 48213223910
10.39/10.45	c 9.42057 93.4297 2663 406102
10.39/10.45	o 44634869101
10.39/10.49	c 9.45256 93.4297 2667 407237
10.39/10.49	o 44367564267
10.49/10.52	c 9.48056 93.4297 2671 408215
10.49/10.52	o 44367564266
10.49/10.55	c 9.50955 93.4297 2672 409113
10.49/10.55	o 44367564265
10.49/10.58	c 9.53555 93.4297 2673 410188
10.49/10.58	o 44365042524
10.59/10.61	c 9.56455 93.4297 2677 411447
10.59/10.61	o 44246520594
10.59/10.64	c 9.59254 93.4297 2677 412536
10.59/10.64	o 44246520586
10.59/10.67	c 9.61954 93.4297 2677 413602
10.59/10.67	o 44243998842
10.68/10.70	c 9.64453 93.4297 2677 414708
10.68/10.70	o 44218781402
10.68/10.73	c 9.67053 93.4297 2677 415758
10.68/10.73	o 44216259659
10.68/10.76	c 9.69353 93.4297 2677 416438
10.68/10.76	o 44216259658
10.68/10.79	c 9.72052 93.4297 2678 417591
10.68/10.79	o 44203650938
10.79/10.82	c 9.74652 93.4297 2678 418614
10.79/10.82	o 44201129197
10.79/10.85	c 9.77151 93.4297 2678 419669
10.79/10.85	o 44201129192
10.79/10.88	c 9.79951 93.4297 2678 420538
10.79/10.88	o 44198607448
10.89/10.91	c 9.82651 93.4297 2678 421525
10.89/10.91	o 44196085704
10.89/10.94	c 9.8515 93.4297 2679 422368
10.89/10.94	o 44193563968
10.89/10.97	c 9.8795 93.5586 2679 423231
10.89/10.97	o 44193563960
10.89/11.00	c 9.90549 93.5586 2679 424060
10.89/11.00	o 44191042216
11.00/11.03	c 9.93149 93.5586 2679 424985
11.00/11.03	o 44188520473
11.00/11.06	c 9.95849 93.5586 2679 425549
11.00/11.06	o 44188520472
11.00/11.09	c 9.98548 93.5586 2680 426487
11.00/11.09	o 44185998728
11.09/11.17	c 10.0535 93.5586 2705 427784
11.09/11.17	o 40436165364
11.19/11.21	c 10.0925 93.5586 2715 428982
11.19/11.21	o 40302512946
11.39/11.49	c 10.3564 93.5586 2750 429370
11.39/11.49	o 40302512945
11.49/11.57	c 10.4304 93.5586 2771 431912
11.49/11.57	o 40289904223
12.00/12.05	c 10.8823 93.5586 2859 432740
12.00/12.05	o 40287382506
12.09/12.12	c 10.9443 93.5586 2874 433935
12.09/12.12	o 40287382489
12.49/12.51	c 11.3093 93.6875 2982 437497
12.49/12.51	o 40284860751
12.49/12.54	c 11.3363 93.6875 2982 438618
12.49/12.54	o 40262165034
12.49/12.57	c 11.3613 93.6875 2983 439738
12.49/12.57	o 40247034570
12.49/12.60	c 11.3883 93.6875 2983 440776
12.49/12.60	o 40244512826
12.58/12.63	c 11.4153 93.6875 2984 441612
12.58/12.63	o 40244512825
12.69/12.73	c 11.5033 93.6875 3005 444894
12.69/12.73	o 40241991161
12.69/12.76	c 11.5292 93.6875 3005 445931
12.69/12.76	o 40241991081
12.69/12.79	c 11.5632 93.6875 3006 447276
12.69/12.79	o 40239469340
12.79/12.82	c 11.5902 93.6875 3006 448296
12.79/12.82	o 40239469338
12.79/12.85	c 11.6182 93.6875 3007 449264
12.79/12.85	o 40236947594
12.79/12.88	c 11.6452 93.6875 3007 450295
12.79/12.88	o 40234425850
12.89/12.92	c 11.6772 93.6875 3011 450916
12.89/12.92	o 40234425847
13.10/13.11	c 11.8572 93.6875 3065 452528
13.10/13.11	o 36587983989
13.10/13.15	c 11.8942 93.6875 3070 453859
13.10/13.15	o 36540070873
13.10/13.18	c 11.9232 93.6875 3072 455020
13.10/13.18	o 36260157300
13.20/13.21	c 11.9512 93.6875 3072 455913
13.20/13.21	o 36257635556
13.20/13.24	c 11.9792 93.6875 3072 456975
13.20/13.24	o 36255113814
13.20/13.27	c 12.0062 93.6875 3072 457586
13.20/13.27	o 36255113813
13.29/13.30	c 12.0342 93.6875 3072 458480
13.29/13.30	o 36255113812
13.29/13.33	c 12.0592 93.6875 3072 459333
13.29/13.33	o 36255113811
13.29/13.36	c 12.0862 93.6875 3072 459975
13.29/13.36	o 36255113808
13.29/13.39	c 12.1132 93.6875 3072 460799
13.29/13.39	o 36252592069
13.39/13.42	c 12.1382 93.6875 3072 461901
13.39/13.42	o 36247548584
13.39/13.45	c 12.1631 93.6875 3072 462746
13.39/13.45	o 36247548582
13.39/13.48	c 12.1901 93.8164 3072 463612
13.39/13.48	o 36247548581
13.49/13.51	c 12.2151 93.8164 3072 464545
13.49/13.51	o 36247548579
13.49/13.54	c 12.2411 93.8164 3072 465567
13.49/13.54	o 36245026837
13.49/13.57	c 12.2661 93.8164 3072 466187
13.49/13.57	o 36245026831
13.49/13.60	c 12.2941 93.8164 3072 467106
13.49/13.60	o 36242505092
13.59/13.63	c 12.3221 93.8164 3072 468028
13.59/13.63	o 36239983348
13.59/13.66	c 12.3521 93.8164 3072 468868
13.59/13.66	o 36237461605
13.59/13.69	c 12.3801 93.8164 3072 469593
13.59/13.69	o 36237461604
13.69/13.72	c 12.4081 93.8164 3073 470693
13.69/13.72	o 36234939863
13.69/13.76	c 12.4451 93.8164 3079 471096
13.69/13.76	o 36234939862
13.89/13.93	c 12.6011 93.8164 3119 471855
13.89/13.93	o 36232418136
13.98/14.06	c 12.7191 93.8164 3151 473857
13.98/14.06	o 36229896418
14.20/14.22	c 12.857 93.8164 3179 475060
14.20/14.22	o 32394323778
14.20/14.26	c 12.899 93.8164 3203 476223
14.20/14.26	o 32248062642
14.20/14.30	c 12.928 93.8164 3215 476930
14.20/14.30	o 32248062639
14.58/14.63	c 13.227 93.8164 3315 478138
14.58/14.63	o 32248062631
14.58/14.66	c 13.254 93.8164 3315 478971
14.58/14.66	o 32245540889
14.58/14.69	c 13.282 93.8164 3315 479683
14.58/14.69	o 32243019156
14.68/14.72	c 13.311 93.8164 3315 480575
14.68/14.72	o 32243019143
14.68/14.75	c 13.337 93.8164 3315 481253
14.68/14.75	o 32240497400
14.68/14.78	c 13.363 93.8164 3315 481916
14.68/14.78	o 32237975658
14.78/14.81	c 13.389 93.8164 3316 482626
14.78/14.81	o 32237975656
14.78/14.87	c 13.436 93.8164 3331 483759
14.78/14.87	o 32144671146
14.89/14.93	c 13.4939 93.9453 3355 485238
14.89/14.93	o 28369620358
14.89/14.97	c 13.5349 93.9453 3361 486382
14.89/14.97	o 28190576557
15.49/15.52	c 14.0329 93.9453 3470 487766
15.49/15.52	o 28175446090
15.58/15.61	c 14.1219 93.9453 3506 488976
15.58/15.61	o 24370134369
15.58/15.64	c 14.1508 93.9453 3506 490054
15.58/15.64	o 24150742663
15.58/15.67	c 14.1768 93.9453 3506 491083
15.58/15.67	o 24148220920
15.68/15.70	c 14.2028 93.9453 3506 491924
15.68/15.70	o 24148220919
15.68/15.74	c 14.2338 93.9453 3507 492988
15.68/15.74	o 24145699176
15.68/15.77	c 14.2608 93.9453 3507 493775
15.68/15.77	o 24143177432
15.79/15.80	c 14.2868 93.9453 3507 494614
15.79/15.80	o 24143177431
15.79/15.83	c 14.3148 93.9453 3507 495462
15.79/15.83	o 24140655688
15.79/15.86	c 14.3398 93.9453 3507 496212
15.79/15.86	o 24138133944
15.79/15.88	c 14.3678 93.9453 3507 496809
15.79/15.88	o 24138133943
15.89/15.91	c 14.3918 93.9453 3507 497411
15.89/15.91	o 24138133942
15.89/15.94	c 14.4168 93.9453 3507 498260
15.89/15.94	o 24135612199
15.89/15.97	c 14.4428 93.9453 3507 499097
15.89/15.97	o 24133090455
15.99/16.00	c 14.4688 93.9453 3507 499772
15.99/16.00	o 24130568711
15.99/16.03	c 14.4968 93.9453 3507 500435
15.99/16.03	o 24128046968
15.99/16.06	c 14.5258 93.9453 3507 501103
15.99/16.06	o 24128046965
15.99/16.09	c 14.5518 93.9453 3507 501983
15.99/16.09	o 24125525224
16.09/16.12	c 14.5808 93.9453 3507 502705
16.09/16.12	o 24125525222
16.09/16.15	c 14.6078 93.9453 3508 503422
16.09/16.15	o 24123003478
16.09/16.18	c 14.6348 93.9453 3508 504097
16.09/16.18	o 24120481737
16.18/16.21	c 14.6658 93.9453 3510 504739
16.18/16.21	o 24120481736
16.29/16.32	c 14.7638 93.9453 3538 505893
16.29/16.32	o 20335343970
16.29/16.35	c 14.7918 93.9453 3538 506983
16.29/16.35	o 20176474123
16.29/16.38	c 14.8187 93.9453 3538 508088
16.29/16.38	o 20163865403
16.40/16.41	c 14.8477 93.9453 3538 509159
16.40/16.41	o 20148734939
16.40/16.44	c 14.8767 93.9453 3538 509943
16.40/16.44	o 20148734938
16.40/16.47	c 14.9037 93.9453 3538 510690
16.40/16.47	o 20148734937
16.40/16.50	c 14.9327 93.9453 3538 511715
16.40/16.50	o 20146213201
16.49/16.53	c 14.9607 94.0742 3539 512957
16.49/16.53	o 20146213196
16.49/16.56	c 14.9857 94.0742 3539 513977
16.49/16.56	o 20146213194
16.49/16.59	c 15.0137 94.0742 3539 514792
16.49/16.59	o 20143691451
16.59/16.62	c 15.0407 94.0742 3539 515703
16.59/16.62	o 20143691450
16.59/16.65	c 15.0667 94.0742 3539 516614
16.59/16.65	o 20143691448
16.59/16.68	c 15.0907 94.0742 3539 517512
16.59/16.68	o 20141169706
16.69/16.71	c 15.1177 94.0742 3539 518340
16.69/16.71	o 20138647962
16.69/16.74	c 15.1457 94.0742 3539 518921
16.69/16.74	o 20138647961
16.69/16.77	c 15.1737 94.0742 3539 519830
16.69/16.77	o 20136126218
16.79/16.80	c 15.1987 94.0742 3539 520452
16.79/16.80	o 20136126217
16.79/16.83	c 15.2247 94.0742 3539 521391
16.79/16.83	o 20133604473
16.79/16.86	c 15.2517 94.0742 3539 522243
16.79/16.86	o 20131082729
16.79/16.89	c 15.2797 94.0742 3539 523104
16.79/16.89	o 20128560986
16.89/16.92	c 15.3067 94.0742 3539 523624
16.89/16.92	o 20128560985
16.89/16.95	c 15.3337 94.0742 3539 524532
16.89/16.95	o 20126039242
16.89/16.98	c 15.3627 94.0742 3539 525022
16.89/16.98	o 20126039241
16.99/17.01	c 15.3867 94.0742 3539 525782
16.99/17.01	o 20123517498
16.99/17.04	c 15.4127 94.0742 3539 526522
16.99/17.04	o 20120995755
16.99/17.07	c 15.4417 94.0742 3539 527107
16.99/17.07	o 20120995754
17.09/17.10	c 15.4696 94.0742 3540 527553
17.09/17.10	o 20120995753
17.09/17.13	c 15.4936 94.0742 3540 528229
17.09/17.13	o 20118474011
17.09/17.17	c 15.5276 94.0742 3542 529540
17.09/17.17	o 20115952279
17.09/17.19	c 15.5556 94.0742 3542 530202
17.09/17.19	o 20115952262
17.18/17.22	c 15.5856 94.0742 3542 530849
17.18/17.22	o 20113430525
17.18/17.25	c 15.6116 94.0742 3542 531208
17.18/17.25	o 20113430524
17.18/17.28	c 15.6376 94.0742 3542 531958
17.18/17.28	o 20113430523
17.28/17.31	c 15.6616 94.0742 3542 532627
17.28/17.31	o 20110908779
17.28/17.34	c 15.6876 94.0742 3542 533428
17.28/17.34	o 20108387038
17.28/17.37	c 15.7126 94.0742 3542 533953
17.28/17.37	o 20108387036
17.39/17.40	c 15.7426 94.0742 3543 534692
17.39/17.40	o 20108387035
17.39/17.48	c 15.8096 94.2031 3577 534994
17.39/17.48	o 20108387034
17.60/17.62	c 15.9446 94.2031 3640 536575
17.60/17.62	o 16494727801
17.60/17.65	c 15.9726 94.2031 3641 537821
17.60/17.65	o 16356031898
17.60/17.68	c 16.0026 94.2031 3644 539019
17.60/17.68	o 16310640506
17.69/17.71	c 16.0286 94.2031 3646 539726
17.69/17.71	o 16310640500
17.69/17.74	c 16.0546 94.2031 3646 540383
17.69/17.74	o 16310640499
17.69/17.77	c 16.0816 94.2031 3648 541037
17.69/17.77	o 16308118759
18.18/18.23	c 16.5055 94.2031 3749 542484
18.18/18.23	o 16300553558
18.18/18.26	c 16.5345 94.2031 3749 543520
18.18/18.26	o 16300553556
18.18/18.29	c 16.5625 94.2031 3750 544565
18.18/18.30	o 16298031812
18.29/18.33	c 16.5875 94.2031 3750 545579
18.29/18.33	o 16295510070
18.29/18.36	c 16.6135 94.2031 3750 546619
18.29/18.36	o 16295510067
18.29/18.39	c 16.6375 94.2031 3750 547712
18.29/18.39	o 16255162166
18.38/18.42	c 16.6655 94.2031 3752 548233
18.38/18.42	o 16255162165
18.38/18.44	c 16.6895 94.2031 3752 549050
18.38/18.44	o 16255162163
18.38/18.47	c 16.7185 94.2031 3752 549714
18.38/18.47	o 16252640420
18.48/18.50	c 16.7455 94.2031 3752 550256
18.48/18.50	o 16252640419
18.48/18.53	c 16.7744 94.2031 3752 551301
18.48/18.53	o 16250118677
18.48/18.56	c 16.8034 94.2031 3752 551938
18.48/18.56	o 16250118675
18.48/18.59	c 16.8254 94.2031 3752 552677
18.48/18.59	o 16247596933
18.59/18.62	c 16.8514 94.2031 3752 553184
18.59/18.62	o 16247596932
18.59/18.66	c 16.8884 94.2031 3755 554038
18.59/18.66	o 16247596926
19.49/19.53	c 17.7083 94.332 3855 555416
19.49/19.53	o 16245075196
19.49/19.56	c 17.7373 94.332 3856 556473
19.49/19.56	o 16242553454
19.49/19.59	c 17.7633 94.332 3856 557491
19.49/19.59	o 16242553449
19.59/19.62	c 17.7923 94.332 3856 558507
19.59/19.62	o 16240031706
19.59/19.65	c 17.8183 94.332 3856 559460
19.59/19.65	o 16237509962
19.59/19.68	c 17.8473 94.332 3856 560219
19.59/19.68	o 16237509961
19.70/19.71	c 17.8743 94.332 3856 561129
19.70/19.71	o 16234988220
19.70/19.74	c 17.9003 94.332 3856 562155
19.70/19.74	o 16234988218
19.70/19.77	c 17.9273 94.332 3856 563057
19.70/19.77	o 16232466474
19.70/19.80	c 17.9533 94.332 3856 563758
19.70/19.80	o 16232466473
19.80/19.83	c 17.9793 94.332 3856 564665
19.80/19.83	o 16229944730
19.80/19.86	c 18.0063 94.332 3856 565361
19.80/19.86	o 16229944729
19.80/19.89	c 18.0313 94.332 3856 566099
19.80/19.89	o 16227422988
19.89/19.92	c 18.0563 94.332 3857 566862
19.89/19.92	o 16224901245
19.89/19.94	c 18.0832 94.332 3857 567596
19.89/19.94	o 16224901242
19.89/19.97	c 18.1102 94.332 3857 568272
19.89/19.97	o 16222379498
19.99/20.00	c 18.1372 94.332 3857 568763
19.99/20.00	o 16222379497
19.99/20.03	c 18.1672 94.332 3859 569709
19.99/20.03	o 16219857755
19.99/20.06	c 18.1952 94.332 3859 570518
19.99/20.06	o 16219857753
19.99/20.09	c 18.2222 94.332 3859 571275
19.99/20.09	o 16217336009
20.09/20.12	c 18.2492 94.332 3859 572227
20.09/20.12	o 16214814265
20.09/20.15	c 18.2772 94.332 3859 572962
20.09/20.15	o 16212292521
20.09/20.18	c 18.3012 94.332 3859 573615
20.09/20.18	o 16209770778
20.19/20.23	c 18.3442 94.332 3870 573940
20.19/20.23	o 16209770777
20.39/20.47	c 18.5672 94.332 3944 575200
20.39/20.47	o 12482633090
20.49/20.50	c 18.6012 94.332 3950 575909
20.49/20.50	o 12482633088
20.49/20.54	c 18.6322 94.332 3956 577026
20.49/20.54	o 12318719798
20.49/20.57	c 18.6622 94.332 3956 578062
20.49/20.57	o 12316198058
20.49/20.60	c 18.6832 94.4609 3956 579170
20.49/20.60	o 12306111079
20.59/20.63	c 18.7112 94.4609 3956 580240
20.59/20.63	o 12303589336
20.59/20.66	c 18.7392 94.4609 3956 581010
20.59/20.66	o 12301067594
20.59/20.68	c 18.7681 94.4609 3956 582127
20.59/20.68	o 12298545846
20.68/20.71	c 18.7931 94.4609 3956 583145
20.68/20.71	o 12296024106
20.68/20.74	c 18.8191 94.4609 3956 584010
20.68/20.74	o 12296024100
20.68/20.77	c 18.8461 94.4609 3956 584766
20.68/20.77	o 12293502362
20.79/20.80	c 18.8741 94.4609 3956 585829
20.79/20.80	o 12293502358
20.79/20.83	c 18.8991 94.4609 3956 586511
20.79/20.83	o 12290980618
20.79/20.86	c 18.9251 94.4609 3956 587554
20.79/20.86	o 12290980614
20.79/20.89	c 18.9541 94.4609 3957 588309
20.79/20.89	o 12288458874
20.90/20.96	c 19.0091 94.4609 3974 588945
20.90/20.96	o 12288458869
20.90/20.99	c 19.0381 94.4609 3976 589567
20.90/20.99	o 12288458836
20.98/21.02	c 19.0651 94.4609 3976 590160
20.98/21.02	o 12288458834
20.98/21.05	c 19.0971 94.4609 3978 590464
20.98/21.05	o 12288458833
21.09/21.15	c 19.1911 94.4609 4015 590855
21.09/21.15	o 12288458832
21.18/21.25	c 19.2801 94.4609 4035 591651
21.18/21.25	o 12285937118
21.39/21.43	c 19.449 94.4609 4070 592287
21.39/21.43	o 12285937098
21.39/21.47	c 19.476 94.4609 2896 592866
21.39/21.47	o 12285937094
21.39/21.49	c 19.504 94.4609 2896 593440
21.39/21.49	o 12285937090
21.49/21.53	c 19.536 94.4609 2903 593768
21.49/21.53	o 12285937089
21.79/21.82	c 19.797 94.4609 2939 594414
21.79/21.82	o 12283415392
21.79/21.85	c 19.825 94.4609 2942 594974
21.79/21.85	o 12283415379
21.79/21.89	c 19.857 94.4609 2950 595603
21.79/21.89	o 12283415377
21.89/21.96	c 19.927 94.4609 2964 596198
21.89/21.96	o 12283415372
21.89/22.00	c 19.964 94.4609 2969 596804
21.89/22.00	o 12283415370
21.99/22.08	c 20.029 94.4609 2990 597070
21.99/22.08	o 12283415369
22.39/22.41	c 20.3429 94.4609 3033 597377
22.39/22.41	o 12283415368
22.39/22.49	c 20.4209 94.4609 3012 598031
22.39/22.49	o 12283415367
22.68/22.77	c 20.6889 94.4609 3057 598413
22.68/22.77	o 12283415366
22.79/22.81	c 20.7268 94.4609 3065 599018
22.79/22.81	o 12283415363
22.79/22.90	c 20.8018 94.4609 3111 599843
22.79/22.90	o 12283415359
23.48/23.55	c 21.4017 94.4609 3075 600440
23.48/23.55	o 12283415358
23.99/24.05	c 21.8697 94.4609 3124 600831
23.99/24.05	o 12283415357
24.39/24.41	c 22.2046 94.4609 3201 601603
24.39/24.41	o 12280893640
24.39/24.45	c 22.2426 94.4609 3221 602180
24.39/24.45	o 12280893618
24.99/25.05	c 22.7895 94.4609 3330 603162
24.99/25.05	o 12280893613
26.09/26.19	c 23.8394 94.4609 3516 604114
26.09/26.19	o 12278371907
26.18/26.22	c 23.8714 94.4609 3523 604724
26.18/26.22	o 12278371895
26.18/26.26	c 23.9044 94.4609 3530 605339
26.18/26.26	o 12278371891
26.29/26.34	c 23.9834 94.5898 3561 605645
26.29/26.34	o 12278371890
26.40/26.46	c 24.0933 94.5898 3628 606068
26.40/26.46	o 12278371889
26.59/26.65	c 24.2703 94.5898 3692 606750
26.59/26.65	o 12278371883
26.59/26.69	c 24.3073 94.5898 3699 607350
26.59/26.69	o 12278371880
26.69/26.77	c 24.3703 94.5898 3712 607984
26.69/26.77	o 12275850149
26.78/26.83	c 24.4253 94.5898 3722 608581
26.78/26.83	o 12275850134
26.88/26.93	c 24.5163 94.5898 3746 608898
26.88/26.93	o 12275850133
26.98/27.01	c 24.5913 94.5898 3792 609229
26.98/27.01	o 12275850132
28.38/28.43	c 25.9131 94.7188 4038 610410
28.38/28.43	o 12275850130
29.18/29.21	c 26.636 94.7188 4178 611218
29.18/29.21	o 12275850126
29.59/29.69	c 27.0839 94.8477 4232 611561
29.59/29.69	o 12275850125
31.09/31.14	c 28.4357 94.8477 4438 612626
31.09/31.14	o 12273328416
31.18/31.22	c 28.5057 94.8477 4474 613327
31.18/31.22	o 12273328405
31.18/31.28	c 28.5557 94.8477 4494 613945
31.18/31.28	o 12273328401
31.29/31.31	c 28.5897 94.8477 4498 614250
31.29/31.31	o 12273328400
31.38/31.45	c 28.7126 94.9766 4557 615044
31.38/31.45	o 12273328398
31.69/31.70	c 28.9326 94.9766 4602 615623
31.69/31.70	o 12273328394
31.79/31.86	c 29.0786 94.9766 4651 616281
31.79/31.86	o 12273328391
31.79/31.90	c 29.1136 94.9766 4669 616890
31.79/31.90	o 12273328385
31.90/31.93	c 29.1436 94.9766 4677 617528
31.90/31.93	o 12273328382
31.90/31.98	c 29.1856 94.9766 4702 618167
31.90/31.98	o 12273328380
32.38/32.41	c 29.5945 94.9766 4760 618808
32.38/32.41	o 12270806661
32.49/32.53	c 29.7055 94.9766 4809 619266
32.49/32.53	o 12270806660
32.59/32.65	c 29.8075 95.1055 4876 619682
32.59/32.65	o 12270806659
32.69/32.74	c 29.8875 95.1055 4899 620276
32.69/32.74	o 12270806654
33.09/33.12	c 30.2524 95.1055 5006 621117
33.09/33.12	o 12270806651
33.09/33.16	c 30.2924 95.1055 5013 621358
33.09/33.16	o 12270806650
33.28/33.30	c 30.4204 95.1055 5052 621990
33.28/33.30	o 12270806645
33.68/33.77	c 30.8523 95.1055 5090 622268
33.68/33.77	o 12270806644
34.58/34.65	c 31.6712 95.2344 5248 622883
34.58/34.65	o 12270806643
34.98/35.01	c 32.0081 95.2344 5314 623641
34.98/35.01	o 12270806641
35.58/35.60	c 32.5391 95.2344 5394 624411
35.58/35.60	o 12270806639
36.49/36.60	c 33.4629 95.3711 5571 625663
36.49/36.60	o 12268284923
36.58/36.64	c 33.5019 95.3711 5588 626240
36.58/36.64	o 12268284903
36.68/36.74	c 33.5989 95.3711 5616 626559
36.68/36.74	o 12268284902
37.08/37.14	c 33.9698 95.3711 5656 627224
37.08/37.14	o 12268284898
37.08/37.18	c 34.0058 95.3711 5669 627842
37.08/37.18	o 12268284895
37.19/37.24	c 34.0628 95.3711 5679 628422
37.19/37.24	o 12268284893
37.89/37.97	c 34.7477 95.5 5823 629385
37.89/37.97	o 12265763180
37.98/38.02	c 34.7917 95.5 5839 629704
37.98/38.02	o 12265763179
37.98/38.07	c 34.8387 95.5 5863 630316
37.98/38.07	o 12265763170
38.09/38.11	c 34.8697 95.5 5869 630671
38.09/38.11	o 12265763169
38.09/38.16	c 34.9147 95.5 5885 631304
38.09/38.16	o 12265763166
38.18/38.25	c 34.9997 95.5 5910 631940
38.18/38.25	o 12265763164
38.78/38.84	c 35.5466 95.6289 6114 632704
38.78/38.84	o 12265763163
38.78/38.88	c 35.5746 95.6289 6120 633299
38.78/38.88	o 12265763161
39.39/39.42	c 36.0765 95.6289 6181 633615
39.39/39.42	o 12265763160
40.18/40.22	c 36.8364 95.7578 6342 634579
40.18/40.22	o 12265763155
40.28/40.33	c 36.9334 95.7578 6366 635191
40.28/40.33	o 12265763153
40.28/40.38	c 36.9884 95.7578 6373 635464
40.28/40.38	o 12265763152
41.08/41.12	c 37.6763 95.7578 6517 636307
41.08/41.12	o 12263241442
41.08/41.16	c 37.7083 95.7578 6526 636893
41.08/41.16	o 12263241434
41.18/41.23	c 37.7723 95.7578 6562 637549
41.18/41.23	o 12263241432
41.38/41.40	c 37.9162 95.7578 6588 638119
41.38/41.40	o 12263241424
41.38/41.43	c 37.9472 95.7578 6594 638704
41.38/41.43	o 12263241412
41.38/41.48	c 37.9892 95.7578 6612 639288
41.38/41.48	o 12263241402
41.98/42.08	c 38.5501 95.8867 6761 640310
41.98/42.08	o 12260719694
42.08/42.17	c 38.6321 95.8867 6778 640893
42.08/42.17	o 12260719685
42.19/42.24	c 38.6921 95.8867 6810 641223
42.19/42.24	o 12260719684
42.19/42.27	c 38.7181 95.8867 6810 641788
42.19/42.27	o 12260719677
42.29/42.31	c 38.7541 95.8867 6815 642004
42.29/42.31	o 12260719676
42.38/42.45	c 38.8781 95.8867 6852 642636
42.38/42.45	o 12260719674
42.48/42.59	c 38.9941 95.8867 6899 643292
42.48/42.59	o 12260719669
42.89/42.96	c 39.339 96.0156 6944 643954
42.89/42.96	o 12258197957
42.89/42.99	c 39.373 96.0156 6950 644497
42.89/42.99	o 12258197942
42.98/43.02	c 39.403 96.0156 6956 644716
42.98/43.02	o 12258197941
42.98/43.06	c 39.433 96.0156 6965 645280
42.98/43.06	o 12258197917
43.38/43.41	c 39.75 96.0156 7007 645872
43.38/43.41	o 12255676199
43.38/43.44	c 39.778 96.0156 7014 646414
43.38/43.44	o 12255676187
43.68/43.79	c 40.1059 96.0156 7150 647053
43.68/43.79	o 12255676186
44.48/44.58	c 40.8528 96.1445 7311 647619
44.48/44.58	o 12255676185
45.48/45.51	c 41.7297 96.1445 7467 648220
45.48/45.51	o 12255676184
46.68/46.72	c 42.8475 96.2734 7708 649391
46.68/46.72	o 12255676180
47.38/47.48	c 43.5764 96.4023 7791 649768
47.38/47.48	o 12255676179
47.88/47.96	c 44.0233 96.4023 7856 650124
47.88/47.96	o 12255676178
49.08/49.20	c 45.1831 96.4023 8023 651393
49.08/49.20	o 12253154464
49.18/49.24	c 45.2291 96.4023 8043 651983
49.18/49.24	o 12253154458
49.18/49.29	c 45.2701 96.4023 8053 652725
49.18/49.29	o 12253154454
49.28/49.34	c 45.3121 96.4023 8069 653053
49.28/49.34	o 12253154453
49.39/49.41	c 45.3771 96.5352 8098 653367
49.39/49.41	o 12253154452
49.39/49.46	c 45.4251 96.5352 8110 653927
49.39/49.46	o 12253154448
49.39/49.49	c 45.4551 96.5352 8114 654154
49.39/49.49	o 12253154447
49.49/49.54	c 45.4951 96.5352 8124 654719
49.49/49.54	o 12253154444
50.48/50.55	c 46.4409 96.5352 8407 655495
50.48/50.55	o 12253154443
50.59/50.61	c 46.5009 96.5352 8420 656097
50.59/50.61	o 12253154441
51.18/51.25	c 47.0948 96.6641 8531 656811
51.18/51.25	o 12253154438
51.78/51.82	c 47.6228 96.6641 8584 657130
51.78/51.82	o 12253154437
52.37/52.49	c 48.2447 96.6641 8672 657834
52.37/52.49	o 12250632717
52.48/52.56	c 48.3047 96.6641 8693 658428
52.48/52.56	o 12250632712
52.69/52.77	c 48.5056 96.793 8791 659605
52.69/52.77	o 12250632710
52.79/52.86	c 48.5826 96.793 8818 660230
52.79/52.86	o 12250632708
52.98/53.02	c 48.7306 96.793 8874 660754
52.98/53.02	o 12250632707
53.08/53.19	c 48.8876 96.793 8963 661243
53.08/53.19	o 12250632706
53.18/53.23	c 48.9276 96.793 8982 661835
53.18/53.23	o 12250632704
53.38/53.41	c 49.0965 96.793 9031 662117
53.38/53.41	o 12250632703
53.38/53.45	c 49.1365 96.793 9053 662384
53.38/53.45	o 12250632702
53.48/53.54	c 49.2135 96.793 9088 662661
53.48/53.54	o 12250632701
53.79/53.85	c 49.5075 96.9219 9208 663143
53.79/53.85	o 12250632700
54.58/54.61	c 50.2294 96.9219 9327 663660
54.58/54.61	o 12250632699
54.78/54.90	c 50.4963 96.9219 9410 664193
54.78/54.90	o 12250632698
54.89/54.97	c 50.5613 96.9219 9429 664440
54.89/54.97	o 12250632697
56.18/56.24	c 51.7571 97.0508 9621 665007
56.18/56.24	o 12250632696
57.28/57.32	c 52.782 97.1797 9943 665952
57.28/57.32	o 12250632695
57.88/57.93	c 53.3479 97.1797 10005 666600
57.88/57.93	o 12250632693
58.47/58.54	c 53.9158 97.1797 10058 667052
58.47/58.54	o 12250632692
59.08/59.19	c 54.5227 97.1797 10141 667411
59.08/59.19	o 12250632691
59.58/59.67	c 54.9646 97.3086 10227 668255
59.58/59.67	o 12248110974
59.67/59.76	c 55.0466 97.3086 10244 668827
59.67/59.76	o 12248110971
59.77/59.80	c 55.0816 97.3086 10257 669453
59.77/59.80	o 12248110969
59.77/59.84	c 55.1216 97.3086 10268 669830
59.77/59.84	o 12248110968
59.88/59.94	c 55.2076 97.3086 10320 670252
59.88/59.94	o 12248110967
59.98/60.02	c 55.2856 97.3086 10371 670925
59.98/60.02	o 12248110965
60.17/60.23	c 55.4776 97.4375 10498 671938
60.17/60.23	o 12248110964
60.27/60.30	c 55.5396 97.4375 10528 672262
60.27/60.30	o 12248110963
60.27/60.38	c 55.6165 97.4375 10557 672534
60.27/60.38	o 12248110962
60.49/60.56	c 55.7775 97.4375 10594 673142
60.49/60.56	o 12248110960
60.57/60.62	c 55.8265 97.4375 10601 673469
60.57/60.62	o 12248110959
60.68/60.71	c 55.9175 97.4375 10636 673874
60.68/60.71	o 12248110958
61.98/62.08	c 57.2013 97.6953 11152 675746
61.98/62.08	o 12248110957
63.68/63.71	c 58.7281 97.9531 11633 676959
63.68/63.71	o 12248110956
63.79/63.84	c 58.8511 97.9531 11661 677539
63.79/63.84	o 12248110954
64.28/64.35	c 59.331 97.9531 11771 677912
64.28/64.35	o 12248110953
66.88/66.95	c 61.7576 98.082 12164 678831
66.88/66.95	o 12248110952
68.38/68.40	c 63.1354 98.2109 12460 680277
68.38/68.40	o 12248110950
68.88/68.99	c 63.6873 98.2109 12523 680629
68.88/68.99	o 12248110949
70.07/70.19	c 64.7951 98.3398 12692 681746
70.07/70.19	o 12248110946
70.67/70.72	c 65.2771 98.3398 12785 682147
70.67/70.72	o 12248110945
71.08/71.17	c 65.697 98.3398 12833 682742
71.08/71.17	o 12245589233
71.18/71.25	c 65.765 98.3398 12865 683314
71.18/71.25	o 12245589227
71.28/71.30	c 65.818 98.3398 12876 683977
71.28/71.30	o 12245589222
71.28/71.33	c 65.844 98.3398 12876 684203
71.28/71.33	o 12245589221
71.28/71.37	c 65.874 98.3398 12878 684434
71.28/71.37	o 12245589220
71.38/71.42	c 65.924 98.3398 12894 684871
71.38/71.42	o 12245589219
71.38/71.46	c 65.96 98.3398 12898 685088
71.38/71.46	o 12245589218
71.57/71.66	c 66.1439 98.3398 12971 685845
71.57/71.66	o 12245589216
71.67/71.70	c 66.1849 98.4688 12979 686079
71.67/71.70	o 12245589215
72.07/72.13	c 66.5789 98.4688 13121 686596
72.07/72.13	o 12245589214
81.77/81.84	c 75.5975 98.7266 9100 719011
81.77/81.84	o 12245589208
86.17/86.26	c 79.7659 98.7266 9582 726968
86.17/86.26	o 12245589207
88.36/88.43	c 81.8046 98.7266 9788 727600
88.36/88.43	o 12245589206
89.47/89.54	c 82.8514 98.7266 9987 729140
89.47/89.54	o 12245589205
92.17/92.22	c 85.387 98.7266 9603 731364
92.17/92.22	o 12243067494
92.57/92.69	c 85.791 98.7266 9721 732225
92.57/92.69	o 12243067488
92.66/92.71	c 85.815 98.7266 9721 732438
92.66/92.71	o 12243067487
92.66/92.75	c 85.8439 98.7266 9722 732661
92.66/92.75	o 12243067486
92.77/92.80	c 85.8959 98.7266 9749 733222
92.77/92.80	o 12243067477
92.86/92.98	c 86.0549 98.7266 9770 733734
92.86/92.98	o 12243067475
93.27/93.39	c 86.4199 98.7266 9839 734322
93.27/93.39	o 12243067469
93.37/93.44	c 86.4699 98.7266 9850 736164
93.37/93.44	o 12243067463
94.06/94.16	c 87.1178 98.7266 9250 736693
94.06/94.16	o 12243067462
95.57/95.67	c 88.5405 98.7266 9444 737661
95.57/95.67	o 12243067460
96.37/96.48	c 89.3074 98.7266 9574 738180
96.37/96.48	o 12243067459
97.16/97.29	c 90.0463 98.7266 9730 738651
97.16/97.29	o 12243067458
97.97/98.08	c 90.7722 98.7266 8133 740293
97.97/98.08	o 12240545741
98.07/98.15	c 90.8312 98.7266 8159 741206
98.07/98.15	o 12240545739
98.17/98.27	c 90.9422 98.7266 8240 741835
98.17/98.27	o 12240545738
98.37/98.41	c 91.0652 98.7266 8281 742233
98.37/98.41	o 12240545737
98.67/98.70	c 91.3281 98.7266 8354 742824
98.67/98.70	o 12240545732
98.77/98.82	c 91.4411 98.7266 8384 743138
98.77/98.82	o 12240545731
98.98/99.05	c 91.6411 98.7266 8448 743671
98.98/99.05	o 12240545730
99.07/99.12	c 91.7061 98.7266 8463 744231
99.07/99.12	o 12240545720
99.07/99.19	c 91.764 98.7266 8475 744571
99.07/99.19	o 12240545719
100.27/100.37	c 92.8549 98.7266 8628 745425
100.27/100.37	o 12238024004
100.77/100.89	c 93.3218 98.7266 8731 746173
100.77/100.89	o 12238023994
101.66/101.70	c 94.0487 98.7266 8901 748556
101.66/101.70	o 8770625942
101.66/101.77	c 94.1107 98.7266 8928 750124
101.66/101.77	o 8770625935
101.77/101.80	c 94.1367 98.7266 8934 751369
101.77/101.80	o 8768104193
101.77/101.84	c 94.1687 98.7266 8941 752843
101.77/101.84	o 8765582449
101.86/101.90	c 94.2217 98.7266 8951 756046
101.86/101.90	o 8563842963
101.86/101.93	c 94.2527 98.7266 8956 757476
101.86/101.93	o 8558799483
101.86/101.96	c 94.2807 98.7266 8957 758628
101.86/101.96	o 8558799475
101.86/101.99	c 94.3057 98.7266 8960 759693
101.86/101.99	o 8556277731
101.97/102.02	c 94.3337 98.7266 8963 760759
101.97/102.02	o 8556277729
101.97/102.05	c 94.3607 98.7266 8969 762172
101.97/102.05	o 8553755993
101.97/102.09	c 94.3906 98.7266 8975 763345
101.97/102.09	o 8551234253
102.06/102.13	c 94.4336 98.7266 8985 765844
102.06/102.13	o 8518451580
102.06/102.17	c 94.4686 98.7266 8990 767224
102.06/102.17	o 8518451517
102.17/102.20	c 94.4966 98.7266 8992 768129
102.17/102.20	o 8515929776
102.17/102.23	c 94.5216 98.7266 8992 768967
102.17/102.23	o 8515929774
102.17/102.28	c 94.5636 98.7266 8998 769918
102.17/102.28	o 8513408034
102.27/102.31	c 94.5926 98.7266 8999 771022
102.27/102.31	o 8417581831
102.27/102.34	c 94.6226 98.7266 8551 771900
102.27/102.34	o 8415060092
102.27/102.37	c 94.6486 98.7266 8551 772812
102.27/102.37	o 8415060086
102.37/102.40	c 94.6776 98.7266 8551 773693
102.37/102.40	o 8412538347
102.37/102.43	c 94.7056 98.7266 8552 774603
102.37/102.43	o 8412538342
102.37/102.46	c 94.7316 98.7266 8552 775464
102.37/102.46	o 8410016603
102.37/102.49	c 94.7596 98.7266 8553 776359
102.37/102.49	o 8410016597
102.47/102.52	c 94.7876 98.7266 8556 777303
102.47/102.52	o 8407494870
102.47/102.55	c 94.8136 98.7266 8556 778226
102.47/102.55	o 8407494869
102.47/102.58	c 94.8396 98.7266 8556 779055
102.47/102.58	o 8407494868
102.56/102.61	c 94.8666 98.7266 8556 780028
102.56/102.61	o 8404973125
102.56/102.64	c 94.8936 98.7266 8557 780935
102.56/102.64	o 8404973124
102.56/102.67	c 94.9246 98.7266 8559 781700
102.56/102.67	o 8404973099
102.66/102.71	c 94.9606 98.7266 8562 783469
102.66/102.71	o 8339407767
102.66/102.74	c 94.9896 98.7266 8562 784431
102.66/102.74	o 8336886023
102.66/102.77	c 95.0166 98.7266 8565 785560
102.66/102.77	o 8334364279
102.76/102.80	c 95.0426 98.7266 8566 786574
102.76/102.80	o 8331842536
102.76/102.83	c 95.0695 98.7266 8566 787534
102.76/102.83	o 8329320792
102.76/102.86	c 95.0965 98.7266 8566 788501
102.76/102.86	o 8329320790
102.76/102.89	c 95.1225 98.7266 8566 789455
102.76/102.89	o 8326799047
102.87/102.92	c 95.1495 98.7266 8568 790459
102.87/102.92	o 8324277303
102.87/102.95	c 95.1765 98.7266 8569 791591
102.87/102.95	o 8321755559
102.87/102.98	c 95.2015 98.7266 8569 792540
102.87/102.98	o 8319233815
102.97/103.01	c 95.2295 98.7266 8569 793483
102.97/103.01	o 8316712083
102.97/103.03	c 95.2565 98.7266 8569 794408
102.97/103.03	o 8316712055
102.97/103.06	c 95.2805 98.7266 8569 795409
102.97/103.06	o 8314190326
103.07/103.10	c 95.3135 98.7266 8570 796760
103.07/103.10	o 8311668592
103.07/103.13	c 95.3415 98.7266 8570 797691
103.07/103.13	o 8311668581
103.07/103.16	c 95.3675 98.7266 8570 798600
103.07/103.16	o 8309146839
103.07/103.19	c 95.3945 98.7266 8570 799509
103.07/103.19	o 8309146837
103.17/103.22	c 95.4175 98.7266 8570 800467
103.17/103.22	o 8306625094
103.17/103.24	c 95.4435 98.7266 8570 801196
103.17/103.24	o 8306625093
103.17/103.27	c 95.4715 98.7266 8570 802129
103.17/103.27	o 8304103349
103.27/103.30	c 95.4965 98.7266 8570 803036
103.27/103.30	o 8301581605
103.27/103.33	c 95.5245 98.7266 8570 803984
103.27/103.33	o 8299059862
103.27/103.36	c 95.5525 98.7266 8570 804878
103.27/103.36	o 8296538118
103.27/103.39	c 95.5795 98.7266 8571 805497
103.27/103.39	o 8296538117
103.37/103.42	c 95.6045 98.7266 8571 806414
103.37/103.42	o 8294016374
103.37/103.45	c 95.6305 98.7266 8572 807036
103.37/103.45	o 8294016373
103.37/103.47	c 95.6575 98.7266 8572 807653
103.37/103.47	o 8294016368
103.47/103.50	c 95.6805 98.7266 8572 808561
103.47/103.50	o 8291494629
103.47/103.54	c 95.7084 98.7266 8574 809570
103.47/103.54	o 8288972898
103.47/103.57	c 95.7364 98.7266 8576 810109
103.47/103.57	o 8288972866
103.47/103.60	c 95.7624 98.7266 8576 810687
103.47/103.60	o 8288972858
103.57/103.62	c 95.7904 98.7266 8577 811327
103.57/103.63	o 8288972848
103.57/103.65	c 95.8174 98.7266 8577 811626
103.57/103.65	o 8288972847
103.57/103.68	c 95.8454 98.7266 8578 811934
103.57/103.68	o 8288972846
103.66/103.76	c 95.9094 98.7266 8593 812500
103.66/103.76	o 8286451139
103.76/103.83	c 95.9754 98.7266 8634 812923
103.76/103.83	o 8286451138
103.86/103.92	c 96.0594 98.7266 8653 813512
103.86/103.92	o 8286451134
103.86/103.95	c 96.0864 98.7266 8653 814050
103.86/103.95	o 8286451128
103.86/103.98	c 96.1084 98.7266 8653 814302
103.86/103.98	o 8286451127
103.96/104.01	c 96.1404 98.7266 8655 814546
103.96/104.01	o 8286451126
103.96/104.04	c 96.1694 98.7266 8661 815098
103.96/104.04	o 8286451123
103.96/104.07	c 96.1944 98.7266 8661 815344
103.96/104.07	o 8286451122
104.06/104.10	c 96.2234 98.7266 8663 815911
104.06/104.10	o 8286451120
104.16/104.20	c 96.3064 98.7266 8681 816469
104.16/104.20	o 8286451109
104.26/104.38	c 96.4733 98.7266 8718 817058
104.26/104.38	o 8283929393
104.37/104.41	c 96.5033 98.7266 8726 817611
104.37/104.41	o 8283929376
104.37/104.45	c 96.5433 98.7266 8735 817918
104.37/104.45	o 8283929375
104.86/104.92	c 96.9773 98.7266 7869 818596
104.86/104.92	o 8283929374
105.97/106.02	c 97.9871 98.7266 8046 819436
105.97/106.02	o 8283929372
106.36/106.49	c 98.423 98.7266 8091 820063
106.36/106.49	o 8283929368
106.97/107.06	c 98.964 98.7266 8151 820779
106.97/107.06	o 8281407659
107.07/107.10	c 98.991 98.7266 8159 821311
107.07/107.10	o 8281407653
107.07/107.13	c 99.0189 98.7266 8164 821846
107.07/107.13	o 8281407644
107.36/107.50	c 99.3619 98.7266 8287 822546
107.36/107.50	o 8281407643
107.56/107.68	c 99.5259 98.7266 8335 822963
107.56/107.68	o 8281407642
107.67/107.76	c 99.5979 98.7266 8346 823530
107.67/107.76	o 8281407626
107.86/107.92	c 99.7468 98.7266 8373 824137
107.86/107.92	o 8278885904
107.86/107.96	c 99.7818 98.7266 8378 824372
107.86/107.96	o 8278885903
107.86/107.99	c 99.8078 98.7266 8382 824939
107.86/107.99	o 8278885882
107.96/108.02	c 99.8378 98.7266 8386 825499
107.96/108.02	o 8278885880
107.96/108.09	c 99.8998 98.7266 8429 825899
107.96/108.09	o 8278885879
108.27/108.37	c 100.165 98.7266 8467 826493
108.27/108.37	o 8276364172
108.36/108.40	c 100.192 98.7266 8469 826694
108.36/108.40	o 8276364171
108.36/108.44	c 100.223 98.7266 8475 827218
108.36/108.44	o 8276364169
108.36/108.47	c 100.255 98.7266 8479 827737
108.36/108.47	o 8276364167
108.47/108.50	c 100.288 98.7266 8486 828249
108.47/108.50	o 8276364157
108.66/108.79	c 100.558 98.7266 8605 829082
108.66/108.79	o 8276364155
108.77/108.82	c 100.587 98.7266 8609 829308
108.77/108.82	o 8276364154
109.87/109.99	c 101.673 98.7266 8809 830472
109.87/109.99	o 8276364153
109.97/110.04	c 101.72 98.7266 8822 830749
109.97/110.04	o 8276364152
110.07/110.10	c 101.776 98.7266 8838 831299
110.07/110.10	o 8276364147
110.07/110.15	c 101.815 98.7266 8847 831847
110.07/110.15	o 8276364145
110.16/110.25	c 101.919 98.7266 8870 832106
110.16/110.25	o 8276364144
110.56/110.63	c 102.263 98.7266 8909 832703
110.56/110.63	o 8276364142
111.16/111.21	c 102.795 98.7266 8981 833394
111.16/111.21	o 8276364139
111.56/111.68	c 103.242 98.7266 9035 834059
111.56/111.68	o 8273842423
111.66/111.72	c 103.275 98.7266 9049 834598
111.66/111.72	o 8273842411
112.17/112.25	c 103.789 98.7266 9168 835269
112.17/112.25	o 8273842410
112.36/112.42	c 103.943 98.7266 9225 835645
112.36/112.42	o 8273842409
112.36/112.45	c 103.972 98.7266 9230 835961
112.36/112.45	o 8273842408
112.46/112.52	c 104.04 98.7266 9247 836519
112.46/112.52	o 8273842406
113.37/113.44	c 104.891 98.7266 9396 837171
113.37/113.44	o 8273842405
114.37/114.50	c 105.871 98.7266 9733 838511
114.37/114.50	o 8273842404
114.46/114.56	c 105.933 98.7266 9763 839007
114.46/114.56	o 8273842403
114.56/114.64	c 106.005 98.7266 9783 839243
114.56/114.64	o 8273842402
115.16/115.28	c 106.606 98.7266 9860 839883
115.16/115.28	o 8273842400
115.56/115.63	c 106.93 98.7266 9904 840516
115.56/115.63	o 8271320694
115.66/115.70	c 106.992 98.7266 9925 841076
115.66/115.70	o 8271320684
115.66/115.74	c 107.029 98.7266 9930 841468
115.66/115.74	o 8271320683
115.66/115.77	c 107.058 98.7266 9937 842033
115.66/115.77	o 8271320678
115.76/115.80	c 107.084 98.7266 9938 842327
115.76/115.80	o 8271320677
115.76/115.85	c 107.124 98.7266 9943 842881
115.76/115.85	o 8271320662
116.06/116.10	c 107.36 98.7266 9962 843451
116.06/116.10	o 8271320660
116.26/116.30	c 107.55 98.7266 10005 843895
116.26/116.30	o 8271320659
116.36/116.43	c 107.669 98.7266 10037 844567
116.36/116.43	o 8271320655
116.86/116.92	c 108.129 98.7266 10083 844853
116.86/116.92	o 8271320654
117.36/117.40	c 108.573 98.7266 10130 845447
117.36/117.40	o 8268798934
117.36/117.45	c 108.622 98.7266 10147 846033
117.36/117.45	o 8268798925
117.86/117.90	c 109.042 98.7266 10324 847109
117.86/117.90	o 8268798923
118.16/118.23	c 109.354 98.7266 10464 847790
118.16/118.23	o 8268798922
118.36/118.43	c 109.531 98.7266 10495 848279
118.36/118.43	o 8268798921
118.46/118.56	c 109.655 98.7266 10529 848649
118.46/118.56	o 8268798920
119.96/120.08	c 111.084 98.7266 10780 849754
119.96/120.08	o 8268798919
120.06/120.16	c 111.161 98.7266 10803 850053
120.06/120.16	o 8268798918
120.66/120.72	c 111.688 98.7266 10878 850434
120.66/120.72	o 8268798917
121.56/121.65	c 112.577 98.7266 11019 851069
121.56/121.65	o 8268798916
122.26/122.33	c 113.223 98.7266 11115 851582
122.26/122.33	o 8268798915
122.76/122.89	c 113.735 98.7266 11164 852004
122.76/122.89	o 8268798914
123.56/123.62	c 114.416 98.7266 11289 852565
123.56/123.62	o 8268798913
124.66/124.73	c 115.448 98.7266 11450 853466
124.66/124.73	o 8266277202
124.66/124.76	c 115.478 98.7266 11455 854036
124.66/124.76	o 8266277193
124.76/124.82	c 115.528 98.7266 11467 854631
124.76/124.82	o 8266277191
124.96/125.09	c 115.782 98.7266 11525 855257
124.96/125.09	o 8266277178
125.06/125.12	c 115.806 98.7266 11525 855524
125.06/125.12	o 8266277177
125.06/125.16	c 115.842 98.7266 11531 856228
125.06/125.16	o 8266277176
126.37/126.44	c 117.049 98.7266 11754 857030
126.37/126.44	o 8266277175
126.47/126.51	c 117.113 98.7266 11773 857277
126.47/126.51	o 8266277174
127.26/127.36	c 117.881 98.7266 11961 857968
127.26/127.36	o 8266277173
127.35/127.45	c 117.974 98.7266 12007 858323
127.35/127.45	o 8266277172
128.36/128.40	c 118.871 98.7266 12141 858879
128.36/128.40	o 8266277171
129.26/129.33	c 119.733 98.7266 12308 859750
129.26/129.33	o 8266277169
129.36/129.42	c 119.819 98.7266 12321 860007
129.36/129.42	o 8266277168
130.56/130.62	c 120.925 98.7266 12500 860680
130.56/130.62	o 8266277167
131.05/131.11	c 121.383 98.7266 12553 861085
131.05/131.11	o 8266277166
131.87/131.96	c 122.173 98.7266 12733 861956
131.87/131.96	o 8263755451
131.87/132.00	c 122.209 98.7266 12753 862550
131.87/132.00	o 8263755442
132.16/132.27	c 122.467 98.8555 12898 863654
132.16/132.27	o 8263755441
132.25/132.36	c 122.551 98.8555 12920 863874
132.25/132.36	o 8263755440
132.35/132.40	c 122.584 98.8555 12926 864087
132.35/132.40	o 8263755439
132.35/132.46	c 122.632 98.8555 12935 864344
132.35/132.46	o 8263755438
132.66/132.71	c 122.868 98.8555 13041 865187
132.66/132.71	o 8263755422
132.66/132.74	c 122.897 98.8555 13048 865421
132.66/132.74	o 8263755421
132.66/132.77	c 122.926 98.8555 13054 865963
132.66/132.77	o 8263755416
132.97/133.08	c 123.22 98.8555 13099 866550
132.97/133.08	o 8261233706
133.07/133.13	c 123.271 98.9844 13119 867103
133.07/133.13	o 8261233704
133.16/133.23	c 123.356 98.9844 13151 867693
133.16/133.23	o 8261233697
133.16/133.25	c 123.379 98.9844 13152 868225
133.16/133.25	o 8261233686
133.36/133.43	c 123.544 98.9844 13161 868564
133.36/133.43	o 8261233685
133.55/133.62	c 123.724 98.9844 13191 869137
133.55/133.62	o 8261233681
133.96/134.02	c 124.101 98.9844 13232 869713
133.96/134.02	o 8258711962
133.96/134.05	c 124.136 98.9844 13250 870248
133.96/134.05	o 8258711952
133.96/134.09	c 124.17 98.9844 13257 870854
133.96/134.09	o 8258711936
134.46/134.50	c 124.553 98.9844 13300 871158
134.46/134.50	o 8258711935
135.36/135.48	c 125.447 98.9844 13456 872052
135.36/135.48	o 8256190216
135.46/135.53	c 125.494 99.1133 13471 872334
135.46/135.53	o 8256190215
135.56/135.63	c 125.589 99.1133 13516 872749
135.56/135.63	o 8256190214
135.56/135.66	c 125.615 99.1133 13516 873274
135.56/135.66	o 8256190210
135.56/135.69	c 125.639 99.1133 13516 873491
135.56/135.69	o 8256190209
135.75/135.80	c 125.742 99.1133 13568 873822
135.75/135.80	o 8256190208
135.75/135.87	c 125.809 99.1133 13612 874139
135.75/135.87	o 8256190207
135.86/135.92	c 125.854 99.1133 13634 874419
135.86/135.92	o 8256190206
136.27/136.39	c 126.292 99.1133 13758 874994
136.27/136.39	o 8256190205
136.37/136.47	c 126.365 99.1133 13772 875240
136.37/136.47	o 8256190204
136.66/136.73	c 126.604 99.2422 13844 875723
136.66/136.73	o 8256190203
136.66/136.76	c 126.635 99.2422 13850 876260
136.66/136.76	o 8256190201
136.76/136.81	c 126.673 99.2422 13867 876560
136.76/136.81	o 8256190200
136.76/136.87	c 126.735 99.2422 13900 876891
136.76/136.87	o 8256190199
137.46/137.51	c 127.333 99.2422 13981 877757
137.46/137.51	o 8256190196
138.16/138.25	c 128.036 99.2422 14119 878233
138.16/138.25	o 8256190195
138.76/138.82	c 128.566 99.3711 14202 878970
138.76/138.82	o 8253668477
138.76/138.86	c 128.597 99.3711 14210 879490
138.76/138.86	o 8253668469
138.86/138.92	c 128.656 99.3711 14225 880039
138.86/138.92	o 8253668467
138.86/138.97	c 128.695 99.3711 14242 880304
138.86/138.97	o 8253668466
138.96/139.01	c 128.731 99.3711 14257 880845
138.96/139.01	o 8253668464
138.96/139.04	c 128.762 99.3711 14266 881052
138.96/139.04	o 8253668463
138.96/139.07	c 128.789 99.3711 14267 881448
138.96/139.07	o 8253668462
139.06/139.10	c 128.816 99.3711 14273 881964
139.06/139.10	o 8253668461
139.06/139.16	c 128.872 99.3711 14303 882247
139.06/139.16	o 8253668460
142.66/142.70	c 132.168 99.3711 8093 899948
142.66/142.70	o 8253668456
143.45/143.50	c 132.918 99.3711 8173 900638
143.45/143.50	o 8253668455
144.06/144.17	c 133.556 99.3711 8313 901187
144.06/144.17	o 8253668454
144.95/145.01	c 134.33 99.3711 8455 901700
144.95/145.01	o 8253668453
145.55/145.64	c 134.932 99.3711 8532 902360
145.55/145.64	o 8253668450
146.16/146.26	c 135.516 99.3711 8592 902727
146.16/146.26	o 8253668449
146.56/146.69	c 135.911 99.3711 8660 903379
146.56/146.69	o 8251146726
146.66/146.72	c 135.937 99.3711 8661 904069
146.66/146.72	o 8251146723
146.66/146.76	c 135.966 99.3711 8662 904348
146.66/146.76	o 8251146722
146.86/146.99	c 136.188 99.3711 8788 904936
146.86/146.99	o 8251146721
147.36/147.41	c 136.587 99.3711 8976 905688
147.36/147.41	o 8251146720
147.46/147.54	c 136.706 99.3711 9005 905910
147.46/147.54	o 8251146719
148.16/148.26	c 137.377 99.3711 9237 906631
148.16/148.26	o 8251146718
149.76/149.87	c 138.876 99.3711 9511 907462
149.76/149.87	o 8251146717
150.05/150.14	c 139.125 99.3711 9556 907701
150.05/150.14	o 8251146716
152.76/152.89	c 141.717 99.3711 10171 909471
152.76/152.89	o 8251146715
152.96/153.00	c 141.826 99.3711 10187 909714
152.96/153.00	o 8251146714
153.15/153.21	c 142.025 99.3711 10224 909974
153.15/153.21	o 8251146713
153.86/153.90	c 142.664 99.3711 10373 910685
153.86/153.90	o 8251146712
155.96/156.04	c 144.681 99.3711 10784 911960
155.96/156.04	o 8251146711
157.45/157.50	c 146.073 99.3711 11043 913259
157.45/157.50	o 8251146709
157.76/157.86	c 146.422 99.3711 11101 913623
157.76/157.86	o 8251146708
159.25/159.30	c 147.767 99.3711 11323 914239
159.25/159.30	o 8251146707
159.85/159.97	c 148.388 99.3711 11417 914589
159.85/159.97	o 8251146706
160.56/160.65	c 149.025 99.3711 11478 914995
160.56/160.65	o 8251146705
161.96/162.02	c 150.31 99.3711 11641 915924
161.96/162.02	o 8248624988
161.96/162.06	c 150.343 99.3711 11654 916474
161.96/162.06	o 8248624984
162.05/162.12	c 150.4 99.3711 11671 916747
162.05/162.12	o 8248624983
162.05/162.15	c 150.426 99.3711 11672 916979
162.05/162.15	o 8248624982
162.15/162.27	c 150.541 99.3711 11728 917423
162.15/162.27	o 8248624981
162.25/162.31	c 150.579 99.3711 11749 917761
162.25/162.31	o 8248624980
162.35/162.43	c 150.685 99.3711 11818 918493
162.35/162.43	o 8248624978
162.35/162.48	c 150.733 99.3711 11832 918824
162.35/162.48	o 8248624977
162.76/162.81	c 151.045 99.3711 11967 919389
162.76/162.81	o 8248624976
162.85/162.99	c 151.218 99.3711 12048 919872
162.85/162.99	o 8248624975
162.95/163.08	c 151.299 99.3711 12080 920143
162.95/163.08	o 8248624974
163.45/163.51	c 151.682 99.3711 12220 920723
163.45/163.51	o 8248624973
164.15/164.27	c 152.395 99.3711 12525 922068
164.15/164.27	o 8248624970
164.55/164.60	c 152.71 99.3711 12618 922482
164.55/164.60	o 8248624969
165.15/165.27	c 153.339 99.3711 12716 922883
165.15/165.27	o 8248624968
165.35/165.41	c 153.472 99.3711 12747 923140
165.35/165.41	o 8248624967
166.06/166.15	c 154.169 99.3711 12844 923606
166.06/166.15	o 8248624966
166.65/166.78	c 154.758 99.3711 12922 924064
166.65/166.78	o 8248624965
167.35/167.49	c 155.421 99.3711 13012 924444
167.35/167.49	o 8248624964
167.95/168.08	c 155.97 99.3711 13085 924930
167.95/168.08	o 8248624963
168.55/168.66	c 156.514 99.3711 13157 925232
168.55/168.66	o 8248624962
169.05/169.15	c 156.971 99.3711 13212 925605
169.05/169.15	o 8248624961
169.55/169.60	c 157.39 99.3711 13274 925937
169.55/169.60	o 8248624960
170.15/170.21	c 157.951 99.3711 13327 926315
170.15/170.21	o 8248624959
170.64/170.79	c 158.495 99.3711 13413 927026
170.64/170.79	o 8246103243
170.75/170.83	c 158.528 99.3711 13428 927360
170.75/170.83	o 8246103242
170.75/170.87	c 158.566 99.3711 13449 927666
170.75/170.87	o 8246103241
170.85/170.90	c 158.595 99.3711 13453 927863
170.85/170.90	o 8246103240
170.85/170.95	c 158.637 99.3711 13457 928366
170.85/170.95	o 8246103235
170.85/170.98	c 158.666 99.3711 13463 928708
170.85/170.98	o 8246103234
170.94/171.01	c 158.692 99.3711 13464 928968
170.94/171.01	o 8246103233
170.94/171.04	c 158.717 99.3711 13468 929165
170.94/171.04	o 8246103232
170.94/171.09	c 158.76 99.3711 13490 929446
170.94/171.09	o 8246103231
172.35/172.46	c 160.069 99.5 13956 930944
172.35/172.46	o 8246103230
172.55/172.65	c 160.239 99.5 13999 931247
172.55/172.65	o 8246103229
173.15/173.28	c 160.827 99.6289 14205 932010
173.15/173.28	o 8246103228
177.95/178.03	c 165.217 99.6289 8173 949287
177.95/178.03	o 8246103227
178.44/178.56	c 165.712 99.6289 8296 949735
178.44/178.56	o 8246103226
179.54/179.63	c 166.715 99.6289 8491 951141
179.54/179.63	o 8246103219
180.05/180.15	c 167.199 99.6289 8538 951392
180.05/180.15	o 8246103218
180.45/180.58	c 167.605 99.6289 8594 951749
180.45/180.58	o 8246103217
180.95/181.07	c 168.061 99.6289 8661 952060
180.95/181.07	o 8246103216
181.45/181.52	c 168.482 99.6289 8709 952621
181.45/181.52	o 8243581498
181.45/181.55	c 168.508 99.6289 8710 952872
181.45/181.55	o 8243581497
181.45/181.58	c 168.534 99.6289 8710 953059
181.45/181.58	o 8243581496
181.55/181.63	c 168.583 99.6289 8734 953312
181.55/181.63	o 8243581495
181.65/181.70	c 168.648 99.6289 8770 953535
181.65/181.70	o 8243581494
181.65/181.77	c 168.716 99.6289 8785 953831
181.65/181.77	o 8243581493
181.75/181.83	c 168.769 99.6289 8807 954091
181.75/181.83	o 8243581492
181.75/181.90	c 168.83 99.6289 8830 954361
181.75/181.90	o 8243581491
181.85/181.94	c 168.873 99.6289 8848 954577
181.85/181.94	o 8243581490
181.85/181.99	c 168.914 99.6289 8862 954832
181.85/181.99	o 8243581489
181.95/182.05	c 168.97 99.6289 8890 955084
181.95/182.05	o 8243581488
182.65/182.75	c 169.628 99.6289 9211 956063
182.65/182.75	o 8243581487
184.15/184.27	c 171.058 99.6289 9769 957646
184.15/184.27	o 8243581486
198.95/199.07	c 185.038 99.7617 13108 966534
198.95/199.07	o 8243581485
200.85/200.95	c 186.824 99.7617 4991 967688
200.85/200.95	o 8243581484
201.05/201.17	c 187.031 99.7617 3902 968079
201.05/201.17	o 8243581483
202.74/202.83	c 188.584 99.7617 4268 969302
202.74/202.83	o 8243581482
204.24/204.31	c 189.988 99.7617 4553 970058
204.24/204.31	o 8243581481
206.34/206.48	c 192.033 99.7617 4329 971197
206.34/206.48	o 8243581480
207.44/207.50	c 192.998 99.7617 4451 971765
207.44/207.50	o 8243581479
207.44/207.59	c 193.082 99.7617 4480 973913
207.44/207.59	o 4771139946
207.54/207.63	c 193.11 99.7617 4488 975390
207.54/207.63	o 4771139945
207.54/207.69	c 193.169 99.7617 4503 979736
207.54/207.69	o 4584530959
207.64/207.73	c 193.195 99.7617 4513 981490
207.64/207.73	o 4584530943
207.64/207.76	c 193.221 99.7617 4522 982984
207.64/207.76	o 4584530932
207.64/207.78	c 193.242 99.7617 4525 984313
207.64/207.78	o 4582009189
207.75/207.82	c 193.281 99.7617 4532 986304
207.75/207.82	o 4582009181
207.75/207.85	c 193.305 99.7617 2071 987192
207.75/207.85	o 4579487446
207.75/207.88	c 193.328 99.7617 2072 988354
207.75/207.88	o 4576965713
207.75/207.90	c 193.349 99.7617 2075 989282
207.75/207.90	o 4576965702
207.85/207.93	c 193.37 99.7617 2075 990454
207.85/207.93	o 4569400481
207.85/207.96	c 193.402 99.7617 2079 992144
207.85/207.96	o 4569400479
207.85/207.99	c 193.425 99.7617 2080 993023
207.85/207.99	o 4569400465
207.94/208.01	c 193.449 99.7617 2083 994028
207.94/208.01	o 4566878723
207.94/208.04	c 193.471 99.7617 2085 994921
207.94/208.04	o 4566878720
207.94/208.07	c 193.503 99.7617 2089 996930
207.94/208.07	o 4455922015
208.04/208.10	c 193.525 99.7617 2092 998267
208.04/208.10	o 4455922003
208.04/208.12	c 193.548 99.7617 2094 999565
208.04/208.12	o 4445835039
208.04/208.15	c 193.571 99.7617 2094 1000569
208.04/208.15	o 4445835027
208.04/208.17	c 193.59 99.7617 2095 1001681
208.04/208.17	o 4420617594
208.13/208.20	c 193.61 99.7617 2095 1002611
208.13/208.20	o 4420617586
208.13/208.22	c 193.632 99.7617 2096 1003700
208.13/208.22	o 4418095850
208.13/208.24	c 193.654 99.7617 2096 1004642
208.13/208.24	o 4418095848
208.13/208.27	c 193.676 99.7617 2096 1005555
208.13/208.27	o 4418095845
208.13/208.29	c 193.696 99.7617 2096 1006605
208.13/208.29	o 4418095843
208.23/208.32	c 193.719 99.7617 2096 1007548
208.23/208.32	o 4415574103
208.23/208.34	c 193.744 99.7617 2098 1008317
208.23/208.34	o 4415574102
208.23/208.38	c 193.781 99.7617 2103 1008899
208.23/208.38	o 4415574079
208.34/208.41	c 193.808 99.7617 2105 1010118
208.34/208.41	o 4415574068
208.34/208.43	c 193.828 99.7617 2105 1011148
208.34/208.44	o 4413052324
208.34/208.46	c 193.85 99.7617 2106 1012103
208.34/208.46	o 4413052323
208.34/208.48	c 193.872 99.7617 2108 1013212
208.34/208.48	o 4400443614
208.44/208.51	c 193.893 99.7617 2108 1014183
208.44/208.51	o 4400443602
208.44/208.53	c 193.913 99.7617 2108 1015143
208.44/208.53	o 4397921859
208.44/208.55	c 193.937 99.7617 2108 1015839
208.44/208.55	o 4397921858
208.44/208.58	c 193.957 99.7617 2108 1016808
208.44/208.58	o 4395400115
208.54/208.61	c 193.982 99.7617 2109 1017963
208.54/208.61	o 4395400113
208.54/208.63	c 194.006 99.7617 2109 1018880
208.54/208.63	o 4392878370
208.54/208.65	c 194.028 99.7617 2110 1019914
208.54/208.65	o 4390356627
208.54/208.68	c 194.047 99.7617 2110 1020899
208.54/208.68	o 4387834884
208.64/208.70	c 194.066 99.7617 2110 1021704
208.64/208.70	o 4387834883
208.64/208.72	c 194.086 99.7617 2110 1022547
208.64/208.72	o 4387834882
208.64/208.76	c 194.118 99.7617 2110 1024084
208.64/208.76	o 4385313141
208.64/208.79	c 194.141 99.7617 2110 1024985
208.64/208.79	o 4385313139
208.74/208.81	c 194.162 99.7617 2110 1025661
208.74/208.81	o 4385313138
208.74/208.83	c 194.183 99.7617 2110 1026543
208.74/208.83	o 4382791395
208.74/208.86	c 194.205 99.7617 2110 1027217
208.74/208.86	o 4382791394
208.74/208.88	c 194.226 99.7617 2111 1028117
208.74/208.88	o 4380269650
208.84/208.91	c 194.251 99.7617 2113 1029245
208.84/208.91	o 4377747936
208.84/208.94	c 194.276 99.7617 2115 1030317
208.84/208.94	o 4375226195
208.84/208.96	c 194.298 99.7617 2115 1031188
208.84/208.96	o 4372704459
208.84/208.98	c 194.32 99.7617 2115 1032012
208.84/208.98	o 4372704452
208.94/209.01	c 194.342 99.7617 2115 1032860
208.94/209.01	o 4372704444
208.94/209.03	c 194.366 99.7617 2115 1033724
208.94/209.03	o 4370182705
208.94/209.06	c 194.389 99.7617 2116 1034609
208.94/209.06	o 4370182704
208.94/209.08	c 194.411 99.7617 2116 1035351
208.94/209.08	o 4370182703
209.04/209.11	c 194.441 99.7617 2117 1036613
209.04/209.11	o 4367660962
209.04/209.14	c 194.465 99.7617 2117 1037404
209.04/209.14	o 4367660961
209.04/209.16	c 194.485 99.7617 2117 1038113
209.04/209.16	o 4367660960
209.04/209.18	c 194.505 99.7617 2117 1038743
209.04/209.18	o 4367660959
209.14/209.21	c 194.524 99.7617 2117 1039585
209.14/209.21	o 4365139217
209.14/209.23	c 194.547 99.7617 2117 1040345
209.14/209.23	o 4365139216
209.14/209.26	c 194.57 99.7617 2118 1041293
209.14/209.26	o 4362617473
209.14/209.28	c 194.593 99.7617 2118 1042351
209.14/209.28	o 4360095741
209.24/209.31	c 194.615 99.7617 2120 1043633
209.24/209.31	o 4357574004
209.24/209.33	c 194.638 99.7617 2120 1044644
209.24/209.33	o 4357573989
209.24/209.35	c 194.661 99.7617 2120 1045521
209.24/209.35	o 4357573988
209.24/209.38	c 194.682 99.7617 2120 1046597
209.24/209.38	o 4344965268
209.34/209.40	c 194.705 99.7617 2120 1047559
209.34/209.40	o 4344965266
209.34/209.43	c 194.728 99.7617 2120 1048628
209.34/209.43	o 4342443525
209.34/209.45	c 194.751 99.7617 2120 1049557
209.34/209.45	o 4342443524
209.34/209.47	c 194.772 99.7617 2120 1050522
209.34/209.47	o 4342443523
209.44/209.50	c 194.795 99.7617 2120 1051479
209.44/209.50	o 4339921780
209.44/209.52	c 194.816 99.7617 2120 1052470
209.44/209.52	o 4337400037
209.44/209.55	c 194.836 99.7617 2120 1053378
209.44/209.55	o 4337400036
209.44/209.57	c 194.858 99.7617 2121 1054153
209.44/209.57	o 4337400035
209.44/209.60	c 194.878 99.7617 2121 1055220
209.44/209.60	o 4332356548
209.54/209.62	c 194.898 99.7617 2121 1056239
209.54/209.62	o 4329834804
209.54/209.65	c 194.93 99.7617 2123 1058043
209.54/209.65	o 4327313062
209.54/209.68	c 194.952 99.7617 2123 1058839
209.54/209.68	o 4327313061
209.64/209.70	c 194.974 99.7617 2123 1059913
209.64/209.70	o 4324791318
209.64/209.72	c 194.994 99.7617 2123 1060937
209.64/209.72	o 4322269574
209.64/209.75	c 195.016 99.7617 2125 1062202
209.64/209.75	o 4319747833
209.64/209.78	c 195.047 99.7617 2127 1062732
209.64/209.78	o 4319747823
209.74/209.81	c 195.07 99.7617 2129 1063034
209.74/209.81	o 4319747822
209.74/209.84	c 195.101 99.7617 2133 1063809
209.74/209.84	o 4319747789
209.74/209.87	c 195.126 99.7617 2134 1065029
209.74/209.87	o 4317226092
209.74/209.89	c 195.148 99.7617 2134 1066038
209.74/209.89	o 4317226088
209.84/209.92	c 195.176 99.7617 2137 1067474
209.84/209.92	o 4314704349
209.84/209.94	c 195.198 99.7617 2137 1068461
209.84/209.94	o 4314704344
209.84/209.97	c 195.22 99.7617 2137 1069277
209.84/209.97	o 4314704343
209.84/209.99	c 195.242 99.7617 2137 1070272
209.84/209.99	o 4312182599
209.95/210.02	c 195.263 99.7617 2137 1071275
209.95/210.02	o 4309660856
209.95/210.04	c 195.286 99.7617 2137 1072272
209.95/210.04	o 4307139117
209.95/210.07	c 195.308 99.7617 2137 1073274
209.95/210.07	o 4307139109
209.95/210.09	c 195.331 99.7617 2137 1074223
209.95/210.09	o 4304617368
210.05/210.12	c 195.358 99.7617 2140 1075645
210.05/210.12	o 4302095630
210.05/210.14	c 195.38 99.7617 2140 1076621
210.05/210.14	o 4302095624
210.05/210.17	c 195.402 99.7617 2140 1077531
210.05/210.17	o 4302095623
210.05/210.19	c 195.427 99.7617 2141 1078547
210.05/210.19	o 4299573879
210.14/210.23	c 195.465 99.7617 2156 1079334
210.14/210.23	o 4299573877
210.14/210.26	c 195.483 99.7617 2156 1079865
210.14/210.26	o 4299573865
210.14/210.28	c 195.504 99.7617 2156 1080092
210.14/210.28	o 4299573864
210.24/210.31	c 195.536 99.7617 2167 1080329
210.24/210.31	o 4299573863
210.74/210.80	c 195.992 99.7617 2312 1081097
210.74/210.80	o 4299573862
210.84/210.97	c 196.145 99.7617 2379 1081737
210.84/210.97	o 4299573861
211.15/211.26	c 196.412 99.7617 2499 1082665
211.15/211.26	o 4299573858
211.24/211.35	c 196.499 99.7617 2526 1083253
211.24/211.35	o 4299573857
211.24/211.39	c 196.533 99.7617 2529 1083804
211.24/211.39	o 4299573854
211.83/211.97	c 197.076 99.7617 2595 1084806
211.83/211.97	o 4297052127
211.94/212.00	c 197.104 99.7617 2601 1085822
211.94/212.00	o 4297052125
211.94/212.02	c 197.126 99.7617 2603 1086370
211.94/212.02	o 4297052117
211.94/212.08	c 197.177 99.7617 2616 1086965
211.94/212.08	o 4297052115
212.24/212.32	c 197.405 99.7617 2650 1087553
212.24/212.32	o 4297052111
212.34/212.45	c 197.522 99.7617 2686 1088169
212.34/212.45	o 4297052109
212.83/212.97	c 198.001 99.7617 2732 1089289
212.83/212.97	o 4294530387
212.83/212.99	c 198.027 99.7617 2741 1089851
212.83/213.00	o 4294530371
213.35/213.46	c 198.462 99.7617 2830 1090678
213.35/213.46	o 4294530366
213.44/213.58	c 198.571 99.7617 2847 1090995
213.44/213.58	o 4294530365
214.04/214.14	c 199.098 99.7617 2978 1091759
214.04/214.14	o 4294530363
214.14/214.24	c 199.193 99.7617 3006 1092380
214.14/214.24	o 4294530361
214.34/214.47	c 199.393 99.7617 3049 1092724
214.34/214.47	o 4294530360
214.73/214.86	c 199.765 99.7617 3090 1093365
214.73/214.86	o 4292008659
214.73/214.88	c 199.788 99.7617 3090 1093909
214.73/214.88	o 4292008640
214.83/214.91	c 199.809 99.7617 3090 1094438
214.83/214.91	o 4292008638
214.83/214.93	c 199.828 99.7617 3090 1094930
214.83/214.93	o 4292008637
214.83/214.96	c 199.85 99.7617 3091 1095318
214.83/214.96	o 4292008636
214.94/215.01	c 199.901 99.7617 3098 1095872
214.94/215.01	o 4292008634
214.94/215.07	c 199.958 99.7617 3137 1096234
214.94/215.08	o 4292008633
215.14/215.20	c 200.067 99.7617 3172 1096588
215.14/215.20	o 4292008632
215.14/215.23	c 200.089 99.7617 3173 1097141
215.14/215.23	o 4292008617
215.14/215.25	c 200.115 99.7617 3174 1097404
215.14/215.25	o 4292008616
215.64/215.77	c 200.596 99.7617 3232 1098103
215.64/215.77	o 4289486905
215.74/215.83	c 200.645 99.7617 3237 1098351
215.74/215.83	o 4289486904
215.74/215.85	c 200.668 99.7617 3237 1098909
215.74/215.85	o 4289486885
215.74/215.87	c 200.687 99.7617 3237 1099168
215.74/215.87	o 4289486884
215.83/215.90	c 200.709 99.7617 3238 1099718
215.83/215.90	o 4289486880
216.55/216.70	c 201.461 99.7617 3435 1100375
216.55/216.70	o 4289486879
217.23/217.38	c 202.086 99.7617 3641 1101086
217.23/217.38	o 4289486878
217.64/217.74	c 202.428 99.7617 3699 1101658
217.64/217.74	o 4289486877
217.94/218.06	c 202.725 99.7617 3748 1102009
217.94/218.06	o 4289486876
218.44/218.55	c 203.178 99.7617 3846 1102778
218.44/218.55	o 4286965169
218.44/218.57	c 203.201 99.7617 3848 1103326
218.44/218.57	o 4286965149
218.54/218.60	c 203.224 99.7617 3848 1103560
218.54/218.60	o 4286965148
218.54/218.63	c 203.25 99.7617 3850 1104151
218.54/218.63	o 4286965147
218.64/218.74	c 203.359 99.7617 3901 1104510
218.64/218.74	o 4286965146
219.34/219.45	c 204.029 99.7617 4028 1104980
219.34/219.45	o 4286965145
219.44/219.56	c 204.135 99.7617 4069 1105612
219.44/219.56	o 4286965123
219.54/219.60	c 204.171 99.7617 4078 1106227
219.54/219.60	o 4284443421
219.54/219.63	c 204.198 99.7617 4084 1106768
219.54/219.63	o 4284443420
219.54/219.66	c 204.221 99.7617 4086 1107327
219.54/219.66	o 4284443412
219.54/219.69	c 204.243 99.7617 4088 1107584
219.54/219.69	o 4284443411
219.64/219.71	c 204.266 99.7617 4088 1108134
219.64/219.71	o 4284443382
219.64/219.73	c 204.288 99.7617 4088 1108584
219.64/219.73	o 4284443381
219.64/219.76	c 204.316 99.7617 4095 1109031
219.64/219.76	o 4284443380
219.84/219.98	c 204.508 99.7617 4121 1109603
219.84/219.98	o 4281921663
219.94/220.01	c 204.532 99.7617 4123 1110159
219.94/220.01	o 4281921651
219.94/220.03	c 204.557 99.7617 4125 1110411
219.94/220.03	o 4281921650
219.94/220.06	c 204.58 99.7617 4126 1110822
219.94/220.06	o 4281921649
219.94/220.08	c 204.602 99.7617 4126 1111056
219.94/220.08	o 4281921648
220.04/220.11	c 204.624 99.7617 4127 1111497
220.04/220.11	o 4281921647
220.23/220.39	c 204.883 99.7617 4148 1112038
220.23/220.39	o 4281921646
220.74/220.81	c 205.273 99.7617 4185 1112345
220.74/220.81	o 4281921645
221.04/221.19	c 205.627 99.7617 4243 1112992
221.04/221.19	o 4279399933
221.14/221.21	c 205.646 99.7617 4243 1113501
221.14/221.21	o 4279399931
221.14/221.23	c 205.668 99.7617 4243 1113857
221.14/221.23	o 4279399930
221.14/221.26	c 205.69 99.7617 4243 1114071
221.14/221.26	o 4279399929
221.14/221.29	c 205.716 99.7617 4245 1114301
221.14/221.29	o 4279399928
221.24/221.31	c 205.739 99.7617 4246 1114823
221.24/221.31	o 4279399918
221.24/221.34	c 205.764 99.7617 4247 1115046
221.24/221.34	o 4279399917
221.33/221.40	c 205.821 99.7617 4273 1115332
221.33/221.40	o 4279399916
221.33/221.46	c 205.871 99.7617 4290 1115881
221.33/221.46	o 4279399914
221.54/221.63	c 206.035 99.7617 4318 1116159
221.54/221.63	o 4279399913
221.54/221.66	c 206.066 99.7617 4320 1116697
221.54/221.66	o 4279399903
221.54/221.69	c 206.087 99.7617 4320 1116943
221.54/221.69	o 4279399902
221.63/221.72	c 206.119 99.7617 4327 1117199
221.63/221.72	o 4279399901
222.14/222.23	c 206.601 99.7617 4371 1117492
222.14/222.23	o 4279399900
222.84/222.90	c 207.227 99.7617 4505 1118449
222.84/222.90	o 4276878192
222.94/223.00	c 207.318 99.7617 4529 1119095
222.94/223.00	o 4276878187
222.94/223.03	c 207.343 99.7617 4530 1119553
222.94/223.03	o 4276878186
222.94/223.05	c 207.362 99.7617 4530 1120079
222.94/223.05	o 4276878182
222.94/223.08	c 207.382 99.7617 4530 1120619
222.94/223.08	o 4276878180
223.04/223.10	c 207.403 99.7617 4530 1121148
223.04/223.10	o 4276878179
223.04/223.12	c 207.426 99.7617 4530 1121381
223.04/223.12	o 4276878178
223.04/223.16	c 207.461 99.7617 4538 1121628
223.04/223.16	o 4276878177
223.14/223.24	c 207.529 99.7617 4545 1122188
223.14/223.24	o 4276878174
223.14/223.26	c 207.55 99.7617 4546 1122551
223.14/223.26	o 4276878173
223.24/223.37	c 207.653 99.7617 4589 1122874
223.24/223.37	o 4276878172
223.34/223.47	c 207.745 99.7617 4615 1123165
223.34/223.47	o 4276878171
223.44/223.53	c 207.802 99.7617 4627 1123600
223.44/223.53	o 4276878170
223.54/223.67	c 207.934 99.7617 4644 1124155
223.54/223.67	o 4276878168
223.63/223.73	c 207.99 99.7617 4652 1124684
223.63/223.73	o 4276878165
223.84/223.96	c 208.2 99.7617 4768 1125257
223.84/223.96	o 4276878164
225.35/225.42	c 209.564 99.7617 4953 1125904
225.35/225.42	o 4276878163
225.93/226.04	c 210.157 99.7617 5062 1126677
225.93/226.04	o 4276878161
226.55/226.64	c 210.717 99.7617 5184 1127232
226.55/226.64	o 4276878160
227.54/227.65	c 211.663 99.7617 5044 1128244
227.54/227.65	o 4274356445
227.54/227.68	c 211.686 99.7617 5049 1128765
227.54/227.68	o 4274356441
227.54/227.70	c 211.708 99.7617 5050 1129267
227.54/227.70	o 4274356440
227.64/227.73	c 211.729 99.7617 5052 1129789
227.64/227.73	o 4274356431
227.64/227.77	c 211.765 99.7617 5056 1130052
227.64/227.77	o 4274356430
227.74/227.86	c 211.846 99.7617 5069 1130296
227.74/227.86	o 4274356429
227.84/227.90	c 211.885 99.7617 5087 1130557
227.84/227.90	o 4274356428
227.93/228.01	c 211.988 99.7617 5120 1131150
227.93/228.01	o 4274356422
228.13/228.29	c 212.251 99.7617 5173 1131523
228.13/228.29	o 4274356421
228.24/228.31	c 212.275 99.7617 5174 1132070
228.24/228.31	o 4274356414
228.24/228.33	c 212.296 99.7617 5174 1132317
228.24/228.33	o 4274356413
228.24/228.36	c 212.323 99.7617 5175 1132561
228.24/228.36	o 4274356412
228.64/228.80	c 212.734 99.7617 5222 1133177
228.64/228.80	o 4271834704
228.74/228.84	c 212.773 99.7617 5218 1133720
228.74/228.84	o 4271834686
228.74/228.86	c 212.796 99.7617 5218 1133958
228.74/228.86	o 4271834685
228.83/228.90	c 212.83 99.7617 5224 1134194
228.83/228.90	o 4271834684
229.84/229.98	c 213.822 99.7617 5440 1135107
229.84/229.98	o 4271834680
229.93/230.00	c 213.84 99.7617 5442 1135647
229.93/230.00	o 4271834677
229.93/230.03	c 213.864 99.7617 5446 1136201
229.93/230.03	o 4271834671
230.43/230.51	c 214.317 99.7617 5583 1136805
230.43/230.51	o 4271834670
230.85/231.00	c 214.777 99.7617 5638 1137466
230.85/231.00	o 4269312958
230.95/231.02	c 214.798 99.7617 5638 1137985
230.95/231.03	o 4269312951
230.95/231.05	c 214.821 99.7617 5638 1138498
230.95/231.05	o 4269312950
230.95/231.07	c 214.844 99.7617 5638 1138745
230.95/231.07	o 4269312949
231.03/231.10	c 214.869 99.7617 5640 1139294
231.03/231.10	o 4269312945
231.54/231.69	c 215.426 99.7617 5918 1140476
231.54/231.69	o 4269312944
231.63/231.74	c 215.477 99.7617 5940 1140733
231.63/231.74	o 4269312943
231.74/231.85	c 215.575 99.7617 5963 1140992
231.74/231.85	o 4269312942
231.74/231.87	c 215.597 99.7617 5963 1141522
231.74/231.87	o 4269312940
231.83/231.90	c 215.622 99.7617 5966 1141745
231.83/231.90	o 4269312939
231.83/231.94	c 215.657 99.7617 5971 1141957
231.83/231.94	o 4269312938
231.83/231.97	c 215.682 99.7617 5974 1142377
231.83/231.97	o 4269312937
231.94/232.00	c 215.712 99.7617 5977 1142897
231.94/232.00	o 4269312922
231.94/232.03	c 215.734 99.7617 5980 1143416
231.94/232.03	o 4269312919
231.94/232.06	c 215.764 99.7617 5985 1143653
231.94/232.06	o 4269312918
232.34/232.45	c 216.129 99.7617 6019 1144205
232.34/232.45	o 4266791215
232.34/232.47	c 216.153 99.7617 5931 1144731
232.34/232.47	o 4266791205
232.44/232.50	c 216.173 99.7617 5931 1144937
232.44/232.50	o 4266791204
232.44/232.56	c 216.233 99.7617 5949 1145183
232.44/232.56	o 4266791203
232.73/232.80	c 216.45 99.7617 6065 1146009
232.73/232.80	o 4266791199
233.05/233.20	c 216.809 99.7617 6161 1146694
233.05/233.20	o 4266791197
233.14/233.27	c 216.874 99.7617 6169 1146928
233.14/233.27	o 4266791196
233.23/233.32	c 216.917 99.7617 6200 1147233
233.23/233.32	o 4266791195
233.53/233.68	c 217.259 99.7617 6305 1147990
233.53/233.68	o 4266791187
233.63/233.71	c 217.281 99.7617 6305 1148457
233.63/233.71	o 4266791186
233.63/233.73	c 217.301 99.7617 6305 1148692
233.63/233.73	o 4266791185
233.63/233.76	c 217.326 99.7617 6306 1149251
233.63/233.76	o 4266791180
234.14/234.21	c 217.75 99.7617 6383 1149921
234.14/234.21	o 4266791177
234.24/234.36	c 217.896 99.7617 6410 1150499
234.24/234.36	o 4264269466
234.33/234.40	c 217.928 99.7617 6424 1150739
234.33/234.40	o 4264269465
234.33/234.44	c 217.969 99.7617 6447 1151017
234.33/234.44	o 4264269464
234.33/234.47	c 217.991 99.7617 6448 1151226
234.33/234.47	o 4264269463
234.44/234.59	c 218.1 99.7617 6488 1151798
234.44/234.59	o 4264269456
234.53/234.61	c 218.121 99.7617 6488 1152315
234.53/234.61	o 4264269453
234.53/234.63	c 218.143 99.7617 6488 1152530
234.53/234.63	o 4264269452
234.64/234.71	c 218.213 99.7617 6542 1152880
234.64/234.71	o 4264269451
234.94/235.04	c 218.511 99.7617 6613 1153492
234.94/235.04	o 4264269449
235.13/235.25	c 218.715 99.7617 6632 1154040
235.13/235.25	o 4264269446
235.24/235.31	c 218.768 99.7617 6649 1154308
235.24/235.31	o 4264269445
236.13/236.28	c 219.671 99.7617 6825 1155267
236.13/236.28	o 4261747737
236.23/236.30	c 219.692 99.7617 6826 1155772
236.23/236.30	o 4261747728
236.23/236.33	c 219.714 99.7617 6826 1155981
236.23/236.33	o 4261747727
236.23/236.36	c 219.74 99.7617 6827 1156499
236.23/236.36	o 4261747722
236.34/236.40	c 219.785 99.7617 6834 1157025
236.34/236.40	o 4261747712
236.34/236.42	c 219.808 99.7617 6834 1157228
236.34/236.43	o 4261747711
236.34/236.49	c 219.868 99.7617 6869 1157828
236.34/236.49	o 4261747707
236.93/237.00	c 220.349 99.7617 6997 1158361
236.93/237.00	o 4261747706
237.23/237.37	c 220.685 99.7617 7116 1159185
237.23/237.37	o 4261747703
237.83/237.95	c 221.213 99.7617 7155 1159606
237.83/237.95	o 4261747702
238.43/238.59	c 221.818 99.7617 7246 1160165
238.43/238.59	o 4261747701
238.84/238.96	c 222.165 99.7617 7282 1160421
238.84/238.96	o 4261747700
239.33/239.48	c 222.652 99.7617 7318 1160995
239.33/239.48	o 4261747698
241.43/241.53	c 224.568 99.7617 7596 1162174
241.43/241.53	o 4259225989
241.43/241.57	c 224.603 99.7617 7607 1162742
241.43/241.57	o 4259225978
241.53/241.61	c 224.643 99.7617 7615 1162985
241.53/241.61	o 4259225977
241.53/241.64	c 224.671 99.7617 7625 1163513
241.53/241.64	o 4259225971
241.53/241.66	c 224.695 99.7617 7625 1163889
241.53/241.66	o 4259225970
241.53/241.69	c 224.719 99.7617 7625 1164095
241.53/241.69	o 4259225969
241.63/241.74	c 224.771 99.7617 7652 1164358
241.63/241.74	o 4259225968
241.63/241.77	c 224.797 99.7617 7656 1164563
241.63/241.77	o 4259225967
241.83/242.00	c 225.01 99.7617 7710 1164838
241.83/242.00	o 4259225966
241.94/242.09	c 225.094 99.7617 7743 1165489
241.94/242.09	o 4259225964
242.03/242.12	c 225.125 99.7617 7746 1165708
242.03/242.12	o 4259225963
242.23/242.35	c 225.325 99.7617 7809 1165991
242.23/242.35	o 4259225962
242.53/242.69	c 225.654 99.7617 7957 1167003
242.53/242.69	o 4259225957
242.64/242.75	c 225.713 99.7617 7967 1167449
242.64/242.75	o 4259225956
242.64/242.78	c 225.737 99.7617 7972 1167805
242.64/242.78	o 4259225955
243.54/243.62	c 226.527 99.7617 8118 1168297
243.54/243.63	o 4259225954
244.14/244.22	c 227.079 99.7617 8193 1168683
244.14/244.22	o 4259225953
244.53/244.60	c 227.436 99.7617 8232 1169268
244.53/244.60	o 4256704238
244.53/244.64	c 227.466 99.7617 8237 1169483
244.53/244.64	o 4256704237
244.53/244.68	c 227.503 99.7617 8255 1170022
244.53/244.68	o 4256704225
244.63/244.71	c 227.535 99.7617 8263 1170246
244.63/244.71	o 4256704224
244.63/244.80	c 227.608 99.7617 8298 1170539
244.63/244.80	o 4256704223
245.03/245.20	c 227.995 99.7617 8415 1171054
245.03/245.20	o 4256704222
245.24/245.34	c 228.128 99.7617 8465 1171368
245.24/245.34	o 4256704221
245.63/245.76	c 228.526 99.7617 8548 1171719
245.63/245.76	o 4256704220
245.83/245.90	c 228.659 99.7617 8604 1172030
245.83/245.90	o 4256704219
246.63/246.79	c 229.504 99.7617 8784 1172622
246.63/246.79	o 4256704218
247.33/247.44	c 230.112 99.7617 8545 1173170
247.33/247.44	o 4256704217
247.53/247.61	c 230.265 99.7617 8562 1173729
247.53/247.61	o 4256704214
248.44/248.60	c 231.209 99.7617 8680 1174438
248.44/248.60	o 4256704213
249.63/249.74	c 232.281 99.7617 8848 1175289
249.63/249.74	o 4256704204
250.03/250.14	c 232.652 99.7617 8835 1175846
250.03/250.14	o 4254182483
250.03/250.18	c 232.683 99.7617 8843 1176173
250.03/250.18	o 4254182482
250.13/250.20	c 232.705 99.7617 8843 1176392
250.13/250.20	o 4254182481
250.13/250.24	c 232.741 99.7617 8850 1176634
250.13/250.24	o 4254182480
250.43/250.53	c 233.01 99.7617 8926 1177003
250.43/250.53	o 4254182479
250.53/250.61	c 233.08 99.7617 8946 1177297
250.53/250.61	o 4254182478
250.64/250.71	c 233.169 99.7617 8984 1177546
250.64/250.71	o 4254182477
250.93/251.04	c 233.478 99.7617 9094 1178302
250.93/251.04	o 4254182469
250.93/251.09	c 233.527 99.7617 9120 1178898
250.93/251.09	o 4254182466
251.63/251.73	c 234.12 99.7617 9196 1179565
251.63/251.73	o 4254182461
252.23/252.31	c 234.673 99.7617 9275 1180223
252.23/252.31	o 4251660748
252.23/252.34	c 234.702 99.7617 9275 1180603
252.23/252.34	o 4251660747
252.23/252.36	c 234.726 99.7617 9275 1180995
252.23/252.36	o 4251660746
252.23/252.39	c 234.746 99.7617 9275 1181392
252.23/252.39	o 4251660745
252.33/252.41	c 234.768 99.7617 9275 1181599
252.33/252.41	o 4251660744
252.33/252.45	c 234.799 99.7617 9280 1181823
252.33/252.45	o 4251660743
252.33/252.49	c 234.84 99.7617 9295 1182051
252.33/252.49	o 4251660742
252.43/252.51	c 234.861 99.7617 9295 1182547
252.43/252.51	o 4251660739
252.43/252.54	c 234.885 99.7617 9295 1182857
252.43/252.54	o 4251660738
252.43/252.56	c 234.907 99.7617 9295 1183061
252.43/252.56	o 4251660737
252.43/252.59	c 234.939 99.7617 9304 1183274
252.43/252.59	o 4251660736
253.03/253.10	c 235.421 99.7617 9516 1184091
253.03/253.10	o 4251660735
253.03/253.17	c 235.488 99.7617 9537 1184313
253.03/253.17	o 4251660734
253.33/253.49	c 235.792 99.7617 9604 1184646
253.33/253.49	o 4251660733
253.43/253.53	c 235.824 99.7617 9616 1184863
253.43/253.53	o 4251660732
253.62/253.74	c 236.016 99.7617 9663 1185487
253.62/253.74	o 4251660727
253.62/253.76	c 236.038 99.7617 9665 1185698
253.62/253.76	o 4251660726
253.73/253.80	c 236.071 99.7617 9671 1186099
253.73/253.80	o 4251660725
254.53/254.64	c 236.861 99.7617 9755 1186457
254.53/254.64	o 4251660724
254.93/255.06	c 237.244 99.7617 9795 1186750
254.93/255.06	o 4251660723
255.53/255.66	c 237.799 99.7617 9631 1187124
255.53/255.66	o 4251660722
255.62/255.70	c 237.834 99.7617 9637 1187645
255.62/255.70	o 4249138999
255.73/255.82	c 237.939 99.7617 9685 1187945
255.73/255.82	o 4249138998
255.73/255.85	c 237.965 99.7617 9689 1188470
255.73/255.85	o 4249138996
255.73/255.89	c 237.999 99.7617 9700 1188702
255.73/255.89	o 4249138995
255.93/256.05	c 238.151 99.7617 9718 1188935
255.93/256.05	o 4249138994
255.93/256.09	c 238.182 99.7617 9733 1189148
255.93/256.09	o 4249138993
256.32/256.48	c 238.55 99.7617 9841 1189501
256.32/256.48	o 4249138992
257.53/257.65	c 239.648 99.7617 10164 1190464
257.53/257.65	o 4249138991
257.62/257.75	c 239.737 99.7617 6122 1190728
257.62/257.75	o 4249138990
257.92/258.09	c 240.054 99.7617 6237 1191211
257.92/258.09	o 4249138989
258.02/258.18	c 240.135 99.7617 6261 1191760
258.02/258.18	o 4249138987
259.12/259.21	c 241.088 99.7617 6540 1192564
259.12/259.21	o 4249138986
260.03/260.10	c 241.936 99.7617 6719 1193427
260.03/260.10	o 4249138985
260.12/260.24	c 242.069 99.7617 6741 1193653
260.12/260.24	o 4249138984
261.43/261.55	c 243.282 99.7617 6897 1194447
261.43/261.55	o 4249138983
262.32/262.49	c 244.146 99.7617 7067 1195014
262.32/262.49	o 4249138982
263.12/263.29	c 244.894 99.7617 7182 1195442
263.12/263.29	o 4249138981
263.83/263.98	c 245.533 99.7617 7334 1195993
263.83/263.98	o 4249138980
264.52/264.63	c 246.129 99.7617 7391 1196305
264.52/264.63	o 4249138979
264.93/265.04	c 246.511 99.7617 7428 1196556
264.93/265.04	o 4249138978
265.42/265.57	c 247.001 99.7617 7482 1197205
265.42/265.57	o 4249138975
265.82/265.98	c 247.381 99.7617 7513 1197753
265.82/265.98	o 4246617257
265.92/266.00	c 247.403 99.7617 7515 1198256
265.92/266.00	o 4246617255
265.92/266.06	c 247.459 99.7617 7537 1198474
265.92/266.06	o 4246617254
266.03/266.10	c 247.497 99.7617 7552 1199046
266.03/266.10	o 4246617247
266.03/266.19	c 247.574 99.7617 7559 1199258
266.03/266.19	o 4246617246
266.13/266.21	c 247.594 99.7617 7559 1199561
266.13/266.21	o 4246617245
266.13/266.23	c 247.616 99.7617 7559 1199757
266.13/266.23	o 4246617244
266.83/266.96	c 248.296 99.7617 7714 1200550
266.83/266.96	o 4246617243
267.53/267.67	c 248.947 99.7617 7863 1201069
267.53/267.67	o 4246617242
267.63/267.71	c 248.985 99.7617 7871 1201604
267.63/267.71	o 4246617240
267.63/267.73	c 249.003 99.7617 7871 1202101
267.63/267.73	o 4246617239
267.63/267.75	c 249.024 99.7617 7871 1202300
267.63/267.75	o 4246617238
267.63/267.79	c 249.053 99.7617 7884 1202528
267.63/267.79	o 4246617237
268.43/268.56	c 249.77 99.7617 7965 1203172
268.43/268.56	o 4246617234
268.63/268.78	c 249.984 99.7617 7879 1203686
268.63/268.78	o 4246617233
269.53/269.60	c 250.748 99.7617 7948 1204281
269.53/269.60	o 4244095513
269.53/269.66	c 250.798 99.7617 7974 1204535
269.53/269.66	o 4244095512
269.63/269.70	c 250.835 99.7617 7987 1205070
269.63/269.70	o 4244095502
269.63/269.72	c 250.855 99.7617 7987 1205257
269.63/269.72	o 4244095501
269.93/270.08	c 251.184 99.7617 8109 1205809
269.93/270.08	o 4244095500
271.22/271.31	c 252.34 99.7617 8240 1206611
271.22/271.31	o 4244095499
271.53/271.62	c 252.633 99.7617 8292 1206901
271.53/271.62	o 4244095498
272.33/272.41	c 253.373 99.7617 8455 1207716
272.33/272.41	o 4244095492
272.33/272.43	c 253.394 99.7617 8455 1207918
272.33/272.43	o 4244095491
272.33/272.47	c 253.431 99.7617 8469 1208340
272.33/272.47	o 4244095490
272.63/272.70	c 253.638 99.7617 8509 1209306
272.63/272.70	o 4241573777
272.63/272.73	c 253.662 99.7617 6123 1209815
272.63/272.73	o 4241573770
272.63/272.75	c 253.682 99.7617 6123 1210107
272.63/272.75	o 4241573769
272.63/272.77	c 253.7 99.7617 6123 1210294
272.63/272.77	o 4241573768
272.63/272.80	c 253.724 99.7617 6124 1210800
272.63/272.80	o 4241573762
272.74/272.83	c 253.759 99.7617 6149 1211062
272.74/272.83	o 4241573761
272.82/272.92	c 253.837 99.7617 6168 1211263
272.82/272.92	o 4241573760
273.13/273.25	c 254.155 99.7617 6232 1211389
273.13/273.25	s OPTIMUM FOUND
273.13/273.25	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

Verifier Data

OK	4241573760

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2684261-1277514866/watcher-2684261-1277514866 -o /tmp/evaluation-result-2684261-1277514866/solver-2684261-1277514866 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2684261-1277514866.opb 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.04 1.01 1.00 3/106 23713
/proc/meminfo: memFree=1844136/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=2488 CPUtime=0
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 306 0 0 0 0 0 0 0 23 0 1 0 127090508 2547712 229 1992294400 134512640 136485738 4294880944 18446744073709551615 135178825 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23713/statm: 622 229 151 482 0 138 0

[startup+0.026192 s]
/proc/loadavg: 1.04 1.01 1.00 3/106 23713
/proc/meminfo: memFree=1844136/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=2488 CPUtime=0.02
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 315 0 0 0 2 0 0 0 23 0 1 0 127090508 2547712 238 1992294400 134512640 136485738 4294880944 18446744073709551615 135173635 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23713/statm: 622 238 156 482 0 138 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2488

[startup+0.101199 s]
/proc/loadavg: 1.04 1.01 1.00 3/106 23713
/proc/meminfo: memFree=1844136/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=2632 CPUtime=0.09
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 371 0 0 0 9 0 0 0 23 0 1 0 127090508 2695168 294 1992294400 134512640 136485738 4294880944 18446744073709551615 135415688 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23713/statm: 658 294 157 482 0 174 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2632

[startup+0.301217 s]
/proc/loadavg: 1.04 1.01 1.00 3/106 23713
/proc/meminfo: memFree=1844136/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=3344 CPUtime=0.29
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 546 0 0 0 29 0 0 0 24 0 1 0 127090508 3424256 469 1992294400 134512640 136485738 4294880944 18446744073709551615 135415663 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23713/statm: 836 469 157 482 0 352 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3344

[startup+0.701255 s]
/proc/loadavg: 1.04 1.01 1.00 3/106 23713
/proc/meminfo: memFree=1844136/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=36844 CPUtime=0.69
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 9245 0 0 0 65 4 0 0 25 0 1 0 127090508 37728256 8624 1992294400 134512640 136485738 4294880944 18446744073709551615 135689154 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23713/statm: 9211 8626 194 482 0 8727 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36844

[startup+1.50133 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 23714
/proc/meminfo: memFree=1764768/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=92732 CPUtime=1.49
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 23883 0 0 0 138 11 0 0 25 0 1 0 127090508 94957568 22122 1992294400 134512640 136485738 4294880944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23713/statm: 23183 22122 228 482 0 22699 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92732

[startup+3.10148 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 23714
/proc/meminfo: memFree=1754476/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=95008 CPUtime=3.09
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 24705 0 0 0 280 29 0 0 25 0 1 0 127090508 97288192 22399 1992294400 134512640 136485738 4294880944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23713/statm: 23752 22399 246 482 0 23268 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 95008

[startup+6.30079 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 23714
/proc/meminfo: memFree=1754476/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=95140 CPUtime=6.29
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 24790 0 0 0 564 65 0 0 25 0 1 0 127090508 97423360 22446 1992294400 134512640 136485738 4294880944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23713/statm: 23785 22446 246 482 0 23301 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 95140

[startup+12.7014 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 23716
/proc/meminfo: memFree=1753980/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=95932 CPUtime=12.69
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 25069 0 0 0 1147 122 0 0 25 0 1 0 127090508 98234368 22649 1992294400 134512640 136485738 4294880944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23713/statm: 23983 22649 246 482 0 23499 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 95932

[startup+25.5006 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 23716
/proc/meminfo: memFree=1752988/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=96724 CPUtime=25.48
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 25484 0 0 0 2320 228 0 0 25 0 1 0 127090508 99045376 22874 1992294400 134512640 136485738 4294880944 18446744073709551615 135040911 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23713/statm: 24181 22874 246 482 0 23697 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 96724

[startup+51.101 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 23716
/proc/meminfo: memFree=1750756/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=98980 CPUtime=51.08
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 26113 0 0 0 4694 414 0 0 25 0 1 0 127090508 101355520 23415 1992294400 134512640 136485738 4294880944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23713/statm: 24745 23415 246 482 0 24261 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 98980

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23718
/proc/meminfo: memFree=1748276/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=101092 CPUtime=102.27
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 26755 0 0 0 9458 769 0 0 25 0 1 0 127090508 103518208 23962 1992294400 134512640 136485738 4294880944 18446744073709551615 134871749 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23713/statm: 25273 23962 246 482 0 24789 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 101092

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 23720
/proc/meminfo: memFree=1747532/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=101752 CPUtime=162.25
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 27147 0 0 0 15056 1169 0 0 25 0 1 0 127090508 104194048 24143 1992294400 134512640 136485738 4294880944 18446744073709551615 135038308 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23713/statm: 25438 24143 246 482 0 24954 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 101752

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23720
/proc/meminfo: memFree=1746912/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=102152 CPUtime=222.23
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 27501 0 0 0 20666 1557 0 0 25 0 1 0 127090508 104603648 24263 1992294400 134512640 136485738 4294880944 18446744073709551615 135173322 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23713/statm: 25538 24263 246 482 0 25054 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 102152

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

[startup+230.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23720
/proc/meminfo: memFree=1746912/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=102152 CPUtime=230.24
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 27546 0 0 0 21412 1612 0 0 25 0 1 0 127090508 104603648 24270 1992294400 134512640 136485738 4294880944 18446744073709551615 135179167 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23713/statm: 25538 24270 246 482 0 25054 0
Current children cumulated CPU time (s) 230.24
Current children cumulated vsize (KiB) 102152

[startup+255.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23722
/proc/meminfo: memFree=1746788/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=102152 CPUtime=255.83
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 27668 0 0 0 23800 1783 0 0 25 0 1 0 127090508 104603648 24273 1992294400 134512640 136485738 4294880944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23713/statm: 25538 24273 246 482 0 25054 0
Current children cumulated CPU time (s) 255.83
Current children cumulated vsize (KiB) 102152

[startup+262.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23722
/proc/meminfo: memFree=1746788/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=102152 CPUtime=262.22
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 27679 0 0 0 24396 1826 0 0 25 0 1 0 127090508 104603648 24273 1992294400 134512640 136485738 4294880944 18446744073709551615 135040914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23713/statm: 25538 24273 246 482 0 25054 0
Current children cumulated CPU time (s) 262.22
Current children cumulated vsize (KiB) 102152

[startup+268.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23722
/proc/meminfo: memFree=1746788/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=102152 CPUtime=268.63
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 27700 0 0 0 24990 1873 0 0 25 0 1 0 127090508 104603648 24274 1992294400 134512640 136485738 4294880944 18446744073709551615 135024608 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23713/statm: 25538 24274 246 482 0 25054 0
Current children cumulated CPU time (s) 268.63
Current children cumulated vsize (KiB) 102152

[startup+271.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23722
/proc/meminfo: memFree=1746788/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=102152 CPUtime=271.82
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 27708 0 0 0 25288 1894 0 0 25 0 1 0 127090508 104603648 24274 1992294400 134512640 136485738 4294880944 18446744073709551615 135024661 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23713/statm: 25538 24274 246 482 0 25054 0
Current children cumulated CPU time (s) 271.82
Current children cumulated vsize (KiB) 102152

[startup+272.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23722
/proc/meminfo: memFree=1746788/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=102152 CPUtime=272.63
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 27712 0 0 0 25364 1899 0 0 25 0 1 0 127090508 104603648 24274 1992294400 134512640 136485738 4294880944 18446744073709551615 134873224 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23713/statm: 25538 24274 246 482 0 25054 0
Current children cumulated CPU time (s) 272.63
Current children cumulated vsize (KiB) 102152

[startup+273.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23722
/proc/meminfo: memFree=1746788/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=96036 CPUtime=273.43
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202496 27730 0 0 0 25440 1903 0 0 25 0 1 0 127090508 98340864 23064 1992294400 134512640 136485738 4294880944 18446744073709551615 135839892 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23713/statm: 24009 23064 250 482 0 23525 0
Current children cumulated CPU time (s) 273.43
Current children cumulated vsize (KiB) 96036

[startup+273.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23722
/proc/meminfo: memFree=1746788/2059040 swapFree=4139248/4192956
[pid=23713] ppid=23711 vsize=0 CPUtime=273.63
/proc/23713/stat : 23713 (pbct) R 23711 23713 23102 0 -1 4202500 27731 0 0 0 25459 1904 0 0 25 0 1 0 127090508 0 0 1992294400 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23713/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 273.63
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 273.703
CPU time (s): 273.635
CPU user time (s): 254.591
CPU system time (s): 19.0441
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 102152

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

runsolver used 0.489925 second user time and 1.3228 second system time

The end

Launcher Data

Begin job on node004 at 2010-06-26 03:14:26
IDJOB=2684261
IDBENCH=72317
IDSOLVER=1170
FILE ID=node004/2684261-1277514866
PBS_JOBID= 11190639
Free space on /tmp= 62336 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc5fe62.cudf.trendy.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684261-1277514866/watcher-2684261-1277514866 -o /tmp/evaluation-result-2684261-1277514866/solver-2684261-1277514866 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2684261-1277514866.opb

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

MD5SUM BENCH= 43875142ae1c220985d6e8b2ab6ecef8
RANDOM SEED=1659092273

node004.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.210
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.210
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1844664 kB
Buffers:         37516 kB
Cached:          82692 kB
SwapCached:       6236 kB
Active:          38184 kB
Inactive:        95280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1844664 kB
SwapTotal:     4192956 kB
SwapFree:      4139248 kB
Dirty:            2872 kB
Writeback:           0 kB
AnonPages:       11980 kB
Mapped:          11848 kB
Slab:            58912 kB
PageTables:       4188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182996 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62332 MiB
End job on node004 at 2010-06-26 03:19:00