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 n9tD|t ]S Decreasing-Diagrams-II:threads=4elapsed=14.210cpu=50.668gc=1.6647zXZִF! 5]ŗXiɟH)0%osߔ"EڌYfd4~Z d,ast9tw6HQ6`QewnNדFUF(S7nq7',zEl U]l$_0ZC݈&Y90"Z.sr]y?Lb߳qS!7=o2+:K$at'rŃHZ]0/)5N, ՘aG|j>'=8]~^1 k/" !vT*SKGp;~$]r {f&'g `xųSqt/Ɣ;ٴ6>u >-;IMAkXsA:XEJf.3hXT~g%siv]P/Pɻ:iJ),RƆm _B`bPl)[8RL gjfb'^|R8}{8i)&]^3r hK8V)2[Hk \gsFsy 7hZ;/!Cr):%UX-p|.-$>,7ߴ {D $%F3-iuUfZd y=Bqh^b"ȷ,}Z1!vl`}W #9ua*y/Ǖ5J`de:B6Ƙ0jOPr&k]$)6p^6Ze۩s`WPVv ',~ s8&ź@"j%~x$`ܧon7vܺbH2#eb/3-̰-CqKk S:j`B~TSoSr!0Yx' H:-FP*6FN6V ͅEg.)<`)Qod2e> at7^xҢڸY!JnV`U U־>3@.¼aʫHU8ů yqW&YZw!{yc PӢhq2(Ed**,'&kV S×w|Wb;2z#x ~V!mvjF%n_ U־>ոB'n3۱`mP@̵0d*Q2㵅л gD ej"Q[l%rt^5,FSh >PGJf_PN):n&sN2_.wQɂZGr&y!v:YR%8;}ǃ(1$ 'H_x,q%e#JfE Fݒ*1,3J` 9j&}Ay0$ %Ǒ_WQj'&Y>ߚ?'MtCppY J BL:L{QŒ2= N>g)c+qrV ̘yb 9 Decreasing-Diagrams-II  pGXG08_dCF=@9~بkE);^uS61N?@[BAW cXnΛ׏AB֠]9yPr{a\iNjq#c(:'OM8!̀?Os@>T#j48k*/75+]&Q֞toDBfs-P1ݷ [nqRQ&$nIͥ~c4`i)Ve%sIZ)o'Zm\|ݜˌu@! 1SAnW.;0 wJv/1c?,F•,0p,\pU 0&8ib;+U)h YEeu.1ݫ]+{ XK nLq׸X$.HÉQs :JLlO ݓ ^GbIXdP :! "^I&)gnbYL49݁g}*Y̭XYw*xE!gR$LȤ.gS*Q0"MDFxqnJ̾} R g<͸P%m{( I"BG%/4 jGN׵=\Yq?U$$l;>W|)'Pr"< yZQ1 sH5VIaL@ZWs91kQәfH\" pl#+`4Pd [ іV˲H `عG]Rr R(@B@DP}n➅9|mHH7$1%H_qt^2OW@K`*lzD3A;391 zZM |̼}/??zsBYWOV!"Q3xۚe3,\ y3hAy9Kʁ&oTm'P񁋧syTv2r&[G3KN6kcVRJcEy[8u bP`ñ(ylvV zq7AR)F+(艣>I]fXRƅĢqj]OLFtdZXFFg.Co4Dh >XxHy9s!u@HMw@8xi_g7ڴz6(DS'~N&̾>aJר [?5J3Z{j2F c|mChUH()kPB koBiD\hK'n90BlԤQۏ5_O76U_ ٌJz5J+qJ5q*_ߛNdގfe ^p2jՖ Zᪧ1p}z#w&P+Kx\Bd`%U[P ZbSIqxLnHJQ]Y0gkdfxx{K跩+g5@hbT5 aR?.0';*A%w`/SQ7Z /-b딬&A Ę3zc5A^wwG"H<mXe%%`ޗpᴋt{ 5> p$x)2*27ʐوtnlekty%O\ҼI6'rϺ\\)m]׈rǍ?={@IlcrhJ] AJE%θSR 2 2dd0j 5Y7[7 qiD9>Bf3:!gԗyV%VP$_tH?lWU޺:z&Ipz fz rDED)Å[$/yZŹń]^vAږȅg-1t*ӘÁd0P8G=[^8,c:$ j?# ˻' ^t#hʯ>}FOycbI'뻆!G#N:I6~qG'tY8Kv%*QT%zx'0#~mN?bG)}!xgW`NNFqzجmuʯD5HE%8tZ$IRTsf@^{rOn[3 L"U|=j9zyuhsT nQHlѠ0-~؍ulEN%_ Z({8 ^!=jN dȠg-Zԫo؀Nm;^Q+V \za/kQ e{ m<ub\^Ypx4qfۗ 3`"4!JPwaucҙD6fk_Y.|G7R qdN5zK:xza#DݶF}98+f*,VFjIq{>Y|N~1P+ K8'yaÓXD}z=cfJN'85u :}лۡrԆf4NDrlMc_~M?T-T](*™B{q*aVxI>n\6p wgyv4y,Wf~28Y{Gc`]d&*Dz e[U5~lw6VB۪ҍ)R?G.vDsXAS;Ɯb^}5LsS[]#㴚EVnS6Hel"Süy埢,rRcILh.S ' k?Hut:q44P7Gc8:e:qvc=SyƪeWXЫև7I Oo:^|U@49NExEoHL]s|vd =;g38t.T1^FKCH|<;D#/ 5gy"aDV V\GD hn+E| ~jm&o0H(ܚ~R%=:liI]d( A\fX+5z]V-}ϤbՋ]fah#rsRCBs=dT\/\$=h(ʭB6DwC U:X^H<~!p0>ZTQL <Ӊdah!#8L-qUc6p+s=>h5NMPsIyAoNHWGơ퉠>7hnNՓq AŬ$@5" !F6(%R8N RÊ#kxj[1xc۵ 7MQ~HS֥魮mvet(CqTAO<+obF6eVJOtc O$"`N'X):y cCJO# u3Th9"J=y|ec5w|6`˨'kMtkR& 1"okC8e@z/7czSr>:d7 pil"$A|pK\es_gSK0Hj緑*ؼ1aWE"ic9|+5Bip>'i.TYmt'g2w4xr ;ݠ@\tWuٹ󤡤o>Ic{xOXv)DQ X tݡN(=!X!䂨wV"ny^>ݖ6OtopȖ5/%+ HxT#s`. <Wv=eo|H "sETzfWa3+gS-E:5]2TQ򆔦I0DZ|ۭy0UWCP񷨢JS/i}ֆ3]Y78ឌP6=@/,R6KN#{CK`,[B5MhN3f0lV=bqDrz#crLC7^鑾Y_Fc~L!0L퇅.dܢ:;77r˴sgJ8H"{Uf __>Noz9<y \}B,~\%_E,9ݍF"'3b~؋fɘ>%Q|RCj+GYΰ[{^{wJXgi췜f!15f c"7PqbDܗa&wFĠ?:uQVV8LyB>A:o'v6o:xޖs•F-)೰xm??#E}"* 6];;CRm`MIfd떄Ļls[;:˪o;eo+ nD^2Ϊk0t8DhS=c;07jնY.$Reb LU ][`) ˑK썟@cQfJj851LPwsؕ⏑]DqLƷ~qiSJN0Þ{_(x^z:3沚.1,%&rߘ& }Zx[Ͷ}a*R{&^'xKN,$C7|E69Q:vqy#aB 4YlamZou/M#w >c?*xz 5)LS+ydwG:y^z yǣ.P :8?̎; RLd H@ڜ qOD,Nnޚ77E7@8RXXP_q8sfXbO/IWYIR},,O;+FĦ_)AMk~_yj%dtάrs.QB ɉ4YwXNFQV! 2P nL@ `%@'ja|M'Jp9!A [Z֜AЮmF#lAZ<Ue_rVI m^nYsA&&K;`;Rsȝ"YV韸EjZ ErWph|t| 4 JXŎ^ܳu}f}:0N]Jn-W${pY4=A6Tg}K*f jbY2+0v}F\.(ـbE7ꁫB uian+B=0bXwb _ΗEd^&S \Ey u[8U,nTU[Sp>>Isr*w )+dx?OϧF= QZ]> u?"k?) PLrE@O婙y-0 fh ˸Q Ca"cmC ؄4n ӈnԥ}a@tt(+$)Ŵcp=N~Q:YS.;c>ՒWt0[w 5%Uφ&JeՎhlIQG"͏ [ѾiTÎ!ȴ^ F5~ʐOVQ̞ r7 vQ;3dհܝFmRx5}L!;rVbRk{vT˂8D>X0A(0݃VKCp9G٠v͚D,Zq8mѲ׽kI[eʾ#_nmL:/ggc84l~-*ը+vtV}!/Ӫ;L@ϟ&)UGθbEo+AbO &w׶3Q83&ZNY2Ujaww0R)i'HHddWWDJxތ]PBc (޸doc?<-]T\LaF7Tl߃LЉGG]>B4uwqpqYGǬh_2?7i?q3ZKk%%72gsѱ1%:) 7 Q΄ծmKɭ ԷΌ]Tb!9^zl"T|] fl>T }̫<ӌdveщ6|~ ٸQUHk:7ǧyf~oW{R 0L%+G6=2^)з"X}vV1$wHe'3f;,~oa-#Y~=iT&c\圤9 &l |䞿}-ˆ:) K1JdF`J6 %bh"?H;uQœ ܭKcW1- F ƏG3M[33mrߌù\vKClp#5V?oZn-.49[{ Mfp̪#{Q?dZc-f{7SXF2'~6nn RuLYTt;0žv[<1C2hjrgtAe)OR߸HzVܘ& MY'94~%8иp 2m|T=cz…"b()BK%._Ow󵎹Vg ~q-aqF,>:CKI;ŊC/3ui,iNU=H d{ NBSiP(KQw9||GK ez2^t.uX6Fْenk`I""X1wq wa6j&-iCf?b,ptzzy䇗u @kʖkV箃r^6d=aSS -XG mU{S:[j#`㹒}@*1H\{k(H Pq>,&>ˎ?FC0GN"YY(u N8A!~/qBe烳umv?̔-F+x<$"@,fA/EҹM D{G#yaWG(p Lz^W8]bhDQn,֊O*Ne[VVi&edyHZS^ !z@&>6)P9ҝ=+:D<*À>QM6;Ykv}8.I05[wBGhxղHl{jIp(Rk]+d>Z7J޿rO?sJ)-XJu1~R~-b̺QGrB"A#ݥj='3=i\aؖ4sZ9`W"Жh#5Ƚ=x*υrAk/?y(}εe(3_}HXܠ{sԄ`â\Εf& OB x|'CJZr(nd&ZNzݤq}>r)~ޛ ߹/޳O`XDKGUw1s_u8i=ª!)t^ݭa]i[ֺhz~*nKϚDPMx0Z4H ZI^S)3~sfgc zl&gN{&jxs"omc`D&_ޙhzH=.,8dn}P 9x\aOf#uB!BJvgU`{zj v t-m1|-CC(7,Ena[쌅'kcN鯭L.i  ;B bߟ m&k4$_@\2M'd㎲zSNյwlį_B$2}sVU~]ܠ+Ƹ-w;ˉd a)/^ }ecmx fH%y6e\ƑV౏uIk:$`R#9^WH2Mʱ_(q`t1$PM-Ħ w[_( g~PVjݜs.ZdYqSgwf֮{TӁdx\+U,,;.>BeU!r+ty~%$vN&CX).r RUfV! 9=,U Ւ(`+ogߚf:QL+ ZҦR7k3(ϔa!)+iĭct dJ)&-$?y GwG9(+y>|JW,mO 0hu6Guyg3*bn<iH+wHӥ*Dr׎5VːI^^8 ,=䂪[ŽKXC9aHn[.wDN= I-R%ʯE؋wnR_{OO^xi_`(餸ֺLTzΩLd~dCK6a^/ Ϫq N ]2D#2[ 4"5g[cJG# YKBc ,hԴI`fF50'`Ov IxQu.-xc;x;;:4-#(*CP\p4$.A@-F,Zua+?qNݒ3Ŀ> <$iua2[,d֊v8DR X*8ftb=DNٰܾR&t/1hsZ'Zs0)6z=&9c?Ѻ1yD< c`Yk_'w`[]wcxSRCأHw&[2zj 0Ӫ<=y+kc! }dӕEþ "q3p;ἿvfV25G^~:/j#pOk 0n%^\e8Ôm5dDGaOۻFH_ujdiQji# jbDW-SaDW<<~p$ atзioGeޜ^ecn#ß?nzpۦĎ딌h+WKS$x3ؓ.Q{'=~cC{Bӆ PL8Z`mPxԑ mu-ɯ^6-o^0hlcløQ{Ҁ>s?`6yE/V:Y V!# .G:n7ఙ^y\*Xˬ|D&^G鯊A|HƳ\`o{:;bn^LзKוP.hTagc_"M4n3Mr72^AO2Kb0=nS 2zSPemS^iJuLm9F?=,un5oeO#@(m=Vk[3B1*O8>峊,ws@[=6-,aoR93r¯ʇyLv/iR-*o/\S.ޮ6堑m/Qvrm{cwB&ƒ$%ڶsw8"I;CXjAbd KqF޸i#`aG(,ذ=F\,"TTb4$ *r:c-5tHq~ i1+Zs!ĮQ[?:(#LR!a]t` w+ \eZ[~ sa F{ lJS_@Yqѹ0_j9jke.*W8(ȯ^PpV?m^unC_"vJa5l;gYq+`[鎭HX SO{0"KBʪ"|ĄDhh@R#N ܪW3ot.+ޠ8\簉 M2$nQ5Ha叀'Owj^/R/vߌTEpZ+Ԗ`/%_ybOG|F2%Ěno[D¶&0ݬהUD:!Pai uv~a}\^g욘5.,^H<:ZA@(cUΉ6Lf4֯V.߬\C]UݯdU83r:|jTɋJ?p(+ QS?/z}I_3@C&d 0חvNq`ǻʚйDGU>x}-r}ݐ:d61xuAXOx\=sOe/{O*[M@lRH0<'t7v|IڲAt+?2ai^3`F ap La  ɼ5Ԝ-bPֆ[0ךV!-_Lĩ?Al^qPtB:8-P9.pd =ϕaD4+K1g=#Z(WU+WcBm`G5>^jlq_M:3ڍ(w2Pyox<=+&Ի'G8]mn@^P. OBU* )PU7+_zt襑|_t)_/ mUhܳ#[c~D8[֓4;%3yОwoT!tz2 Ȉ=Fh@DnFf>-|HaDξ+HY¿B RSAXX!k>I%˻I1lv,l^2U;=rl\%]Lursb)9$ܔ-iJ+,16M ~H .r1e}S;@%YOuą*tPks6XQh,j&H b3iq8]W\V$ЭT:* { jC7e.ޘܯV 揤G@"mS.)X] H0:P / fdvtya]kÝ~h rRT3ME"RWnr.& N7;&<W OڂlJM뇷u%CqgW]iLG_!%m=%B(M&g(~{/hh);H\3\n]斚rvghNE=,a vphT:))rj͜&,wKªKDg]{iKY'7Qҡ=C*^%B{uxP9EY;;3PP37edc_uKBũ9`]kΡoX_KbVV!keF,N G>ؚB&߫=k &l P-{&SilWAhPUx"AzK$ߝO<6= sGq:O2#[w=$G6[)302*4)9)҂XH``^@`@]6InU[@ݖ/)Efpoɐ/%n S> D?G12yDJ.:b& @3{~wb3 8 {JcŘCzDi0B)`x}A>eLck"hﻇHwTRBA\ϟhW2,Bit?9@ؓ{t\^:vFE%\Xyx{ǹįr.IF'E{vʄnâ,WxbG :reMR':B4 ͢2mO Mmp@T,%CXb@:Ē+2q)X$>TIaӄg!N(J^*,ٌP xiK9ԏf8N/QAˏ&{qw9!?d!k]BRHmѳajȈH)lm~[ vQiŪE {z+ ALj숏OѠLo53’O!3QBS3 _JifȊU5lōя@P}&Z2w1XkrE! CG*0y}}rS[dMXhNJ ?F-naw$;]3̙S/D|@ʿzfk<|4ZN];x7;Q<8wY^£P:,C(buvzqܶp܌0XᵛaxB/kgeqD[_((ă7ɝ# 0YK1ICVChn٩]_ښ_D@O  ,1]>piyFڃ7=}*5O 4uK|/:"DId::W "S]']jü{_̇r%)|!u 3h)j Z{YoF"}at)R~);hEƚ<@' (*ΦVmh9͔6MSpLdF|[ QfcsA@<Θm'w(D:4M߶5nW!6RQ 3fЉٙ\jjR~x 44& w<.]5&gCZuUr$:*DFy \Ɇ˺h.t>u!M%ftRa.o[{ο+Nx[njqވc%@+ĤINq>l~ႃ qA9'3OfgO=o74ۭW*Udy_ Nl} (=1nN|*[ WLX2Ve> `̠o'zDѼ9Kr4SOW u>y]qPBePCoHhn.cM;߈21q$[B ȅ%OSn/D=2 6k'l冨d(ZD'J5SBe=tP z?k,cJ|v4 = 9d0uqo^G -= p+6b ɍ-%}wrfu_uo`#˂p7NdaƓV+LI1A)`n/l"f\|⑽Sx{Zҭ5f __ߎWE"Rd=umՋ3(bew5(/}ݞQ :"g# @sIyxL(~9 Z5"-s눁$i+К9( K.>Ԃ]DQ8Ż05{>yKPXZ7XZW<ül·%O3h[ǖa5Ѕq@51094RE_yVNg +sgb6+BiCwWMLHW8漥W\3ouN<2bYGh]wgp޹,q>HoYnC ti΄8 kҐ+'>[j{>,AžROViAXWz^lG#1u*ؿK " `r,ヺ7%TiVZ*;yʿlg6*=pִR>s#$ban0&J9(mPֆm<5- V["{|u wPH<^HzOP?Xj h1~8|SZIfDhpiջLʈw ~ UA@z8ԝ3 ciВFt'2J1Z_d4) Y`c-ʄ֚X6lK|!K/&n^ҟ߭BkJsg'Kb,S Mo҈bl(WnҙmeNkH==QMJÖ]~v7^u oDD[.)]4FḰ'n$/EdZH2o*!{Y~;ڴ] ͕gWw3<Tr]"|t?ĝ <vlvӪ7 a$tOJ*^/FTY/n9`޵(pnIK,ZvxmtCNO Py?¹˱泜k7>q׭D#0}0=NìX3Oz¾eIN-8}(݇T"9g'^P/ EB;ne / f]c--9i[h[ ;7"Hvlq:䍪W0`ՍkLF#ػugXQS@5YLJmrPvͫu{X'+QZ|Qt2oht sc1Sϖ<'THȮXi+tH)""t<^baAfk3d%f]h C_ _7Qj0fZj~Wehp]]f$Q]1LZυ)0DaWO:x~z O{͟f8v(ܑ@7kTji0i.iJMX|}mnf4QCO0w ,H%\ )[tw!4.c2~,-W5:l⢽QۯA14zF _3]])ۻ{ Ke <yUɥ6nG0=|tvH2 fޱVt^]Gv6 +L =%Y*pMW ͬqfkվjkcK\%^Ѓ ;ۦN`~͞'!+}u$1%b! HgZoE tvp>MmZsU`K؇t-6/q5_dܰ+}JHI9 %y4Q0vg2 <nʵVQWh x;Ҿ>}f>$th-.>sh~%P>%t;̐" .uVU]m@Zȓ7t4t=3Ώ AP(@F|ߟWCauA}FT^oif* eI?2)L108DMlu?9y~4&>-5=F`ݎaq|7{VfpVBJ)&r8I?gs &^ct@8z{UMYK*7I.vرu'?T߅۫?m#^=#=eMJ4W/tb-%(mpԞ +9`s(>N:|a"(QY`ZcKBE#>#i&Lᯡ7 ׮XpPᦔBFtϗ@k7);i!b R~5脈?M$cGB+oeq0st{ot?P8uXՔ*Z{8&F )=tI@# Tun,"_zG9Jꉩڔ 4LUD+Ŗ͞}'RStj4H&$Iv_7{궠pt7 F{(%+" ȅYN|*c EB?&ESܘ(.6 G벎*RDX6_wO yHA/ƭMp xzb~TT{GZze6c56( ?]\S0x2=O; `vȡU?P5T/uإ{`mM HojxQ vߎNt.ujݛS _ڧ}=|Dˍol_ @f y ld 6(\򲊔blu%\A=W'qqV目 ;2V|ۋyuKMYTpRvgr0z\j(5m!ܲ>FBϰ{ Ƥi}tvgt:~,tWٝe mB:,`K/j"Ł'#F}qZD: S9{/.4`FQw"NY< ,j1i-&G1kkG3e߯?B'6"J4s@M>-p~WS621,e>:X\ B#%BWuΚK`Z$؀LDi N} f,7ˤC5Z<FcпÚ0gȦ}@P7$lfB Νe[&uR!N27`Ҵl:1њZx9`-r[^ѻj%%~}1Z?V AWx8p-?:"د)ރV _݉JF-r"Z=;E.\v+0_+QJɱ@9 .WL7R?D){ xа̀8O,d;>n;<݈IlFgٮ@Q0j8CY"*9eV$<ܷhNZon5.T2tk .}4 Ԫ*l+=urGwgJ_fw)!qXU>ܧ<#rUcMe9} `0[}_ F_ՓԦ}II=4~>IT8,(g@uX ?54*[G` S/@G_BBs6>8߻03 r3s8B$cɱ*9nRY |}X#[\ Jrr,0>K**ް̼$#"' ó,^4#M[ ͝oKY>G@{/1n TE{U5ԡy7]w0Hh:^kcZ@"b*.koo* Q@kq:vcYmΜUV[yُ9CB9~\4"֛`d57f2*эO~ [R} F~Q!⮁ց?t5 ɕMQ{Rqaa5󱋠80SRDHU{6+nl!hfNS}G}X"`N]NNkM V;}/>̜@ϰ9#'5HM#ҏzfB%ٜ嘁Td<$Dӳ(Y?ϚkdcR#"\^>TP6|T)O&;I*@|԰k٫K6b.4A83t0 `ognNm: (cS4[w.\dtތԣó[ir{u=@%\lq|;NNZ!2~sEVc'oK)iw НCvea/=F8zY7اl7֘E? t&PK!ѵQ5iρZ|AymPQ" *-J1AyӴuoҭA!`cSӳk0lD)Æ_N (K5yqh R܍<B-:mv{ @)Ԁfj0K2Ef$$< A..E gtNw"$qP1َB{ 6h0$y=0م9%V 3-BxpZHmQ>?Gubᑸ0V6^;'}KJv׸Ǭ7I~ff͏ASq a\rGX E5Y,^grY蟳f,ڂjCz]Vt 6Ix\a˾y$W|l8A.6䡀Ⱦx2_ 4bP!NX|k&t Gt !M34N="+01{L+Kzt|-_RuK`{&iߟBpAtv*T2^9r6JHI2"8S ګV^0y9I5N#mgjǀΥ9K|<O I lRIQ{R$!l-I%9Xd @ZS&M$e[դ6J) }`|L&3!g7I^0=0K?$L̮Ka4[#c]]`WͿz9̚)/M;*>Hɘ8K&z}e*룿F&&b8>_><%z?GE- hfa~|\*aqD\vـ4,^a]Dic +1@?/JVYEsú*yp\\z\9'3`ʏEv{ `If5>AиDP tF"P$1ȥwME` H1," VcS2N:kj9"#dQv)S"b;]\ 15'(^jdsJ&B_*,z=ұ$B>f"n ذGwArub!5{(A:K}Nj#i筤T].MNnb>rX6e譳yrh-{LֻciJ|:6m'OCcmUg[$^.9V ԣ,GC6b2V̀-]v+tz/O/Ai$:SEgv&OgsK@`wI=NuHt6S4m HpYF؆c".}O aGQʇڎ٨ACy%=pqv*9h5{-@n'+Y62T9tE j ^cʟ-8PQ]e 0,<9|Ho[$.Y> cx ҔHh@mVƗ2뼉b^!v[xxzLBC[_8pgt!{8x k #Ջz41łKGYj̶OJ‹ lyHDuXАPm<(, ;R)Pi.#Mb,iEI]䖿ߟb˦c 5GpF/~tp !kD.E5ڊsWG6GqdL{̡M+_'f,H67N~W~-a!z;.nZʂ QJܵikQ;nsԃXVtgnSjڐP#)}ڊ3q%|C r@dEUs2LG"zn:0s38WWԨ):/!w ,EgfPΏ]sfȪq#ų[+Bs}mv-ҟgXq[=/ɝNlzCEv^^2OitE2`T:#c@x""2 Ѧ>9f.lء>åET̖RgUtҎ,."Os, ̈́ÐQ[]f/;]wZ9yC͢-_W'3XPe ]ݧ 8Eaut;* i꺿oRYwb xAF)Qlk K2{9EK K Y #6-32S7ˡm2vi.7&O %փJR!MCSU7Y(7`'"1VT4+@UM,W ml3@Ehϙ'g=[`dYiQprΥ Ȑs~ӊқA exp29e Q_I*@azշj)RabQ;Q: ZRV:#P< Qkof'uC9˕pcaIছE~'ёcU>Y]@$e3V-Q ;EcL*9}&*gtЬM %Gsz¶e[hNъm{mɣ$Y8aUF<&q*ryHbs"clo=Z|CnR {LFLE7m*ݰ_Ms64B͠rl|dr ]D#ԕPq79ثt+]WI]JWJ{J114M;kod #)N>SԇlmdI'Ȥvj3 m8zޗ(EHxa!#68}\{VJBmdGrJ>p-riI: JOiG-dR(*@_-Rz#!KtडN ED74úQA Iu4LVf.+G?#D~X5L`DbaEvuVS{D!QIzL]7uvcn{e_Ex^0Gq9v\r%.!]E?`3m`^Ɖ6*"̞+& 2!*D|z^[5)=2v1qUwMG{8ԈIey҉#L ȖH_ Y)lS*)vn}O)zZ[x(Y؟Px@N/Xxt&6{{IyE!˗c7mn{* -"~<,fBu R۠B' \ܙ+ SMþh+ NX4z;\6``&YQ'c)$7HƸ"WsV*UAa8Rw娘l ӳc+D9m,Ί< †@JAӱ6`,G Ţf\4jApR#Ŀ1w+$wF\r!e5K&_RKZP"cLf  u{MTWw/u̼>i/=nS@]|xM, }TnT,2__-`]U㋝F'A{yT a #2B4;@ ߇ %pPH`xǶbcAڹj:oJgX#HǮ0xNf%U ׸r`7 >tN8jIChأ5 Z}(\NQO7kjr 5Z\eq8I F\LuSa ȗ6Jܯ<G$oRx7_LLDL瓬ts3z*bd~/9/:- !`v"PopRb*1Kuv;/ DND2}P,>ذvM>q7?Fn䭗Ymg"@C\f=ݥd DC} M&uI5.f\&h\_4h2SV߀փx!1^ -+Q 1cvTOQۆ\7݁n l^-BJ,M6G:ԝ.4IQ$Wu_9c:JoS{  *Qi͞|ʲ3!6e2\ SԈ;PC4GWmx_f,j_T-e֬s]?wSw3s 2xf3ꐸ[޵)VgJ~\*˒"4uYjUR($:0)Ⱥ阀B|e9 lEpPv},XcF.S8NHײμ5\SeD32.xQZl|=%[,yhAl&l `̎4hi,vҎx 9\DZnT:Uր?_5_lSUƀV.+:@ ;8R6pIb~3Ӕڛ1Chb '$$kn&܈eJʷDr ̢Dݠ`ɸjoW'ϖEB]2O 냽,*pas$ Mes9gP=b)~~PӉeCDΫj5IuE2M0!j4a!4SU9r{^cV) բpMghpyiu90ܯ A>4LJ.,ǖ3JB$V#ڶsІ-.qV7,v؄58-*MٰМc>m:Ao015|5di1˿{ʮ6گZ~ CC_dztfvGׄMWkꔢ,r賩=7MHKu bQ9PQ7$픿aLӥ&& ,8&'ǶֽKBm!t#}Y;;?$,e_pY>p|]=LW-쀷M;a:v&;0v}bTnNL\- A5Awb"E!B{Y8]Zf) +نf)Kiy" u)-OA:DSQ[~☑ղY+)' 71YF3K"d8N7KN7~-sZׯt;VwyR@>%``vB~rUS\{Cg_>Zp]A&LxWл~|k×'_?,Yv P&KT6KQJ A(YG,Mdkju )'lmDc`:Fl|':4 "]9taiU;w;^^бTK^,Ъe0,a$_QqMZ~J{ aCsQp\\,%"Z W,lۄk~@(|^Vrٯk ]@K#d'NĦ%?#[;?*пUAjhהќ?~| chKXC2/ V5a3USL & uh< !%zt3k-qm ŻUv$sn ]3%xg5?R#v]gCUHBX|źHD-&~.͖BVBFo j(]Z%$ c -ULY{$S=@H?ƌ^E~a24ii/&2HW '9uIrXT,[`~|2Lؙ،!qttbΔ&Hj}O:Yo5(&dݣ ^t8;''uΗhѭ@m?.i# ^H"BTYg\qMrl0Remj .߭ ZPp1] wSޞm5@-d 1+1_Lۀu:W8>iŹƓY7^UH |Y`Y8hݞ` kt!$Hַ Ѥn2f_IV-,W5UYO!@zRX=&Fg8ؼX ys 0~)z$ qoN׻,Y'` ˝#%TPkx9dc#?bU}&&Ŋ?p_K%t@fЊb\0j- [3b+"ѵ%/RFC>- #Ќfű?9) L%y E$ \{<5t.wx |NoDu7KQ{ڤ?cOi=jV$+̚"ʟ> ibTt(= q 'g(9ZWisLڊTۊ?]U~EXh[zΥX4Do %$ c#^&=KQ#d˷IVh4,w cYumϠRy`4LjPdFG'sC-rsqm$jekhH} /Qq2oǞpVe\hB]AF u_}!pMSfJ#hф ^ :_?^rT σ_4f*n4 y܀T, DQtVL[5='%%Z{kƓ< ]qq!W#i鞷qR]{ ꞑXд$]@T =jzxJh5dԜeV}X%-& 9&7-tNsE8Ky%~[,8VQIvB`]>`ߝU-# i=09d Qx -/WKy=ӹpFxPjS|DkЧHH [|+G' u֘@`OHyĎAg |K%i;1_ f$m'O* ,hHOe4,_gN ;J)H&+Ů!d/dK{[}zײNfy(A&yH^+`;ǘ%j!Ի+lj!/PEM:K I#ZUzFe So ki㢤͓tgpҼnl nq,cdC@]!=!KǪd@ oi7iQ0y_ש3O`tBewkS(!L$y u\`5äca8͇CB]*sJךxq%#`0u$3w1gNdIMql$<՗swr'A 5^K9j=_ !z1́4!U'+ 5?4A.E#fLC O e2)NI袂 Lp-ei'0j = $ˣɝ- zW*f=B5vZʕBr#4[*)~ m T娣Z?@ 83>zQd- Oj'0[vG@[ρjR83JZW#+o?b-oWJqM{DEM|>kY55O6- KcMƒYC0cfs'({Lʩo4ގ;!tOv(( MdJ4Ba,t`P>fna0HH\Nc^,*i(J瀦{nhsA, g'̠:dIcpB u 2SX;|uC%}[bbS>g]E{}E Ԧ7۵E׊dbm".]2<>3UtUVSB`Г=pznxIh\)`޼nΥ^~"GtJS`|BCBH!㲯$AOs @JG*P8~kJQYe&4B9JH' ­u(~N?^~SEYƽ.xEKX]uŤ'7b3uߔzWE4GRݿKfѡ2?6WN_R0,d.`1]qؼKt`hl9G>!K ke}*Wb^@L" ю-`} :O%M𨩰Dn<\>fUTYʸGF? π)5suߞ&` p;ʢ°#}]#!zs(ZWAW4$!:@PK|@$\U,1)fmsͥⒶ11˜ gJgYZ7zXZִF! Py]ŗXi%L&αf%ſ5SHfi;iyoo~B 1L'Q2iГX _>oIGf/L &2Ux+eK\rU3hH_qBDGgr^ |WHOCp^) qI+)KYhe(Yp/O[靰'$J16[ 4T~y\FkG`CO[߲ͮCyE(+26el$Y~_P3 R˥K+8$͒ uW `zʭ=ȉndh~rqpᄐ1ZĜLeQ%46ts}SۋꬌUM, !QҬW4N@~[ISL@!DFK&>|H1YeBk7⑂# *Zޠ dOlw@\q f;BGV! |й-#w!׊o_,?RO"V^eX}@G@1Tҋ~CouZAC&8LcA@C`**m؜dpZBV1{)Ql =d5,e+0*'w*hT3VpGi6{ B#saڅr{Pp^&3c~mlK ޯ̜XX ( ,cPbϱuy*nxqV7w [8c?GjrܶG5[_q[273nDONsligITqFPG;\w2Z p =d:uqjh!=YY!$aBmSI kpʶF@@(ڕ 8 2=b] $BE:,}/8b;H? ǰ9ĊFuSᏜwu>[vjzGaQbK Ԛåjr