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

OK	28

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: 63794 MiB (60622 MiB free)
  memory of node 1: 64507 MiB (63029 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528385-1752239543/watcher-4528385-1752239543 -o /tmp/evaluation-result-4528385-1752239543/solver-4528385-1752239543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752239453-114623 --watchdog 3760 pb_picat HOME/instance-4528385-1752239543.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.1001 s]*
/proc/loadavg: 3.58 1.91 1.66 5/251 114909
/proc/meminfo: memFree=126620352/131382112 swapFree=33010160/33010684
[pid=114908] ppid=114905 vsize=2027148 memory=28524 CPUtime=0.09 cores=4,6
/proc/114908/stat : 114908 (pb_picat) R 114905 114908 113672 0 -1 4194304 1137 0 0 0 9 0 0 0 20 0 1 0 139634050 2075799552 7131 18446744073709551615 94698307219456 94698308621037 140731998436944 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94698308892464 94698310766704 94698335690752 140731998443932 140731998444008 140731998444008 140731998449612 0
/proc/114908/statm: 506787 7131 1568 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 28524 KiB

[startup+0.213136 s]*
/proc/loadavg: 3.58 1.91 1.66 5/251 114909
/proc/meminfo: memFree=126612160/131382112 swapFree=33010160/33010684
[pid=114908] ppid=114905 vsize=2027148 memory=32660 CPUtime=0.2 cores=4,6
/proc/114908/stat : 114908 (pb_picat) R 114905 114908 113672 0 -1 4194304 1148 0 0 0 20 0 0 0 20 0 1 0 139634050 2075799552 8165 18446744073709551615 94698307219456 94698308621037 140731998436944 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94698308892464 94698310766704 94698335690752 140731998443932 140731998444008 140731998444008 140731998449612 0
/proc/114908/statm: 506787 8165 1568 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32660 KiB

[startup+0.313055 s]*
/proc/loadavg: 3.58 1.91 1.66 5/251 114909
/proc/meminfo: memFree=126620224/131382112 swapFree=33010160/33010684
[pid=114908] ppid=114905 vsize=2027148 memory=38804 CPUtime=0.31 cores=4,6
/proc/114908/stat : 114908 (pb_picat) R 114905 114908 113672 0 -1 4194304 1151 0 0 0 30 1 0 0 20 0 1 0 139634050 2075799552 9701 18446744073709551615 94698307219456 94698308621037 140731998436944 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94698308892464 94698310766704 94698335690752 140731998443932 140731998444008 140731998444008 140731998449612 0
/proc/114908/statm: 506787 9701 1568 343 0 503851 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38804 KiB

[startup+0.700335 s]
/proc/loadavg: 3.58 1.91 1.66 5/251 114909
/proc/meminfo: memFree=126592220/131382112 swapFree=33010160/33010684
[pid=114908] ppid=114905 vsize=2034964 memory=65724 CPUtime=0.68 cores=4,6
/proc/114908/stat : 114908 (pb_picat) R 114905 114908 113672 0 -1 4194304 1208 0 0 0 67 1 0 0 20 0 1 0 139634050 2083803136 16431 18446744073709551615 94698307219456 94698308621037 140731998436944 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94698308892464 94698310766704 94698335690752 140731998443932 140731998444008 140731998444008 140731998449612 0
/proc/114908/statm: 508741 16431 1600 343 0 505805 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 65724 KiB

[startup+1.50032 s]
/proc/loadavg: 3.58 1.91 1.66 5/251 114909
/proc/meminfo: memFree=126547040/131382112 swapFree=33010160/33010684
[pid=114908] ppid=114905 vsize=2051328 memory=97008 CPUtime=1.48 cores=4,6
/proc/114908/stat : 114908 (pb_picat) R 114905 114908 113672 0 -1 4194304 7385 0 0 0 145 3 0 0 20 0 1 0 139634050 2100559872 24252 18446744073709551615 94698307219456 94698308621037 140731998436944 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94698308892464 94698310766704 94698335690752 140731998443932 140731998444008 140731998444008 140731998449612 0
/proc/114908/statm: 512832 24252 1728 343 0 509896 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2051328 KiB
Current children cumulated memory: 97008 KiB

[startup+3.11286 s]
/proc/loadavg: 3.58 1.91 1.66 5/251 114909
/proc/meminfo: memFree=126518892/131382112 swapFree=33010160/33010684
[pid=114908] ppid=114905 vsize=2055872 memory=101036 CPUtime=3.09 cores=4,6
/proc/114908/stat : 114908 (pb_picat) R 114905 114908 113672 0 -1 4194304 15407 0 0 0 304 5 0 0 20 0 1 0 139634050 2105212928 25259 18446744073709551615 94698307219456 94698308621037 140731998436944 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94698308892464 94698310766704 94698335690752 140731998443932 140731998444008 140731998444008 140731998449612 0
/proc/114908/statm: 513968 25259 1728 343 0 511032 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2055872 KiB
Current children cumulated memory: 101036 KiB

[startup+6.30031 s]
/proc/loadavg: 3.69 1.96 1.68 5/251 114909
/proc/meminfo: memFree=126543572/131382112 swapFree=33010160/33010684
[pid=114908] ppid=114905 vsize=2065088 memory=109488 CPUtime=6.26 cores=4,6
/proc/114908/stat : 114908 (pb_picat) R 114905 114908 113672 0 -1 4194304 21386 0 0 0 620 6 0 0 20 0 1 0 139634050 2114650112 27372 18446744073709551615 94698307219456 94698308621037 140731998436944 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94698308892464 94698310766704 94698335690752 140731998443932 140731998444008 140731998444008 140731998449612 0
/proc/114908/statm: 516272 27372 1728 343 0 513336 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2065088 KiB
Current children cumulated memory: 109488 KiB

[startup+12.7003 s]
/proc/loadavg: 3.72 2.00 1.69 4/247 114917
/proc/meminfo: memFree=126834864/131382112 swapFree=33010160/33010684
[pid=114908] ppid=114905 vsize=2068164 memory=111028 CPUtime=12.65 cores=4,6
/proc/114908/stat : 114908 (pb_picat) R 114905 114908 113672 0 -1 4194304 24714 0 0 0 1258 7 0 0 20 0 1 0 139634050 2117799936 27757 18446744073709551615 94698307219456 94698308621037 140731998436944 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94698308892464 94698310766704 94698335690752 140731998443932 140731998444008 140731998444008 140731998449612 0
/proc/114908/statm: 517041 27757 1728 343 0 514105 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2068164 KiB
Current children cumulated memory: 111028 KiB

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

# cumulated CPU time of all completed processes:  user=19.7697 s, system=0.105696 s

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

[startup+12.8003 s]
/proc/loadavg: 3.72 2.00 1.69 4/247 114917
/proc/meminfo: memFree=126834864/131382112 swapFree=33010160/33010684
[pid=114908] ppid=114905 vsize=2068164 memory=111028 CPUtime=12.75 cores=4,6
/proc/114908/stat : 114908 (pb_picat) R 114905 114908 113672 0 -1 4194304 24714 0 0 0 1268 7 0 0 20 0 1 0 139634050 2117799936 27757 18446744073709551615 94698307219456 94698308621037 140731998436944 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94698308892464 94698310766704 94698335690752 140731998443932 140731998444008 140731998444008 140731998449612 0
/proc/114908/statm: 517041 27757 1728 343 0 514105 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 2068164 KiB
Current children cumulated memory: 111028 KiB

[startup+16.0002 s]*
/proc/loadavg: 3.74 2.03 1.70 5/251 114954
/proc/meminfo: memFree=126826820/131382112 swapFree=33010160/33010684
[pid=114908] ppid=114905 vsize=2060992 memory=107180 CPUtime=15.95 cores=4,6
/proc/114908/stat : 114908 (pb_picat) R 114905 114908 113672 0 -1 4194304 29560 0 0 0 1586 9 0 0 20 0 1 0 139634050 2110455808 26795 18446744073709551615 94698307219456 94698308621037 140731998436944 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94698308892464 94698310766704 94698335690752 140731998443932 140731998444008 140731998444008 140731998449612 0
/proc/114908/statm: 515248 26795 1728 343 0 512312 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 2060992 KiB
Current children cumulated memory: 107180 KiB

[startup+17.6002 s]
/proc/loadavg: 3.74 2.03 1.70 5/251 114954
/proc/meminfo: memFree=126825560/131382112 swapFree=33010160/33010684
[pid=114908] ppid=114905 vsize=2060992 memory=107180 CPUtime=17.54 cores=4,6
/proc/114908/stat : 114908 (pb_picat) R 114905 114908 113672 0 -1 4194304 29560 0 0 0 1745 9 0 0 20 0 1 0 139634050 2110455808 26795 18446744073709551615 94698307219456 94698308621037 140731998436944 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94698308892464 94698310766704 94698335690752 140731998443932 140731998444008 140731998444008 140731998449612 0
/proc/114908/statm: 515248 26795 1728 343 0 512312 0
Current children cumulated CPU time: 17.54 s
Current children cumulated vsize: 2060992 KiB
Current children cumulated memory: 107180 KiB

[startup+19.2002 s]
/proc/loadavg: 3.76 2.06 1.72 5/251 114954
/proc/meminfo: memFree=126818616/131382112 swapFree=33010160/33010684
[pid=114908] ppid=114905 vsize=2060992 memory=107180 CPUtime=19.13 cores=4,6
/proc/114908/stat : 114908 (pb_picat) R 114905 114908 113672 0 -1 4194304 29560 0 0 0 1904 9 0 0 20 0 1 0 139634050 2110455808 26795 18446744073709551615 94698307219456 94698308621037 140731998436944 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94698308892464 94698310766704 94698335690752 140731998443932 140731998444008 140731998444008 140731998449612 0
/proc/114908/statm: 515248 26795 1728 343 0 512312 0
Current children cumulated CPU time: 19.13 s
Current children cumulated vsize: 2060992 KiB
Current children cumulated memory: 107180 KiB

[startup+19.6002 s]
/proc/loadavg: 3.76 2.06 1.72 5/251 114954
/proc/meminfo: memFree=126818616/131382112 swapFree=33010160/33010684
[pid=114908] ppid=114905 vsize=2060992 memory=107180 CPUtime=19.53 cores=4,6
/proc/114908/stat : 114908 (pb_picat) R 114905 114908 113672 0 -1 4194304 29560 0 0 0 1944 9 0 0 20 0 1 0 139634050 2110455808 26795 18446744073709551615 94698307219456 94698308621037 140731998436944 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94698308892464 94698310766704 94698335690752 140731998443932 140731998444008 140731998444008 140731998449612 0
/proc/114908/statm: 515248 26795 1728 343 0 512312 0
Current children cumulated CPU time: 19.53 s
Current children cumulated vsize: 2060992 KiB
Current children cumulated memory: 107180 KiB

[startup+19.8002 s]
/proc/loadavg: 3.76 2.06 1.72 5/251 114954
/proc/meminfo: memFree=126818616/131382112 swapFree=33010160/33010684
[pid=114908] ppid=114905 vsize=2060992 memory=107180 CPUtime=19.73 cores=4,6
/proc/114908/stat : 114908 (pb_picat) R 114905 114908 113672 0 -1 4194304 29560 0 0 0 1964 9 0 0 20 0 1 0 139634050 2110455808 26795 18446744073709551615 94698307219456 94698308621037 140731998436944 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94698308892464 94698310766704 94698335690752 140731998443932 140731998444008 140731998444008 140731998449612 0
/proc/114908/statm: 515248 26795 1728 343 0 512312 0
Current children cumulated CPU time: 19.73 s
Current children cumulated vsize: 2060992 KiB
Current children cumulated memory: 107180 KiB

[startup+19.9002 s]
/proc/loadavg: 3.76 2.06 1.72 5/251 114954
/proc/meminfo: memFree=126818616/131382112 swapFree=33010160/33010684
[pid=114908] ppid=114905 vsize=2060992 memory=107180 CPUtime=19.83 cores=4,6
/proc/114908/stat : 114908 (pb_picat) R 114905 114908 113672 0 -1 4194304 29560 0 0 0 1974 9 0 0 20 0 1 0 139634050 2110455808 26795 18446744073709551615 94698307219456 94698308621037 140731998436944 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94698308892464 94698310766704 94698335690752 140731998443932 140731998444008 140731998444008 140731998449612 0
/proc/114908/statm: 515248 26795 1728 343 0 512312 0
Current children cumulated CPU time: 19.83 s
Current children cumulated vsize: 2060992 KiB
Current children cumulated memory: 107180 KiB

Child status: 0

Real time (s): 19.9337
CPU time (s): 19.8754
CPU user time (s): 19.7697
CPU system time (s): 0.105696
CPU usage (%): 99.7075
Max. virtual memory (cumulated for all children) (KiB): 2076356
Max. memory (cumulated for all children) (KiB): 112684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.7697
system time used= 0.105696
maximum resident set size= 113068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29565
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= 67
involuntary context switches= 33


# summary of solver processes directly reported to runsolver:
#   pid: 114908
#   total CPU time (s): 19.8754
#   total CPU user time (s): 19.7697
#   total CPU system time (s): 0.105696

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.117469 second user time and 0.274127 second system time

The end

Begin job on nodeC009 at 2025-07-11 15:12:23
IDJOB=4528385
IDBENCH=148139
IDSOLVER=3385
FILE ID=nodeC009/4528385-1752239543
RUNJOBID= nodeC009-1752239453-114623
SLURM_JOB_ID= 9682520
Free space on /tmp= 431212 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528385-1752239543/watcher-4528385-1752239543 -o /tmp/evaluation-result-4528385-1752239543/solver-4528385-1752239543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1752239453-114623 --watchdog 3760  pb_picat HOME/instance-4528385-1752239543.opb

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

MD5SUM BENCH= 6595cc4610fad26587cd2ec4880b38c3
RANDOM SEED=1714052051

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.398
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 3691.489
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.759
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.294
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.234
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 3691.471
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.498
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
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	: 0xb00001f
cpu MHz		: 1197.480
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        126624560 kB
MemAvailable:   129464380 kB
Buffers:            2144 kB
Cached:          3571116 kB
SwapCached:           24 kB
Active:          1074524 kB
Inactive:        2938844 kB
Active(anon):     453864 kB
Inactive(anon):     4180 kB
Active(file):     620660 kB
Inactive(file):  2934664 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4868 kB
Writeback:            52 kB
AnonPages:        441148 kB
Mapped:           115780 kB
Shmem:             17936 kB
KReclaimable:     247864 kB
Slab:             337416 kB
SReclaimable:     247864 kB
SUnreclaim:        89552 kB
KernelStack:        4048 kB
PageTables:         3984 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6561772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149384 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    337920 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431212 MiB
End job on nodeC009 at 2025-07-11 15:12:43