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

OK	637

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

command line: runsolver --timestamp -w ROOT/results/node74/watcher-353293-1176661497 -o ROOT/results/node74/solver-353293-1176661497 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353293-1176661497/instance-353293-1176661497.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.98 3/66 1713
/proc/meminfo: memFree=1782744/2055920 swapFree=4183824/4192956
[pid=1713] ppid=1711 vsize=12328 CPUtime=0
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 114064429 12623872 336 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 3082 336 281 324 0 2003 0

[startup+0.0426431 s]
/proc/loadavg: 0.92 0.97 0.98 3/66 1713
/proc/meminfo: memFree=1782744/2055920 swapFree=4183824/4192956
[pid=1713] ppid=1711 vsize=5840 CPUtime=0.03
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194304 731 0 0 0 3 0 0 0 18 0 1 0 114064429 5980160 699 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 1460 699 330 324 0 381 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5840

[startup+0.101649 s]
/proc/loadavg: 0.92 0.97 0.98 3/66 1713
/proc/meminfo: memFree=1782744/2055920 swapFree=4183824/4192956
[pid=1713] ppid=1711 vsize=6656 CPUtime=0.09
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194304 1034 0 0 0 9 0 0 0 18 0 1 0 114064429 6815744 1002 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 1664 1002 405 324 0 585 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6656

[startup+0.301672 s]
/proc/loadavg: 0.92 0.97 0.98 3/66 1713
/proc/meminfo: memFree=1782744/2055920 swapFree=4183824/4192956
[pid=1713] ppid=1711 vsize=8860 CPUtime=0.29
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194304 1984 0 0 0 27 2 0 0 19 0 1 0 114064429 9072640 1568 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 2215 1568 313 324 0 1284 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8860

[startup+0.701718 s]
/proc/loadavg: 0.92 0.97 0.98 3/66 1713
/proc/meminfo: memFree=1782744/2055920 swapFree=4183824/4192956
[pid=1713] ppid=1711 vsize=9184 CPUtime=0.69
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194304 2073 0 0 0 66 3 0 0 23 0 1 0 114064429 9404416 1657 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 2296 1657 313 324 0 1365 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9184

[startup+1.50181 s]
/proc/loadavg: 0.92 0.97 0.98 2/67 1714
/proc/meminfo: memFree=1776976/2055920 swapFree=4183824/4192956
[pid=1713] ppid=1711 vsize=11816 CPUtime=1.49
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194304 2738 0 0 0 146 3 0 0 25 0 1 0 114064429 12099584 2322 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551557 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 2954 2322 313 324 0 2023 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11816

[startup+3.10199 s]
/proc/loadavg: 0.92 0.97 0.98 3/67 1714
/proc/meminfo: memFree=1772816/2055920 swapFree=4183824/4192956
[pid=1713] ppid=1711 vsize=22672 CPUtime=3.09
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194304 5462 0 0 0 305 4 0 0 25 0 1 0 114064429 23216128 5046 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10191228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 5701 5047 313 324 0 4770 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22672

[startup+6.30136 s]
/proc/loadavg: 0.93 0.97 0.98 2/67 1714
/proc/meminfo: memFree=1759832/2055920 swapFree=4183824/4192956
[pid=1713] ppid=1711 vsize=30356 CPUtime=6.28
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194304 7364 0 0 0 622 6 0 0 25 0 1 0 114064429 31084544 6947 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 7589 6947 313 324 0 6658 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 30356

[startup+12.7011 s]
/proc/loadavg: 0.93 0.97 0.98 2/67 1714
/proc/meminfo: memFree=1726488/2055920 swapFree=4183824/4192956
[pid=1713] ppid=1711 vsize=64924 CPUtime=12.69
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194304 16007 0 0 0 1259 10 0 0 25 0 1 0 114064429 66482176 15590 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134571704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 16231 15590 313 324 0 15300 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64924

[startup+25.5016 s]
/proc/loadavg: 0.95 0.97 0.98 2/67 1714
/proc/meminfo: memFree=1626904/2055920 swapFree=4183824/4192956
[pid=1713] ppid=1711 vsize=161784 CPUtime=25.48
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194304 40221 0 0 0 2529 19 0 0 25 0 1 0 114064429 165666816 39804 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 40446 39804 313 324 0 39515 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 161784

[startup+51.1015 s]
/proc/loadavg: 0.96 0.97 0.98 2/67 1714
/proc/meminfo: memFree=1452376/2055920 swapFree=4183824/4192956
[pid=1713] ppid=1711 vsize=335916 CPUtime=51.07
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194304 83776 0 0 0 5068 39 0 0 25 0 1 0 114064429 343977984 83359 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 83979 83359 313 324 0 83048 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 335916

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.98 3/67 1714
/proc/meminfo: memFree=1148760/2055920 swapFree=4183824/4192956
[pid=1713] ppid=1711 vsize=637172 CPUtime=102.26
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194304 159079 0 0 0 10156 70 0 0 25 0 1 0 114064429 652464128 158662 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 159293 158662 313 324 0 158362 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 637172

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 1714
/proc/meminfo: memFree=789784/2055920 swapFree=4183824/4192956
[pid=1713] ppid=1711 vsize=997648 CPUtime=162.24
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194304 249208 0 0 0 16119 105 0 0 25 0 1 0 114064429 1021591552 248791 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10190394 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 249412 248791 313 324 0 248481 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 997648

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 1714
/proc/meminfo: memFree=504600/2055920 swapFree=4183824/4192956
[pid=1713] ppid=1711 vsize=1280092 CPUtime=222.22
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194304 319808 0 0 0 22086 136 0 0 25 0 1 0 114064429 1310814208 319391 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134585244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 320023 319391 313 324 0 319092 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1280092

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 1714
/proc/meminfo: memFree=244888/2055920 swapFree=4183824/4192956
[pid=1713] ppid=1711 vsize=1540784 CPUtime=282.2
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194304 384991 0 0 0 28053 167 0 0 25 0 1 0 114064429 1577762816 384574 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160527350 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 385196 384574 313 324 0 384265 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1540784

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 1714
/proc/meminfo: memFree=23704/2055920 swapFree=4183824/4192956
[pid=1713] ppid=1711 vsize=1760700 CPUtime=342.19
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194304 439951 0 0 0 34028 191 0 0 25 0 1 0 114064429 1802956800 439534 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 440175 439534 313 324 0 439244 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1760700



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+358.003 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 1714
/proc/meminfo: memFree=15768/2055920 swapFree=4183704/4192956
[pid=1713] ppid=1711 vsize=1843296 CPUtime=357.89
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194304 460620 0 0 0 35588 201 0 0 25 0 1 0 114064429 1887535104 460203 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551569 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 460824 460203 313 324 0 459893 0
Current children cumulated CPU time (s) 357.89
Current children cumulated vsize (KiB) 1843296

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

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

[startup+358.203 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 1714
/proc/meminfo: memFree=15768/2055920 swapFree=4183704/4192956
[pid=1713] ppid=1711 vsize=0 CPUtime=358.08
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194308 460621 0 0 0 35588 220 0 0 25 0 1 0 114064429 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 358.08
Current children cumulated vsize (KiB) 0

[startup+358.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 1714
/proc/meminfo: memFree=15768/2055920 swapFree=4183704/4192956
[pid=1713] ppid=1711 vsize=0 CPUtime=358.18
/proc/1713/stat : 1713 (bsolo3.0.16) R 1711 1713 458 0 -1 4194308 460621 0 0 0 35588 230 0 0 25 0 1 0 114064429 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/1713/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 358.18
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 358.308
CPU time (s): 358.198
CPU user time (s): 355.887
CPU system time (s): 2.31065
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 1843296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 355.887
system time used= 2.31065
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460621
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= 344

runsolver used 0.345947 second user time and 0.794879 second system time

The end

Begin job on node74 on Sun Apr 15 18:24:57 UTC 2007

IDJOB= 353293
IDBENCH= 2223
IDSOLVER= 163
FILE ID= node74/353293-1176661497

PBS_JOBID= 4559858

Free space on /tmp= 103240 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353293-1176661497/instance-353293-1176661497.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node74/watcher-353293-1176661497 -o ROOT/results/node74/solver-353293-1176661497 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353293-1176661497/instance-353293-1176661497.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  8ebfb10d75940bc93d5e7784548911ff

RANDOM SEED= 852020573

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.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.213
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.213
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:       1783152 kB
Buffers:         18248 kB
Cached:         153464 kB
SwapCached:       2572 kB
Active:          83632 kB
Inactive:        99028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1783152 kB
SwapTotal:     4192956 kB
SwapFree:      4183824 kB
Dirty:            4968 kB
Writeback:           0 kB
Mapped:          17564 kB
Slab:            75872 kB
Committed_AS:  1481348 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103240 MiB

End job on node74 on Sun Apr 15 18:30:57 UTC 2007