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  5|I4a =?J71 $B+~ t1@ǵ?O-vpԏ  -$Y$Rdǒ(kܵ4a{IL`4WliN¨RCv$Q}1HTp51#-M8G%l,[np;Wn'Q] aJ90YɵL"L8d7WT Z64ݟ=Z#CLz3Uݼ̶a74r ag']<uROiYQF>O,>74ۢ2m`򞆸i;ziR ;?AR+8ueC wʄO3fK\ zX[%IDޱYR #1,T)GnҀ2t}+tj=Rre9a zK 8 m%({ͺRBSyϏ?&eM.?wpo 0 SfZ`]5B 9HK? =^LRaLrnF4Gf0Xxtq@J"|kk -F&WF+&*{$uػ"J"@:Q 5E ay䤒<@,g8קzn@g(*/QƣQj, 7ϾBbtklN)F5\~+3K29hDHF,$S 2n}zJQM ?hC@][M9k<ԮAp.s1[7XT.WzKQVQkMpu\mL><ʚgT~yȅl5 *DýJv$vZZRgYZ7zXZִF! ]ŗXiɟǕ,a}~?ԕϯhO@%jx8dOT!Dn2y'[>57q!̅H qf yd1q g!x+~2Qi ;J;7Y8p0R+09%CoUn=k"ZtY8d/~} Ȼi6L~pK3WU>v MGVc%@JI^UUthf@:18tt$sy/> 17]5B滋CEj3}c(rhD<~3iXnv8JYg 6Tqv 3\W.J>4T8bZ1ut%oÖV^:kgW,\F?HqZjbov?Qƒ;r I1.9ΞoHٓ'9?~&);)Y7%ѣK<lƪdS.vT7g+z(b٠7ٵx=9 يLc'Y28E3Ԕ_hjHa?$18绠k43d)KG0*s4;9!(R] #B/]qpE|9#)%Q+,l s%c)~pĝ<:y1z0*%aA_-)R[p׹W-t3GOIgZw0N)yc '-]ܶ3#D]sm%)+:(p:YV9TQ97j }/ۂQ执"zM%*>1ñroіZ`˰|WBYUM"Y: r{v;/R¸EBKc}}ZeGes{{=47 k,& pď1\6ޥޔJ uM1ڼ0N!mF:_br@:S}PojBb[h{J%/l?gz dqOԼQ K!&2P.AA+O^H' 5e ,>ܟZ#p9Pm[ :çvDK[\|!(#%~]W>x .si^ mM"E.oLd4r",l%gt5q8["\?Nv<47xg2㖆GvC3*Ef$ܞɯ+eL)i3o(&/%+RUӭV W_@ .8SW9..\w}7G4o"zKX@y?NEgӾMR2oN\b>["d!?UpMqk(0&=xV5sLJB9*Dp)|>؆&>q~ _Ex*#qv6a dqJ%_|7Xn:b@%s nI渎޾#lPzt;}`@a'Xˏo#y\E(#!%{Rxh簕V8#Id@4,eʾ_'OFw[CB9p/ͬ j|RV'6+,y,!1Ud偓] UjI nW\ǖ];^TC7a-u@_j A3էҏk4`57zB=#+2b i޻.c5Jr1PROXjwUD%< eNQQ#K;bf ^c_os&L4d}wxl6mfrD%7\2e^pTHkghCEfZn93y܏*—P:P/ߛyu֕M@(V 7\9B+nrBXuK-BrqX3^Q++٢`.(8'㍮ \gxyx&zuOdO%M%b=Edp.oYqk6V:8=t;Ć}T >QK-˥J>0;vkF&9ށ%KQ9TXCvLۋlgUa(JPuylYZ4(̛w& ַtsUZ1P#:8> LCM1Xc $,z1MS{ :TdSHz*cMzMeGp.WT5o܃t[k 3rUЕxHM_'4oᾃ>zM!Q~cP ^?/ nehXTLT8f55 3]3 &J@ks{HP_Em8P- [O1M{Ƅ0~FԶ=<3ȕd S]6uug)7 ˘yT/p!lފvV3܍QPW9 f@y+sT\VB stY@>T%̯jX\joH`:B8b+VtZNIJF-POXVn|ۥ=A8rD=e=̢᎖pĈZgxؙ Ax2#C is70Ե01Frį8f<8VY( ?-ȆadYic Inuz EcS&QY껵r8=ww_ cOX%d,kbRH~,v MuҬ(LOٸF*.%-qEJiC)4~CB=Ξ~}ǤlU)W*R ^/v1M񓡋(oLj$@KH" h7,*1٘7F{b=-*?<:2B_o6WdgKH ~rOemӼkS_DL?~cqA+Zh(޲N#Co"ӐZ j.\dɧ |.kYBw+ɄnbK%!7E!6r{k\V)DŽD)W8xKѯHӬ6X!ALM-J)IZ@_ mwPVU~Yj/ytp$)x-4&a0Pg9VY>Dz+V\;4-nut OgVQBT?!ĮF !'f^rg$Zn8cU`cƮ y"nQK,Y|&3wjYԀS@cƶj;ŸBߚa ܑ#`sjT -t[`9TId.+.iT> )ˉqF8!rMF5X0O6lE~>a8әT~̶cu /hƥ zt3^r'gR<;1gX:!\6Sp+einDwO5:ְm3wν"Tii9ýo*(A2Tl>hܦkQl!K-`eo}aźDi)Mrdl wQ 9~m}83|T8D,aΎ:j]4VZwtmjYxmMqA=w1&9]dVR$`΅#iiίЄuOhck/hR5 IU}>:qDz5fńۀqdEM\2>*P&kƂQ}xjD( G[L)Ŷr<7w`IwΉZQ?+r#n\ttexche 3G^^%: 3lYKlCi;_PT VfΗdx,2|hk h9u~⮤6>-]Aq9cE(gKա'3pk*:ߠњPI%ZKKtN61lѮ7 m X_4[\u@1?\\";A=_UƼ4ki: 8Gsl/-'`ro] 4 $yv]~4d5Ố|Xk!+t |`f7{ TECҤ3,t[`b.I~j]-7Pkڬ!{@ iD7VdWGj=g<2TO%،bOoGoD o6X'wRR0zEj\^4AgۀyJf;Q.TRJ}SC4-Ʈprh@% wfpE=A\v;h>w m)}MES~ 7E%v3=Fbw8}HilMơ@xQ4 oY@)+Ŀiq|x-lo:n)Yd"R KQmӐ~qUmJjwTt{彥zȒNy]ihdaB{L{ƼAV"kLU#|+ʚ4p-e̞ Fy%=0;`TM{_0 wtΟ$YR^ uRj 8q$2r+!bl\ݔaKNZBZL5b>} WlC,~>N2&ld A9V #.14u~z&ߏN8x!_i+܅HDD i{8➠Uy>BH/֢ڐ_w]qJqRA~p֌#K *X;2#;^4Vi,OzbY)cD:}&YeK',zP7a,);,: |DLԅ @ 5qO[B¦ʓup$?ƀ7=z_+q3=9wZܮ,gMa vEKfmkn%V|F6p]=8Yصe|mkPcףL&P(_ 5|J MXT&~cBV^ 5e< Cj8 z!2j5>ߓZxvOakg!+-+~r&F,p6 Z ה"r \=Ss)EN#$q }A>}{MV?Pm=t~Pޒ&_ l}ׁP gz 53ڈ/8cAY֮5OI~ ݸDi÷vT L0|Qɗxx>p\.`6}jyw=?w1B j.͝N̄s[҅e$2.j~֒o͟cBe^lUKC"PGԂA04ՈBCQRbG;ؿF/-ЧΆro(+ hHÓ2;QyA‘;kAu W5 D $uVPkZK[Ji=,Eq HYF45yV[` 6q[]e.E#mC]SݵdWIÔ|"p3d 9f)kO|sucP].5ܕZ\e ~I!wUMj]{Mu)[j}/r=FP`M2b9)f"$hly$XaTd`[VM[dty̜i"=4~_ 6Q׌dǷ HaιQ#tBg9 ˱M}ii#v6exwicQGڢٟC6EQ@+3];b)ڈIx+WfF  $ ݡZ2ȗ8vzg]/8 ٞD=#&7f5"׷2lDFl$OwӮh-='UvS5(Ymt~)a> kމΕǮpDzhCaի #FW}bEbfg#φ6J@TQrb',lNhcba$[ǭ$[8$4;(,e7(vvs u۽]~9q"zEN >SzP5mhD7 xM~8 c' a>1IR-{Y:_1T)tm,(qx.w_~ ',9avpԌ8WRu+}#`C:p$J/mP0alFX&CVZSJD(7hSm]prӏ>iX+a{ p-%R_ ]8 bmtG$!Mt_x,ArMvqVe3tDۑPgQl&*ʟoy0{_L[#{9y% N+ZO`RB"6HT&( fX(1APPv(zjɢ _~KjՓA?0Cy-G(q9sݟ+M>8{@F'6,~Iy5ul f5urZV ~Z> j:ME+W]ڏ02R! ofmX:F5&8NTw^s$.2a mVܻ֊SQȡ&nO@^-/H`}r6D w݃UUU~9yQ磌_wPՙϻ_Tn87bXHM(G=F!0詡ˋ%#_0׏b,ka +M|-zlqs1;cȄ=o<ruzW ̀Ke:Jy+~connPDI>W.peȧpNgh*QG ;:&dP:Φry_MV[hPrlLӦZ*snWֲ_NvlL߉cQ6=UAX < tiBTc(5Р@J}FZ]#(qkT>7!3ׯA{QR|1DKwd vlhꑸǹd8-udh.{}59%bRh_>tOu(2>۾ͧ2&> %`ȺhQŁ1..')74Xi<ހݦ{IN(\qD` ]X#WMѥ VkZQR4w f+iQlQW`!HQLO" \!hzc<=ӎ4a|b lp+ :P'>ɛߣ&]=Px^izt~t&cܚf RCdI 6˄;}{bmюH 7+ԫQCT>\iC.kUϰԽo¼xSm QjHlsXVqܝᥛ%~ ʹnth8Zsb2ŸE83tzT$qNq-X³U^<|g"}scZrI Mrl5a;?ёn:7H3ӔY`5OJ!O/XBS v3>ulo)ѸXЭ<;gDz=Q#4^>+WMEIq\9Hރ|oDFqa5ukiyZReϜnAvJ2O)xX& ΐZ/; vH%^FOkn/;BN5~`}a-3ƭ"W{18qMk*o4VRBA#]%7n0IGiaH)9xԍ\!;|fs3n`]0MǠiҾMeϑ%T*&-RawuV9ٰ+~֐,s|n=u i'`X :tm*h0E?nygyN5G} O7*IP|:_jur"*ՙlQ-P=uh9~9(a d9jIBQ?&D3TFZ Yd0yb*?nXS^H[.s& 셓)jDܜIҵ6QǮR [X@\^S";//лY iY+þߡ?tؑ–2丧Q.T1p[$ DQ k$`Tz3^KYt,dK싕ktC-ͷ9"9$oXآ5p>0!z>Nh[`i eMQܱ2ʞ]FeD}8/޳=<SI|B(f~t46I?+7ۼ%bNQW]HxD%gxH\=b#{gp\9%!k 2==x ƑE0'JJ;ѝ"}B \癙{5Mz1[ A_aQ޴OhR˺԰ ,&d4޸h4#7J>vrټ=sF qj:+N>c"=`%C'љiCɠ"qax^uZn xPdQG~ DN92Yك+CXBo^"#$̨B&2+S|^I Ե>]Ʈ?yB}s2\uH 46<%j0 a!ѼX{B_P.>ǼV`#ರ/š8$Odn&TNӗB46iS4C޺T^a6ܥHhoCt&n QO65'Zr7@BqЙE*zqŴL]י؆,nku\Y8zvdv)KDÖ67˰n!rZXZ-)̦-!ow߸T6vvZQ! ΆQd܊ʌ,ͮ4C^< VNB֞n:+L+m1Ih] i%hGfY\)D3%fSG.|M_"#=GGw Ruҧ}+_`l#lD.SL& e$ER!Tɲ2@6Ñn%9Ł#jS"k%s6 Q-7|06"S񉉑Y3uܖH}Ҍ"!J8&aUg1݋ͭ㥝{ʘ)[ʉ+敺"n ý#vX0*.^ݝ$Ά.dE ٔlV- `