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

OK	167

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: 64096 MiB (60572 MiB free)
  memory of node 1: 64473 MiB (61112 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436545-1721165484/watcher-4436545-1721165484 -o /tmp/evaluation-result-4436545-1721165484/solver-4436545-1721165484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721158273-865377 --watchdog 3760 pb_picat HOME/instance-4436545-1721165484.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
Current StackSize limit: 8192 KiB

solver pid=869685, runsolver pid=869682

[startup+0.100109 s]*
/proc/loadavg: 4.07 4.17 4.21 5/242 869686
/proc/meminfo: memFree=124575812/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2033608 memory=37224 CPUtime=0.1 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 854 0 0 0 10 0 0 0 20 0 1 0 168705509 2082414592 9306 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 508402 9306 1508 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 37224 KiB

[startup+0.212909 s]*
/proc/loadavg: 4.07 4.17 4.21 5/242 869686
/proc/meminfo: memFree=124561244/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2033608 memory=51788 CPUtime=0.21 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 863 0 0 0 21 0 0 0 20 0 1 0 168705509 2082414592 12947 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 508402 12947 1508 439 0 503831 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 51788 KiB

[startup+0.312819 s]*
/proc/loadavg: 4.07 4.17 4.21 5/242 869686
/proc/meminfo: memFree=124546748/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2041424 memory=62028 CPUtime=0.31 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 912 0 0 0 30 1 0 0 20 0 1 0 168705509 2090418176 15507 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 510356 15507 1508 439 0 505785 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 62028 KiB

[startup+0.700326 s]
/proc/loadavg: 4.07 4.17 4.21 5/242 869686
/proc/meminfo: memFree=124523100/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2053004 memory=117600 CPUtime=0.68 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 4041 0 0 0 66 2 0 0 20 0 1 0 168705509 2102276096 29400 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 513251 29400 1666 439 0 508680 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2053004 KiB
Current children cumulated memory: 117600 KiB

[startup+1.50032 s]
/proc/loadavg: 4.07 4.17 4.21 5/242 869686
/proc/meminfo: memFree=124491268/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2085644 memory=145500 CPUtime=1.49 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 7707 0 0 0 142 7 0 0 20 0 1 0 168705509 2135699456 36375 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 521411 36375 1746 439 0 516840 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2085644 KiB
Current children cumulated memory: 145500 KiB

[startup+3.11261 s]
/proc/loadavg: 4.15 4.18 4.21 5/242 869687
/proc/meminfo: memFree=124452980/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2087080 memory=146932 CPUtime=3.1 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 13466 0 0 0 301 9 0 0 20 0 1 0 168705509 2137169920 36733 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 521770 36733 1746 439 0 517199 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2087080 KiB
Current children cumulated memory: 146932 KiB

[startup+6.3003 s]
/proc/loadavg: 4.15 4.18 4.21 5/242 869687
/proc/meminfo: memFree=124448080/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2106336 memory=165188 CPUtime=6.27 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 18569 0 0 0 617 10 0 0 20 0 1 0 168705509 2156888064 41297 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 526584 41297 1746 439 0 522013 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2106336 KiB
Current children cumulated memory: 165188 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.18 4.21 5/242 869689
/proc/meminfo: memFree=124450056/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2091632 memory=158520 CPUtime=12.66 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 28957 0 0 0 1249 17 0 0 20 0 1 0 168705509 2141831168 39630 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 522908 39630 1746 439 0 518337 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2091632 KiB
Current children cumulated memory: 158520 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.17 4.21 5/242 869690
/proc/meminfo: memFree=124449408/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2124404 memory=179324 CPUtime=25.42 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 42333 0 0 0 2518 24 0 0 20 0 1 0 168705509 2175389696 44831 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 531101 44831 1746 439 0 526530 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2124404 KiB
Current children cumulated memory: 179324 KiB

[startup+51.1127 s]
/proc/loadavg: 4.07 4.16 4.20 5/242 869694
/proc/meminfo: memFree=124436596/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2125364 memory=180220 CPUtime=50.97 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 76144 0 0 0 5052 45 0 0 20 0 1 0 168705509 2176372736 45055 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 531341 45055 1746 439 0 526770 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2125364 KiB
Current children cumulated memory: 180220 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.16 4.20 5/242 869704
/proc/meminfo: memFree=124446432/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2124452 memory=181512 CPUtime=102.01 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 140574 0 0 0 10121 80 0 0 20 0 1 0 168705509 2175438848 45378 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 531113 45378 1746 439 0 526542 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2124452 KiB
Current children cumulated memory: 181512 KiB

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

# cumulated CPU time of all completed processes:  user=142.029 s, system=1.09801 s

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

[startup+102.4 s]
/proc/loadavg: 4.16 4.16 4.20 5/242 869704
/proc/meminfo: memFree=124446432/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2124452 memory=181512 CPUtime=102.11 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 140574 0 0 0 10131 80 0 0 20 0 1 0 168705509 2175438848 45378 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 531113 45378 1746 439 0 526542 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 2124452 KiB
Current children cumulated memory: 181512 KiB

[startup+128 s]*
/proc/loadavg: 4.18 4.16 4.19 5/242 869708
/proc/meminfo: memFree=124442116/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2108068 memory=174432 CPUtime=127.66 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 170769 0 0 0 12671 95 0 0 20 0 1 0 168705509 2158661632 43608 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 527017 43608 1746 439 0 522446 0
Current children cumulated CPU time: 127.66 s
Current children cumulated vsize: 2108068 KiB
Current children cumulated memory: 174432 KiB

[startup+134.4 s]
/proc/loadavg: 4.16 4.16 4.19 5/242 869710
/proc/meminfo: memFree=124435068/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2125556 memory=180488 CPUtime=134.03 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 182680 0 0 0 13299 104 0 0 20 0 1 0 168705509 2176569344 45122 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 531389 45122 1746 439 0 526818 0
Current children cumulated CPU time: 134.03 s
Current children cumulated vsize: 2125556 KiB
Current children cumulated memory: 180488 KiB

[startup+137.6 s]
/proc/loadavg: 4.16 4.16 4.19 5/242 869710
/proc/meminfo: memFree=124439868/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2125556 memory=180488 CPUtime=137.22 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 185844 0 0 0 13617 105 0 0 20 0 1 0 168705509 2176569344 45122 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 531389 45122 1746 439 0 526818 0
Current children cumulated CPU time: 137.22 s
Current children cumulated vsize: 2125556 KiB
Current children cumulated memory: 180488 KiB

[startup+140.8 s]
/proc/loadavg: 4.15 4.16 4.19 5/242 869710
/proc/meminfo: memFree=124419328/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2125556 memory=180488 CPUtime=140.41 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 189008 0 0 0 13934 107 0 0 20 0 1 0 168705509 2176569344 45122 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 531389 45122 1746 439 0 526818 0
Current children cumulated CPU time: 140.41 s
Current children cumulated vsize: 2125556 KiB
Current children cumulated memory: 180488 KiB

[startup+142.4 s]
/proc/loadavg: 4.15 4.16 4.19 5/241 869711
/proc/meminfo: memFree=124419300/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2125556 memory=178440 CPUtime=142.01 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 190589 0 0 0 14093 108 0 0 20 0 1 0 168705509 2176569344 44610 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 531389 44610 1746 439 0 526818 0
Current children cumulated CPU time: 142.01 s
Current children cumulated vsize: 2125556 KiB
Current children cumulated memory: 178440 KiB

[startup+143.2 s]
/proc/loadavg: 4.14 4.15 4.19 5/241 869711
/proc/meminfo: memFree=124406700/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2125556 memory=178440 CPUtime=142.81 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 192170 0 0 0 14173 108 0 0 20 0 1 0 168705509 2176569344 44610 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 531389 44610 1746 439 0 526818 0
Current children cumulated CPU time: 142.81 s
Current children cumulated vsize: 2125556 KiB
Current children cumulated memory: 178440 KiB

[startup+143.4 s]
/proc/loadavg: 4.14 4.15 4.19 5/241 869711
/proc/meminfo: memFree=124406700/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2125556 memory=178440 CPUtime=143.01 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 192170 0 0 0 14193 108 0 0 20 0 1 0 168705509 2176569344 44610 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 531389 44610 1746 439 0 526818 0
Current children cumulated CPU time: 143.01 s
Current children cumulated vsize: 2125556 KiB
Current children cumulated memory: 178440 KiB

[startup+143.503 s]
/proc/loadavg: 4.14 4.15 4.19 5/241 869711
/proc/meminfo: memFree=124406700/131655788 swapFree=131071996/131071996
[pid=869685] ppid=869682 vsize=2125556 memory=178440 CPUtime=143.11 cores=5,7
/proc/869685/stat : 869685 (pb_picat) R 869682 869685 865364 0 -1 4194304 192170 0 0 0 14202 109 0 0 20 0 1 0 168705509 2176569344 44610 134679101440 4194304 5989780 140734767733968 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 26918912 140734767735833 140734767735909 140734767735909 140734767742924 0
/proc/869685/statm: 531389 44610 1746 439 0 526818 0
Current children cumulated CPU time: 143.11 s
Current children cumulated vsize: 2125556 KiB
Current children cumulated memory: 178440 KiB

Child status: 0

Real time (s): 143.51
CPU time (s): 143.127
CPU user time (s): 142.029
CPU system time (s): 1.09801
CPU usage (%): 99.7333
Max. virtual memory (cumulated for all children) (KiB): 2125556
Max. memory (cumulated for all children) (KiB): 189868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 142.029
system time used= 1.09801
maximum resident set size= 189868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192173
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= 196


# summary of solver processes directly reported to runsolver:
#   pid: 869685
#   total CPU time (s): 143.127
#   total CPU user time (s): 142.029
#   total CPU system time (s): 1.09801

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.69865 second user time and 1.43212 second system time

The end

Begin job on nodeC011 at 2024-07-16 23:31:36
IDJOB=4436545
IDBENCH=158398
IDSOLVER=3068
FILE ID=nodeC011/4436545-1721165484
RUNJOBID= nodeC011-1721158273-865377
SLURM_JOB_ID= 7505769
Free space on /tmp= 723768 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-oct5.5.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436545-1721165484/watcher-4436545-1721165484 -o /tmp/evaluation-result-4436545-1721165484/solver-4436545-1721165484 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721158273-865377 --watchdog 3760  pb_picat HOME/instance-4436545-1721165484.opb

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

MD5SUM BENCH= 26f8151eeea3bfac35ea53df0172ab44
RANDOM SEED=1247174992

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        124605824 kB
MemAvailable:   129283188 kB
Buffers:          456220 kB
Cached:          5004992 kB
SwapCached:            0 kB
Active:           874936 kB
Inactive:        5516552 kB
Active(anon):       1444 kB
Inactive(anon):   966528 kB
Active(file):     873492 kB
Inactive(file):  4550024 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4768 kB
Writeback:             4 kB
AnonPages:        917484 kB
Mapped:           114868 kB
Shmem:             37704 kB
KReclaimable:     188092 kB
Slab:             297748 kB
SReclaimable:     188092 kB
SUnreclaim:       109656 kB
KernelStack:        3936 kB
PageTables:        11128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7103848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53888 kB
HardwareCorrupted:     0 kB
AnonHugePages:    681984 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:      277320 kB
DirectMap2M:    33181696 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC011 at 2024-07-16 23:34:00