0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/354170-1176697485/instance-354170-1176697485.opb
0.00/0.00	c File size is 3133850 bytes.
0.02/0.03	c Coefficients are big enough for not using lower bounding.
0.49/0.59	c Highest Coefficient sum: 3.09314e+12
0.49/0.59	c Parsing was ok!!
0.49/0.59	c Total parsing time: 0.595 s
0.59/0.60	c Var: 12497 Constr: 1033 41/815/177 Lit: 316629 Watch. Lit: 12951
0.59/0.60	c Obj. Vars: 12497 (100 % of total variables)
1.09/1.16	c Pre-processing Time: 1.16 s
1.19/1.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.23	c        0  12495     1018   300498  295    12920  608038      0      0 1.16
1.19/1.23	o 5714124683	1.231
1.19/1.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.27	c       92  12495     1111   384943  346    25725  633028     93     74 1.24
1.19/1.27	o 5280586022	1.266
1.29/1.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.31	c       92  12495     1112   397438  357    38180  633028     94     71 1.28
1.29/1.31	o 4960359965	1.309
1.29/1.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.36	c       93  12495     1114   412941  370    50688  633028     96     70 1.32
1.29/1.36	o 4925008026	1.359
53.27/53.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
53.27/53.35	c       94  12495     1116   429935  385    63185  633028     98     68 1.37
53.27/53.35	c      198  12495     1220   693703  568    63368  696331    202     98 2.02
53.27/53.35	c      448  12495     1470  1229926  836    63861  765965    452    140 3.18
53.27/53.35	c      923  12495     1945  1807147  929    64799  842562    927    166 5.53
53.27/53.35	c     1738  12495     2760  3631023 1315    66435  926819   1742    174 9.99
53.27/53.35	c     3060  12495     4082  6886639 1687    69077  500000   3064    163 18.68
53.27/53.35	c     5141  12495     6163  9691586 1572    73251  550001   5145    161 31.74
53.27/53.35	c     8364  12495     9386 14300496 1523    79732  605002   8368    157 53.12
53.27/53.35	o 4907912890	53.323
53.36/53.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
53.36/53.41	c     8423  12495     9446 14388328 1523    92333  633028   8428    157 53.34
53.36/53.41	o 4619722059	53.387
429.54/429.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
429.54/429.71	c     8427  12495     9451 14402424 1523   104793  633028   8433    157 53.40
429.54/429.71	c     8527  12495     9551 14573739 1525   105007  696331   8533    157 54.06
429.54/429.71	c     8777  12495     9801 15269588 1557   105461  765965   8783    157 55.72
429.54/429.71	c     9253  12495    10277 16464444 1602   106425  842562   9259    154 59.80
429.54/429.71	c    10067  12495    11091 17584705 1585   108017  926819  10073    154 65.33
429.54/429.71	c    11387  12495    12411 19452662 1567   110695  500000  11393    157 72.41
429.54/429.71	c    13468  12495    14492 25432746 1754   114818  550001  13474    128 105.09
429.54/429.71	c    16691  12495    17715 29268804 1652   121320  605002  16697    133 125.46
429.54/429.71	c    21627  12495    22651 37112012 1638   131166  665503  21633    125 172.61
429.54/429.71	c    29133  12495    30157 45660377 1514   146181  732054  29139    127 229.17
429.54/429.71	c    40494  12495    41518 61613129 1484   168888  805260  40500    111 364.34
429.54/429.71	o 4617640126	429.557
902.17/902.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
902.17/902.50	c    44568  12495    45593 78297196 1717   189539  633028  44575    103 429.57
902.17/902.50	c    44668  12495    45693 78500185 1717   189716  696331  44675    103 430.30
902.17/902.50	c    44918  12495    45943 78693522 1712   190178  765965  44925    103 432.03
902.17/902.50	c    45394  12495    46419 78832927 1698   191128  842562  45401    104 434.94
902.17/902.50	c    46207  12495    47232 79339716 1679   192731  926819  46214    104 441.00
902.17/902.50	c    47527  12495    48552 80331354 1654   195402  500000  47534    105 450.25
902.17/902.50	c    49608  12495    50633 81720663 1613   199565  550001  49615    106 464.37
902.17/902.50	c    52835  12495    53860 83670190 1553   206075  605002  52842    106 494.65
902.17/902.50	c    57772  12495    58797 90909486 1546   215957  665503  57779    106 543.68
902.17/902.50	c    65279  12495    66304 110042597 1659   230925  732054  65286     92 702.74
902.17/902.50	c    76640  12495    77665 125275552 1613   253644  805260  76647     94 814.40
902.17/902.50	c Caught signal: 15
902.17/902.50	v -x1 -x3610 -x4721 -x5832 -x6943 -x8054 -x9165 -x10276 -x11387 -x2 -x1113 -x2224 -x2833 -x2944 -x3055 -x3166 -x3277 -x3388
902.17/902.50	v -x3499 -x3611 -x3722 -x3833 -x3944 -x4055 -x4166 -x4277 -x4388 -x4499 -x4610 -x4722 -x4833 -x4944 -x5055 -x5166 -x5277
902.17/902.50	v -x5388 -x5499 -x5610 -x5721 -x5833 -x5944 -x6055 -x6166 -x6277 -x6388 -x6499 -x6610 -x6721 -x6832 -x6944 -x7055 -x7166
902.17/902.50	v -x7277 -x7388 -x7499 -x7610 -x7721 -x7832 -x7943 -x8055 -x8166 -x8277 -x8388 -x8499 -x8610 -x8721 -x8832 -x8943 -x9054
902.17/902.50	v -x9166 -x9277 -x9388 -x9499 -x9610 -x9721 -x9832 -x9943 -x10054 -x10165 -x10277 -x10388 -x10499 -x10610 -x10721 -x10832
902.17/902.50	v -x10943 -x11054 -x11165 -x11276 -x11388 -x11499 -x11610 -x11721 -x11832 -x11943 -x12054 -x12165 -x12276 -x12387 -x3
902.17/902.50	v -x114 -x225 -x336 -x447 -x558 -x669 -x780 -x891 -x1002 -x1114 -x1225 -x1336 -x1447 -x1558 -x1669 -x1780 -x1891 -x2002 -x2113
902.17/902.50	v -x2225 -x2336 -x2447 -x2558 -x2669 -x2778 -x2789 -x2800 -x2811 -x2822 -x2834 -x2845 -x2856 -x2867 -x2878 -x2889 -x2900
902.17/902.50	v -x2911 -x2922 -x2933 -x2945 -x2956 -x2967 -x2978 -x2989 -x3000 -x3011 -x3022 -x3033 -x3044 -x3056 -x3067 -x3078 -x3089
902.17/902.50	v -x3100 -x3111 -x3122 -x3133 -x3144 -x3155 -x3167 -x3178 -x3189 -x3200 -x3211 -x3222 -x3233 -x3244 -x3255 -x3266 -x3278
902.17/902.50	v -x3289 -x3300 -x3311 -x3322 -x3333 -x3344 -x3355 -x3366 -x3377 -x3389 -x3400 -x3411 -x3422 -x3433 -x3444 -x3455 -x3466
902.17/902.50	v -x3477 -x3488 -x3500 -x3511 -x3522 -x3533 -x3544 -x3555 -x3566 -x3577 -x3588 -x3599 -x3612 -x3623 -x3634 -x3645 -x3656
902.17/902.50	v -x3667 -x3678 -x3689 -x3700 -x3711 -x3723 -x3734 -x3745 -x3756 -x3767 -x3778 -x3789 -x3800 -x3811 -x3822 -x3834 -x3845
902.17/902.50	v -x3856 -x3867 -x3878 -x3889 -x3900 -x3911 -x3922 -x3933 -x3945 -x3956 -x3967 -x3978 -x3989 -x4000 -x4011 -x4022 -x4033
902.17/902.50	v -x4044 -x4056 -x4067 x4078 -x4089 -x4100 -x4111 -x4122 -x4133 -x4144 -x4155 -x4167 -x4178 -x4189 -x4200 -x4211 -x4222
902.17/902.50	v -x4233 -x4244 -x4255 -x4266 -x4278 -x4289 -x4300 -x4311 -x4322 -x4333 -x4344 -x4355 -x4366 -x4377 -x4389 -x4400 -x4411
902.17/902.50	v -x4422 -x4433 -x4444 -x4455 -x4466 -x4477 -x4488 -x4500 -x4511 -x4522 -x4533 -x4544 -x4555 -x4566 -x4577 -x4588 -x4599
902.17/902.50	v -x4611 -x4622 -x4633 -x4644 -x4655 -x4666 -x4677 -x4688 -x4699 -x4710 -x4723 -x4734 -x4745 -x4756 -x4767 -x4778 -x4789
902.17/902.50	v -x4800 -x4811 -x4822 -x4834 -x4845 -x4856 -x4867 -x4878 -x4889 -x4900 -x4911 -x4922 -x4933 -x4945 -x4956 -x4967 -x4978
902.17/902.50	v -x4989 -x5000 -x5011 -x5022 -x5033 -x5044 -x5056 -x5067 -x5078 -x5089 -x5100 -x5111 -x5122 -x5133 -x5144 -x5155 -x5167
902.17/902.50	v -x5178 -x5189 -x5200 -x5211 -x5222 -x5233 -x5244 -x5255 -x5266 -x5278 -x5289 -x5300 -x5311 -x5322 -x5333 -x5344 -x5355
902.17/902.50	v -x5366 -x5377 -x5389 -x5400 -x5411 -x5422 -x5433 -x5444 -x5455 -x5466 -x5477 -x5488 -x5500 -x5511 -x5522 -x5533 -x5544
902.17/902.50	v -x5555 -x5566 -x5577 -x5588 -x5599 -x5611 -x5622 -x5633 -x5644 -x5655 -x5666 -x5677 -x5688 -x5699 -x5710 -x5722 -x5733
902.17/902.50	v -x5744 -x5755 -x5766 -x5777 -x5788 -x5799 -x5810 -x5821 -x5834 -x5845 -x5856 -x5867 -x5878 -x5889 -x5900 -x5911 -x5922
902.17/902.50	v -x5933 -x5945 -x5956 -x5967 -x5978 -x5989 -x6000 -x6011 -x6022 -x6033 -x6044 -x6056 -x6067 -x6078 -x6089 -x6100 -x6111
902.17/902.50	v -x6122 -x6133 -x6144 -x6155 -x6167 -x6178 -x6189 -x6200 -x6211 -x6222 -x6233 -x6244 -x6255 -x6266 -x6278 -x6289 -x6300
902.17/902.50	v -x6311 -x6322 -x6333 -x6344 -x6355 -x6366 -x6377 -x6389 -x6400 -x6411 -x6422 -x6433 -x6444 -x6455 -x6466 -x6477 -x6488
902.17/902.50	v -x6500 -x6511 -x6522 -x6533 -x6544 -x6555 -x6566 -x6577 -x6588 -x6599 -x6611 -x6622 -x6633 -x6644 -x6655 -x6666 -x6677
902.17/902.50	v -x6688 -x6699 -x6710 -x6722 -x6733 -x6744 -x6755 -x6766 -x6777 -x6788 -x6799 -x6810 -x6821 -x6833 -x6844 -x6855 -x6866
902.17/902.50	v -x6877 -x6888 -x6899 -x6910 -x6921 -x6932 -x6945 -x6956 -x6967 -x6978 -x6989 -x7000 -x7011 -x7022 -x7033 -x7044 -x7056
902.17/902.50	v -x7067 -x7078 -x7089 -x7100 -x7111 -x7122 -x7133 -x7144 -x7155 -x7167 -x7178 -x7189 -x7200 -x7211 -x7222 -x7233 -x7244
902.17/902.50	v -x7255 -x7266 -x7278 -x7289 -x7300 -x7311 -x7322 -x7333 -x7344 -x7355 -x7366 -x7377 -x7389 -x7400 -x7411 -x7422 -x7433
902.17/902.50	v -x7444 -x7455 -x7466 -x7477 -x7488 -x7500 -x7511 -x7522 -x7533 -x7544 -x7555 -x7566 -x7577 -x7588 -x7599 -x7611 -x7622
902.17/902.50	v -x7633 -x7644 -x7655 -x7666 -x7677 -x7688 -x7699 -x7710 -x7722 -x7733 -x7744 -x7755 -x7766 -x7777 -x7788 -x7799 -x7810
902.17/902.50	v -x7821 -x7833 -x7844 -x7855 -x7866 -x7877 -x7888 -x7899 -x7910 -x7921 -x7932 -x7944 -x7955 -x7966 -x7977 -x7988 -x7999
902.17/902.50	v -x8010 -x8021 -x8032 -x8043 -x8056 -x8067 -x8078 -x8089 -x8100 -x8111 -x8122 -x8133 -x8144 -x8155 -x8167 -x8178 -x8189
902.17/902.50	v -x8200 -x8211 -x8222 -x8233 -x8244 -x8255 -x8266 -x8278 -x8289 -x8300 -x8311 -x8322 -x8333 -x8344 -x8355 -x8366 -x8377
902.17/902.50	v -x8389 -x8400 -x8411 -x8422 -x8433 -x8444 -x8455 -x8466 -x8477 -x8488 -x8500 -x8511 -x8522 -x8533 -x8544 -x8555 -x8566
902.17/902.50	v -x8577 -x8588 -x8599 -x8611 -x8622 -x8633 -x8644 -x8655 -x8666 -x8677 -x8688 -x8699 -x8710 -x8722 -x8733 -x8744 -x8755
902.17/902.50	v -x8766 -x8777 -x8788 -x8799 -x8810 -x8821 -x8833 -x8844 -x8855 -x8866 -x8877 -x8888 -x8899 -x8910 -x8921 -x8932 -x8944
902.17/902.50	v -x8955 -x8966 -x8977 -x8988 -x8999 -x9010 -x9021 -x9032 -x9043 -x9055 -x9066 -x9077 -x9088 -x9099 -x9110 -x9121 -x9132
902.17/902.50	v -x9143 -x9154 -x9167 -x9178 -x9189 -x9200 -x9211 -x9222 -x9233 -x9244 -x9255 -x9266 -x9278 -x9289 -x9300 -x9311 -x9322
902.17/902.50	v -x9333 -x9344 -x9355 -x9366 -x9377 -x9389 -x9400 -x9411 -x9422 x9433 -x9444 -x9455 -x9466 -x9477 -x9488 -x9500 -x9511
902.17/902.50	v -x9522 -x9533 -x9544 -x9555 -x9566 -x9577 -x9588 -x9599 -x9611 -x9622 -x9633 -x9644 -x9655 -x9666 -x9677 -x9688 -x9699
902.17/902.50	v -x9710 -x9722 -x9733 -x9744 -x9755 -x9766 -x9777 -x9788 -x9799 -x9810 -x9821 -x9833 -x9844 -x9855 -x9866 -x9877 -x9888
902.17/902.50	v -x9899 -x9910 -x9921 -x9932 -x9944 -x9955 -x9966 -x9977 -x9988 -x9999 -x10010 -x10021 -x10032 -x10043 -x10055 -x10066
902.17/902.50	v -x10077 -x10088 -x10099 -x10110 -x10121 -x10132 -x10143 -x10154 -x10166 -x10177 -x10188 -x10199 -x10210 -x10221 -x10232
902.17/902.50	v -x10243 -x10254 -x10265 -x10278 -x10289 -x10300 -x10311 -x10322 -x10333 -x10344 -x10355 -x10366 -x10377 -x10389 -x10400
902.17/902.50	v -x10411 -x10422 -x10433 -x10444 -x10455 -x10466 -x10477 -x10488 -x10500 -x10511 -x10522 -x10533 -x10544 -x10555 -x10566
902.17/902.50	v -x10577 -x10588 -x10599 -x10611 -x10622 -x10633 -x10644 -x10655 -x10666 -x10677 -x10688 -x10699 -x10710 -x10722 -x10733
902.17/902.50	v -x10744 -x10755 -x10766 -x10777 -x10788 -x10799 -x10810 -x10821 -x10833 -x10844 -x10855 -x10866 -x10877 -x10888 -x10899
902.17/902.50	v -x10910 -x10921 -x10932 -x10944 -x10955 -x10966 -x10977 -x10988 -x10999 -x11010 -x11021 -x11032 -x11043 -x11055 -x11066
902.17/902.50	v -x11077 -x11088 -x11099 -x11110 -x11121 -x11132 -x11143 -x11154 -x11166 -x11177 -x11188 -x11199 -x11210 -x11221 -x11232
902.17/902.50	v -x11243 -x11254 -x11265 -x11277 -x11288 -x11299 -x11310 -x11321 -x11332 -x11343 -x11354 -x11365 -x11376 -x11389 -x11400
902.17/902.50	v -x11411 -x11422 -x11433 -x11444 -x11455 -x11466 -x11477 -x11488 -x11500 -x11511 -x11522 -x11533 -x11544 -x11555 -x11566
902.17/902.50	v -x11577 -x11588 -x11599 -x11611 -x11622 -x11633 -x11644 -x11655 -x11666 -x11677 -x11688 -x11699 -x11710 -x11722 -x11733
902.17/902.50	v -x11744 -x11755 -x11766 -x11777 -x11788 -x11799 -x11810 -x11821 -x11833 -x11844 -x11855 -x11866 -x11877 -x11888 -x11899
902.17/902.50	v -x11910 -x11921 -x11932 -x11944 -x11955 -x11966 -x11977 -x11988 -x11999 -x12010 -x12021 -x12032 -x12043 -x12055 -x12066
902.17/902.50	v -x12077 -x12088 -x12099 -x12110 -x12121 -x12132 -x12143 -x12154 -x12166 -x12177 -x12188 -x12199 -x12210 -x12221 -x12232
902.17/902.50	v -x12243 -x12254 -x12265 -x12277 -x12288 -x12299 -x12310 -x12321 -x12332 -x12343 -x12354 -x12365 -x12376 -x12388 -x12399
902.17/902.50	v -x12410 -x12421 -x12432 -x12443 -x12454 -x12465 -x12476 -x12487 -x4 -x15 -x26 -x37 -x48 -x59 -x70 -x81 -x92 -x103 -x115
902.17/902.50	v -x126 -x137 -x148 -x159 -x170 -x181 -x192 -x203 -x214 -x226 -x237 -x248 -x259 -x270 -x281 -x292 -x303 -x314 -x325 -x337 -x348
902.17/902.50	v -x359 -x370 -x381 -x392 -x403 -x414 -x425 -x436 -x448 -x459 -x470 -x481 -x492 -x503 -x514 -x525 -x536 -x547 -x559 -x570 -x581
902.17/902.50	v -x592 -x603 -x614 -x625 -x636 -x647 -x658 -x670 -x681 -x692 -x703 -x714 -x725 -x736 -x747 -x758 -x769 -x781 -x792 -x803 -x814
902.17/902.50	v -x825 -x836 -x847 -x858 -x869 -x880 -x892 -x903 -x914 -x925 -x936 -x947 -x958 -x969 -x980 -x991 -x1003 -x1014 -x1025 -x1036
902.17/902.50	v -x1047 -x1058 -x1069 -x1080 -x1091 -x1102 -x1115 -x1126 -x1137 -x1148 -x1159 -x1170 -x1181 -x1192 -x1203 -x1214 -x1226
902.17/902.50	v -x1237 -x1248 -x1259 -x1270 -x1281 -x1292 -x1303 -x1314 -x1325 -x1337 -x1348 -x1359 -x1370 -x1381 -x1392 -x1403 -x1414
902.17/902.50	v -x1425 -x1436 -x1448 -x1459 -x1470 -x1481 -x1492 -x1503 -x1514 -x1525 -x1536 -x1547 -x1559 -x1570 -x1581 -x1592 -x1603
902.17/902.50	v -x1614 -x1625 -x1636 -x1647 -x1658 -x1670 -x1681 -x1692 -x1703 -x1714 -x1725 -x1736 -x1747 -x1758 -x1769 -x1781 -x1792
902.17/902.50	v -x1803 -x1814 -x1825 -x1836 -x1847 -x1858 -x1869 -x1880 -x1892 -x1903 -x1914 -x1925 -x1936 -x1947 -x1958 -x1969 -x1980
902.17/902.50	v -x1991 -x2003 -x2014 -x2025 -x2036 -x2047 -x2058 -x2069 -x2080 -x2091 -x2102 -x2114 -x2125 -x2136 -x2147 -x2158 -x2169
902.17/902.50	v -x2180 -x2191 -x2202 -x2213 -x2226 -x2237 -x2248 -x2259 -x2270 -x2281 -x2292 -x2303 -x2314 -x2325 -x2337 -x2348 -x2359
902.17/902.50	v -x2370 -x2381 -x2392 -x2403 -x2414 -x2425 -x2436 -x2448 -x2459 -x2470 -x2481 -x2492 -x2503 -x2514 -x2525 -x2536 -x2547
902.17/902.50	v -x2559 -x2570 -x2581 -x2592 -x2603 -x2614 -x2625 -x2636 -x2647 -x2658 -x2670 -x2681 -x2692 -x2703 -x2714 -x2725 -x2736
902.17/902.50	v -x2747 -x2758 -x2769 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2790 -x2791 -x2792 -x2793
902.17/902.50	v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2812
902.17/902.50	v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
902.17/902.50	v -x2831 -x2832 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2846 -x2847 -x2848 -x2849 -x2850
902.17/902.50	v -x2851 -x2852 -x2853 -x2854 -x2855 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2868 -x2869
902.17/902.50	v -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887
902.17/902.50	v -x2888 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906
902.17/902.50	v -x2907 -x2908 -x2909 -x2910 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2923 -x2924 -x2925
902.17/902.50	v -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943
902.17/902.50	v -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963
902.17/902.50	v -x2964 -x2965 -x2966 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982
902.17/902.50	v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3001
902.17/902.50	v -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019
902.17/902.50	v -x3020 -x3021 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3034 -x3035 -x3036 -x3037 -x3038
902.17/902.50	v -x3039 -x3040 -x3041 -x3042 -x3043 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3057 -x3058
902.17/902.50	v -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076
902.17/902.50	v -x3077 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095
902.17/902.50	v -x3096 -x3097 -x3098 -x3099 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3112 -x3113 -x3114
902.17/902.50	v -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132
902.17/902.50	v -x3134 -x3135 -x3136 -x3137 -x3138 x3139 -x3140 -x3141 -x3142 -x3143 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151
902.17/902.50	v -x3152 -x3153 -x3154 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3168 -x3169 -x3170 -x3171
902.17/902.50	v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3190
902.17/902.50	v -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208
902.17/902.50	v -x3209 -x3210 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3223 -x3224 -x3225 -x3226 -x3227
902.17/902.50	v -x3228 -x3229 -x3230 -x3231 -x3232 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3245 -x3246
902.17/902.50	v -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264
902.17/902.50	v -x3265 -x3267 -x3268 x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284
902.17/902.50	v -x3285 -x3286 -x3287 -x3288 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3301 -x3302 -x3303
902.17/902.50	v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321
902.17/902.50	v -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340
902.17/902.50	v -x3341 -x3342 -x3343 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3356 -x3357 -x3358 -x3359
902.17/902.50	v -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3378
902.17/902.50	v -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397
902.17/902.50	v -x3398 -x3399 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3412 -x3413 -x3414 -x3415 -x3416
902.17/902.50	v -x3417 -x3418 -x3419 -x3420 -x3421 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3434 -x3435
902.17/902.50	v -x3436 x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453
902.17/902.50	v -x3454 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472
902.17/902.50	v -x3473 -x3474 -x3475 -x3476 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3489 -x3490 -x3491
902.17/902.50	v -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510
902.17/902.50	v -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529
902.17/902.50	v -x3530 -x3531 -x3532 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3545 -x3546 -x3547 -x3548
902.17/902.50	v -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3567
902.17/902.50	v -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585
902.17/902.50	v -x3586 -x3587 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3600 -x3601 -x3602 -x3603 -x3604
902.17/902.50	v -x3605 -x3606 -x3607 -x3608 -x3609 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3624 -x3625
902.17/902.50	v -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643
902.17/902.50	v -x3644 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662
902.17/902.50	v -x3663 -x3664 -x3665 -x3666 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3679 -x3680 -x3681
902.17/902.50	v -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699
902.17/902.50	v -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718
902.17/902.50	v -x3719 -x3720 -x3721 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3735 -x3736 -x3737 -x3738
902.17/902.50	v -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3757
902.17/902.50	v -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775
902.17/902.50	v -x3776 -x3777 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3790 -x3791 -x3792 -x3793 -x3794
902.17/902.50	v -x3795 -x3796 -x3797 -x3798 -x3799 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3812 -x3813
902.17/902.50	v -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831
902.17/902.50	v -x3832 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851
902.17/902.50	v -x3852 -x3853 -x3854 -x3855 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3868 -x3869 -x3870
902.17/902.50	v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888
902.17/902.50	v -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907
902.17/902.50	v -x3908 -x3909 -x3910 -x3912 -x3913 -x3914 -x3915 x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3923 -x3924 -x3925 -x3926
902.17/902.50	v -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3946
902.17/902.50	v -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964
902.17/902.50	v -x3965 -x3966 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3979 -x3980 -x3981 -x3982 -x3983
902.17/902.50	v -x3984 -x3985 -x3986 -x3987 -x3988 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4001 -x4002
902.17/902.50	v -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020
902.17/902.50	v -x4021 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039
902.17/902.50	v -x4040 -x4041 -x4042 -x4043 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4057 -x4058 -x4059
902.17/902.50	v -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077
902.17/902.50	v -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096
902.17/902.50	v -x4097 -x4098 -x4099 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4112 -x4113 -x4114 -x4115
902.17/902.50	v -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4134
902.17/902.50	v -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 x4143 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152
902.17/902.50	v -x4153 -x4154 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4168 -x4169 -x4170 -x4171 -x4172
902.17/902.50	v -x4173 -x4174 -x4175 -x4176 -x4177 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4190 -x4191
902.17/902.50	v -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209
902.17/902.50	v -x4210 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228
902.17/902.50	v -x4229 -x4230 -x4231 -x4232 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4245 -x4246 -x4247
902.17/902.50	v -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265
902.17/902.50	v -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285
902.17/902.50	v -x4286 -x4287 -x4288 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4301 -x4302 -x4303 -x4304
902.17/902.50	v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4323
902.17/902.50	v -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341
902.17/902.50	v -x4342 -x4343 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4356 -x4357 -x4358 -x4359 -x4360
902.17/902.50	v -x4361 -x4362 -x4363 -x4364 -x4365 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4378 -x4379
902.17/902.50	v -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398
902.17/902.50	v -x4399 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417
902.17/902.50	v -x4418 -x4419 -x4420 -x4421 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4434 -x4435 -x4436
902.17/902.50	v -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454
902.17/902.50	v -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473
902.17/902.50	v -x4474 -x4475 -x4476 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4489 -x4490 -x4491 -x4492
902.17/902.50	v -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4512
902.17/902.50	v -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530
902.17/902.50	v -x4531 -x4532 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4545 -x4546 -x4547 -x4548 -x4549
902.17/902.50	v -x4550 -x4551 -x4552 -x4553 -x4554 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 x4562 -x4563 -x4564 -x4565 -x4567 -x4568
902.17/902.50	v -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586
902.17/902.50	v -x4587 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605
902.17/902.50	v -x4606 -x4607 -x4608 -x4609 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4623 -x4624 -x4625
902.17/902.50	v -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643
902.17/902.50	v -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662
902.17/902.50	v -x4663 -x4664 -x4665 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4678 -x4679 -x4680 -x4681
902.17/902.50	v -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4700
902.17/902.50	v -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718
902.17/902.50	v -x4719 -x4720 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4735 -x4736 -x4737 -x4738 -x4739
902.17/902.50	v -x4740 -x4741 -x4742 -x4743 -x4744 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4757 -x4758
902.17/902.50	v -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776
902.17/902.50	v -x4777 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795
902.17/902.50	v -x4796 -x4797 -x4798 -x4799 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4812 -x4813 -x4814
902.17/902.50	v -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832
902.17/902.50	v -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852
902.17/902.50	v -x4853 -x4854 -x4855 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4868 -x4869 -x4870 -x4871
902.17/902.50	v -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4890
902.17/902.50	v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908
902.17/902.50	v -x4909 -x4910 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4923 -x4924 -x4925 -x4926 -x4927
902.17/902.50	v -x4928 -x4929 -x4930 -x4931 -x4932 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4946 -x4947
902.17/902.50	v -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965
902.17/902.50	v -x4966 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984
902.17/902.50	v -x4985 -x4986 -x4987 -x4988 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5001 -x5002 -x5003
902.17/902.50	v -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021
902.17/902.50	v -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040
902.17/902.50	v -x5041 -x5042 -x5043 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5057 -x5058 -x5059 -x5060
902.17/902.50	v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5079
902.17/902.50	v -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097
902.17/902.50	v -x5098 -x5099 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5112 -x5113 -x5114 -x5115 -x5116
902.17/902.50	v -x5117 -x5118 -x5119 -x5120 -x5121 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5134 -x5135
902.17/902.50	v -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5145 -x5146 -x5147 -x5148 x5149 -x5150 -x5151 -x5152 -x5153
902.17/902.50	v -x5154 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173
902.17/902.50	v -x5174 -x5175 -x5176 -x5177 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5190 -x5191 -x5192
902.17/902.50	v -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210
902.17/902.50	v -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229
902.17/902.50	v -x5230 -x5231 -x5232 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5245 -x5246 -x5247 -x5248
902.17/902.50	v -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5267
902.17/902.50	v -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286
902.17/902.50	v -x5287 -x5288 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5301 -x5302 -x5303 -x5304 -x5305
902.17/902.50	v -x5306 -x5307 -x5308 -x5309 -x5310 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5323 -x5324
902.17/902.50	v -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342
902.17/902.50	v -x5343 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361
902.17/902.50	v -x5362 -x5363 -x5364 -x5365 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5378 -x5379 -x5380
902.17/902.50	v -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399
902.17/902.50	v -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418
902.17/902.50	v -x5419 -x5420 -x5421 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5434 -x5435 -x5436 -x5437
902.17/902.50	v -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5456
902.17/902.50	v -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474
902.17/902.50	v -x5475 -x5476 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5489 -x5490 -x5491 -x5492 -x5493
902.17/902.50	v -x5494 -x5495 -x5496 -x5497 -x5498 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5512 -x5513
902.17/902.50	v -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531
902.17/902.50	v -x5532 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550
902.17/902.50	v -x5551 -x5552 -x5553 -x5554 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5567 -x5568 -x5569
902.17/902.50	v -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587
902.17/902.50	v -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606
902.17/902.50	v -x5607 -x5608 -x5609 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5623 -x5624 -x5625 -x5626
902.17/902.50	v -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5645
902.17/902.50	v -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663
902.17/902.50	v -x5664 -x5665 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5678 -x5679 -x5680 -x5681 -x5682
902.17/902.50	v -x5683 -x5684 -x5685 -x5686 -x5687 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5700 -x5701
902.17/902.50	v -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719
902.17/902.50	v -x5720 -x5723 -x5724 x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739
902.17/902.50	v -x5740 -x5741 -x5742 -x5743 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5756 -x5757 -x5758
902.17/902.50	v -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776
902.17/902.50	v -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795
902.17/902.50	v -x5796 -x5797 -x5798 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5811 -x5812 -x5813 -x5814
902.17/902.50	v -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5835
902.17/902.50	v -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853
902.17/902.50	v -x5854 -x5855 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5868 -x5869 -x5870 -x5871 -x5872
902.17/902.50	v -x5873 -x5874 -x5875 -x5876 -x5877 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5890 -x5891
902.17/902.50	v -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909
902.17/902.50	v -x5910 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928
902.17/902.50	v -x5929 -x5930 -x5931 -x5932 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5946 -x5947 -x5948
902.17/902.50	v -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966
902.17/902.50	v -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985
902.17/902.50	v -x5986 -x5987 -x5988 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6001 -x6002 -x6003 -x6004
902.17/902.50	v -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6023
902.17/902.50	v -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041
902.17/902.50	v -x6042 -x6043 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6057 -x6058 -x6059 -x6060 -x6061
902.17/902.50	v -x6062 -x6063 -x6064 -x6065 -x6066 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6079 -x6080
902.17/902.50	v -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098
902.17/902.50	v -x6099 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117
902.17/902.50	v -x6118 -x6119 -x6120 -x6121 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6134 -x6135 -x6136
902.17/902.50	v -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154
902.17/902.50	v -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174
902.17/902.50	v -x6175 -x6176 -x6177 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6190 -x6191 -x6192 -x6193
902.17/902.50	v -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6212
902.17/902.50	v -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230
902.17/902.50	v -x6231 -x6232 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6245 -x6246 -x6247 -x6248 -x6249
902.17/902.50	v -x6250 -x6251 -x6252 -x6253 -x6254 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6267 -x6268
902.17/902.50	v -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287
902.17/902.50	v -x6288 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306
902.17/902.50	v -x6307 -x6308 -x6309 -x6310 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6323 -x6324 -x6325
902.17/902.50	v -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343
902.17/902.50	v -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362
902.17/902.50	v -x6363 -x6364 -x6365 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6378 -x6379 -x6380 -x6381
902.17/902.50	v -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6401
902.17/902.50	v -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419
902.17/902.50	v -x6420 -x6421 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6434 -x6435 -x6436 -x6437 -x6438
902.17/902.50	v -x6439 -x6440 -x6441 -x6442 -x6443 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6456 -x6457
902.17/902.50	v -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475
902.17/902.50	v -x6476 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494
902.17/902.50	v -x6495 -x6496 -x6497 -x6498 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6512 -x6513 -x6514
902.17/902.50	v -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532
902.17/902.50	v -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551
902.17/902.50	v -x6552 -x6553 -x6554 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6567 -x6568 -x6569 -x6570
902.17/902.50	v -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6589
902.17/902.50	v -x6590 -x6591 -x6592 -x6593 x6594 -x6595 -x6596 -x6597 -x6598 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607
902.17/902.50	v -x6608 -x6609 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6623 -x6624 -x6625 -x6626 -x6627
902.17/902.50	v -x6628 -x6629 -x6630 -x6631 -x6632 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6645 -x6646
902.17/902.50	v -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664
902.17/902.50	v -x6665 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683
902.17/902.50	v -x6684 -x6685 -x6686 -x6687 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6700 -x6701 -x6702
902.17/902.50	v -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720
902.17/902.50	v -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740
902.17/902.50	v -x6741 -x6742 -x6743 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6756 -x6757 -x6758 -x6759
902.17/902.50	v -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6778
902.17/902.50	v -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796
902.17/902.50	v -x6797 -x6798 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6811 -x6812 -x6813 -x6814 -x6815
902.17/902.50	v -x6816 -x6817 -x6818 -x6819 -x6820 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6834 -x6835
902.17/902.50	v -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853
902.17/902.50	v -x6854 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872
902.17/902.50	v -x6873 -x6874 -x6875 -x6876 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6889 -x6890 -x6891
902.17/902.50	v -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909
902.17/902.50	v -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6922 -x6923 x6924 -x6925 -x6926 -x6927 -x6928
902.17/902.50	v -x6929 -x6930 -x6931 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6946 -x6947 -x6948 -x6949
902.17/902.50	v -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6968
902.17/902.50	v -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986
902.17/902.50	v -x6987 -x6988 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7001 -x7002 -x7003 -x7004 -x7005
902.17/902.50	v -x7006 -x7007 -x7008 -x7009 -x7010 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7023 -x7024
902.17/902.50	v -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042
902.17/902.50	v -x7043 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062
902.17/902.50	v -x7063 -x7064 -x7065 -x7066 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7079 -x7080 -x7081
902.17/902.50	v -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099
902.17/902.50	v -x7101 x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118
902.17/902.50	v -x7119 -x7120 -x7121 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7134 -x7135 -x7136 -x7137
902.17/902.50	v -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7156
902.17/902.50	v -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175
902.17/902.50	v -x7176 -x7177 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7190 -x7191 -x7192 -x7193 -x7194
902.17/902.50	v -x7195 -x7196 -x7197 -x7198 -x7199 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7212 -x7213
902.17/902.50	v -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231
902.17/902.50	v -x7232 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250
902.17/902.50	v -x7251 -x7252 -x7253 -x7254 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7267 -x7268 -x7269
902.17/902.50	v -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288
902.17/902.50	v -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307
902.17/902.50	v -x7308 -x7309 -x7310 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7323 -x7324 -x7325 -x7326
902.17/902.50	v -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7345
902.17/902.50	v -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363
902.17/902.50	v -x7364 -x7365 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7378 -x7379 -x7380 -x7381 -x7382
902.17/902.50	v -x7383 -x7384 -x7385 -x7386 -x7387 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7401 -x7402
902.17/902.50	v -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420
902.17/902.50	v -x7421 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439
902.17/902.50	v -x7440 -x7441 -x7442 -x7443 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7456 -x7457 -x7458
902.17/902.50	v -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476
902.17/902.50	v -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495
902.17/902.50	v -x7496 -x7497 -x7498 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7512 -x7513 -x7514 -x7515
902.17/902.50	v -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7534
902.17/902.50	v -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552
902.17/902.50	v -x7553 -x7554 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7567 -x7568 -x7569 -x7570 -x7571
902.17/902.50	v -x7572 -x7573 -x7574 -x7575 -x7576 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7589 -x7590
902.17/902.50	v -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608
902.17/902.50	v -x7609 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628
902.17/902.50	v -x7629 -x7630 -x7631 -x7632 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7645 -x7646 -x7647
902.17/902.50	v -x7648 -x7649 -x7650 x7651 -x7652 -x7653 -x7654 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665
902.17/902.50	v -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7678 -x7679 -x7680 x7681 -x7682 -x7683 -x7684
902.17/902.50	v -x7685 -x7686 -x7687 -x7689 x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7700 -x7701 -x7702 -x7703
902.17/902.50	v -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7723
902.17/902.50	v -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7734 x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741
902.17/902.50	v -x7742 -x7743 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 x7754 -x7756 -x7757 -x7758 -x7759 -x7760
902.17/902.50	v -x7761 -x7762 -x7763 -x7764 -x7765 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7778 -x7779
902.17/902.50	v x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797
902.17/902.50	v -x7798 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816
902.17/902.50	v -x7817 -x7818 -x7819 -x7820 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7834 -x7835 -x7836
902.17/902.50	v -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854
902.17/902.50	v -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873
902.17/902.50	v -x7874 -x7875 -x7876 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7889 -x7890 -x7891 -x7892
902.17/902.50	v -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7911
902.17/902.50	v -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929
902.17/902.50	v -x7930 -x7931 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7945 -x7946 -x7947 -x7948 -x7949
902.17/902.50	v -x7950 -x7951 -x7952 -x7953 -x7954 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7967 -x7968
902.17/902.50	v -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986
902.17/902.50	v -x7987 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005
902.17/902.50	v -x8006 -x8007 -x8008 -x8009 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8022 -x8023 -x8024
902.17/902.50	v -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042
902.17/902.50	v -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063
902.17/902.50	v -x8064 -x8065 -x8066 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8079 -x8080 -x8081 -x8082
902.17/902.50	v -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8101
902.17/902.50	v -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119
902.17/902.50	v -x8120 -x8121 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8134 -x8135 -x8136 -x8137 -x8138
902.17/902.50	v -x8139 -x8140 -x8141 -x8142 -x8143 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8156 -x8157
902.17/902.50	v -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176
902.17/902.50	v -x8177 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195
902.17/902.50	v -x8196 -x8197 -x8198 -x8199 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8212 -x8213 -x8214
902.17/902.50	v -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232
902.17/902.50	v -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8245 -x8246 x8247 -x8248 -x8249 -x8250 -x8251
902.17/902.50	v -x8252 -x8253 -x8254 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8267 -x8268 -x8269 -x8270
902.17/902.50	v -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8290
902.17/902.50	v -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308
902.17/902.50	v -x8309 -x8310 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8323 -x8324 -x8325 -x8326 -x8327
902.17/902.50	v -x8328 -x8329 -x8330 -x8331 -x8332 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8345 -x8346
902.17/902.50	v -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364
902.17/902.50	v -x8365 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383
902.17/902.50	v -x8384 -x8385 -x8386 -x8387 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8401 -x8402 -x8403
902.17/902.50	v -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421
902.17/902.50	v -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440
902.17/902.50	v -x8441 -x8442 -x8443 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8456 -x8457 -x8458 -x8459
902.17/902.50	v -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8478
902.17/902.50	v -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496
902.17/902.50	v -x8497 -x8498 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8512 -x8513 -x8514 -x8515 -x8516
902.17/902.50	v -x8517 -x8518 -x8519 -x8520 -x8521 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8534 -x8535
902.17/902.50	v -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553
902.17/902.50	v -x8554 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572
902.17/902.50	v -x8573 -x8574 -x8575 -x8576 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8589 -x8590 -x8591
902.17/902.50	v -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609
902.17/902.50	v -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629
902.17/902.50	v -x8630 -x8631 -x8632 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8645 -x8646 -x8647 -x8648
902.17/902.50	v -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8667
902.17/902.50	v -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685
902.17/902.50	v -x8686 -x8687 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8700 -x8701 -x8702 -x8703 -x8704
902.17/902.50	v -x8705 -x8706 -x8707 -x8708 -x8709 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8723 -x8724
902.17/902.50	v -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742
902.17/902.50	v -x8743 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761
902.17/902.50	v -x8762 -x8763 -x8764 -x8765 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8778 -x8779 -x8780
902.17/902.50	v -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798
902.17/902.50	v -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817
902.17/902.50	v -x8818 -x8819 -x8820 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8834 -x8835 -x8836 -x8837
902.17/902.50	v -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8856
902.17/902.50	v -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874
902.17/902.50	v -x8875 -x8876 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8889 -x8890 -x8891 -x8892 -x8893
902.17/902.50	v -x8894 -x8895 -x8896 -x8897 -x8898 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8911 -x8912
902.17/902.50	v -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930
902.17/902.50	v -x8931 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950
902.17/902.50	v -x8951 -x8952 -x8953 -x8954 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8967 -x8968 -x8969
902.17/902.50	v -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987
902.17/902.50	v -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006
902.17/902.50	v -x9007 -x9008 -x9009 -x9011 -x9012 -x9013 x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9022 -x9023 -x9024 -x9025
902.17/902.50	v -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9044
902.17/902.50	v -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063
902.17/902.50	v -x9064 -x9065 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9078 -x9079 -x9080 -x9081 -x9082
902.17/902.50	v -x9083 -x9084 -x9085 -x9086 -x9087 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9100 -x9101
902.17/902.50	v -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119
902.17/902.50	v -x9120 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138
902.17/902.50	v -x9139 -x9140 -x9141 -x9142 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 x9152 -x9153 -x9155 -x9156 -x9157
902.17/902.50	v -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177
902.17/902.50	v -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196
902.17/902.50	v -x9197 -x9198 -x9199 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9212 -x9213 -x9214 -x9215
902.17/902.50	v -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9234
902.17/902.50	v -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252
902.17/902.50	v -x9253 -x9254 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9267 -x9268 -x9269 -x9270 -x9271
902.17/902.50	v -x9272 -x9273 -x9274 -x9275 -x9276 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9290 -x9291
902.17/902.50	v -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309
902.17/902.50	v -x9310 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328
902.17/902.50	v -x9329 -x9330 -x9331 -x9332 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9345 -x9346 -x9347
902.17/902.50	v -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365
902.17/902.50	v -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384
902.17/902.50	v -x9385 -x9386 -x9387 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9401 -x9402 -x9403 -x9404
902.17/902.50	v -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9423
902.17/902.50	v -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441
902.17/902.50	v -x9442 -x9443 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9456 -x9457 -x9458 -x9459 -x9460
902.17/902.50	v -x9461 -x9462 -x9463 -x9464 -x9465 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9478 -x9479
902.17/902.50	v -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497
902.17/902.50	v -x9498 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517
902.17/902.50	v -x9518 -x9519 -x9520 -x9521 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9534 -x9535 -x9536
902.17/902.50	v -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554
902.17/902.50	v -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573
902.17/902.50	v -x9574 -x9575 -x9576 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9589 -x9590 -x9591 -x9592
902.17/902.50	v -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9612
902.17/902.50	v -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630
902.17/902.50	v -x9631 -x9632 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9645 -x9646 -x9647 -x9648 -x9649
902.17/902.50	v -x9650 -x9651 -x9652 -x9653 -x9654 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9667 -x9668
902.17/902.50	v -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686
902.17/902.50	v -x9687 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705
902.17/902.50	v -x9706 -x9707 -x9708 -x9709 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9723 -x9724 -x9725
902.17/902.50	v -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743
902.17/902.50	v -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762
902.17/902.50	v -x9763 -x9764 -x9765 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9778 -x9779 -x9780 -x9781
902.17/902.50	v -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9800
902.17/902.50	v -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818
902.17/902.50	v -x9819 -x9820 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9834 -x9835 -x9836 -x9837 -x9838
902.17/902.50	v -x9839 -x9840 -x9841 -x9842 -x9843 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9856 -x9857
902.17/902.50	v -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875
902.17/902.50	v -x9876 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894
902.17/902.50	v -x9895 -x9896 -x9897 -x9898 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9911 -x9912 -x9913
902.17/902.50	v -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931
902.17/902.50	v -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951
902.17/902.50	v -x9952 -x9953 -x9954 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9967 -x9968 -x9969 -x9970
902.17/902.50	v -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9989
902.17/902.50	v -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006
902.17/902.50	v -x10007 -x10008 -x10009 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10022 -x10023
902.17/902.50	v -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039
902.17/902.50	v -x10040 -x10041 -x10042 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10056 -x10057
902.17/902.50	v -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073
902.17/902.50	v -x10074 -x10075 -x10076 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10089 -x10090
902.17/902.50	v -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106
902.17/902.50	v -x10107 -x10108 -x10109 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10122 -x10123
902.17/902.50	v -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139
902.17/902.50	v -x10140 -x10141 -x10142 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10155 -x10156
902.17/902.50	v -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173
902.17/902.50	v -x10174 -x10175 -x10176 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10189 -x10190
902.17/902.50	v -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206
902.17/902.50	v -x10207 -x10208 -x10209 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10222 -x10223
902.17/902.50	v -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239
902.17/902.50	v -x10240 -x10241 -x10242 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10255 -x10256
902.17/902.50	v -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272
902.17/902.50	v -x10273 -x10274 -x10275 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10290 -x10291
902.17/902.50	v -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307
902.17/902.50	v -x10308 -x10309 -x10310 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 x10320 -x10321 -x10323 -x10324
902.17/902.50	v -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340
902.17/902.50	v -x10341 -x10342 -x10343 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10356 -x10357
902.17/902.50	v -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373
902.17/902.50	v -x10374 -x10375 -x10376 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10390 -x10391
902.17/902.50	v -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407
902.17/902.50	v -x10408 -x10409 -x10410 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10423 -x10424
902.17/902.50	v -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440
902.17/902.50	v -x10441 -x10442 -x10443 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10456 -x10457
902.17/902.50	v -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473
902.17/902.50	v -x10474 -x10475 -x10476 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10489 -x10490
902.17/902.50	v -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507
902.17/902.50	v -x10508 -x10509 -x10510 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10523 -x10524
902.17/902.50	v -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540
902.17/902.50	v -x10541 -x10542 -x10543 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10556 -x10557
902.17/902.50	v -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573
902.17/902.50	v -x10574 -x10575 -x10576 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10589 -x10590
902.17/902.50	v -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606
902.17/902.50	v -x10607 -x10608 -x10609 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10623 -x10624
902.17/902.50	v -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640
902.17/902.50	v -x10641 -x10642 -x10643 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10656 -x10657
902.17/902.50	v -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10667 -x10668 -x10669 -x10670 -x10671 x10672 -x10673
902.17/902.50	v -x10674 -x10675 -x10676 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10689 -x10690
902.17/902.50	v -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706
902.17/902.50	v -x10707 -x10708 -x10709 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10723 -x10724
902.17/902.50	v -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740
902.17/902.50	v -x10741 -x10742 -x10743 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10756 -x10757
902.17/902.50	v -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773
902.17/902.50	v -x10774 -x10775 -x10776 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10789 -x10790
902.17/902.50	v -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806
902.17/902.50	v -x10807 -x10808 -x10809 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10822 -x10823
902.17/902.50	v -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840
902.17/902.50	v -x10841 -x10842 -x10843 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10856 -x10857
902.17/902.50	v -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873
902.17/902.50	v -x10874 -x10875 -x10876 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10889 -x10890
902.17/902.50	v -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906
902.17/902.50	v -x10907 -x10908 -x10909 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10922 -x10923
902.17/902.50	v -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939
902.17/902.50	v -x10940 -x10941 -x10942 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10956 -x10957
902.17/902.50	v -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973
902.17/902.50	v -x10974 -x10975 -x10976 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10989 -x10990
902.17/902.50	v -x10991 -x10992 -x10993 -x10994 x10995 -x10996 -x10997 -x10998 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006
902.17/902.50	v -x11007 -x11008 -x11009 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11022 -x11023
902.17/902.50	v -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 -x11039
902.17/902.50	v -x11040 -x11041 -x11042 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11056 -x11057
902.17/902.50	v -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073
902.17/902.50	v -x11074 -x11075 -x11076 -x11078 -x11079 -x11080 -x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11089 -x11090
902.17/902.50	v -x11091 -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106
902.17/902.50	v -x11107 -x11108 -x11109 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 -x11117 -x11118 -x11119 -x11120 -x11122 -x11123
902.17/902.50	v -x11124 -x11125 -x11126 -x11127 -x11128 -x11129 -x11130 -x11131 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139
902.17/902.50	v -x11140 -x11141 -x11142 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 -x11153 -x11155 -x11156
902.17/902.50	v -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 -x11163 -x11164 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173
902.17/902.50	v -x11174 -x11175 -x11176 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11189 -x11190
902.17/902.50	v -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11200 -x11201 -x11202 -x11203 -x11204 -x11205 -x11206
902.17/902.50	v -x11207 -x11208 -x11209 -x11211 -x11212 -x11213 -x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220 -x11222 -x11223
902.17/902.50	v -x11224 -x11225 -x11226 -x11227 -x11228 -x11229 -x11230 -x11231 -x11233 -x11234 -x11235 -x11236 -x11237 -x11238 -x11239
902.17/902.50	v -x11240 -x11241 -x11242 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 -x11252 -x11253 -x11255 -x11256
902.17/902.50	v -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11266 -x11267 -x11268 -x11269 -x11270 -x11271 -x11272
902.17/902.50	v -x11273 -x11274 -x11275 -x11278 -x11279 -x11280 -x11281 -x11282 -x11283 -x11284 -x11285 -x11286 -x11287 -x11289 -x11290
902.17/902.50	v -x11291 -x11292 -x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11300 -x11301 -x11302 -x11303 -x11304 -x11305 -x11306
902.17/902.50	v -x11307 -x11308 -x11309 -x11311 -x11312 -x11313 -x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 -x11322 -x11323
902.17/902.50	v -x11324 -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339
902.17/902.50	v -x11340 -x11341 -x11342 -x11344 -x11345 -x11346 -x11347 -x11348 -x11349 -x11350 -x11351 -x11352 -x11353 -x11355 -x11356
902.17/902.50	v -x11357 -x11358 -x11359 -x11360 -x11361 -x11362 -x11363 -x11364 -x11366 -x11367 -x11368 -x11369 -x11370 -x11371 -x11372
902.17/902.50	v -x11373 -x11374 -x11375 -x11377 -x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386 -x11390 -x11391
902.17/902.50	v -x11392 -x11393 -x11394 -x11395 -x11396 -x11397 -x11398 -x11399 -x11401 -x11402 -x11403 -x11404 -x11405 -x11406 -x11407
902.17/902.50	v -x11408 -x11409 -x11410 -x11412 -x11413 -x11414 -x11415 -x11416 -x11417 -x11418 -x11419 -x11420 -x11421 -x11423 -x11424
902.17/902.50	v -x11425 -x11426 -x11427 -x11428 -x11429 -x11430 -x11431 -x11432 -x11434 -x11435 -x11436 -x11437 -x11438 -x11439 -x11440
902.17/902.50	v -x11441 -x11442 -x11443 -x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11456 -x11457
902.17/902.50	v -x11458 -x11459 -x11460 -x11461 -x11462 -x11463 -x11464 -x11465 -x11467 -x11468 -x11469 -x11470 -x11471 -x11472 -x11473
902.17/902.50	v -x11474 -x11475 -x11476 -x11478 -x11479 -x11480 -x11481 -x11482 -x11483 -x11484 -x11485 -x11486 -x11487 -x11489 -x11490
902.17/902.50	v -x11491 -x11492 -x11493 -x11494 -x11495 -x11496 -x11497 -x11498 -x11501 -x11502 -x11503 -x11504 -x11505 -x11506 -x11507
902.17/902.50	v -x11508 -x11509 -x11510 -x11512 -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520 -x11521 -x11523 -x11524
902.17/902.50	v -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11534 -x11535 -x11536 -x11537 -x11538 -x11539 -x11540
902.17/902.50	v -x11541 -x11542 -x11543 -x11545 -x11546 -x11547 -x11548 -x11549 -x11550 -x11551 -x11552 -x11553 -x11554 -x11556 -x11557
902.17/902.50	v -x11558 -x11559 -x11560 -x11561 -x11562 -x11563 -x11564 -x11565 -x11567 -x11568 -x11569 -x11570 -x11571 -x11572 -x11573
902.17/902.50	v -x11574 -x11575 -x11576 -x11578 -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11587 -x11589 -x11590
902.17/902.50	v -x11591 -x11592 -x11593 -x11594 -x11595 -x11596 -x11597 -x11598 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606
902.17/902.50	v -x11607 -x11608 -x11609 -x11612 -x11613 -x11614 -x11615 -x11616 -x11617 -x11618 -x11619 -x11620 -x11621 -x11623 -x11624
902.17/902.50	v -x11625 -x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639 -x11640
902.17/902.50	v -x11641 -x11642 -x11643 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654 -x11656 -x11657
902.17/902.50	v -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11667 -x11668 -x11669 -x11670 -x11671 -x11672 -x11673
902.17/902.50	v -x11674 -x11675 -x11676 -x11678 -x11679 -x11680 -x11681 -x11682 -x11683 -x11684 -x11685 -x11686 -x11687 -x11689 -x11690
902.17/902.50	v -x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11700 -x11701 -x11702 -x11703 -x11704 -x11705 -x11706
902.17/902.50	v -x11707 -x11708 -x11709 -x11711 -x11712 -x11713 -x11714 -x11715 -x11716 -x11717 -x11718 -x11719 -x11720 -x11723 -x11724
902.17/902.50	v -x11725 -x11726 -x11727 -x11728 -x11729 -x11730 -x11731 -x11732 -x11734 -x11735 -x11736 -x11737 -x11738 -x11739 -x11740
902.17/902.50	v -x11741 -x11742 -x11743 -x11745 -x11746 -x11747 -x11748 -x11749 -x11750 -x11751 -x11752 -x11753 -x11754 -x11756 -x11757
902.17/902.50	v -x11758 -x11759 -x11760 -x11761 -x11762 -x11763 -x11764 -x11765 -x11767 -x11768 -x11769 -x11770 -x11771 -x11772 -x11773
902.17/902.50	v -x11774 -x11775 -x11776 -x11778 -x11779 -x11780 -x11781 -x11782 -x11783 -x11784 -x11785 -x11786 -x11787 -x11789 -x11790
902.17/902.50	v -x11791 -x11792 -x11793 -x11794 -x11795 -x11796 -x11797 -x11798 -x11800 -x11801 -x11802 -x11803 -x11804 -x11805 -x11806
902.17/902.50	v -x11807 -x11808 -x11809 -x11811 -x11812 -x11813 -x11814 -x11815 -x11816 -x11817 -x11818 -x11819 -x11820 -x11822 -x11823
902.17/902.50	v -x11824 -x11825 -x11826 -x11827 -x11828 -x11829 -x11830 -x11831 -x11834 x11835 -x11836 -x11837 -x11838 -x11839 -x11840
902.17/902.50	v -x11841 -x11842 -x11843 -x11845 x11846 -x11847 -x11848 -x11849 -x11850 -x11851 -x11852 -x11853 -x11854 -x11856 -x11857
902.17/902.50	v -x11858 -x11859 -x11860 -x11861 -x11862 -x11863 -x11864 -x11865 -x11867 -x11868 -x11869 -x11870 -x11871 -x11872 -x11873
902.17/902.50	v -x11874 -x11875 -x11876 -x11878 -x11879 -x11880 -x11881 -x11882 -x11883 -x11884 -x11885 -x11886 -x11887 -x11889 -x11890
902.17/902.50	v -x11891 -x11892 -x11893 -x11894 -x11895 -x11896 -x11897 -x11898 -x11900 -x11901 -x11902 -x11903 -x11904 -x11905 -x11906
902.17/902.50	v -x11907 -x11908 -x11909 -x11911 -x11912 -x11913 -x11914 -x11915 -x11916 -x11917 -x11918 -x11919 -x11920 -x11922 -x11923
902.17/902.50	v -x11924 -x11925 -x11926 -x11927 -x11928 -x11929 -x11930 -x11931 -x11933 -x11934 -x11935 -x11936 -x11937 -x11938 -x11939
902.17/902.50	v -x11940 -x11941 -x11942 -x11945 -x11946 -x11947 -x11948 -x11949 -x11950 -x11951 -x11952 -x11953 -x11954 -x11956 -x11957
902.17/902.50	v -x11958 -x11959 -x11960 -x11961 -x11962 -x11963 -x11964 -x11965 -x11967 -x11968 -x11969 -x11970 -x11971 -x11972 -x11973
902.17/902.50	v -x11974 -x11975 -x11976 -x11978 -x11979 -x11980 -x11981 -x11982 -x11983 -x11984 -x11985 -x11986 -x11987 -x11989 -x11990
902.17/902.50	v -x11991 -x11992 -x11993 -x11994 -x11995 -x11996 -x11997 -x11998 -x12000 -x12001 -x12002 -x12003 -x12004 -x12005 -x12006
902.17/902.50	v -x12007 -x12008 -x12009 -x12011 -x12012 -x12013 -x12014 -x12015 -x12016 -x12017 -x12018 -x12019 -x12020 -x12022 -x12023
902.17/902.50	v -x12024 -x12025 -x12026 -x12027 -x12028 -x12029 -x12030 -x12031 -x12033 -x12034 -x12035 -x12036 -x12037 -x12038 -x12039
902.17/902.50	v -x12040 -x12041 -x12042 -x12044 -x12045 -x12046 -x12047 -x12048 -x12049 -x12050 -x12051 -x12052 -x12053 -x12056 -x12057
902.17/902.50	v -x12058 -x12059 -x12060 -x12061 -x12062 -x12063 -x12064 -x12065 -x12067 -x12068 -x12069 -x12070 -x12071 -x12072 -x12073
902.17/902.50	v -x12074 -x12075 -x12076 -x12078 -x12079 -x12080 -x12081 -x12082 -x12083 -x12084 -x12085 -x12086 -x12087 -x12089 -x12090
902.17/902.50	v -x12091 -x12092 -x12093 -x12094 -x12095 -x12096 -x12097 -x12098 -x12100 -x12101 -x12102 -x12103 -x12104 -x12105 -x12106
902.17/902.50	v -x12107 -x12108 -x12109 -x12111 -x12112 -x12113 -x12114 -x12115 -x12116 -x12117 -x12118 -x12119 -x12120 -x12122 -x12123
902.17/902.50	v -x12124 -x12125 -x12126 -x12127 -x12128 -x12129 -x12130 -x12131 -x12133 -x12134 -x12135 -x12136 -x12137 -x12138 -x12139
902.17/902.50	v -x12140 -x12141 -x12142 -x12144 -x12145 -x12146 -x12147 -x12148 -x12149 -x12150 -x12151 -x12152 -x12153 -x12155 -x12156
902.17/902.50	v -x12157 -x12158 -x12159 -x12160 -x12161 -x12162 -x12163 -x12164 -x12167 -x12168 -x12169 -x12170 -x12171 -x12172 -x12173
902.17/902.50	v -x12174 -x12175 -x12176 -x12178 -x12179 -x12180 -x12181 -x12182 -x12183 -x12184 -x12185 -x12186 -x12187 -x12189 -x12190
902.17/902.50	v -x12191 -x12192 -x12193 -x12194 -x12195 -x12196 -x12197 -x12198 -x12200 -x12201 -x12202 -x12203 -x12204 -x12205 -x12206
902.17/902.50	v -x12207 -x12208 -x12209 -x12211 -x12212 -x12213 -x12214 -x12215 -x12216 -x12217 -x12218 -x12219 -x12220 -x12222 -x12223
902.17/902.50	v -x12224 -x12225 -x12226 -x12227 -x12228 -x12229 -x12230 -x12231 -x12233 -x12234 -x12235 -x12236 -x12237 -x12238 -x12239
902.17/902.50	v -x12240 -x12241 -x12242 -x12244 -x12245 -x12246 -x12247 -x12248 -x12249 -x12250 -x12251 -x12252 -x12253 -x12255 -x12256
902.17/902.50	v -x12257 -x12258 -x12259 -x12260 -x12261 -x12262 -x12263 -x12264 -x12266 -x12267 -x12268 -x12269 -x12270 -x12271 -x12272
902.17/902.50	v -x12273 -x12274 -x12275 -x12278 -x12279 -x12280 -x12281 -x12282 -x12283 -x12284 -x12285 -x12286 -x12287 -x12289 -x12290
902.17/902.50	v -x12291 -x12292 -x12293 -x12294 -x12295 -x12296 -x12297 -x12298 -x12300 -x12301 -x12302 -x12303 -x12304 -x12305 -x12306
902.17/902.50	v -x12307 x12308 -x12309 -x12311 -x12312 -x12313 -x12314 -x12315 -x12316 -x12317 -x12318 -x12319 -x12320 -x12322 -x12323
902.17/902.50	v -x12324 -x12325 -x12326 -x12327 -x12328 -x12329 -x12330 -x12331 -x12333 -x12334 -x12335 -x12336 -x12337 -x12338 -x12339
902.17/902.50	v -x12340 -x12341 -x12342 -x12344 -x12345 -x12346 -x12347 -x12348 -x12349 -x12350 -x12351 -x12352 -x12353 -x12355 -x12356
902.17/902.50	v -x12357 -x12358 -x12359 -x12360 -x12361 -x12362 -x12363 -x12364 -x12366 -x12367 -x12368 -x12369 -x12370 -x12371 -x12372
902.17/902.50	v -x12373 -x12374 -x12375 -x12377 -x12378 -x12379 -x12380 -x12381 -x12382 -x12383 -x12384 -x12385 -x12386 -x12389 -x12390
902.17/902.50	v -x12391 -x12392 -x12393 -x12394 -x12395 -x12396 -x12397 -x12398 -x12400 -x12401 -x12402 -x12403 -x12404 -x12405 -x12406
902.17/902.50	v -x12407 -x12408 -x12409 -x12411 -x12412 -x12413 -x12414 -x12415 -x12416 -x12417 -x12418 -x12419 -x12420 -x12422 -x12423
902.17/902.50	v -x12424 -x12425 -x12426 -x12427 -x12428 -x12429 -x12430 -x12431 -x12433 -x12434 -x12435 -x12436 -x12437 -x12438 -x12439
902.17/902.50	v -x12440 -x12441 -x12442 -x12444 -x12445 -x12446 -x12447 -x12448 -x12449 -x12450 -x12451 -x12452 -x12453 -x12455 -x12456
902.17/902.50	v -x12457 -x12458 -x12459 -x12460 -x12461 -x12462 -x12463 -x12464 -x12466 -x12467 -x12468 -x12469 -x12470 -x12471 -x12472
902.17/902.50	v -x12473 -x12474 -x12475 -x12477 -x12478 -x12479 -x12480 -x12481 -x12482 -x12483 -x12484 -x12485 -x12486 -x12488 -x12489
902.17/902.50	v -x12490 -x12491 -x12492 -x12493 -x12494 -x12495 -x12496 -x12497 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x16 -x17 -x18
902.17/902.50	v -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46
902.17/902.50	v -x47 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x71 -x72 -x73 -x74 -x75
902.17/902.50	v -x76 -x77 -x78 -x79 -x80 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102
902.17/902.50	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x127
902.17/902.50	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x149 -x150
902.17/902.50	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x171 -x172 -x173
902.17/902.50	v -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x193 -x194 -x195 -x196
902.17/902.50	v -x197 -x198 -x199 -x200 -x201 -x202 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x215 -x216 -x217 -x218 -x219
902.17/902.50	v -x220 -x221 -x222 -x223 -x224 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x238 -x239 -x240 -x241 -x242 -x243
902.17/902.50	v -x244 -x245 -x246 -x247 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x260 -x261 -x262 -x263 -x264 -x265 -x266
902.17/902.50	v -x267 -x268 -x269 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289
902.17/902.50	v -x290 -x291 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
902.17/902.50	v -x313 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
902.17/902.50	v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x360
902.17/902.50	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x382 -x383
902.17/902.50	v -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x404 -x405 -x406
902.17/902.50	v -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x426 -x427 -x428 -x429
902.17/902.50	v -x430 -x431 -x432 -x433 -x434 -x435 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x449 -x450 -x451 -x452 -x453
902.17/902.50	v -x454 -x455 -x456 -x457 -x458 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x471 -x472 -x473 -x474 -x475 -x476
902.17/902.50	v -x477 -x478 -x479 -x480 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x493 -x494 -x495 -x496 -x497 -x498 -x499
902.17/902.50	v -x500 -x501 -x502 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
902.17/902.50	v -x523 -x524 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
902.17/902.50	v -x546 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569
902.17/902.50	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x593
902.17/902.50	v -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x615 -x616
902.17/902.50	v -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x637 -x638 -x639
902.17/902.50	v -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x659 -x660 -x661 -x662
902.17/902.50	v -x663 -x664 -x665 -x666 -x667 -x668 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x682 -x683 -x684 -x685 -x686
902.17/902.50	v -x687 -x688 -x689 -x690 -x691 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x704 -x705 -x706 -x707 -x708 -x709
902.17/902.50	v -x710 -x711 -x712 -x713 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x726 -x727 -x728 -x729 -x730 -x731 -x732
902.17/902.50	v -x733 -x734 -x735 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
902.17/902.50	v -x756 -x757 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778
902.17/902.50	v -x779 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802
902.17/902.50	v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x826
902.17/902.50	v -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x848 -x849
902.17/902.50	v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x870 -x871 -x872
902.17/902.50	v -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x893 -x894 -x895 -x896
902.17/902.50	v -x897 -x898 -x899 -x900 -x901 -x902 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x915 -x916 -x917 -x918 -x919
902.17/902.50	v -x920 -x921 -x922 -x923 -x924 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x937 -x938 -x939 -x940 -x941 -x942
902.17/902.50	v -x943 -x944 -x945 -x946 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x959 -x960 -x961 -x962 -x963 -x964 -x965
902.17/902.50	v -x966 -x967 -x968 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988
902.17/902.50	v -x989 -x990 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
902.17/902.50	v -x1011 -x1012 -x1013 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1026 -x1027 -x1028 -x1029
902.17/902.50	v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1048
902.17/902.50	v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066
902.17/902.50	v -x1067 -x1068 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1081 -x1082 -x1083 -x1084 -x1085
902.17/902.50	v -x1086 x1087 -x1088 -x1089 -x1090 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1103 -x1104
902.17/902.50	v -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
902.17/902.50	v -x1125 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143
902.17/902.50	v -x1144 -x1145 -x1146 -x1147 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1160 -x1161 -x1162
902.17/902.50	v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
902.17/902.50	v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199
902.17/902.50	v -x1200 -x1201 -x1202 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1215 -x1216 -x1217 -x1218
902.17/902.50	v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1238
902.17/902.50	v x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256
902.17/902.50	v -x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1271 -x1272 -x1273 -x1274 -x1275
902.17/902.50	v -x1276 -x1277 -x1278 -x1279 -x1280 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1293 -x1294
902.17/902.50	v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312
902.17/902.50	v -x1313 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331
902.17/902.50	v -x1332 -x1333 -x1334 -x1335 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1349 -x1350 x1351
902.17/902.50	v -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369
902.17/902.50	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388
902.17/902.50	v -x1389 -x1390 -x1391 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1404 -x1405 -x1406 -x1407
902.17/902.50	v -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1426
902.17/902.50	v -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444
902.17/902.50	v -x1445 -x1446 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1460 -x1461 -x1462 -x1463 -x1464
902.17/902.50	v -x1465 -x1466 -x1467 -x1468 -x1469 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1482 -x1483
902.17/902.50	v -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501
902.17/902.50	v -x1502 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
902.17/902.50	v -x1521 -x1522 -x1523 -x1524 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1537 -x1538 -x1539
902.17/902.50	v -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557
902.17/902.50	v -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577
902.17/902.50	v -x1578 -x1579 -x1580 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1593 -x1594 -x1595 -x1596
902.17/902.50	v -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1615
902.17/902.50	v -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633
902.17/902.50	v -x1634 -x1635 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1648 -x1649 -x1650 -x1651 -x1652
902.17/902.50	v -x1653 -x1654 -x1655 -x1656 -x1657 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1671 -x1672
902.17/902.50	v -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
902.17/902.50	v -x1691 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 x1702 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709
902.17/902.50	v -x1710 -x1711 -x1712 -x1713 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1726 -x1727 -x1728
902.17/902.50	v -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746
902.17/902.50	v -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765
902.17/902.50	v -x1766 -x1767 -x1768 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1782 -x1783 -x1784 -x1785
902.17/902.50	v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1804
902.17/902.50	v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822
902.17/902.50	v -x1823 -x1824 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1837 -x1838 -x1839 -x1840 -x1841
902.17/902.50	v -x1842 -x1843 -x1844 -x1845 -x1846 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1859 -x1860
902.17/902.50	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878
902.17/902.50	v -x1879 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898
902.17/902.50	v -x1899 -x1900 -x1901 -x1902 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1915 -x1916 -x1917
902.17/902.50	v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935
902.17/902.50	v -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954
902.17/902.50	v -x1955 -x1956 -x1957 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1970 -x1971 -x1972 -x1973
902.17/902.50	v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1992
902.17/902.50	v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011
902.17/902.50	v -x2012 -x2013 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2026 -x2027 -x2028 -x2029 -x2030
902.17/902.50	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2048 -x2049
902.17/902.50	v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067
902.17/902.50	v -x2068 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086
902.17/902.50	v -x2087 -x2088 -x2089 -x2090 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2103 -x2104 -x2105
902.17/902.50	v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124
902.17/902.50	v -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143
902.17/902.50	v -x2144 -x2145 -x2146 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2159 -x2160 -x2161 -x2162
902.17/902.50	v -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2181
902.17/902.50	v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199
902.17/902.50	v -x2200 -x2201 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2214 -x2215 -x2216 -x2217 -x2218
902.17/902.50	v -x2219 -x2220 -x2221 -x2222 -x2223 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2238 -x2239
902.17/902.50	v -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257
902.17/902.50	v -x2258 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276
902.17/902.50	v -x2277 -x2278 -x2279 -x2280 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2293 -x2294 -x2295
902.17/902.50	v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313
902.17/902.50	v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332
902.17/902.50	v -x2333 -x2334 -x2335 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2349 -x2350 -x2351 -x2352
902.17/902.50	v -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2371
902.17/902.50	v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389
902.17/902.50	v -x2390 -x2391 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2404 -x2405 -x2406 -x2407 -x2408
902.17/902.50	v -x2409 -x2410 -x2411 -x2412 -x2413 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2426 -x2427
902.17/902.50	v -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445
902.17/902.50	v -x2446 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465
902.17/902.50	v -x2466 -x2467 -x2468 -x2469 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 x2479 -x2480 -x2482 -x2483 -x2484
902.17/902.50	v -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502
902.17/902.50	v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521
902.17/902.50	v -x2522 -x2523 -x2524 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2537 -x2538 -x2539 -x2540
902.17/902.50	v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2560
902.17/902.50	v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578
902.17/902.50	v -x2579 -x2580 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 -x2589 -x2590 -x2591 -x2593 -x2594 -x2595 -x2596 -x2597
902.17/902.50	v -x2598 -x2599 -x2600 -x2601 -x2602 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2615 -x2616
902.17/902.50	v -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634
902.17/902.50	v -x2635 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653
902.17/902.50	v -x2654 -x2655 -x2656 -x2657 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2671 -x2672 -x2673
902.17/902.50	v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691
902.17/902.50	v -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
902.17/902.50	v -x2711 -x2712 -x2713 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2726 -x2727 -x2728 -x2729
902.17/902.50	v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2748
902.17/902.50	v -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766
902.17/902.50	v -x2767 -x2768 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777
902.17/902.51	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
902.17/902.51	c   34    81232  50766  1868778    82257 143776363  81239     90 902.19
902.17/902.51	c Objective: 4617640126
902.17/902.51	s SATISFIABLE
902.17/902.51	c Total time: 902.189 s

OK	4617640126

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node58/watcher-354170-1176697485 -o ROOT/results/node58/solver-354170-1176697485 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354170-1176697485/instance-354170-1176697485.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: 1.14 1.06 1.01 3/64 28371
/proc/meminfo: memFree=1850216/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=14800 CPUtime=0
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 117658166 15155200 335 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 3700 335 281 324 0 2003 0

[startup+0.0302541 s]
/proc/loadavg: 1.14 1.06 1.01 3/64 28371
/proc/meminfo: memFree=1850216/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=15676 CPUtime=0.02
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 640 0 0 0 2 0 0 0 18 0 1 0 117658166 16052224 608 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134538940 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 3919 608 332 324 0 2222 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15676

[startup+0.101266 s]
/proc/loadavg: 1.14 1.06 1.01 3/64 28371
/proc/meminfo: memFree=1850216/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=16432 CPUtime=0.09
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 903 0 0 0 9 0 0 0 18 0 1 0 117658166 16826368 871 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134525198 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 4108 871 420 324 0 2411 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16432

[startup+0.301299 s]
/proc/loadavg: 1.14 1.06 1.01 3/64 28371
/proc/meminfo: memFree=1850216/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=10036 CPUtime=0.29
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 1507 0 0 0 29 0 0 0 19 0 1 0 117658166 10276864 1475 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134539210 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 2509 1475 669 324 0 812 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10036

[startup+0.701366 s]
/proc/loadavg: 1.14 1.06 1.01 3/64 28371
/proc/meminfo: memFree=1850216/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=13372 CPUtime=0.69
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 3475 0 0 0 67 2 0 0 22 0 1 0 117658166 13692928 2677 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 3343 2679 306 324 0 2412 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13372

[startup+1.5015 s]
/proc/loadavg: 1.13 1.06 1.01 2/65 28372
/proc/meminfo: memFree=1838688/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=14856 CPUtime=1.49
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 4038 0 0 0 144 5 0 0 25 0 1 0 117658166 15212544 3108 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 3714 3108 312 324 0 2783 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14856

[startup+3.10177 s]
/proc/loadavg: 1.13 1.06 1.01 2/65 28372
/proc/meminfo: memFree=1836896/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=22740 CPUtime=3.09
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 5990 0 0 0 302 7 0 0 25 0 1 0 117658166 23285760 5060 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 5685 5060 312 324 0 4754 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22740

[startup+6.3013 s]
/proc/loadavg: 1.13 1.06 1.01 2/65 28372
/proc/meminfo: memFree=1823400/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=34704 CPUtime=6.29
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 8998 0 0 0 618 11 0 0 25 0 1 0 117658166 35536896 8068 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 8676 8068 312 324 0 7745 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34704

[startup+12.7014 s]
/proc/loadavg: 1.11 1.05 1.01 2/65 28372
/proc/meminfo: memFree=1788648/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=67924 CPUtime=12.68
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 17284 0 0 0 1249 19 0 0 25 0 1 0 117658166 69554176 16354 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 16981 16354 312 324 0 16050 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 67924

[startup+25.5015 s]
/proc/loadavg: 1.09 1.05 1.01 2/65 28372
/proc/meminfo: memFree=1736872/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=117616 CPUtime=25.48
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 29715 0 0 0 2521 27 0 0 25 0 1 0 117658166 120438784 28785 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 29404 28785 312 324 0 28473 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 117616

[startup+51.1018 s]
/proc/loadavg: 1.06 1.05 1.00 2/65 28372
/proc/meminfo: memFree=1667880/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=186552 CPUtime=51.07
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 46948 0 0 0 5067 40 0 0 25 0 1 0 117658166 191029248 46018 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 46638 46018 312 324 0 45707 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 186552

[startup+102.304 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 28372
/proc/meminfo: memFree=1525736/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=327812 CPUtime=102.25
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 82274 0 0 0 10156 69 0 0 25 0 1 0 117658166 335679488 81334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 81953 81334 312 324 0 81022 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 327812

[startup+162.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 28372
/proc/meminfo: memFree=1392168/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=462188 CPUtime=162.23
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 115855 0 0 0 16127 96 0 0 25 0 1 0 117658166 473280512 114915 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5304089 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 115547 114915 312 324 0 114616 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 462188

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 28372
/proc/meminfo: memFree=1273640/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=579564 CPUtime=222.21
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 145216 0 0 0 22106 115 0 0 25 0 1 0 117658166 593473536 144276 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 144891 144276 312 324 0 143960 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 579564

[startup+282.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 28372
/proc/meminfo: memFree=1166568/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=686660 CPUtime=282.19
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 171993 0 0 0 28088 131 0 0 25 0 1 0 117658166 703139840 171053 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134572783 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 171665 171053 312 324 0 170734 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 686660

[startup+342.302 s]
/proc/loadavg: 1.08 1.04 1.00 2/65 28372
/proc/meminfo: memFree=1084008/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=768840 CPUtime=342.17
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 192532 0 0 0 34074 143 0 0 25 0 1 0 117658166 787292160 191592 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 192210 191592 312 324 0 191279 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 768840

[startup+402.302 s]
/proc/loadavg: 1.22 1.09 1.02 2/65 28372
/proc/meminfo: memFree=936104/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=918372 CPUtime=402.15
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 229919 0 0 0 40055 160 0 0 25 0 1 0 117658166 940412928 228979 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551108 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 229593 228979 312 324 0 228662 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 918372

[startup+462.302 s]
/proc/loadavg: 1.08 1.07 1.01 2/65 28372
/proc/meminfo: memFree=803816/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=1048680 CPUtime=462.12
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 262491 0 0 0 46022 190 0 0 25 0 1 0 117658166 1073848320 261546 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 262170 261547 312 324 0 261239 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 1048680

[startup+522.302 s]
/proc/loadavg: 1.03 1.05 1.01 2/65 28372
/proc/meminfo: memFree=726696/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=1126696 CPUtime=522.1
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 281983 0 0 0 52001 209 0 0 25 0 1 0 117658166 1153736704 281038 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 281674 281038 312 324 0 280743 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 1126696

[startup+582.302 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 28372
/proc/meminfo: memFree=610984/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=1241196 CPUtime=582.08
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 310628 0 0 0 57979 229 0 0 25 0 1 0 117658166 1270984704 309683 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 310299 309683 312 324 0 309368 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 1241196

[startup+642.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 28372
/proc/meminfo: memFree=516968/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=1334188 CPUtime=642.07
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 333875 0 0 0 63967 240 0 0 25 0 1 0 117658166 1366208512 332930 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 333547 332930 312 324 0 332616 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 1334188

[startup+702.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 28372
/proc/meminfo: memFree=440616/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=1411852 CPUtime=702.04
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 353298 0 0 0 69952 252 0 0 25 0 1 0 117658166 1445736448 352353 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 352963 352353 312 324 0 352032 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 1411852

[startup+762.305 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 28372
/proc/meminfo: memFree=309544/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=1541292 CPUtime=762.02
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 385653 0 0 0 75927 275 0 0 25 0 1 0 117658166 1578283008 384708 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 385323 384708 312 324 0 384392 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 1541292

[startup+822.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 28372
/proc/meminfo: memFree=214312/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=1638784 CPUtime=822
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 410020 0 0 0 81907 293 0 0 25 0 1 0 117658166 1678114816 409075 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160521818 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 409696 409075 312 324 0 408765 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 1638784

[startup+882.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 28374
/proc/meminfo: memFree=52712/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=1798172 CPUtime=881.98
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 449870 0 0 0 87888 310 0 0 25 0 1 0 117658166 1841328128 448925 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 449543 448925 312 324 0 448612 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 1798172



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+902.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28374
/proc/meminfo: memFree=16360/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=1843304 CPUtime=902.17
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194304 461150 0 0 0 89902 315 0 0 25 0 1 0 117658166 1887543296 460205 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 460826 460205 312 324 0 459895 0
Current children cumulated CPU time (s) 902.17
Current children cumulated vsize (KiB) 1843304

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+902.606 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28374
/proc/meminfo: memFree=16360/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=0 CPUtime=902.27
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194308 461151 0 0 0 89903 324 0 0 25 0 1 0 117658166 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 902.27
Current children cumulated vsize (KiB) 0

[startup+902.801 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28374
/proc/meminfo: memFree=16360/2055920 swapFree=4184484/4192956
[pid=28371] ppid=28369 vsize=0 CPUtime=902.47
/proc/28371/stat : 28371 (bsolo3.0.16) R 28369 28371 27619 0 -1 4194308 461151 0 0 0 89903 344 0 0 25 0 1 0 117658166 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/28371/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 902.47
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 902.809
CPU time (s): 902.488
CPU user time (s): 899.037
CPU system time (s): 3.45048
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 1843304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 899.037
system time used= 3.45047
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 461151
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 2086

runsolver used 0.615906 second user time and 1.86572 second system time

The end

Begin job on node58 on Mon Apr 16 04:24:45 UTC 2007

IDJOB= 354170
IDBENCH= 2368
IDSOLVER= 163
FILE ID= node58/354170-1176697485

PBS_JOBID= 4560000

Free space on /tmp= 66499 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ic.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354170-1176697485/instance-354170-1176697485.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-354170-1176697485 -o ROOT/results/node58/solver-354170-1176697485 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354170-1176697485/instance-354170-1176697485.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  c77552a75b60da899e6952498f2b4d56

RANDOM SEED= 475213307

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:       1850624 kB
Buffers:         24724 kB
Cached:          99340 kB
SwapCached:       2416 kB
Active:          41212 kB
Inactive:       105932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1850624 kB
SwapTotal:     4192956 kB
SwapFree:      4184484 kB
Dirty:            7448 kB
Writeback:           0 kB
Mapped:          29160 kB
Slab:            44208 kB
Committed_AS:   891640 kB
PageTables:       1412 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= 66499 MiB

End job on node58 on Mon Apr 16 04:39:49 UTC 2007