/nix/store/0n518bwa2vv7r30xnz9qs5hm2kmrwwg3-Lean.Setup
  /nix/store/dakfjarb4prqwiznip48f9hd2hg9c788-Lean.Shell-cc
  /nix/store/ilinlnh2qc2rdp06sbbbj03jkyfw9rm6-Lean.Util.CollectLooseBVars-cc
  /nix/store/pnk31p1lknrq48hhs02zmf1y1cahn3vi-Lean.Util.CollectMVars
  /nix/store/vj28724rzfqsgvxabpds3irr8kqnzs0q-Lean.Util.CollectMVars-cc
  /nix/store/nm9m59c9452ckl7i7fscj34glwi2y8p1-Lean.Util.FindMVar
  /nix/store/1jikbvgfb4zb6izfy2b78v9v8ndggqcp-Lean.Util.FindMVar-cc
  /nix/store/68mq77115fg63wpq70mvz2pk9idx1r5b-Lean.Util.Profiler-cc
  /nix/store/x3r5nfrqldqz8hlmqawj0pqxza97f5hm-Lean.Util.Sorry-cc
  /nix/store/sjyzypxnaw3x1in3v97jvwig9xyaw6qv-Lean.Widget.Basic
  /nix/store/vw0kfskcly72ihmlk2zf7a930bixn539-Lean.Widget.InteractiveCode
  /nix/store/hn86wvjxapf4m1z6cgzppl0ssjaif0lh-Lean.Widget.InteractiveDiagnostic-cc
  /nix/store/nvr0n8j25j9ssz4kgkvr5ynj6mwz0d0b-Std-cc
  /nix/store/iafjbl0zp114pv83i4nlyis5bgbvi3mr-Std-depRoot
  /nix/store/g7gjjww6b8agb3jjirl0pq3qfw3d0wnx-Std-lib
  /nix/store/clkr197cnhy5bz77d0y5njky4grjnd2b-Std.Classes.Ord.UInt-cc
  /nix/store/cmvivhffmpang6mlhp5nbx4cs5ihwh2l-Std.Data.DHashMap.Lemmas
  /nix/store/8q284zmfi07dif6zgfw9mdxgpmj69q5q-Std.Data.DHashMap.RawLemmas
  /nix/store/y4ydpsivdkr4jhg8mf7d48qn3n2z1dcp-Std.Data.DTreeMap.Basic
  /nix/store/aiz4lmgm7jvyvwfxn3dwgq02n9sh4k76-Std.Data.DTreeMap.Internal.Balanced
  /nix/store/5c2hs3q6b8jvdy6mfb16b03ic17q63r4-Std.Data.DTreeMap.Internal.Queries
  /nix/store/v5fgim8bbvvka92603irhc19jbj82kfb-Std.Data.DTreeMap.Internal.WF.Defs
  /nix/store/sv6idim0klvbax68bv6mpz792ch5znnh-Std.Data.DTreeMap.Internal.WF.Lemmas-cc
  /nix/store/9g0rywj9zmdx72d62kxq9s5mxck43wm7-Std.Data.DTreeMap.Raw.WF
  /nix/store/mlw91jvlvvcwmd5j626fpqhs56cw7j2r-Std.Data.ExtDHashMap
  /nix/store/va6yq417i8dx6ai14wykbgnq0l981xia-Std.Data.ExtDHashMap.Lemmas-cc
  /nix/store/m6kfrnh9p37d7xjgywm3zq6fk3gqynjz-Std.Data.ExtDTreeMap.Basic
  /nix/store/fzh8y9gk8hv6pglf45w467hs6kkyh4d2-Std.Data.ExtTreeMap.Basic-cc
  /nix/store/krv0ylr4m23dxmyq7jypadsh6fah40ih-Std.Data.ExtTreeMap.Lemmas
  /nix/store/6c78ygn4khzajlp92cid6nwbppnchakb-Std.Data.ExtTreeMap.Lemmas-cc
  /nix/store/hbsj6wyw3al32n0il4i7a916xr1wkr18-Std.Data.ExtTreeSet.Basic-cc
  /nix/store/r0vjpry96r89vbrs7j0cprsd7kay13v8-Std.Data.HashMap.Raw-cc
  /nix/store/glr57b84zgy5xbm1dwms4kd4w3pzc61v-Std.Data.Iterators.Combinators.DropWhile-cc
  /nix/store/ymmgv8nz235w0nhqsxf4rqvcrw8wy44p-Std.Data.Iterators.Combinators.Monadic-cc
  /nix/store/c50cbkdvv23y5dsp9fv3ic28a08wwx9q-Std.Data.Iterators.Combinators.Take-cc
  /nix/store/mb4nia9qh4nyprkcjk5zrfi6m8lsslki-Std.Data.Iterators.Lemmas.Combinators.Monadic.Zip-cc
  /nix/store/5qhdhn0vzr0qhpjazh5smvmgav79dlrf-Std.Data.Iterators.Lemmas.Consumers.Monadic.Collect
  /nix/store/7lgp5qa1ppjpcnfpimkpz3wzfdhr2l3k-Std.Data.Iterators.Lemmas.Equivalence.HetT-cc
  /nix/store/81lass04ffnlpr93pmhprssfqipsnddn-Std.Data.Iterators.Lemmas.Producers-cc
  /nix/store/8470p2b19y89ijpp8jscy4d0mzs7s4wm-Std.Data.Iterators.Lemmas.Producers.Monadic-cc
  /nix/store/fxiisq00rhbhk6s64pm28j5j1wk56srh-Std.Data.Iterators.Producers.Array
  /nix/store/adm1y223jh4z3ynd3gcj7m99v2kpl3gc-Std.Data.Iterators.Producers.Array-cc
  /nix/store/jn78c4l0kaahjrp3rjqk2sql0yini4zs-Std.Data.Iterators.Producers.Monadic.Array-cc
  /nix/store/n0fkzbrznjq4s20zzbyz7rpc3z3d5fma-Std.Data.Iterators.Producers.Monadic.Empty
  /nix/store/y1gd272zaxgkflnw7qdvaaijd6ksb3lx-Std.Data.Iterators.Producers.Monadic.Empty-cc
  /nix/store/zh7xzibivxj0mmy3ywnslgddcd8p1zgi-Std.Data.TreeMap.Lemmas
  /nix/store/ypyjlrrskc81m21mx38hjp0ppcixqlq8-Std.Data.TreeMap.Raw.WF
  /nix/store/fvkm16nkma6zddq523xbl15lmqinm9rz-Std.Data.TreeSet.AdditionalOperations
  /nix/store/h4h3j6nz69y2xdi3j6gadlw5nbm8p7yh-Std.Data.TreeSet.AdditionalOperations-cc
  /nix/store/4b5csx8418xm40aqzfhxp0ngnic0h3x9-Std.Data.TreeSet.Lemmas
  /nix/store/dvvzwlm9wjx9f97x2krvqmfpk2nglfrn-Std.Data.TreeSet.Raw.WF
  /nix/store/kcdfc0j21b62nsd4w1s05bxzrh29pgnp-Std.Do.SPred.DerivedLaws-cc
  /nix/store/scyf80mmbfvn34q153d01460rf8x4pp8-Std.Do.WP.Basic
  /nix/store/1z9kzfifgkxlhx3d2qpclys5nhyp6kng-Std.Do.WP.IO
  /nix/store/lsxym7n9xrvgixnm0xvx3rmcbmvcswpq-Std.Internal.Async-cc
  /nix/store/n315cw5pzk0i0v627ljci4rykv7qn8qi-Std.Internal.Async.TCP
  /nix/store/fjx2b14r8nl9wj32wbf2qx3cqv2dx2r9-Std.Internal.Async.Timer-cc
  /nix/store/skxlq827y5hp9mc87h97lkvgp3yp103g-Std.Internal.Async.UDP
  /nix/store/ai3v2p3867a62v5i2qarq3ahbg3870vv-Std.Internal.UV.System
  /nix/store/x5hvzfkagc3437rzj3n4wq3g5m2x3wmx-Std.Internal.UV.UDP
  /nix/store/w8lfcfrqzp707gssy3270470b5dxcihd-Std.Internal.UV.UDP-cc
  /nix/store/7qkdx1brq45mrx7vdyi8ivsbpbkhihiv-Std.Sat.AIG.CachedLemmas-cc
  /nix/store/j71hf5yicd983792g7a8w89rpyich7vc-Std.Sat.AIG.Relabel
  /nix/store/mbxifchmmk0i17vfin95ykc3bmjf7dbn-Std.Sat.AIG.RelabelNat-cc
  /nix/store/c12czzq17kv4if3nh4i04ildzyw4af9z-Std.Sat.CNF.Basic
  /nix/store/d80aqngczz4b0ysx5f1aazmcj77nm691-Std.Sat.CNF.RelabelFin
  /nix/store/szr3sdcn3yf8iwsx57bcvdm78gy021mx-Std.Sync
  /nix/store/ii53jmliyzxazbqqs2l947r1n2glj3ip-Std.Sync.Barrier
  /nix/store/7jyw1a31v6asi0rrbza3snwz8zdcl8q9-Std.Sync.SharedMutex
  /nix/store/kccv5nnq86ka1yy304r7whrm54xlz751-Std.Tactic.BVDecide-cc
  /nix/store/w024d0jajsapnxk2cqvsfpdaf0xg0vpq-Std.Tactic.BVDecide.Bitblast.BVExpr.Circuit.Impl.Operations.ZeroExtend-cc
  /nix/store/11g9gh0m8innciqri63lknm60q1jnyss-Std.Tactic.BVDecide.Bitblast.BVExpr.Circuit.Lemmas.Basic-cc
  /nix/store/029k2xdxc523gkcdl2nkdjd7bb4yz8r5-Std.Tactic.BVDecide.Bitblast.BVExpr.Circuit.Lemmas.Expr-cc
  /nix/store/dq4g6367m5vlpmf7g6js2nyqqavcrdyb-Std.Tactic.BVDecide.Bitblast.BVExpr.Circuit.Lemmas.Operations.GetLsbD-cc
  /nix/store/3wnph4ap48pxvlx4gh6a754fdil9gjq1-Std.Tactic.BVDecide.Bitblast.BVExpr.Circuit.Lemmas.Operations.Mul-cc
  /nix/store/95wpd4bc4mbbqmgcw7xvii5706rslil2-Std.Tactic.BVDecide.Bitblast.BVExpr.Circuit.Lemmas.Operations.Udiv
  /nix/store/vzhqcc44m7vdk21q4z9yk4qx9mfc49j0-Std.Tactic.BVDecide.Bitblast.BVExpr.Circuit.Lemmas.Operations.Umod
  /nix/store/xf442q7zqf0ksysfnsbwbsqk1gz5yh6h-Std.Tactic.BVDecide.LRAT.Internal.Assignment-cc
  /nix/store/zgrggzhd5jmj2chqh8n8bmbmy5rjj3na-Std.Tactic.BVDecide.LRAT.Internal.CNF-cc
  /nix/store/bjvv2j04r7pdz3rn35gjjrz812spfhv3-Std.Tactic.BVDecide.LRAT.Internal.Formula
  /nix/store/3gjwksysymyjbrxyxxwxv0z8c2qcqnyj-Std.Tactic.BVDecide.LRAT.Internal.Formula.Instance
  /nix/store/xdzkrhhal2k1sy5mkrzm6xng0xkdvwyq-Std.Tactic.BVDecide.LRAT.Internal.Formula.Lemmas-cc
  /nix/store/y7aipcibd2xr4wbc6ffz8rhk72hahm9n-Std.Tactic.Do-cc
  /nix/store/kc8h7ps0lg9jcnh18ylbg0rvsm0lfmnx-Std.Tactic.Do.ProofMode
  /nix/store/3nyqbwg7clhba3wvc35xf5fvvvxkf0qz-Std.Tactic.Do.ProofMode-cc
  /nix/store/q55wm7kxxdvlgxdanyh3i0lz3aa0mrci-Std.Time.Date.PlainDate-cc
  /nix/store/2cj17dxw8a8kl8aiklaxjj68f8hakn1b-Std.Time.Date.Unit.Day-cc
  /nix/store/c1aksh18vah18cj9mbqjj6rikmw36qrv-Std.Time.Internal.UnitVal
  /nix/store/9qz4b565cmcys4djfhj26siz5gafacgq-Std.Time.Time.HourMarker
  /nix/store/0a33wsy869sjafzqlz1jjf54s5wzn0fj-Std.Time.Zoned.DateTime
  /nix/store/cvlbhhrvzfkjl2hrrzhq3vr5gzan1r60-bash-interactive-5.2p37
  /nix/store/k0hhyz6qnj5065vpw15m4r7nbs0mn706-gnumake-4.4.1
  /nix/store/mfhg99b02r77lpcfc0jp2mwj4a22jb7r-lean-bin-tools
  /nix/store/47d0j0fc73kls344nvdxxrl7f4mkgrdw-lean-stage1
  /nix/store/8k59liyfbzfdwjrw0cdimflrdwk1fid4-leanc
  /nix/store/0cny4psv3zc399bd05hjsvvnjc0aynp5-leancpp
  /nix/store/w9vwhghynr63njdvyb0242dbnxql2rcq-libLake_shared-dynlib
  /nix/store/80l1sb3vcmrkcdd7ihlizkcnv19rq9fj-ncurses-6.5
  /nix/store/9vfyvsgfiwhqm12pq1a904w10457imn8-nix-shell
  /nix/store/j8rf4yi0w2w2n4mp01cz7b6xmykcqm30-readline-8.2p13