SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   y-$ d ] HOL-Mirabelle-ex:threads=2elapsed=5.157cpu=0.028gc=0.000factor=0.017zXZִF! Q::file=~~/src/HOL/Mirabelle/ex/Ex.thyoffset=31name=MLelapsed=5.152<7[jR:}YZ7zXZִF! G::name=HOL-Mirabelle-ex.Exelapsed=5.155cpu=0.020gc=0.000q`H.|=}YZ7zXZִF! ]ŗXi%;g3POV2ewBx'KKpʗ&^aylr!(Oԋ3)92Bڕ9lP:R$f TatPntRZ-*WeFz tq2*-I dq0>>YO i>)VAt4=j:Č6 Hٿ5gT @@Ҩ^p[A><G_S,7 ˎ<ˠ//ú)kj3d"lxPՃI]DyaI4wLQǰ3n!+s5U#R-9a"!va c1MW')\By#/I{~ jB#dNGCfH% &RۊMʴ5\N^߭[ /: WVqB1 ?gYZ4df4fb3ed59e04a925ea22785a5384e5b73bb5567a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d c778faa6bf8be5df05c2dfef635e886ae01138d5 467e13a059a84e1600d8a135c853d76da44399f0 - HOL-Mirabelle-ex