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 $$Y/ 4$$ ]S Old_Datatype_Show:threads=4elapsed=10.434cpu=12.644gc=0.364factor=1.217zXZִF! ]ŗXf[&QͫnaʵP$xE@E={Y@/kwOpx"I8L*AXhPaϥzc`+w8]%ԊQ,ӈ)[6J hlL VwH}H15`$/(r)ewkMLwWT >L}SY)A_S#wMߌpD|iimgYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLx(?֞.WGxUb-!q+ ȿ(QyY 9'+!"Ȑ*6ctqDgq6U_ʭK V#O {4WÜ}FgYZ7zXZִF! <]ŗXi%I.J&zd_hpďڦvL{w抐(j.m  wJ̾fPUs 1 1(ބy^/q9[FawJd\ii$ ):HE-0ϫBp,V\0W&t m?X8bSM엒~>D{6܋ d?Bӛ,'9,jdz nPX &7edmq~Ns3O[QR LBSp@~Pr,Fږ!$ѻWw-YLs.eVhIU2ܼ9l\;C~ ͳ`o`L;7$F[NU* `{+PxLjs:y5UNhT"akN[0z0W4O=܌o;%'&?; /N(%dlxG$#hO#uZiO-?&f@nQ,{ @N,gxMOz?Hۅ"H;*u8r-4um%1}Yx!©Xc0%yVӫqC`!-2ORpA~ Y:%)r|7#W}AY?’)&lBͦs1XBU~ W?|0=cuԾݎѴШ|@u궪aBF܍:/pзn]EnnTOn&x0R c.P|)6- i~Q{56Ԥ Kl(Fcg5-w3]wf>A