Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2-gmp (fixed) | OPT | 0 | 176.535 | 176.529 |
Name | /OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/ rand.smallist/normalized-randd6bc17.cudf.paranoid.opb |
MD5SUM | 4f53cc78622adca48c28df09109f3525 |
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 | 0 |
Best CPU time to get the best result obtained on this benchmark | 1.19982 |
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 | 5496 |
Total number of constraints | 16115 |
Number of constraints which are clauses | 16115 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1147 |
Number of terms in the objective function | 2629 |
Biggest coefficient in the objective function | 1486 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 1702954 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 1486 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 1702954 |
Number of bits of the biggest sum of numbers | 21 |
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.00 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 44.89/44.94 o 1296682 44.89/44.94 o 1295195 44.89/44.94 o 1292221 44.89/44.94 o 1290734 44.89/44.94 o 1287760 44.89/44.94 o 1286273 44.89/44.94 o 1283299 44.89/44.94 o 1268429 44.89/44.94 o 1266942 44.89/44.94 o 1265456 44.89/44.94 o 1262482 44.89/44.94 o 1258021 44.89/44.94 o 1256535 44.89/44.94 o 1255048 44.89/44.94 o 1238691 44.89/44.94 o 1231256 44.89/44.94 o 1226795 44.89/44.94 o 1225309 44.89/44.94 o 1220847 44.89/44.94 o 1219360 44.89/44.94 o 1217873 44.89/44.94 o 1213413 44.89/44.94 o 1211926 44.89/44.94 o 1207465 44.89/44.94 o 1205978 44.89/44.94 o 1203004 44.89/44.94 o 1201517 44.89/44.94 o 1200031 44.89/44.94 o 1198545 44.89/44.94 o 1195571 44.89/44.94 o 1195570 44.89/44.94 o 1192596 44.89/44.94 o 1191110 44.89/44.94 o 1189624 44.89/44.94 o 1188137 44.89/44.94 o 1180702 44.89/44.94 o 1174755 44.89/44.94 o 1170293 44.89/44.94 o 1168806 44.89/44.94 o 1167320 44.89/44.94 o 1165833 44.89/44.94 o 1159885 44.89/44.94 o 1158398 44.89/44.94 o 1156911 44.89/44.94 o 1152450 44.89/44.94 o 1149476 44.89/44.94 o 1146502 44.89/44.94 o 1145015 44.89/44.94 o 1143528 44.89/44.94 o 1142041 44.89/44.94 o 1139067 44.89/44.94 o 1137580 44.89/44.94 o 1136093 44.89/44.94 o 1133119 44.89/44.94 o 1131632 44.89/44.94 o 1131631 44.89/44.94 o 1130145 44.89/44.94 o 1128658 44.89/44.94 o 1127171 44.89/44.94 o 1125684 44.89/44.94 o 1124198 44.89/44.94 o 1122712 44.89/44.94 o 1121225 44.89/44.94 o 1119738 44.89/44.94 o 1118252 44.89/44.94 o 1116765 44.89/44.94 o 1115279 44.89/44.94 o 1113793 44.89/44.94 o 1112307 44.89/44.94 o 1112306 44.89/44.94 o 1110819 44.89/44.94 o 1109333 44.89/44.94 o 1107846 44.89/44.94 o 1107845 44.89/44.94 o 1106359 44.89/44.94 o 1104874 44.89/44.94 o 1104873 44.89/44.94 o 1103387 44.89/44.94 o 1103386 44.89/44.94 o 1103385 44.89/44.94 o 1103384 44.89/44.94 o 1103383 44.89/44.94 o 1103382 44.89/44.94 o 1103381 44.89/44.94 o 1103380 44.89/44.94 o 1103379 44.89/44.94 o 1103378 44.89/44.94 o 1103377 44.89/44.94 o 1101890 44.89/44.94 o 1100405 44.89/44.94 o 1098918 44.89/44.94 o 1097431 44.89/44.94 o 1095944 44.89/44.94 o 1095943 44.89/44.94 o 1095942 44.89/44.94 o 1094455 44.89/44.94 o 1092968 44.89/44.94 o 1091481 44.89/44.94 o 1089994 44.89/44.94 o 1088507 44.89/44.94 o 1085552 44.89/44.94 o 1084065 44.89/44.94 o 1082578 44.89/44.94 o 1081091 44.89/44.94 o 1079606 44.89/44.94 o 1078119 44.89/44.94 o 1078118 44.89/44.94 o 1076631 44.89/44.94 o 1076630 44.89/44.94 o 1075144 44.89/44.94 o 1073657 44.89/44.94 o 1072170 44.89/44.94 o 1070683 44.89/44.94 o 1069196 44.89/44.94 o 1067709 44.89/44.94 o 1066222 44.89/44.94 o 1064735 44.89/44.94 o 1064734 44.89/44.94 o 1063248 44.89/44.94 o 1060274 44.89/44.94 o 1058788 44.89/44.94 o 1057302 44.89/44.94 o 1057301 44.89/44.94 o 1057300 44.89/44.94 o 1055814 44.89/44.94 o 1054327 44.89/44.94 o 1052840 44.89/44.94 o 1052839 44.89/44.94 o 1051353 44.89/44.94 o 1049866 44.89/44.94 o 1048379 44.89/44.94 o 1048378 44.89/44.94 o 1046891 44.89/44.94 o 1045405 44.89/44.94 o 1043918 44.89/44.94 o 1043917 44.89/44.94 o 1042431 44.89/44.94 o 1040944 44.89/44.94 o 1040943 44.89/44.94 o 1039457 44.89/44.94 o 1037970 44.89/44.94 o 1036483 44.89/44.94 o 1036482 44.89/44.94 o 1034995 44.89/44.94 o 1033509 44.89/44.94 o 1032022 44.89/44.94 o 1030535 44.89/44.94 o 1029048 44.89/44.94 o 1029047 44.89/44.94 o 1027561 44.89/44.94 o 1026074 44.89/44.94 o 1026073 44.89/44.94 o 1024587 44.89/44.94 o 1023100 44.89/44.94 o 1023099 44.89/44.94 o 1021613 44.89/44.94 o 1020125 44.89/44.94 o 1018639 44.89/44.94 o 1018638 44.89/44.94 o 1017151 44.89/44.94 o 1015665 44.89/44.94 o 1014178 44.89/44.94 o 1014177 44.89/44.94 o 1012690 44.89/44.94 o 1011204 44.89/44.94 o 1009717 44.89/44.94 o 1009716 44.89/44.94 o 1008230 44.89/44.94 o 1006743 44.89/44.94 o 1006742 44.89/44.94 o 1005255 44.89/44.94 o 1003769 44.89/44.94 o 1003768 44.89/44.94 o 1002281 44.89/44.94 o 1002280 44.89/44.94 o 1000794 44.89/44.94 o 999307 44.89/44.94 o 999306 44.89/44.94 o 997820 44.89/44.94 o 996333 44.89/44.94 o 996332 44.89/44.94 o 994845 44.89/44.94 o 993359 44.89/44.94 o 991872 44.89/44.94 o 991871 44.89/44.94 o 990385 44.89/44.94 o 988898 44.89/44.94 o 988897 44.89/44.94 o 987411 44.89/44.94 o 985924 44.89/44.94 o 985923 44.89/44.94 o 984437 44.89/44.94 o 982950 44.89/44.94 o 982949 44.89/44.94 o 981462 44.89/44.94 o 979976 44.89/44.94 o 978489 44.89/44.94 o 978488 44.89/44.94 o 977002 44.89/44.94 o 975515 44.89/44.94 o 975514 44.89/44.94 o 974028 44.89/44.94 o 972541 44.89/44.94 o 972540 44.89/44.94 o 971054 44.89/44.94 o 969567 44.89/44.94 o 968081 44.89/44.94 o 968080 44.89/44.94 o 966594 44.89/44.94 o 966593 44.89/44.94 o 965106 44.89/44.94 o 965105 44.89/44.94 o 963619 44.89/44.94 o 963618 44.89/44.94 o 962132 44.89/44.94 o 960645 44.89/44.94 o 960644 44.89/44.94 o 959158 44.89/44.94 o 957671 44.89/44.94 o 957670 44.89/44.94 o 956184 44.89/44.94 o 954697 44.89/44.94 o 954696 44.89/44.94 o 953210 44.89/44.94 o 951723 44.89/44.94 o 950237 44.89/44.94 o 950236 44.89/44.94 o 950235 44.89/44.94 o 948749 44.89/44.94 o 948748 44.89/44.94 o 948747 44.89/44.94 o 947261 44.89/44.94 o 945774 44.89/44.94 o 945773 44.89/44.94 o 944287 44.89/44.94 o 942800 44.89/44.94 o 942799 44.89/44.94 o 941313 44.89/44.94 o 939826 44.89/44.94 o 939825 44.89/44.94 o 938339 44.89/44.94 o 936852 44.89/44.94 o 936851 44.89/44.94 o 935365 44.89/44.94 o 933878 44.89/44.94 o 933877 44.89/44.94 o 932391 44.89/44.94 o 930904 44.89/44.94 o 930903 44.89/44.94 o 929417 44.89/44.94 o 927930 44.89/44.94 o 927929 44.89/44.94 o 926443 44.89/44.94 o 924956 44.89/44.94 o 924955 44.89/44.94 o 923469 44.89/44.94 o 921982 44.89/44.94 o 921981 44.89/44.94 o 920495 44.89/44.94 o 919008 44.89/44.94 o 917522 44.89/44.94 o 917521 44.89/44.94 o 917520 44.89/44.94 o 916034 44.89/44.94 o 914547 44.89/44.94 o 914546 44.89/44.94 o 913060 44.89/44.94 o 911573 44.89/44.94 o 911572 44.89/44.94 o 910086 44.89/44.94 o 908599 44.89/44.94 o 908598 44.89/44.94 o 907112 44.89/44.94 o 905625 44.89/44.94 o 905624 44.89/44.94 o 904138 44.89/44.94 o 902651 44.89/44.94 o 902650 44.89/44.94 o 901164 44.89/44.94 o 899677 44.89/44.94 o 899676 44.89/44.94 o 898190 44.89/44.94 o 896703 44.89/44.94 o 896702 44.89/44.94 o 895216 44.89/44.94 o 893729 44.89/44.94 o 893728 44.89/44.94 o 892242 44.89/44.94 o 890755 44.89/44.94 o 890754 44.89/44.94 o 889268 44.89/44.94 o 887781 44.89/44.94 o 887780 44.89/44.94 o 886294 44.89/44.94 o 884807 44.89/44.94 o 884806 44.89/44.94 o 883320 44.89/44.94 o 881833 44.89/44.94 o 881832 44.89/44.94 o 880346 44.89/44.94 o 878859 44.89/44.94 o 878858 44.89/44.94 o 877372 44.89/44.94 o 875885 44.89/44.94 o 875884 44.89/44.94 o 874398 44.89/44.94 o 872911 44.89/44.94 o 872910 44.89/44.94 o 871424 44.89/44.94 o 869937 44.89/44.94 o 868451 44.89/44.94 o 866965 44.89/44.94 o 866964 44.89/44.94 o 865478 44.89/44.94 o 863991 44.89/44.94 o 863990 44.89/44.94 o 863989 44.89/44.94 o 862503 44.89/44.94 o 862502 44.89/44.94 o 861016 44.89/44.94 o 861015 44.89/44.94 o 859529 44.89/44.94 o 858042 44.89/44.94 o 858041 44.89/44.94 o 856555 44.89/44.94 o 855069 44.89/44.94 o 855068 44.89/44.94 o 855067 44.89/44.94 o 855066 44.89/44.94 o 853580 44.89/44.94 o 852093 44.89/44.94 o 852092 44.89/44.94 o 850606 44.89/44.94 o 849119 44.89/44.94 o 847633 44.89/44.94 o 847632 44.89/44.94 o 847631 44.89/44.94 o 846145 44.89/44.94 o 846144 44.89/44.94 o 844658 44.89/44.94 o 843171 44.89/44.94 o 843170 44.89/44.94 o 841684 44.89/44.94 o 841683 44.89/44.94 o 841682 44.89/44.94 o 841681 44.89/44.94 o 840195 44.89/44.94 o 840194 44.89/44.94 o 838708 44.89/44.94 o 837222 44.89/44.94 o 837221 44.89/44.94 o 837220 44.89/44.94 o 835734 44.89/44.94 o 835733 44.89/44.94 o 834247 44.89/44.94 o 832760 44.89/44.94 o 832759 44.89/44.94 o 831273 44.89/44.94 o 829787 44.89/44.94 o 829786 44.89/44.94 o 829785 44.89/44.94 o 828299 44.89/44.94 o 826812 44.89/44.94 o 826811 44.89/44.94 o 825325 44.89/44.94 o 823838 44.89/44.94 o 823837 44.89/44.94 o 822351 44.89/44.94 o 820864 44.89/44.94 o 820863 44.89/44.94 o 819377 44.89/44.94 o 817890 44.89/44.94 o 817889 44.89/44.94 o 816403 44.89/44.94 o 814916 44.89/44.94 o 814915 44.89/44.94 o 813429 44.89/44.94 o 811942 44.89/44.94 o 811941 44.89/44.94 o 810455 44.89/44.94 o 808968 44.89/44.94 o 808967 44.89/44.94 o 807481 44.89/44.94 o 805994 44.89/44.94 o 805993 44.89/44.94 o 804507 44.89/44.94 o 803020 44.89/44.94 o 803019 44.89/44.94 o 801533 44.89/44.94 o 800046 44.89/44.94 o 798561 44.89/44.94 o 795589 44.89/44.94 o 794103 44.89/44.94 o 794101 44.89/44.94 o 792616 44.89/44.94 o 792615 44.89/44.94 o 791129 44.89/44.94 o 789642 44.89/44.94 o 788155 44.89/44.94 o 786668 44.89/44.94 o 785181 44.89/44.94 o 783694 44.89/44.94 o 783693 44.89/44.94 o 782207 44.89/44.94 o 780720 44.89/44.94 o 779233 44.89/44.94 o 777746 44.89/44.94 o 776260 44.89/44.94 o 776259 44.89/44.94 o 774772 44.89/44.94 o 773285 44.89/44.94 o 771798 44.89/44.94 o 771797 44.89/44.94 o 770311 44.89/44.94 o 768824 44.89/44.94 o 767337 44.89/44.94 o 765850 44.89/44.94 o 764363 44.89/44.94 o 762876 44.89/44.94 o 761390 44.89/44.94 o 761389 44.89/44.94 o 759904 44.89/44.94 o 758417 44.89/44.94 o 756930 44.89/44.94 o 755443 44.89/44.94 o 755442 44.89/44.94 o 755441 44.89/44.94 o 753956 44.89/44.94 o 752469 44.89/44.94 o 750982 44.89/44.94 o 749495 44.89/44.94 o 748008 44.89/44.94 o 746521 44.89/44.94 o 745034 44.89/44.94 o 743547 44.89/44.94 o 742061 78.49/78.55 o 742060 78.49/78.55 o 740573 78.49/78.55 o 739086 78.49/78.55 o 737599 78.49/78.55 o 736112 78.49/78.55 o 736111 78.49/78.55 o 734625 78.49/78.55 o 733139 78.49/78.55 o 733138 78.49/78.55 o 731651 78.49/78.55 o 730166 78.49/78.55 o 728679 78.49/78.55 o 727192 78.49/78.55 o 725705 78.49/78.55 o 724218 78.49/78.55 o 724217 78.49/78.55 o 722730 78.49/78.55 o 721243 78.49/78.55 o 719756 78.49/78.55 o 719755 78.49/78.55 o 718269 78.49/78.55 o 716782 78.49/78.55 o 715295 78.49/78.55 o 713808 78.49/78.55 o 712321 78.49/78.55 o 710834 78.49/78.55 o 709347 78.49/78.55 o 709346 78.49/78.55 o 707859 78.49/78.55 o 706372 78.49/78.55 o 704885 78.49/78.55 o 703398 78.49/78.55 o 701911 78.49/78.55 o 700424 78.49/78.55 o 698937 78.49/78.55 o 697450 78.49/78.55 o 695978 78.49/78.55 o 691516 78.49/78.55 o 690029 78.49/78.55 o 688543 78.49/78.55 o 687056 78.49/78.55 o 687055 78.49/78.55 o 685569 78.49/78.55 o 685568 78.49/78.55 o 684081 78.49/78.55 o 682594 78.49/78.55 o 681107 78.49/78.55 o 679620 78.49/78.55 o 678134 78.49/78.55 o 678133 78.49/78.55 o 676646 78.49/78.55 o 675159 78.49/78.55 o 673672 78.49/78.55 o 672185 78.49/78.55 o 670698 78.49/78.55 o 669211 78.49/78.55 o 667724 78.49/78.55 o 666237 78.49/78.55 o 664750 78.49/78.55 o 663265 78.49/78.55 o 661778 78.49/78.55 o 660291 78.49/78.55 o 658804 78.49/78.55 o 657317 78.49/78.55 o 655830 78.49/78.55 o 654343 78.49/78.55 o 652856 78.49/78.55 o 651369 78.49/78.55 o 649882 78.49/78.55 o 648395 78.49/78.55 o 646908 78.49/78.55 o 645421 78.49/78.55 o 645420 78.49/78.55 o 643933 78.49/78.55 o 642447 78.49/78.55 o 642446 78.49/78.55 o 640959 78.49/78.55 o 639472 78.49/78.55 o 637985 78.49/78.55 o 636498 78.49/78.55 o 635011 78.49/78.55 o 633525 78.49/78.55 o 632038 78.49/78.55 o 630551 78.49/78.55 o 629064 78.49/78.55 o 627577 78.49/78.55 o 626090 78.49/78.55 o 624603 78.49/78.55 o 623116 78.49/78.55 o 621629 78.49/78.55 o 620143 78.49/78.55 o 618656 78.49/78.55 o 617169 78.49/78.55 o 615684 78.49/78.55 o 615683 78.49/78.55 o 615682 78.49/78.55 o 614195 78.49/78.55 o 612708 78.49/78.55 o 611221 78.49/78.55 o 609734 78.49/78.55 o 608247 78.49/78.55 o 606760 78.49/78.55 o 605273 78.49/78.55 o 603786 78.49/78.55 o 602299 78.49/78.55 o 600812 78.49/78.55 o 599325 78.49/78.55 o 597839 78.49/78.55 o 597838 78.49/78.55 o 596352 78.49/78.55 o 594866 78.49/78.55 o 594865 78.49/78.55 o 593378 78.49/78.55 o 591891 78.49/78.55 o 590404 78.49/78.55 o 588917 78.49/78.55 o 587430 78.49/78.55 o 585943 78.49/78.55 o 584456 78.49/78.55 o 582969 78.49/78.55 o 581483 78.49/78.55 o 581482 78.49/78.55 o 581481 78.49/78.55 o 579994 78.49/78.55 o 575537 78.49/78.55 o 575536 78.49/78.55 o 575535 78.49/78.55 o 574048 78.49/78.55 o 572561 78.49/78.55 o 571075 78.49/78.55 o 571074 78.49/78.55 o 569587 78.49/78.55 o 568107 78.49/78.55 o 568106 78.49/78.55 o 568105 78.49/78.55 o 568104 78.49/78.55 o 568103 78.49/78.55 o 568102 78.49/78.55 o 568100 78.49/78.55 o 566613 78.49/78.55 o 565134 78.49/78.55 o 565133 78.49/78.55 o 565131 78.49/78.55 o 565130 78.49/78.55 o 565129 78.49/78.55 o 565128 78.49/78.55 o 565127 78.49/78.55 o 565126 78.49/78.55 o 563639 78.49/78.55 o 562152 78.49/78.55 o 560665 78.49/78.55 o 559178 78.49/78.55 o 557698 78.49/78.55 o 557697 78.49/78.55 o 557695 78.49/78.55 o 557694 78.49/78.55 o 557693 78.49/78.55 o 557692 78.49/78.55 o 557691 78.49/78.55 o 556204 78.49/78.55 o 554720 78.49/78.55 o 554719 78.49/78.55 o 554718 78.49/78.55 o 554717 78.49/78.55 o 553231 78.49/78.55 o 553230 78.49/78.55 o 551743 78.49/78.55 o 550256 78.49/78.55 o 548769 78.49/78.55 o 547285 78.49/78.55 o 547284 78.49/78.55 o 547283 78.49/78.55 o 547282 78.49/78.55 o 545795 78.49/78.55 o 544309 78.49/78.55 o 544308 78.49/78.55 o 542825 78.49/78.55 o 542824 78.49/78.55 o 542823 78.49/78.55 o 542822 78.49/78.55 o 542821 78.49/78.55 o 541334 78.49/78.55 o 541333 78.49/78.55 o 541332 78.49/78.55 o 539845 78.49/78.55 o 538358 78.49/78.55 o 536878 78.49/78.55 o 536877 78.49/78.55 o 536876 78.49/78.55 o 536874 78.49/78.55 o 536873 78.49/78.55 o 536872 78.49/78.55 o 536871 78.49/78.55 o 535384 78.49/78.55 o 533897 78.49/78.55 o 532410 78.49/78.55 o 530923 78.49/78.55 o 529436 78.49/78.55 o 527949 78.49/78.55 o 527948 78.49/78.55 o 526461 78.49/78.55 o 524974 78.49/78.55 o 523491 78.49/78.55 o 523490 78.49/78.55 o 523489 78.49/78.55 o 523488 78.49/78.55 o 523487 78.49/78.55 o 523486 78.49/78.55 o 522006 78.49/78.55 o 522005 78.49/78.55 o 522004 78.49/78.55 o 522003 78.49/78.55 o 522002 78.49/78.55 o 522001 78.49/78.55 o 521999 78.49/78.55 o 520520 78.49/78.55 o 520518 78.49/78.55 o 520517 78.49/78.55 o 520516 78.49/78.55 o 520515 78.49/78.55 o 520514 78.49/78.55 o 520512 78.49/78.55 o 519033 78.49/78.55 o 519032 78.49/78.55 o 519029 78.49/78.55 o 519028 78.49/78.55 o 519027 78.49/78.55 o 519026 78.49/78.55 o 519025 78.49/78.55 o 517547 78.49/78.55 o 517544 78.49/78.55 o 517543 78.49/78.55 o 517542 78.49/78.55 o 517541 78.49/78.55 o 517540 78.49/78.55 o 517539 78.49/78.55 o 517538 78.49/78.55 o 516052 78.49/78.55 o 516051 78.49/78.55 o 514573 78.49/78.55 o 514572 78.49/78.55 o 514571 78.49/78.55 o 514570 78.49/78.55 o 514569 78.49/78.55 o 514568 78.49/78.55 o 514567 78.49/78.55 o 514566 78.49/78.55 o 514565 78.49/78.55 o 514564 78.49/78.55 o 513085 78.49/78.55 o 513084 78.49/78.55 o 513083 78.49/78.55 o 513082 78.49/78.55 o 513081 78.49/78.55 o 513080 78.49/78.55 o 513079 78.49/78.55 o 513078 78.49/78.55 o 513077 78.49/78.55 o 511599 78.49/78.55 o 511598 78.49/78.55 o 511597 78.49/78.55 o 511594 78.49/78.55 o 511593 78.49/78.55 o 511592 78.49/78.55 o 511591 78.49/78.55 o 511590 78.49/78.55 o 511589 78.49/78.55 o 508617 78.49/78.55 o 508616 78.49/78.55 o 508615 78.49/78.55 o 507129 78.49/78.55 o 507128 78.49/78.55 o 505642 78.49/78.55 o 505641 78.49/78.55 o 504155 78.49/78.55 o 504154 78.49/78.55 o 502667 78.49/78.55 o 501181 78.49/78.55 o 501180 78.49/78.55 o 499694 78.49/78.55 o 499693 78.49/78.55 o 498215 78.49/78.55 o 498212 78.49/78.55 o 498211 78.49/78.55 o 498210 78.49/78.55 o 498209 78.49/78.55 o 498208 78.49/78.55 o 498207 78.49/78.55 o 498206 78.49/78.55 o 496719 78.49/78.55 o 495238 78.49/78.55 o 495237 78.49/78.55 o 495236 78.49/78.55 o 495235 78.49/78.55 o 495234 78.49/78.55 o 495233 78.49/78.55 o 495232 78.49/78.55 o 495231 78.49/78.55 o 493745 78.49/78.55 o 492258 78.49/78.55 o 492257 78.49/78.55 o 490771 78.49/78.55 o 489284 78.49/78.55 o 487805 78.49/78.55 o 487804 78.49/78.55 o 487803 78.49/78.55 o 487802 78.49/78.55 o 487800 78.49/78.55 o 487799 78.49/78.55 o 487798 78.49/78.55 o 487797 78.49/78.55 o 486310 78.49/78.55 o 484823 78.49/78.55 o 483343 78.49/78.55 o 483342 78.49/78.55 o 483341 78.49/78.55 o 483340 78.49/78.55 o 483338 78.49/78.55 o 483337 78.49/78.55 o 483336 78.49/78.55 o 481849 78.49/78.55 o 480364 78.49/78.55 o 478877 78.49/78.55 o 477390 78.49/78.55 o 475904 78.49/78.55 o 475903 78.49/78.55 o 474416 78.49/78.55 o 472929 78.49/78.55 o 472928 78.49/78.55 o 471449 78.49/78.55 o 471446 78.49/78.55 o 471445 78.49/78.55 o 471444 78.49/78.55 o 471443 78.49/78.55 o 471442 78.49/78.55 o 471441 78.49/78.55 o 469954 78.49/78.55 o 468468 78.49/78.55 o 468467 78.49/78.55 o 466981 78.49/78.55 o 466980 78.49/78.55 o 465500 78.49/78.55 o 465499 78.49/78.55 o 465498 78.49/78.55 o 465497 78.49/78.55 o 465496 78.49/78.55 o 465495 78.49/78.55 o 465493 78.49/78.55 o 464015 78.49/78.55 o 464012 78.49/78.55 o 464011 78.49/78.55 o 464010 78.49/78.55 o 464009 78.49/78.55 o 464008 78.49/78.55 o 464007 78.49/78.55 o 464006 78.49/78.55 o 462521 78.49/78.55 o 462520 78.49/78.55 o 462519 78.49/78.55 o 461033 78.49/78.55 o 461032 78.49/78.55 o 459552 78.49/78.55 o 459551 78.49/78.55 o 459550 78.49/78.55 o 459549 78.49/78.55 o 459548 78.49/78.55 o 459547 78.49/78.55 o 459546 78.49/78.55 o 459545 78.49/78.55 o 458059 78.49/78.55 o 458058 78.49/78.55 o 456572 78.49/78.55 o 456571 78.49/78.55 o 455084 78.49/78.55 o 453597 78.49/78.55 o 452111 78.49/78.55 o 452110 78.49/78.55 o 450624 78.49/78.55 o 450623 78.49/78.55 o 449136 78.49/78.55 o 447658 78.49/78.55 o 447657 78.49/78.55 o 447656 78.49/78.55 o 447655 78.49/78.55 o 447654 78.49/78.55 o 447653 78.49/78.55 o 447652 78.49/78.55 o 447651 78.49/78.55 o 447650 78.49/78.55 o 446171 78.49/78.55 o 446170 78.49/78.55 o 446168 78.49/78.55 o 446167 78.49/78.55 o 446166 78.49/78.55 o 446165 78.49/78.55 o 446164 78.49/78.55 o 446163 78.49/78.55 o 446162 78.49/78.55 o 444676 78.49/78.55 o 444675 78.49/78.55 o 443190 78.49/78.55 o 441711 78.49/78.55 o 441710 78.49/78.55 o 441709 78.49/78.55 o 441708 78.49/78.55 o 441707 78.49/78.55 o 441706 78.49/78.55 o 441705 78.49/78.55 o 441704 78.49/78.55 o 440218 78.49/78.55 o 440217 78.49/78.55 o 438731 78.49/78.55 o 438730 78.49/78.55 o 437244 78.49/78.55 o 437243 78.49/78.55 o 435757 78.49/78.55 o 435756 78.49/78.55 o 434270 78.49/78.55 o 434269 78.49/78.55 o 432783 78.49/78.55 o 432782 78.49/78.55 o 431296 78.49/78.55 o 431295 78.49/78.55 o 429816 78.49/78.55 o 429815 78.49/78.55 o 429814 78.49/78.55 o 429813 78.49/78.55 o 429812 78.49/78.55 o 429811 78.49/78.55 o 429810 78.49/78.55 o 429809 78.49/78.55 o 429808 78.49/78.55 o 428321 78.49/78.55 o 426834 78.49/78.55 o 425347 78.49/78.55 o 423867 78.49/78.55 o 423866 78.49/78.55 o 423865 78.49/78.55 o 423864 78.49/78.55 o 423863 78.49/78.55 o 423862 78.49/78.55 o 423861 78.49/78.55 o 423860 78.49/78.55 o 423858 78.49/78.55 o 422373 78.49/78.55 o 420894 78.49/78.55 o 420893 78.49/78.55 o 420890 78.49/78.55 o 420889 78.49/78.55 o 420888 78.49/78.55 o 420887 78.49/78.55 o 420886 78.49/78.55 o 419399 78.49/78.55 o 417913 78.49/78.55 o 417912 111.70/111.71 o 414938 111.70/111.71 o 413452 111.70/111.71 o 413451 111.70/111.71 o 411973 111.70/111.71 o 411972 111.70/111.71 o 411969 111.70/111.71 o 411968 111.70/111.71 o 411967 111.70/111.71 o 411966 111.70/111.71 o 411965 111.70/111.71 o 411964 111.70/111.71 o 410477 111.70/111.71 o 408990 111.70/111.71 o 407504 111.70/111.71 o 407503 111.70/111.71 o 406016 111.70/111.71 o 404529 111.70/111.71 o 403042 111.70/111.71 o 400075 111.70/111.71 o 400074 111.70/111.71 o 400073 111.70/111.71 o 400072 111.70/111.71 o 400071 111.70/111.71 o 400070 111.70/111.71 o 400068 111.70/111.71 o 398582 111.70/111.71 o 398581 111.70/111.71 o 397094 111.70/111.71 o 395614 111.70/111.71 o 395613 111.70/111.71 o 395612 111.70/111.71 o 395611 111.70/111.71 o 395610 111.70/111.71 o 395609 111.70/111.71 o 395608 111.70/111.71 o 395607 111.70/111.71 o 394120 111.70/111.71 o 392635 111.70/111.71 o 391157 111.70/111.71 o 391156 111.70/111.71 o 391155 111.70/111.71 o 391154 111.70/111.71 o 391153 111.70/111.71 o 391152 111.70/111.71 o 391151 111.70/111.71 o 391150 111.70/111.71 o 391149 111.70/111.71 o 389662 111.70/111.71 o 389661 111.70/111.71 o 389660 111.70/111.71 o 388173 111.70/111.71 o 386686 111.70/111.71 o 385199 111.70/111.71 o 383712 111.70/111.71 o 382232 111.70/111.71 o 382231 111.70/111.71 o 382230 111.70/111.71 o 382229 111.70/111.71 o 382228 111.70/111.71 o 382227 111.70/111.71 o 382225 111.70/111.71 o 380738 111.70/111.71 o 379251 111.70/111.71 o 377764 111.70/111.71 o 376285 111.70/111.71 o 376284 111.70/111.71 o 376283 111.70/111.71 o 376282 111.70/111.71 o 376281 111.70/111.71 o 376280 111.70/111.71 o 376279 111.70/111.71 o 376278 111.70/111.71 o 376277 111.70/111.71 o 374790 111.70/111.71 o 373303 111.70/111.71 o 371816 111.70/111.71 o 371815 111.70/111.71 o 370335 111.70/111.71 o 370334 111.70/111.71 o 370333 111.70/111.71 o 370332 111.70/111.71 o 370331 111.70/111.71 o 370330 111.70/111.71 o 370328 111.70/111.71 o 368841 111.70/111.71 o 367363 111.70/111.71 o 367362 111.70/111.71 o 367361 111.70/111.71 o 367360 111.70/111.71 o 367359 111.70/111.71 o 367358 111.70/111.71 o 367357 111.70/111.71 o 367356 111.70/111.71 o 367354 111.70/111.71 o 365867 111.70/111.71 o 364381 111.70/111.71 o 364380 111.70/111.71 o 362893 111.70/111.71 o 361407 111.70/111.71 o 361406 111.70/111.71 o 359927 111.70/111.71 o 359924 111.70/111.71 o 359923 111.70/111.71 o 359922 111.70/111.71 o 359921 111.70/111.71 o 359920 111.70/111.71 o 359919 111.70/111.71 o 358432 111.70/111.71 o 356952 111.70/111.71 o 356951 111.70/111.71 o 356950 111.70/111.71 o 356949 111.70/111.71 o 356948 111.70/111.71 o 356947 111.70/111.71 o 356946 111.70/111.71 o 356945 111.70/111.71 o 355458 111.70/111.71 o 353971 111.70/111.71 o 352484 111.70/111.71 o 350997 111.70/111.71 o 349517 111.70/111.71 o 349514 111.70/111.71 o 349513 111.70/111.71 o 349512 111.70/111.71 o 349511 111.70/111.71 o 349510 111.70/111.71 o 348030 111.70/111.71 o 348029 111.70/111.71 o 348028 111.70/111.71 o 348027 111.70/111.71 o 348026 111.70/111.71 o 348025 111.70/111.71 o 348024 111.70/111.71 o 348023 111.70/111.71 o 346538 111.70/111.71 o 346537 111.70/111.71 o 346536 111.70/111.71 o 345056 111.70/111.71 o 345055 111.70/111.71 o 345054 111.70/111.71 o 345053 111.70/111.71 o 345052 111.70/111.71 o 345050 111.70/111.71 o 345049 111.70/111.71 o 343563 111.70/111.71 o 343562 111.70/111.71 o 342075 111.70/111.71 o 340588 111.70/111.71 o 340587 111.70/111.71 o 339101 111.70/111.71 o 339100 111.70/111.71 o 337614 111.70/111.71 o 337613 111.70/111.71 o 336127 111.70/111.71 o 336126 111.70/111.71 o 334648 111.70/111.71 o 334647 111.70/111.71 o 334646 111.70/111.71 o 334645 111.70/111.71 o 334644 111.70/111.71 o 334643 111.70/111.71 o 334642 111.70/111.71 o 334641 111.70/111.71 o 334640 111.70/111.71 o 334639 111.70/111.71 o 333154 111.70/111.71 o 331667 111.70/111.71 o 330180 111.70/111.71 o 328702 111.70/111.71 o 328701 111.70/111.71 o 328700 111.70/111.71 o 328699 111.70/111.71 o 328698 111.70/111.71 o 328697 111.70/111.71 o 328696 111.70/111.71 o 328695 111.70/111.71 o 327209 111.70/111.71 o 325722 111.70/111.71 o 324235 111.70/111.71 o 322748 111.70/111.71 o 321262 111.70/111.71 o 319775 111.70/111.71 o 319774 111.70/111.71 o 318287 111.70/111.71 o 316809 111.70/111.71 o 316808 111.70/111.71 o 316807 111.70/111.71 o 316804 111.70/111.71 o 316803 111.70/111.71 o 316802 111.70/111.71 o 316801 111.70/111.71 o 316800 111.70/111.71 o 315320 111.70/111.71 o 315317 111.70/111.71 o 315316 111.70/111.71 o 315315 111.70/111.71 o 315314 111.70/111.71 o 315313 111.70/111.71 o 313826 111.70/111.71 o 313825 111.70/111.71 o 312340 111.70/111.71 o 312339 111.70/111.71 o 310853 111.70/111.71 o 310852 111.70/111.71 o 309366 111.70/111.71 o 309365 111.70/111.71 o 307880 111.70/111.71 o 307879 111.70/111.71 o 307878 111.70/111.71 o 306392 111.70/111.71 o 306391 111.70/111.71 o 304911 111.70/111.71 o 304910 111.70/111.71 o 304909 111.70/111.71 o 304908 111.70/111.71 o 304907 111.70/111.71 o 304906 111.70/111.71 o 304905 111.70/111.71 o 304904 111.70/111.71 o 303417 111.70/111.71 o 301930 111.70/111.71 o 300444 111.70/111.71 o 300443 111.70/111.71 o 298956 111.70/111.71 o 297476 111.70/111.71 o 297475 111.70/111.71 o 297474 111.70/111.71 o 297473 111.70/111.71 o 297472 111.70/111.71 o 297469 111.70/111.71 o 295983 111.70/111.71 o 295982 111.70/111.71 o 294496 111.70/111.71 o 294495 111.70/111.71 o 290037 111.70/111.71 o 290036 111.70/111.71 o 290035 111.70/111.71 o 290034 111.70/111.71 o 288548 111.70/111.71 o 288547 111.70/111.71 o 287069 111.70/111.71 o 287068 111.70/111.71 o 287067 111.70/111.71 o 287066 111.70/111.71 o 287065 111.70/111.71 o 287064 111.70/111.71 o 287063 111.70/111.71 o 287062 111.70/111.71 o 287061 111.70/111.71 o 287060 111.70/111.71 o 285574 111.70/111.71 o 284088 111.70/111.71 o 284087 111.70/111.71 o 284086 111.70/111.71 o 282608 111.70/111.71 o 282607 111.70/111.71 o 282606 111.70/111.71 o 282605 111.70/111.71 o 282604 111.70/111.71 o 282603 111.70/111.71 o 282602 111.70/111.71 o 282600 111.70/111.71 o 282599 111.70/111.71 o 281119 111.70/111.71 o 281118 111.70/111.71 o 281117 111.70/111.71 o 281116 111.70/111.71 o 281115 111.70/111.71 o 281114 111.70/111.71 o 281112 111.70/111.71 o 279626 111.70/111.71 o 279625 111.70/111.71 o 278147 111.70/111.71 o 278146 111.70/111.71 o 278143 111.70/111.71 o 278142 111.70/111.71 o 278141 111.70/111.71 o 278139 111.70/111.71 o 276653 111.70/111.71 o 276652 111.70/111.71 o 275173 111.70/111.71 o 275172 111.70/111.71 o 275171 111.70/111.71 o 275170 111.70/111.71 o 275169 111.70/111.71 o 275168 111.70/111.71 o 275166 111.70/111.71 o 275165 111.70/111.71 o 273685 111.70/111.71 o 273684 111.70/111.71 o 273683 111.70/111.71 o 273682 111.70/111.71 o 273681 111.70/111.71 o 273680 111.70/111.71 o 273678 111.70/111.71 o 272192 111.70/111.71 o 272191 111.70/111.71 o 270712 111.70/111.71 o 270711 111.70/111.71 o 270710 111.70/111.71 o 270709 111.70/111.71 o 270708 111.70/111.71 o 270707 111.70/111.71 o 270706 111.70/111.71 o 270705 111.70/111.71 o 270704 111.70/111.71 o 269217 111.70/111.71 o 267737 111.70/111.71 o 267736 111.70/111.71 o 267735 111.70/111.71 o 267734 111.70/111.71 o 267733 111.70/111.71 o 267732 111.70/111.71 o 267731 111.70/111.71 o 267730 111.70/111.71 o 266243 111.70/111.71 o 264763 111.70/111.71 o 264761 111.70/111.71 o 264760 111.70/111.71 o 264759 111.70/111.71 o 264758 111.70/111.71 o 264757 111.70/111.71 o 264756 111.70/111.71 o 263276 111.70/111.71 o 263273 111.70/111.71 o 263272 111.70/111.71 o 263271 111.70/111.71 o 263269 111.70/111.71 o 261782 111.70/111.71 o 260295 111.70/111.71 o 258815 111.70/111.71 o 258814 111.70/111.71 o 258813 111.70/111.71 o 258812 111.70/111.71 o 258811 111.70/111.71 o 258810 111.70/111.71 o 258809 111.70/111.71 o 258808 111.70/111.71 o 257321 111.70/111.71 o 255835 111.70/111.71 o 255834 111.70/111.71 o 254348 111.70/111.71 o 254347 111.70/111.71 o 252862 111.70/111.71 o 252861 111.70/111.71 o 252860 111.70/111.71 o 251374 111.70/111.71 o 251373 111.70/111.71 o 249895 111.70/111.71 o 249894 111.70/111.71 o 249893 111.70/111.71 o 249892 111.70/111.71 o 249891 111.70/111.71 o 249890 111.70/111.71 o 249889 111.70/111.71 o 249888 111.70/111.71 o 249887 111.70/111.71 o 249886 111.70/111.71 o 248400 111.70/111.71 o 248399 111.70/111.71 o 246912 111.70/111.71 o 245426 111.70/111.71 o 245425 111.70/111.71 o 243939 111.70/111.71 o 243938 111.70/111.71 o 242452 111.70/111.71 o 242451 111.70/111.71 o 240964 111.70/111.71 o 239478 111.70/111.71 o 239477 111.70/111.71 o 237997 111.70/111.71 o 237996 111.70/111.71 o 237995 111.70/111.71 o 237994 111.70/111.71 o 237993 111.70/111.71 o 237992 111.70/111.71 o 237991 111.70/111.71 o 237990 111.70/111.71 o 236504 111.70/111.71 o 236503 111.70/111.71 o 235017 111.70/111.71 o 235016 111.70/111.71 o 233537 111.70/111.71 o 233536 111.70/111.71 o 233535 111.70/111.71 o 233534 111.70/111.71 o 233533 111.70/111.71 o 233532 111.70/111.71 o 233531 111.70/111.71 o 233530 111.70/111.71 o 233529 111.70/111.71 o 232042 111.70/111.71 o 230555 111.70/111.71 o 230553 111.70/111.71 o 229068 111.70/111.71 o 227583 111.70/111.71 o 227582 111.70/111.71 o 227581 111.70/111.71 o 226095 111.70/111.71 o 226094 111.70/111.71 o 224608 111.70/111.71 o 224607 111.70/111.71 o 223121 111.70/111.71 o 223120 111.70/111.71 o 221641 111.70/111.71 o 221640 111.70/111.71 o 221639 111.70/111.71 o 221638 111.70/111.71 o 221637 111.70/111.71 o 221636 111.70/111.71 o 221634 111.70/111.71 o 221633 111.70/111.71 o 220147 111.70/111.71 o 220146 111.70/111.71 o 218659 111.70/111.71 o 217173 111.70/111.71 o 217172 111.70/111.71 o 215686 111.70/111.71 o 215685 111.70/111.71 o 214208 111.70/111.71 o 214205 111.70/111.71 o 214204 111.70/111.71 o 214203 111.70/111.71 o 214202 111.70/111.71 o 214201 111.70/111.71 o 214200 111.70/111.71 o 214199 111.70/111.71 o 214198 111.70/111.71 o 212712 111.70/111.71 o 212711 111.70/111.71 o 211224 111.70/111.71 o 209737 111.70/111.71 o 208250 111.70/111.71 o 206763 111.70/111.71 o 206761 111.70/111.71 o 205276 111.70/111.71 o 205275 111.70/111.71 o 205274 111.70/111.71 o 203789 111.70/111.71 o 202302 111.70/111.71 o 202300 111.70/111.71 o 200815 111.70/111.71 o 199328 111.70/111.71 o 197843 111.70/111.71 o 197842 111.70/111.71 o 197841 111.70/111.71 o 196354 111.70/111.71 o 196353 111.70/111.71 o 196352 111.70/111.71 o 196351 111.70/111.71 o 193377 111.70/111.71 o 191892 111.70/111.71 o 190412 111.70/111.71 o 190410 111.70/111.71 o 190409 144.70/144.77 o 190408 144.70/144.77 o 190407 144.70/144.77 o 190405 144.70/144.77 o 188919 144.70/144.77 o 188918 144.70/144.77 o 187431 144.70/144.77 o 185945 144.70/144.77 o 185944 144.70/144.77 o 184459 144.70/144.77 o 184458 144.70/144.77 o 184457 144.70/144.77 o 182970 144.70/144.77 o 182968 144.70/144.77 o 181484 144.70/144.77 o 181483 144.70/144.77 o 179996 144.70/144.77 o 178510 144.70/144.77 o 178509 144.70/144.77 o 177030 144.70/144.77 o 177029 144.70/144.77 o 177028 144.70/144.77 o 177027 144.70/144.77 o 177026 144.70/144.77 o 177025 144.70/144.77 o 177024 144.70/144.77 o 177023 144.70/144.77 o 177022 144.70/144.77 o 177021 144.70/144.77 o 175534 144.70/144.77 o 174047 144.70/144.77 o 172560 144.70/144.77 o 172559 144.70/144.77 o 171073 144.70/144.77 o 171072 144.70/144.77 o 171071 144.70/144.77 o 169592 144.70/144.77 o 169591 144.70/144.77 o 169590 144.70/144.77 o 169589 144.70/144.77 o 169588 144.70/144.77 o 169587 144.70/144.77 o 169586 144.70/144.77 o 169585 144.70/144.77 o 169584 144.70/144.77 o 169583 144.70/144.77 o 168099 144.70/144.77 o 168098 144.70/144.77 o 168097 144.70/144.77 o 166611 144.70/144.77 o 166610 144.70/144.77 o 165132 144.70/144.77 o 165131 144.70/144.77 o 165130 144.70/144.77 o 165129 144.70/144.77 o 165128 144.70/144.77 o 165127 144.70/144.77 o 165126 144.70/144.77 o 165125 144.70/144.77 o 165124 144.70/144.77 o 165123 144.70/144.77 o 163637 144.70/144.77 o 163636 144.70/144.77 o 163635 144.70/144.77 o 163634 144.70/144.77 o 162157 144.70/144.77 o 162156 144.70/144.77 o 162155 144.70/144.77 o 162154 144.70/144.77 o 162153 144.70/144.77 o 162152 144.70/144.77 o 162151 144.70/144.77 o 162150 144.70/144.77 o 162149 144.70/144.77 o 160665 144.70/144.77 o 160664 144.70/144.77 o 160663 144.70/144.77 o 159179 144.70/144.77 o 159178 144.70/144.77 o 159177 144.70/144.77 o 159176 144.70/144.77 o 157697 144.70/144.77 o 157696 144.70/144.77 o 157695 144.70/144.77 o 157694 144.70/144.77 o 157693 144.70/144.77 o 157692 144.70/144.77 o 157691 144.70/144.77 o 157690 144.70/144.77 o 157689 144.70/144.77 o 156208 144.70/144.77 o 156207 144.70/144.77 o 156206 144.70/144.77 o 154728 144.70/144.77 o 154727 144.70/144.77 o 154726 144.70/144.77 o 154725 144.70/144.77 o 154724 144.70/144.77 o 154723 144.70/144.77 o 154722 144.70/144.77 o 154721 144.70/144.77 o 154720 144.70/144.77 o 154719 144.70/144.77 o 154718 144.70/144.77 o 154716 144.70/144.77 o 153239 144.70/144.77 o 153238 144.70/144.77 o 153237 144.70/144.77 o 153236 144.70/144.77 o 153235 144.70/144.77 o 153234 144.70/144.77 o 153233 144.70/144.77 o 153232 144.70/144.77 o 153231 144.70/144.77 o 153230 144.70/144.77 o 153229 144.70/144.77 o 150263 144.70/144.77 o 150262 144.70/144.77 o 150261 144.70/144.77 o 150260 144.70/144.77 o 150259 144.70/144.77 o 150258 144.70/144.77 o 150257 144.70/144.77 o 150256 144.70/144.77 o 150255 144.70/144.77 o 148771 144.70/144.77 o 148770 144.70/144.77 o 148769 144.70/144.77 o 148768 144.70/144.77 o 147282 144.70/144.77 o 147281 144.70/144.77 o 145795 144.70/144.77 o 145794 144.70/144.77 o 144317 144.70/144.77 o 144316 144.70/144.77 o 144315 144.70/144.77 o 144314 144.70/144.77 o 144312 144.70/144.77 o 144311 144.70/144.77 o 144310 144.70/144.77 o 144309 144.70/144.77 o 144308 144.70/144.77 o 144307 144.70/144.77 o 142827 144.70/144.77 o 142826 144.70/144.77 o 142825 144.70/144.77 o 142824 144.70/144.77 o 142823 144.70/144.77 o 142821 144.70/144.77 o 142820 144.70/144.77 o 141336 144.70/144.77 o 141335 144.70/144.77 o 141334 144.70/144.77 o 141333 144.70/144.77 o 141330 144.70/144.77 o 141329 144.70/144.77 o 141328 144.70/144.77 o 141327 144.70/144.77 o 141326 144.70/144.77 o 141325 144.70/144.77 o 139853 144.70/144.77 o 139852 144.70/144.77 o 139851 144.70/144.77 o 139850 144.70/144.77 o 139849 144.70/144.77 o 139848 144.70/144.77 o 139847 144.70/144.77 o 139846 144.70/144.77 o 139845 144.70/144.77 o 139844 144.70/144.77 o 139843 144.70/144.77 o 139841 144.70/144.77 o 139840 144.70/144.77 o 139839 144.70/144.77 o 139838 144.70/144.77 o 138358 144.70/144.77 o 138357 144.70/144.77 o 138356 144.70/144.77 o 138355 144.70/144.77 o 138354 144.70/144.77 o 138353 144.70/144.77 o 138352 144.70/144.77 o 138351 144.70/144.77 o 136864 144.70/144.77 o 135394 144.70/144.77 o 135393 144.70/144.77 o 135392 144.70/144.77 o 135391 144.70/144.77 o 135390 144.70/144.77 o 135389 144.70/144.77 o 135388 144.70/144.77 o 135387 144.70/144.77 o 135386 144.70/144.77 o 135385 144.70/144.77 o 135384 144.70/144.77 o 135383 144.70/144.77 o 135382 144.70/144.77 o 135381 144.70/144.77 o 135380 144.70/144.77 o 133894 144.70/144.77 o 133893 144.70/144.77 o 132420 144.70/144.77 o 132419 144.70/144.77 o 132418 144.70/144.77 o 132417 144.70/144.77 o 132416 144.70/144.77 o 132415 144.70/144.77 o 132414 144.70/144.77 o 132413 144.70/144.77 o 132412 144.70/144.77 o 132411 144.70/144.77 o 132410 144.70/144.77 o 132409 144.70/144.77 o 132407 144.70/144.77 o 132406 144.70/144.77 o 130930 144.70/144.77 o 130929 144.70/144.77 o 130928 144.70/144.77 o 130927 144.70/144.77 o 130926 144.70/144.77 o 130924 144.70/144.77 o 130923 144.70/144.77 o 129445 144.70/144.77 o 129444 144.70/144.77 o 129443 144.70/144.77 o 129442 144.70/144.77 o 129441 144.70/144.77 o 129440 144.70/144.77 o 129439 144.70/144.77 o 129438 144.70/144.77 o 126467 144.70/144.77 o 124987 144.70/144.77 o 124986 144.70/144.77 o 124985 144.70/144.77 o 124983 144.70/144.77 o 124982 144.70/144.77 o 124981 144.70/144.77 o 124980 144.70/144.77 o 123502 144.70/144.77 o 123501 144.70/144.77 o 123500 144.70/144.77 o 123499 144.70/144.77 o 123497 144.70/144.77 o 123496 144.70/144.77 o 123495 144.70/144.77 o 123494 144.70/144.77 o 123493 144.70/144.77 o 122014 144.70/144.77 o 122013 144.70/144.77 o 122012 144.70/144.77 o 122011 144.70/144.77 o 122010 144.70/144.77 o 122007 144.70/144.77 o 120523 144.70/144.77 o 120522 144.70/144.77 o 119050 144.70/144.77 o 119049 144.70/144.77 o 119048 144.70/144.77 o 119047 144.70/144.77 o 119046 144.70/144.77 o 119043 144.70/144.77 o 119042 144.70/144.77 o 119041 144.70/144.77 o 119040 144.70/144.77 o 119039 144.70/144.77 o 119038 144.70/144.77 o 119037 144.70/144.77 o 119036 144.70/144.77 o 119035 144.70/144.77 o 119034 144.70/144.77 o 117556 144.70/144.77 o 117555 144.70/144.77 o 117554 144.70/144.77 o 117553 144.70/144.77 o 117552 144.70/144.77 o 117551 144.70/144.77 o 117550 144.70/144.77 o 117549 144.70/144.77 o 117548 144.70/144.77 o 117547 144.70/144.77 o 116069 144.70/144.77 o 116068 144.70/144.77 o 116067 144.70/144.77 o 116066 144.70/144.77 o 116065 144.70/144.77 o 116064 144.70/144.77 o 116063 144.70/144.77 o 116062 144.70/144.77 o 116061 144.70/144.77 o 116060 144.70/144.77 o 114587 144.70/144.77 o 114586 144.70/144.77 o 114585 144.70/144.77 o 114584 144.70/144.77 o 114583 144.70/144.77 o 114581 144.70/144.77 o 114580 144.70/144.77 o 114579 144.70/144.77 o 114578 144.70/144.77 o 114577 144.70/144.77 o 114576 144.70/144.77 o 114575 144.70/144.77 o 114574 144.70/144.77 o 114573 144.70/144.77 o 113100 144.70/144.77 o 113099 144.70/144.77 o 113098 144.70/144.77 o 113096 144.70/144.77 o 113095 144.70/144.77 o 113094 144.70/144.77 o 113092 144.70/144.77 o 111620 144.70/144.77 o 111619 144.70/144.77 o 111618 144.70/144.77 o 111617 144.70/144.77 o 111616 144.70/144.77 o 111615 144.70/144.77 o 111614 144.70/144.77 o 111613 144.70/144.77 o 111612 144.70/144.77 o 111611 144.70/144.77 o 111610 144.70/144.77 o 111609 144.70/144.77 o 111608 144.70/144.77 o 111607 144.70/144.77 o 111606 144.70/144.77 o 111605 144.70/144.77 o 110125 144.70/144.77 o 110124 144.70/144.77 o 110123 144.70/144.77 o 110121 144.70/144.77 o 110120 144.70/144.77 o 110119 144.70/144.77 o 110118 144.70/144.77 o 108638 144.70/144.77 o 108637 144.70/144.77 o 108635 144.70/144.77 o 108634 144.70/144.77 o 108633 144.70/144.77 o 108632 144.70/144.77 o 108631 144.70/144.77 o 107144 144.70/144.77 o 105671 144.70/144.78 o 105670 144.70/144.78 o 105669 144.70/144.78 o 105668 144.70/144.78 o 105667 144.70/144.78 o 105666 144.70/144.78 o 105665 144.70/144.78 o 105664 144.70/144.78 o 105663 144.70/144.78 o 105662 144.70/144.78 o 105661 144.70/144.78 o 105660 144.70/144.78 o 105659 144.70/144.78 o 105658 144.70/144.78 o 105657 144.70/144.78 o 104171 144.70/144.78 o 102693 144.70/144.78 o 102692 144.70/144.78 o 102691 144.70/144.78 o 102690 144.70/144.78 o 102689 144.70/144.78 o 102688 144.70/144.78 o 102687 144.70/144.78 o 102686 144.70/144.78 o 101206 144.70/144.78 o 101205 144.70/144.78 o 101204 144.70/144.78 o 101203 144.70/144.78 o 101202 144.70/144.78 o 101201 144.70/144.78 o 101200 144.70/144.78 o 101199 144.70/144.78 o 99727 144.70/144.78 o 99726 144.70/144.78 o 99725 144.70/144.78 o 99724 144.70/144.78 o 99723 144.70/144.78 o 99722 144.70/144.78 o 99721 144.70/144.78 o 99720 144.70/144.78 o 99719 144.70/144.78 o 99718 144.70/144.78 o 99717 144.70/144.78 o 99716 144.70/144.78 o 99715 144.70/144.78 o 99714 144.70/144.78 o 99713 144.70/144.78 o 99712 144.70/144.78 o 98239 144.70/144.78 o 98238 144.70/144.78 o 98237 144.70/144.78 o 98236 144.70/144.78 o 98235 144.70/144.78 o 98234 144.70/144.78 o 98233 144.70/144.78 o 98232 144.70/144.78 o 98231 144.70/144.78 o 98230 144.70/144.78 o 98229 144.70/144.78 o 98228 144.70/144.78 o 98227 144.70/144.78 o 98226 144.70/144.78 o 98225 144.70/144.78 o 96745 144.70/144.78 o 96744 144.70/144.78 o 96743 144.70/144.78 o 96742 144.70/144.78 o 96741 144.70/144.78 o 96740 144.70/144.78 o 96739 144.70/144.78 o 96738 144.70/144.78 o 95258 144.70/144.78 o 95257 144.70/144.78 o 95256 144.70/144.78 o 95255 144.70/144.78 o 95254 144.70/144.78 o 95253 144.70/144.78 o 95252 144.70/144.78 o 95251 144.70/144.78 o 95250 144.70/144.78 o 93780 144.70/144.78 o 93779 144.70/144.78 o 93778 144.70/144.78 o 93777 144.70/144.78 o 93775 144.70/144.78 o 93774 144.70/144.78 o 93773 144.70/144.78 o 93772 144.70/144.78 o 93771 144.70/144.78 o 93770 144.70/144.78 o 93769 144.70/144.78 o 93768 144.70/144.78 o 93767 144.70/144.78 o 93766 144.70/144.78 o 93765 144.70/144.78 o 93764 144.70/144.78 o 93763 144.70/144.78 o 93762 144.70/144.78 o 92282 144.70/144.78 o 92281 144.70/144.78 o 92280 144.70/144.78 o 92279 144.70/144.78 o 92278 144.70/144.78 o 92277 144.70/144.78 o 92276 144.70/144.78 o 92275 144.70/144.78 o 92274 144.70/144.78 o 92273 144.70/144.78 o 90793 144.70/144.78 o 90792 144.70/144.78 o 90791 144.70/144.78 o 90790 144.70/144.78 o 90789 144.70/144.78 o 90788 144.70/144.78 o 90787 144.70/144.78 o 90786 144.70/144.78 o 89307 144.70/144.78 o 89306 144.70/144.78 o 89305 144.70/144.78 o 89304 144.70/144.78 o 89303 144.70/144.78 o 89302 144.70/144.78 o 89301 144.70/144.78 o 89300 144.70/144.78 o 89299 176.50/176.52 o 87826 176.50/176.52 o 87825 176.50/176.52 o 87824 176.50/176.52 o 87823 176.50/176.52 o 87822 176.50/176.52 o 87821 176.50/176.52 o 87820 176.50/176.52 o 87819 176.50/176.52 o 87818 176.50/176.52 o 87817 176.50/176.52 o 87816 176.50/176.52 o 87815 176.50/176.52 o 87814 176.50/176.52 o 87813 176.50/176.52 o 87812 176.50/176.52 o 86332 176.50/176.52 o 86331 176.50/176.52 o 86330 176.50/176.52 o 86329 176.50/176.52 o 86328 176.50/176.52 o 86327 176.50/176.52 o 86326 176.50/176.52 o 86325 176.50/176.52 o 84845 176.50/176.52 o 84844 176.50/176.52 o 84843 176.50/176.52 o 84842 176.50/176.52 o 84841 176.50/176.52 o 84840 176.50/176.52 o 84839 176.50/176.52 o 84838 176.50/176.52 o 83359 176.50/176.52 o 83358 176.50/176.52 o 83357 176.50/176.52 o 83356 176.50/176.52 o 83355 176.50/176.52 o 83354 176.50/176.52 o 83353 176.50/176.52 o 83352 176.50/176.52 o 83351 176.50/176.52 o 83350 176.50/176.52 o 81870 176.50/176.52 o 81869 176.50/176.52 o 81868 176.50/176.52 o 81867 176.50/176.52 o 81866 176.50/176.52 o 81865 176.50/176.52 o 81864 176.50/176.52 o 81863 176.50/176.52 o 81862 176.50/176.52 o 81861 176.50/176.52 o 80374 176.50/176.52 o 78895 176.50/176.52 o 78894 176.50/176.52 o 78893 176.50/176.52 o 78892 176.50/176.52 o 78891 176.50/176.52 o 78890 176.50/176.52 o 78889 176.50/176.52 o 78888 176.50/176.52 o 78887 176.50/176.52 o 78886 176.50/176.52 o 78885 176.50/176.52 o 77399 176.50/176.52 o 77398 176.50/176.52 o 75926 176.50/176.52 o 75925 176.50/176.52 o 75924 176.50/176.52 o 75923 176.50/176.52 o 75922 176.50/176.52 o 75921 176.50/176.52 o 75920 176.50/176.52 o 75919 176.50/176.52 o 75918 176.50/176.52 o 75917 176.50/176.52 o 75916 176.50/176.52 o 75915 176.50/176.52 o 75914 176.50/176.52 o 75913 176.50/176.52 o 75912 176.50/176.52 o 75911 176.50/176.52 o 74439 176.50/176.52 o 74438 176.50/176.52 o 74437 176.50/176.52 o 74436 176.50/176.52 o 74435 176.50/176.52 o 74434 176.50/176.52 o 74433 176.50/176.52 o 74432 176.50/176.52 o 74431 176.50/176.52 o 74430 176.50/176.52 o 74429 176.50/176.52 o 74428 176.50/176.52 o 74427 176.50/176.52 o 74426 176.50/176.52 o 74425 176.50/176.52 o 74424 176.50/176.52 o 74423 176.50/176.52 o 74422 176.50/176.52 o 74421 176.50/176.52 o 72944 176.50/176.52 o 72943 176.50/176.52 o 72942 176.50/176.52 o 72941 176.50/176.52 o 72940 176.50/176.52 o 72939 176.50/176.52 o 72938 176.50/176.52 o 72937 176.50/176.52 o 72936 176.50/176.52 o 72935 176.50/176.52 o 71456 176.50/176.52 o 71455 176.50/176.52 o 71454 176.50/176.52 o 71453 176.50/176.52 o 71452 176.50/176.52 o 71451 176.50/176.52 o 71450 176.50/176.52 o 71449 176.50/176.52 o 71448 176.50/176.52 o 69963 176.50/176.52 o 69962 176.50/176.52 o 69961 176.50/176.52 o 68483 176.50/176.52 o 68482 176.50/176.52 o 68481 176.50/176.52 o 68480 176.50/176.52 o 68479 176.50/176.52 o 68478 176.50/176.52 o 68477 176.50/176.52 o 68476 176.50/176.52 o 68475 176.50/176.52 o 68474 176.50/176.52 o 68473 176.50/176.52 o 66988 176.50/176.52 o 66987 176.50/176.52 o 65508 176.50/176.52 o 65506 176.50/176.52 o 65505 176.50/176.52 o 65504 176.50/176.52 o 65503 176.50/176.52 o 65502 176.50/176.52 o 65501 176.50/176.52 o 65500 176.50/176.52 o 64013 176.50/176.52 o 62534 176.50/176.52 o 62533 176.50/176.52 o 62532 176.50/176.52 o 62531 176.50/176.52 o 62530 176.50/176.52 o 62529 176.50/176.52 o 62528 176.50/176.52 o 62527 176.50/176.52 o 62526 176.50/176.52 o 62525 176.50/176.52 o 61047 176.50/176.52 o 61046 176.50/176.52 o 61045 176.50/176.52 o 61044 176.50/176.52 o 61043 176.50/176.52 o 61042 176.50/176.52 o 61041 176.50/176.52 o 61040 176.50/176.52 o 61039 176.50/176.52 o 61038 176.50/176.52 o 59561 176.50/176.52 o 59560 176.50/176.52 o 59559 176.50/176.52 o 59558 176.50/176.52 o 59557 176.50/176.52 o 59556 176.50/176.52 o 59555 176.50/176.52 o 59554 176.50/176.52 o 59553 176.50/176.52 o 58073 176.50/176.52 o 58072 176.50/176.52 o 58071 176.50/176.52 o 58070 176.50/176.52 o 58069 176.50/176.52 o 58068 176.50/176.52 o 58067 176.50/176.52 o 58066 176.50/176.52 o 56587 176.50/176.52 o 56586 176.50/176.52 o 56585 176.50/176.52 o 56584 176.50/176.52 o 56583 176.50/176.52 o 56582 176.50/176.52 o 56581 176.50/176.52 o 56580 176.50/176.52 o 56579 176.50/176.52 o 55099 176.50/176.52 o 55098 176.50/176.52 o 55097 176.50/176.52 o 55096 176.50/176.52 o 55095 176.50/176.52 o 55094 176.50/176.52 o 55093 176.50/176.52 o 55092 176.50/176.52 o 55091 176.50/176.52 o 55090 176.50/176.52 o 53606 176.50/176.52 o 53605 176.50/176.52 o 53604 176.50/176.52 o 52132 176.50/176.52 o 52131 176.50/176.52 o 52130 176.50/176.52 o 52129 176.50/176.52 o 52128 176.50/176.52 o 52127 176.50/176.52 o 52126 176.50/176.52 o 52125 176.50/176.52 o 52124 176.50/176.52 o 52123 176.50/176.52 o 52122 176.50/176.52 o 52121 176.50/176.52 o 52120 176.50/176.52 o 52119 176.50/176.52 o 52118 176.50/176.52 o 52117 176.50/176.52 o 50637 176.50/176.52 o 50636 176.50/176.52 o 50635 176.50/176.52 o 50634 176.50/176.52 o 50633 176.50/176.52 o 50632 176.50/176.52 o 50631 176.50/176.52 o 50630 176.50/176.52 o 49151 176.50/176.52 o 49150 176.50/176.52 o 49149 176.50/176.52 o 49148 176.50/176.52 o 49147 176.50/176.52 o 49146 176.50/176.52 o 49145 176.50/176.52 o 49144 176.50/176.52 o 49143 176.50/176.52 o 47656 176.50/176.52 o 47655 176.50/176.52 o 47654 176.50/176.52 o 47653 176.50/176.52 o 47652 176.50/176.52 o 46173 176.50/176.52 o 46172 176.50/176.52 o 46171 176.50/176.52 o 46170 176.50/176.52 o 46169 176.50/176.52 o 46167 176.50/176.52 o 46166 176.50/176.52 o 46165 176.50/176.52 o 46164 176.50/176.52 o 44677 176.50/176.52 o 43198 176.50/176.52 o 43197 176.50/176.52 o 43196 176.50/176.52 o 43195 176.50/176.52 o 43194 176.50/176.52 o 43193 176.50/176.52 o 43192 176.50/176.52 o 43191 176.50/176.52 o 43190 176.50/176.52 o 43187 176.50/176.52 o 41717 176.50/176.52 o 40230 176.50/176.52 o 40229 176.50/176.52 o 40228 176.50/176.52 o 40227 176.50/176.52 o 40226 176.50/176.52 o 40225 176.50/176.52 o 40224 176.50/176.52 o 40223 176.50/176.52 o 40222 176.50/176.52 o 40221 176.50/176.52 o 40220 176.50/176.52 o 40219 176.50/176.52 o 40218 176.50/176.52 o 40217 176.50/176.52 o 40216 176.50/176.52 o 40215 176.50/176.52 o 40214 176.50/176.52 o 40213 176.50/176.52 o 38727 176.50/176.52 o 38726 176.50/176.52 o 38725 176.50/176.52 o 38724 176.50/176.52 o 37253 176.50/176.52 o 37252 176.50/176.52 o 37251 176.50/176.52 o 37250 176.50/176.52 o 37249 176.50/176.52 o 37248 176.50/176.52 o 37247 176.50/176.52 o 37246 176.50/176.52 o 37245 176.50/176.52 o 37244 176.50/176.52 o 37243 176.50/176.52 o 37242 176.50/176.52 o 37241 176.50/176.52 o 37240 176.50/176.52 o 37239 176.50/176.52 o 37238 176.50/176.52 o 37237 176.50/176.52 o 35758 176.50/176.52 o 35757 176.50/176.52 o 35756 176.50/176.52 o 35755 176.50/176.52 o 35754 176.50/176.52 o 35753 176.50/176.52 o 35752 176.50/176.52 o 35750 176.50/176.52 o 34273 176.50/176.52 o 34272 176.50/176.52 o 34271 176.50/176.52 o 34270 176.50/176.52 o 34269 176.50/176.52 o 34268 176.50/176.52 o 34267 176.50/176.52 o 34266 176.50/176.52 o 34265 176.50/176.52 o 34264 176.50/176.52 o 34263 176.50/176.52 o 32776 176.50/176.52 o 31305 176.50/176.52 o 31304 176.50/176.52 o 31303 176.50/176.52 o 31302 176.50/176.52 o 31300 176.50/176.52 o 31298 176.50/176.52 o 31297 176.50/176.52 o 31295 176.50/176.52 o 31294 176.50/176.52 o 31293 176.50/176.52 o 31292 176.50/176.52 o 31291 176.50/176.52 o 31290 176.50/176.52 o 31289 176.50/176.52 o 29804 176.50/176.52 o 29803 176.50/176.52 o 29802 176.50/176.52 o 28316 176.50/176.52 o 28315 176.50/176.52 o 28314 176.50/176.52 o 28313 176.50/176.52 o 26841 176.50/176.52 o 26839 176.50/176.52 o 26838 176.50/176.52 o 26835 176.50/176.52 o 26834 176.50/176.52 o 26833 176.50/176.52 o 26832 176.50/176.52 o 26831 176.50/176.52 o 26830 176.50/176.52 o 26829 176.50/176.52 o 26828 176.50/176.52 o 26827 176.50/176.52 o 26826 176.50/176.52 o 26825 176.50/176.52 o 26824 176.50/176.52 o 26823 176.50/176.52 o 26822 176.50/176.52 o 25335 176.50/176.52 o 23849 176.50/176.52 o 23848 176.50/176.52 o 23847 176.50/176.52 o 23846 176.50/176.52 o 22364 176.50/176.52 o 22363 176.50/176.52 o 22362 176.50/176.52 o 22361 176.50/176.52 o 22360 176.50/176.52 o 22359 176.50/176.52 o 22358 176.50/176.52 o 22357 176.50/176.52 o 22356 176.50/176.52 o 20870 176.50/176.52 o 20869 176.50/176.52 o 19383 176.50/176.52 o 19382 176.50/176.52 o 17895 176.50/176.52 o 16413 176.50/176.52 o 16412 176.50/176.52 o 16411 176.50/176.52 o 16410 176.50/176.52 o 16409 176.50/176.52 o 16408 176.50/176.52 o 14921 176.50/176.52 o 13435 176.50/176.52 o 13434 176.50/176.52 o 11952 176.50/176.52 o 11951 176.50/176.52 o 11950 176.50/176.52 o 11949 176.50/176.52 o 11948 176.50/176.52 o 11947 176.50/176.52 o 11946 176.50/176.52 o 11945 176.50/176.52 o 11944 176.50/176.52 o 11943 176.50/176.52 o 11942 176.50/176.52 o 10457 176.50/176.52 o 10456 176.50/176.52 o 10455 176.50/176.52 o 10454 176.50/176.52 o 8967 176.50/176.52 o 8966 176.50/176.52 o 7478 176.50/176.52 o 7474 176.50/176.52 o 7473 176.50/176.52 o 5985 176.50/176.52 o 5983 176.50/176.52 o 5982 176.50/176.52 o 3005 176.50/176.52 o 3003 176.50/176.52 o 3002 176.50/176.52 o 1514 176.50/176.52 o 1513 176.50/176.52 o 1504 176.50/176.52 o 1501 176.50/176.52 o 14 176.50/176.52 o 13 176.50/176.52 o 11 176.50/176.52 o 10 176.50/176.52 o 9 176.50/176.52 o 8 176.50/176.52 o 7 176.50/176.52 o 6 176.50/176.52 o 5 176.50/176.52 o 4 176.50/176.52 o 3 176.50/176.52 o 1 176.50/176.52 o 0 176.50/176.52 s OPTIMUM FOUND 176.50/176.52 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
OK 0
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-3497963-1307936129/watcher-3497963-1307936129 -o /var/tmp/evaluation-result-3497963-1307936129/solver-3497963-1307936129 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497963-1307936129.opb --verbosity=0 --format=opb --randomseed=443732723 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.06 1.66 1.87 2/177 28454 /proc/meminfo: memFree=2591876/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=7892 CPUtime=0 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 434 0 0 0 0 0 0 0 25 0 1 0 905210038 8081408 387 33554432000 4194304 6957856 140734643589984 18446744073709551615 4429446 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 1973 391 227 675 0 1289 0 [startup+0.07084 s] /proc/loadavg: 1.06 1.66 1.87 2/177 28454 /proc/meminfo: memFree=2591876/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=14148 CPUtime=0.06 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 2013 0 0 0 6 0 0 0 25 0 1 0 905210038 14487552 1943 33554432000 4194304 6957856 140734643589984 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 3537 1945 251 675 0 2853 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 14148 [startup+0.10083 s] /proc/loadavg: 1.06 1.66 1.87 2/177 28454 /proc/meminfo: memFree=2591876/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=16724 CPUtime=0.09 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 2646 0 0 0 9 0 0 0 25 0 1 0 905210038 17125376 2576 33554432000 4194304 6957856 140734643589984 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 4181 2577 252 675 0 3497 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16724 [startup+0.300792 s] /proc/loadavg: 1.06 1.66 1.87 2/177 28454 /proc/meminfo: memFree=2591876/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=35932 CPUtime=0.29 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 7664 0 0 0 28 1 0 0 25 0 1 0 905210038 36794368 7388 33554432000 4194304 6957856 140734643589984 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 8983 7390 267 675 0 8299 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35932 [startup+0.700713 s] /proc/loadavg: 1.06 1.66 1.87 2/177 28454 /proc/meminfo: memFree=2591876/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=47416 CPUtime=0.69 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 10525 0 0 0 68 1 0 0 25 0 1 0 905210038 48553984 10249 33554432000 4194304 6957856 140734643589984 18446744073709551615 5922137 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 11854 10249 273 675 0 11170 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47416 [startup+1.50056 s] /proc/loadavg: 1.06 1.66 1.87 3/178 28455 /proc/meminfo: memFree=2551140/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=47420 CPUtime=1.49 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 10534 0 0 0 148 1 0 0 25 0 1 0 905210038 48558080 10258 33554432000 4194304 6957856 140734643589984 18446744073709551615 5314183 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 11855 10258 277 675 0 11171 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 47420 [startup+3.10026 s] /proc/loadavg: 1.14 1.66 1.87 3/178 28455 /proc/meminfo: memFree=2550520/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=47648 CPUtime=3.09 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 10643 0 0 0 308 1 0 0 25 0 1 0 905210038 48791552 10351 33554432000 4194304 6957856 140734643589984 18446744073709551615 5933964 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 11912 10351 277 675 0 11228 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 47648 [startup+6.30063 s] /proc/loadavg: 1.14 1.66 1.87 3/178 28455 /proc/meminfo: memFree=2549304/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=48024 CPUtime=6.29 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 10874 0 0 0 628 1 0 0 25 0 1 0 905210038 49176576 10492 33554432000 4194304 6957856 140734643589984 18446744073709551615 5313006 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 12006 10492 277 675 0 11322 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 48024 [startup+12.7004 s] /proc/loadavg: 1.27 1.68 1.88 3/178 28455 /proc/meminfo: memFree=2546892/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=48768 CPUtime=12.69 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 11189 0 0 0 1268 1 0 0 25 0 1 0 905210038 49938432 10707 33554432000 4194304 6957856 140734643589984 18446744073709551615 5917999 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 12192 10707 277 675 0 11508 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48768 [startup+25.501 s] /proc/loadavg: 1.38 1.69 1.88 3/178 28455 /proc/meminfo: memFree=2543836/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=50484 CPUtime=25.49 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 12167 0 0 0 2548 1 0 0 25 0 1 0 905210038 51695616 11333 33554432000 4194304 6957856 140734643589984 18446744073709551615 5932833 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 12621 11333 277 675 0 11937 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 50484 [startup+51.1011 s] /proc/loadavg: 1.59 1.71 1.88 3/178 28456 /proc/meminfo: memFree=2520068/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=65556 CPUtime=51.09 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 17955 0 0 0 5107 2 0 0 25 0 1 0 905210038 67129344 14808 33554432000 4194304 6957856 140734643589984 18446744073709551615 4851128 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 16389 14808 277 675 0 15705 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 65556 [startup+102.306 s] /proc/loadavg: 1.83 1.76 1.88 3/178 28457 /proc/meminfo: memFree=2461140/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=91792 CPUtime=102.3 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 28539 0 0 0 10226 4 0 0 25 0 1 0 905210038 93995008 21154 33554432000 4194304 6957856 140734643589984 18446744073709551615 5311728 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 22948 21154 278 675 0 22264 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 91792 [startup+162.301 s] /proc/loadavg: 1.93 1.79 1.89 3/178 28459 /proc/meminfo: memFree=2444108/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=107068 CPUtime=162.3 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 31275 0 0 0 16225 5 0 0 25 0 1 0 905210038 109637632 23879 33554432000 4194304 6957856 140734643589984 18446744073709551615 4838340 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 26767 23879 278 675 0 26083 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 107068 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.94 1.80 1.89 3/178 28459 /proc/meminfo: memFree=2438148/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=107068 CPUtime=166.3 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 32813 0 0 0 16625 5 0 0 25 0 1 0 905210038 109637632 25416 33554432000 4194304 6957856 140734643589984 18446744073709551615 5932846 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 26767 25416 278 675 0 26083 0 Current children cumulated CPU time (s) 166.3 Current children cumulated vsize (KiB) 107068 [startup+172.707 s] /proc/loadavg: 1.95 1.80 1.89 3/178 28459 /proc/meminfo: memFree=2434676/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=107068 CPUtime=172.7 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 33008 0 0 0 17265 5 0 0 25 0 1 0 905210038 109637632 25611 33554432000 4194304 6957856 140734643589984 18446744073709551615 4870173 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 26767 25611 278 675 0 26083 0 Current children cumulated CPU time (s) 172.7 Current children cumulated vsize (KiB) 107068 [startup+174.3 s] /proc/loadavg: 1.95 1.80 1.89 3/178 28459 /proc/meminfo: memFree=2434676/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=107068 CPUtime=174.3 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 33020 0 0 0 17425 5 0 0 25 0 1 0 905210038 109637632 25623 33554432000 4194304 6957856 140734643589984 18446744073709551615 4851192 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 26767 25623 278 675 0 26083 0 Current children cumulated CPU time (s) 174.3 Current children cumulated vsize (KiB) 107068 [startup+175.901 s] /proc/loadavg: 1.95 1.80 1.89 3/178 28459 /proc/meminfo: memFree=2434552/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=107068 CPUtime=175.9 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 33029 0 0 0 17585 5 0 0 25 0 1 0 905210038 109637632 25632 33554432000 4194304 6957856 140734643589984 18446744073709551615 5948406 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 26767 25632 278 675 0 26083 0 Current children cumulated CPU time (s) 175.9 Current children cumulated vsize (KiB) 107068 [startup+176.301 s] /proc/loadavg: 1.95 1.80 1.89 3/178 28459 /proc/meminfo: memFree=2434552/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=107068 CPUtime=176.3 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 33029 0 0 0 17625 5 0 0 25 0 1 0 905210038 109637632 25632 33554432000 4194304 6957856 140734643589984 18446744073709551615 5312956 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 26767 25632 278 675 0 26083 0 Current children cumulated CPU time (s) 176.3 Current children cumulated vsize (KiB) 107068 [startup+176.501 s] /proc/loadavg: 1.95 1.80 1.89 3/178 28459 /proc/meminfo: memFree=2434552/32950928 swapFree=67053956/67111528 [pid=28454] ppid=28452 vsize=107068 CPUtime=176.5 cores=1,3,5,7 /proc/28454/stat : 28454 (minisatid-gmp) R 28452 28454 26479 0 -1 4202496 33029 0 0 0 17645 5 0 0 25 0 1 0 905210038 109637632 25632 33554432000 4194304 6957856 140734643589984 18446744073709551615 5932573 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/28454/statm: 26767 25632 278 675 0 26083 0 Current children cumulated CPU time (s) 176.5 Current children cumulated vsize (KiB) 107068 Child status: 10 Real time (s): 176.529 CPU time (s): 176.535 CPU user time (s): 176.475 CPU system time (s): 0.05999 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 107068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 176.475 system time used= 0.05999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33032 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= 348 runsolver used 0.267959 second user time and 0.629904 second system time The end
Begin job on node148 at 2011-06-13 05:35:30 IDJOB=3497963 IDBENCH=72186 IDSOLVER=1990 FILE ID=node148/3497963-1307936129 RUNJOBID= node148-1307936128-28351 PBS_JOBID= 13559631 Free space on /var/tmp= 2896 MiB SOLVER NAME= MinisatID 2.5.2-gmp BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-randd6bc17.cudf.paranoid.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497963-1307936129/watcher-3497963-1307936129 -o /var/tmp/evaluation-result-3497963-1307936129/solver-3497963-1307936129 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497963-1307936129.opb --verbosity=0 --format=opb --randomseed=443732723 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4f53cc78622adca48c28df09109f3525 RANDOM SEED=443732723 node148.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.854 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.70 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 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.854 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.83 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.854 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.854 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.82 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.854 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.75 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.854 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.82 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.854 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: 2592056 kB Buffers: 99060 kB Cached: 29255300 kB SwapCached: 10520 kB Active: 14320812 kB Inactive: 15105692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 2592056 kB SwapTotal: 67111528 kB SwapFree: 67053956 kB Dirty: 6948 kB Writeback: 0 kB AnonPages: 68276 kB Mapped: 14568 kB Slab: 868964 kB PageTables: 4696 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 267244 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= 2892 MiB End job on node148 at 2011-06-13 05:38:26