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 -; ,T ? Stone_Relation_Algebras:threads=2elapsed=49.106cpu=88.036gc=2.768factor=1.797zXZִF! \0M]ŗXf1-/6vR[]o:чR7C6Vc_ڸcOQĄ'6qԃ%̇gAޙrw_2`#8ktw%C!7eJp=1?fJT֒q^#in0u6]hI^m@lB _"@7-s$dCicٳIiK#z.; #M䛙䡉IrXc45qUco}`l/KƯjCѧԮK/ 㫪 JӉK[-âZѱ=R#+`PSɤPА5TS^C"M.6yiW""MwaUh~!3_[f5YmllfkMj=x_\qr?Æ8 /~Tmݖ`reX(pbIG^R]u._c1NȎa [ 2#[;+k7-zW8m'^N'1REl9@tV. my)+v؋#_(q#DЦ4bŨ(nR~',9vw*?oRu!ъX[9XFl _?g}zL (i)o1cma,=uhu1zMPzځ)*Qknc?[Aݭ&z0z+hbL k[r4f&Rk8H"cNXsxMAQ@e7Ӓ>;%ǢuvR/}$lNNS+yk^2<H_ych5OzdQ1]7GU'a2 0%OȥIi)JX^"&K;*y߹ ]8- rTdP9"B+CƷw'O ՃVA$RwEBkU lziiݴ/Us"0䶃#[- 8GE۶2Md|>*W܂?ա +zs `R9du|QvW9K߷8[.~U3Myne3@eHHjX*Dޏ7yhG-' /AqR0Yw#nkd28ϼU^aOGEM~mir.OUYtW ϑ.ģ!o}Wf3|e=˦ȹ{չy>Ҋ MmiNCc_ie\w#3??S_ChePBhNTx, Skx)uyZ#dݧATd`WBnfW )=jQFø#<V%wqJcT0C0!+(}~\yJ?ܕiශuw"/Xg@$rqA!jʋ% 2AE^ͿŲp#7ֻ*ϡkkN zϨpSo&OlBlj@30i3[sv P4j/=x;ZkxNlڹ/+*G '%` jqH7&>nyp\ 3D6U"du3Z|0sGhqG[f%]?š}-h"ojD>ŽeS[˿.xrZI^8܍;p!DeŠ1u%#ty 3I7f27`HC #q4u\D+xTc6G.2J 1̑lYK/ZdŒF0h[dmճVT2sJeW-}NPiF|O>T "y;9xڴeUu([JR^>vb1 4*S-Rw@{5rq;zuML>Z&l9EڧSx2YqqwMvlGn(PV Ӗ2/wR{YUkϏeWiӀf-n%yl@BQ0SF8<^#BO:uosgy N}fQ&-E4B ܛ4cm|6LJSZ\ +LjԷ@- YdmK̾R!Y 5U(?U YgΖSm3.6}&яi ͅH &g$̛Lk$r8f7; (iԔ KF9͑:ec'lwڎ CeU|U[]D!2 j+]Y̬C#һNZwJ09[ 8]8\,ޅ} dzƷ LWNm7{_i/gOx0%FBEPsΕZ#mGDhb#2]Ywpwwxש!8 : + O V{-sccn&b0o9 !כ)c l>};{i4l; rh6$U-RX"RaˊƬP Lo\2-\GT1tcj1]+] (!b A$T1_Oytm&Z5QU OC_y] ㋃1U@ ~e\Ҧ/O{l`4TBtk\3 A*+MhAK(Wku դ$}]ޙ[48[o@kW~:/7J{49 ä7S&M$#`5*Fv6Nogw5?f34$*\.{|)]ⶖQ^ XathnjvT.vexT꧍> n;vޫo$iNnh%FOz+I@M ܹ̓"E Cњ{I^=}LI3'y]ˆYP Ir3U80^N\%ݩUSH)s2R4BԿAq:RQi  qP6s&|tni" mc)wNޔo5"t{Q3)jꊶ<\ NV5]ۉ 84닰qN9 %&ZmN0gD}vm=@+y5Mܷ$quy&/MkTgA-v׺='QO;@ [ϋ#y7Yϒ`FbH6ߜPZ l[:,= \-C$g3y}s&] i5E]gi׾wg2 Y#t%} + G0k~K,R?hd@% uAu 6+"S>3_H\1hrʄѮ\X|NpE38:k۱dWDN+V!sX, nԬfZORm?`ƮX䀜0rsw# <ʐDNĵS$KWȏK7mNڜF?[ust!څ㓳*t1q7^v.Ign5@9[l% {J Q~SΨ8`S@i-veIlNwz>FZ-OE5 >=@ӿ_# |%s"=Llz㑨EO_qD-u-|Uu&!6kgYZ7zXZִF! ]ŗXi%;sG-oQl+ /&9\@MLmZ{Zv 5n*"i/#<,=!})Q3m?%mqz6}~L4c&>t+!Ǯ)r/H:f!؂sL*˽LV_:BuĆ4-,Dbcn?v(35j څke|kj8GS|NrI2LZIZ?3f(Wz?_C[B`?SyRSqO#U45Cgߖ Ѡ:uװ;2>{mm>+{<5&K-oڦɇ&4|lSt./ef}MʰՊ)RqU9%$ SIpj׬/Y.9#_T)N|jwP6; at.ؗ]wgş)$'w*K: Etd= v[F*W!u6 ׻ asL1 38!"I>cQEh#8E,߬Nݏ6lϩ5Bh''d%z9DL.j|H]C[rŅoyPzLE3RKWrAz#:j YnG ejJ,M|Τ-~vQ-"6a }_]S RlRi8^kl(o \1<DaR|@y(OWƚKL˛uŰ= !Xʻ5e4z IZI](fnv8kb/gAAv"%ã'-,yL+1D, `2܎lnB6uh zU <Oֈ67&+IE'Y m8JNAo rp=F@L˗0{`\0W0&tVO6ZkA3CE$QL#ohCPH- iLj$TMgN^M3`X$"_9@lIb\Ԅk ²#`LRn YiOga,;RZy:+F\ -jkV+o?Bv/}χ^hWJ(vSƦpZ/WT~p> @KTVe+~cj;X3U4pY6$j6jgKZS2TPFu%&z)S@q̞A%6ʹRq<}Js,%UkHX1FPj)'c#ڴ:Xx$Z<, rpϑM0fSu0y2AbŻd?@`D KlU!l)n%r֟sUUƳ^ '[" !D2Hgbij!} -]zJrmr!g)~td[)b?8 䇥D)h7hz87ngxb0ﮕ8AJmQ!ܿډ Sǟi)ޢvUDU`A!t_r.y7 }8߷>+v 6`/Hà--eQo,0Txz)/howJ*oD &~C8yg1GP },9O<@X&>k2 `a/ݹ^47HQDTvi1t\BdĚJRW]{o~KyN_Svd !b q^H5<6ߡVyEF_-rAw?IR M:l[fR{ ^s#"u4*t&Cy?"8/Ev |Gri:b \558)6zH'FN'vś6LT#=K 3 $gd6!)w\qzb1ƜtZje!VLrJ N0I]?7!tuTn 9u,GR)j!=S=]9߰Gvo!GZضd1?p=^O sB"UJG"&J(@A-kU->+P6;/-͌&72hO7 Y %g\_SL,hv΃l\@k:55^y7=[~nL0K˥%|:gI/_~kv.:2PhsX=N'8WRWj%x7|t5i(|!ޔTč+l,!)6JEڕ\yᏭ?쉷5GNCkbK"x^4۔ 9U0hN,B)1"10ݗo!A\YRCΉ謘ȸ{ lY(N0θD*$('AH-ᔖ.}IwqL 0 Lz^/f]W$!Zx hWj:0 \2 Ms{د93RoRYyu9Ѷc|8᏾ 2zypDI#8L7moO~@%<%X7qꙹDM^5 KpI(0w B<{k;C2-C~cPۤH=4 l>