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

OK	-2125803880

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: 63837 MiB (62858 MiB free)
  memory of node 1: 64465 MiB (63503 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512521-1751527802/watcher-4512521-1751527802 -o /tmp/evaluation-result-4512521-1751527802/solver-4512521-1751527802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751527802-71823 --watchdog 3760 pb_picat HOME/instance-4512521-1751527802.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=71877, runsolver pid=71865
Current StackSize limit: 8192 KiB


[startup+0.100104 s]*
/proc/loadavg: 1.51 3.24 3.82 7/253 71883
/proc/meminfo: memFree=129353056/131382120 swapFree=33010416/33010684
[pid=71877] ppid=71865 vsize=2027148 memory=25876 CPUtime=0.09 cores=0,2
/proc/71877/stat : 71877 (pb_picat) R 71865 71877 71813 0 -1 4194304 986 0 0 0 8 1 0 0 20 0 1 0 68459047 2075799552 6469 18446744073709551615 94538888228864 94538889630445 140730006939376 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94538889901872 94538891776176 94538905133056 140730006948254 140730006948330 140730006948330 140730006953932 0
/proc/71877/statm: 506787 6469 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 25876 KiB

[startup+0.213259 s]*
/proc/loadavg: 1.51 3.24 3.82 7/253 71883
/proc/meminfo: memFree=129340976/131382120 swapFree=33010416/33010684
[pid=71877] ppid=71865 vsize=2027148 memory=32056 CPUtime=0.21 cores=0,2
/proc/71877/stat : 71877 (pb_picat) R 71865 71877 71813 0 -1 4194304 1000 0 0 0 19 2 0 0 20 0 1 0 68459047 2075799552 8014 18446744073709551615 94538888228864 94538889630445 140730006939376 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94538889901872 94538891776176 94538905133056 140730006948254 140730006948330 140730006948330 140730006953932 0
/proc/71877/statm: 506787 8014 1568 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32056 KiB

[startup+0.313315 s]*
/proc/loadavg: 1.51 3.24 3.82 7/253 71883
/proc/meminfo: memFree=129328688/131382120 swapFree=33010416/33010684
[pid=71877] ppid=71865 vsize=2027148 memory=38240 CPUtime=0.31 cores=0,2
/proc/71877/stat : 71877 (pb_picat) R 71865 71877 71813 0 -1 4194304 1012 0 0 0 29 2 0 0 20 0 1 0 68459047 2075799552 9560 18446744073709551615 94538888228864 94538889630445 140730006939376 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94538889901872 94538891776176 94538905133056 140730006948254 140730006948330 140730006948330 140730006953932 0
/proc/71877/statm: 506787 9560 1568 343 0 503851 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38240 KiB

[startup+0.700285 s]
/proc/loadavg: 1.51 3.24 3.82 7/253 71883
/proc/meminfo: memFree=129296476/131382120 swapFree=33010416/33010684
[pid=71877] ppid=71865 vsize=2034964 memory=63000 CPUtime=0.68 cores=0,2
/proc/71877/stat : 71877 (pb_picat) R 71865 71877 71813 0 -1 4194304 1069 0 0 0 65 3 0 0 20 0 1 0 68459047 2083803136 15750 18446744073709551615 94538888228864 94538889630445 140730006939376 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94538889901872 94538891776176 94538905133056 140730006948254 140730006948330 140730006948330 140730006953932 0
/proc/71877/statm: 508741 15750 1600 343 0 505805 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 63000 KiB

[startup+1.50033 s]
/proc/loadavg: 1.51 3.24 3.82 7/253 71883
/proc/meminfo: memFree=129243228/131382120 swapFree=33010416/33010684
[pid=71877] ppid=71865 vsize=2038932 memory=77944 CPUtime=1.47 cores=0,2
/proc/71877/stat : 71877 (pb_picat) R 71865 71877 71813 0 -1 4194304 5459 0 0 0 142 5 0 0 20 0 1 0 68459047 2087866368 19486 18446744073709551615 94538888228864 94538889630445 140730006939376 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94538889901872 94538891776176 94538905133056 140730006948254 140730006948330 140730006948330 140730006953932 0
/proc/71877/statm: 509733 19486 1760 343 0 506797 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2038932 KiB
Current children cumulated memory: 77944 KiB

[startup+3.11324 s]
/proc/loadavg: 1.71 3.25 3.82 5/251 71897
/proc/meminfo: memFree=129206424/131382120 swapFree=33010416/33010684
[pid=71877] ppid=71865 vsize=2037868 memory=76976 CPUtime=3.08 cores=0,2
/proc/71877/stat : 71877 (pb_picat) R 71865 71877 71813 0 -1 4194304 17274 0 0 0 300 8 0 0 20 0 1 0 68459047 2086776832 19244 18446744073709551615 94538888228864 94538889630445 140730006939376 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94538889901872 94538891776176 94538905133056 140730006948254 140730006948330 140730006948330 140730006953932 0
/proc/71877/statm: 509467 19244 1760 343 0 506531 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2037868 KiB
Current children cumulated memory: 76976 KiB

[startup+6.30027 s]
/proc/loadavg: 1.71 3.25 3.82 6/253 71928
/proc/meminfo: memFree=129195372/131382120 swapFree=33010416/33010684
[pid=71877] ppid=71865 vsize=2039908 memory=79120 CPUtime=6.26 cores=0,2
/proc/71877/stat : 71877 (pb_picat) R 71865 71877 71813 0 -1 4194304 30331 0 0 0 614 12 0 0 20 0 1 0 68459047 2088865792 19780 18446744073709551615 94538888228864 94538889630445 140730006939376 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94538889901872 94538891776176 94538905133056 140730006948254 140730006948330 140730006948330 140730006953932 0
/proc/71877/statm: 509977 19780 1760 343 0 507041 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2039908 KiB
Current children cumulated memory: 79120 KiB

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

# cumulated CPU time of all completed processes:  user=6.51247 s, system=0.135242 s

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

[startup+6.4003 s]
/proc/loadavg: 1.71 3.25 3.82 6/253 71928
/proc/meminfo: memFree=129195372/131382120 swapFree=33010416/33010684
[pid=71877] ppid=71865 vsize=2039908 memory=79120 CPUtime=6.36 cores=0,2
/proc/71877/stat : 71877 (pb_picat) R 71865 71877 71813 0 -1 4194304 30355 0 0 0 624 12 0 0 20 0 1 0 68459047 2088865792 19780 18446744073709551615 94538888228864 94538889630445 140730006939376 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94538889901872 94538891776176 94538905133056 140730006948254 140730006948330 140730006948330 140730006953932 0
/proc/71877/statm: 509977 19780 1760 343 0 507041 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 2039908 KiB
Current children cumulated memory: 79120 KiB

[startup+6.60024 s]
/proc/loadavg: 1.71 3.25 3.82 6/253 71928
/proc/meminfo: memFree=129195372/131382120 swapFree=33010416/33010684
[pid=71877] ppid=71865 vsize=2038808 memory=77548 CPUtime=6.56 cores=0,2
/proc/71877/stat : 71877 (pb_picat) R 71865 71877 71813 0 -1 4194304 31030 0 0 0 644 12 0 0 20 0 1 0 68459047 2087739392 19387 18446744073709551615 94538888228864 94538889630445 140730006939376 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94538889901872 94538891776176 94538905133056 140730006948254 140730006948330 140730006948330 140730006953932 0
/proc/71877/statm: 509702 19387 1760 343 0 506766 0
Current children cumulated CPU time: 6.56 s
Current children cumulated vsize: 2038808 KiB
Current children cumulated memory: 77548 KiB

Child status: 0

Real time (s): 6.68098
CPU time (s): 6.64771
CPU user time (s): 6.51247
CPU system time (s): 0.135242
CPU usage (%): 99.5019
Max. virtual memory (cumulated for all children) (KiB): 2040932
Max. memory (cumulated for all children) (KiB): 79284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.51246
system time used= 0.135242
maximum resident set size= 79376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31139
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= 90
involuntary context switches= 15


# summary of solver processes directly reported to runsolver:
#   pid: 71877
#   total CPU time (s): 6.64771
#   total CPU user time (s): 6.51247
#   total CPU system time (s): 0.135242

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.078487 second user time and 0.127197 second system time

The end

Begin job on nodeC002 at 2025-07-03 09:30:02
IDJOB=4512521
IDBENCH=161651
IDSOLVER=3346
FILE ID=nodeC002/4512521-1751527802
RUNJOBID= nodeC002-1751527802-71823
SLURM_JOB_ID= 9598663
Free space on /tmp= 432744 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f50-DC_side2.seq-B-3-1-EDCBAir.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512521-1751527802/watcher-4512521-1751527802 -o /tmp/evaluation-result-4512521-1751527802/solver-4512521-1751527802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751527802-71823 --watchdog 3760  pb_picat HOME/instance-4512521-1751527802.opb

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

MD5SUM BENCH= 7de606874d42ecdf98323507bb2ad8b4
RANDOM SEED=2054875345

nodeC002 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	: 0xb00001f
cpu MHz		: 1197.468
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.229
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.223
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.273
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.223
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1192.749
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.432
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.237
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129378536 kB
MemAvailable:   129893824 kB
Buffers:            2128 kB
Cached:          1321260 kB
SwapCached:           28 kB
Active:           369208 kB
Inactive:        1018188 kB
Active(anon):      75536 kB
Inactive(anon):     6404 kB
Active(file):     293672 kB
Inactive(file):  1011784 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13944 kB
Writeback:             0 kB
AnonPages:         67120 kB
Mapped:           102684 kB
Shmem:             17932 kB
KReclaimable:      98916 kB
Slab:             182484 kB
SReclaimable:      98916 kB
SUnreclaim:        83568 kB
KernelStack:        3940 kB
PageTables:         2576 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     331852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149304 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432728 MiB
End job on nodeC002 at 2025-07-03 09:30:09