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 44A?4 | ]]HOL-Computational_Algebra:threads=2elapsed=74.504cpu=132.512gc=5.212factor=1.787zXZִF! 1]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(ANOĤ{ty6V~,i0܃۪2"|w!4xK&.b<^bt1VGLv3}A@2_J"lpg%}y-e`$W)5ɦ bNH yaj9Nig1woW6oɽS#onQ\ɯ(ɂ'iSNqYk/밦%&ΏZ4b!ksBu)De('قi\\cy1ׄol/W$?^"8 lS>DgL!@=q{p_Mk4{$ۡ7+Fܣw`A)L(ӫKҲ]3~1>>bwYA2pm}PKY ^n2jHVl .2)lQ ~x-fTrNޯ1H/ΖR&ШoAB{**">:~5F?#;psᚼE%Cx{bL>%Qs=Tw`CpV|IQ~N6h.Srj87//>(}m2 ~h?eZ^9_3\w~ ~Mp5 ׺7tCK엩g0_#G/Z53N@1%Y\ /8YQLHMԱLЧwpp!(` uc:-SucsX3l6B΁x|;-6anv Q)Ů=_R,#m;8r*l +^kMcf4aƘ!ls{ل?Zy zxxQ7yyp*Ql R^}sgN@rXbu 'x+'\aJɋzYŘFIGȌ.`~KHurp) 2{,Cbߝn*+r4 ﯪҵ,*Z[!l`C S'FL:CMmGat_DワIhodyꮽ+&o5!?\X8 2#J`;:~6Ic A9jn_EF1a`D75$7^[67xNQ}DZD⣠9!:Ig0޾M wc2qDLz Qȫ~55ݻQo?JDԅ&c= Ѝo.4||03ݦ?t+6Y%$J˩CßM #44*z`Ϝ%!ʧ"y }*G̙yoJ(.іkV@I5 EQM8J |$);&ζsoAkdžd|}^V{?x3Pf*ڼy'L?"8fiս޼K`ĵM 6oE<µƖ0%csg<5"?(ʝ4HsO(S(r(m7!7=ޯQSp?Zn vBBgoc(^QYLنopѨݧ$/ѠS5lQj4/d4|{6 1ӥUu, rF?(ǰ`$eYka[)ζ#D' rBQ._ ^2r\Z%(&ŦKbc"&2^XRP؊e_ߩ*~f~hsj͡= 3Ul -`ٿ~7(P_@M,Xv#D=& CF2;)r3eT[7=eg*Y7HgjO{y$_OWv <~N,iM6FNNTСc`hAf]G-֘`?:4BCxOj[xf0U0CKrZ#P~3ϠV/ fKa^G vSبf=bhRgS.,HQ*p3v#s;7[B԰m4QF"i@mnaOq4㙑iQ{O.K683"?3==PCKP8n6S?~",d(׌޽[#qwWHmKXy8O_{nϬѢr'aҴ u}lGRA@o){Ķ.KmO&Wc\oO%_s^ ~RҪk'A_i'[> _pom'q/.:Xup5`"bjw ,0M 8zڭ)))P$^;+Pа#)*@qhuDTR3vWZ쿱FO7mI)|qG}JrOU,Z-;`J,x!'3zc[뻋2ǀ@% Rm*j&.^Ed#c-!uc55Xco#ŝ} QQLd-w2C_ȀˉXl2?vPI~ӍW6>@Pc3gwRlMWĶU3!s 'We^UIҳY@ ] sPzÃElt8&#,iQ {;0!/dfD} Da5糂}~@ٿo>ju~.^ x<¥+!}p~4 2ݰ a8VP˦..VӋݬKpx|R+CeO_*KP hXɋ!D qLIa@Ui02T>`gt[]tzbUnkW,EsOV̍ 7Զb8"C_0=S}d?6yV Rt:#F>> ׽L0ld4#[% _aװ5Ұ6Mʕ@\ӰA&QQE-dA9-nDe&G@S. S׹bP f6";i29XM ˾PF )Q>;Gż -Ңi b}E73@jfJ5{?% Qof(+ ?2]y n;MT68.Itkyչ{3MnL|5~\?۶:,(g{/tt|ˮ?3JHCT<ɇ"ay gYZ8b3b28cc1cd637aaf9af2a5b260605d73eec71f302c004c6c9aafa82f15da682e96a689a5860ebc7 eaef017979241d0dca2626b9e34da89976cc0785 d5af628330df81ec4ba77291b4eecc5004486b6efcca1888fb12d6a6fe01feefa1b7913aa87a7901