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 K- H, n(G|@jw`kQ4\xK %F{VI|w%K G)!1.cj@Q=ZZ=w=)#X ^xfՙ@ vuSD4& pa[AkظO5+h9UPMawͼbRZ-s4=oA ˜!"6,+ݯeswBkV;abb$ sw3 sDAV #zo[gE;c%!' tgwWIcK^"V$54oCJ4Di~,Zh<]S bjQX>3֐ۭ^l%?G]WاCp?M"_d;JRuHZVgYS![ ,EK^a=̏{'G~2&s*{I`ω772r!+䃣a}Z삠t~$*3 pъ ]e}Y~-hRiւuTEJөz$C} J|-%W d} |kyUZAv砛%s陂@kKQ{xsSh'_EZ(WV$(pQWP[C}]GUZ-QgYZ7zXZִF! H]ŗXiɟ1$߆tI)|yu|fxx\`!M=]Ki Yǃwm8Z7s\F/f6( A=0ż1s2b/n/LV_<>s J>9*ld :Ǫ%1ޗG+׈?7 C^fd=(>,gYZ7zXZִF! e]ŗXi%@Zq.Ҧ3"F:"HW8hVQ?[\4XLJh Bj[ /gV^{{Z ž-1(NE4فL lc@]WW|(U_$^7YX׾X_CyU<ڢgpuT+О-_8sR53Byy9-(=u-ΣP|&>d8FW8GGAwZ02_kmhXO[,Qp Ԫ {m|bÅ#ކmMЩ\\ X1xU}4ܪAr׏۸I^)w4zS;Z!Bb#6Id9$ŷ^Hh (n$=cecMgU[.Bh1:JNm~^8SAnĺtPoCrWWչч~`z׺ąB W2[%iaxR!e!Ehs@`BGO2P{R*WFؗnCި6N3i؝T r]6dQ[:/m0 1)q5r =̯ē@>W7zLpP72FZj#rČ5jG T> 16xK/ڏɮNbxdX/ˁK r*m# p;e/opaMA-S#5c*ՙOl;0lvsmX]qd8JE >`2Tjvà}q|~Xwo`:zlhV/Di,o;Wq'R8,B }ڨU>Bi38-"@N)M*"|X*+%Q;^X|vҧN}FIBy *5 E/\}i =ԷlN:Jg oƄg*Y*.dTRgU {[Ut:mzJd{3J] oasm(S֨gX^HV?)A|RKн\>G;UvwD^ǃ0 t ސP/f tB*[./e[|r.edE8uuVA:bTYz$QϷ24ZOO%cM˫L[dQFN;`8*( d|Hӟ̚K?O)=vΚ8͛=S$eR|?l宐P>N+wT3;EDu hRqP.=HHmʰJReԩ|!2kujڌR캀."Є(n\`$MϾ 8fm2Ükw&+&$-o@Ŭtb WmP&cЌg u']R/3VvTאd|Wͼg9.viΉR%z