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