prop_c_tilde_2100_correct :: Cube -> Bool
prop_c_tilde_2100_correct cube =
c t6 2 1 0 0 == (3/8)*int + (1/12)*(f + r + l + b) + (1/64)*(ft + rt + lt + bt)
prop_c_tilde_2100_correct :: Cube -> Bool
prop_c_tilde_2100_correct cube =
c t6 2 1 0 0 == (3/8)*int + (1/12)*(f + r + l + b) + (1/64)*(ft + rt + lt + bt)