Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| MinisatID 2.5.2-gmp (fixed) | ? (TO) | 57078258176 | 1800.07 | 1800.02 |
| Name | /OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/ random/rand.biglist/normalized-randee102b.cudf.trendy.opb |
| MD5SUM | f44321f7dd3856af726fb72089a277a8 |
| 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 | 56868381951 |
| Best CPU time to get the best result obtained on this benchmark | 15.7756 |
| 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 | 8400 |
| Total number of constraints | 35486 |
| Number of constraints which are clauses | 35117 |
| Number of constraints which are cardinality constraints (but not clauses) | 369 |
| 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 | 4014 |
| Biggest coefficient in the objective function | 8108486729 |
| Number of bits for the biggest coefficient in the objective function | 33 |
| Sum of the numbers in the objective function | 4475876603702 |
| Number of bits of the sum of numbers in the objective function | 43 |
| Biggest number in a constraint | 8108486729 |
| Number of bits of the biggest number in a constraint | 33 |
| Biggest sum of numbers in a constraint | 4475876603702 |
| Number of bits of the biggest sum of numbers | 43 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 59.10/59.19 o 2279711740152 59.10/59.19 o 2271603253423 59.10/59.19 o 2263494766694 59.10/59.19 o 2255386279965 59.10/59.19 o 2247277793236 59.10/59.19 o 2239169306507 59.10/59.19 o 2231060819778 59.10/59.19 o 2222956369130 59.10/59.19 o 2214847882401 59.10/59.19 o 2198634945024 59.10/59.19 o 2190526458295 59.10/59.19 o 2182417971566 59.10/59.19 o 2174313520918 59.10/59.19 o 2166205034189 59.10/59.19 o 2158096547460 59.10/59.19 o 2149988060731 59.10/59.19 o 2141879574002 59.10/59.19 o 2133771087273 59.10/59.19 o 2125662600544 59.10/59.19 o 2117554113815 59.10/59.19 o 2109445627086 59.10/59.19 o 2101337140357 59.10/59.19 o 2093228653628 59.10/59.19 o 2085120166899 59.10/59.19 o 2077011680170 59.10/59.19 o 2068903193441 59.10/59.19 o 2060794706712 59.10/59.19 o 2052686219983 59.10/59.19 o 2044577733254 59.10/59.19 o 2036473282606 59.10/59.19 o 2028364795877 59.10/59.19 o 2020256309148 59.10/59.19 o 2012147822419 59.10/59.19 o 2004039335690 59.10/59.19 o 1995930848961 59.10/59.19 o 1987822362232 59.10/59.19 o 1979713875503 59.10/59.19 o 1971605388774 59.10/59.19 o 1963496902045 59.10/59.19 o 1955392451397 59.10/59.19 o 1947283964668 59.10/59.19 o 1939179514020 59.10/59.19 o 1931071027291 59.10/59.19 o 1922962540562 59.10/59.19 o 1914854053833 59.10/59.19 o 1906745567104 59.10/59.19 o 1898637080375 59.10/59.19 o 1890528593646 59.10/59.19 o 1882420106917 59.10/59.19 o 1874311620188 59.10/59.19 o 1866203133459 59.10/59.19 o 1858094646730 59.10/59.19 o 1849986160001 59.10/59.19 o 1841877673272 59.10/59.19 o 1833769186543 59.10/59.19 o 1825660699814 59.10/59.19 o 1817552213085 59.10/59.19 o 1809443726356 59.10/59.19 o 1801335239627 59.10/59.19 o 1793226752898 59.10/59.19 o 1785118266169 59.10/59.19 o 1777009779440 59.10/59.19 o 1768901292711 59.10/59.19 o 1760792805982 59.10/59.19 o 1752684319253 59.10/59.19 o 1744575832524 59.10/59.19 o 1736467345795 59.10/59.19 o 1728358859066 59.10/59.19 o 1720250372337 59.10/59.19 o 1712141885608 59.10/59.19 o 1704033398879 59.10/59.19 o 1695924912150 59.10/59.19 o 1687816425421 59.10/59.19 o 1679707938692 59.10/59.19 o 1671599451963 59.10/59.19 o 1663490965234 59.10/59.19 o 1655382478505 59.10/59.19 o 1647278027858 59.10/59.19 o 1639173577210 59.10/59.19 o 1639169541129 59.10/59.19 o 1639165505055 59.10/59.19 o 1631057018334 59.10/59.19 o 1631052982252 59.10/59.19 o 1622944495524 59.10/59.19 o 1614836008795 59.10/59.19 o 1606727522066 59.10/59.19 o 1598619035337 59.10/59.19 o 1590510548608 59.10/59.19 o 1590506512527 59.10/59.19 o 1582398025798 59.10/59.19 o 1574309719474 59.10/59.19 o 1566201232745 59.10/59.19 o 1558092746016 59.10/59.19 o 1549984259287 59.10/59.19 o 1541879808639 59.10/59.19 o 1533771321910 59.10/59.19 o 1533767285831 59.10/59.19 o 1533767285830 59.10/59.19 o 1533763249749 59.10/59.19 o 1525658799100 59.10/59.19 o 1517550312371 59.10/59.19 o 1509441825642 59.10/59.19 o 1493228888265 59.10/59.19 o 1485120401536 59.10/59.19 o 1485116365455 59.10/59.19 o 1477007878726 59.10/59.19 o 1477003842645 59.10/59.19 o 1476999806564 59.10/59.19 o 1476995770483 59.10/59.19 o 1468887283754 59.10/59.19 o 1460778797025 59.10/59.19 o 1452670310296 59.10/59.19 o 1452666274215 59.10/59.19 o 1444557787486 59.10/59.19 o 1436449300757 59.10/59.19 o 1436445264676 59.10/59.19 o 1428336777947 59.10/59.19 o 1420228291218 59.10/59.19 o 1412119804489 59.10/59.19 o 1412115768408 59.10/59.19 o 1412111732327 59.10/59.19 o 1404003245598 59.10/59.19 o 1387790308227 59.10/59.19 o 1387786272146 59.10/59.19 o 1387786272145 59.10/59.19 o 1379677785416 59.10/59.19 o 1371573334768 59.10/59.19 o 1363464848039 59.10/59.19 o 1355356361310 59.10/59.19 o 1347247874581 59.10/59.19 o 1339139387852 59.10/59.19 o 1339139387851 59.10/59.19 o 1331030901122 59.10/59.19 o 1322922414393 59.10/59.19 o 1314813927664 59.10/59.19 o 1314809891583 59.10/59.19 o 1306705440937 59.10/59.19 o 1298596954208 59.10/59.19 o 1298592918127 59.10/59.19 o 1290484431398 59.10/59.19 o 1282375944669 59.10/59.19 o 1274267457940 59.10/59.19 o 1266163007292 59.10/59.19 o 1258058556644 59.10/59.19 o 1249950069916 59.10/59.19 o 1241841583187 59.10/59.19 o 1233733096458 59.10/59.19 o 1225628645811 59.10/59.19 o 1217520159082 59.10/59.19 o 1209411672353 59.10/59.19 o 1209407636272 59.10/59.19 o 1201299149543 59.10/59.19 o 1193186626733 59.10/59.19 o 1185078140004 59.10/59.19 o 1176969653275 59.10/59.19 o 1168865202627 59.10/59.19 o 1168865202626 59.10/59.19 o 1160760751978 59.10/59.19 o 1160756715897 59.10/59.19 o 1152648229168 59.10/59.19 o 1152644193087 59.10/59.19 o 1152640157006 59.10/59.19 o 1152636120925 59.10/59.19 o 1152632084844 59.10/59.19 o 1152628048764 59.10/59.19 o 1152628048763 59.10/59.19 o 1152624012682 59.10/59.19 o 1152619976601 59.10/59.19 o 1144511489873 59.10/59.19 o 1144507453792 59.10/59.19 o 1136398967064 59.10/59.19 o 1128290480335 59.10/59.19 o 1120181993606 59.10/59.19 o 1120177957525 59.10/59.19 o 1120173921444 59.10/59.19 o 1120169885363 59.10/59.19 o 1112061398634 59.10/59.19 o 1103952911905 59.10/59.19 o 1103948875824 59.10/59.19 o 1079623415637 59.10/59.19 o 1071531073234 59.10/59.19 o 1071527037153 59.10/59.19 o 1063422586505 59.10/59.19 o 1055314099777 59.10/59.19 o 1047205613048 59.10/59.19 o 1039097126319 59.10/59.19 o 1030988639590 59.10/59.19 o 1022884188942 59.10/59.19 o 1022880152861 59.10/59.19 o 1022876116784 59.10/59.19 o 1014767630057 59.10/59.19 o 1014767630056 59.10/59.19 o 1014763593975 59.10/59.19 o 1006663179408 59.10/59.19 o 982337719221 59.10/59.19 o 974229232492 59.10/59.19 o 966120745763 59.10/59.19 o 958016295115 59.10/59.19 o 941799321659 59.10/59.19 o 941799321658 59.10/59.19 o 941799321657 59.10/59.19 o 941795285576 59.10/59.19 o 933686798847 59.10/59.19 o 925578312118 59.10/59.19 o 917469825389 59.10/59.19 o 917469825388 59.10/59.19 o 909361338659 59.10/59.19 o 901252851930 59.10/59.19 o 901248815849 59.10/59.19 o 893140329120 59.10/59.19 o 893136293039 59.10/59.19 o 885027806310 59.10/59.19 o 868818905014 59.10/59.19 o 860710418285 59.10/59.19 o 860706382204 59.10/59.19 o 852597895475 59.10/59.19 o 844489408746 59.10/59.19 o 836380922017 59.10/59.19 o 828272435288 59.10/59.19 o 820163948559 59.10/59.19 o 812055461830 59.10/59.19 o 803946975102 59.10/59.19 o 795838488373 59.10/59.19 o 795834452292 59.10/59.19 o 795834452291 59.10/59.19 o 787725965562 59.10/59.19 o 787725965561 59.10/59.19 o 779617478832 59.10/59.19 o 771513028185 59.10/59.19 o 763404541456 59.10/59.19 o 763400505375 59.10/59.19 o 747183531917 59.10/59.19 o 739079081269 59.10/59.19 o 722890360380 59.10/59.19 o 722890360379 59.10/59.19 o 722886324298 59.10/59.19 o 722882288218 59.10/59.19 o 714773801489 59.10/59.19 o 714773801488 59.10/59.19 o 706665314759 59.10/59.19 o 690452377382 59.10/59.19 o 690448341301 59.10/59.19 o 690444305220 59.10/59.19 o 682335818491 59.10/59.19 o 682335818490 59.10/59.19 o 682331782409 59.10/59.19 o 674223295681 59.10/59.19 o 666114808952 59.10/59.19 o 666110772871 59.10/59.19 o 666106736790 59.10/59.19 o 666102700709 59.10/59.19 o 657994213980 59.10/59.19 o 657990177899 59.10/59.19 o 649885727251 59.10/59.19 o 641789348765 59.10/59.19 o 641785312684 59.10/59.19 o 641781276603 59.10/59.19 o 633672789874 59.10/59.19 o 625564303145 59.10/59.19 o 617455816417 59.10/59.19 o 617451780336 120.90/120.92 o 609343293607 120.90/120.92 o 609339257526 120.90/120.92 o 609335221445 120.90/120.92 o 601226734716 120.90/120.92 o 593126320159 120.90/120.92 o 585017833430 120.90/120.92 o 585013797349 120.90/120.92 o 585005725187 120.90/120.92 o 576897238463 120.90/120.92 o 528270534575 120.90/120.92 o 520194336504 120.90/120.92 o 520190300423 120.90/120.92 o 520186264342 120.90/120.92 o 512077777615 120.90/120.92 o 512073741534 120.90/120.92 o 512069705453 120.90/120.92 o 512065669372 120.90/120.92 o 512061633291 120.90/120.92 o 512053561129 120.90/120.92 o 503949110481 120.90/120.92 o 503949110480 120.90/120.92 o 496034355676 120.90/120.92 o 496030319596 120.90/120.92 o 487921832870 120.90/120.92 o 479813346142 120.90/120.92 o 471704859432 120.90/120.92 o 463600408784 120.90/120.92 o 455495958136 120.90/120.92 o 447387471408 120.90/120.92 o 447383435327 120.90/120.92 o 439278984679 120.90/120.92 o 431178570113 120.90/120.92 o 414961596656 120.90/120.92 o 406853109928 120.90/120.92 o 406849073847 120.90/120.92 o 406845037767 120.90/120.92 o 406841001686 120.90/120.92 o 398732514957 120.90/120.92 o 390628064309 120.90/120.92 o 390624028228 120.90/120.92 o 382527649742 120.90/120.92 o 382523613661 120.90/120.92 o 382523613660 120.90/120.92 o 374415126931 120.90/120.92 o 366306640202 120.90/120.92 o 366298568040 120.90/120.92 o 358194117392 120.90/120.92 o 358153756588 120.90/120.92 o 341936783130 120.90/120.92 o 333832332482 120.90/120.92 o 325727881834 120.90/120.92 o 325723845753 120.90/120.92 o 317619395105 120.90/120.92 o 309518980538 120.90/120.92 o 301410493810 120.90/120.92 o 293306043162 120.90/120.92 o 293302007082 120.90/120.92 o 293302007081 120.90/120.92 o 285221772918 120.90/120.92 o 285217736837 120.90/120.92 o 285213700757 120.90/120.92 o 285209664676 120.90/120.92 o 285209664674 120.90/120.92 o 285205628595 120.90/120.92 o 285205628594 120.90/120.92 o 285201592513 120.90/120.92 o 285197556432 120.90/120.92 o 269117809712 120.90/120.92 o 269113773632 120.90/120.92 o 269109737552 120.90/120.92 o 269105701471 120.90/120.92 o 269101665391 120.90/120.92 o 269097629310 120.90/120.92 o 269093593230 120.90/120.92 o 269093593229 120.90/120.92 o 269089557150 120.90/120.92 o 269085521070 120.90/120.92 o 269081484990 120.90/120.92 o 269081484989 120.90/120.92 o 269077448909 120.90/120.92 o 269073412829 120.90/120.92 o 269069376749 120.90/120.92 o 269065340669 120.90/120.92 o 269061304589 120.90/120.92 o 269057268508 120.90/120.92 o 269057268507 120.90/120.92 o 269053232427 120.90/120.92 o 269049196348 120.90/120.92 o 269049196347 120.90/120.92 o 269045160267 120.90/120.92 o 269041124188 120.90/120.92 o 269037088109 120.90/120.92 o 269037088108 120.90/120.92 o 269033052029 120.90/120.92 o 269033052028 120.90/120.92 o 269029015948 120.90/120.92 o 269024979867 120.90/120.92 o 269020943787 120.90/120.92 o 269020943786 120.90/120.92 o 269016907704 120.90/120.92 o 269016907703 120.90/120.92 o 269008835541 120.90/120.92 o 269004799460 120.90/120.92 o 269004799459 120.90/120.92 o 260900348809 120.90/120.92 o 260896312730 120.90/120.92 o 252787826001 120.90/120.92 o 244679339272 120.90/120.92 o 244679339269 120.90/120.92 o 236578924702 120.90/120.92 o 236574888624 120.90/120.92 o 236558744300 120.90/120.92 o 236550672138 120.90/120.92 o 236542599976 120.90/120.92 o 236538563895 120.90/120.92 o 236534527814 120.90/120.92 o 236530491733 120.90/120.92 o 236530491732 120.90/120.92 o 220313518274 120.90/120.92 o 212229248035 120.90/120.92 o 204124797387 120.90/120.92 o 196024382819 120.90/120.92 o 196020346738 120.90/120.92 o 196016310657 120.90/120.92 o 196016310656 120.90/120.92 o 187911860008 120.90/120.92 o 179803373279 120.90/120.92 o 179799337198 120.90/120.92 o 179795301115 120.90/120.92 o 171686814386 120.90/120.92 o 163671157506 120.90/120.92 o 163667121427 120.90/120.92 o 163663085347 120.90/120.92 o 163659049268 120.90/120.92 o 163655013189 120.90/120.92 o 163650977108 120.90/120.92 o 163646941028 120.90/120.92 o 163638868868 120.90/120.92 o 163638868866 120.90/120.92 o 163634832787 120.90/120.92 o 163630796707 120.90/120.92 o 163630796705 120.90/120.92 o 163626760626 120.90/120.92 o 163626760625 120.90/120.92 o 163622724545 120.90/120.92 o 163618688464 120.90/120.92 o 163618688463 120.90/120.92 o 163614652383 120.90/120.92 o 163614652382 120.90/120.92 o 163610616302 120.90/120.92 o 163606580222 120.90/120.92 o 163602544141 120.90/120.92 o 163598508063 120.90/120.92 o 163598508062 120.90/120.92 o 163598508061 120.90/120.92 o 163598508060 120.90/120.92 o 163594471982 120.90/120.92 o 163594471981 120.90/120.92 o 163590435900 120.90/120.92 o 163590435899 120.90/120.92 o 163586399819 120.90/120.92 o 163582363739 120.90/120.92 o 163582363738 120.90/120.92 o 163578327656 120.90/120.92 o 163578327655 120.90/120.92 o 163574291575 120.90/120.92 o 163574291574 120.90/120.92 o 163574291573 120.90/120.92 o 155485985250 120.90/120.92 o 155481949169 120.90/120.92 o 155481949167 120.90/120.92 o 155477913088 120.90/120.92 o 155473877009 120.90/120.92 o 155473877008 120.90/120.92 o 155469840927 120.90/120.92 o 155465804846 120.90/120.92 o 155465804845 120.90/120.92 o 155461768765 120.90/120.92 o 155457732684 120.90/120.92 o 155453696604 120.90/120.92 o 155453696603 120.90/120.92 o 155453696602 120.90/120.92 o 155449660522 120.90/120.92 o 155449660521 120.90/120.92 o 155449660520 120.90/120.92 o 155445624440 120.90/120.92 o 155441588359 120.90/120.92 o 155437552278 120.90/120.92 o 155433516198 120.90/120.92 o 155429480117 120.90/120.92 o 155425444038 120.90/120.92 o 147316957310 120.90/120.92 o 147312921229 120.90/120.92 o 147308885148 120.90/120.92 o 147304849067 120.90/120.92 o 147300812986 120.90/120.92 o 147300812984 120.90/120.92 o 147300812983 120.90/120.92 o 147296776905 120.90/120.92 o 147296776904 120.90/120.92 o 147292740824 120.90/120.92 o 147292740823 120.90/120.92 o 147288704743 120.90/120.92 o 147288704742 120.90/120.92 o 147284668662 120.90/120.92 o 147284668661 120.90/120.92 o 147280632581 120.90/120.92 o 147280632580 120.90/120.92 o 147276596500 120.90/120.92 o 147276596499 120.90/120.92 o 147272560419 120.90/120.92 o 147272560418 120.90/120.92 o 147268524338 120.90/120.92 o 147264488257 120.90/120.92 o 147260452176 120.90/120.92 o 147260452175 120.90/120.92 o 147256416095 120.90/120.92 o 147256416094 120.90/120.92 o 147252380014 120.90/120.92 o 147252380013 120.90/120.92 o 147248343933 120.90/120.92 o 147248343932 120.90/120.92 o 147244307852 120.90/120.92 o 147244307851 120.90/120.92 o 147240271771 120.90/120.92 o 147236235690 120.90/120.92 o 147232199609 120.90/120.92 o 147232199608 120.90/120.92 o 147228163528 120.90/120.92 o 147228163527 120.90/120.92 o 147228163526 120.90/120.92 o 147228163525 120.90/120.92 o 147224127447 120.90/120.92 o 139115640719 120.90/120.92 o 139111604638 120.90/120.92 o 139111604634 120.90/120.92 o 139111604633 120.90/120.92 o 139107568553 120.90/120.92 o 139107568551 120.90/120.92 o 139107568550 120.90/120.92 o 139103532475 120.90/120.92 o 139099496394 120.90/120.92 o 139099496393 120.90/120.92 o 130995045744 120.90/120.92 o 130991009663 120.90/120.92 o 130986973583 120.90/120.92 o 130986973582 120.90/120.92 o 130982937501 120.90/120.92 o 130982937500 120.90/120.92 o 122886559015 120.90/120.92 o 122882522934 120.90/120.92 o 122878486855 120.90/120.92 o 122878486854 120.90/120.92 o 122878486853 120.90/120.92 o 122874450775 120.90/120.92 o 122874450774 120.90/120.92 o 122874450773 120.90/120.92 o 122870414694 120.90/120.92 o 122870414693 120.90/120.92 o 122870414692 120.90/120.92 o 114770000127 120.90/120.92 o 114761927965 120.90/120.92 o 114761927964 120.90/120.92 o 106681693806 120.90/120.92 o 106681693805 120.90/120.92 o 106681693804 120.90/120.92 o 106681693803 120.90/120.92 o 106681693802 120.90/120.92 o 106677657722 120.90/120.92 o 106677657721 120.90/120.92 o 106673621640 120.90/120.92 o 106669585559 120.90/120.92 o 106665549478 247.40/247.41 o 106661513398 247.40/247.41 o 106661513397 247.40/247.41 o 106657477316 247.40/247.41 o 106657477315 247.40/247.41 o 106653441234 247.40/247.41 o 106649405153 247.40/247.41 o 106649405152 247.40/247.41 o 106645369072 247.40/247.41 o 106645369071 247.40/247.41 o 106645369070 247.40/247.41 o 106645369069 247.40/247.41 o 106641332993 247.40/247.41 o 106641332992 247.40/247.41 o 106641332991 247.40/247.41 o 106641332990 247.40/247.41 o 106641332989 247.40/247.41 o 106637296912 247.40/247.41 o 106637296911 247.40/247.41 o 106637296910 247.40/247.41 o 106633260831 247.40/247.41 o 106633260830 247.40/247.41 o 106633260829 247.40/247.41 o 106633260828 247.40/247.41 o 106629224749 247.40/247.41 o 106629224748 247.40/247.41 o 106629224747 247.40/247.41 o 106629224746 247.40/247.41 o 106625188666 247.40/247.41 o 106625188665 247.40/247.41 o 106621152587 247.40/247.41 o 106621152586 247.40/247.41 o 106617116506 247.40/247.41 o 106617116505 247.40/247.41 o 106613080424 247.40/247.41 o 106613080423 247.40/247.41 o 106609044344 247.40/247.41 o 106609044343 247.40/247.41 o 106605008262 247.40/247.41 o 106596936099 247.40/247.41 o 106596936098 247.40/247.41 o 106596936097 247.40/247.41 o 106592900020 247.40/247.41 o 106592900019 247.40/247.41 o 106592900018 247.40/247.41 o 106588863936 247.40/247.41 o 106588863935 247.40/247.41 o 106588863934 247.40/247.41 o 106584827856 247.40/247.41 o 106584827855 247.40/247.41 o 106580791776 247.40/247.41 o 106580791775 247.40/247.41 o 106580791774 247.40/247.41 o 106576755695 247.40/247.41 o 106576755694 247.40/247.41 o 106576755693 247.40/247.41 o 106576755692 247.40/247.41 o 106576755691 247.40/247.41 o 106572719614 247.40/247.41 o 106572719613 247.40/247.41 o 106572719612 247.40/247.41 o 106572719611 247.40/247.41 o 106568683530 247.40/247.41 o 106560611369 247.40/247.41 o 106560611368 247.40/247.41 o 106560611367 247.40/247.41 o 106556575291 247.40/247.41 o 106556575290 247.40/247.41 o 106556575289 247.40/247.41 o 106556575288 247.40/247.41 o 106556575287 247.40/247.41 o 106552539226 247.40/247.41 o 106552539225 247.40/247.41 o 106552539224 247.40/247.41 o 106552539223 247.40/247.41 o 106552539222 247.40/247.41 o 106552539221 247.40/247.41 o 106552539220 247.40/247.41 o 106552539219 247.40/247.41 o 106552539218 247.40/247.41 o 106552539217 247.40/247.41 o 106552539216 247.40/247.41 o 106552539215 247.40/247.41 o 106552539214 247.40/247.41 o 106552539213 247.40/247.41 o 106552539212 247.40/247.41 o 106552539211 247.40/247.41 o 106552539210 247.40/247.41 o 106552539209 247.40/247.41 o 106548503151 247.40/247.41 o 106548503150 247.40/247.41 o 106548503149 247.40/247.41 o 106548503148 247.40/247.41 o 106548503147 247.40/247.41 o 106548503146 247.40/247.41 o 106548503145 247.40/247.41 o 106548503144 247.40/247.41 o 106548503143 247.40/247.41 o 106548503142 247.40/247.41 o 106548503141 247.40/247.41 o 106548503140 247.40/247.41 o 106548503139 247.40/247.41 o 106548503138 247.40/247.41 o 106548503137 247.40/247.41 o 106548503136 247.40/247.41 o 106548503135 247.40/247.41 o 106548503134 247.40/247.41 o 106548503133 247.40/247.41 o 106548503132 247.40/247.41 o 106548503131 247.40/247.41 o 106548503130 247.40/247.41 o 106544467051 247.40/247.41 o 106544467050 247.40/247.41 o 106540430972 247.40/247.41 o 106540430971 247.40/247.41 o 106540430970 247.40/247.41 o 98440016405 247.40/247.41 o 98440016404 247.40/247.41 o 98440016403 247.40/247.41 o 98440016402 247.40/247.41 o 98435980322 247.40/247.41 o 98431944243 247.40/247.41 o 98431944242 247.40/247.41 o 98431944241 247.40/247.41 o 90331529681 247.40/247.41 o 90331529680 247.40/247.41 o 90331529679 247.40/247.41 o 90331529678 247.40/247.41 o 90331529677 247.40/247.41 o 90331529676 247.40/247.41 o 90327493597 247.40/247.41 o 90327493596 247.40/247.41 o 90327493595 247.40/247.41 o 90327493594 247.40/247.41 o 90327493593 247.40/247.41 o 90327493592 247.40/247.41 o 90323457512 247.40/247.41 o 74122628376 247.40/247.41 o 74118592295 247.40/247.41 o 74114556214 247.40/247.41 o 74110520134 247.40/247.41 o 74110520133 247.40/247.41 o 74110520132 247.40/247.41 o 74106484052 247.40/247.41 o 74106484051 247.40/247.41 o 74106484050 247.40/247.41 o 74102447968 247.40/247.41 o 74102447967 247.40/247.41 o 74098411889 247.40/247.41 o 74090339726 247.40/247.41 o 74086303648 247.40/247.41 o 74086303647 247.40/247.41 o 74086303646 247.40/247.41 o 74086303645 247.40/247.41 o 74086303644 247.40/247.41 o 74078231483 247.40/247.41 o 74078231482 247.40/247.41 o 74078231481 247.40/247.41 o 74074195402 247.40/247.41 o 74074195401 247.40/247.41 o 74070159321 247.40/247.41 o 74070159320 247.40/247.41 o 74066123241 247.40/247.41 o 74066123240 247.40/247.41 o 74066123239 247.40/247.41 o 74066123238 247.40/247.41 o 74066123237 247.40/247.41 o 74062087159 247.40/247.41 o 74062087158 247.40/247.41 o 74062087157 247.40/247.41 o 74062087156 247.40/247.41 o 74058051078 247.40/247.41 o 74058051077 247.40/247.41 o 74054015000 247.40/247.41 o 74054014999 247.40/247.41 o 74054014998 247.40/247.41 o 74054014997 247.40/247.41 o 74049978919 247.40/247.41 o 74049978918 247.40/247.41 o 74049978917 247.40/247.41 o 74049978916 247.40/247.41 o 74049978915 247.40/247.41 o 74045942840 247.40/247.41 o 74045942839 247.40/247.41 o 74045942838 247.40/247.41 o 74045942837 247.40/247.41 o 74045942836 247.40/247.41 o 74045942835 247.40/247.41 o 74045942834 247.40/247.41 o 74041906754 247.40/247.41 o 74041906753 247.40/247.41 o 74037870673 247.40/247.41 o 74037870672 247.40/247.41 o 74037870671 247.40/247.41 o 74033834594 247.40/247.41 o 74033834593 247.40/247.41 o 74033834592 247.40/247.41 o 74033834591 247.40/247.41 o 74029798512 247.40/247.41 o 74029798511 247.40/247.41 o 74029798510 247.40/247.41 o 74029798509 247.40/247.41 o 74025762429 247.40/247.41 o 74025762428 247.40/247.41 o 74021726351 247.40/247.41 o 74021726350 247.40/247.41 o 74021726349 247.40/247.41 o 74021726348 247.40/247.41 o 74017690267 247.40/247.41 o 74017690265 247.40/247.41 o 74017690264 247.40/247.41 o 74013654185 247.40/247.41 o 74009618106 247.40/247.41 o 74009618105 247.40/247.41 o 74005582025 247.40/247.41 o 74005582024 247.40/247.41 o 74001545951 247.40/247.41 o 74001545949 247.40/247.41 o 74001545948 247.40/247.41 o 74001545947 247.40/247.41 o 74001545946 247.40/247.41 o 74001545945 247.40/247.41 o 74001545944 247.40/247.41 o 74001545943 247.40/247.41 o 73997509865 247.40/247.41 o 73997509864 247.40/247.41 o 73997509863 247.40/247.41 o 73997509862 247.40/247.41 o 73993473782 247.40/247.41 o 73989437706 247.40/247.41 o 73989437705 247.40/247.41 o 73989437704 247.40/247.41 o 73989437703 247.40/247.41 o 73989437702 247.40/247.41 o 73989437701 247.40/247.41 o 73985401623 247.40/247.41 o 73985401622 247.40/247.41 o 73985401621 247.40/247.41 o 73985401620 247.40/247.41 o 73981365542 247.40/247.41 o 73981365541 247.40/247.41 o 73981365540 247.40/247.41 o 73981365539 247.40/247.41 o 73981365538 247.40/247.41 o 73977329457 247.40/247.41 o 73973293380 247.40/247.41 o 73973293379 247.40/247.41 o 73973293378 247.40/247.41 o 73973293377 247.40/247.41 o 73973293376 247.40/247.41 o 73969257298 247.40/247.41 o 73969257297 247.40/247.41 o 73969257296 247.40/247.41 o 73965221220 247.40/247.41 o 73965221219 247.40/247.41 o 73965221218 247.40/247.41 o 73965221217 247.40/247.41 o 73965221216 247.40/247.41 o 73965221215 247.40/247.41 o 73961185141 247.40/247.41 o 73961185140 247.40/247.41 o 73961185139 247.40/247.41 o 73961185138 247.40/247.41 o 73961185137 247.40/247.41 o 73961185136 247.40/247.41 o 73961185135 247.40/247.41 o 73961185134 247.40/247.41 o 73961185133 247.40/247.41 o 73957149053 247.40/247.41 o 73953112976 247.40/247.41 o 73953112975 247.40/247.41 o 73953112974 247.40/247.41 o 73953112973 247.40/247.41 o 73953112972 247.40/247.41 o 73949076895 247.40/247.41 o 73949076894 247.40/247.41 o 73949076893 247.40/247.41 o 73949076892 247.40/247.41 o 73949076891 247.40/247.41 o 73945040811 247.40/247.41 o 73945040810 247.40/247.41 o 73941004732 247.40/247.41 o 73941004731 247.40/247.41 o 73941004730 247.40/247.41 o 73941004729 650.51/650.56 o 73936968653 650.51/650.56 o 73936968652 650.51/650.56 o 73936968651 650.51/650.56 o 73936968650 650.51/650.56 o 73936968649 650.51/650.56 o 73936968648 650.51/650.56 o 73932932569 650.51/650.56 o 73932932568 650.51/650.56 o 73932932567 650.51/650.56 o 73928896486 650.51/650.56 o 73924860408 650.51/650.56 o 73924860407 650.51/650.56 o 73924860406 650.51/650.56 o 73924860405 650.51/650.56 o 73920824329 650.51/650.56 o 73920824328 650.51/650.56 o 73920824327 650.51/650.56 o 73920824326 650.51/650.56 o 73920824325 650.51/650.56 o 73920824324 650.51/650.56 o 73916788244 650.51/650.56 o 73912752166 650.51/650.56 o 73912752165 650.51/650.56 o 73912752164 650.51/650.56 o 73912752163 650.51/650.56 o 73908716086 650.51/650.56 o 73908716085 650.51/650.56 o 73908716084 650.51/650.56 o 73908716083 650.51/650.56 o 73908716082 650.51/650.56 o 73904680006 650.51/650.56 o 73904680005 650.51/650.56 o 73904680004 650.51/650.56 o 73904680003 650.51/650.56 o 73904680002 650.51/650.56 o 73904680001 650.51/650.56 o 73904680000 650.51/650.56 o 73904679999 650.51/650.56 o 73900643920 650.51/650.56 o 73900643919 650.51/650.56 o 73900643918 650.51/650.56 o 73896607844 650.51/650.56 o 73896607843 650.51/650.56 o 73896607842 650.51/650.56 o 73896607841 650.51/650.56 o 73896607840 650.51/650.56 o 73896607839 650.51/650.56 o 73896607838 650.51/650.56 o 73896607837 650.51/650.56 o 73892571762 650.51/650.56 o 73892571761 650.51/650.56 o 73892571760 650.51/650.56 o 73892571759 650.51/650.56 o 73892571758 650.51/650.56 o 73892571757 650.51/650.56 o 73892571756 650.51/650.56 o 73888535676 650.51/650.56 o 73884499597 650.51/650.56 o 73884499596 650.51/650.56 o 73884499595 650.51/650.56 o 73884499594 650.51/650.56 o 73880463514 650.51/650.56 o 73880463513 650.51/650.56 o 73876427435 650.51/650.56 o 73876427434 650.51/650.56 o 73876427433 650.51/650.56 o 73876427432 650.51/650.56 o 73876427431 650.51/650.56 o 73876427430 650.51/650.56 o 73876427429 650.51/650.56 o 73872391348 650.51/650.56 o 73872391347 650.51/650.56 o 73868355268 650.51/650.56 o 73868355267 650.51/650.56 o 73864319190 650.51/650.56 o 73864319189 650.51/650.56 o 73864319188 650.51/650.56 o 73864319187 650.51/650.56 o 73864319186 650.51/650.56 o 73864319185 650.51/650.56 o 73860283108 650.51/650.56 o 73860283107 650.51/650.56 o 73860283106 650.51/650.56 o 73860283105 650.51/650.56 o 73860283104 650.51/650.56 o 73856247028 650.51/650.56 o 73856247027 650.51/650.56 o 73856247026 650.51/650.56 o 73856247025 650.51/650.56 o 73856247024 650.51/650.56 o 73856247023 650.51/650.56 o 73852210943 650.51/650.56 o 73852210942 650.51/650.56 o 73848174864 650.51/650.56 o 73848174863 650.51/650.56 o 73848174862 650.51/650.56 o 73848174861 650.51/650.56 o 73848174860 650.51/650.56 o 73844138781 650.51/650.56 o 73836066625 650.51/650.56 o 73836066624 650.51/650.56 o 73836066623 650.51/650.56 o 73836066622 650.51/650.56 o 73836066621 650.51/650.56 o 73836066620 650.51/650.56 o 73836066619 650.51/650.56 o 73832030543 650.51/650.56 o 73832030542 650.51/650.56 o 73832030541 650.51/650.56 o 73832030540 650.51/650.56 o 73832030539 650.51/650.56 o 73832030538 650.51/650.56 o 73827994461 650.51/650.56 o 73827994460 650.51/650.56 o 73827994459 650.51/650.56 o 73827994458 650.51/650.56 o 73827994457 650.51/650.56 o 73823958379 650.51/650.56 o 73823958378 650.51/650.56 o 73823958377 650.51/650.56 o 73819922299 650.51/650.56 o 73819922298 650.51/650.56 o 73819922297 650.51/650.56 o 73819922296 650.51/650.56 o 73819922295 650.51/650.56 o 73815886218 650.51/650.56 o 73815886217 650.51/650.56 o 73815886216 650.51/650.56 o 73815886215 650.51/650.56 o 73811850136 650.51/650.56 o 73811850135 650.51/650.56 o 73811850134 650.51/650.56 o 73811850133 650.51/650.56 o 73807814053 650.51/650.56 o 73807814052 650.51/650.56 o 73771489317 650.51/650.56 o 73771489316 650.51/650.56 o 73771489315 650.51/650.56 o 73771489314 650.51/650.56 o 73767453241 650.51/650.56 o 73767453240 650.51/650.56 o 73767453239 650.51/650.56 o 73767453238 650.51/650.56 o 73767453237 650.51/650.56 o 73767453236 650.51/650.56 o 73767453235 650.51/650.56 o 73767453234 650.51/650.56 o 73767453233 650.51/650.56 o 73767453232 650.51/650.56 o 65663002588 650.51/650.56 o 65658966508 650.51/650.56 o 65658966507 650.51/650.56 o 65658966506 650.51/650.56 o 65658966505 650.51/650.56 o 65658966504 650.51/650.56 o 65658966503 650.51/650.56 o 65658966502 650.51/650.56 o 65654930426 650.51/650.56 o 65654930423 650.51/650.56 o 65654930422 650.51/650.56 o 65654930421 650.51/650.56 o 65650894349 650.51/650.56 o 65650894345 650.51/650.56 o 65650894344 650.51/650.56 o 65650894343 650.51/650.56 o 65650894342 650.51/650.56 o 65650894341 650.51/650.56 o 65650894340 650.51/650.56 o 65650894339 650.51/650.56 o 65646858262 650.51/650.56 o 65646858261 650.51/650.56 o 65646858260 650.51/650.56 o 65646858259 650.51/650.56 o 65646858258 650.51/650.56 o 57538371534 650.51/650.56 o 57538371533 650.51/650.56 o 57538371532 650.51/650.56 o 57538371531 650.51/650.56 o 57538371530 650.51/650.56 o 57530299368 650.51/650.56 o 57526263288 650.51/650.56 o 57526263287 650.51/650.56 o 57526263286 650.51/650.56 o 57522227206 650.51/650.56 o 57518191132 650.51/650.56 o 57518191131 650.51/650.56 o 57518191130 650.51/650.56 o 57518191129 650.51/650.56 o 57518191128 650.51/650.56 o 57518191127 650.51/650.56 o 57518191126 650.51/650.56 o 57518191125 650.51/650.56 o 57518191124 650.51/650.56 o 57514155047 650.51/650.56 o 57514155046 650.51/650.56 o 57514155045 650.51/650.56 o 57514155044 650.51/650.56 o 57510118970 650.51/650.56 o 57510118969 650.51/650.56 o 57510118968 650.51/650.56 o 57510118967 650.51/650.56 o 57510118966 650.51/650.56 o 57510118965 650.51/650.56 o 57510118964 650.51/650.56 o 57510118963 650.51/650.56 o 57510118962 650.51/650.56 o 57506082884 650.51/650.56 o 57506082883 650.51/650.56 o 57506082882 650.51/650.56 o 57506082881 650.51/650.56 o 57502046800 650.51/650.56 o 57502046799 650.51/650.56 o 57498010719 650.51/650.56 o 57493974638 650.51/650.56 o 57493974637 650.51/650.56 o 57493974636 650.51/650.56 o 57489938559 650.51/650.56 o 57489938558 650.51/650.56 o 57489938557 650.51/650.57 o 57489938556 650.51/650.57 o 57489938555 650.51/650.57 o 57485902474 650.51/650.57 o 57485902473 650.51/650.57 o 57485902472 650.51/650.57 o 57481866394 650.51/650.57 o 57481866393 650.51/650.57 o 57481866392 650.51/650.57 o 57481866391 650.51/650.57 o 57477830312 650.51/650.57 o 57477830311 650.51/650.57 o 57477830310 650.51/650.57 o 57477830309 650.51/650.57 o 57473794233 650.51/650.57 o 57473794232 650.51/650.57 o 57473794231 650.51/650.57 o 57473794230 650.51/650.57 o 57473794229 650.51/650.57 o 57473794228 650.51/650.57 o 57469758151 650.51/650.57 o 57469758150 650.51/650.57 o 57469758149 650.51/650.57 o 57469758148 650.51/650.57 o 57469758147 650.51/650.57 o 57469758146 650.51/650.57 o 57465722066 650.51/650.57 o 57465722065 650.51/650.57 o 57465722064 650.51/650.57 o 57461685988 650.51/650.57 o 57461685987 650.51/650.57 o 57461685986 650.51/650.57 o 57461685985 650.51/650.57 o 57461685984 650.51/650.57 o 57461685983 650.51/650.57 o 57461685982 650.51/650.57 o 57461685981 650.51/650.57 o 57457649900 650.51/650.57 o 57457649899 650.51/650.57 o 57457649898 650.51/650.57 o 57457649897 650.51/650.57 o 57453613818 650.51/650.57 o 57453613817 650.51/650.57 o 57453613816 650.51/650.57 o 57453613815 650.51/650.57 o 57453613814 650.51/650.57 o 57445541653 650.51/650.57 o 57445541652 650.51/650.57 o 57441505573 650.51/650.57 o 57437469492 650.51/650.57 o 57437469491 650.51/650.57 o 57437469490 650.51/650.57 o 57429397329 650.51/650.57 o 57429397328 650.51/650.57 o 57425361250 650.51/650.57 o 57425361249 650.51/650.57 o 57425361248 650.51/650.57 o 57425361247 650.51/650.57 o 57421325185 650.51/650.57 o 57417289105 650.51/650.57 o 57417289104 650.51/650.57 o 57417289102 650.51/650.57 o 57417289101 650.51/650.57 o 57417289100 650.51/650.57 o 57417289099 650.51/650.57 o 57417289098 650.51/650.57 o 57417289097 650.51/650.57 o 57417289096 650.51/650.57 o 57417289095 650.51/650.57 o 57417289094 650.51/650.57 o 57417289093 650.51/650.57 o 57417289092 650.51/650.57 o 57417289091 650.51/650.57 o 57417289090 650.51/650.57 o 57417289089 1201.62/1201.67 o 57413253013 1201.62/1201.67 o 57413253012 1201.62/1201.67 o 57413253011 1201.62/1201.67 o 57413253010 1201.62/1201.67 o 57413253009 1201.62/1201.67 o 57409216927 1201.62/1201.67 o 57405180847 1201.62/1201.67 o 57405180846 1201.62/1201.67 o 57401144765 1201.62/1201.67 o 57401144764 1201.62/1201.67 o 57401144763 1201.62/1201.67 o 57397108684 1201.62/1201.67 o 57397108683 1201.62/1201.67 o 57393072602 1201.62/1201.67 o 57389036521 1201.62/1201.67 o 57389036520 1201.62/1201.67 o 57385000444 1201.62/1201.67 o 57385000443 1201.62/1201.67 o 57385000442 1201.62/1201.67 o 57385000441 1201.62/1201.67 o 57385000440 1201.62/1201.67 o 57380964363 1201.62/1201.67 o 57380964362 1201.62/1201.67 o 57380964361 1201.62/1201.67 o 57380964360 1201.62/1201.67 o 57376928283 1201.62/1201.67 o 57376928282 1201.62/1201.67 o 57376928281 1201.62/1201.67 o 57376928280 1201.62/1201.67 o 57376928279 1201.62/1201.67 o 57376928278 1201.62/1201.67 o 57372892198 1201.62/1201.67 o 57372892197 1201.62/1201.67 o 57372892196 1201.62/1201.67 o 57372892195 1201.62/1201.67 o 57372892194 1201.62/1201.67 o 57368856119 1201.62/1201.67 o 57364820038 1201.62/1201.67 o 57364820037 1201.62/1201.67 o 57364820036 1201.62/1201.67 o 57364820035 1201.62/1201.67 o 57364820034 1201.62/1201.67 o 57364820033 1201.62/1201.67 o 57364820032 1201.62/1201.67 o 57364820031 1201.62/1201.67 o 57364820030 1201.62/1201.67 o 57360783949 1201.62/1201.67 o 57356747868 1201.62/1201.67 o 57356747867 1201.62/1201.67 o 57352711788 1201.62/1201.67 o 57352711787 1201.62/1201.67 o 57352711786 1201.62/1201.67 o 57348675707 1201.62/1201.67 o 57348675706 1201.62/1201.67 o 57344639627 1201.62/1201.67 o 57344639626 1201.62/1201.67 o 57344639625 1201.62/1201.67 o 57344639624 1201.62/1201.67 o 57340603546 1201.62/1201.67 o 57340603545 1201.62/1201.67 o 57340603544 1201.62/1201.67 o 57340603543 1201.62/1201.67 o 57336567463 1201.62/1201.67 o 57332531383 1201.62/1201.67 o 57332531382 1201.62/1201.67 o 57332531381 1201.62/1201.67 o 57328495304 1201.62/1201.67 o 57328495303 1201.62/1201.67 o 57328495302 1201.62/1201.67 o 57328495301 1201.62/1201.67 o 57328495300 1201.62/1201.67 o 57328495299 1201.62/1201.67 o 57328495298 1201.62/1201.67 o 57328495297 1201.62/1201.67 o 57328495296 1201.62/1201.67 o 57328495295 1201.62/1201.67 o 57328495294 1201.62/1201.67 o 57328495293 1201.62/1201.67 o 57328495292 1201.62/1201.67 o 57324459213 1201.62/1201.67 o 57324459212 1201.62/1201.67 o 57320423132 1201.62/1201.67 o 57320423131 1201.62/1201.67 o 57320423130 1201.62/1201.67 o 57316387051 1201.62/1201.67 o 57316387050 1201.62/1201.67 o 57316387049 1201.62/1201.67 o 57312350970 1201.62/1201.67 o 57312350969 1201.62/1201.67 o 57312350968 1201.62/1201.67 o 57308314887 1201.62/1201.67 o 57308314886 1201.62/1201.67 o 57308314885 1201.62/1201.67 o 57292170563 1201.62/1201.67 o 57292170562 1201.62/1201.67 o 57292170561 1201.62/1201.67 o 57292170560 1201.62/1201.67 o 57292170559 1201.62/1201.67 o 57292170558 1201.62/1201.67 o 57292170557 1201.62/1201.67 o 57292170556 1201.62/1201.67 o 57288134475 1201.62/1201.67 o 57284098395 1201.62/1201.67 o 57284098394 1201.62/1201.67 o 57284098393 1201.62/1201.67 o 57280062314 1201.62/1201.67 o 57280062313 1201.62/1201.67 o 57280062312 1201.62/1201.67 o 57276026234 1201.62/1201.67 o 57276026233 1201.62/1201.67 o 57276026232 1201.62/1201.67 o 57276026231 1201.62/1201.67 o 57271990157 1201.62/1201.67 o 57271990156 1201.62/1201.67 o 57271990155 1201.62/1201.67 o 57271990154 1201.62/1201.67 o 57271990153 1201.62/1201.67 o 57271990152 1201.62/1201.67 o 57271990151 1201.62/1201.67 o 57271990150 1201.62/1201.67 o 57271990149 1201.62/1201.67 o 57271990148 1201.62/1201.67 o 57271990147 1201.62/1201.67 o 57267954069 1201.62/1201.67 o 57267954068 1201.62/1201.67 o 57267954067 1201.62/1201.67 o 57259881904 1201.62/1201.67 o 57259881903 1201.62/1201.67 o 57259881902 1201.62/1201.67 o 57259881901 1201.62/1201.67 o 57255845824 1201.62/1201.67 o 57255845823 1201.62/1201.67 o 57255845822 1201.62/1201.67 o 57255845821 1201.62/1201.67 o 57251809743 1201.62/1201.67 o 57251809742 1201.62/1201.67 o 57251809741 1201.62/1201.67 o 57251809740 1201.62/1201.67 o 57247773663 1201.62/1201.67 o 57247773662 1201.62/1201.67 o 57247773661 1201.62/1201.67 o 57247773660 1201.62/1201.67 o 57247773659 1201.62/1201.67 o 57243737582 1201.62/1201.67 o 57243737581 1201.62/1201.67 o 57243737580 1201.62/1201.67 o 57243737579 1201.62/1201.67 o 57239701506 1201.62/1201.67 o 57235665426 1201.62/1201.67 o 57235665425 1201.62/1201.67 o 57227593261 1201.62/1201.67 o 57227593260 1201.62/1201.67 o 57227593259 1201.62/1201.67 o 57227593258 1201.62/1201.67 o 57227593257 1201.62/1201.67 o 57227593256 1201.62/1201.67 o 57227593255 1201.62/1201.67 o 57227593254 1201.62/1201.67 o 57227593253 1201.62/1201.67 o 57227593252 1201.62/1201.67 o 57227593251 1201.62/1201.67 o 57227593250 1201.62/1201.67 o 57227593249 1201.62/1201.67 o 57227593248 1201.62/1201.67 o 57227593247 1201.62/1201.67 o 57227593246 1201.62/1201.67 o 57227593245 1201.62/1201.67 o 57227593244 1201.62/1201.67 o 57227593243 1201.62/1201.67 o 57227593242 1201.62/1201.67 o 57227593241 1201.62/1201.67 o 57227593240 1201.62/1201.67 o 57227593239 1201.62/1201.67 o 57227593238 1201.62/1201.67 o 57227593237 1201.62/1201.67 o 57227593236 1201.62/1201.67 o 57227593235 1201.62/1201.67 o 57227593234 1201.62/1201.67 o 57227593233 1201.62/1201.67 o 57227593232 1201.62/1201.67 o 57227593231 1201.62/1201.67 o 57227593230 1201.62/1201.67 o 57227593229 1201.62/1201.67 o 57223557151 1201.62/1201.67 o 57219521071 1201.62/1201.67 o 57219521070 1201.62/1201.67 o 57219521069 1201.62/1201.67 o 57219521068 1201.62/1201.67 o 57219521067 1201.62/1201.67 o 57219521066 1201.62/1201.67 o 57215484993 1201.62/1201.67 o 57215484992 1201.62/1201.67 o 57211448912 1201.62/1201.67 o 57211448911 1201.62/1201.67 o 57207412838 1201.62/1201.67 o 57207412837 1201.62/1201.67 o 57207412836 1201.62/1201.67 o 57207412835 1201.62/1201.67 o 57207412834 1201.62/1201.67 o 57207412833 1201.62/1201.67 o 57207412832 1201.62/1201.67 o 57207412831 1201.62/1201.67 o 57203376753 1201.62/1201.67 o 57203376752 1201.62/1201.67 o 57199340671 1201.62/1201.67 o 57199340670 1201.62/1201.67 o 57195304624 1201.62/1201.67 o 57195304623 1201.62/1201.67 o 57195304622 1201.62/1201.67 o 57195304621 1201.62/1201.67 o 57195304620 1201.62/1201.67 o 57195304619 1201.62/1201.67 o 57195304618 1201.62/1201.67 o 57195304617 1201.62/1201.67 o 57195304616 1201.62/1201.67 o 57195304615 1201.62/1201.67 o 57195304614 1201.62/1201.67 o 57195304613 1201.62/1201.67 o 57195304612 1201.62/1201.67 o 57195304611 1201.62/1201.67 o 57195304610 1201.62/1201.67 o 57195304609 1201.62/1201.67 o 57195304608 1201.62/1201.67 o 57195304607 1201.62/1201.67 o 57195304606 1201.62/1201.67 o 57195304605 1201.62/1201.67 o 57195304604 1201.62/1201.67 o 57195304603 1201.62/1201.67 o 57195304602 1201.62/1201.67 o 57195304601 1201.62/1201.67 o 57195304600 1201.62/1201.67 o 57195304599 1201.62/1201.67 o 57195304598 1201.62/1201.67 o 57195304597 1201.62/1201.67 o 57195304596 1201.62/1201.67 o 57191268531 1201.62/1201.67 o 57187232450 1201.62/1201.67 o 57187232449 1201.62/1201.67 o 57187232448 1201.62/1201.67 o 57187232447 1201.62/1201.67 o 57187232446 1201.62/1201.67 o 57187232445 1201.62/1201.67 o 57187232444 1201.62/1201.67 o 57187232443 1201.62/1201.67 o 57183196364 1201.62/1201.67 o 57183196363 1201.62/1201.67 o 57183196362 1201.62/1201.67 o 57183196361 1201.62/1201.67 o 57183196360 1201.62/1201.67 o 57183196359 1201.62/1201.67 o 57183196358 1201.62/1201.67 o 57183196357 1201.62/1201.67 o 57183196356 1201.62/1201.67 o 57179160278 1201.62/1201.67 o 57179160277 1201.62/1201.67 o 57179160276 1201.62/1201.67 o 57179160275 1201.62/1201.67 o 57179160274 1201.62/1201.67 o 57179160273 1201.62/1201.67 o 57179160272 1201.62/1201.67 o 57179160271 1201.62/1201.67 o 57179160270 1201.62/1201.67 o 57179160269 1201.62/1201.67 o 57179160268 1201.62/1201.67 o 57179160267 1201.62/1201.67 o 57179160266 1201.62/1201.67 o 57179160265 1201.62/1201.67 o 57179160264 1201.62/1201.67 o 57175124190 1201.62/1201.67 o 57175124189 1201.62/1201.67 o 57175124188 1201.62/1201.67 o 57175124187 1201.62/1201.67 o 57175124186 1201.62/1201.67 o 57175124185 1201.62/1201.67 o 57175124184 1201.62/1201.67 o 57175124183 1201.62/1201.67 o 57175124182 1201.62/1201.67 o 57175124181 1201.62/1201.67 o 57175124180 1201.62/1201.67 o 57175124179 1201.62/1201.67 o 57175124178 1201.62/1201.67 o 57175124177 1201.62/1201.67 o 57175124176 1201.62/1201.67 o 57175124175 1201.62/1201.67 o 57171088111 1201.62/1201.67 o 57171088110 1201.62/1201.67 o 57171088109 1201.62/1201.67 o 57171088108 1201.62/1201.67 o 57171088107 1201.62/1201.67 o 57171088106 1201.62/1201.67 o 57171088104 1201.62/1201.67 o 5717108>>> Terminate signal received 1800.04/1800.00 8103 1800.04/1800.00 o 57171088102 1800.04/1800.00 o 57171088101 1800.04/1800.00 o 57171088100 1800.04/1800.00 o 57171088099 1800.04/1800.00 o 57171088098 1800.04/1800.00 o 57171088097 1800.04/1800.00 o 57171088096 1800.04/1800.00 o 57171088095 1800.04/1800.00 o 57171088094 1800.04/1800.00 o 57171088093 1800.04/1800.00 o 57171088092 1800.04/1800.00 o 57167052024 1800.04/1800.00 o 57167052023 1800.04/1800.00 o 57167052022 1800.04/1800.00 o 57163015946 1800.04/1800.00 o 57163015945 1800.04/1800.00 o 57163015944 1800.04/1800.00 o 57163015943 1800.04/1800.00 o 57163015942 1800.04/1800.00 o 57163015941 1800.04/1800.00 o 57154943806 1800.04/1800.00 o 57154943805 1800.04/1800.00 o 57154943804 1800.04/1800.00 o 57154943803 1800.04/1800.00 o 57154943802 1800.04/1800.00 o 57154943801 1800.04/1800.00 o 57154943800 1800.04/1800.00 o 57154943799 1800.04/1800.00 o 57154943798 1800.04/1800.00 o 57154943797 1800.04/1800.00 o 57154943796 1800.04/1800.00 o 57154943795 1800.04/1800.00 o 57150907718 1800.04/1800.00 o 57150907717 1800.04/1800.00 o 57150907716 1800.04/1800.00 o 57150907715 1800.04/1800.00 o 57150907714 1800.04/1800.00 o 57146871634 1800.04/1800.00 o 57146871633 1800.04/1800.00 o 57146871632 1800.04/1800.00 o 57146871631 1800.04/1800.00 o 57146871630 1800.04/1800.00 o 57146871629 1800.04/1800.00 o 57146871628 1800.04/1800.00 o 57146871627 1800.04/1800.00 o 57146871626 1800.04/1800.00 o 57146871625 1800.04/1800.00 o 57142835554 1800.04/1800.00 o 57142835553 1800.04/1800.00 o 57142835552 1800.04/1800.00 o 57142835551 1800.04/1800.00 o 57142835550 1800.04/1800.00 o 57142835548 1800.04/1800.00 o 57138799468 1800.04/1800.00 o 57134763392 1800.04/1800.00 o 57134763391 1800.04/1800.00 o 57134763390 1800.04/1800.00 o 57134763389 1800.04/1800.00 o 57134763388 1800.04/1800.00 o 57134763387 1800.04/1800.00 o 57134763386 1800.04/1800.00 o 57134763385 1800.04/1800.00 o 57134763384 1800.04/1800.00 o 57134763383 1800.04/1800.00 o 57134763382 1800.04/1800.00 o 57134763381 1800.04/1800.00 o 57134763380 1800.04/1800.00 o 57134763379 1800.04/1800.00 o 57130727302 1800.04/1800.00 o 57122655140 1800.04/1800.00 o 57118619060 1800.04/1800.00 o 57118619059 1800.04/1800.00 o 57118619058 1800.04/1800.00 o 57118619057 1800.04/1800.00 o 57114582975 1800.04/1800.00 o 57110546897 1800.04/1800.00 o 57110546896 1800.04/1800.00 o 57110546895 1800.04/1800.00 o 57106510817 1800.04/1800.00 o 57106510816 1800.04/1800.00 o 57106510815 1800.04/1800.00 o 57106510814 1800.04/1800.00 o 57106510813 1800.04/1800.00 o 57106510812 1800.04/1800.00 o 57106510811 1800.04/1800.00 o 57106510810 1800.04/1800.00 o 57106510809 1800.04/1800.00 o 57106510808 1800.04/1800.00 o 57106510807 1800.04/1800.00 o 57106510806 1800.04/1800.00 o 57106510805 1800.04/1800.00 o 57106510804 1800.04/1800.00 o 57106510803 1800.04/1800.00 o 57106510802 1800.04/1800.00 o 57106510800 1800.04/1800.00 o 57102474721 1800.04/1800.00 o 57102474720 1800.04/1800.00 o 57102474719 1800.04/1800.00 o 57102474718 1800.04/1800.00 o 57102474716 1800.04/1800.00 o 57098438637 1800.04/1800.00 o 57098438636 1800.04/1800.00 o 57098438635 1800.04/1800.00 o 57098438634 1800.04/1800.00 o 57098438633 1800.04/1800.00 o 57098438632 1800.04/1800.00 o 57098438630 1800.04/1800.00 o 57098438629 1800.04/1800.00 o 57098438628 1800.04/1800.00 o 57098438627 1800.04/1800.00 o 57098438626 1800.04/1800.00 o 57098438625 1800.04/1800.00 o 57098438624 1800.04/1800.00 o 57098438623 1800.04/1800.00 o 57098438622 1800.04/1800.00 o 57098438621 1800.04/1800.00 o 57098438620 1800.04/1800.00 o 57098438618 1800.04/1800.00 o 57098438617 1800.04/1800.00 o 57098438616 1800.04/1800.00 o 57098438615 1800.04/1800.00 o 57098438614 1800.04/1800.00 o 57098438613 1800.04/1800.00 o 57098438612 1800.04/1800.00 o 57098438611 1800.04/1800.00 o 57098438610 1800.04/1800.00 o 57098438609 1800.04/1800.00 o 57098438608 1800.04/1800.00 o 57098438607 1800.04/1800.00 o 57098438606 1800.04/1800.00 o 57094402529 1800.04/1800.00 o 57094402528 1800.04/1800.00 o 57094402527 1800.04/1800.00 o 57094402526 1800.04/1800.00 o 57094402525 1800.04/1800.00 o 57094402524 1800.04/1800.00 o 57094402523 1800.04/1800.00 o 57094402522 1800.04/1800.00 o 57090366442 1800.04/1800.00 o 57090366441 1800.04/1800.00 o 57086330362 1800.04/1800.00 o 57086330361 1800.04/1800.00 o 57086330359 1800.04/1800.00 o 57082294283 1800.04/1800.00 o 57082294282 1800.04/1800.00 o 57082294281 1800.04/1800.00 o 57082294280 1800.04/1800.00 o 57082294279 1800.04/1800.00 o 57082294278 1800.04/1800.00 o 57082294277 1800.04/1800.00 o 57082294276 1800.04/1800.00 o 57082294275 1800.04/1800.00 o 57082294274 1800.04/1800.00 o 57082294273 1800.04/1800.00 o 57082294272 1800.04/1800.00 o 57078258190 1800.04/1800.00 o 57078258189 1800.04/1800.00 o 57078258188 1800.04/1800.00 o 57078258187 1800.04/1800.00 o 57078258186 1800.04/1800.00 o 57078258185 1800.04/1800.00 o 57078258184 1800.04/1800.00 o 57078258183 1800.04/1800.00 o 57078258182 1800.04/1800.00 o 57078258181 1800.04/1800.00 o 57078258180 1800.04/1800.00 o 57078258179 1800.04/1800.00 o 57078258178 1800.04/1800.00 o 57078258177 1800.04/1800.00 o 57078258176 1800.04/1800.00 v -x1 x2 -x3 -x4 x5 -x6 -x7 x8 -x9 -x10 x11 -x12 x13 -x14 x15 -x16 -x17 x18 x19 -x20 -x21 x22 x23 -x24 x25 -x26 x27 -x28 -x29 x30 -x31 x32 -x33 -x34 x35 -x36 -x37 x38 x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 x80 -x81 -x82 x83 -x84 -x85 x86 x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 x122 -x123 x124 x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 x133 x134 -x135 -x136 x137 x138 -x139 x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 x154 x155 -x156 -x157 x158 -x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 -x259 x260 -x261 x262 -x263 -x264 -x265 x266 -x267 -x268 x269 x270 -x271 x272 x273 -x274 x275 x276 -x277 -x278 -x279 -x280 x281 -x282 x283 x284 -x285 -x286 x287 -x288 -x289 x290 x291 -x292 x293 -x294 x295 -x296 -x297 -x298 x299 x300 -x301 -x302 x303 -x304 -x305 x306 x307 -x308 -x309 x310 x311 -x312 -x313 -x314 x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 x325 x326 -x327 x328 -x329 -x330 x331 -x332 -x333 x334 x335 -x336 x337 x338 x339 -x340 x341 x342 x343 -x344 -x345 -x346 x347 -x348 x349 -x350 x351 -x352 -x353 x354 -x355 x356 -x357 -x358 x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 x386 x387 x388 x389 x390 x391 -x392 -x393 -x394 -x395 x396 -x397 x398 -x399 -x400 x401 x402 x403 x404 x405 x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 x426 x427 -x428 -x429 -x430 x431 -x432 x433 -x434 -x435 x436 x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 x465 -x466 x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 x479 -x480 -x481 x482 -x483 -x484 x485 -x486 x487 -x488 -x489 -x490 -x491 x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 x502 x503 x504 x505 x506 x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 x524 -x525 x526 -x527 -x528 -x529 -x530 x531 x532 -x533 x534 -x535 -x536 x537 x538 -x539 -x540 x541 x542 -x543 x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 x575 -x576 -x577 x578 -x579 -x580 -x581 x582 -x583 -x584 x585 x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 x600 -x601 -x602 -x603 x604 -x605 x606 -x607 x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 x620 -x621 -x622 x623 x624 -x625 x626 -x627 -x628 x629 x630 -x631 -x632 -x633 x634 x635 -x636 x637 x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 x650 x651 -x652 x653 x654 -x655 x656 x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 x666 -x667 -x668 -x669 x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 x698 -x699 -x700 x701 -x702 -x703 x704 x705 -x706 -x707 -x708 x709 x710 -x711 x712 x713 x714 x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 x753 x754 -x755 x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 x770 x771 -x772 -x773 x774 -x775 -x776 x777 -x778 x779 -x780 -x781 x782 -x783 x784 x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 x793 x794 x795 -x796 x797 -x798 -x799 -x800 -x801 x802 x803 -x804 x805 -x806 -x807 x808 -x809 x810 -x811 -x812 -x813 x814 -x815 x816 x817 -x818 -x819 -x820 -x821 x822 -x823 x824 -x825 x826 x827 -x828 -x829 -x830 x831 -x832 x833 -x834 -x835 x836 -x837 -x838 x839 -x840 x841 x842 -x843 x844 x845 -x846 -x847 x848 -x849 x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 x858 -x859 -x860 x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 x871 -x872 -x873 -x874 -x875 -x876 x877 x878 x879 x880 x881 -x882 x883 -x884 -x885 x886 -x887 -x888 x889 -x890 -x891 -x892 x893 x894 -x895 -x896 -x897 x898 x899 -x900 x901 -x902 -x903 -x904 x905 -x906 x907 -x908 -x909 x910 x911 -x912 -x913 x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 x933 -x934 x935 -x936 x937 -x938 -x939 x940 x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 x950 -x951 x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 x964 x965 x966 x967 -x968 -x969 x970 x971 x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 -x980 -x981 -x982 -x983 -x984 x985 x986 -x987 x988 -x989 x990 -x991 -x992 -x993 -x994 x995 x996 x997 -x998 x999 x1000 -x1001 -x1002 x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 x1014 -x1015 -x1016 x1017 x1018 -x1019 x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 x1035 -x1036 x1037 x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 x1048 x1049 -x1050 -x1051 x1052 -x1053 x1054 x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 x1065 -x1066 x1067 -x1068 -x1069 x1070 x1071 -x1072 -x1073 x1074 x1075 -x1076 x1077 -x1078 -x1079 -x1080 x1081 x1082 -x1083 -x1084 x1085 x1086 -x1087 -x1088 x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 x1106 -x1107 x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 x1187 x1188 -x1189 x1190 -x1191 -x1192 x1193 -x1194 x1195 -x1196 x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 x1206 -x1207 -x1208 -x1209 x1210 x1211 x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 -x1238 -x1239 x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 x1264 -x1265 x1266 -x1267 x1268 x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 -x1285 -x1286 x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 x1298 x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 x1329 -x1330 -x1331 x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 x1355 -x1356 x1357 -x1358 x1359 x1360 -x1361 -x1362 x1363 x1364 -x1365 x1366 -x1367 -x1368 x1369 x1370 -x1371 x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x1390 x1391 x1392 -x1393 -x1394 x1395 x1396 -x1397 -x1398 x1399 -x1400 -x1401 -x1402 -x1403 -x1404 x1405 -x1406 -x1407 x1408 x1409 -x1410 x1411 x1412 x1413 x1414 x1415 x1416 x1417 x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 x1426 -x1427 -x1428 x1429 -x1430 x1431 -x1432 -x1433 -x1434 -x1435 x1436 x1437 -x1438 -x1439 x1440 -x1441 x1442 -x1443 -x1444 -x1445 x1446 x1447 -x1448 -x1449 x1450 -x1451 -x1452 x1453 -x1454 x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 x1463 x1464 -x1465 x1466 x1467 -x1468 x1469 x1470 x1471 -x1472 x1473 x1474 -x1475 x1476 -x1477 x1478 -x1479 -x1480 x1481 -x1482 -x1483 x1484 x1485 -x1486 x1487 -x1488 x1489 -x1490 -x1491 x1492 x1493 x1494 x1495 -x1496 -x1497 -x1498 x1499 -x1500 x1501 x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 x1510 x1511 -x1512 -x1513 -x1514 x1515 x1516 -x1517 x1518 x1519 -x1520 -x1521 -x1522 x1523 -x1524 x1525 -x1526 -x1527 x1528 -x1529 x1530 -x1531 -x1532 -x1533 x1534 -x1535 x1536 -x1537 -x1538 x1539 x1540 x1541 x1542 -x1543 x1544 -x1545 -x1546 x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 x1596 -x1597 -x1598 -x1599 x1600 -x1601 -x1602 -x1603 x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 x1611 -x1612 x1613 -x1614 -x1615 -x1616 x1617 -x1618 x1619 -x1620 x1621 -x1622 -x1623 -x1624 -x1625 x1626 x1627 -x1628 x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 -x1666 -x1667 -x1668 -x1669 x1670 x1671 -x1672 x1673 x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 x1685 x1686 -x1687 x1688 x1689 x1690 -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 x1720 -x1721 x1722 -x1723 -x1724 x1725 x1726 -x1727 -x1728 -x1729 x1730 -x1731 -x1732 -x1733 x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 x1845 -x1846 x1847 x1848 -x1849 x1850 -x1851 x1852 -x1853 x1854 x1855 -x1856 -x1857 x1858 -x1859 x1860 -x1861 -x1862 -x1863 x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 x1880 -x1881 x1882 -x1883 -x1884 x1885 -x1886 -x1887 x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 x1908 -x1909 x1910 -x1911 -x1912 -x1913 x1914 x1915 -x1916 x1917 -x1918 x1919 -x1920 x1921 x1922 -x1923 x1924 x1925 x1926 x1927 -x1928 -x1929 -x1930 x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 x1956 x1957 x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 x1984 -x1985 x1986 -x1987 -x1988 -x1989 -x1990 x1991 x1992 -x1993 x1994 -x1995 x1996 x1997 x1998 x1999 x2000 x2001 x2002 x2003 -x2004 -x2005 x2006 x2007 x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 x2061 -x2062 -x2063 -x2064 -x2065 -x2066 x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 x2098 x2099 x2100 x2101 x2102 x2103 x2104 -x2105 x2106 x2107 -x2108 x2109 x2110 x2111 x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 x2128 -x2129 x2130 -x2131 -x2132 -x2133 x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 x2144 -x2145 x2146 -x2147 -x2148 x2149 x2150 x2151 x2152 x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 x2188 -x2189 x2190 -x2191 x2192 x2193 -x2194 -x2195 x2196 -x2197 x2198 x2199 x2200 x2201 x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 x2212 x2213 -x2214 x2215 -x2216 x2217 -x2218 -x2219 x2220 x2221 -x2222 -x2223 x2224 x2225 -x2226 x2227 -x2228 -x2229 x2230 -x2231 x2232 -x2233 x2234 -x2235 -x2236 x2237 -x2238 x2239 -x2240 x2241 x2242 x2243 -x2244 x2245 -x2246 -x2247 x2248 x2249 -x2250 -x2251 x2252 x2253 -x2254 x2255 x2256 -x2257 x2258 -x2259 x2260 -x2261 -x2262 x2263 x2264 -x2265 -x2266 -x2267 -x2268 x2269 -x2270 -x2271 -x2272 x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2283 -x2284 x2285 -x2286 x2287 -x2288 -x2289 x2290 x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299 -x2300 x2301 x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 -x2331 -x2332 x2333 -x2334 -x2335 x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 x2352 x2353 -x2354 x2355 x2356 -x2357 x2358 -x2359 -x2360 x2361 -x2362 x2363 x2364 -x2365 x2366 -x2367 x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 x2385 x2386 -x2387 x2388 -x2389 x2390 -x2391 -x2392 x2393 -x2394 x2395 x2396 x2397 x2398 x2399 -x2400 x2401 -x2402 -x2403 -x2404 -x2405 x2406 x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 x2424 -x2425 x2426 x2427 -x2428 x2429 -x2430 -x2431 -x2432 -x2433 x2434 x2435 -x2436 -x2437 -x2438 x2439 -x2440 x2441 x2442 -x2443 x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 x2454 -x2455 x2456 -x2457 -x2458 -x2459 x2460 -x2461 x2462 -x2463 x2464 x2465 x2466 -x2467 x2468 -x2469 x2470 x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 x2486 -x2487 x2488 x2489 -x2490 x2491 -x2492 -x2493 x2494 x2495 x2496 x2497 -x2498 -x2499 x2500 -x2501 x2502 -x2503 x2504 -x2505 x2506 -x2507 -x2508 x2509 x2510 -x2511 x2512 -x2513 x2514 -x2515 -x2516 x2517 -x2518 -x2519 -x2520 x2521 -x2522 x2523 -x2524 x2525 -x2526 x2527 x2528 -x2529 x2530 x2531 -x2532 -x2533 x2534 -x2535 -x2536 x2537 -x2538 -x2539 x2540 -x2541 x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 x2555 x2556 x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 -x2565 -x2566 x2567 -x2568 x2569 -x2570 -x2571 -x2572 -x2573 -x2574 x2575 -x2576 x2577 -x2578 x2579 x2580 -x2581 x2582 x2583 -x2584 x2585 -x2586 -x2587 x2588 -x2589 x2590 -x2591 -x2592 x2593 -x2594 x2595 -x2596 x2597 x2598 -x2599 x2600 x2601 -x2602 x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 x2614 -x2615 x2616 x2617 x2618 -x2619 -x2620 x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 x2638 x2639 -x2640 -x2641 x2642 -x2643 -x2644 x2645 -x2646 x2647 -x2648 x2649 x2650 x2651 -x2652 -x2653 -x2654 x2655 x2656 -x2657 x2658 -x2659 -x2660 x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 x2673 -x2674 -x2675 -x2676 x2677 x2678 -x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 x2699 -x2700 -x2701 x2702 -x2703 -x2704 -x2705 -x2706 x2707 -x2708 x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 x2740 x2741 x2742 x2743 x2744 x2745 x2746 x2747 x2748 x2749 x2750 x2751 x2752 x2753 x2754 x2755 x2756 x2757 x2758 -x2759 x2760 -x2761 -x2762 -x2763 x2764 x2765 -x2766 -x2767 -x2768 x2769 -x2770 x2771 -x2772 -x2773 x2774 -x2775 x2776 -x2777 x2778 -x2779 x2780 -x2781 x2782 x2783 -x2784 -x2785 x2786 x2787 x2788 x2789 x2790 x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 x2802 -x2803 -x2804 -x2805 -x2806 -x2807 x2808 -x2809 x2810 -x2811 x2812 -x2813 -x2814 -x2815 -x2816 x2817 x2818 -x2819 x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2830 x2831 -x2832 x2833 x2834 -x2835 x2836 -x2837 -x2838 x2839 x2840 -x2841 -x2842 x2843 -x2844 -x2845 x2846 -x2847 -x2848 -x2849 x2850 -x2851 -x2852 x2853 -x2854 -x2855 x2856 -x2857 x2858 -x2859 x2860 -x2861 x2862 x2863 -x2864 -x2865 -x2866 -x2867 -x2868 x2869 -x2870 -x2871 -x2872 x2873 -x2874 -x2875 x2876 x2877 -x2878 x2879 -x2880 x2881 x2882 -x2883 x2884 -x2885 -x2886 x2887 -x2888 x2889 -x2890 x2891 -x2892 x2893 x2894 x2895 x2896 x2897 x2898 x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 x2916 x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 x2925 -x2926 -x2927 x2928 -x2929 -x2930 -x2931 x2932 -x2933 -x2934 -x2935 -x2936 x2937 -x2938 x2939 x2940 -x2941 x2942 -x2943 -x2944 -x2945 x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 x2965 -x2966 -x2967 -x2968 -x2969 x2970 -x2971 -x2972 -x2973 -x2974 x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 x3014 x3015 -x3016 -x3017 -x3018 x3019 -x3020 -x3021 -x3022 x3023 -x3024 x3025 -x3026 -x3027 -x3028 x3029 x3030 -x3031 x3032 -x3033 x3034 x3035 x3036 x3037 -x3038 x3039 -x3040 -x3041 x3042 -x3043 -x3044 x3045 -x3046 -x3047 -x3048 x3049 -x3050 x3051 -x3052 -x3053 x3054 -x3055 -x3056 x3057 x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 x3069 -x3070 x3071 x3072 -x3073 -x3074 -x3075 -x3076 -x3077 x3078 -x3079 x3080 -x3081 -x3082 -x3083 x3084 -x3085 -x3086 -x3087 x3088 x3089 -x3090 -x3091 x3092 x3093 x3094 -x3095 x3096 -x3097 -x3098 -x3099 x3100 x3101 x3102 x3103 x3104 x3105 x3106 -x3107 -x3108 x3109 -x3110 -x3111 x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x3120 x3121 x3122 -x3123 x3124 -x3125 x3126 -x3127 x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 x3137 -x3138 x3139 -x3140 -x3141 x3142 x3143 -x3144 x3145 -x3146 -x3147 x3148 x3149 -x3150 -x3151 x3152 x3153 x3154 -x3155 x3156 x3157 -x3158 x3159 x3160 x3161 x3162 x3163 x3164 x3165 x3166 x3167 x3168 x3169 x3170 x3171 -x3172 x3173 -x3174 -x3175 -x3176 -x3177 x3178 x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 x3186 x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 -x3201 x3202 -x3203 -x3204 x3205 x3206 x3207 -x3208 x3209 -x3210 x3211 -x3212 x3213 -x3214 x3215 -x3216 x3217 -x3218 -x3219 x3220 x3221 -x3222 x3223 x3224 -x3225 -x3226 -x3227 x3228 x3229 x3230 -x3231 x3232 x3233 -x3234 x3235 -x3236 x3237 x3238 -x3239 -x3240 x3241 -x3242 x3243 -x3244 -x3245 -x3246 -x3247 x3248 -x3249 -x3250 -x3251 -x3252 -x3253 x3254 x3255 -x3256 -x3257 -x3258 x3259 x3260 x3261 x3262 -x3263 x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 x3271 -x3272 -x3273 -x3274 x3275 x3276 -x3277 -x3278 x3279 -x3280 -x3281 -x3282 x3283 -x3284 x3285 -x3286 x3287 -x3288 x3289 -x3290 x3291 -x3292 x3293 -x3294 x3295 -x3296 x3297 -x3298 x3299 -x3300 x3301 -x3302 -x3303 x3304 -x3305 x3306 -x3307 x3308 -x3309 x3310 x3311 -x3312 -x3313 x3314 -x3315 x3316 x3317 x3318 -x3319 x3320 -x3321 x3322 x3323 -x3324 x3325 x3326 x3327 -x3328 x3329 -x3330 -x3331 x3332 -x3333 x3334 x3335 x3336 x3337 -x3338 -x3339 x3340 x3341 x3342 -x3343 -x3344 x3345 -x3346 x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 x3360 -x3361 -x3362 -x3363 x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370 -x3371 x3372 x3373 -x3374 -x3375 x3376 -x3377 -x3378 x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 x3406 -x3407 x3408 -x3409 x3410 -x3411 x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 x3419 x3420 -x3421 -x3422 x3423 x3424 -x3425 x3426 -x3427 x3428 -x3429 -x3430 -x3431 x3432 -x3433 -x3434 -x3435 -x3436 -x3437 x3438 -x3439 -x3440 x3441 -x3442 -x3443 -x3444 -x3445 x3446 x3447 -x3448 -x3449 -x3450 x3451 -x3452 -x3453 x3454 -x3455 -x3456 x3457 -x3458 x3459 -x3460 -x3461 -x3462 x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 -x3471 x3472 -x3473 -x3474 x3475 -x3476 x3477 -x3478 x3479 -x3480 -x3481 -x3482 x3483 -x3484 -x3485 -x3486 x3487 x3488 -x3489 -x3490 x3491 -x3492 x3493 -x3494 x3495 -x3496 x3497 -x3498 x3499 -x3500 -x3501 -x3502 x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 x3516 x3517 -x3518 -x3519 -x3520 x3521 x3522 x3523 -x3524 -x3525 -x3526 x3527 x3528 -x3529 -x3530 x3531 x3532 -x3533 x3534 x3535 -x3536 x3537 -x3538 -x3539 x3540 -x3541 -x3542 -x3543 x3544 x3545 x3546 x3547 -x3548 -x3549 -x3550 -x3551 -x3552 x3553 -x3554 -x3555 -x3556 x3557 -x3558 -x3559 x3560 -x3561 -x3562 x3563 -x3564 x3565 -x3566 x3567 -x3568 x3569 -x3570 -x3571 -x3572 x3573 -x3574 -x3575 x3576 -x3577 x3578 -x3579 x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3586 -x3587 x3588 x3589 -x3590 -x3591 -x3592 x3593 -x3594 x3595 -x3596 -x3597 x3598 -x3599 x3600 -x3601 x3602 x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 x3610 -x3611 -x3612 -x3613 x3614 -x3615 -x3616 x3617 -x3618 -x3619 x3620 -x3621 -x3622 -x3623 -x3624 x3625 -x3626 -x3627 -x3628 -x3629 x3630 x3631 -x3632 x3633 -x3634 -x3635 -x3636 x3637 -x3638 x3639 x3640 x3641 x3642 x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 x3651 -x3652 x3653 -x3654 -x3655 -x3656 x3657 x3658 -x3659 -x3660 -x3661 -x3662 x3663 -x3664 -x3665 -x3666 -x3667 -x3668 x3669 -x3670 x3671 -x3672 -x3673 -x3674 -x3675 -x3676 x3677 -x3678 -x3679 -x3680 x3681 -x3682 x3683 -x3684 x3685 -x3686 x3687 x3688 x3689 x3690 -x3691 -x3692 -x3693 x3694 -x3695 x3696 -x3697 x3698 -x3699 x3700 x3701 -x3702 x3703 -x3704 x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 x3715 x3716 -x3717 x3718 -x3719 -x3720 -x3721 -x3722 x3723 -x3724 x3725 x3726 x3727 -x3728 x3729 -x3730 x3731 -x3732 -x3733 -x3734 -x3735 -x3736 x3737 -x3738 x3739 x3740 -x3741 -x3742 x3743 x3744 -x3745 -x3746 x3747 -x3748 x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 x3759 x3760 x3761 -x3762 -x3763 -x3764 x3765 x3766 -x3767 -x3768 -x3769 -x3770 x3771 x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 x3789 -x3790 -x3791 -x3792 -x3793 x3794 -x3795 -x3796 -x3797 x3798 -x3799 x3800 -x3801 -x3802 x3803 x3804 x3805 x3806 -x3807 -x3808 x3809 -x3810 x3811 -x3812 -x3813 -x3814 x3815 -x3816 x3817 -x3818 x3819 -x3820 -x3821 x3822 -x3823 x3824 -x3825 x3826 -x3827 x3828 -x3829 x3830 x3831 x3832 x3833 x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 x4554 -x4555 -x4556 x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 x5022 -x5023 x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 x5190 x5191 -x5192 -x5193 x5194 x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 x5428 x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 x5524 x5525 -x5526 -x5527 x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 x5555 x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 x5637 x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 x5689 x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 x5721 -x5722 x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 x5735 x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 x5763 x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 x5777 x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 x5860 x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 x5956 x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 x6059 x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 x6099 x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 x6197 -x6198 x6199 x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 x6280 x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 x6371 x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 x6384 x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 x6400 x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 x6409 x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 x6421 -x6422 x6423 -x6424 -x6425 -x6426 x6427 x6428 -x6429 -x6430 x6431 x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 x6618 x6619 x6620 x6621 x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 x6726 x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 x6820 x6821 x6822 x6823 -x6824 x6825 x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 x6958 x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 x6973 -x6974 -x6975 -x6976 -x6977 -x6978 x6979 x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 x6990 x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 x7000 x7001 -x7002 x7003 x7004 x7005 x7006 -x7007 x7008 x7009 x7010 x7011 x7012 x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 x7021 -x7022 -x7023 -x7024 x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 x7032 x7033 x7034 x7035 x7036 x7037 -x7038 x7039 x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 x7096 -x7097 -x7098 x7099 -x7100 -x7101 -x7102 -x7103 -x7104 x7105 -x7106 x7107 x7108 -x7109 -x7110 -x7111 -x7112 x7113 -x7114 -x7115 -x7116 -x7117 -x7118 x7119 -x7120 -x7121 x7122 -x7123 -x7124 -x7125 x7126 x7127 x7128 x7129 x7130 -x7131 x7132 -x7133 -x7134 -x7135 x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 x7144 x7145 x7146 x7147 -x7148 -x7149 -x7150 -x7151 x7152 x7153 -x7154 x7155 x7156 -x7157 x7158 x7159 -x7160 -x7161 -x7162 x7163 x7164 x7165 x7166 x7167 x7168 -x7169 x7170 -x7171 -x7172 x7173 -x7174 -x7175 -x7176 x7177 x7178 x7179 -x7180 x7181 x7182 -x7183 -x7184 -x7185 -x7186 x7187 x7188 x7189 x7190 x7191 -x7192 -x7193 -x7194 x7195 -x7196 -x7197 -x7198 -x7199 -x7200 x7201 x7202 -x7203 x7204 -x7205 -x7206 -x7207 -x7208 x7209 x7210 -x7211 x7212 -x7213 -x7214 -x7215 -x7216 -x7217 x7218 x7219 x7220 -x7221 -x7222 -x7223 -x7224 x7225 x7226 x7227 -x7228 -x7229 -x7230 -x7231 x7232 x7233 -x7234 x7235 -x7236 -x7237 -x7238 x7239 x7240 x7241 x7242 -x7243 x7244 x7245 x7246 x7247 x7248 x7249 -x7250 x7251 x7252 x7253 x7254 -x7255 -x7256 x7257 -x7258 -x7259 -x7260 x7261 x7262 -x7263 x7264 -x7265 x7266 -x7267 x7268 x7269 -x7270 -x7271 x7272 x7273 -x7274 x7275 -x7276 x7277 -x7278 x7279 x7280 x7281 -x7282 x7283 x7284 -x7285 x7286 x7287 -x7288 -x7289 -x7290 -x7291 x7292 -x7293 -x7294 -x7295 x7296 -x7297 x7298 x7299 -x7300 x7301 -x7302 x7303 -x7304 x7305 x7306 -x7307 -x7308 -x7309 -x7310 x7311 x7312 -x7313 x7314 -x7315 -x7316 x7317 x7318 -x7319 -x7320 -x7321 x7322 -x7323 -x7324 x7325 x7326 -x7327 x7328 x7329 -x7330 x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 x7340 -x7341 -x7342 x7343 -x7344 x7345 x7346 x7347 x7348 x7349 x7350 x7351 -x7352 x7353 x7354 x7355 x7356 -x7357 x7358 -x7359 -x7360 x7361 -x7362 -x7363 -x7364 x7365 x7366 -x7367 x7368 -x7369 x7370 x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 x7379 x7380 x7381 -x7382 x7383 -x7384 x7385 x7386 -x7387 -x7388 x7389 x7390 x7391 x7392 x7393 -x7394 -x7395 -x7396 x7397 x7398 x7399 x7400 x7401 x7402 x7403 -x7404 -x7405 -x7406 -x7407 x7408 -x7409 x7410 -x7411 -x7412 -x7413 -x7414 x7415 -x7416 -x7417 x7418 x7419 x7420 -x7421 x7422 -x7423 x7424 x7425 x7426 x7427 -x7428 x7429 -x7430 -x7431 -x7432 -x7433 x7434 x7435 x7436 -x7437 x7438 x7439 x7440 -x7441 -x7442 -x7443 x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 x7452 x7453 -x7454 x7455 x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 x7464 x7465 x7466 x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 x7475 x7476 x7477 x7478 x7479 -x7480 x7481 -x7482 -x7483 -x7484 x7485 x7486 x7487 x7488 -x7489 -x7490 -x7491 x7492 x7493 -x7494 -x7495 x7496 x7497 x7498 -x7499 -x7500 -x7501 -x7502 -x7503 x7504 -x7505 -x7506 -x7507 x7508 -x7509 -x7510 -x7511 -x7512 -x7513 x7514 x7515 -x7516 -x7517 x7518 -x7519 x7520 -x7521 -x7522 -x7523 -x7524 x7525 -x7526 -x7527 x7528 -x7529 -x7530 -x7531 x7532 x7533 x7534 x7535 x7536 -x7537 -x7538 x7539 x7540 x7541 x7542 x7543 x7544 x7545 x7546 x7547 x7548 x7549 x7550 x7551 x7552 x7553 x7554 x7555 x7556 x7557 x7558 x7559 x7560 -x7561 -x7562 x7563 -x7564 x7565 -x7566 -x7567 x7568 x7569 x7570 x7571 x7572 x7573 x7574 x7575 x7576 x7577 x7578 x7579 x7580 x7581 x7582 x7583 x7584 x7585 x7586 x7587 x7588 x7589 -x7590 -x7591 x7592 x7593 x7594 -x7595 -x7596 x7597 x7598 x7599 x7600 -x7601 -x7602 x7603 x7604 x7605 x7606 -x7607 x7608 x7609 x7610 x7611 x7612 -x7613 -x7614 -x7615 x7616 x7617 x7618 x7619 -x7620 -x7621 x7622 -x7623 -x7624 -x7625 x7626 x7627 x7628 x7629 x7630 -x7631 -x7632 -x7633 x7634 -x7635 -x7636 x7637 x7638 -x7639 x7640 -x7641 x7642 x7643 -x7644 -x7645 -x7646 x7647 -x7648 -x7649 x7650 -x7651 -x7652 x7653 -x7654 -x7655 x7656 -x7657 x7658 -x7659 x7660 -x7661 x7662 -x7663 x7664 -x7665 -x7666 -x7667 -x7668 x7669 x7670 x7671 x7672 -x7673 x7674 -x7675 x7676 x7677 x7678 x7679 -x7680 x7681 -x7682 x7683 -x7684 -x7685 -x7686 -x7687 -x7688 x7689 -x7690 x7691 -x7692 x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 x7701 x7702 -x7703 x7704 -x7705 -x7706 x7707 -x7708 x7709 x7710 x7711 x7712 x7713 x7714 x7715 -x7716 x7717 -x7718 -x7719 x7720 -x7721 -x7722 x7723 -x7724 x7725 -x7726 -x7727 x7728 x7729 x7730 -x7731 -x7732 x7733 x7734 x7735 -x7736 -x7737 -x7738 x7739 x7740 -x7741 -x7742 -x7743 x7744 -x7745 x7746 -x7747 -x7748 x7749 -x7750 -x7751 -x7752 x7753 -x7754 x7755 -x7756 -x7757 -x7758 -x7759 x7760 -x7761 -x7762 -x7763 x7764 x7765 x7766 x7767 -x7768 -x7769 x7770 -x7771 -x7772 x7773 x7774 x7775 x7776 x7777 -x7778 x7779 -x7780 -x7781 x7782 x7783 -x7784 -x7785 x7786 -x7787 x7788 -x7789 -x7790 -x7791 -x7792 x7793 -x7794 x7795 x7796 -x7797 -x7798 x7799 -x7800 x7801 x7802 -x7803 x7804 -x7805 x7806 -x7807 -x7808 x7809 x7810 -x7811 -x7812 x7813 x7814 x7815 x7816 x7817 x7818 x7819 x7820 -x7821 -x7822 x7823 -x7824 -x7825 -x7826 -x7827 -x7828 x7829 x7830 x7831 -x7832 x7833 x7834 x7835 x7836 -x7837 x7838 -x7839 x7840 -x7841 -x7842 -x7843 x7844 x7845 -x7846 x7847 x7848 x7849 x7850 x7851 x7852 x7853 -x7854 x7855 x7856 x7857 x7858 x7859 -x7860 x7861 -x7862 -x7863 -x7864 x7865 -x7866 x7867 x7868 -x7869 -x7870 x7871 x7872 x7873 x7874 x7875 x7876 x7877 x7878 x7879 x7880 x7881 x7882 x7883 -x7884 -x7885 -x7886 -x7887 -x7888 x7889 -x7890 -x7891 -x7892 x7893 x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 x7902 x7903 -x7904 x7905 -x7906 x7907 x7908 x7909 x7910 x7911 x7912 -x7913 -x7914 -x7915 x7916 x7917 -x7918 -x7919 x7920 x7921 -x7922 x7923 -x7924 -x7925 -x7926 x7927 -x7928 -x7929 -x7930 x7931 x7932 x7933 x7934 x7935 x7936 -x7937 -x7938 -x7939 x7940 -x7941 -x7942 x7943 x7944 x7945 -x7946 x7947 x7948 -x7949 -x7950 -x7951 x7952 -x7953 x7954 x7955 -x7956 x7957 -x7958 -x7959 -x7960 x7961 x7962 x7963 -x7964 -x7965 x7966 -x7967 -x7968 x7969 -x7970 x7971 x7972 x7973 -x7974 -x7975 x7976 x7977 -x7978 x7979 -x7980 x7981 x7982 x7983 x7984 -x7985 x7986 -x7987 -x7988 x7989 x7990 x7991 x7992 -x7993 -x7994 -x7995 -x7996 -x7997 x7998 x7999 x8000 x8001 -x8002 -x8003 x8004 x8005 x8006 x8007 x8008 x8009 x8010 x8011 x8012 x8013 x8014 x8015 x8016 x8017 x8018 x8019 x8020 x8021 x8022 x8023 x8024 x8025 x8026 x8027 x8028 x8029 x8030 x8031 -x8032 -x8033 x8034 x8035 x8036 x8037 x8038 x8039 x8040 x8041 x8042 x8043 -x8044 x8045 -x8046 x8047 x8048 -x8049 x8050 x8051 x8052 x8053 x8054 x8055 x8056 -x8057 x8058 x8059 x8060 x8061 x8062 x8063 x8064 x8065 x8066 x8067 -x8068 x8069 -x8070 x8071 x8072 -x8073 -x8074 x8075 x8076 x8077 x8078 x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 x8087 x8088 -x8089 x8090 x8091 x8092 x8093 -x8094 -x8095 x8096 -x8097 -x8098 -x8099 -x8100 -x8101 x8102 x8103 x8104 -x8105 -x8106 x8107 -x8108 -x8109 -x8110 -x8111 -x8112 x8113 -x8114 -x8115 x8116 -x8117 x8118 -x8119 x8120 -x8121 x8122 x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 x8203 -x8204 -x8205 -x8206 x8207 x8208 x8209 -x8210 x8211 x8212 x8213 -x8214 -x8215 x8216 x8217 x8218 -x8219 -x8220 -x8221 x8222 -x8223 -x8224 x8225 x8226 -x8227 -x8228 -x8229 -x8230 -x8231 x8232 x8233 x8234 x8235 x8236 x8237 x8238 -x8239 -x8240 -x8241 -x8242 x8243 x8244 x8245 x8246 x8247 -x8248 -x8249 x8250 x8251 -x8252 -x8253 x8254 x8255 -x8256 x8257 x8258 -x8259 -x8260 x8261 -x8262 x8263 x8264 x8265 x8266 -x8267 -x8268 -x8269 x8270 x8271 -x8272 -x8273 -x8274 -x8275 -x8276 x8277 -x8278 -x8279 x8280 x8281 x8282 x8283 -x8284 -x8285 -x8286 x8287 -x8288 -x8289 -x8290 -x8291 x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 x8299 x8300 -x8301 x8302 x8303 x8304 x8305 -x8306 x8307 x8308 -x8309 x8310 x8311 -x8312 -x8313 -x8314 x8315 -x8316 x8317 x8318 -x8319 -x8320 -x8321 x8322 x8323 x8324 -x8325 -x8326 x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 x8336 x8337 -x8338 -x8339 x8340 -x8341 -x8342 x8343 x8344 x8345 x8346 x8347 x8348 x8349 x8350 x8351 x8352 x8353 x8354 x8355 -x8356 -x8357 x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 x8371 x8372 -x8373 -x8374 x8375 x8376 x8377 x8378 x8379 -x8380 x8381 -x8382 -x8383 -x8384 x8385 x8386 x8387 x8388 x8389 x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 x8397 -x8398 -x8399 x8400
OK 57078258176
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497989-1307936494/watcher-3497989-1307936494 -o /var/tmp/evaluation-result-3497989-1307936494/solver-3497989-1307936494 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497989-1307936494.opb --verbosity=0 --format=opb --randomseed=2014750368 running on 4 cores: 0,2,4,6 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.04 1.24 1.62 2/174 2735 /proc/meminfo: memFree=3508072/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=7680 CPUtime=0 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 983880051 7864320 314 33554432000 4194304 6957856 140734527433792 18446744073709551615 5312987 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/2735/statm: 1920 314 227 675 0 1236 0 [startup+0.0729369 s] /proc/loadavg: 1.04 1.24 1.62 2/174 2735 /proc/meminfo: memFree=3508072/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=13796 CPUtime=0.07 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 1980 0 0 0 7 0 0 0 23 0 1 0 983880051 14127104 1870 33554432000 4194304 6957856 140734527433792 18446744073709551615 5387648 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/2735/statm: 3449 1871 251 675 0 2765 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 13796 [startup+0.100899 s] /proc/loadavg: 1.04 1.24 1.62 2/174 2735 /proc/meminfo: memFree=3508072/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=15908 CPUtime=0.09 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 2499 0 0 0 9 0 0 0 23 0 1 0 983880051 16289792 2389 33554432000 4194304 6957856 140734527433792 18446744073709551615 5456432 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/2735/statm: 3977 2390 251 675 0 3293 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15908 [startup+0.300866 s] /proc/loadavg: 1.04 1.24 1.62 2/174 2735 /proc/meminfo: memFree=3508072/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=31672 CPUtime=0.29 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 6403 0 0 0 29 0 0 0 25 0 1 0 983880051 32432128 6293 33554432000 4194304 6957856 140734527433792 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/2735/statm: 7918 6294 252 675 0 7234 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31672 [startup+0.700793 s] /proc/loadavg: 1.04 1.24 1.62 2/174 2735 /proc/meminfo: memFree=3508072/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=69492 CPUtime=0.69 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 16231 0 0 0 68 1 0 0 25 0 1 0 983880051 71159808 15764 33554432000 4194304 6957856 140734527433792 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/2735/statm: 17373 15765 267 675 0 16689 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 69492 [startup+1.50076 s] /proc/loadavg: 1.04 1.24 1.62 3/178 2750 /proc/meminfo: memFree=3306112/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=110944 CPUtime=1.49 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 26486 0 0 0 146 3 0 0 25 0 1 0 983880051 113606656 25890 33554432000 4194304 6957856 140734527433792 18446744073709551615 4840214 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/2735/statm: 27736 25890 283 675 0 27052 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 110944 [startup+3.10046 s] /proc/loadavg: 1.04 1.24 1.62 3/178 2750 /proc/meminfo: memFree=3305728/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=110944 CPUtime=3.09 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 26491 0 0 0 306 3 0 0 25 0 1 0 983880051 113606656 25895 33554432000 4194304 6957856 140734527433792 18446744073709551615 5922126 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/2735/statm: 27736 25895 283 675 0 27052 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 110944 [startup+6.30082 s] /proc/loadavg: 1.11 1.25 1.62 3/178 2750 /proc/meminfo: memFree=3304860/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=110948 CPUtime=6.29 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 26625 0 0 0 626 3 0 0 25 0 1 0 983880051 113610752 26027 33554432000 4194304 6957856 140734527433792 18446744073709551615 5932688 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/2735/statm: 27737 26027 286 675 0 27053 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 110948 [startup+12.7006 s] /proc/loadavg: 1.18 1.26 1.62 3/178 2750 /proc/meminfo: memFree=3302544/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=111916 CPUtime=12.69 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 26905 0 0 0 1266 3 0 0 25 0 1 0 983880051 114601984 26307 33554432000 4194304 6957856 140734527433792 18446744073709551615 5918075 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/2735/statm: 27979 26307 286 675 0 27295 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 111916 [startup+25.5003 s] /proc/loadavg: 1.36 1.30 1.63 3/178 2751 /proc/meminfo: memFree=3299484/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=113752 CPUtime=25.49 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 27444 0 0 0 2546 3 0 0 25 0 1 0 983880051 116482048 26844 33554432000 4194304 6957856 140734527433792 18446744073709551615 5922039 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/2735/statm: 28438 26844 286 675 0 27754 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 113752 [startup+51.1007 s] /proc/loadavg: 1.58 1.35 1.64 3/178 2751 /proc/meminfo: memFree=3291272/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=117232 CPUtime=51.1 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 28458 0 0 0 5106 4 0 0 25 0 1 0 983880051 120045568 27858 33554432000 4194304 6957856 140734527433792 18446744073709551615 5313102 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/2735/statm: 29308 27858 286 675 0 28624 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 117232 [startup+102.306 s] /proc/loadavg: 1.82 1.45 1.65 3/178 2753 /proc/meminfo: memFree=3229584/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=138080 CPUtime=102.3 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 41876 0 0 0 10225 5 0 0 25 0 1 0 983880051 141393920 33871 33554432000 4194304 6957856 140734527433792 18446744073709551615 5918124 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/2735/statm: 34520 33871 287 675 0 33836 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 138080 [startup+162.3 s] /proc/loadavg: 1.93 1.55 1.67 3/178 2754 /proc/meminfo: memFree=3190220/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=175612 CPUtime=162.3 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 53416 0 0 0 16223 7 0 0 25 0 1 0 983880051 179826688 40729 33554432000 4194304 6957856 140734527433792 18446744073709551615 5934028 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 43903 40729 287 675 0 43219 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 175612 [startup+222.3 s] /proc/loadavg: 1.97 1.63 1.69 3/178 2756 /proc/meminfo: memFree=3148880/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=175928 CPUtime=222.29 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 56020 0 0 0 22222 7 0 0 25 0 1 0 983880051 180150272 43333 33554432000 4194304 6957856 140734527433792 18446744073709551615 5922216 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 43982 43333 287 675 0 43298 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 175928 [startup+282.3 s] /proc/loadavg: 1.99 1.69 1.70 3/178 2758 /proc/meminfo: memFree=3147216/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=178708 CPUtime=282.29 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 56671 0 0 0 28221 8 0 0 25 0 1 0 983880051 182996992 43983 33554432000 4194304 6957856 140734527433792 18446744073709551615 4632070 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 44677 43983 287 675 0 43993 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 178708 [startup+342.3 s] /proc/loadavg: 1.99 1.75 1.72 3/178 2759 /proc/meminfo: memFree=3139468/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=190312 CPUtime=342.29 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 58166 0 0 0 34221 8 0 0 25 0 1 0 983880051 194879488 45477 33554432000 4194304 6957856 140734527433792 18446744073709551615 5934014 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 47578 45477 287 675 0 46894 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 190312 [startup+402.3 s] /proc/loadavg: 1.99 1.79 1.74 3/178 2761 /proc/meminfo: memFree=3130080/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=190312 CPUtime=402.29 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 72069 0 0 0 40218 11 0 0 25 0 1 0 983880051 194879488 46930 33554432000 4194304 6957856 140734527433792 18446744073709551615 5315745 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 47578 46930 288 675 0 46894 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 190312 [startup+462.3 s] /proc/loadavg: 2.03 1.84 1.75 3/178 2763 /proc/meminfo: memFree=3128404/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=190312 CPUtime=462.3 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 105583 0 0 0 46215 15 0 0 25 0 1 0 983880051 194879488 46930 33554432000 4194304 6957856 140734527433792 18446744073709551615 5918022 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 47578 46930 288 675 0 46894 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 190312 [startup+522.3 s] /proc/loadavg: 2.01 1.87 1.77 3/178 2765 /proc/meminfo: memFree=3109496/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=190312 CPUtime=522.3 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 138555 0 0 0 52209 21 0 0 25 0 1 0 983880051 194879488 46930 33554432000 4194304 6957856 140734527433792 18446744073709551615 5917999 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 47578 46930 288 675 0 46894 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 190312 [startup+582.301 s] /proc/loadavg: 2.08 1.90 1.78 3/178 2767 /proc/meminfo: memFree=3102464/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=190312 CPUtime=582.3 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 168765 0 0 0 58205 25 0 0 25 0 1 0 983880051 194879488 46930 33554432000 4194304 6957856 140734527433792 18446744073709551615 5922026 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 47578 46930 288 675 0 46894 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 190312 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 1.95 1.82 3/178 2773 /proc/meminfo: memFree=3060180/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=251256 CPUtime=822.31 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 320208 0 0 0 82184 47 0 0 25 0 1 0 983880051 257286144 59865 33554432000 4194304 6957856 140734527433792 18446744073709551615 5922145 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 62814 59865 288 675 0 62130 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 251256 [startup+882.301 s] /proc/loadavg: 2.00 1.95 1.83 3/178 2776 /proc/meminfo: memFree=3097424/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=201936 CPUtime=882.31 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 323802 0 0 0 88183 48 0 0 25 0 1 0 983880051 206782464 49836 33554432000 4194304 6957856 140734527433792 18446744073709551615 5315517 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 50484 49836 288 675 0 49800 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 201936 [startup+942.301 s] /proc/loadavg: 2.00 1.96 1.84 3/178 2777 /proc/meminfo: memFree=3097604/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=201936 CPUtime=942.31 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 323802 0 0 0 94183 48 0 0 25 0 1 0 983880051 206782464 49836 33554432000 4194304 6957856 140734527433792 18446744073709551615 4851591 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 50484 49836 288 675 0 49800 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 201936 [startup+1002.3 s] /proc/loadavg: 2.00 1.97 1.84 3/178 2780 /proc/meminfo: memFree=3097412/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=201936 CPUtime=1002.31 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 333562 0 0 0 100182 49 0 0 25 0 1 0 983880051 206782464 49836 33554432000 4194304 6957856 140734527433792 18446744073709551615 5387552 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 50484 49836 288 675 0 49800 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 201936 [startup+1062.3 s] /proc/loadavg: 2.00 1.97 1.85 3/178 2781 /proc/meminfo: memFree=3097216/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=201936 CPUtime=1062.31 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 333562 0 0 0 106182 49 0 0 25 0 1 0 983880051 206782464 49836 33554432000 4194304 6957856 140734527433792 18446744073709551615 5934622 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 50484 49836 288 675 0 49800 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 201936 [startup+1122.3 s] /proc/loadavg: 2.00 1.97 1.85 3/178 2783 /proc/meminfo: memFree=3125064/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=167352 CPUtime=1122.31 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 333610 0 0 0 112182 49 0 0 25 0 1 0 983880051 171368448 41222 33554432000 4194304 6957856 140734527433792 18446744073709551615 5922034 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 41838 41222 288 675 0 41154 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 167352 [startup+1182.3 s] /proc/loadavg: 2.04 1.99 1.86 3/178 2795 /proc/meminfo: memFree=3085660/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=209304 CPUtime=1182.32 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 360545 0 0 0 118178 54 0 0 25 0 1 0 983880051 214327296 50734 33554432000 4194304 6957856 140734527433792 18446744073709551615 5918015 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 52326 50734 288 675 0 51642 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 209304 [startup+1242.3 s] /proc/loadavg: 2.01 1.99 1.87 3/178 2796 /proc/meminfo: memFree=3085360/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=209304 CPUtime=1242.32 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 376940 0 0 0 124177 55 0 0 25 0 1 0 983880051 214327296 50734 33554432000 4194304 6957856 140734527433792 18446744073709551615 4846967 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 52326 50734 288 675 0 51642 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 209304 [startup+1302.3 s] /proc/loadavg: 2.00 1.99 1.88 3/178 2798 /proc/meminfo: memFree=3081696/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=209304 CPUtime=1302.32 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 387086 0 0 0 130176 56 0 0 25 0 1 0 983880051 214327296 51678 33554432000 4194304 6957856 140734527433792 18446744073709551615 5932833 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 52326 51678 288 675 0 51642 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 209304 [startup+1362.3 s] /proc/loadavg: 2.00 1.99 1.88 3/178 2799 /proc/meminfo: memFree=3081644/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=209304 CPUtime=1362.32 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 396615 0 0 0 136174 58 0 0 25 0 1 0 983880051 214327296 51678 33554432000 4194304 6957856 140734527433792 18446744073709551615 5917991 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 52326 51678 288 675 0 51642 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 209304 [startup+1422.31 s] /proc/loadavg: 2.00 1.99 1.89 3/178 2801 /proc/meminfo: memFree=3080340/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=209304 CPUtime=1422.33 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 406414 0 0 0 142174 59 0 0 25 0 1 0 983880051 214327296 51678 33554432000 4194304 6957856 140734527433792 18446744073709551615 5922078 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 52326 51678 288 675 0 51642 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 209304 [startup+1482.3 s] /proc/loadavg: 2.00 1.99 1.89 3/178 2803 /proc/meminfo: memFree=3071112/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=209304 CPUtime=1482.33 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 432208 0 0 0 148170 63 0 0 25 0 1 0 983880051 214327296 51678 33554432000 4194304 6957856 140734527433792 18446744073709551615 5918018 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 52326 51678 288 675 0 51642 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 209304 [startup+1542.3 s] /proc/loadavg: 2.00 1.99 1.90 3/178 2804 /proc/meminfo: memFree=3071164/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=209304 CPUtime=1542.33 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 432208 0 0 0 154170 63 0 0 25 0 1 0 983880051 214327296 51678 33554432000 4194304 6957856 140734527433792 18446744073709551615 5385152 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 52326 51678 288 675 0 51642 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 209304 [startup+1602.3 s] /proc/loadavg: 2.00 1.99 1.91 3/178 2806 /proc/meminfo: memFree=3044312/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=258624 CPUtime=1602.33 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 442405 0 0 0 160169 64 0 0 25 0 1 0 983880051 264830976 61869 33554432000 4194304 6957856 140734527433792 18446744073709551615 5313077 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 64656 61869 288 675 0 63972 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 258624 [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.91 3/178 2807 /proc/meminfo: memFree=3082568/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=209304 CPUtime=1662.33 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 444446 0 0 0 166169 64 0 0 25 0 1 0 983880051 214327296 51678 33554432000 4194304 6957856 140734527433792 18446744073709551615 5922145 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 52326 51678 288 675 0 51642 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 209304 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.91 3/178 2809 /proc/meminfo: memFree=3070720/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=209304 CPUtime=1722.33 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 444446 0 0 0 172169 64 0 0 25 0 1 0 983880051 214327296 51678 33554432000 4194304 6957856 140734527433792 18446744073709551615 5932705 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 52326 51678 288 675 0 51642 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 209304 [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.91 3/178 2811 /proc/meminfo: memFree=3102648/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=185984 CPUtime=1782.34 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 455146 0 0 0 178168 66 0 0 25 0 1 0 983880051 190447616 43968 33554432000 4194304 6957856 140734527433792 18446744073709551615 5934062 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 46496 43968 288 675 0 45812 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 185984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 1.99 1.91 3/178 2811 /proc/meminfo: memFree=3072988/32950928 swapFree=67051812/67111528 [pid=2735] ppid=2733 vsize=216440 CPUtime=1800.04 cores=0,2,4,6 /proc/2735/stat : 2735 (minisatid-gmp) R 2733 2735 728 0 -1 4202496 462430 0 0 0 179936 68 0 0 25 0 1 0 983880051 221634560 51243 33554432000 4194304 6957856 140734527433792 18446744073709551615 5922016 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/2735/statm: 54110 51243 288 675 0 53426 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 216440 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.02 CPU time (s): 1800.07 CPU user time (s): 1799.37 CPU system time (s): 0.693894 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 289444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.37 system time used= 0.693894 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 462434 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= 5 involuntary context switches= 3693 runsolver used 2.6356 second user time and 5.66814 second system time The end
Begin job on node116 at 2011-06-13 05:41:34 IDJOB=3497989 IDBENCH=72365 IDSOLVER=1990 FILE ID=node116/3497989-1307936494 RUNJOBID= node116-1307936494-2717 PBS_JOBID= 13559663 Free space on /var/tmp= 2884 MiB SOLVER NAME= MinisatID 2.5.2-gmp BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.biglist/normalized-randee102b.cudf.trendy.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497989-1307936494/watcher-3497989-1307936494 -o /var/tmp/evaluation-result-3497989-1307936494/solver-3497989-1307936494 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497989-1307936494.opb --verbosity=0 --format=opb --randomseed=2014750368 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f44321f7dd3856af726fb72089a277a8 RANDOM SEED=2014750368 node116.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.826 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.65 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.826 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 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.826 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 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.826 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 3509624 kB Buffers: 95928 kB Cached: 28412256 kB SwapCached: 12824 kB Active: 13672076 kB Inactive: 14859772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 3509624 kB SwapTotal: 67111528 kB SwapFree: 67051812 kB Dirty: 4352 kB Writeback: 0 kB AnonPages: 20700 kB Mapped: 8672 kB Slab: 844860 kB PageTables: 4608 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 191248 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2876 MiB End job on node116 at 2011-06-13 06:11:36