SQLite format 3@ . BBh77otableisabelle_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 Y?,$ ]]HOL-Computational_Algebra:threads=2elapsed=67.056cpu=118.352gc=6.272factor=1.767zXZִF! 5tP]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(D㢰ߩ6Ww"|(O"#DqΥI"?3,}M~:983_cF&| fX5؝bs`H6I_P[&[œ,>md_vFT#qBZvaLݷC";B 8+ ;vm8D.@R lVj'-6g4 "("d6I׉:{!Y/[%[x:`ĮP4*޿nGH\US̫MUid\Ar&>M>Vp*I0}S>_'LǾi'Kv:)u\?&QbtYاocO%Ko aZ*(l#󩳺8Dd6Pd>p4*D߅c^]; .qd<@Gz<+k-V.>![+{g{ c?=U JFoy&.3fY\ ZV!#"TV΀$kݔ5$*ѵB).Pʪ[Y { .iJ&e:],)lcF2΀[ ]9S@Vk:1uDdx&03i1$ʚUg bN t0Qߊmֻ̍3'휇dr FKWkO;?vgl WS\yT8/ &!?hzI"*aiCƾ/No&Jk&V%)۫K^LՀy`hk[9E)Q1|5I u= ~T}RBTD͐SC埾Ԟl% 1G&u+,uw9 ID7D_#`ɲGsQ}L̤ zk}}hoIr?9xiMG pL5 z s j濛gYZ7zXZִF! ]ŗXiɟ1~w Nؙ^TMт>9IjaÏ2YNr3vSgAy Mv~\#kJr  bto0_>ldE?,5cHV8%txZ=P䵊(w+fokF 5U@a[gӵlqt󈐡S<{eGQPgøR2Wb0eT%  ? HOL-Computational_Algebra 0`$.g<kRvOOIɖVC=,q;|'yV;upE ]1RW QᶱgYZ7zXZִF! .e]ŗXi%;ҵc3h"v,3|Cf*eĝ Rj 2`[}l޶nI,3B'xtdF& F ˭g ]j\n+Ԭ)Wz0t1 1 _2?NMA\]7GBJ*U*P;(9ƎaٲO:U_XDzw+g?16yqf:Ōf7 $7-[oz9QX+ГstÄ%.N,&=Bc2#b+oE%Ceza]Ҋ%V$yUn x@@#U#R KXR]DXp}J4N8 Mtajp2Ag?@w?>|ѯ#; 1c̵y1FS8NZ(Md^WYVf bHaPR ހNI"]Q Q,T̲k¾#qh%ĕvz(TZ-5E xCgIhgwFJ}HYKjx4Pul"QeSL5CMc do)w?KuvWޥjƔ./%DUEr|阿Ab"Ȝj 6.q6@ 8tG9:v)lڨB[xP!%;Scs@5 j;·F~(}}_ej #!_nRAQwEeP>+u`r"Ȃ6X[<9?]ViÖR+s(]saCnKR.lG2+k0eiDREqbp(łVC^ZSG'Pn"rjcMsYB9 B ˗@X*ؠr8PVks}í2jIX~ 7?N`#YS4Jx)RZd5Nb$ dȲa<Eq҇N5{NZLa~ 8L]UB+f s?D*xSAa³gϢ!2΄w#hoDޮf(fN6Z4lKo,D!1·Bڄ`M<#U-=1J<b ,a;h;g|b,Mv m:O뿖PKlѻ ۭBVYzoC;1;CZ tz'Gr_aѭ'¤nf [M~\EMx5 B ZEh{wYlj82N.FYߎCR}'\A:ZT[`,'@GRE;k~r %?-̎1 Ԭ=M'xwik&U>;!)" kǞE|. 1O==( Ҥ>r"ŔQ~>sa-b,5Y@H@|yGLS(b6M$O6ͬ5wzIF(r1uM3r0(En@=$/IQ]`|ʶS \~`Mhڸfy!S)aW _Y2[:tæk,L e|t-G69E[E!/X=r%ƈ ȣPp[@|3)!U [27/q3zln8ήN]= >sCr0J_?qxޔ]5^w# <> f`+~5kp_ՕZ=Դ H$+R?Q@B=djz0J{98n< Ny7RՁrb P]B [ZU`W)':+y8 &IPhFmsu3Q30?쉨`eeL=`C'hW³מkʠ gYZ864b823c632705465f4ac1743288e1152cbd6e6a79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa30698d5164e5d73c9776ac23d9ac7921c2466aa7b653