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 + lT ] HOL-Analysis-ex:threads=4elapsed=19.156cpu=56.564gc=0.756factor=2.957zXZִF! ]]ŗXf1-q恈a.WEߏcٮ^XS6".^iKI\" 9z#]J|g2 in< K|g-r/uh3K/XՙrT)9`4o5T"YT;F *ԎI5淕Ky89 =:vCu3od'f: Ml'{`]7V%vm m^z2orZnUO9$h NDLeqgK/5赅75fϜLJ-{LQ4ZBܖۑj p';_hږ6|{[iT$/>gYZ7zXZִF! p]ŗXiɟ1 xupU8Q C'=٬l2 6;+ =NGZ|Pt7{y.ZnӶhic6 a\PntC0z^5o<,0v4 -Jws`yg3=|p'%1+$LJ"ޘ#k?n8@5'q9ғ[鲢Iv#b#u5BP{ -G7d\<AsѺ=B"p~Ѣ%H0`ՍVzb"=M&qu"P^ `>d03Li L*7!pA.>R"ڶ&xzuIڞsev%Z}2QJ(#,K⮠A4kۗfOStQuwgy @:5NZ-,P>?9MJvle&ib؄kS߀V:|s$vD`O>~-QB]$mL[k0mS 62}T] 9K}{E7k#I`z!|4AUh`| |@Ƀ {q/ K;E$9H] K jJF0 -doS4O׆ϺYSBe1ﱶ:gEnnzf`f2( R~=vÇ(MP"'*0Q}mֶN%;*v1ʅ h"[55jNɲYq0G겦fpY7֣M)mSA 7"KwoM>+GF/WD`?̺`庑Orknm+ghPg=nP5[tPn&GXRH.4A Im}2z07&|yXTp9KF Z݅N p:=o46CkLQPve aX2a h)n #-8{΅x%2^,8mvN#7o$BCmP"xI?K-jј7 HpzySI0X17$IݏR{ ;e&22}TLLm|BmЁ\0q;(pУ>i)׷vZ2މ]hqVzlMGd|7.BLs$Mki^TMbw\#z =* Bώf!I: +H=b9h 0zbT>D2mf ײHT_G|S5 R/.ҏgJ7J2=)<cӈRnf#:σ`2S .INqp/H`Lӂ2r=6ѓn R>\LR%:2ADTZeYPEEj,.<4q5`F3 %%Sb=Wy- *6b* H Q ?peQ1Ka Ѓ1S>q\jhr:n%a :tg7(M>E!kނ{@_3 K0T2c=?@߶z= itCpՓ4  \E,gYZ7c4489744e707f26f6c0ca4e53a83987ef324ce4d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 8216edab7dd1042815b7493278d1dd8ece407a70 + HOL-Analysis-ex