SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info MM0-$ / HOL-Mirabelle-ex:threads=2elapsed=6.003cpu=0.028gc=0.000factor=0.007zXZִF! Q::file=~~/src/HOL/Mirabelle/ex/Ex.thyoffset=31name=MLelapsed=5.998&TjR:}YZ7zXZִF! ]ŗXi%JuK (׈ hCTj3׏+/o7f;vU62\Ft]E\4e)m`#F/xd$:r${o`"e'M1I_ `h8߲VT#刲M]Ϭ^ -\o̼o3%(۬y盀'LԿKBgOX "]Ɇy=v bԌ_~s"ЛI[9q1NZ{Ex= p]kG\ҟdifu@Nl5cyi*Ub 4wUM/a+~mgdBvȀt+^8:^#8G;虼>@oruCzu216_`; HgYZ8f7a6c237e30308183f8de10800a3ffc2efed788 a78bb1a2d8018a625682c6a5e0249c3cd0b3153330107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76 ccb939e2e42340d55275025b6e8b34049191bb61 - HOL-Mirabelle-ex