diff --git "a/eftnas-s2-bert-medium-mnli/cache_MACs.csv" "b/eftnas-s2-bert-medium-mnli/cache_MACs.csv"
new file mode 100644--- /dev/null
+++ "b/eftnas-s2-bert-medium-mnli/cache_MACs.csv"
@@ -0,0 +1,1585 @@
+"(0, 1, 0, 1, 0, 0, 2, 0, 1, 2, 2, 3, 1, 2, 3, 1, 1)",2663.515648
+"(1, 0, 0, 2, 1, 0, 2, 2, 1, 1, 1, 0, 1, 1, 1, 2, 1)",2774.40256
+"(0, 1, 2, 2, 0, 1, 1, 0, 2, 0, 3, 1, 3, 0, 1, 3, 0)",2474.771968
+"(1, 0, 0, 3, 1, 2, 1, 1, 1, 0, 3, 0, 1, 3, 1, 2, 1)",2506.753536
+"(1, 0, 0, 2, 0, 1, 0, 1, 1, 3, 3, 3, 3, 3, 1, 3, 1)",2410.939904
+"(2, 0, 0, 3, 0, 1, 0, 1, 1, 0, 1, 0, 3, 3, 3, 3, 0)",2364.1472
+"(0, 0, 0, 3, 1, 1, 2, 0, 2, 3, 2, 0, 2, 3, 1, 0, 1)",2689.992192
+"(2, 0, 0, 2, 1, 0, 1, 0, 0, 0, 1, 2, 2, 0, 2, 3, 0)",2477.000192
+"(0, 1, 0, 2, 0, 0, 1, 0, 3, 0, 2, 0, 3, 2, 0, 2, 0)",2564.818432
+"(0, 1, 2, 3, 0, 0, 2, 0, 1, 1, 3, 3, 1, 1, 2, 2, 0)",2399.667712
+"(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 2, 1, 1, 2, 0, 0, 0)",3039.692288
+"(2, 0, 2, 1, 1, 2, 1, 0, 3, 2, 1, 0, 1, 2, 3, 3, 1)",2343.044608
+"(1, 0, 1, 2, 1, 1, 1, 1, 1, 2, 2, 3, 2, 1, 3, 2, 0)",2167.277056
+"(2, 1, 1, 3, 0, 1, 1, 0, 1, 2, 3, 2, 0, 3, 1, 1, 0)",2486.69952
+"(2, 1, 1, 2, 0, 0, 1, 2, 2, 0, 3, 1, 3, 3, 3, 0, 1)",2355.758592
+"(0, 0, 0, 1, 0, 0, 1, 2, 0, 0, 0, 3, 0, 0, 0, 3, 0)",2743.60064
+"(1, 1, 1, 2, 0, 1, 2, 1, 2, 2, 0, 0, 0, 0, 3, 1, 0)",2528.773632
+"(1, 0, 1, 1, 0, 2, 2, 1, 3, 0, 2, 1, 1, 2, 2, 2, 0)",2268.333568
+"(1, 0, 1, 0, 1, 0, 2, 1, 0, 2, 1, 2, 0, 1, 0, 1, 1)",2823.292416
+"(1, 1, 0, 2, 0, 2, 0, 2, 2, 3, 3, 0, 1, 1, 3, 1, 0)",2469.66016
+"(0, 0, 1, 2, 1, 2, 1, 1, 0, 2, 1, 0, 0, 0, 3, 0, 1)",2704.541184
+"(1, 1, 2, 3, 0, 1, 2, 1, 2, 3, 2, 0, 3, 3, 3, 1, 0)",2159.412736
+"(0, 1, 0, 0, 0, 1, 1, 0, 0, 3, 2, 2, 2, 0, 0, 1, 0)",2818.704896
+"(0, 1, 1, 3, 0, 1, 1, 1, 0, 0, 1, 1, 2, 2, 1, 3, 0)",2515.142144
+"(1, 1, 2, 2, 1, 2, 1, 2, 3, 1, 0, 3, 1, 0, 3, 1, 0)",2263.483904
+"(2, 1, 0, 3, 1, 0, 1, 1, 3, 1, 2, 0, 0, 3, 3, 3, 1)",2274.887168
+"(0, 1, 2, 0, 1, 0, 0, 1, 3, 1, 3, 0, 0, 1, 2, 2, 1)",2536.113664
+"(2, 0, 0, 0, 0, 1, 2, 0, 0, 0, 0, 0, 0, 2, 1, 0, 1)",3077.17888
+"(0, 1, 1, 2, 0, 0, 2, 0, 0, 0, 2, 0, 0, 3, 3, 1, 0)",2565.867008
+"(1, 1, 2, 0, 1, 2, 0, 1, 3, 3, 0, 1, 0, 2, 3, 1, 0)",2351.564288
+"(1, 0, 2, 2, 1, 2, 1, 1, 1, 3, 3, 3, 3, 1, 1, 3, 1)",2208.957952
+"(2, 0, 1, 3, 1, 0, 1, 2, 3, 1, 2, 2, 2, 0, 1, 3, 1)",2399.274496
+"(0, 1, 0, 2, 1, 2, 0, 1, 2, 3, 1, 2, 1, 0, 0, 0, 0)",2703.885824
+"(1, 0, 1, 2, 0, 2, 0, 2, 3, 0, 2, 1, 0, 1, 0, 1, 1)",2763.26144
+"(1, 0, 1, 3, 0, 2, 0, 2, 0, 3, 1, 0, 2, 0, 3, 2, 1)",2455.24224
+"(1, 1, 0, 0, 0, 1, 2, 1, 3, 0, 0, 1, 3, 0, 2, 0, 0)",2668.627456
+"(0, 1, 2, 0, 1, 1, 1, 2, 0, 1, 1, 1, 3, 2, 0, 1, 1)",2681.079296
+"(2, 0, 2, 0, 1, 0, 2, 2, 3, 2, 1, 1, 3, 0, 0, 2, 1)",2499.020288
+"(0, 1, 2, 1, 0, 0, 1, 0, 3, 2, 2, 3, 3, 0, 3, 1, 0)",2424.964608
+"(2, 0, 2, 2, 1, 0, 2, 1, 1, 0, 2, 3, 0, 1, 2, 2, 1)",2411.33312
+"(1, 1, 2, 0, 1, 2, 0, 1, 3, 3, 0, 1, 1, 2, 3, 3, 1)",2239.366656
+"(0, 0, 0, 3, 1, 1, 2, 0, 2, 1, 1, 0, 2, 1, 1, 0, 1)",2946.500096
+"(0, 1, 0, 2, 0, 1, 0, 0, 0, 0, 2, 1, 1, 0, 0, 0, 0)",3045.328384
+"(2, 0, 1, 3, 0, 2, 0, 2, 0, 3, 1, 0, 2, 0, 3, 2, 1)",2436.367872
+"(0, 0, 0, 1, 0, 0, 1, 2, 0, 0, 0, 3, 3, 0, 1, 3, 0)",2628.126208
+"(2, 1, 1, 1, 0, 1, 1, 0, 1, 0, 2, 1, 0, 3, 1, 1, 0)",2702.837248
+"(1, 1, 0, 0, 0, 1, 2, 1, 2, 3, 2, 0, 2, 0, 0, 1, 0)",2686.453248
+"(1, 0, 0, 3, 0, 2, 1, 1, 1, 0, 3, 0, 1, 3, 1, 0, 1)",2759.460352
+"(1, 0, 2, 1, 1, 2, 1, 1, 1, 3, 2, 3, 1, 1, 1, 2, 1)",2438.465024
+"(0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 2, 3, 1, 2, 3, 1, 1)",2800.485888
+"(1, 0, 1, 3, 0, 0, 0, 2, 0, 1, 1, 0, 2, 0, 3, 2, 1)",2635.597312
+"(0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 2, 2, 1, 0, 0)",2974.811648
+"(1, 1, 2, 0, 1, 1, 1, 1, 3, 2, 1, 0, 1, 2, 2, 3, 0)",2291.140096
+"(2, 0, 0, 2, 1, 0, 1, 0, 3, 0, 2, 0, 3, 2, 2, 3, 0)",2274.887168
+"(2, 0, 2, 1, 1, 2, 1, 0, 3, 2, 1, 0, 0, 2, 3, 1, 0)",2360.8704
+"(1, 0, 0, 2, 1, 0, 2, 2, 1, 3, 2, 0, 1, 3, 1, 2, 1)",2517.894656
+"(1, 0, 2, 0, 1, 2, 1, 2, 3, 1, 0, 3, 1, 2, 3, 1, 0)",2257.847808
+"(1, 0, 1, 3, 1, 0, 1, 2, 3, 1, 2, 2, 2, 0, 1, 3, 1)",2418.148864
+"(0, 1, 2, 2, 0, 1, 1, 0, 2, 0, 3, 1, 0, 0, 0, 3, 0)",2590.2464
+"(1, 0, 1, 3, 0, 2, 2, 1, 3, 2, 3, 2, 1, 2, 2, 2, 0)",2052.19584
+"(0, 1, 2, 3, 0, 1, 1, 0, 0, 3, 2, 2, 3, 3, 3, 1, 0)",2291.664384
+"(2, 1, 1, 2, 1, 0, 1, 2, 2, 0, 3, 1, 3, 3, 3, 2, 1)",2103.051776
+"(1, 0, 1, 2, 0, 2, 2, 1, 3, 0, 3, 1, 3, 2, 2, 3, 0)",2038.826496
+"(2, 0, 0, 3, 0, 1, 2, 1, 1, 2, 1, 0, 3, 3, 3, 3, 0)",2227.17696
+"(2, 1, 0, 3, 1, 2, 1, 1, 3, 3, 2, 0, 0, 3, 3, 3, 1)",2094.532096
+"(2, 1, 1, 3, 0, 1, 2, 1, 0, 0, 1, 1, 0, 2, 1, 3, 1)",2523.137536
+"(2, 0, 0, 1, 0, 2, 2, 0, 3, 0, 0, 1, 3, 0, 3, 0, 1)",2720.531968
+"(0, 1, 0, 2, 0, 0, 1, 0, 0, 0, 1, 2, 2, 0, 0, 2, 0)",2766.931456
+"(1, 0, 1, 2, 1, 1, 0, 1, 1, 0, 2, 1, 1, 1, 0, 0, 0)",2754.479616
+"(1, 0, 2, 1, 0, 0, 1, 2, 3, 0, 0, 3, 0, 0, 3, 1, 0)",2497.054208
+"(0, 0, 1, 1, 0, 2, 2, 0, 2, 0, 2, 1, 1, 2, 1, 2, 0)",2528.773632
+"(1, 0, 1, 0, 1, 0, 1, 1, 1, 2, 1, 2, 0, 1, 0, 1, 1)",2859.206144
+"(0, 0, 0, 0, 1, 0, 1, 0, 0, 3, 2, 2, 1, 0, 0, 1, 1)",2972.452352
+"(0, 0, 0, 3, 1, 1, 2, 0, 2, 3, 2, 1, 2, 3, 0, 0, 1)",2693.662208
+"(0, 0, 0, 0, 0, 1, 1, 0, 0, 2, 2, 3, 2, 2, 3, 2, 0)",2452.489728
+"(0, 1, 0, 2, 1, 2, 1, 2, 0, 1, 0, 3, 1, 0, 0, 3, 0)",2510.030336
+"(1, 1, 2, 2, 0, 1, 1, 1, 3, 0, 3, 1, 3, 0, 2, 3, 0)",2214.331904
+"(1, 0, 0, 3, 1, 2, 2, 1, 0, 0, 3, 0, 1, 3, 1, 2, 1)",2470.839808
+"(1, 1, 0, 2, 0, 1, 2, 2, 1, 1, 1, 0, 2, 1, 1, 2, 0)",2620.655104
+"(0, 1, 2, 0, 1, 1, 1, 2, 0, 1, 1, 0, 3, 2, 1, 1, 1)",2677.40928
+"(0, 0, 2, 0, 1, 0, 0, 1, 1, 1, 3, 0, 0, 1, 1, 2, 1)",2817.787392
+"(2, 0, 0, 1, 1, 0, 1, 1, 2, 0, 3, 1, 3, 0, 3, 0, 1)",2669.282816
+"(0, 1, 0, 1, 0, 0, 0, 0, 1, 2, 2, 3, 1, 2, 3, 1, 1)",2757.887488
+"(0, 1, 0, 0, 0, 0, 2, 0, 1, 2, 2, 3, 1, 2, 3, 1, 1)",2682.390016
+"(2, 1, 1, 3, 1, 0, 1, 2, 3, 1, 2, 2, 0, 0, 1, 3, 1)",2369.521152
+"(1, 0, 1, 3, 0, 0, 0, 2, 0, 1, 1, 0, 0, 0, 1, 2, 1)",2844.001792
+"(2, 0, 1, 3, 0, 1, 2, 0, 0, 0, 1, 0, 0, 2, 1, 3, 1)",2679.113216
+"(1, 1, 2, 3, 0, 1, 1, 1, 2, 3, 2, 0, 3, 3, 1, 3, 0)",2177.3696
+"(1, 0, 1, 3, 0, 2, 2, 1, 3, 1, 0, 2, 1, 2, 2, 2, 0)",2190.083584
+"(2, 0, 0, 3, 0, 1, 2, 1, 1, 0, 1, 0, 3, 3, 3, 3, 0)",2269.77536
+"(1, 1, 1, 2, 1, 2, 1, 1, 1, 2, 2, 3, 2, 1, 3, 3, 0)",2062.812672
+"(1, 0, 1, 0, 1, 0, 1, 1, 1, 2, 3, 2, 0, 1, 0, 1, 1)",2765.22752
+"(2, 0, 2, 1, 1, 2, 1, 0, 3, 1, 2, 0, 1, 2, 3, 3, 1)",2332.165632
+"(1, 1, 2, 2, 1, 1, 0, 1, 3, 0, 3, 1, 3, 0, 2, 3, 0)",2195.457536
+"(2, 0, 0, 0, 0, 1, 2, 0, 0, 0, 2, 0, 0, 2, 3, 1, 1)",2836.0064
+"(2, 1, 0, 1, 1, 0, 1, 2, 1, 0, 3, 1, 3, 3, 3, 1, 1)",2428.765696
+"(1, 1, 2, 2, 1, 2, 1, 1, 3, 3, 3, 3, 3, 1, 2, 3, 1)",1927.284224
+"(2, 1, 1, 2, 0, 2, 2, 0, 3, 0, 0, 1, 3, 3, 3, 2, 1)",2173.175296
+"(1, 0, 1, 2, 1, 1, 1, 1, 1, 0, 2, 3, 2, 1, 3, 2, 0)",2209.875456
+"(1, 0, 1, 1, 1, 0, 1, 1, 1, 2, 1, 2, 0, 1, 0, 1, 1)",2840.331776
+"(2, 0, 0, 3, 1, 2, 1, 1, 3, 3, 2, 0, 2, 3, 3, 3, 1)",2124.28544
+"(1, 0, 2, 1, 1, 2, 1, 1, 1, 3, 2, 3, 3, 1, 3, 2, 1)",2193.09824
+"(2, 1, 0, 0, 0, 1, 2, 1, 0, 0, 0, 1, 0, 2, 1, 0, 1)",2921.2032
+"(2, 0, 1, 3, 1, 0, 2, 2, 3, 1, 2, 2, 2, 0, 3, 1, 1)",2381.317632
+"(1, 0, 2, 0, 1, 2, 1, 2, 3, 2, 3, 3, 1, 2, 3, 1, 0)",2119.960064
+"(0, 0, 0, 1, 0, 0, 1, 2, 0, 2, 0, 3, 0, 0, 0, 3, 0)",2701.00224
+"(2, 0, 0, 3, 1, 1, 1, 1, 3, 3, 2, 0, 0, 3, 3, 2, 1)",2293.36832
+"(1, 0, 2, 2, 1, 2, 1, 1, 1, 3, 1, 3, 3, 1, 1, 3, 1)",2302.936576
+"(1, 0, 1, 3, 1, 0, 1, 2, 3, 2, 1, 2, 2, 0, 1, 3, 1)",2429.02784
+"(1, 1, 2, 0, 0, 2, 1, 1, 3, 3, 0, 1, 0, 2, 3, 1, 0)",2370.438656
+"(0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 3, 1, 2, 1, 0, 1)",3041.658368
+"(0, 1, 1, 2, 0, 0, 2, 0, 2, 2, 2, 3, 1, 2, 3, 2, 1)",2337.801728
+"(1, 1, 2, 0, 1, 0, 0, 1, 3, 2, 1, 2, 1, 1, 3, 1, 1)",2558.920192
+"(1, 0, 1, 3, 0, 2, 1, 0, 3, 2, 3, 0, 1, 2, 2, 2, 0)",2207.254016
+"(1, 1, 1, 3, 0, 1, 2, 1, 0, 0, 1, 1, 0, 2, 1, 3, 1)",2542.011904
+"(1, 1, 2, 0, 1, 1, 1, 1, 3, 2, 0, 0, 0, 2, 2, 3, 0)",2299.528704
+"(1, 0, 1, 0, 1, 2, 2, 1, 0, 3, 0, 1, 0, 2, 0, 3, 1)",2503.73888
+"(2, 0, 2, 1, 1, 2, 2, 1, 3, 2, 1, 2, 1, 2, 3, 3, 1)",2187.986432
+"(2, 0, 2, 2, 1, 2, 1, 1, 1, 3, 3, 3, 3, 1, 1, 3, 1)",2190.083584
+"(1, 1, 2, 0, 1, 2, 0, 1, 3, 3, 1, 1, 1, 2, 3, 1, 0)",2343.17568
+"(2, 0, 1, 2, 1, 0, 1, 0, 0, 0, 3, 0, 0, 2, 1, 0, 1)",2791.310848
+"(2, 0, 1, 1, 1, 2, 2, 1, 3, 2, 1, 2, 1, 1, 3, 3, 0)",2131.101184
+"(0, 1, 0, 1, 1, 0, 0, 0, 3, 0, 2, 3, 1, 2, 3, 1, 1)",2639.005184
+"(0, 1, 1, 2, 0, 0, 2, 0, 2, 0, 1, 3, 1, 2, 3, 2, 1)",2432.042496
+"(0, 1, 2, 0, 1, 0, 0, 1, 3, 1, 3, 0, 1, 1, 2, 2, 1)",2530.870784
+"(1, 1, 1, 2, 1, 0, 0, 1, 3, 1, 1, 3, 2, 0, 2, 2, 1)",2354.185728
+"(2, 0, 0, 0, 0, 1, 1, 0, 0, 0, 2, 0, 0, 2, 3, 1, 1)",2873.755136
+"(2, 0, 0, 2, 1, 0, 1, 2, 2, 0, 3, 1, 0, 0, 3, 1, 1)",2658.010624
+"(0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 2, 1, 0, 1)",3145.598464
+"(2, 0, 1, 3, 1, 0, 1, 2, 3, 0, 2, 2, 0, 0, 1, 3, 1)",2465.728
+"(2, 0, 0, 3, 1, 2, 1, 1, 3, 3, 2, 0, 0, 3, 3, 3, 1)",2188.903936
+"(0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 2, 3, 1, 2, 1, 1, 1)",2944.271872
+"(2, 0, 0, 1, 1, 0, 1, 1, 2, 0, 3, 1, 1, 0, 3, 0, 1)",2770.863616
+"(2, 0, 1, 0, 0, 1, 2, 0, 0, 0, 0, 1, 0, 2, 1, 0, 0)",2826.83136
+"(2, 1, 0, 3, 0, 1, 2, 1, 0, 0, 1, 0, 0, 2, 1, 3, 1)",2622.490112
+"(1, 1, 1, 0, 1, 1, 0, 1, 3, 3, 0, 1, 1, 2, 3, 3, 1)",2333.738496
+"(1, 1, 2, 2, 1, 2, 1, 1, 1, 2, 2, 3, 3, 1, 2, 3, 1)",2100.823552
+"(1, 0, 1, 2, 0, 1, 2, 1, 2, 0, 3, 0, 3, 2, 2, 1, 0)",2328.75776
+"(2, 1, 0, 0, 0, 1, 2, 2, 2, 0, 0, 1, 3, 3, 3, 2, 1)",2388.919808
+"(1, 0, 2, 2, 1, 1, 1, 1, 1, 2, 2, 3, 2, 2, 3, 2, 1)",2224.162304
+"(1, 1, 2, 0, 0, 2, 0, 1, 1, 3, 0, 1, 1, 2, 3, 3, 1)",2400.84736
+"(1, 1, 1, 3, 0, 1, 2, 1, 0, 2, 2, 1, 0, 2, 1, 3, 1)",2447.771136
+"(1, 0, 1, 3, 0, 2, 2, 1, 3, 2, 3, 2, 0, 2, 2, 2, 0)",2057.43872
+"(1, 0, 2, 3, 0, 2, 1, 2, 0, 3, 3, 0, 3, 1, 3, 3, 1)",2208.695808
+"(1, 0, 0, 3, 1, 2, 2, 1, 1, 0, 3, 0, 1, 3, 1, 2, 1)",2469.0048
+"(1, 0, 1, 1, 0, 2, 0, 1, 3, 0, 2, 1, 3, 1, 0, 0, 1)",2774.533632
+"(1, 1, 2, 3, 0, 1, 2, 1, 2, 3, 2, 3, 3, 3, 3, 1, 0)",2055.47264
+"(1, 1, 1, 2, 0, 2, 2, 1, 3, 1, 3, 1, 3, 2, 2, 3, 0)",2036.991488
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 2, 1, 2, 1, 2, 3, 3, 1)",2093.614592
+"(0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 3, 1, 2, 3, 0, 1)",2897.872384
+"(1, 0, 1, 3, 0, 2, 2, 1, 3, 2, 3, 2, 3, 2, 2, 2, 0)",1950.61504
+"(1, 0, 0, 1, 0, 2, 2, 1, 3, 0, 2, 0, 1, 2, 2, 2, 1)",2518.681088
+"(2, 1, 1, 3, 1, 0, 1, 1, 3, 1, 2, 1, 0, 3, 3, 3, 1)",2175.534592
+"(1, 1, 2, 3, 0, 2, 2, 1, 0, 0, 1, 1, 0, 2, 1, 3, 1)",2447.640064
+"(1, 0, 1, 2, 1, 1, 1, 1, 3, 3, 3, 3, 2, 1, 3, 2, 0)",1993.737728
+"(1, 1, 2, 3, 0, 2, 2, 1, 3, 3, 2, 1, 3, 3, 3, 3, 0)",1869.481472
+"(1, 0, 2, 0, 1, 2, 0, 1, 3, 3, 0, 1, 1, 2, 3, 3, 1)",2333.738496
+"(2, 0, 0, 1, 0, 2, 1, 0, 3, 0, 0, 0, 3, 1, 3, 0, 1)",2757.3632
+"(1, 1, 2, 0, 1, 2, 1, 2, 3, 1, 0, 3, 1, 2, 3, 1, 0)",2257.847808
+"(2, 1, 0, 3, 1, 0, 2, 1, 3, 1, 2, 1, 0, 2, 3, 3, 1)",2275.804672
+"(2, 1, 1, 2, 0, 0, 0, 0, 1, 0, 0, 3, 1, 3, 3, 2, 1)",2450.523648
+"(0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 3, 1, 2, 3, 1, 1)",2855.273984
+"(2, 0, 0, 3, 0, 2, 1, 0, 3, 0, 0, 0, 3, 0, 3, 0, 1)",2687.763968
+"(1, 1, 1, 2, 1, 2, 1, 1, 1, 2, 2, 3, 2, 1, 3, 1, 0)",2226.390528
+"(0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 2, 2, 0, 1)",3133.670912
+"(1, 0, 0, 2, 1, 2, 1, 1, 1, 2, 2, 0, 3, 1, 2, 0, 1)",2618.557952
+"(0, 1, 1, 2, 0, 0, 2, 0, 2, 2, 2, 3, 1, 2, 3, 3, 1)",2308.834816
+"(1, 0, 0, 3, 0, 2, 2, 1, 3, 2, 2, 2, 1, 2, 2, 2, 1)",2339.89888
+"(1, 1, 0, 3, 1, 0, 2, 1, 3, 1, 2, 1, 0, 2, 3, 3, 1)",2294.67904
+"(2, 1, 1, 1, 0, 0, 0, 0, 3, 0, 0, 1, 1, 2, 3, 1, 1)",2698.3808
+"(2, 1, 1, 0, 0, 1, 0, 0, 3, 3, 0, 0, 3, 1, 3, 0, 1)",2631.796224
+"(2, 0, 0, 3, 0, 2, 2, 0, 3, 0, 0, 1, 2, 0, 3, 0, 1)",2687.23968
+"(0, 1, 0, 2, 0, 2, 0, 0, 1, 2, 0, 0, 1, 2, 1, 0, 0)",2895.382016
+"(1, 1, 2, 2, 0, 2, 2, 1, 2, 0, 2, 3, 3, 3, 3, 1, 0)",2086.667776
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 1, 2, 1, 3, 3, 3, 3, 0)",1861.092864
+"(1, 0, 1, 3, 0, 2, 2, 1, 3, 2, 2, 2, 3, 2, 2, 2, 0)",1992.951296
+"(1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 2, 1, 0, 1)",3133.801984
+"(1, 0, 1, 3, 0, 0, 2, 1, 3, 1, 2, 2, 0, 2, 2, 2, 0)",2234.910208
+"(0, 1, 0, 1, 0, 2, 2, 0, 3, 0, 0, 1, 3, 2, 1, 0, 1)",2764.310016
+"(0, 1, 0, 1, 1, 0, 0, 0, 3, 0, 2, 0, 1, 2, 1, 0, 1)",2929.329664
+"(2, 0, 0, 1, 1, 2, 2, 1, 3, 3, 2, 1, 2, 3, 3, 3, 1)",2157.05344
+"(1, 1, 2, 3, 0, 1, 2, 1, 2, 3, 2, 3, 3, 3, 3, 3, 0)",1891.894784
+"(1, 1, 1, 2, 0, 2, 2, 1, 3, 0, 3, 3, 3, 2, 3, 3, 0)",1897.399808
+"(2, 1, 2, 0, 0, 1, 2, 0, 0, 0, 0, 3, 0, 2, 1, 3, 1)",2559.44448
+"(1, 1, 1, 0, 1, 1, 0, 1, 3, 3, 0, 1, 1, 2, 3, 2, 1)",2362.705408
+"(1, 0, 1, 1, 0, 2, 2, 1, 3, 0, 3, 0, 3, 2, 2, 2, 0)",2129.397248
+"(2, 1, 2, 3, 0, 2, 2, 1, 3, 3, 2, 1, 3, 3, 3, 3, 0)",1850.607104
+"(0, 1, 0, 2, 1, 2, 2, 0, 3, 0, 2, 3, 3, 3, 3, 2, 1)",2113.79968
+"(1, 0, 0, 1, 1, 2, 1, 1, 3, 0, 0, 1, 1, 2, 3, 3, 1)",2459.305472
+"(2, 0, 0, 1, 1, 2, 1, 1, 3, 3, 2, 0, 3, 3, 3, 3, 1)",2157.577728
+"(1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 2, 3, 2, 1, 3, 3, 1)",2313.02912
+"(1, 0, 1, 3, 0, 1, 0, 2, 3, 3, 2, 1, 0, 1, 0, 1, 1)",2732.066304
+"(1, 1, 0, 3, 0, 0, 1, 1, 3, 3, 2, 0, 0, 3, 3, 3, 1)",2283.275776
+"(1, 0, 1, 1, 0, 2, 2, 1, 3, 0, 3, 1, 1, 2, 2, 2, 0)",2225.997312
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 3, 3, 3, 1, 2, 3, 1)",1870.66112
+"(2, 1, 0, 3, 1, 2, 2, 1, 3, 2, 3, 1, 0, 2, 3, 3, 1)",2098.333184
+"(2, 1, 0, 3, 0, 0, 2, 0, 3, 0, 0, 1, 0, 2, 3, 3, 1)",2464.548352
+"(2, 0, 0, 1, 0, 2, 2, 1, 3, 0, 0, 0, 3, 1, 2, 2, 1)",2528.249344
+"(2, 0, 0, 1, 1, 2, 2, 1, 3, 1, 2, 1, 3, 0, 3, 0, 1)",2531.788288
+"(1, 0, 0, 1, 0, 2, 1, 0, 3, 0, 2, 0, 1, 2, 3, 0, 1)",2747.794944
+"(2, 0, 0, 1, 0, 2, 2, 0, 2, 0, 0, 1, 3, 0, 3, 0, 1)",2766.407168
+"(2, 0, 0, 3, 0, 1, 2, 1, 0, 2, 0, 0, 0, 2, 1, 3, 1)",2677.40928
+"(0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 2, 0, 1, 2, 1, 0, 1)",3090.810368
+"(0, 1, 0, 2, 0, 2, 1, 0, 2, 2, 0, 3, 1, 2, 3, 0, 1)",2607.547904
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 2, 1, 1, 2, 3, 1, 0)",2348.156416
+"(0, 1, 2, 1, 0, 0, 0, 1, 1, 3, 0, 3, 3, 2, 2, 0, 1)",2581.07136
+"(1, 0, 1, 2, 0, 2, 0, 0, 3, 0, 2, 1, 1, 1, 3, 1, 1)",2681.079296
+"(2, 0, 0, 1, 0, 1, 2, 1, 1, 0, 0, 1, 0, 2, 1, 0, 1)",2994.865664
+"(1, 1, 0, 3, 1, 1, 0, 1, 3, 2, 3, 1, 0, 2, 3, 2, 1)",2316.043776
+"(1, 0, 0, 1, 1, 2, 1, 1, 3, 0, 0, 1, 1, 2, 3, 3, 0)",2308.310528
+"(0, 1, 0, 1, 0, 0, 2, 1, 1, 0, 0, 0, 1, 2, 3, 0, 0)",2794.194432
+"(2, 1, 2, 1, 1, 2, 2, 1, 2, 1, 2, 1, 1, 2, 3, 3, 0)",2127.693312
+"(2, 1, 2, 0, 0, 2, 2, 1, 3, 3, 2, 1, 3, 2, 3, 3, 0)",1988.62592
+"(1, 1, 2, 2, 1, 2, 1, 1, 2, 3, 2, 3, 3, 1, 2, 3, 1)",2015.49568
+"(1, 0, 2, 1, 0, 2, 1, 0, 3, 0, 0, 1, 3, 1, 3, 3, 0)",2300.839424
+"(0, 1, 2, 2, 0, 2, 0, 1, 3, 0, 3, 3, 3, 1, 2, 0, 1)",2410.0224
+"(2, 1, 0, 0, 0, 1, 2, 1, 0, 0, 0, 0, 0, 2, 1, 0, 1)",2926.183936
+"(1, 1, 2, 2, 0, 2, 2, 1, 3, 0, 2, 3, 3, 3, 3, 1, 0)",2040.792576
+"(1, 1, 0, 0, 1, 2, 1, 0, 3, 0, 3, 1, 0, 2, 3, 0, 1)",2554.725888
+"(0, 1, 0, 1, 1, 0, 0, 0, 3, 0, 0, 0, 1, 2, 1, 0, 1)",2984.11776
+"(2, 0, 1, 1, 0, 0, 2, 0, 3, 0, 2, 0, 3, 1, 3, 2, 1)",2487.617024
+"(0, 1, 2, 3, 1, 0, 0, 0, 3, 0, 2, 3, 3, 3, 3, 3, 1)",2141.455872
+"(1, 1, 0, 2, 1, 2, 1, 0, 3, 0, 3, 3, 1, 1, 3, 3, 1)",2244.085248
+"(1, 0, 0, 1, 0, 2, 1, 2, 3, 0, 2, 0, 0, 2, 0, 0, 1)",2829.977088
+"(0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 2, 2, 0, 1)",3060.008448
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 0, 1, 1, 2, 3, 3, 1)",2144.994816
+"(1, 0, 1, 1, 0, 2, 2, 1, 3, 0, 3, 1, 1, 2, 2, 2, 1)",2376.992256
+"(1, 1, 1, 2, 0, 2, 0, 0, 3, 0, 3, 3, 3, 2, 1, 3, 1)",2248.80384
+"(0, 1, 0, 3, 1, 0, 0, 0, 3, 0, 2, 3, 3, 3, 3, 1, 1)",2418.279936
+"(1, 1, 1, 3, 1, 1, 0, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2195.71968
+"(1, 1, 2, 3, 0, 1, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1803.683328
+"(1, 1, 2, 2, 0, 2, 2, 1, 3, 0, 3, 3, 3, 3, 3, 1, 0)",1998.45632
+"(2, 1, 0, 3, 0, 2, 2, 1, 3, 3, 2, 0, 3, 3, 3, 0, 1)",2231.633408
+"(2, 0, 0, 1, 1, 0, 2, 0, 1, 3, 0, 1, 1, 2, 2, 3, 1)",2594.309632
+"(1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 2, 1, 0, 1)",3128.821248
+"(0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 3, 1, 2, 2, 0, 1)",2940.339712
+"(1, 0, 0, 0, 0, 2, 1, 1, 3, 0, 3, 0, 1, 2, 1, 0, 0)",2660.500992
+"(0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 2, 1, 0, 1)",3234.989568
+"(1, 0, 1, 1, 0, 1, 2, 0, 0, 0, 0, 1, 0, 2, 2, 2, 1)",2699.298304
+"(1, 0, 2, 1, 0, 2, 1, 1, 3, 0, 2, 1, 1, 1, 2, 2, 0)",2362.443264
+"(1, 1, 1, 0, 1, 1, 0, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2290.09152
+"(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 2, 1, 0, 1)",3260.941824
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 1, 2, 1, 2, 2, 3, 1)",2034.238976
+"(1, 1, 2, 2, 0, 2, 2, 1, 3, 0, 2, 1, 3, 1, 2, 3, 1)",2194.146816
+"(2, 0, 0, 1, 1, 0, 2, 0, 3, 0, 0, 1, 3, 0, 3, 3, 1)",2533.23008
+"(1, 0, 1, 2, 0, 2, 0, 2, 3, 0, 2, 1, 0, 1, 0, 1, 0)",2612.266496
+"(0, 0, 0, 1, 0, 0, 2, 0, 1, 0, 0, 1, 1, 2, 2, 0, 1)",3039.299072
+"(2, 0, 0, 3, 0, 0, 2, 0, 3, 3, 2, 1, 1, 3, 3, 0, 1)",2573.600256
+"(2, 0, 1, 1, 1, 2, 2, 1, 3, 0, 1, 2, 0, 1, 3, 0, 0)",2385.11872
+"(0, 1, 2, 1, 1, 2, 0, 0, 3, 2, 2, 2, 1, 2, 3, 1, 1)",2432.042496
+"(1, 1, 2, 1, 1, 2, 1, 1, 3, 3, 3, 1, 3, 1, 2, 3, 0)",2026.243584
+"(1, 1, 2, 3, 0, 1, 2, 1, 0, 3, 0, 0, 0, 3, 3, 3, 1)",2256.0128
+"(1, 0, 0, 0, 0, 2, 1, 2, 3, 3, 0, 0, 0, 2, 0, 0, 1)",2815.821312
+"(1, 1, 2, 3, 0, 2, 2, 1, 3, 3, 2, 1, 3, 2, 3, 3, 0)",1913.128448
+"(1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 2, 1, 0, 1)",3102.868992
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 2, 3, 3, 3, 1, 3, 3, 1)",1930.036736
+"(1, 0, 1, 1, 1, 2, 1, 1, 3, 3, 3, 3, 1, 2, 2, 2, 0)",2001.470976
+"(1, 1, 0, 3, 0, 2, 2, 1, 3, 1, 2, 1, 0, 2, 3, 0, 1)",2481.980928
+"(2, 1, 2, 0, 0, 2, 2, 1, 3, 3, 2, 1, 3, 2, 3, 3, 1)",2045.249024
+"(2, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, 2, 1, 0, 1)",3015.57504
+"(0, 1, 2, 1, 0, 2, 0, 1, 1, 0, 0, 1, 3, 2, 1, 3, 0)",2511.996416
+"(1, 0, 0, 0, 0, 1, 1, 0, 0, 2, 0, 1, 0, 2, 1, 3, 1)",2880.046592
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 0, 1, 3, 1, 2, 3, 3, 1)",2300.57728
+"(1, 0, 1, 2, 0, 2, 2, 1, 3, 0, 2, 3, 1, 2, 2, 2, 1)",2263.746048
+"(2, 1, 0, 0, 0, 2, 2, 1, 3, 0, 2, 1, 3, 2, 1, 0, 0)",2539.652608
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 0, 2, 1, 1, 2, 3, 3, 1)",2159.150592
+"(1, 1, 2, 0, 1, 1, 0, 1, 3, 3, 1, 1, 1, 2, 3, 3, 1)",2311.7184
+"(0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 2, 2, 3, 1)",2927.494656
+"(2, 1, 2, 0, 1, 2, 1, 1, 3, 3, 0, 3, 3, 1, 2, 3, 1)",2081.03168
+"(1, 1, 2, 3, 0, 2, 2, 0, 3, 3, 2, 1, 1, 3, 3, 3, 0)",2027.685376
+"(2, 0, 0, 0, 1, 1, 2, 1, 3, 3, 0, 1, 2, 2, 3, 3, 1)",2349.860352
+"(0, 1, 0, 1, 0, 0, 0, 0, 1, 1, 0, 3, 1, 2, 3, 0, 0)",2839.414272
+"(2, 0, 1, 1, 1, 2, 2, 1, 3, 2, 0, 2, 1, 2, 3, 2, 1)",2238.97344
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 2, 1, 2, 1, 2, 3, 0, 1)",2299.790848
+"(1, 1, 1, 2, 1, 2, 2, 1, 3, 3, 3, 1, 1, 2, 3, 3, 1)",1991.24736
+"(0, 1, 1, 2, 0, 0, 2, 1, 2, 2, 2, 3, 3, 2, 3, 3, 1)",2150.630912
+"(2, 1, 0, 1, 0, 2, 2, 1, 0, 0, 2, 0, 0, 3, 1, 0, 1)",2733.377024
+"(1, 1, 2, 3, 0, 1, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1860.306432
+"(0, 1, 1, 2, 0, 0, 1, 1, 2, 2, 2, 3, 1, 2, 3, 3, 1)",2289.960448
+"(1, 1, 2, 2, 1, 2, 2, 0, 3, 3, 3, 3, 3, 1, 2, 3, 1)",1946.158592
+"(2, 1, 1, 0, 1, 2, 2, 0, 3, 3, 0, 1, 1, 2, 2, 3, 1)",2244.085248
+"(0, 0, 0, 0, 0, 2, 0, 0, 1, 3, 0, 1, 1, 2, 2, 3, 1)",2764.178944
+"(1, 1, 2, 3, 0, 1, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 1)",1902.642688
+"(0, 1, 0, 1, 1, 0, 0, 0, 3, 0, 1, 2, 1, 2, 3, 1, 1)",2733.901312
+"(1, 0, 0, 1, 1, 2, 1, 1, 3, 2, 0, 1, 0, 2, 3, 3, 1)",2421.949952
+"(1, 1, 2, 1, 0, 1, 1, 0, 3, 3, 2, 0, 3, 2, 3, 0, 0)",2369.652224
+"(1, 1, 2, 0, 1, 1, 0, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2271.217152
+"(1, 1, 1, 2, 1, 2, 2, 1, 3, 3, 2, 1, 1, 2, 3, 3, 1)",2033.583616
+"(0, 0, 0, 1, 1, 0, 0, 0, 3, 0, 0, 3, 1, 2, 3, 2, 1)",2653.554176
+"(1, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1)",3191.080448
+"(1, 1, 2, 3, 1, 2, 2, 0, 3, 1, 3, 1, 3, 1, 2, 3, 1)",2112.226816
+"(1, 1, 1, 0, 1, 1, 0, 1, 1, 3, 0, 1, 1, 3, 3, 0, 1)",2582.251008
+"(0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1, 2, 0, 1)",3152.283136
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2046.035456
+"(2, 0, 2, 1, 0, 2, 1, 0, 3, 2, 2, 3, 1, 2, 3, 0, 1)",2469.135872
+"(1, 1, 0, 3, 0, 2, 0, 0, 3, 3, 2, 1, 3, 3, 3, 3, 0)",2133.722624
+"(0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 1, 2, 3, 0, 1)",3034.58048
+"(2, 1, 2, 1, 1, 0, 1, 1, 3, 0, 0, 3, 3, 1, 2, 3, 1)",2244.347392
+"(1, 1, 1, 0, 1, 1, 2, 1, 3, 3, 0, 1, 1, 2, 3, 3, 1)",2239.366656
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 2, 2, 3, 1, 2, 3, 3, 1)",1998.718464
+"(2, 0, 1, 0, 0, 1, 2, 0, 0, 2, 0, 2, 1, 2, 1, 2, 1)",2697.07008
+"(1, 0, 0, 3, 0, 2, 2, 1, 3, 0, 3, 3, 1, 3, 3, 3, 1)",2181.826048
+"(1, 1, 1, 3, 0, 2, 2, 1, 3, 3, 2, 1, 3, 3, 3, 3, 0)",1888.35584
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 1, 3, 1, 3, 3, 3, 3, 0)",1818.756608
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 2, 2, 2, 1, 2, 3, 1, 1)",2224.424448
+"(2, 0, 0, 0, 0, 2, 2, 0, 3, 0, 0, 1, 3, 2, 3, 0, 1)",2658.272768
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 0)",1695.02464
+"(0, 1, 0, 1, 0, 0, 0, 0, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2605.712896
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 3, 0, 3, 3, 2, 2, 3, 1)",1968.047616
+"(1, 1, 2, 3, 0, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 3, 0)",1902.642688
+"(1, 1, 0, 1, 1, 2, 2, 1, 3, 0, 3, 0, 3, 1, 3, 3, 1)",2208.695808
+"(0, 0, 2, 1, 0, 0, 2, 1, 1, 0, 0, 1, 1, 2, 2, 0, 1)",2869.42976
+"(2, 0, 0, 0, 0, 1, 2, 0, 0, 3, 0, 1, 0, 2, 3, 0, 1)",2840.59392
+"(2, 0, 0, 1, 0, 1, 2, 1, 1, 0, 0, 1, 0, 2, 1, 0, 0)",2843.87072
+"(0, 0, 0, 1, 0, 2, 2, 0, 1, 0, 0, 1, 3, 0, 3, 0, 1)",2882.012672
+"(1, 0, 0, 0, 1, 1, 1, 1, 3, 0, 0, 1, 2, 2, 1, 3, 1)",2638.08768
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 1, 2, 1, 3, 3, 3, 3, 1)",1917.715968
+"(2, 0, 0, 1, 0, 0, 2, 0, 3, 0, 0, 1, 1, 2, 2, 0, 1)",2877.818368
+"(1, 1, 0, 1, 0, 0, 2, 0, 1, 3, 0, 1, 1, 2, 1, 0, 1)",2901.804544
+"(0, 0, 2, 3, 0, 2, 0, 1, 3, 0, 2, 1, 3, 3, 3, 3, 0)",2108.294656
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 1, 1, 1, 3, 3, 3, 3, 0)",1988.232704
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 2, 0, 3, 3, 1, 3, 3, 1)",2046.035456
+"(2, 1, 2, 0, 1, 2, 2, 0, 3, 3, 0, 3, 3, 2, 3, 3, 1)",1982.203392
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 2, 1, 1, 2, 3, 3, 1)",1995.83488
+"(1, 1, 2, 0, 0, 1, 2, 1, 3, 0, 3, 3, 3, 3, 3, 3, 0)",1985.873408
+"(2, 1, 2, 0, 0, 2, 2, 1, 3, 3, 0, 1, 1, 2, 3, 3, 0)",2144.994816
+"(1, 1, 2, 0, 0, 1, 0, 1, 3, 3, 2, 1, 3, 3, 3, 3, 1)",2190.345728
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 2, 3, 1)",1830.0288
+"(2, 1, 2, 1, 1, 2, 1, 0, 3, 2, 2, 3, 3, 3, 3, 0, 0)",2097.41568
+"(0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 1, 2, 0, 1)",3208.90624
+"(1, 1, 1, 0, 1, 1, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2140.407296
+"(1, 1, 1, 3, 0, 1, 2, 1, 3, 3, 2, 1, 3, 3, 3, 3, 0)",1963.853312
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 2, 3, 2, 1, 2, 3, 3, 1)",1924.138496
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",1930.036736
+"(0, 1, 0, 1, 0, 0, 0, 1, 1, 0, 0, 3, 1, 2, 2, 0, 1)",2883.716608
+"(1, 1, 1, 2, 1, 2, 2, 1, 3, 3, 3, 3, 3, 1, 2, 3, 1)",1908.409856
+"(1, 0, 0, 3, 0, 1, 1, 0, 0, 3, 0, 1, 0, 2, 1, 0, 1)",2946.631168
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 2, 1, 3, 2, 3, 3, 1)",1988.62592
+"(1, 1, 1, 3, 1, 1, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2002.38848
+"(1, 1, 2, 3, 0, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1784.80896
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 1, 2, 1, 3, 2, 3, 3, 0)",1999.11168
+"(2, 0, 2, 2, 0, 2, 2, 1, 3, 3, 2, 3, 1, 2, 3, 3, 1)",2066.744832
+"(0, 1, 0, 1, 0, 0, 1, 0, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2549.089792
+"(1, 1, 2, 3, 0, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1728.185856
+"(2, 1, 2, 1, 1, 2, 2, 0, 3, 2, 1, 2, 1, 2, 3, 3, 1)",2150.237696
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 2, 3, 3, 3, 1, 2, 3, 1)",1972.504064
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 2, 1, 3, 2, 3, 3, 0)",1932.002816
+"(2, 1, 0, 0, 0, 0, 2, 0, 1, 3, 0, 3, 1, 2, 2, 0, 1)",2701.526528
+"(1, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 3, 0, 0, 1, 0, 1)",3092.121088
+"(2, 0, 2, 1, 0, 2, 1, 1, 3, 2, 2, 3, 1, 2, 3, 0, 1)",2412.512768
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 3, 3, 3, 1, 3, 3, 1)",1828.193792
+"(1, 1, 2, 0, 0, 1, 0, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2346.714624
+"(0, 1, 2, 1, 1, 2, 0, 1, 3, 0, 0, 3, 3, 2, 3, 3, 1)",2164.393472
+"(2, 0, 2, 0, 0, 2, 1, 0, 3, 2, 0, 3, 1, 2, 2, 0, 1)",2585.265664
+"(1, 1, 1, 0, 0, 1, 0, 1, 3, 3, 2, 1, 1, 3, 3, 3, 1)",2310.800896
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 0)",1751.647744
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 2, 3, 3, 2, 3, 3, 1)",1851.917824
+"(1, 1, 2, 3, 1, 1, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1881.933312
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 2, 3, 3, 3, 1, 3, 3, 1)",1873.413632
+"(0, 1, 0, 1, 0, 0, 0, 0, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2680.948224
+"(0, 0, 0, 1, 0, 2, 0, 1, 1, 0, 2, 1, 1, 2, 1, 0, 1)",3029.206528
+"(1, 1, 0, 1, 0, 1, 0, 1, 0, 3, 0, 1, 1, 3, 3, 0, 1)",2735.08096
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 0)",1989.412352
+"(1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 2, 1, 1, 1, 2, 0, 1)",3097.49504
+"(0, 1, 2, 1, 0, 0, 1, 0, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2435.843584
+"(2, 1, 2, 3, 0, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 0)",1751.647744
+"(0, 1, 0, 1, 0, 0, 0, 1, 1, 0, 0, 3, 1, 2, 2, 0, 0)",2827.093504
+"(2, 0, 0, 0, 1, 1, 1, 1, 0, 0, 0, 1, 0, 2, 3, 0, 1)",2834.04032
+"(1, 0, 0, 1, 0, 2, 1, 2, 3, 3, 2, 0, 0, 2, 3, 0, 1)",2589.722112
+"(2, 1, 2, 1, 0, 2, 2, 0, 3, 3, 2, 3, 1, 2, 3, 3, 1)",2085.6192
+"(0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 1)",3317.958144
+"(2, 1, 0, 0, 0, 2, 2, 1, 0, 3, 0, 1, 0, 3, 3, 3, 0)",2307.655168
+"(1, 1, 1, 3, 0, 2, 0, 1, 3, 3, 0, 3, 1, 3, 3, 3, 0)",2040.137216
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3, 1)",1752.958464
+"(2, 1, 1, 0, 1, 0, 2, 0, 3, 3, 0, 1, 3, 2, 3, 3, 1)",2194.40896
+"(1, 0, 1, 0, 1, 1, 1, 0, 3, 0, 0, 1, 0, 0, 1, 3, 1)",2746.091008
+"(0, 0, 0, 1, 0, 2, 1, 2, 3, 0, 0, 0, 0, 2, 0, 0, 1)",2941.388288
+"(2, 0, 0, 1, 0, 2, 1, 0, 3, 2, 2, 3, 1, 2, 3, 0, 1)",2582.38208
+"(1, 1, 2, 2, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1728.185856
+"(1, 0, 0, 0, 0, 1, 2, 0, 3, 3, 0, 1, 2, 2, 1, 3, 1)",2644.64128
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 0, 0, 1, 1, 2, 0, 3, 1)",2385.249792
+"(0, 1, 0, 1, 1, 0, 1, 1, 3, 0, 0, 3, 3, 2, 3, 3, 1)",2315.388416
+"(1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 1, 2, 0, 1)",3082.028544
+"(2, 0, 2, 1, 1, 1, 2, 0, 3, 3, 2, 3, 3, 2, 3, 0, 1)",2284.586496
+"(1, 1, 2, 0, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 3, 1)",1978.14016
+"(0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 2, 1, 0, 1)",3239.970304
+"(1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1)",3266.57792
+"(0, 1, 2, 1, 1, 2, 0, 1, 1, 3, 2, 3, 3, 3, 3, 3, 1)",2064.123392
+"(0, 1, 0, 1, 0, 2, 1, 0, 3, 0, 2, 3, 1, 2, 3, 3, 1)",2399.929856
+"(1, 1, 1, 0, 0, 2, 2, 1, 3, 3, 2, 1, 3, 2, 3, 3, 0)",2026.374656
+"(1, 1, 1, 0, 1, 1, 2, 1, 2, 3, 0, 3, 1, 2, 3, 2, 1)",2215.249408
+"(1, 0, 0, 1, 0, 2, 1, 0, 3, 0, 2, 1, 1, 2, 3, 0, 1)",2742.814208
+"(1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2214.594048
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 2, 2, 0, 0)",2571.24096
+"(2, 1, 2, 1, 1, 0, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 1)",2001.07776
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1690.43712
+"(0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 2, 3, 3, 1)",2754.74176
+"(2, 0, 0, 1, 0, 1, 2, 0, 3, 3, 0, 3, 0, 2, 3, 0, 1)",2634.941952
+"(2, 1, 0, 0, 0, 1, 0, 0, 3, 3, 0, 1, 0, 2, 3, 0, 1)",2752.77568
+"(0, 1, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 2, 3, 0, 1)",2902.459904
+"(1, 1, 2, 0, 1, 1, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 0)",2021.262848
+"(2, 1, 2, 2, 0, 2, 1, 1, 3, 0, 0, 3, 0, 0, 1, 3, 1)",2382.890496
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 0, 1, 3, 3, 3, 3, 0)",1848.772096
+"(1, 1, 1, 0, 1, 1, 0, 1, 3, 1, 0, 1, 1, 3, 3, 3, 1)",2376.074752
+"(2, 0, 2, 2, 0, 2, 0, 1, 3, 3, 2, 3, 1, 2, 3, 3, 1)",2161.116672
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 2, 3, 3, 2, 3, 3, 1)",2040.661504
+"(1, 0, 2, 3, 0, 2, 2, 1, 3, 3, 3, 3, 2, 3, 3, 3, 1)",1921.385984
+"(0, 0, 0, 1, 0, 2, 1, 0, 3, 0, 0, 0, 0, 2, 0, 0, 1)",3016.88576
+"(1, 1, 2, 1, 1, 2, 2, 1, 3, 2, 2, 3, 3, 2, 3, 3, 1)",1916.012032
+"(1, 1, 1, 1, 1, 0, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2140.407296
+"(0, 0, 0, 1, 0, 0, 2, 0, 0, 0, 0, 3, 1, 1, 3, 3, 1)",2768.766464
+"(1, 0, 0, 0, 1, 1, 0, 1, 3, 3, 0, 1, 1, 3, 1, 3, 1)",2622.621184
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 2, 3, 3, 2, 3, 3, 1)",1870.792192
+"(1, 0, 0, 1, 1, 1, 2, 0, 0, 3, 3, 1, 3, 2, 3, 0, 1)",2561.148416
+"(1, 0, 0, 1, 0, 1, 1, 0, 0, 0, 2, 3, 0, 0, 1, 0, 1)",3037.332992
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 2, 1, 3, 3, 3, 3, 1)",1831.732736
+"(0, 0, 0, 1, 0, 0, 2, 0, 1, 0, 0, 1, 1, 1, 2, 0, 1)",3114.5344
+"(0, 1, 2, 1, 1, 0, 1, 0, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2360.346112
+"(2, 1, 0, 0, 1, 1, 2, 1, 3, 3, 0, 1, 3, 2, 3, 3, 0)",2156.660224
+"(2, 0, 2, 0, 0, 2, 1, 2, 3, 2, 0, 3, 1, 2, 2, 0, 1)",2509.768192
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",1810.892288
+"(1, 1, 2, 1, 0, 2, 1, 0, 3, 0, 3, 3, 1, 2, 3, 3, 1)",2187.724288
+"(1, 1, 2, 1, 0, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1860.306432
+"(0, 0, 0, 1, 0, 0, 2, 0, 0, 0, 0, 1, 1, 2, 2, 0, 1)",3041.13408
+"(2, 1, 1, 0, 1, 1, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 0)",1963.329024
+"(0, 1, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 2, 2, 0, 1)",2992.899584
+"(0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1, 2, 0, 0)",3001.288192
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1633.814016
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 2, 3, 3, 2, 3, 3, 1)",1776.420352
+"(2, 0, 0, 0, 0, 1, 2, 0, 1, 3, 0, 1, 0, 2, 3, 0, 1)",2838.758912
+"(1, 1, 2, 1, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",1928.726016
+"(0, 0, 0, 1, 0, 2, 1, 2, 3, 0, 0, 3, 1, 2, 0, 0, 1)",2832.205312
+"(2, 1, 2, 3, 0, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 1)",1808.270848
+"(1, 0, 1, 0, 0, 1, 1, 0, 3, 2, 0, 3, 1, 2, 2, 0, 1)",2698.511872
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1709.311488
+"(2, 1, 2, 0, 1, 2, 0, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2176.845312
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3, 1)",1734.084096
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 1)",1906.70592
+"(1, 1, 2, 1, 0, 2, 2, 1, 3, 3, 3, 1, 3, 2, 3, 3, 1)",2002.912768
+"(2, 1, 1, 0, 1, 2, 0, 1, 3, 3, 0, 1, 1, 2, 3, 3, 1)",2239.366656
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 0, 2, 3, 3, 3, 3, 0, 0)",2045.64224
+"(0, 1, 0, 2, 1, 2, 2, 0, 0, 0, 0, 1, 3, 3, 3, 3, 1)",2326.398464
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 0)",1970.537984
+"(1, 1, 0, 1, 1, 2, 1, 2, 3, 3, 2, 3, 3, 2, 0, 1, 1)",2318.92736
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 2, 3, 1, 2, 3, 3, 0)",2085.6192
+"(0, 0, 0, 1, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 0)",2096.76032
+"(0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 3, 1, 2, 2, 0, 1)",2978.088448
+"(2, 0, 2, 2, 0, 2, 2, 0, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1935.803904
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 1)",1846.019584
+"(1, 1, 1, 0, 1, 1, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2096.76032
+"(0, 0, 0, 1, 0, 0, 0, 0, 1, 3, 0, 1, 1, 1, 2, 3, 1)",2914.911744
+"(2, 0, 2, 1, 0, 0, 2, 1, 3, 3, 3, 3, 1, 2, 2, 0, 1)",2424.047104
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 1)",1925.580288
+"(2, 0, 2, 1, 0, 2, 2, 1, 3, 0, 2, 0, 0, 2, 3, 2, 1)",2349.336064
+"(0, 1, 2, 1, 1, 0, 1, 0, 3, 0, 0, 3, 3, 3, 3, 3, 1)",2215.118336
+"(2, 1, 2, 3, 0, 2, 1, 2, 3, 0, 3, 3, 3, 2, 0, 0, 1)",2274.887168
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2002.38848
+"(1, 1, 1, 0, 0, 1, 1, 0, 3, 2, 0, 3, 1, 2, 2, 0, 1)",2604.140032
+"(2, 1, 2, 0, 1, 2, 1, 1, 3, 2, 0, 3, 1, 2, 2, 0, 1)",2358.773248
+"(1, 1, 2, 0, 1, 2, 2, 0, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1957.430784
+"(1, 0, 1, 0, 1, 1, 0, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2384.46336
+"(0, 0, 0, 1, 1, 0, 2, 0, 3, 0, 0, 3, 1, 1, 2, 3, 1)",2647.91808
+"(2, 0, 2, 2, 0, 2, 2, 1, 3, 3, 0, 1, 1, 2, 3, 3, 1)",2220.492288
+"(0, 1, 1, 0, 1, 2, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 0)",2227.963392
+"(0, 0, 0, 1, 0, 2, 1, 0, 1, 0, 0, 1, 1, 3, 2, 3, 1)",2732.852736
+"(2, 0, 2, 3, 1, 0, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1728.185856
+"(2, 1, 0, 0, 1, 1, 2, 1, 3, 3, 0, 1, 2, 2, 3, 3, 1)",2255.488512
+"(2, 1, 1, 0, 0, 2, 0, 1, 1, 3, 0, 1, 1, 2, 3, 0, 1)",2607.023616
+"(0, 0, 0, 1, 0, 0, 2, 0, 0, 0, 2, 3, 1, 2, 2, 0, 1)",2887.386624
+"(2, 1, 0, 1, 0, 0, 0, 0, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2442.397184
+"(1, 1, 2, 1, 0, 0, 2, 1, 3, 3, 3, 3, 3, 1, 3, 0, 1)",2279.736832
+"(0, 1, 0, 1, 0, 2, 2, 0, 1, 0, 0, 1, 1, 2, 2, 0, 1)",2850.555392
+"(2, 1, 0, 0, 1, 0, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2322.597376
+"(2, 0, 1, 1, 1, 2, 2, 1, 3, 3, 3, 1, 2, 2, 3, 3, 1)",2063.99232
+"(1, 1, 1, 1, 1, 1, 2, 1, 3, 3, 1, 3, 1, 2, 3, 3, 1)",2118.3872
+"(2, 1, 0, 0, 1, 1, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2215.904768
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1881.933312
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",1964.639744
+"(2, 1, 2, 3, 1, 1, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 0)",1854.539264
+"(2, 0, 0, 0, 1, 0, 2, 1, 1, 0, 0, 1, 1, 2, 3, 0, 1)",2808.088064
+"(0, 0, 2, 1, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 0)",1827.145216
+"(2, 1, 2, 2, 1, 2, 2, 2, 3, 3, 0, 3, 3, 2, 3, 3, 1)",1831.208448
+"(1, 0, 1, 0, 0, 1, 1, 1, 3, 0, 0, 3, 1, 2, 3, 0, 1)",2642.01984
+"(2, 1, 0, 0, 1, 0, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2234.779136
+"(0, 0, 2, 3, 1, 0, 2, 0, 1, 0, 0, 3, 1, 2, 3, 3, 0)",2276.460032
+"(2, 1, 1, 2, 1, 2, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",1873.413632
+"(0, 1, 1, 0, 0, 2, 2, 1, 3, 0, 0, 1, 3, 2, 3, 3, 1)",2282.2272
+"(0, 0, 2, 1, 1, 2, 2, 1, 3, 3, 1, 3, 1, 3, 3, 0, 1)",2337.539584
+"(0, 0, 0, 1, 1, 0, 2, 0, 0, 0, 0, 1, 1, 3, 2, 3, 1)",2715.813376
+"(1, 0, 1, 0, 0, 1, 1, 0, 1, 2, 0, 3, 1, 2, 2, 0, 1)",2784.495104
+"(0, 0, 0, 1, 1, 2, 2, 1, 1, 3, 0, 3, 1, 1, 3, 3, 1)",2452.6208
+"(2, 1, 2, 1, 0, 0, 1, 1, 3, 0, 3, 3, 3, 2, 3, 3, 1)",2105.017856
+"(1, 1, 1, 0, 1, 1, 2, 1, 3, 3, 2, 3, 3, 2, 3, 3, 1)",1984.0384
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1995.17952
+"(0, 1, 1, 1, 0, 2, 0, 0, 3, 3, 0, 3, 1, 1, 2, 3, 1)",2446.853632
+"(2, 1, 0, 1, 0, 0, 2, 0, 1, 0, 0, 1, 1, 1, 2, 0, 1)",2944.665088
+"(0, 0, 0, 1, 0, 2, 1, 1, 3, 0, 3, 3, 1, 2, 0, 0, 1)",2753.955328
+"(1, 1, 0, 1, 1, 2, 2, 2, 3, 3, 2, 0, 0, 2, 0, 3, 1)",2328.364544
+"(2, 1, 0, 0, 1, 1, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2303.723008
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 3, 1, 3, 3, 2, 0, 1)",2302.281216
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",1983.514112
+"(2, 1, 0, 1, 1, 0, 0, 0, 3, 3, 2, 3, 1, 2, 3, 3, 1)",2312.111616
+"(2, 1, 0, 2, 0, 2, 1, 2, 3, 0, 2, 3, 3, 2, 0, 3, 1)",2243.167744
+"(2, 1, 2, 1, 0, 2, 2, 1, 3, 3, 2, 3, 3, 2, 3, 0, 0)",2076.968448
+"(0, 1, 0, 1, 0, 0, 0, 1, 3, 0, 0, 3, 1, 2, 2, 0, 1)",2797.733376
+"(2, 1, 2, 1, 0, 0, 2, 0, 3, 0, 2, 1, 3, 2, 2, 0, 1)",2513.831424
+"(0, 1, 0, 2, 1, 2, 2, 0, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2197.0304
+"(0, 0, 0, 1, 0, 2, 0, 0, 3, 2, 2, 1, 1, 2, 3, 3, 1)",2607.28576
+"(2, 1, 2, 1, 1, 0, 2, 1, 1, 3, 0, 3, 1, 1, 2, 3, 1)",2306.344448
+"(2, 1, 2, 3, 0, 2, 2, 1, 1, 3, 3, 3, 3, 3, 3, 3, 0)",1795.29472
+"(0, 1, 0, 1, 0, 0, 0, 0, 3, 0, 0, 3, 1, 2, 2, 3, 1)",2648.180224
+"(0, 0, 0, 1, 1, 0, 2, 0, 3, 0, 0, 1, 1, 1, 2, 0, 1)",2953.053696
+"(0, 0, 0, 1, 0, 0, 2, 0, 0, 0, 0, 1, 1, 2, 3, 0, 1)",2998.666752
+"(2, 1, 1, 3, 1, 2, 0, 1, 3, 3, 0, 1, 3, 3, 3, 3, 1)",1999.76704
+"(0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 3, 1, 2, 2, 3, 1)",2734.163456
+"(1, 1, 2, 0, 1, 1, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 0)",1924.138496
+"(0, 1, 0, 1, 0, 0, 1, 1, 3, 0, 0, 3, 1, 2, 3, 0, 1)",2698.642944
+"(2, 1, 2, 0, 0, 0, 0, 1, 3, 0, 0, 3, 1, 2, 2, 0, 1)",2627.864064
+"(2, 1, 2, 1, 0, 0, 2, 0, 3, 0, 3, 3, 3, 2, 3, 3, 1)",2123.892224
+"(2, 1, 0, 3, 0, 0, 2, 1, 3, 0, 0, 3, 3, 2, 3, 3, 1)",2202.142208
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",1835.664896
+"(1, 0, 0, 0, 1, 1, 0, 1, 3, 0, 0, 0, 1, 3, 0, 3, 1)",2724.070912
+"(0, 1, 0, 0, 1, 2, 2, 0, 1, 0, 0, 3, 1, 2, 2, 0, 1)",2694.972928
+"(0, 1, 0, 0, 0, 0, 0, 0, 3, 0, 0, 3, 1, 2, 2, 3, 1)",2667.054592
+"(0, 0, 0, 1, 0, 0, 2, 1, 1, 0, 0, 1, 1, 1, 2, 0, 1)",3057.911296
+"(2, 1, 2, 1, 0, 2, 2, 1, 3, 3, 2, 3, 1, 1, 3, 3, 1)",2104.231424
+"(2, 1, 0, 1, 1, 0, 1, 0, 3, 0, 3, 3, 1, 2, 3, 3, 1)",2300.970496
+"(0, 1, 0, 1, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2153.383424
+"(0, 1, 0, 2, 1, 2, 0, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2191.13216
+"(0, 1, 2, 1, 1, 2, 1, 0, 3, 3, 3, 3, 1, 3, 3, 3, 0)",1980.7616
+"(2, 1, 0, 0, 1, 0, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2310.014464
+"(1, 1, 1, 1, 0, 2, 1, 2, 3, 3, 2, 1, 0, 2, 3, 0, 1)",2395.997696
+"(0, 1, 0, 1, 0, 0, 0, 1, 1, 0, 0, 3, 1, 1, 2, 0, 1)",2958.951936
+"(2, 0, 2, 1, 0, 0, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2327.840256
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 1)",1827.145216
+"(2, 1, 0, 0, 1, 1, 2, 0, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2360.346112
+"(0, 0, 0, 1, 1, 0, 2, 0, 0, 0, 0, 3, 3, 3, 3, 3, 0)",2321.810944
+"(0, 1, 2, 3, 0, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 0)",1881.933312
+"(2, 0, 0, 0, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2191.13216
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 1)",1808.270848
+"(0, 1, 2, 1, 1, 0, 2, 1, 3, 0, 3, 3, 1, 2, 3, 0, 1)",2375.026176
+"(2, 1, 0, 1, 0, 0, 1, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2416.969216
+"(2, 1, 1, 0, 1, 1, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",2023.097856
+"(0, 0, 0, 0, 1, 0, 2, 0, 1, 3, 0, 1, 1, 1, 3, 0, 1)",2927.625728
+"(0, 1, 2, 1, 0, 0, 2, 0, 0, 0, 0, 3, 1, 1, 3, 3, 1)",2561.148416
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 2, 3, 3, 2, 3, 3, 0)",1795.29472
+"(2, 0, 0, 2, 0, 2, 2, 0, 0, 3, 0, 1, 3, 3, 3, 3, 1)",2332.952064
+"(0, 1, 2, 1, 1, 2, 2, 0, 3, 3, 0, 3, 3, 2, 3, 3, 1)",2038.826496
+"(1, 1, 1, 0, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1919.682048
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 2, 2, 3, 1)",2421.687808
+"(1, 0, 0, 0, 0, 0, 1, 0, 1, 2, 0, 1, 1, 1, 2, 0, 1)",3071.936
+"(0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 0, 3, 1, 2, 3, 3, 1)",2636.908032
+"(0, 0, 1, 1, 0, 1, 0, 0, 3, 0, 0, 3, 1, 2, 2, 0, 1)",2835.482112
+"(0, 0, 0, 1, 0, 0, 2, 0, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2680.948224
+"(2, 0, 2, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 2, 0, 1)",2688.812544
+"(0, 1, 0, 2, 1, 0, 2, 0, 1, 3, 3, 3, 3, 2, 3, 3, 1)",2178.68032
+"(2, 0, 0, 1, 1, 2, 2, 1, 3, 3, 0, 1, 3, 2, 2, 3, 1)",2255.750656
+"(0, 0, 2, 1, 1, 2, 2, 0, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2377.90976
+"(2, 1, 2, 1, 1, 2, 2, 0, 3, 0, 3, 3, 3, 3, 3, 0, 1)",2116.552192
+"(1, 1, 1, 1, 0, 0, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",2070.676992
+"(2, 1, 1, 0, 1, 1, 0, 1, 3, 3, 2, 1, 1, 3, 3, 3, 0)",2159.805952
+"(1, 1, 1, 0, 1, 1, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 0)",1986.65984
+"(2, 1, 2, 0, 1, 0, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2196.768256
+"(0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 1, 2, 0, 1)",3227.780608
+"(0, 1, 0, 0, 0, 0, 1, 0, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2567.96416
+"(2, 1, 0, 0, 1, 0, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 0)",2178.156032
+"(0, 1, 2, 1, 0, 0, 2, 0, 1, 0, 0, 3, 1, 2, 3, 0, 1)",2690.254336
+"(2, 1, 0, 1, 0, 0, 2, 1, 0, 3, 0, 3, 1, 2, 3, 0, 1)",2585.396736
+"(0, 0, 0, 2, 0, 0, 0, 1, 1, 3, 0, 1, 1, 1, 2, 3, 1)",2801.665536
+"(0, 1, 0, 0, 1, 2, 0, 1, 1, 0, 0, 3, 1, 2, 2, 0, 1)",2732.721664
+"(1, 1, 2, 1, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1881.933312
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1787.561472
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2096.76032
+"(1, 1, 1, 1, 1, 1, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2176.845312
+"(1, 1, 1, 0, 1, 2, 0, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2115.634688
+"(0, 0, 0, 1, 0, 0, 2, 0, 1, 0, 0, 3, 1, 1, 2, 0, 1)",3015.57504
+"(2, 1, 0, 0, 0, 0, 2, 0, 1, 3, 0, 1, 1, 2, 3, 0, 1)",2758.01856
+"(0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 2, 0, 1)",3213.886976
+"(2, 1, 2, 2, 0, 0, 0, 0, 3, 3, 3, 3, 1, 2, 2, 3, 1)",2217.870848
+"(0, 1, 1, 0, 0, 1, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2228.880896
+"(0, 1, 0, 1, 0, 2, 0, 1, 1, 0, 0, 3, 1, 2, 2, 0, 1)",2789.344768
+"(2, 1, 1, 0, 1, 1, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2176.845312
+"(0, 1, 0, 1, 0, 0, 1, 0, 3, 0, 0, 1, 1, 2, 3, 3, 1)",2648.049152
+"(0, 0, 0, 1, 1, 0, 2, 1, 3, 0, 0, 3, 1, 2, 2, 3, 1)",2516.059648
+"(0, 1, 0, 1, 1, 2, 2, 1, 3, 0, 0, 3, 3, 3, 3, 3, 1)",2139.620864
+"(2, 0, 0, 1, 1, 0, 2, 0, 0, 0, 2, 1, 1, 2, 3, 0, 1)",2792.883712
+"(2, 1, 2, 3, 1, 0, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3, 1)",1828.455936
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3, 0)",1752.958464
+"(1, 1, 2, 0, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2002.38848
+"(2, 1, 0, 2, 1, 0, 2, 0, 1, 3, 3, 1, 3, 3, 2, 3, 1)",2200.96256
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 1)",1732.773376
+"(2, 1, 1, 0, 1, 1, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2121.532928
+"(0, 0, 2, 1, 0, 2, 2, 1, 3, 0, 0, 3, 1, 1, 3, 0, 1)",2622.883328
+"(0, 0, 0, 1, 0, 0, 2, 0, 0, 0, 0, 3, 1, 2, 2, 0, 1)",2942.17472
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 0, 0, 3, 3, 2, 3, 3, 0)",1862.403584
+"(0, 1, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 1, 2, 3, 0, 1)",2940.20864
+"(0, 0, 0, 1, 0, 0, 2, 0, 3, 0, 0, 3, 1, 1, 3, 0, 1)",2887.12448
+"(0, 0, 1, 0, 1, 1, 2, 1, 3, 0, 2, 3, 1, 3, 3, 3, 1)",2280.785408
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 0)",1676.150272
+"(2, 1, 2, 1, 1, 2, 1, 0, 3, 0, 0, 3, 3, 2, 3, 3, 1)",2088.896
+"(2, 0, 0, 0, 1, 0, 2, 0, 3, 3, 0, 1, 1, 1, 2, 0, 1)",2808.612352
+"(2, 1, 0, 0, 0, 0, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 0)",2253.653504
+"(0, 0, 0, 1, 0, 0, 2, 0, 1, 0, 0, 0, 1, 1, 2, 0, 1)",3119.515136
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 0)",1735.394816
+"(0, 1, 2, 0, 1, 2, 0, 0, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2210.006528
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 3, 2, 3, 1, 2, 3, 3, 1)",2161.116672
+"(2, 1, 2, 2, 1, 2, 2, 0, 3, 3, 3, 3, 3, 2, 3, 3, 1)",1809.581568
+"(0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 2, 3, 1)",3007.71072
+"(2, 1, 0, 1, 0, 2, 1, 2, 3, 3, 0, 3, 1, 2, 0, 0, 1)",2574.51776
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 3, 2, 3, 1, 2, 3, 3, 1)",2312.111616
+"(0, 1, 0, 1, 0, 0, 2, 1, 1, 0, 0, 3, 1, 2, 3, 3, 1)",2540.701184
+"(0, 1, 1, 1, 1, 2, 0, 1, 1, 0, 0, 3, 1, 2, 2, 0, 1)",2619.475456
+"(0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 2, 3, 0, 1)",3093.038592
+"(2, 0, 0, 1, 0, 0, 2, 1, 1, 0, 0, 1, 1, 1, 2, 0, 1)",2982.413824
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 0, 3, 3, 1, 2, 2, 3, 1)",2249.065984
+"(1, 1, 0, 1, 0, 0, 0, 0, 3, 3, 0, 1, 1, 1, 2, 3, 1)",2677.933568
+"(0, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 2, 3, 0, 1)",2755.266048
+"(2, 1, 1, 1, 1, 0, 0, 1, 3, 3, 0, 3, 1, 3, 2, 3, 1)",2214.72512
+"(2, 1, 2, 2, 0, 2, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 1)",1925.580288
+"(0, 0, 1, 0, 1, 2, 2, 1, 1, 0, 0, 3, 3, 3, 3, 0, 1)",2450.65472
+"(0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 3, 1, 1, 2, 3, 1)",2809.398784
+"(0, 1, 0, 0, 0, 2, 2, 1, 3, 0, 0, 3, 1, 2, 3, 0, 1)",2585.396736
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1652.688384
+"(2, 1, 2, 0, 1, 2, 2, 1, 2, 3, 1, 3, 1, 3, 3, 3, 1)",2026.243584
+"(0, 0, 2, 1, 1, 2, 2, 1, 3, 0, 2, 1, 3, 3, 2, 3, 0)",2056.390144
+"(2, 0, 2, 1, 0, 2, 2, 0, 1, 0, 3, 1, 3, 2, 2, 3, 1)",2351.302144
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 3, 1, 3, 2, 3, 1)",2359.166464
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2027.161088
+"(2, 1, 0, 1, 0, 0, 0, 0, 1, 3, 0, 3, 1, 1, 3, 0, 1)",2809.792
+"(0, 1, 0, 2, 1, 0, 2, 1, 3, 3, 0, 3, 1, 3, 3, 0, 1)",2397.308416
+"(1, 1, 1, 0, 1, 0, 0, 1, 3, 3, 0, 3, 3, 2, 3, 0, 1)",2358.24896
+"(0, 1, 0, 0, 0, 0, 0, 1, 3, 0, 0, 3, 1, 2, 2, 0, 1)",2816.607744
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 3, 2, 3, 0)",2321.417728
+"(0, 0, 2, 1, 1, 0, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2360.346112
+"(2, 1, 1, 0, 1, 0, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2096.76032
+"(2, 1, 2, 1, 0, 2, 1, 1, 3, 3, 2, 3, 3, 3, 3, 3, 1)",1921.517056
+"(0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 2, 3, 1)",3026.585088
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",1983.514112
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 0, 3, 1, 2, 0, 0, 1)",2291.40224
+"(1, 1, 0, 0, 1, 0, 0, 1, 3, 0, 0, 3, 3, 2, 3, 3, 1)",2334.262784
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 0, 1)",1915.487744
+"(2, 1, 1, 1, 1, 0, 2, 1, 3, 3, 2, 3, 1, 2, 3, 3, 1)",2066.744832
+"(2, 1, 0, 2, 0, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 0, 1)",2104.231424
+"(2, 1, 0, 0, 1, 1, 2, 1, 3, 3, 2, 3, 1, 2, 3, 3, 1)",2161.116672
+"(2, 1, 0, 1, 1, 2, 2, 2, 3, 3, 0, 3, 1, 2, 0, 0, 1)",2461.271552
+"(0, 1, 0, 0, 1, 0, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2385.511936
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",1911.162368
+"(2, 1, 0, 1, 0, 2, 1, 2, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1916.929536
+"(0, 1, 1, 1, 0, 2, 2, 1, 1, 3, 0, 3, 1, 3, 2, 0, 1)",2469.135872
+"(2, 1, 0, 0, 1, 0, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2191.13216
+"(2, 0, 0, 1, 0, 0, 2, 1, 1, 0, 0, 1, 1, 1, 2, 3, 1)",2776.237568
+"(2, 1, 1, 2, 1, 1, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",1947.600384
+"(2, 1, 0, 0, 1, 0, 2, 1, 3, 3, 2, 3, 1, 2, 3, 3, 1)",2179.99104
+"(2, 1, 0, 0, 0, 0, 2, 1, 3, 0, 0, 3, 1, 2, 2, 3, 1)",2440.562176
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",1889.142272
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1803.683328
+"(0, 0, 0, 1, 0, 0, 2, 0, 3, 0, 0, 1, 1, 1, 2, 0, 1)",3028.551168
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1728.185856
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2215.904768
+"(1, 1, 2, 1, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",1983.514112
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3, 1)",1847.330304
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 1)",1751.647744
+"(0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 1, 1, 2, 0, 1)",3152.283136
+"(0, 1, 0, 0, 1, 0, 2, 1, 3, 3, 0, 1, 3, 1, 3, 0, 1)",2589.066752
+"(2, 0, 1, 1, 0, 2, 2, 1, 1, 0, 2, 3, 1, 3, 2, 3, 1)",2314.864128
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 1)",1831.208448
+"(2, 1, 0, 0, 1, 0, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",2137.654784
+"(0, 1, 1, 0, 0, 2, 2, 1, 3, 0, 0, 3, 1, 1, 2, 0, 1)",2608.727552
+"(0, 1, 0, 1, 0, 0, 0, 1, 3, 0, 0, 3, 1, 2, 3, 0, 1)",2755.266048
+"(0, 1, 0, 0, 0, 0, 2, 1, 3, 3, 0, 3, 1, 1, 2, 0, 1)",2709.652992
+"(0, 1, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 1, 2, 2, 0, 1)",2982.675968
+"(2, 1, 0, 0, 1, 0, 2, 1, 3, 3, 3, 3, 1, 1, 3, 3, 1)",2212.890112
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 0, 2, 3, 3, 3, 3, 3, 1)",1914.963456
+"(2, 1, 0, 2, 0, 2, 1, 2, 3, 3, 0, 3, 3, 3, 3, 0, 1)",2220.230144
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 1)",1850.082816
+"(2, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 1, 2, 0, 1)",3062.892032
+"(0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 3, 1, 1, 2, 0, 1)",2977.826304
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 2, 3, 1, 2, 3, 3, 1)",1972.372992
+"(0, 1, 2, 1, 0, 2, 2, 1, 3, 0, 0, 3, 3, 2, 3, 0, 1)",2351.69536
+"(2, 0, 0, 1, 1, 0, 2, 0, 3, 3, 0, 1, 1, 2, 3, 3, 1)",2465.859072
+"(0, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 2, 2, 0, 1)",2797.733376
+"(2, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 3, 3, 3, 1)",2695.366144
+"(0, 0, 0, 1, 0, 0, 2, 1, 1, 0, 0, 3, 1, 1, 2, 0, 1)",2958.951936
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1806.43584
+"(2, 1, 0, 0, 0, 0, 2, 1, 3, 3, 0, 3, 1, 2, 2, 3, 1)",2352.743936
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 2, 3, 1, 2, 0, 3, 0)",1992.689152
+"(2, 1, 0, 3, 0, 0, 2, 1, 3, 0, 0, 3, 1, 3, 2, 3, 1)",2302.54336
+"(0, 1, 2, 1, 0, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2115.634688
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 2, 2, 0, 1)",2627.864064
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1784.80896
+"(2, 0, 0, 1, 1, 0, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2310.276608
+"(2, 1, 1, 1, 1, 0, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2209.351168
+"(2, 1, 0, 1, 1, 2, 2, 2, 3, 3, 0, 3, 3, 2, 3, 3, 1)",2001.07776
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 0)",1829.766656
+"(0, 0, 0, 0, 0, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 0, 1)",2548.30336
+"(2, 1, 2, 1, 0, 2, 1, 1, 3, 3, 0, 3, 1, 2, 0, 0, 1)",2480.14592
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3, 1)",1828.455936
+"(0, 0, 0, 0, 1, 0, 2, 0, 3, 0, 0, 1, 1, 1, 2, 0, 1)",2971.928064
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 2, 2, 3, 0)",2365.064704
+"(2, 1, 1, 1, 0, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1957.430784
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2366.637568
+"(2, 1, 0, 1, 1, 2, 1, 2, 3, 3, 2, 3, 1, 2, 0, 0, 1)",2444.232192
+"(2, 1, 1, 2, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1728.185856
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 3, 3, 3, 1, 1, 3, 3, 1)",2194.015744
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 0, 1)",2017.068544
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 0)",1982.203392
+"(2, 1, 0, 3, 0, 2, 2, 1, 3, 3, 3, 3, 1, 1, 3, 3, 0)",2043.0208
+"(2, 1, 0, 1, 1, 2, 2, 0, 3, 0, 3, 1, 3, 1, 2, 3, 1)",2283.931136
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 2, 0, 1)",2703.099392
+"(0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 2, 0, 1)",3232.761344
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",2070.676992
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 1)",2019.952128
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 2, 3, 1, 3, 2, 3, 1)",2323.252736
+"(2, 1, 1, 1, 1, 2, 2, 2, 3, 3, 2, 3, 1, 2, 0, 3, 1)",2105.93536
+"(2, 0, 0, 1, 0, 0, 2, 0, 0, 0, 0, 1, 1, 2, 3, 0, 1)",2923.16928
+"(0, 0, 1, 1, 0, 2, 2, 0, 3, 0, 0, 1, 3, 3, 2, 0, 1)",2619.344384
+"(0, 0, 0, 1, 0, 0, 2, 1, 1, 0, 0, 1, 3, 1, 2, 3, 1)",2750.15424
+"(2, 1, 2, 1, 1, 0, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",2004.223488
+"(2, 1, 2, 1, 1, 0, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1957.430784
+"(0, 0, 1, 1, 0, 0, 2, 1, 3, 3, 0, 3, 1, 2, 3, 0, 1)",2573.075968
+"(2, 0, 2, 2, 1, 2, 2, 1, 1, 3, 3, 1, 3, 3, 3, 3, 1)",1988.62592
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",1948.911104
+"(2, 1, 2, 0, 1, 0, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2077.885952
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 0)",1850.082816
+"(2, 1, 0, 1, 0, 2, 1, 1, 3, 3, 0, 3, 1, 2, 3, 0, 1)",2440.955392
+"(0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 3, 1, 1, 2, 0, 1)",3053.323776
+"(0, 1, 2, 2, 1, 0, 0, 1, 3, 0, 2, 3, 1, 3, 2, 0, 0)",2397.308416
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1898.055168
+"(2, 0, 0, 0, 0, 0, 2, 0, 1, 0, 0, 0, 1, 2, 2, 3, 1)",2781.480448
+"(2, 1, 0, 1, 0, 0, 2, 1, 1, 0, 0, 1, 1, 2, 2, 0, 1)",2812.806656
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1709.311488
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 1)",2095.4496
+"(2, 1, 1, 0, 1, 0, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2140.407296
+"(0, 1, 0, 1, 0, 0, 0, 1, 3, 0, 0, 3, 1, 1, 2, 0, 1)",2872.968704
+"(2, 0, 0, 1, 0, 0, 2, 1, 1, 0, 0, 1, 1, 1, 2, 0, 0)",2831.41888
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",1928.726016
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 0)",2310.014464
+"(2, 1, 2, 1, 0, 0, 0, 1, 3, 3, 3, 3, 1, 3, 3, 3, 0)",2075.13344
+"(0, 1, 0, 3, 1, 2, 2, 1, 3, 0, 0, 3, 3, 2, 2, 0, 1)",2356.413952
+"(0, 1, 2, 3, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1765.934592
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 0, 0)",2057.569792
+"(2, 0, 0, 0, 0, 0, 0, 1, 1, 3, 0, 0, 1, 2, 2, 0, 1)",2937.5872
+"(2, 1, 0, 1, 0, 0, 0, 1, 3, 0, 0, 3, 1, 1, 2, 0, 1)",2797.471232
+"(0, 1, 0, 0, 0, 0, 2, 1, 3, 3, 0, 3, 1, 2, 2, 3, 1)",2428.241408
+"(0, 1, 0, 0, 1, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2473.330176
+"(0, 0, 0, 0, 0, 0, 2, 0, 3, 0, 0, 0, 1, 1, 2, 0, 1)",3052.406272
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 3, 3, 1, 2, 2, 3, 1)",1972.504064
+"(2, 1, 0, 0, 0, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2172.257792
+"(2, 1, 0, 1, 0, 2, 1, 2, 3, 3, 2, 3, 3, 2, 0, 3, 1)",2211.972608
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1881.933312
+"(0, 1, 1, 1, 1, 0, 2, 0, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2416.707072
+"(0, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 2, 0, 1)",2971.928064
+"(0, 0, 0, 1, 0, 0, 2, 1, 1, 0, 0, 1, 1, 2, 2, 0, 1)",2982.675968
+"(2, 1, 0, 1, 1, 0, 0, 1, 1, 0, 0, 3, 1, 1, 3, 0, 1)",2765.489664
+"(2, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 1, 1, 2, 0, 1)",3076.785664
+"(2, 0, 0, 1, 0, 0, 2, 1, 1, 3, 0, 1, 1, 1, 2, 0, 1)",2894.595584
+"(2, 1, 2, 1, 1, 0, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2059.011584
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2379.22048
+"(2, 1, 1, 1, 1, 0, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2196.768256
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",2043.282944
+"(2, 0, 1, 0, 0, 0, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",2213.152256
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 0)",1749.812736
+"(0, 1, 0, 0, 0, 0, 0, 1, 3, 0, 0, 3, 1, 2, 2, 3, 1)",2610.431488
+"(2, 1, 2, 2, 0, 2, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3, 1)",1828.455936
+"(0, 1, 0, 1, 0, 0, 0, 1, 3, 0, 0, 1, 1, 2, 2, 0, 1)",2896.692736
+"(0, 1, 0, 1, 1, 2, 0, 0, 1, 0, 0, 0, 1, 1, 2, 0, 1)",2949.645824
+"(2, 1, 2, 0, 1, 1, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",2005.534208
+"(2, 1, 0, 1, 0, 0, 2, 1, 1, 0, 0, 3, 1, 2, 2, 0, 1)",2713.847296
+"(2, 1, 0, 1, 1, 2, 1, 2, 3, 3, 0, 3, 1, 3, 0, 0, 1)",2455.373312
+"(2, 1, 2, 0, 1, 0, 2, 1, 3, 3, 0, 3, 1, 2, 2, 3, 1)",2164.000256
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 2, 3, 1)",2572.420608
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",1886.38976
+"(0, 1, 0, 1, 0, 0, 0, 1, 3, 0, 0, 3, 1, 3, 3, 0, 1)",2711.619072
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1900.80768
+"(0, 1, 0, 2, 0, 0, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2365.588992
+"(0, 1, 0, 1, 0, 0, 0, 1, 3, 0, 0, 3, 1, 2, 2, 1, 0)",2698.511872
+"(2, 1, 0, 0, 1, 0, 2, 1, 3, 3, 3, 1, 3, 1, 3, 0, 0)",2359.821824
+"(2, 1, 1, 1, 1, 0, 2, 1, 3, 3, 0, 3, 3, 1, 3, 3, 1)",2095.187456
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",2024.408576
+"(2, 1, 0, 0, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2473.330176
+"(0, 0, 0, 1, 0, 0, 2, 0, 3, 0, 3, 1, 1, 3, 2, 3, 1)",2606.368256
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2577.008128
+"(2, 0, 0, 0, 1, 0, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",2232.026624
+"(2, 0, 1, 1, 1, 2, 2, 1, 3, 0, 3, 3, 3, 1, 2, 0, 1)",2334.524928
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 2, 1)",1719.404032
+"(0, 0, 2, 1, 0, 2, 2, 0, 3, 0, 0, 3, 1, 3, 2, 3, 1)",2396.9152
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1709.311488
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2153.383424
+"(2, 1, 2, 2, 1, 0, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2002.38848
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 3, 0, 3, 1, 2, 2, 3, 1)",2258.372096
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 0, 3, 3, 1, 3, 0, 0)",2055.996928
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",1909.851648
+"(2, 0, 1, 1, 1, 0, 2, 1, 3, 3, 3, 3, 3, 3, 3, 0, 1)",2179.728896
+"(2, 1, 1, 1, 0, 2, 2, 1, 1, 0, 0, 1, 3, 1, 2, 0, 1)",2597.717504
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2360.346112
+"(0, 0, 1, 0, 1, 0, 2, 0, 3, 3, 0, 1, 1, 1, 3, 0, 1)",2747.270656
+"(2, 1, 1, 0, 0, 0, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2291.140096
+"(2, 1, 0, 1, 0, 0, 0, 1, 3, 3, 0, 3, 1, 2, 2, 0, 1)",2634.417664
+"(0, 1, 1, 1, 1, 2, 2, 1, 3, 3, 3, 3, 1, 1, 3, 3, 1)",2080.769536
+"(2, 1, 0, 0, 0, 2, 2, 1, 3, 0, 3, 3, 1, 2, 2, 3, 1)",2249.065984
+"(0, 1, 1, 0, 1, 2, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2209.351168
+"(2, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 2, 2, 0, 1)",2821.195264
+"(0, 0, 0, 1, 0, 0, 2, 1, 3, 3, 0, 1, 1, 2, 2, 0, 1)",2808.874496
+"(2, 1, 1, 0, 1, 0, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 0)",2083.784192
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2209.089024
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1806.43584
+"(0, 0, 0, 1, 0, 0, 2, 0, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2822.374912
+"(0, 0, 0, 1, 0, 0, 0, 0, 3, 0, 0, 1, 1, 1, 2, 0, 1)",3122.923008
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 0, 3, 3, 1, 3, 3, 1)",2000.815616
+"(0, 0, 0, 0, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 2, 0, 0)",2839.807488
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2553.415168
+"(2, 1, 1, 1, 0, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1860.306432
+"(2, 1, 0, 1, 0, 0, 0, 1, 3, 0, 0, 1, 1, 2, 2, 0, 1)",2821.195264
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1652.688384
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2415.658496
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1747.060224
+"(2, 1, 0, 1, 1, 0, 0, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2310.276608
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2454.455808
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2247.755264
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1765.934592
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 3, 1, 2, 2, 3, 1)",2402.81344
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2077.885952
+"(0, 1, 0, 0, 1, 0, 2, 1, 2, 3, 0, 3, 1, 2, 3, 3, 1)",2356.151808
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 3, 1, 1, 2, 3, 1)",2314.733056
+"(0, 0, 0, 1, 0, 0, 2, 0, 3, 0, 0, 1, 1, 1, 3, 0, 1)",2986.08384
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",1908.01664
+"(0, 1, 2, 1, 0, 2, 2, 1, 3, 0, 2, 3, 1, 3, 2, 0, 1)",2397.308416
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2272.527872
+"(0, 1, 2, 2, 0, 2, 0, 1, 3, 3, 0, 3, 1, 3, 2, 0, 0)",2345.403904
+"(0, 1, 0, 1, 0, 0, 2, 0, 3, 0, 0, 3, 1, 1, 2, 3, 1)",2629.043712
+"(0, 1, 1, 0, 0, 2, 2, 1, 3, 0, 0, 3, 1, 3, 2, 3, 1)",2283.668992
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 0, 2, 1, 3, 2, 3, 3, 1)",2246.313472
+"(2, 0, 1, 1, 0, 2, 2, 1, 1, 0, 3, 1, 1, 1, 2, 0, 1)",2696.545792
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 0, 1, 1, 1, 3, 3, 1)",2295.727616
+"(0, 1, 1, 0, 1, 2, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",2024.408576
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2184.57856
+"(2, 1, 0, 1, 0, 0, 0, 1, 3, 0, 0, 3, 1, 2, 2, 0, 1)",2722.235904
+"(0, 1, 0, 0, 0, 0, 0, 1, 3, 0, 0, 1, 1, 2, 2, 0, 1)",2915.567104
+"(2, 0, 0, 1, 0, 0, 2, 0, 3, 0, 0, 3, 1, 1, 2, 3, 1)",2647.91808
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1976.305152
+"(2, 1, 1, 1, 1, 0, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2121.532928
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 2, 2, 3, 1)",2596.14464
+"(2, 1, 1, 1, 0, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",1961.887232
+"(0, 0, 0, 0, 0, 0, 2, 0, 3, 0, 0, 1, 1, 1, 2, 0, 1)",3047.425536
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 0)",1926.891008
+"(0, 1, 0, 1, 0, 2, 2, 0, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2633.631232
+"(2, 1, 1, 1, 1, 0, 2, 0, 3, 3, 3, 3, 1, 3, 3, 0, 1)",2243.56096
+"(2, 1, 1, 0, 0, 2, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2209.351168
+"(2, 1, 1, 0, 0, 1, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2197.0304
+"(0, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 3, 0, 1)",2929.460736
+"(0, 0, 2, 1, 1, 2, 2, 1, 3, 3, 0, 1, 3, 3, 2, 0, 0)",2229.536256
+"(2, 1, 1, 0, 0, 2, 2, 1, 3, 3, 3, 1, 1, 2, 3, 3, 1)",2123.367936
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 1, 3, 3, 3, 3, 3, 1)",1973.159424
+"(0, 1, 0, 0, 0, 2, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2454.455808
+"(2, 1, 0, 3, 1, 2, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 0)",1892.288
+"(0, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2765.751808
+"(0, 0, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 3, 1, 3, 3, 1)",2527.33184
+"(0, 1, 0, 1, 1, 0, 2, 1, 3, 3, 3, 1, 1, 2, 2, 3, 1)",2335.704576
+"(2, 1, 0, 1, 1, 1, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2284.84864
+"(2, 1, 0, 1, 1, 2, 2, 0, 3, 3, 0, 1, 1, 1, 3, 3, 1)",2352.35072
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 2, 3, 1, 0, 3, 3, 1)",2405.565952
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",1928.726016
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 2, 2, 3, 1)",2497.18528
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 0, 1, 1, 2, 2, 3, 1)",2168.587776
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1784.80896
+"(0, 0, 2, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 3, 2, 0, 0)",2489.845248
+"(0, 1, 0, 0, 1, 2, 2, 0, 3, 3, 0, 1, 1, 1, 2, 3, 1)",2489.189888
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 2, 1, 1, 2, 3, 3, 1)",2329.019904
+"(2, 1, 1, 2, 1, 2, 2, 1, 3, 0, 3, 3, 3, 3, 3, 3, 1)",1816.004096
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 2, 1, 3, 1, 3, 3, 1)",2139.35872
+"(2, 0, 1, 1, 0, 0, 2, 1, 3, 0, 3, 3, 3, 2, 3, 0, 1)",2386.691584
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",1908.01664
+"(0, 1, 2, 1, 1, 0, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 1)",2176.976384
+"(0, 1, 0, 0, 0, 0, 2, 0, 3, 0, 0, 1, 1, 1, 2, 0, 1)",2953.053696
+"(0, 1, 0, 1, 1, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2459.043328
+"(2, 0, 0, 1, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2172.257792
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 1, 1, 1, 2, 3, 1)",2413.692416
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2671.379968
+"(0, 0, 0, 0, 0, 2, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 1)",2384.594432
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 2, 2, 3, 1)",2501.7728
+"(0, 1, 0, 1, 1, 0, 2, 1, 3, 0, 0, 3, 3, 3, 3, 3, 1)",2233.992704
+"(2, 1, 1, 1, 0, 2, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2102.65856
+"(0, 0, 1, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 2, 3, 3, 1)",2553.677312
+"(2, 1, 0, 2, 1, 2, 2, 1, 3, 3, 0, 3, 3, 1, 3, 3, 0)",1981.941248
+"(0, 0, 0, 1, 1, 0, 2, 1, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2690.254336
+"(2, 1, 1, 0, 1, 0, 2, 1, 3, 3, 2, 3, 3, 2, 2, 3, 1)",2026.505728
+"(2, 1, 0, 3, 0, 2, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2121.532928
+"(0, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2723.28448
+"(0, 0, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 0, 1)",2835.088896
+"(2, 1, 1, 1, 0, 2, 2, 1, 3, 3, 0, 1, 1, 1, 2, 3, 1)",2319.320576
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",1999.635968
+"(0, 1, 0, 1, 0, 0, 2, 0, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2728.003072
+"(0, 1, 2, 1, 0, 0, 2, 1, 3, 0, 3, 1, 1, 3, 2, 3, 1)",2342.127104
+"(2, 1, 0, 0, 0, 2, 2, 0, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2228.880896
+"(2, 1, 2, 1, 1, 1, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1784.80896
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2284.84864
+"(2, 0, 0, 1, 0, 0, 2, 1, 3, 3, 0, 1, 1, 1, 2, 3, 1)",2602.436096
+"(2, 1, 2, 2, 0, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1728.185856
+"(2, 1, 0, 3, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1900.80768
+"(0, 1, 0, 1, 0, 0, 2, 0, 3, 0, 0, 1, 1, 1, 3, 0, 1)",2891.712
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 1)",1827.145216
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2228.880896
+"(0, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 0, 1)",2830.501376
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2303.723008
+"(2, 0, 0, 1, 0, 1, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2366.899712
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",1886.38976
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 0)",1943.012864
+"(2, 1, 2, 1, 0, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 0)",1881.933312
+"(0, 0, 0, 1, 1, 0, 2, 1, 3, 0, 2, 1, 1, 1, 2, 3, 1)",2635.46624
+"(0, 0, 0, 0, 0, 0, 2, 1, 3, 0, 0, 3, 1, 2, 3, 0, 1)",2774.140416
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 0, 1, 1, 1, 3, 3, 1)",2201.355776
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2140.407296
+"(2, 1, 1, 1, 1, 0, 2, 1, 3, 3, 0, 3, 3, 3, 3, 0, 1)",2182.481408
+"(2, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 2, 3, 1)",2591.294976
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",1792.01792
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 3, 3, 1, 1, 1, 3, 3, 1)",2349.598208
+"(2, 1, 2, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 0)",2264.663552
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 3, 2, 3, 1)",2552.497664
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 1, 1, 3, 2, 3, 1)",2294.810112
+"(0, 1, 1, 2, 1, 2, 2, 1, 3, 3, 3, 1, 3, 2, 3, 3, 1)",1946.289664
+"(2, 1, 2, 0, 0, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1860.306432
+"(0, 1, 0, 0, 0, 2, 2, 1, 3, 0, 0, 1, 1, 2, 2, 3, 1)",2520.647168
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2628.91264
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3, 0)",1885.07904
+"(2, 1, 0, 0, 1, 0, 2, 1, 3, 0, 0, 3, 1, 3, 2, 3, 1)",2321.417728
+"(0, 0, 0, 1, 1, 2, 2, 1, 3, 3, 2, 3, 3, 1, 3, 0, 1)",2416.444928
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",1905.264128
+"(0, 1, 0, 1, 0, 2, 2, 0, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2591.163904
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2435.58144
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 3, 2, 3, 1)",2378.040832
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2378.958336
+"(2, 1, 1, 1, 1, 1, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2177.893888
+"(0, 0, 0, 1, 0, 1, 2, 1, 3, 0, 0, 1, 1, 2, 2, 3, 1)",2671.642112
+"(2, 1, 0, 0, 0, 1, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2291.40224
+"(2, 1, 2, 3, 0, 2, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3, 1)",1809.581568
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 3, 0, 1, 1, 1, 3, 3, 1)",2446.72256
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 0)",1872.102912
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2411.070976
+"(2, 1, 0, 3, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 0)",1844.184576
+"(2, 1, 0, 1, 1, 1, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2241.201664
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 3, 2, 3, 1)",2453.538304
+"(2, 1, 0, 0, 1, 2, 2, 0, 3, 3, 0, 1, 1, 1, 2, 3, 1)",2413.692416
+"(0, 1, 2, 2, 0, 2, 2, 0, 3, 3, 0, 3, 3, 1, 2, 3, 0)",2118.780416
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2595.882496
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 0, 3, 1, 1, 3, 3, 3, 1)",2261.91104
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 3, 1, 1, 3, 3, 3, 1)",2098.595328
+"(2, 1, 1, 0, 1, 1, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2077.885952
+"(0, 1, 1, 0, 0, 2, 2, 1, 3, 3, 3, 1, 3, 1, 2, 3, 1)",2214.987264
+"(0, 1, 0, 0, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2690.254336
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 3, 0, 1, 1, 2, 3, 3, 1)",2371.487232
+"(0, 0, 0, 1, 1, 0, 2, 1, 3, 0, 0, 1, 1, 3, 2, 3, 1)",2571.372032
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 3, 0, 1, 1, 3, 3, 0, 1)",2534.016512
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2272.265728
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 0)",2303.723008
+"(2, 1, 1, 0, 0, 2, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2121.532928
+"(2, 1, 2, 1, 1, 1, 2, 1, 3, 0, 3, 3, 3, 3, 2, 3, 1)",1971.717632
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 0)",2021.262848
+"(0, 0, 0, 0, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 3, 0, 1)",2948.335104
+"(2, 1, 0, 0, 1, 1, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",2075.13344
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2209.351168
+"(2, 1, 1, 3, 0, 2, 2, 1, 3, 3, 3, 3, 3, 1, 3, 3, 1)",1903.691264
+"(0, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2624.32512
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2335.573504
+"(0, 1, 0, 1, 1, 2, 2, 1, 3, 0, 3, 1, 1, 3, 3, 3, 1)",2243.036672
+"(0, 0, 0, 0, 0, 0, 2, 1, 3, 3, 0, 1, 1, 1, 3, 3, 1)",2654.340608
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",1867.515392
+"(2, 1, 2, 3, 0, 0, 2, 1, 3, 0, 3, 3, 3, 1, 3, 3, 1)",2067.006976
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2197.0304
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 0)",1793.459712
+"(2, 1, 0, 0, 0, 2, 2, 1, 3, 0, 3, 3, 1, 2, 3, 3, 1)",2206.598656
+"(0, 1, 0, 3, 0, 2, 2, 1, 3, 0, 3, 1, 1, 3, 3, 3, 1)",2243.036672
+"(2, 0, 2, 1, 0, 2, 2, 1, 3, 0, 3, 1, 3, 1, 3, 3, 1)",2241.463808
+"(2, 1, 1, 0, 0, 2, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",2024.408576
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 0)",1806.43584
+"(0, 1, 0, 1, 1, 0, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 1)",2290.222592
+"(2, 1, 0, 1, 1, 1, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2153.383424
+"(0, 1, 0, 0, 0, 2, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2366.637568
+"(2, 1, 1, 2, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",1926.891008
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 0, 0, 1, 1, 3, 2, 3, 1)",2307.13088
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3, 1)",1828.455936
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 0, 3, 3, 1, 1, 3, 3, 1)",2187.462144
+"(2, 1, 1, 0, 0, 0, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2172.257792
+"(2, 1, 0, 2, 0, 2, 2, 1, 3, 0, 0, 3, 3, 3, 3, 3, 1)",2082.99776
+"(2, 1, 2, 1, 1, 1, 2, 1, 3, 3, 2, 3, 1, 2, 3, 3, 1)",2028.996096
+"(2, 1, 0, 0, 0, 2, 2, 1, 3, 0, 0, 3, 1, 1, 2, 3, 1)",2421.425664
+"(2, 1, 0, 3, 1, 0, 2, 1, 3, 3, 0, 1, 3, 3, 2, 3, 0)",2079.983104
+"(2, 1, 0, 0, 0, 0, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2398.094848
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 2, 3, 1, 2, 3, 3, 1)",2066.744832
+"(2, 1, 0, 0, 0, 0, 2, 1, 3, 0, 2, 3, 1, 1, 2, 3, 1)",2461.009408
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 0)",1810.892288
+"(2, 1, 2, 2, 1, 1, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1728.185856
+"(2, 1, 0, 0, 0, 2, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2215.904768
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2529.95328
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2510.030336
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 3, 3, 3, 3, 3, 0)",2082.99776
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",1947.600384
+"(0, 1, 1, 0, 1, 0, 2, 1, 3, 3, 3, 1, 1, 2, 3, 3, 1)",2217.739776
+"(0, 1, 1, 1, 0, 2, 2, 0, 3, 0, 3, 3, 1, 1, 3, 3, 1)",2300.708352
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",1980.7616
+"(2, 1, 2, 1, 0, 1, 2, 1, 3, 0, 0, 3, 3, 3, 3, 3, 1)",2101.872128
+"(0, 1, 2, 0, 1, 2, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2157.970944
+"(2, 1, 0, 1, 0, 0, 2, 0, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2652.5056
+"(2, 0, 0, 0, 0, 0, 2, 1, 3, 3, 3, 1, 1, 1, 3, 3, 1)",2481.718784
+"(0, 1, 0, 0, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 2, 3, 1)",2591.294976
+"(0, 1, 0, 1, 0, 0, 2, 0, 3, 0, 3, 1, 1, 1, 2, 3, 1)",2630.87872
+"(2, 1, 0, 0, 0, 1, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2247.755264
+"(0, 1, 1, 1, 1, 2, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2190.4768
+"(0, 1, 0, 1, 0, 1, 2, 1, 3, 3, 0, 1, 1, 1, 2, 3, 1)",2564.68736
+"(0, 1, 0, 0, 0, 0, 2, 0, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2746.87744
+"(2, 1, 2, 1, 1, 0, 2, 1, 3, 0, 0, 1, 1, 3, 2, 3, 1)",2288.256512
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2027.161088
+"(0, 1, 0, 0, 0, 2, 2, 1, 3, 3, 2, 3, 1, 1, 3, 3, 1)",2311.849472
+"(2, 1, 1, 1, 1, 1, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2059.011584
+"(2, 1, 1, 0, 0, 2, 2, 1, 3, 0, 3, 1, 3, 1, 3, 3, 1)",2184.840704
+"(2, 1, 0, 3, 0, 0, 2, 1, 3, 0, 0, 1, 3, 3, 2, 3, 1)",2299.92192
+"(0, 1, 0, 3, 0, 0, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 0)",2290.09152
+"(0, 1, 0, 0, 0, 0, 2, 0, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2704.410112
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 0)",2096.76032
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 3, 3, 1, 3, 3, 3, 0)",2087.454208
+"(0, 0, 0, 0, 1, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2567.702016
+"(2, 1, 0, 0, 0, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",2117.469696
+"(0, 0, 0, 1, 1, 0, 2, 1, 3, 3, 0, 3, 1, 2, 3, 0, 1)",2591.950336
+"(0, 1, 2, 1, 1, 2, 2, 1, 3, 3, 3, 3, 1, 1, 3, 3, 0)",2005.272064
+"(2, 1, 1, 1, 1, 2, 2, 0, 3, 0, 0, 3, 3, 1, 2, 3, 1)",2187.724288
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 2, 3, 1)",2496.923136
+"(0, 1, 2, 3, 1, 2, 2, 1, 3, 3, 0, 1, 3, 1, 2, 3, 1)",2123.367936
+"(2, 1, 2, 1, 0, 2, 2, 1, 3, 3, 2, 1, 1, 3, 3, 3, 1)",2084.30848
+"(0, 1, 0, 1, 0, 0, 2, 0, 3, 0, 0, 1, 1, 3, 2, 3, 1)",2609.120768
+"(2, 1, 0, 2, 0, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 0)",1943.012864
+"(2, 1, 1, 0, 1, 1, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 0)",2064.909824
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2171.340288
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2534.5408
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 0)",1853.228544
+"(2, 1, 2, 1, 1, 1, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1938.556416
+"(2, 1, 0, 0, 0, 0, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",2067.92448
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 3, 0, 1)",2759.591424
+"(0, 1, 0, 0, 0, 2, 2, 1, 3, 3, 0, 1, 1, 1, 2, 3, 1)",2508.064256
+"(2, 1, 1, 2, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 0)",1870.267904
+"(0, 0, 1, 0, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",2117.469696
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 0, 3, 3, 3, 1, 3, 3, 1)",1972.635136
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 0)",1851.393536
+"(0, 1, 0, 0, 0, 2, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",2194.277888
+"(0, 1, 0, 0, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2595.882496
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2170.291712
+"(0, 1, 1, 1, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 0)",1900.80768
+"(2, 1, 0, 3, 0, 0, 2, 0, 3, 0, 3, 1, 1, 1, 2, 3, 1)",2479.883776
+"(0, 1, 2, 1, 0, 2, 2, 1, 3, 3, 3, 1, 1, 3, 3, 3, 1)",2117.469696
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2327.840256
+"(2, 1, 2, 2, 1, 0, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 1)",2044.855808
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2534.5408
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 0)",1730.938368
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1863.058944
+"(2, 1, 1, 3, 0, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",1886.38976
+"(2, 0, 0, 0, 1, 0, 2, 1, 3, 0, 0, 3, 3, 1, 3, 3, 1)",2390.623744
+"(2, 1, 1, 0, 1, 1, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2209.351168
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 2, 3, 3, 1)",2478.17984
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 0, 3, 1, 3, 1, 3, 3, 1)",2335.835648
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",2056.259072
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 3, 3, 1, 1, 3, 3, 1)",2357.331456
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 0, 3, 3, 1, 3, 3, 3, 0)",1823.213056
+"(2, 1, 1, 2, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 1)",1770.522112
+"(0, 0, 1, 1, 0, 0, 2, 1, 3, 3, 3, 1, 1, 3, 3, 3, 1)",2325.087744
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 3, 3, 3, 3, 1, 2, 3, 1)",1946.158592
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 3, 0, 1)",2835.088896
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 0, 1, 3, 3, 3, 3, 1)",1980.892672
+"(2, 1, 0, 2, 1, 2, 2, 1, 3, 0, 0, 3, 3, 1, 3, 3, 1)",2126.382592
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2360.083968
+"(0, 1, 0, 1, 0, 0, 2, 0, 3, 0, 0, 1, 1, 1, 2, 3, 0)",2671.379968
+"(0, 1, 1, 0, 0, 2, 2, 1, 3, 3, 0, 1, 1, 1, 3, 3, 1)",2371.225088
+"(0, 0, 0, 0, 1, 1, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2548.827648
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 0, 0, 3, 1, 3, 2, 3, 1)",2208.17152
+"(2, 1, 1, 1, 0, 0, 2, 1, 3, 3, 0, 1, 1, 2, 3, 0, 1)",2502.166016
+"(2, 1, 0, 3, 0, 2, 2, 1, 3, 3, 0, 1, 1, 3, 2, 3, 1)",2219.31264
+"(0, 1, 2, 1, 1, 2, 2, 1, 3, 0, 3, 3, 3, 1, 3, 3, 0)",1991.509504
+"(0, 1, 0, 1, 0, 2, 2, 0, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2472.2816
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 3, 1, 2, 3, 1)",2475.427328
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2347.7632
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 0)",2113.668608
+"(0, 0, 0, 1, 0, 0, 2, 0, 3, 0, 0, 1, 1, 1, 2, 3, 0)",2671.379968
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 0)",2203.452928
+"(2, 1, 0, 2, 1, 2, 2, 0, 3, 0, 3, 3, 1, 3, 2, 3, 0)",2054.424064
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 0, 1, 3, 3, 3, 3, 0)",1829.897728
+"(2, 1, 1, 0, 1, 1, 2, 1, 3, 3, 2, 3, 1, 2, 3, 3, 1)",2066.744832
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 0)",2215.642624
+"(2, 0, 0, 1, 1, 0, 2, 1, 3, 0, 0, 1, 1, 3, 3, 0, 1)",2659.583488
+"(0, 1, 2, 1, 0, 0, 2, 1, 3, 3, 0, 1, 3, 1, 3, 3, 1)",2326.267392
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 0, 3, 3, 1, 1, 2, 3, 1)",2380.924416
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 0, 2, 3, 3, 3, 3, 3, 1)",1896.089088
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",1810.892288
+"(2, 0, 0, 1, 0, 1, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2628.91264
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 2, 3, 1, 2, 3, 3, 1)",1991.24736
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 3, 1, 2, 3, 0)",2418.804224
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2323.252736
+"(0, 0, 2, 1, 1, 2, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2233.468416
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 0, 0, 1, 3, 3, 3, 3, 1)",1993.21344
+"(2, 1, 0, 1, 1, 1, 2, 1, 3, 0, 2, 3, 3, 3, 3, 3, 0)",2028.209664
+"(2, 1, 0, 1, 0, 0, 2, 0, 3, 0, 3, 3, 1, 1, 2, 3, 1)",2456.421888
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 0)",1829.766656
+"(2, 1, 2, 1, 0, 2, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2083.784192
+"(2, 1, 1, 2, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 0)",1773.143552
+"(2, 1, 2, 2, 0, 2, 2, 1, 3, 3, 0, 1, 3, 3, 3, 3, 1)",1980.892672
+"(2, 1, 2, 0, 1, 0, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2264.663552
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 3, 1, 1, 2, 3, 1)",2478.048768
+"(0, 1, 0, 1, 1, 0, 2, 1, 3, 0, 2, 3, 1, 1, 2, 3, 0)",2385.511936
+"(0, 0, 0, 1, 0, 2, 2, 1, 3, 3, 2, 3, 1, 1, 3, 3, 1)",2387.346944
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 3, 1, 3, 3, 3, 3, 0)",1732.773376
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2501.510656
+"(0, 0, 0, 0, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 0, 1)",2849.375744
+"(0, 1, 2, 2, 0, 0, 2, 1, 3, 0, 3, 1, 1, 3, 2, 3, 0)",2228.880896
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 0)",1864.893952
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 1)",2072.512
+"(2, 1, 2, 1, 1, 0, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 0)",2044.855808
+"(2, 0, 1, 3, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1803.683328
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 2, 1, 1, 3, 3, 3, 1)",2027.685376
+"(2, 1, 2, 1, 0, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2040.137216
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 0)",1851.393536
+"(0, 1, 0, 3, 0, 2, 2, 0, 3, 0, 3, 1, 3, 1, 3, 3, 1)",2316.96128
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 0)",1844.184576
+"(2, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 0, 1)",2755.003904
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 0, 3, 3, 1, 3, 3, 3, 0)",2011.956736
+"(0, 1, 1, 1, 1, 2, 2, 1, 3, 3, 3, 3, 1, 2, 2, 3, 1)",2048.001536
+"(2, 1, 0, 2, 1, 2, 2, 1, 3, 0, 3, 3, 3, 3, 3, 3, 1)",1910.375936
+"(2, 1, 0, 3, 1, 2, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",1948.911104
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",1854.539264
+"(2, 1, 1, 3, 0, 2, 2, 1, 3, 3, 0, 3, 3, 1, 3, 3, 1)",2000.815616
+"(2, 1, 0, 3, 0, 0, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2359.035392
+"(0, 0, 1, 1, 0, 0, 2, 1, 3, 3, 0, 1, 1, 1, 3, 3, 1)",2541.0944
+"(2, 1, 2, 1, 1, 0, 2, 1, 3, 3, 2, 3, 1, 2, 3, 3, 0)",1991.24736
+"(2, 1, 1, 2, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",1872.102912
+"(2, 1, 1, 1, 0, 0, 2, 1, 3, 0, 0, 3, 3, 3, 3, 3, 1)",2139.620864
+"(0, 1, 2, 0, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2482.636288
+"(2, 0, 0, 1, 0, 2, 2, 0, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2511.078912
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 0)",1749.812736
+"(0, 0, 1, 0, 0, 2, 2, 1, 3, 0, 2, 1, 3, 3, 3, 3, 1)",2278.163968
+"(2, 1, 0, 1, 0, 0, 2, 0, 3, 3, 0, 3, 1, 3, 2, 3, 1)",2346.845696
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 0)",1919.682048
+"(0, 1, 1, 0, 1, 0, 2, 1, 3, 0, 0, 3, 1, 1, 2, 3, 1)",2421.425664
+"(0, 1, 0, 3, 0, 2, 2, 1, 3, 0, 3, 3, 1, 1, 2, 3, 0)",2248.80384
+"(0, 0, 0, 3, 0, 0, 2, 1, 3, 3, 0, 3, 3, 3, 2, 3, 1)",2283.013632
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 0, 1, 1, 1, 3, 3, 1)",2314.601984
+"(0, 1, 2, 2, 1, 0, 2, 1, 3, 3, 3, 1, 3, 3, 3, 3, 0)",1921.517056
+"(2, 1, 1, 3, 1, 1, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 0)",1829.766656
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 0, 3, 3, 3, 1, 3, 3, 0)",1916.012032
+"(2, 0, 2, 1, 1, 2, 2, 1, 3, 3, 0, 1, 3, 3, 3, 3, 1)",2056.390144
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2327.840256
+"(0, 0, 2, 1, 0, 0, 2, 1, 3, 0, 2, 1, 1, 1, 3, 3, 1)",2555.250176
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 0, 1, 3, 3, 3, 3, 1)",1962.018304
+"(2, 1, 1, 1, 1, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2284.586496
+"(2, 1, 1, 1, 1, 2, 2, 0, 3, 0, 3, 1, 1, 1, 3, 3, 1)",2248.672768
+"(0, 1, 1, 1, 0, 0, 2, 0, 3, 0, 3, 3, 3, 3, 2, 3, 1)",2217.084416
+"(2, 0, 0, 1, 0, 2, 2, 0, 3, 0, 0, 3, 1, 1, 2, 3, 1)",2553.54624
+"(2, 1, 0, 3, 0, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2077.885952
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 0, 3, 3, 1, 1, 3, 3, 1)",2432.828928
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 0)",1695.02464
+"(2, 1, 1, 3, 1, 1, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 0)",1926.891008
+"(2, 1, 0, 2, 1, 1, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2096.76032
+"(2, 1, 1, 1, 0, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2059.011584
+"(2, 1, 0, 3, 0, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 0)",2021.262848
+"(0, 0, 0, 0, 0, 0, 2, 0, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2841.24928
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2316.699136
+"(0, 0, 0, 1, 0, 0, 2, 1, 3, 3, 0, 1, 1, 1, 3, 3, 1)",2635.46624
+"(2, 1, 1, 0, 1, 1, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 0)",1919.682048
+"(0, 0, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2671.379968
+"(0, 1, 2, 1, 0, 0, 2, 1, 3, 0, 0, 3, 3, 3, 2, 3, 1)",2238.711296
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2228.880896
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 0)",1931.478528
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 1, 3, 3, 2, 3, 1)",2268.726784
+"(0, 1, 0, 1, 1, 0, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2346.714624
+"(0, 1, 0, 0, 1, 2, 2, 1, 3, 3, 2, 1, 1, 3, 2, 3, 1)",2258.896384
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",2131.756544
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 2, 1, 1, 1, 3, 3, 0)",2184.316416
+"(2, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 3, 0, 1)",2853.963264
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 0, 3, 3, 3, 1, 2, 3, 1)",2279.343616
+"(2, 1, 2, 1, 1, 0, 2, 1, 3, 0, 3, 3, 1, 1, 3, 3, 1)",2168.587776
+"(2, 1, 1, 2, 0, 2, 2, 0, 3, 0, 0, 3, 1, 1, 2, 3, 1)",2308.179456
+"(2, 1, 1, 0, 0, 2, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2284.586496
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2090.20672
+"(2, 1, 1, 1, 1, 1, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 0)",1905.264128
+"(0, 1, 0, 0, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 2, 3, 0)",2539.259392
+"(2, 1, 1, 1, 0, 2, 2, 1, 3, 0, 0, 3, 3, 3, 3, 3, 1)",2045.249024
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 0)",2303.460864
+"(0, 1, 1, 1, 1, 0, 2, 0, 3, 0, 0, 3, 1, 1, 2, 3, 1)",2459.1744
+"(0, 1, 1, 1, 0, 2, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2253.39136
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2291.40224
+"(2, 1, 0, 3, 0, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",1976.305152
+"(2, 1, 0, 1, 1, 1, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",2099.906048
+"(2, 1, 0, 3, 0, 2, 2, 1, 3, 3, 0, 1, 3, 3, 3, 3, 0)",2018.641408
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",2023.097856
+"(2, 1, 0, 0, 1, 0, 2, 1, 3, 0, 0, 1, 1, 2, 2, 3, 1)",2464.024064
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 0)",2109.081088
+"(2, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2647.787008
+"(2, 1, 1, 0, 0, 2, 2, 1, 3, 0, 3, 1, 1, 1, 2, 3, 1)",2328.888832
+"(0, 1, 0, 3, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 0)",1919.682048
+"(2, 1, 1, 0, 0, 1, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2153.383424
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 0)",1789.39648
+"(0, 1, 2, 0, 1, 2, 2, 1, 3, 0, 3, 3, 1, 3, 2, 3, 1)",2092.1728
+"(2, 1, 1, 2, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 0)",1768.687104
+"(2, 1, 0, 1, 0, 0, 2, 0, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2610.038272
+"(2, 1, 2, 1, 0, 2, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 0)",1925.580288
+"(2, 1, 0, 0, 0, 1, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2454.455808
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 1)",1950.483968
+"(2, 1, 0, 3, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",1947.600384
+"(0, 1, 0, 0, 0, 2, 2, 1, 3, 3, 2, 1, 1, 1, 2, 3, 1)",2453.27616
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2190.214656
+"(0, 0, 0, 1, 0, 0, 2, 1, 3, 0, 3, 1, 3, 1, 3, 0, 1)",2730.755584
+"(2, 1, 0, 1, 1, 1, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2197.0304
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 1, 1, 1, 3, 3, 1)",2371.225088
+"(2, 1, 0, 1, 1, 1, 2, 1, 3, 0, 2, 3, 1, 3, 3, 3, 1)",2186.413568
+"(0, 1, 0, 1, 0, 0, 2, 0, 3, 0, 3, 1, 3, 1, 3, 3, 0)",2430.207488
+"(0, 1, 2, 1, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",1943.012864
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 0)",1770.522112
+"(2, 1, 1, 1, 1, 0, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2165.704192
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",2192.967168
+"(2, 1, 2, 1, 0, 0, 2, 0, 3, 0, 2, 1, 3, 3, 2, 3, 0)",2207.385088
+"(0, 1, 0, 1, 1, 2, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2272.265728
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 2, 3, 1)",1808.40192
+"(2, 1, 1, 1, 0, 0, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 1)",2095.4496
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 0)",1892.288
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2165.704192
+"(2, 1, 2, 1, 0, 1, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",2018.510336
+"(2, 1, 1, 3, 1, 1, 2, 1, 3, 3, 3, 3, 1, 2, 3, 3, 1)",1930.036736
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2241.201664
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 3, 3, 1, 3, 3, 3, 1)",2238.449152
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1879.1808
+"(2, 1, 2, 1, 1, 0, 2, 1, 3, 3, 2, 3, 1, 1, 3, 3, 1)",2123.105792
+"(2, 1, 0, 0, 0, 2, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2378.958336
+"(2, 1, 0, 2, 0, 2, 2, 1, 3, 0, 0, 1, 3, 1, 2, 3, 0)",2286.683648
+"(2, 1, 0, 3, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",1905.264128
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 0)",1754.269184
+"(0, 1, 0, 0, 0, 2, 2, 0, 3, 0, 0, 1, 1, 3, 2, 3, 1)",2533.623296
+"(2, 1, 1, 1, 1, 1, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2102.65856
+"(0, 0, 0, 1, 0, 1, 2, 1, 3, 0, 0, 1, 1, 1, 3, 0, 1)",2910.586368
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 0)",2140.145152
+"(2, 1, 0, 2, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2397.832704
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 0)",2322.597376
+"(0, 1, 0, 1, 1, 0, 2, 1, 3, 3, 0, 1, 1, 1, 2, 3, 1)",2508.064256
+"(0, 1, 2, 1, 0, 2, 2, 1, 3, 0, 2, 1, 1, 3, 3, 3, 1)",2247.624192
+"(2, 1, 1, 1, 0, 1, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",2079.72096
+"(0, 0, 1, 3, 0, 0, 2, 1, 3, 0, 3, 1, 3, 3, 3, 0, 1)",2442.003968
+"(2, 1, 2, 1, 0, 2, 2, 1, 3, 0, 2, 3, 3, 3, 3, 3, 0)",1914.963456
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2215.642624
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 0)",1890.97728
+"(2, 1, 1, 0, 0, 1, 2, 0, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2558.13376
+"(0, 1, 0, 1, 1, 0, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2291.40224
+"(2, 1, 2, 1, 0, 2, 2, 0, 3, 0, 0, 1, 3, 1, 3, 3, 0)",2244.21632
+"(2, 1, 0, 0, 1, 0, 2, 1, 3, 3, 2, 3, 1, 3, 3, 0, 1)",2342.52032
+"(0, 1, 2, 3, 0, 2, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 0)",2025.98144
+"(0, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 0)",2572.289536
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2459.043328
+"(0, 1, 0, 1, 0, 2, 2, 0, 3, 0, 0, 3, 1, 1, 2, 3, 1)",2534.671872
+"(0, 1, 0, 1, 1, 0, 2, 1, 3, 3, 2, 3, 1, 3, 2, 3, 1)",2235.434496
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 0)",1796.60544
+"(2, 1, 2, 1, 0, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",1943.012864
+"(0, 0, 2, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2515.666432
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 0, 3, 1, 3, 1, 3, 3, 1)",2184.840704
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2434.532864
+"(2, 1, 1, 2, 1, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",1829.766656
+"(2, 1, 0, 3, 0, 0, 2, 1, 3, 3, 0, 3, 3, 3, 2, 3, 1)",2113.14432
+"(0, 1, 0, 1, 0, 0, 2, 0, 3, 0, 0, 1, 1, 0, 2, 3, 1)",2733.901312
+"(0, 0, 0, 0, 1, 0, 2, 1, 3, 0, 0, 1, 1, 3, 3, 0, 1)",2753.955328
+"(0, 1, 2, 1, 1, 2, 2, 1, 3, 0, 3, 1, 1, 1, 3, 3, 1)",2248.672768
+"(2, 1, 1, 1, 0, 2, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2146.829824
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 3, 0, 3, 1, 1, 2, 3, 1)",2390.230528
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2071.332352
+"(2, 1, 0, 3, 0, 2, 2, 1, 3, 3, 3, 3, 1, 1, 3, 3, 1)",2099.643904
+"(2, 1, 0, 2, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1765.934592
+"(0, 0, 0, 1, 0, 0, 2, 0, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2779.907584
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 0)",1825.310208
+"(0, 0, 0, 1, 0, 0, 2, 0, 3, 0, 0, 1, 1, 0, 2, 3, 1)",2828.273152
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3, 0)",1790.7072
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3, 0)",1771.832832
+"(2, 1, 2, 0, 0, 1, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 1)",1978.14016
+"(0, 0, 1, 1, 1, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 0, 1)",2665.219584
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2289.174016
+"(2, 1, 1, 0, 1, 1, 2, 0, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2178.156032
+"(2, 1, 0, 0, 0, 0, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2310.276608
+"(2, 0, 0, 1, 1, 0, 2, 1, 3, 3, 0, 3, 1, 3, 3, 0, 0)",2321.810944
+"(0, 1, 1, 3, 0, 2, 2, 1, 3, 0, 2, 1, 3, 1, 3, 3, 1)",2208.302592
+"(2, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2548.827648
+"(2, 1, 0, 0, 0, 2, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2260.076032
+"(2, 0, 0, 1, 0, 1, 2, 1, 3, 0, 0, 1, 1, 1, 3, 0, 1)",2835.088896
+"(0, 1, 2, 3, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1709.311488
+"(2, 1, 0, 0, 0, 0, 2, 1, 3, 0, 2, 1, 1, 1, 3, 3, 1)",2517.50144
+"(2, 1, 1, 0, 1, 1, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2284.586496
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",2051.802624
+"(2, 1, 2, 1, 1, 0, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 0)",2121.270784
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 3, 1, 0, 3, 3, 1)",2365.982208
+"(2, 1, 2, 3, 1, 1, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1709.311488
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 0, 3, 3, 1)",2464.941568
+"(0, 0, 2, 1, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2134.509056
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2454.717952
+"(2, 1, 0, 2, 0, 2, 2, 1, 3, 0, 3, 3, 3, 3, 3, 3, 1)",1985.873408
+"(2, 1, 0, 0, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2477.917696
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 3, 2, 3, 1)",2382.628352
+"(0, 1, 0, 3, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 0)",2496.792064
+"(0, 1, 0, 1, 0, 0, 2, 0, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2498.758144
+"(2, 0, 1, 1, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 0, 1)",2127.693312
+"(2, 0, 0, 0, 1, 0, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2416.969216
+"(2, 1, 1, 1, 0, 2, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2177.893888
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",2174.0928
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 0)",2402.420224
+"(2, 1, 0, 3, 0, 2, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 0)",2109.081088
+"(2, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 3, 3, 0, 1)",2735.08096
+"(0, 0, 0, 1, 1, 0, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2647.787008
+"(2, 1, 2, 0, 0, 2, 2, 1, 3, 0, 2, 3, 1, 3, 3, 3, 1)",2092.041728
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 0, 3, 3, 1)",2559.313408
+"(2, 1, 0, 1, 1, 1, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 0)",2096.76032
+"(2, 1, 1, 1, 1, 0, 2, 1, 3, 3, 3, 3, 3, 1, 3, 3, 1)",1998.063104
+"(2, 1, 2, 0, 0, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",2004.223488
+"(0, 1, 0, 1, 1, 0, 2, 0, 3, 3, 0, 1, 1, 1, 2, 3, 1)",2564.68736
+"(2, 1, 1, 3, 0, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1784.80896
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",1853.228544
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 1)",1850.082816
+"(2, 1, 2, 3, 0, 2, 2, 1, 3, 3, 3, 3, 3, 1, 3, 3, 1)",1884.816896
+"(2, 1, 2, 0, 0, 2, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 1)",2101.478912
+"(2, 1, 0, 0, 1, 1, 2, 1, 3, 3, 0, 1, 1, 2, 3, 3, 1)",2314.864128
+"(2, 1, 0, 2, 1, 2, 2, 1, 3, 0, 3, 3, 3, 3, 3, 3, 0)",1853.752832
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2264.663552
+"(2, 0, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2553.415168
+"(0, 1, 0, 1, 1, 0, 2, 0, 3, 0, 2, 1, 1, 1, 3, 3, 1)",2555.250176
+"(0, 0, 1, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 0, 1)",2736.129536
+"(2, 1, 2, 1, 0, 0, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2253.39136
+"(2, 1, 0, 3, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1747.060224
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 3, 3, 2, 3, 1)",2281.047552
+"(2, 0, 0, 1, 0, 0, 2, 1, 3, 0, 3, 1, 3, 1, 3, 3, 1)",2449.081856
+"(0, 1, 1, 2, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2002.38848
+"(2, 1, 2, 3, 0, 2, 2, 1, 3, 0, 0, 3, 3, 3, 3, 3, 0)",1894.25408
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 3, 1, 1, 1, 3, 3, 1)",2198.603264
+"(2, 1, 0, 2, 1, 0, 2, 1, 3, 0, 3, 1, 1, 1, 3, 3, 0)",2267.547136
+"(2, 1, 0, 3, 1, 1, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 0)",1919.682048
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",2041.972224
+"(2, 1, 0, 2, 1, 1, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2140.407296
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 0, 3, 3, 1)",2540.43904
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2283.53792
+"(2, 1, 1, 0, 0, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",2023.097856
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 3, 1, 3, 3, 3, 3, 1)",1808.270848
+"(0, 0, 2, 1, 0, 2, 2, 1, 3, 3, 0, 3, 3, 3, 3, 0, 1)",2314.601984
+"(2, 1, 0, 0, 1, 1, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2271.217152
+"(2, 1, 2, 0, 1, 1, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 1)",2001.07776
+"(2, 1, 2, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 3, 2, 3, 1)",2269.382144
+"(2, 1, 0, 2, 0, 1, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",2070.676992
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 3, 1, 3, 3, 3, 3, 1)",1902.642688
+"(0, 1, 0, 1, 1, 0, 2, 0, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2652.5056
+"(0, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 0)",2473.330176
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 0)",2397.832704
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2189.16608
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2347.7632
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 0, 2, 3, 1, 0, 3, 3, 1)",2254.571008
+"(2, 1, 2, 3, 1, 1, 2, 1, 3, 3, 3, 1, 3, 3, 3, 3, 0)",1808.270848
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 1)",1751.647744
+"(0, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 3, 3, 0, 1)",2810.578432
+"(2, 1, 1, 1, 0, 2, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2157.970944
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 0, 0, 0, 1, 3, 3, 3, 1)",2099.774976
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 3, 3, 0, 3, 3, 0)",2119.960064
+"(2, 1, 0, 3, 0, 2, 2, 1, 3, 3, 3, 3, 3, 0, 3, 3, 1)",2003.961344
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2151.417344
+"(2, 0, 1, 0, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 0, 1)",2684.093952
+"(2, 1, 1, 2, 1, 2, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3, 0)",1715.209728
+"(0, 1, 0, 1, 0, 2, 2, 0, 3, 3, 2, 3, 1, 1, 2, 3, 1)",2392.065536
+"(2, 1, 1, 2, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1671.562752
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 0, 3, 3, 1, 3, 3, 1)",1981.941248
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 2, 1, 3, 3, 3, 3, 1)",1944.978944
+"(0, 1, 0, 0, 0, 0, 2, 1, 3, 3, 0, 1, 1, 2, 3, 3, 1)",2484.73344
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 2, 3, 3, 2, 3, 3, 1)",1984.0384
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 0, 1, 1, 0, 3, 3, 1)",2301.625856
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 1)",2290.222592
+"(2, 0, 2, 1, 1, 0, 2, 1, 3, 3, 3, 3, 3, 1, 3, 3, 1)",2073.560576
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2172.257792
+"(2, 1, 1, 3, 1, 0, 2, 1, 3, 0, 0, 0, 1, 3, 3, 3, 1)",2194.146816
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 3, 3, 1, 3, 3, 3, 1)",2144.077312
+"(2, 0, 0, 1, 1, 2, 2, 1, 3, 0, 2, 3, 1, 2, 3, 3, 1)",2248.934912
+"(0, 1, 0, 1, 0, 1, 2, 0, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2666.661376
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 3, 3, 0, 1)",2621.834752
+"(2, 1, 0, 0, 0, 2, 2, 1, 3, 3, 0, 1, 1, 0, 3, 3, 1)",2395.997696
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 0, 3, 3, 3, 3, 3, 3, 0)",1721.632256
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 0, 3, 3, 3, 2, 3, 3, 1)",1916.274176
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 3, 3, 1, 3, 3, 3, 3, 0)",2015.888896
+"(2, 1, 0, 3, 1, 2, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 0)",2033.583616
+"(2, 1, 0, 0, 0, 2, 2, 1, 3, 0, 0, 1, 1, 3, 2, 3, 1)",2401.50272
+"(2, 0, 1, 3, 0, 2, 2, 1, 3, 0, 0, 3, 1, 1, 3, 0, 1)",2490.762752
+"(2, 1, 2, 1, 0, 0, 2, 1, 3, 3, 3, 3, 3, 1, 3, 3, 1)",2054.686208
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3, 0)",1696.33536
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 0)",1945.765376
+"(2, 1, 0, 2, 1, 2, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 0)",2151.417344
+"(0, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 3, 1, 3, 3, 1)",2522.74432
+"(2, 1, 2, 1, 0, 2, 2, 1, 3, 3, 3, 3, 3, 3, 2, 3, 1)",1883.899392
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 0, 1, 1, 3, 3, 0, 0)",2156.529152
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2101.34784
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 0)",1999.635968
+"(0, 0, 1, 3, 1, 2, 2, 1, 3, 3, 3, 3, 3, 1, 3, 3, 0)",1847.06816
+"(2, 1, 0, 3, 0, 2, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2165.704192
+"(2, 1, 1, 0, 1, 1, 2, 1, 3, 3, 0, 1, 1, 0, 3, 3, 1)",2301.625856
+"(0, 1, 0, 1, 0, 0, 2, 0, 3, 0, 2, 3, 1, 1, 2, 3, 1)",2574.255616
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 3, 3, 0, 1)",2640.70912
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2340.161024
+"(2, 1, 1, 1, 1, 0, 2, 1, 3, 3, 0, 3, 3, 1, 3, 3, 0)",2038.564352
+"(0, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 3, 0, 0)",2778.465792
+"(2, 1, 0, 3, 0, 1, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 1)",2056.259072
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 3, 1, 3, 1, 3, 3, 1)",2097.022464
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 0, 0, 3, 3, 2, 3, 3, 1)",1994.52416
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 3, 0, 3, 3, 3, 3, 3, 1)",2127.300096
+"(2, 0, 2, 0, 1, 2, 2, 1, 3, 3, 2, 1, 1, 1, 3, 3, 1)",2240.93952
+"(2, 1, 0, 1, 1, 1, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1954.678272
+"(0, 0, 0, 2, 1, 0, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2472.2816
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 3, 3, 0, 1)",2617.247232
+"(2, 1, 1, 3, 0, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",1983.514112
+"(2, 1, 1, 3, 0, 2, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2170.291712
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 0, 2, 3, 1, 1, 3, 3, 1)",2135.42656
+"(0, 1, 1, 0, 1, 0, 2, 1, 3, 3, 3, 3, 1, 2, 3, 0, 1)",2324.956672
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 3, 3, 3, 0, 3, 3, 1)",2003.961344
+"(0, 1, 0, 3, 0, 0, 2, 0, 3, 3, 0, 1, 1, 3, 2, 3, 1)",2445.805056
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 3, 2, 1, 3, 3, 3, 3, 0)",1850.607104
+"(0, 0, 0, 1, 1, 2, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2434.532864
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 0)",2233.599488
+"(2, 1, 1, 1, 0, 0, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2153.383424
+"(2, 1, 0, 0, 0, 0, 2, 1, 3, 3, 2, 3, 1, 1, 3, 3, 1)",2330.72384
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 0, 2, 3, 1, 1, 3, 3, 1)",2248.672768
+"(0, 0, 1, 1, 1, 0, 2, 1, 3, 0, 0, 1, 1, 1, 3, 0, 1)",2759.591424
+"(2, 1, 1, 2, 0, 2, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2209.089024
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 0)",1895.040512
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 0)",2063.730176
+"(2, 0, 2, 3, 1, 0, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1879.1808
+"(0, 1, 2, 3, 0, 2, 2, 0, 3, 0, 3, 1, 3, 1, 3, 3, 1)",2203.715072
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2176.845312
+"(2, 1, 1, 0, 0, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 1)",1921.517056
+"(2, 1, 2, 2, 0, 0, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1879.1808
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 0)",2477.917696
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 1)",2214.72512
+"(0, 1, 2, 2, 1, 0, 2, 1, 3, 0, 3, 3, 3, 3, 3, 3, 0)",1910.375936
+"(2, 1, 2, 3, 1, 0, 2, 1, 3, 3, 3, 3, 3, 1, 3, 3, 0)",1847.06816
+"(2, 0, 0, 1, 0, 2, 2, 1, 3, 3, 0, 1, 1, 1, 3, 3, 1)",2465.596928
+"(2, 1, 2, 0, 0, 2, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2157.970944
+"(0, 0, 0, 1, 1, 0, 2, 1, 3, 0, 2, 3, 1, 1, 3, 0, 1)",2700.215808
+"(2, 1, 0, 2, 0, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2096.76032
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 0)",1940.391424
+"(0, 1, 0, 1, 0, 1, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2511.078912
+"(2, 0, 0, 1, 0, 0, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2441.086464
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 1)",1944.454656
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 0)",1985.34912
+"(0, 1, 2, 3, 1, 0, 2, 1, 3, 0, 3, 3, 3, 1, 3, 3, 0)",2010.383872
+"(2, 1, 0, 3, 1, 2, 2, 1, 3, 3, 1, 3, 3, 3, 3, 3, 1)",1897.661952
+"(0, 0, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2628.91264
+"(2, 1, 0, 2, 0, 1, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2172.257792
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 0)",1796.60544
+"(2, 1, 1, 3, 1, 2, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1690.43712
+"(2, 1, 1, 0, 1, 1, 2, 1, 3, 3, 0, 1, 1, 2, 3, 3, 1)",2220.492288
+"(2, 0, 0, 1, 0, 2, 2, 1, 3, 3, 0, 1, 1, 3, 3, 0, 1)",2552.89088
+"(2, 1, 1, 1, 0, 0, 2, 1, 3, 0, 2, 3, 1, 1, 3, 3, 1)",2305.295872
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 1)",1940.391424
+"(0, 1, 0, 0, 1, 1, 2, 0, 3, 3, 0, 1, 1, 1, 2, 3, 1)",2564.68736
+"(2, 1, 0, 2, 0, 2, 2, 1, 3, 3, 3, 1, 3, 3, 3, 3, 0)",1940.391424
+"(0, 1, 1, 2, 1, 0, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2184.57856
+"(2, 1, 1, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2284.84864
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2052.457984
+"(2, 1, 0, 3, 0, 0, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 1)",2214.72512
+"(0, 1, 2, 0, 1, 0, 2, 1, 3, 3, 2, 3, 1, 3, 3, 0, 1)",2304.771584
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 3, 1, 3, 3, 3, 3, 0)",1997.014528
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 0, 2, 3, 1, 2, 3, 3, 1)",2060.191232
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",1834.354176
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2095.842816
+"(2, 1, 1, 1, 0, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",2004.223488
+"(2, 1, 0, 3, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2002.38848
+"(0, 1, 1, 1, 1, 2, 2, 1, 3, 0, 3, 3, 3, 3, 3, 3, 1)",1948.124672
+"(0, 1, 2, 1, 0, 2, 2, 0, 3, 3, 2, 1, 1, 1, 2, 3, 1)",2377.778688
+"(2, 1, 1, 2, 0, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 0)",1945.765376
+"(2, 1, 1, 1, 0, 2, 2, 0, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2302.412288
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 3, 2, 3, 0)",2326.005248
+"(2, 1, 2, 3, 1, 2, 2, 1, 3, 0, 3, 3, 3, 3, 3, 3, 1)",1778.25536
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 0, 0, 3, 3, 3, 3, 3, 0)",2101.872128
+"(0, 1, 0, 3, 1, 0, 2, 1, 3, 3, 2, 3, 1, 1, 2, 3, 1)",2278.819328
+"(2, 0, 1, 0, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",2041.972224
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 1, 1, 1, 3, 3, 0)",2314.601984
+"(2, 1, 0, 0, 0, 2, 2, 1, 3, 3, 2, 1, 1, 3, 3, 3, 1)",2216.429056
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 0, 0, 3, 3, 3, 3, 3, 0)",1837.630976
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",2098.595328
+"(0, 1, 0, 1, 0, 2, 2, 1, 3, 3, 3, 1, 1, 1, 2, 3, 1)",2392.065536
+"(2, 0, 1, 0, 1, 0, 2, 1, 3, 3, 2, 3, 1, 3, 3, 0, 1)",2342.52032
+"(2, 1, 2, 2, 0, 2, 2, 1, 3, 3, 3, 1, 3, 3, 2, 3, 0)",1869.612544
+"(2, 1, 1, 0, 0, 2, 2, 1, 3, 3, 2, 1, 1, 3, 3, 3, 1)",2122.057216
+"(2, 1, 0, 3, 1, 0, 2, 1, 3, 3, 2, 1, 3, 3, 3, 3, 1)",2039.350784
+"(0, 1, 1, 1, 0, 2, 2, 0, 3, 0, 0, 3, 1, 1, 2, 3, 0)",2383.676928
+"(0, 1, 0, 0, 1, 0, 2, 0, 3, 3, 0, 3, 1, 2, 2, 3, 1)",2409.36704
+"(2, 1, 1, 1, 0, 1, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2440.16896
+"(0, 0, 0, 0, 0, 0, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2742.158848
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 1)",2271.348224
+"(0, 0, 0, 1, 1, 0, 2, 1, 3, 3, 0, 1, 1, 1, 3, 0, 1)",2766.145024
+"(2, 1, 0, 2, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2402.420224
+"(2, 1, 1, 0, 0, 0, 2, 1, 3, 3, 0, 1, 1, 1, 3, 3, 1)",2390.099456
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2291.140096
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 3, 3, 1, 3, 3, 3, 3, 0)",1751.647744
+"(0, 1, 0, 1, 1, 2, 2, 0, 3, 0, 0, 3, 1, 3, 2, 3, 1)",2340.292096
+"(2, 1, 1, 2, 0, 2, 2, 1, 3, 0, 3, 3, 3, 3, 3, 3, 1)",1891.501568
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2121.270784
+"(0, 0, 2, 1, 1, 2, 2, 1, 3, 0, 0, 3, 1, 1, 3, 0, 0)",2396.390912
+"(2, 1, 0, 0, 0, 2, 2, 1, 3, 0, 3, 1, 1, 2, 3, 3, 1)",2305.558016
+"(2, 1, 2, 2, 1, 0, 2, 1, 3, 0, 3, 3, 3, 1, 3, 3, 0)",1953.760768
+"(2, 1, 1, 1, 0, 1, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2134.509056
+"(2, 1, 2, 0, 0, 2, 2, 1, 3, 0, 2, 3, 3, 3, 3, 3, 1)",1990.460928
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 3, 2, 1, 3, 3, 3, 3, 1)",2190.345728
+"(2, 1, 0, 0, 0, 2, 2, 0, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2415.658496
+"(2, 1, 2, 1, 0, 0, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 0)",2196.768256
+"(0, 1, 0, 1, 1, 0, 2, 1, 3, 3, 2, 3, 1, 1, 2, 3, 1)",2354.3168
+"(2, 0, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 3, 2, 3, 1)",2477.000192
+"(2, 1, 1, 0, 0, 2, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2165.704192
+"(0, 0, 1, 3, 0, 0, 2, 1, 3, 3, 3, 1, 3, 3, 3, 3, 1)",2148.009472
+"(2, 1, 0, 2, 1, 0, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2234.516992
+"(2, 1, 0, 3, 0, 2, 2, 1, 3, 0, 3, 1, 1, 1, 3, 3, 1)",2286.421504
+"(2, 1, 1, 2, 1, 2, 2, 1, 3, 3, 3, 3, 3, 1, 3, 0, 1)",2053.244416
+"(2, 1, 0, 1, 1, 0, 2, 1, 3, 0, 3, 1, 1, 2, 3, 0, 1)",2511.734272
+"(2, 1, 2, 1, 1, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2270.299648
+"(2, 1, 2, 0, 1, 0, 2, 1, 3, 3, 2, 1, 1, 1, 3, 3, 1)",2240.93952
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 0)",1926.891008
+"(2, 1, 0, 1, 1, 2, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2284.586496
+"(0, 0, 0, 1, 0, 0, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2604.402176
+"(0, 0, 1, 0, 0, 2, 2, 1, 3, 3, 0, 3, 1, 1, 3, 3, 1)",2366.637568
+"(2, 1, 0, 3, 0, 0, 2, 1, 3, 3, 3, 3, 1, 3, 2, 3, 1)",2117.600768
+"(0, 0, 0, 1, 0, 2, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2411.070976
+"(2, 1, 0, 3, 1, 2, 2, 1, 3, 3, 3, 3, 3, 1, 3, 3, 0)",1865.942528
+"(0, 0, 1, 1, 1, 2, 2, 1, 3, 3, 2, 1, 1, 3, 3, 3, 1)",2197.554688
+"(0, 1, 0, 1, 0, 0, 2, 0, 3, 0, 0, 1, 1, 2, 3, 3, 1)",2610.300416
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 3, 3, 3, 3, 1)",2238.580224
+"(2, 0, 0, 1, 0, 0, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 1)",2384.594432
+"(2, 1, 1, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 3, 3, 3, 1)",2241.201664
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 3, 2, 3, 1, 3, 3, 3, 1)",1853.228544
+"(2, 1, 0, 3, 0, 2, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2284.586496
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 0, 0, 3, 1, 1, 2, 3, 1)",2478.048768
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2252.342784
+"(2, 1, 2, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 0)",2289.174016
+"(2, 1, 0, 3, 1, 2, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 1)",1803.683328
+"(2, 1, 1, 0, 1, 2, 2, 1, 3, 3, 3, 3, 1, 1, 2, 3, 1)",2066.61376
+"(0, 1, 1, 1, 0, 0, 2, 0, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2591.163904
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 2, 2, 3, 1)",2426.275328
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 3, 0, 3, 1, 1, 2, 3, 1)",2484.602368
+"(0, 1, 0, 1, 1, 2, 2, 1, 3, 3, 3, 1, 3, 3, 3, 3, 1)",2053.637632
+"(0, 1, 0, 0, 1, 0, 2, 1, 3, 0, 0, 1, 1, 1, 2, 3, 1)",2614.756864
+"(2, 1, 0, 1, 0, 1, 1, 1, 3, 0, 0, 3, 1, 2, 3, 3, 1)",2398.094848
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 0, 2, 1, 1, 1, 3, 3, 1)",2498.627072
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 1)",2139.227648
+"(2, 1, 1, 0, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2378.958336
+"(2, 0, 2, 1, 0, 0, 2, 1, 3, 0, 0, 3, 1, 1, 3, 3, 1)",2435.58144
+"(2, 1, 0, 1, 0, 2, 2, 0, 3, 3, 2, 3, 1, 3, 3, 3, 1)",2155.218432
+"(0, 0, 1, 3, 1, 2, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2077.885952
+"(2, 1, 2, 0, 1, 2, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 0)",1770.522112
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 3, 0, 3, 1, 2, 2, 3, 1)",2333.869568
+"(2, 1, 1, 3, 0, 2, 2, 1, 3, 3, 3, 3, 1, 3, 3, 3, 0)",1829.766656
+"(0, 1, 0, 1, 0, 0, 2, 0, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2685.535744
+"(2, 1, 2, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 3, 1)",2345.79712
+"(2, 1, 0, 3, 0, 1, 2, 1, 3, 3, 2, 3, 3, 3, 3, 3, 0)",1940.391424
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 2, 3, 3, 1)",2383.808
+"(2, 1, 2, 1, 0, 1, 2, 1, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2115.634688
+"(0, 0, 0, 3, 0, 0, 2, 1, 3, 3, 3, 3, 3, 3, 3, 3, 0)",1992.427008
+"(2, 1, 2, 1, 1, 0, 2, 0, 3, 0, 3, 3, 1, 3, 3, 3, 0)",2049.705472
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 0, 2, 3, 1, 3, 3, 3, 1)",2129.790464
+"(2, 1, 1, 1, 0, 2, 2, 1, 3, 3, 0, 1, 1, 1, 3, 3, 1)",2276.853248
+"(2, 1, 0, 0, 1, 2, 2, 1, 3, 3, 3, 3, 3, 2, 3, 3, 1)",1941.702144
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 0, 1, 3, 3, 3, 0)",2200.700416
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 3, 0, 3, 3, 1, 3, 3, 1)",2265.056768
+"(0, 1, 0, 1, 0, 0, 2, 0, 3, 3, 0, 1, 1, 3, 3, 3, 1)",2478.8352
+"(0, 1, 0, 1, 0, 0, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 1)",2365.720064
+"(2, 1, 1, 1, 1, 2, 2, 1, 3, 0, 0, 1, 1, 1, 3, 0, 1)",2495.350272
+"(0, 1, 0, 2, 0, 2, 2, 1, 3, 3, 0, 1, 3, 1, 2, 3, 1)",2330.985984
+"(2, 1, 2, 1, 0, 0, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",2178.156032
+"(2, 1, 0, 3, 1, 2, 2, 1, 3, 0, 2, 3, 1, 3, 3, 3, 1)",2035.418624
+"(2, 1, 1, 1, 0, 0, 2, 1, 3, 3, 0, 3, 1, 3, 2, 3, 1)",2195.850752
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 0, 0, 3, 3, 3, 2, 3, 1)",1936.721408
+"(2, 1, 0, 0, 0, 2, 2, 1, 3, 3, 0, 3, 1, 2, 2, 3, 1)",2258.372096
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 1, 0, 1, 1, 2, 2, 3, 1)",2424.44032
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 2, 0, 3, 1, 3, 3, 3, 1)",2274.100736
+"(2, 1, 1, 2, 1, 2, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 1)",1970.537984
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 0, 1, 1, 3, 3, 3, 0)",2195.71968
+"(0, 0, 0, 1, 0, 2, 2, 1, 3, 3, 3, 1, 1, 1, 3, 3, 1)",2443.970048
+"(2, 1, 2, 2, 1, 2, 2, 1, 3, 0, 3, 3, 1, 3, 3, 3, 0)",1842.087424
+"(2, 1, 0, 0, 0, 1, 2, 1, 3, 3, 0, 1, 1, 2, 3, 3, 1)",2390.3616
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 0, 0, 3, 3, 3, 3, 3, 1)",1894.25408
+"(2, 1, 2, 3, 1, 0, 2, 1, 3, 0, 0, 3, 3, 3, 3, 0, 0)",2119.304704
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 3, 0, 3, 3, 2, 3, 3, 1)",2189.82144
+"(2, 1, 0, 1, 0, 0, 2, 1, 3, 3, 0, 3, 3, 3, 2, 3, 1)",2188.641792
+"(2, 1, 0, 1, 0, 1, 2, 1, 3, 0, 0, 1, 1, 3, 3, 3, 1)",2415.658496
+"(2, 1, 1, 3, 1, 2, 2, 1, 3, 0, 0, 1, 1, 2, 3, 3, 1)",2138.441216
+"(2, 1, 0, 3, 1, 2, 2, 1, 3, 3, 0, 3, 1, 2, 3, 3, 0)",1989.412352
+"(0, 1, 0, 1, 0, 2, 2, 0, 3, 3, 0, 3, 1, 3, 3, 3, 1)",2285.504
+"(2, 1, 0, 1, 0, 2, 2, 1, 3, 3, 2, 3, 1, 3, 2, 3, 1)",2141.062656
+"(2, 1, 1, 1, 0, 1, 2, 1, 3, 0, 0, 3, 3, 3, 3, 3, 1)",2120.746496
+"(2, 1, 0, 1, 1, 0, 2, 0, 3, 0, 3, 1, 1, 1, 3, 3, 1)",2437.416448
+"(2, 1, 1, 1, 0, 2, 2, 1, 3, 0, 0, 1, 1, 2, 2, 3, 1)",2331.903488