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

OK	189

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436542-1721162947/watcher-4436542-1721162947 -o /tmp/evaluation-result-4436542-1721162947/solver-4436542-1721162947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721158273-865375 --watchdog 3760 pb_picat HOME/instance-4436542-1721162947.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=867779, runsolver pid=867776

[startup+0.10029 s]*
/proc/loadavg: 4.82 4.35 4.19 5/241 867780
/proc/meminfo: memFree=123685468/131655788 swapFree=131071996/131071996
[pid=867779] ppid=867776 vsize=2033608 memory=26920 CPUtime=0.1 cores=4,6
/proc/867779/stat : 867779 (pb_picat) R 867776 867779 865364 0 -1 4194304 828 0 0 0 10 0 0 0 20 0 1 0 168451898 2082414592 6730 134679101440 4194304 5989780 140735255348592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 36528128 140735255352345 140735255352421 140735255352421 140735255359436 0
/proc/867779/statm: 508402 6730 1489 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 26920 KiB

[startup+0.212976 s]*
/proc/loadavg: 4.82 4.35 4.19 6/241 867780
/proc/meminfo: memFree=123664764/131655788 swapFree=131071996/131071996
[pid=867779] ppid=867776 vsize=2033608 memory=45352 CPUtime=0.22 cores=4,6
/proc/867779/stat : 867779 (pb_picat) R 867776 867779 865364 0 -1 4194304 846 0 0 0 21 1 0 0 20 0 1 0 168451898 2082414592 11338 134679101440 4194304 5989780 140735255348592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 36528128 140735255352345 140735255352421 140735255352421 140735255359436 0
/proc/867779/statm: 508402 11338 1489 439 0 503831 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 45352 KiB

[startup+0.31291 s]*
/proc/loadavg: 4.82 4.35 4.19 5/241 867780
/proc/meminfo: memFree=123648240/131655788 swapFree=131071996/131071996
[pid=867779] ppid=867776 vsize=2033608 memory=59688 CPUtime=0.31 cores=4,6
/proc/867779/stat : 867779 (pb_picat) R 867776 867779 865364 0 -1 4194304 853 0 0 0 30 1 0 0 20 0 1 0 168451898 2082414592 14922 134679101440 4194304 5989780 140735255348592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 36528128 140735255352345 140735255352421 140735255352421 140735255359436 0
/proc/867779/statm: 508402 14922 1489 439 0 503831 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 59688 KiB

[startup+0.700334 s]
/proc/loadavg: 4.82 4.35 4.19 5/241 867780
/proc/meminfo: memFree=123613568/131655788 swapFree=131071996/131071996
[pid=867779] ppid=867776 vsize=2053004 memory=116592 CPUtime=0.69 cores=4,6
/proc/867779/stat : 867779 (pb_picat) R 867776 867779 865364 0 -1 4194304 4272 0 0 0 66 3 0 0 20 0 1 0 168451898 2102276096 29148 134679101440 4194304 5989780 140735255348592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 36528128 140735255352345 140735255352421 140735255352421 140735255359436 0
/proc/867779/statm: 513251 29148 1695 439 0 508680 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2053004 KiB
Current children cumulated memory: 116592 KiB

[startup+1.50032 s]
/proc/loadavg: 4.82 4.35 4.19 5/241 867780
/proc/meminfo: memFree=123552240/131655788 swapFree=131071996/131071996
[pid=867779] ppid=867776 vsize=2086032 memory=147452 CPUtime=1.48 cores=4,6
/proc/867779/stat : 867779 (pb_picat) R 867776 867779 865364 0 -1 4194304 8696 0 0 0 142 6 0 0 20 0 1 0 168451898 2136096768 36863 134679101440 4194304 5989780 140735255348592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 36528128 140735255352345 140735255352421 140735255352421 140735255359436 0
/proc/867779/statm: 521508 36863 1726 439 0 516937 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2086032 KiB
Current children cumulated memory: 147452 KiB

[startup+3.11241 s]
/proc/loadavg: 4.75 4.34 4.19 5/241 867780
/proc/meminfo: memFree=123638084/131655788 swapFree=131071996/131071996
[pid=867779] ppid=867776 vsize=2119672 memory=159776 CPUtime=3.09 cores=4,6
/proc/867779/stat : 867779 (pb_picat) R 867776 867779 865364 0 -1 4194304 14709 0 0 0 301 8 0 0 20 0 1 0 168451898 2170544128 39944 134679101440 4194304 5989780 140735255348592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 36528128 140735255352345 140735255352421 140735255352421 140735255359436 0
/proc/867779/statm: 529918 39944 1726 439 0 525347 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2119672 KiB
Current children cumulated memory: 159776 KiB

[startup+6.30031 s]
/proc/loadavg: 4.75 4.34 4.19 5/241 867780
/proc/meminfo: memFree=123601828/131655788 swapFree=131071996/131071996
[pid=867779] ppid=867776 vsize=2121260 memory=159608 CPUtime=6.27 cores=4,6
/proc/867779/stat : 867779 (pb_picat) R 867776 867779 865364 0 -1 4194304 20733 0 0 0 618 9 0 0 20 0 1 0 168451898 2172170240 39902 134679101440 4194304 5989780 140735255348592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 36528128 140735255352345 140735255352421 140735255352421 140735255359436 0
/proc/867779/statm: 530315 39902 1726 439 0 525744 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2121260 KiB
Current children cumulated memory: 159608 KiB

[startup+12.7003 s]
/proc/loadavg: 4.77 4.35 4.19 5/241 867782
/proc/meminfo: memFree=123545912/131655788 swapFree=131071996/131071996
[pid=867779] ppid=867776 vsize=2122728 memory=161076 CPUtime=12.66 cores=4,6
/proc/867779/stat : 867779 (pb_picat) R 867776 867779 865364 0 -1 4194304 28856 0 0 0 1254 12 0 0 20 0 1 0 168451898 2173673472 40269 134679101440 4194304 5989780 140735255348592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 36528128 140735255352345 140735255352421 140735255352421 140735255359436 0
/proc/867779/statm: 530682 40269 1726 439 0 526111 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2122728 KiB
Current children cumulated memory: 161076 KiB

[startup+25.5003 s]
/proc/loadavg: 4.82 4.39 4.20 5/241 867783
/proc/meminfo: memFree=123539524/131655788 swapFree=131071996/131071996
[pid=867779] ppid=867776 vsize=2123468 memory=164216 CPUtime=25.43 cores=4,6
/proc/867779/stat : 867779 (pb_picat) R 867776 867779 865364 0 -1 4194304 51449 0 0 0 2521 22 0 0 20 0 1 0 168451898 2174431232 41054 134679101440 4194304 5989780 140735255348592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 36528128 140735255352345 140735255352421 140735255352421 140735255359436 0
/proc/867779/statm: 530867 41054 1726 439 0 526296 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2123468 KiB
Current children cumulated memory: 164216 KiB

[startup+51.1127 s]
/proc/loadavg: 4.95 4.45 4.23 5/241 867788
/proc/meminfo: memFree=123587772/131655788 swapFree=131071996/131071996
[pid=867779] ppid=867776 vsize=2107716 memory=157400 CPUtime=50.97 cores=4,6
/proc/867779/stat : 867779 (pb_picat) R 867776 867779 865364 0 -1 4194304 91789 0 0 0 5056 41 0 0 20 0 1 0 168451898 2158301184 39350 134679101440 4194304 5989780 140735255348592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 36528128 140735255352345 140735255352421 140735255352421 140735255359436 0
/proc/867779/statm: 526929 39350 1726 439 0 522358 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2107716 KiB
Current children cumulated memory: 157400 KiB

[startup+102.3 s]
/proc/loadavg: 4.65 4.46 4.25 5/243 867800
/proc/meminfo: memFree=123566520/131655788 swapFree=131071996/131071996
[pid=867779] ppid=867776 vsize=2125440 memory=164116 CPUtime=102.03 cores=4,6
/proc/867779/stat : 867779 (pb_picat) R 867776 867779 865364 0 -1 4194304 164707 0 0 0 10126 77 0 0 20 0 1 0 168451898 2176450560 41029 134679101440 4194304 5989780 140735255348592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 36528128 140735255352345 140735255352421 140735255352421 140735255359436 0
/proc/867779/statm: 531360 41029 1726 439 0 526789 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2125440 KiB
Current children cumulated memory: 164116 KiB

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

# cumulated CPU time of all completed processes:  user=105.79 s, system=0.846905 s

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

[startup+102.4 s]
/proc/loadavg: 4.65 4.46 4.25 5/243 867800
/proc/meminfo: memFree=123566520/131655788 swapFree=131071996/131071996
[pid=867779] ppid=867776 vsize=2125440 memory=164116 CPUtime=102.13 cores=4,6
/proc/867779/stat : 867779 (pb_picat) R 867776 867779 865364 0 -1 4194304 164707 0 0 0 10136 77 0 0 20 0 1 0 168451898 2176450560 41029 134679101440 4194304 5989780 140735255348592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 36528128 140735255352345 140735255352421 140735255352421 140735255359436 0
/proc/867779/statm: 531360 41029 1726 439 0 526789 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 2125440 KiB
Current children cumulated memory: 164116 KiB

[startup+104 s]*
/proc/loadavg: 4.60 4.45 4.24 5/243 867800
/proc/meminfo: memFree=123607616/131655788 swapFree=131071996/131071996
[pid=867779] ppid=867776 vsize=2125440 memory=164116 CPUtime=103.75 cores=4,6
/proc/867779/stat : 867779 (pb_picat) R 867776 867779 865364 0 -1 4194304 166543 0 0 0 10297 78 0 0 20 0 1 0 168451898 2176450560 41029 134679101440 4194304 5989780 140735255348592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 36528128 140735255352345 140735255352421 140735255352421 140735255359436 0
/proc/867779/statm: 531360 41029 1726 439 0 526789 0
Current children cumulated CPU time: 103.75 s
Current children cumulated vsize: 2125440 KiB
Current children cumulated memory: 164116 KiB

[startup+105.6 s]
/proc/loadavg: 4.60 4.45 4.24 5/243 867800
/proc/meminfo: memFree=123634964/131655788 swapFree=131071996/131071996
[pid=867779] ppid=867776 vsize=2063692 memory=125372 CPUtime=105.33 cores=4,6
/proc/867779/stat : 867779 (pb_picat) R 867776 867779 865364 0 -1 4194304 169302 0 0 0 10454 79 0 0 20 0 1 0 168451898 2113220608 31343 134679101440 4194304 5989780 140735255348592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 36528128 140735255352345 140735255352421 140735255352421 140735255359436 0
/proc/867779/statm: 515923 31343 1726 439 0 511352 0
Current children cumulated CPU time: 105.33 s
Current children cumulated vsize: 2063692 KiB
Current children cumulated memory: 125372 KiB

[startup+106.4 s]
/proc/loadavg: 4.60 4.45 4.24 5/243 867800
/proc/meminfo: memFree=123632924/131655788 swapFree=131071996/131071996
[pid=867779] ppid=867776 vsize=2089476 memory=151100 CPUtime=106.13 cores=4,6
/proc/867779/stat : 867779 (pb_picat) R 867776 867779 865364 0 -1 4194304 173266 0 0 0 10530 83 0 0 20 0 1 0 168451898 2139623424 37775 134679101440 4194304 5989780 140735255348592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 36528128 140735255352345 140735255352421 140735255352421 140735255359436 0
/proc/867779/statm: 522369 37775 1726 439 0 517798 0
Current children cumulated CPU time: 106.13 s
Current children cumulated vsize: 2089476 KiB
Current children cumulated memory: 151100 KiB

[startup+106.8 s]
/proc/loadavg: 4.60 4.45 4.24 5/243 867800
/proc/meminfo: memFree=123632924/131655788 swapFree=131071996/131071996
[pid=867779] ppid=867776 vsize=2105860 memory=157296 CPUtime=106.53 cores=4,6
/proc/867779/stat : 867779 (pb_picat) R 867776 867779 865364 0 -1 4194304 173783 0 0 0 10570 83 0 0 20 0 1 0 168451898 2156400640 39324 134679101440 4194304 5989780 140735255348592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 36528128 140735255352345 140735255352421 140735255352421 140735255359436 0
/proc/867779/statm: 526465 39324 1726 439 0 521894 0
Current children cumulated CPU time: 106.53 s
Current children cumulated vsize: 2105860 KiB
Current children cumulated memory: 157296 KiB

[startup+106.9 s]
/proc/loadavg: 4.60 4.45 4.24 5/243 867800
/proc/meminfo: memFree=123632924/131655788 swapFree=131071996/131071996
[pid=867779] ppid=867776 vsize=2105860 memory=159344 CPUtime=106.63 cores=4,6
/proc/867779/stat : 867779 (pb_picat) R 867776 867779 865364 0 -1 4194304 173784 0 0 0 10579 84 0 0 20 0 1 0 168451898 2156400640 39836 134679101440 4194304 5989780 140735255348592 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 36528128 140735255352345 140735255352421 140735255352421 140735255359436 0
/proc/867779/statm: 526465 39836 1726 439 0 521894 0
Current children cumulated CPU time: 106.63 s
Current children cumulated vsize: 2105860 KiB
Current children cumulated memory: 159344 KiB

Child status: 0

Real time (s): 106.904
CPU time (s): 106.637
CPU user time (s): 105.79
CPU system time (s): 0.846905
CPU usage (%): 99.7501
Max. virtual memory (cumulated for all children) (KiB): 2127160
Max. memory (cumulated for all children) (KiB): 174296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105.79
system time used= 0.846905
maximum resident set size= 174296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173787
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= 144


# summary of solver processes directly reported to runsolver:
#   pid: 867779
#   total CPU time (s): 106.637
#   total CPU user time (s): 105.79
#   total CPU system time (s): 0.846905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.495144 second user time and 1.12215 second system time

The end

Begin job on nodeC011 at 2024-07-16 22:49:20
IDJOB=4436542
IDBENCH=158389
IDSOLVER=3068
FILE ID=nodeC011/4436542-1721162947
RUNJOBID= nodeC011-1721158273-865375
SLURM_JOB_ID= 7505769
Free space on /tmp= 723744 MiB

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

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

MD5SUM BENCH= d644f29675162790fbe3eaac4bda72a3
RANDOM SEED=427749550

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		: 3659.652
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		: 3652.553
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.280
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.241
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		: 3491.650
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		: 3652.718
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.123
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.345
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:        123705116 kB
MemAvailable:   128394220 kB
Buffers:          454404 kB
Cached:          5018604 kB
SwapCached:            0 kB
Active:           898504 kB
Inactive:        6392140 kB
Active(anon):       1436 kB
Inactive(anon):  1853936 kB
Active(file):     897068 kB
Inactive(file):  4538204 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4704 kB
Writeback:            56 kB
AnonPages:       1810396 kB
Mapped:           114820 kB
Shmem:             37704 kB
KReclaimable:     188060 kB
Slab:             297568 kB
SReclaimable:     188060 kB
SUnreclaim:       109508 kB
KernelStack:        3872 kB
PageTables:        13084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7173136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53824 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1599488 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= 723740 MiB
End job on nodeC011 at 2024-07-16 22:51:07