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

OK	26

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (59921 MiB free)
  memory of node 1: 64473 MiB (60610 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436352-1721106773/watcher-4436352-1721106773 -o /tmp/evaluation-result-4436352-1721106773/solver-4436352-1721106773 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721103131-840882 --watchdog 3760 pb_picat HOME/instance-4436352-1721106773.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100095 s]*
/proc/loadavg: 4.22 4.22 4.17 5/258 843254
/proc/meminfo: memFree=123392228/131524596 swapFree=131071996/131071996
[pid=843253] ppid=843250 vsize=2033608 memory=39248 CPUtime=0.09 cores=5,7
/proc/843253/stat : 843253 (pb_picat) R 843250 843253 840869 0 -1 4194304 793 0 0 0 9 0 0 0 20 0 1 0 162847901 2082414592 9812 134679101440 4194304 5989780 140734608970336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23318528 140734608978969 140734608979045 140734608979045 140734608986060 0
/proc/843253/statm: 508402 9812 1506 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 39248 KiB

[startup+0.206001 s]*
/proc/loadavg: 4.22 4.22 4.17 5/258 843254
/proc/meminfo: memFree=123388208/131524596 swapFree=131071996/131071996
[pid=843253] ppid=843250 vsize=2033608 memory=55632 CPUtime=0.2 cores=5,7
/proc/843253/stat : 843253 (pb_picat) R 843250 843253 840869 0 -1 4194304 801 0 0 0 19 1 0 0 20 0 1 0 162847901 2082414592 13908 134679101440 4194304 5989780 140734608970336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23318528 140734608978969 140734608979045 140734608979045 140734608986060 0
/proc/843253/statm: 508402 13908 1506 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 55632 KiB

[startup+0.30582 s]*
/proc/loadavg: 4.22 4.22 4.17 5/258 843254
/proc/meminfo: memFree=123364816/131524596 swapFree=131071996/131071996
[pid=843253] ppid=843250 vsize=2041424 memory=72912 CPUtime=0.3 cores=5,7
/proc/843253/stat : 843253 (pb_picat) R 843250 843253 840869 0 -1 4194304 997 0 0 0 29 1 0 0 20 0 1 0 162847901 2090418176 18228 134679101440 4194304 5989780 140734608970336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23318528 140734608978969 140734608979045 140734608979045 140734608986060 0
/proc/843253/statm: 510356 18228 1554 439 0 505785 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2041424 KiB
Current children cumulated memory: 72912 KiB

[startup+0.700232 s]
/proc/loadavg: 4.22 4.22 4.17 5/258 843254
/proc/meminfo: memFree=123338580/131524596 swapFree=131071996/131071996
[pid=843253] ppid=843250 vsize=2062552 memory=102736 CPUtime=0.69 cores=5,7
/proc/843253/stat : 843253 (pb_picat) R 843250 843253 840869 0 -1 4194304 9182 0 0 0 66 3 0 0 20 0 1 0 162847901 2112053248 25684 134679101440 4194304 5989780 140734608970336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23318528 140734608978969 140734608979045 140734608979045 140734608986060 0
/proc/843253/statm: 515638 25684 1728 439 0 511067 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2062552 KiB
Current children cumulated memory: 102736 KiB

[startup+1.50023 s]
/proc/loadavg: 4.22 4.22 4.17 5/258 843254
/proc/meminfo: memFree=123322996/131524596 swapFree=131071996/131071996
[pid=843253] ppid=843250 vsize=2066648 memory=106092 CPUtime=1.49 cores=5,7
/proc/843253/stat : 843253 (pb_picat) R 843250 843253 840869 0 -1 4194304 9534 0 0 0 146 3 0 0 20 0 1 0 162847901 2116247552 26523 134679101440 4194304 5989780 140734608970336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23318528 140734608978969 140734608979045 140734608979045 140734608986060 0
/proc/843253/statm: 516662 26523 1728 439 0 512091 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2066648 KiB
Current children cumulated memory: 106092 KiB

[startup+3.10579 s]
/proc/loadavg: 4.20 4.21 4.17 5/258 843254
/proc/meminfo: memFree=123371584/131524596 swapFree=131071996/131071996
[pid=843253] ppid=843250 vsize=2062580 memory=102684 CPUtime=3.09 cores=5,7
/proc/843253/stat : 843253 (pb_picat) R 843250 843253 840869 0 -1 4194304 13973 0 0 0 305 4 0 0 20 0 1 0 162847901 2112081920 25671 134679101440 4194304 5989780 140734608970336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23318528 140734608978969 140734608979045 140734608979045 140734608986060 0
/proc/843253/statm: 515645 25671 1728 439 0 511074 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2062580 KiB
Current children cumulated memory: 102684 KiB

[startup+6.30022 s]
/proc/loadavg: 4.20 4.21 4.17 5/258 843255
/proc/meminfo: memFree=123325664/131524596 swapFree=131071996/131071996
[pid=843253] ppid=843250 vsize=2067636 memory=108896 CPUtime=6.28 cores=5,7
/proc/843253/stat : 843253 (pb_picat) R 843250 843253 840869 0 -1 4194304 21916 0 0 0 622 6 0 0 20 0 1 0 162847901 2117259264 27224 134679101440 4194304 5989780 140734608970336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23318528 140734608978969 140734608979045 140734608979045 140734608986060 0
/proc/843253/statm: 516909 27224 1728 439 0 512338 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2067636 KiB
Current children cumulated memory: 108896 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.20 4.17 5/258 843255
/proc/meminfo: memFree=123336908/131524596 swapFree=131071996/131071996
[pid=843253] ppid=843250 vsize=2063540 memory=104752 CPUtime=12.66 cores=5,7
/proc/843253/stat : 843253 (pb_picat) R 843250 843253 840869 0 -1 4194304 28254 0 0 0 1258 8 0 0 20 0 1 0 162847901 2113064960 26188 134679101440 4194304 5989780 140734608970336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23318528 140734608978969 140734608979045 140734608979045 140734608986060 0
/proc/843253/statm: 515885 26188 1728 439 0 511314 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2063540 KiB
Current children cumulated memory: 104752 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.18 4.16 5/258 843304
/proc/meminfo: memFree=123230148/131524596 swapFree=131071996/131071996
[pid=843253] ppid=843250 vsize=2067636 memory=108888 CPUtime=25.42 cores=5,7
/proc/843253/stat : 843253 (pb_picat) R 843250 843253 840869 0 -1 4194304 28786 0 0 0 2534 8 0 0 20 0 1 0 162847901 2117259264 27222 134679101440 4194304 5989780 140734608970336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23318528 140734608978969 140734608979045 140734608979045 140734608986060 0
/proc/843253/statm: 516909 27222 1728 439 0 512338 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2067636 KiB
Current children cumulated memory: 108888 KiB

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

# cumulated CPU time of all completed processes:  user=33.7371 s, system=0.109741 s

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

[startup+25.6002 s]
/proc/loadavg: 4.07 4.18 4.16 5/258 843304
/proc/meminfo: memFree=123230148/131524596 swapFree=131071996/131071996
[pid=843253] ppid=843250 vsize=2067636 memory=108888 CPUtime=25.52 cores=5,7
/proc/843253/stat : 843253 (pb_picat) R 843250 843253 840869 0 -1 4194304 28786 0 0 0 2544 8 0 0 20 0 1 0 162847901 2117259264 27222 134679101440 4194304 5989780 140734608970336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23318528 140734608978969 140734608979045 140734608979045 140734608986060 0
/proc/843253/statm: 516909 27222 1728 439 0 512338 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 2067636 KiB
Current children cumulated memory: 108888 KiB

[startup+28.8002 s]
/proc/loadavg: 4.14 4.19 4.17 5/258 843304
/proc/meminfo: memFree=123222108/131524596 swapFree=131071996/131071996
[pid=843253] ppid=843250 vsize=2067636 memory=108808 CPUtime=28.72 cores=5,7
/proc/843253/stat : 843253 (pb_picat) R 843250 843253 840869 0 -1 4194304 31016 0 0 0 2863 9 0 0 20 0 1 0 162847901 2117259264 27202 134679101440 4194304 5989780 140734608970336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23318528 140734608978969 140734608979045 140734608979045 140734608986060 0
/proc/843253/statm: 516909 27202 1728 439 0 512338 0
Current children cumulated CPU time: 28.72 s
Current children cumulated vsize: 2067636 KiB
Current children cumulated memory: 108808 KiB

[startup+32.0002 s]*
/proc/loadavg: 4.13 4.19 4.17 5/257 843304
/proc/meminfo: memFree=123235156/131524596 swapFree=131071996/131071996
[pid=843253] ppid=843250 vsize=2067636 memory=108808 CPUtime=31.92 cores=5,7
/proc/843253/stat : 843253 (pb_picat) R 843250 843253 840869 0 -1 4194304 31016 0 0 0 3183 9 0 0 20 0 1 0 162847901 2117259264 27202 134679101440 4194304 5989780 140734608970336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23318528 140734608978969 140734608979045 140734608979045 140734608986060 0
/proc/843253/statm: 516909 27202 1728 439 0 512338 0
Current children cumulated CPU time: 31.92 s
Current children cumulated vsize: 2067636 KiB
Current children cumulated memory: 108808 KiB

[startup+32.8002 s]
/proc/loadavg: 4.13 4.19 4.17 5/257 843304
/proc/meminfo: memFree=123235156/131524596 swapFree=131071996/131071996
[pid=843253] ppid=843250 vsize=2067636 memory=108808 CPUtime=32.71 cores=5,7
/proc/843253/stat : 843253 (pb_picat) R 843250 843253 840869 0 -1 4194304 31016 0 0 0 3262 9 0 0 20 0 1 0 162847901 2117259264 27202 134679101440 4194304 5989780 140734608970336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23318528 140734608978969 140734608979045 140734608979045 140734608986060 0
/proc/843253/statm: 516909 27202 1728 439 0 512338 0
Current children cumulated CPU time: 32.71 s
Current children cumulated vsize: 2067636 KiB
Current children cumulated memory: 108808 KiB

[startup+33.6002 s]
/proc/loadavg: 4.13 4.19 4.17 5/257 843304
/proc/meminfo: memFree=123230948/131524596 swapFree=131071996/131071996
[pid=843253] ppid=843250 vsize=2067636 memory=108808 CPUtime=33.51 cores=5,7
/proc/843253/stat : 843253 (pb_picat) R 843250 843253 840869 0 -1 4194304 31016 0 0 0 3342 9 0 0 20 0 1 0 162847901 2117259264 27202 134679101440 4194304 5989780 140734608970336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23318528 140734608978969 140734608979045 140734608979045 140734608986060 0
/proc/843253/statm: 516909 27202 1728 439 0 512338 0
Current children cumulated CPU time: 33.51 s
Current children cumulated vsize: 2067636 KiB
Current children cumulated memory: 108808 KiB

[startup+33.8002 s]
/proc/loadavg: 4.13 4.19 4.17 5/257 843304
/proc/meminfo: memFree=123230948/131524596 swapFree=131071996/131071996
[pid=843253] ppid=843250 vsize=2067636 memory=108808 CPUtime=33.71 cores=5,7
/proc/843253/stat : 843253 (pb_picat) R 843250 843253 840869 0 -1 4194304 31016 0 0 0 3362 9 0 0 20 0 1 0 162847901 2117259264 27202 134679101440 4194304 5989780 140734608970336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23318528 140734608978969 140734608979045 140734608979045 140734608986060 0
/proc/843253/statm: 516909 27202 1728 439 0 512338 0
Current children cumulated CPU time: 33.71 s
Current children cumulated vsize: 2067636 KiB
Current children cumulated memory: 108808 KiB

[startup+33.9002 s]
/proc/loadavg: 4.13 4.19 4.17 5/257 843304
/proc/meminfo: memFree=123230948/131524596 swapFree=131071996/131071996
[pid=843253] ppid=843250 vsize=2067636 memory=108808 CPUtime=33.81 cores=5,7
/proc/843253/stat : 843253 (pb_picat) R 843250 843253 840869 0 -1 4194304 31016 0 0 0 3372 9 0 0 20 0 1 0 162847901 2117259264 27202 134679101440 4194304 5989780 140734608970336 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 23318528 140734608978969 140734608979045 140734608979045 140734608986060 0
/proc/843253/statm: 516909 27202 1728 439 0 512338 0
Current children cumulated CPU time: 33.81 s
Current children cumulated vsize: 2067636 KiB
Current children cumulated memory: 108808 KiB

Child status: 0

Real time (s): 33.9307
CPU time (s): 33.8468
CPU user time (s): 33.7371
CPU system time (s): 0.109741
CPU usage (%): 99.7529
Max. virtual memory (cumulated for all children) (KiB): 2078904
Max. memory (cumulated for all children) (KiB): 112692

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


# summary of solver processes directly reported to runsolver:
#   pid: 843253
#   total CPU time (s): 33.8468
#   total CPU user time (s): 33.7371
#   total CPU system time (s): 0.109741

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.090666 second user time and 0.194983 second system time

The end

Begin job on nodeC034 at 2024-07-16 07:13:06
IDJOB=4436352
IDBENCH=148144
IDSOLVER=3068
FILE ID=nodeC034/4436352-1721106773
RUNJOBID= nodeC034-1721103131-840882
SLURM_JOB_ID= 7505618
Free space on /tmp= 890068 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_010_area_delay.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436352-1721106773/watcher-4436352-1721106773 -o /tmp/evaluation-result-4436352-1721106773/solver-4436352-1721106773 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721103131-840882 --watchdog 3760  pb_picat HOME/instance-4436352-1721106773.opb

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

MD5SUM BENCH= 77a3dc3c6688d0f09e65e252caf4dce1
RANDOM SEED=1531106725

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

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

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

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


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        123425940 kB
MemAvailable:   129209716 kB
Buffers:          384972 kB
Cached:          6165628 kB
SwapCached:            0 kB
Active:           703240 kB
Inactive:        6644116 kB
Active(anon):       1516 kB
Inactive(anon):   832628 kB
Active(file):     701724 kB
Inactive(file):  5811488 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             17636 kB
Writeback:            32 kB
AnonPages:        795596 kB
Mapped:           114112 kB
Shmem:             37720 kB
KReclaimable:     220776 kB
Slab:             342548 kB
SReclaimable:     220776 kB
SUnreclaim:       121772 kB
KernelStack:        4140 kB
PageTables:        11264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    6887240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63200 kB
HardwareCorrupted:     0 kB
AnonHugePages:    610304 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      250580 kB
DirectMap2M:    28882944 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC034 at 2024-07-16 07:13:40