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  !|, ]]]HOL-Proofs:threads=6elapsed=540.851cpu=1317.816gc=124.072factor=2.447zXZִF! Ե|]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3Ǟx)<7l86k]=Lpʻq\0_5G'_Aتlne A))}f.4_I-Ê|>WEY8STٔ$*8,x^/[]v!^WF,it)~Q0:sЫq\qo/mb5C;O P}Dq 8]1k4&(B t XcM3 >&*kB'len H<vis.BzS_\lU"kAD&&1`fKn/CK2~0tH+!JeEWG%̿w1Ӥ# d m,'jT d)!oaœ<٥RD9$J|ӗJ$h~-Ov!s~=VF j<<xYbAi%rm0tOi@ˆڕ-gz鬉cEf91Ս#K\S_y XI KjG~is/k7@yhZ'eշ44:QM'>IZ Z~3"Q[i${wLMR{"Z1n(_a[ed*k .iS\tZrQqptMȨXѺ c7u>$ #LZx{wmAIHQ!UD-kE߹I?ub03 [=S}}$ ?uOgT.]߅L#U"K[Cx5{KNE#[hbt|Qht/s:`Vz(zkGew އ_O< WlwԊqaKBPOi7.ŢL`0Rcs hd-Af@6DI*<$ii'/j4-]۸ f+KTfnܡΤY]j3xz|W<7KoB9lEC H#fmq(ǧ*g%5_aXF/ 9~(GR͙nEk)vJ  ! HOL-Proofs  bZ0аNsZd( pY'=H|g^ؚI.`Iju;;2"GH1P hUʐSw pq O8O}p^:}~$#tʼL[RȜ̒T KW1_lʅ}dnĎ^,$` E`,< ؝kwXl`''O٘qTDDEb_qn …P5 R v~h3CAsnHr ST]9- |M`T^h}-;lw:;- JLFBl>,Nao7C& \>QJ,|5SN7Xڞ~Op1k!ٯyh<:_!;iplVRˤh-;լ~WR'  gq>T0ґEԶC8xRX eAFnm=& њF&.שUBzj\~=-zaDxZH74'κ &u[I'>agd03}çG[`O:6!CnU:ɿ4j(:\J V${YpV2{]+ºM wiBnW19J`7l`3bFI 1~p~\̷!*'Ŝ ,/]OfpxRb[.邉\̀򖾠u5VT%mf hirU֭ϰ k\gNw!0?t$q#C[qkmW(O3J![npfᎋ<{}(Eٲ&ñ>#uLJZy)a27_paH̹ o,7QO]Kދ,>_9k jLk}e2"4n*Ԡ'D㱶AKS11BQd"vt~?YjR}!G]3SKEF^|ݍ1?*oYSEopr'_!PlZOꔉzw϶)y'$@jgFPz&9xqgF8':g+S02spLy3h0$6pKDSC6KʹXݷ4PVpm`NYn)vE)97\lLKu}ў{@hF?}ߞqɫROՔ.+PREU$\v=$Յݢ-b|*6dwO^r_>E 柜%2e`~PKǂb#?ɈB9\G1WU|d|;R/[(g$ WPi=?J[(>(O==rAE4DLJ>/ '25Rt8 S9aAT5gZ D!h+ }'EEc6Mn'!G[ 0yWd-^a@Ot8w8G~-(Ԡtѕ{?[@#+m7_ª:r 6\0!? EIB`VrC9 ,1u9,{JTiΞ׊Yw.Y xV%HL9mUMfTL,0@MOjI0- uIu cr}V\51N=ö`W@r–k#(=X8KH5;ݒ`{QQц[R6GJ ES,%yw^ژ0 .D*ދ b ^ޟդ\.xIu:ʊB_62mVC9|6)o IG9  9̿}1R%I墐;BΗσ{$qILNRhg!+ [|xJϞy~V!br ^S ?{Q#FwT 0dGs"ZȩS?'U?c(ًdH`3}N,+G7[sSib|h&A7V%]~[!~ׂtC͏n#@yfC .Bb!ڀi`0+UJ/13 7L>2İ&W:FxA}`NVI-@w/'N#UߧBrʀ֖SpZ~ g΂줼-/F<$29:=sf|E1ׁ"oray+u_@\hQq56奤9m&.fm7Tw*m)lk(S#{(ـg߁2aq!:QVoQئ1Q\*+ (8:%\eYXZ]%{.lSs& X kA?m]nB%:*t 6 h*&ԟ 2DS~#&yYZrrEzۅ& U~511om,0Z6(&iMfmwW4RAsi48g㩔#bi8Y'}G骨82 -`k}wBWt=hgĚj45^ri^Bh˥jBju&+ʒBS ]z&/LlgYZ7zXZִF! a]ŗXiɟ29aoʼz[%U>EM!!*X0!h^p<90Cz~ӀbeL^oJ}!ٶr+IWv>f8⎼e ~غcZR25]0am8ͦcFsG'r,AV 50j,Gb?9@0 (:s4qA2~NE,0)^hKEV㛰m)KKuh:lR;u2,MPAJu<,$*JY8V8 $Bxt1Z"[o{*Hĭdȹɶ|keSuDB7);hA U:qS}1?Y?g}^tYţݡ̏NO62s"sfhđ/0Ac$$=wi`ILĄ{#.@$v˅|ŌYsyPt_U91F);ݘ"x4}q>շ5482y&VX(E;t:JN fRU;}P] x=QK8b[~Oj@ q;&,+uҁO~4JR0M `kjn6t@7=,P|od)L67䈖SFHYfK0cpu Cһ9{} ӪH8>E6-/b-i"`쩡`Sڟ 4B(Cq ?HPJQv@KP oQ*]O@VTxtU(ۓH&nG1?h6%rU)xkA d&^AGSK jP,Ty$Hn,a{lMmf iSh-YݤfrM!GLys%R2Z0Pȉ݇,v5N/y=Q(Lib`ğznW޾IoDyqBa`1j}q83*2r"%db~- UkQKy6GVIx84L!1nRv{r0z#d?[ږp2B2š;tsft4޲fz_YS%|HOL6TD~/ hQbŵ+dn6Q"P+IlkJ-{jq룄+U\# 47@Sb_$D '  ş^a7~ڇJPYOGь` t0Ӛ~0m3н|҆3)[LάY|4&( 2g>gYZ7zXZִF! iM]ŗXi%B 6q̭*Vr(-{CÈ&!/$.e"ћ Uy*#'i20%0N^ ndX}*ǔ Tе]]Pǒ!XG*pV/4.UH5 (ԉ(vT y[5ոph6axt'"Ϟք=kej~&}$ ]EmUnxK8Uonb<2_n~F}øķA1P{j,j@f-LEJD\-W3"0|~q4 hV5]4(*^E2n[tGJ𽓰mGOPcr,A5vY-8(5ER#t޼enS#L)6cRTBD Ruw46oTۢn?1D5?ngx4`2ක(c-nU+C |/&Wrt}޸)iK,v\ݒsNe9za H-Ә(kw ?$Vɬ4L7m`KY nkE1#G;j=BvU?e'0#O"y;^p IWJ3x썢ٕ hɓ/Dx"qPRYO`V4 B܄axO tdAҟ) e-[j)L1P !0׽hrB>EN^Pt~:iּ⧻ Jcp uzh/ٹLc; I( G,^": vGf6.Wql c8ImRYBzD$8\dQ nzm e2-9cIsHQ'4} a:m}0/l*ad,Ԛ9#ttkLc-9\vw٬&QR's6? <.pM 4RNl7=sئ1M$h_3f`"u(EhU׽[C~@Z Z0Wmԝ\>Cu-**}ۓxiN۵6 (Yêdn4`Bf\r(9N3>eR(|%x%:~8_p7tðw[mU!u_snD|DJ/ .QlCOtfG?߷ju~Rc_E$*C3#^?%;_:=ˏҝڎ'1}ZyԎjnd,zH͡5l,/@T<K3 GMb)12m!޵8Wx h*(\ycQj.p #ZjӶ1\RV 8ߙ>Nb>R%O>u!TY + 8ր]SCLr ٳ>MR$^^`\GEFщ-+Vw(<[R_zΦ͍x45Bew^4UW(8bm4sNAm7}4/(u/O2%;r<%B,Gƞc3vb$,P&W%RieLlDsU@O`A}t# , 4F{FW?"ZGOtTX+ B* G-lfO޲pOV4o)ٛ -`F\MZUx>q*щkYL @>D2VL*%e(/ժ(S,$ZQd!қ:] :F V,j^=0?Jk y2]nn_@E-_gu+P"nD2J'!WěaOgj$W4'RbN_F4 S6#)Bj@>MIcj3UKyԿ Y "6 #$e|Wqo4H&w*c:~umT1Hۋ~fNгNnT jL[Va DIPD-Z8)opnWF-Qul(i/$13|vN!r.2dcS1wb?~DA\4FתAU*7oh#K>뛋*gnWzQJp7<}Ѹ\c%vp,-EEF[s5Ot)/:Yai"lKT[l<1.ֵDt\V"<#2mBeR>5 9 OoeHAB3kkn&AF 7*ge>r v*?md{}\$ג:vcjk~G&~}\Br[є)RYS N 84k0cyΐFo JA/ X{Q3_b{ xǼMmO7 aٜsթn WyC+3amgjjKI~4rP(;$gԥiO[*H/ow_(余G_͛)Nʌ1lg#1. S2Q0ba 7Ie  ֭6M.aRu-CV{ mh\gJI4oar}|qj4ZN<]pqpZ4JKtTW_\ba ,=]T [9WM?(|ډe )u>1J5+.d^ixDu6I%soۗu@Y-tywlE?c¡`ab4_ eOښ U_INV#/0&1%+'i_ntнK5#l/Y_oT**hkq@&cUZC-‹Ow׈`1pw-np\ɩ=nפN_"(sA?$tWK)"D4vy.3NOji#J6TF .iNxQMhvAE1<p; ,qrd2pnwD$^G?=/{Il"1=s20y^社I7mH%".ND?>RiWvt%DKFܕ4ڿ Q7O4AC:*u'i{ 7 *43|mߌ߲OR҈} Ųz9VfQdfu'9X>4re9*I(vԸ7&mZa=6pcX j 8Ю1;s%?;CmSE>F6a$BD^:wԺ.qtɦ}tovbdfWz6׹'=,ɚ׼]sQ7 /ۆl /%TUB;wI&NJ eNqRs6m $o-IzZ_ #kػ*jaIKr[忂!2uzAhW?FՠZ5SBOpNS$ ";jbY^$}s5DM[AV9LR/qQxJ {R2nkF[&s&2XzA+zqr++rWy%&\pJ)7G5!L Yxa01cKR(, ]# uwC\͍kuAP aQrt |eN?fG3ӠROX%3^<%^6l7x$~eF;ȺdϽ rg.D__ao)=mǔ>} ]>Z< ,\[ϥ5Ǯc P_ic"Va|6ʀ'C /cJD@IvL&b|v?t cV9VAa q ޸T*.q❞ -z=r1Dnͨ K7š Aisg=7a-L.N9 $i7(O=$ -ZK}PX/Q8d:ٴS v&mxE;B!i#983|n`CKhP,3oFvd{yގy":uB/~[^,/H<+>:A{ `?f,&\n2<'2AY78!?uFQzjXS~ 'UMLKt'6AqQ֏@ZCΟν}YM%iQc 9 A +3*B}ayzxJsJ3}PNfOigENG2x̜tD^PwPdVPDŽcb?D@ƖӅE95ғu}hc}EpZǣlaqlc7zDMS; OvZ}4~&Y J:Km(gJh"~L^N=_6Ɗv\bwZ03!KBpy.1AXXn6%̆I}HK]A/C^fVg+`qEHv -[#9\t<m3Nc$RxdKvg@Keҗy1FSo{?WVOT7ȏU[=ǫg2{Te\2Ve٬0DI-ru-泥 *{=jm.@gl{NpmUsD4*UC].C.gJg3S3>uV4aJI501ıy J$ =SCXsN7t$1H%" ټ|"Thsۻ tםLfQ%DVFkڱ6zSEbF㊥dzX&戋AH)o%{tzE{H`7W "ӅcdCdZ貊˛ٽ <OB&+'c{" )D$cQ]QBfe/P uX(>*vɸe+ǿZ۪9◁o冁dt%L;K=FX8h0NIrdr+ٰItz?2 7Pڗ<=(T rڰzKBN?8*/雨SJζ*4VbMh3$'KNiqsc\_J8MvK`#hAI2 g>K?o!$Tu>1ی6!Uw0}x5.npfo`g+D:o8a&G4J!+l11לu>l1M1,38c-4Y-hy+*+>Mĺ`y.1o0AwImwdNL\~<ouxrg4\X&25"zLYrJGmT$ڗQ!%M+ 8a`ѤhCT@#0la 5- z^|%D/9%Ӟ7C0dndy]FkC$PU6Z@ɻA\%jf/m&Z} .b%_?g\*V 썸4[&Wo ;=N I>suh-i3?=IX0c3縅Q~ʶa)NUOxF eH"9@8SCY{zyaGq\ߕIcݘ=uAhFQ:@ !_fJ(ũoB#@%^oNCgfkLaXP>BtuC.Dɀ* PYUaE>OZ$JL ljvB0Dׅ'{o3:ekU-FiU)l76j1w-9 pp_(5W[|σGJ[3 q#dnoBDV7@ n񭶱 @T˰=p)Z-T>_mZ7K,;VI!Nsj]_CbpMYF"oXޞyAPrEU ;zʄ:VH*ԓA4uݟX /d@%`MPmj\dn3M/q{yjbY`U@kRamb_^s޺ e?5k?=n3a$ӂ\feΨay.D-w.MhȒ:14+>e*:lY N)?ؽ #&Nէʆ^R,#}296itzJnu;G9T$ܰ4Cp} 8R7 37̖@[G`G1AHc[QI:O{&8}/6BMh[~dA>}v,K+O-^oT|HDI{ lH19]ϔXA!4G>瞚ְtcUR۶n7iv<;w4/!<5S"<ƚB$[ x&aH_"D Ͷc*ag7_xv5&_ԦJqG6n;8!L!cpLNcvꎅ{U8;xf9CvLE2N]A &ǃwT_ZPnԞ$ލ&e0siX*q);[*7)fJmݰVx*;a2A옏M Ȭo_jVT6hD4!Ic=#c(87[[ 3[D-p?ny ~(1+}莟6wd[B%y<lKM~煑?WEn(Esd@WA;_(#/&K*खcFKب=bAF93oh~AFjFh7gNydlaEV={q&ѿߏp/okTx'efL?*v4ػWP[؋xqdS)i(h rP ^9hS5 _@cҟWvai@oU"itDf~x8TZ?W"\r=}t"%n{hZF$vEpf!(xO2 u5+D^>JhI0RT6|b*|F\JwʭjReùsJVVHTBʔ':[{2rVXw7Fɩ鿷g~uq:da\fԼ a3cd͊ .O4O}f72?i "Ds[hPq 4< R/߰TQ&0̭ ؒş%5/Ѕr4w8=q443`嘟 W2hLp a K6@pGh71i_4dP^D  &J@x`¬>H$x;ƫ3Knh&/}Hh;Ǩ _]f B 鹏4ُx. QFd$A)ӈhYym7@T8iy|FhۘW։q6y6c!7clgkTc_ SPsW>!P璵'mX Fnvs}K"?= (F&R"KcA8B"~wkmC؆?8Ħ45H)EaĵU[y1{!'ޛX;Eףt&o٩ Wӝ ?;8܀ `TuסvY.}9kXYӕ}Lj$(9YZ"%ĞH16P#ĤHjڴ48ݗL g"92Dݟpr-!REdzui6x_dA4Gs?dO'$f8WX÷PCWPs. }_|:+v.l21orzoLoN7k) QrՁBW6Q|vg0^w eF5@]̰4n2 ;3޻m,i۸]ޯkJh{b)B.p6~Z2y1r<(_T4T=Ov=^JF ]wa}L/r!fhw o^?Oj_zT,/6ͭT %b;H{J3ŃmK~]9 tS{%"HoS OC8X1t1e`:XZR*Ē+H28U՗HBs|*Xsl>3;59 9持oC3-Z0ip]$ӵ1ATvE{0rV%Q>OlCj$YY%Fk{ 9,YAnTԝH)xޯ= ?.Q4t?KsDŜ!5j W &a͐ȏ+ubַ2LXʜS#j`r{x SP Kb6!.1ķ6}{m9`zˇ2=KGz-7k zp~=XgZc0RQ~p£mc\(fi7-_|R^&Kl:_cט18Mn={Hh:ZݴD!`{]T%i=&Hګ,!|U˗48g׎t.qBNcc~ RΟ@kPgP Lq'Y>q y~j.5;_ƠyYҼ8n=Jv}di? 3n5P -$&mp慧NBjBL\3'^~he+(mZ5Bm)LX =FY= z΅?eRPЊTsU4gr+0yMb => [)!KQ+ 1C_r_@7kebNT sI {Xb%wI2j:EF3v {|Ak$AZ_ j ʖ.iWҹ''SU"X&JK)XR\ZKJ%т O9)eMѻ*ւj'kV&%hD_c\eƅtVh8b5|qz[5+foqyS "f/+DOS5`5"JH'Iӣy~o5XTO!@_DVq*eXb@Wp+DW-0,_ϑo2*ލz0 1cd5_)T(J^.SQ㰍;`sdp$-q VFPfb ۻ }l # l#B=L>QKD#G{&)E '%98 G nkn>ZMj%,i+sچye]Xmm0'v4[BLʘ%r1㹕8 +tV׍ЕѡD4@T}jɽO_71zāZ_Z˘M50P<tRmdR^RqgNX^CLƜ>7gt\}AAćb >Fvw۹iV/$>7η[amY}?P='T|؅&[dQC.=ʾZce">db Wu,!TEC/rk~Qfؓ;"@Smw#cm};+ 䐜!9]p'7[$f}H8pqQebfbgLYz; Hi#`vi{Tx˵r3wdXx?!}qa]), Jb(M1D_y Hp@b[!ゼQ IF hv)b[ %8Ɠs1OΎV'w8ra)%~JlȻVbfʓz3ÑN^9؏1U":YHBJ 3NN(L֒^9ʂ3Vc(KN/_Ae|ybN5卾@ b $;A`BnCUxIw*Đijq`A=6pr>ɍ&;,e$MOOu}Ye֪ܰ9.2!GƯKQz- "6 'zwA6ur:[L"քh_4:Ȉk$1U+|Z.lNA@ I {{nkeD8NLDG>ՍhىΚ8 c͎xCM&5:?9850,AS_UH`Yq2eyAj>n?~/nj&{{mcX+W MHZ ŷ%!V9>kfSz9[ĊQ_94(r%u&,Ɏ@HI#|ehq\_ٞÐ&ؗzRO2?$'l3b)H 9 ka{╛\*ZRZ߽^#TŮlB5 `*C%~> H Fs<&(n90wlGY7C" tB!rY!XnkѽR&/-=M&`d,&L$U pXxR3iլUsuG64}'xwh+D>K%,=P+(w}KX}gT fŧ I3X^;4tLr|Δ 6E1DB{3V 0{h "+ǵ$Ge]bJBvW k,݃fEetNSN1LTK՟*8ED sbpDꝹW⏱'|,O8>j&uHQ%7T+Hˆ;Lۡ\u8EzΪU>)V/WI͝z s,]=yZ)͔c眷0i &ZQG7!mǪK“zn!L]Bwf`e`,pik:օz8Z! Gc.(5Y;6I͊iWL:<)_G#M}./sGz|.Қ`:9T2u'o4< \ڧ9}gqg\|s_-/g[$wCR81MG5.e~K 9E`!x48Oop߇[< Fv h"p3 kɿ vkIzsZ rp1t2d+3Y4<0!e dVcNcyamY4.?݋Yd-xyr7d<:QS7˾ G,PlD{W ]< "QtbHkI*IYuGat9"Cv/!(ו4C>)j)!ANB;^`VYc˜#NWW?*i*Dt끾#mg N׀tJtx!iL|OUkC'q@@q+5< }88^T0wTM8OeGxPZȷ Xy*>wL>.R!: &j&2%X_f(~e- f귆FI2&vZi-䭇VaYY?V> ]Lj$?ɎI۔~;E7ꃪn\P~̎;+;$5-VHsivT~:#m4J|uxXN,p.!m %KJz;!bQm}tɪG3KB{W:*<9z1 ,'#cN:{?TvXm5!xt~r$u"m78}O} !Àӛ7em8q1!Yΐ±g |cSy7\FUd⣳Gj%딂Z$ӡSo3sq!Gm1]Й1K@ v/f*D=:nXXF@:ټFݱF#z|Xn 65F_;>䔏$z`sy`}բkCFX_#M= K_׬2K|}'V oc+W#ê ܝ}=eKq8ZgOzJK" k &ܳm`2 e4 ӐG:ku'殚A$ Aź#pv%1wL7-c h .# Je@{r"P(DaY@Or o-~+R]Fwi y9J"Շ_ ferjFi2\NOqaf8)&E\e A6X, vcNa'u-Cu'raqW~v=Y?a{ƈSKG&#'z77,BlmGkQVeɉr8nX/ JH0V&ZBi3ԴhR}gMҨJ`e;K&~*hn/%Z}][ brl{@2Γ]QP\=&31? M2^RL5e@GS1piO`%3Bp;] jCѮ7Gz1b! \ 鮸S#֤-j 8D#[R78q . )vnj ;̫E?( ]߬>>x ^+j/5N5c=*)"eD+Nbds}#U/~+?ɲX DQl|"N(3-'\ I'hojn +EnHҒhcٕ+)G%Rb>m|"'0k3R^̙~.e殝Ho[p*ttI;`F?DG=8ДFHҀ-])4+]D~Š#rLiY#0grdlbG>5aT@R«gq<ʴ-5-ljb`L9ҍ[/{F»DG̫j>u]ot0z GM~X9>N"W&5`qI~1=} 4|vƫKS~|֭4dp864)y'L*CvtWwM*tMe1^ѹ=Gd9aGHFW KJI~gm:c=FFh!_Hc3x抰2]wDᘶMR`\|: :V槓a5[.ն5ai70u@:uW}x.$ֲ+^^g*d>*鐯.-X-gO`~e dp:^fq5sXĉaq? 1̉"sJJ^S:>iִ_Qo:u9yWs63m^t3#~;i_!HSwMM,^&5 =':S'GHiD2M4B[g㯮hz,;y ud#yR{f3s~c[u2o-1O9`+U`EƟ$P3FenvCgиȧ|漤QySZ0s]ms luA~*r}569ӝ/!0 U[du7㌱[Pr_*i_1arxm {]v\ # ;#QWMKa0mjo]5T$ ZeT{)T@ƻ4,) Gq=+_'W1T# `rv>!5?!_BZO,P 0 wa=Xk7͇xnL ꎥ,#ס ڐ?An.enzIg};0]lt7&x)ƀP ×,==̬Mը0xB0OpMF捹'nݦ{ALbg&F$+$ZF;)r Ў"t01mpJ`:lYr*aqk: ֌=T%f ZU; Ttٳ„iPGjyBWwM@~lul ]|,\IYNԸƉ.XR~&9*bS{5:nbR ܾA Yݤ(& cc]#GM-aU IHR潕ϝ@;W*c[V|nU"  %CgVLL# @`=c9':LgmYky LBo˶[7 .$-~|5;& .FAVz.m \_?Nc,43:q8x-j(X㴂|V uF YL;TU`dH)z܁^fgR{M6̡],+C a@ʮos3F€Z R VA4Ksӏ9`8)]Xsm]nxD=VDyw\7ճy hh+@mi+/?03}HJy*7A2G1}zmjeأamgUIx%`klMF’F\adOHow{,߷GTG:e)2tW=!Vg~u4*b?)ЮFWXHLLbYTD.2͘换nFp}DnӒ9"o ʢN)PIyDSæn_`Ʃrҋ OukMSAult ~i2t=QD\+ŅME1tSo5_$a4OHBxܦei>Q?|P,-ԅ1rPaKĀ1eo tA<VnTl56I.tUC]3ֺU@ !) ٴ@'tS1 ѶH# 'PgtǬA|_r5:o% ˪x4¼Oȋ2Ow,3m!hIzv,+GҬ˧|ƩY1Oϰ~ٖgP#Qy0Ӹ2~wj)d td~Ё=i,'_~pSfF9b"688$`kIEY/**~-QU>1FADT&oďeim@O:,^.GaB]+]įS9rS`Ias)oMj,N3< 27\nY݅k* wj)Nõ] FGhl)Q5*خ.dqikrZoˆr>6@M l@ zkn^ &,C*A9ɂ )\D,5&{g{+CGsZ!_3ZS],AgYB۳MT1ژv@\uɸ{zr#{R" ds:q$F!1`^gʩX1:]DO'*FYj X@krhh%f %"Eng^Ƒd~cϜإs.`uaU*MjYNN @c SòxQ^S쏇DSO6 ̱,Ej9,p_O+rEK!cKK@8% L,7΢X=RtT;^ܫpPui3 gZ8\84"(7a#+v(atNv{"%)l˲`%X2`<_IC>/MNjƘnR,(Nkw;}\h]%e.G2 ڋ*Z<6q;d^FUݿ !%^Nʽ]u-nu2^G-9>1 b[| yb?5r{_S%2PCY B GԊ'J.P[si],a@9*kqGG_#oۦ>2שXOTHO؊}2B]\-s4VDme.}dj [G)DFB*;Lj9vRd {'ME9Ѯ1m]*ňpO. @'s5 <蕖>XMM5S ;MR q(؜A8Ă="[S|7VkY(~Q+0gp.m1B<,nvHBٷ Q(ܘ ]6Iu!sN7T&|K,>Ŕ&ϱY5 g췗0~!.1J=c3E^p}ɑr[h W IG}gXfTfz0o<=w:݀!Bi@bD`U2Z5:z(bDD36HQ'hx.I{*dOwj-~Tb7 ) P_E^`#xbo%cI!4/^OG(38K8{|^!cwf3"_OW8oz`V8Ai'=R3oa^$i >Ox:w*Jn`g:Dp!s־ @#9`\K䃒OT1Wh8-MM| .{k|2ٶGO&nECWc<-Ly6zCqs`u/(R9m,>zzrycȷH! ҉ԍ1SzYĐ?rL n"T pVZ.SQܬQfX\TZ`fe97+'-1E J'7T[ -rS0>bԧAC&ZJ`v-FfۭͶP|I:={%N<MaE,Ƒc/Z9o,2Pߛ'toG;⶚EX9Br ?l4.5-7JY~Bs$\VfTef>V+t\$_ȗbϼ?[Er3Ze36׈bMeqW Pߩ%ˁ݈,!iwS4'&֪]8ž #WK/C<'lPۅVB={r+*6`]Wbx$(|NQzQYoKWyaE>jAP} #aYPaGH=Dz k BAN7>L{0h8TMMs6Sk9`iwc[ڸ10F-$Kړļh'~>G8lBj^]5d5䈕_U{ %F EQOF;w ӴM~Mn'<+s7 QTN1'C*sZ@]Z*ݘIwĊYHor.9:ڍ<F(XrCG;9Gk'o0UfOI8DyIE&K %8ˌe8.fXl*iN- 7޾kbe|]U뜔3>_ }Tvv楬qVW:$I}-t+f+ʹ:v2H5|_Ǔ.gV@)WB6+ OeMb߆B|KV[Xrt}{j+Zb{< X>bA$hX*[BExTwW<|YD}x X"e %v|%: E ԐQ3圗yKrZX'z;ܛ| ${<7 %A6`'L~…݂c޴,SU o`m2]E0;abXc: NʖUҹvᨎG~:־>>!б]piRw&^r/I8]CAU 9Ҍ2):q?<~c\]A&,PK#eu'X)ӋyB9/i>ݹg5Ѣ#kDL^Ww"݌`)ljيIxAG{”BpBJ=߰5mogoOӼ2<2hAfABa^*"߅~Q/NBCYt y(묶m(FR!jafK%^- ٤r8L:n3^[3D-^8Mz*a-^^ì(zFa]­mLFخ*$H\SD!@}q5mzأj]9 exx3Š{7CdkGrN)LMNPFCԴ&弐E?O*Vgunϒ9tNgcv jOQf?I@_,Ǔܵ:;  ׁBRʳ̉Yqtn ~n$CKx,mޖO'Ĥtu0"F4iì2)}6<Zҗsgj(pd6>N}1lmLS0 ƐjoXwn|aݣfecFWX7!y>-N'#^!v!mJr/WAAM/2[%e#{%FgTVm' ycCvKs21)qzhWtp!k +^3NPNm̷2{7S/٘n};(~ zm %qQ$[y/fņpұo(u-B!t6D$ T@{Ij9{ ;\S/My!I+B\K|;"|9xM0&PfyH3 (># dowz¢nAmJf{}BSL`$^XˉFAvn -P7=+p=Dl$Za^7U-nVrf;ýoh}w׷P;r'6_dKP%?˝rC_DuK$+pV4(oılbQs—";cTiEYi UhDc]΃KR;jMfP:TJۅǚc-6.j*x&\3GZtd7hHdqIcuQ `Tk!sÀJssV;NY/ rXMep"hq9}d!YVC\wJ{"n:FL侍 @].2.FKs?:܎kD;fA|tӉ{9; iׁ$(?/ab>e[hA*6oqC%d-`75M!㓒물"j\0d ;AFlѶ~ˮoy9p.V차БZ11PϹٞP:ye cfUjmbvy/Lf`.ꗜf..+ƙ{Ue-͝Ǻ/ AU [?cQKtX/_"AfR-gUXzw-2lƺk#"M^=C3)4>ĤV.lN;s+WW'y4/WN}"a1$i$≺?U%;Qߩi^fcaߖpm)OV~,Q:2_,+¦ߧZCdSak7?ed)櫏7ڍXGŠ+h?SB9 )Sƭz8+2tUsUDl,؛k`ö0CMT<-] F.OO ԧ;l㘤nMVbsIL{0~I.ډ6B*LM'WY-Y(o+i[>anj԰>zo쐁0-k53Ws{AaHthX?hZ mwx,Z![W]HK޾bխ?:_k7A^zrt dmNHGe xGZX\sA%ĆRt׺GSN5m٬md+aiePL{ۣ=˗5F+fXFH}m*?T~J\hb#~0R@ Q<=2VTMn.I}|5f݁y F`31>kP6}+J@M -ʧ 2 UTQ0#n&YtrqX1Wj,Lq*-ksDPWQM=ρ Q~GER sT!+Spƨo?,B{r#U= 9F~KqbN9 xZ'psT$6.yj*c|f܎FCxE;*9S`vSKTڛ̓yVνU9/KDggd\гJD^54KioĆ`p|;ܢnn4布ݛ93XFүpqw-˚Oj.(=ewr/C0*,#}x)ͽyqxX뷛oB%G"Mao_uz&ܼ!;O (?赩 p)hCF|Ѯ 2,Cj$zwE+3URQCp睅ǠIt/'݀9i2;Ɂi"d}a U XѠ5B6/2:nl(Pwo5{d(YMc _Ns)[$CfvEȧC4s_(˺NuVؼk?rWYB4s,+MEtls aw6c\^+Lv: Kև-Z\zQFMq.p]["0ݤNP ei_i3"B0-zp٥P $:ih",@TF%z "/lӷzj/7x'Zıԅx+ucj:S,xxʶTLWD. KUeVGL()!:A jхPÓsa ]79'}$4H| Q2Dyhd7xVp8:& F̻xpj41B(:n35?xg-o{! H8]S""C3/b3Y2uq@^A*P]m'~ t$헺YRs~CMxʗu''OvS\2"!1߽™^bZs5s6OVqKxDa1_^tHbv15Y^U?gC(t6kk;פAq R?k.sUtS>Ϗ!́@$( SpRbhK7-P[lÙ ]ڮlu \uSx/M+xL9|4i Cڻ`#'cx0y^-tI*2'N|:CryBj$ i&əU&m{=V 7ĴQYcdUPУCtBlv-(P.]JtEuE_Ԩw@ƭ%3!0 BJn;5F7SplӋxxhFUGD66 qV,! NWDkt{kͽ꘰+*}ܩv =W_dd^Y]?wcrL"4 y9 Yٛhh)RlCcsw5lA7P s7ώPO_ [l}Pi.l}5NPIސ kʅqDa[D :Q2`[r`VW:&(6?F;'n 7Nb߽SdKEKևK=A.9%S&%+6k|̧nY` A3hA1Q)tWaφR+s& & G>lEmҌX0\8T[TQ=!]/mf {KYxhڀ0λx=fDuKbfm.:i|֤~.:d ., fWMp+\yGQ/Vuz[~eAXd[+Oc ZO}P:aOgŒQP0.a}؋ΞzdTk']l>Cb5,`p =['CS@0Zمhh`W~,Ԕ.W]{qCbn`|¯d`芧D+f1fD]"| ˒3Bk!&lV=:'()Mp6Z^La 5aޑC❏̦Cgu𛺩Z+}Y{U;'5=4My1ΒP?Me$:MمS->paV_k+kܔjօp؅/hFn1Gz 8\KjSX ,f aX,i1UbSȩFA}(ۏJ:S8qh"+"_óTqsHԷR( 1pdKuMIB;hVkF)oF^[&$21 d)k\pY?\223ŸMe.{"e t-#cgYh ]6bw^ړ | 3^!51hcw FDү cp5K\+ɹձ?|;`ޣM m,i߱&iU~wbTڂ>6MA8 &+‚!#[ZN320qgMH-\]aH^=1̈ J>O{1R,运csGϽag r"*{Ok~7y Iy @+d(9-4wf^wʢ -Aa.$T-* d許?<+bzb[`5u14hԏXSn~blׯb.sg^-Rhޯ8v!VrC)-ɝt8@2[֞ͭ;lм.g MֈR4 oneK|Fo2RDa;Є\s/gp0ӗ@(2|{ !Y0QД1J^/QJ᠁+>ANe 5H l 7zǒ)uq찓|`"zPf 'T:< RC!cdOp2xR\ b{)u05[eq^j s4nxU,E GAl CݧR;v $ḤE}_p>DҡĎxIgpRH~þ|do,-Lm0gHVZRr 0xr qcIi[GB މO+5.&0sHdq; 5%౔X1-dGY $^SEυ_H|.U]p_[J Pm fJUzpuC v`qVNmvp4q=Yxz6zwio`3>Kxm:;!H~{,2`t_bZPၯ r}PenNEc wkP!x[Hawa-s@sgYZ37ab3ccc28eb9b0e993b73722d0f90354514d99c3e4e9593d539b8de84137329a766b1811bb0545dd53906d718730285aa66c52b8120a14df5d2c10f