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 m%\TD ]/]HOL-Analysis:threads=6elapsed=378.552cpu=1906.144gc=132.604factor=5.047zXZִF! H8Y]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm lkʁ5wǬm\M2_rm1k_e|e>kAZǯ|Ao33bGxg]aV?vpx87vkUW*}t.Z,ztoB7 mm!K8,{O-EYVCZ][wS>@'f]!ݻ pf|j?]~1TUR:k:LxgslI9PKeM % HOL-Analysis  Tp4D7 cDI̷;PbtȆxT*O1#էld {1n MŦ7TE1>$ZVp ?o17$'F-i-KFkPD%wH@kjb5_f ʗT6<(1E-Cȉ.pά(cدh@.ӱ߆y ,vDnk1>dQwCjFVxGQ@Y &bBp̗lSl? *JxgL`R& W \\W U7C&;7JghS$GoR93>ZVxBP -2 ] ^`g[ɧ!?@ܓHMpvtQhU*>7I>Q򆶎{6˫ Or/sV\i~Bk ½\4[I!];5:ֆIa#}AfFUf [l0&J'/\+j'~a60tUEvF:^N%H6t1hoW_ ҀQa&ڂYEVC, uƚq< s'QF]H׾gլё0k3jZ̠"_5 JoT 7msN?x3~Cc*tȬ;@).`2bj5IE[:7Ĕ"g*`GY}(})\5n,o#U[n= wF nS[ LW$WX7ӭMg%#7wPYuR%R[K2@ 8[{ 486LYu r mہvྱ˲ [+nq>L+,r:X%\ᚳ{I <V\* }][YBLuĤoశȵ|;HUϡwѹF#>ّtrU;a4YAsWm=ڙ`W0)kNE2[{MD`pr&? TXj;I֙]Ol{RrN'Oit Rf*QT&.>C%U.IoJyn7܈.xSRXSN7]>T=OQC.,RRhdڃV Y̡@y#Q V \SRBvb)N@#8E@1v7 6PT}- SY{A.iW#r[fLX97kKN܂$3jŞԕj"Lq@Sy6D̂ m=p^sf~f2':%zQǫЦlO*ݵz-kᡭH;h|oŐXUjt.uxapr([}m:{pp(yTEFMbr9~?Mr/":Be7qjnuawY+v}Lhb=z*l_T?u@=lυ)CQuK̨xx~UFi`-g :Tr&4JL8 M¸ԤXtӢ ~nB։KÍ_K$F[#LN,ρ;6T%[% eBpp I3 NÕ~=8cJıɲpАMf%q[ϝ9)!ܿ}\I&u)7;Ota@Qe#!^T1 +ڶw(ndӖ\0t6㨸.N-{lxK:D=F GӅFM(^/8hH`d~ Ɋо֎DhS-f V:ly>,tă+l=1$KFFcXiҌԤY{0Q]˛^֡( 3'Mh: 2,|EA"d*UXpCQX6 u/{ pA| 1YqL`dD'Ƣ՘)i/IzkvN`/Pu` Qy@$g~y3ld$^1fy^jt:F&A\VUKqOZiTu/DlT'3od+XUYH@ιU̧x SJjaoZ!H ي,ifk}c*.OKۏm u>iPSڋE-TcKE'0UiôƅZ&TUP9t8H)N` K+~,_?O">"#4pƴ QഖIKv̟u}gv^cA2:#hRhL"@ad C+U4- WԑvWZE#]6ywȗMJo+SO0'bڮXN 4mdPTf4\FJW"Ѡ9"pz[ Ԟű*QXefK:,/9jU3J3+M0)<]&*b}a̙nj.{4K?ԠצZ_kmrc-Um>O%e[_5zZ5$\ M`UH"*sU4B\D(_G"{\`k( pӡ,Vfr֕?܈6[k_$q,o9Rt0ḷ#3YǞ6-4NIXkZe!Fs:Mƥо+uVt2 W1q{F^O͋~@xBÂ(K(YӘDy '_8yBv\`kGFHR%(X¼CxPe.m=ķb6ˬ͔K+vϨѾ0E_gK>'((qo#C>Seu7.Z"d<&}S; &s2 *rHᴁzVAW,Հ?u򣢠˰˼_[eP˶ʛGQvQ)|9ֆ}\*sfkSjcR0.3 ZÏky ϯG3 cKo~_̹ru7e1jģw/5U#y^,.|q5O-GLX>qTB<˃I"WM=mw/Ⱥ&K&zٍP.q0M.ϧ9Y0c>jot LZ$*9T|HV5σaս=$j[0.$Jj'ѤmVcLAj>W:ZN1,: 19ac aZFeIw8<MbD.Dž^uJcPY'Qq >t(yNCBj̛ Qp (|Xe*]|ť"RǏ#~пx9mrLn76]+MC " [Y e-Yx0A<_Yy{ÙH!s+;k΀v+q+\c ޫ⚰*2 zh9]@Z^3+ؖjLz"YV)u)ˍߧĽ95Ų!O"X΅F,aD92:TZbb= N%hcӑEJh?dz%a+%s+9-0[.-fg@ГpN#{xe+ex]P-tv3Z;7D#9_ۆP͓"oYYh{vN)S7&Yuɦ!;\WNjcpV$qzY _n sLT*xyt!H]bqy?uGύ%VV:1N@d< Xt~)6m7ZOߙOlmM 捇tܜ^qʛ48KCr͹s{qWa?MQ(> (MY-tu> MyKn2F/uC_2%v㓓 pUjkr63sNE@z\Jͯǒ%)Cxgtk zl~dkL}84r+üҝZoAIV|cGo>3G mgg]ظYna됏s&:aNo dS)E)0ߡ6eC`-BO3POĘܠ`. JIU@[03s}%GK( $?*vW:uВ5x[z-(7Ѯj]j7⚶b0^h|U|B;by^]t͇RAnpʢҐ15Nɀam.h|H~ƞ$VvP=)`%=.Mi3ZSsȡε@`28>-!9q?w pEi}V-v 8 ?1Gb:8[: i3sxc @+#.i"$6S(JX3FEV &̀zv/koz3&7q-o'Lj3TZGOߟ-مm%Q,Sp5矃^+UR_^},®bQѹt(w|I*.>Uq*.xL& F$ڸeLǘt uһ/g2[$\-A$i&3d&m`Hib=&ZcŦ\H 0J;P~އAo5"ڂOŦu|W@ܔ k/jd H^}RN,̱\B0bN㹪q$fo9_W]5HCK&"7睫I Ue;3F ǏaU|#ʓ7곈f:mckR4;Ԥ~/M+cNfq0؞{Y uӔiۇtd^nK|#yEAynrgGחw$ @vqL. k}tXP`lZmB)¼lxR۞Ww^FuclTd)f% 0ӍflM,PL)ֆb /VwfQW⢸0y`|l- un֠V,K#iުC d;j#X(Ue%'>,ǵ!V14'BI->Q$xCug-pG._CQUD+򶦥 Y:.E)خM|!{$OjD3鲎ؐkj2dnKrJYo#Vy#giļ{\hgܱcΖ\D'(K6A{zպr0ؓo(pT:c)9ܑ% a7\4oeX!uA(X?So5+"\Wpp\y}@wg~>eHN}PcO1)y]ǎY[&NN-Jk. oAˈKVCE/cd/rm*ؘF'M I[tuOkpmAw&xx 4w_5ڰdV sLsVٕD#nI{7_so.%_j$%#Bn|+d 6u$6sM2kE-|jV%|q*&~iR$]&gWR? >F ù/Q6v g/B/7?ȝ^&oqlAJYԟ=)R,!1JYs^wa.@@w}AjiEӫ=6`TDi8Cٻ2@W/A'|Nd<dWZc$_ETWP{s5sׇhx:X78)S&}GX6+Z1hhpi9JzA+hIek HH(ԣ_ϰQp+}q]_-KMSo.^$WIasi:K\H DÑsƑ7Kv;.H&o}} λf}Qx-:+% 4'PKU ըKaQ \DlrI"X0L+d6$^JpnFD 6qH8d),wlhT2_)ЛL*|I$M}ZTTs n|N7FSZдfvD0~Бw_i_Ut gq͉z 6 OsvLajUl$!0LMai9}ʇ}IWuq^@,$a(GcSD3K]?3U6sΞMyIбa<?w3׹6wNDX"Km |R8sᑄtfg <=XE|,l=30Pogle$QKNvP .#ef ˢQN8=BtLA2~Tq3O)@U6ɥ.*2>= }bfV}+ᅄi8&qPƕD㧎&M9w▋̢'fϣr2uI:Z e!|`cXgKK[>znHbW^g +txC1'I5zH&9h4!6! _ &x$X1|Eqd,Kw *ʲV޾f. g3Rm]#ߩ^]P_+Ŧ?j>m&L`&zIQuQYE@{kzK/>?4Lq<\ sBDssk˘I 1zW-WZZzAځ&cr퓋-?)頯گ7^C<Eif8l , @|(8d'ub!OZ{T @ko H.<ԋCM=9R՛/gn?D,7B?Fq]]^(Ճ )yĤ9A2¶qUlg 9UPם뾇k ʤuԙmNwV(V 9qTIcX XL^U*(Y*ZW^̖ 2Jo#_yAkkUmvir!R-uйP_it/̰^U,USP瞢+TxR#ʈ }˛ ?°wV Y3adPQ{Xirs_\T,!O>4+V{yx;\mŵ Go K1ӿXy1ҧ8YDÒ@67rY1{Rz)\:`8[g`%?/IAxA\?c\imL$Eh| yVw`aVEy u q#RG۵?toh( 粙BZ,fy )0`"!q1yswOi '~OG7/k z6NhU}jp ,_' H?ِ *%ÂScq8VɣW"FT4y״7  ,x`tm7)|>?u,#P:oc=pu\pXIPDZ ?mTKPjϠ!nc-Y-.rW0FH~1g. W:M9fX+ cg!XMHY~M,kBNƣKT|xƻ *?9+]дZ s5:{2@QW'jJ@ppa}5`AӀUxXڏ3fcZYzP\wdE_DLAz**mx(U__]AyCT9 8[:*z7YX֘6ih:΅o=Z,Si(F:e@` .M>|Vβ#Urn)O/d# G*ju&i[,K|-d ʬ;y r(ĵaCkĴ!(hU2ꮁl.ޮa+&*W>gh "! QtNO&ku4e`toɌ:᫱*WT? rSǒ#N}v 8cb r{촲Geu/yJNM?G?a}jŸȺ𰆮,镅m0*`|j6˽aZ}] |O'" 1.; {qq[-h<"V`\r2-(7ZBw)$H pθ^ ?z7"2VIdI%#)a|Y)u֑ `>CV $bx}!MNݘ<]kDVDo2qpPЂ)Jñ:Qr_}mv1pskwzyhԧ@ _OҼT'IAe䶾.)N0B94NOeJ}e_K/M*cͱ@+03-; ubKn$S#Wýk6l*ߡ$^cm9,o;V_3EyiɴIL^Kh%Qֶ\^F DQdAEZ`L1~Ԧ1(wMgHgSh9=GA%MMy7!M}#{d,F#ZxA8qKNUa:(`ZDzFb yWa%i"ZjoжZMt޸'BHDzeC CG)+O,T>D}L~$VUk#o[Ӂ\\eN~ݪ V3'`ƥ̱E'[GfN9g7deffEfhAx0m H[1m/2gr i a5G|2wy:Io]W0nd@դR>M}PӾd$CMmq yu`S-\Pd! "鎕H`Rzf[aRZ&~>؄#ZO)X:`KsOxl8cZY(t2h' ϋ0&Ϡ5<h|uiMygT;֕)BNBXiH͍4öl)T"@&^T`va;_t۟Ly4S؏Ud7IxŢ!EY|q=*w yƖ ܲ^&ix;pOuE鸋t+G\LgecO :ۚAHńD\];Wci)N c 3=Īdj[P|9 ZsSj.+^ҧ 0,)ap;CPziE+V 7A¿B%S '<눽_]<3@f^x){GQ#j%ir8'VlSR}r8o>% TX Xi/b*{`WT !~N/mQr+{!6ya8`ق7]&>EzT[|☄AINޭ+򫯉b uH Dal䧧բ<ۆi۱VO7&뉞?̜ۊ`F\TYQVB%ܥIdH㞸\^0u3.T>Hi7'9 P䉏tF{QXu? )H M̥r~^Tm+[vDx4%OL~K=O0!7:/8}v-SJg7s. 4Ux sg 6Av]W1ȼmMa=-ozJRBWqY)NvCߚ3)v%y{߲4졘EaˈŽ VRun`6ι'I);7>O@7m½AN_=z0^K!ZmC(׸}N4fK#3PƳWb4AhX%r\LnZeM`| Nkւ[g,RdPe/wu[a${$TcLqNvV3IOs}` iҒ}iU%#S<`s[ԴjӍk="I4)C<> ѵ8h֩k( wB^l:I-gnbRs[15# #Ӭ'\G)|O7QG9txjIB_Xt)% (Jc"9ݿ#'/XBN}\15d wXd Dq[>VBְ QJB\ZmZI8"M--dՌO1UV@ٟT(G{++w;wì#XH0p0ZVkwON0ff-k,!t k U_r=?>R1&F- c>rsh@$Ӓ:1gDLȃ_$/ul^ >gCRF_^GzsP@]_=JQS5D.9J E0f[ʻ;fgXGm6ySL#m%[ؔxFvIt5.! 7H2w7Y S-[aN;CKߢ'vRxwu%EImEotޚ„?)'R`>``6@F+xN޿?ĴbZQR5&(UeY?֎2,v@Sοr)HQ `Ⱦ]/D'ٔ& 3b<2-KY!GR>t܉]wteǾ1%A SnX4CoǑZڄw-w;l=Q̂AeOcIGZҢ1'-yb .k$U;RTL-QJn34Jfdt5yJ`p7 T/ږcjwӼ S&9l̔Ž=ëW}U+AK`F5ZV{ta 8D\lb{?}~=@Mև\NxO-DWp>KvS\X61~.HC_:lk':ZpٛG$C IJ2>`s7|iǁUTY*ݎNz[wy3q:,`Zb}4aDs%%]ȓ32T-$thAu9 .黤sCK?iuH!Yo@Ȉ\nIط>?;B LTUT3}CgdEԐ%Xݳxn^\;I}ym-Ix- 6Y曀_xeH]NS~5y.ٙ:^c񿘗ؤVi)}+-tFY1Vt4.sBk8 y|`ņYT>7o*LUYE,lKf)Ј{wmXsQڠ&A,/nGu 1Tt=T`UT]3?pBDWtbp>ł ov@N6% o]Lכ|L-u&yr!5wnvr#֏7?N+M%3o[xܭv<198mw=uQJ(d[Tk=o.l1KPY̌U^e@~jNlͥ43Q( ZkA]/3넙|%O3DBcsZD(E\,u3/w1_fIxp3~i]ѡi| u%g Ѣ5i%ޓPL$,.O2x״dh&WOA]LMNaZ*?_JWD6A{ReCžJ8-L@9C88msaA-I!aVobPdDK1-XKȜN͹{SQQj ]3S`[PÒ/ 'y=vɸ|: S]!2/ZvYEGQ?of38PގpyCI5SσP!L|Af~bdtyVVTF{꥛k1Ŋ~Ȉ{{&۔sL~h =g8{@Ue²@oYl Uiқ3=F/aeSLP|HK4P=;$ã<\ZOh=I@-l981-%Ib?ngl.RLmc `s#.&:ϫ>T[%[u9őMVze/9 ]T hbI Jd:! M`w0mt;櫦cyK Q8E5JѮ%q!T6a42>1!y.}T67y} Λc Sx 2BMf{O7œ(XH^j"yIrx?yNR%lXO)7 <  &f!bUֽSRqc풷cJLt"bCQ+ZNƣr=A\U$ȠqñkdFl ~%|mQMpp*W[ 6{`2G3U[d<  '^$\5z 3@ɿ+Ks LՋccBW:l,6c./6k}öz ]?<%MLuK΂eb]43a)Q,SJFhC#WBs3{ij. 2- kJʘKzI/\7 3'&7fRL=x*02Gٻ.oS";iR634@+#+6 Q؋$uB˲6:' ֽY롏oA(JVf2=d{{uztvN2:,kA/YM?P'ڪiĎ:< ,Ɲo@$X| A B& Q^ҿ'^wiA-o3F_h,-U^Z V=R|qF8ჹ.ϩGK~ \}"w9@|sIng!45d&y N/UsVfQdBU c; rvJl] IـGqٲMCz8EB|P ,1PnjI *<>O>.=C2P\b ͒  o` aj,*gg)0=_mFwk/` ƀܧm ”y MUY;/9c>IB6snz{1`Ì H v3_zTM ~q=ǎ3 fq`=6xV^JrCtJ2XݻP~Zw%kQcoa>SK3͢53ĽX,aF<;ffW̼u-Xlq@B eg?#}p*pvi0NďbrysvFD$f7#[ CdNl^ǣW|t*bfs待-MLx~\Jq [кߟ %M ^Ƽ="KnpFYO:xF/@Rwխ}2 fdLϬ]Ӑ3vxS9{b$'Z6[B'7r p+t({D{FKpq9E%Ƈ□ $2+/8;(-O8G(_ܔnLx؇FhѾwYHMy]S?3)a* x; U3"^=GxV|i*Os-K8fk\m) AzJӎ2n.%(yy1bxo7F`f}Vd^-Tw㠿I=&e|@k#Ky\J5! Ǘp.`!$wE"k1ׄImDЪMWT2Ψ'U,C0GjE-A4Gi`K3<,'+l(T~ָX5Lt(#p5({dOio9s?n3s^Yw7"gR}\E+t|6ԉљ;#[axB#a6${,\eaU2CyY;C>$ :`hwM>:؏L>J!uuD$vHvDC b,2vGp!s/JwKbT%u͘&,a^'kSIWj}KUXd[ > L^ HDj06 5j6Re _i&? 4PX"{(p*`* #\ϱʇ'PBח36WN&AL~lIoF_r_9fLNn"(7B:a&AНFy{TH#1e&9WtOv5J q_Ek~إЂ+xBҤ`:륄3ӔOU#VyjfZi-'=rZvR&OeV d=x~hiNX]"#*[ϠP83WN:4H1E'Ǔ>&uL\oJTWWw^1MssTJd^5n@ oN= Jp,W5Rg{Z. _ {#nč{yuxZCT^6{"(s1}ۗNLiu0! 3Jp-!bwPA_qf}~=dѼSIz|:1X2KqX%\2XkpǪT@t$_>Bϫ#Jh2N= [E,J>ZQS Kh4cyj2X%,kE;mbs)o1nw #޽=UA%fu=V&׹R6e,s-IF/)7F?0m 랭 a*~<;ck?+l!\x9X3 @z!{g玕 Wy&[Q 2ng9H9m6MTβf9kBi.w4w1*GIYA :"4 6D>yw{VY $]|N2c`oM>ѵP T֧{HËw!%Ӈۅj?_A`DT{eG(-t玺1;s5l2w0&ߐ7<;g?E~0aSȢܑA ^)M?`>uS̴[~;X3TGol !9nT# |Wj*t0(D =I/ٜR9!Sm<KbVrL9&| ~SE:-NΆȴ8&[`IL.)-|$a `,SO)Qv*[h[$hI$Ga_VsrRZGц%&SԠ}'i>꒒ִq+exah4 {tIJc1ckn{qHƁI<Brl[fgiYd)B%lpmtʇZźa ߂mkũ抝=Gb>QdwWv2~aɧ~>؟98d!9L;/[bUQk;22Bx.eכ8,AF %Y\u ߳A dԻ }QWY&Kt2Je/ñXtՆU+/ZJG%8i{g6+n[eL5'6kT:Ѽ3=} RGg&Z/5!U *1(YNv)}H93grӣxj/'(=xOHW7l::oE eaQ2Г ;G'YQo'քyχ^c: Av1/`,p}\n6h֭Jl'?m/LFg%́`ٮ;Q6 U,TRr ^ o}YL4PJk[ ?y*M**sXCZ.Ǡؾ]̎'iU@4yR[5ffGV> mzsD &YAبhP;a}?j"'efg$&JJ[,h'ꬭrk6"pavе kGݔa%fZsRVI726Q-K#%SV8t*҇hRDZgd52ь{47B#2EES,KOGĖIMBaAgG:фKΝ/ ̜ <"?7놫Mu]XC'Tz 禖A7PE`C}?d/)U(ױd0Qa.yUDg[b@$&o]quq58imzVTm~f'" UBRUI\U2Qu!V& 5&)[] g=cte©rQ6B~0!bzG ji%Y" EI<:u=gG2ҁV&[]ǀ]h "JYގd<.$WHwKit/claEPAB6v9۱d~#y ڢxv-a t2ar"Q UD6a ij*G2!!'g1@f,+(w#7NT8xꁁQP-تeeRl}}*&?ΑtpC[LCTY!y%' F+bvq\F*S,Ѡ'u4Qv' or6ML|Z$u. {b6MrM` INq:zŷZ4#p¸3YAp@U hZI%^H-`6% ^;8M77Dש$\h'%l< /3H,^[}=Db\PVLWxA'_! vp; ӹtAt1+ht̜&c 3ø3?>6P.N`LqK+d&QHĄﺜ`ZK%W{M~f\S;/ߣ2TqHFW͜xI^OØ- ģ|r=9붾Z6MZN=)3hpj^EaY+3.{̥]?&0 KU.eTf 6+zs) y#^^D~clh:ҿ>Ypvh%ܹT_, 'Xx2Չ݂8&Svy+ f hbml;ԗ)r6VI fw 6T67"!JFo(]=UM_Qml[Zl_u\GrnqXt4Q{rX^4 Yjc[q]2XhM0:iw`I(%wn𭽵.!&xXii.9Ik VL&&nm&g_V'ɓ;$PuXlO*(xHs^3ژn0=B L+.^3SqMm1WYɆt; nE ACkG;:ÉpRi <.0GP.-3 rϒkrju=GB-ԷWA: te<3XV.-r*Gm~g}x&hp=ydJ2|fOaPc*m )vw.􃃡/#t^\GEܢBۥmzTw&yMӼ{v[)aVkvDTqyF1'$&/kp%5^EcZt)ZN{ILMF簞atLVIRc#B?gXm/XuGj viІ>FAņ4 >'X6XD3/?U#f\;7Yi9fb&D*rܵLtKPpbrgu=i.uX f$[%m2+WV# Ճ-n1VPQGh,XҦ1U ' ("gcJش4H!|TѶ(%an}k;ASP'R';qy]Lo+eAGW:t)eކ>ﵩyڥjH)RQ_M-[ sV*t5 x4Wg)vHú^'\V`^wLR2x3 VkLlZ gy]ÙJp,Ohfy1$ql 9z=?BD 10,-$&)?-iQW)~? */ts5ԥP92<2c͒Bwn6٪,CYx U%K=H ƣeG'>0ЗF^Uv1}>ݐw 4q%;qse 0NӜ Be$F^6yJNHۣgEͻ+(]1MFmۿ(&Dҟ(U2"N ''?Hn t>*AvO8|=wư}K =gj 9m 2 SD0QziE7Aq 9>uT0הFQ]}{-jC_.WBqVZQeS GDQs#|͝l(Qcz+WbH4wgpb MH3|DY|GsɆTNYPJ qhΖS1RYboW7xҴ@™u?MB{Em>gQ%uF+͂ Ǝ\nOz"ґ i6"dI5%fVGrON>xrDMvtB[IM2OaxyeY عG ӵ`>^Ohɷ '"$l+Bo\oJ}CZFӄξ; JxS'ZL&P`g.%O[I]oYp %MXi|~ը:Ǘ @< |Lv$ O01+ D,"p$k=t:\e}#֜e&c1+vD琘 bAK.2,=IV=s!ָ)IX z5z&cX#FNZW+1zUhfko bj3Xmi#ˆ=фIΑ e/ŽT?#IЦBRFUj1N w08LnEP.,r5Ps(>j_T&Yd{j0 UDZ [=!LPHlS_I29asJИ 5r馀T٨o3ne|rNyQbLPl- +,Md0SJ{zFE% P` D{X;,]?;IiN:FKG"nة%x B MF؟I$k'Ё{<[cTq:SJ_-Q iЀ.up̮y+OW7^l fa(Eb b`":]%DVmn)/DZ!|zі(ofBf̾k-{EnJ7msSySƫ!̓kKuIWijQ~ dkf ]uM|Lg$߁2EYݾ!&F3@S|?m\+C`+^ 59ȄDm˩n!A;JrMWmg/tߕjmK6cI0辙:AF}`rv}mM=ېNFqV5fBXT\joOxyY.,Xyxju`TiDbDz*&NA_[@jdv' 9_RG]Pz2;`UNK^(7 .v9Rƒ ۦ}:y lن\.` IJR+[4+;hv[Q5}SQٷ܍׊EU\1GՀd&4Y%06j>Ra_j1 BZ؆LEgVSs?%08Eb²*Hʥ,`P%L&"'"qF5Qu i^g!P `4 1ߠNJ4m:bK&!c22+!jhkQkK%Zae1ɛۓh @η+)]9@4#x*BS 1GW.X@6I\OI@=|[Py_v5 `^f!Ov]s`V,yPɕ\4xYygR{/ՔJ%`z$3 RNA:xN7:A=}qmm n"$n50'le !A1۫h[P EĽaÑca̲!6 ϽQQι|xuȹbNPzpw*acrvǘANzӂM փ5ʬZv"\€JͅN 9fuJ%'y "XsA Ȼb{+;DپB}J3JTCf-[i! _C-20[KG];aڟFƪQIa c֚ Pp5%mOW ~xeפ4~amI*kuPD߱% 5WWK"]bg[(Kh1B{L(Xutdչeqb [jQ۠,ĸ Q> {k'Z\!B>g1gJ#>%KIh2="ИӣGj6x将%M׉Mk.a `qO 38k+NOܹFJ Q;˘N?ői =eI8MsUҚ³1檑\Qѹ7&/' W^ AJ|X]Hd &Ij _x RSZ j[o=AO Ċ>:.JI!-ʶV?sL5@'܉P G C2fOHZϽdHh/gХR%X ^ߤ2)H) X6m7P_Zpn]v:OѿϒkDgX xX耲UOl{z5xк-*@eڜkq ^!叇2\hs:`L7fq~q>`YNZLhbSC+ 88[ݎ]޽}L`q7{Z|ʆ.m+]p̚kolB8VQr6yFQfMf(K`ʡEM}v- KL b <#u܆ie"Yep{mp/u74|upK'Fw@1oE ږ֖yŵj,b" \mW$L< \+ NyE@8^)q%[D{J<D6V7onhs^!{(J}dF[^Z͞9FmDCZX͵p PrFP+,Fs;E+JcYAp0:ԉ L~+WҠ]&ܠ hDa [ۡQ0iSIҧ{Čs:,oP"c2EM෉YЁ@hsIُW%%nPzٳ{(—Afeh1 ;9-Bbn_]=o>p`Z1GT=?A㕋b-:eŒj6nrGVcޠI! A@wd\UW0d7לX4"BO]4&3x=fApiwXDm"LY5ˑ`٥b( FFS7 ]9 'PoZfbIC%neeƇ/2WymS/̢f(BF^޾觹>RaF7V>!K'8ZJWz~yFfm93L#`6R,LUg1']Գ״@` #ﷶ20{ &Mphġ6eA3.ՃgI-nb!i ]jFH+q`// 4@XEM'ܲ}Xie%:S; 1ښ~!g)>FU63vL`];n{B5,n(Vi;kq;B}p[@'\7tFz$6Pʞ/a΢8cADL le=HX~/I#dTkҋ5EgZ{q{?tb0k0yY3zK:[(VD!gV`KV7&ߣ2xbg)]vw3sgvC@֋z-eL:摾T|+*L;9LI16;J$ώC@wHNQ{zY\dc2 3Va:CNX]WvM2;8brVJ,=]hX]nFO *>zK3VU5y irB=7Y]UjRy )p㉊mU.dkidȗ2 Q)ѶMv|bV#t7B;X؂,رl6w\sw4'h:_`+mk>iJ]3[( m㣀!͒ofF(b ^b"TG[BfV cf #K[3`ʅ1}.Lqs7A '"߈'l9^|CiQk8ts7mxx8 "D1o~mKX ݍ[DeW"࿑tlcg,Ź/V̄!r ɬr+^ia85 };g!רc,\?#+|餲E–E15gdAV{e7;Zkz\^xaNuEc$w^~+H:!$爜.3I;X #3uTX֔"=[DU瓹K7h)"C*]pTfm>T_.N,bPF멢 !N0"k,t Α/CF(w>T e'vVlg*#…SrHJ\$zN#%n,6mƮ"ԉ,+Ar~6!g2*h:OwNs ?{B1oDIZg DccJ:tC t9״Vc̿xqt~̢en&-Z/J2Yȇwq w͔w?u,BbAkC8<&36к 8D\?ۘ-EɔJ Oc|Q(F۾`=HDUZ:AQtY 09y3)v;1GF}rFCtQ<2J ?!ֽ%x)1rZ3f.3. D8b ~V41S 7um?1Cv$r3dq?gn0yO_KDxluoj[͝]л<m_Hxևg /46Fś<#0 OrؙU6]oʫ{p]=D|M,I6OD"Z4%9(GKjZS̓|oѣۚJUlffoX62l*)A12AЧ,&QNYU҄'lC,1zŻ fّ֯击YY Р+(? `wm>M4b0Vn?Eʛ,jˌ> (fSYlʼ`5;M},@nU(X~Mҷ=[UD]P LwLah[=&!2#X#5=6楂,q H a;0:{{ m,`oU$^ci̳\9PX%nM+(?D|Y9>N&h;kGl!uC]H]d}(QPPnvEI5EjqiDΠ̠_pnm6 0O|=b6P84/nego.%t@ځ"T^Fn~t\?y69hE `m<沈&j*jg#afnHS 7A{d%m,)SkOzxqzxyyhZyfIBT[FcûaY,a_7G@i3c疱 Fqa ^ +7y,R%؊ ]Ƀ۫v]$5˽ھ?qwXI_wӰg geִ ڗ{nˋMgG2 f:Hi₤0C^0LoLJxWHc2ӵnvڲ&2(G3Cr ꨘ}|y1լ=uKAiR&h4[qWXh঳Z3FK;k4~SJ82qAmb|j{z϶M} B?$}jl&|*N @;FlM0Mkz-gf̂Eo`jCcsNY[*`xFӇ@燅Ygtɕq5~pgFPƥL]zMWj#S:;˚etpw&ٖӭ^ u_= b55vsȎ]aȊQ~LXq%MhItb!ufb\)1ڍ#'8kt̆YJsjEw[[VϖBV%OLc/b[Qo&WzCAvΕX]zv;>`˯;ẚ}¨ A2<-7R=L?,Bc;/\b_kAWM ]*RsU}P <♠&)|{F93@Lb}ЍvNz6hlf)s ]2c׊#Z;(I[0R%K(_")WB /fPR>ĺ:' 3|)"zy {r1] V>lWcPVE|x !"tr+K%CUqH^M_o2uҖ\X#-WB+,bzYuB#,KYI 0^lSЪ"9 ڊ0C LRL(n;B$RU>J7V(@8t)6; pj yiLN:l( 7suT*3BKgu?6e=*v_#l &Z/td:O×}Jps~nr\Wum>-z.)$\_XC(Ŝh:%ULܭHbf|el'c8X/}t0H{з >[Mf3$v|KR5Fvn\GSB_>HYH4 L3|[9k1zc( iIcАxlu^75وŦZX| qvu>7:T XLݽpT%;;)#G_tJGtq)’݂sMg+*YgZ|O󢃄hc;f.O( "P:l4mg6YRix$(a]&r!#ݟ;N,ю=tPtN-n\N$.7Q2)&X-]mثx[xǷv:y)}PEOn_ XK 8i34mVN>2Yҷ }Z2DsTB=gic4j˧bjNl/I3)Qw(Tǯk!0F_^ɼ`{{:oȨcr&u8u}ko3#$aҘDU(q#c7QюC1\ic>K;mM2_][M5M} g2w{YRcM/%9T?3 VZC>v)S8WXer`FnPC<Ղ1 ZNW:n.<<40L/8o>Žy%2V%]|yƷƑ=T@Z@qpP?ڌ+Le 7庼'R``̔{k\'N~ + MO"ijNo E':D" 'ێWa/tH/&2a#eMGoKC% c~0ۗb7]WfP]eea/ˉ/vIM]]_U0!TjB Z*SC&u<,*#fqZ\2o XQJSiW0aɕiK $㬔jZ)V3nu&rSqp.<^ Nx~ 6vIM(.(Uj,v0La*d36*vvk< Ci9@WY+KЉ_K.}Mf¡_mhE3^Qyc߽_/u o-:`mV%G`35{`(&Ƨհ{^ xS5֩|a6cfbxjAМ`a ߷yQpT DQUtLuQMys?W8d'Й3[ِgwb`gc;{pv@ 5eγrtw3/ҒLf]~29//̲8gt b^j5gJ#eGDҾa^I.?_ Lz{D YAE)P$5֤Ri<,*] #xI{"~d_9 zv,J*I)$!<*0ķv`NjĒqקRTDekS[eFDiXؽE9ôZi_[MXfU&@up%i١ir ^!5'/|@;\>K*H?/(lr8kyBGKz7ݎzSˤU;>'zelx)Vv3n;x<tu&Z@k,n%' B@J\  7Xj4/):Wv8wQkR !jmB#K(kh'r+0{mg`ΫN 8D Þt-WdHU&ZE0N$$0T_OEOMUEKsܦЈ'];hf.#zg*U_WTiXb6ȓ/67DM_1f5p3mW›\zbhcQBٮOvdk>ʾ>Ǒ\,CH&11B ʄ Y-ӿ\4D*1v{>>^۹~B;AN?{ AhsH~C5#ݼ:bpؙU S۰&;`&Dc-#H(#;%q6ވ|uS~,TV7Sa#;? /J#֡dZn1m7X]&>#Or`X6:TVY*Ȉ rblɛ>M`74:O:Y{/I!󵞙aڜr® t\t[zdQVDōwY <Ǯ[Č5gOi,9ZB͛;Ew_J|pGhKf,IP9!{x } 4;%Q \0'h2%a:˻u>ꮑȌ!A^c4F*s0.1^EuX v1 1mkİi}M<F& ғup86$9,"b9xNv^*U U 8S;d Įb+]Iݶ% Q'K&d֯n:LE Zu{PGvԒ] ɷ؁qQu*ӸN&03L<Z9ڥp}#P5GLXDoPWe"Ak]w|6<|dobpfk ErbsIFnba ,꠫N@v\s9"L#ù״}X=Wx%/ZqjJF8bGn{,6ɪ8z;jM>@ޅdl)"%qJ(Ͼ PlGٜY?tŃIZڭ|6Ff,B!Xa64{˛?|+;8,a:ذ{}G8-]Xы ˔R/>V.π.GĔ'u]U8fG}km1&\~A,bN OP,1ea( ^f\o(O~^gcCIY]'+ىFD? XN>w[Uv?":K=ȫ J3)҆4ϯ |RWOfU%%kQ'-AFCQ,KDJs(tŮH$.Y<Ҫ T5}((@UjGZI<Ɲ`l4FQ+MԮm1K6\2[̸]M4(Fp Kaz"sGl!PJUoTnג,4Em7wÃ@pý_ݞ Q)q4"[szʛpKgj? tf{qjUjpe Q/jH{>yV65O@:KsiY=q%Q!\`$!z~{!, Na0 yc9?]Röv8 ki_gP.}C,Q_!r& ɹ8f+;lJTA:+ r!OXa$<;Rc i9Y[­?4gas'u4%/.^Cv[2c/m|<ΒsÄtz$EzcRV BUQIs0-\Vvތeb~ex0{Ɏa6} d= kOi~lüZO} tc)6 wFVKj w̢T C(_ }>f0)g2q.#.?e .r\ 9!n1y"ۀ7gȓ! !\jا,$Xwlpb?-"Ycc.5!I(YQ7~7982>@?^쐫Db*ї=YQ?iDZg!)JŢj)SL>y1؉Z4%t&]Z0S3A vbd?AajCPME㢐R*ޤ`;%IR[]GyI֕[jH3ʛQoŬlAU{sfo0v"|&T.  !u/Vd

8EЙkxtvޑ;iY>}C5N+unGߒUC] s!E3geR g *BB2vu9Jϫr8(zJfȠ gI'H9Rc:sFu pZ^0p"⮃W̜Ip(fP~0Kj=# ƿEfppMQJ6dp#k 6ljio{#Q:!js$]jج(H.?ds`Şii RI.l Qy$.#6Z^s1'ئ$yo2duaj^IrY@wp-5k(9?uYcm Y&yv{(k,BkG&OTghB2+s9+c&ED6U{=aޥ{WNEd!sLڱ,/(.il G$'gCC4>xxch5oHnlT7mTu#Cx2a{@'q:OR#V4 IH_вZ+4PЌ+]Pq4&&'`MdGV2Ъ"7:b>^<̄e_^s9Aǧ[*f?N ݗnzQ1"zUplx 47'ʨ %4l_$q|F0*6 vYV vVN8.Y;>~HG|``U!RGPWuCcuGi5R k}S?X oS-{}}ӦӋ`6e4dS.ό~"&X]p(qZӷQ 6^wUxP>^5phmXEB[aMRlPÕ~KBvЬM`2O]f8џ KoXp|;zA:VM<^CRw|4tైs2IY;M9[~&gJӓNo[߫z&KHG=ZE̲:jn$mT {wHThD`]zgG7>'09h>r~E=鷀URЫb;6cL$凋<IJeE1 .2u[gXI`)+A3 @oێI2Qf1~tH룄Y_x)-LPRƣ{B_ WQ敤Z4YphzJxv58ߤzSadc94erW{il;?`%roV")5B(j(ƣE%Ny덋0O$2(Zi@]|" KJ "=ɠs- lo`5r~0^+s&uߝOZǞqLGk[8nVX5d'@ҶlNfÀOmzI}W`ڝ>_JFe$Tab Cqj:ZgJX)xc:!Fy3Du+#t#tnھGSEe56cLAW-V4;alqٴ8RˆAܼH); Le85 iUav홌&h{p٘5fD.ZXDY$;w#OnC3ӭ돱CSr qcz݈8-c^@]q9Pu鉭1 Imkc1{Ϯؙͅ^ɧZZjINh5ƟD%Ԯ:K0ӑNV w_mJyԭ{XKʨt{1Iі#| ά=׿ѯڜrznD>sux ] e_ߒ 6lVO {gl"d kMnԆdѝ( hO&Y֔PpG:?]wR6F3VzgF/lGE!`4GgM*<|MwBz:St?={r*9E˲ @&Uzv0GqJK5;\݀6r ! ۙ+$Ibkd,-GjA+DY*?.N~ɨ9^`"Ѩ/.*g a2-W]qQ-GLaz:zr~,HjBFx_0'JMEr6}qs*;G(f2~ MGHTŹ6F]hp-|U \8cn/R"ZS1rZ"T d8-OHLr/!}y+!K@I2;'ƚäLoݗ:nhKW>(PP}jOJ\# =/Xه N5tU4ᕔGXmtL%A6^wI'D% Oh&~?E]||!}&A~kOVAOӢwM1 TL&{>?U~ȯF[>|sUsObg$swCԑtFg^.0CTy/N/$etnF2J|֜AÊd<CEn5SM$tWnǹ+>cs4l/۠<+2?rk^=A#/JѐėY93|}a*n|h3S #8UG@h%Xj(8O|sqhŀdi;ҘVl) E| f`:1 hg& mMF~~17* PezȂ)UGqB$귈ϰ83k|A;aS۹?^DjXY R0mE^DA ༨8d# Zk^ܠag3v:Hc?na`7Z5peQxVp vGYa,Y/|AZ5ݬE?{h??6[3BLH<>C&$k]mp%}of>yK"(;Rʠ[4V!r~NfN .aA?@ -;#MΘ-KQfKm٣vwк68r!SCi;e/։?5 VW~׮kcKӠH+(Hgu}$H;?tE?0mԮT~4wKۏg0h\0ݪR-{Ƹ =hZiݸ=̵t=>usxw4./ӄ\twB4?>mK?=]/M2{h 5kpɷ(}%3o*-Qq6Dc INx;>[$vMUYuOAZ5_~s sA$k/K9GJ'j̓ j n hAX&MRGl.csAG)ѳ:2 !j^6讲|^]I\k{.FE=N!vFwl^yU <^u'F:q!{ yx|m+I与7N ^EeT1J` =q yC&QZ>IUQlyʝZǽW,z {gY|ykfT,e8 SlCj&%f?֝mAjcw}O/Yp0A˽-C<Λj[H-O֦T5]$()nMW{/xT9fLͦn:F)2AQA]@]~r(s?7yhG2B>tglHvF#wRX_=*0gsE"?ŒJLjJ Z׬zFI? uqHor[ri(2^~4L d3};b)pA2ɧUBOmi6xXPcxNwJO5Xg\C#X-_Ŏv HٙCtgf%~Te~Y &AjKMmRH7JCwOTC9:ğbӄnPh.hzҎ0&?d<6bN8U+lj)dEϜ_~w՚Z"Ml/y}W`y&WVUXһP@d~r2`ۓyyz}h#=Pcڿ3DHiZXnvl( %4Jr ѿvcoV kdtƿZ!nsc;\ݳ|,QC˲,Oo0?@*QNw3 u>^"V?d$9JқX" m 0ο*4Kl}S/|wl%ֽ*2nm*Gy=.RAH~7pzeY'u4m䬟YN%/anp> 9L]"C'2p>zfR8Ѧқx*6b;jk>{n+) 4*pRE\uL0@QtdZc %}Nqm16ہ2 X.y=It}i2<Ѧk,H!WI`\7+=F8i1 MZz!>blK1oÏK}gV*cX9ښ%Hh@9[HW\ej/@۪"=Q0 0Rΐ+#u]%ڒݎkq5xJ_4R$-&Ѽf &^ QF8 kd&Yzsbx&DSA`Cvf@_ہBwJ`YLسB-#\y'ew͹8C3;d)g \ t.25>7`7AIXUBfƸ؝:LvָjEU^=wF*I ԅQ;/g fp}i*0:`(sv-nX$ >ޯȍLOTucGiɄrSE =>tT tO_~=Sqv  vё{0)q9o޳[Ց-EE~tR]z!Ӧ=I.P*i`S.wyZH?6;D60y )A٢@rIպC𤞂k ٽ~:DU 69@(%T-\U𭥌%'bv+)o")޼iSSPi_ =TpwnN װZd!6sQΘqN?`%uiʿݤAk_Wɥ \ތ2 ?U[aԺD'!rYZBdF*іv1cGq:F Ӝ1Qo֚ڌf(3ظV+Qռ UraъgTh-~?&)VE@ h`HYf|tWaD®NS Ip}iԹB%YVD` pTEBm{l%7%CZ yK/k鲺 J$ED T_-C5eΛin&N :I&'QW]٢ɲq1آ@@qeZ鄿 Dsʠ҇B]pˤ4 Y'$E+>@Lo^s:B9N ܹ[oһ-:2\o(ʼqckC}")&sã+(QM"6 2"o|+%Pә.y-o& SE[=0,ͪyfSR[(sä^RYޯl?)KSoʻ,_J68]9Cn jz"&8fAvr>5(ى=L $BMk6q&|e)扭Po@`!Dc݆ .TB䖜, om4ev9E(|/,V֝'>,NguA̲V&wCh_^pc)Vgms v ^XbV4{3O :iwRZ/hz/ws9w;1MzjB{,2~2DxzQVwRCqgfM-.wBQS=vE{LF%b$㙈ھjA (9A^0{5DRPh&A &rgk bP]z  ԿuLMyN]ϳn?&0Lr)vXeL)]DSd}NbhRtP,9.nZ)Dc;Z$+/t^C1K 2=2`$##y#3z4[AnUOT,멹VIǝB1Ig7J%h-Q=j)Jm4F{RZY0*3  TKO, E;Z@PT|1#k#bBz 0egлh(1#Fx\}[} cjUO8?NA[K{das--vvʽpZdĽ-Ѓgψ 9Mpit WEk*@B2k%5WO|EMؚY\2t=F朆Iщ] j-6Z J:ld75hHhzA+ۋ]PvI`w;ѵdUNAML@1M8_CMCt#9uWF/tpS  9^M=S!7= W\6{- /L;I1]*(gCPmSϵBA`i;%Ma*3iZ>2kDLc߀$9AGe&yE7[RjݪROi-+\"H^ɣZsdeK 1ݵ>'oLG x0g}%C`da|M@ܢ.1\C^ h&v!@iA&#o3 8oq{q(މ@5s` ~ ܛmTa%)45rnK/˷6e  ;J'dՖlԂ )t0uDaC"c,K0`"؇>{bPQʈ<EI8&NWCn6 ᐐXm^%IHm ixwxO[t:k4Jj0R)g$Z|&+R|Ƥuxf9Ͽ,pUz3 :d1$ ț%+G l^URYѱ`@=k+3T$ e6 pL"ܗ9GH0㢫X H3sV͉~#E|p[f~\K[u;%i\p+=3$CҊ")2@-{u&. >` ye1$?˾ej錂c9S>#dQ!bWS/E O}j{J>VDlb>}o }aDHJ/0aC*D톂mW.>E4Ò}5K2Y0>b@6]It0gF#SPQ#T$rb@+R}cz N;'q4w庲@\)t77G#ru4lYpI!/))PA%]|^;4oXXL:(lR۝\´לA4jQl.;-kVJ#Fw$2C<vj}[9hXEAzT<ԷCqJ%JB⢂ [պkkVxOr]W$"AՌKd%CQ :I*˃ϫc&H95# "-({ ⇈%c zyki{ 5@yx܄>TtɤrgߪI 2Y7m*}6?c ^Ш^aB'05x|}RCnMN oҨi&HQ4Hi:LVf@ewYk.%EKuե+:\+CH8G"4; SjXlg}\uGU/\~|/ڮW(q\Gg va8Ae)!bKɞ=ezG,9S98}!f"LiײhNН' +g08?[HCVJ/-t@z56u- +K{oABp~01ÕIRcܐ)v (? `m57<[,md?DLLTQBmB5=(ie5t6:2P9con-}ZR^lܻgk+cd?ԥs VܐW!e\@Fg "250bBJW+~WP[[|D-߸Mf 3