Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2-gmp (fixed) | OPT | 8960372673 | 410.258 | 410.243 |
Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-randfd04d4.cudf.trendy.opb |
MD5SUM | 26a46b78eb7773cf62233afd6be8bb91 |
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 | 8960372673 |
Best CPU time to get the best result obtained on this benchmark | 3.51447 |
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 | 6956 |
Total number of constraints | 29112 |
Number of constraints which are clauses | 28832 |
Number of constraints which are cardinality constraints (but not clauses) | 280 |
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 | 3264 |
Biggest coefficient in the objective function | 4362708104 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 2408209534577 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 4362708104 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 2408209534577 |
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. 56.39/56.48 o 1640866849292 56.39/56.48 o 1636504141188 56.39/56.48 o 1632141433084 56.39/56.48 o 1588543721565 56.39/56.48 o 1584181013461 56.39/56.48 o 1579818305357 56.39/56.48 o 1575455597253 56.39/56.48 o 1571095559105 56.39/56.48 o 1566732851001 56.39/56.48 o 1562370142897 56.39/56.48 o 1558007434793 56.39/56.48 o 1553647396645 56.39/56.48 o 1549287358497 56.39/56.48 o 1544924650393 56.39/56.48 o 1540561942289 56.39/56.48 o 1536199234185 56.39/56.48 o 1531836526081 56.39/56.48 o 1527473817977 56.39/56.48 o 1523111109873 56.39/56.48 o 1518748401769 56.39/56.48 o 1514385693665 56.39/56.48 o 1510025655517 56.39/56.48 o 1505662947413 56.39/56.48 o 1501300239309 56.39/56.48 o 1496937531205 56.39/56.48 o 1492574823101 56.39/56.48 o 1488212114997 56.39/56.48 o 1483849406893 56.39/56.48 o 1479489368745 56.39/56.48 o 1475126660641 56.39/56.48 o 1470763952537 56.39/56.48 o 1466401244433 56.39/56.48 o 1462038536329 56.39/56.48 o 1457675828225 56.39/56.48 o 1453313120121 56.39/56.48 o 1448950412017 56.39/56.48 o 1444587703913 56.39/56.48 o 1440227665765 56.39/56.48 o 1435864957661 56.39/56.48 o 1431504919513 56.39/56.48 o 1427142211409 56.39/56.48 o 1422779503305 56.39/56.48 o 1418416795201 56.39/56.48 o 1414054087097 56.39/56.48 o 1409691378993 56.39/56.48 o 1405328670889 56.39/56.48 o 1400965962785 56.39/56.48 o 1396603254681 56.39/56.48 o 1392240546577 56.39/56.48 o 1387880508429 56.39/56.48 o 1379160432133 56.39/56.48 o 1374797724029 56.39/56.48 o 1370435015925 56.39/56.48 o 1366074977777 56.39/56.48 o 1361712269673 56.39/56.48 o 1357349561569 56.39/56.48 o 1352986853465 56.39/56.48 o 1348626815317 56.39/56.48 o 1344264107213 56.39/56.48 o 1339904069065 56.39/56.48 o 1335544030917 56.39/56.48 o 1331181322813 56.39/56.48 o 1326818614709 56.39/56.48 o 1322455906605 56.39/56.48 o 1318095868457 56.39/56.48 o 1313733160353 56.39/56.48 o 1309370452249 56.39/56.48 o 1305007744145 56.39/56.48 o 1300645036041 56.39/56.48 o 1283202213493 56.39/56.48 o 1278839505389 56.39/56.48 o 1274479467241 56.39/56.48 o 1270116759137 56.39/56.48 o 1265754051033 56.39/56.48 o 1261391342929 56.39/56.48 o 1257028634825 56.39/56.48 o 1252665926721 56.39/56.48 o 1248303218617 56.39/56.48 o 1243940510513 56.39/56.48 o 1239577802409 56.39/56.48 o 1235217764261 56.39/56.48 o 1230855056157 56.39/56.48 o 1226492348053 56.39/56.48 o 1213417573524 56.39/56.48 o 1209054865420 56.39/56.48 o 1204694827272 56.39/56.48 o 1200334789124 56.39/56.48 o 1195972081020 56.39/56.48 o 1191609372916 56.39/56.48 o 1187249334768 56.39/56.48 o 1182889296620 56.39/56.48 o 1178526588516 56.39/56.48 o 1174166550368 56.39/56.48 o 1169803842264 56.39/56.48 o 1165441134160 56.39/56.48 o 1161081096012 56.39/56.48 o 1156721057864 56.39/56.48 o 1156713048043 56.39/56.48 o 1156713048042 56.39/56.48 o 1156710378086 56.39/56.48 o 1156707708130 56.39/56.48 o 1156705038174 56.39/56.48 o 1156702368218 56.39/56.48 o 1156699698263 56.39/56.48 o 1156699698262 56.39/56.48 o 1156697028308 56.39/56.48 o 1156694358352 56.39/56.48 o 1152334320205 56.39/56.48 o 1147971612101 56.39/56.48 o 1143608903997 56.39/56.48 o 1139246195893 56.39/56.48 o 1139243525937 56.39/56.48 o 1134880817833 56.39/56.48 o 1130520779686 56.39/56.48 o 1126158071582 56.39/56.48 o 1121795363478 56.39/56.48 o 1121792693522 56.39/56.48 o 1117429985418 56.39/56.48 o 1108707239166 56.39/56.48 o 1108704569210 56.39/56.48 o 1099981822958 56.39/56.48 o 1095619114854 56.39/56.48 o 1095619114852 56.39/56.48 o 1091256406748 56.39/56.48 o 1086893698644 56.39/56.48 o 1082530990541 56.39/56.48 o 1078168282437 56.39/56.48 o 1073805574333 56.39/56.48 o 1069442866229 56.39/56.48 o 1065080158125 56.39/56.48 o 1060717450021 56.39/56.48 o 1056354741917 56.39/56.48 o 1051992033813 56.39/56.48 o 1047637335577 56.39/56.48 o 1047634665621 56.39/56.48 o 1043271957517 56.39/56.48 o 1038909249413 56.39/56.48 o 1038906579457 56.39/56.48 o 1038903909502 56.39/56.48 o 1034541201398 56.39/56.48 o 1030178493295 56.39/56.48 o 1030175823339 56.39/56.48 o 1025813115235 56.39/56.48 o 1021450407131 56.39/56.48 o 1017087699027 56.39/56.48 o 1012724990923 56.39/56.48 o 1008362282819 56.39/56.48 o 1003999574715 56.39/56.48 o 999636866611 56.39/56.48 o 995274158511 56.39/56.48 o 995271488555 56.39/56.48 o 990908780451 56.39/56.48 o 986546072347 56.39/56.48 o 982183364243 56.39/56.48 o 977820656139 56.39/56.48 o 973457948035 56.39/56.48 o 969095239933 56.39/56.48 o 960372493681 56.39/56.48 o 956009785577 56.39/56.48 o 951647077473 56.39/56.48 o 947284369369 56.39/56.48 o 942921661265 56.39/56.48 o 938558953165 56.39/56.48 o 934190905160 56.39/56.48 o 929828197056 56.39/56.48 o 925465488952 56.39/56.48 o 921102780848 56.39/56.48 o 916740072744 56.39/56.48 o 912380034606 56.39/56.48 o 908017326502 56.39/56.48 o 903654618398 56.39/56.48 o 899291910294 56.39/56.48 o 894929202190 56.39/56.48 o 890566494086 56.39/56.48 o 886203785982 56.39/56.48 o 881841077878 56.39/56.48 o 877478369774 56.39/56.48 o 873115661670 56.39/56.48 o 868752953566 56.39/56.48 o 864390245462 56.39/56.48 o 860027537358 56.39/56.48 o 855664829254 56.39/56.48 o 851302121150 56.39/56.48 o 846939413047 56.39/56.48 o 842576704943 56.39/56.48 o 838213996839 56.39/56.48 o 833851288735 56.39/56.48 o 833848618779 56.39/56.48 o 829485910675 56.39/56.48 o 829485910674 56.39/56.48 o 825123202570 56.39/56.48 o 820760494466 56.39/56.48 o 816397786362 56.39/56.48 o 812035078258 56.39/56.48 o 807672370154 56.39/56.48 o 803309662050 56.39/56.48 o 803306992094 56.39/56.48 o 798944283990 56.39/56.48 o 794581575886 56.39/56.48 o 794578905930 56.39/56.48 o 794576235975 56.39/56.48 o 790218867783 56.39/56.48 o 785858829635 56.39/56.48 o 785856159679 56.39/56.48 o 785853489724 56.39/56.48 o 781493451576 56.39/56.48 o 777133413428 56.39/56.48 o 777133413427 56.39/56.48 o 777130743471 56.39/56.48 o 777130743470 56.39/56.48 o 772768035366 56.39/56.48 o 772768035365 56.39/56.48 o 768405327261 56.39/56.48 o 768399987349 56.39/56.48 o 768397317393 56.39/56.48 o 768397317392 56.39/56.48 o 764034609288 56.39/56.48 o 764031939332 56.39/56.48 o 755306523124 56.39/56.48 o 750946484976 56.39/56.48 o 746586446828 56.39/56.48 o 742226408680 56.39/56.48 o 742223738724 56.39/56.48 o 737861030620 56.39/56.48 o 737858360671 56.39/56.48 o 733495652568 56.39/56.48 o 729132944464 56.39/56.48 o 724770236363 56.39/56.48 o 711682112051 56.39/56.48 o 707319403947 56.39/56.48 o 707319403946 56.39/56.48 o 702956695842 56.39/56.48 o 698593987738 56.39/56.48 o 698593987737 56.39/56.48 o 694231279633 56.39/56.48 o 689868571529 56.39/56.48 o 689865901573 56.39/56.48 o 685503193469 56.39/56.48 o 681140485365 56.39/56.48 o 676777777261 56.39/56.48 o 672415069157 56.39/56.48 o 672415069156 56.39/56.48 o 668052361052 56.39/56.48 o 663689652948 56.39/56.48 o 659332284756 56.39/56.48 o 654969576652 56.39/56.48 o 650606868548 56.39/56.48 o 650606868547 56.39/56.48 o 650604198591 56.39/56.48 o 650604198590 56.39/56.48 o 646238820530 56.39/56.48 o 641878782382 56.39/56.48 o 637518744234 56.39/56.48 o 628798667939 56.39/56.48 o 628795997983 56.39/56.48 o 624433289879 56.39/56.48 o 620073251733 56.39/56.48 o 620065241869 56.39/56.48 o 620062571919 56.39/56.48 o 620062571918 56.39/56.48 o 615699863814 56.39/56.48 o 611337155710 56.39/56.48 o 606974447606 56.39/56.48 o 602611739502 89.10/89.18 o 598249031398 89.10/89.18 o 593886323294 89.10/89.18 o 589526285146 89.10/89.18 o 585179596774 89.10/89.18 o 585176926819 89.10/89.18 o 585174256864 89.10/89.18 o 585171586909 89.10/89.18 o 585168916954 89.10/89.18 o 585166246999 89.10/89.18 o 585163577043 89.10/89.18 o 580803538895 89.10/89.18 o 580803538894 89.10/89.18 o 576446170701 89.10/89.18 o 576446170700 89.10/89.18 o 576443500745 89.10/89.18 o 576440830789 89.10/89.18 o 572078122686 89.10/89.18 o 572078122685 89.10/89.18 o 567715414581 89.10/89.18 o 567715414580 89.10/89.18 o 558989998372 89.10/89.18 o 558987328416 89.10/89.18 o 554624620313 89.10/89.18 o 554621950357 89.10/89.18 o 545933913539 89.10/89.18 o 545931243583 89.10/89.18 o 545928573628 89.10/89.18 o 541568535479 89.10/89.18 o 541565865524 89.10/89.18 o 537203157420 89.10/89.18 o 532840449316 89.10/89.18 o 528477741212 89.10/89.18 o 524115033108 89.10/89.18 o 519757664917 89.10/89.18 o 519757664916 89.10/89.18 o 519754994960 89.10/89.18 o 515392286856 89.10/89.18 o 511037588620 89.10/89.18 o 511034918665 89.10/89.18 o 511032248709 89.10/89.18 o 511032248708 89.10/89.18 o 506674880515 89.10/89.18 o 506672210560 89.10/89.18 o 502309502458 89.10/89.18 o 497946794354 89.10/89.18 o 493584086250 89.10/89.18 o 489221378146 89.10/89.18 o 484858670042 89.10/89.18 o 480495961938 89.10/89.18 o 476133253834 89.10/89.18 o 471770545730 89.10/89.18 o 467407837626 89.10/89.18 o 463063819217 89.10/89.18 o 463061149261 89.10/89.18 o 463061149260 89.10/89.18 o 458701111112 89.10/89.18 o 454341072964 89.10/89.18 o 449981034816 89.10/89.18 o 445618326712 89.10/89.18 o 441258288564 89.10/89.18 o 436895580465 89.10/89.18 o 432548892098 89.10/89.18 o 432546222142 89.10/89.18 o 432543552186 89.10/89.18 o 432540882230 89.10/89.18 o 432540882228 89.10/89.18 o 432538212273 89.10/89.18 o 428199533771 89.10/89.18 o 428199533770 89.10/89.18 o 428196863815 89.10/89.18 o 428194193860 89.10/89.18 o 428191523905 89.10/89.18 o 428188853950 89.10/89.18 o 423855515360 89.10/89.18 o 423842165580 89.10/89.18 o 423839495625 89.10/89.18 o 423836825671 89.10/89.18 o 423836825670 89.10/89.18 o 423836825668 89.10/89.18 o 423834155713 89.10/89.18 o 423831485758 89.10/89.18 o 423831485757 89.10/89.18 o 423828815802 89.10/89.18 o 423826145846 89.10/89.18 o 423823475890 89.10/89.18 o 419490137298 89.10/89.18 o 419487467341 89.10/89.18 o 419487467340 89.10/89.18 o 419484797386 89.10/89.18 o 419484797385 89.10/89.18 o 419482127430 89.10/89.18 o 419479457476 89.10/89.18 o 419479457475 89.10/89.18 o 419476787520 89.10/89.18 o 419474117565 89.10/89.18 o 419468777654 89.10/89.18 o 419468777653 89.10/89.18 o 419466107698 89.10/89.18 o 419463437742 89.10/89.18 o 419463437741 89.10/89.18 o 419460767787 89.10/89.18 o 419460767786 89.10/89.18 o 419458097830 89.10/89.18 o 415098059682 89.10/89.18 o 410743361446 89.10/89.18 o 410743361445 89.10/89.18 o 410743361444 89.10/89.18 o 410740691489 89.10/89.18 o 410738021535 89.10/89.18 o 410738021534 89.10/89.18 o 406402012985 89.10/89.18 o 406399343028 89.10/89.18 o 406396673073 89.10/89.18 o 406394003118 89.10/89.18 o 406391333163 89.10/89.18 o 406388663208 89.10/89.18 o 406388663207 89.10/89.18 o 406385993252 89.10/89.18 o 406383323297 89.10/89.18 o 406383323296 89.10/89.18 o 406380653342 89.10/89.18 o 406380653341 89.10/89.18 o 406377983386 89.10/89.18 o 402041974838 89.10/89.18 o 402039304883 89.10/89.18 o 402036634929 89.10/89.18 o 402036634928 89.10/89.18 o 402033964974 89.10/89.18 o 402033964973 89.10/89.18 o 402031295018 89.10/89.18 o 402031295017 89.10/89.18 o 402031295015 89.10/89.18 o 402028625061 89.10/89.18 o 402028625060 89.10/89.18 o 402025955105 89.10/89.18 o 402025955103 89.10/89.18 o 402023285149 89.10/89.18 o 402023285148 89.10/89.18 o 402020615193 89.10/89.18 o 402017945238 89.10/89.18 o 402015275282 89.10/89.18 o 393316558631 89.10/89.18 o 393316558630 89.10/89.18 o 393313888674 89.10/89.18 o 393311218717 89.10/89.18 o 393305878805 89.10/89.18 o 393303208850 89.10/89.18 o 393300538895 89.10/89.18 o 393297868940 89.10/89.18 o 393295198984 89.10/89.18 o 393292529029 89.10/89.18 o 393289859074 89.10/89.18 o 384564442866 89.10/89.18 o 384561772910 89.10/89.18 o 384559102954 89.10/89.18 o 384556432998 89.10/89.18 o 384553763043 89.10/89.18 o 384551093088 89.10/89.18 o 384551093087 89.10/89.18 o 380191054940 89.10/89.18 o 380191054939 89.10/89.18 o 375836356701 89.10/89.18 o 375833686747 89.10/89.18 o 375833686746 89.10/89.18 o 375831016791 89.10/89.18 o 375831016790 89.10/89.18 o 371473648596 89.10/89.18 o 371473648595 89.10/89.18 o 371470978640 89.10/89.18 o 371468308685 89.10/89.18 o 367105600582 89.10/89.18 o 367105600581 89.10/89.18 o 362745562434 89.10/89.18 o 362742892477 89.10/89.18 o 362742892476 89.10/89.18 o 362740222522 89.10/89.18 o 362740222521 89.10/89.18 o 358404213970 89.10/89.18 o 358401544016 89.10/89.18 o 358401544015 89.10/89.18 o 358398874060 89.10/89.18 o 358396204105 89.10/89.18 o 358393534150 89.10/89.18 o 358390864195 89.10/89.18 o 358388194240 89.10/89.18 o 358388194239 89.10/89.18 o 358385524284 89.10/89.18 o 358382854329 89.10/89.18 o 358382854328 89.10/89.18 o 358380184373 89.10/89.18 o 354022816181 89.10/89.18 o 354017476269 89.10/89.18 o 349657438121 89.10/89.18 o 349654768165 89.10/89.18 o 345294730017 89.10/89.18 o 340934691870 89.10/89.18 o 340934691869 89.10/89.18 o 336577323676 89.10/89.18 o 332249324995 89.10/89.18 o 332249324994 89.10/89.18 o 332243985081 89.10/89.18 o 332243985080 89.10/89.18 o 332241315125 89.10/89.18 o 332238645170 89.10/89.18 o 332235975215 89.10/89.18 o 332233305260 89.10/89.18 o 332230635305 89.10/89.18 o 332227965350 89.10/89.18 o 332225295395 89.10/89.18 o 332222625439 89.10/89.18 o 332219955483 89.10/89.18 o 332217285528 89.10/89.18 o 323494539276 89.10/89.18 o 323491869320 89.10/89.18 o 323489199364 89.10/89.18 o 319150520858 89.10/89.18 o 319147850902 89.10/89.18 o 319145180947 89.10/89.18 o 319142510992 89.10/89.18 o 319139841037 89.10/89.18 o 319137171082 89.10/89.18 o 319134501127 89.10/89.18 o 319131831172 89.10/89.18 o 319129161216 89.10/89.18 o 314771793024 89.10/89.18 o 314766453112 89.10/89.18 o 310403745009 89.10/89.18 o 306041036905 89.10/89.18 o 306041036904 89.10/89.18 o 306038366949 89.10/89.18 o 301675658845 89.10/89.18 o 301675658844 89.10/89.18 o 297318290652 89.10/89.18 o 297315620696 89.10/89.18 o 292955582548 89.10/89.18 o 288595544401 89.10/89.18 o 288592874445 89.10/89.18 o 284230166341 89.10/89.18 o 279867458237 89.10/89.18 o 275504750133 89.10/89.18 o 271142042031 89.10/89.18 o 271139372078 89.10/89.18 o 271136702122 89.10/89.18 o 271136702121 89.10/89.18 o 271134032165 89.10/89.18 o 271134032164 89.10/89.18 o 262411285913 89.10/89.18 o 262408615957 89.10/89.18 o 258045907853 89.10/89.18 o 253688539661 89.10/89.18 o 253685869705 89.10/89.18 o 249323161602 89.10/89.18 o 249323161601 89.10/89.18 o 244971133319 89.10/89.18 o 244968463364 89.10/89.18 o 244965793409 89.10/89.18 o 244963123453 89.10/89.18 o 240608425217 89.10/89.18 o 236248387069 89.10/89.18 o 231885678967 89.10/89.18 o 227525640819 89.10/89.18 o 223165602671 89.10/89.18 o 218805564524 89.10/89.18 o 214453536242 89.10/89.18 o 214453536241 89.10/89.18 o 214453536240 89.10/89.18 o 214453536239 89.10/89.18 o 214453536238 89.10/89.18 o 210090828134 89.10/89.18 o 205728120030 89.10/89.18 o 201365411926 89.10/89.18 o 197005373778 89.10/89.18 o 192642665674 120.30/120.37 o 192642665673 120.30/120.37 o 192642665672 120.30/120.37 o 188287967436 120.30/120.37 o 188282627524 120.30/120.37 o 188279957570 120.30/120.37 o 188277287616 120.30/120.37 o 188274617664 120.30/120.37 o 188274617663 120.30/120.37 o 183930599242 120.30/120.37 o 183927929287 120.30/120.37 o 183925259332 120.30/120.37 o 183925259331 120.30/120.37 o 183922589376 120.30/120.37 o 183919919421 120.30/120.37 o 183917249467 120.30/120.37 o 183914579513 120.30/120.37 o 183911909559 120.30/120.37 o 179573231058 120.30/120.37 o 179570561102 120.30/120.37 o 179570561101 120.30/120.37 o 179570561100 120.30/120.37 o 179567891146 120.30/120.37 o 179565221191 120.30/120.37 o 179562551235 120.30/120.37 o 179559881279 120.30/120.37 o 179557211323 120.30/120.37 o 179554541366 120.30/120.37 o 179551871411 120.30/120.37 o 175231882592 120.30/120.37 o 175231882591 120.30/120.37 o 175231882590 120.30/120.37 o 175229212634 120.30/120.37 o 175226542678 120.30/120.37 o 175223872723 120.30/120.37 o 175223872722 120.30/120.37 o 175221202767 120.30/120.37 o 175218532812 120.30/120.37 o 175215862857 120.30/120.37 o 175213192902 120.30/120.37 o 175207852991 120.30/120.37 o 175205183036 120.30/120.37 o 175202513081 120.30/120.37 o 175199843126 120.30/120.37 o 175199843125 120.30/120.37 o 175197173171 120.30/120.37 o 175197173170 120.30/120.37 o 175194503216 120.30/120.37 o 175191833263 120.30/120.37 o 170845144888 120.30/120.37 o 170842474933 120.30/120.37 o 170842474932 120.30/120.37 o 170839804977 120.30/120.37 o 170839804976 120.30/120.37 o 170837135023 120.30/120.37 o 170837135022 120.30/120.37 o 170834465067 120.30/120.37 o 170834465066 120.30/120.37 o 170831795113 120.30/120.37 o 170831795112 120.30/120.37 o 170829125159 120.30/120.37 o 166482436783 120.30/120.37 o 166479766828 120.30/120.37 o 166477096873 120.30/120.37 o 166474426919 120.30/120.37 o 166471756965 120.30/120.37 o 166471756964 120.30/120.37 o 166469087011 120.30/120.37 o 162130408504 120.30/120.37 o 162127738550 120.30/120.37 o 162125068595 120.30/120.37 o 162122398640 120.30/120.37 o 162119728685 120.30/120.37 o 162114388775 120.30/120.37 o 162114388774 120.30/120.37 o 162114388773 120.30/120.37 o 162111718820 120.30/120.37 o 162111718819 120.30/120.37 o 162111718818 120.30/120.37 o 162109048864 120.30/120.37 o 162109048863 120.30/120.37 o 157765030440 120.30/120.37 o 157762360485 120.30/120.37 o 157759690531 120.30/120.37 o 157757020576 120.30/120.37 o 157754350621 120.30/120.37 o 157751680667 120.30/120.37 o 157749010712 120.30/120.37 o 157746340759 120.30/120.37 o 153396982434 120.30/120.37 o 153396982433 120.30/120.37 o 153394312477 120.30/120.37 o 153394312476 120.30/120.37 o 153388972565 120.30/120.37 o 153388972564 120.30/120.37 o 153388972563 120.30/120.37 o 153386302608 120.30/120.37 o 153383632655 120.30/120.37 o 149058303925 120.30/120.37 o 149055633970 120.30/120.37 o 149052964015 120.30/120.37 o 149050294060 120.30/120.37 o 149047624105 120.30/120.37 o 149044954150 120.30/120.37 o 149042284195 120.30/120.37 o 149042284194 120.30/120.37 o 149039614239 120.30/120.37 o 149034274330 120.30/120.37 o 149034274329 120.30/120.37 o 149034274328 120.30/120.37 o 149031604373 120.30/120.37 o 149028934421 120.30/120.37 o 149028934420 120.30/120.37 o 149028934419 120.30/120.37 o 144700935730 120.30/120.37 o 144698265775 120.30/120.37 o 144695595820 120.30/120.37 o 144692925864 120.30/120.37 o 144690255909 120.30/120.37 o 144687585954 120.30/120.37 o 144684915999 120.30/120.37 o 144682246044 120.30/120.37 o 144676906133 120.30/120.37 o 144674236181 120.30/120.37 o 144674236180 120.30/120.37 o 144674236179 120.30/120.37 o 144674236178 120.30/120.37 o 144671566225 120.30/120.37 o 144671566224 120.30/120.37 o 144668896272 120.30/120.37 o 144668896271 120.30/120.37 o 140322207896 120.30/120.37 o 140319537941 120.30/120.37 o 140319537940 120.30/120.37 o 140316867986 120.30/120.37 o 140316867985 120.30/120.37 o 140314198032 120.30/120.37 o 140314198031 120.30/120.37 o 140311528076 120.30/120.37 o 140308858123 120.30/120.37 o 140308858122 120.30/120.37 o 140306188169 120.30/120.37 o 140306188168 120.30/120.37 o 140306188165 120.30/120.37 o 140303518212 120.30/120.37 o 135956829840 120.30/120.37 o 135954159885 120.30/120.37 o 135951489931 120.30/120.37 o 135951489930 120.30/120.37 o 135946150019 120.30/120.37 o 135943480065 120.30/120.37 o 135943480064 120.30/120.37 o 135943480063 120.30/120.37 o 135940810110 120.30/120.37 o 135940810109 120.30/120.37 o 135938140153 120.30/120.37 o 135938140152 120.30/120.37 o 135935470197 120.30/120.37 o 131612811416 120.30/120.37 o 131610141461 120.30/120.37 o 131607471506 120.30/120.37 o 131604801551 120.30/120.37 o 131602131596 120.30/120.37 o 131599461642 120.30/120.37 o 131596791687 120.30/120.37 o 131594121732 120.30/120.37 o 131591451777 120.30/120.37 o 131588781822 120.30/120.37 o 131586111869 120.30/120.37 o 131580771958 120.30/120.37 o 131578102004 120.30/120.37 o 131575432050 120.30/120.37 o 131575432049 120.30/120.37 o 131572762093 120.30/120.37 o 131572762092 120.30/120.37 o 127210053990 120.30/120.37 o 127210053989 120.30/120.37 o 127210053988 120.30/120.37 o 127210053987 120.30/120.37 o 127207384031 120.30/120.37 o 127207384030 120.30/120.37 o 122887395212 120.30/120.37 o 122887395211 120.30/120.37 o 122887395210 120.30/120.37 o 122887395209 120.30/120.37 o 122884725254 120.30/120.37 o 122882055298 120.30/120.37 o 122882055297 120.30/120.37 o 122879385343 120.30/120.37 o 122876715389 120.30/120.37 o 122874045434 120.30/120.37 o 122871375479 120.30/120.37 o 122871375478 120.30/120.37 o 122868705523 120.30/120.37 o 122866035568 120.30/120.37 o 122863365613 120.30/120.37 o 122860695658 120.30/120.37 o 122858025703 120.30/120.37 o 122855355748 120.30/120.37 o 122852685792 120.30/120.37 o 122850015837 120.30/120.37 o 122847345883 120.30/120.37 o 122844675928 120.30/120.37 o 122842005972 120.30/120.37 o 122839336020 120.30/120.37 o 122839336019 120.30/120.37 o 122839336018 120.30/120.37 o 122839336017 120.30/120.37 o 122839336016 120.30/120.37 o 122836666060 120.30/120.37 o 118481967823 120.30/120.37 o 118479297867 120.30/120.37 o 118473957956 120.30/120.37 o 118471288003 120.30/120.37 o 118471288002 120.30/120.37 o 118471288001 120.30/120.37 o 118471288000 120.30/120.37 o 118471287998 120.30/120.37 o 118468618042 120.30/120.37 o 118465948091 120.30/120.37 o 118465948090 120.30/120.37 o 118465948089 120.30/120.37 o 118465948088 120.30/120.37 o 118463278132 120.30/120.37 o 118463278131 120.30/120.37 o 118460608179 120.30/120.37 o 118460608178 120.30/120.37 o 118460608177 120.30/120.37 o 118460608176 120.30/120.37 o 118457938221 120.30/120.37 o 118455268268 120.30/120.37 o 118455268267 120.30/120.37 o 118455268266 120.30/120.37 o 118455268265 120.30/120.37 o 118452598309 120.30/120.37 o 118452598308 120.30/120.37 o 118449928356 120.30/120.37 o 118449928355 120.30/120.37 o 118449928354 120.30/120.37 o 118449928353 120.30/120.37 o 118447258400 120.30/120.37 o 118447258399 120.30/120.37 o 118447258398 120.30/120.37 o 118447258397 120.30/120.37 o 118444588441 120.30/120.37 o 118444588440 120.30/120.37 o 118441918484 120.30/120.37 o 118441918483 120.30/120.37 o 118439248532 120.30/120.37 o 118439248531 120.30/120.37 o 118439248530 120.30/120.37 o 118439248529 120.30/120.37 o 118439248528 120.30/120.37 o 118439248527 120.30/120.37 o 118436578573 120.30/120.37 o 118436578572 120.30/120.37 o 118436578571 120.30/120.37 o 118436578570 120.30/120.37 o 114076540428 120.30/120.37 o 114076540427 120.30/120.37 o 114076540426 120.30/120.37 o 114076540424 120.30/120.37 o 114076540423 120.30/120.37 o 114076540422 120.30/120.37 o 114071200509 120.30/120.37 o 109711162366 120.30/120.37 o 109711162364 120.30/120.37 o 109711162363 120.30/120.37 o 109711162362 120.30/120.37 o 109711162361 120.30/120.37 o 109708492411 120.30/120.37 o 109708492410 120.30/120.37 o 109708492409 120.30/120.37 o 109708492408 152.39/152.49 o 109708492406 152.39/152.49 o 105463262361 152.39/152.49 o 105463262360 152.39/152.49 o 105463262359 152.39/152.49 o 105463262358 152.39/152.49 o 105463262357 152.39/152.49 o 105463262356 152.39/152.49 o 105463262355 152.39/152.49 o 105460592399 152.39/152.49 o 105457922444 152.39/152.49 o 105455252489 152.39/152.49 o 105452582534 152.39/152.49 o 105449912578 152.39/152.49 o 105447242623 152.39/152.49 o 105444572672 152.39/152.49 o 105444572671 152.39/152.49 o 105444572670 152.39/152.49 o 105444572669 152.39/152.49 o 105444572668 152.39/152.49 o 105441902717 152.39/152.49 o 105441902716 152.39/152.49 o 105439232760 152.39/152.49 o 105439232759 152.39/152.49 o 105439232758 152.39/152.49 o 105439232757 152.39/152.49 o 105436562802 152.39/152.49 o 105433892850 152.39/152.49 o 105433892849 152.39/152.49 o 105433892848 152.39/152.49 o 105433892847 152.39/152.49 o 105431222897 152.39/152.49 o 105431222896 152.39/152.49 o 105431222895 152.39/152.49 o 105431222894 152.39/152.49 o 105431222893 152.39/152.49 o 105431222892 152.39/152.49 o 105428552941 152.39/152.49 o 105428552940 152.39/152.49 o 105428552939 152.39/152.49 o 105428552938 152.39/152.49 o 105428552937 152.39/152.49 o 105425882987 152.39/152.49 o 105425882986 152.39/152.49 o 105425882985 152.39/152.49 o 105425882984 152.39/152.49 o 105425882983 152.39/152.49 o 105425882982 152.39/152.49 o 105423213027 152.39/152.49 o 105420543072 152.39/152.49 o 105415203161 152.39/152.49 o 105415203160 152.39/152.49 o 105412533205 152.39/152.49 o 105412533204 152.39/152.49 o 105409863249 152.39/152.49 o 105409863248 152.39/152.49 o 105407193293 152.39/152.49 o 105404523343 152.39/152.49 o 105404523342 152.39/152.49 o 105404523341 152.39/152.49 o 105404523340 152.39/152.49 o 105404523339 152.39/152.49 o 105401853388 152.39/152.49 o 105401853387 152.39/152.49 o 105401853386 152.39/152.49 o 105401853385 152.39/152.49 o 105401853384 152.39/152.49 o 105399183433 152.39/152.49 o 105399183432 152.39/152.49 o 105399183431 152.39/152.49 o 105399183430 152.39/152.49 o 105399183429 152.39/152.49 o 105399183427 152.39/152.49 o 105396513478 152.39/152.49 o 105396513477 152.39/152.49 o 105396513476 152.39/152.49 o 105396513475 152.39/152.49 o 105396513474 152.39/152.49 o 105396513473 152.39/152.49 o 105396513472 152.39/152.49 o 105393843522 152.39/152.49 o 105393843521 152.39/152.49 o 105393843520 152.39/152.49 o 105393843519 152.39/152.49 o 105393843518 152.39/152.49 o 105393843517 152.39/152.49 o 105391173561 152.39/152.49 o 101095214339 152.39/152.49 o 101095214338 152.39/152.49 o 101095214337 152.39/152.49 o 101095214336 152.39/152.49 o 101095214335 152.39/152.49 o 101092544380 152.39/152.49 o 101089874425 152.39/152.49 o 101089874424 152.39/152.49 o 101087204469 152.39/152.49 o 101084534514 152.39/152.49 o 101081864559 152.39/152.49 o 101079194604 152.39/152.49 o 101076524649 152.39/152.49 o 101073854694 152.39/152.49 o 101071184741 152.39/152.49 o 101071184740 152.39/152.49 o 101071184739 152.39/152.49 o 101071184738 152.39/152.49 o 101068514782 152.39/152.49 o 101065844830 152.39/152.49 o 101065844829 152.39/152.49 o 101065844828 152.39/152.49 o 101065844827 152.39/152.49 o 101063174877 152.39/152.49 o 101063174876 152.39/152.49 o 101063174875 152.39/152.49 o 101063174873 152.39/152.49 o 101063174872 152.39/152.49 o 101060504921 152.39/152.49 o 101060504920 152.39/152.49 o 101060504919 152.39/152.49 o 101060504918 152.39/152.49 o 101060504917 152.39/152.49 o 101060504916 152.39/152.49 o 101057834961 152.39/152.49 o 101055165006 152.39/152.49 o 101055165005 152.39/152.49 o 101052495050 152.39/152.49 o 101052495049 152.39/152.49 o 101049825094 152.39/152.49 o 101047155139 152.39/152.49 o 101044485185 152.39/152.49 o 101041815230 152.39/152.49 o 101039145280 152.39/152.49 o 101039145279 152.39/152.49 o 101039145278 152.39/152.49 o 101039145277 152.39/152.49 o 101039145276 152.39/152.49 o 101039145275 152.39/152.49 o 101036475324 152.39/152.49 o 101036475323 152.39/152.49 o 101036475322 152.39/152.49 o 101036475321 152.39/152.49 o 101033805367 152.39/152.49 o 101031135413 152.39/152.49 o 96671097271 152.39/152.49 o 96671097270 152.39/152.49 o 96671097269 152.39/152.49 o 96671097268 152.39/152.49 o 96671097267 152.39/152.49 o 96671097266 152.39/152.49 o 96671097265 152.39/152.49 o 92311059116 152.39/152.49 o 92308389161 152.39/152.49 o 92308389160 152.39/152.49 o 92308389159 152.39/152.49 o 92305719209 152.39/152.49 o 92305719208 152.39/152.49 o 92305719207 152.39/152.49 o 92305719206 152.39/152.49 o 92305719205 152.39/152.49 o 92303049250 152.39/152.49 o 92297709338 152.39/152.49 o 92295039382 152.39/152.49 o 92292369426 152.39/152.49 o 92289699470 152.39/152.49 o 87932331278 152.39/152.49 o 87932331277 152.39/152.49 o 83569623173 152.39/152.49 o 83564283261 152.39/152.49 o 79212254981 152.39/152.49 o 74852216833 152.39/152.49 o 74849546877 152.39/152.49 o 70534897975 152.39/152.49 o 70532228019 152.39/152.49 o 70526888107 152.39/152.49 o 70524218152 152.39/152.49 o 70521548197 152.39/152.49 o 70518878242 152.39/152.49 o 70516208287 152.39/152.49 o 70516208286 152.39/152.49 o 70513538331 152.39/152.49 o 70513538330 152.39/152.49 o 70510868375 152.39/152.49 o 70508198419 152.39/152.49 o 70508198418 152.39/152.49 o 70505528463 152.39/152.49 o 70502858509 152.39/152.49 o 70500188553 152.39/152.49 o 66148160272 152.39/152.49 o 66148160271 152.39/152.49 o 66148160270 152.39/152.49 o 66145490315 152.39/152.49 o 66145490314 152.39/152.49 o 66142820360 152.39/152.49 o 66142820359 152.39/152.49 o 66140150405 152.39/152.49 o 61796131994 152.39/152.49 o 61796131993 152.39/152.49 o 61796131992 152.39/152.49 o 61793462036 152.39/152.49 o 61793462035 152.39/152.49 o 61790792080 152.39/152.49 o 61790792079 152.39/152.49 o 61788122124 152.39/152.49 o 61788122123 152.39/152.49 o 61788122122 152.39/152.49 o 61788122121 152.39/152.49 o 61788122120 152.39/152.49 o 57428083972 152.39/152.49 o 53076055691 152.39/152.49 o 53073385735 152.39/152.49 o 53068045824 152.39/152.49 o 53068045823 152.39/152.49 o 53065375867 152.39/152.49 o 53065375866 152.39/152.49 o 53065375865 152.39/152.49 o 53062705910 152.39/152.49 o 53060035957 152.39/152.49 o 53060035956 152.39/152.49 o 53060035955 152.39/152.49 o 53060035954 152.39/152.49 o 48710677634 152.39/152.49 o 48710677633 152.39/152.49 o 48710677632 152.39/152.49 o 48708007676 152.39/152.49 o 48708007675 152.39/152.49 o 48708007674 152.39/152.49 o 48705337718 152.39/152.49 o 48699997806 152.39/152.49 o 44433408098 152.39/152.49 o 44430738143 152.39/152.49 o 44428068188 152.39/152.49 o 44425398233 152.39/152.49 o 44422728278 152.39/152.49 o 44420058323 152.39/152.49 o 44417388368 152.39/152.49 o 44414718412 152.39/152.49 o 44412048456 152.39/152.49 o 44409378502 152.39/152.49 o 44406708548 152.39/152.49 o 44406708547 152.39/152.49 o 44404038593 152.39/152.49 o 44404038592 152.39/152.49 o 44401368638 152.39/152.49 o 44401368637 152.39/152.49 o 44401368636 152.39/152.49 o 44398698682 152.39/152.49 o 44398698681 152.39/152.49 o 44396028727 152.39/152.49 o 44396028726 152.39/152.49 o 44396028725 152.39/152.49 o 44393358771 152.39/152.49 o 44393358770 152.39/152.49 o 44390688816 152.39/152.49 o 44390688815 152.39/152.49 o 44388018861 152.39/152.49 o 44388018860 152.39/152.49 o 44385348904 152.39/152.49 o 44385348903 152.39/152.49 o 44385348902 152.39/152.49 o 44382678948 152.39/152.49 o 44382678947 152.39/152.49 o 44380008992 152.39/152.49 o 44380008991 152.39/152.49 o 44380008990 152.39/152.49 o 44377339036 152.39/152.49 o 44377339035 152.39/152.49 o 44374669080 152.39/152.49 o 44374669079 152.39/152.49 o 44374669078 152.39/152.49 o 44371999124 152.39/152.49 o 44369329171 152.39/152.49 o 44369329170 152.39/152.49 o 44369329169 152.39/152.49 o 44366659214 152.39/152.49 o 44366659213 152.39/152.49 o 44363989260 152.39/152.49 o 44363989259 152.39/152.49 o 44363989258 152.39/152.49 o 44361319304 152.39/152.49 o 44361319303 152.39/152.49 o 44361319302 152.39/152.49 o 44358649348 152.39/152.49 o 44358649347 152.39/152.49 o 44355979392 186.80/186.85 o 44355979391 186.80/186.85 o 44355979390 186.80/186.85 o 44353309436 186.80/186.85 o 44353309435 186.80/186.85 o 44350639480 186.80/186.85 o 44350639479 186.80/186.85 o 44350639478 186.80/186.85 o 44350639477 186.80/186.85 o 44347969527 186.80/186.85 o 44347969526 186.80/186.85 o 44347969525 186.80/186.85 o 44347969524 186.80/186.85 o 44347969523 186.80/186.85 o 44345299572 186.80/186.85 o 44345299571 186.80/186.85 o 44345299570 186.80/186.85 o 44342629614 186.80/186.85 o 44342629613 186.80/186.85 o 44339959658 186.80/186.85 o 40049340343 186.80/186.85 o 40046670388 186.80/186.85 o 40044000433 186.80/186.85 o 40041330478 186.80/186.85 o 40038660523 186.80/186.85 o 40035990568 186.80/186.85 o 40033320614 186.80/186.85 o 40033320613 186.80/186.85 o 40030650662 186.80/186.85 o 40030650661 186.80/186.85 o 40030650660 186.80/186.85 o 40030650659 186.80/186.85 o 40030650658 186.80/186.85 o 40030650657 186.80/186.85 o 40027980708 186.80/186.85 o 40027980707 186.80/186.85 o 40027980706 186.80/186.85 o 40027980705 186.80/186.85 o 40027980704 186.80/186.85 o 40027980703 186.80/186.85 o 40027980702 186.80/186.85 o 40025310755 186.80/186.85 o 40025310754 186.80/186.85 o 40025310753 186.80/186.85 o 40025310752 186.80/186.85 o 40025310751 186.80/186.85 o 40025310750 186.80/186.85 o 40025310749 186.80/186.85 o 40025310748 186.80/186.85 o 40025310747 186.80/186.85 o 40022640797 186.80/186.85 o 40022640796 186.80/186.85 o 40022640795 186.80/186.85 o 40022640794 186.80/186.85 o 40022640793 186.80/186.85 o 40022640792 186.80/186.85 o 40022640791 186.80/186.85 o 40019970841 186.80/186.85 o 40019970840 186.80/186.85 o 40019970839 186.80/186.85 o 40019970838 186.80/186.85 o 40019970837 186.80/186.85 o 40019970836 186.80/186.85 o 40019970835 186.80/186.85 o 40017300888 186.80/186.85 o 40017300887 186.80/186.85 o 40017300886 186.80/186.85 o 40017300885 186.80/186.85 o 40017300884 186.80/186.85 o 40017300883 186.80/186.85 o 40017300882 186.80/186.85 o 40017300881 186.80/186.85 o 40017300880 186.80/186.85 o 40014630931 186.80/186.85 o 40014630930 186.80/186.85 o 40014630929 186.80/186.85 o 40014630928 186.80/186.85 o 40014630927 186.80/186.85 o 40014630926 186.80/186.85 o 40014630925 186.80/186.85 o 40011960975 186.80/186.85 o 40011960974 186.80/186.85 o 40011960973 186.80/186.85 o 40011960972 186.80/186.85 o 40011960971 186.80/186.85 o 40011960970 186.80/186.85 o 40009291023 186.80/186.85 o 40009291022 186.80/186.85 o 40009291021 186.80/186.85 o 40009291019 186.80/186.85 o 40009291018 186.80/186.85 o 40009291017 186.80/186.85 o 40009291016 186.80/186.85 o 40009291015 186.80/186.85 o 40009291014 186.80/186.85 o 40006621060 186.80/186.85 o 40006621059 186.80/186.85 o 40006621058 186.80/186.85 o 40003951103 186.80/186.85 o 40001281149 186.80/186.85 o 39998611201 186.80/186.85 o 39998611200 186.80/186.85 o 39998611199 186.80/186.85 o 39998611198 186.80/186.85 o 39998611197 186.80/186.85 o 39998611196 186.80/186.85 o 39998611195 186.80/186.85 o 39998611194 186.80/186.85 o 39998611193 186.80/186.85 o 39998611191 186.80/186.85 o 39995941244 186.80/186.85 o 39995941243 186.80/186.85 o 39995941242 186.80/186.85 o 39995941241 186.80/186.85 o 39995941240 186.80/186.85 o 39995941239 186.80/186.85 o 39995941238 186.80/186.85 o 39995941237 186.80/186.85 o 39995941236 186.80/186.85 o 39993271287 186.80/186.85 o 39993271286 186.80/186.85 o 39993271285 186.80/186.85 o 39993271284 186.80/186.85 o 39993271283 186.80/186.85 o 39993271282 186.80/186.85 o 39993271281 186.80/186.85 o 39990601332 186.80/186.85 o 39990601331 186.80/186.85 o 39990601330 186.80/186.85 o 39990601329 186.80/186.85 o 39990601328 186.80/186.85 o 39990601327 186.80/186.85 o 39987931378 186.80/186.85 o 39987931377 186.80/186.85 o 39987931376 186.80/186.85 o 39987931375 186.80/186.85 o 39987931374 186.80/186.85 o 39987931373 186.80/186.85 o 39987931372 186.80/186.85 o 39985261418 186.80/186.85 o 39982591464 186.80/186.85 o 39982591463 186.80/186.85 o 39982591462 186.80/186.85 o 39982591461 186.80/186.85 o 39979921515 186.80/186.85 o 39979921514 186.80/186.85 o 39979921513 186.80/186.85 o 39979921512 186.80/186.85 o 39979921511 186.80/186.85 o 39979921510 186.80/186.85 o 39979921509 186.80/186.85 o 39979921508 186.80/186.85 o 39979921507 186.80/186.85 o 39977251556 186.80/186.85 o 39977251555 186.80/186.85 o 39974581598 186.80/186.85 o 39974581597 186.80/186.85 o 39974581596 186.80/186.85 o 39971911646 186.80/186.85 o 39971911645 186.80/186.85 o 39971911644 186.80/186.85 o 39971911643 186.80/186.85 o 39971911642 186.80/186.85 o 39966571734 186.80/186.85 o 39966571733 186.80/186.85 o 39966571732 186.80/186.85 o 39966571731 186.80/186.85 o 39966571730 186.80/186.85 o 35606533583 186.80/186.85 o 35603863628 186.80/186.85 o 31243825480 186.80/186.85 o 26889127244 186.80/186.85 o 26886457288 186.80/186.85 o 26886457287 186.80/186.85 o 26883787337 186.80/186.85 o 26883787336 186.80/186.85 o 26883787335 186.80/186.85 o 26883787334 186.80/186.85 o 26883787333 186.80/186.85 o 26881117379 186.80/186.85 o 26881117378 186.80/186.85 o 26881117377 186.80/186.85 o 26881117376 186.80/186.85 o 26881117375 186.80/186.85 o 26878447420 186.80/186.85 o 26878447419 186.80/186.85 o 26875777464 186.80/186.85 o 26875777461 186.80/186.85 o 26875777460 186.80/186.85 o 26873107510 186.80/186.85 o 26873107509 186.80/186.85 o 26873107508 186.80/186.85 o 26873107507 186.80/186.85 o 26870437552 186.80/186.85 o 26870437551 186.80/186.85 o 26867767596 186.80/186.85 o 26865097642 186.80/186.85 o 26865097641 186.80/186.85 o 26865097640 186.80/186.85 o 26862427685 186.80/186.85 o 26859757730 186.80/186.85 o 26859757729 186.80/186.85 o 26859757728 186.80/186.85 o 26859757727 186.80/186.85 o 26857087772 186.80/186.85 o 22497049626 186.80/186.85 o 22497049625 186.80/186.85 o 22497049624 186.80/186.85 o 22497049623 186.80/186.85 o 22494379667 186.80/186.85 o 22494379666 186.80/186.85 o 22491709716 186.80/186.85 o 22491709715 186.80/186.85 o 22491709714 186.80/186.85 o 22491709713 186.80/186.85 o 22491709712 186.80/186.85 o 22491709711 186.80/186.85 o 22491709710 186.80/186.85 o 22491709709 186.80/186.85 o 22489039760 186.80/186.85 o 22489039759 186.80/186.85 o 22489039758 186.80/186.85 o 22489039757 186.80/186.85 o 22489039756 186.80/186.85 o 22489039755 186.80/186.85 o 22489039754 186.80/186.85 o 22489039753 186.80/186.85 o 22486369802 186.80/186.85 o 22486369801 186.80/186.85 o 22486369800 186.80/186.85 o 22486369799 186.80/186.85 o 22486369798 186.80/186.85 o 22486369797 186.80/186.85 o 22483699841 186.80/186.85 o 22483699840 186.80/186.85 o 22483699839 186.80/186.85 o 22483699838 186.80/186.85 o 22481029888 186.80/186.85 o 22481029887 186.80/186.85 o 22481029886 186.80/186.85 o 22481029885 186.80/186.85 o 22481029883 186.80/186.85 o 22478359931 186.80/186.85 o 22478359930 186.80/186.85 o 22475689974 186.80/186.85 o 22475689973 186.80/186.85 o 22475689972 186.80/186.85 o 22475689971 186.80/186.85 o 22475689970 186.80/186.85 o 22475689969 186.80/186.85 o 22473020016 186.80/186.85 o 22473020015 186.80/186.85 o 18110311912 186.80/186.85 o 18110311911 186.80/186.85 o 18110311910 186.80/186.85 o 18107641954 186.80/186.85 o 18107641953 186.80/186.85 o 18107641952 186.80/186.85 o 18104971999 186.80/186.85 o 18104971998 186.80/186.85 o 18104971997 186.80/186.85 o 18104971996 186.80/186.85 o 18104971995 186.80/186.85 o 18102302043 186.80/186.85 o 18102302042 186.80/186.85 o 18102302041 186.80/186.85 o 18102302040 186.80/186.85 o 18102302039 186.80/186.85 o 18099632085 186.80/186.85 o 18099632084 186.80/186.85 o 18099632083 186.80/186.85 o 18096962130 186.80/186.85 o 18096962129 186.80/186.85 o 18096962128 186.80/186.85 o 18094292177 186.80/186.85 o 18094292176 186.80/186.85 o 18094292175 186.80/186.85 o 18094292174 186.80/186.85 o 18094292173 186.80/186.85 o 18094292172 186.80/186.85 o 18094292171 186.80/186.85 o 18094292170 186.80/186.85 o 18091622218 186.80/186.85 o 18091622217 186.80/186.85 o 18091622216 186.80/186.85 o 18088952264 186.80/186.85 o 18088952263 186.80/186.85 o 18088952262 186.80/186.85 o 18088952261 186.80/186.85 o 18088952260 186.80/186.85 o 18086282305 186.80/186.85 o 18086282304 186.80/186.85 o 18083612349 186.80/186.85 o 18083612348 231.90/231.99 o 18080942393 231.90/231.99 o 18080942392 231.90/231.99 o 18078272437 231.90/231.99 o 18078272436 231.90/231.99 o 18078272435 231.90/231.99 o 18078272434 231.90/231.99 o 18078272433 231.90/231.99 o 18075602481 231.90/231.99 o 18075602480 231.90/231.99 o 18067592610 231.90/231.99 o 18064922656 231.90/231.99 o 18064922655 231.90/231.99 o 18062252701 231.90/231.99 o 18062252700 231.90/231.99 o 18059582746 231.90/231.99 o 18059582745 231.90/231.99 o 18059582744 231.90/231.99 o 18059582743 231.90/231.99 o 18056912790 231.90/231.99 o 18056912789 231.90/231.99 o 18056912788 231.90/231.99 o 18056912787 231.90/231.99 o 18054242834 231.90/231.99 o 18054242833 231.90/231.99 o 18054242832 231.90/231.99 o 18054242831 231.90/231.99 o 18054242830 231.90/231.99 o 18054242829 231.90/231.99 o 18054242828 231.90/231.99 o 18054242827 231.90/231.99 o 18054242826 231.90/231.99 o 18054242825 231.90/231.99 o 18054242824 231.90/231.99 o 18054242823 231.90/231.99 o 18051572875 231.90/231.99 o 18051572874 231.90/231.99 o 18051572873 231.90/231.99 o 18051572872 231.90/231.99 o 18048902917 231.90/231.99 o 18048902916 231.90/231.99 o 18048902915 231.90/231.99 o 13707554461 231.90/231.99 o 13704884505 231.90/231.99 o 13702214550 231.90/231.99 o 13702214549 231.90/231.99 o 13702214548 231.90/231.99 o 13699544596 231.90/231.99 o 13699544595 231.90/231.99 o 13699544594 231.90/231.99 o 13699544593 231.90/231.99 o 13699544592 231.90/231.99 o 13699544591 231.90/231.99 o 13699544590 231.90/231.99 o 13699544589 231.90/231.99 o 13699544588 231.90/231.99 o 13699544587 231.90/231.99 o 13699544586 231.90/231.99 o 13699544585 231.90/231.99 o 13699544584 231.90/231.99 o 13699544583 231.90/231.99 o 13696874632 231.90/231.99 o 13696874631 231.90/231.99 o 13696874630 231.90/231.99 o 13696874629 231.90/231.99 o 13696874628 231.90/231.99 o 13696874627 231.90/231.99 o 13696874626 231.90/231.99 o 13694204678 231.90/231.99 o 13694204677 231.90/231.99 o 13694204676 231.90/231.99 o 13694204675 231.90/231.99 o 13694204674 231.90/231.99 o 13694204673 231.90/231.99 o 13694204672 231.90/231.99 o 9456984471 231.90/231.99 o 9454314515 231.90/231.99 o 9451644561 231.90/231.99 o 9448974605 231.90/231.99 o 9446304650 231.90/231.99 o 9443634696 231.90/231.99 o 9440964741 231.90/231.99 o 9438294786 231.90/231.99 o 9438294785 231.90/231.99 o 9435624831 231.90/231.99 o 9435624830 231.90/231.99 o 9432954875 231.90/231.99 o 9432954873 231.90/231.99 o 9430284919 231.90/231.99 o 9430284918 231.90/231.99 o 9427614963 231.90/231.99 o 9427614961 231.90/231.99 o 9424945007 231.90/231.99 o 9424945006 231.90/231.99 o 9422275051 231.90/231.99 o 9422275049 231.90/231.99 o 9419605095 231.90/231.99 o 9416935141 231.90/231.99 o 9416935140 231.90/231.99 o 9414265186 231.90/231.99 o 9411595232 231.90/231.99 o 9411595231 231.90/231.99 o 9408925278 231.90/231.99 o 9408925277 231.90/231.99 o 9406255323 231.90/231.99 o 9406255322 231.90/231.99 o 9406255321 231.90/231.99 o 9403585367 231.90/231.99 o 9400915413 231.90/231.99 o 9400915412 231.90/231.99 o 9400915411 231.90/231.99 o 9398245457 231.90/231.99 o 9395575503 231.90/231.99 o 9395575502 231.90/231.99 o 9395575501 231.90/231.99 o 9392905546 231.90/231.99 o 9390235592 231.90/231.99 o 9387565638 231.90/231.99 o 9387565637 231.90/231.99 o 9387565636 231.90/231.99 o 9384895682 231.90/231.99 o 9384895681 231.90/231.99 o 9384895680 231.90/231.99 o 9382225726 231.90/231.99 o 9382225725 231.90/231.99 o 9379555769 231.90/231.99 o 9379555768 231.90/231.99 o 9376885813 231.90/231.99 o 9376885812 231.90/231.99 o 9374215857 231.90/231.99 o 9374215856 231.90/231.99 o 9371545901 231.90/231.99 o 9371545900 231.90/231.99 o 9368875952 231.90/231.99 o 9368875951 231.90/231.99 o 9368875950 231.90/231.99 o 9368875949 231.90/231.99 o 9368875948 231.90/231.99 o 9368875947 231.90/231.99 o 9368875946 231.90/231.99 o 9366205998 231.90/231.99 o 9366205997 231.90/231.99 o 9366205996 231.90/231.99 o 9366205995 231.90/231.99 o 9366205994 231.90/231.99 o 9366205993 231.90/231.99 o 9366205992 231.90/231.99 o 9363536040 231.90/231.99 o 9363536039 231.90/231.99 o 9363536038 231.90/231.99 o 9363536037 231.90/231.99 o 9360866086 231.90/231.99 o 9360866085 231.90/231.99 o 9360866084 231.90/231.99 o 9360866083 231.90/231.99 o 9360866082 231.90/231.99 o 9360866081 231.90/231.99 o 9358196134 231.90/231.99 o 9358196133 231.90/231.99 o 9358196132 231.90/231.99 o 9358196131 231.90/231.99 o 9358196130 231.90/231.99 o 9358196129 231.90/231.99 o 9358196128 231.90/231.99 o 9358196127 231.90/231.99 o 9358196126 231.90/231.99 o 9358196125 231.90/231.99 o 9358196124 231.90/231.99 o 9358196123 231.90/231.99 o 9355526169 231.90/231.99 o 9355526168 231.90/231.99 o 9352856221 231.90/231.99 o 9352856220 231.90/231.99 o 9352856219 231.90/231.99 o 9352856218 231.90/231.99 o 9352856216 231.90/231.99 o 9352856215 231.90/231.99 o 9352856214 231.90/231.99 o 9350186261 231.90/231.99 o 9350186260 231.90/231.99 o 9350186259 231.90/231.99 o 9350186258 231.90/231.99 o 9350186257 231.90/231.99 o 9347516310 231.90/231.99 o 9347516309 231.90/231.99 o 9347516308 231.90/231.99 o 9347516307 231.90/231.99 o 9347516306 231.90/231.99 o 9347516305 231.90/231.99 o 9347516304 231.90/231.99 o 9347516303 231.90/231.99 o 9344846353 231.90/231.99 o 9344846352 231.90/231.99 o 9344846351 231.90/231.99 o 9344846350 231.90/231.99 o 9344846349 231.90/231.99 o 9344846348 231.90/231.99 o 9344846347 231.90/231.99 o 9344846346 231.90/231.99 o 9342176397 231.90/231.99 o 9342176396 231.90/231.99 o 9342176395 231.90/231.99 o 9342176394 231.90/231.99 o 9342176393 231.90/231.99 o 9342176392 231.90/231.99 o 9339506442 231.90/231.99 o 9339506441 231.90/231.99 o 9339506440 231.90/231.99 o 9339506439 231.90/231.99 o 9339506438 231.90/231.99 o 9339506437 231.90/231.99 o 9339506436 231.90/231.99 o 9339506435 231.90/231.99 o 9339506434 231.90/231.99 o 9336836481 231.90/231.99 o 9336836480 231.90/231.99 o 9334166530 231.90/231.99 o 9334166529 231.90/231.99 o 9334166528 231.90/231.99 o 9334166527 231.90/231.99 o 9334166526 231.90/231.99 o 9334166525 231.90/231.99 o 9334166524 231.90/231.99 o 9334166523 231.90/231.99 o 9331496568 231.90/231.99 o 9331496567 231.90/231.99 o 9331496566 231.90/231.99 o 9331496565 231.90/231.99 o 9331496564 231.90/231.99 o 9331496563 231.90/231.99 o 9331496562 231.90/231.99 o 9328826611 231.90/231.99 o 9328826609 231.90/231.99 o 9328826608 231.90/231.99 o 9328826607 231.90/231.99 o 9326156657 231.90/231.99 o 9326156656 231.90/231.99 o 9326156655 231.90/231.99 o 9326156654 231.90/231.99 o 9326156653 231.90/231.99 o 9326156652 231.90/231.99 o 9326156651 231.90/231.99 o 9326156650 231.90/231.99 o 9326156649 231.90/231.99 o 9323486698 231.90/231.99 o 9323486696 231.90/231.99 o 9323486695 231.90/231.99 o 9323486694 231.90/231.99 o 9320816745 231.90/231.99 o 9320816744 231.90/231.99 o 9320816743 231.90/231.99 o 9320816742 231.90/231.99 o 9320816741 231.90/231.99 o 9320816740 231.90/231.99 o 9320816739 231.90/231.99 o 9318146790 231.90/231.99 o 9318146789 231.90/231.99 o 9318146788 231.90/231.99 o 9318146787 231.90/231.99 o 9318146786 231.90/231.99 o 9318146785 231.90/231.99 o 9318146784 231.90/231.99 o 9318146783 231.90/231.99 o 9315476829 231.90/231.99 o 9315476828 231.90/231.99 o 9312806875 231.90/231.99 o 9312806874 231.90/231.99 o 9312806873 231.90/231.99 o 9312806872 231.90/231.99 o 9310136918 231.90/231.99 o 9310136917 231.90/231.99 o 9310136916 231.90/231.99 o 9307466962 231.90/231.99 o 9307466961 231.90/231.99 o 9307466960 231.90/231.99 o 9304797006 231.90/231.99 o 9304797005 231.90/231.99 o 9299457092 231.90/231.99 o 9296787141 231.90/231.99 o 9296787140 231.90/231.99 o 9296787139 231.90/231.99 o 9296787138 231.90/231.99 o 9296787137 231.90/231.99 o 9296787136 231.90/231.99 o 9296787135 231.90/231.99 o 9294117188 231.90/231.99 o 9294117186 231.90/231.99 o 9294117185 231.90/231.99 o 9294117184 231.90/231.99 o 9294117183 231.90/231.99 o 9294117182 231.90/231.99 o 9294117181 231.90/231.99 o 9294117180 231.90/231.99 o 9294117179 231.90/231.99 o 9291447231 231.90/231.99 o 9291447229 231.90/231.99 o 9291447228 231.90/231.99 o 9291447227 231.90/231.99 o 9291447226 231.90/231.99 o 9291447225 231.90/231.99 o 9291447224 231.90/231.99 o 9291447223 231.90/231.99 o 9288777267 231.90/231.99 o 9288777266 231.90/231.99 o 9286107313 231.90/231.99 o 9286107312 231.90/231.99 o 9286107311 231.90/231.99 o 9286107310 231.90/231.99 o 9283437361 231.90/231.99 o 9283437360 283.21/283.26 o 9283437359 283.21/283.26 o 9283437358 283.21/283.26 o 9283437357 283.21/283.26 o 9283437356 283.21/283.26 o 9283437355 283.21/283.26 o 9283437354 283.21/283.26 o 9280767406 283.21/283.26 o 9280767404 283.21/283.26 o 9280767403 283.21/283.26 o 9280767402 283.21/283.26 o 9280767401 283.21/283.26 o 9280767400 283.21/283.26 o 9280767399 283.21/283.26 o 9280767398 283.21/283.26 o 9280767397 283.21/283.26 o 9278097446 283.21/283.26 o 9278097445 283.21/283.26 o 9278097444 283.21/283.26 o 9278097443 283.21/283.26 o 9278097442 283.21/283.26 o 9278097441 283.21/283.26 o 9275427490 283.21/283.26 o 9275427489 283.21/283.26 o 9275427488 283.21/283.26 o 9275427487 283.21/283.26 o 9275427486 283.21/283.26 o 9275427485 283.21/283.26 o 9272757535 283.21/283.26 o 9272757534 283.21/283.26 o 9272757533 283.21/283.26 o 9272757532 283.21/283.26 o 9272757531 283.21/283.26 o 9272757530 283.21/283.26 o 9272757529 283.21/283.26 o 9272757528 283.21/283.26 o 9272757527 283.21/283.26 o 9272757526 283.21/283.26 o 9270087575 283.21/283.26 o 9270087574 283.21/283.26 o 9270087573 283.21/283.26 o 9270087572 283.21/283.26 o 9270087571 283.21/283.26 o 9270087570 283.21/283.26 o 9270087569 283.21/283.26 o 9270087568 283.21/283.26 o 9270087567 283.21/283.26 o 9267417617 283.21/283.26 o 9267417616 283.21/283.26 o 9267417615 283.21/283.26 o 9267417614 283.21/283.26 o 9267417613 283.21/283.26 o 9267417612 283.21/283.26 o 9267417611 283.21/283.26 o 9267417610 283.21/283.26 o 9264747656 283.21/283.26 o 9264747655 283.21/283.26 o 9262077707 283.21/283.26 o 9262077706 283.21/283.26 o 9262077705 283.21/283.26 o 9262077704 283.21/283.26 o 9259407751 283.21/283.26 o 9259407750 283.21/283.26 o 9259407749 283.21/283.26 o 9259407748 283.21/283.26 o 9259407747 283.21/283.26 o 9259407746 283.21/283.26 o 9259407745 283.21/283.26 o 9259407744 283.21/283.26 o 9256737795 283.21/283.26 o 9256737794 283.21/283.26 o 9256737793 283.21/283.26 o 9256737792 283.21/283.26 o 9254067837 283.21/283.26 o 9254067836 283.21/283.26 o 9251397881 283.21/283.26 o 9251397880 283.21/283.26 o 9248727927 283.21/283.26 o 9248727926 283.21/283.26 o 9248727925 283.21/283.26 o 9248727924 283.21/283.26 o 9248727923 283.21/283.26 o 9246057968 283.21/283.26 o 9246057967 283.21/283.26 o 9246057966 283.21/283.26 o 9243388011 283.21/283.26 o 9243388010 283.21/283.26 o 9243388009 283.21/283.26 o 9243388008 283.21/283.26 o 9240718055 283.21/283.26 o 9240718054 283.21/283.26 o 9240718053 283.21/283.26 o 9240718052 283.21/283.26 o 9238048105 283.21/283.26 o 9238048104 283.21/283.26 o 9238048103 283.21/283.26 o 9238048102 283.21/283.26 o 9238048100 283.21/283.26 o 9238048099 283.21/283.26 o 9238048098 283.21/283.26 o 9238048097 283.21/283.26 o 9238048096 283.21/283.26 o 9238048095 283.21/283.26 o 9235378143 283.21/283.26 o 9235378142 283.21/283.26 o 9235378141 283.21/283.26 o 9235378140 283.21/283.26 o 9235378139 283.21/283.26 o 9235378138 283.21/283.26 o 9235378137 283.21/283.26 o 9232708185 283.21/283.26 o 9232708184 283.21/283.26 o 9232708183 283.21/283.26 o 9232708182 283.21/283.26 o 9232708181 283.21/283.26 o 9232708180 283.21/283.26 o 9232708179 283.21/283.26 o 9232708178 283.21/283.26 o 9232708177 283.21/283.26 o 9232708176 283.21/283.26 o 9232708175 283.21/283.26 o 9232708174 283.21/283.26 o 9232708173 283.21/283.26 o 9227368263 283.21/283.26 o 9227368262 283.21/283.26 o 9227368261 283.21/283.26 o 9227368260 283.21/283.26 o 9227368259 283.21/283.26 o 9224698307 283.21/283.26 o 9224698306 283.21/283.26 o 9224698305 283.21/283.26 o 9224698304 283.21/283.26 o 9224698303 283.21/283.26 o 9224698302 283.21/283.26 o 9222028352 283.21/283.26 o 9222028350 283.21/283.26 o 9222028349 283.21/283.26 o 9222028348 283.21/283.26 o 9222028347 283.21/283.26 o 9222028346 283.21/283.26 o 9219358397 283.21/283.26 o 9219358396 283.21/283.26 o 9219358395 283.21/283.26 o 9219358394 283.21/283.26 o 9219358393 283.21/283.26 o 9219358392 283.21/283.26 o 9219358391 283.21/283.26 o 9219358390 283.21/283.26 o 9216688441 283.21/283.26 o 9216688440 283.21/283.26 o 9216688439 283.21/283.26 o 9214018484 283.21/283.26 o 9214018483 283.21/283.26 o 9214018482 283.21/283.26 o 9214018481 283.21/283.26 o 9214018480 283.21/283.26 o 9214018479 283.21/283.26 o 9214018478 283.21/283.26 o 9214018477 283.21/283.26 o 9211348527 283.21/283.26 o 9211348526 283.21/283.26 o 9211348525 283.21/283.26 o 9211348524 283.21/283.26 o 9211348523 283.21/283.26 o 9211348522 283.21/283.26 o 9208678571 283.21/283.26 o 9208678570 283.21/283.26 o 9208678569 283.21/283.26 o 9208678568 283.21/283.26 o 9208678567 283.21/283.26 o 9208678566 283.21/283.26 o 9208678565 283.21/283.26 o 9208678564 283.21/283.26 o 9206008615 283.21/283.26 o 9206008614 283.21/283.26 o 9206008613 283.21/283.26 o 9206008612 283.21/283.26 o 9206008611 283.21/283.26 o 9206008610 283.21/283.26 o 9203338657 283.21/283.26 o 9203338656 283.21/283.26 o 9203338655 283.21/283.26 o 9203338654 283.21/283.26 o 9203338653 283.21/283.26 o 9203338652 283.21/283.26 o 9200668697 283.21/283.26 o 9200668696 283.21/283.26 o 9197998744 283.21/283.26 o 9197998743 283.21/283.26 o 9197998742 283.21/283.26 o 9197998741 283.21/283.26 o 9197998740 283.21/283.26 o 9197998739 283.21/283.26 o 9195328786 283.21/283.26 o 9195328785 283.21/283.26 o 9195328784 283.21/283.26 o 9195328783 283.21/283.26 o 9195328780 283.21/283.26 o 9195328779 283.21/283.26 o 9192658828 283.21/283.26 o 9192658827 283.21/283.26 o 9192658826 283.21/283.26 o 9192658825 283.21/283.26 o 9192658824 283.21/283.26 o 9192658823 283.21/283.26 o 9189988873 283.21/283.26 o 9189988872 283.21/283.26 o 9189988871 283.21/283.26 o 9189988870 283.21/283.26 o 9189988869 283.21/283.26 o 9189988868 283.21/283.26 o 9189988867 283.21/283.26 o 9187318917 283.21/283.26 o 9187318916 283.21/283.26 o 9187318915 283.21/283.26 o 9187318914 283.21/283.26 o 9187318913 283.21/283.26 o 9187318912 283.21/283.26 o 9187318911 283.21/283.26 o 9187318910 283.21/283.26 o 9184648958 283.21/283.26 o 9184648957 283.21/283.26 o 9184648956 283.21/283.26 o 9181979001 283.21/283.26 o 9181979000 283.21/283.26 o 9181978999 283.21/283.26 o 9181978998 283.21/283.26 o 9179309046 283.21/283.26 o 9179309045 283.21/283.26 o 9179309044 283.21/283.26 o 9179309043 283.21/283.26 o 9179309042 283.21/283.26 o 9176639085 283.21/283.26 o 9176639084 283.21/283.26 o 9176639083 283.21/283.26 o 9176639082 283.21/283.26 o 9173969137 283.21/283.26 o 9173969136 283.21/283.26 o 9173969134 283.21/283.26 o 9173969133 283.21/283.26 o 9173969132 283.21/283.26 o 9173969131 283.21/283.26 o 9173969130 283.21/283.26 o 9173969129 283.21/283.26 o 9173969128 283.21/283.26 o 9173969127 283.21/283.26 o 9173969126 283.21/283.26 o 9173969125 283.21/283.26 o 9173969124 283.21/283.26 o 9173969123 283.21/283.26 o 9173969122 283.21/283.26 o 9173969121 283.21/283.26 o 9171299165 283.21/283.26 o 9171299164 283.21/283.26 o 9171299163 283.21/283.26 o 9165959252 283.21/283.26 o 9165959251 283.21/283.26 o 9160619340 283.21/283.26 o 9160619339 283.21/283.26 o 9157949385 283.21/283.26 o 9155279430 283.21/283.26 o 9155279429 283.21/283.26 o 9155279428 283.21/283.26 o 9155279427 283.21/283.26 o 9155279426 283.21/283.26 o 9155279425 283.21/283.26 o 9149939521 283.21/283.26 o 9149939520 283.21/283.26 o 9149939519 283.21/283.26 o 9149939518 283.21/283.26 o 9149939517 283.21/283.26 o 9149939516 283.21/283.26 o 9149939515 283.21/283.26 o 9149939514 283.21/283.26 o 9149939513 283.21/283.26 o 9147269565 283.21/283.26 o 9147269564 283.21/283.26 o 9147269563 283.21/283.26 o 9147269562 283.21/283.26 o 9144599609 283.21/283.26 o 9144599607 283.21/283.26 o 9144599606 283.21/283.26 o 9144599605 283.21/283.26 o 9144599604 283.21/283.26 o 9144599603 283.21/283.26 o 9144599602 283.21/283.26 o 9144599601 283.21/283.26 o 9125909914 283.21/283.26 o 9125909913 283.21/283.26 o 9125909912 283.21/283.26 o 9125909911 283.21/283.26 o 9125909910 283.21/283.26 o 9125909909 283.21/283.26 o 9123239956 283.21/283.26 o 9123239954 283.21/283.26 o 9123239953 283.21/283.26 o 9120570006 283.21/283.26 o 9120570004 283.21/283.26 o 9120570003 283.21/283.26 o 9120570002 283.21/283.26 o 9120570001 283.21/283.26 o 9120570000 283.21/283.26 o 9120569999 283.21/283.26 o 9120569998 283.21/283.26 o 9120569997 283.21/283.26 o 9117900052 283.21/283.26 o 9117900050 283.21/283.26 o 9117900049 283.21/283.26 o 9117900047 283.21/283.26 o 9117900046 283.21/283.26 o 9117900045 283.21/283.26 o 9117900044 283.21/283.26 o 9117900043 283.21/283.26 o 9117900042 283.21/283.26 o 9117900041 283.21/283.26 o 9117900040 343.41/343.40 o 9117900039 343.41/343.40 o 9117900038 343.41/343.40 o 9115230091 343.41/343.40 o 9115230090 343.41/343.40 o 9115230089 343.41/343.40 o 9115230088 343.41/343.40 o 9115230087 343.41/343.40 o 9115230086 343.41/343.40 o 9112560135 343.41/343.40 o 9112560134 343.41/343.40 o 9112560133 343.41/343.40 o 9112560132 343.41/343.40 o 9112560131 343.41/343.40 o 9112560130 343.41/343.40 o 9112560129 343.41/343.40 o 9109890177 343.41/343.40 o 9109890176 343.41/343.40 o 9109890175 343.41/343.40 o 9109890174 343.41/343.40 o 9109890173 343.41/343.40 o 9109890172 343.41/343.40 o 9109890171 343.41/343.40 o 9104550268 343.41/343.40 o 9104550267 343.41/343.40 o 9104550266 343.41/343.40 o 9104550265 343.41/343.40 o 9104550264 343.41/343.40 o 9104550263 343.41/343.40 o 9104550262 343.41/343.40 o 9104550261 343.41/343.40 o 9104550260 343.41/343.40 o 9104550259 343.41/343.40 o 9104550258 343.41/343.40 o 9104550257 343.41/343.40 o 9104550256 343.41/343.40 o 9104550255 343.41/343.40 o 9104550254 343.41/343.40 o 9104550253 343.41/343.40 o 9104550252 343.41/343.40 o 9104550251 343.41/343.40 o 9101880302 343.41/343.40 o 9101880301 343.41/343.40 o 9101880300 343.41/343.40 o 9101880299 343.41/343.40 o 9101880298 343.41/343.40 o 9099210352 343.41/343.40 o 9099210351 343.41/343.40 o 9099210350 343.41/343.40 o 9099210349 343.41/343.40 o 9099210348 343.41/343.40 o 9099210347 343.41/343.40 o 9099210346 343.41/343.40 o 9099210345 343.41/343.40 o 9099210344 343.41/343.40 o 9099210343 343.41/343.40 o 9096540392 343.41/343.40 o 9096540391 343.41/343.40 o 9096540390 343.41/343.40 o 9096540389 343.41/343.40 o 9096540388 343.41/343.40 o 9085860568 343.41/343.40 o 9085860567 343.41/343.40 o 9085860566 343.41/343.40 o 9085860565 343.41/343.40 o 9085860564 343.41/343.40 o 9080520653 343.41/343.40 o 9080520652 343.41/343.40 o 9075180752 343.41/343.40 o 9075180751 343.41/343.40 o 9075180750 343.41/343.40 o 9075180749 343.41/343.40 o 9075180748 343.41/343.40 o 9075180747 343.41/343.40 o 9075180746 343.41/343.40 o 9075180745 343.41/343.40 o 9075180744 343.41/343.40 o 9075180743 343.41/343.40 o 9075180742 343.41/343.40 o 9075180741 343.41/343.40 o 9075180740 343.41/343.40 o 9075180739 343.41/343.40 o 9072510797 343.41/343.40 o 9072510796 343.41/343.40 o 9072510795 343.41/343.40 o 9072510793 343.41/343.40 o 9072510792 343.41/343.40 o 9072510791 343.41/343.40 o 9072510790 343.41/343.40 o 9072510789 343.41/343.40 o 9072510788 343.41/343.40 o 9069840832 343.41/343.40 o 9069840831 343.41/343.40 o 9069840830 343.41/343.40 o 9069840829 343.41/343.40 o 9069840828 343.41/343.40 o 9069840827 343.41/343.40 o 9069840826 343.41/343.40 o 9069840825 343.41/343.40 o 9067170878 343.41/343.40 o 9064500922 343.41/343.40 o 9061830966 343.41/343.40 o 9061830965 343.41/343.40 o 9061830964 343.41/343.40 o 9061830963 343.41/343.40 o 9061830962 343.41/343.40 o 9061830961 343.41/343.40 o 9061830960 343.41/343.40 o 9061830959 343.41/343.40 o 9061830958 343.41/343.40 o 9061830957 343.41/343.40 o 9059161012 343.41/343.40 o 9059161011 343.41/343.40 o 9059161010 343.41/343.40 o 9059161009 343.41/343.40 o 9059161008 343.41/343.40 o 9059161007 343.41/343.40 o 9059161006 343.41/343.40 o 9059161005 343.41/343.40 o 9056491057 343.41/343.40 o 9056491056 343.41/343.40 o 9056491055 343.41/343.40 o 9056491054 343.41/343.40 o 9056491053 343.41/343.40 o 9056491052 343.41/343.40 o 9056491051 343.41/343.40 o 9056491050 343.41/343.40 o 9056491049 343.41/343.40 o 9056491048 343.41/343.40 o 9056491047 343.41/343.40 o 9056491046 343.41/343.40 o 9056491045 343.41/343.40 o 9053821089 343.41/343.40 o 9051151138 343.41/343.40 o 9051151137 343.41/343.40 o 9051151136 343.41/343.40 o 9051151135 343.41/343.40 o 9051151134 343.41/343.40 o 9051151133 343.41/343.40 o 9048481189 343.41/343.40 o 9048481187 343.41/343.40 o 9045811233 343.41/343.40 o 9045811231 343.41/343.40 o 9045811230 343.41/343.40 o 9045811229 343.41/343.40 o 9045811228 343.41/343.40 o 9045811227 343.41/343.40 o 9045811226 343.41/343.40 o 9045811225 343.41/343.40 o 9045811224 343.41/343.40 o 9045811223 343.41/343.40 o 9045811222 343.41/343.40 o 9045811221 343.41/343.40 o 9045811220 343.41/343.40 o 9043141270 343.41/343.40 o 9043141269 343.41/343.40 o 9043141268 343.41/343.40 o 9043141267 343.41/343.40 o 9043141266 343.41/343.40 o 9043141265 343.41/343.40 o 9043141264 343.41/343.40 o 9043141263 343.41/343.40 o 9043141262 343.41/343.40 o 9043141261 343.41/343.40 o 9040471316 343.41/343.40 o 9040471315 343.41/343.40 o 9040471314 343.41/343.40 o 9040471313 343.41/343.40 o 9040471312 343.41/343.40 o 9040471311 343.41/343.40 o 9040471310 343.41/343.40 o 9040471309 343.41/343.40 o 9040471308 343.41/343.40 o 9040471307 343.41/343.40 o 9040471306 343.41/343.40 o 9040471305 343.41/343.40 o 9037801361 343.41/343.40 o 9037801359 343.41/343.40 o 9037801358 343.41/343.40 o 9037801357 343.41/343.40 o 9037801356 343.41/343.40 o 9037801355 343.41/343.40 o 9037801354 343.41/343.40 o 9037801353 343.41/343.40 o 9037801352 343.41/343.40 o 9035131410 343.41/343.40 o 9035131409 343.41/343.40 o 9032461453 343.41/343.40 o 9032461452 343.41/343.40 o 9032461451 343.41/343.40 o 9032461450 343.41/343.40 o 9032461449 343.41/343.40 o 9032461448 343.41/343.40 o 9029791512 343.41/343.40 o 9029791511 343.41/343.40 o 9029791510 343.41/343.40 o 9029791509 343.41/343.40 o 9029791508 343.41/343.40 o 9029791507 343.41/343.40 o 9029791506 343.41/343.40 o 9029791505 343.41/343.40 o 9029791504 343.41/343.40 o 9029791503 343.41/343.40 o 9029791502 343.41/343.40 o 9029791501 343.41/343.40 o 9029791500 343.41/343.40 o 9029791499 343.41/343.40 o 9029791498 343.41/343.40 o 9029791497 343.41/343.40 o 9029791496 343.41/343.40 o 9029791495 343.41/343.40 o 9029791494 343.41/343.40 o 9029791493 343.41/343.40 o 9029791492 343.41/343.40 o 9027121548 343.41/343.40 o 9027121547 343.41/343.40 o 9027121546 343.41/343.40 o 9027121545 343.41/343.40 o 9027121544 343.41/343.40 o 9027121543 343.41/343.40 o 9027121542 343.41/343.40 o 9027121541 343.41/343.40 o 9027121540 343.41/343.40 o 9027121539 343.41/343.40 o 9027121538 343.41/343.40 o 9027121537 343.41/343.40 o 9027121536 343.41/343.40 o 9027121535 343.41/343.40 o 9027121534 343.41/343.40 o 9027121533 343.41/343.40 o 9027121532 343.41/343.40 o 9027121531 343.41/343.40 o 9027121530 343.41/343.40 o 9021781633 343.41/343.40 o 9021781632 343.41/343.40 o 9021781631 343.41/343.40 o 9021781630 343.41/343.40 o 9021781629 343.41/343.40 o 9021781628 343.41/343.40 o 9021781627 343.41/343.40 o 9021781626 343.41/343.40 o 9021781625 343.41/343.40 o 9021781624 343.41/343.40 o 9021781623 343.41/343.40 o 9021781622 343.41/343.40 o 9021781621 343.41/343.40 o 9021781620 343.41/343.40 o 9021781619 343.41/343.40 o 9019111678 343.41/343.40 o 9016441722 343.41/343.40 o 9016441721 343.41/343.40 o 9016441720 343.41/343.40 o 9016441719 343.41/343.40 o 9016441718 343.41/343.40 o 9016441717 343.41/343.40 o 9016441716 343.41/343.40 o 9016441715 343.41/343.40 o 9016441714 343.41/343.40 o 9011101811 343.41/343.40 o 9011101810 343.41/343.40 o 9011101809 343.41/343.40 o 9011101808 343.41/343.40 o 9011101807 343.41/343.40 o 9011101806 343.41/343.40 o 9011101805 343.41/343.40 o 9011101804 343.41/343.40 o 9011101803 343.41/343.40 o 9008431862 343.41/343.40 o 9008431861 343.41/343.40 o 9008431860 343.41/343.40 o 9008431859 343.41/343.40 o 9008431858 343.41/343.40 o 9008431857 343.41/343.40 o 9005761909 343.41/343.40 o 9005761908 343.41/343.40 o 9005761906 343.41/343.40 o 9005761905 343.41/343.40 o 9005761904 343.41/343.40 o 9005761903 343.41/343.40 o 9005761902 343.41/343.40 o 9005761901 343.41/343.40 o 9005761900 343.41/343.40 o 9005761899 343.41/343.40 o 9005761898 343.41/343.40 o 9005761897 343.41/343.40 o 9005761896 343.41/343.40 o 9005761895 343.41/343.40 o 9005761894 343.41/343.40 o 9005761893 343.41/343.40 o 9005761892 343.41/343.40 o 9005761891 343.41/343.40 o 9005761890 343.41/343.40 o 9005761889 343.41/343.40 o 9000421999 343.41/343.40 o 9000421998 343.41/343.40 o 9000421997 343.41/343.40 o 9000421996 343.41/343.40 o 9000421995 343.41/343.40 o 9000421994 343.41/343.40 o 9000421993 343.41/343.40 o 9000421992 343.41/343.40 o 9000421991 343.41/343.40 o 9000421990 343.41/343.40 o 9000421989 343.41/343.40 o 9000421988 343.41/343.40 o 9000421987 343.41/343.40 o 9000421986 343.41/343.40 o 9000421985 343.41/343.40 o 9000421984 343.41/343.40 o 9000421983 343.41/343.40 o 9000421982 343.41/343.40 o 9000421981 343.41/343.40 o 9000421980 343.41/343.40 o 9000421979 343.41/343.40 o 9000421978 343.41/343.40 o 9000421977 410.21/410.23 o 8995082089 410.21/410.23 o 8995082088 410.21/410.23 o 8995082087 410.21/410.23 o 8995082086 410.21/410.23 o 8995082085 410.21/410.23 o 8995082084 410.21/410.23 o 8995082083 410.21/410.23 o 8995082082 410.21/410.23 o 8995082081 410.21/410.23 o 8995082080 410.21/410.23 o 8995082079 410.21/410.23 o 8995082078 410.21/410.23 o 8995082077 410.21/410.23 o 8995082076 410.21/410.23 o 8995082075 410.21/410.23 o 8995082074 410.21/410.23 o 8995082073 410.21/410.23 o 8995082072 410.21/410.23 o 8995082071 410.21/410.23 o 8995082070 410.21/410.23 o 8995082069 410.21/410.23 o 8995082068 410.21/410.23 o 8995082067 410.21/410.23 o 8992412124 410.21/410.23 o 8992412122 410.21/410.23 o 8992412121 410.21/410.23 o 8992412120 410.21/410.23 o 8992412119 410.21/410.23 o 8992412118 410.21/410.23 o 8992412117 410.21/410.23 o 8992412116 410.21/410.23 o 8992412115 410.21/410.23 o 8992412114 410.21/410.23 o 8992412113 410.21/410.23 o 8992412112 410.21/410.23 o 8992412111 410.21/410.23 o 8992412110 410.21/410.23 o 8989742170 410.21/410.23 o 8989742169 410.21/410.23 o 8989742168 410.21/410.23 o 8989742167 410.21/410.23 o 8987072211 410.21/410.23 o 8987072210 410.21/410.23 o 8987072209 410.21/410.23 o 8987072208 410.21/410.23 o 8987072207 410.21/410.23 o 8987072206 410.21/410.23 o 8987072205 410.21/410.23 o 8987072204 410.21/410.23 o 8987072203 410.21/410.23 o 8987072202 410.21/410.23 o 8987072201 410.21/410.23 o 8987072200 410.21/410.23 o 8987072199 410.21/410.23 o 8987072198 410.21/410.23 o 8987072197 410.21/410.23 o 8987072196 410.21/410.23 o 8987072195 410.21/410.23 o 8987072194 410.21/410.23 o 8987072193 410.21/410.23 o 8987072192 410.21/410.23 o 8987072191 410.21/410.23 o 8987072190 410.21/410.23 o 8987072189 410.21/410.23 o 8987072188 410.21/410.23 o 8987072187 410.21/410.23 o 8987072186 410.21/410.23 o 8984402245 410.21/410.23 o 8984402244 410.21/410.23 o 8981732288 410.21/410.23 o 8981732287 410.21/410.23 o 8981732286 410.21/410.23 o 8981732284 410.21/410.23 o 8981732283 410.21/410.23 o 8981732282 410.21/410.23 o 8981732281 410.21/410.23 o 8981732280 410.21/410.23 o 8979062385 410.21/410.23 o 8979062384 410.21/410.23 o 8979062383 410.21/410.23 o 8979062382 410.21/410.23 o 8979062381 410.21/410.23 o 8979062380 410.21/410.23 o 8979062379 410.21/410.23 o 8979062378 410.21/410.23 o 8979062377 410.21/410.23 o 8979062376 410.21/410.23 o 8979062375 410.21/410.23 o 8979062374 410.21/410.23 o 8979062373 410.21/410.23 o 8976392437 410.21/410.23 o 8976392436 410.21/410.23 o 8976392435 410.21/410.23 o 8976392434 410.21/410.23 o 8976392433 410.21/410.23 o 8976392432 410.21/410.23 o 8973722480 410.21/410.23 o 8973722479 410.21/410.23 o 8973722478 410.21/410.23 o 8973722477 410.21/410.23 o 8973722476 410.21/410.23 o 8973722475 410.21/410.23 o 8973722474 410.21/410.23 o 8973722473 410.21/410.23 o 8973722472 410.21/410.23 o 8973722471 410.21/410.23 o 8973722470 410.21/410.23 o 8973722469 410.21/410.23 o 8973722468 410.21/410.23 o 8973722467 410.21/410.23 o 8973722466 410.21/410.23 o 8973722465 410.21/410.23 o 8973722464 410.21/410.23 o 8973722463 410.21/410.23 o 8973722462 410.21/410.23 o 8973722461 410.21/410.23 o 8973722460 410.21/410.23 o 8973722459 410.21/410.23 o 8973722458 410.21/410.23 o 8973722457 410.21/410.23 o 8973722456 410.21/410.23 o 8973722455 410.21/410.23 o 8973722454 410.21/410.23 o 8973722453 410.21/410.23 o 8971052508 410.21/410.23 o 8971052507 410.21/410.23 o 8971052506 410.21/410.23 o 8971052505 410.21/410.23 o 8971052504 410.21/410.23 o 8968382548 410.21/410.23 o 8968382547 410.21/410.23 o 8968382546 410.21/410.23 o 8968382545 410.21/410.23 o 8968382544 410.21/410.23 o 8968382543 410.21/410.23 o 8968382542 410.21/410.23 o 8968382541 410.21/410.23 o 8968382540 410.21/410.23 o 8968382539 410.21/410.23 o 8968382538 410.21/410.23 o 8968382537 410.21/410.23 o 8968382536 410.21/410.23 o 8968382535 410.21/410.23 o 8968382534 410.21/410.23 o 8968382533 410.21/410.23 o 8968382532 410.21/410.23 o 8968382531 410.21/410.23 o 8968382530 410.21/410.23 o 8968382529 410.21/410.23 o 8968382528 410.21/410.23 o 8968382527 410.21/410.23 o 8968382526 410.21/410.23 o 8968382525 410.21/410.23 o 8968382524 410.21/410.23 o 8968382523 410.21/410.23 o 8968382522 410.21/410.23 o 8968382521 410.21/410.23 o 8968382520 410.21/410.23 o 8968382519 410.21/410.23 o 8968382518 410.21/410.23 o 8968382517 410.21/410.23 o 8968382516 410.21/410.23 o 8968382515 410.21/410.23 o 8968382514 410.21/410.23 o 8968382513 410.21/410.23 o 8968382512 410.21/410.23 o 8968382511 410.21/410.23 o 8968382510 410.21/410.23 o 8968382509 410.21/410.23 o 8968382508 410.21/410.23 o 8968382507 410.21/410.23 o 8968382506 410.21/410.23 o 8968382505 410.21/410.23 o 8968382504 410.21/410.23 o 8968382503 410.21/410.23 o 8968382502 410.21/410.23 o 8968382501 410.21/410.23 o 8968382500 410.21/410.23 o 8968382499 410.21/410.23 o 8963042652 410.21/410.23 o 8963042650 410.21/410.23 o 8963042649 410.21/410.23 o 8963042648 410.21/410.23 o 8963042646 410.21/410.23 o 8963042645 410.21/410.23 o 8963042644 410.21/410.23 o 8963042643 410.21/410.23 o 8963042642 410.21/410.23 o 8963042641 410.21/410.23 o 8963042640 410.21/410.23 o 8963042639 410.21/410.23 o 8963042638 410.21/410.23 o 8963042637 410.21/410.23 o 8963042636 410.21/410.23 o 8963042635 410.21/410.23 o 8963042634 410.21/410.23 o 8963042633 410.21/410.23 o 8963042632 410.21/410.23 o 8963042631 410.21/410.23 o 8963042630 410.21/410.23 o 8963042629 410.21/410.23 o 8963042628 410.21/410.23 o 8963042627 410.21/410.23 o 8960372677 410.21/410.23 o 8960372676 410.21/410.23 o 8960372675 410.21/410.23 o 8960372674 410.21/410.23 o 8960372673 410.21/410.23 s OPTIMUM FOUND 410.21/410.23 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 -x6792 -x6793 -x6794 -x6795 -x6796 x6797 -x6798 -x6799 -x6800 -x6801 x6802 x6803 x6804 x6805 x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 x6824 -x6825 -x6826 -x6827 x6828 -x6829 -x6830 -x6831 -x6832 x6833 -x6834 -x6835 x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 x6847 x6848 x6849 -x6850 -x6851 x6852 x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 x6865 -x6866 x6867 x6868 x6869 -x6870 -x6871 -x6872 -x6873 x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 x6883 x6884 x6885 -x6886 -x6887 -x6888 x6889 -x6890 x6891 x6892 -x6893 -x6894 x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 x6913 x6914 x6915 x6916 x6917 x6918 x6919 x6920 x6921 x6922 x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 x6939 x6940 x6941 -x6942 -x6943 -x6944 -x6945 x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 x6955 x6956
OK 8960372673
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-3498004-1307936418/watcher-3498004-1307936418 -o /var/tmp/evaluation-result-3498004-1307936418/solver-3498004-1307936418 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3498004-1307936418.opb --verbosity=0 --format=opb --randomseed=1511321733 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.03 1.50 1.80 3/177 20653 /proc/meminfo: memFree=15249012/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=7896 CPUtime=0 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 418 0 0 0 0 0 0 0 22 0 1 0 983872510 8085504 371 33554432000 4194304 6957856 140735587780576 18446744073709551615 5312973 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 1974 371 227 675 0 1290 0 [startup+0.0378451 s] /proc/loadavg: 1.03 1.50 1.80 3/177 20653 /proc/meminfo: memFree=15249012/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=10952 CPUtime=0.03 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 1252 0 0 0 3 0 0 0 22 0 1 0 983872510 11214848 1160 33554432000 4194304 6957856 140735587780576 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 2738 1161 251 675 0 2054 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10952 [startup+0.100834 s] /proc/loadavg: 1.03 1.50 1.80 3/177 20653 /proc/meminfo: memFree=15249012/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=15820 CPUtime=0.09 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 2461 0 0 0 9 0 0 0 22 0 1 0 983872510 16199680 2369 33554432000 4194304 6957856 140735587780576 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 3955 2370 252 675 0 3271 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15820 [startup+0.300794 s] /proc/loadavg: 1.03 1.50 1.80 3/177 20653 /proc/meminfo: memFree=15249012/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=33040 CPUtime=0.29 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 7093 0 0 0 29 0 0 0 23 0 1 0 983872510 33832960 6690 33554432000 4194304 6957856 140735587780576 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 8260 6691 267 675 0 7576 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33040 [startup+0.700727 s] /proc/loadavg: 1.03 1.50 1.80 3/177 20653 /proc/meminfo: memFree=15249012/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=75248 CPUtime=0.69 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 17678 0 0 0 68 1 0 0 25 0 1 0 983872510 77053952 17209 33554432000 4194304 6957856 140735587780576 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 18812 17211 267 675 0 18128 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 75248 [startup+1.50056 s] /proc/loadavg: 1.11 1.51 1.80 3/178 20654 /proc/meminfo: memFree=15080768/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=91112 CPUtime=1.49 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 21654 0 0 0 147 2 0 0 25 0 1 0 983872510 93298688 21184 33554432000 4194304 6957856 140735587780576 18446744073709551615 5934045 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 22778 21184 283 675 0 22094 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 91112 [startup+3.10027 s] /proc/loadavg: 1.11 1.51 1.80 3/178 20655 /proc/meminfo: memFree=15080520/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=91116 CPUtime=3.09 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 21667 0 0 0 307 2 0 0 25 0 1 0 983872510 93302784 21197 33554432000 4194304 6957856 140735587780576 18446744073709551615 4838049 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 22779 21197 286 675 0 22095 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 91116 [startup+6.30066 s] /proc/loadavg: 1.18 1.52 1.80 3/178 20655 /proc/meminfo: memFree=15080004/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=91268 CPUtime=6.29 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 21729 0 0 0 627 2 0 0 25 0 1 0 983872510 93458432 21259 33554432000 4194304 6957856 140735587780576 18446744073709551615 5932833 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 22817 21259 286 675 0 22133 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 91268 [startup+12.7004 s] /proc/loadavg: 1.25 1.53 1.80 3/178 20655 /proc/meminfo: memFree=15077232/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=92216 CPUtime=12.69 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 22007 0 0 0 1267 2 0 0 25 0 1 0 983872510 94429184 21537 33554432000 4194304 6957856 140735587780576 18446744073709551615 4838496 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 23054 21537 286 675 0 22370 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 92216 [startup+25.501 s] /proc/loadavg: 1.36 1.54 1.80 3/178 20655 /proc/meminfo: memFree=15074368/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=93308 CPUtime=25.49 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 22309 0 0 0 2547 2 0 0 25 0 1 0 983872510 95547392 21839 33554432000 4194304 6957856 140735587780576 18446744073709551615 5387552 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 23327 21839 286 675 0 22643 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 93308 [startup+51.1002 s] /proc/loadavg: 1.61 1.59 1.81 3/178 20656 /proc/meminfo: memFree=15066988/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=96844 CPUtime=51.09 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 23332 0 0 0 5107 2 0 0 25 0 1 0 983872510 99168256 22862 33554432000 4194304 6957856 140735587780576 18446744073709551615 5313123 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 24211 22862 286 675 0 23527 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 96844 [startup+102.306 s] /proc/loadavg: 1.83 1.65 1.82 4/178 20657 /proc/meminfo: memFree=15009160/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=126744 CPUtime=102.3 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 35738 0 0 0 10226 4 0 0 25 0 1 0 983872510 129785856 30510 33554432000 4194304 6957856 140735587780576 18446744073709551615 5922131 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 31686 30510 287 675 0 31002 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 126744 [startup+162.301 s] /proc/loadavg: 1.93 1.71 1.82 3/178 20659 /proc/meminfo: memFree=14978352/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=145264 CPUtime=162.29 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 48394 0 0 0 16224 5 0 0 25 0 1 0 983872510 148750336 35325 33554432000 4194304 6957856 140735587780576 18446744073709551615 4606024 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 36316 35325 287 675 0 35632 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 145264 [startup+222.301 s] /proc/loadavg: 1.97 1.76 1.83 3/178 20660 /proc/meminfo: memFree=14957724/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=160256 CPUtime=222.3 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 51333 0 0 0 22224 6 0 0 25 0 1 0 983872510 164102144 38264 33554432000 4194304 6957856 140735587780576 18446744073709551615 5308098 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 40064 38264 287 675 0 39380 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 160256 [startup+282.3 s] /proc/loadavg: 1.99 1.80 1.84 3/178 20700 /proc/meminfo: memFree=14779016/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=168660 CPUtime=282.31 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 54744 0 0 0 28224 7 0 0 25 0 1 0 983872510 172707840 41670 33554432000 4194304 6957856 140735587780576 18446744073709551615 5918155 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 42165 41670 287 675 0 41481 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 168660 [startup+342.301 s] /proc/loadavg: 1.99 1.83 1.84 4/178 20702 /proc/meminfo: memFree=14778336/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=176548 CPUtime=342.31 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 54746 0 0 0 34224 7 0 0 25 0 1 0 983872510 180785152 41672 33554432000 4194304 6957856 140735587780576 18446744073709551615 5717742 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 44137 41672 287 675 0 43453 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 176548 [startup+402.301 s] /proc/loadavg: 1.99 1.86 1.85 3/178 20703 /proc/meminfo: memFree=14770828/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=176548 CPUtime=402.3 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 56719 0 0 0 40223 7 0 0 25 0 1 0 983872510 180785152 43642 33554432000 4194304 6957856 140735587780576 18446744073709551615 5311744 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 44137 43642 287 675 0 43453 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 176548 Solver just ended. Dumping a history of the last processes samples [startup+403.1 s] /proc/loadavg: 1.99 1.86 1.85 3/178 20703 /proc/meminfo: memFree=14770704/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=176548 CPUtime=403.1 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 56720 0 0 0 40303 7 0 0 25 0 1 0 983872510 180785152 43643 33554432000 4194304 6957856 140735587780576 18446744073709551615 5934082 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 44137 43643 287 675 0 43453 0 Current children cumulated CPU time (s) 403.1 Current children cumulated vsize (KiB) 176548 [startup+406.301 s] /proc/loadavg: 1.99 1.86 1.85 4/178 20703 /proc/meminfo: memFree=14768200/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=179336 CPUtime=406.3 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 57390 0 0 0 40623 7 0 0 25 0 1 0 983872510 183640064 44313 33554432000 4194304 6957856 140735587780576 18446744073709551615 4742318 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 44834 44313 287 675 0 44150 0 Current children cumulated CPU time (s) 406.3 Current children cumulated vsize (KiB) 179336 [startup+407.901 s] /proc/loadavg: 1.99 1.86 1.85 3/178 20703 /proc/meminfo: memFree=14768200/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=179336 CPUtime=407.9 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 57390 0 0 0 40783 7 0 0 25 0 1 0 983872510 183640064 44313 33554432000 4194304 6957856 140735587780576 18446744073709551615 5387648 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 44834 44313 287 675 0 44150 0 Current children cumulated CPU time (s) 407.9 Current children cumulated vsize (KiB) 179336 [startup+409.5 s] /proc/loadavg: 1.99 1.86 1.85 3/178 20703 /proc/meminfo: memFree=14768076/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=179336 CPUtime=409.5 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 57390 0 0 0 40943 7 0 0 25 0 1 0 983872510 183640064 44313 33554432000 4194304 6957856 140735587780576 18446744073709551615 5918134 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 44834 44313 287 675 0 44150 0 Current children cumulated CPU time (s) 409.5 Current children cumulated vsize (KiB) 179336 [startup+409.901 s] /proc/loadavg: 1.99 1.86 1.85 3/178 20703 /proc/meminfo: memFree=14768076/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=179336 CPUtime=409.9 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 57390 0 0 0 40983 7 0 0 25 0 1 0 983872510 183640064 44313 33554432000 4194304 6957856 140735587780576 18446744073709551615 5922093 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 44834 44313 287 675 0 44150 0 Current children cumulated CPU time (s) 409.9 Current children cumulated vsize (KiB) 179336 [startup+410.101 s] /proc/loadavg: 1.99 1.86 1.85 3/178 20703 /proc/meminfo: memFree=14768076/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=179336 CPUtime=410.1 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 57390 0 0 0 41003 7 0 0 25 0 1 0 983872510 183640064 44313 33554432000 4194304 6957856 140735587780576 18446744073709551615 5918070 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 44834 44313 287 675 0 44150 0 Current children cumulated CPU time (s) 410.1 Current children cumulated vsize (KiB) 179336 [startup+410.201 s] /proc/loadavg: 1.99 1.86 1.85 4/178 20703 /proc/meminfo: memFree=14767952/32950928 swapFree=67056212/67111528 [pid=20653] ppid=20651 vsize=179336 CPUtime=410.21 cores=1,3,5,7 /proc/20653/stat : 20653 (minisatid-gmp) R 20651 20653 16605 0 -1 4202496 57390 0 0 0 41014 7 0 0 25 0 1 0 983872510 183640064 44313 33554432000 4194304 6957856 140735587780576 18446744073709551615 5932528 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/20653/statm: 44834 44313 287 675 0 44150 0 Current children cumulated CPU time (s) 410.21 Current children cumulated vsize (KiB) 179336 Child status: 10 Real time (s): 410.243 CPU time (s): 410.258 CPU user time (s): 410.172 CPU system time (s): 0.085986 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 179336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 410.172 system time used= 0.085986 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57393 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= 430 runsolver used 0.610907 second user time and 1.42178 second system time The end
Begin job on node115 at 2011-06-13 05:40:18 IDJOB=3498004 IDBENCH=72315 IDSOLVER=1990 FILE ID=node115/3498004-1307936418 RUNJOBID= node115-1307936418-20626 PBS_JOBID= 13559664 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-randfd04d4.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-3498004-1307936418/watcher-3498004-1307936418 -o /var/tmp/evaluation-result-3498004-1307936418/solver-3498004-1307936418 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3498004-1307936418.opb --verbosity=0 --format=opb --randomseed=1511321733 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 26a46b78eb7773cf62233afd6be8bb91 RANDOM SEED=1511321733 node115.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.811 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.62 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.811 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 : 5226.15 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.811 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.811 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.75 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.811 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.77 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.811 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.74 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.811 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.75 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.811 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 15251324 kB Buffers: 92828 kB Cached: 16970760 kB SwapCached: 9240 kB Active: 1532592 kB Inactive: 15550472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 15251324 kB SwapTotal: 67111528 kB SwapFree: 67056212 kB Dirty: 8388 kB Writeback: 0 kB AnonPages: 17336 kB Mapped: 12692 kB Slab: 551836 kB PageTables: 4528 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 187240 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2876 MiB End job on node115 at 2011-06-13 05:47:09