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 KG >Kf_%2|r`R';gYZ7zXZִF! ]ŗXiɟXf'M,K8vA^;HЦP(< u0x!g&$ƉR(}lĶzfW E$sCs@BMbmB6դS ^v?]6"(KDU9L]zPgYZ7zXZִF! 9]ŗXi%;FZᆂZUNo5A\(Yki$ F !vDQ`GfC(,"b,Mbĉ V<DB|}aǼX56-3@zcb{~xc?Ɓ;aٱ t|lAʳ#2*"cvvTb$(=dޤa9AҠR V-"ynVE"eh X5}V8wu P|-}h {j)fXKcA3uD2z#oH,1Sʓ1&A)Kڜ3MI@Vifc) t**2\0R(4lZ3 ^&&KtZFT*ϰ7Cnȧ:3I}ޝ2C2ϗZ p8g=KqD2X\e ɇSP6[X=R&U~ 92SS;@ t]{`hF'ymmۧ_ ./ z$orw]K_gzJCh}#BDPD"QIU.w{<fKK5l(<!t.e?Hj]K%7I)RȐuQI"ŮL%