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  `;Gؽ8nt*q* .#lw gh,jjQ] +l'4]qLNmւ "挼DSַ]K=,C[dl^q#¬bɓ#I{bkˉzn L̢(Z=+Mb.vw'0y /k"n2ፔg&6¹.JR)W2Fo ܼo Q,GPŹ+fpkwg!)*vC~F [}0Y_gO[NEm@dbWW ޝl㊼'6e@]xvǧ=m]:`}*1फ़ñ*=Ŋ3 wpj>"ɡZE.Zcb0bNbQM`xSsb*qK<@>xmT}Ï@5a'逾c?"f\>.`bQ$S$'7Q\y:Ȇb,\Jלi}$zZeh*e=hbDa*$((gy{S7L9{}JJ3ݿcjSs jW2w?&JL ETIw.lY3&Kzt@dgY! Ll>)iD?NaFE/1ӣ,F|R6-e)1;Ghex%W9W#xe:ILAh+}"Az65cϮQveI;doe ?M%vŭ$hv3orq}:"kjys.`P`)#AMvdU-J}8H4TSppb:ӌg!GWlER!JvfM>ci0u8&T~wES@Eg9d1'/Zw}<'>ʖr'g=DfcNM8?;8Ζj!X&q@vzңئmLuAmQHgFēv)wn[u~λ>寊U3mnhpZ |%ɖ}lqY(XwO͑WCCGmxcNǿ"-["2{Q|&y `t$V^WDŵ$jkoWi#NRF<-Y0:Fl"]=jU`u]q(LqeQF] c}..۔/}{>j\7#@z@o;K2ܴumW/:vs-Ӄrr͒ ϴʶL ]퉆6m'"ܨ-t R4c@m9wK3gk_k|ʴ>-lcAa;pf$<}Cf:+/ۀNx-A]$- YZMOWᨁ5`50}.䌻*pAgkcF$dq[[G81qe&m:Cz^z$!Sf?-cL7N[zJ2ƬL&F~w9FՖIbw=SͿFZڹWivK MERXqq @%MD%FJ- ƖC;1"<SS`# 9;/|*@Oz!.RʌQ7_%o*E30Dۊj` }BS0ufnNlbyE>=|gNmi!9*Kծ~eV I )@ wpd`߱v$$n^kyΆf(kȌٻ"}퐺X׶`,9qy'5mي<Gt  g:jnp#\ˬ}LkiÂ,z8yވeE=KQi߂sۻИR;=ΤmpZLǔ:rt.veŝ&u-JCpS?` u}@ؽw$$?s}3D;f[ |Fx|1/4E!`RX>-ψoF4৴Zq6\vS3(!_iDpi0IȒ辳N&įқP*l0EXy=:*ƪYݲ=OpVa+f/@J 2m^&yNZ"]!u@|Ju{W|QW`2 \s&BCg2Bw"ܺ;rdʎPPGZ~b6Jm+/ԬC"DpCprK_PwRїbJ/c qB Nno+ߪ#='6m0?+2ˡ髝9e垧}/>5{( _xFml'ؘUķ$tvbE$3)דč飳%pgvL AQGU<#p쫸J ݢh;Ęr$Q;lWdǣK}6a,'uku`<cy3+IVZ!m5ru1z6*ͯmv2g>x.CfC]tc,Z;QaUh:5Rb8Iz-cTY*#eΛVn J&Ao: ?{<գ\#v})]ޤ#2YU 6 3XtzY llI X5٠kRneUz5-yU U2ķTb8}1%&o+Hk(l0QZi)@ LL2aǢtn]5j@l_gGY|1Cu-U{Cr;5N() ̩S4g7xχ[2,Cp3^NÂ7ъ6Kn4jlޟIiwH޺/hJ:,Ézr#ByE粺Ȣ̌le.؁S9yԖu.O:3&}:ZݭH"sx(L5]2dMFceI/2m>%;EUU(]&\^C;rb BY1LҾI 4nDsVƦ-ozwr܊x)e%aպ#2-8*~)k/iPUȣAբ)*sF j[\}۲BL^uZ\?uv{bѼ*w:Ѝ(x' f3z.gz ރ0,+ nCн*Pӏy(Yu{0~̐A%z{e]AYr4k?y?hCQUAUuW4u␹efsSncD_VCOڨ뻰ԇUzP/t>G/1-Y=?9$gyXy,0(hY[io,Ql& `sJ=4K!qo(0R KȀ wa2s 3(XCǞ9>xi"ohC9Fټ !VREX;Uξr{$>KWǔ|'~ Sqx}5o{Y\1FVË' #̏9?M amσo!@/g^\d[5mR,#2NiyK={mCB!fX|awχ?'0#W Y_`b3bw jFhI)]wQG2 c~}*tnW3v̿y5'KiWAne&~ӇV3Bu[c*.pJ4>ENZ!MTgq私/A47HgugD/ s.24߭#|YeNE%W&rI /o=B}K =۵O+v:ݪ=0$Ո뉓 HJBkS BYyrǷU$5ƭIs" T/b|Us%X'hw,r 151qI$t'W`lR{3{ ko,DJI%:WaX7c쎧T5RhẀ`!B 'yzϯW\Kf2)t x@EJ] 咺+|<9ORh#aK4qbluxv}sriOpUiUKIX ^gy ǖ@_%Jߏ<|'oD3/FEPZx̌VUeØCnAN|DsTK!k&@ŌSz瓈6?)q/e^TpA⩅:ھNjӢ3M0g1__!![vv闀m/ax0pC}SGS[l 3!>yX{Z੘9陘pGT飅ŝM߰.Nqx|߫obLW2a@ x@U_+H#x%@7# ҋ/_(E/)xGo c,HTrGwAìN\dlD6"<Y k=~QBq`q \& YdV|_vS|ǝ&M1\-=a#Zƀuu̵#K^sA~$NwztRy"%wi%E _E ڷB$=DR#r(YU))g7?Yfjl tI=>DVm^jQ ɗ($b%P. ƭtMq~[~Ïr.'$@k}üpy@} ʵ,i >[N XB:EN}g#ԯ-ϻSkMMD ;/\3?@caʐF ,& ls2S緜WSj.[>[q[,ۄhwV͑kɻSz^X7$:&bURWr0 Q]c vzɌv)(15Sw2:izbzQ0]cyq?/\fL"Dz}AyGrlSy5C' xH&FڷKA.uq߽3w 8W5n[ZEKcX 0esI*MK;C&)ل##xטrx[p_SI4OBe{zݲ7<Я%=Ekg !N@0EFwPHX9f2a`C̤Q3 8E`Px gĻhK_9N\%*̖kGm@r-[f|dUҹ/*{cq:] M>"T