binomial_answer(choose_24_12, 2704156).
binomial_answer(symmetry_24_7, true).
binomial_answer(vandermonde_12_10_8, 319770).
binomial_answer(row_12_sum, 4096).