Trace number 2684189

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB/CT 0.1Wrong Opt.25345912723 113.726 113.76

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-randb54299.cudf.trendy.opb
MD5SUMa28eb4bd9bb6fe4f9f9bc58539a199f7
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25345912719
Best CPU time to get the best result obtained on this benchmark6.01908
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6550
Total number of constraints27373
Number of constraints which are clauses27102
Number of constraints which are cardinality constraints (but not clauses)271
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 3066
Biggest coefficient in the objective function 3616805375
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 1996471855532
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 3616805375
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 1996471855532
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 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.29/0.34	c constraints 271/0 clauses 26420/0 units 537
0.29/0.34	c vars 6550
0.29/0.35	c objective 2731 + 0
1.79/1.84	c 1.68174 87.6445 436 103668
1.79/1.84	o 835901450000
1.89/1.92	c 1.74473 89.4844 462 108335
1.89/1.92	o 835861394174
1.89/1.95	c 1.77573 89.4844 471 110339
1.89/1.95	o 835859037959
1.99/2.00	c 1.82072 89.4844 497 113833
1.99/2.00	o 832272863534
2.49/2.54	c 2.29165 89.4844 673 150530
2.49/2.54	o 676745519939
2.99/3.07	c 2.75058 89.4844 849 186945
2.99/3.07	o 470655944078
3.09/3.17	c 2.83857 89.4844 869 193646
3.09/3.17	o 445317100437
3.20/3.20	c 2.86856 89.4844 871 195323
3.20/3.20	o 445310031763
3.20/3.24	c 2.90456 89.4844 889 198784
3.20/3.24	o 445310031746
3.29/3.36	c 3.00754 89.4844 953 205424
3.29/3.36	o 387514188753
3.39/3.40	c 3.04054 89.4844 959 207573
3.39/3.40	o 333243258329
3.39/3.46	c 3.09453 89.4844 975 211573
3.39/3.46	o 278979396563
3.49/3.51	c 3.13652 89.4844 988 213454
3.49/3.51	o 278979396562
3.69/3.75	c 3.35149 89.4844 1081 229538
3.69/3.75	o 278863941560
3.69/3.78	c 3.37849 89.4844 1071 230780
3.69/3.78	o 278863941551
3.79/3.84	c 3.43448 89.4844 1095 235017
3.79/3.84	o 192117161964
3.79/3.88	c 3.46347 89.4844 1097 236626
3.79/3.88	o 188434382264
3.89/3.90	c 3.49047 89.4844 1101 237929
3.89/3.90	o 188432026061
3.89/3.94	c 3.52546 89.4844 1109 239504
3.89/3.94	o 188415532484
3.99/4.03	c 3.60045 89.6133 1135 245070
3.99/4.03	o 173877624262
3.99/4.06	c 3.62845 89.6133 1144 246979
3.99/4.06	o 173877624240
4.09/4.14	c 3.69944 89.6133 1155 251209
4.09/4.14	o 173877624230
4.09/4.18	c 3.73943 89.6133 1162 253624
4.09/4.18	o 108819895753
4.19/4.21	c 3.76843 89.6133 1166 255268
4.19/4.21	o 108815183311
4.19/4.25	c 3.79642 89.6133 1169 256723
4.19/4.25	o 108815183301
4.19/4.27	c 3.82242 89.6133 1170 257794
4.19/4.27	o 108815183297
4.29/4.31	c 3.85841 89.6133 1173 259180
4.29/4.31	o 108812827073
4.40/4.49	c 4.01339 89.6133 1242 267772
4.40/4.49	o 108732715459
4.49/4.55	c 4.07038 89.6133 1257 270430
4.49/4.55	o 108732715434
4.59/4.61	c 4.11937 89.6133 1249 271525
4.59/4.61	o 108730359215
4.59/4.66	c 4.16337 89.6133 1262 273808
4.59/4.66	o 108730359197
4.69/4.72	c 4.21936 89.6133 1270 275915
4.69/4.72	o 108730359182
4.69/4.75	c 4.24635 89.6133 1273 276774
4.69/4.75	o 108728002981
4.69/4.78	c 4.26935 89.6133 1273 278087
4.69/4.78	o 105139472313
4.79/4.80	c 4.29435 89.6133 1273 279426
4.79/4.80	o 94298481088
4.79/4.83	c 4.31834 89.6133 1273 280769
4.79/4.83	o 90688744389
4.79/4.86	c 4.34334 89.6133 1274 282133
4.79/4.86	o 87074295240
4.79/4.89	c 4.36934 89.6133 1276 283542
4.79/4.89	o 87060157888
4.89/4.92	c 4.39833 89.6133 1279 285051
4.89/4.92	o 87060157884
4.89/4.95	c 4.42133 89.6133 1279 286196
4.89/4.95	o 87060157864
4.89/4.97	c 4.44532 89.6133 1279 287404
4.89/4.97	o 87053089193
4.99/5.00	c 4.46832 89.6133 1279 288672
4.99/5.00	o 87050732965
4.99/5.03	c 4.49232 89.6133 1279 289560
4.99/5.03	o 87050732964
4.99/5.05	c 4.51631 89.6133 1279 290612
4.99/5.05	o 87048376739
4.99/5.08	c 4.54231 89.6133 1280 291599
4.99/5.08	o 87046020517
5.09/5.11	c 4.5693 89.6133 1280 292634
5.09/5.11	o 87046020514
5.09/5.14	c 4.6063 89.6133 1281 294279
5.09/5.15	o 87043664292
5.09/5.19	c 4.64029 89.6133 1282 295873
5.09/5.19	o 87043664289
5.19/5.22	c 4.67529 89.6133 1286 297421
5.19/5.22	o 87041308068
5.19/5.26	c 4.71528 89.6133 1287 299183
5.19/5.26	o 87038951848
5.19/5.29	c 4.73828 89.6133 1287 300227
5.19/5.29	o 87038951836
5.29/5.32	c 4.76527 89.6133 1289 301512
5.29/5.32	o 83469270965
5.29/5.34	c 4.78827 89.6133 1289 302593
5.29/5.34	o 83466914742
5.29/5.37	c 4.81127 89.7422 1290 303826
5.29/5.37	o 83419790243
5.40/5.40	c 4.83826 89.7422 1291 304727
5.40/5.40	o 83419790240
5.40/5.43	c 4.86426 89.7422 1291 306038
5.40/5.43	o 79802984875
5.40/5.45	c 4.88726 89.7422 1291 307369
5.40/5.45	o 76275716049
5.40/5.48	c 4.91525 89.7422 1292 308901
5.40/5.48	o 61742520253
5.50/5.51	c 4.94325 89.7422 1293 310342
5.50/5.51	o 58144564672
5.50/5.54	c 4.96624 89.7422 1294 311786
5.50/5.54	o 54544252873
5.50/5.57	c 4.98824 89.7422 1294 312669
5.50/5.57	o 54544252872
5.59/5.60	c 5.01524 89.7422 1295 313940
5.59/5.60	o 54537184198
5.59/5.63	c 5.03923 89.7422 1295 315156
5.59/5.63	o 54534827973
5.59/5.66	c 5.06623 89.7422 1296 316473
5.59/5.66	o 54534827969
5.59/5.68	c 5.09023 89.7422 1296 317790
5.59/5.68	o 50925091270
5.69/5.71	c 5.11422 89.7422 1296 319076
5.69/5.71	o 50918022597
5.69/5.74	c 5.13822 89.7422 1297 320249
5.69/5.74	o 50915666375
5.69/5.76	c 5.16322 89.7422 1298 321293
5.69/5.76	o 50915666370
5.69/5.79	c 5.18721 89.7422 1298 322617
5.69/5.79	o 47312998347
5.79/5.82	c 5.21321 89.7422 1298 323804
5.79/5.82	o 47310642123
5.79/5.85	c 5.2352 89.7422 1298 324922
5.79/5.85	o 47308285902
5.79/5.87	c 5.2602 89.7422 1299 326211
5.79/5.87	o 47294148548
5.89/5.90	c 5.2862 89.7422 1300 327558
5.89/5.90	o 47291792326
5.89/5.94	c 5.32119 89.7422 1308 329363
5.89/5.94	o 47287079872
5.89/5.97	c 5.35119 89.7422 1311 330472
5.89/5.97	o 47148062654
5.99/6.01	c 5.38118 89.7422 1319 331648
5.99/6.01	o 47145706436
5.99/6.03	c 5.40718 89.7422 1321 332664
5.99/6.03	o 47145706413
5.99/6.09	c 5.45717 89.7422 1327 333685
5.99/6.09	o 47145706412
6.09/6.14	c 5.50416 89.7422 1340 335119
6.09/6.14	o 47112719260
6.09/6.17	c 5.52916 89.7422 1341 335998
6.09/6.17	o 47112719254
6.19/6.20	c 5.55116 89.7422 1341 336877
6.19/6.20	o 47110363031
6.19/6.23	c 5.57315 89.7422 1341 337753
6.19/6.23	o 47110363028
6.19/6.25	c 5.59515 89.7422 1341 338456
6.19/6.25	o 47108006807
6.19/6.28	c 5.62115 89.7422 1341 339336
6.19/6.28	o 47108006801
6.29/6.30	c 5.64614 89.7422 1341 340017
6.29/6.30	o 47105650581
6.29/6.33	c 5.66714 89.7422 1341 340820
6.29/6.33	o 47105650575
6.29/6.36	c 5.69213 89.7422 1342 341519
6.29/6.36	o 47103294358
6.29/6.38	c 5.71813 89.7422 1344 341930
6.29/6.38	o 47103294357
6.39/6.41	c 5.74313 89.7422 1344 342946
6.39/6.41	o 47103294353
6.39/6.44	c 5.76612 89.7422 1345 344112
6.39/6.44	o 47103294347
6.39/6.47	c 5.78912 89.7422 1345 345056
6.39/6.47	o 47100938126
6.39/6.49	c 5.81712 89.8711 1345 346091
6.39/6.49	o 47093869450
6.50/6.52	c 5.84211 89.8711 1345 346957
6.50/6.52	o 47091513226
6.50/6.55	c 5.86611 89.8711 1345 347873
6.50/6.55	o 47089157007
6.50/6.57	c 5.8891 89.8711 1345 348765
6.50/6.57	o 47089157001
6.50/6.60	c 5.9121 89.8711 1345 349507
6.50/6.60	o 47089157000
6.60/6.63	c 5.9361 89.8711 1345 350398
6.60/6.63	o 47086800776
6.60/6.65	c 5.96109 89.8711 1345 351131
6.60/6.65	o 47086800775
6.60/6.68	c 5.98409 89.8711 1345 351783
6.60/6.68	o 47086800773
6.68/6.71	c 6.00909 89.8711 1345 352724
6.68/6.71	o 47084444550
6.68/6.73	c 6.03408 89.8711 1345 353572
6.68/6.73	o 47082088331
6.68/6.76	c 6.06008 89.8711 1347 354553
6.68/6.76	o 47082088325
6.68/6.79	c 6.08507 89.8711 1347 355398
6.68/6.79	o 47079732106
6.79/6.82	c 6.10807 89.8711 1348 356147
6.79/6.82	o 47077375884
6.79/6.84	c 6.13407 89.8711 1348 357019
6.79/6.84	o 47077375881
6.79/6.88	c 6.16606 89.8711 1350 357684
6.79/6.88	o 47075019656
7.09/7.17	c 6.43402 89.8711 1527 359050
7.09/7.17	o 47075019655
7.49/7.50	c 6.73797 90 1663 360181
7.49/7.50	o 47075019654
7.70/7.79	c 6.99894 90 1757 361731
7.70/7.79	o 43594875315
7.79/7.82	c 7.02293 90 1757 362676
7.79/7.82	o 43592519108
7.79/7.84	c 7.04893 90 1757 363706
7.79/7.84	o 43538325938
7.79/7.87	c 7.07492 90 1758 364455
7.79/7.87	o 43538325934
7.89/7.90	c 7.09792 90 1759 365428
7.89/7.90	o 43535969719
7.89/7.93	c 7.12092 90 1759 366335
7.89/7.93	o 43533613495
7.89/7.95	c 7.14491 90 1759 366730
7.89/7.95	o 43533613494
7.89/7.98	c 7.16791 90 1759 367120
7.89/7.98	o 43533613493
7.99/8.00	c 7.19091 90 1759 368153
7.99/8.00	o 43519476144
7.99/8.03	c 7.2149 90 1759 368438
7.99/8.03	o 43519476143
7.99/8.06	c 7.2409 90 1761 369005
7.99/8.06	o 43517119918
8.09/8.11	c 7.28589 90 1769 369731
8.09/8.11	o 43517119903
8.09/8.14	c 7.31289 90 1770 370824
8.09/8.14	o 43500626327
8.09/8.16	c 7.33688 90 1770 371477
8.09/8.16	o 43500626326
8.09/8.19	c 7.36188 90 1770 372443
8.09/8.19	o 43498270101
8.19/8.22	c 7.38588 90 1770 373400
8.19/8.22	o 43495913877
8.19/8.25	c 7.40987 90 1770 374300
8.19/8.25	o 43493557653
8.19/8.27	c 7.43087 90 1771 375230
8.19/8.27	o 43493557651
8.28/8.30	c 7.45187 90 1771 376100
8.28/8.30	o 43491201427
8.28/8.33	c 7.47486 90 1771 376815
8.28/8.33	o 43491201426
8.28/8.35	c 7.49886 90 1772 377720
8.28/8.35	o 43488845201
8.28/8.38	c 7.51986 90 1772 378636
8.28/8.38	o 43486488976
8.39/8.41	c 7.54585 90 1772 379479
8.39/8.41	o 43484132751
8.39/8.43	c 7.57185 90 1772 380332
8.39/8.43	o 43481776527
8.39/8.46	c 7.59685 90 1772 381075
8.39/8.46	o 43481776526
8.39/8.49	c 7.62084 90 1772 381927
8.39/8.49	o 43479420302
8.48/8.51	c 7.64284 90.1289 1772 382566
8.48/8.51	o 43479420301
8.48/8.54	c 7.66783 90.1289 1776 383131
8.48/8.54	o 43479420296
8.48/8.57	c 7.69383 90.1289 1776 384151
8.48/8.57	o 43469995421
8.48/8.59	c 7.71683 90.1289 1776 385070
8.48/8.59	o 43469995419
8.58/8.62	c 7.74082 90.1289 1776 385998
8.58/8.62	o 43467639194
8.58/8.65	c 7.76582 90.1289 1776 386894
8.58/8.65	o 43465282969
8.58/8.68	c 7.79382 90.1289 1777 387869
8.58/8.68	o 43462926745
8.69/8.71	c 7.82781 90.1289 1787 388081
8.69/8.71	o 43462926744
8.69/8.78	c 7.8908 90.1289 1805 388662
8.69/8.78	o 43462926733
8.80/8.82	c 7.92579 90.1289 1808 389178
8.80/8.82	o 43462926726
8.98/9.04	c 8.12676 90.1289 1939 390007
8.98/9.04	o 43462926725
8.98/9.08	c 8.16976 90.1289 1949 390257
8.98/9.08	o 43462926724
9.09/9.19	c 8.26374 90.1289 1973 390893
9.09/9.19	o 43462926721
9.19/9.26	c 8.33573 90.1289 1989 391478
9.19/9.26	o 43460570519
9.29/9.30	c 8.36673 90.1289 1993 391735
9.29/9.30	o 43460570518
9.29/9.34	c 8.39972 90.1289 1998 392234
9.29/9.34	o 43460570516
9.29/9.36	c 8.42372 90.1289 1999 392431
9.29/9.36	o 43460570515
9.48/9.56	c 8.60669 90.2578 2085 392847
9.48/9.56	o 43460570514
9.59/9.65	c 8.68868 90.2578 2126 393785
9.59/9.65	o 43460570508
9.59/9.68	c 8.71567 90.2578 2130 394324
9.59/9.68	o 43460570490
9.68/9.71	c 8.73967 90.2578 2134 394883
9.68/9.71	o 43458214285
9.80/9.84	c 8.85965 90.2578 2181 395528
9.80/9.84	o 43455858081
9.80/9.87	c 8.88265 90.2578 2181 395981
9.80/9.87	o 43455858072
9.80/9.89	c 8.90465 90.2578 2181 396156
9.80/9.89	o 43455858071
9.90/9.93	c 8.93264 90.2578 2183 396327
9.90/9.93	o 43455858070
9.90/9.96	c 8.95864 90.2578 2188 397391
9.90/9.96	o 40119443397
9.90/9.98	c 8.98263 90.2578 2189 398370
9.90/9.98	o 40119443391
9.99/10.01	c 9.00663 90.2578 2189 399339
9.99/10.01	o 40117087167
9.99/10.04	c 9.03263 90.2578 2190 400479
9.99/10.04	o 40114730941
9.99/10.07	c 9.05562 90.2578 2191 401510
9.99/10.07	o 40110018481
10.09/10.10	c 9.08362 90.2578 2196 402664
10.09/10.10	o 40091168679
10.09/10.12	c 9.10562 90.2578 2196 403625
10.09/10.12	o 40088812454
10.09/10.15	c 9.12561 90.2578 2196 404580
10.09/10.15	o 40086456230
10.09/10.18	c 9.15061 90.2578 2196 405629
10.09/10.18	o 40081743781
10.18/10.20	c 9.1756 90.2578 2196 406579
10.18/10.20	o 40081743779
10.18/10.23	c 9.1966 90.2578 2196 407611
10.18/10.23	o 40077031331
10.18/10.26	c 9.2186 90.2578 2196 408540
10.18/10.26	o 40077031329
10.18/10.28	c 9.2406 90.2578 2196 409401
10.18/10.28	o 40074675104
10.29/10.31	c 9.26559 90.2578 2196 410285
10.29/10.31	o 40072318881
10.29/10.34	c 9.28959 90.3867 2196 411228
10.29/10.34	o 40072318879
10.29/10.37	c 9.31458 90.3867 2196 412105
10.29/10.37	o 40069962655
10.29/10.39	c 9.34058 90.3867 2196 412853
10.29/10.39	o 40069962654
10.39/10.42	c 9.36458 90.3867 2196 413784
10.39/10.42	o 40067606429
10.39/10.45	c 9.39157 90.3867 2196 414483
10.39/10.45	o 40065250205
10.39/10.47	c 9.41557 90.3867 2197 415103
10.39/10.47	o 40065250204
10.49/10.50	c 9.44056 90.3867 2198 416077
10.49/10.50	o 40062893991
10.49/10.53	c 9.46456 90.3867 2198 417029
10.49/10.53	o 40060537766
10.49/10.56	c 9.49156 90.3867 2199 418025
10.49/10.56	o 40058181541
10.49/10.58	c 9.51555 90.3867 2199 418982
10.49/10.58	o 40058181539
10.59/10.61	c 9.53655 90.3867 2199 419924
10.59/10.61	o 40055825314
10.59/10.64	c 9.55955 90.3867 2199 420792
10.59/10.64	o 40053469090
10.59/10.67	c 9.58654 90.3867 2199 421484
10.59/10.67	o 40053469089
10.59/10.69	c 9.61054 90.3867 2199 422348
10.59/10.69	o 40051112864
10.69/10.72	c 9.63654 90.3867 2199 423325
10.69/10.72	o 40048756640
10.69/10.75	c 9.65953 90.3867 2199 424228
10.69/10.75	o 40046400416
10.69/10.77	c 9.68353 90.3867 2199 425100
10.69/10.77	o 40046400414
10.79/10.80	c 9.70552 90.3867 2199 425967
10.79/10.80	o 40044044189
10.79/10.83	c 9.72852 90.3867 2199 426820
10.79/10.83	o 40044044183
10.79/10.85	c 9.75152 90.5156 2199 427688
10.79/10.85	o 40041687965
10.79/10.88	c 9.77551 90.5156 2199 427983
10.79/10.88	o 40041687964
10.89/10.91	c 9.79951 90.5156 2199 428590
10.89/10.91	o 40039331739
10.89/10.93	c 9.82451 90.5156 2199 429146
10.89/10.93	o 40036975514
10.89/10.96	c 9.8495 90.5156 2199 429700
10.89/10.96	o 40034619289
10.89/10.99	c 9.8735 90.5156 2199 430407
10.89/10.99	o 40032263064
11.00/11.01	c 9.8985 90.5156 2199 431103
11.00/11.01	o 40029906839
11.00/11.04	c 9.92449 90.5156 2200 431676
11.00/11.04	o 40027550615
11.00/11.07	c 9.94749 90.5156 2200 432282
11.00/11.07	o 40025194392
11.00/11.09	c 9.97348 90.5156 2200 432884
11.00/11.09	o 40022838167
11.08/11.12	c 10.0005 90.5156 2201 433452
11.08/11.12	o 40020481943
11.08/11.19	c 10.0735 90.5156 2241 433826
11.08/11.19	o 40020481942
11.19/11.23	c 10.1075 90.5156 2244 435452
11.19/11.23	o 39930945461
11.19/11.26	c 10.1325 90.5156 2245 436408
11.19/11.26	o 39928589237
11.19/11.29	c 10.1605 90.5156 2249 437540
11.19/11.29	o 39909739445
11.28/11.32	c 10.1855 90.5156 2249 438544
11.28/11.32	o 39905026994
11.28/11.34	c 10.2114 90.5156 2249 439530
11.28/11.34	o 39902670763
11.28/11.37	c 10.2354 90.5156 2250 440379
11.28/11.37	o 39902670762
11.39/11.40	c 10.2574 90.5156 2250 441252
11.39/11.40	o 39902670756
11.39/11.42	c 10.2804 90.5156 2250 442124
11.39/11.42	o 39900314538
11.39/11.46	c 10.3114 90.5156 2250 442583
11.39/11.46	o 39900314537
11.39/11.48	c 10.3364 90.5156 2250 443292
11.39/11.48	o 39900314536
11.48/11.51	c 10.3634 90.5156 2252 444281
11.48/11.51	o 39897958314
11.48/11.54	c 10.3884 90.5156 2253 445248
11.48/11.54	o 39897958312
11.59/11.61	c 10.4484 90.5156 2274 446944
11.59/11.61	o 39862614935
11.59/11.64	c 10.4754 90.5156 2275 447199
11.59/11.64	o 39862614934
11.59/11.67	c 10.5064 90.5156 2277 447743
11.59/11.67	o 39860258711
11.69/11.70	c 10.5314 90.5156 2279 448277
11.69/11.70	o 39857902498
11.69/11.76	c 10.5884 90.6445 2295 448573
11.69/11.76	o 39857902497
11.79/11.84	c 10.6604 90.6445 2320 449214
11.79/11.84	o 39857902455
11.88/11.90	c 10.7114 90.6445 2333 449797
11.88/11.90	o 39855546264
11.88/11.99	c 10.7874 90.6445 2365 450890
11.88/11.99	o 39855546243
11.99/12.02	c 10.8204 90.6445 2373 451589
11.99/12.02	o 39853190035
11.99/12.05	c 10.8444 90.6445 2375 452093
11.99/12.05	o 39853190032
11.99/12.09	c 10.8813 90.6445 2378 453088
11.99/12.09	o 39841408912
12.28/12.35	c 11.1283 90.6445 2478 453589
12.28/12.35	o 39841408911
12.28/12.38	c 11.1543 90.6445 2479 454083
12.28/12.38	o 39841408905
12.78/12.81	c 11.5472 90.6445 2607 454842
12.78/12.81	o 39841408904
12.78/12.88	c 11.6142 90.6445 2635 455203
12.78/12.88	o 39841408903
13.20/13.25	c 11.9492 90.7734 2663 455707
13.20/13.25	o 39839052696
13.28/13.36	c 12.0452 90.7734 2691 456496
13.28/13.36	o 39839052689
13.28/13.39	c 12.0702 90.7734 2691 456990
13.28/13.39	o 39839052682
13.38/13.41	c 12.0942 90.7734 2691 457491
13.38/13.41	o 39839052677
13.78/13.85	c 12.5051 90.7734 2837 458341
13.78/13.85	o 39839052676
14.20/14.30	c 12.931 90.7734 2935 458747
14.20/14.30	o 39839052675
14.88/14.98	c 13.5659 90.9023 3087 459919
14.88/14.98	o 39836696473
15.19/15.21	c 13.7789 90.9023 3176 460839
15.19/15.21	o 39836696466
15.29/15.32	c 13.8819 90.9023 3256 461285
15.29/15.32	o 39836696465
15.39/15.40	c 13.9599 90.9023 3311 462085
15.39/15.40	o 39836696455
15.39/15.48	c 14.0279 90.9023 3360 462445
15.39/15.48	o 39836696454
15.69/15.72	c 14.2528 91.0312 3478 463977
15.69/15.72	o 36436663727
15.69/15.75	c 14.2788 91.0312 3479 465014
15.69/15.75	o 36391895469
15.69/15.79	c 14.3228 91.0312 3484 466551
15.69/15.79	o 36389539245
15.78/15.82	c 14.3478 91.0312 3484 467482
15.78/15.82	o 36387183022
15.78/15.85	c 14.3738 91.0312 3485 468535
15.78/15.85	o 36382470571
15.78/15.87	c 14.3978 91.0312 3485 469551
15.78/15.87	o 36368333219
15.88/15.90	c 14.4228 91.0312 3490 470181
15.88/15.90	o 36365976994
16.28/16.30	c 14.7967 91.0312 3551 470800
16.28/16.30	o 36363620796
16.28/16.33	c 14.8217 91.0312 3551 471826
16.28/16.33	o 36292934034
16.28/16.36	c 14.8507 91.0312 3554 472649
16.28/16.36	o 36292934033
16.40/16.43	c 14.9177 91.0312 3581 474861
16.40/16.44	o 36288221586
16.40/16.47	c 14.9497 91.0312 3584 475491
16.40/16.47	o 36288221579
16.40/16.50	c 14.9747 91.0312 3584 475776
16.40/16.50	o 36288221578
16.50/16.52	c 14.9987 91.0312 3585 476490
16.50/16.52	o 36285865362
16.50/16.55	c 15.0227 91.0312 3585 477036
16.50/16.55	o 36285865360
16.50/16.58	c 15.0507 91.0312 3586 477619
16.50/16.58	o 36285865353
16.59/16.61	c 15.0757 91.0312 3587 478187
16.59/16.61	o 36283509137
16.59/16.65	c 15.1137 91.0312 3592 478850
16.59/16.65	o 36281152918
16.59/16.69	c 15.1417 91.0312 3597 480098
16.59/16.69	o 36257590681
16.68/16.71	c 15.1637 91.0312 3597 481113
16.68/16.71	o 36241097106
16.68/16.74	c 15.1857 91.0312 3598 481692
16.68/16.74	o 36238740881
16.68/16.77	c 15.2117 91.0312 3599 482326
16.68/16.77	o 36236384656
16.78/16.80	c 15.2367 91.1602 3602 482812
16.78/16.80	o 36236384649
16.78/16.83	c 15.2617 91.1602 3605 483300
16.78/16.83	o 36236384640
16.98/17.03	c 15.4557 91.1602 3650 483938
16.98/17.03	o 36234028431
17.08/17.12	c 15.5316 91.1602 3718 484271
17.08/17.12	o 36234028430
17.49/17.53	c 15.9206 91.1602 3758 484775
17.49/17.53	o 36231672229
17.59/17.61	c 15.9916 91.1602 3789 485643
17.59/17.61	o 36231672198
17.59/17.64	c 16.0136 91.1602 3790 486157
17.59/17.64	o 36231672195
17.88/17.90	c 16.2505 91.1602 3815 486669
17.88/17.90	o 36229315988
17.88/17.95	c 16.2985 91.1602 3839 487364
17.88/17.95	o 36229315983
17.88/17.99	c 16.3295 91.1602 3841 487833
17.88/17.99	o 36229315982
17.98/18.02	c 16.3585 91.1602 3845 488037
17.98/18.02	o 36229315981
18.18/18.23	c 16.5515 91.2891 3981 489157
18.18/18.23	o 36229315979
18.78/18.84	c 17.1284 91.2891 4048 489711
18.78/18.84	o 36226959775
18.88/18.92	c 17.2004 91.2891 4077 490319
18.88/18.92	o 36226959758
18.88/18.97	c 17.2444 91.2891 4099 490915
18.88/18.97	o 36226959755
18.98/19.04	c 17.3074 91.2891 4122 491252
18.98/19.04	o 36226959754
18.98/19.07	c 17.3364 91.2891 4127 491819
18.98/19.07	o 36226959750
19.09/19.11	c 17.3764 91.2891 4135 492045
19.09/19.11	o 36226959749
19.09/19.19	c 17.4423 91.2891 4188 492349
19.09/19.19	o 36226959748
19.19/19.23	c 17.4773 91.2891 4190 493393
19.19/19.23	o 32843420594
19.19/19.25	c 17.5013 91.2891 4191 494290
19.19/19.25	o 32841064369
19.19/19.28	c 17.5253 91.2891 4191 495208
19.19/19.28	o 32838708144
19.29/19.31	c 17.5493 91.2891 4191 495769
19.29/19.31	o 32836351920
19.29/19.33	c 17.5743 91.2891 4191 496799
19.29/19.33	o 32829283245
19.29/19.36	c 17.5993 91.2891 4191 497125
19.29/19.36	o 32829283244
19.29/19.39	c 17.6213 91.2891 4191 497704
19.29/19.39	o 32826927019
19.39/19.42	c 17.6483 91.2891 4193 498265
19.39/19.42	o 32824570794
19.39/19.44	c 17.6703 91.2891 4193 498862
19.39/19.44	o 32822214581
19.39/19.47	c 17.6983 91.2891 4194 499495
19.39/19.47	o 32819858356
19.49/19.50	c 17.7193 91.2891 4194 500476
19.49/19.50	o 32819858353
19.49/19.53	c 17.7453 91.2891 4196 501071
19.49/19.53	o 32817502132
19.58/19.60	c 17.8063 91.418 4215 502204
19.58/19.60	o 32798652350
19.58/19.62	c 17.8323 91.418 4215 502846
19.58/19.62	o 32798652339
19.58/19.65	c 17.8583 91.418 4215 503439
19.58/19.65	o 32796296114
19.58/19.68	c 17.8833 91.418 4215 504037
19.58/19.68	o 32793939889
19.69/19.70	c 17.9093 91.418 4215 504622
19.69/19.70	o 32791583664
19.69/19.73	c 17.9353 91.418 4216 505201
19.69/19.73	o 32789227439
19.69/19.76	c 17.9593 91.418 4216 505718
19.69/19.76	o 32789227436
19.69/19.78	c 17.9823 91.418 4216 505965
19.69/19.78	o 32789227435
19.80/19.81	c 18.0083 91.418 4220 506519
19.80/19.81	o 32789227428
19.80/19.84	c 18.0343 91.418 4220 507498
19.80/19.84	o 32673772473
19.80/19.87	c 18.0583 91.418 4220 507760
19.80/19.87	o 32673772472
19.80/19.90	c 18.0843 91.418 4222 508415
19.80/19.90	o 32671416248
19.88/19.92	c 18.1112 91.418 4222 509395
19.88/19.92	o 32659635114
19.88/19.95	c 18.1352 91.418 4222 509929
19.88/19.95	o 32657278890
19.88/19.98	c 18.1602 91.418 4222 510592
19.88/19.98	o 32657278889
19.98/20.00	c 18.1842 91.418 4222 511515
19.98/20.00	o 32654922665
19.98/20.03	c 18.2092 91.418 4222 512229
19.98/20.03	o 32654922664
19.98/20.06	c 18.2312 91.418 4223 513132
19.98/20.06	o 32652566440
19.98/20.08	c 18.2562 91.418 4223 514002
19.98/20.08	o 32650210216
20.08/20.11	c 18.2802 91.418 4224 514449
20.08/20.11	o 32650210215
20.08/20.14	c 18.3052 91.418 4224 515439
20.08/20.14	o 32643141546
20.08/20.17	c 18.3292 91.418 4225 516412
20.08/20.17	o 32638429096
20.08/20.19	c 18.3512 91.418 4225 517326
20.08/20.19	o 32638429093
20.19/20.22	c 18.3752 91.418 4225 518240
20.19/20.22	o 32636072870
20.19/20.25	c 18.4022 91.418 4163 519404
20.19/20.25	o 32633716650
20.19/20.28	c 18.4232 91.418 4163 520329
20.19/20.28	o 32633716645
20.28/20.31	c 18.4442 91.418 4163 521066
20.28/20.31	o 32633716644
20.28/20.33	c 18.4702 91.418 4163 521738
20.28/20.33	o 32633716643
20.28/20.37	c 18.4952 91.418 4165 522881
20.28/20.37	o 32610154396
20.28/20.39	c 18.5202 91.418 4166 523589
20.28/20.39	o 32610154395
20.39/20.43	c 18.5472 91.418 4170 524499
20.39/20.43	o 32607798172
20.39/20.46	c 18.5722 91.418 4170 524787
20.39/20.46	o 32607798171
20.39/20.48	c 18.5962 91.418 4170 525301
20.39/20.48	o 32605441952
20.48/20.52	c 18.6242 91.418 4171 526418
20.48/20.52	o 32605441946
20.48/20.54	c 18.6482 91.418 4171 527313
20.48/20.54	o 32603085731
20.48/20.57	c 18.6742 91.418 4171 528179
20.48/20.57	o 32603085727
20.58/20.60	c 18.6972 91.418 4171 528699
20.58/20.60	o 32600729506
20.58/20.62	c 18.7222 91.418 4171 529685
20.58/20.62	o 32596017052
20.58/20.65	c 18.7462 91.5469 4172 530197
20.58/20.65	o 32593660832
20.58/20.68	c 18.7771 91.5469 4179 530660
20.58/20.68	o 32593660822
20.69/20.71	c 18.8041 91.5469 4182 531113
20.69/20.71	o 32593660820
20.69/20.74	c 18.8321 91.5469 4188 531550
20.69/20.74	o 32593660814
20.69/20.77	c 18.8561 91.5469 4188 531721
20.69/20.77	o 32593660813
20.79/20.81	c 18.8871 91.5469 4195 531899
20.79/20.81	o 32593660812
20.79/20.90	c 18.9691 91.5469 4265 532240
20.79/20.90	o 32593660811
20.99/21.01	c 19.0701 91.5469 4308 532534
20.99/21.01	o 32593660810
21.09/21.18	c 19.2271 91.5469 4415 533282
21.09/21.18	o 32593660805
22.38/22.40	c 20.3579 91.6758 4577 534051
22.38/22.40	o 32591304598
22.38/22.46	c 20.4119 91.6758 4608 534631
22.38/22.46	o 32591304596
22.59/22.67	c 20.6129 91.6758 4713 535387
22.59/22.67	o 32591304591
22.89/22.92	c 20.8438 91.6758 4853 535928
22.89/22.92	o 32591304590
22.89/22.95	c 20.8698 91.6758 4854 536370
22.89/22.95	o 32591304578
22.89/22.97	c 20.8938 91.6758 4856 536517
22.89/22.98	o 32591304577
23.48/23.59	c 21.4617 91.6758 4916 537056
23.48/23.59	o 32588948372
23.58/23.62	c 21.4867 91.6758 4916 537488
23.58/23.62	o 32588948354
23.58/23.66	c 21.5207 91.8047 4927 537655
23.58/23.66	o 32588948353
24.29/24.37	c 22.1856 91.8047 5005 538286
24.29/24.37	o 32586592151
24.39/24.43	c 22.2366 91.8047 5031 538833
24.39/24.43	o 32586592146
24.59/24.63	c 22.4196 91.8047 5161 539344
24.59/24.63	o 32586592145
24.59/24.68	c 22.4656 91.8047 5178 539875
24.59/24.68	o 32586592140
24.68/24.75	c 22.5346 91.8047 5224 540195
24.68/24.75	o 32586592139
24.68/24.78	c 22.5626 91.8047 5231 540352
24.68/24.78	o 32586592138
25.29/25.39	c 23.1445 91.9336 5518 541216
25.29/25.39	o 32586592137
26.39/26.49	c 24.1783 92.1914 6073 542589
26.39/26.49	o 32586592136
27.78/27.88	c 25.4891 92.3203 6457 543502
27.78/27.88	o 32586592135
29.28/29.36	c 26.8929 92.3203 6862 544579
29.28/29.36	o 32586592134
29.98/30.03	c 27.5048 92.4492 6937 545248
29.98/30.03	o 32584235927
30.08/30.17	c 27.6318 92.4492 6960 545608
30.08/30.17	o 32584235926
30.18/30.26	c 27.7178 92.4492 7022 545878
30.18/30.26	o 32584235925
30.29/30.34	c 27.7878 92.4492 7059 546219
30.29/30.34	o 32584235924
30.29/30.37	c 27.8138 92.4492 7063 546413
30.29/30.37	o 32584235923
30.29/30.39	c 27.8378 92.4492 7063 546847
30.29/30.39	o 32584235904
30.38/30.47	c 27.9078 92.4492 7102 547072
30.38/30.47	o 32584235903
30.99/31.06	c 28.4487 92.4492 7176 547733
30.99/31.06	o 32581879702
31.09/31.12	c 28.4997 92.4492 7194 548237
31.09/31.12	o 32581879695
31.18/31.28	c 28.6526 92.4492 7332 548736
31.18/31.28	o 32581879694
31.28/31.36	c 28.7216 92.5781 7385 548988
31.28/31.36	o 32581879693
31.58/31.64	c 28.9826 92.5781 7507 549746
31.58/31.64	o 32581879690
34.18/34.23	c 31.4112 92.9648 8807 553051
34.18/34.23	o 32581879685
34.28/34.31	c 31.4912 92.9648 8851 553292
34.28/34.31	o 32581879684
35.48/35.58	c 32.674 92.9648 9033 554065
35.48/35.58	o 32579523493
35.58/35.61	c 32.703 92.9648 9033 554490
35.58/35.61	o 32579523487
35.58/35.64	c 32.726 92.9648 9033 554921
35.58/35.64	o 32579523484
35.58/35.67	c 32.75 92.9648 9034 555353
35.58/35.67	o 32579523481
35.68/35.79	c 32.856 92.9648 9104 555996
35.68/35.79	o 32579523478
35.78/35.81	c 32.883 93.0938 9105 556465
35.78/35.81	o 32579523476
35.78/35.89	c 32.949 93.0938 9139 556717
35.78/35.89	o 32579523475
35.88/35.91	c 32.974 93.0938 9140 557153
35.88/35.91	o 32579523472
35.88/35.96	c 33.014 93.0938 9163 557669
35.88/35.96	o 32579523465
37.48/37.56	c 34.5318 93.2227 9754 559143
37.48/37.56	o 32579523464
37.58/37.69	c 34.6547 93.2227 9820 559505
37.58/37.69	o 32579523463
39.68/39.70	c 36.5404 93.4805 10547 562222
39.68/39.70	o 29219546576
39.68/39.73	c 36.5674 93.4805 10550 563233
39.68/39.73	o 29181846998
39.68/39.76	c 36.5884 93.4805 10550 564263
39.68/39.76	o 29167709643
39.68/39.79	c 36.6114 93.4805 10550 565269
39.68/39.79	o 29144147398
39.78/39.81	c 36.6364 93.4805 10550 566190
39.78/39.81	o 29144147390
39.78/39.84	c 36.6604 93.4805 10550 566802
39.78/39.84	o 29141791166
39.78/39.87	c 36.6834 93.4805 10550 567366
39.78/39.87	o 29139434942
39.78/39.90	c 36.7084 93.4805 10550 567939
39.78/39.90	o 29137078724
39.88/39.92	c 36.7344 93.4805 10550 568506
39.88/39.92	o 29137078716
39.88/39.95	c 36.7554 93.4805 10550 569067
39.88/39.95	o 29134722491
39.88/39.98	c 36.7824 93.4805 10552 569739
39.88/39.98	o 29132366272
39.98/40.02	c 36.8214 93.4805 10561 570803
39.98/40.02	o 29101735375
39.98/40.05	c 36.8474 93.4805 10561 571422
39.98/40.05	o 29101735373
39.98/40.08	c 36.8724 93.4805 10561 571976
39.98/40.08	o 29101735370
40.08/40.10	c 36.8984 93.4805 10562 572952
40.08/40.10	o 29101735366
40.08/40.14	c 36.9324 93.4805 10564 573534
40.08/40.14	o 29099379142
40.08/40.17	c 36.9584 93.4805 10564 574524
40.08/40.17	o 29066391963
40.18/40.20	c 36.9834 93.4805 10564 575493
40.18/40.20	o 29064035736
40.18/40.23	c 37.0064 93.4805 10564 576227
40.18/40.23	o 29064035735
40.18/40.25	c 37.0314 93.4805 10564 577208
40.18/40.25	o 29061679509
40.18/40.28	c 37.0554 93.4805 10564 578158
40.18/40.28	o 29059323287
40.28/40.31	c 37.0834 93.4805 10565 579035
40.28/40.31	o 29056967064
40.28/40.34	c 37.1094 93.4805 10566 580025
40.28/40.34	o 29040473488
40.28/40.36	c 37.1344 93.4805 10566 581005
40.28/40.36	o 29038117263
40.28/40.39	c 37.1584 93.4805 10566 581984
40.28/40.39	o 29031048588
40.38/40.42	c 37.1843 93.4805 10566 582494
40.38/40.42	o 29031048586
40.38/40.45	c 37.2113 93.4805 10566 583107
40.38/40.45	o 29028692362
40.38/40.47	c 37.2353 93.4805 10566 583713
40.38/40.47	o 29026336137
40.48/40.50	c 37.2603 93.4805 10566 584111
40.48/40.50	o 29026336136
40.88/40.90	c 37.6393 93.6094 10734 584720
40.88/40.90	o 29026336135
41.48/41.56	c 38.2582 93.6094 10820 585322
41.48/41.56	o 29023979945
41.58/41.62	c 38.3142 93.6094 10838 586012
41.58/41.62	o 29023979920
41.58/41.66	c 38.3432 93.6094 10838 586517
41.58/41.66	o 29023979912
41.69/41.72	c 38.4032 93.6094 10882 586882
41.69/41.72	o 29023979911
41.79/41.82	c 38.4802 93.6094 10914 587630
41.79/41.82	o 29021623712
41.79/41.85	c 38.5091 93.6094 10922 588090
41.79/41.85	o 29021623696
42.28/42.30	c 38.9191 93.6094 10958 588640
42.28/42.30	o 29019267494
42.28/42.37	c 38.9891 93.7383 10976 589319
42.28/42.37	o 29019267470
42.38/42.40	c 39.0141 93.7383 10977 589814
42.38/42.40	o 29019267462
42.38/42.43	c 39.0411 93.7383 10981 590443
42.38/42.43	o 29019267453
42.68/42.70	c 39.3 93.7383 11012 590956
42.68/42.70	o 29016911259
42.68/42.73	c 39.326 93.7383 11014 591411
42.68/42.73	o 29016911255
42.79/42.82	c 39.406 93.7383 11063 591799
42.79/42.82	o 29016911254
42.79/42.86	c 39.442 93.7383 11066 592254
42.79/42.86	o 29016911245
42.89/42.93	c 39.508 93.7383 11089 592890
42.89/42.93	o 29016911241
42.97/43.04	c 39.606 93.7383 11098 593385
42.97/43.04	o 29014555031
42.97/43.09	c 39.654 93.7383 11111 594266
42.97/43.09	o 29014555019
43.08/43.12	c 39.682 93.7383 11114 594800
43.08/43.12	o 29012198802
43.08/43.16	c 39.715 93.7383 11116 595342
43.08/43.16	o 29009842588
43.08/43.18	c 39.741 93.7383 11116 596315
43.08/43.18	o 28990992799
43.18/43.21	c 39.763 93.7383 11116 596683
43.18/43.21	o 28990992798
43.18/43.24	c 39.788 93.7383 11116 597669
43.18/43.24	o 28974499225
43.18/43.27	c 39.8089 93.7383 11116 598358
43.18/43.27	o 28974499224
43.18/43.29	c 39.8349 93.7383 11117 598929
43.18/43.29	o 28972143000
43.28/43.32	c 39.8589 93.7383 11117 599644
43.28/43.32	o 28972142999
43.28/43.37	c 39.8959 93.7383 11123 600957
43.28/43.37	o 28969786795
43.28/43.39	c 39.9199 93.7383 11123 601931
43.28/43.39	o 28967430550
43.38/43.42	c 39.9459 93.7383 11123 602589
43.38/43.42	o 28967430549
43.38/43.46	c 39.9859 93.7383 11128 603122
43.38/43.46	o 28967430546
43.48/43.53	c 40.0479 93.7383 11142 603455
43.48/43.54	o 28967430545
43.48/43.57	c 40.0809 93.7383 11156 603671
43.48/43.57	o 28967430544
43.58/43.60	c 40.1079 93.7383 11160 604115
43.58/43.60	o 28967430537
44.58/44.63	c 41.0788 93.9961 11376 605802
44.58/44.63	o 28967430536
45.58/45.65	c 42.0206 93.9961 11703 606739
45.58/45.65	o 28967430535
45.68/45.73	c 42.0936 93.9961 11737 606953
45.68/45.73	o 28967430534
46.78/46.83	c 43.1334 94.125 11979 607930
46.78/46.83	o 28965074333
46.78/46.86	c 43.1604 94.125 11979 608345
46.78/46.86	o 28965074330
46.78/46.89	c 43.1874 94.125 11979 608596
46.78/46.89	o 28965074329
46.88/46.91	c 43.2104 94.125 11979 608725
46.88/46.91	o 28965074328
46.88/46.95	c 43.2444 94.125 11985 609184
46.88/46.95	o 28965074322
47.08/47.11	c 43.3834 94.125 12057 609450
47.08/47.11	o 28965074321
47.08/47.14	c 43.4154 94.125 12063 609587
47.08/47.14	o 28965074320
47.08/47.17	c 43.4424 94.125 12064 609717
47.08/47.17	o 28965074319
47.28/47.36	c 43.6144 94.2891 12210 610170
47.28/47.36	o 28965074318
47.48/47.59	c 43.8343 94.2891 12325 610927
47.48/47.59	o 28965074316
47.88/47.94	c 44.1663 94.2891 12554 611686
47.88/47.94	o 28965074315
48.98/49.04	c 45.2041 94.5469 13174 613636
48.98/49.04	o 28965074314
49.68/49.78	c 45.901 94.6758 13627 614839
49.68/49.78	o 28965074313
53.38/53.49	c 49.3735 94.6758 8729 635824
53.38/53.49	o 28965074312
54.78/54.89	c 50.6893 94.6758 9233 638710
54.78/54.89	o 28962718117
54.89/54.93	c 50.7273 94.6758 9237 639649
54.89/54.93	o 28962718110
54.89/54.96	c 50.7523 94.6758 9238 640084
54.89/54.96	o 28962718107
54.89/54.99	c 50.7803 94.6758 9245 640520
54.89/54.99	o 28962718103
54.98/55.06	c 50.8433 94.6758 9265 641191
54.98/55.06	o 28962718094
55.07/55.15	c 50.9253 94.6758 9308 641439
55.07/55.15	o 28962718093
56.17/56.24	c 51.9651 94.6758 10010 643788
56.17/56.24	o 28962718089
58.87/58.92	c 54.4767 94.6758 11332 648002
58.87/58.92	o 28962718088
59.88/59.97	c 55.4586 94.6758 11680 648973
59.88/59.97	o 28962718087
60.38/60.46	c 55.9185 94.6758 11846 650548
60.38/60.46	o 28960361896
60.48/60.50	c 55.9605 94.6758 11858 651408
60.48/60.51	o 28960361880
60.48/60.56	c 56.0075 94.6758 11868 651835
60.48/60.56	o 28960361877
60.58/60.60	c 56.0445 94.6758 11881 652541
60.58/60.60	o 28960361876
60.58/60.63	c 56.0735 94.6758 11886 652915
60.58/60.63	o 28960361875
60.58/60.69	c 56.1245 94.6758 11905 653060
60.58/60.69	o 28960361874
60.67/60.79	c 56.2195 94.6758 11928 653214
60.67/60.79	o 28960361873
60.87/60.95	c 56.3694 94.6758 11952 653415
60.87/60.95	o 28960361872
60.87/60.98	c 56.3944 94.6758 11953 653525
60.87/60.98	o 28960361871
61.07/61.14	c 56.5374 94.6758 11654 653675
61.07/61.14	o 28960361870
61.17/61.26	c 56.6474 94.6758 11708 653927
61.17/61.26	o 28960361869
61.27/61.35	c 56.7294 94.6758 11734 654099
61.27/61.35	o 28960361868
61.38/61.42	c 56.7874 94.6758 11755 657556
61.38/61.42	o 25899625510
61.38/61.45	c 56.8144 94.6758 11764 658676
61.38/61.45	o 25897269286
61.38/61.49	c 56.8554 94.6758 11775 661198
61.38/61.49	o 25897269280
61.48/61.52	c 56.8784 94.6758 11779 662645
61.48/61.52	o 25894913051
61.48/61.54	c 56.9003 94.6758 11785 663949
61.48/61.54	o 25892556827
61.48/61.57	c 56.9223 94.6758 11788 664954
61.48/61.57	o 25890200603
61.48/61.60	c 56.9483 94.6758 11794 666538
61.48/61.60	o 25887844379
61.58/61.62	c 56.9693 94.6758 11795 667691
61.58/61.62	o 25861925899
61.58/61.65	c 56.9963 94.6758 11803 669240
61.58/61.65	o 25859569680
61.58/61.68	c 57.0193 94.6758 11805 670554
61.58/61.68	o 25590960140
61.67/61.70	c 57.0413 94.6758 11806 671482
61.67/61.70	o 25590960131
61.67/61.72	c 57.0653 94.6758 11808 672545
61.67/61.72	o 25588603914
61.67/61.75	c 57.0863 94.6758 11808 673577
61.67/61.75	o 25588603910
61.67/61.77	c 57.1043 94.6758 11808 674549
61.67/61.77	o 25586247686
61.67/61.79	c 57.1233 94.6758 11808 675528
61.67/61.79	o 25586247681
61.77/61.82	c 57.1453 94.6758 11810 676492
61.77/61.82	o 25586247678
61.77/61.84	c 57.1663 94.6758 11812 677605
61.77/61.84	o 25583891461
61.77/61.87	c 57.1863 94.6758 11812 678500
61.77/61.87	o 25581535239
61.77/61.89	c 57.2113 94.6758 11814 679605
61.77/61.89	o 25581535238
61.87/61.92	c 57.2303 94.6758 11814 680633
61.87/61.92	o 25581535234
61.87/61.94	c 57.2533 94.6758 11815 681551
61.87/61.94	o 25581535233
61.87/61.96	c 57.2743 94.6758 11818 682496
61.87/61.96	o 25579179013
61.87/61.99	c 57.2973 94.6758 11818 683465
61.87/61.99	o 25579178991
61.97/62.01	c 57.3183 94.6758 11820 684411
61.97/62.01	o 25576822767
61.97/62.03	c 57.3393 94.6758 11820 685313
61.97/62.03	o 25574466551
61.97/62.06	c 57.3613 94.6758 11823 686514
61.97/62.06	o 25574466549
61.97/62.08	c 57.3843 94.6758 11824 687471
61.97/62.08	o 25574466543
62.07/62.10	c 57.4043 94.6758 11824 688208
62.07/62.10	o 25574466542
62.07/62.13	c 57.4243 94.6758 11824 689039
62.07/62.13	o 25572110317
62.07/62.15	c 57.4483 94.6758 11825 689985
62.07/62.15	o 25572110316
62.07/62.18	c 57.4693 94.6758 11825 690969
62.07/62.18	o 25569754094
62.17/62.21	c 57.4973 94.6758 11827 692023
62.17/62.21	o 25569754092
62.17/62.23	c 57.5183 94.6758 11827 692730
62.17/62.23	o 25569754091
62.17/62.25	c 57.5393 94.6758 11828 693464
62.17/62.25	o 25567397867
62.17/62.29	c 57.5702 94.6758 11833 694782
62.17/62.29	o 25567397863
62.27/62.32	c 57.5962 94.6758 11834 696014
62.27/62.32	o 25565041639
62.27/62.34	c 57.6172 94.6758 11834 696800
62.27/62.34	o 25562685415
62.27/62.36	c 57.6392 94.6758 11835 697792
62.27/62.36	o 25562685414
62.27/62.39	c 57.6592 94.6758 11835 698683
62.27/62.39	o 25560329192
62.37/62.41	c 57.6802 94.6758 11835 699474
62.37/62.41	o 25560329188
62.37/62.43	c 57.7012 94.6758 11835 700430
62.37/62.43	o 25557972967
62.37/62.46	c 57.7232 94.6758 11835 701220
62.37/62.46	o 25557972963
62.37/62.48	c 57.7432 94.6758 11835 701972
62.37/62.48	o 25557972960
62.47/62.50	c 57.7622 94.6758 11835 702825
62.47/62.50	o 25555616737
62.47/62.54	c 57.7922 94.6758 11837 703983
62.47/62.54	o 25553260523
62.47/62.56	c 57.8132 94.6758 11837 704811
62.47/62.56	o 25553260515
62.47/62.58	c 57.8352 94.6758 11837 705479
62.47/62.58	o 25553260514
62.58/62.61	c 57.8552 94.6758 11837 706201
62.58/62.61	o 25550904292
62.58/62.63	c 57.8762 94.6758 11838 707132
62.58/62.63	o 25550904288
62.58/62.65	c 57.8982 94.6758 11838 707923
62.58/62.65	o 25548548063
62.58/62.67	c 57.9162 94.6758 11838 708705
62.58/62.67	o 25548548061
62.69/62.72	c 57.9562 94.6758 11843 709648
62.69/62.72	o 25548548031
62.69/62.76	c 57.9912 94.6758 11847 711792
62.69/62.76	o 25546191832
62.69/62.79	c 58.0162 94.6758 11847 712877
62.69/62.79	o 25546191830
62.78/62.81	c 58.0402 94.6758 11848 714130
62.78/62.81	o 25527342029
62.78/62.84	c 58.0612 94.6758 11848 715118
62.78/62.84	o 25527342027
62.78/62.86	c 58.0812 94.6758 11848 716105
62.78/62.86	o 25524985802
62.78/62.88	c 58.1032 94.6758 11848 717032
62.78/62.88	o 25522629578
62.88/62.91	c 58.1212 94.6758 11848 717939
62.88/62.91	o 25520273355
62.88/62.93	c 58.1412 94.6758 11849 718890
62.88/62.93	o 25520273353
62.88/62.95	c 58.1652 94.6758 11850 719933
62.88/62.95	o 25508492248
62.88/62.98	c 58.1932 94.6758 11851 721288
62.88/62.98	o 25506136025
62.98/63.01	c 58.2112 94.6758 11851 722314
62.98/63.01	o 25477861325
62.98/63.04	c 58.2451 94.6758 11852 723873
62.98/63.04	o 25477861324
62.98/63.07	c 58.2681 94.6758 11852 724773
62.98/63.07	o 25477861322
62.98/63.09	c 58.2881 94.6758 11853 725761
62.98/63.09	o 25475505098
63.07/63.11	c 58.3071 94.6758 11854 726723
63.07/63.11	o 25475505096
63.07/63.14	c 58.3271 94.6758 11854 727613
63.07/63.14	o 25473148872
63.07/63.16	c 58.3481 94.6758 11854 728571
63.07/63.16	o 25473148871
63.07/63.18	c 58.3681 94.6758 11854 729458
63.07/63.18	o 25470792647
63.18/63.21	c 58.3901 94.6758 11854 730381
63.18/63.21	o 25470792646
63.18/63.23	c 58.4061 94.6758 11854 731317
63.18/63.23	o 25468436423
63.18/63.25	c 58.4251 94.6758 11854 732034
63.18/63.25	o 25468436422
63.18/63.27	c 58.4471 94.6758 11854 732868
63.18/63.27	o 25466080198
63.27/63.30	c 58.4691 94.6758 11854 733911
63.27/63.30	o 25459011522
63.27/63.32	c 58.4881 94.6758 11854 734803
63.27/63.32	o 25456655297
63.27/63.34	c 58.5091 94.6758 11854 735584
63.27/63.34	o 25456655291
63.27/63.37	c 58.5321 94.6758 11857 736691
63.27/63.37	o 25454299071
63.37/63.41	c 58.5661 94.6758 11864 737344
63.37/63.41	o 25454299028
63.37/63.45	c 58.6051 94.6758 11864 739141
63.37/63.45	o 25451942847
63.37/63.47	c 58.6251 94.6758 11865 739991
63.37/63.47	o 25449586624
63.37/63.50	c 58.6471 94.6758 11865 740891
63.37/63.50	o 25449586620
63.47/63.53	c 58.6781 94.6758 2611 741797
63.47/63.53	o 25447230396
63.47/63.55	c 58.6991 94.6758 2611 742454
63.47/63.55	o 25447230395
63.47/63.58	c 58.7181 94.6758 2611 743312
63.47/63.58	o 25444874170
63.57/63.60	c 58.7391 94.6758 2611 744277
63.57/63.60	o 25442517946
63.57/63.62	c 58.7601 94.6758 2611 744864
63.57/63.62	o 25442517945
63.57/63.64	c 58.7801 94.6758 2611 745700
63.57/63.64	o 25440161721
63.57/63.67	c 58.7971 94.6758 2611 746510
63.57/63.67	o 25440161720
63.57/63.69	c 58.8181 94.6758 2611 747312
63.57/63.69	o 25437805496
63.69/63.71	c 58.8371 94.6758 2611 748140
63.69/63.71	o 25435449271
63.69/63.73	c 58.8591 94.6758 2611 748979
63.69/63.73	o 25433093046
63.69/63.76	c 58.881 94.6758 2611 749625
63.69/63.76	o 25433093045
63.69/63.78	c 58.902 94.6758 2611 750441
63.69/63.78	o 25430736822
63.78/63.81	c 58.928 94.6758 2613 751011
63.78/63.81	o 25430736821
63.78/63.83	c 58.947 94.6758 2613 751967
63.78/63.83	o 25430736806
63.78/63.85	c 58.968 94.6758 2613 752557
63.78/63.85	o 25430736805
63.78/63.87	c 58.99 94.6758 2613 753479
63.78/63.87	o 25428380580
63.88/63.90	c 59.01 94.6758 2613 754271
63.88/63.90	o 25428380579
63.88/63.92	c 59.029 94.6758 2614 755186
63.88/63.92	o 25426024356
63.88/63.94	c 59.05 94.6758 2614 756097
63.88/63.94	o 25423668131
63.88/63.96	c 59.069 94.6758 2614 756690
63.88/63.96	o 25423668130
63.88/63.99	c 59.089 94.6758 2614 757350
63.88/63.99	o 25423668129
63.97/64.01	c 59.11 94.6758 2614 758165
63.97/64.01	o 25421311911
63.97/64.03	c 59.13 94.6758 2614 759073
63.97/64.03	o 25421311905
63.97/64.06	c 59.153 94.6758 2614 759901
63.97/64.06	o 25418955680
63.97/64.08	c 59.175 94.6758 2614 760703
63.97/64.08	o 25416599456
64.07/64.10	c 59.197 94.6758 2614 761500
64.07/64.10	o 25416599454
64.07/64.12	c 59.22 94.6758 2614 762295
64.07/64.12	o 25414243229
64.07/64.15	c 59.24 94.6758 2614 763187
64.07/64.15	o 25411887004
64.07/64.17	c 59.261 94.6758 2614 764004
64.07/64.17	o 25409530784
64.07/64.19	c 59.28 94.6758 2614 764798
64.07/64.19	o 25409530781
64.17/64.21	c 59.301 94.6758 2614 765362
64.17/64.21	o 25409530780
64.17/64.24	c 59.319 94.6758 2614 765924
64.17/64.24	o 25409530779
64.17/64.26	c 59.342 94.6758 2614 766713
64.17/64.26	o 25407174556
64.17/64.28	c 59.363 94.6758 2614 767272
64.17/64.28	o 25407174555
64.27/64.30	c 59.385 94.6758 2614 768085
64.27/64.30	o 25404818331
64.27/64.33	c 59.403 94.6758 2614 768882
64.27/64.33	o 25404818329
64.27/64.35	c 59.422 94.6758 2614 769682
64.27/64.35	o 25402462107
64.27/64.37	c 59.443 94.6758 2614 770488
64.27/64.37	o 25402462105
64.37/64.40	c 59.474 94.6758 2617 771296
64.37/64.40	o 25400105880
64.67/64.74	c 59.7859 94.6758 2849 772728
64.67/64.74	o 25400105876
64.78/64.90	c 59.9329 94.6758 2949 773570
64.78/64.90	o 25400105867
64.88/64.92	c 59.9549 94.6758 2949 773760
64.88/64.92	o 25400105866
64.88/64.94	c 59.9729 94.6758 2949 773930
64.88/64.94	o 25400105865
64.88/64.98	c 60.0029 94.6758 2966 774174
64.88/64.98	o 25400105864
65.17/65.23	c 60.2418 94.6758 3002 774690
65.17/65.23	o 25397749668
65.17/65.27	c 60.2738 94.6758 3013 774898
65.17/65.27	o 25397749667
65.27/65.39	c 60.3828 94.6758 3034 775053
65.27/65.39	o 25397749666
65.37/65.41	c 60.4048 94.6758 3034 775495
65.37/65.41	o 25397749643
65.37/65.43	c 60.4228 94.6758 3034 775673
65.37/65.43	o 25397749642
65.37/65.45	c 60.4458 94.6758 3037 776142
65.37/65.45	o 25397749640
65.67/65.73	c 60.7078 94.6758 3070 776614
65.67/65.73	o 25395393438
65.67/65.76	c 60.7298 94.6758 3073 777069
65.67/65.76	o 25395393431
65.67/65.78	c 60.7508 94.6758 3076 777265
65.67/65.78	o 25395393430
65.77/65.82	c 60.7878 94.6758 3106 777481
65.77/65.82	o 25395393429
66.27/66.34	c 61.2687 94.6758 3152 778181
66.27/66.34	o 25393037232
66.27/66.36	c 61.2877 94.6758 3154 778622
66.27/66.36	o 25393037216
66.27/66.39	c 61.3097 94.6758 3155 779063
66.27/66.39	o 25393037210
66.47/66.52	c 61.4307 94.6758 3203 779675
66.47/66.52	o 25393037183
66.47/66.54	c 61.4517 94.6758 3203 779878
66.47/66.54	o 25393037182
66.47/66.56	c 61.4717 94.6758 3203 780058
66.47/66.56	o 25393037181
66.57/66.65	c 61.5526 94.6758 3275 780397
66.57/66.65	o 25393037180
66.77/66.80	c 61.6996 94.6758 3294 780867
66.77/66.80	o 25390681005
66.77/66.83	c 61.7216 94.6758 3297 781322
66.77/66.83	o 25390680999
66.77/66.85	c 61.7416 94.6758 3297 781467
66.77/66.85	o 25390680998
66.77/66.88	c 61.7676 94.6758 3300 781904
66.77/66.88	o 25390680995
66.87/66.90	c 61.7916 94.6758 3307 782351
66.87/66.90	o 25390680981
68.27/68.33	c 63.1404 94.6758 3665 783680
68.27/68.33	o 25388324789
68.27/68.35	c 63.1614 94.6758 3667 784121
68.27/68.35	o 25388324765
68.27/68.37	c 63.1824 94.6758 3667 784285
68.27/68.37	o 25388324764
68.37/68.40	c 63.2074 94.6758 3669 784453
68.37/68.40	o 25388324763
68.37/68.44	c 63.2484 94.6758 3674 784902
68.37/68.44	o 25388324744
68.37/68.48	c 63.2764 94.6758 3676 785354
68.37/68.48	o 25388324742
69.18/69.28	c 64.0193 94.6758 3859 786280
69.18/69.28	o 25385968553
69.28/69.31	c 64.0513 94.6758 3870 786808
69.28/69.31	o 25385968514
69.37/69.48	c 64.2022 94.6758 3891 787286
69.37/69.48	o 25383612324
69.47/69.50	c 64.2242 94.6758 3892 787721
69.47/69.50	o 25383612307
69.47/69.52	c 64.2452 94.6758 3893 787919
69.47/69.52	o 25383612306
69.47/69.55	c 64.2632 94.6758 3893 788094
69.47/69.55	o 25383612305
69.47/69.58	c 64.2982 94.6758 3899 788273
69.47/69.58	o 25383612304
69.97/70.05	c 64.7502 94.6758 4005 789003
69.97/70.05	o 25383612300
70.77/70.88	c 65.511 94.6758 4098 789607
70.77/70.88	o 25381256093
70.87/70.90	c 65.536 94.6758 4102 790065
70.87/70.90	o 25381256087
70.87/70.92	c 65.556 94.6758 4102 790218
70.87/70.92	o 25381256086
70.87/70.95	c 65.582 94.6758 4106 790368
70.87/70.95	o 25381256085
71.07/71.18	c 65.798 94.6758 4213 790883
71.07/71.18	o 25381256084
71.38/71.40	c 66.008 94.6758 4313 791659
71.38/71.40	o 25381256077
71.38/71.45	c 66.057 94.6758 4344 791881
71.38/71.45	o 25381256076
71.77/71.81	c 66.3839 94.6758 4568 792594
71.77/71.81	o 25381256075
71.87/71.90	c 66.4599 94.6758 4633 792887
71.87/71.90	o 25381256074
72.48/72.58	c 67.0978 94.6758 4801 793828
72.48/72.58	o 25378899866
72.67/72.76	c 67.2738 94.6758 4903 794256
72.67/72.76	o 25378899865
73.27/73.37	c 67.8417 94.6758 5006 794649
73.27/73.37	o 25378899864
73.37/73.43	c 67.8947 94.6758 5033 794866
73.37/73.43	o 25378899863
73.37/73.46	c 67.9207 94.6758 5039 795318
73.37/73.46	o 25378899859
73.37/73.48	c 67.9437 94.6758 5039 795734
73.37/73.48	o 25378899848
73.47/73.50	c 67.9617 94.6758 5039 795890
73.47/73.50	o 25378899847
73.47/73.53	c 67.9867 94.6758 5045 796080
73.47/73.53	o 25378899846
73.87/73.92	c 68.3516 94.6758 5086 796541
73.87/73.92	o 25376543649
73.87/73.94	c 68.3726 94.6758 5086 796968
73.87/73.94	o 25376543644
73.87/73.96	c 68.3936 94.6758 5086 797118
73.87/73.96	o 25376543643
73.87/73.98	c 68.4136 94.6758 5088 797552
73.87/73.98	o 25376543641
73.97/74.01	c 68.4336 94.6758 5091 797980
73.97/74.01	o 25376543631
73.97/74.03	c 68.4516 94.6758 5091 798147
73.97/74.03	o 25376543630
73.97/74.06	c 68.4756 94.6758 5097 798620
73.97/74.06	o 25376543628
74.87/74.93	c 69.2905 94.6758 5189 799134
74.87/74.93	o 25374187429
74.87/74.95	c 69.3145 94.6758 5190 799582
74.87/74.95	o 25374187413
74.87/74.98	c 69.3325 94.6758 5190 799728
74.87/74.98	o 25374187412
74.97/75.04	c 69.3954 94.6758 5245 800016
74.97/75.04	o 25374187411
75.27/75.39	c 69.7244 94.6758 5397 800435
75.27/75.39	o 25374187410
75.37/75.42	c 69.7564 94.6758 5399 800866
75.37/75.42	o 25374187405
75.67/75.77	c 70.0873 94.6758 5438 801435
75.67/75.77	o 25371831213
75.67/75.80	c 70.1083 94.6758 5439 801848
75.67/75.80	o 25371831177
75.77/75.82	c 70.1293 94.6758 5443 802294
75.77/75.82	o 25371831175
75.77/75.85	c 70.1623 94.6758 5460 802501
75.77/75.85	o 25371831174
75.77/75.88	c 70.1833 94.6758 5462 802663
75.77/75.88	o 25371831173
76.66/76.75	c 71.0072 94.6758 5702 803773
76.66/76.75	o 25369474984
76.66/76.78	c 71.0312 94.6758 5695 804198
76.66/76.78	o 25369474972
76.76/76.80	c 71.0522 94.6758 5700 804325
76.76/76.80	o 25369474971
76.76/76.82	c 71.0742 94.6758 5702 804476
76.76/76.82	o 25369474970
76.76/76.89	c 71.1412 94.6758 5750 804766
76.76/76.89	o 25369474969
76.88/76.93	c 71.1772 94.6758 5765 804916
76.88/76.93	o 25369474968
76.88/76.95	c 71.1972 94.6758 5765 805231
76.88/76.95	o 25369474967
76.88/76.97	c 71.2172 94.6758 5766 805415
76.88/76.97	o 25369474966
76.88/76.99	c 71.2352 94.6758 5766 805543
76.88/76.99	o 25369474965
76.98/77.02	c 71.2612 94.6758 5771 805683
76.98/77.02	o 25369474964
77.07/77.11	c 71.3362 94.6758 5789 806140
77.07/77.11	o 25369474961
77.07/77.14	c 71.3632 94.6758 5797 806441
77.07/77.14	o 25369474960
77.27/77.35	c 71.5601 94.6758 5898 806859
77.27/77.35	o 25369474959
77.27/77.37	c 71.5821 94.6758 5898 807283
77.27/77.37	o 25369474957
77.27/77.39	c 71.6011 94.6758 5898 807622
77.27/77.39	o 25369474956
77.37/77.41	c 71.6201 94.6758 5898 807765
77.37/77.41	o 25369474955
77.37/77.47	c 71.6691 94.6758 5920 808019
77.37/77.47	o 25369474954
77.37/77.49	c 71.6931 94.6758 5922 808333
77.37/77.49	o 25369474953
79.66/79.79	c 73.8318 94.6758 6302 809671
79.66/79.79	o 25367118755
79.77/79.81	c 73.8548 94.6758 6306 810127
79.77/79.81	o 25367118740
79.77/79.83	c 73.8718 94.6758 6306 810536
79.77/79.83	o 25367118738
79.77/79.86	c 73.8948 94.6758 6308 810677
79.77/79.86	o 25367118737
81.37/81.49	c 75.4295 94.6758 6821 812416
81.37/81.49	o 25367118735
81.66/81.76	c 75.6825 94.6758 6927 813000
81.66/81.76	o 25367118734
81.77/81.86	c 75.7775 94.6758 7013 813351
81.77/81.86	o 25367118733
81.87/81.99	c 75.9025 94.6758 7047 813543
81.87/81.99	o 25367118732
83.06/83.15	c 76.9843 94.6758 7335 814693
83.06/83.15	o 25364762525
83.06/83.17	c 77.0073 94.6758 7337 815126
83.06/83.17	o 25364762521
83.27/83.37	c 77.1843 94.6758 7445 815831
83.27/83.37	o 25364762518
83.27/83.39	c 77.2063 94.6758 7446 816399
83.27/83.39	o 25364762514
83.37/83.41	c 77.2253 94.6758 7446 816561
83.37/83.41	o 25364762513
83.37/83.43	c 77.2463 94.6758 7447 816962
83.37/83.43	o 25364762511
84.87/84.95	c 78.682 94.6758 7723 817794
84.87/84.95	o 25364762510
85.27/85.33	c 79.051 94.6758 7241 818324
85.27/85.33	o 25364762509
85.27/85.36	c 79.072 94.6758 7242 818719
85.27/85.36	o 25364762507
85.47/85.56	c 79.2609 94.6758 7395 819291
85.47/85.56	o 25364762506
85.87/85.97	c 79.6469 94.6758 7432 819737
85.87/85.97	o 25362406303
85.87/85.99	c 79.6709 94.6758 7440 820162
85.87/85.99	o 25362406297
85.97/86.03	c 79.7089 94.6758 7457 820350
85.97/86.03	o 25362406296
85.97/86.06	c 79.7349 94.6758 7465 820565
85.97/86.06	o 25362406295
85.97/86.09	c 79.7629 94.6758 7478 820794
85.97/86.09	o 25362406294
86.17/86.20	c 79.8679 94.6758 7513 820967
86.17/86.20	o 25362406293
86.27/86.31	c 79.9768 94.6758 7593 821258
86.27/86.31	o 25362406292
86.27/86.34	c 79.9998 94.6758 7595 821674
86.27/86.34	o 25362406290
86.27/86.37	c 80.0318 94.6758 7597 822098
86.27/86.37	o 25362406286
87.36/87.43	c 81.0357 94.6758 8032 823756
87.36/87.43	o 25362406284
87.76/87.84	c 81.4276 94.6758 8065 824188
87.76/87.84	o 25360050081
87.76/87.87	c 81.4486 94.6758 8072 824339
87.76/87.87	o 25360050080
87.76/87.89	c 81.4686 94.6758 8072 824460
87.76/87.89	o 25360050079
87.88/87.91	c 81.4876 94.6758 8074 824582
87.88/87.91	o 25360050078
87.88/87.94	c 81.5046 94.6758 8074 825001
87.88/87.94	o 25360050074
87.88/87.96	c 81.5246 94.6758 8074 825126
87.88/87.96	o 25360050073
87.88/87.98	c 81.5446 94.6758 8076 825264
87.88/87.98	o 25360050072
87.97/88.00	c 81.5656 94.6758 8079 825411
87.97/88.00	o 25360050071
87.97/88.04	c 81.6006 94.6758 8094 825580
87.97/88.04	o 25360050070
87.97/88.09	c 81.6486 94.6758 8122 825785
87.97/88.09	o 25360050069
88.07/88.13	c 81.6856 94.6758 8130 826500
88.07/88.13	o 25360050063
88.16/88.21	c 81.7586 94.6758 8152 826685
88.16/88.21	o 25360050062
88.57/88.62	c 82.1425 94.6758 8414 827503
88.57/88.62	o 25360050061
88.57/88.64	c 82.1635 94.6758 8415 827675
88.57/88.64	o 25360050060
89.46/89.50	c 82.9724 94.6758 8837 828784
89.46/89.50	o 25360050059
91.36/91.44	c 84.8201 94.6758 9505 830909
91.36/91.44	o 25357693868
91.36/91.47	c 84.8441 94.6758 9507 831437
91.36/91.47	o 25357693867
91.36/91.49	c 84.8691 94.6758 9511 831858
91.36/91.49	o 25357693855
91.46/91.54	c 84.9101 94.6758 9525 832073
91.46/91.54	o 25357693854
91.46/91.56	c 84.9331 94.6758 9475 832244
91.46/91.56	o 25357693853
91.46/91.59	c 84.9511 94.6758 9475 832383
91.46/91.59	o 25357693852
91.57/91.61	c 84.9771 94.6758 9479 832792
91.57/91.61	o 25357693847
91.57/91.64	c 85.0051 94.6758 9486 832908
91.57/91.64	o 25357693846
91.57/91.67	c 85.0271 94.6758 9489 833086
91.57/91.67	o 25357693845
91.57/91.69	c 85.0471 94.6758 9489 833258
91.57/91.69	o 25357693844
91.66/91.71	c 85.0681 94.6758 9489 833373
91.66/91.71	o 25357693843
91.66/91.75	c 85.1051 94.6758 9504 833511
91.66/91.75	o 25357693842
92.07/92.12	c 85.448 94.6758 9786 834476
92.07/92.12	o 25357693841
92.07/92.14	c 85.472 94.6758 9789 834642
92.07/92.14	o 25357693840
92.07/92.17	c 85.498 94.6758 9795 834798
92.07/92.17	o 25357693839
92.07/92.19	c 85.517 94.6758 9795 834933
92.07/92.19	o 25357693838
92.27/92.37	c 85.676 94.6758 9920 835444
92.27/92.37	o 25357693837
92.56/92.68	c 85.9699 94.6758 10065 835883
92.56/92.68	o 25357693836
93.06/93.18	c 86.4489 94.6758 10354 836713
93.06/93.18	o 25357693835
93.86/93.96	c 87.1827 94.6758 10628 837776
93.86/93.96	o 25355337629
93.86/93.98	c 87.2077 94.6758 10008 837949
93.86/93.98	o 25355337628
93.96/94.00	c 87.2267 94.6758 10008 838064
93.96/94.00	o 25355337627
93.96/94.03	c 87.2507 94.6758 10010 838185
93.96/94.03	o 25355337626
93.96/94.05	c 87.2697 94.6758 10010 838301
93.96/94.05	o 25355337625
93.96/94.07	c 87.2917 94.6758 10010 838417
93.96/94.07	o 25355337624
94.06/94.10	c 87.3127 94.6758 10011 838834
94.06/94.10	o 25355337619
94.06/94.13	c 87.3427 94.6758 10023 838977
94.06/94.13	o 25355337618
94.16/94.23	c 87.4387 94.6758 10038 839202
94.16/94.23	o 25355337617
94.26/94.33	c 87.5327 94.6758 10114 839508
94.26/94.33	o 25355337616
94.26/94.37	c 87.5667 94.6758 10119 839632
94.26/94.37	o 25355337615
94.26/94.39	c 87.5877 94.6758 10121 839799
94.26/94.39	o 25355337614
95.16/95.23	c 88.3746 94.6758 10624 841313
95.16/95.23	o 25355337613
95.47/95.55	c 88.6715 94.8047 10829 842001
95.47/95.55	o 25355337612
95.96/96.01	c 89.1155 94.8047 11091 842945
95.96/96.01	o 25355337611
97.77/97.83	c 90.8302 94.9375 10678 845323
97.77/97.83	o 25355337610
100.56/100.63	c 93.4618 94.9375 11728 848157
100.56/100.63	o 25355337609
101.36/101.44	c 94.2407 95.0664 12019 849025
101.36/101.44	o 25355337608
102.26/102.33	c 95.0595 95.0664 12175 849719
102.26/102.33	o 25352981408
102.26/102.35	c 95.0865 95.0664 12138 850116
102.26/102.35	o 25352981400
102.26/102.38	c 95.1075 95.0664 12139 850531
102.26/102.38	o 25352981396
102.36/102.47	c 95.1925 95.0664 12164 850911
102.36/102.47	o 25352981395
102.46/102.56	c 95.2725 95.0664 12229 851161
102.46/102.56	o 25352981394
102.46/102.58	c 95.2925 95.0664 12234 851578
102.46/102.58	o 25352981390
102.56/102.63	c 95.3415 95.0664 12258 851764
102.56/102.63	o 25352981389
103.36/103.46	c 96.1354 95.1953 12765 853154
103.36/103.46	o 25352981388
104.26/104.31	c 96.9393 95.1953 13034 853897
104.26/104.31	o 25352981387
104.86/104.93	c 97.5322 95.3242 13312 854728
104.86/104.93	o 25352981386
106.26/106.37	c 98.883 95.3242 13798 856047
106.26/106.37	o 25352981385
107.95/108.01	c 100.423 95.3242 11837 857559
107.95/108.01	o 25350625172
107.95/108.07	c 100.475 95.3242 11864 857754
107.95/108.07	o 25350625171
108.06/108.14	c 100.542 95.3242 11872 857904
108.06/108.14	o 25350625170
108.06/108.16	c 100.565 95.3242 11874 858029
108.06/108.16	o 25350625169
108.16/108.28	c 100.674 95.3242 11901 858193
108.16/108.28	o 25350625168
108.25/108.37	c 100.76 95.3242 11960 858462
108.25/108.37	o 25350625167
108.25/108.39	c 100.782 95.3242 11961 858876
108.25/108.39	o 25350625165
108.96/109.01	c 101.372 95.3242 12179 859507
108.96/109.02	o 25350625164
109.26/109.36	c 101.697 95.3242 11335 860070
109.26/109.36	o 25350625163
109.75/109.86	c 102.169 95.3242 11549 860679
109.75/109.86	o 25350625162
110.36/110.45	c 102.73 95.3242 11790 861331
110.36/110.45	o 25350625161
111.55/111.60	c 103.797 95.3242 12131 862562
111.55/111.60	o 25348268960
111.55/111.63	c 103.824 95.3242 11395 862719
111.55/111.63	o 25348268959
111.55/111.66	c 103.852 95.3242 11399 862826
111.55/111.66	o 25348268958
111.55/111.68	c 103.873 95.3242 11399 863214
111.55/111.68	o 25348268955
111.66/111.70	c 103.891 95.3242 11399 863313
111.66/111.70	o 25348268954
111.66/111.73	c 103.917 95.3242 11403 863713
111.66/111.73	o 25348268947
111.76/111.86	c 104.034 95.3242 11468 863981
111.76/111.86	o 25348268946
111.76/111.88	c 104.055 95.3242 11468 864375
111.76/111.88	o 25348268944
111.86/111.90	c 104.075 95.3242 11468 864484
111.86/111.90	o 25348268943
111.96/112.01	c 104.174 95.3242 11479 864635
111.96/112.01	o 25348268942
111.96/112.05	c 104.214 95.3242 11481 864755
111.96/112.05	o 25348268941
112.56/112.68	c 104.81 95.3242 11739 865499
112.56/112.68	o 25348268940
112.86/112.90	c 105.017 95.3242 11862 865964
112.86/112.90	o 25348268939
112.96/113.07	c 105.177 95.3242 11954 866259
112.96/113.08	o 25348268938
112.96/113.10	c 105.197 95.3242 11957 866367
112.96/113.10	o 25348268937
113.16/113.22	c 105.316 95.3242 12023 867027
113.16/113.22	o 25345912734
113.16/113.24	c 105.329 95.3242 12023 867127
113.16/113.24	o 25345912733
113.16/113.26	c 105.346 95.3242 12024 867848
113.16/113.26	o 25345912731
113.16/113.27	c 105.355 95.3242 12024 867940
113.16/113.27	o 25345912730
113.16/113.28	c 105.369 95.3242 12025 868327
113.16/113.28	o 25345912726
113.16/113.29	c 105.379 95.3242 12025 868419
113.16/113.29	o 25345912725
113.26/113.31	c 105.391 95.3242 12026 868519
113.26/113.31	o 25345912724
113.26/113.32	c 105.404 95.3242 12031 868619
113.26/113.32	o 25345912723
113.26/113.33	c 105.407 95.3242 12031 868619
113.26/113.33	s OPTIMUM FOUND
113.26/113.33	v -x1 x2 -x3 -x4 x5 -x6 -x7 x8 -x9 -x10 x11 -x12 x13 -x14 x15 -x16 -x17 x18 x19 -x20 -x21 x22 x23 -x24 x25 -x26 x27 -x28 -x29 x30 -x31 x32 -x33 -x34 x35 -x36 -x37 x38 x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 x80 -x81 -x82 x83 -x84 -x85 x86 x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 x132 -x133 -x134 x135 x136 -x137 x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 x153 -x154 -x155 x156 -x157 -x158 x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 x258 -x259 x260 -x261 -x262 -x263 x264 -x265 -x266 x267 x268 -x269 x270 x271 -x272 x273 x274 -x275 -x276 -x277 -x278 x279 -x280 x281 x282 -x283 -x284 -x285 x286 -x287 x288 x289 -x290 x291 -x292 x293 -x294 -x295 -x296 x297 x298 -x299 -x300 x301 -x302 -x303 x304 x305 -x306 -x307 x308 x309 -x310 -x311 -x312 x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 x323 x324 -x325 x326 -x327 -x328 x329 -x330 -x331 x332 x333 -x334 x335 x336 x337 -x338 x339 -x340 -x341 -x342 x343 -x344 x345 -x346 x347 -x348 -x349 x350 -x351 x352 -x353 -x354 x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 x382 x383 x384 x385 x386 x387 -x388 -x389 -x390 -x391 x392 -x393 x394 -x395 -x396 x397 x398 x399 x400 x401 x402 -x403 x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 x420 x421 -x422 -x423 -x424 x425 -x426 x427 -x428 -x429 x430 x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 x457 -x458 x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 x471 -x472 -x473 x474 -x475 -x476 x477 -x478 x479 -x480 -x481 -x482 -x483 x484 x485 -x486 x487 x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 x496 -x497 x498 -x499 x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 x518 -x519 x520 -x521 -x522 -x523 -x524 x525 x526 -x527 x528 -x529 -x530 x531 -x532 x533 -x534 -x535 -x536 x537 x538 -x539 -x540 -x541 -x542 x543 -x544 x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 x566 -x567 -x568 x569 -x570 -x571 -x572 x573 -x574 -x575 x576 x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 x591 -x592 -x593 -x594 x595 -x596 x597 -x598 x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 x611 -x612 x613 -x614 -x615 x616 x617 -x618 x619 -x620 x621 -x622 -x623 -x624 -x625 x626 -x627 x628 x629 -x630 -x631 x632 x633 -x634 -x635 -x636 -x637 x638 -x639 x640 -x641 -x642 -x643 x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 x670 -x671 x672 -x673 -x674 x675 -x676 x677 -x678 x679 x680 x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 x689 x690 -x691 -x692 -x693 x694 -x695 -x696 -x697 -x698 -x699 x700 -x701 x702 x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 x711 x712 x713 -x714 x715 -x716 -x717 -x718 -x719 x720 x721 x722 -x723 x724 -x725 x726 -x727 x728 -x729 -x730 -x731 x732 -x733 x734 x735 -x736 -x737 -x738 -x739 x740 -x741 x742 -x743 x744 x745 -x746 -x747 -x748 x749 -x750 x751 -x752 -x753 x754 -x755 -x756 x757 -x758 x759 x760 -x761 x762 x763 -x764 -x765 x766 -x767 x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 x776 -x777 -x778 x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 x789 -x790 -x791 -x792 x793 x794 x795 x796 x797 -x798 x799 -x800 -x801 x802 -x803 -x804 x805 x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 x814 -x815 -x816 x817 x818 -x819 -x820 x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 x840 -x841 x842 -x843 x844 -x845 -x846 x847 x848 -x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 x857 -x858 x859 -x860 -x861 x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 x874 -x875 x876 -x877 -x878 x879 x880 -x881 -x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 x895 x896 -x897 x898 -x899 x900 -x901 x902 -x903 x904 -x905 x906 x907 -x908 -x909 x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 x960 -x961 x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 x1055 -x1056 -x1057 -x1058 -x1059 x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 x1068 -x1069 x1070 x1071 x1072 -x1073 -x1074 -x1075 -x1076 x1077 x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 x1085 x1086 x1087 x1088 x1089 -x1090 -x1091 x1092 -x1093 -x1094 x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 x1122 x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 x1152 -x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 x1187 -x1188 x1189 -x1190 -x1191 -x1192 x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 x1248 -x1249 x1250 -x1251 x1252 -x1253 x1254 -x1255 -x1256 x1257 -x1258 -x1259 x1260 x1261 -x1262 x1263 -x1264 x1265 -x1266 -x1267 x1268 x1269 x1270 x1271 -x1272 -x1273 -x1274 x1275 -x1276 x1277 x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 x1287 -x1288 -x1289 -x1290 x1291 x1292 -x1293 x1294 x1295 -x1296 -x1297 -x1298 x1299 -x1300 x1301 -x1302 -x1303 x1304 -x1305 x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 x1328 -x1329 -x1330 -x1331 x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 x1361 -x1362 -x1363 x1364 -x1365 x1366 -x1367 x1368 -x1369 -x1370 x1371 -x1372 -x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 x1391 -x1392 x1393 x1394 -x1395 x1396 -x1397 x1398 -x1399 x1400 x1401 -x1402 -x1403 x1404 -x1405 x1406 -x1407 -x1408 -x1409 x1410 -x1411 x1412 -x1413 -x1414 x1415 -x1416 -x1417 x1418 -x1419 x1420 -x1421 -x1422 x1423 -x1424 -x1425 x1426 x1427 -x1428 x1429 x1430 -x1431 -x1432 x1433 -x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 x1442 -x1443 -x1444 x1445 -x1446 x1447 -x1448 x1449 -x1450 x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 x1485 -x1486 -x1487 x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 x1509 x1510 x1511 x1512 x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 x1530 x1531 -x1532 x1533 -x1534 x1535 x1536 x1537 -x1538 x1539 x1540 x1541 x1542 x1543 x1544 x1545 x1546 x1547 -x1548 -x1549 x1550 x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 x1558 -x1559 x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 x1580 x1581 x1582 x1583 x1584 x1585 x1586 x1587 -x1588 x1589 x1590 -x1591 x1592 x1593 x1594 x1595 -x1596 -x1597 -x1598 x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 -x1621 x1622 -x1623 x1624 x1625 -x1626 -x1627 x1628 -x1629 x1630 x1631 x1632 -x1633 x1634 -x1635 x1636 -x1637 -x1638 x1639 x1640 x1641 x1642 -x1643 x1644 x1645 x1646 x1647 -x1648 x1649 -x1650 x1651 x1652 -x1653 x1654 -x1655 x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 x1663 -x1664 -x1665 x1666 -x1667 -x1668 x1669 x1670 -x1671 x1672 x1673 -x1674 x1675 -x1676 x1677 -x1678 -x1679 x1680 x1681 -x1682 -x1683 -x1684 -x1685 x1686 -x1687 -x1688 -x1689 x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700 x1701 x1702 -x1703 x1704 -x1705 -x1706 x1707 x1708 -x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 x1729 -x1730 -x1731 x1732 x1733 -x1734 -x1735 x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 x1747 x1748 x1749 -x1750 x1751 x1752 -x1753 -x1754 x1755 -x1756 x1757 x1758 -x1759 x1760 -x1761 x1762 -x1763 -x1764 -x1765 x1766 -x1767 x1768 -x1769 -x1770 x1771 -x1772 -x1773 -x1774 -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 x1792 x1793 -x1794 x1795 x1796 x1797 x1798 x1799 -x1800 x1801 -x1802 x1803 -x1804 -x1805 x1806 x1807 x1808 x1809 -x1810 x1811 -x1812 x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 x1833 -x1834 x1835 -x1836 x1837 x1838 x1839 x1840 x1841 x1842 x1843 -x1844 x1845 -x1846 -x1847 -x1848 -x1849 x1850 x1851 -x1852 -x1853 -x1854 x1855 -x1856 -x1857 x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 x1867 -x1868 x1869 x1870 -x1871 x1872 x1873 -x1874 -x1875 -x1876 -x1877 x1878 -x1879 x1880 -x1881 x1882 -x1883 -x1884 x1885 x1886 -x1887 -x1888 x1889 -x1890 -x1891 x1892 -x1893 x1894 x1895 -x1896 -x1897 x1898 x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 x1908 -x1909 -x1910 -x1911 x1912 -x1913 x1914 -x1915 x1916 x1917 -x1918 -x1919 x1920 -x1921 x1922 x1923 -x1924 -x1925 x1926 -x1927 x1928 -x1929 x1930 -x1931 x1932 -x1933 x1934 -x1935 x1936 -x1937 -x1938 x1939 x1940 -x1941 x1942 -x1943 x1944 -x1945 -x1946 x1947 -x1948 x1949 -x1950 -x1951 x1952 -x1953 x1954 -x1955 x1956 -x1957 x1958 -x1959 -x1960 x1961 -x1962 x1963 x1964 x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 -x1976 -x1977 -x1978 x1979 x1980 -x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 x1988 x1989 -x1990 -x1991 x1992 -x1993 -x1994 x1995 -x1996 -x1997 -x1998 x1999 -x2000 x2001 x2002 -x2003 x2004 x2005 -x2006 x2007 -x2008 x2009 -x2010 x2011 x2012 -x2013 -x2014 -x2015 x2016 -x2017 x2018 x2019 -x2020 x2021 x2022 -x2023 x2024 x2025 -x2026 -x2027 -x2028 x2029 x2030 -x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 x2043 x2044 x2045 -x2046 x2047 -x2048 x2049 -x2050 x2051 -x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 x2068 -x2069 -x2070 x2071 -x2072 x2073 x2074 x2075 -x2076 -x2077 -x2078 x2079 -x2080 x2081 x2082 -x2083 x2084 x2085 -x2086 x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2097 x2098 -x2099 -x2100 x2101 -x2102 x2103 -x2104 -x2105 x2106 -x2107 -x2108 -x2109 -x2110 x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 x2130 -x2131 -x2132 x2133 -x2134 x2135 -x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 x2158 x2159 x2160 x2161 x2162 -x2163 x2164 x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 x2188 -x2189 x2190 -x2191 x2192 -x2193 -x2194 -x2195 x2196 -x2197 -x2198 -x2199 -x2200 x2201 -x2202 -x2203 x2204 x2205 -x2206 x2207 x2208 -x2209 x2210 -x2211 x2212 -x2213 x2214 -x2215 -x2216 x2217 x2218 x2219 -x2220 -x2221 x2222 -x2223 x2224 x2225 -x2226 x2227 -x2228 -x2229 -x2230 x2231 x2232 -x2233 x2234 -x2235 x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 x2250 x2251 -x2252 -x2253 x2254 -x2255 x2256 x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 x2265 -x2266 -x2267 x2268 x2269 -x2270 x2271 -x2272 x2273 x2274 -x2275 x2276 -x2277 -x2278 x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 x2288 -x2289 -x2290 x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 x2306 -x2307 x2308 x2309 x2310 x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 x2320 -x2321 -x2322 -x2323 x2324 x2325 -x2326 -x2327 x2328 -x2329 -x2330 x2331 -x2332 -x2333 -x2334 -x2335 x2336 -x2337 x2338 -x2339 -x2340 x2341 -x2342 -x2343 x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 x2352 -x2353 x2354 -x2355 -x2356 x2357 -x2358 x2359 -x2360 -x2361 x2362 x2363 -x2364 x2365 -x2366 -x2367 x2368 x2369 x2370 -x2371 -x2372 x2373 x2374 -x2375 -x2376 x2377 x2378 x2379 -x2380 x2381 -x2382 -x2383 -x2384 -x2385 x2386 x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 x2409 x2410 x2411 -x2412 x2413 -x2414 x2415 -x2416 x2417 -x2418 x2419 -x2420 -x2421 x2422 -x2423 -x2424 x2425 x2426 -x2427 x2428 x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 x2439 x2440 -x2441 -x2442 -x2443 x2444 -x2445 x2446 -x2447 x2448 -x2449 x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 x2457 x2458 x2459 -x2460 -x2461 x2462 x2463 x2464 x2465 x2466 x2467 x2468 -x2469 x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 x2480 -x2481 -x2482 x2483 -x2484 x2485 x2486 -x2487 -x2488 x2489 -x2490 x2491 -x2492 x2493 -x2494 -x2495 x2496 -x2497 x2498 -x2499 x2500 -x2501 x2502 -x2503 -x2504 x2505 -x2506 x2507 x2508 x2509 -x2510 x2511 -x2512 -x2513 x2514 -x2515 x2516 -x2517 x2518 -x2519 -x2520 x2521 -x2522 -x2523 -x2524 -x2525 x2526 x2527 -x2528 -x2529 -x2530 -x2531 x2532 -x2533 -x2534 -x2535 x2536 -x2537 -x2538 -x2539 x2540 x2541 -x2542 -x2543 x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 x2571 -x2572 x2573 -x2574 -x2575 x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 x2583 x2584 -x2585 -x2586 x2587 x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 x2595 -x2596 -x2597 -x2598 x2599 -x2600 -x2601 x2602 -x2603 -x2604 x2605 -x2606 x2607 -x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 x2620 -x2621 -x2622 x2623 -x2624 x2625 -x2626 x2627 -x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 x2635 x2636 -x2637 -x2638 -x2639 -x2640 x2641 x2642 x2643 x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 x2653 -x2654 x2655 -x2656 -x2657 x2658 -x2659 x2660 -x2661 x2662 -x2663 x2664 -x2665 -x2666 -x2667 x2668 -x2669 -x2670 x2671 -x2672 -x2673 -x2674 -x2675 x2676 x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 x2684 -x2685 -x2686 x2687 -x2688 -x2689 x2690 x2691 x2692 -x2693 x2694 -x2695 x2696 x2697 x2698 x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 -x2706 -x2707 -x2708 x2709 -x2710 -x2711 -x2712 x2713 -x2714 x2715 -x2716 x2717 -x2718 -x2719 -x2720 -x2721 -x2722 x2723 -x2724 x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2732 x2733 -x2734 x2735 x2736 -x2737 x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 x2749 -x2750 x2751 x2752 -x2753 -x2754 -x2755 x2756 -x2757 -x2758 x2759 -x2760 -x2761 -x2762 -x2763 x2764 -x2765 -x2766 -x2767 -x2768 -x2769 x2770 -x2771 -x2772 -x2773 x2774 x2775 x2776 -x2777 x2778 -x2779 x2780 -x2781 -x2782 -x2783 x2784 x2785 -x2786 -x2787 -x2788 x2789 -x2790 -x2791 -x2792 -x2793 x2794 x2795 x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 -x2803 -x2804 -x2805 -x2806 x2807 -x2808 -x2809 -x2810 x2811 -x2812 x2813 -x2814 x2815 -x2816 x2817 -x2818 x2819 x2820 x2821 x2822 -x2823 -x2824 x2825 x2826 x2827 x2828 x2829 x2830 x2831 x2832 -x2833 x2834 -x2835 x2836 -x2837 x2838 -x2839 x2840 x2841 -x2842 x2843 -x2844 -x2845 x2846 -x2847 x2848 -x2849 -x2850 x2851 x2852 -x2853 -x2854 x2855 -x2856 x2857 -x2858 -x2859 -x2860 -x2861 -x2862 x2863 -x2864 x2865 x2866 x2867 -x2868 -x2869 x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 x2882 x2883 x2884 -x2885 -x2886 -x2887 x2888 x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 x2914 -x2915 -x2916 -x2917 x2918 -x2919 x2920 -x2921 x2922 -x2923 -x2924 x2925 -x2926 -x2927 -x2928 -x2929 x2930 x2931 x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 x3672 x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 x4248 x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 x5004 x5005 x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 x5595 -x5596 -x5597 -x5598 x5599 x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 x5616 -x5617 -x5618 x5619 -x5620 -x5621 x5622 x5623 x5624 x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 x5632 x5633 -x5634 x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 x5706 x5707 x5708 -x5709 -x5710 -x5711 -x5712 x5713 x5714 -x5715 x5716 -x5717 -x5718 -x5719 -x5720 x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 x5732 -x5733 x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 x5766 x5767 x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 x5782 -x5783 -x5784 -x5785 x5786 x5787 x5788 x5789 x5790 x5791 x5792 x5793 x5794 -x5795 x5796 -x5797 -x5798 x5799 -x5800 x5801 x5802 x5803 x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 x5811 -x5812 -x5813 x5814 x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 x5823 -x5824 -x5825 x5826 -x5827 x5828 x5829 x5830 x5831 x5832 -x5833 -x5834 x5835 x5836 x5837 x5838 x5839 x5840 x5841 -x5842 -x5843 x5844 x5845 -x5846 x5847 x5848 x5849 x5850 x5851 x5852 -x5853 -x5854 x5855 x5856 -x5857 x5858 -x5859 -x5860 -x5861 -x5862 -x5863 x5864 x5865 -x5866 -x5867 x5868 x5869 x5870 x5871 x5872 x5873 x5874 x5875 x5876 x5877 -x5878 -x5879 -x5880 x5881 x5882 -x5883 -x5884 -x5885 x5886 x5887 -x5888 x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 x5896 x5897 x5898 -x5899 x5900 -x5901 -x5902 -x5903 x5904 x5905 -x5906 -x5907 x5908 x5909 x5910 x5911 -x5912 -x5913 x5914 -x5915 x5916 x5917 -x5918 -x5919 x5920 x5921 -x5922 -x5923 x5924 -x5925 x5926 x5927 x5928 x5929 -x5930 -x5931 x5932 -x5933 -x5934 -x5935 -x5936 -x5937 x5938 x5939 x5940 x5941 -x5942 -x5943 -x5944 x5945 -x5946 -x5947 x5948 -x5949 -x5950 -x5951 x5952 x5953 -x5954 x5955 x5956 -x5957 -x5958 -x5959 -x5960 x5961 x5962 x5963 -x5964 x5965 -x5966 -x5967 x5968 x5969 -x5970 x5971 x5972 -x5973 x5974 x5975 -x5976 x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 x5988 -x5989 -x5990 -x5991 -x5992 x5993 -x5994 x5995 -x5996 -x5997 -x5998 -x5999 x6000 x6001 -x6002 -x6003 -x6004 -x6005 x6006 -x6007 x6008 -x6009 -x6010 x6011 x6012 x6013 -x6014 x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 x6037 x6038 x6039 x6040 x6041 -x6042 -x6043 -x6044 -x6045 -x6046 x6047 x6048 -x6049 -x6050 -x6051 x6052 x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 x6062 x6063 x6064 x6065 -x6066 -x6067 -x6068 x6069 -x6070 -x6071 -x6072 x6073 -x6074 x6075 -x6076 x6077 x6078 -x6079 x6080 -x6081 x6082 x6083 -x6084 x6085 x6086 x6087 x6088 x6089 x6090 x6091 x6092 x6093 x6094 -x6095 -x6096 -x6097 -x6098 x6099 x6100 x6101 x6102 x6103 x6104 x6105 x6106 x6107 x6108 x6109 x6110 x6111 x6112 -x6113 x6114 -x6115 -x6116 x6117 x6118 -x6119 x6120 x6121 x6122 -x6123 -x6124 x6125 x6126 x6127 -x6128 -x6129 -x6130 -x6131 x6132 x6133 x6134 x6135 -x6136 x6137 x6138 x6139 x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 x6151 x6152 x6153 x6154 -x6155 x6156 x6157 x6158 x6159 -x6160 -x6161 x6162 -x6163 -x6164 x6165 -x6166 -x6167 x6168 x6169 x6170 x6171 x6172 x6173 x6174 x6175 x6176 -x6177 -x6178 x6179 -x6180 x6181 x6182 x6183 x6184 x6185 -x6186 x6187 -x6188 -x6189 x6190 x6191 -x6192 x6193 x6194 x6195 x6196 x6197 x6198 x6199 x6200 -x6201 x6202 x6203 x6204 x6205 x6206 x6207 x6208 -x6209 -x6210 -x6211 x6212 -x6213 -x6214 x6215 x6216 -x6217 -x6218 -x6219 -x6220 -x6221 x6222 x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 x6231 x6232 -x6233 x6234 x6235 x6236 x6237 x6238 x6239 x6240 x6241 -x6242 -x6243 x6244 -x6245 -x6246 x6247 -x6248 -x6249 x6250 x6251 -x6252 -x6253 -x6254 -x6255 -x6256 x6257 x6258 x6259 x6260 -x6261 x6262 -x6263 x6264 x6265 x6266 x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 x6274 x6275 x6276 x6277 x6278 x6279 -x6280 -x6281 x6282 -x6283 x6284 x6285 x6286 -x6287 -x6288 x6289 x6290 -x6291 x6292 x6293 x6294 -x6295 -x6296 -x6297 x6298 -x6299 x6300 x6301 x6302 x6303 -x6304 -x6305 -x6306 x6307 x6308 x6309 x6310 x6311 -x6312 -x6313 -x6314 x6315 x6316 x6317 x6318 x6319 x6320 x6321 x6322 x6323 x6324 x6325 x6326 x6327 -x6328 x6329 x6330 x6331 x6332 -x6333 x6334 -x6335 x6336 -x6337 x6338 x6339 x6340 -x6341 x6342 x6343 -x6344 x6345 -x6346 -x6347 x6348 x6349 x6350 -x6351 x6352 x6353 -x6354 -x6355 -x6356 -x6357 x6358 -x6359 x6360 -x6361 -x6362 x6363 -x6364 -x6365 -x6366 -x6367 x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 x6384 x6385 x6386 x6387 x6388 -x6389 x6390 x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 x6404 -x6405 -x6406 -x6407 -x6408 -x6409 x6410 x6411 -x6412 x6413 x6414 x6415 x6416 x6417 x6418 x6419 -x6420 x6421 -x6422 -x6423 -x6424 x6425 x6426 -x6427 -x6428 -x6429 -x6430 -x6431 x6432 -x6433 -x6434 -x6435 -x6436 -x6437 x6438 -x6439 x6440 -x6441 x6442 x6443 -x6444 -x6445 x6446 -x6447 x6448 x6449 x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 x6457 x6458 -x6459 -x6460 -x6461 x6462 x6463 -x6464 -x6465 -x6466 x6467 -x6468 x6469 -x6470 -x6471 -x6472 x6473 x6474 x6475 x6476 x6477 x6478 x6479 x6480 -x6481 -x6482 -x6483 -x6484 x6485 x6486 x6487 x6488 -x6489 x6490 -x6491 -x6492 x6493 -x6494 x6495 x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 x6513 x6514 x6515 x6516 x6517 x6518 x6519 x6520 -x6521 -x6522 x6523 x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 x6541 x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 x6549 -x6550

Verifier Data

OK	25345912723

Watcher Data

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2684189-1277514547/watcher-2684189-1277514547 -o /tmp/evaluation-result-2684189-1277514547/solver-2684189-1277514547 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2684189-1277514547.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: 0.99 0.98 0.99 3/106 25977
/proc/meminfo: memFree=1849756/2059040 swapFree=4139128/4192956
[pid=25977] ppid=25975 vsize=2488 CPUtime=0
/proc/25977/stat : 25977 (pbct) R 25975 25977 25203 0 -1 4202496 305 0 0 0 0 0 0 0 20 0 1 0 127058392 2547712 228 1992294400 134512640 136485738 4289086896 18446744073709551615 135178825 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25977/statm: 622 229 151 482 0 138 0

[startup+0.0436791 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 25977
/proc/meminfo: memFree=1849756/2059040 swapFree=4139128/4192956
[pid=25977] ppid=25975 vsize=2488 CPUtime=0.04
/proc/25977/stat : 25977 (pbct) R 25975 25977 25203 0 -1 4202496 326 0 0 0 4 0 0 0 20 0 1 0 127058392 2547712 249 1992294400 134512640 136485738 4289086896 18446744073709551615 135173200 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25977/statm: 622 249 157 482 0 138 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2488

[startup+0.100686 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 25977
/proc/meminfo: memFree=1849756/2059040 swapFree=4139128/4192956
[pid=25977] ppid=25975 vsize=2628 CPUtime=0.09
/proc/25977/stat : 25977 (pbct) R 25975 25977 25203 0 -1 4202496 369 0 0 0 9 0 0 0 20 0 1 0 127058392 2691072 292 1992294400 134512640 136485738 4289086896 18446744073709551615 135565441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25977/statm: 657 292 157 482 0 173 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2628

[startup+0.300708 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 25977
/proc/meminfo: memFree=1849756/2059040 swapFree=4139128/4192956
[pid=25977] ppid=25975 vsize=3332 CPUtime=0.29
/proc/25977/stat : 25977 (pbct) R 25975 25977 25203 0 -1 4202496 546 0 0 0 29 0 0 0 20 0 1 0 127058392 3411968 469 1992294400 134512640 136485738 4289086896 18446744073709551615 135416500 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/25977/statm: 833 469 157 482 0 349 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3332

[startup+0.700752 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 25977
/proc/meminfo: memFree=1849756/2059040 swapFree=4139128/4192956
[pid=25977] ppid=25975 vsize=37696 CPUtime=0.69
/proc/25977/stat : 25977 (pbct) R 25975 25977 25203 0 -1 4202496 9456 0 0 0 65 4 0 0 21 0 1 0 127058392 38600704 8836 1992294400 134512640 136485738 4289086896 18446744073709551615 134724796 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25977/statm: 9424 8837 198 482 0 8940 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37696

[startup+1.50084 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25978
/proc/meminfo: memFree=1768404/2059040 swapFree=4139128/4192956
[pid=25977] ppid=25975 vsize=89596 CPUtime=1.49
/proc/25977/stat : 25977 (pbct) R 25975 25977 25203 0 -1 4202496 23044 0 0 0 138 11 0 0 23 0 1 0 127058392 91746304 21301 1992294400 134512640 136485738 4289086896 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25977/statm: 22399 21301 228 482 0 21915 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89596

[startup+3.10102 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25978
/proc/meminfo: memFree=1763444/2059040 swapFree=4139128/4192956
[pid=25977] ppid=25975 vsize=91628 CPUtime=3.09
/proc/25977/stat : 25977 (pbct) R 25975 25977 25203 0 -1 4202496 23822 0 0 0 277 32 0 0 25 0 1 0 127058392 93827072 21562 1992294400 134512640 136485738 4289086896 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25977/statm: 22907 21562 246 482 0 22423 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 91628

[startup+6.30038 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25978
/proc/meminfo: memFree=1763444/2059040 swapFree=4139128/4192956
[pid=25977] ppid=25975 vsize=91892 CPUtime=6.29
/proc/25977/stat : 25977 (pbct) R 25975 25977 25203 0 -1 4202496 23977 0 0 0 563 66 0 0 25 0 1 0 127058392 94097408 21639 1992294400 134512640 136485738 4289086896 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25977/statm: 22973 21639 246 482 0 22489 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91892

[startup+12.7011 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25978
/proc/meminfo: memFree=1762700/2059040 swapFree=4139128/4192956
[pid=25977] ppid=25975 vsize=92816 CPUtime=12.69
/proc/25977/stat : 25977 (pbct) R 25975 25977 25203 0 -1 4202496 24360 0 0 0 1144 125 0 0 25 0 1 0 127058392 95043584 21877 1992294400 134512640 136485738 4289086896 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25977/statm: 23204 21877 246 482 0 22720 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92816

[startup+25.5005 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25978
/proc/meminfo: memFree=1761336/2059040 swapFree=4139128/4192956
[pid=25977] ppid=25975 vsize=94136 CPUtime=25.49
/proc/25977/stat : 25977 (pbct) R 25975 25977 25203 0 -1 4202496 24820 0 0 0 2324 225 0 0 25 0 1 0 127058392 96395264 22208 1992294400 134512640 136485738 4289086896 18446744073709551615 135181204 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25977/statm: 23534 22208 246 482 0 23050 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 94136

[startup+51.1014 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25980
/proc/meminfo: memFree=1758484/2059040 swapFree=4139128/4192956
[pid=25977] ppid=25975 vsize=96944 CPUtime=51.08
/proc/25977/stat : 25977 (pbct) R 25975 25977 25203 0 -1 4202496 25614 0 0 0 4715 393 0 0 25 0 1 0 127058392 99270656 22896 1992294400 134512640 136485738 4289086896 18446744073709551615 135040916 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25977/statm: 24236 22896 246 482 0 23752 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 96944

[startup+102.308 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25980
/proc/meminfo: memFree=1757740/2059040 swapFree=4139128/4192956
[pid=25977] ppid=25975 vsize=97344 CPUtime=102.26
/proc/25977/stat : 25977 (pbct) R 25975 25977 25203 0 -1 4202496 26054 0 0 0 9503 723 0 0 25 0 1 0 127058392 99680256 23019 1992294400 134512640 136485738 4289086896 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25977/statm: 24336 23019 246 482 0 23852 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 97344

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

[startup+108.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25980
/proc/meminfo: memFree=1757368/2059040 swapFree=4139128/4192956
[pid=25977] ppid=25975 vsize=97608 CPUtime=108.65
/proc/25977/stat : 25977 (pbct) R 25975 25977 25203 0 -1 4202496 26161 0 0 0 10106 759 0 0 25 0 1 0 127058392 99950592 23108 1992294400 134512640 136485738 4289086896 18446744073709551615 134669712 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25977/statm: 24402 23108 246 482 0 23918 0
Current children cumulated CPU time (s) 108.65
Current children cumulated vsize (KiB) 97608

[startup+111.901 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25980
/proc/meminfo: memFree=1757368/2059040 swapFree=4139128/4192956
[pid=25977] ppid=25975 vsize=97608 CPUtime=111.86
/proc/25977/stat : 25977 (pbct) R 25975 25977 25203 0 -1 4202496 26175 0 0 0 10407 779 0 0 25 0 1 0 127058392 99950592 23110 1992294400 134512640 136485738 4289086896 18446744073709551615 135024558 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25977/statm: 24402 23110 246 482 0 23918 0
Current children cumulated CPU time (s) 111.86
Current children cumulated vsize (KiB) 97608

[startup+112.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25980
/proc/meminfo: memFree=1757368/2059040 swapFree=4139128/4192956
[pid=25977] ppid=25975 vsize=97608 CPUtime=112.66
/proc/25977/stat : 25977 (pbct) R 25975 25977 25203 0 -1 4202496 26179 0 0 0 10482 784 0 0 25 0 1 0 127058392 99950592 23110 1992294400 134512640 136485738 4289086896 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25977/statm: 24402 23110 246 482 0 23918 0
Current children cumulated CPU time (s) 112.66
Current children cumulated vsize (KiB) 97608

[startup+113.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25980
/proc/meminfo: memFree=1757368/2059040 swapFree=4139128/4192956
[pid=25977] ppid=25975 vsize=91572 CPUtime=113.46
/proc/25977/stat : 25977 (pbct) R 25975 25977 25203 0 -1 4202496 26203 0 0 0 10557 789 0 0 25 0 1 0 127058392 93769728 21946 1992294400 134512640 136485738 4289086896 18446744073709551615 135844774 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25977/statm: 22893 21946 250 482 0 22409 0
Current children cumulated CPU time (s) 113.46
Current children cumulated vsize (KiB) 91572

[startup+113.701 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 25980
/proc/meminfo: memFree=1757368/2059040 swapFree=4139128/4192956
[pid=25977] ppid=25975 vsize=91572 CPUtime=113.66
/proc/25977/stat : 25977 (pbct) R 25975 25977 25203 0 -1 4202496 26203 0 0 0 10577 789 0 0 25 0 1 0 127058392 93769728 21946 1992294400 134512640 136485738 4289086896 18446744073709551615 134720250 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/25977/statm: 22893 21946 250 482 0 22409 0
Current children cumulated CPU time (s) 113.66
Current children cumulated vsize (KiB) 91572

Child status: 0
Real time (s): 113.76
CPU time (s): 113.726
CPU user time (s): 105.821
CPU system time (s): 7.9048
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 97608

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

runsolver used 0.204968 second user time and 0.556915 second system time

The end

Launcher Data

Begin job on node005 at 2010-06-26 03:09:07
IDJOB=2684189
IDBENCH=72291
IDSOLVER=1170
FILE ID=node005/2684189-1277514547
PBS_JOBID= 11190644
Free space on /tmp= 62528 MiB

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

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

MD5SUM BENCH= a28eb4bd9bb6fe4f9f9bc58539a199f7
RANDOM SEED=1484625065

node005.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.246
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.49
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.246
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1850284 kB
Buffers:         24444 kB
Cached:          87412 kB
SwapCached:       6196 kB
Active:          27872 kB
Inactive:        97080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1850284 kB
SwapTotal:     4192956 kB
SwapFree:      4139128 kB
Dirty:            2868 kB
Writeback:           0 kB
AnonPages:       11592 kB
Mapped:          11832 kB
Slab:            61700 kB
PageTables:       4116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183260 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= 62528 MiB
End job on node005 at 2010-06-26 03:11:01