SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   r# 4 +/]HOL-Nominal:threads=6elapsed=6.122cpu=15.848gc=0.664factor=2.597zXZִF!  9]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`Sߡ E#*zsgxGnC~-*vi;אd7|ٝ\PH~,$z|Ex 3׿5`GTΠg藤Com-ylvlXKZ }9Dzsd0d A#DDqr6&q46QEV}6^c(X8 ح~=ʤU-v*XJȗ֩ՌurPꉅ!*#~gYZ7zXZִF! ]ŗXi%q٢|sa!t:g/'`aEAFnD.nrgt5\d 켢M`# {HvrjP0-nq'^;g)+_;gν0@CC jVL$<΂_a[ 7]}`@Er, BakPKDXGeSž!e!Fy=|(cLW7{)ܖUD\;* @fs)0OқSUt<\K]lt2eJ3p ![2ϔ[4 Ӛ2oNStZ7[Ļgƻ GgW/G7%m̠>32~K75H2b3  d# <_*"F\4gz͍O7ܥ65 eXhiJ_01ߋ&# ;NAȮvrs^AT2Fybaƃp["J&\ Vhg35K})uv|9^O +1Zןy3/ i`WV)ᤙa tOLL*sn35kƈ60Lzns \H+ajL[+t7t OB#sh=XfBRwILBu[= gYZ0b7be302db04bb48259acb49bf498330f9feee1d 0da2a0c779f73fa4d68ba73acc7c8256db9aa224 39c9c88bc368740335af63ee0f783764c50d575c 5117119a178eac69d137fb85243808da2d667eaf 66adce971d5ecdef0a49e4edbb5ee8d5b7dcfc4d 6adda71d7b17778aab6a1dfaa6291add1cdbee4c 7bb2894bf6b2b1879e224f67e577c429b34466a5 84d02217878a0ded53c9969d4cbefdb5baec3adc 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 abd154de58055607dcb6b8efcb621e40c5efe9f0 af3a0cc7c2e7a5792f1be06d056e20fb695e4477 b82d63ac48820c09a7c175c7d4a1dae8c95c6f7b c9a7834754ca020e75afb9d98e309c88e75bfb0a ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d75db1d9c8bcf6bbb6548235e3c7c906b36b92da f612bc828037d6b79efe4fbae9e84b91c46ca8568f98d941c64156fd2d9e6152d3e4f12596b9f2b9 5796b6f0260c25fc982b633ea7ba1678730cf514418312851e7227193e25478c3e1dc279e662a5fd # HOL-Nominal