"(0, 0, 0, 1, 0, 1, 0, 1, 1, 0, 2, 3, 0, 2, 1, 0)",8778.5472
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 3, 0, 3, 1, 0, 2)",6931.611648
"(1, 0, 0, 1, 1, 1, 0, 0, 3, 0, 2, 3, 0, 0, 1, 3)",8035.36896
"(0, 1, 1, 1, 0, 0, 1, 0, 2, 3, 0, 0, 1, 1, 1, 3)",7865.106432
"(1, 1, 1, 1, 1, 0, 1, 0, 2, 0, 3, 3, 2, 1, 1, 3)",6962.675712
"(1, 1, 1, 0, 1, 1, 1, 1, 2, 0, 3, 3, 2, 2, 3, 3)",6399.197184
"(1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 1, 0, 2, 3, 0)",8541.831168
"(1, 1, 1, 1, 0, 0, 0, 0, 3, 0, 1, 2, 2, 3, 1, 2)",7219.052544
"(1, 0, 1, 1, 1, 0, 0, 1, 3, 1, 1, 1, 1, 0, 1, 1)",8311.406592
"(1, 1, 0, 1, 0, 0, 0, 1, 1, 3, 2, 0, 3, 1, 3, 0)",7711.752192
"(1, 0, 1, 0, 1, 1, 1, 1, 2, 3, 1, 0, 3, 0, 1, 3)",7633.502208
"(0, 1, 1, 1, 0, 1, 1, 1, 3, 0, 1, 3, 3, 3, 3, 3)",6382.288896
"(0, 1, 0, 1, 1, 0, 1, 0, 1, 3, 1, 0, 1, 0, 3, 3)",8005.87776
"(1, 1, 0, 0, 0, 0, 0, 1, 3, 2, 2, 3, 2, 0, 2, 3)",6987.44832
"(0, 1, 1, 0, 1, 0, 1, 0, 3, 2, 0, 0, 1, 2, 2, 0)",8163.557376
"(0, 0, 0, 1, 0, 0, 1, 0, 1, 1, 3, 0, 2, 0, 3, 2)",8374.714368
"(0, 1, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 3, 3, 1, 1)",7803.37152
"(0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 2, 1, 1, 2)",8698.724352
"(0, 0, 1, 0, 0, 0, 0, 1, 0, 2, 3, 2, 1, 0, 1, 2)",8279.556096
"(1, 1, 0, 0, 0, 1, 0, 1, 2, 1, 1, 2, 2, 3, 2, 1)",7250.509824
"(0, 1, 1, 1, 1, 0, 1, 1, 2, 1, 1, 2, 3, 2, 0, 3)",7454.982144
"(1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 2, 0, 3, 1, 3, 3)",8159.232
"(1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 0, 0, 0, 3, 0, 0)",9389.99808
"(0, 0, 1, 0, 0, 1, 0, 0, 1, 2, 2, 2, 0, 0, 0, 0)",9377.021952
"(0, 1, 0, 1, 1, 1, 0, 0, 0, 1, 3, 0, 2, 1, 1, 2)",7989.362688
"(1, 0, 0, 0, 0, 1, 1, 1, 3, 1, 0, 2, 1, 2, 0, 1)",8268.546048
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 0, 2, 3, 3, 0, 1, 1)",8274.444288
"(1, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 2, 1, 0, 0, 0)",9866.969088
"(1, 0, 1, 1, 0, 1, 1, 1, 3, 1, 2, 3, 2, 0, 3, 3)",7023.624192
"(0, 0, 0, 1, 0, 1, 1, 1, 2, 1, 0, 3, 2, 2, 2, 0)",8163.16416
"(1, 1, 1, 0, 1, 1, 1, 1, 1, 2, 0, 0, 1, 1, 2, 2)",7885.94688
"(0, 1, 0, 0, 0, 1, 1, 0, 2, 3, 3, 1, 0, 3, 1, 0)",7694.843904
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 3, 3, 1, 2, 0, 0, 3)",8171.02848
"(0, 0, 0, 1, 1, 0, 0, 1, 2, 1, 3, 1, 3, 0, 0, 1)",8406.95808
"(1, 0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 0, 0, 0, 0, 2)",9540.599808
"(1, 1, 0, 1, 0, 1, 0, 1, 2, 3, 0, 0, 2, 0, 0, 3)",8177.319936
"(0, 1, 1, 1, 0, 1, 1, 1, 0, 3, 3, 3, 0, 1, 0, 2)",7521.435648
"(1, 0, 0, 1, 1, 0, 0, 1, 1, 2, 1, 3, 3, 3, 3, 1)",7119.962112
"(1, 1, 1, 0, 0, 1, 1, 1, 1, 2, 3, 1, 2, 2, 2, 0)",7378.305024
"(0, 0, 0, 1, 0, 0, 0, 1, 1, 1, 2, 3, 1, 2, 1, 0)",8558.34624
"(0, 0, 1, 0, 0, 0, 1, 1, 1, 2, 0, 0, 1, 1, 1, 2)",8728.608768
"(0, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 3, 3, 3, 3, 1)",7125.07392
"(1, 0, 1, 0, 1, 0, 1, 1, 0, 3, 0, 0, 1, 0, 1, 0)",9242.148864
"(1, 1, 0, 0, 1, 1, 0, 1, 0, 1, 1, 2, 2, 3, 2, 1)",7514.750976
"(1, 0, 0, 0, 1, 0, 0, 1, 2, 2, 1, 3, 3, 3, 3, 3)",6803.030016
"(1, 0, 1, 1, 0, 1, 1, 1, 2, 1, 2, 3, 2, 0, 3, 3)",7255.621632
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 2, 0, 3, 1, 3, 3)",8103.788544
"(1, 1, 1, 1, 0, 0, 1, 0, 2, 0, 3, 1, 2, 1, 1, 0)",7983.464448
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 0, 0, 2, 0, 0, 2)",8096.710656
"(1, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0)",10031.726592
"(1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 2, 3, 2, 0, 3, 3)",7464.419328
"(1, 0, 1, 0, 0, 0, 0, 1, 0, 2, 3, 2, 3, 0, 1, 2)",7781.74464
"(0, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 0, 1, 3)",8717.205504
"(1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 3, 3, 2, 3, 0)",7631.929344
"(1, 1, 1, 1, 0, 0, 0, 0, 3, 0, 2, 2, 2, 3, 1, 2)",7029.522432
"(1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 3)",9980.608512
"(1, 1, 0, 0, 0, 1, 0, 1, 2, 1, 1, 2, 0, 3, 2, 0)",8081.768448
"(1, 1, 1, 0, 1, 1, 0, 1, 0, 2, 3, 2, 1, 0, 2, 2)",7436.894208
"(1, 1, 1, 1, 0, 1, 1, 0, 3, 0, 1, 1, 0, 2, 3, 2)",7443.972096
"(1, 0, 1, 1, 0, 1, 0, 1, 2, 0, 1, 2, 3, 0, 0, 3)",8258.322432
"(0, 1, 0, 1, 0, 1, 0, 0, 2, 1, 3, 0, 2, 1, 1, 2)",7725.121536
"(1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 3, 2, 2, 3, 1)",6716.12928
"(0, 0, 0, 1, 1, 0, 0, 1, 3, 1, 3, 1, 3, 0, 0, 1)",8174.96064
"(0, 0, 1, 1, 0, 1, 0, 0, 0, 2, 2, 2, 0, 0, 0, 0)",9432.465408
"(0, 1, 0, 0, 1, 1, 1, 0, 2, 3, 3, 3, 0, 3, 1, 3)",6674.055168
"(1, 1, 1, 1, 0, 1, 0, 1, 2, 3, 3, 0, 3, 1, 0, 3)",7012.220928
"(0, 0, 0, 1, 1, 0, 0, 1, 2, 1, 3, 2, 3, 0, 0, 1)",8242.200576
"(0, 0, 0, 1, 0, 1, 0, 1, 3, 0, 2, 3, 0, 2, 1, 0)",8337.752064
"(0, 0, 1, 0, 1, 1, 1, 1, 2, 3, 1, 0, 1, 0, 1, 3)",8131.313664
"(0, 1, 0, 1, 1, 1, 0, 0, 0, 3, 3, 0, 2, 1, 3, 2)",7278.034944
"(0, 1, 1, 1, 0, 1, 1, 1, 3, 0, 1, 1, 0, 3, 3, 3)",7292.19072
"(0, 0, 1, 0, 0, 1, 0, 0, 1, 2, 1, 2, 0, 0, 0, 0)",9566.552064
"(1, 0, 0, 1, 0, 1, 0, 0, 3, 3, 2, 3, 0, 0, 1, 2)",7595.360256
"(0, 1, 0, 0, 0, 1, 1, 0, 2, 3, 3, 1, 2, 3, 1, 1)",6863.58528
"(1, 0, 0, 1, 0, 0, 0, 1, 1, 0, 2, 0, 0, 1, 3, 0)",9222.094848
"(1, 1, 1, 1, 0, 1, 1, 1, 3, 2, 3, 1, 2, 2, 2, 0)",6868.303872
"(1, 1, 0, 1, 1, 1, 0, 0, 3, 3, 2, 3, 3, 0, 1, 3)",6525.026304
"(1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1)",8821.407744
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 3, 1, 1, 3)",8682.995712
"(0, 1, 0, 1, 1, 0, 1, 0, 1, 1, 2, 1, 3, 3, 3, 1)",7279.607808
"(0, 0, 0, 0, 0, 0, 1, 0, 0, 3, 3, 0, 2, 1, 1, 1)",8191.868928
"(1, 1, 1, 1, 0, 0, 0, 1, 3, 3, 0, 0, 1, 1, 0, 0)",8449.818624
"(1, 1, 1, 0, 1, 1, 1, 1, 2, 0, 3, 3, 3, 2, 3, 3)",6220.283904
"(1, 1, 0, 0, 0, 0, 0, 1, 2, 1, 1, 2, 2, 3, 1, 1)",7539.523584
"(1, 0, 0, 1, 1, 0, 0, 1, 0, 2, 1, 0, 3, 3, 3, 1)",7793.147904
"(1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0)",10170.138624
"(1, 1, 0, 1, 0, 0, 1, 1, 2, 0, 1, 1, 3, 2, 3, 0)",7843.086336
"(1, 0, 0, 1, 0, 1, 0, 0, 0, 3, 2, 3, 0, 0, 1, 0)",8693.219328
"(0, 1, 1, 1, 0, 0, 1, 1, 3, 0, 1, 3, 3, 3, 1, 3)",6785.728512
"(1, 1, 1, 0, 1, 1, 1, 0, 0, 3, 3, 0, 0, 0, 1, 0)",8483.241984
"(0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 2, 1, 0, 0, 0)",10005.38112
"(1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 3, 3, 2, 2, 3, 1)",6785.335296
"(1, 1, 0, 0, 0, 1, 1, 0, 2, 0, 1, 1, 3, 3, 1, 3)",7354.712064
"(1, 0, 1, 1, 0, 0, 1, 1, 0, 0, 3, 2, 3, 0, 0, 2)",8348.762112
"(1, 1, 0, 1, 1, 1, 0, 0, 3, 3, 2, 3, 2, 0, 1, 3)",6703.939584
"(0, 0, 1, 0, 0, 1, 0, 1, 0, 2, 3, 2, 1, 0, 2, 2)",7990.542336
"(1, 0, 0, 0, 0, 0, 0, 1, 1, 3, 0, 3, 0, 0, 0, 2)",8867.414016
"(0, 1, 0, 1, 0, 1, 1, 1, 2, 3, 3, 1, 2, 3, 1, 1)",6725.173248
"(1, 0, 1, 0, 1, 1, 0, 0, 0, 2, 1, 3, 0, 3, 3, 3)",7501.774848
"(0, 0, 1, 1, 0, 1, 0, 0, 3, 2, 2, 2, 0, 0, 0, 2)",8334.606336
"(1, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1, 0, 3, 1, 3, 3)",8279.556096
"(0, 0, 0, 0, 1, 0, 1, 1, 2, 3, 0, 3, 1, 3, 1, 3)",7432.962048
"(1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 1, 3, 3, 3, 3, 1)",6986.661888
"(1, 1, 1, 1, 1, 1, 1, 1, 2, 0, 3, 3, 2, 2, 3, 3)",6329.991168
"(0, 1, 1, 0, 0, 0, 1, 1, 3, 0, 0, 3, 1, 0, 3, 0)",8316.125184
"(0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 3, 0, 2, 0, 3, 2)",8443.920384
"(1, 0, 0, 0, 1, 0, 0, 1, 2, 2, 0, 0, 3, 3, 3, 3)",7514.35776
"(1, 0, 1, 1, 1, 1, 1, 0, 2, 0, 3, 3, 2, 1, 1, 2)",7252.475904
"(1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 2)",10131.996672
"(1, 0, 1, 1, 1, 1, 1, 1, 0, 3, 1, 0, 3, 3, 1, 3)",7308.312576
"(1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 2, 0, 3, 1, 3, 3)",8034.582528
"(1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1, 3, 0, 0, 0, 3)",9269.280768
"(1, 1, 0, 1, 0, 0, 0, 0, 3, 3, 2, 3, 0, 0, 1, 3)",7305.560064
"(1, 1, 1, 0, 1, 1, 1, 1, 2, 3, 3, 3, 2, 2, 3, 3)",5807.80032
"(0, 1, 1, 0, 1, 0, 1, 1, 2, 3, 0, 0, 1, 0, 1, 3)",8086.48704
"(1, 1, 1, 1, 0, 0, 0, 1, 0, 3, 0, 0, 1, 0, 0, 3)",8691.253248
"(1, 0, 1, 1, 0, 1, 0, 0, 0, 2, 1, 0, 0, 0, 0, 0)",9859.8912
"(1, 0, 1, 1, 0, 0, 1, 0, 0, 3, 0, 0, 1, 1, 1, 0)",9020.768256
"(1, 0, 0, 1, 0, 1, 0, 1, 2, 0, 0, 2, 2, 0, 0, 0)",9353.035776
"(0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 2, 2, 3, 1, 1, 3)",8255.56992
"(1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 2, 2, 3, 2, 1)",7327.58016
"(0, 1, 1, 0, 0, 1, 1, 1, 3, 0, 1, 3, 3, 2, 3, 3)",6590.30016
"(1, 1, 1, 0, 0, 1, 1, 1, 2, 0, 3, 3, 2, 1, 3, 3)",6628.442112
"(1, 0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 0, 0, 0, 0, 0)",10073.014272
"(0, 1, 0, 0, 1, 1, 1, 0, 2, 0, 3, 0, 0, 3, 1, 3)",7813.988352
"(1, 0, 1, 1, 1, 1, 0, 0, 3, 3, 0, 3, 1, 0, 1, 0)",8058.96192
"(1, 0, 0, 0, 1, 0, 1, 0, 0, 3, 0, 0, 3, 1, 1, 3)",8185.184256
"(0, 0, 0, 0, 0, 0, 1, 0, 0, 3, 2, 0, 2, 0, 1, 1)",8687.321088
"(0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 2, 0, 0, 1, 1, 3)",9204.793344
"(1, 0, 1, 1, 1, 0, 0, 1, 0, 0, 0, 2, 1, 0, 0, 3)",9183.166464
"(0, 1, 0, 0, 0, 1, 0, 1, 2, 3, 3, 3, 2, 3, 3, 1)",6261.571584
"(0, 0, 1, 1, 0, 0, 1, 1, 2, 3, 0, 0, 1, 1, 1, 3)",8141.930496
"(1, 1, 0, 1, 1, 1, 0, 1, 3, 3, 2, 3, 2, 0, 1, 3)",6634.733568
"(0, 0, 0, 0, 1, 0, 0, 1, 0, 2, 1, 0, 3, 3, 1, 1)",8265.793536
"(1, 0, 1, 0, 0, 1, 1, 1, 2, 3, 3, 0, 2, 2, 0, 3)",7377.125376
"(0, 1, 0, 1, 0, 0, 1, 0, 0, 3, 3, 0, 2, 2, 3, 1)",7351.566336
"(1, 1, 0, 1, 1, 1, 0, 0, 3, 3, 2, 3, 0, 0, 1, 3)",7097.942016
"(1, 1, 0, 0, 0, 1, 1, 1, 2, 1, 3, 3, 2, 2, 3, 1)",6639.058944
"(1, 1, 1, 1, 1, 1, 1, 1, 2, 0, 3, 3, 3, 3, 3, 3)",6012.27264
"(1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 3, 3, 2, 2, 3, 3)",5738.594304
"(1, 1, 1, 1, 1, 1, 0, 1, 2, 3, 3, 0, 3, 2, 0, 3)",6782.976
"(1, 0, 0, 1, 0, 0, 0, 1, 1, 0, 2, 0, 0, 1, 3, 2)",8689.680384
"(1, 0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 2)",8992.063488
"(1, 1, 0, 1, 0, 0, 1, 0, 0, 3, 2, 0, 3, 1, 1, 3)",7486.83264
"(0, 0, 0, 0, 0, 0, 1, 1, 2, 0, 1, 3, 1, 3, 1, 3)",7930.773504
"(1, 1, 0, 1, 1, 1, 0, 0, 3, 3, 3, 3, 2, 1, 1, 3)",6208.487424
"(1, 0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 2, 3, 0, 0, 2)",8591.376384
"(0, 0, 0, 0, 0, 0, 0, 1, 2, 2, 0, 0, 3, 3, 3, 0)",8336.572416
"(1, 0, 0, 1, 1, 0, 1, 1, 2, 2, 1, 1, 3, 3, 1, 3)",7266.63168
"(1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 2)",9855.172608
"(1, 0, 0, 0, 0, 0, 0, 0, 1, 3, 0, 3, 0, 0, 0, 2)",8936.620032
"(1, 0, 0, 1, 1, 0, 1, 1, 2, 3, 0, 3, 1, 3, 3, 3)",6960.316416
"(1, 1, 1, 1, 1, 1, 0, 0, 0, 2, 1, 3, 0, 0, 3, 0)",8290.566144
"(1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 3, 3, 2, 1, 1, 1)",7556.431872
"(0, 1, 0, 0, 1, 1, 1, 0, 2, 3, 3, 3, 3, 3, 1, 3)",6101.139456
"(1, 1, 1, 1, 0, 1, 0, 0, 0, 2, 1, 0, 3, 0, 0, 0)",8940.945408
"(1, 1, 0, 0, 0, 1, 0, 0, 3, 3, 2, 3, 3, 0, 1, 2)",6745.62048
"(0, 0, 1, 1, 0, 0, 1, 1, 3, 0, 1, 3, 0, 3, 1, 3)",7704.674304
"(1, 0, 0, 1, 1, 0, 0, 1, 0, 3, 0, 0, 0, 0, 0, 3)",9320.005632
"(1, 1, 1, 1, 1, 1, 0, 1, 3, 3, 3, 3, 3, 0, 1, 3)",6112.54272
"(0, 0, 0, 1, 0, 1, 1, 0, 0, 3, 2, 0, 0, 1, 1, 3)",8405.778432
"(1, 0, 0, 0, 0, 0, 0, 1, 0, 2, 1, 2, 3, 0, 0, 3)",8572.895232
"(1, 0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0)",9524.477952
"(1, 0, 0, 0, 1, 1, 0, 1, 3, 3, 3, 0, 3, 0, 0, 3)",7555.252224
"(0, 0, 0, 1, 0, 0, 1, 1, 3, 3, 0, 0, 2, 0, 0, 2)",8581.152768
"(1, 0, 1, 1, 1, 0, 1, 1, 2, 3, 3, 3, 1, 3, 3, 3)",6264.717312
"(1, 0, 1, 1, 0, 0, 0, 1, 0, 3, 0, 3, 3, 0, 1, 3)",7788.822528
"(1, 0, 0, 1, 1, 0, 0, 1, 2, 2, 1, 1, 3, 3, 1, 3)",7335.837696
"(1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 1, 0, 3, 3, 3, 3)",6697.254912
"(1, 1, 0, 1, 1, 1, 0, 0, 2, 3, 3, 3, 2, 1, 1, 3)",6440.484864
"(1, 0, 0, 1, 1, 0, 0, 1, 2, 2, 1, 3, 2, 0, 1, 3)",7767.195648
"(0, 1, 1, 1, 0, 1, 1, 1, 3, 0, 1, 3, 3, 0, 0, 3)",7577.27232
"(1, 0, 0, 1, 1, 0, 0, 0, 0, 3, 2, 2, 3, 0, 0, 2)",8169.848832
"(0, 0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 1, 3, 3, 3)",8119.123968
"(1, 1, 0, 0, 0, 0, 0, 1, 2, 0, 0, 0, 2, 0, 0, 3)",8976.334848
"(1, 0, 0, 0, 1, 0, 0, 1, 2, 3, 0, 3, 3, 3, 3, 2)",6821.511168
"(1, 1, 0, 1, 1, 1, 0, 0, 3, 3, 2, 0, 3, 0, 1, 3)",7073.562624
"(1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 0, 3, 0, 0, 1, 3)",8537.899008
"(1, 1, 0, 1, 1, 1, 0, 1, 3, 3, 3, 3, 2, 1, 1, 3)",6139.281408
"(1, 1, 0, 0, 1, 0, 1, 1, 2, 3, 0, 3, 1, 3, 1, 3)",6948.519936
"(1, 1, 0, 1, 1, 1, 1, 1, 2, 3, 0, 3, 2, 2, 3, 3)",6434.193408
"(1, 1, 0, 0, 1, 1, 0, 1, 3, 3, 3, 0, 0, 0, 0, 2)",7864.32
"(1, 1, 1, 1, 0, 1, 1, 1, 2, 3, 3, 0, 3, 1, 0, 3)",6943.014912
"(1, 0, 1, 1, 1, 1, 1, 1, 2, 3, 3, 3, 2, 2, 1, 3)",6349.651968
"(1, 1, 1, 0, 1, 1, 1, 1, 3, 3, 3, 3, 2, 2, 3, 3)",5575.80288
"(1, 1, 0, 0, 1, 1, 0, 1, 3, 3, 2, 3, 3, 3, 3, 3)",5670.567936
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 0, 0, 2, 3, 3, 2)",6901.727232
"(1, 1, 0, 0, 0, 1, 0, 1, 3, 3, 0, 3, 3, 0, 1, 3)",6946.553856
"(1, 0, 0, 1, 1, 0, 1, 0, 2, 0, 2, 3, 0, 1, 1, 3)",8045.985792
"(0, 1, 1, 1, 0, 0, 1, 0, 2, 3, 0, 3, 1, 1, 1, 3)",7316.570112
"(1, 1, 0, 1, 1, 1, 1, 1, 2, 3, 2, 3, 2, 0, 1, 3)",6797.524992
"(1, 0, 1, 0, 1, 1, 1, 1, 0, 0, 3, 3, 3, 2, 3, 3)",6899.761152
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 2, 1, 0, 2, 0, 1, 3)",7668.498432
"(0, 1, 1, 0, 1, 1, 1, 1, 2, 0, 3, 3, 2, 2, 3, 3)",6537.609216
"(1, 1, 1, 1, 1, 1, 0, 1, 3, 3, 3, 3, 2, 2, 3, 3)",5575.80288
"(1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 1, 0, 3, 3, 1, 3)",6628.835328
"(1, 0, 0, 1, 0, 0, 1, 1, 2, 3, 0, 1, 3, 3, 0, 2)",7694.843904
"(1, 1, 1, 1, 0, 1, 1, 1, 3, 3, 1, 3, 3, 3, 3, 3)",5652.48
"(1, 0, 0, 0, 0, 0, 0, 1, 0, 2, 0, 3, 0, 0, 0, 2)",9218.555904
"(1, 0, 0, 1, 1, 0, 0, 1, 1, 3, 1, 3, 3, 3, 3, 1)",6893.469696
"(0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 2, 0, 0, 0, 0, 2)",9918.087168
"(1, 0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 2, 0, 0, 0, 2)",9164.292096
"(1, 1, 1, 1, 0, 1, 1, 1, 2, 3, 1, 3, 3, 2, 3, 3)",6023.282688
"(1, 0, 1, 1, 0, 0, 0, 1, 0, 3, 0, 3, 3, 0, 3, 3)",7523.794944
"(1, 1, 0, 1, 1, 1, 0, 0, 3, 3, 3, 3, 2, 2, 1, 3)",6048.448512
"(1, 0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 0, 3, 0, 0, 0)",9500.09856
"(1, 1, 1, 1, 1, 0, 0, 1, 3, 3, 3, 3, 3, 0, 1, 3)",6250.954752
"(1, 1, 0, 0, 0, 1, 0, 1, 3, 3, 0, 3, 3, 3, 1, 2)",6439.305216
"(1, 1, 1, 1, 1, 1, 0, 1, 3, 3, 0, 3, 3, 0, 1, 3)",6669.729792
"(1, 1, 1, 1, 1, 0, 1, 1, 3, 3, 1, 0, 3, 0, 1, 3)",7124.680704
"(1, 0, 0, 1, 1, 0, 0, 1, 0, 2, 1, 0, 3, 0, 3, 1)",8382.578688
"(1, 1, 0, 0, 1, 0, 0, 0, 3, 3, 2, 3, 3, 3, 1, 3)",6143.213568
"(1, 0, 1, 1, 1, 1, 0, 1, 0, 3, 1, 0, 2, 3, 1, 3)",7556.431872
"(0, 0, 1, 0, 0, 1, 1, 1, 3, 3, 3, 3, 2, 2, 0, 3)",6735.003648
"(1, 1, 0, 0, 0, 1, 0, 0, 0, 3, 0, 3, 2, 1, 1, 3)",7469.531136
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 3, 0, 0, 0, 1, 1, 3)",8827.305984
"(1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 3)",9769.058304
"(1, 1, 0, 1, 1, 1, 1, 1, 3, 3, 0, 3, 2, 3, 3, 3)",6063.39072
"(1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 3, 3, 2, 2, 1, 3)",6003.621888
"(1, 0, 0, 1, 1, 0, 1, 1, 2, 3, 0, 3, 1, 1, 3, 3)",7259.160576
"(1, 1, 0, 1, 1, 1, 1, 1, 3, 2, 1, 0, 2, 0, 1, 3)",7530.0864
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 2, 0, 2, 0, 2, 3)",7101.874176
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 3, 0, 2, 3, 3, 2)",6344.54016
"(1, 1, 0, 1, 1, 1, 1, 1, 2, 2, 1, 0, 2, 3, 1, 3)",7172.653056
"(1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 3, 0, 3)",9391.177728
"(1, 0, 0, 0, 1, 1, 1, 1, 0, 3, 0, 0, 3, 1, 3, 3)",7712.538624
"(1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 3, 3, 3, 2, 3, 3)",5327.683584
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 0, 0, 2, 0, 3, 2)",7421.952
"(1, 0, 0, 1, 1, 0, 0, 1, 3, 3, 3, 3, 0, 0, 0, 0)",8263.43424
"(1, 0, 0, 1, 1, 0, 1, 1, 2, 2, 1, 0, 1, 0, 1, 3)",8427.012096
"(1, 0, 1, 1, 1, 0, 1, 1, 2, 3, 1, 0, 1, 3, 1, 3)",7472.676864
"(1, 1, 0, 1, 1, 1, 0, 1, 3, 3, 2, 3, 3, 0, 1, 3)",6455.820288
"(1, 1, 0, 1, 1, 0, 0, 1, 1, 3, 3, 3, 2, 2, 3, 3)",6293.42208
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 0, 3, 2, 3, 3, 3)",6201.802752
"(1, 1, 1, 1, 0, 1, 1, 0, 0, 3, 0, 0, 3, 1, 1, 0)",8176.92672
"(1, 1, 1, 0, 1, 1, 0, 1, 3, 3, 3, 3, 3, 3, 3, 3)",5327.290368
"(1, 0, 1, 1, 1, 1, 0, 1, 3, 2, 1, 3, 3, 3, 3, 1)",6402.342912
"(0, 0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 0, 0, 0, 0, 0)",10211.426304
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 0, 3, 2, 0, 0, 2)",7894.204416
"(1, 0, 0, 0, 0, 1, 0, 1, 0, 3, 0, 2, 3, 0, 0, 2)",8452.964352
"(1, 1, 1, 0, 1, 1, 0, 1, 3, 3, 3, 3, 2, 3, 3, 3)",5506.203648
"(0, 0, 0, 1, 1, 1, 1, 1, 2, 3, 3, 0, 1, 2, 3, 3)",7090.470912
"(1, 0, 0, 0, 0, 0, 0, 1, 0, 2, 0, 0, 0, 0, 0, 0)",10299.506688
"(1, 1, 0, 1, 1, 1, 1, 1, 3, 3, 3, 3, 3, 2, 3, 3)",5466.095616
"(1, 0, 0, 0, 1, 1, 1, 0, 0, 3, 0, 0, 2, 1, 1, 3)",8225.685504
"(1, 1, 0, 1, 1, 1, 0, 0, 2, 3, 0, 3, 2, 2, 1, 3)",6837.633024
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 3, 0, 2, 2, 3, 2)",6483.345408
"(1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 3, 3, 3, 2, 3, 2)",5409.865728
"(1, 0, 1, 1, 0, 0, 0, 1, 0, 3, 0, 3, 3, 0, 3, 2)",7605.977088
"(1, 0, 1, 0, 0, 1, 0, 1, 0, 3, 0, 0, 0, 0, 0, 2)",9263.775744
"(1, 1, 1, 0, 0, 1, 0, 1, 3, 3, 3, 3, 0, 3, 3, 3)",5969.412096
"(1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 1, 3, 3, 2, 3, 3)",5722.079232
"(1, 1, 1, 0, 1, 0, 1, 1, 3, 3, 0, 3, 2, 2, 3, 3)",6271.401984
"(1, 1, 1, 1, 1, 1, 0, 1, 3, 3, 3, 3, 3, 2, 3, 3)",5396.8896
"(1, 1, 1, 0, 0, 0, 1, 1, 0, 3, 0, 3, 2, 3, 3, 3)",6767.24736
"(1, 0, 0, 0, 1, 0, 0, 1, 2, 3, 1, 3, 3, 3, 3, 3)",6576.5376
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 0, 0, 2, 3, 3, 2)",6763.3152
"(1, 1, 0, 1, 0, 0, 1, 1, 2, 3, 0, 3, 0, 2, 3, 3)",7035.813888
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 3, 3, 1, 3, 3, 3)",6171.131904
"(1, 1, 0, 1, 1, 1, 0, 0, 3, 3, 3, 3, 2, 3, 1, 3)",5909.643264
"(1, 0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 2, 3, 0, 0, 3)",8509.19424
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 0, 0, 2, 0, 3, 3)",7339.769856
"(1, 1, 0, 1, 1, 0, 1, 1, 2, 3, 1, 0, 3, 3, 1, 3)",6905.659392
"(0, 0, 0, 0, 1, 0, 0, 1, 0, 3, 0, 0, 3, 0, 0, 0)",9569.304576
"(1, 1, 1, 1, 0, 1, 0, 1, 3, 3, 3, 3, 2, 3, 3, 3)",5506.203648
"(1, 0, 0, 1, 1, 1, 1, 1, 2, 3, 3, 3, 1, 3, 3, 3)",6264.717312
"(1, 1, 0, 1, 1, 1, 0, 1, 2, 3, 0, 3, 2, 2, 3, 3)",6503.399424
"(1, 0, 0, 1, 1, 1, 1, 1, 2, 3, 0, 0, 0, 2, 3, 3)",7722.76224
"(1, 1, 1, 1, 1, 0, 1, 1, 3, 3, 3, 3, 2, 2, 3, 3)",5645.008896
"(1, 0, 0, 1, 0, 0, 0, 1, 0, 3, 0, 3, 3, 0, 1, 2)",8009.416704
"(1, 0, 0, 0, 0, 0, 1, 1, 1, 3, 0, 3, 0, 0, 0, 2)",8798.208
"(1, 1, 1, 0, 0, 0, 1, 0, 0, 3, 3, 3, 2, 1, 1, 3)",6843.138048
"(0, 0, 1, 0, 0, 1, 1, 1, 2, 3, 0, 0, 1, 1, 1, 3)",8072.72448
"(1, 0, 1, 0, 0, 0, 0, 1, 0, 3, 0, 2, 0, 0, 0, 3)",8943.69792
"(0, 0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 0, 3, 0, 0, 2)",9106.096128
"(1, 1, 0, 1, 1, 1, 1, 1, 3, 3, 3, 3, 2, 2, 3, 3)",5645.008896
"(1, 0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 2, 0, 0, 0, 0)",9696.70656
"(1, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 2, 3, 0, 0, 2)",8660.5824
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 0, 1, 1, 3)",8758.099968
"(1, 0, 0, 1, 1, 0, 0, 1, 1, 3, 1, 3, 3, 2, 3, 1)",7032.274944
"(1, 0, 0, 1, 0, 0, 0, 1, 0, 3, 0, 2, 3, 0, 0, 3)",8439.988224
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 0, 3, 3, 0)",8808.824832
"(1, 1, 0, 1, 1, 0, 0, 1, 3, 3, 0, 3, 2, 3, 3, 3)",6271.008768
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 2, 1, 0, 0, 0, 0, 3)",8818.262016
"(1, 0, 0, 1, 1, 0, 1, 1, 2, 3, 1, 0, 2, 0, 1, 3)",8020.033536
"(1, 0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 2, 3, 0, 1, 0)",8783.265792
"(0, 0, 1, 0, 0, 1, 1, 1, 2, 3, 0, 0, 1, 1, 1, 2)",8154.906624
"(1, 0, 0, 1, 1, 0, 0, 1, 2, 3, 0, 3, 2, 0, 3, 3)",7438.467072
"(1, 1, 1, 0, 1, 0, 0, 1, 3, 3, 3, 0, 0, 0, 3, 0)",7791.181824
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 0, 3, 2, 2, 3, 3)",6340.608
"(1, 0, 1, 1, 0, 0, 0, 1, 0, 3, 0, 3, 2, 0, 3, 3)",7702.708224
"(1, 1, 0, 1, 0, 1, 1, 1, 3, 3, 3, 0, 2, 2, 3, 3)",6262.751232
"(1, 0, 0, 0, 0, 1, 1, 0, 0, 3, 0, 0, 2, 1, 1, 2)",8377.073664
"(1, 0, 1, 0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 0, 3, 3)",7593.00096
"(1, 1, 0, 1, 0, 0, 0, 1, 3, 3, 0, 2, 2, 0, 0, 2)",7789.60896
"(1, 1, 1, 0, 1, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3)",5258.084352
"(0, 1, 0, 0, 1, 0, 0, 1, 0, 3, 0, 0, 2, 0, 1, 0)",9061.66272
"(1, 1, 0, 0, 0, 0, 0, 1, 1, 2, 0, 0, 0, 0, 0, 2)",9296.412672
"(1, 0, 0, 1, 0, 0, 0, 1, 0, 3, 0, 3, 0, 0, 0, 2)",8922.857472
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 0, 0, 2, 3, 3, 3)",6681.133056
"(1, 1, 0, 0, 0, 1, 1, 1, 0, 3, 0, 2, 0, 2, 0, 2)",8160.018432
"(0, 0, 0, 0, 0, 1, 0, 1, 0, 3, 0, 3, 3, 3, 0, 3)",7747.534848
"(1, 1, 0, 1, 1, 1, 1, 1, 3, 3, 3, 3, 2, 3, 3, 3)",5506.203648
"(1, 1, 1, 1, 1, 0, 1, 1, 3, 3, 3, 3, 3, 2, 3, 3)",5466.095616
"(1, 1, 0, 1, 1, 0, 0, 0, 3, 3, 3, 3, 2, 2, 1, 2)",6269.042688
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 0, 0, 2, 3, 3, 3)",6750.339072
"(1, 1, 0, 1, 0, 0, 1, 1, 0, 3, 1, 0, 3, 0, 3, 2)",7714.89792
"(1, 0, 0, 0, 0, 1, 0, 1, 0, 3, 0, 2, 3, 0, 0, 3)",8370.782208
"(1, 0, 0, 1, 0, 1, 1, 1, 2, 3, 0, 3, 3, 0, 0, 2)",7808.876544
"(0, 0, 0, 1, 0, 0, 1, 1, 3, 3, 3, 0, 3, 2, 3, 3)",6706.692096
"(1, 1, 0, 1, 1, 1, 0, 0, 0, 3, 0, 3, 3, 1, 1, 3)",7152.205824
"(1, 0, 0, 1, 1, 0, 0, 1, 3, 2, 3, 0, 2, 2, 3, 1)",7151.026176
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 1, 3, 3, 3, 3, 3)",5790.892032
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 1, 3, 2, 2, 3, 3)",6108.61056
"(1, 1, 1, 0, 1, 1, 0, 1, 0, 3, 0, 3, 0, 0, 0, 0)",8832.417792
"(1, 0, 1, 0, 1, 1, 1, 1, 3, 3, 3, 0, 2, 2, 3, 3)",6470.36928
"(1, 1, 0, 1, 1, 1, 1, 0, 3, 3, 3, 3, 2, 2, 1, 3)",5979.242496
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 0, 0, 2, 0, 3, 2)",7491.158016
"(0, 0, 1, 0, 1, 1, 1, 1, 2, 3, 0, 0, 1, 1, 1, 3)",8003.518464
"(1, 1, 0, 0, 0, 0, 0, 1, 3, 3, 3, 3, 3, 3, 1, 3)",5938.348032
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 3, 0, 0, 2, 3, 1, 3)",7569.014784
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 3, 0, 0, 2, 1, 1, 2)",7811.629056
"(1, 0, 1, 0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 0, 0, 3)",8198.5536
"(1, 0, 0, 0, 1, 1, 1, 1, 3, 3, 3, 3, 3, 0, 3, 3)",6331.957248
"(1, 1, 1, 0, 0, 1, 1, 1, 0, 3, 3, 3, 3, 3, 3, 3)",5892.734976
"(1, 0, 0, 1, 0, 0, 0, 1, 0, 3, 0, 0, 0, 0, 1, 2)",9130.868736
"(1, 1, 1, 1, 1, 0, 1, 1, 3, 3, 3, 0, 2, 2, 3, 3)",6193.545216
"(1, 1, 1, 1, 0, 1, 1, 1, 3, 3, 0, 3, 3, 0, 3, 3)",6404.702208
"(1, 0, 0, 0, 1, 0, 1, 0, 0, 3, 0, 0, 2, 1, 1, 3)",8364.097536
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 1, 0, 2, 0, 3, 2)",7328.366592
"(1, 1, 1, 1, 0, 1, 1, 1, 3, 3, 3, 3, 3, 2, 3, 3)",5396.8896
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 3, 3, 3, 3)",5860.098048
"(1, 0, 1, 1, 1, 1, 0, 1, 0, 3, 0, 3, 3, 0, 3, 2)",7398.35904
"(1, 1, 0, 1, 0, 0, 1, 1, 0, 3, 0, 0, 0, 1, 3, 2)",8160.018432
"(1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 3, 3, 3, 2, 3, 3)",5893.128192
"(1, 0, 0, 1, 0, 0, 0, 1, 0, 3, 0, 2, 3, 0, 1, 3)",8099.463168
"(1, 1, 1, 1, 1, 0, 0, 1, 2, 3, 0, 3, 2, 3, 3, 3)",6364.594176
"(1, 0, 1, 1, 1, 0, 0, 1, 3, 3, 0, 3, 3, 0, 1, 3)",7154.171904
"(0, 0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 3, 3, 0, 0, 0)",9089.974272
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 0, 3, 2, 0, 3, 2)",6873.41568
"(1, 0, 0, 0, 0, 1, 0, 1, 0, 3, 1, 2, 3, 3, 0, 3)",7618.56
"(1, 1, 0, 1, 0, 1, 1, 1, 2, 3, 0, 3, 0, 2, 3, 3)",6897.401856
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 0, 3, 2, 2, 3, 3)",6271.401984
"(1, 1, 1, 1, 1, 0, 1, 1, 3, 3, 1, 3, 3, 3, 3, 3)",5721.686016
"(1, 1, 0, 1, 1, 0, 0, 1, 0, 3, 0, 3, 3, 0, 1, 2)",7594.180608
"(1, 1, 0, 0, 1, 1, 1, 0, 0, 3, 0, 0, 2, 1, 3, 3)",7614.62784
"(0, 0, 0, 1, 0, 0, 0, 1, 3, 3, 0, 3, 0, 3, 0, 0)",8438.808576
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 2, 1, 1, 2)",8446.27968
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 2, 2, 1, 3)",6512.050176
"(1, 0, 0, 0, 0, 0, 0, 1, 3, 3, 0, 0, 0, 0, 3, 2)",8369.60256
"(1, 0, 1, 0, 0, 1, 0, 1, 3, 3, 3, 3, 3, 3, 3, 3)",5742.526464
"(1, 0, 1, 1, 1, 1, 1, 1, 3, 3, 3, 3, 3, 2, 1, 3)",5938.741248
"(1, 1, 1, 0, 0, 0, 1, 1, 0, 3, 1, 0, 3, 0, 3, 3)",7563.50976
"(1, 1, 0, 1, 0, 0, 1, 0, 3, 3, 0, 0, 0, 0, 3, 3)",7872.18432
"(1, 0, 1, 0, 0, 1, 1, 0, 0, 3, 0, 0, 2, 1, 3, 2)",7973.634048
"(1, 1, 0, 1, 1, 0, 1, 1, 0, 3, 0, 3, 2, 2, 0, 3)",7511.605248
"(1, 0, 1, 0, 1, 1, 0, 1, 3, 3, 3, 3, 3, 3, 3, 3)",5673.320448
"(1, 1, 0, 0, 0, 1, 0, 1, 0, 3, 0, 2, 3, 0, 0, 3)",8024.752128
"(1, 0, 0, 0, 1, 0, 0, 1, 3, 3, 3, 3, 3, 0, 3, 3)",6539.575296
"(1, 1, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 2, 1, 1, 2)",8100.2496
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 1, 0, 2, 3, 3, 2)",6600.523776
"(1, 1, 0, 0, 0, 0, 0, 1, 2, 3, 0, 3, 0, 2, 3, 2)",7256.408064
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 0, 3, 2, 0, 1, 3)",7471.497216
"(1, 0, 0, 1, 0, 0, 0, 1, 0, 3, 0, 0, 0, 0, 1, 3)",9048.686592
"(1, 1, 0, 1, 0, 0, 1, 1, 0, 3, 0, 2, 2, 0, 1, 3)",7863.140352
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 1, 3, 2, 0, 3, 2)",6641.41824
"(1, 1, 0, 1, 0, 0, 1, 1, 2, 3, 0, 0, 0, 2, 3, 2)",7666.532352
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 0, 3, 0, 2, 3, 3)",6734.610432
"(1, 1, 0, 0, 1, 1, 1, 1, 3, 3, 3, 3, 3, 2, 3, 3)",5535.301632
"(1, 1, 0, 1, 0, 0, 1, 0, 3, 3, 1, 0, 2, 0, 1, 2)",7662.600192
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 0, 3, 2, 0, 0, 2)",7824.9984
"(1, 1, 0, 1, 0, 0, 0, 1, 0, 3, 0, 0, 0, 0, 1, 3)",8702.656512
"(1, 0, 1, 1, 0, 0, 0, 1, 0, 3, 0, 3, 3, 0, 1, 2)",7871.004672
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 0, 3, 2, 3, 3, 2)",6283.984896
"(1, 0, 0, 0, 1, 1, 1, 0, 0, 3, 0, 0, 0, 1, 1, 3)",8619.687936
"(1, 0, 1, 1, 0, 1, 0, 1, 0, 3, 0, 3, 3, 2, 3, 3)",6934.757376
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 0, 0, 2, 3, 3, 2)",7247.757312
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 0, 3, 3, 0, 3, 3)",6612.320256
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 0, 0, 0, 0, 3, 3)",8149.008384
"(1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 3, 3, 3, 2, 2, 2)",5524.291584
"(1, 0, 0, 1, 0, 0, 0, 1, 3, 3, 0, 0, 3, 0, 3, 2)",7727.480832
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 1, 0, 2, 2, 3, 3)",6795.558912
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 0, 3, 2, 3, 3, 3)",6271.008768
"(1, 1, 1, 1, 1, 1, 1, 1, 2, 3, 0, 3, 2, 3, 3, 3)",6156.976128
"(1, 1, 1, 1, 0, 1, 0, 1, 3, 3, 3, 3, 2, 2, 3, 3)",5645.008896
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 2, 2, 1, 2)",6940.2624
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 2, 1, 1, 3)",8364.097536
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 3, 0, 0, 2, 1, 1, 3)",8433.303552
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 0, 0, 1, 2)",9130.868736
"(1, 1, 0, 1, 1, 1, 1, 1, 3, 3, 1, 3, 2, 2, 1, 3)",6304.432128
"(1, 0, 0, 1, 0, 0, 0, 1, 0, 3, 0, 0, 2, 1, 1, 2)",8446.27968
"(1, 1, 1, 0, 1, 1, 0, 1, 3, 3, 3, 3, 3, 3, 3, 2)",5409.472512
"(1, 0, 0, 1, 0, 0, 0, 1, 3, 3, 0, 0, 3, 0, 3, 3)",7645.298688
"(1, 1, 1, 1, 0, 0, 1, 1, 0, 3, 0, 3, 2, 0, 1, 2)",7634.681856
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 3, 3, 2, 2, 2, 2)",5910.822912
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 3, 0, 2, 2, 1, 2)",7729.053696
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 1, 0, 2, 2, 1, 2)",8054.243328
"(1, 1, 1, 1, 1, 0, 1, 1, 0, 3, 0, 3, 3, 0, 1, 3)",7304.380416
"(1, 1, 0, 1, 0, 0, 1, 0, 3, 3, 1, 3, 2, 2, 1, 3)",6581.256192
"(1, 0, 0, 1, 1, 1, 1, 0, 0, 3, 0, 3, 2, 2, 3, 3)",7182.876672
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 3, 1, 0, 2, 1, 3, 3)",7440.039936
"(1, 1, 0, 0, 1, 1, 1, 1, 3, 3, 3, 3, 3, 0, 3, 3)",5985.927168
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 0, 3, 3, 0, 3, 2)",7109.738496
"(1, 0, 0, 1, 1, 1, 1, 0, 3, 3, 0, 0, 2, 2, 1, 3)",7430.995968
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 0, 0, 2, 0, 3, 2)",7837.188096
"(1, 0, 0, 0, 0, 0, 1, 1, 3, 3, 1, 3, 2, 2, 1, 2)",7009.468416
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 2, 3, 1, 2)",8147.43552
"(1, 1, 1, 1, 1, 0, 1, 1, 3, 3, 0, 3, 2, 1, 3, 3)",6362.23488
"(1, 1, 0, 0, 0, 0, 1, 1, 3, 3, 0, 3, 2, 1, 1, 2)",6986.268672
"(1, 0, 0, 1, 0, 0, 0, 1, 3, 3, 0, 3, 3, 0, 3, 3)",7096.762368
"(1, 1, 0, 1, 1, 1, 1, 1, 3, 3, 3, 3, 2, 2, 1, 3)",5910.03648
"(1, 1, 0, 0, 1, 1, 1, 1, 2, 3, 0, 0, 2, 1, 1, 3)",7477.00224
"(1, 1, 0, 1, 0, 0, 1, 1, 0, 3, 0, 0, 2, 2, 1, 3)",7788.822528
"(1, 0, 1, 1, 0, 0, 1, 1, 3, 3, 0, 3, 2, 3, 1, 3)",6743.6544
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 0, 3, 2, 0, 0, 3)",7396.786176
"(1, 1, 0, 0, 0, 0, 1, 1, 0, 3, 3, 3, 2, 1, 1, 3)",6912.344064
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 0, 3, 2, 3, 1, 3)",6882.066432
"(1, 1, 0, 1, 0, 0, 1, 1, 0, 3, 0, 0, 2, 1, 1, 2)",8031.043584
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 0, 0, 2, 1, 3, 2)",7200.571392
"(1, 1, 1, 1, 1, 1, 0, 1, 3, 3, 3, 3, 3, 2, 2, 2)",5593.4976
"(1, 0, 1, 0, 1, 1, 1, 0, 0, 3, 0, 0, 2, 1, 3, 2)",7904.428032
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 3, 3, 2, 2, 3, 3)",5852.626944
"(1, 0, 0, 0, 1, 0, 1, 1, 0, 3, 0, 0, 2, 1, 1, 2)",8377.073664
"(1, 1, 0, 1, 0, 0, 1, 1, 0, 3, 0, 3, 2, 2, 1, 2)",7322.468352
"(1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 1, 3, 2, 2, 3, 3)",5900.992512
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 0, 0, 2, 3, 3, 3)",6819.545088
"(1, 0, 0, 0, 0, 1, 1, 0, 0, 3, 0, 0, 2, 1, 1, 3)",8294.89152
"(1, 1, 0, 0, 0, 0, 1, 1, 3, 3, 1, 0, 2, 1, 1, 3)",7289.831424
"(1, 1, 1, 0, 1, 0, 0, 1, 0, 3, 3, 3, 3, 3, 1, 3)",6296.174592
"(1, 0, 1, 1, 0, 1, 0, 1, 3, 3, 0, 3, 3, 0, 3, 3)",6819.938304
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 0, 0, 2, 3, 3, 2)",6832.521216
"(1, 0, 0, 1, 0, 0, 1, 0, 0, 3, 0, 0, 2, 1, 1, 3)",8364.097536
"(1, 1, 0, 0, 1, 1, 1, 1, 3, 3, 1, 3, 2, 2, 1, 3)",6373.638144
"(1, 1, 1, 1, 0, 1, 1, 0, 3, 3, 1, 3, 3, 2, 1, 3)",6125.518848
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 2, 2, 1, 2)",8286.240768
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 2, 2, 3, 2)",8021.213184
"(1, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 2, 1, 1, 3)",8502.509568
"(1, 0, 0, 1, 1, 1, 1, 1, 0, 3, 0, 3, 2, 2, 3, 3)",7113.670656
"(1, 1, 1, 0, 1, 1, 0, 1, 3, 3, 1, 3, 3, 3, 3, 3)",5721.686016
"(1, 1, 1, 0, 1, 1, 1, 0, 0, 3, 1, 3, 3, 1, 1, 3)",6851.002368
"(1, 1, 1, 1, 0, 1, 1, 1, 3, 3, 1, 3, 3, 2, 3, 3)",5791.285248
"(1, 0, 0, 1, 0, 0, 0, 1, 2, 3, 0, 0, 0, 0, 3, 2)",8532.393984
"(1, 1, 1, 0, 1, 1, 0, 1, 3, 3, 3, 3, 3, 2, 3, 3)",5466.095616
"(1, 1, 0, 1, 1, 1, 1, 1, 3, 3, 0, 0, 2, 1, 3, 2)",6992.953344
"(1, 0, 0, 1, 1, 0, 1, 0, 0, 3, 0, 0, 2, 2, 3, 2)",7952.007168
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 3, 3, 2, 2, 2, 2)",5980.028928
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 1, 0, 2, 3, 1, 2)",7915.43808
"(1, 1, 0, 1, 0, 0, 1, 1, 2, 3, 0, 0, 0, 1, 1, 2)",8091.598848
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 0, 2, 3, 0, 1, 3)",8030.257152
"(1, 1, 1, 1, 1, 0, 1, 0, 3, 3, 0, 3, 2, 1, 3, 3)",6431.440896
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3)",5465.7024
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 0, 0, 2, 2, 3, 3)",7304.380416
"(1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3)",5188.878336
"(1, 1, 1, 1, 0, 0, 1, 1, 0, 3, 0, 3, 2, 2, 3, 3)",6836.846592
"(1, 1, 0, 1, 0, 0, 0, 1, 3, 3, 1, 0, 2, 2, 3, 3)",6864.764928
"(1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 1, 3, 2, 3, 3, 3)",5762.187264
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 3, 3, 2, 2, 1, 3)",7098.335232
"(1, 0, 0, 1, 0, 1, 1, 1, 0, 3, 1, 3, 2, 2, 1, 3)",7285.112832
"(1, 1, 1, 0, 1, 1, 1, 1, 3, 3, 3, 3, 3, 3, 2, 3)",5372.510208
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 1, 0, 3, 2, 3, 3)",6616.645632
"(1, 1, 1, 1, 0, 1, 0, 1, 3, 3, 1, 3, 3, 3, 3, 3)",5721.686016
"(1, 0, 1, 0, 1, 0, 1, 0, 3, 3, 0, 0, 2, 2, 3, 3)",7235.1744
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 2, 3, 3, 3)",6039.011328
"(1, 1, 0, 1, 0, 1, 1, 1, 0, 3, 1, 3, 2, 1, 1, 3)",7099.121664
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 3, 0, 0, 2, 2, 1, 2)",8355.446784
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 2, 1, 1, 3)",7018.119168
"(1, 0, 0, 1, 0, 1, 1, 1, 3, 3, 1, 3, 2, 2, 1, 2)",6801.850368
"(1, 1, 1, 1, 1, 0, 1, 1, 3, 3, 1, 3, 2, 2, 3, 3)",6039.404544
"(1, 0, 0, 1, 1, 1, 1, 1, 0, 3, 0, 3, 2, 1, 3, 3)",7273.709568
"(1, 1, 0, 0, 1, 1, 1, 0, 2, 3, 0, 0, 2, 2, 1, 3)",7386.169344
"(1, 0, 0, 0, 1, 0, 1, 1, 3, 3, 0, 0, 2, 2, 1, 3)",7569.408
"(1, 1, 1, 1, 0, 0, 1, 1, 0, 3, 3, 0, 2, 1, 3, 3)",6988.234752
"(1, 0, 0, 0, 0, 1, 1, 1, 3, 3, 0, 3, 2, 2, 3, 3)",6686.63808
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 0, 0, 2, 1, 1, 3)",7729.446912
"(1, 1, 1, 1, 1, 0, 1, 1, 3, 3, 3, 3, 3, 2, 1, 3)",5731.1232
"(1, 0, 0, 0, 1, 1, 1, 0, 0, 3, 0, 0, 2, 1, 1, 2)",8307.867648
"(1, 0, 0, 1, 0, 1, 1, 1, 2, 3, 0, 3, 2, 2, 3, 3)",6849.429504
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 2, 2, 1, 3)",6442.84416
"(1, 1, 1, 1, 0, 1, 0, 1, 3, 3, 0, 3, 3, 1, 3, 2)",6265.503744
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 2, 2, 3, 3)",6247.022592
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 2, 1, 3, 3)",6337.855488
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 1, 0, 2, 2, 3, 3)",6657.14688
"(1, 1, 0, 1, 0, 0, 1, 1, 0, 3, 1, 0, 2, 2, 3, 2)",7443.185664
"(1, 1, 0, 1, 0, 0, 1, 0, 3, 3, 1, 0, 2, 1, 1, 3)",7289.831424
"(1, 1, 0, 1, 1, 0, 1, 1, 0, 3, 3, 0, 2, 1, 1, 3)",7322.468352
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 2, 2, 3, 3)",6593.052672
"(1, 1, 0, 0, 0, 1, 1, 1, 3, 3, 1, 3, 2, 3, 3, 3)",6039.011328
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 1, 0, 2, 3, 1, 3)",7833.255936
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 2, 2, 1, 2)",6525.026304
"(1, 1, 0, 1, 1, 1, 1, 1, 3, 3, 1, 3, 2, 3, 3, 3)",5900.599296
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 1, 0, 2, 3, 1, 3)",7902.461952
"(1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 3, 3, 3, 3, 1, 3)",5453.90592
"(1, 0, 0, 0, 1, 1, 1, 0, 0, 3, 0, 0, 2, 2, 1, 3)",8065.646592
"(1, 1, 1, 1, 1, 0, 1, 0, 3, 3, 0, 3, 2, 3, 3, 3)",6132.596736
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 3, 0, 3, 2, 1, 1, 3)",7884.767232
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 0, 2, 2, 1, 3)",7406.616576
"(1, 0, 1, 0, 1, 1, 1, 0, 0, 3, 0, 3, 2, 2, 3, 2)",7195.8528
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 1, 0, 2, 1, 1, 3)",8132.100096
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 0, 3, 2, 1, 1, 3)",7180.910592
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 3, 0, 3, 2, 3, 3)",6499.074048
"(1, 1, 0, 0, 0, 0, 1, 0, 3, 3, 0, 3, 2, 2, 1, 3)",6813.253632
"(1, 1, 1, 1, 1, 0, 1, 1, 3, 3, 1, 3, 2, 1, 3, 3)",6199.443456
"(1, 1, 1, 1, 0, 1, 1, 1, 3, 3, 0, 3, 2, 3, 3, 3)",5994.184704
"(1, 0, 0, 0, 1, 1, 1, 0, 0, 3, 1, 0, 2, 1, 3, 2)",7880.04864
"(1, 1, 1, 1, 0, 1, 1, 1, 3, 3, 1, 3, 3, 3, 1, 3)",5917.507584
"(1, 1, 1, 1, 1, 0, 1, 1, 3, 3, 0, 3, 2, 3, 3, 3)",6063.39072
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 2, 1, 3, 3)",6753.091584
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 2, 3, 1, 3)",8065.253376
"(1, 0, 0, 1, 1, 1, 1, 1, 3, 3, 0, 0, 2, 2, 3, 3)",7096.762368
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 0, 2, 1, 1, 3)",7566.655488
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 3, 3, 2, 2, 1, 3)",6394.478592
"(1, 0, 1, 1, 1, 1, 1, 1, 0, 3, 0, 3, 3, 3, 1, 3)",6922.56768
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 3, 0, 0, 2, 3, 1, 2)",8216.641536
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 0, 0, 2, 2, 3, 3)",6819.938304
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 2, 1, 1, 2)",7100.301312
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 1, 3, 2, 1, 3, 3)",6268.649472
"(1, 1, 1, 1, 0, 1, 1, 1, 3, 3, 3, 3, 3, 3, 1, 3)",5523.111936
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 3, 2, 1, 3)",6263.93088
"(1, 1, 1, 0, 0, 1, 1, 1, 0, 3, 0, 0, 3, 1, 3, 3)",7297.302528
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 3, 3, 1, 3)",6471.155712
"(1, 0, 0, 0, 0, 0, 0, 1, 0, 3, 0, 0, 2, 1, 1, 3)",8433.303552
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 3, 0, 2, 1, 1, 3)",7103.053824
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 3, 0, 0, 2, 2, 1, 3)",8273.26464
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 2, 2, 3, 3)",6177.816576
"(1, 0, 1, 1, 0, 0, 1, 1, 3, 3, 3, 3, 2, 2, 3, 2)",6142.427136
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 0, 2, 2, 3, 3)",7141.588992
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 3, 0, 0, 2, 1, 1, 3)",7867.858944
"(1, 1, 1, 1, 1, 0, 1, 1, 3, 3, 1, 3, 2, 3, 3, 3)",5900.599296
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 0, 3, 2, 1, 1, 3)",6834.880512
"(1, 0, 0, 0, 1, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3)",5742.526464
"(1, 1, 0, 1, 1, 0, 1, 1, 0, 3, 1, 0, 2, 3, 3, 3)",7152.992256
"(1, 0, 0, 1, 1, 0, 1, 1, 0, 3, 0, 0, 2, 1, 3, 3)",7960.65792
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 1, 3, 2, 2, 1, 2)",7009.468416
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 3, 1, 3, 3)",6228.148224
"(1, 1, 1, 1, 1, 1, 1, 1, 0, 3, 0, 3, 2, 1, 3, 3)",6789.267456
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 3, 3, 1, 2)",6622.543872
"(1, 0, 0, 1, 0, 1, 1, 1, 3, 3, 1, 3, 2, 2, 1, 3)",6719.668224
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 1, 0, 3, 2, 1, 3)",6743.261184
"(1, 0, 0, 0, 0, 0, 0, 1, 3, 3, 1, 3, 2, 2, 3, 3)",6731.464704
"(1, 1, 1, 0, 1, 0, 1, 1, 3, 3, 1, 3, 3, 3, 3, 3)",5790.892032
"(1, 0, 0, 1, 0, 1, 1, 1, 0, 3, 0, 3, 2, 2, 3, 3)",7182.876672
"(1, 0, 0, 1, 0, 1, 1, 1, 3, 3, 1, 3, 2, 3, 3, 3)",6315.835392
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 2, 2, 1, 2)",6871.056384
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 3, 1, 0, 2, 1, 3, 3)",7509.245952
"(1, 1, 0, 1, 0, 0, 1, 1, 0, 3, 0, 3, 2, 2, 1, 3)",7240.286208
"(1, 1, 0, 1, 1, 1, 1, 1, 0, 3, 0, 3, 2, 1, 3, 3)",6927.679488
"(1, 1, 1, 1, 1, 0, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3)",5327.290368
"(1, 1, 0, 0, 0, 0, 1, 1, 3, 3, 0, 3, 2, 1, 1, 3)",6904.086528
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 1, 0, 2, 3, 1, 2)",7984.644096
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3)",5396.496384
"(1, 1, 1, 0, 0, 0, 1, 1, 3, 3, 1, 3, 2, 3, 1, 3)",6304.038912
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 3, 1, 1, 2)",6921.388032
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 3, 3, 3, 2)",5942.280192
"(1, 0, 1, 1, 1, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3)",5534.908416
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 1, 3, 3, 2, 3, 3)",5929.69728
"(1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 1, 3, 3, 3, 3, 3)",5583.273984
"(1, 0, 0, 1, 1, 0, 1, 1, 0, 3, 0, 0, 2, 3, 3, 3)",7661.81376
"(1, 1, 1, 1, 0, 1, 1, 1, 3, 3, 1, 3, 2, 2, 1, 3)",6235.226112
"(1, 0, 1, 0, 0, 1, 1, 1, 3, 3, 1, 3, 3, 3, 1, 3)",6332.74368
"(1, 1, 1, 0, 1, 0, 1, 1, 3, 3, 0, 3, 3, 3, 3, 2)",6035.8656
"(1, 1, 1, 1, 0, 0, 1, 0, 0, 3, 0, 0, 3, 3, 1, 3)",7401.897984
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 0, 0, 2, 3, 1, 2)",8078.229504
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 3, 3, 2, 3, 1, 2)",6972.506112
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 1, 3, 2, 3, 3, 3)",5969.805312
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 3, 3, 3, 3, 3, 2)",5547.884544
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 3, 0, 2, 2, 1, 3)",7577.665536
"(1, 0, 0, 0, 1, 0, 0, 1, 3, 3, 1, 3, 2, 1, 3, 3)",6822.2976
"(1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 1, 0, 3, 3, 1, 3)",6396.837888
"(1, 0, 0, 1, 1, 1, 1, 1, 3, 3, 1, 3, 3, 3, 3, 3)",6067.716096
"(1, 0, 0, 1, 0, 0, 1, 0, 0, 3, 1, 0, 2, 3, 3, 3)",7637.434368
"(1, 1, 1, 0, 1, 0, 0, 1, 3, 3, 0, 3, 2, 1, 1, 3)",6765.674496
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 3, 3, 2, 2, 3, 3)",5783.420928
"(1, 0, 1, 0, 0, 0, 1, 0, 0, 3, 0, 0, 2, 1, 1, 3)",8294.89152
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 2, 3, 1, 2)",6732.251136
"(1, 1, 0, 1, 1, 1, 1, 1, 3, 3, 1, 3, 2, 2, 3, 3)",6039.404544
"(1, 1, 1, 0, 1, 1, 1, 1, 3, 3, 3, 3, 3, 2, 3, 3)",5396.8896
"(1, 1, 1, 1, 0, 0, 1, 0, 3, 3, 1, 3, 3, 3, 3, 3)",5860.098048
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 3, 3, 3, 2, 3, 3)",5604.507648
"(1, 1, 1, 0, 1, 0, 1, 1, 3, 3, 3, 3, 2, 2, 3, 3)",5714.214912
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 1, 3, 2, 3, 3, 3)",7019.692032
"(1, 0, 0, 1, 0, 0, 1, 0, 0, 3, 1, 0, 2, 2, 3, 3)",7776.239616
"(1, 1, 1, 0, 0, 0, 1, 1, 3, 3, 0, 3, 2, 3, 3, 3)",6201.802752
"(1, 1, 0, 1, 1, 1, 1, 1, 3, 3, 1, 3, 3, 3, 3, 3)",5721.686016
"(1, 0, 1, 1, 0, 0, 1, 1, 0, 3, 1, 0, 2, 3, 3, 2)",7511.998464
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 3, 3, 3, 3)",5929.304064
"(1, 1, 0, 0, 0, 1, 1, 1, 3, 3, 0, 0, 2, 3, 1, 3)",7015.366656
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 0, 2, 3, 1, 2)",7349.993472
"(1, 0, 0, 1, 0, 1, 1, 0, 0, 3, 0, 0, 2, 3, 3, 3)",7661.81376
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 1, 3, 2, 2, 1, 2)",7505.707008
"(1, 1, 0, 0, 0, 0, 1, 1, 0, 3, 1, 0, 2, 2, 1, 3)",7695.23712
"(1, 1, 1, 0, 1, 0, 1, 1, 3, 3, 2, 0, 3, 1, 1, 3)",6713.769984
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 0, 2, 3, 1, 3)",7267.811328
"(1, 0, 0, 0, 1, 1, 1, 1, 0, 3, 3, 0, 3, 3, 1, 2)",7203.71712
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 3, 3, 1, 3)",6194.331648
"(1, 0, 1, 1, 1, 0, 1, 1, 0, 3, 1, 3, 3, 3, 3, 3)",6633.160704
"(1, 1, 1, 0, 1, 0, 1, 1, 3, 3, 3, 3, 3, 1, 1, 3)",5960.368128
"(1, 0, 0, 1, 1, 0, 1, 0, 3, 3, 1, 0, 2, 3, 3, 3)",7002.783744
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 0, 3, 2, 1, 1, 3)",7111.704576
"(1, 1, 0, 1, 1, 0, 1, 1, 0, 3, 3, 3, 3, 2, 3, 3)",6169.952256
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 3, 0, 0, 2, 3, 1, 3)",8134.459392
"(1, 1, 1, 0, 1, 1, 1, 1, 3, 3, 3, 3, 3, 1, 3, 3)",5556.928512
"(1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 3, 0, 3, 3, 1, 3)",6002.44224
"(1, 0, 1, 0, 0, 0, 1, 1, 3, 3, 0, 0, 2, 1, 1, 3)",7660.240896
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 1, 0, 2, 3, 3, 3)",7568.228352
"(1, 0, 0, 0, 0, 0, 1, 1, 3, 3, 0, 3, 2, 2, 1, 2)",7172.25984
"(1, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 2, 3, 1, 3)",8203.665408
"(1, 0, 0, 1, 0, 1, 1, 1, 0, 3, 0, 3, 2, 2, 1, 3)",7447.904256
"(1, 0, 0, 1, 0, 1, 1, 1, 3, 3, 1, 0, 2, 3, 1, 3)",7129.399296
"(1, 0, 1, 0, 0, 0, 1, 1, 3, 3, 0, 3, 2, 1, 1, 3)",7111.704576
"(1, 0, 0, 0, 0, 1, 1, 1, 3, 3, 1, 0, 2, 2, 1, 3)",7337.41056
"(1, 1, 0, 1, 0, 0, 1, 1, 0, 3, 1, 0, 3, 3, 3, 3)",7043.284992
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 2, 3, 1, 3)",6373.244928
"(1, 0, 1, 1, 0, 0, 1, 1, 0, 3, 1, 0, 3, 3, 3, 2)",7333.085184
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 3, 0, 0, 2, 1, 1, 2)",8515.485696
"(1, 1, 0, 1, 0, 1, 1, 1, 3, 3, 1, 3, 3, 3, 3, 3)",5790.892032
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 1, 0, 2, 2, 1, 2)",7419.592704
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 2, 2, 3, 3)",6523.846656
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 3, 0, 2, 2, 3, 3)",6816.39936
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 3, 0, 3, 2, 1, 1, 2)",7966.949376
"(1, 0, 0, 1, 0, 1, 1, 1, 3, 3, 0, 3, 2, 2, 3, 3)",6617.432064
"(1, 0, 1, 1, 0, 0, 1, 1, 0, 3, 1, 3, 2, 2, 3, 3)",7020.085248
"(1, 0, 0, 0, 0, 0, 1, 1, 3, 3, 1, 3, 3, 3, 1, 2)",6691.749888
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 0, 0, 2, 3, 3, 2)",7813.20192
"(1, 1, 1, 1, 1, 0, 1, 1, 3, 3, 1, 3, 2, 2, 3, 2)",6121.586688
"(1, 0, 0, 0, 1, 0, 1, 0, 3, 3, 1, 3, 2, 2, 1, 2)",7009.468416
"(1, 1, 0, 1, 1, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3)",5327.290368
"(1, 0, 1, 0, 1, 0, 1, 1, 0, 3, 0, 0, 2, 3, 1, 3)",7857.635328
"(1, 0, 0, 1, 1, 1, 1, 1, 3, 3, 1, 3, 2, 3, 3, 3)",6246.629376
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 2, 1, 1, 3)",6672.089088
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 1, 0, 3, 3, 1, 3)",6742.867968
"(1, 1, 1, 1, 1, 0, 1, 1, 0, 3, 1, 3, 3, 2, 3, 3)",6425.935872
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 0, 3, 1, 1, 2)",7469.924352
"(1, 0, 0, 1, 0, 1, 1, 1, 0, 3, 1, 3, 2, 3, 1, 3)",7146.307584
"(1, 1, 0, 1, 0, 1, 1, 1, 3, 3, 0, 3, 3, 3, 3, 3)",5953.683456
"(1, 0, 0, 1, 0, 0, 1, 0, 0, 3, 0, 0, 2, 1, 1, 2)",8446.27968
"(1, 1, 0, 0, 1, 0, 1, 1, 3, 3, 1, 3, 3, 2, 3, 3)",6068.109312
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 1, 0, 2, 2, 3, 3)",7210.795008
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 3, 3, 3, 3, 1, 3)",5730.729984
"(1, 0, 0, 1, 0, 0, 0, 1, 0, 3, 0, 0, 2, 3, 1, 3)",8065.253376
"(1, 1, 0, 1, 1, 1, 1, 1, 0, 3, 1, 3, 2, 2, 3, 3)",6604.849152
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 2, 1, 3, 2)",8181.252096
"(1, 0, 1, 1, 1, 0, 1, 1, 3, 3, 1, 3, 3, 3, 3, 3)",6067.716096
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 1, 3, 3, 1, 3, 3)",6089.736192
"(1, 0, 1, 1, 1, 1, 1, 1, 0, 3, 3, 0, 2, 3, 3, 3)",6827.802624
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 2, 3, 3, 2)",6536.429568
"(1, 0, 0, 0, 0, 0, 1, 1, 3, 3, 0, 0, 3, 3, 3, 2)",7138.050048
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 1, 3, 2, 2, 1, 3)",6927.286272
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 3, 2, 1, 2)",6415.31904
"(1, 0, 0, 1, 0, 1, 1, 1, 3, 3, 1, 3, 3, 3, 1, 3)",6401.949696
"(1, 1, 0, 1, 0, 0, 1, 1, 0, 3, 1, 0, 2, 3, 1, 2)",7569.408
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 2, 1, 3, 2)",6420.037632
"(1, 0, 0, 1, 1, 1, 1, 1, 3, 3, 1, 3, 3, 2, 3, 3)",6206.521344
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 0, 3, 1, 3, 3)",7122.714624
"(1, 0, 0, 0, 0, 1, 1, 1, 0, 3, 3, 0, 2, 1, 3, 3)",7403.470848
"(1, 0, 0, 0, 0, 0, 1, 1, 3, 3, 1, 0, 3, 1, 1, 2)",7539.130368
"(1, 0, 0, 1, 1, 0, 1, 0, 3, 3, 3, 3, 3, 2, 1, 3)",6284.771328
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 1, 0, 2, 2, 1, 2)",8123.449344
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 2, 3, 1, 2)",6801.457152
"(1, 1, 1, 0, 0, 0, 1, 1, 0, 3, 0, 3, 2, 3, 1, 3)",7032.274944
"(1, 1, 1, 1, 1, 0, 1, 0, 3, 3, 0, 3, 3, 3, 1, 2)",6300.893184
"(1, 0, 0, 1, 0, 1, 1, 1, 3, 3, 1, 3, 2, 2, 3, 3)",6454.64064
"(1, 1, 0, 1, 1, 0, 1, 0, 0, 3, 0, 3, 2, 3, 3, 3)",6836.453376
"(1, 0, 1, 1, 0, 0, 1, 0, 0, 3, 1, 3, 2, 3, 3, 3)",6950.486016
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 0, 3, 2, 2, 3, 2)",6907.232256
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 1, 0, 2, 1, 1, 3)",7635.861504
"(1, 0, 0, 1, 0, 1, 0, 1, 0, 3, 0, 3, 2, 2, 3, 3)",7252.082688
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 1, 3, 2, 2, 3, 2)",7309.88544
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 1, 0, 2, 2, 1, 3)",8041.2672
"(1, 0, 0, 1, 0, 0, 1, 0, 0, 3, 1, 3, 2, 2, 1, 2)",7574.913024
"(1, 1, 1, 0, 0, 1, 1, 1, 0, 3, 3, 3, 3, 3, 1, 3)",6157.76256
"(1, 1, 1, 1, 0, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3)",5258.084352
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 1, 0, 2, 2, 3, 3)",7707.0336
"(1, 1, 0, 1, 1, 1, 1, 1, 3, 3, 1, 0, 3, 3, 3, 2)",6352.40448
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 0, 0, 2, 2, 1, 2)",7651.590144
"(1, 0, 0, 1, 0, 0, 1, 0, 0, 3, 0, 0, 2, 1, 3, 3)",8099.069952
"(1, 0, 0, 1, 0, 0, 1, 0, 0, 3, 0, 0, 2, 2, 3, 3)",7939.03104
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 3, 2, 1, 3)",6609.96096
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 2, 3, 3, 3)",6454.247424
"(1, 0, 0, 1, 1, 1, 1, 1, 3, 3, 0, 3, 2, 2, 3, 3)",6548.226048
"(1, 0, 0, 1, 0, 1, 1, 1, 0, 3, 1, 3, 2, 2, 3, 3)",7020.085248
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 1, 0, 2, 3, 3, 3)",6656.753664
"(1, 0, 0, 0, 0, 1, 1, 1, 0, 3, 0, 0, 2, 1, 1, 3)",8225.685504
"(1, 0, 1, 1, 0, 0, 1, 1, 0, 3, 1, 3, 3, 3, 3, 3)",6702.36672
"(1, 0, 0, 0, 0, 1, 1, 1, 0, 3, 1, 3, 2, 3, 3, 2)",7032.66816
"(1, 0, 0, 1, 0, 1, 1, 1, 0, 3, 0, 3, 2, 1, 1, 3)",7607.943168
"(1, 0, 0, 1, 0, 0, 0, 0, 3, 3, 0, 3, 2, 3, 1, 3)",7020.478464
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 0, 0, 2, 2, 3, 2)",7455.768576
"(1, 1, 0, 0, 1, 0, 1, 1, 3, 3, 0, 0, 2, 2, 1, 3)",7223.37792
"(1, 1, 0, 1, 0, 1, 1, 1, 3, 3, 3, 3, 3, 2, 3, 3)",5535.301632
"(1, 0, 0, 1, 0, 1, 1, 1, 3, 3, 1, 0, 2, 2, 3, 3)",7003.17696
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 3, 3, 2, 3, 3, 3)",5713.821696
"(1, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 2, 3, 1, 2)",8285.847552
"(1, 0, 0, 0, 0, 0, 1, 0, 1, 3, 0, 0, 2, 1, 1, 3)",8308.65408
"(1, 1, 0, 0, 1, 0, 1, 1, 3, 3, 0, 0, 2, 1, 1, 3)",7383.416832
"(1, 1, 1, 1, 1, 0, 1, 0, 3, 3, 0, 0, 3, 1, 1, 3)",7066.09152
"(1, 0, 0, 0, 0, 1, 1, 1, 0, 3, 0, 0, 2, 2, 1, 3)",8065.646592
"(1, 0, 0, 0, 0, 1, 1, 1, 0, 3, 0, 0, 2, 2, 3, 3)",7800.619008
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 2, 2, 1, 3)",6858.080256
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 1, 3, 2, 2, 3, 3)",7158.49728
"(1, 0, 1, 1, 1, 1, 1, 1, 3, 3, 1, 3, 3, 3, 3, 3)",5929.304064
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 0, 3, 2, 2, 1, 3)",7020.87168
"(1, 1, 1, 1, 1, 0, 1, 1, 3, 3, 1, 3, 3, 2, 3, 3)",5860.491264
"(1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 0, 3, 3, 2, 3, 3)",5884.870656
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 2, 2, 3, 3)",7939.03104
"(1, 0, 0, 1, 0, 0, 1, 1, 2, 3, 0, 3, 2, 2, 3, 2)",7070.02368
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 1, 0, 2, 2, 1, 3)",6991.38048
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 1, 2, 2, 2, 3, 3)",7330.725888
"(1, 0, 0, 1, 0, 1, 1, 0, 0, 3, 0, 3, 2, 1, 3, 3)",7412.1216
"(1, 1, 1, 1, 1, 0, 1, 1, 0, 3, 1, 0, 2, 3, 1, 3)",7279.607808
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 0, 3, 2, 2, 3, 3)",6755.844096
"(1, 0, 0, 0, 0, 0, 1, 1, 3, 3, 1, 1, 2, 3, 1, 3)",7125.467136
"(1, 0, 0, 0, 0, 0, 1, 1, 3, 3, 0, 0, 2, 2, 1, 3)",7638.614016
"(1, 0, 0, 0, 0, 1, 1, 1, 3, 3, 0, 3, 3, 1, 3, 3)",6667.763712
"(1, 0, 1, 1, 0, 0, 1, 0, 3, 3, 3, 3, 2, 1, 3, 3)",6289.48992
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 0, 0, 2, 3, 1, 3)",7996.04736
"(1, 1, 0, 0, 0, 1, 1, 1, 0, 3, 0, 0, 3, 3, 1, 3)",7401.897984
"(1, 0, 0, 0, 1, 0, 1, 0, 0, 3, 0, 0, 3, 3, 1, 3)",7886.340096
"(1, 1, 1, 1, 0, 1, 0, 1, 3, 3, 1, 3, 2, 3, 3, 3)",5900.599296
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 1, 3, 2, 3, 1, 3)",7284.719616
"(1, 0, 0, 1, 0, 0, 1, 0, 0, 3, 0, 0, 2, 2, 3, 2)",8021.213184
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 1, 0, 2, 1, 3, 3)",7867.072512
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 3, 3, 2, 2, 3, 2)",6280.839168
"(1, 1, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 2, 3, 1, 3)",7857.635328
"(1, 0, 0, 0, 0, 0, 1, 1, 3, 3, 0, 0, 2, 1, 1, 3)",7798.652928
"(1, 0, 0, 0, 0, 1, 1, 1, 3, 3, 0, 0, 2, 3, 3, 3)",7096.369152
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 3, 1, 0, 2, 1, 1, 3)",8270.512128
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 2, 2, 2, 1, 3)",7030.308864
"(1, 0, 0, 1, 0, 1, 1, 1, 0, 3, 1, 2, 2, 2, 3, 3)",7192.313856
"(1, 1, 1, 1, 1, 0, 1, 0, 3, 3, 0, 3, 3, 2, 3, 3)",6092.488704
"(1, 0, 1, 1, 0, 0, 1, 1, 3, 3, 1, 0, 2, 3, 3, 2)",6946.553856
"(1, 1, 0, 1, 0, 1, 1, 1, 0, 3, 3, 3, 3, 2, 3, 3)",6100.74624
"(1, 0, 0, 1, 0, 1, 1, 1, 3, 3, 1, 3, 2, 1, 3, 3)",6614.679552
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 3, 0, 2, 3, 3, 2)",7256.014848
"(1, 0, 0, 1, 0, 1, 1, 1, 3, 3, 0, 3, 2, 3, 3, 3)",6478.626816
"(1, 0, 0, 1, 1, 1, 1, 0, 0, 3, 1, 0, 2, 2, 3, 3)",7568.621568
"(1, 0, 0, 1, 1, 1, 1, 1, 0, 3, 1, 2, 3, 2, 3, 3)",6944.19456
"(1, 1, 0, 0, 0, 1, 0, 0, 3, 3, 0, 3, 3, 2, 1, 3)",6565.134336
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 1, 3, 2, 2, 3, 2)",6744.440832
"(1, 0, 1, 1, 1, 1, 1, 1, 3, 3, 0, 3, 2, 1, 1, 3)",6834.880512
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 0, 3, 2, 3, 3, 2)",6699.220992
"(1, 1, 0, 0, 0, 0, 1, 1, 0, 3, 3, 0, 2, 3, 3, 3)",6897.00864
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 0, 0, 2, 2, 3, 3)",7869.825024
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 2, 2, 1, 3)",8204.058624
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 0, 3, 2, 2, 3, 3)",6686.63808
"(1, 0, 0, 0, 0, 0, 1, 0, 3, 3, 1, 0, 2, 1, 1, 3)",7705.06752
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 0, 3, 2, 2, 3, 2)",6838.02624
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 3, 3, 3, 3)",6206.128128
"(1, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 2, 2, 1, 2)",8424.6528
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 1, 0, 2, 3, 3, 3)",6518.341632
"(1, 1, 0, 1, 0, 1, 1, 1, 0, 3, 1, 2, 2, 2, 3, 3)",6846.283776
"(1, 0, 1, 1, 0, 0, 1, 1, 3, 3, 0, 3, 2, 2, 3, 3)",6617.432064
"(1, 1, 0, 1, 0, 1, 1, 1, 3, 3, 1, 3, 3, 2, 3, 3)",5929.69728
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 3, 0, 3, 2, 2, 1, 2)",7310.671872
"(1, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 2, 1, 1, 2)",8584.691712
"(1, 0, 1, 1, 1, 1, 1, 1, 3, 3, 3, 3, 3, 2, 3, 3)",5673.713664
"(1, 1, 0, 0, 1, 0, 1, 1, 3, 3, 0, 0, 3, 2, 3, 3)",6779.437056
"(1, 1, 0, 1, 0, 1, 1, 1, 0, 3, 1, 2, 2, 3, 3, 3)",6707.478528
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 1, 3, 3, 3, 3, 3)",6840.778752
"(1, 0, 0, 1, 0, 1, 1, 0, 3, 3, 3, 0, 2, 2, 3, 2)",6760.169472
"(1, 0, 0, 1, 0, 0, 1, 0, 0, 3, 1, 3, 3, 2, 3, 3)",7048.790016
"(1, 1, 0, 1, 0, 0, 1, 0, 0, 3, 0, 0, 3, 3, 3, 2)",7357.464576
"(1, 0, 0, 1, 0, 1, 1, 1, 0, 3, 1, 0, 2, 3, 3, 3)",7429.81632
"(1, 1, 0, 1, 0, 0, 1, 0, 3, 3, 0, 3, 2, 3, 3, 2)",6422.396928
"(1, 0, 1, 1, 0, 1, 1, 1, 0, 3, 1, 3, 2, 3, 3, 3)",6742.867968
"(1, 0, 1, 1, 0, 0, 1, 1, 3, 3, 3, 3, 3, 2, 3, 3)",5881.331712
"(1, 0, 0, 1, 1, 1, 1, 0, 3, 3, 1, 0, 2, 2, 3, 3)",7003.17696
"(1, 1, 0, 1, 1, 0, 1, 0, 3, 3, 3, 3, 3, 2, 3, 2)",5755.895808
"(1, 1, 1, 0, 1, 0, 0, 1, 0, 3, 0, 3, 3, 3, 1, 3)",6853.361664
"(1, 0, 1, 1, 0, 1, 1, 1, 3, 3, 3, 3, 2, 2, 3, 3)",5921.83296
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 2, 2, 2, 3, 3)",6765.28128
"(1, 0, 0, 0, 1, 0, 1, 1, 3, 3, 0, 3, 2, 1, 0, 3)",7521.435648
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 0, 0, 2, 1, 1, 2)",7880.835072
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 1, 0, 2, 2, 3, 3)",6726.352896
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 2, 3, 3, 2)",6467.223552
"(1, 0, 1, 1, 1, 0, 1, 1, 3, 3, 3, 3, 2, 2, 3, 3)",5991.038976
"(1, 0, 0, 1, 0, 1, 1, 0, 0, 3, 1, 0, 3, 3, 3, 2)",7402.2912
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 1, 3, 2, 2, 3, 3)",6662.258688
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 1, 0, 2, 2, 3, 3)",7776.239616
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 0, 3, 3, 2, 3, 3)",6161.69472
"(1, 0, 1, 1, 1, 0, 1, 1, 0, 3, 3, 2, 2, 2, 3, 3)",6728.712192
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 1, 3, 2, 1, 3, 3)",7318.536192
"(1, 1, 1, 1, 1, 0, 1, 0, 3, 3, 3, 3, 3, 3, 3, 3)",5396.496384
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 0, 3, 2, 2, 3, 2)",6768.820224
"(1, 0, 0, 1, 0, 0, 1, 0, 0, 3, 1, 0, 2, 1, 3, 3)",7936.278528
"(1, 0, 0, 1, 1, 0, 0, 0, 0, 3, 0, 0, 2, 2, 3, 3)",7939.03104
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 0, 3, 2, 3, 3, 3)",6686.244864
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 3, 2, 2, 2, 3, 3)",6936.33024
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 0, 3, 1, 1, 3)",8185.184256
"(1, 0, 0, 1, 0, 1, 1, 1, 3, 3, 1, 3, 3, 3, 3, 3)",6136.922112
"(1, 0, 0, 1, 0, 0, 0, 0, 3, 3, 0, 0, 2, 1, 1, 2)",7950.041088
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 2, 3, 3, 3)",6385.041408
"(1, 1, 1, 0, 0, 1, 1, 1, 3, 3, 3, 3, 3, 3, 1, 2)",5674.500096
"(1, 0, 0, 1, 1, 1, 1, 1, 0, 3, 1, 0, 3, 2, 3, 2)",7402.684416
"(1, 1, 1, 1, 0, 0, 1, 0, 3, 3, 3, 3, 3, 3, 3, 3)",5465.7024
"(1, 1, 0, 1, 1, 1, 1, 0, 3, 3, 1, 3, 2, 3, 3, 3)",5969.805312
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 3, 2, 2, 3, 3)",7390.49472
"(1, 1, 0, 1, 1, 0, 1, 0, 3, 3, 1, 3, 2, 2, 3, 3)",6247.022592
"(1, 0, 0, 0, 0, 0, 1, 1, 3, 3, 0, 3, 3, 3, 3, 3)",6507.331584
"(1, 0, 1, 1, 0, 1, 1, 0, 3, 3, 1, 0, 3, 3, 3, 3)",6616.252416
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 1, 3, 3, 2, 3, 3)",6068.109312
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 0, 0, 3, 1, 1, 3)",7619.739648
"(1, 0, 0, 1, 0, 0, 0, 0, 0, 3, 0, 0, 2, 2, 1, 3)",8273.26464
"(1, 0, 0, 1, 1, 0, 1, 1, 0, 3, 1, 0, 2, 2, 3, 3)",7637.827584
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 3, 3, 2, 1, 1, 3)",6208.487424
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 0, 3, 2, 3, 3, 3)",6547.832832
"(1, 1, 1, 0, 0, 1, 1, 1, 0, 3, 3, 3, 2, 3, 3, 3)",6071.648256
"(1, 0, 0, 0, 1, 0, 1, 1, 3, 3, 0, 3, 2, 3, 3, 3)",6617.038848
"(1, 0, 0, 1, 0, 1, 0, 0, 3, 3, 1, 0, 2, 2, 1, 3)",7406.616576
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 0, 3, 2, 2, 1, 3)",7090.077696
"(1, 0, 0, 1, 0, 0, 1, 0, 0, 3, 1, 0, 2, 2, 3, 2)",7858.42176
"(1, 0, 0, 0, 0, 0, 1, 1, 0, 3, 0, 3, 2, 3, 3, 2)",7333.871616
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 0, 2, 1, 3, 3)",7301.627904
"(1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 0, 3, 3, 3, 3, 3)",5746.065408
"(1, 0, 0, 0, 1, 0, 1, 1, 0, 3, 0, 3, 2, 3, 1, 2)",7529.693184
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 1, 2, 2, 3, 3, 2)",6639.45216
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 3, 0, 3, 2, 3, 3)",6083.837952
"(1, 0, 0, 1, 0, 1, 1, 0, 0, 3, 0, 0, 2, 2, 1, 3)",8065.646592
"(1, 0, 0, 0, 0, 1, 0, 1, 0, 3, 1, 0, 3, 2, 1, 2)",7875.330048
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 1, 0, 3, 1, 1, 3)",7456.948224
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 0, 3, 2, 2, 3, 3)",7321.288704
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 3, 0, 0, 2, 2, 3, 2)",8090.4192
"(1, 0, 0, 1, 1, 0, 1, 0, 0, 3, 0, 0, 3, 2, 3, 2)",7773.093888
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 0, 2, 2, 2, 3, 3)",7493.517312
"(1, 0, 0, 0, 0, 0, 0, 1, 3, 3, 0, 3, 2, 3, 3, 3)",6755.45088
"(1, 0, 0, 1, 1, 0, 1, 0, 3, 3, 0, 3, 2, 3, 3, 3)",6617.038848
"(1, 1, 0, 1, 1, 0, 1, 0, 3, 3, 1, 0, 2, 2, 3, 2)",6877.741056
"(1, 1, 0, 1, 1, 1, 1, 1, 3, 3, 1, 3, 3, 2, 3, 3)",5860.491264
"(1, 0, 0, 1, 0, 1, 0, 1, 0, 3, 3, 3, 3, 3, 3, 3)",6377.177088
"(1, 0, 0, 1, 0, 1, 1, 1, 0, 3, 0, 3, 2, 2, 3, 2)",7265.058816
"(1, 1, 1, 1, 1, 0, 1, 0, 3, 3, 1, 3, 2, 2, 3, 2)",6190.792704
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 3, 0, 3, 2, 2, 3, 3)",6963.462144
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 1, 0, 3, 3, 3, 2)",6836.846592
"(1, 1, 1, 0, 0, 0, 1, 0, 3, 3, 0, 0, 2, 2, 1, 2)",7305.560064
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 0, 0, 2, 2, 3, 3)",7373.586432
"(1, 0, 0, 1, 0, 1, 1, 1, 3, 3, 0, 3, 3, 3, 3, 3)",6299.713536
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 3, 0, 2, 2, 3, 3, 3)",7493.124096
"(1, 1, 0, 1, 0, 0, 1, 0, 0, 3, 0, 3, 2, 2, 3, 3)",7044.46464
"(1, 0, 0, 0, 0, 1, 1, 0, 0, 3, 1, 3, 2, 1, 1, 2)",7665.74592
"(1, 1, 0, 1, 1, 1, 1, 1, 3, 3, 3, 3, 3, 1, 3, 3)",5626.134528
"(1, 0, 0, 1, 1, 0, 0, 1, 3, 3, 0, 0, 3, 3, 3, 3)",6986.661888
"(1, 0, 1, 1, 0, 0, 1, 0, 3, 3, 1, 0, 2, 3, 1, 3)",7198.605312
"(1, 1, 0, 1, 0, 0, 1, 1, 3, 3, 0, 3, 2, 2, 3, 3)",6409.814016
"(1, 0, 0, 1, 0, 1, 1, 1, 3, 3, 3, 3, 3, 2, 3, 3)",5881.331712
"(1, 0, 0, 0, 0, 0, 1, 1, 3, 3, 0, 0, 2, 2, 3, 3)",7373.586432
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 0, 3, 2, 2, 3, 3)",6825.050112
"(1, 0, 0, 1, 0, 1, 1, 1, 0, 3, 0, 3, 3, 3, 3, 3)",6865.158144
"(1, 0, 0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 2, 2, 3, 2)",8159.625216
"(1, 0, 0, 1, 0, 0, 0, 0, 0, 3, 0, 0, 2, 1, 1, 3)",8433.303552
"(1, 1, 1, 1, 1, 0, 1, 0, 3, 3, 1, 3, 3, 3, 3, 3)",5790.892032
"(1, 1, 0, 0, 0, 1, 1, 0, 0, 3, 0, 0, 3, 1, 1, 2)",7852.130304
"(1, 0, 0, 0, 0, 1, 1, 1, 3, 3, 3, 3, 3, 2, 3, 3)",5950.537728
"(1, 0, 0, 0, 0, 0, 0, 0, 3, 3, 0, 3, 2, 3, 1, 2)",7171.866624
"(1, 1, 1, 1, 1, 0, 1, 1, 3, 3, 1, 0, 3, 3, 3, 3)",6270.222336
"(1, 1, 1, 1, 1, 0, 1, 1, 3, 3, 3, 3, 2, 3, 3, 3)",5506.203648
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 0, 3, 2, 2, 1, 2)",7172.25984
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 3, 1, 0, 2, 2, 3, 2)",7927.627776
"(1, 0, 0, 1, 1, 0, 0, 1, 3, 3, 1, 3, 2, 3, 3, 3)",6454.247424
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 0, 3, 3, 3, 3, 2)",6035.8656
"(1, 1, 0, 1, 0, 0, 1, 1, 0, 3, 0, 0, 2, 2, 3, 3)",7523.794944
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 0, 2, 2, 1, 3, 3)",7653.556224
"(1, 0, 0, 1, 1, 0, 1, 1, 0, 3, 1, 0, 2, 2, 3, 2)",7720.009728
"(1, 1, 1, 1, 0, 1, 1, 1, 3, 3, 1, 3, 2, 3, 3, 2)",5913.575424
"(1, 0, 0, 1, 1, 1, 1, 1, 3, 3, 0, 3, 3, 2, 3, 3)",6369.312768
"(1, 1, 0, 1, 1, 0, 1, 1, 3, 3, 0, 3, 3, 3, 3, 3)",6022.889472
"(1, 0, 0, 0, 0, 1, 0, 0, 0, 3, 0, 3, 2, 1, 1, 2)",7897.74336
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 0, 0, 2, 2, 3, 2)",7952.007168
"(1, 1, 0, 1, 0, 1, 1, 1, 3, 3, 0, 3, 2, 3, 3, 3)",6132.596736
"(1, 0, 0, 0, 0, 0, 1, 1, 3, 3, 0, 3, 2, 1, 1, 3)",7250.116608
"(1, 0, 0, 1, 0, 0, 1, 1, 3, 3, 1, 0, 2, 3, 3, 2)",7084.965888
"(1, 0, 1, 1, 0, 1, 1, 1, 0, 3, 3, 3, 3, 2, 3, 2)",6390.546432
"(1, 0, 0, 1, 1, 0, 1, 0, 0, 3, 0, 0, 2, 2, 3, 3)",7869.825024
"(1, 1, 1, 1, 1, 0, 1, 1, 3, 3, 1, 3, 2, 3, 3, 2)",5982.78144
"(1, 1, 0, 1, 0, 0, 1, 0, 3, 3, 0, 3, 2, 3, 3, 3)",6340.214784
"(1, 0, 0, 1, 0, 1, 0, 1, 0, 3, 0, 3, 3, 2, 3, 2)",7155.351552
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 3, 2, 3, 2)",6427.11552
"(1, 0, 0, 1, 0, 0, 0, 0, 3, 3, 0, 0, 2, 2, 1, 2)",7790.002176
"(1, 1, 0, 1, 0, 1, 1, 1, 3, 3, 0, 3, 2, 2, 3, 3)",6271.401984
"(1, 0, 0, 1, 0, 0, 0, 0, 3, 3, 0, 0, 2, 1, 3, 2)",7685.013504
"(1, 0, 0, 1, 1, 0, 1, 1, 0, 3, 1, 3, 2, 2, 3, 3)",7089.291264
"(1, 0, 0, 1, 1, 1, 1, 1, 3, 3, 1, 3, 3, 3, 3, 2)",6149.89824
"(1, 0, 0, 1, 0, 0, 1, 0, 0, 3, 0, 2, 2, 3, 3, 3)",7423.91808
"(1, 0, 1, 1, 1, 1, 1, 1, 3, 3, 0, 3, 3, 3, 3, 3)",6092.095488
"(1, 0, 0, 0, 0, 1, 1, 0, 3, 3, 0, 3, 2, 3, 3, 3)",6617.038848
"(1, 1, 0, 1, 0, 1, 1, 1, 3, 3, 3, 3, 2, 2, 1, 3)",5979.242496
"(1, 0, 1, 1, 0, 1, 1, 1, 3, 3, 3, 3, 3, 2, 3, 3)",5742.91968
"(1, 1, 0, 1, 0, 0, 1, 0, 0, 3, 0, 3, 2, 1, 3, 2)",7286.685696
"(1, 0, 0, 0, 0, 0, 1, 0, 0, 3, 0, 3, 2, 2, 1, 2)",7806.910464
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 3, 3, 3, 2, 3, 3)",5950.537728
"(1, 1, 0, 1, 0, 1, 1, 0, 3, 3, 1, 0, 3, 3, 3, 3)",6408.634368
"(1, 1, 1, 1, 0, 0, 1, 1, 3, 3, 1, 2, 2, 3, 3, 2)",6224.216064
"(1, 1, 0, 0, 1, 0, 1, 1, 3, 3, 1, 3, 3, 3, 3, 3)",5929.304064
"(1, 1, 0, 1, 0, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3)",5396.496384
"(1, 0, 0, 1, 0, 0, 1, 1, 0, 3, 0, 2, 3, 3, 3, 3)",7175.798784
"(1, 1, 1, 1, 1, 1, 1, 1, 3, 3, 1, 3, 3, 3, 3, 2)",5665.456128
"(1, 0, 0, 1, 0, 0, 1, 0, 3, 3, 0, 3, 3, 2, 3, 2)",6728.318976
"(1, 1, 0, 1, 0, 1, 1, 0, 3, 3, 3, 0, 2, 2, 3, 3)",6331.957248
"(1, 0, 0, 0, 1, 0, 0, 1, 3, 3, 1, 0, 3, 3, 1, 3)",7158.104064
"(1, 0, 1, 1, 0, 0, 1, 1, 3, 3, 3, 3, 3, 3, 3, 3)",5742.526464
"(1, 1, 0, 1, 0, 1, 1, 1, 0, 3, 0, 2, 2, 2, 3, 3)",7009.0752
"(1, 1, 0, 1, 0, 1, 0, 0, 0, 3, 1, 3, 2, 2, 3, 2)",6894.649344
"(1, 0, 0, 1, 1, 0, 1, 1, 3, 3, 1, 3, 3, 2, 1, 2)",6692.143104
"(1, 0, 1, 0, 1, 0, 1, 1, 3, 3, 0, 0, 3, 3, 1, 3)",7113.27744
"(1, 0, 0, 1, 0, 1, 1, 0, 3, 3, 0, 3, 2, 3, 3, 3)",6547.832832
"(1, 0, 1, 1, 1, 0, 1, 0, 0, 3, 3, 3, 3, 3, 2, 2)",6504.579072