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 GG-rD|| ]/]ZF-Constructible:threads=4elapsed=8.864cpu=29.248gc=2.3927zXZִF! ]ŗXiɟH)0%o\-G@C"k|sC%.v29y\:im ݘ)d"˜Hsa@Z Ӷ<{5#eY.$Nz:@*DHn͏@ᙫ瑷x;i:UW ']zvACO`aסU`n`kTʳ19Z>\V_42d8$gYs'bHR.Ҏ9Ƨsmn@o}mʎ][aƖn ]J>4*[k"S1qJ*;]ڍDBAB|0iA|ӓ/7爱զ\dSF8.w5+P{?#'.ڊ T#Š;|T_Cls70{vUh/)ka?9M_P/vוlkCFKЇx: \ wք9^S8{U ZE_ȪKi᧴F53>əwVFs; `viWi0s=kӐa[ꔔ|W'oI)= 1󘛵l R) FC\Y<_~u9'%-m_DtYD}ë1T-E֜l RRs>yQI8j*EV;Λ\Rb/ TO-zJK:)lXͥx]OĽ34yt`W%QBpV5]^w쿚rW*_]FQߏ+1<s h g#NaLy7CKbMy-0u_>Kj$i(ZY,m_ʂ[[- Q(SdDw(nGx[GDr,ƏK7BB*DMy  Pja|Qf N+$Z'c_T>lQfm쫹汤(fP}NLqq.($"&lgQZ_%~ q_n:e')x9<&- YL1F9sD:6T+㦊\Y~CU|$ ީC4`RiٚD|܂z0+~Ӕ`BZ櫾lFov1#)Qr,nQn\ wh?KE.Jј*`D47̀35H,|ԹoE9ukaf/ҨΤ'k-~P _7-f1'%D >TDb&^,M 9Y*)e׉]͚sY~+LԕxAطzGe!^4k~W#B^lk;cV޶ֲt״bg>m Vs<|nhM6x O)ע>YLPL3ĘsR+6qo_o+%mu0v3Hⴳ(p !6<63:ljBbmK?rco #W`r>`zG@y$'(9J:"S,|pD0l N(/+eP+z0:׋VǭJX)ΉN'=hI:2`/i2bߪ`۾t~U9l՝y[a  8x^g8^=P9Fu>H!˜rzcѝGx6ZMoc5/$ߪ(W*4Ts6xg92ge - ZF-Constructible  ̫i#Vi$,a4Â<ۀk_'l̰ܖKz C|K#| ?=k%AxU{jV\1sѨ6*|lضqN9aiu#?݊7 Ku9+t0d ?x%;x}UvOH{LHXV(ѐ9"=b+ZH5Y:D'A T''JKc_4yXS-)Klmc146Si}+R۪H"<$u =/x3%TlÀx܊5ڎ:eFE@R{ɮ_:xDpKn0_]qn"&(ɦ , Qʤ)l`b~A#Dc%ח񨌅EPNN5C9 \T'zk̲.d=K'>@eD|HqY1q(Crq3fRN{ĆƏxg@L4IIFI7`5ʡBn!BxwEݹA'c > ;E3=<|/a ZW֜ iL"*,'_ʼ":7EXMSHc@+9Qo~ؤd(1 L+|R$ mo۪scUTy 8먉$0wq*7w cH8ByTB`eәf6)qpԔu'\;8R `9氃,"*aS \8Rߵ`)gn8dfu8Dǧ5Q {FZ{ L#T&˨ڻ#oj V?]],KbH X`уV*I.AӵZ>$3-7V<2g>8H5,@?<.*!syJ9^zԒ{ZS=|yc@ݴѲ,aE y\L($,9U5{ 8X|)=6⧦Te=_gRjͶoսa!ethpaY=ۏJ2? ĥcp#]|R_/_%V!M!k`PO# f 6 )z$n9De<=m[Op>Wd_y_+=G!!?|WEs-NEBtŪ_0-A\)%DQ BsNΚHKZp[m01V44Dm% )<.z ,v @f G2d,Au7`W]b\_]n)\xvg+gOC~}+|E^ն|땹|W HaZVBuoB$qi&y$q7.ŀw¥1k#}qjPW%7y7.F7]N"!IyɣfPM(\#=Vs 6`v;W^<\.5JXG*GߣXNE+Ts59 U cv슉PLLb3$ݹw8}FcA JW">H*ק%6\L< oF|\EEbFwW;񃞞GO1(ψ{]]aSUy"yOGmMM}Ҍ 6_dT[6q>Q"j`ӹi1UOh肦WUL7j2i{,}rd05!8XT0TFWtE Y0`H*kȿHLʩZ[]IR(HMD`^#fvtV7ʥ}AbփfM̟Sv'O\7r|QߐB|+@@O=|ATOh$uٵq'lqO/I%b!c+Lu#R-?s]HU)O,WV"6"*J߷7W͟ViK:a̲D6tvc/J3h{,@rͼilvъm_5H.+/Ph}7;I98ReKπ/n (YrV1=M96CMKzppV.O'B+m!W{6ߛǖ#e3J:UZ০oT+|QP[MKoelG["ك?jAwVJ FZqds\~"l+-+YʡVHޡl 0%NX#ŠKCCy-KPY 8 0N^gUsrr$q U"G@Ů䲼mCCmơ78mb}$jP,T }Mt%$0,%JVWѺenk7F@%q":;LiEGC!𘟇x[|ļFN0) iyG~6V7KorX}m¦=: hj 2 'b?d~ؾquXVom` <&K{HqC.>/vǭM.w#:f?!>͎5uBT[u]CJ2P(q,޸J2 6+\hA X%} $J[EEe"0Haˎ|a\Q>s&݄~<2秩ߝ܏'>-Hp0==h /w_ц;7I]|)}<G &E>7c|_ I:χ2]2҆\h|j;Snq\ؘ}0i1o^bCO}:"AOQlX Õu`wS-|}e2On^݃#$nGXa ~" V :0YH 8B[]fj]Nﺆ:)#x=/hs|m5j /=S }6}\ :+xϱoAzZlh\aImٽ=$"`xy+\=ڟ7; r[o-}FSy#,&zDM(#;=|FA䇬 #mO4F=R]<;z/B.q6Q<9st߫5-fh*@;Q;k${PC{ -V@GswԾf]kpL {Pxg{6Cƣ@_WG+ѐ MrEx Vgpvgqsn)Ѯ¼)&7 I?zU" ]2tByHmqR~G b cVu7vH lx-8E"e3Ӗ C8+p;1ZODAd"'f8!7'?Pf 8q@R,N}22ã۹5Hr23Hx9+ ڍQNC\a/{4ћ.o> Ԑ& \44Iмqaki%ipjd.#ɡjw {utU?D #kFxO09&T! 6s+++`0 t7Uwc0R2r"bϙO,M|_gm,;n׭1,9b}r6:F䄣E$.67 &}R*0~,rkUckCu|A^ ?%xpS4=:(.8I٩Nq" j;?OWaz{4 o@d?j|ChbaMӺ-96XID!뾚`%r?qZ6dbN\!dk/é cU8!}(t<!i/dhO=٧!d\t, }ɰS ]m]e0,x R$'V46xV-ӷ ?{08&{Nyzs>0,&l0Wg?B,ꚏ/ btI?Z~+x.HF oׇ;2J͈",Pin+DRS!^d5M 6DqeJٙکsACNa锼u l[*0\/֚Sp/aJ:g/(g/_w"! :,X"ox *È(Ĵ'Ok5\!$X#o9)dA|@?PZ3+to O*-9 fyW o?^T3jU[ڻV`4Ky1-Z9qOכPru[#ī}<&UR) ^3b(ع|N X&WP k {cEӚݟ!/F@ ow4?75r9kx֒GwYȄ*'JhLɈdBk>f$MKS0\ ħ'3Qw;Y"%#lX槏Ttc{zu>7r[j;1ÐOvqGbWKCA;a:5G]vP][kF{ΧnmհJe a+[mN|3hlZH6"v[V& N~馱]k~T?0Y5'[+ԌT؜kf4y &vo󾏘ZןF A߽vBId$ԁQl6xMBՔ$̚4&4|_LI5zgߪBRǩE$AP`VЖm#A ) &zp%##nn+Kx/Sd*菤 oAD[S9bH%b=cIx3g;PxRh늛ͷ].[f 8+qg;ӅUS8`>55.U߀ro@ϸ wokCo5#D8 C$" S# NBٸ+Ma̰Kll0]uҥ 7!\HA~IO =}T-, u_k}XfWwGˆ+#OR^W#9F8 \ֶ'DR[ "lzX*́K:176T')q< ,JBl¦UaAmY">G;GЋR}$9v-4auN*djimPMAǷ6@T..CM3q C>;w$ ]=b \&&KE=LpJu#:XݬOdw 3=Pd ^x"[3wȼJ`m 6PϩpRMvȳ_$gt*^X㓦A,B@Ƈ^np(NOβzM=<^"FM6g?gKp`d ֭;ޚxB:Jd3+ZEܷѾNa^X:轗+OmN4-7GW'"Kz3-=D;7#3OdSq׬ߘQ;iSf5uVB{?YC:#ٹi)a57?>PԔ/c;Y,$4\jYHvݰp2T8m::sHߕ ]W!x6W,H.7C 8 3iqPUqn M:5?Ά\>ۛ5#ƳbQ}[R' Z7ѯS=wW)ʦnclْnՏuU,4yLo9OU]Rom?SZŝ,4#{] S+|,?Qm;矹{/-% R* @'kuVi,4^ OFlk' VHה炶j:U² Vg&]3A&~MkC%ũFdt)@Mʮh?5YHС^"MSmԅ]rw:c~L&B W-l@?$i mJd8&ͥpGЪ. mUn%`>4yƮOi8㍌E4a" FH#!)+߳b>9mRHN̆}Sp"̪8ExϦCћg@9hW׽fh@+cRKEXq̫'~cWZD;^ ɐ/ӷ0&@b#;*+w Ӏt#ܾFe܏ZeO¸?QW8eI uy'hNoЮ"ofxOgF~n&p,ͮЋ{GVTMm_&aU"=L^9>lZJ/‘Olǥ(V%Pԓ>kzz-}$ o FJ ]E 9 #5|*%끱A'=  _r¼"*y r@H[3.k_x\fUIawT3xJp1n@2~8q):,]ߺwoe[*,3od_};@ W ȭ;8ı.QU=ө'"r=+x u݅Sq*TۯxZtrt<eY Z҂?AwwIC5UtMh`]ccn M8f_J#20F>})_P>Ol(o 8!aC{[98RgЪkV|*<bFw$&(~g ko,%NĀe[ѹa}MޖRz6ĴĠ:X8ǜrOJ pYDa%x_ԯ/#kqwۿ(_4uP썸xcD,!n1@k!HץPNQq_\YK9ۗqKdBܖ/_ہB. - @6̾6ЌEt%ѰHRoZĸ<9ԜЎ#d6 e3=Ce1-3?]FS12m2 ͹ƈRt6V@$Y+ŏQ>3D,>`Å-Zqw 7y1l%AfRC%bYD>IH[9;2 Uퟅ4 ўQ׊o>X`Q{i\<@ з1Кm7<=jy SRMuwLĜ(/PĔ"ڜ|+E  Lww7|fü.~Mp+=< YHF}qɃԳ4>QM15tI`jg o'6-Mc,~cQvƛYG)JVeN*n18r W)RiUˣ2/w3sN-UsWk|gtԌ :OS_P*i6\ UA[љƆ+v2!pAKigt>KJ"jXt\!9j]_Ȥ%UT&[֡RـL! $'G㎃:狞es2ڻѵ( ?ލ\fNrw3E(7?y w_x8H;j2 [aI -9 Tl|XoꕞДAYXJOԺDf@9*Rp+ngj'Џ?2@cL %)̊Q'N:@+`"xѽ6_︼JI4kHBT 3!].!Ӣ IO*Ȳc3XH9E阊UXIݩ'!e, 2wޫ 8ުҗȓ >jԐjG.VafO6q&?ނN]αBx`M[5&SHu}jH—8r =x߀GM!OP^e*?NE4t qp-)\G3U̶ȯ)21z!@G!w~bW}ygC@==wEMw{OhX6l};]m6ki7z3.opR7݅(m-~\\|(hhjEl|(β)AL_~E/ɳv{CE P"Jż'̷iWUu4B]l*n*"K`LW;ol%2{Ѥݫb,J6XN>p?CP&.N;tTn%:ga]ka+q @@^*[8ZMȗf{ϐsE,iuҁ$l8c+T#aw_~m0L uͶ9 r˜6id + CI7CZZ+\EuoxWǥBaO:; yZ>HqͼmqmU G,^,`T$|8"ltf)`uH]R3ſ  x+=R=*ݜ2=ƉB>..â0"Kw Iu+k'Ye}?]/k 83 azԟ ;o u66_>VkWbd`@wOc=K`-meCS@A=YO&i0 >*4;7sR_@_#()a-pdE4~aLRrNG[QAsm{O>?(eSXH&Dd ڂ-ُw3*!U!x(bi#y@9٫UQSE'V4HzX\AjPģõj -PG~iQ'JU=,2{f=刳ڀN6ۏvVx|%C`/fB0v|=ŕхTlX%S!zNGFdKus dhh?GC+(O yM1;)BB ʼn;nfdסV*f5SrX(bAc}d.Y9 K3Rٻr%=Є#Y-&+o@.bbpt@DU9݁#%5OJN'UK|A6o=:ܣrb68Q7D W2lho1 =*்ԋ$7+m gONz;b$ ._쑨+N5y@wѠUk^">ǭ8j%gqi!OE}t[ 폐 iY{"lY~JghX%Fʌr )DaN?j)1»ΚHufdk Y즒\w>)̆.x' 5n!EU1Lqr.($Ae>w*6*d^9c;y£ g*45. rQ1 Tˉ"c` ^& 3m.lS!B6C}^଩Vb!n=Z4'sa d653">qxvT-:,s 䃶ǔ`%LԾdݱoA{|y5(zݤ.d[u%OvA(n0O1r\ֱ.R xF`Z[¦!wjAAf#@SDP茩|9 QT[P,z"jX bwyz>+AkTPm%Uw4Y4Ǘ IG_Zo őIHS;X߿"F!#>7-Iv+8-u$`Xo<]>CC̺:'-A*ށ(yQ\pN*"({U#^څqRDCQ%c6lu9-H5ъ3;xI>_7koܧ[VIzM־c1 Vf.7ALv֮VNKM&J Ψ3]z ޘR?t×fΙp7+"e`iǝ+E:;sIw`}@y|7nʄ{q70Fb¯z2Q 6<[ @tק#v<q&r@a4L-&{c2p sOh&<5;ùw?7Y<Ð/Wp#PP9˞ UY84" x;6fԑ"{ȹ^$*N5*x?C#ңn:0Uy]*#k<(ARlp?/L7e\MRysćuBar R/ jܬH_W:x爁NbnzuUȹxjO~&eصb"^u5v:bUgt,8 SO5<;#bđBIT.=8 `Hb H{qQU/9: >5!JINiu*jly6<Ikb CH1,n@Lr)D_!C^E" Ӈ|*ҋ=@fA)p,`y;urṼSXd4f/q4?"4pNm}9XҔs^F7^[1gSbUobJh9XO:;L,l~*󦩥L;*P~H}Kw=6 tp ^D*%=\d4׫׹Oh٠嚷I91BO_8} z4hpU@li)OI- WL !ZQbK_fAc!&mq`fBX<+Gn`X {^~g!:۔C^3\O[d7Y UZJu``B`s{&C` a %ܩ'0~YڞJG#|uL3Us׭Poip˒Qf @ ȫ'$ӡ'!3bVQ-:%]4xlpqcj8G$ހAf"<yf+nϲ4TQnO{y*w{dyɟ<>3k{x)3{/'1a5x+vc}bz2{w8s;;5+9t7,1-Yo{3CC@O4v8I& Gq%5fW'$)Y[^Iji_']>)qǽ8ƙ"yr/4?Btka~na i#p4:SIP!KY'id{mGAߒר8}cNyDbiWlSRݒifDCZFtd9Λy JDrq4އ/ӝ:-TԗlOu-,xrry%eU$*68Ŷ#D.5aVL C7Mgkk/z٢UסHP k|Ew>i_}t@ItY(-{)نx Ρޯc:oq Xt@/,,Z3x N蘖.c$kׄ VrX&ho. ES_~.B 7<6|:HMd)!6ŵш*|3A*x"ld);/:Td6ctK q \nr fRi|1omP Z|x7á6QZ͹1$x5!?t7f$UUpCroIw׼@^9:-A(p҆&}p SDGCQEZ0FoyFZPVPvU4_-..\ʜVΣ)Ѹj/H#)n/Sɼgs'&#ps&.b-afhBJSĈ:aֵ`K]vӎ df\,&{EhɒPM'+GW3N럥QP+^GҚ8B搰61a"ina툖 =!zk;hSKS^o 6rE { 3XoMf὆h=DvzߍKcTΖ 8cWq+8Kp9ɨN &ǓqiscKI,VI o+`@/>pWq$Q[m,pN !-OKH%OJ+8]R3C~hsH:\ wHFg2 R`sV~.DG>?0 ~Uxn0 S2-MX gbtskMhd\ Ie9q\QW"JjX7a=_ûUo𧭗0`F[4?~q#}1q A`7,KXӋ`W+#f饜.~͎DFӘ\Ih+!g0]x"Y+CSdPHӘj^# ^Ԥo4s.K=i?)rE+c+6|uO&rrl4h$qu;} >$o6H.iPEso2_#7TxYJWzgwM qN h7#Ƒ&ӥVVn措cR'>!y2G59iH`iq%I#%()δw3x.Xn l!:TiYPi5p G\ ݹU6Q=,8pJsqězA߲?w[lܮBGha_ڸ0YyzW̛(44f}{I@;ž'`VR}7I:|Rwo)IgM 1e λ9*fmq ضToU4x>#g&4">2m |W?^ϢO`z/zEړjj5 t3VRJCkNMkIX LtK%'}#Ex0kd)wM>0q5&=}Ǧ7N}) Jlt#B^a +pFN7Omҙ0>^}Iի ӊ)eQZI]+W閮H3Zݕ{_-n\EuuT&Ip N1tvL{nHOÈEN} Cƞ+;ߛ+T2cap$ObXCچ]C~uLfl.@}۾#6'ܤ}Wfoܧ@U 6R?Riه/hFc]Eu]K/C.*"YK(31kN7l=$6 #HIFJ64z*-^iDRONZ/Phv\S_~tMbl'zGyObUØFkmiC|3%ic:@ߏnQyBiUO: MUv>밣p-VE>`N=A୤hSًe4aOq1tJ, o'.%yLApζ3%xP& W\})l}16 :Kc_?A1ĸ=:%(EHɿrȧߴf^ O~0xES@LŃ WxiFhDΞ|Udܶ形"^N44)O-"j{K݃)Dy@GF2_:ŭGlFdAMA\wjdHɼrOCXsqJ,Yj)Tb5^ձ}gcYN:L"qwăF:F.Zj,vESty⻰ɸ~OTGRs-4fh'pYW|"IYpz*t˿6 t Z=_1}5;&G /w=N{,Q]5T+n?P(,WTWщ9u@ڈtƏ6HບZ5 ctXN*:{Y狽ԑ2K+z^#:z1?tq Pw <-4ﳼoZZC^',-=6σDb$ձq1!S9OFʶKcmx@nƸoFQ [ݤ2!,_*S`Q!! H[6g fiYثަk5#܊elpvZTn=cJe-m X w{.]EGh?BZd ;7Flnp:Nh{ &tN9ZczqNr'L:2 O0T *NH8}&ϷΙåw`/7F6lGKvIK>&Y[hNg,t9_)Rյ4 ٍm,u^GrMvM߂0sp?Y'=lzj1{`C)ӗJ^ XӲZ.x) |&=ձIl9l{+/."-K]LkpX1g%9ȧuR @dhVu>4eo˄oMٺ~[XlFG>脺>CvٺMTxB섅C> `Ba$Cų/\A0Ypi8o%<>~S @unudc/B]cz9Ɍ 烑l"]A^H^877 Ȅ'T ]ӵX}(۱K/4$0hДvG:/l+s\4Up<oBFg6Ps W4= '#hxg$Bޔ1az3VF(BѰ|KCӈ&ګYfq&\JтNGrItS^u/UqCPwZЬJD16,g(61L?p1le< s+_@֘kX2k`I._$pZ@%f}m[p^N{󛏝3_~ 1|ok93-$q>h LBrGyII 15]17IH:" "PqDsrHTUP(J)zؚm\)x$ah3"ˠ B94W>aj3iN_<94Mm=F˜vH@ze NDbgi޽RZwlQ z'Ɗz A>-| S ;ӎZ|,oe]ͳ6< y"i؝]kW,4J;uB)ﳄx$3 HTmevphG][uȟKx%c/ÎlLk%]{'-Ѡ\ކhaG[Op߆-V!CB-V[!MnA<ٱ;Dhs],9X4[{ LvL&އF M{#ەzsF7bZ!`bc]e%T ܠ:H1Z&\9-ޓ8!qG+I ?"O}I>ˬI: {ӧ:i:]h]2 U=@ԺdʝU{Ak9.'W}[M14pFR4>,l8b/֝X*Z"'9=UA6n8(Q3G @9%}xpkc}2/WS|/hL,RIZ "H,rx)X !1ڹnp kFcwSZG|Dj_ w6^-=ڊ۶Ry9)b!bɻ[᰻׭h"9ڡ `ͷ,oxiz'DLE?1oBrz;H\} -N]B7%_nRVģS˽7JD>@r9,OSG |Yl̾lAAOE'YoҜg"ݗIX {wE͑U4bkSdo!yX2^")xpǦ5z AAY #Oo}#zj7D27]\ 蓼Iu4v$?9Ï;eNnQYr[\n+Zszw+;;m'1EJ#]y#ܿSI$ıZ k0FK;>#`VqMGDب0$0K7ZOr8mM58"*%8sQ,PM3)ۤK,+`[؇; V:&@p vZQS_Px7 9!PPPc> _\%q%ROT6S2V i(" eϩ?cA8'L,Y"vf>~[w͑ wMM[󂰉^>W̓x<: r2tas1dPZJ 8ݢV1JI&pZL(((Dl[Z̓8߬ @ɚHٗTF Q sbu)ޗQ95QVim6r@x/ ffՏY%fKpvF"^4+}5w2 Rp9HxnF@_u pPgNF +]+86UJzT%,HN r H8 (^q R Sp6ꚩXw<5؝*~&WrJbw@ #CLWim~\qn&xseFk_.\KM)WiF9l!'/B@x:Ȕd W̍ZnTjq yM%wqM[;ѩv,|,ÆP†WJf6O$Z>MY:P,+\/BW>l,fkI%w>Yhmk|E=19$z0]"\8nKkYi:L.UUM16e:7۴ƞ7b__R?qdrP-4z']*8&Lsٚ#ǚocR9PW®m@o`|G}*Vvp}}'ܞrpP9"F*yDK8BȆ<ЊGBNmzapK Jv@~V7\Vkg!@?\Eʩ.ZfyY_0]MPrxUAp=a=vюAs_r`.Qhh7^ؽbHT e:ps3Cj @\63*,^WSъBr`{Pk8DrN ud9Ux^B"HIA<"]0Ad '7$R dI }ON sTOz|&e ^Rǭu+{?y/2!+NuSVfW.zi)q>0Bԙ6g~8o159M/:{f;4NKs }Uu~N}fԡjr֡' Pucx_CT?Bq?qZMOߝ,+@renF7(_Ee8'?I m?- l|RIUi%)J&WF;cG%Q/wj6|j8u6Ov$+; Jfv,K]tIqnʵo@flkM1-|1;y+P9s|@t1^8n0/o8D7Dk$l*%:^*~6̂2*L;"ܷx_L{fMom'з1S)j%]W6㾀0&ɊB2f+Hj&DЋȥl)3 Tr]$amޏ a6/5:[39g+Dh K'O*Of9+(hft-h7M~. ݭ qVҍO~$Pp12 OBոIaHU_2Hͤ_FPwWaXcC~3ە=#&q!mP0zuqz `sE3w9e%@#\۠|o~z>6җvvsd!>BbIF fA}ڬl wQ|97 @(axYK'Ǚ!] ۉl{F:1[z4I˒pqG(b;-!n5WXQH횷mfJg SM) ="3qAw13ߍ&Hg^Ih:u{8:l!~-Swn!^Ab8O^וhn)ۅѸV:2x~&4ny=bX6WAAHyON}qt>=&Ada]v96 ܞ(E\expZ38z َ٥pɧY#שfLO}#.xc\+-< H} "qWjfc"6 KXH.@u ':rY$9~-m]At@:Y0epoXgreIvF'WqA䄀dloa:v$n&Y0$n[ ^<{6٧ Ջ6^:y$Ȃ'IXGMk$6 Kw"]@ IhɭmLtk_sA.#n('ClFiSVwkx`W9w9[gPw1IX%i,rU ddBК}иvAI|'Cbmz3hx,܌:ox4i`WĘY;9í8@oZ=&ڧ.[5ܻIBg<|V*397Wp@MY\cyW[~g )i7֎qXW=\~TD<uQ_dڄ 8J yN?dBy_`]]Ib:9.Ds-gl-w{b]w=1h;N 6Od,[Wqp,.ĕ]Z{UWRC4?Z!7 @\AZ 1sIre9H`#t^ojm7"țet>+%2s}F2l"lئH64b2م~՗HX[*T45KNp T׏KVu鞟!#O*% M(ݳ#G^᷑wIZQ ;w_nt=OWmN!*;tE)8Dphoف8DYb)2~=nhUg&l% #q Gn8bk#cVxad蒓W=yC8EPA>Uk٪:tцxʼnP'@ZN͡pkKPF%Jd'('*$C\D'b,eV۳RiE50kk/sjS,q9aڂC$ˤPpu[o/Њ-~l^5353ZS>w eo:ޯÆ3g",W_U̬>WJUXĺD,ћUa?Yu\[ɉJGgʬ ցY>,"jE4@ಈayH5b,W#xۣ11lX`)`}0`EB?ـ^Ӌ曊Ap5ۀlRkWg59*sU#Iοv)ӠczNXXZ^٫BDž1J~[Fkf,B^@C >tߊm7O?q;(O+rw!tjŷ{J%S!&l Nz%uaݽ/|CABad $ <#۔C$VNЕAB; bt/\D5˄r!%RJut [eat? $:;>w&[bH<0Pa͖H)!Ef{H}G CWû/yUs3rPyaNN7xCiNI J *3H |ǟ4Tcy{VQ] RQҿ< 'bm0E}sƯ.{Fsy;Uyr5yn,8Z45=\۶&os*-ĭ>k@k1ZE% Yg}gHLȩ7lKBádKs}!U$..j15d䝱^97B B9Iؐey?dlF EƤìY>WlH۬8*_ukʚ짝{1<`F ӧƾMaOt,383$ـ8g\ B!UlR!EMTi8$jUtڟ :gX;E=UqHb,TLv6kFT:u!괿GǿMN4Wk!pݣR `[,.]h~(վZp A.;gyl 7 xlts6m+dL^'`iOM_i\` 9ۛLs +9!Ɇ՞wܿ(I{(]d353yg38Tn9%挂e]6脛 \+!zrtB*YyB;EO?>}E2KN6L}s‡S ݠ XMSi,cwFվۭ#;@7_D?.M׽Tމ̑G@{*Л{ ;tL$Yp&yYDU+!ÎW&ʕl-#^,6flwsެKƋ7gXal|qE,餻 a]W.MRӴCv ^ S@./h[oNt]t ^Aaې狱0Pw;5!$wmG}OW&0c"M&wJ'g Svn2|HQcpRVcҗ'ޤ|Tu@ ( [|u@,4:K743?Fu$ | yًڴƊxc B tYjޚ Ld7лL'7+Xa]_;]#Pɴ:ZTK K pT77y 3'z6Q)~YڧxmāA5^U SӅД=ԛJc֙!J#c ҂.2(FMS r)*pߘKݶ"d}|ճ ZNy+(ODJMn`G&o,] VW{QZ^}l1u{*]+cw*qV), upRz~MΆ5ZFp o= w_Z{-E,uTY4Y{z#eÈy>  [ccT[C`N6]mU.Ct[1e6u`l)Mr)rSϽHk*cAar)&3 L׹' -MC5CX'KE|(֕:՜%Uʔ="èHYrh4#䮲`0h(zFh 3ƯLZ E H?/u A[8 V.AjFk.Z@|1&D&P/oQ2Hy+>9zbSN5o&Q !ڬRpѕKx嚏o!)m:;h8땨!Z 1yu͐>Z@^:tlS${Ëwߩaց@lll 'Y7B MXAeA:PrDG98SһG$re`ݟ?Jc|Tm-kFi = tZNI%F 2]2# < ֡wPM^=pf0(ٶ.Pz41 1^pu."( Ǭ5?[ z ;=/J VѲ( oV6`PETޫNQ΋q̥z, 1Mqd+GXKV~Z7/+ /F)7mh|j- iLA# P#j[zh'TSʅQWϼU:]g`Rs]a?gV۬ CWy[;70h 'v_Q[v,o~UV)l+w#<ç$H0[&{1@ԋH=$xȎ=NPV^mzb/KuZ<Ȣ'MLN(LN6Uh)*^PzG]࣬,dA^ 6B53iĖbH 50 S?`*ҿɼ~[r`VǷ[ʡx b|Evh7xoKα}y~tGOJQoo!wQPe^(t0] G[swmow4CYr"0=#Hu~tu\J]YSy>6sj%Z%pђcZ[!lɏ ϊ{L O㵿O?--*6@૿,UBypnN\Ig*.N;9U &ms4LO?hOU%&mL9,pet >3%T$+nk׺4-clGf{0}Ϸu4]L˿j+j:2%p;16d5SYэdHw+8['Y׫-b,-MN?FPV@Bjx%, ͔mdQzLj%fu%O<Ώ=h,l_.D46@c=i"㨪c"ߵF7m)jD (\,6$Fy[?;'=F տ[YlYᯬÎˏ&TK]Gf(ͻx,Q-;wX+OR|}^$M͵mX#ʼ@  %,.oYśCxعRx=Km3OnN2!ay# "#ss7#ۀmKJWibRzbIwS?&?=8 !URo菃^%B8(B;ﲖ{R=E{üBՈa^~iኋP"W{\BmL` gIX`HkKSYtgA3"n!9˺c?[ppS:>7ѳ Da *aBƿ$3vp"s󟎓bXԬtYBc;:[8`2Ǻgjgb _㩭$1mg'dXrǍ)$ UX5e '3C mEh6 d@Y$3̮ Z5l{\_h ~At.  ve(c& :ju+ zR/5 !qaV<(Uƨ4~[C&[14˾<)ʯ:>K` *ޭЬmvxjJ_sǤ=9/؀ *e/:=OI EKȾMGVR=ԹYLZ™Ldz{,7&иC2j+;S͚&d_1kLR (N]UlTa1ұ S戥RJſZ(x JFqpIFȏV6OH'n6SW37!_H{gU}NDΗF[`SmFS*u-bˢ_6ԗ8f!j[Za96~ϡIbԡ F3Y+졔Ao2AV{c srpMlU]pFŘO֫@?N`ljm5FGGU-MөRlwߒV/J>/! s)ey'dN㽤(3%\W3KkҶ~ *Χךgġ Vw@+dוy=eݽ-N$iε9VnqGu=ΞZ7+ ? k%h@/Z<"|;őy7qB*[8fuj֓&\E] 25s9lQ^U$#fB ȧʑ,32,J HEV<>VY!T65 6FIl!Ru%j`|֐w48{!phxoi`wťn/$zBW:v$,$({(Չc_^TOUmh5G#^~R,f2@s vV cnlcn + \IPUq&Z7-/OvQq+Ct/! PV8A<&}+]^?9 УHq]snklOB -jO"jLbF(\TP!ے\ضRC b2QW}f93wWy'r⧇ 1,$|9vYosf)ץ#ݑw(*}xE/nc4M(#) sRy˅f:q:& CH +"g+^#JͬU>"Y )aXIQ9 qtVCw!#%Hf>5}iR^`b"g)s>* ttQb`q 4>g{ b#.jI4y'/k,+f2T_'-HzLS"f*%(QfG7d)ڵ{ .yqW/0ߟ`I5=8y KpEu}Işpyh3k' VtDF=?H$ 2j$K,4WMq4[\ByDG;9t@dc,<2ID%o2\gs `Zգg9=F(p#:^^ƤϠD(VKñr/Je}odAĐɋHG>N3kW`3GϾzwέ$kwu,gFbNTǑ(#]QC9J/ۓxE]'PFw)bWiMiN HVƛ\zí~ىb$=nz]\;j!&i3 4> ܚ˰zco0ZU J/,K`'킣㘡ù~Mց}ϛ"|g$K v٫xIߘ e"5QjlA4zpB yoKS@·LuЇ o FKBU<.D0XG+, iߥTR^h ,KͤV.젯V!W]jjKX[YlGJϏ ˠ?s2/HEsF{6p tJI W _{7Fݢ-՜Cο߳5Udlj5;[DeW ^]$MK%w6- _h;t:ԨGk9tQJ=]JA-Oqyuh_A3mLI%>g̞-M w?Zj{}i20&g뭽Y)ʴ`@ cZ`1h[8 o~z_I"ٜ V\2U$}'OѱJ"ɪPVPήR+$F3n3pd[](m#0u3*S Zk=+6ה Y+%wW&\TB[>#GGnC]l| (שψ(@6P ~ā7++5ӫ N.Z6)_ZtL4-(/e<9lU *!9\Ǻ6/7|-^`_젒rIPB\O2yӪNh+~V_|uOEnҔ} ou뎮H ]{Htjw,.gvрfx5*Ru=|j#q+≠ υs|_UmXeYn_rWtFP񛊆 gKÿE aR i2BbPP}(C1Ku?“OM_:\m߳Ma &>:6OLx}ޒ=Фw@SDv%L4mk6dYfָ$?a,(¯Df렌X\) QU1Jd.x'M5A"m!UTat[,H\/5& LJn|N`*G;yuL"o/-ue_IVz[pH%ZGq[̫blA0귫$qU1Ҍ# tQ8K=l#d,jݖt,].OCt'RyLm#{G5Čl\`QKaN⭆|)k4q4PRLJ*O1U:W"zGUI~aՓ : XS9rxl%PP@O}8f_1OZ&"e:i۠g}p<'x5GDXV?jias^z<<%ݎ oaɥr܍{\F `}n{dBKf&&:}w醖j&kdqW`J>HY$>g-+rw㍪̏njq.b;*Ƚ<'yKPh(r>JL"bt GLuZ߮Ь85Bn]G' %B%_k@g ^4RwȦ&/&Kښ=P"aYY.p)GW #,-m!QF=mxw2\9r:}:'6-۶}!/V(6Y^X'YVo^u]g&`߱TPS5'?!'m$_NfVqԏo^Ui@'&Vd!9#N!k\PqoWq6zJ4&c$C~^V?C=Pd d0C"M {G4^%/.Qs-om\ YeQ]Ib{{"%-:йSBn&iщ{F$bf]~1K[8S~V+Ƹ=2$O48) t2]8ɑˤSsYo"}#6vG,c"Fa<.Aja_(SUlVaNE|MX{UES SK\6a-&d&0) "v+e`/#Hf*U߯Ps.AeRsYO>oek/Ǖ.,KzT _jMحQKM. Rl炽(}ve` "/yo$T3 C?ZquYuhL?Tv|#v H&Wujm[9\QN=+Vzm{ݕ1k\'9Ŋ瑬#Q4(xTnBFdX+L'fݒ4cj_yJbM36թ ɰ̬ST:`%>m GJ~-2'_P/~HӇǯrJ&Lw_Ƴ3aҪ<$@a|+YN#҉RP[&woag̵K4kt5hQL@~] ^ ?=/ ncj>T fXc4|:.uX0_)eu) 2 z&g*ںx2g bهY exY7khc¸5蹖<GgF w4 O$.P| 6B+6Sv޶E2_ڋĩ.lcQ5fYRmS~T(ANԈvx ,Xm>4C  bOM~*~aT=&'Rb ^V2.rng˲_yjy-R(έѺiiS-n5 kQ0 g/ÒP^3(9 aq|MS%RfkZ4k۠@XA.^j%<" @X;O04hQf!o+ݸ bcP}x/ظ{}<,&$2bdDt+tb/ˠZ,j~JG1Ou=}J :={A}/ZRbg,nlKo{CV% ] O8.^!G uc#r4hQ/tah[ |dM֍YΕoؚmݦzS^Vsى8DӱBog?bm[N*7*#=dnz<,_&]ۃw:{̚x3VawZ%01w&dxϏZH(}w*V:5Ƈc3 v€&=UC /Mj5yl暠⮾Anqm,sԕyu ]zj^1nb;<Љ:h/QMïh)@lXva2s]4y/tuDB[2KG2S%/pC[2.ǚ[@| ;굛1 Lze$I ~+((؍o4-"W |vg_0fT,RB[Rl >~b2 &s>0GJi+τKCȘ_f?Wn)b8v=az98UQ`Wϛt;/(PTșS'דx~VX7.ESr!UKxALwU}3ÌcE&ۿDHO2W8 LX1#?vH ^/c1 6B>f>@hf?0+j[8!)G]0j6]vt<QpDY \5FCɽ]Ȫ4)P(jp 'ufԥq!:A. z׷`&wn&x+J8rQ!Z^U+P KEܝ0UU3{1񣻊9y*Ę%RiT|H+JMŬ#nZ#e҈f4x G͠Φ'T'oł=ϥ1᧔@Clٿ봪&"]\`}5~B93KZ[UvbNWr&w/aQt!fV^"pς;uI.]OJl#*LͲ.תsdE/[̤< JV|ט.Wc_)SFY t5! գ'C7zH2X|pAJ:KUG1~a؉KmP[KT5}g*aw85RDZ?_ meRy2yzȴ3JΚ1 <`"̻R'i# /jA*80th 7yZXZ3ϧ?KO`%P/(='r)MU; ϣ߂gΦeH(8ՀR] s2a obPf -;t}J s{Rxh6ŁˈCKa2PLQ~cސ%4a=yIDL#f^u%; ~=JsvJl9Fכ_e0^$ʽ CʯfO]ʍCL8~^Q1I,(z..NCuƾ*) Q|,0c*فޭ+2Hי:MEĭfey_Y*bT) rx'-Af)\'g ÓLrЈa!D_4v Ir) C!h?8<1CY]CRBzՖMj4~)%?B0ʛquS3<~+r?{@K(_Z0CSKo^ ZM[0=:s#dL^ysKS `up0iE~D+#^^/o(@XtЗ%YqfVX,沃 z䔽:  W[Ɖ3,b֊,tWb,4NMΘxgTЖ},,ҏti*ۋ|f[ޢ3Ihdl9 kX&PTMQ8=}{Ѐ^V 5!y?1 9o:@#=' 'Nтec]^l~Xqhf5UEar /0C?9ZųS- FX.`Bիø&ѸvA|^?y'[i9gYZ7zXZִF! w]ŗXiɟ95ZrY!Zg>3gAKra8F7b6 sK9&h«JKGȂ-ؘX]26YgAqZbQ{|6-PeoA cV K5>zG7f]과U<;m1.Y]܇%G v' >n:&gb_+ᣔQ2&G'T| ~ TtaxxNyw/IgsZȮ ͳh Wax|6YᲿ2PKy#4xG~I^XB- ñgYZ7zXZִF! Bnv]ŗXi%L&ó1iI1ǔNhMuq5ܷ_;wP63{;]aD4O_gdWjcCf >.~WPWRsC{_q~ώPyl+L0b ?ӮbC-NJbB0MH\e!܇u`*{5ǑF;L\캢UbtvJI"Ś/e7ַ$!йׁS\Ks(F9QC€g˭#ɣF2W\:9w~[vS7Ci* =CXĭ߭3O&T8ǿy(.Dl gSnAaJWW ^NZrH| DN*6s)$LMYx@t-w)v2SP&Cʹov  A1h_>$HI 7$?l_UۼFvCCފ9y+Z5wřJQqZ6"L >d>;qcOx&ҽCkA3IxrhѓF:[Z7%SBK|yfi<ޣ$F[bwFnA3tXߑl2%g0`9<3S;(Ot8qJ_sжP7i]vny`~ςLa_Wc3 UcruM}^Y&K^24HPN{Tq#]*1o;\aҤgH=ԟL[htWϜ-W3sJ*GF* q)rpc *lF!:1k9䑥<Y!-،*;mC0X4ם/F'&XSI-]b+>؍ 9jˆϩ@HVp FEv/ѥb*eRYA ͐M<=wґXnsDK&YvʫdZC(΁Q5{c$bt? (>| pUC{kc(N_#hؼv:A-XvO mЖw&@d4;B-[B7T&3@Fѡqt`/]aENq^5TVRG{0o$W@1fSZ_]fh̍M UFU}2I@K?`ܬ鰫Y[ކڔp gYZ496c1e485d48a2d6799ff3831ea1d774217488bf9aadd396dde0a279b6a4eb62f8f2ff37640b410b 5de21a2456c70621178ce8a9e0a825faecf0286689b89c7dbe8d7e2a4becd6ec190617ec21f4d016