Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (MO) | 5602 | 1495.01 | 1495.51 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb |
MD5SUM | 35ffbede57b8807d38d913370f4c4486 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 419 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 419 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 495618 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 495618 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432862-1177951123/instance-432862-1177951123.opb 0.00/0.00 c File size is 17233679 bytes. 3.09/3.17 c Highest Coefficient sum: 495618 3.09/3.17 c Parsing was ok!! 3.09/3.17 c Total parsing time: 3.17 s 3.39/3.43 c Var: 10000 Constr: 656900 656900/0/0 Lit: 1333400 Watch. Lit: 1313800 3.39/3.43 c Obj. Vars: 10000 (100 % of total variables) 27.08/27.17 c Pre-processing Time: 27.163 s 27.08/27.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.08/27.19 c 0 10000 656900 1333400 2 1313800 218966 0 0 27.16 27.08/27.19 c Switching off LPR mode. 28.48/28.52 c 100 10000 657000 1731890 2 1314000 240863 100 3 27.64 28.48/28.52 c 250 10000 657150 1915856 2 1314300 264950 250 8 27.96 28.48/28.52 c 475 10000 657375 2053000 3 1314750 291446 475 16 28.15 28.48/28.52 c 818 10000 657718 2349027 3 1315436 320591 818 28 28.44 28.48/28.52 o 8093 28.515 28.88/28.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.88/28.96 c 871 10000 657772 2397224 3 1325397 238966 872 30 28.55 28.88/28.96 c 971 10000 657872 2440281 3 1325526 262863 972 33 28.88 28.88/28.96 o 7567 28.95 28.98/29.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.98/29.08 c 976 10000 657878 2451360 3 1335410 238966 978 33 28.98 28.98/29.08 o 7167 29.071 29.18/29.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.18/29.24 c 985 10000 657888 2463603 3 1345237 238966 988 33 29.10 29.18/29.24 o 7151 29.235 30.08/30.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.08/30.18 c 1013 10000 657917 2487197 3 1355142 238966 1017 34 29.27 30.08/30.18 c 1115 10000 658019 2622342 3 1355280 262863 1119 37 29.64 30.08/30.18 o 7131 30.166 30.58/30.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.58/30.67 c 1312 10000 658217 2877530 4 1365537 238966 1317 43 30.20 30.58/30.67 c 1412 10000 658317 3028764 4 1365797 262863 1417 46 30.60 30.58/30.67 o 6847 30.656 30.78/30.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.78/30.81 c 1418 10000 658324 3041475 4 1375514 238966 1424 46 30.69 30.78/30.81 o 6679 30.796 30.78/30.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.78/30.88 c 1428 10000 658335 3054615 4 1385268 238966 1435 46 30.83 30.78/30.88 o 6387 30.863 30.87/30.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.87/30.95 c 1428 10000 658336 3064615 4 1395050 238966 1436 46 30.90 30.87/30.95 o 6365 30.942 56.75/56.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 56.75/56.87 c 1429 10000 658338 3075008 4 1404869 238966 1438 46 30.97 56.75/56.87 c 1530 10000 658439 3141050 4 1405004 262863 1539 48 31.27 56.75/56.87 c 1781 10000 658690 3340087 5 1405541 289150 1790 55 32.08 56.75/56.87 c 2256 10000 659165 3663515 5 1406366 318066 2265 67 33.39 56.75/56.87 c 3070 10000 659979 4167171 6 1407940 349873 3079 85 35.73 56.75/56.87 c 4391 10000 661300 5081660 7 1410512 384861 4400 109 39.96 56.75/56.87 c 6472 10000 663381 6219473 9 1414652 423348 6481 141 45.62 56.75/56.87 c 9695 10000 666604 8094445 12 1421059 465683 9704 173 55.85 56.75/56.87 o 6361 56.832 56.85/56.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 56.85/56.99 c 10088 10000 666998 8300766 12 1431677 238966 10098 177 56.86 56.85/56.99 o 6269 56.957 57.25/57.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.25/57.37 c 10093 10000 667004 8311945 12 1441472 238966 10104 177 56.99 57.25/57.37 o 6268 57.339 57.76/57.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.76/57.83 c 10166 10000 667078 8382261 12 1451392 238966 10178 177 57.37 57.76/57.83 o 6261 57.798 60.05/60.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 60.05/60.18 c 10253 10000 667166 8460895 12 1461446 238966 10266 177 57.83 60.05/60.18 c 10353 10000 667266 8524878 12 1461628 262863 10366 177 58.39 60.05/60.18 c 10603 10000 667516 8863376 13 1462076 289150 10616 177 59.72 60.05/60.18 o 6244 60.14 60.75/60.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 60.75/60.80 c 10692 10000 667606 8976680 13 1471916 238966 10706 177 60.17 60.75/60.80 c 10792 10000 667706 9050764 13 1472137 262863 10806 177 60.66 60.75/60.80 o 6148 60.765 69.35/69.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 69.35/69.43 c 10792 10000 667707 9060764 13 1481807 238966 10807 177 60.80 69.35/69.43 c 10892 10000 667807 9228102 13 1481933 262863 10907 177 61.40 69.35/69.43 c 11143 10000 668058 9460208 14 1482653 289150 11158 177 62.79 69.35/69.43 c 11619 10000 668534 9974660 14 1483477 318066 11634 177 65.49 69.35/69.43 c 12434 10000 669349 10489013 15 1485164 349873 12449 181 68.40 69.35/69.43 o 6139 69.393 71.25/71.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 71.25/71.38 c 12626 10000 669542 10661478 15 1495148 238966 12642 181 69.42 71.25/71.38 c 12727 10000 669643 10737273 16 1495549 262863 12743 181 69.99 71.25/71.38 c 12977 10000 669893 10942499 16 1495926 289150 12993 182 71.23 71.25/71.38 o 6078 71.346 97.25/97.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 97.25/97.34 c 12979 10000 669896 10953375 16 1505455 238966 12996 181 71.38 97.25/97.34 c 13081 10000 669998 11015927 16 1505735 262863 13098 181 71.93 97.25/97.34 c 13332 10000 670249 11226863 16 1506173 289150 13349 181 73.32 97.25/97.34 c 13807 10000 670724 11638804 17 1507194 318066 13824 182 75.77 97.25/97.34 c 14622 10000 671539 12323795 18 1508810 349873 14639 183 79.59 97.25/97.34 c 15942 10000 672859 13243658 19 1511389 384861 15959 186 85.39 97.25/97.34 c 18024 10000 674941 14746914 21 1515529 423348 18041 189 95.19 97.25/97.34 o 6047 97.299 99.24/99.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 99.24/99.31 c 18492 10000 675410 15060681 22 1526142 238966 18510 189 97.33 99.24/99.31 c 18593 10000 675511 15125742 22 1526419 262863 18611 189 97.92 99.24/99.31 c 18843 10000 675761 15290627 22 1526962 289150 18861 190 99.12 99.24/99.31 o 6039 99.266 116.14/116.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 116.14/116.28 c 18844 10000 675763 15302826 22 1536431 238966 18863 189 99.30 116.14/116.28 c 18945 10000 675864 15396749 22 1536753 262863 18964 189 100.14 116.14/116.28 c 19195 10000 676114 15594424 23 1537282 289150 19214 188 101.63 116.14/116.28 c 19670 10000 676589 16050397 23 1538202 318066 19689 187 104.86 116.14/116.28 c 20484 10000 677403 16620236 24 1539833 349873 20503 188 108.51 116.14/116.28 c 21804 10000 678723 17503732 25 1542429 384861 21823 189 115.29 116.14/116.28 o 6025 116.234 116.44/116.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 116.44/116.52 c 21942 10000 678862 17625911 25 1552323 238966 21962 188 116.27 116.44/116.52 o 6015 116.474 117.44/117.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 117.44/117.53 c 21951 10000 678872 17638308 25 1562135 238966 21972 188 116.51 117.44/117.53 c 22052 10000 678973 17707750 26 1562440 262863 22073 188 117.20 117.44/117.53 o 5969 117.478 167.43/167.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 167.43/167.53 c 22070 10000 678992 17729989 26 1572121 238966 22092 187 117.51 167.43/167.53 c 22170 10000 679092 17794794 26 1572575 262863 22192 187 118.17 167.43/167.53 c 22422 10000 679344 17970930 26 1573130 289150 22444 187 119.73 167.43/167.53 c 22897 10000 679819 18463788 27 1573706 318066 22919 186 122.98 167.43/167.53 c 23710 10000 680632 19249479 28 1575382 349873 23732 184 128.30 167.43/167.53 c 25031 10000 681953 20386248 29 1577799 384861 25053 184 135.81 167.43/167.53 c 27112 10000 684034 22411250 32 1582053 423348 27134 180 149.82 167.43/167.53 o 5958 167.468 183.92/184.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 183.92/184.06 c 30220 10000 687143 24389325 35 1597910 238966 30243 180 167.50 183.92/184.06 c 30320 10000 687243 24476763 35 1598201 262863 30343 180 168.35 183.92/184.06 c 30570 10000 687493 24695930 35 1598846 289150 30593 179 170.24 183.92/184.06 c 31047 10000 687970 24974980 36 1599585 318066 31070 179 173.31 183.92/184.06 c 31862 10000 688785 25656107 37 1601251 349873 31885 177 179.51 183.92/184.06 o 5957 183.997 184.22/184.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 184.22/184.34 c 32665 10000 689589 26171425 37 1612435 238966 32689 177 184.03 184.22/184.34 o 5937 184.276 191.52/191.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 191.52/191.61 c 32670 10000 689595 26183664 37 1622472 238966 32695 177 184.31 191.52/191.61 c 32770 10000 689695 26243612 38 1622539 262863 32795 177 185.03 191.52/191.61 c 33021 10000 689946 26387534 38 1623059 289150 33046 176 186.63 191.52/191.61 c 33496 10000 690421 26839367 38 1624039 318066 33521 175 190.83 191.52/191.61 o 5926 191.542 193.02/193.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 193.02/193.19 c 33576 10000 690502 26908209 38 1633868 238966 33602 175 191.57 193.02/193.19 c 33676 10000 690602 26985718 39 1634070 262863 33702 174 192.62 193.02/193.19 o 5904 193.119 232.71/232.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 232.71/232.90 c 33713 10000 690640 27018752 39 1643851 238966 33740 174 193.15 232.71/232.90 c 33813 10000 690740 27112101 39 1644128 262863 33840 174 194.23 232.71/232.90 c 34064 10000 690991 27285993 39 1644788 289150 34091 173 196.14 232.71/232.90 c 34539 10000 691466 27618335 39 1645768 318066 34566 173 199.59 232.71/232.90 c 35352 10000 692279 28301074 40 1647049 349873 35379 171 205.57 232.71/232.90 c 36672 10000 693599 28936530 41 1650029 384861 36699 172 212.85 232.71/232.90 c 38754 10000 695681 30128436 43 1654125 423348 38781 171 225.31 232.71/232.90 o 5884 232.816 239.51/239.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 239.51/239.61 c 39980 10000 696908 30857760 44 1666082 238966 40008 171 232.85 239.51/239.61 c 40080 10000 697008 30919724 44 1666506 262863 40108 171 233.63 239.51/239.61 c 40330 10000 697258 31065140 44 1667071 289150 40358 171 235.30 239.51/239.61 c 40807 10000 697735 31429387 45 1667938 318066 40835 170 239.17 239.51/239.61 o 5873 239.525 239.71/239.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 239.71/239.88 c 40823 10000 697752 31448342 45 1677327 238966 40852 170 239.56 239.71/239.88 o 5804 239.797 240.01/240.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 240.01/240.15 c 40825 10000 697755 31458735 45 1686818 238966 40855 170 239.83 240.01/240.15 o 5799 240.07 240.31/240.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 240.31/240.45 c 40830 10000 697761 31470292 45 1696728 238966 40861 170 240.10 240.31/240.45 o 5797 240.369 255.21/255.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 255.21/255.36 c 40834 10000 697766 31480979 45 1706260 238966 40866 169 240.40 255.21/255.36 c 40936 10000 697868 31538283 45 1707038 262863 40968 169 241.34 255.21/255.36 c 41186 10000 698118 31709929 45 1707508 289150 41218 169 243.19 255.21/255.36 c 41662 10000 698594 32076311 45 1708598 318066 41694 168 247.15 255.21/255.36 c 42478 10000 699410 32701434 46 1710060 349873 42510 167 253.64 255.21/255.36 o 5778 255.276 260.80/260.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 260.80/260.91 c 42674 10000 699607 32828182 46 1719854 238966 42707 167 255.31 260.80/260.91 c 42775 10000 699708 32940618 47 1720029 262863 42808 166 256.74 260.80/260.91 c 43026 10000 699959 33091917 47 1720787 289150 43059 166 258.80 260.80/260.91 o 5772 260.824 425.76/425.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 425.76/425.95 c 43222 10000 700156 33273910 47 1730592 238966 43256 165 260.86 425.76/425.95 c 43322 10000 700256 33322254 47 1731449 262863 43356 165 261.77 425.76/425.95 c 43574 10000 700508 33499784 47 1731531 289150 43608 164 264.17 425.76/425.95 c 44049 10000 700983 33907898 48 1732458 318066 44083 163 269.05 425.76/425.95 c 44862 10000 701796 34631514 49 1733913 349873 44896 162 276.29 425.76/425.95 c 46182 10000 703116 35548742 50 1736754 384861 46216 161 285.77 425.76/425.95 c 48264 10000 705198 36902080 52 1741130 423348 48298 160 301.23 425.76/425.95 c 51487 10000 708421 38657620 54 1747681 465683 51521 158 324.72 425.76/425.95 c 56423 10000 713357 41382366 58 1757463 512252 56457 157 357.63 425.76/425.95 c 63929 10000 720863 46354285 64 1772145 563478 63963 150 425.55 425.76/425.95 o 5700 425.818 535.73/535.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 535.73/535.91 c 63929 10000 720864 46364285 64 1781331 238966 63964 150 425.85 535.73/535.91 c 64029 10000 720964 46467890 64 1782046 262863 64064 149 426.94 535.73/535.91 c 64279 10000 721214 46665040 64 1782415 289150 64314 149 429.14 535.73/535.91 c 64754 10000 721689 46929121 65 1783438 318066 64789 149 431.93 535.73/535.91 c 65568 10000 722503 47484010 65 1784613 349873 65603 149 437.82 535.73/535.91 c 66889 10000 723824 48353818 66 1787657 384861 66924 149 447.18 535.73/535.91 c 68971 10000 725906 49507279 68 1791545 423348 69006 149 461.49 535.73/535.91 c 72196 10000 729131 52086335 71 1797820 465683 72231 149 483.42 535.73/535.91 c 77133 10000 734068 54889652 74 1807861 512252 77168 148 518.15 535.73/535.91 o 5678 535.759 671.19/671.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 671.19/671.47 c 79693 10000 736629 56483274 76 1822299 238966 79729 148 535.79 671.19/671.47 c 79795 10000 736731 56553837 76 1822459 262863 79831 148 536.81 671.19/671.47 c 80045 10000 736981 56720299 76 1823101 289150 80081 148 538.82 671.19/671.47 c 80521 10000 737457 56971793 77 1824033 318066 80557 148 542.17 671.19/671.47 c 81334 10000 738270 57634261 78 1825463 349873 81370 147 550.29 671.19/671.47 c 82655 10000 739591 58470867 79 1827916 384861 82691 148 558.31 671.19/671.47 c 84737 10000 741673 59701344 80 1832422 423348 84773 147 572.73 671.19/671.47 c 87962 10000 744898 62151779 83 1838940 465683 87998 147 598.17 671.19/671.47 c 92900 10000 749836 64961905 86 1848446 512252 92936 145 636.53 671.19/671.47 o 5672 671.283 672.60/672.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 672.60/672.86 c 97793 10000 754730 67707849 89 1867909 238966 97830 145 671.32 672.60/672.86 c 97893 10000 754830 67769507 89 1868326 262863 97930 145 672.34 672.60/672.86 o 5670 672.669 790.76/791.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 790.76/791.09 c 97895 10000 754833 67780898 89 1877611 238966 97933 145 672.70 790.76/791.09 c 97995 10000 754933 67817467 89 1878645 262863 98033 145 673.60 790.76/791.09 c 98245 10000 755183 67992264 90 1878714 289150 98283 145 676.12 790.76/791.09 c 98722 10000 755660 68235944 90 1879943 318066 98760 145 679.81 790.76/791.09 c 99535 10000 756473 68800818 90 1881504 349873 99573 145 685.94 790.76/791.09 c 100855 10000 757793 69568762 91 1883974 384861 100893 145 695.33 790.76/791.09 c 102937 10000 759875 70819962 93 1888132 423348 102975 144 712.86 790.76/791.09 c 106161 10000 763099 72987390 95 1894594 465683 106199 142 743.52 790.76/791.09 o 5668 790.872 1101.79/1102.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1101.79/1102.15 c 110827 10000 767766 76986936 100 1913261 238966 110866 140 790.90 1101.79/1102.15 c 110927 10000 767866 77039936 100 1913944 262863 110966 140 791.96 1101.79/1102.15 c 111177 10000 768116 77174299 100 1914325 289150 111216 140 794.08 1101.79/1102.15 c 111652 10000 768591 77459056 100 1915648 318066 111691 139 798.81 1101.79/1102.15 c 112465 10000 769404 77864222 101 1916991 349873 112504 139 805.52 1101.79/1102.15 c 113785 10000 770724 78722490 102 1919292 384861 113824 138 818.71 1101.79/1102.15 c 115866 10000 772805 80116849 103 1923665 423348 115905 138 839.42 1101.79/1102.15 c 119089 10000 776028 82209237 105 1929902 465683 119128 137 866.74 1101.79/1102.15 c 124027 10000 780966 86102615 110 1939881 512252 124066 135 918.34 1101.79/1102.15 c 131534 10000 788473 90974817 115 1954595 563478 131573 133 987.69 1101.79/1102.15 c 142895 10000 799834 99539430 124 1977794 619826 142934 130 1094.75 1101.79/1102.15 o 5602 1101.85 1494.71/1495.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1494.71/1495.20 c 143380 10000 800320 100708303 125 1987759 238966 143420 130 1101.88 1494.71/1495.20 c 143480 10000 800420 100793344 125 1988045 262863 143520 130 1103.32 1494.71/1495.20 c 143730 10000 800670 100967738 126 1988291 289150 143770 129 1105.80 1494.71/1495.20 c 144205 10000 801145 101253034 126 1989711 318066 144245 129 1109.90 1494.71/1495.20 c 145019 10000 801959 102008565 127 1991399 349873 145059 129 1117.34 1494.71/1495.20 c 146341 10000 803281 102876880 128 1993290 384861 146381 129 1128.34 1494.71/1495.20 c 148422 10000 805362 104302354 129 1997596 423348 148462 129 1148.03 1494.71/1495.20 c 151646 10000 808586 106673516 131 2003846 465683 151686 128 1177.45 1494.71/1495.20 c 156582 10000 813522 110221130 135 2014042 512252 156622 128 1219.01 1494.71/1495.20 c 164088 10000 821028 115443471 140 2028990 563478 164128 126 1297.67 1494.71/1495.20 c 175449 10000 832389 124260760 149 2051400 619826 175489 124 1405.91 1494.71/1495.20 c Caught signal: 15 1494.71/1495.20 v -x1 -x101 -x201 -x301 -x401 -x501 -x601 -x701 -x801 -x901 -x1001 -x1101 -x1201 -x1301 -x1401 -x1501 -x1601 -x1701 -x1801 1494.71/1495.20 v -x1901 -x2001 -x2101 -x2201 -x2301 -x2401 -x2501 -x2601 -x2701 -x2801 -x2901 -x3001 -x3101 -x3201 -x3301 -x3401 -x3501 1494.71/1495.20 v -x3601 -x3701 -x3801 -x3901 -x4001 -x4101 -x4201 -x4301 -x4401 -x4501 -x4601 -x4701 -x4801 -x4901 -x5001 -x5101 -x5201 1494.71/1495.20 v -x5301 -x5401 -x5501 -x5601 -x5701 -x5801 -x5901 -x6001 -x6101 -x6201 -x6301 -x6401 -x6501 -x6601 -x6701 -x6801 -x6901 1494.71/1495.20 v x7001 x7101 -x7201 -x7301 -x7401 -x7501 -x7601 -x7701 -x7801 x7901 -x8001 -x8101 -x8201 -x8301 -x8401 -x8501 -x8601 -x8701 1494.71/1495.20 v -x8801 -x8901 -x9001 -x9101 -x9201 -x9301 -x9401 -x9501 -x9601 -x9701 -x9801 -x9901 -x2 -x102 -x202 -x302 -x402 -x502 -x602 1494.71/1495.20 v -x702 -x802 -x902 -x1002 -x1102 -x1202 -x1302 -x1402 -x1502 -x1602 -x1702 -x1802 -x1902 -x2002 -x2102 -x2202 -x2302 -x2402 1494.71/1495.20 v -x2502 -x2602 -x2702 -x2802 -x2902 -x3002 -x3102 -x3202 -x3302 -x3402 -x3502 -x3602 -x3702 x3802 -x3902 -x4002 -x4102 1494.71/1495.20 v -x4202 -x4302 -x4402 -x4502 -x4602 -x4702 -x4802 -x4902 -x5002 -x5102 -x5202 -x5302 -x5402 -x5502 -x5602 -x5702 -x5802 1494.71/1495.20 v -x5902 -x6002 -x6102 -x6202 -x6302 -x6402 -x6502 -x6602 -x6702 -x6802 -x6902 -x7002 -x7102 -x7202 -x7302 -x7402 -x7502 1494.71/1495.20 v -x7602 -x7702 -x7802 -x7902 -x8002 -x8102 -x8202 -x8302 x8402 -x8502 -x8602 -x8702 -x8802 -x8902 -x9002 -x9102 -x9202 1494.71/1495.20 v -x9302 -x9402 -x9502 -x9602 -x9702 -x9802 -x9902 -x3 -x103 -x203 -x303 -x403 -x503 -x603 -x703 -x803 -x903 -x1003 -x1103 1494.71/1495.20 v -x1203 -x1303 -x1403 -x1503 -x1603 -x1703 -x1803 -x1903 -x2003 -x2103 -x2203 -x2303 -x2403 -x2503 -x2603 -x2703 -x2803 1494.71/1495.20 v -x2903 -x3003 -x3103 -x3203 -x3303 -x3403 -x3503 -x3603 -x3703 -x3803 -x3903 -x4003 -x4103 -x4203 -x4303 -x4403 -x4503 1494.71/1495.20 v -x4603 -x4703 -x4803 -x4903 -x5003 -x5103 -x5203 -x5303 -x5403 -x5503 -x5603 x5703 -x5803 -x5903 -x6003 -x6103 -x6203 1494.71/1495.20 v -x6303 -x6403 -x6503 -x6603 -x6703 -x6803 -x6903 -x7003 -x7103 -x7203 -x7303 -x7403 -x7503 -x7603 -x7703 -x7803 -x7903 1494.71/1495.20 v -x8003 -x8103 -x8203 -x8303 -x8403 -x8503 -x8603 -x8703 -x8803 -x8903 -x9003 -x9103 -x9203 -x9303 -x9403 -x9503 -x9603 1494.71/1495.20 v -x9703 -x9803 -x9903 -x4 -x104 -x204 -x304 -x404 -x504 -x604 -x704 -x804 -x904 -x1004 -x1104 -x1204 -x1304 -x1404 -x1504 1494.71/1495.20 v -x1604 -x1704 -x1804 -x1904 -x2004 -x2104 -x2204 -x2304 x2404 -x2504 -x2604 -x2704 -x2804 -x2904 -x3004 -x3104 -x3204 1494.71/1495.20 v -x3304 -x3404 -x3504 -x3604 -x3704 -x3804 -x3904 -x4004 -x4104 -x4204 -x4304 -x4404 -x4504 -x4604 -x4704 -x4804 -x4904 1494.71/1495.20 v -x5004 -x5104 -x5204 -x5304 -x5404 -x5504 -x5604 -x5704 -x5804 -x5904 -x6004 -x6104 -x6204 -x6304 -x6404 -x6504 -x6604 1494.71/1495.20 v -x6704 -x6804 -x6904 -x7004 -x7104 -x7204 -x7304 -x7404 -x7504 -x7604 -x7704 -x7804 -x7904 -x8004 -x8104 -x8204 -x8304 1494.71/1495.20 v -x8404 -x8504 -x8604 -x8704 -x8804 -x8904 -x9004 -x9104 -x9204 -x9304 -x9404 -x9504 -x9604 -x9704 -x9804 -x9904 -x5 -x105 1494.71/1495.20 v -x205 -x305 -x405 -x505 -x605 -x705 -x805 -x905 -x1005 x1105 -x1205 -x1305 -x1405 -x1505 -x1605 -x1705 -x1805 -x1905 -x2005 1494.71/1495.20 v -x2105 -x2205 -x2305 -x2405 -x2505 -x2605 -x2705 -x2805 -x2905 -x3005 -x3105 -x3205 -x3305 -x3405 -x3505 -x3605 -x3705 1494.71/1495.20 v -x3805 -x3905 x4005 -x4105 -x4205 -x4305 -x4405 -x4505 -x4605 -x4705 -x4805 -x4905 -x5005 x5105 -x5205 -x5305 -x5405 -x5505 1494.71/1495.20 v -x5605 -x5705 -x5805 -x5905 -x6005 -x6105 -x6205 -x6305 -x6405 -x6505 -x6605 -x6705 -x6805 -x6905 -x7005 -x7105 -x7205 1494.71/1495.20 v -x7305 -x7405 -x7505 -x7605 -x7705 -x7805 -x7905 -x8005 -x8105 -x8205 -x8305 -x8405 -x8505 -x8605 -x8705 -x8805 -x8905 1494.71/1495.20 v -x9005 -x9105 -x9205 -x9305 -x9405 -x9505 -x9605 -x9705 -x9805 -x9905 -x6 -x106 -x206 -x306 -x406 -x506 -x606 -x706 -x806 1494.71/1495.20 v -x906 -x1006 -x1106 -x1206 -x1306 -x1406 -x1506 -x1606 -x1706 -x1806 -x1906 -x2006 -x2106 -x2206 -x2306 -x2406 -x2506 1494.71/1495.20 v -x2606 -x2706 -x2806 -x2906 -x3006 -x3106 -x3206 -x3306 -x3406 -x3506 -x3606 -x3706 -x3806 -x3906 -x4006 -x4106 -x4206 1494.71/1495.20 v -x4306 -x4406 -x4506 -x4606 -x4706 -x4806 -x4906 -x5006 -x5106 -x5206 -x5306 -x5406 -x5506 -x5606 -x5706 -x5806 -x5906 1494.71/1495.20 v -x6006 -x6106 -x6206 -x6306 -x6406 -x6506 -x6606 x6706 -x6806 -x6906 -x7006 -x7106 -x7206 -x7306 -x7406 -x7506 -x7606 1494.71/1495.20 v -x7706 -x7806 -x7906 -x8006 -x8106 -x8206 -x8306 -x8406 -x8506 -x8606 -x8706 -x8806 -x8906 -x9006 -x9106 -x9206 -x9306 1494.71/1495.20 v -x9406 -x9506 -x9606 -x9706 -x9806 -x9906 -x7 -x107 -x207 -x307 -x407 -x507 -x607 -x707 -x807 -x907 -x1007 -x1107 -x1207 1494.71/1495.20 v -x1307 -x1407 -x1507 -x1607 -x1707 -x1807 -x1907 -x2007 -x2107 -x2207 -x2307 -x2407 -x2507 -x2607 -x2707 -x2807 -x2907 1494.71/1495.20 v -x3007 -x3107 -x3207 -x3307 -x3407 x3507 -x3607 -x3707 -x3807 -x3907 -x4007 -x4107 -x4207 -x4307 -x4407 -x4507 -x4607 1494.71/1495.20 v -x4707 -x4807 -x4907 -x5007 -x5107 -x5207 -x5307 -x5407 -x5507 -x5607 -x5707 -x5807 -x5907 -x6007 -x6107 -x6207 -x6307 1494.71/1495.20 v -x6407 -x6507 -x6607 -x6707 -x6807 -x6907 -x7007 -x7107 -x7207 -x7307 -x7407 -x7507 -x7607 -x7707 -x7807 -x7907 -x8007 1494.71/1495.20 v -x8107 -x8207 -x8307 -x8407 -x8507 -x8607 -x8707 -x8807 -x8907 -x9007 -x9107 -x9207 -x9307 -x9407 -x9507 -x9607 -x9707 1494.71/1495.20 v -x9807 -x9907 -x8 -x108 -x208 -x308 -x408 -x508 -x608 -x708 -x808 -x908 -x1008 -x1108 -x1208 -x1308 -x1408 -x1508 -x1608 1494.71/1495.20 v -x1708 -x1808 -x1908 -x2008 -x2108 -x2208 -x2308 -x2408 -x2508 -x2608 -x2708 -x2808 -x2908 -x3008 -x3108 -x3208 -x3308 1494.71/1495.20 v -x3408 -x3508 -x3608 -x3708 -x3808 -x3908 -x4008 -x4108 -x4208 -x4308 -x4408 -x4508 -x4608 -x4708 -x4808 -x4908 -x5008 1494.71/1495.20 v -x5108 -x5208 -x5308 -x5408 -x5508 -x5608 -x5708 -x5808 -x5908 -x6008 -x6108 -x6208 -x6308 -x6408 -x6508 -x6608 -x6708 1494.71/1495.20 v -x6808 -x6908 -x7008 -x7108 -x7208 -x7308 -x7408 -x7508 -x7608 -x7708 -x7808 -x7908 -x8008 -x8108 -x8208 -x8308 -x8408 1494.71/1495.20 v -x8508 -x8608 -x8708 -x8808 -x8908 -x9008 -x9108 -x9208 x9308 -x9408 -x9508 -x9608 -x9708 -x9808 -x9908 -x9 -x109 -x209 1494.71/1495.20 v -x309 -x409 -x509 -x609 -x709 -x809 -x909 -x1009 -x1109 -x1209 x1309 -x1409 -x1509 -x1609 -x1709 -x1809 -x1909 -x2009 -x2109 1494.71/1495.20 v -x2209 -x2309 -x2409 -x2509 -x2609 -x2709 -x2809 -x2909 -x3009 -x3109 -x3209 -x3309 -x3409 -x3509 -x3609 -x3709 -x3809 1494.71/1495.20 v -x3909 -x4009 -x4109 -x4209 -x4309 -x4409 -x4509 -x4609 -x4709 -x4809 x4909 -x5009 -x5109 -x5209 -x5309 -x5409 -x5509 1494.71/1495.20 v -x5609 -x5709 -x5809 -x5909 -x6009 -x6109 -x6209 -x6309 -x6409 -x6509 -x6609 -x6709 -x6809 -x6909 -x7009 -x7109 -x7209 1494.71/1495.20 v -x7309 -x7409 -x7509 -x7609 -x7709 -x7809 -x7909 -x8009 -x8109 -x8209 -x8309 -x8409 -x8509 -x8609 -x8709 -x8809 -x8909 1494.71/1495.20 v -x9009 -x9109 -x9209 -x9309 -x9409 -x9509 -x9609 -x9709 -x9809 -x9909 -x10 -x110 -x210 -x310 -x410 -x510 -x610 -x710 -x810 1494.71/1495.20 v -x910 -x1010 -x1110 -x1210 -x1310 -x1410 -x1510 -x1610 -x1710 -x1810 -x1910 -x2010 -x2110 -x2210 -x2310 -x2410 -x2510 1494.71/1495.20 v -x2610 -x2710 -x2810 -x2910 -x3010 -x3110 -x3210 -x3310 -x3410 -x3510 -x3610 -x3710 -x3810 -x3910 -x4010 -x4110 -x4210 1494.71/1495.20 v -x4310 -x4410 -x4510 -x4610 -x4710 -x4810 -x4910 -x5010 -x5110 -x5210 -x5310 -x5410 -x5510 -x5610 -x5710 -x5810 -x5910 1494.71/1495.20 v -x6010 -x6110 -x6210 -x6310 -x6410 -x6510 -x6610 -x6710 -x6810 -x6910 -x7010 -x7110 -x7210 -x7310 -x7410 -x7510 -x7610 1494.71/1495.20 v -x7710 x7810 -x7910 -x8010 -x8110 -x8210 -x8310 -x8410 -x8510 -x8610 -x8710 -x8810 -x8910 -x9010 -x9110 -x9210 -x9310 1494.71/1495.20 v -x9410 -x9510 -x9610 -x9710 -x9810 -x9910 -x11 -x111 -x211 -x311 -x411 -x511 -x611 -x711 -x811 -x911 -x1011 -x1111 -x1211 1494.71/1495.20 v -x1311 -x1411 -x1511 -x1611 -x1711 -x1811 -x1911 -x2011 -x2111 -x2211 -x2311 -x2411 -x2511 -x2611 -x2711 -x2811 -x2911 1494.71/1495.20 v -x3011 -x3111 -x3211 -x3311 -x3411 -x3511 -x3611 -x3711 -x3811 -x3911 -x4011 -x4111 -x4211 -x4311 -x4411 -x4511 -x4611 1494.71/1495.20 v -x4711 -x4811 -x4911 -x5011 -x5111 -x5211 -x5311 -x5411 -x5511 -x5611 -x5711 -x5811 -x5911 -x6011 -x6111 -x6211 -x6311 1494.71/1495.20 v -x6411 -x6511 -x6611 -x6711 -x6811 -x6911 -x7011 -x7111 -x7211 -x7311 -x7411 -x7511 -x7611 -x7711 -x7811 -x7911 -x8011 1494.71/1495.20 v -x8111 -x8211 -x8311 -x8411 -x8511 -x8611 -x8711 -x8811 -x8911 -x9011 -x9111 -x9211 -x9311 x9411 -x9511 -x9611 -x9711 1494.71/1495.20 v -x9811 -x9911 -x12 -x112 -x212 -x312 -x412 -x512 -x612 -x712 -x812 -x912 -x1012 -x1112 -x1212 -x1312 -x1412 -x1512 -x1612 1494.71/1495.20 v -x1712 -x1812 x1912 -x2012 -x2112 -x2212 -x2312 -x2412 -x2512 -x2612 -x2712 -x2812 -x2912 -x3012 -x3112 -x3212 -x3312 1494.71/1495.20 v -x3412 -x3512 -x3612 -x3712 -x3812 -x3912 -x4012 -x4112 -x4212 -x4312 -x4412 -x4512 -x4612 -x4712 -x4812 -x4912 -x5012 1494.71/1495.20 v -x5112 -x5212 -x5312 -x5412 -x5512 -x5612 -x5712 -x5812 -x5912 -x6012 -x6112 -x6212 -x6312 -x6412 -x6512 -x6612 -x6712 1494.71/1495.20 v -x6812 -x6912 -x7012 -x7112 -x7212 -x7312 -x7412 -x7512 -x7612 -x7712 -x7812 -x7912 -x8012 -x8112 -x8212 -x8312 -x8412 1494.71/1495.20 v -x8512 -x8612 -x8712 -x8812 -x8912 -x9012 -x9112 x9212 -x9312 -x9412 -x9512 -x9612 -x9712 -x9812 -x9912 -x13 -x113 -x213 1494.71/1495.20 v -x313 -x413 -x513 -x613 -x713 -x813 -x913 -x1013 -x1113 -x1213 -x1313 -x1413 -x1513 -x1613 -x1713 -x1813 -x1913 -x2013 1494.71/1495.20 v -x2113 -x2213 -x2313 -x2413 -x2513 -x2613 -x2713 -x2813 -x2913 -x3013 -x3113 -x3213 -x3313 -x3413 -x3513 -x3613 -x3713 1494.71/1495.20 v -x3813 -x3913 -x4013 -x4113 -x4213 -x4313 -x4413 -x4513 -x4613 -x4713 -x4813 -x4913 -x5013 -x5113 -x5213 -x5313 -x5413 1494.71/1495.20 v x5513 -x5613 -x5713 -x5813 -x5913 -x6013 -x6113 -x6213 x6313 -x6413 -x6513 -x6613 -x6713 -x6813 -x6913 -x7013 -x7113 -x7213 1494.71/1495.20 v -x7313 -x7413 -x7513 -x7613 -x7713 -x7813 -x7913 -x8013 -x8113 -x8213 -x8313 -x8413 -x8513 -x8613 -x8713 -x8813 -x8913 1494.71/1495.20 v -x9013 -x9113 -x9213 -x9313 -x9413 -x9513 -x9613 -x9713 -x9813 -x9913 -x14 x114 -x214 -x314 -x414 -x514 -x614 -x714 -x814 1494.71/1495.20 v -x914 -x1014 -x1114 -x1214 -x1314 -x1414 -x1514 -x1614 -x1714 -x1814 -x1914 -x2014 -x2114 -x2214 -x2314 -x2414 -x2514 1494.71/1495.20 v -x2614 -x2714 -x2814 -x2914 -x3014 -x3114 -x3214 -x3314 -x3414 -x3514 -x3614 -x3714 -x3814 -x3914 -x4014 -x4114 -x4214 1494.71/1495.20 v -x4314 -x4414 -x4514 -x4614 -x4714 -x4814 -x4914 -x5014 -x5114 -x5214 -x5314 -x5414 -x5514 -x5614 -x5714 -x5814 -x5914 1494.71/1495.20 v -x6014 -x6114 -x6214 -x6314 -x6414 -x6514 -x6614 -x6714 -x6814 -x6914 -x7014 -x7114 -x7214 -x7314 -x7414 -x7514 -x7614 1494.71/1495.20 v -x7714 -x7814 -x7914 -x8014 -x8114 -x8214 -x8314 -x8414 -x8514 -x8614 -x8714 -x8814 -x8914 -x9014 -x9114 -x9214 -x9314 1494.71/1495.20 v -x9414 -x9514 -x9614 -x9714 -x9814 -x9914 -x15 -x115 -x215 -x315 -x415 -x515 -x615 -x715 -x815 -x915 -x1015 -x1115 -x1215 1494.71/1495.20 v -x1315 -x1415 x1515 -x1615 -x1715 -x1815 -x1915 -x2015 -x2115 -x2215 -x2315 -x2415 -x2515 -x2615 -x2715 -x2815 -x2915 1494.71/1495.20 v -x3015 -x3115 -x3215 -x3315 -x3415 -x3515 -x3615 -x3715 -x3815 -x3915 -x4015 -x4115 -x4215 -x4315 -x4415 -x4515 -x4615 1494.71/1495.20 v -x4715 -x4815 -x4915 -x5015 -x5115 -x5215 -x5315 -x5415 -x5515 -x5615 -x5715 -x5815 -x5915 -x6015 -x6115 -x6215 -x6315 1494.71/1495.20 v -x6415 -x6515 -x6615 -x6715 -x6815 -x6915 -x7015 -x7115 -x7215 -x7315 -x7415 -x7515 -x7615 -x7715 -x7815 -x7915 -x8015 1494.71/1495.20 v -x8115 -x8215 -x8315 -x8415 -x8515 -x8615 x8715 -x8815 -x8915 -x9015 -x9115 -x9215 -x9315 -x9415 -x9515 -x9615 -x9715 1494.71/1495.20 v -x9815 -x9915 -x16 -x116 -x216 -x316 -x416 -x516 -x616 -x716 -x816 -x916 -x1016 -x1116 -x1216 -x1316 -x1416 -x1516 -x1616 1494.71/1495.20 v -x1716 -x1816 -x1916 -x2016 -x2116 -x2216 -x2316 -x2416 -x2516 -x2616 -x2716 -x2816 -x2916 -x3016 x3116 -x3216 -x3316 1494.71/1495.20 v -x3416 -x3516 -x3616 -x3716 -x3816 -x3916 -x4016 -x4116 -x4216 -x4316 -x4416 -x4516 -x4616 -x4716 -x4816 -x4916 -x5016 1494.71/1495.20 v -x5116 -x5216 -x5316 -x5416 -x5516 -x5616 -x5716 -x5816 -x5916 -x6016 -x6116 -x6216 -x6316 -x6416 -x6516 -x6616 -x6716 1494.71/1495.20 v -x6816 -x6916 -x7016 -x7116 -x7216 -x7316 -x7416 -x7516 -x7616 -x7716 -x7816 -x7916 -x8016 -x8116 -x8216 -x8316 -x8416 1494.71/1495.20 v -x8516 -x8616 -x8716 -x8816 -x8916 -x9016 -x9116 -x9216 -x9316 -x9416 -x9516 -x9616 -x9716 -x9816 -x9916 -x17 -x117 -x217 1494.71/1495.20 v -x317 -x417 -x517 -x617 -x717 -x817 -x917 -x1017 -x1117 -x1217 -x1317 -x1417 -x1517 -x1617 -x1717 -x1817 -x1917 -x2017 1494.71/1495.20 v -x2117 -x2217 -x2317 -x2417 -x2517 -x2617 -x2717 -x2817 -x2917 -x3017 -x3117 -x3217 -x3317 -x3417 -x3517 -x3617 -x3717 1494.71/1495.20 v -x3817 -x3917 -x4017 -x4117 -x4217 -x4317 -x4417 -x4517 -x4617 -x4717 -x4817 -x4917 -x5017 -x5117 -x5217 -x5317 -x5417 1494.71/1495.20 v -x5517 -x5617 -x5717 -x5817 -x5917 -x6017 -x6117 -x6217 -x6317 -x6417 -x6517 -x6617 -x6717 -x6817 -x6917 -x7017 -x7117 1494.71/1495.20 v -x7217 -x7317 -x7417 -x7517 -x7617 x7717 -x7817 -x7917 -x8017 -x8117 -x8217 -x8317 -x8417 -x8517 -x8617 -x8717 -x8817 1494.71/1495.20 v -x8917 -x9017 -x9117 -x9217 -x9317 -x9417 -x9517 -x9617 -x9717 -x9817 -x9917 -x18 -x118 -x218 -x318 -x418 -x518 -x618 -x718 1494.71/1495.20 v -x818 -x918 -x1018 -x1118 -x1218 -x1318 -x1418 -x1518 -x1618 -x1718 -x1818 -x1918 -x2018 -x2118 -x2218 -x2318 -x2418 -x2518 1494.71/1495.20 v -x2618 -x2718 -x2818 -x2918 -x3018 -x3118 -x3218 -x3318 -x3418 -x3518 -x3618 -x3718 -x3818 -x3918 -x4018 -x4118 -x4218 1494.71/1495.20 v -x4318 -x4418 -x4518 -x4618 -x4718 -x4818 -x4918 -x5018 -x5118 -x5218 -x5318 -x5418 -x5518 -x5618 -x5718 -x5818 -x5918 1494.71/1495.20 v -x6018 -x6118 -x6218 -x6318 -x6418 -x6518 -x6618 -x6718 -x6818 -x6918 -x7018 -x7118 -x7218 -x7318 -x7418 -x7518 -x7618 1494.71/1495.20 v -x7718 -x7818 -x7918 -x8018 -x8118 -x8218 -x8318 -x8418 x8518 -x8618 -x8718 -x8818 -x8918 -x9018 -x9118 -x9218 -x9318 1494.71/1495.20 v -x9418 -x9518 -x9618 -x9718 -x9818 -x9918 -x19 -x119 -x219 -x319 -x419 -x519 -x619 -x719 -x819 -x919 x1019 -x1119 -x1219 1494.71/1495.20 v -x1319 -x1419 -x1519 -x1619 -x1719 -x1819 -x1919 -x2019 -x2119 -x2219 -x2319 -x2419 -x2519 -x2619 -x2719 -x2819 -x2919 1494.71/1495.20 v -x3019 -x3119 -x3219 -x3319 -x3419 -x3519 -x3619 -x3719 -x3819 -x3919 -x4019 -x4119 -x4219 -x4319 -x4419 -x4519 -x4619 1494.71/1495.20 v -x4719 -x4819 -x4919 -x5019 -x5119 -x5219 -x5319 -x5419 -x5519 -x5619 -x5719 -x5819 -x5919 -x6019 -x6119 -x6219 -x6319 1494.71/1495.20 v -x6419 -x6519 -x6619 -x6719 -x6819 -x6919 -x7019 -x7119 -x7219 -x7319 -x7419 -x7519 -x7619 -x7719 -x7819 -x7919 -x8019 1494.71/1495.20 v -x8119 -x8219 -x8319 -x8419 -x8519 -x8619 -x8719 -x8819 -x8919 -x9019 -x9119 -x9219 -x9319 -x9419 -x9519 -x9619 -x9719 1494.71/1495.20 v -x9819 -x9919 -x20 -x120 -x220 -x320 -x420 -x520 -x620 -x720 -x820 -x920 -x1020 -x1120 -x1220 -x1320 -x1420 -x1520 -x1620 1494.71/1495.20 v -x1720 -x1820 -x1920 -x2020 -x2120 -x2220 -x2320 -x2420 -x2520 -x2620 -x2720 -x2820 x2920 -x3020 -x3120 -x3220 -x3320 1494.71/1495.20 v -x3420 -x3520 -x3620 -x3720 -x3820 -x3920 -x4020 -x4120 -x4220 -x4320 -x4420 -x4520 -x4620 -x4720 -x4820 -x4920 -x5020 1494.71/1495.20 v -x5120 -x5220 -x5320 -x5420 -x5520 -x5620 -x5720 -x5820 -x5920 -x6020 -x6120 -x6220 -x6320 -x6420 -x6520 -x6620 -x6720 1494.71/1495.20 v -x6820 -x6920 -x7020 -x7120 -x7220 -x7320 -x7420 -x7520 -x7620 -x7720 -x7820 -x7920 -x8020 -x8120 -x8220 -x8320 -x8420 1494.71/1495.20 v -x8520 -x8620 -x8720 -x8820 -x8920 -x9020 -x9120 -x9220 -x9320 -x9420 -x9520 -x9620 -x9720 -x9820 -x9920 -x21 -x121 -x221 1494.71/1495.20 v x321 -x421 -x521 -x621 -x721 -x821 -x921 -x1021 -x1121 -x1221 -x1321 -x1421 -x1521 -x1621 -x1721 -x1821 -x1921 -x2021 -x2121 1494.71/1495.20 v -x2221 -x2321 -x2421 -x2521 -x2621 -x2721 -x2821 -x2921 -x3021 -x3121 -x3221 -x3321 -x3421 -x3521 -x3621 -x3721 -x3821 1494.71/1495.20 v -x3921 -x4021 -x4121 -x4221 -x4321 -x4421 -x4521 -x4621 -x4721 -x4821 -x4921 -x5021 -x5121 -x5221 -x5321 -x5421 -x5521 1494.71/1495.20 v -x5621 -x5721 -x5821 -x5921 -x6021 -x6121 -x6221 -x6321 -x6421 -x6521 -x6621 -x6721 -x6821 -x6921 -x7021 -x7121 -x7221 1494.71/1495.20 v -x7321 -x7421 -x7521 -x7621 -x7721 -x7821 -x7921 -x8021 -x8121 -x8221 -x8321 -x8421 -x8521 -x8621 -x8721 -x8821 -x8921 1494.71/1495.20 v -x9021 -x9121 -x9221 -x9321 -x9421 -x9521 -x9621 -x9721 -x9821 -x9921 -x22 -x122 -x222 -x322 -x422 -x522 -x622 -x722 -x822 1494.71/1495.20 v -x922 -x1022 -x1122 -x1222 -x1322 -x1422 -x1522 -x1622 -x1722 -x1822 -x1922 -x2022 -x2122 -x2222 -x2322 -x2422 -x2522 1494.71/1495.20 v -x2622 -x2722 -x2822 -x2922 -x3022 -x3122 -x3222 -x3322 -x3422 -x3522 -x3622 -x3722 -x3822 -x3922 -x4022 -x4122 -x4222 1494.71/1495.20 v -x4322 -x4422 -x4522 -x4622 -x4722 -x4822 -x4922 -x5022 -x5122 -x5222 -x5322 -x5422 -x5522 -x5622 -x5722 -x5822 -x5922 1494.71/1495.20 v -x6022 -x6122 -x6222 -x6322 -x6422 -x6522 -x6622 -x6722 -x6822 -x6922 -x7022 -x7122 -x7222 -x7322 -x7422 -x7522 -x7622 1494.71/1495.20 v -x7722 -x7822 -x7922 -x8022 -x8122 -x8222 -x8322 -x8422 -x8522 x8622 -x8722 -x8822 -x8922 -x9022 -x9122 -x9222 -x9322 1494.71/1495.20 v -x9422 -x9522 -x9622 -x9722 -x9822 -x9922 -x23 -x123 -x223 -x323 -x423 -x523 -x623 -x723 -x823 -x923 -x1023 -x1123 -x1223 1494.71/1495.20 v -x1323 -x1423 -x1523 -x1623 -x1723 -x1823 -x1923 -x2023 -x2123 -x2223 -x2323 -x2423 -x2523 -x2623 -x2723 -x2823 -x2923 1494.71/1495.20 v -x3023 -x3123 -x3223 -x3323 -x3423 -x3523 -x3623 -x3723 -x3823 -x3923 -x4023 x4123 -x4223 -x4323 -x4423 -x4523 -x4623 1494.71/1495.20 v -x4723 -x4823 -x4923 -x5023 -x5123 -x5223 -x5323 -x5423 -x5523 -x5623 -x5723 -x5823 -x5923 -x6023 -x6123 -x6223 -x6323 1494.71/1495.20 v -x6423 -x6523 -x6623 -x6723 -x6823 -x6923 -x7023 -x7123 -x7223 -x7323 -x7423 -x7523 -x7623 -x7723 -x7823 -x7923 -x8023 1494.71/1495.20 v -x8123 -x8223 -x8323 -x8423 -x8523 -x8623 -x8723 -x8823 -x8923 -x9023 -x9123 -x9223 -x9323 -x9423 -x9523 -x9623 -x9723 1494.71/1495.20 v -x9823 -x9923 -x24 -x124 -x224 -x324 -x424 -x524 -x624 -x724 -x824 -x924 -x1024 -x1124 -x1224 -x1324 -x1424 -x1524 -x1624 1494.71/1495.20 v -x1724 -x1824 -x1924 -x2024 -x2124 -x2224 -x2324 -x2424 -x2524 -x2624 x2724 -x2824 -x2924 -x3024 -x3124 -x3224 -x3324 1494.71/1495.20 v -x3424 -x3524 -x3624 -x3724 -x3824 -x3924 -x4024 -x4124 -x4224 -x4324 -x4424 -x4524 -x4624 -x4724 -x4824 -x4924 -x5024 1494.71/1495.20 v -x5124 -x5224 -x5324 -x5424 -x5524 -x5624 -x5724 -x5824 -x5924 -x6024 -x6124 -x6224 -x6324 -x6424 -x6524 -x6624 -x6724 1494.71/1495.20 v -x6824 -x6924 -x7024 -x7124 -x7224 -x7324 -x7424 -x7524 -x7624 -x7724 -x7824 -x7924 -x8024 -x8124 -x8224 -x8324 -x8424 1494.71/1495.20 v -x8524 -x8624 -x8724 -x8824 -x8924 -x9024 -x9124 -x9224 -x9324 -x9424 -x9524 -x9624 x9724 x9824 -x9924 -x25 -x125 -x225 1494.71/1495.20 v -x325 -x425 -x525 -x625 -x725 -x825 -x925 -x1025 -x1125 -x1225 -x1325 -x1425 -x1525 -x1625 -x1725 -x1825 -x1925 -x2025 1494.71/1495.20 v -x2125 -x2225 -x2325 -x2425 -x2525 -x2625 -x2725 -x2825 -x2925 -x3025 -x3125 -x3225 -x3325 -x3425 -x3525 -x3625 -x3725 1494.71/1495.20 v -x3825 -x3925 -x4025 -x4125 -x4225 -x4325 -x4425 -x4525 -x4625 -x4725 -x4825 -x4925 -x5025 -x5125 -x5225 -x5325 -x5425 1494.71/1495.20 v -x5525 -x5625 -x5725 -x5825 -x5925 -x6025 -x6125 x6225 -x6325 -x6425 -x6525 -x6625 -x6725 -x6825 -x6925 -x7025 -x7125 1494.71/1495.20 v -x7225 -x7325 -x7425 -x7525 -x7625 -x7725 -x7825 -x7925 -x8025 -x8125 -x8225 -x8325 -x8425 -x8525 -x8625 -x8725 -x8825 1494.71/1495.20 v -x8925 -x9025 -x9125 -x9225 -x9325 -x9425 -x9525 -x9625 -x9725 -x9825 -x9925 -x26 -x126 -x226 -x326 -x426 -x526 -x626 -x726 1494.71/1495.20 v -x826 x926 -x1026 -x1126 -x1226 -x1326 -x1426 -x1526 -x1626 -x1726 -x1826 -x1926 -x2026 -x2126 -x2226 -x2326 -x2426 -x2526 1494.71/1495.20 v -x2626 -x2726 -x2826 -x2926 -x3026 -x3126 -x3226 -x3326 -x3426 -x3526 -x3626 -x3726 -x3826 -x3926 -x4026 -x4126 -x4226 1494.71/1495.20 v -x4326 -x4426 -x4526 -x4626 -x4726 -x4826 -x4926 -x5026 -x5126 -x5226 -x5326 -x5426 -x5526 -x5626 -x5726 -x5826 -x5926 1494.71/1495.20 v -x6026 -x6126 -x6226 -x6326 -x6426 -x6526 -x6626 -x6726 -x6826 -x6926 -x7026 -x7126 -x7226 -x7326 -x7426 -x7526 -x7626 1494.71/1495.20 v -x7726 -x7826 -x7926 -x8026 -x8126 -x8226 -x8326 -x8426 -x8526 -x8626 -x8726 -x8826 -x8926 -x9026 -x9126 -x9226 -x9326 1494.71/1495.20 v -x9426 -x9526 -x9626 -x9726 -x9826 -x9926 -x27 -x127 -x227 -x327 -x427 -x527 -x627 -x727 -x827 -x927 -x1027 -x1127 -x1227 1494.71/1495.20 v -x1327 -x1427 -x1527 -x1627 -x1727 -x1827 -x1927 -x2027 -x2127 -x2227 -x2327 -x2427 -x2527 -x2627 -x2727 x2827 -x2927 1494.71/1495.20 v -x3027 -x3127 -x3227 -x3327 -x3427 -x3527 -x3627 -x3727 -x3827 -x3927 -x4027 -x4127 -x4227 x4327 -x4427 -x4527 -x4627 1494.71/1495.20 v -x4727 -x4827 -x4927 -x5027 -x5127 -x5227 -x5327 -x5427 -x5527 -x5627 -x5727 -x5827 -x5927 -x6027 -x6127 -x6227 -x6327 1494.71/1495.20 v -x6427 -x6527 -x6627 -x6727 -x6827 -x6927 -x7027 -x7127 -x7227 -x7327 -x7427 -x7527 -x7627 -x7727 -x7827 -x7927 -x8027 1494.71/1495.20 v -x8127 -x8227 -x8327 -x8427 -x8527 -x8627 -x8727 -x8827 -x8927 -x9027 -x9127 -x9227 -x9327 -x9427 -x9527 -x9627 -x9727 1494.71/1495.20 v -x9827 -x9927 -x28 -x128 -x228 -x328 -x428 -x528 -x628 -x728 -x828 -x928 -x1028 -x1128 -x1228 -x1328 -x1428 -x1528 -x1628 1494.71/1495.20 v -x1728 -x1828 -x1928 -x2028 -x2128 -x2228 -x2328 -x2428 -x2528 -x2628 -x2728 -x2828 -x2928 -x3028 -x3128 -x3228 -x3328 1494.71/1495.20 v -x3428 -x3528 -x3628 -x3728 -x3828 -x3928 -x4028 -x4128 -x4228 -x4328 -x4428 -x4528 -x4628 x4728 -x4828 -x4928 -x5028 1494.71/1495.20 v -x5128 -x5228 -x5328 -x5428 -x5528 -x5628 -x5728 -x5828 -x5928 -x6028 -x6128 -x6228 -x6328 -x6428 -x6528 -x6628 -x6728 1494.71/1495.20 v -x6828 -x6928 -x7028 -x7128 -x7228 -x7328 -x7428 -x7528 -x7628 -x7728 -x7828 -x7928 -x8028 -x8128 -x8228 -x8328 -x8428 1494.71/1495.20 v -x8528 -x8628 -x8728 -x8828 -x8928 -x9028 -x9128 -x9228 -x9328 -x9428 -x9528 -x9628 -x9728 -x9828 -x9928 -x29 -x129 -x229 1494.71/1495.20 v -x329 -x429 -x529 -x629 -x729 -x829 -x929 -x1029 -x1129 -x1229 -x1329 -x1429 -x1529 -x1629 -x1729 -x1829 -x1929 -x2029 1494.71/1495.20 v -x2129 -x2229 -x2329 -x2429 -x2529 -x2629 -x2729 -x2829 -x2929 -x3029 -x3129 -x3229 -x3329 -x3429 -x3529 -x3629 -x3729 1494.71/1495.20 v -x3829 -x3929 -x4029 -x4129 -x4229 -x4329 -x4429 -x4529 -x4629 -x4729 -x4829 -x4929 -x5029 -x5129 -x5229 -x5329 -x5429 1494.71/1495.20 v -x5529 -x5629 -x5729 -x5829 -x5929 -x6029 -x6129 -x6229 -x6329 -x6429 -x6529 -x6629 -x6729 -x6829 -x6929 -x7029 -x7129 1494.71/1495.20 v -x7229 -x7329 -x7429 -x7529 -x7629 -x7729 -x7829 -x7929 -x8029 -x8129 -x8229 -x8329 -x8429 -x8529 -x8629 -x8729 x8829 1494.71/1495.20 v -x8929 -x9029 -x9129 -x9229 -x9329 -x9429 -x9529 -x9629 -x9729 -x9829 -x9929 -x30 -x130 -x230 -x330 -x430 -x530 -x630 -x730 1494.71/1495.20 v -x830 -x930 -x1030 -x1130 -x1230 -x1330 -x1430 -x1530 -x1630 -x1730 -x1830 -x1930 -x2030 -x2130 -x2230 -x2330 -x2430 -x2530 1494.71/1495.20 v -x2630 -x2730 -x2830 -x2930 -x3030 -x3130 -x3230 -x3330 -x3430 -x3530 -x3630 -x3730 -x3830 -x3930 -x4030 -x4130 -x4230 1494.71/1495.20 v -x4330 x4430 -x4530 -x4630 -x4730 -x4830 -x4930 -x5030 -x5130 -x5230 -x5330 -x5430 -x5530 -x5630 -x5730 -x5830 -x5930 1494.71/1495.20 v -x6030 -x6130 -x6230 -x6330 -x6430 -x6530 -x6630 -x6730 -x6830 -x6930 -x7030 -x7130 -x7230 -x7330 -x7430 -x7530 -x7630 1494.71/1495.20 v -x7730 -x7830 -x7930 -x8030 -x8130 -x8230 -x8330 -x8430 -x8530 -x8630 -x8730 -x8830 -x8930 -x9030 -x9130 -x9230 -x9330 1494.71/1495.20 v -x9430 -x9530 -x9630 -x9730 -x9830 -x9930 -x31 x131 -x231 -x331 -x431 -x531 -x631 -x731 -x831 -x931 -x1031 -x1131 -x1231 1494.71/1495.20 v -x1331 -x1431 -x1531 -x1631 -x1731 -x1831 -x1931 -x2031 -x2131 -x2231 -x2331 -x2431 -x2531 -x2631 -x2731 -x2831 -x2931 1494.71/1495.20 v -x3031 -x3131 -x3231 -x3331 -x3431 -x3531 -x3631 -x3731 -x3831 -x3931 -x4031 -x4131 -x4231 -x4331 -x4431 -x4531 -x4631 1494.71/1495.20 v -x4731 -x4831 -x4931 -x5031 -x5131 -x5231 -x5331 -x5431 -x5531 -x5631 -x5731 -x5831 -x5931 -x6031 -x6131 -x6231 -x6331 1494.71/1495.20 v -x6431 -x6531 -x6631 -x6731 -x6831 -x6931 -x7031 -x7131 -x7231 -x7331 -x7431 -x7531 -x7631 -x7731 -x7831 -x7931 -x8031 1494.71/1495.20 v -x8131 -x8231 -x8331 -x8431 -x8531 -x8631 -x8731 -x8831 -x8931 -x9031 -x9131 -x9231 -x9331 -x9431 -x9531 -x9631 -x9731 1494.71/1495.20 v -x9831 -x9931 -x32 -x132 -x232 -x332 -x432 -x532 -x632 -x732 -x832 -x932 -x1032 -x1132 -x1232 -x1332 -x1432 -x1532 -x1632 1494.71/1495.20 v -x1732 -x1832 -x1932 -x2032 -x2132 -x2232 -x2332 -x2432 x2532 -x2632 -x2732 -x2832 -x2932 -x3032 -x3132 -x3232 -x3332 1494.71/1495.20 v -x3432 -x3532 -x3632 -x3732 -x3832 -x3932 -x4032 -x4132 -x4232 -x4332 -x4432 -x4532 -x4632 -x4732 -x4832 -x4932 -x5032 1494.71/1495.20 v -x5132 -x5232 -x5332 -x5432 -x5532 -x5632 -x5732 -x5832 -x5932 -x6032 -x6132 -x6232 -x6332 -x6432 -x6532 -x6632 -x6732 1494.71/1495.20 v -x6832 -x6932 -x7032 -x7132 -x7232 -x7332 -x7432 -x7532 -x7632 -x7732 -x7832 -x7932 -x8032 -x8132 -x8232 -x8332 -x8432 1494.71/1495.20 v -x8532 -x8632 -x8732 -x8832 -x8932 -x9032 -x9132 -x9232 -x9332 -x9432 -x9532 -x9632 -x9732 -x9832 -x9932 -x33 x133 -x233 1494.71/1495.20 v -x333 -x433 -x533 -x633 -x733 -x833 -x933 -x1033 -x1133 -x1233 -x1333 -x1433 -x1533 -x1633 -x1733 -x1833 -x1933 -x2033 1494.71/1495.20 v -x2133 -x2233 -x2333 -x2433 -x2533 -x2633 -x2733 -x2833 -x2933 -x3033 -x3133 -x3233 -x3333 -x3433 -x3533 -x3633 -x3733 1494.71/1495.20 v -x3833 -x3933 -x4033 -x4133 -x4233 -x4333 -x4433 -x4533 -x4633 -x4733 -x4833 -x4933 -x5033 -x5133 -x5233 -x5333 -x5433 1494.71/1495.20 v -x5533 -x5633 -x5733 -x5833 -x5933 -x6033 -x6133 -x6233 -x6333 -x6433 -x6533 -x6633 -x6733 -x6833 -x6933 -x7033 -x7133 1494.71/1495.20 v -x7233 -x7333 -x7433 -x7533 -x7633 -x7733 -x7833 -x7933 -x8033 -x8133 -x8233 -x8333 -x8433 -x8533 -x8633 -x8733 -x8833 1494.71/1495.20 v -x8933 -x9033 -x9133 -x9233 -x9333 -x9433 -x9533 -x9633 -x9733 -x9833 -x9933 -x34 -x134 -x234 x334 -x434 -x534 -x634 -x734 1494.71/1495.20 v -x834 -x934 -x1034 -x1134 -x1234 -x1334 -x1434 -x1534 -x1634 -x1734 -x1834 -x1934 -x2034 -x2134 -x2234 -x2334 -x2434 -x2534 1494.71/1495.20 v -x2634 -x2734 -x2834 -x2934 -x3034 -x3134 -x3234 -x3334 -x3434 -x3534 -x3634 -x3734 -x3834 -x3934 -x4034 -x4134 -x4234 1494.71/1495.20 v -x4334 -x4434 -x4534 -x4634 -x4734 -x4834 -x4934 -x5034 -x5134 -x5234 -x5334 -x5434 -x5534 -x5634 -x5734 -x5834 -x5934 1494.71/1495.20 v -x6034 -x6134 -x6234 -x6334 -x6434 -x6534 -x6634 -x6734 -x6834 -x6934 -x7034 -x7134 -x7234 -x7334 -x7434 -x7534 -x7634 1494.71/1495.20 v -x7734 -x7834 -x7934 -x8034 -x8134 -x8234 -x8334 -x8434 -x8534 -x8634 -x8734 -x8834 -x8934 -x9034 -x9134 -x9234 -x9334 1494.71/1495.20 v -x9434 -x9534 -x9634 -x9734 -x9834 -x9934 -x35 -x135 -x235 -x335 -x435 -x535 -x635 -x735 -x835 -x935 -x1035 -x1135 -x1235 1494.71/1495.20 v -x1335 -x1435 -x1535 -x1635 -x1735 -x1835 -x1935 -x2035 -x2135 -x2235 -x2335 -x2435 -x2535 -x2635 -x2735 -x2835 -x2935 1494.71/1495.20 v x3035 -x3135 -x3235 -x3335 -x3435 -x3535 -x3635 -x3735 -x3835 -x3935 -x4035 -x4135 -x4235 -x4335 -x4435 -x4535 -x4635 1494.71/1495.20 v -x4735 -x4835 -x4935 -x5035 -x5135 -x5235 -x5335 -x5435 -x5535 -x5635 -x5735 -x5835 -x5935 -x6035 -x6135 -x6235 -x6335 1494.71/1495.20 v -x6435 -x6535 -x6635 -x6735 -x6835 -x6935 -x7035 -x7135 -x7235 -x7335 -x7435 -x7535 -x7635 -x7735 -x7835 -x7935 -x8035 1494.71/1495.20 v -x8135 -x8235 -x8335 -x8435 -x8535 -x8635 -x8735 -x8835 -x8935 -x9035 -x9135 -x9235 -x9335 -x9435 -x9535 -x9635 -x9735 1494.71/1495.20 v -x9835 -x9935 -x36 -x136 -x236 -x336 -x436 -x536 -x636 -x736 -x836 -x936 -x1036 -x1136 -x1236 -x1336 -x1436 -x1536 -x1636 1494.71/1495.20 v -x1736 -x1836 -x1936 -x2036 -x2136 -x2236 -x2336 -x2436 -x2536 -x2636 -x2736 -x2836 -x2936 -x3036 -x3136 -x3236 -x3336 1494.71/1495.20 v -x3436 -x3536 -x3636 -x3736 -x3836 -x3936 -x4036 -x4136 -x4236 -x4336 -x4436 -x4536 -x4636 -x4736 x4836 -x4936 -x5036 1494.71/1495.20 v -x5136 -x5236 -x5336 -x5436 -x5536 -x5636 -x5736 -x5836 -x5936 -x6036 -x6136 -x6236 -x6336 -x6436 -x6536 -x6636 -x6736 1494.71/1495.20 v -x6836 -x6936 -x7036 -x7136 -x7236 -x7336 -x7436 -x7536 -x7636 -x7736 -x7836 -x7936 -x8036 -x8136 -x8236 -x8336 -x8436 1494.71/1495.20 v -x8536 -x8636 -x8736 -x8836 -x8936 -x9036 -x9136 -x9236 -x9336 -x9436 -x9536 -x9636 -x9736 -x9836 -x9936 -x37 -x137 -x237 1494.71/1495.20 v -x337 -x437 -x537 -x637 -x737 -x837 -x937 -x1037 -x1137 -x1237 -x1337 -x1437 -x1537 -x1637 -x1737 -x1837 -x1937 -x2037 1494.71/1495.20 v -x2137 -x2237 -x2337 -x2437 -x2537 -x2637 -x2737 -x2837 -x2937 -x3037 -x3137 -x3237 -x3337 -x3437 -x3537 -x3637 -x3737 1494.71/1495.20 v -x3837 -x3937 -x4037 -x4137 -x4237 -x4337 -x4437 -x4537 -x4637 -x4737 -x4837 -x4937 -x5037 -x5137 -x5237 -x5337 -x5437 1494.71/1495.20 v -x5537 -x5637 -x5737 -x5837 -x5937 -x6037 -x6137 -x6237 -x6337 -x6437 -x6537 -x6637 -x6737 -x6837 -x6937 -x7037 -x7137 1494.71/1495.20 v -x7237 -x7337 -x7437 -x7537 -x7637 -x7737 -x7837 -x7937 -x8037 -x8137 -x8237 -x8337 -x8437 -x8537 -x8637 -x8737 -x8837 1494.71/1495.20 v -x8937 -x9037 -x9137 -x9237 x9337 -x9437 -x9537 -x9637 -x9737 -x9837 -x9937 -x38 x138 -x238 -x338 -x438 -x538 -x638 -x738 1494.71/1495.20 v -x838 -x938 -x1038 -x1138 -x1238 -x1338 -x1438 -x1538 -x1638 -x1738 -x1838 -x1938 -x2038 -x2138 -x2238 -x2338 -x2438 -x2538 1494.71/1495.20 v -x2638 -x2738 -x2838 -x2938 -x3038 -x3138 -x3238 -x3338 -x3438 -x3538 -x3638 -x3738 -x3838 -x3938 -x4038 -x4138 -x4238 1494.71/1495.20 v -x4338 -x4438 -x4538 -x4638 -x4738 -x4838 -x4938 -x5038 -x5138 -x5238 -x5338 -x5438 -x5538 -x5638 -x5738 -x5838 -x5938 1494.71/1495.20 v -x6038 -x6138 -x6238 -x6338 -x6438 -x6538 -x6638 -x6738 -x6838 -x6938 -x7038 -x7138 -x7238 -x7338 -x7438 -x7538 -x7638 1494.71/1495.20 v -x7738 -x7838 -x7938 -x8038 -x8138 -x8238 -x8338 -x8438 -x8538 -x8638 -x8738 -x8838 -x8938 -x9038 -x9138 -x9238 -x9338 1494.71/1495.20 v -x9438 -x9538 -x9638 -x9738 -x9838 -x9938 -x39 -x139 -x239 -x339 -x439 -x539 -x639 -x739 -x839 -x939 -x1039 -x1139 -x1239 1494.71/1495.20 v -x1339 x1439 -x1539 -x1639 -x1739 -x1839 -x1939 -x2039 -x2139 -x2239 -x2339 -x2439 -x2539 -x2639 -x2739 -x2839 -x2939 1494.71/1495.20 v -x3039 -x3139 -x3239 -x3339 -x3439 -x3539 -x3639 -x3739 -x3839 -x3939 -x4039 -x4139 -x4239 -x4339 -x4439 -x4539 -x4639 1494.71/1495.20 v -x4739 -x4839 -x4939 -x5039 -x5139 -x5239 -x5339 -x5439 -x5539 -x5639 -x5739 -x5839 -x5939 -x6039 -x6139 -x6239 -x6339 1494.71/1495.20 v -x6439 -x6539 -x6639 -x6739 -x6839 -x6939 -x7039 -x7139 -x7239 -x7339 -x7439 -x7539 -x7639 -x7739 -x7839 -x7939 -x8039 1494.71/1495.20 v -x8139 -x8239 -x8339 -x8439 -x8539 -x8639 -x8739 -x8839 -x8939 -x9039 -x9139 -x9239 -x9339 -x9439 -x9539 x9639 -x9739 1494.71/1495.20 v -x9839 -x9939 -x40 -x140 -x240 -x340 -x440 -x540 -x640 -x740 -x840 -x940 -x1040 -x1140 -x1240 -x1340 -x1440 -x1540 -x1640 1494.71/1495.20 v -x1740 -x1840 -x1940 -x2040 -x2140 -x2240 -x2340 -x2440 -x2540 -x2640 -x2740 -x2840 -x2940 -x3040 -x3140 -x3240 -x3340 1494.71/1495.20 v -x3440 -x3540 -x3640 -x3740 -x3840 -x3940 -x4040 -x4140 -x4240 -x4340 -x4440 -x4540 -x4640 -x4740 -x4840 -x4940 -x5040 1494.71/1495.20 v -x5140 -x5240 x5340 -x5440 -x5540 -x5640 -x5740 -x5840 -x5940 -x6040 -x6140 -x6240 -x6340 -x6440 -x6540 -x6640 -x6740 1494.71/1495.20 v -x6840 -x6940 -x7040 -x7140 -x7240 -x7340 -x7440 -x7540 -x7640 -x7740 -x7840 -x7940 -x8040 -x8140 -x8240 -x8340 -x8440 1494.71/1495.20 v -x8540 -x8640 -x8740 -x8840 -x8940 -x9040 -x9140 -x9240 -x9340 -x9440 -x9540 -x9640 -x9740 -x9840 -x9940 -x41 -x141 -x241 1494.71/1495.20 v -x341 -x441 -x541 -x641 -x741 -x841 -x941 -x1041 -x1141 -x1241 -x1341 -x1441 -x1541 -x1641 -x1741 -x1841 -x1941 -x2041 1494.71/1495.20 v -x2141 -x2241 -x2341 -x2441 -x2541 -x2641 -x2741 -x2841 -x2941 -x3041 -x3141 -x3241 -x3341 -x3441 -x3541 -x3641 -x3741 1494.71/1495.20 v -x3841 -x3941 -x4041 -x4141 -x4241 -x4341 -x4441 -x4541 -x4641 -x4741 -x4841 -x4941 -x5041 -x5141 -x5241 -x5341 -x5441 1494.71/1495.20 v -x5541 -x5641 -x5741 -x5841 -x5941 -x6041 -x6141 -x6241 -x6341 -x6441 -x6541 -x6641 -x6741 -x6841 -x6941 -x7041 -x7141 1494.71/1495.20 v -x7241 -x7341 -x7441 x7541 -x7641 -x7741 -x7841 -x7941 -x8041 -x8141 -x8241 -x8341 -x8441 -x8541 -x8641 -x8741 -x8841 1494.71/1495.20 v -x8941 -x9041 -x9141 -x9241 -x9341 -x9441 -x9541 -x9641 -x9741 -x9841 -x9941 -x42 x142 -x242 -x342 -x442 -x542 -x642 -x742 1494.71/1495.20 v -x842 -x942 -x1042 -x1142 -x1242 -x1342 -x1442 -x1542 -x1642 -x1742 -x1842 -x1942 -x2042 -x2142 -x2242 -x2342 -x2442 -x2542 1494.71/1495.20 v -x2642 -x2742 -x2842 -x2942 -x3042 -x3142 -x3242 -x3342 -x3442 -x3542 -x3642 -x3742 -x3842 -x3942 -x4042 -x4142 -x4242 1494.71/1495.20 v -x4342 -x4442 -x4542 -x4642 -x4742 -x4842 -x4942 -x5042 -x5142 -x5242 -x5342 -x5442 -x5542 -x5642 -x5742 -x5842 -x5942 1494.71/1495.20 v -x6042 -x6142 -x6242 -x6342 -x6442 -x6542 -x6642 -x6742 -x6842 -x6942 -x7042 -x7142 -x7242 -x7342 -x7442 -x7542 -x7642 1494.71/1495.20 v -x7742 -x7842 -x7942 -x8042 -x8142 -x8242 -x8342 -x8442 -x8542 -x8642 -x8742 -x8842 -x8942 -x9042 -x9142 -x9242 -x9342 1494.71/1495.20 v -x9442 -x9542 -x9642 -x9742 -x9842 -x9942 -x43 -x143 -x243 x343 -x443 -x543 -x643 -x743 -x843 -x943 -x1043 -x1143 -x1243 1494.71/1495.20 v -x1343 -x1443 -x1543 -x1643 -x1743 -x1843 -x1943 -x2043 -x2143 -x2243 -x2343 -x2443 -x2543 -x2643 -x2743 -x2843 -x2943 1494.71/1495.20 v -x3043 -x3143 -x3243 -x3343 -x3443 -x3543 -x3643 -x3743 -x3843 -x3943 -x4043 -x4143 -x4243 -x4343 -x4443 -x4543 -x4643 1494.71/1495.20 v -x4743 -x4843 -x4943 -x5043 -x5143 -x5243 -x5343 -x5443 -x5543 -x5643 -x5743 -x5843 -x5943 -x6043 -x6143 -x6243 -x6343 1494.71/1495.20 v -x6443 -x6543 -x6643 -x6743 -x6843 -x6943 -x7043 -x7143 -x7243 -x7343 -x7443 -x7543 -x7643 -x7743 -x7843 -x7943 -x8043 1494.71/1495.20 v -x8143 -x8243 -x8343 -x8443 -x8543 -x8643 -x8743 -x8843 -x8943 -x9043 -x9143 -x9243 -x9343 -x9443 -x9543 -x9643 -x9743 1494.71/1495.20 v -x9843 -x9943 -x44 -x144 -x244 -x344 -x444 -x544 -x644 -x744 -x844 -x944 -x1044 -x1144 -x1244 -x1344 -x1444 -x1544 -x1644 1494.71/1495.20 v -x1744 x1844 -x1944 -x2044 -x2144 -x2244 -x2344 -x2444 -x2544 -x2644 -x2744 -x2844 -x2944 -x3044 -x3144 -x3244 -x3344 1494.71/1495.20 v -x3444 -x3544 -x3644 -x3744 -x3844 -x3944 -x4044 -x4144 -x4244 -x4344 -x4444 -x4544 -x4644 -x4744 -x4844 -x4944 -x5044 1494.71/1495.20 v -x5144 -x5244 -x5344 -x5444 -x5544 -x5644 -x5744 -x5844 -x5944 -x6044 -x6144 -x6244 -x6344 -x6444 -x6544 -x6644 -x6744 1494.71/1495.20 v -x6844 x6944 -x7044 -x7144 -x7244 -x7344 -x7444 -x7544 -x7644 -x7744 -x7844 -x7944 -x8044 -x8144 -x8244 -x8344 -x8444 1494.71/1495.20 v -x8544 -x8644 -x8744 -x8844 -x8944 -x9044 -x9144 -x9244 -x9344 -x9444 -x9544 -x9644 -x9744 -x9844 -x9944 -x45 -x145 -x245 1494.71/1495.20 v -x345 -x445 -x545 -x645 -x745 -x845 x945 -x1045 -x1145 -x1245 -x1345 -x1445 -x1545 -x1645 -x1745 -x1845 -x1945 -x2045 -x2145 1494.71/1495.20 v -x2245 -x2345 -x2445 -x2545 -x2645 -x2745 -x2845 -x2945 -x3045 -x3145 -x3245 -x3345 -x3445 -x3545 -x3645 -x3745 -x3845 1494.71/1495.20 v -x3945 -x4045 -x4145 -x4245 -x4345 -x4445 -x4545 -x4645 -x4745 -x4845 -x4945 -x5045 -x5145 -x5245 -x5345 -x5445 -x5545 1494.71/1495.20 v -x5645 -x5745 -x5845 -x5945 -x6045 -x6145 -x6245 -x6345 -x6445 -x6545 -x6645 -x6745 -x6845 -x6945 -x7045 -x7145 -x7245 1494.71/1495.20 v -x7345 -x7445 -x7545 -x7645 -x7745 -x7845 -x7945 -x8045 -x8145 -x8245 -x8345 -x8445 -x8545 -x8645 -x8745 -x8845 -x8945 1494.71/1495.20 v -x9045 -x9145 -x9245 -x9345 -x9445 -x9545 -x9645 -x9745 -x9845 -x9945 -x46 -x146 -x246 -x346 -x446 -x546 -x646 -x746 -x846 1494.71/1495.20 v -x946 -x1046 -x1146 -x1246 -x1346 -x1446 -x1546 -x1646 -x1746 -x1846 -x1946 -x2046 -x2146 -x2246 -x2346 -x2446 -x2546 1494.71/1495.20 v -x2646 -x2746 -x2846 -x2946 -x3046 -x3146 -x3246 -x3346 -x3446 -x3546 -x3646 -x3746 -x3846 -x3946 -x4046 -x4146 -x4246 1494.71/1495.20 v -x4346 -x4446 -x4546 -x4646 -x4746 -x4846 -x4946 -x5046 -x5146 -x5246 -x5346 -x5446 -x5546 -x5646 -x5746 -x5846 -x5946 1494.71/1495.20 v -x6046 -x6146 -x6246 -x6346 -x6446 -x6546 -x6646 -x6746 -x6846 -x6946 -x7046 -x7146 -x7246 -x7346 -x7446 -x7546 -x7646 1494.71/1495.20 v -x7746 -x7846 -x7946 -x8046 -x8146 -x8246 -x8346 -x8446 x8546 -x8646 -x8746 -x8846 -x8946 -x9046 -x9146 -x9246 -x9346 1494.71/1495.20 v -x9446 -x9546 -x9646 -x9746 -x9846 -x9946 -x47 -x147 -x247 -x347 -x447 -x547 -x647 -x747 -x847 -x947 -x1047 -x1147 -x1247 1494.71/1495.20 v -x1347 -x1447 -x1547 -x1647 -x1747 -x1847 -x1947 -x2047 -x2147 -x2247 -x2347 -x2447 -x2547 -x2647 -x2747 -x2847 -x2947 1494.71/1495.20 v -x3047 -x3147 x3247 -x3347 -x3447 -x3547 -x3647 -x3747 -x3847 -x3947 -x4047 -x4147 -x4247 -x4347 -x4447 -x4547 -x4647 1494.71/1495.20 v -x4747 -x4847 -x4947 -x5047 -x5147 -x5247 -x5347 -x5447 -x5547 -x5647 -x5747 -x5847 -x5947 -x6047 -x6147 -x6247 -x6347 1494.71/1495.20 v -x6447 -x6547 -x6647 -x6747 -x6847 -x6947 -x7047 -x7147 -x7247 -x7347 -x7447 -x7547 -x7647 -x7747 -x7847 -x7947 -x8047 1494.71/1495.20 v -x8147 -x8247 -x8347 -x8447 -x8547 -x8647 -x8747 -x8847 -x8947 -x9047 -x9147 -x9247 -x9347 -x9447 -x9547 -x9647 -x9747 1494.71/1495.20 v -x9847 -x9947 -x48 -x148 -x248 -x348 -x448 -x548 -x648 -x748 -x848 -x948 -x1048 -x1148 -x1248 -x1348 -x1448 -x1548 -x1648 1494.71/1495.20 v -x1748 -x1848 -x1948 -x2048 -x2148 -x2248 -x2348 -x2448 -x2548 -x2648 -x2748 -x2848 -x2948 -x3048 -x3148 -x3248 -x3348 1494.71/1495.20 v -x3448 -x3548 -x3648 -x3748 -x3848 -x3948 -x4048 -x4148 -x4248 -x4348 -x4448 -x4548 -x4648 -x4748 -x4848 -x4948 -x5048 1494.71/1495.20 v -x5148 -x5248 -x5348 -x5448 -x5548 -x5648 -x5748 -x5848 -x5948 -x6048 -x6148 -x6248 -x6348 -x6448 -x6548 -x6648 -x6748 1494.71/1495.20 v -x6848 -x6948 -x7048 -x7148 -x7248 -x7348 -x7448 -x7548 -x7648 -x7748 -x7848 -x7948 -x8048 x8148 -x8248 -x8348 -x8448 1494.71/1495.20 v -x8548 -x8648 -x8748 -x8848 -x8948 -x9048 -x9148 -x9248 -x9348 -x9448 -x9548 -x9648 -x9748 -x9848 -x9948 -x49 x149 -x249 1494.71/1495.20 v -x349 -x449 -x549 -x649 -x749 -x849 -x949 -x1049 -x1149 -x1249 -x1349 -x1449 -x1549 -x1649 -x1749 -x1849 -x1949 -x2049 1494.71/1495.20 v -x2149 -x2249 -x2349 -x2449 -x2549 -x2649 -x2749 -x2849 -x2949 -x3049 -x3149 -x3249 -x3349 -x3449 -x3549 -x3649 -x3749 1494.71/1495.20 v -x3849 -x3949 -x4049 -x4149 -x4249 -x4349 -x4449 -x4549 -x4649 -x4749 -x4849 -x4949 -x5049 -x5149 -x5249 -x5349 -x5449 1494.71/1495.20 v -x5549 -x5649 -x5749 -x5849 -x5949 -x6049 -x6149 -x6249 -x6349 -x6449 -x6549 -x6649 -x6749 -x6849 -x6949 -x7049 -x7149 1494.71/1495.20 v -x7249 -x7349 -x7449 -x7549 -x7649 -x7749 -x7849 -x7949 -x8049 -x8149 -x8249 -x8349 -x8449 -x8549 -x8649 -x8749 -x8849 1494.71/1495.20 v -x8949 -x9049 -x9149 -x9249 -x9349 -x9449 -x9549 -x9649 -x9749 -x9849 -x9949 -x50 -x150 -x250 -x350 -x450 -x550 -x650 -x750 1494.71/1495.20 v -x850 -x950 -x1050 -x1150 -x1250 -x1350 -x1450 -x1550 -x1650 -x1750 -x1850 -x1950 -x2050 -x2150 -x2250 -x2350 -x2450 -x2550 1494.71/1495.20 v -x2650 -x2750 -x2850 -x2950 -x3050 -x3150 -x3250 -x3350 -x3450 -x3550 -x3650 -x3750 -x3850 -x3950 -x4050 -x4150 -x4250 1494.71/1495.20 v -x4350 -x4450 -x4550 -x4650 -x4750 -x4850 -x4950 -x5050 -x5150 -x5250 -x5350 -x5450 -x5550 -x5650 -x5750 -x5850 -x5950 1494.71/1495.20 v -x6050 -x6150 -x6250 -x6350 -x6450 -x6550 -x6650 -x6750 -x6850 -x6950 -x7050 -x7150 -x7250 -x7350 -x7450 -x7550 -x7650 1494.71/1495.20 v -x7750 -x7850 -x7950 -x8050 -x8150 -x8250 -x8350 -x8450 -x8550 -x8650 -x8750 -x8850 -x8950 -x9050 -x9150 -x9250 -x9350 1494.71/1495.20 v -x9450 x9550 -x9650 -x9750 -x9850 -x9950 -x51 -x151 -x251 -x351 -x451 -x551 -x651 -x751 -x851 -x951 -x1051 -x1151 -x1251 1494.71/1495.20 v -x1351 -x1451 -x1551 -x1651 -x1751 -x1851 -x1951 -x2051 -x2151 -x2251 -x2351 -x2451 -x2551 -x2651 -x2751 -x2851 -x2951 1494.71/1495.20 v -x3051 -x3151 -x3251 -x3351 -x3451 -x3551 -x3651 -x3751 -x3851 -x3951 -x4051 -x4151 -x4251 -x4351 -x4451 -x4551 -x4651 1494.71/1495.20 v -x4751 -x4851 -x4951 -x5051 -x5151 -x5251 -x5351 -x5451 -x5551 -x5651 -x5751 -x5851 -x5951 -x6051 -x6151 -x6251 -x6351 1494.71/1495.20 v -x6451 -x6551 -x6651 -x6751 -x6851 -x6951 -x7051 -x7151 -x7251 -x7351 -x7451 -x7551 -x7651 -x7751 -x7851 -x7951 -x8051 1494.71/1495.20 v -x8151 -x8251 -x8351 -x8451 -x8551 -x8651 -x8751 -x8851 x8951 -x9051 -x9151 -x9251 -x9351 -x9451 -x9551 -x9651 -x9751 1494.71/1495.20 v -x9851 -x9951 -x52 -x152 -x252 -x352 -x452 -x552 -x652 x752 -x852 -x952 -x1052 -x1152 -x1252 -x1352 -x1452 -x1552 -x1652 1494.71/1495.20 v -x1752 -x1852 -x1952 -x2052 -x2152 -x2252 -x2352 -x2452 -x2552 -x2652 -x2752 -x2852 -x2952 -x3052 -x3152 -x3252 -x3352 1494.71/1495.20 v -x3452 -x3552 -x3652 -x3752 -x3852 -x3952 -x4052 -x4152 -x4252 -x4352 -x4452 -x4552 -x4652 -x4752 -x4852 -x4952 -x5052 1494.71/1495.20 v -x5152 -x5252 -x5352 -x5452 -x5552 -x5652 -x5752 -x5852 -x5952 -x6052 -x6152 -x6252 -x6352 -x6452 -x6552 -x6652 -x6752 1494.71/1495.20 v -x6852 -x6952 -x7052 -x7152 -x7252 -x7352 -x7452 -x7552 -x7652 -x7752 -x7852 -x7952 -x8052 -x8152 -x8252 -x8352 -x8452 1494.71/1495.20 v -x8552 -x8652 -x8752 -x8852 -x8952 -x9052 -x9152 -x9252 -x9352 -x9452 -x9552 -x9652 -x9752 -x9852 -x9952 -x53 -x153 -x253 1494.71/1495.20 v -x353 -x453 -x553 -x653 -x753 -x853 -x953 -x1053 -x1153 -x1253 -x1353 -x1453 -x1553 -x1653 -x1753 -x1853 -x1953 -x2053 1494.71/1495.20 v -x2153 -x2253 -x2353 -x2453 -x2553 -x2653 -x2753 -x2853 -x2953 -x3053 -x3153 -x3253 -x3353 -x3453 -x3553 -x3653 -x3753 1494.71/1495.20 v -x3853 -x3953 -x4053 -x4153 -x4253 -x4353 -x4453 -x4553 -x4653 -x4753 -x4853 -x4953 -x5053 -x5153 -x5253 -x5353 -x5453 1494.71/1495.20 v -x5553 -x5653 -x5753 -x5853 -x5953 -x6053 x6153 -x6253 -x6353 -x6453 -x6553 -x6653 -x6753 -x6853 -x6953 -x7053 -x7153 1494.71/1495.20 v -x7253 -x7353 -x7453 -x7553 -x7653 -x7753 -x7853 -x7953 -x8053 -x8153 -x8253 -x8353 -x8453 -x8553 -x8653 -x8753 -x8853 1494.71/1495.20 v -x8953 -x9053 -x9153 -x9253 -x9353 -x9453 -x9553 -x9653 -x9753 -x9853 -x9953 -x54 -x154 -x254 -x354 -x454 -x554 -x654 -x754 1494.71/1495.20 v -x854 -x954 -x1054 -x1154 -x1254 -x1354 -x1454 -x1554 -x1654 -x1754 -x1854 -x1954 -x2054 -x2154 -x2254 -x2354 -x2454 -x2554 1494.71/1495.20 v -x2654 -x2754 -x2854 -x2954 -x3054 x3154 -x3254 -x3354 -x3454 -x3554 -x3654 -x3754 -x3854 -x3954 -x4054 -x4154 -x4254 1494.71/1495.20 v -x4354 -x4454 -x4554 -x4654 -x4754 -x4854 -x4954 -x5054 -x5154 -x5254 -x5354 -x5454 -x5554 -x5654 -x5754 -x5854 -x5954 1494.71/1495.20 v -x6054 -x6154 -x6254 -x6354 -x6454 -x6554 -x6654 -x6754 -x6854 -x6954 -x7054 -x7154 -x7254 -x7354 -x7454 -x7554 -x7654 1494.71/1495.20 v -x7754 -x7854 -x7954 -x8054 -x8154 -x8254 -x8354 -x8454 -x8554 -x8654 -x8754 -x8854 -x8954 -x9054 -x9154 -x9254 -x9354 1494.71/1495.20 v -x9454 -x9554 -x9654 -x9754 -x9854 -x9954 -x55 -x155 -x255 -x355 -x455 -x555 -x655 -x755 -x855 -x955 -x1055 -x1155 -x1255 1494.71/1495.20 v -x1355 -x1455 -x1555 -x1655 -x1755 -x1855 -x1955 -x2055 -x2155 -x2255 -x2355 -x2455 -x2555 -x2655 -x2755 -x2855 -x2955 1494.71/1495.20 v -x3055 -x3155 -x3255 -x3355 -x3455 -x3555 x3655 -x3755 -x3855 -x3955 -x4055 -x4155 -x4255 -x4355 -x4455 -x4555 -x4655 1494.71/1495.20 v -x4755 -x4855 -x4955 -x5055 -x5155 -x5255 -x5355 -x5455 -x5555 -x5655 -x5755 -x5855 -x5955 -x6055 -x6155 -x6255 -x6355 1494.71/1495.20 v -x6455 -x6555 -x6655 -x6755 -x6855 -x6955 -x7055 -x7155 -x7255 -x7355 -x7455 -x7555 -x7655 -x7755 -x7855 -x7955 -x8055 1494.71/1495.20 v -x8155 -x8255 -x8355 -x8455 -x8555 -x8655 -x8755 -x8855 -x8955 -x9055 -x9155 -x9255 -x9355 -x9455 -x9555 -x9655 -x9755 1494.71/1495.20 v -x9855 -x9955 -x56 -x156 -x256 -x356 -x456 x556 -x656 -x756 -x856 -x956 -x1056 -x1156 -x1256 -x1356 -x1456 -x1556 -x1656 1494.71/1495.20 v -x1756 -x1856 -x1956 -x2056 -x2156 -x2256 -x2356 -x2456 -x2556 -x2656 -x2756 -x2856 -x2956 -x3056 -x3156 -x3256 -x3356 1494.71/1495.20 v -x3456 -x3556 -x3656 -x3756 -x3856 -x3956 -x4056 -x4156 -x4256 -x4356 -x4456 -x4556 -x4656 -x4756 -x4856 -x4956 -x5056 1494.71/1495.20 v -x5156 -x5256 -x5356 -x5456 -x5556 -x5656 -x5756 -x5856 -x5956 -x6056 -x6156 -x6256 -x6356 -x6456 -x6556 -x6656 -x6756 1494.71/1495.20 v -x6856 -x6956 -x7056 -x7156 -x7256 -x7356 -x7456 -x7556 -x7656 -x7756 -x7856 -x7956 -x8056 -x8156 -x8256 -x8356 -x8456 1494.71/1495.20 v -x8556 -x8656 -x8756 -x8856 -x8956 -x9056 -x9156 -x9256 -x9356 -x9456 -x9556 -x9656 -x9756 -x9856 -x9956 -x57 -x157 -x257 1494.71/1495.20 v -x357 -x457 -x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357 -x1457 -x1557 -x1657 -x1757 -x1857 -x1957 -x2057 1494.71/1495.20 v -x2157 -x2257 -x2357 -x2457 -x2557 -x2657 -x2757 -x2857 -x2957 -x3057 -x3157 -x3257 -x3357 -x3457 -x3557 -x3657 -x3757 1494.71/1495.20 v -x3857 -x3957 -x4057 -x4157 -x4257 -x4357 -x4457 -x4557 -x4657 -x4757 -x4857 -x4957 -x5057 -x5157 -x5257 -x5357 -x5457 1494.71/1495.20 v -x5557 -x5657 -x5757 -x5857 -x5957 -x6057 -x6157 -x6257 -x6357 -x6457 -x6557 -x6657 -x6757 x6857 -x6957 -x7057 -x7157 1494.71/1495.20 v -x7257 -x7357 -x7457 -x7557 -x7657 -x7757 -x7857 -x7957 -x8057 -x8157 -x8257 -x8357 -x8457 -x8557 -x8657 -x8757 -x8857 1494.71/1495.20 v -x8957 -x9057 -x9157 -x9257 -x9357 -x9457 -x9557 -x9657 -x9757 -x9857 -x9957 -x58 -x158 -x258 -x358 -x458 -x558 -x658 -x758 1494.71/1495.20 v -x858 -x958 -x1058 -x1158 -x1258 -x1358 -x1458 -x1558 -x1658 -x1758 -x1858 -x1958 x2058 -x2158 -x2258 -x2358 -x2458 -x2558 1494.71/1495.20 v -x2658 -x2758 -x2858 -x2958 -x3058 -x3158 -x3258 -x3358 -x3458 -x3558 -x3658 -x3758 -x3858 -x3958 -x4058 -x4158 -x4258 1494.71/1495.20 v -x4358 -x4458 -x4558 -x4658 -x4758 -x4858 -x4958 -x5058 -x5158 -x5258 -x5358 -x5458 -x5558 -x5658 -x5758 -x5858 -x5958 1494.71/1495.20 v -x6058 -x6158 -x6258 -x6358 -x6458 -x6558 -x6658 -x6758 -x6858 -x6958 -x7058 -x7158 -x7258 -x7358 -x7458 -x7558 -x7658 1494.71/1495.20 v -x7758 -x7858 -x7958 -x8058 -x8158 -x8258 -x8358 -x8458 -x8558 -x8658 -x8758 -x8858 -x8958 -x9058 -x9158 -x9258 -x9358 1494.71/1495.20 v -x9458 -x9558 -x9658 -x9758 -x9858 -x9958 -x59 -x159 -x259 -x359 -x459 -x559 -x659 -x759 -x859 -x959 -x1059 -x1159 -x1259 1494.71/1495.20 v -x1359 -x1459 -x1559 -x1659 -x1759 -x1859 -x1959 -x2059 -x2159 -x2259 -x2359 -x2459 -x2559 -x2659 -x2759 -x2859 -x2959 1494.71/1495.20 v -x3059 -x3159 -x3259 -x3359 -x3459 -x3559 -x3659 -x3759 -x3859 -x3959 -x4059 -x4159 -x4259 -x4359 -x4459 -x4559 -x4659 1494.71/1495.20 v -x4759 -x4859 -x4959 -x5059 -x5159 -x5259 -x5359 -x5459 -x5559 -x5659 -x5759 -x5859 -x5959 -x6059 -x6159 -x6259 -x6359 1494.71/1495.20 v x6459 -x6559 -x6659 -x6759 -x6859 -x6959 -x7059 -x7159 -x7259 -x7359 -x7459 -x7559 -x7659 -x7759 -x7859 -x7959 -x8059 1494.71/1495.20 v -x8159 -x8259 -x8359 -x8459 -x8559 -x8659 -x8759 -x8859 -x8959 -x9059 -x9159 -x9259 -x9359 -x9459 -x9559 -x9659 -x9759 1494.71/1495.20 v -x9859 -x9959 -x60 -x160 -x260 -x360 -x460 -x560 -x660 -x760 -x860 -x960 -x1060 -x1160 -x1260 -x1360 -x1460 -x1560 -x1660 1494.71/1495.20 v -x1760 -x1860 -x1960 -x2060 -x2160 -x2260 -x2360 -x2460 -x2560 -x2660 -x2760 -x2860 -x2960 -x3060 -x3160 -x3260 -x3360 1494.71/1495.20 v -x3460 -x3560 -x3660 -x3760 -x3860 -x3960 -x4060 -x4160 -x4260 -x4360 -x4460 -x4560 -x4660 -x4760 -x4860 -x4960 -x5060 1494.71/1495.20 v -x5160 -x5260 -x5360 -x5460 -x5560 -x5660 -x5760 -x5860 -x5960 -x6060 -x6160 -x6260 -x6360 -x6460 -x6560 -x6660 -x6760 1494.71/1495.20 v -x6860 -x6960 -x7060 -x7160 -x7260 -x7360 -x7460 -x7560 -x7660 -x7760 -x7860 -x7960 -x8060 -x8160 -x8260 -x8360 -x8460 1494.71/1495.20 v -x8560 -x8660 -x8760 -x8860 -x8960 x9060 -x9160 -x9260 -x9360 -x9460 -x9560 -x9660 -x9760 -x9860 -x9960 -x61 -x161 -x261 1494.71/1495.20 v -x361 -x461 -x561 -x661 -x761 -x861 -x961 -x1061 -x1161 -x1261 -x1361 -x1461 -x1561 -x1661 -x1761 -x1861 -x1961 -x2061 1494.71/1495.20 v -x2161 -x2261 -x2361 -x2461 -x2561 -x2661 -x2761 -x2861 -x2961 -x3061 -x3161 -x3261 -x3361 -x3461 -x3561 -x3661 -x3761 1494.71/1495.20 v -x3861 -x3961 -x4061 -x4161 -x4261 -x4361 -x4461 -x4561 -x4661 -x4761 -x4861 -x4961 -x5061 -x5161 -x5261 -x5361 -x5461 1494.71/1495.20 v -x5561 -x5661 -x5761 -x5861 -x5961 -x6061 -x6161 -x6261 -x6361 -x6461 -x6561 -x6661 -x6761 -x6861 -x6961 -x7061 -x7161 1494.71/1495.20 v -x7261 -x7361 -x7461 -x7561 -x7661 -x7761 -x7861 -x7961 -x8061 -x8161 -x8261 -x8361 -x8461 -x8561 -x8661 -x8761 -x8861 1494.71/1495.20 v -x8961 x9061 -x9161 -x9261 -x9361 -x9461 -x9561 -x9661 -x9761 -x9861 -x9961 -x62 -x162 -x262 -x362 -x462 x562 -x662 -x762 1494.71/1495.20 v -x862 -x962 -x1062 -x1162 -x1262 -x1362 -x1462 -x1562 -x1662 -x1762 -x1862 -x1962 -x2062 -x2162 -x2262 -x2362 -x2462 -x2562 1494.71/1495.20 v -x2662 -x2762 -x2862 -x2962 -x3062 -x3162 -x3262 -x3362 -x3462 -x3562 -x3662 -x3762 -x3862 -x3962 -x4062 -x4162 -x4262 1494.71/1495.20 v -x4362 -x4462 -x4562 -x4662 -x4762 -x4862 -x4962 -x5062 -x5162 -x5262 -x5362 -x5462 -x5562 -x5662 -x5762 -x5862 -x5962 1494.71/1495.20 v -x6062 -x6162 -x6262 -x6362 -x6462 -x6562 -x6662 -x6762 -x6862 -x6962 -x7062 -x7162 -x7262 -x7362 -x7462 -x7562 -x7662 1494.71/1495.20 v -x7762 -x7862 -x7962 -x8062 -x8162 -x8262 -x8362 -x8462 -x8562 -x8662 -x8762 -x8862 -x8962 -x9062 -x9162 -x9262 -x9362 1494.71/1495.20 v -x9462 -x9562 -x9662 -x9762 -x9862 -x9962 -x63 -x163 -x263 -x363 -x463 -x563 -x663 -x763 -x863 -x963 -x1063 -x1163 -x1263 1494.71/1495.20 v -x1363 -x1463 -x1563 -x1663 -x1763 -x1863 -x1963 -x2063 -x2163 -x2263 -x2363 -x2463 -x2563 -x2663 -x2763 -x2863 -x2963 1494.71/1495.20 v -x3063 -x3163 -x3263 -x3363 -x3463 -x3563 -x3663 -x3763 -x3863 -x3963 -x4063 -x4163 -x4263 -x4363 -x4463 -x4563 -x4663 1494.71/1495.20 v x4763 -x4863 -x4963 -x5063 -x5163 -x5263 -x5363 -x5463 -x5563 -x5663 -x5763 -x5863 -x5963 -x6063 -x6163 -x6263 -x6363 1494.71/1495.20 v -x6463 -x6563 -x6663 -x6763 -x6863 -x6963 -x7063 -x7163 -x7263 -x7363 -x7463 -x7563 -x7663 -x7763 -x7863 -x7963 -x8063 1494.71/1495.20 v -x8163 -x8263 -x8363 -x8463 -x8563 -x8663 -x8763 -x8863 -x8963 -x9063 -x9163 -x9263 -x9363 -x9463 -x9563 -x9663 -x9763 1494.71/1495.20 v -x9863 -x9963 -x64 -x164 -x264 -x364 -x464 -x564 -x664 -x764 -x864 -x964 -x1064 -x1164 -x1264 -x1364 -x1464 -x1564 -x1664 1494.71/1495.20 v -x1764 -x1864 -x1964 -x2064 -x2164 -x2264 -x2364 -x2464 -x2564 -x2664 -x2764 -x2864 -x2964 -x3064 -x3164 -x3264 -x3364 1494.71/1495.20 v -x3464 -x3564 -x3664 -x3764 -x3864 -x3964 -x4064 -x4164 -x4264 -x4364 -x4464 -x4564 -x4664 -x4764 -x4864 -x4964 -x5064 1494.71/1495.20 v -x5164 -x5264 -x5364 -x5464 -x5564 -x5664 -x5764 -x5864 -x5964 -x6064 -x6164 -x6264 -x6364 -x6464 -x6564 -x6664 -x6764 1494.71/1495.20 v -x6864 -x6964 -x7064 -x7164 -x7264 -x7364 -x7464 -x7564 -x7664 -x7764 -x7864 -x7964 -x8064 -x8164 -x8264 -x8364 -x8464 1494.71/1495.20 v -x8564 -x8664 -x8764 -x8864 -x8964 -x9064 x9164 -x9264 -x9364 -x9464 -x9564 -x9664 -x9764 -x9864 -x9964 -x65 -x165 -x265 1494.71/1495.20 v -x365 -x465 -x565 -x665 -x765 -x865 -x965 -x1065 -x1165 -x1265 -x1365 -x1465 -x1565 -x1665 -x1765 -x1865 -x1965 -x2065 1494.71/1495.20 v -x2165 -x2265 -x2365 -x2465 -x2565 -x2665 -x2765 -x2865 -x2965 -x3065 -x3165 -x3265 -x3365 -x3465 -x3565 -x3665 -x3765 1494.71/1495.20 v -x3865 -x3965 -x4065 -x4165 -x4265 -x4365 -x4465 -x4565 -x4665 -x4765 -x4865 -x4965 -x5065 -x5165 -x5265 -x5365 -x5465 1494.71/1495.20 v -x5565 -x5665 -x5765 -x5865 -x5965 -x6065 -x6165 -x6265 -x6365 -x6465 -x6565 -x6665 -x6765 -x6865 -x6965 -x7065 -x7165 1494.71/1495.20 v -x7265 -x7365 -x7465 -x7565 -x7665 -x7765 -x7865 -x7965 -x8065 -x8165 -x8265 -x8365 -x8465 -x8565 -x8665 -x8765 x8865 1494.71/1495.20 v -x8965 -x9065 -x9165 -x9265 -x9365 -x9465 -x9565 -x9665 -x9765 -x9865 -x9965 -x66 -x166 -x266 -x366 -x466 -x566 -x666 -x766 1494.71/1495.20 v -x866 -x966 -x1066 -x1166 -x1266 -x1366 -x1466 -x1566 -x1666 -x1766 -x1866 -x1966 -x2066 -x2166 -x2266 -x2366 -x2466 -x2566 1494.71/1495.20 v -x2666 -x2766 -x2866 -x2966 -x3066 -x3166 -x3266 -x3366 -x3466 -x3566 -x3666 -x3766 -x3866 -x3966 -x4066 -x4166 -x4266 1494.71/1495.20 v -x4366 -x4466 -x4566 -x4666 -x4766 -x4866 -x4966 -x5066 -x5166 -x5266 -x5366 -x5466 -x5566 -x5666 -x5766 -x5866 -x5966 1494.71/1495.20 v -x6066 -x6166 -x6266 -x6366 -x6466 -x6566 -x6666 -x6766 -x6866 -x6966 -x7066 -x7166 -x7266 -x7366 -x7466 -x7566 x7666 1494.71/1495.20 v -x7766 -x7866 -x7966 -x8066 -x8166 -x8266 -x8366 -x8466 -x8566 -x8666 -x8766 -x8866 -x8966 -x9066 -x9166 -x9266 -x9366 1494.71/1495.20 v -x9466 -x9566 -x9666 -x9766 -x9866 -x9966 -x67 -x167 -x267 -x367 -x467 -x567 -x667 -x767 -x867 -x967 -x1067 -x1167 -x1267 1494.71/1495.20 v -x1367 -x1467 -x1567 -x1667 -x1767 -x1867 -x1967 -x2067 -x2167 -x2267 -x2367 -x2467 -x2567 -x2667 -x2767 -x2867 -x2967 1494.71/1495.20 v -x3067 -x3167 -x3267 -x3367 -x3467 -x3567 -x3667 -x3767 -x3867 -x3967 -x4067 -x4167 -x4267 -x4367 -x4467 x4567 -x4667 1494.71/1495.20 v -x4767 -x4867 -x4967 -x5067 -x5167 -x5267 -x5367 -x5467 -x5567 -x5667 -x5767 -x5867 x5967 -x6067 -x6167 -x6267 -x6367 1494.71/1495.20 v -x6467 -x6567 -x6667 -x6767 -x6867 -x6967 -x7067 -x7167 -x7267 -x7367 -x7467 -x7567 -x7667 -x7767 -x7867 -x7967 -x8067 1494.71/1495.20 v -x8167 -x8267 -x8367 -x8467 -x8567 -x8667 -x8767 -x8867 -x8967 -x9067 -x9167 -x9267 -x9367 -x9467 -x9567 -x9667 -x9767 1494.71/1495.20 v -x9867 -x9967 -x68 -x168 -x268 -x368 -x468 -x568 -x668 -x768 -x868 x968 -x1068 -x1168 -x1268 -x1368 -x1468 -x1568 -x1668 1494.71/1495.20 v -x1768 -x1868 -x1968 -x2068 -x2168 -x2268 -x2368 -x2468 -x2568 -x2668 -x2768 -x2868 -x2968 -x3068 -x3168 -x3268 -x3368 1494.71/1495.20 v -x3468 -x3568 -x3668 -x3768 -x3868 -x3968 -x4068 -x4168 -x4268 -x4368 -x4468 -x4568 -x4668 -x4768 -x4868 -x4968 -x5068 1494.71/1495.20 v -x5168 -x5268 -x5368 -x5468 -x5568 -x5668 -x5768 -x5868 -x5968 -x6068 -x6168 -x6268 -x6368 -x6468 -x6568 -x6668 -x6768 1494.71/1495.20 v -x6868 -x6968 -x7068 -x7168 -x7268 -x7368 -x7468 -x7568 -x7668 -x7768 -x7868 -x7968 -x8068 -x8168 -x8268 -x8368 -x8468 1494.71/1495.20 v -x8568 -x8668 -x8768 -x8868 -x8968 -x9068 -x9168 -x9268 -x9368 -x9468 -x9568 -x9668 -x9768 -x9868 -x9968 -x69 -x169 -x269 1494.71/1495.20 v -x369 -x469 -x569 -x669 -x769 -x869 -x969 -x1069 -x1169 -x1269 -x1369 -x1469 -x1569 -x1669 -x1769 -x1869 -x1969 -x2069 1494.71/1495.20 v -x2169 -x2269 -x2369 -x2469 -x2569 x2669 -x2769 -x2869 -x2969 -x3069 -x3169 -x3269 -x3369 -x3469 -x3569 -x3669 -x3769 1494.71/1495.20 v -x3869 -x3969 -x4069 -x4169 -x4269 -x4369 -x4469 -x4569 -x4669 -x4769 -x4869 -x4969 -x5069 -x5169 -x5269 -x5369 -x5469 1494.71/1495.20 v -x5569 -x5669 -x5769 x5869 -x5969 -x6069 -x6169 -x6269 -x6369 -x6469 -x6569 -x6669 -x6769 -x6869 -x6969 -x7069 -x7169 1494.71/1495.20 v -x7269 -x7369 -x7469 -x7569 -x7669 -x7769 -x7869 -x7969 -x8069 -x8169 -x8269 -x8369 -x8469 -x8569 -x8669 -x8769 -x8869 1494.71/1495.20 v -x8969 -x9069 -x9169 -x9269 -x9369 -x9469 -x9569 -x9669 -x9769 -x9869 -x9969 -x70 -x170 -x270 -x370 -x470 -x570 -x670 -x770 1494.71/1495.20 v -x870 -x970 -x1070 -x1170 -x1270 -x1370 -x1470 -x1570 -x1670 -x1770 -x1870 -x1970 -x2070 -x2170 -x2270 -x2370 -x2470 -x2570 1494.71/1495.20 v -x2670 -x2770 -x2870 -x2970 -x3070 -x3170 -x3270 -x3370 -x3470 -x3570 -x3670 -x3770 -x3870 -x3970 -x4070 -x4170 -x4270 1494.71/1495.20 v -x4370 -x4470 -x4570 -x4670 -x4770 -x4870 -x4970 -x5070 -x5170 -x5270 -x5370 -x5470 -x5570 -x5670 -x5770 -x5870 -x5970 1494.71/1495.20 v -x6070 -x6170 -x6270 -x6370 -x6470 -x6570 x6670 -x6770 -x6870 -x6970 -x7070 -x7170 -x7270 -x7370 -x7470 -x7570 -x7670 1494.71/1495.20 v -x7770 -x7870 -x7970 -x8070 -x8170 -x8270 -x8370 -x8470 -x8570 -x8670 -x8770 -x8870 -x8970 -x9070 -x9170 -x9270 -x9370 1494.71/1495.20 v -x9470 -x9570 -x9670 -x9770 -x9870 -x9970 -x71 -x171 -x271 -x371 -x471 -x571 -x671 -x771 -x871 -x971 -x1071 -x1171 -x1271 1494.71/1495.20 v -x1371 -x1471 -x1571 -x1671 -x1771 -x1871 -x1971 -x2071 -x2171 -x2271 -x2371 -x2471 -x2571 -x2671 -x2771 -x2871 -x2971 1494.71/1495.20 v -x3071 -x3171 -x3271 -x3371 -x3471 -x3571 -x3671 -x3771 -x3871 -x3971 -x4071 -x4171 -x4271 -x4371 -x4471 -x4571 -x4671 1494.71/1495.20 v x4771 -x4871 -x4971 -x5071 -x5171 -x5271 -x5371 -x5471 -x5571 -x5671 -x5771 -x5871 -x5971 -x6071 -x6171 -x6271 -x6371 1494.71/1495.20 v -x6471 -x6571 -x6671 -x6771 -x6871 -x6971 -x7071 -x7171 -x7271 -x7371 -x7471 -x7571 -x7671 -x7771 -x7871 -x7971 -x8071 1494.71/1495.20 v -x8171 -x8271 -x8371 -x8471 -x8571 -x8671 -x8771 -x8871 -x8971 -x9071 -x9171 -x9271 -x9371 -x9471 -x9571 -x9671 -x9771 1494.71/1495.20 v -x9871 -x9971 -x72 -x172 -x272 -x372 -x472 -x572 -x672 -x772 -x872 -x972 -x1072 -x1172 -x1272 -x1372 -x1472 -x1572 -x1672 1494.71/1495.20 v -x1772 -x1872 -x1972 -x2072 -x2172 -x2272 -x2372 -x2472 -x2572 -x2672 -x2772 -x2872 -x2972 -x3072 -x3172 -x3272 -x3372 1494.71/1495.20 v -x3472 -x3572 -x3672 -x3772 -x3872 -x3972 -x4072 -x4172 -x4272 -x4372 -x4472 -x4572 -x4672 -x4772 -x4872 -x4972 -x5072 1494.71/1495.20 v -x5172 -x5272 -x5372 -x5472 -x5572 -x5672 -x5772 -x5872 -x5972 -x6072 -x6172 -x6272 -x6372 -x6472 -x6572 -x6672 -x6772 1494.71/1495.20 v -x6872 -x6972 -x7072 -x7172 -x7272 -x7372 x7472 -x7572 -x7672 -x7772 -x7872 -x7972 -x8072 -x8172 -x8272 -x8372 -x8472 1494.71/1495.20 v -x8572 -x8672 -x8772 -x8872 -x8972 -x9072 -x9172 -x9272 -x9372 -x9472 -x9572 -x9672 -x9772 -x9872 -x9972 -x73 -x173 -x273 1494.71/1495.20 v -x373 -x473 -x573 -x673 -x773 -x873 -x973 -x1073 -x1173 -x1273 -x1373 -x1473 -x1573 -x1673 -x1773 -x1873 -x1973 -x2073 1494.71/1495.20 v -x2173 -x2273 -x2373 -x2473 -x2573 -x2673 -x2773 -x2873 -x2973 -x3073 -x3173 -x3273 -x3373 -x3473 -x3573 -x3673 -x3773 1494.71/1495.20 v -x3873 -x3973 -x4073 -x4173 -x4273 -x4373 -x4473 -x4573 x4673 -x4773 -x4873 -x4973 -x5073 -x5173 -x5273 -x5373 -x5473 1494.71/1495.20 v -x5573 -x5673 -x5773 -x5873 -x5973 -x6073 -x6173 -x6273 -x6373 -x6473 -x6573 -x6673 -x6773 -x6873 -x6973 -x7073 -x7173 1494.71/1495.20 v -x7273 -x7373 -x7473 -x7573 -x7673 -x7773 -x7873 -x7973 -x8073 -x8173 -x8273 -x8373 -x8473 -x8573 -x8673 -x8773 -x8873 1494.71/1495.20 v -x8973 -x9073 -x9173 -x9273 -x9373 -x9473 -x9573 -x9673 -x9773 -x9873 -x9973 -x74 -x174 -x274 -x374 -x474 -x574 -x674 -x774 1494.71/1495.20 v -x874 -x974 -x1074 -x1174 -x1274 -x1374 -x1474 -x1574 -x1674 -x1774 -x1874 -x1974 -x2074 -x2174 -x2274 -x2374 -x2474 -x2574 1494.71/1495.20 v -x2674 -x2774 -x2874 -x2974 -x3074 -x3174 -x3274 -x3374 -x3474 -x3574 -x3674 -x3774 -x3874 -x3974 -x4074 -x4174 -x4274 1494.71/1495.20 v -x4374 -x4474 -x4574 -x4674 -x4774 -x4874 -x4974 -x5074 -x5174 -x5274 -x5374 -x5474 -x5574 -x5674 -x5774 -x5874 -x5974 1494.71/1495.20 v -x6074 -x6174 -x6274 -x6374 -x6474 -x6574 -x6674 -x6774 -x6874 -x6974 -x7074 -x7174 -x7274 -x7374 -x7474 -x7574 -x7674 1494.71/1495.20 v -x7774 -x7874 -x7974 -x8074 -x8174 -x8274 -x8374 -x8474 -x8574 -x8674 -x8774 -x8874 -x8974 -x9074 x9174 -x9274 -x9374 1494.71/1495.20 v -x9474 -x9574 -x9674 -x9774 -x9874 -x9974 -x75 -x175 -x275 -x375 -x475 -x575 -x675 -x775 -x875 -x975 -x1075 -x1175 -x1275 1494.71/1495.20 v -x1375 -x1475 -x1575 -x1675 -x1775 -x1875 -x1975 -x2075 -x2175 -x2275 -x2375 -x2475 -x2575 -x2675 -x2775 -x2875 -x2975 1494.71/1495.20 v -x3075 -x3175 -x3275 -x3375 -x3475 -x3575 -x3675 -x3775 -x3875 -x3975 -x4075 -x4175 -x4275 -x4375 -x4475 -x4575 -x4675 1494.71/1495.20 v -x4775 -x4875 -x4975 -x5075 -x5175 -x5275 -x5375 -x5475 -x5575 -x5675 -x5775 -x5875 -x5975 -x6075 -x6175 -x6275 -x6375 1494.71/1495.20 v -x6475 -x6575 -x6675 -x6775 -x6875 -x6975 -x7075 -x7175 -x7275 -x7375 -x7475 -x7575 -x7675 -x7775 -x7875 -x7975 -x8075 1494.71/1495.20 v -x8175 -x8275 -x8375 -x8475 -x8575 -x8675 -x8775 -x8875 -x8975 -x9075 -x9175 -x9275 -x9375 -x9475 -x9575 -x9675 -x9775 1494.71/1495.20 v -x9875 x9975 -x76 -x176 -x276 -x376 -x476 x576 -x676 -x776 -x876 -x976 -x1076 -x1176 -x1276 -x1376 -x1476 -x1576 -x1676 1494.71/1495.20 v -x1776 -x1876 -x1976 -x2076 -x2176 -x2276 -x2376 -x2476 -x2576 -x2676 -x2776 -x2876 -x2976 -x3076 -x3176 -x3276 -x3376 1494.71/1495.20 v -x3476 -x3576 -x3676 -x3776 -x3876 -x3976 -x4076 -x4176 -x4276 -x4376 -x4476 -x4576 -x4676 -x4776 -x4876 -x4976 -x5076 1494.71/1495.20 v -x5176 -x5276 -x5376 -x5476 -x5576 -x5676 -x5776 -x5876 -x5976 -x6076 -x6176 -x6276 -x6376 -x6476 -x6576 -x6676 -x6776 1494.71/1495.20 v -x6876 -x6976 -x7076 -x7176 -x7276 -x7376 -x7476 -x7576 -x7676 -x7776 -x7876 -x7976 -x8076 -x8176 -x8276 -x8376 -x8476 1494.71/1495.20 v -x8576 -x8676 -x8776 -x8876 -x8976 -x9076 -x9176 -x9276 -x9376 -x9476 -x9576 -x9676 -x9776 -x9876 -x9976 -x77 -x177 -x277 1494.71/1495.20 v -x377 -x477 -x577 -x677 -x777 -x877 -x977 -x1077 -x1177 -x1277 -x1377 -x1477 -x1577 -x1677 -x1777 -x1877 -x1977 -x2077 1494.71/1495.20 v x2177 -x2277 -x2377 -x2477 -x2577 -x2677 -x2777 -x2877 -x2977 -x3077 -x3177 -x3277 -x3377 -x3477 -x3577 -x3677 -x3777 1494.71/1495.20 v -x3877 -x3977 -x4077 -x4177 -x4277 -x4377 -x4477 -x4577 -x4677 -x4777 -x4877 -x4977 -x5077 -x5177 -x5277 -x5377 -x5477 1494.71/1495.20 v -x5577 -x5677 -x5777 -x5877 -x5977 -x6077 -x6177 -x6277 -x6377 -x6477 -x6577 -x6677 -x6777 -x6877 -x6977 -x7077 -x7177 1494.71/1495.20 v -x7277 -x7377 -x7477 -x7577 -x7677 -x7777 -x7877 -x7977 -x8077 -x8177 -x8277 -x8377 -x8477 -x8577 -x8677 -x8777 -x8877 1494.71/1495.20 v -x8977 -x9077 -x9177 -x9277 -x9377 -x9477 -x9577 -x9677 -x9777 -x9877 -x9977 -x78 -x178 -x278 -x378 -x478 -x578 -x678 -x778 1494.71/1495.20 v -x878 -x978 -x1078 -x1178 -x1278 -x1378 -x1478 -x1578 -x1678 -x1778 -x1878 -x1978 -x2078 -x2178 -x2278 -x2378 -x2478 -x2578 1494.71/1495.20 v -x2678 -x2778 -x2878 -x2978 -x3078 -x3178 -x3278 -x3378 -x3478 -x3578 -x3678 -x3778 -x3878 -x3978 -x4078 -x4178 -x4278 1494.71/1495.20 v -x4378 -x4478 -x4578 -x4678 -x4778 -x4878 -x4978 -x5078 -x5178 -x5278 -x5378 -x5478 -x5578 -x5678 -x5778 -x5878 -x5978 1494.71/1495.20 v -x6078 -x6178 -x6278 -x6378 -x6478 -x6578 -x6678 -x6778 -x6878 -x6978 -x7078 -x7178 -x7278 -x7378 -x7478 -x7578 -x7678 1494.71/1495.20 v -x7778 -x7878 -x7978 -x8078 -x8178 -x8278 -x8378 -x8478 -x8578 -x8678 -x8778 -x8878 -x8978 -x9078 -x9178 -x9278 -x9378 1494.71/1495.20 v -x9478 -x9578 -x9678 -x9778 -x9878 x9978 -x79 -x179 -x279 -x379 x479 -x579 -x679 -x779 -x879 -x979 -x1079 -x1179 -x1279 1494.71/1495.20 v -x1379 -x1479 -x1579 -x1679 -x1779 -x1879 -x1979 -x2079 -x2179 -x2279 -x2379 -x2479 -x2579 -x2679 -x2779 -x2879 -x2979 1494.71/1495.20 v -x3079 -x3179 -x3279 -x3379 -x3479 -x3579 -x3679 -x3779 -x3879 -x3979 -x4079 -x4179 -x4279 -x4379 -x4479 -x4579 -x4679 1494.71/1495.20 v -x4779 -x4879 -x4979 -x5079 -x5179 -x5279 -x5379 -x5479 -x5579 -x5679 -x5779 -x5879 -x5979 -x6079 -x6179 -x6279 -x6379 1494.71/1495.20 v -x6479 -x6579 -x6679 -x6779 -x6879 -x6979 -x7079 -x7179 -x7279 -x7379 -x7479 -x7579 -x7679 -x7779 -x7879 -x7979 -x8079 1494.71/1495.20 v -x8179 -x8279 -x8379 -x8479 -x8579 -x8679 -x8779 -x8879 -x8979 -x9079 -x9179 -x9279 -x9379 -x9479 -x9579 -x9679 -x9779 1494.71/1495.20 v -x9879 -x9979 -x80 -x180 x280 -x380 -x480 -x580 -x680 -x780 -x880 -x980 -x1080 -x1180 -x1280 -x1380 -x1480 -x1580 -x1680 1494.71/1495.20 v -x1780 -x1880 -x1980 -x2080 -x2180 -x2280 -x2380 -x2480 -x2580 -x2680 -x2780 -x2880 -x2980 -x3080 -x3180 -x3280 -x3380 1494.71/1495.20 v -x3480 -x3580 -x3680 -x3780 -x3880 -x3980 -x4080 -x4180 -x4280 -x4380 -x4480 -x4580 -x4680 -x4780 -x4880 -x4980 -x5080 1494.71/1495.20 v -x5180 -x5280 -x5380 -x5480 -x5580 -x5680 -x5780 -x5880 -x5980 -x6080 -x6180 -x6280 -x6380 -x6480 -x6580 -x6680 -x6780 1494.71/1495.20 v -x6880 -x6980 -x7080 -x7180 -x7280 -x7380 -x7480 -x7580 -x7680 -x7780 -x7880 -x7980 -x8080 -x8180 -x8280 -x8380 -x8480 1494.71/1495.20 v -x8580 -x8680 -x8780 -x8880 -x8980 -x9080 -x9180 -x9280 -x9380 -x9480 -x9580 -x9680 -x9780 -x9880 -x9980 -x81 -x181 -x281 1494.71/1495.20 v -x381 -x481 -x581 -x681 -x781 -x881 -x981 -x1081 -x1181 -x1281 -x1381 -x1481 -x1581 x1681 -x1781 -x1881 -x1981 -x2081 -x2181 1494.71/1495.20 v -x2281 -x2381 -x2481 -x2581 -x2681 -x2781 -x2881 -x2981 -x3081 -x3181 -x3281 -x3381 -x3481 -x3581 -x3681 -x3781 -x3881 1494.71/1495.20 v -x3981 -x4081 -x4181 -x4281 -x4381 -x4481 -x4581 -x4681 -x4781 -x4881 -x4981 -x5081 -x5181 -x5281 -x5381 -x5481 -x5581 1494.71/1495.20 v -x5681 -x5781 -x5881 -x5981 -x6081 -x6181 -x6281 -x6381 -x6481 -x6581 -x6681 -x6781 -x6881 -x6981 -x7081 -x7181 -x7281 1494.71/1495.20 v -x7381 -x7481 -x7581 -x7681 -x7781 -x7881 -x7981 -x8081 -x8181 -x8281 -x8381 -x8481 -x8581 -x8681 -x8781 -x8881 -x8981 1494.71/1495.20 v -x9081 -x9181 -x9281 -x9381 -x9481 -x9581 -x9681 -x9781 -x9881 -x9981 -x82 -x182 -x282 -x382 -x482 -x582 -x682 -x782 -x882 1494.71/1495.20 v -x982 -x1082 -x1182 -x1282 -x1382 -x1482 -x1582 -x1682 -x1782 -x1882 -x1982 -x2082 -x2182 -x2282 -x2382 -x2482 -x2582 1494.71/1495.20 v -x2682 -x2782 -x2882 -x2982 -x3082 -x3182 -x3282 -x3382 -x3482 -x3582 -x3682 -x3782 -x3882 -x3982 -x4082 -x4182 -x4282 1494.71/1495.20 v -x4382 -x4482 -x4582 -x4682 -x4782 -x4882 -x4982 -x5082 -x5182 -x5282 -x5382 -x5482 -x5582 -x5682 -x5782 -x5882 -x5982 1494.71/1495.20 v -x6082 -x6182 -x6282 -x6382 -x6482 -x6582 -x6682 -x6782 -x6882 -x6982 -x7082 -x7182 -x7282 -x7382 -x7482 -x7582 -x7682 1494.71/1495.20 v -x7782 -x7882 -x7982 x8082 -x8182 -x8282 -x8382 -x8482 -x8582 -x8682 -x8782 -x8882 -x8982 -x9082 -x9182 -x9282 -x9382 1494.71/1495.20 v -x9482 -x9582 -x9682 -x9782 -x9882 -x9982 -x83 -x183 -x283 -x383 -x483 -x583 -x683 -x783 -x883 -x983 -x1083 -x1183 -x1283 1494.71/1495.20 v -x1383 -x1483 -x1583 x1683 -x1783 -x1883 -x1983 -x2083 -x2183 -x2283 -x2383 -x2483 -x2583 -x2683 -x2783 -x2883 -x2983 1494.71/1495.20 v -x3083 -x3183 -x3283 -x3383 -x3483 -x3583 -x3683 -x3783 -x3883 -x3983 -x4083 -x4183 -x4283 -x4383 -x4483 -x4583 -x4683 1494.71/1495.20 v -x4783 -x4883 -x4983 -x5083 -x5183 -x5283 -x5383 -x5483 -x5583 -x5683 -x5783 -x5883 -x5983 -x6083 -x6183 -x6283 -x6383 1494.71/1495.20 v -x6483 -x6583 -x6683 -x6783 -x6883 -x6983 -x7083 -x7183 -x7283 -x7383 -x7483 -x7583 -x7683 -x7783 -x7883 -x7983 -x8083 1494.71/1495.20 v -x8183 -x8283 -x8383 -x8483 -x8583 -x8683 -x8783 -x8883 -x8983 -x9083 -x9183 -x9283 -x9383 -x9483 -x9583 -x9683 -x9783 1494.71/1495.20 v -x9883 -x9983 -x84 -x184 -x284 -x384 -x484 -x584 -x684 -x784 -x884 -x984 -x1084 -x1184 -x1284 -x1384 -x1484 -x1584 -x1684 1494.71/1495.20 v -x1784 -x1884 -x1984 -x2084 -x2184 x2284 -x2384 -x2484 -x2584 -x2684 -x2784 -x2884 -x2984 -x3084 -x3184 -x3284 -x3384 1494.71/1495.20 v -x3484 -x3584 -x3684 -x3784 -x3884 -x3984 -x4084 -x4184 -x4284 -x4384 -x4484 -x4584 -x4684 -x4784 -x4884 -x4984 -x5084 1494.71/1495.20 v -x5184 -x5284 -x5384 -x5484 -x5584 -x5684 -x5784 -x5884 -x5984 -x6084 -x6184 -x6284 -x6384 -x6484 -x6584 -x6684 -x6784 1494.71/1495.20 v -x6884 -x6984 -x7084 -x7184 -x7284 -x7384 -x7484 -x7584 -x7684 -x7784 -x7884 -x7984 -x8084 -x8184 -x8284 -x8384 -x8484 1494.71/1495.20 v -x8584 -x8684 -x8784 -x8884 -x8984 -x9084 -x9184 -x9284 -x9384 -x9484 -x9584 -x9684 -x9784 -x9884 -x9984 -x85 -x185 -x285 1494.71/1495.20 v -x385 -x485 -x585 -x685 -x785 -x885 -x985 -x1085 -x1185 -x1285 -x1385 -x1485 -x1585 -x1685 -x1785 -x1885 -x1985 -x2085 1494.71/1495.20 v -x2185 -x2285 -x2385 -x2485 -x2585 -x2685 -x2785 -x2885 -x2985 -x3085 -x3185 -x3285 -x3385 -x3485 -x3585 -x3685 -x3785 1494.71/1495.20 v -x3885 -x3985 -x4085 -x4185 -x4285 -x4385 -x4485 -x4585 -x4685 -x4785 -x4885 -x4985 -x5085 -x5185 -x5285 -x5385 -x5485 1494.71/1495.20 v -x5585 -x5685 -x5785 -x5885 -x5985 -x6085 -x6185 -x6285 -x6385 -x6485 -x6585 -x6685 -x6785 -x6885 -x6985 -x7085 -x7185 1494.71/1495.20 v -x7285 -x7385 -x7485 -x7585 -x7685 -x7785 -x7885 -x7985 -x8085 -x8185 x8285 -x8385 -x8485 -x8585 -x8685 -x8785 -x8885 1494.71/1495.20 v -x8985 -x9085 -x9185 -x9285 -x9385 -x9485 -x9585 -x9685 -x9785 -x9885 -x9985 -x86 -x186 -x286 -x386 -x486 -x586 -x686 -x786 1494.71/1495.20 v -x886 -x986 -x1086 -x1186 -x1286 -x1386 -x1486 -x1586 -x1686 -x1786 -x1886 -x1986 -x2086 -x2186 -x2286 -x2386 -x2486 -x2586 1494.71/1495.20 v -x2686 -x2786 -x2886 -x2986 -x3086 -x3186 -x3286 -x3386 -x3486 -x3586 -x3686 -x3786 -x3886 -x3986 -x4086 -x4186 -x4286 1494.71/1495.20 v -x4386 -x4486 -x4586 -x4686 -x4786 -x4886 -x4986 -x5086 -x5186 x5286 -x5386 -x5486 -x5586 -x5686 -x5786 -x5886 -x5986 1494.71/1495.20 v -x6086 -x6186 -x6286 -x6386 -x6486 -x6586 -x6686 -x6786 -x6886 -x6986 -x7086 -x7186 x7286 -x7386 -x7486 -x7586 -x7686 1494.71/1495.20 v -x7786 -x7886 -x7986 -x8086 -x8186 -x8286 -x8386 -x8486 -x8586 -x8686 -x8786 -x8886 -x8986 -x9086 -x9186 -x9286 -x9386 1494.71/1495.20 v -x9486 -x9586 -x9686 -x9786 -x9886 -x9986 -x87 -x187 -x287 -x387 -x487 x587 -x687 -x787 -x887 -x987 -x1087 -x1187 -x1287 1494.71/1495.20 v -x1387 -x1487 -x1587 -x1687 -x1787 -x1887 -x1987 -x2087 -x2187 -x2287 -x2387 -x2487 -x2587 -x2687 -x2787 -x2887 -x2987 1494.71/1495.20 v -x3087 -x3187 -x3287 -x3387 -x3487 -x3587 -x3687 -x3787 -x3887 -x3987 -x4087 -x4187 -x4287 -x4387 -x4487 -x4587 -x4687 1494.71/1495.20 v -x4787 -x4887 -x4987 -x5087 -x5187 -x5287 -x5387 -x5487 -x5587 -x5687 -x5787 -x5887 -x5987 -x6087 -x6187 -x6287 -x6387 1494.71/1495.20 v -x6487 -x6587 -x6687 -x6787 -x6887 -x6987 -x7087 -x7187 -x7287 -x7387 -x7487 -x7587 -x7687 -x7787 -x7887 -x7987 -x8087 1494.71/1495.20 v -x8187 -x8287 -x8387 -x8487 -x8587 -x8687 -x8787 -x8887 -x8987 -x9087 -x9187 -x9287 -x9387 -x9487 -x9587 -x9687 -x9787 1494.71/1495.20 v -x9887 -x9987 -x88 -x188 -x288 -x388 -x488 -x588 -x688 -x788 -x888 -x988 -x1088 -x1188 x1288 -x1388 -x1488 -x1588 -x1688 1494.71/1495.20 v -x1788 -x1888 -x1988 -x2088 -x2188 -x2288 -x2388 -x2488 -x2588 -x2688 -x2788 -x2888 -x2988 -x3088 -x3188 -x3288 -x3388 1494.71/1495.20 v -x3488 -x3588 -x3688 -x3788 -x3888 -x3988 -x4088 -x4188 -x4288 -x4388 -x4488 -x4588 -x4688 -x4788 -x4888 -x4988 -x5088 1494.71/1495.20 v -x5188 -x5288 -x5388 -x5488 -x5588 -x5688 -x5788 -x5888 -x5988 x6088 -x6188 -x6288 -x6388 -x6488 -x6588 -x6688 -x6788 1494.71/1495.20 v -x6888 -x6988 -x7088 -x7188 -x7288 -x7388 -x7488 -x7588 -x7688 -x7788 -x7888 -x7988 -x8088 -x8188 -x8288 -x8388 -x8488 1494.71/1495.20 v -x8588 -x8688 -x8788 -x8888 -x8988 -x9088 -x9188 -x9288 -x9388 -x9488 -x9588 -x9688 -x9788 -x9888 -x9988 -x89 -x189 -x289 1494.71/1495.20 v -x389 -x489 -x589 -x689 -x789 -x889 -x989 -x1089 -x1189 -x1289 -x1389 -x1489 -x1589 -x1689 -x1789 -x1889 -x1989 -x2089 1494.71/1495.20 v -x2189 -x2289 -x2389 -x2489 -x2589 -x2689 -x2789 -x2889 -x2989 -x3089 -x3189 -x3289 -x3389 -x3489 -x3589 -x3689 -x3789 1494.71/1495.20 v -x3889 -x3989 -x4089 -x4189 -x4289 -x4389 -x4489 -x4589 -x4689 -x4789 -x4889 -x4989 -x5089 -x5189 -x5289 -x5389 -x5489 1494.71/1495.20 v -x5589 -x5689 -x5789 -x5889 -x5989 -x6089 -x6189 -x6289 -x6389 -x6489 -x6589 -x6689 -x6789 -x6889 -x6989 -x7089 -x7189 1494.71/1495.20 v -x7289 -x7389 -x7489 -x7589 -x7689 -x7789 -x7889 -x7989 -x8089 -x8189 -x8289 x8389 -x8489 -x8589 -x8689 -x8789 -x8889 1494.71/1495.20 v -x8989 -x9089 -x9189 -x9289 -x9389 -x9489 -x9589 -x9689 -x9789 -x9889 -x9989 x90 -x190 -x290 -x390 -x490 -x590 x690 -x790 1494.71/1495.20 v -x890 -x990 -x1090 -x1190 -x1290 -x1390 -x1490 -x1590 -x1690 -x1790 -x1890 -x1990 -x2090 -x2190 -x2290 -x2390 -x2490 -x2590 1494.71/1495.20 v -x2690 -x2790 -x2890 -x2990 -x3090 -x3190 -x3290 -x3390 -x3490 -x3590 -x3690 -x3790 -x3890 -x3990 -x4090 -x4190 -x4290 1494.71/1495.20 v -x4390 -x4490 -x4590 -x4690 -x4790 -x4890 -x4990 -x5090 -x5190 -x5290 -x5390 -x5490 -x5590 -x5690 -x5790 -x5890 -x5990 1494.71/1495.20 v -x6090 -x6190 -x6290 -x6390 -x6490 -x6590 -x6690 -x6790 -x6890 -x6990 -x7090 -x7190 -x7290 -x7390 -x7490 -x7590 -x7690 1494.71/1495.20 v -x7790 -x7890 -x7990 -x8090 -x8190 -x8290 -x8390 -x8490 -x8590 -x8690 -x8790 -x8890 -x8990 -x9090 -x9190 -x9290 -x9390 1494.71/1495.20 v -x9490 -x9590 -x9690 -x9790 -x9890 -x9990 -x91 -x191 -x291 -x391 -x491 -x591 -x691 -x791 -x891 -x991 -x1091 -x1191 -x1291 1494.71/1495.20 v -x1391 -x1491 -x1591 -x1691 -x1791 -x1891 -x1991 -x2091 -x2191 -x2291 -x2391 -x2491 -x2591 -x2691 -x2791 -x2891 -x2991 1494.71/1495.20 v -x3091 -x3191 -x3291 -x3391 -x3491 -x3591 -x3691 -x3791 -x3891 -x3991 -x4091 -x4191 x4291 -x4391 -x4491 -x4591 -x4691 1494.71/1495.20 v -x4791 -x4891 -x4991 -x5091 -x5191 -x5291 -x5391 -x5491 -x5591 -x5691 -x5791 -x5891 -x5991 -x6091 -x6191 -x6291 -x6391 1494.71/1495.20 v -x6491 -x6591 -x6691 -x6791 -x6891 -x6991 -x7091 -x7191 -x7291 -x7391 -x7491 -x7591 -x7691 -x7791 -x7891 -x7991 -x8091 1494.71/1495.20 v -x8191 -x8291 -x8391 -x8491 -x8591 -x8691 -x8791 -x8891 -x8991 -x9091 -x9191 -x9291 -x9391 -x9491 -x9591 -x9691 -x9791 1494.71/1495.20 v -x9891 -x9991 -x92 -x192 -x292 -x392 -x492 -x592 -x692 -x792 -x892 -x992 -x1092 -x1192 -x1292 -x1392 -x1492 -x1592 -x1692 1494.71/1495.20 v -x1792 -x1892 -x1992 -x2092 -x2192 -x2292 x2392 -x2492 -x2592 -x2692 -x2792 -x2892 -x2992 -x3092 -x3192 -x3292 -x3392 1494.71/1495.20 v -x3492 -x3592 -x3692 -x3792 -x3892 -x3992 -x4092 -x4192 -x4292 -x4392 -x4492 -x4592 -x4692 -x4792 -x4892 -x4992 -x5092 1494.71/1495.20 v -x5192 -x5292 -x5392 -x5492 -x5592 -x5692 -x5792 -x5892 -x5992 -x6092 -x6192 -x6292 -x6392 -x6492 -x6592 -x6692 -x6792 1494.71/1495.20 v -x6892 -x6992 -x7092 -x7192 -x7292 -x7392 -x7492 -x7592 -x7692 -x7792 -x7892 -x7992 -x8092 -x8192 -x8292 -x8392 -x8492 1494.71/1495.20 v -x8592 -x8692 -x8792 -x8892 -x8992 -x9092 -x9192 -x9292 -x9392 -x9492 -x9592 -x9692 -x9792 -x9892 -x9992 -x93 -x193 -x293 1494.71/1495.20 v -x393 -x493 -x593 -x693 -x793 -x893 -x993 -x1093 -x1193 -x1293 -x1393 -x1493 -x1593 -x1693 -x1793 -x1893 -x1993 -x2093 1494.71/1495.20 v -x2193 -x2293 -x2393 -x2493 -x2593 -x2693 -x2793 -x2893 -x2993 -x3093 -x3193 -x3293 -x3393 -x3493 -x3593 -x3693 -x3793 1494.71/1495.20 v -x3893 -x3993 -x4093 -x4193 -x4293 -x4393 -x4493 -x4593 -x4693 -x4793 -x4893 -x4993 -x5093 -x5193 -x5293 -x5393 x5493 1494.71/1495.20 v -x5593 -x5693 -x5793 -x5893 -x5993 -x6093 -x6193 -x6293 -x6393 -x6493 -x6593 -x6693 -x6793 -x6893 -x6993 -x7093 -x7193 1494.71/1495.20 v -x7293 x7393 -x7493 -x7593 -x7693 -x7793 -x7893 -x7993 -x8093 -x8193 -x8293 -x8393 -x8493 -x8593 -x8693 -x8793 -x8893 1494.71/1495.20 v -x8993 -x9093 -x9193 -x9293 -x9393 -x9493 -x9593 -x9693 -x9793 -x9893 -x9993 -x94 -x194 -x294 -x394 -x494 -x594 -x694 -x794 1494.71/1495.20 v -x894 -x994 -x1094 -x1194 -x1294 -x1394 -x1494 -x1594 -x1694 x1794 -x1894 -x1994 -x2094 -x2194 -x2294 -x2394 -x2494 -x2594 1494.71/1495.20 v -x2694 -x2794 -x2894 -x2994 -x3094 -x3194 -x3294 -x3394 x3494 -x3594 -x3694 -x3794 -x3894 -x3994 -x4094 -x4194 -x4294 1494.71/1495.20 v -x4394 -x4494 -x4594 -x4694 -x4794 -x4894 -x4994 x5094 -x5194 -x5294 -x5394 -x5494 -x5594 -x5694 -x5794 -x5894 -x5994 1494.71/1495.20 v -x6094 -x6194 -x6294 -x6394 -x6494 -x6594 -x6694 -x6794 -x6894 -x6994 -x7094 -x7194 -x7294 -x7394 -x7494 -x7594 -x7694 1494.71/1495.20 v -x7794 -x7894 -x7994 -x8094 -x8194 -x8294 -x8394 -x8494 -x8594 -x8694 -x8794 -x8894 -x8994 -x9094 -x9194 -x9294 -x9394 1494.71/1495.20 v -x9494 -x9594 -x9694 -x9794 -x9894 -x9994 -x95 -x195 -x295 -x395 -x495 -x595 -x695 -x795 -x895 -x995 -x1095 -x1195 -x1295 1494.71/1495.20 v -x1395 -x1495 -x1595 -x1695 -x1795 -x1895 -x1995 -x2095 -x2195 -x2295 -x2395 -x2495 -x2595 -x2695 -x2795 -x2895 -x2995 1494.71/1495.20 v -x3095 -x3195 -x3295 -x3395 -x3495 -x3595 -x3695 -x3795 -x3895 -x3995 -x4095 -x4195 -x4295 -x4395 -x4495 -x4595 -x4695 1494.71/1495.20 v -x4795 -x4895 -x4995 -x5095 -x5195 -x5295 -x5395 -x5495 -x5595 -x5695 -x5795 -x5895 -x5995 -x6095 -x6195 -x6295 -x6395 1494.71/1495.20 v -x6495 -x6595 -x6695 -x6795 -x6895 -x6995 -x7095 -x7195 -x7295 -x7395 -x7495 -x7595 -x7695 -x7795 -x7895 -x7995 -x8095 1494.71/1495.20 v -x8195 -x8295 -x8395 -x8495 x8595 -x8695 -x8795 -x8895 -x8995 -x9095 -x9195 -x9295 -x9395 -x9495 -x9595 -x9695 -x9795 1494.71/1495.20 v -x9895 -x9995 -x96 -x196 -x296 -x396 -x496 -x596 -x696 -x796 -x896 -x996 -x1096 -x1196 -x1296 -x1396 -x1496 -x1596 -x1696 1494.71/1495.20 v -x1796 -x1896 -x1996 -x2096 -x2196 -x2296 -x2396 -x2496 -x2596 -x2696 -x2796 -x2896 -x2996 -x3096 -x3196 -x3296 -x3396 1494.71/1495.20 v -x3496 -x3596 -x3696 -x3796 -x3896 -x3996 -x4096 -x4196 -x4296 -x4396 -x4496 -x4596 -x4696 -x4796 -x4896 -x4996 -x5096 1494.71/1495.20 v -x5196 -x5296 -x5396 -x5496 -x5596 -x5696 -x5796 -x5896 -x5996 -x6096 -x6196 -x6296 -x6396 -x6496 -x6596 -x6696 -x6796 1494.71/1495.20 v -x6896 -x6996 -x7096 -x7196 -x7296 -x7396 -x7496 -x7596 -x7696 -x7796 -x7896 -x7996 -x8096 -x8196 -x8296 -x8396 -x8496 1494.71/1495.20 v -x8596 -x8696 -x8796 -x8896 -x8996 -x9096 -x9196 -x9296 -x9396 -x9496 x9596 -x9696 -x9796 -x9896 -x9996 -x97 -x197 -x297 1494.71/1495.20 v -x397 -x497 -x597 -x697 -x797 -x897 -x997 -x1097 -x1197 -x1297 -x1397 -x1497 -x1597 -x1697 -x1797 -x1897 -x1997 -x2097 1494.71/1495.20 v -x2197 -x2297 -x2397 -x2497 -x2597 -x2697 -x2797 -x2897 -x2997 -x3097 -x3197 -x3297 -x3397 -x3497 -x3597 -x3697 -x3797 1494.71/1495.20 v -x3897 -x3997 -x4097 -x4197 -x4297 -x4397 x4497 -x4597 -x4697 -x4797 -x4897 -x4997 -x5097 -x5197 -x5297 -x5397 -x5497 1494.71/1495.20 v -x5597 -x5697 -x5797 -x5897 -x5997 -x6097 -x6197 -x6297 -x6397 -x6497 -x6597 -x6697 -x6797 -x6897 -x6997 -x7097 -x7197 1494.71/1495.20 v -x7297 -x7397 -x7497 -x7597 -x7697 -x7797 -x7897 -x7997 -x8097 -x8197 -x8297 -x8397 -x8497 -x8597 -x8697 -x8797 -x8897 1494.71/1495.20 v -x8997 -x9097 -x9197 -x9297 -x9397 -x9497 -x9597 -x9697 -x9797 -x9897 -x9997 -x98 -x198 -x298 -x398 -x498 -x598 -x698 -x798 1494.71/1495.20 v -x898 -x998 -x1098 -x1198 -x1298 -x1398 -x1498 -x1598 -x1698 -x1798 -x1898 -x1998 -x2098 -x2198 -x2298 -x2398 -x2498 -x2598 1494.71/1495.20 v -x2698 -x2798 -x2898 -x2998 -x3098 -x3198 -x3298 -x3398 -x3498 -x3598 -x3698 -x3798 -x3898 -x3998 -x4098 -x4198 -x4298 1494.71/1495.20 v -x4398 -x4498 -x4598 -x4698 -x4798 -x4898 -x4998 -x5098 -x5198 -x5298 -x5398 -x5498 -x5598 x5698 -x5798 -x5898 -x5998 1494.71/1495.20 v -x6098 -x6198 -x6298 -x6398 -x6498 x6598 -x6698 -x6798 -x6898 -x6998 -x7098 -x7198 -x7298 -x7398 -x7498 -x7598 -x7698 1494.71/1495.20 v -x7798 -x7898 -x7998 -x8098 -x8198 -x8298 -x8398 -x8498 -x8598 -x8698 -x8798 -x8898 -x8998 -x9098 -x9198 -x9298 -x9398 1494.71/1495.20 v -x9498 -x9598 -x9698 -x9798 -x9898 -x9998 -x99 -x199 -x299 -x399 -x499 -x599 -x699 -x799 x899 -x999 -x1099 -x1199 -x1299 1494.71/1495.20 v -x1399 -x1499 -x1599 -x1699 -x1799 -x1899 -x1999 -x2099 -x2199 -x2299 -x2399 -x2499 -x2599 -x2699 -x2799 -x2899 -x2999 1494.71/1495.20 v -x3099 -x3199 -x3299 x3399 -x3499 -x3599 -x3699 -x3799 -x3899 -x3999 -x4099 -x4199 -x4299 -x4399 -x4499 -x4599 -x4699 1494.71/1495.20 v -x4799 -x4899 -x4999 -x5099 -x5199 -x5299 -x5399 -x5499 -x5599 -x5699 -x5799 -x5899 -x5999 -x6099 -x6199 -x6299 -x6399 1494.71/1495.20 v -x6499 -x6599 -x6699 -x6799 -x6899 -x6999 -x7099 -x7199 -x7299 -x7399 -x7499 -x7599 -x7699 -x7799 -x7899 -x7999 -x8099 1494.71/1495.20 v -x8199 -x8299 -x8399 -x8499 -x8599 -x8699 -x8799 -x8899 -x8999 -x9099 -x9199 -x9299 -x9399 -x9499 -x9599 -x9699 -x9799 1494.71/1495.20 v -x9899 -x9999 -x100 -x200 -x300 -x400 -x500 -x600 -x700 -x800 -x900 -x1000 -x1100 -x1200 -x1300 -x1400 -x1500 -x1600 -x1700 1494.71/1495.20 v -x1800 -x1900 -x2000 -x2100 -x2200 -x2300 -x2400 -x2500 -x2600 -x2700 -x2800 -x2900 -x3000 -x3100 -x3200 -x3300 -x3400 1494.71/1495.20 v -x3500 -x3600 -x3700 x3800 -x3900 x4000 -x4100 -x4200 -x4300 -x4400 -x4500 -x4600 -x4700 -x4800 -x4900 -x5000 -x5100 -x5200 1494.71/1495.20 v -x5300 -x5400 -x5500 -x5600 -x5700 -x5800 -x5900 -x6000 -x6100 -x6200 -x6300 -x6400 -x6500 -x6600 -x6700 -x6800 -x6900 1494.71/1495.20 v -x7000 -x7100 -x7200 -x7300 -x7400 -x7500 -x7600 -x7700 -x7800 -x7900 -x8000 -x8100 -x8200 -x8300 -x8400 -x8500 -x8600 1494.71/1495.20 v -x8700 -x8800 -x8900 -x9000 -x9100 -x9200 -x9300 -x9400 -x9500 -x9600 -x9700 -x9800 -x9900 -x10000 1494.71/1495.21 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1494.71/1495.21 c 159 179285 58867 1249629 836225 136211128 179325 119 1494.71 1494.71/1495.21 c Objective: 5602 1494.71/1495.21 s SATISFIABLE 1494.71/1495.21 c Total time: 1494.71 s
OK 5602
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-432862-1177951123 -o ROOT/results/node70/solver-432862-1177951123 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432862-1177951123/instance-432862-1177951123.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.94 3/64 17051 /proc/meminfo: memFree=1781824/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=28568 CPUtime=0 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 234649691 29253632 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 7142 333 279 324 0 2004 0 [startup+0.038595 s] /proc/loadavg: 0.92 0.98 0.94 3/64 17051 /proc/meminfo: memFree=1781824/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=21896 CPUtime=0.03 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 678 0 0 0 3 0 0 0 18 0 1 0 234649691 22421504 648 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8873760 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 5474 648 325 324 0 336 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 21896 [startup+0.102592 s] /proc/loadavg: 0.92 0.98 0.94 3/64 17051 /proc/meminfo: memFree=1781824/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=23268 CPUtime=0.09 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 1102 0 0 0 9 0 0 0 18 0 1 0 234649691 23826432 1072 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 5817 1072 412 324 0 679 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23268 [startup+0.30161 s] /proc/loadavg: 0.92 0.98 0.94 3/64 17051 /proc/meminfo: memFree=1781824/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=27396 CPUtime=0.29 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 2405 0 0 0 29 0 0 0 19 0 1 0 234649691 28053504 2375 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8835617 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 6849 2375 680 324 0 1711 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27396 [startup+0.701651 s] /proc/loadavg: 0.92 0.98 0.94 3/64 17051 /proc/meminfo: memFree=1781824/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=35512 CPUtime=0.69 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 4985 0 0 0 69 0 0 0 22 0 1 0 234649691 36364288 4955 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 8878 4955 1210 324 0 3740 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35512 [startup+1.50173 s] /proc/loadavg: 0.92 0.98 0.94 2/65 17052 /proc/meminfo: memFree=1760568/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=52008 CPUtime=1.49 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 10157 0 0 0 147 2 0 0 25 0 1 0 234649691 53256192 10127 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134527805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 13002 10127 2272 324 0 7864 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 52008 [startup+3.10189 s] /proc/loadavg: 0.92 0.98 0.94 2/65 17052 /proc/meminfo: memFree=1737592/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=84872 CPUtime=3.09 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 20491 0 0 0 301 8 0 0 25 0 1 0 234649691 86908928 20461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 21218 20461 4392 324 0 16080 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 84872 [startup+6.30121 s] /proc/loadavg: 0.93 0.98 0.94 2/65 17052 /proc/meminfo: memFree=1663032/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=122228 CPUtime=6.29 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 34150 0 0 0 611 18 0 0 25 0 1 0 234649691 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 30557 29912 304 324 0 29627 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 122228 [startup+12.7018 s] /proc/loadavg: 0.93 0.98 0.94 2/65 17052 /proc/meminfo: memFree=1663096/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=122228 CPUtime=12.69 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 34150 0 0 0 1238 31 0 0 25 0 1 0 234649691 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 30557 29912 304 324 0 29627 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 122228 [startup+25.5021 s] /proc/loadavg: 0.95 0.98 0.94 2/65 17052 /proc/meminfo: memFree=1663224/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=122228 CPUtime=25.48 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 34150 0 0 0 2489 59 0 0 25 0 1 0 234649691 125161472 29912 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 30557 29912 304 324 0 29627 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 122228 [startup+51.1027 s] /proc/loadavg: 0.96 0.98 0.94 2/65 17052 /proc/meminfo: memFree=1607800/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=179020 CPUtime=51.06 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 53773 0 0 0 5035 71 0 0 25 0 1 0 234649691 183316480 44119 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 44755 44119 309 324 0 43825 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 179020 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.94 2/65 17052 /proc/meminfo: memFree=1495992/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=289268 CPUtime=102.25 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 81354 0 0 0 10141 84 0 0 25 0 1 0 234649691 296210432 71700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 72317 71700 309 324 0 71387 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 289268 [startup+162.303 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17052 /proc/meminfo: memFree=1391672/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=394312 CPUtime=162.23 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 107607 0 0 0 16127 96 0 0 25 0 1 0 234649691 403775488 97953 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 98578 97953 309 324 0 97648 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 394312 [startup+222.303 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17052 /proc/meminfo: memFree=1311800/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=473256 CPUtime=222.22 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 127324 0 0 0 22117 105 0 0 25 0 1 0 234649691 484614144 117670 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 118314 117670 309 324 0 117384 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 473256 [startup+282.303 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17052 /proc/meminfo: memFree=1242488/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=542996 CPUtime=282.2 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 144768 0 0 0 28106 114 0 0 25 0 1 0 234649691 556027904 135114 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 135749 135114 309 324 0 134819 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 542996 [startup+342.303 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17052 /proc/meminfo: memFree=1177336/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=607596 CPUtime=342.19 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 160921 0 0 0 34096 123 0 0 25 0 1 0 234649691 622178304 151267 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 151899 151267 309 324 0 150969 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 607596 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17052 /proc/meminfo: memFree=1120248/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=664856 CPUtime=402.17 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 175239 0 0 0 40087 130 0 0 25 0 1 0 234649691 680812544 165585 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 166214 165585 309 324 0 165284 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 664856 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17052 /proc/meminfo: memFree=1055736/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=728828 CPUtime=462.15 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 191247 0 0 0 46078 137 0 0 25 0 1 0 234649691 746319872 181593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 182207 181593 309 324 0 181277 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 728828 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17052 /proc/meminfo: memFree=983224/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=801960 CPUtime=522.14 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 209511 0 0 0 52068 146 0 0 25 0 1 0 234649691 821207040 199857 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 200490 199857 309 324 0 199560 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 801960 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17052 /proc/meminfo: memFree=912056/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=872612 CPUtime=582.12 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 227189 0 0 0 58057 155 0 0 25 0 1 0 234649691 893554688 217535 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 218153 217535 309 324 0 217223 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 872612 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17052 /proc/meminfo: memFree=849400/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=934316 CPUtime=642.11 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 242603 0 0 0 64049 162 0 0 25 0 1 0 234649691 956739584 232949 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8843333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 233579 232949 309 324 0 232649 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 934316 [startup+702.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17052 /proc/meminfo: memFree=790520/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=993748 CPUtime=702.09 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 257448 0 0 0 70038 171 0 0 25 0 1 0 234649691 1017597952 247794 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 248437 247794 309 324 0 247507 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 993748 [startup+762.305 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17052 /proc/meminfo: memFree=730552/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=1053092 CPUtime=762.07 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 272286 0 0 0 76028 179 0 0 25 0 1 0 234649691 1078366208 262632 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 263273 262632 309 324 0 262343 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 1053092 [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17052 /proc/meminfo: memFree=675768/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=1108376 CPUtime=822.06 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 286109 0 0 0 82019 187 0 0 25 0 1 0 234649691 1134977024 276455 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 277094 276455 309 324 0 276164 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 1108376 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17052 /proc/meminfo: memFree=618488/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=1164924 CPUtime=882.05 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 300244 0 0 0 88009 196 0 0 25 0 1 0 234649691 1192882176 290590 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 291231 290590 309 324 0 290301 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1164924 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17052 /proc/meminfo: memFree=559992/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=1223920 CPUtime=942.03 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 314995 0 0 0 93999 204 0 0 25 0 1 0 234649691 1253294080 305341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 305980 305341 309 324 0 305050 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1223920 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17052 /proc/meminfo: memFree=506488/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=1276800 CPUtime=1002.02 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 328213 0 0 0 99990 212 0 0 25 0 1 0 234649691 1307443200 318559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 319200 318559 309 324 0 318270 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1276800 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17052 /proc/meminfo: memFree=433528/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=1349988 CPUtime=1062 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 346519 0 0 0 105981 219 0 0 25 0 1 0 234649691 1382387712 336865 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 337497 336865 309 324 0 336567 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1349988 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17054 /proc/meminfo: memFree=373688/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=1409628 CPUtime=1121.98 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 361442 0 0 0 111973 225 0 0 25 0 1 0 234649691 1443459072 351788 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 352407 351788 309 324 0 351477 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1409628 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17054 /proc/meminfo: memFree=314168/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=1469648 CPUtime=1181.97 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 376449 0 0 0 117964 233 0 0 25 0 1 0 234649691 1504919552 366795 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 367412 366795 309 324 0 366482 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1469648 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17054 /proc/meminfo: memFree=249144/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=1533716 CPUtime=1241.95 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 392443 0 0 0 123951 244 0 0 25 0 1 0 234649691 1570525184 382789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 383429 382789 309 324 0 382499 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1533716 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17054 /proc/meminfo: memFree=200184/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=1582048 CPUtime=1301.94 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 404534 0 0 0 129944 250 0 0 25 0 1 0 234649691 1620017152 394880 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 395512 394880 309 324 0 394582 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1582048 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.94 2/71 17192 /proc/meminfo: memFree=136384/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=1645032 CPUtime=1361.87 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 420270 0 0 0 135928 259 0 0 25 0 1 0 234649691 1684512768 410616 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 411258 410616 309 324 0 410328 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1645032 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17252 /proc/meminfo: memFree=58040/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=1723976 CPUtime=1421.82 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 440021 0 0 0 141914 268 0 0 25 0 1 0 234649691 1765351424 430367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 430994 430367 309 324 0 430064 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1723976 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17252 /proc/meminfo: memFree=16184/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=1824356 CPUtime=1481.81 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 465115 0 0 0 147901 280 0 0 25 0 1 0 234649691 1868140544 455461 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 456089 455461 309 324 0 455159 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1824356 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1495.2 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17252 /proc/meminfo: memFree=16184/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=1843316 CPUtime=1494.71 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194304 469866 0 0 0 149189 282 0 0 25 0 1 0 234649691 1887555584 460212 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 460829 460212 309 324 0 459899 0 Current children cumulated CPU time (s) 1494.71 Current children cumulated vsize (KiB) 1843316 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1495.4 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17252 /proc/meminfo: memFree=16184/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=0 CPUtime=1494.89 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194308 469870 0 0 0 149189 300 0 0 25 0 1 0 234649691 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1494.89 Current children cumulated vsize (KiB) 0 [startup+1495.5 s] /proc/loadavg: 0.99 0.98 0.94 2/65 17252 /proc/meminfo: memFree=16184/2055920 swapFree=4183764/4192956 [pid=17051] ppid=17049 vsize=0 CPUtime=1494.99 /proc/17051/stat : 17051 (bsolo3.0.17) R 17049 17051 16104 0 -1 4194308 469870 0 0 0 149189 310 0 0 25 0 1 0 234649691 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/17051/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1494.99 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1495.51 CPU time (s): 1495.01 CPU user time (s): 1491.9 CPU system time (s): 3.11053 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (KiB): 1843316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1491.9 system time used= 3.11053 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 469870 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= 14 involuntary context switches= 3797 runsolver used 1.07084 second user time and 3.07753 second system time The end
Begin job on node70 on Mon Apr 30 16:38:44 UTC 2007 IDJOB= 432862 IDBENCH= 1964 IDSOLVER= 199 FILE ID= node70/432862-1177951123 PBS_JOBID= 4727807 Free space on /tmp= 66542 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432862-1177951123/instance-432862-1177951123.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-432862-1177951123 -o ROOT/results/node70/solver-432862-1177951123 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432862-1177951123/instance-432862-1177951123.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 35ffbede57b8807d38d913370f4c4486 RANDOM SEED= 845879161 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1782168 kB Buffers: 8096 kB Cached: 198024 kB SwapCached: 2980 kB Active: 54056 kB Inactive: 161944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1782168 kB SwapTotal: 4192956 kB SwapFree: 4183764 kB Dirty: 23484 kB Writeback: 0 kB Mapped: 15824 kB Slab: 43732 kB Committed_AS: 3590172 kB PageTables: 1400 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66542 MiB End job on node70 on Mon Apr 30 17:03:41 UTC 2007