SQLite format 3@ .  YYQ77Atableisabelle_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, "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  d<$ O LOFT:threads=2elapsed=184.344cpu=361.124gc=11.876factor=1.967zXZִF! ]ŗXf1-/6vRZ0-d!'?BɆ/"~;%簔rni1 4Đ/l,*Z5֓"=P$*M*3y];];XixEꐐ{$nL~h8([F ;̅W1ZU!\Qva .D8uT7YVPB,W{I%m)&+/3xov~̊KɂϢt/Oc)[?\۠lR\J6Ct'qnxsiEvA4H_@z1#*kVSf&g$(3Qby![Tdhc^AܤE)'ގ-D(3v]|e G|lPn>¿ 7PĀw5!HioB\쯒<^5q|p L'Ɛ;:j[vZz gˢjASb{/2Cǻwy~KRVst)k3X>W~[{=!|_Y3weڹ}hj *mI(l%Q3!dߧ§E7{oNg@#Ics؆_0h  &LqS8g""TJbʓ]dr|Vo0#́KQm" mp$C1fSr/4hx:C1MAYr<ZV8ػї_cZUFM .ufhe@zGQOycgFmTC8Dr[Z.{b1˙$P c;?i,8bHZD3`_r[scT[-ZQӗ2jf93_٨_`s=ksI}8c+=.h#®Hy+,$r4 YVn`!/U`LYl9L|K$e;'qIE07e;aͭ*sP4\? YF) bj\G72I=5f"n'hbgBcΜ63J{O-V!rJ \x5?v 6pcp&1c)ayEb@Zx IFE ,͍"z:\-k )ЬJvI1C4傀תۀ5{Zκz}M$M%u~+o!{j8IKe\d/D{2vKaV/yFsF |N\^lnB%}Y~"d^SLTv3f\%5n@.&7@ N1&,nx&ug@´R\Ķ\lФxV1\ko6<tFTF`MWCK]6*Ɲ#g7\2\Od뎨@wMAڬ[57"/ch(^m9@?2T Pgz+*[Ϧ!6/ @poݮ.OofIۜuƵ=f4Z @w !1Ax6I)JHoKPsR?bjGpMvM'Y\ P\),rq(0dtjWd/ $U0~Sm(V'v\ XCGm"0ػ_mD|(.-tc~qA;"5Ć(U`,gXdsE_avAZp1 ^ 㻡lCX7Cbl^hղ91=Szz(sZiEr):͕Z;WWMpN;f@=8&Z0ߝ]K,Ϝm^?uyJ{D./|o'SQxfI7%Fd{Az7t=: ci?2GobzCs~"g`uר[bJ$m.ɶa$5C1չd[հer1p?>:C1&soXi 4\N4mR ["#E߶$[Ra;5LagYZ7zXZִF! c"I]ŗXi%s\,1sfщ1C,;DƬ4"c5Ajo0+^YmC\=l-xm(s_‡ʧJ [/MtwբA wFc:˄R$یȨg4" g[`EU; 26$/?&a`ZqXO<|3zv57]ɒuG+Y*$S'\Bޡ$4j]O]E$$Qnq,pA-*ruF jAc2I! '6N&'3`H?tMt3:u!MgKE1II&7rf!>oག0yy8~t2eX;+R F?mS!cY/'4Ul5Ix$>s rO;ԶV9`@vN{xsGFVW7dʱ(>Wpuz z1=kj㰩0 Z_G DЫK}7b%4JXdru)YuXH/$r^p 02cZ4"zēbIj9`ACq z#dtLwTX3i!ЗeG81?JWk'u ZJ73{ /D,QB4W*bdG$V Z)g} W fA? ]0x }Ey8(~#%ߝSUuԗxQ4Em(4Djͺ-V0k'0W,Mz ~PI{.<8>"W63a^Dyx:{1vPWď]t]7nFE`[m{IY2І'I. gL 8Mxc㱫a *X1Ǒ{R{}+H,6݀kГEcD$"{fi5"&51 HˣԿ7v-VӰCF>45E,QU&aQF+׌TXj&^{O_$hvm#p|!Csd$0Tп :<=b >F}ӚP"s؇k˴Z?,.|S:>ʂOٜFR*Ks|x(w+)[;,o8LJɨ.ܪK3H B>96#^F#OFt~]cGJp0#!Ʊdzډ"N"dk#xkrxmŃs 7J6 a݆Q3 SN0-c? 4sp"pJ/D+rJ H-L*r,};J*}n!( 7NJ3b>@z%׿yxuF|WU ڋŴ28wƒ`Mt`w {qN~Nc12z[<WGO'>Ӌxf[{\d}C ؄v#/Q:Q%y G$)3A*b+j`5.N_)y¦Qz'^ó< )¸& !#){cLD3n`o'6MgZLtqmO£ʵ%3PotaI)} 6mC`{6UtCraZmA"{_X+|-ʺ)w7?q,I_p+L!tN:NR _V{TqUa23NQo/7BX{]ޭ1-el1=)51d/yW)CsQrF}+6#CRk̢3_P^Eh}( Yk8p/eE/%2y`iCr|gBBn‰bA5mڥCQH*Z k_M%L:q';=@[wԣlzq0Sӕ%u5UZ[m/ﳗtRd$G[Z)#Ikl?gUNpޓ?*_&R9ݜAq^DSem !rF]dws&nìlPULBI7;@TKλІhM۹Ҧ>_~*PL?_j_W{'1}2SF-aC)3/-;e!>Rh.E82* caY%%|H1mKSCWB`C [P^,*\'ٯ.آ 았 bh> Q')ֻ[G u%)؈ %Z"6}l3zy)M0~.4t%gr|pXv 7K i)NhL]#J7Rڒ!~,T`XZH*I"A{?8Sv0L- S3i hj}qPD5M4+TFik)'Ѷ%0MWpSn^;K9)Tbg[2N(W1D^[g/bE{p%FB>Qԕ*(=FАm)|iux/3{9 "Dxawm8!?Cpե,ESF(x[ ~H}Lzq{B\%=)YdY7jYR%ʋ7ĔW1T#Un#)"+:9Jt|Bxpw!= }ߓj.R&9Pהihr^ Be:?Tk8﹂ |jZJ cX:˖7+YqYIyj` Mqb_yܻTTXxw:*7"&+0V8P9>Œ9!]Dmi"ImsuL &/ olMc^׃µczbM]챕q z)7P>xI|ht~dΣb6<|5$Ü'jx~q+O+I5ZllBCZ-2'nIT em+12XIj t67+w `# UNt;? BFX~f"L\)p7rD<̲Pi :5qVL_IxGZO (5dM9!6E$z%dd'7.c5"2@p*3J IPW5xwg7c0G3bl~~b=ȓ0 5ο=+6J(H7}Q"HrNZ#Nf+?7,Oj&?4lW#:m@8R$8a\B&g:;j\X<z @E&pp|y 0w!Z(ݡWPX'XsߘP&%XAQpt ! z;Qÿ%^9& f`syU ylgU&5@O[qf4_-bܘR@g5R@aW#LH͆$xT6cLL4:mK}`!|N.fy@wrb0ĂI3S8.2o-+b0RU$vs|pkT5<>R4u&ˌpXЁs_Dӷ/P`?Cƕs%$]va؅U/B_Rbd>GN }6IbʼM]|;g~VnsF}f2@@FBm9%]3eCA[F/:YiaTI`I?>n8#u+-\|NI(?DМbD*N;f_Ka+eΩ&Ow5h؁En5_D@Eߢuӛ W7kO2:|K*韁MFKܶm H}*:Z@%Sy)Dh.J=j8杉\;.ˌ9'/9rlvj *^&>u3OA" m׈gk4--ch!G o@.D h1a1!^A EjX]tWN.Gq:R4'uj(װ(?{Yܞ"ݬ%y Efwb04!9_Hwz돾#myoQ. \-C<ŃW "1 b17&aIU,_L$>M!l ګVڋ@c.zI99'fa.?aR!6S[L£O[7pND>h>b%Oih!e $ [g\mA0;)ְo䒶OU)i^&=?j;eP"B(\C/Еp5v% j,YFsDw\'(?ϛ*JqbG?^LaQ龅sL qS& bċR$zxdR0 Dg2Oy ~J%%-uya 0Rt޹0}b.7č,UjLvZ*扉wVЕbKcH㏷ȃ #133N&}& >:mvl