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 `-$d / HOL-Mirabelle-ex:threads=2elapsed=6.678cpu=0.036gc=0.000factor=0.017zXZ - HOL-Mirabelle-exF! Q::file=~~/src/HOL/Mirabelle/ex/Ex.thyoffset=31name=MLelapsed=6.672ņ# jR:}YZ7zXZִF! " ]ŗXi%37U m`w;Q 0ժKψs,)?qt!=@cy8 -oŻ˻ݝ4Tݓb(1f,̤':Ժ4 yBDY#'j`2l_6[U>2Zx&oM KBe;5pߘ \%q,lo` ˳~fv4r׀m,bnd3 :Ո#I! F{Rh-=5'8/'I#A;䓨7xF2o7V&.CF~"8JGh\1b𣣂ӳ}jCֽ-9^8 }jItN9+%-m@Xw zpg`{ĦK~Ϩആnl=*oZz}W>8(+JgHCǚ"%D"ΜgYZa78bb1a2d8018a625682c6a5e0249c3cd0b31533 d76d9b41b0cf327b21247582ee9d98d63602bf7ed38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5 be0585f848163f837db4f19899ea9e14732f1b0b