"(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 3, 3, 2, 4)",2664.43264
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 3, 4, 3, 4, 0, 2, 4)",2149.057536
"(1, 0, 0, 0, 0, 0, 0, 0, 1, 2, 1, 4, 3, 0, 3, 1)",2495.34976
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 3, 3, 3, 2, 3, 2, 1)",2189.952
"(1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1, 3, 1, 3, 3, 4)",2457.863168
"(1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 4, 1)",2866.28352
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1, 2, 3, 4, 1)",2596.013056
"(1, 0, 0, 0, 0, 1, 1, 0, 2, 3, 4, 1, 1, 0, 2, 3)",2399.6672
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 2, 3, 3, 4, 2, 1, 1)",2205.811712
"(1, 0, 0, 0, 0, 1, 0, 0, 2, 3, 3, 2, 2, 1, 2, 3)",2351.563776
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 2, 4, 0, 0, 3)",2764.964864
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 4, 4, 3, 1)",2049.70496
"(0, 0, 0, 0, 0, 1, 0, 0, 2, 0, 0, 3, 2, 0, 0, 1)",2882.274304
"(1, 0, 0, 0, 0, 1, 0, 0, 2, 0, 1, 1, 3, 3, 2, 1)",2581.20192
"(0, 0, 0, 0, 0, 1, 1, 0, 0, 2, 2, 2, 3, 4, 4, 0)",2421.818368
"(0, 0, 0, 0, 0, 0, 0, 0, 1, 3, 0, 3, 1, 4, 3, 3)",2358.510592
"(0, 0, 0, 0, 0, 1, 0, 0, 0, 2, 3, 1, 2, 1, 2, 0)",2749.760512
"(0, 0, 0, 0, 0, 0, 1, 0, 2, 3, 1, 4, 4, 0, 1, 4)",2291.008512
"(0, 0, 0, 0, 0, 0, 1, 0, 2, 0, 1, 2, 3, 2, 2, 1)",2608.333824
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 0, 4, 2, 3, 4, 1, 4)",2201.617408
"(0, 0, 0, 0, 0, 1, 1, 0, 2, 0, 0, 0, 1, 4, 4, 0)",2706.37568
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 3, 0, 1, 1, 2, 1, 3)",2554.98752
"(1, 0, 0, 0, 0, 1, 0, 0, 2, 0, 3, 0, 1, 4, 0, 2)",2655.388672
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 2, 2, 4, 1, 3, 0, 1)",2530.477056
"(0, 0, 0, 0, 0, 1, 0, 0, 2, 2, 3, 0, 2, 2, 0, 4)",2552.235008
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 0, 2, 3, 0, 3, 0, 4)",2535.195648
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 4, 4, 2, 3, 0, 0, 4)",2277.901312
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 3, 3, 0, 1, 0, 1, 0)",2675.835904
"(1, 0, 0, 0, 0, 0, 1, 0, 2, 4, 3, 0, 4, 0, 0, 0)",2600.20736
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 1, 3, 3, 3, 2)",2532.836352
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 1, 1, 4, 1, 0)",2295.202816
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 3, 0, 0, 1, 4, 4, 3)",2452.882432
"(1, 0, 0, 0, 0, 0, 0, 0, 2, 3, 4, 3, 2, 2, 1, 3)",2252.080128
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 2, 0, 0, 2, 2, 4)",2468.086784
"(1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 3, 3, 0, 4, 4, 1)",2374.76352
"(1, 0, 0, 0, 0, 1, 0, 0, 2, 3, 4, 0, 2, 1, 0, 4)",2456.421376
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 4, 4, 3, 0, 3)",2481.5872
"(1, 0, 0, 0, 0, 0, 0, 0, 4, 0, 2, 4, 0, 3, 2, 3)",2384.331776
"(1, 0, 0, 0, 0, 1, 1, 0, 2, 0, 3, 0, 4, 3, 0, 3)",2464.416768
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 1, 3, 1, 3, 1, 4, 4)",2263.876608
"(1, 0, 0, 0, 0, 0, 1, 0, 2, 2, 3, 3, 4, 2, 0, 1)",2369.127424
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 3, 1, 1)",2860.778496
"(1, 0, 0, 0, 0, 0, 0, 0, 2, 0, 4, 1, 0, 0, 2, 3)",2686.452736
"(0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 0, 4, 3, 3, 3, 2)",2379.35104
"(0, 0, 0, 0, 0, 0, 1, 0, 2, 0, 3, 0, 4, 0, 0, 0)",2832.991232
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 3, 4, 3, 1, 4, 3, 4)",2024.80128
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 0, 4, 0, 2, 2, 1)",2447.50848
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 2, 3, 1, 1, 2, 1, 1)",2456.290304
"(1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 2, 0, 4, 1)",2828.534784
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 3, 2, 3, 4, 0, 0, 4)",2364.802048
"(0, 0, 0, 0, 0, 0, 0, 0, 2, 3, 1, 0, 4, 0, 1, 4)",2538.734592
"(0, 0, 0, 0, 0, 0, 1, 0, 0, 2, 2, 2, 1, 3, 4, 0)",2582.119424
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 0, 3, 2, 2, 4, 1, 4)",2310.276096
"(1, 0, 0, 0, 0, 0, 0, 0, 1, 2, 1, 4, 0, 0, 3, 3)",2570.454016
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 4, 4, 3, 0, 3)",2462.712832
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 0, 1, 4, 1, 3, 1)",2406.614016
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 0, 3, 0, 4, 3, 1, 3)",2301.101056
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 3, 3, 1, 2, 0, 4, 0)",2411.070464
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 3, 2, 4, 1, 3, 2, 3)",2097.54624
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 2, 1, 1, 3, 0, 1)",2683.962368
"(1, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 1, 3, 3, 2, 4)",2431.648768
"(0, 0, 0, 0, 0, 0, 0, 0, 1, 3, 0, 3, 4, 0, 2, 3)",2482.766848
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 2, 0, 4, 4, 3, 4)",2070.283264
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 3, 4, 4, 1, 0)",2044.724224
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 3, 4, 1)",2633.761792
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 0, 4, 3, 0, 3, 2, 4)",2319.451136
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 2, 4, 0, 2, 2, 4)",2220.360704
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 2, 2, 4, 3, 4, 0, 1)",2370.176
"(0, 0, 0, 0, 0, 1, 0, 0, 2, 2, 4, 0, 3, 2, 0, 4)",2443.57632
"(1, 0, 0, 0, 0, 0, 0, 0, 4, 0, 2, 4, 3, 3, 2, 1)",2309.22752
"(0, 0, 0, 0, 0, 0, 1, 0, 2, 4, 3, 0, 4, 0, 0, 0)",2619.081728
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 1, 3, 4, 3, 4, 4, 4)",1906.967552
"(0, 0, 0, 0, 0, 0, 1, 0, 4, 1, 3, 3, 4, 1, 4, 1)",2152.59648
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 2, 2, 4, 3, 4, 0, 1)",2389.050368
"(1, 0, 0, 0, 0, 1, 0, 0, 2, 3, 4, 0, 4, 0, 0, 4)",2408.711168
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 2, 3, 1, 3, 2, 0, 4)",2378.564608
"(0, 0, 0, 0, 0, 1, 1, 0, 0, 2, 2, 2, 1, 3, 4, 0)",2563.245056
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 3, 4, 3, 2, 1, 2, 4)",2196.767744
"(1, 0, 0, 0, 0, 1, 0, 0, 2, 0, 1, 1, 2, 3, 1, 1)",2678.588416
"(1, 0, 0, 0, 0, 0, 0, 0, 2, 3, 4, 3, 3, 2, 2, 3)",2154.693632
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 4, 2, 2, 4, 1, 4)",2357.855232
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 3, 3, 3, 4, 4, 2, 4)",1845.625856
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 4, 4, 2, 0, 4)",2504.393728
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 3, 2, 1, 1, 3, 2, 3)",2478.3104
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 2, 2, 4, 4, 0, 0, 4)",2423.129088
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 2, 4, 0, 2, 1, 3)",2514.486272
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 2, 0, 1, 4, 1, 3, 1)",2520.646656
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 3, 0, 0, 1, 4, 4, 4)",2411.201536
"(1, 0, 0, 0, 0, 1, 0, 0, 2, 0, 0, 3, 2, 3, 0, 1)",2698.380288
"(0, 0, 0, 0, 0, 0, 0, 0, 1, 3, 0, 3, 1, 3, 0, 3)",2563.769344
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 1, 3, 4, 3, 3, 4, 4)",1951.794176
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 3, 0, 1)",2941.125632
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 0, 3)",2222.851072
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 2, 2, 2, 4)",2206.598144
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 3, 4, 3, 3, 1, 2, 4)",2040.52992
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 3, 4, 0, 1, 0)",2348.155904
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 2, 0, 0, 3, 2, 3)",2445.280256
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 4, 0, 4, 3, 3, 2, 4)",2050.884608
"(0, 0, 0, 0, 0, 0, 1, 0, 2, 3, 1, 4, 1, 3, 1, 1)",2398.35648
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 0, 4, 3, 2, 4)",2006.975488
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 2, 4, 3, 4, 0, 1)",2275.017728
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 2, 0, 4, 4, 3, 3)",2111.96416
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 3, 2, 4, 1, 0, 2, 3)",2281.440256
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 4, 4, 4, 3, 3)",2257.45408
"(1, 0, 0, 0, 0, 0, 0, 0, 0, 4, 0, 1, 3, 4, 2, 4)",2386.822144
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 2, 2, 4, 1, 3, 1, 1)",2450.12992
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 4, 4, 3, 3, 1)",2308.441088
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 2, 4, 3, 4, 1, 1, 1)",2195.981312
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 3, 2, 4, 4, 3, 1, 3)",1990.0672
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 2, 2, 4, 0, 2, 2, 4)",2334.393344
"(1, 0, 0, 0, 0, 0, 0, 0, 4, 0, 0, 0, 3, 3, 2, 1)",2619.999232
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 2, 0, 4, 0, 2, 0, 1)",2758.935552
"(0, 0, 0, 0, 0, 0, 1, 0, 2, 3, 1, 4, 1, 0, 2, 4)",2398.487552
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 2, 4, 1, 3, 1, 1)",2550.006784
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 2, 4, 1, 3, 2, 1)",2219.049984
"(1, 0, 0, 0, 0, 1, 0, 0, 2, 0, 0, 2, 2, 1, 2, 3)",2685.273088
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 0, 4, 2, 1, 4, 3, 4)",2199.258112
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 4, 4, 3, 0, 3)",2147.877888
"(0, 0, 0, 0, 0, 0, 0, 0, 1, 3, 0, 3, 3, 4, 1, 3)",2360.869888
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 4, 0, 3, 3, 3, 2, 4)",2289.435648
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 2, 3, 1, 3, 2, 1)",2265.580544
"(0, 0, 0, 0, 0, 0, 0, 0, 1, 2, 2, 4, 1, 3, 0, 1)",2568.225792
"(0, 0, 0, 0, 0, 0, 1, 0, 2, 3, 1, 0, 1, 3, 1, 4)",2481.980416
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 4, 3, 3, 3)",2126.119936
"(1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 3, 3, 1, 3)",2728.133632
"(0, 0, 0, 0, 0, 0, 1, 0, 2, 3, 1, 4, 1, 3, 2, 3)",2275.1488
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 3, 0, 3, 2, 3, 2, 1)",2491.810816
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 0, 4, 3, 3, 1, 2, 4)",2304.902144
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 3, 4, 4, 1, 3)",1878.918144
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 1, 0, 4, 3, 3, 2, 4)",2202.010624
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 2, 0, 4, 4, 2, 4)",2130.707456
"(0, 0, 0, 0, 0, 0, 1, 0, 4, 3, 1, 4, 1, 0, 2, 4)",2296.644608
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 3, 3, 0, 1, 3, 1, 3)",2442.396672
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 2, 2, 4, 3, 3, 0, 1)",2433.876992
"(1, 0, 0, 0, 0, 0, 0, 0, 2, 3, 4, 4, 3, 2, 2, 3)",2108.163072
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 2, 0, 4, 4, 3, 3)",2074.215424
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 4, 4, 3, 2, 1)",1923.351552
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 0, 0, 4, 3, 4, 2, 4)",2182.218752
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 3, 3, 4, 3, 2, 4)",1862.403072
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 3, 2, 4, 1, 0, 2, 4)",2220.884992
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 3, 4, 3, 1, 4, 3, 3)",2006.844416
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 3, 0, 4, 4, 4, 3, 3)",1993.081856
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 0, 0)",2388.657152
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 3, 4, 4, 4)",1755.841536
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 0, 4, 3, 3, 4)",1946.551296
"(1, 0, 0, 0, 0, 1, 1, 0, 2, 3, 2, 4, 4, 3, 1, 3)",2091.910144
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 4, 4, 3, 0, 1)",2566.259712
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 2, 4, 1, 4, 0, 1)",2371.617792
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 4, 3, 3, 4, 1)",2307.654656
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 0, 3, 3, 2, 4)",2056.389632
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 0, 3, 3, 4, 4, 2, 3)",2054.29248
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 0, 3, 3, 0, 3, 2, 4)",2369.258496
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 3, 0, 3)",2248.803328
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 3, 0, 1, 3, 1, 4)",2504.918016
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 4, 0, 4, 4, 3, 2, 4)",2001.470464
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 3, 0, 4, 4, 4, 3, 4)",2048.787456
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 3, 4, 4, 4, 3, 0, 3)",2098.070528
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 3, 2, 4, 4, 4, 1, 3)",1964.114944
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 3, 1, 4, 1, 2, 0, 1)",2565.866496
"(0, 0, 0, 0, 0, 0, 1, 0, 2, 2, 0, 4, 0, 3, 1, 1)",2591.425536
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 2, 0, 4, 4, 2, 0, 0)",2630.878208
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 3, 4, 3, 3, 3)",2172.650496
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 3, 2, 4, 4, 3, 1, 1)",2093.61408
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 3, 0, 0, 4, 4, 3, 3)",2203.0592
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 3, 2, 4, 4, 4, 1, 3)",2010.121216
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 4, 4, 0, 3)",2149.581824
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 2, 0, 4, 0, 2, 0, 0)",2840.06912
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 3, 0, 4, 4, 4, 3, 4)",2067.661824
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 3, 4, 3, 1)",2099.119104
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 1, 3, 4, 3, 3, 3, 3)",2141.062144
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 3, 4, 3, 1, 4, 2, 3)",2067.268608
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 1, 4, 0, 1)",2453.537792
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 0, 4, 0, 1)",2516.714496
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 3, 3, 4, 4, 4, 2, 4)",1799.095296
"(0, 0, 0, 0, 0, 0, 1, 0, 2, 2, 0, 4, 0, 4, 1, 3)",2461.9264
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 0, 3, 3, 2, 4)",2102.395904
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 2, 3)",2122.843136
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 4, 4, 3, 2, 4)",1796.998144
"(0, 0, 0, 0, 0, 1, 0, 0, 4, 4, 2, 0, 4, 4, 3, 3)",2065.957888
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 3, 3, 4, 4, 3, 2, 4)",1843.92192
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 0, 1)",2307.523584
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 0, 3)",2203.976704
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 4, 4, 4, 4)",1706.427392
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 4, 4, 3, 4, 4)",1936.851968
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 3, 1, 2, 3, 3, 3, 4)",2088.240128
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 2, 4, 4, 3, 0, 3)",2166.883328
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 3, 2, 4, 4, 3, 1, 3)",2054.94784
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 2, 0, 0, 4, 2, 0, 4)",2652.242944
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 3, 4, 3, 2, 1)",1969.882112
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 3, 3, 3)",2107.245568
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 3, 4)",2001.86368
"(0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 0, 4, 4, 3, 2, 1)",2165.572608
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 3, 4, 3, 1, 4, 3, 3)",1941.963776
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 2, 4, 0, 4, 2, 1)",2237.400064
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 4, 4, 0, 3)",2241.72544
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 3, 3, 3, 4, 3, 2, 4)",1909.326848
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 2, 4, 1, 4, 0, 4)",2207.515648
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 2, 0, 1, 3, 2, 1)",2429.027328
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 2, 3, 4, 4, 3, 3)",1948.517376
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 3, 3, 3, 1, 3, 0, 3)",2359.297024
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 3, 0)",2228.225024
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 3, 3, 4, 4, 4, 2, 4)",1817.969664
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 4, 4, 0, 3)",2260.599808
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 1, 4, 0, 1)",2434.663424
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 3, 4, 1)",2122.843136
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 4, 3, 4, 3, 3)",1885.471744
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 4, 4, 2, 3)",2160.591872
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 3, 3, 4, 4, 3, 1, 4)",1882.457088
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 4, 3, 0, 3)",2286.552064
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 3, 0, 3, 1, 4, 3, 4)",2241.332224
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 3, 3, 4, 4, 4, 2, 1)",1944.323072
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 4, 3, 4, 4, 3, 2, 3)",1876.427776
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 0, 4)",2162.295808
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 4, 4, 3, 1)",2030.830592
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 2, 0, 4, 4, 3, 3)",2028.209152
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 3, 3, 4, 4, 3, 2, 4)",1862.796288
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 4, 4, 4, 0, 4)",2121.532416
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 2, 3, 4, 4, 4, 4)",1818.887168
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 2, 0, 4, 4, 2, 4)",2092.95872
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 3, 2, 4, 4, 4, 2, 3)",1925.579776
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 3, 3, 2, 4)",2013.135872
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 4, 4, 4, 3, 4, 4)",1720.321024
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 3, 3, 4)",2046.690304
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 4, 4, 3, 3, 1)",2132.28032
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 3, 0, 3, 4, 4, 3, 3)",2193.622016
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 3, 2, 3, 1, 4, 3, 3)",2182.218752
"(0, 0, 0, 0, 0, 0, 1, 0, 0, 4, 0, 3, 3, 3, 2, 4)",2308.310016
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 4, 4, 4, 4)",1854.276608
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 2, 4, 4, 4, 3, 4)",1803.682816
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 3, 4, 4, 4, 4, 1, 4)",1806.697472
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 4, 4, 4, 4)",1687.553024
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 4, 3, 3, 4)",1903.297536
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 3, 0, 4, 4, 3, 1, 3)",2234.254336
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 3, 1)",2147.091456
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 3, 0, 4, 1, 4, 0, 0)",2581.595136
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 3, 4, 4, 3, 2, 3)",2000.946176
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 2, 4, 4, 4, 0, 1)",2063.336448
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 4, 4, 3, 3, 3)",2028.73344
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 4, 3, 4, 4, 3, 3)",1749.025792
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 4, 3, 2, 3)",2186.544128
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 4, 3, 3)",2092.95872
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 3, 3, 2, 4)",1911.292928
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 3, 3, 3)",2088.3712
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 3, 2, 3, 4, 4, 3, 3)",1995.441152
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 4, 4, 4, 1)",1980.630016
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 2, 4, 4, 4, 3, 4)",1860.30592
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 4, 3, 2, 4)",1963.721728
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 3, 4, 4, 3, 4)",2048.39424
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 3, 4, 3)",2057.044992
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 3, 4, 1, 4, 0, 1)",2246.050816
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 4, 4, 4, 4)",1808.270336
"(0, 0, 0, 0, 0, 0, 1, 0, 4, 4, 4, 3, 4, 4, 3, 3)",1767.90016
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 4, 4, 3, 3)",1946.15808
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 1, 4, 0, 4)",2308.310016
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 3, 3, 4, 4, 3)",1844.052992
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 4, 4, 4, 4, 3, 2, 4)",1784.93952
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 3, 3, 4)",2096.104448
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 4, 4, 4, 4, 3, 3)",1702.495232
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 4, 4, 3, 4)",1737.7536
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 0, 4, 3, 3, 0, 4)",2132.018176
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 3, 3, 4, 4, 4, 2, 4)",1863.975936
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 3, 0, 4)",2207.122432
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 3, 0, 4, 4, 3, 2, 4)",2154.038272
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 3, 4, 3, 4, 3, 3)",1847.723008
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 4, 4, 4, 3, 4, 4)",1682.572288
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 3, 2, 4, 4, 4, 1, 4)",1922.434048
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 4, 3, 3, 3)",2144.994304
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 1, 4, 2, 1)",2334.655488
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 3, 3, 4, 3, 4, 2, 4)",1886.258176
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 4, 0, 4, 4, 3, 3, 3)",1982.727168
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 4, 0, 4, 4, 4, 3, 4)",1896.219648
"(0, 0, 0, 0, 0, 1, 0, 0, 4, 4, 4, 3, 4, 4, 3, 3)",1786.774528
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 4, 4, 4, 4, 4)",1725.30176
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 4, 3, 4, 4, 4, 4)",1703.150592
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 2, 3, 4, 4, 3, 3)",1929.643008
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 3, 4, 3, 4, 3)",2025.063424
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 4, 3, 4, 4)",2034.238464
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 4, 4, 4, 4, 3, 4)",1660.814336
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 4, 4, 4, 4, 3, 4)",1687.94624
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 0, 4, 3, 4, 4)",1915.225088
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 4, 4, 4, 3, 1)",2068.579328
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 4, 4, 4, 3, 4)",1794.376704
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 4, 4, 4, 4, 3, 3)",1845.888
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 3, 1, 4, 3, 3)",2019.5584
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 4, 3, 4, 4)",1899.103232
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 4, 4, 3, 3, 4, 3, 3)",1979.58144
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 1, 3, 2, 1)",2379.482112
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 3, 4, 3, 3)",2149.581824
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 4, 4, 2, 4)",1702.36416
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 3, 4, 4, 3, 3)",1749.025792
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 4, 4, 4, 1)",1934.623744
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 3, 4, 4, 3)",1797.522432
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 4, 4, 0, 4)",2018.90304
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 0, 4, 4, 4, 0, 1)",2164.130816
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 4, 0, 4, 4, 4, 3, 3)",1937.900544
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 4, 4, 3, 3)",1900.151808
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 3, 4, 2, 4)",1968.309248
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 4, 4, 3, 4, 4)",1770.128384
"(1, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 4, 4, 3, 3, 4)",1743.389696
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 1, 4, 2, 1)",2353.529856
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 4, 4, 2, 4)",1798.177792
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 3, 4, 4)",1996.489728
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 4, 3, 3)",2111.833088
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 3, 3, 4, 4, 3)",2145.911808
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 3, 1, 4, 0, 1)",2481.193984
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 4, 3, 4, 4, 4, 4)",1684.276224
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 3, 0, 4, 4, 3, 3, 4)",2112.488448
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 4, 3, 4, 4)",1732.379648
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 4, 4, 3, 4, 3)",1978.532864
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 0, 4, 4, 4, 3, 3)",1965.032448
"(1, 0, 0, 0, 0, 0, 0, 0, 4, 4, 0, 4, 1, 3, 0, 3)",2308.047872
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 3, 4, 4, 4, 1)",2046.034944
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 3, 4, 3, 3)",1828.84864
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 3, 1)",2128.217088
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 4, 4, 4, 4, 4, 4)",1637.745664
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 4, 0, 3, 4, 3, 3, 3)",2029.257728
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 0, 1)",2288.649216
"(0, 0, 0, 0, 0, 1, 0, 0, 4, 4, 4, 4, 4, 4, 3, 3)",1740.243968
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 1, 4, 3, 4)",2147.877888
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 3, 4, 3, 3, 4)",2093.220864
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 3, 4, 3, 1)",2080.244736
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 4, 4, 3, 3)",2062.418944
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 4, 4, 3, 3)",1702.495232
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 4, 4, 3, 4, 3)",1811.80928
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 1, 3, 0, 1)",2479.490048
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 4, 3, 3, 3)",1990.984704
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 4, 3, 4, 4)",1751.254016
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 4, 4, 4, 4, 2, 4)",1767.2448
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 4, 4, 4, 4, 3, 3)",1729.627136
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 3, 4, 3, 4, 3, 3)",1904.346112
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 4, 3)",1993.344
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 4, 4, 3, 4)",1904.477184
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 3, 3, 3, 4, 4, 3)",1844.052992
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 4, 4, 3, 4, 3, 4)",1793.983488
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 4, 4, 3, 3)",2081.293312
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 4, 4, 3, 4)",1858.470912
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 4, 4, 3, 4, 4, 4)",1687.159808
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 3, 4, 4, 4, 4)",1734.083584
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 4, 4, 4, 4, 4, 4)",1610.61376
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 4, 4, 3, 4)",1641.939968
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 4, 4, 4, 4, 4, 4)",1656.620032
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 3, 4, 4, 4, 4, 3)",1766.982656
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 3, 4, 3)",2106.459136
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 4, 3, 3, 4)",1782.580224
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 4, 4, 4, 3, 4, 4)",1817.70752
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 4, 4, 4, 3, 4)",1775.502336
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 4, 4)",1951.663104
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 0, 4, 4, 4, 3, 4)",1877.34528
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 3, 4, 2, 4)",2033.189888
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 3, 3, 1)",2173.043712
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 4, 4, 3, 4)",1785.332736
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 4, 3, 4, 4, 3, 3)",1795.032064
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 4, 3, 4, 3, 4, 3, 3)",1820.591104
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 4, 4, 4, 3, 3)",1983.906816
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 4, 3, 4, 4)",1779.958784
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 3, 4, 2, 1)",2094.662656
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 1, 4, 2, 4)",2208.30208
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 4, 4, 4, 4, 4, 3)",1679.42656
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 4, 4, 3, 4, 4, 4)",1706.034176
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 4, 4, 3, 1)",1864.107008
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 4, 4, 3, 3, 4, 4)",1788.609536
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 4, 4, 4, 3)",1849.951232
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 3, 4)",2020.738048
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 4, 3, 4, 3, 4, 3, 3)",1885.471744
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 4, 4, 4, 3, 3, 3)",1774.45376
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 3, 4, 3, 4)",1787.167744
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 4, 4, 4, 4, 4, 4)",1754.006528
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 3, 4, 3, 3)",1949.565952
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 0, 4, 4, 3, 4, 4)",1871.971328
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 4, 4, 3)",2042.758144
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 4, 4, 4, 4)",1591.739392
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 4, 3, 3, 4)",1949.303808
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 4, 4, 4, 4)",1735.13216
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 4, 4, 4, 4, 3, 4)",1706.820608
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 4, 4, 4, 4)",1873.150976
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 3, 3, 3, 4, 3, 3)",1913.127936
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 4, 4, 4, 3)",2031.092736
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 3, 3)",2043.544576
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 4, 3, 4, 4, 3)",1816.3968
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 4, 4, 3, 4)",1756.627968
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 4, 3, 4)",2051.277824
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 0, 4, 3, 4, 3, 1)",2155.742208
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 1, 4, 2, 3)",2249.982976
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 4, 4, 3, 3)",1683.620864
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 4, 4, 3, 4, 3, 4)",1737.360384
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 0, 3, 3, 4, 4, 1)",2095.449088
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 3, 4, 4, 4, 4, 4)",1784.93952
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 4, 4, 3, 3)",1779.434496
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 4, 3, 4, 3, 4)",1843.790848
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 4, 3, 1)",2177.631232
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 1, 4, 2, 1)",2191.26272
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 3, 4, 4, 4)",1660.027904
"(0, 0, 0, 0, 0, 1, 0, 0, 0, 4, 0, 4, 3, 4, 3, 4)",2175.403008
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 4, 4, 2, 1)",2110.129152
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 4, 4, 3, 4, 4, 4)",1660.027904
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 3, 4, 3, 3)",1995.572224
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 4, 4, 4, 4, 4, 3)",1736.049664
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 4, 4)",1970.537472
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 4, 4, 4, 4, 3, 4)",1725.694976
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 4, 4, 3, 4, 4)",1686.373376
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 3, 4, 1, 4, 3, 4)",1981.154304
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 4, 4, 3, 3)",1919.026176
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 4, 3, 4)",2070.152192
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 3, 4, 3, 4)",1953.891328
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 2, 3)",2103.968768
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 4, 3, 3, 4)",1830.15936
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 4, 3, 4, 3, 4, 3, 3)",1982.85824
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 4, 4, 4, 4)",1754.006528
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 4, 4, 3, 3)",1845.888
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 4, 3, 4, 3, 4)",1824.91648
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 4, 4, 4, 1)",1718.0928
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 1, 4, 3, 4)",1787.954176
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 4, 4, 4, 4, 3)",1933.70624
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 4, 3, 4, 4, 4)",1960.313856
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 4, 4, 3, 4)",1923.351552
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 4, 4, 4, 3, 3)",2002.781184
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 3, 4, 4, 4, 3, 3)",1817.183232
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 4, 1, 4, 2, 4)",2000.815104
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 1, 4, 2, 3)",2106.590208
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 4, 4, 3)",2061.632512
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 1, 3, 2, 3)",2294.8096
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 3, 4, 3, 4, 3, 4)",1806.042112
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 4, 3, 4, 3)",1940.784128
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 3, 4, 4, 4)",1903.690752
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 3, 4, 3, 4)",1834.74688
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 4, 0, 4, 4, 4, 4, 3)",1952.580608
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 3, 4, 3, 1)",2215.379968
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 4, 4, 4, 4, 4, 4)",1694.368768
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 3, 4, 4, 4)",1641.153536
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 4, 4, 3, 1)",1768.293376
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 4, 3, 4, 3, 3)",2052.195328
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 3, 4, 3, 4)",1806.042112
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 4, 4, 2, 3)",2006.582272
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 3, 4, 4, 4, 4, 3)",1748.108288
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 4, 4, 4)",2001.077248
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 4, 4, 4, 4)",1610.61376
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 3, 4, 3, 4)",1907.885056
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 1, 4, 3, 3)",2046.166016
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 1, 4, 4, 3, 3, 4)",1983.906816
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 4, 4, 3, 4, 3, 4)",1756.234752
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 3, 3, 3, 3)",2040.398848
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 4, 2, 3)",2153.382912
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 2, 4, 4, 3, 4, 4)",1798.308864
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 3, 4, 4, 4, 3, 4)",1835.140096
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 3, 4, 3, 4, 3, 4)",1862.665216
"(0, 0, 0, 0, 0, 0, 1, 0, 4, 4, 4, 4, 4, 4, 4, 4)",1629.488128
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 4, 4, 4, 4, 3, 4)",1706.820608
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 3, 4, 4, 3)",1899.365376
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 4, 3, 4, 3, 4)",2010.514432
"(0, 0, 0, 0, 0, 0, 1, 0, 4, 4, 3, 4, 4, 4, 4, 4)",1679.295488
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 3, 4, 3, 4, 4, 4)",1872.1024
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 4, 3, 4, 3, 4, 3, 4)",1941.177344
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 4, 4, 3, 4, 3, 4)",1812.857856
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 4, 4, 4, 3, 4, 3, 4)",1891.369984
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 4, 3, 4, 3, 4)",1991.640064
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 4, 4, 3, 4)",1877.34528
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 4, 3, 4, 3, 1)",2117.993472
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 4, 4, 3, 4, 4, 4)",1724.908544
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 4, 4, 4, 3, 4, 4)",1701.446656
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 3, 4, 4, 4)",1857.68448
"(1, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 4, 4, 4, 4, 4)",1648.362496
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 2, 4)",2062.287872
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 3, 4, 4, 4)",1784.546304
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 3, 4, 3, 4, 4, 4)",1812.46464
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 1, 4, 4, 3, 3, 3)",2025.587712
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 4, 4, 4, 4, 4, 3, 4)",1744.569344
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 3, 4, 3, 4, 3, 3)",1866.597376
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 4, 4, 3, 4, 3, 4)",1775.10912
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 1, 4, 4, 4, 3, 4)",1795.687424
"(0, 0, 0, 0, 0, 1, 0, 0, 4, 4, 4, 4, 4, 4, 4, 4)",1648.362496
"(0, 0, 0, 0, 0, 0, 1, 0, 4, 4, 4, 4, 3, 4, 4, 4)",1678.902272
"(0, 0, 0, 0, 0, 1, 0, 0, 4, 4, 4, 4, 3, 4, 4, 4)",1697.77664
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 4, 4, 4)",2019.951616
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 4, 4, 3, 4)",2058.486784
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 4, 4, 3, 4, 3, 4)",1775.10912
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 3, 4, 4, 1)",1910.899712
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 3, 4, 3, 4)",1972.765696
"(0, 0, 0, 0, 0, 1, 0, 0, 4, 4, 0, 4, 3, 4, 3, 1)",2090.861568
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 4, 4, 4, 4, 4, 4)",1772.880896
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 3, 4, 3, 3)",2130.707456
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 3, 4, 3, 4, 3, 4)",1824.91648
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 4, 4, 4, 4, 4)",1641.546752
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 0, 4, 3, 4, 3, 3)",1968.44032
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 4, 4, 4, 4, 4)",1744.176128
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 3, 3, 1)",2222.457856
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 4, 4, 4, 3, 4, 4)",1655.440384
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 4, 4, 4, 4, 3, 3)",1748.501504
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 3, 4, 3, 1)",2234.254336
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 4, 4, 3, 4, 4, 3)",1804.338176
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 3, 4, 3, 4, 3, 4)",1884.55424
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 2, 1)",2188.64128
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 3, 4, 4, 4, 3, 4)",1710.621696
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 3, 4, 4, 4, 3, 4)",1813.251072
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 3, 4, 4)",2015.364096
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 4, 4, 3, 4)",1660.814336
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 4, 4, 4, 4, 4)",1660.42112
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 4, 3, 4, 4, 4)",1690.960896
"(0, 0, 0, 0, 0, 0, 0, 0, 1, 4, 0, 4, 3, 4, 3, 4)",2126.775296
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 2, 4)",2081.16224
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 3, 4, 3, 1)",2196.5056
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 4, 4, 3, 4, 3, 4)",1756.234752
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 4, 4, 4, 4, 4, 4, 4)",1629.488128
"(0, 0, 0, 0, 0, 0, 1, 0, 4, 4, 4, 4, 4, 4, 3, 4)",1679.688704
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 4, 4, 4, 4, 2, 3)",1762.919424
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 3, 4, 4, 1)",2165.179392
"(0, 0, 0, 0, 0, 0, 0, 0, 1, 4, 1, 4, 3, 3, 3, 3)",2150.499328
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 3, 4, 4, 4, 3, 4)",1775.502336
"(0, 0, 0, 0, 0, 0, 0, 0, 1, 4, 3, 4, 3, 4, 3, 4)",1960.051712
"(1, 0, 0, 0, 0, 0, 0, 0, 1, 4, 0, 4, 4, 4, 4, 3)",2049.967104
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 3, 4, 3, 4, 3, 3)",1963.983872
"(0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 0, 4, 3, 4, 4, 4)",1933.181952
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 4, 4, 1)",2127.430656
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 4, 4, 2, 4)",1964.901376
"(0, 0, 0, 0, 0, 0, 1, 0, 4, 4, 3, 4, 4, 4, 3, 4)",1729.496064
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 3, 4, 3, 4)",2089.02656
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 3, 4, 3, 3)",2014.446592
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 3, 4, 2, 3)",2055.996416
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 4, 4, 3, 4, 4, 3)",1747.715072
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 0, 4, 3, 4, 3, 4)",1926.759424
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 4, 4, 3, 3, 4, 4)",1867.121664
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 3, 4, 3, 4, 3, 1)",1932.39552
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 0, 4, 3, 4, 3, 4)",1991.640064
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 0, 4, 3, 4, 4, 4)",1979.188224
"(0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 0, 4, 3, 4, 3, 3)",2025.063424
"(0, 0, 0, 0, 0, 0, 0, 0, 1, 4, 3, 4, 3, 4, 3, 3)",2001.732608
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 4, 4, 3, 3)",1798.308864
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 1, 4, 3, 3, 3, 4)",2033.32096
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 4, 4, 3, 4)",2039.612416
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 4, 2, 4)",2111.702016
"(1, 0, 0, 0, 0, 0, 0, 0, 1, 4, 0, 4, 4, 3, 4, 3)",2094.793728
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 3, 3, 4, 3, 4)",1890.321408
"(0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 4, 4, 4, 4, 4)",1667.236864
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 3, 4, 3, 4)",1710.22848
"(0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 3, 4, 3, 4, 3, 4)",1816.658944
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 3, 4, 3, 4)",2070.152192
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 4, 4, 4, 4, 3, 4)",1744.569344
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 4, 2, 1)",2238.055424
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 4, 4, 4, 4, 4, 4)",1656.620032
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 4, 4, 3, 4, 3, 4)",1853.621248
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 4, 4, 3, 4)",2020.738048
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 3, 3)",2062.418944
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 3, 4, 2, 4)",2014.31552
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 4, 4, 4, 4, 4, 4, 3)",1671.169024
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 4, 3, 1)",2196.5056
"(0, 0, 0, 0, 0, 0, 1, 0, 4, 4, 3, 4, 3, 4, 4, 3)",1770.390528
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 4, 4, 2, 4)",2100.036608
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 3, 3, 1)",2241.332224
"(0, 0, 0, 0, 0, 0, 1, 0, 4, 4, 3, 4, 3, 4, 3, 4)",1778.910208
"(0, 0, 0, 0, 0, 0, 1, 0, 4, 4, 0, 4, 3, 4, 4, 4)",1895.433216
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 4, 0, 4, 4, 4, 3, 3)",2002.781184
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 3, 4, 3, 1)",2215.379968
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 3, 4, 4, 4, 4, 4)",1763.050496
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 1, 4, 4, 3, 4, 4)",1933.70624
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 3, 4, 4, 4, 2, 4)",1771.045888
"(0, 0, 0, 0, 0, 0, 0, 0, 4, 4, 4, 4, 3, 4, 4, 4)",1716.651008
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 1, 4, 4, 3, 3, 4)",2021.655552
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 0, 4, 3, 4, 4, 4)",1922.56512
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 3, 4, 3, 3)",1895.302144
"(0, 0, 0, 0, 0, 1, 0, 0, 4, 4, 4, 4, 3, 4, 3, 4)",1747.977216
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 4, 2, 3)",2172.25728
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 4, 3, 4, 4, 4)",1793.590272
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 4, 3, 3, 4)",2084.43904
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 3, 4, 3, 4, 4, 4)",1774.715904
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 3, 4, 3, 4, 3, 4)",1903.428608
"(0, 0, 0, 0, 0, 1, 0, 0, 4, 4, 0, 4, 3, 4, 4, 4)",1914.307584
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 4, 4, 3, 1)",1911.686144
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 4, 3, 4, 4)",1655.440384
"(0, 0, 0, 0, 0, 0, 0, 0, 1, 4, 0, 4, 4, 4, 2, 4)",2137.785344
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 3, 3, 4, 4)",2064.77824
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 3, 4, 4, 4, 3, 1)",1980.367872
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 3, 4, 4, 4)",1736.967168
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 4, 4, 4, 3)",2012.218368
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 3, 3, 1)",2191.91808
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 4, 4, 1)",2146.305024
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 3, 3, 3, 4)",2017.59232
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 4, 4, 4, 4, 2, 4)",1864.631296
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 4, 4, 4, 3, 4, 3, 4)",1793.983488
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 1, 4, 3, 4, 3, 1)",2133.722112
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 3, 3, 3, 1)",2024.80128
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 3, 4, 4, 4)",2057.700352
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 4, 4, 4, 3, 4)",1710.621696
"(0, 0, 0, 0, 0, 0, 1, 0, 4, 4, 0, 4, 4, 4, 4, 4)",1846.019072
"(0, 0, 0, 0, 0, 0, 1, 0, 4, 4, 4, 4, 3, 4, 3, 4)",1729.102848
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 3, 3, 4, 4)",1704.854528
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 3, 3, 4)",2114.978816
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 4, 4, 4, 3, 3)",1836.0576
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 4, 4, 2, 4)",1864.631296
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 0, 4, 4, 4, 4, 3)",1868.8256
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 4, 4, 4, 4, 4, 4)",1675.4944
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 3, 4, 3, 4)",2107.900928
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 3, 4, 3, 1)",2053.112832
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 3, 4, 4, 4, 3, 3)",1854.931968
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 3, 4, 3, 4)",1691.354112
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 3, 4, 3, 4, 3, 1)",2029.782016
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 3, 3, 3, 4)",1998.717952
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 4, 4, 4, 3, 4, 4)",1798.833152
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 3, 4, 4, 4, 4, 1)",1911.292928
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 4, 4, 4, 4, 3, 4)",1804.207104
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 3, 4, 3, 4, 3, 3)",1945.109504
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 3, 4, 3, 3, 3, 4)",1850.868736
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 1, 4, 4, 3, 4, 4)",1790.313472
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 0, 4, 4, 4, 4, 3)",1914.831872
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 4, 0, 4, 3, 4, 3, 3)",2052.195328
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 4, 3, 4, 4, 3)",1835.271168
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 4, 3, 3, 3, 4)",1888.617472
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 3, 4, 3, 3)",1876.427776
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 4, 1)",2096.89088
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 4, 0, 4, 4, 4, 3, 4)",1961.100288
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 3, 4, 3, 1)",2034.238464
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 4, 2, 1)",2256.929792
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 3, 4, 3, 3)",2111.833088
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 4, 4, 4, 3, 3, 1)",1878.00064
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 3, 4, 1)",2191.131648
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 4, 4, 4, 4)",1970.537472
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 4, 3, 4, 3, 3)",1866.597376
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 0, 4, 3, 4, 4, 4)",1941.439488
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 3, 4, 4, 4, 3, 3)",1895.69536
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 4, 0, 4, 3, 4, 4, 4)",1960.313856
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 3, 3, 3, 1)",2279.08096
"(0, 0, 0, 0, 0, 1, 0, 0, 4, 4, 3, 4, 4, 4, 3, 4)",1748.370432
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 4, 4, 3, 4, 3, 3)",1751.909376
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 4, 4, 2, 4)",2100.036608
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 3, 4, 3, 4, 4, 4)",1755.841536
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 4, 3, 4, 4)",1636.566016
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 3, 3, 4, 4)",2045.903872
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 4, 4, 4, 4, 4, 4)",1675.4944
"(0, 0, 0, 0, 0, 1, 1, 0, 0, 4, 0, 4, 3, 4, 4, 4)",2087.453696
"(0, 0, 0, 0, 0, 1, 0, 0, 4, 4, 3, 4, 3, 4, 4, 4)",1747.584
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 4, 0, 4, 3, 4, 4, 3)",2001.994752
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 4, 3, 4, 3, 4, 3, 4)",1843.790848
"(0, 0, 0, 0, 0, 0, 1, 0, 4, 4, 4, 4, 4, 4, 3, 1)",1806.042112
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 4, 4, 4, 3, 3, 1)",1994.261504
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 4, 4, 3, 4, 4, 4)",1706.034176
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 4, 4, 3, 3, 4)",1755.44832
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 3, 4, 3, 4, 4, 4)",1709.835264
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 4, 3, 4, 3, 4, 4, 4)",1728.709632
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 0, 4, 3, 4, 3, 4)",1972.765696
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 3, 4, 4, 4)",2038.825984
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 3, 4, 3, 1)",1836.581888
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 4, 4, 1)",2078.016512
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 3, 4, 2, 4)",2149.450752
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 0, 4, 4, 4, 4, 4)",1827.144704
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 4, 4, 3, 1)",2003.698688
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 3, 3, 4, 4)",1848.247296
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 4, 3, 4, 4, 4)",1709.835264
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 4, 3, 4, 4)",2015.364096
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 4, 4, 4, 4, 3, 4, 4)",1674.314752
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 4, 4, 4, 3, 3, 4)",1770.5216
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 1, 4, 4, 4, 2, 4)",2018.378752
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 4, 3, 4, 3, 4)",1760.03584
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 3, 4, 4, 4)",1922.56512
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 0, 4, 3, 4, 3, 4)",2029.3888
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 3, 4, 2, 4)",2168.32512
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 4, 0, 4, 4, 3, 4, 4)",1955.726336
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 4, 4, 4, 3, 4, 4, 4)",1678.902272
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 3, 4, 4, 4, 4, 4)",1706.427392
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 4, 4, 4, 4, 4, 2, 4)",1740.112896
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 4, 3, 2, 4)",1747.190784
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 3, 3, 4)",2065.564672
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 3, 4, 2, 4)",1770.652672
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 3, 4, 4, 4, 3, 4)",1872.888832
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 0, 4, 4, 4, 2, 4)",1937.769472
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 4, 4, 2, 3)",2141.717504
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 3, 4, 3, 3)",2130.707456
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 3, 4, 4, 4)",2038.825984
"(1, 0, 0, 0, 0, 1, 1, 0, 4, 4, 3, 4, 3, 4, 3, 4)",1741.161472
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 4, 3, 4, 2, 4)",2070.938624
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 4, 3, 4, 4)",1798.833152
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 1, 4, 4, 3, 4, 4)",1971.454976
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 3, 4, 3, 4, 2, 4)",1963.8528
"(0, 0, 0, 0, 0, 1, 1, 0, 0, 4, 3, 4, 3, 4, 3, 1)",2097.284096
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 0, 4, 4, 3, 2, 3)",2148.795392
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 3, 4, 4, 4, 3, 4)",1756.627968
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 4, 4, 4, 3, 3, 4)",1751.647232
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 4, 4, 4, 3, 4)",1942.22592
"(0, 0, 0, 0, 0, 0, 1, 0, 4, 4, 3, 4, 3, 4, 4, 4)",1728.709632
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 1, 4, 3, 3, 3, 4)",2071.069696
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 4, 4, 4, 4, 3, 3)",1805.124608
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 4, 4, 3, 4, 3, 4)",1710.22848
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 4, 4, 3, 4, 3, 3)",1854.538752
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 3, 4, 3, 1)",1961.100288
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 0, 4, 4, 4, 3, 4)",1923.351552
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 4, 4, 4, 4, 4, 4, 3)",1698.300928
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 0, 4, 3, 4, 4, 4)",1876.558848
"(0, 0, 0, 0, 0, 0, 1, 0, 4, 4, 4, 4, 3, 3, 4, 4)",1723.728896
"(0, 0, 0, 0, 0, 1, 0, 0, 1, 4, 3, 4, 3, 4, 2, 4)",2001.601536
"(1, 0, 0, 0, 0, 0, 1, 0, 4, 4, 0, 4, 3, 4, 4, 4)",1876.558848
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 4, 4, 3, 4, 4, 4)",1762.65728
"(1, 0, 0, 0, 0, 1, 0, 0, 4, 4, 0, 4, 4, 4, 4, 4)",1846.019072
"(1, 0, 0, 0, 0, 0, 0, 0, 1, 4, 4, 4, 4, 4, 4, 4)",1791.755264
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 4, 4, 3, 4, 3, 4)",1872.495616
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 4, 4, 4, 4, 2, 4)",1883.505664
"(1, 0, 0, 0, 0, 1, 0, 0, 3, 4, 0, 4, 3, 4, 2, 4)",2052.064256
"(1, 0, 0, 0, 0, 1, 0, 0, 1, 4, 0, 4, 3, 4, 2, 3)",2191.131648
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 4, 4, 4, 4)",1989.41184
"(0, 0, 0, 0, 0, 1, 1, 0, 3, 4, 0, 4, 4, 3, 4, 4)",1917.9776
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 4, 4, 4, 4, 2, 4)",1883.505664
"(1, 0, 0, 0, 0, 0, 0, 0, 1, 4, 0, 4, 4, 4, 3, 4)",2058.486784
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 4, 3, 3, 4)",2065.564672
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 4, 4, 4, 3, 4, 4, 4)",1803.420672
"(0, 0, 0, 0, 0, 0, 1, 0, 3, 4, 4, 4, 4, 4, 3, 4)",1725.694976
"(1, 0, 0, 0, 0, 1, 1, 0, 1, 4, 3, 4, 4, 3, 4, 4)",1829.766144
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 4, 3, 4, 3, 4, 2, 3)",1945.895936
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 4, 3, 2, 4)",1766.065152
"(0, 0, 0, 0, 0, 0, 0, 0, 1, 4, 0, 4, 3, 4, 3, 3)",2168.456192
"(0, 0, 0, 0, 0, 1, 1, 0, 4, 4, 4, 4, 4, 4, 4, 1)",1736.967168
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 4, 0, 4, 3, 4, 2, 4)",2149.450752
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 4, 3, 4, 3, 4, 3, 1)",1989.018624
"(0, 0, 0, 0, 0, 0, 0, 0, 1, 4, 3, 4, 3, 4, 4, 4)",1909.851136
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 4, 3, 4, 4, 4, 4, 4)",1744.176128
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 4, 1, 4, 3, 4, 4, 4)",1840.907264