0.00/0.01	c solving HOME/instance-4497511-1751393750.opb (Picat 3.9b6)
1.28/1.30	o 31
124.53/124.94	o 23
399.44/400.66	o 21
399.44/400.66	s OPTIMUM FOUND
399.44/400.66	v ~x8038 ~x907 ~x4442 ~x2060 ~x9953 ~x6209 ~x11768 ~x2726 ~x8040 ~x909 
399.44/400.66	v ~x4443 ~x2062 ~x9954 ~x6210 ~x11769 ~x2727 ~x8041 ~x911 ~x4444 ~x2067 
399.44/400.66	v ~x9955 ~x6211 ~x11770 ~x2728 ~x8042 ~x910 ~x4445 ~x2069 ~x9956 ~x6212 
399.44/400.66	v ~x11771 ~x2729 ~x8043 ~x912 ~x4446 ~x2074 ~x9957 ~x6213 ~x11772 ~x2730 
399.44/400.66	v ~x8044 ~x914 ~x4447 ~x2076 ~x9958 ~x6214 ~x11773 ~x2731 ~x8045 ~x913 
399.44/400.66	v ~x4448 ~x2081 ~x9959 ~x6216 ~x11774 ~x2732 ~x8046 ~x915 ~x4449 ~x2083 
399.44/400.66	v ~x9960 ~x6218 ~x11776 ~x2733 ~x8047 ~x917 ~x4450 x2088 ~x9961 ~x6219 
399.44/400.66	v ~x11778 ~x2734 ~x8048 ~x916 ~x4451 ~x2093 ~x9962 ~x6220 ~x11779 ~x2735 
399.44/400.66	v ~x8049 ~x918 ~x4452 ~x2095 ~x9963 ~x6221 ~x11780 ~x2736 ~x8050 ~x920 
399.44/400.66	v ~x4453 ~x2100 ~x9964 ~x6222 ~x11781 ~x2737 x8052 ~x919 ~x4454 ~x2102 
399.44/400.66	v ~x9965 ~x6223 ~x11782 ~x2738 ~x8053 ~x921 ~x4455 ~x2107 ~x9966 ~x6224 
399.44/400.66	v ~x11783 ~x2739 ~x8054 ~x923 ~x4456 ~x2109 ~x9967 ~x6225 ~x11784 ~x2740 
399.44/400.66	v ~x8055 ~x922 ~x4457 ~x2114 ~x9968 ~x6226 ~x11785 ~x2741 ~x8057 ~x924 
399.44/400.66	v ~x4458 ~x2116 ~x9969 ~x6227 ~x11786 ~x2742 ~x8058 ~x926 ~x4459 ~x2121 
399.44/400.66	v ~x9970 ~x6228 ~x11787 ~x2743 ~x8059 ~x925 ~x4460 ~x2123 ~x9971 ~x6229 
399.44/400.66	v ~x11788 ~x2744 ~x8060 ~x927 ~x4461 ~x2128 ~x9972 ~x6230 ~x11790 ~x2745 
399.44/400.66	v ~x8061 ~x929 ~x4462 ~x2130 ~x9973 ~x6231 ~x11792 ~x2746 ~x8062 ~x928 
399.44/400.66	v ~x4463 ~x2135 ~x9974 ~x6232 ~x11793 ~x2747 ~x8063 ~x930 ~x4464 ~x2137 
399.44/400.66	v ~x9975 ~x6233 ~x11794 ~x2748 ~x8064 ~x932 ~x4465 ~x2142 ~x9976 ~x6234 
399.44/400.66	v ~x11795 ~x2749 ~x8065 ~x931 ~x4466 ~x2144 ~x9977 ~x6235 ~x11796 ~x2750 
399.44/400.66	v ~x8066 ~x933 ~x4467 ~x2149 ~x9978 ~x6236 ~x11797 ~x2751 ~x8067 ~x935 
399.44/400.66	v ~x4468 ~x2151 ~x9980 ~x6237 ~x11798 ~x2752 x8069 ~x934 ~x4469 ~x2156 
399.44/400.66	v ~x9981 ~x6238 ~x11799 ~x2753 ~x8070 ~x936 ~x4470 ~x2158 ~x9982 ~x6239 
399.44/400.66	v ~x11800 ~x2754 ~x8071 ~x938 ~x4471 ~x2163 ~x9983 ~x6240 ~x11801 ~x2755 
399.44/400.66	v ~x8072 ~x937 ~x4472 ~x2165 ~x9984 ~x6241 ~x11802 ~x2756 ~x8074 ~x939 
399.44/400.66	v ~x4473 ~x2170 ~x9985 ~x6242 x11804 ~x2757 ~x8075 ~x941 ~x4474 ~x2291 
399.44/400.66	v ~x9986 ~x6243 x11806 ~x2758 ~x8076 ~x940 ~x4475 ~x2412 ~x9987 x6245 
399.44/400.66	v ~x11807 ~x2759 ~x8077 ~x942 ~x4476 ~x2533 ~x9988 ~x6247 ~x11808 ~x2760 
399.44/400.66	v ~x8078 ~x209 ~x4478 ~x2654 ~x9989 ~x6248 x11809 ~x2761 ~x8079 ~x210 
399.44/400.66	v ~x4479 ~x2775 ~x9990 ~x6249 ~x11810 ~x2762 ~x8080 ~x211 ~x4480 ~x2896 
399.44/400.66	v ~x9991 ~x6250 ~x11811 ~x2763 ~x8081 ~x212 ~x4481 ~x3017 ~x9992 ~x6251 
399.44/400.66	v ~x11812 ~x2764 ~x8082 ~x213 ~x4482 ~x3138 ~x9993 ~x6252 ~x11813 ~x2765 
399.44/400.66	v ~x8083 ~x214 ~x4483 ~x219 ~x9994 ~x6253 ~x11814 ~x2766 ~x8084 ~x215 
399.44/400.66	v ~x4484 ~x3259 ~x9995 ~x6254 ~x11815 ~x2767 ~x8086 ~x216 ~x4485 ~x222 
399.44/400.66	v ~x9996 ~x6255 ~x11816 ~x2768 ~x8087 ~x217 ~x4486 ~x3317 ~x9997 ~x6256 
399.44/400.66	v ~x11818 ~x2769 ~x8088 ~x952 ~x4487 ~x225 ~x9998 ~x6257 ~x11820 ~x2770 
399.44/400.66	v ~x8089 ~x953 ~x4488 ~x3375 ~x9999 ~x6258 ~x11821 ~x2771 ~x8091 ~x954 
399.44/400.66	v ~x4489 ~x228 ~x10000 ~x6259 ~x11822 ~x2772 ~x8092 ~x956 ~x4490 ~x3433 
399.44/400.66	v ~x10001 ~x6260 ~x11823 ~x2773 ~x8093 ~x957 ~x4491 ~x3491 ~x10002 ~x6261 
399.44/400.66	v ~x11824 ~x2774 ~x8094 ~x959 ~x4492 ~x3549 ~x10003 ~x6262 ~x11825 ~x2776 
399.44/400.66	v ~x8095 ~x960 ~x4493 ~x235 ~x10004 ~x6263 ~x11826 ~x2777 ~x8096 ~x961 
399.44/400.66	v ~x4494 ~x3607 ~x10005 ~x6264 ~x11827 ~x2778 ~x8097 ~x962 ~x4495 ~x238 
399.44/400.66	v ~x10006 ~x6265 ~x11828 ~x2779 ~x8098 ~x963 ~x4496 ~x3665 ~x10007 ~x6266 
399.44/400.66	v ~x11829 ~x2780 ~x8099 ~x964 ~x4497 ~x3723 ~x10008 ~x6267 ~x11830 ~x2781 
399.44/400.66	v ~x8100 ~x966 ~x4498 ~x243 ~x10009 ~x6268 x11832 ~x2782 ~x8101 ~x967 
399.44/400.66	v ~x4499 ~x3781 ~x10010 ~x6269 ~x11834 ~x2783 ~x8103 ~x968 ~x4500 ~x246 
399.44/400.66	v ~x10011 ~x6270 ~x11835 ~x2784 ~x8104 ~x969 ~x4501 ~x3839 ~x10012 ~x6271 
399.44/400.66	v ~x11836 ~x2785 ~x8105 ~x971 ~x4502 ~x249 ~x10013 ~x6272 ~x11837 ~x2786 
399.44/400.66	v ~x8106 ~x972 ~x4503 ~x3897 ~x10014 ~x6274 ~x11838 ~x2787 ~x8108 ~x973 
399.44/400.66	v ~x4504 ~x252 ~x10015 ~x6276 ~x11839 ~x2788 ~x8109 ~x974 ~x4505 ~x3955 
399.44/400.66	v ~x10016 ~x6277 ~x11840 ~x2789 ~x8110 ~x976 ~x4506 ~x255 ~x10017 ~x6278 
399.44/400.66	v ~x11841 ~x2790 ~x8111 ~x977 ~x4507 ~x4013 ~x10018 ~x6279 ~x11842 ~x2791 
399.44/400.66	v ~x8112 ~x978 ~x4508 ~x258 ~x10019 ~x6280 ~x11843 ~x2792 ~x8113 ~x979 
399.44/400.66	v ~x4509 ~x4071 ~x10020 ~x6281 ~x11844 ~x2793 ~x8114 ~x980 ~x4510 ~x261 
399.44/400.66	v ~x10021 ~x6282 x11846 ~x2794 ~x8115 ~x981 ~x4511 ~x4129 ~x10022 ~x6283 
399.44/400.66	v ~x11848 ~x2795 ~x8116 ~x982 ~x4512 ~x4187 ~x10023 ~x6284 ~x11849 ~x2796 
399.44/400.66	v ~x8117 ~x983 ~x4513 ~x266 ~x10024 ~x6285 ~x11850 ~x2797 ~x8118 ~x984 
399.44/400.66	v ~x4514 ~x4245 ~x10025 ~x6286 ~x11851 ~x2798 ~x8120 ~x985 ~x4515 x269 
399.44/400.66	v ~x10026 ~x6287 ~x11852 ~x2799 ~x8121 ~x986 ~x4516 x4303 ~x10027 ~x6288 
399.44/400.66	v ~x11853 ~x2800 ~x8122 ~x987 ~x4517 ~x4361 ~x10028 ~x6289 ~x11854 ~x2801 
399.44/400.66	v ~x8123 ~x989 ~x4518 ~x4419 ~x10029 ~x6290 ~x11855 ~x2802 ~x8125 ~x990 
399.44/400.66	v ~x4519 ~x276 ~x10030 ~x6291 ~x11856 ~x2803 ~x8126 ~x992 ~x4520 ~x4477 
399.44/400.66	v ~x10031 ~x6292 ~x11857 ~x2804 ~x8127 ~x993 ~x4521 ~x4535 ~x10032 ~x6293 
399.44/400.66	v ~x11858 ~x2805 ~x8128 ~x994 ~x4522 ~x281 ~x10033 ~x6294 ~x11860 ~x2806 
399.44/400.66	v ~x8129 ~x995 ~x4523 ~x4593 ~x10034 ~x6295 ~x11862 ~x2807 ~x8130 ~x996 
399.44/400.66	v ~x4524 ~x284 ~x10035 ~x6296 ~x11863 ~x2808 ~x8131 ~x997 ~x4525 ~x4651 
399.44/400.66	v ~x10036 ~x6297 ~x11864 ~x2809 ~x8132 ~x999 ~x4526 x287 x10038 ~x6298 
399.44/400.66	v ~x11865 ~x2810 ~x8133 ~x1000 ~x4527 ~x4709 ~x10039 ~x6299 ~x11866 ~x2811 
399.44/400.66	v ~x8134 ~x1001 ~x4528 ~x290 ~x10040 ~x6300 ~x11867 ~x2812 ~x8135 ~x1002 
399.44/400.66	v ~x4529 ~x4767 ~x10041 ~x6301 ~x11868 ~x2813 ~x8137 ~x1003 ~x4530 ~x293 
399.44/400.66	v ~x10042 ~x6303 ~x11869 ~x2814 ~x8138 ~x1004 ~x4531 ~x4825 ~x10043 ~x6305 
399.44/400.66	v ~x11870 ~x2815 ~x8139 ~x1005 ~x4532 ~x4883 ~x10044 ~x6306 ~x11871 ~x2816 
399.44/400.66	v ~x8140 ~x1006 ~x4533 ~x298 ~x10045 ~x6307 ~x11872 ~x2817 ~x8142 ~x1008 
399.44/400.66	v ~x4534 ~x4941 ~x10046 ~x6308 ~x11874 ~x2818 ~x8143 ~x1009 ~x4536 ~x4999 
399.44/400.66	v ~x10047 ~x6309 ~x11876 ~x2819 ~x8144 ~x1011 ~x4537 ~x303 x10048 ~x6310 
399.44/400.66	v ~x11877 ~x2820 ~x8145 ~x1012 ~x4538 ~x5057 ~x10049 ~x6311 ~x11878 ~x2821 
399.44/400.66	v ~x8146 ~x1013 ~x4539 ~x306 ~x10050 ~x6312 ~x11879 ~x2822 ~x8147 ~x1014 
399.44/400.66	v ~x4540 ~x5115 ~x10051 ~x6313 ~x11880 ~x2823 ~x8148 ~x1015 ~x4541 ~x5173 
399.44/400.66	v ~x10052 ~x6314 ~x11881 ~x2824 ~x8149 ~x1016 ~x4542 ~x311 ~x10053 ~x6315 
399.44/400.66	v ~x11882 ~x2825 ~x8150 ~x1017 ~x4543 ~x5231 ~x10054 ~x6316 ~x11883 ~x2826 
399.44/400.66	v ~x8151 ~x1019 ~x4544 ~x5289 ~x10055 ~x6317 ~x11884 ~x2827 ~x8152 ~x1018 
399.44/400.66	v ~x4545 ~x5347 ~x10056 ~x6318 ~x11885 ~x2828 ~x8154 ~x1020 ~x4546 ~x5349 
399.44/400.66	v ~x10057 ~x6319 ~x11886 ~x2829 ~x8155 ~x1022 ~x4547 ~x5376 ~x10058 ~x6320 
399.44/400.66	v ~x11888 ~x2830 ~x8156 ~x1021 ~x4548 ~x5378 ~x10059 ~x6321 ~x11890 ~x2831 
399.44/400.66	v ~x8157 ~x1023 ~x4549 ~x5405 ~x10060 ~x6322 ~x11891 ~x2832 ~x8159 ~x1025 
399.44/400.66	v ~x4550 ~x5407 ~x10061 ~x6323 ~x11892 ~x2833 ~x8160 ~x1024 ~x4551 x5434 
399.44/400.66	v ~x10062 ~x6324 ~x11893 ~x2834 ~x8161 ~x1026 ~x4552 ~x5436 ~x10063 ~x6325 
399.44/400.66	v ~x11894 ~x2835 ~x8162 ~x1028 ~x4553 ~x5463 ~x10064 ~x6326 ~x11895 ~x2836 
399.44/400.66	v ~x8163 ~x1027 ~x4554 ~x5465 ~x10065 ~x6327 ~x11896 ~x2837 ~x8164 ~x1029 
399.44/400.66	v ~x4555 ~x5492 ~x10066 ~x6328 ~x11897 ~x2838 ~x8165 ~x1031 ~x4556 ~x5494 
399.44/400.66	v ~x10067 ~x6329 ~x11898 ~x2839 ~x8166 ~x1030 ~x4557 ~x5521 ~x10068 ~x6330 
399.44/400.66	v ~x11899 ~x2840 ~x8167 ~x1032 ~x4558 ~x5523 ~x10069 ~x6332 ~x11900 ~x2841 
399.44/400.66	v ~x8168 ~x1034 ~x4559 ~x5550 ~x10070 ~x6334 ~x11902 ~x2842 ~x8169 ~x1033 
399.44/400.66	v ~x4560 ~x5552 ~x10071 ~x6335 ~x11904 ~x2843 ~x8171 ~x1035 ~x4561 ~x5579 
399.44/400.66	v ~x10072 ~x6336 ~x11905 ~x2844 ~x8172 ~x1037 ~x4562 ~x5581 ~x10073 ~x6337 
399.44/400.66	v ~x11906 ~x2845 ~x8173 ~x1036 ~x4563 ~x5608 ~x10074 ~x6338 ~x11907 ~x2846 
399.44/400.66	v ~x8174 ~x1038 ~x4564 ~x5610 ~x10075 ~x6339 ~x11908 ~x2847 ~x8176 ~x1040 
399.44/400.66	v ~x4565 ~x5637 ~x10076 ~x6340 ~x11909 ~x2848 ~x8177 ~x1039 ~x4566 ~x5639 
399.44/400.66	v ~x10077 ~x6341 ~x11910 ~x2849 ~x8178 ~x1041 ~x4567 ~x5666 ~x10078 ~x6342 
399.44/400.66	v ~x11911 ~x2850 ~x8179 ~x1043 ~x4568 ~x5668 ~x10079 ~x6343 ~x11912 ~x2851 
399.44/400.66	v ~x8180 ~x1042 ~x4569 ~x5695 ~x10080 ~x6344 ~x11913 ~x2852 ~x8181 ~x1044 
399.44/400.66	v ~x4570 ~x5697 ~x10081 ~x6345 ~x11914 ~x2853 ~x8182 ~x1046 ~x4571 ~x5724 
399.44/400.66	v ~x10082 ~x6346 ~x11916 ~x2854 ~x8183 ~x1045 ~x4572 ~x5726 ~x10083 ~x6347 
399.44/400.66	v ~x11917 ~x2855 ~x8184 ~x1047 ~x4573 ~x5753 ~x10084 ~x6348 ~x11918 ~x2856 
399.44/400.66	v ~x8185 ~x1049 ~x4574 ~x5755 ~x10085 ~x6349 ~x11919 ~x2857 ~x8186 ~x1048 
399.44/400.66	v ~x4575 ~x5782 ~x10086 ~x6350 ~x11921 ~x2858 ~x8188 ~x1050 ~x4576 ~x5784 
399.44/400.66	v ~x10087 ~x6351 ~x11922 ~x2859 ~x8189 ~x1052 ~x4577 ~x5811 ~x10088 ~x6352 
399.44/400.66	v ~x11923 ~x2860 ~x8190 ~x1051 ~x4578 ~x5813 ~x10089 ~x6353 ~x11924 ~x2861 
399.44/400.66	v ~x8191 ~x1053 ~x4579 ~x5840 ~x10090 ~x6354 ~x11926 ~x2862 ~x8193 ~x1055 
399.44/400.66	v ~x4580 ~x5842 ~x10091 ~x6355 ~x11927 ~x2863 ~x8194 ~x1054 ~x4581 ~x5869 
399.44/400.66	v ~x10092 ~x6356 ~x11928 ~x2864 ~x8195 ~x1056 ~x4582 ~x5871 ~x10093 ~x6357 
399.44/400.66	v ~x11929 ~x2865 ~x8196 ~x1058 ~x4583 ~x5898 ~x10094 ~x6358 ~x11931 ~x2866 
399.44/400.66	v ~x8197 ~x1057 ~x4584 ~x5900 ~x10096 ~x6359 ~x11932 ~x2867 ~x8198 ~x1059 
399.44/400.66	v ~x4585 ~x5927 ~x10097 ~x6361 ~x11933 ~x2868 ~x8199 ~x1061 ~x4586 ~x5929 
399.44/400.66	v ~x10098 ~x6363 ~x11934 ~x2869 ~x8200 ~x1060 ~x4587 ~x5956 ~x10099 ~x6364 
399.44/400.66	v ~x11936 ~x2870 ~x8201 ~x1062 ~x4588 ~x5958 ~x10100 ~x6365 ~x11937 ~x2871 
399.44/400.66	v ~x8202 ~x1063 ~x4589 ~x5985 ~x10101 ~x6366 ~x11938 ~x2872 ~x8203 ~x1064 
399.44/400.66	v ~x4590 ~x6012 ~x10102 ~x6367 ~x11939 ~x2873 ~x8205 ~x1066 ~x4591 ~x6014 
399.44/400.66	v ~x10103 ~x6368 ~x11941 ~x2874 ~x8206 ~x1065 ~x4592 ~x6041 ~x10104 ~x6369 
399.44/400.66	v ~x11942 ~x2875 ~x8207 ~x1067 ~x4594 ~x6043 ~x10105 ~x6370 ~x11943 ~x2876 
399.44/400.66	v ~x8208 ~x1069 ~x4595 ~x6070 ~x10106 ~x6371 ~x11944 ~x2877 ~x8210 ~x1068 
399.44/400.66	v ~x4596 ~x6072 ~x10107 ~x6372 x11946 ~x2878 ~x8211 ~x1070 ~x4597 ~x6099 
399.44/400.66	v ~x10108 ~x6373 ~x11947 ~x2879 ~x8212 ~x1072 ~x4598 ~x6101 ~x10109 ~x6374 
399.44/400.66	v ~x11948 ~x2880 ~x8213 ~x1071 ~x4599 ~x6128 ~x10110 ~x6375 ~x11949 ~x2881 
399.44/400.66	v ~x8214 ~x1073 ~x4600 ~x6130 ~x10111 ~x6376 ~x11951 ~x2882 ~x8215 ~x1074 
399.44/400.66	v ~x4601 ~x6157 ~x10112 ~x6377 ~x11952 ~x2883 ~x8216 ~x1075 ~x4602 ~x6159 
399.44/400.66	v ~x10113 ~x6378 ~x11953 ~x2884 ~x8217 ~x1077 ~x4603 ~x6186 ~x10114 ~x6379 
399.44/400.66	v ~x11954 ~x2885 ~x8218 ~x1076 ~x4604 ~x6188 ~x10115 ~x6380 ~x11956 ~x2886 
399.44/400.66	v ~x8219 ~x1078 ~x4605 ~x6215 ~x10116 ~x6381 ~x11957 ~x2887 ~x8220 ~x1080 
399.44/400.66	v ~x4606 ~x6217 ~x10117 ~x6382 ~x11958 ~x2888 ~x8222 ~x1079 ~x4607 ~x6244 
399.44/400.66	v ~x10118 ~x6383 ~x11959 ~x2889 ~x8223 ~x1081 ~x4608 ~x6246 ~x10119 ~x6384 
399.44/400.66	v ~x11961 ~x2890 ~x8224 ~x1083 ~x4609 ~x6273 ~x10120 ~x6385 ~x11962 ~x2891 
399.44/400.66	v ~x8225 ~x1082 ~x4610 ~x6275 ~x10121 ~x6386 ~x11963 ~x2892 ~x8227 ~x1084 
399.44/400.66	v ~x4611 ~x6302 ~x10122 ~x6387 ~x11964 ~x2893 ~x8228 ~x1086 ~x4612 ~x6304 
399.44/400.66	v ~x10123 ~x6388 ~x11966 ~x2894 ~x8229 ~x1085 ~x4613 ~x6331 ~x10124 ~x6390 
399.44/400.66	v ~x11967 ~x2895 ~x8230 ~x1087 ~x4614 ~x6333 ~x10125 ~x6392 ~x11968 x2897 
399.44/400.66	v ~x8231 x1089 ~x4615 ~x6360 ~x10126 ~x6393 ~x11969 ~x2898 ~x8232 x1088 
399.44/400.66	v ~x4616 ~x6362 ~x10127 ~x6394 ~x11971 ~x2899 ~x8233 x1090 ~x4617 ~x6389 
399.44/400.66	v ~x10128 ~x6395 ~x11972 ~x2900 ~x8234 ~x1092 ~x4618 ~x6391 ~x10129 ~x6396 
399.44/400.66	v ~x11973 ~x2901 ~x8235 ~x1091 ~x4619 ~x6418 ~x10130 ~x6397 ~x11974 ~x2902 
399.44/400.66	v ~x8236 ~x1093 ~x4620 ~x6420 ~x10131 ~x6398 ~x11976 ~x2903 ~x8237 ~x1095 
399.44/400.66	v ~x4621 ~x6447 ~x10132 ~x6399 ~x11977 ~x2904 ~x8239 ~x1094 ~x4622 ~x6449 
399.44/400.66	v ~x10133 ~x6400 ~x11978 ~x2905 ~x8240 ~x1096 ~x4623 ~x6476 ~x10134 ~x6401 
399.44/400.66	v ~x11979 ~x2906 ~x8241 ~x1098 ~x4624 ~x6478 ~x10135 ~x6402 ~x11981 ~x2907 
399.44/400.66	v ~x8242 ~x1097 ~x4625 ~x6505 ~x10136 ~x6403 ~x11982 ~x2908 ~x8244 ~x1099 
399.44/400.66	v ~x4626 ~x6507 ~x10137 ~x6404 ~x11983 ~x2909 ~x8245 ~x1100 ~x4627 ~x6534 
399.44/400.66	v ~x10138 ~x6405 ~x11984 ~x2910 ~x8246 ~x1101 ~x4628 ~x6536 ~x10139 ~x6406 
399.44/400.66	v ~x11986 ~x2911 ~x8247 ~x1103 ~x4629 ~x6563 ~x10140 ~x6407 ~x11987 ~x2912 
399.44/400.66	v ~x8248 ~x1102 ~x4630 ~x6565 ~x10141 ~x6408 ~x11988 ~x2913 ~x8249 ~x1104 
399.44/400.66	v ~x4631 ~x6592 ~x10142 ~x6409 ~x11989 ~x2914 ~x8250 ~x1106 ~x4632 ~x6594 
399.44/400.66	v ~x10143 ~x6410 ~x11991 ~x2915 ~x8251 ~x1105 ~x4633 ~x6621 ~x10144 ~x6411 
399.44/400.66	v ~x11992 ~x2916 ~x8252 ~x1107 ~x4634 ~x6623 ~x10145 ~x6412 ~x11993 ~x2917 
399.44/400.66	v ~x8253 ~x1109 ~x4635 ~x6650 ~x10146 ~x6413 ~x11994 ~x2918 ~x8254 ~x1108 
399.44/400.66	v ~x4636 ~x6652 ~x10147 ~x6414 ~x11996 ~x2919 ~x8256 ~x1110 ~x4637 ~x6679 
399.44/400.66	v ~x10148 ~x6415 ~x11997 ~x2920 ~x8257 ~x1112 ~x4638 ~x6681 ~x10149 ~x6416 
399.44/400.66	v ~x11998 ~x2921 ~x8258 ~x1111 ~x4639 ~x6708 ~x10150 ~x6417 ~x11999 ~x2922 
399.44/400.66	v ~x8259 ~x1113 ~x4640 ~x6710 ~x10151 ~x6419 ~x12001 ~x2923 ~x8261 ~x1115 
399.44/400.66	v ~x4641 ~x6737 ~x10152 ~x6421 ~x12002 ~x2924 ~x8262 ~x1114 ~x4642 ~x6739 
399.44/400.66	v ~x10154 ~x6422 ~x12003 ~x2925 ~x8263 ~x1116 ~x4643 ~x6766 ~x10155 ~x6423 
399.44/400.66	v ~x12004 ~x2926 ~x8264 ~x1118 ~x4644 ~x6768 ~x10156 ~x6424 x12006 ~x2927 
399.44/400.66	v ~x8265 ~x1117 ~x4645 ~x6795 ~x10157 ~x6425 ~x12007 ~x2928 ~x8266 ~x1119 
399.44/400.66	v ~x4646 ~x6797 ~x10158 ~x6426 ~x12008 ~x2929 ~x8267 ~x1120 ~x4647 ~x6824 
399.44/400.66	v ~x10159 ~x6427 ~x12009 ~x2930 ~x8268 ~x1121 ~x4648 ~x6826 ~x10160 ~x6428 
399.44/400.66	v ~x12011 ~x2931 ~x8269 ~x1123 ~x4649 ~x6853 ~x10161 ~x6429 ~x12012 ~x2932 
399.44/400.66	v ~x8270 ~x1122 ~x4650 ~x6855 ~x10162 ~x6430 ~x12013 ~x2933 ~x8271 ~x1124 
399.44/400.66	v ~x4652 ~x6882 ~x10163 ~x6431 ~x12014 ~x2934 ~x8273 ~x1126 ~x4653 ~x6884 
399.44/400.66	v ~x10164 ~x6432 ~x12016 ~x2935 ~x8274 ~x1125 ~x4654 ~x6911 ~x10165 ~x6433 
399.44/400.66	v ~x12017 ~x2936 ~x8275 ~x1127 ~x4655 ~x6913 ~x10166 ~x6434 ~x12018 ~x2937 
399.44/400.66	v ~x8276 ~x1129 ~x4656 ~x6940 ~x10167 ~x6435 ~x12019 ~x2938 ~x8278 ~x1128 
399.44/400.66	v ~x4657 ~x6942 ~x10168 ~x6436 ~x12021 ~x2939 ~x8279 ~x1130 ~x4658 ~x6969 
399.44/400.66	v ~x10169 ~x6437 ~x12022 ~x2940 ~x8280 ~x1131 ~x4659 ~x6971 ~x10170 ~x6438 
399.44/400.66	v ~x12023 ~x2941 ~x8281 ~x1132 ~x4660 ~x6998 ~x10171 ~x6439 ~x12024 ~x2942 
399.44/400.66	v ~x8282 ~x1134 ~x4661 ~x7000 ~x10172 ~x6440 ~x12026 ~x2943 ~x8283 ~x1133 
399.44/400.66	v ~x4662 ~x7027 ~x10173 ~x6441 ~x12027 ~x2944 ~x8284 ~x1135 ~x4663 ~x7029 
399.44/400.66	v ~x10174 ~x6442 ~x12028 ~x2945 ~x8285 ~x1137 ~x4664 ~x7056 ~x10175 ~x6443 
399.44/400.66	v ~x12029 ~x2946 ~x8286 ~x1136 ~x4665 ~x7058 ~x10176 ~x6444 ~x12031 ~x2947 
399.44/400.66	v ~x8287 ~x1138 ~x4666 ~x7085 ~x10177 ~x6445 ~x12032 ~x2948 ~x8288 ~x1140 
399.44/400.66	v ~x4667 ~x7087 ~x10178 ~x6446 ~x12033 ~x2949 x8290 ~x1139 ~x4668 ~x7114 
399.44/400.66	v ~x10179 x6448 ~x12034 ~x2950 ~x8291 ~x1141 ~x4669 ~x7116 ~x10180 ~x6450 
399.44/400.66	v x12036 ~x2951 x8292 ~x1143 ~x4670 ~x7143 ~x10181 ~x6451 ~x12037 ~x2952 
399.44/400.66	v ~x8293 ~x1142 ~x4671 ~x7145 ~x10182 ~x6452 x12038 ~x2953 ~x8295 ~x1144 
399.44/400.66	v ~x4672 ~x7172 ~x10183 ~x6453 ~x12039 ~x2954 ~x8296 ~x1146 ~x4673 ~x7199 
399.44/400.66	v ~x10184 ~x6454 ~x12041 ~x2955 ~x8297 ~x1145 ~x4674 ~x7201 ~x10185 ~x6455 
399.44/400.66	v ~x12042 ~x2956 ~x8298 ~x1147 ~x4675 ~x7228 ~x10186 ~x6456 ~x12043 ~x2957 
399.44/400.66	v ~x8299 ~x1149 ~x4676 ~x7230 ~x10187 ~x6457 ~x12044 ~x2958 ~x8300 ~x1148 
399.44/400.66	v ~x4677 ~x7257 ~x10188 ~x6458 ~x12046 ~x2959 ~x8301 ~x1150 ~x4678 ~x7259 
399.44/400.66	v ~x10189 ~x6459 ~x12047 ~x2960 ~x8302 ~x1152 ~x4679 ~x7286 ~x10190 ~x6460 
399.44/400.66	v ~x12048 ~x2961 ~x8303 ~x1151 ~x4680 ~x7288 ~x10191 ~x6461 ~x12049 ~x2962 
399.44/400.66	v ~x8304 ~x1153 ~x4681 ~x7315 ~x10192 ~x6462 ~x12051 ~x2963 ~x8305 ~x1155 
399.44/400.66	v ~x4682 ~x7317 ~x10193 ~x6463 ~x12052 ~x2964 ~x8307 ~x1154 ~x4683 ~x7344 
399.44/400.66	v ~x10194 ~x6464 ~x12053 ~x2965 ~x8308 ~x1156 ~x4684 ~x7346 ~x10195 ~x6465 
399.44/400.66	v ~x12054 ~x2966 ~x8309 ~x1158 ~x4685 ~x7373 ~x10196 ~x6466 ~x12056 ~x2967 
399.44/400.66	v ~x8310 ~x1157 ~x4686 ~x7375 ~x10197 ~x6467 ~x12057 ~x2968 ~x8312 ~x1159 
399.44/400.66	v ~x4687 ~x7402 ~x10198 ~x6468 ~x12058 ~x2969 ~x8313 ~x1161 ~x4688 ~x7404 
399.44/400.66	v ~x10199 ~x6469 ~x12059 ~x2970 ~x8314 ~x1160 ~x4689 ~x7431 ~x10200 ~x6470 
399.44/400.66	v ~x12061 ~x2971 ~x8315 ~x1162 ~x4690 ~x7433 ~x10201 ~x6471 ~x12062 ~x2972 
399.44/400.66	v ~x8316 ~x1164 ~x4691 x7460 ~x10202 ~x6472 ~x12063 ~x2973 ~x8317 ~x1163 
399.44/400.66	v ~x4692 ~x7462 ~x10203 ~x6473 ~x12064 ~x2974 ~x8318 ~x1165 ~x4693 ~x7489 
399.44/400.66	v ~x10204 ~x6474 ~x12066 ~x2975 ~x8319 ~x1167 ~x4694 ~x7491 ~x10205 ~x6475 
399.44/400.66	v ~x12067 ~x2976 ~x8320 ~x1166 ~x4695 ~x7518 ~x10206 ~x6477 ~x12068 ~x2977 
399.44/400.66	v ~x8321 ~x1168 ~x4696 ~x7520 ~x10207 ~x6479 ~x12069 ~x2978 ~x8322 ~x1170 
399.44/400.66	v ~x4697 ~x7547 ~x10208 ~x6480 ~x12071 ~x2979 ~x8324 ~x1169 ~x4698 ~x7549 
399.44/400.66	v ~x10209 ~x6481 ~x12072 ~x2980 ~x8325 ~x1171 ~x4699 ~x7576 ~x10210 ~x6482 
399.44/400.66	v ~x12073 ~x2981 ~x8326 ~x1173 ~x4700 ~x7578 ~x10212 ~x6483 ~x12074 ~x2982 
399.44/400.66	v ~x8327 ~x1172 ~x4701 ~x7605 ~x10213 ~x6484 ~x12076 ~x2983 ~x8329 ~x1174 
399.44/400.66	v ~x4702 ~x7607 ~x10214 ~x6485 ~x12077 ~x2984 ~x8330 ~x1176 ~x4703 ~x7634 
399.44/400.66	v ~x10215 ~x6486 ~x12078 ~x2985 ~x8331 ~x1175 ~x4704 ~x7636 ~x10216 ~x6487 
399.44/400.66	v ~x12079 ~x2986 ~x8332 ~x1177 ~x4705 ~x7663 ~x10217 ~x6488 ~x12081 ~x2987 
399.44/400.66	v ~x8333 ~x1179 ~x4706 ~x7665 ~x10218 ~x6489 ~x12082 ~x2988 ~x8334 ~x1178 
399.44/400.66	v ~x4707 ~x7692 ~x10219 ~x6490 ~x12083 ~x2989 ~x8335 ~x1180 ~x4708 ~x7694 
399.44/400.66	v ~x10220 ~x6491 ~x12084 ~x2990 ~x8336 ~x1182 ~x4710 ~x7721 ~x10221 ~x6492 
399.44/400.66	v ~x12086 ~x2991 ~x8337 ~x1181 ~x4711 ~x7723 ~x10222 ~x6493 ~x12087 ~x2992 
399.44/400.66	v ~x8338 ~x1183 ~x4712 ~x7750 ~x10223 ~x6494 ~x12088 ~x2993 ~x8339 ~x1185 
399.44/400.66	v ~x4713 ~x7752 ~x10224 ~x6495 ~x12089 ~x2994 ~x8341 ~x1184 ~x4714 ~x7779 
399.44/400.66	v ~x10225 ~x6496 ~x12091 ~x2995 ~x8342 ~x1186 ~x4715 ~x7784 ~x10226 ~x6497 
399.44/400.66	v ~x12092 ~x2996 ~x8343 ~x1188 ~x4716 ~x7796 ~x10227 ~x6498 ~x12093 ~x2997 
399.44/400.66	v ~x8344 ~x1187 ~x4717 ~x7801 ~x10228 ~x6499 ~x12094 ~x2998 ~x8346 ~x1189 
399.44/400.66	v ~x4718 ~x7813 ~x10229 ~x6500 ~x12096 ~x2999 ~x8347 ~x1191 ~x4719 ~x7818 
399.44/400.66	v ~x10230 ~x6501 ~x12097 ~x3000 ~x8348 ~x1190 ~x4720 ~x7830 ~x10231 ~x6502 
399.44/400.66	v ~x12098 ~x3001 ~x8349 ~x1192 ~x4721 ~x7835 ~x10232 ~x6503 ~x12099 ~x3002 
399.44/400.66	v ~x8350 ~x1194 ~x4722 ~x7847 ~x10233 ~x6504 ~x12101 ~x3003 ~x8351 ~x1193 
399.44/400.66	v ~x4723 ~x7852 ~x10234 ~x6506 ~x12102 ~x3004 ~x8352 ~x1195 ~x4724 ~x7864 
399.44/400.66	v ~x10235 ~x6508 ~x12103 ~x3005 ~x8353 ~x1197 ~x4725 ~x7869 ~x10236 ~x6509 
399.44/400.66	v ~x12104 ~x3006 ~x8354 ~x1196 ~x4726 ~x7881 ~x10237 ~x6510 x12106 ~x3007 
399.44/400.66	v ~x8355 ~x1198 ~x4727 ~x7886 ~x10238 ~x6511 ~x12107 ~x3008 ~x8356 ~x1200 
399.44/400.66	v ~x4728 ~x7898 ~x10239 ~x6512 ~x12108 ~x3009 ~x8358 ~x1199 ~x4729 ~x7903 
399.44/400.66	v ~x10240 ~x6513 ~x12109 ~x3010 ~x8359 ~x1201 ~x4730 ~x7915 ~x10241 ~x6514 
399.44/400.66	v x12111 ~x3011 ~x8360 ~x1203 ~x4731 ~x7920 ~x10242 ~x6515 ~x12112 ~x3012 
399.44/400.66	v ~x8361 ~x1202 ~x4732 ~x7932 ~x10243 ~x6516 x12113 ~x3013 ~x8363 ~x1204 
399.44/400.66	v ~x4733 ~x7937 ~x10244 ~x6517 ~x12114 ~x3014 ~x8364 ~x1206 ~x4734 ~x7949 
399.44/400.66	v ~x10245 ~x6518 ~x12116 ~x3015 ~x8365 ~x4735 ~x1205 ~x7954 ~x10246 ~x6519 
399.44/400.66	v ~x12117 ~x3016 ~x8366 ~x1207 ~x4736 x7966 ~x10247 ~x6520 ~x12118 ~x3018 
399.44/400.66	v ~x8367 ~x1209 ~x4737 ~x7971 ~x10248 ~x6521 ~x12119 ~x3019 ~x8368 ~x1208 
399.44/400.66	v ~x4738 ~x7983 ~x10249 ~x6522 ~x12121 ~x3020 ~x8369 ~x1210 ~x4739 ~x7988 
399.44/400.66	v ~x10250 ~x6523 ~x12122 ~x3021 ~x8370 ~x1212 ~x4740 ~x8000 ~x10251 ~x6524 
399.44/400.66	v ~x12123 ~x3022 ~x8371 ~x1211 ~x4741 ~x8005 ~x10252 ~x6525 ~x12124 ~x3023 
399.44/400.66	v ~x8372 ~x1213 ~x4742 ~x8017 ~x10253 ~x6526 ~x12126 ~x3024 ~x8373 ~x1215 
399.44/400.66	v ~x4743 ~x8022 ~x10254 ~x6527 ~x12127 ~x3025 ~x8375 ~x1214 ~x4744 ~x8034 
399.44/400.66	v ~x10255 ~x6528 ~x12128 ~x3026 ~x8376 ~x1216 ~x4745 ~x8039 ~x10256 ~x6529 
399.44/400.66	v ~x12129 ~x3027 ~x8377 ~x1218 ~x4746 ~x8051 ~x10257 ~x6530 ~x12131 ~x3028 
399.44/400.66	v ~x8378 ~x1217 ~x4747 ~x8056 ~x10258 ~x6531 ~x12132 ~x3029 ~x8380 ~x1219 
399.44/400.66	v ~x4748 ~x8068 ~x10259 ~x6532 ~x12133 ~x3030 ~x8381 ~x1221 ~x4749 ~x8073 
399.44/400.66	v ~x10260 ~x6533 ~x12134 ~x3031 ~x8382 ~x1220 ~x4750 ~x8085 ~x10261 ~x6535 
399.44/400.66	v ~x12136 ~x3032 ~x8383 ~x1222 ~x4751 ~x8090 ~x10262 ~x6537 ~x12137 ~x3033 
399.44/400.66	v ~x8384 ~x1224 ~x4752 ~x8102 ~x10263 ~x6538 ~x12138 ~x3034 ~x8385 ~x1223 
399.44/400.66	v ~x4753 ~x8107 ~x10264 ~x6539 ~x12139 ~x3035 ~x8386 ~x1225 ~x4754 ~x8119 
399.44/400.66	v ~x10265 ~x6540 ~x12141 ~x3036 ~x8387 ~x1227 ~x4755 ~x8124 ~x10266 ~x6541 
399.44/400.66	v ~x12142 ~x3037 ~x8388 ~x1226 ~x4756 ~x8136 ~x10267 ~x6542 ~x12143 ~x3038 
399.44/400.66	v ~x8389 ~x1228 ~x4757 ~x8141 ~x10268 ~x6543 ~x12144 ~x3039 ~x8390 ~x1230 
399.44/400.66	v ~x4758 ~x8153 ~x10270 ~x6544 ~x12146 ~x3040 ~x8392 ~x1229 ~x4759 ~x8158 
399.44/400.66	v ~x10271 ~x6545 ~x12147 ~x3041 ~x8393 ~x1231 ~x4760 ~x8170 ~x10272 ~x6546 
399.44/400.66	v ~x12148 ~x3042 ~x8394 ~x1233 ~x4761 ~x8175 ~x10273 ~x6547 ~x12149 ~x3043 
399.44/400.66	v ~x8395 ~x1232 ~x4762 ~x8187 ~x10274 ~x6548 ~x12151 ~x3044 ~x8397 ~x1234 
399.44/400.66	v ~x4763 ~x8192 ~x10275 ~x6549 ~x12152 ~x3045 ~x8398 ~x4764 ~x8204 ~x10276 
399.44/400.66	v ~x6550 ~x12153 ~x3046 ~x8399 ~x4765 ~x8209 ~x10277 ~x1236 ~x6551 ~x12154 
399.44/400.66	v ~x3047 ~x8400 ~x4766 ~x8221 ~x10278 ~x1235 ~x6552 ~x12156 ~x3048 ~x8401 
399.44/400.66	v ~x4768 ~x8226 ~x10279 ~x1237 ~x6553 ~x12157 ~x3049 ~x8402 ~x4769 ~x8238 
399.44/400.66	v ~x10280 ~x1239 ~x6554 ~x12158 ~x3050 ~x8403 ~x4770 ~x8243 ~x10281 ~x1238 
399.44/400.66	v ~x6555 ~x12159 ~x3051 ~x8404 ~x4771 ~x8255 ~x10282 ~x1240 ~x6556 ~x12161 
399.44/400.66	v ~x3052 ~x8405 ~x4772 ~x8260 ~x10283 ~x1242 ~x6557 ~x12162 ~x3053 ~x8406 
399.44/400.66	v ~x4773 ~x8272 ~x10284 ~x1241 ~x6558 ~x12163 ~x3054 ~x8407 ~x4774 ~x8277 
399.44/400.66	v ~x10285 ~x1243 ~x6559 ~x12164 ~x3055 ~x8409 ~x4775 ~x8289 ~x10286 ~x1245 
399.44/400.66	v ~x6560 x12166 ~x3056 ~x8410 ~x4776 ~x8294 ~x10287 ~x1244 ~x6561 ~x12167 
399.44/400.66	v ~x3057 ~x8411 ~x4777 ~x8306 ~x10288 ~x1246 ~x6562 ~x12168 ~x3058 ~x8412 
399.44/400.66	v ~x4778 ~x8311 ~x10289 ~x1248 ~x6564 ~x12169 ~x3059 ~x8414 ~x4779 ~x8323 
399.44/400.66	v ~x10290 ~x1247 ~x6566 x12171 ~x3060 ~x8415 ~x4780 ~x8328 ~x10291 ~x1249 
399.44/400.66	v ~x6567 ~x12172 ~x3061 ~x8416 ~x4781 ~x8340 ~x10292 ~x1251 ~x6568 ~x12173 
399.44/400.66	v ~x3062 ~x8417 ~x4782 ~x8345 ~x10293 ~x1250 ~x6569 ~x12174 ~x3063 ~x8418 
399.44/400.66	v ~x4783 ~x8357 ~x10294 ~x1252 ~x6570 ~x12176 ~x3064 ~x8419 ~x4784 ~x8362 
399.44/400.66	v ~x10295 ~x1254 ~x6571 ~x12177 ~x3065 ~x8420 ~x4785 ~x8374 ~x10296 ~x1253 
399.44/400.66	v ~x6572 ~x12178 ~x3066 ~x8421 ~x4786 ~x8379 ~x10297 ~x1255 ~x6573 ~x12179 
399.44/400.66	v ~x3067 ~x8422 ~x4787 ~x8391 ~x10298 ~x1257 ~x6574 ~x12181 ~x3068 ~x8423 
399.44/400.66	v ~x4788 ~x8396 ~x10299 ~x1256 ~x6575 ~x12182 ~x3069 ~x8424 ~x4789 ~x8408 
399.44/400.66	v ~x10300 ~x1258 ~x6576 ~x12183 ~x3070 ~x8426 ~x4790 ~x8413 ~x10301 ~x1260 
399.44/400.66	v ~x6577 ~x12184 ~x3071 ~x8427 ~x4791 ~x8425 ~x10302 ~x1259 ~x6578 ~x12186 
399.44/400.66	v ~x3072 ~x8428 ~x4792 ~x8430 ~x10303 ~x1261 ~x6579 ~x12187 ~x3073 ~x8429 
399.44/400.66	v ~x4793 ~x8442 ~x10304 ~x1263 ~x6580 ~x12188 ~x3074 ~x8431 ~x4794 ~x8447 
399.44/400.66	v ~x10305 ~x1262 ~x6581 ~x12189 ~x3075 ~x8432 ~x4795 ~x8459 ~x10306 ~x1264 
399.44/400.66	v ~x6582 x12191 ~x3076 ~x8433 ~x4796 ~x8464 ~x10307 ~x1266 ~x6583 ~x12192 
399.44/400.66	v ~x3077 ~x8434 ~x4797 ~x8476 ~x10308 ~x1265 ~x6584 ~x12193 ~x3078 ~x8435 
399.44/400.66	v ~x4798 ~x8481 ~x10309 ~x1267 ~x6585 ~x12194 ~x3079 ~x8436 ~x4799 ~x8493 
399.44/400.66	v ~x10310 ~x1269 ~x6586 ~x12196 ~x3080 ~x8437 ~x4800 ~x8498 ~x10311 ~x1268 
399.44/400.66	v ~x6587 ~x12197 ~x3081 ~x8438 ~x4801 ~x8510 ~x10312 ~x1270 ~x6588 ~x12198 
399.44/400.66	v ~x3082 ~x8439 ~x4802 ~x8515 ~x10313 ~x1272 ~x6589 ~x12199 ~x3083 ~x8440 
399.44/400.66	v ~x4803 ~x8527 ~x10314 ~x1271 ~x6590 ~x12201 ~x3084 ~x8441 ~x4804 ~x8532 
399.44/400.66	v ~x10315 ~x1273 ~x6591 ~x12202 ~x3085 ~x8443 ~x4805 ~x8544 ~x10316 ~x1275 
399.44/400.66	v ~x6593 ~x12203 ~x3086 ~x8444 ~x4806 ~x8549 ~x10317 ~x1274 ~x6595 ~x12204 
399.44/400.66	v ~x3087 ~x8445 ~x4807 ~x8561 ~x10318 ~x1276 ~x6596 x12206 ~x3088 ~x8446 
399.44/400.66	v ~x4808 ~x8566 ~x10319 ~x1278 ~x6597 ~x12207 ~x3089 ~x8448 ~x4809 ~x8578 
399.44/400.66	v ~x10320 ~x1277 ~x6598 x12208 ~x3090 ~x8449 ~x4810 ~x8583 ~x10321 ~x1279 
399.44/400.66	v ~x6599 ~x12209 ~x3091 ~x8450 ~x4811 ~x8595 ~x10322 ~x1281 ~x6600 x12211 
399.44/400.66	v ~x3092 ~x8451 ~x4812 ~x8600 ~x10323 ~x1280 ~x6601 ~x12212 ~x3093 ~x8452 
399.44/400.66	v ~x4813 ~x8612 ~x10324 ~x1282 ~x6602 ~x12213 ~x3094 ~x8453 ~x4814 ~x8617 
399.44/400.66	v ~x10325 ~x1284 ~x6603 ~x12214 ~x3095 ~x8454 ~x4815 ~x8629 ~x10326 ~x1283 
399.44/400.66	v ~x6604 ~x12216 ~x3096 ~x8455 ~x4816 ~x8634 ~x10328 ~x1285 ~x6605 ~x12217 
399.44/400.66	v ~x3097 ~x8456 ~x4817 ~x8646 ~x10329 ~x944 ~x6606 ~x12218 ~x3098 ~x8457 
399.44/400.66	v ~x4818 ~x8651 ~x10330 ~x945 ~x6607 ~x12219 ~x3099 ~x8458 ~x4819 ~x8663 
399.44/400.66	v ~x10331 ~x946 ~x6608 ~x12221 ~x3100 ~x8460 ~x4820 ~x8668 ~x10332 ~x947 
399.44/400.66	v ~x6609 ~x12222 ~x3101 ~x8461 ~x4821 ~x8680 ~x10333 ~x948 ~x6610 ~x12223 
399.44/400.66	v ~x3102 ~x8462 ~x4822 ~x8685 ~x10334 ~x949 ~x6611 ~x12224 ~x3103 ~x8463 
399.44/400.66	v ~x4823 ~x8697 ~x10335 ~x950 ~x6612 x12226 ~x3104 ~x8465 ~x4824 ~x8702 
399.44/400.66	v ~x10336 ~x951 ~x6613 ~x12227 ~x3105 ~x8466 ~x4826 ~x8714 ~x10337 ~x1294 
399.44/400.66	v ~x6614 ~x12228 ~x3106 ~x8467 ~x4827 ~x8719 ~x10338 ~x1295 ~x6615 ~x12229 
399.44/400.66	v ~x3107 ~x8468 ~x4828 ~x8731 ~x10339 ~x1296 ~x6616 ~x12231 ~x3108 ~x8469 
399.44/400.66	v ~x4829 ~x8736 ~x10340 ~x1298 ~x6617 ~x12232 ~x3109 ~x8470 ~x4830 ~x8748 
399.44/400.66	v ~x10341 ~x1299 ~x6618 ~x12233 ~x3110 ~x8471 ~x4831 ~x8753 ~x10342 ~x1300 
399.44/400.66	v ~x6619 ~x12234 ~x3111 ~x8472 ~x4832 ~x8765 ~x10343 ~x1301 ~x6620 x12236 
399.44/400.66	v ~x3112 ~x8473 ~x4833 ~x8770 ~x10344 x1302 ~x6622 ~x12237 ~x3113 ~x8474 
399.44/400.66	v ~x4834 ~x8782 ~x10345 ~x1303 ~x6624 ~x12238 ~x3114 ~x8475 ~x4835 ~x8787 
399.44/400.66	v ~x10346 ~x1304 ~x6625 ~x12239 ~x3115 ~x8477 ~x4836 ~x8799 ~x10347 ~x1305 
399.44/400.66	v ~x6626 x12241 ~x3116 ~x8478 ~x4837 ~x8804 ~x10348 ~x1307 ~x6627 ~x12242 
399.44/400.66	v ~x3117 ~x8479 ~x4838 ~x8816 ~x10349 ~x1308 ~x6628 ~x12243 ~x3118 ~x8480 
399.44/400.66	v ~x4839 ~x8821 ~x10350 ~x1309 ~x6629 ~x12244 ~x3119 ~x8482 ~x4840 ~x8833 
399.44/400.66	v ~x10351 ~x1310 ~x6630 ~x12246 ~x3120 ~x8483 ~x4841 ~x8838 ~x10352 ~x1311 
399.44/400.66	v ~x6631 ~x12247 ~x3121 ~x8484 ~x4842 ~x8850 ~x10353 ~x1312 ~x6632 ~x12248 
399.44/400.66	v ~x3122 ~x8485 ~x4843 ~x8855 ~x10354 ~x1313 ~x6633 ~x12249 ~x3123 ~x8486 
399.44/400.66	v ~x4844 ~x8867 ~x10355 ~x1314 ~x6634 ~x12251 ~x3124 ~x8487 ~x4845 ~x8872 
399.44/400.66	v ~x10356 ~x1315 ~x6635 ~x12252 ~x3125 ~x8488 ~x4846 ~x8884 ~x10357 ~x1316 
399.44/400.66	v ~x6636 ~x12253 ~x3126 ~x8489 ~x4847 ~x8889 ~x10358 ~x1317 ~x6637 ~x12254 
399.44/400.66	v ~x3127 ~x8490 ~x4848 ~x8901 ~x10359 ~x1318 ~x6638 ~x12256 ~x3128 ~x8491 
399.44/400.66	v ~x4849 ~x8906 ~x10360 ~x1320 ~x6639 ~x12257 ~x3129 ~x8492 ~x4850 ~x8918 
399.44/400.66	v ~x10361 ~x1321 ~x6640 ~x12258 ~x3130 x8494 ~x4851 ~x8923 ~x10362 ~x1323 
399.44/400.66	v ~x6641 ~x12259 ~x3131 ~x8495 ~x4852 ~x8935 ~x10363 ~x1324 ~x6642 ~x12261 
399.44/400.66	v ~x3132 x8496 ~x4853 ~x8940 ~x10364 ~x1325 ~x6643 ~x12262 ~x3133 ~x8497 
399.44/400.66	v ~x4854 ~x8952 ~x10365 ~x1326 ~x6644 ~x12263 ~x3134 ~x8499 ~x4855 ~x8957 
399.44/400.66	v ~x10366 ~x1327 ~x6645 ~x12264 ~x3135 ~x8500 ~x4856 ~x8969 ~x10367 ~x1328 
399.44/400.66	v ~x6646 x12266 ~x3136 ~x8501 ~x4857 ~x8974 ~x10368 ~x1330 ~x6647 ~x12267 
399.44/400.66	v ~x3137 ~x8502 ~x4858 ~x8986 ~x10369 ~x1331 ~x6648 ~x12268 ~x3139 ~x8503 
399.44/400.66	v ~x4859 ~x8991 ~x10370 ~x1332 ~x6649 ~x12269 ~x3140 ~x8504 ~x4860 ~x9003 
399.44/400.66	v ~x10371 ~x1333 ~x6651 ~x12270 ~x3141 ~x8505 ~x4861 ~x9008 ~x10372 ~x1334 
399.44/400.66	v ~x6653 ~x12271 ~x3142 ~x8506 ~x4862 ~x9020 ~x10373 ~x1335 ~x6654 ~x12272 
399.44/400.66	v ~x3143 ~x8507 ~x4863 ~x9025 ~x10374 ~x1336 ~x6655 ~x12273 ~x3144 ~x8508 
399.44/400.66	v ~x4864 ~x9037 ~x10375 ~x1337 ~x6656 ~x12274 ~x3145 ~x8509 ~x4865 ~x9042 
399.44/400.66	v ~x10376 ~x1339 ~x6657 ~x12275 ~x3146 ~x8511 ~x4866 ~x9054 ~x10377 ~x1340 
399.44/400.66	v ~x6658 ~x12276 ~x3147 ~x8512 ~x4867 ~x9059 ~x10378 ~x1341 ~x6659 ~x12277 
399.44/400.66	v ~x3148 ~x8513 ~x4868 ~x9071 ~x10379 ~x1343 ~x6660 ~x12278 ~x3149 ~x8514 
399.44/400.66	v ~x4869 ~x9076 ~x10380 ~x1342 ~x6661 ~x12279 ~x3150 ~x8516 ~x4870 ~x9088 
399.44/400.66	v ~x10381 ~x1344 ~x6662 ~x12280 ~x3151 ~x8517 ~x4871 ~x9093 ~x10382 ~x1346 
399.44/400.66	v ~x6663 ~x12281 ~x3152 ~x8518 ~x4872 ~x9105 ~x10383 ~x1345 ~x6664 ~x12282 
399.44/400.66	v ~x3153 ~x8519 ~x4873 ~x9110 ~x10384 ~x1347 ~x6665 ~x12283 ~x3154 ~x8520 
399.44/400.66	v ~x4874 ~x9122 ~x10386 ~x1349 ~x6666 ~x12284 ~x3155 ~x8521 ~x4875 ~x9127 
399.44/400.66	v ~x10387 ~x1348 ~x6667 ~x12285 ~x3156 ~x8522 ~x4876 ~x9139 ~x10388 ~x1350 
399.44/400.66	v ~x6668 ~x12286 ~x3157 ~x8523 ~x4877 ~x9144 ~x10389 ~x1352 ~x6669 ~x12287 
399.44/400.66	v ~x3158 ~x8524 ~x4878 ~x9156 ~x10390 ~x1351 ~x6670 ~x12288 ~x3159 ~x8525 
399.44/400.66	v ~x4879 ~x9161 ~x10391 ~x1353 ~x6671 ~x12289 ~x3160 ~x8526 ~x4880 ~x9173 
399.44/400.66	v ~x10392 ~x1355 ~x6672 ~x12290 ~x3161 ~x8528 ~x4881 ~x9178 ~x10393 ~x1354 
399.44/400.66	v ~x6673 ~x12291 ~x3162 ~x8529 ~x4882 ~x9190 ~x10394 ~x1356 ~x6674 ~x12293 
399.44/400.66	v ~x3163 ~x8530 ~x4884 ~x9195 ~x10395 ~x1358 ~x6675 ~x12294 ~x3164 ~x8531 
399.44/400.66	v ~x4885 ~x9207 ~x10396 ~x1357 ~x6676 ~x12295 ~x3165 ~x8533 ~x4886 ~x9212 
399.44/400.66	v ~x10397 ~x1359 ~x6677 ~x12296 ~x3166 ~x8534 ~x4887 ~x9224 ~x10398 ~x1361 
399.44/400.66	v ~x6678 ~x12297 ~x3167 ~x8535 ~x4888 ~x9229 ~x10399 ~x1360 ~x6680 ~x12298 
399.44/400.66	v ~x3168 ~x8536 ~x4889 ~x9241 ~x10400 ~x1362 ~x6682 ~x12299 ~x3169 ~x8537 
399.44/400.66	v ~x4890 ~x9246 ~x10401 ~x1364 ~x6683 ~x12300 ~x3170 ~x8538 ~x4891 ~x9258 
399.44/400.66	v ~x10402 ~x1363 ~x6684 ~x12301 ~x3171 ~x8539 ~x4892 ~x9263 ~x10403 ~x1365 
399.44/400.66	v ~x6685 ~x12302 ~x3172 ~x8540 ~x4893 ~x9275 ~x10404 ~x1367 ~x6686 ~x12303 
399.44/400.66	v ~x3173 ~x8541 ~x4894 ~x9280 ~x10405 ~x1366 ~x6687 ~x12304 ~x3174 ~x8542 
399.44/400.66	v ~x4895 ~x9292 ~x10406 ~x1368 ~x6688 ~x12305 ~x3175 ~x8543 ~x4896 ~x9297 
399.44/400.66	v ~x10407 ~x1370 ~x6689 ~x12306 ~x3176 x8545 ~x4897 ~x9309 ~x10408 ~x1369 
399.44/400.66	v ~x6690 ~x12307 ~x3177 ~x8546 ~x4898 ~x9314 ~x10409 ~x1372 ~x6691 ~x12308 
399.44/400.66	v ~x3178 ~x8547 ~x4899 ~x9326 ~x10410 ~x1371 ~x6692 ~x12309 ~x3179 ~x8548 
399.44/400.66	v ~x4900 ~x9331 ~x10411 ~x1373 ~x6693 ~x12310 ~x3180 ~x8550 ~x4901 ~x9343 
399.44/400.66	v ~x10413 ~x1375 ~x6694 ~x12311 ~x3181 ~x8551 ~x4902 ~x9348 ~x10414 ~x1374 
399.44/400.66	v ~x6695 ~x12312 ~x3182 ~x8552 ~x4903 ~x9360 ~x10415 ~x1376 ~x6696 ~x12313 
399.44/400.66	v ~x3183 ~x8553 ~x4904 ~x9365 ~x10416 ~x1378 ~x6697 ~x12314 ~x3184 ~x8554 
399.44/400.66	v ~x4905 ~x9377 ~x10417 ~x1377 ~x6698 ~x12315 ~x3185 ~x8555 ~x4906 ~x9382 
399.44/400.66	v ~x10418 ~x1379 ~x6699 ~x12316 ~x3186 ~x8556 ~x4907 ~x9394 ~x10419 ~x1381 
399.44/400.66	v ~x6700 ~x12317 ~x3187 ~x8557 ~x4908 ~x9399 ~x10420 ~x1380 ~x6701 ~x12318 
399.44/400.66	v ~x3188 ~x8558 ~x4909 ~x9411 ~x10421 ~x1382 ~x6702 ~x12320 ~x3189 ~x8559 
399.44/400.66	v ~x4910 ~x9416 ~x10422 ~x1384 ~x6703 ~x12321 ~x3190 ~x8560 ~x4911 ~x9428 
399.44/400.66	v ~x10423 ~x1383 ~x6704 ~x12322 ~x3191 ~x8562 ~x4912 ~x9433 ~x10424 ~x1385 
399.44/400.66	v ~x6705 ~x12323 ~x3192 ~x8563 ~x4913 ~x9445 ~x10425 ~x1387 ~x6706 ~x12324 
399.44/400.66	v ~x3193 ~x8564 ~x4914 ~x9450 ~x10426 ~x1386 ~x6707 ~x12325 ~x3194 ~x8565 
399.44/400.66	v ~x4915 ~x9462 ~x10427 ~x1388 ~x6709 ~x12326 ~x3195 ~x8567 ~x4916 ~x9467 
399.44/400.66	v ~x10428 ~x1390 ~x6711 ~x12327 ~x3196 ~x8568 ~x4917 ~x9479 ~x10429 ~x1389 
399.44/400.66	v ~x6712 ~x12328 ~x3197 ~x8569 ~x4918 ~x9484 ~x10430 ~x1391 ~x6713 ~x12329 
399.44/400.66	v ~x3198 ~x8570 ~x4919 ~x9496 ~x10431 ~x1392 ~x6714 ~x12330 ~x3199 ~x8571 
399.44/400.66	v ~x4920 ~x9501 ~x10432 ~x1393 ~x6715 ~x12331 ~x3200 ~x8572 ~x4921 ~x9513 
399.44/400.66	v ~x10433 ~x1394 ~x6716 ~x12332 ~x3201 ~x8573 ~x4922 ~x9518 ~x10434 ~x1395 
399.44/400.66	v ~x6717 ~x12333 ~x3202 ~x8574 ~x4923 ~x9530 ~x10435 ~x1397 ~x6718 ~x12334 
399.44/400.66	v ~x3203 ~x8575 ~x4924 ~x9535 ~x10436 ~x1396 ~x6719 ~x12335 ~x3204 ~x8576 
399.44/400.66	v ~x4925 ~x9547 ~x10437 ~x1398 ~x6720 ~x12336 ~x3205 ~x8577 ~x4926 ~x9552 
399.44/400.66	v ~x10438 ~x1400 ~x6721 ~x12337 ~x3206 ~x8579 ~x4927 ~x9564 ~x10440 ~x1399 
399.44/400.66	v ~x6722 ~x12338 ~x3207 ~x8580 ~x4928 ~x9569 ~x10441 ~x1401 ~x6723 ~x12339 
399.44/400.66	v ~x3208 ~x8581 ~x4929 ~x9581 ~x10442 ~x1403 ~x6724 ~x12340 ~x3209 ~x8582 
399.44/400.66	v ~x4930 ~x9586 ~x10443 ~x1402 ~x6725 ~x12341 ~x3210 ~x8584 ~x4931 ~x9598 
399.44/400.66	v ~x10444 ~x1404 ~x6726 ~x12342 ~x3211 ~x8585 ~x4932 ~x9603 ~x10445 ~x1405 
399.44/400.66	v ~x6727 ~x12343 ~x3212 ~x8586 ~x4933 ~x9615 ~x10446 ~x1406 ~x6728 ~x12344 
399.44/400.66	v ~x3213 ~x8587 ~x4934 ~x9620 ~x10447 ~x1408 ~x6729 ~x12345 ~x3214 ~x8588 
399.44/400.66	v ~x4935 ~x9632 ~x10448 ~x1407 ~x6730 ~x12347 ~x3215 ~x8589 ~x4936 ~x9637 
399.44/400.66	v ~x10449 ~x1409 ~x6731 ~x12348 ~x3216 ~x8590 ~x4937 ~x9649 ~x10450 ~x1410 
399.44/400.66	v ~x6732 ~x12349 ~x3217 ~x8591 ~x4938 ~x9654 ~x10451 ~x1411 ~x6733 ~x12350 
399.44/400.66	v ~x3218 ~x8592 ~x4939 ~x9666 ~x10452 ~x1413 ~x6734 ~x12351 ~x3219 ~x8593 
399.44/400.66	v ~x4940 ~x9671 ~x10453 ~x1412 ~x6735 ~x12352 ~x3220 ~x8594 ~x4942 ~x9683 
399.44/400.66	v ~x10454 ~x1414 ~x6736 ~x12353 ~x3221 ~x8596 ~x4943 ~x9688 ~x10455 ~x1416 
399.44/400.66	v ~x6738 ~x12354 ~x3222 ~x8597 ~x4944 ~x9700 ~x10456 ~x1415 ~x6740 ~x12355 
399.44/400.66	v ~x3223 ~x8598 ~x4945 ~x9705 ~x10457 ~x1417 ~x6741 ~x12356 ~x3224 ~x8599 
399.44/400.66	v ~x4946 ~x9717 ~x10458 ~x1419 ~x6742 ~x12357 ~x3225 ~x8601 ~x4947 ~x9722 
399.44/400.66	v ~x10459 ~x1418 ~x6743 ~x12358 ~x3226 ~x8602 ~x4948 ~x9734 ~x10460 ~x1420 
399.44/400.66	v ~x6744 ~x12359 ~x3227 ~x8603 ~x4949 ~x9739 ~x10461 ~x1422 ~x6745 ~x12360 
399.44/400.66	v ~x3228 ~x8604 ~x4950 ~x9751 ~x10462 ~x1421 ~x6746 ~x12361 ~x3229 ~x8605 
399.44/400.66	v ~x4951 ~x9756 ~x10463 ~x1423 ~x6747 ~x12362 ~x3230 ~x8606 ~x4952 ~x9768 
399.44/400.66	v ~x10464 ~x1425 ~x6748 ~x12363 ~x3231 ~x8607 ~x4953 ~x9773 ~x10465 ~x1424 
399.44/400.66	v ~x6749 ~x12364 ~x3232 ~x8608 ~x4954 ~x9785 ~x10467 ~x1426 ~x6750 ~x12365 
399.44/400.66	v ~x3233 ~x8609 ~x4955 ~x9790 ~x10468 ~x1427 ~x6751 ~x12366 ~x3234 ~x8610 
399.44/400.66	v ~x4956 ~x9802 ~x10469 ~x1428 ~x6752 ~x12367 ~x3235 ~x8611 ~x4957 ~x9807 
399.44/400.66	v ~x10470 ~x1430 ~x6753 ~x12368 ~x3236 ~x8613 ~x4958 ~x9819 ~x10471 ~x1429 
399.44/400.66	v ~x6754 ~x12369 ~x3237 ~x8614 ~x4959 ~x9824 ~x10472 ~x1431 ~x6755 ~x12370 
399.44/400.66	v ~x3238 ~x8615 ~x4960 ~x9836 ~x10473 ~x1433 ~x6756 ~x12371 ~x3239 ~x8616 
399.44/400.66	v ~x4961 ~x9841 ~x10474 ~x1432 ~x6757 ~x12372 ~x3240 ~x8618 ~x4962 ~x9853 
399.44/400.66	v ~x10475 ~x1434 ~x6758 x12374 ~x3241 ~x8619 ~x4963 ~x9858 ~x10476 ~x1436 
399.44/400.66	v ~x6759 ~x12375 ~x3242 ~x8620 ~x4964 ~x9870 ~x10477 ~x1435 ~x6760 ~x12376 
399.44/400.66	v ~x3243 ~x8621 ~x4965 ~x9875 ~x10478 ~x1437 ~x6761 ~x12377 ~x3244 ~x8622 
399.44/400.66	v ~x4966 ~x9887 ~x10479 ~x1439 ~x6762 ~x12378 ~x3245 ~x8623 ~x4967 ~x9892 
399.44/400.66	v ~x10480 ~x1438 ~x6763 ~x12379 ~x3246 ~x8624 ~x4968 ~x9904 ~x10481 ~x1440 
399.44/400.66	v ~x6764 ~x12380 ~x3247 ~x8625 ~x4969 ~x9909 ~x10482 x1287 ~x6765 ~x12381 
399.44/400.66	v ~x3248 ~x8626 ~x4970 ~x9921 ~x10483 ~x1288 ~x6767 ~x12382 ~x3249 ~x8627 
399.44/400.66	v ~x4971 ~x9979 ~x10484 ~x1289 ~x6769 ~x12383 ~x3250 ~x8628 ~x4972 ~x10037 
399.44/400.66	v ~x10485 ~x1290 ~x6770 ~x12384 ~x3251 ~x8630 ~x4973 ~x10095 ~x10486 ~x1291 
399.44/400.66	v ~x6771 ~x12385 ~x3252 ~x8631 ~x4974 ~x10153 ~x10487 ~x1292 ~x6772 ~x12386 
399.44/400.66	v ~x3253 ~x8632 ~x4975 ~x10211 ~x10488 ~x1293 ~x6773 ~x12387 ~x3254 ~x8633 
399.44/400.66	v ~x4976 ~x10269 ~x10489 ~x1442 ~x6774 ~x12388 ~x3255 ~x8635 ~x4977 ~x10327 
399.44/400.66	v ~x10490 ~x1443 ~x6775 ~x12389 ~x3256 ~x8636 ~x4978 ~x10385 ~x10491 ~x1444 
399.44/400.66	v ~x6776 ~x12390 ~x3257 ~x8637 ~x4979 ~x955 ~x10492 ~x1445 ~x6777 ~x12391 
399.44/400.66	v ~x3258 ~x8638 ~x4980 ~x10412 ~x10494 x1447 ~x6778 ~x12392 ~x3260 ~x8639 
399.44/400.66	v ~x4981 ~x958 ~x10495 x1448 ~x6779 ~x12393 ~x3261 ~x8640 ~x4982 ~x10439 
399.44/400.66	v ~x10496 ~x1449 ~x6780 ~x12394 ~x3262 ~x8641 ~x4983 ~x10466 ~x10497 ~x1450 
399.44/400.66	v ~x6781 ~x12395 ~x3263 ~x8642 ~x4984 ~x10493 ~x10498 ~x1452 ~x6782 ~x12396 
399.44/400.66	v ~x3264 ~x8643 ~x4985 ~x965 ~x10499 ~x1453 ~x6783 ~x12397 ~x3265 ~x8644 
399.44/400.66	v ~x4986 ~x10520 ~x10500 ~x1454 ~x6784 ~x12398 ~x3266 ~x8645 ~x4987 ~x10547 
399.44/400.66	v ~x10501 ~x1455 ~x6785 ~x12399 ~x3267 ~x8647 ~x4988 ~x970 ~x10502 x1457 
399.44/400.66	v ~x6786 ~x12401 ~x3268 ~x8648 ~x4989 ~x10574 ~x10503 ~x1458 ~x6787 ~x12402 
399.44/400.66	v ~x3269 ~x8649 ~x4990 ~x10601 ~x10504 ~x1459 ~x6788 ~x12403 ~x3270 ~x8650 
399.44/400.66	v ~x4991 ~x975 ~x10505 ~x1460 ~x6789 ~x12404 ~x3271 ~x8652 ~x4992 ~x10628 
399.44/400.66	v ~x10506 x1462 ~x6790 ~x12405 ~x3272 ~x8653 ~x4993 ~x10655 ~x10507 ~x1463 
399.44/400.66	v ~x6791 ~x12406 ~x3273 ~x8654 ~x4994 ~x10682 ~x10508 ~x1464 ~x6792 ~x12407 
399.44/400.66	v ~x3274 ~x8655 ~x4995 ~x10709 ~x10509 ~x1465 ~x6793 ~x12408 ~x3275 ~x8656 
399.44/400.66	v ~x4996 ~x10736 ~x10510 x1467 ~x6794 ~x12409 ~x3276 ~x8657 ~x4997 ~x10763 
399.44/400.66	v ~x10511 x1469 ~x6796 ~x12410 ~x3277 ~x8658 ~x4998 ~x988 ~x10512 ~x1471 
399.44/400.66	v ~x6798 ~x12411 ~x3278 ~x8659 ~x5000 ~x10790 ~x10513 ~x1473 ~x6799 ~x12412 
399.44/400.66	v ~x3279 ~x8660 ~x5001 ~x991 ~x10514 x1475 ~x6800 ~x12413 ~x3280 ~x8661 
399.44/400.66	v ~x5002 ~x10817 ~x10515 x1477 ~x6801 ~x12414 ~x3281 ~x8662 ~x5003 ~x10844 
399.44/400.66	v ~x10516 x1479 ~x6802 ~x12415 ~x3282 ~x8664 ~x5004 ~x10871 ~x10517 ~x1481 
399.44/400.66	v ~x6803 ~x12416 ~x3283 ~x8665 ~x5005 ~x998 ~x10518 ~x1483 ~x6804 ~x12417 
399.44/400.66	v ~x3284 ~x8666 ~x5006 ~x10898 ~x10519 x1485 ~x6805 ~x12418 ~x3285 ~x8667 
399.44/400.66	v ~x5007 ~x10925 ~x10521 ~x1487 ~x6806 ~x12419 ~x3286 ~x8669 ~x5008 ~x10952 
399.44/400.66	v ~x10522 ~x1488 ~x6807 ~x12420 ~x3287 ~x8670 ~x5009 ~x10979 ~x10523 ~x1489 
399.44/400.66	v ~x6808 ~x12421 ~x3288 ~x8671 ~x5010 ~x1007 ~x10524 ~x1490 ~x6809 ~x12422 
399.44/400.66	v ~x3289 ~x8672 ~x5011 ~x11006 ~x10525 ~x1491 ~x6810 ~x12423 ~x3290 ~x8673 
399.44/400.66	v ~x5012 ~x1010 ~x10526 ~x1492 ~x6811 ~x12424 ~x3291 ~x8674 ~x5013 ~x11033 
399.44/400.66	v ~x10527 ~x1493 ~x6812 ~x12425 ~x3292 ~x8675 ~x5014 ~x11060 ~x10528 ~x1494 
399.44/400.66	v ~x6813 ~x12426 ~x3293 ~x8676 ~x5015 ~x11087 ~x10529 ~x1495 ~x6814 ~x12428 
399.44/400.66	v ~x3294 ~x8677 ~x5016 ~x11114 ~x10530 ~x1496 ~x6815 ~x12429 ~x3295 ~x8678 
399.44/400.66	v ~x5017 ~x11141 ~x10531 ~x1497 ~x6816 ~x12430 ~x3296 ~x8679 ~x5018 ~x11143 
399.44/400.66	v ~x10532 ~x1498 ~x6817 ~x12431 ~x3297 ~x8681 ~x5019 ~x11155 ~x10533 ~x1499 
399.44/400.66	v ~x6818 ~x12432 ~x3298 ~x8682 ~x5020 ~x11157 ~x10534 ~x1500 ~x6819 ~x12433 
399.44/400.66	v ~x3299 ~x8683 ~x5021 ~x11169 ~x10535 ~x1501 ~x6820 ~x12434 ~x3300 ~x8684 
399.44/400.66	v ~x5022 ~x11171 ~x10536 ~x1502 ~x6821 ~x12435 ~x3301 ~x8686 ~x5023 ~x11183 
399.44/400.66	v ~x10537 ~x1503 ~x6822 ~x12436 ~x3302 ~x8687 ~x5024 ~x11185 ~x10538 ~x1504 
399.44/400.67	v ~x6823 ~x12437 ~x3303 ~x8688 ~x5025 ~x11197 ~x10539 ~x1505 x6825 ~x12438 
399.44/400.67	v ~x3304 ~x8689 ~x5026 ~x11199 ~x10540 ~x1506 ~x6827 ~x12439 ~x3305 ~x8690 
399.44/400.67	v ~x5027 ~x11211 ~x10541 ~x1507 ~x6828 ~x12440 ~x3306 ~x8691 ~x5028 ~x11213 
399.44/400.67	v ~x10542 ~x1508 ~x6829 ~x12441 ~x3307 ~x8692 ~x5029 ~x11225 ~x10543 ~x1509 
399.44/400.67	v ~x6830 ~x12442 ~x3308 ~x8693 ~x5030 ~x11227 ~x10544 ~x1510 ~x6831 ~x12443 
399.44/400.67	v ~x3309 ~x8694 ~x5031 ~x11239 ~x10545 ~x1511 ~x6832 ~x12444 ~x3310 ~x8695 
399.44/400.67	v ~x5032 ~x11241 ~x10546 ~x1512 ~x6833 ~x12445 ~x3311 ~x8696 ~x5033 ~x11253 
399.44/400.67	v ~x10548 ~x1514 ~x6834 ~x12446 ~x3312 ~x8698 ~x5034 ~x11255 ~x10549 ~x1515 
399.44/400.67	v ~x6835 ~x12447 ~x3313 ~x8699 ~x5035 ~x11267 ~x10550 ~x1516 ~x6836 ~x12448 
399.44/400.67	v ~x3314 ~x8700 ~x5036 ~x11269 ~x10551 ~x1517 ~x6837 ~x12449 ~x3315 ~x8701 
399.44/400.67	v ~x5037 ~x11281 ~x10552 ~x1518 ~x6838 ~x12450 ~x3316 ~x8703 ~x5038 ~x11283 
399.44/400.67	v ~x10553 ~x1519 ~x6839 ~x12451 ~x3318 ~x8704 ~x5039 ~x11295 ~x10554 ~x1520 
399.44/400.67	v ~x6840 ~x12452 ~x3319 ~x8705 ~x5040 ~x11297 ~x10555 ~x1521 ~x6841 ~x12453 
399.44/400.67	v ~x3320 ~x8706 ~x5041 ~x11309 ~x10556 ~x1522 ~x6842 ~x12455 ~x3321 ~x8707 
399.44/400.67	v ~x5042 ~x11311 ~x10557 ~x1523 ~x6843 ~x12456 ~x3322 ~x8708 ~x5043 ~x11323 
399.44/400.67	v ~x10558 ~x1524 ~x6844 ~x12457 ~x3323 ~x8709 ~x5044 ~x11325 ~x10559 ~x1525 
399.44/400.67	v ~x6845 ~x12458 ~x3324 ~x8710 ~x5045 ~x11337 ~x10560 ~x1526 ~x6846 ~x12459 
399.44/400.67	v ~x3325 ~x8711 ~x5046 ~x11339 ~x10561 ~x1527 ~x6847 ~x12460 ~x3326 ~x8712 
399.44/400.67	v ~x5047 ~x11351 ~x10562 ~x1528 ~x6848 ~x12461 ~x3327 ~x8713 ~x5048 ~x11363 
399.44/400.67	v ~x10563 ~x1529 ~x6849 ~x12462 ~x3328 ~x8715 ~x5049 ~x11365 ~x10564 ~x1530 
399.44/400.67	v ~x6850 ~x12463 ~x3329 ~x8716 ~x5050 ~x11377 ~x10565 ~x1531 ~x6851 ~x12464 
399.44/400.67	v ~x3330 ~x8717 ~x5051 ~x11379 ~x10566 ~x1532 ~x6852 ~x12465 ~x3331 ~x8718 
399.44/400.67	v ~x5052 ~x11391 ~x10567 ~x1533 ~x6854 ~x12467 ~x3332 ~x8720 ~x5053 ~x11393 
399.44/400.67	v ~x10568 ~x1534 ~x6856 ~x12468 ~x3333 ~x8721 ~x5054 ~x11405 ~x10569 ~x1535 
399.44/400.67	v ~x6857 ~x12469 ~x3334 ~x8722 ~x5055 ~x11417 ~x10570 ~x1536 ~x6858 ~x12470 
399.44/400.67	v ~x3335 ~x8723 ~x5056 ~x11419 ~x10571 ~x1537 ~x6859 ~x12471 ~x3336 ~x8724 
399.44/400.67	v ~x5058 ~x11431 ~x10572 ~x1538 ~x6860 ~x12472 ~x3337 ~x8725 ~x5059 ~x11433 
399.44/400.67	v ~x10573 ~x1539 ~x6861 ~x12473 ~x3338 ~x8726 ~x5060 ~x11445 x10575 x1541 
399.44/400.67	v ~x6862 ~x12474 ~x3339 ~x8727 ~x5061 ~x11447 ~x10576 ~x1542 ~x6863 ~x12475 
399.44/400.67	v ~x3340 ~x8728 ~x5062 ~x11459 ~x10577 ~x1543 ~x6864 ~x12476 ~x3341 ~x8729 
399.44/400.67	v ~x5063 ~x11461 ~x10578 ~x1544 ~x6865 ~x12477 ~x3342 ~x8730 ~x5064 x11473 
399.44/400.67	v ~x10579 ~x1545 ~x6866 x12479 ~x3343 ~x8732 ~x5065 x11475 ~x10580 ~x1546 
399.44/400.67	v ~x6867 ~x12480 ~x3344 ~x8733 ~x5066 ~x11487 ~x10581 ~x1547 ~x6868 x12481 
399.44/400.67	v ~x3345 ~x8734 ~x5067 ~x11489 ~x10582 ~x1548 ~x6869 ~x12482 ~x3346 ~x8735 
399.44/400.67	v ~x5068 ~x11501 ~x10583 ~x1549 ~x6870 ~x12483 ~x3347 ~x8737 ~x5069 ~x11503 
399.44/400.67	v ~x10584 ~x1550 ~x6871 ~x12484 ~x3348 ~x8738 ~x5070 ~x11515 ~x10585 ~x1551 
399.44/400.67	v ~x6872 ~x12485 ~x3349 ~x8739 ~x5071 ~x11517 ~x10586 ~x1552 ~x6873 ~x12486 
399.44/400.67	v ~x3350 ~x8740 ~x5072 ~x11529 ~x10587 ~x1553 ~x6874 ~x12487 ~x3351 ~x8741 
399.44/400.67	v ~x5073 ~x11541 ~x10588 ~x1554 ~x6875 ~x12488 ~x3352 ~x8742 ~x5074 ~x11543 
399.44/400.67	v ~x10589 ~x1555 ~x6876 ~x12489 ~x3353 ~x8743 ~x5075 ~x11555 ~x10590 ~x1556 
399.44/400.67	v ~x6877 x12491 ~x3354 ~x8744 ~x5076 ~x11557 ~x10591 ~x1557 ~x6878 ~x12492 
399.44/400.67	v ~x3355 ~x8745 ~x5077 ~x11569 ~x10592 ~x1558 ~x6879 x12493 ~x3356 ~x8746 
399.44/400.67	v ~x5078 ~x11571 ~x10593 ~x1559 ~x6880 ~x12494 ~x3357 ~x8747 ~x5079 ~x11583 
399.44/400.67	v ~x10594 ~x1560 ~x6881 ~x12495 ~x3358 ~x8749 ~x5080 ~x11585 ~x10595 ~x1561 
399.44/400.67	v x6883 ~x12496 ~x3359 ~x8750 ~x5081 ~x11597 ~x10596 x1562 ~x6885 ~x12497 
399.44/400.67	v ~x3360 ~x8751 ~x5082 ~x11599 ~x10597 ~x1563 ~x6886 ~x12498 ~x3361 ~x8752 
399.44/400.67	v ~x5083 ~x11611 ~x10598 ~x1564 ~x6887 ~x12499 ~x3362 ~x8754 ~x5084 ~x11613 
399.44/400.67	v ~x10599 ~x1565 ~x6888 ~x12500 ~x3363 ~x8755 ~x5085 ~x11625 ~x10600 ~x1566 
399.44/400.67	v ~x6889 ~x12501 ~x3364 ~x8756 ~x5086 ~x11637 ~x10602 ~x1568 ~x6890 ~x12503 
399.44/400.67	v ~x3365 ~x8757 ~x5087 ~x11639 ~x10603 ~x1569 ~x6891 ~x12504 ~x3366 ~x8758 
399.44/400.67	v ~x5088 ~x11651 ~x10604 ~x1570 ~x6892 ~x12505 ~x3367 ~x8759 ~x5089 ~x11653 
399.44/400.67	v ~x10605 ~x1571 ~x6893 ~x12506 ~x3368 ~x8760 ~x5090 ~x11665 ~x10606 ~x1572 
399.44/400.67	v ~x6894 ~x12507 ~x3369 ~x8761 ~x5091 ~x11667 ~x10607 ~x1573 ~x6895 ~x12508 
399.44/400.67	v ~x3370 ~x8762 ~x5092 ~x11679 ~x10608 ~x1574 ~x6896 ~x12509 ~x3371 ~x8763 
399.44/400.67	v ~x5093 ~x11691 ~x10609 ~x1575 ~x6897 ~x12510 ~x3372 ~x8764 ~x5094 ~x11693 
399.44/400.67	v ~x10610 ~x1576 ~x6898 ~x12511 ~x3373 ~x8766 ~x5095 ~x11705 ~x10611 ~x1577 
399.44/400.67	v ~x6899 ~x12512 ~x3374 ~x8767 ~x5096 ~x11707 ~x10612 ~x1578 ~x6900 ~x12513 
399.44/400.67	v ~x3376 ~x8768 ~x5097 ~x11719 ~x10613 ~x1579 ~x6901 ~x12515 ~x3377 ~x8769 
399.44/400.67	v ~x5098 ~x11721 ~x10614 ~x1580 ~x6902 ~x12516 ~x3378 ~x8771 ~x5099 ~x11733 
399.44/400.67	v ~x10615 ~x1581 ~x6903 ~x12517 ~x3379 ~x8772 ~x5100 ~x11735 ~x10616 ~x1582 
399.44/400.67	v ~x6904 ~x12518 ~x3380 ~x8773 ~x5101 ~x11747 ~x10617 ~x1583 ~x6905 ~x12519 
399.44/400.67	v ~x3381 ~x8774 ~x5102 ~x11749 ~x10618 ~x1584 ~x6906 ~x12520 ~x3382 ~x8775 
399.44/400.67	v ~x5103 ~x11761 ~x10619 ~x1585 ~x6907 ~x12521 ~x3383 ~x8776 ~x5104 ~x11763 
399.44/400.67	v ~x10620 ~x1586 ~x6908 ~x12522 ~x3384 ~x8777 ~x5105 ~x11775 ~x10621 ~x1587 
399.44/400.67	v ~x6909 ~x12523 ~x3385 ~x8778 ~x5106 ~x11777 ~x10622 ~x1588 ~x6910 ~x12524 
399.44/400.67	v ~x3386 ~x8779 ~x5107 ~x11789 ~x10623 ~x1589 ~x6912 ~x12525 ~x3387 ~x8780 
399.44/400.67	v ~x5108 ~x11791 ~x10624 ~x1590 ~x6914 ~x12527 ~x3388 ~x8781 ~x5109 ~x11803 
399.44/400.67	v ~x10625 ~x1591 ~x6915 ~x12528 ~x3389 ~x8783 ~x5110 ~x11805 ~x10626 ~x1592 
399.44/400.67	v ~x6916 ~x12529 ~x3390 ~x8784 ~x5111 ~x11817 ~x10627 ~x1593 ~x6917 ~x12530 
399.44/400.67	v ~x3391 ~x8785 ~x5112 ~x11819 ~x10629 ~x1595 ~x6918 ~x12531 ~x3392 ~x8786 
399.44/400.67	v ~x5113 ~x11831 ~x10630 ~x1596 ~x6919 ~x12532 ~x3393 ~x8788 ~x5114 ~x11833 
399.44/400.67	v ~x10631 ~x1597 ~x6920 ~x12533 ~x3394 ~x8789 ~x5116 ~x11845 ~x10632 ~x1598 
399.44/400.67	v ~x6921 ~x12534 ~x3395 ~x8790 ~x5117 ~x11847 ~x10633 ~x1599 ~x6922 ~x12535 
399.44/400.67	v ~x3396 ~x8791 ~x5118 ~x11859 ~x10634 ~x1600 ~x6923 ~x12536 ~x3397 ~x8792 
399.44/400.67	v ~x5119 ~x11861 ~x10635 ~x1601 ~x6924 ~x12537 ~x3398 ~x8793 ~x5120 ~x11873 
399.44/400.67	v ~x10636 ~x1602 ~x6925 ~x12539 ~x3399 ~x8794 ~x5121 ~x11875 ~x10637 ~x1603 
399.44/400.67	v ~x6926 ~x12540 ~x3400 ~x8795 ~x5122 ~x11887 ~x10638 ~x1604 ~x6927 ~x12541 
399.44/400.67	v ~x3401 ~x8796 ~x5123 ~x11889 ~x10639 ~x1605 ~x6928 ~x12542 ~x3402 ~x8797 
399.44/400.67	v ~x5124 ~x11901 ~x10640 ~x1606 ~x6929 ~x12543 ~x3403 ~x8798 ~x5125 ~x11903 
399.44/400.67	v ~x10641 ~x1607 ~x6930 ~x12544 ~x3404 ~x8800 ~x5126 ~x11915 ~x10642 ~x1608 
399.44/400.67	v ~x6931 ~x12545 ~x3405 ~x8801 ~x5127 ~x11920 ~x10643 ~x1609 ~x6932 ~x12546 
399.44/400.67	v ~x3406 ~x8802 ~x5128 ~x11925 ~x10644 ~x1610 ~x6933 ~x12547 ~x3407 ~x8803 
399.44/400.67	v ~x5129 ~x11930 ~x10645 ~x1611 ~x6934 ~x12548 ~x3408 ~x8805 ~x5130 ~x11935 
399.44/400.67	v ~x10646 ~x1612 ~x6935 ~x12549 ~x3409 ~x8806 ~x5131 ~x11940 ~x10647 ~x1613 
399.44/400.67	v ~x6936 ~x12551 ~x3410 ~x8807 ~x5132 ~x11945 ~x10648 ~x1614 ~x6937 ~x12552 
399.44/400.67	v ~x3411 ~x8808 ~x5133 ~x11950 ~x10649 ~x1615 ~x6938 ~x12553 ~x3412 ~x8809 
399.44/400.67	v ~x5134 ~x11955 ~x10650 ~x1616 ~x6939 ~x12554 ~x3413 ~x8810 ~x5135 ~x11960 
399.44/400.67	v ~x10651 ~x1617 x6941 ~x12555 ~x3414 ~x8811 ~x5136 ~x11965 ~x10652 ~x1618 
399.44/400.67	v x6943 ~x12556 ~x3415 ~x8812 ~x5137 ~x11970 ~x10653 ~x1619 ~x6944 ~x12557 
399.44/400.67	v ~x3416 ~x8813 ~x5138 ~x11975 ~x10654 ~x1620 ~x6945 ~x12558 ~x3417 ~x8814 
399.44/400.67	v ~x5139 ~x11980 ~x10656 ~x1622 ~x6946 ~x12559 ~x3418 ~x8815 ~x5140 ~x11985 
399.44/400.67	v ~x10657 ~x1623 ~x6947 ~x12560 ~x3419 ~x8817 ~x5141 ~x11990 ~x10658 ~x1624 
399.44/400.67	v ~x6948 ~x12561 ~x3420 ~x8818 ~x5142 ~x11995 ~x10659 ~x1625 ~x6949 ~x12563 
399.44/400.67	v ~x3421 ~x8819 ~x5143 ~x12000 ~x10660 ~x1626 ~x6950 ~x12564 ~x3422 ~x8820 
399.44/400.67	v ~x5144 ~x12005 ~x10661 ~x1627 ~x6951 ~x12565 ~x3423 ~x8822 ~x5145 ~x12010 
399.44/400.67	v ~x10662 ~x1628 ~x6952 ~x12566 ~x3424 ~x8823 ~x5146 ~x12015 ~x10663 ~x1629 
399.44/400.67	v ~x6953 ~x12567 ~x3425 ~x8824 ~x5147 ~x12020 ~x10664 ~x1630 ~x6954 ~x12568 
399.44/400.67	v ~x3426 ~x8825 ~x5148 ~x12025 ~x10665 ~x1631 ~x6955 ~x12569 ~x3427 ~x8826 
399.44/400.67	v ~x5149 ~x12030 ~x10666 ~x1632 ~x6956 ~x12570 ~x3428 ~x8827 ~x5150 ~x12035 
399.44/400.67	v ~x10667 ~x1633 ~x6957 ~x12571 ~x3429 ~x8828 ~x5151 ~x12040 ~x10668 ~x1634 
399.44/400.67	v ~x6958 ~x12572 ~x3430 ~x8829 ~x5152 ~x12045 ~x10669 ~x1635 ~x6959 ~x12573 
399.44/400.67	v ~x3431 ~x8830 ~x5153 ~x12050 ~x10670 ~x1636 x6960 ~x12575 ~x3432 ~x8831 
399.44/400.67	v ~x5154 ~x12055 ~x10671 ~x1637 ~x6961 ~x12576 ~x3434 ~x8832 ~x5155 ~x12060 
399.44/400.67	v ~x10672 ~x1638 ~x6962 ~x12577 ~x3435 ~x8834 ~x5156 ~x12065 ~x10673 ~x1639 
399.44/400.67	v ~x6963 ~x12578 ~x3436 ~x8835 ~x5157 ~x12070 ~x10674 ~x1640 ~x6964 ~x12579 
399.44/400.67	v ~x3437 ~x8836 ~x5158 ~x12075 ~x10675 ~x1641 ~x6965 ~x12580 ~x3438 ~x8837 
399.44/400.67	v ~x5159 ~x12080 ~x10676 ~x1642 ~x6966 ~x12581 ~x3439 x8839 ~x5160 ~x12085 
399.44/400.67	v ~x10677 ~x1643 ~x6967 ~x12582 ~x3440 ~x8840 ~x5161 ~x12090 ~x10678 ~x1644 
399.44/400.67	v ~x6968 ~x12583 ~x3441 x8841 ~x5162 ~x12095 ~x10679 ~x1645 ~x6970 ~x12584 
399.44/400.67	v ~x3442 ~x8842 ~x5163 ~x12100 ~x10680 ~x1646 ~x6972 ~x12585 ~x3443 ~x8843 
399.44/400.67	v ~x5164 ~x12105 ~x10681 ~x1647 ~x6973 ~x12587 ~x3444 ~x8844 ~x5165 ~x12110 
399.44/400.67	v x10683 x1649 ~x6974 ~x12588 ~x3445 ~x8845 ~x5166 ~x12115 ~x10684 ~x1650 
399.44/400.67	v ~x6975 ~x12589 ~x3446 ~x8846 ~x5167 ~x12120 ~x10685 ~x1651 ~x6976 ~x12590 
399.44/400.67	v ~x3447 ~x8847 ~x5168 ~x12125 ~x10686 ~x1652 ~x6977 ~x12591 ~x3448 ~x8848 
399.44/400.67	v ~x5169 ~x12130 ~x10687 ~x1653 ~x6978 ~x12592 ~x3449 ~x8849 ~x5170 ~x12135 
399.44/400.67	v ~x10688 ~x1654 ~x6979 ~x12593 ~x3450 ~x8851 ~x5171 ~x12140 ~x10689 ~x1655 
399.44/400.67	v ~x6980 ~x12594 ~x3451 ~x8852 ~x5172 ~x12145 ~x10690 ~x1656 ~x6981 ~x12595 
399.44/400.67	v ~x3452 ~x8853 ~x5174 ~x12150 ~x10691 x1657 ~x6982 ~x12596 ~x3453 ~x8854 
399.44/400.67	v ~x5175 ~x12155 ~x10692 ~x1658 ~x6983 ~x12597 ~x3454 ~x8856 ~x5176 ~x12160 
399.44/400.67	v ~x10693 ~x1659 ~x6984 ~x12599 ~x3455 ~x8857 ~x5177 ~x12165 ~x10694 ~x1660 
399.44/400.67	v ~x6985 ~x12600 ~x3456 ~x8858 ~x5178 ~x12170 ~x10695 ~x1661 ~x6986 ~x12601 
399.44/400.67	v ~x3457 ~x8859 ~x5179 ~x12175 ~x10696 ~x1662 ~x6987 ~x12602 ~x3458 ~x8860 
399.44/400.67	v ~x5180 ~x12180 ~x10697 ~x1663 ~x6988 ~x12603 ~x3459 ~x8861 ~x5181 ~x12185 
399.44/400.67	v ~x10698 ~x1664 ~x6989 ~x12604 ~x3460 ~x8862 ~x5182 ~x12190 ~x10699 ~x1665 
399.44/400.67	v ~x6990 ~x12605 ~x3461 ~x8863 ~x5183 ~x12195 ~x10700 ~x1666 ~x6991 ~x12606 
399.44/400.67	v ~x3462 ~x8864 ~x5184 ~x12200 ~x10701 ~x1667 ~x6992 ~x12607 ~x3463 ~x8865 
399.44/400.67	v ~x5185 ~x12205 ~x10702 ~x1668 ~x6993 ~x12608 ~x3464 ~x8866 ~x5186 ~x12210 
399.44/400.67	v ~x10703 ~x1669 ~x6994 ~x12609 ~x3465 ~x8868 ~x5187 ~x12215 ~x10704 ~x1670 
399.44/400.67	v ~x6995 ~x12611 ~x3466 ~x8869 ~x5188 ~x12220 ~x10705 ~x1671 ~x6996 ~x12612 
399.44/400.67	v ~x3467 ~x8870 ~x5189 ~x12225 ~x10706 ~x1672 ~x6997 ~x12613 ~x3468 ~x8871 
399.44/400.67	v ~x5190 ~x12230 ~x10707 ~x1673 ~x6999 ~x12614 ~x3469 ~x8873 ~x5191 ~x12235 
399.44/400.67	v ~x10708 ~x1674 ~x7001 ~x12615 ~x3470 ~x8874 ~x5192 ~x12240 ~x10710 ~x1676 
399.44/400.67	v ~x7002 ~x12616 ~x3471 ~x8875 ~x5193 ~x12245 ~x10711 ~x1677 ~x7003 ~x12617 
399.44/400.67	v ~x3472 ~x8876 ~x5194 ~x12250 ~x10712 ~x1678 ~x7004 ~x12618 ~x3473 ~x8877 
399.44/400.67	v ~x5195 ~x12255 ~x10713 ~x1679 ~x7005 ~x12619 ~x3474 ~x8878 ~x5196 ~x12260 
399.44/400.67	v ~x10714 ~x1680 ~x7006 ~x12620 ~x3475 ~x8879 ~x5197 x12265 ~x10715 ~x1681 
399.44/400.67	v ~x7007 ~x12621 ~x3476 ~x8880 ~x5198 ~x12292 ~x10716 ~x1682 ~x7008 ~x12623 
399.44/400.67	v ~x8881 ~x5199 ~x12319 ~x10717 ~x1683 ~x7009 ~x12624 ~x3477 ~x8882 ~x5200 
399.44/400.67	v ~x12346 ~x10718 ~x1684 ~x7010 ~x12625 ~x3478 ~x8883 ~x5201 ~x12373 ~x10719 
399.44/400.67	v ~x1685 ~x7011 ~x12626 ~x3479 ~x8885 ~x5202 ~x12400 ~x10720 ~x1686 ~x7012 
399.44/400.67	v ~x12627 ~x3480 ~x8886 ~x5203 ~x12427 ~x10721 ~x1688 ~x7013 ~x12628 ~x3481 
399.44/400.67	v ~x8887 ~x5204 ~x12454 ~x10722 ~x1689 ~x7014 ~x12629 ~x3482 ~x8888 ~x5205 
399.44/400.67	v ~x1297 ~x10723 ~x1690 ~x7015 ~x12630 ~x3483 ~x8890 ~x5206 ~x12466 ~x10724 
399.44/400.67	v ~x1691 ~x7016 ~x12631 ~x3484 ~x8891 ~x5207 ~x12478 ~x10725 ~x1692 ~x7017 
399.44/400.67	v ~x12632 ~x3485 ~x8892 ~x5208 x12490 ~x10726 ~x1693 ~x7018 ~x12633 ~x3486 
399.44/400.67	v ~x8893 ~x5209 ~x12502 ~x10727 ~x1694 ~x7019 ~x12635 ~x3487 ~x8894 ~x5210 
399.44/400.67	v ~x1306 ~x10728 ~x1695 ~x7020 ~x12636 ~x3488 ~x8895 ~x5211 ~x12514 ~x10729 
399.44/400.67	v ~x1696 ~x7021 ~x12637 ~x3489 ~x8896 ~x5212 ~x12526 ~x10730 ~x1697 ~x7022 
399.44/400.67	v ~x12638 ~x3490 ~x8897 ~x5213 ~x12538 ~x10731 ~x1698 ~x7023 ~x12639 ~x3492 
399.44/400.67	v ~x8898 ~x5214 ~x12550 ~x10732 ~x1700 ~x7024 ~x12640 ~x3493 ~x8899 ~x5215 
399.44/400.67	v ~x12562 ~x10733 ~x1701 ~x7025 ~x12641 ~x3494 ~x8900 ~x5216 ~x12574 ~x10734 
399.44/400.67	v ~x1702 ~x7026 ~x12642 ~x3495 ~x8902 ~x5217 ~x1319 ~x10735 ~x1703 x7028 
399.44/400.67	v ~x12643 ~x3496 ~x8903 ~x5218 ~x12586 ~x10737 ~x1704 ~x7030 ~x12644 ~x3497 
399.44/400.67	v ~x8904 ~x5219 ~x1322 ~x10738 ~x1705 ~x7031 ~x12645 ~x3498 ~x8905 ~x5220 
399.44/400.67	v ~x12598 ~x10739 ~x1706 ~x7032 ~x12647 ~x3499 ~x8907 ~x5221 ~x12610 ~x10740 
399.44/400.67	v ~x1707 ~x7033 ~x12648 ~x3500 ~x8908 ~x5222 ~x12622 ~x10741 ~x1708 ~x7034 
399.44/400.67	v ~x12649 ~x3501 ~x8909 ~x5223 ~x1329 ~x10742 ~x1709 ~x7035 ~x12650 ~x3502 
399.44/400.67	v ~x8910 ~x5224 ~x12634 ~x10743 ~x1710 ~x7036 ~x12651 ~x3503 ~x8911 ~x5225 
399.44/400.67	v ~x12646 ~x10744 ~x1712 ~x7037 ~x12652 ~x3504 ~x8912 ~x5226 ~x12658 ~x10745 
399.44/400.67	v ~x1713 ~x7038 ~x12653 ~x3505 ~x8913 ~x5227 ~x12670 ~x10746 ~x1714 ~x7039 
399.44/400.67	v ~x12654 ~x3506 ~x8914 ~x5228 ~x1338 ~x10747 ~x1715 ~x7040 ~x12655 ~x3507 
399.44/400.67	v ~x8915 ~x5229 ~x12682 ~x10748 ~x1716 ~x7041 ~x12656 ~x3508 ~x8916 ~x5230 
399.44/400.67	v ~x12694 ~x10749 ~x1717 ~x7042 ~x12657 ~x3509 ~x8917 ~x5232 ~x12706 ~x10750 
399.44/400.67	v ~x1718 ~x7043 ~x12659 ~x3510 ~x8919 ~x5233 ~x12708 ~x10751 ~x1719 ~x7044 
399.44/400.67	v ~x12660 ~x3511 ~x8920 ~x5234 ~x12713 ~x10752 ~x1720 ~x7045 ~x12661 ~x3512 
399.44/400.67	v ~x8921 ~x5235 ~x12715 ~x10753 ~x1721 ~x7046 ~x12662 ~x3513 ~x8922 ~x5236 
399.44/400.67	v ~x12720 ~x10754 ~x1722 ~x7047 ~x12663 ~x3514 ~x8924 ~x5237 ~x12722 ~x10755 
399.44/400.67	v ~x1724 ~x7048 ~x12664 ~x3515 ~x8925 ~x5238 ~x12727 ~x10756 ~x1725 ~x7049 
399.44/400.67	v ~x12665 ~x3516 ~x8926 ~x5239 ~x12729 ~x10757 ~x1726 ~x7050 ~x12666 ~x3517 
399.44/400.67	v ~x8927 ~x5240 ~x12734 ~x10758 ~x1727 ~x7051 ~x12667 ~x3518 ~x8928 ~x5241 
399.44/400.67	v ~x12736 ~x10759 ~x1728 ~x7052 ~x12668 ~x3519 ~x8929 ~x5242 ~x12741 ~x10760 
399.44/400.67	v ~x1729 ~x7053 ~x12669 ~x3520 ~x8930 ~x5243 ~x12743 ~x10761 ~x1730 ~x7054 
399.44/400.67	v ~x12671 ~x3521 ~x8931 ~x5244 ~x12748 ~x10762 ~x1731 ~x7055 ~x12672 ~x3522 
399.44/400.67	v ~x8932 ~x5245 ~x12750 ~x10764 ~x1732 ~x7057 ~x12673 ~x3523 ~x8933 ~x5246 
399.44/400.67	v ~x12755 ~x10765 ~x1733 ~x7059 ~x12674 ~x3524 ~x8934 ~x5247 ~x12757 ~x10766 
399.44/400.67	v ~x1734 ~x7060 ~x12675 ~x3525 ~x8936 ~x5248 ~x12762 ~x10767 ~x1736 ~x7061 
399.44/400.67	v ~x12676 ~x3526 ~x8937 ~x5249 ~x12764 ~x10768 ~x1737 ~x7062 ~x12677 ~x3527 
399.44/400.67	v ~x8938 ~x5250 ~x12769 ~x10769 ~x1738 ~x7063 ~x12678 ~x3528 ~x8939 ~x5251 
399.44/400.67	v ~x12771 ~x10770 ~x1739 ~x7064 ~x12679 ~x3529 ~x8941 ~x5252 ~x12773 ~x10771 
399.44/400.67	v ~x1740 ~x7065 ~x12680 ~x3530 ~x8942 ~x5253 ~x12778 ~x10772 ~x1741 ~x7066 
399.44/400.67	v ~x12681 ~x3531 ~x8943 ~x5254 ~x12780 ~x10773 ~x1742 ~x7067 ~x12683 ~x3532 
399.44/400.67	v ~x8944 ~x5255 ~x12785 ~x10774 ~x1743 ~x7068 ~x12684 ~x3533 ~x8945 ~x5256 
399.44/400.67	v ~x12787 ~x10775 ~x1744 ~x7069 ~x12685 ~x3534 ~x8946 ~x5257 ~x12792 ~x10776 
399.44/400.67	v ~x1745 ~x7070 ~x12686 ~x3535 ~x8947 ~x5258 ~x12794 ~x10777 ~x1746 ~x7071 
399.44/400.67	v ~x12687 ~x3536 ~x8948 ~x5259 ~x12799 ~x10778 ~x1748 ~x7072 ~x12688 ~x3537 
399.44/400.67	v ~x8949 ~x5260 ~x12801 ~x10779 ~x1749 ~x7073 ~x12689 ~x3538 ~x8950 ~x5261 
399.44/400.67	v ~x12806 ~x10780 ~x1750 ~x7074 ~x12690 ~x3539 ~x8951 ~x5262 ~x12808 ~x10781 
399.44/400.67	v ~x1751 ~x7075 ~x12691 ~x3540 ~x8953 ~x5263 ~x12813 ~x10782 ~x1752 ~x7076 
399.44/400.67	v ~x12692 ~x3541 ~x8954 ~x5264 ~x12815 ~x10783 ~x1753 ~x7077 ~x12693 ~x3542 
399.44/400.67	v ~x8955 ~x5265 ~x12820 ~x10784 ~x1754 ~x7078 ~x12695 ~x3543 ~x8956 ~x5266 
399.44/400.67	v ~x12825 ~x10785 ~x1755 ~x7079 ~x12696 ~x3544 ~x8958 ~x5267 ~x12830 ~x10786 
399.44/400.67	v ~x1756 ~x7080 ~x12697 ~x3545 ~x8959 ~x5268 ~x12832 ~x10787 ~x1757 ~x7081 
399.44/400.67	v ~x12698 ~x3546 ~x8960 ~x5269 ~x12837 ~x10788 ~x1758 ~x7082 ~x12699 ~x3547 
399.44/400.67	v ~x8961 ~x5270 ~x12839 ~x10789 ~x1760 ~x7083 ~x12700 ~x3548 ~x8962 ~x5271 
399.44/400.67	v ~x12844 ~x10791 ~x1761 ~x7084 ~x12701 ~x3550 ~x8963 ~x5272 ~x12846 ~x10792 
399.44/400.67	v ~x1762 ~x7086 ~x12702 ~x3551 ~x8964 ~x5273 ~x12851 ~x10793 ~x1763 ~x7088 
399.44/400.67	v ~x12703 ~x3552 ~x8965 ~x5274 ~x12856 ~x10794 ~x1764 ~x7089 ~x12704 ~x3553 
399.44/400.67	v ~x8966 ~x5275 ~x12858 ~x10795 ~x1765 ~x7090 ~x12705 ~x3554 ~x8967 ~x5276 
399.44/400.67	v ~x12863 ~x10796 ~x1766 ~x7091 ~x12707 ~x3555 ~x8968 ~x5277 ~x12868 ~x10797 
399.44/400.67	v ~x1767 ~x7092 ~x12709 ~x3556 ~x8970 ~x5278 ~x12870 ~x10798 ~x1768 ~x7093 
399.44/400.67	v ~x12710 ~x3557 ~x8971 ~x5279 ~x12875 ~x10799 ~x1769 ~x7094 ~x12711 ~x3558 
399.44/400.67	v ~x8972 ~x5280 ~x12877 ~x10800 ~x1770 ~x7095 ~x12712 ~x3559 ~x8973 ~x5281 
399.44/400.67	v ~x12882 ~x10801 x1772 ~x7096 x12714 ~x3560 ~x8975 ~x5282 ~x12884 ~x10802 
399.44/400.67	v ~x1773 ~x7097 x12716 ~x3561 ~x8976 ~x5283 ~x12889 ~x10803 ~x1774 ~x7098 
399.44/400.67	v ~x12717 ~x3562 ~x8977 ~x5284 ~x12891 ~x10804 ~x1775 ~x7099 ~x12718 ~x3563 
399.44/400.67	v ~x8978 ~x5285 ~x12896 ~x10805 ~x1776 ~x7100 ~x12719 ~x3564 ~x8979 ~x5286 
399.44/400.67	v ~x12898 ~x10806 ~x1777 ~x7101 x12721 ~x3565 ~x8980 ~x5287 ~x12903 ~x10807 
399.44/400.67	v ~x1778 ~x7102 x12723 ~x3566 ~x8981 ~x5288 ~x12908 ~x10808 ~x1779 ~x7103 
399.44/400.67	v ~x12724 ~x3567 ~x8982 ~x5290 ~x12910 ~x10809 ~x1780 ~x7104 ~x12725 ~x3568 
399.44/400.67	v ~x8983 ~x5291 ~x12915 ~x10810 ~x1781 ~x7105 ~x12726 ~x3569 ~x8984 ~x5292 
399.44/400.67	v ~x12917 ~x10811 ~x1782 ~x7106 ~x12728 ~x3570 ~x8985 ~x5293 ~x12922 ~x10812 
399.44/400.67	v ~x1784 ~x7107 ~x12730 ~x3571 ~x8987 ~x5294 ~x12924 ~x10813 ~x1785 ~x7108 
399.44/400.67	v ~x12731 ~x3572 ~x8988 ~x5295 ~x12929 ~x10814 ~x1786 ~x7109 ~x12732 ~x3573 
399.44/400.67	v ~x8989 ~x5296 ~x12931 ~x10815 ~x1787 ~x7110 ~x12733 ~x3574 ~x8990 ~x5297 
399.44/400.67	v ~x10816 ~x1788 ~x7111 ~x12735 ~x3575 ~x8992 ~x5298 x10818 ~x1789 ~x7112 
399.44/400.67	v ~x12737 ~x3576 ~x8993 ~x5299 ~x10819 ~x1790 ~x7113 ~x12738 ~x3577 ~x8994 
399.44/400.67	v ~x5300 ~x10820 ~x1791 x7115 ~x12739 ~x3578 ~x8995 ~x5301 ~x10821 ~x1792 
399.44/400.67	v x7117 ~x12740 ~x3579 ~x8996 ~x5302 ~x10822 ~x1793 ~x7118 ~x12742 ~x3580 
399.44/400.67	v ~x8997 ~x5303 ~x10823 ~x1794 ~x7119 ~x12744 ~x3581 ~x8998 ~x5304 ~x10824 
399.44/400.67	v x1796 ~x7120 ~x12745 ~x3582 ~x8999 ~x5305 ~x10825 ~x1797 ~x7121 ~x12746 
399.44/400.67	v ~x7 ~x3583 ~x9000 ~x5306 ~x10826 ~x1798 ~x7122 ~x12747 ~x9 ~x3584 
399.44/400.67	v ~x9001 ~x5307 ~x10827 ~x1799 ~x7123 ~x12749 ~x10 ~x3585 ~x9002 ~x5308 
399.44/400.67	v ~x10828 ~x1800 ~x7124 ~x12751 ~x12 ~x3586 ~x9004 ~x5309 ~x10829 ~x1801 
399.44/400.67	v ~x7125 ~x12752 ~x13 ~x3587 ~x9005 ~x5310 ~x10830 ~x1802 ~x7126 ~x12753 
399.44/400.67	v ~x15 ~x3588 ~x9006 ~x5311 ~x10831 ~x1803 ~x7127 ~x12754 ~x16 ~x3589 
399.44/400.67	v ~x9007 ~x5312 ~x10832 ~x1804 ~x7128 ~x12756 ~x18 ~x3590 ~x9009 ~x5313 
399.44/400.67	v ~x10833 ~x1805 x7129 ~x12758 ~x19 ~x3591 ~x9010 ~x5314 ~x10834 ~x1806 
399.44/400.67	v ~x7130 ~x12759 ~x21 ~x3592 ~x9011 ~x5315 ~x10835 ~x1808 ~x7131 ~x12760 
399.44/400.67	v ~x22 ~x3593 ~x9012 ~x5316 ~x10836 ~x1809 ~x7132 ~x12761 ~x24 ~x3594 
399.44/400.67	v ~x9013 ~x5317 ~x10837 ~x1810 ~x7133 x12763 ~x25 ~x3595 ~x9014 ~x5318 
399.44/400.67	v ~x10838 ~x1811 ~x7134 ~x12765 ~x27 ~x3596 ~x9015 ~x5319 ~x10839 ~x1812 
399.44/400.67	v ~x7135 ~x12766 ~x28 ~x3597 ~x9016 ~x5320 ~x10840 ~x1813 ~x7136 ~x12767 
399.44/400.67	v ~x30 ~x3598 ~x9017 ~x5321 ~x10841 ~x1814 ~x7137 ~x12768 ~x31 ~x3599 
399.44/400.67	v ~x9018 ~x5322 ~x10842 ~x1815 ~x7138 ~x12770 ~x33 ~x3600 ~x9019 ~x5323 
399.44/400.67	v ~x10843 ~x1816 ~x7139 ~x12772 x34 ~x3601 ~x9021 ~x5324 ~x10845 ~x1817 
399.44/400.67	v ~x7140 x12774 x36 ~x3602 ~x9022 ~x5325 ~x10846 ~x1818 ~x7141 ~x12775 
399.44/400.67	v ~x2 ~x3603 ~x9023 ~x5326 ~x10847 ~x1820 ~x7142 x12776 ~x3 ~x3604 
399.44/400.67	v ~x9024 ~x5327 ~x10848 ~x1821 x7144 ~x12777 ~x4 ~x3605 ~x9026 ~x5328 
399.44/400.67	v ~x10849 ~x1822 ~x7146 ~x12779 ~x5 ~x3606 ~x9027 ~x5329 ~x10850 ~x1823 
399.44/400.67	v ~x7147 ~x12781 ~x6 ~x3608 ~x9028 ~x5330 ~x10851 ~x1824 ~x7148 ~x12782 
399.44/400.67	v ~x45 ~x3609 ~x9029 ~x5331 ~x10852 ~x1825 ~x7149 ~x12783 ~x47 ~x3610 
399.44/400.67	v ~x9030 ~x5332 ~x10853 ~x1826 ~x7150 ~x12784 ~x48 ~x3611 ~x9031 ~x5333 
399.44/400.67	v ~x10854 ~x1827 ~x7151 ~x12786 ~x50 ~x3612 ~x9032 ~x5334 ~x10855 ~x1828 
399.44/400.67	v ~x7152 x12788 ~x51 ~x3613 ~x9033 ~x5335 ~x10856 ~x1829 ~x7153 ~x12789 
399.44/400.67	v ~x53 ~x3614 ~x9034 ~x5336 ~x10857 ~x1830 ~x7154 x12790 ~x54 ~x3615 
399.44/400.67	v ~x9035 ~x5337 ~x10858 x1832 ~x7155 ~x12791 ~x56 ~x3616 ~x9036 ~x5338 
399.44/400.67	v ~x10859 ~x1833 ~x7156 ~x12793 ~x57 ~x3617 ~x9038 ~x5339 ~x10860 x1834 
399.44/400.67	v ~x7157 ~x12795 ~x59 ~x3618 ~x9039 ~x5340 ~x10861 ~x1835 ~x7158 ~x12796 
399.44/400.67	v ~x60 ~x3619 ~x9040 ~x5341 ~x10862 ~x1836 ~x7159 ~x12797 ~x62 ~x3620 
399.44/400.67	v ~x9041 ~x5342 ~x10863 ~x1837 ~x7160 ~x12798 ~x63 ~x3621 ~x9043 ~x5343 
399.44/400.67	v ~x10864 ~x1838 ~x7161 ~x12800 ~x65 ~x3622 ~x9044 ~x5344 ~x10865 ~x1839 
399.44/400.67	v ~x7162 ~x12802 ~x66 ~x3623 ~x9045 ~x5345 ~x10866 ~x1840 ~x7163 ~x12803 
399.44/400.67	v ~x68 ~x3624 ~x9046 ~x5346 ~x10867 ~x1841 ~x7164 ~x12804 ~x69 ~x3625 
399.44/400.67	v ~x9047 ~x5348 ~x10868 ~x1842 ~x7165 ~x12805 ~x70 ~x3626 ~x9048 ~x5350 
399.44/400.67	v ~x10869 x1844 ~x7166 x12807 ~x71 ~x3627 ~x9049 ~x5351 ~x10870 ~x1845 
399.44/400.67	v ~x7167 ~x12809 ~x73 ~x3628 ~x9050 ~x5352 ~x10872 ~x1846 ~x7168 ~x12810 
399.44/400.67	v ~x74 ~x3629 ~x9051 ~x5353 ~x10873 ~x1847 ~x7169 ~x12811 ~x75 ~x3630 
399.44/400.67	v ~x9052 ~x5354 ~x10874 ~x1848 ~x7170 ~x12812 ~x76 ~x3631 ~x9053 ~x5355 
399.44/400.67	v ~x10875 ~x1849 ~x7171 x12814 ~x78 ~x3632 ~x9055 ~x5356 ~x10876 x1850 
399.44/400.67	v ~x7173 ~x12816 ~x79 ~x3633 ~x9056 ~x5357 ~x10877 ~x1851 ~x7174 ~x12817 
399.44/400.67	v ~x81 ~x3634 ~x9057 ~x5358 ~x10878 ~x1852 ~x7175 ~x12818 ~x82 ~x3635 
399.44/400.67	v ~x9058 ~x5359 ~x10879 ~x1853 ~x7176 ~x12819 ~x84 ~x3636 ~x9060 ~x5360 
399.44/400.67	v ~x10880 ~x1854 ~x7177 ~x12821 ~x85 ~x3637 ~x9061 ~x5361 ~x10881 ~x1856 
399.44/400.67	v ~x7178 ~x12822 ~x87 ~x3638 ~x9062 ~x5362 ~x10882 ~x1857 ~x7179 ~x12823 
399.44/400.67	v ~x88 ~x3639 ~x9063 ~x5363 ~x10883 ~x1858 ~x7180 ~x12824 ~x90 ~x3640 
399.44/400.67	v ~x9064 ~x5364 ~x10884 ~x1859 ~x7181 ~x12826 ~x91 ~x3641 ~x9065 ~x5365 
399.44/400.67	v ~x10885 ~x1860 ~x7182 ~x12827 ~x93 ~x3642 ~x9066 ~x5366 ~x10886 ~x1861 
399.44/400.67	v ~x7183 ~x12828 ~x94 ~x3643 ~x9067 ~x5367 ~x10887 ~x1862 ~x7184 ~x12829 
399.44/400.67	v ~x95 ~x3644 ~x9068 ~x5368 ~x10888 ~x1863 ~x7185 x12831 ~x96 ~x3645 
399.44/400.67	v ~x9069 ~x5369 ~x10889 ~x1864 ~x7186 x12833 ~x98 ~x3646 ~x9070 ~x5370 
399.44/400.67	v ~x10890 ~x1865 ~x7187 ~x12834 ~x99 ~x3647 ~x9072 ~x5371 ~x10891 ~x1866 
399.44/400.67	v ~x7188 ~x12835 ~x100 ~x3648 ~x9073 ~x5372 ~x10892 ~x1868 ~x7189 ~x12836 
399.44/400.67	v ~x101 ~x3649 ~x9074 ~x5373 ~x10893 ~x1869 ~x7190 x12838 ~x103 ~x3650 
399.44/400.67	v ~x9075 ~x5374 ~x10894 ~x1870 ~x7191 ~x12840 ~x105 ~x3651 ~x9077 ~x5375 
399.44/400.67	v ~x10895 ~x1871 ~x7192 ~x12841 ~x104 ~x3652 ~x9078 ~x5377 ~x10896 ~x1872 
399.44/400.67	v ~x7193 ~x12842 ~x106 ~x3653 ~x9079 ~x5379 ~x10897 ~x1873 ~x7194 ~x12843 
399.44/400.67	v ~x108 ~x3654 ~x9080 ~x5380 ~x10899 ~x1874 ~x7195 x12845 ~x107 ~x3655 
399.44/400.67	v ~x9081 ~x5381 ~x10900 ~x1875 ~x7196 ~x12847 ~x109 ~x3656 ~x9082 ~x5382 
399.44/400.67	v ~x10901 ~x1876 ~x7197 ~x12848 ~x111 ~x3657 ~x9083 ~x5383 ~x10902 ~x1877 
399.44/400.67	v ~x7198 ~x12849 ~x110 ~x3658 ~x9084 ~x5384 ~x10903 ~x1878 ~x7200 ~x12850 
399.44/400.67	v ~x112 ~x3659 ~x9085 ~x5385 ~x10904 ~x1880 ~x7202 ~x12852 ~x114 ~x3660 
399.44/400.67	v ~x9086 ~x5386 ~x10905 ~x1881 ~x7203 ~x12853 ~x113 ~x3661 ~x9087 ~x5387 
399.44/400.67	v ~x10906 ~x1882 ~x7204 ~x12854 ~x115 ~x3662 ~x9089 ~x5388 ~x10907 ~x1883 
399.44/400.67	v ~x7205 ~x12855 ~x117 ~x3663 ~x9090 ~x5389 ~x10908 ~x1884 ~x7206 x12857 
399.44/400.67	v ~x116 ~x3664 ~x9091 ~x5390 ~x10909 ~x1885 ~x7207 ~x12859 ~x118 ~x3666 
399.44/400.67	v ~x9092 ~x5391 ~x10910 ~x1886 ~x7208 ~x12860 ~x120 ~x3667 ~x9094 ~x5392 
399.44/400.67	v ~x10911 ~x1887 ~x7209 ~x12861 ~x119 ~x3668 ~x9095 ~x5393 ~x10912 ~x1888 
399.44/400.67	v ~x7210 ~x12862 ~x121 ~x3669 ~x9096 ~x5394 ~x10913 ~x1889 ~x7211 ~x12864 
399.44/400.67	v ~x123 ~x3670 ~x9097 ~x5395 ~x10914 ~x1890 ~x7212 ~x12865 ~x122 ~x3671 
399.44/400.67	v ~x9098 ~x5396 ~x10915 ~x1892 ~x7213 ~x12866 ~x124 ~x3672 ~x9099 ~x5397 
399.44/400.67	v ~x10916 ~x1893 ~x7214 ~x12867 ~x126 ~x3673 ~x9100 ~x5398 ~x10917 ~x1894 
399.44/400.67	v ~x7215 ~x12869 ~x125 ~x3674 ~x9101 ~x5399 ~x10918 ~x1895 ~x7216 ~x12871 
399.44/400.67	v ~x127 ~x3675 ~x9102 ~x5400 ~x10919 ~x1896 ~x7217 ~x12872 ~x129 ~x3676 
399.44/400.67	v ~x9103 ~x5401 ~x10920 ~x1897 ~x7218 ~x12873 ~x128 ~x3677 ~x9104 ~x5402 
399.44/400.67	v ~x10921 ~x1898 ~x7219 ~x12874 ~x130 ~x3678 ~x9106 ~x5403 ~x10922 ~x1899 
399.44/400.67	v ~x7220 ~x12876 ~x132 ~x3679 ~x9107 ~x5404 ~x10923 ~x1900 ~x7221 ~x12878 
399.44/400.67	v ~x131 ~x3680 ~x9108 ~x5406 ~x10924 ~x1901 ~x7222 ~x12879 ~x133 ~x3681 
399.44/400.67	v ~x9109 ~x5408 ~x10926 ~x1902 ~x7223 ~x12880 x135 ~x3682 ~x9111 ~x5409 
399.44/400.67	v ~x10927 x1904 ~x7224 ~x12881 ~x134 ~x3683 ~x9112 ~x5410 ~x10928 ~x1905 
399.44/400.67	v ~x7225 x12883 ~x3684 ~x9113 ~x5411 ~x10929 ~x1906 ~x7226 ~x12885 ~x136 
399.44/400.67	v ~x3685 ~x9114 ~x5412 ~x10930 ~x1907 ~x7227 ~x12886 ~x138 ~x3686 ~x9115 
399.44/400.67	v ~x5413 ~x10931 ~x1908 ~x7229 ~x12887 ~x137 ~x3687 ~x9116 ~x5414 ~x10932 
399.44/400.67	v ~x1909 ~x7231 ~x12888 ~x139 ~x3688 ~x9117 ~x5415 ~x10933 ~x1910 ~x7232 
399.44/400.67	v ~x12890 ~x141 ~x3689 ~x9118 ~x5416 ~x10934 ~x1911 ~x7233 ~x12892 ~x140 
399.44/400.67	v ~x3690 ~x9119 ~x5417 ~x10935 ~x1912 ~x7234 ~x12893 ~x142 ~x3691 ~x9120 
399.44/400.67	v ~x5418 ~x10936 ~x1913 ~x7235 ~x12894 ~x144 ~x3692 ~x9121 ~x5419 ~x10937 
399.44/400.67	v ~x1914 ~x7236 ~x12895 ~x143 ~x3693 ~x9123 ~x5420 ~x10938 ~x1916 ~x7237 
399.44/400.67	v x12897 ~x145 ~x3694 ~x9124 ~x5421 ~x10939 ~x1917 ~x7238 ~x12899 ~x147 
399.44/400.67	v ~x3695 ~x9125 ~x5422 ~x10940 ~x1918 ~x7239 ~x12900 ~x146 ~x3696 ~x9126 
399.44/400.67	v ~x5423 ~x10941 ~x1919 ~x7240 ~x12901 ~x148 ~x3697 ~x9128 ~x5424 ~x10942 
399.44/400.67	v ~x1920 ~x7241 ~x12902 ~x150 ~x3698 ~x9129 ~x5425 ~x10943 ~x1921 ~x7242 
399.44/400.67	v ~x12904 ~x149 ~x3699 ~x9130 ~x5426 ~x10944 ~x1922 ~x7243 ~x12905 ~x151 
399.44/400.67	v ~x3700 ~x9131 ~x5427 ~x10945 ~x1923 ~x7244 ~x12906 ~x153 ~x3701 ~x9132 
399.44/400.67	v ~x5428 ~x10946 ~x1924 ~x7245 ~x12907 ~x152 ~x3702 ~x9133 ~x5429 ~x10947 
399.44/400.67	v ~x1925 ~x7246 ~x12909 ~x154 ~x3703 ~x9134 ~x5430 ~x10948 ~x1926 ~x7247 
399.44/400.67	v ~x12911 ~x156 ~x3704 ~x9135 ~x5431 ~x10949 ~x1928 ~x7248 ~x12912 ~x155 
399.44/400.67	v ~x3705 ~x9136 ~x5432 ~x10950 ~x1930 ~x7249 ~x12913 ~x157 ~x3706 ~x9137 
399.44/400.67	v ~x5433 ~x10951 ~x1931 ~x7250 ~x12914 ~x159 ~x3707 ~x9138 x5435 x10953 
399.44/400.67	v ~x1932 ~x7251 ~x12916 ~x158 ~x3708 x9140 ~x5437 ~x10954 ~x1933 ~x7252 
399.44/400.67	v ~x12918 ~x160 ~x3709 ~x9141 ~x5438 ~x10955 x1935 ~x7253 ~x12919 ~x162 
399.44/400.67	v ~x3710 ~x9142 ~x5439 ~x10956 ~x1937 ~x7254 ~x12920 ~x161 ~x3711 ~x9143 
399.44/400.67	v ~x5440 ~x10957 ~x1938 ~x7255 ~x12921 ~x163 ~x3712 ~x9145 ~x5441 ~x10958 
399.44/400.67	v ~x1939 ~x7256 ~x12923 ~x165 ~x3713 ~x9146 ~x5442 ~x10959 ~x1940 ~x7258 
399.44/400.67	v ~x12925 ~x164 ~x3714 ~x9147 ~x5443 ~x10960 x1942 ~x7260 ~x12926 ~x166 
399.44/400.67	v ~x3715 ~x9148 ~x5444 ~x10961 ~x1944 ~x7261 ~x12927 ~x168 ~x3716 ~x9149 
399.44/400.67	v ~x5445 ~x10962 ~x1945 ~x7262 ~x12928 ~x167 ~x3717 ~x9150 ~x5446 ~x10963 
399.44/400.67	v ~x1946 ~x7263 ~x12930 ~x169 ~x3718 ~x9151 ~x5447 ~x10964 ~x1947 ~x7264 
399.44/400.67	v ~x12932 ~x171 ~x3719 ~x9152 ~x5448 ~x10965 ~x1949 ~x7265 ~x12933 ~x170 
399.44/400.67	v ~x3720 ~x9153 ~x5449 ~x10966 ~x1951 ~x7266 ~x12934 ~x172 ~x3721 ~x9154 
399.44/400.67	v ~x5450 ~x10967 ~x1952 ~x7267 ~x12935 x173 ~x3722 ~x9155 ~x5451 ~x10968 
399.44/400.67	v ~x1953 ~x7268 x174 ~x3724 ~x9157 ~x5452 ~x10969 ~x1954 ~x7269 ~x176 
399.44/400.67	v ~x3725 ~x9158 ~x5453 ~x10970 ~x1956 ~x7270 ~x175 ~x3726 ~x9159 ~x5454 
399.44/400.67	v ~x10971 ~x1958 ~x7271 ~x177 ~x3727 ~x9160 ~x5455 ~x10972 ~x1959 ~x7272 
399.44/400.67	v ~x179 ~x3728 ~x9162 ~x5456 ~x10973 ~x1960 ~x7273 ~x178 ~x3729 ~x9163 
399.44/400.67	v ~x5457 ~x10974 ~x1961 ~x7274 ~x180 ~x3730 ~x9164 ~x5458 ~x10975 x1963 
399.44/400.67	v ~x7275 ~x182 ~x3731 ~x9165 ~x5459 x10976 x1965 ~x7276 ~x181 ~x3732 
399.44/400.67	v ~x9166 ~x5460 ~x10977 ~x1966 ~x7277 ~x183 ~x3733 ~x9167 ~x5461 ~x10978 
399.44/400.67	v ~x1967 ~x7278 ~x185 ~x3734 ~x9168 ~x5462 ~x10980 ~x1968 ~x7279 ~x184 
399.44/400.67	v ~x3735 ~x9169 ~x5464 ~x10981 ~x1970 ~x7280 ~x186 ~x3736 ~x9170 ~x5466 
399.44/400.67	v ~x10982 ~x1972 ~x7281 ~x188 ~x3737 ~x9171 ~x5467 ~x10983 ~x1973 ~x7282 
399.44/400.67	v ~x187 ~x3738 ~x9172 ~x5468 ~x10984 ~x1974 ~x7283 ~x189 ~x3739 ~x9174 
399.44/400.67	v ~x5469 ~x10985 ~x1975 ~x7284 ~x191 ~x3740 ~x9175 ~x5470 ~x10986 ~x1977 
399.44/400.67	v ~x7285 ~x190 ~x3741 ~x9176 ~x5471 ~x10987 x1979 x7287 ~x192 ~x3742 
399.44/400.67	v ~x9177 ~x5472 ~x10988 ~x1980 ~x7289 ~x194 ~x3743 ~x9179 ~x5473 ~x10989 
399.44/400.67	v ~x1981 ~x7290 ~x193 ~x3744 ~x9180 ~x5474 ~x10990 ~x1982 ~x7291 ~x195 
399.44/400.67	v ~x3745 ~x9181 ~x5475 ~x10991 ~x1984 ~x7292 ~x197 ~x3746 ~x9182 ~x5476 
399.44/400.67	v ~x10992 ~x1986 ~x7293 ~x196 ~x3747 ~x9183 ~x5477 ~x10993 ~x1987 ~x7294 
399.44/400.67	v ~x198 ~x3748 ~x9184 ~x5478 ~x10994 ~x1988 ~x7295 ~x200 ~x3749 ~x9185 
399.44/400.67	v ~x5479 ~x10995 ~x1989 ~x7296 ~x199 ~x3750 ~x9186 ~x5480 ~x10996 x1991 
399.44/400.67	v ~x7297 ~x201 ~x3751 ~x9187 ~x5481 ~x10997 ~x1993 ~x7298 ~x203 ~x3752 
399.44/400.67	v ~x9188 ~x5482 ~x10998 ~x1994 ~x7299 ~x202 ~x3753 ~x9189 ~x5483 ~x10999 
399.44/400.67	v ~x1995 ~x7300 ~x204 ~x3754 ~x9191 ~x5484 ~x11000 ~x1996 ~x7301 ~x206 
399.44/400.67	v ~x3755 ~x9192 ~x5485 ~x11001 x1998 ~x7302 ~x205 ~x3756 ~x9193 ~x5486 
399.44/400.67	v ~x11002 x2000 ~x7303 ~x207 ~x3757 ~x9194 ~x5487 ~x11003 ~x2001 ~x7304 
399.44/400.67	v ~x38 ~x3758 ~x9196 ~x5488 ~x11004 ~x2002 ~x7305 ~x39 ~x3759 ~x9197 
399.44/400.67	v ~x5489 ~x11005 ~x2003 ~x7306 ~x40 ~x3760 ~x9198 ~x5490 ~x11007 x2005 
399.44/400.67	v ~x7307 ~x41 ~x3761 ~x9199 ~x5491 ~x11008 ~x2007 ~x7308 ~x42 ~x3762 
399.44/400.67	v ~x9200 ~x5493 ~x11009 ~x2008 ~x7309 ~x43 ~x3763 ~x9201 ~x5495 ~x11010 
399.44/400.67	v ~x2009 ~x7310 ~x44 ~x3764 ~x9202 ~x5496 ~x11011 ~x2010 ~x7311 ~x218 
399.44/400.67	v ~x3765 ~x9203 ~x5497 ~x11012 ~x2012 ~x7312 ~x220 ~x3766 ~x9204 ~x5498 
399.44/400.67	v ~x11013 ~x2014 ~x7313 ~x221 ~x3767 ~x9205 ~x5499 ~x11014 ~x2015 ~x7314 
399.44/400.67	v ~x223 ~x3768 ~x9206 ~x5500 ~x11015 ~x2016 ~x7316 ~x224 ~x3769 ~x9208 
399.44/400.67	v ~x5501 ~x11016 ~x2017 ~x7318 ~x226 ~x3770 ~x9209 ~x5502 ~x11017 ~x2019 
399.44/400.67	v ~x7319 ~x227 ~x3771 ~x9210 ~x5503 ~x11018 ~x2021 ~x7320 ~x229 ~x3772 
399.44/400.67	v ~x9211 ~x5504 ~x11019 ~x2022 ~x7321 ~x230 ~x3773 ~x9213 ~x5505 ~x11020 
399.44/400.67	v ~x2023 ~x7322 ~x231 ~x3774 ~x9214 ~x5506 ~x11021 ~x2024 ~x7323 ~x232 
399.44/400.67	v ~x3775 ~x9215 ~x5507 ~x11022 ~x2026 ~x7324 ~x233 ~x3776 ~x9216 ~x5508 
399.44/400.67	v ~x11023 ~x2028 ~x7325 ~x234 ~x3777 ~x9217 ~x5509 ~x11024 ~x2029 ~x7326 
399.44/400.67	v ~x236 ~x3778 ~x9218 ~x5510 ~x11025 ~x2030 ~x7327 ~x237 ~x3779 ~x9219 
399.44/400.67	v ~x5511 ~x11026 ~x2031 ~x7328 ~x239 ~x3780 ~x9220 ~x5512 ~x11027 ~x2033 
399.44/400.67	v ~x7329 ~x240 ~x3782 ~x9221 ~x5513 ~x11028 ~x2035 ~x7330 ~x241 ~x3783 
399.44/400.67	v ~x9222 ~x5514 ~x11029 ~x2036 ~x7331 ~x242 ~x3784 ~x9223 ~x5515 ~x11030 
399.44/400.67	v ~x2037 ~x7332 ~x244 ~x3785 ~x9225 ~x5516 ~x11031 ~x2038 ~x7333 ~x245 
399.44/400.67	v ~x3786 ~x9226 ~x5517 ~x11032 x2040 ~x7334 ~x247 ~x3787 ~x9227 ~x5518 
399.44/400.67	v ~x11034 x2042 ~x7335 ~x248 ~x3788 ~x9228 ~x5519 ~x11035 ~x2043 ~x7336 
399.44/400.67	v ~x250 ~x3789 ~x9230 ~x5520 ~x11036 ~x2044 ~x7337 ~x251 ~x3790 ~x9231 
399.44/400.67	v ~x5522 ~x11037 ~x2045 ~x7338 ~x253 ~x3791 ~x9232 ~x5524 ~x11038 ~x2047 
399.44/400.67	v ~x7339 ~x254 ~x3792 ~x9233 ~x5525 ~x11039 ~x2049 ~x7340 ~x256 ~x3793 
399.44/400.67	v ~x9234 ~x5526 ~x11040 ~x2050 ~x7341 ~x257 ~x3794 ~x9235 ~x5527 ~x11041 
399.44/400.67	v ~x2051 ~x7342 ~x259 ~x3795 ~x9236 ~x5528 ~x11042 ~x2052 ~x7343 ~x260 
399.44/400.67	v ~x3796 ~x9237 ~x5529 ~x11043 ~x2054 ~x7345 ~x262 ~x3797 ~x9238 ~x5530 
399.44/400.67	v ~x11044 x2056 ~x7347 ~x263 ~x3798 ~x9239 ~x5531 ~x11045 ~x2057 ~x7348 
399.44/400.67	v ~x264 ~x3799 ~x9240 ~x5532 ~x11046 ~x2058 ~x7349 ~x265 ~x3800 ~x9242 
399.44/400.67	v ~x5533 ~x11047 ~x2059 ~x7350 ~x267 ~x3801 ~x9243 ~x5534 ~x11048 x2061 
399.44/400.67	v ~x7351 x268 ~x3802 ~x9244 ~x5535 ~x11049 ~x2063 ~x7352 x270 ~x3803 
399.44/400.67	v ~x9245 ~x5536 ~x11050 ~x2064 ~x7353 ~x271 ~x3804 ~x9247 ~x5537 ~x11051 
399.44/400.67	v ~x2065 ~x7354 ~x272 ~x3805 ~x9248 ~x5538 ~x11052 ~x2066 ~x7355 ~x273 
399.44/400.67	v ~x3806 ~x9249 ~x5539 ~x11053 ~x2068 ~x7356 ~x274 ~x3807 ~x9250 ~x5540 
399.44/400.67	v ~x11054 ~x2070 ~x7357 ~x275 ~x3808 ~x9251 ~x5541 ~x11055 ~x2071 ~x7358 
399.44/400.67	v ~x277 ~x3809 ~x9252 ~x5542 ~x11056 ~x2072 ~x7359 ~x278 ~x3810 ~x9253 
399.44/400.67	v ~x5543 ~x11057 ~x2073 ~x7360 ~x279 ~x3811 ~x9254 ~x5544 ~x11058 ~x2075 
399.44/400.67	v ~x7361 ~x280 ~x3812 ~x9255 ~x5545 ~x11059 ~x2077 ~x7362 ~x282 ~x3813 
399.44/400.67	v ~x9256 ~x5546 ~x11061 ~x2078 ~x7363 ~x283 ~x3814 ~x9257 ~x5547 ~x11062 
399.44/400.67	v ~x2079 ~x7364 ~x285 ~x3815 ~x9259 ~x5548 ~x11063 ~x2080 ~x7365 ~x286 
399.44/400.67	v ~x3816 ~x9260 ~x5549 ~x11064 x2082 ~x7366 ~x288 ~x3817 ~x9261 ~x5551 
399.44/400.67	v ~x11065 ~x2084 ~x7367 ~x289 ~x3818 ~x9262 ~x5553 ~x11066 ~x2085 ~x7368 
399.44/400.67	v ~x291 ~x3819 ~x9264 ~x5554 ~x11067 ~x2086 ~x7369 ~x292 ~x3820 ~x9265 
399.44/400.67	v ~x5555 ~x11068 ~x2087 ~x7370 ~x294 ~x3821 ~x9266 ~x5556 ~x11069 x2089 
399.44/400.67	v ~x7371 ~x295 ~x3822 ~x9267 ~x5557 ~x11070 ~x2090 ~x7372 ~x296 ~x3823 
399.44/400.67	v ~x9268 ~x5558 ~x11071 ~x2091 x7374 ~x297 ~x3824 ~x9269 ~x5559 ~x11072 
399.44/400.67	v ~x2092 ~x7376 ~x299 ~x3825 ~x9270 ~x5560 ~x11073 ~x2094 ~x7377 ~x300 
399.44/400.67	v ~x3826 ~x9271 ~x5561 ~x11074 ~x2096 ~x7378 ~x301 ~x3827 ~x9272 ~x5562 
399.44/400.67	v ~x11075 ~x2097 ~x7379 ~x302 ~x3828 ~x9273 ~x5563 ~x11076 ~x2098 ~x7380 
399.44/400.67	v ~x304 ~x3829 ~x9274 ~x5564 ~x11077 ~x2099 ~x7381 ~x305 ~x3830 ~x9276 
399.44/400.67	v ~x5565 ~x11078 ~x2101 ~x7382 ~x307 ~x3831 ~x9277 ~x5566 ~x11079 ~x2103 
399.44/400.67	v ~x7383 ~x308 ~x3832 ~x9278 ~x5567 ~x11080 ~x2104 ~x7384 ~x309 ~x3833 
399.44/400.67	v ~x9279 ~x5568 ~x11081 ~x2105 ~x7385 ~x310 ~x3834 ~x9281 ~x5569 ~x11082 
399.44/400.67	v ~x2106 ~x7386 ~x312 ~x3835 ~x9282 ~x5570 ~x11083 ~x2108 ~x7387 ~x313 
399.44/400.67	v ~x3836 ~x9283 ~x5571 ~x11084 x2110 ~x7388 ~x314 ~x3837 ~x9284 ~x5572 
399.44/400.67	v ~x11085 ~x2111 ~x7389 ~x316 ~x3838 ~x9285 ~x5573 ~x11086 ~x2112 ~x7390 
399.44/400.67	v ~x315 ~x3840 ~x9286 ~x5574 ~x11088 ~x2113 ~x7391 ~x317 ~x3841 ~x9287 
399.44/400.67	v ~x5575 ~x11089 ~x2115 ~x7392 ~x319 ~x3842 ~x9288 ~x5576 ~x11090 ~x2117 
399.44/400.67	v ~x7393 ~x318 ~x3843 ~x9289 ~x5577 ~x11091 ~x2118 ~x7394 ~x320 ~x3844 
399.44/400.67	v ~x9290 ~x5578 ~x11092 ~x2119 ~x7395 ~x322 ~x3845 ~x9291 ~x5580 ~x11093 
399.44/400.67	v ~x2120 ~x7396 ~x321 ~x3846 ~x9293 ~x5582 ~x11094 ~x2122 ~x7397 ~x323 
399.44/400.67	v ~x3847 ~x9294 ~x5583 ~x11095 ~x2124 ~x7398 x325 ~x3848 ~x9295 ~x5584 
399.44/400.67	v ~x11096 ~x2125 ~x7399 ~x324 ~x3849 ~x9296 ~x5585 ~x11097 ~x2126 ~x7400 
399.44/400.67	v ~x326 ~x3850 ~x9298 ~x5586 ~x11098 ~x2127 ~x7401 ~x328 ~x3851 ~x9299 
399.44/400.67	v ~x5587 ~x11099 ~x2129 ~x7403 ~x327 ~x3852 ~x9300 ~x5588 ~x11100 x2131 
399.44/400.67	v ~x7405 ~x329 ~x3853 ~x9301 ~x5589 ~x11101 ~x2132 ~x7406 ~x331 ~x3854 
399.44/400.67	v ~x9302 ~x5590 ~x11102 ~x2133 ~x7407 ~x330 ~x3855 ~x9303 ~x5591 ~x11103 
399.44/400.67	v ~x2134 ~x7408 ~x332 ~x3856 ~x9304 ~x5592 ~x11104 ~x2136 ~x7409 ~x334 
399.44/400.67	v ~x3857 ~x9305 ~x5593 ~x11105 x2138 ~x7410 ~x333 ~x3858 ~x9306 ~x5594 
399.44/400.67	v ~x11106 ~x2139 ~x7411 ~x335 ~x3859 ~x9307 ~x5595 ~x11107 x2140 ~x7412 
399.44/400.67	v ~x337 ~x3860 ~x9308 ~x5596 ~x11108 ~x2141 ~x7413 ~x336 ~x3861 ~x9310 
399.44/400.67	v ~x5597 ~x11109 ~x2143 ~x7414 ~x338 ~x3862 ~x9311 ~x5598 ~x11110 ~x2145 
399.44/400.67	v ~x7415 ~x340 ~x3863 ~x9312 ~x5599 ~x11111 ~x2146 ~x7416 ~x339 ~x3864 
399.44/400.67	v ~x9313 ~x5600 ~x11112 ~x2147 ~x7417 ~x341 ~x3865 ~x9315 ~x5601 ~x11113 
399.44/400.67	v ~x2148 ~x7418 ~x343 ~x3866 ~x9316 ~x5602 ~x11115 ~x2150 ~x7419 ~x342 
399.44/400.67	v ~x3867 ~x9317 ~x5603 ~x11116 ~x2152 ~x7420 ~x344 ~x3868 ~x9318 ~x5604 
399.44/400.67	v ~x11117 ~x2153 ~x7421 ~x346 ~x3869 ~x9319 ~x5605 ~x11118 ~x2154 ~x7422 
399.44/400.67	v ~x345 ~x3870 ~x9320 ~x5606 ~x11119 ~x2155 ~x7423 ~x347 ~x3871 ~x9321 
399.44/400.67	v ~x5607 ~x11120 ~x2157 ~x7424 ~x349 ~x3872 ~x9322 x5609 ~x11121 ~x2159 
399.44/400.67	v ~x7425 ~x348 ~x3873 ~x9323 ~x5611 ~x11122 ~x2160 ~x7426 ~x3874 ~x350 
399.44/400.67	v ~x9324 ~x5612 ~x11123 ~x2161 ~x7427 ~x352 ~x3875 ~x9325 ~x5613 ~x11124 
399.44/400.67	v ~x2162 ~x7428 ~x351 ~x3876 ~x9327 ~x5614 ~x11125 ~x2164 ~x7429 ~x353 
399.44/400.67	v ~x3877 ~x9328 ~x5615 ~x11126 ~x2166 ~x7430 ~x355 ~x3878 ~x9329 ~x5616 
399.44/400.67	v ~x11127 ~x2167 x7432 ~x354 ~x3879 ~x9330 ~x5617 ~x11128 ~x2168 ~x7434 
399.44/400.67	v ~x356 ~x3880 ~x9332 ~x5618 ~x11129 ~x2169 ~x7435 ~x358 ~x3881 ~x9333 
399.44/400.67	v ~x5619 ~x11130 ~x2171 ~x7436 ~x357 ~x3882 ~x9334 ~x5620 ~x11131 ~x2172 
399.44/400.67	v ~x7437 ~x359 ~x3883 ~x9335 ~x5621 ~x11132 ~x2173 ~x7438 ~x361 ~x3884 
399.44/400.67	v ~x9336 ~x5622 ~x11133 ~x2174 ~x7439 ~x360 ~x3885 ~x9337 ~x5623 ~x11134 
399.44/400.67	v ~x2175 ~x7440 ~x362 ~x3886 ~x9338 ~x5624 ~x11135 ~x2176 ~x7441 ~x364 
399.44/400.67	v ~x3887 ~x9339 ~x5625 ~x11136 ~x2177 ~x7442 ~x363 ~x3888 ~x9340 ~x5626 
399.44/400.67	v ~x11137 ~x2178 ~x7443 ~x365 ~x3889 ~x9341 ~x5627 ~x11138 ~x2179 ~x7444 
399.44/400.67	v ~x367 ~x3890 ~x9342 ~x5628 ~x11139 ~x2180 ~x7445 ~x366 ~x3891 ~x9344 
399.44/400.67	v ~x5629 ~x11140 ~x2181 ~x7446 ~x368 ~x3892 ~x9345 ~x5630 ~x11142 ~x2182 
399.44/400.67	v ~x7447 ~x370 ~x3893 ~x9346 ~x5631 ~x11144 ~x2183 ~x7448 ~x369 ~x3894 
399.44/400.67	v ~x9347 ~x5632 ~x11145 ~x2184 ~x7449 ~x371 ~x3895 ~x9349 ~x5633 ~x11146 
399.44/400.67	v ~x2185 ~x7450 ~x373 ~x3896 ~x9350 ~x5634 ~x11147 ~x2186 ~x7451 ~x372 
399.44/400.67	v ~x3898 ~x9351 ~x5635 ~x11148 ~x2187 ~x7452 ~x374 ~x3899 ~x9352 ~x5636 
399.44/400.67	v ~x11149 ~x2188 ~x7453 ~x376 ~x3900 ~x9353 x5638 ~x11150 ~x2189 ~x7454 
399.44/400.67	v ~x375 ~x3901 ~x9354 ~x5640 ~x11151 ~x2190 ~x7455 ~x377 ~x3902 ~x9355 
399.44/400.67	v ~x5641 ~x11152 ~x2191 ~x7456 ~x379 ~x3903 ~x9356 ~x5642 ~x11153 ~x2192 
399.44/400.67	v ~x7457 ~x378 ~x3904 ~x9357 ~x5643 ~x11154 ~x2193 ~x7458 ~x380 ~x3905 
399.44/400.67	v ~x9358 ~x5644 ~x11156 ~x2194 ~x7459 ~x381 ~x3906 ~x9359 ~x5645 ~x11158 
399.44/400.67	v ~x2195 x7461 ~x382 ~x3907 ~x9361 ~x5646 ~x11159 ~x2196 x7463 ~x384 
399.44/400.67	v ~x3908 ~x9362 ~x5647 ~x11160 ~x2197 ~x7464 ~x383 ~x3909 ~x9363 ~x5648 
399.44/400.67	v ~x11161 ~x2198 ~x7465 ~x385 ~x3910 ~x9364 ~x5649 ~x11162 ~x2199 ~x7466 
399.44/400.67	v ~x387 ~x3911 ~x9366 ~x5650 ~x11163 ~x2200 ~x7467 ~x386 ~x3912 ~x9367 
399.44/400.67	v ~x5651 ~x11164 ~x2201 ~x7468 ~x388 ~x3913 ~x9368 ~x5652 ~x11165 ~x2202 
399.44/400.67	v ~x7469 ~x390 ~x3914 ~x9369 ~x5653 ~x11166 ~x2203 ~x7470 ~x389 ~x3915 
399.44/400.67	v ~x9370 ~x5654 ~x11167 ~x2204 ~x7471 ~x391 ~x3916 ~x9371 ~x5655 ~x11168 
399.44/400.67	v ~x2205 ~x7472 ~x393 ~x3917 ~x9372 ~x5656 ~x11170 ~x2206 ~x7473 ~x392 
399.44/400.67	v ~x3918 ~x9373 ~x5657 ~x11172 ~x2207 ~x7474 ~x394 ~x3919 ~x9374 ~x5658 
399.44/400.67	v ~x11173 ~x2208 x7475 ~x396 ~x3920 ~x9375 ~x5659 ~x11174 ~x2209 ~x7476 
399.44/400.67	v ~x395 ~x3921 ~x9376 ~x5660 ~x11175 ~x2210 ~x7477 ~x397 ~x3922 ~x9378 
399.44/400.67	v ~x5661 ~x11176 ~x2211 ~x7478 ~x399 ~x3923 ~x9379 ~x5662 ~x11177 ~x2212 
399.44/400.67	v ~x7479 ~x398 ~x3924 ~x9380 ~x5663 ~x11178 ~x2213 ~x7480 ~x400 ~x3925 
399.44/400.67	v ~x9381 ~x5664 ~x11179 ~x2214 ~x7481 ~x402 ~x3926 ~x9383 ~x5665 ~x11180 
399.44/400.67	v ~x2215 ~x7482 ~x401 ~x3927 ~x9384 ~x5667 ~x11181 ~x2216 ~x7483 ~x403 
399.44/400.67	v ~x3928 ~x9385 ~x5669 ~x11182 ~x2217 ~x7484 ~x405 ~x3929 ~x9386 ~x5670 
399.44/400.67	v x11184 ~x2218 ~x7485 ~x404 ~x3930 ~x9387 ~x5671 ~x11186 ~x2219 ~x7486 
399.44/400.67	v ~x406 ~x3931 ~x9388 ~x5672 ~x11187 ~x2220 ~x7487 ~x408 ~x3932 ~x9389 
399.44/400.67	v ~x5673 ~x11188 ~x2221 ~x7488 ~x407 ~x3933 ~x9390 ~x5674 ~x11189 ~x2222 
399.44/400.67	v ~x7490 ~x409 ~x3934 ~x9391 ~x5675 ~x11190 ~x2223 ~x7492 ~x411 ~x3935 
399.44/400.67	v ~x9392 ~x5676 ~x11191 ~x2224 ~x7493 ~x410 ~x3936 ~x9393 ~x5677 ~x11192 
399.44/400.67	v ~x2225 ~x7494 ~x412 ~x3937 ~x9395 ~x5678 ~x11193 ~x2226 ~x7495 ~x414 
399.44/400.67	v ~x3938 ~x9396 ~x5679 ~x11194 ~x2227 ~x7496 ~x413 ~x3939 ~x9397 ~x5680 
399.44/400.67	v ~x11195 ~x2228 ~x7497 ~x415 ~x3940 ~x9398 ~x5681 ~x11196 ~x2229 ~x7498 
399.44/400.67	v ~x417 ~x3941 ~x9400 ~x5682 x11198 ~x2230 ~x7499 ~x416 ~x3942 ~x9401 
399.44/400.67	v ~x5683 ~x11200 ~x2231 ~x7500 ~x418 ~x3943 ~x9402 ~x5684 ~x11201 ~x2232 
399.44/400.67	v ~x7501 ~x420 ~x3944 ~x9403 ~x5685 ~x11202 ~x2233 ~x7502 ~x419 ~x3945 
399.44/400.67	v ~x9404 ~x5686 ~x11203 ~x2234 ~x7503 ~x421 ~x3946 ~x9405 ~x5687 ~x11204 
399.44/400.67	v ~x2235 ~x7504 ~x423 ~x3947 ~x9406 ~x5688 ~x11205 ~x2236 ~x7505 ~x422 
399.44/400.67	v ~x3948 ~x9407 ~x5689 ~x11206 ~x2237 ~x7506 ~x424 ~x3949 ~x9408 ~x5690 
399.44/400.67	v ~x11207 ~x2238 ~x7507 ~x426 ~x3950 ~x9409 ~x5691 ~x11208 ~x2239 ~x7508 
399.44/400.67	v ~x425 ~x3951 ~x9410 ~x5692 ~x11209 ~x2240 ~x7509 ~x427 ~x3952 ~x9412 
399.44/400.67	v ~x5693 ~x11210 ~x2241 ~x7510 ~x429 ~x3953 ~x9413 ~x5694 ~x11212 ~x2242 
399.44/400.67	v ~x7511 ~x428 ~x3954 ~x9414 ~x5696 ~x11214 ~x2243 ~x7512 ~x430 ~x3956 
399.44/400.67	v ~x9415 ~x5698 ~x11215 ~x2244 ~x7513 ~x432 ~x3957 ~x9417 ~x5699 ~x11216 
399.44/400.67	v ~x2245 ~x7514 ~x431 ~x3958 ~x9418 ~x5700 ~x11217 ~x2246 ~x7515 ~x433 
399.44/400.67	v ~x3959 ~x9419 ~x5701 ~x11218 ~x2247 ~x7516 ~x435 ~x3960 ~x9420 ~x5702 
399.44/400.67	v ~x11219 ~x2248 ~x7517 ~x434 ~x3961 ~x9421 ~x5703 ~x11220 ~x2249 ~x7519 
399.44/400.67	v ~x436 ~x3962 ~x9422 ~x5704 ~x11221 ~x2250 ~x7521 ~x438 ~x3963 ~x9423 
399.44/400.67	v ~x5705 ~x11222 ~x2251 ~x7522 ~x437 ~x3964 ~x9424 ~x5706 ~x11223 ~x2252 
399.44/400.67	v ~x7523 ~x439 ~x3965 ~x9425 ~x5707 ~x11224 ~x2253 ~x7524 ~x441 ~x3966 
399.44/400.67	v ~x9426 ~x5708 ~x11226 ~x2254 ~x7525 ~x440 ~x3967 ~x9427 ~x5709 ~x11228 
399.44/400.67	v ~x2255 ~x7526 ~x442 ~x3968 ~x9429 ~x5710 ~x11229 ~x2256 ~x7527 ~x444 
399.44/400.67	v ~x3969 ~x9430 ~x5711 ~x11230 ~x2257 ~x7528 ~x443 ~x3970 ~x9431 ~x5712 
399.44/400.67	v ~x11231 ~x2258 ~x7529 ~x445 ~x3971 ~x9432 ~x5713 ~x11232 ~x2259 ~x7530 
399.44/400.67	v ~x447 ~x3972 ~x9434 ~x5714 ~x11233 ~x2260 ~x7531 ~x446 ~x3973 ~x9435 
399.44/400.67	v ~x5715 ~x11234 ~x2261 ~x7532 ~x448 ~x3974 ~x9436 ~x5716 ~x11235 ~x2262 
399.44/400.67	v ~x7533 ~x450 ~x3975 ~x9437 ~x5717 ~x11236 ~x2263 ~x7534 ~x449 ~x3976 
399.44/400.67	v ~x9438 ~x5718 ~x11237 ~x2264 ~x7535 ~x451 ~x3977 ~x9439 ~x5719 ~x11238 
399.44/400.67	v ~x2265 ~x7536 ~x453 ~x3978 ~x9440 ~x5720 ~x11240 ~x2266 ~x7537 ~x452 
399.44/400.67	v ~x3979 ~x9441 ~x5721 ~x11242 ~x2267 ~x7538 ~x454 ~x3980 ~x9442 ~x5722 
399.44/400.67	v ~x11243 ~x2268 ~x7539 ~x456 ~x3981 ~x9443 ~x5723 ~x11244 ~x2269 ~x7540 
399.44/400.67	v ~x455 ~x3982 ~x9444 ~x5725 ~x11245 ~x2270 ~x7541 ~x457 ~x3983 ~x9446 
399.44/400.67	v ~x5727 ~x11246 ~x2271 ~x7542 ~x459 ~x3984 ~x9447 ~x5728 ~x11247 ~x2272 
399.44/400.67	v ~x7543 ~x458 ~x3985 ~x9448 ~x5729 ~x11248 ~x2273 ~x7544 ~x460 ~x3986 
399.44/400.67	v ~x9449 ~x5730 ~x11249 ~x2274 ~x7545 ~x462 ~x3987 x9451 ~x5731 ~x11250 
399.44/400.67	v ~x2275 ~x7546 ~x461 ~x3988 ~x9452 ~x5732 ~x11251 ~x2276 ~x7548 ~x463 
399.44/400.67	v ~x3989 ~x9453 ~x5733 ~x11252 ~x2277 ~x7550 ~x465 ~x3990 ~x9454 ~x5734 
399.44/400.67	v x11254 ~x2278 ~x7551 ~x464 ~x3991 ~x9455 ~x5735 ~x11256 ~x2279 ~x7552 
399.44/400.67	v ~x466 ~x3992 ~x9456 ~x5736 ~x11257 ~x2280 ~x7553 ~x468 ~x3993 ~x9457 
399.44/400.67	v ~x5737 ~x11258 ~x2281 ~x7554 ~x467 ~x3994 ~x9458 ~x5738 ~x11259 ~x2282 
399.44/400.67	v ~x7555 ~x469 ~x3995 ~x9459 ~x5739 ~x11260 ~x2283 ~x7556 ~x471 ~x3996 
399.44/400.67	v ~x9460 ~x5740 ~x11261 ~x2284 ~x7557 ~x470 ~x3997 ~x9461 ~x5741 ~x11262 
399.44/400.67	v ~x2285 ~x7558 ~x472 ~x3998 x9463 ~x5742 ~x11263 ~x2286 ~x7559 ~x474 
399.44/400.68	v ~x3999 ~x9464 ~x5743 ~x11264 ~x2287 ~x7560 ~x473 ~x4000 x9465 ~x5744 
399.44/400.68	v ~x11265 ~x2288 ~x7561 ~x475 ~x4001 ~x9466 ~x5745 ~x11266 ~x2289 ~x7562 
399.44/400.68	v ~x477 ~x4002 x9468 ~x5746 ~x11268 ~x2290 ~x7563 ~x476 ~x4003 ~x9469 
399.44/400.68	v ~x5747 ~x11270 ~x2292 ~x7564 ~x478 ~x4004 ~x9470 ~x5748 ~x11271 ~x2293 
399.44/400.68	v ~x7565 ~x480 ~x4005 ~x9471 ~x5749 ~x11272 ~x2294 ~x7566 ~x479 ~x4006 
399.44/400.68	v ~x9472 ~x5750 ~x11273 ~x2295 ~x7567 ~x481 ~x4007 ~x9473 ~x5751 ~x11274 
399.44/400.68	v ~x2296 ~x7568 ~x483 ~x4008 ~x9474 ~x5752 ~x11275 ~x2297 ~x7569 ~x482 
399.44/400.68	v ~x4009 ~x9475 x5754 ~x11276 ~x2298 ~x7570 ~x484 ~x4010 ~x9476 ~x5756 
399.44/400.68	v ~x11277 ~x2299 ~x7571 ~x486 ~x4011 ~x9477 ~x5757 ~x11278 ~x2300 ~x7572 
399.44/400.68	v ~x485 ~x4012 ~x9478 ~x5758 ~x11279 ~x2301 ~x7573 ~x487 ~x4014 x9480 
399.44/400.68	v ~x5759 ~x11280 ~x2302 ~x7574 ~x489 ~x4015 ~x9481 ~x5760 ~x11282 ~x2303 
399.44/400.68	v ~x7575 ~x488 ~x4016 ~x9482 ~x5761 ~x11284 ~x2304 ~x7577 ~x490 ~x4017 
399.44/400.68	v ~x9483 ~x5762 ~x11285 ~x2305 ~x7579 ~x492 ~x4018 x9485 ~x5763 ~x11286 
399.44/400.68	v ~x2306 ~x7580 ~x491 ~x4019 ~x9486 ~x5764 ~x11287 ~x2307 ~x7581 ~x493 
399.44/400.68	v ~x4020 ~x9487 ~x5765 ~x11288 ~x2308 ~x7582 ~x495 ~x4021 ~x9488 ~x5766 
399.44/400.68	v ~x11289 ~x2309 ~x7583 ~x494 ~x4022 ~x9489 ~x5767 ~x11290 ~x2310 ~x7584 
399.44/400.68	v ~x496 ~x4023 ~x9490 ~x5768 ~x11291 ~x2311 ~x7585 ~x498 ~x4024 ~x9491 
399.44/400.68	v ~x5769 ~x11292 ~x2312 ~x7586 ~x497 ~x4025 ~x9492 ~x5770 ~x11293 ~x2313 
399.44/400.68	v ~x7587 ~x499 ~x4026 ~x9493 ~x5771 ~x11294 ~x2314 ~x7588 ~x501 ~x4027 
399.44/400.68	v ~x9494 ~x5772 ~x11296 ~x2315 ~x7589 ~x500 ~x4028 ~x9495 ~x5773 ~x11298 
399.44/400.68	v ~x2316 ~x7590 ~x502 ~x4029 ~x9497 ~x5774 ~x11299 ~x2317 ~x7591 ~x503 
399.44/400.68	v ~x4030 ~x9498 ~x5775 ~x11300 ~x2318 ~x7592 ~x504 ~x4031 ~x9499 ~x5776 
399.44/400.68	v ~x11301 ~x2319 ~x7593 ~x506 ~x4032 ~x9500 ~x5777 ~x11302 ~x2320 ~x7594 
399.44/400.68	v ~x505 ~x4033 ~x9502 ~x5778 ~x11303 ~x2321 ~x7595 ~x507 ~x4034 ~x9503 
399.44/400.68	v ~x5779 ~x11304 ~x2322 ~x7596 ~x509 ~x4035 ~x9504 ~x5780 ~x11305 ~x2323 
399.44/400.68	v ~x7597 ~x508 ~x4036 ~x9505 ~x5781 ~x11306 ~x2324 ~x7598 ~x510 ~x4037 
399.44/400.68	v ~x9506 ~x5783 ~x11307 ~x2325 ~x7599 ~x512 ~x4038 ~x9507 ~x5785 ~x11308 
399.44/400.68	v ~x2326 ~x7600 ~x511 ~x4039 ~x9508 ~x5786 x11310 ~x2327 ~x7601 ~x513 
399.44/400.68	v ~x4040 ~x9509 ~x5787 ~x11312 ~x2328 ~x7602 ~x515 ~x4041 ~x9510 ~x5788 
399.44/400.68	v ~x11313 ~x2329 ~x7603 ~x514 ~x4042 ~x9511 ~x5789 ~x11314 ~x2330 ~x7604 
399.44/400.68	v ~x516 ~x4043 ~x9512 ~x5790 ~x11315 ~x2331 ~x7606 ~x518 ~x4044 ~x9514 
399.44/400.68	v ~x5791 ~x11316 ~x2332 ~x7608 ~x517 ~x4045 ~x9515 ~x5792 ~x11317 ~x2333 
399.44/400.68	v ~x7609 ~x519 ~x4046 ~x9516 ~x5793 ~x11318 ~x2334 ~x7610 ~x521 ~x4047 
399.44/400.68	v ~x9517 ~x5794 ~x11319 ~x2335 ~x7611 ~x520 ~x4048 ~x9519 ~x5795 ~x11320 
399.44/400.68	v ~x2336 ~x7612 ~x522 ~x4049 ~x9520 ~x5796 ~x11321 ~x2337 ~x7613 ~x524 
399.44/400.68	v ~x4050 ~x9521 ~x5797 ~x11322 ~x2338 ~x7614 ~x523 ~x4051 ~x9522 ~x5798 
399.44/400.68	v ~x11324 ~x2339 ~x7615 ~x525 ~x4052 ~x9523 ~x5799 ~x11326 ~x2340 ~x7616 
399.44/400.68	v ~x527 ~x4053 ~x9524 ~x5800 ~x11327 ~x2341 ~x7617 ~x526 ~x4054 ~x9525 
399.44/400.68	v ~x5801 ~x11328 ~x2342 ~x7618 ~x528 ~x4055 ~x9526 ~x5802 ~x11329 ~x2343 
399.44/400.68	v ~x7619 ~x530 ~x4056 ~x9527 ~x5803 ~x11330 ~x2344 ~x7620 ~x529 ~x4057 
399.44/400.68	v ~x9528 ~x5804 ~x11331 ~x2345 ~x7621 ~x531 ~x4058 ~x9529 ~x5805 ~x11332 
399.44/400.68	v ~x2346 ~x7622 x533 ~x4059 ~x9531 ~x5806 ~x11333 ~x2347 ~x7623 ~x532 
399.44/400.68	v ~x4060 ~x9532 ~x5807 ~x11334 ~x2348 ~x7624 ~x534 ~x4061 ~x9533 ~x5808 
399.44/400.68	v ~x11335 ~x2349 ~x7625 ~x536 ~x4062 ~x9534 ~x5809 ~x11336 ~x2350 ~x7626 
399.44/400.68	v ~x535 ~x4063 ~x9536 ~x5810 x11338 ~x2351 ~x7627 ~x537 ~x4064 ~x9537 
399.44/400.68	v ~x5812 ~x11340 ~x2352 ~x7628 ~x539 ~x4065 ~x9538 ~x5814 ~x11341 ~x2353 
399.44/400.68	v ~x7629 ~x538 ~x4066 ~x9539 ~x5815 ~x11342 ~x2354 ~x7630 ~x540 ~x4067 
399.44/400.68	v ~x9540 ~x5816 ~x11343 ~x2355 ~x7631 ~x542 ~x4068 ~x9541 ~x5817 ~x11344 
399.44/400.68	v ~x2356 ~x7632 ~x541 ~x4069 ~x9542 ~x5818 ~x11345 ~x2357 ~x7633 ~x543 
399.44/400.68	v ~x4070 ~x9543 ~x5819 ~x11346 ~x2358 ~x7635 ~x545 ~x4072 ~x9544 ~x5820 
399.44/400.68	v ~x11347 ~x2359 ~x7637 ~x544 ~x4073 ~x9545 ~x5821 ~x11348 ~x2360 ~x7638 
399.44/400.68	v ~x546 ~x4074 ~x9546 ~x5822 ~x11349 ~x2361 ~x7639 ~x548 ~x4075 ~x9548 
399.44/400.68	v ~x5823 ~x11350 ~x2362 ~x7640 ~x547 ~x4076 ~x9549 ~x5824 x11352 ~x2363 
399.44/400.68	v ~x7641 ~x549 ~x4077 ~x9550 ~x5825 ~x11353 ~x2364 ~x7642 ~x551 ~x4078 
399.44/400.68	v ~x9551 ~x5826 ~x11354 ~x2365 ~x7643 ~x550 ~x4079 x9553 ~x5827 ~x11355 
399.44/400.68	v ~x2366 ~x7644 ~x552 ~x4080 ~x9554 ~x5828 ~x11356 ~x2367 ~x7645 ~x554 
399.44/400.68	v ~x4081 ~x9555 ~x5829 ~x11357 ~x2368 ~x7646 ~x553 ~x4082 ~x9556 ~x5830 
399.44/400.68	v ~x11358 ~x2369 ~x7647 ~x555 ~x4083 ~x9557 ~x5831 ~x11359 ~x2370 ~x7648 
399.44/400.68	v ~x557 ~x4084 ~x9558 ~x5832 ~x11360 ~x2371 ~x7649 ~x556 ~x4085 ~x9559 
399.44/400.68	v ~x5833 x11361 ~x2372 ~x7650 ~x558 ~x4086 ~x9560 ~x5834 ~x11362 ~x2373 
399.44/400.68	v ~x7651 ~x560 ~x4087 ~x9561 ~x5835 ~x11364 ~x2374 ~x7652 ~x559 ~x4088 
399.44/400.68	v x9562 ~x5836 ~x11366 ~x2375 ~x7653 ~x561 ~x4089 ~x9563 ~x5837 ~x11367 
399.44/400.68	v ~x2376 ~x7654 ~x563 ~x4090 ~x9565 ~x5838 ~x11368 ~x2377 ~x7655 ~x562 
399.44/400.68	v ~x4091 ~x9566 ~x5839 ~x11369 ~x2378 ~x7656 ~x564 ~x4092 ~x9567 x5841 
399.44/400.68	v ~x11370 ~x2379 ~x7657 ~x566 ~x4093 ~x9568 ~x5843 ~x11371 ~x2380 ~x7658 
399.44/400.68	v ~x565 ~x4094 ~x9570 ~x5844 ~x11372 ~x2381 ~x7659 ~x567 ~x4095 ~x9571 
399.44/400.68	v ~x5845 ~x11373 ~x2382 ~x7660 ~x569 ~x4096 ~x9572 ~x5846 ~x11374 ~x2383 
399.44/400.68	v ~x7661 ~x568 ~x4097 ~x9573 ~x5847 ~x11375 ~x2384 ~x7662 ~x570 ~x4098 
399.44/400.68	v ~x9574 ~x5848 ~x11376 ~x2385 ~x7664 ~x572 ~x4099 ~x9575 ~x5849 ~x11378 
399.44/400.68	v ~x2386 ~x7666 ~x571 ~x4100 ~x9576 ~x5850 ~x11380 ~x2387 ~x7667 ~x573 
399.44/400.68	v ~x4101 ~x9577 ~x5851 ~x11381 ~x2388 ~x7668 ~x575 ~x4102 ~x9578 ~x5852 
399.44/400.68	v ~x11382 ~x2389 ~x7669 ~x574 ~x4103 ~x9579 ~x5853 ~x11383 ~x2390 ~x7670 
399.44/400.68	v ~x576 ~x4104 ~x9580 ~x5854 ~x11384 ~x2391 ~x7671 ~x578 ~x4105 ~x9582 
399.44/400.68	v ~x5855 ~x11385 ~x2392 ~x7672 ~x577 ~x4106 ~x9583 ~x5856 ~x11386 ~x2393 
399.44/400.68	v ~x7673 ~x579 ~x4107 ~x9584 ~x5857 ~x11387 ~x2394 ~x7674 ~x581 ~x4108 
399.44/400.68	v ~x9585 ~x5858 ~x11388 ~x2395 ~x7675 ~x580 ~x4109 ~x9587 ~x5859 ~x11389 
399.44/400.68	v ~x2396 ~x7676 ~x582 ~x4110 ~x9588 ~x5860 ~x11390 ~x2397 ~x7677 ~x584 
399.44/400.68	v ~x4111 ~x9589 ~x5861 x11392 ~x2398 ~x7678 ~x583 ~x4112 ~x9590 ~x5862 
399.44/400.68	v ~x11394 ~x2399 ~x7679 ~x585 ~x4113 ~x9591 ~x5863 ~x11395 ~x2400 ~x7680 
399.44/400.68	v ~x587 ~x4114 ~x9592 ~x5864 ~x11396 ~x2401 ~x7681 ~x586 ~x4115 ~x9593 
399.44/400.68	v ~x5865 ~x11397 ~x2402 ~x7682 ~x588 ~x4116 ~x9594 ~x5866 ~x11398 ~x2403 
399.44/400.68	v ~x7683 ~x590 ~x4117 ~x9595 ~x5867 ~x11399 ~x2404 ~x7684 ~x589 ~x4118 
399.44/400.68	v ~x9596 ~x5868 ~x11400 ~x2405 ~x7685 ~x591 ~x4119 ~x9597 x5870 ~x11401 
399.44/400.68	v ~x2406 ~x7686 ~x593 ~x4120 ~x9599 ~x5872 ~x11402 ~x2407 ~x7687 ~x592 
399.44/400.68	v ~x4121 ~x9600 ~x5873 ~x11403 ~x2408 ~x7688 ~x594 ~x4122 ~x9601 ~x5874 
399.44/400.68	v ~x11404 ~x2409 ~x7689 ~x596 ~x4123 ~x9602 ~x5875 ~x11406 ~x2410 ~x7690 
399.44/400.68	v ~x595 ~x4124 ~x9604 ~x5876 ~x11407 ~x2411 ~x7691 ~x597 ~x4125 ~x9605 
399.44/400.68	v ~x5877 ~x11408 x2413 ~x7693 x599 ~x4126 ~x9606 ~x5878 ~x11409 ~x2414 
399.44/400.68	v ~x7695 ~x598 ~x4127 ~x9607 ~x5879 ~x11410 ~x2415 ~x7696 ~x600 ~x4128 
399.44/400.68	v ~x9608 ~x5880 ~x11411 ~x2416 ~x7697 ~x602 ~x4130 ~x9609 ~x5881 ~x11412 
399.44/400.68	v ~x2417 ~x7698 ~x601 ~x4131 ~x9610 ~x5882 ~x11413 ~x2418 ~x7699 ~x603 
399.44/400.68	v ~x4132 ~x9611 ~x5883 ~x11414 ~x2419 ~x7700 ~x605 ~x4133 ~x9612 ~x5884 
399.44/400.68	v ~x11415 ~x2420 ~x7701 ~x604 ~x4134 ~x9613 ~x5885 ~x11416 ~x2421 ~x7702 
399.44/400.68	v ~x606 ~x4135 ~x9614 ~x5886 ~x11418 ~x2422 ~x7703 ~x608 ~x4136 ~x9616 
399.44/400.68	v ~x5887 ~x11420 ~x2423 ~x7704 ~x607 ~x4137 ~x9617 ~x5888 ~x11421 ~x2424 
399.44/400.68	v ~x7705 ~x609 ~x4138 ~x9618 ~x5889 ~x11422 ~x2425 ~x7706 ~x611 ~x4139 
399.44/400.68	v ~x9619 ~x5890 ~x11423 ~x2426 ~x7707 ~x610 ~x4140 ~x9621 ~x5891 ~x11424 
399.44/400.68	v ~x2427 ~x7708 ~x612 ~x4141 ~x9622 ~x5892 ~x11425 ~x2428 ~x7709 ~x614 
399.44/400.68	v ~x4142 ~x9623 ~x5893 ~x11426 ~x2429 ~x7710 ~x613 ~x4143 ~x9624 ~x5894 
399.44/400.68	v ~x11427 ~x2430 ~x7711 ~x615 ~x4144 ~x9625 ~x5895 ~x11428 ~x2431 ~x7712 
399.44/400.68	v ~x617 ~x4145 ~x9626 ~x5896 ~x11429 ~x2432 ~x7713 ~x616 ~x4146 ~x9627 
399.44/400.68	v ~x5897 ~x11430 ~x2433 ~x7714 ~x618 ~x4147 ~x9628 ~x5899 ~x11432 ~x2434 
399.44/400.68	v ~x7715 ~x620 ~x4148 ~x9629 ~x5901 ~x11434 ~x2435 ~x7716 ~x619 ~x4149 
399.44/400.68	v ~x9630 ~x5902 ~x11435 ~x2436 ~x7717 ~x621 ~x4150 ~x9631 ~x5903 ~x11436 
399.44/400.68	v ~x2437 ~x7718 ~x623 ~x4151 ~x9633 ~x5904 ~x11437 ~x2438 ~x7719 ~x622 
399.44/400.68	v ~x4152 ~x9634 ~x5905 ~x11438 ~x2439 ~x7720 ~x624 ~x4153 ~x9635 ~x5906 
399.44/400.68	v ~x11439 ~x2440 ~x7722 ~x626 ~x4154 ~x9636 ~x5907 ~x11440 ~x2441 ~x7724 
399.44/400.68	v ~x625 ~x4155 ~x9638 ~x5908 ~x11441 ~x2442 ~x7725 ~x627 ~x4156 ~x9639 
399.44/400.68	v ~x5909 ~x11442 ~x2443 ~x7726 ~x629 ~x4157 ~x9640 ~x5910 ~x11443 ~x2444 
399.44/400.68	v ~x7727 ~x628 ~x4158 ~x9641 ~x5911 ~x11444 ~x2445 ~x7728 ~x630 ~x4159 
399.44/400.68	v ~x9642 ~x5912 ~x11446 ~x2446 ~x7729 ~x632 ~x4160 ~x9643 ~x5913 ~x11448 
399.44/400.68	v ~x2447 ~x7730 ~x631 ~x4161 ~x9644 ~x5914 ~x11449 ~x2448 ~x7731 ~x633 
399.44/400.68	v ~x4162 ~x9645 ~x5915 ~x11450 ~x2449 ~x7732 ~x635 ~x4163 ~x9646 ~x5916 
399.44/400.68	v ~x11451 ~x2450 ~x7733 ~x634 ~x4164 ~x9647 ~x5917 ~x11452 ~x2451 ~x7734 
399.44/400.68	v ~x636 ~x4165 ~x9648 ~x5918 ~x11453 ~x2452 ~x7735 ~x638 ~x4166 ~x9650 
399.44/400.68	v ~x5919 ~x11454 ~x2453 ~x7736 ~x637 ~x4167 ~x9651 ~x5920 ~x11455 ~x2454 
399.44/400.68	v ~x7737 ~x639 ~x4168 ~x9652 ~x5921 ~x11456 ~x2455 ~x7738 ~x641 ~x4169 
399.44/400.68	v ~x9653 ~x5922 ~x11457 ~x2456 ~x7739 ~x640 ~x4170 x9655 ~x5923 ~x11458 
399.44/400.68	v ~x2457 ~x7740 ~x642 ~x4171 ~x9656 ~x5924 ~x11460 ~x2458 ~x7741 ~x644 
399.44/400.68	v ~x4172 ~x9657 ~x5925 ~x11462 ~x2459 ~x7742 ~x643 ~x4173 ~x9658 ~x5926 
399.44/400.68	v ~x11463 ~x2460 ~x7743 ~x645 ~x4174 ~x9659 ~x5928 ~x11464 ~x2461 ~x7744 
399.44/400.68	v ~x647 ~x4175 ~x9660 ~x5930 ~x11465 ~x2462 ~x7745 ~x646 ~x4176 ~x9661 
399.44/400.68	v ~x5931 ~x11466 ~x2463 ~x7746 ~x648 ~x4177 ~x9662 ~x5932 ~x11467 ~x2464 
399.44/400.68	v ~x7747 ~x650 ~x4178 ~x9663 ~x5933 ~x11468 ~x2465 ~x7748 ~x649 ~x4179 
399.44/400.68	v ~x9664 ~x5934 ~x11469 ~x2466 ~x7749 ~x651 ~x4180 ~x9665 ~x5935 ~x11470 
399.44/400.68	v ~x2467 ~x7751 ~x653 ~x4181 ~x9667 ~x5936 ~x11471 ~x2468 ~x7753 ~x652 
399.44/400.68	v ~x4182 ~x9668 ~x5937 ~x11472 ~x2469 ~x7754 ~x654 ~x4183 ~x9669 ~x5938 
399.44/400.68	v x11474 ~x2470 ~x7755 ~x656 ~x4184 ~x9670 ~x5939 x11476 ~x2471 ~x7756 
399.44/400.68	v ~x655 ~x4185 ~x9672 ~x5940 ~x11477 ~x2472 ~x7757 ~x657 ~x4186 ~x9673 
399.44/400.68	v ~x5941 ~x11478 ~x2473 ~x7758 ~x659 ~x4188 ~x9674 ~x5942 ~x11479 ~x2474 
399.44/400.68	v ~x7759 ~x658 ~x4189 ~x9675 ~x5943 ~x11480 ~x2475 ~x7760 ~x660 ~x4190 
399.44/400.68	v ~x9676 ~x5944 ~x11481 ~x2476 ~x7761 ~x662 ~x4191 ~x9677 ~x5945 ~x11482 
399.44/400.68	v ~x2477 ~x7762 ~x661 ~x4192 ~x9678 ~x5946 x11483 ~x2478 ~x7763 ~x663 
399.44/400.68	v ~x4193 ~x9679 ~x5947 ~x11484 ~x2479 ~x7764 ~x665 ~x4194 ~x9680 ~x5948 
399.44/400.68	v ~x11485 ~x2480 ~x7765 ~x664 ~x4195 ~x9681 ~x5949 ~x11486 ~x2481 ~x7766 
399.44/400.68	v ~x666 ~x4196 ~x9682 ~x5950 ~x11488 ~x2482 ~x7767 ~x668 ~x4197 ~x9684 
399.44/400.68	v ~x5951 ~x11490 ~x2483 ~x7768 ~x667 ~x4198 ~x9685 ~x5952 ~x11491 ~x2484 
399.44/400.68	v ~x7769 ~x669 ~x4199 ~x9686 ~x5953 ~x11492 ~x2485 ~x7770 ~x671 ~x4200 
399.44/400.68	v ~x9687 ~x5954 ~x11493 ~x2486 ~x7771 ~x670 ~x4201 ~x9689 ~x5955 ~x11494 
399.44/400.68	v ~x2487 ~x7772 ~x672 ~x4202 ~x9690 ~x5957 ~x11495 ~x2488 ~x7773 ~x674 
399.44/400.68	v ~x4203 ~x9691 ~x5959 ~x11496 ~x2489 ~x7774 ~x673 ~x4204 ~x9692 ~x5960 
399.44/400.68	v ~x11497 ~x2490 ~x7775 ~x675 ~x4205 ~x9693 ~x5961 ~x11498 ~x2491 ~x7776 
399.44/400.68	v ~x677 ~x4206 ~x9694 ~x5962 ~x11499 ~x2492 ~x7777 ~x676 ~x4207 ~x9695 
399.44/400.68	v ~x5963 ~x11500 ~x2493 ~x7778 ~x678 ~x4208 ~x9696 ~x5964 ~x11502 ~x2494 
399.44/400.68	v ~x7780 ~x680 ~x4209 ~x9697 ~x5965 ~x11504 ~x2495 ~x7781 ~x679 ~x4210 
399.44/400.68	v ~x9698 ~x5966 ~x11505 ~x2496 ~x7782 ~x681 ~x4211 ~x9699 ~x5967 ~x11506 
399.44/400.68	v ~x2497 ~x7783 ~x683 ~x4212 ~x9701 ~x5968 ~x11507 ~x2498 ~x7785 ~x682 
399.44/400.68	v ~x4213 ~x9702 ~x5969 ~x11508 ~x2499 ~x7786 ~x684 ~x4214 ~x9703 ~x5970 
399.44/400.68	v ~x11509 ~x2500 ~x7787 ~x686 ~x4215 ~x9704 ~x5971 ~x11510 ~x2501 ~x7788 
399.44/400.68	v ~x685 ~x4216 ~x9706 ~x5972 ~x11511 ~x2502 ~x7789 ~x687 ~x4217 ~x9707 
399.44/400.68	v ~x5973 ~x11512 ~x2503 ~x7790 ~x689 ~x4218 ~x9708 ~x5974 ~x11513 ~x2504 
399.44/400.68	v ~x7791 ~x688 ~x4219 ~x9709 ~x5975 ~x11514 ~x2505 ~x7792 ~x690 ~x4220 
399.44/400.68	v ~x9710 ~x5976 ~x11516 ~x2506 ~x7793 ~x692 ~x4221 ~x9711 ~x5977 ~x11518 
399.44/400.68	v ~x2507 ~x7794 ~x691 ~x4222 ~x9712 ~x5978 ~x11519 ~x2508 ~x7795 ~x693 
399.44/400.68	v ~x4223 ~x9713 ~x5979 ~x11520 ~x2509 ~x7797 ~x695 ~x4224 ~x9714 ~x5980 
399.44/400.68	v ~x11521 ~x2510 ~x7798 ~x694 ~x4225 ~x9715 ~x5981 ~x11522 ~x2511 ~x7799 
399.44/400.68	v ~x696 ~x4226 ~x9716 ~x5982 ~x11523 ~x2512 ~x7800 ~x698 ~x4227 ~x9718 
399.44/400.68	v ~x5983 ~x11524 ~x2513 ~x7802 ~x697 ~x4228 ~x9719 ~x5984 ~x11525 ~x2514 
399.44/400.68	v ~x7803 ~x699 ~x4229 ~x9720 ~x5986 ~x11526 ~x2515 ~x7804 ~x701 ~x4230 
399.44/400.68	v ~x9721 ~x5987 ~x11527 ~x2516 ~x7805 ~x700 ~x4231 ~x9723 ~x5988 ~x11528 
399.44/400.68	v ~x2517 ~x7806 ~x702 ~x4232 ~x9724 ~x5989 ~x11530 ~x2518 ~x7807 ~x704 
399.44/400.68	v ~x4233 ~x9725 ~x5990 ~x11531 ~x2519 ~x7808 ~x703 ~x4234 ~x9726 ~x5991 
399.44/400.68	v ~x11532 ~x2520 ~x7809 ~x705 ~x4235 ~x9727 ~x5992 ~x11533 ~x2521 ~x7810 
399.44/400.68	v ~x707 ~x4236 ~x9728 ~x5993 ~x11534 ~x2522 ~x7811 ~x706 ~x4237 ~x9729 
399.44/400.68	v ~x5994 ~x11535 ~x2523 ~x7812 ~x708 ~x4238 ~x9730 ~x5995 ~x11536 ~x2524 
399.44/400.68	v x7814 ~x710 ~x4239 ~x9731 ~x5996 ~x11537 ~x2525 ~x7815 ~x709 ~x4240 
399.44/400.68	v ~x9732 ~x5997 ~x11538 ~x2526 ~x7816 ~x711 ~x4241 ~x9733 ~x5998 ~x11539 
399.44/400.68	v ~x2527 ~x7817 ~x713 ~x4242 ~x9735 ~x5999 ~x11540 ~x2528 ~x7819 ~x712 
399.44/400.68	v ~x4243 ~x9736 ~x6000 x11542 ~x2529 ~x7820 ~x714 ~x4244 ~x9737 ~x6001 
399.44/400.68	v ~x11544 ~x2530 ~x7821 ~x716 ~x4246 ~x9738 ~x6002 ~x11545 ~x2531 ~x7822 
399.44/400.68	v ~x715 ~x4247 ~x9740 ~x6003 ~x11546 ~x2532 ~x7823 ~x717 ~x4248 ~x9741 
399.44/400.68	v ~x6004 ~x11547 ~x2534 ~x7824 ~x719 ~x4249 ~x9742 ~x6005 ~x11548 ~x2535 
399.44/400.68	v ~x7825 ~x718 ~x4250 ~x9743 ~x6006 ~x11549 ~x2536 ~x7826 ~x720 ~x4251 
399.44/400.68	v ~x9744 ~x6007 ~x11550 ~x2537 ~x7827 ~x722 ~x4252 ~x9745 ~x6008 ~x11551 
399.44/400.68	v ~x2538 ~x7828 ~x721 ~x4253 ~x9746 ~x6009 ~x11552 ~x2539 ~x7829 ~x723 
399.44/400.68	v ~x4254 ~x9747 ~x6010 ~x11553 ~x2540 ~x7831 ~x725 ~x4255 ~x9748 ~x6011 
399.44/400.68	v ~x11554 ~x2541 ~x7832 ~x724 ~x4256 ~x9749 x6013 ~x11556 ~x2542 ~x7833 
399.44/400.68	v ~x726 ~x4257 ~x9750 ~x6015 ~x11558 ~x2543 ~x7834 ~x728 ~x4258 x9752 
399.44/400.68	v ~x6016 ~x11559 ~x2544 ~x7836 ~x727 ~x4259 ~x9753 ~x6017 ~x11560 ~x2545 
399.44/400.68	v ~x7837 ~x729 ~x4260 ~x9754 ~x6018 ~x11561 ~x2546 ~x7838 ~x731 ~x4261 
399.44/400.68	v ~x9755 ~x6019 ~x11562 ~x2547 ~x7839 ~x730 ~x4262 x9757 ~x6020 ~x11563 
399.44/400.68	v ~x2548 ~x7840 ~x732 ~x4263 ~x9758 ~x6021 ~x11564 ~x2549 ~x7841 ~x734 
399.44/400.68	v ~x4264 ~x9759 ~x6022 ~x11565 ~x2550 ~x7842 ~x733 ~x4265 ~x9760 ~x6023 
399.44/400.68	v ~x11566 ~x2551 ~x7843 ~x735 ~x4266 ~x9761 ~x6024 ~x11567 ~x2552 ~x7844 
399.44/400.68	v ~x737 ~x4267 ~x9762 ~x6025 ~x11568 ~x2553 ~x7845 ~x736 ~x4268 ~x9763 
399.44/400.68	v ~x6026 x11570 ~x2554 ~x7846 ~x738 ~x4269 ~x9764 ~x6027 ~x11572 ~x2555 
399.44/400.68	v ~x7848 ~x740 ~x4270 ~x9765 ~x6028 ~x11573 ~x2556 ~x7849 ~x739 ~x4271 
399.44/400.68	v x9766 ~x6029 ~x11574 ~x2557 ~x7850 ~x741 ~x4272 ~x9767 ~x6030 ~x11575 
399.44/400.68	v ~x2558 ~x7851 ~x743 ~x4273 ~x9769 ~x6031 ~x11576 ~x2559 ~x7853 ~x742 
399.44/400.68	v ~x4274 ~x9770 ~x6032 ~x11577 ~x2560 ~x7854 ~x744 ~x4275 ~x9771 ~x6033 
399.44/400.68	v ~x11578 ~x2561 ~x7855 ~x746 ~x4276 ~x9772 ~x6034 ~x11579 ~x2562 ~x7856 
399.44/400.68	v ~x745 ~x4277 ~x9774 ~x6035 ~x11580 ~x2563 ~x7857 ~x747 ~x4278 ~x9775 
399.44/400.68	v ~x6036 ~x11581 ~x2564 ~x7858 ~x749 ~x4279 ~x9776 ~x6037 ~x11582 ~x2565 
399.44/400.68	v ~x7859 ~x748 ~x4280 ~x9777 ~x6038 ~x11584 ~x2566 ~x7860 ~x750 ~x4281 
399.44/400.68	v ~x9778 ~x6039 ~x11586 ~x2567 ~x7861 ~x752 ~x4282 ~x9779 ~x6040 ~x11587 
399.44/400.68	v ~x2568 ~x7862 ~x751 ~x4283 ~x9780 x6042 ~x11588 ~x2569 ~x7863 ~x753 
399.44/400.68	v ~x4284 ~x9781 ~x6044 ~x11589 ~x2570 ~x7865 ~x755 ~x4285 ~x9782 ~x6045 
399.44/400.68	v ~x11590 ~x2571 ~x7866 ~x754 ~x4286 ~x9783 ~x6046 ~x11591 ~x2572 ~x7867 
399.44/400.68	v ~x756 ~x4287 ~x9784 ~x6047 ~x11592 ~x2573 ~x7868 ~x758 ~x4288 ~x9786 
399.44/400.68	v ~x6048 ~x11593 ~x2574 ~x7870 ~x757 ~x4289 ~x9787 ~x6049 ~x11594 ~x2575 
399.44/400.68	v ~x7871 ~x759 ~x4290 ~x9788 ~x6050 ~x11595 ~x2576 ~x7872 ~x761 ~x4291 
399.44/400.68	v ~x9789 ~x6051 ~x11596 ~x2577 ~x7873 ~x760 ~x4292 ~x9791 ~x6052 x11598 
399.44/400.68	v ~x2578 ~x7874 ~x762 ~x4293 ~x9792 ~x6053 ~x11600 ~x2579 ~x7875 ~x764 
399.44/400.68	v ~x4294 ~x9793 ~x6054 ~x11601 ~x2580 ~x7876 ~x763 ~x4295 ~x9794 ~x6055 
399.44/400.68	v ~x11602 ~x2581 ~x7877 ~x765 ~x4296 ~x9795 ~x6056 ~x11603 ~x2582 ~x7878 
399.44/400.68	v ~x767 ~x4297 ~x9796 ~x6057 ~x11604 ~x2583 ~x7879 ~x766 ~x4298 ~x9797 
399.44/400.68	v ~x6058 ~x11605 ~x2584 ~x7880 ~x768 ~x4299 ~x9798 ~x6059 ~x11606 ~x2585 
399.44/400.68	v ~x7882 ~x770 ~x4300 ~x9799 ~x6060 ~x11607 ~x2586 ~x7883 ~x769 ~x4301 
399.44/400.68	v ~x9800 ~x6061 ~x11608 ~x2587 ~x7884 ~x771 ~x4302 ~x9801 ~x6062 ~x11609 
399.44/400.68	v ~x2588 ~x7885 ~x773 x4304 x9803 ~x6063 ~x11610 ~x2589 ~x7887 ~x772 
399.44/400.68	v ~x4305 ~x9804 ~x6064 ~x11612 ~x2590 ~x7888 ~x774 ~x4306 ~x9805 ~x6065 
399.44/400.68	v ~x11614 ~x2591 ~x7889 ~x776 ~x4307 ~x9806 ~x6066 ~x11615 ~x2592 ~x7890 
399.44/400.68	v ~x775 ~x4308 ~x9808 ~x6067 ~x11616 ~x2593 ~x7891 ~x777 ~x4309 ~x9809 
399.44/400.68	v ~x6068 ~x11617 ~x2594 ~x7892 ~x779 ~x4310 ~x9810 ~x6069 ~x11618 ~x2595 
399.44/400.68	v ~x7893 ~x778 ~x4311 ~x9811 ~x6071 ~x11619 ~x2596 ~x7894 ~x780 ~x4312 
399.44/400.68	v ~x9812 ~x6073 ~x11620 ~x2597 ~x7895 ~x782 ~x4313 ~x9813 ~x6074 ~x11621 
399.44/400.68	v ~x2598 ~x7896 ~x781 ~x4314 ~x9814 ~x6075 ~x11622 ~x2599 ~x7897 ~x783 
399.44/400.68	v ~x4315 ~x9815 ~x6076 ~x11623 ~x2600 x7899 ~x785 ~x4316 ~x9816 ~x6077 
399.44/400.68	v ~x11624 ~x2601 ~x7900 ~x784 ~x4317 ~x9817 ~x6078 ~x11626 ~x2602 ~x7901 
399.44/400.68	v ~x786 ~x4318 ~x9818 ~x6079 ~x11627 ~x2603 ~x7902 ~x788 ~x4319 x9820 
399.44/400.68	v ~x6080 ~x11628 ~x2604 ~x7904 ~x787 ~x4320 ~x9821 ~x6081 ~x11629 ~x2605 
399.44/400.68	v ~x7905 ~x789 ~x4321 ~x9822 ~x6082 ~x11630 ~x2606 ~x7906 ~x791 ~x4322 
399.44/400.68	v ~x9823 ~x6083 ~x11631 ~x2607 ~x7907 ~x790 ~x4323 x9825 ~x6084 ~x11632 
399.44/400.68	v ~x2608 ~x7908 ~x792 ~x4324 ~x9826 ~x6085 ~x11633 ~x2609 ~x7909 ~x794 
399.44/400.68	v ~x4325 ~x9827 ~x6086 ~x11634 ~x2610 ~x7910 ~x793 ~x4326 ~x9828 ~x6087 
399.44/400.68	v ~x11635 ~x2611 ~x7911 ~x795 ~x4327 x1 ~x9829 ~x6088 ~x11636 ~x2612 
399.44/400.68	v ~x7912 ~x797 ~x4328 x37 ~x9830 ~x6089 ~x11638 ~x2613 ~x7913 ~x796 
399.44/400.68	v ~x4329 x208 ~x9831 ~x6090 ~x11640 ~x2614 ~x7914 ~x798 ~x4330 x943 
399.44/400.68	v ~x9832 ~x6091 ~x11641 ~x2615 ~x7916 ~x800 ~x4331 x1286 ~x9833 ~x6092 
399.44/400.68	v ~x11642 ~x2616 ~x7917 ~x799 ~x4332 ~x1441 ~x9834 ~x6093 ~x11643 ~x2617 
399.44/400.68	v ~x7918 ~x801 ~x4333 ~x1446 ~x9835 ~x6094 ~x11644 ~x2618 ~x7919 ~x803 
399.44/400.68	v ~x4334 ~x1451 ~x9837 ~x6095 ~x11645 ~x2619 ~x7921 ~x802 ~x4335 ~x1456 
399.44/400.68	v ~x9838 ~x6096 ~x11646 ~x2620 ~x7922 ~x804 ~x4336 ~x1461 ~x9839 ~x6097 
399.44/400.68	v ~x11647 ~x2621 ~x7923 ~x806 ~x4337 ~x8 ~x9840 ~x6098 ~x11648 ~x2622 
399.44/400.68	v ~x7924 ~x805 ~x4338 ~x1466 ~x9842 ~x6100 ~x11649 ~x2623 ~x807 ~x4339 
399.44/400.68	v x11 ~x9843 ~x6102 ~x11650 ~x2624 ~x7925 ~x809 ~x4340 ~x1468 ~x9844 
399.44/400.68	v ~x6103 ~x11652 ~x2625 ~x7926 ~x808 ~x4341 ~x14 ~x9845 ~x6104 ~x11654 
399.44/400.68	v ~x2626 ~x7927 ~x810 ~x4342 ~x1470 ~x9846 ~x6105 ~x11655 ~x2627 ~x7928 
399.44/400.68	v ~x812 ~x4343 ~x17 ~x9847 ~x6106 ~x11656 ~x2628 ~x7929 ~x811 ~x4344 
399.44/400.68	v ~x1472 ~x9848 ~x6107 ~x11657 ~x2629 ~x7930 ~x813 ~x4345 ~x20 ~x9849 
399.44/400.68	v ~x6108 ~x11658 ~x2630 ~x7931 ~x815 ~x4346 ~x1474 ~x9850 ~x6109 ~x11659 
399.44/400.68	v ~x2631 ~x7933 ~x814 ~x4347 ~x23 ~x9851 ~x6110 ~x11660 ~x2632 ~x7934 
399.44/400.68	v ~x816 ~x4348 ~x1476 ~x9852 ~x6111 ~x11661 ~x2633 ~x7935 ~x818 ~x4349 
399.44/400.68	v ~x26 ~x9854 ~x6112 ~x11662 ~x2634 ~x7936 ~x817 ~x4350 ~x1478 ~x9855 
399.44/400.68	v ~x6113 ~x11663 ~x2635 ~x7938 ~x819 ~x4351 ~x29 ~x9856 ~x6114 ~x11664 
399.44/400.68	v ~x2636 ~x7939 ~x821 ~x4352 ~x1480 ~x9857 ~x6115 ~x11666 ~x2637 ~x7940 
399.44/400.68	v ~x820 ~x4353 ~x32 ~x9859 ~x6116 ~x11668 ~x2638 ~x7941 ~x822 ~x4354 
399.44/400.68	v ~x1482 ~x9860 ~x6117 ~x11669 ~x2639 ~x7942 ~x824 ~x4355 x35 ~x9861 
399.44/400.68	v ~x6118 ~x11670 ~x2640 ~x7943 ~x823 x4356 x1484 ~x9862 ~x6119 ~x11671 
399.44/400.68	v ~x2641 ~x7944 ~x825 ~x4357 ~x1486 ~x9863 ~x6120 ~x11672 ~x2642 ~x7945 
399.44/400.68	v ~x827 ~x4358 ~x1513 ~x9864 ~x6121 ~x11673 ~x2643 ~x7946 ~x826 ~x4359 
399.44/400.68	v ~x1540 ~x9865 ~x6122 ~x11674 ~x2644 ~x7947 ~x828 ~x4360 ~x1567 ~x9866 
399.44/400.68	v ~x6123 ~x11675 ~x2645 ~x7948 ~x830 ~x4362 ~x1594 ~x9867 ~x6124 ~x11676 
399.44/400.68	v ~x2646 ~x7950 ~x829 ~x4363 ~x1621 ~x9868 ~x6125 ~x11677 ~x2647 ~x7951 
399.44/400.68	v ~x831 ~x4364 ~x1648 ~x9869 ~x6126 ~x11678 ~x2648 ~x7952 ~x833 ~x4365 
399.44/400.68	v ~x46 ~x9871 ~x6127 x11680 ~x2649 ~x7953 ~x832 ~x4366 ~x1675 ~x9872 
399.44/400.68	v ~x6129 ~x11681 ~x2650 ~x7955 ~x834 ~x4367 ~x49 ~x9873 ~x6131 ~x11682 
399.44/400.68	v ~x2651 ~x7956 ~x836 ~x4368 ~x1687 ~x9874 ~x6132 ~x11683 ~x2652 ~x7957 
399.44/400.68	v ~x835 ~x4369 x52 ~x9876 ~x6133 ~x11684 ~x2653 ~x7958 ~x837 ~x4370 
399.44/400.68	v ~x1699 ~x9877 ~x6134 ~x11685 ~x2655 ~x7959 ~x839 ~x4371 ~x55 ~x9878 
399.44/400.68	v ~x6135 ~x11686 ~x2656 ~x7960 ~x838 ~x4372 ~x1711 ~x9879 ~x6136 x11687 
399.44/400.68	v ~x2657 ~x7961 ~x840 ~x4373 ~x58 ~x9880 ~x6137 ~x11688 ~x2658 ~x7962 
399.44/400.68	v ~x842 ~x4374 ~x1723 ~x9881 ~x6138 ~x11689 ~x2659 ~x7963 ~x841 ~x4375 
399.44/400.68	v ~x61 ~x9882 ~x6139 ~x11690 ~x2660 ~x7964 ~x843 ~x4376 ~x1735 ~x9883 
399.44/400.68	v ~x6140 ~x11692 ~x2661 ~x7965 ~x845 ~x4377 ~x64 ~x9884 ~x6141 ~x11694 
399.44/400.68	v ~x2662 x7967 ~x844 ~x4378 ~x1747 ~x9885 ~x6142 ~x11695 ~x2663 ~x7968 
399.44/400.68	v ~x846 ~x4379 ~x67 ~x9886 ~x6143 ~x11696 ~x2664 ~x7969 ~x848 ~x4380 
399.44/400.68	v ~x1759 ~x9888 ~x6144 ~x11697 ~x2665 ~x7970 ~x847 ~x4381 ~x1771 ~x9889 
399.44/400.68	v ~x6145 ~x11698 ~x2666 x7972 ~x849 ~x4382 ~x72 ~x9890 ~x6146 ~x11699 
399.44/400.68	v ~x2667 ~x7973 ~x851 ~x4383 ~x1783 ~x9891 ~x6147 ~x11700 ~x2668 x7974 
399.44/400.68	v ~x850 ~x4384 ~x1795 ~x9893 ~x6148 ~x11701 ~x2669 ~x7975 ~x852 ~x4385 
399.44/400.68	v ~x77 ~x9894 ~x6149 ~x11702 ~x2670 ~x7976 ~x854 ~x4386 ~x1807 ~x9895 
399.44/400.68	v ~x6150 ~x11703 ~x2671 ~x7977 ~x853 ~x4387 ~x80 ~x9896 ~x6151 ~x11704 
399.44/400.68	v ~x2672 ~x7978 ~x855 ~x4388 ~x1819 ~x9897 ~x6152 ~x11706 ~x2673 ~x7979 
399.44/400.68	v ~x857 ~x4389 ~x83 ~x9898 ~x6153 ~x11708 ~x2674 ~x7980 ~x856 ~x4390 
399.44/400.68	v ~x1831 ~x9899 ~x6154 ~x11709 ~x2675 ~x7981 ~x858 ~x4391 ~x86 ~x9900 
399.44/400.68	v ~x6155 ~x11710 ~x2676 ~x7982 ~x860 ~x4392 ~x1843 ~x9901 ~x6156 ~x11711 
399.44/400.68	v ~x2677 ~x7984 ~x859 ~x4393 ~x89 ~x9902 ~x6158 ~x11712 ~x2678 ~x7985 
399.44/400.68	v ~x861 ~x4394 ~x1855 ~x9903 ~x6160 ~x11713 ~x2679 ~x7986 ~x863 ~x4395 
399.44/400.68	v ~x92 ~x9905 ~x6161 ~x11714 ~x2680 ~x7987 ~x862 ~x4396 ~x1867 ~x9906 
399.44/400.68	v ~x6162 ~x11715 ~x2681 ~x7989 ~x864 ~x4397 ~x1879 ~x9907 ~x6163 ~x11716 
399.44/400.68	v ~x2682 ~x7990 ~x866 ~x4398 ~x97 ~x9908 ~x6164 ~x11717 ~x2683 ~x7991 
399.44/400.68	v ~x865 ~x4399 ~x1891 ~x9910 ~x6165 ~x11718 ~x2684 ~x7992 ~x867 ~x4400 
399.44/400.68	v ~x1903 ~x9911 ~x6166 ~x11720 ~x2685 ~x7993 ~x869 ~x4401 ~x102 ~x9912 
399.44/400.68	v ~x6167 ~x11722 ~x2686 ~x7994 ~x868 ~x4402 ~x1915 ~x9913 ~x6168 ~x11723 
399.44/400.68	v ~x2687 ~x7995 ~x870 ~x4403 ~x1927 ~x9914 ~x6169 ~x11724 ~x2688 ~x7996 
399.44/400.68	v ~x872 ~x4404 ~x1929 ~x9915 ~x6170 ~x11725 ~x2689 ~x7997 ~x871 ~x4405 
399.44/400.68	v ~x1934 ~x9916 ~x6171 ~x11726 ~x2690 ~x7998 ~x873 ~x4406 ~x1936 ~x9917 
399.44/400.68	v ~x6172 ~x11727 ~x2691 ~x7999 ~x875 ~x4407 ~x1941 ~x9918 ~x6173 ~x11728 
399.44/400.68	v ~x2692 ~x8001 ~x874 ~x4408 ~x1943 ~x9919 ~x6174 ~x11729 ~x2693 ~x8002 
399.44/400.68	v ~x876 ~x4409 ~x1948 ~x9920 ~x6175 ~x11730 ~x2694 ~x8003 ~x878 ~x4410 
399.44/400.68	v ~x1950 ~x9922 ~x6176 ~x11731 ~x2695 ~x8004 ~x877 ~x4411 ~x1955 ~x9923 
399.44/400.68	v ~x6177 ~x11732 ~x2696 ~x8006 ~x879 ~x4412 ~x1957 ~x9924 ~x6178 ~x11734 
399.44/400.68	v ~x2697 ~x8007 ~x881 ~x4413 ~x1962 ~x9925 ~x6179 ~x11736 ~x2698 ~x8008 
399.44/400.68	v ~x880 ~x4414 ~x1964 ~x9926 ~x6180 ~x11737 ~x2699 ~x8009 ~x882 ~x4415 
399.44/400.68	v ~x1969 ~x9927 ~x6181 ~x11738 ~x2700 ~x8010 ~x884 ~x4416 ~x1971 ~x9928 
399.44/400.68	v ~x6182 ~x11739 ~x2701 ~x8011 ~x883 ~x4417 ~x1976 ~x9929 ~x6183 ~x11740 
399.44/400.68	v ~x2702 ~x8012 ~x885 ~x4418 ~x1978 ~x9930 ~x6184 ~x11741 ~x2703 ~x8013 
399.44/400.68	v ~x887 ~x4420 ~x1983 ~x9931 ~x6185 ~x11742 ~x2704 ~x8014 ~x886 ~x4421 
399.44/400.68	v ~x1985 ~x9932 ~x6187 ~x11743 ~x2705 ~x8015 ~x888 ~x4422 ~x1990 ~x9933 
399.44/400.68	v ~x6189 ~x11744 ~x2706 ~x8016 ~x890 ~x4423 ~x1992 ~x9934 ~x6190 ~x11745 
399.44/400.68	v ~x2707 ~x8018 ~x889 ~x4424 x1997 ~x9935 ~x6191 ~x11746 ~x2708 ~x8019 
399.44/400.68	v ~x891 ~x4425 ~x1999 ~x9936 ~x6192 ~x11748 ~x2709 ~x8020 ~x893 ~x4426 
399.44/400.68	v ~x2004 ~x9937 ~x6193 ~x11750 ~x2710 ~x8021 ~x892 ~x4427 ~x2006 ~x9938 
399.44/400.68	v ~x6194 ~x11751 ~x2711 ~x8023 ~x894 ~x4428 ~x2011 ~x9939 ~x6195 ~x11752 
399.44/400.68	v ~x2712 ~x8024 ~x896 ~x4429 ~x2013 ~x9940 ~x6196 ~x11753 ~x2713 ~x8025 
399.44/400.68	v ~x895 ~x4430 ~x2018 ~x9941 ~x6197 ~x11754 ~x2714 ~x8026 ~x897 ~x4431 
399.44/400.68	v ~x2020 ~x9942 ~x6198 ~x11755 ~x2715 ~x8027 ~x899 ~x4432 ~x2025 ~x9943 
399.44/400.68	v ~x6199 ~x11756 ~x2716 ~x8028 ~x898 ~x4433 ~x2027 ~x9944 ~x6200 ~x11757 
399.44/400.68	v ~x2717 ~x8029 ~x900 ~x4434 ~x2032 ~x9945 ~x6201 ~x11758 ~x2718 ~x8030 
399.44/400.68	v ~x902 ~x4435 ~x2034 ~x9946 ~x6202 ~x11759 ~x2719 ~x8031 ~x901 ~x4436 
399.44/400.68	v ~x2039 ~x9947 ~x6203 ~x11760 ~x2720 ~x8032 ~x903 ~x4437 ~x2041 ~x9948 
399.44/400.68	v ~x6204 ~x11762 ~x2721 ~x8033 ~x905 ~x4438 ~x2046 ~x9949 ~x6205 ~x11764 
399.44/400.68	v ~x2722 x8035 ~x904 ~x4439 ~x2048 ~x9950 ~x6206 ~x11765 ~x2723 ~x8036 
399.44/400.68	v ~x906 ~x4440 ~x2053 ~x9951 ~x6207 ~x11766 ~x2724 ~x8037 ~x908 ~x4441 
399.44/400.68	v ~x2055 ~x9952 ~x6208 ~x11767 ~x2725 

OK	21

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: 63665 MiB (61333 MiB free)
  memory of node 1: 64507 MiB (63507 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497511-1751393750/watcher-4497511-1751393750 -o /tmp/evaluation-result-4497511-1751393750/solver-4497511-1751393750 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751393420-59616 --watchdog 3760 pb_picat HOME/instance-4497511-1751393750.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=59868, runsolver pid=59865
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.06 3.62 4.13 5/264 59869
/proc/meminfo: memFree=127817368/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2027148 memory=36524 CPUtime=0.08 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 1121 0 0 0 8 0 0 0 20 0 1 0 55055284 2075799552 9131 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 506787 9131 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36524 KiB

[startup+0.205481 s]*
/proc/loadavg: 4.06 3.62 4.13 5/264 59869
/proc/meminfo: memFree=127800984/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2027148 memory=52964 CPUtime=0.2 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 1144 0 0 0 19 1 0 0 20 0 1 0 55055284 2075799552 13241 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 506787 13241 1536 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 52964 KiB

[startup+0.305372 s]*
/proc/loadavg: 4.06 3.62 4.13 5/264 59869
/proc/meminfo: memFree=127784600/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2027148 memory=71460 CPUtime=0.29 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 1167 0 0 0 28 1 0 0 20 0 1 0 55055284 2075799552 17865 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 506787 17865 1536 343 0 503851 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 71460 KiB

[startup+0.700163 s]
/proc/loadavg: 4.06 3.62 4.13 5/264 59869
/proc/meminfo: memFree=127760024/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2044972 memory=101340 CPUtime=0.68 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 4413 0 0 0 66 2 0 0 20 0 1 0 55055284 2094051328 25335 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 511243 25335 1728 343 0 508307 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2044972 KiB
Current children cumulated memory: 101340 KiB

[startup+1.50017 s]
/proc/loadavg: 4.06 3.62 4.13 5/264 59869
/proc/meminfo: memFree=127760028/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2046876 memory=103636 CPUtime=1.48 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 7437 0 0 0 145 3 0 0 20 0 1 0 55055284 2096001024 25909 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 511719 25909 1728 343 0 508783 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2046876 KiB
Current children cumulated memory: 103636 KiB

[startup+3.10541 s]
/proc/loadavg: 4.06 3.62 4.13 5/264 59869
/proc/meminfo: memFree=127751088/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2058140 memory=113652 CPUtime=3.08 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 8446 0 0 0 304 4 0 0 20 0 1 0 55055284 2107535360 28413 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 514535 28413 1728 343 0 511599 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2058140 KiB
Current children cumulated memory: 113652 KiB

[startup+6.30015 s]
/proc/loadavg: 4.06 3.62 4.13 5/264 59869
/proc/meminfo: memFree=127747164/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2065880 memory=119748 CPUtime=6.27 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 10770 0 0 0 622 5 0 0 20 0 1 0 55055284 2115461120 29937 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 516470 29937 1728 343 0 513534 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2065880 KiB
Current children cumulated memory: 119748 KiB

[startup+12.7001 s]
/proc/loadavg: 4.05 3.63 4.13 5/264 59869
/proc/meminfo: memFree=127743068/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2065880 memory=121800 CPUtime=12.65 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 10801 0 0 0 1260 5 0 0 20 0 1 0 55055284 2115461120 30450 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 516470 30450 1728 343 0 513534 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2065880 KiB
Current children cumulated memory: 121800 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 3.66 4.13 5/264 59869
/proc/meminfo: memFree=127733452/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2074076 memory=129476 CPUtime=25.42 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 13329 0 0 0 2536 6 0 0 20 0 1 0 55055284 2123853824 32369 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 518519 32369 1728 343 0 515583 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2074076 KiB
Current children cumulated memory: 129476 KiB

[startup+51.1053 s]
/proc/loadavg: 4.08 3.69 4.13 5/264 59870
/proc/meminfo: memFree=127733824/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2074076 memory=129924 CPUtime=50.95 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 17740 0 0 0 5087 8 0 0 20 0 1 0 55055284 2123853824 32481 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 518519 32481 1728 343 0 515583 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2074076 KiB
Current children cumulated memory: 129924 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 3.76 4.12 5/264 59872
/proc/meminfo: memFree=127734168/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2082268 memory=137736 CPUtime=102 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 24324 0 0 0 10188 12 0 0 20 0 1 0 55055284 2132242432 34434 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 520567 34434 1728 343 0 517631 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2082268 KiB
Current children cumulated memory: 137736 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 3.82 4.12 5/264 59874
/proc/meminfo: memFree=127756268/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2082856 memory=131512 CPUtime=161.82 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 28778 0 0 0 16169 13 0 0 20 0 1 0 55055284 2132844544 32878 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 520714 32878 1728 343 0 517778 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2082856 KiB
Current children cumulated memory: 131512 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.87 4.11 5/264 59878
/proc/meminfo: memFree=127718292/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2059168 memory=114404 CPUtime=221.66 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 29935 0 0 0 22151 15 0 0 20 0 1 0 55055284 2108588032 28601 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 514792 28601 1728 343 0 511856 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 2059168 KiB
Current children cumulated memory: 114404 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 3.93 4.11 5/265 59884
/proc/meminfo: memFree=127717584/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2083744 memory=125264 CPUtime=281.48 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 38188 0 0 0 28129 19 0 0 20 0 1 0 55055284 2133753856 31316 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 520936 31316 1728 343 0 518000 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 2083744 KiB
Current children cumulated memory: 125264 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 3.96 4.10 5/265 59886
/proc/meminfo: memFree=127721308/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2084000 memory=122556 CPUtime=341.3 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 45411 0 0 0 34106 24 0 0 20 0 1 0 55055284 2134016000 30639 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 521000 30639 1728 343 0 518064 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 2084000 KiB
Current children cumulated memory: 122556 KiB

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

# cumulated CPU time of all completed processes:  user=399.23 s, system=0.301998 s

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

[startup+358.4 s]
/proc/loadavg: 4.08 3.96 4.10 5/265 59887
/proc/meminfo: memFree=127721348/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2084000 memory=126652 CPUtime=357.35 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 46669 0 0 0 35710 25 0 0 20 0 1 0 55055284 2134016000 31663 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 521000 31663 1728 343 0 518064 0
Current children cumulated CPU time: 357.35 s
Current children cumulated vsize: 2084000 KiB
Current children cumulated memory: 126652 KiB

[startup+384 s]*
/proc/loadavg: 4.11 3.98 4.10 5/265 59888
/proc/meminfo: memFree=127698176/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2084000 memory=131588 CPUtime=382.89 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 49400 0 0 0 38261 28 0 0 20 0 1 0 55055284 2134016000 32897 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 521000 32897 1728 343 0 518064 0
Current children cumulated CPU time: 382.89 s
Current children cumulated vsize: 2084000 KiB
Current children cumulated memory: 131588 KiB

[startup+390.4 s]
/proc/loadavg: 4.10 3.98 4.10 5/265 59888
/proc/meminfo: memFree=127689984/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2075808 memory=125036 CPUtime=389.26 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 49925 0 0 0 38898 28 0 0 20 0 1 0 55055284 2125627392 31259 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 518952 31259 1728 343 0 516016 0
Current children cumulated CPU time: 389.26 s
Current children cumulated vsize: 2075808 KiB
Current children cumulated memory: 125036 KiB

[startup+396.8 s]
/proc/loadavg: 4.10 3.98 4.10 5/265 59888
/proc/meminfo: memFree=127697428/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2067612 memory=125032 CPUtime=395.65 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 50066 0 0 0 39536 29 0 0 20 0 1 0 55055284 2117234688 31258 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 516903 31258 1728 343 0 513967 0
Current children cumulated CPU time: 395.65 s
Current children cumulated vsize: 2067612 KiB
Current children cumulated memory: 125032 KiB

[startup+398.4 s]
/proc/loadavg: 4.09 3.98 4.10 5/265 59888
/proc/meminfo: memFree=127689236/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2082856 memory=133224 CPUtime=397.24 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 50581 0 0 0 39695 29 0 0 20 0 1 0 55055284 2132844544 33306 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 520714 33306 1728 343 0 517778 0
Current children cumulated CPU time: 397.24 s
Current children cumulated vsize: 2082856 KiB
Current children cumulated memory: 133224 KiB

[startup+400 s]*
/proc/loadavg: 4.09 3.98 4.10 5/265 59888
/proc/meminfo: memFree=127697496/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2082856 memory=133224 CPUtime=398.84 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 50581 0 0 0 39855 29 0 0 20 0 1 0 55055284 2132844544 33306 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 520714 33306 1728 343 0 517778 0
Current children cumulated CPU time: 398.84 s
Current children cumulated vsize: 2082856 KiB
Current children cumulated memory: 133224 KiB

[startup+400.4 s]
/proc/loadavg: 4.09 3.98 4.10 5/265 59888
/proc/meminfo: memFree=127697496/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2082856 memory=133224 CPUtime=399.24 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 50581 0 0 0 39895 29 0 0 20 0 1 0 55055284 2132844544 33306 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 520714 33306 1728 343 0 517778 0
Current children cumulated CPU time: 399.24 s
Current children cumulated vsize: 2082856 KiB
Current children cumulated memory: 133224 KiB

[startup+400.6 s]
/proc/loadavg: 4.09 3.98 4.10 5/265 59888
/proc/meminfo: memFree=127697496/131250000 swapFree=33010684/33010684
[pid=59868] ppid=59865 vsize=2082856 memory=133224 CPUtime=399.44 cores=0,2
/proc/59868/stat : 59868 (pb_picat) R 59865 59868 59606 0 -1 4194304 50581 0 0 0 39915 29 0 0 20 0 1 0 55055284 2132844544 33306 18446744073709551615 94615779848192 94615781249773 140732055533616 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94615781521200 94615783395504 94615815471104 140732055542174 140732055542250 140732055542250 140732055547852 0
/proc/59868/statm: 520714 33306 1728 343 0 517778 0
Current children cumulated CPU time: 399.44 s
Current children cumulated vsize: 2082856 KiB
Current children cumulated memory: 133224 KiB

Child status: 0

Real time (s): 400.688
CPU time (s): 399.532
CPU user time (s): 399.23
CPU system time (s): 0.301998
CPU usage (%): 99.7116
Max. virtual memory (cumulated for all children) (KiB): 2115628
Max. memory (cumulated for all children) (KiB): 150356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 399.23
system time used= 0.301998
maximum resident set size= 150356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50586
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= 522


# summary of solver processes directly reported to runsolver:
#   pid: 59868
#   total CPU time (s): 399.532
#   total CPU user time (s): 399.23
#   total CPU system time (s): 0.301998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.768836 second user time and 1.72318 second system time

The end

Begin job on nodeC013 at 2025-07-01 20:15:50
IDJOB=4497511
IDBENCH=148187
IDSOLVER=3346
FILE ID=nodeC013/4497511-1751393750
RUNJOBID= nodeC013-1751393420-59616
SLURM_JOB_ID= 9598258
Free space on /tmp= 433028 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497511-1751393750/watcher-4497511-1751393750 -o /tmp/evaluation-result-4497511-1751393750/solver-4497511-1751393750 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751393420-59616 --watchdog 3760  pb_picat HOME/instance-4497511-1751393750.opb

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

MD5SUM BENCH= e3f6e03fc0c8fc921c0242da7dc19bcf
RANDOM SEED=1284067367

nodeC013 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		: 3599.818
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.67
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.835
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.67
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		: 3598.460
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.67
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		: 3522.194
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.67
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.834
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.67
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.838
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.67
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		: 3624.489
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.67
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		: 3600.184
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127837840 kB
MemAvailable:   128011380 kB
Buffers:            3280 kB
Cached:           973816 kB
SwapCached:            0 kB
Active:          2076624 kB
Inactive:         729520 kB
Active(anon):    1842332 kB
Inactive(anon):        0 kB
Active(file):     234292 kB
Inactive(file):   729520 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5188 kB
Writeback:             0 kB
AnonPages:       1828980 kB
Mapped:           109372 kB
Shmem:             13284 kB
KReclaimable:      97536 kB
Slab:             185068 kB
SReclaimable:      97536 kB
SUnreclaim:        87532 kB
KernelStack:        4288 kB
PageTables:         6668 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7089196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1615872 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC013 at 2025-07-01 20:22:31