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  -$ , ] HOL-Mirabelle-ex:threads=2elapsed=5.756cpu=0.032gc=0.000factor=0.017zXZִF! Q::file=~~/src/HOL/Mirabelle/ex/Ex.thyoffset=31name=MLelapsed=5.751H5fjR:}YZ7zXZִF! G::name=HOL-Mirabelle-ex.Exelapsed=5.754cpu=0.032gc=0.000Q#j)tR_4{wy6hwC 8K5{ ZsXT {4֨1!Lb1hIXlbMkՏs/V4d;;i92[&3v&`(M5) &a6\O~3y>"xHN)”SF'dl:_w/ т&\/5^b58џ,~b+=2Muz>'2If3Fݲy]Kߊ;ee7(Gt^; gYZfa52525f5a9201a72d078baf797936b7fce29337f24b23d736d58b1fe016b056b4dfd4a4dd6aaa09 ccc1058afc7081b1aba3b6c9fc5c481fbc1fb4bf 83c85ba9d133ff354b2a971a5a7667baef8ea330 - HOL-Mirabelle-ex