Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | -4984 | 1782.75 | 1783.33 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv11.opb |
MD5SUM | a74bcf40291587dc368e3a23fd278be9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -10639 |
Best CPU time to get the best result obtained on this benchmark | 1800.64 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -10639 |
Optimality of the best value was proved | NO |
Number of variables | 11247 |
Total number of constraints | 9744 |
Number of constraints which are clauses | 77 |
Number of constraints which are cardinality constraints (but not clauses) | 5755 |
Number of constraints which are nor clauses,nor cardinality constraints | 3912 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 68 |
Number of terms in the objective function | 773 |
Biggest coefficient in the objective function | 1000 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 76861 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1999 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 76861 |
Number of bits of the biggest sum of numbers | 17 |
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 Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.80/0.82 c starting to Solve 0.80/0.82 c #variables read: 11247 - #constraints read: 13117 0.80/0.83 o 13489 0.80/0.83 o 13039 0.80/0.85 o 13030 0.80/0.87 o 12980 0.80/0.87 o 12930 0.80/0.87 o 12880 0.89/0.90 o 12879 0.89/0.91 o 12874 0.89/0.91 o 12869 0.89/0.91 o 12864 0.89/0.97 o 12859 0.89/0.98 o 12854 0.89/0.98 o 12849 0.89/0.98 o 12844 0.89/0.98 o 12839 0.89/0.98 o 12834 0.89/0.98 o 12829 0.89/0.98 o 12824 0.89/0.98 o 12819 0.89/0.98 o 12814 0.89/0.98 o 12809 0.89/0.99 o 12804 0.89/0.99 o 12799 0.89/0.99 o 12794 0.89/0.99 o 12789 0.89/1.00 o 12784 1.00/1.00 o 12779 1.00/1.00 o 12774 1.00/1.00 o 12769 1.00/1.00 o 12764 1.00/1.05 o 12740 1.00/1.06 o 12735 1.00/1.06 o 12690 1.00/1.06 o 12685 1.00/1.06 o 12640 1.00/1.07 o 12615 1.00/1.07 o 12605 1.00/1.07 o 12600 1.00/1.07 o 12595 1.00/1.08 o 12590 1.00/1.08 o 12580 1.00/1.08 o 12575 1.00/1.09 o 12570 1.00/1.09 o 12565 1.00/1.09 o 12560 1.00/1.09 o 12555 1.10/1.12 o 12550 1.10/1.12 o 12545 1.10/1.13 o 12530 1.10/1.13 o 12520 1.10/1.13 o 12515 1.10/1.14 o 12510 1.10/1.14 o 12505 1.10/1.14 o 12500 1.10/1.15 o 12495 1.10/1.15 o 12490 1.10/1.16 o 12485 1.10/1.16 o 12470 1.10/1.16 o 12465 1.10/1.17 o 12460 1.10/1.17 o 12455 1.10/1.17 o 12450 1.10/1.19 o 12445 1.10/1.19 o 12440 1.10/1.19 o 12435 1.19/1.20 o 12420 1.19/1.20 o 12415 1.19/1.20 o 12410 1.19/1.21 o 12405 1.19/1.21 o 12400 1.19/1.24 o 12395 1.19/1.26 o 12385 1.19/1.27 o 12380 1.19/1.27 o 12375 1.19/1.27 o 12370 1.19/1.27 o 12365 1.19/1.28 o 12360 1.19/1.28 o 12355 1.29/1.30 o 12349 1.29/1.30 o 12329 1.29/1.31 o 12319 1.29/1.31 o 12314 1.29/1.31 o 12309 1.29/1.31 o 12304 1.29/1.31 o 12289 1.29/1.32 o 12279 1.29/1.32 o 12274 1.29/1.32 o 12269 1.29/1.32 o 12264 1.29/1.32 o 12259 1.29/1.33 o 12254 1.29/1.34 o 12249 1.29/1.34 o 12244 1.29/1.35 o 12239 1.29/1.36 o 12234 1.29/1.36 o 12229 1.29/1.38 o 12224 1.29/1.38 o 12219 1.29/1.38 o 12214 1.29/1.39 o 12199 1.39/1.40 o 12194 1.39/1.41 o 12189 1.39/1.41 o 12174 1.39/1.42 o 12169 1.39/1.42 o 12164 1.39/1.42 o 12159 1.39/1.43 o 12154 1.39/1.43 o 12149 1.39/1.44 o 12099 1.39/1.45 o 12094 1.39/1.46 o 12054 1.39/1.46 o 12049 1.39/1.47 o 12044 1.39/1.48 o 12004 1.39/1.48 o 11999 1.39/1.49 o 11959 1.39/1.49 o 11954 1.49/1.50 o 11949 1.49/1.51 o 11909 1.49/1.51 o 11904 1.49/1.52 o 11899 1.49/1.52 o 11884 1.49/1.53 o 11879 1.49/1.53 o 11869 1.49/1.54 o 11864 1.49/1.54 o 11859 1.49/1.55 o 11854 1.49/1.56 o 11849 1.49/1.56 o 11844 1.49/1.57 o 11839 1.49/1.57 o 11834 1.49/1.58 o 11829 1.49/1.58 o 11824 1.49/1.59 o 11819 1.49/1.59 o 11814 1.49/1.59 o 11809 1.59/1.60 o 11804 1.59/1.61 o 11799 1.59/1.62 o 11794 1.59/1.63 o 11789 1.59/1.63 o 11784 1.59/1.67 o 11779 1.59/1.68 o 11774 1.59/1.68 o 11769 1.59/1.68 o 11764 1.59/1.70 o 11745 1.69/1.73 o 11740 1.69/1.77 o 11735 1.69/1.77 o 11695 1.69/1.78 o 11690 1.69/1.79 o 11685 1.79/1.80 o 11650 1.79/1.81 o 11645 1.79/1.82 o 11640 1.79/1.84 o 11615 1.89/1.90 o 11610 1.89/1.92 o 11605 1.89/1.92 o 11600 1.89/1.92 o 11595 1.89/1.94 o 11565 1.89/1.98 o 11560 1.89/1.99 o 11555 1.99/2.00 o 11550 1.99/2.00 o 11545 1.99/2.01 o 11515 1.99/2.02 o 11510 1.99/2.03 o 11505 1.99/2.03 o 11500 1.99/2.04 o 11495 1.99/2.05 o 11465 1.99/2.09 o 11460 1.99/2.09 o 11455 1.99/2.10 o 11450 2.09/2.10 o 11445 2.09/2.18 o 11430 2.09/2.19 o 11425 2.09/2.19 o 11420 2.09/2.20 o 11415 2.19/2.20 o 11410 2.19/2.21 o 11405 2.19/2.23 o 11400 2.19/2.28 o 11395 2.29/2.31 o 11385 2.29/2.34 o 11380 2.49/2.54 o 11375 2.59/2.63 o 11370 2.59/2.64 o 11365 2.59/2.64 o 11360 2.69/2.79 o 11355 2.79/2.82 o 11350 2.79/2.82 o 11345 2.79/2.82 o 11340 2.79/2.86 o 11335 2.99/3.03 o 11330 2.99/3.05 o 11320 2.99/3.07 o 11315 2.99/3.07 o 11310 3.09/3.18 o 11305 3.30/3.39 o 11300 3.39/3.44 o 11295 3.39/3.45 o 11290 3.39/3.45 o 11285 3.39/3.45 o 11280 3.39/3.46 o 11275 3.49/3.57 o 11270 3.49/3.58 o 11265 4.49/4.53 o 11260 4.49/4.55 o 11255 4.49/4.57 o 11250 4.49/4.59 o 11240 4.59/4.60 o 11235 4.59/4.60 o 11230 4.59/4.62 o 11225 4.59/4.62 o 11220 4.69/4.74 o 11215 4.79/4.81 o 11210 4.79/4.82 o 11205 4.79/4.82 o 11200 4.99/5.02 o 11190 4.99/5.07 o 11185 4.99/5.07 o 11180 4.99/5.08 o 11175 5.19/5.21 o 11170 5.19/5.21 o 11165 5.19/5.21 o 11160 5.19/5.25 o 11155 5.19/5.25 o 11150 5.19/5.26 o 11145 5.19/5.26 o 11140 5.19/5.27 o 11135 5.19/5.28 o 11130 5.19/5.28 o 11125 5.19/5.29 o 11120 5.19/5.29 o 11115 5.19/5.29 o 11110 5.29/5.33 o 11105 5.29/5.33 o 11100 5.29/5.34 o 11095 5.29/5.34 o 11085 5.29/5.35 o 11080 5.29/5.35 o 11075 5.29/5.35 o 11070 5.29/5.35 o 11065 5.29/5.37 o 11060 5.29/5.39 o 11055 5.29/5.39 o 11050 5.39/5.42 o 11045 5.39/5.42 o 11040 5.39/5.44 o 11035 5.39/5.45 o 11030 5.39/5.46 o 11025 5.39/5.47 o 11020 5.39/5.47 o 11015 5.39/5.47 o 11010 5.39/5.48 o 11005 5.39/5.48 o 11000 5.49/5.55 o 10995 5.49/5.56 o 10990 5.49/5.58 o 10985 5.58/5.60 o 10980 5.58/5.61 o 10975 5.58/5.62 o 10970 5.58/5.63 o 10965 5.58/5.63 o 10960 5.98/6.04 o 10955 5.98/6.08 o 10950 5.98/6.09 o 10945 5.98/6.09 o 10940 5.98/6.09 o 10935 5.98/6.09 o 10930 6.08/6.10 o 10925 6.08/6.10 o 10920 6.08/6.10 o 10915 6.08/6.10 o 10910 12.19/12.22 o 10904 12.19/12.28 o 10889 12.49/12.54 o 10884 12.49/12.55 o 10874 12.49/12.55 o 10864 12.49/12.56 o 10854 12.49/12.56 o 10849 12.59/12.65 o 10844 12.69/12.72 o 10834 12.69/12.73 o 10829 12.69/12.74 o 10819 12.69/12.74 o 10809 12.89/12.90 o 10804 12.89/12.93 o 10799 12.89/12.93 o 10789 12.89/12.96 o 10784 12.89/12.97 o 10779 12.89/12.97 o 10769 12.89/12.99 o 10759 13.39/13.43 o 10754 13.78/13.81 o 10749 13.78/13.82 o 10744 13.78/13.82 o 10739 14.79/14.86 o 10734 15.19/15.20 o 10724 15.59/15.64 o 10719 15.59/15.66 o 10709 16.49/16.50 o 10704 16.49/16.51 o 10699 16.49/16.51 o 10694 16.49/16.56 o 10689 16.49/16.58 o 10684 16.59/16.62 o 10679 16.79/16.85 o 10674 16.98/17.03 o 10669 18.48/18.53 o 10664 18.48/18.57 o 10659 18.78/18.85 o 10654 18.88/18.91 o 10649 19.58/19.70 o 10644 19.68/19.74 o 10639 19.68/19.78 o 10634 19.68/19.78 o 10629 19.88/19.96 o 10624 19.88/19.96 o 10619 19.88/19.97 o 10614 20.08/20.15 o 10609 20.08/20.15 o 10604 20.08/20.16 o 10599 20.08/20.16 o 10594 20.08/20.17 o 10589 20.08/20.17 o 10584 20.08/20.17 o 10579 20.98/21.09 o 10574 21.08/21.15 o 10569 21.08/21.17 o 10564 21.08/21.18 o 10559 21.08/21.18 o 10554 21.18/21.21 o 10549 21.18/21.22 o 10544 21.28/21.31 o 10539 21.38/21.40 o 10534 21.38/21.40 o 10529 21.38/21.44 o 10524 21.38/21.47 o 10519 21.38/21.47 o 10514 21.38/21.47 o 10509 21.38/21.48 o 10504 21.48/21.59 o 10499 21.68/21.74 o 10494 21.68/21.77 o 10489 21.68/21.77 o 10484 21.68/21.78 o 10479 21.68/21.79 o 10474 21.68/21.79 o 10469 21.68/21.79 o 10464 21.78/21.80 o 10459 21.78/21.80 o 10454 21.78/21.80 o 10449 22.18/22.30 o 10444 22.28/22.33 o 10439 22.28/22.34 o 10434 22.28/22.35 o 10429 22.28/22.36 o 10424 22.48/22.52 o 10419 22.48/22.52 o 10414 22.48/22.53 o 10409 22.48/22.53 o 10404 22.48/22.54 o 10399 22.48/22.54 o 10394 22.48/22.54 o 10389 22.58/22.61 o 10384 22.58/22.63 o 10379 22.58/22.63 o 10374 22.58/22.63 o 10369 22.58/22.64 o 10364 22.88/22.93 o 10359 27.18/27.24 o 10354 28.58/28.61 o 10349 29.78/29.85 o 10344 117.25/117.38 o 10339 117.85/117.96 o 10334 118.25/118.37 o 10329 118.85/118.92 o 10324 118.85/118.94 o 10314 118.85/118.94 o 10294 118.85/118.96 o 10289 118.85/118.96 o 10269 118.85/118.97 o 10264 118.85/118.98 o 10244 118.85/118.98 o 10224 118.85/119.00 o 10209 118.94/119.03 o 10204 118.94/119.03 o 10194 118.94/119.04 o 10184 118.94/119.06 o 10179 118.94/119.07 o 10174 118.94/119.08 o 10169 118.94/119.09 o 10164 119.04/119.10 o 10159 119.04/119.12 o 10144 119.04/119.12 o 10139 119.04/119.13 o 10134 119.04/119.14 o 10129 119.04/119.15 o 10124 120.54/120.64 o 10119 120.54/120.64 o 10114 120.54/120.65 o 10104 120.54/120.65 o 10094 120.54/120.66 o 10089 120.54/120.67 o 10084 120.54/120.67 o 10079 121.74/121.80 o 10074 121.74/121.83 o 10064 121.74/121.83 o 10054 121.74/121.84 o 10044 121.74/121.84 o 10039 121.74/121.85 o 10034 121.74/121.85 o 10029 121.74/121.86 o 10024 121.74/121.87 o 10014 121.74/121.87 o 10004 121.74/121.88 o 9994 121.74/121.88 o 9989 121.74/121.89 o 9984 121.74/121.89 o 9979 121.84/121.93 o 9974 121.84/121.94 o 9964 121.84/121.99 o 9959 121.84/122.00 o 9954 121.95/122.00 o 9949 121.95/122.01 o 9944 121.95/122.03 o 9939 121.95/122.07 o 9934 121.95/122.08 o 9924 121.95/122.08 o 9914 121.95/122.10 o 9909 122.05/122.12 o 9904 122.05/122.13 o 9899 122.05/122.14 o 9894 122.05/122.15 o 9889 122.05/122.15 o 9884 122.05/122.15 o 9879 126.94/127.05 o 9864 131.64/131.79 o 9854 131.85/131.95 o 9844 132.04/132.16 o 9839 132.04/132.18 o 9834 132.15/132.22 o 9829 132.95/133.09 o 9819 133.05/133.12 o 9814 133.14/133.29 o 9809 133.44/133.51 o 9799 133.64/133.70 o 9794 133.74/133.88 o 9789 133.74/133.88 o 9784 133.74/133.88 o 9779 136.44/136.54 o 9774 139.14/139.23 o 9769 140.74/140.83 o 9764 140.74/140.83 o 9754 140.74/140.83 o 9744 140.74/140.84 o 9739 140.74/140.84 o 9734 141.74/141.86 o 9729 141.74/141.87 o 9719 142.94/143.07 o 9714 143.54/143.68 o 9694 143.54/143.69 o 9684 143.54/143.69 o 9679 166.43/166.55 o 9670 166.53/166.62 o 9665 166.53/166.63 o 9660 166.53/166.68 o 9655 166.53/166.69 o 9650 166.63/166.70 o 9630 166.63/166.71 o 9620 166.63/166.72 o 9615 166.63/166.72 o 9610 166.83/166.93 o 9605 166.83/166.94 o 9585 166.83/166.95 o 9575 166.83/166.96 o 9570 166.83/166.96 o 9565 167.03/167.14 o 9560 167.03/167.15 o 9540 167.03/167.16 o 9530 167.03/167.17 o 9520 167.83/167.99 o 9515 167.93/168.03 o 9510 168.43/168.57 o 9505 168.63/168.76 o 9500 168.63/168.76 o 9495 168.63/168.76 o 9490 168.73/168.87 o 9485 168.73/168.87 o 9480 168.73/168.87 o 9475 168.73/168.88 o 9470 168.73/168.88 o 9465 168.73/168.88 o 9460 168.93/169.06 o 9455 168.93/169.07 o 9450 168.93/169.07 o 9445 168.93/169.10 o 9440 170.13/170.22 o 9435 170.13/170.23 o 9430 170.13/170.23 o 9425 170.13/170.23 o 9420 170.13/170.24 o 9410 172.72/172.82 o 9405 172.83/172.93 o 9400 172.83/172.94 o 9395 172.93/173.09 o 9390 173.13/173.20 o 9385 173.13/173.22 o 9375 173.13/173.22 o 9365 173.13/173.23 o 9355 173.13/173.23 o 9345 173.13/173.25 o 9335 173.13/173.25 o 9325 173.23/173.39 o 9315 173.43/173.59 o 9305 173.43/173.60 o 9295 173.53/173.60 o 9285 173.53/173.66 o 9275 173.53/173.66 o 9265 173.53/173.66 o 9260 174.02/174.17 o 9255 174.02/174.20 o 9245 174.12/174.20 o 9235 174.23/174.34 o 9225 174.23/174.34 o 9220 174.43/174.57 o 9215 174.43/174.58 o 9205 174.43/174.59 o 9195 174.43/174.59 o 9185 174.53/174.65 o 9175 174.53/174.65 o 9170 174.53/174.66 o 9165 174.53/174.66 o 9160 175.12/175.20 o 9155 175.12/175.28 o 9145 175.22/175.37 o 9135 175.22/175.37 o 9125 175.32/175.49 o 9120 176.83/176.94 o 9115 176.83/176.98 o 9110 178.03/178.16 o 9105 178.22/178.31 o 9100 178.22/178.31 o 9095 178.22/178.32 o 9090 178.22/178.32 o 9085 178.22/178.33 o 9080 178.22/178.33 o 9075 178.22/178.35 o 9070 178.32/178.44 o 9065 178.32/178.47 o 9060 737.15/737.46 o 9055 737.15/737.49 o 9050 737.15/737.49 o 9045 737.25/737.51 o 9040 737.25/737.53 o 9035 738.95/739.27 o 9030 738.95/739.28 o 9025 738.95/739.28 o 9020 738.95/739.28 o 9015 740.65/740.92 o 9010 741.45/741.74 o 9005 743.05/743.33 o 9000 743.05/743.38 o 8995 743.15/743.40 o 8990 743.15/743.44 o 8985 743.15/743.45 o 8980 743.15/743.45 o 8975 743.45/743.78 o 8970 743.45/743.78 o 8965 743.45/743.79 o 8960 744.15/744.44 o 8955 744.15/744.47 o 8950 744.15/744.49 o 8925 744.45/744.74 o 8920 744.54/744.87 o 8915 744.74/745.06 o 8910 744.74/745.09 o 8880 745.14/745.48 o 8875 745.14/745.49 o 8870 745.14/745.50 o 8865 745.85/746.14 o 8860 745.95/746.20 o 8855 745.95/746.22 o 8850 745.95/746.22 o 8845 745.95/746.25 o 8840 745.95/746.26 o 8835 745.95/746.27 o 8830 745.95/746.29 o 8825 746.05/746.30 o 8820 746.05/746.31 o 8815 748.75/749.09 o 8810 749.74/750.05 o 8805 750.04/750.39 o 8800 750.24/750.52 o 8795 750.24/750.54 o 8790 750.24/750.54 o 8785 750.55/750.84 o 8780 753.15/753.42 o 8775 756.55/756.83 o 8770 769.53/769.89 o 8765 769.53/769.90 o 8760 769.64/769.91 o 8755 769.64/769.91 o 8750 769.64/769.93 o 8745 772.73/773.04 o 8740 773.14/773.44 o 8735 773.14/773.44 o 8730 773.14/773.45 o 8725 773.14/773.45 o 8720 800.12/800.48 o 8715 809.33/809.67 o 8710 813.02/813.30 o 8705 813.12/813.43 o 8700 813.63/813.93 o 8695 813.63/813.93 o 8690 834.41/834.77 o 8685 842.21/842.56 o 8680 842.41/842.73 o 8675 842.52/842.80 o 8670 842.52/842.81 o 8665 842.52/842.82 o 8660 849.41/849.79 o 8655 849.51/849.80 o 8650 855.71/856.03 o 8645 855.71/856.05 o 8640 855.91/856.26 o 8635 855.91/856.27 o 8630 881.00/881.39 o 8625 881.10/881.40 o 8620 881.20/881.58 o 8615 881.20/881.58 o 8610 881.50/881.80 o 8605 881.50/881.81 o 8600 881.50/881.84 o 8595 884.10/884.47 o 8594 884.10/884.47 o 8589 936.58/936.95 o 8585 943.68/944.03 o 8580 953.38/953.77 o 8575 1095.03/1095.49 o 8570 1095.33/1095.72 o 8565 1095.33/1095.76 o 8560 1114.03/1114.42 o 8555 1116.72/1117.11 o 8550 1138.32/1138.77 o 8545 1138.62/1139.01 o 8540 1323.76/1324.20 o 8535 1324.16/1324.69 o 8530 1324.26/1324.70 o 8525 1365.25/1365.79 o 8520 1369.35/1369.88 o 8515 1372.34/1372.89 o 8510 1372.44/1372.93 o 8505 1782.72/1783.31 c total time : 1783 s 1782.72/1783.31 s SATISFIABLE 1782.72/1783.31 v x1 -x1754 -x3245 -x4356 x5483 x6648 -x7809 -x8958 -x10107 -x2 -x461 -x602 -x755 -x902 x1037 x1168 x1307 x1454 x1617 x1755 1782.72/1783.31 v x1905 -x2064 -x2217 -x2368 x2519 -x2657 x2801 -x2958 -x3114 -x3246 x3357 x3468 x3579 -x3690 x3801 -x3912 x4023 x4134 -x4245 1782.72/1783.31 v -x4357 -x4468 x4579 x4690 x4801 -x4912 -x5023 -x5024 -x5025 -x5026 -x5027 -x5138 -x5139 -x5140 -x5141 -x5142 -x5253 -x5254 1782.72/1783.31 v -x5255 -x5256 -x5257 -x5368 -x5369 -x5370 -x5371 -x5372 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5600 -x5601 -x5602 1782.72/1783.31 v -x5603 -x5604 -x5605 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5948 -x5949 1782.72/1783.31 v -x5950 -x5951 -x5952 -x5953 -x5954 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6182 -x6183 -x6184 -x6185 -x6186 1782.72/1783.31 v -x6187 -x6188 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6532 -x6533 1782.72/1783.31 v -x6534 -x6535 -x6536 -x6537 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6881 1782.72/1783.31 v x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7117 -x7118 1782.72/1783.31 v -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7353 -x7354 -x7355 1782.72/1783.31 v -x7356 -x7467 -x7468 -x7469 -x7470 -x7581 -x7582 -x7583 -x7584 -x7695 -x7696 -x7697 -x7698 -x7810 -x7811 -x7812 -x7813 1782.72/1783.31 v -x7814 -x7925 -x7926 -x7927 -x7928 -x7929 -x8040 -x8041 -x8042 -x8043 -x8044 -x8155 -x8156 -x8157 -x8158 -x8159 -x8270 1782.72/1783.31 v -x8271 -x8272 -x8273 -x8274 -x8385 -x8386 -x8387 -x8388 -x8389 -x8500 -x8501 -x8502 -x8503 -x8504 -x8615 -x8616 -x8617 1782.72/1783.31 v -x8618 -x8619 -x8730 -x8731 -x8732 -x8733 -x8844 -x8845 -x8846 -x8847 -x8959 -x8960 -x8961 -x8962 -x9073 -x9074 -x9075 1782.72/1783.31 v -x9076 -x9187 -x9188 -x9189 -x9190 -x9191 -x9302 -x9303 -x9304 -x9305 -x9306 -x9417 -x9418 -x9419 -x9420 -x9421 -x9532 1782.72/1783.31 v -x9533 -x9534 -x9535 -x9536 -x9647 -x9648 -x9649 -x9650 -x9651 -x9762 -x9763 -x9764 -x9765 -x9766 -x9877 -x9878 -x9879 1782.72/1783.31 v -x9880 -x9881 -x9992 -x9993 -x9994 -x9995 -x9996 -x10108 -x10109 -x10110 -x10111 -x10222 -x10223 -x10224 -x10225 -x10336 1782.72/1783.31 v -x10337 -x10338 -x10339 -x10450 -x10451 -x10452 -x10453 -x10564 -x10565 -x10566 -x10567 -x10678 -x10679 -x10680 -x10681 1782.72/1783.31 v -x10792 -x10793 -x10794 -x10795 -x10906 -x10907 -x10908 -x10909 -x11020 -x11021 -x11022 -x11023 -x11134 -x11135 -x11136 1782.72/1783.31 v -x11137 -x3 -x4 -x5 -x6 -x117 -x118 -x119 -x120 -x231 -x232 -x233 -x234 -x363 -x364 -x365 -x366 -x377 -x378 -x379 -x380 -x391 1782.72/1783.31 v -x392 -x393 -x394 -x405 -x406 -x407 -x408 -x419 -x420 -x421 -x422 -x433 -x434 -x435 -x436 -x447 -x448 -x449 -x450 -x462 -x463 1782.72/1783.31 v -x464 -x465 -x476 -x477 -x478 -x479 -x490 -x491 -x492 -x493 -x504 -x505 -x506 -x507 -x518 -x519 -x520 -x521 -x532 -x533 -x534 1782.72/1783.31 v -x535 -x546 -x547 -x548 -x549 -x560 -x561 -x562 -x563 -x574 -x575 -x576 -x577 -x588 -x589 -x590 -x591 -x603 -x604 -x605 -x606 1782.72/1783.31 v -x617 -x618 -x619 -x620 -x631 -x632 -x633 -x634 -x635 -x636 -x647 -x648 -x649 -x650 -x651 -x652 -x663 -x664 -x665 -x666 -x667 1782.72/1783.31 v -x668 -x679 -x680 -x681 -x682 -x683 -x684 -x695 -x696 -x697 -x698 -x699 -x710 -x711 -x712 -x713 -x714 -x725 -x726 -x727 -x728 1782.72/1783.31 v -x729 -x740 -x741 -x742 -x743 -x744 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x790 1782.72/1783.31 v -x791 -x792 -x793 -x794 -x795 -x796 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x824 x825 -x826 -x837 -x838 -x839 x850 -x851 1782.72/1783.31 v -x852 -x863 -x864 -x865 -x876 -x877 -x878 -x889 -x890 -x891 -x903 -x904 -x905 -x916 -x917 -x918 -x929 -x930 -x931 -x942 -x943 1782.72/1783.31 v -x944 -x955 -x956 -x957 -x968 -x969 -x970 -x981 -x982 -x983 -x984 -x995 -x996 -x997 -x998 -x1009 -x1010 -x1011 -x1012 -x1023 1782.72/1783.31 v -x1024 -x1025 -x1026 -x1038 -x1039 -x1040 -x1051 -x1052 -x1053 x1064 -x1065 -x1066 -x1077 -x1078 -x1079 -x1090 -x1091 1782.72/1783.31 v -x1092 -x1103 -x1104 -x1105 -x1116 x1117 -x1118 -x1129 -x1130 -x1131 -x1142 -x1143 -x1144 -x1155 -x1156 -x1157 x1169 -x1170 1782.72/1783.31 v -x1171 -x1182 -x1183 -x1184 -x1195 -x1196 -x1197 -x1208 -x1209 -x1210 -x1221 -x1222 -x1223 -x1234 -x1235 -x1236 -x1247 1782.72/1783.31 v x1248 -x1249 -x1250 -x1251 -x1262 -x1263 -x1264 -x1265 -x1266 x1277 -x1278 -x1279 -x1280 -x1281 -x1292 -x1293 -x1294 -x1295 1782.72/1783.31 v -x1296 -x1308 -x1309 -x1310 -x1311 -x1322 -x1323 -x1324 -x1325 -x1336 -x1337 -x1338 -x1339 -x1350 -x1351 -x1352 -x1353 1782.72/1783.31 v -x1364 -x1365 -x1366 -x1367 -x1378 -x1379 -x1380 -x1381 -x1392 x1393 -x1394 -x1395 -x1406 -x1407 -x1408 -x1409 -x1420 1782.72/1783.31 v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1455 -x1456 -x1457 -x1458 1782.72/1783.31 v -x1459 -x1460 -x1461 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1505 1782.72/1783.31 v -x1506 -x1507 -x1508 -x1509 -x1510 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 1782.72/1783.31 v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1585 -x1586 -x1587 -x1588 -x1589 1782.72/1783.31 v -x1590 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1618 -x1619 -x1620 -x1631 -x1632 -x1633 x1644 -x1645 -x1646 -x1657 1782.72/1783.31 v -x1658 -x1659 -x1670 -x1671 -x1672 -x1673 -x1684 -x1685 -x1686 -x1687 -x1698 x1699 -x1700 -x1701 -x1712 -x1713 -x1714 1782.72/1783.31 v -x1715 -x1726 -x1727 -x1728 -x1729 -x1740 x1741 -x1742 -x1743 x1756 -x1757 -x1758 -x1759 -x1770 -x1771 -x1772 -x1773 -x1784 1782.72/1783.31 v -x1785 -x1786 -x1787 -x1798 -x1799 -x1800 -x1801 -x1812 -x1813 -x1814 -x1815 -x1826 -x1827 -x1828 -x1829 x1840 x1841 x1842 1782.72/1783.31 v x1843 -x1844 -x1845 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 1782.72/1783.31 v x1890 x1891 -x1892 -x1893 -x1894 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 1782.72/1783.31 v -x1951 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1996 -x1997 1782.72/1783.31 v -x1998 -x1999 -x2000 -x2001 -x2002 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2030 -x2031 -x2032 -x2033 x2034 1782.72/1783.31 v -x2035 x2036 x2047 x2048 -x2049 x2050 -x2051 -x2052 x2053 -x2065 x2066 x2067 -x2068 -x2069 -x2070 x2071 -x2082 -x2083 -x2084 1782.72/1783.31 v -x2085 x2086 -x2087 x2088 x2099 x2100 -x2101 x2102 -x2103 -x2104 x2105 -x2116 x2117 x2118 -x2119 -x2120 -x2121 x2122 -x2133 1782.72/1783.31 v -x2134 -x2135 -x2136 -x2137 -x2148 -x2149 -x2150 -x2151 -x2152 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 x2179 x2180 x2181 1782.72/1783.31 v x2182 -x2183 -x2184 -x2229 -x2230 x2231 x2232 x2233 -x2234 -x2245 -x2246 -x2247 -x2248 -x2249 -x2260 -x2261 -x2262 -x2263 1782.72/1783.31 v -x2264 -x2275 -x2276 -x2277 -x2278 -x2279 -x2290 x2291 -x2292 -x2293 -x2294 x2295 -x2306 -x2307 x2308 x2309 x2310 -x2311 1782.72/1783.31 v -x2322 x2323 x2324 -x2325 x2326 -x2337 -x2338 -x2339 -x2340 -x2341 -x2352 x2353 -x2354 -x2355 x2356 -x2357 -x2369 -x2370 1782.72/1783.31 v -x2371 -x2372 -x2373 -x2384 -x2385 x2386 -x2387 x2388 -x2399 -x2400 -x2401 -x2402 x2403 -x2404 -x2405 -x2416 x2417 x2418 1782.72/1783.31 v -x2419 -x2420 -x2421 -x2432 -x2433 -x2434 -x2435 x2436 -x2437 -x2438 x2449 x2450 x2451 -x2452 x2463 -x2464 -x2465 x2466 1782.72/1783.31 v -x2467 -x2478 x2479 -x2480 x2481 -x2482 -x2493 x2494 x2495 -x2496 -x2497 -x2564 x2565 x2566 x2567 x2568 -x2569 -x2580 -x2581 1782.72/1783.31 v -x2582 -x2583 -x2584 -x2595 -x2596 -x2597 -x2598 -x2599 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2626 -x2627 -x2628 1782.72/1783.31 v -x2629 -x2630 x2631 -x2642 -x2643 -x2644 -x2645 -x2646 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2674 -x2675 -x2676 1782.72/1783.31 v -x2677 -x2678 -x2679 -x2690 -x2691 -x2692 -x2693 -x2694 -x2705 -x2706 -x2707 -x2708 -x2709 -x2720 -x2721 -x2722 -x2723 1782.72/1783.31 v -x2724 -x2725 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2847 -x2848 -x2849 1782.72/1783.31 v -x2850 -x2851 -x2852 -x2863 -x2864 -x2865 x2866 -x2867 x2868 -x2879 -x2880 -x2881 -x2882 -x2883 x2894 -x2895 x2896 -x2897 1782.72/1783.31 v x2898 x2899 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2942 -x2943 -x2944 -x2945 1782.72/1783.31 v -x2946 -x2947 x2959 x2960 x2961 -x2962 x2963 x2974 x2975 x2976 -x2977 x2978 x2989 x2990 x2991 -x2992 x2993 -x3004 -x3005 1782.72/1783.31 v -x3006 -x3007 -x3008 -x3019 x3020 -x3021 -x3022 x3023 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3050 -x3051 -x3052 x3053 1782.72/1783.31 v x3054 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3098 -x3099 -x3100 1782.72/1783.31 v -x3101 -x3102 -x3103 x3115 -x3116 -x3117 x3118 -x3119 x3120 -x3131 x3132 -x3133 x3134 -x3135 x3136 x3147 -x3148 -x3149 1782.72/1783.31 v x3150 -x3151 x3152 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x266 -x267 x268 x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 1782.72/1783.31 v -x277 -x278 -x279 -x281 -x282 -x283 x284 x285 -x286 -x287 -x288 -x289 -x290 x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 1782.72/1783.31 v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 1782.72/1783.31 v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1782.72/1783.31 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x2443 -x2446 -x2447 -x2448 1782.72/1783.31 v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 1782.72/1783.31 v -x2475 -x2476 -x2477 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2498 -x2499 -x2500 -x2501 1782.72/1783.31 v -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2521 1782.72/1783.31 v -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 1782.72/1783.31 v -x2540 -x2541 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2554 -x2555 -x2556 -x2557 -x2558 1782.72/1783.31 v -x2559 -x2560 -x2561 -x2562 -x2563 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2585 -x2586 1782.72/1783.31 v -x2587 -x2588 -x2589 -x2590 -x2591 -x2441 -x2592 -x2593 -x2594 -x2600 -x2440 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 1782.72/1783.31 v -x2607 -x2608 -x2609 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2632 -x2531 -x2542 -x2553 1782.72/1783.31 v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1782.72/1783.31 v -x2655 -x2444 -x2656 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2680 -x2681 -x2682 -x2683 1782.72/1783.31 v -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2710 1782.72/1783.31 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2442 -x2719 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 1782.72/1783.31 v -x2733 -x2734 -x2735 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2752 -x2753 -x2754 -x2755 1782.72/1783.31 v -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2778 1782.72/1783.31 v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 1782.72/1783.31 v -x2799 -x2800 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2821 -x2822 -x2823 -x2824 -x2825 1782.72/1783.31 v -x2826 -x2827 -x2828 -x2829 -x2830 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2853 -x2854 1782.72/1783.31 v -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 1782.72/1783.31 v -x2878 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 1782.72/1783.31 v -x2906 -x2907 -x2908 -x2909 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2932 -x2933 -x2934 1782.72/1783.31 v -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 1782.72/1783.31 v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 1782.72/1783.31 v -x2986 -x2987 -x2988 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3009 -x3010 -x3011 -x3012 1782.72/1783.31 v -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 x3032 x3033 -x3040 -x3041 1782.72/1783.31 v -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 1782.72/1783.31 v -x3064 -x3072 -x3073 x3074 x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 1782.72/1783.31 v -x3095 -x3096 -x3097 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3121 x3122 -x3123 -x3124 -x3125 1782.72/1783.31 v -x3126 -x3127 -x3128 -x3129 -x3130 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3153 -x3154 1782.72/1783.31 v -x3155 -x3156 x3157 x3158 -x3159 -x3160 -x3161 -x3162 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 1782.72/1783.31 v -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3191 -x3192 x3193 x3194 -x3195 -x3196 -x3197 -x3198 1782.72/1783.31 v -x3199 -x3200 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3213 -x3214 -x3215 -x3216 -x3217 1782.72/1783.31 v -x3218 x3219 x3220 -x3221 -x3222 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3235 -x3236 -x3237 1782.72/1783.31 v -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3248 -x3249 -x3250 -x3251 -x3252 x3253 -x3254 -x3255 x3256 -x3257 -x3259 1782.72/1783.31 v -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 x3276 -x3277 -x3278 1782.72/1783.31 v -x3279 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 1782.72/1783.31 v -x3298 -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x3310 -x3311 x3312 -x3314 -x3315 -x3316 -x3317 1782.72/1783.31 v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 x3333 -x3334 -x3336 1782.72/1783.31 v -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 1782.72/1783.31 v -x3355 -x3356 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 x3365 -x3366 x3367 x3368 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 1782.72/1783.31 v -x3376 -x3377 -x3378 -x3379 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 x3392 -x3393 -x3394 1782.72/1783.31 v -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 1782.72/1783.31 v -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 1782.72/1783.31 v -x3432 -x3433 -x3434 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3447 -x3448 -x3449 -x3450 1782.72/1783.31 v -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3470 1782.72/1783.31 v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 1782.72/1783.31 v -x3489 -x3490 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 x3500 -x3501 x3503 -x3504 -x3505 -x3506 -x3507 -x3508 1782.72/1783.31 v -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 1782.72/1783.31 v -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 x3543 -x3544 -x3545 1782.72/1783.31 v -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 1782.72/1783.31 v -x3565 -x3566 -x3567 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3581 -x3582 -x3583 -x3584 1782.72/1783.31 v -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3603 1782.72/1783.31 v -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 1782.72/1783.31 v -x3622 -x3623 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3636 -x3637 -x3638 -x3639 -x3640 1782.72/1783.31 v -x3641 -x3642 -x3643 -x3644 -x3645 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3658 -x3659 1782.72/1783.31 v -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 1782.72/1783.31 v -x3678 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 1782.72/1783.31 v -x3698 -x3699 -x3700 -x3701 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3714 -x3715 -x3716 1782.72/1783.31 v -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 1782.72/1783.31 v -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 1782.72/1783.31 v -x3754 -x3755 -x3756 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3770 -x3771 -x3772 1782.72/1783.31 v -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3791 1782.72/1783.31 v -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3803 -x3804 -x3805 -x3806 x2736 -x2737 x2738 -x3807 -x3808 1782.72/1783.31 v -x3809 -x3810 -x3811 -x3812 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3826 -x3827 1782.72/1783.31 v -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 1782.72/1783.31 v -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 1782.72/1783.31 v -x3865 -x3866 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3880 -x3881 -x3882 -x3883 1782.72/1783.31 v -x3884 -x3885 -x3886 -x3887 x2749 -x2750 x2751 -x3888 -x3889 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 1782.72/1783.31 v -x3900 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 1782.72/1783.31 v -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3936 -x3937 -x3938 1782.72/1783.31 v -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 1782.72/1783.31 v -x3958 -x3959 x2762 -x2763 x2764 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3969 -x3970 -x3971 -x3972 -x3973 1782.72/1783.31 v -x3974 -x3975 -x3976 -x3977 -x3978 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3991 -x3992 1782.72/1783.31 v -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4002 -x4003 -x4004 x2775 -x2776 x2777 -x4005 -x4006 -x4007 -x4008 1782.72/1783.31 v -x4009 -x4010 -x4011 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4025 -x4026 -x4027 -x4028 1782.72/1783.31 v -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 1782.72/1783.31 v -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 1782.72/1783.31 v -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4080 -x4081 -x4082 -x4083 -x4084 1782.72/1783.31 v -x4085 x2788 -x2789 x2790 -x4086 -x4087 -x4088 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 1782.72/1783.31 v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 1782.72/1783.31 v -x4120 -x4121 -x4122 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4136 -x4137 -x4138 -x4139 1782.72/1783.31 v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4147 -x4148 -x4149 x2802 -x2803 x2804 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 1782.72/1783.31 v -x4156 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 1782.72/1783.31 v -x4175 -x4176 -x4177 -x4178 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4191 -x4192 -x4193 1782.72/1783.31 v -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 1782.72/1783.31 v -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 1782.72/1783.31 v -x4231 -x4232 -x4233 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4247 -x4248 -x4249 -x4250 1782.72/1783.31 v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4269 1782.72/1783.31 v -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 1782.72/1783.31 v -x4288 -x4289 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4302 -x4303 -x4304 -x4305 -x4306 1782.72/1783.31 v -x4307 -x4308 -x4309 -x4310 -x4311 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4324 -x4325 1782.72/1783.31 v -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 1782.72/1783.31 v -x4344 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 1782.72/1783.31 v -x4365 -x4366 -x4367 -x4368 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4381 -x4382 -x4383 1782.72/1783.31 v -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 1782.72/1783.31 v -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 1782.72/1783.31 v -x4421 -x4422 -x4423 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4436 -x4437 -x4438 -x4439 1782.72/1783.31 v -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4458 1782.72/1783.31 v -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 1782.72/1783.31 v -x4478 -x4479 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4492 -x4493 -x4494 -x4495 -x4496 1782.72/1783.31 v -x4497 -x4498 -x4499 -x4500 -x4501 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 1782.72/1783.31 v -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 1782.72/1783.31 v -x4534 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 1782.72/1783.31 v -x4553 -x4554 -x4555 -x4556 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4569 -x4570 -x4571 1782.72/1783.31 v -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 1782.72/1783.31 v -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 1782.72/1783.31 v -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4625 -x4626 -x4627 -x4628 1782.72/1783.31 v -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4647 1782.72/1783.31 v -x4648 -x4649 x4650 -x4651 x4652 -x4653 -x4654 -x4655 -x4656 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 1782.72/1783.31 v -x4667 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 1782.72/1783.31 v -x4686 -x4687 -x4688 -x4689 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704 -x4705 1782.72/1783.31 v -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 1782.72/1783.31 v -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 1782.72/1783.31 v -x4743 -x4744 -x4745 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4758 -x4759 -x4760 -x4761 1782.72/1783.31 v -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4780 1782.72/1783.31 v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 1782.72/1783.31 v -x4799 -x4800 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 x4814 -x4815 -x4816 x4817 -x4818 x4819 1782.72/1783.31 v -x4820 -x4821 -x4822 -x4823 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4836 -x4837 -x4838 1782.72/1783.31 v -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 1782.72/1783.31 v -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 1782.72/1783.31 v -x4876 -x4877 -x4878 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4891 -x4892 -x4893 -x4894 1782.72/1783.31 v -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4914 1782.72/1783.31 v -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4925 -x4926 -x4927 -x4928 x4929 x4930 -x4931 -x4932 -x4933 1782.72/1783.31 v -x4934 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 1782.72/1783.31 v -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4969 -x4970 -x4971 1782.72/1783.31 v -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 1782.72/1783.31 v -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x2195 1782.72/1783.31 v -x5008 -x5009 -x5010 -x5011 -x2206 -x5013 -x5014 -x2218 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5029 1782.72/1783.31 v -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 1782.72/1783.31 v -x5048 -x5049 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5063 -x5064 -x5065 -x5066 1782.72/1783.31 v -x5067 -x5068 -x5069 -x5070 -x5071 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5084 -x5085 1782.72/1783.31 v -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 1782.72/1783.31 v -x5104 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 1782.72/1783.31 v -x5123 -x5124 -x5125 -x5126 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5144 -x5145 -x5146 1782.72/1783.31 v -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 1782.72/1783.31 v -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 1782.72/1783.31 v -x5184 -x5185 -x5186 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5199 -x5200 -x5201 -x5202 1782.72/1783.31 v -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5221 1782.72/1783.31 v -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 1782.72/1783.31 v -x5240 -x5241 x5243 -x5244 x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 1782.72/1783.31 v -x5265 -x5266 -x5267 -x5268 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5281 -x5282 -x5283 1782.72/1783.31 v -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 1782.72/1783.31 v -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 1782.72/1783.31 v -x5321 -x5322 -x5323 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5336 x5337 -x5338 -x5339 1782.72/1783.31 v -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5358 1782.72/1783.31 v -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 1782.72/1783.31 v -x5382 -x5383 -x5385 -x5386 -x5387 -x5388 -x5389 x5390 -x5391 -x5392 -x5393 -x5394 -x5396 -x5397 -x5398 -x5399 -x5400 1782.72/1783.31 v -x5401 -x5402 -x5403 -x5404 -x5405 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5418 -x5419 1782.72/1783.31 v -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 1782.72/1783.31 v -x5438 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 1782.72/1783.31 v -x5457 -x5458 -x5459 -x5460 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5473 -x5474 -x5475 1782.72/1783.31 v -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 1782.72/1783.31 v -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 1782.72/1783.31 v -x5520 -x5521 -x5522 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5535 -x5536 -x5537 -x5538 1782.72/1783.31 v -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5557 1782.72/1783.31 v -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 1782.72/1783.31 v -x5576 -x5577 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5590 -x5591 -x5592 -x5593 -x5594 1782.72/1783.31 v -x5595 -x5596 -x5597 -x5598 -x5599 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5618 -x5619 1782.72/1783.31 v -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 1782.72/1783.31 v -x5638 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 1782.72/1783.31 v -x5657 -x5658 -x5659 -x5660 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5673 -x5674 -x5675 1782.72/1783.31 v -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 1782.72/1783.31 v -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 1782.72/1783.31 v -x5713 -x5714 -x5715 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5734 -x5735 -x5736 -x5737 1782.72/1783.31 v -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5756 1782.72/1783.31 v -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 1782.72/1783.31 v -x5775 -x5776 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5789 -x5790 -x5791 -x5792 -x5793 1782.72/1783.31 v -x5794 -x5795 -x5796 -x5797 x5798 -x5800 x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 x5809 -x5811 -x5812 -x5813 1782.72/1783.31 v -x5814 -x5815 x5816 -x5817 x5818 -x5819 -x5820 -x5822 -x5823 -x5824 -x5825 -x5826 x5827 -x5828 -x5829 -x5830 -x5831 -x5839 1782.72/1783.31 v x5840 -x5841 x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5850 x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 1782.72/1783.31 v -x5859 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 1782.72/1783.31 v -x5878 -x5879 -x5880 -x5881 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5894 -x5895 -x5896 1782.72/1783.31 v -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 1782.72/1783.31 v -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 1782.72/1783.31 v -x5934 -x5935 -x5936 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5956 -x5957 -x5958 -x5959 1782.72/1783.31 v -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5967 -x5968 x5969 -x5970 -x5971 x5972 -x5973 -x5974 -x5975 -x5976 -x5978 -x5979 1782.72/1783.31 v -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 1782.72/1783.31 v -x5998 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 1782.72/1783.31 v -x6017 -x6018 -x6019 -x6020 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6033 -x6034 -x6035 1782.72/1783.31 v -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 1782.72/1783.31 v -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 1782.72/1783.31 v -x6080 -x6081 -x6082 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6095 -x6096 -x6097 -x6098 1782.72/1783.31 v -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6117 1782.72/1783.31 v -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 1782.72/1783.31 v -x6136 -x6137 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6150 -x6151 -x6152 -x6153 -x6154 1782.72/1783.31 v -x6155 -x6156 -x6157 -x6158 -x6159 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6172 -x6173 1782.72/1783.31 v -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 1782.72/1783.31 v -x6199 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 1782.72/1783.31 v -x6218 -x6219 -x6220 -x6221 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6234 -x6235 -x6236 1782.72/1783.31 v -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 1782.72/1783.31 v -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 1782.72/1783.31 v -x6274 -x6275 -x6276 -x6278 -x6279 -x3179 -x3190 -x3201 -x3212 -x3223 -x3234 -x3247 -x3258 -x3269 -x3280 -x3291 -x3302 1782.72/1783.31 v -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 1782.72/1783.31 v -x6298 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 1782.72/1783.31 v -x3313 -x3324 -x3335 -x3346 -x3358 -x3369 -x6324 -x6325 -x6326 -x6327 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 1782.72/1783.31 v -x6336 -x6337 -x6338 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x3380 -x3391 -x3402 -x3413 -x3424 -x3435 -x6347 1782.72/1783.31 v -x6348 -x6349 -x6351 -x6352 -x6353 -x3446 -x3457 -x3469 -x3480 -x3491 -x3502 -x3513 -x3524 -x3535 -x3546 -x3557 -x3568 1782.72/1783.31 v -x3580 -x3591 -x3602 -x3613 -x3624 -x3635 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6362 -x6363 -x6364 -x6365 1782.72/1783.31 v -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6384 1782.72/1783.31 v -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6395 -x3646 -x3657 -x3668 -x3679 -x3691 -x3702 -x6396 1782.72/1783.31 v -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 1782.72/1783.31 v -x6415 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 1782.72/1783.31 v -x6440 -x6441 -x6442 -x6443 -x3713 -x3724 -x3735 -x3746 -x3757 -x3768 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 1782.72/1783.31 v -x6452 -x6453 -x6454 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6467 -x6468 -x6469 -x6470 1782.72/1783.31 v -x6471 -x6472 -x3779 -x3790 -x3802 x3813 -x3824 -x3835 -x3846 -x3857 -x3868 -x3879 -x3890 -x3901 -x6473 -x6474 -x6475 1782.72/1783.31 v -x6476 -x6478 -x6479 -x6480 -x3913 -x3924 -x3935 -x3946 -x3957 x3968 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 1782.72/1783.31 v -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 1782.72/1783.31 v -x6507 -x6508 -x6509 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6522 -x6523 -x6524 -x6525 1782.72/1783.31 v -x6526 -x6527 -x3979 -x3990 -x4001 -x4012 -x4024 -x4035 -x4046 x4057 -x4068 -x6528 -x6529 -x6530 -x6531 -x6539 -x6540 1782.72/1783.31 v -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 1782.72/1783.31 v -x6559 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 1782.72/1783.31 v -x6578 -x6579 -x6580 -x6581 -x6583 -x6584 x6585 -x6586 x6587 -x6588 -x4079 -x4090 -x4101 -x4112 -x4123 x4135 -x6589 -x6590 1782.72/1783.31 v -x6591 -x6592 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6605 -x6606 -x6607 -x6608 -x6609 1782.72/1783.31 v -x6610 -x6611 -x6612 -x6613 -x6614 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6627 -x6628 1782.72/1783.31 v -x6629 -x6630 -x6631 -x6632 -x4146 -x4157 -x4168 -x4179 x4190 -x4201 -x6633 -x6634 -x6635 -x6636 -x6638 -x6639 -x6640 1782.72/1783.31 v -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 1782.72/1783.31 v -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x4212 -x4223 -x4234 -x4246 x4257 -x4268 -x6674 -x6675 -x6676 -x6678 1782.72/1783.31 v -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x4279 1782.72/1783.31 v -x4290 -x4301 -x4312 x4323 -x4334 -x6696 -x6697 -x6698 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 1782.72/1783.31 v -x6709 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x4345 -x4358 -x4369 -x4380 x4391 -x4402 -x6718 x6719 -x6720 -x6722 1782.72/1783.31 v -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 x4413 -x4424 -x4435 -x4446 -x4457 -x4469 -x4480 -x4491 -x6731 1782.72/1783.31 v -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6744 -x6745 -x6746 -x6747 -x6748 -x4502 -x4513 1782.72/1783.31 v x4524 -x4535 -x4546 -x4557 -x6749 -x6750 -x6751 -x6752 -x6753 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 1782.72/1783.31 v -x6763 -x6764 -x6772 -x6773 -x6774 -x4568 -x4580 -x4591 -x4602 -x4613 x4624 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 1782.72/1783.31 v -x6781 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 1782.72/1783.31 v -x6800 -x6801 -x6802 -x6803 -x6805 -x6806 -x6807 -x6808 -x4635 -x4646 -x4657 -x4668 -x4679 x4691 -x6809 -x6810 -x6811 1782.72/1783.31 v -x6812 -x6813 -x6814 -x6816 -x6817 -x6818 x6819 x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6827 -x4702 -x4713 -x4724 -x4735 1782.72/1783.31 v -x4746 x4757 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6838 -x4768 -x4779 -x4790 -x4802 -x4813 1782.72/1783.31 v x4824 -x6839 -x6840 -x6841 -x6842 x6843 -x6844 -x6845 -x6846 -x6847 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 1782.72/1783.31 v -x6857 -x6858 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x4835 -x4846 -x4857 -x4868 -x4879 x4890 -x6866 -x6867 -x6868 1782.72/1783.31 v -x6869 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 1782.72/1783.31 v -x6896 -x6897 -x6898 -x6899 -x6901 -x6902 -x6903 -x6904 x6905 x6906 -x6907 -x6908 -x6909 -x6910 -x6912 -x6913 -x6914 -x6915 1782.72/1783.31 v -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x4901 -x4913 -x4924 -x4935 -x4946 x4957 -x6923 -x6924 -x6925 -x6926 -x6927 1782.72/1783.31 v -x6928 -x4968 -x6929 -x6930 -x6931 -x4979 -x5012 -x6932 -x6934 -x6935 -x4990 -x5028 -x6936 -x6937 -x6938 -x5001 x5039 1782.72/1783.31 v -x6939 x6940 -x6941 -x5050 -x6942 -x6943 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6956 1782.72/1783.31 v -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6967 -x6968 -x5061 -x5072 -x5083 -x5094 -x5105 -x5116 1782.72/1783.31 v -x5127 -x5143 -x5154 -x5165 -x6969 -x6970 -x6971 -x6972 x6973 -x6974 -x6975 -x6976 -x6978 -x6979 -x6980 -x6981 -x6982 1782.72/1783.31 v -x6983 -x6984 -x6985 -x6986 -x6987 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x5176 -x5187 -x5198 -x5209 -x5220 -x5231 1782.72/1783.31 v -x5242 -x5258 -x6995 -x6996 -x6997 -x6998 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7019 1782.72/1783.31 v -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 1782.72/1783.31 v -x7038 -x7039 -x7041 -x7042 -x7043 -x7044 -x5269 -x5280 -x5291 -x5302 -x5313 -x5324 -x5335 -x5346 -x7045 -x7046 -x7047 1782.72/1783.31 v -x7048 -x7049 -x7050 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7063 -x7064 -x7065 -x7066 1782.72/1783.31 v -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x5357 -x5373 -x5384 -x5395 1782.72/1783.31 v -x7081 -x7082 -x7083 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7096 -x7097 -x7098 -x7099 1782.72/1783.31 v -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7126 1782.72/1783.31 v -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x5406 -x5417 -x5428 -x5439 -x5450 -x7134 -x7135 -x7137 -x7138 -x7139 1782.72/1783.31 v -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 1782.72/1783.31 v -x7159 -x7160 -x7161 -x5461 -x5472 -x5490 -x5501 -x5512 -x5523 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7170 1782.72/1783.31 v -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 1782.72/1783.31 v -x7189 -x7190 -x7192 -x7193 -x7194 -x5534 -x5545 -x5556 -x5567 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7203 1782.72/1783.31 v -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x5578 -x5589 -x5606 -x5617 -x7212 -x7214 -x7215 -x7216 -x7217 1782.72/1783.31 v -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x5628 -x5639 1782.72/1783.31 v -x5650 -x5661 -x7234 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7255 -x7256 -x7257 -x5672 1782.72/1783.31 v -x5683 -x5694 -x5705 -x7258 -x7259 -x5722 -x5733 -x5744 -x5755 -x5766 -x7260 -x7261 -x7262 -x7263 -x7264 -x7266 -x7267 1782.72/1783.31 v -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7277 -x7278 -x7279 -x7280 -x7281 -x5777 -x5788 -x5799 -x5810 1782.72/1783.31 v -x5821 -x7282 -x7283 -x7284 -x7285 -x7286 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7299 1782.72/1783.31 v -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 1782.72/1783.31 v -x7318 -x7319 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7332 -x7333 -x5838 -x5849 -x5860 1782.72/1783.31 v -x5871 -x5882 -x5893 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 1782.72/1783.31 v -x7349 -x7350 -x7351 -x7352 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7369 -x7370 -x7371 1782.72/1783.31 v -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x5904 -x5915 1782.72/1783.31 v -x5926 -x5937 -x5955 -x5966 -x7388 -x7389 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7402 1782.72/1783.31 v -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 1782.72/1783.31 v -x7421 -x7422 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x5977 -x5988 -x5999 -x6010 -x6021 -x7430 -x7431 -x7432 -x7433 1782.72/1783.31 v -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 1782.72/1783.31 v -x7453 -x7454 -x7455 -x7457 -x6032 -x6043 -x6054 -x6072 -x6083 -x6094 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 1782.72/1783.31 v -x7465 -x7466 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7483 -x6105 -x6116 -x6127 -x6138 1782.72/1783.31 v -x6149 -x6160 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 1782.72/1783.31 v -x7500 -x7501 -x7502 -x6171 -x6189 x6200 -x6211 -x6222 x6233 -x7503 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 1782.72/1783.31 v -x7513 -x6244 -x6255 -x6266 -x6277 -x6288 -x6306 -x7514 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 1782.72/1783.31 v -x7525 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x6317 -x6328 -x7536 -x7538 -x7539 -x7540 -x7541 1782.72/1783.31 v -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7560 1782.72/1783.31 v -x7561 -x6339 -x6350 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 1782.72/1783.31 v -x7577 -x7578 -x7579 -x7580 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x6361 -x6372 -x7597 1782.72/1783.31 v -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x6383 -x6394 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 1782.72/1783.31 v -x7614 -x7615 -x7616 -x7617 -x6405 -x6422 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7630 1782.72/1783.31 v -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 1782.72/1783.31 v -x7649 -x7650 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7663 -x7664 -x7665 -x7666 -x7667 1782.72/1783.31 v -x7668 -x7669 -x7670 -x7671 -x7672 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7685 -x7686 1782.72/1783.31 v -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 1782.72/1783.31 v -x7709 -x7711 -x7712 -x7713 -x7714 -x7715 -x6433 -x6444 -x7716 -x7717 -x7718 -x7719 -x7720 -x7722 -x7723 -x7724 -x7725 1782.72/1783.31 v -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7744 1782.72/1783.31 v -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 1782.72/1783.31 v -x7763 -x7764 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7777 -x7778 -x7779 -x7780 -x7781 1782.72/1783.31 v -x7782 -x7783 -x7784 -x7785 -x7786 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x6455 -x6466 -x7797 1782.72/1783.31 v -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 1782.72/1783.31 v -x7823 -x7824 -x7825 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7838 -x7839 -x7840 -x7841 1782.72/1783.31 v -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7860 1782.72/1783.31 v -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7871 -x7872 -x7873 -x6477 -x6488 -x7874 -x7875 -x7876 1782.72/1783.31 v -x7877 -x7878 -x7879 -x7880 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7893 -x7894 -x7895 1782.72/1783.31 v -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 1782.72/1783.31 v -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 1782.72/1783.31 v -x7938 -x7939 -x7940 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7953 -x7954 -x7955 -x7956 1782.72/1783.31 v -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7975 1782.72/1783.31 v -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 1782.72/1783.31 v -x7994 -x6499 -x6510 -x7995 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8008 -x8009 -x8010 1782.72/1783.31 v -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 1782.72/1783.31 v -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 1782.72/1783.31 v -x8053 -x8054 -x8055 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8068 -x8069 -x8070 -x8071 1782.72/1783.31 v -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8090 1782.72/1783.31 v -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8101 -x6521 x6538 x6549 -x8102 -x8103 -x8104 -x8105 -x8106 1782.72/1783.31 v -x8107 -x8108 -x8109 -x8110 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8123 -x8124 -x8125 1782.72/1783.31 v -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 1782.72/1783.31 v -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 1782.72/1783.31 v -x8168 -x8169 -x8170 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8183 -x8184 -x8185 -x8186 1782.72/1783.31 v -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8205 1782.72/1783.31 v -x8206 -x8207 -x8208 -x8209 -x8210 -x6560 -x6571 -x6582 -x8211 -x8212 -x8213 -x8214 -x8216 -x8217 -x8218 -x8219 -x8220 1782.72/1783.31 v -x8221 -x8222 -x8223 -x8224 -x8225 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8238 -x8239 1782.72/1783.31 v -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 1782.72/1783.31 v -x8258 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 1782.72/1783.31 v -x8282 -x8283 -x8284 -x8285 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8298 -x8299 -x8300 1782.72/1783.31 v -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 1782.72/1783.31 v -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 1782.72/1783.31 v -x6593 -x6604 -x6615 -x6626 -x8338 -x8339 -x8340 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 1782.72/1783.31 v -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 1782.72/1783.31 v -x8371 -x8372 -x8373 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8391 -x8392 -x8393 -x8394 1782.72/1783.31 v -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8413 1782.72/1783.31 v -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 1782.72/1783.31 v -x8432 -x8433 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8446 -x8447 -x8448 -x8449 -x8450 1782.72/1783.31 v -x8451 -x8452 -x8453 -x8454 -x8455 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8468 -x8469 1782.72/1783.31 v -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 1782.72/1783.31 v -x8488 -x8490 -x8491 -x8492 -x8493 -x6637 -x6655 -x6666 -x6677 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8506 -x8507 1782.72/1783.31 v -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 1782.72/1783.31 v -x8526 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 1782.72/1783.31 v -x8545 -x8546 -x8547 -x8548 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8561 -x8562 -x8563 1782.72/1783.31 v -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 1782.72/1783.31 v -x8583 -x8584 -x8585 -x8586 -x8587 -x6688 -x6699 -x6710 -x6721 -x8588 -x8589 -x8590 -x8591 -x8592 -x8594 -x8595 -x8596 1782.72/1783.31 v -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 1782.72/1783.31 v -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 1782.72/1783.31 v -x8639 -x8640 -x8641 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8654 -x8655 -x8656 -x8657 1782.72/1783.31 v -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8665 -x8666 -x8667 -x8668 -x8669 -x6732 -x6743 -x8670 -x8671 -x8672 -x8673 1782.72/1783.31 v -x8674 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 1782.72/1783.31 v -x8693 -x8694 -x8695 -x8696 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8709 -x8710 -x8711 1782.72/1783.31 v -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 1782.72/1783.31 v -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 1782.72/1783.31 v -x8753 -x8754 -x8755 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8768 -x8769 -x8770 -x8771 1782.72/1783.31 v -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x6754 -x6771 1782.72/1783.31 v -x8788 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 1782.72/1783.31 v -x8807 -x8808 -x8809 -x8810 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8823 -x8824 -x8825 1782.72/1783.31 v -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 1782.72/1783.31 v -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 1782.72/1783.31 v -x8867 -x8868 -x8869 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x6782 -x6793 -x8877 -x8878 -x8879 -x8880 -x8882 -x8883 1782.72/1783.31 v -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 1782.72/1783.31 v -x8902 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 1782.72/1783.31 v -x8921 -x8922 -x8923 -x8924 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 x6804 -x6815 -x8933 -x8934 -x8935 -x8937 1782.72/1783.31 v -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 1782.72/1783.31 v -x8956 -x8957 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8975 -x8976 -x6826 -x6837 -x8977 1782.72/1783.31 v -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 1782.72/1783.31 v -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 1782.72/1783.31 v -x9015 -x9016 -x9017 -x9019 -x6848 -x6859 -x6870 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9030 1782.72/1783.31 v -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 1782.72/1783.31 v -x9049 -x9050 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9063 -x9064 -x9065 -x9066 -x9067 1782.72/1783.31 v -x6889 -x6900 -x6911 -x9068 -x9069 -x9070 -x9071 -x9072 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 1782.72/1783.31 v -x9087 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 1782.72/1783.31 v -x9106 -x9107 -x9108 -x9109 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9122 -x9123 -x9124 1782.72/1783.31 v -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x6922 -x6933 -x9140 1782.72/1783.31 v -x9141 -x9142 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9155 -x9156 -x9157 -x9158 -x9159 1782.72/1783.31 v -x9160 -x9161 -x9162 -x9163 -x9164 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9177 -x9178 1782.72/1783.31 v -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 1782.72/1783.31 v -x9202 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 1782.72/1783.31 v -x9221 -x9222 -x9223 -x9224 -x6944 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9237 -x9238 1782.72/1783.31 v -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 1782.72/1783.31 v -x9257 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9270 -x9271 -x6955 -x9272 -x9273 -x9274 1782.72/1783.31 v -x9275 -x9276 -x9277 -x9278 -x9279 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9292 -x9293 1782.72/1783.31 v -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 1782.72/1783.31 v -x9317 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 1782.72/1783.31 v -x9336 -x9337 -x9338 -x9339 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9352 -x9353 -x9354 1782.72/1783.31 v -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 1782.72/1783.31 v -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 1782.72/1783.31 v -x9392 -x9393 -x9394 -x9396 -x9397 -x9398 -x9399 -x9400 -x6966 -x6977 -x6988 -x7007 -x9401 -x9402 -x9403 -x9404 -x9405 1782.72/1783.31 v -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 1782.72/1783.31 v -x9430 -x9431 -x9432 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9445 -x9446 -x9447 -x9448 1782.72/1783.31 v -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9467 1782.72/1783.31 v -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x7018 -x7029 -x7040 -x7051 -x9476 -x9478 -x9479 -x9480 -x9481 1782.72/1783.31 v -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9500 1782.72/1783.31 v -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 1782.72/1783.31 v -x9519 -x9520 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9538 -x9539 -x9540 -x9541 -x9542 1782.72/1783.31 v -x9543 -x9544 -x9545 -x9546 -x9547 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x7062 -x7073 -x7084 -x7095 -x7106 -x7125 1782.72/1783.31 v -x7136 -x9555 -x9556 -x9557 -x9558 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9571 -x9572 1782.72/1783.31 v -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 1782.72/1783.31 v -x9591 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9604 -x9605 -x9606 -x9607 -x9608 -x7147 1782.72/1783.31 v -x7158 -x7169 -x7180 -x7191 -x7202 -x7213 -x9609 -x9610 -x9611 -x9612 -x9613 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 1782.72/1783.31 v -x9621 -x9622 -x9623 -x9624 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9637 -x9638 -x9639 1782.72/1783.31 v -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x7224 -x7243 -x7254 -x7265 -x7276 -x9646 -x9653 -x9654 -x9655 -x9656 -x9657 1782.72/1783.31 v -x9658 -x9659 -x9660 -x9661 -x9662 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9675 -x9676 1782.72/1783.31 v -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 1782.72/1783.31 v -x9695 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9708 -x9709 -x9710 -x9711 -x7287 -x7298 1782.72/1783.31 v -x7309 -x7320 -x7331 -x7342 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 1782.72/1783.31 v -x9726 -x9727 -x9728 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9741 -x9742 -x9743 -x9744 1782.72/1783.31 v -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9752 -x9753 -x7357 -x7368 -x7379 -x7390 -x7401 -x9754 -x9755 -x9756 -x9757 1782.72/1783.31 v -x9758 -x9759 -x9760 -x9761 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9779 -x9780 -x9781 1782.72/1783.31 v -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 1782.72/1783.31 v -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9812 -x7412 -x7423 -x7434 -x9813 -x9814 -x9815 1782.72/1783.31 v -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9834 1782.72/1783.31 v -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 1782.72/1783.31 v -x9853 -x9854 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9867 -x9868 -x9869 -x9870 -x9871 1782.72/1783.31 v -x9872 -x9873 -x9874 -x7445 -x7456 -x7471 -x7482 -x7493 -x9875 -x9876 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 1782.72/1783.31 v -x9890 -x9891 -x9892 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9905 -x9906 -x9907 -x9908 1782.72/1783.31 v -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9927 1782.72/1783.31 v -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x7504 -x7515 -x7526 -x7537 -x9936 -x9938 -x9939 -x9940 -x9941 1782.72/1783.31 v -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9960 1782.72/1783.31 v -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 1782.72/1783.31 v -x9979 -x9980 -x9982 -x9983 -x9984 -x7548 -x7559 -x7570 -x7585 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9998 1782.72/1783.31 v -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 1782.72/1783.31 v -x10015 -x10016 -x10017 -x10018 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10031 1782.72/1783.31 v -x10032 -x10033 -x10034 -x10035 -x10036 -x7596 -x7607 -x7618 -x7629 -x7640 -x10037 -x10038 -x10039 -x10040 -x10042 -x10043 1782.72/1783.31 v -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 1782.72/1783.31 v -x10060 -x10061 -x10062 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10075 -x10076 1782.72/1783.31 v -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 1782.72/1783.31 v -x10093 -x10094 -x10095 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10113 -x10114 1782.72/1783.31 v -x10115 -x10116 -x10117 -x10118 -x10119 -x7651 -x7662 -x7673 -x7684 -x7699 -x10120 -x10121 -x10122 -x10124 -x10125 -x10126 1782.72/1783.31 v -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 1782.72/1783.31 v -x10143 -x10144 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10157 -x10158 -x10159 1782.72/1783.31 v -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 1782.72/1783.31 v -x10176 -x10177 -x10179 -x10180 -x7710 -x7721 -x7732 -x7743 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 1782.72/1783.31 v -x10188 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10201 -x10202 -x10203 -x10204 1782.72/1783.31 v -x10205 -x10206 -x10207 -x10208 -x7754 -x7765 -x7776 -x7787 -x10209 -x10210 -x10212 -x10213 -x10214 -x10215 -x10216 1782.72/1783.31 v -x10217 -x10218 -x10219 -x10220 -x10221 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 1782.72/1783.31 v -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10249 -x10250 -x10251 -x10252 -x10253 1782.72/1783.31 v -x10254 -x10255 -x10256 -x10257 -x7798 -x7815 -x7826 -x7837 -x10258 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 1782.72/1783.31 v -x10266 -x10267 -x10268 -x10269 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10282 1782.72/1783.31 v -x10283 -x10284 -x10285 -x10286 -x10287 -x7848 -x7859 -x7870 -x7881 -x10288 -x7892 -x7903 -x7914 -x7930 -x7941 -x10289 1782.72/1783.31 v -x7952 -x7963 -x7974 -x7985 -x7996 -x8007 -x8018 -x8029 -x8045 -x8056 -x8067 -x8078 -x8089 -x8100 -x8111 -x8122 -x8133 1782.72/1783.31 v -x8144 -x8160 -x8171 -x8182 -x8193 -x8204 -x8215 -x8226 -x8237 -x8248 -x8259 -x8275 -x8286 -x8297 -x8308 -x8319 -x8330 1782.72/1783.31 v -x8341 -x8352 -x8363 -x10290 -x10291 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 1782.72/1783.31 v -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10315 -x10316 -x10317 -x10318 -x10319 1782.72/1783.31 v -x10320 -x10321 -x10322 -x10323 -x10324 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 1782.72/1783.31 v -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 x10349 -x10350 x10352 -x8374 -x8390 -x8401 -x8412 -x8423 1782.72/1783.31 v -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 1782.72/1783.31 v -x10369 -x10370 -x10371 -x10372 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10385 1782.72/1783.31 v -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 1782.72/1783.31 v -x8434 -x8445 -x8456 -x8467 -x8478 -x10402 -x10403 -x10404 -x10405 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 1782.72/1783.31 v -x10414 -x10415 -x10416 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 x10427 -x10429 -x8489 1782.72/1783.31 v -x8505 -x8516 -x8527 -x8538 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10440 -x10441 1782.72/1783.31 v -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10455 -x8549 -x8560 -x8571 -x8582 -x8593 -x10456 -x10457 1782.72/1783.31 v -x10458 -x10459 -x10460 x10461 -x10462 -x10463 -x10464 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 1782.72/1783.31 v -x10474 -x8604 -x8620 -x8631 -x8642 -x8653 -x10475 -x8664 -x8675 -x8686 -x8697 -x8708 -x10477 -x10478 -x10479 -x10480 1782.72/1783.31 v -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 1782.72/1783.31 v -x10497 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x8719 -x8734 -x8745 -x8756 -x8767 -x10505 -x10506 -x10507 -x10508 1782.72/1783.31 v -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10521 -x10522 -x10523 -x10524 -x10525 1782.72/1783.31 v -x10526 -x10527 -x10528 -x10529 -x10530 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 1782.72/1783.31 v -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10554 -x10555 -x10556 -x10557 -x10558 1782.72/1783.31 v -x10559 -x10560 -x10561 -x10562 -x10563 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 1782.72/1783.31 v -x10580 -x10581 -x10582 -x10583 -x8778 -x8789 -x8800 -x8811 -x10584 -x10585 -x10586 x10587 -x10588 -x10589 x10591 -x10592 1782.72/1783.31 v -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 1782.72/1783.31 v -x10609 -x10610 -x10611 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10624 -x10625 1782.72/1783.31 v -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x8822 1782.72/1783.31 v -x8833 -x8848 -x8859 -x10641 -x10642 -x10643 -x10644 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 1782.72/1783.31 v -x10654 -x10655 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10668 -x10669 -x10670 1782.72/1783.31 v -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 1782.72/1783.31 v -x10691 -x10692 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x8870 -x8881 -x8892 -x8903 -x10700 -x10701 -x10702 1782.72/1783.31 v -x10703 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10716 -x10717 -x10718 -x10719 1782.72/1783.31 v -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 1782.72/1783.31 v -x10736 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10749 -x10750 -x10751 -x10752 1782.72/1783.31 v -x10753 -x10754 -x10755 -x10756 -x10757 -x8914 -x8925 -x8936 -x8947 -x10758 -x10760 -x10761 -x10762 -x10763 -x10764 1782.72/1783.31 v -x10765 -x10766 -x10767 -x10768 -x10769 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 1782.72/1783.31 v -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10797 -x10798 -x10799 -x10800 -x10801 1782.72/1783.31 v -x10802 -x10803 -x8963 -x8974 -x8985 -x8996 -x10804 -x10805 -x10806 -x10808 -x10809 x10810 x10811 -x10812 -x10813 -x10814 1782.72/1783.31 v -x10815 -x10816 -x10817 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10830 -x10831 1782.72/1783.31 v -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x9007 -x9018 -x9029 -x10839 -x10841 -x10842 -x10843 -x10844 1782.72/1783.31 v -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x9040 1782.72/1783.31 v -x9051 -x9062 -x10860 -x10861 -x10863 x10864 x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10874 1782.72/1783.31 v -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x9077 -x9088 -x10882 -x10883 -x9099 -x9110 -x10885 -x9121 -x9132 1782.72/1783.31 v -x9143 -x9154 -x9165 -x9176 -x9192 -x9203 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10896 1782.72/1783.31 v -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 1782.72/1783.31 v -x10917 -x10918 -x10919 -x10920 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10933 1782.72/1783.31 v -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 1782.72/1783.31 v -x10950 -x10951 -x10952 -x10953 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10966 1782.72/1783.31 v -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 1782.72/1783.31 v -x10983 -x10984 -x10985 -x10986 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10999 1782.72/1783.31 v -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 1782.72/1783.31 v -x11016 -x11017 -x11018 -x11019 -x11025 -x11026 -x11027 -x11028 -x11029 x11030 -x11031 x11032 -x11033 -x11034 -x11036 1782.72/1783.31 v -x11037 -x11038 -x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 1782.72/1783.31 v -x11053 -x11054 -x11055 -x11056 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11069 1782.72/1783.31 v -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 1782.72/1783.31 v -x11086 -x11087 -x11088 -x11089 -x9214 -x9225 -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11099 1782.72/1783.31 v -x11100 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11113 -x11114 -x11115 -x11116 1782.72/1783.31 v -x11117 -x11118 -x11119 -x11120 -x11121 -x11122 -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11132 1782.72/1783.31 v -x11133 -x11139 -x11140 -x9236 -x9247 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11150 -x11151 1782.72/1783.31 v -x11152 -x11153 -x11154 -x11155 -x11156 -x11157 -x11158 -x11159 -x11161 -x9258 -x9269 x11162 -x11163 x11164 -x11165 1782.72/1783.31 v -x11166 -x11167 -x11168 -x11169 -x11170 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 1782.72/1783.31 v -x11183 -x11184 -x11185 -x9280 -x9291 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11194 -x11195 -x11196 1782.72/1783.31 v -x11197 -x11198 -x11199 -x11200 -x11201 -x11202 -x11203 x11205 -x11206 -x11207 -x9307 -x9318 -x11208 -x11209 -x11210 1782.72/1783.31 v -x11211 -x11212 -x11213 -x11214 -x11216 -x9329 -x9340 -x11217 -x11218 -x11219 -x9351 -x9362 -x9373 -x9384 -x9395 -x9406 1782.72/1783.31 v -x9422 -x9433 -x9444 -x11220 -x11221 -x11222 -x11223 -x9455 -x9466 -x9477 -x9488 -x9499 -x11224 -x11225 -x11227 -x11228 1782.72/1783.31 v -x11229 -x11230 -x11231 -x11232 -x11233 -x11234 -x11235 -x11236 -x11238 -x11239 -x11240 -x11241 -x11242 -x11243 -x11244 1782.72/1783.31 v -x11245 -x11246 -x11247 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x30 1782.72/1783.31 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x52 -x53 -x9510 -x9521 -x9537 1782.72/1783.31 v -x9548 -x9559 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x74 -x75 -x76 -x77 -x78 1782.72/1783.31 v -x79 -x80 -x81 -x82 -x83 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1782.72/1783.31 v -x105 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x9570 -x9581 -x9592 -x9603 -x9614 -x114 -x115 -x116 -x122 -x123 -x124 -x125 1782.72/1783.31 v -x126 -x127 -x128 -x129 -x130 -x131 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x144 -x145 -x146 -x147 -x148 1782.72/1783.31 v -x149 -x150 -x151 -x152 -x153 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x166 -x167 -x168 -x169 -x170 -x171 1782.72/1783.31 v -x172 -x9625 -x9636 -x9652 -x9663 -x9674 -x173 -x174 -x175 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x188 1782.72/1783.31 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x199 -x200 -x9685 -x9696 -x9707 -x9718 -x9729 -x201 -x202 -x203 -x204 1782.72/1783.31 v -x205 -x206 -x207 -x208 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x221 -x222 -x223 -x224 -x9740 -x9751 1782.72/1783.31 v -x9767 -x9778 -x9789 -x225 -x226 -x227 -x228 -x229 -x230 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x247 1782.72/1783.31 v -x248 -x249 -x250 -x9800 -x9811 -x9822 -x9833 -x9844 -x251 -x252 -x253 -x254 -x255 -x256 -x258 -x259 -x260 -x261 -x262 -x263 1782.72/1783.31 v -x9855 -x9866 -x9882 -x9893 -x9904 -x264 -x9915 -x9926 -x9937 -x9948 -x9959 -x9970 -x9981 -x9997 -x10008 -x10019 -x265 1782.72/1783.31 v -x862 -x868 -x871 -x874 -x880 -x883 -x886 -x892 -x895 -x10030 -x10041 -x10052 -x10063 -x10074 -x898 -x901 -x908 -x911 -x914 1782.72/1783.31 v -x920 -x923 -x926 -x932 -x935 -x10085 -x10096 -x938 -x941 -x946 -x10112 -x10123 -x10134 -x10145 -x10156 -x10167 -x10178 1782.72/1783.31 v -x10189 -x10200 -x10211 -x10226 -x10237 -x10248 -x10259 -x10270 -x10281 -x10292 -x10303 -x10314 -x10325 -x10340 -x10351 1782.72/1783.31 v -x10362 -x10373 -x10384 -x10395 -x10406 -x10417 -x10428 -x10439 -x10454 -x10465 -x10476 -x10487 -x10498 -x10509 -x10520 1782.72/1783.31 v -x10531 -x10542 -x10553 -x10568 -x10579 -x10590 -x10601 -x10612 -x10623 -x10634 -x10645 -x10656 -x10667 -x10682 -x10693 1782.72/1783.31 v -x2314 -x2318 -x2319 -x2328 -x2329 -x2333 -x2334 -x2343 -x2344 -x2367 -x2380 -x10704 -x10715 -x1418 -x1419 -x1431 -x1432 1782.72/1783.31 v -x1433 -x1446 -x1447 -x1448 -x1462 -x1463 -x1464 -x1470 -x10726 -x10737 -x1471 -x1479 -x1485 -x1486 -x1487 -x1499 -x1298 1782.72/1783.31 v -x1302 -x1500 -x1501 -x1709 -x1303 -x1312 -x1520 -x1717 -x1719 -x1313 -x1317 -x1527 -x1528 -x1723 -x1318 -x1326 -x1731 1782.72/1783.31 v -x1732 -x1734 -x2076 -x2080 -x1327 -x1340 -x1739 -x1744 -x1746 -x2081 -x2092 -x1345 -x1751 -x1752 -x1760 -x2093 -x2097 1782.72/1783.31 v -x1583 -x1764 -x1766 -x2098 -x2109 -x10748 -x10759 -x1584 -x1591 -x1599 -x2110 -x2114 -x1600 -x1607 -x1615 -x2115 -x2127 1782.72/1783.31 v -x1616 -x1621 -x1628 -x2128 -x2138 -x1629 -x1630 -x1638 -x2139 -x2143 -x1107 -x1639 -x1640 -x1649 -x2144 -x2147 -x1110 1782.72/1783.31 v -x1650 -x1651 -x1660 -x2153 -x2157 -x1113 -x1661 -x1662 -x1668 -x2158 -x2162 -x1115 -x1669 -x1674 -x1680 -x2169 -x2173 1782.72/1783.31 v -x1681 -x1682 -x1811 -x2174 -x2178 -x1821 -x1822 -x2185 -x2188 -x10770 -x10781 -x2189 -x10796 -x10807 -x367 -x371 -x372 1782.72/1783.31 v -x376 -x381 -x385 -x386 -x390 -x10818 -x10829 -x395 -x399 -x404 -x400 -x413 -x409 -x418 -x10840 -x10851 -x414 -x427 -x686 1782.72/1783.31 v -x423 -x676 -x432 -x691 -x428 -x687 -x441 -x701 -x10862 -x10873 -x437 -x692 -x446 -x706 -x442 x702 -x455 -x716 -x451 -x707 1782.72/1783.31 v -x460 -x721 -x456 -x717 -x10884 -x10895 -x10910 -x578 -x802 -x466 -x722 -x10932 -x582 -x806 -x10976 -x586 -x817 -x10921 1782.72/1783.31 v -x10943 -x10998 -x11009 -x592 -x593 -x818 x819 -x11024 -x11035 -x594 -x820 -x595 -x821 -x11046 -x11057 -x596 -x597 -x822 1782.72/1783.31 v -x823 -x10954 -x10965 -x11068 x598 -x827 -x599 -x11090 -x601 -x607 -x829 -x11101 -x11112 -x608 -x609 -x830 -x831 -x10987 1782.72/1783.31 v -x11123 -x610 -x832 -x11138 -x611 -x833 -x11149 x612 -x834 -x11171 -x614 -x836 -x11182 -x11193 -x615 -x616 -x840 -x841 1782.72/1783.31 v -x11204 -x11215 -x621 -x622 -x842 -x843 -x11226 x623 -x844 -x7 -x625 -x846 -x18 -x29 -x626 -x627 -x847 -x848 -x40 -x51 -x628 1782.72/1783.31 v -x629 -x849 -x853 -x62 -x515 x637 -x782 -x854 -x523 -x527 -x95 -x528 -x536 -x154 -x537 -x642 -x653 -x1106 -x1109 -x1112 -x1114 1782.72/1783.31 v -x11079 -x1434 -x1449 -x1465 -x1562 -x1576 -x1592 -x1641 -x1652 -x1663 -x1480 -x1488 -x1502 -x1514 -x1529 -x1536 -x1549 1782.72/1783.31 v -x1563 -x1577 -x1593 -x1608 -x1609 -x1675 -x1622 -x1623 -x1634 -x1635 -x1642 -x1643 -x1653 -x1654 -x2154 -x1664 -x1665 1782.72/1783.31 v -x2159 -x1683 -x11160 -x1676 -x1677 -x2170 -x1853 -x1688 -x1897 -x2175 -x2186 -x1689 -x11237 -x73 -x84 -x106 -x121 -x132 1782.72/1783.31 v -x143 -x165 -x176 -x187 -x198 -x209 -x220 -x235 -x246 -x257 -x280 -x350 -x358 -x359 -x1127 -x949 -x1128 -x950 -x951 -x953 1782.72/1783.31 v -x1132 -x1134 -x1135 -x360 -x361 -x362 -x954 -x1137 -x368 -x369 -x370 -x959 -x1138 -x960 -x963 -x1140 -x1141 -x373 -x374 1782.72/1783.31 v -x375 -x964 -x1146 -x965 -x971 -x974 -x1147 -x1150 -x1151 -x382 -x383 -x384 -x387 -x388 -x389 -x977 -x1152 -x396 -x397 -x398 1782.72/1783.31 v -x980 -x1158 -x987 -x1161 -x990 -x1164 -x401 -x402 -x403 -x993 -x1261 -x1000 -x1003 -x1006 -x1013 -x1015 -x1018 -x1021 1782.72/1783.31 v -x1027 -x1029 -x1217 -x1219 -x1224 -x1226 -x1228 -x410 -x411 -x412 -x1031 -x1033 -x1230 -x1232 -x1035 -x1237 -x1041 -x1239 1782.72/1783.31 v -x415 -x416 -x417 -x1043 -x1241 -x1045 -x1243 -x1047 -x1245 -x424 -x425 -x426 -x1049 -x1252 -x1054 -x1254 -x429 -x430 -x431 1782.72/1783.31 v -x1056 -x1256 -x1058 -x1258 -x438 -x439 -x440 -x1060 -x1260 -x443 -x444 -x445 -x1062 -x1267 -x1067 -x452 -x453 -x454 -x1069 1782.72/1783.31 v x1906 -x1917 -x457 -x458 -x459 -x1071 -x1073 -x467 -x468 -x1074 -x1166 -x1173 -x1176 -x1179 -x1185 -x1188 -x469 -x470 -x1191 1782.72/1783.31 v -x1194 -x1199 -x1202 -x1203 -x1204 -x1206 -x1207 -x1211 -x1213 -x471 -x472 -x1214 -x1215 x473 -x474 -x475 -x480 -x481 -x482 1782.72/1783.31 v -x483 x484 -x485 -x486 -x487 -x488 -x489 -x494 -x1329 -x1691 -x1693 -x1695 -x1697 -x1702 -x1704 -x1707 -x1711 -x1736 -x1748 1782.72/1783.31 v -x1761 -x1705 -x1708 -x1331 -x1333 -x1335 -x1349 -x1357 -x1716 -x1721 -x1722 -x1725 -x1730 -x1737 -x1738 -x1910 -x1913 1782.72/1783.31 v -x2192 -x1342 -x1361 -x1749 -x1750 -x1916 -x2194 x495 -x1346 -x1762 -x1763 -x1961 -x2197 -x1354 -x1938 -x2199 -x1358 -x1369 1782.72/1783.31 v -x1920 -x1942 -x1975 -x2201 -x2205 -x496 -x497 -x498 -x1362 -x1373 -x1923 -x1953 -x1989 -x2203 -x2210 -x1120 -x1370 -x1377 1782.72/1783.31 v -x1926 -x1958 -x1995 -x2207 -x2214 -x499 -x500 -x1122 -x1374 -x1794 -x1972 -x2008 -x2021 -x2211 -x2219 -x1124 -x1382 -x1803 1782.72/1783.31 v -x1986 -x2215 -x2222 -x501 -x502 -x1125 -x1795 -x1796 -x2220 -x1808 -x2225 x503 -x508 -x509 -x1804 -x1805 -x1818 -x2223 1782.72/1783.31 v -x2228 -x1809 -x1810 -x1824 -x2226 -x2237 -x510 -x511 -x512 -x513 -x514 -x1819 -x1820 -x2235 -x2239 -x1825 -x1830 -x2238 1782.72/1783.31 v -x516 -x517 -x522 -x524 -x525 -x526 -x529 -x530 -x531 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x550 -x551 -x552 -x553 1782.72/1783.31 v -x554 -x555 -x556 -x557 -x558 -x559 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x579 -x580 -x581 -x583 -x584 1782.72/1783.31 v -x585 -x587 -x600 -x613 -x624 -x630 -x638 -x639 -x640 -x641 -x643 -x644 -x645 -x646 -x654 x655 -x656 x657 x658 -x659 -x660 1782.72/1783.31 v -x661 -x662 -x669 -x670 -x2305 -x2313 -x2315 -x2317 -x2320 -x2327 -x2330 -x2332 -x2335 -x2342 -x2410 -x1414 -x1415 -x1417 1782.72/1783.31 v -x1427 -x1428 -x1430 -x1435 -x1436 -x1445 -x1450 -x1451 -x1453 -x1466 -x1467 -x1469 -x1481 -x1482 -x1484 -x1290 -x1297 1782.72/1783.31 v -x1495 -x1496 -x1498 -x1299 -x1301 -x1503 -x1504 -x1512 -x1304 -x1306 -x1515 -x1516 -x1519 -x1314 -x1316 -x1530 -x1531 1782.72/1783.31 v -x1534 -x2073 -x2075 -x1319 -x1321 -x1543 -x1544 -x1547 -x2077 -x2079 -x1375 -x1550 -x1551 -x1560 -x2089 -x2091 -x1564 1782.72/1783.31 v -x1565 -x1568 -x2094 -x2096 -x1578 -x1579 -x1582 -x2106 -x2108 -x1594 -x1595 -x1598 -x2111 -x2113 -x1610 -x1611 -x1614 1782.72/1783.31 v -x2123 -x2126 -x1624 -x1627 -x2129 -x2132 -x2142 -x673 -x675 -x677 -x685 -x688 -x690 -x693 x700 -x703 -x705 -x708 -x715 1782.72/1783.31 v -x718 -x720 -x860 -x724 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 -x739 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 1782.72/1783.31 v -x671 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x771 -x772 -x780 -x781 -x672 -x674 -x678 -x689 -x694 -x704 -x709 -x719 -x723 1782.72/1783.31 v -x735 -x747 -x754 -x770 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x797 -x798 -x799 -x800 -x801 -x803 -x804 -x805 -x814 -x815 1782.72/1783.31 v -x816 -x828 -x835 -x845 -x855 -x856 -x857 -x858 -x2508 -x859 -x2520 -x861 -x866 -x867 -x869 -x870 -x872 -x873 -x875 -x879 1782.72/1783.31 v -x881 -x882 -x884 -x885 -x887 -x888 -x893 -x894 -x896 -x897 -x899 -x900 -x906 -x907 -x909 -x910 -x912 -x913 -x915 -x919 -x921 1782.72/1783.31 v -x922 -x924 -x925 -x927 -x928 -x933 -x934 -x936 -x937 -x939 -x940 -x945 -x947 -x948 -x952 -x958 -x961 -x962 -x966 -x967 -x972 1782.72/1783.31 v -x973 -x975 -x976 -x978 -x979 -x985 -x986 -x988 -x989 -x991 -x992 -x994 -x999 -x1001 -x1002 -x1004 -x1005 -x1007 -x1008 1782.72/1783.31 v -x1014 -x1016 -x1017 -x1019 -x1020 -x1022 -x1028 -x1030 -x1032 -x1034 -x1036 -x1042 -x1044 -x1046 -x1048 -x1050 -x1055 1782.72/1783.31 v -x1057 -x1059 -x1061 -x1063 -x1068 -x1070 -x1072 -x1075 -x1076 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 1782.72/1783.31 v -x1088 -x1089 -x1093 -x1094 -x1095 -x1096 -x1097 -x2345 -x2347 -x2349 -x2351 -x2359 -x2361 -x2365 -x2363 -x2376 -x2374 1782.72/1783.31 v -x2381 -x2389 -x2392 -x2395 -x1098 -x2378 -x2398 -x2408 -x2411 -x1099 -x1100 -x1101 -x1102 -x1108 -x1111 -x1119 -x1121 1782.72/1783.31 v -x1123 -x1126 -x1133 -x1136 -x1139 -x1145 -x1148 -x1149 -x1153 -x1154 -x1832 -x1835 -x1836 -x1838 -x1839 -x1847 -x1848 1782.72/1783.31 v -x1850 -x1851 -x1855 -x1866 -x1870 -x1852 -x1159 -x1160 -x1863 -x1864 -x1881 -x1867 -x1868 -x1871 -x1872 -x1885 -x2242 1782.72/1783.31 v -x1882 -x1883 -x1889 -x2244 -x2253 -x1886 -x1887 -x1899 -x2251 -x2256 -x1895 -x1896 -x1927 -x2254 -x2267 -x1162 -x1163 1782.72/1783.31 v -x1900 -x1901 -x1937 -x2257 -x1941 -x1954 -x1969 -x2280 -x1952 -x1959 -x1976 -x1957 -x1973 -x1990 -x1971 -x1987 -x2003 1782.72/1783.31 v -x1165 -x1167 -x1978 -x1993 -x2009 -x1992 -x2006 -x2022 -x2005 -x2012 -x2026 -x2011 -x2024 -x2037 -x2028 -x2041 -x1172 1782.72/1783.31 v -x1174 -x2039 -x2044 -x1175 -x1177 -x1178 -x1180 -x1181 -x1186 -x1187 -x1189 -x1190 -x1192 -x1193 -x1198 -x1200 -x1201 1782.72/1783.31 v -x1205 -x1212 -x1216 -x1218 -x1220 -x1225 -x1227 -x1229 -x1231 -x1233 -x1238 -x1240 -x1242 -x1244 -x1246 -x1253 -x1255 1782.72/1783.31 v -x2190 -x1257 -x2055 -x1259 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1282 -x2240 -x1283 -x1284 1782.72/1783.31 v -x1285 -x1286 -x1287 -x1288 -x1289 -x1291 -x1300 -x1305 -x1315 -x1320 -x1328 -x1330 -x1332 -x1334 -x1341 -x1343 -x1344 1782.72/1783.31 v -x1347 -x1348 -x1355 -x1356 -x1359 -x1360 -x1363 -x1368 -x1371 -x1372 -x1376 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 1782.72/1783.31 v -x1389 -x1390 -x1391 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1410 -x1411 -x1412 -x1413 1782.72/1783.31 v -x1416 -x1429 -x1444 -x1452 -x1468 -x1483 -x1497 -x1511 -x1513 -x1517 -x1518 -x1532 -x1533 -x1535 -x1545 -x1546 -x1548 1782.72/1783.31 v -x1552 -x1559 -x1561 -x1566 -x1567 -x1575 -x1580 -x1581 -x1596 -x1597 -x1612 -x1613 -x1625 -x1626 -x1636 -x1637 -x1647 1782.72/1783.31 v -x1648 -x1655 -x1656 -x1666 -x1667 -x1678 -x1679 -x1690 -x1692 -x1694 -x1696 -x1703 -x1706 -x1710 -x1718 -x1720 -x1724 1782.72/1783.31 v -x1733 -x1735 -x1745 -x1747 -x1753 -x1765 -x1767 -x1768 -x1769 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 1782.72/1783.31 v -x1782 -x1783 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1797 -x1802 -x1806 -x1807 -x1816 -x1817 -x1823 -x1831 -x1833 1782.72/1783.31 v -x1834 -x1837 -x1846 -x1849 -x1854 -x1865 -x1869 -x1880 -x1884 -x1888 -x1898 -x1902 -x1903 -x1904 -x1907 -x1908 -x1909 1782.72/1783.31 v -x1911 -x1912 -x1914 -x1915 -x1918 -x1919 -x1921 -x1922 -x2312 -x2316 -x2321 -x2331 -x1924 -x1925 -x1935 -x1936 -x1939 1782.72/1783.31 v -x1940 -x2074 -x2078 -x2090 -x2095 -x2107 -x2112 -x2125 -x2131 -x2141 -x2146 -x1943 -x1944 -x2156 -x2161 -x2054 -x2172 1782.72/1783.31 v -x2177 -x1955 -x1956 -x1960 -x1970 -x1974 -x1977 -x1988 -x1991 -x1994 -x2004 -x2007 -x2010 -x2346 -x2358 -x2350 -x2362 1782.72/1783.31 v -x2360 -x2366 -x2364 -x2377 -x2375 -x2382 -x2379 -x2390 -x2383 -x2393 -x2020 -x2023 -x2391 -x2396 -x2394 -x2406 -x2397 1782.72/1783.31 v -x2409 -x2407 -x2412 -x2025 -x2027 -x2029 -x2038 -x2191 -x2193 -x2196 -x2198 -x2200 -x2202 -x2204 -x2209 -x2208 -x2213 1782.72/1783.31 v -x2212 -x2216 -x2040 -x2042 -x2221 -x2224 -x2227 -x2236 -x2043 -x2045 -x2046 -x2241 -x2243 -x2250 -x2252 -x2056 -x2057 1782.72/1783.31 v -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2072 -x2259 -x2258 -x2266 -x2265 -x2269 -x2268 -x2271 -x2270 -x2273 -x2272 1782.72/1783.31 v -x2281 -x2274 -x2283 -x2282 -x2285 -x2284 -x2287 -x2286 -x2289 -x2288 -x2297 -x2296 -x2299 -x2298 -x2301 -x2300 -x2303 1782.72/1783.31 v -x2302 -x2304 -x2413 -x2415 -x2423 -x2425 -x2427 -x2429 -x2439 -x2124 -x2130 -x2140 -x2145 -x2155 -x2160 -x2171 -x2176 1782.72/1783.31 v -x2187 -x2348 -x2445 -x2414 -x2422 -x2424 -x2426 -x2428 -x2430 -x2255 -x2336 -x2431
OK -4984
/tmp/evaluation/352034-1176620833/instance-352034-1176620833.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node58/watcher-352034-1176620833 -o ROOT/results/node58/solver-352034-1176620833 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352034-1176620833/instance-352034-1176620833.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11046 /proc/meminfo: memFree=1588776/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=2552 CPUtime=0 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 109992965 2613248 230 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 5336791 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 638 230 193 16 0 77 0 [startup+0.022262 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11046 /proc/meminfo: memFree=1588776/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=2952 CPUtime=0.01 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 356 0 0 0 1 0 0 0 18 0 1 0 109992965 3022848 326 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 5336791 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 738 326 199 16 0 177 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2952 [startup+0.102274 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11046 /proc/meminfo: memFree=1588776/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=4148 CPUtime=0.09 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 663 0 0 0 9 0 0 0 18 0 1 0 109992965 4247552 633 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134546737 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 1037 633 199 16 0 476 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4148 [startup+0.302307 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11046 /proc/meminfo: memFree=1588776/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=5348 CPUtime=0.29 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 979 0 0 0 28 1 0 0 19 0 1 0 109992965 5476352 949 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 5336791 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 1337 949 199 16 0 776 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5348 [startup+0.701375 s] /proc/loadavg: 0.92 0.98 0.99 3/64 11046 /proc/meminfo: memFree=1588776/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=12332 CPUtime=0.69 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 2647 0 0 0 68 1 0 0 22 0 1 0 109992965 12627968 2617 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 5305979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 3083 2617 204 16 0 2522 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12332 [startup+1.50151 s] /proc/loadavg: 0.92 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1576288/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=15108 CPUtime=1.49 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 3335 0 0 0 147 2 0 0 25 0 1 0 109992965 15470592 3305 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528017 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 3777 3305 206 16 0 3216 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15108 [startup+3.10178 s] /proc/loadavg: 0.92 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1576160/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=15108 CPUtime=3.09 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 3335 0 0 0 307 2 0 0 25 0 1 0 109992965 15470592 3305 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528023 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 3777 3305 206 16 0 3216 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15108 [startup+6.30132 s] /proc/loadavg: 0.93 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1575392/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=15768 CPUtime=6.28 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 3502 0 0 0 625 3 0 0 25 0 1 0 109992965 16146432 3472 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 3942 3472 206 16 0 3381 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15768 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1574368/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=16812 CPUtime=12.69 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 3768 0 0 0 1264 5 0 0 25 0 1 0 109992965 17215488 3738 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134528006 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 4203 3738 206 16 0 3642 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16812 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1572256/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=18920 CPUtime=25.48 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 4283 0 0 0 2539 9 0 0 25 0 1 0 109992965 19374080 4253 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 4730 4253 206 16 0 4169 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18920 [startup+51.1029 s] /proc/loadavg: 0.96 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1571424/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=19836 CPUtime=51.07 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 4515 0 0 0 5092 15 0 0 25 0 1 0 109992965 20312064 4485 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 4959 4485 206 16 0 4398 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19836 [startup+102.304 s] /proc/loadavg: 0.98 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1570272/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=21012 CPUtime=102.25 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 4791 0 0 0 10206 19 0 0 25 0 1 0 109992965 21516288 4761 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 5253 4761 206 16 0 4692 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 21012 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1568352/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=23032 CPUtime=162.23 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 5299 0 0 0 16132 91 0 0 25 0 1 0 109992965 23584768 5269 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 5758 5269 206 16 0 5197 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 23032 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1561952/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=29528 CPUtime=222.22 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 6855 0 0 0 22071 151 0 0 25 0 1 0 109992965 30236672 6825 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 7382 6825 206 16 0 6821 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 29528 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1561312/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=30208 CPUtime=282.2 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 6997 0 0 0 27994 226 0 0 25 0 1 0 109992965 30932992 6967 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 7552 6967 206 16 0 6991 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 30208 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1560480/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=31028 CPUtime=342.18 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 7197 0 0 0 33906 312 0 0 25 0 1 0 109992965 31772672 7167 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 7757 7167 206 16 0 7196 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 31028 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1557984/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=34292 CPUtime=402.16 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 8010 0 0 0 39849 367 0 0 25 0 1 0 109992965 35115008 7980 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 8573 7980 206 16 0 8012 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 34292 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1555360/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=36256 CPUtime=462.13 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 8488 0 0 0 45791 422 0 0 25 0 1 0 109992965 37126144 8458 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 9064 8458 206 16 0 8503 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 36256 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1555296/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=36256 CPUtime=522.12 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 8488 0 0 0 51726 486 0 0 25 0 1 0 109992965 37126144 8458 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 9064 8458 206 16 0 8503 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 36256 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1555360/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=36256 CPUtime=582.1 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 8488 0 0 0 57657 553 0 0 25 0 1 0 109992965 37126144 8458 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 9064 8458 206 16 0 8503 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 36256 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1554784/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=36776 CPUtime=642.08 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 8623 0 0 0 63619 589 0 0 25 0 1 0 109992965 37658624 8593 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 9194 8593 206 16 0 8633 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 36776 ################ # More data... # ################ /proc/meminfo: memFree=1550944/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=40692 CPUtime=822.02 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 9605 0 0 0 81461 741 0 0 25 0 1 0 109992965 41668608 9575 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 10173 9575 206 16 0 9612 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 40692 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1549856/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=41748 CPUtime=882.01 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 9872 0 0 0 87423 778 0 0 25 0 1 0 109992965 42749952 9842 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 10437 9842 206 16 0 9876 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 41748 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1549856/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=41748 CPUtime=941.99 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 9873 0 0 0 93373 826 0 0 25 0 1 0 109992965 42749952 9843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 10437 9843 206 16 0 9876 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 41748 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1549856/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=41748 CPUtime=1001.96 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 9873 0 0 0 99323 873 0 0 25 0 1 0 109992965 42749952 9843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 10437 9843 206 16 0 9876 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 41748 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1549856/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=41748 CPUtime=1061.94 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 9873 0 0 0 105276 918 0 0 25 0 1 0 109992965 42749952 9843 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 10437 9843 206 16 0 9876 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 41748 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1544864/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=46720 CPUtime=1121.93 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 11120 0 0 0 111230 963 0 0 25 0 1 0 109992965 47841280 11090 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 11680 11090 206 16 0 11119 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 46720 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1540832/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=50836 CPUtime=1181.9 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 12133 0 0 0 117197 993 0 0 25 0 1 0 109992965 52056064 12103 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 12709 12103 206 16 0 12148 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 50836 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1536096/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=55524 CPUtime=1241.89 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13306 0 0 0 123174 1015 0 0 25 0 1 0 109992965 56856576 13276 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 13881 13276 206 16 0 13320 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 55524 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=55656 CPUtime=1301.87 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13357 0 0 0 129153 1034 0 0 25 0 1 0 109992965 56991744 13327 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 13914 13327 206 16 0 13353 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 55656 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=55656 CPUtime=1361.85 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13357 0 0 0 135124 1061 0 0 25 0 1 0 109992965 56991744 13327 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 13914 13327 206 16 0 13353 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 55656 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1535968/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=55656 CPUtime=1421.84 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13357 0 0 0 141086 1098 0 0 25 0 1 0 109992965 56991744 13327 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 13914 13327 206 16 0 13353 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 55656 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=55656 CPUtime=1481.81 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13362 0 0 0 147049 1132 0 0 25 0 1 0 109992965 56991744 13332 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 13914 13332 206 16 0 13353 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 55656 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=55628 CPUtime=1541.79 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13362 0 0 0 153010 1169 0 0 25 0 1 0 109992965 56963072 13326 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 13907 13326 206 16 0 13346 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 55628 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1535968/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=55628 CPUtime=1601.77 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13362 0 0 0 158975 1202 0 0 25 0 1 0 109992965 56963072 13326 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 134520417 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 13907 13326 206 16 0 13346 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 55628 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=55628 CPUtime=1661.75 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13363 0 0 0 164915 1260 0 0 25 0 1 0 109992965 56963072 13327 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 13907 13327 206 16 0 13346 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 55628 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=55628 CPUtime=1721.74 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13363 0 0 0 170864 1310 0 0 25 0 1 0 109992965 56963072 13327 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 13907 13327 206 16 0 13346 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 55628 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=55628 CPUtime=1781.71 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13366 0 0 0 176802 1369 0 0 25 0 1 0 109992965 56963072 13330 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 13907 13330 206 16 0 13346 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 55628 Solver just ended. Dumping a history of the last processes samples [startup+1783.11 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=55628 CPUtime=1782.52 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13366 0 0 0 176882 1370 0 0 25 0 1 0 109992965 56963072 13330 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 13907 13330 206 16 0 13346 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (KiB) 55628 [startup+1783.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 11047 /proc/meminfo: memFree=1535904/2055920 swapFree=4184728/4192956 [pid=11046] ppid=11044 vsize=55628 CPUtime=1782.72 /proc/11046/stat : 11046 (Pueblo) R 11044 11046 9317 0 -1 4194304 13366 0 0 0 176902 1370 0 0 25 0 1 0 109992965 56963072 13330 18446744073709551615 134512640 134579096 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11046/statm: 13907 13330 206 16 0 13346 0 Current children cumulated CPU time (s) 1782.72 Current children cumulated vsize (KiB) 55628 Child status: 10 Real time (s): 1783.33 CPU time (s): 1782.75 CPU user time (s): 1769.04 CPU system time (s): 13.7139 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 55656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1769.04 system time used= 13.7139 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13373 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= 18 involuntary context switches= 3370 runsolver used 1.2918 second user time and 3.60245 second system time The end
Begin job on node58 on Sun Apr 15 07:07:13 UTC 2007 IDJOB= 352034 IDBENCH= 1875 IDSOLVER= 165 FILE ID= node58/352034-1176620833 PBS_JOBID= 4557036 Free space on /tmp= 66561 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb COMMAND LINE= Pueblo /tmp/evaluation/352034-1176620833/instance-352034-1176620833.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node58/convwatcher-352034-1176620833 -o ROOT/results/node58/conversion-352034-1176620833 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352034-1176620833/instance-352034-1176620833.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-352034-1176620833 -o ROOT/results/node58/solver-352034-1176620833 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352034-1176620833/instance-352034-1176620833.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9 RANDOM SEED= 995770378 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node58.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.265 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.265 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: 1589184 kB Buffers: 38444 kB Cached: 319600 kB SwapCached: 2696 kB Active: 141520 kB Inactive: 227892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1589184 kB SwapTotal: 4192956 kB SwapFree: 4184728 kB Dirty: 3576 kB Writeback: 0 kB Mapped: 17868 kB Slab: 83380 kB Committed_AS: 174404 kB PageTables: 1384 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= 66561 MiB End job on node58 on Sun Apr 15 07:36:56 UTC 2007