import Solution

/-! Each public result should report only the standard logical axioms
`propext`, `Classical.choice`, and `Quot.sound`. -/

#print axioms SuperpermutationBounds.finite_bound
#print axioms SuperpermutationBounds.finite_bound_integer
#print axioms SuperpermutationBounds.eventual_bound
#print axioms SuperpermutationBounds.word_eight
#print axioms SuperpermutationBounds.word_nine
#print axioms SuperpermutationBounds.word_ten_structural
#print axioms SuperpermutationBounds.uniform_three_fifths
#print axioms SuperpermutationBounds.uniform_101_over_120