Trace number 4458620

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 NameAnswerobjective functionCPU timeWall clock time
Picat 2024-06-18OPT6627 3474.35 3485.99

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r24_c47_a5.opb
MD5SUMee69fc6ecb586d594c25ad09fc3cda54
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6627
Best CPU time to get the best result obtained on this benchmark0.130326
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11045
Total number of constraints2209
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)47
Number of constraints which are nor clauses,nor cardinality constraints2162
Minimum length of a constraint5
Maximum length of a constraint15
Number of terms in the objective function 11045
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 11045
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 11045
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	6627

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: 64096 MiB (61370 MiB free)
  memory of node 1: 64473 MiB (62205 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458620-1721872370/watcher-4458620-1721872370 -o /tmp/evaluation-result-4458620-1721872370/solver-4458620-1721872370 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721865128-198163 --watchdog 3760 pb_picat HOME/instance-4458620-1721872370.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=202424, runsolver pid=202421

[startup+0.100088 s]*
/proc/loadavg: 4.10 4.12 4.16 5/243 202425
/proc/meminfo: memFree=126503864/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2041424 memory=43116 CPUtime=0.1 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 1217 0 0 0 10 0 0 0 20 0 1 0 23226256 2090418176 10779 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 510356 10779 1573 439 0 505785 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 43116 KiB

[startup+0.212855 s]*
/proc/loadavg: 4.10 4.12 4.16 5/243 202425
/proc/meminfo: memFree=126484736/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2041424 memory=61548 CPUtime=0.22 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 1226 0 0 0 21 1 0 0 20 0 1 0 23226256 2090418176 15387 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 510356 15387 1573 439 0 505785 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 61548 KiB

[startup+0.313002 s]*
/proc/loadavg: 4.10 4.12 4.16 5/243 202425
/proc/meminfo: memFree=126461116/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2041424 memory=88920 CPUtime=0.31 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 1415 0 0 0 30 1 0 0 20 0 1 0 23226256 2090418176 22230 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 510356 22230 1573 439 0 505785 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 88920 KiB

[startup+0.700332 s]
/proc/loadavg: 4.10 4.12 4.16 5/243 202425
/proc/meminfo: memFree=126423212/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2118468 memory=144868 CPUtime=0.69 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 9591 0 0 0 66 3 0 0 20 0 1 0 23226256 2169311232 36217 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 529617 36217 1700 439 0 525046 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2118468 KiB
Current children cumulated memory: 144868 KiB

[startup+1.50033 s]
/proc/loadavg: 4.10 4.12 4.16 5/243 202425
/proc/meminfo: memFree=126397080/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2123980 memory=150104 CPUtime=1.49 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 14155 0 0 0 141 8 0 0 20 0 1 0 23226256 2174955520 37526 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 530995 37526 1748 439 0 526424 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2123980 KiB
Current children cumulated memory: 150104 KiB

[startup+3.11282 s]
/proc/loadavg: 4.10 4.12 4.16 5/243 202425
/proc/meminfo: memFree=126380344/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2124372 memory=158912 CPUtime=3.09 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 16982 0 0 0 297 12 0 0 20 0 1 0 23226256 2175356928 39728 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 531093 39728 1764 439 0 526522 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2124372 KiB
Current children cumulated memory: 158912 KiB

[startup+6.30031 s]
/proc/loadavg: 4.09 4.12 4.16 5/243 202427
/proc/meminfo: memFree=126373600/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2125796 memory=168764 CPUtime=6.27 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 21454 0 0 0 613 14 0 0 20 0 1 0 23226256 2176815104 42191 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 531449 42191 1764 439 0 526878 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2125796 KiB
Current children cumulated memory: 168764 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.13 4.16 5/243 202473
/proc/meminfo: memFree=126412320/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2128132 memory=164828 CPUtime=12.65 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 28521 0 0 0 1249 16 0 0 20 0 1 0 23226256 2179207168 41207 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 532033 41207 1764 439 0 527462 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2128132 KiB
Current children cumulated memory: 164828 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.12 4.16 5/245 202480
/proc/meminfo: memFree=126425608/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2128460 memory=169404 CPUtime=25.4 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 38996 0 0 0 2515 25 0 0 20 0 1 0 23226256 2179543040 42351 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 532115 42351 1764 439 0 527544 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2128460 KiB
Current children cumulated memory: 169404 KiB

[startup+51.1129 s]
/proc/loadavg: 4.08 4.11 4.16 5/245 202483
/proc/meminfo: memFree=126405704/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2128728 memory=159524 CPUtime=50.93 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 61224 0 0 0 5057 36 0 0 20 0 1 0 23226256 2179817472 39881 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 532182 39881 1764 439 0 527611 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2128728 KiB
Current children cumulated memory: 159524 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.16 5/245 202537
/proc/meminfo: memFree=126293764/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2194264 memory=184956 CPUtime=101.94 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 79139 0 0 0 10148 46 0 0 20 0 1 0 23226256 2246926336 46239 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 548566 46239 1764 439 0 543995 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 2194264 KiB
Current children cumulated memory: 184956 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.15 5/243 202930
/proc/meminfo: memFree=126286028/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2161496 memory=179648 CPUtime=161.72 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 87968 0 0 0 16122 50 0 0 20 0 1 0 23226256 2213371904 44912 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 540374 44912 1764 439 0 535803 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 2161496 KiB
Current children cumulated memory: 179648 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/243 202940
/proc/meminfo: memFree=126285440/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2195120 memory=192832 CPUtime=221.51 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 106796 0 0 0 22090 61 0 0 20 0 1 0 23226256 2247802880 48208 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 548780 48208 1764 439 0 544209 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 2195120 KiB
Current children cumulated memory: 192832 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/243 202951
/proc/meminfo: memFree=126277524/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2195844 memory=191508 CPUtime=281.31 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 118569 0 0 0 28064 67 0 0 20 0 1 0 23226256 2248544256 47877 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 548961 47877 1764 439 0 544390 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 2195844 KiB
Current children cumulated memory: 191508 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/245 203132
/proc/meminfo: memFree=126280828/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2130732 memory=165152 CPUtime=341.1 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 133988 0 0 0 34036 74 0 0 20 0 1 0 23226256 2181869568 41288 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 532683 41288 1764 439 0 528112 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 2130732 KiB
Current children cumulated memory: 165152 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/245 203143
/proc/meminfo: memFree=126295864/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2147688 memory=173592 CPUtime=400.91 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 176840 0 0 0 39992 99 0 0 20 0 1 0 23226256 2199232512 43398 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 536922 43398 1764 439 0 532351 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 2147688 KiB
Current children cumulated memory: 173592 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/244 203156
/proc/meminfo: memFree=126270696/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2147688 memory=181840 CPUtime=460.7 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 191153 0 0 0 45964 106 0 0 20 0 1 0 23226256 2199232512 45460 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 536922 45460 1764 439 0 532351 0

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

/proc/loadavg: 3.58 4.09 4.15 4/238 204290
/proc/meminfo: memFree=126123428/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2160488 memory=206004 CPUtime=3091.85 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 863001 0 0 0 308702 483 0 0 20 0 1 0 23226256 2212339712 51501 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 540122 51501 1764 439 0 535551 0
Current children cumulated CPU time: 3091.85 s
Current children cumulated vsize: 2160488 KiB
Current children cumulated memory: 206004 KiB

[startup+3162.3 s]
/proc/loadavg: 3.31 3.92 4.08 4/235 204301
/proc/meminfo: memFree=126133276/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2160488 memory=208052 CPUtime=3151.66 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 885453 0 0 0 314670 496 0 0 20 0 1 0 23226256 2212339712 52013 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 540122 52013 1764 439 0 535551 0
Current children cumulated CPU time: 3151.66 s
Current children cumulated vsize: 2160488 KiB
Current children cumulated memory: 208052 KiB

[startup+3222.3 s]
/proc/loadavg: 3.24 3.78 4.02 4/235 204312
/proc/meminfo: memFree=126113188/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2160488 memory=210600 CPUtime=3211.47 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 904911 0 0 0 320642 505 0 0 20 0 1 0 23226256 2212339712 52650 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 540122 52650 1764 439 0 535551 0
Current children cumulated CPU time: 3211.47 s
Current children cumulated vsize: 2160488 KiB
Current children cumulated memory: 210600 KiB

[startup+3282.3 s]
/proc/loadavg: 3.25 3.68 3.97 4/234 204322
/proc/meminfo: memFree=126124852/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2193256 memory=222424 CPUtime=3271.28 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 907175 0 0 0 326622 506 0 0 20 0 1 0 23226256 2245894144 55606 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 548314 55606 1764 439 0 543743 0
Current children cumulated CPU time: 3271.28 s
Current children cumulated vsize: 2193256 KiB
Current children cumulated memory: 222424 KiB

[startup+3342.3 s]
/proc/loadavg: 3.15 3.57 3.91 4/234 204332
/proc/meminfo: memFree=126101320/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2193256 memory=228568 CPUtime=3331.1 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 916077 0 0 0 332599 511 0 0 20 0 1 0 23226256 2245894144 57142 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 548314 57142 1764 439 0 543743 0
Current children cumulated CPU time: 3331.1 s
Current children cumulated vsize: 2193256 KiB
Current children cumulated memory: 228568 KiB

[startup+3402.3 s]
/proc/loadavg: 3.14 3.50 3.87 4/234 204344
/proc/meminfo: memFree=126148672/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2193256 memory=217536 CPUtime=3390.91 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 927934 0 0 0 338574 517 0 0 20 0 1 0 23226256 2245894144 54384 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 548314 54384 1764 439 0 543743 0
Current children cumulated CPU time: 3390.91 s
Current children cumulated vsize: 2193256 KiB
Current children cumulated memory: 217536 KiB

[startup+3462.3 s]
/proc/loadavg: 3.15 3.43 3.82 4/237 204360
/proc/meminfo: memFree=126094660/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2160488 memory=201644 CPUtime=3450.73 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 937465 0 0 0 344552 521 0 0 20 0 1 0 23226256 2212339712 50411 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 540122 50411 1764 439 0 535551 0
Current children cumulated CPU time: 3450.73 s
Current children cumulated vsize: 2160488 KiB
Current children cumulated memory: 201644 KiB

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

# cumulated CPU time of all completed processes:  user=3469.1 s, system=5.25316 s

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

[startup+3468.8 s]
/proc/loadavg: 3.14 3.43 3.81 4/237 204361
/proc/meminfo: memFree=126123240/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2144104 memory=199808 CPUtime=3457.2 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 938855 0 0 0 345198 522 0 0 20 0 1 0 23226256 2195562496 49952 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 536026 49952 1764 439 0 531455 0
Current children cumulated CPU time: 3457.2 s
Current children cumulated vsize: 2144104 KiB
Current children cumulated memory: 199808 KiB

[startup+3475.2 s]
/proc/loadavg: 3.12 3.41 3.80 4/237 204363
/proc/meminfo: memFree=126127352/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2144104 memory=195652 CPUtime=3463.59 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 941346 0 0 0 345836 523 0 0 20 0 1 0 23226256 2195562496 48913 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 536026 48913 1764 439 0 531455 0
Current children cumulated CPU time: 3463.59 s
Current children cumulated vsize: 2144104 KiB
Current children cumulated memory: 195652 KiB

[startup+3481.6 s]
/proc/loadavg: 3.11 3.40 3.80 4/237 204363
/proc/meminfo: memFree=126104796/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2160488 memory=208116 CPUtime=3469.97 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 943284 0 0 0 346473 524 0 0 20 0 1 0 23226256 2212339712 52029 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 540122 52029 1764 439 0 535551 0
Current children cumulated CPU time: 3469.97 s
Current children cumulated vsize: 2160488 KiB
Current children cumulated memory: 208116 KiB

[startup+3483.2 s]
/proc/loadavg: 3.11 3.40 3.80 4/237 204364
/proc/meminfo: memFree=126106604/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2144104 memory=197700 CPUtime=3471.56 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 943595 0 0 0 346632 524 0 0 20 0 1 0 23226256 2195562496 49425 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 536026 49425 1764 439 0 531455 0
Current children cumulated CPU time: 3471.56 s
Current children cumulated vsize: 2144104 KiB
Current children cumulated memory: 197700 KiB

[startup+3484.8 s]
/proc/loadavg: 3.11 3.40 3.80 4/237 204365
/proc/meminfo: memFree=126100380/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2144104 memory=199748 CPUtime=3473.15 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 943596 0 0 0 346791 524 0 0 20 0 1 0 23226256 2195562496 49937 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 536026 49937 1764 439 0 531455 0
Current children cumulated CPU time: 3473.15 s
Current children cumulated vsize: 2144104 KiB
Current children cumulated memory: 199748 KiB

[startup+3485.6 s]
/proc/loadavg: 3.10 3.40 3.80 4/237 204365
/proc/meminfo: memFree=126093768/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2144104 memory=200528 CPUtime=3473.95 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 943748 0 0 0 346871 524 0 0 20 0 1 0 23226256 2195562496 50132 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 536026 50132 1764 439 0 531455 0
Current children cumulated CPU time: 3473.95 s
Current children cumulated vsize: 2144104 KiB
Current children cumulated memory: 200528 KiB

[startup+3485.8 s]
/proc/loadavg: 3.10 3.40 3.80 4/237 204365
/proc/meminfo: memFree=126093768/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2160488 memory=200792 CPUtime=3474.15 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 943813 0 0 0 346891 524 0 0 20 0 1 0 23226256 2212339712 50198 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 540122 50198 1764 439 0 535551 0
Current children cumulated CPU time: 3474.15 s
Current children cumulated vsize: 2160488 KiB
Current children cumulated memory: 200792 KiB

[startup+3485.9 s]
/proc/loadavg: 3.10 3.40 3.80 4/237 204365
/proc/meminfo: memFree=126093768/131655788 swapFree=131056320/131071996
[pid=202424] ppid=202421 vsize=2160488 memory=200792 CPUtime=3474.25 cores=0,2
/proc/202424/stat : 202424 (pb_picat) R 202421 202424 198153 0 -1 4194304 943821 0 0 0 346901 524 0 0 20 0 1 0 23226256 2212339712 50198 134679101440 4194304 5989780 140731250063344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 28139520 140731250070553 140731250070629 140731250070629 140731250077644 0
/proc/202424/statm: 540122 50198 1764 439 0 535551 0
Current children cumulated CPU time: 3474.25 s
Current children cumulated vsize: 2160488 KiB
Current children cumulated memory: 200792 KiB

Child status: 0

Real time (s): 3485.99
CPU time (s): 3474.35
CPU user time (s): 3469.1
CPU system time (s): 5.25316
CPU usage (%): 99.666
Max. virtual memory (cumulated for all children) (KiB): 2226024
Max. memory (cumulated for all children) (KiB): 230600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3469.1
system time used= 5.25316
maximum resident set size= 230600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 943859
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= 21
involuntary context switches= 23821


# summary of solver processes directly reported to runsolver:
#   pid: 202424
#   total CPU time (s): 3474.35
#   total CPU user time (s): 3469.1
#   total CPU system time (s): 5.25316

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4953 second user time and 34.6612 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-25 03:52:50
IDJOB=4458620
IDBENCH=177786
IDSOLVER=3068
FILE ID=nodeC006/4458620-1721872370
RUNJOBID= nodeC006-1721865128-198163
SLURM_JOB_ID= 8089207
Free space on /tmp= 723772 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/normalized-linearized_pebbling_opt_layeredfan_up_r24_c47_a5.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458620-1721872370/watcher-4458620-1721872370 -o /tmp/evaluation-result-4458620-1721872370/solver-4458620-1721872370 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721865128-198163 --watchdog 3760  pb_picat HOME/instance-4458620-1721872370.opb

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

MD5SUM BENCH= ee69fc6ecb586d594c25ad09fc3cda54
RANDOM SEED=1930858558

nodeC006.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	: 0xb00001f
cpu MHz		: 3625.740
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.06
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	: 0xb00001f
cpu MHz		: 3651.550
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.40
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	: 0xb00001f
cpu MHz		: 1197.099
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.06
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	: 0xb00001f
cpu MHz		: 1197.237
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.40
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	: 0xb00001f
cpu MHz		: 3657.223
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.06
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	: 0xb00001f
cpu MHz		: 3651.757
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.40
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	: 0xb00001f
cpu MHz		: 1197.303
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.06
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	: 0xb00001f
cpu MHz		: 1197.239
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126542060 kB
MemAvailable:   129701868 kB
Buffers:          299712 kB
Cached:          3470488 kB
SwapCached:          244 kB
Active:          1974076 kB
Inactive:        2219512 kB
Active(anon):       1736 kB
Inactive(anon):   467216 kB
Active(file):    1972340 kB
Inactive(file):  1752296 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056320 kB
Dirty:              7700 kB
Writeback:            44 kB
AnonPages:        423520 kB
Mapped:           103116 kB
Shmem:             45244 kB
KReclaimable:     497080 kB
Slab:             607172 kB
SReclaimable:     497080 kB
SUnreclaim:       110092 kB
KernelStack:        3952 kB
PageTables:        10340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    6932780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:    331776 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:      420680 kB
DirectMap2M:    57155584 kB
DirectMap1G:    78643200 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC006 at 2024-07-25 04:50:56