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

OK	21

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: 63665 MiB (60407 MiB free)
  memory of node 1: 64507 MiB (53536 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528398-1752239847/watcher-4528398-1752239847 -o /tmp/evaluation-result-4528398-1752239847/solver-4528398-1752239847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1752239847-120959 --watchdog 3760 pb_picat HOME/instance-4528398-1752239847.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=121002, runsolver pid=120997
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 1.12 1.10 1.59 5/264 121016
/proc/meminfo: memFree=116600544/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2027148 memory=32168 CPUtime=0.08 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 995 0 0 0 7 1 0 0 20 0 1 0 139662639 2075799552 8042 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 506787 8042 1600 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32168 KiB

[startup+0.205653 s]*
/proc/loadavg: 1.12 1.10 1.59 7/264 121016
/proc/meminfo: memFree=116530912/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2027148 memory=52712 CPUtime=0.19 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 1020 0 0 0 18 1 0 0 20 0 1 0 139662639 2075799552 13178 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 506787 13178 1600 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 52712 KiB

[startup+0.305507 s]*
/proc/loadavg: 1.12 1.10 1.59 5/264 121016
/proc/meminfo: memFree=116469472/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2027148 memory=69148 CPUtime=0.28 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 1043 0 0 0 27 1 0 0 20 0 1 0 139662639 2075799552 17287 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 506787 17287 1600 343 0 503851 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 69148 KiB

[startup+0.700189 s]
/proc/loadavg: 1.12 1.10 1.59 5/264 121016
/proc/meminfo: memFree=116338172/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2044972 memory=100960 CPUtime=0.67 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 4305 0 0 0 65 2 0 0 20 0 1 0 139662639 2094051328 25240 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 511243 25240 1760 343 0 508307 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2044972 KiB
Current children cumulated memory: 100960 KiB

[startup+1.50017 s]
/proc/loadavg: 1.12 1.10 1.59 5/264 121016
/proc/meminfo: memFree=116202944/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2046876 memory=103256 CPUtime=1.47 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 7329 0 0 0 144 3 0 0 20 0 1 0 139662639 2096001024 25814 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 511719 25814 1760 343 0 508783 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2046876 KiB
Current children cumulated memory: 103256 KiB

[startup+3.10537 s]
/proc/loadavg: 1.35 1.14 1.61 5/264 121016
/proc/meminfo: memFree=116086568/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2041944 memory=99108 CPUtime=3.07 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 9254 0 0 0 304 3 0 0 20 0 1 0 139662639 2090950656 24777 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 510486 24777 1760 343 0 507550 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2041944 KiB
Current children cumulated memory: 99108 KiB

[startup+6.30016 s]
/proc/loadavg: 1.35 1.14 1.61 5/264 121016
/proc/meminfo: memFree=116054344/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2065880 memory=118484 CPUtime=6.26 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 11076 0 0 0 622 4 0 0 20 0 1 0 139662639 2115461120 29621 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 516470 29621 1760 343 0 513534 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2065880 KiB
Current children cumulated memory: 118484 KiB

[startup+12.7002 s]
/proc/loadavg: 1.57 1.19 1.62 5/264 121016
/proc/meminfo: memFree=116040348/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2065880 memory=120532 CPUtime=12.65 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 11082 0 0 0 1261 4 0 0 20 0 1 0 139662639 2115461120 30133 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 516470 30133 1760 343 0 513534 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2065880 KiB
Current children cumulated memory: 120532 KiB

[startup+25.5002 s]
/proc/loadavg: 2.11 1.33 1.66 5/263 121016
/proc/meminfo: memFree=115991040/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2074076 memory=129708 CPUtime=25.41 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 14098 0 0 0 2536 5 0 0 20 0 1 0 139662639 2123853824 32427 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 518519 32427 1760 343 0 515583 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2074076 KiB
Current children cumulated memory: 129708 KiB

[startup+51.1054 s]
/proc/loadavg: 2.75 1.55 1.72 5/263 121017
/proc/meminfo: memFree=115953760/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2074076 memory=129708 CPUtime=50.96 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 18398 0 0 0 5088 8 0 0 20 0 1 0 139662639 2123853824 32427 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 518519 32427 1760 343 0 515583 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2074076 KiB
Current children cumulated memory: 129708 KiB

[startup+102.3 s]
/proc/loadavg: 3.51 1.94 1.85 5/263 121018
/proc/meminfo: memFree=115949848/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2082268 memory=137904 CPUtime=102 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 24471 0 0 0 10190 10 0 0 20 0 1 0 139662639 2132242432 34476 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 520567 34476 1760 343 0 517631 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2082268 KiB
Current children cumulated memory: 137904 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.35 2.00 5/263 121020
/proc/meminfo: memFree=115961908/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2082856 memory=132228 CPUtime=161.82 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 28693 0 0 0 16171 11 0 0 20 0 1 0 139662639 2132844544 33057 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 520714 33057 1760 343 0 517778 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2082856 KiB
Current children cumulated memory: 132228 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.67 2.13 5/263 121022
/proc/meminfo: memFree=115974076/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2067360 memory=117864 CPUtime=221.66 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 31833 0 0 0 22152 14 0 0 20 0 1 0 139662639 2116976640 29466 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 516840 29466 1760 343 0 513904 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 2067360 KiB
Current children cumulated memory: 117864 KiB

[startup+282.3 s]
/proc/loadavg: 4.39 3.00 2.28 5/263 121024
/proc/meminfo: memFree=115965712/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2067360 memory=124668 CPUtime=281.47 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 39302 0 0 0 28130 17 0 0 20 0 1 0 139662639 2116976640 31167 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 516840 31167 1760 343 0 513904 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 2067360 KiB
Current children cumulated memory: 124668 KiB

[startup+342.3 s]
/proc/loadavg: 4.78 3.37 2.45 5/263 121033
/proc/meminfo: memFree=115949444/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2084000 memory=122176 CPUtime=341.29 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 46576 0 0 0 34106 23 0 0 20 0 1 0 139662639 2134016000 30544 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 521000 30544 1760 343 0 518064 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 2084000 KiB
Current children cumulated memory: 122176 KiB

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

# cumulated CPU time of all completed processes:  user=385.182 s, system=0.279188 s

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

[startup+358.4 s]
/proc/loadavg: 4.67 3.42 2.49 5/263 121034
/proc/meminfo: memFree=115945976/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2084000 memory=131756 CPUtime=357.34 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 48190 0 0 0 35710 24 0 0 20 0 1 0 139662639 2134016000 32939 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 521000 32939 1760 343 0 518064 0
Current children cumulated CPU time: 357.34 s
Current children cumulated vsize: 2084000 KiB
Current children cumulated memory: 131756 KiB

[startup+371.2 s]
/proc/loadavg: 4.52 3.45 2.51 5/263 121035
/proc/meminfo: memFree=115947208/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2084000 memory=132012 CPUtime=370.11 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 49532 0 0 0 36986 25 0 0 20 0 1 0 139662639 2134016000 33003 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 521000 33003 1760 343 0 518064 0
Current children cumulated CPU time: 370.11 s
Current children cumulated vsize: 2084000 KiB
Current children cumulated memory: 132012 KiB

[startup+377.6 s]
/proc/loadavg: 4.56 3.48 2.52 5/263 121035
/proc/meminfo: memFree=115945200/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2084000 memory=127660 CPUtime=376.48 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 50069 0 0 0 37623 25 0 0 20 0 1 0 139662639 2134016000 31915 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 521000 31915 1760 343 0 518064 0
Current children cumulated CPU time: 376.48 s
Current children cumulated vsize: 2084000 KiB
Current children cumulated memory: 127660 KiB

[startup+380.8 s]
/proc/loadavg: 4.52 3.49 2.53 5/263 121035
/proc/meminfo: memFree=115945612/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2067612 memory=125200 CPUtime=379.67 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 50106 0 0 0 37942 25 0 0 20 0 1 0 139662639 2117234688 31300 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 516903 31300 1760 343 0 513967 0
Current children cumulated CPU time: 379.67 s
Current children cumulated vsize: 2067612 KiB
Current children cumulated memory: 125200 KiB

[startup+384 s]*
/proc/loadavg: 4.47 3.49 2.54 5/263 121035
/proc/meminfo: memFree=115957916/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2082856 memory=131344 CPUtime=382.87 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 50620 0 0 0 38261 26 0 0 20 0 1 0 139662639 2132844544 32836 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 520714 32836 1760 343 0 517778 0
Current children cumulated CPU time: 382.87 s
Current children cumulated vsize: 2082856 KiB
Current children cumulated memory: 131344 KiB

[startup+385.6 s]
/proc/loadavg: 4.47 3.49 2.54 5/263 121035
/proc/meminfo: memFree=115952812/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2082856 memory=131344 CPUtime=384.46 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 50620 0 0 0 38420 26 0 0 20 0 1 0 139662639 2132844544 32836 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 520714 32836 1760 343 0 517778 0
Current children cumulated CPU time: 384.46 s
Current children cumulated vsize: 2082856 KiB
Current children cumulated memory: 131344 KiB

[startup+386 s]*
/proc/loadavg: 4.47 3.49 2.54 5/263 121035
/proc/meminfo: memFree=115948732/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2082856 memory=131344 CPUtime=384.87 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 50620 0 0 0 38461 26 0 0 20 0 1 0 139662639 2132844544 32836 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 520714 32836 1760 343 0 517778 0
Current children cumulated CPU time: 384.87 s
Current children cumulated vsize: 2082856 KiB
Current children cumulated memory: 131344 KiB

[startup+386.4 s]
/proc/loadavg: 4.47 3.49 2.54 5/263 121035
/proc/meminfo: memFree=115948732/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2082856 memory=131344 CPUtime=385.26 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 50620 0 0 0 38500 26 0 0 20 0 1 0 139662639 2132844544 32836 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 520714 32836 1760 343 0 517778 0
Current children cumulated CPU time: 385.26 s
Current children cumulated vsize: 2082856 KiB
Current children cumulated memory: 131344 KiB

[startup+386.5 s]
/proc/loadavg: 4.47 3.49 2.54 5/263 121035
/proc/meminfo: memFree=115948732/131249996 swapFree=33010684/33010684
[pid=121002] ppid=120997 vsize=2082856 memory=131344 CPUtime=385.36 cores=5,7
/proc/121002/stat : 121002 (pb_picat) R 120997 121002 119023 0 -1 4194304 50620 0 0 0 38510 26 0 0 20 0 1 0 139662639 2132844544 32836 18446744073709551615 94299981664256 94299983065837 140729546141520 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94299983337264 94299985211504 94299994304512 140729546148252 140729546148328 140729546148328 140729546153932 0
/proc/121002/statm: 520714 32836 1760 343 0 517778 0
Current children cumulated CPU time: 385.36 s
Current children cumulated vsize: 2082856 KiB
Current children cumulated memory: 131344 KiB

Child status: 0

Real time (s): 386.594
CPU time (s): 385.462
CPU user time (s): 385.182
CPU system time (s): 0.279188
CPU usage (%): 99.707
Max. virtual memory (cumulated for all children) (KiB): 2115628
Max. memory (cumulated for all children) (KiB): 151072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 385.182
system time used= 0.279188
maximum resident set size= 151072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50624
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= 149
involuntary context switches= 377


# summary of solver processes directly reported to runsolver:
#   pid: 121002
#   total CPU time (s): 385.462
#   total CPU user time (s): 385.182
#   total CPU system time (s): 0.279188

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.769843 second user time and 1.68876 second system time

The end

Begin job on nodeC024 at 2025-07-11 15:17:27
IDJOB=4528398
IDBENCH=148187
IDSOLVER=3385
FILE ID=nodeC024/4528398-1752239847
RUNJOBID= nodeC024-1752239847-120959
SLURM_JOB_ID= 9682535
Free space on /tmp= 432352 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528398-1752239847/watcher-4528398-1752239847 -o /tmp/evaluation-result-4528398-1752239847/solver-4528398-1752239847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1752239847-120959 --watchdog 3760  pb_picat HOME/instance-4528398-1752239847.opb

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

MD5SUM BENCH= e3f6e03fc0c8fc921c0242da7dc19bcf
RANDOM SEED=935588735

nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.074
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.801
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.862
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 1199.750
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3622.791
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.576
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.653
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3673.253
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        116679984 kB
MemAvailable:   129682532 kB
Buffers:            2144 kB
Cached:         13766576 kB
SwapCached:            0 kB
Active:           649936 kB
Inactive:       13186440 kB
Active(anon):      85684 kB
Inactive(anon):       36 kB
Active(file):     564252 kB
Inactive(file): 13186404 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17028 kB
Writeback:             0 kB
AnonPages:         70040 kB
Mapped:           106292 kB
Shmem:             18064 kB
KReclaimable:     181864 kB
Slab:             276624 kB
SReclaimable:     181864 kB
SUnreclaim:        94760 kB
KernelStack:        4100 kB
PageTables:         2600 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     340608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432336 MiB
End job on nodeC024 at 2025-07-11 15:23:54