Trace number 3497998

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
MinisatID 2.5.2-gmp (fixed)OPT25345912719 429.091 429.079

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 benchmark2.75158
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.01	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
50.39/50.44	o 1132514834146
50.39/50.44	o 1114440232174
50.39/50.44	o 1110823426799
50.39/50.44	o 1107206621424
50.39/50.44	o 1103589816049
50.39/50.44	o 1099973010674
50.39/50.44	o 1096356205299
50.39/50.44	o 1092739399924
50.39/50.44	o 1089122594549
50.39/50.44	o 1085505789174
50.39/50.44	o 1081888983799
50.39/50.44	o 1078272178424
50.39/50.44	o 1074655373049
50.39/50.44	o 1071040923899
50.39/50.44	o 1067424118524
50.39/50.44	o 1063807313149
50.39/50.44	o 1049347160324
50.39/50.44	o 1045730354949
50.39/50.44	o 1042113549574
50.39/50.44	o 1038496744199
50.39/50.44	o 1034879938824
50.39/50.44	o 1031263133449
50.39/50.44	o 1027646328074
50.39/50.44	o 1024029522699
50.39/50.44	o 1020412717324
50.39/50.44	o 1016795911949
50.39/50.44	o 1013179106574
50.39/50.44	o 1009562301199
50.39/50.44	o 1005945495824
50.39/50.44	o 1002328690449
50.39/50.44	o 998711885074
50.39/50.44	o 995095079699
50.39/50.44	o 991478274324
50.39/50.44	o 926406408519
50.39/50.44	o 922789603144
50.39/50.44	o 919172797769
50.39/50.44	o 915574842194
50.39/50.44	o 911960393044
50.39/50.44	o 908343587670
50.39/50.44	o 904726782295
50.39/50.44	o 901112333145
50.39/50.44	o 897497883995
50.39/50.44	o 886652180320
50.39/50.44	o 883035374946
50.39/50.44	o 879418569571
50.39/50.44	o 875806476647
50.39/50.44	o 872189671272
50.39/50.44	o 868572865897
50.39/50.44	o 864956060529
50.39/50.44	o 861341611381
50.39/50.44	o 857724806006
50.39/50.44	o 854110356856
50.39/50.44	o 850493551481
50.39/50.44	o 846876746106
50.39/50.44	o 843262296956
50.39/50.44	o 839645491581
50.39/50.44	o 836028686206
50.39/50.44	o 832414237056
50.39/50.44	o 828799787906
50.39/50.44	o 825182982531
50.39/50.44	o 821568533381
50.39/50.44	o 817954084231
50.39/50.44	o 814337278856
50.39/50.44	o 810720473481
50.39/50.44	o 807103668106
50.39/50.44	o 803489218956
50.39/50.44	o 799874769806
50.39/50.44	o 796257964431
50.39/50.44	o 792645871506
50.39/50.44	o 789031422357
50.39/50.44	o 785414616982
50.39/50.44	o 774568913308
50.39/50.44	o 770952107933
50.39/50.44	o 767335302558
50.39/50.44	o 763720853408
50.39/50.44	o 760106404258
50.39/50.44	o 756489598883
50.39/50.44	o 752872793508
50.39/50.44	o 749255988133
50.39/50.44	o 745641538983
50.39/50.44	o 738407928233
50.39/50.44	o 738405572008
50.39/50.44	o 734791122858
50.39/50.44	o 731174317483
50.39/50.44	o 727557512108
50.39/50.44	o 709473485234
50.39/50.44	o 702261080521
50.39/50.44	o 702258724296
50.39/50.44	o 695025113546
50.39/50.44	o 691408308171
50.39/50.44	o 691405951946
50.39/50.44	o 691403595721
50.39/50.44	o 687786790346
50.39/50.44	o 684169984971
50.39/50.44	o 680553179596
50.39/50.44	o 676936374221
50.39/50.44	o 676936374220
50.39/50.44	o 673319568845
50.39/50.44	o 669702763470
50.39/50.44	o 666085958095
50.39/50.44	o 658854703570
50.39/50.44	o 655237898195
50.39/50.44	o 655235541970
50.39/50.44	o 655233185745
50.39/50.44	o 651616380370
50.39/50.44	o 647999574995
50.39/50.44	o 644382769620
50.39/50.44	o 644380413395
50.39/50.44	o 640763608020
50.39/50.44	o 637146802645
50.39/50.44	o 633529997270
50.39/50.44	o 629917904345
50.39/50.44	o 626301098970
50.39/50.44	o 622684293595
50.39/50.44	o 619067488220
50.39/50.44	o 615450682845
50.39/50.44	o 611833877470
50.39/50.44	o 608217072095
50.39/50.44	o 608214715870
50.39/50.44	o 604597910495
50.39/50.44	o 604595554270
50.39/50.44	o 600978748895
50.39/50.44	o 597361943520
50.39/50.44	o 593745138147
50.39/50.44	o 590128332772
50.39/50.44	o 590128332771
50.39/50.44	o 582897078246
50.39/50.44	o 582894722021
50.39/50.44	o 579277916646
50.39/50.44	o 575661111271
50.39/50.44	o 572044305896
50.39/50.44	o 568427500521
50.39/50.44	o 564810695146
50.39/50.44	o 561196245996
50.39/50.44	o 557579440621
50.39/50.44	o 557577084396
50.39/50.44	o 553960279021
50.39/50.44	o 553957922796
50.39/50.44	o 550341117421
50.39/50.44	o 550338761196
50.39/50.44	o 546721955822
50.39/50.44	o 543105150447
50.39/50.44	o 539488345072
50.39/50.44	o 539485988847
50.39/50.44	o 535869183472
50.39/50.44	o 532252378097
50.39/50.44	o 528635572722
50.39/50.44	o 528633216498
50.39/50.44	o 525016411123
50.39/50.44	o 521404318202
50.39/50.44	o 521401961977
50.39/50.44	o 517785156602
50.39/50.44	o 514168351227
50.39/50.44	o 510551545852
50.39/50.44	o 506934740477
50.39/50.44	o 506932384252
50.39/50.44	o 503317935102
50.39/50.44	o 499701129727
50.39/50.44	o 496084324352
50.39/50.44	o 496081968127
50.39/50.44	o 492465162752
50.39/50.44	o 488848357377
50.39/50.44	o 488846001152
50.39/50.44	o 488843644927
50.39/50.44	o 488838932477
50.39/50.44	o 488836576252
50.39/50.44	o 485219770877
50.39/50.44	o 481602965502
50.39/50.44	o 477986160127
50.39/50.44	o 474369354752
50.39/50.44	o 470752549377
50.39/50.44	o 470750193153
50.39/50.44	o 470747836928
50.39/50.44	o 467131031553
50.39/50.44	o 467128675328
50.39/50.44	o 467123962878
50.39/50.44	o 463502445054
50.39/50.44	o 463500088829
50.39/50.44	o 459883283454
50.39/50.44	o 456266478079
50.39/50.44	o 452652028929
50.39/50.44	o 449035223554
50.39/50.44	o 441803969029
50.39/50.44	o 441801612804
50.39/50.44	o 441799256580
50.39/50.44	o 438182451206
50.39/50.44	o 434568002056
50.39/50.44	o 430951196688
50.39/50.44	o 430948840463
50.39/50.44	o 430948840462
50.39/50.44	o 430948840461
50.39/50.44	o 427332035086
50.39/50.44	o 423715229711
50.39/50.44	o 420098424336
50.39/50.44	o 420096068112
50.39/50.44	o 420093711887
50.39/50.44	o 420093711886
50.39/50.44	o 416479262736
50.39/50.44	o 416476906512
50.39/50.44	o 416474550288
50.39/50.44	o 412860101138
50.39/50.44	o 409248008212
50.39/50.44	o 409245651987
50.39/50.44	o 409243295763
50.39/50.44	o 409240939538
50.39/50.44	o 405624134163
50.39/50.44	o 405621777938
50.39/50.44	o 405619421713
50.39/50.44	o 402002616340
50.39/50.44	o 398385810965
50.39/50.44	o 394769005590
50.39/50.44	o 391152200215
50.39/50.44	o 387535394840
50.39/50.44	o 387533038615
50.39/50.44	o 383916233240
50.39/50.44	o 380299427865
50.39/50.44	o 380297071640
50.39/50.44	o 376680266265
50.39/50.44	o 373063460890
50.39/50.44	o 369446655515
50.39/50.44	o 365829850140
50.39/50.44	o 362213044765
50.39/50.44	o 358596239390
50.39/50.44	o 354979434015
50.39/50.44	o 351362628640
50.39/50.44	o 347745823265
50.39/50.44	o 344129017890
50.39/50.44	o 340512212515
50.39/50.44	o 340509856290
50.39/50.44	o 336893050915
50.39/50.44	o 336890694690
50.39/50.44	o 333273889315
50.39/50.44	o 333273889314
50.39/50.44	o 329657083939
50.39/50.44	o 326040278564
50.39/50.44	o 322425829414
50.39/50.44	o 318813736495
50.39/50.44	o 318811380270
50.39/50.44	o 318811380269
50.39/50.44	o 315194574894
50.39/50.44	o 311577769519
50.39/50.44	o 307960964145
50.39/50.44	o 304346514995
50.39/50.44	o 300732065844
50.39/50.44	o 300729709620
50.39/50.44	o 297112904245
50.39/50.44	o 293498455095
50.39/50.44	o 293496098870
50.39/50.44	o 289879293496
50.39/50.44	o 286262488121
50.39/50.44	o 282645682746
50.39/50.44	o 279028877371
50.39/50.44	o 275412071996
50.39/50.44	o 271795266621
50.39/50.44	o 268178461246
50.39/50.44	o 268173748796
50.39/50.44	o 264559299646
50.39/50.44	o 260944850496
50.39/50.44	o 260942494271
50.39/50.44	o 257330401344
50.39/50.44	o 257328045120
50.39/50.44	o 257325688896
50.39/50.44	o 253711239745
50.39/50.44	o 253711239744
50.39/50.44	o 250096790594
50.39/50.44	o 246482341444
50.39/50.44	o 242867892295
50.39/50.44	o 239253443145
50.39/50.44	o 235641350221
50.39/50.44	o 232024544846
50.39/50.44	o 228412451921
50.39/50.44	o 224795646547
89.00/89.08	o 221183553622
89.00/89.08	o 217566748250
89.00/89.08	o 210333137500
89.00/89.08	o 210330781275
89.00/89.08	o 206713975901
89.00/89.08	o 203097170530
89.00/89.08	o 203094814305
89.00/89.08	o 203092458080
89.00/89.08	o 199482721380
89.00/89.08	o 199478008930
89.00/89.08	o 199475652706
89.00/89.08	o 199473296482
89.00/89.08	o 199470940257
89.00/89.08	o 195854134882
89.00/89.08	o 195851778657
89.00/89.08	o 192234973282
89.00/89.08	o 188620524132
89.00/89.08	o 185006074982
89.00/89.08	o 185003718758
89.00/89.08	o 181389269608
89.00/89.08	o 181386913384
89.00/89.08	o 181386913383
89.00/89.08	o 181384557159
89.00/89.08	o 181382200934
89.00/89.08	o 177803095153
89.00/89.08	o 177800738929
89.00/89.08	o 177800738928
89.00/89.08	o 177798382704
89.00/89.08	o 177796026480
89.00/89.08	o 177793670255
89.00/89.08	o 177791314030
89.00/89.08	o 177788957806
89.00/89.08	o 177786601582
89.00/89.08	o 177784245357
89.00/89.08	o 177784245356
89.00/89.08	o 177781889132
89.00/89.08	o 177779532908
89.00/89.08	o 177779532906
89.00/89.08	o 177777176682
89.00/89.08	o 177774820458
89.00/89.08	o 177772464234
89.00/89.08	o 177772464233
89.00/89.08	o 177770108009
89.00/89.08	o 177770108008
89.00/89.08	o 177767751784
89.00/89.08	o 174179221104
89.00/89.08	o 174176864879
89.00/89.08	o 174174508656
89.00/89.08	o 174174508655
89.00/89.08	o 174172152431
89.00/89.08	o 174172152430
89.00/89.08	o 174169796206
89.00/89.08	o 174167439982
89.00/89.08	o 174167439981
89.00/89.08	o 174165083757
89.00/89.08	o 174162727533
89.00/89.08	o 174160371309
89.00/89.08	o 170543565934
89.00/89.08	o 166931473008
89.00/89.08	o 166929116784
89.00/89.08	o 163331161205
89.00/89.08	o 163331161204
89.00/89.08	o 163328804979
89.00/89.08	o 163326448755
89.00/89.08	o 163324092531
89.00/89.08	o 163321736307
89.00/89.08	o 163319380082
89.00/89.08	o 163314667633
89.00/89.08	o 163312311409
89.00/89.08	o 159711999604
89.00/89.08	o 159709643380
89.00/89.08	o 159709643379
89.00/89.08	o 159707287155
89.00/89.08	o 159704930931
89.00/89.08	o 159702574707
89.00/89.08	o 159700218483
89.00/89.08	o 159700218482
89.00/89.08	o 159697862258
89.00/89.08	o 159695506034
89.00/89.08	o 156097550456
89.00/89.08	o 156095194230
89.00/89.08	o 156092838006
89.00/89.08	o 156090481781
89.00/89.08	o 156085769332
89.00/89.08	o 156083413108
89.00/89.08	o 156081056884
89.00/89.08	o 156081056883
89.00/89.08	o 156078700659
89.00/89.08	o 156078700657
89.00/89.08	o 156076344434
89.00/89.08	o 156073988209
89.00/89.08	o 156071631984
89.00/89.08	o 156069275759
89.00/89.08	o 156069275758
89.00/89.08	o 156066919534
89.00/89.08	o 156066919533
89.00/89.08	o 156064563309
89.00/89.08	o 152461895279
89.00/89.08	o 152461895278
89.00/89.08	o 152461895277
89.00/89.08	o 152459539054
89.00/89.08	o 152457182830
89.00/89.08	o 152454826606
89.00/89.08	o 152452470382
89.00/89.08	o 152452470381
89.00/89.08	o 152450114157
89.00/89.08	o 152447757934
89.00/89.08	o 148871008374
89.00/89.08	o 148868652150
89.00/89.08	o 148866295926
89.00/89.08	o 148863939702
89.00/89.08	o 148861583478
89.00/89.08	o 148856871029
89.00/89.08	o 148854514805
89.00/89.08	o 148852158581
89.00/89.08	o 148849802357
89.00/89.08	o 148847446133
89.00/89.08	o 148845089909
89.00/89.08	o 148842733685
89.00/89.08	o 148840377461
89.00/89.08	o 148838021236
89.00/89.08	o 148838021235
89.00/89.08	o 148835665011
89.00/89.08	o 148835665008
89.00/89.08	o 148833308785
89.00/89.08	o 148833308784
89.00/89.08	o 148830952561
89.00/89.08	o 148826240111
89.00/89.08	o 148823883886
89.00/89.08	o 148821527662
89.00/89.08	o 148819171436
89.00/89.08	o 148816815212
89.00/89.08	o 148816815211
89.00/89.08	o 148814458987
89.00/89.08	o 145211790957
89.00/89.08	o 145211790955
89.00/89.08	o 145211790954
89.00/89.08	o 145209434730
89.00/89.08	o 145207078508
89.00/89.08	o 145204722284
89.00/89.08	o 145202366060
89.00/89.08	o 145200009836
89.00/89.08	o 145197653612
89.00/89.08	o 141580848237
89.00/89.08	o 134351949938
89.00/89.08	o 134349593713
89.00/89.08	o 130782269049
89.00/89.08	o 130782269048
89.00/89.08	o 130782269047
89.00/89.08	o 130779912823
89.00/89.08	o 130777556599
89.00/89.08	o 130775200376
89.00/89.08	o 130772844152
89.00/89.08	o 130770487928
89.00/89.08	o 130768131704
89.00/89.08	o 130765775479
89.00/89.08	o 130763419255
89.00/89.08	o 130761063030
89.00/89.08	o 130758706806
89.00/89.08	o 130756350582
89.00/89.08	o 130753994358
89.00/89.08	o 130751638133
89.00/89.08	o 130749281909
89.00/89.08	o 130746925685
89.00/89.08	o 130744569461
89.00/89.08	o 130742213237
89.00/89.08	o 130739857013
89.00/89.08	o 130737500788
89.00/89.08	o 130735144563
89.00/89.08	o 127118339188
89.00/89.08	o 123501533818
89.00/89.08	o 123499177593
89.00/89.08	o 123499177592
89.00/89.08	o 123496821367
89.00/89.08	o 123494465142
89.00/89.08	o 119882372216
89.00/89.08	o 119880015991
89.00/89.08	o 119877659766
89.00/89.08	o 119875303541
89.00/89.08	o 116258498166
89.00/89.08	o 116256141941
89.00/89.08	o 116256141940
89.00/89.08	o 116253785715
89.00/89.08	o 116251429490
89.00/89.08	o 109017818740
89.00/89.08	o 109015462515
89.00/89.08	o 109013106290
89.00/89.08	o 109010750065
89.00/89.08	o 105393944690
89.00/89.08	o 101779495540
89.00/89.08	o 101777139315
89.00/89.08	o 101777139314
89.00/89.08	o 98162690164
89.00/89.08	o 98160333940
89.00/89.08	o 94543528566
89.00/89.08	o 87314630266
89.00/89.08	o 83697824891
89.00/89.08	o 83695468666
89.00/89.08	o 80083375740
89.00/89.08	o 80081019516
89.00/89.08	o 76466570365
89.00/89.08	o 76464214140
89.00/89.08	o 76464214139
89.00/89.08	o 76461857914
89.00/89.08	o 76459501689
89.00/89.08	o 76457145465
89.00/89.08	o 76454789240
89.00/89.08	o 72842696314
89.00/89.08	o 72840340089
89.00/89.08	o 72837983865
89.00/89.08	o 69223534714
89.00/89.08	o 69214109815
89.00/89.08	o 69214109814
89.00/89.08	o 65597304438
89.00/89.08	o 65594948213
89.00/89.08	o 65592591988
89.00/89.08	o 65592591987
89.00/89.08	o 65590235764
89.00/89.08	o 65590235763
89.00/89.08	o 61978142839
89.00/89.08	o 61978142838
89.00/89.08	o 61978142837
89.00/89.08	o 61975786613
89.00/89.08	o 61975786612
89.00/89.08	o 61975786611
89.00/89.08	o 61975786610
89.00/89.08	o 61975786609
89.00/89.08	o 61975786608
89.00/89.08	o 61973430383
89.00/89.08	o 61973430382
89.00/89.08	o 61971074157
89.00/89.08	o 61968717932
89.00/89.08	o 61966361707
89.00/89.08	o 61964005482
89.00/89.08	o 58420243058
89.00/89.08	o 58417886834
89.00/89.08	o 58415530610
89.00/89.08	o 58415530609
89.00/89.08	o 58413174385
89.00/89.08	o 58410818162
89.00/89.08	o 58408461937
89.00/89.08	o 58408461936
89.00/89.08	o 58406105712
89.00/89.08	o 58403749489
89.00/89.08	o 58394324589
89.00/89.08	o 58394324588
89.00/89.08	o 58391968364
89.00/89.08	o 58389612141
89.00/89.08	o 58387255917
89.00/89.08	o 58387255916
89.00/89.08	o 58384899692
89.00/89.08	o 58382543468
89.00/89.08	o 58380187244
89.00/89.08	o 58380187243
89.00/89.08	o 58377831019
89.00/89.08	o 58375474796
89.00/89.08	o 58375474795
89.00/89.08	o 58373118571
89.00/89.08	o 58370762347
89.00/89.08	o 58368406123
89.00/89.08	o 58368406122
89.00/89.08	o 58366049898
89.00/89.08	o 58363693674
89.00/89.08	o 58361337452
89.00/89.08	o 58361337451
89.00/89.08	o 58358981229
89.00/89.08	o 58358981228
89.00/89.08	o 58358981227
89.00/89.08	o 58358981226
89.00/89.08	o 58354268780
89.00/89.08	o 58354268779
89.00/89.08	o 58351912556
89.00/89.08	o 58351912555
89.00/89.08	o 58351912554
89.00/89.08	o 58351912553
89.00/89.08	o 58351912552
89.00/89.08	o 58349556331
89.00/89.08	o 58347200107
138.50/138.55	o 58340131435
138.50/138.55	o 58340131434
138.50/138.55	o 58337775210
138.50/138.55	o 58337775209
138.50/138.55	o 58335418989
138.50/138.55	o 58335418988
138.50/138.55	o 58335418987
138.50/138.55	o 58335418986
138.50/138.55	o 58335418985
138.50/138.55	o 58333062763
138.50/138.55	o 58333062762
138.50/138.55	o 58333062761
138.50/138.55	o 58330706537
138.50/138.55	o 58328350312
138.50/138.55	o 58328350311
138.50/138.55	o 58325994089
138.50/138.55	o 58325994087
138.50/138.55	o 58325994086
138.50/138.55	o 54775163003
138.50/138.55	o 54775163001
138.50/138.55	o 54775162999
138.50/138.55	o 54772806774
138.50/138.55	o 54772806773
138.50/138.55	o 54770450549
138.50/138.55	o 54768094325
138.50/138.55	o 54768094324
138.50/138.55	o 54765738100
138.50/138.55	o 54763381876
138.50/138.55	o 54763381875
138.50/138.55	o 54761025652
138.50/138.55	o 54761025651
138.50/138.55	o 54758669428
138.50/138.55	o 54758669427
138.50/138.55	o 54751600751
138.50/138.55	o 54749244528
138.50/138.55	o 54749244527
138.50/138.55	o 54749244526
138.50/138.55	o 54746888304
138.50/138.55	o 54746888302
138.50/138.55	o 54744532079
138.50/138.55	o 54744532078
138.50/138.55	o 54742175856
138.50/138.55	o 54742175855
138.50/138.55	o 54739819634
138.50/138.55	o 54739819633
138.50/138.55	o 54739819632
138.50/138.55	o 54739819631
138.50/138.55	o 54737463409
138.50/138.55	o 54737463407
138.50/138.55	o 54735107186
138.50/138.55	o 54735107185
138.50/138.55	o 54732750960
138.50/138.55	o 54730394736
138.50/138.55	o 54730394735
138.50/138.55	o 54728038513
138.50/138.55	o 54728038511
138.50/138.55	o 54728038510
138.50/138.55	o 54725682284
138.50/138.55	o 54725682283
138.50/138.55	o 54725682282
138.50/138.55	o 54723326064
138.50/138.55	o 54723326063
138.50/138.55	o 54723326062
138.50/138.55	o 54723326061
138.50/138.55	o 54723326060
138.50/138.55	o 54720969838
138.50/138.55	o 54720969836
138.50/138.55	o 51118301809
138.50/138.55	o 51118301808
138.50/138.55	o 51118301807
138.50/138.55	o 51118301806
138.50/138.55	o 51118301805
138.50/138.55	o 51115945582
138.50/138.55	o 51115945581
138.50/138.55	o 51113589358
138.50/138.55	o 51113589357
138.50/138.55	o 51113589356
138.50/138.55	o 51113589355
138.50/138.55	o 51111233136
138.50/138.55	o 51111233134
138.50/138.55	o 51111233133
138.50/138.55	o 51108876910
138.50/138.55	o 51108876909
138.50/138.55	o 51106520687
138.50/138.55	o 51106520685
138.50/138.55	o 51104164461
138.50/138.55	o 47487359087
138.50/138.55	o 47487359086
138.50/138.55	o 47487359085
138.50/138.55	o 47485002862
138.50/138.55	o 47485002861
138.50/138.55	o 47485002860
138.50/138.55	o 47482646636
138.50/138.55	o 47482646635
138.50/138.55	o 47480290414
138.50/138.55	o 47480290413
138.50/138.55	o 47480290412
138.50/138.55	o 47480290411
138.50/138.55	o 47477934189
138.50/138.55	o 47477934188
138.50/138.55	o 47477934187
138.50/138.55	o 47477934186
138.50/138.55	o 47477934185
138.50/138.55	o 47475577961
138.50/138.55	o 47475577960
138.50/138.55	o 47475577959
138.50/138.55	o 47473221737
138.50/138.55	o 47473221736
138.50/138.55	o 47473221735
138.50/138.55	o 47473221734
138.50/138.55	o 47470865511
138.50/138.55	o 47470865510
138.50/138.55	o 47470865509
138.50/138.55	o 47468509286
138.50/138.55	o 47468509285
138.50/138.55	o 47468509284
138.50/138.55	o 47466153060
138.50/138.55	o 47466153059
138.50/138.55	o 47463796836
138.50/138.55	o 47463796835
138.50/138.55	o 47463796834
138.50/138.55	o 47461440612
138.50/138.55	o 47461440611
138.50/138.55	o 47461440610
138.50/138.55	o 47461440609
138.50/138.55	o 47459084387
138.50/138.55	o 47459084386
138.50/138.55	o 47459084385
138.50/138.55	o 47459084384
138.50/138.55	o 47456728160
138.50/138.55	o 47456728159
138.50/138.55	o 47454371937
138.50/138.55	o 47454371936
138.50/138.55	o 47454371935
138.50/138.55	o 47454371934
138.50/138.55	o 47454371933
138.50/138.55	o 47454371932
138.50/138.55	o 47454371931
138.50/138.55	o 47452015711
138.50/138.55	o 47452015710
138.50/138.55	o 47452015709
138.50/138.55	o 47452015708
138.50/138.55	o 47452015707
138.50/138.55	o 43908253290
138.50/138.55	o 43905897065
138.50/138.55	o 43903540840
138.50/138.55	o 43903540839
138.50/138.55	o 43903540838
138.50/138.55	o 43901184613
138.50/138.55	o 43898828389
138.50/138.55	o 43896472165
138.50/138.55	o 43894115941
138.50/138.55	o 43891759717
138.50/138.55	o 43889403493
138.50/138.55	o 43887047269
138.50/138.55	o 43884691045
138.50/138.55	o 43882334821
138.50/138.55	o 43879978596
138.50/138.55	o 43877622373
138.50/138.55	o 43870553702
138.50/138.55	o 43868197478
138.50/138.55	o 43868197477
138.50/138.55	o 43865841252
138.50/138.55	o 43863485029
138.50/138.55	o 43863485028
138.50/138.55	o 43861128804
138.50/138.55	o 43858772580
138.50/138.55	o 43858772579
138.50/138.55	o 43856416357
138.50/138.55	o 43856416355
138.50/138.55	o 43854060131
138.50/138.55	o 43854060128
138.50/138.55	o 43854060127
138.50/138.55	o 43851703907
138.50/138.55	o 43851703906
138.50/138.55	o 43849347681
138.50/138.55	o 43839922783
138.50/138.55	o 43839922782
138.50/138.55	o 43839922781
138.50/138.55	o 43835210334
138.50/138.55	o 43835210333
138.50/138.55	o 43835210332
138.50/138.55	o 43835210331
138.50/138.55	o 43835210330
138.50/138.55	o 43832854106
138.50/138.55	o 43832854105
138.50/138.55	o 43832854104
138.50/138.55	o 43830497883
138.50/138.55	o 43830497881
138.50/138.55	o 43830497880
138.50/138.55	o 43828141655
138.50/138.55	o 43828141654
138.50/138.55	o 43828141653
138.50/138.55	o 43828141652
138.50/138.55	o 43825785430
138.50/138.55	o 43825785428
138.50/138.55	o 43825785427
138.50/138.55	o 43823429206
138.50/138.55	o 43823429205
138.50/138.55	o 43823429204
138.50/138.55	o 43823429203
138.50/138.55	o 43823429202
138.50/138.55	o 43821072981
138.50/138.55	o 43821072980
138.50/138.55	o 43821072979
138.50/138.55	o 43821072978
138.50/138.55	o 43821072977
138.50/138.55	o 43821072976
138.50/138.55	o 43818716753
138.50/138.55	o 43818716752
138.50/138.55	o 43816360527
138.50/138.55	o 43814004302
138.50/138.55	o 43811648079
138.50/138.55	o 43811648078
138.50/138.55	o 43811648077
138.50/138.55	o 40291447903
138.50/138.55	o 40289091678
138.50/138.55	o 40286735453
138.50/138.55	o 40286735452
138.50/138.55	o 40284379227
138.50/138.55	o 40282023004
138.50/138.55	o 40282023003
138.50/138.55	o 40277310553
138.50/138.55	o 40274954329
138.50/138.55	o 40272598105
138.50/138.55	o 40270241881
138.50/138.55	o 40267885657
138.50/138.55	o 40265529433
138.50/138.55	o 40263173210
138.50/138.55	o 40263173209
138.50/138.55	o 40260816986
138.50/138.55	o 40260816985
138.50/138.55	o 40258460761
138.50/138.55	o 40256104537
138.50/138.55	o 40253748313
138.50/138.55	o 40251392089
138.50/138.55	o 40249035865
138.50/138.55	o 40246679641
138.50/138.55	o 40246679640
138.50/138.55	o 40244323416
138.50/138.55	o 40241967192
138.50/138.55	o 40241967191
138.50/138.55	o 40239610967
138.50/138.55	o 40237254745
138.50/138.55	o 40234898524
138.50/138.55	o 40234898523
138.50/138.55	o 40234898522
138.50/138.55	o 40234898521
138.50/138.55	o 40232542297
138.50/138.55	o 40232542296
138.50/138.55	o 40232542295
138.50/138.55	o 40232542294
138.50/138.55	o 40230186076
138.50/138.55	o 40230186075
138.50/138.55	o 40227829853
138.50/138.55	o 40225473633
138.50/138.55	o 40225473632
138.50/138.55	o 40225473631
138.50/138.55	o 40225473630
138.50/138.55	o 40225473629
138.50/138.55	o 40225473628
138.50/138.55	o 40225473627
138.50/138.55	o 40223117404
138.50/138.55	o 40223117403
138.50/138.55	o 40223117402
138.50/138.55	o 40220761181
138.50/138.55	o 40220761180
138.50/138.55	o 40220761179
138.50/138.55	o 32991862879
138.50/138.55	o 32989506654
138.50/138.55	o 32987150430
138.50/138.55	o 32987150429
138.50/138.55	o 32987150428
138.50/138.55	o 32987150427
138.50/138.55	o 32984794203
138.50/138.55	o 32984794202
138.50/138.55	o 32984794201
138.50/138.55	o 32982437977
138.50/138.55	o 32980081752
138.50/138.55	o 32980081751
138.50/138.55	o 32977725526
138.50/138.55	o 32977725525
138.50/138.55	o 32977725524
138.50/138.55	o 32975369302
138.50/138.55	o 32975369301
138.50/138.55	o 32975369300
138.50/138.55	o 32975369299
138.50/138.55	o 32973013076
138.50/138.55	o 32973013075
138.50/138.55	o 32973013074
138.50/138.55	o 32970656850
138.50/138.55	o 32970656849
138.50/138.55	o 32970656848
179.79/179.84	o 32968300626
179.79/179.84	o 32968300625
179.79/179.84	o 32965944404
179.79/179.84	o 32965944403
179.79/179.84	o 32965944402
179.79/179.84	o 32965944401
179.79/179.84	o 32965944400
179.79/179.84	o 32965944398
179.79/179.84	o 32965944397
179.79/179.84	o 32963588181
179.79/179.84	o 32963588179
179.79/179.84	o 32963588178
179.79/179.84	o 32963588177
179.79/179.84	o 32963588176
179.79/179.84	o 32963588175
179.79/179.84	o 32963588174
179.79/179.84	o 32961231954
179.79/179.84	o 32961231953
179.79/179.84	o 32961231952
179.79/179.84	o 32961231951
179.79/179.84	o 32961231950
179.79/179.84	o 32961231948
179.79/179.84	o 32958875730
179.79/179.84	o 32958875729
179.79/179.84	o 32958875728
179.79/179.84	o 32958875727
179.79/179.84	o 32958875726
179.79/179.84	o 32958875725
179.79/179.84	o 32956519500
179.79/179.84	o 32954163279
179.79/179.84	o 32954163278
179.79/179.84	o 32954163277
179.79/179.84	o 32954163276
179.79/179.84	o 32954163275
179.79/179.84	o 32954163274
179.79/179.84	o 32951807050
179.79/179.84	o 32949450826
179.79/179.84	o 32949450825
179.79/179.84	o 32947094606
179.79/179.84	o 32947094605
179.79/179.84	o 32947094604
179.79/179.84	o 32947094603
179.79/179.84	o 32947094602
179.79/179.84	o 32947094601
179.79/179.84	o 32947094600
179.79/179.84	o 32944738376
179.79/179.84	o 32942382151
179.79/179.84	o 32942382150
179.79/179.84	o 32940025927
179.79/179.84	o 32940025926
179.79/179.84	o 32940025925
179.79/179.84	o 32937669705
179.79/179.84	o 32937669704
179.79/179.84	o 32937669702
179.79/179.84	o 32937669701
179.79/179.84	o 32937669700
179.79/179.84	o 32937669699
179.79/179.84	o 32937669698
179.79/179.84	o 32937669697
179.79/179.84	o 32937669696
179.79/179.84	o 32937669695
179.79/179.84	o 32937669694
179.79/179.84	o 32937669693
179.79/179.84	o 32937669692
179.79/179.84	o 32935313471
179.79/179.84	o 32935313470
179.79/179.84	o 32935313469
179.79/179.84	o 32935313468
179.79/179.84	o 32935313467
179.79/179.84	o 32932957254
179.79/179.84	o 32932957253
179.79/179.84	o 32932957252
179.79/179.84	o 32932957251
179.79/179.84	o 32932957250
179.79/179.84	o 32932957249
179.79/179.84	o 32932957248
179.79/179.84	o 32932957247
179.79/179.84	o 32932957246
179.79/179.84	o 32932957245
179.79/179.84	o 32932957244
179.79/179.84	o 32932957243
179.79/179.84	o 32930601026
179.79/179.84	o 32930601025
179.79/179.84	o 32930601024
179.79/179.84	o 32930601023
179.79/179.84	o 32930601022
179.79/179.84	o 32930601021
179.79/179.84	o 32930601019
179.79/179.84	o 32930601018
179.79/179.84	o 32930601017
179.79/179.84	o 32928244805
179.79/179.84	o 32928244804
179.79/179.84	o 32928244803
179.79/179.84	o 32928244802
179.79/179.84	o 32928244801
179.79/179.84	o 32928244800
179.79/179.84	o 32928244798
179.79/179.84	o 32928244797
179.79/179.84	o 32928244796
179.79/179.84	o 32928244795
179.79/179.84	o 32928244794
179.79/179.84	o 32928244793
179.79/179.84	o 32925888568
179.79/179.84	o 32925888567
179.79/179.84	o 32923532343
179.79/179.84	o 32923532342
179.79/179.84	o 32921176126
179.79/179.84	o 32921176125
179.79/179.84	o 32921176124
179.79/179.84	o 32921176123
179.79/179.84	o 32921176122
179.79/179.84	o 32921176121
179.79/179.84	o 32921176120
179.79/179.84	o 32921176119
179.79/179.84	o 32921176118
179.79/179.84	o 32921176117
179.79/179.84	o 32921176116
179.79/179.84	o 32918819894
179.79/179.84	o 32918819893
179.79/179.84	o 32916463676
179.79/179.84	o 32916463675
179.79/179.84	o 32916463674
179.79/179.84	o 32916463673
179.79/179.84	o 32916463672
179.79/179.84	o 32916463671
179.79/179.84	o 32916463669
179.79/179.84	o 32916463668
179.79/179.84	o 32914107455
179.79/179.84	o 32914107454
179.79/179.84	o 32914107453
179.79/179.84	o 32914107452
179.79/179.84	o 32914107451
179.79/179.84	o 32914107450
179.79/179.84	o 32914107449
179.79/179.84	o 32914107448
179.79/179.84	o 32914107447
179.79/179.84	o 32914107446
179.79/179.84	o 32914107445
179.79/179.84	o 32914107444
179.79/179.84	o 32914107443
179.79/179.84	o 32914107442
179.79/179.84	o 32914107441
179.79/179.84	o 32911751219
179.79/179.84	o 32911751218
179.79/179.84	o 32911751217
179.79/179.84	o 32911751216
179.79/179.84	o 32909394995
179.79/179.84	o 32909394994
179.79/179.84	o 32909394993
179.79/179.84	o 32907038776
179.79/179.84	o 32907038775
179.79/179.84	o 32907038774
179.79/179.84	o 32907038773
179.79/179.84	o 32907038772
179.79/179.84	o 32907038771
179.79/179.84	o 32907038770
179.79/179.84	o 32907038769
179.79/179.84	o 32907038768
179.79/179.84	o 32907038767
179.79/179.84	o 32904682555
179.79/179.84	o 32904682554
179.79/179.84	o 32904682553
179.79/179.84	o 32904682552
179.79/179.84	o 32904682551
179.79/179.84	o 32904682550
179.79/179.84	o 32904682549
179.79/179.84	o 32904682548
179.79/179.84	o 32904682547
179.79/179.84	o 32904682546
179.79/179.84	o 32904682545
179.79/179.84	o 32904682544
179.79/179.84	o 32904682543
179.79/179.84	o 32904682542
179.79/179.84	o 32904682541
179.79/179.84	o 32902326318
179.79/179.84	o 32902326317
179.79/179.84	o 32899970100
179.79/179.84	o 32899970099
179.79/179.84	o 32899970098
179.79/179.84	o 29287877172
179.79/179.84	o 29285520948
179.79/179.84	o 29285520947
179.79/179.84	o 29285520946
179.79/179.84	o 29285520945
179.79/179.84	o 29285520944
179.79/179.84	o 29285520943
179.79/179.84	o 29285520941
179.79/179.84	o 29285520940
179.79/179.84	o 29285520939
179.79/179.84	o 29283164728
179.79/179.84	o 29283164727
179.79/179.84	o 29283164726
179.79/179.84	o 29283164725
179.79/179.84	o 29283164724
179.79/179.84	o 29283164723
179.79/179.84	o 29283164722
179.79/179.84	o 29283164721
179.79/179.84	o 29283164720
179.79/179.84	o 29283164719
179.79/179.84	o 29283164718
179.79/179.84	o 29283164717
179.79/179.84	o 29283164716
179.79/179.84	o 29283164715
179.79/179.84	o 29280808503
179.79/179.84	o 29280808502
179.79/179.84	o 29280808501
179.79/179.84	o 29280808500
179.79/179.84	o 29280808499
179.79/179.84	o 29280808498
179.79/179.84	o 29280808497
179.79/179.84	o 29280808496
179.79/179.84	o 29280808495
179.79/179.84	o 29280808494
179.79/179.84	o 29280808493
179.79/179.84	o 29280808492
179.79/179.84	o 29280808491
179.79/179.84	o 29278452266
179.79/179.84	o 29278452265
179.79/179.84	o 29278452264
179.79/179.84	o 29276096042
179.79/179.84	o 29276096041
179.79/179.84	o 29276096040
179.79/179.84	o 29276096039
179.79/179.84	o 29276096038
179.79/179.84	o 29273739817
179.79/179.84	o 29273739816
179.79/179.84	o 29273739815
179.79/179.84	o 29273739814
179.79/179.84	o 29273739813
179.79/179.84	o 29271383603
179.79/179.84	o 29271383602
179.79/179.84	o 29271383601
179.79/179.84	o 29271383600
179.79/179.84	o 29271383599
179.79/179.84	o 29271383598
179.79/179.84	o 29271383597
179.79/179.84	o 29271383596
179.79/179.84	o 29271383595
179.79/179.84	o 29271383594
179.79/179.84	o 29271383593
179.79/179.84	o 29271383592
179.79/179.84	o 29271383591
179.79/179.84	o 29271383590
179.79/179.84	o 29269027366
179.79/179.84	o 29269027363
179.79/179.84	o 29269027362
179.79/179.84	o 29266671149
179.79/179.84	o 29266671148
179.79/179.84	o 29266671147
179.79/179.84	o 29266671146
179.79/179.84	o 29266671145
179.79/179.84	o 29266671144
179.79/179.84	o 29266671142
179.79/179.84	o 29266671141
179.79/179.84	o 29266671140
179.79/179.84	o 29264314924
179.79/179.84	o 29264314923
179.79/179.84	o 29264314922
179.79/179.84	o 29264314921
179.79/179.84	o 29264314920
179.79/179.84	o 29264314919
179.79/179.84	o 29264314918
179.79/179.84	o 29264314917
179.79/179.84	o 29264314916
179.79/179.84	o 29264314915
179.79/179.84	o 29261958702
179.79/179.84	o 29261958701
179.79/179.84	o 29261958700
179.79/179.84	o 29261958699
179.79/179.84	o 29261958698
179.79/179.84	o 29261958697
179.79/179.84	o 29261958696
179.79/179.84	o 29261958695
179.79/179.84	o 29261958694
179.79/179.84	o 29261958693
179.79/179.84	o 29261958692
179.79/179.84	o 29261958691
179.79/179.84	o 29261958690
179.79/179.84	o 29259602466
179.79/179.84	o 29257246246
179.79/179.84	o 29257246245
179.79/179.84	o 29257246244
179.79/179.84	o 29257246243
179.79/179.84	o 29257246242
179.79/179.84	o 29257246241
179.79/179.84	o 29257246240
179.79/179.84	o 29257246239
179.79/179.84	o 29254890027
179.79/179.84	o 29254890026
179.79/179.84	o 29254890025
179.79/179.84	o 29254890024
179.79/179.84	o 29254890023
227.80/227.90	o 29254890022
227.80/227.90	o 29254890021
227.80/227.90	o 29254890020
227.80/227.90	o 29254890018
227.80/227.90	o 29254890017
227.80/227.90	o 29254890016
227.80/227.90	o 29254890015
227.80/227.90	o 29254890014
227.80/227.90	o 29252533799
227.80/227.90	o 29252533798
227.80/227.90	o 29252533797
227.80/227.90	o 29252533796
227.80/227.90	o 29252533795
227.80/227.90	o 29252533794
227.80/227.90	o 29252533793
227.80/227.90	o 29252533792
227.80/227.90	o 29252533791
227.80/227.90	o 29252533790
227.80/227.90	o 29250177567
227.80/227.90	o 29250177566
227.80/227.90	o 29250177565
227.80/227.90	o 29250177564
227.80/227.90	o 29247821341
227.80/227.90	o 29247821340
227.80/227.90	o 29247821339
227.80/227.90	o 29245465117
227.80/227.90	o 29245465116
227.80/227.90	o 29245465115
227.80/227.90	o 29245465114
227.80/227.90	o 29245465113
227.80/227.90	o 29245465112
227.80/227.90	o 29245465111
227.80/227.90	o 29245465110
227.80/227.90	o 29245465109
227.80/227.90	o 29243108895
227.80/227.90	o 29243108894
227.80/227.90	o 29243108893
227.80/227.90	o 29243108891
227.80/227.90	o 29243108890
227.80/227.90	o 29243108889
227.80/227.90	o 29240752675
227.80/227.90	o 29240752674
227.80/227.90	o 29240752673
227.80/227.90	o 29240752672
227.80/227.90	o 29240752671
227.80/227.90	o 29240752670
227.80/227.90	o 29240752669
227.80/227.90	o 29240752668
227.80/227.90	o 29240752667
227.80/227.90	o 29240752666
227.80/227.90	o 29240752665
227.80/227.90	o 29240752664
227.80/227.90	o 29240752663
227.80/227.90	o 29238396442
227.80/227.90	o 29238396441
227.80/227.90	o 29238396440
227.80/227.90	o 29238396439
227.80/227.90	o 29238396438
227.80/227.90	o 29236040224
227.80/227.90	o 29236040223
227.80/227.90	o 29236040222
227.80/227.90	o 29236040221
227.80/227.90	o 29236040219
227.80/227.90	o 29236040218
227.80/227.90	o 29236040217
227.80/227.90	o 29236040216
227.80/227.90	o 29236040215
227.80/227.90	o 29236040214
227.80/227.90	o 29236040213
227.80/227.90	o 29233684001
227.80/227.90	o 29233684000
227.80/227.90	o 29233683998
227.80/227.90	o 29233683997
227.80/227.90	o 29233683996
227.80/227.90	o 29233683995
227.80/227.90	o 29233683994
227.80/227.90	o 29233683993
227.80/227.90	o 29233683992
227.80/227.90	o 29233683991
227.80/227.90	o 29233683990
227.80/227.90	o 29233683989
227.80/227.90	o 29233683988
227.80/227.90	o 29231327776
227.80/227.90	o 29231327775
227.80/227.90	o 29231327774
227.80/227.90	o 29231327773
227.80/227.90	o 29231327772
227.80/227.90	o 29231327771
227.80/227.90	o 29231327770
227.80/227.90	o 29231327769
227.80/227.90	o 29231327768
227.80/227.90	o 29231327767
227.80/227.90	o 29231327766
227.80/227.90	o 29231327765
227.80/227.90	o 29228971548
227.80/227.90	o 29228971547
227.80/227.90	o 29228971546
227.80/227.90	o 29228971545
227.80/227.90	o 29228971544
227.80/227.90	o 29228971543
227.80/227.90	o 29228971542
227.80/227.90	o 29228971541
227.80/227.90	o 29228971540
227.80/227.90	o 29228971539
227.80/227.90	o 29226615314
227.80/227.90	o 29226615313
227.80/227.90	o 29226615312
227.80/227.90	o 29226615311
227.80/227.90	o 29226615310
227.80/227.90	o 29226615309
227.80/227.90	o 29226615308
227.80/227.90	o 29224259095
227.80/227.90	o 29224259094
227.80/227.90	o 29224259093
227.80/227.90	o 29224259092
227.80/227.90	o 29224259091
227.80/227.90	o 29224259090
227.80/227.90	o 29221902878
227.80/227.90	o 29221902877
227.80/227.90	o 29221902876
227.80/227.90	o 29221902875
227.80/227.90	o 29221902874
227.80/227.90	o 29221902873
227.80/227.90	o 29221902872
227.80/227.90	o 29221902871
227.80/227.90	o 29221902870
227.80/227.90	o 29221902869
227.80/227.90	o 29221902868
227.80/227.90	o 29221902867
227.80/227.90	o 29221902866
227.80/227.90	o 29221902865
227.80/227.90	o 29219546645
227.80/227.90	o 29219546644
227.80/227.90	o 29219546643
227.80/227.90	o 29219546642
227.80/227.90	o 29219546641
227.80/227.90	o 29219546640
227.80/227.90	o 29219546639
227.80/227.90	o 29217190419
227.80/227.90	o 29217190418
227.80/227.90	o 29217190417
227.80/227.90	o 29217190416
227.80/227.90	o 29217190415
227.80/227.90	o 29217190414
227.80/227.90	o 29217190413
227.80/227.90	o 29217190412
227.80/227.90	o 29217190411
227.90/227.90	o 29214834190
227.90/227.90	o 29214834189
227.90/227.90	o 29214834188
227.90/227.90	o 29214834187
227.90/227.90	o 29214834186
227.90/227.90	o 29212477971
227.90/227.90	o 29212477970
227.90/227.90	o 29212477969
227.90/227.90	o 29212477968
227.90/227.90	o 29212477967
227.90/227.90	o 29212477966
227.90/227.90	o 29212477965
227.90/227.90	o 29212477964
227.90/227.90	o 29212477963
227.90/227.90	o 29212477962
227.90/227.90	o 29212477961
227.90/227.90	o 29212477960
227.90/227.90	o 29212477959
227.90/227.90	o 29207765514
227.90/227.90	o 29207765513
227.90/227.90	o 29207765512
227.90/227.90	o 29207765511
227.90/227.90	o 29205409299
227.90/227.90	o 29205409298
227.90/227.90	o 29205409297
227.90/227.90	o 29205409296
227.90/227.90	o 29205409295
227.90/227.90	o 29205409294
227.90/227.90	o 29205409293
227.90/227.90	o 29205409292
227.90/227.90	o 29205409291
227.90/227.90	o 29205409290
227.90/227.90	o 29205409289
227.90/227.90	o 29205409288
227.90/227.90	o 29205409287
227.90/227.90	o 29205409286
227.90/227.90	o 29205409285
227.90/227.90	o 29203053062
227.90/227.90	o 29203053061
227.90/227.90	o 29203053060
227.90/227.90	o 29203053059
227.90/227.90	o 29200696835
227.90/227.90	o 29200696834
227.90/227.90	o 29200696833
227.90/227.90	o 29200696832
227.90/227.90	o 29200696831
227.90/227.90	o 29200696830
227.90/227.90	o 29198340623
227.90/227.90	o 29198340622
227.90/227.90	o 29198340621
227.90/227.90	o 29198340620
227.90/227.90	o 29198340619
227.90/227.90	o 29198340618
227.90/227.90	o 29198340617
227.90/227.90	o 29198340616
227.90/227.90	o 29198340615
227.90/227.90	o 29198340614
227.90/227.90	o 29198340611
227.90/227.90	o 29198340610
227.90/227.90	o 29198340609
227.90/227.90	o 29198340608
227.90/227.90	o 29195984388
227.90/227.90	o 29195984387
227.90/227.90	o 29195984385
227.90/227.90	o 29195984384
227.90/227.90	o 29193628163
227.90/227.90	o 29193628162
227.90/227.90	o 29193628161
227.90/227.90	o 29193628160
227.90/227.90	o 29193628159
227.90/227.90	o 29193628158
227.90/227.90	o 29193628157
227.90/227.90	o 29193628156
227.90/227.90	o 29191271944
227.90/227.90	o 29191271943
227.90/227.90	o 29191271942
227.90/227.90	o 29191271941
227.90/227.90	o 29191271940
227.90/227.90	o 29191271939
227.90/227.90	o 29191271938
227.90/227.90	o 29191271937
227.90/227.90	o 29191271936
227.90/227.90	o 29191271935
227.90/227.90	o 29191271934
227.90/227.90	o 29191271933
227.90/227.90	o 29191271932
227.90/227.90	o 29191271931
227.90/227.90	o 29191271930
227.90/227.90	o 29188915709
227.90/227.90	o 29188915708
227.90/227.90	o 29188915707
227.90/227.90	o 29188915706
227.90/227.90	o 29188915705
227.90/227.90	o 29188915704
227.90/227.90	o 29186559479
227.90/227.90	o 29186559478
227.90/227.90	o 29184203262
227.90/227.90	o 29184203261
227.90/227.90	o 29184203260
227.90/227.90	o 29184203259
227.90/227.90	o 29184203258
227.90/227.90	o 29184203257
227.90/227.90	o 29184203256
227.90/227.90	o 29184203255
227.90/227.90	o 29184203253
227.90/227.90	o 29184203252
227.90/227.90	o 29184203251
227.90/227.90	o 29184203250
227.90/227.90	o 29184203249
227.90/227.90	o 29184203248
227.90/227.90	o 29184203247
227.90/227.90	o 29184203246
227.90/227.90	o 29181847028
227.90/227.90	o 29181847027
227.90/227.90	o 29181847026
227.90/227.90	o 29181847025
227.90/227.90	o 29181847024
227.90/227.90	o 29181847023
227.90/227.90	o 29181847022
227.90/227.90	o 29179490802
227.90/227.90	o 29179490801
227.90/227.90	o 29179490800
227.90/227.90	o 29179490799
227.90/227.90	o 29179490798
227.90/227.90	o 29179490797
227.90/227.90	o 29179490796
227.90/227.90	o 29177134583
227.90/227.90	o 29177134582
227.90/227.90	o 29177134581
227.90/227.90	o 29177134580
227.90/227.90	o 29177134579
227.90/227.90	o 29177134578
227.90/227.90	o 29177134577
227.90/227.90	o 29177134576
227.90/227.90	o 29177134575
227.90/227.90	o 29177134574
227.90/227.90	o 29177134573
227.90/227.90	o 29177134572
227.90/227.90	o 29177134571
227.90/227.90	o 29177134570
227.90/227.90	o 29174778349
227.90/227.90	o 29174778348
227.90/227.90	o 29172422127
227.90/227.90	o 29172422126
227.90/227.90	o 29172422125
227.90/227.90	o 29172422124
297.50/297.52	o 29172422123
297.50/297.52	o 29172422122
297.50/297.52	o 29170065901
297.50/297.52	o 29170065900
297.50/297.52	o 29170065899
297.50/297.52	o 29170065898
297.50/297.52	o 29170065897
297.50/297.52	o 29167709698
297.50/297.52	o 29167709697
297.50/297.52	o 29167709696
297.50/297.52	o 29167709695
297.50/297.52	o 29167709694
297.50/297.52	o 29167709693
297.50/297.52	o 29167709692
297.50/297.52	o 29167709691
297.50/297.52	o 29167709690
297.50/297.52	o 29167709689
297.50/297.52	o 29167709688
297.50/297.52	o 29167709687
297.50/297.52	o 29167709686
297.50/297.52	o 29167709685
297.50/297.52	o 29167709684
297.50/297.52	o 29167709683
297.50/297.52	o 29167709682
297.50/297.52	o 29167709681
297.50/297.52	o 29167709680
297.50/297.52	o 29167709679
297.50/297.52	o 29167709678
297.50/297.52	o 29167709677
297.50/297.52	o 29167709676
297.50/297.52	o 29167709675
297.50/297.52	o 29167709674
297.50/297.52	o 29165353450
297.50/297.52	o 29165353449
297.50/297.52	o 29165353448
297.50/297.52	o 29165353447
297.50/297.52	o 29165353446
297.50/297.52	o 29162997234
297.50/297.52	o 29162997233
297.50/297.52	o 29162997232
297.50/297.52	o 29162997231
297.50/297.52	o 29162997230
297.50/297.52	o 29162997229
297.50/297.52	o 29162997228
297.50/297.52	o 29162997227
297.50/297.52	o 29162997226
297.50/297.52	o 29162997225
297.50/297.52	o 29162997224
297.50/297.52	o 29162997223
297.50/297.52	o 29162997222
297.50/297.52	o 29162997221
297.50/297.52	o 29160641000
297.50/297.52	o 29160640999
297.50/297.52	o 29160640998
297.50/297.52	o 29160640997
297.50/297.52	o 29158284772
297.50/297.52	o 29158284771
297.50/297.52	o 29155928549
297.50/297.52	o 29155928548
297.50/297.52	o 29155928547
297.50/297.52	o 29153572327
297.50/297.52	o 29153572326
297.50/297.52	o 29153572325
297.50/297.52	o 29153572324
297.50/297.52	o 29153572323
297.50/297.52	o 29153572322
297.50/297.52	o 29153572321
297.50/297.52	o 29153572320
297.50/297.52	o 29151216096
297.50/297.52	o 29151216095
297.50/297.52	o 29148859870
297.50/297.52	o 29146503648
297.50/297.52	o 29146503647
297.50/297.52	o 29146503646
297.50/297.52	o 29146503645
297.50/297.52	o 29146503644
297.50/297.52	o 29144147429
297.50/297.52	o 29144147428
297.50/297.52	o 29144147427
297.50/297.52	o 29144147426
297.50/297.52	o 29144147425
297.50/297.52	o 29144147424
297.50/297.52	o 29144147423
297.50/297.52	o 29144147422
297.50/297.52	o 29144147421
297.50/297.52	o 29144147420
297.50/297.52	o 29144147419
297.50/297.52	o 29141791196
297.50/297.52	o 29141791195
297.50/297.52	o 29141791194
297.50/297.52	o 29141791193
297.50/297.52	o 29141791190
297.50/297.52	o 29141791189
297.50/297.52	o 29141791188
297.50/297.52	o 29141791187
297.50/297.52	o 29141791186
297.50/297.52	o 29139434970
297.50/297.52	o 29139434969
297.50/297.52	o 29139434968
297.50/297.52	o 29139434967
297.50/297.52	o 29139434966
297.50/297.52	o 29139434965
297.50/297.52	o 29139434964
297.50/297.52	o 29137078739
297.50/297.52	o 29137078738
297.50/297.52	o 29137078737
297.50/297.52	o 29134722519
297.50/297.52	o 29134722518
297.50/297.52	o 29134722517
297.50/297.52	o 29134722516
297.50/297.52	o 29134722515
297.50/297.52	o 29134722514
297.50/297.52	o 29132366296
297.50/297.52	o 29132366295
297.50/297.52	o 29132366294
297.50/297.52	o 29132366293
297.50/297.52	o 29132366292
297.50/297.52	o 29127653848
297.50/297.52	o 29127653847
297.50/297.52	o 29127653846
297.50/297.52	o 29127653845
297.50/297.52	o 29127653844
297.50/297.52	o 29127653843
297.50/297.52	o 29127653842
297.50/297.52	o 29127653841
297.50/297.52	o 29125297618
297.50/297.52	o 29125297617
297.50/297.52	o 29125297616
297.50/297.52	o 29125297615
297.50/297.52	o 29122941392
297.50/297.52	o 29122941391
297.50/297.52	o 29120585172
297.50/297.52	o 29118228947
297.50/297.52	o 29118228946
297.50/297.52	o 29118228945
297.50/297.52	o 29118228944
297.50/297.52	o 29118228943
297.50/297.52	o 29118228942
297.50/297.52	o 29118228941
297.50/297.52	o 29118228940
297.50/297.52	o 29118228939
297.50/297.52	o 29115872724
297.50/297.52	o 29115872723
297.50/297.52	o 29115872722
297.50/297.52	o 29115872721
297.50/297.52	o 29115872720
297.50/297.52	o 29115872719
297.50/297.52	o 29115872718
297.50/297.52	o 29115872717
297.50/297.52	o 29115872716
297.50/297.52	o 29115872715
297.50/297.52	o 29115872714
297.50/297.52	o 29113516495
297.50/297.52	o 29113516494
297.50/297.52	o 29113516493
297.50/297.52	o 29113516492
297.50/297.52	o 29113516491
297.50/297.52	o 29111160270
297.50/297.52	o 29111160269
297.50/297.52	o 29108804055
297.50/297.52	o 29106447832
297.50/297.52	o 29106447831
297.50/297.52	o 29106447830
297.50/297.52	o 29106447829
297.50/297.52	o 29106447828
297.50/297.52	o 29106447827
297.50/297.52	o 29106447826
297.50/297.52	o 29106447825
297.50/297.52	o 29106447824
297.50/297.52	o 29106447823
297.50/297.52	o 29106447822
297.50/297.52	o 29106447821
297.50/297.52	o 29106447820
297.50/297.52	o 29106447819
297.50/297.52	o 29104091606
297.50/297.52	o 29104091605
297.50/297.52	o 29101735381
297.50/297.52	o 29101735380
297.50/297.52	o 29099379163
297.50/297.52	o 29099379161
297.50/297.52	o 29099379160
297.50/297.52	o 29099379159
297.50/297.52	o 29099379158
297.50/297.52	o 29099379157
297.50/297.52	o 29099379156
297.50/297.52	o 29099379155
297.50/297.52	o 29099379154
297.50/297.52	o 29097022936
297.50/297.52	o 29097022935
297.50/297.52	o 29097022934
297.50/297.52	o 29097022933
297.50/297.52	o 29097022932
297.50/297.52	o 29097022931
297.50/297.52	o 29097022930
297.50/297.52	o 29097022929
297.50/297.52	o 29097022928
297.50/297.52	o 29097022927
297.50/297.52	o 29097022926
297.50/297.52	o 29097022925
297.50/297.52	o 29097022924
297.50/297.52	o 29097022923
297.50/297.52	o 29097022922
297.50/297.52	o 29097022921
297.50/297.52	o 29094666696
297.50/297.52	o 29092310477
297.50/297.52	o 29092310476
297.50/297.52	o 29092310474
297.50/297.52	o 29092310473
297.50/297.52	o 29092310472
297.50/297.52	o 29092310471
297.50/297.52	o 29092310470
297.50/297.52	o 29092310469
297.50/297.52	o 29089954262
297.50/297.52	o 29089954261
297.50/297.52	o 29089954260
297.50/297.52	o 29089954259
297.50/297.52	o 29089954258
297.50/297.52	o 29089954257
297.50/297.52	o 29089954255
297.50/297.52	o 29089954254
297.50/297.52	o 29089954253
297.50/297.52	o 29087598041
297.50/297.52	o 29087598040
297.50/297.52	o 29087598039
297.50/297.52	o 29087598038
297.50/297.52	o 29087598037
297.50/297.52	o 29087598036
297.50/297.52	o 29087598035
297.50/297.52	o 29087598034
297.50/297.52	o 29087598033
297.50/297.52	o 29087598032
297.50/297.52	o 29087598031
297.50/297.52	o 29087598030
297.50/297.52	o 29087598029
297.50/297.52	o 29087598028
297.50/297.52	o 29087598026
297.50/297.52	o 29087598025
297.50/297.52	o 29087598024
297.50/297.52	o 29087598023
297.50/297.52	o 29087598022
297.50/297.52	o 29087598021
297.50/297.52	o 29087598020
297.50/297.52	o 29087598019
297.50/297.52	o 29085241813
297.50/297.52	o 29085241812
297.50/297.52	o 29085241811
297.50/297.52	o 29085241810
297.50/297.52	o 29085241809
297.50/297.52	o 29085241808
297.50/297.52	o 29085241807
297.50/297.52	o 29085241806
297.50/297.52	o 29085241805
297.50/297.52	o 29085241804
297.50/297.52	o 29085241803
297.50/297.52	o 29085241802
297.50/297.52	o 29085241801
297.50/297.52	o 29085241800
297.50/297.52	o 29085241799
297.50/297.52	o 29085241798
297.50/297.52	o 29085241797
297.50/297.52	o 29085241796
297.50/297.52	o 29080529361
297.50/297.52	o 29080529360
297.50/297.52	o 29080529359
297.50/297.52	o 29080529358
297.50/297.52	o 29080529357
297.50/297.52	o 29080529356
297.50/297.52	o 29080529355
297.50/297.52	o 29080529354
297.50/297.52	o 29080529353
297.50/297.52	o 29080529352
297.50/297.52	o 29080529351
297.50/297.52	o 29080529350
297.50/297.52	o 29080529349
297.50/297.52	o 29080529348
297.50/297.52	o 29080529347
297.50/297.52	o 29080529346
297.50/297.52	o 25496711125
297.50/297.52	o 25496711124
297.50/297.52	o 25494354898
297.50/297.52	o 25491998674
297.50/297.52	o 25489642457
297.50/297.52	o 25489642456
297.50/297.52	o 25487286233
297.50/297.52	o 25487286232
297.50/297.52	o 25487286231
297.50/297.52	o 25487286230
297.50/297.52	o 25484930016
297.50/297.52	o 25484930015
297.50/297.52	o 25484930014
297.50/297.52	o 25484930013
297.50/297.52	o 25484930012
297.50/297.52	o 25484930011
356.90/356.90	o 25484930010
356.90/356.90	o 25484930008
356.90/356.90	o 25484930007
356.90/356.90	o 25482573790
356.90/356.90	o 25482573789
356.90/356.90	o 25482573788
356.90/356.90	o 25482573787
356.90/356.90	o 25482573786
356.90/356.90	o 25482573785
356.90/356.90	o 25482573784
356.90/356.90	o 25482573782
356.90/356.90	o 25480217565
356.90/356.90	o 25480217564
356.90/356.90	o 25480217563
356.90/356.90	o 25480217562
356.90/356.90	o 25480217561
356.90/356.90	o 25480217560
356.90/356.90	o 25480217559
356.90/356.90	o 25480217557
356.90/356.90	o 25480217556
356.90/356.90	o 25477861339
356.90/356.90	o 25477861338
356.90/356.90	o 25477861337
356.90/356.90	o 25477861336
356.90/356.90	o 25477861335
356.90/356.90	o 25477861334
356.90/356.90	o 25477861333
356.90/356.90	o 25477861332
356.90/356.90	o 25477861331
356.90/356.90	o 25475505108
356.90/356.90	o 25475505107
356.90/356.90	o 25475505106
356.90/356.90	o 25475505105
356.90/356.90	o 25475505104
356.90/356.90	o 25475505103
356.90/356.90	o 25473148884
356.90/356.90	o 25473148883
356.90/356.90	o 25473148882
356.90/356.90	o 25473148881
356.90/356.90	o 25473148880
356.90/356.90	o 25473148879
356.90/356.90	o 25473148878
356.90/356.90	o 25470792663
356.90/356.90	o 25470792662
356.90/356.90	o 25470792661
356.90/356.90	o 25470792660
356.90/356.90	o 25470792659
356.90/356.90	o 25470792658
356.90/356.90	o 25470792657
356.90/356.90	o 25470792656
356.90/356.90	o 25470792655
356.90/356.90	o 25470792654
356.90/356.90	o 25470792653
356.90/356.90	o 25468436445
356.90/356.90	o 25468436444
356.90/356.90	o 25468436443
356.90/356.90	o 25468436442
356.90/356.90	o 25468436441
356.90/356.90	o 25468436440
356.90/356.90	o 25468436439
356.90/356.90	o 25468436438
356.90/356.90	o 25468436437
356.90/356.90	o 25468436436
356.90/356.90	o 25468436435
356.90/356.90	o 25468436434
356.90/356.90	o 25468436433
356.90/356.90	o 25468436432
356.90/356.90	o 25468436431
356.90/356.90	o 25468436430
356.90/356.90	o 25468436429
356.90/356.90	o 25468436428
356.90/356.90	o 25468436427
356.90/356.90	o 25468436426
356.90/356.90	o 25468436424
356.90/356.90	o 25468436423
356.90/356.90	o 25468436422
356.90/356.90	o 25468436421
356.90/356.90	o 25466080206
356.90/356.90	o 25466080205
356.90/356.90	o 25466080204
356.90/356.90	o 25466080203
356.90/356.90	o 25466080202
356.90/356.90	o 25466080201
356.90/356.90	o 25466080200
356.90/356.90	o 25466080199
356.90/356.90	o 25466080198
356.90/356.90	o 25466080197
356.90/356.90	o 25466080196
356.90/356.90	o 25463723973
356.90/356.90	o 25463723972
356.90/356.90	o 25463723971
356.90/356.90	o 25463723970
356.90/356.90	o 25463723969
356.90/356.90	o 25459011518
356.90/356.90	o 25456655303
356.90/356.90	o 25456655302
356.90/356.90	o 25456655300
356.90/356.90	o 25456655299
356.90/356.90	o 25456655298
356.90/356.90	o 25456655297
356.90/356.90	o 25456655296
356.90/356.90	o 25456655295
356.90/356.90	o 25456655294
356.90/356.90	o 25456655293
356.90/356.90	o 25456655292
356.90/356.90	o 25456655291
356.90/356.90	o 25454299084
356.90/356.90	o 25454299083
356.90/356.90	o 25454299082
356.90/356.90	o 25454299081
356.90/356.90	o 25454299080
356.90/356.90	o 25454299079
356.90/356.90	o 25454299078
356.90/356.90	o 25454299077
356.90/356.90	o 25454299076
356.90/356.90	o 25454299075
356.90/356.90	o 25454299074
356.90/356.90	o 25454299073
356.90/356.90	o 25454299072
356.90/356.90	o 25454299071
356.90/356.90	o 25454299070
356.90/356.90	o 25454299069
356.90/356.90	o 25451942857
356.90/356.90	o 25451942856
356.90/356.90	o 25451942855
356.90/356.90	o 25449586630
356.90/356.90	o 25449586629
356.90/356.90	o 25449586628
356.90/356.90	o 25449586627
356.90/356.90	o 25449586626
356.90/356.90	o 25449586625
356.90/356.90	o 25449586624
356.90/356.90	o 25449586623
356.90/356.90	o 25447230414
356.90/356.90	o 25447230413
356.90/356.90	o 25447230412
356.90/356.90	o 25447230411
356.90/356.90	o 25447230410
356.90/356.90	o 25447230409
356.90/356.90	o 25447230408
356.90/356.90	o 25447230407
356.90/356.90	o 25447230406
356.90/356.90	o 25447230405
356.90/356.90	o 25447230404
356.90/356.90	o 25447230403
356.90/356.90	o 25447230402
356.90/356.90	o 25447230401
356.90/356.90	o 25447230400
356.90/356.90	o 25447230399
356.90/356.90	o 25447230398
356.90/356.90	o 25447230397
356.90/356.90	o 25440161724
356.90/356.90	o 25440161723
356.90/356.90	o 25440161722
356.90/356.90	o 25440161721
356.90/356.90	o 25440161720
356.90/356.90	o 25435449278
356.90/356.90	o 25435449277
356.90/356.90	o 25435449276
356.90/356.90	o 25435449275
356.90/356.90	o 25435449274
356.90/356.90	o 25435449273
356.90/356.90	o 25435449272
356.90/356.90	o 25435449271
356.90/356.90	o 25433093055
356.90/356.90	o 25433093053
356.90/356.90	o 25433093052
356.90/356.90	o 25433093051
356.90/356.90	o 25433093050
356.90/356.90	o 25433093049
356.90/356.90	o 25433093048
356.90/356.90	o 25433093047
356.90/356.90	o 25430736826
356.90/356.90	o 25430736825
356.90/356.90	o 25430736824
356.90/356.90	o 25430736823
356.90/356.90	o 25430736822
356.90/356.90	o 25428380618
356.90/356.90	o 25428380617
356.90/356.90	o 25428380616
356.90/356.90	o 25428380615
356.90/356.90	o 25428380614
356.90/356.90	o 25428380613
356.90/356.90	o 25428380612
356.90/356.90	o 25428380611
356.90/356.90	o 25428380610
356.90/356.90	o 25428380609
356.90/356.90	o 25428380608
356.90/356.90	o 25428380607
356.90/356.90	o 25428380606
356.90/356.90	o 25428380605
356.90/356.90	o 25428380604
356.90/356.90	o 25428380603
356.90/356.90	o 25428380602
356.90/356.90	o 25428380601
356.90/356.90	o 25428380600
356.90/356.90	o 25428380599
356.90/356.90	o 25428380598
356.90/356.90	o 25428380597
356.90/356.90	o 25426024375
356.90/356.90	o 25426024374
356.90/356.90	o 25426024373
356.90/356.90	o 25426024372
356.90/356.90	o 25423668157
356.90/356.90	o 25423668156
356.90/356.90	o 25423668155
356.90/356.90	o 25423668154
356.90/356.90	o 25423668153
356.90/356.90	o 25423668152
356.90/356.90	o 25423668151
356.90/356.90	o 25423668150
356.90/356.90	o 25423668149
356.90/356.90	o 25423668148
356.90/356.90	o 25423668147
356.90/356.90	o 25421311935
356.90/356.90	o 25421311933
356.90/356.90	o 25421311932
356.90/356.90	o 25421311931
356.90/356.90	o 25421311930
356.90/356.90	o 25421311929
356.90/356.90	o 25421311928
356.90/356.90	o 25421311927
356.90/356.90	o 25421311926
356.90/356.90	o 25421311925
356.90/356.90	o 25421311924
356.90/356.90	o 25421311923
356.90/356.90	o 25421311922
356.90/356.90	o 25418955716
356.90/356.90	o 25418955715
356.90/356.90	o 25418955714
356.90/356.90	o 25418955713
356.90/356.90	o 25418955712
356.90/356.90	o 25418955711
356.90/356.90	o 25418955710
356.90/356.90	o 25418955709
356.90/356.90	o 25418955708
356.90/356.90	o 25418955707
356.90/356.90	o 25418955706
356.90/356.90	o 25418955705
356.90/356.90	o 25418955704
356.90/356.90	o 25418955703
356.90/356.90	o 25418955702
356.90/356.90	o 25418955701
356.90/356.90	o 25418955700
356.90/356.90	o 25418955699
356.90/356.90	o 25418955698
356.90/356.90	o 25418955697
356.90/356.90	o 25416599478
356.90/356.90	o 25416599477
356.90/356.90	o 25416599476
356.90/356.90	o 25416599475
356.90/356.90	o 25416599474
356.90/356.90	o 25416599473
356.90/356.90	o 25416599472
356.90/356.90	o 25414243258
356.90/356.90	o 25414243257
356.90/356.90	o 25414243256
356.90/356.90	o 25414243255
356.90/356.90	o 25414243254
356.90/356.90	o 25414243253
356.90/356.90	o 25414243252
356.90/356.90	o 25414243251
356.90/356.90	o 25414243250
356.90/356.90	o 25414243249
356.90/356.90	o 25414243248
356.90/356.90	o 25414243247
356.90/356.90	o 25411887033
356.90/356.90	o 25411887031
356.90/356.90	o 25411887029
356.90/356.90	o 25411887028
356.90/356.90	o 25411887027
356.90/356.90	o 25411887026
356.90/356.90	o 25411887025
356.90/356.90	o 25411887024
356.90/356.90	o 25411887023
356.90/356.90	o 25411887022
356.90/356.90	o 25409530805
356.90/356.90	o 25409530804
356.90/356.90	o 25409530803
356.90/356.90	o 25409530802
356.90/356.90	o 25409530801
356.90/356.90	o 25409530800
356.90/356.90	o 25409530799
356.90/356.90	o 25409530798
356.90/356.90	o 25409530797
356.90/356.90	o 25407174581
356.90/356.90	o 25407174580
356.90/356.90	o 25407174579
356.90/356.90	o 25407174578
356.90/356.90	o 25407174577
356.90/356.90	o 25407174576
356.90/356.90	o 25407174575
429.01/429.06	o 25407174574
429.01/429.06	o 25407174573
429.01/429.06	o 25407174572
429.01/429.06	o 25404818367
429.01/429.06	o 25404818366
429.01/429.06	o 25404818365
429.01/429.06	o 25404818364
429.01/429.06	o 25404818363
429.01/429.06	o 25404818361
429.01/429.06	o 25404818360
429.01/429.06	o 25404818359
429.01/429.06	o 25404818358
429.01/429.06	o 25404818357
429.01/429.06	o 25404818356
429.01/429.06	o 25404818355
429.01/429.06	o 25404818354
429.01/429.06	o 25404818353
429.01/429.06	o 25404818352
429.01/429.06	o 25404818351
429.01/429.06	o 25404818350
429.01/429.06	o 25404818349
429.01/429.06	o 25404818348
429.01/429.06	o 25404818347
429.01/429.06	o 25404818346
429.01/429.06	o 25404818345
429.01/429.06	o 25402462123
429.01/429.06	o 25402462121
429.01/429.06	o 25402462120
429.01/429.06	o 25400105908
429.01/429.06	o 25397749683
429.01/429.06	o 25397749681
429.01/429.06	o 25397749680
429.01/429.06	o 25397749679
429.01/429.06	o 25397749678
429.01/429.06	o 25397749677
429.01/429.06	o 25397749676
429.01/429.06	o 25397749675
429.01/429.06	o 25397749674
429.01/429.06	o 25397749673
429.01/429.06	o 25397749672
429.01/429.06	o 25397749671
429.01/429.06	o 25397749670
429.01/429.06	o 25397749669
429.01/429.06	o 25397749668
429.01/429.06	o 25397749667
429.01/429.06	o 25397749666
429.01/429.06	o 25395393440
429.01/429.06	o 25393037227
429.01/429.06	o 25393037226
429.01/429.06	o 25393037225
429.01/429.06	o 25393037223
429.01/429.06	o 25393037222
429.01/429.06	o 25393037221
429.01/429.06	o 25393037220
429.01/429.06	o 25393037219
429.01/429.06	o 25393037218
429.01/429.06	o 25393037217
429.01/429.06	o 25393037216
429.01/429.06	o 25390681015
429.01/429.06	o 25390681014
429.01/429.06	o 25390681013
429.01/429.06	o 25390681012
429.01/429.06	o 25390681011
429.01/429.06	o 25390681010
429.01/429.06	o 25390681009
429.01/429.06	o 25390681008
429.01/429.06	o 25390681007
429.01/429.06	o 25390681006
429.01/429.06	o 25390681005
429.01/429.06	o 25390681004
429.01/429.06	o 25390681003
429.01/429.06	o 25390681002
429.01/429.06	o 25390681001
429.01/429.06	o 25390681000
429.01/429.06	o 25390680999
429.01/429.06	o 25390680998
429.01/429.06	o 25390680997
429.01/429.06	o 25390680996
429.01/429.06	o 25390680995
429.01/429.06	o 25390680994
429.01/429.06	o 25385968560
429.01/429.06	o 25385968559
429.01/429.06	o 25385968558
429.01/429.06	o 25385968557
429.01/429.06	o 25385968556
429.01/429.06	o 25385968555
429.01/429.06	o 25385968554
429.01/429.06	o 25385968553
429.01/429.06	o 25385968552
429.01/429.06	o 25385968551
429.01/429.06	o 25385968550
429.01/429.06	o 25385968549
429.01/429.06	o 25385968548
429.01/429.06	o 25385968547
429.01/429.06	o 25385968546
429.01/429.06	o 25383612346
429.01/429.06	o 25383612344
429.01/429.06	o 25383612343
429.01/429.06	o 25383612342
429.01/429.06	o 25383612341
429.01/429.06	o 25383612340
429.01/429.06	o 25383612338
429.01/429.06	o 25383612337
429.01/429.06	o 25383612336
429.01/429.06	o 25383612335
429.01/429.06	o 25381256116
429.01/429.06	o 25381256115
429.01/429.06	o 25381256114
429.01/429.06	o 25381256113
429.01/429.06	o 25381256112
429.01/429.06	o 25381256111
429.01/429.06	o 25381256110
429.01/429.06	o 25381256109
429.01/429.06	o 25381256108
429.01/429.06	o 25381256107
429.01/429.06	o 25381256106
429.01/429.06	o 25381256105
429.01/429.06	o 25381256104
429.01/429.06	o 25381256103
429.01/429.06	o 25381256102
429.01/429.06	o 25381256101
429.01/429.06	o 25381256100
429.01/429.06	o 25381256099
429.01/429.06	o 25381256098
429.01/429.06	o 25381256097
429.01/429.06	o 25381256096
429.01/429.06	o 25378899874
429.01/429.06	o 25378899873
429.01/429.06	o 25378899872
429.01/429.06	o 25378899871
429.01/429.06	o 25376543652
429.01/429.06	o 25376543651
429.01/429.06	o 25376543650
429.01/429.06	o 25374187444
429.01/429.06	o 25374187443
429.01/429.06	o 25374187442
429.01/429.06	o 25374187441
429.01/429.06	o 25374187440
429.01/429.06	o 25374187439
429.01/429.06	o 25374187438
429.01/429.06	o 25374187437
429.01/429.06	o 25374187436
429.01/429.06	o 25374187435
429.01/429.06	o 25374187434
429.01/429.06	o 25374187433
429.01/429.06	o 25374187431
429.01/429.06	o 25374187430
429.01/429.06	o 25374187429
429.01/429.06	o 25374187428
429.01/429.06	o 25374187427
429.01/429.06	o 25374187426
429.01/429.06	o 25374187425
429.01/429.06	o 25374187424
429.01/429.06	o 25374187423
429.01/429.06	o 25374187422
429.01/429.06	o 25374187421
429.01/429.06	o 25371831221
429.01/429.06	o 25369474996
429.01/429.06	o 25369474995
429.01/429.06	o 25369474993
429.01/429.06	o 25369474992
429.01/429.06	o 25369474991
429.01/429.06	o 25369474989
429.01/429.06	o 25369474988
429.01/429.06	o 25369474987
429.01/429.06	o 25369474986
429.01/429.06	o 25369474985
429.01/429.06	o 25369474983
429.01/429.06	o 25369474982
429.01/429.06	o 25369474981
429.01/429.06	o 25369474980
429.01/429.06	o 25369474979
429.01/429.06	o 25369474978
429.01/429.06	o 25369474977
429.01/429.06	o 25369474976
429.01/429.06	o 25369474975
429.01/429.06	o 25369474974
429.01/429.06	o 25369474973
429.01/429.06	o 25369474972
429.01/429.06	o 25369474971
429.01/429.06	o 25364762540
429.01/429.06	o 25364762539
429.01/429.06	o 25364762537
429.01/429.06	o 25364762536
429.01/429.06	o 25364762535
429.01/429.06	o 25364762534
429.01/429.06	o 25364762533
429.01/429.06	o 25364762532
429.01/429.06	o 25364762531
429.01/429.06	o 25364762530
429.01/429.06	o 25364762529
429.01/429.06	o 25364762528
429.01/429.06	o 25364762527
429.01/429.06	o 25364762526
429.01/429.06	o 25364762525
429.01/429.06	o 25364762524
429.01/429.06	o 25364762523
429.01/429.06	o 25364762522
429.01/429.06	o 25364762521
429.01/429.06	o 25360050071
429.01/429.06	o 25355337621
429.01/429.06	o 25350625181
429.01/429.06	o 25350625180
429.01/429.06	o 25350625179
429.01/429.06	o 25350625178
429.01/429.06	o 25350625177
429.01/429.06	o 25350625176
429.01/429.06	o 25350625175
429.01/429.06	o 25350625174
429.01/429.06	o 25350625173
429.01/429.06	o 25350625172
429.01/429.06	o 25350625171
429.01/429.06	o 25348268947
429.01/429.06	o 25348268946
429.01/429.06	o 25348268945
429.01/429.06	o 25345912741
429.01/429.06	o 25345912740
429.01/429.06	o 25345912738
429.01/429.06	o 25345912737
429.01/429.06	o 25345912736
429.01/429.06	o 25345912735
429.01/429.06	o 25345912734
429.01/429.06	o 25345912732
429.01/429.06	o 25345912731
429.01/429.06	o 25345912730
429.01/429.06	o 25345912729
429.01/429.06	o 25345912728
429.01/429.06	o 25345912727
429.01/429.06	o 25345912726
429.01/429.06	o 25345912725
429.01/429.06	o 25345912724
429.01/429.06	o 25345912723
429.01/429.06	o 25345912722
429.01/429.06	o 25345912721
429.01/429.06	o 25345912720
429.01/429.06	o 25345912719
429.01/429.06	s OPTIMUM FOUND
429.01/429.06	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	25345912719

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497998-1307936379/watcher-3497998-1307936379 -o /var/tmp/evaluation-result-3497998-1307936379/solver-3497998-1307936379 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497998-1307936379.opb --verbosity=0 --format=opb --randomseed=1558313241 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.85 1.97 1.99 3/172 1168
/proc/meminfo: memFree=5539208/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=7548 CPUtime=0 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 339 0 0 0 0 0 0 0 20 0 1 0 983868404 7729152 292 33554432000 4194304 6957856 140737341442848 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 1887 292 227 675 0 1203 0

[startup+0.0229169 s]
/proc/loadavg: 1.85 1.97 1.99 3/172 1168
/proc/meminfo: memFree=5539208/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=9504 CPUtime=0.01 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 893 0 0 0 1 0 0 0 20 0 1 0 983868404 9732096 806 33554432000 4194304 6957856 140737341442848 18446744073709551615 4338016 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 2376 807 251 675 0 1692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9504

[startup+0.100944 s]
/proc/loadavg: 1.85 1.97 1.99 3/172 1168
/proc/meminfo: memFree=5539208/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=15116 CPUtime=0.09 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 2282 0 0 0 9 0 0 0 20 0 1 0 983868404 15478784 2195 33554432000 4194304 6957856 140737341442848 18446744073709551615 5448720 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 3779 2196 251 675 0 3095 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15116

[startup+0.300917 s]
/proc/loadavg: 1.85 1.97 1.99 3/172 1168
/proc/meminfo: memFree=5539208/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=30704 CPUtime=0.29 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 6464 0 0 0 29 0 0 0 21 0 1 0 983868404 31440896 6090 33554432000 4194304 6957856 140737341442848 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 7676 6091 267 675 0 6992 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30704

[startup+0.700844 s]
/proc/loadavg: 1.85 1.97 1.99 3/172 1168
/proc/meminfo: memFree=5539208/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=67336 CPUtime=0.69 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 15676 0 0 0 66 3 0 0 22 0 1 0 983868404 68952064 15236 33554432000 4194304 6957856 140737341442848 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 16834 15238 267 675 0 16150 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67336

[startup+1.50068 s]
/proc/loadavg: 1.85 1.97 1.99 3/175 1174
/proc/meminfo: memFree=5374544/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=86164 CPUtime=1.49 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 20370 0 0 0 146 3 0 0 25 0 1 0 983868404 88231936 19928 33554432000 4194304 6957856 140737341442848 18446744073709551615 4847923 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 21541 19928 283 675 0 20857 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86164

[startup+3.10039 s]
/proc/loadavg: 1.85 1.97 1.99 3/175 1174
/proc/meminfo: memFree=5373800/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=86168 CPUtime=3.09 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 20387 0 0 0 306 3 0 0 25 0 1 0 983868404 88236032 19945 33554432000 4194304 6957856 140737341442848 18446744073709551615 5922093 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 21542 19945 286 675 0 20858 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86168

[startup+6.3008 s]
/proc/loadavg: 1.94 1.98 1.99 3/175 1175
/proc/meminfo: memFree=5373636/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=86316 CPUtime=6.29 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 20482 0 0 0 626 3 0 0 25 0 1 0 983868404 88387584 20040 33554432000 4194304 6957856 140737341442848 18446744073709551615 5917986 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 21579 20040 286 675 0 20895 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86316

[startup+12.7006 s]
/proc/loadavg: 1.94 1.98 1.99 3/175 1175
/proc/meminfo: memFree=5371556/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=87236 CPUtime=12.69 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 20743 0 0 0 1266 3 0 0 25 0 1 0 983868404 89329664 20301 33554432000 4194304 6957856 140737341442848 18446744073709551615 5915210 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 21809 20301 286 675 0 21125 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87236

[startup+25.5002 s]
/proc/loadavg: 1.96 1.98 1.99 3/175 1175
/proc/meminfo: memFree=5368328/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=88884 CPUtime=25.49 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 21199 0 0 0 2546 3 0 0 25 0 1 0 983868404 91017216 20757 33554432000 4194304 6957856 140737341442848 18446744073709551615 5932630 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 22221 20757 286 675 0 21537 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 88884

[startup+51.1004 s]
/proc/loadavg: 1.97 1.98 1.99 3/175 1176
/proc/meminfo: memFree=5361092/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=90176 CPUtime=51.09 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 22797 0 0 0 5105 4 0 0 25 0 1 0 983868404 92340224 21939 33554432000 4194304 6957856 140737341442848 18446744073709551615 5311794 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 22544 21939 287 675 0 21860 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 90176

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/175 1177
/proc/meminfo: memFree=5318044/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=110568 CPUtime=102.3 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 32352 0 0 0 10225 5 0 0 25 0 1 0 983868404 113221632 26964 33554432000 4194304 6957856 140737341442848 18446744073709551615 5929028 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 27642 26964 287 675 0 26958 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 110568

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 1179
/proc/meminfo: memFree=5288236/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=128360 CPUtime=162.29 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 43491 0 0 0 16222 7 0 0 25 0 1 0 983868404 131440640 29070 33554432000 4194304 6957856 140737341442848 18446744073709551615 5934045 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 32090 29070 287 675 0 31406 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 128360

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 1180
/proc/meminfo: memFree=5248144/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=147956 CPUtime=222.3 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 48649 0 0 0 22221 9 0 0 25 0 1 0 983868404 151506944 34226 33554432000 4194304 6957856 140737341442848 18446744073709551615 5922313 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 36989 34226 287 675 0 36305 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 147956

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 1182
/proc/meminfo: memFree=5221324/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=153544 CPUtime=282.29 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 51666 0 0 0 28220 9 0 0 25 0 1 0 983868404 157229056 37239 33554432000 4194304 6957856 140737341442848 18446744073709551615 5934082 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 38386 37239 287 675 0 37702 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 153544

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 1183
/proc/meminfo: memFree=5211616/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=160616 CPUtime=342.3 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 54076 0 0 0 34219 11 0 0 25 0 1 0 983868404 164470784 39647 33554432000 4194304 6957856 140737341442848 18446744073709551615 4859701 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 40154 39647 287 675 0 39470 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 160616

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 1185
/proc/meminfo: memFree=5205628/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=160616 CPUtime=402.3 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 54076 0 0 0 40219 11 0 0 25 0 1 0 983868404 164470784 39647 33554432000 4194304 6957856 140737341442848 18446744073709551615 5315472 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 40154 39647 287 675 0 39470 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 160616

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

[startup+409.501 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 1185
/proc/meminfo: memFree=5205624/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=160616 CPUtime=409.5 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 54076 0 0 0 40939 11 0 0 25 0 1 0 983868404 164470784 39647 33554432000 4194304 6957856 140737341442848 18446744073709551615 4856576 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 40154 39647 287 675 0 39470 0
Current children cumulated CPU time (s) 409.5
Current children cumulated vsize (KiB) 160616

[startup+422.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 1186
/proc/meminfo: memFree=5205620/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=160616 CPUtime=422.3 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 54076 0 0 0 42219 11 0 0 25 0 1 0 983868404 164470784 39647 33554432000 4194304 6957856 140737341442848 18446744073709551615 5922313 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 40154 39647 287 675 0 39470 0
Current children cumulated CPU time (s) 422.3
Current children cumulated vsize (KiB) 160616

[startup+425.501 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 1186
/proc/meminfo: memFree=5205620/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=160616 CPUtime=425.5 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 54076 0 0 0 42539 11 0 0 25 0 1 0 983868404 164470784 39647 33554432000 4194304 6957856 140737341442848 18446744073709551615 4871280 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 40154 39647 287 675 0 39470 0
Current children cumulated CPU time (s) 425.5
Current children cumulated vsize (KiB) 160616

[startup+427.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 1186
/proc/meminfo: memFree=5205620/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=160616 CPUtime=427.1 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 54076 0 0 0 42699 11 0 0 25 0 1 0 983868404 164470784 39647 33554432000 4194304 6957856 140737341442848 18446744073709551615 4859489 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 40154 39647 287 675 0 39470 0
Current children cumulated CPU time (s) 427.1
Current children cumulated vsize (KiB) 160616

[startup+427.906 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 1186
/proc/meminfo: memFree=5205620/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=160616 CPUtime=427.91 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 54076 0 0 0 42780 11 0 0 25 0 1 0 983868404 164470784 39647 33554432000 4194304 6957856 140737341442848 18446744073709551615 5934607 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 40154 39647 287 675 0 39470 0
Current children cumulated CPU time (s) 427.91
Current children cumulated vsize (KiB) 160616

[startup+428.701 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 1186
/proc/meminfo: memFree=5205620/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=160616 CPUtime=428.7 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 54076 0 0 0 42859 11 0 0 25 0 1 0 983868404 164470784 39647 33554432000 4194304 6957856 140737341442848 18446744073709551615 5932688 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 40154 39647 287 675 0 39470 0
Current children cumulated CPU time (s) 428.7
Current children cumulated vsize (KiB) 160616

[startup+428.901 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 1186
/proc/meminfo: memFree=5205620/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=160616 CPUtime=428.9 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 54076 0 0 0 42879 11 0 0 25 0 1 0 983868404 164470784 39647 33554432000 4194304 6957856 140737341442848 18446744073709551615 5934637 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 40154 39647 287 675 0 39470 0
Current children cumulated CPU time (s) 428.9
Current children cumulated vsize (KiB) 160616

[startup+429.006 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 1186
/proc/meminfo: memFree=5205620/32951124 swapFree=67062556/67111528
[pid=1168] ppid=1165 vsize=160616 CPUtime=429.01 cores=0,2,4,6
/proc/1168/stat : 1168 (minisatid-gmp) R 1165 1168 31308 0 -1 4202496 54076 0 0 0 42890 11 0 0 25 0 1 0 983868404 164470784 39647 33554432000 4194304 6957856 140737341442848 18446744073709551615 5922116 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/1168/statm: 40154 39647 287 675 0 39470 0
Current children cumulated CPU time (s) 429.01
Current children cumulated vsize (KiB) 160616

Child status: 10
Real time (s): 429.079
CPU time (s): 429.091
CPU user time (s): 428.965
CPU system time (s): 0.12598
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 160616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 428.965
system time used= 0.12598
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54079
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1262

runsolver used 0.640902 second user time and 1.3228 second system time

The end

Launcher Data

Begin job on node111 at 2011-06-13 05:39:39
IDJOB=3497998
IDBENCH=72291
IDSOLVER=1990
FILE ID=node111/3497998-1307936379
RUNJOBID= node111-1307936379-1145
PBS_JOBID= 13559668
Free space on /var/tmp= 2884 MiB

SOLVER NAME= MinisatID 2.5.2-gmp
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randb54299.cudf.trendy.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497998-1307936379/watcher-3497998-1307936379 -o /var/tmp/evaluation-result-3497998-1307936379/solver-3497998-1307936379 -C 1800 -W 1900 -M 15500  HOME/minisatid-gmp HOME/instance-3497998-1307936379.opb --verbosity=0 --format=opb --randomseed=1558313241

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a28eb4bd9bb6fe4f9f9bc58539a199f7
RANDOM SEED=1558313241

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       5540132 kB
Buffers:         95556 kB
Cached:       26437508 kB
SwapCached:      11344 kB
Active:       11380504 kB
Inactive:     15170276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       5540132 kB
SwapTotal:    67111528 kB
SwapFree:     67062556 kB
Dirty:            7716 kB
Writeback:           0 kB
AnonPages:       15620 kB
Mapped:           9748 kB
Slab:           793952 kB
PageTables:       4364 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   156852 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2876 MiB
End job on node111 at 2011-06-13 05:46:48