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  E?14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(C^<1 ;~5P\3~*G߬ (\$i 1-/pR^eawyB:r6oGmomL- ЈeU~-Z%rKeINI yJ磺]mj>5^oA'7뻑0/Kt[!hm2:ss,*4]?dL6d45Iv@q!nг/ttl(,ϊ53?2ITGAt:"J`;6b1_thx}%>2?fHc=8.ȟus  !+g=LWp67>.he¹mcW!g&;i J,8&$Q}&Zd jr|)swӖ"bP=&0HRd[TݴÕN[DWIo?g *eRs =`q':D"i9lz]>? 8FU xvk&ٙ}F@ze l{ kn(k&/CfIE}ԦjjUd\h4֘r֟@ *KP.2TgT,TF* e/'x& ғ}, ;(VtFc6KУLuR=mCaECiOM7x gٱgYZ7zXZִF! ]ŗXiɟ1ݿ-qPosyҶ2$7ziDxZRM.WZ&` #ĀWE^8G0|g"*OlRxM7۹a H tgYZ7zXZִF! ( m]ŗXi%> |ʛZIL<;kՖtAsC1q[cN3f.:j/za͹&zc 7FxA6]P}"h,$+vX2.,'j_FЁWɖ %i HZŸ}{ NSua:dNmh6x(ɓ4W`,$;0vԺ}/3s ܍<,];cb!F+EFyf|h 4%pzB~xba̝Α1Q8+ t.9RAb X v!_$!F44WU1_:3Gȳ,be3+ q.V#oj*츇[BK[?OCЇqlyJpL9XL``3r| [+(陵tƃGeWذ*{!JqjV.2,+b?31iNʛ&؉QNfBv^5efܒ^5WQA55?{J%G3,_~G˨8Y綏Z0ncz뺔!MKd:b04ʽp6T,C4>`U2aŞe o}TGㆍEʳ> 8qeJK)51p 55y[ ]N?K5IM1-x9'6N/U<qU},]+R+qJbqvEi4RH*k*Š-+Z)4 *lq)+"Z7-޳LJ o IDѐKQuzK8U$&b`!$&C1`%A8K)e%ИH߁,d`yl m{ӓ_vZHWθЙM]6\tWWr0϶j9Jh5'{eܕb/ӷJ kɠ˶<5VV(GC7hu^^f]u" YX x۹JT~%mVub*i`I}k9QUXJi V#vO"-0?&Ĉ:l8i_%?P&`u@3S Lb RL,3ʾBZ}H̀An͛#A)iHIj[Pl)YX,? :^gT4: ݯuum3C\Q/3z_<,nb〘@.6ԝahʢmIo5voP ?/}#0c;sg_@Pκ>#k<njo\ ( ٿrPaqJbNDdZ*U cܐs_Ӷ~RS::yi{4.1N ኃ3KY'<=)ybF5BFo) +4K8J!:dG_]wwxy/CD $ d0R+Hɇ6xʅ)fN mݖ ǎ;%^Wx 1a!,Ձ e-ۍ?kܝ6~S uddqCeuC.y(qVc2q !, B}Ciߴ7;%RwCՑ|?lw-\z~ {{ϴ=꒝=M@'zLdLDvG+o̡I2L#a]宐3@7[mm,mIvN^Z¿6W K]jauӚ{ mᇷ< & <&)B`mm%H*[BSZ@vj'a4ZѰctW/ !ZFZ=(Ǻ{S4p)7UeiwHSJ.YbJ/6o)@cQx,Ks %?K6E43U籡7B$$t@d3 @  &{%jwyqMusoх*[</l J]hT[7F[X}KE|dc]l"7bWn!3#I$EC| }$ SґGB\ѿm0@4q$R_NiMa!3p\fpjW_̓h^Ji C;9