SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 q1$t4 ]% HOL-Decision_Procs:threads=6elapsed=252.407cpu=1137.416gc=148.408factor=4.517zXZִF! 4 ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ч#PpIPs=a$$Vkm9~ɸH,T_P_ѱk(5_訶Չ)-%3=L@`Y Խ]NR*|~^d 2gX#?.cht*_U0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ O]i*MN"0*~QFViE5|Ai0ְV*81Xep9f;4T&}^k''aNJifh*Mz|܈IGؽpB{BU(0Ӷ 8cK(&RYHKiͼ-LG ,ШPv#X𭳾ݽJѡ=AV(?+i4E] ޞAUrJ,ga:,%4θz0^$yq p;m -Kދ=RA.a$uUeClnEcc\49=.ޝ@f 8Ьy@ٻqyYSfՁm N[U6c0(oyO|%/ uT5(*D1N>x/_or{SOS(GirtH]XVHKt$¦[.KlaE1l{%D=Mg]J#b} 6˦wFc3Z t9u٬\c]2ɨtXkQD ^0wj[ЕPH?rҢe7GuXf+pv_F=7"; 'ٴeUc][?-&j*Ǥ%^47|^OpT]P wiud{|@Rah6>ޑ6O-^ZtglJH2O:{ SᛊWJŁS~28!4޲ͪzIU[&R@'.gŕkb9Awӯo[.Om^桓O QQSLx>JkTwo>M壱q[4{&BUņ`ZƦpR2#V&v Rg"> 1!,'mیhdSm\bx'90|_@'*":wl(azG[c2 L3olPmґ%q<ua!#̒N躷}A+0D0<}JӑzF:#:{%=!,A8mCEZ\weNIޕ(1du 7 >P]1S'87*;pA?yηEbl6!?XB&jU{$ى|6X~^C~ %y?.˒=gG5{G86qg?ufH!,$,mP1FJ\΋p{c& 6/|W3VJ2/VA|)VS% xi~r3ŀIkt_)b!?7GHǸ,dd@ G@T]A!F>3|q@ńjPx]O2DXEgiӚ /I<eU컜iPߢ+$CUqgGzG^&|ğbXP%_䘂ayJ%z҈Ar'L?Ne(.2Я_MUvE@"E>egЧ`zw(#% j a mwu#W٢J<}:̦aAF;M'OokҘG+{0aỆ?rnh/=vKzlu11u mɗBe nT:Vdx52LP0GBm9x< PcuCuoq^VXrkxT%w@i%6@ Z3q(KKdܟ+9UŇWXHTѐƩvܓԼ㮣Z5Od~O"4Z<}.Qs1]' r0JOp9ɣ9 2qruH0IhnB~_乢rkʥu |4 P̩6hiV!UV &q|(fL!OKtp$aGbmݖjZtT7SnS4 ;f |^S_;cFVhJ+(ˇ8ęt^ϔ IW/.^sm3yO|*N) UlF#C:fdLbgp )N~2ڝeg$r)IG|[z' ŢɐH9YPDE5˗gq%^.mP0W&pp>4[\a M‘6Kas#M<|lli$Q~gaXlm}-u8b0w5CaaIT_J߽':Iu9y"7jK+=Ih Cfqhq6=|ZTu/N/ʈ D 8 *yQdjroO2<ɕ'{jI{3템v0Vu=SGOnV%X%m%t`{m%Ҋ,uK ~LSJW Hұcz2RdMnTMz !DH+(XwJѱvPR}D)FW#HdWH=A)KmEdU!C?(%kSߌ L>W~+cLIWP1%d2{ͅ";utΨU[Jk_nM VL8ȓФ8sj_7# 9h˘ox-t+0L8f'yʹd%38KW"O ,&S@Eq? ~1$[GHV5]!_3*f xxIZԱfނ -Uϝ~[\>ǫK@7sǐVȽ,L <_:|ea(pMM 02k Θ*4/2=U׃`zA]gDt A%fJ67>F14ܯj8/r?1y]iOr<謴1YY{sO1;ǞZ%TzA} ٖZ\S&QX`5 qvig gK AB~;eycA}71Af=$5ʨ@9=yIru񳌽m3zRC2lfj$#((_Jc@nZD"-bFD΁5ް{K]NC59OhUp iCjeVͮ}*< }ֆpB[ KfX$=1fit/Wm[s*AxtV+X| AU<8Uq! #T.{\0Q=%ݮ_4Hx3$"zMlÉU?`gs,e oqթp>,eq+}hï'> y9y:Mm6V1| ;jN ho.̎^Հ'n)L5؛Ms&ZGC6 6ݶ,08HgtK椲xik MB+R 4+ ޠ3 $_`9YI>/P/ϵՏ7E$nD쓚uJ/qf0Y+GqrO]o)KfzfC3?*ZSJsi\hL̫ 9BWժ%> KIԢܱ~׊&'w1ޔY~`RɌj[4\%׏5vvo썞7h?+*]ПSe8K"@x}HipqF4gYZ7zXZִF! ]2]ŗXiɟ17L? KxlWP8SաM~>fٺdHl-sb錈t&Gj\ϛ7-%ɘqwnpN&ch8pJ_[%'YnW,R;wL)(MC{\ϑ,'򠼥UgEE7=IDAcr+_3F%LP]*Znn"ϾF{$+۫%*5z"zwl2-8[c6Vs>2jSjkoXbjj Lj [Ʃ+?mmPP~P ߕԽ =FRl nyyg&i4E;hx ̶7 mz=b;:܈IUZfa*P)aFq>2@>p;Q!to@`LZ}˄| >+`7 9U(7D}u%a7j /#%ԪTࣳ 7@"B1Qg?K?Qgsrs!kq8eNr]/J Yy"ѱgYZ7zXZִF! S]ŗXi%GVBJU ~pb&G Eqzy=@flϼIUEvߍ*1>TSc%=f؈`Fb{|Fij_cѴ@ugֽCik,yq&6`o Z+Yô ݳp S#C@ڷ+&-2{k>6Ȃv֚H)xп(+ tޕ`'{C,9,~1[NB0ݛt2Ti6c4CJ!=z+~.gF%3\R`,˟)n RgSGBBkw1/ѝ*˙Y).TK:8Sw]dKeزcFmFS%xa )j WC]©WFu$+%}6: gGhOO2"%ĬS/l<_im+'aJ] ]zm ng&W?[9)^+?9R+\wU6k`aU<Fs$ O3ԽF)ݮ02&ŗSY zv̺W;a}+_c4gR s E5&8JvMQVˇݰyr4f E-׼nv:O&iwӃ9.%_P2[nGO'4u0<3;MߩZa%PipƳtwڿ#nm^Y$jTrSNE@ Web$,9ŅzFj)k-@pRנ٢]'pc%|77v5EF=l6hG[\ٝ6<Y:@H>Pŭ铄JNGHlg"m˧ZT2Z$uUǥ=2-%*,,s)d+3 aSwt.eU +:"z-X ,+u0bVAiq7{v #gqu`to(RnǡM-j~-2nJ4haEFj_{01揢ܦ֯G>k_/%Pٷ{Y, >.xW!;tcN&Uj}LI:fx"'N_$u4'=؈ pג[6g?&揳upx8Bks&AP@-9qItR̓Ə2$rު%->|RRS5s-:ؽl'BΗps5msQr%(lJW%{C4tD~+SP#nic6^s@H:Pe2;TE)eEZfVo×q dV, LcסJ1:tz`9LµS[_fw%{>)b_[%/. >QMBy1c|6k~8!T퍑l2'fU4-ȮNUE9b&Ps N8dr /ӅsB&Yjb|-,P+!/XG`BG6v 7ֶZ )9?-"y)63+MhT. ׹lߑAzl1wTN;C.Fo^H,|# X7FkG?Ob)jЎ>P i@O,&]?mp )[7p%eiG.<}X|.Fދ|,sde)}sK']kgzdʨ>Z7/*v]J柗5MSuQsk} \7R{-==¾ u[˄8U? RP]nCYOP׳veƖAIy_Ƚ-J ྫྷl[9n0jK_QHj#<+RSstJ'c~]д}}/ElcmsI 1DDݓbF]eoDol,Hx0%-(:[S wS ]N@y|ՄׅP$@~@<߅kĺJpG^$jA~6Spǿb18g[5UrHo%mHp&O;=RggOGA]ރf+ gRq4g?{|wdٽlQxU ؍W/9 , ZQ\Ma%^^K,m&BC[xF9֦Ma?gH0ՒN@}4YƓ5ome!EM*C}H?R_}д:n MLMOV~j~W4|:``:?\|kCA4/nZX*h_l( L.c6Wga9} #n v8gUM6V"LNjъ^/i}o ~h݊W_ @os=%ZYM J #~8 %IDRP~K˯!I5}~7O#327|/%7UjC  ]+>~BCޞ(k1 ℻nBG%W8,!?VflsΊ6~?jʼn*V<5#`h7\('`ې^UV^;tKZY0. A)BrTN\L/avS(혙^HYH )9%NN=3cU=jaNXO!Ϧp!2(gv/?ѐxSةy:sY4FO" A'U'j6k{ #LE\ЃH,4ܬڶ1g*pȝM,VPO8KO1~'i$qq2 쏀Ü/R9o'>>&fo7dJ@h8 9P4rNHBWRrܵ}N^q'Wmas=]x]zJybV΁  իL!G0r}ZP.;_ $VoڰDIX mpoq*زدD8pf'WCNDPdG t(Ѱ&Hqs^SA& m }O% @u糖B/P2g/7!qʽ4dop>$:;6qIpP/}S&l2:Q.Cfu-,eJLqFgz/.4[.|RZN&$sp&EO/.kA(af5Xv࿦FTG4wo`t_~F9ٕIifɂrd\/Cun"lP(2WA 5XItT]#t0q:.GjKրxc`BI+{a${m6gpE2Hx.J k Tk: ]-T/źҼTf"}*bjaE~bx>U{lV)r/4{E:TkeoX%IFie{n] xksb~+fA"ÔQ KQy տΟjV6lYCv7{;Nş{KiYYSDiy2~ W9t**C(l7ƂפgI/kt0/wi)&XMmH;Xgfj0Eɍ&봐8 7y()gK2|0…dMr]͊[hѵf,`nj

Má68H֘3 -JBaՒ-uXZޥP=YGL-b7/ D&5;I!Cp+'o$3CeaXQ Xl9 ]~սlgP|$H1.,QZzS(s=riݠ4&xvDT>CLr˶>Wّwޒ&SG5n.Ϗ|&?/>Gƪ2Og=VиC(m7Uu!U2}bM|Erc)\ЯN8rng2]σ'h;o>k&lQ0'R9Pu!';rMH{}oKKwH{7E A2$ܭZy\k9L#~ѿnڝU>I(L`H`؞7VvHodƄn`1ȭ -(F"7ji!a-mv\oҧHYQ[Fa:Ss|6 J*gf/Ef"55-q(ܑf?.g]۬ڦl&ٰGpn+B.4=E<¨mQ#3>"f@X*f lɬcSI>bѴ^>CxWBH:zG|< MxXz$sRcBjRiBa4wb>#Ft,| F:6W6OF%X78[W-I+D´Gw/kh]3.!GjÎEQ$rJUPkq+G gWˏG5#1 ߍRBd#t/~'n عӨK׈^|OX)/2w!C t Je7-4CJO[f'EFvcw\ðg.Uv1p7t B( 𫤊\ oZf"3r/k֐b Iձ'\mzm˦|rLEBJ-뾽T!&Zp4w@UF̉=ntW;roD>-gcr\mR/} \%!, {d =L{$>ȓ[&(WT%`QUv*l "j+˳wP)kÖioc~a.CP$"_,j[Q3NT )HAM5'Fѐ%2?rH&,W֤BmWîDB_9U{؇pfypBw$t1($ĺ /"{-q(p$-?zUY7ĈǬqT<,bΝ-?L]T+" ;BcؖJYE=kHPSV3mfz>N5[C!^PY%Վȴe}}>ٱNf(*o#΂p  B{'SM%ݷ"73&:{tR*Lߙj1*%cSLǢκՋL Y><"SCS)AZ'Q ^y;inx_$)LˆW> 4V+:P\-T~6~mZQ OXԸ2x]堖3AZxOŠμ zk\bAf!ZI-b* oȧxbŁx ^_:ɕ =ŒPSʓ+HzpN0Nx7-[00][Q֞$Bı\`}OE31*g!d%u9TO(ٴ!bC6I=@Z?ekcP&bKAn(`yubk N"9 cpIy r nv34x~QOro_\уIgTW=k]~M520mۊdn_+ B_Ku8¦?%~K )vF#@;J5҂&@UP516e y9IY|g7Rj=ee=w2ʓI/* gJf^{M0^< )TXxWGҪڄX;HnU%‰5U%z4bsYn=oMkگܿ qqY%xma<99ZIS ek%$SWͫ-T(Z_&Qz!{ SyIՉ04ZRܔOd~AQtUv9ԦI.<>U5q!y["6N׵HٹyĮ҈}Wm]QD/812֐U%l9*Q><ۈfh+q@-Vy`0D| D#o@"0&AIQ$EV_ -,$,pB)[()DQ,q~@jeUZ 2 zmT_\ e Ղ6\j \w]G{7?R۵ |qIJ"'Q,i割nOlH#qj}y,g-uh돒ރﰰP64S$ӔSCYl#fůwR[)u/$a5E"bFz=(nn m'?ٍ(: av_8 w^0%M- F5Z>]p+&Xs $pL}nu#0/5\`"B'ULs[#9mnh\j$DދH@kb&Du!C&0MYphu~r7?;41`k.y#ĴTO z!FSWKDb1P> x<=0'ŭP;쐤w.Kx|1mMM/AXH$˞,#3D]0&ӗT?Q+ְ|1]㠋!e Yg5BMr(D1-@!Ϸv24'j3v1ǏM <Bbx&ߊhqN/esN,c]~ bǶU m>80qo~(\BZgK`Zs2 o,jL: `~9_5kgVe1,~k a+-[y]m{mZNת`=oiM}a#CT(f:MɣWt~'Ӕ#^I!TQ~kE[Xؠ(j=qZJS:q `=E45u <1Jb]% |or@4G1fJ>.I6<:W:.1$5#|i(i2eb@h'v1j{x hBqC?ޚЙ׆Ql1g8y3g6\4]nPI=_zTY5 uku'B]{ q@)r?uI(_GA(CUެB-iv dsZ-Ub,1>!FW-2j(._EDH hh5yuDƫ\ħ:~{- b PB+eI%׮ufu7g /ezӨI!Fّ0RX2Nd?8C qa{uQZ4+$ozO̳MKG3Œ#}w- x^*/NKΗ%k6QuZ 0"sd=U]47JR%aGL~IWRe6KJ5N4e,FO̟TG>ȳMױ"=iѝٻ],:Dlu1h rN@.6aŎ~\ӓrhқJӀ.ITl6 "dƕ܁Yn7t#2NSJf'yx4-ND,NTņZ~Scbq - ]Ÿ1ȈJϼsmNm_<|d%oB crAVw(RG%3t)`?aniLsWI8.uM%a˯0OgZ' ` &d!0{෹}=W|3$d2!6vf9ZBsdF8}]9=8+@({m^U*̞o̧SS{6)j_ -9p+KOh;vX_@b6!n Eلo4)4ĹӾ8U -(j~LMkOwށ|txp&rK 2 8b)QtNP %.@z&b~L«{'$AmN逖@؍}2vg(>ʲꇛWq $2o}lP0^?y7`211>y*CI-8۫*RWU >rcU1J%䤸A[(9/ڦ9?rhFj=*}Ot> _g 2kQ of7)#,-Yz<$OL^P5ZlOk{ [^ՑBi9`rW^EbY#eh37zZAٿ^BOko[ÓfğC)=.dNP*]f;6RmE#.č @8I`&+Ws1Y"7xfI2Hh _;-f\PwA<4\EI9mIY}΃֨ȈYqj\(?.咆gn<δ`cmyM$*fl\]o QZ[JB-}9BFAlkfl؝ӋGF9U)im[D BAVSaxl| 1VC4b浻|]Y ŒumEgsiTFr8_W0&3=Yj9QZUeF/ݕ翥w`Ͱ+ꏌ\f(5N/sK%u{$1ʋ?&Y+b}V;HD )/gr!޻a:ZANNbs;("&C_=V p0 QYbE>;1ʵ^H5uV16VWw$|Npq;~b\4 TER9d ֹ>$yE /-7.&[]^l8G_#ŃwH7H)jİ \=5 SYR 5uGE/JN)@SmٱD pfe 1,3ٟRAi7KGfйVâ ߶ Vr\@R$ࠖYr6L>[liQ\骭h5sAhB\܇ ,qХ^oP#߽wt lp͝C^;JN-ibs"0*Cxbk+F)hmg-p '!OFFD{{.yA\i2?X ~NQiwu>¤d.(7]`)G?̊W&[rx#h7ie@/UFp;dCh؎_4KI۾OԛeE:{.>JLq .il:+ħ,x;ک81摂P&>c(l^[JukԂ3sy pD>Ĺ] 0__W:$\;~˨h WnƀvR0fe{}65-sx o'jfϗ1W#W]^1}qM~>(F9z Ӂ^am@jƾ)3Tm- [I"cQKy҉)ѥRߦf0S|9Ŝ9+O Z?g ru^`۫j:6{}'$݊BWL8RP-syg&p7MҢ޽ӌ]M&P0{uJkm^X$\7 cp=xNl#sخvr ,(HRhJ+7xzְ^4ä̹Ƙ-Hc\OEv.ƣi^MỵB6cM,hu M^2奸8;+u][hl7u{roïlmRk5V$N[X pP1RFD[)kE>MP}AC{hsg8I5d%{ܜX˂&"n) o+eVl+Vyb dȩ:>hCCs^o *$?!%Oj1 i1glZ:ln i\hH ;KrA.cws\>|U:af ߤќ/ cpXv%C =uϬ{"ѻ#R$ ϗmY8=JI2!uU##+}zW+En reO+kG%^~|x=16[񆊗ɳg(2eUL0hjTy: +c|£m#0 D<"kU^?QoU+SF ˛(c9%;]s&x0dqM_pOm&S+hН^BP`S2dج͋R3> LS 2v 0?@х(5:H.qANo$* P>B/^QԥK~.ys: "7& -6祚kʰ(&wP8 ќWt+IE$SfiK/ONqC:Iӆ!|0S5֋ dۧh(\J`l6kb m]~5pW}u{\ @am2`2iRJEnzΑ{`0G86|8PٞoǀsI[i͍Z IlVQ >%9Df*akMA䛋U}IAJp0 Do"x? U$$ ]bz-e$$4V? ᐂ2=<$!ӕGYZz WN!锍A`v);Tp s|N4;55.S )Bv|-]g+Vz{wPL,$7﫬yN:k*{u)_rI|pUbR aЎS&P-`3^Pܺ:\p |z`5Z .CM8ZfseT/yNGwy#JirR'QMHSq j(EmޭL(] E]j v%v-B] Y3Ipva@ͦÐt~=6MyR wefǂ'7}197=Qt>?'F`rZx_KKr\3X=pTtFn>{w\Q;݉Tf$Uηq6%oB7/  Dq\Hh{€|3=O$[#:c$R*aG1 iLpD"WdNz#W2KxI>K3ksܬXC[ 򓘈rJʁ/iǟ֫\-;RXtXxHLi^I`a:4$ :1ȵ9m ]fdeȭTMߪͭϞκn C -HmNB ,8 fzFPģ}OI>6AzL)0EG(J7¯}Tͤmf~Ln1tXmG*}}jb$A哑 FA:H5H@9Jp llZ@/NR op|LSbPaےB[X0vd6iOx.,ZOfyhZ T1ZϭinCՊ*|щJ40c\N|T >q8Ć#4t%l$=%%1/)gwOl##SUb# yC]ZwHHAۙAl[$(|W$l̀;yT _X3 ת)kNb O3E-tki?X@BBj6`?6iW2»0Izm$ zS S*r!㾼hq% S`R6H@-hTiwQIOxvm6.-RgA$HhlM APkxn^K2h͵0љ'I\k F_bri Uepx`<n6>D䵊LC^wfQn qϣrh^ׄ"gny,XcP?G7H"D_žec4eoۑU?IGe<Ŧ)oc4h?'vM@*)Ŷ d)`c#ʟL.|GSI0؁gf/Y${bQ2!>nL Hd9;9XȩL1h276EJCnN]TSp>w‚B(~sd#I\{}!"O{ߞ}M/3+v9_?Sv<(=6X,^_3-ƘϢO0q/ =#0l[b]Qw)DbƨJyt^ ﷎=s:"mike \X.o6-$XVC:*v}|5 ލg- &2 ^_K?qP|xI uҀ ȍuP<Nwݣ%/{֜ƒ.euj}Q"ԭbȜr9LZC!qqܼͮA2lAƊ6jt:k-YDJ 2~/ウk QD-CA=0yZ+/rZȃ]v87<^yEtk;K V}МӐ@GC2>L?ӗߞTߩ(%(_>IAzأw~:E= (ED߆fu]LU+853ᯊVd"H'd>v]LfL(qv6>&'ղJCE%2M:FeRuK$7~Rgjbbې0L䤗TvG[ki̕pI`ۙ9:6@a9iӓ`nN) wtuVOe4/f{`cy9k(ȃs(D +r,1ٮ#L?"[UGdZ`$3>p͍Ҹmd|ڲ2)#HD0)?VaY1>%ﶖd~1=: Jæ-U|-]hEuZT0i[!f *# m;xJ0{߃6G5'(k>ʶwbq=~ I;I>ɭj.O2^@}Y^;\_xxJso3B'v&K4K;mg gL%k-wGMbN߄RCNe7)$I]tl_n+حVm_%m\@â1r-v'qE Y˶nޱwZ`Vț8/A$~0I  72jJF?"NӘWH)8* he7[ngDJ{VQ:m'c0FFJ7h\4A%:gT'"ȣs٠oa2$͆k&HnnBB~Xd^ɱbN}DU[ld7JZ<7gMT6גVy,\f=K9#436&c XXԆ_[ mW!me8SNw!;{(Uet f- T1!KZ *!r})39jcsT qu %wcjeP(hᢊZ6y"Ĺk(Ws8:**VscHs:5eP\BW/k `l C&O%jQ3U!Rp4%n2= RjO ]u{irkKz()wT#@hlE~Ʌ31ukc]$t~0MZIUaat7!0X Q IS8xeqfcL:,~6F7pӉb8E:idw2Y8pxױ3$ϴ𪫭Q&r)PTmM;<#Q2Hevgs!N:gYZ229924236c1b45ba64c3256e6bd4e4b3ab96cfb806a212243e05c5a7c923bfbaeac4ec358ce57654 662b38046f2d6e283935bf15699cabd0ac2015c1 d74e70402ef84cd79637e953fc6465be1da04f54 ebe8bf028c2aea81156de15a8a1ebf0b4f2f60dd a5345794fb3aeadebd53b601887747f50676f4a1