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