"(0, 0, 0, 0, 0, 0, 2, 1, 2, 1, 0, 3, 1, 0, 2, 3)",2696.807424
"(0, 0, 0, 0, 1, 1, 3, 1, 2, 2, 1, 3, 3, 3, 3, 0)",2396.128256
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 2, 3, 0, 2, 3)",2413.167616
"(0, 0, 0, 0, 0, 1, 1, 1, 2, 2, 1, 0, 2, 3, 0, 0)",2841.641984
"(0, 0, 0, 0, 1, 1, 1, 1, 3, 2, 1, 2, 2, 0, 3, 3)",2481.980416
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 3, 3, 2, 0, 3, 3)",2243.560448
"(0, 0, 0, 0, 1, 1, 1, 1, 2, 1, 1, 2, 0, 0, 1, 1)",2889.614336
"(0, 0, 0, 0, 1, 1, 1, 1, 2, 0, 0, 2, 3, 0, 1, 2)",2759.590912
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 0, 0, 1, 3, 1, 1, 1)",2729.837568
"(0, 0, 0, 0, 1, 1, 2, 1, 0, 0, 0, 1, 1, 3, 2, 0)",2914.649088
"(0, 0, 0, 0, 1, 0, 3, 0, 1, 3, 3, 3, 2, 3, 1, 0)",2512.651264
"(0, 0, 0, 0, 0, 1, 3, 1, 2, 3, 3, 3, 3, 0, 1, 3)",2333.737984
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 0, 1, 0, 1, 3, 1, 0)",2846.098432
"(0, 0, 0, 0, 1, 1, 2, 0, 2, 2, 2, 3, 3, 2, 2, 3)",2363.098112
"(0, 0, 0, 0, 0, 1, 3, 0, 1, 2, 1, 0, 3, 2, 0, 0)",2862.220288
"(0, 0, 0, 0, 0, 0, 0, 1, 2, 0, 3, 0, 1, 1, 3, 0)",2847.409152
"(0, 0, 0, 0, 0, 1, 2, 0, 1, 0, 1, 2, 1, 1, 1, 1)",2932.999168
"(0, 0, 0, 0, 0, 0, 3, 0, 0, 3, 3, 2, 1, 1, 0, 0)",2835.088384
"(0, 0, 0, 0, 0, 0, 1, 0, 2, 0, 0, 3, 0, 2, 3, 2)",2724.72576
"(0, 0, 0, 0, 1, 1, 0, 0, 2, 1, 0, 1, 2, 1, 1, 2)",2851.734528
"(0, 0, 0, 0, 0, 1, 1, 1, 3, 2, 3, 1, 2, 1, 1, 2)",2565.604352
"(0, 0, 0, 0, 1, 0, 2, 1, 0, 0, 1, 0, 0, 0, 2, 0)",3117.024256
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 0, 2, 3, 1, 1, 0, 0)",2870.21568
"(0, 0, 0, 0, 0, 0, 3, 0, 2, 3, 0, 0, 1, 2, 2, 2)",2698.773504
"(0, 0, 0, 0, 0, 1, 0, 1, 3, 1, 2, 2, 0, 1, 3, 0)",2745.172992
"(0, 0, 0, 0, 1, 0, 2, 0, 0, 3, 3, 3, 3, 1, 0, 2)",2552.36608
"(0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 3, 3, 0, 0, 2, 3)",2725.118976
"(0, 0, 0, 0, 1, 0, 3, 1, 2, 2, 2, 1, 0, 0, 0, 2)",2798.257152
"(0, 0, 0, 0, 1, 0, 3, 1, 0, 1, 3, 3, 3, 1, 2, 3)",2426.143744
"(0, 0, 0, 0, 0, 0, 0, 1, 2, 1, 1, 1, 2, 1, 0, 3)",2810.971136
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 1, 1, 3, 1, 2, 0, 0)",2755.134464
"(0, 0, 0, 0, 0, 1, 0, 0, 2, 3, 1, 2, 2, 3, 3, 1)",2516.059136
"(0, 0, 0, 0, 1, 0, 0, 0, 2, 0, 3, 0, 1, 3, 3, 1)",2681.996288
"(0, 0, 0, 0, 0, 0, 0, 1, 3, 0, 2, 1, 2, 1, 3, 1)",2683.831296
"(0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 0)",3149.005824
"(0, 0, 0, 0, 1, 1, 2, 1, 0, 1, 0, 3, 2, 3, 0, 0)",2830.107648
"(0, 0, 0, 0, 0, 1, 3, 1, 0, 1, 1, 3, 0, 3, 3, 3)",2512.651264
"(0, 0, 0, 0, 1, 0, 0, 1, 1, 2, 0, 3, 1, 2, 1, 3)",2682.520576
"(0, 0, 0, 0, 1, 1, 3, 0, 2, 1, 3, 1, 1, 2, 3, 1)",2569.143296
"(0, 0, 0, 0, 0, 0, 2, 1, 0, 0, 2, 1, 1, 1, 2, 3)",2792.8832
"(0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, 1, 2, 1, 3, 1)",2778.727424
"(0, 0, 0, 0, 1, 0, 1, 0, 3, 2, 0, 2, 0, 0, 3, 0)",2846.753792
"(0, 0, 0, 0, 1, 0, 2, 0, 3, 3, 3, 3, 3, 0, 0, 2)",2448.557056
"(0, 0, 0, 0, 0, 1, 3, 1, 0, 0, 2, 1, 1, 1, 3, 3)",2675.57376
"(0, 0, 0, 0, 1, 1, 3, 0, 2, 1, 3, 1, 1, 2, 1, 1)",2684.355584
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 1, 3, 3, 2, 0, 3, 1)",2467.82464
"(0, 0, 0, 0, 1, 0, 0, 1, 2, 0, 0, 2, 3, 0, 1, 0)",2929.591296
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 0, 1, 0, 1, 3, 1, 0)",2883.847168
"(0, 0, 0, 0, 1, 1, 2, 1, 0, 0, 0, 1, 1, 1, 2, 0)",3023.832064
"(0, 0, 0, 0, 0, 1, 0, 1, 2, 3, 3, 2, 3, 0, 1, 3)",2465.596416
"(0, 0, 0, 0, 0, 0, 0, 0, 2, 0, 3, 0, 1, 1, 3, 0)",2885.157888
"(0, 0, 0, 0, 1, 0, 3, 0, 0, 3, 3, 1, 3, 1, 1, 1)",2625.373184
"(0, 0, 0, 0, 0, 0, 0, 0, 2, 1, 1, 1, 2, 1, 3, 3)",2685.010944
"(0, 0, 0, 0, 0, 1, 3, 0, 1, 2, 1, 0, 3, 0, 1, 2)",2770.207744
"(0, 0, 0, 0, 1, 0, 0, 0, 2, 2, 2, 3, 3, 2, 2, 3)",2419.721216
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 0, 2, 2, 1, 1, 0, 1)",2870.346752
"(0, 0, 0, 0, 0, 1, 0, 1, 3, 3, 1, 2, 2, 3, 3, 1)",2421.163008
"(0, 0, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 2, 3, 0, 3)",2784.232448
"(0, 0, 0, 0, 1, 0, 0, 1, 0, 3, 2, 2, 3, 1, 2, 3)",2516.97664
"(0, 0, 0, 0, 0, 0, 2, 1, 0, 1, 1, 3, 0, 3, 2, 3)",2629.960704
"(0, 0, 0, 0, 0, 1, 3, 1, 2, 3, 3, 3, 3, 0, 3, 3)",2218.525696
"(0, 0, 0, 0, 1, 1, 0, 0, 2, 2, 3, 0, 1, 3, 3, 3)",2478.703616
"(0, 0, 0, 0, 0, 1, 1, 1, 2, 0, 3, 0, 1, 1, 3, 2)",2677.408768
"(0, 0, 0, 0, 1, 1, 2, 1, 2, 2, 2, 3, 3, 2, 2, 3)",2325.349376
"(0, 0, 0, 0, 0, 0, 2, 1, 0, 0, 2, 1, 1, 3, 2, 3)",2683.700224
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 2, 3, 3, 0, 2, 3)",2281.309184
"(0, 0, 0, 0, 1, 1, 3, 1, 2, 1, 3, 1, 1, 2, 3, 1)",2531.39456
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 0, 0, 3, 3, 1, 0, 2)",2656.830464
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 2, 0, 0, 3)",2369.52064
"(0, 0, 0, 0, 1, 1, 1, 1, 2, 0, 0, 2, 3, 2, 0, 0)",2851.603456
"(0, 0, 0, 0, 1, 1, 2, 1, 1, 2, 0, 3, 1, 2, 1, 3)",2625.897472
"(0, 0, 0, 0, 1, 1, 0, 0, 2, 3, 1, 3, 2, 3, 3, 0)",2515.928064
"(0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 3, 0, 1, 1, 3, 0)",2931.81952
"(0, 0, 0, 0, 1, 0, 3, 0, 0, 3, 3, 3, 2, 0, 0, 2)",2615.673856
"(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 3, 2, 0)",3009.020928
"(0, 0, 0, 0, 0, 1, 0, 0, 2, 0, 2, 3, 1, 1, 0, 0)",2946.23744
"(0, 0, 0, 0, 0, 0, 2, 1, 2, 0, 2, 1, 1, 1, 2, 3)",2708.472832
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 3, 3, 3, 1, 3, 3)",2180.252672
"(0, 0, 0, 0, 1, 1, 2, 1, 2, 3, 1, 2, 2, 3, 3, 1)",2421.687296
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 3, 0, 1, 3)",2257.716224
"(0, 0, 0, 0, 1, 0, 3, 0, 1, 1, 3, 3, 2, 0, 1, 0)",2759.853056
"(0, 0, 0, 0, 0, 1, 3, 1, 2, 3, 3, 3, 2, 0, 0, 3)",2445.5424
"(0, 0, 0, 0, 0, 0, 2, 1, 0, 3, 2, 1, 1, 1, 2, 3)",2656.830464
"(0, 0, 0, 0, 0, 1, 0, 1, 3, 1, 3, 1, 2, 1, 3, 1)",2569.929728
"(0, 0, 0, 0, 0, 0, 3, 1, 0, 3, 3, 3, 3, 0, 3, 3)",2321.810432
"(0, 0, 0, 0, 1, 1, 2, 1, 2, 2, 2, 0, 3, 2, 2, 3)",2468.348928
"(0, 0, 0, 0, 0, 1, 0, 1, 2, 2, 1, 2, 2, 3, 3, 1)",2535.064576
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 0, 2, 1, 2, 1, 3, 3)",2559.837184
"(0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 2, 0, 1, 1, 3, 0)",2991.064064
"(0, 0, 0, 0, 1, 1, 3, 1, 2, 1, 2, 1, 1, 1, 3, 1)",2641.626112
"(0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 3, 0, 1, 0, 1, 0)",3084.780544
"(0, 0, 0, 0, 1, 1, 1, 1, 2, 2, 1, 2, 2, 0, 2, 3)",2599.814144
"(0, 0, 0, 0, 1, 0, 2, 1, 2, 2, 2, 3, 3, 2, 2, 3)",2344.223744
"(0, 0, 0, 0, 1, 1, 3, 1, 2, 1, 1, 1, 1, 2, 3, 0)",2712.92928
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 0, 2, 3, 1, 1, 0, 0)",2889.090048
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 3, 3, 2, 3, 3, 1)",2220.622848
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 0, 2, 2, 3, 0, 2, 3)",2549.220352
"(0, 0, 0, 0, 1, 0, 3, 1, 2, 0, 2, 1, 1, 2, 3, 1)",2645.296128
"(0, 0, 0, 0, 0, 1, 2, 1, 2, 0, 2, 1, 1, 3, 2, 3)",2580.415488
"(0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 3, 3, 1, 1, 3, 0)",2788.819968
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 1, 3, 3, 3, 3, 0)",2282.226688
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 3, 3, 3, 1, 3, 1)",2304.246784
"(0, 0, 0, 0, 0, 0, 2, 1, 2, 0, 3, 1, 1, 1, 2, 3)",2649.228288
"(0, 0, 0, 0, 0, 0, 2, 0, 2, 0, 3, 1, 1, 2, 2, 3)",2635.990016
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 3, 1, 3, 3)",2104.7552
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 2, 2, 3, 3, 2, 3, 3)",2245.264384
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 2, 2, 3, 0, 2, 3)",2394.293248
"(0, 0, 0, 0, 1, 1, 3, 1, 2, 2, 3, 3, 3, 3, 3, 1)",2214.593536
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 3, 3, 3, 0, 0, 2)",2429.682688
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 0, 3, 3, 2, 0, 0, 3)",2581.070848
"(0, 0, 0, 0, 0, 1, 1, 1, 2, 0, 2, 1, 2, 1, 1, 2)",2761.294848
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 3, 0, 1, 3)",2276.590592
"(0, 0, 0, 0, 0, 0, 3, 1, 0, 3, 3, 0, 1, 1, 3, 0)",2720.269312
"(0, 0, 0, 0, 0, 0, 2, 1, 3, 2, 3, 1, 1, 1, 2, 3)",2512.782336
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 3, 3, 0, 2, 3)",2262.434816
"(0, 0, 0, 0, 0, 1, 0, 1, 2, 3, 3, 0, 1, 0, 1, 0)",2845.443072
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 3, 3, 3, 3, 1, 2, 3)",2297.562112
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 0, 3, 3, 3, 1, 3, 3)",2259.682304
"(0, 0, 0, 0, 1, 1, 2, 0, 2, 2, 2, 3, 3, 2, 3, 3)",2302.411776
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 0, 0, 1, 2, 3, 2, 0)",2723.41504
"(0, 0, 0, 0, 1, 1, 3, 0, 2, 3, 2, 3, 3, 0, 3, 3)",2296.644608
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 0, 3, 1, 3, 1, 3, 0)",2542.011392
"(0, 0, 0, 0, 0, 1, 2, 0, 2, 3, 3, 3, 3, 0, 1, 3)",2409.235456
"(0, 0, 0, 0, 0, 0, 2, 1, 0, 2, 2, 0, 1, 1, 3, 0)",2874.016768
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 1, 3, 2, 3, 3, 1)",2289.304576
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 3, 0, 2, 3)",2356.806656
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 1, 3, 2, 0, 3, 0)",2492.466176
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 2, 2, 3, 3, 1, 2, 3)",2338.06336
"(0, 0, 0, 0, 0, 1, 2, 0, 0, 3, 3, 0, 3, 1, 3, 0)",2663.908352
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 3, 0, 3, 1)",2401.240064
"(0, 0, 0, 0, 0, 0, 0, 1, 3, 0, 2, 1, 1, 1, 3, 1)",2733.507584
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 3, 3, 3, 0, 3, 3)",2180.252672
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 3, 3, 2, 1, 3, 1)",2465.85856
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 3, 3, 3, 0, 1, 3)",2314.339328
"(0, 0, 0, 0, 0, 1, 2, 1, 2, 3, 3, 3, 1, 3, 1, 3)",2337.539072
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 2, 3, 3, 2, 2, 2, 3)",2366.637056
"(0, 0, 0, 0, 1, 1, 2, 1, 0, 0, 0, 3, 1, 3, 2, 3)",2632.32
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 3, 3, 3, 2, 3, 3)",2091.516928
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 2, 3, 1, 3, 3)",2236.613632
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 2, 3, 0, 2, 3)",2318.795776
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 3, 3, 0, 3)",2159.281152
"(0, 0, 0, 0, 0, 1, 2, 0, 2, 0, 2, 1, 2, 2, 3, 3)",2565.997568
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 1, 1, 3, 3)",2236.613632
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 3, 2, 3, 1, 2, 3)",2316.174336
"(0, 0, 0, 0, 0, 0, 2, 1, 0, 0, 2, 1, 2, 3, 2, 3)",2634.023936
"(0, 0, 0, 0, 1, 1, 3, 1, 2, 2, 3, 3, 2, 3, 3, 1)",2277.901312
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",2014.446592
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 3, 3, 3, 1, 2, 3)",2259.813376
"(0, 0, 0, 0, 1, 1, 3, 1, 0, 0, 0, 1, 3, 0, 2, 0)",2910.848
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 2, 2, 3, 3, 2, 1, 3)",2360.476672
"(0, 0, 0, 0, 1, 1, 2, 1, 2, 2, 3, 3, 3, 2, 2, 3)",2266.104832
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 3, 3, 3, 1, 3, 3)",2199.12704
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 3, 0, 3, 3)",2142.503936
"(0, 0, 0, 0, 1, 1, 3, 1, 2, 1, 2, 1, 1, 2, 3, 1)",2590.639104
"(0, 0, 0, 0, 0, 1, 3, 1, 0, 0, 3, 0, 1, 0, 1, 0)",2990.408704
"(0, 0, 0, 0, 1, 1, 3, 1, 0, 3, 1, 3, 1, 1, 3, 0)",2645.951488
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 2, 3, 3, 2, 3, 3)",2188.510208
"(0, 0, 0, 0, 0, 0, 3, 1, 3, 3, 3, 0, 3, 3, 3, 0)",2356.544512
"(0, 0, 0, 0, 1, 1, 3, 1, 2, 2, 3, 3, 2, 0, 0, 3)",2483.422208
"(0, 0, 0, 0, 1, 1, 3, 1, 2, 3, 3, 3, 2, 0, 1, 3)",2378.171392
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 0, 2, 3, 1, 1, 3, 0)",2706.506752
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 3, 3, 3, 0, 2, 3)",2259.813376
"(0, 0, 0, 0, 0, 0, 0, 1, 0, 3, 2, 0, 1, 1, 2, 0)",2915.697664
"(0, 0, 0, 0, 0, 1, 3, 1, 2, 3, 2, 3, 3, 2, 3, 3)",2189.034496
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 3, 3, 1, 0, 3)",2343.9616
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 2, 3, 3, 0, 3, 3)",2239.497216
"(0, 0, 0, 0, 0, 0, 3, 1, 0, 0, 3, 0, 3, 0, 2, 0)",2841.773056
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 2, 3, 3, 1, 1, 3, 3)",2293.367808
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 2, 3, 3, 0, 2, 3)",2337.932288
"(0, 0, 0, 0, 0, 1, 2, 0, 0, 3, 3, 0, 3, 1, 3, 1)",2588.804096
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 3, 0, 0, 1)",2564.948992
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 3, 3, 3, 3, 1, 3, 3)",2218.001408
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 3, 0, 3, 3)",2161.378304
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 3, 3, 3, 0, 3, 3)",2218.001408
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 3, 3, 2, 3)",2075.132928
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 2, 3, 3, 3, 2, 3, 3)",2186.01984
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 3, 1, 1, 1, 3)",2408.449024
"(0, 0, 0, 0, 1, 1, 3, 1, 2, 3, 3, 3, 3, 3, 3, 1)",2157.83936
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 3, 3, 3, 1, 3, 2)",2228.225024
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 0, 3, 3, 3, 0, 3, 3)",2297.43104
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",1995.572224
"(0, 0, 0, 0, 0, 0, 3, 1, 3, 0, 3, 3, 1, 1, 3, 0)",2571.764736
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 3, 3, 3, 3, 3, 1)",2157.315072
"(0, 0, 0, 0, 1, 0, 3, 1, 2, 2, 3, 3, 1, 0, 3, 1)",2493.38368
"(0, 0, 0, 0, 1, 1, 3, 1, 0, 0, 3, 0, 3, 0, 1, 3)",2678.326272
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 2, 3, 0, 3)",2222.588928
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 2, 1, 2, 3)",2247.62368
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 3, 3, 3, 1, 2, 3)",2222.06464
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 3, 3, 2, 3, 1, 3, 3)",2274.362368
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 3, 3, 0, 0, 3)",2381.710336
"(0, 0, 0, 0, 1, 1, 0, 1, 2, 2, 3, 3, 3, 3, 3, 1)",2290.091008
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 3, 2, 3, 3)",2053.768192
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 3, 1, 3, 1)",2228.749312
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 0, 1, 3, 1, 1, 0, 0)",2917.4016
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 3, 2, 2, 3, 0, 2, 3)",2432.041984
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 2, 3, 3, 1, 3, 3)",2239.497216
"(0, 0, 0, 0, 0, 0, 3, 1, 0, 3, 3, 0, 1, 0, 3, 0)",2758.018048
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 3, 3, 3, 0, 3, 3)",2236.875776
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 3, 1, 2, 3)",2319.05792
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 3, 3, 3, 1, 3, 3)",2142.503936
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 3, 3, 3, 3, 3, 3, 3)",2108.818432
"(0, 0, 0, 0, 1, 1, 3, 1, 2, 3, 3, 3, 3, 2, 3, 1)",2216.035328
"(0, 0, 0, 0, 1, 1, 2, 1, 1, 0, 3, 0, 3, 1, 3, 3)",2523.268096
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 2, 3, 3, 2, 2, 3)",2249.196544
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 2, 3, 3, 3, 0, 0, 3)",2495.087616
"(0, 0, 0, 0, 0, 1, 3, 0, 2, 3, 2, 3, 3, 2, 3, 3)",2226.783232
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 0, 2, 2, 3, 1, 0, 0)",2832.466944
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",2014.446592
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 3, 2, 3, 3, 1, 3, 3)",2296.12032
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 3, 3, 3, 0, 3, 3)",2199.12704
"(0, 0, 0, 0, 0, 1, 3, 0, 2, 3, 2, 3, 1, 0, 1, 0)",2723.939328
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 3, 2, 3, 1)",2255.881216
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 1, 0, 2, 3)",2469.79072
"(0, 0, 0, 0, 1, 0, 3, 1, 0, 3, 3, 0, 1, 1, 3, 0)",2701.394944
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 3, 1, 2, 3)",2262.434816
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 3, 3, 3, 1, 2, 3)",2203.190272
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 3, 3, 3, 1)",2119.566336
"(0, 0, 0, 0, 1, 0, 2, 0, 3, 3, 2, 3, 3, 1, 3, 3)",2258.371584
"(0, 0, 0, 0, 0, 1, 2, 1, 0, 3, 3, 0, 3, 1, 3, 0)",2626.159616
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 0, 2, 3, 1, 1, 3, 0)",2725.38112
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 3, 1, 3, 3)",2201.74848
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 2, 3, 3, 0, 3, 3)",2220.622848
"(0, 0, 0, 0, 1, 0, 3, 0, 0, 0, 3, 3, 1, 0, 3, 0)",2769.9456
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 3, 2, 3, 1)",2158.887936
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 3, 2, 3, 3, 0, 0, 1)",2602.697728
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 3, 3, 0, 3)",2178.15552
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 3, 2, 2, 3, 0, 2, 3)",2450.916352
"(0, 0, 0, 0, 1, 0, 3, 1, 2, 3, 3, 3, 3, 2, 3, 3)",2129.789952
"(0, 0, 0, 0, 0, 1, 0, 1, 3, 3, 3, 0, 3, 1, 3, 3)",2342.126592
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 2, 3, 3, 0, 3, 3)",2277.245952
"(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2, 3, 1, 1, 0, 0)",3049.522176
"(0, 0, 0, 0, 1, 0, 1, 1, 3, 3, 2, 3, 3, 1, 2, 3)",2300.183552
"(0, 0, 0, 0, 0, 1, 3, 0, 0, 3, 3, 0, 3, 0, 3, 0)",2663.908352
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 3, 0, 2, 3)",2203.190272
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 0, 3, 0, 1, 1, 3, 0)",2771.387392
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 3, 3, 3, 3, 2, 3)",2112.881664
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 3, 3, 3, 1, 3, 1)",2247.62368
"(0, 0, 0, 0, 0, 0, 0, 1, 0, 3, 3, 3, 3, 1, 3, 0)",2539.783168
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 0, 1, 1, 3, 3)",2379.613184
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 2, 2, 3, 3, 1, 2, 3)",2356.937728
"(0, 0, 0, 0, 0, 1, 3, 1, 2, 3, 2, 3, 3, 2, 2, 3)",2249.720832
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 3, 3, 3, 3, 2, 3)",2094.007296
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 3, 1, 3, 3)",2258.371584
"(0, 0, 0, 0, 1, 0, 2, 1, 2, 3, 2, 3, 3, 2, 2, 3)",2287.469568
"(0, 0, 0, 0, 1, 1, 1, 1, 3, 3, 2, 3, 3, 3, 0, 3)",2275.1488
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 3, 3, 3, 1)",2100.691968
"(0, 0, 0, 0, 0, 1, 3, 1, 2, 3, 3, 3, 1, 0, 1, 3)",2446.722048
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 3, 2, 3, 3, 2, 1, 3)",2322.596864
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 3, 1, 2, 3)",2165.441536
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 3, 1, 0, 3)",2365.457408
"(0, 0, 0, 0, 0, 0, 0, 1, 3, 3, 3, 3, 3, 0, 2, 3)",2316.43648
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 3, 3, 0, 3, 3)",2218.001408
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 3, 2, 2, 3)",2268.070912
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 3, 2, 3, 3, 1, 3, 3)",2277.245952
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 3, 2, 3, 3, 1, 2, 3)",2356.806656
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 3, 1, 2, 3)",2184.315904
"(0, 0, 0, 0, 0, 0, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3)",2033.32096
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 2, 3, 3, 3, 3, 0)",2272.789504
"(0, 0, 0, 0, 1, 1, 3, 0, 2, 3, 2, 3, 1, 0, 2, 0)",2650.539008
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 3, 3, 2, 3)",2056.25856
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 2, 3, 3, 3, 3)",2111.177728
"(0, 0, 0, 0, 1, 0, 3, 1, 2, 3, 3, 3, 3, 1, 3, 3)",2180.77696
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 3, 0, 2, 1)",2461.9264
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 2, 3, 3, 2, 2, 1)",2354.316288
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 3, 3, 3, 3, 3, 3)",2033.32096
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",2070.807552
"(0, 0, 0, 0, 1, 1, 3, 1, 2, 3, 3, 3, 3, 3, 3, 3)",2052.719616
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 3, 3, 1, 3, 3)",2180.252672
"(0, 0, 0, 0, 1, 0, 2, 0, 3, 3, 3, 3, 3, 3, 2, 3)",2150.6304
"(0, 0, 0, 0, 1, 1, 1, 1, 3, 3, 3, 3, 3, 1, 3, 3)",2161.378304
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 3, 3, 3, 2, 2, 1)",2276.197376
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 3, 3, 2, 3, 3)",2113.012736
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 2, 3, 3, 1, 2, 3)",2243.560448
"(0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 3, 0, 1, 1, 3, 0)",2912.945152
"(0, 0, 0, 0, 1, 0, 2, 0, 2, 3, 2, 3, 3, 1, 3, 3)",2315.518976
"(0, 0, 0, 0, 0, 1, 3, 0, 3, 3, 3, 3, 3, 2, 3, 3)",2110.391296
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 3, 2, 3, 3)",2072.64256
"(0, 0, 0, 0, 1, 0, 1, 1, 3, 3, 2, 3, 3, 1, 3, 3)",2239.497216
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 3, 2, 3, 3, 3, 3)",2108.556288
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 3, 3, 3, 2, 3, 1)",2196.636672
"(0, 0, 0, 0, 0, 1, 2, 1, 2, 3, 2, 3, 3, 1, 3, 3)",2277.77024
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 3, 2, 3, 3, 1, 2, 3)",2375.681024
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 1, 0, 2, 1)",2574.910464
"(0, 0, 0, 0, 1, 1, 1, 1, 3, 3, 3, 3, 3, 1, 2, 3)",2222.06464
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 1, 3, 3, 1)",2232.5504
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 3, 2, 1, 3)",2265.97376
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 3, 2, 3, 3)",2150.761472
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 2, 3, 3, 1, 3, 3)",2220.622848
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 2, 3, 3, 3, 2, 3)",2191.000576
"(0, 0, 0, 0, 1, 0, 2, 1, 2, 3, 3, 3, 3, 3, 2, 3)",2170.029056
"(0, 0, 0, 0, 0, 1, 3, 0, 2, 3, 2, 3, 3, 0, 0, 3)",2479.227904
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 3, 3, 3, 3, 2, 3)",2094.007296
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 3, 3, 3, 2, 3)",2131.756032
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",2051.933184
"(0, 0, 0, 0, 1, 1, 3, 1, 2, 3, 3, 3, 1, 3, 3, 0)",2345.92768
"(0, 0, 0, 0, 1, 0, 2, 0, 3, 3, 3, 3, 3, 3, 3, 3)",2089.944064
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 3, 3, 3, 3, 3, 3)",2052.195328
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 3, 2, 2, 3)",2133.328896
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 3, 3, 3, 2, 3, 3)",2110.391296
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 3, 2, 2, 3)",2211.447808
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 3, 2, 3, 3, 2, 1, 1)",2427.716608
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 2, 3, 3, 3, 3)",2148.926464
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 2, 3, 3, 2, 1, 3)",2303.722496
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 3, 3, 3, 3, 2, 3, 3)",2148.140032
"(0, 0, 0, 0, 1, 1, 2, 1, 2, 3, 3, 3, 3, 3, 2, 3)",2151.154688
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 2, 2, 3, 3, 3, 3)",2130.052096
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 3, 2, 3, 3, 1, 3, 3)",2258.371584
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 3, 3, 1, 0, 2, 3)",2410.546176
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 3, 3, 3, 3, 2, 1, 3)",2263.35232
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 2, 3, 3, 3, 3, 3)",2092.565504
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 3, 3, 3, 2, 3, 3)",2072.64256
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 3, 3, 3, 1, 3, 3)",2142.503936
"(0, 0, 0, 0, 0, 1, 3, 1, 2, 3, 2, 3, 3, 3, 3, 3)",2130.838528
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 3, 2, 3, 3, 3, 3, 3)",2168.062976
"(0, 0, 0, 0, 1, 0, 2, 0, 3, 3, 3, 3, 3, 1, 3, 3)",2199.12704
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 3, 3, 2, 3)",2209.874944
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 3, 2, 3, 1, 0, 2, 1)",2612.6592
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 2, 3, 2, 3, 3)",2129.00352
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 2, 3, 2, 3, 3)",2110.129152
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 2, 3, 3, 3, 3, 3)",2130.31424
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 3, 3, 1, 3, 3, 1)",2270.299136
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 2, 3, 3, 2, 2, 1)",2354.316288
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 3, 2, 3, 3, 3, 3, 3)",2149.188608
"(0, 0, 0, 0, 0, 1, 2, 0, 2, 3, 3, 3, 3, 2, 3, 3)",2205.287424
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 1, 0, 3, 1)",2360.607744
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 3, 3, 3, 3, 3)",2071.069696
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3)",2092.565504
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 3, 2, 3, 3, 0, 2, 3)",2394.555392
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3)",2033.32096
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 3, 3, 2, 3, 1)",2218.13248
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 3, 3, 3, 3, 3, 2, 3)",2169.504768
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 3, 2, 3, 2, 3, 3)",2147.877888
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 3, 2, 3, 3, 3, 3)",2108.556288
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 3, 2, 3, 2, 3, 3)",2166.752256
"(0, 0, 0, 0, 0, 1, 3, 0, 3, 3, 3, 3, 3, 1, 3, 3)",2161.378304
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 2, 3, 3, 3, 3, 3)",2111.439872
"(0, 0, 0, 0, 0, 0, 0, 1, 3, 3, 3, 3, 3, 0, 3, 3)",2255.750144
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 2, 3, 3, 3, 3, 1)",2178.81088
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 3, 2, 3, 3, 1, 2, 3)",2319.05792
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 3, 2, 3, 0)",2330.985472
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 3, 1, 3, 2, 3)",2228.487168
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 3, 1, 0, 2, 1)",2496.791552
"(0, 0, 0, 0, 1, 0, 2, 0, 3, 3, 3, 2, 3, 3, 3, 3)",2146.305024
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 3, 3, 3, 3, 2, 3)",2131.756032
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3)",2110.391296
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 2, 3, 3, 2, 3)",2112.61952
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 3, 3, 3, 3, 3, 3, 1)",2213.938176
"(0, 0, 0, 0, 0, 0, 3, 0, 3, 3, 3, 2, 3, 3, 3, 3)",2127.430656
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 3, 2, 3, 3, 2, 3, 3)",2207.384576
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 3, 3, 3, 3, 3)",2054.816768
"(0, 0, 0, 0, 0, 1, 3, 0, 2, 3, 3, 3, 1, 0, 1, 0)",2664.694784
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 2, 3, 3, 0, 3, 3)",2220.622848
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 3, 3, 1, 3, 2, 3)",2206.99136
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3)",2111.439872
"(0, 0, 0, 0, 1, 1, 0, 1, 2, 3, 3, 3, 3, 3, 3, 3)",2128.217088
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 1, 0, 2, 3)",2413.167616
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 2, 3, 3, 3, 2, 3)",2172.126208
"(0, 0, 0, 0, 1, 1, 3, 1, 2, 3, 2, 3, 3, 3, 3, 3)",2111.96416
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 3, 3, 2, 1, 3, 2, 1)",2462.843904
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 3, 0, 3, 3)",2296.12032
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 3, 3, 3, 3, 3, 3)",2071.069696
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 2, 3, 3, 3, 2, 3)",2134.377472
"(0, 0, 0, 0, 0, 0, 0, 1, 3, 3, 2, 3, 1, 0, 3, 1)",2533.098496
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 3, 3, 3, 3)",2149.188608
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 3, 1, 0, 3, 1)",2436.105216
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 3, 2, 3, 3, 3, 3)",2070.807552
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 2, 3, 1, 3, 2, 3)",2266.235904
"(0, 0, 0, 0, 1, 0, 3, 0, 2, 3, 2, 3, 3, 0, 3, 1)",2420.63872
"(0, 0, 0, 0, 1, 1, 2, 1, 2, 3, 2, 3, 3, 2, 2, 3)",2268.5952
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 2, 3, 3, 2, 3, 3)",2169.63584
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 2, 3, 3, 2, 2, 3)",2192.57344
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 3, 3, 3, 3, 2, 3)",2075.132928
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 3, 1, 3, 2, 3)",2244.740096
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 2, 3, 3, 3, 3, 3)",2073.691136
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 3, 3, 3, 3, 3, 3)",2089.944064
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 1, 0, 3, 1)",2514.224128
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 3, 1, 1, 2, 3)",2337.670144
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 2, 3, 1, 0, 2, 1)",2537.161728
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 3, 2, 3, 3, 2, 3, 3)",2226.258944
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 3, 3, 3, 3, 2, 3)",2150.6304
"(0, 0, 0, 0, 1, 0, 2, 0, 3, 3, 2, 3, 3, 2, 2, 3)",2268.070912
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 3, 2, 3, 3, 3, 2, 3)",2247.62368
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 1, 2, 2, 3)",2381.054976
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3)",2052.195328
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 3, 0, 2, 3)",2300.183552
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 2, 3, 3, 3, 2, 3)",2153.25184
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 2, 3, 3, 2, 3, 3)",2169.63584
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 3, 2, 3, 3, 3, 3, 1)",2310.931456
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 3, 1, 0, 2, 3)",2375.41888
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 2, 1, 3, 2, 3)",2225.603584
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 2, 3, 1, 2, 3, 3)",2301.494272
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 1, 0, 3, 3)",2255.488
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 3, 3, 3, 2, 3, 1)",2253.259776
"(0, 0, 0, 0, 0, 0, 2, 0, 3, 3, 3, 3, 3, 2, 3, 3)",2167.0144
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 3, 3, 1, 3, 3)",2163.999744
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 1, 0, 3, 3)",2409.104384
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 1, 3, 3, 3)",2108.556288
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 1, 3, 2, 3)",2266.235904
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 3, 3, 1, 2, 2, 3)",2284.061696
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 3, 2, 3, 3)",2207.384576
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 3, 1, 2, 3, 3)",2225.9968
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 2, 3, 1, 0, 2, 3)",2432.041984
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 2, 3, 1, 0, 3, 3)",2371.355648
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 3, 1, 3, 3, 1)",2272.920576
"(0, 0, 0, 0, 0, 1, 3, 0, 3, 3, 3, 3, 3, 3, 3, 3)",2052.195328
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 2, 3, 1, 0, 2, 1)",2556.036096
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 3, 1, 2, 2, 3)",2286.683136
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 3, 2, 3, 1, 3, 3, 3)",2299.921408
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 2, 3, 1, 2, 2, 3)",2343.30624
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 3, 3, 3, 0, 3, 3)",2180.252672
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 3, 0, 2, 3)",2222.06464
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 3, 1, 3, 3, 3)",2167.800832
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 3, 2, 3, 1, 3, 2, 1)",2465.727488
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 2, 3, 1, 0, 2, 3)",2413.167616
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 2, 3, 1, 0, 2, 0)",2612.265984
"(0, 0, 0, 0, 1, 0, 1, 0, 3, 3, 2, 2, 1, 0, 2, 1)",2650.145792
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 3, 2, 3, 1, 3, 2, 3)",2322.859008
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 2, 3, 1, 0, 2, 3)",2450.916352
"(0, 0, 0, 0, 1, 0, 2, 0, 3, 3, 2, 3, 3, 3, 3, 1)",2254.308352
"(0, 0, 0, 0, 1, 1, 2, 1, 2, 3, 2, 3, 1, 3, 2, 3)",2323.383296
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 3, 2, 3, 3, 3, 3, 3)",2186.937344
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 3, 3, 3, 3, 1)",2176.18944
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 2, 3, 1, 0, 2, 1)",2556.036096
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 2, 3, 1, 3, 2, 3)",2303.98464
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 3, 2, 3, 1, 2, 2, 3)",2381.054976
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 2, 1, 3, 3, 1)",2270.036992
"(0, 0, 0, 0, 1, 1, 2, 1, 2, 3, 3, 3, 3, 3, 3, 3)",2090.468352
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 3, 3, 3, 1, 3, 2, 3)",2263.614464
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 3, 1, 3, 2, 1)",2333.606912
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 2, 3, 1, 0, 2, 3)",2394.293248
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 3, 3, 3, 3, 3, 3, 3)",2127.6928
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 2, 3, 3, 3, 3, 3)",2073.691136
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 2, 3, 1, 0, 3, 3)",2333.606912
"(0, 0, 0, 0, 1, 0, 2, 0, 3, 3, 3, 3, 1, 3, 3, 3)",2202.928128
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 2, 3, 1, 2, 3, 3)",2282.619904
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 2, 3, 1, 3, 3, 1)",2310.669312
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 3, 2, 3, 3, 3, 2, 3)",2209.874944
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 3, 2, 3, 1, 0, 2, 3)",2507.539456
"(0, 0, 0, 0, 1, 1, 3, 1, 2, 3, 3, 3, 3, 1, 3, 3)",2161.902592
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 2, 3, 3, 3, 3, 3)",2130.31424
"(0, 0, 0, 0, 0, 0, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3)",2129.265664
"(0, 0, 0, 0, 0, 1, 3, 1, 2, 3, 2, 3, 1, 2, 3, 3)",2302.01856
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 2, 3, 1, 2, 2, 3)",2305.557504
"(0, 0, 0, 0, 0, 0, 2, 0, 3, 3, 2, 3, 1, 2, 3, 3)",2339.243008
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 2, 3, 1, 0, 3, 1)",2438.726656
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3)",2205.549568
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 3, 3, 3, 1, 0, 3, 3)",2368.734208
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 2, 3, 3, 3, 2, 1)",2277.245952
"(0, 0, 0, 0, 0, 0, 2, 1, 3, 3, 2, 3, 1, 0, 2, 3)",2450.916352
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 3, 2, 3, 1, 0, 2, 1)",2631.533568
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 2, 1, 0, 3, 1)",2570.585088
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 2, 3, 1, 3, 2, 3)",2285.110272
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 3, 1, 3, 3, 3)",2184.05376
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 3, 3, 1, 3, 3, 3)",2146.305024
"(0, 0, 0, 0, 0, 0, 2, 1, 3, 3, 2, 3, 3, 2, 3, 3)",2188.510208
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 2, 3, 1, 0, 2, 3)",2450.916352
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 3, 3, 3, 2, 3, 1)",2234.385408
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 2, 3, 1, 2, 2, 3)",2362.180608
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 2, 3, 3, 0, 3, 1)",2363.491328
"(0, 0, 0, 0, 1, 0, 3, 1, 2, 3, 3, 3, 3, 3, 3, 3)",2071.593984
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3)",2111.439872
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 2, 3, 1, 3, 2, 3)",2285.110272
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 1, 3, 3, 1)",2310.669312
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 3, 1, 0, 3, 1)",2419.852288
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 2, 3, 1, 0, 3, 3)",2390.230016
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 3, 2, 3, 1, 2, 3, 3)",2320.36864
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 2, 3, 1, 3, 3, 3)",2243.298304
"(0, 0, 0, 0, 1, 0, 2, 0, 3, 3, 2, 3, 3, 0, 2, 1)",2461.9264
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 1, 2, 3, 3)",2320.36864
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 2, 3, 3, 3, 2, 1)",2296.12032
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 3, 3, 3, 2, 2, 3)",2171.077632
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 1, 3, 3, 3)",2262.172672
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 3, 3, 3, 0, 3, 1)",2304.246784
"(0, 0, 0, 0, 0, 0, 0, 1, 3, 3, 2, 3, 1, 3, 2, 3)",2341.733376
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 3, 2, 2, 3)",2114.454528
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 2, 3, 1, 3, 3, 3)",2186.6752
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 3, 2, 1, 3, 2, 3)",2263.35232
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 2, 3, 1, 3, 3, 3)",2186.6752
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 2, 3, 3, 0, 3, 1)",2344.61696
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 3, 3, 3, 2, 3, 1)",2215.51104
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 2, 3, 1, 3, 3, 3)",2205.549568
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 1, 3, 2, 3)",2322.859008
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 3, 0, 3, 1)",2266.498048
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 2, 3, 3, 2, 3, 3)",2188.510208
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 3, 2, 3, 1, 0, 3, 1)",2551.972864
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 3, 3, 3, 3, 3, 1)",2157.315072
"(0, 0, 0, 0, 0, 0, 3, 1, 2, 3, 3, 3, 3, 3, 3, 3)",2090.468352
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 2, 2, 3, 3, 3, 3)",2186.6752
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 2, 1, 3, 3, 3)",2183.791616
"(0, 0, 0, 0, 0, 0, 0, 1, 3, 3, 2, 3, 3, 3, 3, 3)",2168.062976
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 3, 2, 3, 2, 3, 3)",2166.752256
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 2, 3, 3, 3, 2, 3)",2191.000576
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 3, 3, 1, 2, 3, 1)",2309.620736
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3)",2204.500992
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3)",2224.423936
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 3, 2, 3, 3, 3, 3)",2108.556288
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 1, 2, 3, 1)",2368.86528
"(0, 0, 0, 0, 1, 1, 0, 0, 2, 3, 2, 3, 3, 3, 3, 3)",2225.210368
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3)",2110.391296
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 3, 2, 3, 1, 2, 3, 3)",2358.117376
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 3, 2, 3, 3, 2, 2, 3)",2286.94528
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3)",2224.423936
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 3, 2, 3, 1, 3, 3, 3)",2262.172672
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 3, 2, 3, 1, 3, 3, 1)",2386.166784
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 3, 3, 3, 2, 3, 3)",2129.265664
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 2, 3, 1, 3, 3, 1)",2367.292416
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 2, 3, 1, 3, 3, 1)",2329.54368
"(0, 0, 0, 0, 0, 1, 0, 1, 3, 3, 2, 3, 1, 3, 3, 3)",2262.172672
"(0, 0, 0, 0, 0, 0, 2, 0, 3, 3, 2, 3, 1, 2, 2, 3)",2399.929344
"(0, 0, 0, 0, 0, 0, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3)",2071.069696
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3)",2223.37536
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 3, 3, 2, 3, 3, 3, 3)",2165.179392
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 2, 3, 1, 3, 3, 1)",2329.54368
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 3, 2, 3, 1, 2, 3, 3)",2376.991744
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 2, 3, 1, 2, 3, 3)",2301.494272
"(0, 0, 0, 0, 0, 0, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3)",2243.298304
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 3, 2, 3, 1, 3, 3, 3)",2299.921408
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 3, 2, 1, 3, 3, 1)",2307.785728
"(0, 0, 0, 0, 0, 0, 2, 0, 3, 3, 3, 3, 3, 3, 3, 3)",2108.818432
"(0, 0, 0, 0, 0, 0, 2, 0, 3, 3, 2, 3, 3, 3, 3, 3)",2168.062976
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 3, 2, 3, 1, 2, 3, 3)",2339.243008
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3)",2091.516928
"(0, 0, 0, 0, 0, 0, 3, 0, 3, 3, 2, 3, 1, 3, 3, 3)",2243.298304
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 3, 3, 3, 3, 3, 1)",2138.440704
"(0, 0, 0, 0, 0, 1, 3, 0, 3, 3, 2, 3, 3, 2, 3, 3)",2169.63584
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 1, 2, 3, 3)",2263.745536
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 2, 3, 1, 2, 3, 3)",2282.619904
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 3, 3, 3, 1, 3, 3, 3)",2240.676864
"(0, 0, 0, 0, 1, 0, 0, 0, 3, 3, 2, 2, 3, 3, 3, 3)",2243.298304
"(0, 0, 0, 0, 0, 0, 2, 0, 3, 3, 2, 3, 3, 2, 3, 3)",2226.258944
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 3, 3, 1, 2, 3, 3)",2204.500992
"(0, 0, 0, 0, 0, 0, 3, 1, 3, 3, 3, 3, 1, 3, 3, 3)",2146.305024
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 3, 2, 3, 3, 3, 3, 3)",2186.937344
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 2, 3, 3, 2, 3, 3)",2131.887104
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3)",2165.179392
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 3, 3, 3, 3, 3, 3, 3)",2089.944064
"(0, 0, 0, 0, 0, 1, 2, 1, 2, 3, 2, 3, 1, 2, 3, 3)",2339.767296
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 2, 3, 3, 3, 3)",2127.430656
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 3, 2, 3, 3, 3, 3)",2089.68192
"(0, 0, 0, 0, 0, 1, 0, 1, 3, 3, 2, 3, 3, 3, 3, 3)",2149.188608
"(0, 0, 0, 0, 0, 1, 3, 0, 3, 3, 2, 3, 3, 3, 3, 3)",2111.439872
"(0, 0, 0, 0, 0, 1, 0, 1, 3, 3, 2, 3, 1, 2, 3, 3)",2320.36864
"(0, 0, 0, 0, 0, 1, 3, 1, 2, 3, 2, 3, 1, 3, 3, 3)",2243.822592
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 3, 2, 3, 1, 3, 3, 3)",2318.795776
"(0, 0, 0, 0, 1, 0, 2, 0, 3, 3, 3, 3, 3, 2, 3, 3)",2148.140032
"(0, 0, 0, 0, 0, 0, 2, 0, 3, 3, 2, 3, 1, 3, 3, 3)",2281.04704
"(0, 0, 0, 0, 0, 0, 3, 1, 3, 3, 2, 3, 1, 3, 3, 3)",2205.549568
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 3, 3, 2, 1, 3, 3, 3)",2278.163456
"(0, 0, 0, 0, 1, 0, 0, 1, 2, 3, 2, 3, 1, 2, 3, 3)",2377.516032
"(0, 0, 0, 0, 0, 0, 3, 1, 3, 3, 2, 3, 3, 2, 3, 3)",2150.761472
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 3, 3, 1, 3, 3, 3)",2127.430656
"(0, 0, 0, 0, 0, 0, 2, 1, 3, 3, 2, 2, 1, 3, 3, 3)",2299.659264
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 2, 2, 1, 2, 3, 3)",2338.980864
"(0, 0, 0, 0, 0, 0, 0, 1, 3, 3, 3, 3, 3, 2, 3, 3)",2167.0144
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 3, 3, 3, 1, 2, 3, 3)",2261.124096
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 2, 3, 3, 2, 3, 3)",2150.761472
"(0, 0, 0, 0, 0, 0, 0, 1, 3, 3, 2, 3, 1, 2, 3, 3)",2339.243008
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3)",2052.195328
"(0, 0, 0, 0, 0, 0, 2, 1, 3, 3, 2, 3, 1, 2, 3, 3)",2301.494272
"(0, 0, 0, 0, 0, 1, 0, 1, 3, 3, 2, 3, 3, 2, 3, 3)",2207.384576
"(0, 0, 0, 0, 0, 0, 3, 0, 3, 3, 2, 3, 1, 2, 3, 3)",2301.494272
"(0, 0, 0, 0, 0, 1, 3, 1, 2, 3, 2, 3, 3, 3, 3, 1)",2235.958272
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 2, 3, 1, 3, 3, 1)",2348.418048
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 3, 3, 1, 3, 3, 3)",2202.928128
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 3, 3, 3, 1, 2, 3, 3)",2317.7472
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 3, 3, 3, 3, 2, 3, 3)",2185.888768
"(0, 0, 0, 0, 0, 0, 3, 1, 3, 3, 2, 3, 3, 3, 3, 3)",2092.565504
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 2, 3, 1, 2, 3, 0)",2462.843904
"(0, 0, 0, 0, 0, 0, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3)",2242.249728
"(0, 0, 0, 0, 0, 1, 0, 1, 2, 3, 2, 3, 3, 3, 3, 3)",2206.336
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 2, 2, 1, 3, 3, 3)",2280.784896
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 2, 3, 1, 2, 3, 3)",2263.745536
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 3, 3, 3, 1)",2197.685248
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 1, 3, 3, 3)",2127.430656
"(0, 0, 0, 0, 0, 0, 3, 1, 3, 3, 2, 3, 1, 2, 3, 3)",2263.745536
"(0, 0, 0, 0, 0, 0, 3, 0, 3, 3, 3, 3, 3, 3, 3, 3)",2071.069696
"(0, 0, 0, 0, 0, 1, 0, 0, 3, 3, 2, 3, 3, 2, 3, 3)",2245.133312
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 3, 3, 3, 3, 3, 1)",2157.315072
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 3, 2, 1, 3, 3, 3)",2183.791616
"(0, 0, 0, 0, 0, 1, 0, 1, 3, 3, 3, 2, 3, 3, 3, 3)",2146.305024
"(0, 0, 0, 0, 0, 0, 3, 1, 3, 3, 3, 3, 3, 2, 3, 3)",2091.516928
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 3, 3, 1, 2, 3, 3)",2185.626624
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 2, 3, 1, 2, 3, 3)",2244.871168
"(0, 0, 0, 0, 0, 0, 3, 1, 3, 3, 2, 2, 3, 3, 3, 3)",2148.926464
"(0, 0, 0, 0, 1, 1, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3)",2146.305024
"(0, 0, 0, 0, 1, 1, 3, 0, 3, 3, 2, 3, 3, 3, 3, 1)",2197.685248
"(0, 0, 0, 0, 0, 1, 2, 1, 2, 3, 2, 3, 1, 3, 3, 3)",2281.571328
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 2, 3, 1, 2, 3, 3)",2244.871168
"(0, 0, 0, 0, 0, 0, 0, 1, 3, 3, 2, 3, 3, 2, 3, 3)",2226.258944
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 2, 3, 1, 3, 3, 3)",2224.423936
"(0, 0, 0, 0, 0, 1, 3, 0, 3, 3, 2, 3, 1, 3, 3, 3)",2224.423936
"(0, 0, 0, 0, 0, 0, 3, 0, 3, 3, 2, 3, 3, 2, 3, 3)",2188.510208
"(0, 0, 0, 0, 0, 0, 2, 1, 3, 3, 2, 3, 0, 2, 3, 3)",2338.456576
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 2, 1, 3, 3, 3)",2164.917248
"(0, 0, 0, 0, 0, 0, 3, 1, 3, 3, 2, 2, 1, 3, 3, 3)",2261.910528
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 2, 3, 1, 3, 3, 3)",2243.298304
"(0, 0, 0, 0, 1, 0, 0, 1, 3, 3, 3, 3, 1, 2, 3, 3)",2261.124096
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 3, 2, 3, 3, 3, 3, 3)",2205.811712
"(0, 0, 0, 0, 0, 1, 0, 1, 3, 3, 3, 3, 3, 3, 3, 3)",2089.944064
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 2, 3, 1, 2, 3, 1)",2387.739648
"(0, 0, 0, 0, 0, 1, 3, 0, 3, 3, 2, 3, 1, 2, 3, 3)",2282.619904
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 3, 3, 3, 3, 1)",2159.936512
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 3, 2, 1, 3, 3, 3)",2221.540352
"(0, 0, 0, 0, 0, 0, 0, 0, 3, 3, 2, 3, 3, 2, 3, 3)",2264.00768
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 2, 3, 1, 2, 3, 3)",2282.619904
"(0, 0, 0, 0, 0, 0, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3)",2130.31424
"(0, 0, 0, 0, 0, 0, 3, 0, 3, 3, 3, 3, 3, 2, 3, 3)",2129.265664
"(0, 0, 0, 0, 0, 1, 2, 1, 2, 3, 2, 3, 3, 3, 3, 3)",2168.587264
"(0, 0, 0, 0, 1, 0, 2, 0, 3, 3, 2, 3, 1, 2, 3, 3)",2320.36864
"(0, 0, 0, 0, 1, 0, 2, 1, 2, 3, 3, 3, 3, 3, 3, 3)",2109.34272
"(0, 0, 0, 0, 0, 0, 2, 0, 3, 3, 3, 3, 1, 2, 3, 3)",2279.998464
"(0, 0, 0, 0, 1, 1, 0, 0, 3, 3, 2, 3, 1, 3, 3, 3)",2281.04704
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 2, 2, 3, 3, 3, 3)",2130.052096
"(0, 0, 0, 0, 0, 1, 2, 0, 3, 3, 3, 2, 3, 3, 3, 3)",2146.305024
"(0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 2, 3, 1, 3, 3, 1)",2329.54368
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 3, 3, 1, 3, 3, 1)",2270.299136
"(0, 0, 0, 0, 1, 0, 2, 0, 3, 3, 2, 3, 3, 3, 3, 3)",2149.188608
"(0, 0, 0, 0, 0, 1, 3, 0, 3, 3, 3, 3, 1, 3, 3, 3)",2165.179392
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 2, 3, 3, 2, 3, 3)",2131.887104
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3)",2165.179392
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 1, 2, 3, 3)",2185.626624
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 2, 3, 1, 2, 3, 1)",2406.614016
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 2, 3, 2, 2, 3, 3)",2195.19488
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 3, 2, 3, 3, 3)",2134.377472
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 2, 3, 3, 3, 3, 0)",2310.53824
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 2, 3, 1, 3, 3, 1)",2348.418048
"(0, 0, 0, 0, 0, 1, 1, 1, 3, 3, 2, 3, 1, 2, 3, 3)",2301.494272
"(0, 0, 0, 0, 1, 0, 3, 1, 3, 3, 3, 3, 3, 2, 3, 1)",2177.762304
"(0, 0, 0, 0, 0, 1, 0, 1, 3, 3, 3, 3, 1, 2, 3, 3)",2261.124096
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 3, 2, 3, 3, 3, 1)",2157.052928
"(0, 0, 0, 0, 0, 0, 1, 1, 3, 3, 2, 3, 3, 3, 3, 3)",2149.188608
"(0, 0, 0, 0, 1, 1, 3, 1, 3, 3, 2, 2, 1, 3, 3, 3)",2224.161792
"(0, 0, 0, 0, 1, 1, 2, 0, 3, 3, 3, 3, 1, 2, 3, 3)",2242.249728
"(0, 0, 0, 0, 0, 0, 3, 1, 2, 3, 2, 3, 3, 2, 3, 3)",2207.908864
"(0, 0, 0, 0, 0, 1, 0, 1, 3, 3, 2, 3, 1, 2, 3, 1)",2425.488384
"(0, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 3, 3, 2, 3, 3)",2129.265664
"(0, 0, 0, 0, 0, 1, 1, 1, 3, 3, 2, 3, 3, 2, 3, 3)",2188.510208
"(0, 0, 0, 0, 0, 0, 2, 1, 3, 3, 3, 2, 3, 2, 3, 3)",2185.626624
"(0, 0, 0, 0, 0, 0, 3, 1, 3, 3, 3, 3, 1, 2, 3, 3)",2204.500992
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 3, 3, 3, 3, 3, 1)",2119.566336
"(0, 0, 0, 0, 1, 0, 2, 1, 3, 3, 3, 3, 1, 3, 3, 2)",2213.151744
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 2, 3, 3, 2, 3, 1)",2274.755584
"(0, 0, 0, 0, 1, 1, 1, 1, 3, 3, 2, 3, 1, 2, 3, 3)",2282.619904
"(0, 0, 0, 0, 0, 0, 3, 0, 2, 3, 2, 3, 1, 2, 3, 3)",2358.641664
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 2, 3, 1, 3, 3, 1)",2291.794944
"(0, 0, 0, 0, 0, 1, 2, 1, 3, 3, 2, 2, 3, 3, 3, 3)",2167.800832
"(0, 0, 0, 0, 0, 1, 3, 1, 3, 3, 2, 2, 1, 2, 3, 3)",2301.232128
"(0, 0, 0, 0, 0, 0, 3, 0, 3, 3, 3, 3, 1, 2, 3, 3)",2242.249728
"(0, 0, 0, 0, 0, 0, 3, 1, 3, 3, 2, 3, 1, 2, 3, 1)",2368.86528
"(0, 0, 0, 0, 0, 0, 1, 1, 3, 3, 2, 3, 1, 2, 3, 3)",2320.36864