import Growth.Check
import Growth.Examples

#print axioms Growth.Run.reached
#print axioms Growth.tiny_valid
#print axioms Growth.notTight_rejected
#print axioms Growth.overBudget_rejected
#print axioms Growth.heldTwice_rejected
#print axioms Growth.overlong_rejected
#print axioms Growth.misplacedMeeting_rejected
#print axioms Growth.offSlot_rejected
#print axioms Growth.runA_valid
#print axioms Growth.runA_reached
#print axioms Growth.runB_valid
#print axioms Growth.runB_reached
#print axioms Growth.runC_valid
#print axioms Growth.runC_reached
#print axioms Growth.runD_valid
#print axioms Growth.runD_reached
#print axioms Growth.runE_valid
#print axioms Growth.runE_reached
#print axioms Growth.runF_valid
#print axioms Growth.runF_reached
#print axioms Growth.runG_valid
#print axioms Growth.runG_reached
#print axioms Growth.runH_valid
#print axioms Growth.runH_reached
#print axioms Growth.runI_valid
#print axioms Growth.runI_reached
#print axioms Growth.runJ_valid
#print axioms Growth.runJ_reached
#print axioms Growth.runK_valid
#print axioms Growth.runK_reached
#print axioms Growth.runL_valid
#print axioms Growth.runL_reached
#print axioms Growth.runM_valid
#print axioms Growth.runM_reached
#print axioms Growth.runN_valid
#print axioms Growth.runN_reached
#print axioms Growth.runO_valid
#print axioms Growth.runO_reached
#print axioms Growth.runP_valid
#print axioms Growth.runP_reached
#print axioms Growth.runQ_valid
#print axioms Growth.runQ_reached
#print axioms Growth.runR_valid
#print axioms Growth.runR_reached
#print axioms Growth.runS_valid
#print axioms Growth.runS_reached
#print axioms Growth.runT_valid
#print axioms Growth.runT_reached
#print axioms Growth.runU_valid
#print axioms Growth.runU_reached
#print axioms Growth.runV_valid
#print axioms Growth.runV_reached
#print axioms Growth.runW_valid
#print axioms Growth.runW_reached
#print axioms Growth.runX_valid
#print axioms Growth.runX_reached
#print axioms Growth.runY_valid
#print axioms Growth.runY_reached