Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2-gmp (fixed) | OPT | 4241573758 | 452.946 | 452.933 |
Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-randc5fe62.cudf.trendy.opb |
MD5SUM | 43875142ae1c220985d6e8b2ab6ecef8 |
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 | 4241573758 |
Best CPU time to get the best result obtained on this benchmark | 5.76712 |
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 | 6791 |
Total number of constraints | 28455 |
Number of constraints which are clauses | 28164 |
Number of constraints which are cardinality constraints (but not clauses) | 291 |
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 | 3172 |
Biggest coefficient in the objective function | 4004529472 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 2210495226091 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 4004529472 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 2210495226091 |
Number of bits of the biggest sum of numbers | 42 |
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. 54.19/54.22 o 1265950792724 54.19/54.22 o 1261948784996 54.19/54.22 o 1257944255524 54.19/54.22 o 1253942247796 54.19/54.22 o 1249937718324 54.19/54.22 o 1245933188852 54.19/54.22 o 1241928659380 54.19/54.22 o 1237924129908 54.19/54.22 o 1233919600436 54.19/54.22 o 1229915070964 54.19/54.22 o 1225910541492 54.19/54.22 o 1221906012020 54.19/54.22 o 1217901482548 54.19/54.22 o 1213896953076 54.19/54.22 o 1209892423604 54.19/54.22 o 1205887894132 54.19/54.22 o 1201883364660 54.19/54.22 o 1197878835188 54.19/54.22 o 1193874305716 54.19/54.22 o 1189869776244 54.19/54.22 o 1185865246772 54.19/54.22 o 1181860717301 54.19/54.22 o 1177856187829 54.19/54.22 o 1173851658357 54.19/54.22 o 1169847128885 54.19/54.22 o 1165842599413 54.19/54.22 o 1161838069941 54.19/54.22 o 1157833540469 54.19/54.22 o 1153829010997 54.19/54.22 o 1149824481525 54.19/54.22 o 1145819952053 54.19/54.22 o 1141815422581 54.19/54.22 o 1137810893109 54.19/54.22 o 1133806363637 54.19/54.22 o 1129801834165 54.19/54.22 o 1125799826437 54.19/54.22 o 1117790767493 54.19/54.22 o 1113786238021 54.19/54.22 o 1109781708549 54.19/54.22 o 1105779700821 54.19/54.22 o 1093771155893 54.19/54.22 o 1089766626421 54.19/54.22 o 1085762096949 54.19/54.22 o 1081757567477 54.19/54.22 o 1077753038005 54.19/54.22 o 1073748508533 54.19/54.22 o 1069743979061 54.19/54.22 o 1065739449589 54.19/54.22 o 1061734920117 54.19/54.22 o 1057730390645 54.19/54.22 o 1053718295941 54.19/54.22 o 1049713766469 54.19/54.22 o 1045709236997 54.19/54.22 o 1041704707525 54.19/54.22 o 1037700178053 54.19/54.22 o 1033695648581 54.19/54.22 o 1029691119109 54.19/54.22 o 1025686589637 54.19/54.22 o 1021682060165 54.19/54.22 o 1017677530693 54.19/54.22 o 1013673001221 54.19/54.22 o 1009668471749 54.19/54.22 o 1005663942278 54.19/54.22 o 1001659412806 54.19/54.22 o 997654883335 54.19/54.22 o 993650353863 54.19/54.22 o 993647832119 54.19/54.22 o 989643302648 54.19/54.22 o 985638773176 54.19/54.22 o 981634243704 54.19/54.22 o 977629714233 54.19/54.22 o 973625184763 54.19/54.22 o 973625184762 54.19/54.22 o 969620655292 54.19/54.22 o 965616125820 54.19/54.22 o 961611596348 54.19/54.22 o 957607066876 54.19/54.22 o 953602537404 54.19/54.22 o 949598007932 54.19/54.22 o 945593478460 54.19/54.22 o 941588948988 54.19/54.22 o 937584419516 54.19/54.22 o 933579890044 54.19/54.22 o 933574846556 54.19/54.22 o 929570317084 54.19/54.22 o 925565787612 54.19/54.22 o 917559250412 54.19/54.22 o 909550191468 54.19/54.22 o 905545661996 54.19/54.22 o 901541132524 54.19/54.22 o 897536603052 54.19/54.22 o 893532073580 54.19/54.22 o 889527544108 54.19/54.22 o 889525022364 54.19/54.22 o 889522500620 54.19/54.22 o 857493830092 54.19/54.22 o 853489300620 54.19/54.22 o 849484771148 54.19/54.22 o 845480241676 54.19/54.22 o 845477719932 54.19/54.22 o 841473190460 54.19/54.22 o 837468660988 54.19/54.22 o 833464131516 54.19/54.22 o 829459602044 54.19/54.22 o 825455072572 54.19/54.22 o 821450543100 54.19/54.22 o 817448535374 54.19/54.22 o 813444005902 54.19/54.22 o 809439476430 54.19/54.22 o 805434946958 54.19/54.22 o 801430417486 54.19/54.22 o 797428409758 54.19/54.22 o 793423880286 54.19/54.22 o 789419350814 54.19/54.22 o 785414821342 54.19/54.22 o 785409777855 54.19/54.22 o 781405248383 54.19/54.22 o 777400718911 54.19/54.22 o 773396189439 54.19/54.22 o 769391659967 54.19/54.22 o 765387130495 54.19/54.22 o 761382601023 54.19/54.22 o 761380079279 54.19/54.22 o 757375549807 54.19/54.22 o 753371020335 54.19/54.22 o 749366490863 54.19/54.22 o 745361961391 54.19/54.22 o 741357431919 54.19/54.22 o 737352902447 54.19/54.22 o 733348372975 54.19/54.22 o 729343843503 54.19/54.22 o 725339314034 54.19/54.22 o 721334784562 54.19/54.22 o 717330255090 54.19/54.22 o 713325725618 54.19/54.22 o 709321196146 54.19/54.22 o 705316666674 54.19/54.22 o 701312137202 54.19/54.22 o 697307607735 54.19/54.22 o 693303078263 54.19/54.22 o 689298548791 54.19/54.22 o 685296541063 54.19/54.22 o 681292011591 54.19/54.22 o 677287482119 54.19/54.22 o 673282952647 54.19/54.22 o 669278423175 54.19/54.22 o 665273893703 54.19/54.22 o 661269364233 54.19/54.22 o 657264834761 54.19/54.22 o 653260305289 54.19/54.22 o 649255775817 54.19/54.22 o 645251246345 54.19/54.22 o 641246716873 54.19/54.22 o 633242701418 54.19/54.22 o 633240179675 54.19/54.22 o 633237657939 54.19/54.22 o 633237657938 54.19/54.22 o 633237657937 54.19/54.22 o 633235136193 54.19/54.22 o 633232614449 54.19/54.22 o 633230092705 54.19/54.22 o 633227570961 54.19/54.22 o 633225049217 54.19/54.22 o 633222527473 54.19/54.22 o 633220005729 54.19/54.22 o 633217483985 54.19/54.22 o 633214962241 54.19/54.22 o 633209918753 54.19/54.22 o 629207911025 54.19/54.22 o 625205903298 54.19/54.22 o 625203381554 54.19/54.22 o 625203381553 54.19/54.22 o 621198852081 54.19/54.22 o 617194322609 54.19/54.22 o 609185263665 54.19/54.22 o 609182741921 54.19/54.22 o 605178212449 54.19/54.22 o 601173682977 54.19/54.22 o 597169153505 54.19/54.22 o 593164624033 54.19/54.22 o 589160094561 54.19/54.22 o 585158086833 54.19/54.22 o 577176767074 54.19/54.22 o 577174245331 54.19/54.22 o 573169715859 54.19/54.22 o 569165186387 54.19/54.22 o 565160656915 54.19/54.22 o 561156127443 54.19/54.22 o 557151597971 54.19/54.22 o 557149076227 54.19/54.22 o 549140017283 54.19/54.22 o 545140531299 54.19/54.22 o 541136001829 54.19/54.22 o 541136001828 54.19/54.22 o 537133994113 54.19/54.22 o 529124935169 54.19/54.22 o 529124935168 54.19/54.22 o 525120405696 54.19/54.22 o 521115876224 54.19/54.22 o 517111346752 54.19/54.22 o 513106817280 54.19/54.22 o 509102287808 54.19/54.22 o 505097758336 54.19/54.22 o 505095236592 54.19/54.22 o 501090707124 54.19/54.22 o 497086177652 54.19/54.22 o 493081648180 54.19/54.22 o 489077118708 54.19/54.22 o 477063530292 54.19/54.22 o 469054471348 54.19/54.22 o 469051949604 54.19/54.22 o 465047420132 54.19/54.22 o 461042890660 54.19/54.22 o 461040368919 54.19/54.22 o 457035839447 54.19/54.22 o 457033317703 54.19/54.22 o 453028788231 54.19/54.22 o 445022251031 54.19/54.22 o 441037895521 54.19/54.22 o 437033366052 54.19/54.22 o 437033366051 54.19/54.22 o 433028836579 54.19/54.22 o 429024307107 54.19/54.22 o 425019777635 54.19/54.22 o 421015248163 54.19/54.22 o 417015762179 54.19/54.22 o 413011232707 54.19/54.22 o 409006703235 54.19/54.22 o 409006703234 54.19/54.22 o 405002173762 54.19/54.22 o 400997644290 54.19/54.22 o 396993114818 54.19/54.22 o 396990593074 54.19/54.22 o 392986063602 54.19/54.22 o 388981534130 54.19/54.22 o 384977004658 54.19/54.22 o 380972475186 54.19/54.22 o 376967945714 54.19/54.22 o 372963416242 54.19/54.22 o 372960894498 54.19/54.22 o 368956365026 54.19/54.22 o 364951835554 54.19/54.22 o 360947306082 54.19/54.22 o 360944784338 54.19/54.22 o 356940254867 54.19/54.22 o 352935725399 54.19/54.22 o 352935725397 54.19/54.22 o 352935725396 54.19/54.22 o 348931195925 54.19/54.22 o 344926666458 54.19/54.22 o 344926666457 54.19/54.22 o 340927180472 54.19/54.22 o 336925172744 54.19/54.22 o 332923165016 54.19/54.22 o 328918635546 54.19/54.22 o 324924193049 54.19/54.22 o 324921671306 54.19/54.22 o 324919149562 54.19/54.22 o 324914106074 54.19/54.22 o 324914106073 54.19/54.22 o 324911584329 54.19/54.22 o 324911584328 54.19/54.22 o 320907054858 54.19/54.22 o 316902525386 54.19/54.22 o 316902525385 54.19/54.22 o 316902525384 54.19/54.22 o 312900517656 54.19/54.22 o 312900517655 54.19/54.22 o 312897995911 88.20/88.27 o 312895474167 88.20/88.27 o 312892952423 88.20/88.27 o 308890944695 88.20/88.27 o 300881885751 88.20/88.27 o 296882399771 88.20/88.27 o 296879878027 88.20/88.27 o 292875348557 88.20/88.27 o 288873340829 88.20/88.27 o 284868811358 88.20/88.27 o 280871847118 88.20/88.27 o 276872361135 88.20/88.27 o 276872361134 88.20/88.27 o 276869839391 88.20/88.27 o 276869839390 88.20/88.27 o 272872875152 88.20/88.27 o 272872875151 88.20/88.27 o 272870353410 88.20/88.27 o 272870353409 88.20/88.27 o 268868345679 88.20/88.27 o 268865823936 88.20/88.27 o 268863302192 88.20/88.27 o 256867365984 88.20/88.27 o 256864844240 88.20/88.27 o 256862322496 88.20/88.27 o 252860314768 88.20/88.27 o 252857793024 88.20/88.27 o 252855271281 88.20/88.27 o 248853263553 88.20/88.27 o 248850741809 88.20/88.27 o 244848734081 88.20/88.27 o 240851769843 88.20/88.27 o 240849248098 88.20/88.27 o 240849248097 88.20/88.27 o 240846726353 88.20/88.27 o 240844204609 88.20/88.27 o 236847240373 88.20/88.27 o 236847240372 88.20/88.27 o 236847240371 88.20/88.27 o 236847240370 88.20/88.27 o 236844718627 88.20/88.27 o 232840189155 88.20/88.27 o 232840189154 88.20/88.27 o 228843224916 88.20/88.27 o 228843224915 88.20/88.27 o 228843224914 88.20/88.27 o 228840703171 88.20/88.27 o 224863912879 88.20/88.27 o 224861391135 88.20/88.27 o 224858869392 88.20/88.27 o 224856347647 88.20/88.27 o 224856347646 88.20/88.27 o 224853825902 88.20/88.27 o 224851304159 88.20/88.27 o 224848782417 88.20/88.27 o 224846260674 88.20/88.27 o 224843738931 88.20/88.27 o 224843738930 88.20/88.27 o 224841217185 88.20/88.27 o 224838695442 88.20/88.27 o 224836173699 88.20/88.27 o 224833651954 88.20/88.27 o 224831130211 88.20/88.27 o 220831644227 88.20/88.27 o 220829122483 88.20/88.27 o 220829122482 88.20/88.27 o 220826600739 88.20/88.27 o 216864940909 88.20/88.27 o 216864940908 88.20/88.27 o 216862419164 88.20/88.27 o 216859897421 88.20/88.27 o 216857375677 88.20/88.27 o 216854853933 88.20/88.27 o 216852332190 88.20/88.27 o 216849810447 88.20/88.27 o 216847288704 88.20/88.27 o 216844766961 88.20/88.27 o 216842245218 88.20/88.27 o 216839723474 88.20/88.27 o 216839723473 88.20/88.27 o 216839723472 88.20/88.27 o 216837201730 88.20/88.27 o 216834679987 88.20/88.27 o 216832158242 88.20/88.27 o 216829636499 88.20/88.27 o 216824593011 88.20/88.27 o 216822071267 88.20/88.27 o 216819549523 88.20/88.27 o 216817027779 88.20/88.27 o 212842759227 88.20/88.27 o 212840237484 88.20/88.27 o 212837715741 88.20/88.27 o 212835193998 88.20/88.27 o 212832672255 88.20/88.27 o 212827628767 88.20/88.27 o 212825107024 88.20/88.27 o 212822585281 88.20/88.27 o 212820063539 88.20/88.27 o 208835708015 88.20/88.27 o 208835708013 88.20/88.27 o 208833186270 88.20/88.27 o 208830664527 88.20/88.27 o 208828142784 88.20/88.27 o 208825621041 88.20/88.27 o 208825621040 88.20/88.27 o 208823099297 88.20/88.27 o 208823099296 88.20/88.27 o 208820577553 88.20/88.27 o 208818055811 88.20/88.27 o 204818569826 88.20/88.27 o 204816048083 88.20/88.27 o 200808996867 88.20/88.27 o 200806475123 88.20/88.27 o 200806475121 88.20/88.27 o 200803953379 88.20/88.27 o 196814554373 88.20/88.27 o 196812032629 88.20/88.27 o 196809510885 88.20/88.27 o 196806989141 88.20/88.27 o 196806989140 88.20/88.27 o 196806989139 88.20/88.27 o 196804467395 88.20/88.27 o 196801945651 88.20/88.27 o 196799423907 88.20/88.27 o 184800965958 88.20/88.27 o 184798444214 88.20/88.27 o 184795922470 88.20/88.27 o 184793400726 88.20/88.27 o 184793400725 88.20/88.27 o 184790878982 88.20/88.27 o 184788357238 88.20/88.27 o 184785835494 88.20/88.27 o 184783313750 88.20/88.27 o 184780792006 88.20/88.27 o 184780792005 88.20/88.27 o 184778270261 88.20/88.27 o 184775748517 88.20/88.27 o 184775748516 88.20/88.27 o 184775748515 88.20/88.27 o 176766689571 88.20/88.27 o 172764681843 88.20/88.27 o 168767717604 88.20/88.27 o 164765709876 88.20/88.27 o 164763188134 88.20/88.27 o 160761180406 88.20/88.27 o 160758658664 88.20/88.27 o 156756650936 88.20/88.27 o 156754129192 88.20/88.27 o 156751607449 88.20/88.27 o 156751607448 88.20/88.27 o 152747077978 88.20/88.27 o 152747077977 88.20/88.27 o 148742548505 88.20/88.27 o 148740026762 88.20/88.27 o 148737505019 88.20/88.27 o 148732461531 88.20/88.27 o 148732461530 88.20/88.27 o 144730453802 88.20/88.27 o 140725924330 88.20/88.27 o 140723402586 88.20/88.27 o 136721394858 88.20/88.27 o 132719387130 88.20/88.27 o 128714857658 88.20/88.27 o 124715371677 88.20/88.27 o 124712849933 88.20/88.27 o 120708320461 88.20/88.27 o 116703790989 88.20/88.27 o 112744652904 88.20/88.27 o 112744652903 88.20/88.27 o 112744652902 88.20/88.27 o 112742131158 88.20/88.27 o 112739609414 88.20/88.27 o 112739609413 88.20/88.27 o 112737087670 88.20/88.27 o 112734565927 88.20/88.27 o 112732044184 88.20/88.27 o 112729522440 88.20/88.27 o 112727000697 88.20/88.27 o 112724478954 88.20/88.27 o 112721957211 88.20/88.27 o 112719435469 88.20/88.27 o 112716913727 88.20/88.27 o 112714391985 88.20/88.27 o 112714391984 88.20/88.27 o 112714391983 88.20/88.27 o 112711870239 88.20/88.27 o 112709348496 88.20/88.27 o 112709348494 88.20/88.27 o 112706826751 88.20/88.27 o 112704305008 88.20/88.27 o 112701783264 88.20/88.27 o 112699261520 88.20/88.27 o 112696739777 88.20/88.27 o 108745166922 88.20/88.27 o 108742645177 88.20/88.27 o 108742645176 88.20/88.27 o 108740123432 88.20/88.27 o 108737601690 88.20/88.27 o 108735079947 88.20/88.27 o 108732558204 88.20/88.27 o 108730036461 88.20/88.27 o 108727514717 88.20/88.27 o 108724992973 88.20/88.27 o 108722471230 88.20/88.27 o 108719949487 88.20/88.27 o 108717427743 88.20/88.27 o 108714905999 88.20/88.27 o 108712384255 88.20/88.27 o 108709862512 88.20/88.27 o 108709862510 88.20/88.27 o 108707340767 88.20/88.27 o 108704819024 88.20/88.27 o 108704819022 88.20/88.27 o 108702297279 88.20/88.27 o 108699775536 88.20/88.27 o 108697253792 88.20/88.27 o 108694732049 88.20/88.27 o 104715420010 88.20/88.27 o 104715420009 88.20/88.27 o 104712898265 88.20/88.27 o 104710376523 88.20/88.27 o 104707854780 88.20/88.27 o 104705333036 88.20/88.27 o 104702811293 88.20/88.27 o 104700289550 88.20/88.27 o 104697767807 88.20/88.27 o 104695246064 88.20/88.27 o 104692724321 88.20/88.27 o 104690202578 88.20/88.27 o 100713412283 88.20/88.27 o 100710890540 88.20/88.27 o 100708368797 88.20/88.27 o 100705847054 88.20/88.27 o 100703325311 88.20/88.27 o 100700803567 88.20/88.27 o 100698281824 88.20/88.27 o 100695760081 88.20/88.27 o 100693238338 88.20/88.27 o 100693238336 88.20/88.27 o 100690716593 88.20/88.27 o 100688194850 88.20/88.27 o 96716448045 88.20/88.27 o 96713926301 88.20/88.27 o 96711404557 88.20/88.27 o 96708882813 88.20/88.27 o 96706361068 88.20/88.27 o 96703839325 88.20/88.27 o 96703839324 88.20/88.27 o 96701317582 88.20/88.27 o 96701317581 88.20/88.27 o 96698795838 88.20/88.27 o 96698795837 88.20/88.27 o 96696274095 88.20/88.27 o 96693752352 88.20/88.27 o 96691230609 88.20/88.27 o 96691230608 88.20/88.27 o 96688708865 88.20/88.27 o 96686187122 88.20/88.27 o 92722005544 88.20/88.27 o 92722005543 88.20/88.27 o 92719483801 88.20/88.27 o 92716962058 88.20/88.27 o 92716962057 88.20/88.27 o 92714440315 88.20/88.27 o 92711918572 88.20/88.27 o 92709396829 88.20/88.27 o 92706875086 88.20/88.27 o 92706875085 88.20/88.27 o 92704353342 88.20/88.27 o 92701831599 88.20/88.27 o 92699309856 88.20/88.27 o 92696788113 88.20/88.27 o 92694266370 88.20/88.27 o 92694266369 88.20/88.27 o 92691744626 88.20/88.27 o 92689222882 88.20/88.27 o 92686701139 129.69/129.71 o 92684179395 129.69/129.71 o 92681657651 129.69/129.71 o 92679135908 129.69/129.71 o 92676614164 129.69/129.71 o 92676614163 129.69/129.71 o 92674092420 129.69/129.71 o 88682171666 129.69/129.71 o 88679649923 129.69/129.71 o 88677128180 129.69/129.71 o 88674606437 129.69/129.71 o 88674606436 129.69/129.71 o 88672084693 129.69/129.71 o 88669562949 129.69/129.71 o 88669562948 129.69/129.71 o 88667041205 129.69/129.71 o 88664519461 129.69/129.71 o 88664519460 129.69/129.71 o 88661997717 129.69/129.71 o 84685207422 129.69/129.71 o 84682685678 129.69/129.71 o 84680163936 129.69/129.71 o 84680163935 129.69/129.71 o 84677642192 129.69/129.71 o 84675120449 129.69/129.71 o 84672598706 129.69/129.71 o 84670076963 129.69/129.71 o 84667555220 129.69/129.71 o 84662511732 129.69/129.71 o 84659989989 129.69/129.71 o 84659989988 129.69/129.71 o 84657468245 129.69/129.71 o 84657468244 129.69/129.71 o 80657982263 129.69/129.71 o 80655460520 129.69/129.71 o 80655460519 129.69/129.71 o 80655460518 129.69/129.71 o 80652938774 129.69/129.71 o 80650417030 129.69/129.71 o 80650417029 129.69/129.71 o 80647895287 129.69/129.71 o 76653452793 129.69/129.71 o 76653452792 129.69/129.71 o 76650931048 129.69/129.71 o 76650931047 129.69/129.71 o 76648409303 129.69/129.71 o 76645887560 129.69/129.71 o 72641358090 129.69/129.71 o 72641358089 129.69/129.71 o 72641358088 129.69/129.71 o 72641358087 129.69/129.71 o 68651959081 129.69/129.71 o 68651959080 129.69/129.71 o 68651959079 129.69/129.71 o 68651959078 129.69/129.71 o 68651959077 129.69/129.71 o 68649437334 129.69/129.71 o 68646915591 129.69/129.71 o 68644393851 129.69/129.71 o 68644393850 129.69/129.71 o 68644393849 129.69/129.71 o 68644393848 129.69/129.71 o 68641872104 129.69/129.71 o 68641872103 129.69/129.71 o 68639350360 129.69/129.71 o 68639350359 129.69/129.71 o 68636828616 129.69/129.71 o 68636828615 129.69/129.71 o 68634306872 129.69/129.71 o 68631785134 129.69/129.71 o 68631785133 129.69/129.71 o 68631785132 129.69/129.71 o 68631785131 129.69/129.71 o 68631785130 129.69/129.71 o 68631785129 129.69/129.71 o 68631785128 129.69/129.71 o 68629263385 129.69/129.71 o 68629263384 129.69/129.71 o 68629263383 129.69/129.71 o 68629263382 129.69/129.71 o 68629263381 129.69/129.71 o 64627255653 129.69/129.71 o 64624733910 129.69/129.71 o 64624733909 129.69/129.71 o 64622212166 129.69/129.71 o 64622212165 129.69/129.71 o 60620204439 129.69/129.71 o 60620204438 129.69/129.71 o 60620204437 129.69/129.71 o 56628283688 129.69/129.71 o 56628283687 129.69/129.71 o 56628283686 129.69/129.71 o 56628283685 129.69/129.71 o 56625761942 129.69/129.71 o 56625761941 129.69/129.71 o 56623240201 129.69/129.71 o 56623240200 129.69/129.71 o 56623240199 129.69/129.71 o 56623240198 129.69/129.71 o 56623240197 129.69/129.71 o 56620718454 129.69/129.71 o 56620718453 129.69/129.71 o 56618196709 129.69/129.71 o 56618196708 129.69/129.71 o 56615674966 129.69/129.71 o 56615674965 129.69/129.71 o 56615674964 129.69/129.71 o 56613153222 129.69/129.71 o 56613153221 129.69/129.71 o 56613153220 129.69/129.71 o 56613153219 129.69/129.71 o 56613153218 129.69/129.71 o 56610631477 129.69/129.71 o 56610631476 129.69/129.71 o 56610631475 129.69/129.71 o 56608109732 129.69/129.71 o 56608109731 129.69/129.71 o 56605587989 129.69/129.71 o 56605587988 129.69/129.71 o 56605587987 129.69/129.71 o 56603066244 129.69/129.71 o 56600544501 129.69/129.71 o 56600544500 129.69/129.71 o 56600544499 129.69/129.71 o 56598022757 129.69/129.71 o 56598022756 129.69/129.71 o 56595501013 129.69/129.71 o 52671667332 129.69/129.71 o 52671667331 129.69/129.71 o 52669145587 129.69/129.71 o 52669145586 129.69/129.71 o 52666623844 129.69/129.71 o 52666623843 129.69/129.71 o 52666623842 129.69/129.71 o 52666623841 129.69/129.71 o 52664102098 129.69/129.71 o 52661580355 129.69/129.71 o 52659058611 129.69/129.71 o 52656536868 129.69/129.71 o 52656536867 129.69/129.71 o 52654015124 129.69/129.71 o 52651493381 129.69/129.71 o 52648971638 129.69/129.71 o 52646449898 129.69/129.71 o 52646449897 129.69/129.71 o 52646449896 129.69/129.71 o 52646449895 129.69/129.71 o 52643928153 129.69/129.71 o 52641406409 129.69/129.71 o 52641406408 129.69/129.71 o 52638884665 129.69/129.71 o 52636362922 129.69/129.71 o 52633841179 129.69/129.71 o 52631319436 129.69/129.71 o 52628797693 129.69/129.71 o 52626275950 129.69/129.71 o 52623754207 129.69/129.71 o 52621232464 129.69/129.71 o 52621232463 129.69/129.71 o 52621232462 129.69/129.71 o 52618710721 129.69/129.71 o 52618710720 129.69/129.71 o 52616188978 129.69/129.71 o 52616188977 129.69/129.71 o 52613667234 129.69/129.71 o 52613667233 129.69/129.71 o 52613667232 129.69/129.71 o 52613667231 129.69/129.71 o 52613667230 129.69/129.71 o 52611145492 129.69/129.71 o 52611145491 129.69/129.71 o 52611145490 129.69/129.71 o 52611145489 129.69/129.71 o 52611145488 129.69/129.71 o 52608623746 129.69/129.71 o 52608623745 129.69/129.71 o 52608623744 129.69/129.71 o 52606102001 129.69/129.71 o 52603580262 129.69/129.71 o 52603580261 129.69/129.71 o 52603580260 129.69/129.71 o 52603580259 129.69/129.71 o 52603580258 129.69/129.71 o 52603580257 129.69/129.71 o 52601058515 129.69/129.71 o 52601058514 129.69/129.71 o 52598536775 129.69/129.71 o 52598536774 129.69/129.71 o 52598536773 129.69/129.71 o 52598536772 129.69/129.71 o 52598536771 129.69/129.71 o 52598536770 129.69/129.71 o 52598536769 129.69/129.71 o 52596015027 129.69/129.71 o 52593493286 129.69/129.71 o 52593493284 129.69/129.71 o 52593493283 129.69/129.71 o 52593493282 129.69/129.71 o 52590971540 129.69/129.71 o 52590971539 129.69/129.71 o 52588449797 129.69/129.71 o 52588449796 129.69/129.71 o 52588449795 129.69/129.71 o 52588449794 129.69/129.71 o 52585928052 129.69/129.71 o 52585928051 129.69/129.71 o 52583406308 129.69/129.71 o 52583406307 129.69/129.71 o 52583406306 129.69/129.71 o 52583406305 129.69/129.71 o 52583406304 129.69/129.71 o 52580884564 129.69/129.71 o 52580884563 129.69/129.71 o 52580884562 129.69/129.71 o 52578362819 129.69/129.71 o 52578362818 129.69/129.71 o 52578362817 129.69/129.71 o 52578362816 129.69/129.71 o 52575841075 129.69/129.71 o 52575841074 129.69/129.71 o 52573319331 129.69/129.71 o 52570797588 129.69/129.71 o 52570797587 129.69/129.71 o 48573833347 129.69/129.71 o 48573833346 129.69/129.71 o 48568789858 129.69/129.71 o 48566268116 129.69/129.71 o 48566268115 129.69/129.71 o 48563746379 129.69/129.71 o 48563746377 129.69/129.71 o 48563746376 129.69/129.71 o 48563746375 129.69/129.71 o 48563746374 129.69/129.71 o 48563746373 129.69/129.71 o 48563746372 129.69/129.71 o 48563746371 129.69/129.71 o 48563746370 129.69/129.71 o 48561224627 129.69/129.71 o 44559216900 129.69/129.71 o 44559216899 129.69/129.71 o 44559216898 129.69/129.71 o 40557209174 129.69/129.71 o 40557209173 129.69/129.71 o 40557209172 129.69/129.71 o 40557209171 129.69/129.71 o 40557209170 129.69/129.71 o 40554687430 129.69/129.71 o 40554687429 129.69/129.71 o 40554687428 129.69/129.71 o 40552165685 129.69/129.71 o 40552165684 129.69/129.71 o 40552165683 129.69/129.71 o 40549643940 129.69/129.71 o 40549643939 129.69/129.71 o 36552679699 129.69/129.71 o 36550157954 129.69/129.71 o 36547636213 129.69/129.71 o 36547636212 129.69/129.71 o 36547636211 129.69/129.71 o 36545114474 129.69/129.71 o 36545114473 129.69/129.71 o 36545114472 129.69/129.71 o 36545114471 129.69/129.71 o 36545114470 129.69/129.71 o 36545114469 129.69/129.71 o 36545114468 129.69/129.71 o 36545114467 129.69/129.71 o 36545114466 129.69/129.71 o 36545114465 129.69/129.71 o 36545114464 129.69/129.71 o 36545114463 129.69/129.71 o 36542592724 129.69/129.71 o 36542592723 129.69/129.71 o 36542592722 129.69/129.71 o 36542592721 129.69/129.71 o 36540070981 129.69/129.71 o 36540070980 129.69/129.71 o 36540070979 129.69/129.71 o 36537549237 129.69/129.71 o 36537549236 129.69/129.71 o 36537549235 129.69/129.71 o 36537549234 129.69/129.71 o 36537549233 129.69/129.71 o 36535027496 129.69/129.71 o 36535027495 129.69/129.71 o 36535027494 129.69/129.71 o 36535027493 129.69/129.71 o 36535027492 129.69/129.71 o 36535027491 129.69/129.71 o 36535027490 129.69/129.71 o 36535027489 129.69/129.71 o 36532505746 129.69/129.71 o 36532505745 177.20/177.27 o 36529984008 177.20/177.27 o 36529984007 177.20/177.27 o 36529984006 177.20/177.27 o 36529984005 177.20/177.27 o 36529984004 177.20/177.27 o 36529984003 177.20/177.27 o 36529984002 177.20/177.27 o 36529984001 177.20/177.27 o 36529984000 177.20/177.27 o 36529983999 177.20/177.27 o 36529983998 177.20/177.27 o 36527462257 177.20/177.27 o 36527462256 177.20/177.27 o 36524940515 177.20/177.27 o 36524940514 177.20/177.27 o 36524940513 177.20/177.27 o 36524940512 177.20/177.27 o 32633889493 177.20/177.27 o 32633889492 177.20/177.27 o 32631367749 177.20/177.27 o 32628846006 177.20/177.27 o 32626324263 177.20/177.27 o 32623802519 177.20/177.27 o 32623802518 177.20/177.27 o 32621280775 177.20/177.27 o 32618759032 177.20/177.27 o 32616237289 177.20/177.27 o 32613715546 177.20/177.27 o 32611193803 177.20/177.27 o 32608672063 177.20/177.27 o 32608672062 177.20/177.27 o 32606150321 177.20/177.27 o 32606150319 177.20/177.27 o 32606150318 177.20/177.27 o 32603628575 177.20/177.27 o 32601106832 177.20/177.27 o 32598585089 177.20/177.27 o 32596063346 177.20/177.27 o 32593541604 177.20/177.27 o 32591019861 177.20/177.27 o 32588498119 177.20/177.27 o 32585976376 177.20/177.27 o 32583454633 177.20/177.27 o 32580932890 177.20/177.27 o 32578411147 177.20/177.27 o 32575889404 177.20/177.27 o 32573367661 177.20/177.27 o 32570845919 177.20/177.27 o 32568324179 177.20/177.27 o 32568324178 177.20/177.27 o 32568324177 177.20/177.27 o 32568324176 177.20/177.27 o 32565802433 177.20/177.27 o 32563280691 177.20/177.27 o 32563280690 177.20/177.27 o 32560758947 177.20/177.27 o 32558237205 177.20/177.27 o 32558237204 177.20/177.27 o 32558237203 177.20/177.27 o 32558237202 177.20/177.27 o 32558237201 177.20/177.27 o 32555715458 177.20/177.27 o 32555715457 177.20/177.27 o 32553193714 177.20/177.27 o 32550671974 177.20/177.27 o 32550671972 177.20/177.27 o 32550671971 177.20/177.27 o 32548150230 177.20/177.27 o 32548150229 177.20/177.27 o 32545628486 177.20/177.27 o 28548664246 177.20/177.27 o 28546142504 177.20/177.27 o 24607178375 177.20/177.27 o 24607178374 177.20/177.27 o 24607178373 177.20/177.27 o 24607178372 177.20/177.27 o 24607178371 177.20/177.27 o 24607178370 177.20/177.27 o 24607178369 177.20/177.27 o 24607178368 177.20/177.27 o 24607178367 177.20/177.27 o 24607178366 177.20/177.27 o 24607178365 177.20/177.27 o 24604656622 177.20/177.27 o 24602134883 177.20/177.27 o 24602134882 177.20/177.27 o 24602134881 177.20/177.27 o 24602134880 177.20/177.27 o 24602134879 177.20/177.27 o 24602134878 177.20/177.27 o 24602134877 177.20/177.27 o 24599613135 177.20/177.27 o 24599613134 177.20/177.27 o 24599613133 177.20/177.27 o 24597091392 177.20/177.27 o 24597091391 177.20/177.27 o 24597091390 177.20/177.27 o 24597091389 177.20/177.27 o 24592047904 177.20/177.27 o 24592047903 177.20/177.27 o 24592047902 177.20/177.27 o 24592047901 177.20/177.27 o 24589526160 177.20/177.27 o 24589526159 177.20/177.27 o 24589526158 177.20/177.27 o 24589526157 177.20/177.27 o 24587004418 177.20/177.27 o 24587004417 177.20/177.27 o 24587004416 177.20/177.27 o 24584482676 177.20/177.27 o 24584482674 177.20/177.27 o 24584482673 177.20/177.27 o 24584482672 177.20/177.27 o 24584482671 177.20/177.27 o 24584482670 177.20/177.27 o 24584482669 177.20/177.27 o 20650562027 177.20/177.27 o 20650562026 177.20/177.27 o 20650562025 177.20/177.27 o 20650562024 177.20/177.27 o 20650562023 177.20/177.27 o 20650562021 177.20/177.27 o 20650562020 177.20/177.27 o 20648040276 177.20/177.27 o 20648040275 177.20/177.27 o 20645518532 177.20/177.27 o 20642996797 177.20/177.27 o 20642996796 177.20/177.27 o 20642996795 177.20/177.27 o 20642996794 177.20/177.27 o 20642996793 177.20/177.27 o 20642996792 177.20/177.27 o 20642996791 177.20/177.27 o 20642996790 177.20/177.27 o 20642996789 177.20/177.27 o 20642996788 177.20/177.27 o 20640475045 177.20/177.27 o 20640475044 177.20/177.27 o 20637953305 177.20/177.27 o 20637953303 177.20/177.27 o 20637953302 177.20/177.27 o 20637953301 177.20/177.27 o 20635431559 177.20/177.27 o 20632909819 177.20/177.27 o 20632909818 177.20/177.27 o 20632909817 177.20/177.27 o 20632909816 177.20/177.27 o 20632909815 177.20/177.27 o 20630388072 177.20/177.27 o 20630388071 177.20/177.27 o 20627866328 177.20/177.27 o 20627866327 177.20/177.27 o 20627866326 177.20/177.27 o 20625344583 177.20/177.27 o 20625344582 177.20/177.27 o 16623336854 177.20/177.27 o 16623336853 177.20/177.27 o 16620815114 177.20/177.27 o 16620815113 177.20/177.27 o 16620815112 177.20/177.27 o 16620815111 177.20/177.27 o 16620815110 177.20/177.27 o 16618293370 177.20/177.27 o 16618293368 177.20/177.27 o 16618293367 177.20/177.27 o 16618293366 177.20/177.27 o 12656633551 177.20/177.27 o 12654111811 177.20/177.27 o 12654111809 177.20/177.27 o 12654111808 177.20/177.27 o 12654111807 177.20/177.27 o 12651590063 177.20/177.27 o 12651590062 177.20/177.27 o 12649068317 177.20/177.27 o 12646546582 177.20/177.27 o 12646546581 177.20/177.27 o 12646546580 177.20/177.27 o 12646546579 177.20/177.27 o 12646546577 177.20/177.27 o 12646546576 177.20/177.27 o 12646546575 177.20/177.27 o 12644024832 177.20/177.27 o 12644024831 177.20/177.27 o 12644024830 177.20/177.27 o 12644024829 177.20/177.27 o 12644024828 177.20/177.27 o 12641503086 177.20/177.27 o 12641503085 177.20/177.27 o 12638981348 177.20/177.27 o 12638981347 177.20/177.27 o 12638981346 177.20/177.27 o 12638981345 177.20/177.27 o 12638981343 177.20/177.27 o 12638981342 177.20/177.27 o 12638981341 177.20/177.27 o 12638981340 177.20/177.27 o 12638981339 177.20/177.27 o 12636459597 177.20/177.27 o 12633937854 177.20/177.27 o 12633937853 177.20/177.27 o 12631416109 177.20/177.27 o 12628894372 177.20/177.27 o 12628894371 177.20/177.27 o 12628894370 177.20/177.27 o 12628894369 177.20/177.27 o 12628894368 177.20/177.27 o 12628894367 177.20/177.27 o 12628894366 177.20/177.27 o 12628894365 177.20/177.27 o 12626372621 177.20/177.27 o 12626372620 177.20/177.27 o 12626372619 177.20/177.27 o 12626372618 177.20/177.27 o 12626372617 177.20/177.27 o 12623850877 177.20/177.27 o 12623850876 177.20/177.27 o 12623850875 177.20/177.27 o 12621329135 177.20/177.27 o 12621329133 177.20/177.27 o 12621329132 177.20/177.27 o 12621329131 177.20/177.27 o 12621329126 177.20/177.27 o 12621329125 177.20/177.27 o 12621329124 177.20/177.27 o 12618807391 177.20/177.27 o 12618807389 177.20/177.27 o 12618807388 177.20/177.27 o 12618807387 177.20/177.27 o 12616285650 177.20/177.27 o 12616285648 177.20/177.27 o 12616285647 177.20/177.27 o 12616285646 177.20/177.27 o 12613763906 177.20/177.27 o 12613763904 177.20/177.27 o 12613763903 177.20/177.27 o 12613763902 177.20/177.27 o 12613763901 177.20/177.27 o 12613763900 177.20/177.27 o 12613763898 177.20/177.27 o 12613763897 177.20/177.27 o 12613763896 177.20/177.27 o 12613763895 177.20/177.27 o 12613763894 177.20/177.27 o 12611242157 177.20/177.27 o 12611242156 177.20/177.27 o 12611242155 177.20/177.27 o 12611242154 177.20/177.27 o 12608720412 177.20/177.27 o 12608720411 177.20/177.27 o 12608720410 177.20/177.27 o 12608720409 177.20/177.27 o 12608720408 177.20/177.27 o 12608720400 177.20/177.27 o 12608720399 177.20/177.27 o 12606198664 177.20/177.27 o 12606198663 177.20/177.27 o 12603676921 177.20/177.27 o 12603676920 177.20/177.27 o 12601155181 177.20/177.27 o 12601155180 177.20/177.27 o 12601155179 177.20/177.27 o 12601155178 177.20/177.27 o 12601155177 177.20/177.27 o 12601155176 177.20/177.27 o 12601155175 177.20/177.27 o 12601155174 177.20/177.27 o 12601155172 177.20/177.27 o 12598633433 177.20/177.27 o 12598633432 177.20/177.27 o 12598633431 177.20/177.27 o 12598633430 177.20/177.27 o 12598633429 177.20/177.27 o 12596111689 177.20/177.27 o 12596111688 177.20/177.27 o 12596111687 177.20/177.27 o 12596111686 177.20/177.27 o 12596111685 177.20/177.27 o 12596111683 177.20/177.27 o 12596111682 177.20/177.27 o 12596111681 177.20/177.27 o 12596111680 177.20/177.27 o 12596111679 177.20/177.27 o 12596111678 177.20/177.27 o 12596111677 177.20/177.27 o 12596111676 177.20/177.27 o 12596111675 177.20/177.27 o 12593589934 177.20/177.27 o 12593589932 177.20/177.27 o 12593589931 177.20/177.27 o 12591068198 177.20/177.27 o 12591068197 177.20/177.27 o 12588546459 177.20/177.27 o 12588546458 231.50/231.56 o 12588546457 231.50/231.56 o 12588546455 231.50/231.56 o 12588546454 231.50/231.56 o 12588546453 231.50/231.56 o 12588546452 231.50/231.56 o 12586024712 231.50/231.56 o 12586024710 231.50/231.56 o 12586024709 231.50/231.56 o 12586024708 231.50/231.56 o 12583502969 231.50/231.56 o 12583502967 231.50/231.56 o 12583502966 231.50/231.56 o 12580981226 231.50/231.56 o 12580981224 231.50/231.56 o 12580981223 231.50/231.56 o 12580981222 231.50/231.56 o 12580981221 231.50/231.56 o 12578459482 231.50/231.56 o 12578459480 231.50/231.56 o 12578459479 231.50/231.56 o 12578459478 231.50/231.56 o 12575937737 231.50/231.56 o 12575937735 231.50/231.56 o 12575937734 231.50/231.56 o 12573415994 231.50/231.56 o 12573415992 231.50/231.56 o 12573415991 231.50/231.56 o 12573415990 231.50/231.56 o 12570894250 231.50/231.56 o 12570894249 231.50/231.56 o 12570894248 231.50/231.56 o 12570894247 231.50/231.56 o 12570894246 231.50/231.56 o 12570894245 231.50/231.56 o 12568372501 231.50/231.56 o 12565850765 231.50/231.56 o 12565850764 231.50/231.56 o 12565850763 231.50/231.56 o 12565850762 231.50/231.56 o 12565850761 231.50/231.56 o 12565850760 231.50/231.56 o 12565850759 231.50/231.56 o 12565850758 231.50/231.56 o 12565850757 231.50/231.56 o 12563329018 231.50/231.56 o 12563329017 231.50/231.56 o 12563329016 231.50/231.56 o 12563329015 231.50/231.56 o 12563329014 231.50/231.56 o 12560807273 231.50/231.56 o 12560807271 231.50/231.56 o 12558285530 231.50/231.56 o 12558285529 231.50/231.56 o 12558285528 231.50/231.56 o 12558285527 231.50/231.56 o 12555763785 231.50/231.56 o 12555763784 231.50/231.56 o 12555763783 231.50/231.56 o 12555763782 231.50/231.56 o 12553242041 231.50/231.56 o 12553242040 231.50/231.56 o 12553242039 231.50/231.56 o 12550720298 231.50/231.56 o 12550720297 231.50/231.56 o 12550720296 231.50/231.56 o 12550720295 231.50/231.56 o 12548198554 231.50/231.56 o 12548198553 231.50/231.56 o 12548198552 231.50/231.56 o 12548198551 231.50/231.56 o 12548198550 231.50/231.56 o 12545676810 231.50/231.56 o 12545676809 231.50/231.56 o 12545676808 231.50/231.56 o 12545676807 231.50/231.56 o 12543155062 231.50/231.56 o 12543155061 231.50/231.56 o 12543155060 231.50/231.56 o 12543155059 231.50/231.56 o 12543155058 231.50/231.56 o 12543155057 231.50/231.56 o 12540633315 231.50/231.56 o 12540633314 231.50/231.56 o 12540633313 231.50/231.56 o 12538111573 231.50/231.56 o 12538111571 231.50/231.56 o 12538111570 231.50/231.56 o 12535589828 231.50/231.56 o 12535589826 231.50/231.56 o 12533068091 231.50/231.56 o 12533068089 231.50/231.56 o 12533068088 231.50/231.56 o 12533068087 231.50/231.56 o 12533068086 231.50/231.56 o 12533068085 231.50/231.56 o 12533068084 231.50/231.56 o 12533068083 231.50/231.56 o 12530546341 231.50/231.56 o 12530546339 231.50/231.56 o 12528024598 231.50/231.56 o 12528024596 231.50/231.56 o 12528024595 231.50/231.56 o 12528024588 231.50/231.56 o 12528024586 231.50/231.56 o 12528024585 231.50/231.56 o 12528024584 231.50/231.56 o 12528024583 231.50/231.56 o 12525502853 231.50/231.56 o 12525502852 231.50/231.56 o 12525502851 231.50/231.56 o 12522981112 231.50/231.56 o 12522981111 231.50/231.56 o 12522981110 231.50/231.56 o 12522981108 231.50/231.56 o 12522981107 231.50/231.56 o 12520459368 231.50/231.56 o 12520459367 231.50/231.56 o 12520459366 231.50/231.56 o 12520459365 231.50/231.56 o 12520459364 231.50/231.56 o 12520459363 231.50/231.56 o 12517937624 231.50/231.56 o 12517937623 231.50/231.56 o 12517937622 231.50/231.56 o 12517937621 231.50/231.56 o 12517937620 231.50/231.56 o 12517937619 231.50/231.56 o 12517937618 231.50/231.56 o 12515415874 231.50/231.56 o 12512894130 231.50/231.56 o 12512894129 231.50/231.56 o 12512894128 231.50/231.56 o 12510372387 231.50/231.56 o 12510372385 231.50/231.56 o 12507850646 231.50/231.56 o 12507850645 231.50/231.56 o 12507850644 231.50/231.56 o 12507850643 231.50/231.56 o 12507850642 231.50/231.56 o 12507850641 231.50/231.56 o 12505328902 231.50/231.56 o 12505328900 231.50/231.56 o 12505328899 231.50/231.56 o 12505328898 231.50/231.56 o 12505328897 231.50/231.56 o 12505328896 231.50/231.56 o 12502807156 231.50/231.56 o 12502807154 231.50/231.56 o 12502807153 231.50/231.56 o 12500285412 231.50/231.56 o 12500285411 231.50/231.56 o 12500285410 231.50/231.56 o 12500285409 231.50/231.56 o 12500285400 231.50/231.56 o 12500285399 231.50/231.56 o 12500285398 231.50/231.56 o 12500285397 231.50/231.56 o 12500285396 231.50/231.56 o 12500285395 231.50/231.56 o 12497763667 231.50/231.56 o 12497763666 231.50/231.56 o 12497763665 231.50/231.56 o 12497763664 231.50/231.56 o 12497763663 231.50/231.56 o 12497763662 231.50/231.56 o 12497763661 231.50/231.56 o 12497763660 231.50/231.56 o 12495241916 231.50/231.56 o 12492720174 231.50/231.56 o 12492720173 231.50/231.56 o 12492720172 231.50/231.56 o 12492720171 231.50/231.56 o 12490198429 231.50/231.56 o 12490198428 231.50/231.56 o 12487676687 231.50/231.56 o 12487676685 231.50/231.56 o 12485154944 231.50/231.56 o 12485154943 231.50/231.56 o 12485154942 231.50/231.56 o 12485154941 231.50/231.56 o 12482633199 231.50/231.56 o 12482633198 231.50/231.56 o 12482633197 231.50/231.56 o 12482633196 231.50/231.56 o 12482633195 231.50/231.56 o 12482633194 231.50/231.56 o 12482633193 231.50/231.56 o 12480111451 231.50/231.56 o 12480111449 231.50/231.56 o 12480111448 231.50/231.56 o 12477589706 231.50/231.56 o 12477589704 231.50/231.56 o 12477589703 231.50/231.56 o 12475067961 231.50/231.56 o 12475067960 231.50/231.56 o 12475067959 231.50/231.56 o 12475067958 231.50/231.56 o 12475067957 231.50/231.56 o 12472546216 231.50/231.56 o 12472546215 231.50/231.56 o 12472546214 231.50/231.56 o 12472546213 231.50/231.56 o 12470024472 231.50/231.56 o 12470024470 231.50/231.56 o 12470024469 231.50/231.56 o 12467502727 231.50/231.56 o 12467502725 231.50/231.56 o 12467502724 231.50/231.56 o 12464980982 231.50/231.56 o 12464980981 231.50/231.56 o 12464980980 231.50/231.56 o 12464980979 231.50/231.56 o 12462459236 231.50/231.56 o 12462459235 231.50/231.56 o 12459937494 231.50/231.56 o 12459937493 231.50/231.56 o 12459937492 231.50/231.56 o 12459937491 231.50/231.56 o 12457415756 231.50/231.56 o 12457415755 231.50/231.56 o 12457415754 231.50/231.56 o 12457415753 231.50/231.56 o 12457415752 231.50/231.56 o 12457415751 231.50/231.56 o 12457415750 231.50/231.56 o 12457415749 231.50/231.56 o 12454894007 231.50/231.56 o 12454894005 231.50/231.56 o 12454894004 231.50/231.56 o 12454894003 231.50/231.56 o 12454894002 231.50/231.56 o 12452372263 231.50/231.56 o 12452372262 231.50/231.56 o 12452372261 231.50/231.56 o 12452372260 231.50/231.56 o 12449850522 231.50/231.56 o 12449850521 231.50/231.56 o 12449850520 231.50/231.56 o 12449850519 231.50/231.56 o 12449850518 231.50/231.56 o 12449850517 231.50/231.56 o 12449850516 231.50/231.56 o 12447328779 231.50/231.56 o 12447328777 231.50/231.56 o 12447328776 231.50/231.56 o 12447328775 231.50/231.56 o 12447328774 231.50/231.56 o 12447328773 231.50/231.56 o 12444807030 231.50/231.56 o 12444807029 231.50/231.56 o 12442285286 231.50/231.56 o 12439763544 231.50/231.56 o 12439763543 231.50/231.56 o 12439763541 231.50/231.56 o 12439763540 231.50/231.56 o 12437241797 231.50/231.56 o 12437241796 231.50/231.56 o 12432198309 231.50/231.56 o 12432198308 231.50/231.56 o 12432198307 231.50/231.56 o 12432198306 231.50/231.56 o 12432198305 231.50/231.56 o 12432198304 231.50/231.56 o 12432198303 231.50/231.56 o 12429676558 231.50/231.56 o 12429676557 231.50/231.56 o 12429676556 231.50/231.56 o 12427154813 231.50/231.56 o 8432712324 231.50/231.56 o 8432712323 231.50/231.56 o 8432712322 231.50/231.56 o 8432712321 231.50/231.56 o 8432712320 231.50/231.56 o 8432712319 231.50/231.56 o 8432712318 231.50/231.56 o 8432712317 231.50/231.56 o 8430190579 231.50/231.56 o 8430190578 231.50/231.56 o 8430190577 231.50/231.56 o 8430190576 231.50/231.56 o 8430190575 231.50/231.56 o 8427668838 231.50/231.56 o 8427668837 231.50/231.56 o 8427668836 231.50/231.56 o 8427668835 231.50/231.56 o 8427668834 231.50/231.56 o 8427668833 231.50/231.56 o 8427668832 231.50/231.56 o 8427668831 231.50/231.56 o 8427668830 231.50/231.56 o 8427668829 231.50/231.56 o 8425147088 231.50/231.56 o 8425147087 231.50/231.56 o 8425147086 318.70/318.76 o 8425147085 318.70/318.76 o 8422625342 318.70/318.76 o 8422625341 318.70/318.76 o 8422625340 318.70/318.76 o 8422625339 318.70/318.76 o 8422625338 318.70/318.76 o 8422625337 318.70/318.76 o 8422625336 318.70/318.76 o 8422625335 318.70/318.76 o 8422625334 318.70/318.76 o 8422625333 318.70/318.76 o 8422625332 318.70/318.76 o 8420103595 318.70/318.76 o 8420103593 318.70/318.76 o 8420103592 318.70/318.76 o 8420103591 318.70/318.76 o 8420103590 318.70/318.76 o 8420103589 318.70/318.76 o 8420103588 318.70/318.76 o 8420103587 318.70/318.76 o 8420103585 318.70/318.76 o 8420103584 318.70/318.76 o 8420103583 318.70/318.76 o 8420103582 318.70/318.76 o 8420103581 318.70/318.76 o 8420103580 318.70/318.76 o 8417581851 318.70/318.76 o 8417581850 318.70/318.76 o 8417581849 318.70/318.76 o 8417581848 318.70/318.76 o 8417581847 318.70/318.76 o 8417581846 318.70/318.76 o 8417581845 318.70/318.76 o 8417581844 318.70/318.76 o 8417581843 318.70/318.76 o 8417581842 318.70/318.76 o 8417581841 318.70/318.76 o 8417581840 318.70/318.76 o 8417581839 318.70/318.76 o 8415060102 318.70/318.76 o 8415060101 318.70/318.76 o 8415060100 318.70/318.76 o 8415060099 318.70/318.76 o 8412538359 318.70/318.76 o 8412538358 318.70/318.76 o 8412538357 318.70/318.76 o 8412538356 318.70/318.76 o 8412538355 318.70/318.76 o 8412538354 318.70/318.76 o 8412538353 318.70/318.76 o 8412538352 318.70/318.76 o 8412538351 318.70/318.76 o 8404973119 318.70/318.76 o 8404973118 318.70/318.76 o 4402965398 318.70/318.76 o 4402965396 318.70/318.76 o 4402965395 318.70/318.76 o 4402965394 318.70/318.76 o 4402965393 318.70/318.76 o 4402965392 318.70/318.76 o 4402965391 318.70/318.76 o 4402965390 318.70/318.76 o 4402965389 318.70/318.76 o 4400443648 318.70/318.76 o 4400443647 318.70/318.76 o 4400443646 318.70/318.76 o 4400443645 318.70/318.76 o 4400443644 318.70/318.76 o 4400443643 318.70/318.76 o 4397921899 318.70/318.76 o 4397921898 318.70/318.76 o 4395400156 318.70/318.76 o 4395400155 318.70/318.76 o 4392878422 318.70/318.76 o 4392878421 318.70/318.76 o 4392878420 318.70/318.76 o 4392878419 318.70/318.76 o 4392878418 318.70/318.76 o 4392878417 318.70/318.76 o 4392878416 318.70/318.76 o 4392878415 318.70/318.76 o 4392878414 318.70/318.76 o 4392878413 318.70/318.76 o 4392878412 318.70/318.76 o 4392878411 318.70/318.76 o 4392878410 318.70/318.76 o 4344965284 318.70/318.76 o 4344965283 318.70/318.76 o 4344965281 318.70/318.76 o 4344965280 318.70/318.76 o 4344965279 318.70/318.76 o 4344965278 318.70/318.76 o 4339921795 318.70/318.76 o 4339921794 318.70/318.76 o 4339921793 318.70/318.76 o 4339921792 318.70/318.76 o 4339921790 318.70/318.76 o 4339921789 318.70/318.76 o 4339921788 318.70/318.76 o 4339921787 318.70/318.76 o 4339921786 318.70/318.76 o 4339921785 318.70/318.76 o 4337400052 318.70/318.76 o 4337400051 318.70/318.76 o 4337400049 318.70/318.76 o 4337400048 318.70/318.76 o 4337400047 318.70/318.76 o 4337400046 318.70/318.76 o 4337400045 318.70/318.76 o 4337400044 318.70/318.76 o 4337400043 318.70/318.76 o 4337400042 318.70/318.76 o 4334878299 318.70/318.76 o 4334878298 318.70/318.76 o 4332356555 318.70/318.76 o 4332356554 318.70/318.76 o 4329834814 318.70/318.76 o 4329834812 318.70/318.76 o 4329834811 318.70/318.76 o 4327313082 318.70/318.76 o 4327313081 318.70/318.76 o 4327313080 318.70/318.76 o 4327313079 318.70/318.76 o 4327313078 318.70/318.76 o 4327313077 318.70/318.76 o 4327313076 318.70/318.76 o 4327313074 318.70/318.76 o 4327313073 318.70/318.76 o 4327313072 318.70/318.76 o 4327313071 318.70/318.76 o 4327313070 318.70/318.76 o 4327313069 318.70/318.76 o 4327313068 318.70/318.76 o 4327313067 318.70/318.76 o 4324791319 318.70/318.76 o 4324791318 318.70/318.76 o 4324791317 318.70/318.76 o 4324791316 318.70/318.76 o 4322269574 318.70/318.76 o 4322269573 318.70/318.76 o 4322269572 318.70/318.76 o 4322269571 318.70/318.76 o 4322269570 318.70/318.76 o 4322269569 318.70/318.76 o 4319747842 318.70/318.76 o 4319747841 318.70/318.76 o 4319747840 318.70/318.76 o 4319747839 318.70/318.76 o 4319747838 318.70/318.76 o 4319747836 318.70/318.76 o 4319747835 318.70/318.76 o 4319747834 318.70/318.76 o 4319747833 318.70/318.76 o 4319747832 318.70/318.76 o 4319747831 318.70/318.76 o 4319747830 318.70/318.76 o 4319747829 318.70/318.76 o 4317226090 318.70/318.76 o 4317226089 318.70/318.76 o 4317226088 318.70/318.76 o 4317226087 318.70/318.76 o 4317226086 318.70/318.76 o 4317226085 318.70/318.76 o 4314704344 318.70/318.76 o 4314704343 318.70/318.76 o 4314704342 318.70/318.76 o 4314704341 318.70/318.76 o 4314704340 318.70/318.76 o 4312182609 318.70/318.76 o 4312182608 318.70/318.76 o 4312182607 318.70/318.76 o 4312182606 318.70/318.76 o 4312182605 318.70/318.76 o 4312182603 318.70/318.76 o 4312182602 318.70/318.76 o 4312182601 318.70/318.76 o 4312182600 318.70/318.76 o 4312182599 318.70/318.76 o 4312182598 318.70/318.76 o 4312182597 318.70/318.76 o 4312182596 318.70/318.76 o 4312182595 318.70/318.76 o 4312182594 318.70/318.76 o 4312182593 318.70/318.76 o 4309660859 318.70/318.76 o 4309660857 318.70/318.76 o 4309660856 318.70/318.76 o 4309660855 318.70/318.76 o 4309660854 318.70/318.76 o 4302095633 318.70/318.76 o 4302095632 318.70/318.76 o 4302095631 318.70/318.76 o 4302095630 318.70/318.76 o 4302095629 318.70/318.76 o 4302095628 318.70/318.76 o 4302095627 318.70/318.76 o 4302095626 318.70/318.76 o 4302095625 318.70/318.76 o 4302095624 318.70/318.76 o 4302095623 318.70/318.76 o 4302095622 318.70/318.76 o 4302095621 318.70/318.76 o 4302095620 318.70/318.76 o 4302095619 318.70/318.76 o 4299573898 318.70/318.76 o 4299573897 318.70/318.76 o 4299573896 318.70/318.76 o 4299573895 318.70/318.76 o 4299573894 318.70/318.76 o 4299573893 318.70/318.76 o 4299573892 318.70/318.76 o 4299573891 318.70/318.76 o 4299573890 318.70/318.76 o 4299573889 318.70/318.76 o 4299573888 318.70/318.76 o 4299573887 318.70/318.76 o 4299573886 318.70/318.76 o 4299573885 318.70/318.76 o 4299573884 318.70/318.76 o 4299573883 318.70/318.76 o 4299573882 318.70/318.76 o 4299573881 318.70/318.76 o 4299573880 318.70/318.76 o 4299573879 318.70/318.76 o 4297052142 318.70/318.76 o 4297052141 318.70/318.76 o 4297052140 318.70/318.76 o 4297052139 318.70/318.76 o 4297052138 318.70/318.76 o 4297052137 318.70/318.76 o 4297052136 318.70/318.76 o 4297052135 318.70/318.76 o 4297052134 318.70/318.76 o 4297052133 318.70/318.76 o 4297052132 318.70/318.76 o 4297052131 318.70/318.76 o 4294530397 318.70/318.76 o 4294530396 318.70/318.76 o 4294530395 318.70/318.76 o 4294530394 318.70/318.76 o 4294530393 318.70/318.76 o 4294530392 318.70/318.76 o 4294530391 318.70/318.76 o 4294530390 318.70/318.76 o 4294530389 318.70/318.76 o 4294530388 318.70/318.76 o 4292008647 318.70/318.76 o 4292008645 318.70/318.76 o 4289486904 318.70/318.76 o 4289486902 318.70/318.76 o 4289486901 318.70/318.76 o 4289486900 318.70/318.76 o 4289486899 318.70/318.76 o 4289486898 318.70/318.76 o 4289486897 318.70/318.76 o 4289486896 318.70/318.76 o 4286965166 318.70/318.76 o 4286965165 318.70/318.76 o 4286965164 318.70/318.76 o 4286965163 318.70/318.76 o 4286965162 318.70/318.76 o 4286965161 318.70/318.76 o 4286965160 318.70/318.76 o 4286965159 318.70/318.76 o 4286965158 318.70/318.76 o 4286965157 318.70/318.76 o 4286965156 318.70/318.76 o 4286965155 318.70/318.76 o 4284443418 318.70/318.76 o 4284443416 318.70/318.76 o 4284443415 318.70/318.76 o 4284443414 318.70/318.76 o 4284443413 318.70/318.76 o 4284443412 318.70/318.76 o 4284443411 318.70/318.76 o 4281921673 318.70/318.76 o 4281921672 318.70/318.76 o 4281921671 318.70/318.76 o 4281921670 318.70/318.76 o 4279399931 318.70/318.76 o 4279399929 318.70/318.76 o 4279399928 318.70/318.76 o 4279399927 318.70/318.76 o 4279399926 318.70/318.76 o 4279399925 318.70/318.76 o 4279399924 318.70/318.76 o 4279399923 318.70/318.76 o 4276878191 318.70/318.76 o 4276878190 318.70/318.76 o 4276878189 318.70/318.76 o 4276878188 318.70/318.76 o 4276878187 318.70/318.76 o 4276878186 318.70/318.76 o 4276878185 318.70/318.76 o 4276878184 318.70/318.76 o 4276878183 318.70/318.76 o 4276878182 318.70/318.76 o 4276878181 318.70/318.76 o 4276878180 318.70/318.76 o 4276878179 318.70/318.76 o 4276878178 318.70/318.76 o 4274356447 318.70/318.76 o 4274356446 318.70/318.76 o 4274356445 318.70/318.76 o 4274356444 318.70/318.76 o 4274356443 318.70/318.76 o 4274356442 318.70/318.76 o 4274356441 318.70/318.76 o 4274356440 318.70/318.76 o 4274356439 318.70/318.76 o 4274356438 318.70/318.76 o 4274356437 318.70/318.76 o 4274356436 318.70/318.76 o 4274356435 318.70/318.76 o 4274356434 452.91/452.92 o 4274356433 452.91/452.92 o 4274356432 452.91/452.92 o 4274356431 452.91/452.92 o 4274356430 452.91/452.92 o 4271834697 452.91/452.92 o 4271834696 452.91/452.92 o 4271834695 452.91/452.92 o 4271834694 452.91/452.92 o 4271834693 452.91/452.92 o 4271834692 452.91/452.92 o 4271834691 452.91/452.92 o 4271834690 452.91/452.92 o 4271834689 452.91/452.92 o 4271834688 452.91/452.92 o 4271834687 452.91/452.92 o 4269312957 452.91/452.92 o 4269312956 452.91/452.92 o 4269312955 452.91/452.92 o 4269312954 452.91/452.92 o 4269312953 452.91/452.92 o 4269312952 452.91/452.92 o 4269312951 452.91/452.92 o 4269312950 452.91/452.92 o 4269312949 452.91/452.92 o 4269312948 452.91/452.92 o 4269312947 452.91/452.92 o 4269312946 452.91/452.92 o 4269312945 452.91/452.92 o 4269312944 452.91/452.92 o 4269312943 452.91/452.92 o 4269312942 452.91/452.92 o 4266791222 452.91/452.92 o 4266791220 452.91/452.92 o 4266791219 452.91/452.92 o 4266791218 452.91/452.92 o 4266791217 452.91/452.92 o 4266791216 452.91/452.92 o 4266791215 452.91/452.92 o 4266791214 452.91/452.92 o 4266791213 452.91/452.92 o 4266791212 452.91/452.92 o 4266791211 452.91/452.92 o 4266791210 452.91/452.92 o 4266791209 452.91/452.92 o 4266791208 452.91/452.92 o 4266791207 452.91/452.92 o 4266791206 452.91/452.92 o 4266791205 452.91/452.92 o 4266791204 452.91/452.92 o 4266791203 452.91/452.92 o 4266791202 452.91/452.92 o 4266791201 452.91/452.92 o 4264269479 452.91/452.92 o 4264269478 452.91/452.92 o 4264269477 452.91/452.92 o 4264269476 452.91/452.92 o 4264269474 452.91/452.92 o 4264269473 452.91/452.92 o 4264269472 452.91/452.92 o 4264269471 452.91/452.92 o 4264269470 452.91/452.92 o 4264269469 452.91/452.92 o 4264269468 452.91/452.92 o 4264269467 452.91/452.92 o 4264269466 452.91/452.92 o 4264269465 452.91/452.92 o 4264269464 452.91/452.92 o 4264269463 452.91/452.92 o 4264269462 452.91/452.92 o 4264269461 452.91/452.92 o 4264269460 452.91/452.92 o 4264269459 452.91/452.92 o 4264269458 452.91/452.92 o 4264269457 452.91/452.92 o 4261747734 452.91/452.92 o 4261747733 452.91/452.92 o 4261747732 452.91/452.92 o 4261747731 452.91/452.92 o 4261747730 452.91/452.92 o 4261747729 452.91/452.92 o 4261747728 452.91/452.92 o 4261747727 452.91/452.92 o 4261747726 452.91/452.92 o 4261747725 452.91/452.92 o 4261747724 452.91/452.92 o 4261747723 452.91/452.92 o 4261747722 452.91/452.92 o 4261747721 452.91/452.92 o 4261747720 452.91/452.92 o 4259225989 452.91/452.92 o 4259225987 452.91/452.92 o 4259225986 452.91/452.92 o 4259225985 452.91/452.92 o 4259225984 452.91/452.92 o 4259225983 452.91/452.92 o 4259225982 452.91/452.92 o 4259225981 452.91/452.92 o 4259225980 452.91/452.92 o 4256704250 452.91/452.92 o 4256704248 452.91/452.92 o 4256704247 452.91/452.92 o 4256704246 452.91/452.92 o 4256704245 452.91/452.92 o 4256704244 452.91/452.92 o 4256704243 452.91/452.92 o 4256704242 452.91/452.92 o 4256704241 452.91/452.92 o 4256704240 452.91/452.92 o 4256704239 452.91/452.92 o 4256704238 452.91/452.92 o 4256704237 452.91/452.92 o 4256704236 452.91/452.92 o 4256704235 452.91/452.92 o 4256704234 452.91/452.92 o 4256704233 452.91/452.92 o 4256704232 452.91/452.92 o 4256704231 452.91/452.92 o 4256704230 452.91/452.92 o 4256704229 452.91/452.92 o 4256704228 452.91/452.92 o 4256704227 452.91/452.92 o 4256704226 452.91/452.92 o 4256704225 452.91/452.92 o 4256704224 452.91/452.92 o 4256704223 452.91/452.92 o 4254182509 452.91/452.92 o 4251660765 452.91/452.92 o 4251660763 452.91/452.92 o 4251660762 452.91/452.92 o 4251660761 452.91/452.92 o 4251660760 452.91/452.92 o 4251660759 452.91/452.92 o 4251660758 452.91/452.92 o 4251660756 452.91/452.92 o 4251660755 452.91/452.92 o 4251660754 452.91/452.92 o 4251660753 452.91/452.92 o 4251660752 452.91/452.92 o 4251660751 452.91/452.92 o 4251660750 452.91/452.92 o 4251660749 452.91/452.92 o 4251660748 452.91/452.92 o 4251660747 452.91/452.92 o 4251660746 452.91/452.92 o 4251660745 452.91/452.92 o 4251660744 452.91/452.92 o 4251660743 452.91/452.92 o 4251660742 452.91/452.92 o 4251660741 452.91/452.92 o 4251660740 452.91/452.92 o 4251660739 452.91/452.92 o 4251660738 452.91/452.92 o 4251660737 452.91/452.92 o 4251660736 452.91/452.92 o 4251660735 452.91/452.92 o 4251660734 452.91/452.92 o 4251660733 452.91/452.92 o 4249139000 452.91/452.92 o 4249138998 452.91/452.92 o 4249138997 452.91/452.92 o 4249138996 452.91/452.92 o 4249138995 452.91/452.92 o 4249138994 452.91/452.92 o 4249138993 452.91/452.92 o 4249138992 452.91/452.92 o 4249138991 452.91/452.92 o 4246617269 452.91/452.92 o 4246617267 452.91/452.92 o 4246617265 452.91/452.92 o 4246617264 452.91/452.92 o 4246617262 452.91/452.92 o 4246617261 452.91/452.92 o 4246617259 452.91/452.92 o 4246617258 452.91/452.92 o 4246617257 452.91/452.92 o 4246617256 452.91/452.92 o 4246617255 452.91/452.92 o 4246617254 452.91/452.92 o 4246617253 452.91/452.92 o 4246617252 452.91/452.92 o 4246617251 452.91/452.92 o 4246617250 452.91/452.92 o 4246617249 452.91/452.92 o 4246617248 452.91/452.92 o 4246617247 452.91/452.92 o 4246617246 452.91/452.92 o 4246617240 452.91/452.92 o 4246617239 452.91/452.92 o 4246617238 452.91/452.92 o 4246617237 452.91/452.92 o 4246617236 452.91/452.92 o 4246617235 452.91/452.92 o 4246617234 452.91/452.92 o 4244095520 452.91/452.92 o 4244095519 452.91/452.92 o 4244095518 452.91/452.92 o 4244095517 452.91/452.92 o 4244095516 452.91/452.92 o 4244095515 452.91/452.92 o 4244095514 452.91/452.92 o 4244095513 452.91/452.92 o 4244095512 452.91/452.92 o 4244095511 452.91/452.92 o 4244095510 452.91/452.92 o 4244095509 452.91/452.92 o 4244095508 452.91/452.92 o 4244095507 452.91/452.92 o 4244095506 452.91/452.92 o 4244095505 452.91/452.92 o 4241573770 452.91/452.92 o 4241573769 452.91/452.92 o 4241573768 452.91/452.92 o 4241573767 452.91/452.92 o 4241573766 452.91/452.92 o 4241573765 452.91/452.92 o 4241573764 452.91/452.92 o 4241573763 452.91/452.92 o 4241573762 452.91/452.92 o 4241573761 452.91/452.92 o 4241573760 452.91/452.92 o 4241573759 452.91/452.92 o 4241573758 452.91/452.92 s OPTIMUM FOUND 452.91/452.92 v -x1 -x2 x3 -x4 x5 -x6 -x7 x8 -x9 -x10 x11 x12 -x13 -x14 x15 -x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 -x25 x26 -x27 x28 -x29 x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 x132 -x133 -x134 x135 x136 -x137 x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 x153 -x154 -x155 x156 -x157 -x158 x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 x258 -x259 x260 -x261 -x262 -x263 x264 -x265 -x266 x267 x268 -x269 x270 x271 -x272 x273 x274 -x275 -x276 -x277 -x278 x279 -x280 x281 x282 -x283 x284 -x285 -x286 -x287 x288 x289 -x290 x291 -x292 x293 x294 -x295 -x296 x297 x298 -x299 -x300 -x301 x302 x303 -x304 -x305 x306 x307 -x308 -x309 -x310 x311 -x312 -x313 x314 -x315 x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 x324 x325 x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 x347 -x348 x349 -x350 -x351 x352 -x353 x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 x384 x385 x386 x387 x388 x389 -x390 -x391 -x392 -x393 x394 -x395 x396 -x397 -x398 x399 x400 x401 x402 x403 x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 x424 x425 -x426 -x427 -x428 x429 -x430 x431 -x432 -x433 -x434 -x435 x436 x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 x463 -x464 x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 x473 -x474 -x475 -x476 x477 -x478 -x479 x480 -x481 -x482 x483 -x484 x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 x506 -x507 x508 -x509 -x510 -x511 -x512 x513 x514 -x515 x516 -x517 -x518 x519 -x520 x521 -x522 x523 -x524 x525 x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 x557 -x558 -x559 x560 -x561 -x562 -x563 x564 -x565 -x566 x567 x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 x582 -x583 -x584 -x585 x586 -x587 x588 -x589 x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 x602 -x603 x604 -x605 -x606 x607 x608 -x609 x610 -x611 x612 -x613 -x614 -x615 x616 x617 -x618 -x619 x620 -x621 -x622 x623 -x624 x625 x626 -x627 -x628 -x629 -x630 x631 -x632 x633 -x634 -x635 -x636 x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 x668 -x669 x670 -x671 x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 x694 x695 -x696 x697 x698 x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 x709 x710 -x711 -x712 x713 -x714 x715 -x716 -x717 x718 -x719 x720 -x721 -x722 -x723 -x724 x725 x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 x734 x735 x736 -x737 x738 x739 -x740 -x741 -x742 x743 -x744 -x745 x746 -x747 -x748 x749 -x750 x751 -x752 -x753 -x754 x755 -x756 x757 x758 -x759 -x760 -x761 x762 -x763 x764 -x765 -x766 x767 -x768 x769 x770 -x771 -x772 x773 x774 -x775 -x776 x777 -x778 -x779 x780 -x781 -x782 x783 -x784 x785 x786 -x787 -x788 x789 -x790 x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 x799 -x800 -x801 x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 x812 -x813 -x814 -x815 x816 x817 -x818 -x819 x820 -x821 x822 -x823 -x824 x825 -x826 -x827 x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 x839 x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 x862 -x863 x864 -x865 x866 -x867 -x868 x869 x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 x879 -x880 x881 -x882 -x883 x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 x896 -x897 x898 -x899 -x900 x901 x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 x920 -x921 x922 -x923 x924 -x925 x926 -x927 x928 x929 -x930 -x931 x932 -x933 -x934 -x935 x936 -x937 -x938 x939 x940 -x941 -x942 x943 -x944 x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 x956 -x957 x958 -x959 x960 -x961 x962 -x963 -x964 x965 x966 -x967 x968 -x969 -x970 -x971 -x972 x973 -x974 -x975 x976 x977 -x978 -x979 x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 x1078 x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 x1088 -x1089 -x1090 -x1091 x1092 -x1093 x1094 x1095 x1096 -x1097 -x1098 -x1099 -x1100 x1101 x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 x1109 x1110 x1111 x1112 x1113 -x1114 -x1115 x1116 -x1117 -x1118 x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 -x1129 -x1130 x1131 -x1132 x1133 -x1134 x1135 x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 x1161 x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 x1197 x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 x1229 -x1230 x1231 -x1232 x1233 x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 x1243 x1244 -x1245 x1246 -x1247 x1248 -x1249 x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 x1279 -x1280 -x1281 -x1282 -x1283 x1284 x1285 -x1286 -x1287 x1288 -x1289 x1290 -x1291 -x1292 -x1293 x1294 x1295 -x1296 -x1297 x1298 -x1299 -x1300 x1301 -x1302 x1303 -x1304 -x1305 x1306 -x1307 -x1308 -x1309 -x1310 x1311 x1312 -x1313 x1314 x1315 -x1316 x1317 x1318 x1319 -x1320 x1321 x1322 -x1323 x1324 -x1325 x1326 -x1327 -x1328 x1329 -x1330 -x1331 x1332 x1333 -x1334 x1335 -x1336 x1337 -x1338 -x1339 x1340 x1341 x1342 x1343 -x1344 -x1345 -x1346 x1347 -x1348 x1349 x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 x1359 -x1360 -x1361 -x1362 x1363 x1364 -x1365 x1366 x1367 -x1368 -x1369 -x1370 x1371 -x1372 x1373 -x1374 -x1375 x1376 -x1377 x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 x1398 -x1399 x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 x1437 x1438 x1439 -x1440 x1441 -x1442 -x1443 x1444 -x1445 x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 x1474 -x1475 x1476 -x1477 x1478 -x1479 x1480 x1481 -x1482 -x1483 x1484 -x1485 x1486 -x1487 -x1488 -x1489 x1490 -x1491 x1492 -x1493 -x1494 -x1495 -x1496 x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 x1506 -x1507 x1508 -x1509 -x1510 x1511 -x1512 -x1513 x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 x1521 -x1522 x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 x1530 -x1531 -x1532 x1533 -x1534 x1535 -x1536 -x1537 -x1538 x1539 x1540 -x1541 x1542 -x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 -x1574 x1575 -x1576 -x1577 -x1578 x1579 -x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 x1647 -x1648 x1649 -x1650 -x1651 -x1652 x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 x1666 -x1667 -x1668 x1669 x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1703 x1704 -x1705 x1706 x1707 -x1708 -x1709 x1710 -x1711 x1712 x1713 x1714 x1715 x1716 -x1717 -x1718 x1719 -x1720 -x1721 -x1722 x1723 -x1724 x1725 x1726 -x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 x1734 x1735 -x1736 -x1737 x1738 x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 x1746 -x1747 x1748 -x1749 x1750 -x1751 x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 x1769 x1770 x1771 -x1772 x1773 -x1774 x1775 -x1776 -x1777 x1778 x1779 -x1780 -x1781 -x1782 -x1783 x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798 x1799 x1800 x1801 -x1802 -x1803 -x1804 x1805 x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 -x1820 x1821 x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 x1830 -x1831 -x1832 x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 -x1846 -x1847 x1848 -x1849 x1850 x1851 x1852 -x1853 x1854 x1855 -x1856 x1857 -x1858 -x1859 x1860 x1861 -x1862 x1863 -x1864 x1865 -x1866 -x1867 x1868 -x1869 -x1870 x1871 x1872 -x1873 x1874 x1875 x1876 x1877 x1878 -x1879 x1880 -x1881 -x1882 x1883 x1884 -x1885 x1886 -x1887 x1888 -x1889 -x1890 x1891 -x1892 x1893 x1894 x1895 x1896 x1897 x1898 x1899 x1900 x1901 -x1902 x1903 -x1904 -x1905 -x1906 -x1907 x1908 x1909 -x1910 -x1911 -x1912 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 -x1926 x1927 x1928 -x1929 x1930 x1931 -x1932 -x1933 -x1934 -x1935 x1936 x1937 -x1938 -x1939 -x1940 x1941 -x1942 x1943 x1944 -x1945 -x1946 x1947 x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 x1963 x1964 -x1965 x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 x1979 -x1980 x1981 -x1982 -x1983 x1984 -x1985 x1986 x1987 -x1988 x1989 -x1990 -x1991 x1992 x1993 x1994 x1995 -x1996 -x1997 x1998 -x1999 x2000 -x2001 x2002 -x2003 x2004 -x2005 -x2006 x2007 x2008 -x2009 x2010 -x2011 x2012 -x2013 -x2014 x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 x2022 -x2023 x2024 -x2025 x2026 -x2027 x2028 -x2029 -x2030 x2031 x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 -x2041 -x2042 -x2043 -x2044 x2045 -x2046 -x2047 -x2048 -x2049 x2050 x2051 -x2052 -x2053 x2054 x2055 -x2056 x2057 -x2058 x2059 x2060 -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 x2072 x2073 -x2074 -x2075 x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 x2084 x2085 x2086 -x2087 -x2088 x2089 -x2090 x2091 x2092 -x2093 x2094 x2095 -x2096 x2097 x2098 -x2099 x2100 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 -x2110 x2111 -x2112 x2113 -x2114 -x2115 x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 x2126 -x2127 -x2128 x2129 -x2130 x2131 x2132 x2133 -x2134 -x2135 -x2136 -x2137 x2138 x2139 x2140 -x2141 x2142 x2143 -x2144 -x2145 x2146 x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x2170 -x2171 x2172 x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2199 -x2200 x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 x2209 -x2210 -x2211 -x2212 x2213 -x2214 x2215 -x2216 -x2217 x2218 -x2219 x2220 -x2221 x2222 -x2223 x2224 -x2225 x2226 -x2227 x2228 x2229 -x2230 -x2231 x2232 x2233 x2234 x2235 x2236 x2237 -x2238 x2239 -x2240 x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 x2249 -x2250 x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 x2263 -x2264 x2265 -x2266 x2267 -x2268 x2269 -x2270 -x2271 x2272 x2273 -x2274 -x2275 x2276 -x2277 -x2278 x2279 -x2280 -x2281 -x2282 x2283 -x2284 x2285 x2286 -x2287 -x2288 -x2289 x2290 -x2291 x2292 -x2293 -x2294 -x2295 -x2296 x2297 -x2298 x2299 x2300 x2301 -x2302 -x2303 -x2304 x2305 x2306 -x2307 x2308 -x2309 -x2310 x2311 -x2312 x2313 -x2314 x2315 -x2316 -x2317 x2318 x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 -x2328 -x2329 x2330 x2331 -x2332 x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 -x2348 x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 x2368 -x2369 -x2370 -x2371 x2372 -x2373 -x2374 -x2375 -x2376 x2377 -x2378 -x2379 x2380 -x2381 -x2382 -x2383 -x2384 x2385 -x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392 -x2393 x2394 -x2395 -x2396 -x2397 x2398 -x2399 -x2400 -x2401 x2402 -x2403 -x2404 x2405 x2406 -x2407 x2408 -x2409 x2410 x2411 -x2412 x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 x2424 -x2425 -x2426 x2427 -x2428 -x2429 x2430 x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 x2451 -x2452 x2453 -x2454 -x2455 -x2456 x2457 x2458 -x2459 -x2460 -x2461 -x2462 x2463 -x2464 x2465 -x2466 -x2467 -x2468 -x2469 x2470 x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 x2481 -x2482 -x2483 -x2484 x2485 -x2486 x2487 -x2488 -x2489 -x2490 -x2491 -x2492 x2493 -x2494 -x2495 x2496 -x2497 -x2498 -x2499 x2500 -x2501 -x2502 x2503 x2504 x2505 x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 x2513 -x2514 -x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2532 x2533 -x2534 -x2535 x2536 -x2537 x2538 -x2539 x2540 -x2541 x2542 -x2543 x2544 -x2545 x2546 -x2547 x2548 -x2549 -x2550 -x2551 x2552 x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 x2561 x2562 x2563 -x2564 x2565 -x2566 -x2567 x2568 -x2569 -x2570 x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 x2581 -x2582 x2583 -x2584 -x2585 -x2586 -x2587 x2588 x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 x2601 x2602 -x2603 x2604 -x2605 -x2606 x2607 -x2608 x2609 x2610 -x2611 -x2612 x2613 -x2614 x2615 -x2616 x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 x2628 -x2629 -x2630 x2631 -x2632 x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2645 x2646 -x2647 x2648 -x2649 x2650 -x2651 -x2652 x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 x2668 -x2669 -x2670 -x2671 x2672 -x2673 -x2674 -x2675 x2676 -x2677 -x2678 -x2679 x2680 x2681 -x2682 -x2683 x2684 -x2685 -x2686 x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 x2723 x2724 -x2725 -x2726 x2727 x2728 -x2729 x2730 -x2731 -x2732 -x2733 x2734 -x2735 -x2736 -x2737 -x2738 -x2739 x2740 -x2741 -x2742 x2743 -x2744 -x2745 -x2746 x2747 -x2748 -x2749 x2750 -x2751 -x2752 x2753 -x2754 x2755 -x2756 -x2757 -x2758 x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 x2768 x2769 -x2770 -x2771 -x2772 x2773 -x2774 x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 x2782 x2783 x2784 -x2785 -x2786 x2787 -x2788 x2789 -x2790 x2791 -x2792 x2793 -x2794 -x2795 -x2796 x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 x2818 x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 x2830 -x2831 x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 x2839 x2840 x2841 x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 -x2850 -x2851 x2852 -x2853 -x2854 x2855 -x2856 -x2857 -x2858 -x2859 x2860 x2861 -x2862 -x2863 x2864 -x2865 x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 x2873 -x2874 -x2875 x2876 -x2877 x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 x2889 x2890 -x2891 -x2892 -x2893 -x2894 x2895 -x2896 -x2897 -x2898 x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 x2906 -x2907 -x2908 x2909 -x2910 x2911 -x2912 -x2913 x2914 x2915 -x2916 -x2917 -x2918 x2919 x2920 -x2921 -x2922 -x2923 x2924 -x2925 -x2926 -x2927 -x2928 x2929 -x2930 -x2931 -x2932 -x2933 x2934 -x2935 x2936 -x2937 -x2938 -x2939 -x2940 x2941 -x2942 -x2943 -x2944 -x2945 x2946 -x2947 x2948 -x2949 x2950 -x2951 x2952 x2953 x2954 x2955 -x2956 -x2957 -x2958 x2959 -x2960 x2961 -x2962 x2963 -x2964 x2965 x2966 -x2967 x2968 x2969 -x2970 -x2971 x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 x2989 x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 x2997 x2998 x2999 -x3000 -x3001 x3002 -x3003 x3004 x3005 x3006 x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 x3017 -x3018 -x3019 -x3020 x3021 -x3022 -x3023 -x3024 -x3025 x3026 x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 x3044 -x3045 x3046 -x3047 -x3048 x3049 -x3050 x3051 -x3052 -x3053 -x3054 x3055 -x3056 x3057 -x3058 x3059 -x3060 -x3061 x3062 -x3063 -x3064 -x3065 x3066 x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 x4192 x4193 x4194 x4195 x4196 -x4197 -x4198 -x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 x4250 -x4251 -x4252 -x4253 -x4254 -x4255 x4256 -x4257 -x4258 x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 x4288 x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 x4388 x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 x4422 x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 x4542 -x4543 -x4544 -x4545 x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 x4557 -x4558 -x4559 -x4560 -x4561 x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 x4673 -x4674 -x4675 -x4676 -x4677 x4678 x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 x4694 x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 x4714 x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 x4726 x4727 x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 x4747 x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 x5042 -x5043 -x5044 -x5045 -x5046 x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 x5060 x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 x5094 x5095 -x5096 -x5097 -x5098 -x5099 x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 x5171 x5172 x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 x5246 x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 x5476 x5477 x5478 x5479 x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 x5504 x5505 x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 x5549 x5550 -x5551 -x5552 -x5553 x5554 x5555 -x5556 -x5557 -x5558 -x5559 -x5560 x5561 -x5562 -x5563 -x5564 -x5565 x5566 x5567 -x5568 -x5569 x5570 x5571 -x5572 -x5573 -x5574 -x5575 x5576 -x5577 -x5578 x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 x5611 -x5612 -x5613 -x5614 x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 x5647 x5648 x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 x5684 x5685 x5686 x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 x5808 -x5809 x5810 x5811 -x5812 -x5813 x5814 x5815 x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 x5880 -x5881 -x5882 -x5883 -x5884 x5885 x5886 -x5887 -x5888 -x5889 -x5890 x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 x5906 x5907 -x5908 x5909 -x5910 -x5911 -x5912 x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 x5921 x5922 -x5923 -x5924 x5925 -x5926 x5927 x5928 -x5929 x5930 x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 x5938 x5939 x5940 -x5941 -x5942 -x5943 -x5944 x5945 x5946 -x5947 x5948 x5949 -x5950 -x5951 -x5952 -x5953 x5954 -x5955 x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 x5967 x5968 -x5969 x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 x5990 x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 x5999 x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 x6022 x6023 x6024 -x6025 x6026 -x6027 x6028 x6029 x6030 -x6031 -x6032 -x6033 x6034 x6035 -x6036 x6037 x6038 x6039 x6040 x6041 -x6042 x6043 -x6044 x6045 x6046 x6047 x6048 x6049 x6050 -x6051 -x6052 x6053 -x6054 x6055 x6056 x6057 x6058 -x6059 x6060 x6061 x6062 x6063 x6064 x6065 x6066 -x6067 -x6068 -x6069 -x6070 x6071 -x6072 -x6073 -x6074 x6075 -x6076 x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 x6085 x6086 -x6087 -x6088 -x6089 x6090 x6091 -x6092 -x6093 x6094 x6095 x6096 x6097 -x6098 -x6099 -x6100 x6101 x6102 x6103 x6104 -x6105 -x6106 x6107 -x6108 -x6109 x6110 -x6111 x6112 -x6113 -x6114 -x6115 -x6116 -x6117 x6118 -x6119 -x6120 x6121 -x6122 x6123 x6124 x6125 x6126 -x6127 x6128 -x6129 -x6130 x6131 x6132 x6133 x6134 -x6135 -x6136 -x6137 x6138 -x6139 -x6140 -x6141 -x6142 x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 x6151 x6152 -x6153 -x6154 -x6155 x6156 x6157 x6158 x6159 x6160 x6161 -x6162 x6163 -x6164 -x6165 -x6166 -x6167 x6168 x6169 x6170 -x6171 -x6172 -x6173 x6174 -x6175 -x6176 -x6177 x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 x6185 -x6186 -x6187 -x6188 x6189 -x6190 -x6191 -x6192 -x6193 -x6194 x6195 -x6196 -x6197 -x6198 -x6199 x6200 -x6201 -x6202 -x6203 x6204 x6205 x6206 -x6207 -x6208 -x6209 x6210 -x6211 -x6212 -x6213 -x6214 x6215 x6216 x6217 -x6218 x6219 x6220 x6221 x6222 x6223 x6224 x6225 -x6226 x6227 x6228 -x6229 x6230 x6231 -x6232 -x6233 x6234 x6235 x6236 -x6237 -x6238 x6239 x6240 x6241 -x6242 -x6243 x6244 x6245 x6246 x6247 x6248 -x6249 -x6250 x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 x6258 x6259 -x6260 x6261 -x6262 -x6263 x6264 -x6265 -x6266 -x6267 x6268 x6269 x6270 x6271 x6272 -x6273 -x6274 -x6275 x6276 x6277 -x6278 -x6279 x6280 x6281 -x6282 -x6283 -x6284 x6285 -x6286 x6287 -x6288 x6289 -x6290 x6291 x6292 -x6293 x6294 -x6295 x6296 x6297 -x6298 x6299 x6300 x6301 x6302 x6303 x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 x6311 x6312 x6313 x6314 -x6315 x6316 -x6317 -x6318 x6319 x6320 -x6321 x6322 x6323 x6324 x6325 -x6326 x6327 -x6328 -x6329 -x6330 x6331 -x6332 x6333 x6334 -x6335 -x6336 -x6337 -x6338 x6339 -x6340 -x6341 -x6342 x6343 x6344 x6345 x6346 x6347 x6348 -x6349 -x6350 -x6351 -x6352 -x6353 x6354 x6355 x6356 -x6357 x6358 x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 x6372 x6373 x6374 -x6375 x6376 x6377 -x6378 x6379 x6380 x6381 -x6382 -x6383 x6384 -x6385 -x6386 -x6387 x6388 -x6389 -x6390 x6391 x6392 -x6393 x6394 x6395 x6396 x6397 -x6398 -x6399 x6400 -x6401 -x6402 x6403 x6404 -x6405 x6406 x6407 x6408 -x6409 -x6410 x6411 x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 x6431 -x6432 -x6433 -x6434 x6435 x6436 -x6437 -x6438 -x6439 -x6440 -x6441 x6442 x6443 x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 x6453 x6454 -x6455 x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 x6463 -x6464 -x6465 x6466 -x6467 x6468 -x6469 -x6470 -x6471 -x6472 x6473 -x6474 -x6475 -x6476 -x6477 -x6478 x6479 -x6480 x6481 x6482 x6483 -x6484 -x6485 -x6486 x6487 -x6488 -x6489 -x6490 x6491 x6492 x6493 x6494 x6495 -x6496 -x6497 x6498 -x6499 x6500 x6501 -x6502 -x6503 x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 x6511 -x6512 x6513 -x6514 -x6515 -x6516 x6517 x6518 x6519 x6520 -x6521 x6522 x6523 x6524 x6525 x6526 x6527 x6528 x6529 x6530 -x6531 -x6532 -x6533 x6534 x6535 x6536 x6537 x6538 x6539 x6540 x6541 x6542 x6543 x6544 x6545 x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 x6554 -x6555 x6556 x6557 x6558 x6559 -x6560 x6561 x6562 x6563 x6564 x6565 -x6566 -x6567 x6568 -x6569 -x6570 x6571 -x6572 x6573 x6574 x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 x6583 x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 x6594 -x6595 -x6596 x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 x6605 -x6606 x6607 -x6608 x6609 -x6610 -x6611 -x6612 -x6613 -x6614 x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 x6644 x6645 -x6646 -x6647 -x6648 -x6649 x6650 -x6651 -x6652 x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 x6662 x6663 -x6664 -x6665 -x6666 -x6667 -x6668 x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 x6676 -x6677 -x6678 x6679 x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 x6691 -x6692 x6693 x6694 x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 x6708 x6709 x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 x6723 -x6724 x6725 x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 x6740 x6741 -x6742 -x6743 x6744 -x6745 -x6746 x6747 x6748 x6749 x6750 x6751 x6752 x6753 -x6754 x6755 x6756 x6757 x6758 x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 x6774 x6775 x6776 -x6777 -x6778 -x6779 x6780 x6781 x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791
OK 4241573758
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-3498001-1307936430/watcher-3498001-1307936430 -o /var/tmp/evaluation-result-3498001-1307936430/solver-3498001-1307936430 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3498001-1307936430.opb --verbosity=0 --format=opb --randomseed=1089348110 running on 4 cores: 1,3,5,7 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.00 1.29 1.66 3/177 30031 /proc/meminfo: memFree=11133128/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=7896 CPUtime=0 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 419 0 0 0 0 0 0 0 22 0 1 0 983873567 8085504 372 33554432000 4194304 6957856 140735835889648 18446744073709551615 5312973 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 1974 372 227 675 0 1290 0 [startup+0.10414 s] /proc/loadavg: 1.00 1.29 1.66 3/177 30031 /proc/meminfo: memFree=11133128/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=16052 CPUtime=0.1 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 2518 0 0 0 10 0 0 0 23 0 1 0 983873567 16437248 2428 33554432000 4194304 6957856 140735835889648 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 4013 2429 252 675 0 3329 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 16052 [startup+0.201122 s] /proc/loadavg: 1.00 1.29 1.66 3/177 30031 /proc/meminfo: memFree=11133128/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=23616 CPUtime=0.19 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 4387 0 0 0 19 0 0 0 23 0 1 0 983873567 24182784 4297 33554432000 4194304 6957856 140735835889648 18446744073709551615 5925415 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 5904 4298 252 675 0 5220 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 23616 [startup+0.301104 s] /proc/loadavg: 1.00 1.29 1.66 3/177 30031 /proc/meminfo: memFree=11133128/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=33224 CPUtime=0.29 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 7109 0 0 0 29 0 0 0 23 0 1 0 983873567 34021376 6717 33554432000 4194304 6957856 140735835889648 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 8306 6717 267 675 0 7622 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33224 [startup+0.701033 s] /proc/loadavg: 1.00 1.29 1.66 3/177 30031 /proc/meminfo: memFree=11133128/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=76924 CPUtime=0.69 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 18086 0 0 0 68 1 0 0 25 0 1 0 983873567 78770176 17628 33554432000 4194304 6957856 140735835889648 18446744073709551615 4762053 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 19231 17630 267 675 0 18547 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 76924 [startup+1.50089 s] /proc/loadavg: 1.00 1.29 1.66 3/178 30032 /proc/meminfo: memFree=10974472/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=89280 CPUtime=1.49 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 21178 0 0 0 147 2 0 0 25 0 1 0 983873567 91422720 20720 33554432000 4194304 6957856 140735835889648 18446744073709551615 5313006 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 22320 20720 283 675 0 21636 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 89280 [startup+3.10059 s] /proc/loadavg: 1.08 1.30 1.66 3/178 30032 /proc/meminfo: memFree=10973976/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=89284 CPUtime=3.09 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 21195 0 0 0 307 2 0 0 25 0 1 0 983873567 91426816 20736 33554432000 4194304 6957856 140735835889648 18446744073709551615 5918152 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 22321 20736 286 675 0 21637 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 89284 [startup+6.30102 s] /proc/loadavg: 1.08 1.30 1.66 3/178 30033 /proc/meminfo: memFree=10973176/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=89432 CPUtime=6.3 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 21279 0 0 0 628 2 0 0 25 0 1 0 983873567 91578368 20820 33554432000 4194304 6957856 140735835889648 18446744073709551615 5917986 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 22358 20820 286 675 0 21674 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 89432 [startup+12.7008 s] /proc/loadavg: 1.22 1.32 1.67 3/178 30033 /proc/meminfo: memFree=10970464/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=90360 CPUtime=12.69 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 21508 0 0 0 1267 2 0 0 25 0 1 0 983873567 92528640 21049 33554432000 4194304 6957856 140735835889648 18446744073709551615 5918152 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 22590 21049 286 675 0 21906 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 90360 [startup+25.5005 s] /proc/loadavg: 1.34 1.34 1.67 3/178 30033 /proc/meminfo: memFree=10966880/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=92232 CPUtime=25.49 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 22058 0 0 0 2547 2 0 0 25 0 1 0 983873567 94445568 21598 33554432000 4194304 6957856 140735835889648 18446744073709551615 5922121 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 23058 21598 286 675 0 22374 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 92232 [startup+51.1008 s] /proc/loadavg: 1.56 1.39 1.68 3/178 30034 /proc/meminfo: memFree=10959520/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=95572 CPUtime=51.09 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 22960 0 0 0 5107 2 0 0 25 0 1 0 983873567 97865728 22499 33554432000 4194304 6957856 140735835889648 18446744073709551615 4838370 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 23893 22499 286 675 0 23209 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 95572 [startup+102.3 s] /proc/loadavg: 1.82 1.49 1.69 3/178 30035 /proc/meminfo: memFree=10894116/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=138420 CPUtime=102.3 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 34972 0 0 0 10226 4 0 0 25 0 1 0 983873567 141742080 32472 33554432000 4194304 6957856 140735835889648 18446744073709551615 4458499 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 34605 32472 287 675 0 33921 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 138420 [startup+162.3 s] /proc/loadavg: 1.93 1.58 1.71 3/178 30037 /proc/meminfo: memFree=10868992/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=143296 CPUtime=162.29 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 40784 0 0 0 16224 5 0 0 25 0 1 0 983873567 146735104 35138 33554432000 4194304 6957856 140735835889648 18446744073709551615 5934028 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 35824 35138 287 675 0 35140 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 143296 [startup+222.306 s] /proc/loadavg: 1.97 1.66 1.73 3/178 30038 /proc/meminfo: memFree=10850324/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=151012 CPUtime=222.3 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 41678 0 0 0 22224 6 0 0 25 0 1 0 983873567 154636288 36032 33554432000 4194304 6957856 140735835889648 18446744073709551615 5918018 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 37753 36032 287 675 0 37069 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 151012 [startup+282.3 s] /proc/loadavg: 1.99 1.72 1.74 3/178 30078 /proc/meminfo: memFree=10672040/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=162504 CPUtime=282.3 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 44816 0 0 0 28223 7 0 0 25 0 1 0 983873567 166404096 39165 33554432000 4194304 6957856 140735835889648 18446744073709551615 5313091 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 40626 39165 287 675 0 39942 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 162504 [startup+342.3 s] /proc/loadavg: 1.99 1.77 1.75 3/178 30080 /proc/meminfo: memFree=10669832/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=162504 CPUtime=342.3 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 45108 0 0 0 34223 7 0 0 25 0 1 0 983873567 166404096 39455 33554432000 4194304 6957856 140735835889648 18446744073709551615 5915210 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 40626 39455 287 675 0 39942 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 162504 [startup+402.3 s] /proc/loadavg: 1.99 1.80 1.76 3/178 30081 /proc/meminfo: memFree=10669764/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=178460 CPUtime=402.3 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 45235 0 0 0 40223 7 0 0 25 0 1 0 983873567 182743040 39582 33554432000 4194304 6957856 140735835889648 18446744073709551615 4837049 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 44615 39582 287 675 0 43931 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 178460 Solver just ended. Dumping a history of the last processes samples [startup+409.601 s] /proc/loadavg: 1.99 1.81 1.76 3/178 30081 /proc/meminfo: memFree=10669268/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=178460 CPUtime=409.61 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 45243 0 0 0 40954 7 0 0 25 0 1 0 983873567 182743040 39590 33554432000 4194304 6957856 140735835889648 18446744073709551615 5319213 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 44615 39590 287 675 0 43931 0 Current children cumulated CPU time (s) 409.61 Current children cumulated vsize (KiB) 178460 [startup+435.2 s] /proc/loadavg: 1.99 1.82 1.77 3/178 30082 /proc/meminfo: memFree=10679536/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=151008 CPUtime=435.21 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 47858 0 0 0 43513 8 0 0 25 0 1 0 983873567 154632192 37018 33554432000 4194304 6957856 140735835889648 18446744073709551615 5922137 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 37752 37018 288 675 0 37068 0 Current children cumulated CPU time (s) 435.21 Current children cumulated vsize (KiB) 151008 [startup+441.6 s] /proc/loadavg: 1.99 1.83 1.77 3/178 30082 /proc/meminfo: memFree=10678532/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=151008 CPUtime=441.61 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 48096 0 0 0 44153 8 0 0 25 0 1 0 983873567 154632192 37255 33554432000 4194304 6957856 140735835889648 18446744073709551615 5922021 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 37752 37255 288 675 0 37068 0 Current children cumulated CPU time (s) 441.61 Current children cumulated vsize (KiB) 151008 [startup+448.001 s] /proc/loadavg: 1.99 1.83 1.77 3/178 30082 /proc/meminfo: memFree=10678524/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=151008 CPUtime=448.01 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 48096 0 0 0 44793 8 0 0 25 0 1 0 983873567 154632192 37255 33554432000 4194304 6957856 140735835889648 18446744073709551615 5922313 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 37752 37255 288 675 0 37068 0 Current children cumulated CPU time (s) 448.01 Current children cumulated vsize (KiB) 151008 [startup+451.201 s] /proc/loadavg: 1.99 1.83 1.77 3/178 30082 /proc/meminfo: memFree=10678524/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=151008 CPUtime=451.21 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 48110 0 0 0 45113 8 0 0 25 0 1 0 983873567 154632192 37269 33554432000 4194304 6957856 140735835889648 18446744073709551615 5918004 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 37752 37269 288 675 0 37068 0 Current children cumulated CPU time (s) 451.21 Current children cumulated vsize (KiB) 151008 [startup+452 s] /proc/loadavg: 1.99 1.83 1.77 3/178 30082 /proc/meminfo: memFree=10678524/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=151008 CPUtime=452.01 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 48110 0 0 0 45193 8 0 0 25 0 1 0 983873567 154632192 37269 33554432000 4194304 6957856 140735835889648 18446744073709551615 4838356 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 37752 37269 288 675 0 37068 0 Current children cumulated CPU time (s) 452.01 Current children cumulated vsize (KiB) 151008 [startup+452.4 s] /proc/loadavg: 1.99 1.83 1.77 3/178 30082 /proc/meminfo: memFree=10678400/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=151008 CPUtime=452.41 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 48110 0 0 0 45233 8 0 0 25 0 1 0 983873567 154632192 37269 33554432000 4194304 6957856 140735835889648 18446744073709551615 5312987 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 37752 37269 288 675 0 37068 0 Current children cumulated CPU time (s) 452.41 Current children cumulated vsize (KiB) 151008 [startup+452.8 s] /proc/loadavg: 1.99 1.83 1.77 3/178 30082 /proc/meminfo: memFree=10678400/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=151008 CPUtime=452.81 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 48110 0 0 0 45273 8 0 0 25 0 1 0 983873567 154632192 37269 33554432000 4194304 6957856 140735835889648 18446744073709551615 5312912 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 37752 37269 288 675 0 37068 0 Current children cumulated CPU time (s) 452.81 Current children cumulated vsize (KiB) 151008 [startup+452.9 s] /proc/loadavg: 1.99 1.83 1.77 3/178 30082 /proc/meminfo: memFree=10678400/32951124 swapFree=67056304/67111528 [pid=30031] ppid=30029 vsize=151008 CPUtime=452.91 cores=1,3,5,7 /proc/30031/stat : 30031 (minisatid-gmp) R 30029 30031 27985 0 -1 4202496 48110 0 0 0 45283 8 0 0 25 0 1 0 983873567 154632192 37269 33554432000 4194304 6957856 140735835889648 18446744073709551615 4859316 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/30031/statm: 37752 37269 288 675 0 37068 0 Current children cumulated CPU time (s) 452.91 Current children cumulated vsize (KiB) 151008 Child status: 10 Real time (s): 452.933 CPU time (s): 452.946 CPU user time (s): 452.858 CPU system time (s): 0.087986 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 178460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 452.858 system time used= 0.087986 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48113 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= 4 involuntary context switches= 1178 runsolver used 0.619905 second user time and 1.54276 second system time The end
Begin job on node110 at 2011-06-13 05:40:30 IDJOB=3498001 IDBENCH=72317 IDSOLVER=1990 FILE ID=node110/3498001-1307936430 RUNJOBID= node110-1307936430-30004 PBS_JOBID= 13559669 Free space on /var/tmp= 2880 MiB SOLVER NAME= MinisatID 2.5.2-gmp BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-randc5fe62.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-3498001-1307936430/watcher-3498001-1307936430 -o /var/tmp/evaluation-result-3498001-1307936430/solver-3498001-1307936430 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3498001-1307936430.opb --verbosity=0 --format=opb --randomseed=1089348110 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 43875142ae1c220985d6e8b2ab6ecef8 RANDOM SEED=1089348110 node110.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.830 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.66 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.830 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 : 5332.83 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.830 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.830 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.83 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.830 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.76 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.830 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.830 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.74 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.830 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: 11133828 kB Buffers: 90780 kB Cached: 20985480 kB SwapCached: 9176 kB Active: 5739176 kB Inactive: 15357144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 11133828 kB SwapTotal: 67111528 kB SwapFree: 67056304 kB Dirty: 7944 kB Writeback: 0 kB AnonPages: 17328 kB Mapped: 13244 kB Slab: 656736 kB PageTables: 4436 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 188480 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= 2872 MiB End job on node110 at 2011-06-13 05:48:03