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 } L|d ]/]HOL-Word:threads=6elapsed=8.594cpu=38.456gc=1.460factor=4.477zXZִF! K`]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z efO425j !2G^8vf o9U(ۊ?x`2j )s+/(e>V:SD_mk#čZc IW[ٵ~)e3A߁nb\UZ3;zHĥ!Yض 02c4QÀgGIw 缌X|2n ^Rg}F 9^ep8&?-{Ȍz8 E_z(BhZt^`2} DXLF*'G%ת،y!C ȫP=='MU3{+ d/6u# n=ʊc\*.%Y8Cgff.Qukَ5,ߣPlߌ:Αr9G`U(~b#RQ ,p\hN^{|_߬qTBu}) 1'ԧ0ijw {,mQuJ"~+V !SPgYZ7zXZִF! w]ŗXiɟ1}?қѱfدyQ2$2|B.A,?p4YW(QxЩjaJZ$Nu.VŇf*b8L!+T=#/tHhm( ]`~IƆt_:V v BNSّl\pH9*kdOoRej-cj^+^Q &h0Aleȱ6dj4?Ϯ4:9ӯgtɈtȪ9mT^lgJȋl`_1*kIFLR³'댎RQHy;|qwB5:&&D0%giL) ۳gYZ7zXZִF! *~]ŗXi%6`@QĤu˪Wl,yo [GoNQD=0HW-^g_N, הt3/@ SbrĈV[ Ptx*0AF5"pU ut)3@PDFg~K7Fli)}ػn,ϐa (nD'Sp?q_ð="wC'{0W%8Vz[OЮ}q4Ļ&MTHm.C&AQjw څE>ƙ0YJCX&Ή?u&5aV`cbb[P; !:%q3EO?GC"%hb yg!iyn\5yA7+Ō/s3-~0e lHv< J_Mq'a%^XO`dߖQ$I&FPT#o~=۫^wc