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 m?l$ ]]HOL-Computational_Algebra:threads=2elapsed=69.173cpu=122.592gc=6.108factor=1.777zXZִF! 3X/]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(DRQQO'բ>کvFB^{Д{Ag=Z (||J+&"c#$w/Fy|pإZ{)?>XɅ>-}iBX=?V6ұAIv|[;p:f_AG!T:~횜٣gv۞I2_o22Ҡ B vLMg)6>e*;)>{QE}( {-]Rqޡ0Ʃ βuM̨ Ԓw5D$ڵN2$QEi%v=Gmg+V<^(9e 6+}b#PƤ^?d,Ɵ(Ym8߆.N8̦syگ4Mb@DwۭؗL{si=UҨS @iS%q xD7Ҫ2pL>l@zm&OБĚYdS jJgLa‹e d*ݼuMHTp=? ՚r:S)p40C_Z.QF*E(2S+JKPh^f59}iD"p.c(۔Jkr]32ƺlYei:f9hV:KmƇxnk[Y)*l>lw ;M)՞z8 Uz` 2<>42]N}j855nG6VV[l8dKJ=ް]8?]V1u*=iW^ g2R:zQc5X%U` ? HOL-Computational_Algebra  >WђL/8ܑ"cL\j UGgYZ7zXZִF! :G]ŗXi%;{ՠ%yW$G{*›qqF4I]jJQ<$c_=x-v^VoGW EsrwPL72{W F+&N(4򃊌v UwObGS&M]nR6緣R6ƌ 6NqN!t34^@őJޭ( [k4{=/(vdR4wP+ѰO' =t遄gyщf;i;pp\wlbٵT/;i)uwr' *:* ɳ΍cG< o15F@S`6FuIs89hxJ &sAELT\&jhh'ڋ ~V,K彾nLjGΚX%4d+6PX~kTZ# I\f2Z yͰyC332=c q4 n{Im\K1}8dTeZas ێ))JOf#H9eL:)hI{eHBoiSc /Ӓ\K|e |1Km3M ̢&,X)s+WED;iI8?mu:2^E]0f\SkHL^!fL+~NAQ/2uv+!$-K2MɎ ͏o:@r-(wu3Z |#Tc^"cٔңELCnBk[g̴Rl]>4AoQ<`}@ktR'Jy9 ՊRrU$R!zxg'LEZ5ҧa&zlDhE྇ԇGHeLX#ؑA7xX]Ÿɦ}ֲvU|NCv@!&JԇC IȒzƀHTlsXpdiHvcR]nVĠ K" e;B̓8|lhAt2WCKH'nժT!@u#|ϱZh*ZM$I'噂ɴ# val(q4e9Z\;xP:bc<БKvzUt|u߭8]{t'M!T늴 8r"qBr .<2tvR9 2X:ɟ!ywEJa^T[~M@dT!  U#_[?Ҵ7B^4b%6c݈_Y"G!z9.`eķF<A XO#ŶOw%{OSl!$$2?uZ'!6p@9`yWRzxlȶp,R,ϕ-1UEqO ڈGo %WVa)=(F`^6Ŝ2O]h [.;BmƆzXP_~\#SX{u09Tp930vnZp P2]'\dywrFiL3S[n{ǹ(+pSܳ#Z pFe@S+P߂8^WgTG @%0>$F TWLu%UUTv!luSJڮ,Qߴ?[Kc1joLb񐾛J;E3=X>5GUC jOwCO%4](@΍!/)S! 7 fp<ƯzS#7 ^4 Cn'̹TEWQ`d)mjWőE T' Ы/xFwX>vaq3_Iê`hv̆riV(|Pg@)]2~a'k#gh,x ZƗmt~X[n.rʅ΁ g@wQې tO?S&nOH&§vk0&G u=~T@Jr 5 KΞ:UO0m+3`_*ad^: . }6y/14?t <,DXa?7)gps><>C͏kʄ&C/nA'/;NdoouasfD$X7:r>@ʗ Q<BwF>} dZ^ݬ{Zt~G5dڅ C`ƲGmVWu01.\R*Y{ ś~2j 2#)KL9bX^ -x yE}ɦ ¹M"ⶣ02 ӅQ2h $ů| kv9LH֔<dcx5CӅ'|m\w^qgfA:XW]4Vњ9]T=b=oNZ[=xWu HR=7Q