Trace number 372799

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
minisat+ 1.14SAT (TO)32 1800.12 1800.93

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_022_area_delay.opb
MD5SUM8e8463c13e61e1a22058cdf603119640
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark273.442
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved YES
Number of variables7926
Total number of constraints23835
Number of constraints which are clauses23835
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3885
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3885
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3885
Number of bits of the biggest sum of numbers12
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 Parsing PB file...
0.69/0.71	c Converting 23218 PB-constraints to clauses...
0.69/0.72	c   -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.69/0.73	c   -- Detecting intervals from adjacent constraints: #########
0.69/0.73	c   -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.69/0.78	c ---[22447]---> BDD-cost:    1
0.69/0.78	c ---[20908]---> BDD-cost:    1
0.69/0.78	c ---[20079]---> BDD-cost:    1
0.69/0.78	c ---[19779]---> BDD-cost:    1
0.69/0.78	c ---[19620]---> BDD-cost:    1
0.69/0.78	c ---[19569]---> BDD-cost:    1
0.69/0.78	c ---[19552]---> BDD-cost:    1
0.69/0.78	c ---[19549]---> BDD-cost:    1
0.69/0.78	c ---[19547]---> BDD-cost:    1
0.69/0.79	c ==================================[MINISAT+]==================================
0.69/0.79	c | Conflicts | Original         | Learnt                           | Progress |
0.69/0.79	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.69/0.79	c ==============================================================================
0.69/0.79	c |         0 |   20676    49734 |    6892       0        0     nan |  0.000 % |
0.69/0.79	c ==============================================================================
0.69/0.79	c Found solution: 37
0.69/0.79	o 37
0.79/0.83	c ---[   0]---> Adder-cost: 6526   maxlim: 3231   bits: 12/12
7.88/7.92	c ==================================[MINISAT+]==================================
7.88/7.92	c | Conflicts | Original         | Learnt                           | Progress |
7.88/7.92	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
7.88/7.92	c ==============================================================================
7.88/7.92	c |        15 |   66270   212542 |   22090      15      143     9.5 |  0.000 % |
7.88/7.93	c |       115 |   66263   212519 |   24299     114      457     4.0 |  8.555 % |
7.98/8.02	c |       265 |   65972   211515 |   26728     227      834     3.7 |  8.929 % |
8.08/8.10	c |       490 |   65936   211391 |   29401     447     1561     3.5 |  8.977 % |
8.28/8.33	c |       827 |   65676   210482 |   32341     745     2747     3.7 |  9.288 % |
8.58/8.67	c |      1333 |   65600   210230 |   35576    1239     4722     3.8 |  9.385 % |
9.08/9.10	c |      2092 |   65584   210178 |   39133    1995    10465     5.2 |  9.406 % |
9.49/9.58	c |      3231 |   65575   210147 |   43047    3131    40586    13.0 |  9.413 % |
10.19/10.26	c |      4939 |   65575   210147 |   47351    4839   141268    29.2 |  9.413 % |
11.08/11.16	c |      7501 |   65575   210147 |   52087    7401   484491    65.5 |  9.413 % |
13.19/13.23	c |     11345 |   65575   210147 |   57295   11245  1035034    92.0 |  9.413 % |
15.68/15.71	c |     17111 |   65575   210147 |   63025   17011  1904446   112.0 |  9.413 % |
21.18/21.26	c |     25760 |   65575   210147 |   69327   25660  3750157   146.1 |  9.413 % |
31.08/31.12	c |     38734 |   65575   210147 |   76260   38634  6023451   155.9 |  9.413 % |
34.08/34.11	c ==============================================================================
34.08/34.11	c Found solution: 36
34.08/34.11	o 36
34.08/34.15	c ---[   0]---> Adder-cost: 0   maxlim: 3232   bits: 12/12
41.17/41.27	c ==================================[MINISAT+]==================================
41.17/41.27	c | Conflicts | Original         | Learnt                           | Progress |
41.17/41.27	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
41.17/41.27	c ==============================================================================
41.17/41.27	c |     42040 |   65590   210201 |   21863   41940  6603005   157.4 |  9.413 % |
41.37/41.42	c |     42141 |   65590   210201 |   24049   16676  2234639   134.0 |  9.416 % |
41.47/41.51	c |     42292 |   65590   210201 |   26454   16827  2239237   133.1 |  9.416 % |
41.57/41.66	c |     42519 |   65590   210201 |   29099   17054  2252424   132.1 |  9.416 % |
41.78/41.85	c |     42856 |   65590   210201 |   32009   17391  2303541   132.5 |  9.416 % |
42.07/42.12	c |     43364 |   65590   210201 |   35210   17899  2390921   133.6 |  9.416 % |
42.47/42.51	c |     44123 |   65590   210201 |   38731   18658  2475462   132.7 |  9.416 % |
43.07/43.16	c |     45262 |   65590   210201 |   42604   19797  2649178   133.8 |  9.416 % |
43.87/43.92	c |     46971 |   65590   210201 |   46865   21506  2844998   132.3 |  9.416 % |
45.47/45.55	c |     49537 |   65590   210201 |   51551   24072  3277321   136.1 |  9.416 % |
48.07/48.12	c |     53381 |   65590   210201 |   56706   27916  3913159   140.2 |  9.416 % |
51.97/52.05	c |     59147 |   65590   210201 |   62377   33682  5035487   149.5 |  9.416 % |
58.96/59.02	c |     67796 |   65590   210201 |   68615   42331  6454710   152.5 |  9.416 % |
74.76/74.88	c |     80770 |   65590   210201 |   75477   55305  9663725   174.7 |  9.416 % |
100.95/101.03	c |    100233 |   65590   210201 |   83024   74768 13924604   186.2 |  9.416 % |
134.63/134.71	c |    129426 |   65590   210201 |   91327   36149  5710721   158.0 |  9.416 % |
204.81/204.93	c |    173215 |   65590   210201 |  100459   79938 14433470   180.6 |  9.416 % |
299.77/299.96	c |    238899 |   65590   210201 |  110505   61349 10073349   164.2 |  9.416 % |
351.45/351.65	c ==============================================================================
351.45/351.65	c Found solution: 35
351.45/351.65	o 35
351.55/351.70	c ---[   0]---> Adder-cost: 0   maxlim: 3233   bits: 12/12
359.05/359.28	c ==================================[MINISAT+]==================================
359.05/359.28	c | Conflicts | Original         | Learnt                           | Progress |
359.05/359.28	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
359.05/359.28	c ==============================================================================
359.05/359.28	c |    267240 |   65517   209952 |   21839   89679 14940393   166.6 |  9.416 % |
359.75/359.91	c |    267340 |   65517   209952 |   24022   17863  2378616   133.2 |  9.512 % |
359.95/360.10	c |    267490 |   65517   209952 |   26425   18013  2379948   132.1 |  9.512 % |
360.05/360.24	c |    267716 |   65517   209952 |   29067   18239  2392974   131.2 |  9.512 % |
360.25/360.40	c |    268053 |   65517   209952 |   31974   18576  2416370   130.1 |  9.512 % |
360.35/360.57	c |    268559 |   65517   209952 |   35171   19082  2438425   127.8 |  9.512 % |
360.95/361.10	c |    269318 |   65517   209952 |   38689   19841  2549558   128.5 |  9.512 % |
361.65/361.90	c |    270457 |   65517   209952 |   42558   20980  2684666   128.0 |  9.512 % |
362.85/363.08	c |    272166 |   65517   209952 |   46813   22689  2906166   128.1 |  9.512 % |
364.55/364.77	c |    274731 |   65517   209952 |   51495   25254  3226704   127.8 |  9.512 % |
367.35/367.58	c |    278577 |   65517   209952 |   56644   29100  3824254   131.4 |  9.512 % |
373.24/373.42	c |    284347 |   65517   209952 |   62309   34870  5013025   143.8 |  9.512 % |
380.14/380.33	c |    292996 |   65517   209952 |   68540   43519  6151181   141.3 |  9.512 % |
396.23/396.42	c |    305970 |   65517   209952 |   75394   56493  8414293   148.9 |  9.512 % |
427.43/427.64	c |    325431 |   65517   209952 |   82933   75954 11484518   151.2 |  9.512 % |
468.71/468.99	c |    354623 |   65517   209952 |   91226   37440  4166026   111.3 |  9.512 % |
565.76/566.18	c |    398416 |   65517   209952 |  100349   81233  9696365   119.4 |  9.512 % |
680.92/681.32	c |    464104 |   65517   209952 |  110384   61357  7817128   127.4 |  9.512 % |
890.03/890.55	c |    562632 |   65517   209952 |  121423   65944  7794753   118.2 |  9.512 % |
1166.53/1167.13	c ==============================================================================
1166.53/1167.13	c Found solution: 32
1166.53/1167.13	o 32
1166.53/1167.18	c ---[   0]---> Adder-cost: 0   maxlim: 3236   bits: 12/12
1174.42/1175.04	c ==================================[MINISAT+]==================================
1174.42/1175.04	c | Conflicts | Original         | Learnt                           | Progress |
1174.42/1175.04	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1174.42/1175.04	c ==============================================================================
1174.42/1175.04	c |    676228 |   65523   209982 |   21841   77006  8970393   116.5 |  9.512 % |
1175.52/1176.13	c |    676330 |   65523   209982 |   24025   21562  1912906    88.7 |  9.524 % |
1175.72/1176.32	c |    676480 |   65523   209982 |   26427   21712  1913762    88.1 |  9.525 % |
1176.02/1176.67	c |    676705 |   65523   209982 |   29070   21937  1914924    87.3 |  9.524 % |
1176.42/1177.04	c |    677042 |   65523   209982 |   31977   22274  1917430    86.1 |  9.524 % |
1176.92/1177.54	c |    677549 |   65523   209982 |   35175   22781  1929551    84.7 |  9.524 % |
1177.52/1178.13	c |    678309 |   65523   209982 |   38692   23541  2002569    85.1 |  9.524 % |
1178.22/1178.88	c |    679448 |   65523   209982 |   42561   24680  2160840    87.6 |  9.524 % |
1179.32/1179.93	c |    681158 |   65523   209982 |   46818   26390  2425023    91.9 |  9.524 % |
1181.22/1181.88	c |    683720 |   65523   209982 |   51499   28952  2935852   101.4 |  9.524 % |
1184.72/1185.32	c |    687566 |   65523   209982 |   56649   32798  3754234   114.5 |  9.524 % |
1190.01/1190.60	c |    693332 |   65523   209982 |   62314   38564  4727786   122.6 |  9.524 % |
1198.71/1199.32	c |    701981 |   65523   209982 |   68546   47213  6045971   128.1 |  9.524 % |
1215.31/1215.95	c |    714956 |   65523   209982 |   75401   60188  8216810   136.5 |  9.524 % |
1249.00/1249.68	c |    734419 |   65523   209982 |   82941   18274  2398612   131.3 |  9.524 % |
1282.78/1283.42	c |    763613 |   65523   209982 |   91235   47468  7043892   148.4 |  9.524 % |
1372.85/1373.58	c |    807402 |   65523   209982 |  100358   91257 14738386   161.5 |  9.524 % |
1494.90/1495.63	c |    873093 |   65523   209982 |  110394   70721 14160731   200.2 |  9.524 % |
1660.73/1661.53	c |    971624 |   65523   209982 |  121434   73634 13525122   183.7 |  9.524 % |
1800.08/1800.90	c 
1800.08/1800.90	c *** TERMINATED ***
1800.08/1800.90	s SATISFIABLE
1800.08/1800.90	v -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 -x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277
1800.08/1800.90	v -x279 x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319
1800.08/1800.90	v -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361
1800.08/1800.90	v -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403
1800.08/1800.90	v -x405 -x407 -x409 x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445
1800.08/1800.90	v -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 -x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487
1800.08/1800.90	v -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529
1800.08/1800.90	v -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567 -x569 -x571
1800.08/1800.90	v -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613
1800.08/1800.90	v -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655
1800.08/1800.90	v -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x691 -x693 -x695
1800.08/1800.90	v -x697 -x699 -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737
1800.08/1800.90	v -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778
1800.08/1800.90	v -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820
1800.08/1800.90	v -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861
1800.08/1800.90	v -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x891 -x893 -x895 -x897 -x899 -x901 -x903
1800.08/1800.90	v -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x938 -x940 -x942 -x944
1800.08/1800.90	v -x946 -x948 -x950 x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986
1800.08/1800.90	v -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022
1800.08/1800.90	v -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056
1800.08/1800.90	v -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090
1800.08/1800.90	v -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124
1800.08/1800.90	v -x1126 x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158
1800.08/1800.90	v -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192
1800.08/1800.90	v -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226
1800.08/1800.90	v -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260
1800.08/1800.90	v -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1289 -x1291 -x1293
1800.08/1800.90	v -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327
1800.08/1800.90	v -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361
1800.08/1800.90	v -x1363 -x1365 -x1367 -x1369 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x1390 -x1392 -x1394
1800.08/1800.90	v -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428
1800.08/1800.90	v -x1430 -x1432 -x1434 x1436 x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464
1800.08/1800.90	v -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498
1800.08/1800.90	v -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1531
1800.08/1800.90	v -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565
1800.08/1800.90	v -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599
1800.08/1800.90	v -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633
1800.08/1800.90	v -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667
1800.08/1800.90	v -x1669 -x1671 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700
1800.08/1800.90	v -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x1732 -x1734
1800.08/1800.90	v -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762 -x1764 -x1766 -x1768
1800.08/1800.90	v -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802
1800.08/1800.90	v -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836
1800.08/1800.90	v -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870
1800.08/1800.90	v -x1872 -x1874 -x1876 -x1878 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1898 -x1900 -x1902
1800.08/1800.90	v -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936
1800.08/1800.90	v -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970
1800.08/1800.90	v -x1972 -x1974 -x1975 -x1977 -x1979 -x1981 -x1982 -x1984 -x1986 -x1988 -x1990 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001
1800.08/1800.90	v -x2003 x2005 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033
1800.08/1800.90	v -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067
1800.08/1800.90	v -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101
1800.08/1800.90	v -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135
1800.08/1800.90	v -x2137 -x2139 x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169
1800.08/1800.90	v -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203
1800.08/1800.90	v -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237
1800.08/1800.90	v -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270
1800.08/1800.90	v -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x2300 -x2302 -x2304
1800.08/1800.90	v -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2337
1800.08/1800.90	v -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371
1800.08/1800.90	v -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405
1800.08/1800.90	v -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439
1800.08/1800.90	v -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473
1800.08/1800.90	v -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2500 -x2502 -x2504 -x2506
1800.08/1800.90	v -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539
1800.08/1800.90	v -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573
1800.08/1800.90	v -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607
1800.08/1800.90	v -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641
1800.08/1800.90	v -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675
1800.08/1800.90	v -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709
1800.08/1800.90	v -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743
1800.08/1800.90	v -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777
1800.08/1800.90	v -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811
1800.08/1800.90	v -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845
1800.08/1800.90	v -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879
1800.08/1800.90	v -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913
1800.08/1800.90	v -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947
1800.08/1800.90	v -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981
1800.08/1800.90	v -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014
1800.08/1800.90	v -x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048
1800.08/1800.90	v -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082
1800.08/1800.90	v -x3084 -x3086 -x3088 -x3090 -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116
1800.08/1800.90	v -x3118 -x3120 -x3122 -x3124 -x3126 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150
1800.08/1800.90	v -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184
1800.08/1800.90	v -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218
1800.08/1800.90	v -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252
1800.08/1800.90	v -x3254 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285
1800.08/1800.90	v -x3287 -x3289 -x3290 -x3292 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317
1800.08/1800.90	v -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351
1800.08/1800.90	v -x3352 -x3354 -x3356 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384
1800.08/1800.90	v -x3386 -x3388 -x3390 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408 -x3410 -x3412 -x3414 -x3416 -x3418
1800.08/1800.90	v -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x3450 -x3452
1800.08/1800.90	v -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x3478 -x3480 -x3482 -x3484 -x3486
1800.08/1800.90	v -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516 -x3518 -x3520
1800.08/1800.90	v -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554
1800.08/1800.90	v -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587
1800.08/1800.90	v -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621
1800.08/1800.90	v -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655
1800.08/1800.90	v -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689
1800.08/1800.90	v -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723
1800.08/1800.90	v x3725 -x3727 -x3729 -x3731 -x3733 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756
1800.08/1800.90	v -x3758 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790
1800.08/1800.90	v -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x3824
1800.08/1800.90	v -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x3850 -x3852 -x3854 -x3856 -x3858
1800.08/1800.90	v -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891
1800.08/1800.90	v -x3892 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924
1800.08/1800.90	v -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x3956 -x3958
1800.08/1800.90	v -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x3985 -x3987 -x3989 -x3991
1800.08/1800.90	v -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025
1800.08/1800.90	v -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059
1800.08/1800.90	v -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093
1800.08/1800.90	v -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127
1800.08/1800.90	v -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161
1800.08/1800.90	v -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4173 -x4175 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193
1800.08/1800.90	v -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227
1800.08/1800.90	v -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261
1800.08/1800.90	v -x4263 -x4265 -x4266 -x4268 -x4270 -x4272 x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 x4288 -x4290 -x4292 -x4294 -x4296
1800.08/1800.90	v -x4298 -x4300 -x4302 -x4304 -x4306 -x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329
1800.08/1800.90	v -x4331 -x4333 -x4335 -x4337 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363
1800.08/1800.90	v -x4365 -x4367 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397
1800.08/1800.90	v -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x4431
1800.08/1800.90	v -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x4461 -x4463 -x4465
1800.08/1800.90	v -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x4491 -x4493 -x4495 -x4497 -x4499
1800.08/1800.90	v -x4501 -x4503 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533
1800.08/1800.90	v -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x4567
1800.08/1800.90	v -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x4597 -x4599 -x4601
1800.08/1800.90	v -x4603 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634
1800.08/1800.90	v -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 -x4664 -x4666 -x4668
1800.08/1800.90	v -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 -x4698 -x4700 -x4702
1800.08/1800.90	v -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735
1800.08/1800.90	v -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x4767 -x4769
1800.08/1800.90	v -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x4797 -x4799 -x4801 -x4803
1800.08/1800.90	v -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x4827 -x4829 -x4831 x4833 -x4835 -x4837
1800.08/1800.90	v -x4839 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x4871
1800.08/1800.90	v -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x4899 -x4901 -x4903 -x4905
1800.08/1800.90	v -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x4933 -x4935 -x4937 -x4939
1800.08/1800.90	v -x4941 -x4943 -x4945 -x4947 -x4949 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972
1800.08/1800.90	v -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006
1800.08/1800.90	v -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040
1800.08/1800.90	v -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5070 -x5072 -x5074
1800.08/1800.90	v -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108
1800.08/1800.90	v -x5110 -x5112 -x5114 -x5116 -x5118 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142
1800.08/1800.90	v -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176
1800.08/1800.90	v -x5178 -x5180 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5207 -x5209
1800.08/1800.90	v -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5226 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242
1800.08/1800.90	v -x5244 x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x5274 -x5276
1800.08/1800.90	v -x5278 -x5280 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310
1800.08/1800.90	v -x5312 -x5314 -x5316 -x5318 -x5320 -x5322 -x5324 -x5325 -x5327 -x5329 -x5331 -x5333 -x5335 -x5337 -x5339 -x5341 x5342
1800.08/1800.90	v -x5344 -x5346 -x5348 -x5350 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x5363 -x5365 -x5367 -x5369 -x5371 -x5373 -x5375
1800.08/1800.90	v -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 -x5397 -x5399 -x5401 -x5403 -x5405 -x5407 -x5409
1800.08/1800.90	v -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x5437 -x5439 -x5441 -x5443
1800.08/1800.90	v -x5445 -x5447 -x5449 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477
1800.08/1800.90	v -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511
1800.08/1800.90	v -x5513 -x5515 -x5517 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x5541 -x5543 -x5545
1800.08/1800.90	v -x5547 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x5573 -x5575 -x5577 -x5579
1800.08/1800.90	v -x5581 -x5583 -x5585 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613
1800.08/1800.90	v -x5615 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x5631 -x5633 -x5635 -x5636 -x5638 -x5640 -x5642 -x5644 -x5646
1800.08/1800.90	v -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x5674 -x5676 -x5678 -x5680
1800.08/1800.90	v -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x5702 -x5704 -x5706 -x5708 -x5710 -x5712 -x5714
1800.08/1800.90	v -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 -x5738 -x5740 -x5742 -x5744 -x5746 -x5748
1800.08/1800.90	v -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x5776 -x5778 -x5780 -x5782
1800.08/1800.90	v -x5784 -x5785 -x5787 -x5789 -x5791 -x5793 -x5795 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813 -x5815
1800.08/1800.90	v -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5843 -x5845 -x5847 -x5849
1800.08/1800.90	v -x5851 -x5853 -x5855 -x5857 -x5859 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x5875 -x5877 -x5879 -x5881 -x5883
1800.08/1800.90	v -x5885 -x5887 -x5889 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909 -x5911 -x5913 -x5915 -x5917
1800.08/1800.90	v -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5950
1800.08/1800.90	v -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x5965 -x5967 -x5969 -x5971 -x5973 -x5975 -x5976 -x5978 -x5980 -x5982
1800.08/1800.90	v -x5984 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000 -x6002 -x6004 -x6006 -x6008 -x6010 -x6011 -x6013 -x6015
1800.08/1800.90	v -x6017 x6019 -x6021 -x6023 -x6024 -x6026 -x6028 -x6030 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x6044 -x6046 -x6048
1800.08/1800.90	v -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6067 -x6069 -x6071 -x6073 -x6075 -x6077 -x6079 -x6081
1800.08/1800.90	v -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109 -x6111 -x6113 -x6114
1800.08/1800.90	v -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x6128 -x6130 -x6132 -x6134 -x6136 -x6138 -x6140 -x6142 -x6144 -x6146 -x6148
1800.08/1800.90	v -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170 x6172 -x6174 -x6176 -x6177 -x6179 -x6181
1800.08/1800.90	v -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205 -x6206 -x6208 -x6210 -x6212 -x6214
1800.08/1800.90	v -x6216 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x6232 -x6234 -x6236 -x6238 -x6240 -x6242 -x6244 -x6246 -x6248
1800.08/1800.90	v -x6250 -x6252 -x6254 -x6256 -x6258 -x6260 -x6262 -x6264 -x6266 -x6268 -x6270 -x6272 -x6273 -x6275 -x6277 -x6279 -x6281
1800.08/1800.90	v -x6283 -x6285 -x6287 -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313 -x6315
1800.08/1800.90	v -x6317 -x6319 -x6321 -x6322 -x6324 -x6326 -x6327 -x6329 -x6331 -x6333 -x6335 -x6337 -x6339 -x6341 -x6343 -x6345 -x6347
1800.08/1800.90	v -x6349 -x6351 -x6353 -x6355 -x6357 -x6359 -x6360 -x6362 -x6364 -x6366 -x6368 -x6370 -x6372 x6374 -x6376 -x6378 -x6380
1800.08/1800.90	v -x6382 -x6384 -x6386 -x6388 -x6390 -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409 -x6411 -x6413
1800.08/1800.90	v x6415 -x6417 -x6419 -x6421 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 -x6435 -x6437 -x6439 -x6441 x6443 -x6445 -x6447 -x6449
1800.08/1800.90	v -x6451 -x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -x6465 -x6467 -x6469 -x6471 -x6473 -x6475 -x6477 -x6479 -x6481 -x6483
1800.08/1800.90	v -x6485 -x6487 -x6489 -x6491 -x6493 -x6495 -x6497 -x6499 -x6501 -x6503 -x6505 -x6507 -x6509 -x6511 -x6513 -x6515 -x6517
1800.08/1800.90	v -x6519 -x6521 -x6523 -x6525 -x6527 -x6529 -x6531 -x6533 -x6535 -x6537 -x6539 -x6541 -x6543 -x6545 -x6547 -x6549 -x6551
1800.08/1800.90	v -x6553 -x6555 -x6557 -x6559 -x6561 -x6563 -x6565 -x6567 -x6569 -x6571 -x6573 -x6575 -x6577 -x6579 -x6581 -x6583 -x6585
1800.08/1800.90	v -x6587 -x6589 -x6591 -x6593 -x6595 -x6597 -x6599 -x6600 -x6602 -x6604 -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 -x6618
1800.08/1800.90	v -x6620 -x6622 -x6624 -x6626 -x6628 -x6630 -x6632 -x6634 -x6636 -x6638 -x6640 -x6642 -x6644 -x6646 -x6648 -x6650 -x6652
1800.08/1800.90	v -x6654 -x6656 -x6658 -x6660 -x6662 -x6664 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x6682 -x6684 -x6686
1800.08/1800.90	v -x6688 -x6690 -x6691 -x6693 -x6695 -x6697 -x6699 -x6701 -x6703 -x6705 -x6707 -x6709 -x6711 -x6713 -x6715 -x6717 -x6719
1800.08/1800.90	v -x6721 -x6723 -x6725 -x6727 -x6729 -x6731 -x6733 -x6735 -x6737 -x6739 -x6741 -x6743 -x6745 -x6747 -x6749 -x6751 -x6753
1800.08/1800.90	v -x6755 -x6757 x6759 -x6761 -x6763 -x6765 -x6767 -x6769 -x6771 -x6773 x6775 -x6777 -x6779 -x6781 -x6783 -x6785 -x6787 -x6789
1800.08/1800.90	v -x6791 -x6793 -x6795 -x6797 -x6799 -x6801 -x6803 -x6805 -x6807 -x6809 -x6811 -x6813 -x6815 -x6817 -x6819 -x6821 -x6823
1800.08/1800.90	v -x6825 -x6827 -x6829 -x6831 -x6833 -x6835 -x6837 -x6839 -x6841 -x6843 -x6845 -x6847 -x6849 -x6851 -x6853 -x6855 -x6857
1800.08/1800.90	v -x6859 -x6861 -x6863 -x6865 -x6867 -x6869 -x6871 -x6873 -x6875 -x6877 -x6879 -x6881 -x6883 -x6885 -x6887 -x6889 -x6891
1800.08/1800.90	v -x6893 -x6895 -x6897 x6899 -x6901 -x6903 -x6905 -x6907 -x6909 -x6911 -x6913 -x6915 -x6917 -x6919 -x6921 -x6923 -x6925
1800.08/1800.90	v -x6927 -x6929 -x6931 -x6933 -x6935 -x6937 -x6939 -x6941 -x6943 -x6945 -x6947 -x6949 -x6951 -x6952 -x6954 -x6956 -x6958
1800.08/1800.90	v -x6960 x6962 -x6964 -x6966 -x6968 -x6970 x6972 -x6974 -x6976 -x6977 -x6979 -x6981 -x6983 -x6985 -x6987 -x6989 -x6991 -x6993
1800.08/1800.90	v -x6995 -x6997 -x6999 -x7001 -x7003 -x7005 -x7007 -x7009 -x7011 -x7013 -x7015 -x7017 -x7019 -x7021 -x7023 -x7025 -x7027
1800.08/1800.90	v -x7029 -x7031 -x7033 -x7035 -x7037 -x7039 -x7041 -x7043 -x7045 -x7047 -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x7061
1800.08/1800.90	v -x7063 -x7065 -x7067 -x7069 -x7071 -x7073 -x7075 -x7077 -x7079 -x7081 -x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095
1800.08/1800.90	v -x7097 -x7099 -x7101 -x7103 -x7104 -x7106 -x7108 -x7110 -x7112 -x7114 -x7116 -x7118 -x7120 -x7122 -x7124 -x7126 -x7128
1800.08/1800.90	v -x7130 -x7132 -x7134 -x7136 -x7138 -x7140 -x7142 -x7144 -x7146 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161
1800.08/1800.90	v -x7163 -x7165 -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7186 -x7188 -x7190 -x7192 x7193
1800.08/1800.90	v -x7195 -x7197 -x7199 -x7201 -x7203 -x7205 -x7207 -x7209 -x7211 -x7213 -x7215 -x7217 -x7219 -x7221 -x7223 -x7225 -x7227
1800.08/1800.90	v -x7229 -x7231 -x7233 -x7235 -x7237 -x7239 -x7241 -x7243 -x7245 -x7247 -x7249 -x7251 -x7253 -x7255 -x7257 -x7259 -x7261
1800.08/1800.90	v -x7263 -x7265 -x7267 -x7269 -x7271 -x7273 -x7275 -x7277 -x7279 -x7281 -x7283 -x7285 -x7287 -x7289 -x7291 -x7293 -x7295
1800.08/1800.90	v -x7297 -x7299 -x7301 -x7303 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 -x7319 -x7321 -x7323 -x7325 -x7327 -x7329
1800.08/1800.90	v -x7331 -x7333 -x7335 -x7337 -x7339 -x7341 -x7343 -x7345 -x7347 -x7349 -x7351 -x7353 -x7355 -x7357 -x7359 -x7361 -x7363
1800.08/1800.90	v -x7365 -x7367 -x7369 -x7371 -x7373 -x7375 -x7377 -x7379 -x7381 -x7383 -x7385 -x7387 -x7389 -x7391 -x7393 -x7395 -x7397
1800.08/1800.90	v -x7399 -x7401 -x7403 -x7405 -x7407 -x7409 -x7411 -x7413 -x7415 -x7417 -x7419 -x7421 -x7423 -x7425 -x7427 -x7429 -x7431
1800.08/1800.90	v -x7433 -x7435 -x7437 -x7439 -x7441 -x7443 -x7445 -x7447 -x7449 -x7451 -x7453 -x7455 -x7457 -x7459 -x7461 -x7463 -x7465
1800.08/1800.90	v -x7467 -x7469 -x7471 -x7473 -x7475 -x7477 -x7479 -x7481 -x7483 -x7485 -x7487 -x7489 -x7491 -x7493 -x7495 -x7497 -x7499
1800.08/1800.90	v -x7501 x7503 -x7505 -x7507 -x7509 -x7511 -x7513 -x7515 -x7517 -x7518 -x7520 -x7522 -x7524 -x7526 -x7528 -x7530 x7531 -x7533
1800.08/1800.90	v -x7535 -x7537 -x7539 -x7541 -x7543 -x7545 -x7547 -x7549 -x7551 -x7553 -x7555 -x7557 -x7559 -x7561 -x7563 -x7565 -x7567
1800.08/1800.90	v -x7569 -x7571 -x7573 -x7575 -x7577 -x7579 -x7581 -x7582 -x7584 -x7586 -x7588 -x7590 -x7592 -x7594 -x7596 -x7598 -x7600
1800.08/1800.90	v -x7602 -x7604 -x7606 -x7608 -x7610 -x7612 -x7614 -x7616 -x7618 -x7620 -x7622 -x7624 -x7626 -x7628 -x7630 -x7632 -x7634
1800.08/1800.90	v -x7636 -x7638 -x7640 -x7642 -x7644 -x7646 -x7648 -x7650 -x7652 -x7654 -x7655 -x7657 x7659 -x7661 -x7663 -x7665 -x7667
1800.08/1800.90	v -x7669 -x7671 -x7673 -x7675 -x7677 -x7679 -x7681 -x7683 -x7685 -x7687 -x7689 -x7691 -x7693 -x7695 -x7697 -x7699 -x7701
1800.08/1800.90	v -x7703 -x7705 -x7707 -x7709 -x7711 -x7713 -x7715 -x7717 -x7719 -x7721 -x7723 -x7725 -x7727 -x7729 -x7731 -x7733 -x7735
1800.08/1800.90	v -x7737 -x7739 -x7741 -x7743 -x7745 -x7747 -x7749 -x7751 -x7753 -x7755 -x7757 -x7759 -x7761 -x7763 -x7765 -x7767 -x7769
1800.08/1800.90	v -x7771 -x7773 -x7775 -x7777 -x7779 -x7781 -x7783 -x7785 -x7787 -x7789 -x7791 -x7793 -x7794 -x7796 -x7798 -x7800 -x7802
1800.08/1800.90	v -x7804 -x7806 -x7808 -x7810 -x7812 x7813 -x7815 x7817 -x7819 -x7821 -x7823 -x7825 -x7827 -x7829 -x7831 -x7833 -x7835 -x7837
1800.08/1800.90	v -x7839 -x7841 -x7843 -x7844 -x7846 -x7848 -x7850 -x7852 -x7854 -x7856 -x7858 -x7860 -x7862 -x7864 -x7866 -x7868 -x7870
1800.08/1800.90	v -x7872 -x7874 -x7875 -x7877 -x7879 -x7881 -x7883 -x7885 -x7887 -x7889 -x7891 -x7893 -x7895 -x7896 -x7898 -x7900 -x7901
1800.08/1800.90	v -x7903 -x7905 -x7907 -x7909 -x7911 -x7913 -x7915 -x7917 -x7919 -x7920 -x7922 x7924 -x7925 x7926 -x236 -x238 -x240 -x242
1800.08/1800.90	v -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 x280 -x282 -x284
1800.08/1800.90	v -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326
1800.08/1800.90	v -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368
1800.08/1800.90	v -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 x410
1800.08/1800.90	v -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x1 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450
1800.08/1800.90	v -x452 -x454 -x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x486 -x2 -x488 -x490
1800.08/1800.90	v -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532
1800.08/1800.90	v -x534 -x536 -x538 -x540 -x542 -x544 -x546 -x548 -x3 -x550 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572
1800.08/1800.90	v -x574 -x576 -x578 -x4 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x5 -x610
1800.08/1800.90	v -x612 -x614 -x616 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652
1800.08/1800.90	v -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x6 -x672 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x692 -x694
1800.08/1800.90	v -x696 -x698 -x7 -x700 -x702 -x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x8 -x730 -x732
1800.08/1800.90	v -x734 -x736 -x739 -x741 -x9 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x10
1800.08/1800.90	v -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813
1800.08/1800.90	v -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x11 -x835 -x837 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854
1800.08/1800.90	v -x856 -x858 -x860 -x862 -x12 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x13
1800.08/1800.90	v -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x14 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x15 -x922 -x924 -x926 -x928 -x930
1800.08/1800.90	v -x932 -x934 -x936 -x939 -x941 -x943 -x945 -x947 -x949 x951 -x953 -x955 -x957 -x959 -x961 -x963 -x16 -x965 -x967 -x969 -x971
1800.08/1800.90	v -x973 -x975 -x977 -x17 -x979 -x981 -x983 -x18 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007
1800.08/1800.90	v -x1009 -x1011 -x1013 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041
1800.08/1800.90	v -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075
1800.08/1800.90	v -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109
1800.08/1800.90	v -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x19 -x1141 -x1143
1800.08/1800.90	v -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177
1800.08/1800.90	v -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x20 -x1203 -x1205 -x1207 -x1209 -x1211
1800.08/1800.90	v -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245
1800.08/1800.90	v -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x21 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279
1800.08/1800.90	v -x1281 -x1283 -x1285 -x1287 -x1290 -x1292 -x22 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314
1800.08/1800.90	v -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348
1800.08/1800.90	v -x1350 -x1352 -x1354 -x23 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383
1800.08/1800.90	v -x24 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x25 -x1415
1800.08/1800.90	v -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449
1800.08/1800.90	v -x1451 -x1453 -x1455 -x1457 -x26 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x27 -x1473 -x1475 -x1477 -x1479 -x1481
1800.08/1800.90	v -x1483 -x1485 -x28 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515
1800.08/1800.90	v -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x29 -x1548 -x1550
1800.08/1800.90	v -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x30 -x1578 -x1580 -x1582 -x1584
1800.08/1800.90	v -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x31 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618
1800.08/1800.90	v -x1620 -x32 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x33
1800.08/1800.90	v -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x34 -x1666 -x1668 -x1670 -x1673 -x1675 -x1677 -x35 -x1679 -x1681 -x1683
1800.08/1800.90	v -x36 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x37 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715
1800.08/1800.90	v -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749
1800.08/1800.90	v -x1751 -x1753 -x1755 -x1757 -x1759 -x38 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783
1800.08/1800.90	v -x1785 -x1787 -x1789 -x39 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817
1800.08/1800.90	v -x1819 -x40 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x41 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849
1800.08/1800.90	v -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x42 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x43 -x1877 -x1880 -x1882
1800.08/1800.90	v -x1884 -x1886 -x1888 -x44 -x1890 -x1892 -x1894 -x45 -x1896 -x1899 -x1901 -x1903 -x1905 -x1907 -x46 -x1909 -x1911 -x1913
1800.08/1800.90	v -x47 -x1915 -x1917 -x1919 -x48 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945
1800.08/1800.90	v -x1947 -x1949 -x49 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x50 -x1965 -x1967 -x1969 -x1971 -x1973 -x1976 -x51
1800.08/1800.90	v -x1978 -x1980 -x52 -x1983 -x1985 -x1987 -x1989 -x1992 -x1994 -x53 -x1996 -x1998 -x2000 -x2002 x2004 -x54 -x2007 -x2009
1800.08/1800.90	v -x2011 -x2013 -x2015 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044
1800.08/1800.90	v -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078
1800.08/1800.90	v -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112
1800.08/1800.90	v -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 x2140 -x2142 -x2144 -x2146
1800.08/1800.90	v -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180
1800.08/1800.90	v -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214
1800.08/1800.90	v -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248
1800.08/1800.90	v -x2250 -x2252 -x2254 -x2257 -x2259 -x55 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283
1800.08/1800.90	v -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317
1800.08/1800.90	v -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352
1800.08/1800.90	v -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x56 -x2386
1800.08/1800.90	v -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420
1800.08/1800.90	v -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x2448 -x2450 -x2452 -x2454
1800.08/1800.90	v -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488
1800.08/1800.90	v -x2490 -x2492 -x2494 -x2496 -x2498 -x2501 -x2503 -x2505 -x2507 -x2509 -x57 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2524
1800.08/1800.90	v -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558
1800.08/1800.90	v -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x58 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592
1800.08/1800.90	v -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626
1800.08/1800.90	v -x2628 -x2630 -x2632 -x2634 -x2636 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660
1800.08/1800.90	v -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694
1800.08/1800.90	v -x2696 -x59 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728
1800.08/1800.90	v -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x60 -x2760 -x2762
1800.08/1800.90	v -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x2792 -x2794 -x2796
1800.08/1800.90	v -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x61 -x2822 -x2824 -x2826 -x2828 -x2830
1800.08/1800.90	v -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x62 -x2852 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864
1800.08/1800.90	v -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898
1800.08/1800.90	v -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x2928 -x2930 -x2932
1800.08/1800.90	v -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966
1800.08/1800.90	v -x2968 -x2970 -x2972 -x2974 -x2976 -x63 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3001
1800.08/1800.90	v -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035
1800.08/1800.90	v -x3037 -x64 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069
1800.08/1800.90	v -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x65 -x3101 -x3103
1800.08/1800.90	v -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x66 -x3131 -x3133 -x3135 -x3137
1800.08/1800.90	v -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171
1800.08/1800.90	v -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x67 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205
1800.08/1800.90	v -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239
1800.08/1800.90	v -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x68 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274
1800.08/1800.90	v -x3276 -x3278 -x3280 -x3282 -x69 -x3284 -x3286 -x3288 -x3291 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x3308 -x3310
1800.08/1800.90	v -x70 -x3312 -x3314 -x3316 -x3318 -x3320 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x71 -x3342
1800.08/1800.90	v -x3344 -x3346 -x3348 -x3350 -x3353 -x72 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377
1800.08/1800.90	v -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411
1800.08/1800.90	v -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445
1800.08/1800.90	v -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479
1800.08/1800.90	v -x73 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513
1800.08/1800.90	v -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x74 -x3543 -x3545 -x3547
1800.08/1800.90	v -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3578 -x3580 -x3582
1800.08/1800.90	v -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x75 -x3604 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616
1800.08/1800.90	v -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x76 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650
1800.08/1800.90	v -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684
1800.08/1800.90	v -x3686 -x3688 -x3690 -x3692 -x3694 -x77 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718
1800.08/1800.90	v -x3720 -x3722 x3724 -x3726 -x3728 -x3730 -x3732 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753
1800.08/1800.90	v -x78 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x79 -x3785
1800.08/1800.90	v -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x80 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819
1800.08/1800.90	v -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853
1800.08/1800.90	v -x3855 -x3857 -x3859 -x81 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3874 -x3876 -x3878 -x3880 -x3882 -x3884 -x3886 -x3888
1800.08/1800.90	v -x82 -x3890 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x83 -x3919 -x3921
1800.08/1800.90	v -x3923 -x3925 -x3927 -x3929 -x3931 -x84 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955
1800.08/1800.90	v -x3957 -x3959 -x3961 -x85 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3986 -x3988 -x3990
1800.08/1800.90	v -x86 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x87 -x4006 -x4008 -x4010 -x4012 -x4014 -x4016 -x4018 -x88 -x4020
1800.08/1800.90	v -x4022 -x4024 -x4026 -x4028 -x4030 -x4032 -x89 -x4034 -x4036 -x4038 -x90 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052
1800.08/1800.90	v -x4054 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x4084 -x4086
1800.08/1800.90	v -x4088 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120
1800.08/1800.90	v -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154
1800.08/1800.90	v -x4156 -x4158 -x4160 -x4163 -x91 -x4165 -x4167 -x4169 -x4171 -x4174 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190
1800.08/1800.90	v -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224
1800.08/1800.90	v -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258
1800.08/1800.90	v -x4260 -x4262 -x4264 -x4267 -x4269 -x4271 x4273 -x4275 -x4277 -x4279 -x4281 -x4283 -x4285 x4287 -x4289 -x4291 -x4293 -x4295
1800.08/1800.90	v -x4297 -x4299 -x4301 -x4303 -x4305 -x4308 -x4310 -x4312 -x4314 -x92 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330
1800.08/1800.90	v -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364
1800.08/1800.90	v -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x93 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398
1800.08/1800.90	v -x4400 -x4402 -x4404 -x4406 -x94 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432
1800.08/1800.90	v -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466
1800.08/1800.90	v -x4468 -x95 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x96
1800.08/1800.90	v -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x97 -x4530 -x4532
1800.08/1800.90	v -x4534 -x4536 -x4538 -x4540 -x4542 -x98 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566
1800.08/1800.90	v -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600
1800.08/1800.90	v -x4602 -x99 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x4627 -x4629 -x4631 -x4633 -x100
1800.08/1800.90	v -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 -x4663 -x101 -x4665
1800.08/1800.90	v -x4667 -x4669 -x4671 -x4673 -x4675 -x4677 -x102 -x4679 -x4681 -x4683 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 -x4697
1800.08/1800.90	v -x4699 -x4701 -x4703 -x4705 -x4707 -x103 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4724 -x4726 -x4728 -x4730
1800.08/1800.90	v -x4732 -x4734 -x4736 -x104 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x105 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762
1800.08/1800.90	v -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x106 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794
1800.08/1800.90	v -x107 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x108 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826
1800.08/1800.90	v -x4828 -x4830 x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860
1800.08/1800.90	v -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x109 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892
1800.08/1800.90	v -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926
1800.08/1800.90	v -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x110 -x4940 -x4942 -x4944 -x4946 -x4948 -x4951 -x4953 -x4955 -x4957 -x4959
1800.08/1800.90	v -x4961 -x4963 -x4965 -x4967 -x111 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x4981 -x4983 -x4985 -x4987 -x4989 -x4991
1800.08/1800.90	v -x4993 -x4995 -x4997 -x112 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023
1800.08/1800.90	v -x5025 -x5027 -x113 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x114 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055
1800.08/1800.90	v -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 -x5069 -x5071 -x115 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087
1800.08/1800.90	v -x5089 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 -x116 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x117 -x5117 -x5119
1800.08/1800.90	v -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x118 -x5147 -x5149 -x5151
1800.08/1800.90	v -x5153 -x5155 -x5157 -x5159 -x119 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x120 -x5175 -x5177 -x5179 -x121 -x5181
1800.08/1800.90	v -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5205 -x5208 -x122 -x5210 -x5212 -x5214
1800.08/1800.90	v -x5216 -x5218 -x5220 -x5222 -x5224 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 x5245 -x5247 -x5249
1800.08/1800.90	v -x5251 -x123 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x124 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x125
1800.08/1800.90	v -x5281 -x5283 -x126 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x127 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311
1800.08/1800.90	v -x128 -x5313 -x5315 -x5317 -x129 -x5319 -x5321 -x5323 -x5326 -x5328 -x5330 -x130 -x5332 -x5334 -x5336 -x131 -x5338 -x5340
1800.08/1800.90	v x132 -x5343 -x133 -x5345 -x5347 -x5349 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374
1800.08/1800.90	v -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 -x5398 -x5400 -x5402 -x5404 -x5406 -x5408
1800.08/1800.90	v -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442
1800.08/1800.90	v -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x134 -x5470 -x5472 -x5474
1800.08/1800.90	v -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508
1800.08/1800.90	v -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 -x5540 -x5542
1800.08/1800.90	v -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 -x5568 -x5570 -x5572 -x5574 -x5576
1800.08/1800.90	v -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 -x5592 -x5594 -x135 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608
1800.08/1800.90	v -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -x5637 -x5639 -x5641 -x5643
1800.08/1800.90	v -x5645 -x5647 -x5649 -x5651 -x5653 -x5655 -x136 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675
1800.08/1800.90	v -x5677 -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705 -x5707 -x5709
1800.08/1800.90	v -x5711 -x5713 -x5715 -x5717 -x137 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x5737 -x5739 -x5741
1800.08/1800.90	v -x5743 -x5745 -x5747 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x5773 -x5775
1800.08/1800.90	v -x5777 -x5779 -x138 -x5781 -x5783 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806 -x5808
1800.08/1800.90	v -x139 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840
1800.08/1800.90	v -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 -x140 -x5872
1800.08/1800.90	v -x5874 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906
1800.08/1800.90	v -x5908 -x5910 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x141 -x5934 -x5936 -x5938
1800.08/1800.90	v -x5940 -x5942 -x5944 -x5946 -x5948 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x142 -x5963 -x5966 -x5968 -x5970 -x5972
1800.08/1800.90	v -x5974 -x5977 -x5979 -x5981 -x5983 -x5985 -x5987 -x5989 -x143 -x5991 -x5993 -x5995 -x5997 -x5999 -x6001 -x6003 -x6005
1800.08/1800.90	v -x6007 -x6009 -x6012 -x6014 -x6016 x6018 x144 -x6020 -x6022 -x6025 -x6027 -x6029 -x6031 -x145 -x6033 -x6035 -x6037 -x6039
1800.08/1800.90	v -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6068 -x6070 -x6072 -x6074
1800.08/1800.90	v -x6076 -x6078 -x6080 -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x146 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106
1800.08/1800.90	v -x6108 -x6110 -x6112 -x6115 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x6129 -x6131 -x6133 -x6135 -x6137 -x6139 -x6141
1800.08/1800.90	v -x6143 -x6145 -x6147 -x6149 -x6151 -x6153 -x6155 -x6157 -x6159 -x6161 -x6163 -x6165 -x6167 -x6169 x6171 -x6173 -x6175
1800.08/1800.90	v -x6178 -x6180 -x147 -x6182 -x6184 -x6186 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x6204 -x6207 -x6209
1800.08/1800.90	v -x148 -x6211 -x6213 -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 -x149 -x6241
1800.08/1800.90	v -x6243 -x6245 -x6247 -x6249 -x6251 -x6253 -x150 -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -x6274
1800.08/1800.90	v -x6276 -x6278 -x6280 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x6296 -x6298 -x6300 -x6302 -x6304 -x6306 -x6308
1800.08/1800.90	v -x6310 -x6312 -x6314 -x151 -x6316 -x6318 -x6320 -x6323 -x6325 -x6328 -x6330 -x6332 -x6334 -x6336 -x6338 -x6340 -x6342
1800.08/1800.90	v -x152 -x6344 -x6346 -x6348 -x6350 -x6352 -x6354 -x6356 -x6358 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371 x6373 -x6375 -x6377
1800.08/1800.90	v -x6379 -x6381 -x6383 -x6385 -x153 -x6387 -x6389 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 -x6404 -x6406 -x6408 -x6410
1800.08/1800.90	v -x6412 x6414 -x6416 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x154 -x6430 -x6432 -x6434 -x6436 -x6438 -x6440 x6442 x155
1800.08/1800.90	v -x6444 -x6446 -x6448 -x156 -x6450 -x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6464 -x6466 -x6468 -x6470 -x6472 -x6474
1800.08/1800.90	v -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x6496 -x6498 -x6500 -x6502 -x6504 -x6506 -x6508
1800.08/1800.90	v -x157 -x6510 -x6512 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532 -x6534 -x6536 -x6538 -x6540
1800.08/1800.90	v -x6542 -x6544 -x6546 -x6548 -x6550 -x6552 -x6554 -x6556 -x6558 -x6560 -x6562 -x6564 -x6566 -x6568 -x6570 -x158 -x6572
1800.08/1800.90	v -x6574 -x6576 -x6578 -x6580 -x6582 -x6584 -x6586 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 -x159 -x6601 -x6603 -x6605
1800.08/1800.90	v -x6607 -x6609 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 -x6623 -x6625 -x6627 -x6629 -x160 -x6631 -x6633 -x6635 -x6637
1800.08/1800.90	v -x6639 -x6641 -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 -x6657 -x6659 -x161 -x6661 -x6663 -x6665 -x6667 -x6669
1800.08/1800.90	v -x6671 -x6673 -x162 -x6675 -x6677 -x6679 -x6681 -x6683 -x6685 -x6687 -x6689 -x6692 -x6694 -x6696 -x6698 -x6700 -x6702
1800.08/1800.90	v -x163 -x6704 -x6706 -x6708 -x6710 -x6712 -x6714 -x6716 -x6718 -x6720 -x6722 -x6724 -x6726 -x6728 -x6730 -x6732 -x164 -x6734
1800.08/1800.90	v -x6736 -x6738 -x6740 -x6742 -x6744 -x6746 -x6748 -x6750 -x6752 -x6754 -x6756 x6758 -x6760 -x165 -x6762 -x6764 -x6766 -x6768
1800.08/1800.90	v -x6770 -x6772 x6774 x166 -x6776 -x6778 -x6780 -x167 -x6782 -x6784 -x6786 -x6788 -x6790 -x6792 -x6794 -x6796 -x6798 -x6800
1800.08/1800.90	v -x6802 -x6804 -x6806 -x6808 -x6810 -x168 -x6812 -x6814 -x6816 -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x6830 -x6832
1800.08/1800.90	v -x6834 -x6836 -x6838 -x6840 -x169 -x6842 -x6844 -x6846 -x6848 -x6850 -x6852 -x6854 -x170 -x6856 -x6858 -x6860 -x6862 -x6864
1800.08/1800.90	v -x6866 -x6868 -x171 -x6870 -x6872 -x6874 -x6876 -x6878 -x6880 -x6882 -x172 -x6884 -x6886 -x6888 -x6890 -x6892 -x6894 -x6896
1800.08/1800.90	v x6898 -x6900 -x6902 -x6904 -x6906 -x6908 -x6910 -x6912 -x6914 -x6916 -x6918 -x173 -x6920 -x6922 -x6924 -x6926 -x6928 -x6930
1800.08/1800.90	v -x6932 -x174 -x6934 -x6936 -x6938 -x6940 -x6942 -x6944 -x6946 -x175 -x6948 -x6950 x176 -x6953 -x6955 -x6957 -x6959 x6961
1800.08/1800.90	v -x6963 -x6965 -x177 -x6967 -x6969 x6971 x178 -x6973 -x6975 -x179 -x6978 -x180 -x6980 -x6982 -x6984 -x6986 -x6988 -x6990
1800.08/1800.90	v -x6992 -x6994 -x6996 -x6998 -x7000 -x7002 -x7004 -x7006 -x7008 -x7010 -x7012 -x7014 -x7016 -x7018 -x7020 -x7022 -x7024
1800.08/1800.90	v -x7026 -x7028 -x7030 -x7032 -x7034 -x7036 -x7038 -x7040 -x181 -x7042 -x7044 -x7046 -x7048 -x7050 -x7052 -x7054 -x7056
1800.08/1800.90	v -x7058 -x7060 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x7074 -x7076 -x7078 -x7080 -x7082 -x7084 -x7086 -x7088 -x7090
1800.08/1800.90	v -x7092 -x7094 -x7096 -x7098 -x7100 -x7102 -x182 -x7105 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x7119 -x7121 -x7123
1800.08/1800.90	v -x7125 -x7127 -x7129 -x7131 -x183 -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7148 -x7150 -x7152 -x7154 -x7156
1800.08/1800.90	v -x7158 -x7160 -x184 -x7162 -x7164 -x7166 -x7168 -x7170 -x7172 -x7174 -x7176 -x7178 -x7180 -x7182 -x7184 -x7187 -x7189
1800.08/1800.90	v -x7191 -x7194 -x7196 -x7198 -x7200 -x7202 -x185 -x7204 -x7206 -x7208 -x7210 -x7212 -x7214 -x7216 -x7218 -x7220 -x7222
1800.08/1800.90	v -x7224 -x7226 -x7228 -x7230 -x7232 -x186 -x7234 -x7236 -x7238 -x7240 -x7242 -x7244 -x7246 -x7248 -x7250 -x7252 -x7254
1800.08/1800.90	v -x7256 -x7258 -x7260 -x7262 -x187 -x7264 -x7266 -x7268 -x7270 -x7272 -x7274 -x7276 -x188 -x7278 -x7280 -x7282 -x7284 -x7286
1800.08/1800.90	v -x7288 -x7290 -x7292 -x7294 -x7296 -x7298 -x7300 -x7302 -x7304 -x7306 -x189 -x7308 -x7310 -x7312 -x7314 -x7316 -x7318
1800.08/1800.90	v -x7320 -x190 -x7322 -x7324 -x7326 -x7328 -x7330 -x7332 -x7334 -x191 -x7336 -x7338 -x7340 -x192 -x7342 -x7344 -x7346 -x7348
1800.08/1800.90	v -x7350 -x7352 -x7354 -x7356 -x7358 -x7360 -x7362 -x7364 -x7366 -x7368 -x193 -x7370 -x7372 -x7374 -x7376 -x7378 -x7380
1800.08/1800.90	v -x7382 -x7384 -x7386 -x7388 -x7390 -x7392 -x7394 -x7396 -x7398 -x194 -x7400 -x7402 -x7404 -x7406 -x7408 -x7410 -x7412
1800.08/1800.90	v -x195 -x7414 -x7416 -x7418 -x7420 -x7422 -x7424 -x196 -x7426 -x7428 -x7430 -x7432 -x7434 -x7436 -x7438 -x197 -x7440 -x7442
1800.08/1800.90	v -x7444 -x198 -x7446 -x7448 -x7450 -x7452 -x7454 -x7456 -x7458 -x7460 -x7462 -x7464 -x7466 -x7468 -x7470 -x7472 -x7474
1800.08/1800.90	v -x199 -x7476 -x7478 -x7480 -x7482 -x7484 -x7486 -x7488 -x200 -x7490 -x7492 -x7494 -x7496 -x7498 -x7500 x7502 x201 -x7504
1800.08/1800.90	v -x7506 -x202 -x7508 -x7510 -x7512 -x7514 -x7516 -x7519 -x203 -x7521 -x7523 -x7525 -x204 -x7527 -x7529 x205 -x7532 -x206
1800.08/1800.90	v -x7534 -x7536 -x7538 -x7540 -x7542 -x7544 -x7546 -x7548 -x7550 -x7552 -x7554 -x7556 -x7558 -x7560 -x7562 -x7564 -x7566
1800.08/1800.90	v -x7568 -x7570 -x7572 -x7574 -x7576 -x7578 -x7580 -x7583 -x7585 -x7587 -x207 -x7589 -x7591 -x7593 -x7595 -x7597 -x7599
1800.08/1800.90	v -x7601 -x7603 -x7605 -x7607 -x7609 -x7611 -x7613 -x7615 -x7617 -x208 -x7619 -x7621 -x7623 -x7625 -x7627 -x7629 -x7631
1800.08/1800.90	v -x7633 -x7635 -x7637 -x7639 -x7641 -x7643 -x7645 -x7647 x209 -x7649 -x7651 -x7653 -x7656 x7658 -x7660 -x210 -x7662 -x7664
1800.08/1800.90	v -x7666 -x7668 -x7670 -x7672 -x7674 -x7676 -x7678 -x7680 -x7682 -x7684 -x7686 -x7688 -x7690 -x211 -x7692 -x7694 -x7696
1800.08/1800.90	v -x7698 -x7700 -x7702 -x7704 -x212 -x7706 -x7708 -x7710 -x7712 -x7714 -x7716 -x7718 -x213 -x7720 -x7722 -x7724 -x214 -x7726
1800.08/1800.90	v -x7728 -x7730 -x7732 -x7734 -x7736 -x7738 -x7740 -x7742 -x7744 -x7746 -x7748 -x7750 -x7752 -x7754 -x215 -x7756 -x7758
1800.08/1800.90	v -x7760 -x7762 -x7764 -x7766 -x7768 -x216 -x7770 -x7772 -x7774 -x7776 -x7778 -x7780 -x7782 -x217 -x7784 -x7786 -x7788 -x218
1800.08/1800.90	v -x7790 -x7792 -x7795 -x7797 -x7799 -x7801 -x219 -x7803 -x7805 -x7807 -x220 -x7809 -x7811 x221 -x7814 -x222 -x7816 -x7818
1800.08/1800.90	v -x7820 -x7822 -x7824 -x7826 -x7828 -x7830 -x7832 -x7834 -x7836 -x7838 -x7840 -x223 -x7842 -x7845 -x7847 -x7849 -x7851
1800.08/1800.90	v -x7853 -x224 -x7855 -x7857 -x7859 -x7861 -x7863 -x7865 -x7867 -x225 -x7869 -x7871 -x7873 -x226 -x7876 -x7878 -x7880 -x7882
1800.08/1800.90	v -x7884 -x7886 -x227 -x7888 -x7890 -x228 -x7892 -x7894 -x229 -x7897 -x230 -x7899 -x7902 -x7904 -x7906 -x7908 -x231 -x7910
1800.08/1800.90	v -x7912 -x7914 -x232 -x7916 -x7918 -x233 -x7921 x7923 -x234 x235

Verifier Data (download as text)

OK	32

Conversion Script Data (download as text)

/tmp/evaluation/372799-1177134765/instance-372799-1177134765.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node40/watcher-372799-1177134765 -o ROOT/results/node40/solver-372799-1177134765 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372799-1177134765/minisat+ /tmp/evaluation/372799-1177134765/instance-372799-1177134765.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21615
/proc/meminfo: memFree=1753192/2055920 swapFree=4120544/4192956
[pid=21615] ppid=21613 vsize=1352 CPUtime=0
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 188 0 0 0 0 0 0 0 18 0 1 0 42356043 1384448 173 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134569953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 338 173 67 215 0 120 0

[startup+0.0878521 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21615
/proc/meminfo: memFree=1753192/2055920 swapFree=4120544/4192956
[pid=21615] ppid=21613 vsize=2656 CPUtime=0.08
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 501 0 0 0 8 0 0 0 18 0 1 0 42356043 2719744 486 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 664 486 74 215 0 446 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2656

[startup+0.101855 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21615
/proc/meminfo: memFree=1753192/2055920 swapFree=4120544/4192956
[pid=21615] ppid=21613 vsize=2788 CPUtime=0.09
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 542 0 0 0 9 0 0 0 18 0 1 0 42356043 2854912 527 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 697 527 74 215 0 479 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2788

[startup+0.301897 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21615
/proc/meminfo: memFree=1753192/2055920 swapFree=4120544/4192956
[pid=21615] ppid=21613 vsize=4632 CPUtime=0.29
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 980 0 0 0 29 0 0 0 19 0 1 0 42356043 4743168 965 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 1158 965 74 215 0 940 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4632

[startup+0.701981 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 21615
/proc/meminfo: memFree=1753192/2055920 swapFree=4120544/4192956
[pid=21615] ppid=21613 vsize=7728 CPUtime=0.69
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 1776 0 0 0 69 0 0 0 23 0 1 0 42356043 7913472 1761 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 1932 1761 75 215 0 1714 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7728

[startup+1.50115 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 21616
/proc/meminfo: memFree=1744224/2055920 swapFree=4120544/4192956
[pid=21615] ppid=21613 vsize=9956 CPUtime=1.48
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 2390 0 0 0 145 3 0 0 22 0 1 0 42356043 10194944 2328 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134530481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 2489 2328 104 215 0 2271 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9956

[startup+3.10248 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 21616
/proc/meminfo: memFree=1743968/2055920 swapFree=4120544/4192956
[pid=21615] ppid=21613 vsize=10108 CPUtime=3.09
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 2421 0 0 0 306 3 0 0 25 0 1 0 42356043 10350592 2359 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134648473 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 2527 2359 104 215 0 2309 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10108

[startup+6.30115 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 21616
/proc/meminfo: memFree=1743584/2055920 swapFree=4120544/4192956
[pid=21615] ppid=21613 vsize=10396 CPUtime=6.28
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 2510 0 0 0 625 3 0 0 25 0 1 0 42356043 10645504 2448 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134530490 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 2599 2448 104 215 0 2381 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10396

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 21616
/proc/meminfo: memFree=1731744/2055920 swapFree=4120544/4192956
[pid=21615] ppid=21613 vsize=24312 CPUtime=12.69
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 6404 0 0 0 1263 6 0 0 25 0 1 0 42356043 24895488 5621 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134579520 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 6078 5621 123 215 0 5860 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24312

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 21616
/proc/meminfo: memFree=1714592/2055920 swapFree=4120544/4192956
[pid=21615] ppid=21613 vsize=40772 CPUtime=25.48
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 10502 0 0 0 2540 8 0 0 25 0 1 0 42356043 41750528 9719 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 10193 9719 123 215 0 9975 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40772

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 21616
/proc/meminfo: memFree=1705952/2055920 swapFree=4120544/4192956
[pid=21615] ppid=21613 vsize=49168 CPUtime=51.07
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 12866 0 0 0 5098 9 0 0 25 0 1 0 42356043 50348032 11817 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 12292 11817 123 215 0 12074 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49168

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 21616
/proc/meminfo: memFree=1674592/2055920 swapFree=4120608/4192956
[pid=21615] ppid=21613 vsize=80564 CPUtime=102.25
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 20706 0 0 0 10207 18 0 0 25 0 1 0 42356043 82497536 19657 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 20141 19657 123 215 0 19923 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 80564

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21616
/proc/meminfo: memFree=1668384/2055920 swapFree=4120608/4192956
[pid=21615] ppid=21613 vsize=86624 CPUtime=162.22
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 22228 0 0 0 16202 20 0 0 25 0 1 0 42356043 88702976 21179 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134579770 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 21656 21179 123 215 0 21438 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 86624

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21616
/proc/meminfo: memFree=1664736/2055920 swapFree=4120608/4192956
[pid=21615] ppid=21613 vsize=90312 CPUtime=222.21
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 23178 0 0 0 22199 22 0 0 25 0 1 0 42356043 92479488 22129 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581436 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 22578 22129 123 215 0 22360 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 90312

[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21616
/proc/meminfo: memFree=1655840/2055920 swapFree=4120672/4192956
[pid=21615] ppid=21613 vsize=99168 CPUtime=282.18
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25351 0 0 0 28194 24 0 0 25 0 1 0 42356043 101548032 24302 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 24792 24302 123 215 0 24574 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 99168

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21616
/proc/meminfo: memFree=1655840/2055920 swapFree=4120672/4192956
[pid=21615] ppid=21613 vsize=99168 CPUtime=342.16
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25351 0 0 0 34191 25 0 0 25 0 1 0 42356043 101548032 24302 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 24792 24302 123 215 0 24574 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 99168

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21616
/proc/meminfo: memFree=1655840/2055920 swapFree=4120672/4192956
[pid=21615] ppid=21613 vsize=99168 CPUtime=402.13
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25351 0 0 0 40188 25 0 0 25 0 1 0 42356043 101548032 24302 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 24792 24302 123 215 0 24574 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 99168

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21616
/proc/meminfo: memFree=1655840/2055920 swapFree=4120736/4192956
[pid=21615] ppid=21613 vsize=99168 CPUtime=462.11
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25351 0 0 0 46185 26 0 0 25 0 1 0 42356043 101548032 24302 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 24792 24302 123 215 0 24574 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 99168

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 21754
/proc/meminfo: memFree=1654440/2055920 swapFree=4120736/4192956
[pid=21615] ppid=21613 vsize=99168 CPUtime=522.01
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25352 0 0 0 52174 27 0 0 25 0 1 0 42356043 101548032 24303 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 24792 24303 123 215 0 24574 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 99168

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21814
/proc/meminfo: memFree=1655456/2055920 swapFree=4120736/4192956
[pid=21615] ppid=21613 vsize=99168 CPUtime=581.95
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25352 0 0 0 58168 27 0 0 25 0 1 0 42356043 101548032 24303 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 24792 24303 123 215 0 24574 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 99168

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21814
/proc/meminfo: memFree=1655520/2055920 swapFree=4120800/4192956
[pid=21615] ppid=21613 vsize=99168 CPUtime=641.93
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25352 0 0 0 64166 27 0 0 25 0 1 0 42356043 101548032 24303 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 24792 24303 123 215 0 24574 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 99168


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21814
/proc/meminfo: memFree=1655584/2055920 swapFree=4120864/4192956
[pid=21615] ppid=21613 vsize=99168 CPUtime=881.83
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25363 0 0 0 88154 29 0 0 25 0 1 0 42356043 101548032 24314 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 24792 24314 123 215 0 24574 0
Current children cumulated CPU time (s) 881.83
Current children cumulated vsize (KiB) 99168

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21814
/proc/meminfo: memFree=1655712/2055920 swapFree=4120928/4192956
[pid=21615] ppid=21613 vsize=99168 CPUtime=941.81
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25363 0 0 0 94151 30 0 0 25 0 1 0 42356043 101548032 24314 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 24792 24314 123 215 0 24574 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 99168

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21814
/proc/meminfo: memFree=1655840/2055920 swapFree=4120928/4192956
[pid=21615] ppid=21613 vsize=99168 CPUtime=1001.79
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25363 0 0 0 100149 30 0 0 25 0 1 0 42356043 101548032 24314 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 24792 24314 123 215 0 24574 0
Current children cumulated CPU time (s) 1001.79
Current children cumulated vsize (KiB) 99168

[startup+1062.3 s]
/proc/loadavg: 1.07 1.00 1.00 2/78 21814
/proc/meminfo: memFree=1655776/2055920 swapFree=4120928/4192956
[pid=21615] ppid=21613 vsize=99168 CPUtime=1061.77
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25373 0 0 0 106146 31 0 0 25 0 1 0 42356043 101548032 24324 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 24792 24324 123 215 0 24574 0
Current children cumulated CPU time (s) 1061.77
Current children cumulated vsize (KiB) 99168

[startup+1122.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 21814
/proc/meminfo: memFree=1654880/2055920 swapFree=4120992/4192956
[pid=21615] ppid=21613 vsize=100100 CPUtime=1121.75
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25601 0 0 0 112143 32 0 0 25 0 1 0 42356043 102502400 24552 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 25025 24552 123 215 0 24807 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 100100

[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 21814
/proc/meminfo: memFree=1654112/2055920 swapFree=4120992/4192956
[pid=21615] ppid=21613 vsize=100784 CPUtime=1181.72
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25798 0 0 0 118140 32 0 0 25 0 1 0 42356043 103202816 24692 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134574387 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 25196 24692 123 215 0 24978 0
Current children cumulated CPU time (s) 1181.72
Current children cumulated vsize (KiB) 100784

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21814
/proc/meminfo: memFree=1654112/2055920 swapFree=4121056/4192956
[pid=21615] ppid=21613 vsize=100784 CPUtime=1241.7
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25798 0 0 0 124137 33 0 0 25 0 1 0 42356043 103202816 24692 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 25196 24692 123 215 0 24978 0
Current children cumulated CPU time (s) 1241.7
Current children cumulated vsize (KiB) 100784

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21814
/proc/meminfo: memFree=1654176/2055920 swapFree=4121056/4192956
[pid=21615] ppid=21613 vsize=100784 CPUtime=1301.67
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25798 0 0 0 130134 33 0 0 25 0 1 0 42356043 103202816 24692 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 25196 24692 123 215 0 24978 0
Current children cumulated CPU time (s) 1301.67
Current children cumulated vsize (KiB) 100784

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21814
/proc/meminfo: memFree=1654176/2055920 swapFree=4121056/4192956
[pid=21615] ppid=21613 vsize=100784 CPUtime=1361.65
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 25798 0 0 0 136131 34 0 0 25 0 1 0 42356043 103202816 24692 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 25196 24692 123 215 0 24978 0
Current children cumulated CPU time (s) 1361.65
Current children cumulated vsize (KiB) 100784

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21816
/proc/meminfo: memFree=1648608/2055920 swapFree=4121120/4192956
[pid=21615] ppid=21613 vsize=106464 CPUtime=1421.63
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 27223 0 0 0 142127 36 0 0 25 0 1 0 42356043 109019136 26117 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 26616 26117 123 215 0 26398 0
Current children cumulated CPU time (s) 1421.63
Current children cumulated vsize (KiB) 106464

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21816
/proc/meminfo: memFree=1648544/2055920 swapFree=4121120/4192956
[pid=21615] ppid=21613 vsize=106636 CPUtime=1481.6
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 27236 0 0 0 148124 36 0 0 25 0 1 0 42356043 109195264 26130 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 26659 26130 123 215 0 26441 0
Current children cumulated CPU time (s) 1481.6
Current children cumulated vsize (KiB) 106636

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21816
/proc/meminfo: memFree=1644448/2055920 swapFree=4121184/4192956
[pid=21615] ppid=21613 vsize=110748 CPUtime=1541.58
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 28285 0 0 0 154120 38 0 0 25 0 1 0 42356043 113405952 27179 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 27687 27179 123 215 0 27469 0
Current children cumulated CPU time (s) 1541.58
Current children cumulated vsize (KiB) 110748

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21816
/proc/meminfo: memFree=1631584/2055920 swapFree=4121184/4192956
[pid=21615] ppid=21613 vsize=123644 CPUtime=1601.56
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 31472 0 0 0 160113 43 0 0 25 0 1 0 42356043 126611456 30366 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 30911 30366 123 215 0 30693 0
Current children cumulated CPU time (s) 1601.56
Current children cumulated vsize (KiB) 123644

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21816
/proc/meminfo: memFree=1631520/2055920 swapFree=4121184/4192956
[pid=21615] ppid=21613 vsize=123644 CPUtime=1661.53
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 31473 0 0 0 166110 43 0 0 25 0 1 0 42356043 126611456 30367 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 30911 30367 123 215 0 30693 0
Current children cumulated CPU time (s) 1661.53
Current children cumulated vsize (KiB) 123644

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21816
/proc/meminfo: memFree=1631584/2055920 swapFree=4121248/4192956
[pid=21615] ppid=21613 vsize=123644 CPUtime=1721.51
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 31473 0 0 0 172107 44 0 0 25 0 1 0 42356043 126611456 30367 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 30911 30367 123 215 0 30693 0
Current children cumulated CPU time (s) 1721.51
Current children cumulated vsize (KiB) 123644

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21816
/proc/meminfo: memFree=1617120/2055920 swapFree=4121248/4192956
[pid=21615] ppid=21613 vsize=138036 CPUtime=1781.49
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 35078 0 0 0 178101 48 0 0 25 0 1 0 42356043 141348864 33972 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 34509 33972 123 215 0 34291 0
Current children cumulated CPU time (s) 1781.49
Current children cumulated vsize (KiB) 138036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21816
/proc/meminfo: memFree=1617120/2055920 swapFree=4121248/4192956
[pid=21615] ppid=21613 vsize=138036 CPUtime=1800.08
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 35078 0 0 0 179960 48 0 0 25 0 1 0 42356043 141348864 33972 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 34509 33972 123 215 0 34291 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 138036

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

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

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21816
/proc/meminfo: memFree=1617120/2055920 swapFree=4121248/4192956
[pid=21615] ppid=21613 vsize=138036 CPUtime=1800.08
/proc/21615/stat : 21615 (minisat+) R 21613 21615 20195 0 -1 4194304 35078 0 0 0 179960 48 0 0 25 0 1 0 42356043 141348864 33972 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/21615/statm: 34509 33972 123 215 0 34291 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 138036

Child status: 10
Real time (s): 1800.93
CPU time (s): 1800.12
CPU user time (s): 1799.61
CPU system time (s): 0.513921
CPU usage (%): 99.955
Max. virtual memory (cumulated for all children) (KiB): 138036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.513921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35080
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= 111
involuntary context switches= 4687

runsolver used 2.32765 second user time and 4.16437 second system time

The end

Launcher Data (download as text)

Begin job on node40 on Sat Apr 21 05:52:45 UTC 2007

IDJOB= 372799
IDBENCH= 24998
IDSOLVER= 156
FILE ID= node40/372799-1177134765

PBS_JOBID= 4648777

Free space on /tmp= 66527 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_022_area_delay.opb
COMMAND LINE= /tmp/evaluation/372799-1177134765/minisat+ /tmp/evaluation/372799-1177134765/instance-372799-1177134765.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node40/convwatcher-372799-1177134765 -o ROOT/results/node40/conversion-372799-1177134765 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372799-1177134765/instance-372799-1177134765.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node40/watcher-372799-1177134765 -o ROOT/results/node40/solver-372799-1177134765 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/372799-1177134765/minisat+ /tmp/evaluation/372799-1177134765/instance-372799-1177134765.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  8e8463c13e61e1a22058cdf603119640

RANDOM SEED= 538101101

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node40.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.283
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.283
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:       1753600 kB
Buffers:         62220 kB
Cached:         160276 kB
SwapCached:       2312 kB
Active:         149452 kB
Inactive:        99544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1753600 kB
SwapTotal:     4192956 kB
SwapFree:      4120544 kB
Dirty:            3036 kB
Writeback:           0 kB
Mapped:          35236 kB
Slab:            38676 kB
Committed_AS:   958460 kB
PageTables:       1936 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= 66527 MiB

End job on node40 on Sat Apr 21 06:22:48 UTC 2007