{"synthetic": false,
 "schemaVersion": "2025-09-10",
 "outputs": null,
 "log":
 [{"message":
   ".> ELAN=elan ELAN_HOME=/Users/pietromonticone/.elan ELAN_TOOLCHAIN=leanprover/lean4:v4.25.0 LAKE=/Users/pietromonticone/.elan/toolchains/leanprover--lean4---v4.25.0/bin/lake LAKE_HOME=/Users/pietromonticone/.elan/toolchains/leanprover--lean4---v4.25.0 LAKE_PKG_URL_MAP={} LAKE_NO_CACHE=false LAKE_ARTIFACT_CACHE=false LAKE_CACHE_KEY= LAKE_CACHE_ARTIFACT_ENDPOINT= LAKE_CACHE_REVISION_ENDPOINT= LEAN=/Users/pietromonticone/.elan/toolchains/leanprover--lean4---v4.25.0/bin/lean LEAN_SYSROOT=/Users/pietromonticone/.elan/toolchains/leanprover--lean4---v4.25.0 LEAN_AR=/Users/pietromonticone/.elan/toolchains/leanprover--lean4---v4.25.0/bin/llvm-ar LEAN_CC= LAKE_CACHE_DIR=/Users/pietromonticone/.elan/toolchains/leanprover--lean4---v4.25.0/lake/cache LEAN_PATH=/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/batteries/.lake/build/lib/lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/Qq/.lake/build/lib/lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/aesop/.lake/build/lib/lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/proofwidgets/.lake/build/lib/lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/importGraph/.lake/build/lib/lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/LeanSearchClient/.lake/build/lib/lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/plausible/.lake/build/lib/lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/mathlib/.lake/build/lib/lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/kolmogorov_extension4/.lake/build/lib/lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/checkdecls/.lake/build/lib/lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/subverso/.lake/build/lib/lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/MD4Lean/.lake/build/lib/lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/BibtexQuery/.lake/build/lib/lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/UnicodeBasic/.lake/build/lib/lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/Cli/.lake/build/lib/lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/build/lib/lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/doc-gen4/.lake/build/lib/lean:/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/lib/lean:/Users/pietromonticone/.elan/toolchains/leanprover--lean4---v4.25.0/lib/lean LEAN_SRC_PATH=/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/batteries:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/batteries:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/Qq:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/Qq:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/aesop:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/aesop:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/proofwidgets:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/proofwidgets:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/importGraph:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/importGraph:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/LeanSearchClient:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/LeanSearchClient:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/plausible:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/plausible:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/mathlib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/mathlib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/mathlib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/mathlib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/mathlib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/mathlib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/mathlib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/kolmogorov_extension4:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/subverso/src/:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/MD4Lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/MD4Lean:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/BibtexQuery:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/UnicodeBasic:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/UnicodeBasic:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/Cli:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/Cli:/Users/pietromonticone/GitHub/brownian-motion:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/doc-gen4:/Users/pietromonticone/.elan/toolchains/leanprover--lean4---v4.25.0/src/lean/lake LEAN_GITHASH=cdd38ac5115bdeec5f609e9126cce00f51ae88b3 PATH DYLD_LIBRARY_PATH=/Users/pietromonticone/.elan/toolchains/leanprover--lean4---v4.25.0/lib/lean:/Users/pietromonticone/.elan/toolchains/leanprover--lean4---v4.25.0/lib:/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/lib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/doc-gen4/.lake/build/lib:/Users/pietromonticone/GitHub/brownian-motion/.lake/build/lib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/Cli/.lake/build/lib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/UnicodeBasic/.lake/build/lib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/BibtexQuery/.lake/build/lib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/MD4Lean/.lake/build/lib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/subverso/.lake/build/lib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/checkdecls/.lake/build/lib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/kolmogorov_extension4/.lake/build/lib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/mathlib/.lake/build/lib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/plausible/.lake/build/lib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/LeanSearchClient/.lake/build/lib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/importGraph/.lake/build/lib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/proofwidgets/.lake/build/lib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/aesop/.lake/build/lib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/Qq/.lake/build/lib:/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/batteries/.lake/build/lib /Users/pietromonticone/GitHub/brownian-motion/.lake/packages/doc-gen4/.lake/build/bin/doc-gen4 single --build /Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build Mathlib.Tactic.Common https://github.com/leanprover-community/mathlib4/blob/1ccd71f89cbbd82ae7d097723ce1722ca7b01c33/Mathlib/Tactic/Common.lean",
   "level": "trace"}],
 "inputs":
 [["<collection>",
   [["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Aesop.html",
     "e93a4099a9999892"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Qq.html",
     "288b613fcf22c95e"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Plausible.html",
     "9da1974128e22f0e"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/ImportGraph/Imports.html",
     "38db498a9e87f45d"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Batteries/Tactic/Basic.html",
     "4daff454b47fd2e9"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Batteries/Tactic/Case.html",
     "d8911173f2623fef"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Batteries/Tactic/HelpCmd.html",
     "1ed926b999daf2bc"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Batteries/Tactic/Alias.html",
     "067047976335d936"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Batteries/Tactic/GeneralizeProofs.html",
     "c2160d35d15e51b6"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/LeanSearchClient.html",
     "7d7c4c62ad3508af"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Linter/Lint.html",
     "df63407bc2d03975"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/ApplyCongr.html",
     "9cda75e05cc5306a"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/ApplyAt.html",
     "87e20da7198d618c"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/ApplyWith.html",
     "062b2d3d4497ed77"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Basic.html",
     "ffcea3a7baa144e2"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/ByCases.html",
     "f82a3600236ee53a"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/ByContra.html",
     "23daf19b7db8957b"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/CasesM.html",
     "93ee5631d66f6ae0"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Check.html",
     "c55d5c74364f27fd"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Choose.html",
     "1a11df4aabc3f020"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/ClearExclamation.html",
     "1d984f44fc56555f"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/ClearExcept.html",
     "2d41f04cbd5f73fe"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Clear_.html",
     "d1a25a07890682e9"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Coe.html",
     "9090cd805c4282ad"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/CongrExclamation.html",
     "c8a60333db3b1dd4"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/CongrM.html",
     "27a85ed8d01aa824"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Constructor.html",
     "3f3fabd9feb90485"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Contrapose.html",
     "38634048f7d7796b"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Conv.html",
     "aa102ca0099b4645"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Convert.html",
     "9d86ea337771aa1a"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/DefEqTransformations.html",
     "70e016c044ba7356"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/DeprecateTo.html",
     "2175eceb1b79ad2b"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/ErwQuestion.html",
     "ea180ae2eb492cbf"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Eqns.html",
     "776c6885257352fd"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/ExistsI.html",
     "730fc44856c43a82"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/ExtractGoal.html",
     "1f5c317593beec2b"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/FailIfNoProgress.html",
     "1109db02e8cf9c50"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Find.html",
     "3aefe776e733cedc"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/FunProp.html",
     "b1a0dd999168fb23"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/GCongr.html",
     "33f27d8d8bdc8a6a"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/GRewrite.html",
     "18aef20733d196b2"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/GuardGoalNums.html",
     "0c04535c2d220c10"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/GuardHypNums.html",
     "2b1e68431fc9b6fe"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/HigherOrder.html",
     "080900b188a15ae6"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Hint.html",
     "8e50acbc207797fd"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/InferParam.html",
     "94cb6e8ea068f922"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Inhabit.html",
     "8f96eb59fc89fb59"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/IrreducibleDef.html",
     "2322a4b209af5f8d"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Lift.html",
     "8a73d9111ef07ad8"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Linter.html",
     "241d982563107f29"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/MkIffOfInductiveProp.html",
     "bd077158218efd3b"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/NthRewrite.html",
     "aeea89b290caf302"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Observe.html",
     "49c0a3a5bd4693f2"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/OfNat.html",
     "c79524e4b62245b9"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Propose.html",
     "67a9380e7e4a7880"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Push.html",
     "03a1507323b59f3a"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/RSuffices.html",
     "8815210efa975d13"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Recover.html",
     "ac277bd76857d1d8"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Relation/Rfl.html",
     "994cf1874fc2e615"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Rename.html",
     "7b49197ff4baf07a"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/RenameBVar.html",
     "0c46173344d2561a"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Says.html",
     "72f33333cb20677a"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/ScopedNS.html",
     "db416fdb530b1e6c"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Set.html",
     "fd5655971111f8ff"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/SimpIntro.html",
     "a02d6c8d008e64a7"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/SimpRw.html",
     "dc01e9d150fb9138"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Simps/Basic.html",
     "6e11fbc4ad820b20"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/SplitIfs.html",
     "6198ce32ec092f36"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Spread.html",
     "b559389430c6a945"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Subsingleton.html",
     "f55d2d576fac4381"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Substs.html",
     "5c605bf0960cac72"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/SuccessIfFailWithMsg.html",
     "335af85ac82989c1"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/SudoSetOption.html",
     "aab3319364c80ce2"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/SwapVar.html",
     "a9352b5547e8ac83"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Tauto.html",
     "55854a2b1bc0057c"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/TermCongr.html",
     "970b88e6b99e4767"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/ToExpr.html",
     "9bcb1d7d277e5a60"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/ToLevel.html",
     "79e3adf272f14888"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Trace.html",
     "a256bfb32638ae8a"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/TypeCheck.html",
     "f7e2c8bb929bbcef"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/UnsetOption.html",
     "0732f70911825924"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Use.html",
     "1144456f4589c853"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Variable.html",
     "3c01039d67008490"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Widget/Calc.html",
     "79192b845afdd91b"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Widget/CongrM.html",
     "73476d15504d2fc7"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Widget/Conv.html",
     "99869cf9ab818079"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/Widget/LibraryRewrite.html",
     "065b7746f4988164"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Tactic/WLOG.html",
     "7145948e20066a5d"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Util/AssertExists.html",
     "2368bd3251a94fcd"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Util/CountHeartbeats.html",
     "64853b7cc42da92c"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Util/PrintSorries.html",
     "f2db0352589b5cc8"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Util/TransImports.html",
     "c4a50bf0ead705a4"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/Mathlib/Util/WhatsNew.html",
     "76652a13e9c3f2d0"]]],
  ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc-data/references.json",
   "a50f2257f35adb49"],
  ["/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/doc-gen4/.lake/build/bin/doc-gen4",
   "6b874e0b1f6c566c"],
  ["Mathlib.Tactic.Common:leanArts", "7c2824343f7b0ad2"]],
 "depHash": "456f893eeec19e21"}