Trace number 363289

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16Wrong Cert. 1800.11 1800.9

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-swath.opb
MD5SUM9e8d33d54c816a96320e5b2b2d7ec5c8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark262224
Best CPU time to get the best result obtained on this benchmark0.78788
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 262224
Optimality of the best value was proved YES
Number of variables9155
Total number of constraints884
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)423
Number of constraints which are nor clauses,nor cardinality constraints461
Minimum length of a constraint1
Maximum length of a constraint6754
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 527427
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/363289-1177025506/instance-363289-1177025506.opb
0.00/0.00	c File size is 1194649 bytes.
0.39/0.42	c Highest Coefficient sum: 527427
0.39/0.42	c Parsing was ok!!
0.39/0.42	c Total parsing time: 0.416 s
0.39/0.42	c Var: 9155 Constr: 1388 824/182/382 Lit: 149030 Watch. Lit: 30252
0.39/0.42	c Obj. Vars: 31 (0.338613 % of total variables)
30.67/30.72	c Pre-processing Time: 30.702 s
30.67/30.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.67/30.72	c        0   8754      586   148228  252    36591  403583      0      0 30.70
30.67/30.72	c Switching off LPR mode.
32.27/32.34	c      100   8754      686   637022  928   120697  443942    100      3 31.70
32.27/32.34	o 262612	32.328
32.88/32.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.88/32.91	c      102   8754      689   637435  925   120268  403645    103      3 32.34
32.88/32.91	o 262609	32.892
33.37/33.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.37/33.49	c      102   8754      690   637466  923   119995  403645    104      3 32.90
33.37/33.49	o 262608	33.473
40.97/41.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.97/41.07	c      111   8754      700   637929  911   120063  403645    114      3 33.48
40.97/41.07	c      211   8754      800   690576  863   123359  444010    214      6 34.19
40.97/41.07	c      462   8754     1051   807629  768   121763  488412    465     11 39.52
40.97/41.07	o 262536	41.048
41.87/41.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.87/41.91	c      754   8754     1344   942126  700   122812  403645    758     18 41.05
41.87/41.91	o 262509	41.89
42.66/42.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.66/42.77	c      817   8754     1408   959005  681   121305  403645    822     19 41.90
42.66/42.77	o 262506	42.751
44.57/44.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
44.57/44.60	c      830   8754     1422   962035  676   122117  403645    836     19 42.76
44.57/44.60	o 262483	44.583
1799.91/1800.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.91/1800.80	c      887   8754     1480   991077  669   120922  403645    894     19 44.59
1799.91/1800.80	c      987   8754     1580  1040946  658   121466  444010    994     21 45.83
1799.91/1800.80	c     1238   8754     1831  1105118  603   123332  488412   1245     24 49.55
1799.91/1800.80	c     1713   8754     2306  1302365  564   123653  537254   1720     24 69.51
1799.91/1800.80	c     2526   8754     3119  1655684  530   126853  590980   2533     28 88.64
1799.91/1800.80	c     3846   8754     4439  2339645  527   129414  650079   3853     38 99.74
1799.91/1800.80	c     5927   8754     6520  3068753  470   133103  715087   5934     45 131.27
1799.91/1800.80	c     9150   8754     9743  4653438  477   139262  786596   9157     56 161.22
1799.91/1800.80	c    14086   8754    14679  6811883  464   148827  865256  14093     65 216.03
1799.91/1800.80	c    21592   8754    22185 10200708  459   163522  951782  21599     59 360.05
1799.91/1800.80	c    32953   8754    33546 17514574  522   186180  500000  32960     66 498.12
1799.91/1800.80	c    50097   8754    50690 24045583  474   205809  550001  50104     40 1226.28
1799.91/1800.80	c Resources Exceeded
1800.00/1800.80	v -x1 -x2 x3 -x4 x5 -x6 -x7 -x8 x9 -x10 -x11 x12 -x13 x14 -x15 x16 -x17 -x18 x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
1800.00/1800.80	v x31 -x8928 -x8939 -x8950 -x8961 -x8972 -x8983 -x8994 -x9005 -x9046 -x9057 -x9068 -x9079 -x9090 -x9101 -x9112 -x9123 -x9134
1800.00/1800.80	v -x9145 -x62 -x73 -x84 -x95 -x106 -x117 -x128 -x139 -x150 x161 -x202 -x213 -x224 -x235 -x246 -x257 -x268 -x279 -x290 -x301
1800.00/1800.80	v -x342 -x353 -x364 -x375 -x386 -x397 -x408 -x419 -x430 -x441 -x482 -x493 -x504 -x515 -x526 -x537 -x548 -x559 -x570 -x581 -x622
1800.00/1800.80	v -x633 -x644 -x655 -x666 -x677 -x688 -x699 -x710 -x721 -x762 -x773 -x784 -x795 -x806 -x817 -x828 -x839 -x850 -x861 -x902 -x913
1800.00/1800.80	v -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1001 -x1042 -x1053 -x1064 -x1075 -x1086 -x1097 -x1108 -x1119 -x1130 -x1141
1800.00/1800.80	v -x1182 -x1193 -x1204 -x1215 -x1226 -x1237 -x1248 -x1259 -x1270 -x1281 -x1322 -x1333 -x1344 -x1355 -x1366 -x1377 -x1388
1800.00/1800.80	v -x1399 -x1410 -x1421 -x1492 -x1503 -x1514 -x1525 -x1536 -x1547 -x1558 -x1569 -x1580 -x1591 -x1632 -x1643 -x1654 -x1665
1800.00/1800.80	v -x1676 -x1687 -x1698 -x1709 -x1720 -x1731 -x1772 -x1783 -x1794 -x1805 -x1816 -x1827 -x1838 -x1849 -x1860 -x1871 -x1912
1800.00/1800.80	v -x1923 -x1934 -x1945 -x1956 -x1967 -x1978 -x1989 -x2000 -x2011 -x2052 -x2063 -x2074 -x2085 -x2096 -x2107 -x2118 -x2129
1800.00/1800.80	v -x2140 -x2151 -x2192 -x2203 -x2214 -x2225 -x2236 -x2247 -x2258 -x2269 -x2280 -x2291 -x2332 -x2343 -x2354 -x2365 -x2376
1800.00/1800.80	v -x2387 -x2398 -x2409 -x2420 -x2431 -x2472 -x2483 -x2494 -x2505 -x2516 -x2527 -x2538 -x2549 -x2560 -x2571 -x2612 -x2623
1800.00/1800.80	v -x2634 -x2645 -x2656 -x2667 -x2678 -x2689 -x2700 -x2711 -x2752 -x2763 -x2774 -x2785 -x2796 -x2807 -x2818 -x2829 -x2840
1800.00/1800.80	v -x2851 -x2922 -x2933 -x2944 -x2955 -x2966 -x2977 -x2988 -x2999 -x3010 -x3021 -x3062 -x3073 -x3084 -x3095 -x3106 -x3117
1800.00/1800.80	v -x3128 -x3139 -x3150 -x3161 x3202 -x3213 -x3224 -x3235 -x3246 -x3257 -x3268 -x3279 -x3290 -x3301 -x3342 -x3353 -x3364
1800.00/1800.80	v -x3375 -x3386 -x3397 -x3408 -x3419 -x3430 -x3441 -x3482 -x3493 -x3504 -x3515 -x3526 -x3537 -x3548 -x3559 -x3570 -x3581
1800.00/1800.80	v -x3622 -x3633 -x3644 -x3655 -x3666 -x3677 -x3688 -x3699 -x3710 -x3721 -x3762 -x3773 -x3784 -x3795 -x3806 -x3817 -x3828
1800.00/1800.80	v -x3839 -x3850 -x3861 -x3902 -x3913 -x3924 -x3935 -x3946 -x3957 -x3968 -x3979 -x3990 -x4001 -x4042 -x4053 -x4064 -x4075
1800.00/1800.80	v -x4086 -x4097 -x4108 -x4119 -x4130 -x4141 -x4182 -x4193 -x4204 -x4215 -x4226 -x4237 -x4248 -x4259 -x4270 -x4281 -x4352
1800.00/1800.80	v -x4363 -x4374 -x4385 -x4396 -x4407 -x4418 -x4429 -x4440 -x4451 -x4492 -x4503 -x4514 -x4525 -x4536 -x4547 -x4558 -x4569
1800.00/1800.80	v -x4580 -x4591 -x4632 -x4643 -x4654 -x4665 -x4676 -x4687 -x4698 -x4709 -x4720 -x4731 -x4772 -x4783 -x4794 -x4805 -x4816
1800.00/1800.80	v -x4827 -x4838 -x4849 -x4860 -x4871 -x4912 -x4923 -x4934 -x4945 -x4956 -x4967 -x4978 -x4989 -x5000 -x5011 -x5052 -x5063
1800.00/1800.80	v -x5074 -x5085 -x5096 -x5107 -x5118 -x5129 -x5140 -x5151 -x5192 -x5203 -x5214 -x5225 -x5236 -x5247 -x5258 -x5269 -x5280
1800.00/1800.80	v -x5291 -x5332 -x5343 -x5354 -x5365 -x5376 -x5387 -x5398 -x5409 -x5420 -x5431 -x5472 -x5483 -x5494 -x5505 -x5516 -x5527
1800.00/1800.80	v -x5538 -x5549 -x5560 -x5571 -x5612 -x5623 -x5634 -x5645 -x5656 -x5667 -x5678 -x5689 -x5700 -x5711 -x5782 -x5793 -x5804
1800.00/1800.80	v -x5815 -x5826 -x5837 -x5848 -x5859 -x5870 -x5881 -x5922 -x5933 -x5944 -x5955 -x5966 -x5977 -x5988 -x5999 -x6010 -x6021
1800.00/1800.80	v -x6062 -x6073 -x6084 -x6095 -x6106 -x6117 -x6128 -x6139 -x6150 -x6161 -x6202 -x6213 -x6224 -x6235 -x6246 -x6257 -x6268
1800.00/1800.80	v -x6279 -x6290 -x6301 -x6342 -x6353 -x6364 -x6375 -x6386 -x6397 -x6408 -x6419 -x6430 -x6441 -x6482 -x6493 -x6504 -x6515
1800.00/1800.80	v -x6526 -x6537 -x6548 -x6559 -x6570 -x6581 -x6622 -x6633 -x6644 -x6655 -x6666 -x6677 -x6688 -x6699 -x6710 -x6721 -x6762
1800.00/1800.80	v -x6773 -x6784 -x6795 -x6806 -x6817 -x6828 -x6839 -x6850 -x6861 -x6902 -x6913 -x6924 -x6935 -x6946 -x6957 -x6968 -x6979
1800.00/1800.80	v -x6990 -x7001 -x7042 -x7053 -x7064 -x7075 -x7086 -x7097 -x7108 -x7119 -x7130 -x7141 -x7212 -x7223 -x7234 -x7245 -x7256
1800.00/1800.80	v -x7267 -x7278 -x7289 -x7300 -x7311 -x7352 -x7363 -x7374 -x7385 -x7396 -x7407 -x7418 -x7429 -x7440 -x7451 -x7492 -x7503
1800.00/1800.80	v -x7514 -x7525 -x7536 -x7547 -x7558 -x7569 -x7580 -x7591 -x7632 -x7643 -x7654 -x7665 -x7676 -x7687 -x7698 -x7709 -x7720
1800.00/1800.80	v -x7731 -x7772 -x7783 -x7794 -x7805 -x7816 -x7827 -x7838 -x7849 -x7860 -x7871 -x7912 -x7923 -x7934 -x7945 -x7956 -x7967
1800.00/1800.80	v -x7978 -x7989 -x8000 -x8011 -x8052 -x8063 -x8074 -x8085 -x8096 -x8107 -x8118 -x8129 -x8140 -x8151 -x8192 -x8203 -x8214
1800.00/1800.80	v -x8225 -x8236 -x8247 -x8258 -x8269 -x8280 -x8291 -x8332 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347
1800.00/1800.80	v -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454
1800.00/1800.80	v -x8455 -x8456 -x8457 -x8488 -x8489 -x8490 -x8491 -x8492 x8493 -x8494 -x8495 -x8496 -x8497 -x8528 -x8529 -x8530 -x8531
1800.00/1800.80	v -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8608
1800.00/1800.80	v -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655
1800.00/1800.80	v -x8656 -x8657 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8728 -x8729 -x8730 -x8731 -x8732
1800.00/1800.80	v -x8733 -x8734 -x8735 -x8736 -x8737 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8808 -x8809
1800.00/1800.80	v -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886
1800.00/1800.80	v -x8887 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934
1800.00/1800.80	v -x8935 -x8936 -x8937 -x8938 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8951 -x8952 -x8953
1800.00/1800.80	v -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971
1800.00/1800.80	v -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990
1800.00/1800.80	v -x8991 -x8992 -x8993 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9006 -x9007 -x9008 -x9009
1800.00/1800.80	v -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9058
1800.00/1800.80	v -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9069 -x9070 -x9071 x9072 -x9073 -x9074 -x9075 -x9076
1800.00/1800.80	v -x9077 -x9078 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9091 -x9092 -x9093 -x9094 -x9095
1800.00/1800.80	v -x9096 -x9097 -x9098 -x9099 -x9100 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9113 -x9114
1800.00/1800.80	v -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132
1800.00/1800.80	v -x9133 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151
1800.00/1800.80	v -x9152 -x9153 -x9154 -x9155 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83
1800.00/1800.80	v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x107 -x108 -x109
1800.00/1800.80	v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x129 -x130 -x131 -x132
1800.00/1800.80	v -x133 -x134 -x135 -x136 -x137 -x138 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x151 -x152 -x153 -x154 -x155
1800.00/1800.80	v -x156 -x157 -x158 -x159 -x160 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x203 -x204 -x205 -x206 -x207 -x208
1800.00/1800.80	v -x209 -x210 -x211 -x212 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.00/1800.80	v -x232 -x233 -x234 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254
1800.00/1800.80	v -x255 -x256 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277
1800.00/1800.80	v -x278 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
1800.00/1800.80	v -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x354
1800.00/1800.80	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x376 -x377
1800.00/1800.80	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x398 -x399 -x400
1800.00/1800.80	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x420 -x421 -x422 -x423
1800.00/1800.80	v -x424 -x425 -x426 -x427 -x428 -x429 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x442 -x443 -x444 -x445 -x446
1800.00/1800.80	v -x447 -x448 -x449 -x450 -x451 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x494 -x495 -x496 -x497 -x498 -x499
1800.00/1800.80	v -x500 -x501 -x502 -x503 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1800.00/1800.80	v -x523 -x524 -x525 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.00/1800.80	v -x546 -x547 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
1800.00/1800.80	v -x569 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591
1800.00/1800.80	v -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x645
1800.00/1800.80	v -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x667 -x668
1800.00/1800.80	v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x689 -x690 -x691
1800.00/1800.80	v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x711 -x712 -x713 -x714
1800.00/1800.80	v -x715 -x716 -x717 -x718 -x719 -x720 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x763 -x764 -x765 -x766 -x767
1800.00/1800.80	v -x768 -x769 -x770 -x771 -x772 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x785 -x786 -x787 -x788 -x789 -x790
1800.00/1800.80	v -x791 -x792 -x793 -x794 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x807 -x808 -x809 -x810 -x811 -x812 -x813
1800.00/1800.80	v -x814 -x815 -x816 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1800.00/1800.80	v -x837 -x838 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859
1800.00/1800.80	v -x860 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912
1800.00/1800.80	v -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936
1800.00/1800.80	v -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959
1800.00/1800.80	v -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x980 -x981 -x982
1800.00/1800.80	v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1002 -x1003 -x1004
1800.00/1800.80	v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052
1800.00/1800.80	v -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071
1800.00/1800.80	v -x1072 -x1073 -x1074 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1087 -x1088 -x1089 -x1090
1800.00/1800.80	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1109
1800.00/1800.80	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127
1800.00/1800.80	v -x1128 -x1129 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1142 -x1143 -x1144 -x1145 -x1146
1800.00/1800.80	v -x1147 -x1148 -x1149 -x1150 -x1151 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1194 -x1195
1800.00/1800.80	v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213
1800.00/1800.80	v -x1214 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232
1800.00/1800.80	v -x1233 -x1234 -x1235 -x1236 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1249 -x1250 -x1251
1800.00/1800.80	v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269
1800.00/1800.80	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288
1800.00/1800.80	v -x1289 -x1290 -x1291 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1334 -x1335 -x1336 -x1337
1800.00/1800.80	v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1356
1800.00/1800.80	v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374
1800.00/1800.80	v -x1375 -x1376 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1389 -x1390 -x1391 -x1392 -x1393
1800.00/1800.80	v -x1394 -x1395 -x1396 -x1397 -x1398 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1411 -x1412
1800.00/1800.80	v -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
1800.00/1800.80	v -x1431 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509
1800.00/1800.80	v -x1510 -x1511 -x1512 -x1513 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1526 -x1527 -x1528
1800.00/1800.80	v -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546
1800.00/1800.80	v -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565
1800.00/1800.80	v -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1582 -x1583 -x1584
1800.00/1800.80	v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1633
1800.00/1800.80	v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651
1800.00/1800.80	v -x1652 -x1653 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1666 -x1667 -x1668 -x1669 -x1670
1800.00/1800.80	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1688 -x1689
1800.00/1800.80	v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707
1800.00/1800.80	v -x1708 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726
1800.00/1800.80	v -x1727 -x1728 -x1729 -x1730 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1773 -x1774 -x1775
1800.00/1800.80	v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793
1800.00/1800.80	v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812
1800.00/1800.80	v -x1813 -x1814 -x1815 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1828 -x1829 -x1830 -x1831
1800.00/1800.80	v -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1850
1800.00/1800.80	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868
1800.00/1800.80	v -x1869 -x1870 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1913 -x1914 -x1915 -x1916 -x1917
1800.00/1800.80	v -x1918 -x1919 -x1920 -x1921 -x1922 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1935 -x1936
1800.00/1800.80	v -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 x1944 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954
1800.00/1800.80	v -x1955 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973
1800.00/1800.80	v -x1974 -x1975 -x1976 -x1977 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1990 -x1991 -x1992
1800.00/1800.80	v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
1800.00/1800.80	v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059
1800.00/1800.80	v -x2060 -x2061 -x2062 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2075 -x2076 -x2077 -x2078
1800.00/1800.80	v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2097
1800.00/1800.80	v -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115
1800.00/1800.80	v -x2116 -x2117 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2130 -x2131 -x2132 -x2133 -x2134
1800.00/1800.80	v -x2135 -x2136 -x2137 -x2138 -x2139 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2152 -x2153
1800.00/1800.80	v -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201
1800.00/1800.80	v -x2202 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
1800.00/1800.80	v -x2221 -x2222 -x2223 -x2224 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2237 -x2238 -x2239
1800.00/1800.80	v -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257
1800.00/1800.80	v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276
1800.00/1800.80	v -x2277 -x2278 -x2279 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2295
1800.00/1800.80	v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2344
1800.00/1800.80	v -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362
1800.00/1800.80	v -x2363 -x2364 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2377 -x2378 -x2379 -x2380 -x2381
1800.00/1800.80	v -x2382 -x2383 -x2384 -x2385 -x2386 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2399 -x2400
1800.00/1800.80	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418
1800.00/1800.80	v -x2419 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437
1800.00/1800.80	v -x2438 -x2439 -x2440 -x2441 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2484 -x2485 -x2486
1800.00/1800.80	v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504
1800.00/1800.80	v -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523
1800.00/1800.80	v -x2524 -x2525 -x2526 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2539 -x2540 -x2541 -x2542
1800.00/1800.80	v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2561
1800.00/1800.80	v -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579
1800.00/1800.80	v -x2580 -x2581 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 -x2624 -x2625 -x2626 -x2627 -x2628
1800.00/1800.80	v -x2629 -x2630 -x2631 -x2632 -x2633 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2646 -x2647
1800.00/1800.80	v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665
1800.00/1800.80	v -x2666 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684
1800.00/1800.80	v -x2685 -x2686 -x2687 -x2688 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2701 -x2702 -x2703
1800.00/1800.80	v -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721
1800.00/1800.80	v -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
1800.00/1800.80	v -x2771 -x2772 -x2773 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2786 -x2787 -x2788 -x2789
1800.00/1800.80	v -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2808
1800.00/1800.80	v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826
1800.00/1800.80	v -x2827 -x2828 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2841 -x2842 -x2843 -x2844 -x2845
1800.00/1800.80	v -x2846 -x2847 -x2848 -x2849 -x2850 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2923 -x2924
1800.00/1800.80	v -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942
1800.00/1800.80	v -x2943 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961
1800.00/1800.80	v -x2962 -x2963 -x2964 -x2965 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2978 -x2979 -x2980
1800.00/1800.80	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998
1800.00/1800.80	v -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017
1800.00/1800.80	v -x3018 -x3019 -x3020 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3063 -x3064 -x3065 -x3066
1800.00/1800.80	v -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3085
1800.00/1800.80	v -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103
1800.00/1800.80	v -x3104 -x3105 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121 -x3122
1800.00/1800.80	v -x3123 -x3124 -x3125 -x3126 -x3127 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3140 -x3141
1800.00/1800.80	v -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159
1800.00/1800.80	v -x3160 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208
1800.00/1800.80	v -x3209 -x3210 -x3211 -x3212 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3225 -x3226 -x3227
1800.00/1800.80	v -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245
1800.00/1800.80	v -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264
1800.00/1800.80	v -x3265 -x3266 -x3267 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3280 -x3281 -x3282 -x3283
1800.00/1800.80	v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3302
1800.00/1800.80	v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350
1800.00/1800.80	v -x3351 -x3352 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3365 -x3366 -x3367 -x3368 -x3369
1800.00/1800.80	v -x3370 -x3371 -x3372 -x3373 -x3374 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3387 -x3388
1800.00/1800.80	v -x3389 -x3390 x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406
1800.00/1800.80	v -x3407 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425
1800.00/1800.80	v -x3426 -x3427 -x3428 -x3429 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3442 -x3443 -x3444
1800.00/1800.80	v -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492
1800.00/1800.80	v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511
1800.00/1800.80	v -x3512 -x3513 -x3514 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3527 -x3528 -x3529 -x3530
1800.00/1800.80	v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3549
1800.00/1800.80	v -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567
1800.00/1800.80	v -x3568 -x3569 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3582 -x3583 -x3584 -x3585 -x3586
1800.00/1800.80	v -x3587 -x3588 -x3589 -x3590 -x3591 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3634 -x3635
1800.00/1800.80	v -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653
1800.00/1800.80	v -x3654 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672
1800.00/1800.80	v -x3673 -x3674 -x3675 -x3676 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3689 -x3690 -x3691
1800.00/1800.80	v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709
1800.00/1800.80	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728
1800.00/1800.80	v -x3729 -x3730 -x3731 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3774 -x3775 -x3776 -x3777
1800.00/1800.80	v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3796
1800.00/1800.80	v -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814
1800.00/1800.80	v -x3815 -x3816 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3829 -x3830 -x3831 -x3832 -x3833
1800.00/1800.80	v -x3834 -x3835 -x3836 -x3837 -x3838 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3851 -x3852
1800.00/1800.80	v -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 x3860 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870
1800.00/1800.80	v -x3871 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919
1800.00/1800.80	v -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3936 -x3937 -x3938
1800.00/1800.80	v -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956
1800.00/1800.80	v -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975
1800.00/1800.80	v -x3976 -x3977 -x3978 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985c Caught signal: 15
1800.00/1800.80	v -x1 -x2 x3 -x4 x5 -x6 -x7 -x8 x9 -x10 -x11 x12 -x13 x14 -x15 x16 -x17 -x18 x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30
1800.00/1800.80	v x31 -x8928 -x8939 -x8950 -x8961 -x8972 -x8983 -x8994 -x9005 -x9046 -x9057 -x9068 -x9079 -x9090 -x9101 -x9112 -x9123 -x9134
1800.00/1800.80	v -x9145 -x62 -x73 -x84 -x95 -x106 -x117 -x128 -x139 -x150 x161 -x202 -x213 -x224 -x235 -x246 -x257 -x268 -x279 -x290 -x301
1800.00/1800.80	v -x342 -x353 -x364 -x375 -x386 -x397 -x408 -x419 -x430 -x441 -x482 -x493 -x504 -x515 -x526 -x537 -x548 -x559 -x570 -x581 -x622
1800.00/1800.80	v -x633 -x644 -x655 -x666 -x677 -x688 -x699 -x710 -x721 -x762 -x773 -x784 -x795 -x806 -x817 -x828 -x839 -x850 -x861 -x902 -x913
1800.00/1800.80	v -x924 -x935 -x946 -x957 -x968 -x979 -x990 -x1001 -x1042 -x1053 -x1064 -x1075 -x1086 -x1097 -x1108 -x1119 -x1130 -x1141
1800.00/1800.80	v -x1182 -x1193 -x1204 -x1215 -x1226 -x1237 -x1248 -x1259 -x1270 -x1281 -x1322 -x1333 -x1344 -x1355 -x1366 -x1377 -x1388
1800.00/1800.80	v -x1399 -x1410 -x1421 -x1492 -x1503 -x1514 -x1525 -x1536 -x1547 -x1558 -x1569 -x1580 -x1591 -x1632 -x1643 -x1654 -x1665
1800.00/1800.80	v -x1676 -x1687 -x1698 -x1709 -x1720 -x1731 -x1772 -x1783 -x1794 -x1805 -x1816 -x1827 -x1838 -x1849 -x1860 -x1871 -x1912
1800.00/1800.80	v -x1923 -x1934 -x1945 -x1956 -x1967 -x1978 -x1989 -x2000 -x2011 -x2052 -x2063 -x2074 -x2085 -x2096 -x2107 -x2118 -x2129
1800.00/1800.80	v -x2140 -x2151 -x2192 -x2203 -x2214 -x2225 -x2236 -x2247 -x2258 -x2269 -x2280 -x2291 -x2332 -x2343 -x2354 -x2365 -x2376
1800.00/1800.80	v -x2387 -x2398 -x2409 -x2420 -x2431 -x2472 -x2483 -x2494 -x2505 -x2516 -x2527 -x2538 -x2549 -x2560 -x2571 -x2612 -x2623
1800.00/1800.80	v -x2634 -x2645 -x2656 -x2667 -x2678 -x2689 -x2700 -x2711 -x2752 -x2763 -x2774 -x2785 -x2796 -x2807 -x2818 -x2829 -x2840
1800.00/1800.80	v -x2851 -x2922 -x2933 -x2944 -x2955 -x2966 -x2977 -x2988 -x2999 -x3010 -x3021 -x3062 -x3073 -x3084 -x3095 -x3106 -x3117
1800.00/1800.80	v -x3128 -x3139 -x3150 -x3161 x3202 -x3213 -x3224 -x3235 -x3246 -x3257 -x3268 -x3279 -x3290 -x3301 -x3342 -x3353 -x3364
1800.00/1800.80	v -x3375 -x3386 -x3397 -x3408 -x3419 -x3430 -x3441 -x3482 -x3493 -x3504 -x3515 -x3526 -x3537 -x3548 -x3559 -x3570 -x3581
1800.00/1800.80	v -x3622 -x3633 -x3644 -x3655 -x3666 -x3677 -x3688 -x3699 -x3710 -x3721 -x3762 -x3773 -x3784 -x3795 -x3806 -x3817 -x3828
1800.00/1800.80	v -x3839 -x3850 -x3861 -x3902 -x3913 -x3924 -x3935 -x3946 -x3957 -x3968 -x3979 -x3990 -x4001 -x4042 -x4053 -x4064 -x4075
1800.00/1800.80	v -x4086 -x4097 -x4108 -x4119 -x4130 -x4141 -x4182 -x4193 -x4204 -x4215 -x4226 -x4237 -x4248 -x4259 -x4270 -x4281 -x4352
1800.00/1800.80	v -x4363 -x4374 -x4385 -x4396 -x4407 -x4418 -x4429 -x4440 -x4451 -x4492 -x4503 -x4514 -x4525 -x4536 -x4547 -x4558 -x4569
1800.00/1800.80	v -x4580 -x4591 -x4632 -x4643 -x4654 -x4665 -x4676 -x4687 -x4698 -x4709 -x4720 -x4731 -x4772 -x4783 -x4794 -x4805 -x4816
1800.00/1800.80	v -x4827 -x4838 -x4849 -x4860 -x4871 -x4912 -x4923 -x4934 -x4945 -x4956 -x4967 -x4978 -x4989 -x5000 -x5011 -x5052 -x5063
1800.00/1800.80	v -x5074 -x5085 -x5096 -x5107 -x5118 -x5129 -x5140 -x5151 -x5192 -x5203 -x5214 -x5225 -x5236 -x5247 -x5258 -x5269 -x5280
1800.00/1800.80	v -x5291 -x5332 -x5343 -x5354 -x5365 -x5376 -x5387 -x5398 -x5409 -x5420 -x5431 -x5472 -x5483 -x5494 -x5505 -x5516 -x5527
1800.00/1800.80	v -x5538 -x5549 -x5560 -x5571 -x5612 -x5623 -x5634 -x5645 -x5656 -x5667 -x5678 -x5689 -x5700 -x5711 -x5782 -x5793 -x5804
1800.00/1800.80	v -x5815 -x5826 -x5837 -x5848 -x5859 -x5870 -x5881 -x5922 -x5933 -x5944 -x5955 -x5966 -x5977 -x5988 -x5999 -x6010 -x6021
1800.00/1800.80	v -x6062 -x6073 -x6084 -x6095 -x6106 -x6117 -x6128 -x6139 -x6150 -x6161 -x6202 -x6213 -x6224 -x6235 -x6246 -x6257 -x6268
1800.00/1800.80	v -x6279 -x6290 -x6301 -x6342 -x6353 -x6364 -x6375 -x6386 -x6397 -x6408 -x6419 -x6430 -x6441 -x6482 -x6493 -x6504 -x6515
1800.00/1800.80	v -x6526 -x6537 -x6548 -x6559 -x6570 -x6581 -x6622 -x6633 -x6644 -x6655 -x6666 -x6677 -x6688 -x6699 -x6710 -x6721 -x6762
1800.00/1800.80	v -x6773 -x6784 -x6795 -x6806 -x6817 -x6828 -x6839 -x6850 -x6861 -x6902 -x6913 -x6924 -x6935 -x6946 -x6957 -x6968 -x6979
1800.00/1800.80	v -x6990 -x7001 -x7042 -x7053 -x7064 -x7075 -x7086 -x7097 -x7108 -x7119 -x7130 -x7141 -x7212 -x7223 -x7234 -x7245 -x7256
1800.00/1800.80	v -x7267 -x7278 -x7289 -x7300 -x7311 -x7352 -x7363 -x7374 -x7385 -x7396 -x7407 -x7418 -x7429 -x7440 -x7451 -x7492 -x7503
1800.00/1800.80	v -x7514 -x7525 -x7536 -x7547 -x7558 -x7569 -x7580 -x7591 -x7632 -x7643 -x7654 -x7665 -x7676 -x7687 -x7698 -x7709 -x7720
1800.00/1800.80	v -x7731 -x7772 -x7783 -x7794 -x7805 -x7816 -x7827 -x7838 -x7849 -x7860 -x7871 -x7912 -x7923 -x7934 -x7945 -x7956 -x7967
1800.00/1800.80	v -x7978 -x7989 -x8000 -x8011 -x8052 -x8063 -x8074 -x8085 -x8096 -x8107 -x8118 -x8129 -x8140 -x8151 -x8192 -x8203 -x8214
1800.00/1800.80	v -x8225 -x8236 -x8247 -x8258 -x8269 -x8280 -x8291 -x8332 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347
1800.00/1800.80	v -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454
1800.00/1800.80	v -x8455 -x8456 -x8457 -x8488 -x8489 -x8490 -x8491 -x8492 x8493 -x8494 -x8495 -x8496 -x8497 -x8528 -x8529 -x8530 -x8531
1800.00/1800.80	v -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8608
1800.00/1800.80	v -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655
1800.00/1800.80	v -x8656 -x8657 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8728 -x8729 -x8730 -x8731 -x8732
1800.00/1800.80	v -x8733 -x8734 -x8735 -x8736 -x8737 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8808 -x8809
1800.00/1800.80	v -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886
1800.00/1800.80	v -x8887 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934
1800.00/1800.80	v -x8935 -x8936 -x8937 -x8938 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8951 -x8952 -x8953
1800.00/1800.80	v -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971
1800.00/1800.80	v -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990
1800.00/1800.80	v -x8991 -x8992 -x8993 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9006 -x9007 -x9008 -x9009
1800.00/1800.80	v -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9058
1800.00/1800.80	v -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9069 -x9070 -x9071 x9072 -x9073 -x9074 -x9075 -x9076
1800.00/1800.80	v -x9077 -x9078 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9091 -x9092 -x9093 -x9094 -x9095
1800.00/1800.80	v -x9096 -x9097 -x9098 -x9099 -x9100 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9113 -x9114
1800.00/1800.80	v -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132
1800.00/1800.80	v -x9133 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151
1800.00/1800.80	v -x9152 -x9153 -x9154 -x9155 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83
1800.00/1800.80	v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x107 -x108 -x109
1800.00/1800.80	v -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x129 -x130 -x131 -x132
1800.00/1800.80	v -x133 -x134 -x135 -x136 -x137 -x138 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x151 -x152 -x153 -x154 -x155
1800.00/1800.80	v -x156 -x157 -x158 -x159 -x160 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x203 -x204 -x205 -x206 -x207 -x208
1800.00/1800.80	v -x209 -x210 -x211 -x212 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x225 -x226 -x227 -x228 -x229 -x230 -x231
1800.00/1800.80	v -x232 -x233 -x234 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254
1800.00/1800.80	v -x255 -x256 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277
1800.00/1800.80	v -x278 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
1800.00/1800.80	v -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x354
1800.00/1800.80	v -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x376 -x377
1800.00/1800.80	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x398 -x399 -x400
1800.00/1800.80	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x420 -x421 -x422 -x423
1800.00/1800.80	v -x424 -x425 -x426 -x427 -x428 -x429 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x442 -x443 -x444 -x445 -x446
1800.00/1800.80	v -x447 -x448 -x449 -x450 -x451 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x494 -x495 -x496 -x497 -x498 -x499
1800.00/1800.80	v -x500 -x501 -x502 -x503 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x516 -x517 -x518 -x519 -x520 -x521 -x522
1800.00/1800.80	v -x523 -x524 -x525 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.00/1800.80	v -x546 -x547 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568
1800.00/1800.80	v -x569 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591
1800.00/1800.80	v -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x645
1800.00/1800.80	v -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x667 -x668
1800.00/1800.80	v -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x689 -x690 -x691
1800.00/1800.80	v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x711 -x712 -x713 -x714
1800.00/1800.80	v -x715 -x716 -x717 -x718 -x719 -x720 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x763 -x764 -x765 -x766 -x767
1800.00/1800.80	v -x768 -x769 -x770 -x771 -x772 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x785 -x786 -x787 -x788 -x789 -x790
1800.00/1800.80	v -x791 -x792 -x793 -x794 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x807 -x808 -x809 -x810 -x811 -x812 -x813
1800.00/1800.80	v -x814 -x815 -x816 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
1800.00/1800.80	v -x837 -x838 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859
1800.00/1800.80	v -x860 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912
1800.00/1800.80	v -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x936
1800.00/1800.80	v -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x958 -x959
1800.00/1800.80	v -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x980 -x981 -x982
1800.00/1800.80	v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1002 -x1003 -x1004
1800.00/1800.80	v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052
1800.00/1800.80	v -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071
1800.00/1800.80	v -x1072 -x1073 -x1074 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1087 -x1088 -x1089 -x1090
1800.00/1800.80	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1109
1800.00/1800.80	v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127
1800.00/1800.80	v -x1128 -x1129 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1142 -x1143 -x1144 -x1145 -x1146
1800.00/1800.80	v -x1147 -x1148 -x1149 -x1150 -x1151 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1194 -x1195
1800.00/1800.80	v -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213
1800.00/1800.80	v -x1214 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232
1800.00/1800.80	v -x1233 -x1234 -x1235 -x1236 -x1238 x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1249 -x1250 -x1251
1800.00/1800.80	v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269
1800.00/1800.80	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288
1800.00/1800.80	v -x1289 -x1290 -x1291 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1334 -x1335 -x1336 -x1337
1800.00/1800.80	v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1356
1800.00/1800.80	v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374
1800.00/1800.80	v -x1375 -x1376 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1389 -x1390 -x1391 -x1392 -x1393
1800.00/1800.80	v -x1394 -x1395 -x1396 -x1397 -x1398 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1411 -x1412
1800.00/1800.80	v -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
1800.00/1800.80	v -x1431 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509
1800.00/1800.80	v -x1510 -x1511 -x1512 -x1513 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1526 -x1527 -x1528
1800.00/1800.80	v -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546
1800.00/1800.80	v -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565
1800.00/1800.80	v -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1581 -x1582 -x1583 -x1584
1800.00/1800.80	v -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1633
1800.00/1800.80	v -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651
1800.00/1800.80	v -x1652 -x1653 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1666 -x1667 -x1668 -x1669 -x1670
1800.00/1800.80	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1688 -x1689
1800.00/1800.80	v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707
1800.00/1800.80	v -x1708 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726
1800.00/1800.80	v -x1727 -x1728 -x1729 -x1730 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1773 -x1774 -x1775
1800.00/1800.80	v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793
1800.00/1800.80	v -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812
1800.00/1800.80	v -x1813 -x1814 -x1815 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1828 -x1829 -x1830 -x1831
1800.00/1800.80	v -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1850
1800.00/1800.80	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868
1800.00/1800.80	v -x1869 -x1870 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1913 -x1914 -x1915 -x1916 -x1917
1800.00/1800.80	v -x1918 -x1919 -x1920 -x1921 -x1922 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1935 -x1936
1800.00/1800.80	v -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 x1944 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954
1800.00/1800.80	v -x1955 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973
1800.00/1800.80	v -x1974 -x1975 -x1976 -x1977 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1990 -x1991 -x1992
1800.00/1800.80	v -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
1800.00/1800.80	v -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059
1800.00/1800.80	v -x2060 -x2061 -x2062 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2075 -x2076 -x2077 -x2078
1800.00/1800.80	v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2097
1800.00/1800.80	v -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115
1800.00/1800.80	v -x2116 -x2117 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2130 -x2131 -x2132 -x2133 -x2134
1800.00/1800.80	v -x2135 -x2136 -x2137 -x2138 -x2139 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2152 -x2153
1800.00/1800.80	v -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201
1800.00/1800.80	v -x2202 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220
1800.00/1800.80	v -x2221 -x2222 -x2223 -x2224 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2237 -x2238 -x2239
1800.00/1800.80	v -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257
1800.00/1800.80	v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276
1800.00/1800.80	v -x2277 -x2278 -x2279 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2292 -x2293 -x2294 -x2295
1800.00/1800.80	v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2344
1800.00/1800.80	v -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362
1800.00/1800.80	v -x2363 -x2364 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2377 -x2378 -x2379 -x2380 -x2381
1800.00/1800.80	v -x2382 -x2383 -x2384 -x2385 -x2386 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2399 -x2400
1800.00/1800.80	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418
1800.00/1800.80	v -x2419 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437
1800.00/1800.80	v -x2438 -x2439 -x2440 -x2441 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2484 -x2485 -x2486
1800.00/1800.80	v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504
1800.00/1800.80	v -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523
1800.00/1800.80	v -x2524 -x2525 -x2526 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2539 -x2540 -x2541 -x2542
1800.00/1800.80	v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2561
1800.00/1800.80	v -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579
1800.00/1800.80	v -x2580 -x2581 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 -x2624 -x2625 -x2626 -x2627 -x2628
1800.00/1800.80	v -x2629 -x2630 -x2631 -x2632 -x2633 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2646 -x2647
1800.00/1800.80	v -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665
1800.00/1800.80	v -x2666 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684
1800.00/1800.80	v -x2685 -x2686 -x2687 -x2688 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2701 -x2702 -x2703
1800.00/1800.80	v -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721
1800.00/1800.80	v -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770
1800.00/1800.80	v -x2771 -x2772 -x2773 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2786 -x2787 -x2788 -x2789
1800.00/1800.80	v -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2808
1800.00/1800.80	v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826
1800.00/1800.80	v -x2827 -x2828 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2841 -x2842 -x2843 -x2844 -x2845
1800.00/1800.80	v -x2846 -x2847 -x2848 -x2849 -x2850 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2923 -x2924
1800.00/1800.80	v -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942
1800.00/1800.80	v -x2943 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961
1800.00/1800.80	v -x2962 -x2963 -x2964 -x2965 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2978 -x2979 -x2980
1800.00/1800.80	v -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998
1800.00/1800.80	v -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017
1800.00/1800.80	v -x3018 -x3019 -x3020 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3063 -x3064 -x3065 -x3066
1800.00/1800.80	v -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3085
1800.00/1800.80	v -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103
1800.00/1800.80	v -x3104 -x3105 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121 -x3122
1800.00/1800.80	v -x3123 -x3124 -x3125 -x3126 -x3127 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3140 -x3141
1800.00/1800.80	v -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159
1800.00/1800.80	v -x3160 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208
1800.00/1800.80	v -x3209 -x3210 -x3211 -x3212 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3225 -x3226 -x3227
1800.00/1800.80	v -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245
1800.00/1800.80	v -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264
1800.00/1800.80	v -x3265 -x3266 -x3267 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3280 -x3281 -x3282 -x3283
1800.00/1800.80	v -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3302
1800.00/1800.80	v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350
1800.00/1800.80	v -x3351 -x3352 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3365 -x3366 -x3367 -x3368 -x3369
1800.00/1800.80	v -x3370 -x3371 -x3372 -x3373 -x3374 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3387 -x3388
1800.00/1800.80	v -x3389 -x3390 x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406
1800.00/1800.80	v -x3407 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425
1800.00/1800.80	v -x3426 -x3427 -x3428 -x3429 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3442 -x3443 -x3444
1800.00/1800.80	v -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492
1800.00/1800.80	v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511
1800.00/1800.80	v -x3512 -x3513 -x3514 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3527 -x3528 -x3529 -x3530
1800.00/1800.80	v -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3549
1800.00/1800.80	v -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567
1800.00/1800.80	v -x3568 -x3569 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3582 -x3583 -x3584 -x3585 -x3586
1800.00/1800.80	v -x3587 -x3588 -x3589 -x3590 -x3591 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3634 -x3635
1800.00/1800.80	v -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653
1800.00/1800.80	v -x3654 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672
1800.00/1800.80	v -x3673 -x3674 -x3675 -x3676 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3689 -x3690 -x3691
1800.00/1800.80	v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709
1800.00/1800.80	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728
1800.00/1800.80	v -x3729 -x3730 -x3731 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3774 -x3775 -x3776 -x3777
1800.00/1800.80	v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3796
1800.00/1800.80	v -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814
1800.00/1800.80	v -x3815 -x3816 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3829 -x3830 -x3831 -x3832 -x3833
1800.00/1800.80	v -x3834 -x3835 -x3836 -x3837 -x3838 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3851 -x3852
1800.00/1800.80	v -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 x3860 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870
1800.00/1800.80	v -x3871 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919
1800.00/1800.80	v -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3936 -x3937 -x3938
1800.00/1800.80	v -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956
1800.00/1800.80	v -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975
1800.00/1800.80	v -x3976 -x3977 -x3978 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3991 -x3992 -x3993 -x3994
1800.00/1800.80	v -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4043
1800.00/1800.80	v -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061
1800.00/1800.80	v -x4062 -x4063 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4076 -x4077 -x4078 -x4079 -x4080
1800.00/1800.80	v -x4081 -x4082 -x4083 -x4084 -x4085 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4098 -x4099
1800.00/1800.80	v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117
1800.00/1800.80	v -x4118 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136
1800.00/1800.80	v -x4137 -x4138 -x4139 -x4140 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4183 -x4184 -x4185
1800.00/1800.80	v -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203
1800.00/1800.80	v -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222
1800.00/1800.80	v -x4223 -x4224 -x4225 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4238 -x4239 -x4240 -x4241
1800.00/1800.80	v -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4260
1800.00/1800.80	v -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278
1800.00/1800.80	v -x4279 x4280 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4353 -x4354 -x4355 -x4356 -x4357
1800.00/1800.80	v -x4358 -x4359 -x4360 -x4361 -x4362 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4375 -x4376
1800.00/1800.80	v -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394
1800.00/1800.80	v -x4395 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413
1800.00/1800.80	v -x4414 -x4415 -x4416 -x4417 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4430 -x4431 -x4432
1800.00/1800.80	v -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450
1800.00/1800.80	v -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499
1800.00/1800.80	v -x4500 -x4501 -x4502 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4515 -x4516 -x4517 -x4518
1800.00/1800.80	v -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4537
1800.00/1800.80	v -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555
1800.00/1800.80	v -x4556 -x4557 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4570 -x4571 -x4572 -x4573 -x4574
1800.00/1800.80	v -x4575 -x4576 -x4577 -x4578 -x4579 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4592 -x4593
1800.00/1800.80	v -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641
1800.00/1800.80	v -x4642 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660
1800.00/1800.80	v -x4661 -x4662 -x4663 -x4664 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4677 -x4678 -x4679
1800.00/1800.80	v -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4688 -x4689 x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697
1800.00/1800.80	v -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716
1800.00/1800.80	v -x4717 -x4718 -x4719 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4732 -x4733 -x4734 -x4735
1800.00/1800.80	v -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4784
1800.00/1800.80	v -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802
1800.00/1800.80	v -x4803 -x4804 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4817 -x4818 -x4819 -x4820 -x4821
1800.00/1800.80	v -x4822 -x4823 -x4824 -x4825 -x4826 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4839 -x4840
1800.00/1800.80	v -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858
1800.00/1800.80	v -x4859 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877
1800.00/1800.80	v -x4878 -x4879 -x4880 -x4881 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4924 -x4925 -x4926
1800.00/1800.80	v -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944
1800.00/1800.80	v -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 x4954 -x4955 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963
1800.00/1800.80	v -x4964 -x4965 -x4966 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4979 -x4980 -x4981 -x4982
1800.00/1800.80	v -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5001
1800.00/1800.80	v -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019
1800.00/1800.80	v -x5020 -x5021 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5064 -x5065 -x5066 -x5067 -x5068
1800.00/1800.80	v -x5069 -x5070 -x5071 -x5072 -x5073 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5086 -x5087
1800.00/1800.80	v -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105
1800.00/1800.80	v -x5106 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124
1800.00/1800.80	v -x5125 -x5126 -x5127 -x5128 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5141 -x5142 -x5143
1800.00/1800.80	v -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161
1800.00/1800.80	v -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210
1800.00/1800.80	v -x5211 -x5212 -x5213 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5226 -x5227 -x5228 -x5229
1800.00/1800.80	v -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5248
1800.00/1800.80	v -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266
1800.00/1800.80	v -x5267 -x5268 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5281 -x5282 -x5283 -x5284 -x5285
1800.00/1800.80	v -x5286 -x5287 -x5288 -x5289 -x5290 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5333 -x5334
1800.00/1800.80	v -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352
1800.00/1800.80	v -x5353 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371
1800.00/1800.80	v -x5372 -x5373 -x5374 -x5375 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5388 -x5389 -x5390
1800.00/1800.80	v -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408
1800.00/1800.80	v -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427
1800.00/1800.80	v -x5428 -x5429 -x5430 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5473 -x5474 -x5475 -x5476
1800.00/1800.80	v -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5495
1800.00/1800.80	v -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513
1800.00/1800.80	v -x5514 -x5515 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5528 -x5529 -x5530 -x5531 -x5532
1800.00/1800.80	v -x5533 -x5534 -x5535 -x5536 -x5537 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5550 -x5551
1800.00/1800.80	v -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569
1800.00/1800.80	v -x5570 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618
1800.00/1800.80	v -x5619 -x5620 -x5621 -x5622 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5635 -x5636 -x5637
1800.00/1800.80	v -x5638 -x5639 -x5640 -x5641 x5642 -x5643 -x5644 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655
1800.00/1800.80	v -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674
1800.00/1800.80	v -x5675 -x5676 -x5677 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5690 -x5691 -x5692 -x5693
1800.00/1800.80	v -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5712
1800.00/1800.80	v -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790
1800.00/1800.80	v -x5791 -x5792 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5805 -x5806 -x5807 -x5808 -x5809
1800.00/1800.80	v -x5810 -x5811 -x5812 -x5813 -x5814 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5827 -x5828
1800.00/1800.80	v -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846
1800.00/1800.80	v -x5847 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865
1800.00/1800.80	v -x5866 -x5867 -x5868 -x5869 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5882 -x5883 -x5884
1800.00/1800.80	v -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932
1800.00/1800.80	v -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951
1800.00/1800.80	v -x5952 -x5953 -x5954 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5967 -x5968 -x5969 -x5970
1800.00/1800.80	v -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5989
1800.00/1800.80	v -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007
1800.00/1800.80	v -x6008 -x6009 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6022 -x6023 -x6024 -x6025 -x6026
1800.00/1800.80	v -x6027 -x6028 -x6029 -x6030 -x6031 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6074 -x6075
1800.00/1800.80	v -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093
1800.00/1800.80	v -x6094 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112
1800.00/1800.80	v -x6113 -x6114 -x6115 -x6116 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6129 -x6130 -x6131
1800.00/1800.80	v -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149
1800.00/1800.80	v -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168
1800.00/1800.80	v -x6169 -x6170 -x6171 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6214 -x6215 -x6216 -x6217
1800.00/1800.80	v -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6236
1800.00/1800.80	v -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254
1800.00/1800.80	v -x6255 -x6256 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6269 -x6270 -x6271 -x6272 -x6273
1800.00/1800.80	v -x6274 -x6275 -x6276 -x6277 x6278 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6291 -x6292
1800.00/1800.80	v -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310
1800.00/1800.80	v -x6311 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359
1800.00/1800.80	v -x6360 -x6361 -x6362 -x6363 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6376 -x6377 -x6378
1800.00/1800.80	v -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396
1800.00/1800.80	v -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415
1800.00/1800.80	v -x6416 -x6417 -x6418 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6431 -x6432 -x6433 -x6434
1800.00/1800.80	v -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6483
1800.00/1800.80	v -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501
1800.00/1800.80	v -x6502 -x6503 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6516 -x6517 -x6518 -x6519 -x6520
1800.00/1800.80	v -x6521 -x6522 -x6523 -x6524 -x6525 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6538 -x6539
1800.00/1800.80	v -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557
1800.00/1800.80	v -x6558 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576
1800.00/1800.80	v -x6577 -x6578 -x6579 -x6580 -x6582 -x6583 x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6623 -x6624 -x6625
1800.00/1800.80	v -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643
1800.00/1800.80	v -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662
1800.00/1800.80	v -x6663 -x6664 -x6665 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6678 -x6679 -x6680 -x6681
1800.00/1800.80	v -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6700
1800.00/1800.80	v -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718
1800.00/1800.80	v -x6719 -x6720 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6763 -x6764 -x6765 -x6766 -x6767
1800.00/1800.80	v -x6768 -x6769 -x6770 -x6771 -x6772 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6785 -x6786
1800.00/1800.80	v -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804
1800.00/1800.80	v -x6805 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823
1800.00/1800.80	v -x6824 -x6825 -x6826 -x6827 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6840 -x6841 -x6842
1800.00/1800.80	v -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860
1800.00/1800.80	v -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909
1800.00/1800.80	v -x6910 -x6911 -x6912 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6925 -x6926 -x6927 -x6928
1800.00/1800.80	v -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6947
1800.00/1800.80	v -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965
1800.00/1800.80	v -x6966 -x6967 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6980 -x6981 -x6982 -x6983 -x6984
1800.00/1800.80	v -x6985 -x6986 -x6987 -x6988 -x6989 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7002 -x7003
1800.00/1800.80	v -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7043 -x7044 x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051
1800.00/1800.80	v -x7052 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070
1800.00/1800.80	v -x7071 -x7072 -x7073 -x7074 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7087 -x7088 -x7089
1800.00/1800.80	v -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107
1800.00/1800.80	v -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126
1800.00/1800.80	v -x7127 -x7128 -x7129 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7142 -x7143 -x7144 -x7145
1800.00/1800.80	v -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7224
1800.00/1800.80	v -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242
1800.00/1800.80	v -x7243 -x7244 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7257 -x7258 -x7259 -x7260 -x7261
1800.00/1800.80	v -x7262 -x7263 -x7264 -x7265 -x7266 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7279 -x7280
1800.00/1800.80	v -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298
1800.00/1800.80	v -x7299 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317
1800.00/1800.80	v -x7318 -x7319 -x7320 -x7321 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7364 -x7365 -x7366
1800.00/1800.80	v -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384
1800.00/1800.80	v -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403
1800.00/1800.80	v -x7404 -x7405 -x7406 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7419 -x7420 -x7421 -x7422
1800.00/1800.80	v -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7441
1800.00/1800.80	v -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459
1800.00/1800.80	v -x7460 -x7461 x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7504 -x7505 -x7506 -x7507 -x7508
1800.00/1800.80	v -x7509 -x7510 -x7511 -x7512 -x7513 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7526 -x7527
1800.00/1800.80	v -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545
1800.00/1800.80	v -x7546 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564
1800.00/1800.80	v -x7565 -x7566 -x7567 -x7568 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7581 -x7582 -x7583
1800.00/1800.80	v -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601
1800.00/1800.80	v -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650
1800.00/1800.80	v -x7651 -x7652 -x7653 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7666 -x7667 -x7668 -x7669
1800.00/1800.80	v -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7688
1800.00/1800.80	v -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706
1800.00/1800.80	v -x7707 -x7708 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7721 -x7722 -x7723 -x7724 -x7725
1800.00/1800.80	v -x7726 -x7727 -x7728 -x7729 -x7730 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7773 -x7774
1800.00/1800.80	v -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792
1800.00/1800.80	v -x7793 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811
1800.00/1800.80	v -x7812 -x7813 -x7814 -x7815 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7828 -x7829 -x7830
1800.00/1800.80	v -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848
1800.00/1800.80	v -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867
1800.00/1800.80	v -x7868 -x7869 -x7870 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7913 -x7914 -x7915 -x7916
1800.00/1800.80	v -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7935
1800.00/1800.80	v -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953
1800.00/1800.80	v -x7954 -x7955 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7968 -x7969 -x7970 -x7971 -x7972
1800.00/1800.80	v -x7973 -x7974 -x7975 -x7976 -x7977 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7990 -x7991
1800.00/1800.80	v -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009
1800.00/1800.80	v -x8010 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058
1800.00/1800.80	v -x8059 -x8060 -x8061 -x8062 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8075 -x8076 -x8077
1800.00/1800.80	v -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095
1800.00/1800.80	v -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114
1800.00/1800.80	v -x8115 -x8116 -x8117 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8130 -x8131 x8132 -x8133
1800.00/1800.80	v -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8152
1800.00/1800.80	v -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200
1800.00/1800.80	v -x8201 -x8202 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8215 -x8216 -x8217 -x8218 -x8220
1800.00/1800.80	v -x8221 -x8222 -x8223 -x8224 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8237 -x8238 -x8239
1800.00/1800.80	v -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257
1800.00/1800.80	v -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276
1800.00/1800.80	v -x8277 -x8278 -x8279 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8292 -x8293 -x8294 -x8295
1800.00/1800.80	v -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x1432 -x1433 -x1434 -x1435 -x1436
1800.00/1800.80	v -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453
1800.00/1800.80	v -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870
1800.00/1800.80	v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887
1800.00/1800.80	v -x2888 -x2889 -x2890 -x2891 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304
1800.00/1800.80	v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321
1800.00/1800.80	v -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738
1800.00/1800.80	v -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x1152 -x1153 -x1154 -x1155
1800.00/1800.80	v -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172
1800.00/1800.80	v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299
1800.00/1800.80	v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316
1800.00/1800.80	v -x1317 -x1318 -x1319 -x1320 -x1321 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473
1800.00/1800.80	v -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
1800.00/1800.80	v -x1491 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617
1800.00/1800.80	v -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x7152 -x7153 -x7154
1800.00/1800.80	v -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171
1800.00/1800.80	v -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394
1800.00/1800.80	v -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411
1800.00/1800.80	v -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828
1800.00/1800.80	v -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845
1800.00/1800.80	v -x8846 -x8847 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030
1800.00/1800.80	v -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x32 -x33 -x34
1800.00/1800.80	v -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
1800.00/1800.80	v -x61 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191
1800.00/1800.80	v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322
1800.00/1800.80	v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x452 -x453
1800.00/1800.80	v -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474
1800.00/1800.80	v -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605
1800.00/1800.80	v -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x732 -x733 -x734 -x735 -x736
1800.00/1800.80	v -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757
1800.00/1800.80	v -x758 -x759 -x760 -x761 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888
1800.00/1800.80	v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017
1800.00/1800.80	v -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034
1800.00/1800.80	v -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751
1800.00/1800.80	v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768
1800.00/1800.80	v -x1769 -x1770 -x1771 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895
1800.00/1800.80	v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x2022
1800.00/1800.80	v -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039
1800.00/1800.80	v -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2162 -x2163 -x2164 -x2165 -x2166
1800.00/1800.80	v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183
1800.00/1800.80	v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
1800.00/1800.80	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327
1800.00/1800.80	v -x2328 -x2329 -x2330 -x2331 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454
1800.00/1800.80	v -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471
1800.00/1800.80	v -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598
1800.00/1800.80	v -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2722 -x2723 -x2724 -x2725
1800.00/1800.80	v -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742
1800.00/1800.80	v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899
1800.00/1800.80	v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916
1800.00/1800.80	v -x2917 -x2918 -x2919 -x2920 -x2921 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043
1800.00/1800.80	v -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060
1800.00/1800.80	v -x3061 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187
1800.00/1800.80	v -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3312 -x3313 -x3314
1800.00/1800.80	v -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331
1800.00/1800.80	v -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458
1800.00/1800.80	v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475
1800.00/1800.80	v -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602
1800.00/1800.80	v -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619
1800.00/1800.80	v -x3620 -x3621 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746
1800.00/1800.80	v -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3872 -x3873
1800.00/1800.80	v -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890
1800.00/1800.80	v -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017
1800.00/1800.80	v -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034
1800.00/1800.80	v -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161
1800.00/1800.80	v -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178
1800.00/1800.80	v -x4179 -x4180 -x4181 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335
1800.00/1800.80	v -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4462
1800.00/1800.80	v -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479
1800.00/1800.80	v -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4602 -x4603 -x4604 -x4605 -x4606
1800.00/1800.80	v -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623
1800.00/1800.80	v -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750
1800.00/1800.80	v -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767
1800.00/1800.80	v -x4768 -x4769 -x4770 -x4771 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894
1800.00/1800.80	v -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911
1800.00/1800.80	v -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038
1800.00/1800.80	v -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5162 -x5163 -x5164 -x5165
1800.00/1800.80	v -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182
1800.00/1800.80	v -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309
1800.00/1800.80	v -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326
1800.00/1800.80	v -x5327 -x5328 -x5329 -x5330 -x5331 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453
1800.00/1800.80	v -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470
1800.00/1800.80	v -x5471 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597
1800.00/1800.80	v -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5752 -x5753 -x5754
1800.00/1800.80	v -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771
1800.00/1800.80	v -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898
1800.00/1800.80	v -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915
1800.00/1800.80	v -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042
1800.00/1800.80	v -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059
1800.00/1800.80	v -x6060 -x6061 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186
1800.00/1800.80	v -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6312 -x6313
1800.00/1800.80	v -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330
1800.00/1800.80	v -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457
1800.00/1800.80	v -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474
1800.00/1800.80	v -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601
1800.00/1800.80	v -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618
1800.00/1800.80	v -x6619 -x6620 -x6621 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745
1800.00/1800.80	v -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6872
1800.00/1800.80	v -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889
1800.00/1800.80	v -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x7012 -x7013 -x7014 -x7015 -x7016
1800.00/1800.80	v -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033
1800.00/1800.80	v -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190
1800.00/1800.80	v -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207
1800.00/1800.80	v -x7208 -x7209 -x7210 -x7211 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334
1800.00/1800.80	v -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351
1800.00/1800.80	v -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478
1800.00/1800.80	v -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7602 -x7603 -x7604 -x7605
1800.00/1800.80	v -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622
1800.00/1800.80	v -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749
1800.00/1800.80	v -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766
1800.00/1800.80	v -x7767 -x7768 -x7769 -x7770 -x7771 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893
1800.00/1800.80	v -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910
1800.00/1800.80	v -x7911 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037
1800.00/1800.80	v -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8162 -x8163 -x8164
1800.00/1800.80	v -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181
1800.00/1800.80	v -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308
1800.00/1800.80	v -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325
1800.00/1800.80	v -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358
1800.00/1800.80	v -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375
1800.00/1800.80	v -x8376 -x8377 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432
1800.00/1800.80	v -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8458 -x8459
1800.00/1800.80	v -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476
1800.00/1800.80	v -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503
1800.00/1800.80	v -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520
1800.00/1800.80	v -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547
1800.00/1800.80	v -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564
1800.00/1800.80	v -x8565 -x8566 -x8567 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591
1800.00/1800.80	v -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8618
1800.00/1800.80	v -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635
1800.00/1800.80	v -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8658 -x8659 -x8660 -x8661 -x8662
1800.00/1800.80	v -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679
1800.00/1800.80	v -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706
1800.00/1800.80	v -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723
1800.00/1800.80	v -x8724 -x8725 -x8726 -x8727 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750
1800.00/1800.80	v -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767
1800.00/1800.80	v -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794
1800.00/1800.80	v -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8848 -x8849 -x8850 -x8851
1800.00/1800.80	v -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868
1800.00/1800.80	v -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895
1800.00/1800.80	v -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912
1800.00/1800.80	v -x8913 -x8914 -x8915 -x8916 -x8917 -x8219
1800.00/1800.81	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.00/1800.81	c   21    73346  61859  3232095    73939 45559978  73353     40 1800.02
1800.00/1800.81	c Objective: 262483
1800.00/1800.81	s SATISFIABLE
1800.00/1800.81	c Total time: 1800.02 s

Verifier Data (download as text)

ERROR: variable expected in interpretation !c

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14054
/proc/meminfo: memFree=1595968/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=12904 CPUtime=0
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 150468442 13213696 334 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 3226 334 281 324 0 2003 0

[startup+0.0150939 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14054
/proc/meminfo: memFree=1595968/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=13048 CPUtime=0.01
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 413 0 0 0 1 0 0 0 18 0 1 0 150468442 13361152 381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 3262 382 288 324 0 2039 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13048

[startup+0.101109 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14054
/proc/meminfo: memFree=1595968/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=13956 CPUtime=0.09
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 690 0 0 0 9 0 0 0 18 0 1 0 150468442 14290944 658 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 3489 658 345 324 0 2266 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13956

[startup+0.301151 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14054
/proc/meminfo: memFree=1595968/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=6916 CPUtime=0.29
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 1036 0 0 0 29 0 0 0 19 0 1 0 150468442 7081984 1004 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 1729 1004 490 324 0 506 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6916

[startup+0.702238 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14054
/proc/meminfo: memFree=1595968/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=8176 CPUtime=0.69
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 1708 0 0 0 69 0 0 0 22 0 1 0 150468442 8372224 1384 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 2044 1384 306 324 0 1113 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8176

[startup+1.50141 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14055
/proc/meminfo: memFree=1591608/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=8176 CPUtime=1.48
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 1708 0 0 0 148 0 0 0 25 0 1 0 150468442 8372224 1384 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 2044 1384 306 324 0 1113 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8176

[startup+3.10175 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14055
/proc/meminfo: memFree=1591224/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=10432 CPUtime=3.09
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 2344 0 0 0 308 1 0 0 25 0 1 0 150468442 10682368 1948 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 2608 1948 308 324 0 1677 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10432

[startup+6.30143 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14055
/proc/meminfo: memFree=1589048/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=10432 CPUtime=6.28
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 2344 0 0 0 627 1 0 0 25 0 1 0 150468442 10682368 1948 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540889 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 2608 1948 308 324 0 1677 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10432

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14055
/proc/meminfo: memFree=1589056/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=10432 CPUtime=12.68
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 2344 0 0 0 1267 1 0 0 25 0 1 0 150468442 10682368 1948 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 2608 1948 308 324 0 1677 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10432

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14055
/proc/meminfo: memFree=1589184/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=10432 CPUtime=25.47
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 2344 0 0 0 2546 1 0 0 25 0 1 0 150468442 10682368 1948 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134540869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 2608 1948 308 324 0 1677 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 10432

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14055
/proc/meminfo: memFree=1576960/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=22664 CPUtime=51.07
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 5950 0 0 0 5099 8 0 0 25 0 1 0 150468442 23207936 5028 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 5666 5028 313 324 0 4735 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22664

[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14055
/proc/meminfo: memFree=1560640/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=38916 CPUtime=102.25
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 10020 0 0 0 10207 18 0 0 25 0 1 0 150468442 39849984 9098 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 9729 9098 313 324 0 8798 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 38916

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14055
/proc/meminfo: memFree=1530944/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=68512 CPUtime=162.22
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 17426 0 0 0 16183 39 0 0 25 0 1 0 150468442 70156288 16504 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 17128 16504 313 324 0 16197 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 68512

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14055
/proc/meminfo: memFree=1501632/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=97808 CPUtime=222.2
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 24729 0 0 0 22157 63 0 0 25 0 1 0 150468442 100155392 23807 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 24452 23807 313 324 0 23521 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 97808

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14055
/proc/meminfo: memFree=1480448/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=118944 CPUtime=282.18
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 30036 0 0 0 28142 76 0 0 25 0 1 0 150468442 121798656 29114 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 29736 29114 313 324 0 28805 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 118944

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14055
/proc/meminfo: memFree=1464640/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=134732 CPUtime=342.15
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 33965 0 0 0 34127 88 0 0 25 0 1 0 150468442 137965568 33043 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 33683 33043 313 324 0 32752 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 134732

[startup+402.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 14055
/proc/meminfo: memFree=1435456/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=164428 CPUtime=402.13
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 41385 0 0 0 40112 101 0 0 25 0 1 0 150468442 168374272 40463 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 41107 40463 313 324 0 40176 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 164428

[startup+462.302 s]
/proc/loadavg: 1.08 1.03 1.00 2/78 14057
/proc/meminfo: memFree=1391104/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=208196 CPUtime=462.1
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 52328 0 0 0 46098 112 0 0 25 0 1 0 150468442 213192704 51406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 52049 51406 313 324 0 51118 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 208196

[startup+522.302 s]
/proc/loadavg: 1.08 1.03 1.00 2/78 14057
/proc/meminfo: memFree=1360192/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=238936 CPUtime=522.08
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 60034 0 0 0 52086 122 0 0 25 0 1 0 150468442 244670464 59112 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 59734 59112 313 324 0 58803 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 238936

[startup+582.301 s]
/proc/loadavg: 1.08 1.04 1.00 2/78 14057
/proc/meminfo: memFree=1354432/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=244708 CPUtime=582.06
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 61475 0 0 0 58076 130 0 0 25 0 1 0 150468442 250580992 60553 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 61177 60553 313 324 0 60246 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 244708

[startup+642.301 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 14057
/proc/meminfo: memFree=1349376/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=249776 CPUtime=642.03
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 62716 0 0 0 64067 136 0 0 25 0 1 0 150468442 255770624 61794 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 62444 61794 313 324 0 61513 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 249776


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 14057
/proc/meminfo: memFree=1331840/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=267232 CPUtime=821.97
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 67102 0 0 0 82027 170 0 0 25 0 1 0 150468442 273645568 66180 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 66808 66180 313 324 0 65877 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 267232

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14057
/proc/meminfo: memFree=1324352/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=274728 CPUtime=881.94
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 68973 0 0 0 88018 176 0 0 25 0 1 0 150468442 281321472 68051 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 68682 68051 313 324 0 67751 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 274728

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14057
/proc/meminfo: memFree=1317760/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=281292 CPUtime=941.92
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 70621 0 0 0 94006 186 0 0 25 0 1 0 150468442 288043008 69699 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 70323 69699 313 324 0 69392 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 281292

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14057
/proc/meminfo: memFree=1312640/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=286312 CPUtime=1001.89
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 71881 0 0 0 99992 197 0 0 25 0 1 0 150468442 293183488 70959 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 71578 70959 313 324 0 70647 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 286312

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14057
/proc/meminfo: memFree=1306176/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=292888 CPUtime=1061.86
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 73501 0 0 0 105983 203 0 0 25 0 1 0 150468442 299917312 72579 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 73222 72579 313 324 0 72291 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 292888

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14057
/proc/meminfo: memFree=1299840/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=299172 CPUtime=1121.85
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 75090 0 0 0 111975 210 0 0 25 0 1 0 150468442 306352128 74168 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 74793 74168 313 324 0 73862 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 299172

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14057
/proc/meminfo: memFree=1291456/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=307596 CPUtime=1181.82
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 77199 0 0 0 117967 215 0 0 25 0 1 0 150468442 314978304 76277 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 76899 76277 313 324 0 75968 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 307596

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14057
/proc/meminfo: memFree=1276608/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=322400 CPUtime=1241.79
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 80895 0 0 0 123955 224 0 0 25 0 1 0 150468442 330137600 79973 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 80600 79973 313 324 0 79669 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 322400

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14057
/proc/meminfo: memFree=1262336/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=336536 CPUtime=1301.78
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 84430 0 0 0 129948 230 0 0 25 0 1 0 150468442 344612864 83508 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 84134 83508 313 324 0 83203 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 336536

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14057
/proc/meminfo: memFree=1238656/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=360580 CPUtime=1361.75
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 90440 0 0 0 135939 236 0 0 25 0 1 0 150468442 369233920 89518 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 90145 89518 313 324 0 89214 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 360580

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14057
/proc/meminfo: memFree=1212160/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=386872 CPUtime=1421.73
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 97008 0 0 0 141932 241 0 0 25 0 1 0 150468442 396156928 96086 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12310430 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 96718 96086 313 324 0 95787 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 386872

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14057
/proc/meminfo: memFree=1195264/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=403776 CPUtime=1481.7
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 101216 0 0 0 147925 245 0 0 25 0 1 0 150468442 413466624 100294 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 100944 100294 313 324 0 100013 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 403776

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14057
/proc/meminfo: memFree=1174208/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=424688 CPUtime=1541.68
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 106453 0 0 0 153916 252 0 0 25 0 1 0 150468442 434880512 105531 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 106172 105531 313 324 0 105241 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 424688

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14057
/proc/meminfo: memFree=1130816/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=468516 CPUtime=1601.65
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 117430 0 0 0 159907 258 0 0 25 0 1 0 150468442 479760384 116508 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 117129 116508 313 324 0 116198 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 468516

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14057
/proc/meminfo: memFree=1081984/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=516752 CPUtime=1661.63
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 129485 0 0 0 165897 266 0 0 25 0 1 0 150468442 529154048 128563 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 129188 128563 313 324 0 128257 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 516752

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14057
/proc/meminfo: memFree=1049792/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=548952 CPUtime=1721.61
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 137535 0 0 0 171890 271 0 0 25 0 1 0 150468442 562126848 136613 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 137238 136613 313 324 0 136307 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 548952

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 14213
/proc/meminfo: memFree=1012672/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=584412 CPUtime=1781.52
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 146401 0 0 0 177875 277 0 0 25 0 1 0 150468442 598437888 145479 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 146103 145479 313 324 0 145172 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 584412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 3/84 14231
/proc/meminfo: memFree=1002048/2055920 swapFree=4159420/4192956
[pid=14054] ppid=14052 vsize=595104 CPUtime=1800
/proc/14054/stat : 14054 (bsolo3.0.16) R 14052 14054 13060 0 -1 4194304 149071 0 0 0 179721 279 0 0 16 0 1 0 150468442 609386496 148149 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14054/statm: 148776 148149 313 324 0 147845 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 595104

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

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

Child status: 15
Real time (s): 1800.9
CPU time (s): 1800.11
CPU user time (s): 1797.22
CPU system time (s): 2.88656
CPU usage (%): 99.9559
Max. virtual memory (cumulated for all children) (KiB): 595104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.22
system time used= 2.88656
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149072
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 2296

runsolver used 2.11268 second user time and 4.12137 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Thu Apr 19 23:31:46 UTC 2007

IDJOB= 363289
IDBENCH= 1798
IDSOLVER= 163
FILE ID= node13/363289-1177025506

PBS_JOBID= 4630568

Free space on /tmp= 66315 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-swath.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363289-1177025506/instance-363289-1177025506.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-363289-1177025506 -o ROOT/results/node13/solver-363289-1177025506 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363289-1177025506/instance-363289-1177025506.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  9e8d33d54c816a96320e5b2b2d7ec5c8

RANDOM SEED= 35505388

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1596440 kB
Buffers:         37964 kB
Cached:         355100 kB
SwapCached:      12760 kB
Active:          74480 kB
Inactive:       343004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1596440 kB
SwapTotal:     4192956 kB
SwapFree:      4159420 kB
Dirty:            5572 kB
Writeback:           0 kB
Mapped:          31336 kB
Slab:            27416 kB
Committed_AS:  6672668 kB
PageTables:       1876 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66315 MiB

End job on node13 on Fri Apr 20 00:01:49 UTC 2007