SQLite format 3@ ).C  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  l1t\ ] HOL-Metis_Examples:threads=6elapsed=16.518cpu=65.908gc=7.6767zXZִF! \I]ŗXiɟ{(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+qa ۽zZ0Ԫ`o@8p()1Wn*Ss1n(X >G, IrDoj2kpyGK݄w4[[$ID(+}~ik[/z>ζU܅279ۼ.bGTP^3ߛ艴irJl ѵ5 Aq8gTE%-KPZ`?|TBn_!?]8բΚ=])Aqᔞd^.'xQ4;qi';owKԾ^9.ƞVQƳ64w'IYcw~Mi1m]=N )B6֍KgLO?WMG8w#os͌d}2gtz=*̛ЃGh m/zMQY"iBxOCžJ[!φS٤~a>꺭'SXzˤar?*nK[ȷ0b4Qm!z\{yH~T{}M)XXz ee,)?(s@RCT` <}@obfNEo}. `/=U/=2t]M$\d240,k'83D;)8m z=HG4㹘G=wPQ,,zk}X4(k's\,gBP:U-˱ۨڄBWk|+ H\>p*%ۖSpO0~Rruu_!(վ!ԕ"[NN=GBeu. nJ ŦF~ʢVcB$'&fkT*:ԷmI3V >x&%lLZ‹AgKwIԛ?0ɘmʩ6Q4\FG)(D9-dmš~sS돊/Tm_vkNHLnCb )!0Yh*O?qf5:L&Gk>{` Y#Uyh2*%ezAI~偞I `GZ/捚|;zʄ_AysG/L Wv T]An4 ,K󪒭p:Eoaa![a>]:2_(-;џh]9IF3ԗn!2>` K$N6"., 1_ m {vG_Ըt1~I`%bBOd}bl-=pu^$[ \'*v'Bл(mJ,JG`J-}ꀚ NI7Mw Zy hCxܨCqL:bz3ιgb6U!ݞ7 $Ø$ .IpMOiȝPOBܸD;jP#ʜw vNzE{ׅ˦`dq5Rv0pCy3<0&7SODMSu>H'V[*c;{~h<-,I˟pYAKrFd)ct}ģZ{ߜrr  vE d-r_y:a0-O ӎ|)Ec-j"©CwO1% 6ScC49hYFw}„cQ>˧3Dg;G>Cxj0 7pgڏ+Ju@RQ7~|OY,+;D-z#ު@bb]8FY(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+qa ۽zZ0Ԫ`o@8p()1Wn*Ss1n(X >G, IrDoj2kpyGK݄w4[[$ID(+}~ik[/z>ζU܅279ۼ.bGTP^3ߛ艴irJl ѵ5 Aq8gTE%-KPZ`?|TBn_!?]8բΚ=])Aqᔞd^.'xQ4;qi';owKԾ^9.ƞVQƳ64w'IYcw~Mi1m]=N )B6֍KgLO?WMG8w#os͌d}2gtz=*̛ЃGh m/zMQY"iBxOCžJ[!φS٤~a>꺭'SXzˤar?*nK[ȷ0b4Qm!z\{yH~T{}M)XXz ee,)?(s@RCT` <}@obfNEo}. `/=U/=2t]M$\d240,k'83D;)8m z=HG4㹘G=wPQ,,zk}X4(k's\,gBP:U-˱ۨڄBWk|+ H\>p*%ۖSpO0~Rruu_!(վ!ԕ"[NN=GBeu. nJ ŦF~ʢVcB$'&fkT*:ԷmI3V >x&%lLZ‹AgKwIԛ?0ɘmʩ6Q4\FG)(D9-dmš~sS돊/Tm_vkNHLnCb )!0Yh*O?qf5:L&Gk>{` Y#Uyh2*%ezAI~偞I `GZ/捚|;zʄ_AysG/L Wv T]An4 ,K󪒭p:Eoaa![a>]:2_(-;џh]9IF3ԗn!2>` K$N6"., 1_ m {vG_Ըt1~I`%bBOd}bl-=pu^$[ \'*v'Bл(mJ,JG`J-}ꀚ NI7Mw Zy hCxܨCqL:bz3ιgb6U!ݞ7 $Ø$ .IpMOiȝPOBܸD;jP#ʜw vNzE{ׅ˦`dq5Rv0pCy3<0&7SODMSu>H'V[*c;{~h<-,I˟pYAKrFd)ct}ģZ{ߜrr  vE d-r_y:a0-O ӎ|)Ec-j"©CwO1% 6ScC49hYFw}„cQ>˧3Dg;G>Cxj0 7pgڏ+Ju@RQ7~|OY,+;D-z#ު@bb]8FY(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*wG,6=yQyw-"Q)xMZ\Ȱ"1x3JV̯A7Ο21௸4̆tZXZԵV\7/bC>/S?Kn;og*e1A7 DHOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.html7zXZִF! y\]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*-NSB{_V #xK!#h0稔n5"z*.9L L+W0w+hst4wGI=B (|GcB_~*{H -" ʉk7fLC! U@O+*j92^^$6=հNs))R/b_t"B̟IɓgyW8W5?90oS/8}}P|3"uj2DBWnT'BA|C?NVXi "ȇi;UFʱ`bv˃X͈8 Ϫ<}SnFޜ05H}7˙Z*#֣Z5~5Z*H6a3ކ;`zN4D9GҗQGK誹ͪ 6h[vOWZVj 3ɩ ]̴9j91ҁγIa(5Ah>t;`m 'Kı!au\]KKGsTWZc_芰GZo- +-,xQ)"Y2Ӽ%' E/ PΕB+XIP n@7&W`Kߥe-%NdLFQeM6{{9l;=_pX;T*#z^U[ҟ;۶u7Z ,JֹF`Qdv?-fD-ew: $ndN] $ɾ,0i'KEH <ns 7p7 Fm5wV(!LHh8A9`K/̛feD-x'91(3_2_}EBOCb9: `F<@xTÛYsZAxq3FЃ-X]UXyS.eM`o% H%{|:_TcSgK"*ʎ  J1~:T6 [w}isHеh2xq*01'nzֲ^č ~@[ܢWqun_%7O8N=-Nud/V/HVJ˪T7Z74lhPS"d238׼N ,HSV$iCuKb2d0T/;OM#|K"\T)j8ң,+THOztG VЬ3$Fhl!7%mqʡ2ak-?q|(t> ؋\85b*/Uy%1Z|{X~ ,uR\1aB@6sj_I ȌkNȨ|\Ph-YP2$^Hu!0mfUU1Z PQ״U_ޑq.U5%f{|uMjc]T(8s 7eayJp߿d\<YXy-c贼+ִդm_kN?>XH1JF?PYlc1䒩ȎB*0IKOӸ%fR-U>;0cn֙N5z'] LU<5E;v2ifd=>+d*RELXk_;Pzm8ZH/;& NYNÛW5 X1ǿ|9@Z[1Ama= Mw 5SOO,I/1VDc@(QBf?54%î*UovtyE\y DҍBMco" N"8@rٻ_'[:. *٭;Ga7c.;NDh`,|3:@$+]&Jv)#zbBkR۞7B3DmnEN|sʀK{P}vׂ7-G;]̈́`'fgHn kۯʽr^¡!a^-O4E.mZpfz]QQ[νVLP 3yT؞jj!DK eC+h^wp,UGJ) yTG_sX|hF3QBGr b-ޫεr a^OQy0ێ+~%xM$m߯`G3۴9AK9$%8Us_qsƵxu;Cp8"dI%2Wf3WPu=W(7bD9 KB <ݟӒYgcIrBYyrvL;z87WЂJ( gɀ uIk:!r l沩JW!IĦ3l2P+XE!LFˁ{rKyffHA 48ZP~9\rW+w$k}%9$`M_\`2[x7p}yn߶Bh"ZDB"Z!JoVO3 xq"ctֻti;6Hm?* 3n!,q\4 vB؁>&F%(> _G**NL='<͜1=%~]*v*V2^!?p|z)H~~qcTKH=İVܜ&Y]BCT*"Nx6eh7bQ•"U4pY-Ab";Eqc.2{,i\I e<'?+[pJ_ٸۻ?%t35wUU$v>}>T+2wO[ W޼&:;o\+0nl߼4w¸/&qK'&y7Yͮв`Ψ5=ǧ:Uu6ds1d]:@=@72sb͋)+Z}Yݹg:̺CU 귯?).<OGc#mX)Ϊ !4Ma=3:T9?BwۺDpXdn[jޤ,V[ӛ~A^_Ib|A%}{>dTܷ[3M1 sMwӂ\zկ?2 ԛhdXbo23 ;L8ywC1F >nƮ]tG|"pR[*ŷ\ wKB/m֤hDܻ]u~KeAɔi1*φ.ŒzIg D ڀnlHVwC)ST4' }'D 4:;Uh/vV˷ݚ2Pmrg 5cS>~ ֢Zh` TۃUww] -)ɱɀJ&fS#&h#q~f pI\|F<>;bߙde$jUb=]^IIE& V^/W=N8/tmK\Q_fk2+$K~Okoc(n _{*B:I82cQٝmDYu#&FsHMsP XbC|^qSp{EFIi~U4BˉJ,Ldz'9".ӸAezN~ &KBGQk`w7g7x:mQ|( &N:9zra^zU=ѣ!uID]]F f%|MotO$"[̭J#`4^`&] J2ʰE8CE4ijQVC3aĠv=hң='Lz_uab\ J%*\5j.Jʄ]1ݙ ٯxJJzW /9'bB纖ԯk`S-B i̙r:pXmM]WlOz;it.0\܇QAv^U(qf~z_@mpҼBȀ.ǵ Ʀ+|5)Gkzh"< {WwoB ]˩T w6=n<}&94 W˻^npm G@&\)֭UOXw`[aM^ɥpM uiDL")2ޡ}D`jK$% ۩?K޸C*B[RҢ{%kULI? RBH#DqNrW^m4L3B j+f",SRZD1W3MqEmuH!Nk%u`[f&= 5M.jL%RF%Ji-If?hX@ ,:7v!pN6I\1b17nD^m[OW7[}*:jjڮ5`5/q8xO{r`W?-y;E'yi.է8$9RsY)ȉ=̬|h4҉d+騰tguQر= q4R)oegQβDsȬe2b:qQ4\#K >CA5u%!y _R177v͐3~v`'o撮c!bΰ^WJEo^z6R0{}|6f>[cu{vF(/ (5$u*g!Ge8.3rٜ~٣C)%ȍI-g&"S( /9%D}FV%p*aH!-YT{u}߻aO忘ԅoV;'; Bf.k".C![)VG E޽Qz99hlmG3տrKkUYtRm{I{CM7&@ ivսA3#~\T@Z.6Rt+V)H%WriAHw^.KlA;,nO17,PVq04z4~hifF`HmqǏJ]A[ W17~7Z(d~CM>nѭ7s})D_/=≞d\I?7̇W:SteR(̓c- A7)LݏJ!-\5n*i3V^`rטwD [|Ÿy|}w|7D]BFJV&|aXvGDb'¼i|:Q` }/፱#+W* +:h\vqiF}H ,u-& 3*iR]ARRF?N:35{y%ݭvDAn`C!'*pwB~֘ƲJA/>Π1YG oVw'~pѢ-G-1@l;pRhVa"?Ofe#n?P Mܿ16/%hE]~b̥.Y,x@,_ 6/yv[5w|*IOXj]\Y䌖k7\+~jz\,}[j~AK -t !Zxv,z t+I=aV-"Q!UsrY\Ε"l ruvD?w{dѫ?kیc߬BDPC>tBaOsGū0dՉnCjI?a%!o{V?ڡ#ho[Q(q>nW:7O$>{a>x`gt8}#DF8%ryaBg<@/ Kz+VDd/}6$bYӛ6h`PA,1=T-RaQCH}#"8J+* 6"5薼ĵo!TZ O[myp_W0lH&4a+)_[ǵZ8 9DeuQƙቤVƌkyǥDD)<(=s;XthJѰsߗ.^zh0^fsI;bǶU AAOg] +Ȯ`v^`,_EsY3λ ɸmDѮEN}Ju\erdž m[  Uv)?N%= z[0,*m/ۘn)P[id 7JdgԱC׀A]Y X"t;g<_9WP=#m>,4Ji462MxK% qP%6-4ᄪOټϬ (TbQ%Yip 0ԛ)S!2ōۍY4>*RXtNt vȺ`\j:r. :K-'GlLB^*a[2.s v:*sΩ-zBŨn\6ګm S}g`d`â X ɿjtYʦt0s"MDmuɴdFEdX7'h#~vE1Zk0t>d ;Bb2CL[* Ɓ9m}{,/#2c$ju%'_Rܒݹ+2&# 7x#a&v>O"kL=_+'Fb?XKYG]$|u.1}fyK^ +FVOKwӵ#)E%֏.{dagwJnz_t>|WA,0V}pBP,]28D7Fլo\V)^c6\t_'dRR I aSZ"?&1 <[NņBIAMrՓ \!*pMJOJ;`S_PQV/ 5NMr6z L Y6SalZlF >A u1gYZ o1=3 ,HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.html7zXZִF! ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(QlA_:ne(T x2m3j%N.}KQ.|ꋮllzQuT켂gqC2<2꟫W 3y+f4>G o;4ª0<@" QVUa )N*N59jL ĪvaJX^] `aH[jBW O{!lp,~鉤˦|d - `>6k6sFVߺ2H"0e.v"@/ODQ[Qadz4P赀Q M8r[*x2%cc` Kz8JS_$zկkEMo$hͲUB,]T#׍_QNd(31Ĥ0 Y/C8ˁlׂKk?pO?vR׵jZ~K𤂿sHGAE]ld, X p}c_׍@YM 7µQn"S9A/s sHtsɊ5Yf1=7*ޱ#;7<6Tl+; exu۔uf}EE񩈦־P#J .ܰ V}Rv]Zu- J熯 K:r;=L6ɗ,gHkjcYG'7@Ӑ}=8 R-]JLau7s6x*pC*0k)6K! 6s" ﳊ+m"3bnBCU#[o,zT jΟ&Gwrk-kA,pSD&,h(qs8}:hIXP 7Ir7R1 Ǿ¼JIeVa8Bz82>g*eZn^7&WAPԀs)xҩFo(s!^c!,~\7p w#آXgpHn,k]HMAݕ?@pǠ(פܪ)JjƽzZ4~iޞ0ve[Qd}Fe})M,rni{p@_Y!dx(fi9gP+X"SZsj(ꌟHORbp;zl?vO:o_95dTNLP^mDLĒomo-\_'hsiøi0?HB(.r۳fAZ5)#&z'boy l1 X]kw; n98:2쎤]1R:"Zc6 AQ\[bc%^;J3E=ޜӷ/e|G`KgPKyDz#n&{nhW00"v&oу2K2w;4B(,[dv,qBlY ~~_5Ch$Q4dh@_ GV{"Ñhڞ6 jm@ݏZ: ~ko%0sw7vhCo 'MbP8'A=LUi֋ Iǒ(`]?,ۧ57pӞYK+2fa;b1CcNtM=ԻOM~j 8uc^]yi'y/~䯌 8qTPABƉ"%Mn_[i[n~<h UI==zi7E4q{~V~WY9 6,M:?-ĦfјV!u.Nėd܉qTQ>t8V1i"DaE3 KXPm}n8;d)q䶊R.y^Ӆq9gZS9%S j=jx蠟0N T0IkI+z^"VN!7R*sw;sLOָ 62e^*iɔ˽-L5HЌ:[9t! nd̉ZUt'5^i}LN+F!e:&ʼn@5#TWi{ Ξoz~q{SSݪa*} x*Z`mEc gtؐjl0Ə&I@߻R`hƈU~ sH?wuG}N7j^RCnv@oQ}=(pJ"6±gYZ lILSԭG?~G"ǫR dz]LdUƥ`FjnasJ3.Elس]bAJ}= ܰ=JS8Ѩ= xvb!:hd0h~qk?[DS6Iyvc8V%ȝs.Q}^, /"QXwj)G-Yl!G1n2I FcGoC΄'Pw˚ǟFxIǧě[u >Xv4U VƳkZWuёa|+5[B e(CMͳ nC'N`6'%l".ؒ +رJ΄]gʔƧӣhFFM dIOYc`0fFϹ1B-1<qᅃSf0J W?X!ٌE-",)Fv]GUQD]yObڍ TMm7Q_ Oٛ"yޱQ#Id2 Ʌ|'lE2aeǯ+Vhig.;Im},AD>Sl+jnFmB 7z}>c,"ǁk?A<0u<-î^)sҴ0m5P26h,op=#BCAcotSn7pF4zZ&3ҋ`虐(܍OrlIE ^E,`(Yd$S}+/~@KaTYk`kdV$œc/WvjQ -\TVn93 JpLeX-X3|⫄]ag  P[.R ` NP,e9G`08qA7z%bJ,X6go|d-]۱T.LHp6O-٪Y(v*{(MF=6M}+90x.ޤjya^ѤI0S?lnŽtT&4y/!*+(ǐ7֙wk`-H-X_wkoKwG"?cj&ŔNQU)5bK@2!Yh((nf/yoٔ>@C͐ep yT1T`j@ڒk t2'y_%RP cӓ+zsxΕ )_X20[PUo 4eZ;\X$8(!M:˝[QlbN4bfD#\gt3p-l*Mr wNe@}&9]̕1"?˯ c7,kQE2yMx7~[:@h՗Nw1mNaGaE\ f.BzI@c5"_Jr'fVX{&jNԉNRP(Ї&={[9_Tn)c+7'ifGنbpn|:)N/[wnR:Pyy]8=WwL~vRCqhu!0sd9X28 T(sQ?uzo/^#FcT#pȗg=O&leu0EA-dn",nnH@F uiF0 Uk Le!uFVީkGl5ܸK!v / ﱒVȔ!<(`^TV\a&G' gԿn  E"xʖ]9kyzF$ε-g~̓[.q-0`* BI﫭o4,p܍ d7Q^?N:>i^tjU`6, tb *o^ZЛgIAr$-\W@@ư+V`.&U_vj\UfM5Gpp*@4 d- UHdcKAzSH ,ڢ[ {$4~2@ŏ6m}O.mU^Vܛ)mNN^ܝ{%-[}0$m1 KPYj k_Ol F&5,]7Q$Z~,-S@[0.{X[0 M &4޻-6 qډ;9"$e4dΑ5G$\@[0)L+lxA=C<"+hTL릏0;\5]?DzgB^aE3G>(h|`J/6+VTyI;SſUv׾,Y"Ri)F,)FV9qk-ÿ\unM `yZVt~)XRx5spHJD>R۾6^& )]-5 \3ǂ1M}۞q$Ǝ?fak5Nqc Wi$z gJ=q,B ]JDj4hRbEs_oLl!IFU~9mlAxַ[N+Omx(J.[%y6I a"j3X QQEb:]#?[ev |p}'_"DeҟUͅsIW_ X͞WgQ*Z{'2ށ_i78?%e󄷤ACT2ϼ nel|J_s2BzWa&FfCkx#tVR -(9a;ʬϼ~Ή:[~8FRHIp5@6qOޥ9 *1F.UQV~{ x*(p5W Nj ^iDhvqV/Usx6*zcOF[ƲZ!F.)eלFQ^K^Z1pG@h,JuەMy 2drzތfa kP̷ml!%⫌<-r?4jFtg=nW:ɮc)x@;GInytb>sQԌc.STq/&pY_힂y7MxCKd/X࠸6{%䚔?oxF] ۄZ 1mNč(Q _'q}aM?G$s$YSl% mmAT/ۨqtc$.Xk+LV~DP fSvܖ5s8O!GP׬L}b&^{H-i#Yc3Ϲ^E)heǞSX|"{=^7=ibHBVycf`:v8A 6O%0ֈCIn)۳>V6(0K놆tHQ9 t&Rt*MSmR,`Rsӭœs`HwLMgI^0Fu=dd:r Ɠ/eBD11]Eh݊j#4 k*:oޯzOHm1*{/]i@TBLJ%Q%J䏾njqNӗ$Ib !) Xq 1)ODr n'37t@RT`M=> hWVR7A.S>pe:?pZQ$|A ?2űVVYȐ 9cCm^t2@:4KUަ ! q-,5S>pE-Ve*sS;RNO7E%ST9W)0+YS{u{}< owoj Q ,N)YUlI{n ?}9S(` }[_2];Ɯ.ş|JyԫB1\h_fl> @aIHE _ X,ty .ǽj:T9'ɀ-?E@ 8\V2| km1iKL m4͈Á +GTt"Ek+GhsE\ 12,?Ѷ$WY^oޛ'%!1+KyN^H>//1_n9_ngx 2gQU1 oKs3_6m m/Ʌi 'V%ȝ}95}v҅0rhN?A>qe5e7K%92sHZX^w"~u\vdcgMHDRqY;Fs p7FbzC8o$m؆y f:T\0RiB@9cJIsKݼ(N;̪V̝Z#ȍn_;о7;f?N.<]F,?9Ŵq(pu ǢBhF Mg& R {ȣϔCY`Yu3=w ~0s[v[5mi7z]2]Z-ua X^ȴYQű3V=IߏތMKI88z I:OnL'Dp7&暙P&Պ@kK@=G$.n W^I@ݪfwƬa5!ҧ B$ ÿON 1?2 s%ͥ|vM&'I~0H"Z1 dҋhlͤnnIq8D/I.C'X.E)߃ՀK6.q8̕[h%>?US]w$a@aJV,vLQ^W޿RXzd)71&.z̧\w>:hN+0 8Pv e(MaZ7h\olӸ,5<6euN\S8@x!iXiQac!mJuN@CkWXDXdgzE@yfC!4wraŪ̊@qm%WLAi% oG2W-'dOJsN^\>BLlU }_qY|Tf[ts#0!wUH_R8O{Hh~dlnJ@āih8*HKߌ ܻ}$O/ [)v=PU(o(WvρuU; rq_Sf+w(zF<*VhoBY\Mxa1˓`g##]٥wtL/C &0cM2C܌cj #F/aK~e~2QIӭ}J[菾^T?v5%hasց% "=rϗ~śO)}Q7xuu(_R |vu';)-=TFkko0?{ܵuV~aS9#iyqfi+/.UYCC Θܾx[Ӥ<՗$ܩ +y:r}lv7u03X_To"U nQtEGH,)0 `OxNMX-~A8^K62ըg=)JXZj}Qr}ӂ!h-kܲ )!ӎ:jU{ }9atQ~TL>:Σ&h~Q㝱`_VϡE/2\coLk͞y1͆ Z ۹fMJo-09Ƨx ST]ʞ$]k$\O?ğV.9VK˾>8d uUcw/z.R.x8{%j3U$VפyX yRCY~E:\hRkY9,TDlq4\NJ::ViV"O]_;&8✳BbPw]v|{li I9dIVZxsTJ.I 9Yxq@T?$Ӈ."&8|Jt/&nKAIPGl5,gɦa]koƫxƁrJMy9`%Ţ30ZN/@ \Jv=N&|MŦ™AT#<xxbX I,U%yJ\K>lF;H!:Dَ5M-+R]8ĩ*˭Gtd!|#GĸȻD: Nk{rd/ fErCcT$ A3t-#%>xs~'ay}j|Gٰ7}(fr2~p#euMubv1dH x7#~שFD$cnהP(7~Dx;Z#Xh~cXDC#w1/~5؜-] S4(}m_.ZS>)!0ќʍyzJ>x7,֢@ [*2{(XTx9L9`oOiHESbx9Co^- $lo6Ի_gĠ A#[5JLP +Mbl`B3ZOԳglbJ_tf0Kn4.Vx6詰,]c%:QX/LV,p9Ζ6G @V-(xeq!F2+C}V._# EAC"򊛛!$WOa?)x[B 7V i x9ijՖ }8lVA42 UHKrqGhy]t&\QqqY.zHK q_K2S 3sjن_8L-f}UH5 .[X:z_lQJ+PN,Ae$a3c`3X˪I&u]SE>l`SAwXk~@9u㴿ؑhUg +Qٚk&,{ayE LoLVq9s,J.X[k{je4OfO-9c?#~η e=,iD<]ף[Y_gr@$ )ƚT^YWM2m\[<~0ϰt[A&U*)"=\;jj9ڷ^ E_|U}87 6G?$l.^;$re=~23Ġcv)-΀*YŴMH*7"CU.H`u@nYOQ"JM ;NE-cR`)C#GVJioޕ}@Ahx*ۥ,b;ԚM37dž(sZ9o:4<Cnz7d#E|][,LW(oOP呾_yKP0o/ODdRqHkÑi ga'It q?j[Mb/MT+^1Y{ͮ|@;[)2ɕ%v~u9f#4Ő t119Lu?!R_թt{Q7+_+/QF$upK"I(z "Kw5 7? xVٻ Նw4 cL#{_KtQ@eÔ f4;qdy:WJ8|>'drr~b!] 5BX)?go4{=p?,4't0/T Asx{ ~Z?דO2--En#+j1_㞠K鱬)n,]j8I>xfmOZ鍳H.A$@]\wkwήBw4(,u]ZzuG̬z%RǰB,T3u-F'gMceh?Lk IQt2`ׇ?x 7OCGkcPHz߃Rf/4S"yI3~(C{sre̷dVcY4|+`c,-Xk%KyEVP.l鷤0C5ZnO*3jxyȊN]axRyR*A: ͑4@iՋe u'-^ 0"?O "ɩ~b\-wiNQK7ȼY:T5i;pWBmJ&BZ-3 0g¢@zol&o,ͳ:&K넂6q͓TsdG1VeޒߦROЧBĿ+kfIOp:߈`x2x V:5Íl es 5-Zo枋 "^n9A˘51◮]-E=ȱudXqH`- &b/pa ࢞$u|ۦKGp ^Hc3d= `.W]#kPF~y;yn b6_&B~Xr@\@6[G_ asp,qs7۳1`9-ecۼv vov}(BV\Pp<~}?٬U8sU[J? > s7>F 1o}7(VCnqP&qCwэF=Vtl5/-N6mYV ԭ[#9i( 8)m q]1<7+{㌬j--DYVۖeB[XƭT>f1,D3 k)M:~Jf~%wQS>zͽ[ f`J8 4ao#Me~dL(&S)mkXf?=`cEU)W@`l0;,!$8Q&eI荆B5$J7 RVηBjՠ $  I#RP x<Ė_ϕ9'd1E\94TouB/z3hri(1/GcPGD(/kyi8M71:gL;;7A%x|9VIlɇL!b4Vy)CIo{]]Y$wS/ƘبPq>yavuS'WzL0eRrRoF,]wRyM'>`,]R z2Zxx}⌦Go1qzb$+oe8!j\Փ)m/IQ Ey\RڡPR0٭RNn3(|,1r@Z Jv墆<QV7S9soM&s7 PB4/*U nۗ@n"y%N[P#@R۳?O!r"~ZoTumhnK>iОUCGz9J0!&&:ayRf*kA9MwfʇPB/.zN-wE1<'kwrbEK-IW1bWfv\fWM?Rk0B+{TbF Z(!=}OOI@=/ h o2ҔIѥo 8f_hAl6"]̪5ٟ$c "Iy<0ћw|1JKS[<4Ybo< Y dtK z؅Ӭr9! V3VJA90)S"~Z F^4ZhV156+9o/<roѪ֍Ҕj|vɨ&0DZܙ 6_AAZ'@NHt<#inzFB˶ ZTO ;hx`X`%h>)Vhdk ANH}lmXB1o?ãJ>* o6M/Tӂ Uq I2gJ<*!`nΨ9iVf$Vkoҭ>DFǞEq# @jݐEɽșA.X{vBkey&IbJ6ծfY!_iW~*sʂx tM!`|!"ɣ}Ool㹿O]9xsdLTBH F*lVj~Ͻ2rx"X: duuzy M?.(y&.]|_~3Qo´v~STRq8d?X̀OKTJVkȕ,xVD?!뎔keq H)BonMI43|G^KD0l_ uF"ZP$]% D9)lgڏ9cML•F /*<8.ß#r*?iN |"@`pG=LLhf*{b=~_F  t|W@VS|J|F~4tB3+ 2V>^ *O%L _C57VZN=!eh&>nĂDkËP鉡o3 F-bEҌf>ac"zV8XYDKl@:*P+ UܛA.6/[bbga'=Nr?dI XDnL&a!ɟַa@`QW'YCb`"s2=9^:>넕W㥌 R>c8DqsUsKmz={]$F 9d>=*S!Vo&EyǩG@a7B*kus\: nNhFNԹ`gW8-@m:^ :J-ɍgѣIYͤfk.(D]/_L&/D}Ro1lW5widQ>n\' uY~nJ?sg O xFP8VLJC2-F'/UoҶDt_ۀ8S3펱gYZ ` 1?5 (EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+( %fƔx1Z޺#ԟ/S6g2k'S{O``5]?]p5̑R DEFT4OWMHMBXyyNԞӁ|Mtz"}n4CλY}u5y'lxS v,1eCXٞxN(Ql0efyk Ǘ^F]LyU_Ȝz* c{҇)lAbw}"~ :ͪ$3a?"uwF5@ QzdQñqu|zBY>REnTv,  ŚE6iGC?:uˌP]ǕYcBZOaZJʹ^95deLQ£uU/.Rd)&NXm @%B)rQ'?X¥ _i2)\##fԕ,vbf_i7*!a=xˮ,EX] ^%vI|[DQG-c$ u^#kk٦KZ*Dz+:Q5k?_$im*Zegk|4ق=SpKwƤqAM=\AUBudyr ~FȈV x9Oeeچ8yP ;}jСb`q6)c)~:u[nr`xɀޣ|(Bouق1 s@ߍ&t`s'Q:*tWsߢ-W w.Q5vNj(4"b4 h0urZtŖ!G@SL?=HxLK byWx$q8N, l[+idQ}`(jz/+`4Uņ!Ò;WkuŘY˓0kr6ځw#UrVI1Ҥktg!,zѕV5+\Q:&742{њ?V_]~#:`Oiu” jYw'4X;3E[I<= ".dR1Ճ?u2I'ˠtOUSqyC:W%Zc"ԟ0UUc_4هzVEc2{ Ky8O_6`w3|o-W 6) d0#wrZ0ᣂRU,H}KG\t !.fLm/=pe0*+\ѓ9;L"ݺE 08돼zP,#1Z .*cݡI=[7 ܑGb@vطEv %wfY4.yG%Q7B2<4sE &RК(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(TQneL,Z_(Kف#͍״e"}ZoIfzJW Js3"9 Rw,;\:4 s$٥MJ@8a Ku fI'IMt=ZXNjV[t~gѹzZ)Άg/F>zZDt0FΜR gmOuACHdZ-r1G"]C},t ^z& ,ϸp()Ed k1- Ip3ÜiW yp\TP1#6[@'6ɱM]| 8jxD3g5]c;KE\SPCݹ/V#fŨ龺XQlǾgsLֹ`?Y*er'|V%Rt5V\%sKBOnDM&-ڇf$/ma3'ժ*tUbL)%#c}!͹Ҕ"!Gخ/Cn(j 2\R4e{n"{xFdg'f7#iL1Kqc@KR.6Úv0;.OxpX(Ӹܽjɫ/Z7ѻFL!gMB.Q#=.!}$_}Ҋbd.MpQ$~kJ{?ľHQRNmw2eN5AóqoRAFcE6b|Tۥ$t?CMT}f%Q9ӴܢxSuޛ*k$Fq$@2a\|Ǘq_H6eAtLvj~8}zRmʹGckH5:w05b-Q̒@6#F7䨲ցHK3]?I䴼{{8al;]a"7!M8n֔A(6äN gf4_`$qF4wֆiĊ }r5oхPaF})A/UѢ su`Zcx80N̋ C (0|y'؆n~e ;34x5ʌj=*F3Zw;Q-Ss@ W<@-*{-#3fO-{Z #qiPCH3@ʘǢ-$ jzL *z!\#P =!hʾ4bozyRfa-$fQY[x g.3^YZm u?eBJ)2JhPTAh|@Y7W>L20Vv\sU`@ e2rZ`D-0ψ<*7I111oS-϶ a&ךVBc:y閚Ei3c?Vu_ϷHV8a3Uc6s6zdфgÛ!BGe?H^W#JDZӵ{'<"FۚLhyZ`~e@3Jw~4/<ɸ&ե:fcJvWk̖Bo KN8 %XBnٽGk<]U[QY_Qeno1y"bo=;|>yܓ~L1*ڋJ|؇-Hmm77^T]<^cXYFz %)G.X4U'Z)nKjlSho:]hs\exWoг@lŘ֙AXÇXS7I:|>vC.kZ&/y?ݛgYZ ))T1A5 $HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.tex7zXZִF! S@ J]A-MՋhvG"uIBm5LﱷC$K%.Iٕ,;ʔuLrz}^+.ҀI6UrΦ N> !#)_H ''ܝuU1]SAvD60`t VfmYȟ8z1a_]nZIfŜ&";x8C`UVYYm ZSvRG^׃)?O=.u4b,3HfdW.s$ϳL16ӱp /^^)-zkEІ]1~9Q~w?]PCC,zORtdXn F&!Aq&G&WM|.2o_xؽ[0bZ1(Tr"C,?Ik0^ɀ(- ptW.{g|$CN4CPÂZ|iŐzٴ`!p)S}y=^l|2Ԙ_X =ӏ썠jyޒgVc8dzZIw}Ԡ3ӞSiYZ*jj1C3^찬k/ƣ=٭X vpfk 2׃b";ozãE-UL:R #j0oJ@bc;w8W]θS( !Q?f 2zԚE틨^ΈfJɛHW9du, _䪩<6@| w` {H 4}g0]BC:4B75ṛ)6`'ɛJ$OLߩn{(L \W kǫ)Tfsvzua^H3AX.Ơ!WkK<#o@\D) TMĨSo]-RʼKs"2ɘsQުV"Ћǩ,. 7#Kb {bţ2QrˍTjcw\G𠆠D6p&a-nRb}8VhI0c=3-YM0vOH@=xz9@_Iqtfi1u<,])Nl*!"02sdz0v{”ʁx+MPU\\dAp NqóK@[#7غ)U!Mil%v(ga,ԉ陳%VMX>=R9%hMCUxu6YԽYJ7#<ёd$m[BBnd"/{738@sxUlFg\57a"O[[ ԸQ6P^e7t(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s("XrbKT l xϬR pӣ;{"ppC]?Q^2Y]:Hpκg P HшtPWaaLlDCڀ;'$]&CIaL;#?wr~•: .5c321ˡtu&ٓ$"VOVȳ{͒GZD 6H}r.#K]Cv_۽GyWK{"yry`D7I/ ՞\bժշ^EoH[ 6MSDAqHKf5%@@ sWy+?װ>miw04Li"F$Vט|!xں`z؅}1}.* $ˇr Y,ȓA߰_W2Yr5!UV7s~RT >RE̐;盃 c@)4En0I+ ͍P^m`]{&_hčI#%GHUADYuTC~ :-~xr u ޾jES-?%@at"dF$]x{*m&g IaxMBY돖:k)-TkQ9E+0U^Q tw%O*Ub:BiH.RaT{՟3"Mh"zR/? %Fm}:EyZڊF*Kf@Ѣ;@-Bb%qD}d=π<+T~" ̰ Lİ d4ZB/+RPxa>S<9i (mwK2!@=˦ɶnJlXJRè5|jJIk+QV]8= ÌPUf,r"qdqq~ASNRLPk\p7=cK9} ^ $"ͱ jy).I}[եOS4|)nsyԞSJZ^>b _ku=)uBw,ρ ?QsӅ#遃('|a)D z1 4(moou(RE6]x*@+ک+*<ΞEƼv7akͷ` ÑI7s6*O ܷl /P 6쌿Bؓ3gaDT3ዉoZ"db<{yxDzlyeC%=3Ŷ-u -$b$G/{ mLa1S@g v_ ˶T~ѓk AO:G ݷm5 @* sdĵI5i3:er,Γ:cp@(jjr-cXEcn5BfT؊~mt%y=׽[C[CZ# f23DZRq 5uu?"ZLQ2~_fhHL|+%ѣbrߋ'2 /Z)5?$v"K% Q=YD"I7̆Վ_@ A|S>w+J|Â2vcZheosMg4d 7$ 9qJִw %=MW1ZArz."7(驖|*?UÎPyNUbzi\ABĺ_9s(|8s$(.|O /b-, Mĵ舽Sa/d~ rNV ,kDN&A0"Cu4A-dHF`"ycᎠorԷj]!ӌPTe(DY#*_i<ч4͒W7Cl6}I/H (5Y/Ԝ-OZ.' ȝncѦ`H0SQSK9ZipYz%w3}qÎ#foiCtu$?4dDusH#͖'E1XEV=1f퓝!#M< #.!aϭF:r h =4q`Ng%B76GiV|jU+ݺ{` gBt'Y0S"mLj| 0J\Rn}3ouk^0trd Y 81YƾȊGPևzm!9F;SNV3Y'@x)Rm={oFn2T 4L&Z{ml E鿨* N$Ѫ)v3gz$wٽ_Ec`^/7 (1#OPKPTTKԞ 瑙j逇GYYѕhs3 إ 5(B\PhA#ږ Z߇z &G8lyU['1p ǃ{ ='%!4 y1h7qDN]f &/z9Ʉr|K @xUl=16m:lO"xw@sb6WՇ߳q_~ [ΑJE;/*.ў|%S")̱SfIoK7h=euwC[`~ʯDEi?#>3u8mhq芘%Dq0Գb a[|N |YpQN lJTi"HI.|F5鵿6Wz>,(`MewEO Bu3JZsd%rrs>oݲЍfYq<R;?,F5m=Cҧ0cJ5ߑE*қ#8{'ack1ӿJ4;П3Od3SKN\^g\Z㷘>TggB 7*BNy!Y#T'mwք/J-q/?eكnjh:U9^4 .y©.TK?w"L˜kysܭw\+]fh!d`.ۻمpmN0&,PQt/G=6"Bj14]ԩnq(n!.ħCyjv~_y-m^~Zۨ/Qo *fZI(2ϫ<̢5otx8Ct"j%h$\eoXK|%: vX=?Rƭ1Ura$m󝙏QXc"'k8M(ou\g3/&ӭ[E(\@;u@'ǩd 4vxy;y~PS&AQ_WWGJfs)?AE^ )$t wC׳?P~0aji L/ӜK. Z#aj{GiiѧH.o3#A_7G5.,TNrm^[#EVt =R_I9/#"zCVQeY4[MR^0ڹ=!+lڲ]6 @6 kj{VI6S6Ml]TI9~%uͤهx~j8n^f__C14F]G쾺 /~xr^lR%9DN(fMmX\n5wtyM /^R}Q'#sh;隳k:C}pEnPu70]%v )D,@bj}Iĺ٬fQƪ;}^V2ڽ k7.? +a>i&֨Q& tgao t9*s F"(l@HVw˙b>&F\@Rؤ21'H üE CpR)#Mlwad^yĊ/?Lؐy=UqNol (yTepWd{ O]ft8k[,AMYh/ o@£/T 7ZVMcEUh,!s:4dELԻȝcec5yѠ zMVAPM4*͈YOřV<֫t8k MH:=Bst/BNgUv>?Y4G.o 4NBؗl#w;AW0 y. r6q (CAYo{C]4m"G5p!T66>.I8^*R@E>f;Ohv!rkM ZɴmB*8 *I: G |9I("+P#<`O(7b'[<тO(1`x*Wі^g}"ϥ,~vӏ_8]C\AJ,C;`a|ݓu0u bOA*I/l\z7ꫀ_[OGVQymLS@@XYn&:C]ܧbe\0 (:?dSZ}-K<UmbCia E9"3;5;Dd5r!n> ֙#AsPϮ7Yk΅8{\qaAD aJ=&j[fZ9e<|- hSČm Vu j/ eӥf~qӻz ~]hEDh&}5ފ)3fYjuidF^3#ߥ`xgJf su&Uczi J]6 } <µ;ht Ďυ^?ّ/`TZ=~ L@={A^m7P*WfѨuм<ʲ{3i'!MPxK:sܮ%t_'SV w`h\&rXOT PW)}O+]SsgZ^z})$>2nv"SJ·8qTsx\?`Y.Q[EE/օ|^Gwg&*&M,h^c[pMj_{zgMI/l^6wIKJ3x$;ݢzÎK+Q8T LFGMj;a3DAEܼ&E]4t/)y3 t%%<8'xj]4Q/ietOCiC؅O?uޔ >2k NH8Z𼅞,RdOx ӮmokUTTt}lFepIpDz5󜰦4aOdbhخ`yPȾrx`{ރO"vp 2ۨHm0r^542$,X1Xc;lFEE>/(H-hD X!X hRKLy 2%k)u\^2v^H1Xym"{ƹ@0:kݭ[l[]&eKk^vCc47 91-W~Wx3 qUt"dbRVxK,y CY%Q(2AD=Sd "S~ zLNh{mH Y?NJ|߭GSΝ$jEHĞ;KoD}pv3+3m`^NZu6ۂU泟=4u$?Gg >N[Fb嘞MRFiSF#qۻtʼn @^bC&q`TSs\4gҺQN5h[o5?I>:;azRY>wt<*gZr:SWNÒ &DgT>{tT53%@7h O'ap &c*wveb-9LǤx1"j~ks+ DN>O'eIaWKÇY3;ܮh"&fTGtC??J>,ģP[/a(ye8en+Q$QeܘqmJvY౔=16EhfЕcXBzϋE#;r*̩H|Oq JD$@/-S4q@Xs&3P:l\0~o7;Soq`:g)50Kfz9!΀?zLo1Ԇ ՚}S$K p@;oXX ^d)Lkbh]V{Ώ.џ]dܱ(zqTV>j촿ԅ=w[z BbabWB W ],#TBEǝ:2TӚ`e@1o~/era$K[?J ?FshPR8fdt+4y[9v(3uy 6Ty 4-c{h}w Q.@؈y"ݳ12slydR`4j'ƭEEyL fF$M_#{ԑM!&) N%Y-ȉf-T?ޅLaЏi !6\3_* [}ݜ#5iB׏1i֚kڮpg?}6y/>=vVîjov=8O $M PF##`%8(e=ځ%$;}%ԁ}^N~ 5`4&=ꞣdFrqf_w[xF?JtRL8Cq~u;-]wbIbzr{}MQBR~2mG@EA΂<݉U׎)ř]2:?aYB;l M$ #})NoTɩ3`(A\1aԍ;g6Z0vſha^n9#JҨP:p= S_ꓗ"sfY:&Me>37ӄS*m9-¼?A1P#CPYCCXU3Fv3ժot]=}wR| c.'.АXz?TvӨ2/, *%pMP, KdY)g4̒~ĕᙿE ˨yI/-=(I/5Z[YF͛.b^ vP a ƥ\"}0EBP/{ Dx!. *['QGcp._7 P J24u72:|>!n^͠ 5kuhOv›Zّ~A918z'[AlxA 镈ԃ7D&BEWȣ#UI f>khօ"OPf{?Y0Ɛ$OX^Qk`J''C5ˑy{%;Sg|I$ե˻FI2`C{ֈ`>cx$Pж}ӕ%a 6WE8RdV.jQж9AcR9K7m8@eb&P+iw0CwOnˆy5Xߒmѫ,sqQ@) #^BB__ﳁb-@X9&u9|Txˇhoz϶7+(9N܁im! O}z7'gVWd%>#=Dtڷ쪊rly_Oj_"04YG9J~̺z}6T7Y|. rVң2 ds)q\(1m(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s){ ~v w*JL|^ l 3-ar5 *8iZq8-q/.'bUr2Dm76`ʝj8:󌗝HHb5`mZW?۴*==id@8PpgB=/N"{OAlu?)! r;(XW)hCqOR@fN]ȪXr2g(e::!yaLI:2[orY9<΀B`˱v SskEdG/4M?ّ.wh}Ur-% .ч(Lv՗`e(Y|5AI龜 M'̏l&!-PHnEa&ǼKlP 4N j:5hT3Ӧ8xH\VER:ڱ,\w*mX$L+^G8dg̤9ƿz9@m%UMhd3ZQP15u PFlSՂ(Kk+pSFf9 x#:sv~]1-4upk}'S+]R1c%Dh'I7^Z'GbٝMw/~Y_ٙОg35`e򯤨ۓX#*$5veƭpl؅&5o>sBSJ 柿R!0 al \w"ʧ)F% 4YE* S*ޱqի/P@MQ pcβ+]D2eIގ]1E]:#/^+ %̲9,)LG)7I2iՃrŠMZT *mأAj̼)֢upx*{!w7҉@~ :uהZɹ:ꚼ0I.b?fCT gqQCnA,ć\:1dhVafZgݓ8XC{2U V>B83 -aqN<)Kƨn4Eo!9SJڃ_S53\3?ǡQ6Q˿ ~4L@WZrzV0~^ʳ,zAU2>4ĊA!FEnf߹mgtsnۆ7x)kr. %`,'(5C/樘 "8bxJW .1)k OV/]OA=#ϢW%Ynw-(eԅP]G'}CHr`0ߗ3M/~P_f7b<8_DiI8:2fn !=5d8L%=գm Fx&0Q7 RYw2sy!-__Īj'%k>q AѲF/pN#s~3,g+0-N)#z(YYLɤv rIdV.2T#qhc[ ‚-9}n\wmE…Wz&od&A iT~ȹ 0t2 E~~BG MM0 1I= LHOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.tex7zXZִF! a]A-MՋhvG"uIBm5fa1MI[ta'CG9AZU2˙|tt#/^{n wLg5EsQ;ޏFz TL<+XFRJIJ[M*ֈ4MDT'Y O+Ӵ_ F?ϗV\tiE@$> +M!!q 3,l&0Y89ˌéW+ž|%ȣ?mvZy~+k&+2DDY劉?X#7~r{vwWPO pA88Aa6^Rh*5QKw@,+FjAS 5Q|.X($b}vk4dFpI9l>R!&1QOIт+ۑV.hŁ*xͦ fS%$NcwFIgug#5/v;"`%=tɇXJT _q[bsU҇y (c$L8&ث(N)ocq-d b\.WW\K Osx<)qiM [*ck@Th=-yÅpa4V]2P/~[(09d?wX`_?!GA[ 1R'5fKqa">x \~2}}&㖢3i.tP~)8htP73NzɣV%g٥#hUH.S&8P8/l۰3>8ͯ #|E1""r.pS!J!1)3js̃م!A|RJPy4}ڲi?uk=N-4ZKD:=W]Ѿt'.B4 #K7_B==rn d ă˘^㜢xHcȩޞ0ܫW}]&W\;i#uT|(ZyVS8P^,&6*b1KS/%6: (麲*1QiTv9=(^// cEd)E4Tk%SulNrviP LddkF'Fni6\磇L+ԁ7OWAˮ5H+aIHOsA.wZ wȹrk"d]_K3]н@|aѩ<6 tôX(TrYw *F x:`|]Põ6\p\;[M"oMs9"hٚ2]@+=Q "ՂSMЦudw?˺߉Ѹ1u)ǿ#, ǵ[L:@y͂[=ڶ&K )3Dyq͋0of̌`_dbR 2":9k5V* dKA]FvKvc%o߳zUO4-B@_B,R]RUi,)A_it|0C=*J Ng B${:ژ34 JeD 'S#N$8D8!@A5ˋَ%Po|篇dp҇B,[o,zy]D:DזODǷ_OwKŽsiY*5`z7vGI12o$-!Y9J}J l83nHSGgK k6eZ{)jucœ+ݿ˪#ǏW֛# 7FwYҩn;|oUA{a|Cv7<$-̬ji- {4JM;WCl6faO ?ђUvʝ}<2*U9<!]j WOzҴyY4z_le@WZޕ_9.Bd{z`a*5?rM e] YtS2DS fSP_s[eň:w Gn1˃_sa]ʠ^oJ}'E!8_b]zQU]9F{D[7sۧ{N˻jTarcG% 8'+F a@Ise(i=?WJo}Ks*e0Y$yj.nXIbaa'bʁgY1LK*|h~*{3Z!} g;">xxm9'|&[&OW)"u3z&kClN f>Zu[e+>CIf'O_9@t~{-i<6͘ժ_!c0 Uk8=' XSd`!a8HȑzzH oI]?wC]4!&R;jc괣 IuEK&g@ˮjgZ:4շTMg-[~Oi>p;KF${2:ZA>z]{l Qn ل4Ayvse"W(ozaCTRh{%!'t"|Fs -H#,,r4*k3y'˫w Җ?.k] #9^zqpsWxj.}]$7k+},,~JZm0R"8V5  Ř$wQJSS_*]7}liL"V+ζثn] ^ZY^#Y\ B[*;1T]9RbPUye|"lpQC,)|<P}?_oc{2&gGQjqYX33Py'h[.Ƽ"K;9j1喎(Ɵ./;efwg5J˸/s#%<GNؠ_:kO9ᦟVA^ nٸ BJñgYZ w 1OE LHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.html7zXZִF! []ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(2KZZ6岔;&F/py'憝*W!8ΩGM8<e8{fn3M7:cHٗ;4"Rxo'V(l]"qsfvf.NA3B%yq8䱂M%Yy#XPM A>Ǖq~hZu ڴ])eiM.,J/Um]X߇XӃDP h'U +FIL<䗚W-|}".¤W,">>0.p\WGjUMD"X-rt??>;}tHkVlYMO̘KR?~&d pD?.}'3gš:|(&gwM2~Pt $Cr+ !$e&C>`IcA[z)U|[5cd? C@EV6pOΐ;W⸞f8HRȃ Nn n];(G\M'CN]s0Py,r:)~]Za.1bsA=UO&SR䍪Yo ~J琗Do `J.}6acG3.CO ?ؗCcd {7E(%d# yNP_˒goҢMJk 8ͦnE8 2zy[b;n>W9)%)}Y)qWM˴,ݠRXhr2밓R3"fDi}62v,zS Рzi]A6@$3-gNEO-L[?̐mThlwDdUhg MYʰ Թp˷vxdd}?vv+ڲ?S!$ڝ#Fk;Ur?,5X7 C(r^ BQ:4µ45TLi䴅3f$ݾ6xB,xb8Ny2f.aw fQaYr 2E3v|'0Pkwgg&? /\L5ȂpegB'W/o5saЏCYX{e>8B(sh8e3t7mCdh6v !bgi'W^HjGD. JՆopT1 wq(I\N; r gU](Rukʷb`Oc"YTϠ m'P!;(髹Ƭ5횜 §2|j4gvdxr}B5J ?צ--~Fф͠Ow "dgYZ  1I= HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.tex7zXZִF! Z {]A-MՋhvG"uIBm5y/C*#$Jձ,hgD{%e%36YֶiU韄7<uO# T+iJ9(1SKpdijYMl:w2:yi9lgdjQ14 6)t/zR/O-LJ u"b Jo+LL$M*OӅA]։u@뭊#!nyv,wD}Q G/*'%%BM7`oy)Ī_S0 KD3۞,X3$;7NwR첢UZ?"Tɥؠ̎FUzx_kIeX'P: V]yHy@K~y^J ҄&!Άjha #RZSAQyC6t$E9^SI&2rZIWs 5dlUwtcEMZ48nc2J"Oi4̄mfsaW@Lj=*p{|4.gh"YaȊm wߐtFʢ3c Hv gdXɺ. Kd(d.ߓb!-x&qFddB R{.ALk(聩SjnZ@1JX@|oUY A`U:I/^F˜P_epHXIꨵRp>V /J^P2ԙ1ł Qb6CVM 8Dc0IL6IV_#sě Bif Ih9#oIZ֟!=l9b˽5-+@f1% VEQ3"kzt[ݝwZsaE|Փãq`dְyM0{[&Iƍ%) TcDT8sw>+gl ƱƨRm,G&`rY[,Hy.቞N~ ޹-y( X]%@Fp.SOpa{A;ez-eAֳ0QZ&'Ɠ+)   E̔LݝuIcPlyF)̵m(kWnK*/~d1=|Q*Aˬ+G%q5!qkΦ؛H v\?eqvP%=`QAg%dͣ; zxĢ tXߒpZ=]XyKB-:%9_ԻhA6 Cn pN8j2txTb#25v8m}P,l&"R#",{Y=v`A xyJt7Cst&5G+ a]@V=D{{B88Cl9)~,'2E^=~t >餞?r{ [nl{iM5Z+Fju~E gb?^)pKSОz|O(L(f&ʮ7:4lp9BGٴڀ#Zy) r/=@L:~}˓p= $=M19%̷P0ʘ(^'1eä- VC ZDF)+HK Va#4h#"U'wzR$Nw3Tkϯ~yF+Gc 4߽!gO1pHݕ8%.5%LQ>+) m"ᓆ}u~0(Bʂ:l_kS 7c'7d+O܏kԁB R/7N|D:},=MҤ|~8L[ԤݳɓdV*[QJ*Ccn2TH t{,-kF$*;Rϕ\זIކ^sH!RC,c ڨ?;-IO n+HH@QؕBKHi΂_םԒX1Ca3 ,[gYZ 7 X71OC HOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.tex7zXZִF! z]A-MՋhvG"uIBm5ǗOI|@Ir|T5@J>>#-߽%Ȳ4[-BuKэN0y~.̈́}",Uk5~ (P5Y\wht1Qdc/kfxf[~7o!Ği@Fad_{U&{H8ɞ soO9 ƻk,'>hPF2-hѹtjʹPo m$]P\wus0BR] IYN-FrQm]`^p9G2@,P末OSqwIwu[*I$Y[WFhqyĈE(sDd0&16Z]>>n*>1tvNB>{tDbd b${0>y$MZC>ET  . +2;r0g$P2MptJ27:' 4^r,FMJJ`faPy/Nir gk]-AQ̪ntY u.1&Uգ9ZRsCHQ}^~9,P^kַ>D7HLsSQ&0 &rƈ9t^Kcڍ(NgJA(}€WGG=e.Hr?Բ&% mW;gR#˪|@xh6 dHCSw\H?k5wÙIuru֒i5|PP?u^<:ڭ@d6%lI}-Y_)ˎVp]~V[PԀ_ۛY>2à_`PPFzy-2>݉|@3ke]Q)W`1%SJ#[s_[}أEWߎ(u1~m~iFi4m,d5]NG>;~SH31<}_RyLQ۳ ._kxW9zVK%%YC= ts2*}g WHJ'智aLPQ= ,Pl/ `m(]XZ|'uNX 3eƽc+L/vw{FUxK}̑L4N[{tU1,Ae&=M:_fSCQ>\ٖh YwY Zws g؅,'^DJ ILx>% H;)&M8CABzMNЧ#9y0(hj/%06 8y˺UI\rTƜL'~[zϱ1&0[eTX93Eg?rvqvZ4;x65O y(Db u!]xSjTb %NF×l42nVkxM%^ "I?:.AȰEN.+ލNW)rXW`|CG?7D6JԾ=?+sKJ~k`tRtXrh7$+@-\\\{:D*\poKU9Y81>Fqh`!y5%O"| gB._=Lӗ^*^t}n-t4CJ~ޤ]#gYZ%1MC ,HOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.html7zXZִF! 9]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~t(G \tfڧ-i#ǫ ǾCFtp37lf`me9)/kFIz?іo`D/ C*m>W{=>{➜ihs#aǒvPDOڄle2/ VxTOA0eb >dGd0G5` t.ҹs<p~$ ԙ1n.kpNŀr !&?8ҔGQ* yaJ103q;gXH76 !M0;$NƘ7I\0'Zzal*gnWު%cA?w:rmA=M@7-0UkgrƅښAseojsI;<0ԣI:T@F#=HB7*jd*}\U#<"(v6=!Chv(N95^c~isgm$3^upSN #'MYƔrɃ ʔ& D sGdugYZ C Cl1MA fW2vɉ7?yAu%s)Q>uW}Ed>ky/wQndk@qno}4Ri +by{l~'!kp_97w}\NAG|v]|:vL< Oaz:/\<?JJ';7l~ֿqDK`Hƒ>.Y W)dCŝ"6qE{lzrs@mc_2_ctG_z )ociAX6#GE PT Vef7Pꐲ@Pu_'B0h,qRr57ѓCA/SVMN:]'QVꚧ>YOg?ʒk6_!| ͍XYW 謑w9Ke_={YiiEgqs q6[_C] !L0$`uމpBQXͱ3TK4еӐ2QS(Ӏ@);.*Kxi N&rM>C ډ)3֛#!+6MFrwY0 |"1]5 f+ 'w+: m=RP 1l5.2 ײxdOC6$$KV%%j@r[5eQz_=BsЅhCnRaN$`=FUKN^p=aFð hQ_S9Vµdi/Yx(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s> ffՂQgf{Г|}MqsASn}pn=pxZt[\zkF 'PCwi;TK)d0r~z7P$Ѡ> I gL_?c8j˷z3ҡ+Q#TUf`'GEH`R &jsCsq]ԢZiP.0]3oN%x!푁l0+h!9aZ4>??UL?%GܼScQ( d86xBJ` KfV<I0A>Y񀫷ߗWA_&tw>}5G|J)2VnW$n_(HjljtǑqF,a$$,$Ӏڨ׀^,vȑGܜ|+}✕Fq7ӮrF%8e!ƵS\ЗlǦ- vp+KĨ쯬ET+Z\-hKUc.9|~*oj$k,KiE n2|K+AȽ12J]~ՋIt+W 5m= E7cx+|y#a+!腆oɋڒ+eђV Bl{4|L^ [JP3{yUd$I(ХyJ ;٘9JRB}H9|A=ꉝʙUK@7\ڀf:K0XfNʣE= Hю5a [6?133 urY~2 /h8? 00'X@K*9> r.zT/ ~ db/ TnW$C@ !YT4n¿+ U&P.2o=D?}]xcou=Ys|3eœƘv!"ߥ6gm:_)C1A/yP-m+p}4 4dD ; 0O!Es֯1!XEfE5 \?uu9ڈ 2+~SUf 埥 YΨ-›L-Ů^a, P F62,G,0DѨi(!7r'\g%A]HW1kWD[[X\`FAv2c/~bjj$L4\M!bo^йuUM6F_ ؊˒ˆ.uj ri(>//KdeT*2w'5]Ծc֎ K4<³mOmhi)I?Oqvj b&U/5BQj,@dRtzˢ)?{hpqi 2O#R.G=HuF_J%jy^T1y._xLU6dD,IZ3j9OlqJ L+^ˉME+Dm.%àX&Y; h:*Mij(5w=Pi8mMog'Mq`h0KwPwo%u|SALj6Eed|9*.F 1_*WL,ԤӶѯ:Lj5nCrD(Gd :߂>N|é!Ml2Y]Za ?jCq U LuͽQ yM+gYZ%u/)>Mh-ӗ[,X=ôp 㠅鐾 ׬ k^ <`O$Iσr5PWP+|8|vT ߉B}rCw!+;4tܯ&4hPԃA+?F2B-9)ao`80WaĎ} ز'H.WL'gk :O`}[PwUh/0gK53 :"j/OoORvJWfd4ДJ&wn]E1LqNKKGW2E^WnWS9`AMd[g<b;[Wv9"(m."Di9]W Y1BvgI-%;I};_zC!Uk]H31:et㕉D&ThNjsi&dUA/+VwJ;ǫX=4ZU;rVʢ¶ygZki6ɶ\3ko+hL߱mQ(SU;b!h21کS |*?{ S :ERxC,ѯ}]]{bE@狃ɹ't0{E95#+{"r {E Gp y5E@2RV,&S=d@ciXdҾ877(TZc#BtDeDA&[o6{7D3ʾI]*r|epApfر H]>Eo Yb[(TUb}^K$NG ABP2W`Ji1R2ڂ(M- Q Ҹ|C7u3l$r=VA!a位8:AX BpA[ s>pQX,Iu0QKE'L57OK||v yvy*/C߇HV-ʠ9F -׊6ITۓqʅAax/\mFy-Y N5fyp4^, :|n"  :Pn[^4oaoDNrl79=0y!E ]_Tʏ6`$eXAQH_ɖL`~UHϠ"ez0e}ِxk?˸#:leX,L[*0]_jNtv.wm2YJ*}(P<[ )mH^7xl#) H B)ԛs3$l<_,tl'F)ZPŠ& "CPU'?bWXAn5m.2S9 *Tz >6P}]j2 @X(E+jӒBHNa͊uOh9a(M:)OٖWizcè IeuVhs).eؚ6LfV&V贅7bJx2бylM{LyܴV15]E$a G&^6M[2J>ѹW%'{9ҧظ?}2X9oEN_1 d?;VtKsFJ4.RvsI@-*]5Xy A)ʝBƴ4vJwCjBl# lTC䱆nk23uB{L$Jt +NphayDM@u}O*>wu<soU.&3[-(L(~.Pn6NRKںz:ڑ\<2bgzgj^+"\&bqD)⍲p>1Moi,NP1*@j71Sgxb]?!.CqFxOވ.-v<~U:sIl̎E[QҒʆ]Dӿu׷OZ8y\o͚`{j4u'\H⤈q-oHw Š=[~OX:p2oz* sC@}DVhIܭK~a KPz䐽'3> Km:d 90CJ5AȚ*F9 *B!vU.`N?'rX򜂾BkF'9mP,JC_ s%"!I& G:j*>^3.OklOYxrv1VsBd0JWh׻l|(/J! 8/6%m{|IRû$tik뛴v꬏uQ1W#qƬL<;S`%2w*v_/BA!%iGT wîտ-ic>yqOӯ3mk:1?EJHs (g_O55D$<SAlW^EXCCx*Iu`3`h| 8◕w+XlCf=C=XHxZW YOA2z1kKU L#6I.aK 1TQ H8x `PZC7?w'cjcMX@H;_ [lP֍k'bւ@"AnPs3{TRn^q{׵(αQ>+2`msk#^# b(>[%eYL f3d,vus*g' .Տb"OVB;,[5v0WLZ[}Hraf~LP?i!L!Qg~ZvQ{a'k4IFk쳐}A$ m$YiTGuU,X I![2p5(̒"RFWd+Ju&O~}`78f[V`f͵:ʦ[fw9%텣*&"e1c >3De!'`śH-ؒFU\.m3dF wtUf4 imq`*#&RND >TGuDS o0XZ5 ڪ1nz!2SkX  /#1<it?H)} %D:cم^K\ &[)?rs^wMB֐e '\,U`"R9%~LE|ol‡:^QHB'gofg <٠XCFF:̙ @;"/g_K3ĖI6q)b'9p O%=Jd R'cWRT-ԞMzBha2% -COMpa禷5:0.Ɲ^Z'Ǩ,t1PJ1Rrm)%*ci?V|qA Q?-\@c1^%hǁl;,EWkՐEyS("^BIh'Bw0 sJ@MoeXn͆t4[Th]\W_oI܀Cų@6j.BEC2I|B( ^JOUߘ- XchfL$ShbSOT 9$x5f>GaMGWi i=ͤiXvT%,ԭ3p55F-BpP^w:_V*v)OfO'(N!g %\q͸p&10#jT-YGg۰)\!Gʢە ?ֵ5)P֜wvd׋b cVl)WO-xTdz:ȮXAywyG&{QAn{ {[7&N;aTI%9Xb 'и[u=cCco} Qm>VMcv9NC ?E6eڄԪ (&M-pv=̫QV^vu?x՛_vזҩDJduBY($U$^a@)[ˈ2Dȉع$4$Uӱ߾ '萜@%g .aqC-%PVc fxN pRՍ뽺=$AG|+B3>fwhQu:zI=G7l󁂭;-zBz_e n_pX6⤫'O(*#Ab)e$DcĹ5fp4_nެ~Tixr |J>T]9VRqxq A-\20 @kLH vw[PwDQ-&f|rz/Uͬ%Rӛ <Q#DM[*Zlco3,U^04 yR PZ2rgusC#Cw䭎C9%䖾5` `%:NR $`MsVϑVc.Xdy8,Ob_d>/ )c vS!C(-?-ݸCt3MAkuiR9w ̊)>X8Yq")I0EQR'&)uD4*87zZ:VM"ZجcUb1b/6Mĺk8V. ɰ71"{z#.+U2൭1&w [iG ފ4:,phbA,.mWPckr50%LhT GTbS8:W˕s:UwϽ)8O !]Qq/@IO筀\rf:~hܺ{7dBQe:;z5:?%Y:i'r|]q9?(s`q?̨,jf~/:ǔS! O&D󻇹Eϐ>`hz>U1TP @pd>P1LH~χ${MVvm+^NQU(oG./$ fQ~y&sʘ&M,%@rJeaw}7Z՘'ژe"Zò%!76PQ[M _X E}K=]ᙾ[H܋`!:'GL2$lsm}ї~Eʸ;m[NfTtJ`Ha0drKOʅ4>x_ҔpDOY%;\ۃ"FE;u~~(4=o]]| G!>ޘåf:W2brOyKam^vM:I xoLʎ5dZP"Ѭn.=3ј4BgNaͦks?bbs1bLjC7D)(ti*q8) C@~fÜ[L5.k\[@jOdM/z_lWe*\#ª$Hd?Ս2UY[2V _wj;:hS䜋 *kSlݒmUEˈ2膉^Šc*uO( 5\ݕMvmd@Om` t33L;0j5ವ3R Ԕ3ȷM&a9(Z'):Ļb5k^/ܖ,|൞a5-Pg9ݒ% EᙦqPc1? b夿 ~vւP&[Qe ]I b3dCp|=3>w,oeUPerW9~^ؚeKjĈz-3tN:X2 ;:}Ñc[֣7|!xo=Z ]Vq~f`AHv=&N.un}2T?g%n :k['< MލK,f3T@E » p{F(ܝyPsȭ@@`?L((ָd!$^:qt#C+~%ᧈگdB!Uy`qYo0G{x[jG!xg3GBhvSe'.`Uz_F*X%zy j)\q]32 L[|k$6 '4\ڑ9)6k=K`;a2f6;wK%%fnr~] ;^U]Ճ :!x2ft9KA'q2^zj=R,f@|Rp^k6=#-HO'څqH{BjeW0Ln3UץSs9?h(IU"p Xeڤ&8^jtpK. w[ހf.mٳ_Ape)]rHM/K)FY#3";~_Z;g]}j}NF(ZUM0]h6hi\Lhw\9vY ?8v፽:tE3<%AK I1$'h|R7E޾q6׌f6|)OyJf_/pU:g?d2;Z?;0 dv?9Zx"SFӘ";7Ib4a԰H(Cg׌"#Ɏy5laM)*J pL\XRmIz]btT DLt(8!C_Io!P"VJ3p_@?0Se 1:ï@FI-9Xaふ4d%,\ꪄ]޳DlDܨҋ= cD ~͂:i-魿| q檆Xc QaHCQ8cY*.qB5?+2]6V]Vz1}A>૔J `2X?!k?{֐٠` <;V'>4rѵ"<UXg]%:V$\0]VBx$Z1bF-`-<2 'VҚq)tdfsCC@.v:PE)p yAM N OOJ鉚7?a&,Uݻq[4nɞz> :C士 ]8_r5K/u XpGxlbalm8*.9GdKU3 !!U\*VFv⌝2a!?GJXW>+¼RHCtIQ<9iNPl3Aې6bbmIBT9h$/Fy6P/Y> YXAtoraeևsv~L.YE=lL44cȠkr1HFEXWRa B>NhSM%{"&gMt+"P3n)?(AlL*o?y:ȴDN6>T4"K1Tѩ*IKEZ er/6J3r.V'O\M1+Ky~,X Q%%oX2"$ޙgRШ_0N,Q%i0ɋ9jO%'X@(jgUsT/76ٴww=Du@! HXk8VIBxUN(=}B x ߲8Am \<0^!xt(c(oێ>I3 f-o|!:a<%v2-F̾ө2Pq;v $^uO U ;STE+)"9Hdwyי:R۪/Iժ@aFnFP!u=ש#D{W32SFgU3ebjwۇ2KJ*m{BlW>o3NSEdCPMQO)ᇩE2/YzuGl@feinZv5t Imkҧ=6_x-]Rb-R&ss hĊk;yGߓf+E+BYZBHmX+denѣ(X bupYJG!uBp[`3܊W΅~Sbhfk2I>|7;q7u~~3IT#nM>ޣܯ}/NnTg;yB ,@-hLS,sUJ=,f-.YE=sy޳zI?'N$%.FfMdŐb K$UHeA\8 KL7 *& m"Z䛢7#hy.4`jUXep]+ 8KIƱ}#i*°lRU hڛ|$ʒh'n=g'NcK_tߺ9[m`٧M{իeC%bd||; -Ple>Xfu]3~UE.H)>9]5 @ |!Vwõ V`X Ȣ)C`tgIB@16!f 'FD>! 9,\9fA!xlΙ `&&}y*%W;-,*S4.!,B?IAsN#㸳(*sA.wNzKm-u_-fV 6 u BIĄ&nx؏|۫Rû><F&?aISzLȕXND B gSFڍ/ .vDYبܿ>~ո3כ~\<<p Abx,ç!a-ij9W3D=IlrzE$pǨ_Shqa󕬍qH;C]*u7be6ԟL=>0Z,4@2C7\1<)nd z-V͞w+i}O]) ڧ|8V=>pWxo~MW64 ]WeҚt7X yM`f$ws={Mȗ]΄׊WYÊ۾s+T;B+H˙ኢ5ѽ藬 $cŸD, JrJMwUҮ h~/qG>%;* hDڳKUK5ƯR+6;Ȇ]97;/0|"ָ,!motq?u6|N0|@DAy o kS*H|1*-$_-o{rA&'CW\Hab "CVYUprZr^bpM)W٤l tk 4LZ;JYk fʀ5웰& g1I6b4@;3&S~烼\T!fƍ! `c-Ug5&$P'Z GɤYͷ2 oo\Ixadl3'^?~zVBŸOH*'cwuψVxAz@RgUp"'jc*i] zǣsE o6y_-7K49ݩdN?L/\(*N֩1%h@#m+};ʤ!<ޡT2}\-c6w1/yۈޥ?HW:`:x9 nLORg%uYQdmFb\)e[ ] ]H $ w㍲#m[ QG*TٜgL4 { ~@t ĈάE|ڌTV G5 [v !Y+/[Q5yb/zA&@wltS"vnYO@URTĻ2`SArzEz$e8 :QFs`H}@TO^:)ݝx }ô ~[\m!l21d.0H Se;so9Q,d#\pE v%0cDEK9̊f{C;+`,x4ŚΛ\|?|i։p}N.`99gU>ny;ui4= Jn:9(~T!{;n2ZR r.t?~!Z4U|.$ӦbJ3fbTcY&u1 f{:GՙZ?xIpdVe2?" t1鵚yX|V|:Oz?wCYF$t'GD|##҆kό{+"r&WQNnS!,@͊UoauOȋ"xԫ 9ay2h! 4Fj-,pOZ3lwtPU6"A}P,'ݪٮ7Rmv 7bR8‰c9+>7gqsj4ǝe/jj &]srKr>1> * c4i,.>|CKbP!{-WV2It69QUt{7{z&UCRx8:BrBXm4l%{+Me6x0Xڡp!xB񉪈&wF1#\^DS,ٌ? Mx Ǖ蓋560NX.Fـ;XƑ[,"iy.N74{e0;Sx?ƫS%G;&( 4cya΅ǭ ?c _ bxm @p;MUu2Ț8|z}׃n?ΊD}Y;\{.XU5|U |h ajpXie{0W&T&Gґ5VR9"{i/',Sq;^r:j J<1;'q2Ӧ6Mǃu͙r7u 싔R< 1[LvTȡ!mfQN HPu OHcnl% Tߖ5#ƍBHoN41͘ v5`-DonZm i|L*(Y.\fG > z\],l *75wLSǼ"Yceh5ſxpm g3gԈFX ܗڭ@E:9}|ۉ.+Yntܙk$%l|yn(*7S`,)LHe xTlJW0 ;:O/G9cu*X?U[$ʅH# W25[^T ӿ->)w̕p|_JpS_TmO[\aX8nU^D`Ԃs@dԝFMrօ&sGV>HlCZMG1z$JjyAnAsYX:IABdɶM8]e!LD9 nVK+f`5í~IWb5ܒ0pNWXl1(nDP4G;CV̗ 䏖&UXD!h4o'v%dÄ6∈&ūefG~3Pq|܂߭ 8b RR$ jnч%z_F@( 2 Z3jx hm'#Mv{. ԃ1q[>/趂(yQV*QM|[KZRmyIsˎsh {I|CЋ) }DP@ʇN}1'q%-9..&?X̻W9hDdo76fp nJv+`.[;Lvp3ň{i';MфНm`3838#ךQ lA =Ss[ڻw$MNl^(B]GɅԩ ~C"S,lB'[F ޖ[ #΢dgF nDD?{It{2b_S^4Xs/0,).l>jf! k=''ΎixHm\\u_%EP"[ć~.#{MQK  qQg1H]]H&MW 9C|&w2KogF]]QIJiTZZA*m#G9PTzqRxn>S+cLP8IP!xN:uˍul6;:rd㬻8cZRt7zN71!\ xq&o/R Z'N7D2q@-jkSQ>3*" t (.sqϼ}/:Z(͵n)/$Ac<-~]rO9fTNBc>K RFUlT,lmK ˣ \彛9?S` 7Cq M{sesqTb;Ŋ 2JZJgvCu*-M8җ2@%}is$'@ :y]FK|4ukOyr_ɑ.d.A w㭬E*`R V(gYZ  | _ 1?3 =>c0!X^oNzHы=;P3m,4e!TiΫ/MV tnGrZh@k#7:V!-0@/nu;f)ZK_=Z &qWDb?~}9wfV_X*]`*wsGnyR|\u<(%$k3&b&]0H푲Ȏb b{(]gvi%p43yxa?5>^Q Y%# a0by4Mſ8&|cFS7k 3}+#&=T揶)5)v ;.Ӽg_[niDԴdoJp m32:7z!`di.KMzV/핍aI0@/:!@NyW)9 o}l R6 [XLP~V!Ϫ+Ěh,$YM5Em4.g`+$7yt(.%4-G'ʢ=Xͩ^SP*T'dxbdA|.{uVB瀥tGA)J ~&s}P=9D?xז7zugḄhB2D:g"eFb o+TIufG9T5zbW`/Qbi@e05)GD}E)+]Gz+1f :s/$'!Ϩ6!.3Sm2׳@=)y'wmzo-'IxݶVM="u 1=1 lHOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex7zXZִF! #S(]A-MՋhvG"uIBm5Effb^uO7[@=:Tꥸj ξP4?ggpc־,b<^apSN y6{0x-<;"S[g:Vdemt8ȞeOX0d8q6|H'@D_Fua74Y^*.U (Oɩ]% V"-/XF_VZtIR oȁV;w@V"< tnLH݊I 럽2Tɍ|NjD+z5UPItdz.Ѹ|S8x38l.>,.2[BiIaS.'@*JB.@C3H:"k^ѓ3VpIQ,YbZGL )uw9Ъ1&s!u낝̟W# 1+O*T/x{ cU(3׌yIg݁c%1Ԝl]S ".Fb:u+pm.@DcȇImb,(+ T&AjPƑ1c2GP2 dttC ^Rea8IP[}WІ00Piy3Z9SjvLȀ0Zb9Nm2,:W?EM73g)ʃEb 6Ȁ%X[ ?d>L8pKbR°3fVhݸ9۠Ͻ7nj؈-KVwƼڠ[za:VMaqΏ/lKw^y!_n >qmU0䴟q+b>](,ʩg g7KE~0Yf]Q`eĬk 紧! 0s|>.cᵓ1U!`cn#AQNDpxmKwCu+lw >t'>Q"cĝq)}4/KP#+JFpm@v4[1F^dIZ74  .T91ޢބض[9 3i(r9RfwrX(|P9cyJH?"6\mw=8p_ey"-4pC,u1Nrl.X{p{gPMkC$zGt.#0sX{aq#\xR]yi᫢tELZjh+G/dq!63BrlʹM{OYƲpfc6U#Yۦ3gqt6dVdh9rVNA ~GTeE#Ӕs5-j֋e~%L9`FU`50†K$7"SSY`4 l/K+#IƼ6cOC:X &ԟ)B nUhԏ\_U^z#_œe" Kn]ǧf ]flB}Mcm&􌟭vgzUUUs8OG@ k\mLrSSr5.O (*`\2n3dҾ|X!_@'nKd '~@5jRo "ПC&FPa\Kƍj;˒\{^YH;p&,]@Ұ}#yvuG+q0EMDr &*ᏈOhǟk .ݎ8aTO|9&[Ĺ䏦$ ןƠVzVa~1ΔxQMЯbp.ϿVlN$jgquh3 ɛj"yYDHhw{>`eAQY뽈Tv ȓgw.A0ī%5J}jdszk( r ?UQ``r WEE4ǡ)lgquٱ*5[r j zI3YrSg{E @;U7rE[Rn@̈́4e6 egXt[VRQv1{a9:ɖ!nTNyMh2) aM~($˄j?1w H X Pdzq##z^;U_+C,]#e* b#jÀcXuT.Q@={@KUZB"*΂=m]A@=n(ϫu OfTmbR=7[PU|NRz|?7-2m.&Tq<y&ȤR !տo({ݍhIjۃ--0d8Uh2{nM8J+xtwxgh# '׽pB?SlAQA*oC,^2ͧq@T)7ߟ+](bC@*8x"ȇͿC⦗A,OsIXnv,^d'Ra&lv ῄ-]#h`t+wv ԯҿʻux%91+t Xp׳D1rmҘLj JE1ow=UUTði,vL#}؂VOd\>`ԲXK; / F/3 0-Rnl;;emɩy]N pJ/II3vI+eb`ʈ42&@{?z5wxݡ^/FF7^"PbPUTs.f3nuhFln %8>4ʹΊDRù*[;{d::oFo&tvO ׭Acf^܋ r^D^{+1}Lh6&nfݩ15'(T≀CX2Q7(O4HW鵱l`QoH5oanU!PtJ [,+(L2RWIG &ĢK1lFVΞi]U]K%uL}{vciuJ !mza;|]=(c,aߣض|f7ZK"5;@SsQCQ(Ĭ yW1 k5l&+,&֫Uو<~w OpNSa<8bTEqk0>fB\<9\1R}zB+3Z5-0MvwM-g)@JX>HՁ5M xzՓ%}Ł42x{k Kl!;qզT~ZDmm;R~,` k眎]ptgގ=[hwE& W%#Oۨc 'prMXۘ5?%o>u& Oإ |1Gm5Dy 0r@1[srT}vXF!q\hУ2+i'U;dwPT7_ԖqH!P8DfY)0wf;(M% ~hT:d.B$:G݆Qf^ q^~RFĆ̝+]#=s-ҴL h^mwuDvW,NWS 5Y79VCQ˜6>=6$̈nO Eo$!KمDs3 .^ؑYs@sv4ݥm NI X9k+$bH(q̴5eDjŜ[ }A7I;zQG0xݎd>z}!j}+=ҩO kØEhB&deEMl;*85J@lɱɑf(@@SxZrpNxelεOtc5=:y†(\OVk-B3%h*jz*.4F ^PƸ]{݋+j ::wDʏQk+DDWG}gtʠ0_^WRi6_p7H^8v%UkӆT:.?&(ׂh6ԻWclMػъ&^|jxh@@48>Xh+'+իYWհ>2ہ+/DiKAim4[G0{"Cj7/r5$:gG< ?9v+_M-q\"jpzPR˃\eT|Dv Lޅ1v'(|ʛzy-/C݉%P ST^8Z9p})T'ԓ(>(̊(/˥S,"q}=}®T~Ia)_FϾ[~e$S '7gpS*ⳳO4mS1Bzt)e |8 9#P+3Ty>_#e7Ce Y [PDH -x);\e' ,>IO[d`&kSfqLzzm'{\Bc> `|զ D|9v@Gv2/@v rkVN7Z.y EO^)xNsqZg! gy/ͧv'fÂ_=:  L!k͂c?<Ͻ;<0mhKq_c)qSՋ[;J4QR=i~ j 舗k~yjndH^^&kL*g -t\"ײP# ՠϾ cp?~l|}d!2(/rr] qn7MUh-׈jס/vX)ZNGAĔr[5r78靶XzOeđ2ɮj'CPdq#| gbO  o dUv͙_0H#N'uQj^W+ŢÔPJY q8 d@'$ܵ_=WƜYW㚒ѭKˀ E4ThW/^LlMCiy pEW'A1nn=sZbVO []AsEъP2dVKZ8:]m,~Cx_Ev-_m6qx{)PӬ!t|61hI;\T^yE14NmC\ߊ&ՔN>D:y jV 7w mSMmf7~gY%I eS0AKM|Y hB8X;R` ,$ⴎ !Wg )}@i$l蠇R]I+q׽:usAp読\2X!cZvgߟht#Óky"rXj ÄA .)*r {%N%~b #^gqɶØh`I"\l4k"b7rx杙8&"n}Nw˽EQ-wW@lG :- ,} %2/`Wz#3H'f.|W{'tAS’5 o@(3[j"/1ո )o'Ey#%R'L&a=[Z] @׋2h`16t97 Lm4<[cYB XTyP?]S{)B3LP kAiMKwvnɊ n=npq ʌRliQm BANLl{6sF9i#yRBI:WeM! c7^$133Z'BoUiKOO,z=.Tld8pKC(g6F2rnM͋==F+>zmg4NF',fL- `"˽sq_oUb󇙉Ɔ6|$T1xU͛N(zɞ9TQ*ʻ9^ZBzYw T@j|o`^rc#иDiˈ9L׋ <ꏐ$1T<)d@sRi4< M/~LPjZc!iHE\~PՔ ﳟuOVi!CF GX'!/̹lu,cF.6_qLaΖ:[\ӗ-ɠTʉata PA+XyaۦW!?`Qrnt":QY4Wda9GV9ůIk+5!0N 1v0&pX&i.7 Ӓ G1Ϸ^W$H-Edk*|T(xdLh^j>!:wv\3&*-'k: sTWMS<:K,O;RwlNx}@HNd+Zr-P|>%3sr W39jt+j!ŐdSg 4b]Uhvz;~)/A~Ē*3W5 E\(n9`r [/HW] AC܄=8q-WU s4,$G8l~y;2*/Q$ivd5sI!hslys` lzME*uT ԰yTYjhɓL }=o3 'IF x5@;l~wOa26S:f^p߃O;Q ͼi׍w\6|a[eZR=/1mem?.^>N-~o1zyxjdޫUFv;TF%Q'4trf_ Dh(^'("xI#$rGIAv^- K1 oo [khQ!Jv-@ H%y>Eodܴ^rL oج"y1m'c|Kh?Ĺzyѕ/ԫP?[ Vĩ0q%RB\ۙ}8JAk`EhNFG}2?1wc+½VƟȈSnjK4ǗvLNdgʞO 8Ob a4AEi6b9!dIt"l#r,B0k 1: b O*[,4Le~x+pZkǯ/Qయ'ݽ$ר5p:p8(*"1O嬾̏*L8lFu  hYur qw`kWLkóZ\95}Ij$*x1e1$ClpDž/5e m{pZd&&|x$|@,>ű1pg"+8Bg_q2eHɑ~א_0X9U  9\1OE$(mEF2^Q8$6X9¤%84J_e'nfBoͳ|Ϝ:cd|+'_`IԼRAm.J5ot])rV8`wXuJ0:B[B!um r$hKTbŇJ=艫/$juwUҙfVk4c6#yەvhC@bW۩5jxH:lXB)h_n딆fPD[׽Sgs,E8 IX?]gz"%_iO0*,̜S78UQw2MJO|L5ė5d]P fZp/C4c}DHR']utZUEb bhg<9ʫIKj&ZuO| @uZusvK1!ۦ2Y(Yk]Qp1^Jwٍ:Xtd,ûWol6.hnc7bx-w<Ժb;ʑ$"X}P²\hx(/YȘ5!jVA!޷ăA |r #ȘnFy̐=h)755'hG.ȭ͡%W g'FKN&ngr]=e-BAzw@Tcؚ,3 S [q%[W(.B-l\Fӿh<EVؑ(,K2oiAzx7vvBKbFpLN k?=~ܿ!OP7\ZwzlKhe9Hf|㵲3T?.J nQuf~9 eCxǤb8 V # FuDY 5X-HA\[](LOK|UE˝-@3[`מ.WIcRTlBQmʹ뀁%Q D{A6:RVu;F8#è6,rQ6zṃ]&lȝP?~1uJ-j=P\WN ֮9Է3X8iUtWS`RNwB1L؛JZ\ kq灝*Vۜw=tՓUeBJaD0quv Og@xM ?] dA]jYm ww_ ҿDoHjG!`$2]\8_3øTA8 ;c,+ʦQ' sug{y%g'_JLqTZ_!$r&rv\@`UfPnbv&;yJ%tX53^8"/镈%%I/F|sX=C wTVw`Uu6'u(_ՠƜ;?IO0ZVHZEcS6 GZWţzXG";Z(쯱u&=7C|p(^C@W- gk 2MAK OXcW\%Ӹ %s&I3, KN~ÑЉteIvj!1:Vsrtf gUQNh2H:Y˖ǡi97YйB7pmQ(i]ﱋO :\\s7A9Ueϡ/eQרԪP}l?xmW=/o{-I8?E /LC-ݖ+#e_rNVW%%?ÒVJy@c, &>kV\i3TM"K5o|[av kJ̅aml8 =V㔤qHGm4ےCllJ/&dr1cT~}R<;/|4M5An=hm'N+48k_Ӭ{aKL3't: NѨ|•`烼RpJ0L 3g]p aӂB6@ӻM@SywT,<+dz ?2lSvѵK~&2(*'>laTg-|3Gt\g̬=!ȕY "#X}{ڵGoD}mkOc^.mXhd/tSMP]k|nyKk\Bz%T2B2nRCID36ySQBxLTWMjI^6<2!O33!&RAl*Dч\bـ?+\izgЮv[X7^B )\/yVBi}/Z_< .K6 I/յdn eްtTpfd@Rp4ɯ`2E\} ]M[O|a+)E`xI]9&r2&cVv05@[z^zDQfRVr}LBdQ?r6Q"׿>|\p 76ϬN/jEQRf4X 8)T cm1 UjWQez&1VNiN*t53pp7 `8O!$zdL?4ocab\yqGOIjXV`X+5.~|(.J)Qĵ:,eOEJV+a.Bw N8ݠѠ =3>I ,1a th`\Hjq9/ta~.5}dpQâ8C WKl\(P[iuE.%j^lޫӟ  cr~V8/Wޟ2 --8(XעrwNJxJbnf5& J b/يyj8p% 6 [DNj8oZB\kB9/<bM";nd>$ u j? ̢rKI1_*+`)CU,0^qXiԱgYZ&)y_*;HB7Mܽ4N{ZS1(3~3ig K.M rR Gj[n;yʟ/dE vQ8-3eF} ፓ=j-j6*6މr-_G26w{oCq&yԁ7R|{8CYSUE4@oj}W\0J~_<P ?h2 $g?^>y}bL M+9 , _𻠓sH^b/ 1 }Bg;"O|U)l3J\⟯ .aB3\)v(OMc=, {wDA@_ EH6hV \MM8fÅE,I:V҃2MAU$ކ(XNAЦP3WFc=SUwNcg,NDX ٭ɪʄpG& T>..iYQ6 5Ѽw˕n̐K`id[uu!'z .:*hWsDIt aj :diYh47}t[ $} .O@9i %5 4]ڨ(6MÎM”mA^$S9Ú*!3]!mbi߻F65>|mYxXk7[-At#Ss\ {SO"Ta. vaOpn†hVY!=ɝjfmwڐ[J.T@yt()jZJQsw6k 4rݿ=J z5D4e=yZCUSQO zJ 4R 8}r=ХsuCC KXdjب.m |=('u5K>7I]'-_#M} Yj1ʂkr+n_%*}MSWbak_jϲrۅ7h{R[AYiZu}|&'夏HrJJݥfPi+Ur+iG2i weǤX5B9sKu㦦$,/ܣWVˢ٭Rj<їmCt+ i9Y|pBe/H\Bȋm~"Hȓ%'4 4\,%`7(c&¥11]ƂO<=Nl۷UjL[5)%:3a'RsIx&7ڿ<8D ;*xwMdtJՃ5Z g_e R?RrB^hZ.`9cә]3ta|roP֗iLi8]@p7NodPٔLkp]O\i[=̙G_!ȓ"޲=ۻ!Mqg@=vI }A.nsQG轚<_wK?\^#IGTxbTڜur=4N $ѭMzXlDc<]ր8ࡶkO *f89䠜~ B~b֙!7rRB_?7Ž%ΕC(k)ph2N?@$%X^_e !{յΊE!l^(_x׉L~`ZfQ$4W \ YS};o=EQcMFnçOkg7/0~ 7>Ui4dMvK,Zf`yRffV+q.Pސ6poE)q^8kq+?* 4Ӳ!0܆k AKu,+b)p0R&Qjhs*鰬2I_$E`k=k׺_Q]Vm8b>e{ah @kOpH} wL֜dcLzyD{9~[ u;_뵫=;ЙӸoV+|-I6R88U-dd s*4QBȂuFwKCɷŧool,rp[>n! 7Ä- Wos%|=яܐB5퇱-hC׶}:챨A@+kMUz3Yz"m͸U6RyB ؓ311(Iv̈Ev ʳjdVl܈F21X]]±{Vd~.b1+]صm={y}pyTX$6NXI@[f]\ʫ1ؔ7T@B˵R)Myf4=c-AJZQ5aZ656'{$wkxw8 pI*uB\aF[X)v/)0aAc9f[yEn[unNes&d@&k?~ 9"L.r#g,0߂NZv̍Ex(ˊ{{r xjx>/2k VL &6%aHldh}d2Uh]YEx,ɐpTp6dUIg xެ |-1A`IB c.^4`܄4 hX6QJ1\hi"[6C0!3R5l,'c1 aI9Ą 6]D?9ǎBK]r)ɯ0GЅxhI/z]uS܎O1lw gN1E<(ji+@2@<7ýh4B_VTVу [R0Pf$({tuy5+ǚs0GcDM(.SOțK$gA,43?v1p?IeyYlQ,:ڳVoB9-cZM0g_.52X'Yջ Zוېyl6怠(J_Vtff.̡2.@y )a!otQ{!9(Πk9Ba-uË{%. ] |dbg4|q7ÿP*Iک87*<+1,J r ש{pkJh\ӢnjM(Mp2ۍ6ݷΥ]/x Ƙݑ`T|+ăqݨ7]X`//[$P@ 0cE[k]slⷸx][գ.?.,EV*55*%?vW}>aMYu&teeֻSSr=]m<Ӊ!ohћWC]+40){ebIdiro.ɫOvz{ǹl%MjOh-7ƺ׈'\W+AaQ#5$څ$ vLB9$^*Q-#=<amYf87Ad1AKb /}F ^D㶸1OA=؊|B9e#-7&km"Lc 7[K0ԁVŞ%sQF_%0˰}- >={*xr.!c>*dPj3,,F:c.@%(5*]bז[6;*:#~vwϝ 3=}Ŏ'v5Cw~raKsJ]daA+sapR@*gj_v*a=ly$& Q;Z)[JU,;*r5e0k4DggPP0K+HYoi3)tw@Ҟ9o|n#sZ:$Ѽ,2z)y+EJgA "pMh(컪1Ŋ$N=QS1IU)h>8GM{=r/2=pﻚ+jо]n1n#tcv71<,XT]܈*GrLXLumJWvI 22ZQdw Nt /R`R!GZA X4lQW~P6hղ b-;Œ}e 4py{B ~g8_Ez$J`d\9BzFYE=J"iJ4x <)>_S28D1;w?)̵(M1Bl͍DǬ$H~b0&W|J5%/nb+6%sbw+}z HawRrt+`2gXLcE W Fb{'%9F2~ 4[GcHp˗+bޠ4һA~:^%<Ԉ.@9!o.{?4V :U]X$HO`R{b~3@UtzEfFĚ'լS].wI=g<;D2L.;aœ&I{)z@ͮcJw+y)V/ޥp'2n *0mM$E{K?n̨'sF(=y zu&?C|&5+ }a$ :I'e ꌘVY2[ګ9QsOl"BGW\5 "V6!e^NS^l#J3EQk+09]7X xwgUߐѬԞhm&9I6? {/r:70>bO[+%H`%`_y9^Y U.T]PlTl*f2g-Q!_1ihCע߶F MjaזQZ{/=Q9daRC˙pE=dpd_."û#.1pF=4KSЛPC`A@;@& ē40;3?#_(cweu >USntAA{;Zጀ@w7W&$}3C Ȗ&2'4og`Ȇr袬 p!]8d g3CEO7:$Ps2$FwYҲ+N]hV[*9=7)D:dl_cMC/⃁qە *(ϏEj k) ѳE^4 )▎.Hkݭ jIbE& D;}J7>p>VJEn7$me5(5]c}c pBDXQ9!oȐ0ͭ#[ 9+9`VK=1|J*X?xjULfNn`6}u%2xk=aNf/^oq mf_fCR~+;5ޏ\mwc9Wh%QaWC$pvj=/f!,)5F"41z|Ŧlܐ.˸O jI1@!1)h@r8@Xb]HhrܳzWſfȠ:њ$SU6ky8˔sHQ!t1#5X%Fn[gapRM@0 r Ǵ ' V uf! x@F'+!C^"(Q/>+E̽d! kٰI7 Z Nwg,ֻ{" B?lp;OR=:FDE\P'/k]H'рg*R< > SZtI2#ukŃm/۞"2^ o(A&svaugјlILք!8!qh$v$c!+ ݒ7!^N,l*g9JlyYnkePDz75f)M~c'+[TdDCtyAe]ے/X-*& N Ķq9%#Jr)I5%:͟AD+!>W)ĢԏW݌քM`FݐS?cV^mD Ebe++ 1 vjVDLz!LHERhv bՔy&s吽0BB" y8sׄGRE/t Y-Q͏e>rDޘ2mf*j|iv[=?Ň9}`1 bNqF?xH~=E'|,z戎oH%Bʼn^l[ cm6 ,vFUHT+`HNu/ LVj]QZ VHT.9llU!>VT,<& Ddq'C]L4r\7 rEAҋB%ATdkm :$2؀Z$m "zqu1~G8&6q hFeN+j7XOZ#p-\NĻqj>g<vȕ/dOY1$a}3rfH׽? .9GZWǀsQsc5y\֢f9PfHXaY,o=Y|A "F|R:DZCN^q>[t;4[lrw pTO#!)αuCrr$_NA*,טE39fVîi4*SKh‘ޅ~߆l -VCE9iॆfu,=M47B5Y)_oY#Zu່"Ǻt|tE9<7Pw)lsػ]C^ ._*mo­^0]23LZ'{kCCTj9/ LnۚYZ7*XZRĢ?4~l;Uo]ʒTzv*JKl:!MY@pF=? NRKC'Sg|_kE2FGijƱzAJ^G.Vt+BuVcQ|*^DkƢB$Bm4 1ġO^/Hj(~+eB*9(+E.(//^& 7[GM֍hQ-.]{,ͭ\`[=Ϥ_И ]j7;8q T{3M E˥'.rD/R,98~?X/;Y0oYI@t~:4mR9qd 5ɛb` )D;Fp+7jfl;? p:vjK2T $(;N^MM @}ջ,8ƣjkRx0*c) ҽǍ &E?o(bg1'n:ҦNF 0CW+ ǭ9qala!߅ի ?W;YFկD/tw@3G@s <0!q(CK\gMрq?!L) Q*d$_o&EC|0l1o>VMfU[(i|Whڼwa{&5CYxx:Vx!>[$[ü?Ԁn(˓,^tzFlorz }FLNRI?P;> AO%Js@2Y\<_quCM|AJ&.'R(϶IOJ֪6;"\Ĭ\P3l_?ީl(+?nX-qqdb?!I2"Zspe>G_6 B?)@ս.=r|&O+";U:xS^rVbMUmyJ.h)RC"0qB:647LNdwګ*_dY4M]lbnxܽ@a"ej]HZr`U+@b]#>cV0P#qqT6`*~|΢S!ߕ=\ա)@$̀MrTM[81&'׿t"imYB/4\4~i9Ik$E[8%,/M,ȎB3hlj\mCTVeRl _2:QJog^|]e5rj8?W#K^|,WoN*L)eSiNqQ&Tǀ0pc ێiV|<_p 2<190q#M#zG%]@5H+Z-e<ҋHVVY:Bn.5!C޻q}D؎ce{Y|y/bv{S|%٣0+ٵ"P( Mbh=g<EDRhXz[Mi(0&_*V:Zu}zE 9 s&rB^\sBk^L{ml=uaXYO[ vఔ›st (CXyԩR2$7r,B& lpp(h:^ω̦U g|)c ,g"ґXKb x'g Q3Q~:_e؏7Xg邰ݕa_I8p>$Z<h'͚!x\kY77Iݦ#J[ c%BBY2L- S hy/϶1#UR8b4sv5&g] P3' ?S"I2#r)qBPTI4!/~VK6Col1ğ 1Rw y#376s};j FcK@K^Tk+$GAY pA\u^;6IUJ;: A'7L986\f=Hh3vK?4S=IrGaYhSs[#%Dђԛ*+x ĬK iƎ- ˄>iv}o@BsVuWadٕ7I?5_~+^<6GDH2.4)ǁ4dDL0#fg7LeMna +t 4[zɛ.뷷뷪_ .o UNL.oٽ$)RED KRyF ˹Q?N8X^PnuXf}\-<Y@Xػ[I鮼$h2>Hڎa&2ʛ|2Dn%qC W}|mCew̒J‡ba{D`T7TxOuRkkܦT 5rJ$%G_`OօYبDh-pM7}=@|Zai"ɥ?8N= {ەod(AޖgN6pwnUy{?iǎ -# l8))r!5 1㷩xMB=k̥-ScX{oc5<\y⯙ʮm\CqaC"L*إ%O[v+]YZn T#J$R92O!=vm tލN, ɥ`Jx%?PϤW`?D`D$Y9T¯LsqcUʛN ܀)2zϫEM|VisG-$ɽꨚ֠!A%[\VZӀc}JRV| jy,(u"M$<b ߠHӒ5[5wR1sl(Oh,O4gqb! :b6)>2/KL}}B#_', N M 5Ũ%F3!O/&| N'd)DP+SYpbW 87~o,Mt^i(qD74G2*a+v\[w珕aXӫ`1 H F:D/6qG$!-L_(uK<n[h/[hB{ܰ~%tjO γYrh&/[lLs.ws#t6q?.N~r7{BBxt* Tbea(^ tg[ e3k q [e)ОSLsإ DI[9Ykl_'A\ЏiI>nVcX3;!3^k({f?A 鉹֤od'Bɹe^?n Sbf/eX-DPd۠߅r ]S+}IRك2J۫g\Uߗ 5Ak$Q̘M=lrޥo >uMa|@qE_99dR"D!6D{Nhsno ;2 S^l곿c35D&ҋuwTʇ%FPOC{د+VL"|.C䇄ݯUm9kE[d?Iv\:tǥG`6!I5U椅̺"Ƚ~kۑ$:7j<49ri!gF]w/B2RZ[#m,v`%,%ryNi4n0}P9En1v\+OʁK%Lt)<ʸ|8egYZ7zXZִF! ']ŗXiɟ1$Cܨ }X 6P]!ẞ \QMw yJU3`O)ؐ#0.Er&ֺ$5ǿ & [./xm tͱj/.G?;6#zw6R)'kEڦfYHEr^r~ 4zpQKqKF:)tgaMWlC3/֞ޗ0y\#6&\Nuʭ@2aVցN?/u[ }T4#$W[]Jmo*2.H#HI+ecKgYZ7zXZִF! `h ]ŗXi%LārjJJI> e>˺n}'=t|_Y<4 w ˘U;-]i6\tH|C1 ?/]]8.U"Q R6pcfmyp] d}HCN[T$2ߟPO+rwd}M-QM!էjZO :>>orZ0%Ew<>rZAWFYLm׻I>٥eطYU>T|*2d}E[{ON`nJP5FjwlqlYx NOqlX# X#7FXaK\,W%=6& wKԙiGUcNQ0 f5@6r/wDL,G&!=WDgB焵,nwjc#U2 V˚oOD&Hѭ̕s.2]hדS%-y柋^9 ni[ZnRٱ(ҙ$nQ8i#^hHV?f.c{t0 Qm3ت ٧hc>B# Ҝ$1qi Pz]Z̮9b0~WG~d'V7nAgsы :q>JC-t6MFP-)G-͝Bw@{/‡F-ٷo]χ+#gRxBG Q?fNτ@?P^'=ۘHEx:k%ˆŝ AYYmdL;Y!^/j( =ߒq :i!Y(߈/]QG֖J*by' qWlS* TG[l-')-[HA}z ƠC(LqASNb90SO&)خk7ПǀDd"_Ki/` 8rзOŲ#Oh=ЉD?> {b&h|~I"BUl"q}2O z9)"k|.=`VI0df?D*R|Bdlk{ayRCiv@hΡ08zt]]Pby{QbB -Yy0[W8PY)A{wd1z1Q8Z EH,WTM w;_oϐ*(S|"5+raf&fN[gYZ89a27c7c3161e60364ed2078aa9e0d2d6f8c3f1109b31288d2a9ccacb2f6f283c9625a7fdbd68e8f 1ec97cb3aeae702d70f02f0eecc00288d6bcb40b d7fd1b67bf01853fe729dba76ca9e46b08487358