SQLite format 3@ .;  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 y%lD\ ]/]HOL-Analysis:threads=6elapsed=329.659cpu=1720.556gc=129.600factor=5.227zXZִF! mV]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkwK.x!)պ4}4ba(0a*mSq^]Ed!r,R%n{ҸOjO;x&Ud{;csR ܹb9tJ?U5'Ŏ˛7je-MGh% '=f0HY=B}mm#Aj5&ҟr"5Ljb*i^ wh4CyZ*eJ>Kz8x)3̲ǡw7X/_  % HOL-Analysis  ;1)Wմd tmz6XDž%<ؤx0 grn\H,Wv& b>eSoa R{ui|33rsqܸ# BLL ĵ\~YF[n;)rrT;:u(Y[z#Wff:S,]-ICp<#L4ǜcU`?K59ljgxB\$6߾ab˿X[@1,J z3wBm@&K&ªݧ/^e*B`ѳļ؞>CjmGQSRvC!\~, {K͛[ntDHRp~#rkV~S7ۿlF :[k>}͔&] Hy#pUU׶ݵO0aݽ7 J_ԟ׏]^$EBWl_UF)S(HVd  nfcGKO/ DY%`0UUv0;|A?i` g\.L9 AƀP_4Lgxtν2ľ|9T[+HiʀWtcoqt;`Ro~V(c9ICڻF^pr֬_rQ嶶*"2b! ֋c+6|:ŪD7MO|:7HLiYFكT; $+/(x4WƝdcP?R "ὫJYef{`{(n!laV"wӺdaE?afA1?[j?W45sʣGWJ%#z<2 ĀՐ:MFߥPG8oA6(vGglԷs9F;xTE! Rv,r0IC1ZZٔ;A.Fj޳# `3n{*x XG>&<ؕL*B&&#T43Γ~v=8;C-n&zOURt7\ee=U\0_Lx̳ b v}?Y > qаk[q14Ɍ:b{y癢sh7[s. v}}q؇klbH"^R#:5+֥Wx6q7~١>D\YzvafJ%=<uhx"6B4Ǫ2G(u=-dVlp{BkfX饺sqR}&DZ  ڧ9}w]ld/nž;ޯ ?»yQ2ko<3fs*CJ &,b]O+ @1c|7WPzX g~'C%a3Թ)k( Zzqex E!Nnci(Uo(/DdCZ¢pjL͉RXKg+aH p`g <,뤉Q'J-֥zeRC>M !l1w*ȓP[n!lD]!1\{0FrݟA "3[.M䀙")' t!JA_[EZuV"M t;/ !će(JzkclL (ظE&` i^?ZEajǚ֎cT$#43+ Q6^2?O)Tc!-"Ȗń.}U.:ä  yivˮpRk"bf,D,N%f;1ޜLjgN6?8V =z A?_L\(ݠXN>EO/?X) 꺢Ey&n/uRRDMoǐp$O Jj([lx#Ӳ) {j&Q,܅xM%9l gGR1ocrGbC ;]SQ<hI={Kaz;)O@2Ð_O"4)?BCi]y1EYӫܲ:$#one/[ܢ$cHHc [V1{9K^0B_}P?V%HWkX<@>dcƩ~igSL,H0"#ʑxB2!t8}wOTeZ ڋH> BZ N3R3rN|!Ktۘ :H7$ȹs+nE;=47PY[M`A&WwI5Obeb'8uK"o.s(r<Ǟr)U@CgE)4bXW FPEz_ Amq{>Kl5ӷR֏:*`4^_i?}$) o`W`XD kz#)gd73T׷;0\6ld@_ܓ `Xs&Pi7TxF&͟u/Ԟo4nbJe6~[xbyt|afglQw~ !ʿ=$skI .xo“(1ȂONN\+a8@NQÞ`aǀ$rG>絊䔖bDIQ8#Ȯ EC|@4>}k>6v*\7"ǛC_)|/= ix4Qo7-F2UaOzM5./=' goJnG`<( A=[ pn Eҭ0$bI-Yq] J'ږ'lmtV KiFUȑ z,.O[^ X]MI0GWg^'{A}CY)oo>~@()s$=)3* ggaSUb*H"^7CO揍hp|YϜrzj]k~ZfKJ/Dfxf]Vx3,ҏ.צ{ )T/@xv_N4 t?^%];w}w.*pɩd9kxw3c//eR,DJʜ8ɗʸAqJ"ͭ8ÙG}٦ w1t^]&}̖~KEE ` GJny L+,}{ 0]h{ >Aײ~zwQ9 xOrtL䱾6K4"F"=H (%zV{ᚾ֏7U"t q WmϏ+bJ'&xlmIůrWq E 5UTv5!]t6g' `P(?L[q!()BJOŞGedI0FH*2Fxmߋ,(ͦ*W[Q!Я4ﻂF0|V%.y`B!evK-э/".A_w3|ejD .Sxi,# p ؂Q1h*2z~F߆AL]=2 8# '5[ > z9aJ^Ŝwv-|tד"QգuW xtvDϟj\/Gԥi.\Gq} o%)S/l @ C& 8Tyv̗5]UD[4& BpVM=#Y@d8L)LČE+dŲhpT92/q<%I)^-Ry%}=M ^y|gk4d\luCBQM]mlTh+6Xı'ך&Vz~ǗtU5v?^;3ɃdAzE 30(*:`IoX@Àw`tQP UeiJ{I\uNl\;7ZOa⫋X,i<-5>Ϯ }dnRlSN(ZJuWX\^l_gar/am[`|wVʌO2/C~:UDI5_CH~.+ OtˌN ns6ܛZ>=nY)d| H秗q}C,0{.OОrI!\)K&l?0(.K:ă>MAk] z٣ٞY 9~8]Z"5!x)MI=]hr.X3/Qa>]|l(}֑$1++5g"N0tX4]>}2W%$ JZz-OGR`g??kֹ9]=ЎS Dtf'$s6TO9}}lEHPzp@=ޱή,7s.rhP^x4a-Qe=0IM|’ʿ~L[5i*W^g /V&?>Eպ&:¿U&PnVe:#ՊZ ۸+v-J|?=g@!8Gﱘ&mQ7v"OLG>c}%/WQ)}W?FI[=; H*ĸlF"ēJ΂Ye.C}ƒtJч%ɦ+ &1j/P&^W7߃KrNrN`.}Zz΄ա?3,|vmo_R` j cƾ @ HܳlzG6 6-hxlq=U퀚U;~wU`ҙ18k}#9;H7PSEr} Ud9`~Jk:,wX7rUm)Kt+.1,%;z}QUԇ[y(SNj& 6Y_.meoe%}IȦZXy_ >Sa:B"kc78&C$Q68MIm1#ibI=֜Ō rt&]0A\:4|D|Ny=a|oUZ#"Kc4{xʨNT˄@Pt@#54YKߢV!~ꀓ5[C{ɰE׎:`fXw!R0p^t!qm eKXTnO):Bn%vJ<Xi٧(pM^qo~k:V X2轴^F6Y<шC pÓ+ޥ[&Cw3}<B͏,~ NmbhBjRb̩~S /ϫN <ƣZG, {6wF|A^pJV23F@1,~^69P[s33|5҆DuMgвH(ff׳G?h8T#uSj'fşp3q=1UM D3Ue6'e*=\JN?F ށ?׬}Gk Tx<X~)wWć] YdN'_#7P͡.1nKN&. ÃcUajoPp/4CzWt(=gM_u: 5Ef\'!n#/\!5gF\ )o˪gSgTzeSANu3ΦZ[Ûd%1zצC%X+$qu)3:(/J J R[%&ژzp { U!U?&k-4s7}"W\UIx1!vbSj>o(.zgܙ2]4Z X[cRvZ l})%c!ķΧXeM8m\T%(?7+ WN; ,[?L c>sP҉G3F ۯq \^ȫvhP 0$xR/C-^觎hn?\)RCOjU<[7cnfHbZ&`_9Fo@Vi"BنCKy]GOB Nr.kytF45:bi]ėwtW>eĮE|a Ȩ=R~g# C6wGx X ,N7I1*tڤ1o+slvC>DAa7n}h*&"EL,!XYZceF/^tB6Ja4kd|~>u !6Sp9_WݝFFU$NQ/pʉēA!9AQZ2ᥪe֏k+N|P= \d? 䳵B22Qb3H疂ie[ v'TSd #pu!]|0>;#.'tŭډFHWA@oy*=QB=cHq,``ҩ")W pi8*/?U|7)4sQXFJ2<:03|Kdun8[WE +|XOJ˙`[&paZsXЕ&r22DDڢr/}ͥrUc(~ f)R 0ԅ~]#/+6|B飂t8*!&^D梲^kY&Ul0i:ځ{w$p/Q8CtO4@&K L wc?-07_Kr#պjGLW.v)%l^$S?W.354ln,)yCTSYdwOݱe{2ɝ3>D1C$L 90M?} qٿD[+0?Vt7^ށ=҉?VzX ("L3/~V xEG eǻ :NEY@D;#.Y}9 !)s1uϸˋw|S$Qc KM/j[8~q*rtHg(Il @$x9\#O.yOz-CN9$*O7Vk/gÄ:ggozlJ n+.jΐiwPc/LǼ6Px3CH=of}De:ACyS*Y|vuk7jqgžw&RaE ?s u Qӝ h@.Ccyw~,[mqnIq;#KrSyR@aܾ?W\fF'*["]?W)Qe$=U$kU:PGܓM)R('|!B}.z(4 ri~1(gKm-E?J}$ 9,njQ qmGhPb^lh#QؑKkl()N­7į`C.mXxKIk}g$!q;𖩧̑}tn7Hm\Y#W8 Nq^BcoJ(eyih8nv)̐"*R\{tT !d@QJ-e$6ǃh#ҩ\^Xfչ/]/a9RUc{|a=*xJ`%v+!0Pf8~hajN+xh&.6aRmt(M;@t Txk*#$p9Ple:XVB)a&RzGPWV;xW:%owѻ[(d>F%^'.Rl$V[o@0 $A|O)= %8h joD4!ߍkWndhB2mp9bф8@Zn^sΡqp.VچvXê[LJhf1z. k\c 4kv6LbsKh^{w ^GdpRa02DާٖBS]sSv w]e<&Gh9#@{ H1) ؄iͯv*G ЍdZ/\ *zˤ[wp.v8U[9$H4~ijWJID?*~m4jܝT$_f0î*4-{<U'0sn{lw*{ j9JIw5[b9`)r++K{ϐ1TS`Miv+@{m յO HxU֑F"}aۣ:;O'Hzgq7kH.Ѫ8ub-T'J#ʲɎU|/+$Kh6tH9%Yu9 XWL~O $AYxHnV܍UmF>d@frJO’@WEG}=\v&:4MH}N#\G7@qcap\nk*.q$*JB }L!P3ι Da2vWxKS6qc\vKjw'[6@ӨyB˱#C5!.GeBcWt^JJφ̯+FdbeܣdZԕ)RAp_}o nͫVd!y9 `^Ê!Ջ,8i6˩pax㇘fNc泝S8y[X\|e{~}kZ jAxAы˲4d\Sn0NƸ1 H&iGJpHu LH7MV}ls!UctqM8 E7Q(?V` DRٳ:hgZT2ntn\^n@Bcz;gAዊ~UgyTٳ3D,2%Il*_|LXӌeq(fK\A^yˁ2ޱ WA>!slF:9J֢x9_Ln(`fo!H t%O&峩|J+Zl{kYMu'_;.;P13zCS jgԱ2CvVhRȻf:{Aȗ O +[Yo-=je|7*[Pj }eG]OD^/4շ͡ Qd s/*~nZwt{F*2m!%7&w)0je62NSUF >b,5mS.}\6V+}|v0ߢ㋍NevH@|IMS>;ڶw=t_IBZg*tؗic$&tFdNQKSj8b ƬR^eCOX< k/ tW%&Q@K}۷iGUr !%'[]JW"7;`g lG,9Se2rp#ETys}%I"sM_FSw#Vaڭ{C0`&M'sL_@b]>۫-[qiK~x4ef, lzQ:i-:6n8:ThȆJCJJ > u_Q~6Jq' $b/H'$Ab63ri,+ӬHl4'x.is"~#-vzUI$!DƝHV qzcrY5[цNg'\h}mW%q!kb3gY-js]N%|ke޳-8C[)!2H,ſ3zwHjщT~SZe$ΑfyTZWAmXO.aBv\\~9Dpq0kr&e%2LG Ndf]gć^>b`z^Pwpܓt)%  i"RL|csA+c\21Cj,\ndMT>%V|9F cЧ?xT=H78^g-Cڂ`oIxGаGt$#! ю7UE-xyӕO[Vkb怅t՞I6]tDzI~Yo%S0OQSMk*0?)K}m= 4k nՖ8 btǃp B7I7o%pՊǎfͲKcoyl񬀻?,p@K/,/H xrVOӓs8WCHRpM0qX3)ҟoK]%` ɘ+U9^{=,klC'iUI^=gtxj4A]Dw \A@HEPGjBaƂ:",k]~lG긨!%gi"k qYIɤ" 2F/|8&X Ϧp< X,nsA>y|5l[wXp6 Md(퓥Ԛ 45s?RN±uqr{c٨mPg:7̄`$)go঱˲ُ_E_baYЉJ$1I9MPfP,FZlz|R :nw6?m3䖉4埃?kz-P8qRF42+0" 2s*ɶn3p‹K"h8y郸)mn2OI~\wl Ĵ4:zt4 xt74Ge?mu&kKP^W?+‚U^j Q¶FF\xV$̕KU^!kcݗgn_MB DP9K4𫫗ʘ JwT CL̵MmQ]xK4j^WLIJTðƯerj!^xBH7@? RO$Y_[9ojU.LT@N~)_e?n#5i["lk$,";Um>rHrmF \A9>\E Gqk#b7Lo-LީNT ?Y=?{}ul :s~ǃoMpZg)+EI\M$o7RpU1& [o&}mJw}F)q4*=Ĝr>sB̝M}8<9/UNP㍐Yz_H) CUTLi%A;<8zIY@BHB\Nΰ1iغoEW?wCh"(0(ȃ+?'0bʥ/𪲫 A#jeRS6.=Uw[$nw{=5;%-x(&1 4-rlY8A}tA@ټ>ι98pYEA$00.NjMU/͂{s=|>0X,3zw2o)睏H7}7 n *,ցZLz 5]'sdҡT|+}nfEfXHyd%TsiKF'M`֐.2HNLeӲCߦZvLZhKF48wNDb #U$aۯTgnWZ$®x]ʩ/Iy 5sgd+&*yeYlc8pkIC+ɎOsà9Ĝ#Rg#Ԃ+I'ʡhP9UD }qag zWU"y!@{GRBӴaExsN6qٵ?TIU!$_q'5Ҁ&/睝&F5;һ4Fb{ v9bجOBgʏw.G)\CpT! Yјۛ#ucNf]֨ '3%ޯeL `*i:}?`DyW, E͔$E5gآZOõ( X5e-&_ -WO6.QnqȘ)rˣ u)CS٦Xvf~j5"Iy90I\D*kM).&#<ܺvg{lߊ`\iZ `Yo5djnE8.cOm{7` =GlP'lWRƢx9fMˢ>rFd^a.T H:VvD8o//uZ&gIͿڌ qE2jh!IŠEWa"s\N ݷR ĊDH1U)eεd.IKgƨu(m7vۢx& uDp@IAq:sEĹ,ey]pt5aJ0KiQI) } ;h#٦:igry\(HϦ\Hӹgpu*JwRMjaD tNK8Vݙb>7ԈZD?4?1_o&gA|п׬[wxыD\òblSDy$&3+d #(b ~=\C ]f@?D])L-+^^NhxNk $[v`S9X}<>}nNi#wƽ DK6nɵ"ifltQp<90FhPZ-D{MPFWmh2Y>}u–Uu[˼BtX7x/Iywܝ'*ʜ'a}߈FnPd3lp3RJP0kWH{@^?CB4psA & QT&ՐH;Z 1UhϖLM+f# $u zJ{HŞ i\%Qh ef 80G}wJhLۯRd3vHònϯTm0BD 'aٛChv7q`kŰl,(2]`?u?&j+6==}!Nq>[]-9"O#U_r[K)QB{Լ@S[zui?aW迋(XIh?Dƛ"HU[FdNk)&6PଵϝgѠ!)jR2ve]=3Ǹ y(Wd@n_[H2 %R g!XˀkksZž| P~#O>,sp"t}:4ϴiK>_* 9U4-\D+AaR['M>F@@eto' +y-XVc=c$œtG4:vrܪ9/PQDw?oWge½o)O5.,ki/@2`f3^maX!W-o*WI@XEBb‡ٖ ͳ,AևAKj[-7UK.hPmap p7㉻E2kir %LL.5#?ń-И9Ew&aNHq&̞s'QoQ+iv-<2ļsSM- C7tը@Bxq˰RBWTJޒ_XE~d=\&!iJ +L5SAѾ rEvp!WΘ(8ɥOA=>Ux$LqD:xD((~L)Ϻ+D*(/vkIo2U}mu]&K(K /eIZѶ<{=:oc*PB" (:~) |9a-:g8YVXAI{>\xp{|uʶstV yD Me;'@F g? 9G]OT*GnH? ‘5Xc=Sb=-vXh78:k0tBsp SZ9sTs, AnٚD{fc~ <;8?r.,3 eyl,I8E,$ocլ"x,o?_B}:JKdSq߈:x=*ὙfIa s3Ly5Iw|>'"_"y:m ( =ckܱGXwoffZ& H+5\Ͻ'9lN7q *AɛFjO<*kث4s`E}@'=&m"dC xbΉ6 e  jWUK_!'wޟVDj;GX,q@f`y4sU5b9̓GsBDOS3{z`., > ^Y*!jԷg^LG90URo-?b=!lHa\'L-oHrdvY9TR/f٫;3%tx/܆?dQGy Ҡ``_:dZ%k'ʴͦ RFq*X˜bdѢZ}k? s2 d!Fpcar}w~cJ]ㆊAbɆۥ"㧡t&vGi.K8'΄4(ɞ)oװGD,ABslR{I- d@ "֋+\#QD{7<}rc:l>X_uiS OdsʛAWȝЬlT7h @D95a8\16V4gd,}]]v*'迬^*֥׎SYn3ӌOeYϹ̘M,h W3+bR`" MFm'/&WU1ֺ&2P vqڑ_x YigɿUJk+zG‚ HS2qGq|hh$Ipe o/#lóiB?ҢVfߛ1EqElSN5ANn}rB1T1?UrCLYT*eL.l)lTWD{T\A46P*^|.@|*"䬙9]PA  8V4mEt)PvBx׺Z|*uW-U0BUe*Yj/ڟPE{ᮤNXp)g.\7HFb8T"j)9侈7Ҋ@|-S o^.k eH"L e.0 nKHfYy#bpvyVwll [I6Uls}eC=RjO@68ho`[. V/{`\jɶ1"3Xt>\i0"X[O;NS`) Xj ֘̓[qCUlTD?:j< (YַbʔC8oYRRA"o1.MI#CaöYImj,C{![nNu6LizЇQQ&fZN|TX'9H8&sin"Sm Qj:-Zgr"Dxhf2ô "H#%]75ƭurKݿ2=gT[(\g[h8y_~ roKb׫ hADYBE;\v#kЧ'v

ބNlxCNgI`C=\Ncn ^5缛beUUxNlAxVƛ웂2[?pZ!ۛko573I#VQxQ(t5R7<C?<F[˾Dg>Nd|y4H(F9^{Y_ytR)s ۛaa' AN\Rm},}{u|?I֠Eͺ/1S"YrJCmafm9MnDo~UIPϥz9[, R^(6Z5wkAw1HJD& YhVY[|9? d&I;@h.~\qn6oY1c|ذyl2]"jφb^u=EXPTgYZ7zXZִF! n]ŗXi%I5 v*3 l sQU-l널T-)4$KGr$FP2j%F%;7}mwjŌúgKN\X.qQøkձŹd p`MJ6VI\7[tnҕ<9v*4\OsR9 1NIC ~ ZO 6ҐD?nݐ~>E>RӇb z|вj.Pm>Jd˝;&*̺$5ߣ㗪)ۡ8ʯXa"<);;طQC{`1oCCr}_-3i9-7B6QAOnqPޣL•,n3):򹨗 s/sFw;)=Z>יۖ38VQ7/癩oߙe1|$L(x"s=>\ViCϲr "{TTI[ ?MSԱvLYv1׾QSt 2Aadm\;1- Fu#Ṭx4dHU0Mpc>JUusD.rga* ;*2<@ J}AXɤ%HJHQl^u}TUEU{tjSPef Qe({MMuZkw>8HR+nhz6CE8̕97N1he mc; $P}[=f/8l[=  ygw9!y 3[A{Z =p@Ѷ7} FQ,,d⿸ c{ͬ͜U3UBJ,`cطmBJxEDkHȘ-$̚~gQAyq FǎAi 8b(5sq;v]q!N$dtɃj1-s1;<nbEK-~}QO᠋>'kW\S*fn_ܥeV}, O1\l^b>vcү躻HI7 ->0bա>.+ٶ Jdm[@ Jg5(B9(R^^4~u\2$4O;"9aGy8Fk~ƀDSUS+ωqWX^+%>9$E/jDi>tw,P#&gzKۀ-ZGջCmi L3dL-hGg jbS_/qU7&ܽEz![l}yCL*F$Rj;$ o`}<&@}< $]`uׯ##mmכŒұ[ 9Y 1N5dHW!s\&m{$fAo]]`EtNze:: 8@K)5Aa;]ʻOôm ~Gu)1@G! ~ =zبz>pv]-h9<~QplZ=!SIgS)\u!";XAN¨nWǤmA&u({`3 nCq:ujBț G BGXSW0!Lk3<#]Dv49fn2~)7C#Dgy2>%lxor›e 6n~ac u">S,Rnf`VLy3=Χp{'y+]s'%۴NֻNPB57AttCϞz}(~!S_;`Jkaqvby@au^J(޵JOX͂ qwo|N! /t;0 sKJ4t̋ %N60%:HV.6~AW_0UHZ"c޴~8k̑i4ˋYO$+Mӑ@wy<曯'ץY=<$ۂfS D߶O aL(Fr/V1'['пc6kl'.w;drM ㋸s |Iyl Ku[VrUA L.e23;) J%mQ<< Y. Y '~BKk1ԣ˴P&wyRKIMBDc# Ubh1%{^ErB7ʙ35¦PIEhR'K/u;0s<}'3Jz&JPjRU܍?`gI;\zqj ̇Ll8cwzQ#I ?Z) NW#*>KIY9rw s)^&Le&:0szC f"I*L_ފ$@TZ%>  `ӋS벛 3.NzZpRj(qNک24t0y)ƴ;n.agE-(+-'c0y"D_H]飞}?w@S#+Z*oc\+ĀcNXe\]7m;s Ĭ„QE`rgNeZams5g&`̱֭a,+`иJ54_Op~φ@-!tJ!tӥ?O$x>d;I&K6Pb)Ue~6Q&eAB aqTi; ߴl~wFf1)KWu@Sin__tH%f2I]-^]zUJVbbfrn?FYݱA|TE,zEm1 r P2(v&4o^?Ov/Fgap9:u,No(jعyH4oY,%=ȶ͉g>)`2SDx04:#ufn%->%J(WnJ۔8Q_x2+sl4t[@˶N/)eW3s4FV mے44>fN)S}GxP?M`Z3ډx%~nf փ{T#Ap֛PvFS֦;#?B}s;v"0< 5Kg@*ۜE~#9 W] `hNPsL}oCdBoӟC,a% \?r"TVV_4IGAHjCTrnF<dI%`TA~Vr d.E|"MT,ԎA4%;RSO+nl z*J˳anJ"va,͝%lշalQXW3|@֦ #ʀKx|RͦjGV|A, VW T̚d G yNaՒK=B<~m2W}+"~N_I6jQP;bX P(bQ"r/qkٱpȡ0] 'ƣQWzCfWJ1'~Ox9]zN+ay\& ⇰ʁG͙tMk6JHN#WT_=?LU=}?GE[ !/|v_ʟ5&Hl]b4MhAgZX[5hN o%-I!ގQgWi&qr(~ ;콶; 7r!NcRe7Zv֪Hx{>#MsPYC!NӷbF$Y`>g(/}ҎUf7l7Pjp\"ʔa\pWؚdğ `qjURHMt̥rs Ns^u[/a:aQonԄōڜEF*G4Qq0RKc fUM@v6ͮ:v6{C.WGQBlX0>DөX]d7zZXo_&9W(9^"k_$lzU X>6Mؗ(j;a~;\< 5<6?K`S>[3 T>g8vZ ⯎֋3 hpP?ZY-أhSEmw>4ߠ-½]O$@! .Mm/N=8qv+1>;/gX^=&(e_w"|4+ @Db)=͉[m QmC,8c G.Oz S ă䁞ޠFJ`?Qu 3Wjvz/mo)r;4\ QO]{Z8no & do[qya& d'Jî6ϩV+gwL[ϰ4~n^.P4.Lf8GAHZjTb~uG}>v Ja{qyeZZ"nS^7 i4}ŭ Jr~1跺:gsztHE_+"OѵwF]vGdr>-3{:g,jW-/:U=2 d13ޞ8 @/ V0?|B#_lyةo{2xFoogWwyGz*[Lô"$e8^WxS83yj '<Vj>dfow"i NQlyglQo}۝*pCO9{%Euh؄^/9.m-̫=̂)7_E) hf1`u kmk;"þsK+cr, OfHZؔh|)( ETi{@@cp&? ކ5cb$ )M>K 1bPzD\9 JR[gt^eo^Ui,s9aNZ&7#E{0VD-U5'0v Ħ81gUew q}sǴnzCǗAR2&v_R_;^?h)li 98WI$9G^#+D9۞=LdǻA }v:0 f~gdu;ghEΫ×3 1嵏xgMֱ}uFtAXJshUʹSOI# 5ˉi(~0G8LHeBiT+h Fzl <.TEL2-2Q: Λ}Sv^ab4 mI}W_-QV<,Pm-,vHwޠu"~ kx.å`qZ5'9]v>g+'(4wlTН8bCE`!7$70Tx84QtWǥz7:Cx#(]ҍ]좟ӽ15X;=w @!6(^- S9F54ՆAQͶ@YCAtiD|&.jL PHFb‡ڮzsYxr>q6׷$m,80$g>8|O|[9V+Cgt'/=e2m KnoBۿ&M9?a(II_CdC4F5{C\ʈUbCgZsVchfDThC7, | O8ErlZcׯv朄s't72Gf^qF!XB03g>nVisE1Pl9 pG|}P rYߘ5nXD-˗n0fQ73v|Ϭ]YwI*a=KYҌMv#>(?`&Td :Mm~On]."VEn[Rb1~ '7SFfCCtkh/Mhv6?$% "wZd湚öUّA]:W0>AЛ#c:g]6N-qcbqrg֮G cKq1\>;0htէI)Tf!<fL#L2`U1GϒQL`3?8! | 9'O y~{/)$VY_ITyfQc۳7TOs> GjN"'xDh>A:wƀ67=nt9jh1K##0۽ օ[yԣNZS Wx/ȍ=6rZ=]<[S6|ĵ)Q bOOڧq>ⷤbR߲lwOB <6UN}_D vK,Y_gWCf^ѐGw?oǁ4XoWǓKT?.4c$G2aԏw? aMD00yǍp2%Xu59:c1|"4&,"PUqF|@֪gurA> h#H>!8U+iiBC_+2ɋz Df$:< JRwK;/A`OX" MoK+Aa4lkf 8(bXcR38cV@mr>+vϐtdPCrFL6uZFm2EPaHj}K% MQ9;'+f 7vVbZ9?#za_2L\RR i2p&`o'=zKxm2,c2WV9ˏjʝyLt ~ Xf4g>՝_ ک}fmXz=G=id$`t$k?4DLQ{t "!B43জ-p`niT.}t*e+R᩠&dcusk0/WKiZ  Xrm]k`$bVgFUiۛ a<&Tt@*bxW_T'^O<,k-l)ͥsCɖ6;W( GVG]{:vph8]ksi$>sW?uBKX1# :M؋p(##wEĭ^^Ll{OS']h?%o\ez-w?٪Fv [$7>C[?Ro5Fe>S9C~1ڝpfJ"V*iH0[yHjVe[_(@9Cb;, +bzVk ,4}ƣn&qh菽"D/JQ  {P'p"G.\* b1h^LuVQOe/>:+Vg>l/M*+ o  k?Xqfr|䦶Ry~8ؾz fx!1溻l,=\,#4ƌş PC5;ʹI&h~y$?3aHHLrkL3 i4~cK! j\|h pm)!<{|-$ gGvK[F*qF 'MaǖB ! 清RoJ:u~Ho|BB#]>M1)%a,5ku$6AG{4ZB'L@rS\kp*GmBӰ_^bGrZb_>"Fh`|f[ZP?!=H4>U@3 ,0qՙy q吕ٛR[$ݕNOJAD{J41iS9H5'WfrBU(XG;6wy8CJocQ6 G:2w5 ga3Y |])$7g1{;!%tHkaD>d_%D0晍L5 1L8՚G%~"c]݂g@W7~x tH$uYZ2i\p^X*xS7{LmF]֛eao$̸NA ?1QP rP+/Rv ? nǖ VfCWͺ3ZuI{o*MmBՏoҵ M4i]NG@yP|& #X5ًw`|OFSm3 !biЀ)ZW/AV0>4at`mQz L Goi#[G7kl<ڎ/gadbYa~M\a4pn~mve]`S70XxpWRkGRswp1"+ =Vn .@,ʱg1v^N0ŏM}c)8<<%^IF:ԞEm1Cg ~Hr-)Iu &ffj^J&/Č韈a`~YKt#H3%6?e1>Hvߋf) 8 ~M a(Ӎ3V^TF3=­3L!^Hd]%P92ZQJw7pn2rdۙcN&byA ҀV]`;{u%Lt&Q-nʼn2a׬/ D<ͦ@TBVSYfVЖ^ *YX0D0niuZ}Q-q;A>+-l9IAP$TXXc`Wo)2 Qzt.}eaJMr ,=Yω]ZMhHbE{)Q\~ m@*9/.Cuуsか~L!]{r{lIa|٨F9ExNo]v",y]|# LDr[y[r ЙJ\K*qt.|rFu_8b XGoei+HTbsH}6>< )@o SN=ɟ}dقފU&3&0AH "pXhO̟Ϫ(; Py<^egXmgzt<46>2#U =|'3?(/ъlN~et|wSR Q9tQ`@Vٿ &,%ײ4׵%NوȒ"e@Z<-uv92Z_V!Ǿ&\=\oTw-áFbFK,frl{(!($Y$M8kxa]0ZH؛^: ]`0B40C ۺj&ғUp&+ӘBN4mz[1WGc:|.F PU-Yco/]r3rcU)ށHIdQ,0z4C_*ƫRbD} qlBsW 6y-?X ؈h%s2P=/iSٜ?_.1<8C*Iw5QKVJ#قPw3S4 Z;-#q1n-a^} SJQٱ<]>P̏~8!)Vb ,petm"Gb\:g f=VW#rYmAte1*9|V@4\ N/ީl~[v$.ИqxX#ۀe|9_bGN&_}xdxLԼdG PW w5`~Rhp7SH |#@ }9Ir`,&jT?; 5(ȭ.S;SCFt-q抲&i&쁾\q;lXnyAM@ȉ"KĮm`F%_s_N&X*ۗ$ xx T~,uX+t9@e@?obâ.cx=q1i#W[ KJ.|/QIaRV8X?<,E$՚)sApHwׄO`^Τ C上c8gaMD bo|VuxKBݘOa8,u)kR?{9҇#kC+䓱T5F &K81_ؽz7J֒FnߋSVzUrZ>ǁӞ&0ӿ^xL,^"[*Zr2rYLJ2f5diڬ\DS~sHObou(p*5_t#U߷mߠ$}5߿%T.&H2D;ꁫ&1C3Y|̊56BH`P%fT!_)Ngmw('O72*M[5!3= \Ye-l?3jmr4RE3C3c+i"ZMn=p`SݠE}Iec9ʍcˎC?60'%m_6|>ɸn4K} UO*C&=\fU`R(i[tQN'n;/5 vATD_Ypn.A送U ;mZp{N 9TˀR!ɛk>y33)Ys(ǁv:9 &5[YKw^"^[J$>-0t\R?īb r9ta i?TZ`Nyh>@0!VO.U-դ"֢y^gilM9 lUt܋ 1Hp7$J ;-}58YVBX!<S~V۸PZ,wG2FMT%tMp;:U1F?')l=7> EŰ+ڥNĢ4RV^$6j{&gtנ:5[H3kֽi#G&+uuKQ$5iZA0\ypz!w0*xr הXEHyE\0sR1"Y23oˬ331ivVӦK:Dw!`\knÁ-~vV cz69Vτ/%PQtNՙOóNp5}.kld AQ䥘MepNY_Nji/B9 ISs[e:^˷4@*Ӱ"eV{%]=VMuvĿQAl!$jKlY@'ac }g\o57hIKP#_{>su`MZI1>FVz1=[f'BBv^ߊD@:?06B3$Q" cQ=%ԣϜ5EEvuD4 r2 DNt!ۼ %So5e)Z7{ ToY0 ѕGp MpܙdN? fo#Td}Kw(j4y1>ԝ7ȭ]w~pBP/<߇S"慖1M xkV'&8,鄥2n %=p2$ϱ 5:Iu}~#f_6}^1A M= CRʃpiVXVo".]AHsx-p,r8Y'/$_~KN. <6M/@֞,$ Ҝ QMC^+L?oC p`x5" W>$34b60G@ǃI#&-<2iFsO[fc9DL:b]rg~ R휙79;Zj@X&p4>pތ<2z˹>|Yת|ۥL̞\ \CT,Ow]ErZ݉Vx;Gy9OUI,ioʉ(2hj`,εyH֞]:q%HѾ%A:M6h?bd ~člᤕ-(/Ta^t{Q^Z>lKAѝb`*qhrW otfkLjqQ|`P^-2?,Y׾!(,by7'H%UcUVoN:^B1_kWxX+H,/_ NEOet~A7#c0L|gK͜5Z~D"ss( c+%f%ƭinQʧIv,4T;*(t_ "eF)tN݋/eO^?Bղj_Խ:Jg DJ׊`e\oa&5޶r!Ɍ  o =RrI4܆П ^bc)<7:$-{ލzWEyo(V?"1퉏ֻT!!LJWٙ;Nr5f`(P"XW_B]DY˃^'l͌P19i#Cc92dU>_>*j`-=%B@z5f'kagPo SuV+yT)rs?%hw/\Conacq5?66Lׄ1:bfl<1@ V>='~+˅3v%Z6@K\h--閯as4x(J_5iV46 ~G'y:|? +y6{#;dw<'9xMR\\"k ܝYl-8 xiBRPN pEDY#t?W'V{4\v%m}Y;H΢{exDR]Y?Xk w3M?6g}'!Vu@蔓|aϮ*aؐ}+SZxVB{^l9OnR4/;7=;XPnt }ډ Ai ߻?x>+4.n{ɏ%թd{WhwB]y4cXGE6+T_mꍾO5Ȯ܏W{S.jc8ouuPZ 9%{@*dM`@p\<-p5Êw[M3QTZZiR77\̦*aaǔ D3Zئ f;?<2y9V|!OebFI [?k{`oUJ >Y!: '~6殌f-*] @bQC24R9K p9`2(XWA+}7/`j2>3) ZV'G!u *@wZR'O꿔 287uQgݟmRCBfGj?e+-3HiI\]#5FB*@z˷+*ЕZuy,鴗OƘQSRa'֤@P|X=KEPhY 3Oib@.+ˠɭmp=\ Nby"X*eDn3oR s]ϊ>@oZk13.W}~g/r-ȼ>7 3`h|g&8q o) }ؑݐ~[|yUNkb"C lN~&_"PJ!9܋5NZy8vuM|FUa#eN m3MxlK*d;%,)u7,X/3\4&16$I94bcbyFW8h}vc_;IY@.mBQ`h͙\vv1wB*k9L%i^%1L\,# !tT\Ra@8 {ɉT%sAΑv.!5س$׊lh1eU9`EuWjZ5a){ ݇I*:gTbT"I2e-V?Ō3""Y:#-=7Bsdq5[+@Xܒ2N *zY!}PkSHmqV̙%r?MJ7d72*l<5 ۦ[Ȱ*- P+tL8VW1&Gs3#\G,KDTEw JZ0;ْ 4As!V.w}֘9HD9c:u-8s3!"!w΂Z_~p6۵+@`a(W!ݙl Yndi-ز1PT!tG-vDT$:P:c3DcDɤo^4s 4H<<6=/&-M52fl7yUF_othBOE(es 3)kֳif) Dٽތ+Hp$wy"2"ոP﫥Z)[ S^!i uw򸋀N >ׅ&b6Ե?cdwCLxs ʛ =s¹!+N_U5˗^ٴj!3$k72|Cag#=1[Lא}yfO؃-jU1,aTMTJatm ".vzΆ;5;Z^ |Kd'4ϊw[,֒_Qʦ ՎNȢ\]XiU]TF %b.VOfPK~55>q8#CO'czw|JJ!9,'8x,J|aSEMҌ-Gٺ} OȰ|{:HH<]3n{ËNK _Y) c7?h:޲ʡEڧ{l*xhs2~sbUjC5q֮t sc(kǁgDH_VPy[M%M; K}l[v>PgĢpeir1Ы:.c9WV`}{r~^ЈZk kBFDà bΫ Ȏe/$f7s Y=4s0 R2Zy:ڃ; m{M I0RvS #ͷ\x{lOrcJq7wq1Ltr'F.[YƸTS0 {hT{l[Q3˼IBWckb2 Q t;ڴQbcܷ%b]xrqz>+b\kVƔ~,[c8#@qy0\6Wd8#H qSK$}o@ Db ^^K%?8>O3nKpziRz+^LZL5ˆU|U!O {8fLd)â]y]h,եKsT1:rjd@t u2h4s hjb0&=NK:^] P?58T rsX ]6c`p!W!ƭA0x6 LXS;Fkr]]Q³ rh3?djh U$ d!F^>_f/~cfS}CrC,'?t*qWnoQD_ jxN%=hyZ9.Lo 垄QuWC1hnZa} dlɁΣw>JjyN8<${?d+_[A ct C}^v(,*qcHW쟊@LHκd-ͦ0WssDotؼk-bg gяgјzs4d*Sӡk:8pn%fo;Orou٥bn뜈NI$x-XN' LL\ʶGY?+"gxHC>lpfm-x4UujA6}:EĩGo\4:_Fo K3Z?muQWf14ٴalڰrDVMZ:ܯW \jFiy> =9+_iJ!*^ Ĩ:U.mȀ)֑451)C] 7SB1\jjtEB8Uj2VJ@ &dӮۉOu̥ܺZ>Y& 0}su\߃,L"pɽ@S' dLĞw ዢJKi/}mu`E g?6Wdju@ /㣋xP83yܥ]3[^*ߒTXX~hpi7IR5po(^ilSj.Uc+*BgC˚)V Yǽ~dŒfijeG~&u!j?d׉)\΍Y{u[{sϜQ#bln2(SM"WWjp*LgⵁzI*H*t[wcr%(bBNm+%ak'M1VF]2ɕ}hƪS8ٳLa ooK 9P^uFTe (w ҨlLm-(-t('{JUk9bt'xbf~!g+(iHW !? nb5~<h VE:j-곔CA:lFҸ}KrfNŭQFgd,"?NQ1S.@*o.NHS1W`~ gFF7\%I5˸b8ΰeH `I>\7.-ܙ1LuЈe$P~GY+/R!}D9'fV@p ?vۢ-Dusۨ@l8Sn#Bdt]#7@Sܲ&ĭ iF(҄ yc"{ f.$*É dN Q[ pHܼ9*Œ?cT6fbݥe$yqC],Dk>4y s/n| }6Gkݾ>,}p- HA;u-o}GikS«{մp Y_Pg{LY&K1=ԳW{x ~xX`7D%ғX:njv,UD]1,"k\ *hxuhVBzZvE ĐCۋYtӐWajQޜwPU?50EgE%ZP"# cõIy zKwfC ]\Ǩ9\is|]L^;PrƷ;=v"HX3ֆB aGU5j^A8[/3Il%3: )}d.%mTjr-M]V:r(]sY]RH׿Ҍ=e`dtt Q֞6ԮϚ[}__J6bY'MFhZ_CN?@=M_O΢~[ kM{{@-m1bėUkb'\ H^XC CKc yϞH8)M jS8ASdj"ʱ Y0nO>Ze>΢iW)Nk/1gRtI^y&S Jٟ-5MCr?o^wQAh5e ç`8*)=>ˎ75E!tc;6:=y6epIѶSLPAzОg2*jXuT׵Vqz|#]vQmxyh".d82!L]_9hR[+I1ȬlF68ꋢپ[l:l|b̍=BrSOJSpμuNv%a$;-?#B0Yl=D%b1.h 5w6D*EJے*̍j@Zc~S;f7 9Eм EKLQ J:8i(u7*Mұ7q@'zLFD<5ji SDV[WJwśyd|Q ҉= RQc[X ojih~F~0LCKƄ O&`GcKK]Sw3tO%RޫKV9 cyjDKHu`Ef2pJ`Is'YUQsǒpH/]3A;Ԡ5 A=cYHuUoZlJY煞{)O4!t^ޘLJkǑE}N؍- eƂo2> 3r?z~B>U'A52) Iʩ/24g$9ϯ8hϨ`%~lR]_j?H؆Jq|q6I&#8y˅@]}3>5ihܞ&]Uܵ6)+k;>ߜuh~Mu֧SVOGPlIB#L\\+ԅq$]t>$QZ{-֩7 Lnc%FT6NvP0]0]7 .+)Wi85Ql&?Oux͖iB|I+P1f o$\}3Pe Q;.U"EVqRSJr̛H/4~jrfLBo?\vԂU#PipƗ<_k뷖A+, PY ?"7Q9?yCn]:Vwɡ [ #]Tr"/@xs L=PI/O t&%`]??'V@pO/n{e >fGCF5/DdP$C-7ʬ!+ၖ&O-g"5;$v3"@wuQzcӢڦIE$!-f=wL(2^^54kHgYZc0d628edd007b13c142e45314361c8a4d1837463cce1fde58c2854731b4aaf54febb1fcb0069279e d9560db8ba67199a6d700b6286ca3ea8de7b8982d5a57e3a65224c67b433b2ab50efa26c343585f7