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 0- t\ ]S]Relation_Algebra:threads=4elapsed=27.116cpu=81.132gc=3.304factor=2.997zXZִF! #t]ŗXf[&&AINxOforZ>Q#P1?J0 ȗ-T 8U Mxڽ 1߇jŊljErBF'^9ww쪫>@1^p69/mq5$PGchȨ--4\׺jldٓ$=5"m%,~<EXOR>@FQ+TI\E8G6J$`Mgx Hm>RW>ʒj7E3'>p jO+낰tQ0ll c qF)!Ƅ.WԞm&:Ɩ FYmAs,%eY - Relation_Algebra  KpVgd>ME3!~h8=PKy$FRpVIca+ It4 Lyn~D\ET<%= \jn+oT  c-5R+vkIz!X%(4Efx ]5 |sO̯?e G:W;ZJ% 8SM=bg%TaG{Ҩˁr ihLjȋ7# p[qhL; {ZDen["0c51΅K(Eg9 f[Ovd V҅9 AjIqxU\݊ƕ& E_{@4-lś(r ,j4}m6b1WeJq<Ҧ Qb`*;S%4k/xzg~41s:Jhc|T1ht]ک)3;8[6XgYZ7zXZִF! B ]ŗXi%BxTVxCa ӳ-V.oPeXW? I-H >.wo<,:y:lfl0@x.O-%Oj;n6mlw˄_B,u> ;ۀ OgjX%S;Mߧe{#͠׽QB fh t,bhi eϊníaz2]t"}WCiIj+t Z`m:Ϭl}n(gy"ڢp=>o8E؜a>? Ww>qZP筣w^Ec4AlF胣tPw:+00Tl$j|/*6pp^Yέ K"flю#6A$2$M Fǰk4nW1d2CAWV~9,汤ڈw{N[[6Y3jξAscz:ZY]> %OOM@.56`W6\7)k6WAEsq׷'j*ئfL4/cFS=6'Å7!iu+Coroe 5XRZ/$,oQ>yv6p~3qN c_ЪKCvY*wFje.)C5N܂/@Qri)pKGo!YY-R?+Bbmę= Mk ::( xzj՛(dK'RSP\-bӃ},1)x<\-|XЃ,3(O9좭(uv<1Me`vIGSD6k<=Ndeof,T'Lo-䋕7&Nq͔x&RV9}d'qVFDi (0DmwvcaO&VXa_54¹* cpʑR,3"eXE(n{Pz +Ÿ+"G{aY +)t;[́њPI cGj80 r<:WU 1n+2h+SG U66~l[LjyEWxh@᫢@ɆMC/5˅-VRfpuZԂMb+D*TꋒUfVi=Gi)WljA5Gn V4iw oTIl[i{KGh+ pxNzhFT/#큺kZJ7i[%͜{?5eMʗxD+_ Q&nJ׈Z96<7w˻ܟ"+S{+;*y׾]=VnX4G:[,]9;.W,*gVQN x]N7OA'̠7 d1wiiRVֶ 4nѬQ=v]>$T3;G!ӀPmtJ v[l;eͳ'pTXa="?|;GUwWx8gӤHS%H+P7Z@L_xD֦Wr=SsOf-p ZM_Q6Pf}әcB((bFn{J|3~0J6d'9Ubc_lޘrB1kK+ CL?,u~Dw4n~ȰGu[هlAТ)6|B@~"h0fzXIb5$=6lc3_} lч XK4="@19_e~FsθAj͍&n^ߛ3 ҃,xN)Jn*5*N9_ԂlqE`Q>vMwivg@D":p[:*p*oz 1_