Trace number 2684227

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.1 fixedOPT20182527402 59.6199 59.6331

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-randec6fe1.cudf.trendy.opb
MD5SUM2a003c66fa741dfb4de1327964502c2e
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20182527402
Best CPU time to get the best result obtained on this benchmark6.96194
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6417
Total number of constraints27031
Number of constraints which are clauses26759
Number of constraints which are cardinality constraints (but not clauses)272
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 2990
Biggest coefficient in the objective function 3354790473
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 1851839860022
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 3354790473
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 1851839860022
Number of bits of the biggest sum of numbers41
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.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.39/0.40	c constraints 272/0 clauses 21052/0 units 785
0.39/0.40	c vars 6417
0.39/0.41	c objective 2572 + 3354790516
1.39/1.45	c 1.3278 78.2344 312 71370
1.39/1.45	o 973272449981
1.59/1.66	c 1.52377 79.7539 387 84875
1.59/1.66	o 973245557869
1.69/1.72	c 1.57076 79.7539 403 88787
1.69/1.72	o 916220842859
1.69/1.77	c 1.61575 79.7539 435 92862
1.69/1.77	o 916218601852
1.80/1.81	c 1.65575 79.7539 461 97071
1.80/1.81	o 916218601844
1.89/1.90	c 1.73274 79.7539 499 102802
1.89/1.90	o 691548485590
1.89/1.95	c 1.77173 79.7539 515 105709
1.89/1.95	o 550727962022
1.99/2.01	c 1.82672 79.7539 542 109684
1.99/2.01	o 550716756989
2.10/2.13	c 1.92871 79.7539 597 118612
2.10/2.13	o 386363397940
2.39/2.43	c 2.19467 79.7539 681 140320
2.39/2.43	o 332682268364
2.39/2.47	c 2.22866 79.7539 681 142588
2.39/2.47	o 332644171200
2.49/2.50	c 2.25366 79.7539 683 144472
2.49/2.50	o 292397890584
2.49/2.53	c 2.28065 79.7539 686 146543
2.49/2.53	o 292388926542
2.49/2.57	c 2.31665 79.7539 699 149468
2.49/2.57	o 292386685541
2.59/2.61	c 2.34864 79.7539 712 152069
2.59/2.61	o 225364829377
2.59/2.64	c 2.37664 79.7539 717 154313
2.59/2.64	o 181790650390
2.59/2.68	c 2.41663 79.7539 720 156897
2.59/2.68	o 181772722326
2.69/2.76	c 2.49262 79.7539 736 162434
2.69/2.76	o 154961290627
2.79/2.80	c 2.52462 79.7539 740 164171
2.79/2.80	o 154959049620
2.79/2.84	c 2.56161 79.7539 750 166620
2.79/2.84	o 154925434485
3.29/3.39	c 3.02554 79.7539 936 203594
3.29/3.39	o 154844758141
3.39/3.44	c 3.06753 79.7539 987 206789
3.39/3.44	o 154844758138
3.39/3.48	c 3.10053 79.7539 1018 208839
3.39/3.48	o 154842517148
3.49/3.50	c 3.12752 79.8828 1025 210214
3.49/3.50	o 154842517139
3.59/3.69	c 3.2865 79.8828 1095 220173
3.59/3.69	o 154690128556
3.69/3.73	c 3.32249 79.8828 1097 222572
3.69/3.73	o 91009616812
3.69/3.76	c 3.35249 79.8828 1104 223958
3.69/3.76	o 90993929734
3.69/3.79	c 3.37949 79.8828 1108 225076
3.69/3.79	o 90991688726
3.79/3.82	c 3.40448 79.8828 1111 225903
3.79/3.82	o 90991688725
3.79/3.85	c 3.42848 79.8828 1112 226906
3.79/3.85	o 90991688721
3.79/3.88	c 3.46047 79.8828 1129 227639
3.79/3.88	o 90991688720
3.89/3.96	c 3.53346 79.8828 1181 232166
3.89/3.96	o 90911012386
3.99/4.02	c 3.57845 79.8828 1187 234869
3.99/4.02	o 90893084328
3.99/4.06	c 3.61245 79.8828 1196 236992
3.99/4.06	o 90890843340
3.99/4.09	c 3.64145 79.8828 1200 238417
3.99/4.09	o 90890843329
4.09/4.14	c 3.67844 79.8828 1205 240027
4.09/4.14	o 90890843314
4.09/4.17	c 3.70844 79.8828 1206 241346
4.09/4.17	o 90890843310
4.09/4.20	c 3.73143 79.8828 1206 242438
4.09/4.20	o 90888602310
4.19/4.22	c 3.75643 79.8828 1205 243457
4.19/4.22	o 90888602301
4.19/4.25	c 3.78242 79.8828 1208 244423
4.19/4.25	o 90888602300
4.30/4.39	c 3.89641 79.8828 1245 251076
4.30/4.39	o 90823613058
4.40/4.41	c 3.9214 79.8828 1247 252283
4.40/4.41	o 90821372065
4.40/4.45	c 3.9494 79.8828 1245 253389
4.40/4.45	o 90821372060
4.40/4.48	c 3.97539 79.8828 1246 254448
4.40/4.48	o 90819131057
4.49/4.51	c 4.00039 79.8828 1248 255348
4.49/4.51	o 90819131054
4.49/4.59	c 4.07138 79.8828 1265 257741
4.49/4.59	o 90718285693
4.59/4.63	c 4.10538 79.8828 1277 259650
4.59/4.63	o 87446412516
4.59/4.67	c 4.13837 79.8828 1280 261417
4.59/4.67	o 84105068075
4.69/4.70	c 4.16437 79.8828 1281 262748
4.69/4.70	o 84102827084
4.69/4.73	c 4.18936 79.8828 1284 264316
4.69/4.73	o 84102827082
4.79/4.80	c 4.24935 79.8828 1292 265651
4.79/4.80	o 84102827025
4.89/4.92	c 4.35234 80.0117 1332 267765
4.89/4.92	o 84033355793
4.89/4.95	c 4.37533 80.0117 1316 268925
4.89/4.95	o 84033355780
4.89/4.98	c 4.40033 80.0117 1318 270017
4.89/4.98	o 84031114781
4.99/5.00	c 4.42633 80.0117 1320 271074
4.99/5.00	o 84031114771
4.99/5.03	c 4.44932 80.0117 1322 272154
4.99/5.03	o 84031114765
4.99/5.06	c 4.47332 80.0117 1324 273221
4.99/5.06	o 84028873765
4.99/5.08	c 4.49932 80.0117 1325 274316
4.99/5.08	o 84028873762
5.09/5.11	c 4.52531 80.0117 1325 275359
5.09/5.11	o 84026632756
5.09/5.14	c 4.55031 80.0117 1326 276379
5.09/5.14	o 84026632754
5.09/5.16	c 4.5753 80.0117 1326 277067
5.09/5.16	o 84026632753
5.09/5.19	c 4.5983 80.0117 1326 277622
5.09/5.19	o 84026632752
5.19/5.22	c 4.6213 80.0117 1326 278670
5.19/5.22	o 84026632749
5.19/5.24	c 4.64429 80.0117 1327 279646
5.19/5.24	o 84024391745
5.19/5.27	c 4.66829 80.0117 1327 280596
5.19/5.27	o 84024391743
5.19/5.30	c 4.69329 80.0117 1327 281660
5.19/5.30	o 84022150735
5.29/5.32	c 4.71628 80.0117 1327 282635
5.29/5.32	o 84022150732
5.29/5.35	c 4.74128 80.0117 1328 283505
5.29/5.35	o 84019909724
5.29/5.39	c 4.78027 80.0117 1336 285106
5.29/5.39	o 83975089593
5.40/5.42	c 4.80227 80.0117 1339 286256
5.40/5.42	o 83975089586
5.40/5.45	c 4.82727 80.0117 1340 287293
5.40/5.45	o 83972848582
5.40/5.47	c 4.84926 80.0117 1339 288252
5.40/5.47	o 83972848577
5.40/5.50	c 4.87326 80.0117 1339 289267
5.40/5.50	o 83972848570
5.49/5.52	c 4.89626 80.0117 1339 290283
5.49/5.52	o 83972848568
5.49/5.55	c 4.92025 80.0117 1339 291275
5.49/5.55	o 83970607566
5.49/5.58	c 4.94625 80.0117 1339 292030
5.49/5.58	o 83970607565
5.59/5.60	c 4.97124 80.0117 1339 292935
5.59/5.60	o 83968366557
5.59/5.64	c 5.00124 80.0117 1347 294003
5.59/5.64	o 83968366552
5.59/5.67	c 5.03523 80.0117 1357 295424
5.59/5.67	o 83966125556
5.69/5.70	c 5.05823 80.0117 1360 296043
5.69/5.70	o 83966125546
5.69/5.79	c 5.13822 80.0117 1391 297423
5.69/5.79	o 83966125540
5.79/5.82	c 5.17121 80.0117 1401 298817
5.79/5.82	o 80804061773
5.79/5.86	c 5.20721 80.0117 1413 300638
5.79/5.86	o 80721144482
5.79/5.89	c 5.2322 80.0117 1413 301741
5.79/5.89	o 80718903475
5.89/5.92	c 5.2582 80.0117 1414 303145
5.89/5.92	o 80709939435
5.89/5.94	c 5.2812 80.0117 1415 304197
5.89/5.94	o 80707698427
5.89/5.97	c 5.31019 80.0117 1370 305373
5.89/5.97	o 80707698422
5.99/6.00	c 5.33619 80.0117 1373 306290
5.99/6.00	o 80707698416
5.99/6.06	c 5.38218 80.1406 1385 307572
5.99/6.06	o 80705457409
5.99/6.09	c 5.41918 80.1406 1394 308264
5.99/6.09	o 80703216407
6.09/6.13	c 5.45217 80.1406 1399 309276
6.09/6.13	o 80700975405
6.09/6.16	c 5.47617 80.1406 1400 310126
6.09/6.16	o 80700975402
6.09/6.18	c 5.49916 80.1406 1400 310994
6.09/6.18	o 80698734396
6.19/6.21	c 5.52416 80.1406 1400 311617
6.19/6.21	o 80698734395
6.19/6.23	c 5.54716 80.1406 1400 312502
6.19/6.23	o 80698734393
6.19/6.26	c 5.57015 80.1406 1400 313368
6.19/6.26	o 80696493384
6.19/6.29	c 5.59015 80.1406 1400 314297
6.19/6.29	o 80694252377
6.29/6.31	c 5.61615 80.1406 1400 315152
6.29/6.31	o 80692011368
6.29/6.34	c 5.64214 80.1406 1400 315999
6.29/6.34	o 80692011366
6.29/6.37	c 5.66914 80.1406 1402 316622
6.29/6.37	o 80689770358
6.39/6.41	c 5.70113 80.1406 1413 317599
6.39/6.41	o 80689770347
6.39/6.44	c 5.72913 80.1406 1418 318845
6.39/6.44	o 80624781106
6.39/6.47	c 5.75512 80.1406 1419 319598
6.39/6.47	o 80622540097
6.39/6.50	c 5.77912 80.1406 1422 320681
6.39/6.50	o 80620299097
6.50/6.54	c 5.81712 80.1406 1432 321443
6.50/6.54	o 80620299095
6.50/6.58	c 5.84911 80.1406 1436 322241
6.50/6.58	o 80620299085
6.60/6.63	c 5.9041 80.1406 1444 322905
6.60/6.63	o 80618058080
6.60/6.68	c 5.9471 80.1406 1459 323523
6.60/6.68	o 80618058071
6.69/6.72	c 5.98009 80.1406 1464 324110
6.69/6.72	o 80615817076
6.69/6.77	c 6.02208 80.1406 1474 325910
6.69/6.77	o 77444789313
6.69/6.79	c 6.04608 80.1406 1476 327094
6.69/6.79	o 77343943939
6.79/6.82	c 6.07008 80.1406 1476 328133
6.79/6.82	o 77341702930
6.79/6.85	c 6.09407 80.1406 1477 329256
6.79/6.85	o 77321533850
6.79/6.87	c 6.11907 80.1406 1477 330373
6.79/6.87	o 77317051832
6.89/6.90	c 6.14307 80.1406 1477 331421
6.89/6.90	o 77317051829
6.89/6.93	c 6.16906 80.1406 1477 332468
6.89/6.93	o 77314810822
6.89/6.95	c 6.19106 80.1406 1477 333540
6.89/6.95	o 77314810819
6.89/6.98	c 6.21605 80.1406 1479 334738
6.89/6.98	o 77312569813
6.99/7.02	c 6.24205 80.1406 1484 335883
6.99/7.02	o 77312569806
6.99/7.07	c 6.28604 80.1406 1492 337793
6.99/7.07	o 77310328803
7.09/7.10	c 6.31104 80.1406 1495 338844
7.09/7.10	o 77308087809
7.09/7.13	c 6.33504 80.1406 1495 339593
7.09/7.13	o 77308087791
7.09/7.16	c 6.36503 80.1406 1499 340385
7.09/7.16	o 77305846794
7.09/7.19	c 6.39203 80.2695 1505 341882
7.09/7.19	o 77218447463
7.19/7.22	c 6.41802 80.2695 1508 342935
7.19/7.22	o 77218447461
7.19/7.26	c 6.45602 80.2695 1513 343770
7.19/7.26	o 77216206452
7.29/7.39	c 6.57 80.2695 1539 344893
7.29/7.39	o 74085516785
7.39/7.43	c 6.603 80.2695 1551 346164
7.39/7.43	o 73960020349
7.39/7.46	c 6.62999 80.2695 1555 346916
7.39/7.46	o 73957779352
7.39/7.49	c 6.65799 80.2695 1560 348027
7.39/7.49	o 73955538345
7.49/7.52	c 6.68498 80.2695 1562 349098
7.49/7.52	o 73953297346
7.49/7.55	c 6.71198 80.2695 1563 350146
7.49/7.55	o 73953297339
7.49/7.58	c 6.74497 80.2695 1571 351915
7.49/7.58	o 73951056339
7.60/7.63	c 6.78997 80.2695 1579 354553
7.60/7.63	o 70643327060
7.60/7.66	c 6.81696 80.2695 1591 355746
7.60/7.66	o 70643327050
7.60/7.69	c 6.84496 80.2695 1593 356824
7.60/7.69	o 70643327048
7.70/7.71	c 6.86996 80.2695 1593 357675
7.70/7.71	o 70643327047
7.70/7.74	c 6.89395 80.2695 1593 358565
7.70/7.74	o 70643327046
7.70/7.77	c 6.91795 80.2695 1593 359506
7.70/7.77	o 70641086038
7.70/7.79	c 6.94294 80.2695 1594 360535
7.70/7.79	o 70638845030
7.79/7.82	c 6.96794 80.2695 1594 361889
7.79/7.82	o 67319910711
7.79/7.85	c 6.99194 80.2695 1594 363211
7.79/7.85	o 67310946676
7.79/7.88	c 7.01393 80.2695 1595 364720
7.79/7.88	o 67290777592
7.88/7.90	c 7.03693 80.2695 1595 366062
7.88/7.90	o 63965120233
7.88/7.94	c 7.06893 80.2695 1596 368122
7.88/7.94	o 63953915194
7.88/7.97	c 7.09192 80.2695 1596 369478
7.88/7.97	o 63938228126
7.88/7.99	c 7.11692 80.2695 1596 370817
7.88/7.99	o 60590160681
7.99/8.02	c 7.14291 80.2695 1596 371784
7.99/8.02	o 60590160680
7.99/8.05	c 7.16691 80.2695 1596 372949
7.99/8.05	o 60587919674
7.99/8.07	c 7.19191 80.2695 1596 374312
7.99/8.07	o 60583437653
8.09/8.11	c 7.2209 80.2695 1597 375640
8.09/8.11	o 60581196646
8.09/8.13	c 7.2469 80.2695 1598 376893
8.09/8.13	o 60578955637
8.09/8.16	c 7.27089 80.2695 1598 377919
8.09/8.16	o 60576714630
8.09/8.19	c 7.29489 80.2695 1598 379003
8.09/8.19	o 60576714628
8.19/8.21	c 7.31689 80.2695 1599 380220
8.19/8.21	o 60576714626
8.19/8.24	c 7.33988 80.2695 1601 381625
8.19/8.24	o 50566127413
8.19/8.27	c 7.36388 80.2695 1603 382598
8.19/8.27	o 50566127412
8.19/8.30	c 7.38788 80.2695 1603 383712
8.19/8.30	o 50563886403
8.29/8.32	c 7.41287 80.3984 1603 384982
8.29/8.32	o 47258398131
8.29/8.35	c 7.43587 80.3984 1603 386239
8.29/8.35	o 47240470043
8.29/8.38	c 7.45787 80.3984 1603 387416
8.29/8.38	o 47231506027
8.39/8.40	c 7.48386 80.3984 1603 388592
8.39/8.40	o 47220300975
8.39/8.43	c 7.50886 80.3984 1603 389762
8.39/8.43	o 47218059970
8.39/8.46	c 7.53285 80.3984 1603 390821
8.39/8.46	o 47218059953
8.39/8.48	c 7.55585 80.3984 1603 391927
8.39/8.48	o 47215818960
8.49/8.51	c 7.57785 80.3984 1604 393059
8.49/8.51	o 47215818957
8.49/8.54	c 7.60484 80.3984 1605 393767
8.49/8.54	o 47213577951
8.49/8.56	c 7.62784 80.3984 1605 395130
8.49/8.56	o 47186685846
8.49/8.59	c 7.65284 80.3984 1605 395805
8.49/8.59	o 47184444838
8.59/8.62	c 7.67883 80.3984 1606 397259
8.59/8.62	o 43852064454
8.59/8.65	c 7.70383 80.3984 1607 398627
8.59/8.65	o 40526407107
8.59/8.67	c 7.72882 80.3984 1609 399837
8.59/8.67	o 40526407087
8.70/8.70	c 7.75082 80.3984 1610 400863
8.70/8.70	o 40524166087
8.70/8.73	c 7.77882 80.3984 1613 402200
8.70/8.73	o 40519684066
8.70/8.79	c 7.82181 80.3984 1633 403661
8.70/8.79	o 40519684005
8.79/8.82	c 7.84881 80.3984 1634 404963
8.79/8.82	o 40481586852
8.79/8.84	c 7.8718 80.3984 1635 406114
8.79/8.84	o 40463658780
8.79/8.87	c 7.8968 80.3984 1635 407123
8.79/8.87	o 40461417771
8.89/8.90	c 7.9208 80.3984 1635 408230
8.89/8.90	o 40459176762
8.89/8.92	c 7.94279 80.3984 1635 409238
8.89/8.92	o 40456935754
8.89/8.95	c 7.96679 80.3984 1635 410117
8.89/8.95	o 40456935753
8.89/8.98	c 7.99578 80.3984 1636 411329
8.89/8.98	o 40454694745
8.98/9.01	c 8.02078 80.3984 1636 412336
8.98/9.01	o 40454694743
8.98/9.04	c 8.04578 80.3984 1637 413181
8.98/9.04	o 40452453736
8.98/9.06	c 8.06977 80.3984 1637 414256
8.98/9.06	o 40452453734
9.09/9.10	c 8.10677 80.3984 1639 415002
9.09/9.10	o 40452453728
9.09/9.13	c 8.12976 80.3984 1641 416134
9.09/9.13	o 40382982515
9.09/9.16	c 8.15276 80.3984 1642 417144
9.09/9.16	o 40380741511
9.09/9.19	c 8.17576 80.3984 1644 417561
9.09/9.19	o 40380741510
9.19/9.21	c 8.20175 80.3984 1647 418702
9.19/9.21	o 40353849413
9.19/9.24	c 8.22575 80.3984 1647 419773
9.19/9.24	o 40338162364
9.19/9.27	c 8.25174 80.3984 1649 420907
9.19/9.27	o 40331439334
9.29/9.31	c 8.28474 80.3984 1654 422270
9.29/9.31	o 40331439315
9.29/9.33	c 8.30874 80.3984 1655 423444
9.29/9.33	o 37025951032
9.29/9.36	c 8.33473 80.3984 1656 424528
9.29/9.36	o 37023710043
9.29/9.39	c 8.36373 80.5273 1658 425532
9.29/9.39	o 37023710042
9.39/9.42	c 8.38573 80.5273 1659 426688
9.39/9.42	o 37021469033
9.39/9.44	c 8.41172 80.5273 1659 427742
9.39/9.44	o 37021469027
9.39/9.47	c 8.43872 80.5273 1666 429435
9.39/9.47	o 37019228034
9.49/9.50	c 8.46071 80.5273 1666 430555
9.49/9.50	o 37014746005
9.49/9.53	c 8.48571 80.5273 1668 431205
9.49/9.53	o 37014746004
9.49/9.56	c 8.50771 80.5273 1668 432250
9.49/9.56	o 37012505004
9.49/9.58	c 8.5317 80.5273 1668 433011
9.49/9.58	o 37012505003
9.59/9.61	c 8.5547 80.5273 1668 433862
9.59/9.61	o 37012505002
9.59/9.64	c 8.5807 80.5273 1668 434935
9.59/9.64	o 37010263994
9.59/9.66	c 8.60569 80.5273 1668 435750
9.59/9.66	o 37010263993
9.59/9.69	c 8.63069 80.5273 1668 436760
9.59/9.69	o 37008022985
9.69/9.72	c 8.65368 80.5273 1668 437522
9.69/9.72	o 37008022984
9.69/9.74	c 8.68068 80.5273 1668 438476
9.69/9.74	o 37005781978
9.69/9.77	c 8.70668 80.5273 1669 439507
9.69/9.77	o 37005781976
9.79/9.80	c 8.73167 80.5273 1670 440294
9.79/9.80	o 37005781973
9.79/9.82	c 8.75667 80.5273 1670 441455
9.79/9.82	o 33702534696
9.79/9.85	c 8.78266 80.5273 1670 442553
9.79/9.85	o 33700293688
9.79/9.88	c 8.80766 80.5273 1672 443727
9.79/9.88	o 30397046419
9.89/9.91	c 8.83566 80.5273 1677 444811
9.89/9.91	o 30255862865
9.89/9.94	c 8.86065 80.5273 1678 445730
9.89/9.94	o 30255862859
9.89/9.97	c 8.88365 80.5273 1678 446355
9.89/9.97	o 30253621850
9.99/10.01	c 8.91964 80.5273 1687 446941
9.99/10.01	o 30253621848
9.99/10.06	c 8.96464 80.5273 1710 447588
9.99/10.06	o 30253621844
9.99/10.09	c 8.99063 80.5273 1712 448152
9.99/10.09	o 30253621834
10.19/10.27	c 9.16261 80.5273 1744 448465
10.19/10.27	o 30253621833
10.29/10.33	c 9.2126 80.5273 1763 448773
10.29/10.33	o 30253621832
10.49/10.59	c 9.44856 80.5273 1805 449425
10.49/10.59	o 30253621826
10.59/10.66	c 9.51255 80.5273 1813 450017
10.59/10.66	o 30253621817
10.69/10.71	c 9.56255 80.6562 1832 450738
10.69/10.71	o 30251380839
10.69/10.75	c 9.59354 80.6562 1835 450938
10.69/10.75	o 30251380838
10.69/10.78	c 9.61754 80.6562 1838 451509
10.69/10.78	o 30251380833
10.79/10.82	c 9.65553 80.6562 1846 451716
10.79/10.82	o 30251380832
10.79/10.89	c 9.71852 80.6562 1882 452561
10.79/10.89	o 30251380812
10.90/10.96	c 9.77951 80.6562 1891 453104
10.90/10.96	o 30249139830
11.00/11.00	c 9.82151 80.6562 1911 453742
11.00/11.00	o 30249139827
11.00/11.06	c 9.8685 80.6562 1921 454303
11.00/11.06	o 30249139819
11.19/11.27	c 10.0645 80.6562 1969 454576
11.19/11.27	o 30249139818
11.28/11.32	c 10.1115 80.6562 1986 454888
11.28/11.32	o 30249139817
11.28/11.37	c 10.1585 80.6562 2000 455069
11.28/11.37	o 30249139816
11.89/11.91	c 10.6654 80.6562 2070 455724
11.89/11.91	o 30249139812
12.29/12.32	c 11.0453 80.7852 2128 456437
12.29/12.32	o 30246898819
12.39/12.41	c 11.1303 80.7852 2167 457197
12.39/12.41	o 30246898807
12.39/12.46	c 11.1753 80.7852 2174 457432
12.39/12.46	o 30246898806
12.49/12.50	c 11.2113 80.7852 2181 457985
12.49/12.50	o 30246898802
12.49/12.53	c 11.2363 80.7852 2187 458194
12.49/12.53	o 30246898801
12.59/12.63	c 11.3243 80.7852 2201 458754
12.59/12.63	o 30244657815
12.69/12.71	c 11.3853 80.7852 2226 459470
12.69/12.71	o 30244657791
12.88/12.93	c 11.5912 80.7852 2254 460069
12.88/12.93	o 30242416801
12.99/13.03	c 11.6812 80.7852 2272 460632
12.99/13.03	o 30242416777
13.29/13.34	c 11.9632 80.7852 2323 461289
13.29/13.34	o 30240175797
13.49/13.51	c 12.1112 80.7852 2378 462101
13.49/13.51	o 30240175775
13.79/13.85	c 12.4351 80.7852 2423 462899
13.79/13.85	o 30237934786
13.99/14.02	c 12.5911 80.7852 2473 463297
13.99/14.02	o 30237934785
13.99/14.07	c 12.6301 80.7852 2480 463906
13.99/14.07	o 30237934783
14.09/14.10	c 12.6591 80.7852 2482 464110
14.09/14.10	o 30237934782
14.19/14.26	c 12.8071 80.9141 2536 464737
14.19/14.26	o 30237934773
14.30/14.33	c 12.868 80.9141 2564 465332
14.30/14.33	o 30237934769
14.89/14.92	c 13.405 80.9141 2650 466107
14.89/14.92	o 30235693786
14.98/15.08	c 13.5429 80.9141 2690 466763
14.98/15.08	o 30235693766
15.19/15.24	c 13.6839 80.9141 2718 468090
15.19/15.24	o 27129655259
15.19/15.26	c 13.7089 80.9141 2720 469150
15.19/15.26	o 27089317101
15.19/15.29	c 13.7329 80.9141 2720 469976
15.19/15.29	o 27089317100
15.29/15.32	c 13.7549 80.9141 2720 471020
15.29/15.32	o 27064666002
15.29/15.34	c 13.7769 80.9141 2720 471414
15.29/15.34	o 27064666001
15.29/15.38	c 13.8079 80.9141 2722 472639
15.29/15.38	o 26936928527
15.29/15.40	c 13.8289 80.9141 2723 473639
15.39/15.40	o 26934687518
15.39/15.45	c 13.8719 80.9141 2731 474914
15.39/15.45	o 26932446515
15.39/15.48	c 13.8969 80.9141 2731 475934
15.39/15.48	o 26932446506
15.49/15.51	c 13.9229 80.9141 2731 476536
15.49/15.51	o 26930205497
15.49/15.53	c 13.9419 80.9141 2731 477232
15.49/15.53	o 26927964488
15.49/15.56	c 13.9669 80.9141 2731 477851
15.49/15.56	o 26925723479
15.49/15.59	c 13.9899 80.9141 2731 478539
15.49/15.59	o 26923482470
15.58/15.61	c 14.0149 80.9141 2731 479129
15.58/15.61	o 26921241461
15.58/15.64	c 14.0389 80.9141 2731 479737
15.58/15.64	o 26919000452
15.58/15.68	c 14.0809 81.043 2734 480353
15.58/15.68	o 26916759444
15.69/15.72	c 14.1159 81.043 2743 480907
15.69/15.72	o 26916759401
15.69/15.77	c 14.1608 81.043 2753 481541
15.69/15.77	o 26914518438
15.79/15.80	c 14.1858 81.043 2753 482075
15.79/15.80	o 26914518432
15.79/15.83	c 14.2108 81.043 2754 482612
15.79/15.83	o 26914518429
15.79/15.85	c 14.2368 81.043 2757 482813
15.79/15.85	o 26914518428
15.79/15.90	c 14.2738 81.043 2764 483415
15.79/15.90	o 26912277425
15.89/15.93	c 14.3048 81.043 2772 483994
15.89/15.93	o 26912277419
16.08/16.13	c 14.4828 81.043 2805 484596
16.08/16.13	o 26910036421
16.19/16.20	c 14.5418 81.043 2835 485580
16.19/16.20	o 26910036395
16.19/16.23	c 14.5698 81.043 2838 485793
16.19/16.23	o 26910036394
16.39/16.43	c 14.7468 81.043 2868 486390
16.39/16.43	o 26907795399
16.39/16.46	c 14.7708 81.043 2871 486896
16.39/16.46	o 26907795385
16.59/16.61	c 14.9057 81.043 2909 487285
16.59/16.61	o 26907795384
16.59/16.64	c 14.9317 81.043 2913 487815
16.59/16.64	o 26907795380
16.69/16.71	c 14.9997 81.043 2932 488356
16.69/16.71	o 26907795376
16.89/16.92	c 15.1887 81.043 2975 489009
16.89/16.92	o 26905554378
17.09/17.18	c 15.4267 81.1719 3025 489738
17.09/17.18	o 26903313389
17.19/17.26	c 15.4966 81.1719 3055 490363
17.19/17.26	o 26903313371
17.28/17.39	c 15.6106 81.1719 3077 490919
17.28/17.39	o 26901072378
17.38/17.42	c 15.6396 81.1719 3084 491454
17.38/17.42	o 26901072366
17.49/17.54	c 15.7486 81.1719 3104 492055
17.49/17.54	o 26901072360
18.09/18.10	c 16.2645 81.1719 3182 492834
18.09/18.10	o 26898831365
18.60/18.68	c 16.8014 81.1719 3258 493501
18.60/18.68	o 26896590371
18.69/18.73	c 16.8514 81.1719 3283 494151
18.69/18.73	o 26896590353
18.79/18.89	c 16.9894 81.1719 3304 494414
18.79/18.89	o 26896590352
18.99/19.04	c 17.1314 81.1719 3328 494738
18.99/19.04	o 26896590351
19.09/19.13	c 17.2134 81.1719 3358 494973
19.09/19.13	o 26896590350
19.09/19.19	c 17.2694 81.1719 3378 495624
19.09/19.19	o 26896590346
19.49/19.54	c 17.5993 81.3008 3434 496291
19.49/19.54	o 26894349354
19.59/19.62	c 17.6623 81.3008 3458 496908
19.59/19.62	o 26894349341
19.59/19.65	c 17.6973 81.3008 3472 497287
19.59/19.65	o 26894349340
19.88/19.97	c 17.9953 81.3008 3504 497906
19.88/19.97	o 26892108340
19.99/20.05	c 18.0653 81.3008 3529 498497
19.99/20.05	o 26892108334
20.39/20.43	c 18.4122 81.3008 3598 499152
20.39/20.43	o 26889867342
20.39/20.49	c 18.4642 81.3008 3616 499808
20.39/20.49	o 26889867330
20.49/20.53	c 18.5042 81.3008 3627 500355
20.49/20.53	o 26889867319
20.98/21.09	c 19.0131 81.3008 3703 501131
20.98/21.09	o 26887626332
21.08/21.14	c 19.0551 81.3008 3726 501676
21.08/21.14	o 26887626302
21.39/21.48	c 19.3621 81.4297 3761 502254
21.39/21.48	o 26885385315
21.48/21.56	c 19.432 81.4297 3782 502791
21.48/21.56	o 26885385304
21.90/21.90	c 19.75 81.4297 3838 503472
21.90/21.90	o 26883144317
21.90/21.93	c 19.775 81.4297 3840 503955
21.90/21.93	o 26883144314
21.90/21.97	c 19.813 81.4297 3852 504111
21.90/21.97	o 26883144313
22.00/22.03	c 19.867 81.4297 3876 504383
22.00/22.03	o 26883144312
22.08/22.16	c 19.98 81.4297 3904 505032
22.08/22.16	o 26883144303
22.29/22.36	c 20.1699 81.4297 3925 506173
22.29/22.36	o 23743490658
22.29/22.39	c 20.1949 81.4297 3925 507191
22.29/22.39	o 23741249654
22.39/22.42	c 20.2199 81.4297 3925 508165
22.39/22.42	o 23739008645
22.39/22.44	c 20.2439 81.4297 3925 509165
22.39/22.44	o 23736767636
22.39/22.47	c 20.2659 81.4297 3925 510082
22.39/22.47	o 23734526627
22.48/22.50	c 20.2899 81.4297 3925 511076
22.48/22.50	o 23732285618
22.48/22.52	c 20.3159 81.4297 3925 512062
22.48/22.52	o 23730044609
22.48/22.55	c 20.3409 81.4297 3925 513008
22.48/22.55	o 23727803600
22.48/22.58	c 20.3639 81.4297 3925 513705
22.48/22.58	o 23727803599
22.58/22.61	c 20.3859 81.4297 3925 514679
22.58/22.61	o 23725562591
22.58/22.63	c 20.4089 81.4297 3925 515371
22.58/22.63	o 23725562590
22.58/22.66	c 20.4359 81.4297 3925 516360
22.58/22.66	o 23723321582
22.58/22.69	c 20.4609 81.4297 3925 517117
22.58/22.69	o 23723321581
22.69/22.71	c 20.4829 81.4297 3925 517821
22.69/22.71	o 23721080573
22.69/22.74	c 20.5069 81.4297 3925 518638
22.69/22.74	o 23718839564
22.69/22.77	c 20.5319 81.4297 3925 519334
22.69/22.77	o 23718839563
22.69/22.79	c 20.5559 81.4297 3925 520013
22.69/22.79	o 23716598555
22.78/22.82	c 20.5799 81.4297 3925 520708
22.78/22.82	o 23716598554
22.78/22.85	c 20.6059 81.4297 3925 521400
22.78/22.85	o 23714357545
22.78/22.87	c 20.6309 81.4297 3925 522223
22.78/22.87	o 23712116536
22.89/22.90	c 20.6559 81.4297 3925 522803
22.89/22.90	o 23709875528
22.89/22.93	c 20.6789 81.5586 3925 523098
22.89/22.93	o 23709875527
22.89/22.95	c 20.7019 81.5586 3925 523699
22.89/22.95	o 23707634519
22.89/22.98	c 20.7248 81.5586 3925 524303
22.89/22.98	o 23705393510
22.99/23.00	c 20.7468 81.5586 3925 524577
22.99/23.00	o 23705393509
22.99/23.03	c 20.7718 81.5586 3925 525166
22.99/23.03	o 23703152501
22.99/23.06	c 20.7918 81.5586 3925 525561
22.99/23.06	o 23703152500
22.99/23.09	c 20.8178 81.5586 3925 526134
22.99/23.09	o 23700911493
23.10/23.11	c 20.8378 81.5586 3925 526560
23.10/23.11	o 23700911492
23.10/23.15	c 20.8678 81.5586 3926 527118
23.10/23.15	o 23698670483
23.10/23.17	c 20.8938 81.5586 3926 528167
23.10/23.17	o 23635922259
23.19/23.20	c 20.9168 81.5586 3926 529182
23.19/23.20	o 23633681253
23.19/23.23	c 20.9408 81.5586 3926 530176
23.19/23.23	o 23633681250
23.19/23.25	c 20.9668 81.5586 3926 531146
23.19/23.25	o 23631440243
23.19/23.28	c 20.9928 81.5586 3926 531962
23.19/23.28	o 23631440242
23.28/23.31	c 21.0178 81.5586 3926 532878
23.28/23.31	o 23629199234
23.28/23.33	c 21.0408 81.5586 3926 533686
23.28/23.34	o 23629199233
23.28/23.36	c 21.0668 81.5586 3926 534595
23.28/23.36	o 23626958226
23.28/23.39	c 21.0878 81.5586 3926 535374
23.28/23.39	o 23626958225
23.39/23.42	c 21.1118 81.5586 3926 536279
23.39/23.42	o 23626958223
23.39/23.44	c 21.1358 81.5586 3926 537191
23.39/23.44	o 23624717217
23.39/23.47	c 21.1608 81.5586 3926 537967
23.39/23.47	o 23624717216
23.39/23.50	c 21.1868 81.5586 3926 538822
23.39/23.50	o 23624717215
23.48/23.52	c 21.2128 81.5586 3926 539831
23.48/23.52	o 23622476207
23.48/23.55	c 21.2388 81.5586 3927 540753
23.48/23.55	o 23622476205
23.48/23.58	c 21.2618 81.6875 3927 541733
23.48/23.58	o 23620235197
23.58/23.61	c 21.2868 81.6875 3928 542724
23.58/23.61	o 23617994189
23.58/23.63	c 21.3108 81.6875 3928 543571
23.58/23.63	o 23617994188
23.58/23.66	c 21.3358 81.6875 3928 544255
23.58/23.66	o 23615753182
23.58/23.69	c 21.3608 81.6875 3928 544875
23.58/23.69	o 23615753179
23.69/23.71	c 21.3877 81.6875 3928 545782
23.69/23.71	o 23613512171
23.69/23.74	c 21.4137 81.6875 3928 546413
23.69/23.74	o 23611271162
23.69/23.77	c 21.4367 81.6875 3929 547029
23.69/23.77	o 23611271160
23.69/23.79	c 21.4637 81.6875 3929 547637
23.69/23.79	o 23609030154
23.78/23.82	c 21.4867 81.6875 3929 548247
23.78/23.82	o 23609030151
23.78/23.85	c 21.5107 81.6875 3929 548848
23.78/23.85	o 23606789144
23.78/23.88	c 21.5447 81.6875 3934 549688
23.78/23.88	o 23604548141
23.88/23.93	c 21.5857 81.6875 3943 550257
23.88/23.93	o 23604548134
23.88/23.96	c 21.6097 81.6875 3944 550849
23.88/23.96	o 23604548121
23.88/23.98	c 21.6327 81.6875 3946 551431
23.88/23.98	o 23604548119
23.99/24.05	c 21.6967 81.6875 3971 551678
23.99/24.05	o 23604548118
23.99/24.08	c 21.7217 81.6875 3971 552221
23.99/24.08	o 23604548104
24.09/24.11	c 21.7467 81.6875 3971 552753
24.09/24.11	o 23604548102
24.09/24.14	c 21.7727 81.6875 3972 552948
24.09/24.14	o 23604548101
24.09/24.17	c 21.7997 81.6875 3976 553520
24.09/24.17	o 23604548089
24.28/24.32	c 21.9407 81.6875 4007 554090
24.28/24.32	o 23602307114
24.28/24.39	c 22.0017 81.6875 4018 554636
24.28/24.39	o 23602307091
24.38/24.42	c 22.0267 81.6875 4025 555637
24.38/24.42	o 23600066118
24.38/24.45	c 22.0496 81.6875 4025 556314
24.38/24.45	o 23597825109
24.38/24.48	c 22.0746 81.6875 4025 557001
24.38/24.48	o 23595584100
24.49/24.51	c 22.0996 81.8164 4025 557888
24.49/24.51	o 23593343091
24.49/24.53	c 22.1246 81.8164 4025 558537
24.49/24.53	o 23591102082
24.49/24.56	c 22.1486 81.8164 4025 559151
24.49/24.56	o 23588861073
24.49/24.59	c 22.1746 81.8164 4025 559754
24.49/24.59	o 23586620064
24.59/24.61	c 22.1976 81.8164 4026 560382
24.59/24.61	o 23584379055
24.59/24.64	c 22.2246 81.8164 4027 560970
24.59/24.64	o 23584379049
24.69/24.70	c 22.2746 81.8164 4047 562174
24.69/24.70	o 23582138045
24.69/24.73	c 22.3026 81.8164 4049 562741
24.69/24.73	o 23579897042
24.69/24.77	c 22.3396 81.8164 4053 563257
24.69/24.77	o 23579897013
24.78/24.81	c 22.3796 81.8164 4056 563787
24.78/24.81	o 23577656020
24.78/24.84	c 22.4026 81.8164 4058 564309
24.78/24.84	o 23577656007
24.99/25.07	c 22.6186 81.8164 4091 565051
24.99/25.07	o 23575415015
24.99/25.10	c 22.6446 81.8164 4091 565578
24.99/25.10	o 23575414988
25.59/25.67	c 23.1635 81.8164 4212 566322
25.59/25.67	o 23573174015
25.79/25.80	c 23.2775 81.9453 4254 567097
25.79/25.80	o 23573173994
25.79/25.83	c 23.3035 81.9453 4254 567673
25.79/25.83	o 23570932997
25.79/25.86	c 23.3255 81.9453 4254 568238
25.79/25.86	o 23570932993
25.79/25.89	c 23.3574 81.9453 4255 568526
25.79/25.89	o 23570932992
25.89/25.92	c 23.3844 81.9453 4257 569127
25.89/25.92	o 23568691990
25.89/25.95	c 23.4094 81.9453 4257 569666
25.89/25.95	o 23568691981
25.98/26.03	c 23.4824 81.9453 4279 570385
25.98/26.03	o 23566450994
25.98/26.08	c 23.5274 81.9453 4304 570942
25.98/26.08	o 23566450975
26.09/26.11	c 23.5564 81.9453 4308 571195
26.09/26.11	o 23566450974
26.09/26.17	c 23.6134 81.9453 4323 571757
26.09/26.17	o 23566450970
26.19/26.20	c 23.6404 81.9453 4328 572273
26.19/26.20	o 23566450968
26.49/26.53	c 23.9364 81.9453 4361 572851
26.49/26.53	o 23566450964
26.69/26.71	c 24.1053 81.9453 4393 573486
26.69/26.71	o 23564209973
26.69/26.78	c 24.1613 81.9453 4408 574067
26.69/26.78	o 23564209971
26.79/26.81	c 24.1873 81.9453 4409 574593
26.79/26.81	o 23564209960
27.09/27.12	c 24.4803 81.9453 4456 575253
27.09/27.13	o 23561968975
27.09/27.15	c 24.5043 81.9453 4456 575710
27.09/27.15	o 23561968960
27.09/27.18	c 24.5323 81.9453 4457 575865
27.09/27.18	o 23561968959
27.19/27.26	c 24.5993 81.9453 4467 576388
27.19/27.26	o 23561968955
27.59/27.67	c 24.9722 82.0742 4523 576985
27.59/27.67	o 23559727961
27.69/27.72	c 25.0162 82.0742 4541 577523
27.69/27.72	o 23559727949
27.98/28.01	c 25.2782 82.0742 4591 578325
27.98/28.01	o 23557486951
28.09/28.16	c 25.4201 82.0742 4647 578954
28.09/28.16	o 23557486948
28.78/28.86	c 26.045 82.0742 4751 579821
28.78/28.86	o 23557486923
29.38/29.46	c 26.595 82.2031 4821 580420
29.38/29.46	o 23555245930
29.89/29.98	c 27.0699 82.2031 4886 581051
29.89/29.98	o 23553004941
29.98/30.01	c 27.0999 82.2031 4893 581545
29.98/30.01	o 23553004934
29.98/30.07	c 27.1519 82.2031 4917 581730
29.98/30.07	o 23553004933
29.98/30.10	c 27.1789 82.2031 4920 582382
30.08/30.10	o 23553004931
30.18/30.21	c 27.2739 82.2031 4943 582940
30.18/30.21	o 23553004917
30.18/30.24	c 27.2988 82.2031 4944 583460
30.18/30.24	o 23553004914
30.69/30.70	c 27.7258 82.2031 4983 583680
30.69/30.70	o 23553004913
31.19/31.28	c 28.2677 82.2031 5040 584387
31.19/31.28	o 23553004908
31.48/31.59	c 28.5477 82.2031 5089 585086
31.48/31.59	o 23550763930
31.59/31.62	c 28.5757 82.332 5093 585608
31.59/31.62	o 23550763926
31.89/31.93	c 28.8546 82.332 5207 586025
31.89/31.93	o 23550763925
31.89/31.96	c 28.8776 82.332 5207 586517
31.89/31.96	o 23550763916
31.89/31.99	c 28.9016 82.332 5207 586648
31.89/31.99	o 23550763915
31.99/32.02	c 28.9296 82.332 5212 586791
31.99/32.02	o 23550763914
32.08/32.20	c 29.0976 82.332 5237 586982
32.08/32.20	o 23550763913
32.69/32.72	c 29.5665 82.332 5302 587601
32.69/32.72	o 23548522920
32.69/32.75	c 29.5965 82.332 5306 588116
32.69/32.75	o 23548522891
32.99/33.06	c 29.8785 82.4609 5354 588697
32.99/33.06	o 23546281916
33.09/33.14	c 29.9524 82.4609 5374 589301
33.09/33.14	o 23546281896
33.38/33.44	c 30.2134 82.4609 5477 590023
33.38/33.44	o 23546281893
33.48/33.52	c 30.2914 82.4609 5496 590233
33.48/33.52	o 23546281892
33.99/34.02	c 30.7523 82.4609 5571 590525
33.99/34.02	o 23546281891
34.49/34.58	c 31.2722 82.4609 5625 591083
34.49/34.58	o 23544040902
34.58/34.61	c 31.2962 82.5898 5625 591219
34.58/34.61	o 23544040901
34.58/34.64	c 31.3202 82.5898 5626 591723
34.58/34.64	o 23544040896
35.48/35.58	c 32.2031 82.5898 5791 592541
35.48/35.58	o 23544040893
35.59/35.68	c 32.2961 82.5898 5797 592963
35.59/35.68	o 23544040892
35.69/35.75	c 32.3581 82.5898 5822 593149
35.69/35.75	o 23544040891
35.69/35.78	c 32.3801 82.5898 5822 593316
35.69/35.78	o 23544040890
35.78/35.80	c 32.4021 82.5898 5822 593450
35.78/35.80	o 23544040889
35.78/35.83	c 32.4271 82.5898 5823 593943
35.78/35.83	o 23544040887
36.29/36.34	c 32.897 82.5898 5875 594497
36.29/36.34	o 23544040885
36.88/36.98	c 33.5029 82.7188 5928 595115
36.88/36.98	o 23544040879
37.39/37.46	c 33.9498 82.7188 5983 595666
37.39/37.46	o 23541799892
37.48/37.51	c 33.9908 82.7188 6011 596201
37.48/37.51	o 23541799882
37.99/38.04	c 34.4858 82.7188 6065 596777
37.99/38.04	o 23539558892
37.99/38.07	c 34.5138 82.7188 6071 597266
37.99/38.07	o 23539558884
38.08/38.13	c 34.5597 82.7188 6083 597782
38.08/38.13	o 23539558878
38.29/38.34	c 34.7517 82.7188 6123 598371
38.29/38.34	o 23539558871
38.49/38.54	c 34.9407 82.7188 6161 598606
38.49/38.54	o 23539558870
38.98/39.06	c 35.4356 82.7188 6220 599213
38.98/39.06	o 23537317881
38.98/39.09	c 35.4616 82.7188 6220 599700
38.98/39.09	o 23537317876
39.08/39.12	c 35.4866 82.7188 6222 600181
39.08/39.12	o 23537317873
39.08/39.14	c 35.5116 82.7188 6224 600345
39.08/39.14	o 23537317872
39.28/39.30	c 35.6596 82.7188 6269 600984
39.28/39.30	o 23537317864
39.38/39.42	c 35.7746 82.7188 6279 601470
39.38/39.42	o 23537317858
39.88/39.92	c 36.2335 82.8477 6333 602017
39.88/39.92	o 23535076869
39.88/39.95	c 36.2595 82.8477 6344 602519
39.88/39.95	o 23535076841
40.48/40.52	c 36.7904 82.8477 6413 603179
40.48/40.52	o 23532835860
40.48/40.57	c 36.8244 82.8477 6425 603691
40.48/40.57	o 23532835837
40.98/41.04	c 37.2663 82.8477 6481 604302
40.98/41.04	o 23530594851
40.98/41.07	c 37.2963 82.8477 4823 604468
40.98/41.07	o 23530594850
41.08/41.12	c 37.3403 82.8477 4838 604628
41.08/41.12	o 23530594849
41.08/41.15	c 37.3643 82.8477 4839 604752
41.08/41.15	o 23530594848
41.08/41.18	c 37.3873 82.8477 4842 604866
41.08/41.18	o 23530594847
41.19/41.27	c 37.4583 82.8477 4857 605469
41.19/41.27	o 23530594823
41.59/41.70	c 37.8602 82.8477 4909 606022
41.59/41.70	o 23528353840
41.69/41.72	c 37.8822 82.8477 4909 607043
41.69/41.72	o 20453689397
41.69/41.75	c 37.9092 82.8477 4910 608038
41.69/41.75	o 20453689396
41.69/41.78	c 37.9322 82.8477 4911 608986
41.69/41.78	o 20451448387
41.79/41.81	c 37.9552 82.8477 4912 609654
41.79/41.81	o 20449207378
41.79/41.83	c 37.9812 82.8477 4912 610273
41.79/41.83	o 20446966369
41.79/41.86	c 38.0062 82.8477 4913 611311
41.79/41.86	o 20442484351
41.79/41.89	c 38.0292 82.8477 4913 611916
41.79/41.89	o 20440243342
41.88/41.92	c 38.0522 82.8477 4913 612507
41.88/41.92	o 20438002333
41.88/41.94	c 38.0792 82.8477 4914 613542
41.88/41.94	o 20431279307
41.88/41.97	c 38.1062 82.8477 4915 614576
41.88/41.97	o 20359567053
41.98/42.00	c 38.1272 82.8477 4917 615568
41.98/42.00	o 20359567045
41.98/42.03	c 38.1512 82.8477 4917 616515
41.98/42.03	o 20357326036
41.98/42.05	c 38.1742 82.8477 4917 617479
41.98/42.05	o 20355085027
41.98/42.08	c 38.1982 82.8477 4917 618117
41.98/42.08	o 20352844018
42.08/42.11	c 38.2232 82.8477 4917 619089
42.08/42.11	o 20350603009
42.08/42.13	c 38.2482 82.8477 4918 619990
42.08/42.13	o 20348362000
42.08/42.16	c 38.2742 82.8477 4918 620677
42.08/42.16	o 20346120991
42.08/42.19	c 38.2992 82.8477 4918 621631
42.08/42.19	o 20343879982
42.18/42.22	c 38.3272 82.8477 3022 622265
42.18/42.22	o 20341638973
42.18/42.24	c 38.3512 82.8477 3023 622879
42.18/42.24	o 20339397972
42.18/42.27	c 38.3742 82.8477 3023 623908
42.18/42.27	o 20328192931
42.29/42.30	c 38.4012 82.8477 3023 624894
42.29/42.30	o 20325951922
42.29/42.33	c 38.4262 82.8477 3023 625864
42.29/42.33	o 20323710913
42.29/42.35	c 38.4512 82.8477 3023 626825
42.29/42.35	o 20321469904
42.29/42.38	c 38.4761 82.8477 3023 627769
42.29/42.38	o 20319228895
42.39/42.41	c 38.5011 82.8477 3023 628726
42.39/42.41	o 20316987886
42.39/42.43	c 38.5251 82.8477 3023 629630
42.39/42.43	o 20314746877
42.39/42.46	c 38.5491 82.8477 3023 630451
42.39/42.46	o 20312505868
42.39/42.49	c 38.5751 82.8477 3023 631354
42.39/42.49	o 20310264859
42.48/42.52	c 38.5991 82.8477 3023 632103
42.48/42.52	o 20308023851
42.48/42.54	c 38.6251 82.8477 3023 632517
42.48/42.54	o 20308023850
42.48/42.57	c 38.6451 82.8477 3023 633317
42.48/42.57	o 20305782841
42.48/42.60	c 38.6681 82.8477 3023 633914
42.48/42.60	o 20303541832
42.59/42.62	c 38.6941 82.8477 3023 634499
42.59/42.62	o 20301300823
42.59/42.65	c 38.7201 82.8477 3023 635103
42.59/42.65	o 20299059814
42.59/42.68	c 38.7451 82.8477 3023 635680
42.59/42.68	o 20296818805
42.68/42.70	c 38.7731 82.8477 3024 635916
42.68/42.70	o 20296818804
42.68/42.75	c 38.8151 82.8477 3027 636444
42.68/42.75	o 20296818794
42.68/42.78	c 38.8391 82.8477 3027 637492
42.68/42.78	o 20281131768
42.79/42.81	c 38.8651 82.8477 3028 638261
42.79/42.81	o 20278890775
42.79/42.83	c 38.8901 82.8477 3028 638957
42.79/42.83	o 20276649766
42.79/42.86	c 38.9151 82.8477 3028 639654
42.79/42.86	o 20274408757
42.79/42.89	c 38.9411 82.8477 3028 640296
42.79/42.89	o 20272167748
42.89/42.91	c 38.9631 82.8477 3028 641206
42.89/42.91	o 20269926739
42.89/42.96	c 38.9981 82.8477 3031 641786
42.89/42.96	o 20267685732
42.98/43.01	c 39.0411 82.8477 3040 642353
42.98/43.01	o 20267685718
42.98/43.04	c 39.0741 82.8477 3043 642897
42.98/43.04	o 20267685708
42.98/43.07	c 39.0991 82.8477 3044 643914
42.98/43.07	o 20225106578
42.98/43.09	c 39.1201 82.8477 3044 644595
42.98/43.09	o 20225106572
43.08/43.12	c 39.1371 82.8477 3044 645426
43.08/43.12	o 20222865563
43.08/43.14	c 39.157 82.8477 3046 646004
43.08/43.14	o 20220624560
43.08/43.17	c 39.192 82.8477 3050 646559
43.08/43.17	o 20220624518
43.19/43.25	c 39.258 82.8477 3058 647108
43.19/43.25	o 20218383534
43.19/43.27	c 39.278 82.8477 3059 647618
43.19/43.27	o 20218383531
43.28/43.34	c 39.338 82.8477 3080 647805
43.28/43.34	o 20218383530
43.28/43.36	c 39.358 82.8477 3085 648305
43.28/43.36	o 20218383505
43.78/43.86	c 39.8209 82.8477 3138 648876
43.78/43.86	o 20216142503
43.99/44.09	c 40.0339 82.8477 1595 649388
43.99/44.09	o 20213901522
44.08/44.12	c 40.0539 82.8477 1598 649886
44.08/44.12	o 20213901513
44.48/44.53	c 40.4379 82.8477 1666 650202
44.48/44.53	o 20213901512
44.48/44.55	c 40.4568 82.8477 1669 650364
44.48/44.55	o 20213901511
44.48/44.59	c 40.4978 82.8477 1676 650521
44.48/44.59	o 20213901510
44.58/44.70	c 40.5898 82.8477 1686 651064
44.58/44.70	o 20213901507
44.99/45.07	c 40.9458 82.8477 1727 651628
44.99/45.07	o 20213901504
44.99/45.10	c 40.9718 82.8477 1737 652136
44.99/45.10	o 20213901501
45.38/45.43	c 41.2787 82.8477 1778 652681
45.38/45.43	o 20211660517
45.38/45.46	c 41.3027 82.8477 1790 653212
45.38/45.46	o 20211660484
45.68/45.70	c 41.5207 82.8477 1819 653757
45.68/45.70	o 20209419492
45.68/45.73	c 41.5437 82.8477 1823 654281
45.68/45.73	o 20209419477
45.68/45.77	c 41.5837 82.8477 1837 654508
45.68/45.77	o 20209419476
46.08/46.12	c 41.9186 82.8477 1871 655061
46.08/46.12	o 20207178500
46.08/46.15	c 41.9416 82.8477 1859 655572
46.08/46.15	o 20207178488
46.38/46.45	c 42.2176 82.8477 1964 655958
46.38/46.45	o 20207178487
46.38/46.47	c 42.2356 82.8477 1964 656457
46.38/46.47	o 20207178483
46.48/46.51	c 42.2686 82.8477 1973 656602
46.48/46.51	o 20207178482
46.58/46.61	c 42.3566 82.8477 1991 657138
46.58/46.61	o 20207178478
46.88/46.99	c 42.7175 82.8477 2032 657669
46.88/46.99	o 20204937491
46.98/47.02	c 42.7455 82.8477 2033 658164
46.98/47.02	o 20204937472
46.98/47.05	c 42.7695 82.8477 2034 658653
46.98/47.05	o 20204937467
47.38/47.45	c 43.1404 82.8477 2078 659209
47.38/47.45	o 20202696481
47.38/47.49	c 43.1754 82.8477 2090 659418
47.38/47.49	o 20202696480
47.48/47.51	c 43.1974 82.8477 2091 659925
47.48/47.51	o 20202696466
47.48/47.57	c 43.2504 82.8477 2116 660139
47.48/47.57	o 20202696465
48.08/48.19	c 43.8353 82.8477 2186 660732
48.08/48.19	o 20200455477
48.18/48.22	c 43.8623 82.8477 2199 661247
48.18/48.22	o 20200455458
48.68/48.71	c 44.3203 82.8477 2247 661894
48.68/48.71	o 20200455454
48.68/48.79	c 44.3963 82.8477 2274 662722
48.68/48.79	o 20200455449
49.38/49.44	c 44.9782 82.8477 2350 663045
49.38/49.44	o 20200455448
49.68/49.75	c 45.2651 82.8477 2394 663583
49.68/49.75	o 20198214461
49.78/49.89	c 45.4021 82.8477 2447 663823
49.78/49.89	o 20198214460
49.98/50.04	c 45.5361 82.8477 2499 664059
49.98/50.04	o 20198214459
50.49/50.58	c 46.039 82.8477 2604 664438
50.49/50.58	o 20198214458
50.59/50.62	c 46.072 82.8477 2613 664593
50.59/50.62	o 20198214457
50.59/50.64	c 46.093 82.8477 2415 665072
50.59/50.64	o 20198214448
50.78/50.83	c 46.264 82.8477 2462 665656
50.78/50.83	o 20198214444
51.18/51.27	c 46.6729 82.8477 2528 666252
51.18/51.27	o 20195973459
51.28/51.31	c 46.7069 82.8477 2543 666763
51.28/51.31	o 20195973440
51.68/51.78	c 47.1458 82.8477 2592 667324
51.68/51.78	o 20193732448
51.78/51.81	c 47.1668 82.8477 2592 667797
51.78/51.81	o 20193732433
51.78/51.83	c 47.1898 82.8477 2539 668285
51.78/51.83	o 20193732430
52.18/52.27	c 47.5968 82.8477 2584 668493
52.18/52.27	o 20193732429
52.28/52.39	c 47.7047 82.8477 2597 668666
52.28/52.39	o 20193732428
53.78/53.88	c 49.0975 82.8477 2771 669441
53.78/53.89	o 20191491442
53.89/53.91	c 49.1175 82.8477 2775 669925
53.89/53.91	o 20191491434
53.89/53.94	c 49.1455 82.8477 2757 670432
53.89/53.94	o 20191491431
54.28/54.38	c 49.5595 82.8477 2891 670862
54.28/54.38	o 20191491430
54.58/54.68	c 49.8444 82.8477 2925 671403
54.58/54.68	o 20191491423
54.67/54.77	c 49.9254 82.8477 2939 671908
54.67/54.77	o 20191491421
55.07/55.17	c 50.2994 82.8477 2983 672423
55.07/55.17	o 20189250430
55.07/55.19	c 50.3173 82.8477 2986 672909
55.07/55.19	o 20189250413
55.37/55.41	c 50.5123 82.8477 3069 673171
55.37/55.41	o 20189250412
55.99/56.08	c 51.1392 82.8477 3140 673774
55.99/56.08	o 20189250409
56.38/56.49	c 51.5182 82.8477 3192 674342
56.38/56.49	o 20187009421
56.48/56.57	c 51.5862 82.8477 3191 674528
56.48/56.57	o 20187009420
56.57/56.64	c 51.6471 82.8477 3215 674684
56.57/56.64	o 20187009419
56.57/56.66	c 51.6671 82.8477 3215 674803
56.57/56.66	o 20187009418
56.67/56.72	c 51.7221 82.8477 3240 674964
56.67/56.72	o 20187009417
56.67/56.75	c 51.7471 82.8477 3244 675095
56.67/56.75	o 20187009416
56.78/56.80	c 51.7931 82.8477 3256 675600
56.78/56.80	o 20187009405
57.28/57.39	c 52.345 82.8477 3318 676181
57.28/57.39	o 20184768416
57.37/57.42	c 52.366 82.8477 2432 676620
57.37/57.42	o 20184768411
57.58/57.62	c 52.555 82.8477 2518 676906
57.58/57.62	o 20184768410
57.98/58.04	c 52.939 82.8477 2169 677314
57.98/58.04	o 20184768409
58.68/58.70	c 53.5399 82.8477 2087 677806
58.68/58.70	o 20184768408
58.68/58.73	c 53.5649 82.8477 2090 678287
58.68/58.73	o 20184768406
58.88/58.95	c 53.7768 82.8477 2135 678854
58.88/58.95	o 20184768402
58.88/58.97	c 53.7978 82.8477 1379 679332
58.88/58.97	o 20184768400
58.97/59.00	c 53.8248 82.8477 1384 679474
58.97/59.00	o 20184768399
59.08/59.12	c 53.9288 82.8477 1396 679973
59.08/59.12	o 20184768397
59.08/59.15	c 53.9618 82.8477 1409 680120
59.08/59.15	o 20184768396
59.08/59.18	c 53.9848 82.8477 1411 680594
59.08/59.18	o 20182527403
59.18/59.21	c 54.0098 82.8477 1418 680716
59.18/59.21	o 20182527402
59.18/59.25	c 54.0518 82.8477 109 680754
59.18/59.25	s OPTIMUM FOUND
59.18/59.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

Verifier Data 

OK	20182527402

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2684227-1277514735/watcher-2684227-1277514735 -o /tmp/evaluation-result-2684227-1277514735/solver-2684227-1277514735 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2684227-1277514735.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.33 1.52 1.43 2/107 27467
/proc/meminfo: memFree=1821076/2059040 swapFree=4138980/4192956
[pid=27467] ppid=27465 vsize=2416 CPUtime=0
/proc/27467/stat : 27467 (pbct) R 27465 27467 25348 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 125129221 2473984 217 1992294400 134512640 136421960 4290732240 18446744073709551615 134546896 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27467/statm: 604 217 139 467 0 135 0

[startup+0.048491 s]
/proc/loadavg: 1.33 1.52 1.43 2/107 27467
/proc/meminfo: memFree=1821076/2059040 swapFree=4138980/4192956
[pid=27467] ppid=27465 vsize=2416 CPUtime=0.04
/proc/27467/stat : 27467 (pbct) R 27465 27467 25348 0 -1 4202496 325 0 0 0 4 0 0 0 20 0 1 0 125129221 2473984 245 1992294400 134512640 136421960 4290732240 18446744073709551615 135818454 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27467/statm: 604 245 146 467 0 135 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2416

[startup+0.101496 s]
/proc/loadavg: 1.33 1.52 1.43 2/107 27467
/proc/meminfo: memFree=1821076/2059040 swapFree=4138980/4192956
[pid=27467] ppid=27465 vsize=2552 CPUtime=0.1
/proc/27467/stat : 27467 (pbct) R 27465 27467 25348 0 -1 4202496 366 0 0 0 10 0 0 0 20 0 1 0 125129221 2613248 286 1992294400 134512640 136421960 4290732240 18446744073709551615 135377224 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27467/statm: 638 286 146 467 0 169 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2552

[startup+0.301513 s]
/proc/loadavg: 1.33 1.52 1.43 2/107 27467
/proc/meminfo: memFree=1821076/2059040 swapFree=4138980/4192956
[pid=27467] ppid=27465 vsize=3392 CPUtime=0.29
/proc/27467/stat : 27467 (pbct) R 27465 27467 25348 0 -1 4202496 565 0 0 0 29 0 0 0 20 0 1 0 125129221 3473408 485 1992294400 134512640 136421960 4290732240 18446744073709551615 134531154 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27467/statm: 848 485 146 467 0 379 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3392

[startup+0.70155 s]
/proc/loadavg: 1.33 1.52 1.43 2/107 27467
/proc/meminfo: memFree=1821076/2059040 swapFree=4138980/4192956
[pid=27467] ppid=27465 vsize=34316 CPUtime=0.69
/proc/27467/stat : 27467 (pbct) R 27465 27467 25348 0 -1 4202496 8537 0 0 0 66 3 0 0 21 0 1 0 125129221 35139584 7972 1992294400 134512640 136421960 4290732240 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27467/statm: 8579 7973 195 467 0 8110 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34316

[startup+1.50162 s]
/proc/loadavg: 1.33 1.52 1.43 2/108 27468
/proc/meminfo: memFree=1748280/2059040 swapFree=4138980/4192956
[pid=27467] ppid=27465 vsize=81664 CPUtime=1.49
/proc/27467/stat : 27467 (pbct) R 27465 27467 25348 0 -1 4202496 21122 0 0 0 137 12 0 0 23 0 1 0 125129221 83623936 19040 1992294400 134512640 136421960 4290732240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27467/statm: 20416 19040 239 467 0 19947 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81664

[startup+3.10077 s]
/proc/loadavg: 1.33 1.52 1.43 2/108 27468
/proc/meminfo: memFree=1744684/2059040 swapFree=4138980/4192956
[pid=27467] ppid=27465 vsize=81664 CPUtime=3.09
/proc/27467/stat : 27467 (pbct) R 27465 27467 25348 0 -1 4202496 21163 0 0 0 277 32 0 0 25 0 1 0 125129221 83623936 19062 1992294400 134512640 136421960 4290732240 18446744073709551615 135241899 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27467/statm: 20416 19062 239 467 0 19947 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81664

[startup+6.30105 s]
/proc/loadavg: 1.30 1.51 1.43 2/108 27468
/proc/meminfo: memFree=1744684/2059040 swapFree=4138980/4192956
[pid=27467] ppid=27465 vsize=82060 CPUtime=6.29
/proc/27467/stat : 27467 (pbct) R 27465 27467 25348 0 -1 4202496 21318 0 0 0 560 69 0 0 25 0 1 0 125129221 84029440 19140 1992294400 134512640 136421960 4290732240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27467/statm: 20515 19140 239 467 0 20046 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82060

[startup+12.7006 s]
/proc/loadavg: 1.28 1.50 1.43 2/108 27468
/proc/meminfo: memFree=1744064/2059040 swapFree=4138980/4192956
[pid=27467] ppid=27465 vsize=82720 CPUtime=12.69
/proc/27467/stat : 27467 (pbct) R 27465 27467 25348 0 -1 4202496 21641 0 0 0 1137 132 0 0 25 0 1 0 125129221 84705280 19318 1992294400 134512640 136421960 4290732240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27467/statm: 20680 19318 239 467 0 20211 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 82720

[startup+25.5018 s]
/proc/loadavg: 1.22 1.48 1.42 2/108 27470
/proc/meminfo: memFree=1742824/2059040 swapFree=4138980/4192956
[pid=27467] ppid=27465 vsize=83776 CPUtime=25.48
/proc/27467/stat : 27467 (pbct) R 27465 27467 25348 0 -1 4202496 22086 0 0 0 2300 248 0 0 25 0 1 0 125129221 85786624 19606 1992294400 134512640 136421960 4290732240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27467/statm: 20944 19606 239 467 0 20475 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83776

[startup+51.1011 s]
/proc/loadavg: 1.14 1.44 1.41 2/108 27470
/proc/meminfo: memFree=1741708/2059040 swapFree=4138980/4192956
[pid=27467] ppid=27465 vsize=84832 CPUtime=51.08
/proc/27467/stat : 27467 (pbct) R 27465 27467 25348 0 -1 4202496 22530 0 0 0 4651 457 0 0 25 0 1 0 125129221 86867968 19872 1992294400 134512640 136421960 4290732240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27467/statm: 21208 19872 239 467 0 20739 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84832

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

[startup+54.3004 s]
/proc/loadavg: 1.13 1.43 1.40 2/108 27470
/proc/meminfo: memFree=1741708/2059040 swapFree=4138980/4192956
[pid=27467] ppid=27465 vsize=84832 CPUtime=54.28
/proc/27467/stat : 27467 (pbct) R 27465 27467 25348 0 -1 4202496 22540 0 0 0 4948 480 0 0 25 0 1 0 125129221 86867968 19872 1992294400 134512640 136421960 4290732240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27467/statm: 21208 19872 239 467 0 20739 0
Current children cumulated CPU time (s) 54.28
Current children cumulated vsize (KiB) 84832

[startup+57.5007 s]
/proc/loadavg: 1.13 1.43 1.40 2/108 27470
/proc/meminfo: memFree=1741708/2059040 swapFree=4138980/4192956
[pid=27467] ppid=27465 vsize=84832 CPUtime=57.48
/proc/27467/stat : 27467 (pbct) R 27465 27467 25348 0 -1 4202496 22556 0 0 0 5244 504 0 0 25 0 1 0 125129221 86867968 19872 1992294400 134512640 136421960 4290732240 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27467/statm: 21208 19872 239 467 0 20739 0
Current children cumulated CPU time (s) 57.48
Current children cumulated vsize (KiB) 84832

[startup+58.3087 s]
/proc/loadavg: 1.13 1.43 1.40 2/108 27470
/proc/meminfo: memFree=1741708/2059040 swapFree=4138980/4192956
[pid=27467] ppid=27465 vsize=84832 CPUtime=58.29
/proc/27467/stat : 27467 (pbct) R 27465 27467 25348 0 -1 4202496 22558 0 0 0 5318 511 0 0 25 0 1 0 125129221 86867968 19872 1992294400 134512640 136421960 4290732240 18446744073709551615 135818229 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27467/statm: 21208 19872 239 467 0 20739 0
Current children cumulated CPU time (s) 58.29
Current children cumulated vsize (KiB) 84832

[startup+59.1008 s]
/proc/loadavg: 1.13 1.43 1.40 2/108 27470
/proc/meminfo: memFree=1741708/2059040 swapFree=4138980/4192956
[pid=27467] ppid=27465 vsize=84832 CPUtime=59.08
/proc/27467/stat : 27467 (pbct) R 27465 27467 25348 0 -1 4202496 22564 0 0 0 5391 517 0 0 25 0 1 0 125129221 86867968 19873 1992294400 134512640 136421960 4290732240 18446744073709551615 135820855 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27467/statm: 21208 19873 239 467 0 20739 0
Current children cumulated CPU time (s) 59.08
Current children cumulated vsize (KiB) 84832

[startup+59.5008 s]
/proc/loadavg: 1.12 1.42 1.40 2/108 27470
/proc/meminfo: memFree=1742080/2059040 swapFree=4138980/4192956
[pid=27467] ppid=27465 vsize=79012 CPUtime=59.48
/proc/27467/stat : 27467 (pbct) R 27465 27467 25348 0 -1 4202496 22572 0 0 0 5429 519 0 0 25 0 1 0 125129221 80908288 18828 1992294400 134512640 136421960 4290732240 18446744073709551615 134701435 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27467/statm: 19753 18828 242 467 0 19284 0
Current children cumulated CPU time (s) 59.48
Current children cumulated vsize (KiB) 79012

[startup+59.6008 s]
/proc/loadavg: 1.12 1.42 1.40 2/108 27470
/proc/meminfo: memFree=1742080/2059040 swapFree=4138980/4192956
[pid=27467] ppid=27465 vsize=73608 CPUtime=59.58
/proc/27467/stat : 27467 (pbct) R 27465 27467 25348 0 -1 4202496 22572 0 0 0 5439 519 0 0 25 0 1 0 125129221 75374592 18047 1992294400 134512640 136421960 4290732240 18446744073709551615 135801172 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/27467/statm: 18402 18047 242 467 0 17933 0
Current children cumulated CPU time (s) 59.58
Current children cumulated vsize (KiB) 73608

Child status: 0
Real time (s): 59.6331
CPU time (s): 59.6199
CPU user time (s): 54.4157
CPU system time (s): 5.20421
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 84832

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

runsolver used 0.109983 second user time and 0.317951 second system time

The end

Launcher Data 

Begin job on node025 at 2010-06-26 03:12:15
IDJOB=2684227
IDBENCH=72300
IDSOLVER=1192
FILE ID=node025/2684227-1277514735
PBS_JOBID= 11190603
Free space on /tmp= 62308 MiB

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

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

MD5SUM BENCH= 2a003c66fa741dfb4de1327964502c2e
RANDOM SEED=1363185867

node025.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.242
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.48
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.242
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1821472 kB
Buffers:         27824 kB
Cached:         112924 kB
SwapCached:       6400 kB
Active:          71028 kB
Inactive:        83084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1821472 kB
SwapTotal:     4192956 kB
SwapFree:      4138980 kB
Dirty:            2672 kB
Writeback:           0 kB
AnonPages:       11892 kB
Mapped:          11864 kB
Slab:            61324 kB
PageTables:       4284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184224 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= 62304 MiB
End job on node025 at 2010-06-26 03:13:15