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  M'&iZ>Lj:%I)~́~h́Z}$*l ' dG\^C*ӯl̖ş%&k|%s5D{_%oHO(xD4v NPB ]Ji9Dx,)YaYO>(سT DWczy_|1Jۚ&FL=S23;nA=S0>XDU􀓇Z,pً/x/fy\lށ j_f ' HOL-MicroJavaMb!vs?L8ǎQcYsڟ7^yfHCO1'$.#ae>ֶLmO"w.5<( #{F,Mlzt~T<]LBv@-bt?‚TeY/źl#ڣ[U'48h!Ufnb:SP Ţe'}k&0A3Q>㝯n  ;)U6O_cvW%|.JtqP{F3U@^F+.P{90/;yMP^ݑ6wkb?lT,PkӜwHVS%] j>B46X`eZQg0ۼws qƓF'&%mGS}RA$ܻ4tl7^$\pʐV'F3Tz.DQ8)y8}.<FhVz~\Al vhƙz KW1@$eKmm<(B^Ŋݺ,8k(4MHO|t-]a\oa! \5VE\,Eg O;7j\vO "lGiRW*,2젹dʡ+!]SNP\Z^Ļ4ZéfEu{aeEBu`:DK$EF3Si6e#Ҝ? iZ;+ PDl3Ea^Q2Ho)hd=k#TgZwPb/ 0[= { |"tS{`R}c J6mhͻS0N'n`C֯E:{Xe$A˕%jmQ ;q_`rxfRTZJcJ;qI1 d7i@Gi~6WJWQVhW0틝 pgFʠjnڶâBqV麢xYJwuSEհ5tq&MP|Zor cF xW&:`Wgs6A;G_R%温qDoPFH\_ҰK֎Wu~七?3.&u/CBRP2 ppp @f@iKdNHm@;m<2{'Dҟ| 2Eq=4x4 "t`aUå'3!&A<n>G3?2jR!YlrwY<.sd KtO:52lMz\q`euY)J`BъxJe̙ tyq"=~1K͍ qw*=زzxv=7js3!P\ZIǨc4 ?p$Zȸg !Ĕ gR('`AXc֣fqp(R`2yrdX" A;Z<'׉tjP#>!^rKMf6i!/|[/_Mgo1KTV=JR4m<9nMvq!Y~NN^|jPWJ%{"vq k#τ/NIǖ3JG,6ƒe0A- kWBP?:EssaJ&(`"¤Jc%hvfm>,)z zFux ^0v3z,K/Yͽٌ8LxŅ)txAxXJprX=.3~'H(Y!^4#WҜǩTǍ 3{C0w;[Ѥx6bHLsT>] X+΍׏a=oL]mjKG zU?mZATNk'i0(*eR-OcKOά[:Dُʩ&#"W b*$FߐzV&ezBs^.=R#lȘ{V W6iz b.F\w{E!``JAf73&['xGDՊ010'JkwORU=6s5yaXyPPp$6fd{r0B u\!0C/,: 4OHO<)JTH{$$XYL筧qJ6GHߖȏNgW@+T\̝_d1x`g0& R rj0ҤR&jY҅Y=_1op^J  S~qQF_b6¡hޯk'Zˌ0Rֿ#ɕ^ N:Fx$\±gYZ7zXZִF! !]ŗXi%6Ƨƙ7fWm$]Y-T"#֕Рn0W9vAzqY>`󷆉ڼu+(?ն侰'LĝX~)Vw!Qxm{GE0;M94Pe ",Bb@D "Qh܏lU}$W1۾s #E"w`/\۝hunCC>BşhzdoդNTgKtTK g,6Z&tP>ܼ|{P&KԤ8Op鲖sB6v"AH*'FA3qU [\Cg:k+ f Zd|39Yyu[9nΠ/۷LmRa[S$I:4ȕ-Y>c,m#378THU\9e7G*vdNw GÄ?ǞCAr'KL1F8'=,eޖN/t} YW9R\'us3BNLzt-- g2t-p1=>ni<S(F&3qH[V͘n'R"d[oO+)|Y*RZ0,QqmoGy#:qy_ =aFԀZ6CF/2)R(H'Z$ HVkft ;m!D)& `W3ԏ.$Oy \_Sbh63 cdLr-$nK,P2p07Q K帍Yx4"/X -N:8%Rs`|D˸az퀴CG0˅DܧjCjF< 1,|04D9V^*a,D' ot3/L0J 3xT Xͦ߷- 8>}12pQKhɔRvkB('!,͋AOuZs(%!jQ!ġ6v%poG59ACZDwN'D7Baoc;!hW,jnCz%%,!"iT֫wX}+ y7hI 08AZ%ǫR?p"5i0d|j .)xs!VF%Z0o-bMT>&a@T^% R6U=%PcpR7ITK혪t6wH![M,. 5lA..vl:|-k%z/p'1cf(لGjgUzG$4/*]h0߽^v97A?h^jʎ"2v ΃z"PMJd[{PqI)S5ȁTU-UtƽC:ޱ@"FIt3@ac>3ςu-v?gH Luw }2U-ryGcFTBɉiJu6xXFI S*% ˶S&kSsMIlzL $qZk@Pmq2&bj%cF0f 7>2X j\e=0J0bbʴqoݾmo$fD5n_"/H,~ݗBS;{Tczխ &F\YcD[}=en3-n(BP壢AN[~ǨPWֻbƼ*xk֎7Κ$zCV \^8!2R&2SRW^ɞ)-$gpgOF{ *&71xH iQxUiU7̞(,Bc7(_&] _h K4k4↛}j%%E{&.]=MuG~p vR'mq=b x.{̋xP٧g hL@3HRy˯13+_ FżyC.7 R3 F+w˜ Xd8cTPA=MNkn8%˘B\.942^(xZnjcb\sWBDž@ 7F3fHx,P@O%NƘ% "4^.8@9}"n?]Z a ˖#Uv0#V0 sOVbv4kM:n yNKTxXkh tu%x-PuBS,S[HucT4ctaBҥ14@!td+9WgZ|ґ)B9f?̐@&Iz2*7՛^d2FԩD8v0jG6GHԻr8 Ægu6՝-oAq(:+}0_k¥- a6R2]UǴFY > \"(_Cjmed V !G#_.Vl=wL,B X) ;/俦 k H _S040WJ#+X<RʜGsW\'6t4{魬Jn43_}a9-*s%HeAlYsڒM ՞Q;o X#unfW8YtQ 2"`Pꆤ:=Kr#GS7Yک d!+N{ 0ӭlf"\7wؾbX_E~f׋41 }0$-Ov ܁V&*#EsKl76o6;N+a~B'e-nƞ_7^H2l›mY(W6s͏XH?Xlp lh Vle;\:,F=?ԋic(N#B)GHSRd|@3?G(z0n\&o.vh,`%6얕_n Yly%o4jH뺏nW&مO .^(NtޅPX!9<`ln^&3@ ՟8.xxeAI Ti M+t]QaNwbboXcl#Ҥt~Fik:E +_fPR.rpsLQ=!(/D<ʂ;EL9d)mOJ/Dz:ڒޤa/[LK)#w\1y,h/(I= c|^FT\=ZBݠL@yau^ x=>LI?}-1jbM,m3 ofRNx!Qe2kH/DVNq>ɗ~&.Nl4NZ֏-h:7X74OSj8r!a9T;n? T?gvlR5dGԫÖr:d&&:c ;1g P.h"\0pcUb0^N87K DF7_ܽH&p'b0i~Q꣆yI~؃|SSoc5Y0^c7_O u>iE Wv! 9^{-J+j} &ak^ֳY*VnA>5SCڹM<6 ԾI 휪>la5-r=ŏ{y'۬ {$M fY7lfL$|gYZ95853b1cfcfa120c8e66f61fe5589b93c0dd05640f50a8fd984ed9a922d06f59b224a37ab44e72f2 fd8ab938506a6adef84d05e82b2423fed153db7b c628637a3499d28ce3d263cb68d7f9d43c04ca92