Trace number 4446142

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
Picat 2024-06-18SAT 294.255 295.02

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-96.opb
MD5SUM41cda2cdd43cae95a9671374dc621893
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark97.8949
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12587
Total number of constraints283937
Number of constraints which are clauses255125
Number of constraints which are cardinality constraints (but not clauses)903
Number of constraints which are nor clauses,nor cardinality constraints27909
Minimum length of a constraint2
Maximum length of a constraint270
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 271
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (59429 MiB free)
  memory of node 1: 64510 MiB (57696 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446142-1721329250/watcher-4446142-1721329250 -o /tmp/evaluation-result-4446142-1721329250/solver-4446142-1721329250 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721329244-992563 --watchdog 3760 pb_picat HOME/instance-4446142-1721329250.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=992682, runsolver pid=992679

[startup+0.100456 s]*
/proc/loadavg: 2.08 1.91 2.77 5/256 992683
/proc/meminfo: memFree=119901820/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2033608 memory=36544 CPUtime=0.09 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 609 0 0 0 9 0 0 0 20 0 1 0 185094711 2082414592 9136 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 508402 9136 1536 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 36544 KiB

[startup+0.205755 s]*
/proc/loadavg: 2.08 1.91 2.77 5/256 992683
/proc/meminfo: memFree=119883228/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2033608 memory=54976 CPUtime=0.2 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 621 0 0 0 19 1 0 0 20 0 1 0 185094711 2082414592 13744 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 508402 13744 1536 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 54976 KiB

[startup+0.30564 s]*
/proc/loadavg: 2.08 1.91 2.77 5/256 992683
/proc/meminfo: memFree=119862552/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2033608 memory=75456 CPUtime=0.29 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 634 0 0 0 28 1 0 0 20 0 1 0 185094711 2082414592 18864 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 508402 18864 1536 439 0 503831 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 75456 KiB

[startup+0.700239 s]
/proc/loadavg: 2.08 1.91 2.77 5/256 992683
/proc/meminfo: memFree=119823388/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2033608 memory=147224 CPUtime=0.68 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 680 0 0 0 65 3 0 0 20 0 1 0 185094711 2082414592 36806 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 508402 36806 1536 439 0 503831 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 147224 KiB

[startup+1.50023 s]
/proc/loadavg: 2.08 1.91 2.77 5/256 992683
/proc/meminfo: memFree=119730096/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2033608 memory=296784 CPUtime=1.48 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 774 0 0 0 143 5 0 0 20 0 1 0 185094711 2082414592 74196 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 508402 74196 1536 439 0 503831 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 296784 KiB

[startup+3.10549 s]
/proc/loadavg: 2.08 1.91 2.77 5/256 992683
/proc/meminfo: memFree=119374724/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2034444 memory=589840 CPUtime=3.09 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 1652 0 0 0 296 13 0 0 20 0 1 0 185094711 2083270656 147460 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 508611 147460 1632 439 0 504040 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2034444 KiB
Current children cumulated memory: 589840 KiB

[startup+6.30022 s]
/proc/loadavg: 2.23 1.95 2.78 5/256 992685
/proc/meminfo: memFree=119311704/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2090260 memory=624620 CPUtime=6.27 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 16601 0 0 0 592 35 0 0 20 0 1 0 185094711 2140426240 156155 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 522565 156155 1711 439 0 517994 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2090260 KiB
Current children cumulated memory: 624620 KiB

[startup+12.7002 s]
/proc/loadavg: 2.37 1.98 2.79 5/256 992685
/proc/meminfo: memFree=119297992/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2073876 memory=623740 CPUtime=12.66 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 27814 0 0 0 1227 39 0 0 20 0 1 0 185094711 2123649024 155935 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 518469 155935 1711 439 0 513898 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2073876 KiB
Current children cumulated memory: 623740 KiB

[startup+25.5002 s]
/proc/loadavg: 2.89 2.11 2.82 5/256 992734
/proc/meminfo: memFree=119547708/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2090260 memory=635944 CPUtime=25.42 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 43256 0 0 0 2498 44 0 0 20 0 1 0 185094711 2140426240 158986 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 522565 158986 1711 439 0 517994 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2090260 KiB
Current children cumulated memory: 635944 KiB

[startup+51.1055 s]
/proc/loadavg: 3.60 2.34 2.88 5/256 992783
/proc/meminfo: memFree=117196388/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2106644 memory=636084 CPUtime=50.96 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 65504 0 0 0 5044 52 0 0 20 0 1 0 185094711 2157203456 159021 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 526661 159021 1711 439 0 522090 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2106644 KiB
Current children cumulated memory: 636084 KiB

[startup+102.3 s]
/proc/loadavg: 3.89 2.62 2.94 5/256 992884
/proc/meminfo: memFree=114765180/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2106644 memory=640272 CPUtime=102.03 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 92904 0 0 0 10139 64 0 0 20 0 1 0 185094711 2157203456 160068 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 526661 160068 1711 439 0 522090 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2106644 KiB
Current children cumulated memory: 640272 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.87 3.01 5/257 992941
/proc/meminfo: memFree=114458176/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2106440 memory=644316 CPUtime=161.87 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 116853 0 0 0 16112 75 0 0 20 0 1 0 185094711 2156994560 161079 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 526610 161079 1711 439 0 522039 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2106440 KiB
Current children cumulated memory: 644316 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.11 3.09 5/257 992954
/proc/meminfo: memFree=113181372/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2106440 memory=648320 CPUtime=221.71 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 137591 0 0 0 22086 85 0 0 20 0 1 0 185094711 2156994560 162080 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 526610 162080 1711 439 0 522039 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2106440 KiB
Current children cumulated memory: 648320 KiB

[startup+282.3 s]
/proc/loadavg: 4.40 3.38 3.19 5/257 992964
/proc/meminfo: memFree=109017460/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2106440 memory=652512 CPUtime=281.56 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 154399 0 0 0 28064 92 0 0 20 0 1 0 185094711 2156994560 163128 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 526610 163128 1711 439 0 522039 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 2106440 KiB
Current children cumulated memory: 652512 KiB

[startup+295.02 s]
# the end of solver process 992682 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=293.298 s, system=0.957668 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+288 s]*
/proc/loadavg: 4.45 3.41 3.20 5/256 992966
/proc/meminfo: memFree=109043748/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2106440 memory=656608 CPUtime=287.24 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 154417 0 0 0 28632 92 0 0 20 0 1 0 185094711 2156994560 164152 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 526610 164152 1711 439 0 522039 0
Current children cumulated CPU time: 287.24 s
Current children cumulated vsize: 2106440 KiB
Current children cumulated memory: 656608 KiB

[startup+291.2 s]
/proc/loadavg: 4.41 3.42 3.20 5/256 992966
/proc/meminfo: memFree=109355900/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2106440 memory=652364 CPUtime=290.44 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 157083 0 0 0 28950 94 0 0 20 0 1 0 185094711 2156994560 163091 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 526610 163091 1711 439 0 522039 0
Current children cumulated CPU time: 290.44 s
Current children cumulated vsize: 2106440 KiB
Current children cumulated memory: 652364 KiB

[startup+292.8 s]
/proc/loadavg: 4.41 3.42 3.20 5/256 992966
/proc/meminfo: memFree=109131712/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2106440 memory=654412 CPUtime=292.03 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 157084 0 0 0 29109 94 0 0 20 0 1 0 185094711 2156994560 163603 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 526610 163603 1711 439 0 522039 0
Current children cumulated CPU time: 292.03 s
Current children cumulated vsize: 2106440 KiB
Current children cumulated memory: 654412 KiB

[startup+294.4 s]
/proc/loadavg: 4.46 3.45 3.21 5/256 992967
/proc/meminfo: memFree=109082368/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2106440 memory=656460 CPUtime=293.63 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 157085 0 0 0 29269 94 0 0 20 0 1 0 185094711 2156994560 164115 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 526610 164115 1711 439 0 522039 0
Current children cumulated CPU time: 293.63 s
Current children cumulated vsize: 2106440 KiB
Current children cumulated memory: 656460 KiB

[startup+294.8 s]
/proc/loadavg: 4.46 3.45 3.21 5/256 992967
/proc/meminfo: memFree=109082368/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2106440 memory=656460 CPUtime=294.03 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 157085 0 0 0 29309 94 0 0 20 0 1 0 185094711 2156994560 164115 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 526610 164115 1711 439 0 522039 0
Current children cumulated CPU time: 294.03 s
Current children cumulated vsize: 2106440 KiB
Current children cumulated memory: 656460 KiB

[startup+295.008 s]*
/proc/loadavg: 4.46 3.45 3.21 6/256 992967
/proc/meminfo: memFree=109080320/131524600 swapFree=131071996/131071996
[pid=992682] ppid=992679 vsize=2106440 memory=656608 CPUtime=294.24 cores=5,7
/proc/992682/stat : 992682 (pb_picat) R 992679 992682 992550 0 -1 4194304 157262 0 0 0 29329 95 0 0 20 0 1 0 185094711 2156994560 164152 134679101440 4194304 5989780 140722614477040 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 48488448 140722614481944 140722614482020 140722614482020 140722614489036 0
/proc/992682/statm: 526610 164152 1711 439 0 522039 0
Current children cumulated CPU time: 294.24 s
Current children cumulated vsize: 2106440 KiB
Current children cumulated memory: 656608 KiB

Child status: 0

Real time (s): 295.02
CPU time (s): 294.255
CPU user time (s): 293.298
CPU system time (s): 0.957668
CPU usage (%): 99.7407
Max. virtual memory (cumulated for all children) (KiB): 2139208
Max. memory (cumulated for all children) (KiB): 662552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 293.298
system time used= 0.957668
maximum resident set size= 662552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157268
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= 4
involuntary context switches= 360


# summary of solver processes directly reported to runsolver:
#   pid: 992682
#   total CPU time (s): 294.255
#   total CPU user time (s): 293.298
#   total CPU system time (s): 0.957668

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.509116 second user time and 1.47734 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-18 21:01:02
IDJOB=4446142
IDBENCH=155459
IDSOLVER=3068
FILE ID=nodeC033/4446142-1721329250
RUNJOBID= nodeC033-1721329244-992563
SLURM_JOB_ID= 7542695
Free space on /tmp= 889992 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-96.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446142-1721329250/watcher-4446142-1721329250 -o /tmp/evaluation-result-4446142-1721329250/solver-4446142-1721329250 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721329244-992563 --watchdog 3760  pb_picat HOME/instance-4446142-1721329250.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 41cda2cdd43cae95a9671374dc621893
RANDOM SEED=446697491

nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3680.081
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3680.731
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.024
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.976
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3680.129
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3680.507
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.024
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3663.003
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119941472 kB
MemAvailable:   125897116 kB
Buffers:          530468 kB
Cached:          6196284 kB
SwapCached:            0 kB
Active:          1039532 kB
Inactive:        9765204 kB
Active(anon):       1560 kB
Inactive(anon):  4122328 kB
Active(file):    1037972 kB
Inactive(file):  5642876 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             96596 kB
Writeback:             0 kB
AnonPages:       4074116 kB
Mapped:           116876 kB
Shmem:             45908 kB
KReclaimable:     228888 kB
Slab:             355928 kB
SReclaimable:     228888 kB
SUnreclaim:       127040 kB
KernelStack:        4112 kB
PageTables:        17572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8987380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68576 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3829760 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 889652 MiB
End job on nodeC033 at 2024-07-18 21:05:57