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

OK	0

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

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

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=113071, runsolver pid=113060

[startup+0.100061 s]*
/proc/loadavg: 4.05 4.10 4.05 7/264 113072
/proc/meminfo: memFree=128678524/131249988 swapFree=33010160/33010684
[pid=113071] ppid=113060 vsize=2027148 memory=32204 CPUtime=0.08 cores=5,7
/proc/113071/stat : 113071 (pb_picat) R 113060 113071 110720 0 -1 4194304 1002 0 0 0 8 0 0 0 20 0 1 0 139865160 2075799552 8051 18446744073709551615 94694537670656 94694539072237 140729786351584 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94694539343664 94694541217904 94694579400704 140729786354076 140729786354152 140729786354152 140729786359756 0
/proc/113071/statm: 506787 8051 1600 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32204 KiB

[startup+0.205548 s]*
/proc/loadavg: 4.05 4.10 4.05 7/264 113072
/proc/meminfo: memFree=128644500/131249988 swapFree=33010160/33010684
[pid=113071] ppid=113060 vsize=2027148 memory=48632 CPUtime=0.18 cores=5,7
/proc/113071/stat : 113071 (pb_picat) R 113060 113071 110720 0 -1 4194304 1022 0 0 0 18 0 0 0 20 0 1 0 139865160 2075799552 12158 18446744073709551615 94694537670656 94694539072237 140729786351584 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 94694539343664 94694541217904 94694579400704 140729786354076 140729786354152 140729786354152 140729786359756 0
/proc/113071/statm: 506787 12158 1600 343 0 503851 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 48632 KiB

[startup+0.305544 s]*
/proc/loadavg: 4.05 4.10 4.05 6/262 113072
/proc/meminfo: memFree=128736376/131249988 swapFree=33010160/33010684
[pid=113071] ppid=113060 vsize=2027148 memory=65084 CPUtime=0.28 cores=5,7
/proc/113071/stat : 113071 (pb_picat) R 113060 113071 110720 0 -1 4194304 1046 0 0 0 27 1 0 0 20 0 1 0 139865160 2075799552 16271 18446744073709551615 94694537670656 94694539072237 140729786351584 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94694539343664 94694541217904 94694579400704 140729786354076 140729786354152 140729786354152 140729786359756 0
/proc/113071/statm: 506787 16271 1600 343 0 503851 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 65084 KiB

[startup+0.700127 s]
/proc/loadavg: 4.05 4.10 4.05 5/259 113090
/proc/meminfo: memFree=128709244/131249988 swapFree=33010160/33010684
[pid=113071] ppid=113060 vsize=2046948 memory=101100 CPUtime=0.66 cores=5,7
/proc/113071/stat : 113071 (pb_picat) R 113060 113071 110720 0 -1 4194304 5051 0 0 0 61 5 0 0 20 0 1 0 139865160 2096074752 25275 18446744073709551615 94694537670656 94694539072237 140729786351584 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94694539343664 94694541217904 94694579400704 140729786354076 140729786354152 140729786354152 140729786359756 0
/proc/113071/statm: 511737 25275 1760 343 0 508801 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 2046948 KiB
Current children cumulated memory: 101100 KiB

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

# cumulated CPU time of all completed processes:  user=0.990681 s, system=0.109757 s

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

[startup+0.800134 s]
/proc/loadavg: 4.05 4.10 4.05 5/259 113090
/proc/meminfo: memFree=128709244/131249988 swapFree=33010160/33010684
[pid=113071] ppid=113060 vsize=2046948 memory=107540 CPUtime=0.76 cores=5,7
/proc/113071/stat : 113071 (pb_picat) R 113060 113071 110720 0 -1 4194304 5791 0 0 0 70 6 0 0 20 0 1 0 139865160 2096074752 26885 18446744073709551615 94694537670656 94694539072237 140729786351584 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94694539343664 94694541217904 94694579400704 140729786354076 140729786354152 140729786354152 140729786359756 0
/proc/113071/statm: 511737 26885 1760 343 0 508801 0
Current children cumulated CPU time: 0.76 s
Current children cumulated vsize: 2046948 KiB
Current children cumulated memory: 107540 KiB

[startup+1.00012 s]*
/proc/loadavg: 4.05 4.10 4.05 6/260 113153
/proc/meminfo: memFree=128619416/131249988 swapFree=33010160/33010684
[pid=113071] ppid=113060 vsize=2049380 memory=107960 CPUtime=0.97 cores=5,7
/proc/113071/stat : 113071 (pb_picat) R 113060 113071 110720 0 -1 4194304 6222 0 0 0 89 8 0 0 20 0 1 0 139865160 2098565120 26990 18446744073709551615 94694537670656 94694539072237 140729786351584 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94694539343664 94694541217904 94694579400704 140729786354076 140729786354152 140729786354152 140729786359756 0
/proc/113071/statm: 512345 26990 1760 343 0 509409 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 2049380 KiB
Current children cumulated memory: 107960 KiB

[startup+1.11354 s]
/proc/loadavg: 4.05 4.10 4.05 6/260 113153
/proc/meminfo: memFree=128619416/131249988 swapFree=33010160/33010684
[pid=113071] ppid=113060 vsize=2056528 memory=109504 CPUtime=1.08 cores=5,7
/proc/113071/stat : 113071 (pb_picat) R 113060 113071 110720 0 -1 4194304 6696 0 0 0 98 10 0 0 20 0 1 0 139865160 2105884672 27376 18446744073709551615 94694537670656 94694539072237 140729786351584 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94694539343664 94694541217904 94694579400704 140729786354076 140729786354152 140729786354152 140729786359756 0
/proc/113071/statm: 514132 27376 1760 343 0 511196 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 2056528 KiB
Current children cumulated memory: 109504 KiB

Child status: 0

Real time (s): 1.12674
CPU time (s): 1.10044
CPU user time (s): 0.990681
CPU system time (s): 0.109757
CPU usage (%): 97.6653
Max. virtual memory (cumulated for all children) (KiB): 2056528
Max. memory (cumulated for all children) (KiB): 109504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.990681
system time used= 0.109757
maximum resident set size= 109760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6700
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= 98
involuntary context switches= 8


# summary of solver processes directly reported to runsolver:
#   pid: 113071
#   total CPU time (s): 1.10044
#   total CPU user time (s): 0.990681
#   total CPU system time (s): 0.109757

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021452 second user time and 0.049695 second system time

The end

Begin job on nodeC020 at 2025-07-11 15:51:16
IDJOB=4527959
IDBENCH=153069
IDSOLVER=3385
FILE ID=nodeC020/4527959-1752241876
RUNJOBID= nodeC020-1752238264-112697
SLURM_JOB_ID= 9682531
Free space on /tmp= 431500 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j90/normalized-j907_2-sat.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527959-1752241876/watcher-4527959-1752241876 -o /tmp/evaluation-result-4527959-1752241876/solver-4527959-1752241876 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752238264-112697 --watchdog 3760  pb_picat HOME/instance-4527959-1752241876.opb

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

MD5SUM BENCH= 31baf08ee2109a9e115be407f6140661
RANDOM SEED=1990549583

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        128765456 kB
MemAvailable:   129624588 kB
Buffers:            2128 kB
Cached:          1648516 kB
SwapCached:            8 kB
Active:           799176 kB
Inactive:        1077192 kB
Active(anon):     219224 kB
Inactive(anon):    24548 kB
Active(file):     579952 kB
Inactive(file):  1052644 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15012 kB
Writeback:             0 kB
AnonPages:        228500 kB
Mapped:           109644 kB
Shmem:             18044 kB
KReclaimable:     131552 kB
Slab:             225484 kB
SReclaimable:     131552 kB
SUnreclaim:        93932 kB
KernelStack:        4172 kB
PageTables:         3396 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    2551520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    124928 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431484 MiB
End job on nodeC020 at 2025-07-11 15:51:17