SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 x)  I/]Stone_Algebras:threads=2elapsed=54.624cpu=90.076gc=3.052factor=1.657zXZ ) Stone_AlgebrasF! ]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTYdţN^}g V+3i`l첻]Y ښqK3.v?8 cwۭ w驥]La2CDkT F5iI8jW,Y^&MF21"\:śUzR0ZoɬыCQu&GVᓻ Z)5H3b+Z={YslO/xa_o^QXǪ{?|S"z:yٻrѓ%Sܚ9T UXI]4*һhyyX穮Ғɪs 'l-s8:#?nF?դ絤h^w27'̝,{Q#` vxdx Pڬ(Dx9 y i@Up$pi,!( \'͹]t/$̈$rykRqZGzG^/|g-ʋSyr#NU sA{@,GտmK] eKYyUOdNAhVˏ=*HΝA屉U6b)0O/Lu%&oϗ֍ӸNHeYW/IeYQ , XҳoWbT[-]W~l9傗 2Կ1,Gqgk{Cmͭ{ E1V)ڴ!2 hpoCm+D+NDDZEg&9& t c|Bjwrg/A@šUtOcykc #;:LLjXe%3FIuUx#8Vbt# F/~QI3)PJXdn,*\})n !jiл PX5<Unۈ#V.tt=X]V- `5vn Vu'"LPK35F{D\CLe2#}fI:u計}dlhuDgFp6>cȭ7[K@b#PK{BȄRdjj w H.u0@[e(kΛ" sf5|O &^fSZspbI]ݧxn5~y\#xt JZ:?]xpM *v4@{"?E!ҭauØ*/Kuw)Tr~U`$;+torBT1ϱ#" ?jti]ҶdRܮ hї=s+C^ZUx5O BXSEj80\fv䈢\d[&\H,hL-f2KѕF1iS ti +2ĀCkSo@<1  D@-4_I4җXe>L=c'tmm\CwS0~ꁀ{ I#P(?7.dr`5j2{$2"=CR1#ټȰ*}݃*Nb:ns~7(hgEJ3Ϭ\Sa=&VҨ }9VbO^HPGpu5jAV sVuIv_1J0{F&&?5e/[}LdxGoVfK 7+$3<be<3GP# cQEL/"sH{g\F~VGGHnS^sK*I0fٯ~(@t`+ $'.J{YT`1޺-P1 ß_Ƨ t wifxH3wH鋫MkFQ\b?M""bcZ xgz;+)&QxnLYӫ^Ĵ`ɰ\/v3fTؓnHlgeF?t]u%BP yYxcݫ0>7KNP΁Ľ77wcm?Wv$ e#׻Aafb$qbü/(t_faeX˄p,"hTUޟ0<&im00>+͘YF>bmIr٤p[|dj9j́&WMx(.?oja3 7B~r@bT4A*#jhf3VE€Rt[mz/znSE<4w0zW6aӻjSw8CUOENw}Dn#m*}e%㢎a"i㬽G(~[_I|vGr,TOka8D}FуCE&Y:Pu`xŃf̳IORVK{sN r&o¿+ ߼QܳX߈zM:I:J6 .HWlwfҼgꖦk}bYz2׀Ə4(3bL Qp{,0yGh!}j#sߗ x] |BF붰6ypS #0j#`uoBCrn^H( K:t:(^#+\)8쥙l6~wh1\i "ՏLVxxf "Fov]kbŸD#] DP,Bc] ݂< }iuщ0 a}f}?nj!Zt=tmiiaD_Sa"S7qo _C-1 C5ƨ nۦS_b?:jF%-l4҃Vd D:éLhzP FnGJw3d^l<* P B#7:H{GE,"HwY{FCi!^D&{M7wN!7z<ǻnW9\gz_=(|NlLc~2luTI!tgEr@@~[X&ꂱӯP,*iQ D,QKyi馦9AR W!J-8њj5c-h՗{2€jzoQ儍5Զz"ۮ7nh4WLI/K|țgQ~m_,NsBF(TepZ6zcFtU%I}d2)ىjZb:h>ͽ+&#_2pJ',q+̕C/^ry-ZGԵrouT̂3-e"!-lGo ??TfE~\46"Zx?ؼRL ≱7rK;qg!ql +h/GAc'vDKp ۘ !Oࣟf| P9wQ@?F̼ٙ /zμ,%b u)`2>|/\67!(ȿ7lGJH3K'/%h&&]`I HJl8$WڈJQyhlG^\p^µ2HOWYp \s[עR=#.Uʑ * S 鮧,X@ۭ&lf.IVbYWz0ϋ#7:d+@M4,n)~#D |EpU`~@Y[ۦ0SE;i&EU !0ACw^g;=} ]e$T.cWdF`v4ϣ9蜪uz}ݗ ӊ@Ӄ`Ё=J.4|XF~6%%W!lM9gYZ7zXZִF! a ]ŗXi%DQ;OxsWͰE>j}gnsT./%>MXIӽd#"-N '2S<'AT}aÂxnsB1w(SBd]Hg{#a3[QD_{vsޢ7agKw&(@JlV$ PLҪ^9gB!sI\R~ƕ~Fй DTJOjy{ rPz@6q"dXҔmgĨXcDQiII{tNqD`RӾD*!~=.BL0Kۆ ݳd 9.}񂃡Qd!/ˆa@?ҒEviTAfδpAu#&GyU4}f <EOTũOl9ɖ`6Og14W;0xTEߺɑڪ4IKDO^ߗAN]g ˰ 3o,k&|^i0X1?)3$Z!^F?uvyG@׊L\eņnm(R=o4A8KS.r=&M&TIVe/&4lyhy)fBۙ78 ,Fc8)a9)b pv ,| G7_]jXtd(xڞP62N~uɋŝtM4Q8,sC?ZZ+|Wkn[0 Z讉;Ļf!IhHԶ!P^P}Hq hkoj$GGI*TAP<|l@ۜyi4(B*_k?+ h]N8OreG- Be dvo7䨴k+PYͷ}%˴, lqg2 aqt!8a9Q#*'̂e{~b6app7X|#*;|@ ?JɆSf qLޡrw֋7lK5q+P(aen[n] ,T_qbԺZ,i%C'ϞPnx/7Hʉ]ȸxp uaF4M IbF ,qt9g&%^9Jpm;H' \t׺*V* uu9e!оDɘ=.AYuoԫM+YէdJ[zxMt'LW6G'ǾcsW7:PWYelQȠY]-|~tet"dXr T@ۘI9&}g&׊E}({D 0+ൔHS{*[03V pӝ>2;PqLd|@3fr~pKsef7 !NDž.&hf@l͞*t)/&anIeK3dTT}X&D j}}P <rQk`p[ F ȕM؜QE|sNdˠߢyCi7ܙDP} BY"&S 1tvfI:ZATr6'Ci..Q3徭AJvz ,~N.阴ۼ\y W6wӜ#sKu>~qȴ扪6˵'?:#CF\a;ɭKG WXD,LoG^bf?WXR$g#Q]ՐTב(=+ u%1žGd\ĜJ@ ;fŗNׄZe{I¶j/ 4ra ![J*kY2%2[̹R )\/AEg  K8:4-ڣX&胳V?M,VzWZ_> ?;#PKcXbd) ߉D}-8Hzbv"uLx@<^F˜2Ig7Txiy?޷0S20B1ڊ}-#XErMoH%@dlZ$0|Z+*צgYZ1468e48b8cd656ee8a0f15090fb881e3932ef610 2401bbe8b9942d12551f3d6ccf8eec9cd61898ca 37b10171a7b8848737666d13efd2fb36860de921 48d9eba8bd5553c0053985fef09510164793e757 919b5021253870e67893f6f78d6df8a22a86e487 c3a04239d8a181cfae561485bff71442fb40d565 ce9d247713168595ec46d4a55e36828823fdc26c7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb569ef725111d79d56836b9a2e1473bd8582ba60190