SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 aa/ ,WߘޜA _) gD+s_L59sT΀_GTb"6$"y܆U}V坠~XvQ(H1,T?{Dǐza M#hnY?*H1X6:ړlod*;vYs%gYZ7zXZִF! ]ŗXiɟ饜وYFh8ꋊg6ɰP85|16c/yCGgjrIBRr&]TdF?)G#r @P?bF~ |(OW8O+̎#$ғX[b3cױEz󶴀E_Q7w0[^39 !-UJJ goZλnpaD!fF$fq#lRyMyw͡2qFsB+lɋOpNh"ިgYZ7zXZִF! 0]ŗXi%>t}|<Ơ 1">77Nb&ԭM Xha RCi7+$%^N\#U)AbD6e."w|"ޮ(nV99*Mk4_a%8r2Ai .*sz"g /{1Yjajf"o9J.tApEkF·+"z'5q34 ߻ލ|.j 0P>#0 KdZHOeLZ9a΀|nORzŖK#v^`qeF*cl:z-|B?Sy*Ac;Yc_6BksJTJC*Stg_@kc7B[uo[Pg|dHWP c+EK jUa ]sͥ=zP-G!o,>BP_TH3 CrGn HZO?IU0#2]ZQA/Կ%awgkjg.;/bqQ0AǫS96ϙ 8`dvՖw0AtQ_”n{Rkˑ>-Hkf9Fdz:?!LR)bz>~*'(?EeS֦G o6,X~c~^ ? C%*b-j熆e*l۪TO:G4H#X6FXi2@4&' xg6!%Fo= b!->)N_