( 0214 nil nil nil nil 0213 nil nil ( 0132 0132 nil 0321 nil nil nil nil nil nil nil nil nil nil nil ) ( 4013 nil nil nil nil nil 1023 nil 2103 3120 nil nil nil nil nil ) nil nil nil nil nil ) 1: val=26726, type=2H2B, len=6,c_compute=9 c_long_compute=9,c_tablelen=819,c_selectlen=4 real 0.8 user 0.5 sys 0.2 ( 0134 nil nil nil nil nil ( 0231 0231 nil 2130 nil nil nil nil nil nil nil nil nil nil nil ) nil ( 0312 0312 nil 3102 nil nil nil nil nil nil nil nil nil nil nil ) ( 1320 1320 nil ( 1203 1203 nil nil 3021 nil nil nil nil nil nil nil nil nil nil ) 2013 nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil ) 2: val=32767, type=1H3B, len=8,c_compute=16 c_long_compute=16,c_tablelen=1533,c_selectlen=8 real 0.9 user 0.5 sys 0.2 ( 1034 nil nil nil nil 1032 ( 1230 1230 nil 2031 nil nil nil nil nil nil nil nil nil nil nil ) nil ( 1302 1302 nil 3012 nil nil nil nil nil nil nil nil nil nil nil ) ( 3410 nil nil nil nil 3210 2310 nil 3201 2301 nil nil nil nil nil ) nil nil nil nil nil ) 3: val=40089, type=0H4B, len=9,c_compute=12 c_long_compute=12,c_tablelen=1119,c_selectlen=7 real 0.8 user 0.5 sys 0.3 ( 0456 nil nil nil nil nil nil ( 0124 nil nil nil nil 0126 0423 0153 nil nil nil nil nil nil nil ) nil nil ( 7018 nil nil nil nil nil nil nil nil nil nil nil 7123 8123 9123 ) ( 1728 nil nil nil nil nil 0128 0723 0127 nil nil 0923 ( 0129 0129 nil nil nil nil nil 0823 nil nil nil nil nil nil nil ) ( 0173 0173 nil nil nil 0183 nil nil nil nil nil nil nil nil nil ) 0193 ) ( 1425 nil nil nil nil nil 0125 nil 0124 nil nil 0623 0523 0143 0163 ) nil ( 4205 nil nil nil nil nil nil nil nil nil nil nil 4123 5123 6123 ) ) 4: val=94582, type=3H0B, len=24,c_compute=82 c_long_compute=82,c_tablelen=28001,c_selectlen=72 real 1.7 user 1.2 sys 0.3 ( 0145 nil nil nil nil ( 0135 0135 nil nil nil nil nil 0142 nil nil nil nil nil nil nil ) ( 0134 0134 nil nil nil nil nil 0152 nil nil nil nil nil nil nil ) ( 0267 nil nil nil nil nil 0162 ( 0137 0137 nil nil nil nil nil nil nil nil nil nil 0243 nil nil ) 0172 nil nil ( 0138 0138 nil nil nil 0139 nil nil nil nil nil nil nil nil nil ) ( 0182 0182 nil nil nil 0192 nil 0136 nil nil nil nil 0325 nil nil ) nil ( 2143 2143 nil nil nil nil nil nil 3125 nil nil nil nil nil nil ) ) ( 0421 0421 nil 4120 nil 0521 0413 nil 5120 4103 nil nil 0513 5103 nil ) nil nil ( 0627 nil nil nil nil 0327 0326 ( 0328 0328 nil nil nil 0329 nil nil nil nil nil nil 3127 nil nil ) ( 0263 0263 nil nil nil 0273 nil nil nil nil nil nil nil nil nil ) nil nil ( 3128 3128 nil nil nil 3129 nil nil nil nil nil nil nil nil nil ) ( 0283 0283 nil nil nil 0293 nil nil nil nil nil nil nil 3126 nil ) ( 2163 2163 nil nil nil 2173 nil nil nil nil nil nil nil nil nil ) ( 2183 2183 nil nil nil 2193 nil nil nil nil nil nil nil nil nil ) ) ( 0617 nil nil nil nil 0613 ( 0621 0621 nil nil nil nil nil nil nil nil nil nil 0713 nil nil ) ( 0813 0813 nil nil nil 0913 nil nil nil nil nil nil nil nil nil ) 0721 ( 6103 6103 nil nil nil 7103 6120 nil nil nil nil nil 7120 nil nil ) nil ( 0253 0253 nil nil nil nil nil nil 0324 nil nil nil nil nil nil ) ( 0821 0821 nil nil nil 0921 nil nil nil nil nil nil nil nil nil ) ( 8103 8103 nil nil nil 9103 8120 nil nil nil nil nil 9120 nil nil ) ( 2153 2153 nil nil nil nil nil nil 3124 nil nil nil nil nil nil ) ) ( 1423 1423 nil nil nil 1523 4023 5023 nil nil nil nil nil nil nil ) ( 1607 nil nil nil nil nil nil 1623 nil nil nil ( 1823 1823 nil nil nil 1923 nil nil nil nil nil nil nil nil nil ) 1723 ( 6023 6023 nil nil nil 7023 nil nil nil nil nil nil nil nil nil ) ( 8023 8023 nil nil nil 9023 nil nil nil nil nil nil nil nil nil ) ) ) 5: val=218124, type=2H1B, len=72,c_compute=1390 c_long_compute=1390,c_tablelen=908105,c_selectlen=1396 real 17.9 user 17.4 sys 0.4 ( 0456 nil nil nil nil ( 0124 nil nil nil nil nil 0426 0156 nil nil nil nil 0453 nil nil ) ( 4136 nil nil nil nil nil 0146 nil nil 0463 nil 0526 0154 0653 0425 ) ( 1573 nil nil nil nil nil nil 0473 0753 0157 ( 0428 0428 nil nil nil 0429 0826 0926 nil nil nil nil nil nil nil ) ( 0483 0483 nil nil nil 0493 nil nil nil nil nil nil nil nil nil ) ( 0853 0853 nil nil nil 0953 nil nil nil nil nil 0176 nil nil nil ) ( 0158 0158 nil nil nil 0159 nil nil nil nil nil nil nil nil nil ) ( 0186 0186 nil nil nil 0196 nil 0726 nil nil nil 0427 nil nil nil ) ) ( 1562 nil nil nil nil nil nil 0563 0165 0625 nil 0543 ( 0164 0164 nil nil nil nil nil 0524 nil nil nil nil nil nil nil ) ( 0145 0145 nil nil nil nil nil nil nil nil nil nil 0624 nil nil ) 0643 ) nil ( 7138 nil 7183 8173 nil 7128 7193 ( 7129 7129 nil nil nil nil 9128 nil nil nil nil nil nil nil nil ) ( 8193 8193 9183 nil nil nil 9173 8127 nil nil nil nil 7823 nil nil ) 8723 nil nil ( 7923 7923 nil nil nil nil nil nil 9127 nil nil nil 8129 nil nil ) ( 8923 8923 9823 nil nil nil 9723 nil nil nil nil nil nil nil nil ) nil ) ( 7028 nil 0728 0827 nil nil 0928 ( 7126 7126 nil nil nil nil nil 7423 nil nil nil nil nil nil nil ) ( 0729 0729 0927 nil nil 0829 nil nil nil nil nil nil 0178 nil nil ) ( 0873 0873 0783 nil nil nil nil nil 0187 nil nil nil nil nil nil ) 9153 ( 9126 9126 nil nil nil nil nil 9423 nil nil nil 7153 nil nil nil ) ( 8126 8126 nil nil nil nil nil 8423 nil nil nil nil 0198 nil nil ) ( 0893 0893 0983 nil nil 0793 0973 0197 0189 nil nil nil 0179 nil nil ) 8153 ) ( 4127 nil nil nil nil 4126 0147 ( 0527 0527 nil nil nil 0627 nil 0167 nil nil nil nil 5126 nil 4153 ) ( 0174 0174 nil nil nil nil 0724 nil nil nil nil nil nil nil nil ) nil ( 0863 0863 0683 nil nil 0963 ( 0583 0583 nil nil nil nil nil 0693 nil nil nil nil nil nil nil ) 0593 nil nil nil nil nil nil nil ) ( 0528 0528 0825 nil nil ( 0529 0529 nil nil nil nil nil 0628 nil nil nil nil nil nil nil ) 0925 ( 0168 0168 nil nil nil nil nil nil nil nil nil nil 0629 nil nil ) 0185 nil nil 0169 0195 nil 6153 ) ( 0148 0148 0184 nil nil 0149 0194 0175 0824 nil nil 0725 0924 nil ( 5423 5423 nil nil nil 6423 nil nil nil nil nil nil nil nil nil ) ) 0743 ( 4869 nil nil nil nil nil nil nil nil nil 0573 0763 0843 0943 0673 ) ) ( 4263 nil 4623 nil nil 4163 4523 5163 ( 5623 5623 6523 nil nil nil nil nil nil nil nil nil 6143 nil nil ) 6124 nil nil ( 4125 4125 nil nil nil nil nil nil 5143 nil nil nil nil nil nil ) ( 5124 5124 nil nil nil nil 6125 nil nil nil nil nil nil nil nil ) nil ) ( 7148 nil nil nil nil 7143 ( 4128 4128 nil nil nil nil 7124 nil 8143 nil nil nil nil nil nil ) ( 6128 6128 nil nil nil 5128 nil 7125 nil nil nil 9143 7163 nil nil ) ( 4173 4173 nil nil nil 4183 4127 nil nil nil nil nil 8124 nil nil ) nil ( 5923 5923 9523 nil nil 6923 9623 nil nil nil nil nil nil nil nil ) ( 5192 nil 5129 9125 nil 5193 nil 6193 6129 nil nil nil 9163 7523 7623 ) ( 5683 nil nil nil nil 5183 6183 5173 8163 nil ( 4129 4129 9124 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 4193 4193 nil nil nil nil nil nil nil nil nil 5127 nil nil nil ) 6173 8125 6127 ) ( 4723 4723 nil nil nil 4823 nil nil nil nil nil nil nil nil nil ) ( 6708 nil nil nil nil nil nil 6723 nil nil 4923 5723 6823 8623 ( 5823 5823 8523 nil nil nil nil nil nil nil nil nil nil nil nil ) ) ) ) 6: val=371000, type=2H0B, len=180,c_compute=12220 c_long_compute=12220,c_tablelen=17459446,c_selectlen=12273 real 4:03.6 user 4:01.8 sys 0.4 ( 0245 nil nil nil nil ( 0215 0215 nil nil nil 0235 0241 nil nil nil nil nil nil nil nil ) ( 0214 0214 nil nil nil 0234 0251 nil 0342 nil nil nil nil nil nil ) ( 2617 nil nil nil nil nil 0217 nil 0216 ( 0261 0261 nil nil nil 0271 nil nil nil nil nil nil nil nil nil ) nil 0315 ( 0218 0218 nil nil nil 0219 nil 0237 nil nil nil nil nil nil nil ) ( 0281 0281 nil nil nil 0291 nil 0236 nil nil nil nil 1243 nil nil ) ( 0238 0238 nil nil nil 0239 nil nil nil nil nil nil 0341 nil nil ) ) ( 0152 nil 0512 2105 1025 0352 ( 0412 0412 nil nil nil nil nil 0532 nil nil nil nil nil nil nil ) 0432 2140 ( 3025 3025 nil nil 5203 nil nil nil nil nil nil nil nil nil nil ) nil nil nil ( 2043 2043 nil 4203 nil nil nil nil nil nil nil nil nil nil nil ) nil ) ( 4320 4320 3420 3024 2403 5320 ( 1420 1420 nil 4021 nil nil nil 3520 nil nil nil nil nil nil nil ) 1520 ( 1024 1024 nil nil 4102 nil nil nil nil nil nil nil nil nil nil ) ( 2104 2104 nil nil nil nil nil 2503 nil nil nil nil 2053 nil nil ) nil nil ( 2150 2150 nil nil 5021 nil nil nil nil nil nil nil nil nil nil ) 5102 nil ) nil ( 6217 nil nil nil nil 6213 7213 ( 8213 8213 nil nil nil 9213 nil nil nil nil nil nil 0317 nil nil ) ( 1263 1263 nil nil nil 1273 nil nil nil nil nil nil nil nil nil ) nil nil ( 0318 0318 nil nil nil 0319 nil nil nil nil nil nil nil nil nil ) ( 1283 1283 nil nil nil 1293 nil nil nil nil nil nil nil 0316 nil ) ( 0361 0361 0631 nil nil 0371 0731 nil nil nil nil nil nil nil nil ) ( 0381 0381 0831 nil nil 0391 0931 nil nil nil nil nil nil nil nil ) ) ( 6732 nil nil nil nil 0732 0632 ( 0832 0832 nil nil nil 0932 nil 0712 nil nil nil nil nil nil nil ) ( 0362 0362 nil nil 6203 0372 nil nil nil nil nil nil nil nil nil ) 7203 nil ( 4318 nil nil nil nil nil nil nil nil 0431 nil 0912 0812 0531 nil ) ( 0382 0382 nil nil nil 0392 nil 0612 nil nil nil nil 3142 2135 nil ) ( 5218 nil nil nil nil 5213 nil 4213 1253 1325 nil 9203 8203 nil nil ) ( 3140 3140 nil 1043 0314 nil 3105 nil nil 0351 nil nil nil nil nil ) ) ( 6720 nil nil nil nil ( 6320 6320 nil nil nil nil 3720 1720 nil nil nil nil nil nil nil ) ( 6021 6021 nil 1620 nil nil nil nil 3620 nil nil nil 7320 nil nil ) ( 3820 3820 8320 nil nil ( 1820 1820 nil nil nil nil nil 3920 nil nil nil nil nil nil nil ) 9320 1920 nil nil nil nil nil nil nil ) ( 1064 nil nil nil nil nil 1026 1027 2160 6102 nil 3027 ( 3026 3026 nil nil nil nil nil 7021 nil nil nil nil nil nil nil ) 2170 2703 ) ( 2063 2063 2603 nil nil 2073 nil nil 2106 nil nil nil 2107 7102 nil ) nil ( 3421 3421 4321 1324 nil 3521 5321 nil nil 4130 nil nil 3150 5130 nil ) ( 1028 1028 8021 nil 2180 ( 1029 1029 nil nil nil nil nil 3028 nil nil nil nil nil nil nil ) 9021 3029 nil 2190 nil nil nil nil nil ) ( 2083 2083 2803 nil nil 2093 2903 nil 2108 8102 nil nil 2109 9102 nil ) ( 5213 nil 2513 5132 3152 5013 2413 4013 ( 1053 1053 1503 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 2134 2134 4132 nil nil nil nil nil nil nil nil nil nil nil nil ) nil nil 1403 3104 nil ) ) ( 6172 nil nil nil nil ( 3172 3172 nil nil nil nil 6132 nil nil nil nil nil nil nil nil ) ( 3162 3162 nil nil nil nil 7132 nil nil nil nil nil nil nil nil ) ( 3182 3182 8132 nil nil 3192 9132 3170 nil nil nil nil 6130 nil nil ) ( 6321 6321 nil nil 2136 nil nil nil nil 2137 nil nil nil nil nil ) ( 1326 1326 nil 3621 2613 1327 7321 nil 3721 2713 nil nil nil nil nil ) nil ( 3108 3108 3180 8130 nil 3109 3190 nil 9130 nil nil nil nil nil nil ) ( 3106 3106 3160 nil 6013 3107 nil nil 7130 1073 nil nil ( 2138 2138 nil nil nil 2139 nil nil nil nil nil nil nil nil nil ) nil nil ) ( 1328 1328 8321 3821 2813 1329 9321 nil 3921 2913 nil nil ( 1063 1063 1603 nil nil nil 1703 nil nil nil nil nil nil nil nil ) 7013 nil ) ( 1803 1803 1083 8013 nil 1903 1093 nil 9013 nil nil nil nil nil nil ) ) ) 7: val=404841, type=1H2B, len=216,c_compute=17347 c_long_compute=17347,c_tablelen=13076072,c_selectlen=17717 real 3:49.7 user 3:48.9 sys 0.5 ( 1435 nil nil nil nil ( 1235 1235 nil nil nil 1035 1432 1430 nil nil nil nil nil nil nil ) ( 1234 1234 nil 2431 nil 1034 1532 1530 nil nil nil nil 1305 nil nil ) ( 1267 nil nil nil nil 1237 1236 ( 2138 nil 1238 nil nil nil nil nil 1239 nil nil nil 1037 1205 nil ) ( 1632 1632 nil nil nil 1732 nil nil nil nil nil nil nil nil nil ) nil nil ( 1038 1038 1830 nil nil 1039 1930 nil nil nil nil nil nil nil nil ) ( 0836 nil nil nil nil nil 1036 1832 1630 nil nil 1932 1730 nil 1402 ) nil ( 2035 2035 nil nil nil nil 2430 nil nil nil nil nil nil nil nil ) ) ( 3215 3215 2315 5231 ( 1352 1352 nil nil 2531 nil nil nil nil nil nil nil nil nil nil ) 3015 3412 3410 4231 ( 5031 5031 nil nil 1350 nil nil nil nil nil nil nil nil 1342 nil ) nil nil 3401 ( 1304 1304 1340 nil 4031 nil nil nil nil nil nil nil nil nil nil ) nil ) ( 2341 2341 ( 2314 2314 nil nil 3241 nil nil nil nil nil nil nil nil nil nil ) 4312 3214 2351 ( 3041 3041 nil 4301 nil nil nil nil nil nil nil nil nil nil nil ) 5301 ( 4310 4310 nil nil nil nil nil 5312 nil nil nil nil nil 3251 nil ) ( 3014 3014 nil nil nil nil nil 3512 nil nil nil nil nil nil nil ) nil nil ( 3501 3501 3051 nil 5310 nil nil nil nil nil nil nil nil nil nil ) 3510 nil ) nil ( 1672 nil nil nil nil ( 1072 1072 nil nil nil nil 1602 nil nil nil nil nil nil nil nil ) ( 1062 1062 nil nil nil nil 1702 nil 1270 nil nil nil nil nil nil ) ( 1082 1082 1802 nil nil 1092 1902 nil nil nil nil nil nil nil nil ) ( 1206 1206 1260 nil nil 1207 nil nil nil nil nil nil nil nil nil ) nil nil ( 8032 8032 nil nil nil 9032 nil nil nil nil nil nil nil nil nil ) ( 1780 nil nil nil nil 1280 nil 1290 1208 nil nil 2630 1209 7032 6032 ) ( 6230 6230 nil 2036 nil 7230 2730 nil 2037 nil nil nil nil nil nil ) ( 2038 2038 2830 8230 nil 2039 2930 nil 9230 nil nil nil nil nil nil ) ) ( 2460 nil nil nil nil 2410 2401 ( 1360 1360 nil nil nil nil nil nil nil nil nil nil 2530 nil nil ) ( 2034 2034 nil 4230 3402 nil nil nil nil 1240 nil nil nil nil nil ) ( 4032 4032 nil nil nil nil 1042 nil nil 1204 nil nil nil nil nil ) nil ( 0781 nil nil nil nil nil nil 2731 1380 1370 nil 2931 2831 1390 nil ) ( 2015 2015 nil nil 1250 nil 2305 nil nil 5230 nil nil 2631 1362 nil ) ( 5032 5032 nil nil 3205 nil 1052 6031 1502 nil nil nil 6231 1306 nil ) ( 7281 nil nil nil nil 7231 8231 ( 7031 7031 nil nil nil nil nil 9231 nil nil nil nil nil nil nil ) 1382 1372 nil 9031 8031 ( 1307 1307 nil nil nil 1308 nil 1392 nil nil nil nil nil nil nil ) 1309 ) ) ( 3671 nil nil nil nil ( 3071 3071 nil nil nil 3271 3601 nil nil nil nil nil nil nil nil ) ( 3061 3061 nil 3610 nil 3261 3701 nil 3612 nil nil nil 2371 nil nil ) ( 3801 3801 3081 nil nil 3901 ( 3091 3091 nil nil nil nil nil 3281 nil nil nil nil nil nil nil ) 3291 nil nil nil nil nil nil nil ) ( 3710 3710 3017 nil 7301 3712 ( 3016 3016 nil nil nil nil nil 3217 nil nil nil nil nil nil nil ) 3216 nil 6301 nil nil nil 2361 nil ) ( 2316 2316 6312 nil nil 2317 ( 6310 6310 nil nil nil nil nil 7312 nil nil nil nil nil nil nil ) 7310 nil nil nil nil nil nil nil ) nil ( 2051 2051 2501 5201 nil 2041 3052 nil ( 3250 3250 nil nil nil nil nil nil nil nil nil nil 4201 nil nil ) 3502 nil nil 3042 ( 3204 3204 3240 nil nil nil nil nil nil nil nil nil nil nil nil ) nil ) ( 3218 3218 3812 nil 2381 ( 3018 3018 nil nil nil nil nil 3219 nil nil nil nil nil nil nil ) ( 3810 3810 nil nil nil nil nil 3912 nil nil nil nil nil nil nil ) ( 3019 3019 3910 nil nil nil nil nil nil nil nil nil nil nil nil ) nil ( 2391 2391 nil nil nil nil nil 8301 nil nil nil nil nil nil nil ) nil nil nil 9301 nil ) ( 2318 2318 8312 nil nil 2319 ( 8310 8310 nil nil nil nil nil 9312 nil nil nil nil nil nil nil ) 9310 nil nil nil nil nil nil nil ) ( 4210 4210 4012 2014 nil 5210 2510 nil ( 4302 4302 nil 2340 nil nil nil nil nil nil nil nil 5012 nil nil ) 2304 nil nil 2350 5302 nil ) ) ( 2617 nil nil nil nil ( 2017 2017 nil nil nil nil 2610 nil nil nil nil nil nil nil nil ) ( 2016 2016 nil 2601 nil nil 2710 nil nil nil nil nil nil nil nil ) ( 2018 2018 2810 nil nil 2019 2910 nil nil nil nil nil 2307 nil nil ) ( 2061 2061 nil 6012 6210 2071 2701 nil 7012 7210 nil nil nil nil nil ) ( 6201 6201 nil nil nil 7201 nil nil nil nil nil nil nil nil nil ) nil ( 2308 2308 2380 nil nil 2309 2390 nil nil nil nil nil nil nil nil ) ( 2081 2081 2801 8012 8210 2091 2901 nil 9012 9210 nil nil ( 2306 2306 2360 nil nil nil 2370 nil nil nil nil nil nil nil nil ) ( 3207 3207 nil nil nil nil 3602 nil nil nil nil nil nil nil nil ) nil ) ( 3270 3270 3072 3702 7302 3260 3206 nil 3062 6302 nil nil ( 8201 8201 nil nil nil 9201 nil nil nil nil nil nil nil nil nil ) nil nil ) ( 3280 3280 ( 3082 3082 nil 3208 nil nil nil nil nil nil nil nil nil nil nil ) 3802 8302 3290 3209 nil ( 3092 3092 3902 nil nil nil nil nil nil nil nil nil nil nil nil ) 9302 nil nil nil nil nil ) ) ) 8: val=415351, type=0H3B, len=264,c_compute=32018 c_long_compute=32018,c_tablelen=26803936,c_selectlen=33091 real 7:31.5 user 7:29.5 sys 0.5 ( 4567 4567 ( 0457 nil nil nil nil nil ( 4657 4657 nil 5467 nil nil nil nil nil nil nil nil nil nil nil ) nil 6547 ( 4071 nil nil nil nil nil nil 4576 nil nil nil nil 4765 7564 nil ) nil nil nil nil nil ) ( 0456 nil nil nil nil nil ( 4756 4756 nil 6457 nil nil nil nil nil nil nil nil nil nil nil ) nil ( 7465 7465 nil 7546 nil nil nil nil nil nil nil nil nil nil nil ) ( 6574 6574 nil ( 4675 4675 nil nil 5764 nil nil nil nil nil nil nil nil nil nil ) 5647 nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil ) ( 0476 nil nil nil nil 5476 ( 6475 6475 nil 7456 nil nil nil nil nil nil nil nil nil nil nil ) nil ( 5674 5674 nil 5746 nil nil nil nil nil nil nil nil nil nil nil ) ( 6704 nil nil nil nil 6754 6745 nil 7654 7645 nil nil nil nil nil ) nil nil nil nil nil ) ( 4578 nil 4587 nil nil 4568 4597 4569 ( 4867 4867 nil nil nil nil 8567 nil nil nil nil nil nil nil nil ) nil nil nil ( 4967 4967 nil nil nil nil 9567 nil nil nil nil nil nil nil nil ) nil nil ) ( 4678 nil ( 4687 4687 nil 4768 nil nil nil nil nil nil nil nil nil nil nil ) nil 8467 4578 4697 4579 ( 4857 4857 nil nil nil nil 4865 nil 4586 7568 nil nil 4769 nil nil ) ( 6587 6587 nil 5867 nil nil 8547 nil 8564 nil nil nil 9467 nil nil ) nil nil ( 4596 4596 nil 4965 nil nil nil nil 4957 nil nil nil nil nil nil ) ( 0594 nil nil nil nil nil 9564 6597 9547 nil nil nil 7569 5967 nil ) nil ) ( 4689 nil 4869 4968 nil 4589 4987 nil ( 4598 4598 nil nil nil nil 4897 nil 8569 nil nil nil nil nil nil ) ( 8967 8967 9867 nil nil nil nil nil 9568 nil nil nil nil nil nil ) nil nil 9587 8597 nil ) ( 0578 nil nil nil nil 6578 ( 7548 7548 nil 8574 nil nil nil nil 8576 nil nil nil nil nil nil ) ( 6579 6579 9576 nil nil nil 9574 6548 nil nil nil nil 4678 nil nil ) ( 4758 4758 nil 4875 7584 nil 5768 nil nil 7586 nil nil nil nil nil ) ( 8457 8457 5487 5847 4785 8657 6857 nil ( 5687 5687 nil nil 8765 nil nil nil nil nil nil nil nil nil nil ) 7865 nil nil nil nil nil ) nil ( 9546 9546 6549 6594 nil nil nil nil 4976 4679 nil nil nil nil nil ) ( 8546 8546 nil 6584 ( 4658 4658 nil 5468 nil nil nil nil nil nil nil nil nil nil nil ) nil nil ( 7549 7549 nil nil nil nil 7596 nil nil nil nil nil nil nil nil ) 4876 7468 nil nil 7594 4975 nil ) ( 5697 5697 9657 ( 5769 5769 nil nil 6957 nil nil nil nil nil nil nil nil nil nil ) ( 7965 7965 9765 nil nil nil nil nil nil nil nil nil nil nil nil ) 5497 5947 8647 ( 4795 4795 nil nil 9457 nil nil nil nil nil nil nil nil nil nil ) 4759 nil nil ( 5864 5864 nil nil 4685 nil nil nil 6847 6487 nil nil nil nil nil ) ( 4786 4786 nil 8764 7864 nil 4856 nil nil 8465 nil nil nil nil nil ) nil ) ( 5964 5964 5469 ( 4956 4956 nil nil 9465 nil nil nil nil nil nil nil nil nil nil ) ( 4659 4659 4695 nil nil nil nil nil nil nil nil nil nil nil nil ) 7964 9764 nil ( 6947 6947 nil nil 7469 nil nil nil nil nil nil nil nil nil nil ) ( 4796 4796 nil 6497 9647 nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil ) ) ( 5678 5678 ( 7658 7658 nil 8675 5876 nil nil nil nil nil nil nil nil nil nil ) ( 7685 7685 nil ( 5786 5786 nil nil 6875 nil nil nil nil nil nil nil nil nil nil ) 6758 nil nil nil nil nil nil nil nil nil nil ) ( 7856 7856 8756 nil 6785 nil nil nil nil nil nil nil nil nil nil ) ( 5478 5478 nil nil nil nil 5648 5679 nil nil nil nil nil nil nil ) ( 8604 nil nil nil nil 8674 5684 nil 7648 6478 nil 9675 5874 5748 5976 ) ( 0574 nil nil nil nil nil 5974 9674 5479 nil nil nil 5694 5649 nil ) ( 8475 8475 nil 7458 5784 8476 8645 6975 ( 5486 5486 nil 6458 8654 nil nil nil nil 6874 nil nil nil nil nil ) ( 6748 6748 nil nil 7684 nil nil nil 5846 nil nil nil nil nil nil ) nil nil 7695 ( 5796 5796 nil nil 7659 nil nil nil nil nil nil nil nil nil nil ) nil ) ( 7854 7854 ( 7845 7845 nil nil 8754 nil nil nil nil nil nil nil nil nil nil ) 7485 8745 6854 7846 7956 ( 6784 6784 nil 7486 nil nil nil nil 6845 8456 nil nil nil nil nil ) ( 6485 6485 nil nil nil nil nil nil nil 8746 nil nil nil nil nil ) nil nil ( 6759 6759 9756 nil nil nil nil nil nil nil nil nil nil nil nil ) 6795 nil ) nil nil ( 9476 9476 6479 6974 ( 7649 7649 7694 nil nil nil nil nil nil nil nil nil nil nil nil ) 9475 5496 nil ( 9645 9645 9654 5946 nil nil nil nil nil nil nil nil nil nil nil ) ( 5749 5749 5794 nil nil nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil ) ( 6945 6945 ( 6495 6495 nil 6954 nil nil nil nil nil nil nil nil nil nil nil ) 6459 9456 7945 ( 6749 6749 nil 7946 nil nil 9745 nil nil nil nil nil nil nil nil ) nil ( 7495 7495 nil 7954 nil nil nil nil 6794 9746 nil nil nil nil nil ) ( 7459 7459 nil 9754 nil nil 7496 nil nil nil nil nil nil nil nil ) nil nil nil nil nil ) nil ) nil nil ( 4689 4689 ( 4698 4698 nil 4986 nil nil nil nil nil nil nil nil nil nil nil ) ( 4896 4896 nil nil 8469 nil nil nil nil nil nil nil nil nil nil ) ( 8964 8964 9864 9468 nil nil nil nil nil nil nil nil nil nil nil ) 4789 ( 4859 4859 nil 4985 nil 4879 nil nil 6589 nil nil nil nil 9687 nil ) 7589 ( 8769 8769 7869 8697 6987 nil 5869 8549 4798 ( 4978 4978 nil nil 9487 nil nil nil nil nil nil nil nil 9586 nil ) nil nil nil ( 4895 4895 nil 4958 9584 nil nil nil nil nil nil nil nil nil nil ) nil ) ( 8596 8596 6598 8965 ( 5968 5968 nil 9865 nil nil nil nil nil nil nil nil nil nil nil ) 8594 nil 8497 ( 6897 6897 nil nil nil nil nil nil nil nil nil nil nil 9548 nil ) ( 7968 7968 9768 nil nil nil nil nil nil nil nil nil nil nil nil ) nil nil 8947 9847 nil ) nil nil ( 5987 5987 nil nil 8579 nil nil nil nil nil nil nil nil nil nil ) ( 8957 8957 9857 5897 ( 7598 7598 9578 nil nil nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil nil nil nil nil nil ) nil ) ( 5689 5689 ( 8659 8659 nil ( 5698 5698 nil 9685 nil nil nil nil nil nil nil nil nil nil nil ) 5986 nil nil nil nil nil nil nil nil nil nil ) ( 6985 6985 nil ( 6859 6859 nil nil 8695 nil nil nil nil nil nil nil nil nil nil ) ( 5896 5896 nil nil 9658 nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil nil nil nil nil nil ) ( 8950 nil nil nil nil 8956 6958 nil 9856 6895 nil nil nil nil nil ) ( 7689 7689 nil nil nil nil 5789 5489 nil nil nil nil nil nil nil ) ( 8649 8649 nil ( 6489 6489 nil 9684 nil nil nil nil nil nil nil nil nil nil nil ) nil 8679 5849 nil 6789 5984 nil nil 5879 nil nil ) 7489 ( 7985 7985 9785 ( 5978 5978 nil nil 7859 nil nil nil nil nil nil nil nil nil nil ) ( 5798 5798 nil 8759 nil nil nil nil nil nil nil nil nil nil nil ) 7986 9485 6984 ( 7698 7698 nil nil 9786 nil nil nil nil nil nil nil 5948 nil nil ) ( 5498 5498 5894 8459 nil nil nil nil nil nil nil nil 9678 6879 nil ) nil nil 9486 ( 8694 8694 nil 9648 6849 nil nil nil nil nil nil nil nil nil nil ) nil ) ( 6948 6948 ( 6498 6498 nil nil 8946 nil nil nil nil nil nil nil nil nil nil ) ( 6894 6894 nil 9846 nil nil nil nil nil nil nil nil nil nil nil ) 8496 6978 ( 6798 6798 nil nil nil nil nil nil nil nil nil nil nil 8945 nil ) 7958 ( 8954 8954 nil 9458 9845 nil nil 8976 nil nil nil nil nil nil nil ) ( 8495 8495 nil nil 9854 nil nil 8796 nil nil nil nil 7896 9876 nil ) nil nil ( 8975 8975 nil nil 9758 nil nil nil nil nil nil nil nil nil nil ) ( 9875 9875 7895 8795 nil nil nil nil nil nil nil nil nil nil nil ) nil ) nil nil ( 8479 8479 8749 7849 ( 7984 7984 9784 nil nil nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil nil nil nil nil nil ) ( 8794 8794 ( 7894 7894 nil 8974 nil nil nil nil nil nil nil nil nil nil nil ) ( 9874 9874 nil 9748 7498 nil nil nil nil nil nil nil nil nil nil ) ( 7948 7948 nil 9478 nil nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil nil nil nil nil nil ) nil ) nil ) 9: val=257748, type=0H0B, len=360,c_compute=1173 c_long_compute=1173,c_tablelen=653604,c_selectlen=1219 real 10.9 user 10.2 sys 0.6 ( 0456 0456 ( 0124 nil nil nil nil nil nil 0654 nil nil nil nil ( 0465 0465 nil 0546 nil nil nil nil nil nil nil nil nil nil nil ) nil nil ) ( 0564 0564 nil 0645 nil nil nil nil nil nil nil nil nil nil nil ) nil ( 4758 nil nil nil nil nil 0458 0756 0457 nil nil 0956 ( 0459 0459 nil nil nil nil nil 0856 nil nil nil nil nil nil nil ) ( 0476 0476 nil nil nil 0486 nil nil nil nil nil nil nil nil nil ) 0496 ) ( 0467 0467 nil 0746 nil ( 0468 0468 nil nil nil 0469 nil nil nil nil nil nil nil nil nil ) ( 0475 0475 nil nil nil nil nil nil 0657 nil nil nil nil nil nil ) ( 0485 0485 nil nil nil 0495 nil nil nil nil nil nil nil nil nil ) ( 0846 0846 nil nil nil 0946 nil 0576 nil nil nil nil 0754 nil nil ) nil nil nil ( 0658 0658 nil 0586 nil 0659 0854 0954 0596 nil nil nil 6453 5426 nil ) 4156 nil ) ( 7058 nil 0758 0857 nil nil 0958 ( 7156 7156 nil nil nil nil nil 7453 nil nil nil nil nil nil nil ) ( 0759 0759 0957 nil nil 0859 nil nil nil nil nil nil 0478 nil nil ) ( 0876 0876 0786 nil nil nil nil nil 0487 nil nil nil nil nil nil ) 9426 ( 9156 9156 nil nil nil nil nil 9453 nil nil nil 7426 nil nil nil ) ( 8156 8156 nil nil nil nil nil 8453 nil nil nil nil nil nil 0498 ) ( 0896 0896 0986 nil nil 0796 0976 0497 0489 nil nil nil 0479 nil nil ) 8426 ) ( 1567 nil nil nil nil 0567 nil ( 0568 0568 nil nil nil 0569 nil 0547 nil nil nil nil nil nil nil ) 0765 ( 5146 5146 nil 6154 nil nil nil nil nil nil nil nil nil 0675 nil ) nil ( 0864 0864 nil nil nil 0964 0584 0594 0548 nil nil nil 0549 nil nil ) ( 0768 nil nil nil nil 0764 0865 0965 0647 nil nil 5463 0574 nil 4526 ) ( 2845 nil nil nil nil nil nil 0745 6425 nil nil 0695 0685 4653 0674 ) ( 0845 0845 nil nil nil 0945 0648 0649 0684 nil nil nil 0694 nil nil ) ) ( 4563 4563 6543 5643 nil nil 4165 nil ( 4625 4625 nil 6524 nil nil nil nil nil 5164 nil nil nil nil nil ) ( 5624 5624 nil nil nil nil nil nil nil 6145 nil nil nil nil nil ) nil nil nil nil nil ) ( 1789 nil 7189 ( 8179 8179 nil 9187 nil nil nil nil nil nil nil nil nil nil nil ) ( 8197 8197 7198 9178 nil nil nil nil nil nil nil nil nil nil nil ) nil ( 8729 8729 nil nil nil nil nil nil 9783 nil nil nil nil nil nil ) nil ( 7829 7829 nil 9728 nil nil nil nil 7983 8793 nil nil nil nil nil ) ( 8973 8973 9873 7893 nil nil 8927 nil 7928 9827 nil nil nil nil nil ) nil nil nil nil nil ) ( 7168 nil 7186 8176 nil 7158 7196 ( 7159 7159 nil nil nil nil 9158 nil nil nil nil 7428 nil nil nil ) ( 8196 8196 9186 nil nil nil 9176 8157 nil nil nil nil 7826 nil nil ) 8726 nil ( 7953 7953 nil nil nil nil 7493 nil nil nil nil nil 7429 nil 9428 ) ( 5918 nil nil nil 8159 nil nil 0978 nil 9157 nil 7926 0798 7853 7483 ) ( 4783 nil nil 8473 nil nil 8753 0789 nil 8427 nil 9726 0987 ( 0879 0879 0897 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 8926 8926 9826 nil nil nil nil nil nil nil nil nil nil nil nil ) ) ( 9853 9853 8953 nil nil 9753 9483 9473 8493 nil nil 9427 nil 8429 nil ) ) ( 0478 nil ( 0748 0748 nil 0874 nil nil nil nil nil nil nil nil nil nil nil ) ( 0784 0784 nil 0847 nil nil nil nil nil nil nil nil nil nil nil ) nil ( 0578 0578 nil nil nil 0678 nil nil nil nil nil nil nil nil nil ) ( 0768 0768 nil nil nil nil nil 0948 0875 nil nil nil 0974 nil nil ) ( 0968 0968 0698 nil nil nil 0598 0975 0679 nil 5473 5428 ( 0579 0579 nil nil nil nil nil nil nil nil 6428 nil nil nil nil ) nil 6473 ) ( 0794 0794 0749 0947 nil 0894 0984 0785 0849 nil nil nil ( 0687 0687 0867 nil nil 0587 nil nil nil nil nil nil nil nil nil ) nil nil ) nil ( 2953 nil nil nil nil 6953 9653 nil 5926 9526 nil nil 6159 5196 nil ) ( 5293 nil nil nil nil 5493 nil 6493 5429 9425 nil 5176 9463 6429 6158 ) ( 0589 0589 0985 0895 nil 0689 ( 0597 0597 nil nil nil nil nil nil nil nil nil nil 0869 nil nil ) 0769 0795 nil ( 6427 6427 nil nil nil nil nil nil 7463 4176 nil nil nil nil nil ) 6483 ( 0967 0967 0697 nil nil nil nil nil nil nil 5483 nil nil nil nil ) ( 4158 4158 nil nil nil nil nil nil nil 8425 nil nil nil nil nil ) ( 7425 7425 5427 nil nil nil nil nil nil nil nil 8463 nil nil nil ) ) ( 4753 4753 nil nil nil 4853 4157 4726 7154 nil nil ( 4186 4186 nil nil nil nil 4826 nil nil nil nil nil nil nil nil ) 8154 7146 8146 ) ( 7526 7526 5726 nil nil 8526 5826 4926 7653 ( 6157 6157 nil nil nil nil 6753 nil nil nil nil nil nil nil nil ) nil ( 4196 4196 9146 nil nil nil nil nil nil nil nil nil nil nil nil ) 5186 ( 6853 6853 8653 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 4159 4159 9154 nil nil nil 4953 nil nil nil nil nil nil nil nil ) ) ) ( 7145 7145 ( 4175 4175 nil 5147 nil nil nil nil nil nil nil nil nil nil nil ) 5174 nil ( 8145 8145 nil nil nil 9145 nil 7165 nil nil nil nil nil nil nil ) ( 4185 4185 nil 5148 nil 4195 nil 6175 5149 nil nil nil ( 6147 6147 nil 7164 nil nil nil nil nil nil nil nil nil nil nil ) 7543 nil ) ( 6158 nil 6185 8165 nil 6148 6195 6149 9165 nil nil nil nil 7625 7643 ) ( 5762 nil nil nil nil nil 5167 5743 4725 7524 nil ( 5184 5184 nil nil nil 5194 nil nil nil nil nil nil nil nil nil ) 4167 6174 nil ) ( 4527 4527 nil 5724 nil nil 4573 nil nil nil nil nil nil nil nil ) nil ( 8625 8625 6825 nil nil 9625 6925 8643 nil nil nil 9643 nil 6843 6943 ) ( 4168 4168 8164 6184 nil ( 4169 4169 nil nil nil nil nil 5168 nil nil nil nil nil nil nil ) 9164 5169 6194 nil nil ( 4925 4925 nil nil nil nil nil nil nil nil nil nil nil nil 7563 ) 4825 ( 5843 5843 8543 nil nil nil nil 6743 nil nil nil nil nil nil 7624 ) ( 5943 5943 9543 nil nil nil nil nil nil nil nil nil nil nil 6725 ) ) ( 5824 5824 8524 4528 nil 5924 9524 ( 5627 5627 nil nil nil nil nil nil 6724 nil nil nil nil nil nil ) 4529 4583 nil ( 5673 5673 5763 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 4627 4627 nil nil nil nil 6527 nil nil nil nil nil nil nil nil ) 4593 ( 6573 6573 nil nil nil nil 4673 nil 4763 nil nil nil nil nil nil ) ) ( 5683 5683 ( 5863 5863 nil 6583 nil nil nil nil nil nil nil nil nil nil nil ) 8563 nil ( 4683 4683 nil nil nil nil nil 5693 nil nil nil nil nil nil nil ) ( 5628 5628 nil nil nil nil nil nil nil nil nil nil 5963 nil nil ) ( 4693 4693 nil nil nil nil nil nil nil nil nil nil 5629 nil nil ) ( 6593 6593 9563 nil nil nil nil nil nil nil nil nil 4863 nil nil ) 6528 nil ( 4629 4629 9624 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 4628 4628 8624 nil nil nil nil nil nil nil nil nil 4963 nil nil ) ( 6529 6529 nil nil nil nil nil 6824 nil nil nil nil nil nil nil ) 6924 ) ) ( 7148 7148 ( 0124 nil nil nil nil nil nil 7184 nil nil nil nil ( 4178 4178 nil 8147 nil nil nil nil nil nil nil nil nil nil nil ) nil nil ) ( 4187 4187 nil 8174 nil nil nil nil nil nil nil nil nil nil nil ) nil ( 7149 7149 nil nil nil nil 9148 7168 nil nil nil nil nil nil nil ) ( 4198 4198 nil 8149 nil nil 7194 ( 5178 5178 nil nil nil 6178 nil nil nil nil nil nil nil nil nil ) 9147 nil nil nil 7185 7843 nil ) ( 6198 6198 9168 nil nil 5198 nil 7195 7169 nil nil 7528 7628 nil 7943 ) ( 4189 4189 9184 8194 nil 4179 4197 ( 5187 5187 nil nil nil 6187 nil nil nil nil nil nil nil nil nil ) 9174 nil nil nil ( 8167 8167 nil nil nil nil 8175 nil nil nil nil nil nil 4728 nil ) ( 7824 7824 nil nil nil nil nil nil nil 8743 nil nil nil nil nil ) nil ) ( 4827 4827 nil 8724 nil nil 4873 nil 4783 nil nil nil nil nil nil ) nil ( 6928 6928 9628 nil nil 5928 9528 7925 7629 nil nil nil ( 7529 7529 nil nil nil nil nil nil nil nil nil nil 7963 nil nil ) 7693 7593 ) ( 5189 5189 9185 8195 nil ( 5179 5179 nil nil nil nil nil 6189 nil nil nil nil nil nil nil ) ( 5197 5197 nil nil nil nil nil nil nil nil nil nil 8169 nil nil ) 6179 9175 nil nil 7683 ( 7583 7583 nil nil nil nil nil nil nil 5728 nil nil nil nil ( 6197 6197 9167 nil nil nil nil nil nil nil nil nil nil nil nil ) ) ( 7825 7825 nil nil nil nil nil nil nil nil nil 9843 4928 nil 8943 ) ( 6728 6728 nil nil nil nil nil nil nil 7863 nil 9743 7924 nil nil ) ) ( 6873 6873 ( 6783 6783 nil 8673 nil nil nil nil nil nil nil nil nil nil nil ) 8763 nil 5873 ( 6827 6827 nil nil nil nil nil nil nil nil nil nil nil 8573 nil ) ( 4893 4893 nil nil nil nil 4973 nil nil nil nil nil nil nil nil ) 5783 8627 nil ( 4829 4829 9824 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 4793 4793 nil nil nil nil 4983 nil nil nil nil nil nil nil 5827 ) ( 8527 8527 8725 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 9724 9724 4729 4927 nil nil 8924 nil nil nil nil nil nil nil nil ) ) ( 9763 9763 ( 6793 6793 nil 9673 nil nil nil nil nil nil nil nil nil nil nil ) 6973 nil 9863 ( 9573 9573 nil 5793 nil nil nil 9683 nil nil nil nil 8963 nil nil ) ( 9583 9583 nil nil nil nil nil nil nil nil nil nil 9725 nil nil ) ( 6983 6983 6893 8693 nil nil nil 5973 nil nil nil nil 6729 9627 nil ) 6927 nil 9825 ( 5983 5983 5893 8593 nil nil nil nil nil nil nil nil 5729 9527 nil ) ( 6829 6829 8629 nil nil nil nil nil nil nil nil nil 5927 nil nil ) ( 8925 8925 8529 5829 nil nil nil nil nil nil nil nil nil nil nil ) ) ) ) 10: val=422208, type=1H0B, len=480,c_compute=52956 c_long_compute=52956,c_tablelen=124802852,c_selectlen=54236 real 38:28.0 user 38:18.1 sys 0.7 ( 0145 nil ( 0415 0415 nil ( 0541 0541 nil nil 4105 nil nil nil nil nil nil nil nil nil nil ) 5140 nil nil nil nil nil nil nil nil nil nil ) ( 0451 0451 nil ( 0514 0514 nil nil 4150 nil nil nil nil nil nil nil nil nil nil ) 5104 nil nil nil nil nil nil nil nil nil nil ) nil ( 0245 0245 nil nil nil 0345 2145 3145 nil nil nil nil nil nil nil ) ( 0617 nil nil nil nil 0615 ( 0641 0641 nil nil nil nil nil nil nil nil nil nil 0715 nil nil ) ( 0815 0815 nil nil nil 0915 nil nil nil nil nil nil nil nil nil ) 0741 ( 6105 6105 nil nil nil 7105 6140 nil nil nil nil nil 7140 nil nil ) nil ( 0435 0435 nil nil nil nil nil nil 0542 nil nil nil nil nil nil ) ( 0841 0841 nil nil nil 0941 nil nil nil nil nil nil nil nil nil ) ( 8105 8105 nil nil nil 9105 8140 nil nil nil nil nil 9140 nil nil ) ( 4135 4135 nil nil nil nil nil nil 5142 nil nil nil nil nil nil ) ) ( 2647 nil nil nil nil 2147 ( 2146 2146 nil nil nil nil nil nil 0642 nil nil nil 0247 nil nil ) ( 2148 2148 nil nil nil 2149 nil 3147 nil nil nil 0347 nil nil nil ) ( 6142 6142 nil nil nil 7142 nil 0742 0246 nil nil nil nil nil nil ) nil ( 0835 0835 0385 nil nil 0935 ( 0395 0395 nil nil nil nil nil nil nil nil nil nil 8135 nil nil ) 9135 3185 nil nil nil 3195 nil nil ) ( 6048 nil nil nil nil nil 0348 3148 nil nil 2195 3149 0349 0635 2185 ) ( 0248 0248 0842 nil nil 0249 0942 0346 8142 nil nil 3146 9142 nil ( 2165 2165 nil nil nil 2175 nil nil nil nil nil nil nil nil nil ) ) ( 0265 0265 nil nil nil 0275 nil nil nil nil nil nil nil nil nil ) ( 6135 6135 3165 nil nil 7135 3175 0735 0365 nil nil ( 0285 0285 nil nil nil 0295 nil nil nil nil nil nil nil nil nil ) 0375 nil nil ) ) ( 0467 nil nil nil nil ( 0417 0417 nil nil nil nil 0461 nil nil nil nil nil nil nil nil ) ( 0416 0416 nil nil nil nil 0471 nil nil nil nil nil nil nil nil ) ( 0418 0418 0481 nil nil 0419 0491 ( 0452 0452 nil nil nil nil nil nil nil nil nil nil 0517 nil nil ) nil nil nil nil 0561 nil nil ) ( 4107 4107 nil nil 0714 nil 4160 nil nil 0614 nil nil nil nil nil ) ( 6104 6104 4106 nil nil 7104 nil nil 4170 nil nil nil nil nil nil ) nil ( 0851 0851 0581 0518 nil 0951 0591 nil 0519 nil nil nil nil 1425 nil ) ( 0751 0751 0571 nil 5107 0651 nil ( 0254 0254 nil nil nil 0354 nil nil nil nil nil nil nil nil nil ) 0516 5160 nil nil ( 0814 0814 nil nil nil 0914 nil 0534 nil nil nil nil nil nil nil ) nil nil ) ( 8104 8104 4108 4180 nil 9104 4109 5106 4190 nil nil nil ( 6150 6150 nil nil nil 7150 5170 nil nil nil nil nil nil nil nil ) ( 4025 4025 nil nil nil nil nil nil 5043 nil nil nil nil nil nil ) nil ) ( 5108 5108 5180 8150 nil 5109 5190 5134 9150 nil nil nil ( 4152 4152 2154 nil nil nil 3154 nil nil nil nil nil nil nil nil ) 1543 nil ) ) ( 4512 nil 4521 1524 5421 4513 4520 4503 5413 ( 5024 5024 5420 nil nil nil nil nil nil nil nil nil nil 1453 nil ) nil nil 4053 5403 nil ) ( 2673 2673 ( 2763 2763 nil 6273 nil nil nil nil nil nil nil nil nil nil nil ) ( 3627 3627 nil nil 7263 nil nil nil nil nil nil nil nil nil nil ) ( 3726 3726 7326 6327 nil nil nil nil nil nil nil nil nil nil nil ) ( 2683 2683 nil nil nil 2693 2873 2973 nil nil nil nil nil nil nil ) ( 2783 2783 nil 8273 nil 2793 2863 2963 9273 nil nil nil nil nil nil ) ( 2893 2893 2983 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 6283 6283 8263 nil 3628 ( 6293 6293 nil nil nil nil nil 7283 nil nil nil nil nil nil nil ) 9263 7293 nil 3629 nil nil nil nil nil ) ( 8327 8327 ( 3827 3827 nil 7328 nil nil nil nil nil nil nil nil nil nil nil ) 3728 nil ( 8326 8326 nil nil nil nil nil 9327 nil nil nil nil nil nil nil ) ( 7329 7329 nil 3927 nil nil nil 6328 nil nil nil nil nil nil nil ) ( 6329 6329 9326 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 3729 3729 nil nil nil nil nil 3826 nil nil nil nil nil nil nil ) nil nil nil 3926 nil nil ) nil nil ( 8293 8293 9283 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 8329 8329 ( 3829 3829 nil 9328 nil nil nil nil nil nil nil nil nil nil nil ) 3928 nil nil nil nil nil nil nil nil nil nil nil ) nil ) ( 0267 0267 ( 0276 0276 nil 0762 nil nil nil nil nil nil nil nil nil nil nil ) 0672 nil ( 0862 nil 0268 nil nil nil 0269 0367 0287 nil nil nil 0297 nil nil ) ( 0286 0286 nil 0862 nil 0296 0278 0279 0962 nil nil nil 0637 2167 nil ) ( 0378 nil 0387 0837 nil 0368 0397 ( 0298 0298 nil nil nil nil nil nil nil nil nil nil 0369 nil nil ) 0937 nil nil nil 0289 3167 nil ) ( 8792 nil nil nil nil 0792 0782 0692 ( 0872 0872 nil nil nil 0972 nil nil nil nil nil nil nil nil nil ) nil nil 0736 ( 0682 0682 nil nil nil nil nil nil nil nil nil nil 7162 nil nil ) nil 0376 ) ( 2176 2176 6172 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 8139 8139 ( 3189 3189 nil 9138 nil nil nil nil nil nil nil nil nil nil nil ) 3198 nil nil nil nil nil nil nil nil nil nil nil ) ( 3178 nil 3187 8137 nil 3168 3197 3169 9137 nil nil nil ( 0398 0398 0938 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 0839 0839 0389 nil nil nil nil nil nil nil nil nil nil 8243 nil ) 9243 ) ( 0386 0386 0836 0638 nil 0396 ( 0378 0378 nil nil nil nil nil nil nil nil nil nil 0936 nil nil ) ( 0379 0379 nil nil nil nil nil nil nil nil nil nil 0982 nil nil ) ( 0639 0639 nil nil nil nil nil 0738 nil nil nil nil nil nil nil ) nil 2197 2187 ( 0739 0739 nil nil nil nil nil nil nil nil nil nil 0892 nil nil ) ( 2168 2168 8162 nil nil nil nil nil nil nil nil nil 6137 6243 nil ) ( 2169 2169 9162 nil nil nil nil nil nil nil nil nil nil nil 7243 ) ) ( 2178 2178 8172 7182 nil 2179 ( 2186 2186 nil nil nil nil nil nil nil nil nil nil 9172 nil nil ) ( 2196 2196 nil nil nil nil nil 3176 nil nil nil nil nil nil nil ) ( 6182 6182 nil nil nil nil nil 7192 nil nil nil nil nil nil nil ) nil nil 2643 ( 6192 6192 nil nil nil nil nil nil nil nil nil nil 7136 nil 2743 ) ( 3725 3725 7325 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 3625 3625 6325 nil nil nil nil nil nil nil nil nil nil nil nil ) ) ( 3186 3186 8136 6138 nil 3196 ( 3178 3178 nil nil nil nil nil nil nil nil nil nil 9136 nil nil ) ( 2189 2189 9182 nil nil nil nil 3179 nil nil nil nil nil nil nil ) ( 6139 6139 nil nil nil nil nil 7138 nil nil nil nil nil nil nil ) nil nil 3925 ( 2198 2198 8192 nil nil nil nil nil nil nil nil nil 7139 3825 nil ) ( 2843 2843 nil nil nil nil nil nil nil 8325 nil nil nil nil nil ) ( 2943 2943 nil nil nil nil nil nil nil 9325 nil nil nil nil nil ) ) ) ( 0617 0617 ( 0671 0671 nil 0716 nil nil nil nil nil nil nil nil nil nil nil ) ( 0761 0761 nil nil 6107 nil nil nil nil nil nil nil nil nil nil ) ( 7106 7106 7160 6170 nil nil nil nil nil nil nil nil nil nil nil ) ( 0618 0618 nil nil nil 0619 0817 0917 nil nil nil nil nil nil nil ) ( 0718 0718 nil nil nil 0719 0816 0916 0681 nil nil nil 0691 nil nil ) ( 0537 0537 0357 nil nil 0437 0257 0634 nil nil nil ( 0819 0819 0918 nil nil nil nil nil nil nil nil nil nil nil nil ) 0652 nil nil ) ( 0871 0871 0781 nil 8107 ( 0861 0861 nil nil nil nil nil 0971 nil nil nil nil nil nil nil ) 0791 0961 nil 9107 nil nil nil nil nil ) ( 6108 6108 ( 6180 6180 nil 8106 nil nil nil nil nil nil nil nil nil nil nil ) 8160 nil ( 6109 6109 nil nil nil nil nil 7108 nil nil nil nil nil nil nil ) ( 6190 6190 nil 9106 nil nil nil nil nil nil nil nil nil nil nil ) 7109 ( 7180 7180 8170 nil nil nil nil 9160 nil nil nil nil nil nil nil ) nil nil nil ( 7190 7190 9170 nil nil nil nil nil nil nil nil nil nil nil nil ) nil nil ) ( 4325 4325 3425 nil ( 2543 2543 5243 nil nil nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil nil nil nil nil nil ) ( 8259 nil nil nil nil 0259 0258 0359 ( 0852 0852 nil nil nil 0952 nil nil nil nil nil nil nil nil nil ) ( 0582 0582 nil nil nil 0592 nil nil nil nil nil nil nil nil nil ) nil 0439 ( 0294 0294 nil nil nil 0284 nil nil nil nil nil 0358 0539 nil nil ) ( 0538 0538 nil nil nil nil nil nil nil nil nil 0492 0482 nil nil ) ( 0438 0438 0834 0384 nil nil 0934 nil 0394 nil nil nil nil nil nil ) ) ( 0264 0264 0462 nil nil ( 0274 0274 nil nil nil nil nil 0364 nil nil nil nil nil nil nil ) ( 0256 0256 nil 0562 nil nil nil nil nil nil nil nil nil nil nil ) ( 0374 0374 0734 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 0436 0436 nil nil nil nil nil 0472 nil nil nil nil nil nil nil ) nil ( 3157 3157 5137 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 0891 0891 0981 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 0536 0536 0356 nil nil nil nil 0572 nil nil nil nil 0752 nil nil ) ( 1625 1625 nil nil nil nil nil 1643 nil nil nil nil nil nil nil ) ( 2157 2157 nil nil nil nil nil 4137 nil nil nil nil nil nil nil ) ) ( 3164 3164 6134 4136 nil ( 2164 2164 nil nil nil nil nil 3174 nil nil nil nil nil nil nil ) ( 0124 nil nil nil nil nil nil 7134 4162 nil nil 3156 nil nil nil ) ( 2174 2174 nil nil nil nil nil nil nil nil nil nil 5162 nil nil ) 5136 ( 1743 1743 nil nil nil nil nil 6043 nil nil nil nil nil nil nil ) 7025 ( 8109 8109 ( 8190 8190 nil 9108 nil nil nil nil nil nil nil nil nil nil nil ) 9180 nil nil nil nil nil nil nil ( 5172 5172 7152 nil nil nil nil nil nil nil nil nil nil nil nil ) nil nil nil ) ( 2156 2156 6152 nil nil nil nil nil nil nil nil nil 4172 nil nil ) 7043 ( 1725 1725 nil nil nil nil nil 6025 nil nil nil nil nil nil nil ) ) ( 4138 4138 8134 3184 1843 ( 4139 4139 nil nil nil nil nil 5138 nil nil nil nil nil nil nil ) ( 0124 nil nil nil nil nil nil 9134 4182 nil nil 3158 nil nil nil ) ( 0124 nil nil nil nil nil nil nil 4192 nil nil 5139 2158 nil nil ) ( 2184 2184 nil nil nil nil nil 3194 nil nil nil nil nil nil nil ) ( 1943 1943 nil nil nil nil nil 8043 nil nil nil nil nil nil nil ) 9025 ( 2159 2159 9152 5192 nil nil nil nil nil nil nil nil nil nil nil ) ( 8152 8152 5182 nil nil nil nil 3159 nil nil nil nil 2194 nil nil ) ( 1825 1825 nil nil nil nil nil nil nil nil 9043 nil nil nil nil ) ( 1925 1925 nil nil nil nil nil 8025 nil nil nil nil nil nil nil ) ) ) ( 1467 nil nil nil nil ( 1427 1427 nil nil nil nil nil 1463 nil nil nil nil nil nil nil ) ( 1426 1426 nil nil nil nil nil 1473 nil nil nil nil nil nil nil ) ( 0438 nil nil nil nil nil nil 1428 1483 nil 1527 1429 1493 nil 1563 ) ( 1624 1624 nil 6421 nil 1724 nil nil 7421 6413 nil nil nil 7413 nil ) ( 4613 4613 nil nil nil 4713 4621 nil nil nil nil nil 4721 nil nil ) ( 5028 5028 5820 8520 nil 5029 ( 5083 5083 nil nil nil nil nil nil nil nil nil nil 5920 nil nil ) 5093 ( 5803 5803 nil 8053 nil nil nil nil nil nil nil nil nil 9520 nil ) 8503 nil nil ( 5903 5903 nil 9053 nil nil nil nil nil nil nil nil nil nil nil ) 9503 nil ) ( 8153 nil 1853 1583 nil nil 1953 ( 2453 2453 nil nil nil nil nil 8403 nil nil nil nil nil nil nil ) 1593 1528 9420 ( 8420 8420 nil nil nil nil nil nil nil nil nil nil 9403 nil nil ) 5063 1529 5027 ) ( 4073 nil nil 7403 nil 4063 4027 1573 6403 7420 1526 1653 ( 8413 8413 nil nil nil 9413 nil nil nil nil nil nil 1753 nil nil ) 6420 ( 1824 1824 nil 8421 nil 1924 nil nil 9421 nil nil nil nil nil nil ) ) ( 6024 6024 4026 4620 nil 7024 nil 6521 4720 4603 ( 5713 5713 7513 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 5721 5721 7521 nil nil nil nil nil nil nil nil nil nil 6513 nil ) ( 4821 4821 nil nil nil 4921 nil 5621 nil nil nil 4073 nil nil nil ) 4703 ( 4813 4813 nil nil nil 4913 nil 5613 nil nil nil nil nil nil nil ) ) ( 8024 8024 4028 4820 nil 9024 4029 ( 3524 3524 5324 nil nil nil nil 8521 nil nil nil nil 5026 nil nil ) ( 4083 4083 nil nil nil nil nil nil nil nil nil nil 4920 nil nil ) 4803 ( 5913 5913 9513 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 5073 5073 7053 nil nil nil 6053 nil nil nil nil 5921 8513 nil 9521 ) ( 5620 5620 6520 nil nil 5720 7520 5821 nil nil nil nil nil nil 4093 ) ( 4253 4253 nil nil nil nil nil 4903 nil nil nil nil nil nil nil ) ( 5603 5603 6503 nil nil 5703 7503 5813 nil nil nil nil nil nil nil ) ) ) ( 6708 nil nil nil nil 6703 ( 6028 6028 nil nil nil nil 6720 nil 6803 nil nil nil nil 8703 nil ) ( 6903 6903 nil nil nil nil 9703 6713 nil nil 1728 6721 nil nil nil ) ( 8603 8603 nil 6083 nil 7603 7803 nil 6073 6820 nil nil 8720 ( 6027 6027 nil nil nil nil 7028 nil nil nil nil nil nil nil nil ) nil ) ( 8037 nil 8073 7083 nil 8027 8063 8026 7063 7820 nil nil ( 7026 7026 nil nil nil nil nil nil 8620 nil nil nil nil nil nil ) 7620 nil ) ( 3529 3529 5329 2593 ( 2953 2953 9253 5293 nil nil nil nil nil nil nil nil nil nil nil ) 3429 ( 3924 3924 nil 4329 nil nil nil nil nil nil nil nil nil nil nil ) nil 9324 ( 2493 2493 4293 nil nil nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil ) ( 4327 nil nil 3724 nil 4328 6324 5328 3428 2753 nil ( 1928 1928 nil nil nil nil 6921 nil nil nil nil nil nil nil nil ) ( 9721 9721 1729 nil nil nil nil nil nil nil nil 3528 nil nil nil ) ( 9713 9713 1793 nil nil nil nil nil nil nil nil 6253 nil nil nil ) 6913 ) ( 8903 8903 9803 nil nil 7903 9603 8713 6093 9028 1726 ( 1763 1763 nil nil nil nil nil nil nil nil nil nil 8721 nil nil ) ( 6813 6813 nil nil nil nil nil nil 1783 nil nil 6920 nil nil nil ) ( 6029 6029 nil nil nil nil nil nil 9720 nil nil nil nil nil nil ) ( 1628 1628 nil 6821 nil nil nil nil nil nil nil nil nil nil nil ) ) ( 7920 7920 7029 9027 nil 8920 ( 9620 9620 nil nil nil 9820 nil nil nil nil nil nil nil nil nil ) ( 7621 7621 nil nil nil 7821 nil nil nil nil nil nil nil nil nil ) ( 8029 8029 nil nil nil nil 9026 nil nil nil nil nil 7093 nil nil ) 9073 ( 8613 8613 1683 1863 nil nil nil nil nil nil nil nil nil nil nil ) ( 1826 1826 nil 8621 nil nil nil nil nil nil nil nil 7813 7613 nil ) ( 1627 1627 nil nil nil 1827 nil nil nil nil nil nil nil nil nil ) ( 8093 8093 9083 nil nil nil 9063 nil nil nil nil nil nil nil nil ) ( 1673 1673 nil nil nil 1873 nil nil nil nil nil nil nil nil nil ) ) ( 7253 7253 5273 2573 ( 3527 3527 5327 nil nil nil nil nil nil nil nil nil nil nil nil ) 8253 ( 5263 5263 nil 2653 nil 5283 nil 4273 2853 nil nil nil nil nil nil ) ( 4263 4263 nil nil nil 4283 nil nil nil nil nil 7913 nil nil nil ) ( 2563 2563 nil nil nil 2583 nil 2473 nil nil nil nil nil 7324 nil ) ( 5326 5326 3526 nil nil nil nil 4327 nil nil nil nil 3427 nil nil ) nil ( 1893 1893 ( 1983 1983 nil 9813 nil nil nil nil nil nil nil nil nil nil nil ) 8913 nil 1693 1963 nil 9613 nil nil nil nil nil nil ) ( 2463 2463 nil nil nil 2483 nil nil nil nil nil 1973 nil nil 7921 ) ( 3624 3624 3426 4326 nil 3824 8324 nil nil nil nil 1927 nil nil nil ) ( 1829 1829 9821 8921 nil 1629 1926 nil 9621 nil nil nil nil nil nil ) ) ) ) 11: val=175816, type=1H1B, len=720,c_compute=223149 c_long_compute=223149,c_tablelen=478072761,c_selectlen=227565 real 1:46:29.6 user 1:46:15.2 sys 0.8 ( 1245 1245 ( 4215 4215 nil ( 1254 1254 nil 5241 nil nil nil nil nil nil nil nil nil nil nil ) 1542 nil nil nil nil nil nil nil nil nil nil ) ( 2541 2541 nil ( 2415 2415 nil nil 4251 nil nil nil nil nil nil nil nil nil nil ) ( 1452 1452 nil nil 5214 nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil nil nil nil nil nil ) ( 4510 nil nil nil nil 4512 2514 nil 5412 2451 nil nil nil nil nil ) ( 2647 nil nil nil nil nil 1247 nil 1246 nil nil ( 1045 1045 nil nil nil 1345 nil nil nil nil nil nil nil nil nil ) ( 1248 1248 nil nil nil 1249 nil 3245 nil nil nil nil nil nil nil ) ( 1265 1265 nil nil nil 1275 nil nil nil nil nil nil nil nil nil ) ( 1285 1285 nil nil nil 1295 nil nil nil nil nil nil nil nil nil ) ) ( 6217 nil nil nil nil 6215 ( 7215 7215 nil 1257 nil nil nil nil nil nil nil nil 6241 nil nil ) ( 8215 8215 nil nil nil 9215 nil nil nil nil nil nil nil nil nil ) ( 1264 1264 nil nil nil 1274 1256 nil 7241 nil nil nil nil nil nil ) ( 1642 1642 nil nil nil 1742 nil nil nil nil nil nil nil nil nil ) nil ( 4205 4205 nil 5240 nil 4235 nil nil nil nil nil nil nil nil nil ) ( 1258 1258 nil nil nil 1259 1284 1294 8241 nil nil nil 9241 nil nil ) ( 1842 1842 nil nil nil 1942 nil nil nil nil nil nil nil nil nil ) ( 1405 1405 nil 1540 nil 1435 nil nil 2045 nil nil nil 2345 nil nil ) ) ( 3675 nil nil nil nil 3275 ( 3265 3265 nil nil nil nil nil nil 1635 nil nil nil 1375 nil nil ) ( 2873 nil nil nil nil nil nil nil nil 3285 1605 1075 nil 3295 3045 ) ( 1365 1365 nil nil nil nil 1735 nil 6235 nil nil nil 7235 nil nil ) nil ( 1084 nil 1048 1840 nil nil 1049 1289 1940 8240 nil nil 1298 9240 nil ) ( 1580 nil 1085 1805 nil nil nil 1640 ( 1095 1095 1905 nil nil nil nil nil nil nil nil nil nil nil nil ) 8205 3249 1279 1278 9205 3248 ) ( 1385 1385 1835 nil nil 1395 1935 ( 1065 1065 nil nil nil nil 1705 nil nil nil nil nil nil nil nil ) 8235 nil nil ( 6205 6205 nil nil nil 7205 nil nil nil nil nil nil 1276 nil nil ) 9235 nil ( 3246 3246 nil nil nil 3247 nil nil nil nil nil nil nil nil nil ) ) ( 1346 1346 nil nil nil 1347 nil nil nil nil nil nil 1267 nil nil ) ( 6280 nil nil nil nil 6240 1286 ( 1287 1287 nil nil nil nil nil nil nil nil nil nil 7240 nil nil ) 1268 nil 1349 ( 1297 1297 nil nil nil nil nil nil nil nil nil nil 1740 nil nil ) ( 1269 1269 1296 nil nil nil nil nil nil nil nil nil nil nil nil ) 1046 ( 1047 1047 nil nil nil nil nil 1348 nil nil nil nil nil nil nil ) ) ) ( 6217 nil nil nil nil ( 5217 5217 nil nil nil 4217 nil 6214 nil nil nil nil nil nil nil ) ( 5216 5216 nil 6251 nil 4216 nil 7214 nil nil nil nil nil nil nil ) ( 4218 4218 8214 nil nil ( 4219 4219 nil nil nil nil nil 5218 nil nil nil nil nil nil nil ) 9214 5219 nil nil nil nil nil nil nil ) ( 4571 nil nil nil nil 4271 5271 4261 7251 2715 nil nil 5261 2615 nil ) ( 1562 1562 1652 nil nil ( 1462 1462 nil nil nil nil nil 1572 nil nil nil nil nil nil nil ) 1752 1472 nil 2641 nil nil nil 2741 nil ) nil ( 4052 nil 4250 nil 5204 nil 4015 nil 3254 5234 nil nil 4315 3415 nil ) ( 8251 8251 5281 nil 2815 9251 ( 4281 4281 nil nil nil nil nil 5291 nil nil nil nil nil nil nil ) 4291 nil 2915 nil nil nil nil nil ) ( 1582 1582 1852 nil nil ( 1482 1482 nil nil nil nil nil 1592 nil nil nil nil nil nil nil ) 1952 1492 nil 2841 nil nil nil 2941 nil ) ( 3541 3541 5341 1534 1354 3542 5041 2540 ( 1504 1504 nil nil nil nil nil nil nil nil nil nil nil 5342 nil ) ( 1054 1054 1450 nil nil nil nil nil nil nil nil nil nil 2435 nil ) nil nil 5042 2405 nil ) ) ( 6712 nil nil nil nil ( 4712 4712 nil nil nil 5712 6412 6512 nil nil nil nil nil nil nil ) ( 4612 4612 nil nil nil 5612 7412 7512 2714 nil nil nil nil nil nil ) ( 8412 8412 4812 nil nil ( 8512 8512 nil nil nil nil nil 9412 nil nil nil nil nil nil nil ) ( 4912 4912 nil nil nil nil nil 5812 nil nil nil nil nil nil nil ) ( 5912 5912 9512 nil nil nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil nil nil ) ( 4216 nil 2416 2614 nil nil 2516 nil 2417 nil nil nil 2517 2751 nil ) ( 0526 nil nil nil nil nil nil nil 2561 2651 nil nil 2571 2461 2471 ) nil ( 4352 4352 ( 3452 3452 nil 4532 nil nil nil nil nil nil nil nil nil nil nil ) 5432 nil 4052 4502 nil ( 5314 5314 nil nil nil nil nil nil nil nil nil nil 5402 nil nil ) 3514 nil nil 4510 ( 5014 5014 5410 nil nil nil nil nil nil nil nil nil nil nil nil ) nil ) ( 2814 2814 2418 nil nil 2914 ( 2419 2419 nil nil nil nil nil 2518 nil nil nil nil nil nil nil ) 2519 nil nil nil nil nil nil nil ) ( 2581 2581 2851 nil nil ( 2481 2481 nil nil nil nil nil 2591 nil nil nil nil nil nil nil ) 2951 2491 nil nil nil nil nil nil nil ) ( 4051 4051 4501 5401 nil 4351 ( 2054 2054 nil nil nil nil nil nil nil nil nil nil 3451 4531 nil ) nil ( 2450 2450 nil nil nil nil nil nil nil nil nil nil 5431 nil nil ) 2504 nil nil 2354 2534 nil ) ) ( 3067 3067 ( 3760 3760 nil ( 3076 3076 nil 3607 nil nil nil nil nil nil nil nil nil nil nil ) 6037 nil nil nil nil nil nil nil nil nil nil ) ( 6307 6307 nil ( 3706 3706 nil nil 7360 nil nil nil nil nil nil nil nil nil nil ) ( 3670 3670 nil nil 7036 nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil nil nil nil nil nil ) ( 6170 nil nil nil nil 6370 6730 nil 7630 7306 nil nil nil nil nil ) ( 3068 3068 nil nil nil 3069 3087 3097 nil nil nil nil nil nil nil ) ( 8036 nil 3086 nil 3860 8037 3096 9037 3078 ( 3807 3807 nil nil nil nil nil nil nil nil nil nil 3960 nil nil ) nil nil 3079 3907 nil ) ( 3089 3089 3098 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 3680 3680 3608 ( 3806 3806 nil nil 8360 nil nil nil nil nil nil nil nil nil nil ) ( 6038 6038 8036 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 3690 3690 nil nil nil nil nil 3780 nil nil nil nil nil nil nil ) ( 3609 3609 nil nil nil nil nil nil nil nil nil nil 3870 nil nil ) ( 3790 3790 3970 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 3708 3708 nil nil nil nil nil 3906 nil nil nil nil nil 9360 nil ) ( 9036 9036 6039 nil nil nil nil 7038 nil nil nil nil nil 8307 nil ) nil nil 3709 ( 7039 7039 nil nil 9307 nil nil nil nil nil nil nil nil nil nil ) nil ) ( 8306 8306 6308 ( 6380 6380 nil 8630 nil nil nil nil nil nil nil nil nil nil nil ) 6830 9306 ( 7308 7308 nil 8370 nil nil nil 6309 nil nil nil nil nil nil nil ) 7309 ( 7380 7380 nil 8730 nil nil nil 6390 nil nil nil nil nil nil nil ) ( 6930 6930 9630 nil nil nil nil 7830 nil nil nil nil nil nil nil ) nil nil ( 7390 7390 9370 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 7930 7930 9730 nil nil nil nil nil nil nil nil nil nil nil nil ) nil ) nil nil ( 3809 3809 ( 3890 3890 nil 3908 nil nil nil nil nil nil nil nil nil nil nil ) ( 3980 3980 nil nil 8039 nil nil nil nil nil nil nil nil nil nil ) 9038 nil nil nil nil nil nil nil nil nil nil ) ( 8309 8309 ( 8390 8390 nil 9308 nil nil nil nil nil nil nil nil nil nil nil ) ( 8930 8930 nil 9380 nil nil nil nil nil nil nil nil nil nil nil ) 9830 nil nil nil nil nil nil nil nil nil nil ) nil ) ( 1067 1067 ( 0126 nil nil nil nil nil nil nil 1076 ( 1607 1607 nil 1760 nil nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil ) ( 1670 1670 nil 1706 nil nil nil nil nil nil nil nil nil nil nil ) nil ( 1807 nil 1087 nil nil nil 1097 1367 1068 nil nil nil 1069 nil nil ) ( 1807 1807 nil 1078 nil 1907 1860 1637 ( 1079 1079 nil nil nil nil nil 1086 nil nil nil nil nil nil nil ) nil nil nil ( 1096 1096 nil 1960 nil nil nil nil nil nil nil nil nil nil nil ) nil nil ) ( 1378 nil 1387 1837 nil 1368 1397 ( 1098 1098 nil nil nil nil nil nil nil nil nil nil 1369 nil nil ) 1937 nil nil nil 1089 ( 3047 3047 nil nil nil nil nil 3267 nil nil nil nil nil nil nil ) 3065 ) ( 1680 1680 1608 1806 nil ( 1690 1690 nil nil nil nil nil 1780 nil nil nil nil nil nil nil ) ( 1609 1609 nil nil nil nil nil nil nil nil nil nil 1870 nil nil ) ( 1790 1790 1970 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 1708 1708 nil nil nil nil nil 1906 nil nil nil nil nil nil nil ) nil nil nil ( 1376 1376 1736 nil nil nil nil nil nil nil nil nil 1709 7260 nil ) 6207 nil ) ( 6270 6270 nil 7206 nil nil nil nil nil nil nil nil nil nil nil ) ( 8239 8239 ( 3289 3289 nil 9238 nil nil nil nil nil nil nil nil nil nil nil ) 3298 nil nil nil nil nil nil nil nil nil nil nil ) ( 8035 8035 3085 nil nil 9035 3095 8237 3048 nil nil 9237 ( 1839 1839 1938 nil nil nil nil nil nil nil nil nil 3049 nil nil ) ( 1389 1389 1398 nil nil nil nil nil nil nil nil nil 3287 3268 nil ) ( 3269 3269 nil nil nil nil 3297 nil nil nil nil nil nil nil nil ) ) ( 1638 1638 1836 1386 nil ( 1639 1639 nil nil nil nil nil 1738 nil nil nil nil nil nil nil ) ( 1378 1378 nil nil nil nil nil nil nil nil nil nil 1936 nil nil ) ( 1739 1739 nil nil nil nil nil nil nil nil nil nil 1908 nil nil ) 1396 nil 9207 7035 ( 1809 1809 1890 1980 nil nil nil 1379 nil nil 6237 nil nil nil 6035 ) ( 3046 3046 nil nil nil nil nil nil nil nil nil nil nil 8260 nil ) ( 3075 3075 nil nil nil nil nil nil nil nil nil nil nil 8207 9260 ) ) ( 6280 6280 6208 8206 nil ( 6290 6290 nil nil nil nil nil 7280 nil nil nil nil nil nil nil ) ( 6209 6209 nil nil nil nil nil nil nil nil nil nil 8270 nil nil ) ( 7290 7290 9270 nil nil nil nil nil nil nil nil 6340 nil nil nil ) ( 7208 7208 nil nil nil nil nil 9206 nil nil nil nil nil nil nil ) nil nil ( 3740 3740 7340 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 7209 7209 nil nil nil nil nil 7236 nil nil nil 6305 3276 nil 3640 ) 3605 ( 3705 3705 7305 nil nil nil nil nil nil nil nil nil nil nil nil ) ) ( 3286 3286 8236 6238 nil 3296 ( 3278 3278 nil nil nil nil nil nil nil nil nil nil 9236 nil nil ) ( 3279 3279 nil nil nil nil nil nil nil nil nil nil 9280 nil nil ) ( 6239 6239 nil nil nil nil nil 7238 nil nil nil nil nil nil nil ) nil nil ( 3905 3905 nil nil nil nil 3940 nil nil nil nil nil nil nil nil ) ( 8209 8209 ( 8290 8290 nil 9208 nil nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil 7239 nil nil nil nil 3805 3840 nil ) ( 8305 8305 nil nil nil nil 8340 nil nil nil nil nil nil nil nil ) ( 9305 9305 nil nil nil nil 9340 nil nil nil nil nil nil nil nil ) ) ) ( 4260 4260 4206 ( 2640 2640 nil nil 6204 nil nil nil nil nil nil nil nil nil nil ) ( 2046 2046 6042 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 4278 nil nil nil nil 4270 4280 4290 nil nil nil 5260 nil nil nil ) ( 4376 nil nil nil nil nil 4236 nil nil 3264 nil ( 4208 4208 nil nil nil 4209 nil nil nil nil nil nil nil nil nil ) 4207 1460 6250 ) ( 5037 nil nil nil nil nil nil 4237 5270 7250 ( 8261 8261 nil nil nil 9261 nil nil nil nil nil nil nil nil nil ) ( 4238 4238 nil nil nil 4239 nil nil nil nil nil nil nil nil nil ) ( 5280 5280 nil nil nil 5290 nil nil nil nil nil nil nil nil nil ) ( 8250 8250 nil nil nil 9250 nil nil nil nil nil nil 1560 nil nil ) 7261 ) ( 7804 nil nil nil nil 7204 8204 9204 2840 2740 nil ( 5206 5206 nil nil nil nil nil nil nil nil nil nil 6234 nil nil ) 1064 2940 2065 ) ( 2708 nil nil nil nil nil 2048 2605 2047 ( 7042 7042 nil nil nil 8042 nil nil nil nil nil nil nil nil nil ) nil ( 2346 2346 nil nil nil nil nil nil nil nil nil nil 1406 1604 nil ) 2049 9042 ( 6041 6041 nil nil nil nil nil 6342 nil nil nil nil 3642 nil nil ) ) ( 7315 7315 3715 1357 1537 ( 8315 8315 nil nil nil 9315 nil nil nil nil nil nil nil nil nil ) ( 3815 3815 nil nil nil 3915 nil nil nil nil nil nil nil nil nil ) nil ( 1358 1358 nil nil nil 1359 nil nil nil nil nil nil nil nil nil ) ( 1538 1538 nil nil nil 1539 nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil ) ( 7218 7218 ( 7281 7281 nil 8217 nil nil nil nil nil nil nil nil nil nil nil ) 8271 nil ( 7219 7219 nil nil nil nil 9218 nil nil nil nil nil nil nil nil ) ( 7291 7291 nil 9217 nil nil nil nil 8219 nil nil nil nil nil nil ) ( 3258 3258 5238 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 8291 8291 9281 nil nil nil 9271 nil nil nil nil nil nil nil nil ) nil nil ( 3259 3259 5239 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 3257 3257 5237 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 1570 1570 1750 nil nil 1580 1850 nil nil nil nil nil nil nil nil ) ( 1590 1590 1950 nil nil nil nil nil nil nil nil nil nil nil nil ) ) ( 7216 7216 6217 6271 1762 ( 8216 8216 nil nil nil 9216 nil nil nil nil nil nil nil nil nil ) ( 6218 6218 nil nil nil 6219 nil nil nil nil nil nil nil nil nil ) ( 5236 5236 3256 nil nil nil nil 7234 nil nil nil nil nil nil nil ) ( 6281 6281 nil nil nil 6291 nil nil nil nil nil nil nil nil nil ) ( 1862 1862 nil nil nil 1962 nil nil nil nil nil nil nil nil nil ) ( 4305 4305 4035 5340 3540 nil nil nil nil nil nil nil nil nil nil ) ( 3284 3284 8234 nil nil 3294 9234 nil nil nil nil 5209 5208 nil nil ) ( 3274 3274 nil nil nil nil nil nil nil nil nil nil 5207 nil nil ) ( 1650 1650 nil nil nil nil nil 1470 nil nil nil nil 1364 2365 nil ) ( 1480 1480 nil nil nil 1490 nil nil nil nil nil nil nil nil nil ) ) ( 1407 1407 1704 1074 7041 ( 1408 1408 nil nil nil 1409 nil nil nil nil nil nil nil nil nil ) ( 1804 1804 nil nil nil 1904 nil nil nil nil nil nil nil nil nil ) ( 1436 1436 nil nil nil nil nil 1506 nil nil nil nil 3405 nil nil ) ( 1084 1084 nil nil nil 1094 nil nil nil nil nil nil nil nil nil ) ( 8041 8041 nil nil nil 9041 nil nil nil nil nil nil nil nil nil ) 2635 ( 2805 2805 nil nil nil 2905 nil nil nil nil nil nil nil 1682 1692 ) ( 1634 1634 nil nil nil nil nil 1672 nil nil 2705 nil 1056 2347 nil ) ( 3641 3641 6341 nil nil nil nil 3742 nil nil 2075 nil 7342 6015 nil ) ( 3842 3842 8342 2348 nil 3942 9342 nil 2349 nil nil nil nil 2085 2095 ) ) ( 1437 1437 1734 1374 ( 3741 3741 7341 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 1438 1438 nil nil nil 1439 nil nil nil nil nil nil nil nil nil ) ( 1834 1834 nil nil nil 1934 nil nil nil nil nil nil nil nil nil ) ( 1057 1057 1507 nil nil nil nil nil nil nil nil nil 1536 nil nil ) ( 1384 1384 nil nil nil 1394 nil nil nil nil nil nil nil nil nil ) ( 8341 8341 3841 nil nil 9341 3941 nil nil nil nil nil nil nil nil ) nil ( 1058 1058 1508 nil nil 1059 nil nil 1509 nil nil nil ( 1892 1892 1982 nil nil nil nil nil nil nil nil nil nil nil nil ) 2835 2935 ) ( 1782 1782 1872 nil nil 1792 1972 nil nil nil nil 1356 2735 nil nil ) ( 3615 3615 6315 nil nil nil nil 7015 nil nil nil nil 2375 nil nil ) ( 2385 2385 nil nil nil 2395 nil nil nil nil nil 9015 8015 nil nil ) ) ) ( 4361 4361 ( 4316 4316 nil 4631 3461 nil nil nil nil nil nil nil nil nil nil ) ( 6314 6314 nil 6431 nil nil nil nil nil nil nil nil nil nil nil ) ( 3416 3416 3614 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 2374 nil nil nil nil nil 4371 nil 4362 nil nil 5361 ( 4381 4381 nil nil nil 4391 nil nil nil nil nil nil nil nil nil ) nil 4061 ) ( 4738 nil nil nil nil 4731 ( 4318 4318 nil 4831 nil nil nil nil nil nil nil nil nil nil nil ) 4931 4317 nil nil 4601 4319 2364 ( 3561 3561 nil 6351 nil nil nil nil nil nil nil nil nil nil nil ) ) ( 1357 nil 7351 5371 nil nil ( 8351 8351 nil nil nil 9351 nil nil nil nil nil nil nil nil nil ) 4350 ( 5381 5381 nil nil nil 5391 nil nil nil nil nil nil nil nil nil ) nil 4062 ( 4382 4382 nil nil nil 4392 nil nil nil nil nil nil nil nil nil ) ( 4372 4372 nil nil nil nil nil 5362 nil nil nil nil nil nil nil ) ( 4701 4701 4071 nil nil nil nil 2761 nil nil nil nil 5061 nil nil ) ( 4081 4081 4801 nil nil 4091 4901 nil nil nil nil 2961 2861 nil nil ) ) ( 7431 7431 3471 7314 nil ( 8431 8431 nil nil nil 9431 nil nil nil nil nil nil nil nil nil ) ( 3481 3481 nil nil nil 3491 nil nil nil nil nil nil nil nil nil ) ( 5631 5631 6531 nil nil nil nil nil nil nil nil nil 6401 nil nil ) nil ( 8314 8314 nil nil nil 9314 nil nil nil nil nil nil nil nil nil ) nil nil ( 3462 3462 nil 4632 nil nil nil nil nil nil nil nil 3651 nil nil ) ( 4016 4016 4610 nil nil nil nil 5316 nil nil nil nil nil nil nil ) nil ) ( 2734 nil nil nil nil 2634 ( 2436 2436 nil nil nil nil nil nil nil nil nil nil nil 3714 nil ) nil 6432 3417 nil 6014 ( 3814 3814 nil nil nil 3914 nil nil nil nil nil nil nil nil nil ) ( 3418 3418 nil nil nil 3419 nil nil nil nil nil nil nil nil nil ) ( 3516 3516 nil nil nil nil nil nil nil nil nil nil 6410 nil nil ) ) ( 7502 7502 ( 7052 7052 nil 5702 2507 nil nil nil nil nil nil nil nil nil nil ) ( 2570 2570 nil 5072 nil nil nil nil nil nil nil nil nil nil nil ) ( 2057 2057 2750 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 8502 8502 nil nil nil 9502 nil nil nil nil nil nil nil nil nil ) ( 5802 5802 nil 2508 nil 5902 nil nil 2509 nil nil nil nil nil nil ) nil ( 5082 5082 8052 2580 nil 5092 9052 nil nil 2590 nil nil nil nil nil ) ( 2058 2058 2850 nil nil 2059 2950 nil nil nil nil nil nil nil nil ) nil nil nil nil nil ) ( 5071 5071 ( 5701 5701 nil 7051 nil nil nil nil nil nil nil nil nil nil nil ) 7501 nil ( 5081 5081 nil nil nil 5091 nil nil nil nil nil nil nil nil nil ) ( 5801 5801 nil 8051 nil 5901 nil nil 9051 nil nil nil nil nil nil ) ( 2871 2871 nil nil nil 2971 nil nil nil nil nil nil ( 4072 4072 nil nil nil nil nil 5372 nil nil nil nil nil nil nil ) nil 5062 ) ( 8501 8501 nil nil nil 9501 nil nil nil nil nil nil nil nil nil ) nil nil ( 5382 5382 nil nil nil 5392 nil 4082 nil nil nil 4092 2981 2891 nil ) ( 2781 2781 nil nil nil 2791 nil nil nil nil nil nil nil nil nil ) ( 2357 2357 7352 nil nil nil nil nil nil nil nil nil 2560 4702 nil ) ( 8352 8352 2358 nil nil 9352 2359 nil nil nil nil 4902 4802 nil nil ) ) ( 3571 3571 ( 3751 3751 nil 7531 nil nil nil nil nil nil nil nil nil nil nil ) 5731 5317 ( 3581 3581 nil nil nil 3591 nil nil nil nil nil nil nil nil nil ) ( 3851 3851 nil 8531 nil 3951 nil nil 9531 nil nil nil nil nil nil ) ( 2671 2671 nil nil nil nil nil nil nil nil nil nil 6501 3562 nil ) ( 5831 5831 nil nil nil 5931 nil nil nil nil nil nil nil nil nil ) ( 5318 5318 nil nil nil 5319 nil nil nil nil nil nil nil nil nil ) ( 2064 2064 2460 nil 4602 nil nil nil nil nil nil nil nil nil nil ) ( 8401 8401 nil nil nil 9401 nil nil nil nil nil 2691 2681 nil nil ) ( 6051 6051 nil 5601 nil nil nil nil nil nil 2374 nil 7401 4530 nil ) ( 4017 4017 4710 nil nil nil nil nil nil nil ( 2356 2356 6352 nil nil nil nil nil nil nil nil nil nil nil nil ) nil 4732 5304 nil ) ( 4018 4018 4810 nil nil 4019 4910 nil nil nil nil 4932 4832 2384 2394 ) ) ( 3472 3472 7432 2437 2734 ( 3482 3482 nil nil nil 3492 nil nil nil nil nil nil nil nil nil ) ( 8432 8432 nil nil nil 9432 nil nil nil nil nil nil nil nil nil ) ( 3450 3450 nil nil nil nil nil 3652 nil nil nil nil 6402 nil nil ) ( 2438 2438 nil nil nil 2439 nil nil nil nil nil nil nil nil nil ) ( 2834 2834 nil nil nil 2934 nil nil nil nil nil nil nil nil nil ) ( 6510 6510 5610 5016 nil nil nil nil nil nil nil nil nil nil nil ) ( 8612 8612 6812 nil nil 9612 6912 8410 nil nil nil ( 3519 3519 nil nil nil nil nil nil nil nil nil nil 9410 nil nil ) 3518 nil nil ) ( 3504 3504 3054 nil 5430 nil nil 3517 nil nil ( 6712 6712 7612 nil nil nil nil nil nil nil nil nil nil nil nil ) nil ( 2406 2406 nil nil nil nil nil nil nil nil nil nil nil 6532 nil ) ( 5632 5632 nil nil nil nil nil nil nil nil 7410 nil nil nil nil ) nil ) ( 2617 2617 2716 nil nil nil nil 2604 nil nil 5034 nil ( 2536 2536 nil nil nil nil nil nil nil nil 7014 nil nil nil nil ) nil nil ) ( 2618 2618 2816 nil nil 2619 2916 nil nil nil nil 9014 8014 nil nil ) ) ( 2537 2537 7532 ( 3572 3572 nil 5732 nil nil nil nil nil nil nil nil nil nil nil ) 3752 ( 2538 2538 nil nil nil 2539 nil nil nil nil nil nil nil nil nil ) ( 8532 8532 nil nil nil 9532 nil nil nil nil nil nil nil nil nil ) ( 2817 2817 nil nil nil 2917 nil 2407 nil nil nil 2506 nil nil nil ) ( 5832 5832 nil 3582 nil 5932 nil nil 3592 nil nil nil nil nil nil ) ( 3852 3852 nil nil nil 3952 nil nil nil nil nil nil nil nil nil ) nil ( 2408 2408 ( 2480 2480 nil 2804 nil nil nil nil nil nil nil nil nil nil nil ) 2084 nil 2409 ( 2490 2490 nil 2904 nil nil nil nil nil nil nil nil nil nil nil ) 2918 2094 nil nil nil 2819 8510 9510 ) ( 2056 2056 2650 nil 6502 nil nil 2074 nil nil nil ( 2718 2718 nil nil nil 2719 nil nil nil nil nil nil nil nil nil ) ( 2470 2470 nil 2704 nil nil nil nil nil nil nil nil nil 5017 nil ) 7510 nil ) ( 7812 7812 8712 nil nil 7912 9712 7402 nil nil nil ( 5602 5602 nil 6052 nil nil nil nil nil nil nil nil nil nil nil ) 5710 nil nil ) ( 5810 5810 5018 nil nil 5910 5019 9812 nil nil nil nil 8912 8402 9402 ) ) ) ( 6702 6702 ( 2706 2706 nil 7602 6072 nil nil nil nil nil nil nil nil nil nil ) ( 7062 7062 nil 2760 2607 nil nil nil nil nil nil nil nil nil nil ) ( 2067 2067 2076 2670 nil nil nil nil nil nil nil nil nil nil nil ) ( 8710 nil nil nil nil nil 8702 nil 6701 nil nil 6732 9702 6802 6902 ) ( 2608 nil 8602 nil 6082 2708 9602 2709 7802 6092 nil nil 7902 ( 6372 6372 nil 3762 nil nil nil nil nil nil nil nil 6710 nil nil ) nil ) ( 6238 nil 6832 6382 nil nil 6932 6731 ( 6392 6392 nil nil nil nil nil nil nil nil nil nil 8732 nil nil ) 3782 9701 6901 ( 9732 9732 nil nil nil nil nil nil nil nil 6801 nil nil nil 6304 ) ( 8902 8902 9802 nil nil nil nil nil nil nil nil nil 3792 nil nil ) ( 3704 3704 nil nil nil nil nil 8701 nil nil nil nil nil nil nil ) ) ( 2608 2608 2806 nil 8062 2609 ( 2807 2807 nil nil nil nil nil 2906 nil nil nil nil nil nil nil ) ( 2907 2907 nil nil nil nil nil nil nil nil nil nil 7601 nil nil ) 2780 ( 7082 7082 8072 nil nil nil nil 9062 nil nil nil nil nil nil nil ) nil nil ( 3672 3672 7632 nil 2736 nil nil nil nil nil nil nil nil 2790 nil ) ( 6071 6071 6017 nil nil nil nil 9072 nil nil nil nil 7092 7362 nil ) nil ) ( 2086 2086 ( 2068 2068 nil 2680 nil nil nil nil nil nil nil nil nil nil nil ) 2860 nil ( 2087 2087 nil nil nil nil nil 2096 nil nil nil nil nil nil nil ) ( 2069 2069 nil nil nil nil nil 2078 nil nil nil nil nil nil nil ) ( 2079 2079 2097 nil nil nil nil 2376 nil nil nil nil 7016 nil nil ) ( 2690 2690 2960 nil nil nil nil 2870 nil nil nil nil nil nil nil ) nil nil nil ( 2637 2637 2367 nil nil nil nil nil nil nil nil nil 2970 7061 nil ) 7610 nil ) ( 3819 3819 ( 8319 8319 nil 3918 3891 nil nil nil nil nil nil nil nil nil nil ) ( 9318 9318 nil 9831 3981 nil nil nil nil nil nil nil nil nil nil ) ( 8931 8931 8391 9381 nil nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil nil nil nil nil nil ) ( 6318 6318 6381 6831 nil 6319 ( 3718 3718 nil nil nil nil nil nil nil nil nil nil nil 6391 nil ) ( 4308 4308 nil nil nil 5308 nil nil nil nil nil nil nil nil nil ) 6931 ( 3781 3781 8731 nil nil nil nil nil nil nil nil nil nil nil nil ) nil ( 5309 5309 nil nil nil 4309 9304 nil nil nil nil nil nil nil nil ) ( 8304 8304 nil 3408 nil nil nil 8392 3508 nil nil nil 9382 nil 3719 ) ( 3791 3791 9731 nil nil nil nil 3892 nil nil nil 3804 ( 8901 8901 9801 nil nil nil nil nil nil nil nil nil 3982 nil nil ) ( 8932 8932 9832 nil nil nil nil nil nil nil nil nil nil nil nil ) nil ) ( 3409 3409 3904 nil nil 3509 nil nil nil nil nil nil nil nil nil ) ) ( 7382 7382 ( 7832 7832 nil 8372 nil nil nil nil nil nil nil nil nil nil nil ) 3872 2738 7392 ( 8362 8362 nil 3682 nil nil nil 9372 nil nil nil nil 7932 nil nil ) ( 7304 7304 nil nil nil nil nil nil nil nil nil 9362 nil nil 9082 ) ( 8632 8632 nil 3862 nil nil nil nil nil nil nil nil 3972 nil nil ) 2739 ( 6910 6910 6019 6091 9601 nil nil nil nil nil nil nil nil nil nil ) ( 4306 4306 nil nil nil 5306 nil nil 6350 nil nil 7901 nil 6081 nil ) ( 9632 9632 3692 3962 nil nil nil nil nil nil 7801 nil 8092 ( 6317 6317 6371 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 4307 4307 nil nil nil 5307 nil nil nil nil nil nil nil nil nil ) ) ( 4730 4730 nil nil 3407 5730 3750 8710 nil 3507 nil nil ( 3716 3716 3761 nil nil nil nil nil nil nil nil nil nil nil nil ) nil ( 2809 2809 2908 nil nil nil nil nil nil nil nil nil nil nil nil ) ) ( 6034 6034 6430 3604 3406 nil 6530 6018 nil 3506 nil nil 6810 8601 9710 ) ) ( 7530 7530 ( 3570 3570 nil 7350 nil nil nil nil nil nil nil nil nil nil nil ) ( 5037 5037 nil 5370 nil nil nil nil nil nil nil nil nil nil nil ) 3057 7430 ( 5630 5630 nil 3560 nil nil nil nil nil nil nil nil 7034 nil nil ) ( 7810 7810 nil nil nil 7910 nil nil nil nil nil 4630 7631 nil nil ) ( 4370 4370 3470 4037 nil nil nil 5360 nil nil nil nil 3650 5036 nil ) ( 3056 3056 nil nil nil nil nil 3074 nil nil nil nil nil nil nil ) nil ( 2836 2836 2638 nil nil 2936 2639 2890 nil nil nil nil 2980 8610 9610 ) ( 7018 7018 7081 nil nil 7019 7091 7316 nil nil nil 4036 7361 2837 ( 4360 4360 3460 nil nil nil nil nil nil nil nil nil nil nil 2937 ) ) ( 8017 8017 8071 nil nil 9017 nil 3617 9071 nil nil ( 2397 2397 nil nil nil nil nil nil nil nil nil nil nil nil 3064 ) 2387 ( 2378 2378 nil nil nil nil nil nil nil nil nil nil 3671 nil nil ) 2379 ) ( 2368 2368 2386 nil nil 2369 2396 2098 nil nil nil 9061 ( 2089 2089 nil nil nil nil nil nil nil nil nil nil 8061 nil nil ) 8016 9016 ) ) ( 8631 8631 ( 3681 3681 nil 8361 nil nil nil nil nil nil nil nil nil nil nil ) ( 8316 8316 nil 3618 3861 nil nil nil nil nil nil nil nil nil nil ) 3816 9631 ( 7831 7831 nil 8371 nil nil nil nil nil nil nil nil 3691 nil nil ) ( 8034 8034 8430 nil nil nil 8530 8091 nil nil nil 7931 nil nil nil ) ( 3961 3961 9361 3619 nil nil nil 3871 nil nil nil nil 7381 8317 nil ) ( 7318 7318 nil 3817 nil nil nil 9316 nil nil nil nil 3916 nil nil ) nil ( 4930 4930 ( 4039 4039 nil 9430 nil nil nil nil nil nil nil nil nil nil nil ) 9034 nil 5930 9530 nil 5039 nil nil nil nil nil nil ) ( 8350 8350 nil 5830 5038 nil nil 8910 4830 4038 nil ( 7391 7391 9371 nil nil nil nil nil nil nil nil nil nil nil nil ) 8019 ( 2839 2839 2938 nil nil nil nil nil nil nil nil nil nil 9081 nil ) 3971 ) ( 4380 4380 3480 3084 nil 5380 3580 2389 3850 3058 nil ( 7319 7319 9317 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 2398 2398 nil nil nil nil nil nil nil nil nil nil nil 9810 nil ) 9018 3917 ) ( 4390 4390 3490 3094 nil 5390 ( 3590 3590 nil 9350 nil nil nil nil nil nil nil nil nil nil nil ) nil 3950 3059 nil nil nil nil nil ) ) ) ) 12: val=-854140, type=0H2B, len=1260,c_compute=1942229 c_long_compute=1942229,c_tablelen=-273781927,c_selectlen=1985485 real 16:24:18.4 user 16:23:42.8 sys 1.7 ( 1456 1456 ( 1546 1546 nil ( 5416 5416 nil 1465 1654 nil nil nil nil nil nil nil nil nil nil ) 6451 nil nil nil nil nil nil nil nil nil nil ) ( 0425 nil nil nil nil nil nil 6415 nil nil nil nil ( 1645 1645 nil nil 5461 nil nil nil nil nil nil nil nil nil nil ) ( 1564 1564 nil 4516 4651 nil nil nil nil nil nil nil nil nil nil ) nil ) ( 4561 4561 6541 ( 5641 5641 nil 4615 6514 nil nil nil nil nil nil nil nil nil nil ) 5614 nil nil nil nil nil nil nil nil nil nil ) ( 2157 nil nil nil nil nil 1457 2456 1756 nil nil 3456 ( 1458 1458 nil nil nil 1459 1856 1956 nil nil nil nil nil nil nil ) 1476 ( 1486 1486 nil nil nil 1496 nil nil nil nil nil nil nil nil nil ) ) ( 7418 nil nil nil nil 7416 ( 8416 8416 nil 1468 nil nil nil nil nil nil nil nil 7451 nil nil ) 9416 ( 1475 1475 nil nil nil 1485 1467 nil 8451 nil nil nil nil nil nil ) ( 1746 1746 nil nil nil 1846 1754 nil nil nil nil nil 1854 nil nil ) nil ( 5406 5406 nil 6450 nil 5436 nil nil 6452 nil nil nil nil nil nil ) ( 1469 1469 nil nil nil nil 1495 nil 9451 nil nil nil 1658 nil nil ) ( 1576 1576 nil 1657 nil 1586 nil 1946 nil nil nil nil 1954 nil nil ) ( 3019 nil nil nil nil nil nil nil nil nil 4256 4056 1659 1596 4356 ) ) ( 7158 nil 1758 1857 nil nil 1958 ( 3076 nil nil nil nil nil 7056 nil 7356 nil 2458 3458 7256 7450 7452 ) ( 1759 1759 1957 nil nil 1859 nil nil nil nil nil nil 1478 nil nil ) ( 1487 1487 nil nil nil nil 1786 nil 1876 nil nil nil nil nil nil ) ( 3496 3496 9436 nil nil 2496 9406 nil nil nil nil nil nil nil nil ) ( 9536 nil 9356 3956 nil nil ( 9056 9056 nil nil nil 9256 nil nil nil nil nil nil nil nil nil ) 7436 2956 3459 nil 7406 ( 9450 9450 nil nil nil 9452 nil nil nil nil nil nil nil nil nil ) 2459 nil ) ( 2856 2856 8256 nil nil ( 2756 2756 nil nil nil nil nil 3856 nil nil nil nil nil nil nil ) ( 8056 8056 nil nil nil 8356 nil nil nil nil nil nil nil nil nil ) ( 2457 2457 nil nil nil nil nil nil nil nil nil nil 3756 nil nil ) 8452 nil nil 3457 8450 nil 1498 ) ( 1896 1896 1986 nil nil 1796 1976 1497 1489 nil nil nil 1479 nil nil ) ( 8436 8436 3486 nil nil 8406 ( 2486 2486 nil nil nil nil nil 3476 nil nil nil nil nil nil nil ) 2476 nil nil nil nil nil nil nil ) ) ( 7418 nil nil nil nil ( 6418 6418 nil nil nil 5418 nil 7415 nil nil nil nil nil nil nil ) ( 6417 6417 nil 7461 nil 5417 nil 8415 nil nil nil nil nil nil nil ) ( 5419 5419 9415 nil nil 6419 nil nil nil nil nil nil 7516 nil nil ) ( 5481 5481 nil nil 1548 ( 5471 5471 nil nil nil nil nil 6481 nil nil nil nil nil nil nil ) 8461 6471 nil ( 1648 1648 nil nil 4816 nil nil nil nil nil nil nil nil nil nil ) nil nil nil 4716 nil ) ( 1647 1647 1674 1764 nil 1547 ( 1684 1684 nil nil nil nil nil nil nil nil nil nil 1745 nil nil ) 1845 ( 1574 1574 nil nil nil nil nil 1864 nil nil nil nil nil nil nil ) 4751 nil nil 1584 4851 nil ) nil ( 5460 5460 nil 6405 nil 5462 ( 2465 2465 nil nil nil 3465 nil nil nil nil nil nil nil nil nil ) nil 6435 nil nil nil 5916 9516 nil ) ( 5716 5716 nil nil 7651 5816 8516 4916 nil 1568 nil nil 5491 ( 6491 6491 9461 nil nil nil nil nil nil nil nil nil nil nil nil ) nil ) ( 1675 1675 1765 1567 6751 1685 1865 ( 1649 1649 1694 nil nil nil 1945 nil nil nil nil nil nil nil nil ) 8651 6851 nil nil ( 1549 1549 1594 nil nil nil nil nil 1964 nil nil nil nil nil nil ) 4951 nil ) ( 6254 6254 2654 ( 4652 4652 nil nil 5246 nil nil nil nil nil nil nil nil nil nil ) 2546 ( 6054 6054 nil nil nil 6354 nil nil nil nil nil nil nil nil nil ) 3654 6951 4650 ( 4506 4506 nil 5046 nil 4536 3546 nil 5346 nil nil nil nil nil nil ) nil nil 9651 ( 1569 1569 1965 1695 nil nil nil nil nil nil nil nil nil nil nil ) nil ) ) ( 7814 nil nil nil nil ( 5814 5814 nil nil nil 6814 7514 7614 nil nil nil nil nil nil nil ) ( 5714 5714 nil nil nil 6714 8514 8614 4815 nil nil nil nil nil nil ) ( 6914 6914 9614 nil nil 5914 9514 6815 nil nil nil nil 7615 nil nil ) ( 7541 7541 nil 4517 4715 7641 5841 6841 4518 4617 nil nil 4861 4618 nil ) ( 6741 6741 4761 4671 nil 5741 8641 8541 ( 4571 4571 nil nil nil nil nil 4681 nil nil nil nil nil nil nil ) nil nil nil 4581 nil nil ) nil ( 6504 6504 5604 5064 nil 6534 ( 2564 2564 nil nil nil 3564 nil nil nil nil nil nil nil nil nil ) 6519 ( 5264 5264 nil nil nil 5364 5634 nil nil nil nil nil nil nil nil ) nil nil nil 6915 ( 5619 5619 9615 nil nil nil nil nil nil nil nil nil nil nil nil ) nil ) ( 6518 6518 5618 8615 5861 6517 6715 4519 ( 5617 5617 nil nil 7561 nil nil nil nil nil nil nil nil nil nil ) nil nil nil ( 4619 4619 nil nil nil nil 4915 nil nil nil nil nil nil nil nil ) nil nil ) ( 6571 6571 5671 5761 nil 6581 8561 ( 6941 6941 nil nil nil nil 9541 nil 4591 nil nil nil nil nil nil ) 5681 nil nil nil ( 9641 9641 4691 4961 nil nil 5941 nil nil nil nil nil nil nil nil ) nil nil ) ( 6542 6542 ( 6245 6245 nil 5642 4562 nil nil nil nil nil nil nil nil nil nil ) 2645 4265 6540 ( 6045 6045 nil nil nil 6345 nil nil nil nil nil nil nil nil nil ) 6591 ( 4560 4560 nil 5640 nil nil nil nil nil 3645 nil nil nil nil nil ) ( 4065 4065 4605 nil nil 4365 4635 nil nil nil nil nil nil nil nil ) nil nil 9561 ( 5691 5691 5961 nil nil nil nil nil nil nil nil nil nil nil nil ) nil ) ) ( 7289 7289 ( 7982 7982 nil ( 2789 2789 nil 9287 7298 nil nil nil nil nil nil nil nil nil nil ) 8279 nil nil nil nil nil nil nil nil nil nil ) ( 9780 nil nil nil nil 9782 nil nil ( 2987 2987 nil nil 9278 nil nil nil nil nil nil nil nil nil nil ) ( 8297 8297 nil 7892 2879 nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil ) ( 8792 8792 ( 2798 2798 nil nil 8972 nil nil nil nil nil nil nil nil nil nil ) ( 2897 2897 nil 9872 nil nil nil nil nil nil nil nil nil nil nil ) 2978 nil nil nil nil nil nil nil nil nil nil ) ( 7089 7089 nil nil nil 7389 nil nil nil nil nil nil nil nil nil ) ( 7809 7809 nil 7980 nil 7839 nil nil 3789 nil nil nil nil nil nil ) nil ( 7908 7908 7098 ( 7890 7890 nil nil 8709 nil nil nil nil nil nil nil nil nil nil ) ( 9087 9087 9780 8079 nil nil nil nil nil nil nil nil nil nil nil ) 7938 7398 nil 3987 ( 8739 8739 8379 3879 9387 nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil ) ( 8097 8097 ( 8790 8790 nil 8907 nil nil nil nil nil nil nil nil nil nil nil ) ( 8970 8970 nil 9078 9807 nil nil nil nil nil nil nil nil nil nil ) ( 9708 9708 nil 9870 nil nil nil nil nil nil nil nil nil nil nil ) 8397 ( 3897 3897 nil 8937 nil nil nil nil nil nil nil nil nil nil nil ) nil ( 3798 3798 nil nil 9837 nil nil nil nil nil nil nil nil nil nil ) ( 9738 9738 9378 3978 nil nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil ) nil nil nil nil nil ) ( 7258 7258 ( 0127 nil nil nil nil nil nil nil nil nil nil nil 8257 ( 2758 2758 nil 7852 nil nil nil nil nil nil nil nil nil nil nil ) nil ) ( 2857 2857 nil 8752 nil nil nil nil nil nil nil nil nil nil nil ) nil ( 0285 nil nil nil nil nil nil nil 9258 7058 nil nil 7259 7358 nil ) ( 2958 2958 nil 8259 nil nil 7952 3758 9257 nil nil nil 7850 7286 nil ) ( 5938 nil 3958 9358 nil nil nil 7438 9058 7359 nil 7408 7950 7059 7296 ) ( 9752 9752 2759 2957 nil 9852 8952 8750 2859 nil nil nil ( 8057 8057 nil nil nil 8357 3857 nil nil nil nil nil nil 7482 nil ) ( 2478 2478 nil nil nil nil nil nil 8276 nil nil nil nil nil nil ) nil ) ( 2487 2487 nil 8472 nil nil 2786 nil 2876 nil nil nil nil nil nil ) nil ( 7096 7096 7906 nil nil 7396 ( 7490 7490 nil nil nil nil nil nil nil nil nil nil 7936 nil nil ) nil 7409 nil nil 3498 7439 9408 9438 ) ( 9850 9850 8950 8059 nil 9750 ( 3859 3859 nil nil nil nil nil nil nil nil nil nil 9057 nil nil ) 9357 8359 nil nil ( 7836 7836 nil nil nil nil nil nil nil nil nil nil 9276 nil nil ) ( 9286 9286 nil nil nil nil nil nil nil nil nil 7480 7806 nil ( 3759 3759 3957 nil nil nil nil nil nil nil nil nil nil nil nil ) ) ( 1798 1798 1978 nil nil nil nil 2498 nil nil nil nil 8296 7086 nil ) ( 3478 3478 nil nil nil nil nil nil nil 7386 nil nil 7492 nil nil ) ) ( 8376 8376 ( 3876 3876 nil 8736 nil nil nil nil nil nil nil nil nil nil nil ) 3786 nil 8076 8706 ( 2976 2976 nil nil nil nil nil nil nil nil nil 8470 nil nil nil ) 8437 3487 nil ( 2479 2479 9472 nil nil nil nil nil 8492 nil nil nil nil nil nil ) ( 2986 2986 2896 nil nil nil 2796 nil nil nil nil nil nil 1879 8407 ) ( 1789 1789 1987 1897 nil nil nil nil nil nil nil nil nil nil nil ) ( 2489 2489 9482 nil nil nil 2497 nil nil nil nil nil nil nil nil ) ) ( 9376 9376 ( 3976 3976 nil 9736 nil nil nil nil nil nil nil nil nil nil nil ) 3796 nil ( 9076 9076 nil nil nil nil nil 9386 nil nil nil nil nil nil nil ) ( 8396 8396 nil 9836 nil nil nil nil nil nil nil nil 9706 nil nil ) ( 9086 9086 9806 nil nil nil nil nil nil nil nil nil 9470 nil nil ) ( 3896 3896 3986 8936 nil nil nil nil nil nil nil nil 3479 9437 nil ) 3497 nil 9480 ( 8096 8096 8906 nil nil nil nil nil nil nil nil nil nil 9407 nil ) ( 3489 3489 8439 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 8409 8409 8490 nil nil nil nil nil nil nil nil nil nil nil nil ) ) ) ( 7418 7418 ( 7481 7481 nil 8417 nil nil nil nil nil nil nil nil nil nil nil ) ( 1748 1748 nil nil 8471 nil nil nil nil nil nil nil nil nil nil ) ( 1784 1784 1874 1847 nil nil nil nil nil nil nil nil nil nil nil ) ( 7419 7419 nil nil nil nil 9418 nil nil nil nil nil nil nil nil ) ( 7491 7491 nil 9417 nil nil nil nil 8419 nil nil nil 7816 nil nil ) ( 6408 6408 nil nil nil ( 5408 5408 nil nil nil nil nil 6438 nil nil nil nil nil nil nil ) ( 2468 2468 nil nil nil 3468 nil nil nil nil nil nil nil nil nil ) ( 5438 5438 nil nil nil nil nil nil nil nil nil nil 7405 nil nil ) 7460 nil nil 7435 7462 nil 7916 ) ( 1578 1578 nil nil 7851 1678 1768 1948 nil 8716 nil nil 9471 ( 8491 8491 9481 nil nil nil nil nil nil nil nil nil nil nil nil ) nil ) ( 1849 1849 1894 1984 nil 1749 1947 ( 1867 1867 nil nil nil nil 1875 nil nil nil nil nil nil nil nil ) ( 1794 1794 1974 nil nil nil nil nil nil nil nil nil nil nil nil ) nil nil nil ( 1587 1587 1785 nil nil 1687 nil nil nil nil nil nil nil nil nil ) 8751 nil ) ( 9650 9650 6950 ( 6059 6059 nil nil 9506 nil nil nil nil nil nil nil nil nil nil ) ( 5096 5096 5906 nil nil nil nil nil nil nil nil nil nil nil nil ) 9652 ( 2659 2659 nil nil nil 3659 nil nil nil nil nil nil nil nil nil ) nil ( 6259 6259 6952 nil nil 6359 nil nil nil 9536 nil nil nil nil nil ) ( 2596 2596 5296 nil nil 3596 5396 nil 5936 nil nil nil nil nil nil ) nil nil nil nil nil ) ( 6409 6409 6490 9460 nil ( 5409 5409 nil nil nil nil nil 6439 nil nil nil nil nil nil nil ) ( 2469 2469 nil 6492 nil 3469 nil nil nil nil nil nil 9405 nil nil ) 5439 ( 5490 5490 nil nil nil nil nil nil nil nil nil nil 9462 nil nil ) nil nil ( 6258 6258 nil nil nil 6358 nil nil nil nil nil nil nil nil nil ) ( 9435 9435 3495 nil nil nil 2495 nil 5492 nil nil nil nil nil ( 6058 6058 nil nil nil nil nil nil nil 7506 nil nil nil nil nil ) ) 7650 ( 2658 2658 nil nil nil 3658 7652 nil nil nil nil nil nil 7536 nil ) ) ( 8435 8435 3485 nil 4358 8405 ( 2485 2485 nil nil nil nil nil 3475 nil nil nil nil 5437 nil nil ) ( 8460 8460 nil nil nil 8462 nil nil nil nil nil 2475 6437 nil nil ) ( 5480 5480 nil nil nil 5482 nil nil nil nil nil nil nil nil nil ) ( 4258 4258 nil nil nil 4058 nil nil nil nil nil nil 7354 nil nil ) 9716 ( 6470 6470 6407 nil nil 6472 nil nil 2467 nil nil nil nil nil 8916 ) ( 5407 5407 5470 nil nil nil 5472 3467 nil nil nil 6482 6480 nil nil ) ( 7054 7054 nil nil nil 7254 nil nil nil nil nil nil 7346 nil 1598 ) ( 1698 1698 1968 nil 9816 nil nil nil nil nil nil nil nil 7951 ( 7046 7046 nil nil nil 7246 nil nil nil nil nil nil nil nil nil ) ) ) ( 4836 4836 ( 3846 3846 nil 4386 nil nil nil nil nil nil nil nil nil nil nil ) 8346 nil ( 4736 4736 nil nil nil nil nil 4806 nil nil nil nil nil nil nil ) ( 4086 4086 nil nil nil 4286 nil 4376 2846 nil nil nil nil nil nil ) ( 4076 4076 4706 nil nil 4276 nil nil nil nil nil 4852 4850 nil nil ) ( 8046 8046 nil nil nil 8246 nil 3746 nil nil nil nil nil 3854 nil ) 8354 ( 1579 1579 ( 1597 1597 nil 1975 nil nil nil nil nil nil nil nil nil nil nil ) 1795 9751 nil nil nil nil nil nil nil nil nil nil ) ( 4057 4057 4750 nil nil 4257 4752 nil nil nil nil 9851 nil nil 1895 ) ( 4357 4357 nil nil nil nil nil nil nil nil 1869 nil 2854 2746 nil ) ( 8054 8054 nil nil nil 8254 nil 3754 nil nil nil nil nil nil 1689 ) ( 1679 1679 ( 1697 1697 nil 1769 nil nil nil nil nil nil nil nil nil nil nil ) 1967 nil nil nil 1589 nil nil nil nil 1985 8951 2754 ) ) ( 6257 6257 ( 2657 2657 nil 6752 nil nil nil nil nil nil nil nil nil nil nil ) 5276 2576 ( 6057 6057 nil nil nil 6357 nil nil nil nil nil nil nil nil nil ) ( 6750 6750 nil nil nil nil nil 6852 3657 nil nil nil nil nil nil ) ( 4259 4259 9254 nil nil nil nil nil nil nil nil 6850 nil nil nil ) ( 5286 5286 nil nil 8652 nil nil nil nil nil nil nil nil nil nil ) ( 5706 5706 5076 nil nil 5736 5376 nil 3576 nil nil nil 2586 nil nil ) nil ( 4359 4359 9354 3954 nil 4059 4950 nil 9054 nil nil nil nil nil nil ) ( 4296 4296 9246 nil nil nil nil nil 4952 2954 nil nil nil nil 8650 ) ( 5386 5386 ( 3586 3586 nil 5836 nil nil nil nil nil nil nil nil nil nil nil ) 8536 nil 5086 5806 nil 8506 nil nil 2946 nil nil nil ) ( 4396 4396 ( 4936 4936 nil 9346 nil nil nil nil nil nil nil nil nil nil nil ) 3946 nil 4096 4906 nil 9046 nil nil nil nil nil nil ) ) ) ( 7045 7045 ( 7540 7540 nil 5047 4075 nil nil nil nil nil nil nil nil nil nil ) ( 5740 5740 nil ( 4705 4705 nil nil 5074 nil nil nil nil nil nil nil nil nil nil ) 7504 nil nil nil nil nil nil nil nil nil nil ) ( 5704 5704 nil 4507 4570 nil nil nil nil nil nil nil nil nil nil ) ( 3068 nil nil nil nil nil nil 7065 nil nil 7245 9045 8045 nil 7345 ) ( 6075 6075 nil 7605 nil nil 6047 ( 4085 4085 nil nil nil 4095 nil nil nil nil nil nil nil nil nil ) 7064 7640 nil nil ( 5048 5048 nil nil nil 5049 nil nil nil nil nil nil ( 2745 2745 nil nil nil 3745 nil nil nil nil nil nil nil nil nil ) nil nil ) 7542 nil ) ( 0865 nil 8065 6085 nil nil 9065 ( 2845 2845 nil nil nil 3845 nil 7815 nil nil nil 7365 7265 nil nil ) 6095 6048 7941 ( 2945 2945 9245 nil nil 3945 9345 7915 nil nil nil 7841 nil nil nil ) ( 7635 7635 nil nil nil nil nil nil nil nil nil 8245 8345 nil nil ) 6049 7642 ) ( 3547 3547 5347 7534 ( 4375 4375 4735 nil nil nil nil nil nil nil nil nil nil nil nil ) 2547 5247 ( 8540 8540 nil nil nil 9540 nil nil nil nil nil nil nil nil nil ) 5742 4275 nil nil ( 5067 5067 nil 7560 nil 4067 nil nil nil 6740 nil nil ( 5840 5840 nil nil nil 5940 nil nil nil nil nil nil nil nil nil ) nil nil ) ( 5084 5084 nil nil 4805 5094 nil 6074 nil 4905 nil nil 7604 6705 nil ) nil ) ( 5804 5804 8504 4508 4580 5904 9504 ( 5734 5734 5374 nil nil nil 5274 6704 nil nil nil nil 5607 nil nil ) 4509 4590 nil nil ( 4607 4607 nil nil nil nil 6507 nil 5670 5760 nil nil nil ( 2574 2574 nil nil nil 3574 nil nil nil nil nil nil nil nil nil ) nil ) ( 4670 4670 4760 nil nil nil 6570 4572 nil nil nil nil 4537 nil nil ) nil ) ( 6819 6819 ( 8619 8619 nil 6918 6891 nil nil nil nil nil nil nil nil nil nil ) ( 9618 9618 nil 9861 6981 nil nil nil nil nil nil nil nil nil nil ) ( 8961 8961 8691 9681 nil nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil nil nil nil nil nil ) ( 2865 2865 ( 2685 2685 nil 8265 nil nil nil nil nil nil nil nil nil nil nil ) 6285 nil ( 2965 2965 nil nil nil nil nil 3865 nil nil nil nil nil nil nil ) ( 8365 8365 nil 6835 nil nil nil 9265 nil nil nil nil 2695 nil nil ) ( 3965 3965 9365 nil nil nil nil nil nil nil nil 7861 9815 nil nil ) ( 6385 6385 3685 8635 nil nil nil 6295 nil nil nil nil 6842 2648 nil ) ( 6248 6248 nil 8642 nil nil nil nil nil nil nil nil nil nil nil ) nil ( 7961 7961 nil nil nil nil nil nil nil nil nil nil 9841 nil nil ) ( 6395 6395 ( 3695 3695 nil 6935 nil nil nil nil nil nil nil nil nil nil nil ) 9635 nil nil nil nil nil nil nil nil 8915 2649 nil ) ( 7618 7618 7681 nil nil nil nil 3648 nil nil nil 9642 6348 nil ( 6249 6249 6942 nil nil nil nil nil nil nil nil nil nil nil nil ) ) ( 7619 7619 7691 nil nil nil nil 3649 nil nil nil nil 6349 8941 nil ) ) ( 6840 6840 8640 6084 ( 4068 4068 8064 nil nil nil nil nil nil nil nil nil nil nil nil ) 6940 ( 6805 6805 nil nil nil nil nil nil nil nil nil nil nil 9640 nil ) ( 5842 5842 nil nil nil nil nil 6742 nil nil nil 6347 6247 nil nil ) 6094 ( 4069 4069 9064 nil nil nil nil 5068 nil nil nil nil nil 8605 nil ) ( 7519 7519 7591 9715 nil nil nil nil nil nil nil nil nil nil nil ) ( 5349 5349 3549 nil nil 5249 ( 2549 2549 nil 5942 nil nil nil nil nil nil nil nil nil nil nil ) nil 9542 nil nil nil ( 6375 6375 nil nil nil nil nil nil nil nil nil nil nil nil 9741 ) 6735 6275 ) ( 8542 8542 2548 5248 nil nil 3548 8741 5348 4835 nil 3647 2647 7814 6905 ) ( 4385 4385 nil nil nil 4285 nil nil nil nil nil 9605 7364 7634 ( 5069 5069 nil nil nil nil nil nil nil nil nil 7264 nil nil nil ) ) ( 2765 2765 2675 7562 nil 3765 nil 8715 3675 nil nil ( 4395 4395 4935 nil nil nil nil nil nil nil nil nil nil nil nil ) 4295 ( 7518 7518 7581 nil nil nil nil nil nil nil nil nil nil nil nil ) 7914 ) ) ( 6580 6580 ( 6508 6508 nil 8560 5680 nil nil nil nil nil nil nil nil nil nil ) 5860 5608 6590 ( 6509 6509 nil 9560 nil nil nil nil nil nil nil nil nil 4680 nil ) ( 3584 3584 nil nil nil 2584 4582 nil nil nil nil 6572 6537 nil nil ) ( 5690 5690 5960 nil nil nil nil nil nil nil nil nil 4860 6804 nil ) ( 4608 4608 8604 nil nil nil nil 5609 nil nil nil nil nil nil nil ) ( 4971 4971 ( 4791 4791 nil 4917 nil nil nil nil nil nil nil nil nil nil nil ) 4719 9714 nil nil nil nil nil nil nil nil nil nil ) ( 4539 4539 9534 3594 nil nil 4592 nil 2594 nil nil 4781 ( 9517 9517 9571 nil nil nil nil nil nil nil nil nil nil nil 6734 ) 6374 6274 ) ( 8534 8534 4538 5384 nil nil nil ( 8517 8517 8571 nil nil nil nil nil nil nil nil nil nil nil nil ) 5284 nil nil ( 2567 2567 nil nil nil nil nil nil nil nil nil nil nil nil 6904 ) 3567 5781 ( 4690 4690 4960 nil nil nil nil nil nil nil nil nil nil nil nil ) ) ( 5267 5267 5762 5672 nil 5367 5637 5817 nil nil nil 5834 ( 5718 5718 nil 5871 nil nil nil nil nil nil nil nil nil nil nil ) nil ( 4609 4609 9604 nil nil nil nil nil nil nil nil nil nil nil nil ) ) ( 4267 4267 4762 ( 2764 2764 nil nil 4672 nil nil nil nil nil nil nil nil nil nil ) 2674 4367 4637 4817 3764 3674 nil 5917 ( 4718 4718 nil 4871 nil nil nil nil nil nil nil nil nil nil 5294 ) 8714 ( 5971 5971 5791 5719 nil nil nil 5934 nil nil nil nil 5394 nil nil ) ) ) ( 8761 8761 ( 6781 6781 nil 8671 nil nil nil nil nil nil nil nil nil nil nil ) ( 8617 8617 nil 6718 6871 nil nil nil nil nil nil nil nil nil nil ) 6817 9761 6791 ( 8264 8264 nil nil nil 8364 8562 nil nil nil nil 8591 nil nil nil ) ( 9671 9671 6971 nil 6719 nil nil nil nil nil nil nil nil nil nil ) ( 6917 6917 9617 nil nil nil nil nil nil nil nil nil nil nil nil ) nil ( 4369 4369 9364 3964 nil ( 4269 4269 nil nil nil nil nil 5369 nil nil nil nil nil nil nil ) ( 3569 3569 nil nil nil nil nil nil nil nil nil nil 4962 nil nil ) ( 2569 2569 5269 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 2964 2964 9264 nil nil nil nil nil nil nil nil nil nil nil nil ) nil nil nil ( 5962 5962 9562 nil nil nil nil nil nil nil nil nil nil nil nil ) nil nil ) ( 5891 5891 5981 9581 8519 4891 nil 5862 4981 8914 nil ( 4862 4862 2864 nil nil nil 3864 nil nil nil nil nil nil nil nil ) ( 5268 5268 nil nil nil 5368 nil nil nil nil nil nil nil nil nil ) ( 2568 2568 nil nil nil 3568 nil nil nil nil nil nil nil nil nil ) ( 4268 4268 nil nil nil 4368 nil nil nil 8634 nil nil nil nil nil ) ) ( 4638 4638 nil ( 3684 3684 nil 6834 nil nil nil nil nil nil nil nil nil nil nil ) 6384 5638 ( 4682 4682 nil nil nil nil nil nil nil nil nil nil nil 6538 nil ) 4918 2684 6284 nil ( 5918 5918 9518 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 4819 4819 nil nil nil nil nil nil nil nil nil nil nil nil 5682 ) ( 6582 6582 nil nil nil nil nil nil nil nil nil nil nil nil 9814 ) 5819 ) ( 4639 4639 9634 ( 3694 3694 nil 6934 nil nil nil nil nil nil nil nil nil nil nil ) 6394 5639 ( 4692 4692 nil nil nil nil nil nil nil nil nil nil nil 6539 nil ) nil 2694 6294 nil nil 5692 6592 nil ) ) ) ( 4278 4278 ( 4872 4872 nil ( 4287 4287 nil 8274 nil nil nil nil nil nil nil nil nil nil nil ) 7248 nil nil nil nil nil nil nil nil nil nil ) ( 8247 8247 nil ( 2748 2748 nil nil 7284 nil nil nil nil nil nil nil nil nil nil ) ( 2874 2874 nil nil 4782 nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil nil nil nil nil nil ) ( 7840 nil nil nil nil 7842 2847 nil 8742 2784 nil nil nil nil nil ) ( 4089 nil nil nil nil nil 4078 4279 4298 nil nil nil 4378 nil ( 5278 5278 nil nil nil 6278 nil nil nil nil nil nil nil nil nil ) ) ( 9248 9248 nil 4289 nil nil 9274 7268 4297 4972 nil nil ( 2578 2578 nil 8275 nil 2678 nil nil nil nil nil nil ( 4708 4708 nil nil nil 4738 nil nil nil nil nil nil nil nil nil ) nil nil ) 4870 nil ) ( 3498 nil 4398 4938 nil nil 4098 ( 6298 6298 nil nil nil 5298 nil nil nil nil nil 3578 3678 nil nil ) 4908 4379 nil ( 5078 5078 nil nil nil 6078 nil nil nil nil nil nil nil nil nil ) ( 6378 6378 nil nil nil 5378 nil nil nil nil nil nil 9268 nil nil ) ( 4079 4079 4970 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 5279 5279 9275 nil nil 6279 nil nil nil nil nil nil nil nil nil ) ) ( 4807 4807 4087 4780 ( 7048 7048 nil 8074 nil nil nil nil nil nil nil nil nil nil nil ) 4837 4387 4892 3874 ( 3748 3748 7348 nil 8374 nil nil nil nil nil nil nil nil nil nil ) nil nil ( 5287 5287 nil 5872 2875 6287 8267 9247 nil 6872 nil nil 4982 4792 nil ) ( 7294 7294 7249 2974 nil 8294 9284 7285 8249 2948 nil nil nil ( 2768 2768 nil nil 8672 nil nil nil nil 8572 nil nil nil nil nil ) nil ) nil ) ( 7084 7084 7804 ( 7840 7840 nil 8047 8704 nil nil nil nil nil nil nil nil nil nil ) 8740 7384 ( 3784 3784 nil 7834 nil nil nil nil nil nil nil nil nil nil nil ) ( 7582 7582 nil nil nil 7682 nil nil nil nil nil nil 2984 nil nil ) 8734 ( 3847 3847 8347 nil nil nil nil nil nil nil nil nil nil nil nil ) nil nil ( 7862 7862 nil 6782 2687 nil nil 7942 5782 ( 2587 2587 2785 nil nil nil nil nil nil nil nil nil nil nil nil ) nil nil 2894 2794 nil ) ( 2849 2849 9842 8942 nil 2749 2947 2867 9742 nil nil nil nil 8762 nil ) nil ) nil ( 9068 9068 ( 6098 6098 nil 9608 nil nil nil nil nil nil nil nil nil nil nil ) 6908 nil 9368 ( 9508 9508 nil 5098 nil nil nil 9638 nil nil nil nil 3968 nil nil ) ( 9075 9075 nil nil nil nil nil nil nil nil nil nil 9538 nil nil ) ( 6938 6938 6398 3698 nil nil nil 5908 nil nil nil nil 6079 9670 nil ) 6970 nil 9375 ( 5938 5938 5398 3598 nil nil nil nil nil nil nil nil 5079 9570 nil ) ( 6379 6379 3679 nil nil nil nil nil nil nil nil nil 5970 nil nil ) ( 3975 3975 3579 5379 nil nil nil nil nil nil nil nil nil nil nil ) ) ( 8075 8075 8570 5870 ( 5708 5708 7508 nil nil nil nil nil nil nil nil nil nil nil nil ) 8375 ( 3875 3875 nil nil nil nil nil nil nil nil nil nil 8670 nil nil ) ( 2975 2975 nil nil nil nil nil 8971 8295 nil nil nil 9074 nil nil ) ( 6870 6870 nil nil 7068 nil nil nil nil nil nil nil nil nil nil ) ( 5738 5738 7538 nil nil nil nil 6708 nil nil nil nil 7608 nil nil ) nil ( 6972 6972 9672 2679 nil nil nil 3974 nil 8269 nil nil 9374 nil nil ) ( 2579 2579 9572 5972 7295 nil nil nil nil 9285 nil 4089 9871 4097 9048 ) ( 4790 4790 4709 4907 nil 4890 4980 nil 4809 nil nil ( 6738 6738 3768 nil nil nil nil nil nil nil nil 2598 nil nil nil ) ( 5297 5297 nil nil nil nil nil nil nil nil nil nil nil 9718 nil ) 7918 ( 7368 7368 7638 nil nil nil nil nil nil nil nil nil nil nil 5289 ) ) ( 4397 4397 4937 4739 nil nil 4389 6297 ( 4839 4839 nil nil 9348 nil nil nil nil nil nil nil nil nil nil ) 3948 nil 2698 9267 7269 ( 2968 2968 nil nil 6289 nil nil nil nil nil nil nil nil nil nil ) ) ) ( 3947 3947 ( 3749 3749 nil 9347 nil nil nil nil nil nil nil nil nil nil nil ) ( 7349 7349 nil 7934 3794 nil nil nil nil nil nil nil nil nil nil ) ( 7394 7394 nil 9734 nil nil nil nil nil nil nil nil nil nil nil ) nil ( 9047 9047 nil 7940 nil nil nil nil nil nil nil nil 3849 3984 nil ) ( 3587 3587 nil nil nil 3687 3867 nil nil nil nil 2967 8917 nil 8940 ) ( 7904 7904 nil 7049 9740 nil nil 8934 nil nil nil nil 3894 8349 nil ) ( 8394 8394 9384 9834 nil nil nil 7094 nil nil nil nil 9704 nil nil ) nil ( 5087 5087 5807 8507 nil 6087 8067 5982 ( 6807 6807 8607 nil nil nil nil nil nil nil nil nil nil nil nil ) nil nil 6982 2985 nil 8962 ) ( 8537 8537 5837 5387 3785 8637 ( 6837 6837 nil 8367 nil nil nil nil nil nil nil nil nil nil nil ) 2597 6387 nil nil ( 8049 8049 nil 8904 nil nil nil nil nil nil nil nil nil nil 2697 ) 9817 7981 ( 7962 7962 nil nil nil nil nil nil nil nil nil nil nil nil 9840 ) ) ( 2769 2769 9762 6792 7692 nil 2795 8719 5792 7592 nil 8735 ( 8791 8791 9781 nil 7819 nil nil nil nil nil nil nil nil nil nil ) 7891 ( 9804 9804 9084 8094 nil nil nil nil nil nil nil 7835 nil nil 7385 ) ) ( 2589 2589 9582 ( 2895 2895 nil 8592 nil nil nil nil nil nil nil nil nil nil nil ) 5892 2689 2869 7580 9682 ( 9862 9862 6892 8692 nil nil nil nil nil nil nil nil nil nil nil ) nil ( 6780 6780 7680 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 5780 5780 nil 7085 nil nil nil nil nil nil nil nil nil nil nil ) ( 7805 7805 8705 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 7860 7860 8760 nil nil nil nil nil nil nil nil nil nil nil nil ) ) ) ( 6089 6089 ( 6980 6980 nil 6809 8069 nil nil nil nil nil nil nil nil nil nil ) ( 8609 8609 nil 9680 6890 nil nil nil nil nil nil nil nil nil nil ) ( 9860 9860 8960 8690 nil nil nil nil nil nil nil nil nil nil nil ) ( 5089 5089 nil nil nil nil nil 6389 nil nil nil nil nil nil nil ) ( 6709 6709 nil ( 6097 6097 nil 7069 nil nil nil nil nil nil nil nil nil nil nil ) nil nil nil 6839 nil nil nil nil 3689 9085 nil ) ( 5389 5389 3589 nil nil nil nil nil nil nil nil nil 6739 nil nil ) ( 8509 8509 5809 ( 8095 8095 nil nil 9580 nil nil nil nil nil nil nil nil nil nil ) 5980 nil nil ( 7609 7609 nil nil nil nil nil 8639 nil nil nil nil 8369 nil nil ) nil nil nil nil ( 3869 3869 nil nil nil nil nil nil nil nil nil nil nil 6907 nil ) ( 6790 6790 nil nil 9067 nil nil nil nil nil nil nil nil nil nil ) nil ) ( 8590 8590 5890 8905 9805 nil nil 7690 nil nil nil nil ( 7960 7960 9760 nil nil nil nil nil nil nil nil nil nil nil nil ) 9607 nil ) nil ( 5739 5739 7539 nil nil nil nil nil nil nil nil nil nil nil nil ) ( 6397 6397 6937 7369 ( 3769 3769 nil 7639 nil nil nil nil nil nil nil nil nil nil nil ) nil nil 5097 nil nil nil nil ( 7095 7095 nil nil nil nil nil nil nil nil nil nil 9385 nil nil ) ( 5709 5709 7509 nil nil nil nil 5839 nil nil nil nil 8539 3985 nil ) nil ) ( 7905 7905 ( 5907 5907 nil 9705 nil nil nil nil nil nil nil nil nil nil nil ) ( 7590 7590 nil 9507 nil nil nil nil nil nil nil nil nil nil nil ) 5790 nil nil 8935 nil nil nil nil ( 8395 8395 3895 9835 nil nil nil nil nil nil nil nil nil 3967 nil ) ( 3697 3697 9637 9367 nil nil nil nil nil nil nil nil nil nil nil ) nil ) ( 5937 5937 ( 7935 7935 nil 9537 5397 nil nil nil nil nil nil nil nil nil nil ) ( 3597 3597 nil nil 9735 nil nil nil nil nil nil nil nil nil nil ) ( 3795 3795 7395 nil nil nil nil nil nil nil nil nil nil nil nil ) nil nil nil nil nil nil nil nil nil nil ) ) ) ) 13: val=-1504363, type=0H1B, len=1440,c_compute=6376993 c_long_compute=6376993,c_tablelen=1309008687,c_selectlen=6605011 real 38:58:32.0 user 38:56:42.9 sys 2.7