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

OK	67

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (61537 MiB free)
  memory of node 1: 64465 MiB (62670 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508225-1751487946/watcher-4508225-1751487946 -o /tmp/evaluation-result-4508225-1751487946/solver-4508225-1751487946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751480579-62273 --watchdog 3760 pb_picat HOME/instance-4508225-1751487946.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=63253, runsolver pid=63250

[startup+0.100062 s]*
/proc/loadavg: 4.13 4.12 4.09 5/265 63254
/proc/meminfo: memFree=127168696/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2027148 memory=36576 CPUtime=0.09 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 1137 0 0 0 9 0 0 0 20 0 1 0 64472159 2075799552 9144 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 506787 9144 1536 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36576 KiB

[startup+0.205568 s]*
/proc/loadavg: 4.13 4.12 4.09 5/265 63254
/proc/meminfo: memFree=127156408/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2027148 memory=55012 CPUtime=0.2 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 1147 0 0 0 19 1 0 0 20 0 1 0 64472159 2075799552 13753 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 506787 13753 1536 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 55012 KiB

[startup+0.305489 s]*
/proc/loadavg: 4.13 4.12 4.09 5/265 63254
/proc/meminfo: memFree=127135956/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2034964 memory=78188 CPUtime=0.29 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 1291 0 0 0 28 1 0 0 20 0 1 0 64472159 2083803136 19547 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 508741 19547 1568 343 0 505805 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 78188 KiB

[startup+0.700167 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 63254
/proc/meminfo: memFree=127117524/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2050544 memory=118512 CPUtime=0.69 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 4931 0 0 0 63 6 0 0 20 0 1 0 64472159 2099757056 29628 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 512636 29628 1696 343 0 509700 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2050544 KiB
Current children cumulated memory: 118512 KiB

[startup+1.50017 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 63254
/proc/meminfo: memFree=127088980/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2081632 memory=148360 CPUtime=1.48 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 11133 0 0 0 139 9 0 0 20 0 1 0 64472159 2131591168 37090 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 520408 37090 1696 343 0 517472 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2081632 KiB
Current children cumulated memory: 148360 KiB

[startup+3.10543 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 63254
/proc/meminfo: memFree=127075616/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2099804 memory=158772 CPUtime=3.08 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 14749 0 0 0 298 10 0 0 20 0 1 0 64472159 2150199296 39693 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 524951 39693 1696 343 0 522015 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2099804 KiB
Current children cumulated memory: 158772 KiB

[startup+6.30016 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 63254
/proc/meminfo: memFree=127083896/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2101864 memory=156924 CPUtime=6.26 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 21491 0 0 0 614 12 0 0 20 0 1 0 64472159 2152308736 39231 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 525466 39231 1696 343 0 522530 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2101864 KiB
Current children cumulated memory: 156924 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 63254
/proc/meminfo: memFree=127079960/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2098988 memory=159468 CPUtime=12.66 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 27664 0 0 0 1251 15 0 0 20 0 1 0 64472159 2149363712 39867 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 524747 39867 1696 343 0 521811 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2098988 KiB
Current children cumulated memory: 159468 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 63254
/proc/meminfo: memFree=127092828/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2098712 memory=157228 CPUtime=25.41 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 37652 0 0 0 2523 18 0 0 20 0 1 0 64472159 2149081088 39307 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 524678 39307 1696 343 0 521742 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2098712 KiB
Current children cumulated memory: 157228 KiB

[startup+51.1056 s]
/proc/loadavg: 4.05 4.10 4.09 5/265 63254
/proc/meminfo: memFree=127061648/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2102340 memory=168968 CPUtime=50.95 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 71167 0 0 0 5045 50 0 0 20 0 1 0 64472159 2152796160 42242 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 525585 42242 1696 343 0 522649 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2102340 KiB
Current children cumulated memory: 168968 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 63301
/proc/meminfo: memFree=127267164/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2118676 memory=181272 CPUtime=102.01 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 136814 0 0 0 10099 102 0 0 20 0 1 0 64472159 2169524224 45318 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 529669 45318 1696 343 0 526733 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 2118676 KiB
Current children cumulated memory: 181272 KiB

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

# cumulated CPU time of all completed processes:  user=152.839 s, system=1.32722 s

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

[startup+102.4 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 63301
/proc/meminfo: memFree=127267164/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2118676 memory=181272 CPUtime=102.11 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 136814 0 0 0 10109 102 0 0 20 0 1 0 64472159 2169524224 45318 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 529669 45318 1696 343 0 526733 0
Current children cumulated CPU time: 102.11 s
Current children cumulated vsize: 2118676 KiB
Current children cumulated memory: 181272 KiB

[startup+128 s]*
/proc/loadavg: 4.10 4.10 4.09 5/265 63302
/proc/meminfo: memFree=127276044/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2102292 memory=174232 CPUtime=127.65 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 169865 0 0 0 12639 126 0 0 20 0 1 0 64472159 2152747008 43558 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 525573 43558 1696 343 0 522637 0
Current children cumulated CPU time: 127.65 s
Current children cumulated vsize: 2102292 KiB
Current children cumulated memory: 174232 KiB

[startup+140.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 63302
/proc/meminfo: memFree=127277856/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2118676 memory=179224 CPUtime=140.41 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 180162 0 0 0 13911 130 0 0 20 0 1 0 64472159 2169524224 44806 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 529669 44806 1696 343 0 526733 0
Current children cumulated CPU time: 140.41 s
Current children cumulated vsize: 2118676 KiB
Current children cumulated memory: 179224 KiB

[startup+147.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 63302
/proc/meminfo: memFree=127266308/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2118676 memory=179224 CPUtime=146.79 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 181807 0 0 0 14548 131 0 0 20 0 1 0 64472159 2169524224 44806 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 529669 44806 1696 343 0 526733 0
Current children cumulated CPU time: 146.79 s
Current children cumulated vsize: 2118676 KiB
Current children cumulated memory: 179224 KiB

[startup+150.4 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 63302
/proc/meminfo: memFree=127276548/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2118676 memory=179224 CPUtime=149.98 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 181807 0 0 0 14867 131 0 0 20 0 1 0 64472159 2169524224 44806 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 529669 44806 1696 343 0 526733 0
Current children cumulated CPU time: 149.98 s
Current children cumulated vsize: 2118676 KiB
Current children cumulated memory: 179224 KiB

[startup+152 s]*
/proc/loadavg: 4.07 4.09 4.09 5/265 63302
/proc/meminfo: memFree=127272452/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2090004 memory=161408 CPUtime=151.58 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 182079 0 0 0 15027 131 0 0 20 0 1 0 64472159 2140164096 40352 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 522501 40352 1696 343 0 519565 0
Current children cumulated CPU time: 151.58 s
Current children cumulated vsize: 2090004 KiB
Current children cumulated memory: 161408 KiB

[startup+153.6 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 63307
/proc/meminfo: memFree=127272960/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2102292 memory=173464 CPUtime=153.17 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 183657 0 0 0 15186 131 0 0 20 0 1 0 64472159 2152747008 43366 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 525573 43366 1696 343 0 522637 0
Current children cumulated CPU time: 153.17 s
Current children cumulated vsize: 2102292 KiB
Current children cumulated memory: 173464 KiB

[startup+154 s]*
/proc/loadavg: 4.07 4.09 4.09 5/265 63307
/proc/meminfo: memFree=127272960/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2118676 memory=174616 CPUtime=153.57 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 183971 0 0 0 15226 131 0 0 20 0 1 0 64472159 2169524224 43654 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 529669 43654 1696 343 0 526733 0
Current children cumulated CPU time: 153.57 s
Current children cumulated vsize: 2118676 KiB
Current children cumulated memory: 174616 KiB

[startup+154.4 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 63307
/proc/meminfo: memFree=127272960/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2118676 memory=175000 CPUtime=153.96 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 184049 0 0 0 15265 131 0 0 20 0 1 0 64472159 2169524224 43750 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 529669 43750 1696 343 0 526733 0
Current children cumulated CPU time: 153.96 s
Current children cumulated vsize: 2118676 KiB
Current children cumulated memory: 175000 KiB

[startup+154.5 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 63307
/proc/meminfo: memFree=127272960/131250000 swapFree=33007332/33010684
[pid=63253] ppid=63250 vsize=2118676 memory=177176 CPUtime=154.06 cores=5,7
/proc/63253/stat : 63253 (pb_picat) R 63250 63253 62260 0 -1 4194304 184070 0 0 0 15275 131 0 0 20 0 1 0 64472159 2169524224 44294 18446744073709551615 94009077538816 94009078940397 140737461399120 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94009079211824 94009081086128 94009094762496 140737461402014 140737461402090 140737461402090 140737461407692 0
/proc/63253/statm: 529669 44294 1696 343 0 526733 0
Current children cumulated CPU time: 154.06 s
Current children cumulated vsize: 2118676 KiB
Current children cumulated memory: 177176 KiB

Child status: 0

Real time (s): 154.59
CPU time (s): 154.166
CPU user time (s): 152.839
CPU system time (s): 1.32722
CPU usage (%): 99.7261
Max. virtual memory (cumulated for all children) (KiB): 2118996
Max. memory (cumulated for all children) (KiB): 187736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 152.839
system time used= 1.32722
maximum resident set size= 187736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184099
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= 230


# summary of solver processes directly reported to runsolver:
#   pid: 63253
#   total CPU time (s): 154.166
#   total CPU user time (s): 152.839
#   total CPU system time (s): 1.32722

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.283558 second user time and 0.721362 second system time

The end

Begin job on nodeC019 at 2025-07-02 22:25:47
IDJOB=4508225
IDBENCH=158399
IDSOLVER=3346
FILE ID=nodeC019/4508225-1751487946
RUNJOBID= nodeC019-1751480579-62273
SLURM_JOB_ID= 9598523
Free space on /tmp= 431708 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jun6.5.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508225-1751487946/watcher-4508225-1751487946 -o /tmp/evaluation-result-4508225-1751487946/solver-4508225-1751487946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751480579-62273 --watchdog 3760  pb_picat HOME/instance-4508225-1751487946.opb

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

MD5SUM BENCH= 8b8ffe124a719c4149f2b27dc4b38cf4
RANDOM SEED=1299819978

nodeC019 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.693
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.37
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.674
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.37
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		: 3600.991
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.37
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		: 3599.200
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.37
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.668
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.37
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.680
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.057
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.37
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		: 3597.509
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127189192 kB
MemAvailable:   128549468 kB
Buffers:             904 kB
Cached:          2164408 kB
SwapCached:          440 kB
Active:          1426088 kB
Inactive:        2020172 kB
Active(anon):    1268368 kB
Inactive(anon):    27772 kB
Active(file):     157720 kB
Inactive(file):  1992400 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33007332 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              9840 kB
Writeback:             0 kB
AnonPages:       1278504 kB
Mapped:           113816 kB
Shmem:             15192 kB
KReclaimable:      98792 kB
Slab:             186480 kB
SReclaimable:      98792 kB
SUnreclaim:        87688 kB
KernelStack:        4320 kB
PageTables:         5552 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6862468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1124352 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431708 MiB
End job on nodeC019 at 2025-07-02 22:28:21