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

OK	28

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: 63708 MiB (60458 MiB free)
  memory of node 1: 64465 MiB (61181 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496683-1751385271/watcher-4496683-1751385271 -o /tmp/evaluation-result-4496683-1751385271/solver-4496683-1751385271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751381593-51038 --watchdog 3760 pb_picat HOME/instance-4496683-1751385271.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=51807, runsolver pid=51803

[startup+0.10006 s]*
/proc/loadavg: 4.13 4.12 4.08 4/259 51813
/proc/meminfo: memFree=124509612/131249992 swapFree=33010160/33010684
[pid=51807] ppid=51803 vsize=2027148 memory=36716 CPUtime=0.09 cores=4,6
/proc/51807/stat : 51807 (pb_picat) R 51803 51807 51027 0 -1 4194304 1152 0 0 0 8 1 0 0 20 0 1 0 54201641 2075799552 9179 18446744073709551615 94035377295360 94035378696941 140726342252368 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94035378968368 94035380842672 94035408416768 140726342257054 140726342257130 140726342257130 140726342262732 0
/proc/51807/statm: 506787 9179 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36716 KiB

[startup+0.205808 s]*
/proc/loadavg: 4.13 4.12 4.08 5/263 51822
/proc/meminfo: memFree=124483032/131249992 swapFree=33010160/33010684
[pid=51807] ppid=51803 vsize=2027148 memory=55192 CPUtime=0.19 cores=4,6
/proc/51807/stat : 51807 (pb_picat) R 51803 51807 51027 0 -1 4194304 1161 0 0 0 18 1 0 0 20 0 1 0 54201641 2075799552 13798 18446744073709551615 94035377295360 94035378696941 140726342252368 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94035378968368 94035380842672 94035408416768 140726342257054 140726342257130 140726342257130 140726342262732 0
/proc/51807/statm: 506787 13798 1568 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 55192 KiB

[startup+0.305463 s]*
/proc/loadavg: 4.13 4.12 4.08 5/263 51822
/proc/meminfo: memFree=124450264/131249992 swapFree=33010160/33010684
[pid=51807] ppid=51803 vsize=2034964 memory=72192 CPUtime=0.29 cores=4,6
/proc/51807/stat : 51807 (pb_picat) R 51803 51807 51027 0 -1 4194304 1293 0 0 0 28 1 0 0 20 0 1 0 54201641 2083803136 18048 18446744073709551615 94035377295360 94035378696941 140726342252368 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94035378968368 94035380842672 94035408416768 140726342257054 140726342257130 140726342257130 140726342262732 0
/proc/51807/statm: 508741 18048 1600 343 0 505805 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 72192 KiB

[startup+0.700171 s]
/proc/loadavg: 4.13 4.12 4.08 5/263 51822
/proc/meminfo: memFree=124428904/131249992 swapFree=33010160/33010684
[pid=51807] ppid=51803 vsize=2051324 memory=97368 CPUtime=0.68 cores=4,6
/proc/51807/stat : 51807 (pb_picat) R 51803 51807 51027 0 -1 4194304 7197 0 0 0 65 3 0 0 20 0 1 0 54201641 2100555776 24342 18446744073709551615 94035377295360 94035378696941 140726342252368 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94035378968368 94035380842672 94035408416768 140726342257054 140726342257130 140726342257130 140726342262732 0
/proc/51807/statm: 512831 24342 1696 343 0 509895 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2051324 KiB
Current children cumulated memory: 97368 KiB

[startup+1.50017 s]
/proc/loadavg: 4.13 4.12 4.08 5/263 51822
/proc/meminfo: memFree=124374400/131249992 swapFree=33010160/33010684
[pid=51807] ppid=51803 vsize=2055012 memory=95684 CPUtime=1.47 cores=4,6
/proc/51807/stat : 51807 (pb_picat) R 51803 51807 51027 0 -1 4194304 10713 0 0 0 144 3 0 0 20 0 1 0 54201641 2104332288 23921 18446744073709551615 94035377295360 94035378696941 140726342252368 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94035378968368 94035380842672 94035408416768 140726342257054 140726342257130 140726342257130 140726342262732 0
/proc/51807/statm: 513753 23921 1696 343 0 510817 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2055012 KiB
Current children cumulated memory: 95684 KiB

[startup+3.1053 s]
/proc/loadavg: 4.12 4.12 4.08 5/263 51822
/proc/meminfo: memFree=124323548/131249992 swapFree=33010160/33010684
[pid=51807] ppid=51803 vsize=2059964 memory=104460 CPUtime=3.08 cores=4,6
/proc/51807/stat : 51807 (pb_picat) R 51803 51807 51027 0 -1 4194304 16621 0 0 0 303 5 0 0 20 0 1 0 54201641 2109403136 26115 18446744073709551615 94035377295360 94035378696941 140726342252368 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94035378968368 94035380842672 94035408416768 140726342257054 140726342257130 140726342257130 140726342262732 0
/proc/51807/statm: 514991 26115 1728 343 0 512055 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2059964 KiB
Current children cumulated memory: 104460 KiB

[startup+6.30013 s]
/proc/loadavg: 4.12 4.12 4.08 5/263 51822
/proc/meminfo: memFree=124349536/131249992 swapFree=33010160/33010684
[pid=51807] ppid=51803 vsize=2065084 memory=109452 CPUtime=6.26 cores=4,6
/proc/51807/stat : 51807 (pb_picat) R 51803 51807 51027 0 -1 4194304 22312 0 0 0 620 6 0 0 20 0 1 0 54201641 2114646016 27363 18446744073709551615 94035377295360 94035378696941 140726342252368 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94035378968368 94035380842672 94035408416768 140726342257054 140726342257130 140726342257130 140726342262732 0
/proc/51807/statm: 516271 27363 1728 343 0 513335 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2065084 KiB
Current children cumulated memory: 109452 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.08 4/261 51836
/proc/meminfo: memFree=124645012/131249992 swapFree=33010160/33010684
[pid=51807] ppid=51803 vsize=2056892 memory=101768 CPUtime=12.65 cores=4,6
/proc/51807/stat : 51807 (pb_picat) R 51803 51807 51027 0 -1 4194304 27811 0 0 0 1257 8 0 0 20 0 1 0 54201641 2106257408 25442 18446744073709551615 94035377295360 94035378696941 140726342252368 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94035378968368 94035380842672 94035408416768 140726342257054 140726342257130 140726342257130 140726342262732 0
/proc/51807/statm: 514223 25442 1728 343 0 511287 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2056892 KiB
Current children cumulated memory: 101768 KiB

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

# cumulated CPU time of all completed processes:  user=18.7345 s, system=0.105455 s

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

[startup+12.8002 s]
/proc/loadavg: 4.11 4.11 4.08 4/261 51836
/proc/meminfo: memFree=124645012/131249992 swapFree=33010160/33010684
[pid=51807] ppid=51803 vsize=2060988 memory=105356 CPUtime=12.75 cores=4,6
/proc/51807/stat : 51807 (pb_picat) R 51803 51807 51027 0 -1 4194304 28266 0 0 0 1267 8 0 0 20 0 1 0 54201641 2110451712 26339 18446744073709551615 94035377295360 94035378696941 140726342252368 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94035378968368 94035380842672 94035408416768 140726342257054 140726342257130 140726342257130 140726342262732 0
/proc/51807/statm: 515247 26339 1728 343 0 512311 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 2060988 KiB
Current children cumulated memory: 105356 KiB

[startup+16.0001 s]*
/proc/loadavg: 4.02 4.09 4.07 5/263 51867
/proc/meminfo: memFree=124487508/131249992 swapFree=33010160/33010684
[pid=51807] ppid=51803 vsize=2060988 memory=105356 CPUtime=15.95 cores=4,6
/proc/51807/stat : 51807 (pb_picat) R 51803 51807 51027 0 -1 4194304 30833 0 0 0 1586 9 0 0 20 0 1 0 54201641 2110451712 26339 18446744073709551615 94035377295360 94035378696941 140726342252368 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94035378968368 94035380842672 94035408416768 140726342257054 140726342257130 140726342257130 140726342262732 0
/proc/51807/statm: 515247 26339 1728 343 0 512311 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 2060988 KiB
Current children cumulated memory: 105356 KiB

[startup+17.6001 s]
/proc/loadavg: 4.02 4.09 4.07 5/263 51867
/proc/meminfo: memFree=124479636/131249992 swapFree=33010160/33010684
[pid=51807] ppid=51803 vsize=2060988 memory=105356 CPUtime=17.54 cores=4,6
/proc/51807/stat : 51807 (pb_picat) R 51803 51807 51027 0 -1 4194304 30833 0 0 0 1745 9 0 0 20 0 1 0 54201641 2110451712 26339 18446744073709551615 94035377295360 94035378696941 140726342252368 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94035378968368 94035380842672 94035408416768 140726342257054 140726342257130 140726342257130 140726342262732 0
/proc/51807/statm: 515247 26339 1728 343 0 512311 0
Current children cumulated CPU time: 17.54 s
Current children cumulated vsize: 2060988 KiB
Current children cumulated memory: 105356 KiB

[startup+18.4001 s]
/proc/loadavg: 4.02 4.09 4.07 5/263 51867
/proc/meminfo: memFree=124462888/131249992 swapFree=33010160/33010684
[pid=51807] ppid=51803 vsize=2060988 memory=105356 CPUtime=18.34 cores=4,6
/proc/51807/stat : 51807 (pb_picat) R 51803 51807 51027 0 -1 4194304 30833 0 0 0 1825 9 0 0 20 0 1 0 54201641 2110451712 26339 18446744073709551615 94035377295360 94035378696941 140726342252368 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94035378968368 94035380842672 94035408416768 140726342257054 140726342257130 140726342257130 140726342262732 0
/proc/51807/statm: 515247 26339 1728 343 0 512311 0
Current children cumulated CPU time: 18.34 s
Current children cumulated vsize: 2060988 KiB
Current children cumulated memory: 105356 KiB

[startup+18.8001 s]
/proc/loadavg: 4.02 4.09 4.07 5/263 51867
/proc/meminfo: memFree=124462888/131249992 swapFree=33010160/33010684
[pid=51807] ppid=51803 vsize=2060988 memory=105356 CPUtime=18.74 cores=4,6
/proc/51807/stat : 51807 (pb_picat) R 51803 51807 51027 0 -1 4194304 30833 0 0 0 1865 9 0 0 20 0 1 0 54201641 2110451712 26339 18446744073709551615 94035377295360 94035378696941 140726342252368 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94035378968368 94035380842672 94035408416768 140726342257054 140726342257130 140726342257130 140726342262732 0
/proc/51807/statm: 515247 26339 1728 343 0 512311 0
Current children cumulated CPU time: 18.74 s
Current children cumulated vsize: 2060988 KiB
Current children cumulated memory: 105356 KiB

Child status: 0

Real time (s): 18.8957
CPU time (s): 18.84
CPU user time (s): 18.7345
CPU system time (s): 0.105455
CPU usage (%): 99.7048
Max. virtual memory (cumulated for all children) (KiB): 2076352
Max. memory (cumulated for all children) (KiB): 112556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.7345
system time used= 0.105455
maximum resident set size= 113068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30838
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= 66
involuntary context switches= 27


# summary of solver processes directly reported to runsolver:
#   pid: 51807
#   total CPU time (s): 18.84
#   total CPU user time (s): 18.7345
#   total CPU system time (s): 0.105455

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042426 second user time and 0.125552 second system time

The end

Begin job on nodeC035 at 2025-07-01 17:54:31
IDJOB=4496683
IDBENCH=148139
IDSOLVER=3346
FILE ID=nodeC035/4496683-1751385271
RUNJOBID= nodeC035-1751381593-51038
SLURM_JOB_ID= 9598223
Free space on /tmp= 433044 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4496683-1751385271/watcher-4496683-1751385271 -o /tmp/evaluation-result-4496683-1751385271/solver-4496683-1751385271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751381593-51038 --watchdog 3760  pb_picat HOME/instance-4496683-1751385271.opb

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

MD5SUM BENCH= 6595cc4610fad26587cd2ec4880b38c3
RANDOM SEED=698684634

nodeC035 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.141
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.51
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.706
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.125
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.51
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		: 3596.505
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.51
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		: 3600.116
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.51
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.741
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.51
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.748
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.51
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		: 3768.996
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        124555224 kB
MemAvailable:   129398924 kB
Buffers:            1840 kB
Cached:          5596172 kB
SwapCached:            8 kB
Active:           657316 kB
Inactive:        5304916 kB
Active(anon):     370664 kB
Inactive(anon):    11604 kB
Active(file):     286652 kB
Inactive(file):  5293312 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4920 kB
Writeback:             0 kB
AnonPages:        367776 kB
Mapped:           110312 kB
Shmem:             18048 kB
KReclaimable:     205952 kB
Slab:             294952 kB
SReclaimable:     205952 kB
SUnreclaim:        89000 kB
KernelStack:        4240 kB
PageTables:         3832 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4444264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    288768 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433044 MiB
End job on nodeC035 at 2025-07-01 17:54:50