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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528610-1752245823/watcher-4528610-1752245823 -o /tmp/evaluation-result-4528610-1752245823/solver-4528610-1752245823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752245108-118259 --watchdog 3760 pb_picat HOME/instance-4528610-1752245823.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=118395, runsolver pid=118392

[startup+0.10006 s]*
/proc/loadavg: 4.09 3.97 3.70 5/249 118396
/proc/meminfo: memFree=128646316/131382112 swapFree=33002444/33010684
[pid=118395] ppid=118392 vsize=2027148 memory=23960 CPUtime=0.09 cores=4,6
/proc/118395/stat : 118395 (pb_picat) R 118392 118395 118248 0 -1 4194304 989 0 0 0 9 0 0 0 20 0 1 0 140261669 2075799552 5990 18446744073709551615 94409450541056 94409451942637 140735255352144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94409452214064 94409454088304 94409478852608 140735255357852 140735255357928 140735255357928 140735255363532 0
/proc/118395/statm: 506787 5990 1600 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 23960 KiB

[startup+0.212902 s]*
/proc/loadavg: 4.09 3.97 3.70 5/249 118396
/proc/meminfo: memFree=128646584/131382112 swapFree=33002444/33010684
[pid=118395] ppid=118392 vsize=2027148 memory=30140 CPUtime=0.21 cores=4,6
/proc/118395/stat : 118395 (pb_picat) R 118392 118395 118248 0 -1 4194304 1003 0 0 0 21 0 0 0 20 0 1 0 140261669 2075799552 7535 18446744073709551615 94409450541056 94409451942637 140735255352144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94409452214064 94409454088304 94409478852608 140735255357852 140735255357928 140735255357928 140735255363532 0
/proc/118395/statm: 506787 7535 1600 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 30140 KiB

[startup+0.312732 s]*
/proc/loadavg: 4.09 3.97 3.70 5/249 118396
/proc/meminfo: memFree=128642552/131382112 swapFree=33002444/33010684
[pid=118395] ppid=118392 vsize=2027148 memory=36324 CPUtime=0.3 cores=4,6
/proc/118395/stat : 118395 (pb_picat) R 118392 118395 118248 0 -1 4194304 1016 0 0 0 30 0 0 0 20 0 1 0 140261669 2075799552 9081 18446744073709551615 94409450541056 94409451942637 140735255352144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94409452214064 94409454088304 94409478852608 140735255357852 140735255357928 140735255357928 140735255363532 0
/proc/118395/statm: 506787 9081 1600 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36324 KiB

[startup+0.700319 s]
/proc/loadavg: 4.09 3.97 3.70 5/249 118396
/proc/meminfo: memFree=128634360/131382112 swapFree=33002444/33010684
[pid=118395] ppid=118392 vsize=2034964 memory=61080 CPUtime=0.68 cores=4,6
/proc/118395/stat : 118395 (pb_picat) R 118392 118395 118248 0 -1 4194304 1071 0 0 0 67 1 0 0 20 0 1 0 140261669 2083803136 15270 18446744073709551615 94409450541056 94409451942637 140735255352144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94409452214064 94409454088304 94409478852608 140735255357852 140735255357928 140735255357928 140735255363532 0
/proc/118395/statm: 508741 15270 1632 343 0 505805 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 61080 KiB

[startup+1.50031 s]
/proc/loadavg: 4.09 3.97 3.70 5/249 118396
/proc/meminfo: memFree=128605436/131382112 swapFree=33002444/33010684
[pid=118395] ppid=118392 vsize=2038932 memory=75772 CPUtime=1.48 cores=4,6
/proc/118395/stat : 118395 (pb_picat) R 118392 118395 118248 0 -1 4194304 5442 0 0 0 144 4 0 0 20 0 1 0 140261669 2087866368 18943 18446744073709551615 94409450541056 94409451942637 140735255352144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94409452214064 94409454088304 94409478852608 140735255357852 140735255357928 140735255357928 140735255363532 0
/proc/118395/statm: 509733 18943 1760 343 0 506797 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2038932 KiB
Current children cumulated memory: 75772 KiB

[startup+3.11241 s]
/proc/loadavg: 4.09 3.97 3.70 5/249 118396
/proc/meminfo: memFree=128587108/131382112 swapFree=33002444/33010684
[pid=118395] ppid=118392 vsize=2038932 memory=75936 CPUtime=3.09 cores=4,6
/proc/118395/stat : 118395 (pb_picat) R 118392 118395 118248 0 -1 4194304 16832 0 0 0 301 8 0 0 20 0 1 0 140261669 2087866368 18984 18446744073709551615 94409450541056 94409451942637 140735255352144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94409452214064 94409454088304 94409478852608 140735255357852 140735255357928 140735255357928 140735255363532 0
/proc/118395/statm: 509733 18984 1760 343 0 506797 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2038932 KiB
Current children cumulated memory: 75936 KiB

[startup+6.30032 s]
/proc/loadavg: 4.08 3.97 3.71 5/249 118396
/proc/meminfo: memFree=128646752/131382112 swapFree=33002444/33010684
[pid=118395] ppid=118392 vsize=2039908 memory=76948 CPUtime=6.27 cores=4,6
/proc/118395/stat : 118395 (pb_picat) R 118392 118395 118248 0 -1 4194304 30328 0 0 0 615 12 0 0 20 0 1 0 140261669 2088865792 19237 18446744073709551615 94409450541056 94409451942637 140735255352144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94409452214064 94409454088304 94409478852608 140735255357852 140735255357928 140735255357928 140735255363532 0
/proc/118395/statm: 509977 19237 1760 343 0 507041 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2039908 KiB
Current children cumulated memory: 76948 KiB

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

# cumulated CPU time of all completed processes:  user=6.60033 s, system=0.138519 s

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

[startup+6.40034 s]
/proc/loadavg: 4.08 3.97 3.71 5/249 118396
/proc/meminfo: memFree=128646752/131382112 swapFree=33002444/33010684
[pid=118395] ppid=118392 vsize=2039908 memory=77076 CPUtime=6.37 cores=4,6
/proc/118395/stat : 118395 (pb_picat) R 118392 118395 118248 0 -1 4194304 30349 0 0 0 625 12 0 0 20 0 1 0 140261669 2088865792 19269 18446744073709551615 94409450541056 94409451942637 140735255352144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94409452214064 94409454088304 94409478852608 140735255357852 140735255357928 140735255357928 140735255363532 0
/proc/118395/statm: 509977 19269 1760 343 0 507041 0
Current children cumulated CPU time: 6.37 s
Current children cumulated vsize: 2039908 KiB
Current children cumulated memory: 77076 KiB

[startup+6.6003 s]
/proc/loadavg: 4.08 3.97 3.71 5/249 118396
/proc/meminfo: memFree=128646752/131382112 swapFree=33002444/33010684
[pid=118395] ppid=118392 vsize=2039908 memory=76744 CPUtime=6.57 cores=4,6
/proc/118395/stat : 118395 (pb_picat) R 118392 118395 118248 0 -1 4194304 30505 0 0 0 645 12 0 0 20 0 1 0 140261669 2088865792 19186 18446744073709551615 94409450541056 94409451942637 140735255352144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94409452214064 94409454088304 94409478852608 140735255357852 140735255357928 140735255357928 140735255363532 0
/proc/118395/statm: 509977 19186 1760 343 0 507041 0
Current children cumulated CPU time: 6.57 s
Current children cumulated vsize: 2039908 KiB
Current children cumulated memory: 76744 KiB

[startup+6.70027 s]
/proc/loadavg: 4.08 3.97 3.71 5/249 118396
/proc/meminfo: memFree=128646752/131382112 swapFree=33002444/33010684
[pid=118395] ppid=118392 vsize=2038808 memory=75760 CPUtime=6.66 cores=4,6
/proc/118395/stat : 118395 (pb_picat) R 118392 118395 118248 0 -1 4194304 31077 0 0 0 654 12 0 0 20 0 1 0 140261669 2087739392 18940 18446744073709551615 94409450541056 94409451942637 140735255352144 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94409452214064 94409454088304 94409478852608 140735255357852 140735255357928 140735255357928 140735255363532 0
/proc/118395/statm: 509702 18940 1760 343 0 506766 0
Current children cumulated CPU time: 6.66 s
Current children cumulated vsize: 2038808 KiB
Current children cumulated memory: 75760 KiB

Child status: 0

Real time (s): 6.76448
CPU time (s): 6.73885
CPU user time (s): 6.60033
CPU system time (s): 0.138519
CPU usage (%): 99.6211
Max. virtual memory (cumulated for all children) (KiB): 2039920
Max. memory (cumulated for all children) (KiB): 77092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.60033
system time used= 0.138519
maximum resident set size= 77332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31140
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= 67
involuntary context switches= 44


# summary of solver processes directly reported to runsolver:
#   pid: 118395
#   total CPU time (s): 6.73885
#   total CPU user time (s): 6.60033
#   total CPU system time (s): 0.138519

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.068705 second user time and 0.131445 second system time

The end

Begin job on nodeC005 at 2025-07-11 16:57:03
IDJOB=4528610
IDBENCH=161651
IDSOLVER=3385
FILE ID=nodeC005/4528610-1752245823
RUNJOBID= nodeC005-1752245108-118259
SLURM_JOB_ID= 9682565
Free space on /tmp= 428600 MiB

SOLVER NAME= pb_picat 2025-07-11
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-4528610-1752245823/watcher-4528610-1752245823 -o /tmp/evaluation-result-4528610-1752245823/solver-4528610-1752245823 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752245108-118259 --watchdog 3760  pb_picat HOME/instance-4528610-1752245823.opb

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

MD5SUM BENCH= 7de606874d42ecdf98323507bb2ad8b4
RANDOM SEED=34934973

nodeC005 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		: 3661.319
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.90
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		: 3691.471
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.90
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.535
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.90
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		: 3700.000
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.90
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		: 1696.167
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.90
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		: 3691.498
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.90
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.244
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.90
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.365
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        128666396 kB
MemAvailable:   129467152 kB
Buffers:              12 kB
Cached:          1585248 kB
SwapCached:          244 kB
Active:           803152 kB
Inactive:        1311560 kB
Active(anon):     502636 kB
Inactive(anon):    39708 kB
Active(file):     300516 kB
Inactive(file):  1271852 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33002444 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4724 kB
Writeback:             0 kB
AnonPages:        532360 kB
Mapped:           110952 kB
Shmem:             12892 kB
KReclaimable:     136032 kB
Slab:             225376 kB
SReclaimable:     136032 kB
SUnreclaim:        89344 kB
KernelStack:        4048 kB
PageTables:         4208 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6739104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    364544 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 428596 MiB
End job on nodeC005 at 2025-07-11 16:57:10