{"synthetic": false,
 "schemaVersion": "2025-09-10",
 "outputs": null,
 "log":
 [{"message": "Documentation indexing", "level": "info"},
  {"message":
   ".> /Users/pietromonticone/GitHub/brownian-motion/.lake/packages/doc-gen4/.lake/build/bin/doc-gen4 index --build /Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build",
   "level": "trace"}],
 "inputs":
 [["/Users/pietromonticone/GitHub/brownian-motion/.lake/packages/doc-gen4/.lake/build/bin/doc-gen4",
   "6b874e0b1f6c566c"],
  ["<nil>", "7c0baac5fc784a49"],
  ["<collection>",
   [["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/Cadlag.html",
     "896c17c5b1bde2f0"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/Adapted.html",
     "1eb23f9cd724fceb"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/Algebra.html",
     "29ce9ef8401f78d3"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/Analysis.html",
     "c667137a1d82f57c"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/LinearAlgebra.html",
     "47549496d891fb34"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/ContinuousBilinForm.html",
     "10729b2076616494"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/ENNReal.html",
     "eee7023ab4cdb68b"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/FiniteInf.html",
     "a911558d863ec00e"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/Metric.html",
     "ebffa270db7a0df9"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/WithLp.html",
     "641eb9a2227d859e"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/MeasureTheory.html",
     "3ee1aa762a30c194"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Gaussian/CovMatrix.html",
     "7ba37037cc4353bc"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/HasLaw.html",
     "f1e4d38a24d5518f"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Gaussian/Fernique.html",
     "f7791e3f49571693"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Gaussian/Gaussian.html",
     "e60c9464941ab667"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/HasGaussianLaw.html",
     "4ed9259cafebe606"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/Predictable.html",
     "6ff9e6caff6fa56c"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/WithTop.html",
     "69cf48ad3b27c4be"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/IsStoppingTime.html",
     "de76ebb79419f0e9"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/Jensen.html",
     "0d6ae4c94d505b2e"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/Martingale.html",
     "b4485059d35d1a68"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/MeanInequalities.html",
     "db74ff9a97eda790"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/NNReal.html",
     "0bb499a1f5144eea"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/Nat.html",
     "9669597dc9f4a4c8"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/Real.html",
     "992da4c3d6df2616"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/StoppedProcess.html",
     "ae40a9ab36570b05"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Auxiliary/Topology.html",
     "9605244eedef165d"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Continuity/CoveringNumber.html",
     "8f2c2ea44baa6038"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Continuity/Chaining.html",
     "90246c8281cda1df"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Continuity/HasBoundedInternalCoveringNumber.html",
     "c033992479217cdb"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Continuity/IsKolmogorovProcess.html",
     "e7ea616ff103a5e0"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Gaussian/StochasticProcesses.html",
     "ffef32267bc9aab3"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Continuity/KolmogorovChentsovInequality.html",
     "1d1bdbd61605c1bf"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Continuity/KolmogorovChentsov.html",
     "dc87469c78608250"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Gaussian/GaussianProcess.html",
     "d9c62f50334102cb"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Gaussian/Moment.html",
     "73d771d47aa74566"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Gaussian/MultivariateGaussian.html",
     "4a1cbda72ec4a5c0"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Gaussian/ProjectiveLimit.html",
     "aec0274092d33a09"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Gaussian/BrownianMotion.html",
     "35056d9d04c23698"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/UniformIntegrable.html",
     "57a83d6269b0d8b2"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/ApproxSeq.html",
     "805fc45abdbd8908"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/Centering.html",
     "9164367d3314e0dd"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/Locally.html",
     "935cdb9f82b04557"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/OptionalSampling.html",
     "441cd8f9a0a74a1f"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/ClassD.html",
     "bbdce6994f16e07c"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/DoobLp.html",
     "60c926a92b972fd8"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/LocalMartingale.html",
     "05159973ba40f3cb"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/DoobMeyer.html",
     "b9ae4381864ca59b"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/Komlos.html",
     "430b0589a1b21dc8"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/L2M.html",
     "2f14d03ad68b33cf"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/LocalMonad.html",
     "3496ad61f150d163"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/MathlibImports.html",
     "fca049b467853fb4"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/QuadraticVariation.html",
     "7caa57e54735abce"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/SimpleProcess.html",
     "509ff0211863adfa"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/StochasticIntegral/SquareIntegrable.html",
     "a3bbe0de9e48d0e0"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Verso/Brownian.html",
     "9c6de34b319d176c"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion/Verso/Processes.html",
     "37c6978ac790d553"],
    ["/Users/pietromonticone/GitHub/brownian-motion/docbuild/.lake/build/doc/BrownianMotion.html",
     "69ee18e50b0dc78a"]]]],
 "depHash": "1e8259965b633c00"}