'NimAudit.Rollout.policyMove_legal' does not depend on any axioms
'NimAudit.Rollout.rolloutCount_split' depends on axioms: [propext]
'NimAudit.Rollout.heapCount_sub_pow' depends on axioms: [propext, Quot.sound]
'NimAudit.Rollout.heapCount_sub_one' depends on axioms: [propext, Quot.sound]
'NimAudit.Rollout.rolloutCount_zero' depends on axioms: [propext]
'NimAudit.Rollout.policyMove_count' depends on axioms: [propext, Quot.sound]
'NimAudit.Rollout.run_length' depends on axioms: [propext, Quot.sound]
'NimAudit.Rollout.run_parity' depends on axioms: [propext, Quot.sound]
'NimAudit.Rollout.subFirstGe_some' depends on axioms: [propext]
'NimAudit.Rollout.subFirstGe_none' depends on axioms: [propext, Quot.sound]
'NimAudit.Rollout.subFirstPos_some' depends on axioms: [propext]
'NimAudit.Rollout.subFirstPos_none' depends on axioms: [propext, Quot.sound]
'NimAudit.Rollout.policyStep_some' depends on axioms: [propext, Quot.sound]
'NimAudit.Rollout.policyStep_none' depends on axioms: [propext, Quot.sound]
'NimAudit.Rollout.rolloutMoves_run' depends on axioms: [propext, Quot.sound]
'NimAudit.Rollout.rolloutMoves_eq' depends on axioms: [propext, Quot.sound]
'NimAudit.Rollout.rolloutMoves_single' depends on axioms: [propext, Quot.sound]
'NimAudit.Rollout.rolloutMoves_parity' depends on axioms: [propext, Quot.sound]
'NimAudit.Rollout.lt_of_top_testBit' depends on axioms: [propext, Quot.sound]
'NimAudit.Rollout.exists_heap_testBit' depends on axioms: [propext, Quot.sound]
'NimAudit.Rollout.exists_decreasing_heap' depends on axioms: [propext, Quot.sound]
'NimAudit.Rollout.matching_deltas_do_not_force_zero' depends on axioms: [propext]