Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2-gmp (fixed) | ? (TO) | 28290962445 | 1800.05 | 1802.02 |
Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-rand8177e7.cudf.trendy.opb |
MD5SUM | fbe043df26f5b74d89609c6a75012446 |
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 | 27874403091 |
Best CPU time to get the best result obtained on this benchmark | 32.5031 |
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 | 8811 |
Total number of constraints | 38694 |
Number of constraints which are clauses | 38278 |
Number of constraints which are cardinality constraints (but not clauses) | 416 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 553 |
Number of terms in the objective function | 4184 |
Biggest coefficient in the objective function | 9181846584 |
Number of bits for the biggest coefficient in the objective function | 34 |
Sum of the numbers in the objective function | 5068370546237 |
Number of bits of the sum of numbers in the objective function | 43 |
Biggest number in a constraint | 9181846584 |
Number of bits of the biggest number in a constraint | 34 |
Biggest sum of numbers in a constraint | 5068370546237 |
Number of bits of the biggest sum of numbers | 43 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.01 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 73.40/73.45 o 2563094496618 73.40/73.45 o 2553912650034 73.40/73.45 o 2544730803450 73.40/73.45 o 2535548956866 73.40/73.45 o 2526371495118 73.40/73.45 o 2517189648534 73.40/73.45 o 2508007801950 73.40/73.45 o 2498825955366 73.40/73.45 o 2489644108782 73.40/73.45 o 2471284800450 73.40/73.45 o 2462102953866 73.40/73.45 o 2452921107282 73.40/73.45 o 2443739260698 73.40/73.45 o 2434557414114 73.40/73.45 o 2425375567530 73.40/73.45 o 2416193720946 73.40/73.45 o 2407011874362 73.40/73.45 o 2397834412617 73.40/73.45 o 2388652566033 73.40/73.45 o 2379470719449 73.40/73.45 o 2370288872865 73.40/73.45 o 2361107026281 73.40/73.45 o 2351925179697 73.40/73.45 o 2342743333113 73.40/73.45 o 2333561486529 73.40/73.45 o 2324379639945 73.40/73.45 o 2315197793361 73.40/73.45 o 2306020331613 73.40/73.45 o 2296838485029 73.40/73.45 o 2269319254293 73.40/73.45 o 2260137407709 73.40/73.45 o 2250955561125 73.40/73.45 o 2241778099377 73.40/73.45 o 2232596252793 73.40/73.45 o 2223414406209 73.40/73.45 o 2214232559625 73.40/73.45 o 2205050713041 73.40/73.45 o 2195868866457 73.40/73.45 o 2186687019873 73.40/73.45 o 2177509558125 73.40/73.45 o 2168327711541 73.40/73.45 o 2159145864957 73.40/73.45 o 2149968403209 73.40/73.45 o 2140786556625 73.40/73.45 o 2131604710041 73.40/73.45 o 2122422863457 73.40/73.45 o 2113241016873 73.40/73.45 o 2104059170289 73.40/73.45 o 2094877323705 73.40/73.45 o 2085695477121 73.40/73.45 o 2058149937369 73.40/73.45 o 2048968090785 73.40/73.45 o 2039786244201 73.40/73.45 o 2030604397617 73.40/73.45 o 2021422551033 73.40/73.45 o 2012240704449 73.40/73.45 o 2003058857865 73.40/73.45 o 1993877011281 73.40/73.45 o 1984695164697 73.40/73.45 o 1947972163203 73.40/73.45 o 1938790316619 73.40/73.45 o 1929652318407 73.40/73.45 o 1920470471823 73.40/73.45 o 1892920547243 73.40/73.45 o 1883738700659 73.40/73.45 o 1874556854075 73.40/73.45 o 1865375007495 73.40/73.45 o 1865370622659 73.40/73.45 o 1856188776075 73.40/73.45 o 1856184391239 73.40/73.45 o 1847002544655 73.40/73.45 o 1837820698071 73.40/73.45 o 1828638851487 73.40/73.45 o 1819457004903 73.40/73.45 o 1810275158319 73.40/73.45 o 1801093311735 73.40/73.45 o 1791902695479 73.40/73.45 o 1782720848895 73.40/73.45 o 1773539002311 73.40/73.45 o 1764357155727 73.40/73.45 o 1755175309143 73.40/73.45 o 1745993462559 73.40/73.45 o 1736811615975 73.40/73.45 o 1727634154227 73.40/73.45 o 1718452307648 73.40/73.45 o 1718447922812 73.40/73.45 o 1709266076228 73.40/73.45 o 1709261691392 73.40/73.45 o 1700079844808 73.40/73.45 o 1700075459972 73.40/73.45 o 1645006304651 73.40/73.45 o 1635824458067 73.40/73.45 o 1635820073231 73.40/73.45 o 1589932764491 73.40/73.45 o 1580750917907 73.40/73.45 o 1571569071323 73.40/73.45 o 1562387224739 73.40/73.45 o 1553205378155 73.40/73.45 o 1544023531571 73.40/73.45 o 1544019146735 73.40/73.45 o 1534837300151 73.40/73.45 o 1525655453567 73.40/73.45 o 1516477991833 73.40/73.45 o 1507296145249 73.40/73.45 o 1498114298665 73.40/73.45 o 1488941221753 73.40/73.45 o 1479759375169 73.40/73.45 o 1479754990333 73.40/73.45 o 1470573143749 73.40/73.45 o 1461391297165 73.40/73.45 o 1452209450581 73.40/73.45 o 1443027603997 73.40/73.45 o 1433845757413 73.40/73.45 o 1415486449081 73.40/73.45 o 1406304602497 73.40/73.45 o 1397122755915 73.40/73.45 o 1387940909331 73.40/73.45 o 1378759062747 73.40/73.45 o 1369590370671 73.40/73.45 o 1360408524087 73.40/73.45 o 1351226677505 73.40/73.45 o 1342044830921 73.40/73.45 o 1342040446086 73.40/73.45 o 1332858599502 73.40/73.45 o 1323676752922 73.40/73.45 o 1314494906338 73.40/73.45 o 1305313059754 73.40/73.45 o 1296131213170 73.40/73.45 o 1286949366586 73.40/73.45 o 1277767520003 73.40/73.45 o 1268585673419 73.40/73.45 o 1259403826835 73.40/73.45 o 1250221980251 73.40/73.45 o 1241040133667 73.40/73.45 o 1241035748831 73.40/73.45 o 1222676440501 73.40/73.45 o 1213494593917 73.40/73.45 o 1204312747333 73.40/73.45 o 1195130900749 73.40/73.45 o 1185949054165 73.40/73.45 o 1176767207581 73.40/73.45 o 1167585360997 73.40/73.45 o 1167580976161 73.40/73.45 o 1158399129577 73.40/73.45 o 1149217282993 73.40/73.45 o 1140035436409 73.40/73.45 o 1130853589825 73.40/73.45 o 1130849204989 73.40/73.45 o 1130844820153 73.40/73.45 o 1130840435317 73.40/73.45 o 1130836050481 73.40/73.45 o 1130831665645 73.40/73.45 o 1130827280809 73.40/73.45 o 1130827280808 73.40/73.45 o 1130822895971 73.40/73.45 o 1130818511135 73.40/73.45 o 1103343128789 73.40/73.45 o 1094161282205 73.40/73.45 o 1094156897369 73.40/73.45 o 1084979435624 73.40/73.45 o 1084975050788 73.40/73.45 o 1084970665952 73.40/73.45 o 1084970665951 73.40/73.45 o 1075788819367 73.40/73.45 o 1075784434531 73.40/73.45 o 1075780049695 73.40/73.45 o 1066606972783 73.40/73.45 o 1066602587947 73.40/73.45 o 1057420741363 73.40/73.45 o 1057416356527 73.40/73.45 o 1057403202014 73.40/73.45 o 1048221355430 73.40/73.45 o 1048221355429 73.40/73.45 o 1039039508845 73.40/73.45 o 1039035124009 73.40/73.45 o 1029853277425 73.40/73.45 o 1020680200513 73.40/73.45 o 1011507123606 73.40/73.45 o 1011502738770 73.40/73.45 o 1002320892186 73.40/73.45 o 1002316507350 73.40/73.45 o 1002316507349 73.40/73.45 o 1002312122513 73.40/73.45 o 993130275929 73.40/73.45 o 993125891093 73.40/73.45 o 983961583860 73.40/73.45 o 983957199024 73.40/73.45 o 983957199023 73.40/73.45 o 974801661456 73.40/73.45 o 965619814872 73.40/73.45 o 965615430036 73.40/73.45 o 965615430035 73.40/73.45 o 956433583451 73.40/73.45 o 956429198615 73.40/73.45 o 947247352031 73.40/73.45 o 938069890283 73.40/73.45 o 938065505449 73.40/73.45 o 938061120613 73.40/73.45 o 938052350941 73.40/73.45 o 928870504359 73.40/73.45 o 919697427450 73.40/73.45 o 910515580866 73.40/73.45 o 901333734282 73.40/73.45 o 892151887698 73.40/73.45 o 892147502862 73.40/73.45 o 892143118026 73.40/73.45 o 882956886606 73.40/73.45 o 873788194530 73.40/73.45 o 873783809695 73.40/73.45 o 864606347947 73.40/73.45 o 855433271035 73.40/73.45 o 855424501364 73.40/73.45 o 846242654781 73.40/73.45 o 837073962704 73.40/73.45 o 837069577868 73.40/73.45 o 837065193033 73.40/73.45 o 837060808197 73.40/73.45 o 827887731285 73.40/73.45 o 827883346449 73.40/73.45 o 827878961613 73.40/73.45 o 818697115030 73.40/73.45 o 818692730207 73.40/73.45 o 818688345371 73.40/73.45 o 809506498787 73.40/73.45 o 800324652203 73.40/73.45 o 791142805619 73.40/73.45 o 781960959035 73.40/73.45 o 781960959034 73.40/73.45 o 772779112450 73.40/73.45 o 763597265866 73.40/73.45 o 754415419282 73.40/73.45 o 726874264366 73.40/73.45 o 726869879530 73.40/73.45 o 726869879529 73.40/73.45 o 717688032945 73.40/73.45 o 717688032944 73.40/73.45 o 708506186360 73.40/73.45 o 699324339776 73.40/73.45 o 699319954940 73.40/73.45 o 680956261772 73.40/73.45 o 671796339368 73.40/73.45 o 671791954533 73.40/73.45 o 671787569697 73.40/73.45 o 671783184861 73.40/73.45 o 662605723115 73.40/73.45 o 662605723114 73.40/73.45 o 653445800715 73.40/73.45 o 644263954132 73.40/73.45 o 635082107549 73.40/73.45 o 635082107548 73.40/73.45 o 635082107547 73.40/73.45 o 635077722711 73.40/73.45 o 635073337876 73.40/73.45 o 625891491292 73.40/73.45 o 607527798124 73.40/73.45 o 607523413288 73.40/73.45 o 607519028452 73.40/73.45 o 607514643616 73.40/73.45 o 598332797032 73.40/73.45 o 589150950448 73.40/73.45 o 579969103864 139.80/139.86 o 570787257281 139.80/139.86 o 570782872445 139.80/139.86 o 561601025861 139.80/139.86 o 561596641025 139.80/139.86 o 552414794441 139.80/139.86 o 543232947857 139.80/139.86 o 543228563021 139.80/139.86 o 534046716437 139.80/139.86 o 524864869853 139.80/139.86 o 515683023269 139.80/139.86 o 515678638434 139.80/139.86 o 506509946358 139.80/139.86 o 497328099774 139.80/139.86 o 478964406606 139.80/139.86 o 478960021770 139.80/139.86 o 478955636935 139.80/139.86 o 469778175188 139.80/139.86 o 469773790352 139.80/139.86 o 469769405516 139.80/139.86 o 460591943768 139.80/139.86 o 460583174096 139.80/139.86 o 460574404424 139.80/139.86 o 460570019588 139.80/139.86 o 460552480244 139.80/139.86 o 442188787076 139.80/139.86 o 423825093908 139.80/139.86 o 423825093906 139.80/139.86 o 414643247322 139.80/139.86 o 414634477650 139.80/139.86 o 405457015906 139.80/139.86 o 405452631073 139.80/139.86 o 396270784489 139.80/139.86 o 396270784488 139.80/139.86 o 396270784487 139.80/139.86 o 396270784486 139.80/139.86 o 387088937904 139.80/139.86 o 387088937903 139.80/139.86 o 387084553068 139.80/139.86 o 377902706485 139.80/139.86 o 377902706484 139.80/139.86 o 368734014408 139.80/139.86 o 368725244736 139.80/139.86 o 359547782988 139.80/139.86 o 359543398154 139.80/139.86 o 359543398153 139.80/139.86 o 350361551570 139.80/139.86 o 350361551569 139.80/139.86 o 341184089822 139.80/139.86 o 341184089821 139.80/139.86 o 341179704986 139.80/139.86 o 341170935314 139.80/139.86 o 341166550479 139.80/139.86 o 341166550478 139.80/139.86 o 331989088730 139.80/139.86 o 331984703896 139.80/139.86 o 322807242148 139.80/139.86 o 322802857314 139.80/139.86 o 322802857313 139.80/139.86 o 313625395566 139.80/139.86 o 313625395565 139.80/139.86 o 304452318657 139.80/139.86 o 304452318656 139.80/139.86 o 286093010325 139.80/139.86 o 286093010324 139.80/139.86 o 286088625488 139.80/139.86 o 276911163740 139.80/139.86 o 276906778905 139.80/139.86 o 276898009233 139.80/139.86 o 267799474531 139.80/139.86 o 267795089695 139.80/139.86 o 258622012781 139.80/139.86 o 258617627947 139.80/139.86 o 258613243115 139.80/139.86 o 258613243114 139.80/139.86 o 249435781366 139.80/139.86 o 240253934782 139.80/139.86 o 240249549947 139.80/139.86 o 231067703363 139.80/139.86 o 221885856779 139.80/139.86 o 212704010195 139.80/139.86 o 212699625366 139.80/139.86 o 212699625365 139.80/139.86 o 212695240529 139.80/139.86 o 212695240528 139.80/139.86 o 212695240527 139.80/139.86 o 203697557047 139.80/139.86 o 203697557046 139.80/139.86 o 203697557045 139.80/139.86 o 203693172211 139.80/139.86 o 203688787376 139.80/139.86 o 203688787375 139.80/139.86 o 203680017703 139.80/139.86 o 203675632868 139.80/139.86 o 203671248034 139.80/139.86 o 203666863198 139.80/139.86 o 203662478363 139.80/139.86 o 203658093533 139.80/139.86 o 203658093532 139.80/139.86 o 203658093531 139.80/139.86 o 203658093530 139.80/139.86 o 203658093529 139.80/139.86 o 203653708696 139.80/139.86 o 203653708695 139.80/139.86 o 203649323864 139.80/139.86 o 203649323863 139.80/139.86 o 203649323862 139.80/139.86 o 203649323861 139.80/139.86 o 203649323860 139.80/139.86 o 203649323859 139.80/139.86 o 203649323858 139.80/139.86 o 203649323857 139.80/139.86 o 203644939023 139.80/139.86 o 194480631783 139.80/139.86 o 194480631782 139.80/139.86 o 194480631781 139.80/139.86 o 194476246950 139.80/139.86 o 194476246949 139.80/139.86 o 194476246948 139.80/139.86 o 194476246947 139.80/139.86 o 194471862115 139.80/139.86 o 194471862113 139.80/139.86 o 194471862112 139.80/139.86 o 194467477276 139.80/139.86 o 185303170035 139.80/139.86 o 185290015530 139.80/139.86 o 185290015528 139.80/139.86 o 185290015527 139.80/139.86 o 185285630695 139.80/139.86 o 185285630694 139.80/139.86 o 185285630693 139.80/139.86 o 185285630692 139.80/139.86 o 176103784108 139.80/139.86 o 166926322359 139.80/139.86 o 166921937524 139.80/139.86 o 166913167845 139.80/139.86 o 166913167844 139.80/139.86 o 166913167843 139.80/139.86 o 166913167842 139.80/139.86 o 166913167841 139.80/139.86 o 166908783013 139.80/139.86 o 166908783012 139.80/139.86 o 166904398178 139.80/139.86 o 166904398177 139.80/139.86 o 157731321259 139.80/139.86 o 157731321258 139.80/139.86 o 157726936428 139.80/139.86 o 157722551593 139.80/139.86 o 157718166758 139.80/139.86 o 157713781924 139.80/139.86 o 157713781923 139.80/139.86 o 157713781922 139.80/139.86 o 157709397087 139.80/139.86 o 148531935338 139.80/139.86 o 139354473590 139.80/139.86 o 139350088758 139.80/139.86 o 139350088757 139.80/139.86 o 139350088755 139.80/139.86 o 139350088754 139.80/139.86 o 139350088753 139.80/139.86 o 139345703921 139.80/139.86 o 139345703920 139.80/139.86 o 139345703919 139.80/139.86 o 139345703918 139.80/139.86 o 139345703917 139.80/139.86 o 139341319082 139.80/139.86 o 139336934249 139.80/139.86 o 139336934248 139.80/139.86 o 139336934246 139.80/139.86 o 139336934245 139.80/139.86 o 139332549410 139.80/139.86 o 130431332298 139.80/139.86 o 130426947463 139.80/139.86 o 130422562628 139.80/139.86 o 130418177792 139.80/139.86 o 130413792957 139.80/139.86 o 130409408122 139.80/139.86 o 130405023287 139.80/139.86 o 130405023286 139.80/139.86 o 130400638452 139.80/139.86 o 130396253617 139.80/139.86 o 130396253616 139.80/139.86 o 130396253615 139.80/139.86 o 130391868780 139.80/139.86 o 130387483944 139.80/139.86 o 130387483943 139.80/139.86 o 130383099108 139.80/139.86 o 130383099107 139.80/139.86 o 130378714272 139.80/139.86 o 130378714271 139.80/139.86 o 130374329436 139.80/139.86 o 130369944601 139.80/139.86 o 130365559766 139.80/139.86 o 130361174931 139.80/139.86 o 130356790096 139.80/139.86 o 130356790095 139.80/139.86 o 130352405260 139.80/139.86 o 130348020425 139.80/139.86 o 130348020424 139.80/139.86 o 130343635589 139.80/139.86 o 130339250754 139.80/139.86 o 130339250753 139.80/139.86 o 130334865918 139.80/139.86 o 130334865917 139.80/139.86 o 130330481082 139.80/139.86 o 130326096247 139.80/139.86 o 130321711412 139.80/139.86 o 130317326577 139.80/139.86 o 130312941742 139.80/139.86 o 130312941741 139.80/139.86 o 130308556906 139.80/139.86 o 130304172071 139.80/139.86 o 130299787237 139.80/139.86 o 130299787236 139.80/139.86 o 130299787235 139.80/139.86 o 130295402401 139.80/139.86 o 130295402400 139.80/139.86 o 130295402399 139.80/139.86 o 130291017565 139.80/139.86 o 130291017564 139.80/139.86 o 130286632730 139.80/139.86 o 130286632729 139.80/139.86 o 130277863060 139.80/139.86 o 130277863059 139.80/139.86 o 130277863058 139.80/139.86 o 130273478224 139.80/139.86 o 130273478223 139.80/139.86 o 130273478222 139.80/139.86 o 130269093388 139.80/139.86 o 130269093387 139.80/139.86 o 130269093386 139.80/139.86 o 130264708552 139.80/139.86 o 130264708551 139.80/139.86 o 130260323727 139.80/139.86 o 130260323725 139.80/139.86 o 130260323724 139.80/139.86 o 130260323723 139.80/139.86 o 130260323722 139.80/139.86 o 130255938888 139.80/139.86 o 130251554053 139.80/139.86 o 130251554052 139.80/139.86 o 130251554051 139.80/139.86 o 130247169217 139.80/139.86 o 121069707469 139.80/139.86 o 121065322633 139.80/139.86 o 121065322632 139.80/139.86 o 121065322631 139.80/139.86 o 121060937793 139.80/139.86 o 121056552962 139.80/139.86 o 121056552960 139.80/139.86 o 121056552959 139.80/139.86 o 121052168124 139.80/139.86 o 121052168123 139.80/139.86 o 121052168122 139.80/139.86 o 121052168120 139.80/139.86 o 121047783289 139.80/139.86 o 121047783287 139.80/139.86 o 121047783286 139.80/139.86 o 121043398451 139.80/139.86 o 121043398450 139.80/139.86 o 121043398449 139.80/139.86 o 121043398448 139.80/139.86 o 121039013617 139.80/139.86 o 121039013615 139.80/139.86 o 121039013614 139.80/139.86 o 121034628779 139.80/139.86 o 121034628778 139.80/139.86 o 121034628777 139.80/139.86 o 121034628776 139.80/139.86 o 121030243942 139.80/139.86 o 121025859106 139.80/139.86 o 121025859105 139.80/139.86 o 121025859104 139.80/139.86 o 121021474273 208.90/208.92 o 121021474271 208.90/208.92 o 121021474270 208.90/208.92 o 121021474269 208.90/208.92 o 121021474268 208.90/208.92 o 121017089433 208.90/208.92 o 121012704600 208.90/208.92 o 121012704599 208.90/208.92 o 121012704598 208.90/208.92 o 121012704597 208.90/208.92 o 121012704596 208.90/208.92 o 121012704595 208.90/208.92 o 121008319765 208.90/208.92 o 121008319763 208.90/208.92 o 121008319762 208.90/208.92 o 121008319760 208.90/208.92 o 121008319759 208.90/208.92 o 121008319758 208.90/208.92 o 121003934926 208.90/208.92 o 121003934925 208.90/208.92 o 120999550090 208.90/208.92 o 120995165254 208.90/208.92 o 120990780418 208.90/208.92 o 120990780417 208.90/208.92 o 120986395585 208.90/208.92 o 120986395584 208.90/208.92 o 120986395583 208.90/208.92 o 120986395582 208.90/208.92 o 120986395581 208.90/208.92 o 120986395580 208.90/208.92 o 120982010748 208.90/208.92 o 120982010747 208.90/208.92 o 120982010746 208.90/208.92 o 120982010745 208.90/208.92 o 111804548997 208.90/208.92 o 111800164164 208.90/208.92 o 111800164163 208.90/208.92 o 111800164162 208.90/208.92 o 111795779330 208.90/208.92 o 111795779329 208.90/208.92 o 111795779328 208.90/208.92 o 111795779326 208.90/208.92 o 111795779325 208.90/208.92 o 111791394490 208.90/208.92 o 111791394489 208.90/208.92 o 111787009654 208.90/208.92 o 111787009653 208.90/208.92 o 111782624818 208.90/208.92 o 111778239985 208.90/208.92 o 111778239984 208.90/208.92 o 111778239983 208.90/208.92 o 111778239982 208.90/208.92 o 111778239981 208.90/208.92 o 111773855149 208.90/208.92 o 111773855148 208.90/208.92 o 111773855147 208.90/208.92 o 111773855146 208.90/208.92 o 111769470310 208.90/208.92 o 111765085474 208.90/208.92 o 111765085473 208.90/208.92 o 111760700638 208.90/208.92 o 111760700630 208.90/208.92 o 111760700629 208.90/208.92 o 111760700628 208.90/208.92 o 111760700627 208.90/208.92 o 111760700626 208.90/208.92 o 111756315801 208.90/208.92 o 111751930966 208.90/208.92 o 111747546131 208.90/208.92 o 111747546130 208.90/208.92 o 111747546129 208.90/208.92 o 111743161297 208.90/208.92 o 111743161296 208.90/208.92 o 111743161295 208.90/208.92 o 111743161294 208.90/208.92 o 111743161293 208.90/208.92 o 111738776457 208.90/208.92 o 111738776456 208.90/208.92 o 111734391621 208.90/208.92 o 111734391620 208.90/208.92 o 111730006788 208.90/208.92 o 111730006787 208.90/208.92 o 111730006785 208.90/208.92 o 111730006784 208.90/208.92 o 111725621949 208.90/208.92 o 111725621948 208.90/208.92 o 111721237113 208.90/208.92 o 111721237111 208.90/208.92 o 111716852277 208.90/208.92 o 111712467441 208.90/208.92 o 111712467440 208.90/208.92 o 111708082604 208.90/208.92 o 111708082603 208.90/208.92 o 111703697771 208.90/208.92 o 111703697769 208.90/208.92 o 111703697768 208.90/208.92 o 111699312933 208.90/208.92 o 111699312932 208.90/208.92 o 111694928096 208.90/208.92 o 111690543260 208.90/208.92 o 111681773586 208.90/208.92 o 111681773585 208.90/208.92 o 111677388749 208.90/208.92 o 102499927002 208.90/208.92 o 102499927001 208.90/208.92 o 102499927000 208.90/208.92 o 102499926999 208.90/208.92 o 102495542167 208.90/208.92 o 102495542166 208.90/208.92 o 102495542165 208.90/208.92 o 93502243517 208.90/208.92 o 93497858681 208.90/208.92 o 93497858680 208.90/208.92 o 93497858679 208.90/208.92 o 93497858678 208.90/208.92 o 93497858677 208.90/208.92 o 93493473842 208.90/208.92 o 93489089006 208.90/208.92 o 93484704170 208.90/208.92 o 93484704167 208.90/208.92 o 93480319335 208.90/208.92 o 93480319334 208.90/208.92 o 93480319333 208.90/208.92 o 93480319332 208.90/208.92 o 93475934500 208.90/208.92 o 93475934499 208.90/208.92 o 93475934498 208.90/208.92 o 93475934497 208.90/208.92 o 93475934496 208.90/208.92 o 93471549665 208.90/208.92 o 93467164830 208.90/208.92 o 93462779995 208.90/208.92 o 93458395160 208.90/208.92 o 93449625488 208.90/208.92 o 93445240653 208.90/208.92 o 93440855819 208.90/208.92 o 93436470985 208.90/208.92 o 93432086150 208.90/208.92 o 93427701315 208.90/208.92 o 93423316480 208.90/208.92 o 93418931645 208.90/208.92 o 93418931643 208.90/208.92 o 93414546808 208.90/208.92 o 93410161973 208.90/208.92 o 93405777138 208.90/208.92 o 93401392303 208.90/208.92 o 93397007469 208.90/208.92 o 93392622634 208.90/208.92 o 93388237799 208.90/208.92 o 93383852964 208.90/208.92 o 93379468129 208.90/208.92 o 93375083294 208.90/208.92 o 93370698459 208.90/208.92 o 93366313627 208.90/208.92 o 93361928792 208.90/208.92 o 93357543957 208.90/208.92 o 93353159122 208.90/208.92 o 93353159121 208.90/208.92 o 93353159120 208.90/208.92 o 93348774284 208.90/208.92 o 93348774283 208.90/208.92 o 93344389448 208.90/208.92 o 93344389447 208.90/208.92 o 93340004612 208.90/208.92 o 93331234940 208.90/208.92 o 93322465266 208.90/208.92 o 93318080432 208.90/208.92 o 93318080431 208.90/208.92 o 93318080430 208.90/208.92 o 93318080428 208.90/208.92 o 93318080427 208.90/208.92 o 93318080426 208.90/208.92 o 93318080425 208.90/208.92 o 93313695593 208.90/208.92 o 93313695592 208.90/208.92 o 93313695591 208.90/208.92 o 93313695590 208.90/208.92 o 93313695589 208.90/208.92 o 93313695588 208.90/208.92 o 93313695587 208.90/208.92 o 93313695586 208.90/208.92 o 93313695585 208.90/208.92 o 93309310757 208.90/208.92 o 93309310755 208.90/208.92 o 93309310754 208.90/208.92 o 93309310753 208.90/208.92 o 93309310752 208.90/208.92 o 84188851866 208.90/208.92 o 84188851865 208.90/208.92 o 84188851864 208.90/208.92 o 84188851863 208.90/208.92 o 84188851862 208.90/208.92 o 84188851861 208.90/208.92 o 84188851860 208.90/208.92 o 84188851859 208.90/208.92 o 84188851857 208.90/208.92 o 84184467023 208.90/208.92 o 84184467022 208.90/208.92 o 84184467021 208.90/208.92 o 84180082187 208.90/208.92 o 84180082186 208.90/208.92 o 84175697354 208.90/208.92 o 84171312519 208.90/208.92 o 84171312518 208.90/208.92 o 84166927682 208.90/208.92 o 84162542848 208.90/208.92 o 84162542847 208.90/208.92 o 84162542845 208.90/208.92 o 84162542844 208.90/208.92 o 84162542843 208.90/208.92 o 84158158013 208.90/208.92 o 84153773178 208.90/208.92 o 84153773177 208.90/208.92 o 84153773176 208.90/208.92 o 84149388342 208.90/208.92 o 84145003512 208.90/208.92 o 84140618677 208.90/208.92 o 84140618676 208.90/208.92 o 84140618675 208.90/208.92 o 84140618674 208.90/208.92 o 84136233840 208.90/208.92 o 84131849009 208.90/208.92 o 84131849008 208.90/208.92 o 84131849007 208.90/208.92 o 84131849006 208.90/208.92 o 84131849005 208.90/208.92 o 74993850779 208.90/208.92 o 74993850778 208.90/208.92 o 74993850777 208.90/208.92 o 74993850775 208.90/208.92 o 74993850774 208.90/208.92 o 74993850773 208.90/208.92 o 74985081101 208.90/208.92 o 74985081100 208.90/208.92 o 74985081099 208.90/208.92 o 74985081098 208.90/208.92 o 74980696267 208.90/208.92 o 74980696266 208.90/208.92 o 74980696265 208.90/208.92 o 74980696264 208.90/208.92 o 74976311440 208.90/208.92 o 74976311439 208.90/208.92 o 74976311438 208.90/208.92 o 74976311437 208.90/208.92 o 74976311436 208.90/208.92 o 74971926601 208.90/208.92 o 74967541769 208.90/208.92 o 74967541768 208.90/208.92 o 74967541767 208.90/208.92 o 74967541766 208.90/208.92 o 74967541765 208.90/208.92 o 74967541764 208.90/208.92 o 74963156931 208.90/208.92 o 74963156930 208.90/208.92 o 74963156929 208.90/208.92 o 74958772096 208.90/208.92 o 74958772095 208.90/208.92 o 74958772094 208.90/208.92 o 74958772093 208.90/208.92 o 74958772092 208.90/208.92 o 74954387261 208.90/208.92 o 74954387260 208.90/208.92 o 74954387259 208.90/208.92 o 74954387258 208.90/208.92 o 74954387257 208.90/208.92 o 74954387256 208.90/208.92 o 74954387255 208.90/208.92 o 74950002424 208.90/208.92 o 74950002423 208.90/208.92 o 74950002422 208.90/208.92 o 74950002421 208.90/208.92 o 74950002420 208.90/208.92 o 74950002419 208.90/208.92 o 74945617588 208.90/208.92 o 74945617587 208.90/208.92 o 74945617586 208.90/208.92 o 74945617585 208.90/208.92 o 74945617584 208.90/208.92 o 74945617583 208.90/208.92 o 74945617582 208.90/208.92 o 74941232750 208.90/208.92 o 74941232749 208.90/208.92 o 74941232748 208.90/208.92 o 74941232747 208.90/208.92 o 74941232746 208.90/208.92 o 74936847911 313.09/313.13 o 74919308561 313.09/313.13 o 74919308560 313.09/313.13 o 74919308559 313.09/313.13 o 74919308557 313.09/313.13 o 74919308556 313.09/313.13 o 74919308555 313.09/313.13 o 74919308554 313.09/313.13 o 74914923718 313.09/313.13 o 74892999533 313.09/313.13 o 74888614706 313.09/313.13 o 74884229871 313.09/313.13 o 74884229870 313.09/313.13 o 74879845035 313.09/313.13 o 74879845034 313.09/313.13 o 74822842162 313.09/313.13 o 74818457331 313.09/313.13 o 74818457330 313.09/313.13 o 74818457329 313.09/313.13 o 74814072493 313.09/313.13 o 74814072492 313.09/313.13 o 74809687656 313.09/313.13 o 74805302820 313.09/313.13 o 74800917988 313.09/313.13 o 74800917986 313.09/313.13 o 74800917985 313.09/313.13 o 74800917984 313.09/313.13 o 74796533152 313.09/313.13 o 74796533151 313.09/313.13 o 74796533150 313.09/313.13 o 74796533149 313.09/313.13 o 74792148314 313.09/313.13 o 74787763484 313.09/313.13 o 74787763483 313.09/313.13 o 74787763482 313.09/313.13 o 74787763481 313.09/313.13 o 74787763480 313.09/313.13 o 74787763479 313.09/313.13 o 74787763478 313.09/313.13 o 74787763477 313.09/313.13 o 74783378642 313.09/313.13 o 74778993812 313.09/313.13 o 74778993811 313.09/313.13 o 74778993810 313.09/313.13 o 74778993809 313.09/313.13 o 74778993808 313.09/313.13 o 74778993806 313.09/313.13 o 74778993805 313.09/313.13 o 74774608976 313.09/313.13 o 74774608975 313.09/313.13 o 74774608974 313.09/313.13 o 74774608973 313.09/313.13 o 74774608972 313.09/313.13 o 74774608971 313.09/313.13 o 74774608970 313.09/313.13 o 74774608969 313.09/313.13 o 74770224140 313.09/313.13 o 74770224139 313.09/313.13 o 74770224138 313.09/313.13 o 74770224137 313.09/313.13 o 74770224136 313.09/313.13 o 74770224135 313.09/313.13 o 74770224134 313.09/313.13 o 74770224133 313.09/313.13 o 74770224132 313.09/313.13 o 74765839297 313.09/313.13 o 74765839296 313.09/313.13 o 74761454467 313.09/313.13 o 74761454465 313.09/313.13 o 74761454464 313.09/313.13 o 74761454463 313.09/313.13 o 74761454462 313.09/313.13 o 74761454461 313.09/313.13 o 74757069626 313.09/313.13 o 65583992720 313.09/313.13 o 65579607885 313.09/313.13 o 65579607884 313.09/313.13 o 65579607883 313.09/313.13 o 65579607882 313.09/313.13 o 65579607881 313.09/313.13 o 65579607880 313.09/313.13 o 65579607879 313.09/313.13 o 65579607878 313.09/313.13 o 65575223051 313.09/313.13 o 65575223050 313.09/313.13 o 65575223049 313.09/313.13 o 65575223048 313.09/313.13 o 65575223047 313.09/313.13 o 65575223046 313.09/313.13 o 65575223045 313.09/313.13 o 65575223044 313.09/313.13 o 65575223043 313.09/313.13 o 65575223042 313.09/313.13 o 65570838214 313.09/313.13 o 65570838213 313.09/313.13 o 65570838212 313.09/313.13 o 65570838211 313.09/313.13 o 65570838210 313.09/313.13 o 65570838209 313.09/313.13 o 65570838208 313.09/313.13 o 65570838207 313.09/313.13 o 65570838206 313.09/313.13 o 65570838205 313.09/313.13 o 65570838204 313.09/313.13 o 65566453377 313.09/313.13 o 65566453376 313.09/313.13 o 65566453375 313.09/313.13 o 65566453374 313.09/313.13 o 65566453373 313.09/313.13 o 65566453372 313.09/313.13 o 65566453371 313.09/313.13 o 65562068536 313.09/313.13 o 65562068535 313.09/313.13 o 65526989841 313.09/313.13 o 65526989840 313.09/313.13 o 65522605016 313.09/313.13 o 65522605015 313.09/313.13 o 65522605014 313.09/313.13 o 65522605013 313.09/313.13 o 65522605012 313.09/313.13 o 65522605011 313.09/313.13 o 65518220180 313.09/313.13 o 65518220178 313.09/313.13 o 65518220177 313.09/313.13 o 65518220176 313.09/313.13 o 65518220175 313.09/313.13 o 65518220173 313.09/313.13 o 65513835341 313.09/313.13 o 65513835340 313.09/313.13 o 65513835339 313.09/313.13 o 65513835338 313.09/313.13 o 65513835337 313.09/313.13 o 65509450513 313.09/313.13 o 65509450512 313.09/313.13 o 65509450511 313.09/313.13 o 65509450510 313.09/313.13 o 65509450509 313.09/313.13 o 65509450508 313.09/313.13 o 65509450507 313.09/313.13 o 65509450506 313.09/313.13 o 65509450505 313.09/313.13 o 65509450504 313.09/313.13 o 65509450503 313.09/313.13 o 65509450502 313.09/313.13 o 65505065666 313.09/313.13 o 65500680838 313.09/313.13 o 65500680837 313.09/313.13 o 65500680836 313.09/313.13 o 65500680835 313.09/313.13 o 65500680834 313.09/313.13 o 65500680833 313.09/313.13 o 65500680832 313.09/313.13 o 65500680831 313.09/313.13 o 65496296007 313.09/313.13 o 65496296006 313.09/313.13 o 65496296005 313.09/313.13 o 65496296004 313.09/313.13 o 65496296003 313.09/313.13 o 65496296002 313.09/313.13 o 65496296001 313.09/313.13 o 65496296000 313.09/313.13 o 65496295999 313.09/313.13 o 65496295998 313.09/313.13 o 65496295997 313.09/313.13 o 65496295996 313.09/313.13 o 65496295995 313.09/313.13 o 65496295994 313.09/313.13 o 65496295993 313.09/313.13 o 65491911166 313.09/313.13 o 65491911165 313.09/313.13 o 65491911163 313.09/313.13 o 65491911162 313.09/313.13 o 65491911161 313.09/313.13 o 65491911160 313.09/313.13 o 65491911159 313.09/313.13 o 65491911158 313.09/313.13 o 65491911157 313.09/313.13 o 65491911156 313.09/313.13 o 65487526330 313.09/313.13 o 65487526329 313.09/313.13 o 65487526327 313.09/313.13 o 65487526326 313.09/313.13 o 65487526325 313.09/313.13 o 65487526324 313.09/313.13 o 65487526323 313.09/313.13 o 65487526322 313.09/313.13 o 65487526321 313.09/313.13 o 65487526320 313.09/313.13 o 65483141492 313.09/313.13 o 65483141491 313.09/313.13 o 65483141490 313.09/313.13 o 65483141489 313.09/313.13 o 65483141488 313.09/313.13 o 65483141487 313.09/313.13 o 65483141486 313.09/313.13 o 65483141485 313.09/313.13 o 65483141484 313.09/313.13 o 65465602149 313.09/313.13 o 65465602148 313.09/313.13 o 65465602147 313.09/313.13 o 65465602146 313.09/313.13 o 65465602144 313.09/313.13 o 65465602143 313.09/313.13 o 65465602142 313.09/313.13 o 65465602141 313.09/313.13 o 65461217311 313.09/313.13 o 65461217310 313.09/313.13 o 65461217309 313.09/313.13 o 65461217308 313.09/313.13 o 65461217307 313.09/313.13 o 65461217306 313.09/313.13 o 65461217305 313.09/313.13 o 65461217303 313.09/313.13 o 65456832467 313.09/313.13 o 65456832466 313.09/313.13 o 65452447634 313.09/313.13 o 65452447633 313.09/313.13 o 56283755560 313.09/313.13 o 56283755559 313.09/313.13 o 56279370730 313.09/313.13 o 56279370729 313.09/313.13 o 56279370728 313.09/313.13 o 56279370727 313.09/313.13 o 56279370726 313.09/313.13 o 56279370725 313.09/313.13 o 56279370724 313.09/313.13 o 56274985888 313.09/313.13 o 56274985887 313.09/313.13 o 56274985886 313.09/313.13 o 56270601055 313.09/313.13 o 56270601054 313.09/313.13 o 56270601053 313.09/313.13 o 56270601052 313.09/313.13 o 56270601051 313.09/313.13 o 56270601049 313.09/313.13 o 56270601048 313.09/313.13 o 56270601047 313.09/313.13 o 56270601046 313.09/313.13 o 56270601045 313.09/313.13 o 56270601044 313.09/313.13 o 56270601043 313.09/313.13 o 56266216212 313.09/313.13 o 56266216211 313.09/313.13 o 56266216210 313.09/313.13 o 56266216209 313.09/313.13 o 56266216208 313.09/313.13 o 56266216207 313.09/313.13 o 56266216206 313.09/313.13 o 56261831378 313.09/313.13 o 56261831377 313.09/313.13 o 56261831376 313.09/313.13 o 56261831375 313.09/313.13 o 56261831373 313.09/313.13 o 56261831372 313.09/313.13 o 56261831371 313.09/313.13 o 56261831370 313.09/313.13 o 56261831369 313.09/313.13 o 56261831368 313.09/313.13 o 56261831367 313.09/313.13 o 56261831366 313.09/313.13 o 56261831365 313.09/313.13 o 56261831364 313.09/313.13 o 56261831363 313.09/313.13 o 56261831362 313.09/313.13 o 56261831361 313.09/313.13 o 56261831360 313.09/313.13 o 56261831359 313.09/313.13 o 56257446543 313.09/313.13 o 56257446542 313.09/313.13 o 56257446541 313.09/313.13 o 56257446540 313.09/313.13 o 56257446539 313.09/313.13 o 56257446538 313.09/313.13 o 56257446537 313.09/313.13 o 56257446536 313.09/313.13 o 56257446535 313.09/313.13 o 56257446534 313.09/313.13 o 56253061708 313.09/313.13 o 56253061707 313.09/313.13 o 56253061706 313.09/313.13 o 56253061705 313.09/313.13 o 56253061704 313.09/313.13 o 56253061703 313.09/313.13 o 56253061702 313.09/313.13 o 56253061701 313.09/313.13 o 56253061700 313.09/313.13 o 56253061699 313.09/313.13 o 56253061698 313.09/313.13 o 56253061697 313.09/313.13 o 56248676869 313.09/313.13 o 56248676867 313.09/313.13 o 56248676866 313.09/313.13 o 56248676865 313.09/313.13 o 56248676864 960.40/960.50 o 56248676863 960.40/960.50 o 56248676862 960.40/960.50 o 56248676861 960.40/960.50 o 56244292027 960.40/960.50 o 56244292026 960.40/960.50 o 56239907201 960.40/960.50 o 56239907200 960.40/960.50 o 56239907199 960.40/960.50 o 56239907198 960.40/960.50 o 56239907197 960.40/960.50 o 56239907196 960.40/960.50 o 56239907195 960.40/960.50 o 56239907194 960.40/960.50 o 56239907193 960.40/960.50 o 56239907192 960.40/960.50 o 56239907191 960.40/960.50 o 56239907190 960.40/960.50 o 56235522358 960.40/960.50 o 56235522357 960.40/960.50 o 56235522356 960.40/960.50 o 56235522355 960.40/960.50 o 56235522354 960.40/960.50 o 56231137535 960.40/960.50 o 56231137534 960.40/960.50 o 56231137533 960.40/960.50 o 56231137531 960.40/960.50 o 56231137530 960.40/960.50 o 56231137529 960.40/960.50 o 56231137528 960.40/960.50 o 56231137527 960.40/960.50 o 56231137526 960.40/960.50 o 56231137525 960.40/960.50 o 56231137524 960.40/960.50 o 56231137523 960.40/960.50 o 56231137522 960.40/960.50 o 56231137521 960.40/960.50 o 56231137520 960.40/960.50 o 56226752690 960.40/960.50 o 56226752687 960.40/960.50 o 56226752686 960.40/960.50 o 56226752685 960.40/960.50 o 56226752684 960.40/960.50 o 56226752683 960.40/960.50 o 56226752682 960.40/960.50 o 56222367859 960.40/960.50 o 56222367858 960.40/960.50 o 56222367857 960.40/960.50 o 56222367856 960.40/960.50 o 56222367855 960.40/960.50 o 56222367854 960.40/960.50 o 56222367853 960.40/960.50 o 56222367852 960.40/960.50 o 56217983020 960.40/960.50 o 56213598185 960.40/960.50 o 56213598184 960.40/960.50 o 56213598182 960.40/960.50 o 56213598181 960.40/960.50 o 56213598180 960.40/960.50 o 56209213348 960.40/960.50 o 56209213347 960.40/960.50 o 56209213346 960.40/960.50 o 56209213345 960.40/960.50 o 56209213344 960.40/960.50 o 56209213343 960.40/960.50 o 56209213342 960.40/960.50 o 56209213341 960.40/960.50 o 56204828506 960.40/960.50 o 56200443671 960.40/960.50 o 56200443670 960.40/960.50 o 56196058842 960.40/960.50 o 56191674006 960.40/960.50 o 56187289170 960.40/960.50 o 56187289169 960.40/960.50 o 56182904335 960.40/960.50 o 56182904334 960.40/960.50 o 56178519503 960.40/960.50 o 56178519498 960.40/960.50 o 56178519497 960.40/960.50 o 56178519496 960.40/960.50 o 56178519494 960.40/960.50 o 56174134659 960.40/960.50 o 56169749824 960.40/960.50 o 56165364988 960.40/960.50 o 56165364987 960.40/960.50 o 56160980151 960.40/960.50 o 56156595315 960.40/960.50 o 56156595314 960.40/960.50 o 56156595313 960.40/960.50 o 56152210478 960.40/960.50 o 56147825642 960.40/960.50 o 56134671133 960.40/960.50 o 56130286298 960.40/960.50 o 56130286297 960.40/960.50 o 56130286295 960.40/960.50 o 56125901453 960.40/960.50 o 56125901452 960.40/960.50 o 56125901451 960.40/960.50 o 56125901450 960.40/960.50 o 56125901449 960.40/960.50 o 56125901448 960.40/960.50 o 56125901447 960.40/960.50 o 56125901446 960.40/960.50 o 56125901445 960.40/960.50 o 56125901444 960.40/960.50 o 56125901443 960.40/960.50 o 56125901442 960.40/960.50 o 56125901441 960.40/960.50 o 56125901440 960.40/960.50 o 56125901439 960.40/960.50 o 56125901438 960.40/960.50 o 56125901437 960.40/960.50 o 56125901436 960.40/960.50 o 56125901435 960.40/960.50 o 56125901434 960.40/960.50 o 56125901433 960.40/960.50 o 56125901432 960.40/960.50 o 56125901431 960.40/960.50 o 56125901430 960.40/960.50 o 56125901429 960.40/960.50 o 56125901428 960.40/960.50 o 56125901427 960.40/960.50 o 56125901426 960.40/960.50 o 56125901425 960.40/960.50 o 56125901424 960.40/960.50 o 56125901423 960.40/960.50 o 56125901422 960.40/960.50 o 56121516598 960.40/960.50 o 56121516597 960.40/960.50 o 56121516596 960.40/960.50 o 56121516595 960.40/960.50 o 56121516594 960.40/960.50 o 56121516593 960.40/960.50 o 56121516592 960.40/960.50 o 56121516591 960.40/960.50 o 56117131758 960.40/960.50 o 56117131757 960.40/960.50 o 56117131756 960.40/960.50 o 56117131755 960.40/960.50 o 56117131754 960.40/960.50 o 56117131753 960.40/960.50 o 56112746917 960.40/960.50 o 56112746916 960.40/960.50 o 56108362082 960.40/960.50 o 56108362081 960.40/960.50 o 56103977255 960.40/960.50 o 56103977254 960.50/960.50 o 56103977253 960.50/960.50 o 56103977252 960.50/960.50 o 56103977251 960.50/960.50 o 56103977250 960.50/960.50 o 56103977249 960.50/960.50 o 56103977248 960.50/960.50 o 56103977247 960.50/960.50 o 56103977246 960.50/960.50 o 56103977245 960.50/960.50 o 56103977244 960.50/960.50 o 56103977243 960.50/960.50 o 56099592408 960.50/960.50 o 56099592407 960.50/960.50 o 56060128879 960.50/960.50 o 56060128878 960.50/960.50 o 56060128876 960.50/960.50 o 56060128875 960.50/960.50 o 56055744101 960.50/960.50 o 56051359266 960.50/960.50 o 56051359265 960.50/960.50 o 56046974432 960.50/960.50 o 56046974431 960.50/960.50 o 56042589596 960.50/960.50 o 56042589595 960.50/960.50 o 56042589594 960.50/960.50 o 56038204758 960.50/960.50 o 56038204757 960.50/960.50 o 56038204756 960.50/960.50 o 56033819923 960.50/960.50 o 56033819922 960.50/960.50 o 56033819921 960.50/960.50 o 56033819920 960.50/960.50 o 56029435085 960.50/960.50 o 56025050254 960.50/960.50 o 56025050253 960.50/960.50 o 56025050252 960.50/960.50 o 56025050251 960.50/960.50 o 56025050250 960.50/960.50 o 56025050249 960.50/960.50 o 56020665413 960.50/960.50 o 56020665412 960.50/960.50 o 56020665411 960.50/960.50 o 56020665410 960.50/960.50 o 56016280575 960.50/960.50 o 56011895739 960.50/960.50 o 56011895738 960.50/960.50 o 56011895737 960.50/960.50 o 56011895736 960.50/960.50 o 56011895734 960.50/960.50 o 56007510903 960.50/960.50 o 56007510902 960.50/960.50 o 56007510901 960.50/960.50 o 56007510900 960.50/960.50 o 56007510899 960.50/960.50 o 56007510898 960.50/960.50 o 56003126065 960.50/960.50 o 56003126064 960.50/960.50 o 56003126063 960.50/960.50 o 56003126062 960.50/960.50 o 56003126061 960.50/960.50 o 55998741226 960.50/960.50 o 55998741225 960.50/960.50 o 55994356394 960.50/960.50 o 55994356393 960.50/960.50 o 55994356392 960.50/960.50 o 55994356391 960.50/960.50 o 55994356390 960.50/960.50 o 55994356389 960.50/960.50 o 55985586717 960.50/960.50 o 55985586716 960.50/960.50 o 55985586715 960.50/960.50 o 55985586714 960.50/960.50 o 55985586713 960.50/960.50 o 55981201879 960.50/960.50 o 55981201878 960.50/960.50 o 55981201877 960.50/960.50 o 55981201876 960.50/960.50 o 55981201875 960.50/960.50 o 55981201874 960.50/960.50 o 55976817042 960.50/960.50 o 55976817040 960.50/960.50 o 55976817039 960.50/960.50 o 55976817038 960.50/960.50 o 55976817037 960.50/960.50 o 55972432214 960.50/960.50 o 55972432213 960.50/960.50 o 55972432212 960.50/960.50 o 55972432211 960.50/960.50 o 55972432210 960.50/960.50 o 55972432209 960.50/960.50 o 55972432208 960.50/960.50 o 55972432207 960.50/960.50 o 55972432206 960.50/960.50 o 55972432205 960.50/960.50 o 55972432204 960.50/960.50 o 55972432203 960.50/960.50 o 55972432202 960.50/960.50 o 55972432201 960.50/960.50 o 55972432200 960.50/960.50 o 55968047365 960.50/960.50 o 55968047364 960.50/960.50 o 55963662532 960.50/960.50 o 55963662531 960.50/960.50 o 55963662530 960.50/960.50 o 55963662529 960.50/960.50 o 55963662528 960.50/960.50 o 55963662527 960.50/960.50 o 55959277694 960.50/960.50 o 55959277693 960.50/960.50 o 55959277692 960.50/960.50 o 55959277691 960.50/960.50 o 55959277690 960.50/960.50 o 55959277689 960.50/960.50 o 55959277688 960.50/960.50 o 55959277687 960.50/960.50 o 55954892857 960.50/960.50 o 55954892856 960.50/960.50 o 55954892855 960.50/960.50 o 55954892854 960.50/960.50 o 55954892853 960.50/960.50 o 55954892852 960.50/960.50 o 55954892851 960.50/960.50 o 55954892850 960.50/960.50 o 55954892849 960.50/960.50 o 55954892848 960.50/960.50 o 55950508016 960.50/960.50 o 55950508015 960.50/960.50 o 55950508014 960.50/960.50 o 55950508013 960.50/960.50 o 55950508012 960.50/960.50 o 55950508011 960.50/960.50 o 55950508010 960.50/960.50 o 55950508009 960.50/960.50 o 55950508008 960.50/960.50 o 55946123177 960.50/960.50 o 55946123176 960.50/960.50 o 55946123175 960.50/960.50 o 55946123174 960.50/960.50 o 55946123173 960.50/960.50 o 55946123172 960.50/960.50 o 55941738355 960.50/960.50 o 55941738354 960.50/960.50 o 55941738352 960.50/960.50 o 55941738351 960.50/960.50 o 55941738350 960.50/960.50 o 55941738349 1634.82/1634.86 o 55941738348 1634.82/1634.86 o 55941738347 1634.82/1634.86 o 55941738344 1634.82/1634.86 o 55941738343 1634.82/1634.86 o 55941738342 1634.82/1634.86 o 55941738341 1634.82/1634.86 o 55941738340 1634.82/1634.86 o 55941738339 1634.82/1634.86 o 55941738338 1634.82/1634.86 o 55937353509 1634.82/1634.86 o 55937353508 1634.82/1634.86 o 55937353507 1634.82/1634.86 o 55937353506 1634.82/1634.86 o 55937353503 1634.82/1634.86 o 55937353502 1634.82/1634.86 o 55937353501 1634.82/1634.86 o 55937353500 1634.82/1634.86 o 55937353499 1634.82/1634.86 o 55937353498 1634.82/1634.86 o 55932968670 1634.82/1634.86 o 55932968669 1634.82/1634.86 o 55932968668 1634.82/1634.86 o 55932968667 1634.82/1634.86 o 55932968666 1634.82/1634.86 o 55932968665 1634.82/1634.86 o 55932968664 1634.82/1634.86 o 55932968663 1634.82/1634.86 o 55932968662 1634.82/1634.86 o 55932968661 1634.82/1634.86 o 55932968660 1634.82/1634.86 o 55928583838 1634.82/1634.86 o 55928583837 1634.82/1634.86 o 55928583836 1634.82/1634.86 o 55928583835 1634.82/1634.86 o 55928583834 1634.82/1634.86 o 55928583833 1634.82/1634.86 o 55928583832 1634.82/1634.86 o 55928583831 1634.82/1634.86 o 55928583830 1634.82/1634.86 o 55928583829 1634.82/1634.86 o 55928583828 1634.82/1634.86 o 55928583827 1634.82/1634.86 o 55928583826 1634.82/1634.86 o 55924199003 1634.82/1634.86 o 55924199002 1634.82/1634.86 o 55924199001 1634.82/1634.86 o 55924199000 1634.82/1634.86 o 55924198999 1634.82/1634.86 o 55924198998 1634.82/1634.86 o 55924198997 1634.82/1634.86 o 55924198996 1634.82/1634.86 o 55919814161 1634.82/1634.86 o 55919814160 1634.82/1634.86 o 55919814159 1634.82/1634.86 o 55919814158 1634.82/1634.86 o 55915429328 1634.82/1634.86 o 55915429327 1634.82/1634.86 o 55915429326 1634.82/1634.86 o 55915429325 1634.82/1634.86 o 55915429324 1634.82/1634.86 o 55915429323 1634.82/1634.86 o 55915429322 1634.82/1634.86 o 55915429321 1634.82/1634.86 o 55915429320 1634.82/1634.86 o 55911044484 1634.82/1634.86 o 55906659648 1634.82/1634.86 o 55902274812 1634.82/1634.86 o 55897889985 1634.82/1634.86 o 55897889984 1634.82/1634.86 o 55897889983 1634.82/1634.86 o 55897889982 1634.82/1634.86 o 55897889981 1634.82/1634.86 o 55897889980 1634.82/1634.86 o 55897889979 1634.82/1634.86 o 55897889978 1634.82/1634.86 o 55897889977 1634.82/1634.86 o 55897889976 1634.82/1634.86 o 55897889975 1634.82/1634.86 o 55897889974 1634.82/1634.86 o 55897889972 1634.82/1634.86 o 55897889971 1634.82/1634.86 o 55897889970 1634.82/1634.86 o 55897889969 1634.82/1634.86 o 55897889968 1634.82/1634.86 o 55897889967 1634.82/1634.86 o 55897889966 1634.82/1634.86 o 55897889965 1634.82/1634.86 o 55897889964 1634.82/1634.86 o 55897889963 1634.82/1634.86 o 55897889962 1634.82/1634.86 o 55897889961 1634.82/1634.86 o 55897889960 1634.82/1634.86 o 55897889959 1634.82/1634.86 o 55897889958 1634.82/1634.86 o 55897889957 1634.82/1634.86 o 55897889956 1634.82/1634.86 o 55893505121 1634.82/1634.86 o 55893505120 1634.82/1634.86 o 55893505119 1634.82/1634.86 o 55893505118 1634.82/1634.86 o 55893505117 1634.82/1634.86 o 55893505116 1634.82/1634.86 o 55893505115 1634.82/1634.86 o 55893505114 1634.82/1634.86 o 55889120282 1634.82/1634.86 o 55889120281 1634.82/1634.86 o 55889120280 1634.82/1634.86 o 55889120279 1634.82/1634.86 o 55889120278 1634.82/1634.86 o 55889120277 1634.82/1634.86 o 55884735446 1634.82/1634.86 o 55884735445 1634.82/1634.86 o 55884735444 1634.82/1634.86 o 55884735443 1634.82/1634.86 o 55884735442 1634.82/1634.86 o 55884735441 1634.82/1634.86 o 55880350606 1634.82/1634.86 o 55880350605 1634.82/1634.86 o 55875965775 1634.82/1634.86 o 55875965774 1634.82/1634.86 o 55875965773 1634.82/1634.86 o 55875965772 1634.82/1634.86 o 55875965771 1634.82/1634.86 o 55875965770 1634.82/1634.86 o 55875965769 1634.82/1634.86 o 55875965768 1634.82/1634.86 o 55875965767 1634.82/1634.86 o 55875965766 1634.82/1634.86 o 55875965765 1634.82/1634.86 o 55871580934 1634.82/1634.86 o 55871580933 1634.82/1634.86 o 55871580932 1634.82/1634.86 o 55871580931 1634.82/1634.86 o 55871580930 1634.82/1634.86 o 46698504023 1634.82/1634.86 o 46698504022 1634.82/1634.86 o 46698504021 1634.82/1634.86 o 46694119185 1634.82/1634.86 o 46694119184 1634.82/1634.86 o 46694119183 1634.82/1634.86 o 46694119182 1634.82/1634.86 o 37516657437 1634.82/1634.86 o 37516657436 1634.82/1634.86 o 37516657435 1634.82/1634.86 o 37516657434 1634.82/1634.86 o 37512272598 1634.82/1634.86 o 37512272597 1634.82/1634.86 o 37512272596 1634.82/1634.86 o 37512272595 1634.82/1634.86 o 37512272594 1634.82/1634.86 o 37507887764 1634.82/1634.86 o 37507887763 1634.82/1634.86 o 37507887761 1634.82/1634.86 o 37507887760 1634.82/1634.86 o 37507887759 1634.82/1634.86 o 37507887758 1634.82/1634.86 o 37507887757 1634.82/1634.86 o 37507887756 1634.82/1634.86 o 37507887755 1634.82/1634.86 o 37507887754 1634.82/1634.86 o 37507887753 1634.82/1634.86 o 37507887752 1634.82/1634.86 o 37507887751 1634.82/1634.86 o 37507887750 1634.82/1634.86 o 37503502919 1634.82/1634.86 o 37503502918 1634.82/1634.86 o 37503502917 1634.82/1634.86 o 37503502916 1634.82/1634.86 o 37503502915 1634.82/1634.86 o 37503502914 1634.82/1634.86 o 37499118081 1634.82/1634.86 o 37499118080 1634.82/1634.86 o 37499118079 1634.82/1634.86 o 37499118078 1634.82/1634.86 o 37499118077 1634.82/1634.86 o 37499118076 1634.82/1634.86 o 28453201408 1634.82/1634.86 o 28448816573 1634.82/1634.86 o 28448816572 1634.82/1634.86 o 28448816571 1634.82/1634.86 o 28448816570 1634.82/1634.86 o 28444431737 1634.82/1634.86 o 28444431735 1634.82/1634.86 o 28444431734 1634.82/1634.86 o 28444431733 1634.82/1634.86 o 28444431732 1634.82/1634.86 o 28444431731 1634.82/1634.86 o 28444431730 1634.82/1634.86 o 28444431729 1634.82/1634.86 o 28444431728 1634.82/1634.86 o 28444431727 1634.82/1634.86 o 28444431726 1634.82/1634.86 o 28440046894 1634.82/1634.86 o 28440046893 1634.82/1634.86 o 28440046891 1634.82/1634.86 o 28440046890 1634.82/1634.86 o 28440046889 1634.82/1634.86 o 28440046888 1634.82/1634.86 o 28435662057 1634.82/1634.86 o 28435662056 1634.82/1634.86 o 28435662055 1634.82/1634.86 o 28435662054 1634.82/1634.86 o 28435662053 1634.82/1634.86 o 28435662052 1634.82/1634.86 o 28435662051 1634.82/1634.86 o 28435662050 1634.82/1634.86 o 28435662049 1634.82/1634.86 o 28435662048 1634.82/1634.86 o 28435662047 1634.82/1634.86 o 28435662046 1634.82/1634.86 o 28426892378 1634.82/1634.86 o 28426892377 1634.82/1634.86 o 28426892376 1634.82/1634.86 o 28426892375 1634.82/1634.86 o 28426892374 1634.82/1634.86 o 28422507540 1634.82/1634.86 o 28422507539 1634.82/1634.86 o 28422507538 1634.82/1634.86 o 28422507537 1634.82/1634.86 o 28422507536 1634.82/1634.86 o 28422507535 1634.82/1634.86 o 28422507534 1634.82/1634.86 o 28422507533 1634.82/1634.86 o 28422507532 1634.82/1634.86 o 28422507531 1634.82/1634.86 o 28422507530 1634.82/1634.86 o 28422507529 1634.82/1634.86 o 28422507528 1634.82/1634.86 o 28422507527 1634.82/1634.86 o 28422507526 1634.82/1634.86 o 28422507525 1634.82/1634.86 o 28422507524 1634.82/1634.86 o 28418122701 1634.82/1634.86 o 28418122700 1634.82/1634.86 o 28418122699 1634.82/1634.86 o 28418122698 1634.82/1634.86 o 28418122697 1634.82/1634.86 o 28418122696 1634.82/1634.86 o 28418122695 1634.82/1634.86 o 28418122694 1634.82/1634.86 o 28418122693 1634.82/1634.86 o 28418122692 1634.82/1634.86 o 28418122691 1634.82/1634.86 o 28418122690 1634.82/1634.86 o 28413737859 1634.82/1634.86 o 28413737858 1634.82/1634.86 o 28413737856 1634.82/1634.86 o 28413737855 1634.82/1634.86 o 28413737854 1634.82/1634.86 o 28413737853 1634.82/1634.86 o 28413737852 1634.82/1634.86 o 28409353020 1634.82/1634.86 o 28409353019 1634.82/1634.86 o 28409353018 1634.82/1634.86 o 28409353017 1634.82/1634.86 o 28409353016 1634.82/1634.86 o 28409353015 1634.82/1634.86 o 28409353014 1634.82/1634.86 o 28409353013 1634.82/1634.86 o 28409353012 1634.82/1634.86 o 28404968180 1634.82/1634.86 o 28404968179 1634.82/1634.86 o 28404968178 1634.82/1634.86 o 28404968177 1634.82/1634.86 o 28400583350 1634.82/1634.86 o 28400583349 1634.82/1634.86 o 28400583348 1634.82/1634.86 o 28400583347 1634.82/1634.86 o 28400583346 1634.82/1634.86 o 28400583345 1634.82/1634.86 o 28400583344 1634.82/1634.86 o 28400583343 1634.82/1634.86 o 28396198508 1634.82/1634.86 o 28396198507 1634.82/1634.86 o 28396198506 1634.82/1634.86 o 28391813678 1634.82/1634.86 o 28391813677 1634.82/1634.86 o 28391813676 1634.82/1634.86 o 28391813675 1634.82/1634.86 o 28391813674 1634.82/1634.86 o 28391813673 1634.82/1634.86 o 28387428841 1634.82/1634.86 o 28387428840 1634.82/1634.86 o 28387428839 1634.82/1634.86 o 28387428838 1634.82/1634.86 o 28387428837 1634.82/1634.86 o 28383044017 1634.82/1634.86 o 28383044016 1634.82/1634.86 o 28383044015 1634.82/1634.86 o 28383044014 1634.82/1634.86 o 28383044013 1634.82/1634.86 o 28383044012 1634.82/1634.86 o 2838>>> Terminate signal received 1800.03/1800.00 3044011 1800.03/1800.00 o 28383044010 1800.03/1800.00 o 28383044009 1800.03/1800.00 o 28383044008 1800.03/1800.00 o 28383044007 1800.03/1800.00 o 28383044006 1800.03/1800.00 o 28383044005 1800.03/1800.00 o 28383044004 1800.03/1800.00 o 28383044003 1800.03/1800.00 o 28383044002 1800.03/1800.00 o 28383044001 1800.03/1800.00 o 28378659165 1800.03/1800.00 o 28374274329 1800.03/1800.00 o 28369889497 1800.03/1800.00 o 28369889496 1800.03/1800.00 o 28369889495 1800.03/1800.00 o 28369889494 1800.03/1800.00 o 28369889493 1800.03/1800.00 o 28369889492 1800.03/1800.00 o 28369889491 1800.03/1800.00 o 28365504662 1800.03/1800.00 o 28365504661 1800.03/1800.00 o 28365504660 1800.03/1800.00 o 28365504659 1800.03/1800.00 o 28365504658 1800.03/1800.00 o 28365504657 1800.03/1800.00 o 28365504656 1800.03/1800.00 o 28365504655 1800.03/1800.00 o 28365504654 1800.03/1800.00 o 28361119818 1800.03/1800.00 o 28356734982 1800.03/1800.00 o 28356734981 1800.03/1800.00 o 28356734980 1800.03/1800.00 o 28356734979 1800.03/1800.00 o 28356734978 1800.03/1800.00 o 28356734977 1800.03/1800.00 o 28356734976 1800.03/1800.00 o 28356734975 1800.03/1800.00 o 28352350148 1800.03/1800.00 o 28352350147 1800.03/1800.00 o 28352350146 1800.03/1800.00 o 28352350145 1800.03/1800.00 o 28352350144 1800.03/1800.00 o 28352350143 1800.03/1800.00 o 28352350142 1800.03/1800.00 o 28352350141 1800.03/1800.00 o 28352350140 1800.03/1800.00 o 28352350139 1800.03/1800.00 o 28352350138 1800.03/1800.00 o 28339195649 1800.03/1800.00 o 28339195648 1800.03/1800.00 o 28339195647 1800.03/1800.00 o 28339195646 1800.03/1800.00 o 28339195645 1800.03/1800.00 o 28339195644 1800.03/1800.00 o 28339195643 1800.03/1800.00 o 28339195642 1800.03/1800.00 o 28339195641 1800.03/1800.00 o 28339195640 1800.03/1800.00 o 28339195639 1800.03/1800.00 o 28339195638 1800.03/1800.00 o 28339195637 1800.03/1800.00 o 28339195636 1800.03/1800.00 o 28334810801 1800.03/1800.00 o 28330425981 1800.03/1800.00 o 28330425980 1800.03/1800.00 o 28330425978 1800.03/1800.00 o 28330425977 1800.03/1800.00 o 28330425976 1800.03/1800.00 o 28330425975 1800.03/1800.00 o 28330425974 1800.03/1800.00 o 28330425973 1800.03/1800.00 o 28330425972 1800.03/1800.00 o 28330425971 1800.03/1800.00 o 28330425970 1800.03/1800.00 o 28330425969 1800.03/1800.00 o 28326041135 1800.03/1800.00 o 28326041134 1800.03/1800.00 o 28326041133 1800.03/1800.00 o 28326041132 1800.03/1800.00 o 28321656306 1800.03/1800.00 o 28321656305 1800.03/1800.00 o 28321656304 1800.03/1800.00 o 28321656302 1800.03/1800.00 o 28321656301 1800.03/1800.00 o 28321656300 1800.03/1800.00 o 28321656299 1800.03/1800.00 o 28321656298 1800.03/1800.00 o 28321656297 1800.03/1800.00 o 28321656296 1800.03/1800.00 o 28321656295 1800.03/1800.00 o 28321656294 1800.03/1800.00 o 28317271463 1800.03/1800.00 o 28312886639 1800.03/1800.00 o 28312886638 1800.03/1800.00 o 28312886637 1800.03/1800.00 o 28312886636 1800.03/1800.00 o 28312886635 1800.03/1800.00 o 28312886634 1800.03/1800.00 o 28312886633 1800.03/1800.00 o 28312886632 1800.03/1800.00 o 28312886631 1800.03/1800.00 o 28312886630 1800.03/1800.00 o 28312886629 1800.03/1800.00 o 28312886628 1800.03/1800.00 o 28312886627 1800.03/1800.00 o 28312886626 1800.03/1800.00 o 28312886625 1800.03/1800.00 o 28312886624 1800.03/1800.00 o 28308501801 1800.03/1800.00 o 28308501800 1800.03/1800.00 o 28308501799 1800.03/1800.00 o 28308501798 1800.03/1800.00 o 28308501797 1800.03/1800.00 o 28308501796 1800.03/1800.00 o 28308501795 1800.03/1800.00 o 28308501794 1800.03/1800.00 o 28295347284 1800.03/1800.00 o 28295347283 1800.03/1800.00 o 28295347282 1800.03/1800.00 o 28295347281 1800.03/1800.00 o 28295347280 1800.03/1800.00 o 28290962455 1800.03/1800.00 o 28290962454 1800.03/1800.00 o 28290962453 1800.03/1800.00 o 28290962452 1800.03/1800.00 o 28290962451 1800.03/1800.00 o 28290962450 1800.03/1800.00 o 28290962449 1800.03/1800.00 o 28290962448 1800.03/1800.00 o 28290962447 1800.03/1800.00 o 28290962446 1800.03/1800.00 o 28290962445 1800.03/1800.00 v -x1 -x2 x3 -x4 x5 -x6 -x7 x8 -x9 -x10 x11 x12 -x13 -x14 x15 -x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 -x25 x26 -x27 x28 -x29 x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 x124 x125 x126 -x127 -x128 -x129 -x130 x131 x132 -x133 -x134 x135 x136 -x137 x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 x154 x155 x156 -x157 -x158 x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 x258 -x259 x260 -x261 -x262 -x263 x264 -x265 -x266 x267 x268 -x269 x270 x271 -x272 x273 x274 -x275 -x276 -x277 -x278 x279 -x280 x281 x282 -x283 -x284 x285 -x286 -x287 x288 x289 -x290 x291 -x292 x293 -x294 -x295 x296 -x297 x298 -x299 -x300 x301 -x302 -x303 x304 x305 -x306 -x307 x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 x323 x324 -x325 x326 -x327 -x328 x329 -x330 -x331 x332 x333 -x334 x335 x336 x337 -x338 x339 -x340 -x341 -x342 -x343 x344 -x345 x346 -x347 -x348 x349 x350 -x351 -x352 -x353 -x354 x355 -x356 -x357 x358 -x359 -x360 x361 -x362 x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 x372 x373 -x374 x375 -x376 -x377 x378 -x379 -x380 -x381 x382 x383 -x384 -x385 x386 -x387 -x388 x389 x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 x398 -x399 x400 -x401 -x402 x403 x404 -x405 -x406 x407 -x408 x409 -x410 -x411 x412 x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 x422 -x423 x424 -x425 x426 -x427 -x428 x429 -x430 x431 -x432 -x433 x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 x461 x462 x463 x464 x465 x466 -x467 -x468 -x469 -x470 x471 -x472 x473 -x474 -x475 x476 x477 x478 x479 x480 x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 x501 x502 -x503 -x504 -x505 x506 -x507 x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 x517 x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 x551 -x552 x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 x561 -x562 x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 x584 -x585 -x586 x587 -x588 x589 -x590 x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 x621 -x622 -x623 x624 -x625 -x626 -x627 x628 -x629 -x630 x631 x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 x651 -x652 -x653 -x654 x655 -x656 x657 -x658 -x659 x660 x661 -x662 -x663 -x664 -x665 x666 -x667 x668 -x669 -x670 x671 x672 -x673 x674 -x675 -x676 x677 x678 -x679 -x680 -x681 x682 -x683 -x684 x685 x686 -x687 -x688 x689 -x690 x691 x692 -x693 -x694 -x695 x696 -x697 -x698 x699 -x700 x701 x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 x713 x714 -x715 -x716 x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 x729 x730 -x731 x732 -x733 x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800 x801 -x802 -x803 x804 -x805 x806 -x807 x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 x818 x819 -x820 x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 x838 -x839 x840 x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 x849 x850 x851 -x852 x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 x865 -x866 -x867 x868 x869 -x870 -x871 -x872 x873 -x874 x875 -x876 -x877 x878 -x879 x880 x881 -x882 x883 -x884 x885 -x886 -x887 x888 -x889 -x890 x891 -x892 -x893 x894 -x895 x896 x897 -x898 -x899 x900 -x901 x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 x910 -x911 -x912 x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 x932 -x933 -x934 -x935 x936 -x937 x938 x939 -x940 -x941 -x942 x943 x944 -x945 -x946 x947 -x948 -x949 x950 -x951 -x952 -x953 x954 x955 -x956 x957 x958 -x959 x960 -x961 -x962 -x963 x964 -x965 -x966 -x967 x968 x969 -x970 -x971 x972 -x973 x974 -x975 -x976 -x977 x978 -x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 x989 -x990 -x991 x992 x993 -x994 -x995 x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 x1012 -x1013 -x1014 x1015 -x1016 x1017 -x1018 x1019 -x1020 -x1021 x1022 x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 x1032 -x1033 x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 x1050 -x1051 x1052 -x1053 x1054 -x1055 x1056 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 x1068 x1069 -x1070 x1071 -x1072 x1073 -x1074 x1075 -x1076 x1077 -x1078 x1079 -x1080 x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 -x1096 x1097 -x1098 x1099 x1100 -x1101 -x1102 x1103 -x1104 -x1105 x1106 -x1107 x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 x1191 -x1192 x1193 -x1194 x1195 -x1196 -x1197 x1198 -x1199 x1200 x1201 -x1202 -x1203 x1204 x1205 -x1206 -x1207 x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 x1227 -x1228 -x1229 -x1230 -x1231 x1232 x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 x1240 -x1241 x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 x1279 x1280 x1281 -x1282 -x1283 -x1284 -x1285 x1286 x1287 -x1288 x1289 -x1290 -x1291 x1292 x1293 x1294 x1295 x1296 -x1297 -x1298 x1299 -x1300 x1301 -x1302 x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 x1315 -x1316 x1317 x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 x1331 -x1332 x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 x1341 -x1342 -x1343 x1344 -x1345 -x1346 x1347 -x1348 -x1349 -x1350 x1351 x1352 -x1353 -x1354 x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 x1422 -x1423 -x1424 x1425 -x1426 x1427 -x1428 x1429 -x1430 -x1431 -x1432 x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 x1532 -x1533 -x1534 x1535 -x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 x1601 -x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 x1612 x1613 -x1614 x1615 -x1616 x1617 -x1618 -x1619 x1620 x1621 x1622 x1623 -x1624 -x1625 -x1626 x1627 -x1628 x1629 x1630 -x1631 -x1632 -x1633 -x1634 x1635 -x1636 -x1637 x1638 x1639 -x1640 -x1641 -x1642 x1643 x1644 -x1645 x1646 x1647 -x1648 -x1649 x1650 -x1651 -x1652 x1653 -x1654 x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 x1676 x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 x1686 -x1687 -x1688 -x1689 x1690 -x1691 -x1692 -x1693 -x1694 x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 x1720 -x1721 -x1722 x1723 x1724 x1725 -x1726 x1727 -x1728 x1729 -x1730 x1731 x1732 -x1733 -x1734 x1735 x1736 -x1737 x1738 -x1739 x1740 x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 x1776 -x1777 x1778 -x1779 x1780 -x1781 x1782 -x1783 x1784 -x1785 -x1786 x1787 -x1788 -x1789 -x1790 -x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 x1806 x1807 -x1808 -x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 x1909 -x1910 x1911 x1912 -x1913 x1914 x1915 -x1916 -x1917 x1918 x1919 -x1920 x1921 -x1922 x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 x1931 -x1932 x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 x1948 -x1949 -x1950 x1951 -x1952 x1953 -x1954 -x1955 x1956 -x1957 -x1958 x1959 x1960 -x1961 -x1962 -x1963 x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 x1973 -x1974 -x1975 x1976 -x1977 x1978 -x1979 x1980 -x1981 x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 -x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 x2062 x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 -x2072 -x2073 -x2074 x2075 x2076 -x2077 -x2078 x2079 -x2080 x2081 x2082 -x2083 x2084 -x2085 x2086 -x2087 -x2088 x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2097 -x2098 -x2099 -x2100 x2101 -x2102 x2103 -x2104 x2105 -x2106 -x2107 -x2108 x2109 -x2110 x2111 x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 x2121 -x2122 x2123 -x2124 -x2125 -x2126 x2127 -x2128 x2129 -x2130 x2131 -x2132 -x2133 -x2134 x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 x2144 -x2145 -x2146 x2147 -x2148 x2149 -x2150 x2151 -x2152 -x2153 x2154 x2155 x2156 -x2157 -x2158 -x2159 -x2160 -x2161 x2162 -x2163 -x2164 -x2165 -x2166 x2167 x2168 x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 x2193 -x2194 x2195 x2196 -x2197 -x2198 x2199 -x2200 x2201 x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 x2211 -x2212 x2213 -x2214 -x2215 -x2216 x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 x2227 -x2228 x2229 -x2230 -x2231 x2232 x2233 -x2234 x2235 -x2236 -x2237 x2238 -x2239 x2240 -x2241 x2242 -x2243 x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 x2251 x2252 -x2253 x2254 -x2255 x2256 -x2257 -x2258 -x2259 x2260 -x2261 -x2262 -x2263 x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 x2276 x2277 x2278 x2279 -x2280 x2281 -x2282 x2283 -x2284 -x2285 x2286 x2287 -x2288 -x2289 -x2290 -x2291 x2292 -x2293 x2294 -x2295 x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 -x2314 x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 x2324 -x2325 x2326 -x2327 -x2328 x2329 x2330 -x2331 x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 x2343 -x2344 -x2345 -x2346 -x2347 x2348 -x2349 x2350 -x2351 x2352 -x2353 x2354 -x2355 -x2356 x2357 -x2358 x2359 -x2360 -x2361 x2362 -x2363 x2364 x2365 -x2366 x2367 -x2368 -x2369 -x2370 -x2371 x2372 -x2373 x2374 -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 -x2391 -x2392 -x2393 x2394 x2395 -x2396 x2397 -x2398 -x2399 x2400 x2401 -x2402 x2403 -x2404 x2405 -x2406 -x2407 x2408 -x2409 -x2410 x2411 x2412 -x2413 -x2414 -x2415 -x2416 x2417 -x2418 -x2419 x2420 x2421 -x2422 x2423 x2424 x2425 x2426 x2427 -x2428 x2429 -x2430 x2431 -x2432 -x2433 x2434 x2435 -x2436 -x2437 x2438 -x2439 x2440 -x2441 x2442 x2443 -x2444 x2445 -x2446 -x2447 x2448 -x2449 x2450 x2451 -x2452 x2453 -x2454 -x2455 x2456 -x2457 -x2458 -x2459 x2460 -x2461 -x2462 -x2463 -x2464 x2465 -x2466 x2467 -x2468 x2469 -x2470 x2471 -x2472 -x2473 -x2474 -x2475 x2476 x2477 -x2478 -x2479 x2480 -x2481 x2482 -x2483 -x2484 -x2485 x2486 x2487 x2488 x2489 x2490 x2491 -x2492 x2493 -x2494 -x2495 -x2496 -x2497 x2498 x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 x2517 x2518 -x2519 x2520 -x2521 x2522 x2523 -x2524 -x2525 -x2526 x2527 -x2528 x2529 -x2530 x2531 -x2532 x2533 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 x2549 x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 x2567 x2568 -x2569 -x2570 x2571 -x2572 x2573 -x2574 x2575 -x2576 x2577 -x2578 x2579 -x2580 x2581 -x2582 -x2583 x2584 x2585 -x2586 x2587 -x2588 x2589 -x2590 -x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 x2602 -x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 -x2619 x2620 x2621 -x2622 x2623 -x2624 x2625 x2626 -x2627 -x2628 -x2629 -x2630 x2631 -x2632 x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 x2640 -x2641 x2642 x2643 x2644 -x2645 -x2646 x2647 -x2648 x2649 x2650 -x2651 x2652 -x2653 x2654 x2655 -x2656 x2657 -x2658 x2659 x2660 x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 x2669 -x2670 x2671 -x2672 x2673 x2674 -x2675 -x2676 -x2677 x2678 -x2679 -x2680 -x2681 x2682 -x2683 x2684 -x2685 x2686 -x2687 -x2688 x2689 -x2690 -x2691 x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 x2711 -x2712 -x2713 x2714 -x2715 x2716 -x2717 -x2718 x2719 -x2720 x2721 x2722 x2723 -x2724 -x2725 x2726 -x2727 x2728 -x2729 -x2730 -x2731 -x2732 x2733 -x2734 -x2735 x2736 x2737 -x2738 -x2739 -x2740 -x2741 x2742 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 x2750 -x2751 -x2752 x2753 x2754 x2755 -x2756 x2757 -x2758 -x2759 x2760 -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 x2771 -x2772 x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 x2780 -x2781 x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 x2793 -x2794 -x2795 -x2796 -x2797 -x2798 x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 x2807 -x2808 -x2809 -x2810 x2811 -x2812 -x2813 x2814 -x2815 x2816 -x2817 x2818 -x2819 -x2820 x2821 x2822 x2823 x2824 -x2825 x2826 -x2827 -x2828 x2829 -x2830 x2831 -x2832 -x2833 x2834 x2835 x2836 -x2837 x2838 -x2839 -x2840 -x2841 x2842 x2843 x2844 x2845 x2846 -x2847 x2848 -x2849 -x2850 -x2851 x2852 x2853 -x2854 -x2855 -x2856 -x2857 -x2858 x2859 -x2860 x2861 -x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 x2875 -x2876 x2877 x2878 -x2879 x2880 -x2881 -x2882 x2883 -x2884 x2885 -x2886 x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x2896 x2897 -x2898 -x2899 -x2900 x2901 -x2902 x2903 -x2904 x2905 -x2906 x2907 -x2908 -x2909 -x2910 x2911 -x2912 -x2913 -x2914 -x2915 x2916 x2917 x2918 x2919 x2920 x2921 x2922 x2923 x2924 -x2925 x2926 -x2927 x2928 -x2929 x2930 x2931 x2932 -x2933 -x2934 -x2935 x2936 x2937 -x2938 x2939 -x2940 x2941 -x2942 x2943 -x2944 x2945 x2946 x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 x2958 x2959 x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 x2968 -x2969 -x2970 -x2971 -x2972 x2973 -x2974 -x2975 x2976 x2977 x2978 x2979 -x2980 x2981 -x2982 -x2983 -x2984 -x2985 x2986 x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 x3004 x3005 -x3006 -x3007 -x3008 x3009 -x3010 -x3011 -x3012 -x3013 x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 x3024 x3025 -x3026 -x3027 x3028 x3029 -x3030 -x3031 -x3032 -x3033 -x3034 x3035 -x3036 -x3037 -x3038 x3039 -x3040 -x3041 -x3042 x3043 -x3044 -x3045 -x3046 -x3047 -x3048 x3049 x3050 x3051 -x3052 -x3053 -x3054 x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 x3072 -x3073 x3074 -x3075 -x3076 -x3077 x3078 -x3079 -x3080 -x3081 x3082 -x3083 -x3084 -x3085 x3086 -x3087 x3088 -x3089 -x3090 -x3091 -x3092 -x3093 x3094 -x3095 -x3096 x3097 -x3098 -x3099 x3100 -x3101 -x3102 -x3103 x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 x3112 -x3113 -x3114 -x3115 -x3116 -x3117 x3118 -x3119 -x3120 x3121 -x3122 -x3123 -x3124 x3125 -x3126 -x3127 x3128 -x3129 x3130 -x3131 x3132 -x3133 x3134 x3135 -x3136 x3137 x3138 x3139 -x3140 x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 x3149 x3150 -x3151 -x3152 x3153 -x3154 -x3155 x3156 x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 x3170 -x3171 -x3172 -x3173 -x3174 x3175 -x3176 x3177 -x3178 -x3179 -x3180 x3181 x3182 -x3183 -x3184 -x3185 x3186 -x3187 x3188 -x3189 -x3190 x3191 x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 x3204 -x3205 x3206 -x3207 -x3208 x3209 x3210 -x3211 -x3212 -x3213 -x3214 -x3215 x3216 x3217 -x3218 x3219 -x3220 x3221 -x3222 x3223 -x3224 -x3225 x3226 -x3227 -x3228 -x3229 -x3230 x3231 x3232 -x3233 -x3234 x3235 -x3236 x3237 -x3238 -x3239 x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 x3248 -x3249 -x3250 -x3251 x3252 x3253 x3254 -x3255 -x3256 -x3257 -x3258 -x3259 x3260 x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 x3273 -x3274 -x3275 -x3276 -x3277 -x3278 x3279 -x3280 -x3281 x3282 -x3283 -x3284 x3285 -x3286 -x3287 -x3288 x3289 -x3290 x3291 -x3292 x3293 -x3294 x3295 -x3296 x3297 -x3298 x3299 -x3300 -x3301 x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x3310 -x3311 x3312 -x3313 x3314 -x3315 -x3316 -x3317 x3318 -x3319 x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 x3327 -x3328 -x3329 -x3330 x3331 x3332 -x3333 x3334 -x3335 -x3336 x3337 -x3338 -x3339 x3340 x3341 -x3342 x3343 x3344 x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 x3366 -x3367 -x3368 -x3369 x3370 -x3371 x3372 x3373 -x3374 -x3375 x3376 -x3377 x3378 -x3379 x3380 -x3381 x3382 x3383 -x3384 x3385 -x3386 -x3387 x3388 -x3389 x3390 -x3391 -x3392 -x3393 -x3394 -x3395 x3396 -x3397 x3398 -x3399 -x3400 -x3401 -x3402 x3403 x3404 -x3405 -x3406 x3407 -x3408 -x3409 -x3410 -x3411 x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 x3424 -x3425 -x3426 -x3427 x3428 x3429 -x3430 -x3431 x3432 -x3433 x3434 -x3435 -x3436 x3437 -x3438 x3439 -x3440 x3441 -x3442 x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 -x3454 -x3455 -x3456 x3457 -x3458 -x3459 -x3460 x3461 -x3462 -x3463 -x3464 x3465 x3466 -x3467 -x3468 x3469 -x3470 -x3471 -x3472 -x3473 x3474 -x3475 -x3476 x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 x3487 -x3488 -x3489 x3490 x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 x3512 x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 x3522 -x3523 -x3524 -x3525 -x3526 -x3527 x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 x3538 -x3539 -x3540 -x3541 -x3542 -x3543 x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 x3558 -x3559 -x3560 x3561 -x3562 -x3563 x3564 -x3565 -x3566 x3567 -x3568 -x3569 -x3570 x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 -x3579 x3580 x3581 -x3582 -x3583 -x3584 x3585 -x3586 x3587 -x3588 -x3589 -x3590 x3591 -x3592 -x3593 x3594 x3595 x3596 -x3597 -x3598 x3599 -x3600 -x3601 -x3602 -x3603 -x3604 x3605 -x3606 x3607 -x3608 x3609 -x3610 -x3611 -x3612 x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 x3632 x3633 -x3634 -x3635 x3636 x3637 -x3638 x3639 -x3640 -x3641 x3642 -x3643 x3644 x3645 x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 x3656 -x3657 -x3658 x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 x3672 -x3673 x3674 -x3675 -x3676 x3677 -x3678 x3679 -x3680 -x3681 x3682 -x3683 -x3684 x3685 -x3686 x3687 -x3688 -x3689 -x3690 x3691 -x3692 x3693 x3694 -x3695 -x3696 -x3697 x3698 -x3699 -x3700 -x3701 x3702 x3703 x3704 x3705 x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 x3723 -x3724 -x3725 -x3726 x3727 -x3728 x3729 -x3730 -x3731 -x3732 -x3733 -x3734 x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 x3751 -x3752 -x3753 -x3754 x3755 -x3756 -x3757 -x3758 -x3759 -x3760 x3761 -x3762 -x3763 x3764 -x3765 x3766 -x3767 x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 -x3776 -x3777 x3778 -x3779 x3780 -x3781 x3782 x3783 -x3784 -x3785 -x3786 -x3787 -x3788 x3789 -x3790 x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 x3799 -x3800 x3801 -x3802 -x3803 x3804 -x3805 -x3806 x3807 -x3808 x3809 -x3810 -x3811 -x3812 -x3813 x3814 -x3815 -x3816 -x3817 -x3818 -x3819 x3820 -x3821 -x3822 -x3823 x3824 x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 x3832 -x3833 x3834 -x3835 -x3836 -x3837 -x3838 x3839 x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 x3856 -x3857 -x3858 -x3859 -x3860 x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 x3885 x3886 x3887 -x3888 -x3889 -x3890 -x3891 -x3892 x3893 -x3894 -x3895 -x3896 x3897 -x3898 x3899 -x3900 x3901 -x3902 -x3903 -x3904 x3905 -x3906 x3907 x3908 x3909 x3910 -x3911 -x3912 -x3913 x3914 -x3915 x3916 -x3917 x3918 -x3919 x3920 -x3921 x3922 -x3923 x3924 x3925 -x3926 x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 x3961 -x3962 -x3963 -x3964 x3965 -x3966 x3967 -x3968 -x3969 -x3970 -x3971 -x3972 x3973 x3974 -x3975 x3976 -x3977 -x3978 x3979 x3980 -x3981 -x3982 x3983 x3984 -x3985 -x3986 -x3987 -x3988 x3989 -x3990 x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 x4001 x4002 x4003 -x4004 -x4005 -x4006 x4007 x4008 -x4009 -x4010 -x4011 -x4012 x4013 -x4014 x4015 -x4016 x4017 -x4018 x4019 x4020 x4021 x4022 x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 x4037 -x4038 -x4039 -x4040 -x4041 -x4042 x4043 x4044 -x4045 -x4046 -x4047 x4048 x4049 -x4050 x4051 -x4052 x4053 -x4054 -x4055 x4056 -x4057 x4058 -x4059 -x4060 x4061 -x4062 x4063 -x4064 -x4065 x4066 -x4067 -x4068 x4069 -x4070 -x4071 x4072 x4073 x4074 x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 x5207 x5208 -x5209 x5210 -x5211 x5212 x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 x5420 x5421 -x5422 -x5423 -x5424 -x5425 -x5426 x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 x5455 x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 x5511 x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 x5526 x5527 x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 x5574 x5575 x5576 -x5577 -x5578 -x5579 -x5580 -x5581 x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 x5591 -x5592 -x5593 -x5594 -x5595 x5596 x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 x5643 -x5644 -x5645 -x5646 x5647 x5648 x5649 x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 x5657 x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 x5671 x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 x5776 -x5777 -x5778 -x5779 -x5780 x5781 x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 x5797 x5798 -x5799 x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 x5818 x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 x5833 x5834 x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 x5870 x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 x5887 x5888 -x5889 -x5890 -x5891 -x5892 x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 x5907 x5908 -x5909 x5910 x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 x5975 x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 x5990 x5991 x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 x6000 x6001 x6002 x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 x6073 x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 x6118 x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 x6134 x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 x6166 x6167 x6168 x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 x6259 -x6260 -x6261 -x6262 -x6263 -x6264 x6265 -x6266 -x6267 x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 x6282 x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 x6319 x6320 -x6321 -x6322 -x6323 -x6324 x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 x6416 x6417 x6418 x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 x6470 x6471 -x6472 -x6473 x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 x6495 x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 x6521 -x6522 -x6523 -x6524 -x6525 -x6526 x6527 x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 x6558 -x6559 x6560 -x6561 -x6562 -x6563 x6564 x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 x6579 x6580 -x6581 x6582 x6583 x6584 x6585 -x6586 -x6587 -x6588 -x6589 x6590 x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 x6603 x6604 x6605 x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 x6614 x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 x6624 -x6625 x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 x6634 x6635 -x6636 x6637 x6638 x6639 x6640 x6641 -x6642 x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 x6718 x6719 -x6720 -x6721 -x6722 -x6723 x6724 x6725 x6726 -x6727 -x6728 -x6729 x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 x6848 x6849 x6850 x6851 x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 x6863 x6864 x6865 x6866 x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 x6888 x6889 x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 x7101 x7102 -x7103 x7104 -x7105 -x7106 -x7107 -x7108 x7109 -x7110 -x7111 -x7112 x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 x7283 -x7284 -x7285 x7286 x7287 -x7288 x7289 -x7290 x7291 x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 x7335 -x7336 -x7337 -x7338 x7339 -x7340 x7341 -x7342 x7343 x7344 x7345 x7346 -x7347 -x7348 -x7349 x7350 -x7351 -x7352 -x7353 -x7354 x7355 x7356 x7357 -x7358 -x7359 x7360 -x7361 x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 x7422 -x7423 -x7424 -x7425 x7426 x7427 -x7428 -x7429 x7430 x7431 -x7432 -x7433 -x7434 -x7435 -x7436 x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 x7444 x7445 -x7446 x7447 -x7448 -x7449 -x7450 x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 x7459 x7460 -x7461 x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 x7482 -x7483 -x7484 x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 x7504 -x7505 -x7506 x7507 -x7508 -x7509 x7510 -x7511 -x7512 -x7513 x7514 x7515 x7516 -x7517 x7518 x7519 -x7520 -x7521 -x7522 x7523 x7524 x7525 -x7526 -x7527 -x7528 x7529 x7530 x7531 x7532 x7533 x7534 -x7535 x7536 x7537 -x7538 -x7539 -x7540 -x7541 -x7542 x7543 x7544 x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 x7558 -x7559 x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 x7567 x7568 x7569 -x7570 -x7571 -x7572 x7573 -x7574 x7575 -x7576 -x7577 x7578 x7579 -x7580 -x7581 -x7582 -x7583 x7584 x7585 x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 x7596 -x7597 x7598 x7599 -x7600 -x7601 -x7602 x7603 x7604 x7605 -x7606 -x7607 -x7608 -x7609 -x7610 x7611 -x7612 x7613 x7614 -x7615 x7616 x7617 x7618 x7619 x7620 -x7621 -x7622 x7623 x7624 x7625 x7626 -x7627 -x7628 -x7629 -x7630 x7631 -x7632 -x7633 x7634 x7635 x7636 x7637 x7638 x7639 x7640 x7641 x7642 -x7643 x7644 x7645 -x7646 x7647 x7648 -x7649 x7650 x7651 x7652 x7653 x7654 -x7655 -x7656 -x7657 x7658 -x7659 x7660 x7661 x7662 x7663 x7664 x7665 x7666 x7667 x7668 x7669 x7670 x7671 x7672 x7673 -x7674 -x7675 -x7676 -x7677 x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 x7685 x7686 x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 x7698 -x7699 -x7700 x7701 -x7702 -x7703 -x7704 -x7705 x7706 -x7707 -x7708 -x7709 -x7710 x7711 x7712 -x7713 -x7714 -x7715 -x7716 -x7717 x7718 x7719 x7720 x7721 -x7722 -x7723 x7724 x7725 -x7726 -x7727 x7728 -x7729 -x7730 x7731 -x7732 x7733 x7734 x7735 x7736 x7737 -x7738 x7739 -x7740 -x7741 -x7742 -x7743 x7744 x7745 x7746 x7747 -x7748 -x7749 -x7750 x7751 x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 x7760 -x7761 -x7762 -x7763 -x7764 -x7765 x7766 -x7767 x7768 x7769 x7770 x7771 x7772 -x7773 x7774 -x7775 x7776 -x7777 -x7778 x7779 -x7780 -x7781 x7782 x7783 x7784 x7785 x7786 x7787 x7788 x7789 -x7790 -x7791 -x7792 -x7793 x7794 x7795 -x7796 -x7797 -x7798 -x7799 x7800 x7801 x7802 x7803 x7804 -x7805 x7806 -x7807 x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 x7820 -x7821 -x7822 -x7823 x7824 x7825 -x7826 x7827 x7828 x7829 x7830 x7831 -x7832 -x7833 -x7834 -x7835 -x7836 x7837 -x7838 -x7839 -x7840 x7841 -x7842 x7843 -x7844 -x7845 -x7846 -x7847 x7848 -x7849 x7850 -x7851 -x7852 -x7853 -x7854 x7855 x7856 x7857 -x7858 -x7859 -x7860 -x7861 x7862 x7863 x7864 -x7865 x7866 x7867 x7868 -x7869 x7870 x7871 x7872 x7873 x7874 x7875 x7876 -x7877 -x7878 -x7879 x7880 x7881 x7882 x7883 -x7884 x7885 x7886 x7887 -x7888 x7889 x7890 x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 x7898 x7899 x7900 x7901 -x7902 x7903 x7904 x7905 -x7906 x7907 x7908 x7909 -x7910 -x7911 x7912 x7913 x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 x7921 -x7922 -x7923 -x7924 -x7925 x7926 -x7927 -x7928 x7929 x7930 -x7931 -x7932 -x7933 -x7934 x7935 -x7936 -x7937 -x7938 -x7939 -x7940 x7941 x7942 -x7943 -x7944 -x7945 x7946 x7947 x7948 x7949 x7950 x7951 x7952 -x7953 x7954 x7955 -x7956 -x7957 x7958 -x7959 x7960 -x7961 x7962 -x7963 -x7964 x7965 x7966 x7967 -x7968 x7969 x7970 x7971 x7972 x7973 -x7974 x7975 x7976 -x7977 x7978 -x7979 x7980 -x7981 -x7982 -x7983 x7984 x7985 x7986 -x7987 x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 x7995 -x7996 -x7997 x7998 x7999 -x8000 x8001 x8002 -x8003 x8004 -x8005 -x8006 x8007 x8008 x8009 x8010 x8011 -x8012 x8013 -x8014 -x8015 x8016 x8017 x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 x8025 x8026 -x8027 -x8028 -x8029 -x8030 x8031 x8032 x8033 -x8034 -x8035 -x8036 x8037 x8038 x8039 x8040 x8041 x8042 x8043 x8044 -x8045 -x8046 -x8047 x8048 x8049 x8050 x8051 x8052 x8053 x8054 x8055 x8056 x8057 x8058 x8059 x8060 x8061 x8062 x8063 -x8064 -x8065 x8066 -x8067 x8068 -x8069 -x8070 -x8071 -x8072 x8073 x8074 x8075 -x8076 x8077 x8078 -x8079 -x8080 -x8081 x8082 x8083 x8084 x8085 x8086 -x8087 -x8088 x8089 -x8090 -x8091 x8092 x8093 x8094 -x8095 -x8096 -x8097 -x8098 x8099 x8100 x8101 x8102 x8103 x8104 x8105 -x8106 x8107 x8108 -x8109 x8110 x8111 -x8112 -x8113 -x8114 -x8115 x8116 -x8117 -x8118 x8119 -x8120 -x8121 x8122 -x8123 x8124 x8125 -x8126 x8127 x8128 x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 x8137 -x8138 x8139 -x8140 -x8141 x8142 -x8143 -x8144 x8145 x8146 x8147 x8148 -x8149 x8150 x8151 x8152 -x8153 -x8154 x8155 x8156 x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 x8167 -x8168 -x8169 -x8170 -x8171 x8172 x8173 -x8174 -x8175 -x8176 x8177 -x8178 -x8179 x8180 -x8181 x8182 -x8183 -x8184 x8185 x8186 x8187 -x8188 x8189 -x8190 -x8191 -x8192 x8193 x8194 x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 x8204 -x8205 x8206 x8207 -x8208 x8209 -x8210 -x8211 -x8212 x8213 -x8214 x8215 -x8216 -x8217 -x8218 -x8219 x8220 x8221 x8222 -x8223 x8224 x8225 -x8226 x8227 x8228 x8229 x8230 -x8231 x8232 x8233 -x8234 x8235 -x8236 x8237 x8238 -x8239 x8240 -x8241 -x8242 -x8243 -x8244 -x8245 x8246 x8247 x8248 x8249 x8250 x8251 x8252 -x8253 -x8254 x8255 -x8256 -x8257 x8258 x8259 x8260 -x8261 -x8262 x8263 -x8264 x8265 x8266 -x8267 -x8268 -x8269 -x8270 -x8271 x8272 x8273 -x8274 -x8275 -x8276 -x8277 x8278 x8279 x8280 -x8281 x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 x8290 -x8291 x8292 x8293 x8294 x8295 x8296 -x8297 x8298 x8299 x8300 -x8301 -x8302 -x8303 x8304 x8305 x8306 x8307 -x8308 -x8309 x8310 x8311 -x8312 x8313 x8314 x8315 x8316 x8317 x8318 x8319 x8320 x8321 -x8322 -x8323 x8324 -x8325 -x8326 x8327 -x8328 x8329 x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 x8338 x8339 -x8340 -x8341 -x8342 -x8343 x8344 x8345 x8346 x8347 x8348 x8349 -x8350 x8351 x8352 x8353 x8354 -x8355 x8356 x8357 x8358 x8359 x8360 x8361 x8362 -x8363 -x8364 x8365 -x8366 x8367 x8368 x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 x8378 -x8379 x8380 x8381 -x8382 -x8383 -x8384 x8385 -x8386 -x8387 -x8388 -x8389 x8390 -x8391 -x8392 x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 x8410 x8411 -x8412 -x8413 x8414 -x8415 x8416 x8417 x8418 -x8419 -x8420 -x8421 x8422 -x8423 -x8424 x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 x8522 -x8523 -x8524 x8525 x8526 x8527 x8528 x8529 x8530 x8531 x8532 x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 x8553 -x8554 x8555 x8556 x8557 x8558 -x8559 -x8560 -x8561 -x8562 -x8563 x8564 x8565 x8566 x8567 x8568 -x8569 -x8570 -x8571 -x8572 -x8573 x8574 -x8575 -x8576 -x8577 -x8578 x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 x8588 -x8589 -x8590 -x8591 x8592 -x8593 -x8594 -x8595 x8596 -x8597 x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 x8609 -x8610 x8611 x8612 x8613 -x8614 -x8615 x8616 x8617 x8618 -x8619 -x8620 -x8621 -x8622 x8623 x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 x8643 -x8644 x8645 x8646 x8647 -x8648 x8649 -x8650 -x8651 -x8652 x8653 -x8654 x8655 x8656 -x8657 -x8658 -x8659 x8660 x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 x8668 x8669 -x8670 x8671 -x8672 -x8673 -x8674 -x8675 x8676 -x8677 -x8678 -x8679 x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 x8711 -x8712 x8713 -x8714 -x8715 x8716 x8717 x8718 -x8719 x8720 x8721 -x8722 -x8723 x8724 x8725 x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 x8740 x8741 x8742 -x8743 -x8744 -x8745 x8746 x8747 x8748 x8749 x8750 x8751 x8752 x8753 x8754 x8755 x8756 x8757 -x8758 x8759 x8760 x8761 x8762 x8763 x8764 -x8765 x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 x8796 x8797 x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 x8806 -x8807 -x8808 -x8809 x8810 x8811
OK 28290962445
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 /tmp/evaluation-result-3497987-1307936484/watcher-3497987-1307936484 -o /tmp/evaluation-result-3497987-1307936484/solver-3497987-1307936484 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497987-1307936484.opb --verbosity=0 --format=opb --randomseed=1836126724 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.20 1.57 3/176 9613 /proc/meminfo: memFree=7796332/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=7896 CPUtime=0 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 418 0 0 0 0 0 0 0 20 0 1 0 983879103 8085504 371 33554432000 4194304 6957856 140734177143392 18446744073709551615 5922134 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 1974 371 227 675 0 1290 0 [startup+0.014881 s] /proc/loadavg: 1.00 1.20 1.57 3/176 9613 /proc/meminfo: memFree=7796332/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=9676 CPUtime=0.01 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 935 0 0 0 1 0 0 0 20 0 1 0 983879103 9908224 822 33554432000 4194304 6957856 140734177143392 18446744073709551615 5602544 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 2419 822 251 675 0 1735 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9676 [startup+0.100878 s] /proc/loadavg: 1.00 1.20 1.57 3/176 9613 /proc/meminfo: memFree=7796332/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=15936 CPUtime=0.09 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 2497 0 0 0 9 0 0 0 20 0 1 0 983879103 16318464 2384 33554432000 4194304 6957856 140734177143392 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 3984 2385 251 675 0 3300 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15936 [startup+0.300836 s] /proc/loadavg: 1.00 1.20 1.57 3/176 9613 /proc/meminfo: memFree=7796332/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=31524 CPUtime=0.29 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 6331 0 0 0 29 0 0 0 21 0 1 0 983879103 32280576 6218 33554432000 4194304 6957856 140734177143392 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 7881 6219 251 675 0 7197 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31524 [startup+0.700779 s] /proc/loadavg: 1.00 1.20 1.57 3/176 9613 /proc/meminfo: memFree=7796332/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=69368 CPUtime=0.69 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 16271 0 0 0 68 1 0 0 22 0 1 0 983879103 71032832 15714 33554432000 4194304 6957856 140734177143392 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 17342 15715 266 675 0 16658 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 69368 [startup+1.50063 s] /proc/loadavg: 1.00 1.20 1.57 4/178 9615 /proc/meminfo: memFree=7623632/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=120616 CPUtime=1.49 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 29016 0 0 0 147 2 0 0 25 0 1 0 983879103 123510784 28329 33554432000 4194304 6957856 140734177143392 18446744073709551615 5932705 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 30154 28329 282 675 0 29470 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 120616 [startup+3.10037 s] /proc/loadavg: 1.00 1.20 1.57 4/178 9615 /proc/meminfo: memFree=7611728/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=120616 CPUtime=3.09 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 29024 0 0 0 307 2 0 0 25 0 1 0 983879103 123510784 28336 33554432000 4194304 6957856 140734177143392 18446744073709551615 4613353 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 30154 28336 282 675 0 29470 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 120616 [startup+6.30083 s] /proc/loadavg: 1.08 1.21 1.57 4/178 9615 /proc/meminfo: memFree=7611556/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=120620 CPUtime=6.29 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 29138 0 0 0 627 2 0 0 25 0 1 0 983879103 123514880 28450 33554432000 4194304 6957856 140734177143392 18446744073709551615 5311728 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 30155 28450 285 675 0 29471 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 120620 [startup+12.7008 s] /proc/loadavg: 1.15 1.22 1.57 4/178 9615 /proc/meminfo: memFree=7609380/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=121440 CPUtime=12.69 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 29379 0 0 0 1267 2 0 0 25 0 1 0 983879103 124354560 28691 33554432000 4194304 6957856 140734177143392 18446744073709551615 5922134 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 30360 28691 285 675 0 29676 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 121440 [startup+25.5006 s] /proc/loadavg: 1.34 1.26 1.58 4/178 9615 /proc/meminfo: memFree=7607116/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=122812 CPUtime=25.5 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 29786 0 0 0 2547 3 0 0 25 0 1 0 983879103 125759488 29096 33554432000 4194304 6957856 140734177143392 18446744073709551615 5929015 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 30703 29096 285 675 0 30019 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 122812 [startup+51.1004 s] /proc/loadavg: 1.56 1.32 1.59 4/178 9617 /proc/meminfo: memFree=7599756/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=125292 CPUtime=51.1 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 30451 0 0 0 5107 3 0 0 25 0 1 0 983879103 128299008 29760 33554432000 4194304 6957856 140734177143392 18446744073709551615 5917981 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 31323 29760 285 675 0 30639 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 125292 [startup+102.307 s] /proc/loadavg: 1.81 1.42 1.61 4/178 9617 /proc/meminfo: memFree=7553584/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=152484 CPUtime=102.3 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 42775 0 0 0 10226 4 0 0 25 0 1 0 983879103 156143616 35916 33554432000 4194304 6957856 140734177143392 18446744073709551615 5934404 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 38121 35916 287 675 0 37437 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 152484 [startup+162.301 s] /proc/loadavg: 1.93 1.52 1.63 3/178 9657 /proc/meminfo: memFree=7325616/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=158660 CPUtime=162.29 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 55483 0 0 0 16223 6 0 0 25 0 1 0 983879103 162467840 38925 33554432000 4194304 6957856 140734177143392 18446744073709551615 4742786 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 39665 38925 287 675 0 38981 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 158660 [startup+222.301 s] /proc/loadavg: 2.04 1.62 1.65 3/178 9659 /proc/meminfo: memFree=7296412/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=189120 CPUtime=222.29 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 65254 0 0 0 22222 7 0 0 25 0 1 0 983879103 193658880 43731 33554432000 4194304 6957856 140734177143392 18446744073709551615 5918134 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 47280 43731 287 675 0 46596 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 189120 [startup+282.301 s] /proc/loadavg: 2.05 1.70 1.68 3/178 9661 /proc/meminfo: memFree=7283216/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=197048 CPUtime=282.29 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 75578 0 0 0 28220 9 0 0 25 0 1 0 983879103 201777152 44604 33554432000 4194304 6957856 140734177143392 18446744073709551615 4851591 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 49262 44604 287 675 0 48578 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 197048 [startup+342.301 s] /proc/loadavg: 2.02 1.76 1.69 3/178 9663 /proc/meminfo: memFree=7263068/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=221768 CPUtime=342.29 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 79211 0 0 0 34219 10 0 0 25 0 1 0 983879103 227090432 48236 33554432000 4194304 6957856 140734177143392 18446744073709551615 5918108 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 55442 48236 287 675 0 54758 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 221768 [startup+402.301 s] /proc/loadavg: 2.00 1.80 1.71 3/178 9663 /proc/meminfo: memFree=7174740/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=301908 CPUtime=402.3 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 121757 0 0 0 40213 17 0 0 25 0 1 0 983879103 309153792 69569 33554432000 4194304 6957856 140734177143392 18446744073709551615 4455106 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 75477 69569 287 675 0 74793 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 301908 [startup+462.301 s] /proc/loadavg: 2.00 1.83 1.73 3/178 9665 /proc/meminfo: memFree=7198864/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=271088 CPUtime=462.3 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 157685 0 0 0 46206 24 0 0 25 0 1 0 983879103 277594112 61840 33554432000 4194304 6957856 140734177143392 18446744073709551615 4458499 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 67772 61840 287 675 0 67088 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 271088 [startup+522.301 s] /proc/loadavg: 2.00 1.86 1.74 3/178 9667 /proc/meminfo: memFree=7240480/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=221768 CPUtime=522.3 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 168095 0 0 0 52204 26 0 0 25 0 1 0 983879103 227090432 50140 33554432000 4194304 6957856 140734177143392 18446744073709551615 5918070 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 55442 50140 287 675 0 54758 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 221768 [startup+582.301 s] /proc/loadavg: 2.00 1.88 1.75 3/178 9669 /proc/meminfo: memFree=7193068/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=271088 CPUtime=582.3 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 192206 0 0 0 58201 29 0 0 25 0 1 0 983879103 277594112 61490 33554432000 4194304 6957856 140734177143392 18446744073709551615 5314026 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 67772 61490 287 675 0 67088 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 271088 [startup+642.301 s] ################ # More data... # ################ /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 421385 0 0 0 100164 66 0 0 25 0 1 0 983879103 227090432 54803 33554432000 4194304 6957856 140734177143392 18446744073709551615 5922108 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 55442 54803 287 675 0 54758 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 221768 [startup+1062.3 s] /proc/loadavg: 2.00 1.96 1.83 3/178 9681 /proc/meminfo: memFree=7201620/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=221768 CPUtime=1062.31 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 421389 0 0 0 106165 66 0 0 25 0 1 0 983879103 227090432 54807 33554432000 4194304 6957856 140734177143392 18446744073709551615 4838132 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 55442 54807 287 675 0 54758 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 221768 [startup+1122.3 s] /proc/loadavg: 2.00 1.97 1.84 3/178 9683 /proc/meminfo: memFree=7200216/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=221768 CPUtime=1122.31 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 421389 0 0 0 112165 66 0 0 25 0 1 0 983879103 227090432 54807 33554432000 4194304 6957856 140734177143392 18446744073709551615 4851591 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 55442 54807 287 675 0 54758 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 221768 [startup+1182.3 s] /proc/loadavg: 2.00 1.97 1.84 3/178 9694 /proc/meminfo: memFree=7152544/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=276088 CPUtime=1182.31 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 458338 0 0 0 118160 71 0 0 25 0 1 0 983879103 282714112 67104 33554432000 4194304 6957856 140734177143392 18446744073709551615 5319213 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 69022 67104 287 675 0 68338 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 276088 [startup+1242.3 s] /proc/loadavg: 2.00 1.97 1.85 4/178 9696 /proc/meminfo: memFree=7191160/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=226768 CPUtime=1242.31 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 493579 0 0 0 124155 76 0 0 25 0 1 0 983879103 232210432 56058 33554432000 4194304 6957856 140734177143392 18446744073709551615 5314081 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 56692 56058 288 675 0 56008 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 226768 [startup+1302.3 s] /proc/loadavg: 2.00 1.97 1.86 3/178 9696 /proc/meminfo: memFree=7134080/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=306908 CPUtime=1302.32 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 529231 0 0 0 130152 80 0 0 25 0 1 0 983879103 314273792 70016 33554432000 4194304 6957856 140734177143392 18446744073709551615 4868035 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 76727 70016 288 675 0 76043 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 306908 [startup+1362.3 s] /proc/loadavg: 2.00 1.97 1.86 3/178 9698 /proc/meminfo: memFree=7187488/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=226768 CPUtime=1362.31 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 569072 0 0 0 136145 86 0 0 25 0 1 0 983879103 232210432 56058 33554432000 4194304 6957856 140734177143392 18446744073709551615 5922052 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 56692 56058 288 675 0 56008 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 226768 [startup+1422.31 s] /proc/loadavg: 2.12 2.00 1.88 3/178 9700 /proc/meminfo: memFree=7183720/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=226768 CPUtime=1422.32 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 601806 0 0 0 142141 91 0 0 25 0 1 0 983879103 232210432 56058 33554432000 4194304 6957856 140734177143392 18446744073709551615 5922137 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 56692 56058 288 675 0 56008 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 226768 [startup+1482.3 s] /proc/loadavg: 2.04 2.00 1.88 3/178 9702 /proc/meminfo: memFree=7073304/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=356996 CPUtime=1482.31 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 640416 0 0 0 148134 97 0 0 25 0 1 0 983879103 365563904 83707 33554432000 4194304 6957856 140734177143392 18446744073709551615 4615334 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 89249 83707 288 675 0 88565 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 356996 [startup+1542.3 s] /proc/loadavg: 2.01 2.00 1.89 3/178 9704 /proc/meminfo: memFree=7175300/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=233952 CPUtime=1542.31 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 668592 0 0 0 154130 101 0 0 25 0 1 0 983879103 239566848 57630 33554432000 4194304 6957856 140734177143392 18446744073709551615 4638775 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 58488 57630 288 675 0 57804 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 233952 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.90 3/178 9704 /proc/meminfo: memFree=7172772/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=233952 CPUtime=1602.31 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 699904 0 0 0 160126 105 0 0 25 0 1 0 983879103 239566848 57854 33554432000 4194304 6957856 140734177143392 18446744073709551615 4742311 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 58488 57854 288 675 0 57804 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 233952 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.90 3/178 9706 /proc/meminfo: memFree=7131188/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=283272 CPUtime=1662.32 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 742254 0 0 0 166121 111 0 0 25 0 1 0 983879103 290070528 68263 33554432000 4194304 6957856 140734177143392 18446744073709551615 4837040 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 70818 68263 288 675 0 70134 0 Current children cumulated CPU time (s) 1662.32 Current children cumulated vsize (KiB) 283272 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 9708 /proc/meminfo: memFree=7169836/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=233952 CPUtime=1722.31 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 764452 0 0 0 172117 114 0 0 25 0 1 0 983879103 239566848 57854 33554432000 4194304 6957856 140734177143392 18446744073709551615 5922313 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 58488 57854 288 675 0 57804 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 233952 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 9710 /proc/meminfo: memFree=7167920/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=233952 CPUtime=1782.32 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 793602 0 0 0 178114 118 0 0 25 0 1 0 983879103 239566848 57854 33554432000 4194304 6957856 140734177143392 18446744073709551615 5385152 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 58488 57854 288 675 0 57804 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 233952 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.91 3/178 9710 /proc/meminfo: memFree=7167772/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=233952 CPUtime=1800.03 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) R 9611 9613 20767 0 -1 4202496 793602 0 0 0 179885 118 0 0 25 0 1 0 983879103 239566848 57854 33554432000 4194304 6957856 140734177143392 18446744073709551615 5918148 0 0 4096 17571 0 0 0 17 3 0 0 0 /proc/9613/statm: 58488 57854 288 675 0 57804 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 233952 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -9613 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 1.91 2/179 9711 /proc/meminfo: memFree=7167764/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=233952 CPUtime=1800.03 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) S 9611 9613 20767 0 -1 4202496 793603 0 0 0 179885 118 0 0 25 0 1 0 983879103 239566848 57855 33554432000 4194304 6957856 140734177143392 18446744073709551615 6100974 0 16384 4096 17571 18446604471161644928 0 0 17 3 0 0 0 /proc/9613/statm: 58488 57855 289 675 0 57804 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 233952 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 1.91 2/179 9711 /proc/meminfo: memFree=7167764/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=233952 CPUtime=1800.03 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) S 9611 9613 20767 0 -1 4202496 793603 0 0 0 179885 118 0 0 25 0 1 0 983879103 239566848 57855 33554432000 4194304 6957856 140734177143392 18446744073709551615 6100974 0 16384 4096 17571 18446604471161644928 0 0 17 3 0 0 0 /proc/9613/statm: 58488 57855 289 675 0 57804 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 233952 [startup+1802 s] /proc/loadavg: 2.00 2.00 1.91 2/179 9711 /proc/meminfo: memFree=7167764/32951124 swapFree=67049472/67111528 [pid=9613] ppid=9611 vsize=233952 CPUtime=1800.03 cores=1,3,5,7 /proc/9613/stat : 9613 (minisatid-gmp) S 9611 9613 20767 0 -1 4202496 793603 0 0 0 179885 118 0 0 25 0 1 0 983879103 239566848 57855 33554432000 4194304 6957856 140734177143392 18446744073709551615 6100974 0 16384 4096 17571 18446604471161644928 0 0 17 3 0 0 0 /proc/9613/statm: 58488 57855 289 675 0 57804 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 233952 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.02 CPU time (s): 1800.05 CPU user time (s): 1798.85 CPU system time (s): 1.19182 CPU usage (%): 99.8906 Max. virtual memory (cumulated for all children) (KiB): 356996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.85 system time used= 1.19182 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 793603 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= 3 involuntary context switches= 3748 runsolver used 2.68759 second user time and 6.29404 second system time The end
Begin job on node118 at 2011-06-13 05:41:24 IDJOB=3497987 IDBENCH=72359 IDSOLVER=1990 FILE ID=node118/3497987-1307936484 RUNJOBID= node118-1307936484-9587 PBS_JOBID= 13559661 Free space on /tmp= 18216 MiB SOLVER NAME= MinisatID 2.5.2-gmp BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-rand8177e7.cudf.trendy.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3497987-1307936484/watcher-3497987-1307936484 -o /tmp/evaluation-result-3497987-1307936484/solver-3497987-1307936484 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497987-1307936484.opb --verbosity=0 --format=opb --randomseed=1836126724 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fbe043df26f5b74d89609c6a75012446 RANDOM SEED=1836126724 node118.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.842 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.68 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.842 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.842 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.74 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.842 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.842 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.68 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.842 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.842 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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 : 5374.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 7796676 kB Buffers: 124312 kB Cached: 24194484 kB SwapCached: 14336 kB Active: 8905104 kB Inactive: 15432528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 7796676 kB SwapTotal: 67111528 kB SwapFree: 67049472 kB Dirty: 8412 kB Writeback: 0 kB AnonPages: 16988 kB Mapped: 8592 kB Slab: 751840 kB PageTables: 3968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 186372 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 /tmp at the end= 18208 MiB End job on node118 at 2011-06-13 06:11:27