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 55[Ul~>7k__3A,[cbĦ1-4T{8~f{ wivyv=GM8w$}cbi%$F:"^7Jl5cS1"JKbu)ɘa+2Cu>EŸ̽)$vxMX(4)$xxpB1OzTy^S?# TV7u!-SUiحaؓzJэJSm+]>`q=H~u70mëu{ƻwnTaѠªشCsrfOCfE)s[_wn@MeGe4nXٓS0M2 _:rW#ץG݄E;v nS' ΃R0(d 5=^zu RM6[<²3홼sMZƀl]N޶*H9TI]vO "4hhoJvAZ fuL}TLI&gAWN_ gn_Z Ƌ`Hhý %kۣZ-3pQEQ=n]꒚Ntd8R'J]+_ a^*ø_.TLzS,y?nRBwv(QH)n.|(HrBЍ5ۋ=ٟO86 -j89e Mq-43ͬ9Mڱ~` ׀s*waJG:=3&gaJzg9T2#SD7~aLaH,X(M%HNAtc` 6_is~=h1M}6[ق%ŏL}BXTfnIgY]Ǡn5]1s׃79^=`h_x9l*!D֪114lԫ3,ůQo] ljϕEe<|Z]Eoa1n$yr"?lHp.Ux]\ĕ:D%vǀ.egUt ,Dr;t/9;1K ˽h+f6rT,)~\+TTCBC~xgq}/bp0J]oEz]ʟ5 ||ed?F Eh>V};/0oY:=gU \i(\6e+yXu_AsPA)a=tX& \>Upsχ<׺WqZ^*u*.xh nE]DX %9-|gHb24w:, nYdfC #.*VaMWɹ9j!QB:kl GM2i'ia;p# QQ6ܠD.ڧ3?Fڂ#|ʉqȝ@QoXC`?=/DV\ڝw.'wڬB 4Xkʤ:1fQgն4B%!VnY$fq͌,&Hޟ-bW5INIcvƦcG{WjghLJ݌OjwO/ye\Չgڂ06!lN 4d6~ڌ3R WQ DU3>'Г3ꦉy7w]bRs ,I/YFBQf䷪1SX !*;bj9yޒުke +4FC>68㋰]D$r^۴j=W@17Q. Ec݆<<ZO:wwzX4<޻BUݥGįFł P>Fa{"L tEsj'nT|ڟYψGJPOu^EJ#xXD=]Gh?II;8+tVc4hCtA5pLx!!Kw-Mg!$ F[EtSJt1vvEnoa^zwV͖W~qD(}4ˆb [Dr8bFj%^yD;/2>GO'/I-0V"|-gACN: p@v3t9m8gCܿcqVEXzW+}yrt>%_:NKF?xGOvcXa4 S6ҖqDhT"_Ts;}t- NdKzI7u}k;):<`"<&夤le斋-=t0:cOQ49keWYup5./_l\Mn,ڔ#d\b?Bƒhf:[%!*Eでr"k0L;TÞFSHv5\" Ojj=k)D: jpȏ۾&KBs sCJ ForK\eb%vPbB/'XVF\&+ya1d46D I>ҝ0 S,m6J0F6tӬyK P͗R"fa =niYy0ςoN):)vii l6t8dGn+vw Cu[wG /On$WZ 阧 5k#KtJNj;;HMdoNJ-Y]$Y^g䒹 s4<1ys.3hv 4 c`8w lS6o":gSĿrU!܂uҨcvM2'Zaj7.ӧ( Шk> eWV34Kr\|Wu1.)wԑVʁ$Gw, DU'`[bv8&(R@ԗ {@*c;RLEo~Kvcߎz4;I;ԛ*;+mMo1߽e NH:p`qFV19W<ֵtNF~$AXjrrλ5p\@/)cdhiJdXH,%u qYOZ`̧粈\\&Dcivn C? QHXLPkE|\y";;jlृQ܅DS8ʺ$&ib($m!OCSoaT[am".&]EF ޮqzCzfMLZPhtL+&*L`VIoGlg̖ o?dw~xMP͚p zR꽥 9zO}ڽ ggLTڪ`=1Rty(Đ-u4crM/7~C۸q6 rMfϰ}cүm Uʿ 0~ 41eF>ÍTκlUU ɐbV@]bEI|'[lˌ+I#A0,T֪l 5hZНJVαA`(~~$] N:£.sp0Ɯw9(C$S"XuwGKc8&qu#TwBol8@@4cyuUтͥKj$-ȇDhGu Hf HƿIka_%.6mwꏎyT":Lz-l 2}XRH0 6vB{{sו+F67Ğ ](Hqg^p wUo]b7o|nG) Ix6"1*\ :L*%c QWwֻ"jrkW--2q KaƊ$Q cUagÛI+C3{Z}\( ,Nhi˾Y/Kzy7L6 Cd-6I%پRSepZdbU+ ;mf*v\ T&z߭ mzj@R2>,q5WoA) m 5?HP3ش)'3-=⒙Z}.7Mx@qm] V Pt6(i-9`Kjъ;+o. K—tsy V1L΍#1V !n5 Ԧ8a6{,V|_.2qu M ;,{ q皙1mE* –'ߏ^CsMZ5D8eՑuKf8/ttnt9!x ܊VjʁQ+4}^An$$Zr=CT9ގٜ(.ܻZKHt62R䊦xC1! JW mj+>BBf,D/PSkH}+wfqM_u[ ,@-J!yѬ*{T]Üg&OGSXV+tDA4z!^.rŞ_6G>+ 09vaC: udウcͫyi~7Aۮ_v2$q=^V.MOks `64#:LuRc~x3Tvr$Q,Z! ,qDЇ.N$00#TB#江z-lWcdxc8ofK}lj0ȗzS.c(Sktra.PԉJ<ǠԵ#fiF:\`t;IFپ"X]+3e|e ,&m\4K ??s'ifT;1@ɢ8F~ m!C_;  )ܺ[J 35ލjUU\ k.PZ lFuΟE<.DcLؼ)IN;Z.$gYZ7zXZִF! K]ŗXi%s쯒8bu辻. 4#k~7YJsV0cf΄zrL{=UXzn, hCCV]>Դ<2ڶC5 { {o| ?tDR瞞%=ĕz:2NS 5Cb;kBO숳cF5Ȩ~j5gw,~7A*Em_n1B*bzզT_buacQ8˷} ~g!_MXo9Z8+(*G>?%W?E aI/֫6,p^7 /Or@-Pﲯ/E?˷_ݐu] GƧPEJ^JՃ+"Re+!/ۮ ^s"*wnY'qē#ggz{+ 9TK4L7r[~\9$Ю@|a)V煉-ޫ~>C|8`~26~*Hv3_ה7vF嘓wuUZ .-OS &&r}2Ꙋ%tgB?>6'rm+'h`)0_i0JgZQ.e_7V &R)[mK3%߂ Dz&c5){U~_K~&w0Ǝ_9hXDz}qdԑ{m>i^.[4 2=!4~bFyIrTfhGW"Tw^p 8Fn2 G1r!Z_E >d'+V ZӠhB^34&;Mtk7iS`:8˄O45h'HKAiݮȧk) h.ZK0. .VDA>|9sǃJX%O"ClX8˩>M]jKO=Aul)TyC( BuM,uuTmaedc[X%T"d$?ihTb a]rZ<۶{S_h~rW'Tfx pM`S4GZan.DJ."+(^_`B&`Ɓ@9Pn='f|yh3B M-D\ L,d'僮Y~H%Ms5PԽiqOQt˻fo4'G,z|V싘h)U_QY6,*CRr/q4GOϳva|:n6a5@nCٟe0,FpQk,賍8}n&B$spFUyJ?OBɗۢ|xu9$X";g/Y