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

OK	9216

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485179-1751302761/watcher-4485179-1751302761 -o /tmp/evaluation-result-4485179-1751302761/solver-4485179-1751302761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751302674-40335 --watchdog 3760 pb_picat HOME/instance-4485179-1751302761.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=40531, runsolver pid=40528

[startup+0.100061 s]*
/proc/loadavg: 3.53 3.56 3.86 5/267 40532
/proc/meminfo: memFree=129191016/131249988 swapFree=33010684/33010684
[pid=40531] ppid=40528 vsize=2027148 memory=40804 CPUtime=0.09 cores=0,2
/proc/40531/stat : 40531 (pb_picat) R 40528 40531 40325 0 -1 4194304 1139 0 0 0 9 0 0 0 20 0 1 0 45953678 2075799552 10201 18446744073709551615 93974080176128 93974081577709 140727725496480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93974081849136 93974083723440 93974097690624 140727725500830 140727725500906 140727725500906 140727725506508 0
/proc/40531/statm: 506787 10201 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 40804 KiB

[startup+0.205493 s]*
/proc/loadavg: 3.57 3.56 3.86 5/267 40532
/proc/meminfo: memFree=129170536/131249988 swapFree=33010684/33010684
[pid=40531] ppid=40528 vsize=2036612 memory=65424 CPUtime=0.2 cores=0,2
/proc/40531/stat : 40531 (pb_picat) R 40528 40531 40325 0 -1 4194304 1620 0 0 0 19 1 0 0 20 0 1 0 45953678 2085490688 16356 18446744073709551615 93974080176128 93974081577709 140727725496480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93974081849136 93974083723440 93974097690624 140727725500830 140727725500906 140727725500906 140727725506508 0
/proc/40531/statm: 509153 16356 1664 343 0 506217 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2036612 KiB
Current children cumulated memory: 65424 KiB

[startup+0.305457 s]*
/proc/loadavg: 3.57 3.56 3.86 5/267 40532
/proc/meminfo: memFree=129164676/131249988 swapFree=33010684/33010684
[pid=40531] ppid=40528 vsize=2057176 memory=82152 CPUtime=0.29 cores=0,2
/proc/40531/stat : 40531 (pb_picat) R 40528 40531 40325 0 -1 4194304 5916 0 0 0 28 1 0 0 20 0 1 0 45953678 2106548224 20538 18446744073709551615 93974080176128 93974081577709 140727725496480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93974081849136 93974083723440 93974097690624 140727725500830 140727725500906 140727725500906 140727725506508 0
/proc/40531/statm: 514294 20538 1696 343 0 511358 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2057176 KiB
Current children cumulated memory: 82152 KiB

[startup+0.70017 s]
/proc/loadavg: 3.57 3.56 3.86 5/267 40532
/proc/meminfo: memFree=129161148/131249988 swapFree=33010684/33010684
[pid=40531] ppid=40528 vsize=2067620 memory=88344 CPUtime=0.68 cores=0,2
/proc/40531/stat : 40531 (pb_picat) R 40528 40531 40325 0 -1 4194304 8385 0 0 0 66 2 0 0 20 0 1 0 45953678 2117242880 22086 18446744073709551615 93974080176128 93974081577709 140727725496480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93974081849136 93974083723440 93974097690624 140727725500830 140727725500906 140727725500906 140727725506508 0
/proc/40531/statm: 516905 22086 1696 343 0 513969 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2067620 KiB
Current children cumulated memory: 88344 KiB

[startup+1.50016 s]
/proc/loadavg: 3.57 3.56 3.86 5/267 40532
/proc/meminfo: memFree=129157052/131249988 swapFree=33010684/33010684
[pid=40531] ppid=40528 vsize=2056476 memory=83612 CPUtime=1.49 cores=0,2
/proc/40531/stat : 40531 (pb_picat) R 40528 40531 40325 0 -1 4194304 11003 0 0 0 146 3 0 0 20 0 1 0 45953678 2105831424 20903 18446744073709551615 93974080176128 93974081577709 140727725496480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93974081849136 93974083723440 93974097690624 140727725500830 140727725500906 140727725500906 140727725506508 0
/proc/40531/statm: 514119 20903 1696 343 0 511183 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2056476 KiB
Current children cumulated memory: 83612 KiB

[startup+3.10541 s]
/proc/loadavg: 3.57 3.56 3.86 5/267 40532
/proc/meminfo: memFree=129143760/131249988 swapFree=33010684/33010684
[pid=40531] ppid=40528 vsize=2059388 memory=85628 CPUtime=3.09 cores=0,2
/proc/40531/stat : 40531 (pb_picat) R 40528 40531 40325 0 -1 4194304 17176 0 0 0 304 5 0 0 20 0 1 0 45953678 2108813312 21407 18446744073709551615 93974080176128 93974081577709 140727725496480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93974081849136 93974083723440 93974097690624 140727725500830 140727725500906 140727725500906 140727725506508 0
/proc/40531/statm: 514847 21407 1696 343 0 511911 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2059388 KiB
Current children cumulated memory: 85628 KiB

[startup+6.3001 s]
/proc/loadavg: 3.60 3.57 3.86 5/267 40532
/proc/meminfo: memFree=129139784/131249988 swapFree=33010684/33010684
[pid=40531] ppid=40528 vsize=2083964 memory=100472 CPUtime=6.27 cores=0,2
/proc/40531/stat : 40531 (pb_picat) R 40528 40531 40325 0 -1 4194304 21414 0 0 0 620 7 0 0 20 0 1 0 45953678 2133979136 25118 18446744073709551615 93974080176128 93974081577709 140727725496480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93974081849136 93974083723440 93974097690624 140727725500830 140727725500906 140727725500906 140727725506508 0
/proc/40531/statm: 520991 25118 1696 343 0 518055 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2083964 KiB
Current children cumulated memory: 100472 KiB

[startup+12.7002 s]
/proc/loadavg: 3.63 3.58 3.86 5/267 40532
/proc/meminfo: memFree=129140336/131249988 swapFree=33010684/33010684
[pid=40531] ppid=40528 vsize=2083628 memory=101444 CPUtime=12.65 cores=0,2
/proc/40531/stat : 40531 (pb_picat) R 40528 40531 40325 0 -1 4194304 27795 0 0 0 1255 10 0 0 20 0 1 0 45953678 2133635072 25361 18446744073709551615 93974080176128 93974081577709 140727725496480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93974081849136 93974083723440 93974097690624 140727725500830 140727725500906 140727725500906 140727725506508 0
/proc/40531/statm: 520907 25361 1696 343 0 517971 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2083628 KiB
Current children cumulated memory: 101444 KiB

[startup+25.5001 s]
/proc/loadavg: 3.69 3.59 3.86 5/267 40532
/proc/meminfo: memFree=129142560/131249988 swapFree=33010684/33010684
[pid=40531] ppid=40528 vsize=2077484 memory=95980 CPUtime=25.42 cores=0,2
/proc/40531/stat : 40531 (pb_picat) R 40528 40531 40325 0 -1 4194304 40066 0 0 0 2528 14 0 0 20 0 1 0 45953678 2127343616 23995 18446744073709551615 93974080176128 93974081577709 140727725496480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93974081849136 93974083723440 93974097690624 140727725500830 140727725500906 140727725500906 140727725506508 0
/proc/40531/statm: 519371 23995 1696 343 0 516435 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2077484 KiB
Current children cumulated memory: 95980 KiB

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

# cumulated CPU time of all completed processes:  user=43.0515 s, system=0.20745 s

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

[startup+25.6001 s]
/proc/loadavg: 3.69 3.59 3.86 5/267 40532
/proc/meminfo: memFree=129142560/131249988 swapFree=33010684/33010684
[pid=40531] ppid=40528 vsize=2077484 memory=95980 CPUtime=25.52 cores=0,2
/proc/40531/stat : 40531 (pb_picat) R 40528 40531 40325 0 -1 4194304 40066 0 0 0 2538 14 0 0 20 0 1 0 45953678 2127343616 23995 18446744073709551615 93974080176128 93974081577709 140727725496480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93974081849136 93974083723440 93974097690624 140727725500830 140727725500906 140727725500906 140727725506508 0
/proc/40531/statm: 519371 23995 1696 343 0 516435 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 2077484 KiB
Current children cumulated memory: 95980 KiB

[startup+32.0001 s]*
/proc/loadavg: 3.81 3.62 3.87 5/267 40532
/proc/meminfo: memFree=129141624/131249988 swapFree=33010684/33010684
[pid=40531] ppid=40528 vsize=2077484 memory=95012 CPUtime=31.91 cores=0,2
/proc/40531/stat : 40531 (pb_picat) R 40528 40531 40325 0 -1 4194304 48120 0 0 0 3174 17 0 0 20 0 1 0 45953678 2127343616 23753 18446744073709551615 93974080176128 93974081577709 140727725496480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93974081849136 93974083723440 93974097690624 140727725500830 140727725500906 140727725500906 140727725506508 0
/proc/40531/statm: 519371 23753 1696 343 0 516435 0
Current children cumulated CPU time: 31.91 s
Current children cumulated vsize: 2077484 KiB
Current children cumulated memory: 95012 KiB

[startup+38.4001 s]
/proc/loadavg: 3.83 3.63 3.87 5/267 40532
/proc/meminfo: memFree=129139648/131249988 swapFree=33010684/33010684
[pid=40531] ppid=40528 vsize=2077484 memory=95020 CPUtime=38.29 cores=0,2
/proc/40531/stat : 40531 (pb_picat) R 40528 40531 40325 0 -1 4194304 52139 0 0 0 3811 18 0 0 20 0 1 0 45953678 2127343616 23755 18446744073709551615 93974080176128 93974081577709 140727725496480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93974081849136 93974083723440 93974097690624 140727725500830 140727725500906 140727725500906 140727725506508 0
/proc/40531/statm: 519371 23755 1696 343 0 516435 0
Current children cumulated CPU time: 38.29 s
Current children cumulated vsize: 2077484 KiB
Current children cumulated memory: 95020 KiB

[startup+41.6001 s]
/proc/loadavg: 3.84 3.64 3.87 5/267 40532
/proc/meminfo: memFree=129135336/131249988 swapFree=33010684/33010684
[pid=40531] ppid=40528 vsize=2078472 memory=98028 CPUtime=41.48 cores=0,2
/proc/40531/stat : 40531 (pb_picat) R 40528 40531 40325 0 -1 4194304 54393 0 0 0 4129 19 0 0 20 0 1 0 45953678 2128355328 24507 18446744073709551615 93974080176128 93974081577709 140727725496480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93974081849136 93974083723440 93974097690624 140727725500830 140727725500906 140727725500906 140727725506508 0
/proc/40531/statm: 519618 24507 1696 343 0 516682 0
Current children cumulated CPU time: 41.48 s
Current children cumulated vsize: 2078472 KiB
Current children cumulated memory: 98028 KiB

[startup+42.4001 s]
/proc/loadavg: 3.84 3.64 3.87 5/267 40532
/proc/meminfo: memFree=129135088/131249988 swapFree=33010684/33010684
[pid=40531] ppid=40528 vsize=2078472 memory=98028 CPUtime=42.28 cores=0,2
/proc/40531/stat : 40531 (pb_picat) R 40528 40531 40325 0 -1 4194304 54393 0 0 0 4209 19 0 0 20 0 1 0 45953678 2128355328 24507 18446744073709551615 93974080176128 93974081577709 140727725496480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93974081849136 93974083723440 93974097690624 140727725500830 140727725500906 140727725500906 140727725506508 0
/proc/40531/statm: 519618 24507 1696 343 0 516682 0
Current children cumulated CPU time: 42.28 s
Current children cumulated vsize: 2078472 KiB
Current children cumulated memory: 98028 KiB

[startup+42.8001 s]
/proc/loadavg: 3.84 3.64 3.87 5/267 40532
/proc/meminfo: memFree=129135088/131249988 swapFree=33010684/33010684
[pid=40531] ppid=40528 vsize=2078472 memory=98028 CPUtime=42.68 cores=0,2
/proc/40531/stat : 40531 (pb_picat) R 40528 40531 40325 0 -1 4194304 54393 0 0 0 4249 19 0 0 20 0 1 0 45953678 2128355328 24507 18446744073709551615 93974080176128 93974081577709 140727725496480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93974081849136 93974083723440 93974097690624 140727725500830 140727725500906 140727725500906 140727725506508 0
/proc/40531/statm: 519618 24507 1696 343 0 516682 0
Current children cumulated CPU time: 42.68 s
Current children cumulated vsize: 2078472 KiB
Current children cumulated memory: 98028 KiB

[startup+43.2001 s]
/proc/loadavg: 3.84 3.64 3.87 5/267 40532
/proc/meminfo: memFree=129135088/131249988 swapFree=33010684/33010684
[pid=40531] ppid=40528 vsize=2078472 memory=98028 CPUtime=43.07 cores=0,2
/proc/40531/stat : 40531 (pb_picat) R 40528 40531 40325 0 -1 4194304 54393 0 0 0 4288 19 0 0 20 0 1 0 45953678 2128355328 24507 18446744073709551615 93974080176128 93974081577709 140727725496480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93974081849136 93974083723440 93974097690624 140727725500830 140727725500906 140727725500906 140727725506508 0
/proc/40531/statm: 519618 24507 1696 343 0 516682 0
Current children cumulated CPU time: 43.07 s
Current children cumulated vsize: 2078472 KiB
Current children cumulated memory: 98028 KiB

[startup+43.3001 s]
/proc/loadavg: 3.84 3.64 3.87 5/267 40532
/proc/meminfo: memFree=129135088/131249988 swapFree=33010684/33010684
[pid=40531] ppid=40528 vsize=2078472 memory=98028 CPUtime=43.17 cores=0,2
/proc/40531/stat : 40531 (pb_picat) R 40528 40531 40325 0 -1 4194304 54393 0 0 0 4298 19 0 0 20 0 1 0 45953678 2128355328 24507 18446744073709551615 93974080176128 93974081577709 140727725496480 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 93974081849136 93974083723440 93974097690624 140727725500830 140727725500906 140727725500906 140727725506508 0
/proc/40531/statm: 519618 24507 1696 343 0 516682 0
Current children cumulated CPU time: 43.17 s
Current children cumulated vsize: 2078472 KiB
Current children cumulated memory: 98028 KiB

Child status: 0

Real time (s): 43.3714
CPU time (s): 43.2589
CPU user time (s): 43.0515
CPU system time (s): 0.20745
CPU usage (%): 99.7407
Max. virtual memory (cumulated for all children) (KiB): 2083964
Max. memory (cumulated for all children) (KiB): 101444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.0515
system time used= 0.20745
maximum resident set size= 101444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54398
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= 66
involuntary context switches= 68


# summary of solver processes directly reported to runsolver:
#   pid: 40531
#   total CPU time (s): 43.2589
#   total CPU user time (s): 43.0515
#   total CPU system time (s): 0.20745

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.095704 second user time and 0.207153 second system time

The end

Begin job on nodeC020 at 2025-06-30 18:59:21
IDJOB=4485179
IDBENCH=146711
IDSOLVER=3346
FILE ID=nodeC020/4485179-1751302761
RUNJOBID= nodeC020-1751302674-40335
SLURM_JOB_ID= 9594285
Free space on /tmp= 433048 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos11.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485179-1751302761/watcher-4485179-1751302761 -o /tmp/evaluation-result-4485179-1751302761/solver-4485179-1751302761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751302674-40335 --watchdog 3760  pb_picat HOME/instance-4485179-1751302761.opb

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

MD5SUM BENCH= d56dac1e1561d870cabdc9c053ba8250
RANDOM SEED=164185097

nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129220180 kB
MemAvailable:   129386400 kB
Buffers:            3280 kB
Cached:           971360 kB
SwapCached:            0 kB
Active:           759764 kB
Inactive:         663932 kB
Active(anon):     467112 kB
Inactive(anon):        0 kB
Active(file):     292652 kB
Inactive(file):   663932 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4508 kB
Writeback:             0 kB
AnonPages:        444724 kB
Mapped:           114032 kB
Shmem:             18056 kB
KReclaimable:      97752 kB
Slab:             184980 kB
SReclaimable:      97752 kB
SUnreclaim:        87228 kB
KernelStack:        4300 kB
PageTables:         4204 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    6531804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    339968 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433044 MiB
End job on nodeC020 at 2025-06-30 19:00:05