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

OK	0

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
solver pid=992599, runsolver pid=992593
Current StackSize limit: 8192 KiB


[startup+0.100101 s]*
/proc/loadavg: 1.10 1.73 2.74 6/253 992612
/proc/meminfo: memFree=123569608/131524600 swapFree=131071996/131071996
[pid=992599] ppid=992593 vsize=2033608 memory=36324 CPUtime=0.09 cores=5,7
/proc/992599/stat : 992599 (pb_picat) R 992593 992599 992550 0 -1 4194304 1045 0 0 0 9 0 0 0 20 0 1 0 185092959 2082414592 9081 134679101440 4194304 5989780 140733128843232 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22691840 140733128852504 140733128852580 140733128852580 140733128859596 0
/proc/992599/statm: 508402 9081 1600 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 36324 KiB

[startup+0.205871 s]*
/proc/loadavg: 1.10 1.73 2.74 6/251 992612
/proc/meminfo: memFree=123514624/131524600 swapFree=131071996/131071996
[pid=992599] ppid=992593 vsize=2033608 memory=54952 CPUtime=0.2 cores=5,7
/proc/992599/stat : 992599 (pb_picat) R 992593 992599 992550 0 -1 4194304 1057 0 0 0 20 0 0 0 20 0 1 0 185092959 2082414592 13738 134679101440 4194304 5989780 140733128843232 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22691840 140733128852504 140733128852580 140733128852580 140733128859596 0
/proc/992599/statm: 508402 13738 1600 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 54952 KiB

[startup+0.305966 s]*
/proc/loadavg: 1.10 1.73 2.74 5/257 992623
/proc/meminfo: memFree=123435428/131524600 swapFree=131071996/131071996
[pid=992599] ppid=992593 vsize=2033608 memory=71336 CPUtime=0.3 cores=5,7
/proc/992599/stat : 992599 (pb_picat) R 992593 992599 992550 0 -1 4194304 1068 0 0 0 29 1 0 0 20 0 1 0 185092959 2082414592 17834 134679101440 4194304 5989780 140733128843232 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22691840 140733128852504 140733128852580 140733128852580 140733128859596 0
/proc/992599/statm: 508402 17834 1600 439 0 503831 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 71336 KiB

[startup+0.700217 s]
/proc/loadavg: 1.10 1.73 2.74 5/257 992623
/proc/meminfo: memFree=123284868/131524600 swapFree=131071996/131071996
[pid=992599] ppid=992593 vsize=2033608 memory=145064 CPUtime=0.68 cores=5,7
/proc/992599/stat : 992599 (pb_picat) R 992593 992599 992550 0 -1 4194304 1115 0 0 0 66 2 0 0 20 0 1 0 185092959 2082414592 36266 134679101440 4194304 5989780 140733128843232 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22691840 140733128852504 140733128852580 140733128852580 140733128859596 0
/proc/992599/statm: 508402 36266 1600 439 0 503831 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 145064 KiB

[startup+1.50023 s]
/proc/loadavg: 1.33 1.77 2.74 5/257 992625
/proc/meminfo: memFree=122918892/131524600 swapFree=131071996/131071996
[pid=992599] ppid=992593 vsize=2033608 memory=292640 CPUtime=1.48 cores=5,7
/proc/992599/stat : 992599 (pb_picat) R 992593 992599 992550 0 -1 4194304 1209 0 0 0 143 5 0 0 20 0 1 0 185092959 2082414592 73160 134679101440 4194304 5989780 140733128843232 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22691840 140733128852504 140733128852580 140733128852580 140733128859596 0
/proc/992599/statm: 508402 73160 1600 439 0 503831 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 292640 KiB

[startup+3.10571 s]
/proc/loadavg: 1.33 1.77 2.74 5/257 992625
/proc/meminfo: memFree=121697232/131524600 swapFree=131071996/131071996
[pid=992599] ppid=992593 vsize=2060440 memory=443012 CPUtime=3.09 cores=5,7
/proc/992599/stat : 992599 (pb_picat) R 992593 992599 992550 0 -1 4194304 9659 0 0 0 284 25 0 0 20 0 1 0 185092959 2109890560 110753 134679101440 4194304 5989780 140733128843232 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22691840 140733128852504 140733128852580 140733128852580 140733128859596 0
/proc/992599/statm: 515110 110753 1756 439 0 510539 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2060440 KiB
Current children cumulated memory: 443012 KiB

[startup+6.30022 s]
/proc/loadavg: 1.55 1.81 2.75 5/257 992625
/proc/meminfo: memFree=121073240/131524600 swapFree=131071996/131071996
[pid=992599] ppid=992593 vsize=2049588 memory=435736 CPUtime=6.27 cores=5,7
/proc/992599/stat : 992599 (pb_picat) R 992593 992599 992550 0 -1 4194304 17187 0 0 0 600 27 0 0 20 0 1 0 185092959 2098778112 108934 134679101440 4194304 5989780 140733128843232 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22691840 140733128852504 140733128852580 140733128852580 140733128859596 0
/proc/992599/statm: 512397 108934 1756 439 0 507826 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2049588 KiB
Current children cumulated memory: 435736 KiB

[startup+12.7002 s]
/proc/loadavg: 1.82 1.86 2.76 6/256 992626
/proc/meminfo: memFree=120339912/131524600 swapFree=131071996/131071996
[pid=992599] ppid=992593 vsize=2063924 memory=444228 CPUtime=12.66 cores=5,7
/proc/992599/stat : 992599 (pb_picat) R 992593 992599 992550 0 -1 4194304 29490 0 0 0 1235 31 0 0 20 0 1 0 185092959 2113458176 111057 134679101440 4194304 5989780 140733128843232 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22691840 140733128852504 140733128852580 140733128852580 140733128859596 0
/proc/992599/statm: 515981 111057 1756 439 0 511410 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2063924 KiB
Current children cumulated memory: 444228 KiB

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

# cumulated CPU time of all completed processes:  user=15.884 s, system=0.334336 s

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

[startup+12.8003 s]
/proc/loadavg: 1.82 1.86 2.76 6/256 992626
/proc/meminfo: memFree=120339912/131524600 swapFree=131071996/131071996
[pid=992599] ppid=992593 vsize=2072116 memory=446072 CPUtime=12.76 cores=5,7
/proc/992599/stat : 992599 (pb_picat) R 992593 992599 992550 0 -1 4194304 29925 0 0 0 1245 31 0 0 20 0 1 0 185092959 2121846784 111518 134679101440 4194304 5989780 140733128843232 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22691840 140733128852504 140733128852580 140733128852580 140733128859596 0
/proc/992599/statm: 518029 111518 1756 439 0 513458 0
Current children cumulated CPU time: 12.76 s
Current children cumulated vsize: 2072116 KiB
Current children cumulated memory: 446072 KiB

[startup+14.4002 s]
/proc/loadavg: 1.82 1.86 2.76 5/256 992626
/proc/meminfo: memFree=119617044/131524600 swapFree=131071996/131071996
[pid=992599] ppid=992593 vsize=2072116 memory=448320 CPUtime=14.36 cores=5,7
/proc/992599/stat : 992599 (pb_picat) R 992593 992599 992550 0 -1 4194304 31734 0 0 0 1405 31 0 0 20 0 1 0 185092959 2121846784 112080 134679101440 4194304 5989780 140733128843232 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22691840 140733128852504 140733128852580 140733128852580 140733128859596 0
/proc/992599/statm: 518029 112080 1756 439 0 513458 0
Current children cumulated CPU time: 14.36 s
Current children cumulated vsize: 2072116 KiB
Current children cumulated memory: 448320 KiB

[startup+15.2002 s]
/proc/loadavg: 1.82 1.86 2.76 5/256 992626
/proc/meminfo: memFree=119554552/131524600 swapFree=131071996/131071996
[pid=992599] ppid=992593 vsize=2072116 memory=454084 CPUtime=15.15 cores=5,7
/proc/992599/stat : 992599 (pb_picat) R 992593 992599 992550 0 -1 4194304 33393 0 0 0 1484 31 0 0 20 0 1 0 185092959 2121846784 113521 134679101440 4194304 5989780 140733128843232 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22691840 140733128852504 140733128852580 140733128852580 140733128859596 0
/proc/992599/statm: 518029 113521 1756 439 0 513458 0
Current children cumulated CPU time: 15.15 s
Current children cumulated vsize: 2072116 KiB
Current children cumulated memory: 454084 KiB

[startup+16.0002 s]*
/proc/loadavg: 2.08 1.91 2.77 5/256 992626
/proc/meminfo: memFree=119543264/131524600 swapFree=131071996/131071996
[pid=992599] ppid=992593 vsize=2072116 memory=448320 CPUtime=15.95 cores=5,7
/proc/992599/stat : 992599 (pb_picat) R 992593 992599 992550 0 -1 4194304 34002 0 0 0 1564 31 0 0 20 0 1 0 185092959 2121846784 112080 134679101440 4194304 5989780 140733128843232 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22691840 140733128852504 140733128852580 140733128852580 140733128859596 0
/proc/992599/statm: 518029 112080 1756 439 0 513458 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 2072116 KiB
Current children cumulated memory: 448320 KiB

[startup+16.2002 s]
/proc/loadavg: 2.08 1.91 2.77 5/256 992626
/proc/meminfo: memFree=119543264/131524600 swapFree=131071996/131071996
[pid=992599] ppid=992593 vsize=2072116 memory=450368 CPUtime=16.15 cores=5,7
/proc/992599/stat : 992599 (pb_picat) R 992593 992599 992550 0 -1 4194304 34003 0 0 0 1584 31 0 0 20 0 1 0 185092959 2121846784 112592 134679101440 4194304 5989780 140733128843232 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 22691840 140733128852504 140733128852580 140733128852580 140733128859596 0
/proc/992599/statm: 518029 112592 1756 439 0 513458 0
Current children cumulated CPU time: 16.15 s
Current children cumulated vsize: 2072116 KiB
Current children cumulated memory: 450368 KiB

Child status: 0

Real time (s): 16.2567
CPU time (s): 16.2183
CPU user time (s): 15.884
CPU system time (s): 0.334336
CPU usage (%): 99.7643
Max. virtual memory (cumulated for all children) (KiB): 2088500
Max. memory (cumulated for all children) (KiB): 456716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.884
system time used= 0.334336
maximum resident set size= 456716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34133
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= 4
involuntary context switches= 27


# summary of solver processes directly reported to runsolver:
#   pid: 992599
#   total CPU time (s): 16.2183
#   total CPU user time (s): 15.884
#   total CPU system time (s): 0.334336

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04064 second user time and 0.121884 second system time

The end

Begin job on nodeC033 at 2024-07-18 21:00:45
IDJOB=4446082
IDBENCH=155442
IDSOLVER=3068
FILE ID=nodeC033/4446082-1721329232
RUNJOBID= nodeC033-1721329244-992563
SLURM_JOB_ID= 7542695
Free space on /tmp= 890044 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-24.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446082-1721329232/watcher-4446082-1721329232 -o /tmp/evaluation-result-4446082-1721329232/solver-4446082-1721329232 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721329244-992563 --watchdog 3760  pb_picat HOME/instance-4446082-1721329232.opb

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

MD5SUM BENCH= 0ffe17eea1acb86364611cfd69bcd9b8
RANDOM SEED=310144182

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		: 3573.951
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		: 3658.647
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		: 3647.331
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		: 3645.020
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.057
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		: 3652.335
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		: 3582.222
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		: 3653.972
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:        123685704 kB
MemAvailable:   129594092 kB
Buffers:          530448 kB
Cached:          6149376 kB
SwapCached:            0 kB
Active:           969280 kB
Inactive:        6098144 kB
Active(anon):       1484 kB
Inactive(anon):   432340 kB
Active(file):     967796 kB
Inactive(file):  5665804 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             49592 kB
Writeback:             0 kB
AnonPages:        385228 kB
Mapped:           106768 kB
Shmem:             45908 kB
KReclaimable:     228872 kB
Slab:             355932 kB
SReclaimable:     228872 kB
SUnreclaim:       127060 kB
KernelStack:        3872 kB
PageTables:         9856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     715580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68576 kB
HardwareCorrupted:     0 kB
AnonHugePages:    325632 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= 889992 MiB
End job on nodeC033 at 2024-07-18 21:01:01