'CircularSorting.certified_min_cost36' does not depend on any axioms
'CircularSorting.permutation36' does not depend on any axioms
'CircularSorting.all_rotations_certified36' does not depend on any axioms
'CircularSorting.cycle_profile36' does not depend on any axioms
'CircularSorting.four_cycles_attained36' does not depend on any axioms
'CircularSorting.certified_min_cost40' does not depend on any axioms
'CircularSorting.permutation40' does not depend on any axioms
'CircularSorting.all_rotations_certified40' does not depend on any axioms
'CircularSorting.cycle_profile40' does not depend on any axioms
'CircularSorting.four_cycles_attained40' does not depend on any axioms
'CircularSorting.certified_min_cost42' does not depend on any axioms
'CircularSorting.permutation42' does not depend on any axioms
'CircularSorting.all_rotations_certified42' does not depend on any axioms
'CircularSorting.cycle_profile42' does not depend on any axioms
'CircularSorting.four_cycles_attained42' does not depend on any axioms