Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2-gmp (fixed) | OPT | 25345912719 | 429.091 | 429.079 |
Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-randb54299.cudf.trendy.opb |
MD5SUM | a28eb4bd9bb6fe4f9f9bc58539a199f7 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25345912719 |
Best CPU time to get the best result obtained on this benchmark | 2.75158 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6550 |
Total number of constraints | 27373 |
Number of constraints which are clauses | 27102 |
Number of constraints which are cardinality constraints (but not clauses) | 271 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 553 |
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 numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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
OK 25345912719
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
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