SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ww IRXB,kcX[S@DrP[qjECC gYZ7zXZִF! 2I]ŗXi%Bx87R9A">ff@ P;HDC'PhB9#-m| _9ި#lDPpǿ L^pHy# 6yqK/B:_ؤXzl}/H:Y0$=+2o ˹rÿvJxumR2ɻ yYEwiك^OPS跟`{I\wm'{f7)Q\aڠCKkX}J߱2m>Lf6)63~s^#OG%e-PkU/[d6qT-R%ڹeX>X6!M(U8,8!5CQtF~^<6I| U^ь(ꭈN^zфzHn6RݻCu\ gP"m؍U, l.^g , m`X0LBw$vAk"2@g^)R)mj6l Iڌ(3-s2AEbTZ0n{H,v׏wnNÿ ! {5 CXl+|F2o\ ]Be06`2_/ʇtymk,ݬX6̷NP8Oѝo͏vsZ wSlsF9#TvC!GDW҉H:lIrp3G|7"v+B!*} X MdM%oD,:π2(oIʫ tC-8e1xR%[eQ k.09U5(g(J!zF[r/~$y0W M$Z_k5j6q6i:qŻ?#;3rO T^fOr'Kot0ox64sg례>Hp3{ҺD:) E}{NmYp݄ 85E(U̎GFK,= ' em(؀fPP5s&vmwǦ