Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2-gmp (fixed) | OPT | 27562740203 | 453.956 | 453.956 |
Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.newlist/normalized-rand27da90.cudf.trendy.opb |
MD5SUM | 1db531ec7fbea38dd353f31b0fba98ed |
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 | 27562740203 |
Best CPU time to get the best result obtained on this benchmark | 3.11852 |
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 | 6757 |
Total number of constraints | 28229 |
Number of constraints which are clauses | 27934 |
Number of constraints which are cardinality constraints (but not clauses) | 295 |
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 | 3152 |
Biggest coefficient in the objective function | 3929352552 |
Number of bits for the biggest coefficient in the objective function | 32 |
Sum of the numbers in the objective function | 2168997629561 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 3929352552 |
Number of bits of the biggest number in a constraint | 32 |
Biggest sum of numbers in a constraint | 2168997629561 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.01 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 47.59/47.63 o 1399305194227 47.59/47.63 o 1395375841675 47.59/47.63 o 1391446489123 47.59/47.63 o 1387517136571 47.59/47.63 o 1379658431468 47.59/47.63 o 1375729078916 47.59/47.63 o 1371799726364 47.59/47.63 o 1367870373813 47.59/47.63 o 1363941021261 47.59/47.63 o 1360011668709 47.59/47.63 o 1356082316157 47.59/47.63 o 1352152963605 47.59/47.63 o 1348223611053 47.59/47.63 o 1344294258501 47.59/47.63 o 1340367396033 47.59/47.63 o 1336440533565 47.59/47.63 o 1332511181013 47.59/47.63 o 1328581828461 47.59/47.63 o 1324652475909 47.59/47.63 o 1320723123357 47.59/47.63 o 1316793770805 47.59/47.63 o 1312864418253 47.59/47.63 o 1308935065701 47.59/47.63 o 1305005713149 47.59/47.63 o 1301076360597 47.59/47.63 o 1297147008045 47.59/47.63 o 1293217655493 47.59/47.63 o 1289288302941 47.59/47.63 o 1285358950389 47.59/47.63 o 1281429597837 47.59/47.63 o 1277500245285 47.59/47.63 o 1273573382817 47.59/47.63 o 1269644030265 47.59/47.63 o 1265714677713 47.59/47.63 o 1261787815245 47.59/47.63 o 1257858462693 47.59/47.63 o 1253929110141 47.59/47.63 o 1249999757589 47.59/47.63 o 1246070405037 47.59/47.63 o 1242141052485 47.59/47.63 o 1238211699933 47.59/47.63 o 1234282347381 47.59/47.63 o 1230352994829 47.59/47.63 o 1226423642277 47.59/47.63 o 1222494289725 47.59/47.63 o 1218564937173 47.59/47.63 o 1214635584621 47.59/47.63 o 1210706232069 47.59/47.63 o 1206779369601 47.59/47.63 o 1202850017049 47.59/47.63 o 1198920664497 47.59/47.63 o 1194991311945 47.59/47.63 o 1191061959393 47.59/47.63 o 1183208234457 47.59/47.63 o 1179278881905 47.59/47.63 o 1175349529353 47.59/47.63 o 1171420176801 47.59/47.63 o 1167490824249 47.59/47.63 o 1163561471697 47.59/47.63 o 1159632119145 47.59/47.63 o 1155702766593 47.59/47.63 o 1151773414041 47.59/47.63 o 1147844061489 47.59/47.63 o 1143914708937 47.59/47.63 o 1139987846469 47.59/47.63 o 1136058493917 47.59/47.63 o 1132129141365 47.59/47.63 o 1128199788813 47.59/47.63 o 1124270436261 47.59/47.63 o 1120343573793 47.59/47.63 o 1116414221241 47.59/47.63 o 1112484868689 47.59/47.63 o 1108555516137 47.59/47.63 o 1104626163585 47.59/47.63 o 1100696811033 47.59/47.63 o 1096767458481 47.59/47.63 o 1081055028441 47.59/47.63 o 1073201303507 47.59/47.63 o 1069271950955 47.59/47.63 o 1065345088487 47.59/47.63 o 1061415735935 47.59/47.63 o 1057486383383 47.59/47.63 o 1053557030831 47.59/47.63 o 1049627678279 47.59/47.63 o 1049625188196 47.59/47.63 o 1049622698112 47.59/47.63 o 1049620208028 47.59/47.63 o 1049617717944 47.59/47.63 o 1049615227860 47.59/47.63 o 1049612737776 47.59/47.63 o 1045683385224 47.59/47.63 o 1041754032672 47.59/47.63 o 1037824680120 47.59/47.63 o 1033895327568 47.59/47.63 o 1029965975016 47.59/47.63 o 1026036622464 47.59/47.63 o 1022107269912 47.59/47.63 o 1010326682508 47.59/47.63 o 1006397329956 47.59/47.63 o 1006394839872 47.59/47.63 o 1002465487320 47.59/47.63 o 994609272300 47.59/47.63 o 994606782216 47.59/47.63 o 990677429665 47.59/47.63 o 986748077113 47.59/47.63 o 982818724561 47.59/47.63 o 978894352179 47.59/47.63 o 971050587595 47.59/47.63 o 967121235043 47.59/47.63 o 963191882491 47.59/47.63 o 959262529939 47.59/47.63 o 959260039855 47.59/47.63 o 955330687303 47.59/47.63 o 951401334751 47.59/47.63 o 951398844667 47.59/47.63 o 947469492115 47.59/47.63 o 943540139563 47.59/47.63 o 943537649479 47.59/47.63 o 935678944376 47.59/47.63 o 935676454296 47.59/47.63 o 931747101745 47.59/47.63 o 927817749193 47.59/47.63 o 927815259109 47.59/47.63 o 919956554011 47.59/47.63 o 916027201459 47.59/47.63 o 912097848907 47.59/47.63 o 908168496355 47.59/47.63 o 884594871128 47.59/47.63 o 880665518576 47.59/47.63 o 876738656110 47.59/47.63 o 876736166026 47.59/47.63 o 876733675942 47.59/47.63 o 872804323390 47.59/47.63 o 868874970838 47.59/47.63 o 868872480754 47.59/47.63 o 864943128202 47.59/47.63 o 861013775650 47.59/47.63 o 857084423098 47.59/47.63 o 857081933014 47.59/47.63 o 853152580462 47.59/47.63 o 849223227910 47.59/47.63 o 845293875358 47.59/47.63 o 841364522806 47.59/47.63 o 837435170254 47.59/47.63 o 833505817702 47.59/47.63 o 829576465150 47.59/47.63 o 825647112598 47.59/47.63 o 821717760046 47.59/47.63 o 817788407494 47.59/47.63 o 813859054942 47.59/47.63 o 813856564858 47.59/47.63 o 809927212306 47.59/47.63 o 805997859754 47.59/47.63 o 802068507202 47.59/47.63 o 798139154650 47.59/47.63 o 794209802098 47.59/47.63 o 790280449548 47.59/47.63 o 786351096996 47.59/47.63 o 786348606912 47.59/47.63 o 782419254360 47.59/47.63 o 778489901808 47.59/47.63 o 774563039340 47.59/47.63 o 766711804488 47.59/47.63 o 762782451936 47.59/47.63 o 758853099384 47.59/47.63 o 754923746832 47.59/47.63 o 754921256748 47.59/47.63 o 750991904196 47.59/47.63 o 747065041728 47.59/47.63 o 747062551644 47.59/47.63 o 743133199092 47.59/47.63 o 739208826708 47.59/47.63 o 735279474156 47.59/47.63 o 731350121604 47.59/47.63 o 727420769052 47.59/47.63 o 727420769051 47.59/47.63 o 723491416499 47.59/47.63 o 719562063947 47.59/47.63 o 715632711395 47.59/47.63 o 711703358843 47.59/47.63 o 707774006291 47.59/47.63 o 703844653739 47.59/47.63 o 699915301187 47.59/47.63 o 688129733618 47.59/47.63 o 684200381066 47.59/47.63 o 672419793662 47.59/47.63 o 656712343790 47.59/47.63 o 652782991238 47.59/47.63 o 652780501154 47.59/47.63 o 648851148602 47.59/47.63 o 644921796050 47.59/47.63 o 640992443498 47.59/47.63 o 640989953414 47.59/47.63 o 637060600862 47.59/47.63 o 633133738395 47.59/47.63 o 629204385843 47.59/47.63 o 625275033291 47.59/47.63 o 625272543207 47.59/47.63 o 625270053123 47.59/47.63 o 625267563039 47.59/47.63 o 625265072955 47.59/47.63 o 625262582871 47.59/47.63 o 625260092787 47.59/47.63 o 617401387683 47.59/47.63 o 613474525215 47.59/47.63 o 613472035131 47.59/47.63 o 609542682579 47.59/47.63 o 601683977475 47.59/47.63 o 601681487392 47.59/47.63 o 597752134840 47.59/47.63 o 593822782288 47.59/47.63 o 589893429736 47.59/47.63 o 578105372080 47.59/47.63 o 574176019528 47.59/47.63 o 566317314424 47.59/47.63 o 562387961872 47.59/47.63 o 554531746853 47.59/47.63 o 554529256771 47.59/47.63 o 550609864555 47.59/47.63 o 550607374472 47.59/47.63 o 550604884388 47.59/47.63 o 546675531836 47.59/47.63 o 538819316820 47.59/47.63 o 534889964270 47.59/47.63 o 530960611719 47.59/47.63 o 527031259167 47.59/47.63 o 527028769083 47.59/47.63 o 519172554063 47.59/47.63 o 515243201511 47.59/47.63 o 511313848959 47.59/47.63 o 507384496407 47.59/47.63 o 507384496406 47.59/47.63 o 507384496405 47.59/47.63 o 503455143853 47.59/47.63 o 499525791301 47.59/47.63 o 499523301217 47.59/47.63 o 495591458581 47.59/47.63 o 495591458580 47.59/47.63 o 491662106028 47.59/47.63 o 487732753476 47.59/47.63 o 483803400924 47.59/47.63 o 483800910840 47.59/47.63 o 479871558288 47.59/47.63 o 475942205736 47.59/47.63 o 472017833351 47.59/47.63 o 472015343269 47.59/47.63 o 472012853185 47.59/47.63 o 472010363101 47.59/47.63 o 464151657998 47.59/47.63 o 464151657997 47.59/47.63 o 460229775697 47.59/47.63 o 460229775696 47.59/47.63 o 460227285613 47.59/47.63 o 460227285612 47.59/47.63 o 460224795529 47.59/47.63 o 456295442977 47.59/47.63 o 452366090425 47.59/47.63 o 452366090424 47.59/47.63 o 448436737872 47.59/47.63 o 444507385320 47.59/47.63 o 440578032768 47.59/47.63 o 436648680216 47.59/47.63 o 432719327664 47.59/47.63 o 428797445363 47.59/47.63 o 428794955280 47.59/47.63 o 428794955279 47.59/47.63 o 428792465196 79.99/80.07 o 428792465195 79.99/80.07 o 424865602728 79.99/80.07 o 424863112645 79.99/80.07 o 420933760094 79.99/80.07 o 417014367878 79.99/80.07 o 417014367877 79.99/80.07 o 413087505411 79.99/80.07 o 409158152859 79.99/80.07 o 409155662775 79.99/80.07 o 405226310224 79.99/80.07 o 401301937841 79.99/80.07 o 401299447757 79.99/80.07 o 401296957673 79.99/80.07 o 397367605121 79.99/80.07 o 393438252569 79.99/80.07 o 389508900018 79.99/80.07 o 385579547466 79.99/80.07 o 381650194914 79.99/80.07 o 377723332446 79.99/80.07 o 377723332445 79.99/80.07 o 377720842362 79.99/80.07 o 373798960063 79.99/80.07 o 369872097595 79.99/80.07 o 362015882575 79.99/80.07 o 358091510191 79.99/80.07 o 354164647723 79.99/80.07 o 350235295171 79.99/80.07 o 346308432704 79.99/80.07 o 346305942620 79.99/80.07 o 346305942619 79.99/80.07 o 346303452536 79.99/80.07 o 346300962454 79.99/80.07 o 346298472370 79.99/80.07 o 346298472369 79.99/80.07 o 346295982286 79.99/80.07 o 346293492203 79.99/80.07 o 342364139660 79.99/80.07 o 338434787108 79.99/80.07 o 334507924637 79.99/80.07 o 334507924636 79.99/80.07 o 334507924635 79.99/80.07 o 334507924634 79.99/80.07 o 330578572082 79.99/80.07 o 330576082004 79.99/80.07 o 330573591920 79.99/80.07 o 330573591919 79.99/80.07 o 330573591918 79.99/80.07 o 330571101834 79.99/80.07 o 326644239366 79.99/80.07 o 326639259198 79.99/80.07 o 326636769114 79.99/80.07 o 322707416562 79.99/80.07 o 318780554094 79.99/80.07 o 314853691626 79.99/80.07 o 314851201542 79.99/80.07 o 310924339074 79.99/80.07 o 310921848990 79.99/80.07 o 310921848989 79.99/80.07 o 310919358906 79.99/80.07 o 307004946858 79.99/80.07 o 307004946857 79.99/80.07 o 307004946856 79.99/80.07 o 307002456773 79.99/80.07 o 306999966690 79.99/80.07 o 306999966689 79.99/80.07 o 306997476606 79.99/80.07 o 306994986522 79.99/80.07 o 306992496438 79.99/80.07 o 306990006359 79.99/80.07 o 303060653807 79.99/80.07 o 303058163724 79.99/80.07 o 303058163722 79.99/80.07 o 299138771503 79.99/80.07 o 299136281421 79.99/80.07 o 299133791338 79.99/80.07 o 299131301254 79.99/80.07 o 295201948702 79.99/80.07 o 291272596150 79.99/80.07 o 287343243598 79.99/80.07 o 283413891046 79.99/80.07 o 279484538494 79.99/80.07 o 275557676026 79.99/80.07 o 271630813558 79.99/80.07 o 271628323474 79.99/80.07 o 271628323472 79.99/80.07 o 271625833390 79.99/80.07 o 267698970922 79.99/80.07 o 263769618370 79.99/80.07 o 259842755901 79.99/80.07 o 259840265818 79.99/80.07 o 259837775734 79.99/80.07 o 255908423183 79.99/80.07 o 251981560715 79.99/80.07 o 251979070631 79.99/80.07 o 251976580547 79.99/80.07 o 248049718080 79.99/80.07 o 248047227996 79.99/80.07 o 248047227995 79.99/80.07 o 244142776280 79.99/80.07 o 244140286196 79.99/80.07 o 244137796113 79.99/80.07 o 244135306030 79.99/80.07 o 244132815947 79.99/80.07 o 244130325864 79.99/80.07 o 244127835780 79.99/80.07 o 244125345697 79.99/80.07 o 244125345696 79.99/80.07 o 244122855613 79.99/80.07 o 244122855612 79.99/80.07 o 244120365529 79.99/80.07 o 244117875446 79.99/80.07 o 244115385362 79.99/80.07 o 244115385360 79.99/80.07 o 244112895278 79.99/80.07 o 244110405194 79.99/80.07 o 244107915116 79.99/80.07 o 244107915115 79.99/80.07 o 240178562564 79.99/80.07 o 236251700096 79.99/80.07 o 232329817796 79.99/80.07 o 232327327712 79.99/80.07 o 224525894525 79.99/80.07 o 224523404441 79.99/80.07 o 224520914358 79.99/80.07 o 224518424275 79.99/80.07 o 224515934192 79.99/80.07 o 224513444109 79.99/80.07 o 224510954026 79.99/80.07 o 224508463943 79.99/80.07 o 224505973859 79.99/80.07 o 224503483776 79.99/80.07 o 224500993693 79.99/80.07 o 224498503610 79.99/80.07 o 224496013527 79.99/80.07 o 224493523444 79.99/80.07 o 224491033360 79.99/80.07 o 224488543276 79.99/80.07 o 224486053192 79.99/80.07 o 224483563109 79.99/80.07 o 224481073026 79.99/80.07 o 224478582942 79.99/80.07 o 224476092858 79.99/80.07 o 224473602774 79.99/80.07 o 224471112690 79.99/80.07 o 224468622608 79.99/80.07 o 220539270056 79.99/80.07 o 220539270055 79.99/80.07 o 216622367923 79.99/80.07 o 216619877839 79.99/80.07 o 216617387755 79.99/80.07 o 216614897671 79.99/80.07 o 216612407587 79.99/80.07 o 216612407586 79.99/80.07 o 216609917503 79.99/80.07 o 212683055035 79.99/80.07 o 212680564951 79.99/80.07 o 208773623151 79.99/80.07 o 208773623150 79.99/80.07 o 208773623149 79.99/80.07 o 208773623148 79.99/80.07 o 208773623147 79.99/80.07 o 208771133065 79.99/80.07 o 208768642982 79.99/80.07 o 208766152899 79.99/80.07 o 208763662816 79.99/80.07 o 208761172733 79.99/80.07 o 208758682649 79.99/80.07 o 208756192567 79.99/80.07 o 208753702483 79.99/80.07 o 208753702482 79.99/80.07 o 208751212400 79.99/80.07 o 204874151594 79.99/80.07 o 204874151593 79.99/80.07 o 204874151592 79.99/80.07 o 204871661510 79.99/80.07 o 204869171428 79.99/80.07 o 204866681345 79.99/80.07 o 204864191262 79.99/80.07 o 204864191261 79.99/80.07 o 204861701179 79.99/80.07 o 204861701178 79.99/80.07 o 204859211096 79.99/80.07 o 204859211095 79.99/80.07 o 204856721013 79.99/80.07 o 204854230930 79.99/80.07 o 204851740847 79.99/80.07 o 204849250764 79.99/80.07 o 204846760681 79.99/80.07 o 204846760680 79.99/80.07 o 204844270598 79.99/80.07 o 204841780515 79.99/80.07 o 204841780514 79.99/80.07 o 204839290432 79.99/80.07 o 204836800349 79.99/80.07 o 204836800347 79.99/80.07 o 204834310265 79.99/80.07 o 204831820182 79.99/80.07 o 204829330100 79.99/80.07 o 204829330099 79.99/80.07 o 204829330098 79.99/80.07 o 204826840016 79.99/80.07 o 204826840015 79.99/80.07 o 204824349932 79.99/80.07 o 204824349930 79.99/80.07 o 204821859848 79.99/80.07 o 200912427961 79.99/80.07 o 200912427960 79.99/80.07 o 200912427959 79.99/80.07 o 200909937877 79.99/80.07 o 200907447794 79.99/80.07 o 200904957711 79.99/80.07 o 200902467628 79.99/80.07 o 200899977545 79.99/80.07 o 200899977544 79.99/80.07 o 200897487461 79.99/80.07 o 200894997378 79.99/80.07 o 200892507296 79.99/80.07 o 197007976239 79.99/80.07 o 197007976238 79.99/80.07 o 197007976237 79.99/80.07 o 197005486155 79.99/80.07 o 197002996072 79.99/80.07 o 197000505989 79.99/80.07 o 196998015906 79.99/80.07 o 196995525823 79.99/80.07 o 196993035740 79.99/80.07 o 196990545656 79.99/80.07 o 196988055573 79.99/80.07 o 196985565490 79.99/80.07 o 196983075406 79.99/80.07 o 196980585323 79.99/80.07 o 196978095240 79.99/80.07 o 196975605157 79.99/80.07 o 196973115074 79.99/80.07 o 196970624991 79.99/80.07 o 196968134909 79.99/80.07 o 196965644827 79.99/80.07 o 196963154744 79.99/80.07 o 196963154743 79.99/80.07 o 196960664660 79.99/80.07 o 193041272442 79.99/80.07 o 193038782359 79.99/80.07 o 193038782357 79.99/80.07 o 193036292274 79.99/80.07 o 193033802191 79.99/80.07 o 193031312109 79.99/80.07 o 193031312108 79.99/80.07 o 193028822024 79.99/80.07 o 193028822023 79.99/80.07 o 193026331940 79.99/80.07 o 189099469472 79.99/80.07 o 189096979388 79.99/80.07 o 189096979386 79.99/80.07 o 189094489304 79.99/80.07 o 189091999220 79.99/80.07 o 189087019054 79.99/80.07 o 189087019053 79.99/80.07 o 189087019052 79.99/80.07 o 185157666500 79.99/80.07 o 181228313948 79.99/80.07 o 181225823865 79.99/80.07 o 181223333781 79.99/80.07 o 177301451484 79.99/80.07 o 173372098935 79.99/80.07 o 173372098934 79.99/80.07 o 173372098933 79.99/80.07 o 173372098932 79.99/80.07 o 173369608848 79.99/80.07 o 169440256297 79.99/80.07 o 165510903745 79.99/80.07 o 157652198641 79.99/80.07 o 153722846089 79.99/80.07 o 149813414201 116.99/117.01 o 149810924118 116.99/117.01 o 149808434035 116.99/117.01 o 149805943952 116.99/117.01 o 149803453869 116.99/117.01 o 149800963786 116.99/117.01 o 149798473703 116.99/117.01 o 149795983620 116.99/117.01 o 149793493537 116.99/117.01 o 145871611237 116.99/117.01 o 145866631069 116.99/117.01 o 141939768601 116.99/117.01 o 138012906133 116.99/117.01 o 138010416051 116.99/117.01 o 134083553583 116.99/117.01 o 134083553582 116.99/117.01 o 134081063499 116.99/117.01 o 130208982858 116.99/117.01 o 130206492775 116.99/117.01 o 130204002692 116.99/117.01 o 130201512609 116.99/117.01 o 130199022526 116.99/117.01 o 130196532443 116.99/117.01 o 130194042360 116.99/117.01 o 130194042359 116.99/117.01 o 130191552276 116.99/117.01 o 130189062193 116.99/117.01 o 130189062192 116.99/117.01 o 130186572109 116.99/117.01 o 130184082026 116.99/117.01 o 130181591943 116.99/117.01 o 130181591942 116.99/117.01 o 130179101859 116.99/117.01 o 130176611776 116.99/117.01 o 130174121693 116.99/117.01 o 130171631610 116.99/117.01 o 130169141527 116.99/117.01 o 130166651444 116.99/117.01 o 130164161362 116.99/117.01 o 130161671280 116.99/117.01 o 130159181198 116.99/117.01 o 130156691115 116.99/117.01 o 126282120385 116.99/117.01 o 126279630302 116.99/117.01 o 126277140219 116.99/117.01 o 126274650136 116.99/117.01 o 126272160053 116.99/117.01 o 126269669970 116.99/117.01 o 126267179887 116.99/117.01 o 126264689804 116.99/117.01 o 126262199721 116.99/117.01 o 126259709638 116.99/117.01 o 126257219555 116.99/117.01 o 126254729472 116.99/117.01 o 126252239389 116.99/117.01 o 126249749306 116.99/117.01 o 126247259223 116.99/117.01 o 126244769140 116.99/117.01 o 126242279056 116.99/117.01 o 126239788973 116.99/117.01 o 126237298891 116.99/117.01 o 126234808809 116.99/117.01 o 126232318727 116.99/117.01 o 126229828645 116.99/117.01 o 126227338563 116.99/117.01 o 122300476095 116.99/117.01 o 122297986011 116.99/117.01 o 118423415288 116.99/117.01 o 118420925205 116.99/117.01 o 118418435122 116.99/117.01 o 118418435121 116.99/117.01 o 118415945038 116.99/117.01 o 118413454955 116.99/117.01 o 118413454954 116.99/117.01 o 118413454953 116.99/117.01 o 118410964870 116.99/117.01 o 118408474787 116.99/117.01 o 118405984704 116.99/117.01 o 118403494621 116.99/117.01 o 118401004538 116.99/117.01 o 118398514455 116.99/117.01 o 118396024372 116.99/117.01 o 118396024371 116.99/117.01 o 118393534288 116.99/117.01 o 118391044206 116.99/117.01 o 118388554123 116.99/117.01 o 118386064040 116.99/117.01 o 118386064039 116.99/117.01 o 118383573956 116.99/117.01 o 118381083873 116.99/117.01 o 118378593790 116.99/117.01 o 118376103707 116.99/117.01 o 118373613624 116.99/117.01 o 118371123541 116.99/117.01 o 118368633459 116.99/117.01 o 114441770992 116.99/117.01 o 114439280908 116.99/117.01 o 114436790824 116.99/117.01 o 110564710181 116.99/117.01 o 110562220098 116.99/117.01 o 110559730015 116.99/117.01 o 110557239932 116.99/117.01 o 110554749849 116.99/117.01 o 110552259766 116.99/117.01 o 110549769683 116.99/117.01 o 110547279600 116.99/117.01 o 110544789517 116.99/117.01 o 110542299434 116.99/117.01 o 110542299433 116.99/117.01 o 110539809350 116.99/117.01 o 110537319267 116.99/117.01 o 110534829184 116.99/117.01 o 110532339101 116.99/117.01 o 110529849018 116.99/117.01 o 110527358935 116.99/117.01 o 110527358934 116.99/117.01 o 110524868851 116.99/117.01 o 110522378768 116.99/117.01 o 110522378767 116.99/117.01 o 110519888684 116.99/117.01 o 110517398601 116.99/117.01 o 110514908518 116.99/117.01 o 110512418436 116.99/117.01 o 110509928354 116.99/117.01 o 110507438272 116.99/117.01 o 110504948188 116.99/117.01 o 110502458107 116.99/117.01 o 110502458105 116.99/117.01 o 110499968023 116.99/117.01 o 110499968022 116.99/117.01 o 110499968020 116.99/117.01 o 110497477938 116.99/117.01 o 110497477937 116.99/117.01 o 110497477936 116.99/117.01 o 110497477935 116.99/117.01 o 110494987854 116.99/117.01 o 106568125386 116.99/117.01 o 106568125384 116.99/117.01 o 106565635302 116.99/117.01 o 106563145218 116.99/117.01 o 106563145217 116.99/117.01 o 106560655134 116.99/117.01 o 106558165050 116.99/117.01 o 106555674966 116.99/117.01 o 106553184882 116.99/117.01 o 106553184881 116.99/117.01 o 106553184879 116.99/117.01 o 106550694797 116.99/117.01 o 106548204713 116.99/117.01 o 106545714630 116.99/117.01 o 106545714629 116.99/117.01 o 106543224546 116.99/117.01 o 102715965413 116.99/117.01 o 102713475329 116.99/117.01 o 102710985246 116.99/117.01 o 102708495163 116.99/117.01 o 102706005081 116.99/117.01 o 102703514998 116.99/117.01 o 102701024915 116.99/117.01 o 102698534832 116.99/117.01 o 102696044749 116.99/117.01 o 102693554666 116.99/117.01 o 102691064583 116.99/117.01 o 102688574500 116.99/117.01 o 102686084417 116.99/117.01 o 102686084416 116.99/117.01 o 102683594334 116.99/117.01 o 102681104251 116.99/117.01 o 102681104250 116.99/117.01 o 102678614168 116.99/117.01 o 102676124085 116.99/117.01 o 102673634001 116.99/117.01 o 102673633999 116.99/117.01 o 102671143917 116.99/117.01 o 102668653834 116.99/117.01 o 102668653833 116.99/117.01 o 102666163751 116.99/117.01 o 102666163750 116.99/117.01 o 102663673667 116.99/117.01 o 102661183585 116.99/117.01 o 102658693503 116.99/117.01 o 102658693502 116.99/117.01 o 102656203419 116.99/117.01 o 102653713337 116.99/117.01 o 102653713336 116.99/117.01 o 102651223253 116.99/117.01 o 102648733167 116.99/117.01 o 102646243086 116.99/117.01 o 102646243085 116.99/117.01 o 102643753002 116.99/117.01 o 102643753000 116.99/117.01 o 102641262918 116.99/117.01 o 102638772835 116.99/117.01 o 102636282751 116.99/117.01 o 102636282750 116.99/117.01 o 102633792667 116.99/117.01 o 102633792666 116.99/117.01 o 102631302583 116.99/117.01 o 102631302582 116.99/117.01 o 102631302580 116.99/117.01 o 102628812498 116.99/117.01 o 102628812497 116.99/117.01 o 102626322414 116.99/117.01 o 102623832330 116.99/117.01 o 102621342250 116.99/117.01 o 102621342249 116.99/117.01 o 102621342248 116.99/117.01 o 102621342247 116.99/117.01 o 102621342246 116.99/117.01 o 102621342245 116.99/117.01 o 102621342244 116.99/117.01 o 102621342243 116.99/117.01 o 102618852162 116.99/117.01 o 98691989694 116.99/117.01 o 98691989693 116.99/117.01 o 98689499610 116.99/117.01 o 98689499609 116.99/117.01 o 98687009526 116.99/117.01 o 98684519442 116.99/117.01 o 98684519440 116.99/117.01 o 98682029358 116.99/117.01 o 98682029357 116.99/117.01 o 98679539274 116.99/117.01 o 94752676806 116.99/117.01 o 94752676805 116.99/117.01 o 94750186722 116.99/117.01 o 94750186721 116.99/117.01 o 94747696638 116.99/117.01 o 94745206554 116.99/117.01 o 90922927591 116.99/117.01 o 90920437507 116.99/117.01 o 90917947425 116.99/117.01 o 90915457342 116.99/117.01 o 90915457341 116.99/117.01 o 90912967259 116.99/117.01 o 90910477175 116.99/117.01 o 90907987092 116.99/117.01 o 90907987091 116.99/117.01 o 90905497009 116.99/117.01 o 90903006926 116.99/117.01 o 90900516843 116.99/117.01 o 90900516841 116.99/117.01 o 90898026759 116.99/117.01 o 90895536676 116.99/117.01 o 90893046593 116.99/117.01 o 90890556510 116.99/117.01 o 90888066428 116.99/117.01 o 90885576345 116.99/117.01 o 90885576344 116.99/117.01 o 90883086261 116.99/117.01 o 90880596178 116.99/117.01 o 90878106096 116.99/117.01 o 90875616014 116.99/117.01 o 90873125932 116.99/117.01 o 90870635848 116.99/117.01 o 90868145768 116.99/117.01 o 90865655684 116.99/117.01 o 90865655683 116.99/117.01 o 90865655682 116.99/117.01 o 86978634539 116.99/117.01 o 86976144456 116.99/117.01 o 86973654373 116.99/117.01 o 86971164291 116.99/117.01 o 86968674208 116.99/117.01 o 86966184126 116.99/117.01 o 86966184125 116.99/117.01 o 86963694042 116.99/117.01 o 86963694041 116.99/117.01 o 86961203959 116.99/117.01 o 86958713876 116.99/117.01 o 86958713875 116.99/117.01 o 86956223793 116.99/117.01 o 86953733710 116.99/117.01 o 86951243627 116.99/117.01 o 86951243626 116.99/117.01 o 86948753544 116.99/117.01 o 86946263461 116.99/117.01 o 86946263460 170.89/170.95 o 86943773378 170.89/170.95 o 86941283296 170.89/170.95 o 86938793214 170.89/170.95 o 86938793213 170.89/170.95 o 86936303130 170.89/170.95 o 86936303128 170.89/170.95 o 86933813045 170.89/170.95 o 86908912209 170.89/170.95 o 86906422126 170.89/170.95 o 82979559658 170.89/170.95 o 79077598027 170.89/170.95 o 79077598025 170.89/170.95 o 79075107942 170.89/170.95 o 79075107941 170.89/170.95 o 79075107940 170.89/170.95 o 79060167439 170.89/170.95 o 79060167438 170.89/170.95 o 79060167437 170.89/170.95 o 79057677355 170.89/170.95 o 75135795056 170.89/170.95 o 75135795055 170.89/170.95 o 75135795054 170.89/170.95 o 75133304971 170.89/170.95 o 75133304970 170.89/170.95 o 75130814887 170.89/170.95 o 75128324803 170.89/170.95 o 75125834721 170.89/170.95 o 75125834720 170.89/170.95 o 75125834719 170.89/170.95 o 75123344635 170.89/170.95 o 75120854553 170.89/170.95 o 67247208953 170.89/170.95 o 67247208952 170.89/170.95 o 67247208951 170.89/170.95 o 67247208950 170.89/170.95 o 67244718869 170.89/170.95 o 67244718868 170.89/170.95 o 67242228785 170.89/170.95 o 67239738701 170.89/170.95 o 67237248617 170.89/170.95 o 67234758533 170.89/170.95 o 67234758532 170.89/170.95 o 67234758531 170.89/170.95 o 67234758530 170.89/170.95 o 67232268450 170.89/170.95 o 67232268449 170.89/170.95 o 67229778368 170.89/170.95 o 67229778367 170.89/170.95 o 67229778366 170.89/170.95 o 67229778365 170.89/170.95 o 67229778364 170.89/170.95 o 67229778362 170.89/170.95 o 67229778361 170.89/170.95 o 67229778360 170.89/170.95 o 67229778359 170.89/170.95 o 67229778358 170.89/170.95 o 67229778353 170.89/170.95 o 67229778352 170.89/170.95 o 67229778351 170.89/170.95 o 67229778350 170.89/170.95 o 67229778349 170.89/170.95 o 67227288279 170.89/170.95 o 67227288277 170.89/170.95 o 67227288276 170.89/170.95 o 67227288275 170.89/170.95 o 67227288274 170.89/170.95 o 67224798190 170.89/170.95 o 63297935722 170.89/170.95 o 63295445640 170.89/170.95 o 63295445635 170.89/170.95 o 63295445634 170.89/170.95 o 63295445633 170.89/170.95 o 63292955558 170.89/170.95 o 63292955556 170.89/170.95 o 59366093089 170.89/170.95 o 59366093088 170.89/170.95 o 55441720706 170.89/170.95 o 55439230623 170.89/170.95 o 55439230621 170.89/170.95 o 55439230620 170.89/170.95 o 55439230619 170.89/170.95 o 55436740536 170.89/170.95 o 55436740535 170.89/170.95 o 55434250453 170.89/170.95 o 55434250452 170.89/170.95 o 55431760370 170.89/170.95 o 55431760369 170.89/170.95 o 55431760368 170.89/170.95 o 51599521064 170.89/170.95 o 51599521063 170.89/170.95 o 51597030979 170.89/170.95 o 51592050812 170.89/170.95 o 51589560729 170.89/170.95 o 51587070646 170.89/170.95 o 51584580563 170.89/170.95 o 51582090480 170.89/170.95 o 51579600397 170.89/170.95 o 51577110314 170.89/170.95 o 51574620231 170.89/170.95 o 51572130148 170.89/170.95 o 51572130147 170.89/170.95 o 51569640064 170.89/170.95 o 51567149981 170.89/170.95 o 51564659898 170.89/170.95 o 51562169815 170.89/170.95 o 51559679733 170.89/170.95 o 51559679732 170.89/170.95 o 51557189650 170.89/170.95 o 51557189649 170.89/170.95 o 51554699569 170.89/170.95 o 51554699568 170.89/170.95 o 51554699567 170.89/170.95 o 51552209484 170.89/170.95 o 51549719402 170.89/170.95 o 51549719401 170.89/170.95 o 51549719399 170.89/170.95 o 51547229318 170.89/170.95 o 51547229317 170.89/170.95 o 51547229316 170.89/170.95 o 51544739234 170.89/170.95 o 51544739233 170.89/170.95 o 51544739232 170.89/170.95 o 51542249149 170.89/170.95 o 51542249148 170.89/170.95 o 51539759067 170.89/170.95 o 51539759066 170.89/170.95 o 51537268985 170.89/170.95 o 51537268984 170.89/170.95 o 51534778903 170.89/170.95 o 51534778902 170.89/170.95 o 51534778901 170.89/170.95 o 51532288818 170.89/170.95 o 51529798739 170.89/170.95 o 51529798737 170.89/170.95 o 51529798736 170.89/170.95 o 51529798735 170.89/170.95 o 51529798733 170.89/170.95 o 51527308652 170.89/170.95 o 51527308651 170.89/170.95 o 51524818576 170.89/170.95 o 51524818574 170.89/170.95 o 51524818573 170.89/170.95 o 51522328492 170.89/170.95 o 51522328491 170.89/170.95 o 47592975938 170.89/170.95 o 47590485854 170.89/170.95 o 47590485853 170.89/170.95 o 47587995772 170.89/170.95 o 47587995771 170.89/170.95 o 47587995770 170.89/170.95 o 47587995769 170.89/170.95 o 47585505686 170.89/170.95 o 47585505685 170.89/170.95 o 47583015606 170.89/170.95 o 47583015605 170.89/170.95 o 47583015604 170.89/170.95 o 47583015603 170.89/170.95 o 47583015602 170.89/170.95 o 47583015601 170.89/170.95 o 47583015599 170.89/170.95 o 47583015598 170.89/170.95 o 47580525519 170.89/170.95 o 47580525518 170.89/170.95 o 47580525517 170.89/170.95 o 47578035434 170.89/170.95 o 47578035433 170.89/170.95 o 47578035432 170.89/170.95 o 47575545351 170.89/170.95 o 47575545350 170.89/170.95 o 47575545349 170.89/170.95 o 47575545348 170.89/170.95 o 47575545347 170.89/170.95 o 47573055266 170.89/170.95 o 47573055265 170.89/170.95 o 47573055264 170.89/170.95 o 47573055263 170.89/170.95 o 47570565182 170.89/170.95 o 47570565181 170.89/170.95 o 47570565176 170.89/170.95 o 47570565175 170.89/170.95 o 47568075099 170.89/170.95 o 47568075098 170.89/170.95 o 47568075097 170.89/170.95 o 47568075096 170.89/170.95 o 47565585014 170.89/170.95 o 47565585013 170.89/170.95 o 47565585012 170.89/170.95 o 47563094929 170.89/170.95 o 47563094928 170.89/170.95 o 47563094923 170.89/170.95 o 47563094922 170.89/170.95 o 47560604844 170.89/170.95 o 47560604843 170.89/170.95 o 47560604842 170.89/170.95 o 47558114760 170.89/170.95 o 43658643209 170.89/170.95 o 43658643208 170.89/170.95 o 43658643207 170.89/170.95 o 43658643206 170.89/170.95 o 43656153126 170.89/170.95 o 43656153125 170.89/170.95 o 43656153124 170.89/170.95 o 43656153123 170.89/170.95 o 43656153122 170.89/170.95 o 43656153121 170.89/170.95 o 43653663038 170.89/170.95 o 43651172956 170.89/170.95 o 43651172955 170.89/170.95 o 43651172954 170.89/170.95 o 43648682873 170.89/170.95 o 43648682872 170.89/170.95 o 43646192789 170.89/170.95 o 43643702707 170.89/170.95 o 43643702706 170.89/170.95 o 43641212625 170.89/170.95 o 43641212624 170.89/170.95 o 43641212623 170.89/170.95 o 43641212622 170.89/170.95 o 43638722540 170.89/170.95 o 43638722539 170.89/170.95 o 43636232459 170.89/170.95 o 43636232458 170.89/170.95 o 43636232457 170.89/170.95 o 43633742378 170.89/170.95 o 43633742377 170.89/170.95 o 43633742376 170.89/170.95 o 43633742375 170.89/170.95 o 43633742374 170.89/170.95 o 43631252291 170.89/170.95 o 43631252290 170.89/170.95 o 43631252289 170.89/170.95 o 43631252288 170.89/170.95 o 43628762205 170.89/170.95 o 43628762204 170.89/170.95 o 43626272122 170.89/170.95 o 43626272121 170.89/170.95 o 43623782037 170.89/170.95 o 43621291954 170.89/170.95 o 43621291953 170.89/170.95 o 43618801872 170.89/170.95 o 43618801871 170.89/170.95 o 43618801870 170.89/170.95 o 43618801869 170.89/170.95 o 43616311786 170.89/170.95 o 43616311785 170.89/170.95 o 43616311784 170.89/170.95 o 43613821704 170.89/170.95 o 43613821703 170.89/170.95 o 43613821702 170.89/170.95 o 43613821701 170.89/170.95 o 43613821700 170.89/170.95 o 43611331616 170.89/170.95 o 43608841532 170.89/170.95 o 43603861366 170.89/170.95 o 43603861365 170.89/170.95 o 43603861364 170.89/170.95 o 43601371281 170.89/170.95 o 43601371280 170.89/170.95 o 43598881196 170.89/170.95 o 39642137717 170.89/170.95 o 39639647634 170.89/170.95 o 39639647633 170.89/170.95 o 39639647632 170.89/170.95 o 39637157548 170.89/170.95 o 39637157542 170.89/170.95 o 39634667465 170.89/170.95 o 39634667464 170.89/170.95 o 39632177380 170.89/170.95 o 39632177379 170.89/170.95 o 39632177378 170.89/170.95 o 39629687296 170.89/170.95 o 39627197215 170.89/170.95 o 39627197214 170.89/170.95 o 39627197213 170.89/170.95 o 39627197212 170.89/170.95 o 39624707129 170.89/170.95 o 39624707128 170.89/170.95 o 39622217044 170.89/170.95 o 39622217043 170.89/170.95 o 39622217042 170.89/170.95 o 39619726959 170.89/170.95 o 39617236875 170.89/170.95 o 39617236874 170.89/170.95 o 39614746793 170.89/170.95 o 39614746792 170.89/170.95 o 39614746791 170.89/170.95 o 39614746790 170.89/170.95 o 39614746789 170.89/170.95 o 39614746788 170.89/170.95 o 39614746787 170.89/170.95 o 39612256703 170.89/170.95 o 39612256702 170.89/170.95 o 39609766621 243.99/244.01 o 39609766620 243.99/244.01 o 39609766619 243.99/244.01 o 39609766613 243.99/244.01 o 39607276535 243.99/244.01 o 39607276534 243.99/244.01 o 39604786451 243.99/244.01 o 39604786450 243.99/244.01 o 39604786449 243.99/244.01 o 35677923981 243.99/244.01 o 35675433899 243.99/244.01 o 35675433898 243.99/244.01 o 35675433897 243.99/244.01 o 35675433896 243.99/244.01 o 35672943814 243.99/244.01 o 35672943813 243.99/244.01 o 35672943812 243.99/244.01 o 35672943811 243.99/244.01 o 35672943804 243.99/244.01 o 35672943803 243.99/244.01 o 35670453730 243.99/244.01 o 35670453729 243.99/244.01 o 35670453728 243.99/244.01 o 35670453727 243.99/244.01 o 35667963644 243.99/244.01 o 35667963643 243.99/244.01 o 35665473560 243.99/244.01 o 35665473559 243.99/244.01 o 35665473558 243.99/244.01 o 35662983476 243.99/244.01 o 35662983475 243.99/244.01 o 35660493403 243.99/244.01 o 35660493402 243.99/244.01 o 35658003319 243.99/244.01 o 35658003318 243.99/244.01 o 35658003317 243.99/244.01 o 35655513234 243.99/244.01 o 35655513233 243.99/244.01 o 35655513232 243.99/244.01 o 35655513231 243.99/244.01 o 35655513230 243.99/244.01 o 35655513229 243.99/244.01 o 35655513228 243.99/244.01 o 35655513227 243.99/244.01 o 35655513226 243.99/244.01 o 35655513225 243.99/244.01 o 35655513224 243.99/244.01 o 35655513223 243.99/244.01 o 35655513222 243.99/244.01 o 35655513220 243.99/244.01 o 35653023138 243.99/244.01 o 35653023137 243.99/244.01 o 35653023136 243.99/244.01 o 35653023135 243.99/244.01 o 35653023134 243.99/244.01 o 35653023133 243.99/244.01 o 31883035922 243.99/244.01 o 31880545838 243.99/244.01 o 31878055754 243.99/244.01 o 31875565671 243.99/244.01 o 31875565670 243.99/244.01 o 31873075588 243.99/244.01 o 31873075587 243.99/244.01 o 31873075586 243.99/244.01 o 31870585503 243.99/244.01 o 31870585502 243.99/244.01 o 31868095419 243.99/244.01 o 31865605336 243.99/244.01 o 31865605335 243.99/244.01 o 31863115251 243.99/244.01 o 31860625171 243.99/244.01 o 31860625170 243.99/244.01 o 31860625169 243.99/244.01 o 31860625168 243.99/244.01 o 31858135085 243.99/244.01 o 31858135084 243.99/244.01 o 31855645001 243.99/244.01 o 31853154918 243.99/244.01 o 31853154917 243.99/244.01 o 31850664835 243.99/244.01 o 31850664834 243.99/244.01 o 31848174751 243.99/244.01 o 31845684668 243.99/244.01 o 31843194586 243.99/244.01 o 31843194585 243.99/244.01 o 31840704503 243.99/244.01 o 31840704502 243.99/244.01 o 31838214420 243.99/244.01 o 31838214419 243.99/244.01 o 31835724338 243.99/244.01 o 31835724337 243.99/244.01 o 31835724336 243.99/244.01 o 31833234254 243.99/244.01 o 31833234253 243.99/244.01 o 31830744171 243.99/244.01 o 31828254089 243.99/244.01 o 31828254088 243.99/244.01 o 31825764005 243.99/244.01 o 31825764004 243.99/244.01 o 31823273922 243.99/244.01 o 31820783841 243.99/244.01 o 31820783840 243.99/244.01 o 31820783839 243.99/244.01 o 31818293756 243.99/244.01 o 31815803675 243.99/244.01 o 31815803674 243.99/244.01 o 31815803673 243.99/244.01 o 31813313591 243.99/244.01 o 31810823508 243.99/244.01 o 31808333427 243.99/244.01 o 31808333426 243.99/244.01 o 31808333425 243.99/244.01 o 31808333424 243.99/244.01 o 31805843342 243.99/244.01 o 31805843341 243.99/244.01 o 31803353259 243.99/244.01 o 31803353258 243.99/244.01 o 31800863176 243.99/244.01 o 31800863175 243.99/244.01 o 31798373093 243.99/244.01 o 31798373092 243.99/244.01 o 31795883009 243.99/244.01 o 31795883008 243.99/244.01 o 31793392926 243.99/244.01 o 31793392925 243.99/244.01 o 31793392924 243.99/244.01 o 31790902841 243.99/244.01 o 31788412759 243.99/244.01 o 31788412758 243.99/244.01 o 31785922675 243.99/244.01 o 31785922674 243.99/244.01 o 31783432592 243.99/244.01 o 31783432591 243.99/244.01 o 31780942507 243.99/244.01 o 31780942506 243.99/244.01 o 31780942505 243.99/244.01 o 31778452423 243.99/244.01 o 31778452422 243.99/244.01 o 31778452421 243.99/244.01 o 31775962337 243.99/244.01 o 31775962336 243.99/244.01 o 31773472254 243.99/244.01 o 31773472253 243.99/244.01 o 31770982172 243.99/244.01 o 31770982171 243.99/244.01 o 31770982170 243.99/244.01 o 31770982169 243.99/244.01 o 31768492094 243.99/244.01 o 31768492093 243.99/244.01 o 31768492092 243.99/244.01 o 31768492091 243.99/244.01 o 31766002009 243.99/244.01 o 31763511926 243.99/244.01 o 31763511925 243.99/244.01 o 31763511924 243.99/244.01 o 31761021846 243.99/244.01 o 31761021845 243.99/244.01 o 31761021844 243.99/244.01 o 31761021843 243.99/244.01 o 31761021842 243.99/244.01 o 31761021841 243.99/244.01 o 31758531761 243.99/244.01 o 31758531760 243.99/244.01 o 31758531759 243.99/244.01 o 31758531758 243.99/244.01 o 31758531757 243.99/244.01 o 31756041677 243.99/244.01 o 31756041676 243.99/244.01 o 31756041675 243.99/244.01 o 31756041673 243.99/244.01 o 31753551592 243.99/244.01 o 31753551591 243.99/244.01 o 31753551585 243.99/244.01 o 31753551584 243.99/244.01 o 31751061512 243.99/244.01 o 31751061511 243.99/244.01 o 31751061510 243.99/244.01 o 31751061509 243.99/244.01 o 31751061508 243.99/244.01 o 31751061507 243.99/244.01 o 31751061500 243.99/244.01 o 31751061499 243.99/244.01 o 31751061498 243.99/244.01 o 31751061497 243.99/244.01 o 31751061496 243.99/244.01 o 31748571424 243.99/244.01 o 31748571423 243.99/244.01 o 31748571419 243.99/244.01 o 31748571418 243.99/244.01 o 31748571417 243.99/244.01 o 31746081341 243.99/244.01 o 31746081340 243.99/244.01 o 31746081339 243.99/244.01 o 31746081338 243.99/244.01 o 31743591258 243.99/244.01 o 31743591257 243.99/244.01 o 31743591256 243.99/244.01 o 31743591255 243.99/244.01 o 31741101175 243.99/244.01 o 31741101174 243.99/244.01 o 31741101173 243.99/244.01 o 31741101172 243.99/244.01 o 31738611088 243.99/244.01 o 31738611087 243.99/244.01 o 31738611086 243.99/244.01 o 31736121007 243.99/244.01 o 31736121006 243.99/244.01 o 31736121005 243.99/244.01 o 31736121004 243.99/244.01 o 31733630921 243.99/244.01 o 31733630920 243.99/244.01 o 31733630919 243.99/244.01 o 31731140837 243.99/244.01 o 31731140836 243.99/244.01 o 31728650752 243.99/244.01 o 31726160669 243.99/244.01 o 31726160668 243.99/244.01 o 31726160667 243.99/244.01 o 31726160666 243.99/244.01 o 31726160665 243.99/244.01 o 31723670582 243.99/244.01 o 31723670581 243.99/244.01 o 31723670580 243.99/244.01 o 31723670579 243.99/244.01 o 31723670578 243.99/244.01 o 31723670577 243.99/244.01 o 31723670576 243.99/244.01 o 31721180493 243.99/244.01 o 31721180492 243.99/244.01 o 31721180491 243.99/244.01 o 31721180490 243.99/244.01 o 31721180489 243.99/244.01 o 31718690406 243.99/244.01 o 31718690405 243.99/244.01 o 31718690395 243.99/244.01 o 31718690394 243.99/244.01 o 31718690393 243.99/244.01 o 31718690392 243.99/244.01 o 31716200321 243.99/244.01 o 31716200320 243.99/244.01 o 31716200319 243.99/244.01 o 31716200318 243.99/244.01 o 31716200317 243.99/244.01 o 31713710238 243.99/244.01 o 31713710237 243.99/244.01 o 31713710236 243.99/244.01 o 31711220159 243.99/244.01 o 31711220158 243.99/244.01 o 31711220157 243.99/244.01 o 31711220156 243.99/244.01 o 31711220155 243.99/244.01 o 31711220154 243.99/244.01 o 31711220153 243.99/244.01 o 31711220152 243.99/244.01 o 31711220151 243.99/244.01 o 31711220150 243.99/244.01 o 31711220149 243.99/244.01 o 31708730070 243.99/244.01 o 31708730069 243.99/244.01 o 31708730068 243.99/244.01 o 31708730067 243.99/244.01 o 31708730066 243.99/244.01 o 31708730065 243.99/244.01 o 31708730064 243.99/244.01 o 31706239982 243.99/244.01 o 31706239981 243.99/244.01 o 31706239980 243.99/244.01 o 31706239979 243.99/244.01 o 31703749898 243.99/244.01 o 31703749897 243.99/244.01 o 31703749896 243.99/244.01 o 31703749895 243.99/244.01 o 31701259813 243.99/244.01 o 31701259812 243.99/244.01 o 31701259811 243.99/244.01 o 31698769727 243.99/244.01 o 31696279645 243.99/244.01 o 31696279644 243.99/244.01 o 31696279643 243.99/244.01 o 31673868893 243.99/244.01 o 31673868892 243.99/244.01 o 31673868891 243.99/244.01 o 31673868890 243.99/244.01 o 31673868889 243.99/244.01 o 31671378808 243.99/244.01 o 31671378807 243.99/244.01 o 31671378806 243.99/244.01 o 31671378805 243.99/244.01 o 31671378804 243.99/244.01 o 31671378803 243.99/244.01 o 31668888726 243.99/244.01 o 31668888725 243.99/244.01 o 31668888724 344.89/344.90 o 31668888723 344.89/344.90 o 31668888722 344.89/344.90 o 31668888721 344.89/344.90 o 31668888720 344.89/344.90 o 31668888719 344.89/344.90 o 31668888718 344.89/344.90 o 31666398640 344.89/344.90 o 31666398639 344.89/344.90 o 31666398638 344.89/344.90 o 31666398637 344.89/344.90 o 31666398636 344.89/344.90 o 31666398635 344.89/344.90 o 31666398634 344.89/344.90 o 31661418469 344.89/344.90 o 31661418468 344.89/344.90 o 31661418467 344.89/344.90 o 31661418466 344.89/344.90 o 31661418465 344.89/344.90 o 31653948219 344.89/344.90 o 31653948217 344.89/344.90 o 31653948216 344.89/344.90 o 31651458135 344.89/344.90 o 31651458134 344.89/344.90 o 31651458133 344.89/344.90 o 31648968053 344.89/344.90 o 31648968052 344.89/344.90 o 31648968051 344.89/344.90 o 31646477973 344.89/344.90 o 31646477972 344.89/344.90 o 31646477971 344.89/344.90 o 31646477970 344.89/344.90 o 31646477969 344.89/344.90 o 31646477968 344.89/344.90 o 31646477967 344.89/344.90 o 31643987893 344.89/344.90 o 31643987892 344.89/344.90 o 31643987891 344.89/344.90 o 31643987890 344.89/344.90 o 31643987889 344.89/344.90 o 31643987888 344.89/344.90 o 31643987887 344.89/344.90 o 31643987886 344.89/344.90 o 31643987885 344.89/344.90 o 31643987884 344.89/344.90 o 31641497815 344.89/344.90 o 31641497814 344.89/344.90 o 31641497813 344.89/344.90 o 31641497812 344.89/344.90 o 31641497811 344.89/344.90 o 31641497810 344.89/344.90 o 31641497809 344.89/344.90 o 31641497808 344.89/344.90 o 31641497807 344.89/344.90 o 31641497806 344.89/344.90 o 31641497805 344.89/344.90 o 31641497804 344.89/344.90 o 31641497803 344.89/344.90 o 31641497802 344.89/344.90 o 31641497801 344.89/344.90 o 31641497800 344.89/344.90 o 31641497799 344.89/344.90 o 31639007721 344.89/344.90 o 31639007720 344.89/344.90 o 31639007719 344.89/344.90 o 31639007718 344.89/344.90 o 31639007717 344.89/344.90 o 31639007716 344.89/344.90 o 31636517638 344.89/344.90 o 31636517637 344.89/344.90 o 31636517636 344.89/344.90 o 31636517635 344.89/344.90 o 31636517634 344.89/344.90 o 31636517633 344.89/344.90 o 31636517632 344.89/344.90 o 31636517631 344.89/344.90 o 31634027550 344.89/344.90 o 31634027549 344.89/344.90 o 31634027548 344.89/344.90 o 31634027547 344.89/344.90 o 31634027546 344.89/344.90 o 31631537464 344.89/344.90 o 31631537463 344.89/344.90 o 31629047398 344.89/344.90 o 31629047397 344.89/344.90 o 31629047396 344.89/344.90 o 31629047395 344.89/344.90 o 31629047394 344.89/344.90 o 31629047393 344.89/344.90 o 31629047392 344.89/344.90 o 31626557318 344.89/344.90 o 31626557317 344.89/344.90 o 31626557316 344.89/344.90 o 31626557315 344.89/344.90 o 31626557314 344.89/344.90 o 31626557313 344.89/344.90 o 31626557312 344.89/344.90 o 31626557311 344.89/344.90 o 31626557310 344.89/344.90 o 31626557309 344.89/344.90 o 31626557308 344.89/344.90 o 31624067225 344.89/344.90 o 31624067224 344.89/344.90 o 31624067223 344.89/344.90 o 31621577140 344.89/344.90 o 31616596972 344.89/344.90 o 31616596971 344.89/344.90 o 31616596970 344.89/344.90 o 31614106896 344.89/344.90 o 31614106895 344.89/344.90 o 31614106894 344.89/344.90 o 31614106893 344.89/344.90 o 31614106892 344.89/344.90 o 31614106891 344.89/344.90 o 31614106890 344.89/344.90 o 31614106889 344.89/344.90 o 31614106888 344.89/344.90 o 31611616822 344.89/344.90 o 31611616821 344.89/344.90 o 31611616820 344.89/344.90 o 31611616819 344.89/344.90 o 31611616818 344.89/344.90 o 31611616817 344.89/344.90 o 31609126735 344.89/344.90 o 31609126734 344.89/344.90 o 31609126733 344.89/344.90 o 31606636650 344.89/344.90 o 31606636649 344.89/344.90 o 31606636648 344.89/344.90 o 31606636647 344.89/344.90 o 31606636646 344.89/344.90 o 31606636645 344.89/344.90 o 31606636644 344.89/344.90 o 31606636643 344.89/344.90 o 31606636642 344.89/344.90 o 31606636641 344.89/344.90 o 31606636640 344.89/344.90 o 31606636639 344.89/344.90 o 31604146560 344.89/344.90 o 31604146559 344.89/344.90 o 31604146558 344.89/344.90 o 31604146557 344.89/344.90 o 31604146556 344.89/344.90 o 31604146555 344.89/344.90 o 31604146554 344.89/344.90 o 31604146553 344.89/344.90 o 31604146552 344.89/344.90 o 31604146551 344.89/344.90 o 31604146550 344.89/344.90 o 31604146549 344.89/344.90 o 31604146548 344.89/344.90 o 31604146547 344.89/344.90 o 31604146546 344.89/344.90 o 31601656475 344.89/344.90 o 31601656474 344.89/344.90 o 31599166396 344.89/344.90 o 31599166395 344.89/344.90 o 31599166394 344.89/344.90 o 31599166393 344.89/344.90 o 31599166392 344.89/344.90 o 31599166391 344.89/344.90 o 31599166390 344.89/344.90 o 31599166389 344.89/344.90 o 31599166388 344.89/344.90 o 31599166387 344.89/344.90 o 31599166386 344.89/344.90 o 31599166385 344.89/344.90 o 31599166384 344.89/344.90 o 31599166383 344.89/344.90 o 31599166382 344.89/344.90 o 31599166381 344.89/344.90 o 31599166380 344.89/344.90 o 31599166379 344.89/344.90 o 31599166378 344.89/344.90 o 31599166377 344.89/344.90 o 31599166376 344.89/344.90 o 31599166373 344.89/344.90 o 31599166372 344.89/344.90 o 31596676299 344.89/344.90 o 31596676298 344.89/344.90 o 31596676297 344.89/344.90 o 31596676296 344.89/344.90 o 31596676295 344.89/344.90 o 31596676294 344.89/344.90 o 31596676293 344.89/344.90 o 31596676292 344.89/344.90 o 31596676291 344.89/344.90 o 31596676290 344.89/344.90 o 31596676289 344.89/344.90 o 31596676288 344.89/344.90 o 31596676287 344.89/344.90 o 31596676286 344.89/344.90 o 31596676285 344.89/344.90 o 31596676284 344.89/344.90 o 31596676283 344.89/344.90 o 31596676282 344.89/344.90 o 31594186227 344.89/344.90 o 31594186226 344.89/344.90 o 31594186225 344.89/344.90 o 31594186224 344.89/344.90 o 31594186223 344.89/344.90 o 31594186222 344.89/344.90 o 31594186221 344.89/344.90 o 31594186220 344.89/344.90 o 31594186219 344.89/344.90 o 31594186218 344.89/344.90 o 31594186217 344.89/344.90 o 31594186216 344.89/344.90 o 31594186215 344.89/344.90 o 31594186214 344.89/344.90 o 31594186213 344.89/344.90 o 31594186212 344.89/344.90 o 31594186211 344.89/344.90 o 31594186210 344.89/344.90 o 31594186209 344.89/344.90 o 31594186208 344.89/344.90 o 31591696131 344.89/344.90 o 31591696130 344.89/344.90 o 31591696129 344.89/344.90 o 31591696128 344.89/344.90 o 31591696127 344.89/344.90 o 31591696126 344.89/344.90 o 31589206056 344.89/344.90 o 31589206055 344.89/344.90 o 31589206054 344.89/344.90 o 31589206053 344.89/344.90 o 31589206052 344.89/344.90 o 31589206051 344.89/344.90 o 31589206050 344.89/344.90 o 31589206049 344.89/344.90 o 31589206048 344.89/344.90 o 31589206047 344.89/344.90 o 31589206046 344.89/344.90 o 31589206045 344.89/344.90 o 31589206044 344.89/344.90 o 31589206043 344.89/344.90 o 31589206042 344.89/344.90 o 31589206041 344.89/344.90 o 31589206040 344.89/344.90 o 31589206039 344.89/344.90 o 31589206038 344.89/344.90 o 31589206037 344.89/344.90 o 31589206036 344.89/344.90 o 31589206035 344.89/344.90 o 31589206034 344.89/344.90 o 31589206033 344.89/344.90 o 31586715950 344.89/344.90 o 31586715949 344.89/344.90 o 31586715948 344.89/344.90 o 31584225864 344.89/344.90 o 31584225863 344.89/344.90 o 31581735791 344.89/344.90 o 31581735790 344.89/344.90 o 31581735789 344.89/344.90 o 31579245706 344.89/344.90 o 31576755622 344.89/344.90 o 31576755621 344.89/344.90 o 31576755620 344.89/344.90 o 31576755619 344.89/344.90 o 31576755618 344.89/344.90 o 31576755617 344.89/344.90 o 31576755616 344.89/344.90 o 31576755615 344.89/344.90 o 31576755614 344.89/344.90 o 31576755613 344.89/344.90 o 31576755612 344.89/344.90 o 31576755611 344.89/344.90 o 31574265543 344.89/344.90 o 31574265542 344.89/344.90 o 31574265541 344.89/344.90 o 31574265540 344.89/344.90 o 31574265538 344.89/344.90 o 31574265537 344.89/344.90 o 31574265536 344.89/344.90 o 31574265535 344.89/344.90 o 31574265534 344.89/344.90 o 31571775467 344.89/344.90 o 31571775466 344.89/344.90 o 31571775465 344.89/344.90 o 31571775464 344.89/344.90 o 31571775463 344.89/344.90 o 31571775462 344.89/344.90 o 31571775461 344.89/344.90 o 31571775460 344.89/344.90 o 31569285377 344.89/344.90 o 31569285376 344.89/344.90 o 31566795300 344.89/344.90 o 31566795299 344.89/344.90 o 31566795298 344.89/344.90 o 31566795297 344.89/344.90 o 31566795296 344.89/344.90 o 31566795295 344.89/344.90 o 31566795294 344.89/344.90 o 31566795293 421.89/421.94 o 31566795292 421.89/421.94 o 31566795291 421.89/421.94 o 31566795290 421.89/421.94 o 31566795289 421.89/421.94 o 31566795288 421.89/421.94 o 31566795287 421.89/421.94 o 31566795286 421.89/421.94 o 31566795285 421.89/421.94 o 31566795284 421.89/421.94 o 31564305222 421.89/421.94 o 31564305221 421.89/421.94 o 31564305220 421.89/421.94 o 31564305219 421.89/421.94 o 31564305218 421.89/421.94 o 31564305217 421.89/421.94 o 31564305216 421.89/421.94 o 31564305215 421.89/421.94 o 31564305214 421.89/421.94 o 31564305213 421.89/421.94 o 31564305212 421.89/421.94 o 31564305211 421.89/421.94 o 31564305210 421.89/421.94 o 31564305209 421.89/421.94 o 31564305208 421.89/421.94 o 31564305207 421.89/421.94 o 31564305206 421.89/421.94 o 31564305205 421.89/421.94 o 31564305204 421.89/421.94 o 31564305203 421.89/421.94 o 31561815127 421.89/421.94 o 31561815126 421.89/421.94 o 31561815125 421.89/421.94 o 31561815124 421.89/421.94 o 31561815123 421.89/421.94 o 31561815122 421.89/421.94 o 31561815121 421.89/421.94 o 31561815120 421.89/421.94 o 31561815119 421.89/421.94 o 31561815118 421.89/421.94 o 31561815117 421.89/421.94 o 31561815116 421.89/421.94 o 27664833655 421.89/421.94 o 27664833654 421.89/421.94 o 27664833653 421.89/421.94 o 27664833652 421.89/421.94 o 27664833651 421.89/421.94 o 27664833650 421.89/421.94 o 27662343568 421.89/421.94 o 27662343566 421.89/421.94 o 27662343565 421.89/421.94 o 27662343564 421.89/421.94 o 27659853491 421.89/421.94 o 27659853490 421.89/421.94 o 27659853489 421.89/421.94 o 27659853488 421.89/421.94 o 27659853487 421.89/421.94 o 27659853486 421.89/421.94 o 27659853485 421.89/421.94 o 27659853484 421.89/421.94 o 27659853483 421.89/421.94 o 27659853482 421.89/421.94 o 27659853481 421.89/421.94 o 27659853480 421.89/421.94 o 27659853479 421.89/421.94 o 27659853478 421.89/421.94 o 27659853477 421.89/421.94 o 27657363408 421.89/421.94 o 27657363407 421.89/421.94 o 27657363406 421.89/421.94 o 27657363405 421.89/421.94 o 27657363404 421.89/421.94 o 27657363403 421.89/421.94 o 27657363402 421.89/421.94 o 27657363401 421.89/421.94 o 27657363400 421.89/421.94 o 27657363399 421.89/421.94 o 27657363398 421.89/421.94 o 27657363397 421.89/421.94 o 27654873327 421.89/421.94 o 27654873326 421.89/421.94 o 27654873325 421.89/421.94 o 27654873324 421.89/421.94 o 27654873323 421.89/421.94 o 27654873322 421.89/421.94 o 27654873321 421.89/421.94 o 27654873320 421.89/421.94 o 27654873319 421.89/421.94 o 27654873318 421.89/421.94 o 27654873317 421.89/421.94 o 27654873316 421.89/421.94 o 27654873315 421.89/421.94 o 27654873314 421.89/421.94 o 27654873313 421.89/421.94 o 27654873312 421.89/421.94 o 27654873311 421.89/421.94 o 27654873310 421.89/421.94 o 27654873309 421.89/421.94 o 27654873308 421.89/421.94 o 27654873307 421.89/421.94 o 27654873306 421.89/421.94 o 27652383235 421.89/421.94 o 27652383234 421.89/421.94 o 27652383233 421.89/421.94 o 27652383232 421.89/421.94 o 27652383231 421.89/421.94 o 27652383230 421.89/421.94 o 27652383229 421.89/421.94 o 27647403063 421.89/421.94 o 27647403062 421.89/421.94 o 27647403061 421.89/421.94 o 27647403060 421.89/421.94 o 27647403059 421.89/421.94 o 27644912977 421.89/421.94 o 27644912976 421.89/421.94 o 27644912975 421.89/421.94 o 27644912974 421.89/421.94 o 27644912973 421.89/421.94 o 27644912972 421.89/421.94 o 27644912971 421.89/421.94 o 27644912970 421.89/421.94 o 27642422900 421.89/421.94 o 27642422899 421.89/421.94 o 27642422898 421.89/421.94 o 27642422897 421.89/421.94 o 27642422896 421.89/421.94 o 27634952642 421.89/421.94 o 27632462558 421.89/421.94 o 27629972474 421.89/421.94 o 27627482391 421.89/421.94 o 27624992313 421.89/421.94 o 27622502255 421.89/421.94 o 27622502254 421.89/421.94 o 27622502253 421.89/421.94 o 27622502252 421.89/421.94 o 27622502251 421.89/421.94 o 27620012176 421.89/421.94 o 27620012175 421.89/421.94 o 27620012174 421.89/421.94 o 27620012173 421.89/421.94 o 27620012172 421.89/421.94 o 27620012171 421.89/421.94 o 27620012170 421.89/421.94 o 27620012169 421.89/421.94 o 27620012168 421.89/421.94 o 27620012167 421.89/421.94 o 27620012166 421.89/421.94 o 27620012165 421.89/421.94 o 27620012164 421.89/421.94 o 27620012163 421.89/421.94 o 27620012162 421.89/421.94 o 27620012161 421.89/421.94 o 27620012160 421.89/421.94 o 27617522097 421.89/421.94 o 27617522096 421.89/421.94 o 27617522095 421.89/421.94 o 27617522093 421.89/421.94 o 27617522092 421.89/421.94 o 27617522091 421.89/421.94 o 27617522090 421.89/421.94 o 27617522089 421.89/421.94 o 27617522088 421.89/421.94 o 27617522087 421.89/421.94 o 27617522086 421.89/421.94 o 27617522085 421.89/421.94 o 27617522084 421.89/421.94 o 27617522083 421.89/421.94 o 27615032007 421.89/421.94 o 27615032006 421.89/421.94 o 27615032005 421.89/421.94 o 27615032004 421.89/421.94 o 27615032003 421.89/421.94 o 27615032002 421.89/421.94 o 27615032001 421.89/421.94 o 27615032000 421.89/421.94 o 27615031999 421.89/421.94 o 27615031998 421.89/421.94 o 27612541920 421.89/421.94 o 27612541919 421.89/421.94 o 27612541918 421.89/421.94 o 27612541917 421.89/421.94 o 27612541916 421.89/421.94 o 27612541915 421.89/421.94 o 27612541914 421.89/421.94 o 27612541913 421.89/421.94 o 27612541912 421.89/421.94 o 27612541911 421.89/421.94 o 27610051836 421.89/421.94 o 27610051833 421.89/421.94 o 27610051832 421.89/421.94 o 27610051830 421.89/421.94 o 27610051829 421.89/421.94 o 27610051828 421.89/421.94 o 27607561745 421.89/421.94 o 27607561744 421.89/421.94 o 27607561743 421.89/421.94 o 27607561742 421.89/421.94 o 27605071660 421.89/421.94 o 27605071659 421.89/421.94 o 27602581583 421.89/421.94 o 27602581581 421.89/421.94 o 27602581580 421.89/421.94 o 27602581579 421.89/421.94 o 27602581578 421.89/421.94 o 27602581577 421.89/421.94 o 27602581576 421.89/421.94 o 27602581575 421.89/421.94 o 27602581574 421.89/421.94 o 27602581573 421.89/421.94 o 27602581572 421.89/421.94 o 27602581571 421.89/421.94 o 27602581570 421.89/421.94 o 27602581569 421.89/421.94 o 27600091498 421.89/421.94 o 27600091497 421.89/421.94 o 27600091496 421.89/421.94 o 27600091495 421.89/421.94 o 27600091493 421.89/421.94 o 27600091492 421.89/421.94 o 27597601411 421.89/421.94 o 27597601410 421.89/421.94 o 27597601409 421.89/421.94 o 27597601408 421.89/421.94 o 27597601407 421.89/421.94 o 27597601406 421.89/421.94 o 27597601405 421.89/421.94 o 27597601404 421.89/421.94 o 27597601403 421.89/421.94 o 27597601402 421.89/421.94 o 27597601401 421.89/421.94 o 27595111319 421.89/421.94 o 27595111318 421.89/421.94 o 27592621236 421.89/421.94 o 27592621235 421.89/421.94 o 27592621234 421.89/421.94 o 27592621233 421.89/421.94 o 27592621232 421.89/421.94 o 27590131149 421.89/421.94 o 27590131148 421.89/421.94 o 27590131147 421.89/421.94 o 27590131146 421.89/421.94 o 27590131145 421.89/421.94 o 27590131144 421.89/421.94 o 27590131143 421.89/421.94 o 27587641060 421.89/421.94 o 27585150976 421.89/421.94 o 27585150975 421.89/421.94 o 27585150974 421.89/421.94 o 27585150973 421.89/421.94 o 27582660906 421.89/421.94 o 27582660905 421.89/421.94 o 27582660904 421.89/421.94 o 27582660903 421.89/421.94 o 27582660902 421.89/421.94 o 27582660901 421.89/421.94 o 27582660900 421.89/421.94 o 27582660899 421.89/421.94 o 27582660898 421.89/421.94 o 27582660897 421.89/421.94 o 27582660896 421.89/421.94 o 27582660895 421.89/421.94 o 27582660894 421.89/421.94 o 27582660893 421.89/421.94 o 27582660892 421.89/421.94 o 27582660891 421.89/421.94 o 27582660890 421.89/421.94 o 27582660889 421.89/421.94 o 27582660888 421.89/421.94 o 27582660887 421.89/421.94 o 27582660886 421.89/421.94 o 27582660885 421.89/421.94 o 27582660884 421.89/421.94 o 27582660883 421.89/421.94 o 27582660882 421.89/421.94 o 27582660881 421.89/421.94 o 27582660880 421.89/421.94 o 27580170799 421.89/421.94 o 27580170798 421.89/421.94 o 27580170797 421.89/421.94 o 27580170796 421.89/421.94 o 27580170795 421.89/421.94 o 27580170794 421.89/421.94 o 27580170793 421.89/421.94 o 27580170792 421.89/421.94 o 27580170791 421.89/421.94 o 27580170790 421.89/421.94 o 27580170789 421.89/421.94 o 27580170788 421.89/421.94 o 27580170787 421.89/421.94 o 27580170786 421.89/421.94 o 27580170785 421.89/421.94 o 27580170784 421.89/421.94 o 27580170783 421.89/421.94 o 27580170782 453.89/453.94 o 27580170781 453.89/453.94 o 27580170780 453.89/453.94 o 27580170779 453.89/453.94 o 27580170778 453.89/453.94 o 27580170777 453.89/453.94 o 27580170776 453.89/453.94 o 27580170775 453.89/453.94 o 27580170774 453.89/453.94 o 27580170773 453.89/453.94 o 27580170772 453.89/453.94 o 27580170771 453.89/453.94 o 27580170770 453.89/453.94 o 27580170769 453.89/453.94 o 27580170768 453.89/453.94 o 27580170767 453.89/453.94 o 27580170766 453.89/453.94 o 27580170765 453.89/453.94 o 27580170764 453.89/453.94 o 27580170763 453.89/453.94 o 27577680716 453.89/453.94 o 27577680715 453.89/453.94 o 27575190643 453.89/453.94 o 27575190642 453.89/453.94 o 27575190641 453.89/453.94 o 27575190640 453.89/453.94 o 27575190639 453.89/453.94 o 27575190638 453.89/453.94 o 27575190637 453.89/453.94 o 27575190636 453.89/453.94 o 27575190635 453.89/453.94 o 27575190634 453.89/453.94 o 27575190633 453.89/453.94 o 27575190632 453.89/453.94 o 27575190631 453.89/453.94 o 27575190630 453.89/453.94 o 27575190629 453.89/453.94 o 27575190628 453.89/453.94 o 27575190627 453.89/453.94 o 27575190626 453.89/453.94 o 27575190625 453.89/453.94 o 27575190624 453.89/453.94 o 27575190623 453.89/453.94 o 27572700554 453.89/453.94 o 27572700553 453.89/453.94 o 27572700552 453.89/453.94 o 27572700551 453.89/453.94 o 27572700550 453.89/453.94 o 27570210471 453.89/453.94 o 27570210470 453.89/453.94 o 27570210469 453.89/453.94 o 27570210468 453.89/453.94 o 27570210467 453.89/453.94 o 27570210466 453.89/453.94 o 27570210465 453.89/453.94 o 27570210464 453.89/453.94 o 27570210463 453.89/453.94 o 27570210462 453.89/453.94 o 27570210461 453.89/453.94 o 27570210460 453.89/453.94 o 27570210459 453.89/453.94 o 27570210458 453.89/453.94 o 27570210457 453.89/453.94 o 27570210456 453.89/453.94 o 27570210455 453.89/453.94 o 27570210454 453.89/453.94 o 27570210453 453.89/453.94 o 27570210452 453.89/453.94 o 27570210451 453.89/453.94 o 27570210450 453.89/453.94 o 27570210449 453.89/453.94 o 27570210448 453.89/453.94 o 27570210447 453.89/453.94 o 27570210446 453.89/453.94 o 27570210445 453.89/453.94 o 27570210444 453.89/453.94 o 27570210443 453.89/453.94 o 27570210442 453.89/453.94 o 27570210441 453.89/453.94 o 27567720391 453.89/453.94 o 27567720390 453.89/453.94 o 27567720389 453.89/453.94 o 27567720388 453.89/453.94 o 27567720387 453.89/453.94 o 27567720386 453.89/453.94 o 27567720385 453.89/453.94 o 27567720384 453.89/453.94 o 27567720383 453.89/453.94 o 27567720382 453.89/453.94 o 27567720381 453.89/453.94 o 27567720380 453.89/453.94 o 27567720379 453.89/453.94 o 27567720378 453.89/453.94 o 27567720377 453.89/453.94 o 27567720376 453.89/453.94 o 27567720375 453.89/453.94 o 27567720374 453.89/453.94 o 27567720373 453.89/453.94 o 27565230304 453.89/453.94 o 27562740220 453.89/453.94 o 27562740219 453.89/453.94 o 27562740218 453.89/453.94 o 27562740217 453.89/453.94 o 27562740216 453.89/453.94 o 27562740215 453.89/453.94 o 27562740214 453.89/453.94 o 27562740213 453.89/453.94 o 27562740212 453.89/453.94 o 27562740211 453.89/453.94 o 27562740210 453.89/453.94 o 27562740209 453.89/453.94 o 27562740208 453.89/453.94 o 27562740207 453.89/453.94 o 27562740206 453.89/453.94 o 27562740205 453.89/453.94 o 27562740204 453.89/453.94 o 27562740203 453.89/453.94 s OPTIMUM FOUND 453.89/453.94 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
OK 27562740203
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-3497996-1307936405/watcher-3497996-1307936405 -o /tmp/evaluation-result-3497996-1307936405/solver-3497996-1307936405 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497996-1307936405.opb --verbosity=0 --format=opb --randomseed=1529041584 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.09 1.44 1.76 2/177 22832 /proc/meminfo: memFree=6529772/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=7896 CPUtime=0 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 418 0 0 0 0 0 0 0 19 0 1 0 983871209 8085504 371 33554432000 4194304 6957856 140734307740096 18446744073709551615 5312973 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/22832/statm: 1974 371 227 675 0 1290 0 [startup+0.0123119 s] /proc/loadavg: 1.09 1.44 1.76 2/177 22832 /proc/meminfo: memFree=6529772/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=8964 CPUtime=0.01 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 774 0 0 0 1 0 0 0 19 0 1 0 983871209 9179136 684 33554432000 4194304 6957856 140734307740096 18446744073709551615 5510996 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/22832/statm: 2241 684 251 675 0 1557 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 8964 [startup+0.100316 s] /proc/loadavg: 1.09 1.44 1.76 2/177 22832 /proc/meminfo: memFree=6529772/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=15720 CPUtime=0.09 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 2429 0 0 0 9 0 0 0 19 0 1 0 983871209 16097280 2339 33554432000 4194304 6957856 140734307740096 18446744073709551615 5578081 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/22832/statm: 3930 2339 252 675 0 3246 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15720 [startup+0.300273 s] /proc/loadavg: 1.09 1.44 1.76 2/177 22832 /proc/meminfo: memFree=6529772/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=32976 CPUtime=0.29 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 7037 0 0 0 28 1 0 0 20 0 1 0 983871209 33767424 6650 33554432000 4194304 6957856 140734307740096 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/22832/statm: 8244 6651 267 675 0 7560 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32976 [startup+0.700203 s] /proc/loadavg: 1.09 1.44 1.76 2/177 22832 /proc/meminfo: memFree=6529772/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=76580 CPUtime=0.69 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 17984 0 0 0 67 2 0 0 21 0 1 0 983871209 78417920 17531 33554432000 4194304 6957856 140734307740096 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/22832/statm: 19145 17533 267 675 0 18461 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 76580 [startup+1.50105 s] /proc/loadavg: 1.09 1.44 1.76 2/176 22840 /proc/meminfo: memFree=6451404/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=88964 CPUtime=1.49 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 21091 0 0 0 146 3 0 0 23 0 1 0 983871209 91099136 20638 33554432000 4194304 6957856 140734307740096 18446744073709551615 5932630 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/22832/statm: 22241 20638 283 675 0 21557 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 88964 [startup+3.10076 s] /proc/loadavg: 1.09 1.44 1.76 3/178 22871 /proc/meminfo: memFree=6373520/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=88968 CPUtime=3.09 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 21117 0 0 0 306 3 0 0 25 0 1 0 983871209 91103232 20663 33554432000 4194304 6957856 140734307740096 18446744073709551615 4838376 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/22832/statm: 22242 20663 286 675 0 21558 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 88968 [startup+6.30116 s] /proc/loadavg: 1.16 1.45 1.76 3/178 22871 /proc/meminfo: memFree=6372728/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=89120 CPUtime=6.29 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 21195 0 0 0 626 3 0 0 25 0 1 0 983871209 91258880 20741 33554432000 4194304 6957856 140734307740096 18446744073709551615 4613413 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/22832/statm: 22280 20741 286 675 0 21596 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 89120 [startup+12.701 s] /proc/loadavg: 1.23 1.46 1.76 3/178 22871 /proc/meminfo: memFree=6370500/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=90176 CPUtime=12.69 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 21492 0 0 0 1266 3 0 0 25 0 1 0 983871209 92340224 21038 33554432000 4194304 6957856 140734307740096 18446744073709551615 4838165 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/22832/statm: 22544 21038 286 675 0 21860 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 90176 [startup+25.5006 s] /proc/loadavg: 1.40 1.48 1.76 3/178 22872 /proc/meminfo: memFree=6368240/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=91368 CPUtime=25.49 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 21821 0 0 0 2546 3 0 0 25 0 1 0 983871209 93560832 21366 33554432000 4194304 6957856 140734307740096 18446744073709551615 4866314 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/22832/statm: 22842 21366 286 675 0 22158 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 91368 [startup+51.1009 s] /proc/loadavg: 1.60 1.52 1.77 3/178 22872 /proc/meminfo: memFree=6358100/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=96384 CPUtime=51.09 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 23346 0 0 0 5106 3 0 0 25 0 1 0 983871209 98697216 22886 33554432000 4194304 6957856 140734307740096 18446744073709551615 5918102 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/22832/statm: 24096 22886 286 675 0 23412 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 96384 [startup+102.306 s] /proc/loadavg: 1.88 1.61 1.78 3/178 22874 /proc/meminfo: memFree=6312432/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=124624 CPUtime=102.29 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 36899 0 0 0 10224 5 0 0 25 0 1 0 983871209 127614976 28583 33554432000 4194304 6957856 140734307740096 18446744073709551615 5932833 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/22832/statm: 31156 28583 287 675 0 30472 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 124624 [startup+162.3 s] /proc/loadavg: 1.95 1.68 1.80 3/178 22875 /proc/meminfo: memFree=6265388/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=155508 CPUtime=162.29 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 47777 0 0 0 16221 8 0 0 25 0 1 0 983871209 159240192 36029 33554432000 4194304 6957856 140734307740096 18446744073709551615 5312975 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/22832/statm: 38877 36029 287 675 0 38193 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 155508 [startup+222.3 s] /proc/loadavg: 1.98 1.74 1.81 3/178 22877 /proc/meminfo: memFree=6245868/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=155508 CPUtime=222.29 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 49726 0 0 0 22221 8 0 0 25 0 1 0 983871209 159240192 37978 33554432000 4194304 6957856 140734307740096 18446744073709551615 5932670 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/22832/statm: 38877 37978 287 675 0 38193 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 155508 [startup+282.301 s] /proc/loadavg: 1.99 1.78 1.82 3/178 22878 /proc/meminfo: memFree=6239992/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=155508 CPUtime=282.29 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 50124 0 0 0 28221 8 0 0 25 0 1 0 983871209 159240192 38376 33554432000 4194304 6957856 140734307740096 18446744073709551615 5922139 0 0 4096 17571 0 0 0 17 5 0 0 0 /proc/22832/statm: 38877 38376 287 675 0 38193 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 155508 [startup+342.301 s] /proc/loadavg: 1.99 1.82 1.83 3/178 22994 /proc/meminfo: memFree=6293840/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=160104 CPUtime=342.29 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 50653 0 0 0 34221 8 0 0 25 0 1 0 983871209 163946496 38905 33554432000 4194304 6957856 140734307740096 18446744073709551615 5922598 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/22832/statm: 40026 38905 287 675 0 39342 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 160104 [startup+402.301 s] /proc/loadavg: 1.99 1.85 1.83 3/178 23034 /proc/meminfo: memFree=6007888/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=167420 CPUtime=402.29 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 52142 0 0 0 40221 8 0 0 25 0 1 0 983871209 171438080 40394 33554432000 4194304 6957856 140734307740096 18446744073709551615 5315408 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/22832/statm: 41855 40394 287 675 0 41171 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 167420 Solver just ended. Dumping a history of the last processes samples [startup+409.501 s] /proc/loadavg: 1.99 1.85 1.83 3/178 23034 /proc/meminfo: memFree=6007876/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=167420 CPUtime=409.49 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 52142 0 0 0 40941 8 0 0 25 0 1 0 983871209 171438080 40394 33554432000 4194304 6957856 140734307740096 18446744073709551615 5932846 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/22832/statm: 41855 40394 287 675 0 41171 0 Current children cumulated CPU time (s) 409.49 Current children cumulated vsize (KiB) 167420 [startup+435.101 s] /proc/loadavg: 1.99 1.86 1.83 3/178 23072 /proc/meminfo: memFree=5938120/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=167420 CPUtime=435.09 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 52143 0 0 0 43501 8 0 0 25 0 1 0 983871209 171438080 40395 33554432000 4194304 6957856 140734307740096 18446744073709551615 5313091 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/22832/statm: 41855 40395 287 675 0 41171 0 Current children cumulated CPU time (s) 435.09 Current children cumulated vsize (KiB) 167420 [startup+441.501 s] /proc/loadavg: 1.99 1.86 1.83 3/178 23073 /proc/meminfo: memFree=5677320/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=167420 CPUtime=441.49 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 52143 0 0 0 44141 8 0 0 25 0 1 0 983871209 171438080 40395 33554432000 4194304 6957856 140734307740096 18446744073709551615 5934368 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/22832/statm: 41855 40395 287 675 0 41171 0 Current children cumulated CPU time (s) 441.49 Current children cumulated vsize (KiB) 167420 [startup+447.901 s] /proc/loadavg: 1.99 1.87 1.84 3/178 23073 /proc/meminfo: memFree=5675588/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=167420 CPUtime=447.89 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 52143 0 0 0 44781 8 0 0 25 0 1 0 983871209 171438080 40395 33554432000 4194304 6957856 140734307740096 18446744073709551615 5934450 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/22832/statm: 41855 40395 287 675 0 41171 0 Current children cumulated CPU time (s) 447.89 Current children cumulated vsize (KiB) 167420 [startup+451.101 s] /proc/loadavg: 1.99 1.87 1.84 3/178 23073 /proc/meminfo: memFree=5675704/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=167420 CPUtime=451.09 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 52143 0 0 0 45101 8 0 0 25 0 1 0 983871209 171438080 40395 33554432000 4194304 6957856 140734307740096 18446744073709551615 5932608 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/22832/statm: 41855 40395 287 675 0 41171 0 Current children cumulated CPU time (s) 451.09 Current children cumulated vsize (KiB) 167420 [startup+452.701 s] /proc/loadavg: 1.99 1.87 1.84 3/178 23073 /proc/meminfo: memFree=5675704/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=167420 CPUtime=452.69 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 52143 0 0 0 45261 8 0 0 25 0 1 0 983871209 171438080 40395 33554432000 4194304 6957856 140734307740096 18446744073709551615 4838132 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/22832/statm: 41855 40395 287 675 0 41171 0 Current children cumulated CPU time (s) 452.69 Current children cumulated vsize (KiB) 167420 [startup+453.5 s] /proc/loadavg: 1.99 1.87 1.84 3/178 23073 /proc/meminfo: memFree=5675704/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=167420 CPUtime=453.49 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 52143 0 0 0 45341 8 0 0 25 0 1 0 983871209 171438080 40395 33554432000 4194304 6957856 140734307740096 18446744073709551615 5922159 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/22832/statm: 41855 40395 287 675 0 41171 0 Current children cumulated CPU time (s) 453.49 Current children cumulated vsize (KiB) 167420 [startup+453.9 s] /proc/loadavg: 1.99 1.87 1.84 3/178 23073 /proc/meminfo: memFree=5675704/32950928 swapFree=67051116/67111528 [pid=22832] ppid=22830 vsize=167420 CPUtime=453.89 cores=1,3,5,7 /proc/22832/stat : 22832 (minisatid-gmp) R 22830 22832 20470 0 -1 4202496 52143 0 0 0 45381 8 0 0 25 0 1 0 983871209 171438080 40395 33554432000 4194304 6957856 140734307740096 18446744073709551615 5922559 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/22832/statm: 41855 40395 287 675 0 41171 0 Current children cumulated CPU time (s) 453.89 Current children cumulated vsize (KiB) 167420 Child status: 10 Real time (s): 453.956 CPU time (s): 453.956 CPU user time (s): 453.863 CPU system time (s): 0.092985 CPU usage (%): 99.9999 Max. virtual memory (cumulated for all children) (KiB): 167420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 453.863 system time used= 0.092985 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52146 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= 4297 runsolver used 0.748886 second user time and 1.71174 second system time The end
Begin job on node113 at 2011-06-13 05:40:05 IDJOB=3497996 IDBENCH=72299 IDSOLVER=1990 FILE ID=node113/3497996-1307936405 RUNJOBID= node113-1307936404-22729 PBS_JOBID= 13559666 Free space on /tmp= 1864 MiB SOLVER NAME= MinisatID 2.5.2-gmp BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand27da90.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-3497996-1307936405/watcher-3497996-1307936405 -o /tmp/evaluation-result-3497996-1307936405/solver-3497996-1307936405 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497996-1307936405.opb --verbosity=0 --format=opb --randomseed=1529041584 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1db531ec7fbea38dd353f31b0fba98ed RANDOM SEED=1529041584 node113.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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.76 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.846 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.846 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.846 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.74 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.846 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.846 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.83 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 6530696 kB Buffers: 121836 kB Cached: 25437668 kB SwapCached: 14112 kB Active: 10294008 kB Inactive: 15286920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 6530696 kB SwapTotal: 67111528 kB SwapFree: 67051116 kB Dirty: 8352 kB Writeback: 0 kB AnonPages: 18492 kB Mapped: 10632 kB Slab: 772896 kB PageTables: 4912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 215124 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= 1856 MiB End job on node113 at 2011-06-13 05:47:39