SQLite format 3@ .0:  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 :!<|d ] Splay_Tree:threads=4elapsed=76.760cpu=120.152gc=1.320factor=1.577zXZִF! 5]ŗXf[&R=P"ՙxzВ/se싡Rc1IөTEuG"byv)Y_ Iw‰vd72+W:]xC?̦ Or7*veʣvMR?+'Z P^W̜;B.|41օRk `2jJc,[  ! Splay_Tree  04Qr{hهqJimBjhoEƮn#hֽ%?rZ&$>KM(>U-Pq^cQuѷks-u z vǜx^I͇T9U!+zƈ,~M*.dc^Q=ƚǡFHܩZϭgMzl̘Q2Q WгVFը෵۬T<@c+ Z#<($eU &:DhBySgY|Uk eh巋,b y[fN3y 4>@Z{HHRiRُ5*H~Ͱ 18mT0źu_2>)O#UXg%GX{ ^HTRS҂&ر4P[8DS,;u%CУ֋lg<)i[nk;7qm<*V( Ѓ!IeXsـ%X[pFQyEsJ#.eYp82+ Pf8mSpgd:ȝ<~RMGѹ"NFuA<U 8QʾTn8ީגln\uMj{2u9H .+>#ٷo{e3 lė/#DFU1^ MǍ.^&(Dd d?il (jǨ3zne@5F<}ρ Q.I/L"z43NH&n(1ӲW²L2&XWk^§ֶn%: Az rԸgL\^&Kw_}F='P.GuOy$ +6 #(a%`yIhZEn^}L BR$o"QZ1,5^ 0cJuXWOg:7_cRMDS(XJzV6J&|v"s"`ޔ} )j|*0&^DUJGCn( .(U.0׋X($oD-gʲ즗&AG+񐤲xajTUႚ\i@K(g5}ԣpmSo}4`/N(9(yuuPͶ5Q$)K4|D|ajIxc!Dj0eؗPJ'Cō?kChi)sϠpA?8B=bYq9#Re_ݜgQ/Sj~Es}䗓hJgt2 Tr.NX~JkʳC NՅWy(v.ZLލ(v-F{&΁ u51㇐nfo7ج[XL.KQk??&c~K%%3ۧTF ŝ+g+c/j/GV)9d|,.ٝWH{q+:I_U8f!ufڟ&;3YsV) 1򫨣K#0/ʉun^U8$CumP 2j7}f] `Nhv'@옭-kbG$eH(G< B!U-Cę%8Bof}b% }<ZAK_+$"u1>>e JX^61Н7(. xҪ'|iRoUC!N,߁cl2yi`506hX)炬/JNJnSc K3w~Kqut|-%rnwMH'-_d^mQwRK: 8 FωCƂ{:T+دЁ;-斋l0cޖ^`7%G(׋5mk|t8i=!2=X07}@aTyJ>F1j B!^oi.?Wt^tݢݾ(|phSn#BtyyJF{T'ϑ=VF]RoU2zUZ:[iΌG}[i:P%-Ux:9%8|L h?x+_bW\f$,a@%݌;M&2N# oo1Ws=8j$Xز.29nѯH?ts6炉G|4-9f^koD\$׆xuP(g\rEE1V<ŏ8BP%2odI0 ̬#Z w;skΫY7B\Nѡgm(\54oƦr~!h_nCD >D&x3ȾaLDO"v>p[i$aqehDxjgAH]~0] S(CBޕocǭZn)ٗl AK>=@X~*cH_ "b\=ɱhC$VYF?b?E%/1 NP.P%,M@.it8(/ ^36<,lDjNv<+`w8ʁuXȫ;4`#=O?>׫Ĵ2䖉>YAg򦀔aSeOzNU\3ϙuŻФ,7>:T[$hTK9XmT"v`cj`/˞Q0t^ ]jcFr.rxDOD1c HP@~?zn_B z.ܵs(1d)GPsVe31*EI}*=(57WoS7[=;@zc0#p~X es=H^)IYm%DƱzA$-dO$-m=+Q,h՞^GQ`7-l:NNlLJ$ ٪'xBBSvZh&]i2 k]Alu9oR~Ix+#Zا > \<*Cn eQ@$г5mߪYWJuA#f끭L!Lp`I Ef>VoF<89~WHAs)L=ƵpKCtI*&󕡘uOacX6Ylk?F[diNeT N&[Ә(JX ̞S1t|'*0O!$6J/qFc%5z)0txD$YE#dmR9}4*zW?H@R$cAqķWw\1"wvDϾlHU!Fj@ 6DU`* #l(!shr(inD,c{ ETu>ͩԞqLt7%9C9$Jș0>w1}j]sVaїfq6{w;Nw7W ?)oL_-a.xrY'Cf*i'w/qH/ ,Wj=a`w?^OS+.ŅLkX=]¹Sbnb sdӚ2