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  < <9/4z%4dHfIe8iFݓTx4Kp. һjL q YxQ?ke7'_ws[Ɋ brw)Y{=#)9dn&.=:.47m7ӿZ GK ?xŒc Ѧn̨{2la-}7 >gǸA4g3Q+Tg7_T"p4[M0@l?z7N.m@X)M}67 ֆ6ǝ%1 eWSLKE(AI"H.PU&ϧUjfM.yz!-Ѵɴm-Kq{_ o\bXKVgYZ7zXZִF! ]ŗXi%ǜ_AƏ!Rj73eҊ g`?/C2[{B.%=4 KMwju7l`-b}8`y|SUxm gLvVCd\dFFe>(Ӻk4s>='q=*޹;5پ#GtHI%lw*+bHE'PwQϨ:,=~^09rLPUB"7\ pGlұI J$x Plzpx7?Xh\Y°}?LJ!SU>U:ZAӲUM?agх޽) &)>z|_Q|_an~<(e<\(-]D-UQq^&}cJ+@^'P[*7'I 8RS@0hhr_ͤ:QJ,tűioW5i(`j 0dۉKd^Ÿ˽512msb9&v$ a òȠگ.L65(XK=+J@C<dq+v;/Z$LC.XfRYw8ѥVBrk)C-yFB-$ / HOL-Proofs-LambdawyG_1q7o ls@8h "Ք h L`˘6zwyfB!u;fj<))uNCߌ[ԷnLi_/, mctlgqͪ#>KDa< *ܰlryqi; ԰i|s(D,*dI ?9*}gg](x\ƻ̖5 q_sA?ZT=3EtƼ.#uZ|۪;D9]9 'gxUᦚA^b}~iOj-C GqbL'XF榙tHHB~#!A!MZ2':Qԗ!;s+@ª,o阄KH*wCDK3;l,$Vr3UyӺ`D`feS 匊ӍS={Šmn.%E[,XO4?BF~:THf6'+(,839Ab{iiM|޴3EwryEUF=.d\Fyrgtd6csU w (>*t~/ȉ& {`9*4o 4mY<;N[Z Sv6Z(Š{'r֝^ b_pLFF䪧!6r|5@okR/7긾%kDW!oTȹt1O q(N2rgY~K$5uX\?`>F7"MJ"r\Ub2.8Ɉ,_$.Sy)95 f@)gIs`%| `QQ?zj3{z?M(n 3t<$8BP,^j*3xb:36˗蚽lq%3oۃ!& PMx?^SZqC6VLD. `> V!}9,`*k *xb[Cc5 C{%j'OkU M]w"S9ŢaXE\:n`?`>~:7;wAkpy} nΥ쮡.~W\kť GT~ B/n"yXscϔPo*c0vl{`'^eY*t/OB%m LϿHR@Jca{\L}l ~pK˃Mh0"dι~F9ڒAB|M̷+W8J*[nﲱ(U9S%$cN_>~09tU<9q JgkǸqݠzSaS2|cSOt2y7J j%3hca y3] aL~,CTF0cR0ټԏf94-S#?ҵmCkMWDĹ$>wMְ\>PuZEW( #n'{_䋙DQd]4V7R0RC:u}v ڨ>nM@;+h$8^3 t觞&KժT/Ex> (mjǞe*tzgӥ_ j o.A>٥*g%܏f CWSADj=3"X3|+mU<_oI`4sU<ҙk~QR<#y3k6>.`&')"sФaٷU8ڸؠM;ެydzgᦚ] Ka)N?acgx`iH EIVB1& STG pl P2#^{먤]~jv!M@cf,]e3va '*Q| xi 4 #)u_B,NuO0 }BHXeWxG58 H'D\e5Z6 F+t'Wa2C_Ά5|8~o(:wo>/T8c!mIZPĜVvSr(r=6f$z ʊe\DD v`%hOf[`j[lJe9-~]icѵ;W3<BD."(]NCn9b<_RO`k#,'rz]IV|iED4}pGq RF͆zMF_M]8!K'ncn&KYYd~+gZl (LZhbArxn4`:M5]N>~VyIQk/qlJeL̉_gb,iܾvZFZg]EB #B7h\c1#XP4; }Iw"LBbJ#Zr9Mz_-6&Õ/!ޝ{%6 FlGq=N/,GS9ւ\y"$|DzDU>O |2lwRWXB\->}>_SWjY$8k6 /xܱ&Kz%a-n1˄Y#ȑ]~ $AM&PUL1ٖ 8 tsJh`g'kƗ]/*?iYeB^%W\xK!ۑu]y"RQ܊ D_Eg[FRz`PˍmZt 3;.:MF2d rJ#CïӴH&Y^iPmbFg`1êRw?|pCi "auZlՊ{CH+Z`hOȱIձ VU .}LJgf)eYagrrGgⰠQZ~kW"udBJм9$ MM{{,l"CJ~ gO|goLdwhWҔ[9[u0|d5 /p;D~%V yk)4cP>C89tAcFmOaÇ ՎbS\ܮf}?ݗ_ 4.wBz3'iE:;M=n2E9Wdܼ'e[̬T1`ئx̣K3`~o_۴P*ƅXdtYb `(,H!Κ-)A7F#ϛ80CUF)pvMSj^BqCHrijgKwEj.[T hZ+"@y2N*a`I[B0b?pr+d|+Mu8<$Փ9ngYZd610ce807c5d3d99bee7d0e4c2dc613099d78fcc2bfc9fa8902db3916d36ec4512397ceb264483eb df3f4c1b359d8537e084faa2667c5e09d35a36ff