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  ( ($Mv|D ] Password_Authentication_Protocol:threads=4elapsed=83.849cpu=201.208gc=4.8647zXZִF! &]ŗXiɟH)0%o0Ȕ&>:PcQaalH P!Ky PXJ7jSWGp ?;茖"Y7ی⠪ Ѡd*+S:˜BHɯ͎, v}e,IY<3\)OPQfm2ADi|FIh <(Q(F?r"(gQhӼApퟟw2ѮgZlNȤ‘e"rNVjФ^f2yo bOX[r%J+ $BEXx4Z:Ճ'FW0 bӕ&ari BTt0ejВ"ZDk7켸gE<ġF^LiڄNߏA"t:Q 4ِ,*RlviV@4CU_<Ϋ'\ȱ})n~,~LF7c& ˥Ծ`:c=iYej%SMݔF;ei;+ZoKЌ1b4a53NYQ8"LYu*+ԀMy[8jn\#Bu':\m@ #M Password_Authentication_Protocol  P4~.U# lMJY GǬ%0T\pD30lEΥ|c/gWN^:Dzl|/Z;[r%[z !pY׃JpZng7NvBj n*vİ3F3cމdUߪ{ql^M( ;F'o%sH^˷68N^-8VKF|LŖnl4}ѷFP0_Laûd]b2z5F[fv;^K ?U9Gk2b $yv5tf0J&fm)nnг]OF捸@&j` Rޥ6OA=T`%=sfٯBPp%XH̝sZPkVɡ e8@('.;ɣcXmqެZt\,Aomd]>%)hFT੃ ] ^j \ /c4-; 5cB5HI2'hSg14EKseyWOrv"W:eȎp-s䶑~d nаNk(.&wb!,ֻZ(@fHސ)J!-*=/2Bl n(L>12*eCep0rP˂=XE{6 Y*2ެ79yʹ!P9͇T0ˈ ˬ7gpi'Fx)Io&l 6Ag,l< N/6}svBb2JifpOB9{b"v8?y%Nf)+r"6b .οKUaQŹ:iNfc0c:k7w? )w(H#;I\?ъt2W ;jc_+D_$j}inڟvZsi?^ʛ aP,,7I/_ h t&bsqYqd` 76I7a/oQLE3洛5AsmGu{.7 ꎱa]4DfOZBcJA坆GU1Qd 5;ATUTN \,oޅM}^NPHX)721]B/ſt*]ĮK~ƵF.qi#K:iNqzY-A}Pg-aB[g)I4$tR8qgا|}7'QK޹X*HIQ%Nw2cg>6pT0wTz[_3{Ɣ>uE1Hj [zEHVVL0s.PbABA<HY 0M$(m".R&*D9(#4 G6^{Gw }Î]!t'%TTY!{b;½r؍}ʟz`S5+?jLe 'F/:>ܜl4OCE|d^PDBÃCo^, ODТ0w9);ЕⲦ*{AZo?O?-愄J>l/$6$p,'P7 /{rJH^1} }nJXӼ \雯u1 <ͭMO3IE~ڊ#hQtܹ17bwASyޫ7gŖZgEIdÙR.z>eW*|ů!w H.wP`rsyD"h ֈI*0ɐn/^t(' ƚC {F[oTI uyMYH~2|M->oVvDFG` Z>M1ə5NGYܖ\>ZÙ]uT&"_΀!( `[E Muz^= e=Wˇo;bCeQrOT;le B$J5Jܣu@3P5U>@ё# lM]To3_-[,sQ8My'UjwyW騿S5SƼ?{*>t(6[ڦWy'fJs6#Wp3R-h,iڬhz˝t-n 8^jj8Qgϱ]xt~A_!3*u9đL,qɆg>rN?NxLodα11A% X_* EB]Gs︆yY0w5Xcjpt1ܢ̢yZt~ŷpgE2ȦI3KgXlZyYerX|5bueyPi%ѯ?cmUy$RwTBcn 2|' "x(*=/"YQC;q5P<bV7Q@ J.@ >2˯{Pn, 0{V ~TU0_QF;M- Z zCp pWB]vhӨⅸоa2'[]Fۏ,ti(i0(|4xNK`v$pZ`y49I\6if+Du$V/~w4D~ va@ 7Bf1|"{5CdtK}k# h쾳\Ffܩ ߒ,/?d{XY. Xc2v֗ؑn#?! 2dvQegщ:SHoďzUU5 Ȣ1Q8 hPu lKƆԅDiC`MVk#/O8ф Cq$V3LHY狛#Vt1Q 3\[wLdǫoWLE; cвH*Z=k&V[t oAe8!BĐAJrUڇ*pdI"@m{YSV?wh|`{ۣS/9o;^:p ߠ3%41hu6Ulv>ׁ-^xw}[:Km ZOe&RkjϟK{AXn1vNb@XiJf3dI|sfdA{x[ZfJQY6+%U;B.O8A"*f3֞Um|D.Wž )ć6mwoB%x~:ZB/n35) M/_4 B'|~4=5?2v07|k<$\z;t+Jcӿ+ײD-#|H,HvM %OHu@e$zg. -_ʮ=?N oiT~qH =-QHtbbgߦ"RA?r}Y1rm*0.D[rxU+U7G c=PèQI3U>8]I@6 =swK^Zm2c -SciC}=R3TX -Fa')j[GժPњotZ(f&F`U|Bh< ":jDо]@"l(ݒMT +)F>z\K=*3r,Mq_TxRZW9YFQ ;7eR/B@k3(aV98j<ȠcA% m N:٤jQ~(e\S9%8$VGtx y%f!9GH3,4ӂC:IQBSES @<ӄ1Y9 `m 5gn}́LVrզ.eTsȒ96LǴ\G}tN h9Л8#ё0+vU+PڲOFD8.[cqwz]KȚY\6C ujb( Su\g1Sbƽ_nyn](+}zؓ')YibŲeԹF}IA,TM "9a6RS2?h,9?lX|-mnP:d ,Z>e+] ʒiGβz=jKv^ORngUwb7ZM/C5^cIn-@\2a#nx`BȟuLj'k, Ge b哸vH^ʼ 0J yZ˳2#t>y^ Y,^d{BprWx;m*7Fwmݛbam\gF*n ­#!5$3pwȝ-PִU UPӐd2rJr.#4"@+z5TN^^Pl4$yQE!"u2uɂ&²vSRכ!hᒭf bz˛`uc݌ŋWRT&BFf.'KnM7Gؐ!-İh 1^՞l2yHY0&#$R@iN4cjtWL N<(ED F=[pFATukRvz"){pٷc~2Ř3^%.vPMS׃5Mxr:4iIwK'˟k,-Mf!SkIT%I=ʌGN^D~)#ov8rpE,&G:g1\4纱| q1ޱH_jȢSDgҚ S20<#]Y[LB)F &;ai"mIU91yxR+2%Д=atb Q/Пˀ* JDL~Ivn;q9qfNbWn!sa+"AGǧn6{&ZH@FBm/QQ|L4pX$2YduKaW7]h=ƺp 3oʡtyh|V=9ޡy*^HSkp%`lkgZNǦENz˖'0 (pRn7AL]b bFXMV82wcYS&DMd^+]]dtp^#)=1z?pvQ@E8 K' zΏy&,p6>[>̪=6#&臣ǥԟY܍]oA}-dSEWA6Cf- $0}Q[Xׅ,k7A*o4>6C&,| K#Fgüw39#I \xk˵R1okMTѮ( ~V;[@KEbȎLVpbu ]m{|(L?{%c~]ry ,m(EѺ)(N$܏B (.{CO%46vv1N`N3:^gG#gI,~,Z=1 l JtVL+xŞ"Jc@s̎h%BuӚu8\HM6Q*{i1PuTV9[ft7ZAU.USaLAQ s -GJr8A/qreTbo%|]V&%Sͯee:\h9As:f+D$j;԰2—27qc,@L㓱=&TfE*y}Ԧfm0<|&:ZڌMK0NT-T7K%zdE:̛T9Jtovc'`iɐW0aޑq e"m7寈 2c.T4%Bn% >,, gqXd7笽<7^ʵgS474>&5 |K(j)f gg4}iuY #[Kjk ?%Veʪ8xsV[H5 Q}s INߦ,#lQ]UM #^Μd ,>t׬ڝbHֳتq6u]7 gfiFC"1^xή9IJupݏܮQ~]v aW7M\lc/}{fl_.>G0a`^eʣ=?k| !P'rKlojdo6^`H9 Unw6QudT`imÞ&[T'u'Λz6Rm,zrCwJA %R}Iź5o3]7:»t67SU PlO%U7meV~/:2GlНN“ώt -Sm"ѼJ0UGe@3($ܾd _܇@Vk%u3‰i,R~~c݄k_[@=L鐗beb]4{:h_qWP!6V+Q2^(?f14ë'~Q<´v*;~TJkz 3y9F-ƠUzmqmirO=+LY;b٩aqwAdNޏ@ )ΐ} 5A#5t2i'>%RX`p^ i륥I `:0b:]\X[ڲ+ÒJ]=a^GSvK|ȐX:|MDj *#F›DI=H&=I(B6Ti݋[>ΝkNrK 3#S"E=𲈛Rp5n!NׇTAIªVwQ;5?!$D|Ov5vѸ;h=#[8cnt,}Ȝf鿐EZ _ڗ`}aС'ۛNR˗aTuS8*<8yD-C$-wo#+L_l䦜>ӧD#uxvM'whF㟳J 47&<^.ʂ)"0`)r7\29]Lf$@.n{(~BC@1A =%xa]y^Z9x p(v3*#7J !ZbˀlrgVe>;NQA4E>^H;'PFCka.E /Gf$sG3җ `{eY0 |p |[Ν1- bj`+Sΐm֎]nvb6k4%u*7V԰~z(Q±F[0sHxMsM6VxT%'"zveL/.FR],(#gcdU= kg{puyng-/J 6+- ~ZH޹/lvoH[J Œti5rЋB }ynuA[epH! @ >H`Yd1T*F T^,~MdzWץ+Au@E8vuέWr~QL0983"\Mǚ-pXwD++Y)?lo6`ZȭgtFر$V!]ͩMk^aBͯm]H]MչbmU@+?"Q5~(WQr_V^sHKиc?ј7hV*Ř ,_ig'Ʒ9OV*bјa5 |@-Y.=F \G0^J-ZЭ!d]:g/@1J9SS |hmW)”hC3~ HdlD.N5e+[ы{>(J.$|pC&R Ck=꬟^9`9Յ;y\ h{+}_9+;ZwE۬Kr.G(E\Q-oJ?+l6<Qұ*+@5-@'96mr; к?E~q!Št[iRf=-Z~O#zDemOZڙk̑/a vl7p ong/^: oH]0jGA2ls,t9'Ӯ %sQC)ֵԳ3nhK|8ӑ4+9e}#.>lЦ!P5O=htW=|`sJxpyv>:Xq4C)s󍷪 r>fƘ\S`v8k*j!LX+mw~K_ ^H~ #fB4OB*WP$c_ФJFW'U ^OqPh0rf\"lMK.&,.K j1:TX+s:;)ar.0zOR0Oxf-i>/g ڈJ؎H$zz&m h)tQb+ި=u[3bKA>7e ^h$*mvgv%H-m) `U8?`Ec1D^+ɢ{W>տx2!`ЗzZas~ZD{w/}70Ņzp*u+zo O)ۯSDLU[/D<C/ ôƎ QL @Tsᑭ H֗|rzwg+gw?ø(]72pT6 >?1e!w5sX&RΕǿ\{+!MSMc/ڝx 9"b(f*W?PBӑQTiͷ pR6,azS_J+ÃA뫜j'}͚)Ev.y7yKΚ/)2-]C)غOtl{a>j#CIiXguͥo#ģFoYkVY'{b.rpWJ3K`sn_L|Eb^:9t` h\][t?7\:2$Z(IwS1Fkۭ@sE8 ޹/045_4(iFmS`)`o0T B^MkIWxMfyI O6uϒhu? @<T{їk~h[e6CoYs )JF!/'Z2236#M`rI}+3]p-yd}Gp?׏9)rꤶm\ܝE". (@CMgqcgip=x9I ]emjPzTaa;ۻ0l{\FÁމ=3J ?2";%cdepoЈ:qfQXDCX~ةZnx<+g^ #rr?Rre||XYRݽ\zNfuO<@ ȃ56_j4ueƚ]{~Sx]?!C}Z9B@iR3/r@TwW4-q|6mÙ_OfQue*mE0nC6#_$ގrAQ6k'%L|<^av3T..Zk7 ~LE-D30!܇fM fb٣ȟ^ F9&gR&nZVryhqReˇ%M]^|s.\uaKlyZ',/r2#F ق0Wܺ-Iޢ} wڎCvN\BdB (2*Vvb!Ibn^b؋W$ZVj:C PR\0뽺kl[ɕ_A/5QW!U&\kb(['<܃d1_x/9wkv`HOvkΛT X7h2qU+ԕ)icm62K,0JwC 29)±'}1n](97)#9/thB$W;d&/z)5 TĊBFITC84 ~/ ͡MRꇚ~T))Yvn__Oƣ f3-fo0Fq`x uܘWQS[=Z%!ڋ)qq0jo6%Þ"xM)Aef^X" 9gFw"v|{x5dݶlmr2DxyYq (C7mu?cDH3Oʞ_K#JP_q8&hH3Dmϥ=%m"HޤH23@5,还O71W#$s UIL_w+%@ ]!=L ϔ3mX$v+InwPcx `ȟ4N_ZNca:̀x=| D~/OOӖp 1#o wP"M$#e&wVװY Nl*/n(r}$yϷo%SXrh{bW*iL_[@ȅ|)#ݰڞg2E.YØz=MDkf(<,J{QMK=4&3 T`q3xr (髲glricsCQ,#2X`5]C&"kU꿋Nw}?N@bIC ]S4rQ1@p7T\eC[Lm/B 3Ψ=Z|K$lFUwyS.(|% YX.Jd8=ϕ[] Xٺ\W㘩7kRsKw Qj/GLܞ29S3fX,+sJFcq 'ňVg+&< 9( Ɇkd^xj?c3ȽtƷ95Jl^qcX"/D@ \ߌ{+.<~$'3>mSq$Z[~huBj B-84]) K/@̡jـ dIg/JÉ` C4S9~8Ose6WM Dy܆.8ajgT^[>"/p2Pu HT|~ Ѯ롇lH5#kogք@JWz(y5B<Мl-)=p 8H/\:q^umf׎4;F4YܹD { Q Tq 65 f{p̰f|lvIγ 0~Jj_!NuuзrV>)w5j5A*eْ_p>,!%h]F?R*ل''P7*5ce~u&"gqm |߻I%ᮜtzÃ=xBmWО@v3T&9QѲ+KPVԦ=!k(|d,7x54G%)f{= wXx󚁗9i@\) F b<x{z[&ވXd6٢n)fcIk]E˾q"1TAAàe>>R rigA-V4cA{ïGo*K}L̚BZ*H2:WDC.!wd-Yp#]wC7As -f2~g+ I3*t)-m^} uv>) <0 ɯQ]2(bx;°i !X;ɜ,KkM5k7bE@f<=` N,la0|_}Y3}f̵wd%2؝HwV FVtvu`c*HK|T4.r*GUi*$MMKOlpyLh#yRY~$gaVփ+oWn]_|50-L d|֧ZiK$Vq>C8 u e^F.=y|c+4uS >Y 4C",jX6c39\9?p[Z$}y`S3Uɿ2TyY[,I65?Vlf) [v<"e!n!E fj"Kĸseqwa]sp=K0A;)e.! =NîWcLNWc(Y7[gXyJ)2(ď-r旛(=~M|nU`]߁Ji#A8Yrt~33h=N2'WuIVl3[UÝc^dOڛ@[HjxpOAMYߡk-x O܆n&yRI}#AvVlTk[JbdqFFj4 LR'oV,IgƇHPc ޯ3~[ƇzSZIJ}#W.:ʡLGytli|cE:#4)*{B0 *0/Uqyp4vaHʸeLn,w=e 'C0qo\tT}GD IelOxc7_֠P_j̃eLFT5UCM5Fͽ ~a/iwyd7`3ޱdkkF*ь҉?Fhs[A6n k/|BS}OZ:R5($uGgެswe 5% aU]!j`MΖ@p)m%|5[e`e{2܎MV?qq*Nlgb)TKQsɜZ_`…'K8ɰa`mq~T =YO"IXz`<.r앦*P_d6oS is"d&IB"c]pc-oJrP*#9OX{)g3{XHH^kr-s}:00o8lV3'_ 6yL-AVJ.ٍ_D7c ,Xy`@@R,f~;GVPYբ+ۤ!d)8d;L1# }`N@VB/N݋z@eF2H34?Ѕ}Ў5,nᩜ3 kE;zJg :!K*^zAgd6A3S(%C"{al⠠M.JI<]wɜ`QF DaE][[ 乃SrԢH3ٓs2nѠkFR^#/ko/^hrxJj1(@%v5[V\6MMdu!_rhpy/;t\]^=,X`H}?7|ԭڄyK\ {;&xUXwL#Sw1[ 'c&zFZ/̴R06acIPKer1+t4@b MM#q"v#,ea*n?~0=<W; } YVF~^״vy6R2UPe<- q4n-K Ts'EgIdjӈqn(TU NDsowZz݄nZ2鹌5UHL={g׫k|ㄈ#:-d ;ɗ՜i-=P[}V^($r$24@HsOz⋽-x&(!ֽ?UEuA246q 9a:3{j' ?;^MP `i!Pf+r5=y/F4pukk߰#^37Q*n?(,X tr &ڛ= NE@Йm:`b\ԶHL-K ĻO}y np,zY4Ȝ]n:*Kp}p֕7RnsW^)㊚MDAl8JG /9LJ[nTd=trjnB-*9DalRpP"YC8S֔iѹfȻėە#FLς<# m=G4p\Oڎi&> ?avԉIs{dmt2cZ*[PPz[5}{72!xꪘq9i-~ 2!O!F : {4R(]b)YѕF@L/ix'@ӳ{ 0()is@-%. F rr B ,@ʣM!Ab [__؁X>ͷx/*̰rQ+|5@ .;^+(aW[dw. s]$D7Nd&SP?$Ep,3{l1EGO%Ac>رvLVtaqsjXx+YTQξK^-!1f(e5JQ+(Z M<7Z& F ]x< A dĿ;BwBX{y<:/nG>Ѽ:w\Ehu!5 *Ko5M3u XmKѓVH [zV$# =\b r(R<%=x 4ʚ]}"H~K:gNŝ15(ִ ɼo܉7TS3v'\i8k6Tz'}Ta;ɓAYf Q4 ϑ\';)L%B2T ,¬.+RsYv$-y5JC# q@ t/mV5qQYwDP9?-NH`K#K< ;$8 \hX{Hşԩl3f9oI δaV S $*L$q° 0bT!ݪ:fBEdYLD4:=|ԁG}КMZ3@Kr"'pu"RٓX /Ӓ Bdz6|P`JkL1#U EacW8t(1s'~]>S2V$s{Q8-=U{U\WɱTd8"WG+rBjawMUPbkBULcO-S`;LR-"ciA5+!k Fkl'HHQ@2 v,=gcRV5:Pr!A 6yFn,J`H^'>A#4*ڲʢWftTG5IOUx]I8/:Fso4݉D(Ā(uwW#;<w+MSP`1} AI Ƹ9S+xF )KLII(4\^O&9&IRuNU(^WAXƈ}ZVN 5PhnZ d{eJF^?#uCn Qx3>\QلQ77Lm5dJ2^MAT1|Ek@t'|;} p΄AR'E c4S.~*y ;ty7EnYh/e08!ڜ{U˹+p׳o,\!pt6P*+.֊j*#V%;K;-Q8n_X.K}g]+@SֱuzDЂfߺJEVWޤf!>Y d_>hVwYL $A]Y:ٹKtl&y@x6V`!"᭺n GTRDfMյ2t8kJu^RR4;! I(65|IH'G7AMpP [0s7\U9c#Zx@@xVPO%~e(k GaH*拥NU,.J,t"ɂ$ "&n`6m}5E ߽bom,JsSE[NWcBK)Gbc=s!5ݫt֯֩`bSꩭkʫqOj,ֹʑ _eq*#\ST/Wtp+}(='o!aHB ;U3it\]ƄjZY$^2~mi%W䤴yˑ|8 Eɮ,r"d} ^ԿKb΃hMiSxe@XTr`J4"UI/NJZTɭMq:IG4F"C-tT|b]ܓ}hZܾ "5[.#Hzp3ŵ[(߂WK60L_W_jx`Q•[e Oסɗޠѯt«%OwxnWd>s}Ivq/?P'"@iIY$>Gͨ9.UD<IW#m|JB穀iRd56iOR2+BS# hɰY#xF-O&<$/tpٝܓc)gl}=\@ag^(_ U[\ Xu9Ģ-Q|%ӫa_!6Vu>>?]_R ė\U3+F.Y>?GO ]: dQxP}_nQ;+DI'FW ~UjU,wg'kgm.yaq0mLʨ;2M5] i=,{RrTә%o'vR:U vƲD7|(nٷ'_@|Eej}3տsk_l[vK)ܼiK,qxp@?i1G(%³."vl^ǨI,fNF)uH=>e;hZ_H#9h?\DXM+^w=0 !h}cq 7XwZ) LnKSWuqw  `}-P r3m'N<:C/P[F N'dm:^^V ^)KY'geJ? ̕*u#muM}Ѣ~[i+O/TZ=??IBӦ $运t3 WX=of- &ƿx۩yu"p@}G2AOJ(!珬S_bDZjYn,B_I?yJ3K`;\auh?ϛ_+i2:AuUW1?|/ [ZoY.-)@wpAN9)JIAȝDOlfN[w2^Lu"Ĥ1zsK9r. I˜xUe@){^.ս7DݛK?|M)gib XjbZSZ=0Y/e{q"!R̋ rNtRo- #gH6Wp%'`ϖehTK<7tv $h@z}ذ ഝؽ\y KI:oSStP5ӡ0@]9A BCV3#}$A'Ė)MlלjdQh 9.:,|%T{%.Zޚ U@$FWV 3eCl&/6Zo%V+bf)tXC3mauէ>'GP\{EM| XU5llP rHg$?$p,E/L4A 8SE::Ew$oǎHc&SH9gMMHnm7 7rI{J8;_r}P *R,^O*R.d15\} =af 㜱!xݰg8@;{cY}T6ʖ᥃}^ C'+:WGz/+ٕ:8R Bm}<) " ܏Ve&6-,P)+JY(5Lq=䐂0d;,9V6twbI蒶 +rԃY_ $.!$ɑ: *~)*Pخ=X >3gؗ]!|"򗑕lf-_o;GaGh7{[*(4-7+7Zt&k]v dT7i8fȕӪպ ~YxJ;Ԙ d'U@La BǀqxJͿFƺ#~̲SOoI [pZ?3+tZޮiWC؜Kav~Vw͌h+q ՚]ߥMi)k"771}wЋ5`t2'򚵤!c8cN4JfAGxvk+hg(nD~iE#S:Nb.tD : |rѻcR:u4%72{ 2i:SZYW?W$aqqcrU7 e2V{v EB:s$Q*Yg?"3HNK h?`O6>t42%OK8Ng`>cw6PDRo*DhN*l%׹U24/Shf\GawO#mL+|,b6y4Osё"(nOpUd e#Y :G.maCJay%;k H4ٕXKPOظvc0gDF#h@G9jiBL.tfUI:R 2)RL9lBho(h5z Z~wG,{LjmA7WK&y&cR7\MjW,OUS<8 * <)EGfbյݚ`fņLțIԎX[$F̎\B]8-ʃ 7K%KVF=p^k޲$(XS/$P*-&ZSuG1ܐ*0| ҈tܘtC `&Kucc:VMmzؔ{ڮXT 8ҟkYr8YC=(Q3[gݤ??ءW#^ԠR*Iy#8km!3u+l&  vrr `6 Y@̂ Ok~1oR{ROBo<MxZR\&X¼Z|A"M'hf1 [#G, 6un=W7lh Kom<Ɖ5[h;e(L,5tW4n)A`RSWn#5S2iq3>=  /: Xj ; w<%(u2z} vPsg[3+C #1X q27#ͱ5dH#וFH :w$x,:ةc VZڕ[%[:!W*Y=lXݔf H.Z6륣Nb04jU<,rn]U8%$`i*7=ͫ 8K<7֕ 4ոس{!S" JJ75rH6tŀB@;PH  yK2ʨ`| o>*M18 p̭G";>uͰ 68)3NTB X2iH<&R\''bk٧6:i15,zoy=[ #}pK2B&'5nu2^/9EoG<[a9*>do|?lY_2w)g %y 0xVKYpTdOGYv*%@uʀ:x ;>hx˻s̤]׽$s zVoͰ8ς7|ͻ{K\SXvS~ܶ= . <)תj5(Q .b8=N_GN*Ҍ*AjvpM9С&5r (Hb~0pJ $tfm,9niVXeX)Wy;Xv|&+UX3SwBzm{cYR`&k܌, ,.&@sEQV${zd5Zi6W?v 4$y3RI[tkQS ЖKh} 3K_ -Aŝfm9PѨ˃0rQr/[ykDB7^Ё]aK$ɯYl 9|甌|e[}x\ #YYˆQ]V+ 7DX 9ւ^sh T\蟡a!<ߎ<'%!p|%NЂ~; {^Exyrt-ώϲ 퍽C ;6Ce=#S4;kK號WV(YWcˠ0| ^OS\ԊS*L3>\J @ mm.g[oݽW&ieNKYUrwW2X95t*ب`N( mЄD)GTdywY VHFseܤه8J jAfn[Bo`Njop9kW)¿\FSB#mBႺ`.~u28/ -\6T(oww@`ß?7y"YOyلG^J.`ƶȝ.ͧ"޹!Rǿ!|\ ۀ| `O@vW*рA`G:^R $?i.ٟ5{xH*+SUH> _G3N`$ZТ\@=_N*eI4>lمrvUu*9:\Hji*ҳ| %!Z&36%2F%:b-vD.!o;tuO{^x1z_K?"K|zc6EZ,X':ޡTjI) .glwcz&A,\wzD0 :zWNEi߫i(='u4q*9E+/ uon1mήe&1~]6_e[S.SU5/¸sn?-K2=0?aP+R P-EVh4a\ˡ,'P9@Ll25H ]~L$؜=*;07RY7W|c !Vd:>%1 c%A(@pfA2 73|0aK^[y&TxiX!:q3yYsk\TAU*R"w?b'nBafZVc6SCmYW:oLrjn2 z1ʃ0B| ,ǯmPde"rkHAMg{@х@U,Kz9Ok6KGh56>X1{xKބo0JRstkF0*v^7$9!UԵ o{ \gh,3 "*CZϘxb} 7rE>wh lv%7Ѱ9n=flk&Lw"EO+Ilt ?Z t&c= qxz{!k&e4 9LnlnەbAj%q7vbYIWY>@^9b^Bhvz]eޥ}mcQc2Hrv~8<h߆ xÎQHflKܓ-,f}UK"o5$\v}I0T%5ӗkb ]ABhX?<ÇxBH[&Y#F9czX3o$GyNm.[^Sü(uFINQQT{EjNN&'ۯ"|^҉FFln?j i(}?@dڛp3U$lbZ1 "A!o\ZiAvnp@B`L-ca?2 L&)b|2l &|j#l=yY di"&xy-<bSY^LrڤD_(uB[r˟d e?ĪN;hIXUd)©㠤+Hr gH9k( $Qvdi#(sUpzr^N&7_` rHGt3V/3a4˱x,/8 m6f~;ue^:~q:źkO!YR嗘\(m,==$E&p7zeヵvHq61&s$h 3k ϤGMcS~&XV,܏;Na|'Ħi'Nn^x"8l H=YU8¦z ?峻3ИXHtoU#`qPP邽|h/^ sz|BH (>s8:fD pά V7Vxm1P*q&T Z՜^RMՙԾ 6$iiO7Z)HZ&B{pWHF\]DS`\N-c>kG UGK%[]7$v z)6`J^u#GhRmZCl\q eAZ}缱">+:LPbAbWQcӬӵG3fL7 (7mB_WP.<ݕ3nD8OʩG$ LrC1,6{&a? R^2F6" g#|ߏ!ݻy፟!fOP((^֖QJ9 9.,[K;eXcBaOz벗Twn!m9**!B 9 kΙp~@$7ŪyIӷ5G F c P;7ޑK˺,^C^㿫qx-7\T) h^mq)%ЬZil/ D˒nsm.$-K=^$_a&N)}B:JykGU |uW"{V,"l (qq\o jT@RL\-uFb<"l)p9Y&a#"ZFv񱠂 #ǐc/dOB1nPiu2t!&ėl*/1;wCbSw:y*̱3V`~:R\5R#Ը+QfFY>&dgl9l2s;<9bif7Wܲ}e %gx }LKXʵw8WiY"eM01:l4: n*k]_b!XF(> ,uʕgjt22 IFo&mL=~?׏9(,Mf:HS:jC5r }[g-&$_bЕMJЉC^ dz|XDߒt& q?{j^>Į +ǭz:020+t*0gb3_v&L;w P-3ꑻB H=,DJEh zt~z'BwX+8;y ԑYw3uz(Ցk8|8܁փ}xɸ!DӃ,0LT8AIW iLQ8XӰxx7' ^qq6}"&wثJ![\ܹrFG?pv)ODpy r\y$-)hNY EEɿ4cvBͲO{-V~/4!D ?^e-g(eYK;.н?XpoNgrw={U{@$uG/ݣw?')sSi?$.Ga/덖-eXT(:7IhhDƠDgND@%qUl/ߍmU=Sx+9ha M-!ߥה( F>Cp&D(.ߓ!quX)L sΧƜ8* =P)H2U.~Qckk#k< bj'J_f<7̭)P_2ú!Z 5%1ͽ@~_;^M~n=,qD#ppnuh~V)~#2'o&&a h)J^F?xgҶ=H o}aY%KXL@/jA.QhDXw2:h cIp'ĒM'M 3!bPvwrӶ\":Ә }Vi0iݔu*..zֿrGG߫H&6cDF/DMxʛjM)V4[ 'r -1#e:TlA6wTw=1b}bN|^eZ5K[Y@JnYMp4.b;4RE }X.7$:mTkV+*|*vx)J !{ڻg^¤ڡ <^h()miNXL@#;JdɀR↵u Kg!d;vy ~#p{i[sjL/'tJF'y'6L3J(;q"o;hh1VTIֱDK(c݂6_8 o :m*&Z|}i{^:/U X! +&2/+!`K#Dis |=e$L6"DLE} ?>3ɿG' C(.7]O_/E/ZN)gZuFw%\܁~^` XD*[_8} Wl$C'Q/X{&F)$PʧU =´]EK: q-k`_~5hMRTHP[[*P)7zHKԸ们%㍴Ԫ_u`B'pc4LHB^dVm ֒>qZe{-b0f/Q2S|Qh!ǤeNQ-C}wh3貄m.Z96'C{“mu|bDcW$N/?wor'!LvVº3x`\e,(wi:?b@sDm+\[[o"̇m}4ˣ X/i8!v Kc9 ݿ{6˄ߠ~77B 0I lg/ryz4{dxfAkM2@&^{iy{Ez$Bb58r̪B& DRt3&Z9]m\$߂ z=(z f7G=k7XLDW8LgӺrPT|}ߏrA^RͯHM#9月5Du+2icu6yg!Py<îr'<= D yy|DKhC"'/B5'S#I EunM&̹ԺbK4&6tG1xd(1 y$7ڝu<ָu銤-V ئ51a~~9BQ%!MFC a9mw9qy0V&9+3V., Fj>1*Й>ExS'75D˺O>viJH"cI8`HDp9YB6\y+ٜ6$fTƘ+6CA2`LpƿZ TTHd~sUQ5ZgZ~"Gj}ohP o1>:2t]{R֒B)IXuHv[d1f>Ґ C*s`Əs`3Wgϖ/AW-יJ3 lPiP7ޕ!G)ZP1 ,yMeÌvg)31C3A/$ y')n6W1'_T$NԂ$~Efwp@tWwGbx-0pdY?h˕#K oNOq!Wu+0jS CD8N>_K'e 7y*MfdVk^-vaDVJrQ `*z4Ox.s*eu105wRѰὰ%nu /aMkS[u% r#wgYZ7zXZִF! u]ŗXiɟv A)jץ+kg]esvqhT k&S^R͡ݓjm'P󈁻Y67~H}w%OJ&W=^;{"\lڙzb ?1tgYZ7zXZִF! s]ŗXi%L&ʷCşkd41%WnO %~uxR 0[Mn0ι-2u_+Jm9إ( VP}*uY7?m#1})D&uq?`L!"!#y%-1o,)43׫=X O ; {P 6技Iǵ ڼKJ +űsD[! Bry 1u cnأ$?֦ZjqH”:O.^g'?|]{(IQBEzRtTr /%%4lXrax#OGd_ eyOs4supK3IAa&% k֍Y=C`Nry9ų voJ(ēVq!(d^' HVGPS>PĜΙ < kQv.m70 >u;|zP#*1pFu/Ӑd=A/GMS))ىBvwc 5?ܶBgRFd5lT!@#.o>cn=i:6[1`y - dfj4/g([%;.P 06}r׃G4[Y#^!A~h+<$9+ڠʹe:>Ҫv1țs? Y)^a)l#FyN>[.ǃHE 5]V|f7Քw8>-ⵡUX4Eb ﻱq^a!v4/fwG-?/;ff)}1wNK 3sXRrdV6ŔX! ^0[Ǟ Nf)q8#)b81t遭#ifhe53,K.wc,;WLL EpעmelS1d 5px//kdw0TW.t\&E}],zw"xd/tkbV4yxK\)ҀǑ`e ֡"<FJ[1Tk,&•e*OYFv0zw8OS Z')Ώs;%o%Eq{[$Wj~I4(_t63#SO&y<i|EC/KX! 3C%KDM.M ~C_EE",&X{zaAݖI9Z0spzoedqE C26P 2iKx_ARpiՙ?MkЙF@zj{./ 2%ma! Y C##cЃ"bC ~;C\ѽY>@W>7yHcɣ7}qX{&-%\G U;*.rmbh^];p #.AYj0o?h_k=lќKh縹oh=/KqF6yx J@,ߢpHЩqQkLxn$B:` hs>:+'iIA4hLhXȂAC!&uk ӕ 6jk݅8~'}rܽc /aR"0.'WЧdT(?vW ߽  <@2v1;6iӉ@82ڗN1 B*nr\0~7LR$X 6+_FhzɯIv Px E~S84.@MU$4@Z{Z?4YoXC:2ȧ'΀efA@I&\B@q=#\V !x7!WnŗVkбĜڼcrj*\6DJp褭>é cf;s)O"X՜ApZ밬)tqn-Y ~g6 ̊1OXCHX Qb㷓5T04]̀GPH4Ie2r+쇠+G :g^)23͇P^O\!̙ NdR%vҍ#Yy̨`lA\aQj1 \gL++3 S,_Jj? s .hSGcצ"]l/;p@8 kފHFd昐aG8E؎S2Z| *@sXm3rڿ(!zA_x_ a\(մW%(TKq ~-ꈐ7^[vFPV(ڍfc'Ix,zuIQoT2`.J5eM!bgT"A>>Rb`D͕VFJ!m:,*_˔p/qAњ?L,KALF$[XHF Tyr挴@uKO@eaزUxEM&  z\z8ޮtA6h+.dJhixI~"2Pd1Y̴h 9ji_s V>hWmL4Ֆڔe5:[*3R ]>M>roD% fB:?;5/JV&`0KnO^<;I``,|yѬs1+ /;E"k_tQN\߬[М-EFy@czՄ% {:IH`)|qyuQ8_u7؃]p~:J|{u'!xW"?paVnj=yqCZ:zBSeȶ ,*pm]4Y{PJ4kMMHӇI;ɕ8swAbN/)c9&qtךfZ v;|)qSUd;=p$Ԝ"TG, ETeaXj!554Hy'Ύ c&ue"P뺏0SiP0X׿nl F, b(فPJ4xjSHi=k!hyh+|-(e239QmV\JtJ^8|dqK"M(>i(%LrxTJI$:m%"u^KVro^̶^>xRJ[c,u*@H0pkv-& mwz_.+R:fV2[7g6%:h>ʪ%4|B=C#q]#1qJx-p bZ;OwNmbC^Xhw ӴxZnQtx]_ 1/K.>ѱ,T;7fNӋ:C-Q>Yۜ`[ [PN} SZb{ޫ)A37_hn?"Wj6u& o# ֫CO*?ĆQGMcosbx:*KdRaS[Z~c-Ta~@EW Ͱ\aQw fJMyKvn<Ԟ\ea~"{+?[U=Z!ܥ"y&:[f#Ҷ>)UbV&"iJ\(?#c"Πg[*:pޖ I~f?nW\ߚ65&SZ7&JcYj_㧩p 7|)1%kKm`#\6