0.00	c Parsing PB file...
1.71	c Converting 2517 PB-constraints to clauses...
1.72	c   -- Unit propagations: (none)
1.72	c   -- Detecting intervals from adjacent constraints: ========================
1.72	c   -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.75	c ---[ 321]---> Adder-cost: 27558   maxlim: 4532   bits: 14/13
30.55	c ==================================[MINISAT+]==================================
30.55	c | Conflicts | Original         | Learnt                           | Progress |
30.55	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
30.55	c ==============================================================================
30.55	c |         0 |  195335   834348 |   65111       0        0     nan |  0.000 % |
30.55	c |       100 |  195335   834348 |   71622     100      312     3.1 |  0.028 % |
30.56	c |       250 |  195335   834348 |   78784     250      802     3.2 |  0.028 % |
30.58	c |       475 |  195335   834348 |   86662     475     1508     3.2 |  0.028 % |
30.62	c |       812 |  195335   834348 |   95329     812     2561     3.2 |  0.028 % |
30.74	c |      1318 |  195335   834348 |  104861    1318     4104     3.1 |  0.028 % |
31.16	c |      2077 |  195335   834348 |  115348    2077     6454     3.1 |  0.028 % |
32.02	c |      3216 |  195335   834348 |  126882    3216    10040     3.1 |  0.028 % |
33.95	c |      4924 |  195335   834348 |  139571    4924    16250     3.3 |  0.028 % |
38.83	c |      7486 |  195335   834348 |  153528    7486    24606     3.3 |  0.028 % |
48.40	c |     11330 |  195335   834348 |  168881   11330    38458     3.4 |  0.028 % |
67.12	c |     17096 |  195335   834348 |  185769   17096    59626     3.5 |  0.028 % |
102.36	c |     25745 |  195335   834348 |  204346   25745    92705     3.6 |  0.028 % |
158.41	c |     38719 |  195335   834348 |  224780   38719   151133     3.9 |  0.028 % |
209.71	c |     58180 |  195335   834348 |  247258   58180  1334757    22.9 |  0.028 % |
294.07	c ==============================================================================
294.07	c Found solution: 8259584000000000
294.07	o 8259584000000000
294.33	c ---[   0]---> Adder-cost: 15278   maxlim: 21007   bits: 15/15
298.85	c ==================================[MINISAT+]==================================
298.85	c | Conflicts | Original         | Learnt                           | Progress |
298.85	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
298.85	c ==============================================================================
298.85	c |     78504 |  302182  1215909 |  100727   78504  1471729    18.7 |  0.028 % |
298.97	c |     78604 |  302182  1215909 |  110799   78604  1472792    18.7 |  0.028 % |
299.52	c |     78754 |  302182  1215909 |  121879   78754  1473721    18.7 |  0.028 % |
300.16	c |     78979 |  302182  1215909 |  134067   78979  1475250    18.7 |  0.028 % |
301.63	c |     79316 |  302182  1215909 |  147474   79316  1477841    18.6 |  0.028 % |
303.24	c |     79822 |  302182  1215909 |  162221   79822  1482021    18.6 |  0.028 % |
306.97	c |     80581 |  302182  1215909 |  178444   80581  1487656    18.5 |  0.028 % |
311.33	c |     81720 |  302182  1215909 |  196288   81720  1496482    18.3 |  0.028 % |
317.31	c |     83428 |  302182  1215909 |  215917   83428  1510302    18.1 |  0.028 % |
324.88	c |     85990 |  302182  1215909 |  237508   85990  1535624    17.9 |  0.028 % |
331.61	c |     89835 |  302182  1215909 |  261259   89835  1576550    17.5 |  0.028 % |
339.87	c |     95601 |  302182  1215909 |  287385   95601  1625598    17.0 |  0.028 % |
347.16	c |    104251 |  302182  1215909 |  316124  104251  1717874    16.5 |  0.028 % |
369.52	c |    117226 |  302182  1215909 |  347736  117226  1820976    15.5 |  0.028 % |
393.95	c |    136687 |  302182  1215909 |  382510  136687  2001472    14.6 |  0.028 % |
417.98	c |    165879 |  302182  1215909 |  420761  165879  2307055    13.9 |  0.028 % |
444.67	c |    209668 |  302182  1215909 |  462837  209668  2878773    13.7 |  0.028 % |
487.98	c |    275352 |  302182  1215909 |  509121  275352  3838616    13.9 |  0.028 % |
544.45	c |    373878 |  302182  1215909 |  560033  373878  5441743    14.6 |  0.028 % |
601.77	c |    521667 |  302182  1215909 |  616037  521667 11029573    21.1 |  0.028 % |
859.27	c |    743350 |  302182  1215909 |  677640  134053 20872457   155.7 |  0.028 % |
1542.86	c |   1075875 |  302182  1215909 |  745404  466578 45930149    98.4 |  0.028 % |
1801.14	c 
1801.14	c *** TERMINATED ***
1801.14	s SATISFIABLE
1801.14	v -x6362 -x6998 -x7775 -x7860 x10784 x11675 -x11771 x11784 x12097 x14207 -x1940 -x1941 -x4003 -x4005 -x4011 -x4076 -x4077
1801.14	v -x4121 x4126 -x4128 -x4196 -x4372 -x4373 -x4891 -x4892 -x5285 -x5286 -x6427 -x6462 -x6463 -x6474 -x6477 -x6479 -x6480
1801.14	v x6526 -x6636 -x6784 -x6958 -x6959 -x7035 -x7056 -x7058 -x7827 -x8843 -x8845 -x8846 -x9321 -x9323 x9326 -x9327 -x9342 x9343
1801.14	v x9344 -x9356 x9357 x9360 -x9367 -x9391 x9643 -x9645 -x9754 -x9814 -x9928 x9934 -x9935 -x9936 x9937 x9938 x9940 x9941 -x9943
1801.14	v x9945 x9949 x9952 -x9977 -x10279 x10743 x10797 -x10956 -x11241 -x13406 -x13419 x13420 x13422 -x13423 -x13424 -x13445
1801.14	v -x13988 -x13989 -x14247 -x1004 x1014 x1017 -x1019 -x1020 -x1057 -x1677 -x1678 -x1787 -x1902 -x1903 -x1904 x1905 x1906
1801.14	v -x1907 -x1913 -x1925 -x1926 -x1927 x1928 -x1931 x1932 x1933 x1934 -x1935 -x1936 -x2071 -x2187 -x2188 -x2192 -x2210 x2308
1801.14	v x2309 x2310 x2311 -x2312 -x2313 x2314 x2429 x2458 x2459 x2460 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 x2785 -x2786
1801.14	v x2787 -x2788 x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2796 -x2797 -x2798 x2812 -x2813 x2815 x2821 -x2828 x2834 -x2839
1801.14	v -x2840 -x2858 -x2859 -x2860 -x2861 -x2862 x2863 -x2864 x2865 -x2866 -x2867 -x2868 x2869 -x2870 -x2871 x2872 -x2873 -x2876
1801.14	v -x2881 x2911 -x2912 -x2913 x2948 -x2949 -x2950 x2953 -x2961 -x2962 -x2981 -x2982 -x2994 x2995 x2996 x2997 x3002 x3004 -x3006
1801.14	v x3015 -x3018 -x3118 -x3133 -x3134 -x3136 -x3137 -x3138 -x3314 -x3315 -x3324 -x3367 -x3383 x3384 x3390 x3394 x3395 x3396
1801.14	v x3397 x3398 x3399 x3400 -x3403 x3404 x3443 -x3569 -x3937 -x3962 -x3963 -x3964 -x4085 -x4168 -x4211 -x4212 -x4213 -x4344
1801.14	v x4357 -x4374 x4407 -x4411 -x4412 -x4413 -x4429 -x4440 -x4500 x4556 x4653 -x4677 x4678 x4679 -x4680 x4681 -x4682 -x4683
1801.14	v -x4694 -x4703 -x4704 -x4706 -x4708 -x4709 -x4711 -x4712 -x4713 -x4714 -x4715 x4716 -x4717 -x4718 -x4769 -x4780 -x4799
1801.14	v -x4800 -x4801 -x4802 -x4803 x4804 -x4806 x4807 -x4809 -x4810 -x4851 -x4898 -x4985 -x5042 -x5050 -x5051 -x5052 -x5053 -x5054
1801.14	v -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5080 -x5081 x5082 -x5083 x5084 -x5085 -x5086 x5087 -x5088 x5089 x5090
1801.14	v x5091 x5092 x5093 x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 x5143 -x5185 -x5186 -x5187 -x5188 -x5189
1801.14	v -x5190 -x5191 -x5369 -x5558 -x5631 -x5654 -x5662 -x5678 -x5725 x5739 -x5740 -x5747 x5748 x5752 -x5785 -x5786 x5806 -x5807
1801.14	v -x5843 x5844 x5845 -x5847 x5848 x5849 x5850 -x5877 -x5878 -x5881 -x5986 -x5987 -x5988 -x5992 -x5996 -x5998 -x5999 -x6000
1801.14	v -x6001 -x6007 -x6014 -x6101 -x6138 -x6140 x6141 -x6142 -x6144 -x6149 -x6150 -x6154 -x6161 -x6163 -x6164 -x6165 -x6187
1801.14	v -x6188 -x6189 -x6190 -x6194 -x6203 -x6211 -x6219 -x6220 -x6334 -x6344 x6350 -x6351 x6352 -x6353 -x6354 x6356 -x6357 x6359
1801.14	v -x6360 -x6361 -x6363 -x6364 -x6365 -x6366 -x6367 x6368 -x6369 -x6370 -x6425 -x6426 -x6448 -x6454 -x6455 -x6465 -x6729
1801.14	v -x6730 -x6766 -x6819 -x6820 -x6821 -x6822 x6823 -x6824 x6825 -x6826 -x6827 x6828 -x6829 -x6830 -x6831 -x6832 -x6840 -x6841
1801.14	v -x6842 -x6843 -x6844 -x6846 -x6848 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974
1801.14	v -x6975 -x6976 -x7008 -x7026 x7028 -x7029 -x7034 -x7036 -x7037 -x7038 -x7039 -x7047 x7057 -x7079 x7080 -x7091 x7092 -x7094
1801.14	v -x7095 -x7096 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7122 -x7124 -x7130 x7131 -x7148 x7158 -x7175 x7178
1801.14	v -x7190 -x7191 x7192 -x7193 -x7203 -x7204 x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7217
1801.14	v -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 x7231 -x7232 -x7233 x7234 -x7242 -x7243 -x7245 -x7247 -x7574
1801.14	v -x7577 -x7578 -x7579 -x7580 -x7584 -x7585 x7586 -x7587 x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 x7596 x7597
1801.14	v -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7609 -x7610 -x7611 -x7613 -x7614 -x7615 -x7616
1801.14	v -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633
1801.14	v -x7634 -x7635 -x7636 x7637 x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652
1801.14	v x7653 x7654 -x7655 -x7656 -x7657 -x7669 -x7670 -x7671 -x7672 -x7673 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702
1801.14	v -x7707 -x7710 -x7711 -x7731 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7743 -x7744 -x7745 x7767 -x7810
1801.14	v -x7857 -x7863 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7952 -x7966 -x7967 -x7973
1801.14	v -x7989 -x7990 -x8033 -x8047 -x8048 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129
1801.14	v -x8130 -x8131 -x8132 x8133 x8143 -x8240 -x8286 -x8317 -x8327 -x8335 -x8336 -x8337 -x8340 -x8343 x8345 x8346 -x8347 -x8348
1801.14	v -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8358 -x8359 -x8360 -x8364 -x8371 -x8372 -x8373 x8374 x8381 -x8416 -x8418
1801.14	v -x8419 -x8420 -x8427 -x8428 -x8429 x8430 x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442
1801.14	v -x8443 -x8444 -x8445 -x8446 -x8447 -x8455 -x8456 -x8461 -x8462 -x8463 -x8464 -x8465 -x8480 -x8481 -x8482 -x8483 -x8511
1801.14	v -x8582 -x8595 -x8620 -x8649 -x8651 x8652 x8653 -x8654 -x8655 -x8656 x8657 x8658 -x8664 -x8666 -x8683 -x8684 -x8685 -x8687
1801.14	v -x8688 -x8689 -x8690 -x8691 -x8693 -x8720 -x8876 -x9033 -x9034 -x9035 -x9036 -x9039 -x9040 -x9092 -x9093 -x9095 -x9330
1801.14	v -x9331 -x9345 -x9349 -x9350 -x9351 -x9358 -x9359 -x9361 -x9362 -x9363 x9364 x9365 -x9366 -x9368 -x9369 x9370 x9371 -x9372
1801.14	v -x9373 -x9376 -x9378 -x9379 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9392 -x9503 -x9507 -x9508 -x9509
1801.14	v -x9510 -x9511 -x9518 -x9520 -x9570 -x9577 -x9578 -x9614 -x9641 -x9642 -x9658 -x9659 -x9660 -x9661 -x9717 -x9718 -x9719
1801.14	v -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9728 x9729 x9730 -x9731 -x9732 -x9765 -x9766 x9841 x9844 -x9887 -x9889 x9899
1801.14	v -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9950 -x9951 -x9956 -x9957
1801.14	v -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 x9983 -x9984
1801.14	v -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045
1801.14	v -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060
1801.14	v -x10061 -x10064 -x10065 -x10066 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10095 -x10096 x10100
1801.14	v -x10101 -x10103 -x10124 -x10149 -x10159 -x10177 -x10178 -x10199 -x10204 -x10224 -x10270 -x10273 -x10286 -x10299 -x10300
1801.14	v x10307 x10308 -x10309 x10310 -x10383 -x10388 x10392 -x10393 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404
1801.14	v -x10405 -x10406 -x10478 -x10527 -x10528 -x10583 -x10590 -x10592 -x10605 x10606 -x10607 -x10620 x10621 x10636 -x10754
1801.14	v -x10755 -x10756 x10757 x10758 x10759 -x10760 x10761 x10762 -x10763 x10764 x10765 x10769 x10770 x10771 -x10772 -x10773
1801.14	v -x10774 x10775 x10776 -x10777 -x10778 -x10783 x10803 -x10816 -x10817 -x10830 -x10831 -x10832 x10833 -x10834 -x10835
1801.14	v x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852
1801.14	v -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10961 -x10963 -x10964 -x10965 x10966 x10967 x10968
1801.14	v -x11152 x11153 -x11154 x11155 x11156 x11157 -x11158 x11159 -x11160 x11161 x11162 -x11163 -x11164 -x11165 x11168 -x11169
1801.14	v x11170 -x11171 x11172 x11173 -x11174 -x11269 x11281 x11314 -x11315 -x11316 -x11317 -x11318 -x11319 -x11320 x11321 x11322
1801.14	v -x11397 -x11401 -x11402 x11403 x11404 -x11405 -x11406 -x11407 -x11408 -x11411 -x11412 -x11413 -x11414 -x11415 -x11416
1801.14	v -x11424 x11425 x11429 -x11435 x11436 -x11437 x11438 -x11439 -x11440 -x11441 -x11442 -x11456 -x11457 -x11459 -x11460
1801.14	v -x11461 -x11462 -x11470 -x11474 -x11480 x11481 -x11482 -x11483 -x11484 x11485 -x11486 -x11488 -x11489 x11546 x11547
1801.14	v x11548 x11549 x11550 x11551 -x11552 -x11553 -x11554 -x11555 x11556 x11557 x11558 x11559 -x11560 -x11561 -x11562 -x11563
1801.14	v -x11564 -x11565 -x11566 -x11567 -x11568 x11569 x11570 x11571 x11572 -x11573 -x11574 -x11575 -x11576 -x11577 -x11578
1801.14	v -x11579 -x11580 -x11581 -x11582 -x11583 -x11584 -x11585 -x11586 -x11587 -x11761 x11762 x11814 -x11816 -x11817 -x11818
1801.14	v -x12021 -x12027 -x12031 -x12033 -x12039 -x12075 -x12077 -x12098 -x12138 -x12139 x12140 x12142 -x12146 x12300 x12301
1801.14	v -x12302 -x12304 -x12305 -x12306 -x12307 x12308 x12309 x12310 x12311 -x12315 -x12316 -x12317 -x12318 -x12319 -x12327
1801.14	v -x12337 x12338 x12349 -x12357 -x12358 x12364 x12366 x12367 x12368 x12369 x12370 x12372 -x12374 -x12375 x12384 x12386
1801.14	v x12387 -x12388 -x12389 -x12390 -x12391 x12392 -x12396 -x12443 x12506 -x12507 x12508 x12509 x12510 -x12511 x12553 x12554
1801.14	v x12555 x12556 x12557 -x12558 x12559 x12560 -x12561 -x12562 x12563 x12564 x12611 x12614 x12632 x12670 x12672 x12673 -x12677
1801.14	v -x12711 x12823 x12824 x12825 x12829 -x12831 x12832 x12833 -x12834 x12835 x12836 x12837 x12838 x12839 x12840 x12841 x12846
1801.14	v x12847 x12848 x12849 x12852 -x12853 -x12854 x12883 x12884 x12885 -x12886 -x12887 -x12888 x12889 x12890 -x12891 -x12892
1801.14	v -x12893 x12899 x12988 -x12989 x12997 x13028 -x13046 -x13053 -x13111 -x13112 x13244 -x13265 -x13266 -x13344 x13345 -x13346
1801.14	v -x13347 -x13378 -x13379 x13380 -x13382 -x13383 -x13384 -x13385 -x13386 -x13387 -x13388 -x13389 -x13390 -x13391 -x13392
1801.14	v x13393 -x13394 -x13395 -x13396 -x13397 x13421 -x13426 -x13427 -x13428 -x13429 x13430 x13431 -x13432 -x13433 -x13434
1801.14	v -x13435 -x13436 -x13437 -x13438 x13439 -x13440 -x13441 -x13449 -x13466 -x13485 -x13488 -x13492 x13555 -x13646 -x13647
1801.14	v -x13650 x13662 x13663 x13664 -x13665 -x13666 x13667 -x13668 -x13669 -x13670 -x13671 -x13672 -x13673 x13674 x13675 -x13676
1801.14	v -x13677 -x13678 -x13679 -x13710 -x13711 -x13712 -x13713 -x13714 -x13715 -x13716 -x13717 x13718 x13719 -x13720 -x13721
1801.14	v -x13722 -x13723 -x13724 -x13725 -x13726 -x13727 -x13728 -x13729 -x13743 -x13744 -x13745 -x13746 -x13747 -x13748 -x13749
1801.14	v -x13750 -x13751 -x13752 -x13753 -x13754 -x13755 -x13756 -x13758 -x13759 -x13760 -x13761 -x13762 -x13764 -x13765 -x13766
1801.14	v -x13769 -x13771 -x13772 -x13773 -x13774 -x13775 -x13776 -x13777 -x13780 -x13781 -x13782 -x13785 -x13786 -x13787 -x13788
1801.14	v -x13789 -x13790 -x13791 -x13792 -x13793 -x13794 -x13795 x13796 x13797 -x13798 x13799 x13800 -x13993 -x13994 -x13995
1801.14	v -x13998 -x13999 -x14002 -x14003 -x14004 -x14005 -x14006 -x14007 -x14008 -x14009 -x14010 x14011 x14012 -x14013 -x14014
1801.14	v -x14015 -x14016 x14017 -x14018 x14019 -x14020 -x14021 -x14022 -x14023 -x14024 -x14025 -x14026 -x14027 -x14028 x14029
1801.14	v -x14030 x14031 -x14032 -x14033 -x14034 x14035 -x14036 x14037 -x14038 -x14039 -x14040 -x14041 -x14042 -x14043 -x14044
1801.14	v -x14045 -x14046 -x14047 -x14048 -x14049 -x14050 -x14051 -x14052 -x14053 -x14054 -x14055 -x14056 -x14057 -x14058 -x14059
1801.14	v -x14060 -x14061 -x14062 -x14063 -x14064 -x14065 -x14066 -x14067 -x14068 -x14069 -x14070 -x14071 -x14072 -x14073 x14074
1801.14	v x14075 -x14076 -x14077 -x14078 -x14079 -x14080 x14082 -x14083 x14090 -x14091 -x14147 -x14148 -x14149 -x14151 -x14152
1801.14	v -x14159 -x14206 -x14227 -x14228 -x14229 -x14230 -x14231 -x14232 -x14233 -x14234 -x14235 -x14236 -x14237 -x14238 -x14255
1801.14	v -x14256 -x14257 -x14259 -x14260 -x14265 -x14274 -x14302 -x14330 -x14331 -x14350 -x14446 -x14458 -x14459 -x14468 -x14496
1801.14	v -x14504 -x14527 -x14528 x14529 -x14531 x14548 -x14549 x14572 x14583 -x14613 -x14665 -x14666 -x14667 -x14668 -x14669
1801.14	v -x14670 -x14671 -x14672 -x14673 -x14674 -x14675 x14676 x14677 -x14678 x14679 -x14688 x14689 -x14694 x14749 x14750 -x14752
1801.14	v -x14777 -x14815 -x14818 -x14821 -x14822 -x14823 -x14827 -x14831 -x14832 -x14836 -x14840 -x14844 x14857 -x14858 -x14859
1801.14	v -x14861 x14862 -x14863 -x14871 x14872 -x14873 -x14875 -x14886 -x14887 x14888 -x14889 x14890 -x14891 -x14892 -x14893
1801.14	v -x14905 -x14906 -x14907 -x14908 -x14913 -x14914 -x14915 -x14916 x14920 x14922 -x14923 -x14924 -x14925 -x14926 -x14927
1801.14	v -x14928 -x14929 -x14930 -x14932 -x14943 -x14948 -x14949 -x14950 -x14951 -x14952 -x14953 -x14954 -x14955 -x14970 -x14987
1801.14	v -x1 -x42 -x45 x48 x49 x50 x51 -x52 -x54 -x55 x56 x59 x60 -x63 -x75 x132 x140 x141 x142 x143 -x145 x146 -x148 x149 -x150 -x151 -x152
1801.14	v -x154 x155 x156 x157 x158 x159 x199 -x422 -x423 -x424 x425 x426 x427 x428 x429 -x430 x431 x432 x433 x434 x435 x436 x437 x438
1801.14	v -x439 -x442 -x443 x444 x445 x446 -x515 x523 -x524 -x599 x600 -x601 -x602 -x603 -x604 -x617 x618 x619 -x620 -x622 -x634 -x635
1801.14	v -x636 -x637 -x639 -x653 -x659 -x667 -x681 -x755 -x1080 x1081 x1082 x1084 -x1187 x1226 x1227 x1228 x1230 -x1299 -x1301 -x1309
1801.14	v -x1311 -x1314 -x1315 x1316 x1510 -x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1519 -x1529 x1547 -x1549 -x1550 x1585
1801.14	v -x1586 -x1587 -x1588 -x1596 -x1597 -x1598 x1599 x1600 -x1601 x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
1801.14	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 x1626 -x1627 -x1628
1801.14	v -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 x1638 -x1639 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1646
1801.14	v -x1647 x1648 x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 x1663 x1664
1801.14	v -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1679 -x1680 x1681 x1682 -x1683 -x1684
1801.14	v x1685 -x1686 -x1687 x1688 -x1689 x1690 x1691 x1692 x1693 x1694 x1695 x1696 x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703
1801.14	v -x1704 -x1705 -x1706 -x1707 -x1708 x1709 -x1710 -x1711 -x1712 x1713 x1714 -x1715 -x1716 x1717 -x1718 x1719 x1720 -x1721
1801.14	v -x1722 -x1723 x1724 x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 x1732 -x1733 -x1734 -x1735 x1736 -x1737 x1738 x1739
1801.14	v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 -x1754 -x1755 x1756 -x1757
1801.14	v -x1758 -x1759 -x1760 -x1761 -x1762 x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775
1801.14	v -x1776 -x1777 -x1778 x1779 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794
1801.14	v -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803 -x1804 x1805 x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812
1801.14	v -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 x1819 -x1820 -x1821 -x1822 x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
1801.14	v x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 x1844 -x1845 x1846 -x1847 -x1848
1801.14	v -x1849 -x1850 -x1851 -x1852 -x1853 x1854 -x1855 x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866
1801.14	v -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884
1801.14	v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1908
1801.14	v -x1909 -x1910 -x1911 -x1912 x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 x1924 x1929 x1930 -x1937
1801.14	v -x1938 -x1939 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956
1801.14	v -x1957 -x1958 -x1959 -x1960 x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974
1801.14	v -x1975 x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 x1988 -x1989 x1990 -x1991 -x1992
1801.14	v x1993 -x1994 x1995 x1996 x1997 x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
1801.14	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027
1801.14	v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044
1801.14	v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061
1801.14	v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080
1801.14	v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2090 x2091 x2092 x2093 -x2094 -x2095 -x2096 -x2097 x2098
1801.14	v x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115
1801.14	v x2116 x2117 -x2118 -x2119 x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 x2133
1801.14	v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 x2149 -x2150 x2151
1801.14	v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168
1801.14	v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183 x2184 -x2185 -x2186
1801.14	v -x2189 -x2190 -x2191 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206
1801.14	v -x2207 -x2208 -x2209 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224
1801.14	v -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 x2235 x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242
1801.14	v -x2243 -x2244 -x2245 -x2246 x2247 -x2248 x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260
1801.14	v -x2261 -x2262 -x2263 -x2264 x2265 x2266 -x2267 x2268 x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278
1801.14	v -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295
1801.14	v -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 x2303 -x2304 -x2305 x2306 -x2307 x2315 -x2316 -x2317 -x2318 -x2319 -x2320
1801.14	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337
1801.14	v -x2338 -x2339 -x2340 x2341 x2342 -x2343 -x2344 -x2345 -x2346 x2347 x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355
1801.14	v -x2356 x2357 -x2358 x2359 -x2360 x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 x2370 x2371 x2372 -x2373
1801.14	v -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 x2386 -x2387 -x2388 x2389 x2390 x2391
1801.14	v -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 x2399 x2400 -x2401 x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409
1801.14	v -x2410 x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427
1801.14	v -x2428 -x2430 -x2431 x2432 -x2433 -x2434 -x2435 -x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446
1801.14	v -x2447 -x2448 -x2449 x2450 -x2451 -x2452 -x2453 -x2454 -x2455 x2456 -x2457 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467
1801.14	v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484
1801.14	v x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501
1801.14	v -x2502 x2503 -x2504 -x2505 x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 x2514 -x2515 -x2516 x2517 -x2518 -x2519
1801.14	v -x2520 -x2521 -x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 x2529 -x2530 -x2531 -x2532 -x2533 x2534 x2535 -x2536 -x2537
1801.14	v -x2538 -x2539 -x2540 -x2541 x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 x2552 x2553 x2554 -x2555
1801.14	v -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573
1801.14	v -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 x2591
1801.14	v -x2592 x2593 -x2594 x2595 x2596 -x2597 x2598 -x2599 x2600 x2601 x2602 -x2603 x2604 -x2605 x2606 -x2607 x2608 x2609 x2610
1801.14	v x2611 -x2612 -x2613 x2614 -x2615 x2616 -x2617 x2618 x2619 -x2620 x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628
1801.14	v -x2629 -x2630 -x2631 x2632 x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646
1801.14	v -x2647 -x2648 -x2649 -x2650 x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 x2659 -x2660 -x2661 -x2662 -x2663 -x2664
1801.14	v -x2665 -x2666 -x2667 -x2668 -x2669 x2670 -x2671 x2672 -x2673 x2674 x2675 -x2676 -x2677 x2678 x2679 -x2680 -x2681 -x2682
1801.14	v -x2683 x2684 -x2685 x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700
1801.14	v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 x2716 x2717 -x2718
1801.14	v -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735
1801.14	v x2736 x2737 -x2738 -x2739 -x2740 -x2741 x2742 x2743 x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753
1801.14	v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 x2768 x2769 -x2770 -x2771
1801.14	v -x2772 x2773 -x2774 x2775 x2776 -x2777 x2795 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809
1801.14	v -x2810 -x2811 -x2814 -x2816 -x2817 -x2818 -x2819 -x2820 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2829 -x2830 -x2831
1801.14	v -x2832 -x2833 -x2835 -x2836 -x2837 -x2838 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851
1801.14	v -x2852 -x2853 -x2854 -x2855 -x2856 x2857 -x2874 -x2875 -x2877 -x2878 -x2879 -x2880 x2882 -x2883 -x2884 -x2885 -x2886 -x2887
1801.14	v -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904
1801.14	v -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924
1801.14	v -x2925 -x2926 -x2927 -x2928 x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941
1801.14	v -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 x2951 -x2952 -x2954 x2955 x2956 -x2957 x2958 -x2959 -x2960 -x2963 -x2964 -x2965
1801.14	v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2983 -x2984
1801.14	v x2985 x2986 -x2987 -x2988 x2989 -x2990 x2991 -x2992 -x2993 -x2998 x2999 x3000 -x3001 x3003 -x3005 x3007 -x3008 x3009 x3010
1801.14	v -x3011 -x3012 -x3013 -x3014 x3016 -x3017 x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030
1801.14	v x3031 -x3032 -x3033 x3034 -x3035 -x3036 -x3037 -x3038 -x3039 x3040 -x3041 -x3042 -x3043 -x3044 x3045 -x3046 -x3047 -x3048
1801.14	v -x3049 -x3050 x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065
1801.14	v -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082
1801.14	v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099
1801.14	v -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116
1801.14	v -x3117 -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 x3129 -x3130 -x3131 -x3132 x3135 -x3139 -x3140
1801.14	v -x3141 -x3142 x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 x3150 x3151 x3152 x3153 -x3154 -x3155 -x3156 -x3157 -x3158
1801.14	v -x3159 -x3160 x3161 x3162 -x3163 -x3164 x3165 x3166 x3167 x3168 -x3169 -x3170 -x3171 -x3172 -x3173 x3174 x3175 x3176 -x3177
1801.14	v x3178 x3179 x3180 x3181 x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195
1801.14	v -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212
1801.14	v -x3213 x3214 -x3215 -x3216 -x3217 -x3218 x3219 -x3220 -x3221 -x3222 x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
1801.14	v -x3231 -x3232 -x3233 x3234 -x3235 x3236 x3237 -x3238 x3239 x3240 x3241 x3242 x3243 -x3244 -x3245 -x3246 -x3247 -x3248 x3249
1801.14	v x3250 -x3251 x3252 -x3253 x3254 x3255 x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 x3265 x3266 x3267 x3268
1801.14	v -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 x3280 x3281 x3282 x3283 x3284 -x3285 -x3286
1801.14	v -x3287 x3288 -x3289 x3290 x3291 x3292 x3293 x3294 x3295 x3296 x3297 x3298 x3299 x3300 x3301 x3302 x3303 x3304 x3305 x3306
1801.14	v x3307 x3308 x3309 x3310 x3311 x3312 x3313 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3325 -x3326 -x3327
1801.14	v x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344
1801.14	v -x3345 -x3346 -x3347 x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361
1801.14	v -x3362 -x3363 -x3364 -x3365 -x3366 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 x3374 -x3375 -x3376 x3377 -x3378 -x3379 -x3380
1801.14	v -x3381 -x3382 -x3385 -x3386 -x3387 -x3388 -x3389 -x3391 -x3392 -x3393 -x3401 -x3402 -x3405 -x3406 -x3407 -x3408 -x3409
1801.14	v -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 x3417 x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427
1801.14	v -x3428 -x3429 -x3430 x3431 x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 x3440 -x3441 -x3442 -x3444 -x3445 -x3446
1801.14	v -x3447 -x3448 -x3449 x3450 -x3451 x3452 -x3453 -x3454 x3455 x3456 x3457 -x3458 -x3459 -x3460 x3461 x3462 -x3463 -x3464
1801.14	v -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481
1801.14	v -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 x3490 x3491 -x3492 -x3493 x3494 -x3495 x3496 x3497 -x3498 -x3499
1801.14	v -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 -x3512 -x3513 -x3514 -x3515 -x3516
1801.14	v -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533
1801.14	v -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550
1801.14	v -x3551 -x3552 -x3553 x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568
1801.14	v -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586
1801.14	v -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3600 -x3601 -x3602 -x3603
1801.14	v -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 x3617 -x3618 -x3619 -x3620
1801.14	v -x3621 -x3622 x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 -x3635 -x3636 -x3637 -x3638
1801.14	v x3639 -x3640 -x3641 -x3642 x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656
1801.14	v -x3657 -x3658 -x3659 -x3660 -x3661 x3662 -x3663 -x3664 -x3665 -x3666 -x3667 x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674
1801.14	v -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691
1801.14	v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 -x3704 -x3705 -x3706 -x3707 -x3708
1801.14	v -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725
1801.14	v -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3740 -x3741 -x3742
1801.14	v x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759
1801.14	v -x3760 -x3761 -x3762 -x3763 -x3764 x3765 x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 x3773 -x3774 x3775 -x3776 -x3777
1801.14	v -x3778 -x3779 -x3780 -x3781 -x3782 x3783 x3784 -x3785 -x3786 -x3787 x3788 -x3789 x3790 -x3791 -x3792 -x3793 -x3794 -x3795
1801.14	v -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812
1801.14	v -x3813 -x3814 -x3815 -x3816 -x3817 x3818 -x3819 x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830
1801.14	v -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 x3837 x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848
1801.14	v -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 x3859 -x3860 -x3861 x3862 -x3863 -x3864 -x3865 -x3866
1801.14	v -x3867 -x3868 -x3869 -x3870 -x3871 x3872 -x3873 -x3874 -x3875 -x3876 x3877 x3878 -x3879 -x3880 -x3881 -x3882 x3883 -x3884
1801.14	v -x3885 -x3886 -x3887 -x3888 x3889 x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902
1801.14	v -x3903 -x3904 -x3905 x3906 -x3907 x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 x3916 -x3917 -x3918 -x3919 -x3920
1801.14	v x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 x3934 -x3935 x3936 -x3938 x3939
1801.14	v x3940 -x3941 -x3942 x3943 x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957
1801.14	v x3958 -x3959 x3960 -x3961 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 x3974 x3975 x3976 x3977 x3978
1801.14	v -x3979 x3980 x3981 x3982 x3983 x3984 x3985 x3986 x3987 x3988 -x3989 x3990 x3991 x3992 x3993 -x3994 x3995 x3996 -x3997 -x3998
1801.14	v -x3999 -x4000 -x4001 -x4002 -x4004 -x4006 -x4007 -x4008 -x4009 -x4010 -x4012 -x4013 x4014 -x4015 x4016 -x4017 x4018 x4019
1801.14	v x4020 -x4021 -x4022 x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037
1801.14	v -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 x4047 -x4048 -x4049 x4050 -x4051 -x4052 -x4053 -x4054 -x4055
1801.14	v -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 x4064 -x4065 -x4066 -x4067 x4068 -x4069 -x4070 -x4071 -x4072 -x4073
1801.14	v -x4074 -x4075 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4086 x4087 -x4088 -x4089 -x4090 -x4091 -x4092 x4093 -x4094
1801.14	v -x4095 -x4096 -x4097 x4098 -x4099 -x4100 -x4101 -x4102 x4103 -x4104 -x4105 -x4106 -x4107 x4108 x4109 x4110 -x4111 x4112
1801.14	v -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 x4120 -x4122 -x4123 -x4124 -x4125 x4127 -x4129 -x4130 -x4131 -x4132 -x4133
1801.14	v -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 x4142 x4143 -x4144 -x4145 -x4146 x4147 x4148 -x4149 -x4150 -x4151
1801.14	v -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4169
1801.14	v -x4170 -x4171 -x4172 x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 x4185 x4186 -x4187
1801.14	v x4188 x4189 x4190 x4191 -x4192 -x4193 -x4194 -x4195 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206
1801.14	v -x4207 -x4208 -x4209 -x4210 -x4214 x4215 -x4216 x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 x4225 -x4226 x4227
1801.14	v -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244
1801.14	v -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 x4253 -x4254 -x4255 x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262
1801.14	v -x4263 -x4264 x4265 -x4266 -x4267 -x4268 x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280
1801.14	v -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 x4291 -x4292 -x4293 -x4294 -x4295 x4296 -x4297 -x4298
1801.14	v -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 x4306 -x4307 -x4308 -x4309 -x4310 x4311 -x4312 -x4313 -x4314 x4315 x4316
1801.14	v x4317 x4318 x4319 x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334
1801.14	v -x4335 -x4336 -x4337 x4338 -x4339 -x4340 -x4341 x4342 -x4343 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353
1801.14	v -x4354 -x4355 -x4356 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371
1801.14	v -x4375 -x4376 -x4377 x4378 x4379 -x4380 x4381 x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392
1801.14	v -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 x4406 x4408 -x4409 -x4410 x4414
1801.14	v x4415 x4416 -x4417 x4418 x4419 x4420 -x4421 x4422 x4423 -x4424 x4425 x4426 -x4427 -x4428 x4430 -x4431 x4432 x4433 -x4434
1801.14	v x4435 x4436 -x4437 x4438 x4439 -x4441 x4442 x4443 x4444 -x4445 -x4446 -x4447 -x4448 x4449 x4450 -x4451 x4452 -x4453 x4454
1801.14	v -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 x4461 x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472
1801.14	v -x4473 -x4474 -x4475 -x4476 x4477 x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 x4487 x4488 x4489 -x4490
1801.14	v -x4491 -x4492 -x4493 x4494 -x4495 -x4496 x4497 x4498 -x4499 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509
1801.14	v -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526
1801.14	v -x4527 -x4528 -x4529 x4530 x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544
1801.14	v -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 x4553 x4554 -x4555 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563
1801.14	v -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 x4579 -x4580
1801.14	v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 x4588 x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598
1801.14	v -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 x4612 x4613 -x4614 -x4615 -x4616
1801.14	v -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 x4631 -x4632 -x4633
1801.14	v -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 x4644 x4645 -x4646 -x4647 x4648 -x4649 x4650 -x4651
1801.14	v x4652 -x4654 x4655 -x4656 x4657 x4658 -x4659 -x4660 -x4661 -x4662 -x4663 x4664 x4665 x4666 -x4667 -x4668 x4669 -x4670 -x4671
1801.14	v -x4672 -x4673 -x4674 x4675 x4676 x4684 x4685 -x4686 x4687 x4688 -x4689 x4690 x4691 -x4692 -x4693 -x4695 -x4696 -x4697 x4698
1801.14	v x4699 x4700 x4701 -x4702 -x4705 -x4707 -x4710 x4719 -x4720 x4721 x4722 -x4723 -x4724 x4725 x4726 -x4727 x4728 -x4729 x4730
1801.14	v x4731 x4732 -x4733 -x4734 -x4735 -x4736 -x4737 x4738 -x4739 -x4740 -x4741 x4742 x4743 x4744 x4745 -x4746 -x4747 -x4748
1801.14	v -x4749 -x4750 -x4751 x4752 x4753 -x4754 x4755 x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766
1801.14	v -x4767 -x4768 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4781 -x4782 -x4783 -x4784 -x4785
1801.14	v -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 x4795 -x4796 -x4797 -x4798 -x4805 -x4808 -x4811 -x4812
1801.14	v x4813 -x4814 x4815 x4816 -x4817 x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830
1801.14	v -x4831 -x4832 -x4833 -x4834 x4835 x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 x4843 x4844 -x4845 -x4846 -x4847 -x4848
1801.14	v -x4849 -x4850 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866
1801.14	v x4867 -x4868 -x4869 -x4870 x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884
1801.14	v -x4885 x4886 x4887 -x4888 x4889 -x4890 x4893 -x4894 -x4895 -x4896 x4897 x4899 -x4900 -x4901 -x4902 x4903 x4904 x4905 x4906
1801.14	v -x4907 x4908 x4909 -x4910 -x4911 -x4912 -x4913 x4914 x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924
1801.14	v -x4925 -x4926 x4927 -x4928 -x4929 x4930 x4931 x4932 -x4933 -x4934 x4935 -x4936 -x4937 -x4938 -x4939 x4940 x4941 x4942 x4943
1801.14	v x4944 x4945 x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961
1801.14	v -x4962 -x4963 x4964 x4965 -x4966 -x4967 -x4968 x4969 -x4970 x4971 -x4972 -x4973 -x4974 -x4975 x4976 -x4977 -x4978 -x4979
1801.14	v -x4980 x4981 -x4982 -x4983 -x4984 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997
1801.14	v -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014
1801.14	v -x5015 -x5016 -x5017 x5018 x5019 x5020 -x5021 x5022 -x5023 x5024 x5025 -x5026 -x5027 -x5028 -x5029 x5030 x5031 -x5032 -x5033
1801.14	v -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 x5062 -x5063 -x5064
1801.14	v -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 x5078 -x5079 -x5103 -x5104
1801.14	v -x5105 -x5106 x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 x5119 -x5120 -x5121 -x5122
1801.14	v -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139
1801.14	v -x5140 -x5141 -x5142 -x5144 -x5145 -x5146 -x5147 -x5148 x5149 x5150 x5151 x5152 x5153 x5154 -x5155 -x5156 -x5157 -x5158
1801.14	v -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 x5174 x5175 x5176
1801.14	v -x5177 -x5178 -x5179 x5180 x5181 x5182 -x5183 -x5184 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201
1801.14	v -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218
1801.14	v -x5219 -x5220 -x5221 x5222 -x5223 x5224 x5225 -x5226 x5227 x5228 -x5229 x5230 -x5231 -x5232 -x5233 -x5234 x5235 x5236 -x5237
1801.14	v x5238 x5239 -x5240 -x5241 x5242 x5243 x5244 x5245 x5246 x5247 -x5248 x5249 x5250 -x5251 x5252 -x5253 -x5254 -x5255 -x5256
1801.14	v -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 x5264 x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 x5272 x5273 -x5274
1801.14	v -x5275 -x5276 x5277 x5278 x5279 x5280 x5281 x5282 -x5283 -x5284 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 x5294
1801.14	v -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 x5302 -x5303 -x5304 -x5305 -x5306 x5307 x5308 -x5309 -x5310 x5311 x5312
1801.14	v -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329
1801.14	v -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346
1801.14	v -x5347 -x5348 -x5349 -x5350 x5351 -x5352 x5353 x5354 x5355 -x5356 -x5357 -x5358 -x5359 x5360 x5361 -x5362 -x5363 x5364
1801.14	v x5365 -x5366 -x5367 -x5368 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 x5382 x5383
1801.14	v x5384 x5385 x5386 x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401
1801.14	v -x5402 -x5403 -x5404 -x5405 -x5406 x5407 x5408 -x5409 x5410 x5411 x5412 -x5413 -x5414 x5415 -x5416 -x5417 -x5418 -x5419
1801.14	v -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436
1801.14	v -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 x5444 x5445 x5446 -x5447 x5448 x5449 -x5450 -x5451 -x5452 -x5453 -x5454
1801.14	v -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471
1801.14	v -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 x5481 -x5482 x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489
1801.14	v -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 x5498 x5499 x5500 x5501 x5502 x5503 -x5504 -x5505 -x5506 -x5507
1801.14	v -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524
1801.14	v -x5525 -x5526 x5527 x5528 -x5529 -x5530 x5531 -x5532 -x5533 -x5534 -x5535 x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542
1801.14	v -x5543 -x5544 -x5545 -x5546 -x5547 x5548 x5549 x5550 x5551 -x5552 x5553 -x5554 -x5555 -x5556 x5557 -x5559 -x5560 -x5561
1801.14	v -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 x5568 -x5569 -x5570 x5571 -x5572 x5573 x5574 x5575 -x5576 -x5577 -x5578 -x5579
1801.14	v x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 x5587 x5588 -x5589 x5590 x5591 -x5592 -x5593 -x5594 -x5595 x5596 x5597
1801.14	v -x5598 x5599 x5600 -x5601 -x5602 -x5603 -x5604 x5605 x5606 x5607 x5608 -x5609 x5610 x5611 x5612 -x5613 x5614 -x5615 -x5616
1801.14	v -x5617 x5618 x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5632 -x5633 -x5634 -x5635
1801.14	v -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652
1801.14	v -x5653 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 x5671
1801.14	v x5672 x5673 x5674 x5675 x5676 x5677 x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 x5687 x5688 -x5689 -x5690 -x5691
1801.14	v x5692 -x5693 x5694 x5695 -x5696 x5697 -x5698 -x5699 -x5700 x5701 -x5702 x5703 x5704 -x5705 x5706 -x5707 -x5708 -x5709 -x5710
1801.14	v -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5726 -x5727 -x5728
1801.14	v x5729 x5730 -x5731 -x5732 x5733 x5734 x5735 x5736 -x5737 -x5738 -x5741 -x5742 -x5743 x5744 x5745 -x5746 x5749 x5750 -x5751
1801.14	v -x5753 -x5754 -x5755 x5756 x5757 x5758 x5759 -x5760 -x5761 -x5762 x5763 -x5764 -x5765 x5766 -x5767 -x5768 -x5769 -x5770
1801.14	v -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 x5781 x5782 -x5783 -x5784 x5787 x5788 -x5789 -x5790
1801.14	v -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5808 -x5809
1801.14	v -x5810 -x5811 x5812 x5813 -x5814 -x5815 -x5816 -x5817 x5818 x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827
1801.14	v -x5828 -x5829 -x5830 x5831 -x5832 -x5833 -x5834 -x5835 -x5836 x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5846 x5851 -x5852
1801.14	v -x5853 -x5854 x5855 -x5856 -x5857 -x5858 x5859 x5860 x5861 x5862 x5863 x5864 x5865 x5866 -x5867 -x5868 -x5869 -x5870 -x5871
1801.14	v -x5872 -x5873 x5874 -x5875 -x5876 x5879 -x5880 -x5882 -x5883 -x5884 -x5885 x5886 x5887 x5888 x5889 -x5890 -x5891 x5892
1801.14	v -x5893 x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909
1801.14	v -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 x5917 -x5918 -x5919 -x5920 x5921 -x5922 -x5923 -x5924 x5925 -x5926 x5927
1801.14	v -x5928 -x5929 -x5930 x5931 -x5932 -x5933 x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945
1801.14	v -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 x5960 -x5961 -x5962
1801.14	v -x5963 x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 x5979 -x5980
1801.14	v -x5981 -x5982 -x5983 x5984 -x5985 -x5989 -x5990 -x5991 -x5993 -x5994 -x5995 -x5997 -x6002 -x6003 -x6004 -x6005 x6006 -x6008
1801.14	v x6009 x6010 -x6011 -x6012 -x6013 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 x6021 x6022 -x6023 x6024 x6025 -x6026 -x6027
1801.14	v -x6028 -x6029 -x6030 -x6031 -x6032 x6033 -x6034 -x6035 -x6036 x6037 -x6038 x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045
1801.14	v -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 x6057 x6058 -x6059 -x6060 -x6061 -x6062 -x6063
1801.14	v -x6064 -x6065 x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080
1801.14	v -x6081 -x6082 -x6083 x6084 -x6085 x6086 -x6087 -x6088 -x6089 -x6090 x6091 x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098
1801.14	v -x6099 -x6100 -x6102 -x6103 -x6104 -x6105 -x6106 x6107 x6108 -x6109 x6110 x6111 -x6112 -x6113 x6114 x6115 -x6116 -x6117
1801.14	v -x6118 x6119 -x6120 -x6121 -x6122 x6123 -x6124 -x6125 -x6126 x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 x6134 -x6135
1801.14	v -x6136 -x6137 -x6139 -x6143 -x6145 x6146 -x6147 -x6148 x6151 -x6152 -x6153 -x6155 -x6156 -x6157 x6158 -x6159 x6160 -x6162
1801.14	v -x6166 -x6167 -x6168 x6169 x6170 x6171 -x6172 -x6173 x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183
1801.14	v -x6184 -x6185 -x6186 -x6191 -x6192 -x6193 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6204 -x6205 x6206
1801.14	v -x6207 -x6208 -x6209 -x6210 -x6212 -x6213 x6214 -x6215 -x6216 -x6217 -x6218 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226
1801.14	v -x6227 -x6228 x6229 x6230 -x6231 x6232 -x6233 x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 x6241 x6242 x6243 x6244 x6245
1801.14	v x6246 x6247 x6248 -x6249 x6250 x6251 x6252 -x6253 x6254 x6255 x6256 x6257 x6258 x6259 -x6260 x6261 x6262 -x6263 x6264 -x6265
1801.14	v -x6266 -x6267 x6268 x6269 -x6270 -x6271 x6272 x6273 -x6274 x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283
1801.14	v -x6284 -x6285 -x6286 x6287 x6288 -x6289 -x6290 -x6291 -x6292 x6293 x6294 x6295 x6296 x6297 x6298 x6299 x6300 -x6301 -x6302
1801.14	v -x6303 -x6304 x6305 x6306 -x6307 x6308 x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 x6318 x6319 x6320
1801.14	v -x6321 x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6335 x6336 x6337 -x6338 -x6339
1801.14	v -x6340 -x6341 -x6342 -x6343 -x6345 x6346 -x6347 -x6348 -x6349 -x6355 -x6358 x6371 -x6372 x6373 -x6374 -x6375 -x6376 -x6377
1801.14	v -x6378 -x6379 x6380 x6381 x6382 -x6383 -x6384 x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395
1801.14	v -x6396 -x6397 x6398 -x6399 x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 x6407 -x6408 x6409 -x6410 -x6411 -x6412 -x6413
1801.14	v -x6414 -x6415 x6416 -x6417 -x6418 x6419 x6420 -x6421 x6422 -x6423 -x6424 -x6428 x6429 -x6430 -x6431 x6432 x6433 x6434 x6435
1801.14	v x6436 x6437 x6438 x6439 x6440 x6441 x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6449 -x6450 x6451 x6452 -x6453 -x6456 -x6457
1801.14	v x6458 x6459 -x6460 -x6461 -x6464 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6475 -x6476 -x6478 -x6481 -x6482
1801.14	v -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499
1801.14	v -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 x6506 x6507 -x6508 x6509 x6510 -x6511 -x6512 x6513 x6514 -x6515 x6516 x6517 -x6518
1801.14	v -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 x6525 x6527 -x6528 -x6529 -x6530 -x6531 x6532 -x6533 x6534 -x6535 -x6536 -x6537
1801.14	v -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554
1801.14	v -x6555 -x6556 -x6557 -x6558 -x6559 x6560 -x6561 x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 x6572
1801.14	v x6573 x6574 x6575 x6576 x6577 x6578 x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590
1801.14	v -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607
1801.14	v -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 x6614 -x6615 -x6616 x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625
1801.14	v -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 x6632 x6633 x6634 x6635 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644
1801.14	v -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 x6653 x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662
1801.14	v -x6663 -x6664 x6665 x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680
1801.14	v -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697
1801.14	v -x6698 -x6699 -x6700 x6701 x6702 x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 x6713 x6714 x6715
1801.14	v -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6731 -x6732 -x6733 -x6734
1801.14	v -x6735 -x6736 -x6737 x6738 x6739 -x6740 x6741 -x6742 x6743 x6744 x6745 -x6746 x6747 -x6748 x6749 -x6750 -x6751 -x6752 -x6753
1801.14	v -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 x6767 -x6768 -x6769 -x6770 -x6771
1801.14	v x6772 -x6773 x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 x6782 x6783 x6785 x6786 x6787 -x6788 x6789 x6790 -x6791
1801.14	v -x6792 -x6793 x6794 -x6795 -x6796 x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 x6805 -x6806 -x6807 x6808 -x6809
1801.14	v -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6833 -x6834 -x6835 x6836 x6837 -x6838 -x6839 x6845 -x6847
1801.14	v x6849 -x6850 x6851 x6852 x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 x6861 -x6862 x6863 x6864 x6865 x6866 -x6867
1801.14	v x6868 x6869 -x6870 -x6871 -x6872 x6873 x6874 -x6875 -x6876 x6877 x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885
1801.14	v -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 x6894 x6895 -x6896 x6897 x6898 -x6899 -x6900 -x6901 -x6902 -x6903
1801.14	v -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 x6915 x6916 -x6917 -x6918 -x6919 -x6920 -x6921
1801.14	v -x6922 -x6923 -x6924 -x6925 -x6926 x6927 x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 x6935 x6936 -x6937 -x6938 -x6939
1801.14	v -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956
1801.14	v -x6957 -x6960 -x6961 -x6962 -x6977 -x6978 x6979 x6980 -x6981 -x6982 -x6983 -x6984 -x6985 x6986 -x6987 -x6988 -x6989 -x6990
1801.14	v -x6991 -x6992 x6993 x6994 -x6995 -x6996 -x6997 -x6999 -x7000 -x7001 -x7002 x7003 -x7004 -x7005 -x7006 x7007 -x7009 x7010
1801.14	v -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7027 -x7030
1801.14	v -x7031 -x7032 -x7033 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054
1801.14	v -x7055 -x7059 x7060 -x7061 -x7062 -x7063 -x7064 -x7065 x7066 x7067 -x7068 x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075
1801.14	v x7076 x7077 -x7078 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 x7093 x7097 x7106 x7107 x7108
1801.14	v x7109 x7110 x7111 x7112 x7113 x7114 x7115 x7116 x7117 x7118 x7119 x7120 x7121 -x7123 -x7125 x7126 -x7127 x7128 -x7129 -x7132
1801.14	v -x7133 -x7134 -x7135 -x7136 x7137 -x7138 -x7139 -x7140 -x7141 x7142 x7143 x7144 x7145 x7146 x7147 -x7149 -x7150 x7151 -x7152
1801.14	v -x7153 -x7154 -x7155 -x7156 -x7157 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170
1801.14	v -x7171 -x7172 -x7173 -x7174 -x7176 x7177 x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7194
1801.14	v -x7195 x7196 x7197 -x7198 x7199 x7200 -x7201 x7202 x7216 -x7218 x7219 -x7220 x7221 x7235 x7236 -x7237 -x7238 x7239 x7240
1801.14	v -x7241 x7244 x7246 x7248 -x7249 x7250 -x7251 x7252 x7253 -x7254 x7255 x7256 x7257 x7258 -x7259 -x7260 -x7261 -x7262 -x7263
1801.14	v -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 x7275 -x7276 x7277 -x7278 -x7279 -x7280 -x7281
1801.14	v -x7282 -x7283 x7284 x7285 -x7286 x7287 x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299
1801.14	v -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 x7315 x7316 -x7317
1801.14	v x7318 x7319 -x7320 -x7321 -x7322 x7323 -x7324 -x7325 -x7326 -x7327 -x7328 x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335
1801.14	v -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352
1801.14	v -x7353 x7354 -x7355 -x7356 x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370
1801.14	v -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387
1801.14	v -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 x7398 -x7399 x7400 -x7401 -x7402 -x7403 -x7404 -x7405
1801.14	v x7406 x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423
1801.14	v -x7424 -x7425 x7426 -x7427 x7428 -x7429 x7430 -x7431 x7432 x7433 -x7434 -x7435 -x7436 -x7437 x7438 -x7439 x7440 x7441 -x7442
1801.14	v x7443 -x7444 x7445 x7446 x7447 x7448 x7449 x7450 x7451 -x7452 -x7453 -x7454 x7455 -x7456 -x7457 -x7458 -x7459 x7460 -x7461
1801.14	v -x7462 -x7463 x7464 x7465 -x7466 x7467 x7468 x7469 -x7470 -x7471 -x7472 -x7473 x7474 x7475 -x7476 x7477 x7478 -x7479 -x7480
1801.14	v -x7481 x7482 -x7483 x7484 x7485 x7486 x7487 x7488 x7489 -x7490 -x7491 -x7492 -x7493 -x7494 x7495 x7496 x7497 x7498 -x7499
1801.14	v x7500 -x7501 -x7502 x7503 x7504 x7505 x7506 x7507 -x7508 x7509 -x7510 -x7511 -x7512 -x7513 x7514 x7515 -x7516 -x7517 -x7518
1801.14	v -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535
1801.14	v -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552
1801.14	v -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 x7565 -x7566 x7567 -x7568 -x7569 -x7570
1801.14	v -x7571 -x7572 -x7573 -x7575 -x7576 -x7581 -x7582 -x7583 -x7608 x7612 x7646 x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664
1801.14	v -x7665 -x7666 -x7667 -x7668 x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 x7684 -x7685 -x7686 -x7687
1801.14	v -x7688 -x7689 x7690 -x7691 -x7692 -x7693 -x7694 -x7703 -x7704 -x7705 -x7706 -x7708 -x7709 -x7712 -x7713 -x7714 -x7715
1801.14	v -x7716 -x7717 x7718 x7719 -x7720 -x7721 x7722 x7723 x7724 x7725 -x7726 -x7727 x7728 x7729 -x7730 -x7732 -x7741 -x7742 x7746
1801.14	v -x7747 x7748 x7749 x7750 -x7751 x7752 x7753 -x7754 x7755 x7756 -x7757 x7758 x7759 x7760 x7761 x7762 x7763 -x7764 x7765 x7766
1801.14	v -x7768 x7769 x7770 x7771 x7772 -x7773 -x7774 -x7776 -x7777 -x7778 -x7779 x7780 x7781 -x7782 x7783 x7784 x7785 -x7786 x7787
1801.14	v -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 x7802 -x7803 -x7804
1801.14	v -x7805 -x7806 -x7807 x7808 -x7809 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822
1801.14	v -x7823 -x7824 x7825 x7826 x7828 x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 x7838 -x7839 x7840 -x7841
1801.14	v -x7842 -x7843 -x7844 x7845 x7846 x7847 -x7848 x7849 x7850 x7851 -x7852 -x7853 x7854 x7855 -x7856 x7858 -x7859 x7861 x7862
1801.14	v x7864 -x7865 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891
1801.14	v -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908
1801.14	v -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 x7917 x7918 -x7919 x7920 x7921 -x7922 -x7923 -x7924 -x7925 -x7926
1801.14	v x7927 x7928 -x7929 x7930 x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944
1801.14	v x7945 x7946 x7947 x7948 -x7949 -x7950 -x7951 -x7953 -x7954 x7955 -x7956 -x7957 x7958 -x7959 -x7960 -x7961 -x7962 -x7963
1801.14	v -x7964 x7965 -x7968 x7969 x7970 -x7971 -x7972 -x7974 x7975 x7976 x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984
1801.14	v -x7985 -x7986 -x7987 x7988 x7991 -x7992 -x7993 -x7994 -x7995 x7996 -x7997 x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004
1801.14	v -x8005 x8006 x8007 -x8008 -x8009 -x8010 x8011 x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022
1801.14	v -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040
1801.14	v -x8041 -x8042 x8043 -x8044 -x8045 -x8046 x8049 -x8050 -x8051 -x8052 -x8053 x8054 -x8055 -x8056 -x8057 -x8058 x8059 x8060
1801.14	v -x8061 -x8062 -x8063 x8064 -x8065 x8066 -x8067 -x8068 -x8069 x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078
1801.14	v -x8079 -x8080 -x8081 -x8082 x8083 -x8084 -x8085 -x8086 -x8087 -x8088 x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096
1801.14	v -x8097 -x8098 x8099 x8100 x8101 x8102 x8103 x8104 -x8105 -x8106 x8107 x8108 x8109 x8110 x8111 x8112 x8113 x8114 x8115 x8116
1801.14	v x8117 x8134 x8135 x8136 x8137 -x8138 x8139 x8140 x8141 x8142 x8144 -x8145 x8146 -x8147 x8148 x8149 x8150 -x8151 -x8152 -x8153
1801.14	v -x8154 x8155 x8156 x8157 -x8158 x8159 x8160 x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171
1801.14	v -x8172 -x8173 -x8174 -x8175 x8176 -x8177 -x8178 -x8179 x8180 -x8181 -x8182 x8183 -x8184 -x8185 -x8186 -x8187 x8188 x8189
1801.14	v x8190 -x8191 x8192 -x8193 -x8194 -x8195 -x8196 -x8197 x8198 x8199 x8200 x8201 x8202 x8203 x8204 x8205 x8206 x8207 -x8208
1801.14	v x8209 -x8210 x8211 x8212 x8213 x8214 x8215 x8216 x8217 x8218 x8219 x8220 x8221 x8222 x8223 -x8224 -x8225 -x8226 x8227 x8228
1801.14	v x8229 x8230 x8231 x8232 x8233 x8234 x8235 x8236 x8237 -x8238 x8239 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248
1801.14	v -x8249 -x8250 x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265
1801.14	v -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282
1801.14	v -x8283 -x8284 -x8285 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300
1801.14	v -x8301 x8302 x8303 x8304 -x8305 -x8306 x8307 x8308 x8309 x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8318 -x8319
1801.14	v -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8338 x8339 x8341 -x8342
1801.14	v -x8344 x8356 x8357 -x8361 x8362 -x8363 x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8375 -x8376 x8377 -x8378 -x8379 -x8380
1801.14	v -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 x8391 -x8392 -x8393 -x8394 -x8395 -x8396 x8397 -x8398 -x8399
1801.14	v -x8400 -x8401 x8402 x8403 x8404 x8405 x8406 x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8417 -x8421
1801.14	v -x8422 -x8423 -x8424 -x8425 x8426 -x8448 -x8449 -x8450 x8451 -x8452 -x8453 -x8454 -x8457 -x8458 -x8459 -x8460 -x8466 -x8467
1801.14	v -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 x8475 -x8476 -x8477 -x8478 -x8479 -x8484 -x8485 -x8486 -x8487 -x8488
1801.14	v -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505
1801.14	v -x8506 -x8507 -x8508 -x8509 -x8510 x8512 x8513 -x8514 -x8515 -x8516 x8517 -x8518 x8519 -x8520 -x8521 -x8522 x8523 x8524
1801.14	v x8525 x8526 x8527 -x8528 -x8529 -x8530 -x8531 x8532 x8533 x8534 x8535 x8536 x8537 x8538 x8539 x8540 -x8541 -x8542 -x8543
1801.14	v x8544 x8545 x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 x8555 -x8556 -x8557 -x8558 x8559 x8560 x8561
1801.14	v x8562 x8563 x8564 -x8565 -x8566 -x8567 -x8568 -x8569 x8570 x8571 -x8572 -x8573 -x8574 -x8575 x8576 -x8577 x8578 -x8579
1801.14	v -x8580 -x8581 x8583 -x8584 -x8585 x8586 x8587 -x8588 x8589 -x8590 x8591 x8592 x8593 -x8594 -x8596 -x8597 -x8598 -x8599
1801.14	v -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 x8608 x8609 -x8610 x8611 x8612 x8613 x8614 -x8615 x8616 x8617 x8618
1801.14	v x8619 -x8621 x8622 -x8623 -x8624 -x8625 -x8626 -x8627 x8628 -x8629 x8630 x8631 x8632 x8633 -x8634 x8635 -x8636 -x8637 x8638
1801.14	v -x8639 x8640 -x8641 -x8642 x8643 -x8644 -x8645 -x8646 x8647 x8648 -x8650 x8659 x8660 x8661 x8662 -x8663 -x8665 -x8667 x8668
1801.14	v -x8669 -x8670 x8671 -x8672 -x8673 x8674 x8675 x8676 x8677 x8678 x8679 -x8680 -x8681 -x8682 -x8686 -x8692 -x8694 -x8695
1801.14	v -x8696 x8697 x8698 x8699 x8700 x8701 x8702 x8703 x8704 x8705 -x8706 -x8707 x8708 x8709 x8710 x8711 x8712 x8713 x8714 -x8715
1801.14	v -x8716 -x8717 -x8718 -x8719 x8721 x8722 x8723 -x8724 x8725 x8726 x8727 -x8728 -x8729 -x8730 x8731 x8732 x8733 x8734 x8735
1801.14	v x8736 -x8737 -x8738 x8739 x8740 x8741 -x8742 -x8743 x8744 x8745 -x8746 -x8747 x8748 x8749 -x8750 -x8751 x8752 x8753 -x8754
1801.14	v -x8755 -x8756 x8757 x8758 x8759 x8760 x8761 x8762 x8763 -x8764 -x8765 x8766 x8767 x8768 -x8769 x8770 x8771 -x8772 x8773
1801.14	v -x8774 -x8775 -x8776 x8777 -x8778 -x8779 x8780 x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791
1801.14	v -x8792 -x8793 -x8794 -x8795 -x8796 x8797 -x8798 -x8799 -x8800 -x8801 -x8802 x8803 -x8804 -x8805 -x8806 -x8807 x8808 -x8809
1801.14	v -x8810 x8811 -x8812 -x8813 -x8814 x8815 x8816 x8817 x8818 x8819 x8820 x8821 x8822 x8823 -x8824 -x8825 x8826 x8827 x8828
1801.14	v x8829 x8830 x8831 x8832 x8833 x8834 -x8835 -x8836 -x8837 x8838 x8839 x8840 -x8841 -x8842 -x8844 x8847 x8848 x8849 -x8850
1801.14	v -x8851 -x8852 -x8853 x8854 -x8855 x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868
1801.14	v -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886
1801.14	v -x8887 -x8888 -x8889 -x8890 -x8891 x8892 x8893 x8894 x8895 x8896 x8897 -x8898 x8899 -x8900 -x8901 -x8902 -x8903 x8904 x8905
1801.14	v x8906 x8907 x8908 x8909 x8910 x8911 x8912 -x8913 -x8914 x8915 x8916 x8917 x8918 -x8919 -x8920 -x8921 -x8922 -x8923 x8924
1801.14	v x8925 x8926 x8927 x8928 x8929 x8930 x8931 -x8932 -x8933 x8934 -x8935 x8936 x8937 x8938 x8939 x8940 x8941 x8942 x8943 x8944
1801.14	v -x8945 x8946 -x8947 x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962
1801.14	v -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 x8976 -x8977 -x8978 -x8979
1801.14	v x8980 -x8981 x8982 -x8983 -x8984 -x8985 x8986 -x8987 x8988 x8989 x8990 x8991 x8992 x8993 -x8994 -x8995 x8996 -x8997 -x8998
1801.14	v x8999 -x9000 -x9001 x9002 x9003 -x9004 -x9005 -x9006 x9007 -x9008 -x9009 -x9010 -x9011 -x9012 x9013 -x9014 -x9015 -x9016
1801.14	v -x9017 -x9018 x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 x9031 x9032 -x9037 -x9038
1801.14	v -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 x9053 x9054 -x9055 -x9056 -x9057 -x9058
1801.14	v -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 x9066 x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076
1801.14	v -x9077 x9078 -x9079 -x9080 x9081 -x9082 x9083 -x9084 x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9094 -x9096 -x9097
1801.14	v x9098 -x9099 x9100 -x9101 -x9102 -x9103 x9104 -x9105 -x9106 -x9107 -x9108 x9109 -x9110 -x9111 x9112 -x9113 x9114 -x9115
1801.14	v -x9116 -x9117 x9118 -x9119 x9120 -x9121 -x9122 x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 x9131 -x9132 -x9133
1801.14	v -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 x9144 -x9145 -x9146 -x9147 -x9148 -x9149 x9150 -x9151
1801.14	v -x9152 -x9153 -x9154 -x9155 x9156 x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 x9166 -x9167 -x9168 -x9169
1801.14	v -x9170 -x9171 x9172 x9173 x9174 x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 x9183 -x9184 -x9185 -x9186 -x9187
1801.14	v -x9188 -x9189 x9190 -x9191 x9192 -x9193 x9194 -x9195 -x9196 x9197 -x9198 -x9199 x9200 x9201 -x9202 -x9203 -x9204 -x9205
1801.14	v x9206 -x9207 -x9208 x9209 x9210 x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 x9223
1801.14	v -x9224 x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240
1801.14	v -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 x9254 -x9255 x9256 -x9257 -x9258
1801.14	v -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275
1801.14	v x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 x9283 -x9284 x9285 x9286 x9287 x9288 x9289 x9290 x9291 x9292 x9293 x9294
1801.14	v x9295 x9296 x9297 x9298 -x9299 x9300 -x9301 x9302 -x9303 x9304 x9305 x9306 x9307 x9308 x9309 x9310 x9311 x9312 x9313 x9314
1801.14	v -x9315 x9316 -x9317 x9318 x9319 x9320 x9322 -x9324 -x9325 x9328 x9329 x9332 x9333 -x9334 x9335 x9336 x9337 x9338 x9339 -x9340
1801.14	v -x9341 -x9346 x9347 -x9348 x9352 x9353 -x9354 x9355 x9374 -x9375 -x9377 -x9380 -x9381 -x9382 -x9393 -x9394 -x9395 -x9396
1801.14	v x9397 x9398 x9399 x9400 x9401 x9402 x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414
1801.14	v -x9415 -x9416 -x9417 -x9418 -x9419 x9420 -x9421 -x9422 -x9423 -x9424 x9425 x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432
1801.14	v -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 x9439 x9440 -x9441 -x9442 x9443 x9444 -x9445 x9446 -x9447 -x9448 -x9449 -x9450
1801.14	v -x9451 -x9452 x9453 x9454 x9455 x9456 x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468
1801.14	v -x9469 -x9470 x9471 x9472 -x9473 -x9474 -x9475 x9476 x9477 -x9478 -x9479 -x9480 -x9481 x9482 -x9483 x9484 x9485 x9486 x9487
1801.14	v -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9504 -x9505
1801.14	v -x9506 -x9512 -x9513 -x9514 -x9515 x9516 -x9517 -x9519 x9521 x9522 x9523 x9524 -x9525 -x9526 -x9527 x9528 x9529 x9530 x9531
1801.14	v -x9532 -x9533 -x9534 x9535 x9536 x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549
1801.14	v -x9550 x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566
1801.14	v x9567 -x9568 -x9569 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9579 -x9580 x9581 x9582 x9583 -x9584 x9585 -x9586 -x9587
1801.14	v x9588 x9589 -x9590 x9591 -x9592 -x9593 x9594 x9595 x9596 x9597 x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606
1801.14	v -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624
1801.14	v -x9625 -x9626 -x9627 x9628 x9629 x9630 x9631 -x9632 x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9644 -x9646
1801.14	v -x9647 -x9648 -x9649 -x9650 x9651 x9652 -x9653 -x9654 -x9655 -x9656 x9657 x9662 x9663 -x9664 -x9665 -x9666 -x9667 -x9668
1801.14	v -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 x9675 -x9676 -x9677 -x9678 -x9679 -x9680 x9681 -x9682 -x9683 -x9684 -x9685 -x9686
1801.14	v -x9687 -x9688 -x9689 -x9690 x9691 x9692 x9693 -x9694 -x9695 x9696 -x9697 x9698 x9699 x9700 -x9701 -x9702 -x9703 -x9704
1801.14	v x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 x9712 x9713 x9714 x9715 x9716 x9726 x9727 -x9733 -x9734 -x9735 x9736 x9737
1801.14	v x9738 x9739 x9740 x9741 -x9742 -x9743 -x9744 x9745 x9746 -x9747 x9748 x9749 -x9750 -x9751 -x9752 x9753 -x9755 -x9756 x9757
1801.14	v -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9767 -x9768 -x9769 -x9770 x9771 -x9772 -x9773 -x9774 x9775 -x9776 -x9777
1801.14	v -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 x9790 x9791 x9792 x9793 x9794 x9795
1801.14	v x9796 x9797 x9798 x9799 x9800 x9801 x9802 x9803 x9804 x9805 x9806 x9807 x9808 x9809 -x9810 -x9811 x9812 -x9813 -x9815 -x9816
1801.14	v x9817 -x9818 x9819 x9820 x9821 x9822 x9823 x9824 -x9825 -x9826 x9827 -x9828 -x9829 -x9830 x9831 x9832 x9833 x9834 x9835
1801.14	v -x9836 -x9837 -x9838 -x9839 -x9840 x9842 -x9843 -x9845 -x9846 -x9847 x9848 x9849 x9850 -x9851 x9852 -x9853 x9854 x9855
1801.14	v x9856 x9857 x9858 x9859 x9860 -x9861 -x9862 x9863 x9864 -x9865 -x9866 -x9867 -x9868 -x9869 x9870 x9871 x9872 -x9873 -x9874
1801.14	v -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9888 -x9890 -x9891 -x9892 -x9893
1801.14	v -x9894 -x9895 -x9896 -x9897 -x9898 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924
1801.14	v -x9925 -x9926 -x9927 -x9929 -x9930 -x9931 -x9932 -x9933 -x9939 -x9942 -x9944 -x9946 -x9947 -x9948 -x9953 -x9954 -x9955
1801.14	v -x9973 -x9974 -x9975 -x9976 -x9978 x9979 -x9980 x9981 -x9982 -x9985 x9986 x9995 x9996 x9997 x9998 x9999 x10000 x10001 x10002
1801.14	v -x10003 x10004 -x10005 x10006 x10007 -x10008 x10009 x10010 x10011 x10012 x10013 x10014 x10015 -x10016 x10017 x10018 x10019
1801.14	v -x10020 -x10021 x10022 x10023 x10024 x10025 -x10026 -x10027 x10028 -x10029 x10030 x10031 x10032 -x10033 x10034 -x10035
1801.14	v -x10036 -x10037 -x10062 -x10063 x10067 -x10068 -x10069 x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085
1801.14	v -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10097 -x10098 -x10099 x10102 -x10104 -x10105
1801.14	v -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120
1801.14	v -x10121 -x10122 -x10123 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 x10132 x10133 x10134 x10135 x10136 -x10137
1801.14	v -x10138 -x10139 x10140 x10141 x10142 x10143 x10144 x10145 -x10146 -x10147 x10148 x10150 x10151 x10152 x10153 x10154 x10155
1801.14	v x10156 x10157 -x10158 x10160 x10161 x10162 x10163 x10164 x10165 x10166 x10167 x10168 x10169 x10170 x10171 x10172 x10173
1801.14	v -x10174 x10175 -x10176 x10179 -x10180 -x10181 -x10182 x10183 x10184 x10185 x10186 x10187 x10188 x10189 x10190 -x10191
1801.14	v x10192 x10193 x10194 -x10195 -x10196 x10197 x10198 x10200 x10201 x10202 -x10203 -x10205 -x10206 -x10207 -x10208 -x10209
1801.14	v -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 x10218 -x10219 -x10220 -x10221 x10222 -x10223 -x10225
1801.14	v -x10226 -x10227 x10228 x10229 -x10230 x10231 -x10232 x10233 x10234 -x10235 -x10236 -x10237 -x10238 x10239 x10240 -x10241
1801.14	v -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256
1801.14	v x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10271 x10272
1801.14	v -x10274 -x10275 -x10276 -x10277 -x10278 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10287 -x10288 x10289 x10290
1801.14	v x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10301 -x10302 -x10303 x10304 -x10305 -x10306 -x10311
1801.14	v -x10312 -x10313 -x10314 x10315 x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 x10326
1801.14	v x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 x10338 x10339 -x10340 -x10341
1801.14	v -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356
1801.14	v -x10357 x10358 -x10359 x10360 -x10361 -x10362 -x10363 -x10364 x10365 x10366 -x10367 x10368 x10369 x10370 -x10371 x10372
1801.14	v -x10373 x10374 x10375 -x10376 x10377 x10378 -x10379 x10380 x10381 -x10382 -x10384 -x10385 -x10386 -x10387 -x10389 -x10390
1801.14	v -x10391 -x10394 -x10395 -x10396 x10397 x10407 -x10408 x10409 x10410 -x10411 x10412 x10413 x10414 x10415 x10416 x10417
1801.14	v x10418 x10419 x10420 x10421 x10422 -x10423 -x10424 x10425 -x10426 -x10427 x10428 x10429 -x10430 -x10431 -x10432 -x10433
1801.14	v x10434 -x10435 x10436 -x10437 x10438 x10439 x10440 -x10441 -x10442 x10443 x10444 x10445 x10446 -x10447 -x10448 -x10449
1801.14	v -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 x10456 -x10457 -x10458 -x10459 -x10460 x10461 x10462 x10463 x10464 -x10465
1801.14	v -x10466 x10467 x10468 -x10469 x10470 x10471 -x10472 -x10473 -x10474 -x10475 x10476 x10477 x10479 -x10480 -x10481 -x10482
1801.14	v x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497
1801.14	v -x10498 -x10499 x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 x10507 x10508 -x10509 -x10510 -x10511 x10512
1801.14	v -x10513 x10514 x10515 x10516 x10517 -x10518 -x10519 -x10520 -x10521 -x10522 x10523 x10524 -x10525 -x10526 -x10529 -x10530
1801.14	v -x10531 -x10532 -x10533 x10534 x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545
1801.14	v x10546 x10547 -x10548 x10549 x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 x10560 -x10561
1801.14	v -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 x10571 -x10572 -x10573 -x10574 -x10575 -x10576
1801.14	v -x10577 -x10578 -x10579 x10580 -x10581 x10582 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 x10591 -x10593 -x10594
1801.14	v -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10608 -x10609 -x10610 -x10611 -x10612
1801.14	v -x10613 -x10614 x10615 -x10616 -x10617 -x10618 -x10619 -x10622 -x10623 -x10624 -x10625 -x10626 x10627 -x10628 x10629
1801.14	v x10630 -x10631 -x10632 -x10633 -x10634 x10635 x10637 x10638 x10639 x10640 -x10641 -x10642 x10643 -x10644 x10645 x10646
1801.14	v x10647 -x10648 x10649 x10650 x10651 -x10652 -x10653 x10654 -x10655 x10656 x10657 x10658 -x10659 x10660 -x10661 -x10662
1801.14	v -x10663 -x10664 x10665 -x10666 -x10667 x10668 -x10669 x10670 x10671 -x10672 -x10673 -x10674 -x10675 -x10676 x10677 -x10678
1801.14	v -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 x10689 -x10690 -x10691 -x10692 -x10693
1801.14	v -x10694 -x10695 x10696 x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 x10705 x10706 -x10707 x10708 -x10709
1801.14	v x10710 x10711 x10712 x10713 x10714 x10715 x10716 x10717 -x10718 x10719 x10720 -x10721 -x10722 -x10723 -x10724 -x10725
1801.14	v -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740
1801.14	v -x10741 -x10742 -x10744 -x10745 -x10746 x10747 -x10748 -x10749 -x10750 -x10751 x10752 -x10753 x10766 x10767 x10768 -x10779
1801.14	v x10780 -x10781 x10782 -x10785 x10786 x10787 -x10788 x10789 x10790 x10791 x10792 -x10793 -x10794 -x10795 -x10796 -x10798
1801.14	v -x10799 -x10800 -x10801 x10802 x10804 -x10805 x10806 x10807 -x10808 x10809 -x10810 x10811 x10812 x10813 x10814 x10815
1801.14	v -x10818 -x10819 x10820 x10821 -x10822 -x10823 -x10824 -x10825 -x10826 x10827 x10828 x10829 x10836 x10837 x10861 x10862
1801.14	v -x10863 x10864 -x10865 x10866 -x10867 x10868 x10869 x10870 -x10871 x10872 x10873 x10874 -x10875 -x10876 -x10877 -x10878
1801.14	v -x10879 x10880 -x10881 x10882 -x10883 -x10884 -x10885 x10886 -x10887 x10888 -x10889 -x10890 -x10891 -x10892 -x10893
1801.14	v -x10894 -x10895 x10896 x10897 x10898 -x10899 x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908
1801.14	v -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 x10915 x10916 x10917 x10918 -x10919 x10920 -x10921 x10922 -x10923 -x10924
1801.14	v -x10925 -x10926 x10927 x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939
1801.14	v -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 x10948 -x10949 x10950 -x10951 -x10952 -x10953 -x10954
1801.14	v -x10955 -x10957 -x10958 -x10959 -x10960 -x10962 -x10969 -x10970 -x10971 x10972 x10973 x10974 x10975 x10976 -x10977 -x10978
1801.14	v -x10979 x10980 -x10981 x10982 -x10983 x10984 -x10985 -x10986 -x10987 -x10988 x10989 x10990 x10991 x10992 x10993 x10994
1801.14	v x10995 x10996 x10997 -x10998 -x10999 -x11000 x11001 -x11002 x11003 -x11004 -x11005 -x11006 x11007 x11008 x11009 -x11010
1801.14	v x11011 x11012 x11013 x11014 x11015 -x11016 x11017 x11018 x11019 -x11020 x11021 -x11022 x11023 x11024 x11025 -x11026 x11027
1801.14	v x11028 -x11029 -x11030 -x11031 x11032 x11033 x11034 x11035 -x11036 -x11037 -x11038 x11039 x11040 x11041 -x11042 -x11043
1801.14	v -x11044 x11045 x11046 -x11047 x11048 x11049 x11050 -x11051 x11052 x11053 x11054 -x11055 -x11056 -x11057 -x11058 -x11059
1801.14	v x11060 -x11061 -x11062 -x11063 -x11064 -x11065 x11066 -x11067 -x11068 x11069 x11070 x11071 -x11072 x11073 x11074 x11075
1801.14	v -x11076 -x11077 x11078 x11079 -x11080 x11081 x11082 x11083 x11084 x11085 x11086 x11087 -x11088 -x11089 -x11090 x11091
1801.14	v -x11092 -x11093 -x11094 -x11095 -x11096 -x11097 -x11098 x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106
1801.14	v -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 -x11113 -x11114 -x11115 -x11116 x11117 -x11118 -x11119 -x11120 -x11121
1801.14	v -x11122 x11123 -x11124 -x11125 -x11126 x11127 -x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136
1801.14	v -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151
1801.14	v -x11166 -x11167 -x11175 -x11176 -x11177 -x11178 x11179 -x11180 x11181 -x11182 x11183 x11184 x11185 -x11186 x11187 -x11188
1801.14	v -x11189 -x11190 x11191 x11192 -x11193 -x11194 x11195 x11196 x11197 -x11198 x11199 -x11200 -x11201 -x11202 x11203 -x11204
1801.14	v x11205 -x11206 x11207 x11208 x11209 -x11210 x11211 x11212 -x11213 x11214 -x11215 -x11216 -x11217 -x11218 -x11219 -x11220
1801.14	v -x11221 -x11222 -x11223 x11224 -x11225 x11226 -x11227 -x11228 -x11229 x11230 x11231 -x11232 -x11233 x11234 x11235 -x11236
1801.14	v x11237 x11238 -x11239 -x11240 -x11242 -x11243 -x11244 -x11245 -x11246 -x11247 -x11248 -x11249 -x11250 -x11251 x11252
1801.14	v x11253 -x11254 -x11255 -x11256 -x11257 -x11258 -x11259 -x11260 -x11261 -x11262 -x11263 -x11264 -x11265 -x11266 x11267
1801.14	v -x11268 x11270 -x11271 -x11272 -x11273 x11274 -x11275 x11276 -x11277 x11278 x11279 x11280 -x11282 -x11283 -x11284 -x11285
1801.14	v -x11286 -x11287 -x11288 x11289 -x11290 -x11291 -x11292 -x11293 -x11294 -x11295 -x11296 -x11297 -x11298 -x11299 x11300
1801.14	v -x11301 -x11302 -x11303 -x11304 -x11305 -x11306 -x11307 -x11308 x11309 -x11310 -x11311 -x11312 x11313 -x11323 -x11324
1801.14	v -x11325 -x11326 -x11327 -x11328 -x11329 -x11330 -x11331 -x11332 -x11333 -x11334 -x11335 -x11336 -x11337 -x11338 -x11339
1801.14	v -x11340 -x11341 -x11342 x11343 x11344 -x11345 -x11346 -x11347 x11348 -x11349 x11350 -x11351 x11352 x11353 -x11354 -x11355
1801.14	v -x11356 -x11357 x11358 -x11359 x11360 x11361 x11362 x11363 -x11364 -x11365 -x11366 -x11367 x11368 x11369 -x11370 x11371
1801.14	v x11372 -x11373 -x11374 -x11375 -x11376 -x11377 x11378 -x11379 -x11380 -x11381 -x11382 -x11383 -x11384 -x11385 -x11386
1801.14	v -x11387 -x11388 -x11389 -x11390 -x11391 x11392 -x11393 -x11394 -x11395 -x11396 x11398 -x11399 x11400 x11409 -x11410
1801.14	v x11417 x11418 -x11419 x11420 -x11421 -x11422 -x11423 -x11426 -x11427 -x11428 -x11430 -x11431 -x11432 -x11433 -x11434
1801.14	v -x11443 -x11444 -x11445 -x11446 -x11447 -x11448 -x11449 -x11450 -x11451 -x11452 -x11453 -x11454 -x11455 -x11458 -x11463
1801.14	v -x11464 -x11465 -x11466 -x11467 -x11468 -x11469 -x11471 x11472 x11473 -x11475 -x11476 -x11477 -x11478 -x11479 -x11487
1801.14	v -x11490 -x11491 -x11492 x11493 x11494 -x11495 x11496 -x11497 x11498 x11499 x11500 -x11501 -x11502 -x11503 -x11504 -x11505
1801.14	v -x11506 -x11507 x11508 x11509 -x11510 -x11511 -x11512 -x11513 -x11514 -x11515 -x11516 -x11517 -x11518 -x11519 -x11520
1801.14	v -x11521 -x11522 -x11523 -x11524 -x11525 -x11526 -x11527 -x11528 -x11529 -x11530 -x11531 -x11532 -x11533 -x11534 -x11535
1801.14	v -x11536 -x11537 -x11538 -x11539 -x11540 -x11541 -x11542 -x11543 -x11544 -x11545 -x11588 -x11589 -x11590 -x11591 -x11592
1801.14	v -x11593 x11594 -x11595 -x11596 -x11597 x11598 -x11599 -x11600 -x11601 -x11602 -x11603 -x11604 -x11605 -x11606 -x11607
1801.14	v -x11608 x11609 -x11610 x11611 x11612 x11613 x11614 x11615 x11616 x11617 x11618 -x11619 x11620 -x11621 x11622 x11623 x11624
1801.14	v -x11625 x11626 -x11627 -x11628 -x11629 -x11630 -x11631 -x11632 -x11633 -x11634 -x11635 -x11636 -x11637 -x11638 -x11639
1801.14	v -x11640 -x11641 -x11642 -x11643 -x11644 -x11645 -x11646 -x11647 -x11648 -x11649 -x11650 -x11651 -x11652 -x11653 -x11654
1801.14	v -x11655 -x11656 -x11657 -x11658 -x11659 -x11660 -x11661 -x11662 -x11663 -x11664 -x11665 -x11666 -x11667 -x11668 -x11669
1801.14	v -x11670 -x11671 x11672 -x11673 x11674 -x11676 x11677 x11678 -x11679 -x11680 x11681 x11682 x11683 -x11684 x11685 -x11686
1801.14	v x11687 x11688 -x11689 x11690 x11691 -x11692 -x11693 -x11694 -x11695 -x11696 -x11697 -x11698 -x11699 -x11700 x11701 -x11702
1801.14	v x11703 -x11704 x11705 x11706 -x11707 -x11708 -x11709 -x11710 x11711 x11712 -x11713 x11714 -x11715 x11716 x11717 -x11718
1801.14	v x11719 -x11720 -x11721 -x11722 x11723 -x11724 x11725 -x11726 -x11727 -x11728 -x11729 x11730 x11731 -x11732 -x11733 -x11734
1801.14	v -x11735 -x11736 -x11737 x11738 x11739 -x11740 -x11741 -x11742 x11743 x11744 x11745 x11746 -x11747 -x11748 -x11749 x11750
1801.14	v x11751 x11752 -x11753 x11754 x11755 x11756 -x11757 -x11758 -x11759 -x11760 -x11763 -x11764 -x11765 -x11766 -x11767 -x11768
1801.14	v -x11769 -x11770 -x11772 x11773 -x11774 -x11775 -x11776 -x11777 -x11778 -x11779 -x11780 -x11781 -x11782 -x11783 -x11785
1801.14	v -x11786 -x11787 -x11788 -x11789 x11790 -x11791 -x11792 -x11793 -x11794 x11795 -x11796 -x11797 -x11798 -x11799 -x11800
1801.14	v -x11801 -x11802 -x11803 -x11804 -x11805 -x11806 x11807 x11808 x11809 -x11810 -x11811 -x11812 -x11813 -x11815 -x11819
1801.14	v -x11820 -x11821 -x11822 -x11823 -x11824 -x11825 -x11826 -x11827 -x11828 -x11829 -x11830 -x11831 -x11832 -x11833 -x11834
1801.14	v -x11835 -x11836 -x11837 -x11838 -x11839 -x11840 -x11841 -x11842 -x11843 -x11844 -x11845 -x11846 -x11847 -x11848 -x11849
1801.14	v x11850 x11851 -x11852 -x11853 -x11854 -x11855 -x11856 -x11857 -x11858 -x11859 -x11860 -x11861 -x11862 -x11863 -x11864
1801.14	v -x11865 -x11866 -x11867 -x11868 -x11869 -x11870 -x11871 -x11872 -x11873 -x11874 -x11875 -x11876 -x11877 -x11878 -x11879
1801.14	v -x11880 -x11881 -x11882 -x11883 -x11884 -x11885 -x11886 -x11887 -x11888 -x11889 -x11890 -x11891 -x11892 -x11893 -x11894
1801.14	v -x11895 -x11896 -x11897 -x11898 -x11899 -x11900 -x11901 -x11902 -x11903 -x11904 -x11905 -x11906 -x11907 -x11908 -x11909
1801.14	v -x11910 -x11911 x11912 -x11913 x11914 -x11915 -x11916 -x11917 -x11918 -x11919 -x11920 x11921 x11922 -x11923 -x11924
1801.14	v -x11925 -x11926 -x11927 -x11928 -x11929 -x11930 x11931 x11932 -x11933 -x11934 -x11935 -x11936 -x11937 -x11938 -x11939
1801.14	v -x11940 -x11941 -x11942 -x11943 -x11944 x11945 x11946 -x11947 -x11948 -x11949 -x11950 -x11951 -x11952 -x11953 -x11954
1801.14	v -x11955 -x11956 -x11957 -x11958 -x11959 -x11960 -x11961 -x11962 -x11963 -x11964 -x11965 -x11966 -x11967 -x11968 -x11969
1801.14	v -x11970 -x11971 -x11972 x11973 x11974 x11975 -x11976 x11977 -x11978 -x11979 -x11980 -x11981 -x11982 -x11983 -x11984
1801.14	v -x11985 -x11986 -x11987 -x11988 -x11989 -x11990 x11991 x11992 -x11993 -x11994 -x11995 -x11996 -x11997 -x11998 -x11999
1801.14	v -x12000 -x12001 -x12002 -x12003 -x12004 -x12005 -x12006 -x12007 -x12008 -x12009 -x12010 -x12011 -x12012 x12013 x12014
1801.14	v -x12015 -x12016 -x12017 -x12018 -x12019 -x12020 -x12022 -x12023 -x12024 -x12025 -x12026 -x12028 x12029 x12030 x12032
1801.14	v -x12034 -x12035 -x12036 -x12037 x12038 x12040 -x12041 x12042 x12043 x12044 x12045 x12046 -x12047 -x12048 -x12049 -x12050
1801.14	v x12051 x12052 -x12053 x12054 -x12055 x12056 x12057 -x12058 -x12059 x12060 x12061 -x12062 x12063 x12064 x12065 -x12066
1801.14	v -x12067 -x12068 -x12069 -x12070 -x12071 -x12072 -x12073 -x12074 -x12076 -x12078 -x12079 -x12080 -x12081 -x12082 -x12083
1801.14	v -x12084 -x12085 -x12086 -x12087 x12088 -x12089 -x12090 -x12091 -x12092 x12093 -x12094 -x12095 -x12096 -x12099 -x12100
1801.14	v -x12101 -x12102 -x12103 -x12104 -x12105 -x12106 -x12107 -x12108 -x12109 -x12110 -x12111 -x12112 -x12113 -x12114 -x12115
1801.14	v x12116 -x12117 -x12118 -x12119 -x12120 -x12121 x12122 -x12123 -x12124 -x12125 -x12126 x12127 -x12128 -x12129 -x12130
1801.14	v -x12131 -x12132 x12133 -x12134 -x12135 -x12136 x12137 -x12141 -x12143 -x12144 -x12145 -x12147 -x12148 x12149 -x12150
1801.14	v -x12151 x12152 -x12153 x12154 x12155 -x12156 -x12157 -x12158 -x12159 x12160 -x12161 x12162 -x12163 -x12164 x12165 -x12166
1801.14	v -x12167 -x12168 -x12169 x12170 x12171 x12172 -x12173 -x12174 x12175 -x12176 -x12177 x12178 x12179 x12180 -x12181 -x12182
1801.14	v -x12183 -x12184 -x12185 -x12186 -x12187 -x12188 x12189 -x12190 -x12191 -x12192 -x12193 -x12194 -x12195 -x12196 -x12197
1801.14	v -x12198 -x12199 x12200 x12201 -x12202 -x12203 -x12204 -x12205 -x12206 -x12207 -x12208 -x12209 -x12210 -x12211 -x12212
1801.14	v -x12213 x12214 x12215 -x12216 -x12217 -x12218 -x12219 -x12220 -x12221 -x12222 -x12223 -x12224 -x12225 -x12226 -x12227
1801.14	v -x12228 -x12229 -x12230 -x12231 -x12232 -x12233 -x12234 -x12235 -x12236 -x12237 x12238 -x12239 x12240 x12241 -x12242
1801.14	v x12243 x12244 x12245 x12246 x12247 x12248 -x12249 x12250 -x12251 x12252 x12253 x12254 x12255 x12256 x12257 -x12258 x12259
1801.14	v x12260 x12261 -x12262 -x12263 -x12264 x12265 x12266 -x12267 x12268 x12269 x12270 x12271 x12272 x12273 -x12274 x12275
1801.14	v -x12276 x12277 x12278 x12279 x12280 -x12281 -x12282 -x12283 -x12284 -x12285 -x12286 -x12287 -x12288 -x12289 x12290 x12291
1801.14	v x12292 x12293 x12294 -x12295 x12296 x12297 x12298 x12299 -x12303 x12312 -x12313 x12314 x12320 x12321 x12322 -x12323 -x12324
1801.14	v -x12325 x12326 -x12328 -x12329 -x12330 x12331 -x12332 -x12333 x12334 -x12335 x12336 x12339 x12340 x12341 x12342 -x12343
1801.14	v x12344 x12345 x12346 -x12347 x12348 x12350 x12351 x12352 -x12353 x12354 -x12355 -x12356 -x12359 -x12360 -x12361 -x12362
1801.14	v -x12363 -x12365 -x12371 -x12373 -x12376 -x12377 -x12378 -x12379 -x12380 -x12381 -x12382 -x12383 -x12385 -x12393 -x12394
1801.14	v x12395 -x12397 -x12398 -x12399 -x12400 -x12401 -x12402 -x12403 x12404 -x12405 -x12406 -x12407 x12408 -x12409 -x12410
1801.14	v -x12411 -x12412 -x12413 x12414 x12415 -x12416 x12417 -x12418 -x12419 -x12420 -x12421 x12422 x12423 x12424 x12425 x12426
1801.14	v -x12427 -x12428 -x12429 x12430 x12431 x12432 -x12433 x12434 -x12435 -x12436 -x12437 -x12438 x12439 -x12440 -x12441 -x12442
1801.14	v -x12444 -x12445 -x12446 -x12447 -x12448 -x12449 -x12450 x12451 x12452 -x12453 -x12454 -x12455 -x12456 -x12457 -x12458
1801.14	v -x12459 x12460 x12461 -x12462 -x12463 -x12464 -x12465 -x12466 -x12467 -x12468 -x12469 -x12470 -x12471 -x12472 -x12473
1801.14	v -x12474 -x12475 -x12476 -x12477 -x12478 -x12479 -x12480 -x12481 -x12482 -x12483 -x12484 -x12485 -x12486 x12487 x12488
1801.14	v x12489 -x12490 -x12491 -x12492 -x12493 x12494 x12495 -x12496 -x12497 -x12498 -x12499 -x12500 -x12501 -x12502 -x12503
1801.14	v x12504 x12505 -x12512 x12513 x12514 -x12515 -x12516 -x12517 -x12518 -x12519 -x12520 -x12521 -x12522 x12523 x12524 -x12525
1801.14	v -x12526 -x12527 -x12528 x12529 -x12530 -x12531 -x12532 x12533 -x12534 -x12535 -x12536 -x12537 -x12538 -x12539 -x12540
1801.14	v -x12541 x12542 x12543 x12544 -x12545 x12546 -x12547 -x12548 -x12549 x12550 x12551 -x12552 x12565 x12566 -x12567 -x12568
1801.14	v x12569 x12570 -x12571 -x12572 -x12573 x12574 x12575 x12576 x12577 -x12578 -x12579 x12580 -x12581 -x12582 x12583 x12584
1801.14	v x12585 -x12586 -x12587 -x12588 -x12589 -x12590 -x12591 -x12592 -x12593 x12594 x12595 -x12596 -x12597 x12598 x12599 x12600
1801.14	v -x12601 -x12602 -x12603 -x12604 -x12605 -x12606 x12607 -x12608 x12609 -x12610 -x12612 -x12613 -x12615 -x12616 -x12617
1801.14	v -x12618 -x12619 -x12620 -x12621 -x12622 -x12623 -x12624 -x12625 x12626 x12627 -x12628 -x12629 -x12630 -x12631 -x12633
1801.14	v -x12634 -x12635 -x12636 -x12637 -x12638 -x12639 -x12640 -x12641 -x12642 -x12643 -x12644 -x12645 -x12646 -x12647 x12648
1801.14	v -x12649 x12650 x12651 -x12652 -x12653 x12654 -x12655 x12656 x12657 x12658 x12659 x12660 x12661 x12662 x12663 -x12664
1801.14	v -x12665 -x12666 x12667 -x12668 -x12669 -x12671 -x12674 x12675 -x12676 -x12678 -x12679 -x12680 -x12681 -x12682 -x12683
1801.14	v -x12684 -x12685 -x12686 -x12687 -x12688 x12689 -x12690 x12691 x12692 -x12693 -x12694 x12695 -x12696 -x12697 -x12698
1801.14	v x12699 x12700 x12701 x12702 -x12703 x12704 x12705 x12706 x12707 x12708 x12709 x12710 -x12712 x12713 x12714 x12715 x12716
1801.14	v x12717 x12718 x12719 -x12720 -x12721 -x12722 -x12723 -x12724 x12725 -x12726 x12727 -x12728 x12729 x12730 x12731 -x12732
1801.14	v -x12733 -x12734 x12735 x12736 -x12737 -x12738 -x12739 -x12740 x12741 x12742 x12743 -x12744 -x12745 x12746 x12747 x12748
1801.14	v x12749 x12750 x12751 x12752 x12753 x12754 x12755 -x12756 -x12757 -x12758 x12759 -x12760 -x12761 -x12762 -x12763 -x12764
1801.14	v x12765 -x12766 -x12767 -x12768 -x12769 -x12770 -x12771 -x12772 -x12773 -x12774 -x12775 -x12776 -x12777 -x12778 -x12779
1801.14	v -x12780 -x12781 -x12782 -x12783 -x12784 -x12785 -x12786 -x12787 -x12788 -x12789 -x12790 -x12791 -x12792 -x12793 -x12794
1801.14	v -x12795 -x12796 -x12797 -x12798 -x12799 -x12800 -x12801 -x12802 -x12803 -x12804 -x12805 -x12806 -x12807 -x12808 -x12809
1801.14	v -x12810 -x12811 -x12812 -x12813 -x12814 -x12815 -x12816 -x12817 -x12818 -x12819 -x12820 -x12821 -x12822 x12826 x12827
1801.14	v x12828 x12830 x12842 x12843 -x12844 -x12845 -x12850 x12851 x12855 x12856 -x12857 -x12858 -x12859 x12860 x12861 x12862
1801.14	v x12863 x12864 x12865 -x12866 -x12867 x12868 x12869 -x12870 x12871 -x12872 -x12873 -x12874 -x12875 -x12876 -x12877 -x12878
1801.14	v -x12879 -x12880 -x12881 x12882 x12894 x12895 x12896 x12897 x12898 -x12900 -x12901 -x12902 -x12903 -x12904 -x12905 -x12906
1801.14	v -x12907 -x12908 -x12909 -x12910 -x12911 -x12912 -x12913 -x12914 x12915 -x12916 -x12917 -x12918 -x12919 -x12920 -x12921
1801.14	v -x12922 -x12923 -x12924 -x12925 -x12926 -x12927 -x12928 -x12929 -x12930 -x12931 -x12932 -x12933 -x12934 -x12935 -x12936
1801.14	v -x12937 -x12938 -x12939 -x12940 x12941 x12942 x12943 -x12944 x12945 -x12946 x12947 x12948 x12949 -x12950 -x12951 x12952
1801.14	v x12953 -x12954 -x12955 -x12956 -x12957 -x12958 -x12959 -x12960 -x12961 -x12962 x12963 x12964 x12965 -x12966 x12967 x12968
1801.14	v x12969 x12970 x12971 x12972 x12973 x12974 x12975 x12976 x12977 x12978 x12979 -x12980 -x12981 x12982 x12983 -x12984 -x12985
1801.14	v -x12986 x12987 x12990 -x12991 -x12992 -x12993 x12994 x12995 -x12996 x12998 x12999 -x13000 x13001 -x13002 -x13003 -x13004
1801.14	v -x13005 -x13006 -x13007 -x13008 -x13009 -x13010 -x13011 -x13012 -x13013 -x13014 -x13015 -x13016 -x13017 -x13018 -x13019
1801.14	v -x13020 -x13021 -x13022 -x13023 -x13024 x13025 -x13026 -x13027 -x13029 -x13030 x13031 -x13032 -x13033 -x13034 -x13035
1801.14	v x13036 -x13037 x13038 -x13039 x13040 x13041 -x13042 x13043 x13044 x13045 x13047 x13048 x13049 x13050 x13051 x13052 x13054
1801.14	v x13055 x13056 -x13057 x13058 x13059 x13060 x13061 x13062 -x13063 -x13064 -x13065 -x13066 x13067 x13068 x13069 x13070
1801.14	v x13071 -x13072 -x13073 -x13074 x13075 x13076 x13077 x13078 x13079 x13080 -x13081 -x13082 -x13083 -x13084 -x13085 -x13086
1801.14	v -x13087 -x13088 -x13089 -x13090 -x13091 -x13092 -x13093 -x13094 -x13095 -x13096 -x13097 -x13098 -x13099 -x13100 -x13101
1801.14	v -x13102 -x13103 -x13104 -x13105 -x13106 -x13107 -x13108 -x13109 -x13110 -x13113 -x13114 -x13115 -x13116 -x13117 -x13118
1801.14	v -x13119 -x13120 -x13121 x13122 x13123 -x13124 -x13125 -x13126 -x13127 -x13128 x13129 x13130 -x13131 -x13132 -x13133
1801.14	v -x13134 -x13135 -x13136 -x13137 -x13138 -x13139 -x13140 -x13141 x13142 x13143 -x13144 x13145 x13146 -x13147 -x13148
1801.14	v -x13149 -x13150 -x13151 -x13152 -x13153 -x13154 -x13155 x13156 x13157 x13158 -x13159 x13160 -x13161 -x13162 -x13163
1801.14	v -x13164 -x13165 -x13166 -x13167 -x13168 -x13169 -x13170 -x13171 x13172 x13173 -x13174 -x13175 -x13176 x13177 x13178
1801.14	v -x13179 x13180 x13181 -x13182 x13183 -x13184 x13185 -x13186 -x13187 -x13188 -x13189 -x13190 -x13191 -x13192 -x13193
1801.14	v -x13194 -x13195 -x13196 -x13197 -x13198 x13199 x13200 x13201 -x13202 -x13203 -x13204 x13205 x13206 x13207 -x13208 -x13209
1801.14	v -x13210 -x13211 -x13212 -x13213 -x13214 -x13215 -x13216 -x13217 -x13218 -x13219 -x13220 -x13221 -x13222 -x13223 -x13224
1801.14	v -x13225 -x13226 -x13227 -x13228 -x13229 -x13230 x13231 -x13232 x13233 -x13234 -x13235 -x13236 x13237 -x13238 -x13239
1801.14	v -x13240 -x13241 -x13242 -x13243 x13245 -x13246 -x13247 -x13248 -x13249 -x13250 -x13251 -x13252 -x13253 -x13254 -x13255
1801.14	v x13256 -x13257 -x13258 -x13259 -x13260 -x13261 -x13262 -x13263 x13264 -x13267 -x13268 x13269 -x13270 x13271 -x13272
1801.14	v -x13273 -x13274 -x13275 -x13276 -x13277 -x13278 x13279 x13280 x13281 x13282 x13283 x13284 -x13285 -x13286 x13287 x13288
1801.14	v -x13289 x13290 x13291 x13292 x13293 -x13294 -x13295 -x13296 -x13297 x13298 x13299 -x13300 x13301 x13302 x13303 x13304
1801.14	v -x13305 -x13306 -x13307 -x13308 -x13309 -x13310 -x13311 -x13312 -x13313 -x13314 -x13315 -x13316 x13317 -x13318 x13319
1801.14	v x13320 x13321 -x13322 -x13323 -x13324 -x13325 -x13326 -x13327 x13328 -x13329 -x13330 x13331 -x13332 x13333 -x13334 -x13335
1801.14	v -x13336 x13337 -x13338 -x13339 -x13340 -x13341 -x13342 x13343 -x13348 -x13349 -x13350 -x13351 -x13352 -x13353 x13354
1801.14	v -x13355 x13356 -x13357 -x13358 -x13359 -x13360 x13361 -x13362 -x13363 -x13364 -x13365 x13366 -x13367 -x13368 -x13369
1801.14	v -x13370 -x13371 x13372 -x13373 -x13374 -x13375 -x13376 -x13377 -x13381 -x13398 -x13399 -x13400 -x13401 -x13402 -x13403
1801.14	v -x13404 -x13405 -x13407 -x13408 -x13409 -x13410 -x13411 x13412 x13413 x13414 x13415 x13416 -x13417 -x13418 -x13425 -x13442
1801.14	v -x13443 x13444 -x13446 x13447 -x13448 x13450 x13451 -x13452 -x13453 -x13454 -x13455 -x13456 x13457 x13458 x13459 x13460
1801.14	v x13461 x13462 x13463 -x13464 -x13465 -x13467 -x13468 -x13469 x13470 -x13471 -x13472 -x13473 x13474 -x13475 -x13476 -x13477
1801.14	v -x13478 -x13479 -x13480 -x13481 -x13482 -x13483 -x13484 x13486 -x13487 -x13489 -x13490 -x13491 x13493 x13494 x13495
1801.14	v -x13496 -x13497 -x13498 x13499 x13500 x13501 -x13502 -x13503 -x13504 -x13505 -x13506 -x13507 -x13508 -x13509 -x13510
1801.14	v -x13511 -x13512 -x13513 -x13514 -x13515 -x13516 -x13517 -x13518 -x13519 -x13520 -x13521 -x13522 -x13523 -x13524 -x13525
1801.14	v -x13526 -x13527 -x13528 -x13529 -x13530 -x13531 -x13532 -x13533 -x13534 -x13535 -x13536 -x13537 -x13538 x13539 x13540
1801.14	v -x13541 -x13542 -x13543 -x13544 -x13545 -x13546 x13547 x13548 x13549 x13550 x13551 x13552 x13553 x13554 -x13556 -x13557
1801.14	v -x13558 -x13559 -x13560 -x13561 -x13562 -x13563 -x13564 -x13565 -x13566 -x13567 -x13568 -x13569 -x13570 -x13571 -x13572
1801.14	v -x13573 -x13574 -x13575 -x13576 x13577 -x13578 x13579 x13580 -x13581 -x13582 x13583 x13584 x13585 -x13586 x13587 -x13588
1801.14	v x13589 -x13590 -x13591 -x13592 -x13593 -x13594 -x13595 -x13596 x13597 -x13598 -x13599 -x13600 -x13601 x13602 x13603
1801.14	v x13604 -x13605 x13606 x13607 -x13608 -x13609 -x13610 x13611 -x13612 -x13613 x13614 x13615 x13616 x13617 -x13618 -x13619
1801.14	v x13620 -x13621 -x13622 -x13623 -x13624 -x13625 x13626 x13627 -x13628 -x13629 -x13630 x13631 x13632 x13633 x13634 -x13635
1801.14	v x13636 -x13637 x13638 x13639 -x13640 x13641 x13642 x13643 x13644 x13645 x13648 -x13649 -x13651 -x13652 x13653 x13654
1801.14	v x13655 -x13656 x13657 x13658 -x13659 -x13660 -x13661 x13680 -x13681 x13682 -x13683 -x13684 -x13685 -x13686 -x13687 -x13688
1801.14	v -x13689 -x13690 -x13691 -x13692 -x13693 -x13694 x13695 -x13696 x13697 -x13698 x13699 x13700 -x13701 -x13702 -x13703
1801.14	v x13704 x13705 x13706 x13707 x13708 x13709 -x13730 x13731 -x13732 -x13733 -x13734 -x13735 -x13736 -x13737 x13738 x13739
1801.14	v x13740 x13741 x13742 -x13757 -x13763 -x13767 x13768 x13770 -x13778 -x13779 -x13783 -x13784 -x13801 x13802 x13803 -x13804
1801.14	v -x13805 -x13806 -x13807 x13808 -x13809 x13810 -x13811 -x13812 -x13813 -x13814 -x13815 -x13816 -x13817 -x13818 -x13819
1801.14	v -x13820 -x13821 -x13822 -x13823 -x13824 -x13825 -x13826 -x13827 -x13828 -x13829 x13830 x13831 x13832 -x13833 -x13834
1801.14	v -x13835 x13836 x13837 x13838 -x13839 -x13840 -x13841 x13842 x13843 x13844 x13845 x13846 x13847 x13848 -x13849 -x13850
1801.14	v -x13851 -x13852 -x13853 x13854 -x13855 -x13856 -x13857 x13858 x13859 -x13860 -x13861 -x13862 x13863 x13864 -x13865 -x13866
1801.14	v -x13867 -x13868 -x13869 x13870 x13871 x13872 x13873 -x13874 -x13875 x13876 x13877 x13878 -x13879 x13880 -x13881 -x13882
1801.14	v -x13883 -x13884 -x13885 -x13886 -x13887 x13888 x13889 x13890 x13891 x13892 -x13893 x13894 -x13895 x13896 x13897 -x13898
1801.14	v x13899 -x13900 x13901 x13902 x13903 -x13904 -x13905 -x13906 -x13907 x13908 -x13909 x13910 -x13911 x13912 x13913 -x13914
1801.14	v -x13915 -x13916 x13917 x13918 -x13919 x13920 x13921 -x13922 x13923 -x13924 x13925 -x13926 -x13927 -x13928 -x13929 -x13930
1801.14	v -x13931 x13932 -x13933 x13934 -x13935 x13936 x13937 -x13938 x13939 -x13940 -x13941 -x13942 x13943 -x13944 -x13945 -x13946
1801.14	v -x13947 -x13948 -x13949 -x13950 -x13951 -x13952 -x13953 -x13954 -x13955 -x13956 -x13957 -x13958 -x13959 -x13960 -x13961
1801.14	v -x13962 -x13963 -x13964 -x13965 -x13966 -x13967 x13968 -x13969 -x13970 -x13971 x13972 -x13973 -x13974 x13975 -x13976
1801.14	v -x13977 -x13978 -x13979 -x13980 -x13981 x13982 -x13983 -x13984 x13985 x13986 -x13987 x13990 -x13991 -x13992 x13996 -x13997
1801.14	v -x14000 x14001 x14081 x14084 x14085 -x14086 x14087 x14088 -x14089 -x14092 -x14093 -x14094 x14095 x14096 x14097 x14098
1801.14	v x14099 x14100 x14101 x14102 -x14103 -x14104 -x14105 -x14106 x14107 x14108 -x14109 -x14110 -x14111 -x14112 -x14113 x14114
1801.14	v x14115 x14116 x14117 x14118 -x14119 -x14120 -x14121 -x14122 -x14123 -x14124 -x14125 -x14126 x14127 -x14128 -x14129 -x14130
1801.14	v -x14131 -x14132 -x14133 -x14134 x14135 -x14136 -x14137 x14138 x14139 x14140 x14141 -x14142 -x14143 -x14144 x14145 x14146
1801.14	v x14150 -x14153 x14154 x14155 -x14156 x14157 x14158 x14160 x14161 x14162 x14163 x14164 x14165 x14166 x14167 x14168 x14169
1801.14	v -x14170 -x14171 -x14172 -x14173 -x14174 -x14175 x14176 x14177 x14178 -x14179 x14180 -x14181 -x14182 x14183 -x14184 -x14185
1801.14	v x14186 x14187 x14188 x14189 x14190 -x14191 x14192 x14193 -x14194 -x14195 -x14196 x14197 -x14198 x14199 -x14200 -x14201
1801.14	v -x14202 -x14203 -x14204 -x14205 -x14208 -x14209 -x14210 x14211 -x14212 -x14213 -x14214 -x14215 x14216 -x14217 -x14218
1801.14	v -x14219 -x14220 x14221 x14222 -x14223 -x14224 -x14225 x14226 -x14239 -x14240 x14241 -x14242 -x14243 -x14244 -x14245
1801.14	v -x14246 x14248 x14249 -x14250 -x14251 -x14252 x14253 -x14254 -x14258 x14261 -x14262 x14263 x14264 x14266 x14267 x14268
1801.14	v x14269 -x14270 -x14271 -x14272 -x14273 -x14275 -x14276 -x14277 -x14278 -x14279 x14280 -x14281 -x14282 -x14283 x14284
1801.14	v x14285 x14286 -x14287 -x14288 -x14289 x14290 x14291 x14292 x14293 -x14294 -x14295 -x14296 x14297 -x14298 -x14299 -x14300
1801.14	v -x14301 -x14303 -x14304 -x14305 -x14306 -x14307 -x14308 -x14309 -x14310 -x14311 -x14312 -x14313 -x14314 -x14315 -x14316
1801.14	v -x14317 -x14318 -x14319 -x14320 -x14321 x14322 -x14323 -x14324 -x14325 -x14326 -x14327 -x14328 -x14329 -x14332 -x14333
1801.14	v -x14334 x14335 -x14336 -x14337 -x14338 -x14339 -x14340 -x14341 -x14342 -x14343 -x14344 -x14345 x14346 -x14347 -x14348
1801.14	v -x14349 -x14351 -x14352 -x14353 -x14354 -x14355 -x14356 x14357 -x14358 x14359 -x14360 -x14361 -x14362 -x14363 -x14364
1801.14	v -x14365 -x14366 -x14367 -x14368 -x14369 -x14370 -x14371 x14372 -x14373 -x14374 -x14375 -x14376 x14377 -x14378 -x14379
1801.14	v -x14380 -x14381 -x14382 -x14383 -x14384 -x14385 x14386 x14387 x14388 -x14389 -x14390 -x14391 -x14392 x14393 x14394 -x14395
1801.14	v x14396 -x14397 x14398 -x14399 -x14400 -x14401 -x14402 x14403 x14404 -x14405 -x14406 -x14407 -x14408 -x14409 -x14410
1801.14	v -x14411 -x14412 x14413 x14414 -x14415 x14416 x14417 x14418 x14419 -x14420 -x14421 -x14422 -x14423 -x14424 -x14425 -x14426
1801.14	v -x14427 x14428 -x14429 -x14430 -x14431 x14432 x14433 -x14434 x14435 -x14436 -x14437 x14438 -x14439 x14440 x14441 -x14442
1801.14	v -x14443 -x14444 -x14445 -x14447 -x14448 -x14449 -x14450 -x14451 -x14452 x14453 -x14454 -x14455 -x14456 -x14457 -x14460
1801.14	v -x14461 -x14462 -x14463 -x14464 -x14465 -x14466 -x14467 -x14469 -x14470 -x14471 -x14472 -x14473 -x14474 -x14475 -x14476
1801.14	v -x14477 -x14478 -x14479 -x14480 -x14481 -x14482 -x14483 -x14484 -x14485 -x14486 -x14487 x14488 -x14489 -x14490 -x14491
1801.14	v x14492 x14493 x14494 x14495 x14497 -x14498 x14499 x14500 x14501 x14502 x14503 x14505 x14506 -x14507 x14508 -x14509 x14510
1801.14	v x14511 x14512 -x14513 -x14514 x14515 x14516 x14517 x14518 x14519 x14520 x14521 x14522 x14523 x14524 -x14525 -x14526 -x14530
1801.14	v -x14532 -x14533 -x14534 -x14535 -x14536 -x14537 x14538 x14539 -x14540 -x14541 -x14542 -x14543 -x14544 -x14545 x14546
1801.14	v -x14547 x14550 -x14551 x14552 -x14553 -x14554 -x14555 -x14556 -x14557 x14558 x14559 -x14560 x14561 x14562 x14563 x14564
1801.14	v x14565 x14566 x14567 x14568 x14569 -x14570 -x14571 x14573 -x14574 x14575 -x14576 x14577 -x14578 -x14579 x14580 -x14581
1801.14	v -x14582 -x14584 -x14585 -x14586 x14587 x14588 -x14589 -x14590 -x14591 x14592 -x14593 -x14594 -x14595 -x14596 -x14597
1801.14	v x14598 -x14599 -x14600 -x14601 -x14602 -x14603 -x14604 x14605 -x14606 -x14607 -x14608 -x14609 -x14610 -x14611 x14612
1801.14	v x14614 x14615 x14616 x14617 x14618 x14619 x14620 x14621 x14622 x14623 x14624 x14625 x14626 x14627 x14628 x14629 x14630
1801.14	v x14631 x14632 x14633 -x14634 x14635 -x14636 x14637 x14638 x14639 x14640 x14641 x14642 x14643 x14644 x14645 -x14646 x14647
1801.14	v -x14648 -x14649 x14650 -x14651 -x14652 -x14653 -x14654 -x14655 -x14656 -x14657 -x14658 -x14659 -x14660 x14661 x14662
1801.14	v -x14663 -x14664 -x14680 -x14681 -x14682 -x14683 -x14684 -x14685 -x14686 -x14687 -x14690 x14691 x14692 -x14693 -x14695
1801.14	v -x14696 -x14697 -x14698 -x14699 -x14700 -x14701 -x14702 -x14703 -x14704 -x14705 -x14706 -x14707 -x14708 -x14709 -x14710
1801.14	v x14711 x14712 x14713 x14714 x14715 x14716 -x14717 -x14718 -x14719 -x14720 -x14721 -x14722 -x14723 -x14724 -x14725 -x14726
1801.14	v -x14727 -x14728 -x14729 -x14730 -x14731 x14732 x14733 x14734 x14735 -x14736 -x14737 -x14738 x14739 -x14740 -x14741 -x14742
1801.14	v -x14743 -x14744 x14745 -x14746 -x14747 -x14748 -x14751 x14753 -x14754 -x14755 -x14756 -x14757 x14758 -x14759 x14760
1801.14	v x14761 -x14762 -x14763 -x14764 -x14765 -x14766 -x14767 -x14768 -x14769 -x14770 -x14771 -x14772 -x14773 -x14774 x14775
1801.14	v x14776 -x14778 -x14779 -x14780 x14781 -x14782 -x14783 -x14784 x14785 -x14786 x14787 -x14788 -x14789 x14790 -x14791 -x14792
1801.14	v x14793 x14794 -x14795 x14796 -x14797 -x14798 -x14799 -x14800 -x14801 -x14802 -x14803 -x14804 -x14805 -x14806 -x14807
1801.14	v -x14808 x14809 -x14810 -x14811 -x14812 -x14813 -x14814 -x14816 -x14817 -x14819 -x14820 -x14824 -x14825 x14826 -x14828
1801.14	v -x14829 -x14830 -x14833 -x14834 -x14835 -x14837 -x14838 -x14839 x14841 x14842 x14843 x14845 x14846 -x14847 -x14848 -x14849
1801.14	v x14850 -x14851 -x14852 x14853 -x14854 -x14855 -x14856 -x14860 -x14864 -x14865 -x14866 -x14867 -x14868 -x14869 -x14870
1801.14	v -x14874 -x14876 -x14877 -x14878 -x14879 x14880 -x14881 -x14882 -x14883 x14884 -x14885 -x14894 -x14895 x14896 x14897
1801.14	v -x14898 -x14899 x14900 -x14901 -x14902 -x14903 -x14904 x14909 -x14910 x14911 -x14912 -x14917 -x14918 x14919 x14921 -x14931
1801.14	v -x14933 -x14934 x14935 -x14936 -x14937 -x14938 -x14939 x14940 -x14941 x14942 -x14944 -x14945 -x14946 -x14947 -x14956
1801.14	v -x14957 -x14958 -x14959 -x14960 -x14961 x14962 -x14963 -x14964 x14965 x14966 x14967 -x14968 -x14969 -x14971 x14972 -x14973
1801.14	v -x14974 -x14975 -x14976 -x14977 -x14978 -x14979 x14980 -x14981 -x14982 -x14983 x14984 -x14985 -x14986 -x14988 x14989
1801.14	v x14990 x14991 -x14992 -x14993 -x14994 -x14995 -x14996 -x14997 -x14998 x14999 x15000 x15001 -x15002 x15003 -x15004 -x15005
1801.14	v -x15006 x15007 -x15008 x15009 x15010 -x15011 x15012 x15013 -x15014 x15015 -x15016 x15017 x15018 x15019 -x15020 -x15021
1801.14	v -x15022 -x15023 -x15024 -x15025 -x15026 x15027 -x15028 -x15029 -x15030 -x15031 -x15032 -x15033 x15034 -x15035 -x15036
1801.14	v x15037 -x15038 x15039 -x15040 x15041 x15042 x15043 -x15044 -x15045 -x15046 x15047 -x15048 -x15049 -x15050 x15051 -x15052
1801.14	v -x15053 x15054 x15055 -x15056 x15057 x15058 x15059 -x15060 -x15061 -x15062 -x15063 -x15064 x15065 -x15066 -x15067 -x15068
1801.14	v -x15069 -x15070 -x15071 -x15072 -x15073 -x15074 -x15075 -x15076 -x15077 -x15078 -x15079 -x15080 -x15081 -x15082 -x15083
1801.14	v -x15084 -x15085 -x15086 -x15087 -x15088 -x15089 -x15090 -x15091 -x15092 -x15093 -x15094 -x15095 -x15096 -x15097 -x15098
1801.14	v -x15099 -x15100 -x15101 -x15102 -x15103 -x15104 -x15105 -x15106 -x15107 -x15108 -x15109 -x15110 -x15111 -x15112 -x15113
1801.14	v x15114 x15115 x15116 x15117 x15118 x15119 -x15120 x15121 x15122 -x15123 x15124 x15125 x15126 x15127 -x15128 -x15129 -x15130
1801.14	v -x15131 -x15132 -x15133 -x15134 -x15135 -x15136 -x15137 -x15138 -x15139 -x15140 -x15141 -x15142 -x15143 -x15144 -x15145
1801.14	v -x15146 -x15147 -x15148 -x15149 -x15150 -x15151 -x15152 -x15153 -x15154 -x15155 -x15156 -x15157 -x15158 -x15159 -x15160
1801.14	v -x15161 -x15162 -x15163 -x15164 -x15165 -x15166 x15167 -x15168 -x15169 -x15170 -x15171 x15172 -x15173 x15174 x15175
1801.14	v x15176 -x15177 -x15178 x15179 x15180 x15181 -x15182 -x15183 -x15184 -x15185 -x15186 -x15187 -x15188 -x15189 -x15190
1801.14	v -x15191 -x15192 -x15193 -x15194 -x15195 -x15196 -x15197 -x15198 -x15199 -x15200 -x15201 -x15202 -x15203 -x15204 x15205
1801.14	v -x15206 -x15207 x15208 -x15209 -x15210 -x15211 -x15212 -x15213 -x15214 -x15215 x15216 -x15217 x15218 -x15219 -x15220
1801.14	v -x15221 -x15222 -x15223 -x15224 -x15225 -x15226 -x15227 -x15228 -x15229 -x15230 -x15231 -x15232 -x15233 -x15234 -x15235
1801.14	v -x15236 -x15237 -x15238 -x15239 -x15240 -x15241 -x15242 -x15243 -x15244 -x15245 -x15246 -x15247 -x15248 -x15249 -x15250
1801.14	v -x15251 -x15252 -x15253 -x15254 -x15255 -x15256 -x15257 -x15258 -x15259 -x15260 -x15261 -x15262 -x15263 -x15264 -x15265
1801.14	v -x15266 -x15267 -x15268 -x15269 -x15270 -x15271 -x15272 -x15273 -x15274 -x15275 -x15276 -x15277 -x15278 -x15279 -x15280
1801.14	v -x15281 x15282 -x15283 x15284 x2 -x3 x4 -x5 -x6 -x7 x8 -x9 x10 -x11 x12 x13 x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24
1801.14	v -x25 x26 x27 x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x43 -x44 x46 -x47 -x53 -x57 -x58 -x61 -x62 -x64
1801.14	v -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91
1801.14	v -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114
1801.14	v -x115 -x116 -x117 x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x133 x134 x135 x136 -x137
1801.14	v -x138 -x139 x144 x147 x153 -x160 x161 x162 x163 x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 x173 -x174 -x175 -x176 -x177
1801.14	v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198
1801.14	v x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 -x216 x217 -x218 x219 -x220 -x221 -x222 -x223
1801.14	v -x224 -x225 x226 -x227 -x228 -x229 x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244
1801.14	v x245 x246 x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 x264 x265 x266
1801.14	v x267 -x268 -x269 x270 -x271 -x272 -x273 x274 -x275 x276 x277 x278 -x279 -x280 x281 x282 -x283 -x284 -x285 -x286 -x287 -x288
1801.14	v -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309
1801.14	v -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 x320 -x321 x322 x323 x324 -x325 x326 x327 x328 -x329 x330 x331 x332
1801.14	v -x333 -x334 x335 x336 x337 x338 -x339 x340 -x341 -x342 x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
1801.14	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
1801.14	v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 x387 x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396
1801.14	v -x397 -x398 -x399 -x400 x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417
1801.14	v -x418 -x419 -x420 -x421 x440 -x441 x447 x448 x449 x450 -x451 x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 -x462
1801.14	v -x463 -x464 x465 -x466 x467 -x468 x469 -x470 -x471 -x472 x473 x474 x475 x476 -x477 -x478 -x479 x480 -x481 x482 -x483 -x484
1801.14	v -x485 -x486 x487 -x488 -x489 -x490 x491 x492 x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 x505 -x506
1801.14	v x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x516 x517 -x518 -x519 -x520 -x521 -x522 x525 -x526 x527 -x528 -x529 -x530 -x531
1801.14	v x532 x533 x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 x542 x543 x544 x545 x546 x547 -x548 -x549 -x550 x551 x552 x553 x554
1801.14	v -x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 x572 -x573 -x574 -x575
1801.14	v -x576 -x577 x578 x579 x580 x581 x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597
1801.14	v -x598 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x621 -x623 x624 x625 x626 x627 -x628 -x629
1801.14	v -x630 -x631 -x632 x633 x638 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x654 -x655 -x656
1801.14	v -x657 -x658 x660 x661 x662 x663 x664 x665 -x666 -x668 -x669 -x670 -x671 -x672 -x673 x674 x675 -x676 -x677 -x678 -x679 -x680
1801.14	v -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 x699 x700 x701 -x702
1801.14	v -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723
1801.14	v -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744
1801.14	v x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x756 -x757 x758 -x759 x760 -x761 x762 -x763 -x764 -x765 -x766 -x767
1801.14	v x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788
1801.14	v -x789 -x790 x791 -x792 -x793 x794 x795 -x796 -x797 x798 x799 x800 x801 x802 x803 x804 -x805 -x806 -x807 x808 -x809 -x810 -x811
1801.14	v x812 x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 x828 -x829 -x830 x831 x832 -x833
1801.14	v -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 x842 x843 x844 -x845 x846 x847 x848 x849 -x850 -x851 -x852 -x853 -x854 x855
1801.14	v -x856 x857 x858 -x859 x860 -x861 -x862 x863 x864 -x865 -x866 -x867 x868 -x869 -x870 x871 x872 x873 x874 x875 -x876 x877 x878
1801.14	v x879 x880 x881 x882 x883 x884 x885 x886 x887 -x888 x889 -x890 x891 x892 x893 x894 x895 -x896 x897 -x898 x899 x900 x901 x902 x903
1801.14	v x904 x905 x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 x914 x915 x916 -x917 x918 -x919 -x920 -x921 -x922 x923 x924 x925 x926
1801.14	v -x927 x928 x929 -x930 x931 -x932 x933 x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948
1801.14	v -x949 -x950 -x951 x952 x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 x962 x963 -x964 x965 x966 -x967 x968 x969 x970 -x971
1801.14	v -x972 -x973 x974 x975 -x976 -x977 x978 x979 -x980 -x981 x982 x983 x984 x985 x986 -x987 x988 x989 -x990 -x991 -x992 -x993 -x994
1801.14	v x995 -x996 x997 x998 x999 -x1000 x1001 -x1002 x1003 x1005 x1006 x1007 -x1008 x1009 x1010 x1011 -x1012 x1013 -x1015 -x1016
1801.14	v -x1018 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036
1801.14	v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053
1801.14	v -x1054 -x1055 -x1056 -x1058 -x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 x1066 x1067 -x1068 x1069 x1070 -x1071 -x1072
1801.14	v x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1083 -x1085 -x1086 -x1087 x1088 x1089 x1090 x1091 x1092 x1093 x1094 -x1095
1801.14	v -x1096 -x1097 x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113
1801.14	v -x1114 x1115 x1116 x1117 x1118 -x1119 x1120 -x1121 -x1122 -x1123 x1124 x1125 x1126 x1127 -x1128 -x1129 -x1130 x1131 x1132
1801.14	v x1133 -x1134 -x1135 -x1136 x1137 x1138 -x1139 x1140 -x1141 x1142 x1143 x1144 x1145 -x1146 x1147 x1148 x1149 x1150 x1151
1801.14	v x1152 x1153 x1154 x1155 x1156 x1157 x1158 x1159 x1160 x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 x1168 x1169 -x1170
1801.14	v x1171 x1172 x1173 -x1174 -x1175 -x1176 x1177 -x1178 x1179 -x1180 x1181 -x1182 -x1183 -x1184 x1185 x1186 x1188 -x1189 x1190
1801.14	v -x1191 x1192 x1193 -x1194 -x1195 x1196 -x1197 x1198 -x1199 x1200 x1201 -x1202 x1203 x1204 -x1205 -x1206 x1207 x1208 -x1209
1801.14	v x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 x1225 -x1229 x1231
1801.14	v -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 x1239 -x1240 x1241 -x1242 -x1243 x1244 -x1245 x1246 -x1247 x1248 x1249
1801.14	v -x1250 x1251 -x1252 x1253 -x1254 x1255 x1256 -x1257 x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267
1801.14	v -x1268 x1269 x1270 -x1271 x1272 x1273 -x1274 -x1275 -x1276 x1277 x1278 x1279 x1280 x1281 x1282 -x1283 x1284 -x1285 -x1286
1801.14	v -x1287 -x1288 x1289 x1290 -x1291 x1292 -x1293 -x1294 -x1295 x1296 x1297 x1298 x1300 x1302 x1303 -x1304 x1305 -x1306 x1307
1801.14	v -x1308 -x1310 x1312 x1313 x1317 x1318 -x1319 -x1320 -x1321 -x1322 x1323 x1324 -x1325 -x1326 x1327 x1328 -x1329 -x1330 -x1331
1801.14	v -x1332 -x1333 -x1334 x1335 x1336 x1337 -x1338 x1339 -x1340 x1341 -x1342 -x1343 -x1344 x1345 x1346 -x1347 -x1348 -x1349
1801.14	v -x1350 -x1351 -x1352 -x1353 -x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367
1801.14	v -x1368 -x1369 x1370 -x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385
1801.14	v -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 x1400 x1401 -x1402 -x1403
1801.14	v -x1404 x1405 x1406 x1407 x1408 x1409 -x1410 x1411 x1412 -x1413 x1414 -x1415 x1416 x1417 x1418 x1419 x1420 -x1421 -x1422
1801.14	v -x1423 x1424 x1425 x1426 x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 x1434 x1435 -x1436 x1437 -x1438 x1439 -x1440 -x1441
1801.14	v -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 x1449 -x1450 x1451 -x1452 x1453 x1454 x1455 -x1456 x1457 x1458 x1459 -x1460
1801.14	v -x1461 x1462 x1463 x1464 -x1465 x1466 -x1467 x1468 x1469 x1470 x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 -x1479
1801.14	v x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497
1801.14	v -x1498 -x1499 x1500 x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1518 -x1520 -x1521 -x1522 x1523 -x1524
1801.14	v -x1525 x1526 x1527 x1528 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 x1538 x1539 x1540 x1541 -x1542 -x1543 -x1544
1801.14	v -x1545 x1546 -x1548 x1551 x1552 x1553 x1554 x1555 -x1556 -x1557 -x1558 x1559 x1560 x1561 -x1562 -x1563 -x1564 -x1565 -x1566
1801.14	v -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 x1575 -x1576 x1577 x1578 -x1579 x1580 -x1581 -x1582 -x1583 x1584
1801.14	v -x1589 x1590 x1591 -x1592 -x1593 -x1594 -x1595

OK	8259584000000000

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node84/watcher-35707-1149306836 -o ROOT/results/node84/solver-35707-1149306836 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node84/35707-1149306836/instance-35707-1149306836.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1526376/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=1048 CPUtime=0
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 97 0 0 0 0 0 0 0 19 0 1 0 196322904 1073152 83 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 262 83 67 215 0 44 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1505192/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=22388 CPUtime=9.98
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 5940 0 0 0 996 2 0 0 25 0 1 0 196322904 22925312 5379 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134648435 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 5597 5379 89 215 0 5379 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 22388

[startup+20.0084 s]
/proc/loadavg: 0.94 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1503528/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=24156 CPUtime=19.98
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 6478 0 0 0 1996 2 0 0 25 0 1 0 196322904 24735744 5833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005330 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 6039 5833 89 215 0 5821 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 24156

[startup+30.0134 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1464936/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=63408 CPUtime=29.99
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 18652 0 0 0 2992 7 0 0 25 0 1 0 196322904 64929792 15534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 15852 15534 92 215 0 15634 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 63408

[startup+40.0185 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1451240/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=80596 CPUtime=39.99
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 22030 0 0 0 3989 10 0 0 25 0 1 0 196322904 82530304 18912 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 20149 18912 123 215 0 19931 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 80596

[startup+50.0246 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1450984/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=80728 CPUtime=50
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 22089 0 0 0 4990 10 0 0 25 0 1 0 196322904 82665472 18971 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588652 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 20182 18971 123 215 0 19964 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 80728

[startup+60.0307 s]
/proc/loadavg: 0.97 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1450792/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=80992 CPUtime=60
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 22136 0 0 0 5990 10 0 0 25 0 1 0 196322904 82935808 19018 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 20248 19018 123 215 0 20030 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 80992

[startup+70.0368 s]
/proc/loadavg: 0.97 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1450664/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=81124 CPUtime=70
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 22188 0 0 0 6990 10 0 0 25 0 1 0 196322904 83070976 19070 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134589170 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 20281 19070 123 215 0 20063 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 81124

[startup+80.0428 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1450472/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=81352 CPUtime=80
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 22228 0 0 0 7990 10 0 0 25 0 1 0 196322904 83304448 19110 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134587961 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 20338 19110 123 215 0 20120 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 81352

[startup+90.0479 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1450344/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=81484 CPUtime=90
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 22264 0 0 0 8990 10 0 0 25 0 1 0 196322904 83439616 19146 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 20371 19146 123 215 0 20153 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 81484

[startup+100.053 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1450216/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=81616 CPUtime=100.01
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 22293 0 0 0 9991 10 0 0 25 0 1 0 196322904 83574784 19175 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580711 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 20404 19175 123 215 0 20186 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 81616

[startup+110.059 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1449960/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=81912 CPUtime=110.01
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 22350 0 0 0 10991 10 0 0 25 0 1 0 196322904 83877888 19232 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573102 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 20478 19232 123 215 0 20260 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 81912

[startup+120.065 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1449896/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=81912 CPUtime=120.01
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 22369 0 0 0 11991 10 0 0 25 0 1 0 196322904 83877888 19251 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588875 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 20478 19251 123 215 0 20260 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 81912

[startup+130.071 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1449768/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=82044 CPUtime=130.02
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 22410 0 0 0 12992 10 0 0 25 0 1 0 196322904 84013056 19292 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 20511 19292 123 215 0 20293 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 82044

[startup+140.077 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1449640/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=82176 CPUtime=140.02
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 22434 0 0 0 13992 10 0 0 25 0 1 0 196322904 84148224 19316 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 20544 19316 123 215 0 20326 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 82176

[startup+150.082 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1449512/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=82308 CPUtime=150.02
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 22464 0 0 0 14992 10 0 0 25 0 1 0 196322904 84283392 19346 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588661 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 20577 19346 123 215 0 20359 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 82308

[startup+160.087 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1449384/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=82440 CPUtime=160.02
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 22494 0 0 0 15992 10 0 0 25 0 1 0 196322904 84418560 19376 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 20610 19376 123 215 0 20392 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 82440

[startup+170.094 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1449256/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=82652 CPUtime=170.03
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 22528 0 0 0 16993 10 0 0 25 0 1 0 196322904 84635648 19410 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 20663 19410 123 215 0 20445 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 82652

[startup+180.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1449128/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=82652 CPUtime=180.04
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 22559 0 0 0 17993 11 0 0 25 0 1 0 196322904 84635648 19441 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588636 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 20663 19441 123 215 0 20445 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 82652

[startup+190.106 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1448936/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=82916 CPUtime=190.04
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 22608 0 0 0 18993 11 0 0 25 0 1 0 196322904 84905984 19490 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588097 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 20729 19490 123 215 0 20511 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 82916

[startup+200.112 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1448744/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=83048 CPUtime=200.04
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 22642 0 0 0 19993 11 0 0 25 0 1 0 196322904 85041152 19524 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 20762 19524 123 215 0 20544 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 83048

[startup+210.117 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21910
/proc/meminfo: memFree=1443816/2055892 swapFree=4085292/4096564

################
# More data... #
################

[pid=21910] ppid=21908 vsize=416864 CPUtime=1781.47
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 110924 0 0 0 178056 91 0 0 25 0 1 0 196322904 426868736 103334 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 104216 103334 123 215 0 103998 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (Kb) 416864

[startup+1783.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1112232/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=417260 CPUtime=1782.48
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 111041 0 0 0 178156 92 0 0 25 0 1 0 196322904 427274240 103451 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 104315 103451 123 215 0 104097 0
Current children cumulated CPU time (s) 1782.48
Current children cumulated vsize (Kb) 417260

[startup+1784.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1111848/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=417656 CPUtime=1783.49
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 111143 0 0 0 178257 92 0 0 25 0 1 0 196322904 427679744 103553 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 104414 103553 123 215 0 104196 0
Current children cumulated CPU time (s) 1783.49
Current children cumulated vsize (Kb) 417656

[startup+1785.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1111336/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=418180 CPUtime=1784.49
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 111265 0 0 0 178357 92 0 0 25 0 1 0 196322904 428216320 103675 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135011021 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 104545 103675 123 215 0 104327 0
Current children cumulated CPU time (s) 1784.49
Current children cumulated vsize (Kb) 418180

[startup+1786.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1110888/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=418572 CPUtime=1785.49
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 111376 0 0 0 178457 92 0 0 25 0 1 0 196322904 428617728 103786 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 104643 103786 123 215 0 104425 0
Current children cumulated CPU time (s) 1785.49
Current children cumulated vsize (Kb) 418572

[startup+1787.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1110376/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=419100 CPUtime=1786.49
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 111505 0 0 0 178557 92 0 0 25 0 1 0 196322904 429158400 103915 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580436 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 104775 103915 123 215 0 104557 0
Current children cumulated CPU time (s) 1786.49
Current children cumulated vsize (Kb) 419100

[startup+1788.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1109928/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=419628 CPUtime=1787.5
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 111621 0 0 0 178658 92 0 0 25 0 1 0 196322904 429699072 104031 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 104907 104031 123 215 0 104689 0
Current children cumulated CPU time (s) 1787.5
Current children cumulated vsize (Kb) 419628

[startup+1789.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1109480/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=420020 CPUtime=1788.5
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 111733 0 0 0 178758 92 0 0 25 0 1 0 196322904 430100480 104143 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 105005 104143 123 215 0 104787 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (Kb) 420020

[startup+1790.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1109032/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=420412 CPUtime=1789.51
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 111840 0 0 0 178859 92 0 0 25 0 1 0 196322904 430501888 104250 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 105103 104250 123 215 0 104885 0
Current children cumulated CPU time (s) 1789.51
Current children cumulated vsize (Kb) 420412

[startup+1791.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1108584/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=420936 CPUtime=1790.52
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 111948 0 0 0 178959 93 0 0 25 0 1 0 196322904 431038464 104358 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 105234 104358 123 215 0 105016 0
Current children cumulated CPU time (s) 1790.52
Current children cumulated vsize (Kb) 420936

[startup+1792.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1108136/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=421332 CPUtime=1791.52
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 112059 0 0 0 179059 93 0 0 25 0 1 0 196322904 431443968 104469 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 105333 104469 123 215 0 105115 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (Kb) 421332

[startup+1793.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1107752/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=421728 CPUtime=1792.52
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 112158 0 0 0 179159 93 0 0 25 0 1 0 196322904 431849472 104568 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577212 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 105432 104568 123 215 0 105214 0
Current children cumulated CPU time (s) 1792.52
Current children cumulated vsize (Kb) 421728

[startup+1794.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1107304/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=422120 CPUtime=1793.53
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 112264 0 0 0 179260 93 0 0 25 0 1 0 196322904 432250880 104674 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 105530 104674 123 215 0 105312 0
Current children cumulated CPU time (s) 1793.53
Current children cumulated vsize (Kb) 422120

[startup+1795.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1106920/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=422644 CPUtime=1794.53
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 112372 0 0 0 179360 93 0 0 25 0 1 0 196322904 432787456 104782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 105661 104782 123 215 0 105443 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (Kb) 422644

[startup+1796.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1106472/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=423040 CPUtime=1795.53
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 112478 0 0 0 179460 93 0 0 25 0 1 0 196322904 433192960 104888 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580999 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 105760 104888 123 215 0 105542 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (Kb) 423040

[startup+1797.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1106088/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=423436 CPUtime=1796.55
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 112578 0 0 0 179561 94 0 0 25 0 1 0 196322904 433598464 104988 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 105859 104988 123 215 0 105641 0
Current children cumulated CPU time (s) 1796.55
Current children cumulated vsize (Kb) 423436

[startup+1798.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1105640/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=423832 CPUtime=1797.55
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 112683 0 0 0 179661 94 0 0 25 0 1 0 196322904 434003968 105093 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 105958 105093 123 215 0 105740 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (Kb) 423832

[startup+1799.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1105256/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=424228 CPUtime=1798.55
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 112779 0 0 0 179761 94 0 0 25 0 1 0 196322904 434409472 105189 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 106057 105189 123 215 0 105839 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 424228

[startup+1800.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1104808/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=424624 CPUtime=1799.56
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 112890 0 0 0 179862 94 0 0 25 0 1 0 196322904 434814976 105300 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574223 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 106156 105300 123 215 0 105938 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (Kb) 424624

[startup+1801.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1104424/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=425020 CPUtime=1800.56
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 112984 0 0 0 179962 94 0 0 25 0 1 0 196322904 435220480 105394 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576810 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 106255 105394 123 215 0 106037 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 425020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 22105
/proc/meminfo: memFree=1104424/2055892 swapFree=4085292/4096564
[pid=21910] ppid=21908 vsize=425020 CPUtime=1800.57
/proc/21910/stat : 21910 (minisat+) R 21908 21910 21864 0 -1 4194304 112985 0 0 0 179963 94 0 0 25 0 1 0 196322904 435220480 105395 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21910/statm: 106255 105395 123 215 0 106037 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (Kb) 425020

Sending SIGTERM to -21910
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.21
CPU time (s): 1800.64
CPU user time (s): 1799.63
CPU system time (s): 1.00685
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (Kb): 425020

Begin job on node84 on Sat Jun  3 03:53:56 UTC 2006


FILE ID= 35707-1149306836

PBS_JOBID= 307661

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core2536-691.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node84/35707-1149306836/instance-35707-1149306836.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node84/watcher-35707-1149306836 -o ROOT/results/node84/solver-35707-1149306836 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node84/35707-1149306836/instance-35707-1149306836.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  9f773ed397fe8d5b3302fdfeba2433bb

RANDOM SEED= 80618762


/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.231
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	: 6006.15
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.231
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	: 5999.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1526584 kB
Buffers:         37484 kB
Cached:         420016 kB
SwapCached:       2520 kB
Active:          33532 kB
Inactive:       432752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1526584 kB
SwapTotal:     4096564 kB
SwapFree:      4085292 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          16424 kB
Slab:            49664 kB
Committed_AS:   372808 kB
PageTables:       1272 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node84 on Sat Jun  3 04:23:57 UTC 2006