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

OK	46877

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436387-1721111304/watcher-4436387-1721111304 -o /tmp/evaluation-result-4436387-1721111304/solver-4436387-1721111304 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721105558-879433 --watchdog 3760 pb_picat HOME/instance-4436387-1721111304.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100088 s]*
/proc/loadavg: 4.19 4.12 4.10 5/260 883615
/proc/meminfo: memFree=126128120/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2041424 memory=45088 CPUtime=0.1 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 1186 0 0 0 9 1 0 0 20 0 1 0 163298482 2090418176 11272 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 510356 11272 1554 439 0 505785 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 45088 KiB

[startup+0.205519 s]*
/proc/loadavg: 4.19 4.12 4.10 5/260 883615
/proc/meminfo: memFree=126115636/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2041424 memory=55328 CPUtime=0.2 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 1191 0 0 0 19 1 0 0 20 0 1 0 163298482 2090418176 13832 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 510356 13832 1554 439 0 505785 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 55328 KiB

[startup+0.305491 s]*
/proc/loadavg: 4.19 4.12 4.10 5/260 883615
/proc/meminfo: memFree=126086080/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2051668 memory=85952 CPUtime=0.3 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 3407 0 0 0 28 2 0 0 20 0 1 0 163298482 2100908032 21488 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 512917 21488 1680 439 0 508346 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2051668 KiB
Current children cumulated memory: 85952 KiB

[startup+0.700178 s]
/proc/loadavg: 4.19 4.12 4.10 5/260 883615
/proc/meminfo: memFree=126066044/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2080276 memory=105616 CPUtime=0.69 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 7055 0 0 0 65 4 0 0 20 0 1 0 163298482 2130202624 26404 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 520069 26404 1728 439 0 515498 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2080276 KiB
Current children cumulated memory: 105616 KiB

[startup+1.50018 s]
/proc/loadavg: 4.19 4.12 4.10 5/260 883615
/proc/meminfo: memFree=126062352/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2086164 memory=113436 CPUtime=1.49 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 8162 0 0 0 141 8 0 0 20 0 1 0 163298482 2136231936 28359 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 521541 28359 1728 439 0 516970 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2086164 KiB
Current children cumulated memory: 113436 KiB

[startup+3.10536 s]
/proc/loadavg: 4.18 4.12 4.10 5/260 883615
/proc/meminfo: memFree=126051296/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2091100 memory=119812 CPUtime=3.09 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 12675 0 0 0 292 17 0 0 20 0 1 0 163298482 2141286400 29953 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 522775 29953 1728 439 0 518204 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2091100 KiB
Current children cumulated memory: 119812 KiB

[startup+6.30017 s]
/proc/loadavg: 4.18 4.12 4.10 5/260 883615
/proc/meminfo: memFree=126038604/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2123872 memory=145704 CPUtime=6.27 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 16676 0 0 0 606 21 0 0 20 0 1 0 163298482 2174844928 36426 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 530968 36426 1728 439 0 526397 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2123872 KiB
Current children cumulated memory: 145704 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.11 4.09 5/260 883617
/proc/meminfo: memFree=126039340/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2107488 memory=144132 CPUtime=12.66 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 24556 0 0 0 1242 24 0 0 20 0 1 0 163298482 2158067712 36033 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 526872 36033 1728 439 0 522301 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2107488 KiB
Current children cumulated memory: 144132 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 883618
/proc/meminfo: memFree=126021496/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2107520 memory=144168 CPUtime=25.44 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 37957 0 0 0 2509 35 0 0 20 0 1 0 163298482 2158100480 36042 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 526880 36042 1728 439 0 522309 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 2107520 KiB
Current children cumulated memory: 144168 KiB

[startup+51.1054 s]
/proc/loadavg: 4.16 4.12 4.09 5/260 883623
/proc/meminfo: memFree=125998888/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2132080 memory=157800 CPUtime=50.98 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 67536 0 0 0 5013 85 0 0 20 0 1 0 163298482 2183249920 39450 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 533020 39450 1728 439 0 528449 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 2132080 KiB
Current children cumulated memory: 157800 KiB

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

# cumulated CPU time of all completed processes:  user=84.8283 s, system=1.5818 s

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

[startup+51.2002 s]
/proc/loadavg: 4.16 4.12 4.09 5/260 883623
/proc/meminfo: memFree=125998888/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2132080 memory=157800 CPUtime=51.07 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 67536 0 0 0 5022 85 0 0 20 0 1 0 163298482 2183249920 39450 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 533020 39450 1728 439 0 528449 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 2132080 KiB
Current children cumulated memory: 157800 KiB

[startup+64.0002 s]*
/proc/loadavg: 4.12 4.11 4.09 5/260 883625
/proc/meminfo: memFree=126047368/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2101996 memory=124780 CPUtime=63.86 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 84570 0 0 0 6276 110 0 0 20 0 1 0 163298482 2152443904 31195 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 525499 31195 1728 439 0 520928 0
Current children cumulated CPU time: 63.86 s
Current children cumulated vsize: 2101996 KiB
Current children cumulated memory: 124780 KiB

[startup+76.8002 s]
/proc/loadavg: 4.10 4.11 4.09 5/260 883627
/proc/meminfo: memFree=126049176/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2132720 memory=155976 CPUtime=76.62 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 96055 0 0 0 7525 137 0 0 20 0 1 0 163298482 2183905280 38994 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 533180 38994 1728 439 0 528609 0
Current children cumulated CPU time: 76.62 s
Current children cumulated vsize: 2132720 KiB
Current children cumulated memory: 155976 KiB

[startup+83.2002 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 883628
/proc/meminfo: memFree=126059388/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2083564 memory=113700 CPUtime=83.01 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 104443 0 0 0 8152 149 0 0 20 0 1 0 163298482 2133569536 28425 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 520891 28425 1728 439 0 516320 0
Current children cumulated CPU time: 83.01 s
Current children cumulated vsize: 2083564 KiB
Current children cumulated memory: 113700 KiB

[startup+84.8001 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 883628
/proc/meminfo: memFree=126034668/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2099948 memory=131108 CPUtime=84.6 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 104729 0 0 0 8305 155 0 0 20 0 1 0 163298482 2150346752 32777 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 524987 32777 1728 439 0 520416 0
Current children cumulated CPU time: 84.6 s
Current children cumulated vsize: 2099948 KiB
Current children cumulated memory: 131108 KiB

[startup+85.6002 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 883628
/proc/meminfo: memFree=126023904/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2116336 memory=147772 CPUtime=85.4 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 106060 0 0 0 8384 156 0 0 20 0 1 0 163298482 2167128064 36943 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 529084 36943 1728 439 0 524513 0
Current children cumulated CPU time: 85.4 s
Current children cumulated vsize: 2116336 KiB
Current children cumulated memory: 147772 KiB

[startup+86.0002 s]*
/proc/loadavg: 4.08 4.10 4.09 5/260 883628
/proc/meminfo: memFree=126000696/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2132720 memory=151656 CPUtime=85.81 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 106535 0 0 0 8425 156 0 0 20 0 1 0 163298482 2183905280 37914 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 533180 37914 1728 439 0 528609 0
Current children cumulated CPU time: 85.81 s
Current children cumulated vsize: 2132720 KiB
Current children cumulated memory: 151656 KiB

[startup+86.4002 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 883628
/proc/meminfo: memFree=126000696/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2132720 memory=155752 CPUtime=86.2 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 106575 0 0 0 8464 156 0 0 20 0 1 0 163298482 2183905280 38938 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 533180 38938 1728 439 0 528609 0
Current children cumulated CPU time: 86.2 s
Current children cumulated vsize: 2132720 KiB
Current children cumulated memory: 155752 KiB

[startup+86.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 883628
/proc/meminfo: memFree=126000696/131524600 swapFree=131071996/131071996
[pid=883614] ppid=883611 vsize=2132720 memory=155752 CPUtime=86.3 cores=4,6
/proc/883614/stat : 883614 (pb_picat) R 883611 883614 879422 0 -1 4194304 106575 0 0 0 8474 156 0 0 20 0 1 0 163298482 2183905280 38938 134679101440 4194304 5989780 140734187585376 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 8089048 9894864 33939456 140734187586585 140734187586661 140734187586661 140734187593676 0
/proc/883614/statm: 533180 38938 1728 439 0 528609 0
Current children cumulated CPU time: 86.3 s
Current children cumulated vsize: 2132720 KiB
Current children cumulated memory: 155752 KiB

Child status: 0

Real time (s): 86.5972
CPU time (s): 86.4101
CPU user time (s): 84.8283
CPU system time (s): 1.5818
CPU usage (%): 99.7839
Max. virtual memory (cumulated for all children) (KiB): 2138736
Max. memory (cumulated for all children) (KiB): 161988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.8283
system time used= 1.5818
maximum resident set size= 161988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106579
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 113


# summary of solver processes directly reported to runsolver:
#   pid: 883614
#   total CPU time (s): 86.4101
#   total CPU user time (s): 84.8283
#   total CPU system time (s): 1.5818

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.147932 second user time and 0.421586 second system time

The end

Begin job on nodeC030 at 2024-07-16 08:28:37
IDJOB=4436387
IDBENCH=148744
IDSOLVER=3068
FILE ID=nodeC030/4436387-1721111304
RUNJOBID= nodeC030-1721105558-879433
SLURM_JOB_ID= 7505632
Free space on /tmp= 890048 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__256.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436387-1721111304/watcher-4436387-1721111304 -o /tmp/evaluation-result-4436387-1721111304/solver-4436387-1721111304 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721105558-879433 --watchdog 3760  pb_picat HOME/instance-4436387-1721111304.opb

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

MD5SUM BENCH= 88337e6e5493c2d9c389f064d6ad9b51
RANDOM SEED=443033633

nodeC030.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3670.255
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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		: 3687.070
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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		: 3612.437
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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.956
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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		: 3628.280
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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		: 3687.128
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
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		: 3656.237
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.28
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		: 3599.858
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126166036 kB
MemAvailable:   127491184 kB
Buffers:          389324 kB
Cached:          1761896 kB
SwapCached:            0 kB
Active:           932848 kB
Inactive:        3803708 kB
Active(anon):       1540 kB
Inactive(anon):  2621492 kB
Active(file):     931308 kB
Inactive(file):  1182216 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4344 kB
Writeback:             0 kB
AnonPages:       2580464 kB
Mapped:           114308 kB
Shmem:             37720 kB
KReclaimable:     102896 kB
Slab:             209876 kB
SReclaimable:     102896 kB
SUnreclaim:       106980 kB
KernelStack:        4192 kB
PageTables:        14484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7904024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63328 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2228224 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      234196 kB
DirectMap2M:    18413568 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890044 MiB
End job on nodeC030 at 2024-07-16 08:30:03