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  x) LL| ]/]Stone_Algebras:threads=2elapsed=53.716cpu=90.184gc=3.724factor=1.687zXZִF! >]]]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTūM0mrǓmVB /`YY:é`p?mfʍ*-MHi@[=12 ׯ E \KgǁβOC'4Fz! %LEGJ8D{k.=#zh2 d֨`mT+ \Ɠ/XlT-Č,sQnc+`xlYX=̫ttDaX\M1ɹ\=+Ǎ"qdzc(cV5Ҡ?Q<!B` H,y|;xlݟt3}S[LET.\Ta:HjzI2+P\ݦ,`WSI!T~'h~h2<<wKeӲGK'NB_RcdF942Bsև߸ӹF{[}9?鑨RVo%091C^3GK`<*p'ؙy(h% pz^OnB-X@^ʧN2`X~sT/T(vUL4e~D‹LD?=O {䌩j&rXai'E DZOh.dk [r.€h3^=GaȟkZ#]]p&w\ "`їWd"~.>)},Vj%;8^~H`wle<&y@/r-ޅ6a~fb@1{_YΈ՜[E1J[&HLg1ǸT6Ee5V5.A)Sρb|mg zȄ\4\Uw1J%;Fhd,ؑUb $_Xx/krlͻ3 ) Stone_Algebras  ].*4B~T[cjB qc2FF&t_MW CCu4qK"+a?=W]H`A!]_3}:a$2~m7F@@2//Lrӄ]7KTJ2NKqeW  u^5Ҫ`2=u4/ IM)7 |3 gYZ7zXZִF! D]ŗXiɟ34Zgz0M>/;&E[Jg,%T 2˗u[1X@˕hɋ*a`kµsd ylp$ 4q’ .!Kh"ƴ!Y ⅲ1~sb(tﮰKV?)&pHRfZ74"z85J[xZLEcڰ2] }}CE|<P#}^ʴ*m5 n9H.@N<dzGB~)Ű\߻bdItG򒹪^LT eAwNh3,3s_1{(%#` SXt ٨3,N̈7NlÃ␛+x)9GW/< ,L܆~WHoj ̩! i( nV]-Uݹ!MK RD_[*ر2H{Hƀ]GOD/ɳ'w"IOuXp$4D®W3ȡ@cz'N(&P.qH!_7+YXYrDVBx9}^IvU\Q!^^6wSR>NMoh D:xN׭$& n$&eG\`6KsuJqGUI:Eg"r?I0-X.V +kRH}eK;{klo}W4"fЭ/p@=Tq| 7w}N#lhʅ}w * P [eHuy ;XlHlM..KFJӣ7'?I2-{Zw忔U0rIßP% ATB,AG tjMy ؍ /3ݼi5ȝ7MMvo6N,F(bv9PWyܪ@P<'YR^/V96|{=+=z -u= C6ohxQ(}qȠv"P*P$}(HSĴ'L7lUФUc"]ơQg5m2'tl+KK|j?O G%Yw(IӸ/M` t?X5O r vk7Mt^%L:oRдF1um${^p[j}lMDi\S,[Ȧ# ×P24 _\9KWDFepĸ[npkJva &sX !ZZۃDAo=MG Xޛ)q{zu5w4Lw 9H=͡P=XHjNxvN7(}{?D- ASt_s@R\\lZ2~/ `: (˿'Љ;- QCS^Xg[XY @}^Ϩn/j3mMZ>LjCI΀_Vߝπq@`p/ŹPM[|NbZ+o HTer/(/6'M+ Sgh\>D~*bAk^aR,mŌ w1teXi-T[WM> fuΟWsVac fNjCAd`Fi4x[PP0uC՞'\V-Ni%-tHIxǢHE/ _yMaS?Qfդc &e'6r}5 ӱ8rŹӃ@V3P`#kHR;_ ;Ķ? 6uK51%N[-_&R8~#^ZMt R7n8>nw@K9G+P /<>2p ivqČR~z%Zbd(2s*$&Uzc.|U67[=}AY+MCȍb,j!w2>ɡeg7~?To+4sqMIP"55$=2EBX vd\62 V$7v[!"v{-w^fڮ.$o(ޚ6:R*MK`˯+$e7*Cwˏ,˴#a #z^TJC)Bf