Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (MO) | 5633 | 1246.66 | 1247.79 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb |
MD5SUM | 093efae700664f798191c0b27cec34af |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 447 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 447 |
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 | 494527 |
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 | 494527 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/352396-1176630997/instance-352396-1176630997.opb 0.00/0.00 c File size is 17233660 bytes. 2.79/2.88 c Highest Coefficient sum: 494527 2.79/2.88 c Parsing was ok!! 2.79/2.88 c Total parsing time: 2.878 s 3.09/3.13 c Var: 10000 Constr: 656900 656900/0/0 Lit: 1333400 Watch. Lit: 1313800 3.09/3.13 c Obj. Vars: 10000 (100 % of total variables) 26.16/26.21 c Pre-processing Time: 26.188 s 26.16/26.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.16/26.23 c 0 10000 656900 1333400 2 1313800 218966 0 0 26.19 26.16/26.23 c Switching off LPR mode. 27.46/27.59 c 100 10000 657000 1731890 2 1314000 240863 100 3 26.66 27.46/27.59 c 250 10000 657150 1915856 2 1314300 264950 250 9 26.99 27.46/27.59 c 475 10000 657375 2053000 3 1314750 291446 475 17 27.19 27.46/27.59 c 818 10000 657718 2349027 3 1315436 320591 818 29 27.48 27.46/27.59 o 7278 27.562 27.96/28.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.96/28.05 c 871 10000 657772 2397224 3 1325398 238966 872 31 27.59 27.96/28.05 c 971 10000 657872 2440281 3 1325554 262863 972 34 27.94 27.96/28.05 o 7038 28.015 28.15/28.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.15/28.28 c 976 10000 657878 2451360 3 1335428 238966 978 34 28.05 28.15/28.28 o 6951 28.253 29.96/30.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.96/30.06 c 1006 10000 657909 2479651 3 1345333 238966 1009 35 28.28 29.96/30.06 c 1108 10000 658011 2629613 3 1345486 262863 1111 38 28.56 29.96/30.06 c 1359 10000 658262 2973891 4 1346054 289150 1362 46 29.20 29.96/30.06 o 6467 30.025 31.16/31.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.16/31.26 c 1652 10000 658556 3521024 5 1356341 238966 1656 54 30.05 31.16/31.26 c 1752 10000 658656 3611122 5 1356534 262863 1756 57 30.31 31.16/31.26 c 2002 10000 658906 4063526 6 1356891 289150 2006 64 31.03 31.16/31.26 o 6413 31.228 31.46/31.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.46/31.55 c 2048 10000 658953 4145075 6 1366934 238966 2053 65 31.26 31.46/31.55 o 6384 31.513 31.87/31.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.87/31.95 c 2131 10000 659037 4249901 6 1376892 238966 2137 67 31.54 31.87/31.95 o 6334 31.921 43.16/43.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 43.16/43.20 c 2228 10000 659135 4392780 6 1386937 238966 2235 69 31.95 43.16/43.20 c 2329 10000 659236 4491617 6 1387225 262863 2336 72 32.29 43.16/43.20 c 2579 10000 659486 4717061 7 1387640 289150 2586 77 33.22 43.16/43.20 c 3055 10000 659962 5068895 7 1388612 318066 3062 88 34.56 43.16/43.20 c 3868 10000 660775 5787552 8 1390231 349873 3875 103 37.29 43.16/43.20 c 5188 10000 662095 7374107 11 1392847 384861 5195 120 42.98 43.16/43.20 o 6308 43.168 43.25/43.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 43.25/43.31 c 5232 10000 662140 7416502 11 1402765 238966 5240 121 43.20 43.25/43.31 o 6262 43.274 43.35/43.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 43.35/43.48 c 5235 10000 662144 7427632 11 1412563 238966 5244 120 43.30 43.35/43.48 o 6242 43.447 43.45/43.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 43.45/43.59 c 5259 10000 662169 7458721 11 1422384 238966 5269 120 43.48 43.45/43.59 o 6239 43.551 44.15/44.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 44.15/44.23 c 5260 10000 662171 7468918 11 1432232 238966 5271 120 43.58 44.15/44.23 c 5360 10000 662271 7571423 11 1432524 262863 5371 121 44.05 44.15/44.23 o 6238 44.189 67.94/68.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 67.94/68.10 c 5378 10000 662290 7590030 11 1442347 238966 5390 121 44.22 67.94/68.10 c 5478 10000 662390 7664810 11 1442616 262863 5490 122 44.77 67.94/68.10 c 5728 10000 662640 7882242 11 1443040 289150 5740 124 46.02 67.94/68.10 c 6203 10000 663115 8309926 12 1443965 318066 6215 129 48.03 67.94/68.10 c 7018 10000 663930 8935795 13 1445629 349873 7030 136 51.51 67.94/68.10 c 8338 10000 665250 9761626 14 1448237 384861 8350 145 57.15 67.94/68.10 c 10420 10000 667332 11659560 17 1452416 423348 10432 153 67.85 67.94/68.10 o 6153 68.046 68.54/68.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 68.54/68.69 c 10442 10000 667355 11688523 17 1462241 238966 10455 153 68.08 68.54/68.69 c 10543 10000 667456 11748699 17 1462471 262863 10556 153 68.52 68.54/68.69 o 6096 68.635 77.12/77.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 77.12/77.26 c 10546 10000 667460 11759768 17 1472122 238966 10560 153 68.67 77.12/77.26 c 10648 10000 667562 11823611 17 1472472 262863 10662 154 69.07 77.12/77.26 c 10900 10000 667814 12006157 17 1472901 289150 10914 155 70.19 77.12/77.26 c 11376 10000 668290 12491775 18 1473724 318066 11390 155 72.95 77.12/77.26 c 12190 10000 669104 13444565 20 1475260 349873 12204 158 77.03 77.12/77.26 o 6043 77.196 79.13/79.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 79.13/79.22 c 12208 10000 669123 13467707 20 1485059 238966 12223 158 77.23 79.13/79.22 c 12308 10000 669223 13524061 20 1485443 262863 12323 158 77.67 79.13/79.22 c 12558 10000 669473 13653179 20 1485830 289150 12573 159 78.60 79.13/79.22 o 6031 79.152 90.12/90.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 90.12/90.27 c 12680 10000 669596 13744330 20 1495830 238966 12696 160 79.18 90.12/90.27 c 12782 10000 669698 13809564 20 1495940 262863 12798 160 79.72 90.12/90.27 c 13032 10000 669948 13973869 20 1496555 289150 13048 161 80.81 90.12/90.27 c 13508 10000 670424 14461447 21 1497342 318066 13524 161 83.48 90.12/90.27 c 14321 10000 671237 14978004 22 1499051 349873 14337 164 86.84 90.12/90.27 o 6016 90.207 90.32/90.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 90.32/90.46 c 14960 10000 671877 15494780 23 1510036 238966 14977 165 90.24 90.32/90.46 o 5904 90.396 195.86/196.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 195.86/196.05 c 14966 10000 671884 15506721 23 1519464 238966 14984 165 90.43 195.86/196.05 c 15066 10000 671984 15581449 23 1519970 262863 15084 165 91.05 195.86/196.05 c 15316 10000 672234 15800503 23 1520276 289150 15334 165 92.41 195.86/196.05 c 15791 10000 672709 16289665 24 1520978 318066 15809 165 95.40 195.86/196.05 c 16604 10000 673522 16863860 25 1522558 349873 16622 167 98.87 195.86/196.05 c 17924 10000 674842 17772649 26 1525399 384861 17942 171 104.47 195.86/196.05 c 20005 10000 676923 19562886 28 1529518 423348 20023 173 115.15 195.86/196.05 c 23228 10000 680146 22080166 32 1535927 465683 23246 175 132.00 195.86/196.05 c 28165 10000 685083 25388889 37 1545694 512252 28183 181 154.91 195.86/196.05 c 35673 10000 692591 30742866 44 1560800 563478 35691 183 194.49 195.86/196.05 o 5883 195.916 259.22/259.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 259.22/259.50 c 35961 10000 692880 30947950 44 1570991 238966 35980 183 195.95 259.22/259.50 c 36062 10000 692981 31010469 44 1571345 262863 36081 183 196.55 259.22/259.50 c 36312 10000 693231 31136395 44 1571806 289150 36331 183 197.84 259.22/259.50 c 36787 10000 693706 31488031 45 1572550 318066 36806 183 200.48 259.22/259.50 c 37600 10000 694519 32266510 46 1574106 349873 37619 183 205.24 259.22/259.50 c 38920 10000 695839 33316629 47 1576780 384861 38939 182 212.91 259.22/259.50 c 41001 10000 697920 35183272 50 1581035 423348 41020 183 223.30 259.22/259.50 c 44224 10000 701143 37740055 53 1587328 465683 44243 181 243.83 259.22/259.50 o 5834 259.327 285.79/286.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 285.79/286.02 c 46830 10000 703750 39793419 56 1602282 238966 46850 180 259.36 285.79/286.02 c 46930 10000 703850 39848087 56 1602615 262863 46950 180 260.00 285.79/286.02 c 47181 10000 704101 39985727 56 1602976 289150 47201 180 261.24 285.79/286.02 c 47657 10000 704577 40302395 57 1603993 318066 47677 180 263.77 285.79/286.02 c 48470 10000 705390 40805498 57 1605377 349873 48490 181 267.14 285.79/286.02 c 49790 10000 706710 41865889 59 1608120 384861 49810 181 274.33 285.79/286.02 c 51871 10000 708791 43216552 60 1612241 423348 51891 182 284.67 285.79/286.02 o 5827 285.825 403.33/403.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 403.33/403.62 c 52067 10000 708988 43342566 61 1622387 238966 52088 182 285.86 403.33/403.62 c 52167 10000 709088 43408395 61 1622536 262863 52188 182 286.54 403.33/403.62 c 52417 10000 709338 43561019 61 1623030 289150 52438 182 287.96 403.33/403.62 c 52893 10000 709814 43908117 61 1623988 318066 52914 181 290.76 403.33/403.62 c 53706 10000 710627 44393451 62 1625588 349873 53727 181 295.56 403.33/403.62 c 55027 10000 711948 45193543 63 1628433 384861 55048 182 301.62 403.33/403.62 c 57108 10000 714029 46333695 64 1632535 423348 57129 183 311.81 403.33/403.62 c 60331 10000 717252 48935455 68 1638739 465683 60352 182 330.57 403.33/403.62 c 65269 10000 722190 51727319 71 1648604 512252 65290 183 354.77 403.33/403.62 c 72775 10000 729696 56341059 77 1663580 563478 72796 183 397.36 403.33/403.62 o 5801 403.352 458.68/459.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 458.68/459.05 c 73327 10000 730249 57351475 78 1674183 238966 73349 181 403.38 458.68/459.05 c 73427 10000 730349 57413436 78 1674598 262863 73449 181 404.10 458.68/459.05 c 73678 10000 730600 57560664 78 1675053 289150 73700 181 405.71 458.68/459.05 c 74154 10000 731076 57836512 79 1676061 318066 74176 181 408.75 458.68/459.05 c 74967 10000 731889 58430959 79 1677527 349873 74989 181 413.16 458.68/459.05 c 76289 10000 733211 59220682 80 1680382 384861 76311 181 420.52 458.68/459.05 c 78370 10000 735292 60605656 82 1684292 423348 78392 181 432.02 458.68/459.05 c 81594 10000 738516 62432487 84 1690795 465683 81616 181 448.54 458.68/459.05 o 5779 458.745 661.80/662.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 661.80/662.37 c 83371 10000 740294 63621231 85 1703919 238966 83394 181 458.78 661.80/662.37 c 83471 10000 740394 63664031 85 1704484 262863 83494 181 459.51 661.80/662.37 c 83721 10000 740644 63832111 86 1704757 289150 83744 181 461.11 661.80/662.37 c 84197 10000 741120 64169870 86 1705654 318066 84220 181 464.15 661.80/662.37 c 85011 10000 741934 64771424 87 1707312 349873 85034 181 469.39 661.80/662.37 c 86331 10000 743254 65881467 88 1709726 384861 86354 180 478.47 661.80/662.37 c 88413 10000 745336 67259790 90 1714168 423348 88436 179 491.27 661.80/662.37 c 91636 10000 748559 68810356 91 1720585 465683 91659 180 508.20 661.80/662.37 c 96574 10000 753497 71171599 94 1730533 512252 96597 181 532.98 661.80/662.37 c 104081 10000 761004 76794430 100 1745325 563478 104104 177 585.49 661.80/662.37 c 115442 10000 772365 84334239 109 1768142 619826 115465 174 661.05 661.80/662.37 o 5671 661.878 664.60/665.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 664.60/665.17 c 115510 10000 772434 84465751 109 1777505 238966 115534 174 661.91 664.60/665.17 c 115611 10000 772535 84529480 109 1777975 262863 115635 174 662.70 664.60/665.17 c 115862 10000 772786 84675119 109 1778522 289150 115886 174 664.32 664.60/665.17 o 5663 664.684 704.58/705.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 704.58/705.12 c 115878 10000 772803 84693274 109 1787972 238966 115903 174 664.72 704.58/705.12 c 115978 10000 772903 84764718 109 1788393 262863 116003 174 665.66 704.58/705.12 c 116228 10000 773153 84908422 109 1788647 289150 116253 174 667.28 704.58/705.12 c 116704 10000 773629 85134668 110 1789766 318066 116729 174 669.80 704.58/705.12 c 117518 10000 774443 85827996 110 1791131 349873 117543 174 675.36 704.58/705.12 c 118840 10000 775765 87257783 112 1793628 384861 118865 172 687.38 704.58/705.12 c 120922 10000 777847 88573425 113 1798017 423348 120947 172 700.21 704.58/705.12 o 5652 704.607 863.15/863.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 863.15/863.88 c 121677 10000 778603 89009523 114 1809141 238966 121703 172 704.64 863.15/863.88 c 121779 10000 778705 89084863 114 1809622 262863 121805 172 705.72 863.15/863.88 c 122030 10000 778956 89224956 114 1810170 289150 122056 172 707.52 863.15/863.88 c 122505 10000 779431 89501501 114 1811008 318066 122531 172 710.33 863.15/863.88 c 123318 10000 780244 89929830 115 1812739 349873 123344 172 715.88 863.15/863.88 c 124638 10000 781564 91268974 116 1814907 384861 124664 171 727.16 863.15/863.88 c 126720 10000 783646 92419740 117 1819264 423348 126746 171 740.65 863.15/863.88 c 129943 10000 786869 94576342 120 1825735 465683 129969 170 762.11 863.15/863.88 c 134882 10000 791808 98321187 124 1835429 512252 134908 168 798.32 863.15/863.88 c 142389 10000 799315 103555476 129 1850412 563478 142415 165 861.12 863.15/863.88 o 5650 863.235 1137.34/1138.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1137.34/1138.26 c 142680 10000 799607 103736584 129 1860494 238966 142707 165 863.27 1137.34/1138.26 c 142780 10000 799707 103795078 129 1860885 262863 142807 165 864.30 1137.34/1138.26 c 143030 10000 799957 103969820 129 1861345 289150 143057 165 866.34 1137.34/1138.26 c 143506 10000 800433 104310011 130 1862702 318066 143533 164 870.38 1137.34/1138.26 c 144319 10000 801246 104858417 130 1864103 349873 144346 164 876.43 1137.34/1138.26 c 145641 10000 802568 105923089 131 1866602 384861 145668 164 886.49 1137.34/1138.26 c 147722 10000 804649 107296831 133 1870875 423348 147749 163 901.19 1137.34/1138.26 c 150945 10000 807872 109374405 135 1877469 465683 150972 163 925.50 1137.34/1138.26 c 155881 10000 812808 112344656 138 1887030 512252 155908 162 957.01 1137.34/1138.26 c 163387 10000 820314 118231659 144 1901971 563478 163414 159 1025.76 1137.34/1138.26 c 174751 10000 831678 125351732 150 1924960 619826 174778 155 1124.98 1137.34/1138.26 o 5633 1137.41 1246.38/1247.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1246.38/1247.50 c 175703 10000 832631 127240098 152 1936352 238966 175731 154 1137.45 1246.38/1247.50 c 175803 10000 832731 127320052 152 1936584 262863 175831 154 1138.65 1246.38/1247.50 c 176054 10000 832982 127477824 153 1937069 289150 176082 154 1140.81 1246.38/1247.50 c 176529 10000 833457 127753549 153 1938286 318066 176557 154 1144.21 1246.38/1247.50 c 177342 10000 834270 128420819 153 1939801 349873 177370 154 1150.17 1246.38/1247.50 c 178662 10000 835590 129664456 155 1942074 384861 178690 153 1164.34 1246.38/1247.50 c 180746 10000 837674 130927553 156 1946599 423348 180774 153 1177.71 1246.38/1247.50 c 183969 10000 840897 132773821 157 1952851 465683 183997 153 1201.48 1246.38/1247.50 c 188905 10000 845833 135993144 160 1962820 512252 188933 152 1242.06 1246.38/1247.50 c Caught signal: 15 1246.38/1247.50 v -x1 -x101 -x201 -x301 -x401 -x501 -x601 -x701 -x801 -x901 -x1001 -x1101 -x1201 -x1301 -x1401 -x1501 -x1601 -x1701 -x1801 1246.38/1247.50 v -x1901 -x2001 -x2101 -x2201 -x2301 -x2401 -x2501 -x2601 -x2701 -x2801 -x2901 -x3001 -x3101 -x3201 -x3301 -x3401 -x3501 1246.38/1247.50 v -x3601 -x3701 -x3801 -x3901 -x4001 -x4101 -x4201 -x4301 -x4401 -x4501 -x4601 -x4701 -x4801 -x4901 -x5001 -x5101 -x5201 1246.38/1247.50 v -x5301 -x5401 -x5501 -x5601 -x5701 -x5801 -x5901 -x6001 -x6101 -x6201 -x6301 -x6401 -x6501 -x6601 -x6701 -x6801 -x6901 1246.38/1247.50 v -x7001 -x7101 x7201 -x7301 -x7401 -x7501 -x7601 -x7701 -x7801 -x7901 -x8001 -x8101 -x8201 -x8301 -x8401 -x8501 -x8601 1246.38/1247.50 v -x8701 -x8801 -x8901 -x9001 -x9101 -x9201 -x9301 -x9401 -x9501 -x9601 -x9701 -x9801 -x9901 -x2 -x102 -x202 -x302 -x402 1246.38/1247.50 v -x502 -x602 -x702 -x802 -x902 -x1002 -x1102 -x1202 -x1302 -x1402 -x1502 -x1602 -x1702 -x1802 -x1902 -x2002 -x2102 -x2202 1246.38/1247.50 v -x2302 -x2402 -x2502 -x2602 -x2702 -x2802 -x2902 -x3002 x3102 -x3202 -x3302 -x3402 -x3502 -x3602 -x3702 -x3802 -x3902 1246.38/1247.50 v -x4002 -x4102 -x4202 -x4302 -x4402 -x4502 -x4602 -x4702 -x4802 -x4902 -x5002 -x5102 -x5202 -x5302 -x5402 -x5502 -x5602 1246.38/1247.50 v -x5702 -x5802 -x5902 -x6002 -x6102 -x6202 -x6302 -x6402 -x6502 -x6602 -x6702 -x6802 -x6902 -x7002 -x7102 -x7202 -x7302 1246.38/1247.50 v -x7402 -x7502 -x7602 -x7702 -x7802 -x7902 -x8002 -x8102 -x8202 -x8302 -x8402 -x8502 -x8602 -x8702 -x8802 -x8902 -x9002 1246.38/1247.50 v -x9102 -x9202 -x9302 -x9402 -x9502 -x9602 -x9702 -x9802 -x9902 -x3 -x103 -x203 -x303 -x403 -x503 -x603 -x703 -x803 -x903 1246.38/1247.50 v -x1003 -x1103 -x1203 -x1303 -x1403 -x1503 -x1603 -x1703 -x1803 -x1903 -x2003 -x2103 -x2203 -x2303 -x2403 -x2503 -x2603 1246.38/1247.50 v -x2703 -x2803 -x2903 -x3003 -x3103 -x3203 -x3303 -x3403 -x3503 -x3603 -x3703 -x3803 -x3903 -x4003 -x4103 -x4203 -x4303 1246.38/1247.50 v -x4403 -x4503 -x4603 -x4703 -x4803 -x4903 -x5003 x5103 -x5203 -x5303 -x5403 -x5503 -x5603 -x5703 -x5803 -x5903 -x6003 1246.38/1247.50 v -x6103 -x6203 -x6303 -x6403 -x6503 -x6603 -x6703 -x6803 -x6903 -x7003 -x7103 -x7203 -x7303 -x7403 -x7503 -x7603 -x7703 1246.38/1247.50 v -x7803 -x7903 -x8003 -x8103 -x8203 -x8303 -x8403 -x8503 -x8603 -x8703 -x8803 -x8903 -x9003 -x9103 -x9203 -x9303 -x9403 1246.38/1247.50 v -x9503 -x9603 -x9703 -x9803 -x9903 -x4 -x104 -x204 x304 -x404 -x504 -x604 -x704 -x804 -x904 -x1004 -x1104 -x1204 -x1304 1246.38/1247.50 v -x1404 -x1504 -x1604 -x1704 -x1804 -x1904 -x2004 -x2104 -x2204 -x2304 -x2404 -x2504 -x2604 -x2704 -x2804 -x2904 -x3004 1246.38/1247.50 v -x3104 -x3204 -x3304 -x3404 -x3504 -x3604 -x3704 -x3804 -x3904 -x4004 -x4104 -x4204 -x4304 -x4404 -x4504 -x4604 -x4704 1246.38/1247.50 v -x4804 -x4904 -x5004 -x5104 -x5204 -x5304 -x5404 -x5504 -x5604 -x5704 -x5804 -x5904 -x6004 -x6104 -x6204 -x6304 -x6404 1246.38/1247.50 v -x6504 -x6604 -x6704 -x6804 -x6904 -x7004 -x7104 -x7204 -x7304 -x7404 -x7504 -x7604 -x7704 -x7804 -x7904 -x8004 -x8104 1246.38/1247.50 v -x8204 -x8304 -x8404 -x8504 -x8604 -x8704 -x8804 -x8904 -x9004 -x9104 -x9204 -x9304 -x9404 -x9504 -x9604 -x9704 -x9804 1246.38/1247.50 v -x9904 -x5 -x105 -x205 -x305 -x405 -x505 -x605 -x705 -x805 -x905 -x1005 -x1105 -x1205 -x1305 -x1405 -x1505 -x1605 -x1705 1246.38/1247.50 v -x1805 -x1905 -x2005 -x2105 -x2205 -x2305 -x2405 -x2505 -x2605 -x2705 -x2805 -x2905 -x3005 -x3105 -x3205 -x3305 -x3405 1246.38/1247.50 v -x3505 -x3605 -x3705 -x3805 -x3905 -x4005 -x4105 -x4205 -x4305 -x4405 -x4505 -x4605 -x4705 -x4805 -x4905 -x5005 -x5105 1246.38/1247.50 v -x5205 -x5305 -x5405 -x5505 -x5605 -x5705 -x5805 -x5905 -x6005 -x6105 -x6205 -x6305 -x6405 -x6505 -x6605 -x6705 -x6805 1246.38/1247.50 v -x6905 -x7005 -x7105 -x7205 -x7305 -x7405 -x7505 -x7605 -x7705 -x7805 -x7905 -x8005 -x8105 -x8205 -x8305 -x8405 -x8505 1246.38/1247.50 v -x8605 -x8705 -x8805 -x8905 -x9005 -x9105 -x9205 -x9305 -x9405 -x9505 -x9605 x9705 -x9805 -x9905 -x6 -x106 -x206 -x306 1246.38/1247.50 v -x406 -x506 -x606 -x706 -x806 -x906 -x1006 -x1106 -x1206 -x1306 -x1406 -x1506 -x1606 -x1706 -x1806 -x1906 -x2006 -x2106 1246.38/1247.50 v -x2206 -x2306 -x2406 -x2506 -x2606 -x2706 -x2806 -x2906 -x3006 -x3106 -x3206 -x3306 -x3406 -x3506 x3606 -x3706 -x3806 1246.38/1247.50 v -x3906 -x4006 -x4106 -x4206 -x4306 -x4406 -x4506 -x4606 -x4706 -x4806 -x4906 -x5006 -x5106 -x5206 -x5306 -x5406 -x5506 1246.38/1247.50 v -x5606 -x5706 -x5806 -x5906 -x6006 -x6106 x6206 -x6306 -x6406 -x6506 -x6606 -x6706 -x6806 x6906 -x7006 -x7106 -x7206 -x7306 1246.38/1247.50 v x7406 -x7506 -x7606 -x7706 -x7806 -x7906 -x8006 -x8106 -x8206 -x8306 -x8406 -x8506 -x8606 -x8706 -x8806 -x8906 -x9006 1246.38/1247.50 v -x9106 -x9206 -x9306 -x9406 -x9506 -x9606 -x9706 -x9806 -x9906 -x7 -x107 -x207 -x307 -x407 -x507 -x607 -x707 -x807 -x907 1246.38/1247.50 v -x1007 -x1107 -x1207 -x1307 -x1407 -x1507 -x1607 -x1707 x1807 -x1907 -x2007 -x2107 -x2207 -x2307 -x2407 -x2507 -x2607 1246.38/1247.50 v -x2707 -x2807 -x2907 -x3007 -x3107 -x3207 -x3307 -x3407 -x3507 -x3607 -x3707 -x3807 -x3907 -x4007 -x4107 -x4207 -x4307 1246.38/1247.50 v -x4407 -x4507 -x4607 -x4707 -x4807 -x4907 -x5007 -x5107 -x5207 -x5307 -x5407 -x5507 -x5607 -x5707 -x5807 -x5907 -x6007 1246.38/1247.50 v -x6107 -x6207 -x6307 -x6407 -x6507 -x6607 -x6707 -x6807 -x6907 -x7007 -x7107 -x7207 -x7307 -x7407 -x7507 -x7607 -x7707 1246.38/1247.50 v -x7807 -x7907 -x8007 -x8107 -x8207 -x8307 -x8407 -x8507 -x8607 -x8707 -x8807 -x8907 -x9007 -x9107 -x9207 -x9307 -x9407 1246.38/1247.50 v -x9507 -x9607 -x9707 -x9807 -x9907 -x8 -x108 -x208 -x308 -x408 -x508 -x608 -x708 -x808 -x908 -x1008 -x1108 -x1208 -x1308 1246.38/1247.50 v -x1408 -x1508 -x1608 -x1708 -x1808 -x1908 -x2008 -x2108 -x2208 -x2308 -x2408 -x2508 -x2608 -x2708 -x2808 -x2908 -x3008 1246.38/1247.50 v -x3108 -x3208 -x3308 -x3408 -x3508 -x3608 -x3708 -x3808 -x3908 -x4008 -x4108 -x4208 -x4308 -x4408 -x4508 -x4608 -x4708 1246.38/1247.50 v -x4808 -x4908 -x5008 -x5108 -x5208 -x5308 -x5408 -x5508 -x5608 -x5708 -x5808 -x5908 -x6008 -x6108 -x6208 -x6308 -x6408 1246.38/1247.50 v -x6508 -x6608 -x6708 -x6808 -x6908 -x7008 -x7108 -x7208 -x7308 -x7408 -x7508 -x7608 -x7708 -x7808 -x7908 -x8008 -x8108 1246.38/1247.50 v -x8208 -x8308 -x8408 -x8508 -x8608 -x8708 -x8808 -x8908 -x9008 -x9108 -x9208 -x9308 -x9408 x9508 -x9608 -x9708 -x9808 1246.38/1247.50 v -x9908 -x9 -x109 -x209 -x309 -x409 -x509 -x609 -x709 -x809 -x909 -x1009 -x1109 -x1209 -x1309 -x1409 -x1509 -x1609 -x1709 1246.38/1247.50 v -x1809 -x1909 -x2009 -x2109 -x2209 -x2309 -x2409 -x2509 -x2609 -x2709 -x2809 -x2909 -x3009 -x3109 -x3209 -x3309 x3409 1246.38/1247.50 v -x3509 -x3609 -x3709 -x3809 -x3909 -x4009 -x4109 -x4209 -x4309 -x4409 -x4509 -x4609 -x4709 -x4809 x4909 -x5009 -x5109 1246.38/1247.50 v -x5209 -x5309 -x5409 -x5509 -x5609 -x5709 -x5809 -x5909 -x6009 -x6109 -x6209 x6309 -x6409 -x6509 -x6609 -x6709 -x6809 1246.38/1247.50 v -x6909 -x7009 -x7109 -x7209 -x7309 -x7409 -x7509 -x7609 -x7709 -x7809 -x7909 -x8009 -x8109 -x8209 -x8309 -x8409 -x8509 1246.38/1247.50 v -x8609 -x8709 -x8809 -x8909 -x9009 -x9109 -x9209 -x9309 -x9409 -x9509 -x9609 -x9709 -x9809 -x9909 x10 -x110 -x210 -x310 1246.38/1247.50 v -x410 -x510 -x610 -x710 -x810 -x910 -x1010 -x1110 -x1210 -x1310 -x1410 -x1510 -x1610 -x1710 -x1810 -x1910 -x2010 -x2110 1246.38/1247.50 v -x2210 -x2310 -x2410 -x2510 -x2610 -x2710 -x2810 -x2910 -x3010 -x3110 -x3210 -x3310 -x3410 -x3510 -x3610 -x3710 -x3810 1246.38/1247.50 v -x3910 -x4010 -x4110 -x4210 -x4310 -x4410 -x4510 -x4610 -x4710 -x4810 -x4910 -x5010 -x5110 -x5210 -x5310 -x5410 -x5510 1246.38/1247.50 v -x5610 -x5710 -x5810 -x5910 -x6010 -x6110 -x6210 -x6310 -x6410 -x6510 -x6610 -x6710 -x6810 -x6910 -x7010 -x7110 -x7210 1246.38/1247.50 v -x7310 -x7410 -x7510 -x7610 -x7710 -x7810 -x7910 -x8010 -x8110 -x8210 -x8310 -x8410 -x8510 -x8610 -x8710 -x8810 -x8910 1246.38/1247.50 v -x9010 -x9110 -x9210 -x9310 -x9410 -x9510 -x9610 -x9710 -x9810 -x9910 -x11 -x111 -x211 -x311 -x411 -x511 -x611 -x711 -x811 1246.38/1247.50 v -x911 -x1011 -x1111 -x1211 -x1311 -x1411 -x1511 -x1611 -x1711 -x1811 -x1911 -x2011 -x2111 -x2211 -x2311 -x2411 -x2511 1246.38/1247.50 v -x2611 -x2711 x2811 -x2911 -x3011 -x3111 -x3211 -x3311 -x3411 -x3511 -x3611 -x3711 -x3811 -x3911 -x4011 -x4111 -x4211 1246.38/1247.50 v -x4311 -x4411 -x4511 -x4611 -x4711 -x4811 -x4911 -x5011 -x5111 -x5211 -x5311 -x5411 -x5511 -x5611 -x5711 -x5811 -x5911 1246.38/1247.50 v -x6011 -x6111 -x6211 -x6311 -x6411 -x6511 -x6611 -x6711 -x6811 -x6911 -x7011 -x7111 -x7211 -x7311 -x7411 -x7511 -x7611 1246.38/1247.50 v -x7711 x7811 -x7911 -x8011 -x8111 -x8211 -x8311 -x8411 -x8511 -x8611 -x8711 -x8811 -x8911 -x9011 -x9111 -x9211 -x9311 1246.38/1247.50 v -x9411 -x9511 -x9611 -x9711 -x9811 -x9911 -x12 -x112 -x212 -x312 -x412 -x512 -x612 -x712 -x812 -x912 -x1012 -x1112 -x1212 1246.38/1247.50 v -x1312 -x1412 -x1512 -x1612 -x1712 -x1812 -x1912 -x2012 -x2112 -x2212 -x2312 -x2412 -x2512 -x2612 -x2712 -x2812 -x2912 1246.38/1247.50 v -x3012 -x3112 -x3212 -x3312 -x3412 -x3512 -x3612 -x3712 -x3812 -x3912 -x4012 -x4112 -x4212 -x4312 -x4412 -x4512 -x4612 1246.38/1247.50 v -x4712 -x4812 -x4912 -x5012 -x5112 -x5212 -x5312 -x5412 -x5512 -x5612 -x5712 -x5812 -x5912 -x6012 -x6112 -x6212 -x6312 1246.38/1247.50 v -x6412 -x6512 -x6612 -x6712 -x6812 -x6912 -x7012 -x7112 -x7212 -x7312 -x7412 -x7512 -x7612 -x7712 -x7812 -x7912 -x8012 1246.38/1247.50 v x8112 -x8212 -x8312 -x8412 -x8512 -x8612 -x8712 -x8812 -x8912 -x9012 -x9112 -x9212 -x9312 -x9412 -x9512 -x9612 -x9712 1246.38/1247.50 v -x9812 -x9912 -x13 -x113 -x213 -x313 -x413 -x513 -x613 -x713 -x813 -x913 -x1013 -x1113 -x1213 -x1313 -x1413 -x1513 -x1613 1246.38/1247.50 v -x1713 -x1813 -x1913 -x2013 -x2113 -x2213 -x2313 -x2413 -x2513 -x2613 -x2713 -x2813 -x2913 -x3013 -x3113 -x3213 -x3313 1246.38/1247.50 v -x3413 -x3513 -x3613 -x3713 -x3813 -x3913 -x4013 -x4113 -x4213 -x4313 -x4413 -x4513 -x4613 -x4713 -x4813 -x4913 -x5013 1246.38/1247.50 v -x5113 -x5213 -x5313 -x5413 -x5513 -x5613 -x5713 -x5813 -x5913 -x6013 -x6113 -x6213 -x6313 -x6413 -x6513 -x6613 -x6713 1246.38/1247.50 v -x6813 -x6913 -x7013 -x7113 -x7213 -x7313 -x7413 -x7513 -x7613 -x7713 -x7813 -x7913 -x8013 -x8113 -x8213 -x8313 -x8413 1246.38/1247.50 v -x8513 -x8613 -x8713 -x8813 -x8913 -x9013 -x9113 -x9213 -x9313 -x9413 x9513 -x9613 -x9713 -x9813 -x9913 -x14 -x114 x214 1246.38/1247.50 v -x314 -x414 -x514 -x614 -x714 -x814 -x914 -x1014 -x1114 -x1214 -x1314 -x1414 -x1514 -x1614 -x1714 -x1814 -x1914 -x2014 1246.38/1247.50 v -x2114 -x2214 -x2314 -x2414 -x2514 -x2614 -x2714 -x2814 -x2914 -x3014 -x3114 -x3214 -x3314 -x3414 -x3514 -x3614 -x3714 1246.38/1247.50 v -x3814 -x3914 -x4014 -x4114 -x4214 -x4314 -x4414 -x4514 -x4614 -x4714 -x4814 -x4914 -x5014 -x5114 -x5214 -x5314 -x5414 1246.38/1247.50 v -x5514 -x5614 -x5714 -x5814 -x5914 -x6014 -x6114 -x6214 -x6314 -x6414 -x6514 -x6614 -x6714 -x6814 -x6914 -x7014 -x7114 1246.38/1247.50 v -x7214 -x7314 -x7414 -x7514 -x7614 -x7714 -x7814 -x7914 -x8014 -x8114 -x8214 -x8314 -x8414 -x8514 -x8614 -x8714 -x8814 1246.38/1247.50 v -x8914 -x9014 -x9114 -x9214 -x9314 -x9414 -x9514 -x9614 -x9714 -x9814 -x9914 -x15 -x115 -x215 -x315 -x415 -x515 -x615 -x715 1246.38/1247.50 v -x815 -x915 -x1015 -x1115 -x1215 -x1315 -x1415 x1515 -x1615 -x1715 -x1815 -x1915 -x2015 -x2115 -x2215 -x2315 -x2415 -x2515 1246.38/1247.50 v -x2615 -x2715 -x2815 -x2915 -x3015 -x3115 -x3215 -x3315 -x3415 -x3515 -x3615 -x3715 -x3815 -x3915 -x4015 -x4115 -x4215 1246.38/1247.50 v -x4315 -x4415 -x4515 -x4615 -x4715 -x4815 -x4915 -x5015 -x5115 -x5215 -x5315 -x5415 -x5515 -x5615 -x5715 -x5815 -x5915 1246.38/1247.50 v -x6015 -x6115 -x6215 -x6315 -x6415 -x6515 -x6615 -x6715 -x6815 -x6915 -x7015 -x7115 -x7215 -x7315 -x7415 -x7515 -x7615 1246.38/1247.50 v -x7715 -x7815 -x7915 -x8015 -x8115 -x8215 -x8315 -x8415 -x8515 -x8615 -x8715 -x8815 -x8915 -x9015 -x9115 -x9215 -x9315 1246.38/1247.50 v -x9415 -x9515 -x9615 -x9715 -x9815 -x9915 -x16 -x116 -x216 -x316 -x416 -x516 -x616 -x716 -x816 -x916 -x1016 -x1116 x1216 1246.38/1247.50 v -x1316 -x1416 -x1516 -x1616 -x1716 -x1816 -x1916 -x2016 -x2116 -x2216 -x2316 -x2416 -x2516 -x2616 -x2716 -x2816 -x2916 1246.38/1247.50 v -x3016 -x3116 -x3216 -x3316 -x3416 -x3516 -x3616 -x3716 -x3816 -x3916 -x4016 -x4116 -x4216 -x4316 -x4416 -x4516 -x4616 1246.38/1247.50 v -x4716 -x4816 -x4916 -x5016 -x5116 -x5216 -x5316 -x5416 -x5516 -x5616 -x5716 -x5816 -x5916 -x6016 -x6116 -x6216 -x6316 1246.38/1247.50 v -x6416 -x6516 -x6616 -x6716 -x6816 -x6916 -x7016 -x7116 -x7216 -x7316 -x7416 -x7516 -x7616 -x7716 -x7816 -x7916 -x8016 1246.38/1247.50 v -x8116 -x8216 -x8316 -x8416 -x8516 -x8616 -x8716 -x8816 -x8916 -x9016 -x9116 -x9216 -x9316 -x9416 -x9516 -x9616 -x9716 1246.38/1247.50 v -x9816 -x9916 -x17 -x117 -x217 -x317 -x417 -x517 -x617 -x717 -x817 -x917 -x1017 -x1117 -x1217 -x1317 -x1417 -x1517 -x1617 1246.38/1247.50 v -x1717 -x1817 -x1917 -x2017 -x2117 -x2217 -x2317 -x2417 -x2517 -x2617 -x2717 -x2817 -x2917 -x3017 -x3117 -x3217 -x3317 1246.38/1247.50 v -x3417 -x3517 -x3617 -x3717 -x3817 -x3917 -x4017 -x4117 -x4217 -x4317 x4417 -x4517 -x4617 -x4717 -x4817 -x4917 -x5017 1246.38/1247.50 v -x5117 -x5217 -x5317 -x5417 -x5517 -x5617 -x5717 -x5817 -x5917 -x6017 -x6117 -x6217 -x6317 -x6417 -x6517 -x6617 -x6717 1246.38/1247.50 v -x6817 -x6917 -x7017 -x7117 -x7217 -x7317 -x7417 -x7517 -x7617 -x7717 -x7817 -x7917 -x8017 -x8117 -x8217 -x8317 -x8417 1246.38/1247.50 v -x8517 -x8617 -x8717 -x8817 -x8917 -x9017 -x9117 -x9217 -x9317 -x9417 -x9517 -x9617 -x9717 -x9817 -x9917 -x18 -x118 -x218 1246.38/1247.50 v -x318 -x418 -x518 -x618 -x718 -x818 -x918 -x1018 x1118 -x1218 -x1318 -x1418 -x1518 -x1618 -x1718 -x1818 -x1918 -x2018 -x2118 1246.38/1247.50 v -x2218 -x2318 -x2418 -x2518 -x2618 -x2718 -x2818 -x2918 -x3018 -x3118 -x3218 -x3318 -x3418 -x3518 -x3618 -x3718 -x3818 1246.38/1247.50 v -x3918 -x4018 -x4118 -x4218 -x4318 -x4418 -x4518 -x4618 -x4718 -x4818 -x4918 -x5018 -x5118 -x5218 -x5318 -x5418 -x5518 1246.38/1247.50 v -x5618 -x5718 -x5818 -x5918 -x6018 -x6118 -x6218 -x6318 -x6418 -x6518 -x6618 -x6718 -x6818 -x6918 -x7018 -x7118 -x7218 1246.38/1247.50 v -x7318 -x7418 -x7518 -x7618 -x7718 -x7818 -x7918 -x8018 -x8118 -x8218 -x8318 -x8418 -x8518 -x8618 -x8718 -x8818 -x8918 1246.38/1247.50 v -x9018 -x9118 -x9218 -x9318 -x9418 -x9518 -x9618 -x9718 -x9818 -x9918 -x19 -x119 -x219 -x319 -x419 -x519 -x619 -x719 -x819 1246.38/1247.50 v -x919 -x1019 -x1119 -x1219 -x1319 -x1419 -x1519 -x1619 x1719 -x1819 -x1919 -x2019 -x2119 -x2219 -x2319 -x2419 -x2519 -x2619 1246.38/1247.50 v -x2719 -x2819 x2919 -x3019 -x3119 -x3219 -x3319 -x3419 -x3519 -x3619 -x3719 -x3819 -x3919 -x4019 -x4119 -x4219 -x4319 1246.38/1247.50 v -x4419 -x4519 -x4619 -x4719 -x4819 -x4919 -x5019 -x5119 -x5219 -x5319 -x5419 -x5519 -x5619 -x5719 -x5819 -x5919 -x6019 1246.38/1247.50 v -x6119 -x6219 -x6319 -x6419 -x6519 -x6619 -x6719 -x6819 -x6919 -x7019 -x7119 -x7219 -x7319 -x7419 -x7519 -x7619 -x7719 1246.38/1247.50 v -x7819 -x7919 -x8019 -x8119 -x8219 -x8319 -x8419 -x8519 -x8619 -x8719 -x8819 -x8919 -x9019 -x9119 -x9219 -x9319 -x9419 1246.38/1247.50 v -x9519 -x9619 -x9719 -x9819 -x9919 -x20 -x120 x220 -x320 -x420 -x520 -x620 -x720 -x820 -x920 -x1020 -x1120 -x1220 -x1320 1246.38/1247.50 v -x1420 -x1520 -x1620 -x1720 -x1820 -x1920 -x2020 -x2120 -x2220 -x2320 -x2420 -x2520 -x2620 -x2720 -x2820 -x2920 -x3020 1246.38/1247.50 v -x3120 -x3220 -x3320 -x3420 -x3520 -x3620 -x3720 -x3820 -x3920 -x4020 -x4120 -x4220 -x4320 -x4420 -x4520 -x4620 -x4720 1246.38/1247.50 v -x4820 -x4920 -x5020 -x5120 -x5220 -x5320 -x5420 -x5520 -x5620 -x5720 -x5820 -x5920 -x6020 -x6120 -x6220 -x6320 -x6420 1246.38/1247.50 v -x6520 -x6620 -x6720 -x6820 -x6920 -x7020 -x7120 -x7220 -x7320 -x7420 -x7520 -x7620 -x7720 -x7820 -x7920 -x8020 -x8120 1246.38/1247.50 v -x8220 -x8320 -x8420 -x8520 -x8620 -x8720 -x8820 -x8920 -x9020 -x9120 -x9220 -x9320 -x9420 -x9520 -x9620 -x9720 -x9820 1246.38/1247.50 v -x9920 -x21 -x121 -x221 -x321 -x421 -x521 -x621 -x721 -x821 -x921 -x1021 -x1121 -x1221 -x1321 -x1421 -x1521 -x1621 -x1721 1246.38/1247.50 v -x1821 -x1921 -x2021 -x2121 -x2221 -x2321 -x2421 -x2521 -x2621 -x2721 -x2821 -x2921 x3021 -x3121 -x3221 -x3321 -x3421 1246.38/1247.50 v -x3521 -x3621 -x3721 -x3821 -x3921 -x4021 -x4121 -x4221 -x4321 -x4421 -x4521 -x4621 -x4721 -x4821 -x4921 -x5021 -x5121 1246.38/1247.50 v -x5221 -x5321 -x5421 -x5521 -x5621 -x5721 -x5821 -x5921 -x6021 -x6121 -x6221 -x6321 -x6421 -x6521 -x6621 -x6721 -x6821 1246.38/1247.50 v -x6921 -x7021 -x7121 -x7221 -x7321 -x7421 -x7521 -x7621 -x7721 -x7821 -x7921 -x8021 -x8121 -x8221 -x8321 -x8421 -x8521 1246.38/1247.50 v -x8621 -x8721 -x8821 -x8921 -x9021 -x9121 -x9221 -x9321 -x9421 -x9521 -x9621 -x9721 -x9821 -x9921 -x22 -x122 -x222 -x322 1246.38/1247.50 v -x422 -x522 -x622 -x722 -x822 -x922 -x1022 -x1122 -x1222 -x1322 -x1422 -x1522 -x1622 -x1722 -x1822 -x1922 -x2022 -x2122 1246.38/1247.50 v -x2222 -x2322 -x2422 -x2522 -x2622 -x2722 -x2822 -x2922 -x3022 -x3122 -x3222 -x3322 -x3422 -x3522 -x3622 -x3722 -x3822 1246.38/1247.50 v -x3922 -x4022 -x4122 -x4222 -x4322 -x4422 -x4522 -x4622 -x4722 -x4822 -x4922 -x5022 -x5122 -x5222 -x5322 -x5422 -x5522 1246.38/1247.50 v -x5622 -x5722 -x5822 -x5922 -x6022 -x6122 -x6222 -x6322 -x6422 -x6522 -x6622 -x6722 -x6822 -x6922 -x7022 -x7122 -x7222 1246.38/1247.50 v -x7322 -x7422 -x7522 -x7622 -x7722 -x7822 -x7922 -x8022 -x8122 -x8222 -x8322 -x8422 -x8522 -x8622 -x8722 -x8822 -x8922 1246.38/1247.50 v -x9022 -x9122 -x9222 -x9322 x9422 -x9522 -x9622 -x9722 -x9822 -x9922 -x23 -x123 -x223 -x323 -x423 -x523 -x623 -x723 -x823 1246.38/1247.50 v -x923 -x1023 -x1123 -x1223 -x1323 -x1423 -x1523 -x1623 -x1723 -x1823 -x1923 -x2023 -x2123 -x2223 -x2323 -x2423 -x2523 1246.38/1247.50 v -x2623 -x2723 -x2823 -x2923 -x3023 -x3123 -x3223 -x3323 -x3423 -x3523 -x3623 -x3723 -x3823 -x3923 -x4023 x4123 -x4223 1246.38/1247.50 v -x4323 -x4423 -x4523 -x4623 -x4723 -x4823 -x4923 -x5023 -x5123 -x5223 -x5323 -x5423 -x5523 -x5623 -x5723 -x5823 -x5923 1246.38/1247.50 v -x6023 -x6123 -x6223 -x6323 -x6423 -x6523 -x6623 -x6723 -x6823 -x6923 -x7023 -x7123 -x7223 -x7323 -x7423 -x7523 -x7623 1246.38/1247.50 v -x7723 -x7823 -x7923 -x8023 -x8123 -x8223 -x8323 -x8423 -x8523 -x8623 -x8723 -x8823 -x8923 -x9023 -x9123 -x9223 -x9323 1246.38/1247.50 v -x9423 -x9523 -x9623 -x9723 -x9823 -x9923 -x24 -x124 -x224 -x324 -x424 -x524 -x624 -x724 -x824 -x924 -x1024 -x1124 -x1224 1246.38/1247.50 v -x1324 -x1424 -x1524 -x1624 -x1724 -x1824 -x1924 -x2024 -x2124 -x2224 -x2324 -x2424 -x2524 -x2624 -x2724 -x2824 -x2924 1246.38/1247.50 v -x3024 -x3124 -x3224 -x3324 -x3424 -x3524 -x3624 -x3724 -x3824 -x3924 -x4024 -x4124 -x4224 -x4324 -x4424 -x4524 -x4624 1246.38/1247.50 v -x4724 -x4824 -x4924 -x5024 -x5124 -x5224 -x5324 -x5424 -x5524 -x5624 -x5724 -x5824 -x5924 -x6024 -x6124 -x6224 -x6324 1246.38/1247.50 v -x6424 -x6524 -x6624 -x6724 -x6824 -x6924 -x7024 -x7124 -x7224 -x7324 -x7424 x7524 -x7624 -x7724 -x7824 -x7924 -x8024 1246.38/1247.50 v -x8124 -x8224 -x8324 -x8424 -x8524 -x8624 -x8724 -x8824 -x8924 -x9024 -x9124 -x9224 -x9324 -x9424 -x9524 -x9624 -x9724 1246.38/1247.50 v -x9824 -x9924 -x25 -x125 -x225 -x325 -x425 -x525 -x625 -x725 -x825 -x925 -x1025 -x1125 -x1225 -x1325 -x1425 -x1525 -x1625 1246.38/1247.50 v -x1725 -x1825 -x1925 -x2025 -x2125 -x2225 -x2325 -x2425 -x2525 -x2625 -x2725 -x2825 -x2925 -x3025 -x3125 -x3225 -x3325 1246.38/1247.50 v -x3425 -x3525 -x3625 -x3725 -x3825 -x3925 -x4025 -x4125 -x4225 -x4325 -x4425 -x4525 -x4625 -x4725 -x4825 -x4925 -x5025 1246.38/1247.50 v -x5125 -x5225 -x5325 -x5425 -x5525 -x5625 -x5725 -x5825 -x5925 -x6025 -x6125 -x6225 -x6325 -x6425 -x6525 -x6625 -x6725 1246.38/1247.50 v -x6825 -x6925 -x7025 -x7125 -x7225 -x7325 -x7425 -x7525 -x7625 -x7725 -x7825 -x7925 -x8025 -x8125 -x8225 -x8325 -x8425 1246.38/1247.50 v -x8525 -x8625 -x8725 -x8825 -x8925 -x9025 -x9125 -x9225 -x9325 -x9425 -x9525 -x9625 -x9725 -x9825 x9925 -x26 -x126 -x226 1246.38/1247.50 v -x326 -x426 -x526 -x626 -x726 -x826 -x926 -x1026 -x1126 -x1226 -x1326 -x1426 -x1526 -x1626 -x1726 -x1826 -x1926 -x2026 1246.38/1247.50 v -x2126 -x2226 -x2326 -x2426 -x2526 -x2626 -x2726 -x2826 -x2926 -x3026 -x3126 -x3226 -x3326 -x3426 -x3526 -x3626 -x3726 1246.38/1247.50 v -x3826 -x3926 -x4026 -x4126 -x4226 -x4326 -x4426 -x4526 -x4626 -x4726 -x4826 -x4926 -x5026 -x5126 -x5226 -x5326 -x5426 1246.38/1247.50 v -x5526 -x5626 -x5726 -x5826 -x5926 -x6026 x6126 -x6226 -x6326 -x6426 -x6526 -x6626 -x6726 -x6826 -x6926 -x7026 -x7126 1246.38/1247.50 v -x7226 -x7326 -x7426 -x7526 -x7626 -x7726 -x7826 -x7926 -x8026 -x8126 -x8226 -x8326 -x8426 -x8526 -x8626 -x8726 -x8826 1246.38/1247.50 v -x8926 -x9026 -x9126 -x9226 -x9326 -x9426 -x9526 -x9626 -x9726 -x9826 -x9926 -x27 -x127 -x227 -x327 -x427 -x527 -x627 -x727 1246.38/1247.50 v -x827 -x927 -x1027 -x1127 -x1227 -x1327 -x1427 -x1527 -x1627 -x1727 -x1827 -x1927 -x2027 -x2127 -x2227 -x2327 -x2427 -x2527 1246.38/1247.50 v -x2627 -x2727 -x2827 -x2927 -x3027 -x3127 -x3227 -x3327 -x3427 -x3527 -x3627 -x3727 -x3827 -x3927 -x4027 -x4127 -x4227 1246.38/1247.50 v -x4327 -x4427 -x4527 -x4627 -x4727 -x4827 -x4927 -x5027 -x5127 -x5227 -x5327 -x5427 -x5527 -x5627 -x5727 -x5827 -x5927 1246.38/1247.50 v -x6027 -x6127 -x6227 -x6327 -x6427 -x6527 -x6627 -x6727 -x6827 -x6927 -x7027 -x7127 -x7227 -x7327 -x7427 -x7527 -x7627 1246.38/1247.50 v -x7727 -x7827 -x7927 -x8027 -x8127 -x8227 -x8327 -x8427 -x8527 -x8627 -x8727 -x8827 -x8927 -x9027 -x9127 x9227 -x9327 1246.38/1247.50 v -x9427 -x9527 -x9627 -x9727 -x9827 -x9927 -x28 -x128 -x228 -x328 -x428 -x528 -x628 -x728 -x828 -x928 -x1028 -x1128 -x1228 1246.38/1247.50 v -x1328 -x1428 -x1528 -x1628 -x1728 -x1828 -x1928 -x2028 -x2128 -x2228 -x2328 -x2428 -x2528 -x2628 -x2728 -x2828 -x2928 1246.38/1247.50 v -x3028 -x3128 -x3228 -x3328 -x3428 -x3528 -x3628 -x3728 -x3828 -x3928 -x4028 -x4128 -x4228 -x4328 -x4428 -x4528 -x4628 1246.38/1247.50 v -x4728 -x4828 -x4928 -x5028 -x5128 -x5228 -x5328 -x5428 -x5528 -x5628 -x5728 -x5828 -x5928 -x6028 -x6128 -x6228 -x6328 1246.38/1247.50 v -x6428 -x6528 x6628 -x6728 -x6828 -x6928 -x7028 -x7128 -x7228 -x7328 -x7428 -x7528 -x7628 -x7728 -x7828 -x7928 -x8028 1246.38/1247.50 v -x8128 -x8228 -x8328 -x8428 -x8528 -x8628 -x8728 -x8828 -x8928 -x9028 -x9128 -x9228 -x9328 -x9428 -x9528 -x9628 -x9728 1246.38/1247.50 v -x9828 -x9928 -x29 -x129 -x229 -x329 -x429 -x529 x629 -x729 -x829 -x929 -x1029 -x1129 -x1229 -x1329 -x1429 -x1529 -x1629 1246.38/1247.50 v -x1729 -x1829 -x1929 -x2029 -x2129 -x2229 -x2329 -x2429 -x2529 -x2629 -x2729 -x2829 -x2929 -x3029 -x3129 -x3229 -x3329 1246.38/1247.50 v -x3429 -x3529 -x3629 -x3729 -x3829 -x3929 -x4029 -x4129 -x4229 -x4329 -x4429 -x4529 -x4629 -x4729 -x4829 -x4929 -x5029 1246.38/1247.50 v -x5129 -x5229 -x5329 -x5429 -x5529 -x5629 -x5729 -x5829 -x5929 -x6029 -x6129 -x6229 -x6329 -x6429 -x6529 -x6629 -x6729 1246.38/1247.50 v -x6829 -x6929 -x7029 -x7129 -x7229 -x7329 -x7429 -x7529 -x7629 -x7729 -x7829 -x7929 -x8029 -x8129 -x8229 -x8329 -x8429 1246.38/1247.50 v -x8529 -x8629 -x8729 -x8829 -x8929 -x9029 -x9129 -x9229 -x9329 -x9429 -x9529 -x9629 -x9729 -x9829 -x9929 -x30 -x130 -x230 1246.38/1247.50 v -x330 -x430 -x530 -x630 -x730 -x830 -x930 x1030 -x1130 -x1230 -x1330 -x1430 -x1530 -x1630 -x1730 -x1830 -x1930 -x2030 -x2130 1246.38/1247.50 v -x2230 -x2330 -x2430 -x2530 -x2630 -x2730 -x2830 -x2930 -x3030 -x3130 -x3230 -x3330 -x3430 -x3530 -x3630 -x3730 -x3830 1246.38/1247.50 v -x3930 -x4030 -x4130 -x4230 -x4330 -x4430 -x4530 -x4630 -x4730 -x4830 -x4930 -x5030 -x5130 -x5230 -x5330 -x5430 -x5530 1246.38/1247.50 v -x5630 -x5730 -x5830 -x5930 -x6030 -x6130 -x6230 -x6330 -x6430 -x6530 -x6630 -x6730 -x6830 -x6930 -x7030 -x7130 -x7230 1246.38/1247.50 v -x7330 -x7430 -x7530 -x7630 -x7730 -x7830 -x7930 -x8030 -x8130 -x8230 -x8330 -x8430 -x8530 -x8630 -x8730 -x8830 -x8930 1246.38/1247.50 v -x9030 -x9130 -x9230 -x9330 -x9430 -x9530 -x9630 -x9730 -x9830 -x9930 -x31 -x131 -x231 -x331 -x431 -x531 -x631 -x731 -x831 1246.38/1247.50 v -x931 -x1031 -x1131 -x1231 -x1331 -x1431 -x1531 -x1631 -x1731 -x1831 -x1931 -x2031 -x2131 -x2231 -x2331 -x2431 -x2531 1246.38/1247.50 v -x2631 -x2731 -x2831 -x2931 -x3031 -x3131 -x3231 -x3331 -x3431 -x3531 -x3631 -x3731 -x3831 -x3931 -x4031 -x4131 -x4231 1246.38/1247.50 v -x4331 -x4431 -x4531 -x4631 -x4731 -x4831 -x4931 -x5031 -x5131 -x5231 -x5331 -x5431 -x5531 -x5631 -x5731 -x5831 -x5931 1246.38/1247.50 v -x6031 -x6131 -x6231 -x6331 -x6431 -x6531 -x6631 -x6731 -x6831 -x6931 -x7031 -x7131 -x7231 -x7331 -x7431 -x7531 -x7631 1246.38/1247.50 v -x7731 -x7831 -x7931 -x8031 x8131 -x8231 -x8331 -x8431 -x8531 -x8631 -x8731 -x8831 -x8931 -x9031 -x9131 -x9231 -x9331 1246.38/1247.50 v -x9431 -x9531 -x9631 -x9731 -x9831 -x9931 -x32 -x132 -x232 -x332 -x432 -x532 -x632 -x732 -x832 -x932 -x1032 -x1132 -x1232 1246.38/1247.50 v -x1332 -x1432 -x1532 -x1632 -x1732 -x1832 -x1932 -x2032 -x2132 -x2232 -x2332 -x2432 -x2532 -x2632 -x2732 -x2832 -x2932 1246.38/1247.50 v -x3032 -x3132 -x3232 -x3332 -x3432 -x3532 -x3632 -x3732 -x3832 -x3932 -x4032 -x4132 -x4232 -x4332 -x4432 -x4532 -x4632 1246.38/1247.50 v -x4732 -x4832 -x4932 -x5032 -x5132 -x5232 -x5332 -x5432 -x5532 -x5632 -x5732 -x5832 -x5932 -x6032 -x6132 -x6232 -x6332 1246.38/1247.50 v -x6432 -x6532 -x6632 -x6732 -x6832 -x6932 -x7032 -x7132 -x7232 -x7332 -x7432 -x7532 -x7632 -x7732 -x7832 -x7932 -x8032 1246.38/1247.50 v -x8132 -x8232 -x8332 -x8432 -x8532 -x8632 -x8732 -x8832 -x8932 -x9032 -x9132 -x9232 -x9332 -x9432 -x9532 -x9632 -x9732 1246.38/1247.50 v x9832 -x9932 -x33 -x133 -x233 -x333 -x433 -x533 -x633 -x733 -x833 -x933 -x1033 -x1133 -x1233 -x1333 -x1433 -x1533 x1633 1246.38/1247.50 v -x1733 -x1833 -x1933 -x2033 -x2133 -x2233 -x2333 -x2433 -x2533 -x2633 -x2733 -x2833 -x2933 -x3033 -x3133 -x3233 -x3333 1246.38/1247.50 v -x3433 -x3533 -x3633 -x3733 -x3833 -x3933 -x4033 -x4133 -x4233 -x4333 -x4433 -x4533 -x4633 -x4733 -x4833 -x4933 -x5033 1246.38/1247.50 v -x5133 -x5233 -x5333 -x5433 -x5533 -x5633 -x5733 -x5833 -x5933 -x6033 -x6133 -x6233 -x6333 -x6433 -x6533 -x6633 -x6733 1246.38/1247.50 v -x6833 -x6933 -x7033 -x7133 -x7233 -x7333 -x7433 -x7533 -x7633 -x7733 -x7833 -x7933 -x8033 -x8133 -x8233 -x8333 -x8433 1246.38/1247.50 v -x8533 -x8633 -x8733 -x8833 -x8933 -x9033 -x9133 -x9233 -x9333 -x9433 -x9533 -x9633 -x9733 -x9833 -x9933 -x34 -x134 -x234 1246.38/1247.50 v -x334 -x434 -x534 -x634 -x734 -x834 -x934 -x1034 -x1134 -x1234 -x1334 -x1434 -x1534 -x1634 -x1734 -x1834 -x1934 -x2034 1246.38/1247.50 v -x2134 -x2234 -x2334 -x2434 -x2534 -x2634 -x2734 -x2834 -x2934 -x3034 -x3134 -x3234 -x3334 -x3434 -x3534 -x3634 -x3734 1246.38/1247.50 v -x3834 -x3934 -x4034 -x4134 -x4234 -x4334 -x4434 -x4534 -x4634 -x4734 -x4834 -x4934 -x5034 -x5134 -x5234 -x5334 -x5434 1246.38/1247.50 v -x5534 -x5634 -x5734 x5834 -x5934 -x6034 -x6134 -x6234 -x6334 -x6434 -x6534 -x6634 -x6734 -x6834 -x6934 -x7034 -x7134 1246.38/1247.50 v -x7234 -x7334 -x7434 -x7534 -x7634 -x7734 -x7834 -x7934 -x8034 -x8134 -x8234 -x8334 -x8434 -x8534 -x8634 -x8734 -x8834 1246.38/1247.50 v -x8934 -x9034 -x9134 -x9234 -x9334 -x9434 -x9534 -x9634 -x9734 -x9834 -x9934 -x35 -x135 -x235 -x335 -x435 -x535 -x635 -x735 1246.38/1247.50 v -x835 -x935 -x1035 -x1135 -x1235 -x1335 -x1435 -x1535 -x1635 -x1735 -x1835 -x1935 -x2035 -x2135 -x2235 -x2335 -x2435 -x2535 1246.38/1247.50 v -x2635 -x2735 -x2835 -x2935 -x3035 -x3135 -x3235 -x3335 -x3435 -x3535 -x3635 -x3735 -x3835 -x3935 -x4035 -x4135 -x4235 1246.38/1247.50 v -x4335 -x4435 -x4535 -x4635 -x4735 -x4835 -x4935 -x5035 -x5135 -x5235 -x5335 -x5435 -x5535 -x5635 -x5735 -x5835 -x5935 1246.38/1247.50 v -x6035 -x6135 -x6235 -x6335 -x6435 -x6535 -x6635 -x6735 -x6835 -x6935 -x7035 -x7135 -x7235 -x7335 -x7435 -x7535 x7635 1246.38/1247.50 v -x7735 -x7835 -x7935 -x8035 -x8135 -x8235 -x8335 -x8435 -x8535 -x8635 -x8735 -x8835 -x8935 -x9035 -x9135 -x9235 -x9335 1246.38/1247.50 v -x9435 -x9535 -x9635 -x9735 -x9835 -x9935 -x36 -x136 -x236 -x336 -x436 -x536 -x636 -x736 -x836 -x936 -x1036 -x1136 -x1236 1246.38/1247.50 v -x1336 -x1436 -x1536 -x1636 -x1736 -x1836 -x1936 -x2036 -x2136 -x2236 -x2336 -x2436 -x2536 -x2636 -x2736 -x2836 -x2936 1246.38/1247.50 v -x3036 -x3136 -x3236 -x3336 -x3436 -x3536 -x3636 -x3736 -x3836 -x3936 -x4036 -x4136 -x4236 -x4336 -x4436 -x4536 -x4636 1246.38/1247.50 v -x4736 -x4836 -x4936 -x5036 -x5136 -x5236 -x5336 -x5436 -x5536 -x5636 -x5736 -x5836 -x5936 -x6036 -x6136 -x6236 -x6336 1246.38/1247.50 v -x6436 -x6536 -x6636 -x6736 x6836 -x6936 -x7036 -x7136 -x7236 -x7336 -x7436 -x7536 -x7636 -x7736 -x7836 -x7936 -x8036 1246.38/1247.50 v -x8136 -x8236 -x8336 -x8436 -x8536 -x8636 -x8736 -x8836 -x8936 -x9036 -x9136 -x9236 -x9336 -x9436 -x9536 -x9636 -x9736 1246.38/1247.50 v -x9836 -x9936 -x37 -x137 -x237 -x337 -x437 -x537 -x637 -x737 -x837 -x937 -x1037 -x1137 -x1237 -x1337 -x1437 -x1537 -x1637 1246.38/1247.50 v -x1737 -x1837 -x1937 -x2037 -x2137 -x2237 -x2337 -x2437 -x2537 -x2637 -x2737 -x2837 -x2937 -x3037 -x3137 x3237 -x3337 1246.38/1247.50 v -x3437 -x3537 -x3637 -x3737 -x3837 -x3937 -x4037 -x4137 -x4237 -x4337 -x4437 -x4537 -x4637 -x4737 -x4837 -x4937 -x5037 1246.38/1247.50 v -x5137 -x5237 -x5337 -x5437 -x5537 -x5637 -x5737 -x5837 -x5937 -x6037 -x6137 -x6237 -x6337 -x6437 -x6537 -x6637 -x6737 1246.38/1247.50 v -x6837 -x6937 -x7037 -x7137 -x7237 -x7337 -x7437 -x7537 -x7637 -x7737 -x7837 -x7937 -x8037 -x8137 -x8237 -x8337 -x8437 1246.38/1247.50 v -x8537 -x8637 -x8737 -x8837 -x8937 -x9037 -x9137 -x9237 -x9337 -x9437 -x9537 -x9637 -x9737 -x9837 -x9937 -x38 -x138 -x238 1246.38/1247.50 v -x338 -x438 -x538 -x638 -x738 -x838 -x938 -x1038 -x1138 -x1238 -x1338 -x1438 -x1538 -x1638 -x1738 -x1838 -x1938 -x2038 1246.38/1247.50 v -x2138 -x2238 -x2338 -x2438 -x2538 -x2638 -x2738 -x2838 -x2938 -x3038 -x3138 -x3238 -x3338 -x3438 -x3538 -x3638 -x3738 1246.38/1247.50 v -x3838 -x3938 -x4038 -x4138 -x4238 -x4338 -x4438 -x4538 -x4638 -x4738 -x4838 -x4938 -x5038 -x5138 -x5238 -x5338 -x5438 1246.38/1247.50 v -x5538 -x5638 x5738 -x5838 -x5938 -x6038 -x6138 -x6238 -x6338 -x6438 -x6538 -x6638 -x6738 -x6838 -x6938 -x7038 -x7138 1246.38/1247.50 v -x7238 -x7338 -x7438 -x7538 -x7638 -x7738 -x7838 -x7938 -x8038 -x8138 -x8238 -x8338 x8438 -x8538 -x8638 -x8738 -x8838 1246.38/1247.50 v -x8938 -x9038 -x9138 -x9238 -x9338 -x9438 -x9538 -x9638 -x9738 -x9838 -x9938 -x39 -x139 -x239 -x339 -x439 -x539 -x639 x739 1246.38/1247.50 v -x839 -x939 -x1039 -x1139 -x1239 -x1339 -x1439 -x1539 -x1639 -x1739 -x1839 -x1939 -x2039 -x2139 -x2239 -x2339 -x2439 -x2539 1246.38/1247.50 v -x2639 -x2739 -x2839 -x2939 -x3039 -x3139 -x3239 -x3339 -x3439 -x3539 -x3639 -x3739 -x3839 -x3939 -x4039 -x4139 -x4239 1246.38/1247.50 v -x4339 -x4439 -x4539 -x4639 -x4739 -x4839 -x4939 -x5039 -x5139 -x5239 -x5339 -x5439 -x5539 -x5639 -x5739 -x5839 -x5939 1246.38/1247.50 v -x6039 -x6139 -x6239 -x6339 -x6439 -x6539 -x6639 -x6739 -x6839 -x6939 -x7039 -x7139 -x7239 -x7339 -x7439 -x7539 -x7639 1246.38/1247.50 v -x7739 -x7839 -x7939 -x8039 -x8139 -x8239 -x8339 -x8439 -x8539 -x8639 -x8739 -x8839 -x8939 -x9039 -x9139 -x9239 -x9339 1246.38/1247.50 v -x9439 -x9539 -x9639 -x9739 -x9839 -x9939 -x40 -x140 -x240 -x340 -x440 -x540 -x640 -x740 -x840 -x940 -x1040 -x1140 -x1240 1246.38/1247.50 v -x1340 -x1440 -x1540 -x1640 -x1740 -x1840 -x1940 -x2040 -x2140 -x2240 -x2340 -x2440 -x2540 -x2640 -x2740 -x2840 -x2940 1246.38/1247.50 v -x3040 -x3140 -x3240 -x3340 -x3440 -x3540 -x3640 -x3740 -x3840 -x3940 -x4040 -x4140 -x4240 -x4340 -x4440 -x4540 -x4640 1246.38/1247.50 v -x4740 -x4840 -x4940 -x5040 -x5140 -x5240 -x5340 -x5440 -x5540 -x5640 -x5740 -x5840 -x5940 -x6040 -x6140 -x6240 -x6340 1246.38/1247.50 v -x6440 -x6540 -x6640 -x6740 -x6840 -x6940 -x7040 -x7140 -x7240 -x7340 -x7440 -x7540 -x7640 -x7740 -x7840 -x7940 -x8040 1246.38/1247.50 v -x8140 -x8240 -x8340 -x8440 x8540 -x8640 -x8740 -x8840 -x8940 -x9040 -x9140 -x9240 -x9340 -x9440 -x9540 -x9640 -x9740 1246.38/1247.50 v -x9840 -x9940 -x41 -x141 -x241 -x341 -x441 -x541 -x641 -x741 -x841 -x941 -x1041 -x1141 -x1241 -x1341 -x1441 -x1541 -x1641 1246.38/1247.50 v -x1741 -x1841 -x1941 -x2041 -x2141 -x2241 -x2341 -x2441 x2541 -x2641 -x2741 -x2841 -x2941 -x3041 -x3141 -x3241 -x3341 1246.38/1247.50 v -x3441 -x3541 -x3641 -x3741 -x3841 -x3941 -x4041 -x4141 -x4241 -x4341 -x4441 -x4541 -x4641 -x4741 -x4841 -x4941 -x5041 1246.38/1247.50 v -x5141 -x5241 -x5341 -x5441 -x5541 -x5641 -x5741 -x5841 -x5941 -x6041 -x6141 -x6241 -x6341 -x6441 -x6541 -x6641 -x6741 1246.38/1247.50 v -x6841 -x6941 -x7041 -x7141 -x7241 -x7341 -x7441 -x7541 -x7641 x7741 -x7841 -x7941 -x8041 -x8141 -x8241 -x8341 -x8441 1246.38/1247.50 v -x8541 -x8641 -x8741 -x8841 -x8941 -x9041 -x9141 -x9241 -x9341 -x9441 -x9541 -x9641 -x9741 -x9841 -x9941 -x42 -x142 -x242 1246.38/1247.50 v -x342 -x442 -x542 -x642 -x742 -x842 -x942 -x1042 -x1142 -x1242 -x1342 -x1442 -x1542 -x1642 -x1742 -x1842 -x1942 -x2042 1246.38/1247.50 v -x2142 -x2242 -x2342 -x2442 -x2542 -x2642 -x2742 -x2842 -x2942 -x3042 -x3142 -x3242 -x3342 -x3442 -x3542 -x3642 -x3742 1246.38/1247.50 v -x3842 -x3942 -x4042 -x4142 -x4242 -x4342 -x4442 -x4542 -x4642 -x4742 -x4842 -x4942 -x5042 -x5142 -x5242 -x5342 -x5442 1246.38/1247.50 v -x5542 -x5642 -x5742 -x5842 -x5942 -x6042 -x6142 -x6242 -x6342 -x6442 -x6542 -x6642 -x6742 -x6842 -x6942 -x7042 -x7142 1246.38/1247.50 v -x7242 -x7342 -x7442 -x7542 -x7642 -x7742 -x7842 -x7942 -x8042 -x8142 -x8242 -x8342 -x8442 -x8542 -x8642 -x8742 -x8842 1246.38/1247.50 v -x8942 -x9042 -x9142 -x9242 -x9342 -x9442 -x9542 -x9642 -x9742 -x9842 x9942 -x43 -x143 -x243 -x343 -x443 -x543 -x643 -x743 1246.38/1247.50 v -x843 -x943 -x1043 -x1143 -x1243 -x1343 -x1443 -x1543 -x1643 -x1743 -x1843 -x1943 -x2043 -x2143 -x2243 -x2343 -x2443 -x2543 1246.38/1247.50 v -x2643 -x2743 -x2843 -x2943 -x3043 -x3143 -x3243 -x3343 -x3443 -x3543 -x3643 -x3743 -x3843 -x3943 -x4043 -x4143 -x4243 1246.38/1247.50 v -x4343 -x4443 -x4543 -x4643 -x4743 -x4843 -x4943 -x5043 -x5143 -x5243 -x5343 -x5443 -x5543 -x5643 -x5743 -x5843 -x5943 1246.38/1247.50 v -x6043 -x6143 -x6243 -x6343 -x6443 -x6543 -x6643 -x6743 -x6843 -x6943 -x7043 x7143 -x7243 -x7343 -x7443 -x7543 -x7643 1246.38/1247.50 v -x7743 -x7843 -x7943 -x8043 -x8143 -x8243 -x8343 -x8443 -x8543 -x8643 -x8743 -x8843 -x8943 -x9043 -x9143 -x9243 -x9343 1246.38/1247.50 v -x9443 -x9543 -x9643 -x9743 -x9843 -x9943 -x44 -x144 -x244 -x344 -x444 -x544 -x644 -x744 -x844 -x944 -x1044 -x1144 -x1244 1246.38/1247.50 v -x1344 -x1444 -x1544 -x1644 -x1744 -x1844 -x1944 -x2044 -x2144 -x2244 -x2344 -x2444 -x2544 -x2644 -x2744 -x2844 -x2944 1246.38/1247.50 v -x3044 -x3144 -x3244 -x3344 -x3444 -x3544 -x3644 -x3744 -x3844 -x3944 -x4044 -x4144 -x4244 -x4344 -x4444 -x4544 -x4644 1246.38/1247.50 v -x4744 -x4844 -x4944 -x5044 -x5144 -x5244 -x5344 -x5444 -x5544 -x5644 -x5744 -x5844 -x5944 -x6044 -x6144 -x6244 -x6344 1246.38/1247.50 v -x6444 -x6544 -x6644 -x6744 -x6844 -x6944 -x7044 -x7144 -x7244 -x7344 -x7444 -x7544 -x7644 -x7744 -x7844 -x7944 -x8044 1246.38/1247.50 v -x8144 -x8244 x8344 -x8444 -x8544 -x8644 -x8744 -x8844 -x8944 -x9044 -x9144 -x9244 -x9344 -x9444 -x9544 -x9644 -x9744 1246.38/1247.50 v -x9844 -x9944 -x45 -x145 -x245 -x345 -x445 -x545 -x645 -x745 -x845 -x945 -x1045 -x1145 -x1245 -x1345 -x1445 -x1545 -x1645 1246.38/1247.50 v -x1745 -x1845 -x1945 -x2045 -x2145 -x2245 -x2345 -x2445 -x2545 -x2645 -x2745 -x2845 -x2945 -x3045 -x3145 -x3245 -x3345 1246.38/1247.50 v -x3445 -x3545 -x3645 -x3745 -x3845 -x3945 -x4045 -x4145 -x4245 -x4345 -x4445 -x4545 x4645 -x4745 -x4845 -x4945 -x5045 1246.38/1247.50 v -x5145 -x5245 -x5345 -x5445 -x5545 -x5645 -x5745 -x5845 -x5945 -x6045 -x6145 -x6245 -x6345 -x6445 -x6545 -x6645 -x6745 1246.38/1247.50 v -x6845 -x6945 -x7045 -x7145 -x7245 -x7345 -x7445 -x7545 -x7645 -x7745 -x7845 -x7945 -x8045 -x8145 -x8245 -x8345 -x8445 1246.38/1247.50 v -x8545 -x8645 -x8745 -x8845 -x8945 -x9045 -x9145 -x9245 -x9345 -x9445 -x9545 -x9645 -x9745 -x9845 -x9945 -x46 -x146 -x246 1246.38/1247.50 v -x346 -x446 -x546 -x646 -x746 -x846 -x946 -x1046 -x1146 -x1246 -x1346 -x1446 -x1546 -x1646 -x1746 -x1846 -x1946 -x2046 1246.38/1247.50 v -x2146 -x2246 -x2346 -x2446 -x2546 -x2646 -x2746 -x2846 -x2946 -x3046 -x3146 -x3246 -x3346 -x3446 -x3546 -x3646 -x3746 1246.38/1247.50 v -x3846 -x3946 -x4046 -x4146 -x4246 -x4346 -x4446 -x4546 -x4646 -x4746 -x4846 -x4946 -x5046 -x5146 -x5246 -x5346 -x5446 1246.38/1247.50 v -x5546 -x5646 -x5746 -x5846 -x5946 -x6046 -x6146 -x6246 -x6346 -x6446 -x6546 -x6646 -x6746 -x6846 -x6946 -x7046 -x7146 1246.38/1247.50 v -x7246 -x7346 -x7446 -x7546 -x7646 -x7746 -x7846 -x7946 -x8046 -x8146 -x8246 -x8346 -x8446 -x8546 -x8646 -x8746 -x8846 1246.38/1247.50 v -x8946 -x9046 -x9146 -x9246 -x9346 -x9446 -x9546 -x9646 -x9746 -x9846 x9946 -x47 -x147 -x247 -x347 -x447 -x547 -x647 -x747 1246.38/1247.50 v -x847 -x947 -x1047 -x1147 -x1247 -x1347 -x1447 -x1547 -x1647 -x1747 -x1847 -x1947 -x2047 -x2147 -x2247 -x2347 -x2447 -x2547 1246.38/1247.50 v -x2647 -x2747 -x2847 -x2947 -x3047 -x3147 -x3247 -x3347 -x3447 -x3547 -x3647 -x3747 -x3847 -x3947 -x4047 -x4147 -x4247 1246.38/1247.50 v -x4347 -x4447 -x4547 -x4647 -x4747 -x4847 -x4947 x5047 -x5147 -x5247 -x5347 -x5447 -x5547 -x5647 -x5747 -x5847 -x5947 1246.38/1247.50 v -x6047 -x6147 -x6247 -x6347 -x6447 -x6547 -x6647 -x6747 -x6847 -x6947 -x7047 -x7147 -x7247 -x7347 -x7447 -x7547 -x7647 1246.38/1247.50 v -x7747 -x7847 -x7947 -x8047 -x8147 -x8247 -x8347 -x8447 -x8547 -x8647 -x8747 -x8847 -x8947 -x9047 -x9147 -x9247 -x9347 1246.38/1247.50 v -x9447 -x9547 -x9647 -x9747 -x9847 -x9947 -x48 -x148 -x248 -x348 -x448 -x548 -x648 -x748 -x848 x948 -x1048 -x1148 -x1248 1246.38/1247.50 v -x1348 -x1448 -x1548 -x1648 -x1748 -x1848 -x1948 -x2048 -x2148 -x2248 -x2348 -x2448 -x2548 -x2648 -x2748 -x2848 -x2948 1246.38/1247.50 v -x3048 -x3148 -x3248 x3348 -x3448 -x3548 -x3648 -x3748 -x3848 -x3948 -x4048 -x4148 -x4248 -x4348 -x4448 -x4548 -x4648 1246.38/1247.50 v -x4748 -x4848 -x4948 -x5048 -x5148 -x5248 x5348 -x5448 -x5548 -x5648 -x5748 -x5848 -x5948 -x6048 -x6148 -x6248 -x6348 1246.38/1247.50 v -x6448 -x6548 -x6648 -x6748 -x6848 -x6948 -x7048 -x7148 -x7248 -x7348 -x7448 -x7548 -x7648 -x7748 -x7848 -x7948 -x8048 1246.38/1247.50 v -x8148 -x8248 -x8348 -x8448 -x8548 -x8648 -x8748 -x8848 -x8948 -x9048 -x9148 -x9248 -x9348 -x9448 -x9548 -x9648 -x9748 1246.38/1247.50 v -x9848 -x9948 -x49 -x149 -x249 -x349 -x449 -x549 -x649 x749 -x849 -x949 -x1049 -x1149 -x1249 -x1349 -x1449 -x1549 -x1649 1246.38/1247.50 v -x1749 -x1849 -x1949 -x2049 -x2149 -x2249 -x2349 -x2449 -x2549 -x2649 -x2749 -x2849 -x2949 -x3049 -x3149 -x3249 -x3349 1246.38/1247.50 v -x3449 -x3549 -x3649 -x3749 -x3849 -x3949 -x4049 -x4149 -x4249 -x4349 -x4449 -x4549 -x4649 -x4749 -x4849 -x4949 -x5049 1246.38/1247.50 v -x5149 -x5249 -x5349 -x5449 -x5549 -x5649 -x5749 -x5849 -x5949 -x6049 -x6149 -x6249 -x6349 -x6449 -x6549 -x6649 -x6749 1246.38/1247.50 v -x6849 -x6949 -x7049 -x7149 -x7249 -x7349 -x7449 -x7549 -x7649 -x7749 -x7849 -x7949 -x8049 -x8149 -x8249 -x8349 -x8449 1246.38/1247.50 v -x8549 -x8649 -x8749 -x8849 -x8949 -x9049 -x9149 -x9249 -x9349 -x9449 -x9549 -x9649 -x9749 -x9849 -x9949 -x50 -x150 -x250 1246.38/1247.50 v -x350 -x450 -x550 -x650 -x750 -x850 -x950 -x1050 -x1150 -x1250 -x1350 -x1450 -x1550 -x1650 -x1750 -x1850 -x1950 -x2050 1246.38/1247.50 v -x2150 -x2250 -x2350 -x2450 -x2550 -x2650 -x2750 -x2850 -x2950 -x3050 -x3150 -x3250 -x3350 -x3450 -x3550 -x3650 -x3750 1246.38/1247.50 v -x3850 -x3950 -x4050 -x4150 -x4250 -x4350 -x4450 -x4550 -x4650 -x4750 -x4850 -x4950 -x5050 -x5150 -x5250 -x5350 -x5450 1246.38/1247.50 v -x5550 -x5650 -x5750 -x5850 -x5950 -x6050 -x6150 -x6250 -x6350 -x6450 -x6550 -x6650 -x6750 -x6850 -x6950 -x7050 -x7150 1246.38/1247.50 v -x7250 -x7350 -x7450 -x7550 -x7650 -x7750 -x7850 -x7950 -x8050 -x8150 -x8250 x8350 -x8450 -x8550 -x8650 -x8750 -x8850 1246.38/1247.50 v -x8950 -x9050 -x9150 -x9250 -x9350 -x9450 -x9550 -x9650 -x9750 -x9850 -x9950 -x51 -x151 -x251 -x351 -x451 -x551 -x651 -x751 1246.38/1247.50 v -x851 -x951 -x1051 -x1151 -x1251 -x1351 -x1451 -x1551 -x1651 -x1751 -x1851 -x1951 x2051 -x2151 -x2251 -x2351 -x2451 -x2551 1246.38/1247.50 v -x2651 -x2751 -x2851 -x2951 -x3051 -x3151 -x3251 -x3351 -x3451 -x3551 -x3651 -x3751 -x3851 -x3951 -x4051 -x4151 -x4251 1246.38/1247.50 v -x4351 -x4451 -x4551 -x4651 -x4751 -x4851 -x4951 -x5051 -x5151 -x5251 -x5351 -x5451 -x5551 -x5651 -x5751 -x5851 x5951 1246.38/1247.50 v -x6051 -x6151 -x6251 -x6351 -x6451 -x6551 -x6651 -x6751 -x6851 -x6951 -x7051 -x7151 -x7251 -x7351 -x7451 -x7551 -x7651 1246.38/1247.50 v -x7751 -x7851 -x7951 -x8051 -x8151 -x8251 -x8351 -x8451 -x8551 -x8651 -x8751 -x8851 -x8951 -x9051 -x9151 -x9251 -x9351 1246.38/1247.50 v -x9451 -x9551 -x9651 -x9751 -x9851 -x9951 -x52 -x152 -x252 -x352 -x452 -x552 -x652 -x752 -x852 -x952 -x1052 -x1152 -x1252 1246.38/1247.50 v -x1352 -x1452 x1552 -x1652 -x1752 -x1852 -x1952 -x2052 -x2152 -x2252 -x2352 -x2452 -x2552 -x2652 -x2752 -x2852 -x2952 1246.38/1247.50 v -x3052 -x3152 -x3252 -x3352 -x3452 -x3552 -x3652 -x3752 -x3852 -x3952 -x4052 -x4152 -x4252 -x4352 -x4452 -x4552 -x4652 1246.38/1247.50 v -x4752 -x4852 -x4952 -x5052 -x5152 -x5252 -x5352 -x5452 -x5552 -x5652 -x5752 -x5852 -x5952 -x6052 -x6152 -x6252 -x6352 1246.38/1247.50 v -x6452 -x6552 -x6652 -x6752 -x6852 -x6952 -x7052 -x7152 -x7252 -x7352 -x7452 -x7552 -x7652 -x7752 -x7852 -x7952 -x8052 1246.38/1247.50 v -x8152 -x8252 -x8352 -x8452 -x8552 -x8652 -x8752 -x8852 -x8952 -x9052 -x9152 -x9252 -x9352 -x9452 -x9552 -x9652 -x9752 1246.38/1247.50 v -x9852 -x9952 -x53 -x153 -x253 -x353 -x453 -x553 -x653 -x753 -x853 -x953 -x1053 -x1153 -x1253 -x1353 -x1453 -x1553 -x1653 1246.38/1247.50 v -x1753 -x1853 -x1953 -x2053 -x2153 -x2253 -x2353 -x2453 -x2553 -x2653 -x2753 -x2853 -x2953 -x3053 -x3153 -x3253 -x3353 1246.38/1247.50 v -x3453 -x3553 -x3653 -x3753 -x3853 -x3953 -x4053 -x4153 -x4253 -x4353 -x4453 x4553 -x4653 -x4753 -x4853 -x4953 -x5053 1246.38/1247.50 v -x5153 -x5253 -x5353 -x5453 -x5553 -x5653 -x5753 -x5853 -x5953 -x6053 -x6153 -x6253 -x6353 -x6453 -x6553 -x6653 -x6753 1246.38/1247.50 v -x6853 -x6953 -x7053 -x7153 -x7253 -x7353 -x7453 -x7553 -x7653 -x7753 -x7853 -x7953 -x8053 -x8153 -x8253 -x8353 -x8453 1246.38/1247.50 v -x8553 -x8653 -x8753 -x8853 -x8953 -x9053 -x9153 -x9253 -x9353 -x9453 -x9553 -x9653 -x9753 -x9853 -x9953 -x54 x154 -x254 1246.38/1247.50 v -x354 -x454 -x554 -x654 -x754 -x854 -x954 -x1054 -x1154 -x1254 -x1354 -x1454 -x1554 -x1654 -x1754 -x1854 -x1954 -x2054 1246.38/1247.50 v -x2154 -x2254 -x2354 -x2454 -x2554 -x2654 -x2754 -x2854 -x2954 -x3054 -x3154 -x3254 -x3354 -x3454 -x3554 -x3654 -x3754 1246.38/1247.50 v -x3854 -x3954 -x4054 -x4154 -x4254 -x4354 -x4454 -x4554 -x4654 -x4754 -x4854 -x4954 -x5054 -x5154 -x5254 -x5354 -x5454 1246.38/1247.50 v -x5554 -x5654 -x5754 -x5854 -x5954 -x6054 -x6154 -x6254 -x6354 -x6454 -x6554 -x6654 -x6754 -x6854 -x6954 -x7054 -x7154 1246.38/1247.50 v -x7254 -x7354 -x7454 -x7554 -x7654 -x7754 -x7854 -x7954 -x8054 -x8154 -x8254 -x8354 -x8454 -x8554 -x8654 -x8754 -x8854 1246.38/1247.50 v -x8954 -x9054 -x9154 -x9254 -x9354 -x9454 -x9554 -x9654 -x9754 -x9854 -x9954 -x55 -x155 -x255 -x355 -x455 -x555 -x655 -x755 1246.38/1247.50 v -x855 -x955 -x1055 -x1155 -x1255 -x1355 -x1455 -x1555 -x1655 -x1755 -x1855 x1955 -x2055 -x2155 -x2255 -x2355 -x2455 -x2555 1246.38/1247.50 v -x2655 -x2755 -x2855 -x2955 -x3055 -x3155 -x3255 -x3355 -x3455 -x3555 -x3655 -x3755 -x3855 -x3955 -x4055 -x4155 -x4255 1246.38/1247.50 v -x4355 -x4455 -x4555 -x4655 -x4755 -x4855 -x4955 -x5055 -x5155 -x5255 -x5355 -x5455 -x5555 -x5655 -x5755 -x5855 -x5955 1246.38/1247.50 v -x6055 -x6155 -x6255 -x6355 -x6455 -x6555 -x6655 -x6755 -x6855 -x6955 -x7055 -x7155 -x7255 -x7355 -x7455 -x7555 -x7655 1246.38/1247.50 v -x7755 -x7855 -x7955 -x8055 -x8155 -x8255 -x8355 -x8455 -x8555 -x8655 -x8755 -x8855 -x8955 -x9055 -x9155 -x9255 -x9355 1246.38/1247.50 v -x9455 -x9555 -x9655 -x9755 -x9855 -x9955 -x56 -x156 -x256 -x356 -x456 -x556 -x656 -x756 -x856 -x956 -x1056 -x1156 -x1256 1246.38/1247.50 v -x1356 -x1456 -x1556 -x1656 -x1756 -x1856 -x1956 -x2056 -x2156 -x2256 -x2356 -x2456 -x2556 -x2656 -x2756 -x2856 -x2956 1246.38/1247.50 v -x3056 -x3156 -x3256 -x3356 -x3456 -x3556 -x3656 -x3756 -x3856 -x3956 -x4056 -x4156 -x4256 -x4356 -x4456 -x4556 -x4656 1246.38/1247.50 v -x4756 -x4856 -x4956 -x5056 -x5156 -x5256 -x5356 -x5456 -x5556 -x5656 -x5756 -x5856 -x5956 -x6056 -x6156 -x6256 -x6356 1246.38/1247.50 v -x6456 -x6556 -x6656 -x6756 -x6856 -x6956 -x7056 -x7156 -x7256 -x7356 -x7456 -x7556 -x7656 -x7756 -x7856 -x7956 -x8056 1246.38/1247.50 v -x8156 -x8256 -x8356 -x8456 -x8556 -x8656 -x8756 -x8856 -x8956 -x9056 -x9156 -x9256 x9356 -x9456 -x9556 -x9656 -x9756 1246.38/1247.50 v -x9856 -x9956 -x57 -x157 -x257 -x357 -x457 -x557 -x657 -x757 -x857 -x957 -x1057 -x1157 -x1257 -x1357 -x1457 -x1557 -x1657 1246.38/1247.50 v -x1757 -x1857 -x1957 -x2057 -x2157 -x2257 -x2357 -x2457 -x2557 -x2657 x2757 -x2857 -x2957 -x3057 -x3157 -x3257 -x3357 1246.38/1247.50 v -x3457 -x3557 -x3657 -x3757 -x3857 -x3957 -x4057 -x4157 -x4257 -x4357 -x4457 -x4557 -x4657 -x4757 -x4857 -x4957 -x5057 1246.38/1247.50 v -x5157 -x5257 -x5357 -x5457 -x5557 -x5657 -x5757 -x5857 -x5957 -x6057 -x6157 -x6257 -x6357 -x6457 -x6557 -x6657 -x6757 1246.38/1247.50 v -x6857 -x6957 -x7057 -x7157 -x7257 -x7357 -x7457 -x7557 -x7657 -x7757 -x7857 -x7957 -x8057 -x8157 -x8257 -x8357 -x8457 1246.38/1247.50 v -x8557 -x8657 -x8757 -x8857 -x8957 -x9057 -x9157 -x9257 -x9357 -x9457 -x9557 -x9657 -x9757 -x9857 -x9957 -x58 -x158 x258 1246.38/1247.50 v -x358 -x458 -x558 -x658 -x758 -x858 -x958 -x1058 -x1158 -x1258 -x1358 -x1458 -x1558 -x1658 -x1758 -x1858 -x1958 -x2058 1246.38/1247.50 v -x2158 -x2258 -x2358 -x2458 -x2558 -x2658 -x2758 -x2858 -x2958 -x3058 -x3158 -x3258 -x3358 -x3458 -x3558 -x3658 -x3758 1246.38/1247.50 v -x3858 -x3958 -x4058 -x4158 -x4258 -x4358 -x4458 -x4558 -x4658 -x4758 -x4858 -x4958 -x5058 -x5158 -x5258 -x5358 -x5458 1246.38/1247.50 v -x5558 -x5658 -x5758 -x5858 -x5958 -x6058 -x6158 -x6258 -x6358 -x6458 -x6558 -x6658 -x6758 -x6858 -x6958 -x7058 -x7158 1246.38/1247.50 v -x7258 -x7358 -x7458 -x7558 -x7658 -x7758 -x7858 -x7958 -x8058 -x8158 -x8258 -x8358 -x8458 -x8558 -x8658 -x8758 -x8858 1246.38/1247.50 v -x8958 -x9058 -x9158 -x9258 -x9358 -x9458 -x9558 -x9658 -x9758 -x9858 -x9958 -x59 -x159 -x259 -x359 -x459 -x559 -x659 -x759 1246.38/1247.50 v -x859 -x959 -x1059 -x1159 -x1259 -x1359 -x1459 -x1559 -x1659 -x1759 -x1859 -x1959 -x2059 -x2159 -x2259 -x2359 -x2459 -x2559 1246.38/1247.50 v -x2659 -x2759 -x2859 -x2959 -x3059 -x3159 -x3259 -x3359 -x3459 -x3559 -x3659 x3759 -x3859 -x3959 -x4059 -x4159 -x4259 1246.38/1247.50 v -x4359 -x4459 -x4559 -x4659 -x4759 -x4859 -x4959 -x5059 -x5159 -x5259 -x5359 -x5459 -x5559 -x5659 -x5759 -x5859 -x5959 1246.38/1247.50 v -x6059 -x6159 -x6259 -x6359 -x6459 -x6559 -x6659 -x6759 -x6859 -x6959 -x7059 -x7159 -x7259 -x7359 -x7459 -x7559 -x7659 1246.38/1247.50 v -x7759 -x7859 -x7959 -x8059 -x8159 -x8259 -x8359 -x8459 -x8559 -x8659 -x8759 -x8859 -x8959 -x9059 -x9159 -x9259 -x9359 1246.38/1247.50 v -x9459 -x9559 -x9659 -x9759 -x9859 -x9959 -x60 -x160 x260 -x360 -x460 -x560 -x660 -x760 -x860 -x960 -x1060 -x1160 -x1260 1246.38/1247.50 v -x1360 -x1460 -x1560 -x1660 -x1760 -x1860 -x1960 -x2060 -x2160 -x2260 -x2360 -x2460 -x2560 -x2660 -x2760 -x2860 -x2960 1246.38/1247.50 v -x3060 -x3160 -x3260 -x3360 -x3460 -x3560 -x3660 -x3760 -x3860 -x3960 -x4060 -x4160 -x4260 -x4360 -x4460 -x4560 -x4660 1246.38/1247.50 v -x4760 -x4860 -x4960 -x5060 -x5160 -x5260 -x5360 -x5460 -x5560 -x5660 -x5760 -x5860 -x5960 -x6060 -x6160 -x6260 -x6360 1246.38/1247.50 v -x6460 -x6560 -x6660 -x6760 -x6860 -x6960 -x7060 -x7160 -x7260 -x7360 -x7460 -x7560 -x7660 -x7760 -x7860 -x7960 -x8060 1246.38/1247.50 v -x8160 -x8260 -x8360 -x8460 -x8560 -x8660 -x8760 -x8860 -x8960 -x9060 -x9160 -x9260 -x9360 -x9460 -x9560 -x9660 -x9760 1246.38/1247.50 v -x9860 -x9960 -x61 -x161 -x261 -x361 -x461 -x561 -x661 -x761 -x861 -x961 -x1061 -x1161 -x1261 -x1361 -x1461 -x1561 -x1661 1246.38/1247.50 v -x1761 -x1861 -x1961 -x2061 -x2161 -x2261 -x2361 -x2461 -x2561 -x2661 -x2761 -x2861 -x2961 -x3061 -x3161 -x3261 -x3361 1246.38/1247.50 v -x3461 -x3561 -x3661 -x3761 -x3861 -x3961 -x4061 -x4161 -x4261 -x4361 -x4461 -x4561 -x4661 -x4761 x4861 -x4961 -x5061 1246.38/1247.50 v -x5161 -x5261 -x5361 -x5461 -x5561 -x5661 -x5761 -x5861 -x5961 -x6061 -x6161 -x6261 -x6361 -x6461 -x6561 -x6661 -x6761 1246.38/1247.50 v -x6861 -x6961 -x7061 -x7161 -x7261 -x7361 -x7461 -x7561 -x7661 -x7761 -x7861 -x7961 -x8061 -x8161 -x8261 -x8361 -x8461 1246.38/1247.50 v -x8561 -x8661 -x8761 -x8861 -x8961 -x9061 -x9161 -x9261 -x9361 -x9461 -x9561 -x9661 -x9761 -x9861 -x9961 -x62 -x162 -x262 1246.38/1247.50 v -x362 -x462 -x562 -x662 -x762 -x862 -x962 -x1062 -x1162 -x1262 -x1362 -x1462 -x1562 -x1662 -x1762 -x1862 -x1962 -x2062 1246.38/1247.50 v -x2162 -x2262 -x2362 -x2462 -x2562 -x2662 -x2762 -x2862 -x2962 -x3062 -x3162 -x3262 -x3362 -x3462 -x3562 -x3662 -x3762 1246.38/1247.50 v -x3862 -x3962 -x4062 -x4162 -x4262 -x4362 -x4462 -x4562 -x4662 -x4762 -x4862 -x4962 -x5062 -x5162 -x5262 -x5362 -x5462 1246.38/1247.50 v -x5562 -x5662 -x5762 -x5862 -x5962 -x6062 -x6162 -x6262 -x6362 -x6462 -x6562 -x6662 -x6762 -x6862 -x6962 -x7062 -x7162 1246.38/1247.50 v -x7262 -x7362 -x7462 -x7562 -x7662 -x7762 -x7862 -x7962 -x8062 -x8162 -x8262 -x8362 -x8462 -x8562 -x8662 -x8762 -x8862 1246.38/1247.50 v -x8962 -x9062 -x9162 -x9262 -x9362 -x9462 -x9562 x9662 -x9762 -x9862 -x9962 -x63 -x163 -x263 -x363 -x463 -x563 -x663 -x763 1246.38/1247.50 v -x863 -x963 -x1063 -x1163 -x1263 -x1363 x1463 -x1563 -x1663 -x1763 -x1863 -x1963 -x2063 -x2163 -x2263 -x2363 -x2463 -x2563 1246.38/1247.50 v -x2663 -x2763 -x2863 -x2963 -x3063 -x3163 -x3263 -x3363 -x3463 -x3563 -x3663 -x3763 -x3863 -x3963 -x4063 -x4163 -x4263 1246.38/1247.50 v -x4363 -x4463 -x4563 -x4663 -x4763 -x4863 -x4963 -x5063 -x5163 -x5263 -x5363 -x5463 -x5563 -x5663 -x5763 -x5863 -x5963 1246.38/1247.50 v -x6063 -x6163 -x6263 -x6363 -x6463 -x6563 -x6663 -x6763 -x6863 -x6963 -x7063 -x7163 -x7263 -x7363 -x7463 -x7563 -x7663 1246.38/1247.50 v -x7763 -x7863 -x7963 -x8063 -x8163 -x8263 -x8363 -x8463 -x8563 -x8663 -x8763 -x8863 -x8963 -x9063 -x9163 -x9263 -x9363 1246.38/1247.50 v -x9463 -x9563 -x9663 -x9763 -x9863 -x9963 -x64 -x164 -x264 -x364 -x464 -x564 -x664 -x764 -x864 -x964 -x1064 -x1164 -x1264 1246.38/1247.50 v -x1364 -x1464 -x1564 -x1664 -x1764 -x1864 -x1964 -x2064 -x2164 -x2264 -x2364 x2464 -x2564 -x2664 -x2764 -x2864 -x2964 1246.38/1247.50 v -x3064 -x3164 -x3264 -x3364 -x3464 -x3564 -x3664 -x3764 -x3864 -x3964 -x4064 -x4164 -x4264 -x4364 -x4464 -x4564 -x4664 1246.38/1247.50 v -x4764 -x4864 -x4964 -x5064 -x5164 -x5264 -x5364 -x5464 -x5564 -x5664 -x5764 -x5864 -x5964 -x6064 -x6164 -x6264 -x6364 1246.38/1247.50 v -x6464 -x6564 -x6664 -x6764 -x6864 -x6964 -x7064 -x7164 -x7264 -x7364 -x7464 -x7564 -x7664 -x7764 -x7864 -x7964 -x8064 1246.38/1247.50 v -x8164 -x8264 -x8364 -x8464 -x8564 -x8664 -x8764 -x8864 -x8964 -x9064 -x9164 -x9264 -x9364 -x9464 -x9564 -x9664 -x9764 1246.38/1247.50 v -x9864 -x9964 -x65 -x165 -x265 -x365 -x465 -x565 -x665 -x765 -x865 -x965 -x1065 -x1165 -x1265 -x1365 -x1465 -x1565 -x1665 1246.38/1247.50 v -x1765 -x1865 -x1965 -x2065 -x2165 -x2265 -x2365 -x2465 -x2565 -x2665 -x2765 -x2865 -x2965 -x3065 -x3165 -x3265 -x3365 1246.38/1247.50 v -x3465 -x3565 -x3665 -x3765 -x3865 -x3965 -x4065 -x4165 -x4265 -x4365 -x4465 -x4565 -x4665 -x4765 -x4865 -x4965 -x5065 1246.38/1247.50 v -x5165 -x5265 -x5365 -x5465 -x5565 -x5665 -x5765 -x5865 -x5965 -x6065 -x6165 -x6265 -x6365 -x6465 -x6565 -x6665 -x6765 1246.38/1247.50 v -x6865 -x6965 -x7065 -x7165 -x7265 -x7365 -x7465 -x7565 -x7665 -x7765 -x7865 -x7965 -x8065 -x8165 -x8265 -x8365 -x8465 1246.38/1247.50 v -x8565 -x8665 -x8765 -x8865 -x8965 -x9065 -x9165 -x9265 -x9365 -x9465 -x9565 x9665 -x9765 -x9865 -x9965 -x66 -x166 -x266 1246.38/1247.50 v -x366 -x466 -x566 -x666 -x766 -x866 -x966 -x1066 -x1166 -x1266 -x1366 -x1466 -x1566 -x1666 -x1766 -x1866 -x1966 -x2066 1246.38/1247.50 v -x2166 -x2266 -x2366 -x2466 -x2566 -x2666 -x2766 -x2866 -x2966 -x3066 -x3166 -x3266 -x3366 -x3466 -x3566 -x3666 -x3766 1246.38/1247.50 v -x3866 -x3966 x4066 -x4166 -x4266 -x4366 -x4466 -x4566 -x4666 -x4766 -x4866 -x4966 -x5066 -x5166 -x5266 -x5366 -x5466 1246.38/1247.50 v -x5566 -x5666 -x5766 -x5866 -x5966 -x6066 -x6166 -x6266 -x6366 -x6466 -x6566 -x6666 -x6766 -x6866 -x6966 -x7066 -x7166 1246.38/1247.50 v -x7266 -x7366 -x7466 -x7566 -x7666 -x7766 -x7866 -x7966 -x8066 -x8166 -x8266 -x8366 -x8466 -x8566 -x8666 -x8766 -x8866 1246.38/1247.50 v -x8966 -x9066 -x9166 -x9266 -x9366 -x9466 -x9566 -x9666 -x9766 -x9866 -x9966 -x67 -x167 -x267 -x367 -x467 -x567 -x667 -x767 1246.38/1247.50 v -x867 -x967 -x1067 -x1167 -x1267 -x1367 -x1467 -x1567 -x1667 -x1767 -x1867 -x1967 -x2067 -x2167 -x2267 -x2367 -x2467 -x2567 1246.38/1247.50 v -x2667 -x2767 -x2867 -x2967 -x3067 -x3167 -x3267 -x3367 -x3467 -x3567 -x3667 -x3767 -x3867 -x3967 -x4067 -x4167 -x4267 1246.38/1247.50 v -x4367 -x4467 -x4567 -x4667 -x4767 -x4867 -x4967 -x5067 -x5167 -x5267 -x5367 -x5467 -x5567 -x5667 -x5767 -x5867 -x5967 1246.38/1247.50 v -x6067 -x6167 -x6267 -x6367 -x6467 -x6567 -x6667 -x6767 -x6867 -x6967 -x7067 -x7167 -x7267 -x7367 -x7467 -x7567 -x7667 1246.38/1247.50 v -x7767 -x7867 -x7967 -x8067 -x8167 -x8267 -x8367 -x8467 -x8567 -x8667 -x8767 -x8867 -x8967 x9067 -x9167 -x9267 -x9367 1246.38/1247.50 v -x9467 -x9567 -x9667 -x9767 -x9867 -x9967 -x68 -x168 -x268 -x368 -x468 -x568 -x668 -x768 -x868 -x968 -x1068 -x1168 -x1268 1246.38/1247.50 v -x1368 -x1468 -x1568 -x1668 -x1768 -x1868 -x1968 -x2068 -x2168 -x2268 -x2368 -x2468 -x2568 -x2668 -x2768 -x2868 -x2968 1246.38/1247.50 v -x3068 -x3168 -x3268 -x3368 -x3468 -x3568 -x3668 -x3768 -x3868 -x3968 -x4068 -x4168 -x4268 -x4368 -x4468 -x4568 -x4668 1246.38/1247.50 v -x4768 -x4868 -x4968 -x5068 -x5168 -x5268 -x5368 -x5468 -x5568 -x5668 -x5768 -x5868 -x5968 -x6068 -x6168 -x6268 -x6368 1246.38/1247.50 v -x6468 -x6568 -x6668 -x6768 -x6868 -x6968 -x7068 -x7168 -x7268 -x7368 -x7468 x7568 -x7668 -x7768 -x7868 -x7968 -x8068 1246.38/1247.50 v -x8168 -x8268 -x8368 -x8468 -x8568 -x8668 -x8768 -x8868 -x8968 -x9068 -x9168 -x9268 -x9368 -x9468 -x9568 -x9668 -x9768 1246.38/1247.50 v -x9868 -x9968 -x69 -x169 -x269 -x369 -x469 -x569 -x669 -x769 -x869 -x969 -x1069 -x1169 -x1269 -x1369 -x1469 -x1569 -x1669 1246.38/1247.50 v -x1769 -x1869 -x1969 -x2069 -x2169 -x2269 -x2369 -x2469 -x2569 -x2669 -x2769 -x2869 -x2969 -x3069 -x3169 -x3269 -x3369 1246.38/1247.50 v -x3469 -x3569 -x3669 -x3769 -x3869 -x3969 -x4069 -x4169 -x4269 -x4369 -x4469 -x4569 -x4669 -x4769 -x4869 -x4969 -x5069 1246.38/1247.50 v -x5169 -x5269 -x5369 -x5469 -x5569 -x5669 -x5769 -x5869 -x5969 -x6069 -x6169 -x6269 -x6369 -x6469 -x6569 -x6669 -x6769 1246.38/1247.50 v -x6869 -x6969 -x7069 -x7169 -x7269 -x7369 -x7469 -x7569 -x7669 -x7769 -x7869 -x7969 -x8069 -x8169 x8269 -x8369 -x8469 1246.38/1247.50 v -x8569 -x8669 -x8769 -x8869 -x8969 -x9069 -x9169 -x9269 -x9369 -x9469 -x9569 -x9669 -x9769 -x9869 -x9969 -x70 -x170 -x270 1246.38/1247.50 v -x370 -x470 -x570 -x670 -x770 -x870 -x970 -x1070 -x1170 -x1270 x1370 -x1470 -x1570 -x1670 -x1770 -x1870 -x1970 -x2070 -x2170 1246.38/1247.50 v -x2270 -x2370 -x2470 -x2570 -x2670 -x2770 -x2870 -x2970 -x3070 -x3170 -x3270 -x3370 -x3470 -x3570 -x3670 -x3770 -x3870 1246.38/1247.50 v -x3970 -x4070 -x4170 -x4270 -x4370 -x4470 -x4570 -x4670 -x4770 -x4870 -x4970 -x5070 -x5170 -x5270 -x5370 -x5470 -x5570 1246.38/1247.50 v -x5670 -x5770 -x5870 -x5970 -x6070 -x6170 -x6270 -x6370 -x6470 -x6570 -x6670 -x6770 -x6870 -x6970 -x7070 -x7170 -x7270 1246.38/1247.50 v -x7370 -x7470 -x7570 -x7670 -x7770 -x7870 -x7970 -x8070 -x8170 -x8270 -x8370 -x8470 -x8570 -x8670 -x8770 -x8870 -x8970 1246.38/1247.50 v -x9070 -x9170 -x9270 -x9370 -x9470 -x9570 -x9670 -x9770 -x9870 -x9970 -x71 -x171 -x271 -x371 -x471 -x571 -x671 -x771 -x871 1246.38/1247.50 v -x971 -x1071 -x1171 -x1271 -x1371 -x1471 -x1571 -x1671 -x1771 -x1871 -x1971 -x2071 -x2171 -x2271 -x2371 -x2471 -x2571 1246.38/1247.50 v -x2671 -x2771 -x2871 -x2971 -x3071 -x3171 -x3271 -x3371 -x3471 -x3571 -x3671 -x3771 -x3871 -x3971 -x4071 -x4171 -x4271 1246.38/1247.50 v -x4371 -x4471 -x4571 -x4671 -x4771 -x4871 -x4971 -x5071 -x5171 -x5271 -x5371 -x5471 -x5571 -x5671 -x5771 -x5871 -x5971 1246.38/1247.50 v -x6071 -x6171 -x6271 -x6371 -x6471 x6571 -x6671 -x6771 -x6871 -x6971 -x7071 -x7171 -x7271 -x7371 -x7471 -x7571 -x7671 1246.38/1247.50 v -x7771 -x7871 -x7971 -x8071 -x8171 -x8271 -x8371 -x8471 -x8571 -x8671 -x8771 -x8871 -x8971 -x9071 -x9171 -x9271 -x9371 1246.38/1247.50 v -x9471 -x9571 -x9671 -x9771 -x9871 -x9971 -x72 -x172 -x272 -x372 -x472 -x572 -x672 -x772 -x872 -x972 -x1072 -x1172 -x1272 1246.38/1247.50 v -x1372 -x1472 -x1572 -x1672 -x1772 -x1872 -x1972 -x2072 -x2172 -x2272 -x2372 -x2472 -x2572 -x2672 -x2772 -x2872 -x2972 1246.38/1247.50 v -x3072 -x3172 -x3272 -x3372 -x3472 -x3572 -x3672 -x3772 -x3872 -x3972 -x4072 -x4172 -x4272 -x4372 -x4472 -x4572 -x4672 1246.38/1247.50 v -x4772 -x4872 -x4972 -x5072 -x5172 -x5272 -x5372 -x5472 -x5572 -x5672 -x5772 -x5872 -x5972 -x6072 -x6172 -x6272 -x6372 1246.38/1247.50 v -x6472 -x6572 -x6672 -x6772 -x6872 -x6972 -x7072 -x7172 -x7272 -x7372 -x7472 -x7572 -x7672 -x7772 -x7872 -x7972 -x8072 1246.38/1247.50 v -x8172 -x8272 -x8372 -x8472 -x8572 -x8672 x8772 -x8872 -x8972 -x9072 -x9172 -x9272 -x9372 -x9472 -x9572 -x9672 -x9772 1246.38/1247.50 v -x9872 -x9972 -x73 -x173 -x273 -x373 -x473 x573 -x673 -x773 -x873 -x973 -x1073 -x1173 -x1273 -x1373 -x1473 -x1573 -x1673 1246.38/1247.50 v -x1773 -x1873 -x1973 -x2073 -x2173 -x2273 -x2373 -x2473 -x2573 -x2673 -x2773 -x2873 -x2973 -x3073 -x3173 -x3273 -x3373 1246.38/1247.50 v -x3473 -x3573 -x3673 -x3773 -x3873 -x3973 -x4073 -x4173 -x4273 -x4373 -x4473 -x4573 -x4673 -x4773 -x4873 -x4973 -x5073 1246.38/1247.50 v -x5173 -x5273 -x5373 -x5473 -x5573 -x5673 -x5773 -x5873 -x5973 -x6073 -x6173 -x6273 -x6373 x6473 -x6573 -x6673 -x6773 1246.38/1247.50 v -x6873 -x6973 -x7073 -x7173 -x7273 -x7373 -x7473 -x7573 -x7673 -x7773 -x7873 -x7973 -x8073 -x8173 -x8273 -x8373 -x8473 1246.38/1247.50 v -x8573 -x8673 -x8773 -x8873 x8973 -x9073 -x9173 -x9273 -x9373 -x9473 -x9573 -x9673 -x9773 -x9873 -x9973 -x74 -x174 x274 1246.38/1247.50 v -x374 -x474 -x574 -x674 -x774 -x874 -x974 -x1074 -x1174 -x1274 -x1374 -x1474 -x1574 -x1674 -x1774 -x1874 -x1974 -x2074 1246.38/1247.50 v -x2174 -x2274 -x2374 -x2474 -x2574 -x2674 -x2774 -x2874 -x2974 -x3074 -x3174 -x3274 -x3374 -x3474 -x3574 -x3674 -x3774 1246.38/1247.50 v -x3874 -x3974 -x4074 -x4174 -x4274 -x4374 -x4474 -x4574 -x4674 -x4774 -x4874 -x4974 -x5074 -x5174 -x5274 -x5374 -x5474 1246.38/1247.50 v -x5574 -x5674 -x5774 -x5874 -x5974 -x6074 -x6174 -x6274 -x6374 -x6474 -x6574 -x6674 -x6774 -x6874 -x6974 -x7074 -x7174 1246.38/1247.50 v -x7274 -x7374 -x7474 -x7574 -x7674 -x7774 -x7874 -x7974 -x8074 -x8174 -x8274 -x8374 -x8474 -x8574 -x8674 -x8774 -x8874 1246.38/1247.50 v -x8974 -x9074 -x9174 -x9274 -x9374 -x9474 -x9574 -x9674 -x9774 -x9874 -x9974 -x75 -x175 -x275 -x375 -x475 -x575 -x675 -x775 1246.38/1247.50 v -x875 -x975 -x1075 -x1175 -x1275 -x1375 -x1475 -x1575 -x1675 -x1775 -x1875 -x1975 -x2075 -x2175 -x2275 -x2375 -x2475 -x2575 1246.38/1247.50 v -x2675 -x2775 -x2875 -x2975 -x3075 -x3175 -x3275 -x3375 -x3475 -x3575 -x3675 -x3775 -x3875 -x3975 -x4075 -x4175 -x4275 1246.38/1247.50 v -x4375 -x4475 -x4575 -x4675 -x4775 -x4875 -x4975 -x5075 -x5175 -x5275 -x5375 -x5475 -x5575 -x5675 -x5775 -x5875 -x5975 1246.38/1247.50 v -x6075 -x6175 -x6275 -x6375 -x6475 -x6575 -x6675 -x6775 -x6875 -x6975 -x7075 -x7175 -x7275 -x7375 -x7475 -x7575 -x7675 1246.38/1247.50 v -x7775 -x7875 -x7975 -x8075 -x8175 -x8275 -x8375 -x8475 -x8575 -x8675 -x8775 -x8875 -x8975 -x9075 -x9175 -x9275 -x9375 1246.38/1247.50 v -x9475 x9575 -x9675 -x9775 -x9875 -x9975 -x76 -x176 -x276 -x376 -x476 -x576 -x676 -x776 -x876 -x976 -x1076 -x1176 -x1276 1246.38/1247.50 v -x1376 -x1476 -x1576 -x1676 -x1776 -x1876 -x1976 -x2076 -x2176 -x2276 -x2376 -x2476 -x2576 -x2676 -x2776 -x2876 -x2976 1246.38/1247.50 v -x3076 -x3176 -x3276 -x3376 -x3476 -x3576 -x3676 -x3776 -x3876 -x3976 -x4076 -x4176 -x4276 -x4376 -x4476 -x4576 -x4676 1246.38/1247.50 v -x4776 -x4876 -x4976 -x5076 -x5176 -x5276 -x5376 -x5476 -x5576 -x5676 -x5776 -x5876 -x5976 -x6076 -x6176 -x6276 -x6376 1246.38/1247.50 v -x6476 -x6576 -x6676 -x6776 -x6876 -x6976 -x7076 -x7176 -x7276 -x7376 -x7476 -x7576 -x7676 -x7776 -x7876 -x7976 -x8076 1246.38/1247.50 v -x8176 -x8276 -x8376 -x8476 -x8576 -x8676 -x8776 x8876 -x8976 -x9076 -x9176 -x9276 -x9376 -x9476 -x9576 -x9676 -x9776 1246.38/1247.50 v -x9876 -x9976 -x77 -x177 x277 -x377 -x477 -x577 -x677 -x777 -x877 -x977 -x1077 -x1177 -x1277 -x1377 -x1477 -x1577 -x1677 1246.38/1247.50 v -x1777 -x1877 -x1977 -x2077 -x2177 -x2277 -x2377 -x2477 -x2577 -x2677 -x2777 -x2877 -x2977 -x3077 -x3177 -x3277 -x3377 1246.38/1247.50 v -x3477 -x3577 -x3677 -x3777 -x3877 -x3977 -x4077 -x4177 -x4277 -x4377 -x4477 -x4577 -x4677 -x4777 -x4877 -x4977 -x5077 1246.38/1247.50 v -x5177 -x5277 -x5377 -x5477 -x5577 -x5677 -x5777 -x5877 -x5977 -x6077 -x6177 -x6277 -x6377 -x6477 -x6577 -x6677 -x6777 1246.38/1247.50 v -x6877 -x6977 -x7077 -x7177 -x7277 -x7377 -x7477 -x7577 -x7677 -x7777 -x7877 -x7977 -x8077 -x8177 -x8277 -x8377 -x8477 1246.38/1247.50 v -x8577 -x8677 -x8777 -x8877 -x8977 -x9077 -x9177 -x9277 -x9377 -x9477 -x9577 -x9677 -x9777 -x9877 -x9977 -x78 -x178 -x278 1246.38/1247.50 v -x378 -x478 -x578 -x678 -x778 -x878 -x978 -x1078 -x1178 -x1278 -x1378 -x1478 -x1578 -x1678 -x1778 -x1878 -x1978 -x2078 1246.38/1247.50 v -x2178 -x2278 -x2378 -x2478 -x2578 -x2678 -x2778 -x2878 -x2978 -x3078 -x3178 -x3278 -x3378 -x3478 -x3578 -x3678 -x3778 1246.38/1247.50 v -x3878 -x3978 -x4078 -x4178 -x4278 -x4378 -x4478 -x4578 -x4678 -x4778 -x4878 -x4978 -x5078 x5178 -x5278 -x5378 -x5478 1246.38/1247.50 v -x5578 -x5678 -x5778 -x5878 -x5978 -x6078 -x6178 -x6278 -x6378 -x6478 -x6578 -x6678 -x6778 -x6878 -x6978 -x7078 -x7178 1246.38/1247.50 v -x7278 -x7378 -x7478 -x7578 -x7678 -x7778 -x7878 -x7978 -x8078 -x8178 -x8278 -x8378 -x8478 -x8578 -x8678 -x8778 -x8878 1246.38/1247.50 v -x8978 -x9078 -x9178 -x9278 -x9378 -x9478 -x9578 -x9678 -x9778 -x9878 -x9978 -x79 -x179 -x279 -x379 -x479 -x579 -x679 -x779 1246.38/1247.50 v -x879 -x979 -x1079 -x1179 -x1279 -x1379 -x1479 -x1579 -x1679 -x1779 -x1879 -x1979 -x2079 -x2179 -x2279 -x2379 -x2479 -x2579 1246.38/1247.50 v -x2679 -x2779 -x2879 -x2979 -x3079 -x3179 -x3279 -x3379 -x3479 -x3579 -x3679 -x3779 -x3879 -x3979 -x4079 -x4179 -x4279 1246.38/1247.50 v -x4379 -x4479 -x4579 -x4679 -x4779 -x4879 -x4979 -x5079 -x5179 -x5279 -x5379 -x5479 x5579 -x5679 -x5779 -x5879 -x5979 1246.38/1247.50 v -x6079 -x6179 -x6279 -x6379 -x6479 -x6579 -x6679 -x6779 -x6879 -x6979 -x7079 -x7179 -x7279 -x7379 -x7479 -x7579 -x7679 1246.38/1247.50 v -x7779 -x7879 -x7979 -x8079 -x8179 -x8279 -x8379 -x8479 -x8579 -x8679 -x8779 -x8879 -x8979 -x9079 -x9179 -x9279 -x9379 1246.38/1247.50 v -x9479 -x9579 -x9679 -x9779 -x9879 -x9979 -x80 -x180 -x280 -x380 -x480 -x580 -x680 -x780 -x880 -x980 -x1080 -x1180 -x1280 1246.38/1247.50 v -x1380 -x1480 -x1580 -x1680 -x1780 -x1880 -x1980 -x2080 -x2180 -x2280 -x2380 -x2480 -x2580 -x2680 -x2780 -x2880 -x2980 1246.38/1247.50 v -x3080 -x3180 -x3280 -x3380 -x3480 -x3580 -x3680 -x3780 -x3880 -x3980 -x4080 -x4180 -x4280 -x4380 -x4480 -x4580 -x4680 1246.38/1247.50 v -x4780 -x4880 -x4980 -x5080 -x5180 -x5280 -x5380 -x5480 -x5580 -x5680 -x5780 -x5880 -x5980 -x6080 -x6180 -x6280 -x6380 1246.38/1247.50 v -x6480 -x6580 -x6680 -x6780 -x6880 -x6980 -x7080 -x7180 -x7280 -x7380 -x7480 -x7580 -x7680 -x7780 -x7880 -x7980 -x8080 1246.38/1247.50 v -x8180 -x8280 -x8380 -x8480 -x8580 -x8680 -x8780 -x8880 -x8980 -x9080 -x9180 -x9280 -x9380 x9480 -x9580 -x9680 -x9780 1246.38/1247.50 v -x9880 -x9980 -x81 -x181 -x281 -x381 x481 -x581 -x681 -x781 -x881 -x981 -x1081 -x1181 -x1281 -x1381 -x1481 -x1581 -x1681 1246.38/1247.50 v -x1781 -x1881 -x1981 -x2081 -x2181 -x2281 -x2381 -x2481 -x2581 -x2681 -x2781 -x2881 -x2981 -x3081 -x3181 -x3281 -x3381 1246.38/1247.50 v -x3481 -x3581 -x3681 -x3781 -x3881 -x3981 -x4081 -x4181 -x4281 -x4381 -x4481 -x4581 -x4681 -x4781 -x4881 -x4981 -x5081 1246.38/1247.50 v -x5181 -x5281 -x5381 -x5481 -x5581 -x5681 -x5781 -x5881 -x5981 -x6081 -x6181 -x6281 -x6381 -x6481 -x6581 -x6681 -x6781 1246.38/1247.50 v -x6881 -x6981 -x7081 -x7181 -x7281 -x7381 -x7481 -x7581 -x7681 -x7781 -x7881 -x7981 -x8081 -x8181 -x8281 -x8381 -x8481 1246.38/1247.50 v -x8581 -x8681 -x8781 -x8881 -x8981 -x9081 -x9181 -x9281 -x9381 -x9481 -x9581 -x9681 -x9781 -x9881 -x9981 x82 -x182 -x282 1246.38/1247.50 v -x382 -x482 -x582 -x682 -x782 -x882 -x982 -x1082 -x1182 -x1282 -x1382 -x1482 -x1582 -x1682 -x1782 -x1882 -x1982 -x2082 1246.38/1247.50 v -x2182 -x2282 -x2382 -x2482 -x2582 -x2682 -x2782 -x2882 -x2982 -x3082 -x3182 -x3282 -x3382 -x3482 -x3582 -x3682 -x3782 1246.38/1247.50 v -x3882 -x3982 -x4082 -x4182 -x4282 -x4382 -x4482 -x4582 -x4682 -x4782 -x4882 -x4982 -x5082 -x5182 -x5282 -x5382 -x5482 1246.38/1247.50 v -x5582 -x5682 -x5782 -x5882 -x5982 -x6082 -x6182 -x6282 -x6382 -x6482 -x6582 -x6682 -x6782 -x6882 -x6982 -x7082 -x7182 1246.38/1247.50 v -x7282 -x7382 -x7482 -x7582 -x7682 -x7782 -x7882 -x7982 -x8082 -x8182 -x8282 -x8382 -x8482 -x8582 -x8682 -x8782 -x8882 1246.38/1247.50 v -x8982 -x9082 -x9182 -x9282 -x9382 -x9482 -x9582 -x9682 -x9782 -x9882 -x9982 -x83 -x183 -x283 -x383 -x483 -x583 -x683 -x783 1246.38/1247.50 v -x883 -x983 -x1083 -x1183 -x1283 -x1383 -x1483 -x1583 -x1683 -x1783 -x1883 -x1983 -x2083 -x2183 -x2283 -x2383 -x2483 -x2583 1246.38/1247.50 v -x2683 -x2783 -x2883 -x2983 -x3083 -x3183 -x3283 -x3383 -x3483 -x3583 -x3683 -x3783 x3883 -x3983 -x4083 -x4183 -x4283 1246.38/1247.50 v -x4383 -x4483 -x4583 -x4683 -x4783 -x4883 -x4983 -x5083 -x5183 -x5283 -x5383 -x5483 -x5583 -x5683 -x5783 -x5883 -x5983 1246.38/1247.50 v -x6083 -x6183 -x6283 -x6383 -x6483 -x6583 -x6683 -x6783 -x6883 -x6983 -x7083 -x7183 -x7283 -x7383 -x7483 -x7583 -x7683 1246.38/1247.50 v -x7783 -x7883 -x7983 -x8083 -x8183 -x8283 -x8383 -x8483 -x8583 -x8683 -x8783 -x8883 -x8983 -x9083 -x9183 -x9283 -x9383 1246.38/1247.50 v -x9483 -x9583 -x9683 -x9783 -x9883 -x9983 -x84 -x184 -x284 -x384 -x484 -x584 -x684 -x784 -x884 -x984 -x1084 -x1184 -x1284 1246.38/1247.50 v -x1384 -x1484 -x1584 -x1684 -x1784 -x1884 -x1984 -x2084 x2184 -x2284 -x2384 -x2484 -x2584 -x2684 -x2784 -x2884 -x2984 1246.38/1247.50 v -x3084 -x3184 -x3284 -x3384 -x3484 -x3584 -x3684 -x3784 -x3884 -x3984 -x4084 -x4184 -x4284 -x4384 -x4484 -x4584 -x4684 1246.38/1247.50 v -x4784 -x4884 -x4984 -x5084 -x5184 -x5284 -x5384 -x5484 -x5584 -x5684 -x5784 -x5884 -x5984 -x6084 -x6184 -x6284 -x6384 1246.38/1247.50 v -x6484 -x6584 -x6684 -x6784 -x6884 -x6984 -x7084 -x7184 -x7284 -x7384 -x7484 -x7584 -x7684 -x7784 -x7884 -x7984 -x8084 1246.38/1247.50 v -x8184 -x8284 -x8384 -x8484 -x8584 -x8684 -x8784 -x8884 -x8984 -x9084 -x9184 -x9284 -x9384 -x9484 -x9584 -x9684 -x9784 1246.38/1247.50 v -x9884 -x9984 -x85 -x185 -x285 -x385 -x485 -x585 -x685 -x785 -x885 -x985 -x1085 -x1185 -x1285 -x1385 -x1485 -x1585 -x1685 1246.38/1247.50 v -x1785 -x1885 -x1985 -x2085 -x2185 -x2285 -x2385 -x2485 -x2585 -x2685 -x2785 -x2885 -x2985 -x3085 -x3185 -x3285 -x3385 1246.38/1247.50 v -x3485 -x3585 -x3685 -x3785 -x3885 -x3985 -x4085 -x4185 -x4285 -x4385 -x4485 -x4585 -x4685 x4785 -x4885 -x4985 -x5085 1246.38/1247.50 v -x5185 -x5285 -x5385 -x5485 -x5585 -x5685 -x5785 -x5885 -x5985 -x6085 -x6185 -x6285 -x6385 -x6485 -x6585 -x6685 -x6785 1246.38/1247.50 v -x6885 -x6985 -x7085 -x7185 -x7285 -x7385 -x7485 -x7585 -x7685 -x7785 -x7885 -x7985 -x8085 -x8185 -x8285 -x8385 -x8485 1246.38/1247.50 v -x8585 -x8685 -x8785 -x8885 -x8985 -x9085 -x9185 -x9285 -x9385 -x9485 -x9585 -x9685 -x9785 -x9885 -x9985 -x86 -x186 -x286 1246.38/1247.50 v -x386 -x486 -x586 -x686 -x786 -x886 -x986 -x1086 -x1186 -x1286 -x1386 -x1486 -x1586 -x1686 -x1786 -x1886 -x1986 -x2086 1246.38/1247.50 v -x2186 -x2286 -x2386 -x2486 -x2586 -x2686 -x2786 -x2886 -x2986 -x3086 -x3186 -x3286 -x3386 -x3486 -x3586 -x3686 -x3786 1246.38/1247.50 v -x3886 -x3986 -x4086 -x4186 -x4286 -x4386 -x4486 -x4586 -x4686 -x4786 -x4886 -x4986 -x5086 -x5186 x5286 -x5386 -x5486 1246.38/1247.50 v -x5586 -x5686 -x5786 -x5886 -x5986 -x6086 -x6186 -x6286 -x6386 -x6486 -x6586 -x6686 -x6786 -x6886 -x6986 -x7086 -x7186 1246.38/1247.50 v -x7286 -x7386 -x7486 -x7586 -x7686 -x7786 -x7886 -x7986 -x8086 -x8186 -x8286 -x8386 -x8486 -x8586 -x8686 -x8786 -x8886 1246.38/1247.50 v -x8986 -x9086 -x9186 -x9286 -x9386 -x9486 -x9586 -x9686 -x9786 -x9886 -x9986 -x87 -x187 -x287 -x387 -x487 -x587 -x687 -x787 1246.38/1247.50 v -x887 -x987 -x1087 -x1187 -x1287 -x1387 -x1487 -x1587 -x1687 -x1787 -x1887 -x1987 -x2087 -x2187 -x2287 -x2387 -x2487 -x2587 1246.38/1247.50 v x2687 -x2787 -x2887 -x2987 -x3087 -x3187 -x3287 -x3387 -x3487 -x3587 -x3687 -x3787 -x3887 x3987 -x4087 -x4187 -x4287 -x4387 1246.38/1247.50 v -x4487 -x4587 -x4687 -x4787 -x4887 -x4987 -x5087 -x5187 -x5287 -x5387 -x5487 -x5587 -x5687 -x5787 -x5887 -x5987 -x6087 1246.38/1247.50 v -x6187 -x6287 -x6387 -x6487 -x6587 -x6687 -x6787 -x6887 -x6987 -x7087 -x7187 -x7287 -x7387 -x7487 -x7587 -x7687 -x7787 1246.38/1247.50 v -x7887 -x7987 -x8087 -x8187 -x8287 -x8387 -x8487 -x8587 -x8687 -x8787 -x8887 -x8987 -x9087 -x9187 -x9287 -x9387 -x9487 1246.38/1247.50 v -x9587 -x9687 -x9787 -x9887 -x9987 -x88 -x188 -x288 -x388 -x488 -x588 -x688 -x788 -x888 -x988 -x1088 -x1188 -x1288 -x1388 1246.38/1247.50 v -x1488 -x1588 -x1688 -x1788 -x1888 -x1988 -x2088 -x2188 -x2288 -x2388 -x2488 -x2588 -x2688 -x2788 -x2888 -x2988 -x3088 1246.38/1247.50 v -x3188 -x3288 -x3388 -x3488 -x3588 -x3688 -x3788 -x3888 -x3988 -x4088 -x4188 -x4288 -x4388 -x4488 -x4588 -x4688 -x4788 1246.38/1247.50 v -x4888 -x4988 -x5088 -x5188 -x5288 -x5388 -x5488 -x5588 -x5688 -x5788 -x5888 -x5988 -x6088 -x6188 -x6288 -x6388 -x6488 1246.38/1247.50 v -x6588 -x6688 -x6788 -x6888 -x6988 -x7088 -x7188 -x7288 -x7388 -x7488 -x7588 -x7688 -x7788 -x7888 -x7988 -x8088 -x8188 1246.38/1247.50 v -x8288 -x8388 -x8488 -x8588 -x8688 -x8788 -x8888 -x8988 -x9088 -x9188 -x9288 -x9388 x9488 -x9588 -x9688 -x9788 -x9888 1246.38/1247.50 v -x9988 -x89 -x189 -x289 -x389 -x489 -x589 -x689 -x789 -x889 -x989 -x1089 -x1189 -x1289 -x1389 -x1489 -x1589 -x1689 -x1789 1246.38/1247.50 v -x1889 -x1989 -x2089 -x2189 -x2289 -x2389 -x2489 -x2589 -x2689 -x2789 -x2889 -x2989 -x3089 -x3189 -x3289 -x3389 -x3489 1246.38/1247.50 v -x3589 -x3689 -x3789 -x3889 -x3989 -x4089 -x4189 -x4289 -x4389 -x4489 -x4589 -x4689 -x4789 -x4889 -x4989 -x5089 -x5189 1246.38/1247.50 v -x5289 -x5389 -x5489 -x5589 -x5689 -x5789 -x5889 -x5989 -x6089 -x6189 -x6289 -x6389 -x6489 -x6589 -x6689 -x6789 -x6889 1246.38/1247.50 v -x6989 -x7089 -x7189 -x7289 -x7389 -x7489 -x7589 -x7689 -x7789 -x7889 -x7989 -x8089 -x8189 -x8289 -x8389 -x8489 -x8589 1246.38/1247.50 v -x8689 -x8789 -x8889 -x8989 -x9089 x9189 -x9289 -x9389 -x9489 -x9589 -x9689 -x9789 -x9889 -x9989 -x90 -x190 -x290 -x390 1246.38/1247.50 v -x490 -x590 -x690 -x790 -x890 -x990 -x1090 -x1190 -x1290 -x1390 -x1490 -x1590 -x1690 -x1790 -x1890 -x1990 -x2090 -x2190 1246.38/1247.50 v -x2290 -x2390 -x2490 -x2590 -x2690 -x2790 -x2890 -x2990 -x3090 -x3190 -x3290 -x3390 -x3490 -x3590 -x3690 -x3790 -x3890 1246.38/1247.50 v -x3990 -x4090 -x4190 -x4290 -x4390 -x4490 -x4590 -x4690 -x4790 -x4890 -x4990 -x5090 -x5190 -x5290 -x5390 -x5490 -x5590 1246.38/1247.50 v -x5690 -x5790 -x5890 -x5990 -x6090 -x6190 -x6290 -x6390 -x6490 -x6590 -x6690 -x6790 -x6890 -x6990 -x7090 -x7190 -x7290 1246.38/1247.50 v -x7390 -x7490 -x7590 -x7690 -x7790 -x7890 -x7990 -x8090 -x8190 -x8290 -x8390 -x8490 -x8590 -x8690 -x8790 -x8890 -x8990 1246.38/1247.50 v -x9090 -x9190 -x9290 -x9390 x9490 -x9590 -x9690 -x9790 -x9890 -x9990 -x91 -x191 -x291 -x391 -x491 -x591 -x691 -x791 -x891 1246.38/1247.50 v -x991 -x1091 -x1191 -x1291 -x1391 -x1491 -x1591 -x1691 -x1791 -x1891 -x1991 -x2091 -x2191 -x2291 -x2391 -x2491 -x2591 1246.38/1247.50 v -x2691 -x2791 -x2891 -x2991 -x3091 -x3191 -x3291 -x3391 -x3491 -x3591 -x3691 -x3791 -x3891 -x3991 -x4091 -x4191 -x4291 1246.38/1247.50 v -x4391 -x4491 -x4591 -x4691 -x4791 -x4891 -x4991 -x5091 -x5191 -x5291 -x5391 -x5491 -x5591 -x5691 -x5791 -x5891 -x5991 1246.38/1247.50 v -x6091 -x6191 -x6291 -x6391 -x6491 -x6591 -x6691 -x6791 -x6891 -x6991 -x7091 -x7191 -x7291 -x7391 -x7491 -x7591 -x7691 1246.38/1247.50 v -x7791 -x7891 -x7991 x8091 -x8191 -x8291 -x8391 -x8491 -x8591 -x8691 -x8791 -x8891 -x8991 -x9091 -x9191 -x9291 -x9391 1246.38/1247.50 v -x9491 -x9591 -x9691 -x9791 -x9891 -x9991 -x92 -x192 -x292 -x392 -x492 -x592 -x692 -x792 -x892 -x992 -x1092 -x1192 -x1292 1246.38/1247.50 v -x1392 -x1492 -x1592 -x1692 -x1792 -x1892 -x1992 -x2092 -x2192 -x2292 -x2392 -x2492 -x2592 -x2692 -x2792 -x2892 -x2992 1246.38/1247.50 v -x3092 -x3192 -x3292 -x3392 -x3492 -x3592 -x3692 -x3792 -x3892 -x3992 -x4092 -x4192 -x4292 -x4392 -x4492 -x4592 -x4692 1246.38/1247.50 v -x4792 -x4892 -x4992 -x5092 -x5192 -x5292 -x5392 -x5492 -x5592 -x5692 -x5792 -x5892 -x5992 -x6092 -x6192 -x6292 -x6392 1246.38/1247.50 v -x6492 -x6592 -x6692 -x6792 -x6892 -x6992 -x7092 -x7192 -x7292 x7392 -x7492 -x7592 -x7692 -x7792 -x7892 -x7992 -x8092 1246.38/1247.50 v -x8192 -x8292 -x8392 -x8492 -x8592 -x8692 -x8792 -x8892 -x8992 -x9092 -x9192 -x9292 -x9392 -x9492 -x9592 -x9692 -x9792 1246.38/1247.50 v -x9892 -x9992 -x93 -x193 -x293 -x393 -x493 -x593 -x693 x793 -x893 -x993 -x1093 -x1193 -x1293 -x1393 -x1493 -x1593 -x1693 1246.38/1247.50 v -x1793 -x1893 -x1993 -x2093 -x2193 -x2293 -x2393 -x2493 -x2593 -x2693 -x2793 -x2893 -x2993 -x3093 -x3193 -x3293 -x3393 1246.38/1247.50 v -x3493 -x3593 -x3693 -x3793 -x3893 -x3993 -x4093 -x4193 -x4293 -x4393 -x4493 -x4593 -x4693 -x4793 -x4893 -x4993 -x5093 1246.38/1247.50 v -x5193 -x5293 -x5393 -x5493 -x5593 -x5693 -x5793 -x5893 -x5993 -x6093 -x6193 -x6293 -x6393 -x6493 -x6593 -x6693 -x6793 1246.38/1247.50 v -x6893 -x6993 -x7093 -x7193 -x7293 -x7393 -x7493 -x7593 -x7693 -x7793 -x7893 -x7993 -x8093 -x8193 -x8293 -x8393 -x8493 1246.38/1247.50 v -x8593 -x8693 -x8793 -x8893 -x8993 -x9093 -x9193 -x9293 -x9393 -x9493 -x9593 -x9693 -x9793 -x9893 -x9993 -x94 -x194 -x294 1246.38/1247.50 v -x394 -x494 -x594 -x694 -x794 -x894 -x994 -x1094 -x1194 -x1294 -x1394 -x1494 -x1594 -x1694 -x1794 -x1894 -x1994 -x2094 1246.38/1247.50 v -x2194 -x2294 x2394 -x2494 -x2594 -x2694 -x2794 -x2894 -x2994 -x3094 -x3194 -x3294 -x3394 -x3494 -x3594 -x3694 -x3794 1246.38/1247.50 v -x3894 -x3994 -x4094 -x4194 -x4294 -x4394 -x4494 -x4594 -x4694 -x4794 -x4894 -x4994 -x5094 -x5194 -x5294 -x5394 -x5494 1246.38/1247.50 v -x5594 -x5694 -x5794 -x5894 -x5994 -x6094 -x6194 -x6294 -x6394 -x6494 -x6594 -x6694 -x6794 -x6894 -x6994 -x7094 -x7194 1246.38/1247.50 v -x7294 -x7394 -x7494 -x7594 -x7694 -x7794 -x7894 -x7994 -x8094 -x8194 -x8294 -x8394 -x8494 -x8594 -x8694 -x8794 -x8894 1246.38/1247.50 v -x8994 -x9094 -x9194 -x9294 -x9394 -x9494 -x9594 -x9694 -x9794 -x9894 -x9994 -x95 -x195 -x295 -x395 -x495 -x595 -x695 -x795 1246.38/1247.50 v -x895 -x995 -x1095 -x1195 -x1295 -x1395 -x1495 -x1595 -x1695 -x1795 -x1895 -x1995 -x2095 -x2195 -x2295 -x2395 -x2495 -x2595 1246.38/1247.50 v -x2695 -x2795 -x2895 -x2995 -x3095 -x3195 -x3295 -x3395 -x3495 -x3595 -x3695 -x3795 -x3895 -x3995 -x4095 -x4195 -x4295 1246.38/1247.50 v -x4395 -x4495 -x4595 -x4695 -x4795 -x4895 -x4995 -x5095 -x5195 -x5295 -x5395 -x5495 -x5595 -x5695 -x5795 -x5895 -x5995 1246.38/1247.50 v x6095 -x6195 -x6295 -x6395 -x6495 -x6595 -x6695 -x6795 -x6895 -x6995 -x7095 -x7195 -x7295 -x7395 -x7495 -x7595 -x7695 1246.38/1247.50 v -x7795 -x7895 -x7995 -x8095 -x8195 -x8295 -x8395 -x8495 -x8595 -x8695 -x8795 -x8895 -x8995 -x9095 -x9195 -x9295 -x9395 1246.38/1247.50 v -x9495 -x9595 -x9695 -x9795 -x9895 -x9995 -x96 -x196 -x296 -x396 -x496 -x596 -x696 -x796 -x896 -x996 -x1096 -x1196 -x1296 1246.38/1247.50 v -x1396 -x1496 -x1596 -x1696 -x1796 -x1896 -x1996 -x2096 -x2196 -x2296 -x2396 -x2496 -x2596 -x2696 -x2796 -x2896 -x2996 1246.38/1247.50 v -x3096 -x3196 -x3296 -x3396 -x3496 -x3596 -x3696 -x3796 -x3896 -x3996 -x4096 -x4196 -x4296 -x4396 -x4496 -x4596 -x4696 1246.38/1247.50 v -x4796 -x4896 -x4996 -x5096 -x5196 -x5296 -x5396 -x5496 -x5596 -x5696 -x5796 -x5896 -x5996 -x6096 -x6196 -x6296 -x6396 1246.38/1247.50 v -x6496 -x6596 -x6696 x6796 -x6896 -x6996 -x7096 -x7196 -x7296 -x7396 -x7496 -x7596 -x7696 -x7796 -x7896 -x7996 -x8096 1246.38/1247.50 v -x8196 -x8296 -x8396 -x8496 -x8596 -x8696 -x8796 -x8896 -x8996 -x9096 -x9196 -x9296 -x9396 -x9496 -x9596 -x9696 -x9796 1246.38/1247.50 v -x9896 -x9996 -x97 -x197 -x297 -x397 -x497 -x597 -x697 -x797 -x897 -x997 -x1097 -x1197 -x1297 -x1397 -x1497 -x1597 -x1697 1246.38/1247.50 v -x1797 -x1897 -x1997 -x2097 -x2197 -x2297 -x2397 -x2497 -x2597 -x2697 -x2797 -x2897 -x2997 -x3097 -x3197 -x3297 -x3397 1246.38/1247.50 v -x3497 -x3597 -x3697 -x3797 -x3897 -x3997 -x4097 -x4197 x4297 x4397 -x4497 -x4597 -x4697 -x4797 -x4897 -x4997 -x5097 -x5197 1246.38/1247.50 v -x5297 -x5397 -x5497 -x5597 x5697 -x5797 -x5897 -x5997 -x6097 -x6197 -x6297 -x6397 -x6497 -x6597 -x6697 -x6797 -x6897 1246.38/1247.50 v -x6997 -x7097 -x7197 -x7297 -x7397 -x7497 -x7597 -x7697 -x7797 -x7897 -x7997 -x8097 -x8197 -x8297 -x8397 -x8497 -x8597 1246.38/1247.50 v -x8697 -x8797 -x8897 -x8997 -x9097 -x9197 -x9297 -x9397 -x9497 -x9597 -x9697 -x9797 -x9897 -x9997 -x98 -x198 -x298 -x398 1246.38/1247.50 v -x498 -x598 -x698 -x798 -x898 -x998 -x1098 -x1198 -x1298 -x1398 -x1498 -x1598 -x1698 -x1798 -x1898 -x1998 -x2098 -x2198 1246.38/1247.50 v x2298 -x2398 -x2498 -x2598 -x2698 -x2798 -x2898 -x2998 -x3098 -x3198 -x3298 -x3398 -x3498 -x3598 -x3698 -x3798 -x3898 1246.38/1247.50 v -x3998 -x4098 -x4198 -x4298 -x4398 -x4498 -x4598 -x4698 -x4798 -x4898 -x4998 -x5098 -x5198 -x5298 -x5398 x5498 -x5598 1246.38/1247.50 v -x5698 -x5798 -x5898 -x5998 -x6098 -x6198 -x6298 -x6398 -x6498 -x6598 -x6698 -x6798 -x6898 -x6998 x7098 -x7198 -x7298 1246.38/1247.50 v -x7398 -x7498 -x7598 -x7698 -x7798 -x7898 -x7998 -x8098 -x8198 -x8298 -x8398 -x8498 -x8598 -x8698 -x8798 -x8898 -x8998 1246.38/1247.50 v -x9098 -x9198 -x9298 -x9398 -x9498 -x9598 -x9698 -x9798 -x9898 -x9998 -x99 -x199 -x299 -x399 -x499 -x599 -x699 -x799 x899 1246.38/1247.50 v -x999 -x1099 -x1199 -x1299 -x1399 -x1499 -x1599 -x1699 -x1799 -x1899 -x1999 -x2099 -x2199 -x2299 -x2399 -x2499 -x2599 1246.38/1247.50 v -x2699 -x2799 -x2899 -x2999 -x3099 -x3199 -x3299 -x3399 -x3499 -x3599 -x3699 -x3799 -x3899 -x3999 -x4099 -x4199 -x4299 1246.38/1247.50 v -x4399 -x4499 -x4599 -x4699 -x4799 -x4899 -x4999 -x5099 -x5199 -x5299 -x5399 -x5499 -x5599 -x5699 -x5799 -x5899 -x5999 1246.38/1247.50 v -x6099 -x6199 -x6299 -x6399 -x6499 -x6599 -x6699 -x6799 -x6899 -x6999 -x7099 -x7199 -x7299 -x7399 -x7499 -x7599 -x7699 1246.38/1247.50 v -x7799 -x7899 -x7999 -x8099 -x8199 -x8299 -x8399 -x8499 -x8599 -x8699 -x8799 -x8899 -x8999 -x9099 -x9199 -x9299 -x9399 1246.38/1247.50 v -x9499 -x9599 -x9699 -x9799 -x9899 -x9999 -x100 -x200 -x300 -x400 -x500 -x600 -x700 -x800 -x900 -x1000 -x1100 -x1200 -x1300 1246.38/1247.50 v -x1400 -x1500 -x1600 -x1700 -x1800 -x1900 -x2000 -x2100 -x2200 -x2300 -x2400 -x2500 -x2600 -x2700 -x2800 -x2900 -x3000 1246.38/1247.50 v -x3100 -x3200 -x3300 -x3400 -x3500 x3600 -x3700 -x3800 -x3900 -x4000 -x4100 -x4200 -x4300 -x4400 -x4500 -x4600 -x4700 1246.38/1247.50 v -x4800 -x4900 -x5000 -x5100 -x5200 -x5300 -x5400 -x5500 -x5600 -x5700 -x5800 -x5900 -x6000 -x6100 -x6200 -x6300 -x6400 1246.38/1247.50 v -x6500 -x6600 -x6700 -x6800 -x6900 -x7000 -x7100 -x7200 -x7300 -x7400 -x7500 -x7600 -x7700 -x7800 -x7900 x8000 -x8100 1246.38/1247.50 v -x8200 -x8300 -x8400 -x8500 -x8600 x8700 -x8800 -x8900 -x9000 -x9100 -x9200 -x9300 -x9400 -x9500 -x9600 -x9700 -x9800 1246.38/1247.50 v -x9900 -x10000 1246.38/1247.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1246.38/1247.51 c 143 189436 63708 1181153 846364 136315591 189464 151 1246.39 1246.38/1247.51 c Objective: 5633 1246.38/1247.51 s SATISFIABLE 1246.38/1247.51 c Total time: 1246.39 s
OK 5633
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node71/watcher-352396-1176630997 -o ROOT/results/node71/solver-352396-1176630997 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352396-1176630997/instance-352396-1176630997.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.93 0.95 0.98 2/64 19832 /proc/meminfo: memFree=1719736/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=3780 CPUtime=0 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 246 0 0 0 0 0 0 0 18 0 1 0 139089107 3870720 214 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 135577584 0 0 4096 0 0 0 0 17 0 0 0 /proc/19832/statm: 945 225 198 324 0 14 0 [startup+0.088646 s] /proc/loadavg: 0.93 0.95 0.98 2/64 19832 /proc/meminfo: memFree=1719736/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=23000 CPUtime=0.08 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 1057 0 0 0 8 0 0 0 18 0 1 0 139089107 23552000 1025 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 5750 1025 404 324 0 611 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 23000 [startup+0.101532 s] /proc/loadavg: 0.93 0.95 0.98 2/64 19832 /proc/meminfo: memFree=1719736/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=23276 CPUtime=0.09 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 1148 0 0 0 9 0 0 0 18 0 1 0 139089107 23834624 1116 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 5819 1116 423 324 0 680 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23276 [startup+0.30155 s] /proc/loadavg: 0.93 0.95 0.98 2/64 19832 /proc/meminfo: memFree=1719736/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=27948 CPUtime=0.29 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 2588 0 0 0 28 1 0 0 19 0 1 0 139089107 28618752 2556 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546132 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 6987 2556 718 324 0 1848 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27948 [startup+0.701605 s] /proc/loadavg: 0.93 0.95 0.98 2/64 19832 /proc/meminfo: memFree=1719736/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=36888 CPUtime=0.69 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 5424 0 0 0 67 2 0 0 23 0 1 0 139089107 37773312 5392 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 9222 5392 1301 324 0 4083 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36888 [startup+1.50171 s] /proc/loadavg: 0.93 0.95 0.98 2/65 19833 /proc/meminfo: memFree=1696496/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=55172 CPUtime=1.49 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 11150 0 0 0 144 5 0 0 25 0 1 0 139089107 56496128 11118 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 13793 11118 2475 324 0 8654 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 55172 [startup+3.10193 s] /proc/loadavg: 0.93 0.96 0.98 2/65 19833 /proc/meminfo: memFree=1671216/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=99088 CPUtime=3.09 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 28361 0 0 0 296 13 0 0 25 0 1 0 139089107 101466112 24121 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 24772 24122 300 324 0 23841 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 99088 [startup+6.30138 s] /proc/loadavg: 0.93 0.96 0.98 2/65 19833 /proc/meminfo: memFree=1600944/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=122228 CPUtime=6.27 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 34154 0 0 0 608 19 0 0 25 0 1 0 139089107 125161472 29914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134545413 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19832/statm: 30557 29914 306 324 0 29626 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 122228 [startup+12.7013 s] /proc/loadavg: 0.94 0.96 0.98 2/65 19833 /proc/meminfo: memFree=1600944/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=122228 CPUtime=12.67 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 34154 0 0 0 1233 34 0 0 25 0 1 0 139089107 125161472 29914 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 30557 29914 306 324 0 29626 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 122228 [startup+25.502 s] /proc/loadavg: 0.95 0.96 0.98 2/65 19833 /proc/meminfo: memFree=1601136/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=121272 CPUtime=25.46 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 34156 0 0 0 2486 60 0 0 25 0 1 0 139089107 124182528 29675 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7635059 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 30318 29675 306 324 0 29387 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 121272 [startup+51.1025 s] /proc/loadavg: 0.97 0.96 0.98 2/65 19833 /proc/meminfo: memFree=1524400/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=200072 CPUtime=51.05 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 59036 0 0 0 5019 86 0 0 25 0 1 0 139089107 204873728 49380 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19832/statm: 50018 49380 311 324 0 49087 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 200072 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.98 2/65 19833 /proc/meminfo: memFree=1412528/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=310952 CPUtime=102.21 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 86755 0 0 0 10113 108 0 0 25 0 1 0 139089107 318414848 77099 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 77738 77099 311 324 0 76807 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 310952 [startup+162.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19833 /proc/meminfo: memFree=1296560/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=427456 CPUtime=162.17 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 115907 0 0 0 16090 127 0 0 25 0 1 0 139089107 437714944 106251 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 106864 106251 311 324 0 105933 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 427456 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 19833 /proc/meminfo: memFree=1185712/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=537320 CPUtime=222.15 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 143346 0 0 0 22068 147 0 0 25 0 1 0 139089107 550215680 133690 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 134330 133690 311 324 0 133399 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 537320 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.98 2/71 19941 /proc/meminfo: memFree=1083008/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=639308 CPUtime=282.09 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 168848 0 0 0 28045 164 0 0 25 0 1 0 139089107 654651392 159192 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572792 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 159827 159192 311 324 0 158896 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 639308 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=987184/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=735116 CPUtime=342.06 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 192818 0 0 0 34016 190 0 0 25 0 1 0 139089107 752758784 183162 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 183779 183162 311 324 0 182848 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 735116 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=901232/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=822488 CPUtime=402.03 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 214645 0 0 0 40000 203 0 0 25 0 1 0 139089107 842227712 204989 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134547966 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 205622 204989 311 324 0 204691 0 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (KiB) 822488 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=811888/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=910220 CPUtime=461.98 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 236586 0 0 0 45978 220 0 0 25 0 1 0 139089107 932065280 226930 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7638762 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 227555 226930 311 324 0 226624 0 Current children cumulated CPU time (s) 461.98 Current children cumulated vsize (KiB) 910220 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=731440/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=991124 CPUtime=521.93 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 256807 0 0 0 51960 233 0 0 25 0 1 0 139089107 1014910976 247151 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19832/statm: 247781 247151 311 324 0 246850 0 Current children cumulated CPU time (s) 521.93 Current children cumulated vsize (KiB) 991124 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=650224/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=1071552 CPUtime=581.87 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 276923 0 0 0 57941 246 0 0 25 0 1 0 139089107 1097269248 267267 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 267888 267267 311 324 0 266957 0 Current children cumulated CPU time (s) 581.87 Current children cumulated vsize (KiB) 1071552 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=568560/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=1152552 CPUtime=641.83 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 297156 0 0 0 63927 256 0 0 25 0 1 0 139089107 1180213248 287500 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 7646882 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 288138 287500 311 324 0 287207 0 Current children cumulated CPU time (s) 641.83 Current children cumulated vsize (KiB) 1152552 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=491696/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=1230064 CPUtime=701.77 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 316552 0 0 0 69905 272 0 0 25 0 1 0 139089107 1259585536 306896 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 307516 306896 311 324 0 306585 0 Current children cumulated CPU time (s) 701.77 Current children cumulated vsize (KiB) 1230064 [startup+762.305 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=415536/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=1305284 CPUtime=761.71 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 335361 0 0 0 75887 284 0 0 25 0 1 0 139089107 1336610816 325705 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 326321 325705 311 324 0 325390 0 Current children cumulated CPU time (s) 761.71 Current children cumulated vsize (KiB) 1305284 [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=340400/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=1381028 CPUtime=821.68 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 354280 0 0 0 81873 295 0 0 25 0 1 0 139089107 1414172672 344624 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551458 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 345257 344624 311 324 0 344326 0 Current children cumulated CPU time (s) 821.68 Current children cumulated vsize (KiB) 1381028 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=276592/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=1444612 CPUtime=881.62 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 370178 0 0 0 87855 307 0 0 25 0 1 0 139089107 1479282688 360522 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551374 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 361153 360522 311 324 0 360222 0 Current children cumulated CPU time (s) 881.62 Current children cumulated vsize (KiB) 1444612 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=205744/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=1515732 CPUtime=941.59 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 387953 0 0 0 93840 319 0 0 25 0 1 0 139089107 1552109568 378297 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 378933 378297 311 324 0 378002 0 Current children cumulated CPU time (s) 941.59 Current children cumulated vsize (KiB) 1515732 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=135152/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=1585532 CPUtime=1001.56 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 405409 0 0 0 99824 332 0 0 25 0 1 0 139089107 1623584768 395753 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 396383 395753 311 324 0 395452 0 Current children cumulated CPU time (s) 1001.56 Current children cumulated vsize (KiB) 1585532 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=73136/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=1647892 CPUtime=1061.54 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 420998 0 0 0 105813 341 0 0 25 0 1 0 139089107 1687441408 411342 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19832/statm: 411973 411342 311 324 0 411042 0 Current children cumulated CPU time (s) 1061.54 Current children cumulated vsize (KiB) 1647892 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=20464/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=1699832 CPUtime=1121.48 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 433985 0 0 0 111800 348 0 0 25 0 1 0 139089107 1740627968 424329 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 424958 424329 311 324 0 424027 0 Current children cumulated CPU time (s) 1121.48 Current children cumulated vsize (KiB) 1699832 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=15344/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=1777172 CPUtime=1181.29 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 453307 0 0 0 117769 360 0 0 25 0 1 0 139089107 1819824128 443651 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19832/statm: 444293 443651 311 324 0 443362 0 Current children cumulated CPU time (s) 1181.29 Current children cumulated vsize (KiB) 1777172 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=16048/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=1838288 CPUtime=1241.17 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 468603 0 0 0 123747 370 0 0 25 0 1 0 139089107 1882406912 458947 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 459572 458947 311 324 0 458641 0 Current children cumulated CPU time (s) 1241.17 Current children cumulated vsize (KiB) 1838288 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1247.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=15408/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=1843240 CPUtime=1246.38 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194304 469830 0 0 0 124267 371 0 0 25 0 1 0 139089107 1887477760 460174 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 460810 460174 311 324 0 459879 0 Current children cumulated CPU time (s) 1246.38 Current children cumulated vsize (KiB) 1843240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1247.61 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=15408/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=0 CPUtime=1246.47 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194308 469831 0 0 0 124267 380 0 0 25 0 1 0 139089107 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1246.47 Current children cumulated vsize (KiB) 0 [startup+1247.7 s] /proc/loadavg: 0.99 0.97 0.98 2/65 20031 /proc/meminfo: memFree=15408/2055920 swapFree=4184248/4192956 [pid=19832] ppid=19830 vsize=0 CPUtime=1246.57 /proc/19832/stat : 19832 (bsolo3.0.16) R 19830 19832 19140 0 -1 4194308 469831 0 0 0 124267 390 0 0 25 0 1 0 139089107 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/19832/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1246.57 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1247.79 CPU time (s): 1246.66 CPU user time (s): 1242.68 CPU system time (s): 3.98639 CPU usage (%): 99.91 Max. virtual memory (cumulated for all children) (KiB): 1843240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1242.68 system time used= 3.98639 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 469831 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= 20 involuntary context switches= 4847 runsolver used 1.15882 second user time and 3.39648 second system time The end
Begin job on node71 on Sun Apr 15 09:56:38 UTC 2007 IDJOB= 352396 IDBENCH= 1972 IDSOLVER= 163 FILE ID= node71/352396-1176630997 PBS_JOBID= 4559808 Free space on /tmp= 66543 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352396-1176630997/instance-352396-1176630997.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-352396-1176630997 -o ROOT/results/node71/solver-352396-1176630997 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/352396-1176630997/instance-352396-1176630997.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 093efae700664f798191c0b27cec34af RANDOM SEED= 510977294 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node71.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.234 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.234 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: 1720336 kB Buffers: 34404 kB Cached: 204712 kB SwapCached: 2760 kB Active: 61204 kB Inactive: 194388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1720336 kB SwapTotal: 4192956 kB SwapFree: 4184248 kB Dirty: 21208 kB Writeback: 0 kB Mapped: 20912 kB Slab: 65960 kB Committed_AS: 1955760 kB PageTables: 1456 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= 66543 MiB End job on node71 on Sun Apr 15 10:17:28 UTC 2007