English
jinjieyuan's picture
Upload model
e785a97
Raw
History Blame
59.4 kB
"(0, 3, 0, 1, 2, 0, 0, 1, 2, 2, 2, 0, 0, 0, 0, 3)",2714.89536
"(1, 2, 0, 2, 2, 2, 2, 0, 1, 3, 0, 2, 1, 1, 2, 2)",2519.335936
"(0, 3, 2, 2, 0, 3, 3, 1, 1, 0, 2, 1, 2, 0, 1, 0)",2677.801984
"(1, 0, 0, 2, 0, 3, 3, 0, 0, 2, 3, 3, 0, 1, 1, 3)",2622.358528
"(1, 2, 0, 2, 0, 2, 1, 0, 0, 0, 2, 1, 0, 0, 0, 3)",2752.119808
"(2, 0, 0, 2, 1, 3, 3, 1, 1, 2, 3, 2, 0, 3, 3, 3)",2169.504768
"(0, 0, 0, 0, 2, 1, 1, 0, 1, 0, 3, 2, 2, 2, 0, 0)",2942.174208
"(2, 0, 0, 1, 0, 1, 3, 1, 2, 0, 0, 1, 1, 2, 2, 1)",2810.184704
"(0, 1, 0, 2, 0, 1, 2, 0, 3, 3, 1, 0, 3, 1, 0, 3)",2606.236672
"(0, 1, 2, 2, 1, 3, 0, 1, 3, 3, 1, 2, 0, 0, 3, 3)",2260.07552
"(0, 2, 0, 1, 0, 2, 1, 0, 1, 3, 1, 3, 0, 0, 1, 2)",2745.566208
"(2, 0, 2, 2, 2, 0, 1, 0, 3, 0, 0, 0, 0, 0, 2, 1)",2747.270144
"(1, 0, 1, 1, 1, 0, 3, 0, 3, 0, 0, 2, 0, 0, 3, 3)",2614.494208
"(2, 1, 1, 0, 1, 1, 3, 0, 3, 3, 3, 0, 1, 0, 2, 3)",2432.566272
"(2, 3, 1, 2, 1, 0, 3, 1, 2, 1, 3, 3, 3, 3, 1, 1)",2354.709504
"(0, 0, 0, 2, 0, 3, 1, 1, 2, 3, 1, 2, 2, 2, 0, 1)",2805.466112
"(1, 1, 1, 0, 0, 2, 1, 1, 1, 2, 3, 1, 2, 1, 0, 0)",2812.675072
"(1, 2, 1, 2, 0, 3, 1, 0, 2, 3, 0, 2, 1, 0, 1, 0)",2830.763008
"(1, 2, 1, 0, 1, 3, 3, 1, 3, 0, 3, 1, 0, 2, 0, 3)",2409.890816
"(1, 3, 0, 0, 1, 2, 3, 0, 2, 3, 0, 0, 1, 3, 0, 2)",2602.8288
"(0, 0, 1, 2, 2, 0, 2, 1, 0, 0, 1, 1, 1, 3, 2, 0)",2722.366464
"(1, 1, 2, 0, 1, 2, 2, 0, 3, 3, 2, 1, 1, 3, 0, 0)",2631.402496
"(0, 1, 0, 2, 0, 3, 2, 0, 3, 3, 2, 2, 3, 3, 0, 3)",2372.404224
"(0, 3, 1, 2, 0, 2, 0, 0, 1, 1, 0, 2, 3, 0, 1, 2)",2738.881536
"(1, 1, 2, 2, 1, 2, 3, 0, 1, 2, 2, 3, 1, 2, 3, 1)",2466.382848
"(2, 1, 0, 0, 2, 1, 3, 1, 1, 1, 1, 0, 1, 1, 1, 2)",2642.019328
"(0, 3, 2, 0, 1, 1, 1, 1, 2, 0, 3, 1, 3, 0, 1, 3)",2438.9888
"(2, 2, 0, 0, 1, 3, 2, 1, 1, 0, 3, 0, 1, 3, 1, 2)",2447.115264
"(0, 3, 1, 1, 1, 3, 3, 0, 1, 3, 3, 3, 3, 3, 1, 3)",2210.661376
"(1, 3, 2, 2, 0, 0, 1, 1, 1, 0, 1, 0, 3, 3, 3, 3)",2201.355264
"(1, 2, 2, 0, 0, 3, 3, 0, 2, 3, 2, 0, 2, 3, 1, 0)",2635.727872
"(2, 2, 1, 1, 0, 0, 3, 0, 0, 0, 1, 2, 2, 0, 2, 3)",2633.106432
"(0, 3, 0, 2, 1, 0, 1, 1, 3, 0, 2, 0, 3, 2, 0, 2)",2560.754688
"(1, 0, 1, 2, 2, 2, 1, 1, 1, 1, 3, 3, 1, 1, 2, 2)",2401.764352
"(1, 2, 1, 2, 1, 2, 1, 1, 0, 0, 2, 1, 1, 2, 0, 0)",2739.536896
"(1, 3, 0, 1, 1, 3, 0, 0, 3, 2, 1, 0, 1, 2, 3, 3)",2490.10688
"(0, 1, 2, 0, 0, 1, 2, 1, 1, 2, 2, 3, 2, 1, 3, 2)",2420.507648
"(2, 0, 2, 0, 0, 1, 2, 1, 1, 2, 3, 2, 0, 3, 1, 1)",2641.757184
"(0, 1, 2, 0, 1, 0, 0, 0, 2, 0, 3, 1, 3, 3, 3, 0)",2612.265984
"(2, 2, 2, 0, 2, 3, 1, 1, 0, 0, 0, 3, 0, 0, 0, 3)",2341.99552
"(2, 2, 1, 0, 1, 3, 3, 1, 3, 0, 3, 0, 0, 2, 0, 2)",2415.657984
"(2, 0, 0, 2, 1, 3, 3, 0, 1, 2, 3, 2, 0, 3, 3, 3)",2282.750976
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 3, 2, 1, 2, 0, 0)",3085.566976
"(1, 1, 1, 0, 0, 0, 1, 1, 1, 2, 3, 1, 2, 0, 0, 0)",2909.012992
"(0, 3, 1, 2, 2, 2, 0, 0, 0, 1, 0, 2, 3, 0, 0, 3)",2565.997568
"(2, 0, 2, 2, 1, 0, 1, 0, 1, 2, 0, 0, 0, 0, 2, 1)",2877.031424
"(0, 1, 0, 2, 0, 1, 2, 0, 1, 3, 1, 0, 3, 1, 0, 3)",2669.937664
"(1, 2, 2, 2, 0, 3, 1, 0, 2, 3, 1, 2, 0, 0, 1, 0)",2756.051968
"(1, 1, 1, 0, 1, 1, 1, 0, 3, 0, 1, 0, 1, 0, 2, 3)",2682.12736
"(0, 2, 0, 2, 0, 2, 1, 0, 0, 0, 2, 1, 0, 0, 0, 3)",2789.868544
"(0, 1, 2, 0, 1, 1, 0, 1, 1, 0, 3, 1, 3, 1, 3, 0)",2582.250496
"(0, 3, 1, 0, 1, 1, 1, 0, 1, 0, 3, 3, 3, 0, 1, 3)",2545.943552
"(1, 2, 0, 2, 1, 3, 0, 0, 2, 2, 0, 2, 1, 0, 1, 0)",2949.121024
"(1, 0, 0, 0, 1, 1, 3, 1, 2, 0, 0, 1, 0, 2, 0, 3)",2736.653312
"(0, 3, 0, 2, 1, 0, 1, 1, 3, 0, 2, 0, 3, 2, 0, 3)",2499.412992
"(2, 0, 2, 0, 0, 1, 2, 1, 1, 3, 0, 2, 1, 3, 1, 1)",2663.252992
"(1, 0, 0, 2, 0, 3, 1, 0, 0, 2, 2, 1, 0, 1, 1, 0)",3037.33248
"(0, 1, 1, 0, 1, 1, 3, 0, 3, 3, 3, 0, 0, 0, 2, 3)",2527.855616
"(2, 0, 1, 2, 1, 3, 3, 1, 1, 2, 3, 3, 0, 3, 3, 2)",2126.513152
"(1, 2, 0, 0, 1, 3, 2, 1, 1, 0, 3, 1, 1, 3, 1, 3)",2441.348096
"(0, 3, 1, 1, 1, 3, 3, 1, 1, 3, 3, 3, 3, 3, 1, 3)",2097.415168
"(2, 0, 0, 1, 2, 1, 3, 1, 2, 0, 0, 1, 2, 2, 2, 1)",2666.791936
"(0, 3, 0, 1, 2, 2, 0, 1, 2, 2, 2, 0, 0, 1, 0, 3)",2618.55744
"(2, 2, 2, 0, 0, 3, 1, 1, 1, 0, 0, 3, 0, 0, 1, 2)",2514.879488
"(1, 1, 2, 2, 2, 2, 3, 0, 3, 0, 2, 3, 1, 2, 3, 1)",2336.621568
"(2, 0, 2, 0, 0, 1, 2, 1, 3, 2, 3, 2, 0, 3, 1, 1)",2578.056192
"(0, 1, 1, 2, 1, 3, 0, 1, 3, 3, 0, 2, 1, 0, 3, 3)",2334.78656
"(2, 3, 2, 2, 0, 0, 3, 1, 1, 3, 3, 0, 3, 3, 3, 3)",1951.794176
"(1, 0, 0, 0, 2, 1, 1, 0, 1, 0, 3, 2, 2, 2, 0, 0)",2904.425472
"(2, 1, 0, 0, 2, 0, 3, 0, 2, 1, 1, 0, 1, 3, 1, 2)",2672.034816
"(0, 3, 2, 1, 1, 3, 3, 1, 2, 3, 3, 1, 3, 3, 1, 3)",2103.706624
"(1, 3, 1, 1, 0, 3, 1, 0, 3, 3, 1, 0, 1, 2, 3, 3)",2371.748864
"(2, 2, 1, 1, 0, 3, 3, 1, 3, 0, 3, 1, 1, 2, 2, 1)",2483.422208
"(0, 3, 0, 1, 2, 0, 0, 1, 2, 2, 2, 0, 0, 0, 0, 2)",2776.237056
"(1, 2, 0, 2, 2, 2, 2, 0, 1, 2, 3, 2, 0, 1, 2, 2)",2497.840128
"(1, 2, 1, 2, 1, 2, 3, 1, 0, 0, 3, 3, 1, 2, 0, 3)",2324.562944
"(2, 1, 2, 2, 1, 3, 0, 1, 3, 3, 1, 2, 1, 0, 3, 3)",2164.786176
"(1, 0, 0, 2, 2, 2, 1, 1, 1, 1, 3, 2, 1, 1, 2, 3)",2444.755968
"(0, 1, 1, 0, 2, 2, 1, 1, 1, 2, 3, 1, 2, 0, 0, 0)",2739.14368
"(1, 3, 0, 1, 0, 0, 0, 1, 2, 2, 2, 0, 0, 1, 0, 3)",2788.426752
"(1, 0, 0, 2, 0, 3, 0, 0, 1, 2, 3, 2, 0, 1, 3, 3)",2601.51808
"(0, 0, 0, 2, 0, 3, 1, 1, 0, 0, 1, 2, 1, 2, 0, 1)",2916.74624
"(1, 3, 0, 1, 1, 3, 0, 0, 3, 2, 1, 0, 1, 2, 1, 3)",2671.772672
"(2, 3, 2, 2, 0, 0, 3, 1, 1, 3, 3, 1, 3, 3, 3, 1)",2165.834752
"(1, 0, 0, 2, 2, 2, 0, 1, 1, 1, 3, 2, 1, 1, 2, 3)",2501.379072
"(0, 3, 1, 2, 1, 3, 3, 0, 1, 3, 3, 3, 3, 0, 1, 3)",2304.902144
"(0, 1, 0, 2, 0, 1, 2, 0, 1, 3, 1, 0, 3, 2, 0, 3)",2626.290688
"(2, 0, 0, 2, 1, 0, 3, 0, 1, 2, 3, 2, 0, 3, 3, 3)",2395.997184
"(0, 3, 0, 2, 0, 2, 1, 1, 2, 3, 1, 2, 2, 2, 0, 1)",2711.094272
"(1, 1, 1, 0, 0, 0, 1, 1, 1, 2, 0, 1, 1, 0, 0, 0)",3023.307776
"(0, 3, 0, 2, 0, 3, 1, 0, 3, 0, 2, 2, 3, 3, 0, 3)",2424.701952
"(0, 0, 0, 1, 1, 1, 3, 0, 1, 0, 3, 3, 1, 3, 1, 1)",2810.184704
"(2, 0, 0, 2, 1, 3, 3, 0, 1, 2, 3, 0, 0, 0, 3, 3)",2440.823808
"(1, 2, 1, 2, 1, 3, 3, 1, 0, 0, 3, 3, 1, 2, 0, 3)",2305.688576
"(1, 2, 1, 0, 1, 0, 3, 1, 3, 0, 3, 1, 0, 2, 0, 3)",2523.137024
"(1, 0, 0, 0, 1, 2, 3, 0, 2, 0, 0, 0, 1, 0, 0, 2)",2919.236608
"(2, 1, 1, 2, 0, 3, 0, 1, 1, 3, 0, 2, 1, 0, 3, 3)",2341.864448
"(2, 3, 0, 1, 1, 0, 3, 1, 2, 2, 2, 0, 0, 3, 0, 3)",2469.659648
"(1, 2, 1, 2, 1, 2, 3, 1, 2, 3, 3, 3, 2, 2, 0, 3)",2213.282816
"(0, 3, 1, 1, 1, 3, 3, 0, 1, 3, 3, 3, 3, 3, 3, 3)",2028.995584
"(2, 0, 0, 1, 0, 1, 3, 1, 2, 0, 0, 0, 1, 2, 2, 3)",2596.144128
"(2, 1, 2, 2, 1, 3, 1, 1, 3, 3, 1, 2, 1, 0, 3, 3)",2108.163072
"(0, 3, 1, 1, 0, 2, 0, 1, 1, 1, 0, 2, 3, 3, 1, 2)",2531.39456
"(0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 3, 2, 1, 1, 0, 0)",3129.213952
"(1, 0, 1, 1, 1, 3, 3, 1, 3, 0, 0, 2, 0, 0, 3, 3)",2388.001792
"(0, 0, 1, 2, 2, 3, 0, 0, 0, 1, 0, 2, 3, 0, 0, 3)",2660.369408
"(1, 2, 1, 2, 0, 3, 1, 0, 2, 3, 3, 2, 2, 0, 1, 0)",2716.468224
"(0, 1, 0, 2, 1, 0, 2, 1, 3, 3, 2, 0, 3, 2, 0, 3)",2447.115264
"(2, 3, 1, 1, 0, 3, 3, 1, 2, 3, 0, 1, 3, 2, 2, 3)",2210.661376
"(0, 3, 0, 1, 2, 0, 0, 1, 2, 2, 2, 2, 0, 3, 0, 3)",2556.822528
"(2, 0, 0, 2, 1, 2, 3, 1, 1, 2, 3, 2, 0, 3, 3, 3)",2188.379136
"(1, 3, 0, 1, 0, 3, 0, 1, 2, 2, 2, 0, 0, 1, 0, 3)",2675.180544
"(1, 3, 1, 1, 1, 0, 3, 0, 3, 3, 0, 2, 0, 3, 3, 3)",2298.0864
"(0, 3, 2, 2, 1, 2, 0, 0, 3, 1, 1, 2, 3, 0, 1, 2)",2561.803264
"(0, 0, 0, 1, 0, 3, 1, 0, 1, 3, 1, 2, 2, 2, 0, 1)",2966.291456
"(1, 0, 2, 2, 0, 0, 3, 1, 1, 3, 0, 0, 3, 3, 3, 3)",2205.811712
"(0, 3, 1, 2, 1, 3, 3, 1, 2, 3, 3, 3, 3, 3, 1, 3)",2049.836032
"(2, 3, 1, 1, 1, 0, 3, 0, 3, 0, 3, 2, 0, 0, 3, 3)",2360.476672
"(0, 3, 0, 1, 0, 3, 1, 0, 1, 0, 3, 3, 1, 3, 0, 0)",2724.987904
"(0, 0, 1, 0, 1, 1, 3, 0, 1, 3, 3, 2, 3, 2, 1, 3)",2571.240448
"(0, 3, 0, 1, 2, 0, 0, 1, 0, 2, 2, 0, 0, 0, 0, 1)",2939.945984
"(2, 1, 1, 2, 0, 3, 0, 1, 3, 3, 0, 2, 3, 0, 3, 3)",2172.519424
"(2, 0, 0, 1, 0, 1, 1, 1, 2, 3, 0, 1, 1, 2, 2, 1)",2776.761344
"(2, 0, 0, 1, 0, 1, 3, 1, 1, 0, 0, 0, 1, 2, 1, 3)",2688.418816
"(1, 0, 0, 2, 0, 0, 0, 1, 1, 2, 3, 2, 0, 3, 3, 3)",2471.494656
"(1, 1, 0, 0, 0, 2, 1, 1, 1, 2, 0, 1, 1, 0, 0, 0)",2966.684672
"(1, 3, 0, 2, 1, 3, 0, 1, 3, 2, 3, 2, 0, 3, 3, 3)",2143.552512
"(0, 1, 0, 2, 0, 0, 2, 0, 1, 3, 2, 0, 3, 3, 0, 3)",2575.434752
"(1, 1, 2, 1, 1, 0, 0, 1, 3, 3, 1, 2, 1, 0, 3, 3)",2372.404224
"(2, 0, 0, 2, 0, 1, 3, 1, 2, 0, 0, 3, 1, 2, 2, 2)",2527.069184
"(0, 3, 1, 2, 2, 3, 0, 1, 2, 3, 2, 3, 0, 3, 0, 3)",2239.75936
"(2, 0, 0, 1, 1, 3, 3, 1, 1, 0, 0, 2, 0, 2, 2, 1)",2701.526016
"(2, 0, 0, 1, 1, 0, 3, 0, 1, 2, 3, 2, 0, 3, 3, 3)",2433.74592
"(1, 3, 0, 1, 0, 3, 0, 1, 1, 2, 1, 0, 0, 1, 0, 3)",2706.113536
"(2, 0, 0, 2, 1, 3, 1, 1, 2, 3, 1, 2, 1, 0, 3, 3)",2350.777344
"(0, 3, 1, 1, 1, 2, 3, 0, 1, 3, 3, 2, 3, 3, 3, 3)",2114.454528
"(1, 3, 0, 2, 0, 0, 0, 1, 1, 2, 2, 0, 0, 1, 3, 3)",2577.26976
"(0, 0, 0, 2, 0, 3, 1, 1, 2, 0, 1, 2, 1, 2, 0, 3)",2691.695616
"(0, 3, 2, 2, 1, 0, 3, 1, 1, 3, 3, 1, 1, 3, 3, 1)",2328.101888
"(0, 0, 0, 2, 0, 3, 3, 1, 2, 0, 1, 2, 2, 2, 0, 1)",2838.889472
"(0, 3, 1, 1, 0, 2, 0, 1, 2, 1, 0, 2, 3, 3, 2, 2)",2439.119872
"(0, 3, 0, 1, 2, 3, 0, 0, 2, 2, 2, 2, 0, 1, 0, 3)",2686.845952
"(1, 0, 1, 2, 2, 0, 0, 1, 1, 1, 3, 2, 1, 1, 2, 3)",2558.002176
"(2, 0, 0, 1, 1, 3, 3, 0, 1, 2, 1, 0, 1, 2, 3, 3)",2516.059136
"(2, 3, 2, 2, 0, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1748.763648
"(2, 3, 0, 2, 0, 3, 0, 1, 2, 2, 2, 0, 0, 1, 0, 3)",2580.808704
"(2, 0, 1, 1, 1, 3, 3, 1, 1, 2, 3, 0, 0, 3, 3, 3)",2195.588096
"(0, 3, 0, 1, 1, 0, 3, 1, 2, 2, 3, 0, 3, 0, 1, 3)",2524.972032
"(2, 0, 0, 2, 0, 1, 3, 1, 2, 2, 3, 1, 1, 3, 3, 3)",2278.163456
"(1, 3, 1, 2, 1, 0, 3, 0, 3, 3, 0, 2, 0, 3, 3, 3)",2260.337664
"(1, 3, 2, 2, 0, 0, 1, 1, 2, 0, 2, 0, 3, 3, 3, 3)",2170.422272
"(0, 1, 2, 2, 0, 3, 1, 1, 3, 3, 1, 2, 2, 2, 0, 1)",2562.85184
"(0, 3, 1, 1, 0, 3, 0, 1, 1, 1, 0, 3, 3, 3, 1, 2)",2445.935616
"(1, 0, 0, 1, 0, 3, 0, 0, 2, 2, 3, 2, 0, 1, 0, 3)",2812.675072
"(0, 0, 0, 1, 0, 3, 1, 0, 1, 3, 1, 2, 2, 1, 0, 1)",3009.938432
"(2, 0, 0, 2, 1, 2, 1, 1, 1, 2, 3, 2, 0, 3, 3, 3)",2226.127872
"(2, 0, 2, 2, 0, 0, 3, 1, 1, 0, 3, 1, 0, 3, 3, 1)",2456.814592
"(1, 3, 0, 1, 0, 3, 0, 1, 2, 2, 2, 0, 0, 2, 0, 3)",2631.533568
"(2, 1, 2, 2, 1, 3, 3, 1, 3, 3, 1, 2, 1, 0, 3, 3)",2070.414336
"(1, 3, 1, 1, 1, 0, 3, 0, 3, 3, 0, 2, 3, 0, 3, 3)",2323.514368
"(0, 3, 1, 1, 0, 3, 1, 1, 1, 3, 0, 2, 3, 3, 0, 2)",2386.56
"(1, 3, 1, 1, 2, 3, 0, 0, 1, 1, 3, 2, 1, 1, 3, 3)",2383.2832
"(0, 3, 1, 1, 0, 2, 0, 1, 1, 1, 0, 2, 1, 3, 1, 2)",2637.038592
"(0, 3, 0, 1, 1, 2, 3, 0, 1, 3, 3, 3, 3, 3, 3, 3)",2085.618688
"(2, 0, 0, 2, 0, 1, 3, 1, 2, 2, 3, 1, 1, 3, 3, 1)",2493.252608
"(2, 3, 2, 2, 0, 3, 3, 1, 3, 3, 3, 1, 3, 3, 3, 3)",1773.7984
"(0, 3, 2, 2, 0, 0, 1, 1, 1, 3, 3, 0, 1, 2, 0, 3)",2459.173888
"(0, 3, 0, 1, 2, 3, 1, 0, 2, 3, 1, 2, 2, 3, 0, 1)",2643.592192
"(0, 0, 0, 2, 0, 3, 1, 1, 0, 0, 1, 3, 1, 2, 0, 1)",2850.161664
"(1, 1, 1, 0, 0, 0, 1, 1, 1, 0, 0, 2, 1, 0, 0, 0)",3007.710208
"(0, 0, 1, 2, 1, 3, 3, 1, 1, 2, 3, 1, 0, 3, 3, 2)",2312.50432
"(0, 3, 1, 1, 0, 3, 0, 1, 1, 2, 0, 3, 3, 3, 1, 3)",2375.41888
"(0, 0, 0, 1, 0, 1, 3, 1, 1, 0, 0, 0, 1, 2, 2, 3)",2700.346368
"(0, 3, 2, 1, 1, 3, 1, 0, 1, 3, 1, 2, 2, 2, 1, 1)",2700.47744
"(1, 3, 0, 1, 1, 3, 0, 0, 3, 2, 1, 0, 1, 0, 3, 3)",2535.719936
"(0, 3, 2, 2, 0, 3, 3, 1, 0, 0, 3, 2, 1, 2, 0, 3)",2353.398784
"(2, 0, 0, 1, 1, 0, 1, 0, 1, 2, 1, 2, 2, 1, 3, 3)",2654.471168
"(0, 3, 1, 2, 1, 2, 3, 1, 1, 3, 3, 0, 3, 3, 3, 3)",1989.542912
"(0, 0, 0, 1, 0, 3, 0, 0, 1, 1, 1, 3, 2, 2, 1, 1)",3025.667072
"(1, 0, 0, 2, 1, 0, 0, 1, 3, 2, 1, 0, 1, 2, 2, 3)",2664.825856
"(2, 1, 1, 2, 0, 3, 0, 1, 1, 3, 0, 2, 3, 0, 3, 3)",2236.220416
"(2, 0, 1, 2, 1, 1, 3, 0, 1, 2, 3, 2, 0, 3, 3, 3)",2301.625344
"(2, 0, 0, 1, 0, 1, 1, 1, 2, 3, 0, 1, 1, 2, 2, 3)",2561.672192
"(0, 3, 2, 2, 1, 0, 3, 1, 1, 3, 3, 2, 1, 3, 3, 1)",2303.067136
"(2, 0, 0, 2, 0, 3, 3, 1, 2, 0, 1, 2, 3, 3, 3, 3)",2184.315904
"(0, 0, 0, 1, 0, 0, 0, 1, 1, 2, 2, 2, 0, 1, 0, 3)",2923.168768
"(2, 0, 1, 2, 1, 3, 3, 1, 1, 2, 3, 2, 0, 3, 3, 2)",2193.097728
"(0, 0, 0, 2, 0, 3, 1, 1, 2, 2, 1, 1, 1, 2, 0, 3)",2707.293184
"(2, 3, 2, 2, 1, 0, 3, 1, 1, 3, 3, 3, 1, 3, 3, 1)",2142.11072
"(1, 3, 0, 2, 0, 0, 0, 1, 1, 1, 2, 0, 0, 1, 3, 2)",2647.786496
"(2, 3, 1, 1, 1, 3, 3, 0, 2, 3, 3, 3, 3, 3, 3, 3)",1924.793344
"(0, 0, 0, 1, 0, 3, 3, 1, 2, 3, 3, 1, 3, 3, 0, 3)",2369.52064
"(2, 1, 2, 2, 1, 3, 0, 1, 3, 3, 1, 2, 1, 2, 3, 3)",2119.17312
"(2, 0, 0, 2, 0, 3, 1, 1, 3, 3, 1, 2, 3, 3, 3, 1)",2312.111104
"(0, 0, 0, 1, 0, 3, 3, 0, 1, 3, 3, 2, 0, 3, 0, 1)",2789.213184
"(2, 3, 2, 1, 0, 0, 3, 0, 1, 3, 3, 2, 3, 3, 3, 3)",2076.705792
"(2, 0, 0, 1, 1, 0, 3, 0, 1, 2, 3, 2, 0, 0, 3, 3)",2565.735424
"(0, 0, 0, 2, 0, 3, 3, 0, 1, 3, 1, 0, 2, 3, 0, 1)",2830.500864
"(2, 1, 2, 2, 1, 3, 3, 1, 3, 3, 1, 2, 1, 3, 3, 3)",1938.424832
"(2, 3, 2, 1, 0, 0, 1, 1, 1, 3, 3, 2, 3, 1, 3, 3)",2131.231744
"(2, 0, 0, 1, 0, 1, 3, 1, 2, 0, 0, 0, 1, 0, 2, 3)",2641.757184
"(0, 0, 0, 1, 0, 0, 0, 0, 1, 2, 3, 2, 3, 3, 3, 3)",2553.6768
"(1, 3, 1, 2, 0, 3, 3, 1, 2, 2, 3, 0, 3, 3, 1, 3)",2204.238848
"(0, 3, 1, 1, 1, 2, 3, 0, 1, 3, 3, 2, 3, 3, 3, 2)",2175.796224
"(1, 2, 0, 2, 1, 0, 3, 1, 3, 2, 1, 0, 1, 2, 3, 3)",2376.860672
"(0, 0, 0, 2, 1, 0, 0, 1, 2, 2, 1, 0, 1, 2, 2, 3)",2756.445184
"(1, 0, 0, 2, 0, 0, 0, 1, 1, 2, 2, 0, 0, 1, 3, 3)",2690.515968
"(2, 0, 2, 2, 0, 3, 1, 1, 2, 3, 3, 1, 3, 3, 3, 3)",1978.663936
"(0, 0, 1, 2, 1, 3, 0, 1, 1, 2, 3, 1, 0, 0, 3, 2)",2538.865664
"(2, 3, 2, 2, 0, 3, 0, 1, 1, 1, 2, 2, 0, 1, 3, 2)",2338.587648
"(0, 3, 0, 1, 0, 0, 0, 0, 1, 3, 1, 0, 2, 1, 0, 3)",2877.555712
"(2, 1, 2, 1, 1, 3, 3, 0, 2, 3, 1, 3, 3, 3, 3, 3)",1971.06176
"(0, 0, 0, 1, 0, 0, 0, 1, 1, 3, 2, 3, 0, 1, 3, 3)",2611.610624
"(2, 3, 1, 1, 0, 2, 1, 1, 2, 3, 0, 0, 1, 2, 2, 3)",2373.977088
"(2, 0, 0, 2, 1, 3, 1, 1, 2, 3, 1, 2, 1, 2, 3, 3)",2305.164288
"(0, 3, 1, 1, 1, 3, 3, 1, 1, 3, 2, 3, 0, 1, 0, 3)",2398.487552
"(0, 3, 0, 1, 1, 0, 0, 1, 2, 3, 2, 3, 0, 1, 0, 3)",2634.023936
"(0, 0, 1, 2, 1, 3, 3, 1, 1, 2, 3, 1, 0, 3, 3, 3)",2251.162624
"(2, 1, 2, 2, 0, 3, 0, 1, 3, 3, 3, 2, 3, 3, 2, 3)",1980.105728
"(1, 3, 1, 2, 1, 3, 3, 1, 3, 3, 3, 3, 3, 3, 1, 3)",1958.216704
"(2, 3, 0, 2, 0, 1, 3, 1, 2, 2, 3, 1, 1, 3, 3, 3)",2164.917248
"(0, 3, 0, 2, 0, 3, 3, 1, 3, 3, 1, 2, 2, 2, 0, 1)",2600.600576
"(1, 3, 0, 2, 0, 0, 3, 1, 3, 3, 3, 0, 3, 3, 3, 3)",2057.962496
"(1, 0, 0, 1, 0, 3, 1, 1, 2, 2, 2, 2, 0, 1, 0, 1)",2920.809472
"(2, 3, 1, 2, 1, 3, 3, 1, 3, 3, 3, 2, 1, 0, 3, 3)",2024.14592
"(0, 3, 1, 1, 1, 3, 3, 0, 1, 2, 3, 2, 3, 3, 0, 3)",2340.553728
"(0, 0, 0, 2, 1, 1, 3, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2177.238016
"(0, 0, 0, 1, 0, 3, 1, 0, 1, 3, 1, 1, 2, 1, 0, 1)",3034.973184
"(0, 3, 1, 1, 0, 3, 3, 1, 1, 2, 3, 3, 3, 3, 1, 3)",2196.898816
"(2, 0, 0, 2, 1, 3, 1, 1, 3, 3, 1, 2, 1, 0, 3, 3)",2296.906752
"(1, 3, 0, 2, 0, 0, 0, 1, 1, 2, 3, 2, 0, 3, 3, 3)",2358.248448
"(2, 0, 0, 1, 0, 0, 0, 1, 2, 0, 0, 0, 0, 1, 2, 3)",2791.703552
"(2, 3, 2, 2, 0, 3, 0, 1, 3, 3, 0, 2, 3, 3, 3, 3)",1927.283712
"(2, 1, 2, 2, 0, 3, 3, 1, 3, 3, 1, 2, 3, 3, 3, 1)",2085.618688
"(1, 0, 0, 2, 1, 3, 0, 1, 3, 2, 3, 2, 0, 3, 3, 3)",2256.79872
"(1, 3, 0, 2, 0, 1, 3, 1, 1, 1, 2, 0, 1, 2, 3, 2)",2452.227072
"(1, 0, 1, 2, 1, 0, 0, 1, 1, 1, 3, 2, 1, 1, 2, 3)",2633.499648
"(2, 0, 0, 2, 0, 3, 1, 1, 2, 3, 1, 2, 1, 0, 3, 1)",2603.615232
"(2, 0, 0, 2, 2, 2, 1, 1, 1, 2, 3, 2, 0, 3, 3, 3)",2150.6304
"(0, 1, 2, 2, 1, 3, 3, 1, 3, 3, 1, 2, 2, 2, 0, 3)",2272.265216
"(0, 0, 2, 1, 0, 0, 0, 1, 1, 3, 1, 2, 1, 0, 3, 3)",2587.10016
"(2, 0, 0, 1, 0, 1, 3, 1, 2, 3, 0, 1, 1, 3, 2, 3)",2437.547008
"(0, 3, 2, 1, 0, 3, 0, 1, 1, 1, 3, 3, 3, 3, 1, 2)",2286.28992
"(0, 0, 0, 1, 0, 0, 0, 1, 2, 0, 0, 0, 0, 1, 2, 3)",2886.075392
"(0, 3, 0, 2, 1, 0, 3, 1, 1, 1, 2, 0, 3, 1, 3, 2)",2446.85312
"(0, 0, 0, 2, 0, 3, 0, 1, 1, 2, 2, 1, 0, 1, 3, 3)",2613.96992
"(2, 3, 0, 2, 0, 0, 0, 1, 1, 2, 1, 0, 0, 1, 3, 3)",2541.749248
"(0, 0, 0, 2, 0, 0, 0, 1, 1, 2, 2, 0, 0, 1, 3, 3)",2728.264704
"(0, 0, 0, 1, 0, 3, 1, 0, 1, 2, 1, 1, 0, 1, 0, 1)",3127.77216
"(0, 1, 1, 2, 1, 3, 3, 1, 2, 3, 3, 3, 3, 3, 3, 3)",1905.918976
"(1, 3, 0, 2, 0, 0, 0, 1, 1, 2, 2, 0, 1, 1, 3, 3)",2576.352256
"(0, 0, 0, 1, 0, 0, 1, 0, 1, 2, 1, 2, 0, 1, 0, 1)",3215.983616
"(1, 3, 0, 2, 0, 3, 0, 1, 3, 2, 3, 2, 0, 3, 3, 3)",2181.301248
"(2, 1, 0, 1, 1, 3, 3, 1, 3, 3, 1, 2, 1, 1, 3, 3)",2219.4432
"(1, 0, 0, 2, 0, 3, 0, 1, 1, 0, 3, 2, 3, 3, 3, 3)",2261.124096
"(0, 3, 1, 2, 0, 3, 3, 1, 2, 3, 3, 3, 3, 3, 1, 3)",2087.584768
"(0, 3, 1, 1, 1, 2, 3, 1, 2, 3, 3, 0, 3, 3, 3, 3)",2017.461248
"(2, 0, 0, 1, 0, 0, 3, 1, 2, 0, 0, 0, 1, 2, 2, 3)",2652.767232
"(1, 0, 0, 2, 0, 0, 3, 1, 1, 2, 3, 0, 3, 1, 3, 3)",2426.668032
"(2, 1, 2, 1, 1, 3, 0, 1, 3, 3, 1, 2, 1, 0, 1, 3)",2384.200704
"(2, 1, 0, 2, 1, 3, 0, 1, 3, 3, 2, 3, 0, 1, 3, 3)",2189.29664
"(2, 3, 2, 2, 0, 0, 1, 1, 1, 3, 3, 0, 3, 2, 3, 3)",2075.91936
"(2, 3, 1, 2, 0, 3, 3, 1, 3, 3, 0, 2, 3, 3, 3, 3)",1908.409344
"(2, 0, 1, 2, 1, 3, 3, 1, 1, 2, 3, 1, 0, 3, 3, 3)",2156.790784
"(1, 3, 1, 2, 0, 2, 0, 1, 1, 3, 3, 0, 0, 3, 3, 3)",2190.476288
"(2, 3, 2, 1, 0, 0, 3, 1, 3, 3, 3, 2, 3, 3, 0, 3)",2082.997248
"(1, 0, 0, 2, 0, 3, 3, 1, 2, 0, 2, 2, 3, 3, 3, 3)",2219.836416
"(1, 0, 0, 2, 1, 1, 3, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2139.48928
"(0, 0, 1, 2, 1, 3, 3, 1, 1, 3, 3, 2, 2, 3, 3, 2)",2194.670592
"(2, 3, 2, 2, 1, 3, 3, 1, 3, 3, 1, 2, 1, 3, 1, 3)",2082.341888
"(2, 0, 0, 1, 0, 1, 1, 1, 2, 3, 0, 1, 0, 2, 2, 3)",2562.589696
"(0, 0, 0, 1, 0, 3, 0, 1, 1, 3, 2, 2, 2, 1, 0, 3)",2717.123584
"(2, 3, 2, 2, 1, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1711.014912
"(0, 0, 2, 2, 0, 0, 0, 1, 1, 3, 2, 3, 0, 3, 3, 3)",2330.592256
"(2, 0, 0, 2, 0, 0, 3, 1, 2, 2, 1, 2, 0, 3, 3, 3)",2394.686464
"(2, 3, 2, 2, 1, 3, 3, 1, 3, 3, 3, 1, 3, 3, 3, 3)",1736.049664
"(2, 3, 1, 2, 1, 3, 3, 0, 1, 3, 3, 3, 3, 3, 3, 3)",1896.875008
"(1, 3, 0, 2, 0, 1, 3, 1, 3, 3, 3, 0, 3, 3, 3, 3)",2001.339392
"(2, 3, 2, 2, 0, 0, 0, 1, 1, 3, 2, 0, 0, 3, 3, 3)",2215.642112
"(0, 3, 1, 2, 0, 3, 0, 1, 1, 1, 0, 3, 3, 3, 3, 2)",2226.521088
"(0, 1, 0, 2, 0, 3, 3, 1, 2, 2, 3, 0, 0, 1, 3, 3)",2372.404224
"(2, 3, 0, 2, 1, 3, 3, 0, 1, 0, 3, 3, 3, 3, 3, 3)",2005.79584
"(0, 0, 0, 2, 1, 0, 0, 1, 3, 2, 2, 2, 0, 1, 3, 3)",2600.731648
"(2, 0, 2, 2, 0, 0, 0, 1, 3, 3, 3, 1, 3, 3, 3, 3)",2094.662656
"(0, 0, 0, 1, 0, 0, 1, 0, 1, 2, 1, 1, 0, 1, 0, 1)",3241.018368
"(2, 0, 2, 2, 0, 3, 3, 1, 1, 3, 3, 1, 3, 3, 3, 3)",1950.7456
"(1, 3, 0, 1, 0, 0, 0, 1, 1, 2, 1, 0, 1, 0, 3, 3)",2637.169664
"(1, 0, 1, 2, 0, 3, 3, 1, 3, 3, 0, 2, 0, 3, 3, 3)",2184.840192
"(2, 0, 0, 1, 0, 0, 0, 1, 2, 0, 0, 0, 3, 1, 2, 3)",2685.142016
"(2, 3, 1, 2, 0, 0, 3, 0, 1, 3, 1, 0, 0, 3, 3, 3)",2331.116544
"(0, 1, 0, 2, 0, 0, 0, 1, 1, 2, 3, 3, 0, 3, 3, 3)",2367.161344
"(2, 0, 0, 2, 0, 3, 3, 1, 2, 3, 0, 2, 1, 2, 2, 3)",2404.516864
"(1, 3, 0, 1, 0, 0, 0, 1, 1, 2, 2, 0, 1, 1, 3, 3)",2614.100992
"(2, 3, 0, 1, 1, 3, 0, 1, 2, 0, 3, 0, 0, 1, 2, 3)",2443.314176
"(0, 0, 0, 1, 0, 1, 0, 1, 1, 2, 2, 1, 0, 1, 2, 3)",2807.563264
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 3, 2, 3, 3, 3, 3, 3)",2261.779456
"(1, 0, 1, 2, 0, 3, 3, 1, 2, 3, 2, 2, 3, 3, 3, 3)",2110.915584
"(1, 3, 0, 1, 0, 3, 0, 1, 1, 3, 3, 3, 0, 3, 3, 3)",2154.431488
"(1, 3, 0, 2, 0, 3, 3, 1, 1, 2, 3, 2, 0, 3, 3, 3)",2150.6304
"(0, 0, 1, 2, 1, 3, 3, 1, 1, 2, 3, 2, 0, 3, 3, 3)",2226.127872
"(0, 3, 0, 2, 1, 1, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1975.256064
"(0, 0, 2, 2, 0, 0, 0, 1, 1, 3, 2, 2, 1, 1, 3, 3)",2526.282752
"(2, 3, 0, 2, 0, 0, 0, 1, 1, 2, 2, 0, 3, 1, 3, 3)",2414.08512
"(2, 3, 1, 1, 1, 3, 3, 0, 2, 3, 3, 3, 0, 3, 3, 3)",2031.35488
"(2, 3, 0, 2, 1, 3, 0, 1, 1, 2, 3, 3, 3, 1, 3, 3)",2107.507712
"(1, 0, 1, 2, 1, 3, 3, 1, 2, 3, 3, 2, 3, 3, 3, 3)",2010.252288
"(2, 3, 1, 1, 0, 1, 1, 1, 3, 3, 0, 1, 3, 3, 3, 3)",2065.564672
"(0, 3, 1, 2, 1, 2, 3, 1, 2, 3, 3, 0, 3, 3, 3, 3)",1979.712512
"(2, 0, 2, 2, 0, 0, 3, 1, 3, 3, 0, 2, 3, 3, 3, 3)",2059.404288
"(2, 0, 0, 2, 0, 3, 1, 1, 2, 3, 0, 1, 0, 2, 3, 3)",2368.996352
"(1, 0, 0, 2, 0, 0, 3, 1, 1, 2, 3, 0, 0, 3, 3, 3)",2403.206144
"(0, 3, 0, 1, 1, 0, 3, 1, 2, 3, 3, 0, 3, 1, 3, 1)",2494.6944
"(2, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 2, 3)",2801.533952
"(2, 1, 1, 1, 0, 1, 0, 1, 2, 3, 0, 2, 1, 0, 3, 3)",2426.405888
"(2, 3, 2, 2, 0, 3, 0, 1, 3, 3, 2, 2, 3, 0, 3, 3)",2038.039552
"(0, 0, 1, 1, 0, 2, 1, 0, 1, 2, 1, 2, 0, 3, 0, 3)",2738.750464
"(0, 0, 1, 2, 1, 3, 3, 1, 2, 2, 3, 1, 0, 3, 3, 3)",2241.332224
"(2, 0, 0, 2, 0, 3, 1, 1, 3, 3, 0, 1, 3, 2, 2, 3)",2307.785728
"(0, 0, 0, 2, 1, 1, 3, 1, 1, 2, 3, 1, 1, 3, 3, 2)",2405.958656
"(1, 0, 1, 2, 1, 3, 3, 1, 1, 3, 3, 1, 2, 3, 3, 3)",2120.614912
"(2, 0, 2, 1, 1, 0, 3, 1, 2, 0, 0, 0, 3, 3, 2, 3)",2309.751808
"(2, 3, 0, 2, 0, 3, 1, 1, 1, 2, 3, 2, 0, 3, 3, 3)",2131.756032
"(0, 0, 0, 2, 0, 0, 0, 1, 1, 0, 0, 0, 0, 3, 2, 3)",2728.133632
"(0, 0, 1, 1, 1, 0, 3, 1, 1, 2, 3, 3, 0, 3, 3, 2)",2371.879936
"(2, 3, 0, 2, 0, 3, 3, 1, 3, 2, 3, 2, 0, 3, 3, 3)",2030.306304
"(2, 3, 1, 2, 1, 2, 3, 0, 1, 3, 3, 2, 3, 3, 3, 3)",1982.333952
"(0, 1, 1, 2, 1, 3, 3, 0, 2, 3, 3, 3, 3, 3, 3, 3)",2019.165184
"(0, 0, 1, 2, 0, 0, 3, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2296.77568
"(2, 3, 2, 2, 1, 3, 3, 1, 3, 3, 3, 2, 0, 3, 3, 3)",1817.576448
"(2, 0, 0, 2, 0, 1, 1, 1, 2, 3, 0, 1, 0, 2, 2, 3)",2524.84096
"(2, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 3, 3, 3, 3)",2426.930176
"(0, 0, 0, 2, 0, 0, 0, 1, 1, 0, 2, 0, 0, 1, 3, 3)",2737.701888
"(0, 0, 0, 2, 1, 3, 3, 1, 1, 2, 3, 1, 0, 3, 3, 3)",2288.91136
"(2, 3, 0, 2, 0, 3, 0, 1, 3, 3, 3, 1, 0, 1, 3, 3)",2218.001408
"(1, 0, 0, 1, 0, 1, 3, 1, 2, 3, 0, 1, 1, 2, 2, 3)",2580.54656
"(2, 1, 1, 1, 1, 0, 0, 1, 1, 3, 2, 3, 3, 1, 3, 3)",2259.682304
"(0, 0, 0, 2, 0, 3, 0, 1, 1, 3, 2, 1, 0, 1, 3, 3)",2552.235008
"(1, 0, 2, 2, 0, 0, 0, 1, 1, 3, 3, 2, 3, 3, 3, 3)",2189.952
"(2, 3, 1, 2, 1, 3, 3, 1, 1, 3, 3, 3, 3, 3, 3, 3)",1783.6288
"(2, 3, 2, 2, 1, 3, 0, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1738.802176
"(0, 0, 1, 2, 1, 3, 3, 1, 1, 2, 3, 2, 3, 3, 3, 3)",2119.566336
"(2, 3, 2, 1, 0, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1786.512384
"(2, 3, 2, 2, 0, 3, 3, 1, 3, 3, 3, 0, 0, 1, 2, 3)",2110.65344
"(2, 0, 0, 2, 0, 3, 3, 1, 2, 2, 1, 2, 3, 3, 3, 3)",2174.87872
"(0, 0, 1, 2, 1, 1, 3, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2139.48928
"(0, 0, 1, 2, 1, 1, 1, 1, 1, 2, 3, 1, 0, 3, 3, 3)",2345.534464
"(0, 1, 1, 2, 1, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1852.048384
"(0, 0, 0, 2, 1, 0, 0, 1, 1, 3, 2, 3, 3, 3, 3, 3)",2299.528192
"(0, 3, 0, 1, 0, 0, 0, 0, 1, 2, 1, 0, 0, 0, 0, 3)",2972.320768
"(1, 3, 2, 2, 0, 3, 3, 1, 3, 0, 2, 2, 3, 3, 3, 3)",1939.473408
"(2, 3, 2, 2, 1, 3, 3, 1, 3, 2, 3, 2, 3, 3, 3, 3)",1772.749824
"(2, 0, 0, 1, 0, 3, 3, 1, 2, 3, 0, 2, 0, 2, 2, 3)",2443.183104
"(2, 3, 2, 2, 1, 3, 3, 1, 2, 3, 3, 1, 3, 3, 3, 3)",1789.920256
"(1, 3, 1, 2, 0, 3, 3, 1, 1, 2, 3, 2, 0, 3, 3, 3)",2112.881664
"(1, 0, 0, 1, 0, 0, 1, 1, 1, 2, 1, 1, 1, 1, 3, 1)",2905.867264
"(2, 0, 0, 2, 0, 3, 3, 1, 2, 3, 3, 2, 3, 3, 3, 3)",2029.126656
"(0, 0, 1, 2, 1, 3, 3, 1, 1, 3, 3, 1, 0, 3, 3, 3)",2189.427712
"(2, 0, 0, 2, 0, 0, 3, 1, 3, 0, 0, 2, 3, 3, 3, 3)",2243.822592
"(2, 3, 1, 1, 0, 3, 0, 1, 1, 3, 0, 0, 0, 1, 2, 3)",2466.120704
"(0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 1, 0, 0, 0, 3, 3)",2798.519296
"(1, 0, 0, 2, 0, 0, 0, 1, 1, 2, 0, 2, 0, 3, 3, 3)",2555.64288
"(0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 2, 3)",2895.905792
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 2, 2, 3, 0, 1, 3, 3)",2560.099328
"(2, 0, 0, 1, 0, 3, 1, 1, 2, 3, 3, 2, 1, 3, 3, 3)",2210.26816
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 3, 2, 1, 3, 1, 3, 3)",2483.422208
"(0, 0, 0, 2, 0, 3, 0, 1, 1, 3, 2, 1, 3, 1, 3, 3)",2445.673472
"(0, 3, 1, 1, 0, 2, 3, 0, 1, 2, 2, 2, 3, 1, 3, 3)",2406.87616
"(0, 0, 1, 2, 1, 3, 3, 1, 2, 3, 3, 1, 3, 3, 3, 3)",2073.035776
"(2, 0, 1, 2, 0, 0, 3, 1, 1, 3, 0, 2, 0, 3, 3, 3)",2305.164288
"(1, 3, 2, 2, 1, 0, 3, 1, 1, 3, 3, 2, 3, 0, 3, 3)",2076.57472
"(2, 0, 2, 2, 1, 0, 0, 0, 3, 2, 1, 3, 0, 1, 3, 3)",2460.877824
"(0, 0, 1, 1, 0, 1, 1, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2315.650048
"(1, 0, 0, 2, 0, 0, 0, 1, 1, 2, 3, 1, 0, 3, 3, 3)",2496.529408
"(2, 3, 1, 2, 0, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1824.26112
"(2, 0, 0, 2, 1, 0, 0, 1, 1, 3, 2, 3, 3, 3, 3, 3)",2205.156352
"(0, 0, 0, 2, 0, 0, 0, 1, 1, 3, 2, 0, 3, 3, 3, 3)",2429.944832
"(2, 3, 2, 2, 1, 1, 3, 1, 3, 3, 0, 1, 3, 2, 2, 3)",2062.418944
"(0, 0, 0, 2, 0, 3, 0, 1, 1, 2, 2, 3, 0, 3, 3, 3)",2392.327168
"(0, 3, 1, 1, 1, 2, 3, 1, 2, 3, 3, 0, 0, 3, 3, 3)",2124.022784
"(0, 0, 0, 2, 1, 0, 0, 1, 1, 3, 3, 0, 0, 3, 3, 3)",2435.843072
"(2, 3, 2, 2, 1, 3, 3, 1, 1, 2, 3, 1, 0, 3, 3, 3)",1968.047104
"(0, 3, 0, 1, 0, 3, 0, 1, 3, 3, 2, 3, 3, 1, 3, 3)",2214.85568
"(2, 3, 0, 1, 0, 3, 0, 1, 3, 2, 1, 0, 1, 3, 3, 3)",2271.609856
"(0, 3, 0, 1, 0, 3, 1, 1, 1, 3, 3, 1, 3, 3, 0, 1)",2518.94272
"(2, 0, 0, 2, 0, 0, 3, 1, 2, 3, 0, 1, 1, 2, 2, 3)",2542.797824
"(0, 0, 0, 2, 0, 0, 0, 1, 1, 2, 2, 3, 0, 1, 3, 3)",2635.5968
"(1, 0, 0, 2, 0, 0, 0, 0, 1, 2, 3, 2, 0, 3, 3, 1)",2799.830016
"(2, 1, 0, 2, 1, 3, 3, 1, 2, 3, 3, 1, 3, 3, 3, 3)",1940.9152
"(0, 0, 0, 1, 0, 2, 3, 0, 1, 3, 3, 2, 0, 3, 3, 3)",2409.759744
"(0, 0, 0, 2, 1, 1, 3, 1, 3, 3, 3, 1, 3, 3, 3, 3)",2113.537024
"(0, 0, 0, 2, 1, 0, 0, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2391.14752
"(0, 0, 0, 1, 0, 0, 0, 1, 1, 3, 2, 0, 0, 1, 3, 3)",2704.278528
"(0, 0, 0, 1, 0, 0, 1, 1, 1, 2, 1, 1, 0, 1, 0, 3)",2912.683008
"(0, 0, 1, 1, 0, 1, 1, 1, 2, 3, 0, 3, 0, 2, 2, 3)",2527.593472
"(0, 3, 1, 2, 1, 3, 0, 1, 1, 3, 2, 1, 3, 1, 3, 3)",2256.929792
"(1, 3, 0, 2, 1, 1, 3, 1, 1, 3, 3, 2, 3, 3, 3, 3)",2001.20832
"(2, 3, 2, 2, 1, 3, 3, 1, 2, 3, 3, 3, 3, 3, 3, 3)",1698.300928
"(0, 3, 0, 2, 0, 3, 0, 1, 1, 3, 2, 1, 0, 3, 3, 3)",2308.965376
"(0, 0, 0, 1, 0, 3, 0, 1, 1, 3, 2, 1, 0, 1, 3, 3)",2589.983744
"(2, 3, 2, 2, 0, 3, 3, 1, 3, 3, 0, 2, 3, 3, 3, 3)",1832.911872
"(0, 0, 1, 2, 1, 1, 3, 1, 1, 2, 0, 2, 0, 3, 3, 3)",2366.8992
"(0, 3, 0, 2, 1, 3, 3, 1, 3, 3, 3, 2, 3, 3, 2, 3)",2017.854464
"(0, 0, 0, 1, 0, 1, 0, 1, 1, 3, 2, 0, 3, 3, 3, 3)",2411.070464
"(2, 0, 0, 2, 1, 3, 2, 1, 1, 3, 2, 2, 3, 3, 3, 3)",2082.997248
"(0, 0, 1, 2, 1, 1, 0, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2296.77568
"(2, 0, 2, 2, 1, 0, 3, 1, 2, 3, 2, 3, 3, 3, 3, 3)",1987.707904
"(1, 3, 1, 2, 0, 3, 3, 1, 3, 3, 2, 2, 3, 3, 3, 3)",1943.798784
"(2, 3, 0, 1, 1, 3, 3, 1, 2, 3, 2, 1, 3, 3, 3, 3)",2003.82976
"(0, 3, 1, 2, 0, 1, 3, 1, 3, 3, 0, 2, 3, 3, 3, 3)",2059.404288
"(0, 0, 0, 1, 0, 0, 0, 1, 1, 2, 2, 0, 0, 1, 3, 3)",2766.01344
"(2, 0, 1, 2, 1, 0, 0, 1, 1, 3, 2, 3, 3, 3, 3, 3)",2167.407616
"(2, 3, 1, 2, 0, 3, 3, 1, 3, 3, 2, 2, 3, 3, 3, 3)",1887.17568
"(0, 0, 0, 1, 0, 0, 0, 1, 1, 3, 0, 1, 0, 1, 3, 3)",2724.463616
"(0, 0, 1, 1, 1, 0, 3, 1, 1, 2, 3, 0, 0, 1, 3, 3)",2533.229568
"(0, 0, 0, 2, 0, 0, 0, 1, 1, 3, 2, 3, 0, 1, 3, 3)",2573.861888
"(2, 3, 1, 2, 1, 3, 3, 1, 3, 2, 3, 2, 3, 3, 3, 3)",1848.247296
"(2, 3, 1, 1, 0, 3, 1, 1, 3, 3, 3, 1, 3, 3, 3, 3)",1924.793344
"(2, 0, 2, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 3, 3)",2589.06624
"(0, 0, 1, 2, 0, 0, 1, 1, 1, 2, 2, 1, 0, 1, 3, 3)",2632.844288
"(0, 3, 2, 2, 0, 0, 1, 1, 3, 3, 3, 1, 3, 3, 3, 3)",2019.165184
"(0, 0, 1, 2, 1, 2, 3, 1, 2, 3, 3, 3, 3, 3, 3, 3)",2000.290816
"(0, 3, 0, 2, 0, 3, 0, 1, 1, 3, 3, 0, 3, 3, 3, 3)",2140.537856
"(2, 0, 1, 2, 0, 3, 3, 1, 2, 3, 3, 2, 3, 3, 3, 3)",1991.37792
"(0, 0, 2, 2, 0, 0, 0, 1, 1, 3, 3, 0, 0, 1, 3, 3)",2490.369024
"(2, 3, 0, 2, 1, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1824.26112
"(0, 0, 0, 2, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 2, 3)",2858.157056
"(0, 3, 2, 2, 1, 3, 3, 1, 2, 3, 3, 3, 3, 3, 3, 3)",1792.672768
"(0, 0, 0, 2, 0, 0, 0, 1, 1, 3, 3, 0, 3, 3, 3, 3)",2367.030272
"(2, 3, 1, 1, 0, 1, 1, 1, 3, 3, 2, 3, 3, 3, 3, 3)",1952.71168
"(0, 3, 1, 2, 1, 2, 0, 1, 2, 3, 2, 3, 3, 3, 3, 3)",2044.331008
"(0, 0, 1, 2, 0, 3, 3, 1, 2, 3, 0, 1, 3, 3, 3, 3)",2194.932736
"(2, 3, 2, 2, 0, 0, 3, 1, 1, 3, 0, 0, 3, 1, 3, 3)",2165.965824
"(2, 0, 1, 2, 1, 3, 1, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2026.243072
"(2, 3, 1, 2, 1, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1786.512384
"(0, 0, 0, 1, 0, 3, 0, 1, 3, 0, 3, 2, 0, 3, 2, 3)",2478.703616
"(0, 3, 2, 1, 0, 1, 3, 1, 3, 3, 2, 2, 3, 3, 3, 3)",2000.421888
"(0, 0, 1, 1, 1, 0, 0, 1, 1, 3, 2, 0, 3, 1, 3, 3)",2522.21952
"(0, 3, 1, 2, 1, 2, 3, 1, 2, 3, 3, 1, 3, 3, 3, 3)",1978.663936
"(0, 0, 0, 2, 0, 0, 3, 1, 1, 3, 3, 0, 3, 3, 3, 3)",2272.658432
"(0, 3, 1, 2, 0, 0, 1, 1, 3, 2, 2, 2, 0, 1, 3, 3)",2430.862336
"(0, 0, 0, 2, 1, 0, 0, 1, 1, 3, 2, 2, 3, 3, 3, 3)",2366.112768
"(0, 0, 1, 1, 0, 0, 0, 1, 1, 3, 2, 0, 3, 1, 3, 3)",2559.968256
"(0, 0, 2, 2, 0, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1956.381696
"(0, 0, 1, 2, 1, 0, 3, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2259.026944
"(0, 3, 1, 2, 0, 3, 0, 1, 3, 3, 3, 1, 0, 1, 3, 3)",2274.624512
"(2, 3, 1, 2, 1, 3, 0, 1, 2, 3, 3, 3, 3, 3, 3, 3)",1868.17024
"(0, 3, 1, 2, 1, 3, 0, 1, 1, 3, 3, 2, 3, 3, 3, 3)",2038.957056
"(0, 0, 0, 2, 0, 0, 0, 1, 1, 3, 0, 2, 0, 1, 3, 3)",2661.680128
"(2, 0, 2, 2, 0, 3, 3, 1, 3, 3, 3, 2, 3, 1, 3, 3)",1992.03328
"(0, 0, 1, 2, 1, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1927.545856
"(0, 1, 1, 2, 0, 3, 3, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2108.032
"(0, 3, 0, 1, 1, 1, 0, 1, 3, 3, 2, 2, 0, 1, 3, 3)",2406.87616
"(2, 0, 2, 2, 1, 3, 3, 1, 1, 2, 3, 1, 3, 3, 3, 3)",1974.731776
"(2, 3, 1, 2, 1, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1719.927808
"(2, 0, 1, 2, 1, 3, 3, 1, 2, 3, 3, 2, 3, 3, 3, 3)",1953.629184
"(2, 3, 0, 2, 0, 0, 0, 1, 1, 3, 2, 3, 0, 1, 3, 3)",2366.24384
"(0, 0, 1, 2, 0, 1, 0, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2334.524416
"(2, 0, 0, 2, 0, 3, 3, 1, 1, 3, 2, 2, 3, 3, 3, 3)",2101.871616
"(0, 0, 2, 2, 1, 1, 3, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2126.906368
"(2, 0, 0, 2, 0, 0, 3, 1, 3, 3, 2, 0, 3, 3, 3, 3)",2177.50016
"(0, 0, 1, 1, 1, 3, 3, 1, 1, 2, 3, 1, 0, 3, 3, 3)",2288.91136
"(0, 1, 1, 2, 1, 3, 3, 1, 1, 2, 3, 2, 3, 3, 3, 3)",2044.068864
"(0, 0, 1, 1, 1, 1, 1, 1, 2, 3, 3, 3, 3, 3, 3, 3)",2113.537024
"(0, 0, 1, 2, 0, 0, 3, 1, 1, 2, 2, 2, 0, 1, 3, 3)",2570.0608
"(2, 1, 2, 2, 1, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1682.179072
"(0, 0, 1, 1, 1, 3, 1, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2221.278208
"(0, 3, 2, 2, 1, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1805.386752
"(2, 3, 1, 2, 0, 3, 3, 1, 2, 3, 3, 2, 3, 3, 3, 3)",1878.131712
"(0, 0, 1, 2, 1, 3, 1, 1, 1, 2, 3, 1, 3, 3, 3, 3)",2182.349824
"(0, 3, 1, 2, 1, 3, 3, 1, 2, 3, 3, 3, 3, 3, 3, 3)",1868.17024
"(0, 1, 0, 2, 0, 1, 3, 1, 2, 3, 3, 3, 3, 2, 3, 3)",2124.416
"(2, 0, 1, 2, 1, 3, 3, 1, 2, 3, 3, 1, 3, 3, 3, 3)",1978.663936
"(2, 0, 2, 2, 0, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1862.009856
"(0, 3, 0, 2, 0, 0, 3, 1, 3, 3, 2, 2, 3, 3, 3, 3)",2132.542464
"(2, 0, 2, 1, 0, 3, 0, 1, 1, 3, 3, 3, 0, 1, 3, 3)",2227.831808
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2353.398784
"(0, 0, 0, 1, 0, 0, 0, 1, 1, 3, 0, 3, 0, 1, 3, 3)",2632.844288
"(0, 0, 0, 2, 1, 0, 0, 1, 1, 3, 3, 2, 3, 3, 3, 3)",2303.198208
"(0, 0, 0, 1, 0, 0, 0, 1, 1, 3, 0, 0, 0, 1, 3, 3)",2725.512192
"(2, 0, 1, 2, 0, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1870.922752
"(0, 0, 0, 2, 0, 0, 0, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2428.896256
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 2, 2, 1, 0, 1, 3, 3)",2689.467392
"(0, 0, 1, 2, 1, 3, 0, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2177.238016
"(0, 3, 1, 2, 1, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1814.299648
"(0, 0, 0, 2, 0, 0, 3, 1, 1, 2, 2, 2, 0, 3, 3, 3)",2477.786112
"(0, 3, 1, 2, 1, 3, 3, 1, 1, 3, 3, 3, 3, 3, 3, 3)",1878.00064
"(0, 0, 1, 2, 0, 3, 1, 1, 1, 2, 3, 0, 3, 3, 3, 3)",2221.147136
"(0, 0, 1, 2, 0, 0, 3, 1, 1, 2, 2, 1, 0, 1, 3, 3)",2595.095552
"(0, 0, 1, 2, 1, 1, 3, 1, 1, 3, 2, 2, 0, 3, 3, 3)",2283.930624
"(2, 0, 2, 1, 1, 3, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1833.174016
"(2, 0, 1, 2, 1, 0, 0, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2196.112384
"(2, 0, 2, 2, 0, 3, 3, 1, 1, 3, 3, 3, 3, 3, 3, 3)",1859.126272
"(0, 3, 0, 2, 0, 1, 3, 1, 3, 3, 2, 0, 3, 3, 3, 3)",2102.002688
"(0, 0, 1, 1, 1, 0, 0, 1, 1, 3, 2, 3, 3, 1, 3, 3)",2429.551616
"(2, 3, 1, 2, 1, 3, 3, 1, 2, 3, 3, 2, 3, 3, 3, 3)",1840.382976
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 3, 0, 2, 0, 1, 3, 3)",2586.182656
"(0, 0, 1, 2, 0, 1, 1, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2277.901312
"(0, 1, 0, 2, 0, 3, 3, 1, 2, 3, 2, 3, 0, 1, 3, 3)",2280.915968
"(2, 1, 1, 2, 0, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1862.009856
"(0, 0, 1, 2, 0, 0, 3, 1, 1, 3, 3, 0, 3, 1, 3, 3)",2364.93312
"(0, 0, 1, 1, 1, 3, 1, 1, 2, 3, 2, 1, 3, 3, 3, 3)",2211.447808
"(0, 0, 0, 2, 1, 0, 3, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2233.86112
"(2, 0, 0, 2, 0, 3, 1, 1, 2, 3, 3, 2, 3, 3, 3, 3)",2066.875392
"(0, 0, 1, 2, 0, 1, 0, 1, 1, 3, 2, 3, 3, 3, 3, 3)",2242.905088
"(0, 0, 0, 2, 0, 0, 3, 1, 1, 2, 3, 1, 3, 1, 3, 3)",2463.368192
"(0, 1, 1, 2, 1, 3, 3, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2070.283264
"(0, 3, 1, 2, 1, 3, 3, 1, 3, 3, 2, 3, 3, 3, 3, 3)",1877.214208
"(0, 3, 0, 2, 1, 0, 0, 1, 2, 3, 0, 2, 0, 1, 3, 3)",2500.854784
"(0, 3, 0, 2, 0, 3, 3, 1, 1, 3, 2, 3, 0, 3, 3, 3)",2122.974208
"(0, 1, 1, 2, 0, 0, 3, 1, 1, 2, 2, 2, 3, 3, 3, 3)",2257.978368
"(0, 0, 1, 2, 1, 3, 0, 1, 2, 3, 3, 1, 3, 1, 3, 3)",2297.43104
"(0, 0, 1, 2, 1, 3, 3, 1, 1, 2, 3, 2, 0, 1, 3, 3)",2356.151296
"(0, 1, 1, 2, 0, 0, 3, 1, 1, 3, 2, 3, 0, 1, 3, 3)",2366.24384
"(2, 0, 2, 2, 1, 3, 1, 1, 3, 2, 3, 1, 3, 3, 3, 3)",1948.77952
"(0, 0, 1, 2, 1, 0, 1, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2296.77568
"(0, 1, 1, 2, 1, 3, 0, 1, 1, 3, 2, 3, 3, 3, 3, 3)",2073.035776
"(2, 3, 2, 2, 1, 3, 0, 1, 3, 2, 3, 2, 3, 3, 3, 3)",1867.121664
"(0, 1, 1, 2, 0, 0, 3, 1, 2, 2, 2, 1, 3, 3, 3, 3)",2273.18272
"(2, 1, 2, 2, 0, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1786.512384
"(0, 1, 1, 2, 0, 3, 0, 1, 3, 3, 3, 2, 3, 3, 3, 3)",2050.753536
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 3, 2, 1, 0, 1, 3, 3)",2627.73248
"(0, 0, 0, 2, 0, 1, 0, 1, 1, 3, 3, 1, 0, 3, 3, 3)",2415.920128
"(0, 0, 1, 2, 0, 3, 3, 1, 2, 3, 3, 2, 3, 3, 3, 3)",2085.74976
"(0, 0, 1, 1, 0, 3, 1, 1, 1, 2, 2, 1, 0, 1, 3, 3)",2557.346816
"(0, 0, 1, 1, 0, 0, 3, 1, 3, 3, 3, 0, 3, 1, 3, 3)",2338.980864
"(0, 0, 1, 2, 1, 3, 1, 1, 1, 3, 3, 3, 0, 1, 3, 3)",2265.580544
"(2, 0, 1, 2, 0, 1, 3, 1, 1, 3, 2, 3, 3, 3, 3, 3)",2054.161408
"(0, 0, 0, 1, 1, 3, 0, 1, 1, 3, 2, 0, 3, 1, 3, 3)",2446.722048
"(0, 0, 1, 2, 1, 0, 3, 1, 1, 2, 2, 1, 3, 1, 3, 3)",2450.78528
"(2, 3, 1, 2, 1, 3, 3, 1, 2, 3, 3, 3, 3, 3, 3, 3)",1773.7984
"(0, 3, 1, 2, 1, 3, 3, 1, 3, 2, 3, 2, 3, 3, 3, 3)",1942.619136
"(0, 0, 1, 1, 0, 1, 0, 1, 1, 3, 2, 0, 3, 3, 3, 3)",2373.321728
"(0, 1, 1, 2, 0, 3, 1, 1, 1, 3, 3, 0, 3, 3, 3, 3)",2083.914752
"(2, 0, 1, 2, 0, 1, 0, 1, 3, 3, 2, 1, 3, 3, 3, 3)",2176.451584
"(0, 0, 0, 2, 0, 3, 3, 1, 1, 3, 2, 1, 0, 1, 3, 3)",2457.863168
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 2, 2, 1, 3, 3, 3, 3)",2415.133696
"(2, 0, 2, 2, 1, 0, 0, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2183.529472
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 3, 2, 3, 3, 1, 3, 3)",2391.80288
"(0, 0, 1, 2, 1, 3, 3, 1, 2, 2, 3, 3, 3, 3, 3, 3)",2043.15136
"(0, 0, 1, 2, 0, 3, 3, 1, 1, 3, 3, 3, 3, 3, 3, 3)",2028.995584
"(2, 0, 0, 2, 0, 3, 0, 1, 2, 3, 3, 2, 3, 3, 3, 3)",2123.498496
"(0, 0, 1, 2, 0, 0, 3, 1, 1, 3, 2, 2, 0, 1, 3, 3)",2508.325888
"(2, 0, 0, 2, 0, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1975.256064
"(2, 1, 2, 2, 1, 3, 3, 1, 3, 2, 3, 3, 3, 3, 3, 3)",1743.913984
"(0, 0, 1, 2, 1, 3, 1, 1, 1, 2, 3, 2, 3, 3, 3, 3)",2157.315072
"(0, 1, 1, 2, 0, 3, 3, 1, 1, 2, 3, 0, 3, 3, 3, 3)",2107.900928
"(0, 0, 0, 2, 0, 0, 0, 1, 1, 3, 2, 1, 0, 1, 3, 3)",2665.481216
"(0, 1, 1, 2, 0, 0, 0, 1, 1, 2, 2, 2, 3, 3, 3, 3)",2352.350208
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 2, 2, 3, 0, 1, 3, 3)",2597.848064
"(0, 0, 1, 1, 1, 3, 3, 1, 1, 3, 3, 0, 3, 1, 3, 3)",2251.686912
"(0, 0, 2, 2, 0, 3, 1, 1, 1, 3, 3, 0, 3, 3, 3, 3)",2083.914752
"(0, 3, 1, 1, 1, 3, 3, 1, 2, 3, 3, 0, 3, 1, 3, 3)",2128.610304
"(2, 3, 2, 2, 1, 3, 0, 1, 1, 3, 2, 3, 3, 3, 3, 3)",1865.417728
"(0, 1, 1, 2, 1, 3, 0, 1, 1, 3, 3, 2, 3, 3, 3, 3)",2076.705792
"(0, 0, 1, 2, 1, 3, 1, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2183.529472
"(2, 3, 2, 2, 1, 3, 3, 1, 2, 2, 3, 2, 3, 3, 3, 3)",1826.620416
"(0, 0, 0, 2, 0, 0, 3, 1, 1, 3, 2, 0, 0, 3, 3, 3)",2442.134528
"(0, 1, 1, 2, 0, 0, 3, 1, 2, 3, 3, 2, 3, 1, 3, 3)",2253.52192
"(0, 3, 1, 2, 1, 3, 0, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1908.671488
"(2, 0, 2, 2, 1, 0, 0, 1, 1, 3, 2, 3, 3, 3, 3, 3)",2091.910144
"(0, 0, 1, 2, 1, 0, 0, 1, 3, 3, 3, 1, 3, 3, 3, 3)",2226.783232
"(2, 3, 2, 2, 1, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1644.430336
"(0, 0, 1, 1, 1, 1, 0, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2334.524416
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 3, 2, 2, 3, 1, 3, 3)",2496.136192
"(0, 0, 1, 2, 1, 3, 3, 1, 1, 2, 2, 3, 0, 3, 3, 3)",2222.457856
"(2, 1, 2, 2, 0, 3, 1, 1, 1, 3, 3, 0, 3, 3, 3, 3)",1914.04544
"(0, 3, 1, 2, 1, 0, 3, 1, 3, 2, 3, 3, 3, 1, 3, 3)",2119.304192
"(0, 0, 1, 2, 0, 0, 1, 1, 1, 2, 2, 1, 0, 3, 3, 3)",2502.820864
"(0, 0, 1, 1, 0, 3, 3, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2221.278208
"(0, 0, 1, 2, 0, 0, 1, 1, 1, 2, 2, 2, 0, 1, 3, 3)",2607.809536
"(2, 0, 0, 2, 0, 3, 0, 1, 3, 3, 2, 2, 3, 3, 3, 3)",2132.542464
"(0, 2, 2, 2, 1, 3, 3, 1, 1, 3, 3, 3, 3, 3, 3, 3)",1821.377536
"(0, 0, 1, 2, 0, 3, 0, 1, 1, 2, 3, 1, 3, 1, 3, 3)",2406.745088
"(2, 0, 1, 2, 0, 3, 0, 1, 1, 3, 2, 1, 0, 3, 3, 3)",2290.091008
"(2, 3, 1, 2, 1, 3, 1, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1824.26112
"(0, 0, 1, 2, 1, 3, 3, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2082.866176
"(0, 0, 1, 2, 1, 0, 3, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2196.112384
"(2, 1, 1, 2, 0, 3, 3, 1, 2, 3, 3, 3, 3, 3, 3, 3)",1849.295872
"(2, 0, 1, 2, 0, 0, 3, 1, 3, 3, 2, 3, 0, 3, 3, 3)",2153.645056
"(0, 0, 0, 2, 0, 0, 3, 1, 1, 3, 3, 1, 3, 1, 3, 3)",2401.63328
"(0, 0, 1, 2, 1, 0, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3)",2142.241792
"(2, 0, 1, 2, 0, 3, 1, 1, 3, 2, 2, 2, 0, 3, 3, 3)",2206.467072
"(0, 1, 1, 2, 0, 3, 0, 1, 1, 3, 2, 0, 3, 3, 3, 3)",2203.452416
"(0, 3, 1, 2, 1, 0, 0, 1, 1, 3, 2, 2, 3, 3, 3, 3)",2215.117824
"(0, 0, 1, 2, 1, 3, 1, 1, 1, 3, 3, 0, 3, 3, 3, 3)",2121.663488
"(0, 3, 1, 2, 1, 3, 0, 1, 1, 3, 0, 2, 0, 1, 3, 3)",2359.69024
"(0, 1, 1, 2, 0, 3, 1, 1, 1, 2, 3, 1, 3, 3, 3, 3)",2144.601088
"(2, 0, 1, 2, 0, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1937.507328
"(2, 0, 2, 2, 0, 3, 3, 1, 3, 2, 3, 3, 3, 3, 3, 3)",1857.160192
"(0, 3, 1, 2, 0, 3, 1, 1, 3, 3, 3, 0, 3, 3, 3, 3)",1982.465024
"(0, 0, 1, 2, 1, 0, 1, 1, 1, 3, 2, 2, 3, 3, 3, 3)",2271.740928
"(0, 0, 1, 2, 0, 3, 3, 1, 1, 2, 3, 1, 0, 1, 3, 3)",2418.934784
"(0, 0, 0, 2, 0, 0, 0, 1, 1, 2, 2, 1, 0, 1, 3, 3)",2727.216128
"(0, 0, 1, 2, 1, 1, 0, 1, 1, 3, 3, 3, 3, 3, 3, 3)",2142.241792
"(0, 0, 0, 2, 0, 3, 3, 1, 1, 3, 0, 2, 1, 1, 3, 3)",2453.144576
"(0, 0, 2, 2, 0, 0, 3, 1, 1, 2, 2, 3, 3, 1, 3, 3)",2321.417216
"(0, 1, 2, 2, 1, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1776.550912
"(0, 1, 1, 2, 1, 0, 3, 1, 1, 3, 2, 1, 0, 1, 3, 3)",2420.114432
"(2, 1, 1, 2, 0, 3, 3, 1, 1, 3, 3, 2, 3, 3, 3, 3)",1925.710848
"(0, 0, 1, 2, 1, 3, 0, 1, 1, 3, 0, 1, 0, 1, 3, 3)",2497.9712
"(2, 0, 1, 2, 0, 0, 1, 1, 3, 3, 2, 2, 3, 3, 3, 3)",2151.416832
"(0, 0, 1, 2, 0, 3, 3, 1, 1, 3, 2, 2, 0, 1, 3, 3)",2395.07968
"(2, 3, 2, 2, 0, 3, 3, 1, 3, 3, 2, 1, 3, 3, 3, 3)",1836.71296
"(2, 0, 1, 2, 1, 0, 0, 1, 3, 3, 3, 2, 2, 3, 3, 3)",2182.874112
"(2, 3, 1, 2, 1, 3, 3, 1, 2, 3, 3, 2, 0, 3, 3, 3)",1946.944512
"(2, 0, 1, 2, 1, 3, 1, 1, 1, 2, 3, 1, 3, 3, 3, 3)",2087.977984
"(0, 3, 1, 2, 0, 0, 1, 1, 2, 3, 3, 3, 0, 3, 3, 3)",2163.475456
"(0, 0, 1, 2, 1, 3, 0, 1, 1, 2, 3, 1, 0, 3, 3, 3)",2345.534464
"(0, 3, 1, 2, 0, 3, 3, 1, 2, 3, 3, 3, 3, 3, 3, 3)",1905.918976
"(0, 1, 1, 2, 0, 3, 3, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2045.11744
"(2, 0, 2, 2, 1, 3, 3, 1, 1, 2, 2, 1, 3, 1, 3, 3)",2167.66976
"(0, 0, 1, 2, 1, 0, 1, 1, 1, 3, 0, 2, 3, 1, 3, 3)",2422.998016
"(0, 0, 1, 2, 1, 1, 0, 1, 1, 3, 2, 3, 3, 3, 3, 3)",2205.156352
"(0, 0, 1, 2, 1, 0, 3, 1, 2, 2, 2, 3, 0, 1, 3, 3)",2455.897088
"(2, 1, 2, 2, 0, 3, 3, 1, 3, 3, 3, 1, 3, 3, 3, 3)",1811.547136
"(0, 0, 1, 2, 0, 3, 3, 1, 1, 3, 2, 3, 0, 3, 3, 3)",2198.47168
"(2, 3, 1, 2, 0, 3, 0, 1, 3, 3, 2, 2, 3, 3, 3, 3)",1981.54752
"(0, 0, 0, 2, 0, 0, 0, 1, 1, 2, 2, 0, 1, 1, 3, 3)",2727.3472
"(0, 1, 1, 2, 1, 0, 1, 1, 2, 2, 3, 1, 3, 1, 3, 3)",2340.291584
"(0, 0, 1, 2, 0, 1, 3, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2177.238016
"(0, 0, 1, 2, 0, 0, 3, 1, 1, 3, 2, 1, 2, 3, 3, 3)",2372.273152
"(2, 0, 1, 2, 0, 0, 3, 1, 3, 3, 3, 1, 0, 3, 3, 3)",2182.349824
"(0, 0, 1, 2, 0, 0, 1, 1, 2, 3, 3, 1, 3, 1, 3, 3)",2391.80288
"(0, 0, 1, 2, 0, 3, 3, 1, 1, 2, 2, 2, 3, 1, 3, 3)",2350.253056
"(2, 0, 1, 2, 0, 3, 3, 1, 3, 3, 2, 1, 3, 3, 3, 3)",2025.45664
"(0, 0, 1, 2, 1, 1, 0, 1, 2, 3, 2, 3, 3, 3, 3, 3)",2195.325952
"(2, 0, 1, 2, 0, 0, 0, 1, 3, 2, 3, 1, 3, 3, 3, 3)",2231.89504
"(0, 0, 1, 2, 1, 3, 1, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2120.614912
"(0, 0, 2, 2, 0, 0, 3, 1, 1, 3, 2, 2, 0, 1, 3, 3)",2432.828416
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 3, 2, 2, 0, 1, 3, 3)",2602.697728
"(0, 1, 0, 2, 1, 3, 3, 1, 2, 3, 3, 3, 0, 3, 3, 3)",2050.229248
"(0, 1, 1, 2, 1, 3, 3, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2007.368704
"(0, 0, 0, 2, 0, 3, 0, 1, 1, 3, 3, 3, 0, 1, 3, 3)",2397.70112
"(0, 3, 2, 2, 1, 3, 3, 1, 1, 3, 2, 2, 0, 1, 3, 3)",2168.587264
"(0, 1, 2, 2, 1, 3, 3, 1, 3, 2, 3, 3, 3, 3, 3, 3)",1838.285824
"(2, 1, 1, 2, 1, 3, 3, 1, 3, 2, 3, 3, 3, 3, 3, 3)",1819.411456
"(0, 0, 0, 2, 1, 0, 0, 1, 1, 3, 0, 0, 3, 3, 3, 3)",2413.42976
"(0, 1, 2, 2, 1, 3, 3, 1, 2, 3, 3, 3, 3, 3, 3, 3)",1830.421504
"(2, 2, 2, 2, 0, 3, 0, 1, 1, 3, 2, 1, 3, 1, 3, 3)",2143.683584
"(2, 3, 2, 2, 1, 3, 3, 1, 3, 3, 2, 3, 3, 3, 3, 3)",1707.344896
"(2, 1, 1, 2, 1, 0, 1, 1, 3, 3, 2, 3, 3, 1, 3, 3)",2101.609472
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 2, 2, 2, 0, 1, 3, 3)",2626.683904
"(0, 3, 1, 2, 1, 0, 3, 1, 2, 3, 3, 2, 3, 1, 3, 3)",2178.024448
"(2, 3, 2, 2, 1, 3, 3, 1, 2, 3, 3, 2, 3, 3, 3, 3)",1764.885504
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 2, 2, 2, 0, 1, 3, 3)",2664.43264
"(0, 0, 2, 2, 0, 3, 3, 1, 1, 2, 3, 1, 0, 3, 3, 3)",2213.413888
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 3, 0, 1, 0, 1, 3, 3)",2648.966144
"(2, 0, 2, 2, 0, 3, 3, 1, 1, 3, 2, 3, 0, 3, 3, 3)",2028.602368
"(0, 3, 2, 2, 1, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1738.802176
"(0, 1, 2, 2, 1, 3, 1, 1, 1, 2, 3, 1, 3, 3, 3, 3)",2031.35488
"(0, 0, 1, 2, 1, 3, 3, 1, 1, 3, 2, 3, 0, 3, 3, 3)",2160.722944
"(0, 3, 1, 2, 0, 0, 3, 1, 2, 3, 3, 2, 3, 1, 3, 3)",2215.773184
"(0, 0, 1, 2, 0, 1, 3, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2240.152576
"(0, 0, 1, 2, 0, 0, 3, 1, 1, 3, 2, 1, 0, 1, 3, 3)",2533.36064
"(2, 1, 2, 2, 0, 3, 3, 1, 1, 3, 3, 2, 3, 3, 3, 3)",1850.213376
"(0, 3, 1, 2, 1, 3, 1, 1, 3, 3, 3, 0, 3, 3, 3, 3)",1944.716288
"(0, 0, 1, 2, 1, 3, 3, 1, 1, 2, 3, 1, 3, 3, 3, 3)",2144.601088
"(0, 0, 1, 2, 0, 3, 1, 1, 1, 2, 2, 1, 3, 3, 3, 3)",2283.01312
"(2, 3, 1, 2, 1, 3, 3, 1, 2, 3, 2, 3, 3, 3, 3, 3)",1836.71296
"(2, 1, 1, 2, 1, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1757.676544
"(0, 0, 0, 2, 0, 1, 0, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2372.273152
"(0, 0, 1, 2, 0, 3, 1, 1, 1, 3, 3, 2, 3, 3, 3, 3)",2133.328896
"(0, 0, 1, 2, 0, 3, 1, 1, 1, 2, 3, 1, 3, 3, 3, 3)",2220.09856
"(2, 1, 1, 2, 1, 3, 1, 1, 3, 2, 3, 3, 3, 3, 3, 3)",1857.160192
"(2, 3, 2, 2, 1, 0, 3, 1, 3, 3, 3, 3, 0, 1, 3, 3)",1994.261504
"(0, 0, 2, 2, 1, 1, 0, 1, 2, 3, 3, 3, 3, 3, 3, 3)",2056.91392
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 3, 2, 0, 3, 3, 3, 3)",2392.196096
"(2, 1, 1, 2, 0, 3, 3, 1, 2, 3, 3, 0, 3, 3, 3, 3)",1941.963776
"(2, 0, 0, 2, 1, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1937.507328
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 2, 2, 1, 0, 1, 3, 3)",2651.718656
"(0, 1, 1, 2, 1, 3, 0, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1946.420224
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 3, 2, 2, 0, 1, 3, 3)",2564.948992
"(2, 1, 1, 2, 1, 3, 3, 1, 3, 2, 2, 3, 3, 3, 3, 3)",1882.326016
"(2, 0, 0, 2, 0, 3, 0, 1, 1, 3, 2, 2, 0, 3, 3, 3)",2302.804992
"(0, 0, 1, 2, 0, 0, 3, 1, 1, 2, 2, 1, 0, 3, 3, 3)",2465.072128
"(0, 0, 1, 2, 1, 3, 1, 1, 1, 2, 2, 1, 3, 3, 3, 3)",2245.264384
"(0, 0, 1, 2, 0, 3, 3, 1, 3, 3, 2, 2, 0, 1, 3, 3)",2331.378688
"(2, 3, 1, 2, 1, 3, 3, 1, 3, 3, 2, 3, 3, 3, 3, 3)",1782.842368
"(2, 0, 1, 2, 0, 3, 3, 1, 3, 3, 3, 3, 0, 3, 3, 3)",1977.484288
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 2, 0, 1, 0, 1, 3, 3)",2710.701056
"(0, 0, 1, 2, 0, 3, 3, 1, 2, 3, 3, 1, 3, 1, 3, 3)",2240.807936
"(2, 3, 2, 2, 0, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1682.179072
"(0, 0, 1, 2, 1, 3, 1, 1, 1, 3, 2, 3, 0, 1, 3, 3)",2328.495104
"(2, 0, 0, 2, 0, 0, 3, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2177.238016
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2290.484224
"(0, 0, 0, 2, 0, 0, 0, 1, 1, 3, 2, 0, 0, 3, 3, 3)",2536.506368
"(0, 0, 1, 2, 1, 0, 3, 1, 1, 3, 2, 3, 0, 1, 3, 3)",2403.992576
"(0, 0, 0, 2, 0, 0, 3, 1, 1, 3, 2, 0, 3, 3, 3, 3)",2335.572992
"(2, 3, 2, 2, 0, 3, 1, 1, 3, 2, 3, 1, 3, 3, 3, 3)",1873.282048
"(2, 0, 1, 2, 0, 3, 3, 1, 3, 3, 2, 2, 3, 3, 3, 3)",2000.421888
"(0, 0, 1, 2, 0, 1, 0, 1, 2, 3, 3, 3, 3, 3, 3, 3)",2170.160128
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 3, 3, 2, 3, 1, 3, 3)",2433.221632
"(2, 0, 0, 2, 0, 3, 3, 1, 1, 3, 3, 1, 3, 1, 3, 3)",2194.015232
"(0, 1, 1, 2, 1, 3, 0, 1, 2, 3, 3, 3, 3, 3, 3, 3)",2000.290816
"(0, 0, 1, 2, 0, 0, 3, 1, 1, 3, 3, 0, 3, 3, 3, 3)",2234.909696
"(0, 1, 1, 2, 1, 3, 1, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2108.032
"(0, 0, 1, 2, 0, 0, 1, 1, 1, 3, 2, 1, 3, 1, 3, 3)",2464.54784
"(0, 0, 1, 2, 0, 3, 1, 1, 3, 3, 3, 2, 3, 3, 3, 3)",2069.627904
"(2, 0, 1, 2, 0, 3, 3, 1, 2, 2, 3, 1, 3, 3, 3, 3)",2078.147584
"(0, 0, 1, 2, 1, 3, 0, 1, 1, 3, 2, 1, 3, 1, 3, 3)",2370.176
"(0, 0, 1, 2, 0, 0, 1, 1, 3, 2, 2, 2, 0, 3, 3, 3)",2414.08512
"(0, 0, 1, 2, 1, 1, 3, 1, 2, 3, 2, 3, 3, 3, 3, 3)",2100.954112
"(0, 3, 2, 2, 1, 1, 0, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2108.032
"(2, 0, 1, 2, 0, 3, 0, 1, 3, 3, 2, 3, 3, 3, 3, 3)",2028.209152
"(0, 1, 1, 2, 0, 3, 3, 1, 1, 3, 3, 0, 3, 3, 3, 3)",2046.166016
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 2, 2, 0, 0, 3, 3, 3)",2560.492544
"(2, 0, 1, 2, 0, 3, 3, 1, 1, 3, 3, 2, 3, 3, 3, 3)",2001.20832
"(0, 0, 1, 2, 1, 0, 3, 1, 2, 3, 2, 1, 0, 1, 3, 3)",2485.781504
"(0, 0, 2, 2, 1, 3, 3, 1, 1, 3, 2, 3, 0, 3, 3, 3)",2085.225472
"(0, 0, 1, 2, 1, 0, 1, 1, 1, 3, 3, 2, 0, 3, 3, 3)",2315.387904
"(2, 1, 1, 2, 0, 3, 0, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1956.381696
"(2, 1, 2, 2, 1, 3, 3, 1, 2, 3, 3, 3, 3, 3, 3, 3)",1736.049664
"(0, 0, 1, 2, 1, 3, 1, 1, 1, 3, 2, 1, 0, 3, 3, 3)",2290.091008
"(0, 0, 1, 2, 1, 3, 3, 1, 1, 3, 3, 3, 0, 3, 3, 3)",2097.808384
"(0, 0, 0, 2, 0, 0, 3, 1, 1, 3, 2, 2, 0, 1, 3, 3)",2546.074624
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 2, 2, 1, 3, 1, 3, 3)",2582.905856
"(2, 3, 1, 2, 1, 0, 0, 1, 3, 3, 0, 2, 3, 1, 3, 3)",2208.30208
"(2, 0, 1, 2, 0, 3, 3, 1, 3, 3, 3, 1, 3, 3, 3, 3)",1962.54208
"(0, 1, 1, 2, 1, 1, 3, 1, 2, 3, 3, 3, 3, 3, 3, 3)",1962.54208
"(2, 0, 1, 2, 0, 0, 0, 1, 1, 2, 2, 3, 0, 3, 3, 3)",2373.4528
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 3, 0, 2, 0, 1, 3, 3)",2623.931392
"(2, 0, 1, 2, 0, 3, 3, 1, 3, 2, 2, 1, 3, 1, 3, 3)",2217.214976
"(0, 1, 1, 2, 1, 3, 0, 1, 2, 3, 3, 2, 3, 3, 3, 3)",2066.875392
"(2, 0, 1, 2, 1, 3, 0, 1, 3, 3, 2, 3, 3, 3, 3, 3)",1990.460416
"(0, 3, 1, 2, 1, 3, 3, 1, 3, 3, 3, 1, 3, 1, 3, 3)",2035.9424
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 3, 2, 0, 3, 3, 3, 3)",2354.44736
"(0, 1, 1, 2, 1, 0, 1, 1, 1, 2, 3, 3, 0, 3, 3, 3)",2235.040768
"(0, 0, 1, 2, 0, 1, 3, 1, 1, 3, 3, 3, 3, 3, 3, 3)",2085.618688
"(0, 3, 1, 2, 1, 3, 0, 1, 3, 3, 2, 3, 3, 3, 3, 3)",1971.586048
"(0, 0, 1, 2, 0, 3, 1, 1, 1, 2, 3, 2, 3, 3, 3, 3)",2195.063808
"(0, 3, 1, 2, 0, 3, 3, 1, 1, 3, 3, 3, 0, 3, 3, 3)",2022.310912
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 3, 0, 0, 3, 3, 3, 3)",2375.681024
"(0, 0, 1, 2, 0, 0, 1, 1, 3, 2, 2, 3, 0, 1, 3, 3)",2477.523968
"(2, 1, 1, 2, 0, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1795.42528
"(0, 1, 1, 2, 1, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1918.63296
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 3, 2, 0, 0, 3, 3, 3)",2461.008896
"(2, 0, 2, 2, 1, 3, 3, 1, 2, 3, 3, 2, 3, 3, 3, 3)",1878.131712
"(0, 3, 1, 2, 1, 3, 1, 1, 1, 3, 3, 0, 3, 3, 3, 3)",2008.41728
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 3, 2, 3, 3, 3, 3, 3)",2299.528192
"(2, 0, 1, 2, 1, 0, 3, 1, 3, 3, 2, 1, 3, 1, 3, 3)",2230.977536
"(2, 1, 2, 2, 1, 3, 3, 1, 1, 3, 3, 1, 3, 3, 3, 3)",1837.499392
"(2, 0, 2, 2, 1, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1757.676544
"(2, 3, 1, 2, 0, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1757.676544
"(0, 0, 0, 2, 0, 1, 3, 1, 1, 3, 2, 2, 0, 1, 3, 3)",2489.45152
"(0, 0, 1, 2, 1, 0, 3, 1, 1, 3, 2, 1, 3, 1, 3, 3)",2389.050368
"(0, 1, 1, 2, 0, 3, 0, 1, 2, 3, 2, 2, 3, 3, 3, 3)",2167.538688
"(2, 1, 2, 2, 1, 3, 3, 1, 1, 3, 3, 3, 3, 3, 3, 3)",1745.880064
"(0, 0, 1, 2, 1, 1, 0, 1, 2, 3, 2, 3, 0, 3, 3, 3)",2301.887488
"(0, 0, 0, 2, 0, 0, 0, 1, 1, 3, 2, 2, 0, 3, 3, 3)",2510.42304
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 3, 3, 0, 3, 3, 3, 3)",2291.5328
"(0, 3, 1, 2, 0, 3, 3, 1, 3, 3, 3, 0, 3, 3, 3, 3)",1944.716288
"(0, 3, 1, 2, 1, 0, 0, 1, 2, 3, 2, 3, 3, 3, 3, 3)",2138.702848
"(0, 0, 1, 2, 1, 1, 0, 1, 2, 3, 2, 2, 3, 3, 3, 3)",2261.910528
"(0, 0, 1, 2, 1, 0, 0, 1, 3, 3, 3, 3, 3, 3, 3, 3)",2135.163904
"(2, 3, 1, 2, 1, 3, 3, 1, 3, 2, 3, 3, 3, 3, 3, 3)",1781.66272
"(0, 0, 1, 2, 1, 3, 0, 1, 3, 3, 3, 2, 3, 3, 3, 3)",2088.502272
"(2, 0, 2, 2, 0, 0, 3, 1, 1, 2, 2, 1, 3, 3, 3, 3)",2188.64128
"(2, 0, 1, 2, 0, 3, 3, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2026.243072
"(2, 1, 1, 2, 1, 3, 3, 1, 1, 3, 2, 0, 3, 3, 3, 3)",1976.96
"(0, 3, 1, 2, 1, 3, 0, 1, 3, 3, 3, 3, 0, 1, 3, 3)",2145.256448
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 3, 3, 0, 3, 3, 3, 3)",2329.281536
"(0, 0, 2, 2, 1, 0, 0, 1, 1, 2, 2, 3, 3, 1, 3, 3)",2378.04032
"(0, 0, 1, 2, 1, 3, 0, 1, 2, 3, 3, 3, 3, 3, 3, 3)",2075.788288
"(0, 0, 1, 2, 1, 0, 3, 1, 2, 3, 3, 3, 3, 3, 3, 3)",2094.662656
"(0, 3, 1, 2, 1, 3, 3, 1, 3, 3, 2, 2, 3, 3, 3, 3)",1943.798784
"(0, 0, 1, 2, 0, 0, 3, 1, 1, 3, 2, 0, 0, 1, 3, 3)",2534.409216
"(0, 1, 1, 2, 1, 1, 3, 1, 3, 3, 2, 3, 3, 3, 3, 3)",1971.586048
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 3, 2, 3, 0, 1, 3, 3)",2498.364416
"(2, 0, 1, 2, 1, 3, 0, 1, 3, 3, 3, 1, 3, 3, 3, 3)",2019.165184
"(0, 0, 1, 2, 0, 3, 0, 1, 1, 2, 2, 1, 0, 3, 3, 3)",2446.19776
"(0, 1, 1, 2, 0, 0, 3, 1, 1, 3, 2, 0, 3, 3, 3, 3)",2222.326784
"(2, 3, 1, 2, 1, 3, 0, 1, 1, 3, 3, 2, 3, 3, 3, 3)",1944.585216
"(2, 1, 1, 2, 0, 3, 3, 1, 3, 3, 3, 1, 0, 3, 3, 3)",1993.606144
"(2, 3, 2, 2, 1, 1, 3, 1, 3, 3, 2, 3, 3, 3, 3, 3)",1763.968
"(0, 1, 1, 2, 1, 3, 0, 1, 1, 3, 0, 2, 0, 1, 3, 3)",2397.438976
"(2, 0, 1, 2, 1, 1, 3, 1, 1, 3, 3, 3, 0, 3, 3, 3)",2060.059648
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2391.14752
"(0, 0, 1, 2, 1, 3, 0, 1, 2, 3, 3, 2, 3, 3, 3, 3)",2142.372864
"(0, 0, 1, 2, 1, 1, 0, 1, 2, 3, 0, 2, 3, 3, 3, 3)",2283.144192
"(0, 1, 2, 2, 1, 0, 3, 1, 1, 3, 2, 3, 3, 3, 3, 3)",2016.412672
"(0, 0, 1, 2, 1, 3, 1, 1, 1, 3, 2, 0, 0, 3, 3, 3)",2291.139584
"(2, 3, 1, 2, 0, 0, 3, 1, 3, 3, 3, 3, 3, 1, 3, 3)",2000.946176
"(0, 0, 1, 2, 0, 3, 0, 1, 1, 3, 3, 0, 3, 3, 3, 3)",2216.035328
"(2, 3, 1, 2, 0, 3, 3, 1, 1, 3, 3, 3, 0, 3, 3, 3)",1927.939072
"(0, 0, 1, 2, 0, 0, 1, 1, 1, 2, 0, 1, 0, 1, 3, 3)",2654.077952
"(2, 0, 1, 2, 1, 3, 3, 1, 3, 3, 2, 3, 3, 3, 3, 3)",1896.088576
"(2, 0, 1, 2, 1, 1, 3, 1, 3, 3, 2, 3, 3, 3, 3, 3)",1952.71168
"(0, 1, 1, 2, 0, 1, 0, 1, 2, 3, 2, 2, 3, 3, 3, 3)",2224.161792
"(0, 0, 1, 2, 1, 0, 0, 1, 3, 3, 2, 0, 3, 3, 3, 3)",2290.746368
"(0, 3, 1, 2, 1, 1, 0, 1, 2, 3, 3, 2, 3, 3, 3, 3)",2085.74976
"(0, 3, 2, 2, 1, 3, 0, 1, 2, 3, 3, 3, 3, 3, 3, 3)",1887.044608
"(0, 0, 1, 2, 1, 3, 3, 1, 1, 3, 3, 2, 0, 1, 3, 3)",2294.416384
"(0, 3, 1, 2, 0, 3, 3, 1, 1, 3, 3, 0, 3, 3, 3, 3)",2008.41728
"(0, 0, 1, 2, 0, 3, 0, 1, 1, 3, 2, 0, 3, 3, 3, 3)",2278.949888
"(2, 3, 1, 2, 1, 3, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1757.676544
"(0, 0, 1, 2, 1, 0, 3, 1, 1, 3, 2, 3, 0, 3, 3, 3)",2273.969152
"(2, 1, 1, 2, 0, 3, 1, 1, 1, 3, 3, 0, 3, 3, 3, 3)",1989.542912
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 3, 2, 0, 0, 3, 3, 3)",2498.757632
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 3, 0, 1, 0, 1, 3, 3)",2611.217408
"(0, 0, 0, 2, 0, 0, 0, 1, 1, 3, 2, 2, 0, 1, 3, 3)",2640.446464
"(2, 1, 2, 2, 0, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1719.927808
"(0, 1, 2, 2, 1, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1843.135488
"(0, 3, 2, 2, 1, 1, 0, 1, 3, 3, 2, 2, 3, 3, 3, 3)",2019.296256
"(0, 0, 1, 2, 0, 0, 0, 1, 2, 3, 3, 2, 3, 3, 3, 3)",2293.367808
"(0, 1, 1, 2, 0, 3, 0, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2139.48928
"(0, 0, 0, 2, 0, 1, 0, 1, 1, 3, 2, 0, 0, 1, 3, 3)",2609.906688
"(0, 0, 1, 2, 1, 3, 0, 1, 3, 3, 3, 3, 3, 3, 3, 3)",2021.917696
"(0, 0, 1, 2, 0, 1, 3, 1, 1, 2, 2, 1, 0, 1, 3, 3)",2538.472448
"(0, 1, 1, 2, 1, 3, 3, 1, 3, 3, 2, 3, 3, 3, 3, 3)",1914.962944
"(2, 0, 1, 2, 1, 3, 3, 1, 2, 3, 3, 3, 3, 3, 3, 3)",1887.044608
"(0, 0, 1, 2, 1, 3, 1, 1, 1, 2, 2, 1, 0, 1, 3, 3)",2481.849344
"(0, 0, 1, 2, 1, 0, 0, 1, 2, 3, 2, 2, 3, 3, 3, 3)",2318.533632
"(0, 0, 1, 2, 1, 0, 3, 1, 1, 3, 2, 2, 0, 3, 3, 3)",2340.553728
"(0, 1, 1, 2, 1, 0, 3, 1, 1, 3, 2, 1, 3, 3, 3, 3)",2183.529472
"(2, 0, 1, 2, 0, 0, 3, 1, 1, 3, 2, 1, 0, 3, 3, 3)",2308.965376
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 2, 0, 2, 0, 1, 3, 3)",2647.917568
"(0, 0, 1, 2, 0, 1, 3, 1, 1, 3, 2, 2, 0, 1, 3, 3)",2451.702784
"(0, 1, 1, 2, 0, 0, 1, 1, 1, 2, 2, 0, 3, 1, 3, 3)",2451.833856
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 2, 3, 1, 0, 1, 3, 3)",2626.552832
"(0, 0, 1, 2, 0, 3, 3, 1, 3, 3, 3, 3, 3, 1, 3, 3)",2095.318016
"(0, 1, 1, 2, 1, 3, 3, 1, 1, 3, 3, 2, 3, 3, 3, 3)",1982.333952
"(0, 0, 1, 2, 0, 3, 0, 1, 1, 2, 2, 0, 0, 3, 3, 3)",2447.246336
"(0, 0, 0, 2, 1, 3, 3, 1, 1, 3, 2, 3, 0, 3, 3, 3)",2198.47168
"(0, 1, 1, 2, 1, 3, 3, 1, 3, 3, 3, 1, 3, 3, 3, 3)",1943.667712
"(0, 0, 1, 2, 0, 3, 1, 1, 1, 3, 3, 1, 0, 3, 3, 3)",2264.925184
"(0, 0, 1, 2, 0, 1, 0, 1, 2, 3, 2, 3, 3, 3, 3, 3)",2233.074688
"(0, 1, 1, 2, 0, 3, 1, 1, 1, 3, 3, 2, 3, 3, 3, 3)",2057.831424
"(0, 0, 1, 2, 0, 1, 3, 1, 1, 3, 2, 1, 0, 1, 3, 3)",2476.737536
"(0, 1, 1, 2, 1, 3, 0, 1, 2, 3, 3, 0, 3, 3, 3, 3)",2092.95872
"(0, 3, 1, 2, 0, 3, 3, 1, 3, 3, 3, 1, 3, 3, 3, 3)",1943.667712
"(2, 0, 1, 2, 0, 0, 3, 1, 1, 3, 2, 3, 0, 1, 3, 3)",2347.369472
"(0, 1, 1, 2, 1, 3, 3, 1, 1, 3, 3, 3, 3, 3, 3, 3)",1915.749376
"(2, 1, 2, 2, 1, 3, 3, 1, 3, 3, 2, 3, 3, 3, 3, 3)",1745.093632
"(0, 3, 2, 2, 0, 3, 3, 1, 3, 3, 3, 0, 3, 3, 3, 3)",1869.218816
"(0, 0, 1, 2, 0, 1, 0, 1, 1, 3, 2, 2, 3, 3, 3, 3)",2309.489664
"(0, 1, 2, 2, 1, 3, 0, 1, 3, 3, 3, 1, 3, 1, 3, 3)",2092.565504
"(0, 0, 2, 2, 0, 0, 1, 1, 3, 2, 3, 3, 3, 3, 3, 3)",2102.526976
"(0, 0, 1, 2, 1, 3, 0, 1, 1, 3, 2, 3, 0, 3, 3, 3)",2255.094784
"(2, 3, 1, 2, 0, 3, 1, 1, 1, 3, 3, 0, 3, 3, 3, 3)",1951.794176
"(0, 0, 1, 2, 1, 3, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3)",2028.995584
"(2, 0, 1, 2, 1, 0, 3, 1, 3, 2, 2, 3, 3, 3, 3, 3)",2071.069696
"(0, 3, 1, 2, 1, 3, 0, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1975.256064
"(0, 0, 1, 2, 0, 1, 0, 1, 1, 3, 3, 3, 3, 3, 3, 3)",2179.990528
"(2, 1, 1, 2, 0, 3, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3)",1896.875008
"(0, 0, 1, 2, 1, 0, 0, 1, 3, 3, 2, 1, 3, 3, 3, 3)",2289.697792
"(2, 0, 1, 2, 0, 0, 3, 1, 1, 2, 2, 3, 0, 3, 3, 3)",2279.08096
"(2, 3, 1, 2, 0, 3, 3, 1, 1, 3, 2, 1, 0, 1, 3, 3)",2212.496384
"(0, 0, 1, 2, 0, 1, 3, 1, 2, 3, 2, 3, 3, 3, 3, 3)",2138.702848
"(0, 1, 1, 2, 0, 3, 3, 1, 3, 3, 2, 2, 3, 3, 3, 3)",2019.296256
"(0, 3, 1, 2, 1, 3, 0, 1, 1, 3, 3, 0, 0, 3, 3, 3)",2171.60192
"(0, 0, 1, 2, 0, 3, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3)",2066.74432
"(0, 2, 1, 2, 1, 3, 3, 1, 3, 3, 2, 3, 0, 3, 3, 3)",2002.650112
"(0, 0, 1, 2, 0, 0, 0, 1, 0, 3, 2, 1, 3, 3, 3, 3)",2391.278592
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 3, 2, 3, 0, 1, 3, 3)",2536.113152
"(2, 0, 1, 2, 1, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1899.758592
"(2, 0, 2, 2, 0, 3, 3, 1, 3, 3, 2, 1, 3, 1, 3, 3)",2079.982592
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 3, 0, 2, 3, 1, 3, 3)",2479.62112
"(0, 1, 1, 2, 1, 3, 0, 1, 3, 3, 3, 2, 3, 3, 3, 3)",2013.0048
"(2, 1, 1, 2, 0, 3, 3, 1, 1, 3, 3, 3, 3, 3, 3, 3)",1859.126272
"(0, 0, 1, 2, 0, 1, 1, 1, 1, 2, 2, 1, 3, 3, 3, 3)",2339.636224
"(0, 1, 1, 2, 0, 3, 3, 1, 2, 3, 3, 2, 3, 3, 3, 3)",2010.252288
"(0, 0, 1, 2, 0, 1, 0, 1, 3, 3, 2, 3, 3, 3, 3, 3)",2179.204096
"(0, 3, 1, 2, 1, 0, 3, 1, 1, 3, 3, 3, 0, 3, 3, 3)",2097.808384
"(0, 3, 1, 2, 1, 3, 3, 1, 3, 3, 3, 3, 0, 3, 3, 3)",1920.861184
"(0, 1, 1, 2, 0, 3, 0, 1, 1, 3, 3, 0, 3, 3, 3, 3)",2140.537856
"(0, 0, 1, 2, 1, 1, 0, 1, 2, 3, 3, 2, 3, 3, 3, 3)",2198.995968
"(0, 0, 1, 2, 1, 0, 0, 1, 1, 3, 0, 0, 0, 1, 3, 3)",2612.265984
"(0, 1, 1, 2, 1, 3, 3, 1, 3, 3, 3, 1, 0, 3, 3, 3)",2050.229248
"(2, 3, 1, 2, 0, 3, 3, 1, 3, 2, 2, 3, 3, 1, 3, 3)",2012.34944
"(0, 3, 1, 2, 1, 3, 0, 1, 3, 3, 2, 1, 3, 3, 3, 3)",2063.205376
"(0, 0, 1, 2, 0, 0, 1, 1, 1, 3, 2, 1, 0, 1, 3, 3)",2571.109376
"(0, 3, 1, 2, 0, 3, 3, 1, 1, 3, 2, 1, 0, 3, 3, 3)",2176.8448
"(0, 0, 1, 2, 1, 3, 0, 1, 1, 3, 3, 2, 3, 1, 3, 3)",2282.226688
"(0, 1, 1, 2, 1, 3, 3, 1, 3, 3, 2, 2, 3, 3, 3, 3)",1981.54752
"(2, 0, 1, 2, 0, 3, 3, 1, 3, 3, 2, 3, 3, 3, 3, 3)",1933.837312
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 2, 2, 3, 3, 1, 3, 3)",2491.286528
"(0, 0, 2, 2, 0, 0, 1, 1, 1, 3, 3, 1, 0, 3, 3, 3)",2302.67392
"(0, 0, 1, 2, 0, 0, 3, 1, 1, 3, 3, 2, 0, 1, 3, 3)",2445.411328
"(0, 0, 1, 2, 0, 1, 0, 1, 1, 2, 2, 3, 3, 3, 3, 3)",2304.64
"(0, 1, 1, 2, 1, 3, 1, 1, 1, 3, 3, 0, 3, 3, 3, 3)",2046.166016
"(0, 0, 1, 2, 1, 0, 3, 1, 3, 3, 3, 3, 3, 1, 3, 3)",2170.815488
"(0, 1, 1, 2, 1, 0, 0, 1, 3, 3, 0, 2, 0, 3, 3, 3)",2316.960768
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 3, 2, 2, 3, 3, 3, 3)",2366.112768
"(0, 0, 1, 2, 1, 3, 3, 1, 2, 3, 3, 3, 3, 3, 3, 3)",1981.416448
"(0, 0, 1, 2, 0, 0, 0, 1, 0, 2, 2, 1, 3, 1, 3, 3)",2583.036928
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 2, 3, 2, 3, 3, 3, 3)",2364.93312
"(2, 0, 1, 2, 1, 3, 0, 1, 1, 3, 2, 0, 0, 3, 3, 3)",2253.390848
"(0, 3, 1, 2, 1, 3, 0, 1, 3, 3, 3, 0, 3, 3, 3, 3)",2001.339392
"(0, 3, 1, 2, 1, 1, 0, 1, 3, 3, 2, 2, 3, 3, 3, 3)",2094.793728
"(0, 0, 1, 2, 0, 0, 1, 1, 1, 3, 2, 1, 0, 3, 3, 3)",2441.085952
"(0, 0, 1, 2, 0, 3, 1, 1, 1, 3, 2, 1, 0, 1, 3, 3)",2457.863168
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 3, 2, 1, 0, 3, 3, 3)",2497.709056
"(0, 3, 1, 2, 1, 0, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1965.294592
"(2, 1, 1, 2, 0, 1, 0, 1, 3, 3, 3, 2, 3, 3, 3, 3)",2013.0048
"(0, 3, 1, 2, 1, 3, 3, 1, 1, 3, 3, 2, 3, 3, 3, 3)",1944.585216
"(0, 0, 1, 2, 0, 3, 3, 1, 1, 3, 2, 3, 3, 3, 3, 3)",2091.910144
"(0, 0, 1, 2, 0, 3, 0, 1, 1, 3, 3, 3, 3, 3, 3, 3)",2123.367424
"(0, 1, 1, 2, 1, 0, 3, 1, 3, 3, 2, 3, 3, 3, 3, 3)",2028.209152
"(0, 3, 1, 2, 1, 1, 3, 1, 1, 3, 2, 3, 3, 3, 3, 3)",1997.538304
"(0, 0, 1, 2, 1, 3, 0, 1, 1, 3, 2, 0, 0, 3, 3, 3)",2347.762688
"(2, 3, 1, 2, 1, 3, 0, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1880.884224
"(0, 0, 1, 2, 1, 1, 0, 1, 1, 3, 2, 2, 3, 3, 3, 3)",2271.740928
"(2, 1, 2, 2, 1, 3, 0, 1, 2, 3, 2, 3, 3, 3, 3, 3)",1893.336064
"(0, 0, 2, 2, 0, 3, 0, 1, 3, 3, 0, 3, 0, 1, 3, 3)",2304.902144
"(2, 1, 1, 2, 1, 3, 3, 1, 1, 2, 3, 3, 3, 3, 3, 3)",1883.112448
"(0, 0, 1, 2, 0, 3, 0, 1, 2, 3, 3, 3, 3, 3, 3, 3)",2113.537024
"(0, 0, 1, 2, 0, 1, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",2021.917696
"(2, 3, 1, 2, 1, 0, 3, 1, 1, 3, 3, 2, 3, 3, 3, 3)",1963.459584
"(0, 3, 1, 2, 1, 3, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",1880.884224
"(2, 0, 1, 2, 0, 0, 3, 1, 1, 3, 2, 1, 0, 1, 3, 3)",2438.9888
"(0, 0, 1, 2, 0, 1, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3)",2123.367424
"(0, 0, 1, 2, 1, 3, 0, 1, 2, 3, 0, 2, 0, 1, 3, 3)",2463.106048
"(0, 1, 2, 2, 0, 3, 3, 1, 3, 3, 3, 0, 3, 3, 3, 3)",1906.967552
"(0, 1, 1, 2, 0, 1, 0, 1, 1, 2, 3, 2, 3, 3, 3, 3)",2232.812544
"(0, 0, 1, 2, 0, 0, 0, 1, 1, 3, 2, 1, 3, 1, 3, 3)",2521.170944
"(0, 0, 1, 2, 0, 1, 0, 1, 1, 3, 3, 1, 3, 3, 3, 3)",2271.609856
"(0, 1, 1, 2, 0, 3, 3, 1, 1, 3, 3, 2, 3, 3, 3, 3)",2020.082688
"(2, 3, 1, 2, 1, 3, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3)",1821.377536
"(0, 0, 1, 2, 1, 3, 3, 1, 2, 3, 2, 3, 3, 3, 3, 3)",2044.331008
"(0, 0, 1, 2, 0, 0, 1, 1, 1, 2, 2, 2, 0, 3, 3, 3)",2477.786112
"(0, 1, 1, 2, 1, 3, 1, 1, 3, 3, 3, 0, 3, 3, 3, 3)",1982.465024
"(2, 0, 1, 2, 1, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1833.174016
"(0, 0, 1, 2, 0, 3, 0, 1, 1, 3, 2, 0, 0, 3, 3, 3)",2385.511424
"(0, 0, 1, 2, 0, 3, 3, 1, 1, 3, 3, 3, 0, 3, 3, 3)",2135.55712
"(2, 0, 1, 2, 0, 0, 1, 1, 3, 2, 3, 1, 0, 1, 3, 3)",2411.856896
"(0, 3, 1, 2, 1, 0, 3, 1, 3, 3, 2, 1, 3, 1, 3, 3)",2212.103168
"(0, 1, 1, 2, 0, 3, 3, 1, 1, 3, 2, 2, 3, 3, 3, 3)",2082.997248
"(0, 3, 1, 2, 1, 3, 3, 1, 1, 3, 2, 3, 3, 3, 3, 3)",1940.9152
"(0, 0, 1, 2, 1, 3, 0, 1, 1, 3, 3, 0, 0, 3, 3, 3)",2284.848128
"(2, 0, 1, 2, 0, 3, 3, 1, 1, 3, 3, 3, 3, 3, 3, 3)",1934.623744
"(2, 1, 2, 2, 1, 3, 3, 1, 1, 3, 3, 0, 3, 3, 3, 3)",1838.547968
"(0, 0, 1, 2, 1, 0, 0, 1, 3, 3, 2, 3, 0, 3, 3, 3)",2304.64