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 ==8,4l ]]Word_Lib:threads=2elapsed=74.845cpu=144.912gc=4.452factor=1.947zXZִF! ]ŗXf1-q恈͐7ӺV 6 hD;V& _w k /3n^]u2?fcs¯[1{%TLGvƓn!Z^Wi@} n%#.^}37P:+/ڢZΊ >B\n3 Zȅ}2132SKso!AW"S1H]c)z3gJLODD}A4呓\DI8k="Lo>809YpE $vPZ!Ȯmbɠ}o{5l(x {q Np1QKm8h% 3l0H=S]eWNp~ޭtmvED#%V*Z]˔)^Qv z^>CB?NؿgYZ7zXZִF! sT]ŗXiɟϨ:}(lZnFp(kWcb[֥])}X:cPpQ x[ᇖL5Iݕ:Xp %"\S_SLjѡj\uL=2θVY ZΎaIBf@>5g(s hX {.jU{8E0) ohWFS'um"fΒ,]yYv~Gd7j{{U >ڕSVh-tEt]qc'Wl gYZ7zXZִF! w]ŗXi%>g-3Nfd\jyٕɸx Y~}]XD| vU=9Tt^S=RJe]4WGk>vֲ7uM}ed}ߠJ"??WM5/R o=J8w~^\Ǧm;WxIk +t{GJl,Ȓa7 _T, q$H,C536&o_WA )*e,Iw:mnHcu ($e[ȼVȢ߳,06,ŒF`PF+xVSۢ)8Z 6Qc>ٌ. Ld3ډ$'댘/W,x >۴ HQ(N$N x N}nK}z'*Jt8?b>   Word_Lib   1\eXX" Y>F%k/&kjS3 6=VEaxho$5O;WkVfg;9[DE+XS, !OI$qѫ &^t[qgV-ķeԇUSh ӼsΡ𦕱~0+﷑Uq0M[ܸ%31/G7n<u3`=c].GFwR2MRY3=MwJ@̒GX8GMcviwx``\~^Mj@u52)¸ev(4Y&`6fnK! )Q5o /+^2֬Xh>Ky?!3pV݄99P6 {19w#TCGd0!䑢/bqrDKh9T%vjTJ@sv 1 1Nl%0A~xHz>dі+u'g"c!V"*uB&(˟Qb)@@kvK:Z WrlmKgs$9˙˼CLS[ x%WgҚ@ ýƧδT!e1uM̅8HgWӎ&jqmvVr`\o)Fm-ݮjd6N>EK5i\6#Cdg`/wȳ!]̈ځDDa&ѽ6J@ XNr,H)~7HNo-L/Pc5i.zT_YUӹ;:ڧg[aN-h{|m4pۇ/$up}Pl 8+!c**B<)nh9> ib2;t .R7t|U%bMIQR_?U]:oq%9Bd4KWv}`4cګfX:Za{d_17nEω x6ռTZ$OGG/3${ >D*~X4O1eM*~n.% __4.*|].lO1n(tA{.ֆtR=i)9L~ 8xm;&g &Eae"ȍVN1~xH,W_N`.|H̓SC!KW֋)şiJWsyK2Y 怞8~e 7}Qކ*cLRď4|]8!2:BP{K]_p;=]W/,lj&^dg}272b6ux u.UJQ>_s~se !%"2IWF 㳰JXwGY+]ލzV $qŽ(Jd"OyD$.=țva|(0iŞMIέ#A^*Йe)oe4Ӌg }ՁgdǼO}W(9Ҽ!(0fT)Zbh(JzFxӾ |&s{"z7k@V갿B?]7T`ĦfDäJa~_ƪɽ0Nf̝q\wV0CEK㰳Y''Zvnë#>"]ר!Qa p] JEy`t)0~Mp6s^@oT|܅~h0-EaS\N Ϊiʻ1ԑD/xA 6iTߛ*-6zR"@[TuDQٯB-GN)bdY;DOXU3I߿ O'(Z纊px,vb; Q"(N@ I/39-^o9•LgS)]7{9*iŝ#dUT^pWmbĜ'-|P30I"S>1xmʔ׽|u^1<6>& ~_Lk7\Np!L.nlAFs_BCu5z_BE mk0U`Pf=˻'aDsG]}m^B[]-%Ϯ6{?וԩVhXJ? /BR& bP*e(UUo,PE(k%7܂v&Q4)ُ#tJ=)"w(< q8!D]h^@~jZ0#hq8)`!8-S[2Td@*|V{h~OlQW ^Ga޿N*J2qQ"H3vvZ#j8{j,W_2 ~'U[k&qȜ 6l-.~Q(uj@_{$wvp> g(?vLKcY٠ikmyaa?m4󡢘T&)Gې:+CK|Ezb^L5akW1MGwcQ5q^}<{xg2ZMhRiٴR-cW7MNt;m 6K+rj-&/50