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  u u1t,d$ ] HOL-Metis_Examples:threads=6elapsed=17.243cpu=68.320gc=8.2087zXZִF! _cM]ŗXiɟ{аf ^w{аe r͐z$y2a^f $yzu,,OX3e.Ub~SJ kHj:qܔQїez^`Vs 4Pˆ~IJ'eJV1f,bfp|aG+v'Q b]iwb v6xNQ "cB6?eMM'[e:IlGHc-Èf6J@9)džd/T 6nҚ|n*) J(]\myiHhe|E_:AH].9/E%D*2{d-JknMSo{)ٻ&dBS Qf sOh, \i[& +WSc]=0Eh,nϟNGv}:mD)z$8Xj ) 1 HOL-Metis_Examples(W1;1 4HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.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+qa ۽zZ0Ԫ`o@8p()1Wn*Ss1n(X >G, IrDoj2kpyGK݄w4[[$ID(+}~ik[/z>ζU܅279ۼ.bGTYlFB^b<Fl5݄{^CS*C|SOMV}Ǐ5DyO?Q&fy}~bhDÈr9$)QXr /,ƏXUQ vl 5~b[Uo*?HR[!ŁōA9|MۘN콖BK; V炧3I/9ՠp:؎jr] ;TY^fkB2ai܈Ƅ<(6Q9foرo=@dV(OƩXu?ֻ; 21v\.Az.!S+p4ˋ>}@/AA ;D;ܤ:Ekxj( u; ֱGM&\<YYvȑ!֔!29-פ$u+H>뎳JJ؇GG@P j[0"ZfW4fѷ݃741g?Qx{E;`.iLu_ڭA(/I [?5жr93(_xgizwJ2{1 ntqҗRK7G#7LxkсgC&5[ PW*KDuٮ{djKw9GHD@ ݘ< *mnK]ԕMT5 (/KM3gpy11+݅6h(QG7A3r&i5yrNr2>#UIow[} 5n,%@:4^=~O7є9tEw(S|macX[|g="g?J%[!dP $[O.>|O=b#$&odXw#1cOmZMl31pZp 7"S1;.uT]ꈋ%P5y} ^b]I.{{ {Nok5(&;U\ާ/+*!A[o,h-m܍ .2t7mdۛ'Mh֨rZ?WU )8K~1XH0`9)-*5NqF 7LJI?HzCNE 9)c)a t[%dVC2@ lѪ$u*G :m<.?Ǘdg,qRXW:L9[| w{ Eѐ'eDM䞇u ~1曲X?$}C/M]X3a#i%ʲ(*HZGd+F(CCHt] m{U}= Tb5-/F*'Ǎ4F_̂T̪pI9R*L/j|?b+' ?80 ^Nğp14Ru\Di0J :=|gۜrDs5tK7+tHLU֑b_Oi<~zQleb/C$Gɏa,8+r9 rER.\M+@T#QII >yR5%7=FJ Ig4?75n:4Ԕ*)6ԃjy]ōk2_hqj%]8Yw0~Q\dy5/U @&hUÍAАAQOg?i>y9zRJ9)'g"B./vz^"z0 en)%`31߄g^T)/)/!         X z X A3 7Z ~ (  w 8 \1WKHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.texD1?3HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.texF1A5HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.texN1I=HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.texT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.texR1MAHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.texU1OEHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.htmlS1MCHOL-Metis_ExamplesHOL-Metis_Examples.Trans_Closuredocument/Trans_Closure.htmlT1OCHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.texB1=1HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.tex ]1WMHOL-Metis_ExamplesHOL-Decision_Procs.Dense_Linear_Orderdocument/Dense_Linear_Order.html O1I?HOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.html U1OEHOL-Metis_ExamplesHOL-Metis_Examples.Clausificationdocument/Clausification.html N1I=HOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.tex E1?5HOL-Metis_ExamplesHOL-Metis_Examples.Tarskidocument/Tarski.htmlF1A5HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.texO1I?HOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.htmlG1A7HOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.html@1;/HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.texC1=3HOL-Metis_ExamplesHOL-Metis_Examples.Big_Odocument/Big_O.htmlG1A7HOL-Metis_ExamplesHOL-Metis_Examples.Proxiesdocument/Proxies.html@1;1 HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.html W1;1 4HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.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+qa ۽zZ0Ԫ`o@8p()1Wn*Ss1n(X >G, IrDoj2kpyGK݄w4[[$ID(+}~ik[/z>ζU܅279ۼ.bGTYlFB^b<Fl5݄{^CS*C|SOMV}Ǐ5DyO?Q&fy}~bhDÈr9$)QXr /,ƏXUQ vl 5~b[Uo*?HR[!ŁōA9|MۘN콖BK; V炧3I/9ՠp:؎jr] ;TY^fkB2ai܈Ƅ<(6Q9foرo=@dV(OƩXu?ֻ; 21v\.Az.!S+p4ˋ>}@/AA ;D;ܤ:Ekxj( u; ֱGM&\<YYvȑ!֔!29-פ$u+H>뎳JJ؇GG@P j[0"ZfW4fѷ݃741g?Qx{E;`.iLu_ڭA(/I [?5жr93(_xgizwJ2{1 ntqҗRK7G#7LxkсgC&5[ PW*KDuٮ{djKw9GHD@ ݘ< *mnK]ԕMT5 (/KM3gpy11+݅6h(QG7A3r&i5yrNr2>#UIow[} 5n,%@:4^=~O7є9tEw(S|macX[|g="g?J%[!dP $[O.>|O=b#$&odXw#1cOmZMl31pZp 7"S1;.uT]ꈋ%P5y} ^b]I.{{ {Nok5(&;U\ާ/+*!A[o,h-m܍ .2t7mdۛ'Mh֨rZ?WU )8K~1XH0`9)-*5NqF 7LJI?HzCNE 9)c)a t[%dVC2@ lѪ$u*G :m<.?Ǘdg,qRXW:L9[| w{ Eѐ'eDM䞇u ~1曲X?$}C/M]X3a#i%ʲ(*HZGd+F(CCHt] m{U}= Tb5-/F*'Ǎ4F_̂T̪pI9R*L/j|?b+' ?80 ^Nğp14Ru\Di0J :=|gۜrDs5tK7+tHLU֑b_Oi<~zQleb/C$Gɏa,8+r9 rER.\M+@T#QII >yR5%7=FJ Ig4?75n:4Ԕ*)6ԃjy]ōk2_hqj%]8Yw0~Q\dy5/U @&hUÍAАAQOg?i>y9zRJ9)'g"B./vz^"z0 en)%`31߄g^T)/)/| R5Z I /(P8kU^Ja H S OfR± gYZ ((1=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.}K(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/;O s$zƣ7t L[OlҾIRl zm& gDhsk/Zb&+riKtF>&Fs([ִ'ͭZ'Ǝcu!A>`cT_N+6"9GX5;JUĕ/ iFZ ؜Rq)]PkӍ^D&owhrԀؤu|i5YѦ`1uP|)n,y=I1+Ǣ,4fvRm{nЕN~v7W5)J+ XגdWg JntJdsS;mvxx/jAh9^p+!v.KD<BO u):0<lp@=W<}-Kݳ$ (3Q <RA7cW GnF#3"]ut_,L v24?w/ Lp8$<>C;w.Os"*XY͙JC΁֨AW]ܺ2CC0LstUɖ%Tc}Msvnk$˛ K "?V" 6T)n̠$yϔ3ICPܞ ڴ%#ZY&&hfcWWWzGr0PxgR{NkS 72hZc UN7B"WwE"Ҳ߳E`=o#D%# CYDG=x~؇\EȻobsWy<E4=>qurzBk롩cE,omȆqr)dRӿho/?*'L[!=PbYש!L8r\>zHJ=jӍ2d:~D7I.-3\eo+7IH*#w`Œ(>S ;>f9adC;qϲl\>·?E nH4*O9ďb7v!z= |GВ4nW;s~|Qiu(:X?dAgf {~ܮplA7Gq~DSTsi"5qJ+’} p,aR_5xM$ vbeG~l~7@u&nzTɧM3UԢDI`Ѧ RDnC#ѓ8%|2Ă 6= $ӮXTR8`6փZ/b|.'%R^7g H֨־/PSTi{x@,ܐ;ҽX|URԷZQ2%j~&K' bE m!%OR̝݁/${Tqm Y6{>a|~UL-4R3=h偵2*d&{=>wM Y8zG1?[ 1 :Y::·b%}s]kJ[f9.+lytrUJan6: ~4;s蔙6(i `[d!(`H Sˬ,zće$o$|fфmICu_@b'}C,UhiPhYGXj'+ 6BD33N挏9I^[-BX+y'*^:n РEW̠]0$C5Z:!߿r'5JoTn(Dl&+U>˒tL'( W DMPT3gwsO$e"C:oe::V%h% XÁyG {aV!hHHZ(:Z> & <ڔe>;$ޫ|*p'ᠿW dڡQR=4.|U7_D7oK!@yZަ_#@r G0h|\Ρ. Pai?+9ڟp}-`e3 xuR& Ҷ [sp /m2e8 ).pIˁlZe;BlB`(L->-CqX.ڎr[ȁH  ~qJdIUفF+F X4n  voݝ{YNjӫFDFR1B}#k[0r|(~jBr԰#=#clRC_'ƕZ@'aMviQ=9.w 1fe]Q|GwԂg\<%B5#J5[-b\YGuF/>h˙‰D_h .VڃIS.m0տշoD3Փ ̀c>*[.<*#Ѽ{u0`/cS]1 >pLbtc^Ty&g=֤a>QsLXD@Oi<(saDo+_`ү9hB.ࢶ =~R8lJͅ0v'’H؁S?KNޮ$J$0ŎLA͠aZ4I*<$p{nXyD"lt =g+$S}P@CZ"Rho?ICka"xFuGa>ٚh0C\A8ôYMI3kY$ SFq}f2-'>qMiA̦YjMRalNr@ecmHPȴ%,zeRMzk'KP7О5ߜpFQ.)}L ע ҏ^_u-"`itZbL&3y OL̙cRFxaflP=m09@Ϟ2Mܠ"_3C݆-RM8mb&yxR-T "IH̽M8 g͓a$yܹRMPYmV˝L釨b[Sre*t;hIKv#~F.mvO-s+ E'Io;@HC ua3"LߠP:fWv ^ v産4ʦK֗KEڟR<㳻MW2^$>fLm::`Gkʮk2zaE aE``I=Ziu& #॒C kמjgU!n "o|'BKT=ȧv75M%-lF;r R~1ݐ@|uM3!)E\"3jsјD/dJA\^{1o%/㆟<U w{ڬs邔4쯴1ૂXsg㐚|aѭ*i2)6DRc#s(?w w%s޻8(h 1"m4j1ņb)hc04s :WmP;kxqI}iQ iNjZ°jZU6U > b<@NgcC,yGͶ\1c) s3Q sd BxZb(|V j^vϺEE^tlrfnvA|A { }y1g$Y-b|anMbvaPfdÆ!AvaY?εeIh'cV^ܓN_ w*Vn>񎿁\xT:OV-HNE@w;lT (n0=m/[3wETu,6XL)ˌC۫6C싙OV)!;b4b11]B=;E 6aMޞP[y#RfsWܡiClNE_(f+d/Lz.Rq7kRV2) m)X 9r[h\*M͈]쟁9Rqb)F jH}Qxz%8[=pFY=[Ģ et),{^.3VVY_ҺJd-?H 臈0i ^8Ua\CUQj6 >#hEtK龫톹 ;%r&LһW36V0LNWԋIz'8jaP*&wLb/~50.abK|Gs gUKS"%,scSeΓ7yi=Fl1p|ؠO(G]?VBrXtÍ8@G?ʹDWy!멍LaMO\Ќ}B* hv!$Bl7ಲգuUN#*R4, h&#U\}$zR*U ,!@ #mڡSxo.PbO5'Ij[ѧA5ym#iUf?A59HBtX6#[:6B䗗UtfaY`O1 Op\c@EIbkJN춰^'KB+\lD!B[@v}H}L0s[B=*ڦ8&V,uΡ_MK WQ%;b:8!/K7Ls.Lmc7DI3|F-nTߢ"Wxa9 t>V{̘X-œwzq$LlUv/bA ZڥiQCj`kXjx4" ak~)N6X%`6ssZ_;DG3_taR%_&w#Wx'?rVG#T٤:RYq7친0kXT={]?(8ܺny:˅LVCJAf;x;V}b)BC-$szW4Ͻ z>#c<]9KnɨiC 7{ciFH:,p5"RBH \q-t٠Kuf 5&zxL B^[.hny&)/5I::[SyJCŮ 'nʑQ{ƚ|Rk+e?AU çZf-Tuz,s!?:=9Z065S4L./ĻĠ- oqm&?ׂi[S1o~,Lf)'R(ȩ8m(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* 1;/ $HOL-Metis_ExamplesHOL-Metis_Examples.Setsdocument/Sets.tex7zXZִF! /{ ]A-MՋhvG"uIBm5vyr34eD0ϸ@I. 9i{va̕ݻҐ_w[X.OXX/Oz3R Y[oFxņ?+,WĬkzё"bd:;N"Mr0 ]+2F1!XTs]W`:p지ˍqy u&}zM6?GEGaLф_k JMnixq8Fn<ꐹǵKMSg갥= :ԭ- 7?H/UH/zvDk_U`'ĤA"H9.gjajz:CYqP`[Wv$RuvT41j:pX(HCl&A85; `-aQ(= ggڤ"L/:v%Gt0p<0W3c3׿b9Df-ӕj g2R]MLHogb][a}ڿ7Q.|ꋮ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 ĩ/VC i7Bׇ)D\3:Z奎InN.*ˊr0!h;Ӫڎ`?G*ƩE^T6Qf'}*=Q"J@u]5~XLܽ`|zC% ,H00Kz '+ JKX-]:8@=>=kV@ 1|b%.K0v::/{Wdp-v N-o؜B7}/90}=f~H_Ъ~X+G %grOɡxŠ}F*k",T;u!>(wl>{˩+rp#]~wB V*0K"140 .~V_at~4.gGH*KUsg6kz-bk 4[YHH;@ikhqr0,&Qv,))Ym"+q0^FΪq%$ p–;<,Dsb/\ue `rEwebض]Wm]l~kőHJ=0Ze3}%M75#t.p0",Tvso$"BWi,M§P}nVV+rr1{Y@F< U6Ez@Ps;# y| dR,e)8BdVoN~ͯ}| HY~H]@U]w< Bc[{T\Bw*e\'3(x+ܻ(C0pE4a5D eP,#x{ 3e[)tf޺VM',1w,:uF >*P?]"B`o\Irݶq.V@V5y񯂂3- []:~k\:`"*7\(v`r|4hʚI&f `/׃yaX{s32jd{[̈́\I,1+dqc:%ڴڌ;;@%RuzJyS2n0i]*N%s췭YVkB6ˆ r$F&[o;,ݢw% D4%D L\!: {7:ߣ: zO!'TWxPV-=a^j! Rxvrnɖ!4'24'Ӌl]wP=8.bhZŃ"7s/ZiTo3,D:ń:H5&,Ao$d_LJK] 5ݫҿxUTMRbw] ~06QQq[):[t w)*(Yl=Zy_Gmf jv^Niʮ1}“HQr Њ8.]bsXM>DM}K6굓/Zf' 0:~ =%z^q놶)oE0Dsv9JV 7 }#=1JsjG!jTn GVa:b5V#iD#Rnjna21ẾLr-Sbxwf7x  'D#t栃HLP zDKyNkFNq9AZ;2cDYN-U3/S'H+nzd[c:TذnؘıpA6)_ˍ®Zmx%܃g@MP A_K\Ad5ޭZ5fI=0tKg X MO`:3z'+kXOs^UKi1]u(<6irAT~.gk!iǏ|7Z&|G  >pAVσ?ƥՔ.?rF132L4mF%I#8ymqG& ^A8DuUS.! T'Tת%B>3Y:ilWY$۾:HI{ H'O讀1N\_q!P9&*WQ^.1`n*LS*F+к̀ŧ5ԃz7h} PViww ԳH~ 1/qV;<b2k':3H) >4 Wm 543 Ta* xSJ$v *鸅 ~mM, aꉕƉL z 1va%>":"bKrph֐ Lc C-GŨiɺmSm%@*<U@;Ŋ[xGuN/ت׽CՕ}ʍ˯Q|Dÿsijc>vEӡ\<$䯝 }!QUBzs^kX(W0jݬo }),  dAcR :t2G;$ȸHl+$2$|fGjVC9q$!F5 @^FO]Ktus%=j5 ^Ic7P4nALnPuu#ˊm,,Kf:TϘUbƊ[ 0^a;DŎ;ʋ|e9MxQ]G-aviIBXy)2)ޞO`K Px(O+=A(xOU)9^L~WJUDx#ԗy= zWkи eCnJinKrh@W)Р qY0h2*xq)' Ub ?T$fU+u/M~,c@!n +#Ob1` Y`ސYg+H:iP&\^E=APpĈ54?Cww1:hZʬ,LE.Yf_@5-HnLkOӺus*ݎLxn3I5X`D y[w{Qu;\7*JS?0:p11Iw"ȫj` |M1~hdaYcEMZ`V:ց\!n8v3v/^*UٿSp7 Bb]V5SmKvRՋMaI%Fֱ2eӾ_66>qo_}f=uch靦DX:`+X?m6tfnFjL\57E\Q{56S{&sEsHNcAuW1聀ad0 aF$=V,sŒ >Lz\p(!mnX2C@1_m#_|OX ]CqH?9|bOsk"?zuWxs|tKHw7F_6[y"' .%{Qp"7%Rշ Az})ֻW)}+1̠dywP'ш!-Nx6ۿ ald@ufŠ)XLj@8xE y@VvW4$I@6۵\JV*~$O ed%ƩZ1ZD,/׭"m^lgߏ3xo4?C G!=[azvU:{m ,GF{呄7#$dyt[P!Le"/&@JV}2uʌ%b Q"eF{ 2?c)W餎I? C묘ce4Zm3Z~>$Y[`cfSm5c._(ރlYw>iԋ28cW kS: )oӗ/96N)KIb#'ěd ~O-G)\'m00*⊎l4OA:vՠ/)}Sx`9MXU}{cyMGiVT2D{.3gYQ&_ƨ4ɾ kyJjk6vrkJZ #3]~#e;(U΅ զiĕaX$=ԇharb1tbRPu*D=vL:QLWɟ58˚k !]`zD|1sHO :f&t=`ʧ<6t}V\%bt7f@Ԋ/XZICm_`iplRs0k ֱLnƜ~G 3/֯OJvmqXjWpmS}>ahKnn'P;g~ӯ.&aÐjDMC6fvXYLL)ELu\㋸gr_80E֍'2@)C#'ԕ_T!o5 >ѷI.Ւ۾"hUE}f?E^b~aP qSRr!D:q$ TvRw`N~az Ru҇Q!(`M2Ù&\ʹ{&|{?Ff$mf$abZlvW;EWәm<[F/\|th-$ί=lKWww[|~eExwWͤ s0[DꔊORG6\@ 94҂ߣHg~. !@uPN+*i"9 j ^%Nm~`NNE1=Cm?8 ˼uF\(n_l( xǶF?sƏ@(\zSycҪh75x<߄l$86 YT[a$6|˧jKTׂaJsSM&f R -xDFE ,;Q`?41{:EV@Og0N#!a<ƈzUZR̓P]Qʎ'{˪DzIlVOh1++i pprk_wA#`L? WiaLFyⷔWN'ޤ+b֤ `!T@nH@6a8"x5 DdeXmBz!O/[ND4E 97wwKlalШl&'hh2LT!cc-8`RT }ھ'0نP~ wskN:Z^ExLJ? ;W!8Aݏ(D1ϖtL>P5{A `gYZ ``1I? $HOL-Metis_ExamplesHOL-Metis_Examples.Binary_Treedocument/Binary_Tree.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(TQneL,Z_(Kف#͍״e"}ZoIfzJW Js3"9 Rw,a[SauG]eDӲeo]slOIE؀\B{ ntpfx)s1Z]3f ;cn1Q3BweO6PxL AŎSs' fd*|ZN6V⭰3ԭ Aa%rb܅ PrYbF'ͮMQڞ''oL8]:$5ie$I(=1*X!5uȟ`JBAjj?Eƒ0H`E/l|ϩ{=hy\B&rsK>ɡ8K N,{'vP+yg{5? -<.T#ǎyt""8t6\5I%SyGsw;!4J̱rK8ԛoW^v 䭢L24p+90O4'&8wȼSݛM6#+}iS[VGl[`7e}N&֍u@dǜq0 @õy9,lN~/ cњ^rtU~b%Ш|m9  y':x O*ˣp;t5'΁ }omNJ'gz_Ą_#$jh4RGIOXe _ȩ2$*j}dǚ_bbyoƾƎݔշÆ7<1l@oG=:> riS; 7N .ʎe7Ӫx$2Yyehie[fou,0: zI1EAͅp|WUJ,llEFSjR յA*}4 ջY򔜴hң/+18ZG#I@I:%G(6Z8|ljFd1l*ץCrх&6} %M1T{"0Su7T7JJX=:PW uT{:t89l'"؈'>QGItK©][{McY~b7ncOU*a fK@Q"`ɮ6uU] <6P-Erptn]o^$g;R{a12`td̘RyoVR-(C̲S(*erJ.4 $ N/p~~,~d8+&(W'@6LNu=uqj36PRCcfF!MmA-`,%WS[š 2?;)b9p'y^ؿ-pW76D)3v]3ϿQSL~9q+p@-w\#97CЖ˴_ 9q,"K0ҧ6}VDR2يyF$MM>qd*KBoS7"&!aB;T2"B:nNql"j͙ iSw(+;~^ʋu{Jx"tzZt%yx;2m[esdBxtd(Lmklwcpu:D 0C-*`s8R ?\?27s! {xm֭`寪RW#t(6~ WGR5*nj!qN6U4v!#Y=Z* p[Pp]<E^JWL|@#Kf/Eu/5椆6j(.mCg1 _ugZ!žsЄ2Zq[Wd Rt侸]()Y!OҴ3l6$ 2Щ%oo{jg磤L8Md8_r F֥;RTY_vx)bu3'cb- $;U Rl kK:|H=ܦzFr TDgYZ ))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^e7t0pkY/0RKCIiavR /w{Ǣ?̛=V 袪_p#@/B쳀"(rBcv +"/C\tv@uw. BTats @rumq7fM@j4#:Yuf7?ΥdiJ%Y\P泪p޷ ڄ"s3/I㯖媏6+SJ ,rDFK_1@\{\qYlB"ҲES ܙm12e휜GXr:۸i,]($I$Qޜ?o&&a* wM}%\Qk>40Zȏ`Գ*OsׅLk2$D PR{_).TciF"?30I?S+^zgS(Ĩ B#2>%xJ+khL&Z\NnSd:5~zwkFD_;Y;")Ϫx,_/hiuy N }XE_2tV+b66X̓XgM472?9fqJ!tviaAqg)S=*Y\ֆT`Ahm[n!S@Cq #il[f NLc6%w5f䩶 #p ~ED 0Ma8pYc)n mo(y ~:wlç^7y$W<NFҜէ4FS*wGG3i5j1'P" F:]@ާ叱+1 K -/7d)ƞ(]LżzV4ٟj {O 9а=L{4@iO spe-O.ueIu' +<fkf12<v _Ã"M0k)H@5KѲ?->:r!q{P/ քֿ~cQ; Ƹ0σe/,`e>S;~pS6YM_ "  +"Z5x6F qE\2l ч@EfP[/lr~xHX0Wl;MW5Aʎ#{gbXu%Aa[n0ͅ Hj> cAs)lk1= WqRPK^ڿT0q=P pZ~RhPb3Ze·ؘ:%ҟܷҮ٘Q¢AUbWDF jCՂoضtH{ص+Q.DR?W:Nߟ;JL%͝KEю\ޗu0\΋g^\s.erQdӵ(X0dGGVe<,2Rh#SVgeLKT]EаEC#iPH1~՞uC-XUjo(Eum?hKGF.sfx́T奪Ҡ4 ΀ "]|W#A&VY=Q]'I)y4HymE"O{,*rCl[dg[4A#>cGB^\6K٫]MX71 5 mA{ z7B?TQ]n8DmxTjs9צN@LeiHIl֪`qGCYx@O5H'xqg, b`OwiQ= N-u1c"~q)[6eC?TĉMo>T/XdtH0.PNTl8s :aDZg&ՌU!a^d>ͺ;[sL M)O#mGGe9@"͂>\\uYoimȄ&+#Ju"= + |c%>s)F03%,u1^{QwWhې]uV\\*:ȏ!dh 'yyQn9 %FT+|xS&^}3YB7#:K8/3(tICdbm~ҭ69ǵ;lI%1}7+NT1mX+|}1ՐnE{se<:SP7+t AzTˍY锽uR6>u[Z>n3봝 zT޽ R^ %W- ]?N2%>*0-l=5%a=|WnK/;0*:q@ _l&rg2[z~0m{ۂiٛ=Poӱh@\rN~ؖ! YDC-@A`B%DV>{$8n]Ghp\2\߅|0:`Rvm9N  ^wB9t \D~U@+<|T6-/)Y\'ޟ\ÂHr3HޑqZp^msp*v$ 1 v ~JKvgzChݘsWcjG}g q̚i & Wa2A*V7$1Q{%Ki臠^V43ϗCc:kbY_Uµܯ7q[cv"a,򋽰E} qޒs qӓv视IRͻc$ph;E1,N=fR87[Rz5CAݬ顲#P1hQ⡬OR3pMw*;TTu jx"wml@ ؇E\:qsy?kYܬ}M|0s<i%1 gm1O}:{^i2 Bp2̸`wYlHdF+(eO7ؠB؋ZO?44Z&wpDp! ݨ*%Sfo *~3pc{JNxrΗBHЫ9Q22*ȳG}GSSCդ!G4EA't r׏eh8w ˅5EnerMt\Cɪa&OGWt`@vqM+#=zƛQH!e3Xۭ&ޚm,k0NIXp{ U_\jR o]\Z0B]VNH/ IH?jW)bUi 2JlDnuES8^ةe{E\g0f|[^[" Z +&8?Ya:h'PFFE_{n~рo ں&\C áZ kNs:@QN>o2D);9lS\U&%NB7>2f,FA5S}F/EtVePV뉒he鼺WLT_:-9mT^1~C9/1p̎Ȧ yFRwA#vÒK՘y뮿"-*W|S?K=}31똭1v9 ';eOW>upil80u upǴ"OCb';_*e}Ru}}Ǭ,A Rc,X/;VYpQȬo:aJTە7|Zbz>(A2ex0Ca+Ep3ihr4N$P4-!@8[g)Ss)oMԾūxC{ zx\q_IV{8FP f/6Qy,AԠ 9qڍtYHCkPv $av-Y@K1^!ݳJذ]p#LQdrÏ5֖FF; 3c^^61#,US{wT6˸8SDeyn(š"3c0/]!!DNGrB$EM\& nvZ5ƒm sfOtُNw徊IQh)?LTU RƍgYbtD/NRqRrXt敥Q*/gl7" Wh8&'jIs>+&.ҙUoX&-91W̹($" zu7\(a Rڙ9 G%u4åY7͉3ix$y|HG!i$ٟ6ʢh> †tѐ)/o-@RK(=L- P28ysZ|]&v̢k?i N/ Ab#? Yb`քsŠ{ܖVo5h?=l؜$уVȱGxG |7eM6Z0|ܕ벡5ݷtutﱆO˗ 87"VDveU Ϭ$6Si7yynvISrzRDz9\g;ogy8ް| 4pUSAA> u' TqW7"B@}U7r/wsZb(r@"}3r#E$#fliԎ~͐VɮSٱXԍj0cB>~[oFx5DviB25+F{6*,&YjL!K뽱av` ܆T#6C: &Y;00D0J~- QwMzf~ܖW?C^|,`kh0L$ńA׽4r+;K2EF'WV 2 "Rl2=_ 2g)pZ#$U+CYt͚**o g iVr=e S>u`,-(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,1eCXP]6jbeA;S$͡0s-FWYVJ~H Y`EPy"[aq48xi!:k~c33Ѯ6wj!z#90Yh.qf{b鶑a >D0_0Njnt.gx+>1\nw|xKv8l7%mdvg}X/ՠBs+S78(/xڳeR+ܖKdUΑAр ӶMER $݊CA¶aH'2ڰ_'Z di%}cGNTE?2{z#e ٜa-7% 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 { 1OE THOL-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%yq8C%cxGHu@&t,i172Pȅ'ӅDC7w@N f-뤽)H dNJ/sb,*l0JІ `sEqS>H;x2-67d8LHWQ&W洳n@ǻ``b$sA(sV7-l)#xh2@F]͖zbvrNvq%OIvdޤzn-;&([{kq]ݩ:,%X?kljQȫrOha^ K0ϓIͦyevτME3i˓7%]V\mW~l&7pk\*JU>1Y :zTaQlN~>zJjHS﹆ѐhRMыy~ )wc{ܹ*İg^-nd0] ׾k@".+63d6 QA $GҖuNf:qW;&(mDŽlϯv7W.@%DKgU%"xAKF)XЂ)0Fk0eB Ѳ4$*j ^KV_muj<۩Hl$ҕŽѳ^qreb jٜ!~:wKLzT'+3̵n`J>o +ԑQǸYrFC6Z6C$o,ץM|v<䰸p(<%=w_DO"Po!4/#N;lL:ù,Xrn[+%+%*}Xd#4v hOI>cpU--*ErE0ـ-JiRqy!*wZx!ITI,beBHTS` P|ftQ3]e/DdZ[3Tg̿l+W+ha ) z7C쒅 Y!P8sE tbV]Rx],V{N|`O[?=F҃Ҹd }*ivp|!_fq:{$?vb4GQk:yaCqˀ-\j@.!(éG7)K%m[o=>Hwpwas"{Ɠb41hDc@5xB ,џ}ek#_\$͒ȪaL_1˱ukc {ߝ=K+ш?GB5NLX8h;X=8v%Sz6 Ajk~}8iRM0/bMPCṔngX'Pɷ$/'7:s9qU#E6 􈽚gYZ @@= 1I? dHOL-Metis_ExamplesHOL-Metis_Examples.Abstractiondocument/Abstraction.html7zXZִF! x +]ˇ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("XrbKT l xϬR pӣ;{"ppC]?Q^2Y]:Hpκg P HшtPWaaLlDCڀ;'$]&CIaL;#?wr~•: .5c321ˡtu&ٓH'OBZ&Yu>ke^a9"qbb&WA&fQQVjZ*Ju/L v5 ae_~2@IG^;)x5V#:oV|s ߞaMa0 pʳ(f1fbSv7ʮp` RqXZޢ?Ҹrbqa %/asɬ9GcꞫى )>d Z %OAdr ƎpP:p&¶ nb/x }hhJU>A6oZBf;DpC3SQWB䵻Yr&W6 II OMƊҋo:WRM&Cj`NEI^gc?6SH]jA%J) QOq%T'҄U]eʇE63A?7<>O۽F9i i>;`T.6ZL;.?/3$,Ɗl&."r76$pɶ#\('M(,\|k:[f`;FӼ39N^[Hvgz=īeD7]V.;|VшjoqywFweL{wuN֔X8 2cKm{aw_UFo(@c ^1$ d{]3=~Gpqt&PC:;Cb t >)@k$m+$YԢ|D s]&$C@;Mخ* hh*91J*vD)`-yv9zg2#lgCf5w̹':r@"-tl#gxĊŪx2@ךLvf׉/MiVR|&boO>.M$ݗx/.V8ƥQV脞7,o? 0v0 Vߥ>) enƆUBM8ᘜ} #G@ޭN*5lJ[?N@W:^Őjecqel]r"=Ee#w* 풖mk{ܿv;MaMRuzn\S'ڂH9W> M6z ujdg{ZW6wtzQ} 6XՑe&}{uJQpޔ0?AoJj&{gQ!wb&N}$6"|2 (sZ3_k Z:|GO4tNn[gT]JN8WϘ7/N[/ S+DЃ4rAKgpOg8v~]= ЍڔD|OSV_4SlHAlcY#5-QtneD}ҘҴ;eWljXW2S@BlNZf#ȇQIen0/5ZGag*O~m,řR(#N3F?*:0%#\Бqbf:j:i Rt0A_}BS.cSokrm؉iXZ 7Y06 W:RIs/oMӫc.Ly,'EA=g=s16f.IPC±`,Iw֌ yB)@TJ}8ZfA3J M*y%'W'y.͙WIܸ3)gYZ#bg}9lht)Ŧc>:A"is7S@.@(ts5P@}ETL$KW \,Jm] 9U/6^SG'LVC&%5}KIl~?<80r_k+<6\謆F7a tv=.ߘ; h*MD0TUJ"i^38P~JH5ߐ,mTq˪tU $i9ћmքI"l+ s $ rC%MqaOrɚ#W(bFTwfRHȠ_qGYۣ49WN>(5(\kqLEE0ׇ\(q:0$i.RS|fig1j_Ks3|]68`UORhDe73xl8p؍><|80hQ=,%r9/qJ.? 6,Pp\~-yL-5R=ǘ6""|M{i J [Y;%{Cu;4b4 ,aL7P5\A!11BPDVs(pډȿO&Ѝhd -觡')@|qZŮOX.#PP,#w4Ǟn4cLb+vmC ֿr,w'1LQoo8"~2MpF7ӗ&A΋ݨFqDB#u><+\֕\%^QB@+!EM@V)J_'uTRNo͎ѭܨ1eZ;Λ!=zr48\K} wUո#lgb;@.׶;/6<3&57( |e2zrh԰Ekw ;tscݒl]:ɊZ~oߥ`-,^WOkh͔hz!zB'!pH;})ec: x a\#lɲ^o7@KV]e7a$El 73?pV4W-\'d5pW>A+Db3g!Mը`Z6Sʘ$5S1yUbm{m]:~F ˊ* y&WAkBYįOTc1FA 7Q$3%^w*8},&I?t&ܳ9~Aki?W;3 4G6uƥlxiK2H4fw#߬NF] d$zT80&L/>|q('jS ;@ܫ=2slXђ[D'kuG' .$X `2P$~eԴsĭ!ǜoshlcLo":p@*6 {Q]"cu*\XGbHz`vzFpMNMS-ՖP,.(IhRTnʅyK 4Tp̗rpڰ?J)fz\kI_w;Ȑ3n,w!x>zBLYt.! DMG.gdוDVm#KO2v\F5OzZ"<>ʾo[YM 71qO[":R5%lS ,rLIA"McfkfvN*v\1{7;Q!=_šMOc_Al 5$o)`흤زP"vس"e1NcjG> PEycDo+ۿ$Qb${3!H\@!E/eAt %A}_iFjd_m_ia= Q~Woj,c"e2/s᪟R\ڮ zl!&+k{ $Sk\^ {px?J\b w]wG#x. 0ױTKe)<bmav`' R/ w4Fsqs~>/*Dz.~zkC(h^~dﻐưۈ&]$'()v@y^uq%l\Wݸ R0S7#d.kT{] [_L{`)ڛ1xh"T%K xŮ7&5OxX-w[ !IvRPPXuZI_5Mptѱ翀 ¼+( *&q'1 um̎%7I.+ ƸKWy-v6z '?Ӑ?'Kv_י 6 <^Y\1U*GHHɁԢ}bEt@֊{E3S#wC`A}tyau=#jנ oڜDR^(k,HLwqU 1m:=D" ~d5+XUNhWGR&WKXڶ.T#/[X{uŸV$lݤ^dKKp-pԧ|/{_9:~e^%p8 c̲.Ez]@|%G0֭Gd O9 @?1(U| OZ ,M*yJ>`msxS+v5H0G|W98$'+ϴGb ! ] >?5 z]B&މaZ0~KU C Wϴ-vK0ކm?&7V.p1{0.r|z5;J3xTVm~4LlXSo T\\_nill&ډ=+Gx}jLkh ɞ,-LPo@Moλ LR r}~^"3GĿ)Daf;kA׬]lDZ Hr O=av# "j/e, 4̔1 z 4x]2u9iw躟29)LڼsV6SdiAq/c+Lnu5 t/qob+FfUX*Yih|dhsr/Cor8U] nR7[G9W#??i8P}9`-L0]آ>kQ=vlR.7jRY*Vjc2KA]E=W6@Z2x{VAЌ'nl\NΪiԵ~,βlujS{A9CiH( NT4HL4ڦgl]w546Mo> ㏆V^`-f2)"4?푙03N\ ʵs9@ F^x(pU1wDbk՚{@BNP;cVdǯ-&Uw,:v3,!)9삤%ed]wp K$ EbI:*7)qTG),ax-H\gz8ۦby@=Uހ@ m\Yפgd9>]:PQ4:D@Rd/x 2\cdsu8l%V묹|m~GX\FFKvQ$} ^V$?Ms)䨱͊Q_bhI?+;"\-nzA^:٥[k  Vclth?ֱ~:Ev7X` `j-@@:'{wHw#v0wѐ8 j{ƒ|e(Ҽ+UjlJi]lixH ]cRv3o}ɁZ&XHIrB>zBCmf ԁź~xm$M1ƉYhC6{H^fR@$<3^"!CP/,u8Cq>K kܼfzkL?c6UӣY.e[):0ݥleAD" Q󺠱B)+{#F3#ZF@e;l2i"z\tN*k"ל1b \( Zm‹āP7^R1^~''rҵA6ˍn*,U/]ą|G05uR6x9=TWB Y;,Wr m*d 3nng5LJy _ L|r[s '-1EYǫs%S8)'X <)ó*'d#sTp`;mNJ`;δC6TWZ|` x*QLVBʮpKO .ͼ֘kX+E1XrG5.Jbwn_L^C~ZÀV{Wl8PߋR#Jjd.j\U3G3vu8dQjDz T t3f_ow)͛G*{35Rխ Fp{ߧm7@#]bvd#:>zrSLXr]C = vQFrO*ϸΜo&ƖPe$.Aue\8V VDC{R4Y-\}TݕvK*;`ׄb7RuA{(WgovFTjk)לn.|֠c, VlB DGh'$$]oK \fIb-],=$ 7 o}⩉T\^S9KfX R=B&}DT:HI^S@j FaP 0=1еm["R˫o{̲MDNJ?>ٍyΙzAQj~[[iyw.z^&Ͽ2L'iZLyE\NyMev>8ViPH:u'(V!hF}bH1xڃ;~}3_)^`'SC U4i.Jm]o_ cɒ-Tq3W "dF#2lv6 ҈ͱ0&"7=D]) Uk?=kh2csBziNd3 LcȱxʁCtol ^`WN>q-liS%{?<+`&w* J&=K(8wm}{$%Bsz. k27=XBP72) '׎(~.H_w?b~SAg^ĉ ~ݤÌKhE,!$U[ʞrlُI)\jSr?hi|<(zExSĵ8VK KRpmMF*}}((R.A.L!)Hka`@ [C)]Ǩ7A2m+Hzhnn|_ _5~$B2r%_eʔ$&M am9k6ػ:>]5D-*o#zmn:t4ݲO"O׽ cAo|&50:[PTpCy5l" hd@`Nv9&19 Y-{G}ļ3 ]g1*q l%ӡ _z1oo`$[kRs4@Il$=u1P[R pp=`:Mh)lPELg vIT(vbl1OHw*R1 K:roOGHP< SlQb{θE%A N1کiFxuXteZuX`Cm.tX0;ڙ_hŨc{c\YFފ7 `rMj" xl ƋgHđ;xtSNBVR}͌Gv@1^#XPPʑ"_qp..@Y.RQ\aIϑNT_-El^ Hfo'  9=I2m˽ J:*{BfwL[m Fk1Ap7 FTre\'Gt (G\@vqX3T z(+{}%V6j[P$!V1R\{Ӎ y$wC{u լ&j5{ ߰Z >'pk3< 1v6 $`K)O)Ӛ }FsZs7g\MӥQ̽K_gu~ɔ~fK ʂ9;PAz=s{TC8Zz=ȹ%`/;it^d-%'.ӣ9 ,\Uz1[=yF0((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% %eV3G = j3ֳ 3K/9T)ӹ<'Bc EOXhݔQm!Ahs}yVs5! u Ѱ4bbzY3xaPB[1I߾]k aeJ1[F@F!Gkhky KR/Fa!YM|BFHm = [}8iu=-x΢%k·` {Al}v)Ld 0vVs`{lh|ijC c6*yq5H$&nyw@̓fzbRyA%"qh\𱖦qEfVá)%رz$GOqqPr "7)@E'2߸P`u;ijj222[3%AeYx4⋩_oz% b(&h Ay4tJ%[r*5q3YoޱWY@!~>/S o?P|ɦtgx((>c$`ܽ$5&7I`/) v4BVN:θ[TH]/ڕp2ynn/;Luh0\.Jhx ^VM]o>VBTçf([k)a䫹X=hb@K+ɢGFICn/n=5|>s,WwZ/5cDI-D7O||'stD6n0I* p_#"J-Ktc w;5~~^84]d&d/#H'NH!A)ȝ!F]~^,hQ_t5 {EOQ^\zz5~Dz_S'ۗjRvk)_< ئy _}g͊p­J.oɑ ]-Lx6kD6y2R&u6J41A20[ a1|gDQE,aYqP[:nJ-Q :j>62-x޴7(V Lqg>ET6iB+bH|?EJҦR}| JI~+¼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 ||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|(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 >dEpya*U< \SӟSLßu%U+-"ƽCiJlRoXxO4O0T8cȆS-rό {, wf?p_>+ԌaAXdkKvC$ O]Цw˧^j4D  s _9=rMAF,HJ ))o)I-ʖJ9]P/[hӔWt)#:$h"h%DƔ\cE3kAc{0.{-*{ecem[^re+_-IfI؛sQeg$"c` !\2C8U蕅d̈́<gm}%e(gH>Ыs0`3QȑmG:"ϻV3)|#y]["D_`[;G?Qwf~/Tbٹ89Y75uԎ'|h\( AM}ƌ )_l<,G!=6ᬝkFͨA Yݗ:WRˎHk,koE"8](AHousԌb%f8!^̀6^4-\+<~tpǿC)XbD4y@z.[>5+ҤJ,InfͿS6i|u\ލ^]DhK+ۨҲsi}L%z؈ Cl7!MBW Û/*< ];2ϊ/Zt|{YLڸcql\K$nM:vr-򕼙fᇋ$z-{}j#wi}.F|[׭c=^6eXM5qӔ0np:/>[92Hr$7AWSd5 T6#ߜBoce"PL?h fl˞.Aպ`%- E"N;-%.6+RϹ36s"Y9q p"0;i M;WZjB2I}dZΤWdhHǪT CYɫۧ0'J"Üan6GN9?c~%28q s~f"gYZ1OC 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 ? ?l1MA 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&.ۘd f6rX<'傀w:q>;l܄ЁU,ۅMuOEꤒ(b%g%%Y 4ƻaƪq]ΨDΊTCX= hT^}$"/Ot!g]oivsoo*ůmH "˿0:sAC޵[Cwc.uB~?Ry/OuBˮ/wq$Dg~APHŚQ7{s:} l[;Ci[I" \.&JHѪCI` _j狙8]]T͑(?oK&Y$W( b  I8ŇΑS'{92ٞX:y/mQ+\x ҦHZUOy)WoN-)~pвk@eD>Q/7٢6|6lM,."*P;Ӣrt#צ^|!vĢ|ōG4pԏa xC<7V"Jl IT$2*iٽ"Wy) …H/9VS))Qd=ڳuxʅr@;bmKȏiuk,&s5=,2,70'l.Zcˁ]z*"_9M 7t,\ԾkO4Ǟs-0ZU֍j0ߍ Ky>:񎭇D]eɐI`O_ ^(RG -5t¡+3](xu|x/{Ɠ1kz: ı0.To7:rD[R{tkq9Eѭ^i^;A[?.bfp̲J(Zq`|Wၟ)X)ۊxX+J7]!I&Epa?M㘒qq,P4Xon8l q0=9D2dbqeS"ϙEV<nWjE @igYZ B1OC dHOL-Metis_ExamplesHOL-Metis_Examples.Type_Encodingsdocument/Type_Encodings.tex7zXZִF! <]A-MՋhvG"uIBm5u{ǶlΑWەXlVTB$VI"&Nc?TՉčNi(lm&=ț#0i!1Z\&Vུ ]Hmэ8qs-s2T]ZV١% ?6=<-ܢCΝ'ɖ"iG߯p$ $ QB﮶5] 6FrB{S[#ʉQF`^P,Xh{N٫xV'Rie.qÆ[$Hn␓С(B 1ޓbI+; @=>= 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  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 %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[=>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="- 1A5 THOL-Metis_ExamplesHOL-Metis_Examples.Messagedocument/Message.tex7zXZִF! z)]A-MՋhvG"uIBm5f)19M^-9zUDm5ЙLfҸɼs`c΢)k<( aPh;| "Rq1}X[]>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>#hsƷkVLA;YCdОStE(A!,@Lx뚖C[%ӏad 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%gpz\Y .sjq2.Y<%k3˜;v%""͊"fI!i(B pm ]B΁h h:yHMp1>nqST^tF$|Bc~f]q'I,H}D9<9ex lQPPߪ,dٳt7rlpul9馴ޗ4OsCn 8af-xind_Tz_UM1GIB?N?!QmGQ_Wdnl(Dj$(7vGkyH <TѨiD ?I="Z h밴=]vFQinB&&9&w$/I'GU k>N%Ծ+ ^Frq:3Eք˰Vcz ճ%`*؂ڏ.V1mm.j?W?f,:_} 0 `*kռ$ @]ly ׂR/# fIBS6?Na = cӃDOLXsu=3 (*{*3ZJX7`GFX…<#wbSˍ>lQB悊pZ'EEf{VëMnml?("uHH /!1^NWb~~:BYp~-B[J9̞`&ъ πsRQO0\&z:GD#_ѵ %\4t$Z9G6UF&S'EPW+t/K5$ jF;."Fh: '[1t,43O,r !UbSeҾG o-&*툙R|Kq rۑ5[zhNK4 8ki)O2 4_՟TQL{~D±gYZ7zXZִF! )]ŗXiɟ1$Cܨ }X 6P]!ẞ \Qi+@9<te0! xeTP;{ J|ܵm1T$ ց){1!9㥾G~s%CfWMYh83Y~)b?"`URv\&iuvr*A˼n`omoޞ0:'MLBaz^M@tȥwOepHH_{.*< k-b,BZ$DYf4+oߪ\^bT˶SpM/t@׷sp2[#d>| Vy$*,G/NNYh=ZIlNeZ:vwL#jY*c=ХI8> 1Q:'֚{]N1Xh!vjTzl,Njcz3۔ ]ڼ/nd(;usВNJ : VTES{ "Ry'UN(bdóI__z[rV'q`47=_ڞ(I"4)z^NZ52^BG>dfʳN_ "{~ȓ5~a2!h u> Eeh UUvwyn) FDRnnxx_r; mX$v  =Ga4k5h, wǨ;Rşmul4pIBNȐbyz*@1e3׿wy"r-RlDp".;$jM\݅4u0Js~%F}GRQ_1zԩo {5?~PZn`˾共Hv?PfY0~D>^ԕc]]`0 4١ ̡vOu՝GI P ؿ)@kJl"#Z[.JKn>'dcLs˱A]P>uEUJע1 1U$gkXS%{sO B*S^[80 =XbY1\ӊܟ^ ^rbILjө2T竼 cݓrB-M@W͌W zk4zP6~Ho ^?{x߆ "' N<~W~G~|Οmµ/&lڴuN2*zE' ljjU>,V }A.'^R4E>}M^ܻ7OswIO[M`yN_#V$o,g4a1+6MYExG wY cu{c! BS/Y;ԛ^bƛm;cHW Ko[I XW^EAkƮ;ʮv$2>-I>Ϟ;Ng8O 5 TᅮI"On, eQbɵlvۺY &Ch<{ 7v$x7[8}&iq&Sx׶Iw&!Fnz"!n7ӕQJQ] 84z5QNlzi۰\/l.-#Hn8Z?u*ꆭ\wU=EWԀz_̢Ma Q$U1"սEQ~4"72wo'!x^ !(h!`̼-$,UXmH(8fuJ0̻w]yX$Nf+J4a씢5Z FTA $ uNٰYQG23=mE1jC"N-92+u)HBYSn[smx.;wrÒ1j;(5aNL^׍Z_&,#-k"e7'>>y)ئznI 3BY4N