import Shioriproofs.Erdos1112y

#print axioms Shiori1112.setA4_apfree_and_beats_walker
#print axioms Shiori1112.setA4_apfree_and_lower
#print axioms Shiori1112.setA4_apfree
#print axioms Shiori1112.setA4_lower_full
#print axioms Shiori1112.chain4
#print axioms Shiori1112.head4_lower
#print axioms Shiori1112.KSet55_apfree
#print axioms Shiori1112.piecesK1_num
#print axioms Shiori1112.piecesK2_num
#print axioms Shiori1112.piecesK3_num
#print axioms Shiori1112.tailG0_num
#print axioms Shiori1112.tailG1_num
#print axioms Shiori1112.tailG2_num
#print axioms Shiori1112.tailG3_num
#print axioms Shiori1112.tailG4_num