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

OK	24

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: 63931 MiB (59970 MiB free)
  memory of node 1: 64510 MiB (59637 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436564-1721174019/watcher-4436564-1721174019 -o /tmp/evaluation-result-4436564-1721174019/solver-4436564-1721174019 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721169345-878036 --watchdog 3760 pb_picat HOME/instance-4436564-1721174019.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=880499, runsolver pid=880496

[startup+0.100863 s]*
/proc/loadavg: 4.17 4.14 4.10 5/256 880500
/proc/meminfo: memFree=122439572/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2041424 memory=40740 CPUtime=0.09 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 652 0 0 0 9 0 0 0 20 0 1 0 169571661 2090418176 10185 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 510356 10185 1566 439 0 505785 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 40740 KiB

[startup+0.205863 s]*
/proc/loadavg: 4.17 4.14 4.10 6/256 880500
/proc/meminfo: memFree=122420440/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2041424 memory=60084 CPUtime=0.18 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 796 0 0 0 18 0 0 0 20 0 1 0 169571661 2090418176 15021 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 510356 15021 1614 439 0 505785 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 60084 KiB

[startup+0.305866 s]*
/proc/loadavg: 4.17 4.14 4.10 5/256 880500
/proc/meminfo: memFree=122393816/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2053060 memory=85052 CPUtime=0.28 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 3821 0 0 0 27 1 0 0 20 0 1 0 169571661 2102333440 21263 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 513265 21263 1786 439 0 508694 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2053060 KiB
Current children cumulated memory: 85052 KiB

[startup+0.70023 s]
/proc/loadavg: 4.17 4.14 4.10 5/256 880500
/proc/meminfo: memFree=122357828/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2118468 memory=129984 CPUtime=0.67 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 8752 0 0 0 64 3 0 0 20 0 1 0 169571661 2169311232 32496 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 529617 32496 1802 439 0 525046 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2118468 KiB
Current children cumulated memory: 129984 KiB

[startup+1.50021 s]
/proc/loadavg: 4.17 4.14 4.10 5/256 880500
/proc/meminfo: memFree=122338528/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2118468 memory=129984 CPUtime=1.46 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 8758 0 0 0 143 3 0 0 20 0 1 0 169571661 2169311232 32496 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 529617 32496 1802 439 0 525046 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 2118468 KiB
Current children cumulated memory: 129984 KiB

[startup+3.10547 s]
/proc/loadavg: 4.16 4.14 4.10 5/256 880500
/proc/meminfo: memFree=122406244/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2118468 memory=129984 CPUtime=3.07 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 8797 0 0 0 303 4 0 0 20 0 1 0 169571661 2169311232 32496 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 529617 32496 1802 439 0 525046 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2118468 KiB
Current children cumulated memory: 129984 KiB

[startup+6.3002 s]
/proc/loadavg: 4.16 4.14 4.10 5/256 880501
/proc/meminfo: memFree=122420700/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2118468 memory=130016 CPUtime=6.26 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 8864 0 0 0 622 4 0 0 20 0 1 0 169571661 2169311232 32504 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 529617 32504 1802 439 0 525046 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2118468 KiB
Current children cumulated memory: 130016 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.13 4.10 5/256 880501
/proc/meminfo: memFree=122413260/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2126792 memory=142000 CPUtime=12.65 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 14160 0 0 0 1259 6 0 0 20 0 1 0 169571661 2177835008 35500 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 531698 35500 1802 439 0 527127 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2126792 KiB
Current children cumulated memory: 142000 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.09 5/256 880505
/proc/meminfo: memFree=122386848/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2099044 memory=123732 CPUtime=25.4 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 28891 0 0 0 2527 13 0 0 20 0 1 0 169571661 2149421056 30933 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 524761 30933 1802 439 0 520190 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2099044 KiB
Current children cumulated memory: 123732 KiB

[startup+51.1055 s]
/proc/loadavg: 4.15 4.13 4.10 5/256 880508
/proc/meminfo: memFree=122396392/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2160484 memory=156644 CPUtime=50.93 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 43269 0 0 0 5072 21 0 0 20 0 1 0 169571661 2212335616 39161 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 540121 39161 1802 439 0 535550 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2160484 KiB
Current children cumulated memory: 156644 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 880518
/proc/meminfo: memFree=122520924/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2160560 memory=160608 CPUtime=101.98 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 69837 0 0 0 10161 37 0 0 20 0 1 0 169571661 2212413440 40152 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 540140 40152 1802 439 0 535569 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2160560 KiB
Current children cumulated memory: 160608 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 880912
/proc/meminfo: memFree=122547816/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2129816 memory=156836 CPUtime=161.78 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 111723 0 0 0 16123 55 0 0 20 0 1 0 169571661 2180931584 39209 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 532454 39209 1802 439 0 527883 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 2129816 KiB
Current children cumulated memory: 156836 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 880923
/proc/meminfo: memFree=122432160/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2160060 memory=156076 CPUtime=221.62 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 140899 0 0 0 22090 72 0 0 20 0 1 0 169571661 2211901440 39019 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 540015 39019 1802 439 0 535444 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 2160060 KiB
Current children cumulated memory: 156076 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 880933
/proc/meminfo: memFree=122349840/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2163484 memory=163996 CPUtime=281.44 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 183450 0 0 0 28051 93 0 0 20 0 1 0 169571661 2215407616 40999 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 540871 40999 1802 439 0 536300 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 2163484 KiB
Current children cumulated memory: 163996 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/259 881113
/proc/meminfo: memFree=122340616/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2196252 memory=172076 CPUtime=341.25 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 207810 0 0 0 34019 106 0 0 20 0 1 0 169571661 2248962048 43019 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 549063 43019 1802 439 0 544492 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 2196252 KiB
Current children cumulated memory: 172076 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 881123
/proc/meminfo: memFree=122417636/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2163484 memory=196616 CPUtime=401.07 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 219397 0 0 0 39995 112 0 0 20 0 1 0 169571661 2215407616 49154 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 540871 49154 1802 439 0 536300 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 2163484 KiB
Current children cumulated memory: 196616 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/259 881152
/proc/meminfo: memFree=122445364/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2130716 memory=153720 CPUtime=460.89 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 250038 0 0 0 45959 130 0 0 20 0 1 0 169571661 2181853184 38430 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 532679 38430 1802 439 0 528108 0

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

/proc/loadavg: 2.54 3.59 3.91 3/240 882217
/proc/meminfo: memFree=123583344/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2210876 memory=211924 CPUtime=2614.23 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 726344 0 0 0 260923 500 0 0 20 0 1 0 169571661 2263937024 52981 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 552719 52981 1802 439 0 548148 0
Current children cumulated CPU time: 2614.23 s
Current children cumulated vsize: 2210876 KiB
Current children cumulated memory: 211924 KiB

[startup+2682.3 s]
/proc/loadavg: 1.70 3.16 3.74 2/233 882257
/proc/meminfo: memFree=123904960/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2210876 memory=214448 CPUtime=2674.08 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 733813 0 0 0 266898 510 0 0 20 0 1 0 169571661 2263937024 53612 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 552719 53612 1802 439 0 548148 0
Current children cumulated CPU time: 2674.08 s
Current children cumulated vsize: 2210876 KiB
Current children cumulated memory: 214448 KiB

[startup+2742.3 s]
/proc/loadavg: 1.59 2.85 3.59 2/233 882268
/proc/meminfo: memFree=123890724/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2210876 memory=224256 CPUtime=2733.95 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 746257 0 0 0 272866 529 0 0 20 0 1 0 169571661 2263937024 56064 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 552719 56064 1802 439 0 548148 0
Current children cumulated CPU time: 2733.95 s
Current children cumulated vsize: 2210876 KiB
Current children cumulated memory: 224256 KiB

[startup+2802.3 s]
/proc/loadavg: 1.29 2.54 3.44 2/233 882279
/proc/meminfo: memFree=123859208/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2276412 memory=257636 CPUtime=2793.83 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 761974 0 0 0 278834 549 0 0 20 0 1 0 169571661 2331045888 64409 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 569103 64409 1802 439 0 564532 0
Current children cumulated CPU time: 2793.83 s
Current children cumulated vsize: 2276412 KiB
Current children cumulated memory: 257636 KiB

[startup+2862.3 s]
/proc/loadavg: 1.20 2.28 3.29 2/236 882296
/proc/meminfo: memFree=123780760/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2407484 memory=333576 CPUtime=2853.7 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 774633 0 0 0 284801 569 0 0 20 0 1 0 169571661 2465263616 83394 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 601871 83394 1802 439 0 597300 0
Current children cumulated CPU time: 2853.7 s
Current children cumulated vsize: 2407484 KiB
Current children cumulated memory: 333576 KiB

[startup+2922.3 s]
/proc/loadavg: 1.12 2.06 3.15 2/237 882308
/proc/meminfo: memFree=123683320/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2669628 memory=433756 CPUtime=2913.57 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 792278 0 0 0 290768 589 0 0 20 0 1 0 169571661 2733699072 108439 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 667407 108439 1802 439 0 662836 0
Current children cumulated CPU time: 2913.57 s
Current children cumulated vsize: 2669628 KiB
Current children cumulated memory: 433756 KiB

[startup+2982.3 s]
/proc/loadavg: 1.15 1.90 3.03 2/237 882318
/proc/meminfo: memFree=123897504/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2210876 memory=214324 CPUtime=2973.43 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 793717 0 0 0 296750 593 0 0 20 0 1 0 169571661 2263937024 53581 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 552719 53581 1802 439 0 548148 0
Current children cumulated CPU time: 2973.43 s
Current children cumulated vsize: 2210876 KiB
Current children cumulated memory: 214324 KiB

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

# cumulated CPU time of all completed processes:  user=2985.67 s, system=5.9456 s

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

[startup+2982.4 s]
/proc/loadavg: 1.15 1.90 3.03 2/237 882318
/proc/meminfo: memFree=123897504/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2210876 memory=214324 CPUtime=2973.53 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 793721 0 0 0 296760 593 0 0 20 0 1 0 169571661 2263937024 53581 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 552719 53581 1802 439 0 548148 0
Current children cumulated CPU time: 2973.53 s
Current children cumulated vsize: 2210876 KiB
Current children cumulated memory: 214324 KiB

[startup+2988.8 s]
/proc/loadavg: 1.14 1.88 3.02 2/237 882321
/proc/meminfo: memFree=123894824/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2210876 memory=216624 CPUtime=2979.91 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 793799 0 0 0 297398 593 0 0 20 0 1 0 169571661 2263937024 54156 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 552719 54156 1802 439 0 548148 0
Current children cumulated CPU time: 2979.91 s
Current children cumulated vsize: 2210876 KiB
Current children cumulated memory: 216624 KiB

[startup+2995.2 s]
/proc/loadavg: 1.12 1.85 2.99 2/237 882323
/proc/meminfo: memFree=123888264/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2210876 memory=222768 CPUtime=2986.29 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 793805 0 0 0 298036 593 0 0 20 0 1 0 169571661 2263937024 55692 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 552719 55692 1802 439 0 548148 0
Current children cumulated CPU time: 2986.29 s
Current children cumulated vsize: 2210876 KiB
Current children cumulated memory: 222768 KiB

[startup+2998.4 s]
/proc/loadavg: 1.12 1.85 2.99 2/237 882323
/proc/meminfo: memFree=123888264/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2210876 memory=222768 CPUtime=2989.49 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 793805 0 0 0 298356 593 0 0 20 0 1 0 169571661 2263937024 55692 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 552719 55692 1802 439 0 548148 0
Current children cumulated CPU time: 2989.49 s
Current children cumulated vsize: 2210876 KiB
Current children cumulated memory: 222768 KiB

[startup+2999.2 s]
/proc/loadavg: 1.11 1.84 2.98 2/237 882323
/proc/meminfo: memFree=123888264/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2210876 memory=222768 CPUtime=2990.28 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 793805 0 0 0 298435 593 0 0 20 0 1 0 169571661 2263937024 55692 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 552719 55692 1802 439 0 548148 0
Current children cumulated CPU time: 2990.28 s
Current children cumulated vsize: 2210876 KiB
Current children cumulated memory: 222768 KiB

[startup+3000 s]*
/proc/loadavg: 1.11 1.84 2.98 2/237 882323
/proc/meminfo: memFree=123888264/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2210876 memory=222768 CPUtime=2991.09 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 793805 0 0 0 298516 593 0 0 20 0 1 0 169571661 2263937024 55692 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 552719 55692 1802 439 0 548148 0
Current children cumulated CPU time: 2991.09 s
Current children cumulated vsize: 2210876 KiB
Current children cumulated memory: 222768 KiB

[startup+3000.4 s]
/proc/loadavg: 1.11 1.84 2.98 2/237 882323
/proc/meminfo: memFree=123888264/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2178108 memory=181876 CPUtime=2991.48 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 794241 0 0 0 298555 593 0 0 20 0 1 0 169571661 2230382592 45469 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 544527 45469 1802 439 0 539956 0
Current children cumulated CPU time: 2991.48 s
Current children cumulated vsize: 2178108 KiB
Current children cumulated memory: 181876 KiB

[startup+3000.5 s]
/proc/loadavg: 1.11 1.84 2.98 2/237 882323
/proc/meminfo: memFree=123888264/131524600 swapFree=131071996/131071996
[pid=880499] ppid=880496 vsize=2178108 memory=183924 CPUtime=2991.58 cores=4,6
/proc/880499/stat : 880499 (pb_picat) R 880496 880499 878023 0 -1 4194304 794249 0 0 0 298565 593 0 0 20 0 1 0 169571661 2230382592 45981 134679101440 4194304 5989780 140736649813136 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 20578304 140736649815065 140736649815141 140736649815141 140736649822156 0
/proc/880499/statm: 544527 45981 1802 439 0 539956 0
Current children cumulated CPU time: 2991.58 s
Current children cumulated vsize: 2178108 KiB
Current children cumulated memory: 183924 KiB

Child status: 0

Real time (s): 3000.52
CPU time (s): 2991.61
CPU user time (s): 2985.67
CPU system time (s): 5.9456
CPU usage (%): 99.7031
Max. virtual memory (cumulated for all children) (KiB): 2669628
Max. memory (cumulated for all children) (KiB): 501516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2985.67
system time used= 5.9456
maximum resident set size= 501516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 794265
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= 26
involuntary context switches= 3215


# summary of solver processes directly reported to runsolver:
#   pid: 880499
#   total CPU time (s): 2991.61
#   total CPU user time (s): 2985.67
#   total CPU system time (s): 5.9456

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.52718 second user time and 13.7259 second system time

The end

Begin job on nodeC033 at 2024-07-17 01:53:52
IDJOB=4436564
IDBENCH=158623
IDSOLVER=3068
FILE ID=nodeC033/4436564-1721174019
RUNJOBID= nodeC033-1721169345-878036
SLURM_JOB_ID= 7505800
Free space on /tmp= 890068 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436564-1721174019/watcher-4436564-1721174019 -o /tmp/evaluation-result-4436564-1721174019/solver-4436564-1721174019 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721169345-878036 --watchdog 3760  pb_picat HOME/instance-4436564-1721174019.opb

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

MD5SUM BENCH= 77f517750a725db7576a06de15f60331
RANDOM SEED=640580244

nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3653.385
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3686.653
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3609.901
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.318
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3647.501
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3686.982
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3643.019
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.900
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122479312 kB
MemAvailable:   127999380 kB
Buffers:          462720 kB
Cached:          5825796 kB
SwapCached:            0 kB
Active:           746684 kB
Inactive:        7549040 kB
Active(anon):       1580 kB
Inactive(anon):  2043012 kB
Active(file):     745104 kB
Inactive(file):  5506028 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4180 kB
Writeback:             0 kB
AnonPages:       2002044 kB
Mapped:           114940 kB
Shmem:             37716 kB
KReclaimable:     217168 kB
Slab:             338492 kB
SReclaimable:     217168 kB
SUnreclaim:       121324 kB
KernelStack:        4124 kB
PageTables:        13284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8091976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63520 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1499136 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC033 at 2024-07-17 02:43:52